Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2019-input.r148-ebro-155286403700138.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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-3954
Executing tool lola
Input is Ring-PT-none, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-ebro-155286403700138
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.4K Feb 12 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 12 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 8 16:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 8 16:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Feb 5 01:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.8K Feb 5 01:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.7K Feb 4 22:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 4 16:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 16:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 1 13:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 1 13:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 41K 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 Ring-PT-none-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552985076147

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Ring-PT-none @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1348
rslt: Output for GlobalProperties @ Ring-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: 226/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4448
lola: finding significant places
lola: 139 places, 87 transitions, 75 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
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: 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, 1643211 fired transitions, 0 secs || 808581 markings, 944933 edges, 161716 markings/sec, 0 secs
lola: 4 tries, 3444663 fired transitions, 5 secs || 1562337 markings, 1843876 edges, 150751 markings/sec, 5 secs
lola: 6 tries, 5269625 fired transitions, 10 secs || 2317253 markings, 2752663 edges, 150983 markings/sec, 10 secs
lola: 8 tries, 7102783 fired transitions, 15 secs || 3073010 markings, 3667514 edges, 151151 markings/sec, 15 secs
lola: 9 tries, 8970163 fired transitions, 20 secs || 3830198 markings, 4587885 edges, 151438 markings/sec, 20 secs
lola: 11 tries, 10853439 fired transitions, 25 secs || 4588872 markings, 5512821 edges, 151735 markings/sec, 25 secs
lola: 13 tries, 12739486 fired transitions, 30 secs || 5342989 markings, 6435225 edges, 150823 markings/sec, 30 secs
lola: 15 tries, 14632783 fired transitions, 35 secs || 6107771 markings, 7373067 edges, 152956 markings/sec, 35 secs
lola: 17 tries, 16581071 fired transitions, 40 secs || 6872543 markings, 8312182 edges, 152954 markings/sec, 40 secs
lola: 19 tries, 18527483 fired transitions, 45 secs || 7641195 markings, 9256798 edges, 153730 markings/sec, 45 secs
lola: 21 tries, 20439759 fired transitions, 50 secs || 8403298 markings, 10195069 edges, 152421 markings/sec, 50 secs
lola: 23 tries, 22367551 fired transitions, 55 secs || 9166204 markings, 11135454 edges, 152581 markings/sec, 55 secs
lola: 25 tries, 24297685 fired transitions, 60 secs || 9930900 markings, 12080056 edges, 152939 markings/sec, 60 secs
lola: 27 tries, 26240004 fired transitions, 65 secs || 10693047 markings, 13024572 edges, 152429 markings/sec, 65 secs
lola: 29 tries, 28187731 fired transitions, 70 secs || 11449015 markings, 13962239 edges, 151194 markings/sec, 70 secs
lola: 31 tries, 30138003 fired transitions, 75 secs || 12206828 markings, 14901518 edges, 151563 markings/sec, 75 secs
lola: 33 tries, 32082039 fired transitions, 80 secs || 12963840 markings, 15840622 edges, 151402 markings/sec, 80 secs
lola: 35 tries, 34021518 fired transitions, 85 secs || 13720967 markings, 16782460 edges, 151425 markings/sec, 85 secs
lola: 36 tries, 35976948 fired transitions, 90 secs || 14475963 markings, 17722220 edges, 150999 markings/sec, 90 secs
lola: 38 tries, 37932251 fired transitions, 95 secs || 15225975 markings, 18655832 edges, 150002 markings/sec, 95 secs
lola: 40 tries, 39919062 fired transitions, 100 secs || 15984448 markings, 19601721 edges, 151695 markings/sec, 100 secs
lola: 42 tries, 41919807 fired transitions, 105 secs || 16745492 markings, 20550736 edges, 152209 markings/sec, 105 secs
lola: 44 tries, 43928686 fired transitions, 110 secs || 17503412 markings, 21496153 edges, 151584 markings/sec, 110 secs
lola: 46 tries, 45926431 fired transitions, 115 secs || 18254752 markings, 22434422 edges, 150268 markings/sec, 115 secs
lola: 48 tries, 47934386 fired transitions, 120 secs || 19004021 markings, 23370931 edges, 149854 markings/sec, 120 secs
lola: 50 tries, 49937839 fired transitions, 125 secs || 19755776 markings, 24311178 edges, 150351 markings/sec, 125 secs
lola: 52 tries, 51945323 fired transitions, 130 secs || 20508370 markings, 25255764 edges, 150519 markings/sec, 130 secs
lola: 54 tries, 53959971 fired transitions, 135 secs || 21264316 markings, 26203046 edges, 151189 markings/sec, 135 secs
lola: 56 tries, 55960799 fired transitions, 140 secs || 22017221 markings, 27146436 edges, 150581 markings/sec, 140 secs
lola: 58 tries, 57989806 fired transitions, 145 secs || 22772436 markings, 28091373 edges, 151043 markings/sec, 145 secs
lola: 61 tries, 60236223 fired transitions, 150 secs || 23588713 markings, 29116602 edges, 163255 markings/sec, 150 secs
lola: 63 tries, 62540228 fired transitions, 155 secs || 24432607 markings, 30178023 edges, 168779 markings/sec, 155 secs
lola: 65 tries, 64853880 fired transitions, 160 secs || 25273906 markings, 31238870 edges, 168260 markings/sec, 160 secs
lola: 68 tries, 67160454 fired transitions, 165 secs || 26112788 markings, 32295503 edges, 167776 markings/sec, 165 secs
lola: 70 tries, 69311614 fired transitions, 170 secs || 26868534 markings, 33245503 edges, 151149 markings/sec, 170 secs
lola: 72 tries, 71355075 fired transitions, 175 secs || 27615425 markings, 34185172 edges, 149378 markings/sec, 175 secs
lola: 74 tries, 73426415 fired transitions, 180 secs || 28342890 markings, 35101112 edges, 145493 markings/sec, 180 secs
lola: 76 tries, 75483151 fired transitions, 185 secs || 29078538 markings, 36027612 edges, 147130 markings/sec, 185 secs
lola: 78 tries, 77538627 fired transitions, 190 secs || 29812204 markings, 36951554 edges, 146733 markings/sec, 190 secs
lola: 80 tries, 79593671 fired transitions, 195 secs || 30561394 markings, 37897018 edges, 149838 markings/sec, 195 secs
lola: 82 tries, 81645391 fired transitions, 200 secs || 31307733 markings, 38838041 edges, 149268 markings/sec, 200 secs
lola: 84 tries, 83696991 fired transitions, 205 secs || 32047475 markings, 39772152 edges, 147948 markings/sec, 205 secs
lola: 86 tries, 85748575 fired transitions, 210 secs || 32789976 markings, 40710117 edges, 148500 markings/sec, 210 secs
lola: 88 tries, 87803695 fired transitions, 215 secs || 33531875 markings, 41646954 edges, 148380 markings/sec, 215 secs
lola: 90 tries, 89860909 fired transitions, 220 secs || 34274938 markings, 42584527 edges, 148613 markings/sec, 220 secs
lola: 92 tries, 91911639 fired transitions, 225 secs || 35017929 markings, 43525826 edges, 148598 markings/sec, 225 secs
lola: 94 tries, 93946507 fired transitions, 230 secs || 35764642 markings, 44469630 edges, 149343 markings/sec, 230 secs
lola: 97 tries, 96014015 fired transitions, 235 secs || 36508346 markings, 45409997 edges, 148741 markings/sec, 235 secs
lola: 99 tries, 98085391 fired transitions, 240 secs || 37251696 markings, 46352043 edges, 148670 markings/sec, 240 secs
lola: 101 tries, 100161766 fired transitions, 245 secs || 38001810 markings, 47302006 edges, 150023 markings/sec, 245 secs
lola: 103 tries, 102295842 fired transitions, 250 secs || 38778298 markings, 48284523 edges, 155298 markings/sec, 250 secs
lola: 105 tries, 104583046 fired transitions, 255 secs || 39573129 markings, 49294528 edges, 158966 markings/sec, 255 secs
lola: 107 tries, 106700803 fired transitions, 260 secs || 40335335 markings, 50263321 edges, 152441 markings/sec, 260 secs
lola: 109 tries, 108779623 fired transitions, 265 secs || 41074637 markings, 51203919 edges, 147860 markings/sec, 265 secs
lola: 111 tries, 110849020 fired transitions, 270 secs || 41825933 markings, 52160368 edges, 150259 markings/sec, 270 secs
lola: 113 tries, 112920600 fired transitions, 275 secs || 42578746 markings, 53117220 edges, 150563 markings/sec, 275 secs
lola: 116 tries, 115007731 fired transitions, 280 secs || 43332353 markings, 54075502 edges, 150721 markings/sec, 280 secs
lola: 118 tries, 117091491 fired transitions, 285 secs || 44084856 markings, 55032666 edges, 150501 markings/sec, 285 secs
lola: 120 tries, 119175747 fired transitions, 290 secs || 44837140 markings, 55990847 edges, 150457 markings/sec, 290 secs
lola: 122 tries, 121251551 fired transitions, 295 secs || 45589207 markings, 56949846 edges, 150413 markings/sec, 295 secs
lola: 124 tries, 123326696 fired transitions, 300 secs || 46340050 markings, 57905700 edges, 150169 markings/sec, 300 secs
lola: 126 tries, 125407337 fired transitions, 305 secs || 47090172 markings, 58862128 edges, 150024 markings/sec, 305 secs
lola: 128 tries, 127485827 fired transitions, 310 secs || 47835984 markings, 59814148 edges, 149162 markings/sec, 310 secs
lola: 130 tries, 129574790 fired transitions, 315 secs || 48588043 markings, 60772992 edges, 150412 markings/sec, 315 secs
lola: 132 tries, 131669379 fired transitions, 320 secs || 49356617 markings, 61754247 edges, 153715 markings/sec, 320 secs
lola: 135 tries, 134010467 fired transitions, 325 secs || 50159779 markings, 62776529 edges, 160632 markings/sec, 325 secs
lola: 137 tries, 136098663 fired transitions, 330 secs || 50880776 markings, 63696098 edges, 144199 markings/sec, 330 secs
lola: 139 tries, 138202114 fired transitions, 335 secs || 51604431 markings, 64616906 edges, 144731 markings/sec, 335 secs
lola: 141 tries, 140298065 fired transitions, 340 secs || 52325705 markings, 65535882 edges, 144255 markings/sec, 340 secs
lola: 143 tries, 142390439 fired transitions, 345 secs || 53046391 markings, 66453678 edges, 144137 markings/sec, 345 secs
lola: 145 tries, 144502712 fired transitions, 350 secs || 53772309 markings, 67378824 edges, 145184 markings/sec, 350 secs
lola: 147 tries, 146668755 fired transitions, 355 secs || 54504394 markings, 68311086 edges, 146417 markings/sec, 355 secs
lola: 149 tries, 148788059 fired transitions, 360 secs || 55220316 markings, 69224761 edges, 143184 markings/sec, 360 secs
lola: 151 tries, 150865079 fired transitions, 365 secs || 55939990 markings, 70143095 edges, 143935 markings/sec, 365 secs
lola: 153 tries, 152968639 fired transitions, 370 secs || 56664362 markings, 71064940 edges, 144874 markings/sec, 370 secs
lola: 156 tries, 155078186 fired transitions, 375 secs || 57385469 markings, 71985023 edges, 144221 markings/sec, 375 secs
lola: 158 tries, 157225906 fired transitions, 380 secs || 58110669 markings, 72910717 edges, 145040 markings/sec, 380 secs
lola: 160 tries, 159528633 fired transitions, 385 secs || 58872879 markings, 73883263 edges, 152442 markings/sec, 385 secs
lola: 162 tries, 161903831 fired transitions, 390 secs || 59661752 markings, 74891566 edges, 157775 markings/sec, 390 secs
lola: 165 tries, 164275099 fired transitions, 395 secs || 60450804 markings, 75901011 edges, 157810 markings/sec, 395 secs
lola: 167 tries, 166660989 fired transitions, 400 secs || 61232622 markings, 76900137 edges, 156364 markings/sec, 400 secs
lola: 170 tries, 169034375 fired transitions, 405 secs || 62009928 markings, 77894104 edges, 155461 markings/sec, 405 secs
lola: 172 tries, 171398491 fired transitions, 410 secs || 62778666 markings, 78876214 edges, 153748 markings/sec, 410 secs
lola: 174 tries, 173633129 fired transitions, 415 secs || 63522312 markings, 79827854 edges, 148729 markings/sec, 415 secs
lola: 176 tries, 175970903 fired transitions, 420 secs || 64332187 markings, 80864637 edges, 161975 markings/sec, 420 secs
lola: 179 tries, 178160881 fired transitions, 425 secs || 65057265 markings, 81790530 edges, 145016 markings/sec, 425 secs
lola: 181 tries, 180541447 fired transitions, 430 secs || 65848981 markings, 82804220 edges, 158343 markings/sec, 430 secs
lola: 183 tries, 182916834 fired transitions, 435 secs || 66623437 markings, 83794306 edges, 154891 markings/sec, 435 secs
lola: 186 tries, 185278975 fired transitions, 440 secs || 67431849 markings, 84830952 edges, 161682 markings/sec, 440 secs
lola: 188 tries, 187642907 fired transitions, 445 secs || 68234602 markings, 85861844 edges, 160551 markings/sec, 445 secs
lola: 190 tries, 189795035 fired transitions, 450 secs || 68971300 markings, 86807315 edges, 147340 markings/sec, 450 secs
lola: 192 tries, 191893967 fired transitions, 455 secs || 69721852 markings, 87770588 edges, 150110 markings/sec, 455 secs
lola: 194 tries, 193990058 fired transitions, 460 secs || 70476230 markings, 88741308 edges, 150876 markings/sec, 460 secs
lola: 197 tries, 196088807 fired transitions, 465 secs || 71227558 markings, 89705107 edges, 150266 markings/sec, 465 secs
lola: 199 tries, 198182061 fired transitions, 470 secs || 71980986 markings, 90671008 edges, 150686 markings/sec, 470 secs
lola: 201 tries, 200276513 fired transitions, 475 secs || 72731642 markings, 91634922 edges, 150131 markings/sec, 475 secs
lola: 203 tries, 202369339 fired transitions, 480 secs || 73484271 markings, 92601472 edges, 150526 markings/sec, 480 secs
lola: 205 tries, 204470259 fired transitions, 485 secs || 74237826 markings, 93570870 edges, 150711 markings/sec, 485 secs
lola: 207 tries, 206571677 fired transitions, 490 secs || 74990079 markings, 94537445 edges, 150451 markings/sec, 490 secs
lola: 209 tries, 208677331 fired transitions, 495 secs || 75740423 markings, 95502983 edges, 150069 markings/sec, 495 secs
lola: 211 tries, 210783712 fired transitions, 500 secs || 76488665 markings, 96464811 edges, 149648 markings/sec, 500 secs
lola: 213 tries, 212895883 fired transitions, 505 secs || 77239250 markings, 97430660 edges, 150117 markings/sec, 505 secs
lola: 216 tries, 215004247 fired transitions, 510 secs || 77987225 markings, 98394175 edges, 149595 markings/sec, 510 secs
lola: 218 tries, 217113855 fired transitions, 515 secs || 78737019 markings, 99358572 edges, 149959 markings/sec, 515 secs
lola: 220 tries, 219246719 fired transitions, 520 secs || 79481239 markings, 100314585 edges, 148844 markings/sec, 520 secs
lola: 222 tries, 221376134 fired transitions, 525 secs || 80178339 markings, 101210067 edges, 139420 markings/sec, 525 secs
lola: 224 tries, 223520627 fired transitions, 530 secs || 80874317 markings, 102101895 edges, 139196 markings/sec, 530 secs
lola: 226 tries, 225666091 fired transitions, 535 secs || 81572170 markings, 102997339 edges, 139571 markings/sec, 535 secs
lola: 228 tries, 227808463 fired transitions, 540 secs || 82277673 markings, 103900886 edges, 141101 markings/sec, 540 secs
lola: 230 tries, 229973574 fired transitions, 545 secs || 82986376 markings, 104810063 edges, 141741 markings/sec, 545 secs
lola: 233 tries, 232122081 fired transitions, 550 secs || 83690123 markings, 105714234 edges, 140749 markings/sec, 550 secs
lola: 235 tries, 234265058 fired transitions, 555 secs || 84388907 markings, 106611820 edges, 139757 markings/sec, 555 secs
lola: 237 tries, 236400158 fired transitions, 560 secs || 85097009 markings, 107521618 edges, 141620 markings/sec, 560 secs
lola: 239 tries, 238671647 fired transitions, 565 secs || 85856666 markings, 108496879 edges, 151931 markings/sec, 565 secs
lola: 242 tries, 241054816 fired transitions, 570 secs || 86667209 markings, 109539136 edges, 162109 markings/sec, 570 secs
lola: 244 tries, 243432943 fired transitions, 575 secs || 87472925 markings, 110575712 edges, 161143 markings/sec, 575 secs
lola: 246 tries, 245807453 fired transitions, 580 secs || 88289491 markings, 111625433 edges, 163313 markings/sec, 580 secs
lola: 249 tries, 248183321 fired transitions, 585 secs || 89100048 markings, 112667043 edges, 162111 markings/sec, 585 secs
lola: 251 tries, 250554108 fired transitions, 590 secs || 89911945 markings, 113710600 edges, 162379 markings/sec, 590 secs
lola: 253 tries, 252850471 fired transitions, 595 secs || 90692275 markings, 114713658 edges, 156066 markings/sec, 595 secs
lola: 256 tries, 255128319 fired transitions, 600 secs || 91503778 markings, 115760331 edges, 162301 markings/sec, 600 secs
lola: 258 tries, 257364172 fired transitions, 605 secs || 92269751 markings, 116747620 edges, 153195 markings/sec, 605 secs
lola: 260 tries, 259479563 fired transitions, 610 secs || 93009523 markings, 117702786 edges, 147954 markings/sec, 610 secs
lola: 262 tries, 261595843 fired transitions, 615 secs || 93745333 markings, 118653966 edges, 147162 markings/sec, 615 secs
lola: 264 tries, 263719143 fired transitions, 620 secs || 94482890 markings, 119604925 edges, 147511 markings/sec, 620 secs
lola: 266 tries, 265846503 fired transitions, 625 secs || 95211278 markings, 120546660 edges, 145678 markings/sec, 625 secs
lola: 268 tries, 267968477 fired transitions, 630 secs || 95949166 markings, 121499104 edges, 147578 markings/sec, 630 secs
lola: 271 tries, 270089127 fired transitions, 635 secs || 96685313 markings, 122449483 edges, 147229 markings/sec, 635 secs
lola: 273 tries, 272198985 fired transitions, 640 secs || 97424069 markings, 123402843 edges, 147751 markings/sec, 640 secs
lola: 275 tries, 274316127 fired transitions, 645 secs || 98160684 markings, 124355057 edges, 147323 markings/sec, 645 secs
lola: 277 tries, 276534467 fired transitions, 650 secs || 98925983 markings, 125341498 edges, 153060 markings/sec, 650 secs
lola: 279 tries, 278887311 fired transitions, 655 secs || 99719078 markings, 126366427 edges, 158619 markings/sec, 655 secs
lola: 282 tries, 281267680 fired transitions, 660 secs || 100522105 markings, 127401199 edges, 160605 markings/sec, 660 secs
lola: 284 tries, 283647508 fired transitions, 665 secs || 101323858 markings, 128434756 edges, 160351 markings/sec, 665 secs
lola: 287 tries, 286029007 fired transitions, 670 secs || 102112651 markings, 129450554 edges, 157759 markings/sec, 670 secs
lola: 289 tries, 288347747 fired transitions, 675 secs || 102858670 markings, 130411687 edges, 149204 markings/sec, 675 secs
lola: 291 tries, 290491795 fired transitions, 680 secs || 103561212 markings, 131314202 edges, 140508 markings/sec, 680 secs
lola: 293 tries, 292626155 fired transitions, 685 secs || 104262667 markings, 132216896 edges, 140291 markings/sec, 685 secs
lola: 295 tries, 294877602 fired transitions, 690 secs || 105012084 markings, 133181277 edges, 149883 markings/sec, 690 secs
lola: 298 tries, 297157621 fired transitions, 695 secs || 105766575 markings, 134153816 edges, 150898 markings/sec, 695 secs
lola: 300 tries, 299446366 fired transitions, 700 secs || 106559370 markings, 135175471 edges, 158559 markings/sec, 700 secs
lola: 302 tries, 301777758 fired transitions, 705 secs || 107359358 markings, 136209913 edges, 159998 markings/sec, 705 secs
lola: 305 tries, 304089999 fired transitions, 710 secs || 108164122 markings, 137251645 edges, 160953 markings/sec, 710 secs
lola: 307 tries, 306400935 fired transitions, 715 secs || 108970855 markings, 138293335 edges, 161347 markings/sec, 715 secs
lola: 309 tries, 308755609 fired transitions, 720 secs || 109756663 markings, 139306574 edges, 157162 markings/sec, 720 secs
lola: 312 tries, 311156316 fired transitions, 725 secs || 110515196 markings, 140286177 edges, 151707 markings/sec, 725 secs
lola: 314 tries, 313517577 fired transitions, 730 secs || 111294115 markings, 141293812 edges, 155784 markings/sec, 730 secs
lola: 316 tries, 315859087 fired transitions, 735 secs || 112067638 markings, 142294853 edges, 154705 markings/sec, 735 secs
lola: 319 tries, 318180915 fired transitions, 740 secs || 112853696 markings, 143310696 edges, 157212 markings/sec, 740 secs
lola: 321 tries, 320456915 fired transitions, 745 secs || 113611378 markings, 144287223 edges, 151536 markings/sec, 745 secs
lola: 323 tries, 322828382 fired transitions, 750 secs || 114411508 markings, 145320490 edges, 160026 markings/sec, 750 secs
lola: 326 tries, 325164304 fired transitions, 755 secs || 115204949 markings, 146344826 edges, 158688 markings/sec, 755 secs
lola: 328 tries, 327438115 fired transitions, 760 secs || 115953167 markings, 147310978 edges, 149644 markings/sec, 760 secs
lola: 330 tries, 329573699 fired transitions, 765 secs || 116654358 markings, 148216982 edges, 140238 markings/sec, 765 secs
lola: 332 tries, 331724305 fired transitions, 770 secs || 117341997 markings, 149101896 edges, 137528 markings/sec, 770 secs
lola: 334 tries, 333998622 fired transitions, 775 secs || 118087297 markings, 150066396 edges, 149060 markings/sec, 775 secs
lola: 337 tries, 336368781 fired transitions, 780 secs || 118873911 markings, 151084193 edges, 157323 markings/sec, 780 secs
lola: 339 tries, 338535559 fired transitions, 785 secs || 119582116 markings, 152001343 edges, 141641 markings/sec, 785 secs
lola: 341 tries, 340670571 fired transitions, 790 secs || 120316544 markings, 152950925 edges, 146886 markings/sec, 790 secs
lola: 343 tries, 342855755 fired transitions, 795 secs || 121002619 markings, 153841822 edges, 137215 markings/sec, 795 secs
lola: 345 tries, 344989326 fired transitions, 800 secs || 121734899 markings, 154792437 edges, 146456 markings/sec, 800 secs
lola: 348 tries, 347234159 fired transitions, 805 secs || 122493980 markings, 155778113 edges, 151816 markings/sec, 805 secs
lola: 350 tries, 349623455 fired transitions, 810 secs || 123280908 markings, 156797589 edges, 157386 markings/sec, 810 secs
lola: 353 tries, 352014987 fired transitions, 815 secs || 124066886 markings, 157815207 edges, 157196 markings/sec, 815 secs
lola: 355 tries, 354406715 fired transitions, 820 secs || 124853268 markings, 158834482 edges, 157276 markings/sec, 820 secs
lola: 357 tries, 356797911 fired transitions, 825 secs || 125641853 markings, 159853806 edges, 157717 markings/sec, 825 secs
lola: 360 tries, 359187515 fired transitions, 830 secs || 126430415 markings, 160873693 edges, 157712 markings/sec, 830 secs
lola: 362 tries, 361587115 fired transitions, 835 secs || 127218850 markings, 161895283 edges, 157687 markings/sec, 835 secs
lola: 364 tries, 363984055 fired transitions, 840 secs || 128008407 markings, 162917935 edges, 157911 markings/sec, 840 secs
lola: 367 tries, 366372315 fired transitions, 845 secs || 128796106 markings, 163937387 edges, 157540 markings/sec, 845 secs
lola: 369 tries, 368717361 fired transitions, 850 secs || 129568535 markings, 164939652 edges, 154486 markings/sec, 850 secs
lola: 372 tries, 371108183 fired transitions, 855 secs || 130361210 markings, 165966745 edges, 158535 markings/sec, 855 secs
lola: 374 tries, 373503011 fired transitions, 860 secs || 131151729 markings, 166990150 edges, 158104 markings/sec, 860 secs
lola: 376 tries, 375898979 fired transitions, 865 secs || 131943903 markings, 168016245 edges, 158435 markings/sec, 865 secs
lola: 379 tries, 378290622 fired transitions, 870 secs || 132733722 markings, 169040089 edges, 157964 markings/sec, 870 secs
lola: 381 tries, 380690267 fired transitions, 875 secs || 133525442 markings, 170064968 edges, 158344 markings/sec, 875 secs
lola: 384 tries, 383089739 fired transitions, 880 secs || 134312415 markings, 171083004 edges, 157395 markings/sec, 880 secs
lola: 386 tries, 385297759 fired transitions, 885 secs || 135038269 markings, 172022617 edges, 145171 markings/sec, 885 secs
lola: 388 tries, 387592057 fired transitions, 890 secs || 135806382 markings, 173019530 edges, 153623 markings/sec, 890 secs
lola: 390 tries, 389768637 fired transitions, 895 secs || 136503538 markings, 173922114 edges, 139431 markings/sec, 895 secs
lola: 392 tries, 391948347 fired transitions, 900 secs || 137202706 markings, 174828395 edges, 139834 markings/sec, 900 secs
lola: 395 tries, 394150009 fired transitions, 905 secs || 137911281 markings, 175744952 edges, 141715 markings/sec, 905 secs
lola: 397 tries, 396311875 fired transitions, 910 secs || 138598937 markings, 176633728 edges, 137531 markings/sec, 910 secs
lola: 399 tries, 398482855 fired transitions, 915 secs || 139279230 markings, 177515070 edges, 136059 markings/sec, 915 secs
lola: 401 tries, 400682129 fired transitions, 920 secs || 139989878 markings, 178435340 edges, 142130 markings/sec, 920 secs
lola: 403 tries, 402884341 fired transitions, 925 secs || 140710944 markings, 179369685 edges, 144213 markings/sec, 925 secs
lola: 406 tries, 405251983 fired transitions, 930 secs || 141502277 markings, 180396447 edges, 158267 markings/sec, 930 secs
lola: 408 tries, 407463349 fired transitions, 935 secs || 142219271 markings, 181325169 edges, 143399 markings/sec, 935 secs
lola: 410 tries, 409782987 fired transitions, 940 secs || 142989082 markings, 182320776 edges, 153962 markings/sec, 940 secs
lola: 413 tries, 412174491 fired transitions, 945 secs || 143779387 markings, 183347165 edges, 158061 markings/sec, 945 secs
lola: 415 tries, 414535079 fired transitions, 950 secs || 144556004 markings, 184353651 edges, 155323 markings/sec, 950 secs
lola: 417 tries, 416917647 fired transitions, 955 secs || 145344034 markings, 185376531 edges, 157606 markings/sec, 955 secs
lola: 420 tries, 419307451 fired transitions, 960 secs || 146133516 markings, 186402823 edges, 157896 markings/sec, 960 secs
lola: 422 tries, 421692731 fired transitions, 965 secs || 146926549 markings, 187429743 edges, 158607 markings/sec, 965 secs
lola: 425 tries, 424074151 fired transitions, 970 secs || 147715220 markings, 188453171 edges, 157734 markings/sec, 970 secs
lola: 427 tries, 426282091 fired transitions, 975 secs || 148433736 markings, 189384376 edges, 143703 markings/sec, 975 secs
lola: 429 tries, 428571483 fired transitions, 980 secs || 149191333 markings, 190368196 edges, 151519 markings/sec, 980 secs
lola: 431 tries, 430872255 fired transitions, 985 secs || 149962069 markings, 191365667 edges, 154147 markings/sec, 985 secs
lola: 434 tries, 433115518 fired transitions, 990 secs || 150699594 markings, 192324719 edges, 147505 markings/sec, 990 secs
lola: 436 tries, 435501158 fired transitions, 995 secs || 151470244 markings, 193327213 edges, 154130 markings/sec, 995 secs
lola: 438 tries, 437889391 fired transitions, 1000 secs || 152259314 markings, 194352140 edges, 157814 markings/sec, 1000 secs
lola: 441 tries, 440283851 fired transitions, 1005 secs || 153038944 markings, 195364541 edges, 155926 markings/sec, 1005 secs
lola: 443 tries, 442668634 fired transitions, 1010 secs || 153823887 markings, 196385128 edges, 156989 markings/sec, 1010 secs
lola: 446 tries, 445042522 fired transitions, 1015 secs || 154595647 markings, 197386433 edges, 154352 markings/sec, 1015 secs
lola: 448 tries, 447433530 fired transitions, 1020 secs || 155381525 markings, 198408551 edges, 157176 markings/sec, 1020 secs
lola: 450 tries, 449828767 fired transitions, 1025 secs || 156171372 markings, 199433632 edges, 157969 markings/sec, 1025 secs
lola: 453 tries, 452199806 fired transitions, 1030 secs || 156926288 markings, 200415157 edges, 150983 markings/sec, 1030 secs
lola: 455 tries, 454363515 fired transitions, 1035 secs || 157647326 markings, 201355063 edges, 144208 markings/sec, 1035 secs
lola: 457 tries, 456696018 fired transitions, 1040 secs || 158386986 markings, 202317923 edges, 147932 markings/sec, 1040 secs
lola: 459 tries, 458872187 fired transitions, 1045 secs || 159103031 markings, 203249988 edges, 143209 markings/sec, 1045 secs
lola: 462 tries, 461123919 fired transitions, 1050 secs || 159826499 markings, 204188691 edges, 144694 markings/sec, 1050 secs
lola: 464 tries, 463414746 fired transitions, 1055 secs || 160594655 markings, 205189477 edges, 153631 markings/sec, 1055 secs
lola: 466 tries, 465744811 fired transitions, 1060 secs || 161379047 markings, 206209998 edges, 156878 markings/sec, 1060 secs
lola: 469 tries, 468079259 fired transitions, 1065 secs || 162170445 markings, 207239498 edges, 158280 markings/sec, 1065 secs
lola: 471 tries, 470394998 fired transitions, 1070 secs || 162946270 markings, 208249558 edges, 155165 markings/sec, 1070 secs
lola: 473 tries, 472750542 fired transitions, 1075 secs || 163716974 markings, 209250824 edges, 154141 markings/sec, 1075 secs
lola: 476 tries, 475149206 fired transitions, 1080 secs || 164459524 markings, 210216043 edges, 148510 markings/sec, 1080 secs
lola: 478 tries, 477529745 fired transitions, 1085 secs || 165220541 markings, 211204355 edges, 152203 markings/sec, 1085 secs
lola: 480 tries, 479921526 fired transitions, 1090 secs || 165959433 markings, 212163593 edges, 147778 markings/sec, 1090 secs
lola: 483 tries, 482324242 fired transitions, 1095 secs || 166716424 markings, 213148995 edges, 151398 markings/sec, 1095 secs
lola: 485 tries, 484736433 fired transitions, 1100 secs || 167454177 markings, 214108592 edges, 147551 markings/sec, 1100 secs
lola: 488 tries, 487152511 fired transitions, 1105 secs || 168201490 markings, 215080951 edges, 149463 markings/sec, 1105 secs
lola: 490 tries, 489576447 fired transitions, 1110 secs || 168938304 markings, 216042182 edges, 147363 markings/sec, 1110 secs
lola: 492 tries, 491927278 fired transitions, 1115 secs || 169647153 markings, 216965532 edges, 141770 markings/sec, 1115 secs
lola: 495 tries, 494142410 fired transitions, 1120 secs || 170338909 markings, 217867627 edges, 138351 markings/sec, 1120 secs
lola: 497 tries, 496502303 fired transitions, 1125 secs || 171076863 markings, 218827261 edges, 147591 markings/sec, 1125 secs
lola: 499 tries, 498848927 fired transitions, 1130 secs || 171808467 markings, 219778695 edges, 146321 markings/sec, 1130 secs
lola: 502 tries, 501000054 fired transitions, 1135 secs || 172546973 markings, 220738020 edges, 147701 markings/sec, 1135 secs
lola: 504 tries, 503170783 fired transitions, 1140 secs || 173271525 markings, 221679954 edges, 144910 markings/sec, 1140 secs
lola: 506 tries, 505412503 fired transitions, 1145 secs || 174052143 markings, 222694181 edges, 156124 markings/sec, 1145 secs
lola: 508 tries, 507762611 fired transitions, 1150 secs || 174868283 markings, 223757918 edges, 163228 markings/sec, 1150 secs
lola: 511 tries, 510110032 fired transitions, 1155 secs || 175666977 markings, 224798386 edges, 159739 markings/sec, 1155 secs
lola: 513 tries, 512378231 fired transitions, 1160 secs || 176432342 markings, 225793829 edges, 153073 markings/sec, 1160 secs
lola: 515 tries, 514516547 fired transitions, 1165 secs || 177145972 markings, 226720964 edges, 142726 markings/sec, 1165 secs
lola: 517 tries, 516655535 fired transitions, 1170 secs || 177857717 markings, 227644550 edges, 142349 markings/sec, 1170 secs
lola: 519 tries, 518801408 fired transitions, 1175 secs || 178569121 markings, 228568574 edges, 142281 markings/sec, 1175 secs
lola: 521 tries, 520947967 fired transitions, 1180 secs || 179287096 markings, 229499067 edges, 143595 markings/sec, 1180 secs
lola: 524 tries, 523091383 fired transitions, 1185 secs || 179998500 markings, 230422618 edges, 142281 markings/sec, 1185 secs
lola: 526 tries, 525232092 fired transitions, 1190 secs || 180713978 markings, 231351731 edges, 143096 markings/sec, 1190 secs
lola: 528 tries, 527377364 fired transitions, 1195 secs || 181426301 markings, 232277186 edges, 142465 markings/sec, 1195 secs
lola: 530 tries, 529514133 fired transitions, 1200 secs || 182138854 markings, 233201812 edges, 142511 markings/sec, 1200 secs
lola: 532 tries, 531657235 fired transitions, 1205 secs || 182849921 markings, 234126637 edges, 142213 markings/sec, 1205 secs
lola: 534 tries, 533790767 fired transitions, 1210 secs || 183560381 markings, 235051560 edges, 142092 markings/sec, 1210 secs
lola: 536 tries, 535931359 fired transitions, 1215 secs || 184274092 markings, 235979921 edges, 142742 markings/sec, 1215 secs
lola: 539 tries, 538076294 fired transitions, 1220 secs || 185000600 markings, 236922410 edges, 145302 markings/sec, 1220 secs
lola: 541 tries, 540435282 fired transitions, 1225 secs || 185819224 markings, 237987635 edges, 163725 markings/sec, 1225 secs
lola: 543 tries, 542797762 fired transitions, 1230 secs || 186635401 markings, 239050595 edges, 163235 markings/sec, 1230 secs
lola: 546 tries, 545168958 fired transitions, 1235 secs || 187455368 markings, 240118518 edges, 163993 markings/sec, 1235 secs
lola: 548 tries, 547532286 fired transitions, 1240 secs || 188273998 markings, 241183324 edges, 163726 markings/sec, 1240 secs
lola: 550 tries, 549871649 fired transitions, 1245 secs || 189079495 markings, 242233504 edges, 161099 markings/sec, 1245 secs
lola: 552 tries, 551996771 fired transitions, 1250 secs || 189791928 markings, 243160277 edges, 142487 markings/sec, 1250 secs
lola: 555 tries, 554189723 fired transitions, 1255 secs || 190532786 markings, 244127162 edges, 148172 markings/sec, 1255 secs
lola: 557 tries, 556340986 fired transitions, 1260 secs || 191247641 markings, 245056729 edges, 142971 markings/sec, 1260 secs
lola: 559 tries, 558467071 fired transitions, 1265 secs || 191965211 markings, 245990364 edges, 143514 markings/sec, 1265 secs
lola: 561 tries, 560853251 fired transitions, 1270 secs || 192783589 markings, 247055322 edges, 163676 markings/sec, 1270 secs
lola: 564 tries, 563241539 fired transitions, 1275 secs || 193600011 markings, 248119173 edges, 163284 markings/sec, 1275 secs
lola: 566 tries, 565610087 fired transitions, 1280 secs || 194413319 markings, 249179165 edges, 162662 markings/sec, 1280 secs
lola: 568 tries, 567989575 fired transitions, 1285 secs || 195222411 markings, 250235645 edges, 161818 markings/sec, 1285 secs
lola: 571 tries, 570362271 fired transitions, 1290 secs || 196035764 markings, 251296190 edges, 162671 markings/sec, 1290 secs
lola: 573 tries, 572747963 fired transitions, 1295 secs || 196853790 markings, 252362516 edges, 163605 markings/sec, 1295 secs
lola: 576 tries, 575127583 fired transitions, 1300 secs || 197664873 markings, 253418765 edges, 162217 markings/sec, 1300 secs
lola: 578 tries, 577514191 fired transitions, 1305 secs || 198477339 markings, 254480078 edges, 162493 markings/sec, 1305 secs
lola: 580 tries, 579892459 fired transitions, 1310 secs || 199288207 markings, 255539791 edges, 162174 markings/sec, 1310 secs
lola: 583 tries, 582276035 fired transitions, 1315 secs || 200101409 markings, 256601148 edges, 162640 markings/sec, 1315 secs
lola: 585 tries, 584656947 fired transitions, 1320 secs || 200923068 markings, 257671840 edges, 164332 markings/sec, 1320 secs
lola: 588 tries, 587031062 fired transitions, 1325 secs || 201733526 markings, 258732873 edges, 162092 markings/sec, 1325 secs
lola: 590 tries, 589394998 fired transitions, 1330 secs || 202543777 markings, 259790153 edges, 162050 markings/sec, 1330 secs
lola: 592 tries, 591776442 fired transitions, 1335 secs || 203357233 markings, 260851538 edges, 162691 markings/sec, 1335 secs
lola: 595 tries, 594153218 fired transitions, 1340 secs || 204172144 markings, 261912808 edges, 162982 markings/sec, 1340 secs
lola: 597 tries, 596533831 fired transitions, 1345 secs || 204991523 markings, 262980138 edges, 163876 markings/sec, 1345 secs
lola: 599 tries, 598922027 fired transitions, 1350 secs || 205811914 markings, 264047494 edges, 164078 markings/sec, 1350 secs
lola: 602 tries, 601301519 fired transitions, 1355 secs || 206627694 markings, 265113035 edges, 163156 markings/sec, 1355 secs
lola: 604 tries, 603685553 fired transitions, 1360 secs || 207440192 markings, 266174440 edges, 162500 markings/sec, 1360 secs
lola: 607 tries, 606068677 fired transitions, 1365 secs || 208256659 markings, 267239063 edges, 163293 markings/sec, 1365 secs
lola: 609 tries, 608459963 fired transitions, 1370 secs || 209074297 markings, 268306646 edges, 163528 markings/sec, 1370 secs
lola: 611 tries, 610849661 fired transitions, 1375 secs || 209889577 markings, 269372767 edges, 163056 markings/sec, 1375 secs
lola: 614 tries, 613240653 fired transitions, 1380 secs || 210705767 markings, 270438603 edges, 163238 markings/sec, 1380 secs
lola: 616 tries, 615458449 fired transitions, 1385 secs || 211451075 markings, 271412241 edges, 149062 markings/sec, 1385 secs
lola: 618 tries, 617611779 fired transitions, 1390 secs || 212160860 markings, 272336278 edges, 141957 markings/sec, 1390 secs
lola: 620 tries, 619771667 fired transitions, 1395 secs || 212868297 markings, 273258345 edges, 141487 markings/sec, 1395 secs
lola: 622 tries, 621929295 fired transitions, 1400 secs || 213578573 markings, 274184090 edges, 142055 markings/sec, 1400 secs
lola: 625 tries, 624024767 fired transitions, 1405 secs || 214296341 markings, 275118244 edges, 143554 markings/sec, 1405 secs
lola: 627 tries, 626180739 fired transitions, 1410 secs || 215010467 markings, 276050569 edges, 142825 markings/sec, 1410 secs
lola: 629 tries, 628421150 fired transitions, 1415 secs || 215694897 markings, 276946755 edges, 136886 markings/sec, 1415 secs
lola: 631 tries, 630632205 fired transitions, 1420 secs || 216364655 markings, 277823881 edges, 133952 markings/sec, 1420 secs
lola: 633 tries, 632871179 fired transitions, 1425 secs || 217064746 markings, 278738498 edges, 140018 markings/sec, 1425 secs
lola: 636 tries, 635197047 fired transitions, 1430 secs || 217829993 markings, 279738476 edges, 153049 markings/sec, 1430 secs
lola: 638 tries, 637573219 fired transitions, 1435 secs || 218637756 markings, 280792722 edges, 161553 markings/sec, 1435 secs
lola: 640 tries, 639951767 fired transitions, 1440 secs || 219452688 markings, 281857494 edges, 162986 markings/sec, 1440 secs
lola: 643 tries, 642323054 fired transitions, 1445 secs || 220248919 markings, 282898425 edges, 159246 markings/sec, 1445 secs
lola: 645 tries, 644704735 fired transitions, 1450 secs || 221064106 markings, 283964284 edges, 163037 markings/sec, 1450 secs
lola: 648 tries, 647085139 fired transitions, 1455 secs || 221878043 markings, 285028021 edges, 162787 markings/sec, 1455 secs
lola: 650 tries, 649347648 fired transitions, 1460 secs || 222642794 markings, 286027579 edges, 152950 markings/sec, 1460 secs
lola: 652 tries, 651487999 fired transitions, 1465 secs || 223353886 markings, 286952991 edges, 142218 markings/sec, 1465 secs
lola: 654 tries, 653643978 fired transitions, 1470 secs || 224062499 markings, 287879490 edges, 141723 markings/sec, 1470 secs
lola: 656 tries, 655813942 fired transitions, 1475 secs || 224769498 markings, 288801955 edges, 141400 markings/sec, 1475 secs
lola: 658 tries, 657970291 fired transitions, 1480 secs || 225481840 markings, 289730580 edges, 142468 markings/sec, 1480 secs
lola: 661 tries, 660128617 fired transitions, 1485 secs || 226194115 markings, 290657476 edges, 142455 markings/sec, 1485 secs
lola: 663 tries, 662279462 fired transitions, 1490 secs || 226902078 markings, 291579572 edges, 141593 markings/sec, 1490 secs
lola: 665 tries, 664485623 fired transitions, 1495 secs || 227652717 markings, 292559852 edges, 150128 markings/sec, 1495 secs
lola: 667 tries, 666858923 fired transitions, 1500 secs || 228459886 markings, 293614136 edges, 161434 markings/sec, 1500 secs
lola: 670 tries, 669214083 fired transitions, 1505 secs || 229244287 markings, 294640800 edges, 156880 markings/sec, 1505 secs
lola: 672 tries, 671597071 fired transitions, 1510 secs || 230056222 markings, 295703544 edges, 162387 markings/sec, 1510 secs
lola: 674 tries, 673972047 fired transitions, 1515 secs || 230866678 markings, 296762460 edges, 162091 markings/sec, 1515 secs
lola: 677 tries, 676357851 fired transitions, 1520 secs || 231677101 markings, 297823839 edges, 162085 markings/sec, 1520 secs
lola: 679 tries, 678739387 fired transitions, 1525 secs || 232491141 markings, 298888178 edges, 162808 markings/sec, 1525 secs
lola: 682 tries, 681119341 fired transitions, 1530 secs || 233302863 markings, 299951730 edges, 162344 markings/sec, 1530 secs
lola: 684 tries, 683459419 fired transitions, 1535 secs || 234069373 markings, 300954746 edges, 153302 markings/sec, 1535 secs
lola: 686 tries, 685676449 fired transitions, 1540 secs || 234743536 markings, 301838871 edges, 134833 markings/sec, 1540 secs
lola: 688 tries, 687864507 fired transitions, 1545 secs || 235415168 markings, 302720036 edges, 134326 markings/sec, 1545 secs
lola: 691 tries, 690207027 fired transitions, 1550 secs || 236187976 markings, 303730232 edges, 154562 markings/sec, 1550 secs
lola: 693 tries, 692599710 fired transitions, 1555 secs || 237000252 markings, 304793908 edges, 162455 markings/sec, 1555 secs
lola: 695 tries, 694981367 fired transitions, 1560 secs || 237808499 markings, 305847303 edges, 161649 markings/sec, 1560 secs
lola: 698 tries, 697362158 fired transitions, 1565 secs || 238620349 markings, 306908091 edges, 162370 markings/sec, 1565 secs
lola: 700 tries, 699707419 fired transitions, 1570 secs || 239399781 markings, 307929935 edges, 155886 markings/sec, 1570 secs
lola: 702 tries, 701920595 fired transitions, 1575 secs || 240073787 markings, 308811150 edges, 134801 markings/sec, 1575 secs
lola: 705 tries, 704173355 fired transitions, 1580 secs || 240776534 markings, 309732774 edges, 140549 markings/sec, 1580 secs
lola: 707 tries, 706551039 fired transitions, 1585 secs || 241585992 markings, 310793138 edges, 161892 markings/sec, 1585 secs
lola: 709 tries, 708929187 fired transitions, 1590 secs || 242394906 markings, 311851970 edges, 161783 markings/sec, 1590 secs
lola: 712 tries, 711282324 fired transitions, 1595 secs || 243167999 markings, 312867402 edges, 154619 markings/sec, 1595 secs
lola: 714 tries, 713500485 fired transitions, 1600 secs || 243839844 markings, 313746921 edges, 134369 markings/sec, 1600 secs
lola: 716 tries, 715751479 fired transitions, 1605 secs || 244525592 markings, 314646994 edges, 137150 markings/sec, 1605 secs
lola: 719 tries, 718138123 fired transitions, 1610 secs || 245333678 markings, 315705994 edges, 161617 markings/sec, 1610 secs
lola: 721 tries, 720530847 fired transitions, 1615 secs || 246143227 markings, 316763407 edges, 161910 markings/sec, 1615 secs
lola: 723 tries, 722917414 fired transitions, 1620 secs || 246951290 markings, 317824796 edges, 161613 markings/sec, 1620 secs
lola: 726 tries, 725301139 fired transitions, 1625 secs || 247758401 markings, 318881313 edges, 161422 markings/sec, 1625 secs
lola: 728 tries, 727679451 fired transitions, 1630 secs || 248573381 markings, 319945849 edges, 162996 markings/sec, 1630 secs
lola: 731 tries, 730070012 fired transitions, 1635 secs || 249381879 markings, 321004059 edges, 161700 markings/sec, 1635 secs
lola: 733 tries, 732460961 fired transitions, 1640 secs || 250191117 markings, 322062440 edges, 161848 markings/sec, 1640 secs
lola: 735 tries, 734855543 fired transitions, 1645 secs || 251000381 markings, 323120157 edges, 161853 markings/sec, 1645 secs
lola: 738 tries, 737235923 fired transitions, 1650 secs || 251810295 markings, 324180660 edges, 161983 markings/sec, 1650 secs
lola: 740 tries, 739627332 fired transitions, 1655 secs || 252615858 markings, 325238559 edges, 161113 markings/sec, 1655 secs
lola: 743 tries, 742020065 fired transitions, 1660 secs || 253424543 markings, 326297295 edges, 161737 markings/sec, 1660 secs
lola: 745 tries, 744398072 fired transitions, 1665 secs || 254236357 markings, 327360810 edges, 162363 markings/sec, 1665 secs
lola: 747 tries, 746771191 fired transitions, 1670 secs || 255047659 markings, 328421715 edges, 162260 markings/sec, 1670 secs
lola: 750 tries, 749144347 fired transitions, 1675 secs || 255858071 markings, 329482377 edges, 162082 markings/sec, 1675 secs
lola: 752 tries, 751516215 fired transitions, 1680 secs || 256668247 markings, 330544747 edges, 162035 markings/sec, 1680 secs
lola: 754 tries, 753881651 fired transitions, 1685 secs || 257475561 markings, 331601203 edges, 161463 markings/sec, 1685 secs
lola: 757 tries, 756263623 fired transitions, 1690 secs || 258289280 markings, 332665812 edges, 162744 markings/sec, 1690 secs
lola: 759 tries, 758649358 fired transitions, 1695 secs || 259102844 markings, 333728086 edges, 162713 markings/sec, 1695 secs
lola: 762 tries, 761033139 fired transitions, 1700 secs || 259913250 markings, 334789263 edges, 162081 markings/sec, 1700 secs
lola: 764 tries, 763215611 fired transitions, 1705 secs || 260643768 markings, 335746271 edges, 146104 markings/sec, 1705 secs
lola: 766 tries, 765399774 fired transitions, 1710 secs || 261389229 markings, 336722641 edges, 149092 markings/sec, 1710 secs
lola: 768 tries, 767559778 fired transitions, 1715 secs || 262102911 markings, 337654157 edges, 142736 markings/sec, 1715 secs
lola: 770 tries, 769860111 fired transitions, 1720 secs || 262916099 markings, 338719473 edges, 162638 markings/sec, 1720 secs
lola: 773 tries, 772092431 fired transitions, 1725 secs || 263711094 markings, 339759972 edges, 158999 markings/sec, 1725 secs
lola: 775 tries, 774335091 fired transitions, 1730 secs || 264472550 markings, 340758164 edges, 152291 markings/sec, 1730 secs
lola: 777 tries, 776689215 fired transitions, 1735 secs || 265267499 markings, 341799882 edges, 158990 markings/sec, 1735 secs
lola: 780 tries, 779088147 fired transitions, 1740 secs || 266076818 markings, 342861989 edges, 161864 markings/sec, 1740 secs
lola: 782 tries, 781487068 fired transitions, 1745 secs || 266885589 markings, 343921372 edges, 161754 markings/sec, 1745 secs
lola: 784 tries, 783881063 fired transitions, 1750 secs || 267693067 markings, 344976325 edges, 161496 markings/sec, 1750 secs
lola: 787 tries, 786268871 fired transitions, 1755 secs || 268501668 markings, 346037166 edges, 161720 markings/sec, 1755 secs
lola: 789 tries, 788651980 fired transitions, 1760 secs || 269308536 markings, 347095717 edges, 161374 markings/sec, 1760 secs
lola: 792 tries, 791038075 fired transitions, 1765 secs || 270118238 markings, 348157274 edges, 161940 markings/sec, 1765 secs
lola: 794 tries, 793295471 fired transitions, 1770 secs || 270810849 markings, 349067953 edges, 138522 markings/sec, 1770 secs
lola: 796 tries, 795517236 fired transitions, 1775 secs || 271486141 markings, 349955231 edges, 135058 markings/sec, 1775 secs
lola: 798 tries, 797736624 fired transitions, 1780 secs || 272154170 markings, 350833203 edges, 133606 markings/sec, 1780 secs
lola: 801 tries, 800092633 fired transitions, 1785 secs || 272923123 markings, 351840522 edges, 153791 markings/sec, 1785 secs
lola: 803 tries, 802488347 fired transitions, 1790 secs || 273726006 markings, 352890601 edges, 160577 markings/sec, 1790 secs
lola: 805 tries, 804884735 fired transitions, 1795 secs || 274527002 markings, 353942456 edges, 160199 markings/sec, 1795 secs
lola: 808 tries, 807291637 fired transitions, 1800 secs || 275316869 markings, 354978854 edges, 157973 markings/sec, 1800 secs
lola: 810 tries, 809700127 fired transitions, 1805 secs || 276101397 markings, 356006250 edges, 156906 markings/sec, 1805 secs
lola: 813 tries, 812100575 fired transitions, 1810 secs || 276897387 markings, 357049010 edges, 159198 markings/sec, 1810 secs
lola: 815 tries, 814509843 fired transitions, 1815 secs || 277691222 markings, 358087895 edges, 158767 markings/sec, 1815 secs
lola: 817 tries, 816844979 fired transitions, 1820 secs || 278479609 markings, 359121177 edges, 157677 markings/sec, 1820 secs
lola: 820 tries, 819053379 fired transitions, 1825 secs || 279248719 markings, 360126903 edges, 153822 markings/sec, 1825 secs
lola: 822 tries, 821347839 fired transitions, 1830 secs || 280007545 markings, 361120026 edges, 151765 markings/sec, 1830 secs
lola: 824 tries, 823642947 fired transitions, 1835 secs || 280765094 markings, 362112919 edges, 151510 markings/sec, 1835 secs
lola: 826 tries, 825936924 fired transitions, 1840 secs || 281520379 markings, 363099529 edges, 151057 markings/sec, 1840 secs
lola: 829 tries, 828229319 fired transitions, 1845 secs || 282278447 markings, 364092138 edges, 151614 markings/sec, 1845 secs
lola: 831 tries, 830517622 fired transitions, 1850 secs || 283038103 markings, 365086414 edges, 151931 markings/sec, 1850 secs
lola: 833 tries, 832807314 fired transitions, 1855 secs || 283793276 markings, 366076675 edges, 151035 markings/sec, 1855 secs
lola: 836 tries, 835104398 fired transitions, 1860 secs || 284548573 markings, 367064489 edges, 151059 markings/sec, 1860 secs
lola: 838 tries, 837398987 fired transitions, 1865 secs || 285305121 markings, 368056310 edges, 151310 markings/sec, 1865 secs
lola: 840 tries, 839690203 fired transitions, 1870 secs || 286060048 markings, 369044169 edges, 150985 markings/sec, 1870 secs
lola: 842 tries, 841981559 fired transitions, 1875 secs || 286818910 markings, 370037653 edges, 151772 markings/sec, 1875 secs
lola: 845 tries, 844274867 fired transitions, 1880 secs || 287574371 markings, 371028391 edges, 151092 markings/sec, 1880 secs
lola: 847 tries, 846563710 fired transitions, 1885 secs || 288321138 markings, 372007863 edges, 149353 markings/sec, 1885 secs
lola: 849 tries, 848858879 fired transitions, 1890 secs || 289063689 markings, 372979480 edges, 148510 markings/sec, 1890 secs
lola: 852 tries, 851153711 fired transitions, 1895 secs || 289802732 markings, 373947607 edges, 147809 markings/sec, 1895 secs
lola: 854 tries, 853434374 fired transitions, 1900 secs || 290564234 markings, 374944769 edges, 152300 markings/sec, 1900 secs
lola: 856 tries, 855743400 fired transitions, 1905 secs || 291295180 markings, 375903863 edges, 146189 markings/sec, 1905 secs
lola: 859 tries, 858097838 fired transitions, 1910 secs || 292053245 markings, 376901213 edges, 151613 markings/sec, 1910 secs
lola: 861 tries, 860487931 fired transitions, 1915 secs || 292865732 markings, 377965729 edges, 162497 markings/sec, 1915 secs
lola: 863 tries, 862878302 fired transitions, 1920 secs || 293668219 markings, 379018505 edges, 160497 markings/sec, 1920 secs
lola: 866 tries, 865262006 fired transitions, 1925 secs || 294480839 markings, 380082936 edges, 162524 markings/sec, 1925 secs
lola: 868 tries, 867633804 fired transitions, 1930 secs || 295241649 markings, 381081778 edges, 152162 markings/sec, 1930 secs
lola: 871 tries, 870020603 fired transitions, 1935 secs || 296058409 markings, 382152696 edges, 163352 markings/sec, 1935 secs
lola: 873 tries, 872366730 fired transitions, 1940 secs || 296806287 markings, 383134588 edges, 149576 markings/sec, 1940 secs
lola: 875 tries, 874678059 fired transitions, 1945 secs || 297529908 markings, 384087433 edges, 144724 markings/sec, 1945 secs
lola: 877 tries, 876985670 fired transitions, 1950 secs || 298258204 markings, 385043268 edges, 145659 markings/sec, 1950 secs
lola: 880 tries, 879292730 fired transitions, 1955 secs || 298980898 markings, 385994619 edges, 144539 markings/sec, 1955 secs
lola: 882 tries, 881600575 fired transitions, 1960 secs || 299704771 markings, 386949277 edges, 144775 markings/sec, 1960 secs
lola: 884 tries, 883931399 fired transitions, 1965 secs || 300438418 markings, 387917186 edges, 146729 markings/sec, 1965 secs
lola: 887 tries, 886325831 fired transitions, 1970 secs || 301249354 markings, 388980787 edges, 162187 markings/sec, 1970 secs
lola: 889 tries, 888720263 fired transitions, 1975 secs || 302058282 markings, 390044264 edges, 161786 markings/sec, 1975 secs
lola: 892 tries, 891065819 fired transitions, 1980 secs || 302817859 markings, 391042278 edges, 151915 markings/sec, 1980 secs
lola: 894 tries, 893381727 fired transitions, 1985 secs || 303539465 markings, 391991854 edges, 144321 markings/sec, 1985 secs
lola: 896 tries, 895692663 fired transitions, 1990 secs || 304261017 markings, 392944431 edges, 144310 markings/sec, 1990 secs
lola: 898 tries, 897994559 fired transitions, 1995 secs || 305002465 markings, 393918970 edges, 148290 markings/sec, 1995 secs
lola: 901 tries, 900267015 fired transitions, 2000 secs || 305768449 markings, 394921743 edges, 153197 markings/sec, 2000 secs
lola: 903 tries, 902545390 fired transitions, 2005 secs || 306528715 markings, 395919338 edges, 152053 markings/sec, 2005 secs
lola: 905 tries, 904861338 fired transitions, 2010 secs || 307310699 markings, 396945869 edges, 156397 markings/sec, 2010 secs
lola: 908 tries, 907246422 fired transitions, 2015 secs || 308121888 markings, 398011570 edges, 162238 markings/sec, 2015 secs
lola: 910 tries, 909641892 fired transitions, 2020 secs || 308929376 markings, 399073529 edges, 161498 markings/sec, 2020 secs
lola: 913 tries, 912032155 fired transitions, 2025 secs || 309746260 markings, 400144174 edges, 163377 markings/sec, 2025 secs
lola: 915 tries, 914419159 fired transitions, 2030 secs || 310561130 markings, 401215308 edges, 162974 markings/sec, 2030 secs
lola: 917 tries, 916812915 fired transitions, 2035 secs || 311371952 markings, 402281932 edges, 162164 markings/sec, 2035 secs
lola: 920 tries, 919206719 fired transitions, 2040 secs || 312179150 markings, 403344989 edges, 161440 markings/sec, 2040 secs
lola: 922 tries, 921553411 fired transitions, 2045 secs || 312923940 markings, 404325471 edges, 148958 markings/sec, 2045 secs
lola: 924 tries, 923915557 fired transitions, 2050 secs || 313699998 markings, 405348987 edges, 155212 markings/sec, 2050 secs
lola: 927 tries, 926302309 fired transitions, 2055 secs || 314507579 markings, 406411380 edges, 161516 markings/sec, 2055 secs
lola: 929 tries, 928693203 fired transitions, 2060 secs || 315308327 markings, 407465229 edges, 160150 markings/sec, 2060 secs
lola: 932 tries, 931094015 fired transitions, 2065 secs || 316102266 markings, 408507179 edges, 158788 markings/sec, 2065 secs
lola: 934 tries, 933480235 fired transitions, 2070 secs || 316915712 markings, 409577271 edges, 162689 markings/sec, 2070 secs
lola: 936 tries, 935861223 fired transitions, 2075 secs || 317725525 markings, 410640147 edges, 161963 markings/sec, 2075 secs
lola: 939 tries, 938244315 fired transitions, 2080 secs || 318535943 markings, 411705825 edges, 162084 markings/sec, 2080 secs
lola: 941 tries, 940636962 fired transitions, 2085 secs || 319341112 markings, 412764590 edges, 161034 markings/sec, 2085 secs
lola: 944 tries, 943028331 fired transitions, 2090 secs || 320155797 markings, 413834733 edges, 162937 markings/sec, 2090 secs
lola: 946 tries, 945417058 fired transitions, 2095 secs || 320968875 markings, 414901987 edges, 162616 markings/sec, 2095 secs
lola: 948 tries, 947800543 fired transitions, 2100 secs || 321780779 markings, 415970351 edges, 162381 markings/sec, 2100 secs
lola: 951 tries, 950194427 fired transitions, 2105 secs || 322519828 markings, 416941977 edges, 147810 markings/sec, 2105 secs
lola: 953 tries, 952533011 fired transitions, 2110 secs || 323272155 markings, 417931674 edges, 150465 markings/sec, 2110 secs
lola: 955 tries, 954963581 fired transitions, 2115 secs || 323966976 markings, 418844639 edges, 138964 markings/sec, 2115 secs
lola: 958 tries, 957620090 fired transitions, 2120 secs || 324275845 markings, 419249437 edges, 61774 markings/sec, 2120 secs
lola: 959 tries, 958070925 fired transitions, 2125 secs || 324305066 markings, 419288107 edges, 5844 markings/sec, 2125 secs
lola: 959 tries, 958271378 fired transitions, 2130 secs || 324312183 markings, 419297304 edges, 1423 markings/sec, 2130 secs
lola: 959 tries, 958511412 fired transitions, 2135 secs || 324315741 markings, 419301884 edges, 712 markings/sec, 2135 secs
lola: 959 tries, 958568062 fired transitions, 2140 secs || 324320229 markings, 419307568 edges, 898 markings/sec, 2140 secs
lola: 959 tries, 958613416 fired transitions, 2145 secs || 324321945 markings, 419309860 edges, 343 markings/sec, 2145 secs
lola: 960 tries, 959270902 fired transitions, 2150 secs || 324333580 markings, 419325242 edges, 2327 markings/sec, 2150 secs
lola: 960 tries, 959291184 fired transitions, 2155 secs || 324333707 markings, 419325405 edges, 25 markings/sec, 2155 secs
lola: 960 tries, 959351484 fired transitions, 2160 secs || 324333866 markings, 419325622 edges, 32 markings/sec, 2160 secs
lola: 961 tries, 960479729 fired transitions, 2165 secs || 324382408 markings, 419389723 edges, 9708 markings/sec, 2165 secs
lola: 961 tries, 960479804 fired transitions, 2170 secs || 324382436 markings, 419389764 edges, 6 markings/sec, 2170 secs
lola: 961 tries, 960615220 fired transitions, 2175 secs || 324382475 markings, 419389815 edges, 8 markings/sec, 2175 secs
lola: 962 tries, 961216575 fired transitions, 2180 secs || 324416032 markings, 419433964 edges, 6711 markings/sec, 2180 secs
lola: 962 tries, 961487987 fired transitions, 2185 secs || 324440232 markings, 419465628 edges, 4840 markings/sec, 2185 secs
lola: 963 tries, 962011150 fired transitions, 2190 secs || 324481409 markings, 419519578 edges, 8235 markings/sec, 2190 secs
lola: 963 tries, 962793510 fired transitions, 2195 secs || 324532133 markings, 419585940 edges, 10145 markings/sec, 2195 secs
Killed
rslt: finished

BK_STOP 1552987298267

--------------------
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="Ring-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 Ring-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 r148-ebro-155286403700138"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Ring-PT-none.tgz
mv Ring-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 '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;