MCC'2019 - Execution of r071-smll-155234737500093

About the Execution of LoLA for EGFr-PT-10420

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.150	2066041.00	4109516.00	13763.50	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2019-input.r071-smll-155234737500093.qcow2', fmt=qcow2 size=4294967296 backing_file='
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3957
Executing tool lola
Input is EGFr-PT-10420, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-155234737500093
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 856K
-rw-r--r-- 1 mcc users 4.2K Feb 10 23:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 23:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 6 20:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 6 20:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 13K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 3 07:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 3 07:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Jan 31 00:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 31 00:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw------- 1 mcc users 672K 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 EGFr-PT-10420-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552509709266

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ EGFr-PT-10420 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1504
rslt: Output for GlobalProperties @ EGFr-PT-10420
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: 586/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 6656
lola: finding significant places
lola: 208 places, 378 transitions, 76 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=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
lola: RUNNING
lola: computing symmetries (--symmetry)
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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 2 generators (2 in search tree, 0 by composition)
lola: representing 4 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 686387 fired transitions, 0 secs || 454355 markings, 617715 edges,
lola: 2 tries, 1445584 fired transitions, 5 secs || 904375 markings, 1251342 edges,
lola: 3 tries, 2212161 fired transitions, 10 secs || 1356131 markings, 1908818 edges,
lola: 3 tries, 2994385 fired transitions, 15 secs || 1789374 markings, 2550744 edges,
lola: 4 tries, 3771356 fired transitions, 20 secs || 2234237 markings, 3210120 edges,
lola: 5 tries, 4551611 fired transitions, 25 secs || 2675105 markings, 3870038 edges,
lola: 6 tries, 5332433 fired transitions, 30 secs || 3114688 markings, 4529166 edges,
lola: 7 tries, 6127238 fired transitions, 35 secs || 3552877 markings, 5189442 edges,
lola: 7 tries, 6975813 fired transitions, 40 secs || 3989721 markings, 5850081 edges,
lola: 8 tries, 7827592 fired transitions, 45 secs || 4424804 markings, 6512657 edges,
lola: 9 tries, 8677907 fired transitions, 50 secs || 4859914 markings, 7173156 edges,
lola: 10 tries, 9530237 fired transitions, 55 secs || 5293346 markings, 7830842 edges,
lola: 11 tries, 10385403 fired transitions, 60 secs || 5725460 markings, 8487722 edges,
lola: 12 tries, 11224273 fired transitions, 65 secs || 6156450 markings, 9147161 edges,
lola: 13 tries, 12107297 fired transitions, 70 secs || 6634509 markings, 9877659 edges,
lola: 14 tries, 13176900 fired transitions, 75 secs || 7135100 markings, 10646031 edges,
lola: 14 tries, 13967981 fired transitions, 80 secs || 7565704 markings, 11312134 edges,
lola: 15 tries, 14822091 fired transitions, 85 secs || 7993847 markings, 11972550 edges,
lola: 16 tries, 15632104 fired transitions, 90 secs || 8421733 markings, 12631711 edges,
lola: 17 tries, 16456871 fired transitions, 95 secs || 8851328 markings, 13294660 edges,
lola: 18 tries, 17297108 fired transitions, 100 secs || 9282116 markings, 13963622 edges,
lola: 19 tries, 18096519 fired transitions, 105 secs || 9712858 markings, 14634888 edges,
lola: 19 tries, 18952841 fired transitions, 110 secs || 10171596 markings, 15349458 edges,
lola: 21 tries, 20018493 fired transitions, 115 secs || 10738729 markings, 16234528 edges,
lola: 22 tries, 21159300 fired transitions, 120 secs || 11303696 markings, 17117640 edges,
lola: 23 tries, 22221768 fired transitions, 125 secs || 11869379 markings, 17998039 edges,
lola: 24 tries, 23282266 fired transitions, 130 secs || 12434872 markings, 18879314 edges,
lola: 25 tries, 24346360 fired transitions, 135 secs || 12999130 markings, 19764182 edges,
lola: 26 tries, 25443697 fired transitions, 140 secs || 13561655 markings, 20649135 edges,
lola: 27 tries, 26515368 fired transitions, 145 secs || 14117015 markings, 21519375 edges,
lola: 28 tries, 27644220 fired transitions, 150 secs || 14674354 markings, 22395455 edges,
lola: 29 tries, 28812081 fired transitions, 155 secs || 15233194 markings, 23271068 edges,
lola: 30 tries, 29902245 fired transitions, 160 secs || 15788591 markings, 24145851 edges,
lola: 31 tries, 30978333 fired transitions, 165 secs || 16343194 markings, 25022087 edges,
lola: 33 tries, 32134656 fired transitions, 170 secs || 16896759 markings, 25897343 edges,
lola: 34 tries, 33227199 fired transitions, 175 secs || 17449604 markings, 26771961 edges,
lola: 35 tries, 34398105 fired transitions, 180 secs || 18004965 markings, 27648786 edges,
lola: 36 tries, 35567468 fired transitions, 185 secs || 18559448 markings, 28520923 edges,
lola: 37 tries, 36614239 fired transitions, 190 secs || 19099687 markings, 29372275 edges,
lola: 38 tries, 37445619 fired transitions, 195 secs || 19517628 markings, 30034900 edges,
lola: 39 tries, 38329053 fired transitions, 200 secs || 19933796 markings, 30692419 edges,
lola: 40 tries, 39212275 fired transitions, 205 secs || 20351077 markings, 31349887 edges,
lola: 41 tries, 40095263 fired transitions, 210 secs || 20767098 markings, 32007921 edges,
lola: 41 tries, 40981565 fired transitions, 215 secs || 21182068 markings, 32667770 edges,
lola: 42 tries, 41867100 fired transitions, 220 secs || 21597256 markings, 33326881 edges,
lola: 43 tries, 42694408 fired transitions, 225 secs || 22013513 markings, 33986738 edges,
lola: 44 tries, 43509322 fired transitions, 230 secs || 22432234 markings, 34651236 edges,
lola: 45 tries, 44324863 fired transitions, 235 secs || 22851369 markings, 35319810 edges,
lola: 46 tries, 45140494 fired transitions, 240 secs || 23270159 markings, 35986237 edges,
lola: 46 tries, 45957230 fired transitions, 245 secs || 23688071 markings, 36651598 edges,
lola: 47 tries, 46835363 fired transitions, 250 secs || 24105477 markings, 37315831 edges,
lola: 48 tries, 47665182 fired transitions, 255 secs || 24522739 markings, 37980375 edges,
lola: 49 tries, 48521846 fired transitions, 260 secs || 24939659 markings, 38644175 edges,
lola: 50 tries, 49376862 fired transitions, 265 secs || 25357022 markings, 39312084 edges,
lola: 51 tries, 50194186 fired transitions, 270 secs || 25774012 markings, 39975471 edges,
lola: 52 tries, 51015221 fired transitions, 275 secs || 26190844 markings, 40640014 edges,
lola: 52 tries, 51890599 fired transitions, 280 secs || 26612849 markings, 41314100 edges,
lola: 53 tries, 52774091 fired transitions, 285 secs || 27029053 markings, 41978324 edges,
lola: 54 tries, 53657107 fired transitions, 290 secs || 27447324 markings, 42648231 edges,
lola: 55 tries, 54499458 fired transitions, 295 secs || 27864563 markings, 43313867 edges,
lola: 56 tries, 55340579 fired transitions, 300 secs || 28281704 markings, 43976966 edges,
lola: 57 tries, 56225407 fired transitions, 305 secs || 28696652 markings, 44641993 edges,
lola: 58 tries, 57108055 fired transitions, 310 secs || 29113418 markings, 45306363 edges,
lola: 58 tries, 57992535 fired transitions, 315 secs || 29530285 markings, 45971934 edges,
lola: 59 tries, 58876601 fired transitions, 320 secs || 29946664 markings, 46637692 edges,
lola: 60 tries, 59705693 fired transitions, 325 secs || 30363730 markings, 47309905 edges,
lola: 61 tries, 60526315 fired transitions, 330 secs || 30779697 markings, 47978604 edges,
lola: 62 tries, 61346506 fired transitions, 335 secs || 31194957 markings, 48646270 edges,
lola: 63 tries, 62180954 fired transitions, 340 secs || 31609849 markings, 49312468 edges,
lola: 64 tries, 63062398 fired transitions, 345 secs || 32025500 markings, 49978756 edges,
lola: 64 tries, 63883296 fired transitions, 350 secs || 32441368 markings, 50647571 edges,
lola: 65 tries, 64756467 fired transitions, 355 secs || 32861536 markings, 51324692 edges,
lola: 66 tries, 65820361 fired transitions, 360 secs || 33362754 markings, 52130268 edges,
lola: 67 tries, 66982969 fired transitions, 365 secs || 33912151 markings, 53012034 edges,
lola: 69 tries, 68133758 fired transitions, 370 secs || 34461127 markings, 53889735 edges,
lola: 70 tries, 69217816 fired transitions, 375 secs || 35009222 markings, 54769284 edges,
lola: 71 tries, 70213549 fired transitions, 380 secs || 35461856 markings, 55495052 edges,
lola: 72 tries, 71103229 fired transitions, 385 secs || 35876793 markings, 56162105 edges,
lola: 72 tries, 71993012 fired transitions, 390 secs || 36292116 markings, 56829798 edges,
lola: 73 tries, 72882936 fired transitions, 395 secs || 36706768 markings, 57494720 edges,
lola: 74 tries, 73714100 fired transitions, 400 secs || 37120046 markings, 58159442 edges,
lola: 75 tries, 74579685 fired transitions, 405 secs || 37534234 markings, 58822552 edges,
lola: 76 tries, 75444668 fired transitions, 410 secs || 37941369 markings, 59477589 edges,
lola: 77 tries, 76268894 fired transitions, 415 secs || 38355258 markings, 60145780 edges,
lola: 78 tries, 77092350 fired transitions, 420 secs || 38768791 markings, 60811025 edges,
lola: 78 tries, 77918900 fired transitions, 425 secs || 39180512 markings, 61476413 edges,
lola: 79 tries, 78744517 fired transitions, 430 secs || 39592006 markings, 62141960 edges,
lola: 80 tries, 79569798 fired transitions, 435 secs || 40003832 markings, 62805825 edges,
lola: 81 tries, 80396665 fired transitions, 440 secs || 40417438 markings, 63473803 edges,
lola: 82 tries, 81229862 fired transitions, 445 secs || 40824805 markings, 64132693 edges,
lola: 83 tries, 82040192 fired transitions, 450 secs || 41237143 markings, 64799612 edges,
lola: 83 tries, 82872978 fired transitions, 455 secs || 41643599 markings, 65456849 edges,
lola: 84 tries, 83697935 fired transitions, 460 secs || 42057080 markings, 66124846 edges,
lola: 85 tries, 84521876 fired transitions, 465 secs || 42469431 markings, 66786375 edges,
lola: 86 tries, 85378041 fired transitions, 470 secs || 42882381 markings, 67452847 edges,
lola: 87 tries, 86252391 fired transitions, 475 secs || 43294238 markings, 68120596 edges,
lola: 88 tries, 87083437 fired transitions, 480 secs || 43706069 markings, 68783538 edges,
lola: 88 tries, 87980334 fired transitions, 485 secs || 44117385 markings, 69449440 edges,
lola: 89 tries, 88809101 fired transitions, 490 secs || 44528556 markings, 70114174 edges,
lola: 90 tries, 89690453 fired transitions, 495 secs || 44940027 markings, 70778614 edges,
lola: 91 tries, 90587452 fired transitions, 500 secs || 45352055 markings, 71444780 edges,
lola: 92 tries, 91485420 fired transitions, 505 secs || 45763345 markings, 72111541 edges,
lola: 93 tries, 92352948 fired transitions, 510 secs || 46174205 markings, 72777581 edges,
lola: 94 tries, 93196564 fired transitions, 515 secs || 46583549 markings, 73443325 edges,
lola: 95 tries, 94093579 fired transitions, 520 secs || 46993539 markings, 74102380 edges,
lola: 95 tries, 94991669 fired transitions, 525 secs || 47406039 markings, 74769590 edges,
lola: 96 tries, 95891166 fired transitions, 530 secs || 47817024 markings, 75435906 edges,
lola: 97 tries, 96728949 fired transitions, 535 secs || 48226560 markings, 76103604 edges,
lola: 98 tries, 97604983 fired transitions, 540 secs || 48638896 markings, 76771670 edges,
lola: 99 tries, 98464936 fired transitions, 545 secs || 49049042 markings, 77439565 edges,
lola: 100 tries, 99319856 fired transitions, 550 secs || 49459288 markings, 78107457 edges,
lola: 101 tries, 100219545 fired transitions, 555 secs || 49870625 markings, 78778109 edges,
lola: 102 tries, 101117970 fired transitions, 560 secs || 50280745 markings, 79443281 edges,
lola: 103 tries, 102017851 fired transitions, 565 secs || 50691432 markings, 80110525 edges,
lola: 103 tries, 102918493 fired transitions, 570 secs || 51100954 markings, 80775209 edges,
lola: 104 tries, 103751542 fired transitions, 575 secs || 51512335 markings, 81437717 edges,
lola: 105 tries, 104630905 fired transitions, 580 secs || 51921107 markings, 82105594 edges,
lola: 106 tries, 105529862 fired transitions, 585 secs || 52330144 markings, 82767973 edges,
lola: 107 tries, 106431638 fired transitions, 590 secs || 52740335 markings, 83432629 edges,
lola: 108 tries, 107330047 fired transitions, 595 secs || 53150007 markings, 84095630 edges,
lola: 109 tries, 108211952 fired transitions, 600 secs || 53559541 markings, 84760938 edges,
lola: 110 tries, 109042669 fired transitions, 605 secs || 53967916 markings, 85426306 edges,
lola: 110 tries, 109875682 fired transitions, 610 secs || 54376660 markings, 86091839 edges,
lola: 111 tries, 110705221 fired transitions, 615 secs || 54786408 markings, 86756332 edges,
lola: 112 tries, 111579216 fired transitions, 620 secs || 55196782 markings, 87422492 edges,
lola: 113 tries, 112481990 fired transitions, 625 secs || 55604869 markings, 88088078 edges,
lola: 114 tries, 113353752 fired transitions, 630 secs || 56014330 markings, 88756327 edges,
lola: 115 tries, 114200132 fired transitions, 635 secs || 56422083 markings, 89420260 edges,
lola: 116 tries, 115102108 fired transitions, 640 secs || 56831603 markings, 90084456 edges,
lola: 117 tries, 116002708 fired transitions, 645 secs || 57239774 markings, 90745523 edges,
lola: 117 tries, 116903657 fired transitions, 650 secs || 57649695 markings, 91411191 edges,
lola: 118 tries, 117741732 fired transitions, 655 secs || 58057916 markings, 92076530 edges,
lola: 119 tries, 118620884 fired transitions, 660 secs || 58465769 markings, 92741672 edges,
lola: 120 tries, 119482741 fired transitions, 665 secs || 58874326 markings, 93407257 edges,
lola: 121 tries, 120313551 fired transitions, 670 secs || 59283658 markings, 94072157 edges,
lola: 122 tries, 121144474 fired transitions, 675 secs || 59691318 markings, 94735411 edges,
lola: 122 tries, 121976214 fired transitions, 680 secs || 60101109 markings, 95402743 edges,
lola: 123 tries, 122877629 fired transitions, 685 secs || 60508232 markings, 96069994 edges,
lola: 124 tries, 123718552 fired transitions, 690 secs || 60916118 markings, 96735204 edges,
lola: 125 tries, 124596130 fired transitions, 695 secs || 61323376 markings, 97399706 edges,
lola: 126 tries, 125459710 fired transitions, 700 secs || 61731196 markings, 98064938 edges,
lola: 127 tries, 126316390 fired transitions, 705 secs || 62139113 markings, 98728852 edges,
lola: 128 tries, 127220027 fired transitions, 710 secs || 62546012 markings, 99392298 edges,
lola: 129 tries, 128122228 fired transitions, 715 secs || 62954805 markings, 100059137 edges,
lola: 130 tries, 129022992 fired transitions, 720 secs || 63363981 markings, 100724821 edges,
lola: 130 tries, 129855426 fired transitions, 725 secs || 63772272 markings, 101390380 edges,
lola: 131 tries, 130688552 fired transitions, 730 secs || 64180447 markings, 102056526 edges,
lola: 132 tries, 131565070 fired transitions, 735 secs || 64590975 markings, 102725169 edges,
lola: 133 tries, 132432491 fired transitions, 740 secs || 64999206 markings, 103391711 edges,
lola: 134 tries, 133289285 fired transitions, 745 secs || 65407655 markings, 104060890 edges,
lola: 135 tries, 134178077 fired transitions, 750 secs || 65814751 markings, 104723538 edges,
lola: 136 tries, 135012112 fired transitions, 755 secs || 66222008 markings, 105390715 edges,
lola: 136 tries, 135915742 fired transitions, 760 secs || 66629577 markings, 106056323 edges,
lola: 137 tries, 136819785 fired transitions, 765 secs || 67037699 markings, 106722328 edges,
lola: 138 tries, 137723142 fired transitions, 770 secs || 67444670 markings, 107388619 edges,
lola: 139 tries, 138628819 fired transitions, 775 secs || 67850957 markings, 108054765 edges,
lola: 140 tries, 139534771 fired transitions, 780 secs || 68257913 markings, 108719918 edges,
lola: 141 tries, 140440223 fired transitions, 785 secs || 68664957 markings, 109384330 edges,
lola: 142 tries, 141348358 fired transitions, 790 secs || 69072965 markings, 110053882 edges,
lola: 143 tries, 142254896 fired transitions, 795 secs || 69481239 markings, 110722184 edges,
lola: 144 tries, 143160443 fired transitions, 800 secs || 69889400 markings, 111391839 edges,
lola: 145 tries, 144065899 fired transitions, 805 secs || 70296321 markings, 112058382 edges,
lola: 145 tries, 144972613 fired transitions, 810 secs || 70703648 markings, 112728023 edges,
lola: 146 tries, 145878369 fired transitions, 815 secs || 71111836 markings, 113395357 edges,
lola: 147 tries, 146721576 fired transitions, 820 secs || 71517988 markings, 114060443 edges,
lola: 148 tries, 147603268 fired transitions, 825 secs || 71924703 markings, 114727071 edges,
lola: 149 tries, 148509787 fired transitions, 830 secs || 72332011 markings, 115394532 edges,
lola: 150 tries, 149416921 fired transitions, 835 secs || 72740577 markings, 116066434 edges,
lola: 151 tries, 150323138 fired transitions, 840 secs || 73146008 markings, 116729627 edges,
lola: 152 tries, 151229587 fired transitions, 845 secs || 73553827 markings, 117396168 edges,
lola: 153 tries, 152134591 fired transitions, 850 secs || 73959858 markings, 118058874 edges,
lola: 154 tries, 153039569 fired transitions, 855 secs || 74368100 markings, 118726918 edges,
lola: 154 tries, 153944394 fired transitions, 860 secs || 74775494 markings, 119394292 edges,
lola: 155 tries, 154849134 fired transitions, 865 secs || 75183249 markings, 120060216 edges,
lola: 156 tries, 155696209 fired transitions, 870 secs || 75589308 markings, 120729559 edges,
lola: 157 tries, 156577063 fired transitions, 875 secs || 75995562 markings, 121395181 edges,
lola: 158 tries, 157484594 fired transitions, 880 secs || 76400743 markings, 122059161 edges,
lola: 159 tries, 158389394 fired transitions, 885 secs || 76808349 markings, 122724225 edges,
lola: 160 tries, 159296869 fired transitions, 890 secs || 77214741 markings, 123388371 edges,
lola: 161 tries, 160203374 fired transitions, 895 secs || 77620823 markings, 124053963 edges,
lola: 162 tries, 161101714 fired transitions, 900 secs || 78027372 markings, 124720013 edges,
lola: 162 tries, 161939251 fired transitions, 905 secs || 78432534 markings, 125385329 edges,
lola: 163 tries, 162773487 fired transitions, 910 secs || 78838119 markings, 126047471 edges,
lola: 164 tries, 163608967 fired transitions, 915 secs || 79243496 markings, 126713073 edges,
lola: 165 tries, 164445488 fired transitions, 920 secs || 79648815 markings, 127377481 edges,
lola: 166 tries, 165305009 fired transitions, 925 secs || 80056757 markings, 128044904 edges,
lola: 167 tries, 166210980 fired transitions, 930 secs || 80463364 markings, 128711605 edges,
lola: 168 tries, 167108339 fired transitions, 935 secs || 80872191 markings, 129382986 edges,
lola: 168 tries, 167943187 fired transitions, 940 secs || 81277885 markings, 130046419 edges,
lola: 169 tries, 168779101 fired transitions, 945 secs || 81684222 markings, 130713393 edges,
lola: 170 tries, 169668607 fired transitions, 950 secs || 82090799 markings, 131382232 edges,
lola: 171 tries, 170577519 fired transitions, 955 secs || 82497752 markings, 132050613 edges,
lola: 172 tries, 171447140 fired transitions, 960 secs || 82903446 markings, 132716969 edges,
lola: 173 tries, 172308626 fired transitions, 965 secs || 83309867 markings, 133384266 edges,
lola: 174 tries, 173199119 fired transitions, 970 secs || 83715574 markings, 134052077 edges,
lola: 175 tries, 174058428 fired transitions, 975 secs || 84129579 markings, 134729210 edges,
lola: 175 tries, 174965103 fired transitions, 980 secs || 84535304 markings, 135395157 edges,
lola: 177 tries, 176095659 fired transitions, 985 secs || 85033767 markings, 136211709 edges,
lola: 178 tries, 177003011 fired transitions, 990 secs || 85457232 markings, 136905456 edges,
lola: 178 tries, 177918907 fired transitions, 995 secs || 85859017 markings, 137564708 edges,
lola: 179 tries, 178764966 fired transitions, 1000 secs || 86264359 markings, 138232986 edges,
lola: 180 tries, 179613668 fired transitions, 1005 secs || 86663263 markings, 138888593 edges,
lola: 181 tries, 180466619 fired transitions, 1010 secs || 87057737 markings, 139536664 edges,
lola: 182 tries, 181348526 fired transitions, 1015 secs || 87453720 markings, 140188209 edges,
lola: 183 tries, 182276116 fired transitions, 1020 secs || 87849287 markings, 140840499 edges,
lola: 184 tries, 183204678 fired transitions, 1025 secs || 88246353 markings, 141494404 edges,
lola: 185 tries, 184130791 fired transitions, 1030 secs || 88642265 markings, 142144838 edges,
lola: 186 tries, 185058338 fired transitions, 1035 secs || 89037981 markings, 142795080 edges,
lola: 186 tries, 185985672 fired transitions, 1040 secs || 89433322 markings, 143445659 edges,
lola: 187 tries, 186913269 fired transitions, 1045 secs || 89828867 markings, 144096588 edges,
lola: 188 tries, 187774952 fired transitions, 1050 secs || 90224413 markings, 144747980 edges,
lola: 189 tries, 188681895 fired transitions, 1055 secs || 90620585 markings, 145397663 edges,
lola: 190 tries, 189609781 fired transitions, 1060 secs || 91017829 markings, 146050102 edges,
lola: 191 tries, 190537275 fired transitions, 1065 secs || 91414096 markings, 146700733 edges,
lola: 192 tries, 191428739 fired transitions, 1070 secs || 91808914 markings, 147353657 edges,
lola: 193 tries, 192308350 fired transitions, 1075 secs || 92204572 markings, 148005464 edges,
lola: 194 tries, 193217393 fired transitions, 1080 secs || 92599677 markings, 148655030 edges,
lola: 195 tries, 194079463 fired transitions, 1085 secs || 92995120 markings, 149307027 edges,
lola: 196 tries, 195008275 fired transitions, 1090 secs || 93389766 markings, 149958012 edges,
lola: 196 tries, 195935540 fired transitions, 1095 secs || 93786124 markings, 150608170 edges,
lola: 197 tries, 196794710 fired transitions, 1100 secs || 94181850 markings, 151256098 edges,
lola: 198 tries, 197702324 fired transitions, 1105 secs || 94577514 markings, 151904066 edges,
lola: 199 tries, 198581531 fired transitions, 1110 secs || 94970583 markings, 152551738 edges,
lola: 200 tries, 199438039 fired transitions, 1115 secs || 95364952 markings, 153198461 edges,
lola: 201 tries, 200318472 fired transitions, 1120 secs || 95761246 markings, 153851209 edges,
lola: 202 tries, 201245184 fired transitions, 1125 secs || 96156397 markings, 154501026 edges,
lola: 203 tries, 202172415 fired transitions, 1130 secs || 96551948 markings, 155150654 edges,
lola: 204 tries, 203101419 fired transitions, 1135 secs || 96946464 markings, 155801206 edges,
lola: 205 tries, 204029776 fired transitions, 1140 secs || 97342386 markings, 156452694 edges,
lola: 205 tries, 204958027 fired transitions, 1145 secs || 97737073 markings, 157103429 edges,
lola: 206 tries, 205819043 fired transitions, 1150 secs || 98130227 markings, 157753080 edges,
lola: 207 tries, 206732990 fired transitions, 1155 secs || 98524524 markings, 158404632 edges,
lola: 208 tries, 207661623 fired transitions, 1160 secs || 98918895 markings, 159054188 edges,
lola: 209 tries, 208670605 fired transitions, 1165 secs || 99387364 markings, 159825010 edges,
lola: 210 tries, 209864136 fired transitions, 1170 secs || 99939647 markings, 160732415 edges,
lola: 211 tries, 210955862 fired transitions, 1175 secs || 100436076 markings, 161550486 edges,
lola: 212 tries, 211784458 fired transitions, 1180 secs || 100847802 markings, 162228810 edges,
lola: 213 tries, 212609331 fired transitions, 1185 secs || 101257843 markings, 162908262 edges,
lola: 214 tries, 213433812 fired transitions, 1190 secs || 101668477 markings, 163585529 edges,
lola: 215 tries, 214257952 fired transitions, 1195 secs || 102080445 markings, 164263762 edges,
lola: 216 tries, 215174155 fired transitions, 1200 secs || 102531342 markings, 165006984 edges,
lola: 217 tries, 216341912 fired transitions, 1205 secs || 103076581 markings, 165903975 edges,
lola: 218 tries, 217579746 fired transitions, 1210 secs || 103623889 markings, 166808664 edges,
lola: 219 tries, 218808901 fired transitions, 1215 secs || 104167709 markings, 167710835 edges,
lola: 221 tries, 220046034 fired transitions, 1220 secs || 104714218 markings, 168610152 edges,
lola: 222 tries, 221176753 fired transitions, 1225 secs || 105217277 markings, 169442630 edges,
lola: 223 tries, 222070009 fired transitions, 1230 secs || 105626742 markings, 170120386 edges,
lola: 223 tries, 222900736 fired transitions, 1235 secs || 106036599 markings, 170796032 edges,
lola: 224 tries, 223791102 fired transitions, 1240 secs || 106446513 markings, 171474077 edges,
lola: 225 tries, 224638734 fired transitions, 1245 secs || 106855043 markings, 172151268 edges,
lola: 226 tries, 225468629 fired transitions, 1250 secs || 107264355 markings, 172825455 edges,
lola: 227 tries, 226299661 fired transitions, 1255 secs || 107674629 markings, 173500351 edges,
lola: 228 tries, 227142035 fired transitions, 1260 secs || 108084344 markings, 174178394 edges,
lola: 229 tries, 228040877 fired transitions, 1265 secs || 108493808 markings, 174857340 edges,
lola: 229 tries, 228937773 fired transitions, 1270 secs || 108902395 markings, 175531366 edges,
lola: 230 tries, 229771781 fired transitions, 1275 secs || 109311340 markings, 176205281 edges,
lola: 231 tries, 230601922 fired transitions, 1280 secs || 109719871 markings, 176881664 edges,
lola: 232 tries, 231464860 fired transitions, 1285 secs || 110129148 markings, 177556842 edges,
lola: 233 tries, 232395852 fired transitions, 1290 secs || 110552918 markings, 178258491 edges,
lola: 234 tries, 233581233 fired transitions, 1295 secs || 111095504 markings, 179156842 edges,
lola: 235 tries, 234718457 fired transitions, 1300 secs || 111637560 markings, 180050338 edges,
lola: 236 tries, 235930298 fired transitions, 1305 secs || 112184540 markings, 180951269 edges,
lola: 238 tries, 237080305 fired transitions, 1310 secs || 112730454 markings, 181849158 edges,
lola: 239 tries, 238291238 fired transitions, 1315 secs || 113273900 markings, 182745777 edges,
lola: 240 tries, 239468063 fired transitions, 1320 secs || 113817417 markings, 183642649 edges,
lola: 241 tries, 240705137 fired transitions, 1325 secs || 114363479 markings, 184541859 edges,
lola: 242 tries, 241943420 fired transitions, 1330 secs || 114908320 markings, 185443095 edges,
lola: 244 tries, 243144346 fired transitions, 1335 secs || 115434162 markings, 186314837 edges,
lola: 245 tries, 244080154 fired transitions, 1340 secs || 115826522 markings, 186967586 edges,
lola: 246 tries, 245099645 fired transitions, 1345 secs || 116264084 markings, 187694065 edges,
lola: 247 tries, 246296888 fired transitions, 1350 secs || 116814500 markings, 188602810 edges,
lola: 248 tries, 247457581 fired transitions, 1355 secs || 117363816 markings, 189506313 edges,
lola: 249 tries, 248682718 fired transitions, 1360 secs || 117912646 markings, 190413549 edges,
lola: 250 tries, 249909189 fired transitions, 1365 secs || 118464506 markings, 191326509 edges,
lola: 252 tries, 251102259 fired transitions, 1370 secs || 119004870 markings, 192219399 edges,
lola: 253 tries, 252244107 fired transitions, 1375 secs || 119553754 markings, 193126726 edges,
lola: 254 tries, 253429714 fired transitions, 1380 secs || 120103271 markings, 194035951 edges,
lola: 255 tries, 254552881 fired transitions, 1385 secs || 120649952 markings, 194940276 edges,
lola: 256 tries, 255676477 fired transitions, 1390 secs || 121197470 markings, 195848555 edges,
lola: 257 tries, 256800884 fired transitions, 1395 secs || 121746184 markings, 196756430 edges,
lola: 259 tries, 258008860 fired transitions, 1400 secs || 122294371 markings, 197662106 edges,
lola: 260 tries, 259147653 fired transitions, 1405 secs || 122841204 markings, 198566962 edges,
lola: 261 tries, 260374611 fired transitions, 1410 secs || 123391232 markings, 199474178 edges,
lola: 262 tries, 261552085 fired transitions, 1415 secs || 123940214 markings, 200381829 edges,
lola: 263 tries, 262739332 fired transitions, 1420 secs || 124488836 markings, 201288843 edges,
lola: 264 tries, 263886360 fired transitions, 1425 secs || 125036161 markings, 202192457 edges,
lola: 266 tries, 265011326 fired transitions, 1430 secs || 125583126 markings, 203096888 edges,
lola: 267 tries, 266236395 fired transitions, 1435 secs || 126131452 markings, 204004994 edges,
lola: 268 tries, 267424782 fired transitions, 1440 secs || 126679291 markings, 204910577 edges,
lola: 269 tries, 268598096 fired transitions, 1445 secs || 127226744 markings, 205817308 edges,
lola: 270 tries, 269822901 fired transitions, 1450 secs || 127776171 markings, 206724636 edges,
lola: 272 tries, 271047962 fired transitions, 1455 secs || 128325128 markings, 207633219 edges,
lola: 273 tries, 272272812 fired transitions, 1460 secs || 128873194 markings, 208539408 edges,
lola: 274 tries, 273497679 fired transitions, 1465 secs || 129422751 markings, 209447734 edges,
lola: 275 tries, 274665996 fired transitions, 1470 secs || 129970031 markings, 210355518 edges,
lola: 276 tries, 275864256 fired transitions, 1475 secs || 130519351 markings, 211262437 edges,
lola: 278 tries, 277084516 fired transitions, 1480 secs || 131066846 markings, 212169051 edges,
lola: 279 tries, 278230537 fired transitions, 1485 secs || 131613003 markings, 213074277 edges,
lola: 280 tries, 279420958 fired transitions, 1490 secs || 132160091 markings, 213981923 edges,
lola: 281 tries, 280548708 fired transitions, 1495 secs || 132707513 markings, 214890780 edges,
lola: 282 tries, 281676725 fired transitions, 1500 secs || 133253309 markings, 215798123 edges,
lola: 283 tries, 282804355 fired transitions, 1505 secs || 133799464 markings, 216703275 edges,
lola: 284 tries, 283693218 fired transitions, 1510 secs || 134213561 markings, 217390556 edges,
lola: 285 tries, 284547135 fired transitions, 1515 secs || 134623661 markings, 218072680 edges,
lola: 286 tries, 285406913 fired transitions, 1520 secs || 135031190 markings, 218750724 edges,
lola: 287 tries, 286303390 fired transitions, 1525 secs || 135439107 markings, 219428586 edges,
lola: 288 tries, 287200307 fired transitions, 1530 secs || 135847172 markings, 220106217 edges,
lola: 289 tries, 288089420 fired transitions, 1535 secs || 136255988 markings, 220783370 edges,
lola: 289 tries, 288918656 fired transitions, 1540 secs || 136663230 markings, 221458613 edges,
lola: 290 tries, 289808173 fired transitions, 1545 secs || 137070140 markings, 222131577 edges,
lola: 291 tries, 290705909 fired transitions, 1550 secs || 137479611 markings, 222811042 edges,
lola: 292 tries, 291556585 fired transitions, 1555 secs || 137888730 markings, 223486572 edges,
lola: 293 tries, 292417069 fired transitions, 1560 secs || 138297285 markings, 224164487 edges,
lola: 294 tries, 293291027 fired transitions, 1565 secs || 138704523 markings, 224839437 edges,
lola: 295 tries, 294121115 fired transitions, 1570 secs || 139111385 markings, 225514950 edges,
lola: 295 tries, 294950350 fired transitions, 1575 secs || 139520667 markings, 226192603 edges,
lola: 296 tries, 295778238 fired transitions, 1580 secs || 139927218 markings, 226865028 edges,
lola: 297 tries, 296607955 fired transitions, 1585 secs || 140336407 markings, 227543427 edges,
lola: 298 tries, 297474846 fired transitions, 1590 secs || 140744137 markings, 228221572 edges,
lola: 299 tries, 298373378 fired transitions, 1595 secs || 141152222 markings, 228898519 edges,
lola: 300 tries, 299252092 fired transitions, 1600 secs || 141558930 markings, 229574496 edges,
lola: 301 tries, 300084655 fired transitions, 1605 secs || 141967971 markings, 230255277 edges,
lola: 301 tries, 300916715 fired transitions, 1610 secs || 142375661 markings, 230933487 edges,
lola: 302 tries, 301748167 fired transitions, 1615 secs || 142783678 markings, 231611167 edges,
lola: 303 tries, 302626131 fired transitions, 1620 secs || 143191898 markings, 232290259 edges,
lola: 304 tries, 303484828 fired transitions, 1625 secs || 143598650 markings, 232967463 edges,
lola: 305 tries, 304315912 fired transitions, 1630 secs || 144006471 markings, 233644752 edges,
lola: 306 tries, 305147264 fired transitions, 1635 secs || 144413914 markings, 234324260 edges,
lola: 306 tries, 305977930 fired transitions, 1640 secs || 144821012 markings, 235000873 edges,
lola: 307 tries, 306811315 fired transitions, 1645 secs || 145227487 markings, 235674988 edges,
lola: 308 tries, 307642231 fired transitions, 1650 secs || 145636237 markings, 236352915 edges,
lola: 309 tries, 308511724 fired transitions, 1655 secs || 146043718 markings, 237029128 edges,
lola: 310 tries, 309408637 fired transitions, 1660 secs || 146451119 markings, 237702604 edges,
lola: 311 tries, 310283107 fired transitions, 1665 secs || 146858561 markings, 238378611 edges,
lola: 312 tries, 311119100 fired transitions, 1670 secs || 147253801 markings, 239034267 edges,
lola: 312 tries, 311950364 fired transitions, 1675 secs || 147660787 markings, 239711571 edges,
lola: 313 tries, 312781619 fired transitions, 1680 secs || 148069343 markings, 240390332 edges,
lola: 314 tries, 313613628 fired transitions, 1685 secs || 148476317 markings, 241065312 edges,
lola: 315 tries, 314481430 fired transitions, 1690 secs || 148883921 markings, 241743864 edges,
lola: 316 tries, 315351949 fired transitions, 1695 secs || 149292027 markings, 242421449 edges,
lola: 317 tries, 316197875 fired transitions, 1700 secs || 149699643 markings, 243098013 edges,
lola: 318 tries, 317088565 fired transitions, 1705 secs || 150106177 markings, 243774220 edges,
lola: 318 tries, 317920610 fired transitions, 1710 secs || 150512692 markings, 244449244 edges,
lola: 319 tries, 318815323 fired transitions, 1715 secs || 150919552 markings, 245126751 edges,
lola: 320 tries, 319714150 fired transitions, 1720 secs || 151326340 markings, 245802838 edges,
lola: 321 tries, 320568406 fired transitions, 1725 secs || 151734326 markings, 246481708 edges,
lola: 322 tries, 321432471 fired transitions, 1730 secs || 152142047 markings, 247159789 edges,
lola: 323 tries, 322308553 fired transitions, 1735 secs || 152549710 markings, 247837108 edges,
lola: 324 tries, 323151127 fired transitions, 1740 secs || 152957382 markings, 248513672 edges,
lola: 325 tries, 324049263 fired transitions, 1745 secs || 153364960 markings, 249189868 edges,
lola: 325 tries, 324947634 fired transitions, 1750 secs || 153771401 markings, 249864740 edges,
lola: 326 tries, 325784564 fired transitions, 1755 secs || 154178006 markings, 250540256 edges,
lola: 327 tries, 326666277 fired transitions, 1760 secs || 154584928 markings, 251215135 edges,
lola: 328 tries, 327566844 fired transitions, 1765 secs || 154993352 markings, 251894987 edges,
lola: 329 tries, 328466332 fired transitions, 1770 secs || 155399866 markings, 252571019 edges,
lola: 330 tries, 329338912 fired transitions, 1775 secs || 155807747 markings, 253250367 edges,
lola: 331 tries, 330184840 fired transitions, 1780 secs || 156215707 markings, 253926836 edges,
lola: 332 tries, 331083962 fired transitions, 1785 secs || 156623067 markings, 254602469 edges,
lola: 332 tries, 331983773 fired transitions, 1790 secs || 157029715 markings, 255281249 edges,
lola: 333 tries, 332884496 fired transitions, 1795 secs || 157430397 markings, 255946704 edges,
lola: 334 tries, 333784796 fired transitions, 1800 secs || 157836796 markings, 256622787 edges,
lola: 335 tries, 334632378 fired transitions, 1805 secs || 158242493 markings, 257298081 edges,
lola: 336 tries, 335504276 fired transitions, 1810 secs || 158648840 markings, 257977441 edges,
lola: 337 tries, 336375096 fired transitions, 1815 secs || 159057295 markings, 258656453 edges,
lola: 338 tries, 337208389 fired transitions, 1820 secs || 159463542 markings, 259335239 edges,
lola: 339 tries, 338045484 fired transitions, 1825 secs || 159869729 markings, 260009629 edges,
lola: 339 tries, 338944185 fired transitions, 1830 secs || 160278866 markings, 260686002 edges,
lola: 340 tries, 339844061 fired transitions, 1835 secs || 160685682 markings, 261363241 edges,
lola: 341 tries, 340743196 fired transitions, 1840 secs || 161092295 markings, 262038731 edges,
lola: 342 tries, 341642732 fired transitions, 1845 secs || 161496860 markings, 262710986 edges,
lola: 343 tries, 342543592 fired transitions, 1850 secs || 161904500 markings, 263386357 edges,
lola: 344 tries, 343443996 fired transitions, 1855 secs || 162310815 markings, 264064540 edges,
lola: 345 tries, 344343464 fired transitions, 1860 secs || 162718653 markings, 264741994 edges,
lola: 346 tries, 345243326 fired transitions, 1865 secs || 163124719 markings, 265417565 edges,
lola: 347 tries, 346144682 fired transitions, 1870 secs || 163530946 markings, 266093451 edges,
lola: 348 tries, 347042567 fired transitions, 1875 secs || 163937653 markings, 266770316 edges,
lola: 348 tries, 347875088 fired transitions, 1880 secs || 164343773 markings, 267447277 edges,
lola: 349 tries, 348767189 fired transitions, 1885 secs || 164750317 markings, 268125235 edges,
lola: 350 tries, 349667575 fired transitions, 1890 secs || 165156251 markings, 268799158 edges,
lola: 351 tries, 350568079 fired transitions, 1895 secs || 165562641 markings, 269474136 edges,
lola: 352 tries, 351469368 fired transitions, 1900 secs || 165969408 markings, 270153093 edges,
lola: 353 tries, 352342232 fired transitions, 1905 secs || 166375286 markings, 270827281 edges,
lola: 354 tries, 353190451 fired transitions, 1910 secs || 166781067 markings, 271504255 edges,
lola: 355 tries, 354090427 fired transitions, 1915 secs || 167187556 markings, 272179131 edges,
lola: 355 tries, 354994285 fired transitions, 1920 secs || 167592789 markings, 272855825 edges,
lola: 356 tries, 355830415 fired transitions, 1925 secs || 168000925 markings, 273536638 edges,
lola: 357 tries, 356663258 fired transitions, 1930 secs || 168406379 markings, 274211680 edges,
lola: 358 tries, 357537504 fired transitions, 1935 secs || 168812690 markings, 274888133 edges,
lola: 359 tries, 358408275 fired transitions, 1940 secs || 169217954 markings, 275564249 edges,
lola: 360 tries, 359242741 fired transitions, 1945 secs || 169625004 markings, 276242889 edges,
lola: 361 tries, 360075234 fired transitions, 1950 secs || 170031044 markings, 276917314 edges,
lola: 361 tries, 360908348 fired transitions, 1955 secs || 170436805 markings, 277593656 edges,
lola: 362 tries, 361741941 fired transitions, 1960 secs || 170841823 markings, 278272504 edges,
lola: 363 tries, 362623831 fired transitions, 1965 secs || 171247788 markings, 278947286 edges,
lola: 364 tries, 363485485 fired transitions, 1970 secs || 171653580 markings, 279620322 edges,
lola: 365 tries, 364345310 fired transitions, 1975 secs || 172058651 markings, 280296041 edges,
lola: 366 tries, 365245795 fired transitions, 1980 secs || 172464063 markings, 280971443 edges,
lola: 367 tries, 366147073 fired transitions, 1985 secs || 172868068 markings, 281645034 edges,
lola: 368 tries, 367045017 fired transitions, 1990 secs || 173274071 markings, 282320206 edges,
lola: 368 tries, 367878196 fired transitions, 1995 secs || 173678458 markings, 282995064 edges,
lola: 369 tries, 368769407 fired transitions, 2000 secs || 174083930 markings, 283670070 edges,
lola: 370 tries, 369620202 fired transitions, 2005 secs || 174489323 markings, 284347063 edges,
lola: 371 tries, 370491184 fired transitions, 2010 secs || 174894116 markings, 285020890 edges,
lola: 371 tries, 370886216 fired transitions, 2015 secs || 174977983 markings, 285160144 edges,
lola: 371 tries, 370942593 fired transitions, 2020 secs || 174981019 markings, 285165423 edges,
lola: 372 tries, 371005391 fired transitions, 2025 secs || 174984246 markings, 285170829 edges,
lola: 372 tries, 371887126 fired transitions, 2030 secs || 175078457 markings, 285327822 edges,
lola: 372 tries, 371899213 fired transitions, 2035 secs || 175081315 markings, 285332657 edges,
lola: 372 tries, 371899388 fired transitions, 2040 secs || 175081345 markings, 285332731 edges,
lola: 373 tries, 372037901 fired transitions, 2045 secs || 175094757 markings, 285355229 edges,
lola: 373 tries, 372057376 fired transitions, 2050 secs || 175097539 markings, 285359832 edges,
Killed
rslt: finished

