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 248K
-rw-r--r-- 1 mcc users 3.7K May 30 21:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 30 21:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 29 15:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 15:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 24 11:17 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 24 11:17 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 28 09:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K May 28 09:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 28 08:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 28 08:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 24 11:17 NewModel
-rw-r--r-- 1 mcc users 3.5K May 28 06:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 28 06:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 26 06:29 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 26 06:29 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.3K May 27 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 27 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 28 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 28 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 24 11:17 equiv_col
-rw-r--r-- 1 mcc users 5 May 24 11:17 instance
-rw-r--r-- 1 mcc users 6 May 24 11:17 iscolored
-rw-r--r-- 1 mcc users 78K May 24 11:17 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is HospitalTriage-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r280-csrt-152749169700287
=====================================================================

--------------------
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 HospitalTriage-PT-none-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1527788636709

info: Time: 3600 - MCC
===========================================================================================
prep: translating HospitalTriage-PT-none Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating HospitalTriage-PT-none formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ HospitalTriage-PT-none @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 473/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7840
lola: finding significant places
lola: 245 places, 228 transitions, 204 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 257 transition conflict sets
lola: TASK
lola: reading formula from HospitalTriage-PT-none-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 18 generators (15 in search tree, 3 by composition)
lola: representing 13824 symmetries
lola: 0 dead branches visited in search tree
lola: STP: formula with 5661 variables and 16277 clauses shipped to Minisat
lola: stp: The siphon/trap property does not hold
lola: STP completed || 3 tries, 2134781 fired transitions, 0 secs || 1099433 markings, 1369979 edges, 219887 markings/sec, 0 secs
lola: STP completed || 5 tries, 4240460 fired transitions, 5 secs || 2155213 markings, 2683956 edges, 211156 markings/sec, 5 secs
lola: STP completed || 7 tries, 6356069 fired transitions, 10 secs || 3184694 markings, 3970346 edges, 205896 markings/sec, 10 secs
lola: STP completed || 9 tries, 8473874 fired transitions, 15 secs || 4198249 markings, 5239502 edges, 202711 markings/sec, 15 secs
lola: STP completed || 11 tries, 10597075 fired transitions, 20 secs || 5202301 markings, 6499050 edges, 200810 markings/sec, 20 secs
lola: STP completed || 13 tries, 12722441 fired transitions, 25 secs || 6184194 markings, 7733210 edges, 196379 markings/sec, 25 secs
lola: STP completed || 15 tries, 14856451 fired transitions, 30 secs || 7176166 markings, 8982969 edges, 198394 markings/sec, 30 secs
lola: STP completed || 17 tries, 16987514 fired transitions, 35 secs || 8159597 markings, 10220390 edges, 196686 markings/sec, 35 secs
lola: STP completed || 20 tries, 19118430 fired transitions, 40 secs || 9136062 markings, 11452142 edges, 195293 markings/sec, 40 secs
lola: STP completed || 22 tries, 21290164 fired transitions, 45 secs || 10118581 markings, 12693719 edges, 196504 markings/sec, 45 secs
lola: STP completed || 24 tries, 23508870 fired transitions, 50 secs || 11101621 markings, 13935766 edges, 196608 markings/sec, 50 secs
lola: STP completed || 26 tries, 25671623 fired transitions, 55 secs || 12074481 markings, 15167377 edges, 194572 markings/sec, 55 secs
lola: STP completed || 28 tries, 27812658 fired transitions, 60 secs || 13037129 markings, 16385592 edges, 192530 markings/sec, 60 secs
lola: STP completed || 30 tries, 29958998 fired transitions, 65 secs || 13999947 markings, 17606745 edges, 192564 markings/sec, 65 secs
lola: STP completed || 33 tries, 32096651 fired transitions, 70 secs || 14954019 markings, 18815741 edges, 190814 markings/sec, 70 secs
lola: STP completed || 35 tries, 34235050 fired transitions, 75 secs || 15907381 markings, 20026002 edges, 190672 markings/sec, 75 secs
lola: STP completed || 37 tries, 36358352 fired transitions, 80 secs || 16857470 markings, 21233039 edges, 190018 markings/sec, 80 secs
lola: STP completed || 39 tries, 38245025 fired transitions, 85 secs || 17689485 markings, 22290552 edges, 166403 markings/sec, 85 secs
lola: STP completed || 41 tries, 40157231 fired transitions, 90 secs || 18509836 markings, 23332010 edges, 164070 markings/sec, 90 secs
lola: STP completed || 43 tries, 42071866 fired transitions, 95 secs || 19332839 markings, 24379490 edges, 164601 markings/sec, 95 secs
lola: STP completed || 44 tries, 43992398 fired transitions, 100 secs || 20142161 markings, 25408786 edges, 161864 markings/sec, 100 secs
lola: STP completed || 46 tries, 45915602 fired transitions, 105 secs || 20959091 markings, 26449990 edges, 163386 markings/sec, 105 secs
lola: STP completed || 48 tries, 47842773 fired transitions, 110 secs || 21776371 markings, 27490597 edges, 163456 markings/sec, 110 secs
lola: STP completed || 50 tries, 49824484 fired transitions, 115 secs || 22664498 markings, 28623281 edges, 177625 markings/sec, 115 secs
lola: STP completed || 52 tries, 51979131 fired transitions, 120 secs || 23605489 markings, 29823414 edges, 188198 markings/sec, 120 secs
lola: STP completed || 55 tries, 54184365 fired transitions, 125 secs || 24559658 markings, 31041120 edges, 190834 markings/sec, 125 secs
lola: STP completed || 57 tries, 56374696 fired transitions, 130 secs || 25505068 markings, 32246838 edges, 189082 markings/sec, 130 secs
lola: STP completed || 59 tries, 58525486 fired transitions, 135 secs || 26425612 markings, 33423867 edges, 184109 markings/sec, 135 secs
lola: STP completed || 61 tries, 60706259 fired transitions, 140 secs || 27362023 markings, 34621495 edges, 187282 markings/sec, 140 secs
lola: STP completed || 63 tries, 62910390 fired transitions, 145 secs || 28303969 markings, 35824700 edges, 188389 markings/sec, 145 secs
lola: STP completed || 66 tries, 65111080 fired transitions, 150 secs || 29242848 markings, 37025318 edges, 187776 markings/sec, 150 secs
lola: STP completed || 68 tries, 67251716 fired transitions, 155 secs || 30163303 markings, 38202335 edges, 184091 markings/sec, 155 secs
lola: STP completed || 70 tries, 69428368 fired transitions, 160 secs || 31092148 markings, 39391338 edges, 185769 markings/sec, 160 secs
lola: STP completed || 72 tries, 71603467 fired transitions, 165 secs || 32020213 markings, 40579186 edges, 185613 markings/sec, 165 secs
lola: STP completed || 74 tries, 73795082 fired transitions, 170 secs || 32949616 markings, 41769083 edges, 185881 markings/sec, 170 secs
lola: STP completed || 76 tries, 75979957 fired transitions, 175 secs || 33875231 markings, 42955477 edges, 185123 markings/sec, 175 secs
lola: STP completed || 79 tries, 78156980 fired transitions, 180 secs || 34797750 markings, 44137883 edges, 184504 markings/sec, 180 secs
lola: STP completed || 81 tries, 80343884 fired transitions, 185 secs || 35719793 markings, 45320928 edges, 184409 markings/sec, 185 secs
lola: STP completed || 83 tries, 82520597 fired transitions, 190 secs || 36638711 markings, 46498686 edges, 183784 markings/sec, 190 secs
lola: STP completed || 85 tries, 84698318 fired transitions, 195 secs || 37556566 markings, 47677040 edges, 183571 markings/sec, 195 secs
lola: STP completed || 87 tries, 86881435 fired transitions, 200 secs || 38474941 markings, 48856256 edges, 183675 markings/sec, 200 secs
lola: STP completed || 90 tries, 89056772 fired transitions, 205 secs || 39392099 markings, 50033591 edges, 183432 markings/sec, 205 secs
lola: STP completed || 92 tries, 91256206 fired transitions, 210 secs || 40314018 markings, 51216332 edges, 184384 markings/sec, 210 secs
lola: STP completed || 94 tries, 93438240 fired transitions, 215 secs || 41227313 markings, 52388693 edges, 182659 markings/sec, 215 secs
lola: STP completed || 96 tries, 95625112 fired transitions, 220 secs || 42141321 markings, 53562916 edges, 182802 markings/sec, 220 secs
lola: STP completed || 98 tries, 97837048 fired transitions, 225 secs || 43058131 markings, 54740332 edges, 183362 markings/sec, 225 secs
lola: STP completed || 101 tries, 100022164 fired transitions, 230 secs || 43967173 markings, 55909619 edges, 181808 markings/sec, 230 secs
lola: STP completed || 103 tries, 102220580 fired transitions, 235 secs || 44877077 markings, 57079095 edges, 181981 markings/sec, 235 secs
lola: STP completed || 105 tries, 104411698 fired transitions, 240 secs || 45789106 markings, 58251301 edges, 182406 markings/sec, 240 secs
lola: STP completed || 107 tries, 106605441 fired transitions, 245 secs || 46698028 markings, 59421545 edges, 181784 markings/sec, 245 secs
lola: STP completed || 109 tries, 108824012 fired transitions, 250 secs || 47611728 markings, 60596690 edges, 182740 markings/sec, 250 secs
lola: STP completed || 112 tries, 111107951 fired transitions, 255 secs || 48536681 markings, 61787583 edges, 184991 markings/sec, 255 secs
lola: STP completed || 114 tries, 113418845 fired transitions, 260 secs || 49455959 markings, 62972450 edges, 183856 markings/sec, 260 secs
lola: STP completed || 116 tries, 115696081 fired transitions, 265 secs || 50368662 markings, 64147847 edges, 182541 markings/sec, 265 secs
lola: STP completed || 118 tries, 117851448 fired transitions, 270 secs || 51259748 markings, 65296103 edges, 178217 markings/sec, 270 secs
lola: STP completed || 121 tries, 120034609 fired transitions, 275 secs || 52160249 markings, 66456284 edges, 180100 markings/sec, 275 secs
lola: STP completed || 123 tries, 122218347 fired transitions, 280 secs || 53056795 markings, 67613033 edges, 179309 markings/sec, 280 secs
lola: STP completed || 125 tries, 124417263 fired transitions, 285 secs || 53955328 markings, 68771893 edges, 179707 markings/sec, 285 secs
lola: STP completed || 127 tries, 126621023 fired transitions, 290 secs || 54854752 markings, 69931929 edges, 179885 markings/sec, 290 secs
lola: STP completed || 129 tries, 128829728 fired transitions, 295 secs || 55753908 markings, 71092321 edges, 179831 markings/sec, 295 secs
lola: STP completed || 132 tries, 131025201 fired transitions, 300 secs || 56643771 markings, 72240347 edges, 177973 markings/sec, 300 secs
lola: STP completed || 134 tries, 133196413 fired transitions, 305 secs || 57531701 markings, 73386171 edges, 177586 markings/sec, 305 secs
lola: STP completed || 136 tries, 135342041 fired transitions, 310 secs || 58417938 markings, 74530667 edges, 177247 markings/sec, 310 secs
lola: STP completed || 138 tries, 137539717 fired transitions, 315 secs || 59313126 markings, 75685696 edges, 179038 markings/sec, 315 secs
lola: STP completed || 140 tries, 139743909 fired transitions, 320 secs || 60208856 markings, 76841258 edges, 179146 markings/sec, 320 secs
lola: STP completed || 142 tries, 141947008 fired transitions, 325 secs || 61104217 markings, 77998099 edges, 179072 markings/sec, 325 secs
lola: STP completed || 145 tries, 144176573 fired transitions, 330 secs || 62002396 markings, 79158899 edges, 179636 markings/sec, 330 secs
lola: STP completed || 147 tries, 146421652 fired transitions, 335 secs || 62902879 markings, 80322090 edges, 180097 markings/sec, 335 secs
lola: STP completed || 149 tries, 148632396 fired transitions, 340 secs || 63795823 markings, 81475910 edges, 178589 markings/sec, 340 secs
lola: STP completed || 151 tries, 150845127 fired transitions, 345 secs || 64687683 markings, 82629350 edges, 178372 markings/sec, 345 secs
lola: STP completed || 154 tries, 153024228 fired transitions, 350 secs || 65558382 markings, 83754554 edges, 174140 markings/sec, 350 secs
lola: STP completed || 156 tries, 155209897 fired transitions, 355 secs || 66426579 markings, 84876580 edges, 173639 markings/sec, 355 secs
lola: STP completed || 158 tries, 157392919 fired transitions, 360 secs || 67308866 markings, 86017848 edges, 176457 markings/sec, 360 secs
lola: STP completed || 160 tries, 159643585 fired transitions, 365 secs || 68204117 markings, 87176251 edges, 179050 markings/sec, 365 secs
lola: STP completed || 162 tries, 161862763 fired transitions, 370 secs || 69089263 markings, 88321401 edges, 177029 markings/sec, 370 secs
lola: STP completed || 165 tries, 164019431 fired transitions, 375 secs || 69966609 markings, 89457319 edges, 175469 markings/sec, 375 secs
lola: STP completed || 167 tries, 166190088 fired transitions, 380 secs || 70843370 markings, 90591970 edges, 175352 markings/sec, 380 secs
lola: STP completed || 169 tries, 168340593 fired transitions, 385 secs || 71714153 markings, 91719823 edges, 174157 markings/sec, 385 secs
lola: STP completed || 171 tries, 170490181 fired transitions, 390 secs || 72579525 markings, 92840442 edges, 173074 markings/sec, 390 secs
lola: STP completed || 173 tries, 172658398 fired transitions, 395 secs || 73455139 markings, 93974821 edges, 175123 markings/sec, 395 secs
lola: STP completed || 175 tries, 174843282 fired transitions, 400 secs || 74332073 markings, 95110637 edges, 175387 markings/sec, 400 secs
lola: STP completed || 177 tries, 176993278 fired transitions, 405 secs || 75198009 markings, 96232576 edges, 173187 markings/sec, 405 secs
lola: STP completed || 180 tries, 179147758 fired transitions, 410 secs || 76066992 markings, 97357674 edges, 173797 markings/sec, 410 secs
lola: STP completed || 182 tries, 181306275 fired transitions, 415 secs || 76934483 markings, 98481410 edges, 173498 markings/sec, 415 secs
lola: STP completed || 184 tries, 183457557 fired transitions, 420 secs || 77801768 markings, 99606941 edges, 173457 markings/sec, 420 secs
lola: STP completed || 186 tries, 185610274 fired transitions, 425 secs || 78665754 markings, 100726961 edges, 172797 markings/sec, 425 secs
lola: STP completed || 188 tries, 187764843 fired transitions, 430 secs || 79534418 markings, 101852001 edges, 173733 markings/sec, 430 secs
lola: STP completed || 190 tries, 189920121 fired transitions, 435 secs || 80400397 markings, 102975009 edges, 173196 markings/sec, 435 secs
lola: STP completed || 193 tries, 192075486 fired transitions, 440 secs || 81266598 markings, 104098462 edges, 173240 markings/sec, 440 secs
lola: STP completed || 195 tries, 194225915 fired transitions, 445 secs || 82127113 markings, 105215403 edges, 172103 markings/sec, 445 secs
lola: STP completed || 197 tries, 196427481 fired transitions, 450 secs || 83000381 markings, 106347324 edges, 174654 markings/sec, 450 secs
lola: STP completed || 199 tries, 198613844 fired transitions, 455 secs || 83879319 markings, 107488432 edges, 175788 markings/sec, 455 secs
lola: STP completed || 201 tries, 200820780 fired transitions, 460 secs || 84754392 markings, 108624588 edges, 175015 markings/sec, 460 secs
lola: STP completed || 203 tries, 202974217 fired transitions, 465 secs || 85618064 markings, 109744346 edges, 172734 markings/sec, 465 secs
lola: STP completed || 206 tries, 205128639 fired transitions, 470 secs || 86479859 markings, 110863430 edges, 172359 markings/sec, 470 secs
lola: STP completed || 208 tries, 207293994 fired transitions, 475 secs || 87341297 markings, 111984664 edges, 172288 markings/sec, 475 secs
lola: STP completed || 210 tries, 209448700 fired transitions, 480 secs || 88206708 markings, 113107102 edges, 173082 markings/sec, 480 secs
lola: STP completed || 212 tries, 211602593 fired transitions, 485 secs || 89066567 markings, 114225200 edges, 171972 markings/sec, 485 secs
lola: STP completed || 214 tries, 213757435 fired transitions, 490 secs || 89928299 markings, 115344277 edges, 172346 markings/sec, 490 secs
lola: STP completed || 216 tries, 215910546 fired transitions, 495 secs || 90788920 markings, 116462326 edges, 172124 markings/sec, 495 secs
lola: STP completed || 219 tries, 218083999 fired transitions, 500 secs || 91656387 markings, 117589273 edges, 173493 markings/sec, 500 secs
lola: STP completed || 221 tries, 220281288 fired transitions, 505 secs || 92522267 markings, 118715048 edges, 173176 markings/sec, 505 secs
lola: STP completed || 223 tries, 222461841 fired transitions, 510 secs || 93385976 markings, 119838825 edges, 172742 markings/sec, 510 secs
lola: STP completed || 225 tries, 224643836 fired transitions, 515 secs || 94253453 markings, 120965800 edges, 173495 markings/sec, 515 secs
lola: STP completed || 227 tries, 226840691 fired transitions, 520 secs || 95119261 markings, 122091100 edges, 173162 markings/sec, 520 secs
lola: STP completed || 230 tries, 229052530 fired transitions, 525 secs || 95984832 markings, 123216273 edges, 173114 markings/sec, 525 secs
lola: STP completed || 232 tries, 231259326 fired transitions, 530 secs || 96851410 markings, 124343549 edges, 173316 markings/sec, 530 secs
lola: STP completed || 234 tries, 233473338 fired transitions, 535 secs || 97719657 markings, 125473222 edges, 173649 markings/sec, 535 secs
lola: STP completed || 236 tries, 235699152 fired transitions, 540 secs || 98593674 markings, 126609076 edges, 174803 markings/sec, 540 secs
lola: STP completed || 238 tries, 237922007 fired transitions, 545 secs || 99466013 markings, 127743606 edges, 174468 markings/sec, 545 secs
lola: STP completed || 241 tries, 240146642 fired transitions, 550 secs || 100336765 markings, 128877363 edges, 174150 markings/sec, 550 secs
lola: STP completed || 243 tries, 242360697 fired transitions, 555 secs || 101193484 markings, 129992181 edges, 171344 markings/sec, 555 secs
lola: STP completed || 245 tries, 244568248 fired transitions, 560 secs || 102038366 markings, 131091450 edges, 168976 markings/sec, 560 secs
lola: STP completed || 247 tries, 246766228 fired transitions, 565 secs || 102878473 markings, 132185951 edges, 168021 markings/sec, 565 secs
lola: STP completed || 249 tries, 248937645 fired transitions, 570 secs || 103709580 markings, 133268096 edges, 166221 markings/sec, 570 secs
lola: STP completed || 252 tries, 251126379 fired transitions, 575 secs || 104546120 markings, 134358310 edges, 167308 markings/sec, 575 secs
lola: STP completed || 254 tries, 253322771 fired transitions, 580 secs || 105386847 markings, 135453619 edges, 168145 markings/sec, 580 secs
lola: STP completed || 256 tries, 255485563 fired transitions, 585 secs || 106223287 markings, 136542293 edges, 167288 markings/sec, 585 secs
lola: STP completed || 258 tries, 257675391 fired transitions, 590 secs || 107053389 markings, 137623003 edges, 166020 markings/sec, 590 secs
lola: STP completed || 260 tries, 259831660 fired transitions, 595 secs || 107882887 markings, 138704467 edges, 165900 markings/sec, 595 secs
lola: STP completed || 263 tries, 262010146 fired transitions, 600 secs || 108718243 markings, 139794396 edges, 167071 markings/sec, 600 secs
lola: STP completed || 265 tries, 264251521 fired transitions, 605 secs || 109559367 markings, 140890021 edges, 168225 markings/sec, 605 secs
lola: STP completed || 267 tries, 266462303 fired transitions, 610 secs || 110403224 markings, 141990281 edges, 168771 markings/sec, 610 secs
lola: STP completed || 269 tries, 268633911 fired transitions, 615 secs || 111241204 markings, 143083185 edges, 167596 markings/sec, 615 secs
lola: STP completed || 271 tries, 270807707 fired transitions, 620 secs || 112069117 markings, 144161824 edges, 165583 markings/sec, 620 secs
lola: STP completed || 274 tries, 273036574 fired transitions, 625 secs || 112901734 markings, 145248376 edges, 166523 markings/sec, 625 secs
lola: STP completed || 276 tries, 275302970 fired transitions, 630 secs || 113738265 markings, 146339445 edges, 167306 markings/sec, 630 secs
lola: STP completed || 278 tries, 277593190 fired transitions, 635 secs || 114587825 markings, 147448465 edges, 169912 markings/sec, 635 secs
lola: STP completed || 280 tries, 279929834 fired transitions, 640 secs || 115476963 markings, 148609192 edges, 177828 markings/sec, 640 secs
lola: STP completed || 283 tries, 282281961 fired transitions, 645 secs || 116367728 markings, 149772095 edges, 178153 markings/sec, 645 secs
lola: STP completed || 285 tries, 284555759 fired transitions, 650 secs || 117237479 markings, 150907701 edges, 173950 markings/sec, 650 secs
lola: STP completed || 287 tries, 286755544 fired transitions, 655 secs || 118088364 markings, 152018973 edges, 170177 markings/sec, 655 secs
lola: STP completed || 289 tries, 288975334 fired transitions, 660 secs || 118944515 markings, 153136511 edges, 171230 markings/sec, 660 secs
lola: STP completed || 292 tries, 291306192 fired transitions, 665 secs || 119834278 markings, 154298350 edges, 177953 markings/sec, 665 secs
lola: STP completed || 294 tries, 293631283 fired transitions, 670 secs || 120720146 markings, 155454202 edges, 177174 markings/sec, 670 secs
lola: STP completed || 296 tries, 295978425 fired transitions, 675 secs || 121603021 markings, 156606769 edges, 176575 markings/sec, 675 secs
lola: STP completed || 299 tries, 298328896 fired transitions, 680 secs || 122486984 markings, 157761008 edges, 176793 markings/sec, 680 secs
lola: STP completed || 301 tries, 300691997 fired transitions, 685 secs || 123373828 markings, 158919096 edges, 177369 markings/sec, 685 secs
lola: STP completed || 304 tries, 303057505 fired transitions, 690 secs || 124257948 markings, 160074055 edges, 176824 markings/sec, 690 secs
lola: STP completed || 306 tries, 305424325 fired transitions, 695 secs || 125136993 markings, 161222478 edges, 175809 markings/sec, 695 secs
lola: STP completed || 308 tries, 307704403 fired transitions, 700 secs || 125994464 markings, 162344157 edges, 171494 markings/sec, 700 secs
lola: STP completed || 310 tries, 309972090 fired transitions, 705 secs || 126847013 markings, 163457933 edges, 170510 markings/sec, 705 secs
lola: STP completed || 313 tries, 312228291 fired transitions, 710 secs || 127697675 markings, 164571233 edges, 170132 markings/sec, 710 secs
lola: STP completed || 315 tries, 314463173 fired transitions, 715 secs || 128546838 markings, 165681568 edges, 169833 markings/sec, 715 secs
lola: STP completed || 317 tries, 316734615 fired transitions, 720 secs || 129405524 markings, 166804067 edges, 171737 markings/sec, 720 secs
lola: STP completed || 320 tries, 319008460 fired transitions, 725 secs || 130260820 markings, 167924486 edges, 171059 markings/sec, 725 secs
lola: STP completed || 322 tries, 321271689 fired transitions, 730 secs || 131094482 markings, 169016687 edges, 166732 markings/sec, 730 secs
lola: STP completed || 324 tries, 323488873 fired transitions, 735 secs || 131950343 markings, 170136387 edges, 171172 markings/sec, 735 secs
lola: STP completed || 326 tries, 325726595 fired transitions, 740 secs || 132805715 markings, 171257006 edges, 171074 markings/sec, 740 secs
lola: STP completed || 328 tries, 327970733 fired transitions, 745 secs || 133659325 markings, 172374535 edges, 170722 markings/sec, 745 secs
lola: STP completed || 331 tries, 330238043 fired transitions, 750 secs || 134515072 markings, 173494413 edges, 171149 markings/sec, 750 secs
lola: STP completed || 333 tries, 332466598 fired transitions, 755 secs || 135362149 markings, 174603140 edges, 169415 markings/sec, 755 secs
lola: STP completed || 335 tries, 334666801 fired transitions, 760 secs || 136200322 markings, 175702558 edges, 167635 markings/sec, 760 secs
lola: STP completed || 337 tries, 336882135 fired transitions, 765 secs || 137043540 markings, 176807202 edges, 168644 markings/sec, 765 secs
lola: STP completed || 340 tries, 339062992 fired transitions, 770 secs || 137881685 markings, 177904665 edges, 167629 markings/sec, 770 secs
lola: STP completed || 342 tries, 341266412 fired transitions, 775 secs || 138723206 markings, 179006895 edges, 168304 markings/sec, 775 secs
lola: STP completed || 344 tries, 343498468 fired transitions, 780 secs || 139573370 markings, 180121100 edges, 170033 markings/sec, 780 secs
lola: STP completed || 346 tries, 345825342 fired transitions, 785 secs || 140453320 markings, 181275976 edges, 175990 markings/sec, 785 secs
lola: STP completed || 349 tries, 348100223 fired transitions, 790 secs || 141319688 markings, 182412088 edges, 173274 markings/sec, 790 secs
lola: STP completed || 351 tries, 350288850 fired transitions, 795 secs || 142161532 markings, 183515330 edges, 168369 markings/sec, 795 secs
lola: STP completed || 353 tries, 352440106 fired transitions, 800 secs || 142990434 markings, 184603397 edges, 165780 markings/sec, 800 secs
lola: STP completed || 355 tries, 354597628 fired transitions, 805 secs || 143826271 markings, 185699939 edges, 167167 markings/sec, 805 secs
lola: STP completed || 357 tries, 356923846 fired transitions, 810 secs || 144690398 markings, 186834214 edges, 172825 markings/sec, 810 secs
lola: STP completed || 360 tries, 359249877 fired transitions, 815 secs || 145558673 markings, 187972812 edges, 173655 markings/sec, 815 secs
lola: STP completed || 362 tries, 361588455 fired transitions, 820 secs || 146426246 markings, 189112673 edges, 173515 markings/sec, 820 secs
lola: STP completed || 364 tries, 363892209 fired transitions, 825 secs || 147285129 markings, 190241335 edges, 171777 markings/sec, 825 secs
lola: STP completed || 367 tries, 366232726 fired transitions, 830 secs || 148153038 markings, 191380976 edges, 173582 markings/sec, 830 secs
lola: STP completed || 369 tries, 368490267 fired transitions, 835 secs || 148962037 markings, 192442746 edges, 161800 markings/sec, 835 secs
lola: STP completed || 371 tries, 370735256 fired transitions, 840 secs || 149817260 markings, 193566222 edges, 171045 markings/sec, 840 secs
lola: STP completed || 374 tries, 373077953 fired transitions, 845 secs || 150686144 markings, 194707235 edges, 173777 markings/sec, 845 secs
lola: STP completed || 376 tries, 375410392 fired transitions, 850 secs || 151550402 markings, 195843275 edges, 172852 markings/sec, 850 secs
lola: STP completed || 378 tries, 377753395 fired transitions, 855 secs || 152419300 markings, 196983600 edges, 173780 markings/sec, 855 secs
lola: STP completed || 381 tries, 380054916 fired transitions, 860 secs || 153277066 markings, 198111044 edges, 171553 markings/sec, 860 secs
lola: STP completed || 383 tries, 382337209 fired transitions, 865 secs || 154119512 markings, 199219419 edges, 168489 markings/sec, 865 secs
lola: STP completed || 385 tries, 384613188 fired transitions, 870 secs || 154964231 markings, 200329965 edges, 168944 markings/sec, 870 secs
lola: STP completed || 387 tries, 386945812 fired transitions, 875 secs || 155827041 markings, 201464268 edges, 172562 markings/sec, 875 secs
lola: STP completed || 390 tries, 389265728 fired transitions, 880 secs || 156693742 markings, 202605584 edges, 173340 markings/sec, 880 secs
lola: STP completed || 392 tries, 391591023 fired transitions, 885 secs || 157556040 markings, 203739344 edges, 172460 markings/sec, 885 secs
lola: STP completed || 394 tries, 393848959 fired transitions, 890 secs || 158392925 markings, 204841852 edges, 167377 markings/sec, 890 secs
lola: STP completed || 397 tries, 396090850 fired transitions, 895 secs || 159229396 markings, 205941888 edges, 167294 markings/sec, 895 secs
lola: STP completed || 399 tries, 398276595 fired transitions, 900 secs || 160048331 markings, 207019710 edges, 163787 markings/sec, 900 secs
lola: STP completed || 401 tries, 400545279 fired transitions, 905 secs || 160892117 markings, 208131257 edges, 168757 markings/sec, 905 secs
lola: STP completed || 403 tries, 402903763 fired transitions, 910 secs || 161754021 markings, 209266510 edges, 172381 markings/sec, 910 secs
lola: STP completed || 406 tries, 405249873 fired transitions, 915 secs || 162614284 markings, 210398939 edges, 172053 markings/sec, 915 secs
lola: STP completed || 408 tries, 407599922 fired transitions, 920 secs || 163481581 markings, 211540508 edges, 173459 markings/sec, 920 secs
lola: STP completed || 410 tries, 409921458 fired transitions, 925 secs || 164334866 markings, 212665257 edges, 170657 markings/sec, 925 secs
lola: STP completed || 413 tries, 412107411 fired transitions, 930 secs || 165161209 markings, 213753700 edges, 165269 markings/sec, 930 secs
lola: STP completed || 415 tries, 414275477 fired transitions, 935 secs || 165980546 markings, 214833918 edges, 163867 markings/sec, 935 secs
lola: STP completed || 417 tries, 416439957 fired transitions, 940 secs || 166794278 markings, 215907987 edges, 162746 markings/sec, 940 secs
lola: STP completed || 419 tries, 418729206 fired transitions, 945 secs || 167630143 markings, 217010759 edges, 167173 markings/sec, 945 secs
lola: STP completed || 422 tries, 421002068 fired transitions, 950 secs || 168467787 markings, 218114761 edges, 167529 markings/sec, 950 secs
lola: STP completed || 424 tries, 423268497 fired transitions, 955 secs || 169298910 markings, 219212460 edges, 166225 markings/sec, 955 secs
lola: STP completed || 426 tries, 425531420 fired transitions, 960 secs || 170126233 markings, 220304300 edges, 165465 markings/sec, 960 secs
lola: STP completed || 428 tries, 427792508 fired transitions, 965 secs || 170955626 markings, 221399327 edges, 165879 markings/sec, 965 secs
lola: STP completed || 431 tries, 430071124 fired transitions, 970 secs || 171788079 markings, 222498717 edges, 166491 markings/sec, 970 secs
lola: STP completed || 433 tries, 432443993 fired transitions, 975 secs || 172648695 markings, 223635671 edges, 172123 markings/sec, 975 secs
lola: STP completed || 435 tries, 434701008 fired transitions, 980 secs || 173472074 markings, 224724347 edges, 164676 markings/sec, 980 secs
lola: STP completed || 437 tries, 436965949 fired transitions, 985 secs || 174300382 markings, 225820316 edges, 165662 markings/sec, 985 secs
lola: STP completed || 440 tries, 439280485 fired transitions, 990 secs || 175143248 markings, 226935328 edges, 168573 markings/sec, 990 secs
lola: STP completed || 442 tries, 441503272 fired transitions, 995 secs || 175962780 markings, 228020121 edges, 163906 markings/sec, 995 secs
lola: STP completed || 444 tries, 443740558 fired transitions, 1000 secs || 176780034 markings, 229102389 edges, 163451 markings/sec, 1000 secs
lola: STP completed || 446 tries, 445981027 fired transitions, 1005 secs || 177602321 markings, 230191265 edges, 164457 markings/sec, 1005 secs
lola: STP completed || 449 tries, 448240443 fired transitions, 1010 secs || 178428020 markings, 231284161 edges, 165140 markings/sec, 1010 secs
lola: STP completed || 451 tries, 450509058 fired transitions, 1015 secs || 179253920 markings, 232378056 edges, 165180 markings/sec, 1015 secs
lola: STP completed || 453 tries, 452772730 fired transitions, 1020 secs || 180076132 markings, 233467491 edges, 164442 markings/sec, 1020 secs
lola: STP completed || 456 tries, 455029105 fired transitions, 1025 secs || 180896937 markings, 234556714 edges, 164161 markings/sec, 1025 secs
lola: STP completed || 458 tries, 457284715 fired transitions, 1030 secs || 181719316 markings, 235646902 edges, 164476 markings/sec, 1030 secs
lola: STP completed || 460 tries, 459539324 fired transitions, 1035 secs || 182547350 markings, 236745242 edges, 165607 markings/sec, 1035 secs
lola: STP completed || 462 tries, 461787671 fired transitions, 1040 secs || 183367445 markings, 237832744 edges, 164019 markings/sec, 1040 secs
lola: STP completed || 465 tries, 464045575 fired transitions, 1045 secs || 184191829 markings, 238924372 edges, 164877 markings/sec, 1045 secs
lola: STP completed || 467 tries, 466286060 fired transitions, 1050 secs || 185014081 markings, 240015348 edges, 164450 markings/sec, 1050 secs
lola: STP completed || 469 tries, 468537616 fired transitions, 1055 secs || 185834588 markings, 241104475 edges, 164101 markings/sec, 1055 secs
lola: STP completed || 471 tries, 470876922 fired transitions, 1060 secs || 186676670 markings, 242221371 edges, 168416 markings/sec, 1060 secs
lola: STP completed || 474 tries, 473142023 fired transitions, 1065 secs || 187496164 markings, 243309362 edges, 163899 markings/sec, 1065 secs
lola: STP completed || 476 tries, 475402453 fired transitions, 1070 secs || 188313893 markings, 244394335 edges, 163546 markings/sec, 1070 secs
lola: STP completed || 478 tries, 477634660 fired transitions, 1075 secs || 189136205 markings, 245486137 edges, 164462 markings/sec, 1075 secs
lola: STP completed || 480 tries, 479906245 fired transitions, 1080 secs || 189963442 markings, 246586927 edges, 165447 markings/sec, 1080 secs
lola: STP completed || 483 tries, 482128052 fired transitions, 1085 secs || 190779256 markings, 247669442 edges, 163163 markings/sec, 1085 secs
lola: STP completed || 485 tries, 484407499 fired transitions, 1090 secs || 191602223 markings, 248765190 edges, 164593 markings/sec, 1090 secs
lola: STP completed || 487 tries, 486609132 fired transitions, 1095 secs || 192412068 markings, 249843198 edges, 161969 markings/sec, 1095 secs
lola: STP completed || 489 tries, 488798638 fired transitions, 1100 secs || 193216932 markings, 250914856 edges, 160973 markings/sec, 1100 secs
lola: STP completed || 491 tries, 490975981 fired transitions, 1105 secs || 194018982 markings, 251982632 edges, 160410 markings/sec, 1105 secs
lola: STP completed || 494 tries, 493153797 fired transitions, 1110 secs || 194827687 markings, 253059289 edges, 161741 markings/sec, 1110 secs
lola: STP completed || 496 tries, 495322734 fired transitions, 1115 secs || 195640834 markings, 254140877 edges, 162629 markings/sec, 1115 secs
lola: STP completed || 498 tries, 497485331 fired transitions, 1120 secs || 196451796 markings, 255220778 edges, 162192 markings/sec, 1120 secs
lola: STP completed || 500 tries, 499590972 fired transitions, 1125 secs || 197197698 markings, 256213403 edges, 149180 markings/sec, 1125 secs
lola: STP completed || 502 tries, 501763650 fired transitions, 1130 secs || 198006343 markings, 257289919 edges, 161729 markings/sec, 1130 secs
lola: STP completed || 504 tries, 503935369 fired transitions, 1135 secs || 198811519 markings, 258362431 edges, 161035 markings/sec, 1135 secs
lola: STP completed || 507 tries, 506104780 fired transitions, 1140 secs || 199620989 markings, 259440525 edges, 161894 markings/sec, 1140 secs
lola: STP completed || 509 tries, 508276512 fired transitions, 1145 secs || 200427785 markings, 260516848 edges, 161359 markings/sec, 1145 secs
lola: STP completed || 511 tries, 510452478 fired transitions, 1150 secs || 201227900 markings, 261584999 edges, 160023 markings/sec, 1150 secs
lola: STP completed || 513 tries, 512650621 fired transitions, 1155 secs || 202032380 markings, 262658579 edges, 160896 markings/sec, 1155 secs
lola: STP completed || 515 tries, 514858405 fired transitions, 1160 secs || 202838018 markings, 263734718 edges, 161128 markings/sec, 1160 secs
lola: STP completed || 518 tries, 517098482 fired transitions, 1165 secs || 203646926 markings, 264817172 edges, 161782 markings/sec, 1165 secs
lola: STP completed || 520 tries, 519296416 fired transitions, 1170 secs || 204453654 markings, 265893406 edges, 161346 markings/sec, 1170 secs
lola: STP completed || 522 tries, 521523218 fired transitions, 1175 secs || 205266967 markings, 266978813 edges, 162663 markings/sec, 1175 secs
lola: STP completed || 524 tries, 523787127 fired transitions, 1180 secs || 206087464 markings, 268076643 edges, 164099 markings/sec, 1180 secs
lola: STP completed || 527 tries, 526063688 fired transitions, 1185 secs || 206909308 markings, 269174106 edges, 164369 markings/sec, 1185 secs
lola: STP completed || 529 tries, 528326742 fired transitions, 1190 secs || 207728221 markings, 270267723 edges, 163783 markings/sec, 1190 secs
lola: STP completed || 531 tries, 530528392 fired transitions, 1195 secs || 208534991 markings, 271346082 edges, 161354 markings/sec, 1195 secs
lola: STP completed || 533 tries, 532723505 fired transitions, 1200 secs || 209345400 markings, 272429058 edges, 162082 markings/sec, 1200 secs
lola: STP completed || 535 tries, 534982706 fired transitions, 1205 secs || 210153755 markings, 273509344 edges, 161671 markings/sec, 1205 secs
lola: STP completed || 538 tries, 537213395 fired transitions, 1210 secs || 210961270 markings, 274589246 edges, 161503 markings/sec, 1210 secs
lola: STP completed || 540 tries, 539447214 fired transitions, 1215 secs || 211771909 markings, 275673368 edges, 162128 markings/sec, 1215 secs
lola: STP completed || 542 tries, 541645266 fired transitions, 1220 secs || 212588112 markings, 276767096 edges, 163241 markings/sec, 1220 secs
lola: STP completed || 544 tries, 543878665 fired transitions, 1225 secs || 213402140 markings, 277859354 edges, 162806 markings/sec, 1225 secs
lola: STP completed || 547 tries, 546055703 fired transitions, 1230 secs || 214184565 markings, 278907945 edges, 156485 markings/sec, 1230 secs
lola: STP completed || 549 tries, 548265412 fired transitions, 1235 secs || 214985093 markings, 279982459 edges, 160106 markings/sec, 1235 secs
lola: STP completed || 551 tries, 550431312 fired transitions, 1240 secs || 215778053 markings, 281047114 edges, 158592 markings/sec, 1240 secs
lola: STP completed || 553 tries, 552600402 fired transitions, 1245 secs || 216577452 markings, 282119331 edges, 159880 markings/sec, 1245 secs
lola: STP completed || 555 tries, 554792691 fired transitions, 1250 secs || 217381304 markings, 283198909 edges, 160770 markings/sec, 1250 secs
lola: STP completed || 558 tries, 557068583 fired transitions, 1255 secs || 218191211 markings, 284286946 edges, 161981 markings/sec, 1255 secs
lola: STP completed || 560 tries, 559342094 fired transitions, 1260 secs || 218997190 markings, 285369720 edges, 161196 markings/sec, 1260 secs
lola: STP completed || 562 tries, 561546921 fired transitions, 1265 secs || 219799657 markings, 286448819 edges, 160493 markings/sec, 1265 secs
lola: STP completed || 564 tries, 563716197 fired transitions, 1270 secs || 220586312 markings, 287507803 edges, 157331 markings/sec, 1270 secs
lola: STP completed || 566 tries, 565886733 fired transitions, 1275 secs || 221382996 markings, 288579420 edges, 159337 markings/sec, 1275 secs
lola: STP completed || 569 tries, 568197312 fired transitions, 1280 secs || 222208395 markings, 289691590 edges, 165080 markings/sec, 1280 secs
lola: STP completed || 571 tries, 570404801 fired transitions, 1285 secs || 223012336 markings, 290773045 edges, 160788 markings/sec, 1285 secs
lola: STP completed || 573 tries, 572575044 fired transitions, 1290 secs || 223796623 markings, 291831648 edges, 156857 markings/sec, 1290 secs
lola: STP completed || 575 tries, 574744301 fired transitions, 1295 secs || 224588083 markings, 292898319 edges, 158292 markings/sec, 1295 secs
lola: STP completed || 577 tries, 576917503 fired transitions, 1300 secs || 225373994 markings, 293959939 edges, 157182 markings/sec, 1300 secs
lola: STP completed || 580 tries, 579115269 fired transitions, 1305 secs || 226179225 markings, 295046480 edges, 161046 markings/sec, 1305 secs
lola: STP completed || 582 tries, 581435482 fired transitions, 1310 secs || 226975401 markings, 296122408 edges, 159235 markings/sec, 1310 secs
lola: STP completed || 584 tries, 583795604 fired transitions, 1315 secs || 227804622 markings, 297242103 edges, 165844 markings/sec, 1315 secs
lola: STP completed || 587 tries, 586102884 fired transitions, 1320 secs || 228601267 markings, 298319265 edges, 159329 markings/sec, 1320 secs
lola: STP completed || 589 tries, 588273946 fired transitions, 1325 secs || 229379275 markings, 299371357 edges, 155602 markings/sec, 1325 secs
lola: STP completed || 591 tries, 590456914 fired transitions, 1330 secs || 230151823 markings, 300415550 edges, 154510 markings/sec, 1330 secs
lola: STP completed || 593 tries, 592777279 fired transitions, 1335 secs || 230945013 markings, 301489554 edges, 158638 markings/sec, 1335 secs
lola: STP completed || 595 tries, 594989419 fired transitions, 1340 secs || 231728174 markings, 302549169 edges, 156632 markings/sec, 1340 secs
lola: STP completed || 598 tries, 597251401 fired transitions, 1345 secs || 232510427 markings, 303611591 edges, 156451 markings/sec, 1345 secs
lola: STP completed || 600 tries, 599488321 fired transitions, 1350 secs || 233289352 markings, 304668786 edges, 155785 markings/sec, 1350 secs
lola: STP completed || 602 tries, 601659005 fired transitions, 1355 secs || 234059420 markings, 305713201 edges, 154014 markings/sec, 1355 secs
lola: STP completed || 604 tries, 603836426 fired transitions, 1360 secs || 234829095 markings, 306756132 edges, 153935 markings/sec, 1360 secs
lola: STP completed || 607 tries, 606012467 fired transitions, 1365 secs || 235595623 markings, 307797208 edges, 153306 markings/sec, 1365 secs
lola: STP completed || 609 tries, 608223087 fired transitions, 1370 secs || 236359935 markings, 308834404 edges, 152862 markings/sec, 1370 secs
lola: STP completed || 611 tries, 610541398 fired transitions, 1375 secs || 237140433 markings, 309896128 edges, 156100 markings/sec, 1375 secs
lola: STP completed || 613 tries, 612858796 fired transitions, 1380 secs || 237930106 markings, 310970179 edges, 157935 markings/sec, 1380 secs
lola: STP completed || 616 tries, 615177193 fired transitions, 1385 secs || 238715632 markings, 312041157 edges, 157105 markings/sec, 1385 secs
lola: STP completed || 618 tries, 617363367 fired transitions, 1390 secs || 239478123 markings, 313080096 edges, 152498 markings/sec, 1390 secs
lola: STP completed || 620 tries, 619624147 fired transitions, 1395 secs || 240254537 markings, 314137543 edges, 155283 markings/sec, 1395 secs
lola: STP completed || 622 tries, 621985789 fired transitions, 1400 secs || 241036849 markings, 315202626 edges, 156462 markings/sec, 1400 secs
lola: STP completed || 625 tries, 624363426 fired transitions, 1405 secs || 241827274 markings, 316281777 edges, 158085 markings/sec, 1405 secs
lola: STP completed || 627 tries, 626752107 fired transitions, 1410 secs || 242607536 markings, 317347444 edges, 156052 markings/sec, 1410 secs
lola: STP completed || 630 tries, 629100700 fired transitions, 1415 secs || 243391693 markings, 318418407 edges, 156831 markings/sec, 1415 secs
lola: STP completed || 632 tries, 631352454 fired transitions, 1420 secs || 244174093 markings, 319488150 edges, 156480 markings/sec, 1420 secs
lola: STP completed || 634 tries, 633544043 fired transitions, 1425 secs || 244940315 markings, 320535441 edges, 153244 markings/sec, 1425 secs
lola: STP completed || 636 tries, 635967677 fired transitions, 1430 secs || 245725317 markings, 321609064 edges, 157000 markings/sec, 1430 secs
lola: STP completed || 639 tries, 638289283 fired transitions, 1435 secs || 246505556 markings, 322674979 edges, 156048 markings/sec, 1435 secs
lola: STP completed || 641 tries, 640498797 fired transitions, 1440 secs || 247279613 markings, 323735050 edges, 154811 markings/sec, 1440 secs
lola: STP completed || 643 tries, 642891086 fired transitions, 1445 secs || 248061756 markings, 324803901 edges, 156429 markings/sec, 1445 secs
lola: STP completed || 646 tries, 645204225 fired transitions, 1450 secs || 248843746 markings, 325875762 edges, 156398 markings/sec, 1450 secs
lola: STP completed || 648 tries, 647485617 fired transitions, 1455 secs || 249610744 markings, 326924535 edges, 153400 markings/sec, 1455 secs
lola: STP completed || 650 tries, 649751231 fired transitions, 1460 secs || 250397179 markings, 328001211 edges, 157287 markings/sec, 1460 secs
lola: STP completed || 653 tries, 652021359 fired transitions, 1465 secs || 251195100 markings, 329092711 edges, 159584 markings/sec, 1465 secs
lola: STP completed || 655 tries, 654346150 fired transitions, 1470 secs || 251986215 markings, 330176534 edges, 158223 markings/sec, 1470 secs
lola: STP completed || 657 tries, 656625326 fired transitions, 1475 secs || 252777832 markings, 331265222 edges, 158323 markings/sec, 1475 secs
lola: STP completed || 659 tries, 658946846 fired transitions, 1480 secs || 253559195 markings, 332336343 edges, 156273 markings/sec, 1480 secs
lola: STP completed || 662 tries, 661160498 fired transitions, 1485 secs || 254351786 markings, 333421832 edges, 158518 markings/sec, 1485 secs
lola: STP completed || 664 tries, 663381660 fired transitions, 1490 secs || 255151581 markings, 334521462 edges, 159959 markings/sec, 1490 secs
lola: STP completed || 666 tries, 665668195 fired transitions, 1495 secs || 255949670 markings, 335614642 edges, 159618 markings/sec, 1495 secs
lola: STP completed || 668 tries, 667834943 fired transitions, 1500 secs || 256744441 markings, 336704962 edges, 158954 markings/sec, 1500 secs
lola: STP completed || 671 tries, 670024345 fired transitions, 1505 secs || 257536808 markings, 337796786 edges, 158473 markings/sec, 1505 secs
lola: STP completed || 673 tries, 672216979 fired transitions, 1510 secs || 258327543 markings, 338889260 edges, 158147 markings/sec, 1510 secs
lola: STP completed || 675 tries, 674414217 fired transitions, 1515 secs || 258891243 markings, 339663333 edges, 112740 markings/sec, 1515 secs
lola: STP completed || 676 tries, 675565984 fired transitions, 1520 secs || 259138090 markings, 340002416 edges, 49369 markings/sec, 1520 secs
lola: STP completed || 677 tries, 676084026 fired transitions, 1525 secs || 259153664 markings, 340023768 edges, 3115 markings/sec, 1525 secs
lola: STP completed || 678 tries, 677414262 fired transitions, 1530 secs || 259179153 markings, 340059702 edges, 5098 markings/sec, 1530 secs
lola: STP completed || 679 tries, 678376000 fired transitions, 1535 secs || 259194546 markings, 340080606 edges, 3079 markings/sec, 1535 secs
lola: STP completed || 680 tries, 679596429 fired transitions, 1540 secs || 259206724 markings, 340097301 edges, 2436 markings/sec, 1540 secs
lola: STP completed || 681 tries, 680153067 fired transitions, 1545 secs || 259219875 markings, 340115221 edges, 2630 markings/sec, 1545 secs
lola: STP completed || 681 tries, 680870017 fired transitions, 1550 secs || 259223825 markings, 340120494 edges, 790 markings/sec, 1550 secs
lola: STP completed || 682 tries, 681042488 fired transitions, 1555 secs || 259231166 markings, 340130366 edges, 1468 markings/sec, 1555 secs
lola: STP completed || 682 tries, 681474881 fired transitions, 1560 secs || 259244391 markings, 340148752 edges, 2645 markings/sec, 1560 secs
lola: STP completed || 683 tries, 682189682 fired transitions, 1565 secs || 259260359 markings, 340170113 edges, 3194 markings/sec, 1565 secs
lola: STP completed || 683 tries, 682719171 fired transitions, 1570 secs || 259280628 markings, 340198354 edges, 4054 markings/sec, 1570 secs
lola: STP completed || 684 tries, 683125326 fired transitions, 1575 secs || 259286992 markings, 340207201 edges, 1273 markings/sec, 1575 secs
lola: STP completed || 684 tries, 683376021 fired transitions, 1580 secs || 259298722 markings, 340223410 edges, 2346 markings/sec, 1580 secs
lola: STP completed || 685 tries, 684137768 fired transitions, 1585 secs || 259312054 markings, 340241631 edges, 2666 markings/sec, 1585 secs
lola: STP completed || 685 tries, 684779092 fired transitions, 1590 secs || 259330806 markings, 340267302 edges, 3750 markings/sec, 1590 secs
lola: STP completed || 686 tries, 685052425 fired transitions, 1595 secs || 259368438 markings, 340319778 edges, 7526 markings/sec, 1595 secs

BK_STOP 1527790242580

--------------------
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="HospitalTriage-PT-none"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/HospitalTriage-PT-none.tgz
mv HospitalTriage-PT-none execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is HospitalTriage-PT-none, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r280-csrt-152749169700287"
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 ;