fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r016-qhx1-152646241100048
Last Updated
June 26, 2018

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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;