BK_STOP 1552511775307

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
/data/fkordon/mcc2019-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off tarjan) jan) 90871 markings/sec, 0 secs 90004 markings/sec, 5 secs 90351 markings/sec, 10 secs 86649 markings/sec, 15 secs 88973 markings/sec, 20 secs 88174 markings/sec, 25 secs 87917 markings/sec, 30 secs 87638 markings/sec, 35 secs 87369 markings/sec, 40 secs 87017 markings/sec, 45 secs 87022 markings/sec, 50 secs 86686 markings/sec, 55 secs 86423 markings/sec, 60 secs 86198 markings/sec, 65 secs 95612 markings/sec, 70 secs 100118 markings/sec, 75 secs 86121 markings/sec, 80 secs 85629 markings/sec, 85 secs 85577 markings/sec, 90 secs 85919 markings/sec, 95 secs 86158 markings/sec, 100 secs 86148 markings/sec, 105 secs 91748 markings/sec, 110 secs 113427 markings/sec, 115 secs 112993 markings/sec, 120 secs 113137 markings/sec, 125 secs 113099 markings/sec, 130 secs 112852 markings/sec, 135 secs 112505 markings/sec, 140 secs 111072 markings/sec, 145 secs 111468 markings/sec, 150 secs 111768 markings/sec, 155 secs 111079 markings/sec, 160 secs 110921 markings/sec, 165 secs 110713 markings/sec, 170 secs 110569 markings/sec, 175 secs 111072 markings/sec, 180 secs 110897 markings/sec, 185 secs 108048 markings/sec, 190 secs 83588 markings/sec, 195 secs 83234 markings/sec, 200 secs 83456 markings/sec, 205 secs 83204 markings/sec, 210 secs 82994 markings/sec, 215 secs 83038 markings/sec, 220 secs 83251 markings/sec, 225 secs 83744 markings/sec, 230 secs 83827 markings/sec, 235 secs 83758 markings/sec, 240 secs 83582 markings/sec, 245 secs 83481 markings/sec, 250 secs 83452 markings/sec, 255 secs 83384 markings/sec, 260 secs 83473 markings/sec, 265 secs 83398 markings/sec, 270 secs 83366 markings/sec, 275 secs 84401 markings/sec, 280 secs 83241 markings/sec, 285 secs 83654 markings/sec, 290 secs 83448 markings/sec, 295 secs 83428 markings/sec, 300 secs 82990 markings/sec, 305 secs 83353 markings/sec, 310 secs 83373 markings/sec, 315 secs 83276 markings/sec, 320 secs 83413 markings/sec, 325 secs 83193 markings/sec, 330 secs 83052 markings/sec, 335 secs 82978 markings/sec, 340 secs 83130 markings/sec, 345 secs 83174 markings/sec, 350 secs 84034 markings/sec, 355 secs 100244 markings/sec, 360 secs 109879 markings/sec, 365 secs 109795 markings/sec, 370 secs 109619 markings/sec, 375 secs 90527 markings/sec, 380 secs 82987 markings/sec, 385 secs 83065 markings/sec, 390 secs 82930 markings/sec, 395 secs 82656 markings/sec, 400 secs 82838 markings/sec, 405 secs 81427 markings/sec, 410 secs 82778 markings/sec, 415 secs 82707 markings/sec, 420 secs 82344 markings/sec, 425 secs 82299 markings/sec, 430 secs 82365 markings/sec, 435 secs 82721 markings/sec, 440 secs 81473 markings/sec, 445 secs 82468 markings/sec, 450 secs 81291 markings/sec, 455 secs 82696 markings/sec, 460 secs 82470 markings/sec, 465 secs 82590 markings/sec, 470 secs 82371 markings/sec, 475 secs 82366 markings/sec, 480 secs 82263 markings/sec, 485 secs 82234 markings/sec, 490 secs 82294 markings/sec, 495 secs 82406 markings/sec, 500 secs 82258 markings/sec, 505 secs 82172 markings/sec, 510 secs 81869 markings/sec, 515 secs 81998 markings/sec, 520 secs 82500 markings/sec, 525 secs 82197 markings/sec, 530 secs 81907 markings/sec, 535 secs 82467 markings/sec, 540 secs 82029 markings/sec, 545 secs 82049 markings/sec, 550 secs 82267 markings/sec, 555 secs 82024 markings/sec, 560 secs 82137 markings/sec, 565 secs 81904 markings/sec, 570 secs 82276 markings/sec, 575 secs 81754 markings/sec, 580 secs 81807 markings/sec, 585 secs 82038 markings/sec, 590 secs 81934 markings/sec, 595 secs 81907 markings/sec, 600 secs 81675 markings/sec, 605 secs 81749 markings/sec, 610 secs 81950 markings/sec, 615 secs 82075 markings/sec, 620 secs 81617 markings/sec, 625 secs 81892 markings/sec, 630 secs 81551 markings/sec, 635 secs 81904 markings/sec, 640 secs 81634 markings/sec, 645 secs 81984 markings/sec, 650 secs 81644 markings/sec, 655 secs 81571 markings/sec, 660 secs 81711 markings/sec, 665 secs 81866 markings/sec, 670 secs 81532 markings/sec, 675 secs 81958 markings/sec, 680 secs 81425 markings/sec, 685 secs 81577 markings/sec, 690 secs 81452 markings/sec, 695 secs 81564 markings/sec, 700 secs 81583 markings/sec, 705 secs 81380 markings/sec, 710 secs 81759 markings/sec, 715 secs 81835 markings/sec, 720 secs 81658 markings/sec, 725 secs 81635 markings/sec, 730 secs 82106 markings/sec, 735 secs 81646 markings/sec, 740 secs 81690 markings/sec, 745 secs 81419 markings/sec, 750 secs 81451 markings/sec, 755 secs 81514 markings/sec, 760 secs 81624 markings/sec, 765 secs 81394 markings/sec, 770 secs 81257 markings/sec, 775 secs 81391 markings/sec, 780 secs 81409 markings/sec, 785 secs 81602 markings/sec, 790 secs 81655 markings/sec, 795 secs 81632 markings/sec, 800 secs 81384 markings/sec, 805 secs 81465 markings/sec, 810 secs 81638 markings/sec, 815 secs 81230 markings/sec, 820 secs 81343 markings/sec, 825 secs 81462 markings/sec, 830 secs 81713 markings/sec, 835 secs 81086 markings/sec, 840 secs 81564 markings/sec, 845 secs 81206 markings/sec, 850 secs 81648 markings/sec, 855 secs 81479 markings/sec, 860 secs 81551 markings/sec, 865 secs 81212 markings/sec, 870 secs 81251 markings/sec, 875 secs 81036 markings/sec, 880 secs 81521 markings/sec, 885 secs 81278 markings/sec, 890 secs 81216 markings/sec, 895 secs 81310 markings/sec, 900 secs 81032 markings/sec, 905 secs 81117 markings/sec, 910 secs 81075 markings/sec, 915 secs 81064 markings/sec, 920 secs 81588 markings/sec, 925 secs 81321 markings/sec, 930 secs 81765 markings/sec, 935 secs 81139 markings/sec, 940 secs 81267 markings/sec, 945 secs 81315 markings/sec, 950 secs 81391 markings/sec, 955 secs 81139 markings/sec, 960 secs 81284 markings/sec, 965 secs 81141 markings/sec, 970 secs 82801 markings/sec, 975 secs 81145 markings/sec, 980 secs 99693 markings/sec, 985 secs 84693 markings/sec, 990 secs 80357 markings/sec, 995 secs 81068 markings/sec, 1000 secs 79781 markings/sec, 1005 secs 78895 markings/sec, 1010 secs 79197 markings/sec, 1015 secs 79113 markings/sec, 1020 secs 79413 markings/sec, 1025 secs 79182 markings/sec, 1030 secs 79143 markings/sec, 1035 secs 79068 markings/sec, 1040 secs 79109 markings/sec, 1045 secs 79109 markings/sec, 1050 secs 79234 markings/sec, 1055 secs 79449 markings/sec, 1060 secs 79253 markings/sec, 1065 secs 78964 markings/sec, 1070 secs 79132 markings/sec, 1075 secs 79021 markings/sec, 1080 secs 79089 markings/sec, 1085 secs 78929 markings/sec, 1090 secs 79272 markings/sec, 1095 secs 79145 markings/sec, 1100 secs 79133 markings/sec, 1105 secs 78614 markings/sec, 1110 secs 78874 markings/sec, 1115 secs 79259 markings/sec, 1120 secs 79030 markings/sec, 1125 secs 79110 markings/sec, 1130 secs 78903 markings/sec, 1135 secs 79184 markings/sec, 1140 secs 78937 markings/sec, 1145 secs 78631 markings/sec, 1150 secs 78859 markings/sec, 1155 secs 78874 markings/sec, 1160 secs 93694 markings/sec, 1165 secs 110457 markings/sec, 1170 secs 99286 markings/sec, 1175 secs 82345 markings/sec, 1180 secs 82008 markings/sec, 1185 secs 82127 markings/sec, 1190 secs 82394 markings/sec, 1195 secs 90179 markings/sec, 1200 secs 109048 markings/sec, 1205 secs 109462 markings/sec, 1210 secs 108764 markings/sec, 1215 secs 109302 markings/sec, 1220 secs 100612 markings/sec, 1225 secs 81893 markings/sec, 1230 secs 81971 markings/sec, 1235 secs 81983 markings/sec, 1240 secs 81706 markings/sec, 1245 secs 81862 markings/sec, 1250 secs 82055 markings/sec, 1255 secs 81943 markings/sec, 1260 secs 81893 markings/sec, 1265 secs 81717 markings/sec, 1270 secs 81789 markings/sec, 1275 secs 81706 markings/sec, 1280 secs 81855 markings/sec, 1285 secs 84754 markings/sec, 1290 secs 108517 markings/sec, 1295 secs 108411 markings/sec, 1300 secs 109396 markings/sec, 1305 secs 109183 markings/sec, 1310 secs 108689 markings/sec, 1315 secs 108703 markings/sec, 1320 secs 109212 markings/sec, 1325 secs 108968 markings/sec, 1330 secs 105168 markings/sec, 1335 secs 78472 markings/sec, 1340 secs 87512 markings/sec, 1345 secs 110083 markings/sec, 1350 secs 109863 markings/sec, 1355 secs 109766 markings/sec, 1360 secs 110372 markings/sec, 1365 secs 108073 markings/sec, 1370 secs 109777 markings/sec, 1375 secs 109903 markings/sec, 1380 secs 109336 markings/sec, 1385 secs 109504 markings/sec, 1390 secs 109743 markings/sec, 1395 secs 109637 markings/sec, 1400 secs 109367 markings/sec, 1405 secs 110006 markings/sec, 1410 secs 109796 markings/sec, 1415 secs 109724 markings/sec, 1420 secs 109465 markings/sec, 1425 secs 109393 markings/sec, 1430 secs 109665 markings/sec, 1435 secs 109568 markings/sec, 1440 secs 109491 markings/sec, 1445 secs 109885 markings/sec, 1450 secs 109791 markings/sec, 1455 secs 109613 markings/sec, 1460 secs 109911 markings/sec, 1465 secs 109456 markings/sec, 1470 secs 109864 markings/sec, 1475 secs 109499 markings/sec, 1480 secs 109231 markings/sec, 1485 secs 109418 markings/sec, 1490 secs 109484 markings/sec, 1495 secs 109159 markings/sec, 1500 secs 109231 markings/sec, 1505 secs 82819 markings/sec, 1510 secs 82020 markings/sec, 1515 secs 81506 markings/sec, 1520 secs 81583 markings/sec, 1525 secs 81613 markings/sec, 1530 secs 81763 markings/sec, 1535 secs 81448 markings/sec, 1540 secs 81382 markings/sec, 1545 secs 81894 markings/sec, 1550 secs 81824 markings/sec, 1555 secs 81711 markings/sec, 1560 secs 81448 markings/sec, 1565 secs 81372 markings/sec, 1570 secs 81856 markings/sec, 1575 secs 81310 markings/sec, 1580 secs 81838 markings/sec, 1585 secs 81546 markings/sec, 1590 secs 81617 markings/sec, 1595 secs 81342 markings/sec, 1600 secs 81808 markings/sec, 1605 secs 81538 markings/sec, 1610 secs 81603 markings/sec, 1615 secs 81644 markings/sec, 1620 secs 81350 markings/sec, 1625 secs 81564 markings/sec, 1630 secs 81489 markings/sec, 1635 secs 81420 markings/sec, 1640 secs 81295 markings/sec, 1645 secs 81750 markings/sec, 1650 secs 81496 markings/sec, 1655 secs 81480 markings/sec, 1660 secs 81488 markings/sec, 1665 secs 79048 markings/sec, 1670 secs 81397 markings/sec, 1675 secs 81711 markings/sec, 1680 secs 81395 markings/sec, 1685 secs 81521 markings/sec, 1690 secs 81621 markings/sec, 1695 secs 81523 markings/sec, 1700 secs 81307 markings/sec, 1705 secs 81303 markings/sec, 1710 secs 81372 markings/sec, 1715 secs 81358 markings/sec, 1720 secs 81597 markings/sec, 1725 secs 81544 markings/sec, 1730 secs 81533 markings/sec, 1735 secs 81534 markings/sec, 1740 secs 81516 markings/sec, 1745 secs 81288 markings/sec, 1750 secs 81321 markings/sec, 1755 secs 81384 markings/sec, 1760 secs 81685 markings/sec, 1765 secs 81303 markings/sec, 1770 secs 81576 markings/sec, 1775 secs 81592 markings/sec, 1780 secs 81472 markings/sec, 1785 secs 81330 markings/sec, 1790 secs 80136 markings/sec, 1795 secs 81280 markings/sec, 1800 secs 81139 markings/sec, 1805 secs 81269 markings/sec, 1810 secs 81691 markings/sec, 1815 secs 81249 markings/sec, 1820 secs 81237 markings/sec, 1825 secs 81827 markings/sec, 1830 secs 81363 markings/sec, 1835 secs 81323 markings/sec, 1840 secs 80913 markings/sec, 1845 secs 81528 markings/sec, 1850 secs 81263 markings/sec, 1855 secs 81568 markings/sec, 1860 secs 81213 markings/sec, 1865 secs 81245 markings/sec, 1870 secs 81341 markings/sec, 1875 secs 81224 markings/sec, 1880 secs 81309 markings/sec, 1885 secs 81187 markings/sec, 1890 secs 81278 markings/sec, 1895 secs 81353 markings/sec, 1900 secs 81176 markings/sec, 1905 secs 81156 markings/sec, 1910 secs 81298 markings/sec, 1915 secs 81047 markings/sec, 1920 secs 81627 markings/sec, 1925 secs 81091 markings/sec, 1930 secs 81262 markings/sec, 1935 secs 81053 markings/sec, 1940 secs 81410 markings/sec, 1945 secs 81208 markings/sec, 1950 secs 81152 markings/sec, 1955 secs 81004 markings/sec, 1960 secs 81193 markings/sec, 1965 secs 81158 markings/sec, 1970 secs 81014 markings/sec, 1975 secs 81082 markings/sec, 1980 secs 80801 markings/sec, 1985 secs 81201 markings/sec, 1990 secs 80877 markings/sec, 1995 secs 81094 markings/sec, 2000 secs 81079 markings/sec, 2005 secs 80959 markings/sec, 2010 secs 16773 markings/sec, 2015 secs 607 markings/sec, 2020 secs 645 markings/sec, 2025 secs 18842 markings/sec, 2030 secs 572 markings/sec, 2035 secs 6 markings/sec, 2040 secs 2682 markings/sec, 2045 secs 556 markings/sec, 2050 secs

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="EGFr-PT-10420"
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 EGFr-PT-10420, 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 r071-smll-155234737500093"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/EGFr-PT-10420.tgz
mv EGFr-PT-10420 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 ;