About the Execution of LoLA for MAPKbis-PT-5310
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15918.970 | 2077783.00 | 4160788.00 | 9334.30 | [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/fkordon/mcc2019-input.r093-smll-155246584400345.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is MAPKbis-PT-5310, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-smll-155246584400345
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 356K
-rw-r--r-- 1 mcc users 4.4K Feb 11 22:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 11 22:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 7 23:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 7 23:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.8K Feb 5 00:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 4 06:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 4 06:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 1 00:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 1 00:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 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 0 Jan 29 09:34 model-fix.log
-rw-r--r-- 1 mcc users 166K 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 MAPKbis-PT-5310-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552901663523
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ MAPKbis-PT-5310 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1492
rslt: Output for GlobalProperties @ MAPKbis-PT-5310
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: 279/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3392
lola: finding significant places
lola: 106 places, 173 transitions, 49 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: 3 tries, 2106768 fired transitions, 0 secs || 751962 markings, 1145680 edges, 150392 markings/sec, 0 secs
lola: 4 tries, 3882965 fired transitions, 5 secs || 1348368 markings, 2125751 edges, 119281 markings/sec, 5 secs
lola: 7 tries, 6131281 fired transitions, 10 secs || 2056481 markings, 3337738 edges, 141623 markings/sec, 10 secs
lola: 9 tries, 8360494 fired transitions, 15 secs || 2749035 markings, 4553084 edges, 138511 markings/sec, 15 secs
lola: 11 tries, 10329439 fired transitions, 20 secs || 3386456 markings, 5671011 edges, 127484 markings/sec, 20 secs
lola: 13 tries, 12384908 fired transitions, 25 secs || 4038878 markings, 6834814 edges, 130484 markings/sec, 25 secs
lola: 15 tries, 14386613 fired transitions, 30 secs || 4709827 markings, 8049562 edges, 134190 markings/sec, 30 secs
lola: 17 tries, 16143724 fired transitions, 35 secs || 5377929 markings, 9254692 edges, 133620 markings/sec, 35 secs
lola: 18 tries, 17920595 fired transitions, 40 secs || 6041562 markings, 10460817 edges, 132727 markings/sec, 40 secs
lola: 20 tries, 19764123 fired transitions, 45 secs || 6698340 markings, 11667889 edges, 131356 markings/sec, 45 secs
lola: 22 tries, 21461402 fired transitions, 50 secs || 7243733 markings, 12690789 edges, 109079 markings/sec, 50 secs
lola: 23 tries, 22587593 fired transitions, 55 secs || 7703390 markings, 13543035 edges, 91931 markings/sec, 55 secs
lola: 24 tries, 23870956 fired transitions, 60 secs || 8148401 markings, 14377523 edges, 89002 markings/sec, 60 secs
lola: 26 tries, 25842689 fired transitions, 65 secs || 8716818 markings, 15468737 edges, 113683 markings/sec, 65 secs
lola: 28 tries, 27978936 fired transitions, 70 secs || 9348770 markings, 16687967 edges, 126390 markings/sec, 70 secs
lola: 31 tries, 30187982 fired transitions, 75 secs || 9969900 markings, 17883615 edges, 124226 markings/sec, 75 secs
lola: 33 tries, 32465676 fired transitions, 80 secs || 10584958 markings, 19086869 edges, 123012 markings/sec, 80 secs
lola: 35 tries, 34709383 fired transitions, 85 secs || 11188023 markings, 20265537 edges, 120613 markings/sec, 85 secs
lola: 37 tries, 36882223 fired transitions, 90 secs || 11803242 markings, 21474408 edges, 123044 markings/sec, 90 secs
lola: 40 tries, 39050619 fired transitions, 95 secs || 12401924 markings, 22648466 edges, 119736 markings/sec, 95 secs
lola: 42 tries, 41087565 fired transitions, 100 secs || 12981676 markings, 23781427 edges, 115950 markings/sec, 100 secs
lola: 43 tries, 42992859 fired transitions, 105 secs || 13501695 markings, 24813355 edges, 104004 markings/sec, 105 secs
lola: 45 tries, 44667877 fired transitions, 110 secs || 13960981 markings, 25729665 edges, 91857 markings/sec, 110 secs
lola: 47 tries, 46950268 fired transitions, 115 secs || 14569555 markings, 26948973 edges, 121715 markings/sec, 115 secs
lola: 50 tries, 49192054 fired transitions, 120 secs || 15174396 markings, 28166910 edges, 120968 markings/sec, 120 secs
lola: 52 tries, 51494505 fired transitions, 125 secs || 15779129 markings, 29387901 edges, 120947 markings/sec, 125 secs
lola: 54 tries, 53828000 fired transitions, 130 secs || 16383173 markings, 30608822 edges, 120809 markings/sec, 130 secs
lola: 57 tries, 56164176 fired transitions, 135 secs || 16984649 markings, 31829964 edges, 120295 markings/sec, 135 secs
lola: 59 tries, 58519113 fired transitions, 140 secs || 17583075 markings, 33049710 edges, 119685 markings/sec, 140 secs
lola: 61 tries, 60503085 fired transitions, 145 secs || 18185577 markings, 34263374 edges, 120500 markings/sec, 145 secs
lola: 63 tries, 62510680 fired transitions, 150 secs || 18786902 markings, 35471687 edges, 120265 markings/sec, 150 secs
lola: 65 tries, 64560542 fired transitions, 155 secs || 19360666 markings, 36624988 edges, 114753 markings/sec, 155 secs
lola: 67 tries, 66719048 fired transitions, 160 secs || 19927732 markings, 37774791 edges, 113413 markings/sec, 160 secs
lola: 69 tries, 68865414 fired transitions, 165 secs || 20493337 markings, 38929747 edges, 113121 markings/sec, 165 secs
lola: 71 tries, 70989008 fired transitions, 170 secs || 21053609 markings, 40071271 edges, 112054 markings/sec, 170 secs
lola: 74 tries, 73093811 fired transitions, 175 secs || 21612354 markings, 41218555 edges, 111749 markings/sec, 175 secs
lola: 76 tries, 75267896 fired transitions, 180 secs || 22169975 markings, 42373645 edges, 111524 markings/sec, 180 secs
lola: 78 tries, 77489779 fired transitions, 185 secs || 22725271 markings, 43535188 edges, 111059 markings/sec, 185 secs
lola: 80 tries, 79177457 fired transitions, 190 secs || 23288715 markings, 44680417 edges, 112689 markings/sec, 190 secs
lola: 82 tries, 81379180 fired transitions, 195 secs || 23841084 markings, 45842040 edges, 110474 markings/sec, 195 secs
lola: 84 tries, 83616234 fired transitions, 200 secs || 24392722 markings, 47000422 edges, 110328 markings/sec, 200 secs
lola: 86 tries, 85721705 fired transitions, 205 secs || 24948486 markings, 48142512 edges, 111153 markings/sec, 205 secs
lola: 88 tries, 87879666 fired transitions, 210 secs || 25497967 markings, 49296358 edges, 109896 markings/sec, 210 secs
lola: 91 tries, 90062043 fired transitions, 215 secs || 26046962 markings, 50455122 edges, 109799 markings/sec, 215 secs
lola: 93 tries, 92329810 fired transitions, 220 secs || 26596479 markings, 51616426 edges, 109903 markings/sec, 220 secs
lola: 95 tries, 94006466 fired transitions, 225 secs || 27152466 markings, 52755849 edges, 111197 markings/sec, 225 secs
lola: 97 tries, 96117155 fired transitions, 230 secs || 27698518 markings, 53913787 edges, 109210 markings/sec, 230 secs
lola: 99 tries, 98296859 fired transitions, 235 secs || 28243723 markings, 55066295 edges, 109041 markings/sec, 235 secs
lola: 101 tries, 100438319 fired transitions, 240 secs || 28786604 markings, 56223080 edges, 108576 markings/sec, 240 secs
lola: 103 tries, 102108067 fired transitions, 245 secs || 29340409 markings, 57366376 edges, 110761 markings/sec, 245 secs
lola: 105 tries, 104344288 fired transitions, 250 secs || 29880242 markings, 58519761 edges, 107967 markings/sec, 250 secs
lola: 107 tries, 106386547 fired transitions, 255 secs || 30425845 markings, 59671853 edges, 109121 markings/sec, 255 secs
lola: 109 tries, 108294884 fired transitions, 260 secs || 30971051 markings, 60818678 edges, 109041 markings/sec, 260 secs
lola: 111 tries, 110457812 fired transitions, 265 secs || 31510345 markings, 61974011 edges, 107859 markings/sec, 265 secs
lola: 113 tries, 112509242 fired transitions, 270 secs || 32051387 markings, 63115534 edges, 108208 markings/sec, 270 secs
lola: 115 tries, 114676474 fired transitions, 275 secs || 32590649 markings, 64269567 edges, 107852 markings/sec, 275 secs
lola: 117 tries, 116807707 fired transitions, 280 secs || 33129565 markings, 65414621 edges, 107783 markings/sec, 280 secs
lola: 119 tries, 118937093 fired transitions, 285 secs || 33665725 markings, 66571646 edges, 107232 markings/sec, 285 secs
lola: 122 tries, 121054642 fired transitions, 290 secs || 34202610 markings, 67713845 edges, 107377 markings/sec, 290 secs
lola: 124 tries, 123112087 fired transitions, 295 secs || 34738153 markings, 68856109 edges, 107109 markings/sec, 295 secs
lola: 126 tries, 125256867 fired transitions, 300 secs || 35270555 markings, 70008404 edges, 106480 markings/sec, 300 secs
lola: 128 tries, 127483773 fired transitions, 305 secs || 35801595 markings, 71157178 edges, 106208 markings/sec, 305 secs
lola: 130 tries, 129742682 fired transitions, 310 secs || 36331585 markings, 72309641 edges, 105998 markings/sec, 310 secs
lola: 133 tries, 132002116 fired transitions, 315 secs || 36862910 markings, 73460593 edges, 106265 markings/sec, 315 secs
lola: 135 tries, 134178722 fired transitions, 320 secs || 37394263 markings, 74611485 edges, 106271 markings/sec, 320 secs
lola: 136 tries, 135682698 fired transitions, 325 secs || 37875531 markings, 75631512 edges, 96254 markings/sec, 325 secs
lola: 138 tries, 137690360 fired transitions, 330 secs || 38351034 markings, 76668758 edges, 95101 markings/sec, 330 secs
lola: 140 tries, 139894700 fired transitions, 335 secs || 38878767 markings, 77820734 edges, 105547 markings/sec, 335 secs
lola: 143 tries, 142195299 fired transitions, 340 secs || 39401344 markings, 78974660 edges, 104515 markings/sec, 340 secs
lola: 145 tries, 144340538 fired transitions, 345 secs || 39928187 markings, 80125780 edges, 105369 markings/sec, 345 secs
lola: 147 tries, 146443880 fired transitions, 350 secs || 40456361 markings, 81262458 edges, 105635 markings/sec, 350 secs
lola: 149 tries, 148502626 fired transitions, 355 secs || 40983695 markings, 82402518 edges, 105467 markings/sec, 355 secs
lola: 151 tries, 150746216 fired transitions, 360 secs || 41508623 markings, 83555326 edges, 104986 markings/sec, 360 secs
lola: 153 tries, 152952756 fired transitions, 365 secs || 42031543 markings, 84708548 edges, 104584 markings/sec, 365 secs
lola: 156 tries, 155204867 fired transitions, 370 secs || 42555162 markings, 85857302 edges, 104724 markings/sec, 370 secs
lola: 158 tries, 157300496 fired transitions, 375 secs || 43078107 markings, 86999953 edges, 104589 markings/sec, 375 secs
lola: 160 tries, 159619136 fired transitions, 380 secs || 43598389 markings, 88150674 edges, 104056 markings/sec, 380 secs
lola: 162 tries, 161841753 fired transitions, 385 secs || 44117462 markings, 89290863 edges, 103815 markings/sec, 385 secs
lola: 165 tries, 164020525 fired transitions, 390 secs || 44640216 markings, 90436210 edges, 104551 markings/sec, 390 secs
lola: 167 tries, 166284800 fired transitions, 395 secs || 45189552 markings, 91643354 edges, 109867 markings/sec, 395 secs
lola: 169 tries, 168390959 fired transitions, 400 secs || 45741422 markings, 92834294 edges, 110374 markings/sec, 400 secs
lola: 171 tries, 170130665 fired transitions, 405 secs || 46295867 markings, 94038244 edges, 110889 markings/sec, 405 secs
lola: 173 tries, 172385109 fired transitions, 410 secs || 46841671 markings, 95250335 edges, 109161 markings/sec, 410 secs
lola: 175 tries, 174640494 fired transitions, 415 secs || 47388019 markings, 96449809 edges, 109270 markings/sec, 415 secs
lola: 177 tries, 176583892 fired transitions, 420 secs || 47911198 markings, 97592032 edges, 104636 markings/sec, 420 secs
lola: 179 tries, 178585556 fired transitions, 425 secs || 48432018 markings, 98739942 edges, 104164 markings/sec, 425 secs
lola: 181 tries, 180257348 fired transitions, 430 secs || 48954136 markings, 99871972 edges, 104424 markings/sec, 430 secs
lola: 183 tries, 182563288 fired transitions, 435 secs || 49466765 markings, 101021327 edges, 102526 markings/sec, 435 secs
lola: 185 tries, 184797077 fired transitions, 440 secs || 49975743 markings, 102166553 edges, 101796 markings/sec, 440 secs
lola: 188 tries, 187010062 fired transitions, 445 secs || 50490055 markings, 103313900 edges, 102862 markings/sec, 445 secs
lola: 190 tries, 189224775 fired transitions, 450 secs || 51003101 markings, 104457856 edges, 102609 markings/sec, 450 secs
lola: 192 tries, 191441987 fired transitions, 455 secs || 51503276 markings, 105587536 edges, 100035 markings/sec, 455 secs
lola: 194 tries, 193051043 fired transitions, 460 secs || 51897475 markings, 106466404 edges, 78840 markings/sec, 460 secs
lola: 195 tries, 194696476 fired transitions, 465 secs || 52286056 markings, 107335910 edges, 77716 markings/sec, 465 secs
lola: 197 tries, 196276298 fired transitions, 470 secs || 52672954 markings, 108196020 edges, 77380 markings/sec, 470 secs
lola: 198 tries, 197864762 fired transitions, 475 secs || 53059271 markings, 109055259 edges, 77263 markings/sec, 475 secs
lola: 200 tries, 199345547 fired transitions, 480 secs || 53447736 markings, 109915076 edges, 77693 markings/sec, 480 secs
lola: 201 tries, 200620388 fired transitions, 485 secs || 53845226 markings, 110787912 edges, 79498 markings/sec, 485 secs
lola: 203 tries, 202304364 fired transitions, 490 secs || 54227730 markings, 111650968 edges, 76501 markings/sec, 490 secs
lola: 204 tries, 203757781 fired transitions, 495 secs || 54670255 markings, 112620419 edges, 88505 markings/sec, 495 secs
lola: 206 tries, 205910436 fired transitions, 500 secs || 55180598 markings, 113763019 edges, 102069 markings/sec, 500 secs
lola: 209 tries, 208204562 fired transitions, 505 secs || 55688619 markings, 114909055 edges, 101604 markings/sec, 505 secs
lola: 211 tries, 210434894 fired transitions, 510 secs || 56198231 markings, 116048852 edges, 101922 markings/sec, 510 secs
lola: 213 tries, 212575213 fired transitions, 515 secs || 56705411 markings, 117191784 edges, 101436 markings/sec, 515 secs
lola: 215 tries, 214808239 fired transitions, 520 secs || 57212955 markings, 118338978 edges, 101509 markings/sec, 520 secs
lola: 217 tries, 216952006 fired transitions, 525 secs || 57721481 markings, 119479043 edges, 101705 markings/sec, 525 secs
lola: 220 tries, 219238087 fired transitions, 530 secs || 58243947 markings, 120659466 edges, 104493 markings/sec, 530 secs
lola: 222 tries, 221505470 fired transitions, 535 secs || 58771021 markings, 121840872 edges, 105415 markings/sec, 535 secs
lola: 224 tries, 223831962 fired transitions, 540 secs || 59297902 markings, 123025706 edges, 105376 markings/sec, 540 secs
lola: 227 tries, 226215369 fired transitions, 545 secs || 59825602 markings, 124205876 edges, 105540 markings/sec, 545 secs
lola: 229 tries, 228539720 fired transitions, 550 secs || 60343147 markings, 125385078 edges, 103509 markings/sec, 550 secs
lola: 231 tries, 230163649 fired transitions, 555 secs || 60714058 markings, 126222199 edges, 74182 markings/sec, 555 secs
lola: 232 tries, 231358771 fired transitions, 560 secs || 61093315 markings, 127053678 edges, 75851 markings/sec, 560 secs
lola: 233 tries, 232930880 fired transitions, 565 secs || 61460111 markings, 127874113 edges, 73359 markings/sec, 565 secs
lola: 235 tries, 234595147 fired transitions, 570 secs || 61824642 markings, 128699911 edges, 72906 markings/sec, 570 secs
lola: 237 tries, 236213059 fired transitions, 575 secs || 62192398 markings, 129527694 edges, 73551 markings/sec, 575 secs
lola: 238 tries, 237474147 fired transitions, 580 secs || 62565954 markings, 130354744 edges, 74711 markings/sec, 580 secs
lola: 240 tries, 239353233 fired transitions, 585 secs || 63029941 markings, 131386530 edges, 92797 markings/sec, 585 secs
lola: 242 tries, 241525086 fired transitions, 590 secs || 63534250 markings, 132526833 edges, 100862 markings/sec, 590 secs
lola: 244 tries, 243665289 fired transitions, 595 secs || 64036343 markings, 133655502 edges, 100419 markings/sec, 595 secs
lola: 246 tries, 245342407 fired transitions, 600 secs || 64541456 markings, 134781559 edges, 101023 markings/sec, 600 secs
lola: 248 tries, 247489092 fired transitions, 605 secs || 65038098 markings, 135914271 edges, 99328 markings/sec, 605 secs
lola: 250 tries, 249707348 fired transitions, 610 secs || 65533446 markings, 137048216 edges, 99070 markings/sec, 610 secs
lola: 252 tries, 251963610 fired transitions, 615 secs || 66030922 markings, 138180164 edges, 99495 markings/sec, 615 secs
lola: 255 tries, 254137614 fired transitions, 620 secs || 66527685 markings, 139320071 edges, 99353 markings/sec, 620 secs
lola: 257 tries, 256259834 fired transitions, 625 secs || 67024488 markings, 140452156 edges, 99361 markings/sec, 625 secs
lola: 259 tries, 258463856 fired transitions, 630 secs || 67522104 markings, 141577793 edges, 99523 markings/sec, 630 secs
lola: 261 tries, 260679837 fired transitions, 635 secs || 68017041 markings, 142706675 edges, 98987 markings/sec, 635 secs
lola: 263 tries, 262329617 fired transitions, 640 secs || 68519306 markings, 143834106 edges, 100453 markings/sec, 640 secs
lola: 265 tries, 264435802 fired transitions, 645 secs || 69013999 markings, 144973563 edges, 98939 markings/sec, 645 secs
lola: 267 tries, 266654987 fired transitions, 650 secs || 69508109 markings, 146111143 edges, 98822 markings/sec, 650 secs
lola: 269 tries, 268833350 fired transitions, 655 secs || 70005249 markings, 147242237 edges, 99428 markings/sec, 655 secs
lola: 272 tries, 271071607 fired transitions, 660 secs || 70498281 markings, 148377559 edges, 98606 markings/sec, 660 secs
lola: 274 tries, 273131547 fired transitions, 665 secs || 70992624 markings, 149504195 edges, 98869 markings/sec, 665 secs
lola: 276 tries, 275351372 fired transitions, 670 secs || 71488119 markings, 150636417 edges, 99099 markings/sec, 670 secs
lola: 278 tries, 277566696 fired transitions, 675 secs || 71980031 markings, 151772349 edges, 98382 markings/sec, 675 secs
lola: 280 tries, 279757022 fired transitions, 680 secs || 72471931 markings, 152908900 edges, 98380 markings/sec, 680 secs
lola: 282 tries, 281833583 fired transitions, 685 secs || 72960212 markings, 154033541 edges, 97656 markings/sec, 685 secs
lola: 284 tries, 283307332 fired transitions, 690 secs || 73462199 markings, 155150976 edges, 100397 markings/sec, 690 secs
lola: 285 tries, 284604766 fired transitions, 695 secs || 73819879 markings, 155956326 edges, 71536 markings/sec, 695 secs
lola: 287 tries, 286295124 fired transitions, 700 secs || 74184751 markings, 156804291 edges, 72974 markings/sec, 700 secs
lola: 288 tries, 287902838 fired transitions, 705 secs || 74551147 markings, 157639724 edges, 73279 markings/sec, 705 secs
lola: 290 tries, 289644579 fired transitions, 710 secs || 74909349 markings, 158454506 edges, 71640 markings/sec, 710 secs
lola: 291 tries, 290904195 fired transitions, 715 secs || 75275579 markings, 159280378 edges, 73246 markings/sec, 715 secs
lola: 293 tries, 292784832 fired transitions, 720 secs || 75673663 markings, 160196007 edges, 79617 markings/sec, 720 secs
lola: 296 tries, 295152797 fired transitions, 725 secs || 76185793 markings, 161390262 edges, 102426 markings/sec, 725 secs
lola: 298 tries, 297414449 fired transitions, 730 secs || 76697530 markings, 162576108 edges, 102347 markings/sec, 730 secs
lola: 300 tries, 299531610 fired transitions, 735 secs || 77214871 markings, 163747751 edges, 103468 markings/sec, 735 secs
lola: 302 tries, 301750110 fired transitions, 740 secs || 77728236 markings, 164939165 edges, 102673 markings/sec, 740 secs
lola: 304 tries, 303654657 fired transitions, 745 secs || 78248547 markings, 166128225 edges, 104062 markings/sec, 745 secs
lola: 306 tries, 305523990 fired transitions, 750 secs || 78769409 markings, 167314967 edges, 104172 markings/sec, 750 secs
lola: 308 tries, 307621988 fired transitions, 755 secs || 79285754 markings, 168505157 edges, 103269 markings/sec, 755 secs
lola: 310 tries, 309814935 fired transitions, 760 secs || 79798197 markings, 169697345 edges, 102489 markings/sec, 760 secs
lola: 312 tries, 311688813 fired transitions, 765 secs || 80317854 markings, 170874902 edges, 103931 markings/sec, 765 secs
lola: 314 tries, 313825551 fired transitions, 770 secs || 80832417 markings, 172062307 edges, 102913 markings/sec, 770 secs
lola: 316 tries, 315984956 fired transitions, 775 secs || 81347115 markings, 173247603 edges, 102940 markings/sec, 775 secs
lola: 319 tries, 318290438 fired transitions, 780 secs || 81857814 markings, 174438891 edges, 102140 markings/sec, 780 secs
lola: 321 tries, 320669273 fired transitions, 785 secs || 82368357 markings, 175633695 edges, 102109 markings/sec, 785 secs
lola: 323 tries, 322680788 fired transitions, 790 secs || 82880219 markings, 176817223 edges, 102372 markings/sec, 790 secs
lola: 325 tries, 324267012 fired transitions, 795 secs || 83401615 markings, 177993558 edges, 104279 markings/sec, 795 secs
lola: 327 tries, 326454514 fired transitions, 800 secs || 83912114 markings, 179172051 edges, 102100 markings/sec, 800 secs
lola: 329 tries, 328526707 fired transitions, 805 secs || 84424084 markings, 180360818 edges, 102394 markings/sec, 805 secs
lola: 331 tries, 330633163 fired transitions, 810 secs || 84934403 markings, 181553261 edges, 102064 markings/sec, 810 secs
lola: 333 tries, 332425006 fired transitions, 815 secs || 85299611 markings, 182403154 edges, 73042 markings/sec, 815 secs
lola: 335 tries, 334004888 fired transitions, 820 secs || 85653265 markings, 183207339 edges, 70731 markings/sec, 820 secs
lola: 336 tries, 335224172 fired transitions, 825 secs || 86015302 markings, 184026371 edges, 72407 markings/sec, 825 secs
lola: 338 tries, 337007863 fired transitions, 830 secs || 86366279 markings, 184846366 edges, 70195 markings/sec, 830 secs
lola: 339 tries, 338760920 fired transitions, 835 secs || 86720366 markings, 185657541 edges, 70817 markings/sec, 835 secs
lola: 341 tries, 340399850 fired transitions, 840 secs || 87080311 markings, 186496175 edges, 71989 markings/sec, 840 secs
lola: 343 tries, 342134404 fired transitions, 845 secs || 87434744 markings, 187336397 edges, 70887 markings/sec, 845 secs
lola: 344 tries, 343870808 fired transitions, 850 secs || 87796315 markings, 188189849 edges, 72314 markings/sec, 850 secs
lola: 346 tries, 345600234 fired transitions, 855 secs || 88156537 markings, 189041258 edges, 72044 markings/sec, 855 secs
lola: 348 tries, 347309872 fired transitions, 860 secs || 88516749 markings, 189890475 edges, 72042 markings/sec, 860 secs
lola: 349 tries, 348881197 fired transitions, 865 secs || 88877374 markings, 190724318 edges, 72125 markings/sec, 865 secs
lola: 351 tries, 350530271 fired transitions, 870 secs || 89236316 markings, 191565303 edges, 71788 markings/sec, 870 secs
lola: 353 tries, 352124477 fired transitions, 875 secs || 89595763 markings, 192408675 edges, 71889 markings/sec, 875 secs
lola: 354 tries, 353340245 fired transitions, 880 secs || 89964224 markings, 193251987 edges, 73692 markings/sec, 880 secs
lola: 356 tries, 355052376 fired transitions, 885 secs || 90322041 markings, 194089362 edges, 71563 markings/sec, 885 secs
lola: 357 tries, 356531041 fired transitions, 890 secs || 90656792 markings, 194868310 edges, 66950 markings/sec, 890 secs
lola: 359 tries, 358016796 fired transitions, 895 secs || 91010705 markings, 195686381 edges, 70783 markings/sec, 895 secs
lola: 360 tries, 359222891 fired transitions, 900 secs || 91359765 markings, 196487176 edges, 69812 markings/sec, 900 secs
lola: 361 tries, 360943056 fired transitions, 905 secs || 91721832 markings, 197330323 edges, 72413 markings/sec, 905 secs
lola: 363 tries, 362653522 fired transitions, 910 secs || 92084803 markings, 198176686 edges, 72594 markings/sec, 910 secs
lola: 365 tries, 364359334 fired transitions, 915 secs || 92446454 markings, 199022059 edges, 72330 markings/sec, 915 secs
lola: 366 tries, 365991379 fired transitions, 920 secs || 92803265 markings, 199862178 edges, 71362 markings/sec, 920 secs
lola: 368 tries, 367646054 fired transitions, 925 secs || 93164464 markings, 200706254 edges, 72240 markings/sec, 925 secs
lola: 370 tries, 369274251 fired transitions, 930 secs || 93522434 markings, 201553186 edges, 71594 markings/sec, 930 secs
lola: 372 tries, 371010790 fired transitions, 935 secs || 93882486 markings, 202407367 edges, 72010 markings/sec, 935 secs
lola: 373 tries, 372743848 fired transitions, 940 secs || 94241595 markings, 203255558 edges, 71822 markings/sec, 940 secs
lola: 375 tries, 374904481 fired transitions, 945 secs || 94704888 markings, 204359597 edges, 92659 markings/sec, 945 secs
lola: 378 tries, 377040108 fired transitions, 950 secs || 95182603 markings, 205478763 edges, 95543 markings/sec, 950 secs
lola: 380 tries, 379203744 fired transitions, 955 secs || 95658677 markings, 206602313 edges, 95215 markings/sec, 955 secs
lola: 381 tries, 380627423 fired transitions, 960 secs || 96059848 markings, 207520015 edges, 80234 markings/sec, 960 secs
lola: 383 tries, 382261129 fired transitions, 965 secs || 96414825 markings, 208359782 edges, 70995 markings/sec, 965 secs
lola: 384 tries, 383904118 fired transitions, 970 secs || 96773605 markings, 209187832 edges, 71756 markings/sec, 970 secs
lola: 386 tries, 385419621 fired transitions, 975 secs || 97135153 markings, 210031619 edges, 72310 markings/sec, 975 secs
lola: 387 tries, 386851901 fired transitions, 980 secs || 97497106 markings, 210877551 edges, 72391 markings/sec, 980 secs
lola: 389 tries, 388547659 fired transitions, 985 secs || 97853628 markings, 211722263 edges, 71304 markings/sec, 985 secs
lola: 391 tries, 390589928 fired transitions, 990 secs || 98297134 markings, 212769388 edges, 88701 markings/sec, 990 secs
lola: 393 tries, 392756746 fired transitions, 995 secs || 98761497 markings, 213874243 edges, 92873 markings/sec, 995 secs
lola: 396 tries, 395064056 fired transitions, 1000 secs || 99224851 markings, 214980420 edges, 92671 markings/sec, 1000 secs
lola: 398 tries, 397401966 fired transitions, 1005 secs || 99686402 markings, 216085077 edges, 92310 markings/sec, 1005 secs
lola: 400 tries, 399624790 fired transitions, 1010 secs || 100148970 markings, 217182798 edges, 92514 markings/sec, 1010 secs
lola: 402 tries, 401336593 fired transitions, 1015 secs || 100618352 markings, 218280557 edges, 93876 markings/sec, 1015 secs
lola: 404 tries, 403489044 fired transitions, 1020 secs || 101082117 markings, 219375480 edges, 92753 markings/sec, 1020 secs
lola: 406 tries, 405778074 fired transitions, 1025 secs || 101543962 markings, 220481198 edges, 92369 markings/sec, 1025 secs
lola: 408 tries, 407900325 fired transitions, 1030 secs || 102009081 markings, 221574151 edges, 93024 markings/sec, 1030 secs
lola: 411 tries, 410067299 fired transitions, 1035 secs || 102472395 markings, 222681063 edges, 92663 markings/sec, 1035 secs
lola: 413 tries, 412368915 fired transitions, 1040 secs || 102938786 markings, 223783803 edges, 93278 markings/sec, 1040 secs
lola: 415 tries, 414678666 fired transitions, 1045 secs || 103404992 markings, 224886063 edges, 93241 markings/sec, 1045 secs
lola: 417 tries, 416926743 fired transitions, 1050 secs || 103868848 markings, 225997096 edges, 92771 markings/sec, 1050 secs
lola: 420 tries, 419169820 fired transitions, 1055 secs || 104331961 markings, 227109061 edges, 92623 markings/sec, 1055 secs
lola: 421 tries, 420904900 fired transitions, 1060 secs || 104801517 markings, 228205991 edges, 93911 markings/sec, 1060 secs
lola: 423 tries, 422682188 fired transitions, 1065 secs || 105263809 markings, 229289103 edges, 92458 markings/sec, 1065 secs
lola: 425 tries, 424869410 fired transitions, 1070 secs || 105726978 markings, 230394087 edges, 92634 markings/sec, 1070 secs
lola: 428 tries, 427099147 fired transitions, 1075 secs || 106187495 markings, 231501582 edges, 92103 markings/sec, 1075 secs
lola: 430 tries, 429260506 fired transitions, 1080 secs || 106652646 markings, 232598602 edges, 93030 markings/sec, 1080 secs
lola: 432 tries, 431256692 fired transitions, 1085 secs || 107116799 markings, 233698288 edges, 92831 markings/sec, 1085 secs
lola: 434 tries, 433143184 fired transitions, 1090 secs || 107581991 markings, 234792362 edges, 93038 markings/sec, 1090 secs
lola: 436 tries, 435434793 fired transitions, 1095 secs || 108044000 markings, 235902221 edges, 92402 markings/sec, 1095 secs
lola: 438 tries, 437668349 fired transitions, 1100 secs || 108506900 markings, 237011066 edges, 92580 markings/sec, 1100 secs
lola: 440 tries, 439903319 fired transitions, 1105 secs || 108969818 markings, 238119622 edges, 92584 markings/sec, 1105 secs
lola: 443 tries, 442012438 fired transitions, 1110 secs || 109433349 markings, 239221951 edges, 92706 markings/sec, 1110 secs
lola: 445 tries, 444347877 fired transitions, 1115 secs || 109893470 markings, 240327833 edges, 92024 markings/sec, 1115 secs
lola: 447 tries, 446172911 fired transitions, 1120 secs || 110240067 markings, 241159778 edges, 69319 markings/sec, 1120 secs
lola: 448 tries, 447860815 fired transitions, 1125 secs || 110586424 markings, 241978569 edges, 69271 markings/sec, 1125 secs
lola: 450 tries, 449580808 fired transitions, 1130 secs || 110932270 markings, 242799997 edges, 69169 markings/sec, 1130 secs
lola: 452 tries, 451353140 fired transitions, 1135 secs || 111274348 markings, 243614652 edges, 68416 markings/sec, 1135 secs
lola: 454 tries, 453140476 fired transitions, 1140 secs || 111617563 markings, 244444291 edges, 68643 markings/sec, 1140 secs
lola: 455 tries, 454775813 fired transitions, 1145 secs || 111962177 markings, 245260810 edges, 68923 markings/sec, 1145 secs
lola: 456 tries, 455982939 fired transitions, 1150 secs || 112317040 markings, 246086421 edges, 70973 markings/sec, 1150 secs
lola: 458 tries, 457689475 fired transitions, 1155 secs || 112661294 markings, 246909445 edges, 68851 markings/sec, 1155 secs
lola: 460 tries, 459414229 fired transitions, 1160 secs || 113003366 markings, 247731831 edges, 68414 markings/sec, 1160 secs
lola: 462 tries, 461220724 fired transitions, 1165 secs || 113344754 markings, 248553122 edges, 68278 markings/sec, 1165 secs
lola: 463 tries, 462963637 fired transitions, 1170 secs || 113687308 markings, 249374470 edges, 68511 markings/sec, 1170 secs
lola: 465 tries, 464745363 fired transitions, 1175 secs || 114032427 markings, 250201374 edges, 69024 markings/sec, 1175 secs
lola: 467 tries, 466332918 fired transitions, 1180 secs || 114385459 markings, 251042655 edges, 70606 markings/sec, 1180 secs
lola: 468 tries, 467684327 fired transitions, 1185 secs || 114739407 markings, 251879794 edges, 70790 markings/sec, 1185 secs
lola: 470 tries, 469370462 fired transitions, 1190 secs || 115086080 markings, 252714126 edges, 69335 markings/sec, 1190 secs
lola: 471 tries, 470731143 fired transitions, 1195 secs || 115443657 markings, 253556627 edges, 71515 markings/sec, 1195 secs
lola: 472 tries, 471862071 fired transitions, 1200 secs || 115805755 markings, 254396981 edges, 72420 markings/sec, 1200 secs
lola: 474 tries, 473524573 fired transitions, 1205 secs || 116156038 markings, 255237200 edges, 70057 markings/sec, 1205 secs
lola: 476 tries, 475269806 fired transitions, 1210 secs || 116505260 markings, 256084579 edges, 69844 markings/sec, 1210 secs
lola: 477 tries, 476979501 fired transitions, 1215 secs || 116852644 markings, 256918953 edges, 69477 markings/sec, 1215 secs
lola: 479 tries, 478609203 fired transitions, 1220 secs || 117200599 markings, 257750943 edges, 69591 markings/sec, 1220 secs
lola: 481 tries, 480272502 fired transitions, 1225 secs || 117547722 markings, 258590803 edges, 69425 markings/sec, 1225 secs
lola: 483 tries, 482048159 fired transitions, 1230 secs || 117896170 markings, 259436198 edges, 69690 markings/sec, 1230 secs
lola: 484 tries, 483486658 fired transitions, 1235 secs || 118248328 markings, 260275916 edges, 70432 markings/sec, 1235 secs
lola: 485 tries, 484970042 fired transitions, 1240 secs || 118601533 markings, 261128902 edges, 70641 markings/sec, 1240 secs
lola: 487 tries, 486741790 fired transitions, 1245 secs || 118951151 markings, 261973246 edges, 69924 markings/sec, 1245 secs
lola: 489 tries, 488327689 fired transitions, 1250 secs || 119304082 markings, 262816478 edges, 70586 markings/sec, 1250 secs
lola: 490 tries, 489674364 fired transitions, 1255 secs || 119658488 markings, 263658096 edges, 70881 markings/sec, 1255 secs
lola: 492 tries, 491429797 fired transitions, 1260 secs || 120006093 markings, 264507791 edges, 69521 markings/sec, 1260 secs
lola: 494 tries, 493200417 fired transitions, 1265 secs || 120354540 markings, 265356905 edges, 69689 markings/sec, 1265 secs
lola: 496 tries, 495002618 fired transitions, 1270 secs || 120701652 markings, 266194988 edges, 69422 markings/sec, 1270 secs
lola: 497 tries, 496737167 fired transitions, 1275 secs || 121048983 markings, 267035437 edges, 69466 markings/sec, 1275 secs
lola: 499 tries, 498493711 fired transitions, 1280 secs || 121388132 markings, 267863347 edges, 67830 markings/sec, 1280 secs
lola: 501 tries, 500263622 fired transitions, 1285 secs || 121724481 markings, 268672880 edges, 67270 markings/sec, 1285 secs
lola: 503 tries, 502022907 fired transitions, 1290 secs || 122074524 markings, 269521192 edges, 70009 markings/sec, 1290 secs
lola: 504 tries, 503783936 fired transitions, 1295 secs || 122423935 markings, 270371243 edges, 69882 markings/sec, 1295 secs
lola: 506 tries, 505267851 fired transitions, 1300 secs || 122776820 markings, 271213930 edges, 70577 markings/sec, 1300 secs
lola: 507 tries, 506576651 fired transitions, 1305 secs || 123133165 markings, 272060749 edges, 71269 markings/sec, 1305 secs
lola: 509 tries, 508243945 fired transitions, 1310 secs || 123479531 markings, 272901259 edges, 69273 markings/sec, 1310 secs
lola: 510 tries, 509936880 fired transitions, 1315 secs || 123826621 markings, 273741983 edges, 69418 markings/sec, 1315 secs
lola: 512 tries, 511527689 fired transitions, 1320 secs || 124175552 markings, 274575976 edges, 69786 markings/sec, 1320 secs
lola: 513 tries, 512801705 fired transitions, 1325 secs || 124532029 markings, 275419255 edges, 71295 markings/sec, 1325 secs
lola: 515 tries, 514300314 fired transitions, 1330 secs || 124882444 markings, 276256930 edges, 70083 markings/sec, 1330 secs
lola: 517 tries, 516010225 fired transitions, 1335 secs || 125229395 markings, 277105412 edges, 69390 markings/sec, 1335 secs
lola: 518 tries, 517658448 fired transitions, 1340 secs || 125575078 markings, 277940565 edges, 69137 markings/sec, 1340 secs
lola: 519 tries, 518889205 fired transitions, 1345 secs || 125932412 markings, 278788910 edges, 71467 markings/sec, 1345 secs
lola: 521 tries, 520372064 fired transitions, 1350 secs || 126285915 markings, 279639318 edges, 70701 markings/sec, 1350 secs
lola: 522 tries, 521799935 fired transitions, 1355 secs || 126638301 markings, 280486056 edges, 70477 markings/sec, 1355 secs
lola: 524 tries, 523502321 fired transitions, 1360 secs || 126984154 markings, 281324631 edges, 69171 markings/sec, 1360 secs
lola: 526 tries, 525269594 fired transitions, 1365 secs || 127332533 markings, 282177032 edges, 69676 markings/sec, 1365 secs
lola: 527 tries, 526969981 fired transitions, 1370 secs || 127679942 markings, 283021566 edges, 69482 markings/sec, 1370 secs
lola: 529 tries, 528161800 fired transitions, 1375 secs || 128039659 markings, 283871837 edges, 71943 markings/sec, 1375 secs
lola: 530 tries, 529927480 fired transitions, 1380 secs || 128388293 markings, 284722361 edges, 69727 markings/sec, 1380 secs
lola: 532 tries, 531592044 fired transitions, 1385 secs || 128733370 markings, 285563853 edges, 69015 markings/sec, 1385 secs
lola: 534 tries, 533201500 fired transitions, 1390 secs || 129082853 markings, 286398616 edges, 69897 markings/sec, 1390 secs
lola: 535 tries, 534908778 fired transitions, 1395 secs || 129428930 markings, 287243077 edges, 69215 markings/sec, 1395 secs
lola: 537 tries, 536630224 fired transitions, 1400 secs || 129775157 markings, 288086901 edges, 69245 markings/sec, 1400 secs
lola: 539 tries, 538351643 fired transitions, 1405 secs || 130119479 markings, 288929954 edges, 68864 markings/sec, 1405 secs
lola: 541 tries, 540088346 fired transitions, 1410 secs || 130464332 markings, 289772006 edges, 68971 markings/sec, 1410 secs
lola: 542 tries, 541720971 fired transitions, 1415 secs || 130808778 markings, 290603010 edges, 68889 markings/sec, 1415 secs
lola: 544 tries, 543403983 fired transitions, 1420 secs || 131151469 markings, 291441313 edges, 68538 markings/sec, 1420 secs
lola: 546 tries, 545079044 fired transitions, 1425 secs || 131495341 markings, 292280396 edges, 68774 markings/sec, 1425 secs
lola: 547 tries, 546339923 fired transitions, 1430 secs || 131850109 markings, 293124304 edges, 70954 markings/sec, 1430 secs
lola: 549 tries, 548036936 fired transitions, 1435 secs || 132192195 markings, 293961833 edges, 68417 markings/sec, 1435 secs
lola: 550 tries, 549275375 fired transitions, 1440 secs || 132546637 markings, 294808243 edges, 70888 markings/sec, 1440 secs
lola: 551 tries, 550942020 fired transitions, 1445 secs || 132893109 markings, 295649918 edges, 69294 markings/sec, 1445 secs
lola: 553 tries, 552676278 fired transitions, 1450 secs || 133236709 markings, 296489613 edges, 68720 markings/sec, 1450 secs
lola: 555 tries, 554312987 fired transitions, 1455 secs || 133582369 markings, 297323404 edges, 69132 markings/sec, 1455 secs
lola: 557 tries, 556030948 fired transitions, 1460 secs || 133923578 markings, 298156352 edges, 68242 markings/sec, 1460 secs
lola: 558 tries, 557893387 fired transitions, 1465 secs || 134267995 markings, 299007158 edges, 68883 markings/sec, 1465 secs
lola: 560 tries, 559626643 fired transitions, 1470 secs || 134611612 markings, 299849333 edges, 68723 markings/sec, 1470 secs
lola: 562 tries, 561423032 fired transitions, 1475 secs || 134954505 markings, 300703232 edges, 68579 markings/sec, 1475 secs
lola: 564 tries, 563144116 fired transitions, 1480 secs || 135296692 markings, 301547644 edges, 68437 markings/sec, 1480 secs
lola: 565 tries, 564884462 fired transitions, 1485 secs || 135638682 markings, 302388913 edges, 68398 markings/sec, 1485 secs
lola: 567 tries, 566432812 fired transitions, 1490 secs || 135987713 markings, 303238433 edges, 69806 markings/sec, 1490 secs
lola: 569 tries, 568269834 fired transitions, 1495 secs || 136442894 markings, 304329788 edges, 91036 markings/sec, 1495 secs
lola: 571 tries, 570519638 fired transitions, 1500 secs || 136891590 markings, 305446329 edges, 89739 markings/sec, 1500 secs
lola: 573 tries, 572807260 fired transitions, 1505 secs || 137332652 markings, 306528769 edges, 88212 markings/sec, 1505 secs
lola: 575 tries, 574972899 fired transitions, 1510 secs || 137784751 markings, 307631040 edges, 90420 markings/sec, 1510 secs
lola: 577 tries, 576642919 fired transitions, 1515 secs || 138243246 markings, 308729231 edges, 91699 markings/sec, 1515 secs
lola: 579 tries, 578856522 fired transitions, 1520 secs || 138693082 markings, 309844826 edges, 89967 markings/sec, 1520 secs
lola: 581 tries, 580723975 fired transitions, 1525 secs || 139149088 markings, 310949265 edges, 91201 markings/sec, 1525 secs
lola: 583 tries, 582792651 fired transitions, 1530 secs || 139600718 markings, 312060666 edges, 90326 markings/sec, 1530 secs
lola: 585 tries, 584491454 fired transitions, 1535 secs || 139968729 markings, 312957194 edges, 73602 markings/sec, 1535 secs
lola: 587 tries, 586458813 fired transitions, 1540 secs || 140419246 markings, 314040443 edges, 90103 markings/sec, 1540 secs
lola: 589 tries, 588157061 fired transitions, 1545 secs || 140873774 markings, 315141821 edges, 90906 markings/sec, 1545 secs
lola: 590 tries, 589848042 fired transitions, 1550 secs || 141330611 markings, 316235106 edges, 91367 markings/sec, 1550 secs
lola: 592 tries, 591560546 fired transitions, 1555 secs || 141672138 markings, 317067613 edges, 68305 markings/sec, 1555 secs
lola: 594 tries, 593729315 fired transitions, 1560 secs || 142093217 markings, 318104554 edges, 84216 markings/sec, 1560 secs
lola: 596 tries, 595652469 fired transitions, 1565 secs || 142547149 markings, 319210142 edges, 90786 markings/sec, 1565 secs
lola: 598 tries, 597735346 fired transitions, 1570 secs || 142996829 markings, 320314609 edges, 89936 markings/sec, 1570 secs
lola: 601 tries, 600047532 fired transitions, 1575 secs || 143444819 markings, 321425206 edges, 89598 markings/sec, 1575 secs
lola: 603 tries, 602277906 fired transitions, 1580 secs || 143893976 markings, 322543235 edges, 89831 markings/sec, 1580 secs
lola: 605 tries, 604551032 fired transitions, 1585 secs || 144341828 markings, 323658029 edges, 89570 markings/sec, 1585 secs
lola: 607 tries, 606859323 fired transitions, 1590 secs || 144789300 markings, 324764526 edges, 89494 markings/sec, 1590 secs
lola: 610 tries, 609139976 fired transitions, 1595 secs || 145234508 markings, 325871341 edges, 89042 markings/sec, 1595 secs
lola: 612 tries, 611301997 fired transitions, 1600 secs || 145683939 markings, 326986855 edges, 89886 markings/sec, 1600 secs
lola: 614 tries, 613616967 fired transitions, 1605 secs || 146130068 markings, 328096409 edges, 89226 markings/sec, 1605 secs
lola: 616 tries, 615537058 fired transitions, 1610 secs || 146582212 markings, 329195060 edges, 90429 markings/sec, 1610 secs
lola: 618 tries, 617562677 fired transitions, 1615 secs || 147031678 markings, 330296872 edges, 89893 markings/sec, 1615 secs
lola: 620 tries, 619731276 fired transitions, 1620 secs || 147480831 markings, 331404884 edges, 89831 markings/sec, 1620 secs
lola: 622 tries, 621549304 fired transitions, 1625 secs || 147932696 markings, 332496784 edges, 90373 markings/sec, 1625 secs
lola: 624 tries, 623582354 fired transitions, 1630 secs || 148382680 markings, 333594074 edges, 89997 markings/sec, 1630 secs
lola: 626 tries, 625751708 fired transitions, 1635 secs || 148830206 markings, 334701243 edges, 89505 markings/sec, 1635 secs
lola: 628 tries, 627888594 fired transitions, 1640 secs || 149278509 markings, 335806119 edges, 89661 markings/sec, 1640 secs
lola: 631 tries, 630187570 fired transitions, 1645 secs || 149723799 markings, 336919256 edges, 89058 markings/sec, 1645 secs
lola: 633 tries, 632457189 fired transitions, 1650 secs || 150167667 markings, 338024075 edges, 88774 markings/sec, 1650 secs
lola: 635 tries, 634767926 fired transitions, 1655 secs || 150612521 markings, 339133632 edges, 88971 markings/sec, 1655 secs
lola: 637 tries, 636922896 fired transitions, 1660 secs || 151059405 markings, 340243921 edges, 89377 markings/sec, 1660 secs
lola: 640 tries, 639078834 fired transitions, 1665 secs || 151505033 markings, 341342040 edges, 89126 markings/sec, 1665 secs
lola: 642 tries, 641377915 fired transitions, 1670 secs || 151949329 markings, 342450159 edges, 88859 markings/sec, 1670 secs
lola: 644 tries, 643594442 fired transitions, 1675 secs || 152394892 markings, 343547983 edges, 89113 markings/sec, 1675 secs
lola: 646 tries, 645837623 fired transitions, 1680 secs || 152840101 markings, 344647974 edges, 89042 markings/sec, 1680 secs
lola: 649 tries, 648060638 fired transitions, 1685 secs || 153284807 markings, 345753601 edges, 88941 markings/sec, 1685 secs
lola: 650 tries, 649856435 fired transitions, 1690 secs || 153736289 markings, 346852025 edges, 90296 markings/sec, 1690 secs
lola: 653 tries, 652067000 fired transitions, 1695 secs || 154181068 markings, 347955909 edges, 88956 markings/sec, 1695 secs
lola: 655 tries, 654295148 fired transitions, 1700 secs || 154623428 markings, 349062259 edges, 88472 markings/sec, 1700 secs
lola: 656 tries, 655992463 fired transitions, 1705 secs || 155073207 markings, 350156400 edges, 89956 markings/sec, 1705 secs
lola: 659 tries, 658069269 fired transitions, 1710 secs || 155519060 markings, 351253879 edges, 89171 markings/sec, 1710 secs
lola: 661 tries, 660295837 fired transitions, 1715 secs || 155964036 markings, 352358636 edges, 88995 markings/sec, 1715 secs
lola: 663 tries, 662520538 fired transitions, 1720 secs || 156408000 markings, 353470571 edges, 88793 markings/sec, 1720 secs
lola: 665 tries, 664707887 fired transitions, 1725 secs || 156852745 markings, 354565854 edges, 88949 markings/sec, 1725 secs
lola: 667 tries, 666663357 fired transitions, 1730 secs || 157298187 markings, 355669864 edges, 89088 markings/sec, 1730 secs
lola: 669 tries, 668483430 fired transitions, 1735 secs || 157746336 markings, 356770397 edges, 89630 markings/sec, 1735 secs
lola: 671 tries, 670479914 fired transitions, 1740 secs || 158192949 markings, 357867724 edges, 89323 markings/sec, 1740 secs
lola: 673 tries, 672712420 fired transitions, 1745 secs || 158638774 markings, 358968411 edges, 89165 markings/sec, 1745 secs
lola: 675 tries, 674906291 fired transitions, 1750 secs || 159083749 markings, 360067916 edges, 88995 markings/sec, 1750 secs
lola: 678 tries, 677139171 fired transitions, 1755 secs || 159526849 markings, 361167831 edges, 88620 markings/sec, 1755 secs
lola: 680 tries, 679399761 fired transitions, 1760 secs || 159967135 markings, 362274162 edges, 88057 markings/sec, 1760 secs
lola: 682 tries, 681117724 fired transitions, 1765 secs || 160415072 markings, 363366892 edges, 89587 markings/sec, 1765 secs
lola: 684 tries, 683375929 fired transitions, 1770 secs || 160854995 markings, 364475544 edges, 87985 markings/sec, 1770 secs
lola: 686 tries, 685499845 fired transitions, 1775 secs || 161298312 markings, 365574674 edges, 88663 markings/sec, 1775 secs
lola: 688 tries, 687688054 fired transitions, 1780 secs || 161740570 markings, 366679270 edges, 88452 markings/sec, 1780 secs
lola: 690 tries, 689912598 fired transitions, 1785 secs || 162183125 markings, 367784382 edges, 88511 markings/sec, 1785 secs
lola: 693 tries, 692137601 fired transitions, 1790 secs || 162624487 markings, 368889242 edges, 88272 markings/sec, 1790 secs
lola: 695 tries, 694367567 fired transitions, 1795 secs || 163066577 markings, 369991430 edges, 88418 markings/sec, 1795 secs
lola: 697 tries, 696496044 fired transitions, 1800 secs || 163509310 markings, 371086700 edges, 88547 markings/sec, 1800 secs
lola: 699 tries, 698666702 fired transitions, 1805 secs || 163949945 markings, 372189076 edges, 88127 markings/sec, 1805 secs
lola: 701 tries, 700628068 fired transitions, 1810 secs || 164413941 markings, 373327803 edges, 92799 markings/sec, 1810 secs
lola: 703 tries, 702688993 fired transitions, 1815 secs || 164883618 markings, 374488089 edges, 93935 markings/sec, 1815 secs
lola: 705 tries, 704918443 fired transitions, 1820 secs || 165351701 markings, 375641882 edges, 93617 markings/sec, 1820 secs
lola: 707 tries, 706685456 fired transitions, 1825 secs || 165822942 markings, 376798643 edges, 94248 markings/sec, 1825 secs
lola: 709 tries, 708991347 fired transitions, 1830 secs || 166287547 markings, 377962372 edges, 92921 markings/sec, 1830 secs
lola: 712 tries, 711247217 fired transitions, 1835 secs || 166752811 markings, 379131208 edges, 93053 markings/sec, 1835 secs
lola: 714 tries, 713367874 fired transitions, 1840 secs || 167202881 markings, 380258382 edges, 90014 markings/sec, 1840 secs
lola: 716 tries, 715190132 fired transitions, 1845 secs || 167646587 markings, 381361459 edges, 88741 markings/sec, 1845 secs
lola: 718 tries, 717000918 fired transitions, 1850 secs || 168094119 markings, 382449069 edges, 89506 markings/sec, 1850 secs
lola: 720 tries, 719148296 fired transitions, 1855 secs || 168531107 markings, 383547160 edges, 87398 markings/sec, 1855 secs
lola: 722 tries, 721314503 fired transitions, 1860 secs || 168972216 markings, 384650781 edges, 88222 markings/sec, 1860 secs
lola: 724 tries, 723031698 fired transitions, 1865 secs || 169417109 markings, 385745169 edges, 88979 markings/sec, 1865 secs
lola: 726 tries, 725227929 fired transitions, 1870 secs || 169857343 markings, 386847861 edges, 88047 markings/sec, 1870 secs
lola: 728 tries, 727393154 fired transitions, 1875 secs || 170297836 markings, 387950467 edges, 88099 markings/sec, 1875 secs
lola: 730 tries, 729570941 fired transitions, 1880 secs || 170738386 markings, 389046914 edges, 88110 markings/sec, 1880 secs
lola: 732 tries, 731741483 fired transitions, 1885 secs || 171178614 markings, 390148547 edges, 88046 markings/sec, 1885 secs
lola: 734 tries, 733908588 fired transitions, 1890 secs || 171614914 markings, 391248557 edges, 87260 markings/sec, 1890 secs
lola: 737 tries, 736066472 fired transitions, 1895 secs || 172054336 markings, 392335597 edges, 87884 markings/sec, 1895 secs
lola: 739 tries, 738368137 fired transitions, 1900 secs || 172491825 markings, 393432864 edges, 87498 markings/sec, 1900 secs
lola: 741 tries, 740598561 fired transitions, 1905 secs || 172929974 markings, 394533415 edges, 87630 markings/sec, 1905 secs
lola: 743 tries, 742771576 fired transitions, 1910 secs || 173369241 markings, 395635678 edges, 87853 markings/sec, 1910 secs
lola: 745 tries, 744858268 fired transitions, 1915 secs || 173809203 markings, 396729682 edges, 87992 markings/sec, 1915 secs
lola: 748 tries, 747008930 fired transitions, 1920 secs || 174248395 markings, 397821752 edges, 87838 markings/sec, 1920 secs
lola: 749 tries, 748733802 fired transitions, 1925 secs || 174692140 markings, 398911961 edges, 88749 markings/sec, 1925 secs
lola: 751 tries, 750699210 fired transitions, 1930 secs || 175130647 markings, 400001792 edges, 87701 markings/sec, 1930 secs
lola: 753 tries, 752732792 fired transitions, 1935 secs || 175568675 markings, 401096578 edges, 87606 markings/sec, 1935 secs
lola: 755 tries, 754435292 fired transitions, 1940 secs || 176012182 markings, 402188401 edges, 88701 markings/sec, 1940 secs
lola: 757 tries, 756667298 fired transitions, 1945 secs || 176450418 markings, 403288292 edges, 87647 markings/sec, 1945 secs
lola: 759 tries, 758937694 fired transitions, 1950 secs || 176886833 markings, 404383624 edges, 87283 markings/sec, 1950 secs
lola: 762 tries, 761217837 fired transitions, 1955 secs || 177323794 markings, 405484471 edges, 87392 markings/sec, 1955 secs
lola: 764 tries, 763291803 fired transitions, 1960 secs || 177761963 markings, 406579249 edges, 87634 markings/sec, 1960 secs
lola: 766 tries, 765108901 fired transitions, 1965 secs || 178202572 markings, 407678670 edges, 88122 markings/sec, 1965 secs
lola: 768 tries, 767384252 fired transitions, 1970 secs || 178637362 markings, 408780953 edges, 86958 markings/sec, 1970 secs
lola: 770 tries, 769471827 fired transitions, 1975 secs || 179074573 markings, 409869247 edges, 87442 markings/sec, 1975 secs
lola: 772 tries, 771619514 fired transitions, 1980 secs || 179510979 markings, 410975940 edges, 87281 markings/sec, 1980 secs
lola: 774 tries, 773786752 fired transitions, 1985 secs || 179948514 markings, 412066870 edges, 87507 markings/sec, 1985 secs
lola: 776 tries, 775987924 fired transitions, 1990 secs || 180383874 markings, 413165086 edges, 87072 markings/sec, 1990 secs
lola: 779 tries, 778135893 fired transitions, 1995 secs || 180820075 markings, 414253619 edges, 87240 markings/sec, 1995 secs
lola: 780 tries, 779833866 fired transitions, 2000 secs || 181261440 markings, 415344254 edges, 88273 markings/sec, 2000 secs
lola: 783 tries, 782061704 fired transitions, 2005 secs || 181697150 markings, 416437570 edges, 87142 markings/sec, 2005 secs
lola: 785 tries, 784364235 fired transitions, 2010 secs || 182131528 markings, 417536638 edges, 86876 markings/sec, 2010 secs
lola: 787 tries, 786553982 fired transitions, 2015 secs || 182566644 markings, 418634517 edges, 87023 markings/sec, 2015 secs
lola: 789 tries, 788703008 fired transitions, 2020 secs || 183002272 markings, 419737133 edges, 87126 markings/sec, 2020 secs
lola: 791 tries, 790952651 fired transitions, 2025 secs || 183435812 markings, 420838647 edges, 86708 markings/sec, 2025 secs
lola: 794 tries, 793177560 fired transitions, 2030 secs || 183870763 markings, 421940357 edges, 86990 markings/sec, 2030 secs
lola: 796 tries, 795450983 fired transitions, 2035 secs || 184304857 markings, 423044024 edges, 86819 markings/sec, 2035 secs
lola: 798 tries, 797227547 fired transitions, 2040 secs || 184658626 markings, 423945349 edges, 70754 markings/sec, 2040 secs
lola: 798 tries, 797495740 fired transitions, 2045 secs || 184664187 markings, 423959239 edges, 1112 markings/sec, 2045 secs
lola: 798 tries, 797715474 fired transitions, 2050 secs || 184668072 markings, 423968297 edges, 777 markings/sec, 2050 secs
lola: 799 tries, 798820067 fired transitions, 2055 secs || 184684588 markings, 424011916 edges, 3303 markings/sec, 2055 secs
lola: 800 tries, 799906482 fired transitions, 2060 secs || 184727674 markings, 424120867 edges, 8617 markings/sec, 2060 secs
Killed
rslt: finished
BK_STOP 1552903741306
--------------------
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="MAPKbis-PT-5310"
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-3957"
echo " Executing tool lola"
echo " Input is MAPKbis-PT-5310, 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 r093-smll-155246584400345"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MAPKbis-PT-5310.tgz
mv MAPKbis-PT-5310 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 ;