About the Execution of LoLA for Angiogenesis-PT-50
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15919.040 | 1510489.00 | 3021783.00 | 9394.00 | [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.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 109 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 347 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 33K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Angiogenesis-PT-50, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r016-qhx1-152646241100048
=====================================================================
--------------------
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 Angiogenesis-PT-50-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1526635860651
info: Time: 3600 - MCC
===========================================================================================
prep: translating Angiogenesis-PT-50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Angiogenesis-PT-50 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Angiogenesis-PT-50 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 103/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1248
lola: finding significant places
lola: 39 places, 64 transitions, 31 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 54 transition conflict sets
lola: TASK
lola: reading formula from Angiogenesis-PT-50-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: 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 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 1263 variables and 3915 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 3 tries, 2312786 fired transitions, 0 secs || 832804 markings, 1432002 edges, 166561 markings/sec, 0 secs
lola: STP completed || 5 tries, 4233330 fired transitions, 5 secs || 1626520 markings, 2822418 edges, 158743 markings/sec, 5 secs
lola: STP completed || 6 tries, 5461060 fired transitions, 10 secs || 2425406 markings, 4226442 edges, 159777 markings/sec, 10 secs
lola: STP completed || 7 tries, 6465005 fired transitions, 15 secs || 3222901 markings, 5636658 edges, 159499 markings/sec, 15 secs
lola: STP completed || 9 tries, 8106818 fired transitions, 20 secs || 3984027 markings, 6989447 edges, 152225 markings/sec, 20 secs
lola: STP completed || 10 tries, 9973766 fired transitions, 25 secs || 4803015 markings, 8443274 edges, 163798 markings/sec, 25 secs
lola: STP completed || 12 tries, 11771892 fired transitions, 30 secs || 5790782 markings, 10200839 edges, 197553 markings/sec, 30 secs
lola: STP completed || 14 tries, 13567824 fired transitions, 35 secs || 6561979 markings, 11600690 edges, 154239 markings/sec, 35 secs
lola: STP completed || 16 tries, 15190036 fired transitions, 40 secs || 7305544 markings, 12938734 edges, 148713 markings/sec, 40 secs
lola: STP completed || 17 tries, 16484074 fired transitions, 45 secs || 8063055 markings, 14304965 edges, 151502 markings/sec, 45 secs
lola: STP completed || 19 tries, 18905597 fired transitions, 50 secs || 8765385 markings, 15590244 edges, 140466 markings/sec, 50 secs
lola: STP completed || 21 tries, 20122706 fired transitions, 55 secs || 9511412 markings, 16948267 edges, 149205 markings/sec, 55 secs
lola: STP completed || 22 tries, 21338480 fired transitions, 60 secs || 10259449 markings, 18305812 edges, 149607 markings/sec, 60 secs
lola: STP completed || 24 tries, 23769695 fired transitions, 65 secs || 10963637 markings, 19596131 edges, 140838 markings/sec, 65 secs
lola: STP completed || 26 tries, 25552030 fired transitions, 70 secs || 11686335 markings, 20904676 edges, 144540 markings/sec, 70 secs
lola: STP completed || 28 tries, 27120119 fired transitions, 75 secs || 12419787 markings, 22237532 edges, 146690 markings/sec, 75 secs
lola: STP completed || 29 tries, 28801047 fired transitions, 80 secs || 13135828 markings, 23552442 edges, 143208 markings/sec, 80 secs
lola: STP completed || 31 tries, 30981864 fired transitions, 85 secs || 13839502 markings, 24835454 edges, 140735 markings/sec, 85 secs
lola: STP completed || 34 tries, 33091688 fired transitions, 90 secs || 14540899 markings, 26116482 edges, 140279 markings/sec, 90 secs
lola: STP completed || 36 tries, 35118916 fired transitions, 95 secs || 15242656 markings, 27411357 edges, 140351 markings/sec, 95 secs
lola: STP completed || 37 tries, 36453086 fired transitions, 100 secs || 15966612 markings, 28743848 edges, 144791 markings/sec, 100 secs
lola: STP completed || 39 tries, 38150906 fired transitions, 105 secs || 16676495 markings, 30074302 edges, 141977 markings/sec, 105 secs
lola: STP completed || 40 tries, 39870023 fired transitions, 110 secs || 17398079 markings, 31394106 edges, 144317 markings/sec, 110 secs
lola: STP completed || 42 tries, 41951424 fired transitions, 115 secs || 18089960 markings, 32663130 edges, 138376 markings/sec, 115 secs
lola: STP completed || 45 tries, 44328067 fired transitions, 120 secs || 18763795 markings, 33914396 edges, 134767 markings/sec, 120 secs
lola: STP completed || 47 tries, 46774297 fired transitions, 125 secs || 19426477 markings, 35142561 edges, 132536 markings/sec, 125 secs
lola: STP completed || 49 tries, 48921458 fired transitions, 130 secs || 20108664 markings, 36395344 edges, 136437 markings/sec, 130 secs
lola: STP completed || 51 tries, 50444412 fired transitions, 135 secs || 20793109 markings, 37675600 edges, 136889 markings/sec, 135 secs
lola: STP completed || 53 tries, 52590582 fired transitions, 140 secs || 21474181 markings, 38942124 edges, 136214 markings/sec, 140 secs
lola: STP completed || 55 tries, 54380253 fired transitions, 145 secs || 22173221 markings, 40229071 edges, 139808 markings/sec, 145 secs
lola: STP completed || 56 tries, 55799038 fired transitions, 150 secs || 22879061 markings, 41536288 edges, 141168 markings/sec, 150 secs
lola: STP completed || 59 tries, 58010558 fired transitions, 155 secs || 23556600 markings, 42784868 edges, 135508 markings/sec, 155 secs
lola: STP completed || 61 tries, 60380496 fired transitions, 160 secs || 24222273 markings, 44004667 edges, 133135 markings/sec, 160 secs
lola: STP completed || 63 tries, 62004151 fired transitions, 165 secs || 24918362 markings, 45287884 edges, 139218 markings/sec, 165 secs
lola: STP completed || 64 tries, 63687414 fired transitions, 170 secs || 25616631 markings, 46565795 edges, 139654 markings/sec, 170 secs
lola: STP completed || 65 tries, 64986215 fired transitions, 175 secs || 26312760 markings, 47868290 edges, 139226 markings/sec, 175 secs
lola: STP completed || 68 tries, 67389453 fired transitions, 180 secs || 26966914 markings, 49081892 edges, 130831 markings/sec, 180 secs
lola: STP completed || 70 tries, 69777746 fired transitions, 185 secs || 27618569 markings, 50280800 edges, 130331 markings/sec, 185 secs
lola: STP completed || 72 tries, 71375572 fired transitions, 190 secs || 28296935 markings, 51539179 edges, 135673 markings/sec, 190 secs
lola: STP completed || 74 tries, 73499864 fired transitions, 195 secs || 28967222 markings, 52788520 edges, 134057 markings/sec, 195 secs
lola: STP completed || 76 tries, 75426423 fired transitions, 200 secs || 29636441 markings, 54034290 edges, 133844 markings/sec, 200 secs
lola: STP completed || 78 tries, 77166176 fired transitions, 205 secs || 30318684 markings, 55302170 edges, 136449 markings/sec, 205 secs
lola: STP completed || 80 tries, 79572003 fired transitions, 210 secs || 30975392 markings, 56512951 edges, 131342 markings/sec, 210 secs
lola: STP completed || 82 tries, 81476969 fired transitions, 215 secs || 31645848 markings, 57765204 edges, 134091 markings/sec, 215 secs
lola: STP completed || 84 tries, 83985977 fired transitions, 220 secs || 32309089 markings, 59009021 edges, 132648 markings/sec, 220 secs
lola: STP completed || 86 tries, 85607118 fired transitions, 225 secs || 33000444 markings, 60297726 edges, 138271 markings/sec, 225 secs
lola: STP completed || 87 tries, 86917718 fired transitions, 230 secs || 33698994 markings, 61599548 edges, 139710 markings/sec, 230 secs
lola: STP completed || 89 tries, 88359562 fired transitions, 235 secs || 34393837 markings, 62893358 edges, 138969 markings/sec, 235 secs
lola: STP completed || 90 tries, 89617793 fired transitions, 240 secs || 35181545 markings, 64361524 edges, 157542 markings/sec, 240 secs
lola: STP completed || 91 tries, 90939814 fired transitions, 245 secs || 35901821 markings, 65713748 edges, 144055 markings/sec, 245 secs
lola: STP completed || 94 tries, 93147879 fired transitions, 250 secs || 36576464 markings, 66967882 edges, 134929 markings/sec, 250 secs
lola: STP completed || 95 tries, 94954213 fired transitions, 255 secs || 37259474 markings, 68243778 edges, 136602 markings/sec, 255 secs
lola: STP completed || 97 tries, 96740975 fired transitions, 260 secs || 37939983 markings, 69510971 edges, 136102 markings/sec, 260 secs
lola: STP completed || 98 tries, 97899345 fired transitions, 265 secs || 38645327 markings, 70834759 edges, 141069 markings/sec, 265 secs
lola: STP completed || 101 tries, 100172615 fired transitions, 270 secs || 39298205 markings, 72065281 edges, 130576 markings/sec, 270 secs
lola: STP completed || 102 tries, 101544722 fired transitions, 275 secs || 39987372 markings, 73363727 edges, 137833 markings/sec, 275 secs
lola: STP completed || 104 tries, 103917094 fired transitions, 280 secs || 40642142 markings, 74596411 edges, 130954 markings/sec, 280 secs
lola: STP completed || 107 tries, 106327718 fired transitions, 285 secs || 41288063 markings, 75815887 edges, 129184 markings/sec, 285 secs
lola: STP completed || 109 tries, 108042697 fired transitions, 290 secs || 41941794 markings, 77040322 edges, 130746 markings/sec, 290 secs
lola: STP completed || 110 tries, 109841761 fired transitions, 295 secs || 42598530 markings, 78275766 edges, 131347 markings/sec, 295 secs
lola: STP completed || 112 tries, 111733908 fired transitions, 300 secs || 43411960 markings, 79824614 edges, 162686 markings/sec, 300 secs
lola: STP completed || 114 tries, 113996594 fired transitions, 305 secs || 44118840 markings, 81158410 edges, 141376 markings/sec, 305 secs
lola: STP completed || 117 tries, 116531100 fired transitions, 310 secs || 44983024 markings, 82790997 edges, 172837 markings/sec, 310 secs
lola: STP completed || 120 tries, 119328893 fired transitions, 315 secs || 45782545 markings, 84301051 edges, 159904 markings/sec, 315 secs
lola: STP completed || 121 tries, 120905036 fired transitions, 320 secs || 46464055 markings, 85589788 edges, 136302 markings/sec, 320 secs
lola: STP completed || 123 tries, 122275167 fired transitions, 325 secs || 47146672 markings, 86874754 edges, 136523 markings/sec, 325 secs
lola: STP completed || 125 tries, 124140288 fired transitions, 330 secs || 47799250 markings, 88113488 edges, 130516 markings/sec, 330 secs
lola: STP completed || 127 tries, 126542619 fired transitions, 335 secs || 48453074 markings, 89340468 edges, 130765 markings/sec, 335 secs
lola: STP completed || 129 tries, 128396883 fired transitions, 340 secs || 49129450 markings, 90601382 edges, 135275 markings/sec, 340 secs
lola: STP completed || 131 tries, 130599603 fired transitions, 345 secs || 49790619 markings, 91838859 edges, 132234 markings/sec, 345 secs
lola: STP completed || 134 tries, 133103241 fired transitions, 350 secs || 50447239 markings, 93069188 edges, 131324 markings/sec, 350 secs
lola: STP completed || 135 tries, 134514372 fired transitions, 355 secs || 51127622 markings, 94354948 edges, 136077 markings/sec, 355 secs
lola: STP completed || 136 tries, 135846979 fired transitions, 360 secs || 51799969 markings, 95629667 edges, 134469 markings/sec, 360 secs
lola: STP completed || 138 tries, 137655470 fired transitions, 365 secs || 52468058 markings, 96893290 edges, 133618 markings/sec, 365 secs
lola: STP completed || 140 tries, 139485934 fired transitions, 370 secs || 53145864 markings, 98159891 edges, 135561 markings/sec, 370 secs
lola: STP completed || 141 tries, 140612660 fired transitions, 375 secs || 53831059 markings, 99478336 edges, 137039 markings/sec, 375 secs
lola: STP completed || 142 tries, 141873339 fired transitions, 380 secs || 54532011 markings, 100785262 edges, 140190 markings/sec, 380 secs
lola: STP completed || 144 tries, 143827753 fired transitions, 385 secs || 55184141 markings, 102007311 edges, 130426 markings/sec, 385 secs
lola: STP completed || 146 tries, 145005964 fired transitions, 390 secs || 55855012 markings, 103277289 edges, 134174 markings/sec, 390 secs
lola: STP completed || 147 tries, 146609621 fired transitions, 395 secs || 56516658 markings, 104544181 edges, 132329 markings/sec, 395 secs
lola: STP completed || 149 tries, 148110369 fired transitions, 400 secs || 57182538 markings, 105807097 edges, 133176 markings/sec, 400 secs
lola: STP completed || 151 tries, 150615000 fired transitions, 405 secs || 57825206 markings, 107025917 edges, 128534 markings/sec, 405 secs
lola: STP completed || 152 tries, 151982749 fired transitions, 410 secs || 58500287 markings, 108304307 edges, 135016 markings/sec, 410 secs
lola: STP completed || 154 tries, 153377394 fired transitions, 415 secs || 59163930 markings, 109556575 edges, 132729 markings/sec, 415 secs
lola: STP completed || 156 tries, 155047396 fired transitions, 420 secs || 59838572 markings, 110827553 edges, 134928 markings/sec, 420 secs
lola: STP completed || 157 tries, 156579092 fired transitions, 425 secs || 60518249 markings, 112130693 edges, 135935 markings/sec, 425 secs
lola: STP completed || 158 tries, 157795711 fired transitions, 430 secs || 61203335 markings, 113433585 edges, 137017 markings/sec, 430 secs
lola: STP completed || 161 tries, 160024545 fired transitions, 435 secs || 61843726 markings, 114651421 edges, 128078 markings/sec, 435 secs
lola: STP completed || 162 tries, 161370124 fired transitions, 440 secs || 62516730 markings, 115920593 edges, 134601 markings/sec, 440 secs
lola: STP completed || 163 tries, 162844673 fired transitions, 445 secs || 63199626 markings, 117213799 edges, 136579 markings/sec, 445 secs
lola: STP completed || 165 tries, 164882768 fired transitions, 450 secs || 63858563 markings, 118451782 edges, 131787 markings/sec, 450 secs
lola: STP completed || 167 tries, 166559871 fired transitions, 455 secs || 64526307 markings, 119717801 edges, 133549 markings/sec, 455 secs
lola: STP completed || 169 tries, 168491486 fired transitions, 460 secs || 65184580 markings, 120976731 edges, 131655 markings/sec, 460 secs
lola: STP completed || 172 tries, 171423276 fired transitions, 465 secs || 65970372 markings, 122479681 edges, 157158 markings/sec, 465 secs
lola: STP completed || 174 tries, 173755787 fired transitions, 470 secs || 66781647 markings, 124028373 edges, 162255 markings/sec, 470 secs
lola: STP completed || 175 tries, 174905494 fired transitions, 475 secs || 67467810 markings, 125331667 edges, 137233 markings/sec, 475 secs
lola: STP completed || 178 tries, 177290747 fired transitions, 480 secs || 68107889 markings, 126536597 edges, 128016 markings/sec, 480 secs
lola: STP completed || 179 tries, 178793296 fired transitions, 485 secs || 68772476 markings, 127789838 edges, 132917 markings/sec, 485 secs
lola: STP completed || 181 tries, 180597801 fired transitions, 490 secs || 69432092 markings, 129042890 edges, 131923 markings/sec, 490 secs
lola: STP completed || 183 tries, 182587483 fired transitions, 495 secs || 70093458 markings, 130296345 edges, 132273 markings/sec, 495 secs
lola: STP completed || 185 tries, 184027580 fired transitions, 500 secs || 70765276 markings, 131576774 edges, 134364 markings/sec, 500 secs
lola: STP completed || 186 tries, 185508216 fired transitions, 505 secs || 71414622 markings, 132826431 edges, 129869 markings/sec, 505 secs
lola: STP completed || 188 tries, 187629915 fired transitions, 510 secs || 72060644 markings, 134055031 edges, 129204 markings/sec, 510 secs
lola: STP completed || 190 tries, 189633380 fired transitions, 515 secs || 72755322 markings, 135391914 edges, 138936 markings/sec, 515 secs
lola: STP completed || 191 tries, 190905748 fired transitions, 520 secs || 73451520 markings, 136732838 edges, 139240 markings/sec, 520 secs
lola: STP completed || 193 tries, 192339430 fired transitions, 525 secs || 74115159 markings, 137990078 edges, 132728 markings/sec, 525 secs
lola: STP completed || 195 tries, 194078177 fired transitions, 530 secs || 74765991 markings, 139236732 edges, 130166 markings/sec, 530 secs
lola: STP completed || 196 tries, 195514682 fired transitions, 535 secs || 75434163 markings, 140507858 edges, 133634 markings/sec, 535 secs
lola: STP completed || 198 tries, 197675063 fired transitions, 540 secs || 76079754 markings, 141732819 edges, 129118 markings/sec, 540 secs
lola: STP completed || 200 tries, 199670889 fired transitions, 545 secs || 76719146 markings, 142936592 edges, 127878 markings/sec, 545 secs
lola: STP completed || 202 tries, 201760178 fired transitions, 550 secs || 77353595 markings, 144152406 edges, 126890 markings/sec, 550 secs
lola: STP completed || 204 tries, 203990693 fired transitions, 555 secs || 77993608 markings, 145364556 edges, 128003 markings/sec, 555 secs
lola: STP completed || 207 tries, 206528611 fired transitions, 560 secs || 78613194 markings, 146540409 edges, 123917 markings/sec, 560 secs
lola: STP completed || 208 tries, 207825063 fired transitions, 565 secs || 79264653 markings, 147774909 edges, 130292 markings/sec, 565 secs
lola: STP completed || 210 tries, 209146026 fired transitions, 570 secs || 79920776 markings, 149041912 edges, 131225 markings/sec, 570 secs
lola: STP completed || 211 tries, 210731672 fired transitions, 575 secs || 80563621 markings, 150268311 edges, 128569 markings/sec, 575 secs
lola: STP completed || 213 tries, 212520495 fired transitions, 580 secs || 81194665 markings, 151472846 edges, 126209 markings/sec, 580 secs
lola: STP completed || 214 tries, 213614744 fired transitions, 585 secs || 81871255 markings, 152772656 edges, 135318 markings/sec, 585 secs
lola: STP completed || 216 tries, 215509835 fired transitions, 590 secs || 82518866 markings, 154015436 edges, 129522 markings/sec, 590 secs
lola: STP completed || 217 tries, 216915403 fired transitions, 595 secs || 83166293 markings, 155256375 edges, 129485 markings/sec, 595 secs
lola: STP completed || 220 tries, 219013442 fired transitions, 600 secs || 83803732 markings, 156476635 edges, 127488 markings/sec, 600 secs
lola: STP completed || 222 tries, 221066768 fired transitions, 605 secs || 84446807 markings, 157696793 edges, 128615 markings/sec, 605 secs
lola: STP completed || 223 tries, 222810367 fired transitions, 610 secs || 85088797 markings, 158923800 edges, 128398 markings/sec, 610 secs
lola: STP completed || 226 tries, 225090753 fired transitions, 615 secs || 85717729 markings, 160117592 edges, 125786 markings/sec, 615 secs
lola: STP completed || 227 tries, 226985327 fired transitions, 620 secs || 86350661 markings, 161328102 edges, 126586 markings/sec, 620 secs
lola: STP completed || 229 tries, 228715479 fired transitions, 625 secs || 86990763 markings, 162566784 edges, 128020 markings/sec, 625 secs
lola: STP completed || 231 tries, 230387189 fired transitions, 630 secs || 87632171 markings, 163810080 edges, 128282 markings/sec, 630 secs
lola: STP completed || 233 tries, 232108470 fired transitions, 635 secs || 88272559 markings, 165024509 edges, 128078 markings/sec, 635 secs
lola: STP completed || 234 tries, 233968379 fired transitions, 640 secs || 88914946 markings, 166246971 edges, 128477 markings/sec, 640 secs
lola: STP completed || 236 tries, 235375098 fired transitions, 645 secs || 89564868 markings, 167499111 edges, 129984 markings/sec, 645 secs
lola: STP completed || 238 tries, 237148869 fired transitions, 650 secs || 90196225 markings, 168695368 edges, 126271 markings/sec, 650 secs
lola: STP completed || 240 tries, 239046297 fired transitions, 655 secs || 90828189 markings, 169912905 edges, 126393 markings/sec, 655 secs
lola: STP completed || 242 tries, 241305586 fired transitions, 660 secs || 91458300 markings, 171112774 edges, 126022 markings/sec, 660 secs
lola: STP completed || 243 tries, 242407079 fired transitions, 665 secs || 92118782 markings, 172391831 edges, 132096 markings/sec, 665 secs
lola: STP completed || 244 tries, 243674403 fired transitions, 670 secs || 92751068 markings, 173618101 edges, 126457 markings/sec, 670 secs
lola: STP completed || 245 tries, 244901756 fired transitions, 675 secs || 93395991 markings, 174855995 edges, 128985 markings/sec, 675 secs
lola: STP completed || 247 tries, 246951865 fired transitions, 680 secs || 94033656 markings, 176077611 edges, 127533 markings/sec, 680 secs
lola: STP completed || 249 tries, 248767006 fired transitions, 685 secs || 94652377 markings, 177273509 edges, 123744 markings/sec, 685 secs
lola: STP completed || 252 tries, 251238280 fired transitions, 690 secs || 95376875 markings, 178654809 edges, 144900 markings/sec, 690 secs
lola: STP completed || 254 tries, 253754828 fired transitions, 695 secs || 96010574 markings, 179854927 edges, 126740 markings/sec, 695 secs
lola: STP completed || 256 tries, 255707854 fired transitions, 700 secs || 96655238 markings, 181103131 edges, 128933 markings/sec, 700 secs
lola: STP completed || 257 tries, 256966175 fired transitions, 705 secs || 97316437 markings, 182384100 edges, 132240 markings/sec, 705 secs
lola: STP completed || 259 tries, 258827141 fired transitions, 710 secs || 97970150 markings, 183625192 edges, 130743 markings/sec, 710 secs
lola: STP completed || 261 tries, 260343796 fired transitions, 715 secs || 98629789 markings, 184878636 edges, 131928 markings/sec, 715 secs
lola: STP completed || 262 tries, 261708519 fired transitions, 720 secs || 99298180 markings, 186163946 edges, 133678 markings/sec, 720 secs
lola: STP completed || 263 tries, 262989919 fired transitions, 725 secs || 99953784 markings, 187419851 edges, 131121 markings/sec, 725 secs
lola: STP completed || 266 tries, 265284168 fired transitions, 730 secs || 100587961 markings, 188632383 edges, 126835 markings/sec, 730 secs
lola: STP completed || 268 tries, 267502527 fired transitions, 735 secs || 101218710 markings, 189849929 edges, 126150 markings/sec, 735 secs
lola: STP completed || 270 tries, 269089982 fired transitions, 740 secs || 101882698 markings, 191124027 edges, 132798 markings/sec, 740 secs
lola: STP completed || 272 tries, 271106726 fired transitions, 745 secs || 102523513 markings, 192358592 edges, 128163 markings/sec, 745 secs
lola: STP completed || 273 tries, 272591574 fired transitions, 750 secs || 103186368 markings, 193641719 edges, 132571 markings/sec, 750 secs
lola: STP completed || 275 tries, 274164370 fired transitions, 755 secs || 103829642 markings, 194866956 edges, 128655 markings/sec, 755 secs
lola: STP completed || 277 tries, 276592326 fired transitions, 760 secs || 104455916 markings, 196056504 edges, 125255 markings/sec, 760 secs
lola: STP completed || 279 tries, 278058934 fired transitions, 765 secs || 105103813 markings, 197307522 edges, 129579 markings/sec, 765 secs
lola: STP completed || 281 tries, 280605271 fired transitions, 770 secs || 105726487 markings, 198494719 edges, 124535 markings/sec, 770 secs
lola: STP completed || 283 tries, 282588618 fired transitions, 775 secs || 106369011 markings, 199718039 edges, 128505 markings/sec, 775 secs
lola: STP completed || 285 tries, 284369095 fired transitions, 780 secs || 107015712 markings, 200965770 edges, 129340 markings/sec, 780 secs
lola: STP completed || 286 tries, 285910082 fired transitions, 785 secs || 107681180 markings, 202255042 edges, 133094 markings/sec, 785 secs
lola: STP completed || 288 tries, 287644740 fired transitions, 790 secs || 108331229 markings, 203503649 edges, 130010 markings/sec, 790 secs
lola: STP completed || 290 tries, 289199407 fired transitions, 795 secs || 108973652 markings, 204735918 edges, 128485 markings/sec, 795 secs
lola: STP completed || 292 tries, 291745122 fired transitions, 800 secs || 109585506 markings, 205901425 edges, 122371 markings/sec, 800 secs
lola: STP completed || 294 tries, 293433503 fired transitions, 805 secs || 110230307 markings, 207142552 edges, 128960 markings/sec, 805 secs
lola: STP completed || 295 tries, 294719122 fired transitions, 810 secs || 110890568 markings, 208424664 edges, 132052 markings/sec, 810 secs
lola: STP completed || 297 tries, 296442989 fired transitions, 815 secs || 111528539 markings, 209662916 edges, 127594 markings/sec, 815 secs
lola: STP completed || 299 tries, 298226450 fired transitions, 820 secs || 112185785 markings, 210919250 edges, 131449 markings/sec, 820 secs
lola: STP completed || 301 tries, 300443596 fired transitions, 825 secs || 112815747 markings, 212139517 edges, 125992 markings/sec, 825 secs
lola: STP completed || 302 tries, 301606767 fired transitions, 830 secs || 113477846 markings, 213421997 edges, 132420 markings/sec, 830 secs
lola: STP completed || 303 tries, 302713094 fired transitions, 835 secs || 114145294 markings, 214720432 edges, 133490 markings/sec, 835 secs
lola: STP completed || 305 tries, 304629054 fired transitions, 840 secs || 114849261 markings, 216086583 edges, 140793 markings/sec, 840 secs
lola: STP completed || 307 tries, 306954649 fired transitions, 845 secs || 115684246 markings, 217702163 edges, 166997 markings/sec, 845 secs
lola: STP completed || 309 tries, 308680266 fired transitions, 850 secs || 116512354 markings, 219313909 edges, 165622 markings/sec, 850 secs
lola: STP completed || 311 tries, 310646110 fired transitions, 855 secs || 117335043 markings, 220904217 edges, 164538 markings/sec, 855 secs
lola: STP completed || 314 tries, 313278169 fired transitions, 860 secs || 118161309 markings, 222491786 edges, 165253 markings/sec, 860 secs
lola: STP completed || 317 tries, 316218536 fired transitions, 865 secs || 118938910 markings, 224000532 edges, 155520 markings/sec, 865 secs
lola: STP completed || 318 tries, 317735971 fired transitions, 870 secs || 119589957 markings, 225261551 edges, 130209 markings/sec, 870 secs
lola: STP completed || 320 tries, 319910362 fired transitions, 875 secs || 120223523 markings, 226480336 edges, 126713 markings/sec, 875 secs
lola: STP completed || 323 tries, 322348770 fired transitions, 880 secs || 120853810 markings, 227691035 edges, 126057 markings/sec, 880 secs
lola: STP completed || 325 tries, 324219818 fired transitions, 885 secs || 121500076 markings, 228930398 edges, 129253 markings/sec, 885 secs
lola: STP completed || 327 tries, 326412693 fired transitions, 890 secs || 122134083 markings, 230146347 edges, 126801 markings/sec, 890 secs
lola: STP completed || 328 tries, 327870734 fired transitions, 895 secs || 122789789 markings, 231409095 edges, 131141 markings/sec, 895 secs
lola: STP completed || 330 tries, 329819329 fired transitions, 900 secs || 123428630 markings, 232636129 edges, 127768 markings/sec, 900 secs
lola: STP completed || 332 tries, 331709288 fired transitions, 905 secs || 124073039 markings, 233882384 edges, 128882 markings/sec, 905 secs
lola: STP completed || 334 tries, 333221283 fired transitions, 910 secs || 124722580 markings, 235121116 edges, 129908 markings/sec, 910 secs
lola: STP completed || 336 tries, 335402597 fired transitions, 915 secs || 125341183 markings, 236308212 edges, 123721 markings/sec, 915 secs
lola: STP completed || 337 tries, 336859677 fired transitions, 920 secs || 125988854 markings, 237560885 edges, 129534 markings/sec, 920 secs
lola: STP completed || 339 tries, 338126946 fired transitions, 925 secs || 126647048 markings, 238836977 edges, 131639 markings/sec, 925 secs
lola: STP completed || 341 tries, 340498997 fired transitions, 930 secs || 127282633 markings, 240056288 edges, 127117 markings/sec, 930 secs
lola: STP completed || 343 tries, 342376151 fired transitions, 935 secs || 127923784 markings, 241295924 edges, 128230 markings/sec, 935 secs
lola: STP completed || 344 tries, 343667623 fired transitions, 940 secs || 128564448 markings, 242543558 edges, 128133 markings/sec, 940 secs
lola: STP completed || 347 tries, 346053598 fired transitions, 945 secs || 129384671 markings, 244140399 edges, 164045 markings/sec, 945 secs
lola: STP completed || 348 tries, 347806996 fired transitions, 950 secs || 130016897 markings, 245375740 edges, 126445 markings/sec, 950 secs
lola: STP completed || 350 tries, 349127512 fired transitions, 955 secs || 130675843 markings, 246641039 edges, 131789 markings/sec, 955 secs
lola: STP completed || 352 tries, 351695276 fired transitions, 960 secs || 131299457 markings, 247840376 edges, 124723 markings/sec, 960 secs
lola: STP completed || 354 tries, 353208301 fired transitions, 965 secs || 131951639 markings, 249093410 edges, 130436 markings/sec, 965 secs
lola: STP completed || 356 tries, 355225422 fired transitions, 970 secs || 132593902 markings, 250332993 edges, 128453 markings/sec, 970 secs
lola: STP completed || 358 tries, 357753397 fired transitions, 975 secs || 133221219 markings, 251532831 edges, 125463 markings/sec, 975 secs
lola: STP completed || 359 tries, 358914711 fired transitions, 980 secs || 133884366 markings, 252819409 edges, 132629 markings/sec, 980 secs
lola: STP completed || 361 tries, 360241551 fired transitions, 985 secs || 134529118 markings, 254067952 edges, 128950 markings/sec, 985 secs
lola: STP completed || 363 tries, 362802829 fired transitions, 990 secs || 135155692 markings, 255272307 edges, 125315 markings/sec, 990 secs
lola: STP completed || 365 tries, 364996409 fired transitions, 995 secs || 135784847 markings, 256503614 edges, 125831 markings/sec, 995 secs
lola: STP completed || 367 tries, 366499709 fired transitions, 1000 secs || 136427605 markings, 257761549 edges, 128552 markings/sec, 1000 secs
lola: STP completed || 368 tries, 367926619 fired transitions, 1005 secs || 137069369 markings, 259003247 edges, 128353 markings/sec, 1005 secs
lola: STP completed || 370 tries, 369967687 fired transitions, 1010 secs || 137684586 markings, 260188238 edges, 123043 markings/sec, 1010 secs
lola: STP completed || 372 tries, 371956818 fired transitions, 1015 secs || 138308803 markings, 261386870 edges, 124843 markings/sec, 1015 secs
lola: STP completed || 374 tries, 373843222 fired transitions, 1020 secs || 138948602 markings, 262604478 edges, 127960 markings/sec, 1020 secs
lola: STP completed || 376 tries, 375762831 fired transitions, 1025 secs || 139578561 markings, 263838986 edges, 125992 markings/sec, 1025 secs
lola: STP completed || 378 tries, 377276442 fired transitions, 1030 secs || 140256306 markings, 265150275 edges, 135549 markings/sec, 1030 secs
lola: STP completed || 379 tries, 378997129 fired transitions, 1035 secs || 140885838 markings, 266357023 edges, 125906 markings/sec, 1035 secs
lola: STP completed || 382 tries, 381207239 fired transitions, 1040 secs || 141517538 markings, 267580456 edges, 126340 markings/sec, 1040 secs
lola: STP completed || 383 tries, 382688127 fired transitions, 1045 secs || 142160887 markings, 268835604 edges, 128670 markings/sec, 1045 secs
lola: STP completed || 385 tries, 384195973 fired transitions, 1050 secs || 142818307 markings, 270110246 edges, 131484 markings/sec, 1050 secs
lola: STP completed || 386 tries, 385696392 fired transitions, 1055 secs || 143468374 markings, 271384555 edges, 130013 markings/sec, 1055 secs
lola: STP completed || 389 tries, 388256610 fired transitions, 1060 secs || 144094903 markings, 272581360 edges, 125306 markings/sec, 1060 secs
lola: STP completed || 391 tries, 390798911 fired transitions, 1065 secs || 144709921 markings, 273767873 edges, 123004 markings/sec, 1065 secs
lola: STP completed || 393 tries, 392447795 fired transitions, 1070 secs || 145348605 markings, 275011962 edges, 127737 markings/sec, 1070 secs
lola: STP completed || 395 tries, 394248420 fired transitions, 1075 secs || 145973316 markings, 276229248 edges, 124942 markings/sec, 1075 secs
lola: STP completed || 396 tries, 395936786 fired transitions, 1080 secs || 146611277 markings, 277467566 edges, 127592 markings/sec, 1080 secs
lola: STP completed || 399 tries, 398306860 fired transitions, 1085 secs || 147236086 markings, 278679867 edges, 124962 markings/sec, 1085 secs
lola: STP completed || 401 tries, 400115815 fired transitions, 1090 secs || 147970556 markings, 280110357 edges, 146894 markings/sec, 1090 secs
lola: STP completed || 402 tries, 401978088 fired transitions, 1095 secs || 148791563 markings, 281694552 edges, 164201 markings/sec, 1095 secs
lola: STP completed || 405 tries, 404873997 fired transitions, 1100 secs || 149608672 markings, 283274434 edges, 163422 markings/sec, 1100 secs
lola: STP completed || 407 tries, 406273405 fired transitions, 1105 secs || 150330456 markings, 284683371 edges, 144357 markings/sec, 1105 secs
lola: STP completed || 408 tries, 407799033 fired transitions, 1110 secs || 150979487 markings, 285952920 edges, 129806 markings/sec, 1110 secs
lola: STP completed || 410 tries, 409383533 fired transitions, 1115 secs || 151717521 markings, 287387365 edges, 147607 markings/sec, 1115 secs
lola: STP completed || 412 tries, 411701743 fired transitions, 1120 secs || 152541744 markings, 288990898 edges, 164845 markings/sec, 1120 secs
lola: STP completed || 415 tries, 414385684 fired transitions, 1125 secs || 153206945 markings, 290275127 edges, 133040 markings/sec, 1125 secs
lola: STP completed || 416 tries, 415929643 fired transitions, 1130 secs || 153879464 markings, 291592291 edges, 134504 markings/sec, 1130 secs
lola: STP completed || 418 tries, 417465289 fired transitions, 1135 secs || 154600746 markings, 292998531 edges, 144256 markings/sec, 1135 secs
lola: STP completed || 420 tries, 419676532 fired transitions, 1140 secs || 155218242 markings, 294199500 edges, 123499 markings/sec, 1140 secs
lola: STP completed || 422 tries, 421850065 fired transitions, 1145 secs || 155843611 markings, 295422085 edges, 125074 markings/sec, 1145 secs
lola: STP completed || 424 tries, 423766821 fired transitions, 1150 secs || 156471434 markings, 296637173 edges, 125565 markings/sec, 1150 secs
lola: STP completed || 426 tries, 425490215 fired transitions, 1155 secs || 157099685 markings, 297858196 edges, 125650 markings/sec, 1155 secs
lola: STP completed || 428 tries, 427358769 fired transitions, 1160 secs || 157723328 markings, 299080954 edges, 124729 markings/sec, 1160 secs
lola: STP completed || 430 tries, 429912048 fired transitions, 1165 secs || 158339230 markings, 300270760 edges, 123180 markings/sec, 1165 secs
lola: STP completed || 432 tries, 431914145 fired transitions, 1170 secs || 158964352 markings, 301472018 edges, 125024 markings/sec, 1170 secs
lola: STP completed || 434 tries, 433914633 fired transitions, 1175 secs || 159591385 markings, 302681015 edges, 125407 markings/sec, 1175 secs
lola: STP completed || 436 tries, 435663344 fired transitions, 1180 secs || 160219876 markings, 303912553 edges, 125698 markings/sec, 1180 secs
lola: STP completed || 438 tries, 437750602 fired transitions, 1185 secs || 160841394 markings, 305118849 edges, 124304 markings/sec, 1185 secs
lola: STP completed || 440 tries, 439849931 fired transitions, 1190 secs || 161457507 markings, 306325501 edges, 123223 markings/sec, 1190 secs
lola: STP completed || 442 tries, 441584316 fired transitions, 1195 secs || 162095324 markings, 307544633 edges, 127563 markings/sec, 1195 secs
lola: STP completed || 443 tries, 442997868 fired transitions, 1200 secs || 162735070 markings, 308808962 edges, 127949 markings/sec, 1200 secs
lola: STP completed || 446 tries, 445284759 fired transitions, 1205 secs || 163355230 markings, 310011213 edges, 124032 markings/sec, 1205 secs
lola: STP completed || 447 tries, 446797267 fired transitions, 1210 secs || 163994428 markings, 311265084 edges, 127840 markings/sec, 1210 secs
lola: STP completed || 449 tries, 448874496 fired transitions, 1215 secs || 164603351 markings, 312466845 edges, 121785 markings/sec, 1215 secs
lola: STP completed || 451 tries, 450450288 fired transitions, 1220 secs || 165239706 markings, 313718088 edges, 127271 markings/sec, 1220 secs
lola: STP completed || 454 tries, 453035176 fired transitions, 1225 secs || 165848894 markings, 314907471 edges, 121838 markings/sec, 1225 secs
lola: STP completed || 456 tries, 455613976 fired transitions, 1230 secs || 166473830 markings, 316123607 edges, 124987 markings/sec, 1230 secs
lola: STP completed || 458 tries, 457090792 fired transitions, 1235 secs || 167127595 markings, 317395832 edges, 130753 markings/sec, 1235 secs
lola: STP completed || 460 tries, 459259994 fired transitions, 1240 secs || 167756356 markings, 318608604 edges, 125752 markings/sec, 1240 secs
lola: STP completed || 461 tries, 460806140 fired transitions, 1245 secs || 168386003 markings, 319836400 edges, 125929 markings/sec, 1245 secs
lola: STP completed || 463 tries, 462891119 fired transitions, 1250 secs || 168992999 markings, 321020629 edges, 121399 markings/sec, 1250 secs
lola: STP completed || 465 tries, 464481053 fired transitions, 1255 secs || 169612142 markings, 322222465 edges, 123829 markings/sec, 1255 secs
lola: STP completed || 467 tries, 466924143 fired transitions, 1260 secs || 170210649 markings, 323370411 edges, 119701 markings/sec, 1260 secs
lola: STP completed || 469 tries, 468824354 fired transitions, 1265 secs || 170829226 markings, 324579919 edges, 123715 markings/sec, 1265 secs
lola: STP completed || 471 tries, 470861065 fired transitions, 1270 secs || 171463751 markings, 325812426 edges, 126905 markings/sec, 1270 secs
lola: STP completed || 474 tries, 473226565 fired transitions, 1275 secs || 172087805 markings, 327025030 edges, 124811 markings/sec, 1275 secs
lola: STP completed || 475 tries, 474917969 fired transitions, 1280 secs || 172738042 markings, 328292556 edges, 130047 markings/sec, 1280 secs
lola: STP completed || 478 tries, 477355148 fired transitions, 1285 secs || 173361118 markings, 329495195 edges, 124615 markings/sec, 1285 secs
lola: STP completed || 480 tries, 479653210 fired transitions, 1290 secs || 173988292 markings, 330722024 edges, 125435 markings/sec, 1290 secs
lola: STP completed || 482 tries, 481585956 fired transitions, 1295 secs || 174621592 markings, 331965686 edges, 126660 markings/sec, 1295 secs
lola: STP completed || 483 tries, 482961844 fired transitions, 1300 secs || 175272515 markings, 333246336 edges, 130185 markings/sec, 1300 secs
lola: STP completed || 485 tries, 484233561 fired transitions, 1305 secs || 175918641 markings, 334519182 edges, 129225 markings/sec, 1305 secs
lola: STP completed || 486 tries, 485781153 fired transitions, 1310 secs || 176552650 markings, 335772675 edges, 126802 markings/sec, 1310 secs
lola: STP completed || 489 tries, 488197587 fired transitions, 1315 secs || 177168877 markings, 336970902 edges, 123245 markings/sec, 1315 secs
lola: STP completed || 490 tries, 489632077 fired transitions, 1320 secs || 177808300 markings, 338224442 edges, 127885 markings/sec, 1320 secs
lola: STP completed || 492 tries, 491585820 fired transitions, 1325 secs || 178428966 markings, 339439154 edges, 124133 markings/sec, 1325 secs
lola: STP completed || 494 tries, 493588510 fired transitions, 1330 secs || 179048766 markings, 340653805 edges, 123960 markings/sec, 1330 secs
lola: STP completed || 497 tries, 496142582 fired transitions, 1335 secs || 179659918 markings, 341836071 edges, 122230 markings/sec, 1335 secs
lola: STP completed || 499 tries, 498697681 fired transitions, 1340 secs || 180279704 markings, 343030525 edges, 123957 markings/sec, 1340 secs
lola: STP completed || 502 tries, 501242501 fired transitions, 1345 secs || 180890664 markings, 344207473 edges, 122192 markings/sec, 1345 secs
lola: STP completed || 504 tries, 503789074 fired transitions, 1350 secs || 181503251 markings, 345394482 edges, 122517 markings/sec, 1350 secs
lola: STP completed || 506 tries, 505246753 fired transitions, 1355 secs || 182148172 markings, 346634934 edges, 128984 markings/sec, 1355 secs
lola: STP completed || 508 tries, 507700013 fired transitions, 1360 secs || 182760482 markings, 347813622 edges, 122462 markings/sec, 1360 secs
lola: STP completed || 509 tries, 508917731 fired transitions, 1365 secs || 183412846 markings, 349082067 edges, 130473 markings/sec, 1365 secs
lola: STP completed || 511 tries, 510255208 fired transitions, 1370 secs || 184041716 markings, 350306408 edges, 125774 markings/sec, 1370 secs
lola: STP completed || 513 tries, 512788751 fired transitions, 1375 secs || 184653098 markings, 351493291 edges, 122276 markings/sec, 1375 secs
lola: STP completed || 515 tries, 514680609 fired transitions, 1380 secs || 185286587 markings, 352739938 edges, 126698 markings/sec, 1380 secs
lola: STP completed || 517 tries, 516907209 fired transitions, 1385 secs || 185911035 markings, 353965979 edges, 124890 markings/sec, 1385 secs
lola: STP completed || 519 tries, 518673609 fired transitions, 1390 secs || 186547235 markings, 355199871 edges, 127240 markings/sec, 1390 secs
lola: STP completed || 521 tries, 520239903 fired transitions, 1395 secs || 187182550 markings, 356448715 edges, 127063 markings/sec, 1395 secs
lola: STP completed || 523 tries, 522774890 fired transitions, 1400 secs || 187787193 markings, 357622419 edges, 120929 markings/sec, 1400 secs
lola: STP completed || 525 tries, 524320329 fired transitions, 1405 secs || 188423924 markings, 358876703 edges, 127346 markings/sec, 1405 secs
lola: STP completed || 526 tries, 525942614 fired transitions, 1410 secs || 189039664 markings, 360099996 edges, 123148 markings/sec, 1410 secs
lola: STP completed || 529 tries, 528035156 fired transitions, 1415 secs || 189655038 markings, 361290609 edges, 123075 markings/sec, 1415 secs
lola: STP completed || 530 tries, 529715697 fired transitions, 1420 secs || 190285030 markings, 362523204 edges, 125998 markings/sec, 1420 secs
lola: STP completed || 533 tries, 532260020 fired transitions, 1425 secs || 190884055 markings, 363692361 edges, 119805 markings/sec, 1425 secs
lola: STP completed || 535 tries, 534024857 fired transitions, 1430 secs || 191505785 markings, 364894878 edges, 124346 markings/sec, 1430 secs
lola: STP completed || 536 tries, 535503564 fired transitions, 1435 secs || 192144246 markings, 366127699 edges, 127692 markings/sec, 1435 secs
lola: STP completed || 537 tries, 536672951 fired transitions, 1440 secs || 192784040 markings, 367383374 edges, 127959 markings/sec, 1440 secs
lola: STP completed || 539 tries, 538501419 fired transitions, 1445 secs || 193400997 markings, 368593592 edges, 123391 markings/sec, 1445 secs
lola: STP completed || 541 tries, 540130562 fired transitions, 1450 secs || 193914591 markings, 369601031 edges, 102719 markings/sec, 1450 secs
lola: STP completed || 541 tries, 540764827 fired transitions, 1455 secs || 193949810 markings, 369670305 edges, 7044 markings/sec, 1455 secs
lola: STP completed || 541 tries, 540838840 fired transitions, 1460 secs || 193954342 markings, 369677948 edges, 906 markings/sec, 1460 secs
lola: STP completed || 544 tries, 543070915 fired transitions, 1465 secs || 193973132 markings, 369713153 edges, 3758 markings/sec, 1465 secs
lola: STP completed || 544 tries, 543944718 fired transitions, 1470 secs || 193985119 markings, 369736037 edges, 2397 markings/sec, 1470 secs
lola: STP completed || 545 tries, 544740416 fired transitions, 1475 secs || 193997418 markings, 369761143 edges, 2460 markings/sec, 1475 secs
lola: STP completed || 546 tries, 545745150 fired transitions, 1480 secs || 194000836 markings, 369767702 edges, 684 markings/sec, 1480 secs
lola: STP completed || 547 tries, 546433312 fired transitions, 1485 secs || 194016822 markings, 369800253 edges, 3197 markings/sec, 1485 secs
lola: STP completed || 547 tries, 546939437 fired transitions, 1490 secs || 194055045 markings, 369876230 edges, 7645 markings/sec, 1490 secs
BK_STOP 1526637371140
--------------------
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="Angiogenesis-PT-50"
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/Angiogenesis-PT-50.tgz
mv Angiogenesis-PT-50 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 Angiogenesis-PT-50, 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 r016-qhx1-152646241100048"
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 ;