About the Execution of LoLA for PaceMaker-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.410 | 2447533.00 | 4932679.00 | 7386.50 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r104-oct2-155272225600246.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is PaceMaker-PT-none, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272225600246
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 4.0K Feb 12 03:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 12 03:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 8 02:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 8 02:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 104 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 342 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 00:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 4 07:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Feb 4 07:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Feb 1 01:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 1 01:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 158K Mar 10 17:31 model.pnml
--------------------
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 PaceMaker-PT-none-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552784366878
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ PaceMaker-PT-none @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1122
rslt: Output for GlobalProperties @ PaceMaker-PT-none
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 234/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2240
lola: finding significant places
lola: 70 places, 164 transitions, 35 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
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 reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
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: 2 tries, 1762318 fired transitions, 0 secs || 910955 markings, 1462473 edges, 182191 markings/sec, 0 secs
lola: 5 tries, 4163842 fired transitions, 5 secs || 1976015 markings, 3298533 edges, 213012 markings/sec, 5 secs
lola: 7 tries, 6604709 fired transitions, 10 secs || 2984195 markings, 5080946 edges, 201636 markings/sec, 10 secs
lola: 9 tries, 8863403 fired transitions, 15 secs || 3913947 markings, 6939180 edges, 185950 markings/sec, 15 secs
lola: 12 tries, 11308437 fired transitions, 20 secs || 4903471 markings, 8692398 edges, 197905 markings/sec, 20 secs
lola: 14 tries, 13694710 fired transitions, 25 secs || 5939745 markings, 10427168 edges, 207255 markings/sec, 25 secs
lola: 17 tries, 16107330 fired transitions, 30 secs || 6869773 markings, 12051448 edges, 186006 markings/sec, 30 secs
lola: 19 tries, 18618916 fired transitions, 35 secs || 7774424 markings, 13734846 edges, 180930 markings/sec, 35 secs
lola: 22 tries, 21151931 fired transitions, 40 secs || 8642505 markings, 15386742 edges, 173616 markings/sec, 40 secs
lola: 24 tries, 23681186 fired transitions, 45 secs || 9564435 markings, 17220150 edges, 184386 markings/sec, 45 secs
lola: 27 tries, 26426217 fired transitions, 50 secs || 10539025 markings, 18891653 edges, 194918 markings/sec, 50 secs
lola: 29 tries, 28928029 fired transitions, 55 secs || 11461756 markings, 20599790 edges, 184546 markings/sec, 55 secs
lola: 31 tries, 30666215 fired transitions, 60 secs || 12117074 markings, 21789200 edges, 131064 markings/sec, 60 secs
lola: 34 tries, 33091058 fired transitions, 65 secs || 12975777 markings, 23416831 edges, 171741 markings/sec, 65 secs
lola: 35 tries, 34841686 fired transitions, 70 secs || 13636660 markings, 24692842 edges, 132177 markings/sec, 70 secs
lola: 37 tries, 36433986 fired transitions, 75 secs || 14288842 markings, 25935641 edges, 130436 markings/sec, 75 secs
lola: 40 tries, 39196065 fired transitions, 80 secs || 15125630 markings, 27600693 edges, 167358 markings/sec, 80 secs
lola: 42 tries, 41785010 fired transitions, 85 secs || 15925228 markings, 29201198 edges, 159920 markings/sec, 85 secs
lola: 45 tries, 44663186 fired transitions, 90 secs || 16747973 markings, 30829858 edges, 164549 markings/sec, 90 secs
lola: 48 tries, 47245150 fired transitions, 95 secs || 17564295 markings, 32468227 edges, 163264 markings/sec, 95 secs
lola: 50 tries, 49574887 fired transitions, 100 secs || 18365074 markings, 34163044 edges, 160156 markings/sec, 100 secs
lola: 53 tries, 52171792 fired transitions, 105 secs || 19214606 markings, 35890693 edges, 169906 markings/sec, 105 secs
lola: 56 tries, 55028629 fired transitions, 110 secs || 20029943 markings, 37535611 edges, 163067 markings/sec, 110 secs
lola: 58 tries, 57675629 fired transitions, 115 secs || 20816626 markings, 39346992 edges, 157337 markings/sec, 115 secs
lola: 61 tries, 60256295 fired transitions, 120 secs || 21640066 markings, 41157036 edges, 164688 markings/sec, 120 secs
lola: 63 tries, 62763378 fired transitions, 125 secs || 22591038 markings, 42911093 edges, 190194 markings/sec, 125 secs
lola: 66 tries, 65218441 fired transitions, 130 secs || 23484078 markings, 44581332 edges, 178608 markings/sec, 130 secs
lola: 69 tries, 68076599 fired transitions, 135 secs || 24371745 markings, 46291995 edges, 177533 markings/sec, 135 secs
lola: 71 tries, 70320423 fired transitions, 140 secs || 25196077 markings, 47912101 edges, 164866 markings/sec, 140 secs
lola: 73 tries, 72642780 fired transitions, 145 secs || 26029867 markings, 49542976 edges, 166758 markings/sec, 145 secs
lola: 76 tries, 75171555 fired transitions, 150 secs || 26888300 markings, 51217603 edges, 171687 markings/sec, 150 secs
lola: 78 tries, 77663866 fired transitions, 155 secs || 27755669 markings, 52967396 edges, 173474 markings/sec, 155 secs
lola: 81 tries, 80182978 fired transitions, 160 secs || 28605402 markings, 54706055 edges, 169947 markings/sec, 160 secs
lola: 83 tries, 82214623 fired transitions, 165 secs || 29281860 markings, 56113070 edges, 135292 markings/sec, 165 secs
lola: 84 tries, 83904752 fired transitions, 170 secs || 29870049 markings, 57320167 edges, 117638 markings/sec, 170 secs
lola: 86 tries, 85861203 fired transitions, 175 secs || 30534273 markings, 58658885 edges, 132845 markings/sec, 175 secs
lola: 89 tries, 88428277 fired transitions, 180 secs || 31307522 markings, 60363101 edges, 154650 markings/sec, 180 secs
lola: 91 tries, 90987142 fired transitions, 185 secs || 32232128 markings, 62336659 edges, 184921 markings/sec, 185 secs
lola: 94 tries, 93265351 fired transitions, 190 secs || 33204239 markings, 64093905 edges, 194422 markings/sec, 190 secs
lola: 96 tries, 95670602 fired transitions, 195 secs || 34197653 markings, 65869913 edges, 198683 markings/sec, 195 secs
lola: 98 tries, 97655909 fired transitions, 200 secs || 35131760 markings, 67617814 edges, 186821 markings/sec, 200 secs
lola: 101 tries, 100075902 fired transitions, 205 secs || 35960423 markings, 69314153 edges, 165733 markings/sec, 205 secs
lola: 103 tries, 102635011 fired transitions, 210 secs || 36821863 markings, 71138341 edges, 172288 markings/sec, 210 secs
lola: 106 tries, 105137618 fired transitions, 215 secs || 37627319 markings, 72844457 edges, 161091 markings/sec, 215 secs
lola: 108 tries, 107682183 fired transitions, 220 secs || 38415115 markings, 74618531 edges, 157559 markings/sec, 220 secs
lola: 111 tries, 110074605 fired transitions, 225 secs || 39243157 markings, 76402832 edges, 165608 markings/sec, 225 secs
lola: 113 tries, 112613266 fired transitions, 230 secs || 40041948 markings, 78125427 edges, 159758 markings/sec, 230 secs
lola: 116 tries, 115180248 fired transitions, 235 secs || 40834235 markings, 79851826 edges, 158457 markings/sec, 235 secs
lola: 119 tries, 118068539 fired transitions, 240 secs || 41609029 markings, 81604477 edges, 154959 markings/sec, 240 secs
lola: 121 tries, 120524390 fired transitions, 245 secs || 42381515 markings, 83396928 edges, 154497 markings/sec, 245 secs
lola: 124 tries, 123032314 fired transitions, 250 secs || 43141260 markings, 85191913 edges, 151949 markings/sec, 250 secs
lola: 126 tries, 125586191 fired transitions, 255 secs || 43913254 markings, 87044477 edges, 154399 markings/sec, 255 secs
lola: 128 tries, 127954488 fired transitions, 260 secs || 44855175 markings, 88982005 edges, 188384 markings/sec, 260 secs
lola: 131 tries, 130552407 fired transitions, 265 secs || 45573141 markings, 90720015 edges, 143593 markings/sec, 265 secs
lola: 134 tries, 133157389 fired transitions, 270 secs || 46303029 markings, 92433709 edges, 145978 markings/sec, 270 secs
lola: 136 tries, 135805506 fired transitions, 275 secs || 47101928 markings, 94234149 edges, 159780 markings/sec, 275 secs
lola: 139 tries, 138388675 fired transitions, 280 secs || 47833403 markings, 95954222 edges, 146295 markings/sec, 280 secs
lola: 142 tries, 141004627 fired transitions, 285 secs || 48617727 markings, 97774525 edges, 156865 markings/sec, 285 secs
lola: 144 tries, 143778755 fired transitions, 290 secs || 49353382 markings, 99572651 edges, 147131 markings/sec, 290 secs
lola: 147 tries, 146514190 fired transitions, 295 secs || 50076120 markings, 101394910 edges, 144548 markings/sec, 295 secs
lola: 150 tries, 149143078 fired transitions, 300 secs || 50819739 markings, 103089297 edges, 148724 markings/sec, 300 secs
lola: 152 tries, 151648155 fired transitions, 305 secs || 51613982 markings, 104891608 edges, 158849 markings/sec, 305 secs
lola: 155 tries, 154295413 fired transitions, 310 secs || 52331320 markings, 106540386 edges, 143468 markings/sec, 310 secs
lola: 157 tries, 156963648 fired transitions, 315 secs || 53062538 markings, 108240740 edges, 146244 markings/sec, 315 secs
lola: 160 tries, 159634029 fired transitions, 320 secs || 53781355 markings, 110046573 edges, 143763 markings/sec, 320 secs
lola: 163 tries, 162277176 fired transitions, 325 secs || 54519446 markings, 111827025 edges, 147618 markings/sec, 325 secs
lola: 165 tries, 164951454 fired transitions, 330 secs || 55213642 markings, 113617982 edges, 138839 markings/sec, 330 secs
lola: 168 tries, 167502642 fired transitions, 335 secs || 56120231 markings, 115537052 edges, 181318 markings/sec, 335 secs
lola: 171 tries, 170164459 fired transitions, 340 secs || 56850698 markings, 117191738 edges, 146093 markings/sec, 340 secs
lola: 173 tries, 172887615 fired transitions, 345 secs || 57572057 markings, 118964152 edges, 144272 markings/sec, 345 secs
lola: 176 tries, 175584439 fired transitions, 350 secs || 58291683 markings, 120775706 edges, 143925 markings/sec, 350 secs
lola: 179 tries, 178231620 fired transitions, 355 secs || 59026448 markings, 122536040 edges, 146953 markings/sec, 355 secs
lola: 181 tries, 180822313 fired transitions, 360 secs || 59840094 markings, 124363991 edges, 162729 markings/sec, 360 secs
lola: 184 tries, 183568291 fired transitions, 365 secs || 60514185 markings, 126255560 edges, 134818 markings/sec, 365 secs
lola: 187 tries, 186368949 fired transitions, 370 secs || 61212756 markings, 128321136 edges, 139714 markings/sec, 370 secs
lola: 190 tries, 189255339 fired transitions, 375 secs || 62090179 markings, 130115652 edges, 175485 markings/sec, 375 secs
lola: 192 tries, 191690904 fired transitions, 380 secs || 62918335 markings, 131758049 edges, 165631 markings/sec, 380 secs
lola: 195 tries, 194025402 fired transitions, 385 secs || 63685725 markings, 133319278 edges, 153478 markings/sec, 385 secs
lola: 197 tries, 196592394 fired transitions, 390 secs || 64480557 markings, 135029477 edges, 158966 markings/sec, 390 secs
lola: 200 tries, 199206612 fired transitions, 395 secs || 65283022 markings, 136856173 edges, 160493 markings/sec, 395 secs
lola: 202 tries, 201858240 fired transitions, 400 secs || 66053949 markings, 138623027 edges, 154185 markings/sec, 400 secs
lola: 205 tries, 204485047 fired transitions, 405 secs || 66829627 markings, 140416450 edges, 155136 markings/sec, 405 secs
lola: 208 tries, 207095390 fired transitions, 410 secs || 67665876 markings, 142221985 edges, 167250 markings/sec, 410 secs
lola: 210 tries, 209683692 fired transitions, 415 secs || 68520488 markings, 144064559 edges, 170922 markings/sec, 415 secs
lola: 213 tries, 212308263 fired transitions, 420 secs || 69279285 markings, 145761077 edges, 151759 markings/sec, 420 secs
lola: 215 tries, 214969141 fired transitions, 425 secs || 70053924 markings, 147557546 edges, 154928 markings/sec, 425 secs
lola: 218 tries, 217618551 fired transitions, 430 secs || 70848883 markings, 149298176 edges, 158992 markings/sec, 430 secs
lola: 221 tries, 220307499 fired transitions, 435 secs || 71585376 markings, 151044374 edges, 147299 markings/sec, 435 secs
lola: 223 tries, 222942956 fired transitions, 440 secs || 72334984 markings, 152701732 edges, 149922 markings/sec, 440 secs
lola: 225 tries, 224630727 fired transitions, 445 secs || 72874307 markings, 153964685 edges, 107865 markings/sec, 445 secs
lola: 227 tries, 226255069 fired transitions, 450 secs || 73391428 markings, 155172748 edges, 103424 markings/sec, 450 secs
lola: 228 tries, 227865324 fired transitions, 455 secs || 73894625 markings, 156393460 edges, 100639 markings/sec, 455 secs
lola: 230 tries, 229555714 fired transitions, 460 secs || 74407567 markings, 157579738 edges, 102588 markings/sec, 460 secs
lola: 233 tries, 232230725 fired transitions, 465 secs || 75194035 markings, 159389774 edges, 157294 markings/sec, 465 secs
lola: 235 tries, 234872395 fired transitions, 470 secs || 75931460 markings, 161143731 edges, 147485 markings/sec, 470 secs
lola: 238 tries, 237297409 fired transitions, 475 secs || 76652480 markings, 162810667 edges, 144204 markings/sec, 475 secs
lola: 240 tries, 239966484 fired transitions, 480 secs || 77345928 markings, 164443433 edges, 138690 markings/sec, 480 secs
lola: 243 tries, 242681189 fired transitions, 485 secs || 78030008 markings, 166137827 edges, 136816 markings/sec, 485 secs
lola: 246 tries, 245327356 fired transitions, 490 secs || 78763137 markings, 167839913 edges, 146626 markings/sec, 490 secs
lola: 248 tries, 247902744 fired transitions, 495 secs || 79482657 markings, 169477483 edges, 143904 markings/sec, 495 secs
lola: 251 tries, 250878913 fired transitions, 500 secs || 80181200 markings, 171169407 edges, 139709 markings/sec, 500 secs
lola: 254 tries, 253929611 fired transitions, 505 secs || 80912664 markings, 172916296 edges, 146293 markings/sec, 505 secs
lola: 257 tries, 256667160 fired transitions, 510 secs || 81563757 markings, 174604945 edges, 130219 markings/sec, 510 secs
lola: 260 tries, 259317194 fired transitions, 515 secs || 82271449 markings, 176339295 edges, 141538 markings/sec, 515 secs
lola: 262 tries, 261989644 fired transitions, 520 secs || 82952450 markings, 178152391 edges, 136200 markings/sec, 520 secs
lola: 265 tries, 264558188 fired transitions, 525 secs || 83744512 markings, 179922960 edges, 158412 markings/sec, 525 secs
lola: 268 tries, 267135195 fired transitions, 530 secs || 84471013 markings, 181622087 edges, 145300 markings/sec, 530 secs
lola: 270 tries, 269786533 fired transitions, 535 secs || 85168692 markings, 183345302 edges, 139536 markings/sec, 535 secs
lola: 273 tries, 272417063 fired transitions, 540 secs || 85958442 markings, 185145236 edges, 157950 markings/sec, 540 secs
lola: 275 tries, 274936504 fired transitions, 545 secs || 86891322 markings, 187034190 edges, 186576 markings/sec, 545 secs
lola: 278 tries, 277795926 fired transitions, 550 secs || 87502092 markings, 188858083 edges, 122154 markings/sec, 550 secs
lola: 281 tries, 280384690 fired transitions, 555 secs || 88168669 markings, 190882039 edges, 133315 markings/sec, 555 secs
lola: 283 tries, 282934904 fired transitions, 560 secs || 88938681 markings, 192506635 edges, 154002 markings/sec, 560 secs
lola: 286 tries, 285540569 fired transitions, 565 secs || 89686434 markings, 194225775 edges, 149551 markings/sec, 565 secs
lola: 289 tries, 288043874 fired transitions, 570 secs || 90555830 markings, 196011867 edges, 173879 markings/sec, 570 secs
lola: 291 tries, 290438030 fired transitions, 575 secs || 91517825 markings, 197891207 edges, 192399 markings/sec, 575 secs
lola: 294 tries, 293008500 fired transitions, 580 secs || 92368000 markings, 199614910 edges, 170035 markings/sec, 580 secs
lola: 296 tries, 295582568 fired transitions, 585 secs || 93156584 markings, 201279783 edges, 157717 markings/sec, 585 secs
lola: 299 tries, 298174193 fired transitions, 590 secs || 93909685 markings, 202940769 edges, 150620 markings/sec, 590 secs
lola: 301 tries, 300772625 fired transitions, 595 secs || 94683121 markings, 204610813 edges, 154687 markings/sec, 595 secs
lola: 304 tries, 303108759 fired transitions, 600 secs || 95460398 markings, 206506467 edges, 155455 markings/sec, 600 secs
lola: 306 tries, 305521619 fired transitions, 605 secs || 96442784 markings, 208270226 edges, 196477 markings/sec, 605 secs
lola: 308 tries, 307965773 fired transitions, 610 secs || 97467827 markings, 210041917 edges, 205009 markings/sec, 610 secs
lola: 311 tries, 310408285 fired transitions, 615 secs || 98375263 markings, 211832493 edges, 181487 markings/sec, 615 secs
lola: 313 tries, 312962711 fired transitions, 620 secs || 99268513 markings, 213653390 edges, 178650 markings/sec, 620 secs
lola: 316 tries, 315473243 fired transitions, 625 secs || 100114587 markings, 215430418 edges, 169215 markings/sec, 625 secs
lola: 318 tries, 317976944 fired transitions, 630 secs || 100866826 markings, 217127137 edges, 150448 markings/sec, 630 secs
lola: 321 tries, 320440525 fired transitions, 635 secs || 101789843 markings, 218884870 edges, 184603 markings/sec, 635 secs
lola: 323 tries, 322941270 fired transitions, 640 secs || 102687143 markings, 220586967 edges, 179460 markings/sec, 640 secs
lola: 326 tries, 325462449 fired transitions, 645 secs || 103546749 markings, 222317574 edges, 171921 markings/sec, 645 secs
lola: 328 tries, 327977530 fired transitions, 650 secs || 104453041 markings, 224131200 edges, 181258 markings/sec, 650 secs
lola: 331 tries, 330492921 fired transitions, 655 secs || 105334478 markings, 225955004 edges, 176287 markings/sec, 655 secs
lola: 334 tries, 333112362 fired transitions, 660 secs || 106107640 markings, 227656567 edges, 154632 markings/sec, 660 secs
lola: 336 tries, 335519262 fired transitions, 665 secs || 106983608 markings, 229446546 edges, 175194 markings/sec, 665 secs
lola: 339 tries, 338050764 fired transitions, 670 secs || 107860426 markings, 231268031 edges, 175364 markings/sec, 670 secs
lola: 341 tries, 340581045 fired transitions, 675 secs || 108691258 markings, 233012001 edges, 166166 markings/sec, 675 secs
lola: 344 tries, 343097066 fired transitions, 680 secs || 109565131 markings, 234812521 edges, 174775 markings/sec, 680 secs
lola: 346 tries, 345604100 fired transitions, 685 secs || 110480131 markings, 236663617 edges, 183000 markings/sec, 685 secs
lola: 349 tries, 348306454 fired transitions, 690 secs || 111277547 markings, 238414030 edges, 159483 markings/sec, 690 secs
lola: 351 tries, 350884967 fired transitions, 695 secs || 112088398 markings, 240197398 edges, 162170 markings/sec, 695 secs
lola: 354 tries, 353730390 fired transitions, 700 secs || 112852810 markings, 241913374 edges, 152882 markings/sec, 700 secs
lola: 357 tries, 356223083 fired transitions, 705 secs || 113620346 markings, 243637293 edges, 153507 markings/sec, 705 secs
lola: 359 tries, 358719524 fired transitions, 710 secs || 114456700 markings, 245406633 edges, 167271 markings/sec, 710 secs
lola: 362 tries, 361301668 fired transitions, 715 secs || 115212532 markings, 247153970 edges, 151166 markings/sec, 715 secs
lola: 364 tries, 363800079 fired transitions, 720 secs || 116050316 markings, 248990957 edges, 167557 markings/sec, 720 secs
lola: 367 tries, 366509777 fired transitions, 725 secs || 116797567 markings, 250969501 edges, 149450 markings/sec, 725 secs
lola: 370 tries, 369360955 fired transitions, 730 secs || 117653668 markings, 252718281 edges, 171220 markings/sec, 730 secs
lola: 372 tries, 371709058 fired transitions, 735 secs || 118480121 markings, 254305214 edges, 165291 markings/sec, 735 secs
lola: 375 tries, 374235606 fired transitions, 740 secs || 119321976 markings, 256022019 edges, 168371 markings/sec, 740 secs
lola: 377 tries, 376801957 fired transitions, 745 secs || 120233898 markings, 257861772 edges, 182384 markings/sec, 745 secs
lola: 380 tries, 379701344 fired transitions, 750 secs || 121116720 markings, 259649993 edges, 176564 markings/sec, 750 secs
lola: 383 tries, 382158775 fired transitions, 755 secs || 121980693 markings, 261460463 edges, 172795 markings/sec, 755 secs
lola: 385 tries, 384773250 fired transitions, 760 secs || 122771898 markings, 263198407 edges, 158241 markings/sec, 760 secs
lola: 388 tries, 387597249 fired transitions, 765 secs || 123584368 markings, 264944747 edges, 162494 markings/sec, 765 secs
lola: 391 tries, 390183285 fired transitions, 770 secs || 124410358 markings, 266714980 edges, 165198 markings/sec, 770 secs
lola: 393 tries, 392541557 fired transitions, 775 secs || 125147679 markings, 268325437 edges, 147464 markings/sec, 775 secs
lola: 395 tries, 394441540 fired transitions, 780 secs || 125697453 markings, 269502205 edges, 109955 markings/sec, 780 secs
lola: 397 tries, 396052630 fired transitions, 785 secs || 126237994 markings, 270685603 edges, 108108 markings/sec, 785 secs
lola: 398 tries, 397664099 fired transitions, 790 secs || 126772582 markings, 271873042 edges, 106918 markings/sec, 790 secs
lola: 401 tries, 400022599 fired transitions, 795 secs || 127543963 markings, 273601287 edges, 154276 markings/sec, 795 secs
lola: 403 tries, 402647887 fired transitions, 800 secs || 128343484 markings, 275401300 edges, 159904 markings/sec, 800 secs
lola: 406 tries, 405215530 fired transitions, 805 secs || 129127791 markings, 277218321 edges, 156861 markings/sec, 805 secs
lola: 408 tries, 407733230 fired transitions, 810 secs || 129890232 markings, 279021525 edges, 152488 markings/sec, 810 secs
lola: 411 tries, 410398090 fired transitions, 815 secs || 130652673 markings, 281036736 edges, 152488 markings/sec, 815 secs
lola: 414 tries, 413096559 fired transitions, 820 secs || 131676593 markings, 282955327 edges, 204784 markings/sec, 820 secs
lola: 416 tries, 415588879 fired transitions, 825 secs || 132556169 markings, 284768131 edges, 175915 markings/sec, 825 secs
lola: 419 tries, 418221480 fired transitions, 830 secs || 133430169 markings, 286632499 edges, 174800 markings/sec, 830 secs
lola: 422 tries, 421033383 fired transitions, 835 secs || 134352505 markings, 288546741 edges, 184467 markings/sec, 835 secs
lola: 424 tries, 423550119 fired transitions, 840 secs || 135209089 markings, 290371716 edges, 171317 markings/sec, 840 secs
lola: 427 tries, 426146971 fired transitions, 845 secs || 135959442 markings, 292152013 edges, 150071 markings/sec, 845 secs
lola: 429 tries, 428740745 fired transitions, 850 secs || 136734420 markings, 293975667 edges, 154996 markings/sec, 850 secs
lola: 432 tries, 431662079 fired transitions, 855 secs || 137604303 markings, 295894921 edges, 173977 markings/sec, 855 secs
lola: 434 tries, 433414284 fired transitions, 860 secs || 138146251 markings, 297185011 edges, 108390 markings/sec, 860 secs
lola: 436 tries, 435176258 fired transitions, 865 secs || 138616233 markings, 298394042 edges, 93996 markings/sec, 865 secs
lola: 438 tries, 437102026 fired transitions, 870 secs || 139228307 markings, 299955999 edges, 122415 markings/sec, 870 secs
lola: 441 tries, 440007604 fired transitions, 875 secs || 139938981 markings, 301676096 edges, 142135 markings/sec, 875 secs
lola: 443 tries, 442943061 fired transitions, 880 secs || 140715485 markings, 303545626 edges, 155301 markings/sec, 880 secs
lola: 446 tries, 445922339 fired transitions, 885 secs || 141563797 markings, 305575775 edges, 169662 markings/sec, 885 secs
lola: 449 tries, 448265950 fired transitions, 890 secs || 142474144 markings, 307420789 edges, 182069 markings/sec, 890 secs
lola: 451 tries, 450567846 fired transitions, 895 secs || 143329488 markings, 309232957 edges, 171069 markings/sec, 895 secs
lola: 454 tries, 453129762 fired transitions, 900 secs || 144163477 markings, 311058044 edges, 166798 markings/sec, 900 secs
lola: 457 tries, 456037848 fired transitions, 905 secs || 144979050 markings, 312864288 edges, 163115 markings/sec, 905 secs
lola: 459 tries, 458633070 fired transitions, 910 secs || 145653712 markings, 314485537 edges, 134932 markings/sec, 910 secs
lola: 462 tries, 461191826 fired transitions, 915 secs || 146654416 markings, 316505141 edges, 200141 markings/sec, 915 secs
lola: 465 tries, 464024139 fired transitions, 920 secs || 147856984 markings, 318612290 edges, 240514 markings/sec, 920 secs
lola: 467 tries, 466547427 fired transitions, 925 secs || 148644897 markings, 320240917 edges, 157583 markings/sec, 925 secs
lola: 470 tries, 469480902 fired transitions, 930 secs || 149452390 markings, 322035708 edges, 161499 markings/sec, 930 secs
lola: 473 tries, 472065350 fired transitions, 935 secs || 150202430 markings, 323754488 edges, 150008 markings/sec, 935 secs
lola: 476 tries, 475376911 fired transitions, 940 secs || 150988576 markings, 325593508 edges, 157229 markings/sec, 940 secs
lola: 479 tries, 478100149 fired transitions, 945 secs || 151658078 markings, 327337367 edges, 133900 markings/sec, 945 secs
lola: 481 tries, 480618621 fired transitions, 950 secs || 152382390 markings, 329145849 edges, 144862 markings/sec, 950 secs
lola: 484 tries, 483118052 fired transitions, 955 secs || 153130557 markings, 330864288 edges, 149633 markings/sec, 955 secs
lola: 486 tries, 485718539 fired transitions, 960 secs || 153844366 markings, 332505081 edges, 142762 markings/sec, 960 secs
lola: 489 tries, 488256195 fired transitions, 965 secs || 154625948 markings, 334173791 edges, 156316 markings/sec, 965 secs
lola: 491 tries, 490931837 fired transitions, 970 secs || 155365730 markings, 335940616 edges, 147956 markings/sec, 970 secs
lola: 494 tries, 493220859 fired transitions, 975 secs || 156606661 markings, 338116561 edges, 248186 markings/sec, 975 secs
lola: 496 tries, 495630337 fired transitions, 980 secs || 157864945 markings, 340199864 edges, 251657 markings/sec, 980 secs
lola: 499 tries, 498056967 fired transitions, 985 secs || 159109344 markings, 342275912 edges, 248880 markings/sec, 985 secs
lola: 501 tries, 500902790 fired transitions, 990 secs || 159989713 markings, 343927260 edges, 176074 markings/sec, 990 secs
lola: 504 tries, 503392525 fired transitions, 995 secs || 160989111 markings, 345789749 edges, 199880 markings/sec, 995 secs
lola: 506 tries, 505838551 fired transitions, 1000 secs || 162309356 markings, 347895582 edges, 264049 markings/sec, 1000 secs
lola: 509 tries, 508278521 fired transitions, 1005 secs || 163570143 markings, 349985559 edges, 252157 markings/sec, 1005 secs
lola: 511 tries, 510592488 fired transitions, 1010 secs || 164831520 markings, 352053043 edges, 252275 markings/sec, 1010 secs
lola: 513 tries, 512570945 fired transitions, 1015 secs || 166034151 markings, 354028707 edges, 240526 markings/sec, 1015 secs
lola: 516 tries, 515190112 fired transitions, 1020 secs || 167045963 markings, 355858174 edges, 202362 markings/sec, 1020 secs
lola: 518 tries, 517825976 fired transitions, 1025 secs || 167840827 markings, 357409981 edges, 158973 markings/sec, 1025 secs
lola: 521 tries, 520432719 fired transitions, 1030 secs || 168662461 markings, 359008489 edges, 164327 markings/sec, 1030 secs
lola: 524 tries, 523016070 fired transitions, 1035 secs || 169490198 markings, 360571248 edges, 165547 markings/sec, 1035 secs
lola: 526 tries, 525615957 fired transitions, 1040 secs || 170297991 markings, 362135452 edges, 161559 markings/sec, 1040 secs
lola: 529 tries, 528250060 fired transitions, 1045 secs || 171063477 markings, 363688902 edges, 153097 markings/sec, 1045 secs
lola: 531 tries, 530944295 fired transitions, 1050 secs || 171793356 markings, 365348404 edges, 145976 markings/sec, 1050 secs
lola: 534 tries, 533758150 fired transitions, 1055 secs || 172555240 markings, 366955879 edges, 152377 markings/sec, 1055 secs
lola: 537 tries, 536314452 fired transitions, 1060 secs || 173777078 markings, 369028905 edges, 244368 markings/sec, 1060 secs
lola: 539 tries, 538585843 fired transitions, 1065 secs || 174822050 markings, 371039288 edges, 208994 markings/sec, 1065 secs
lola: 542 tries, 541015952 fired transitions, 1070 secs || 175866261 markings, 372933199 edges, 208842 markings/sec, 1070 secs
lola: 544 tries, 543446994 fired transitions, 1075 secs || 177052317 markings, 374860609 edges, 237211 markings/sec, 1075 secs
lola: 546 tries, 545980731 fired transitions, 1080 secs || 178357206 markings, 376916158 edges, 260978 markings/sec, 1080 secs
lola: 550 tries, 549030923 fired transitions, 1085 secs || 179691794 markings, 379055524 edges, 266918 markings/sec, 1085 secs
lola: 552 tries, 551601206 fired transitions, 1090 secs || 180973510 markings, 381108981 edges, 256343 markings/sec, 1090 secs
lola: 554 tries, 553905097 fired transitions, 1095 secs || 182036996 markings, 382971905 edges, 212697 markings/sec, 1095 secs
lola: 557 tries, 556512814 fired transitions, 1100 secs || 183339128 markings, 385108124 edges, 260426 markings/sec, 1100 secs
lola: 559 tries, 558858519 fired transitions, 1105 secs || 184603130 markings, 387196741 edges, 252800 markings/sec, 1105 secs
lola: 562 tries, 561289851 fired transitions, 1110 secs || 185761361 markings, 389151576 edges, 231646 markings/sec, 1110 secs
lola: 564 tries, 563679483 fired transitions, 1115 secs || 186992449 markings, 391159333 edges, 246218 markings/sec, 1115 secs
lola: 567 tries, 566003138 fired transitions, 1120 secs || 188200540 markings, 393197909 edges, 241618 markings/sec, 1120 secs
lola: 568 tries, 567907901 fired transitions, 1125 secs || 189347775 markings, 395185068 edges, 229447 markings/sec, 1125 secs
lola: 571 tries, 570084287 fired transitions, 1130 secs || 190319774 markings, 396883902 edges, 194400 markings/sec, 1130 secs
lola: 573 tries, 572298472 fired transitions, 1135 secs || 191413276 markings, 398798387 edges, 218700 markings/sec, 1135 secs
lola: 575 tries, 574917071 fired transitions, 1140 secs || 192744573 markings, 401098043 edges, 266259 markings/sec, 1140 secs
lola: 578 tries, 577473890 fired transitions, 1145 secs || 193942648 markings, 403376878 edges, 239615 markings/sec, 1145 secs
lola: 581 tries, 580064909 fired transitions, 1150 secs || 194704704 markings, 405000335 edges, 152411 markings/sec, 1150 secs
lola: 583 tries, 582695913 fired transitions, 1155 secs || 195349608 markings, 406402627 edges, 128981 markings/sec, 1155 secs
lola: 586 tries, 585370955 fired transitions, 1160 secs || 196011448 markings, 407864094 edges, 132368 markings/sec, 1160 secs
lola: 588 tries, 587868273 fired transitions, 1165 secs || 196706751 markings, 409433674 edges, 139061 markings/sec, 1165 secs
lola: 591 tries, 590594413 fired transitions, 1170 secs || 197343309 markings, 410932617 edges, 127312 markings/sec, 1170 secs
lola: 594 tries, 593312687 fired transitions, 1175 secs || 198020710 markings, 412516110 edges, 135480 markings/sec, 1175 secs
lola: 597 tries, 596012495 fired transitions, 1180 secs || 198663176 markings, 414113431 edges, 128493 markings/sec, 1180 secs
lola: 599 tries, 598862460 fired transitions, 1185 secs || 199255286 markings, 415734848 edges, 118422 markings/sec, 1185 secs
lola: 602 tries, 601568115 fired transitions, 1190 secs || 199926063 markings, 417344264 edges, 134155 markings/sec, 1190 secs
lola: 605 tries, 604246480 fired transitions, 1195 secs || 200608513 markings, 419025656 edges, 136490 markings/sec, 1195 secs
lola: 607 tries, 606601539 fired transitions, 1200 secs || 201372473 markings, 420793527 edges, 152792 markings/sec, 1200 secs
lola: 610 tries, 609499460 fired transitions, 1205 secs || 202286152 markings, 422668006 edges, 182736 markings/sec, 1205 secs
lola: 613 tries, 612108629 fired transitions, 1210 secs || 203047973 markings, 424439443 edges, 152364 markings/sec, 1210 secs
lola: 615 tries, 614767377 fired transitions, 1215 secs || 203714540 markings, 426148274 edges, 133313 markings/sec, 1215 secs
lola: 618 tries, 617732922 fired transitions, 1220 secs || 204698797 markings, 428211077 edges, 196851 markings/sec, 1220 secs
lola: 621 tries, 620359800 fired transitions, 1225 secs || 205389861 markings, 429892414 edges, 138213 markings/sec, 1225 secs
lola: 624 tries, 623020549 fired transitions, 1230 secs || 206039064 markings, 431544325 edges, 129841 markings/sec, 1230 secs
lola: 626 tries, 625695288 fired transitions, 1235 secs || 207231735 markings, 433606538 edges, 238534 markings/sec, 1235 secs
lola: 629 tries, 628373337 fired transitions, 1240 secs || 208366132 markings, 435529188 edges, 226879 markings/sec, 1240 secs
lola: 631 tries, 630951312 fired transitions, 1245 secs || 209475288 markings, 437387028 edges, 221831 markings/sec, 1245 secs
lola: 633 tries, 632983089 fired transitions, 1250 secs || 210432058 markings, 439125798 edges, 191354 markings/sec, 1250 secs
lola: 636 tries, 635625384 fired transitions, 1255 secs || 211158067 markings, 440639551 edges, 145202 markings/sec, 1255 secs
lola: 639 tries, 638314751 fired transitions, 1260 secs || 211852977 markings, 442225537 edges, 138982 markings/sec, 1260 secs
lola: 642 tries, 641027440 fired transitions, 1265 secs || 212543793 markings, 443828394 edges, 138163 markings/sec, 1265 secs
lola: 644 tries, 643730305 fired transitions, 1270 secs || 213206566 markings, 445406980 edges, 132555 markings/sec, 1270 secs
lola: 647 tries, 646791365 fired transitions, 1275 secs || 213859474 markings, 447036093 edges, 130582 markings/sec, 1275 secs
lola: 650 tries, 649492883 fired transitions, 1280 secs || 214542951 markings, 448661241 edges, 136695 markings/sec, 1280 secs
lola: 653 tries, 652156430 fired transitions, 1285 secs || 215189391 markings, 450210302 edges, 129288 markings/sec, 1285 secs
lola: 655 tries, 654455964 fired transitions, 1290 secs || 216145488 markings, 452028448 edges, 191219 markings/sec, 1290 secs
lola: 657 tries, 656608552 fired transitions, 1295 secs || 217195291 markings, 453884584 edges, 209961 markings/sec, 1295 secs
lola: 660 tries, 659302021 fired transitions, 1300 secs || 218304596 markings, 455846230 edges, 221861 markings/sec, 1300 secs
lola: 662 tries, 661671196 fired transitions, 1305 secs || 219464188 markings, 457808576 edges, 231918 markings/sec, 1305 secs
lola: 665 tries, 664269909 fired transitions, 1310 secs || 220529750 markings, 459774175 edges, 213112 markings/sec, 1310 secs
lola: 668 tries, 667051768 fired transitions, 1315 secs || 221700769 markings, 461804867 edges, 234204 markings/sec, 1315 secs
lola: 670 tries, 669660780 fired transitions, 1320 secs || 222723377 markings, 463688347 edges, 204522 markings/sec, 1320 secs
lola: 673 tries, 672280563 fired transitions, 1325 secs || 223804695 markings, 465631737 edges, 216264 markings/sec, 1325 secs
lola: 675 tries, 674985984 fired transitions, 1330 secs || 224905520 markings, 467594472 edges, 220165 markings/sec, 1330 secs
lola: 678 tries, 677312266 fired transitions, 1335 secs || 225896033 markings, 469443636 edges, 198103 markings/sec, 1335 secs
lola: 680 tries, 679243126 fired transitions, 1340 secs || 226948526 markings, 471327236 edges, 210499 markings/sec, 1340 secs
lola: 682 tries, 681804725 fired transitions, 1345 secs || 228071300 markings, 473325847 edges, 224555 markings/sec, 1345 secs
lola: 685 tries, 684253038 fired transitions, 1350 secs || 229245812 markings, 475359377 edges, 234902 markings/sec, 1350 secs
lola: 687 tries, 686963391 fired transitions, 1355 secs || 230368411 markings, 477368504 edges, 224520 markings/sec, 1355 secs
lola: 690 tries, 689896765 fired transitions, 1360 secs || 231390453 markings, 479227641 edges, 204408 markings/sec, 1360 secs
lola: 693 tries, 692432427 fired transitions, 1365 secs || 232244399 markings, 480992493 edges, 170789 markings/sec, 1365 secs
lola: 695 tries, 694972210 fired transitions, 1370 secs || 233171647 markings, 482957796 edges, 185450 markings/sec, 1370 secs
lola: 698 tries, 697499809 fired transitions, 1375 secs || 234066445 markings, 484770545 edges, 178960 markings/sec, 1375 secs
lola: 701 tries, 700081801 fired transitions, 1380 secs || 234898257 markings, 486449172 edges, 166362 markings/sec, 1380 secs
lola: 703 tries, 702653650 fired transitions, 1385 secs || 235755309 markings, 488204374 edges, 171410 markings/sec, 1385 secs
lola: 706 tries, 705235439 fired transitions, 1390 secs || 236587619 markings, 490016592 edges, 166462 markings/sec, 1390 secs
lola: 708 tries, 707819655 fired transitions, 1395 secs || 237384522 markings, 491671872 edges, 159381 markings/sec, 1395 secs
lola: 711 tries, 710358418 fired transitions, 1400 secs || 238184651 markings, 493318225 edges, 160026 markings/sec, 1400 secs
lola: 714 tries, 713443893 fired transitions, 1405 secs || 239027524 markings, 495033049 edges, 168575 markings/sec, 1405 secs
lola: 717 tries, 716135876 fired transitions, 1410 secs || 240126307 markings, 497033563 edges, 219757 markings/sec, 1410 secs
lola: 719 tries, 718826988 fired transitions, 1415 secs || 241040528 markings, 498835189 edges, 182844 markings/sec, 1415 secs
lola: 722 tries, 721079598 fired transitions, 1420 secs || 242051509 markings, 500727523 edges, 202196 markings/sec, 1420 secs
lola: 724 tries, 723200124 fired transitions, 1425 secs || 243071936 markings, 502549393 edges, 204085 markings/sec, 1425 secs
lola: 726 tries, 725390460 fired transitions, 1430 secs || 244161754 markings, 504449967 edges, 217964 markings/sec, 1430 secs
lola: 729 tries, 728095397 fired transitions, 1435 secs || 245188558 markings, 506375743 edges, 205361 markings/sec, 1435 secs
lola: 731 tries, 730963278 fired transitions, 1440 secs || 246183892 markings, 508280836 edges, 199067 markings/sec, 1440 secs
lola: 734 tries, 733110271 fired transitions, 1445 secs || 247228105 markings, 510123852 edges, 208843 markings/sec, 1445 secs
lola: 736 tries, 735681913 fired transitions, 1450 secs || 248296265 markings, 512080796 edges, 213632 markings/sec, 1450 secs
lola: 739 tries, 738251598 fired transitions, 1455 secs || 249333718 markings, 513966332 edges, 207491 markings/sec, 1455 secs
lola: 741 tries, 740346378 fired transitions, 1460 secs || 250425110 markings, 515919553 edges, 218278 markings/sec, 1460 secs
lola: 744 tries, 743021863 fired transitions, 1465 secs || 251288449 markings, 517626501 edges, 172668 markings/sec, 1465 secs
lola: 746 tries, 745415668 fired transitions, 1470 secs || 252424125 markings, 519625864 edges, 227135 markings/sec, 1470 secs
lola: 748 tries, 747941837 fired transitions, 1475 secs || 253515813 markings, 521598297 edges, 218338 markings/sec, 1475 secs
lola: 750 tries, 749494118 fired transitions, 1480 secs || 254625317 markings, 523675628 edges, 221901 markings/sec, 1480 secs
lola: 753 tries, 752036170 fired transitions, 1485 secs || 255643523 markings, 525684609 edges, 203641 markings/sec, 1485 secs
lola: 755 tries, 754137380 fired transitions, 1490 secs || 256681465 markings, 527541807 edges, 207588 markings/sec, 1490 secs
lola: 757 tries, 756400570 fired transitions, 1495 secs || 257621915 markings, 529378276 edges, 188090 markings/sec, 1495 secs
lola: 759 tries, 758754188 fired transitions, 1500 secs || 258806921 markings, 531405863 edges, 237001 markings/sec, 1500 secs
lola: 762 tries, 761579316 fired transitions, 1505 secs || 259857527 markings, 533342943 edges, 210121 markings/sec, 1505 secs
lola: 765 tries, 764042539 fired transitions, 1510 secs || 260801688 markings, 535184866 edges, 188832 markings/sec, 1510 secs
lola: 766 tries, 765969402 fired transitions, 1515 secs || 262012102 markings, 537213370 edges, 242083 markings/sec, 1515 secs
lola: 768 tries, 767921012 fired transitions, 1520 secs || 263152748 markings, 539172573 edges, 228129 markings/sec, 1520 secs
lola: 771 tries, 770773531 fired transitions, 1525 secs || 264253965 markings, 541166402 edges, 220243 markings/sec, 1525 secs
lola: 774 tries, 773419767 fired transitions, 1530 secs || 265287445 markings, 543042107 edges, 206696 markings/sec, 1530 secs
lola: 776 tries, 775967585 fired transitions, 1535 secs || 266322440 markings, 544952429 edges, 206999 markings/sec, 1535 secs
lola: 779 tries, 778287623 fired transitions, 1540 secs || 267424420 markings, 546977327 edges, 220396 markings/sec, 1540 secs
lola: 781 tries, 780708906 fired transitions, 1545 secs || 268308749 markings, 548658221 edges, 176866 markings/sec, 1545 secs
lola: 784 tries, 783358361 fired transitions, 1550 secs || 269102335 markings, 550301305 edges, 158717 markings/sec, 1550 secs
lola: 787 tries, 786005962 fired transitions, 1555 secs || 269841743 markings, 551940857 edges, 147882 markings/sec, 1555 secs
lola: 789 tries, 788690122 fired transitions, 1560 secs || 270555566 markings, 553609900 edges, 142765 markings/sec, 1560 secs
lola: 792 tries, 791665548 fired transitions, 1565 secs || 271551547 markings, 555533134 edges, 199196 markings/sec, 1565 secs
lola: 795 tries, 794252169 fired transitions, 1570 secs || 272368267 markings, 557263005 edges, 163344 markings/sec, 1570 secs
lola: 797 tries, 796875978 fired transitions, 1575 secs || 273144435 markings, 559084776 edges, 155234 markings/sec, 1575 secs
lola: 800 tries, 799326488 fired transitions, 1580 secs || 274164754 markings, 561028338 edges, 204064 markings/sec, 1580 secs
lola: 802 tries, 801562279 fired transitions, 1585 secs || 275370569 markings, 563006889 edges, 241163 markings/sec, 1585 secs
lola: 804 tries, 803979307 fired transitions, 1590 secs || 276536090 markings, 564965529 edges, 233104 markings/sec, 1590 secs
lola: 807 tries, 806442925 fired transitions, 1595 secs || 277606954 markings, 566864652 edges, 214173 markings/sec, 1595 secs
lola: 809 tries, 808958093 fired transitions, 1600 secs || 278712183 markings, 568768153 edges, 221046 markings/sec, 1600 secs
lola: 812 tries, 811371762 fired transitions, 1605 secs || 279815253 markings, 570680810 edges, 220614 markings/sec, 1605 secs
lola: 814 tries, 813633221 fired transitions, 1610 secs || 280886908 markings, 572571800 edges, 214331 markings/sec, 1610 secs
lola: 817 tries, 816074009 fired transitions, 1615 secs || 281987255 markings, 574489037 edges, 220069 markings/sec, 1615 secs
lola: 819 tries, 818243814 fired transitions, 1620 secs || 283079523 markings, 576397094 edges, 218454 markings/sec, 1620 secs
lola: 822 tries, 821140504 fired transitions, 1625 secs || 284076009 markings, 578300769 edges, 199297 markings/sec, 1625 secs
lola: 824 tries, 823531343 fired transitions, 1630 secs || 285214722 markings, 580327809 edges, 227743 markings/sec, 1630 secs
lola: 827 tries, 826109919 fired transitions, 1635 secs || 286300061 markings, 582248396 edges, 217068 markings/sec, 1635 secs
lola: 829 tries, 828398994 fired transitions, 1640 secs || 287312530 markings, 584096311 edges, 202494 markings/sec, 1640 secs
lola: 831 tries, 830917645 fired transitions, 1645 secs || 288404487 markings, 586072281 edges, 218391 markings/sec, 1645 secs
lola: 834 tries, 833604220 fired transitions, 1650 secs || 289394440 markings, 587990868 edges, 197991 markings/sec, 1650 secs
lola: 837 tries, 836544590 fired transitions, 1655 secs || 290300608 markings, 589813787 edges, 181234 markings/sec, 1655 secs
lola: 840 tries, 839211028 fired transitions, 1660 secs || 291035318 markings, 591419747 edges, 146942 markings/sec, 1660 secs
lola: 842 tries, 841525188 fired transitions, 1665 secs || 292016273 markings, 593310719 edges, 196191 markings/sec, 1665 secs
lola: 845 tries, 844130410 fired transitions, 1670 secs || 293221428 markings, 595442842 edges, 241031 markings/sec, 1670 secs
lola: 847 tries, 846203667 fired transitions, 1675 secs || 294385209 markings, 597466598 edges, 232756 markings/sec, 1675 secs
lola: 849 tries, 848319914 fired transitions, 1680 secs || 295448992 markings, 599379490 edges, 212757 markings/sec, 1680 secs
lola: 851 tries, 850946935 fired transitions, 1685 secs || 296398688 markings, 601222669 edges, 189939 markings/sec, 1685 secs
lola: 854 tries, 853383540 fired transitions, 1690 secs || 297581272 markings, 603394834 edges, 236517 markings/sec, 1690 secs
lola: 856 tries, 855709148 fired transitions, 1695 secs || 299016610 markings, 605727168 edges, 287068 markings/sec, 1695 secs
lola: 859 tries, 858080187 fired transitions, 1700 secs || 300386107 markings, 608043538 edges, 273899 markings/sec, 1700 secs
lola: 861 tries, 860248788 fired transitions, 1705 secs || 301810864 markings, 610316242 edges, 284951 markings/sec, 1705 secs
lola: 863 tries, 862455806 fired transitions, 1710 secs || 303194385 markings, 612613249 edges, 276704 markings/sec, 1710 secs
lola: 866 tries, 865058531 fired transitions, 1715 secs || 304579446 markings, 614844330 edges, 277012 markings/sec, 1715 secs
lola: 868 tries, 867408472 fired transitions, 1720 secs || 305902186 markings, 617084262 edges, 264548 markings/sec, 1720 secs
lola: 871 tries, 870127424 fired transitions, 1725 secs || 307217503 markings, 619259439 edges, 263063 markings/sec, 1725 secs
lola: 873 tries, 872247794 fired transitions, 1730 secs || 308556544 markings, 621571117 edges, 267808 markings/sec, 1730 secs
lola: 875 tries, 874482759 fired transitions, 1735 secs || 309801931 markings, 623750996 edges, 249077 markings/sec, 1735 secs
lola: 877 tries, 876622541 fired transitions, 1740 secs || 311097521 markings, 626088797 edges, 259118 markings/sec, 1740 secs
lola: 880 tries, 879204125 fired transitions, 1745 secs || 312480763 markings, 628289694 edges, 276648 markings/sec, 1745 secs
lola: 882 tries, 881353237 fired transitions, 1750 secs || 313855980 markings, 630527291 edges, 275043 markings/sec, 1750 secs
lola: 884 tries, 883205792 fired transitions, 1755 secs || 315159550 markings, 632720113 edges, 260714 markings/sec, 1755 secs
lola: 885 tries, 884835776 fired transitions, 1760 secs || 316076133 markings, 634262699 edges, 183317 markings/sec, 1760 secs
lola: 887 tries, 886046969 fired transitions, 1765 secs || 316970015 markings, 635868758 edges, 178776 markings/sec, 1765 secs
lola: 888 tries, 887733658 fired transitions, 1770 secs || 317834194 markings, 637215276 edges, 172836 markings/sec, 1770 secs
lola: 890 tries, 889242474 fired transitions, 1775 secs || 318682941 markings, 638576942 edges, 169749 markings/sec, 1775 secs
lola: 892 tries, 891085851 fired transitions, 1780 secs || 319539967 markings, 639950956 edges, 171405 markings/sec, 1780 secs
lola: 893 tries, 892574898 fired transitions, 1785 secs || 320372501 markings, 641350925 edges, 166507 markings/sec, 1785 secs
lola: 894 tries, 893743736 fired transitions, 1790 secs || 321193166 markings, 642707928 edges, 164133 markings/sec, 1790 secs
lola: 896 tries, 895313050 fired transitions, 1795 secs || 322022284 markings, 644108153 edges, 165824 markings/sec, 1795 secs
lola: 897 tries, 896410766 fired transitions, 1800 secs || 322870042 markings, 645473689 edges, 169552 markings/sec, 1800 secs
lola: 898 tries, 897602783 fired transitions, 1805 secs || 323777130 markings, 646964450 edges, 181418 markings/sec, 1805 secs
lola: 900 tries, 899440184 fired transitions, 1810 secs || 324657087 markings, 648460440 edges, 175991 markings/sec, 1810 secs
lola: 902 tries, 901907404 fired transitions, 1815 secs || 325752164 markings, 650388108 edges, 219015 markings/sec, 1815 secs
lola: 904 tries, 903207546 fired transitions, 1820 secs || 326677453 markings, 651909696 edges, 185058 markings/sec, 1820 secs
lola: 905 tries, 904785160 fired transitions, 1825 secs || 327581413 markings, 653502021 edges, 180792 markings/sec, 1825 secs
lola: 907 tries, 906671665 fired transitions, 1830 secs || 328435973 markings, 654971213 edges, 170912 markings/sec, 1830 secs
lola: 908 tries, 907949217 fired transitions, 1835 secs || 329296838 markings, 656506255 edges, 172173 markings/sec, 1835 secs
lola: 910 tries, 909726671 fired transitions, 1840 secs || 330185554 markings, 658069272 edges, 177743 markings/sec, 1840 secs
lola: 912 tries, 911341991 fired transitions, 1845 secs || 331073030 markings, 659669352 edges, 177495 markings/sec, 1845 secs
lola: 914 tries, 913143728 fired transitions, 1850 secs || 332104100 markings, 661481783 edges, 206214 markings/sec, 1850 secs
lola: 917 tries, 916032999 fired transitions, 1855 secs || 333307356 markings, 663539685 edges, 240651 markings/sec, 1855 secs
lola: 919 tries, 918167877 fired transitions, 1860 secs || 334590411 markings, 665825380 edges, 256611 markings/sec, 1860 secs
lola: 921 tries, 920279256 fired transitions, 1865 secs || 335857839 markings, 667975857 edges, 253486 markings/sec, 1865 secs
lola: 923 tries, 922427111 fired transitions, 1870 secs || 337071799 markings, 670206120 edges, 242792 markings/sec, 1870 secs
lola: 925 tries, 924810952 fired transitions, 1875 secs || 338225829 markings, 672279169 edges, 230806 markings/sec, 1875 secs
lola: 928 tries, 927435887 fired transitions, 1880 secs || 339311542 markings, 674187757 edges, 217143 markings/sec, 1880 secs
lola: 931 tries, 930007065 fired transitions, 1885 secs || 340422712 markings, 676049782 edges, 222234 markings/sec, 1885 secs
lola: 933 tries, 932925596 fired transitions, 1890 secs || 341580498 markings, 678162433 edges, 231557 markings/sec, 1890 secs
lola: 936 tries, 935549919 fired transitions, 1895 secs || 342838153 markings, 680337273 edges, 251531 markings/sec, 1895 secs
lola: 938 tries, 937505949 fired transitions, 1900 secs || 344002037 markings, 682439795 edges, 232777 markings/sec, 1900 secs
lola: 941 tries, 940914541 fired transitions, 1905 secs || 345207380 markings, 684588712 edges, 241069 markings/sec, 1905 secs
lola: 944 tries, 943595122 fired transitions, 1910 secs || 346437039 markings, 686842505 edges, 245932 markings/sec, 1910 secs
lola: 947 tries, 946494204 fired transitions, 1915 secs || 347666106 markings, 689151875 edges, 245813 markings/sec, 1915 secs
lola: 950 tries, 949730807 fired transitions, 1920 secs || 348858610 markings, 691283461 edges, 238501 markings/sec, 1920 secs
lola: 953 tries, 952072547 fired transitions, 1925 secs || 349868382 markings, 693092932 edges, 201954 markings/sec, 1925 secs
lola: 954 tries, 953770586 fired transitions, 1930 secs || 350584432 markings, 694463841 edges, 143210 markings/sec, 1930 secs
lola: 956 tries, 955653524 fired transitions, 1935 secs || 351249637 markings, 695665133 edges, 133041 markings/sec, 1935 secs
lola: 959 tries, 958092749 fired transitions, 1940 secs || 351974861 markings, 696934122 edges, 145045 markings/sec, 1940 secs
lola: 962 tries, 961136450 fired transitions, 1945 secs || 353115090 markings, 698913482 edges, 228046 markings/sec, 1945 secs
lola: 965 tries, 964152691 fired transitions, 1950 secs || 354270238 markings, 700954779 edges, 231030 markings/sec, 1950 secs
lola: 967 tries, 966672742 fired transitions, 1955 secs || 355483687 markings, 703131462 edges, 242690 markings/sec, 1955 secs
lola: 969 tries, 968683042 fired transitions, 1960 secs || 356611375 markings, 705349085 edges, 225538 markings/sec, 1960 secs
lola: 972 tries, 971108986 fired transitions, 1965 secs || 357778839 markings, 707531883 edges, 233493 markings/sec, 1965 secs
lola: 974 tries, 973344468 fired transitions, 1970 secs || 358879917 markings, 709607638 edges, 220216 markings/sec, 1970 secs
lola: 976 tries, 975713240 fired transitions, 1975 secs || 360009109 markings, 711748025 edges, 225838 markings/sec, 1975 secs
lola: 978 tries, 977883389 fired transitions, 1980 secs || 361074594 markings, 713991460 edges, 213097 markings/sec, 1980 secs
lola: 981 tries, 980293812 fired transitions, 1985 secs || 362140088 markings, 716273455 edges, 213099 markings/sec, 1985 secs
lola: 983 tries, 982774033 fired transitions, 1990 secs || 363329629 markings, 718515814 edges, 237908 markings/sec, 1990 secs
lola: 985 tries, 984871829 fired transitions, 1995 secs || 364502595 markings, 720624401 edges, 234593 markings/sec, 1995 secs
lola: 988 tries, 987282983 fired transitions, 2000 secs || 365639362 markings, 722656373 edges, 227353 markings/sec, 2000 secs
lola: 990 tries, 989829694 fired transitions, 2005 secs || 366730196 markings, 724636832 edges, 218167 markings/sec, 2005 secs
lola: 993 tries, 992104279 fired transitions, 2010 secs || 367758119 markings, 726658307 edges, 205585 markings/sec, 2010 secs
lola: 995 tries, 994414132 fired transitions, 2015 secs || 368851891 markings, 728627812 edges, 218754 markings/sec, 2015 secs
lola: 997 tries, 996724340 fired transitions, 2020 secs || 369926583 markings, 730665528 edges, 214938 markings/sec, 2020 secs
lola: 1000 tries, 999166199 fired transitions, 2025 secs || 371029044 markings, 732659714 edges, 220492 markings/sec, 2025 secs
lola: 1001 tries, 1000951495 fired transitions, 2030 secs || 372068587 markings, 734601545 edges, 207909 markings/sec, 2030 secs
lola: 1004 tries, 1003641378 fired transitions, 2035 secs || 373132274 markings, 736654106 edges, 212737 markings/sec, 2035 secs
lola: 1006 tries, 1005560810 fired transitions, 2040 secs || 374197216 markings, 738601291 edges, 212988 markings/sec, 2040 secs
lola: 1009 tries, 1008124920 fired transitions, 2045 secs || 375295610 markings, 740628399 edges, 219679 markings/sec, 2045 secs
lola: 1011 tries, 1010494963 fired transitions, 2050 secs || 376374106 markings, 742547386 edges, 215699 markings/sec, 2050 secs
lola: 1013 tries, 1012925401 fired transitions, 2055 secs || 377503204 markings, 744555600 edges, 225820 markings/sec, 2055 secs
lola: 1016 tries, 1015661488 fired transitions, 2060 secs || 378687468 markings, 746573143 edges, 236853 markings/sec, 2060 secs
lola: 1019 tries, 1018575393 fired transitions, 2065 secs || 379813330 markings, 748561395 edges, 225172 markings/sec, 2065 secs
lola: 1021 tries, 1020908813 fired transitions, 2070 secs || 380885921 markings, 750510699 edges, 214518 markings/sec, 2070 secs
lola: 1024 tries, 1023814147 fired transitions, 2075 secs || 382036320 markings, 752603706 edges, 230080 markings/sec, 2075 secs
lola: 1027 tries, 1026336449 fired transitions, 2080 secs || 383163998 markings, 754714491 edges, 225536 markings/sec, 2080 secs
lola: 1029 tries, 1028993690 fired transitions, 2085 secs || 384316942 markings, 756824051 edges, 230589 markings/sec, 2085 secs
lola: 1032 tries, 1031583564 fired transitions, 2090 secs || 385393826 markings, 758847406 edges, 215377 markings/sec, 2090 secs
lola: 1035 tries, 1034185208 fired transitions, 2095 secs || 386697868 markings, 760935024 edges, 260808 markings/sec, 2095 secs
lola: 1037 tries, 1036720506 fired transitions, 2100 secs || 387942660 markings, 763013288 edges, 248958 markings/sec, 2100 secs
lola: 1040 tries, 1039118031 fired transitions, 2105 secs || 389121959 markings, 765119161 edges, 235860 markings/sec, 2105 secs
lola: 1041 tries, 1040924858 fired transitions, 2110 secs || 390070142 markings, 766755415 edges, 189637 markings/sec, 2110 secs
lola: 1044 tries, 1043767378 fired transitions, 2115 secs || 391226474 markings, 768767349 edges, 231266 markings/sec, 2115 secs
lola: 1047 tries, 1046653591 fired transitions, 2120 secs || 392414476 markings, 770772285 edges, 237600 markings/sec, 2120 secs
lola: 1050 tries, 1049212210 fired transitions, 2125 secs || 393563161 markings, 772776728 edges, 229737 markings/sec, 2125 secs
lola: 1052 tries, 1051577105 fired transitions, 2130 secs || 394710685 markings, 774764617 edges, 229505 markings/sec, 2130 secs
lola: 1054 tries, 1053428696 fired transitions, 2135 secs || 395946959 markings, 776862485 edges, 247255 markings/sec, 2135 secs
lola: 1056 tries, 1055723235 fired transitions, 2140 secs || 397175816 markings, 779072922 edges, 245771 markings/sec, 2140 secs
lola: 1059 tries, 1058425178 fired transitions, 2145 secs || 398314439 markings, 781150620 edges, 227725 markings/sec, 2145 secs
lola: 1061 tries, 1060630404 fired transitions, 2150 secs || 399626989 markings, 783355589 edges, 262510 markings/sec, 2150 secs
lola: 1064 tries, 1063064559 fired transitions, 2155 secs || 400992127 markings, 785627363 edges, 273028 markings/sec, 2155 secs
lola: 1066 tries, 1065388932 fired transitions, 2160 secs || 402268253 markings, 787865011 edges, 255225 markings/sec, 2160 secs
lola: 1069 tries, 1068356714 fired transitions, 2165 secs || 403586087 markings, 790073488 edges, 263567 markings/sec, 2165 secs
lola: 1072 tries, 1071159258 fired transitions, 2170 secs || 404859274 markings, 792242419 edges, 254637 markings/sec, 2170 secs
lola: 1074 tries, 1073756788 fired transitions, 2175 secs || 406163045 markings, 794382990 edges, 260754 markings/sec, 2175 secs
lola: 1078 tries, 1077154872 fired transitions, 2180 secs || 407463470 markings, 796514856 edges, 260085 markings/sec, 2180 secs
lola: 1081 tries, 1080648088 fired transitions, 2185 secs || 408745052 markings, 798657210 edges, 256316 markings/sec, 2185 secs
lola: 1084 tries, 1083262920 fired transitions, 2190 secs || 410011457 markings, 800820029 edges, 253281 markings/sec, 2190 secs
lola: 1085 tries, 1084958146 fired transitions, 2195 secs || 411360497 markings, 803162148 edges, 269808 markings/sec, 2195 secs
lola: 1088 tries, 1087945541 fired transitions, 2200 secs || 412640862 markings, 805324842 edges, 256073 markings/sec, 2200 secs
lola: 1091 tries, 1090039407 fired transitions, 2205 secs || 413895945 markings, 807402235 edges, 251017 markings/sec, 2205 secs
lola: 1094 tries, 1093219969 fired transitions, 2210 secs || 415172527 markings, 809517998 edges, 255316 markings/sec, 2210 secs
lola: 1096 tries, 1095326626 fired transitions, 2215 secs || 416326018 markings, 811475432 edges, 230698 markings/sec, 2215 secs
lola: 1099 tries, 1098220296 fired transitions, 2220 secs || 417519310 markings, 813548471 edges, 238658 markings/sec, 2220 secs
lola: 1102 tries, 1101467667 fired transitions, 2225 secs || 418847460 markings, 815799489 edges, 265630 markings/sec, 2225 secs
lola: 1104 tries, 1103848442 fired transitions, 2230 secs || 420049542 markings, 817841579 edges, 240416 markings/sec, 2230 secs
lola: 1107 tries, 1106624309 fired transitions, 2235 secs || 421320474 markings, 820070992 edges, 254186 markings/sec, 2235 secs
lola: 1110 tries, 1109613551 fired transitions, 2240 secs || 422633962 markings, 822296232 edges, 262698 markings/sec, 2240 secs
lola: 1113 tries, 1112225884 fired transitions, 2245 secs || 423906494 markings, 824497798 edges, 254506 markings/sec, 2245 secs
lola: 1115 tries, 1114386424 fired transitions, 2250 secs || 425130460 markings, 826725786 edges, 244793 markings/sec, 2250 secs
lola: 1117 tries, 1116626469 fired transitions, 2255 secs || 426422682 markings, 828881151 edges, 258444 markings/sec, 2255 secs
lola: 1119 tries, 1118839687 fired transitions, 2260 secs || 427570140 markings, 830931080 edges, 229492 markings/sec, 2260 secs
lola: 1121 tries, 1120871236 fired transitions, 2265 secs || 428792001 markings, 832973694 edges, 244372 markings/sec, 2265 secs
lola: 1124 tries, 1123620409 fired transitions, 2270 secs || 430114872 markings, 835246089 edges, 264574 markings/sec, 2270 secs
lola: 1126 tries, 1125939417 fired transitions, 2275 secs || 431400178 markings, 837479471 edges, 257061 markings/sec, 2275 secs
lola: 1128 tries, 1127979462 fired transitions, 2280 secs || 432690178 markings, 839762701 edges, 258000 markings/sec, 2280 secs
lola: 1131 tries, 1130497516 fired transitions, 2285 secs || 433972886 markings, 842085095 edges, 256542 markings/sec, 2285 secs
lola: 1134 tries, 1133417398 fired transitions, 2290 secs || 435210535 markings, 844283792 edges, 247530 markings/sec, 2290 secs
lola: 1136 tries, 1135937364 fired transitions, 2295 secs || 436449645 markings, 846396921 edges, 247822 markings/sec, 2295 secs
lola: 1139 tries, 1138114580 fired transitions, 2300 secs || 437679193 markings, 848634404 edges, 245910 markings/sec, 2300 secs
lola: 1141 tries, 1140587549 fired transitions, 2305 secs || 438905698 markings, 850698733 edges, 245301 markings/sec, 2305 secs
lola: 1144 tries, 1143511428 fired transitions, 2310 secs || 440190375 markings, 852871374 edges, 256935 markings/sec, 2310 secs
lola: 1147 tries, 1146520466 fired transitions, 2315 secs || 441536210 markings, 855164557 edges, 269167 markings/sec, 2315 secs
lola: 1149 tries, 1148615076 fired transitions, 2320 secs || 442590193 markings, 856907202 edges, 210797 markings/sec, 2320 secs
lola: 1151 tries, 1150378300 fired transitions, 2325 secs || 443958806 markings, 859160359 edges, 273723 markings/sec, 2325 secs
lola: 1153 tries, 1152700873 fired transitions, 2330 secs || 445341273 markings, 861428210 edges, 276493 markings/sec, 2330 secs
lola: 1156 tries, 1155180224 fired transitions, 2335 secs || 446706357 markings, 863618503 edges, 273017 markings/sec, 2335 secs
lola: 1159 tries, 1158175180 fired transitions, 2340 secs || 448091868 markings, 865844522 edges, 277102 markings/sec, 2340 secs
lola: 1161 tries, 1160088122 fired transitions, 2345 secs || 449371715 markings, 868048915 edges, 255969 markings/sec, 2345 secs
lola: 1163 tries, 1162307228 fired transitions, 2350 secs || 450684062 markings, 870222887 edges, 262469 markings/sec, 2350 secs
lola: 1165 tries, 1164513300 fired transitions, 2355 secs || 451948020 markings, 872328096 edges, 252792 markings/sec, 2355 secs
lola: 1167 tries, 1166668537 fired transitions, 2360 secs || 453198657 markings, 874505109 edges, 250127 markings/sec, 2360 secs
lola: 1170 tries, 1169259621 fired transitions, 2365 secs || 454125524 markings, 876026387 edges, 185373 markings/sec, 2365 secs
lola: 1171 tries, 1170728883 fired transitions, 2370 secs || 454561695 markings, 876764391 edges, 87234 markings/sec, 2370 secs
lola: 1173 tries, 1172307301 fired transitions, 2375 secs || 454989404 markings, 877505894 edges, 85542 markings/sec, 2375 secs
lola: 1175 tries, 1174478624 fired transitions, 2380 secs || 455406461 markings, 878223124 edges, 83411 markings/sec, 2380 secs
lola: 1177 tries, 1176205329 fired transitions, 2385 secs || 455813369 markings, 878978645 edges, 81382 markings/sec, 2385 secs
lola: 1178 tries, 1177635866 fired transitions, 2390 secs || 456214154 markings, 879614575 edges, 80157 markings/sec, 2390 secs
lola: 1179 tries, 1178384740 fired transitions, 2395 secs || 456377406 markings, 879880624 edges, 32650 markings/sec, 2395 secs
lola: 1179 tries, 1178731878 fired transitions, 2400 secs || 456403220 markings, 879922743 edges, 5163 markings/sec, 2400 secs
lola: 1180 tries, 1179469182 fired transitions, 2405 secs || 456434344 markings, 879974095 edges, 6225 markings/sec, 2405 secs
lola: 1180 tries, 1179599151 fired transitions, 2410 secs || 456456425 markings, 880011009 edges, 4416 markings/sec, 2410 secs
lola: 1181 tries, 1180067003 fired transitions, 2415 secs || 456483743 markings, 880056275 edges, 5464 markings/sec, 2415 secs
lola: 1181 tries, 1180720695 fired transitions, 2420 secs || 456571281 markings, 880201439 edges, 17508 markings/sec, 2420 secs
lola: 1181 tries, 1180890115 fired transitions, 2425 secs || 456575147 markings, 880207350 edges, 773 markings/sec, 2425 secs
lola: 1181 tries, 1180967216 fired transitions, 2430 secs || 456583462 markings, 880221225 edges, 1663 markings/sec, 2430 secs
Killed
rslt: finished
BK_STOP 1552786814411
--------------------
content from stderr:
grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
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="PaceMaker-PT-none"
export BK_EXAMINATION="GlobalProperties"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is PaceMaker-PT-none, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r104-oct2-155272225600246"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PaceMaker-PT-none.tgz
mv PaceMaker-PT-none execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;