MCC'2019 - Execution of r071-smll-155234737500102

About the Execution of LoLA for EGFr-PT-10421

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.160	2377303.00	4575013.00	22656.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-155234737500102.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-10421, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-155234737500102
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 868K
-rw-r--r-- 1 mcc users 4.0K Feb 10 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 6 20:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 6 20:46 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.9K Feb 4 23:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.5K Feb 4 22:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 3 08:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 08:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Jan 31 00:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 25K Jan 31 00:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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-10421-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552513120638

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ EGFr-PT-10421 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1193
rslt: Output for GlobalProperties @ EGFr-PT-10421
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: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 2 generators (2 in search tree, 0 by composition)
lola: representing 4 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 742720 fired transitions, 0 secs || 438595 markings, 598078 edges,
lola: 2 tries, 1545680 fired transitions, 5 secs || 917094 markings, 1264823 edges,
lola: 3 tries, 2340989 fired transitions, 10 secs || 1340211 markings, 1872533 edges,
lola: 4 tries, 3144074 fired transitions, 15 secs || 1744580 markings, 2458263 edges,
lola: 4 tries, 3964454 fired transitions, 20 secs || 2116867 markings, 3006489 edges,
lola: 5 tries, 4778927 fired transitions, 25 secs || 2496044 markings, 3564151 edges,
lola: 6 tries, 5605610 fired transitions, 30 secs || 2862297 markings, 4112767 edges,
lola: 7 tries, 6474055 fired transitions, 35 secs || 3217479 markings, 4645875 edges,
lola: 8 tries, 7361241 fired transitions, 40 secs || 3596395 markings, 5211176 edges,
lola: 9 tries, 8258731 fired transitions, 45 secs || 3959556 markings, 5755796 edges,
lola: 10 tries, 9161692 fired transitions, 50 secs || 4311628 markings, 6286414 edges,
lola: 11 tries, 10062891 fired transitions, 55 secs || 4674966 markings, 6836196 edges,
lola: 11 tries, 10954916 fired transitions, 60 secs || 5050083 markings, 7407406 edges,
lola: 12 tries, 11786310 fired transitions, 65 secs || 5429681 markings, 7987519 edges,
lola: 13 tries, 12666467 fired transitions, 70 secs || 5807408 markings, 8560208 edges,
lola: 14 tries, 13530072 fired transitions, 75 secs || 6168033 markings, 9110031 edges,
lola: 15 tries, 14400452 fired transitions, 80 secs || 6529032 markings, 9662332 edges,
lola: 16 tries, 15269960 fired transitions, 85 secs || 6929474 markings, 10276371 edges,
lola: 17 tries, 16104689 fired transitions, 90 secs || 7316468 markings, 10868278 edges,
lola: 18 tries, 17017292 fired transitions, 95 secs || 7667134 markings, 11407204 edges,
lola: 18 tries, 17860469 fired transitions, 100 secs || 8023016 markings, 11960842 edges,
lola: 19 tries, 18759445 fired transitions, 105 secs || 8379741 markings, 12510836 edges,
lola: 20 tries, 19608431 fired transitions, 110 secs || 8745133 markings, 13071986 edges,
lola: 21 tries, 20467019 fired transitions, 115 secs || 9141896 markings, 13688028 edges,
lola: 22 tries, 21328720 fired transitions, 120 secs || 9542257 markings, 14307322 edges,
lola: 23 tries, 22156781 fired transitions, 125 secs || 9924113 markings, 14897304 edges,
lola: 23 tries, 22998262 fired transitions, 130 secs || 10279578 markings, 15448777 edges,
lola: 24 tries, 23826770 fired transitions, 135 secs || 10673053 markings, 16057704 edges,
lola: 25 tries, 24657208 fired transitions, 140 secs || 11068908 markings, 16673203 edges,
lola: 26 tries, 25527588 fired transitions, 145 secs || 11462817 markings, 17287272 edges,
lola: 27 tries, 26428108 fired transitions, 150 secs || 11853326 markings, 17899139 edges,
lola: 28 tries, 27329600 fired transitions, 155 secs || 12222360 markings, 18472242 edges,
lola: 29 tries, 28209976 fired transitions, 160 secs || 12616151 markings, 19088044 edges,
lola: 30 tries, 29042670 fired transitions, 165 secs || 13007480 markings, 19701170 edges,
lola: 30 tries, 29876992 fired transitions, 170 secs || 13398297 markings, 20315414 edges,
lola: 31 tries, 30707469 fired transitions, 175 secs || 13794530 markings, 20935054 edges,
lola: 32 tries, 31586675 fired transitions, 180 secs || 14189565 markings, 21557000 edges,
lola: 33 tries, 32451286 fired transitions, 185 secs || 14584667 markings, 22176204 edges,
lola: 34 tries, 33309385 fired transitions, 190 secs || 14978751 markings, 22792611 edges,
lola: 35 tries, 34213410 fired transitions, 195 secs || 15371306 markings, 23406789 edges,
lola: 36 tries, 35116393 fired transitions, 200 secs || 15763098 markings, 24019534 edges,
lola: 37 tries, 36022221 fired transitions, 205 secs || 16154540 markings, 24636584 edges,
lola: 37 tries, 36860153 fired transitions, 210 secs || 16544651 markings, 25252180 edges,
lola: 38 tries, 37755805 fired transitions, 215 secs || 16935958 markings, 25868326 edges,
lola: 39 tries, 38664607 fired transitions, 220 secs || 17327323 markings, 26486513 edges,
lola: 40 tries, 39571894 fired transitions, 225 secs || 17719828 markings, 27107294 edges,
lola: 41 tries, 40481727 fired transitions, 230 secs || 18109712 markings, 27724137 edges,
lola: 42 tries, 41390329 fired transitions, 235 secs || 18499558 markings, 28337431 edges,
lola: 43 tries, 42301406 fired transitions, 240 secs || 18890013 markings, 28954288 edges,
lola: 44 tries, 43196093 fired transitions, 245 secs || 19277513 markings, 29569202 edges,
lola: 45 tries, 44039635 fired transitions, 250 secs || 19665344 markings, 30184795 edges,
lola: 45 tries, 44882291 fired transitions, 255 secs || 20053265 markings, 30800277 edges,
lola: 46 tries, 45725684 fired transitions, 260 secs || 20440701 markings, 31416061 edges,
lola: 47 tries, 46616693 fired transitions, 265 secs || 20829731 markings, 32034603 edges,
lola: 48 tries, 47488020 fired transitions, 270 secs || 21216914 markings, 32648619 edges,
lola: 49 tries, 48360193 fired transitions, 275 secs || 21604109 markings, 33264263 edges,
lola: 50 tries, 49251945 fired transitions, 280 secs || 21990921 markings, 33878681 edges,
lola: 51 tries, 50096584 fired transitions, 285 secs || 22377741 markings, 34494185 edges,
lola: 51 tries, 50943676 fired transitions, 290 secs || 22763209 markings, 35108598 edges,
lola: 52 tries, 51855153 fired transitions, 295 secs || 23148884 markings, 35723087 edges,
lola: 53 tries, 52770824 fired transitions, 300 secs || 23533038 markings, 36332507 edges,
lola: 54 tries, 53688028 fired transitions, 305 secs || 23918392 markings, 36945425 edges,
lola: 55 tries, 54559195 fired transitions, 310 secs || 24304717 markings, 37561248 edges,
lola: 56 tries, 55438703 fired transitions, 315 secs || 24690423 markings, 38176958 edges,
lola: 57 tries, 56357194 fired transitions, 320 secs || 25075490 markings, 38791614 edges,
lola: 58 tries, 57274535 fired transitions, 325 secs || 25460683 markings, 39408271 edges,
lola: 59 tries, 58190239 fired transitions, 330 secs || 25846076 markings, 40021776 edges,
lola: 60 tries, 59102308 fired transitions, 335 secs || 26230406 markings, 40635916 edges,
lola: 60 tries, 59950148 fired transitions, 340 secs || 26614817 markings, 41246902 edges,
lola: 61 tries, 60800217 fired transitions, 345 secs || 26997757 markings, 41861137 edges,
lola: 62 tries, 61647387 fired transitions, 350 secs || 27380300 markings, 42470044 edges,
lola: 63 tries, 62536906 fired transitions, 355 secs || 27763079 markings, 43082814 edges,
lola: 64 tries, 63421577 fired transitions, 360 secs || 28145378 markings, 43695146 edges,
lola: 65 tries, 64291241 fired transitions, 365 secs || 28528242 markings, 44304412 edges,
lola: 66 tries, 65213842 fired transitions, 370 secs || 28910880 markings, 44917573 edges,
lola: 67 tries, 66130919 fired transitions, 375 secs || 29294467 markings, 45530606 edges,
lola: 68 tries, 67048930 fired transitions, 380 secs || 29677975 markings, 46141800 edges,
lola: 68 tries, 67969880 fired transitions, 385 secs || 30061307 markings, 46756516 edges,
lola: 69 tries, 68821675 fired transitions, 390 secs || 30442847 markings, 47365638 edges,
lola: 70 tries, 69729244 fired transitions, 395 secs || 30824081 markings, 47977599 edges,
lola: 71 tries, 70651605 fired transitions, 400 secs || 31205804 markings, 48590768 edges,
lola: 72 tries, 71572232 fired transitions, 405 secs || 31588874 markings, 49205246 edges,
lola: 73 tries, 72495455 fired transitions, 410 secs || 31970853 markings, 49816195 edges,
lola: 74 tries, 73383197 fired transitions, 415 secs || 32353060 markings, 50429200 edges,
lola: 75 tries, 74253501 fired transitions, 420 secs || 32734623 markings, 51041875 edges,
lola: 76 tries, 75161456 fired transitions, 425 secs || 33116748 markings, 51653401 edges,
lola: 77 tries, 76009568 fired transitions, 430 secs || 33499361 markings, 52265516 edges,
lola: 77 tries, 76860790 fired transitions, 435 secs || 33879082 markings, 52874097 edges,
lola: 78 tries, 77712910 fired transitions, 440 secs || 34258138 markings, 53484458 edges,
lola: 79 tries, 78565426 fired transitions, 445 secs || 34637384 markings, 54093503 edges,
lola: 80 tries, 79417211 fired transitions, 450 secs || 35018337 markings, 54705863 edges,
lola: 81 tries, 80269418 fired transitions, 455 secs || 35399775 markings, 55319097 edges,
lola: 82 tries, 81121529 fired transitions, 460 secs || 35780475 markings, 55931125 edges,
lola: 82 tries, 81975077 fired transitions, 465 secs || 36159742 markings, 56543878 edges,
lola: 83 tries, 82896132 fired transitions, 470 secs || 36540368 markings, 57153899 edges,
lola: 84 tries, 83755807 fired transitions, 475 secs || 36919861 markings, 57764236 edges,
lola: 85 tries, 84607528 fired transitions, 480 secs || 37300137 markings, 58376284 edges,
lola: 86 tries, 85497281 fired transitions, 485 secs || 37681375 markings, 58990411 edges,
lola: 87 tries, 86388943 fired transitions, 490 secs || 38061436 markings, 59602252 edges,
lola: 88 tries, 87262550 fired transitions, 495 secs || 38442947 markings, 60214691 edges,
lola: 89 tries, 88172272 fired transitions, 500 secs || 38823629 markings, 60827621 edges,
lola: 90 tries, 89027332 fired transitions, 505 secs || 39203422 markings, 61439652 edges,
lola: 90 tries, 89953773 fired transitions, 510 secs || 39583925 markings, 62055396 edges,
lola: 91 tries, 90879089 fired transitions, 515 secs || 39965378 markings, 62670558 edges,
lola: 92 tries, 91806751 fired transitions, 520 secs || 40345582 markings, 63285880 edges,
lola: 93 tries, 92674558 fired transitions, 525 secs || 40725138 markings, 63894556 edges,
lola: 94 tries, 93575328 fired transitions, 530 secs || 41104754 markings, 64509971 edges,
lola: 95 tries, 94502406 fired transitions, 535 secs || 41484252 markings, 65123447 edges,
lola: 96 tries, 95429231 fired transitions, 540 secs || 41862898 markings, 65736044 edges,
lola: 97 tries, 96329300 fired transitions, 545 secs || 42243079 markings, 66351682 edges,
lola: 98 tries, 97200373 fired transitions, 550 secs || 42621446 markings, 66964862 edges,
lola: 99 tries, 98117705 fired transitions, 555 secs || 43000416 markings, 67578614 edges,
lola: 99 tries, 98973593 fired transitions, 560 secs || 43378695 markings, 68187991 edges,
lola: 100 tries, 99897881 fired transitions, 565 secs || 43758059 markings, 68802211 edges,
lola: 101 tries, 100825517 fired transitions, 570 secs || 44136231 markings, 69414216 edges,
lola: 102 tries, 101755323 fired transitions, 575 secs || 44514679 markings, 70029546 edges,
lola: 103 tries, 102683955 fired transitions, 580 secs || 44893416 markings, 70645224 edges,
lola: 104 tries, 103564985 fired transitions, 585 secs || 45270666 markings, 71256824 edges,
lola: 105 tries, 104457609 fired transitions, 590 secs || 45648231 markings, 71869266 edges,
lola: 106 tries, 105385175 fired transitions, 595 secs || 46026462 markings, 72479552 edges,
lola: 107 tries, 106311249 fired transitions, 600 secs || 46386845 markings, 73060472 edges,
lola: 108 tries, 107246570 fired transitions, 605 secs || 46726809 markings, 73609607 edges,
lola: 109 tries, 108172715 fired transitions, 610 secs || 47058811 markings, 74147235 edges,
lola: 110 tries, 109038994 fired transitions, 615 secs || 47397303 markings, 74696759 edges,
lola: 110 tries, 109904849 fired transitions, 620 secs || 47737103 markings, 75248151 edges,
lola: 111 tries, 110767327 fired transitions, 625 secs || 48085884 markings, 75812410 edges,
lola: 112 tries, 111679021 fired transitions, 630 secs || 48435678 markings, 76376390 edges,
lola: 113 tries, 112612150 fired transitions, 635 secs || 48785739 markings, 76943255 edges,
lola: 114 tries, 113541470 fired transitions, 640 secs || 49146765 markings, 77524938 edges,
lola: 115 tries, 114465974 fired transitions, 645 secs || 49524825 markings, 78137683 edges,
lola: 116 tries, 115398633 fired transitions, 650 secs || 49886823 markings, 78724764 edges,
lola: 117 tries, 116331991 fired transitions, 655 secs || 50231033 markings, 79281284 edges,
lola: 118 tries, 117236525 fired transitions, 660 secs || 50598926 markings, 79877687 edges,
lola: 119 tries, 118108477 fired transitions, 665 secs || 50942596 markings, 80432974 edges,
lola: 120 tries, 119039224 fired transitions, 670 secs || 51289529 markings, 80993218 edges,
lola: 120 tries, 119909128 fired transitions, 675 secs || 51619193 markings, 81528668 edges,
lola: 121 tries, 120769015 fired transitions, 680 secs || 51973809 markings, 82103984 edges,
lola: 122 tries, 121684617 fired transitions, 685 secs || 52323541 markings, 82672901 edges,
lola: 123 tries, 122596550 fired transitions, 690 secs || 52709221 markings, 83300440 edges,
lola: 124 tries, 123463390 fired transitions, 695 secs || 53110968 markings, 83953308 edges,
lola: 125 tries, 124338939 fired transitions, 700 secs || 53507301 markings, 84597436 edges,
lola: 126 tries, 125238898 fired transitions, 705 secs || 53904219 markings, 85241317 edges,
lola: 127 tries, 126094797 fired transitions, 710 secs || 54299403 markings, 85884095 edges,
lola: 128 tries, 127013165 fired transitions, 715 secs || 54697465 markings, 86528715 edges,
lola: 128 tries, 127929676 fired transitions, 720 secs || 55094254 markings, 87169159 edges,
lola: 129 tries, 128851603 fired transitions, 725 secs || 55492123 markings, 87816176 edges,
lola: 130 tries, 129712503 fired transitions, 730 secs || 55886201 markings, 88458036 edges,
lola: 131 tries, 130560837 fired transitions, 735 secs || 56281500 markings, 89099972 edges,
lola: 132 tries, 131445370 fired transitions, 740 secs || 56677680 markings, 89744820 edges,
lola: 133 tries, 132338500 fired transitions, 745 secs || 57073872 markings, 90387543 edges,
lola: 134 tries, 133204973 fired transitions, 750 secs || 57467626 markings, 91030851 edges,
lola: 135 tries, 134085235 fired transitions, 755 secs || 57864781 markings, 91679096 edges,
lola: 135 tries, 134935887 fired transitions, 760 secs || 58260392 markings, 92325235 edges,
lola: 136 tries, 135850542 fired transitions, 765 secs || 58656937 markings, 92966751 edges,
lola: 137 tries, 136767205 fired transitions, 770 secs || 59049744 markings, 93608340 edges,
lola: 138 tries, 137680918 fired transitions, 775 secs || 59445910 markings, 94253266 edges,
lola: 139 tries, 138597397 fired transitions, 780 secs || 59839936 markings, 94896193 edges,
lola: 140 tries, 139550308 fired transitions, 785 secs || 60252218 markings, 95569645 edges,
lola: 141 tries, 140722177 fired transitions, 790 secs || 60778031 markings, 96428342 edges,
lola: 142 tries, 141893140 fired transitions, 795 secs || 61303619 markings, 97283200 edges,
lola: 144 tries, 143059410 fired transitions, 800 secs || 61827757 markings, 98135744 edges,
lola: 144 tries, 143977754 fired transitions, 805 secs || 62220425 markings, 98773802 edges,
lola: 145 tries, 144897205 fired transitions, 810 secs || 62611751 markings, 99410473 edges,
lola: 146 tries, 145816577 fired transitions, 815 secs || 63000600 markings, 100045295 edges,
lola: 147 tries, 146675482 fired transitions, 820 secs || 63392508 markings, 100682762 edges,
lola: 148 tries, 147568845 fired transitions, 825 secs || 63780802 markings, 101317151 edges,
lola: 149 tries, 148489659 fired transitions, 830 secs || 64170157 markings, 101953824 edges,
lola: 150 tries, 149407752 fired transitions, 835 secs || 64561273 markings, 102591428 edges,
lola: 151 tries, 150324428 fired transitions, 840 secs || 64952953 markings, 103229319 edges,
lola: 152 tries, 151238798 fired transitions, 845 secs || 65344864 markings, 103867501 edges,
lola: 153 tries, 152163927 fired transitions, 850 secs || 65739371 markings, 104511870 edges,
lola: 154 tries, 153334587 fired transitions, 855 secs || 66262903 markings, 105364620 edges,
lola: 155 tries, 154503788 fired transitions, 860 secs || 66786891 markings, 106221540 edges,
lola: 156 tries, 155616495 fired transitions, 865 secs || 67310183 markings, 107070174 edges,
lola: 157 tries, 156750371 fired transitions, 870 secs || 67833618 markings, 107925056 edges,
lola: 158 tries, 157917564 fired transitions, 875 secs || 68356854 markings, 108774943 edges,
lola: 160 tries, 159085714 fired transitions, 880 secs || 68880169 markings, 109628757 edges,
lola: 161 tries, 160253270 fired transitions, 885 secs || 69405615 markings, 110484638 edges,
lola: 162 tries, 161137396 fired transitions, 890 secs || 69815487 markings, 111152473 edges,
lola: 162 tries, 161959547 fired transitions, 895 secs || 70220117 markings, 111816354 edges,
lola: 163 tries, 162784623 fired transitions, 900 secs || 70627544 markings, 112481483 edges,
lola: 164 tries, 163753773 fired transitions, 905 secs || 71080053 markings, 113222793 edges,
lola: 165 tries, 164839535 fired transitions, 910 secs || 71572767 markings, 114029844 edges,
lola: 167 tries, 166006628 fired transitions, 915 secs || 72066434 markings, 114833765 edges,
lola: 168 tries, 167174932 fired transitions, 920 secs || 72559777 markings, 115642853 edges,
lola: 169 tries, 168261612 fired transitions, 925 secs || 73053226 markings, 116450234 edges,
lola: 170 tries, 169313284 fired transitions, 930 secs || 73521337 markings, 117217433 edges,
lola: 171 tries, 170255433 fired transitions, 935 secs || 73921796 markings, 117871426 edges,
lola: 172 tries, 171160284 fired transitions, 940 secs || 74312165 markings, 118509548 edges,
lola: 173 tries, 172009866 fired transitions, 945 secs || 74700608 markings, 119146863 edges,
lola: 173 tries, 172929197 fired transitions, 950 secs || 75088774 markings, 119782255 edges,
lola: 174 tries, 173781783 fired transitions, 955 secs || 75477380 markings, 120418002 edges,
lola: 175 tries, 174627836 fired transitions, 960 secs || 75866228 markings, 121055168 edges,
lola: 176 tries, 175512997 fired transitions, 965 secs || 76256320 markings, 121692477 edges,
lola: 177 tries, 176432436 fired transitions, 970 secs || 76644297 markings, 122329786 edges,
lola: 178 tries, 177352667 fired transitions, 975 secs || 77032428 markings, 122966857 edges,
lola: 179 tries, 178254017 fired transitions, 980 secs || 77418705 markings, 123601941 edges,
lola: 180 tries, 179102628 fired transitions, 985 secs || 77807985 markings, 124241431 edges,
lola: 180 tries, 179952500 fired transitions, 990 secs || 78195745 markings, 124877620 edges,
lola: 181 tries, 180868141 fired transitions, 995 secs || 78583798 markings, 125512467 edges,
lola: 182 tries, 181788509 fired transitions, 1000 secs || 78970055 markings, 126146392 edges,
lola: 183 tries, 182706656 fired transitions, 1005 secs || 79360211 markings, 126786294 edges,
lola: 184 tries, 183609132 fired transitions, 1010 secs || 79758736 markings, 127439676 edges,
lola: 185 tries, 184498988 fired transitions, 1015 secs || 80161089 markings, 128096581 edges,
lola: 186 tries, 185387877 fired transitions, 1020 secs || 80562644 markings, 128753466 edges,
lola: 187 tries, 186466738 fired transitions, 1025 secs || 81024765 markings, 129509608 edges,
lola: 188 tries, 187441340 fired transitions, 1030 secs || 81452883 markings, 130210854 edges,
lola: 189 tries, 188320558 fired transitions, 1035 secs || 81841420 markings, 130848189 edges,
lola: 190 tries, 189244188 fired transitions, 1040 secs || 82234204 markings, 131493830 edges,
lola: 191 tries, 190170895 fired transitions, 1045 secs || 82624355 markings, 132134607 edges,
lola: 192 tries, 191090659 fired transitions, 1050 secs || 83013036 markings, 132773561 edges,
lola: 192 tries, 191940774 fired transitions, 1055 secs || 83405950 markings, 133414973 edges,
lola: 193 tries, 192858515 fired transitions, 1060 secs || 83796261 markings, 134053028 edges,
lola: 194 tries, 193722854 fired transitions, 1065 secs || 84186301 markings, 134691838 edges,
lola: 195 tries, 194624227 fired transitions, 1070 secs || 84574343 markings, 135327599 edges,
lola: 196 tries, 195549929 fired transitions, 1075 secs || 84963312 markings, 135966694 edges,
lola: 197 tries, 196437471 fired transitions, 1080 secs || 85354108 markings, 136606640 edges,
lola: 198 tries, 197315276 fired transitions, 1085 secs || 85743286 markings, 137247368 edges,
lola: 199 tries, 198221188 fired transitions, 1090 secs || 86136221 markings, 137890615 edges,
lola: 200 tries, 199074678 fired transitions, 1095 secs || 86526587 markings, 138531578 edges,
lola: 200 tries, 199928212 fired transitions, 1100 secs || 86916546 markings, 139168633 edges,
lola: 201 tries, 200849858 fired transitions, 1105 secs || 87306252 markings, 139807696 edges,
lola: 202 tries, 201777113 fired transitions, 1110 secs || 87696633 markings, 140449858 edges,
lola: 203 tries, 202703149 fired transitions, 1115 secs || 88087615 markings, 141094665 edges,
lola: 204 tries, 203628567 fired transitions, 1120 secs || 88478466 markings, 141734647 edges,
lola: 205 tries, 204554085 fired transitions, 1125 secs || 88867832 markings, 142374878 edges,
lola: 206 tries, 205441509 fired transitions, 1130 secs || 89258052 markings, 143015801 edges,
lola: 207 tries, 206320443 fired transitions, 1135 secs || 89645933 markings, 143653008 edges,
lola: 208 tries, 207248778 fired transitions, 1140 secs || 90036423 markings, 144295549 edges,
lola: 209 tries, 208255689 fired transitions, 1145 secs || 90468284 markings, 145003898 edges,
lola: 210 tries, 209339233 fired transitions, 1150 secs || 90962544 markings, 145817359 edges,
lola: 211 tries, 210460198 fired transitions, 1155 secs || 91455421 markings, 146626235 edges,
lola: 212 tries, 211586667 fired transitions, 1160 secs || 91946091 markings, 147432016 edges,
lola: 213 tries, 212670816 fired transitions, 1165 secs || 92436915 markings, 148237483 edges,
lola: 214 tries, 213667062 fired transitions, 1170 secs || 92886759 markings, 148978424 edges,
lola: 215 tries, 214524113 fired transitions, 1175 secs || 93276091 markings, 149618618 edges,
lola: 216 tries, 215380240 fired transitions, 1180 secs || 93665669 markings, 150257877 edges,
lola: 217 tries, 216258425 fired transitions, 1185 secs || 94054069 markings, 150898952 edges,
lola: 218 tries, 217188302 fired transitions, 1190 secs || 94443975 markings, 151539889 edges,
lola: 219 tries, 218116098 fired transitions, 1195 secs || 94832680 markings, 152180099 edges,
lola: 220 tries, 219042967 fired transitions, 1200 secs || 95221740 markings, 152819326 edges,
lola: 220 tries, 219983906 fired transitions, 1205 secs || 95588999 markings, 153422573 edges,
lola: 221 tries, 220929890 fired transitions, 1210 secs || 95936112 markings, 153992275 edges,
lola: 222 tries, 221868126 fired transitions, 1215 secs || 96304940 markings, 154595274 edges,
lola: 223 tries, 222745632 fired transitions, 1220 secs || 96672933 markings, 155200127 edges,
lola: 224 tries, 223671773 fired transitions, 1225 secs || 97021717 markings, 155773993 edges,
lola: 225 tries, 224563980 fired transitions, 1230 secs || 97393406 markings, 156384618 edges,
lola: 226 tries, 225435496 fired transitions, 1235 secs || 97744093 markings, 156959378 edges,
lola: 227 tries, 226350850 fired transitions, 1240 secs || 98112282 markings, 157565584 edges,
lola: 228 tries, 227249573 fired transitions, 1245 secs || 98447710 markings, 158116695 edges,
lola: 229 tries, 228198313 fired transitions, 1250 secs || 98795287 markings, 158686584 edges,
lola: 230 tries, 229132074 fired transitions, 1255 secs || 99151750 markings, 159274111 edges,
lola: 230 tries, 229998130 fired transitions, 1260 secs || 99512622 markings, 159866953 edges,
lola: 231 tries, 230869829 fired transitions, 1265 secs || 99862839 markings, 160445832 edges,
lola: 232 tries, 231795409 fired transitions, 1270 secs || 100246148 markings, 161077172 edges,
lola: 233 tries, 232729725 fired transitions, 1275 secs || 100639453 markings, 161725124 edges,
lola: 234 tries, 233612254 fired transitions, 1280 secs || 101031199 markings, 162369497 edges,
lola: 235 tries, 234474594 fired transitions, 1285 secs || 101425942 markings, 163017576 edges,
lola: 236 tries, 235365507 fired transitions, 1290 secs || 101817091 markings, 163663892 edges,
lola: 237 tries, 236277096 fired transitions, 1295 secs || 102209692 markings, 164310148 edges,
lola: 238 tries, 237158353 fired transitions, 1300 secs || 102603558 markings, 164959053 edges,
lola: 239 tries, 238069696 fired transitions, 1305 secs || 103014182 markings, 165635932 edges,
lola: 239 tries, 238934530 fired transitions, 1310 secs || 103404713 markings, 166279004 edges,
lola: 240 tries, 239867987 fired transitions, 1315 secs || 103794803 markings, 166922586 edges,
lola: 241 tries, 240807593 fired transitions, 1320 secs || 104185733 markings, 167567390 edges,
lola: 242 tries, 241715141 fired transitions, 1325 secs || 104576354 markings, 168209058 edges,
lola: 243 tries, 242603508 fired transitions, 1330 secs || 104965145 markings, 168848249 edges,
lola: 244 tries, 243507579 fired transitions, 1335 secs || 105356017 markings, 169491625 edges,
lola: 245 tries, 244445589 fired transitions, 1340 secs || 105745837 markings, 170130967 edges,
lola: 246 tries, 245385608 fired transitions, 1345 secs || 106135152 markings, 170775124 edges,
lola: 247 tries, 246300061 fired transitions, 1350 secs || 106524363 markings, 171417047 edges,
lola: 248 tries, 247181790 fired transitions, 1355 secs || 106913187 markings, 172058980 edges,
lola: 249 tries, 248121866 fired transitions, 1360 secs || 107303202 markings, 172702655 edges,
lola: 250 tries, 249062208 fired transitions, 1365 secs || 107693200 markings, 173345766 edges,
lola: 251 tries, 250001817 fired transitions, 1370 secs || 108083399 markings, 173989995 edges,
lola: 251 tries, 250935667 fired transitions, 1375 secs || 108478472 markings, 174643071 edges,
lola: 253 tries, 252018106 fired transitions, 1380 secs || 108977291 markings, 175462408 edges,
lola: 253 tries, 252956725 fired transitions, 1385 secs || 109388219 markings, 176142302 edges,
lola: 254 tries, 253804642 fired transitions, 1390 secs || 109790412 markings, 176805810 edges,
lola: 255 tries, 254649886 fired transitions, 1395 secs || 110191973 markings, 177467781 edges,
lola: 256 tries, 255680019 fired transitions, 1400 secs || 110659993 markings, 178241939 edges,
lola: 257 tries, 256772358 fired transitions, 1405 secs || 111153741 markings, 179056560 edges,
lola: 258 tries, 257940340 fired transitions, 1410 secs || 111649832 markings, 179872118 edges,
lola: 259 tries, 258787649 fired transitions, 1415 secs || 112057173 markings, 180543752 edges,
lola: 260 tries, 259706290 fired transitions, 1420 secs || 112449459 markings, 181191617 edges,
lola: 261 tries, 260641923 fired transitions, 1425 secs || 112844079 markings, 181842959 edges,
lola: 262 tries, 261531871 fired transitions, 1430 secs || 113238230 markings, 182492896 edges,
lola: 263 tries, 262428280 fired transitions, 1435 secs || 113631212 markings, 183145165 edges,
lola: 264 tries, 263336531 fired transitions, 1440 secs || 114024845 markings, 183795645 edges,
lola: 265 tries, 264199213 fired transitions, 1445 secs || 114417786 markings, 184442723 edges,
lola: 266 tries, 265067324 fired transitions, 1450 secs || 114811017 markings, 185091770 edges,
lola: 267 tries, 266003547 fired transitions, 1455 secs || 115204740 markings, 185742489 edges,
lola: 267 tries, 266939267 fired transitions, 1460 secs || 115597359 markings, 186392230 edges,
lola: 268 tries, 267807885 fired transitions, 1465 secs || 115991030 markings, 187043622 edges,
lola: 269 tries, 268727530 fired transitions, 1470 secs || 116385443 markings, 187693342 edges,
lola: 270 tries, 269649912 fired transitions, 1475 secs || 116799976 markings, 188377441 edges,
lola: 271 tries, 270544366 fired transitions, 1480 secs || 117203776 markings, 189046094 edges,
lola: 272 tries, 271439318 fired transitions, 1485 secs || 117608179 markings, 189715820 edges,
lola: 273 tries, 272334450 fired transitions, 1490 secs || 118012124 markings, 190383480 edges,
lola: 274 tries, 273229925 fired transitions, 1495 secs || 118414923 markings, 191051003 edges,
lola: 275 tries, 274115716 fired transitions, 1500 secs || 118819360 markings, 191720895 edges,
lola: 275 tries, 274950188 fired transitions, 1505 secs || 119226460 markings, 192395928 edges,
lola: 276 tries, 275840174 fired transitions, 1510 secs || 119630109 markings, 193060640 edges,
lola: 277 tries, 276732548 fired transitions, 1515 secs || 120034271 markings, 193727390 edges,
lola: 278 tries, 277584486 fired transitions, 1520 secs || 120424009 markings, 194371593 edges,
lola: 279 tries, 278446831 fired transitions, 1525 secs || 120828738 markings, 195041289 edges,
lola: 280 tries, 279342859 fired transitions, 1530 secs || 121233210 markings, 195711131 edges,
lola: 281 tries, 280220831 fired transitions, 1535 secs || 121637176 markings, 196380377 edges,
lola: 282 tries, 281046025 fired transitions, 1540 secs || 122040287 markings, 197045136 edges,
lola: 282 tries, 281872657 fired transitions, 1545 secs || 122442884 markings, 197711369 edges,
lola: 283 tries, 282703122 fired transitions, 1550 secs || 122844169 markings, 198381036 edges,
lola: 284 tries, 283575995 fired transitions, 1555 secs || 123246353 markings, 199045403 edges,
lola: 285 tries, 284438179 fired transitions, 1560 secs || 123650122 markings, 199714197 edges,
lola: 286 tries, 285290435 fired transitions, 1565 secs || 124052238 markings, 200380586 edges,
lola: 287 tries, 286186782 fired transitions, 1570 secs || 124455860 markings, 201049066 edges,
lola: 288 tries, 287082758 fired transitions, 1575 secs || 124858519 markings, 201716660 edges,
lola: 288 tries, 287978767 fired transitions, 1580 secs || 125263412 markings, 202386307 edges,
lola: 289 tries, 288808569 fired transitions, 1585 secs || 125666378 markings, 203053615 edges,
lola: 290 tries, 289688543 fired transitions, 1590 secs || 126070055 markings, 203720594 edges,
lola: 291 tries, 290585445 fired transitions, 1595 secs || 126472897 markings, 204388943 edges,
lola: 292 tries, 291481895 fired transitions, 1600 secs || 126875400 markings, 205055817 edges,
lola: 293 tries, 292377319 fired transitions, 1605 secs || 127278499 markings, 205722092 edges,
lola: 294 tries, 293254293 fired transitions, 1610 secs || 127681901 markings, 206392703 edges,
lola: 295 tries, 294083400 fired transitions, 1615 secs || 128084758 markings, 207055986 edges,
lola: 295 tries, 294912830 fired transitions, 1620 secs || 128487892 markings, 207723580 edges,
lola: 296 tries, 295802688 fired transitions, 1625 secs || 128891609 markings, 208391325 edges,
lola: 297 tries, 296663267 fired transitions, 1630 secs || 129300152 markings, 209067284 edges,
lola: 298 tries, 297558126 fired transitions, 1635 secs || 129709817 markings, 209744909 edges,
lola: 299 tries, 298740395 fired transitions, 1640 secs || 130199715 markings, 210555330 edges,
lola: 300 tries, 299847614 fired transitions, 1645 secs || 130689329 markings, 211366289 edges,
lola: 301 tries, 300913407 fired transitions, 1650 secs || 131175451 markings, 212169098 edges,
lola: 303 tries, 302014447 fired transitions, 1655 secs || 131662859 markings, 212978283 edges,
lola: 304 tries, 303196049 fired transitions, 1660 secs || 132154483 markings, 213789257 edges,
lola: 305 tries, 304299143 fired transitions, 1665 secs || 132643720 markings, 214600528 edges,
lola: 306 tries, 305389179 fired transitions, 1670 secs || 133129808 markings, 215405559 edges,
lola: 307 tries, 306197406 fired transitions, 1675 secs || 133520243 markings, 216052123 edges,
lola: 308 tries, 307059613 fired transitions, 1680 secs || 133909888 markings, 216697892 edges,
lola: 308 tries, 307892201 fired transitions, 1685 secs || 134300144 markings, 217343738 edges,
lola: 309 tries, 308818414 fired transitions, 1690 secs || 134689627 markings, 217991388 edges,
lola: 310 tries, 309752583 fired transitions, 1695 secs || 135078528 markings, 218636033 edges,
lola: 311 tries, 310633136 fired transitions, 1700 secs || 135468439 markings, 219280640 edges,
lola: 312 tries, 311495478 fired transitions, 1705 secs || 135858229 markings, 219925819 edges,
lola: 313 tries, 312359424 fired transitions, 1710 secs || 136246624 markings, 220572361 edges,
lola: 314 tries, 313222056 fired transitions, 1715 secs || 136636497 markings, 221219262 edges,
lola: 315 tries, 314091432 fired transitions, 1720 secs || 137024701 markings, 221862449 edges,
lola: 316 tries, 315023841 fired transitions, 1725 secs || 137414577 markings, 222507864 edges,
lola: 316 tries, 315887221 fired transitions, 1730 secs || 137804105 markings, 223154864 edges,
lola: 317 tries, 316811075 fired transitions, 1735 secs || 138194602 markings, 223800288 edges,
lola: 318 tries, 317688502 fired transitions, 1740 secs || 138582964 markings, 224445214 edges,
lola: 319 tries, 318597965 fired transitions, 1745 secs || 138973273 markings, 225092096 edges,
lola: 320 tries, 319492036 fired transitions, 1750 secs || 139361848 markings, 225737329 edges,
lola: 321 tries, 320354340 fired transitions, 1755 secs || 139750939 markings, 226380868 edges,
lola: 322 tries, 321234893 fired transitions, 1760 secs || 140139752 markings, 227025922 edges,
lola: 323 tries, 322171209 fired transitions, 1765 secs || 140528292 markings, 227672610 edges,
lola: 324 tries, 323106528 fired transitions, 1770 secs || 140918788 markings, 228319085 edges,
lola: 325 tries, 324042718 fired transitions, 1775 secs || 141306884 markings, 228963496 edges,
lola: 325 tries, 324978149 fired transitions, 1780 secs || 141696296 markings, 229609552 edges,
lola: 326 tries, 325913758 fired transitions, 1785 secs || 142085770 markings, 230254145 edges,
lola: 327 tries, 326850172 fired transitions, 1790 secs || 142473075 markings, 230898594 edges,
lola: 328 tries, 327786732 fired transitions, 1795 secs || 142861769 markings, 231544210 edges,
lola: 329 tries, 328723640 fired transitions, 1800 secs || 143251234 markings, 232190385 edges,
lola: 330 tries, 329611210 fired transitions, 1805 secs || 143640285 markings, 232836883 edges,
lola: 331 tries, 330516947 fired transitions, 1810 secs || 144028803 markings, 233481480 edges,
lola: 332 tries, 331454129 fired transitions, 1815 secs || 144417074 markings, 234124539 edges,
lola: 333 tries, 332392584 fired transitions, 1820 secs || 144805927 markings, 234771154 edges,
lola: 334 tries, 333326808 fired transitions, 1825 secs || 145197460 markings, 235422019 edges,
lola: 335 tries, 334242599 fired transitions, 1830 secs || 145586154 markings, 236068975 edges,
lola: 336 tries, 335125301 fired transitions, 1835 secs || 145947924 markings, 236671132 edges,
lola: 337 tries, 336078252 fired transitions, 1840 secs || 146272753 markings, 237210715 edges,
lola: 337 tries, 336941730 fired transitions, 1845 secs || 146655026 markings, 237845082 edges,
lola: 338 tries, 337815548 fired transitions, 1850 secs || 147004195 markings, 238425672 edges,
lola: 339 tries, 338758453 fired transitions, 1855 secs || 147330502 markings, 238966111 edges,
lola: 340 tries, 339711187 fired transitions, 1860 secs || 147669742 markings, 239529385 edges,
lola: 341 tries, 340667383 fired transitions, 1865 secs || 148003134 markings, 240082417 edges,
lola: 342 tries, 341612543 fired transitions, 1870 secs || 148365554 markings, 240682359 edges,
lola: 343 tries, 342561024 fired transitions, 1875 secs || 148716928 markings, 241263601 edges,
lola: 344 tries, 343512815 fired transitions, 1880 secs || 149058873 markings, 241830883 edges,
lola: 345 tries, 344469451 fired transitions, 1885 secs || 149391173 markings, 242385511 edges,
lola: 346 tries, 345420551 fired transitions, 1890 secs || 149735750 markings, 242957009 edges,
lola: 347 tries, 346372529 fired transitions, 1895 secs || 150078392 markings, 243527599 edges,
lola: 348 tries, 347278296 fired transitions, 1900 secs || 150431849 markings, 244114427 edges,
lola: 349 tries, 348167173 fired transitions, 1905 secs || 150779045 markings, 244688779 edges,
lola: 350 tries, 349112285 fired transitions, 1910 secs || 151147924 markings, 245302548 edges,
lola: 351 tries, 350052753 fired transitions, 1915 secs || 151526989 markings, 245930171 edges,
lola: 351 tries, 350994575 fired transitions, 1920 secs || 151904570 markings, 246558314 edges,
lola: 352 tries, 351937721 fired transitions, 1925 secs || 152282945 markings, 247186246 edges,
lola: 353 tries, 352812689 fired transitions, 1930 secs || 152660762 markings, 247814526 edges,
lola: 354 tries, 353740691 fired transitions, 1935 secs || 153037610 markings, 248442123 edges,
lola: 355 tries, 354682554 fired transitions, 1940 secs || 153414697 markings, 249068256 edges,
lola: 356 tries, 355575034 fired transitions, 1945 secs || 153789442 markings, 249690246 edges,
lola: 357 tries, 356443141 fired transitions, 1950 secs || 154166765 markings, 250314792 edges,
lola: 358 tries, 357337156 fired transitions, 1955 secs || 154543792 markings, 250940965 edges,
lola: 359 tries, 358258195 fired transitions, 1960 secs || 154919097 markings, 251565748 edges,
lola: 360 tries, 359128950 fired transitions, 1965 secs || 155294964 markings, 252191823 edges,
lola: 360 tries, 359998284 fired transitions, 1970 secs || 155670788 markings, 252816522 edges,
lola: 361 tries, 360868087 fired transitions, 1975 secs || 156044636 markings, 253439671 edges,
lola: 362 tries, 361737307 fired transitions, 1980 secs || 156420253 markings, 254063447 edges,
lola: 363 tries, 362658311 fired transitions, 1985 secs || 156793673 markings, 254684211 edges,
lola: 364 tries, 363554329 fired transitions, 1990 secs || 157167835 markings, 255306026 edges,
lola: 365 tries, 364459931 fired transitions, 1995 secs || 157542804 markings, 255929006 edges,
lola: 366 tries, 365403899 fired transitions, 2000 secs || 157917947 markings, 256553333 edges,
lola: 367 tries, 366346810 fired transitions, 2005 secs || 158292816 markings, 257176345 edges,
lola: 368 tries, 367266952 fired transitions, 2010 secs || 158669316 markings, 257802936 edges,
lola: 369 tries, 368149270 fired transitions, 2015 secs || 159045440 markings, 258429165 edges,
lola: 370 tries, 369086993 fired transitions, 2020 secs || 159418973 markings, 259050757 edges,
lola: 370 tries, 369959234 fired transitions, 2025 secs || 159793496 markings, 259672790 edges,
lola: 371 tries, 370901308 fired transitions, 2030 secs || 160167373 markings, 260292208 edges,
lola: 372 tries, 371846869 fired transitions, 2035 secs || 160541172 markings, 260914154 edges,
lola: 373 tries, 372791324 fired transitions, 2040 secs || 160915754 markings, 261533997 edges,
lola: 374 tries, 373737252 fired transitions, 2045 secs || 161290735 markings, 262159268 edges,
lola: 375 tries, 374681139 fired transitions, 2050 secs || 161664504 markings, 262780450 edges,
lola: 376 tries, 375579340 fired transitions, 2055 secs || 162037579 markings, 263400666 edges,
lola: 377 tries, 376487818 fired transitions, 2060 secs || 162410640 markings, 264021852 edges,
lola: 378 tries, 377434254 fired transitions, 2065 secs || 162783735 markings, 264644257 edges,
lola: 379 tries, 378379690 fired transitions, 2070 secs || 163158072 markings, 265267987 edges,
lola: 380 tries, 379324635 fired transitions, 2075 secs || 163532284 markings, 265891322 edges,
lola: 381 tries, 380269578 fired transitions, 2080 secs || 163905618 markings, 266515265 edges,
lola: 382 tries, 381215620 fired transitions, 2085 secs || 164280186 markings, 267140786 edges,
lola: 383 tries, 382161252 fired transitions, 2090 secs || 164652666 markings, 267757356 edges,
lola: 384 tries, 383098518 fired transitions, 2095 secs || 165023639 markings, 268375273 edges,
lola: 384 tries, 383971447 fired transitions, 2100 secs || 165395228 markings, 268995047 edges,
lola: 385 tries, 384916163 fired transitions, 2105 secs || 165768198 markings, 269616500 edges,
lola: 386 tries, 385863425 fired transitions, 2110 secs || 166140019 markings, 270235619 edges,
lola: 387 tries, 386747271 fired transitions, 2115 secs || 166511876 markings, 270853490 edges,
lola: 388 tries, 387621453 fired transitions, 2120 secs || 166883081 markings, 271470852 edges,
lola: 389 tries, 388534720 fired transitions, 2125 secs || 167255718 markings, 272090038 edges,
lola: 390 tries, 389480004 fired transitions, 2130 secs || 167630300 markings, 272713946 edges,
lola: 391 tries, 390426260 fired transitions, 2135 secs || 168002916 markings, 273333015 edges,
lola: 392 tries, 391344108 fired transitions, 2140 secs || 168376128 markings, 273952850 edges,
lola: 393 tries, 392232539 fired transitions, 2145 secs || 168748977 markings, 274574096 edges,
lola: 394 tries, 393179915 fired transitions, 2150 secs || 169120689 markings, 275193805 edges,
lola: 395 tries, 394116388 fired transitions, 2155 secs || 169492225 markings, 275811259 edges,
lola: 395 tries, 394988515 fired transitions, 2160 secs || 169863809 markings, 276431176 edges,
lola: 396 tries, 395932637 fired transitions, 2165 secs || 170234835 markings, 277048202 edges,
lola: 397 tries, 396875900 fired transitions, 2170 secs || 170608346 markings, 277669873 edges,
lola: 398 tries, 397758302 fired transitions, 2175 secs || 170980951 markings, 278289002 edges,
lola: 399 tries, 398683876 fired transitions, 2180 secs || 171351729 markings, 278905433 edges,
lola: 400 tries, 399581664 fired transitions, 2185 secs || 171725534 markings, 279528507 edges,
lola: 401 tries, 400491738 fired transitions, 2190 secs || 172099049 markings, 280150927 edges,
lola: 402 tries, 401405420 fired transitions, 2195 secs || 172472766 markings, 280772067 edges,
lola: 403 tries, 402302496 fired transitions, 2200 secs || 172844821 markings, 281391637 edges,
lola: 404 tries, 403250492 fired transitions, 2205 secs || 173216783 markings, 282012952 edges,
lola: 405 tries, 404183859 fired transitions, 2210 secs || 173589445 markings, 282633999 edges,
lola: 406 tries, 405056628 fired transitions, 2215 secs || 173962211 markings, 283258622 edges,
lola: 406 tries, 405932792 fired transitions, 2220 secs || 174333508 markings, 283878480 edges,
lola: 407 tries, 406876199 fired transitions, 2225 secs || 174703700 markings, 284498014 edges,
lola: 408 tries, 407468043 fired transitions, 2230 secs || 174965773 markings, 284934274 edges,
lola: 408 tries, 407469789 fired transitions, 2235 secs || 174966142 markings, 284934814 edges,
lola: 408 tries, 407480320 fired transitions, 2240 secs || 174968791 markings, 284939313 edges,
lola: 408 tries, 407668876 fired transitions, 2245 secs || 174982718 markings, 284962642 edges,
lola: 408 tries, 407681551 fired transitions, 2250 secs || 174983430 markings, 284963766 edges,
lola: 408 tries, 407681684 fired transitions, 2255 secs || 174983471 markings, 284963831 edges,
lola: 408 tries, 407732536 fired transitions, 2260 secs || 174988534 markings, 284972229 edges,
lola: 408 tries, 407737522 fired transitions, 2265 secs || 174988580 markings, 284972291 edges,
lola: 408 tries, 407809998 fired transitions, 2270 secs || 174989465 markings, 284973683 edges,
lola: 408 tries, 407810173 fired transitions, 2275 secs || 174989523 markings, 284973799 edges,
lola: 408 tries, 407865292 fired transitions, 2280 secs || 174995390 markings, 284983691 edges,
lola: 409 tries, 408059795 fired transitions, 2285 secs || 175002826 markings, 284995884 edges,
lola: 409 tries, 408102990 fired transitions, 2290 secs || 175004868 markings, 284999337 edges,
lola: 409 tries, 408239432 fired transitions, 2295 secs || 175013780 markings, 285014463 edges,
lola: 409 tries, 408239572 fired transitions, 2300 secs || 175013816 markings, 285014518 edges,
lola: 409 tries, 408281306 fired transitions, 2305 secs || 175016048 markings, 285018315 edges,
lola: 409 tries, 408281494 fired transitions, 2310 secs || 175016106 markings, 285018403 edges,
lola: 409 tries, 408281663 fired transitions, 2315 secs || 175016137 markings, 285018449 edges,
lola: 410 tries, 409061901 fired transitions, 2320 secs || 175021741 markings, 285027674 edges,
lola: 410 tries, 409262918 fired transitions, 2325 secs || 175023429 markings, 285030527 edges,
lola: 410 tries, 409278800 fired transitions, 2330 secs || 175025535 markings, 285033991 edges,
lola: 410 tries, 409420514 fired transitions, 2335 secs || 175046282 markings, 285068146 edges,
lola: 410 tries, 409532002 fired transitions, 2340 secs || 175060809 markings, 285092548 edges,
lola: 410 tries, 409756788 fired transitions, 2345 secs || 175084703 markings, 285132134 edges,
lola: 410 tries, 409799471 fired transitions, 2350 secs || 175084955 markings, 285132546 edges,
Killed
rslt: finished

BK_STOP 1552515497941

--------------------
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) 87719 markings/sec, 0 secs 95700 markings/sec, 5 secs 84623 markings/sec, 10 secs 80874 markings/sec, 15 secs 74457 markings/sec, 20 secs 75835 markings/sec, 25 secs 73251 markings/sec, 30 secs 71036 markings/sec, 35 secs 75783 markings/sec, 40 secs 72632 markings/sec, 45 secs 70414 markings/sec, 50 secs 72668 markings/sec, 55 secs 75023 markings/sec, 60 secs 75920 markings/sec, 65 secs 75545 markings/sec, 70 secs 72125 markings/sec, 75 secs 72200 markings/sec, 80 secs 80088 markings/sec, 85 secs 77399 markings/sec, 90 secs 70133 markings/sec, 95 secs 71176 markings/sec, 100 secs 71345 markings/sec, 105 secs 73078 markings/sec, 110 secs 79353 markings/sec, 115 secs 80072 markings/sec, 120 secs 76371 markings/sec, 125 secs 71093 markings/sec, 130 secs 78695 markings/sec, 135 secs 79171 markings/sec, 140 secs 78782 markings/sec, 145 secs 78102 markings/sec, 150 secs 73807 markings/sec, 155 secs 78758 markings/sec, 160 secs 78266 markings/sec, 165 secs 78163 markings/sec, 170 secs 79247 markings/sec, 175 secs 79007 markings/sec, 180 secs 79020 markings/sec, 185 secs 78817 markings/sec, 190 secs 78511 markings/sec, 195 secs 78358 markings/sec, 200 secs 78288 markings/sec, 205 secs 78022 markings/sec, 210 secs 78261 markings/sec, 215 secs 78273 markings/sec, 220 secs 78501 markings/sec, 225 secs 77977 markings/sec, 230 secs 77969 markings/sec, 235 secs 78091 markings/sec, 240 secs 77500 markings/sec, 245 secs 77566 markings/sec, 250 secs 77584 markings/sec, 255 secs 77487 markings/sec, 260 secs 77806 markings/sec, 265 secs 77437 markings/sec, 270 secs 77439 markings/sec, 275 secs 77362 markings/sec, 280 secs 77364 markings/sec, 285 secs 77094 markings/sec, 290 secs 77135 markings/sec, 295 secs 76831 markings/sec, 300 secs 77071 markings/sec, 305 secs 77265 markings/sec, 310 secs 77141 markings/sec, 315 secs 77013 markings/sec, 320 secs 77039 markings/sec, 325 secs 77079 markings/sec, 330 secs 76866 markings/sec, 335 secs 76882 markings/sec, 340 secs 76588 markings/sec, 345 secs 76509 markings/sec, 350 secs 76556 markings/sec, 355 secs 76460 markings/sec, 360 secs 76573 markings/sec, 365 secs 76528 markings/sec, 370 secs 76717 markings/sec, 375 secs 76702 markings/sec, 380 secs 76666 markings/sec, 385 secs 76308 markings/sec, 390 secs 76247 markings/sec, 395 secs 76345 markings/sec, 400 secs 76614 markings/sec, 405 secs 76396 markings/sec, 410 secs 76441 markings/sec, 415 secs 76313 markings/sec, 420 secs 76425 markings/sec, 425 secs 76523 markings/sec, 430 secs 75944 markings/sec, 435 secs 75811 markings/sec, 440 secs 75849 markings/sec, 445 secs 76191 markings/sec, 450 secs 76288 markings/sec, 455 secs 76140 markings/sec, 460 secs 75853 markings/sec, 465 secs 76125 markings/sec, 470 secs 75899 markings/sec, 475 secs 76055 markings/sec, 480 secs 76248 markings/sec, 485 secs 76012 markings/sec, 490 secs 76302 markings/sec, 495 secs 76136 markings/sec, 500 secs 75959 markings/sec, 505 secs 76101 markings/sec, 510 secs 76291 markings/sec, 515 secs 76041 markings/sec, 520 secs 75911 markings/sec, 525 secs 75923 markings/sec, 530 secs 75900 markings/sec, 535 secs 75729 markings/sec, 540 secs 76036 markings/sec, 545 secs 75673 markings/sec, 550 secs 75794 markings/sec, 555 secs 75656 markings/sec, 560 secs 75873 markings/sec, 565 secs 75634 markings/sec, 570 secs 75690 markings/sec, 575 secs 75747 markings/sec, 580 secs 75450 markings/sec, 585 secs 75513 markings/sec, 590 secs 75646 markings/sec, 595 secs 72077 markings/sec, 600 secs 67993 markings/sec, 605 secs 66400 markings/sec, 610 secs 67698 markings/sec, 615 secs 67960 markings/sec, 620 secs 69756 markings/sec, 625 secs 69959 markings/sec, 630 secs 70012 markings/sec, 635 secs 72205 markings/sec, 640 secs 75612 markings/sec, 645 secs 72400 markings/sec, 650 secs 68842 markings/sec, 655 secs 73579 markings/sec, 660 secs 68734 markings/sec, 665 secs 69387 markings/sec, 670 secs 65933 markings/sec, 675 secs 70923 markings/sec, 680 secs 69946 markings/sec, 685 secs 77136 markings/sec, 690 secs 80349 markings/sec, 695 secs 79267 markings/sec, 700 secs 79384 markings/sec, 705 secs 79037 markings/sec, 710 secs 79612 markings/sec, 715 secs 79358 markings/sec, 720 secs 79574 markings/sec, 725 secs 78816 markings/sec, 730 secs 79060 markings/sec, 735 secs 79236 markings/sec, 740 secs 79238 markings/sec, 745 secs 78751 markings/sec, 750 secs 79431 markings/sec, 755 secs 79122 markings/sec, 760 secs 79309 markings/sec, 765 secs 78561 markings/sec, 770 secs 79233 markings/sec, 775 secs 78805 markings/sec, 780 secs 82456 markings/sec, 785 secs 105163 markings/sec, 790 secs 105118 markings/sec, 795 secs 104828 markings/sec, 800 secs 78534 markings/sec, 805 secs 78265 markings/sec, 810 secs 77770 markings/sec, 815 secs 78382 markings/sec, 820 secs 77659 markings/sec, 825 secs 77871 markings/sec, 830 secs 78223 markings/sec, 835 secs 78336 markings/sec, 840 secs 78382 markings/sec, 845 secs 78901 markings/sec, 850 secs 104706 markings/sec, 855 secs 104798 markings/sec, 860 secs 104658 markings/sec, 865 secs 104687 markings/sec, 870 secs 104647 markings/sec, 875 secs 104663 markings/sec, 880 secs 105089 markings/sec, 885 secs 81974 markings/sec, 890 secs 80926 markings/sec, 895 secs 81485 markings/sec, 900 secs 90502 markings/sec, 905 secs 98543 markings/sec, 910 secs 98733 markings/sec, 915 secs 98669 markings/sec, 920 secs 98690 markings/sec, 925 secs 93622 markings/sec, 930 secs 80092 markings/sec, 935 secs 78074 markings/sec, 940 secs 77689 markings/sec, 945 secs 77633 markings/sec, 950 secs 77721 markings/sec, 955 secs 77770 markings/sec, 960 secs 78018 markings/sec, 965 secs 77595 markings/sec, 970 secs 77626 markings/sec, 975 secs 77255 markings/sec, 980 secs 77856 markings/sec, 985 secs 77552 markings/sec, 990 secs 77611 markings/sec, 995 secs 77251 markings/sec, 1000 secs 78031 markings/sec, 1005 secs 79705 markings/sec, 1010 secs 80471 markings/sec, 1015 secs 80311 markings/sec, 1020 secs 92424 markings/sec, 1025 secs 85624 markings/sec, 1030 secs 77707 markings/sec, 1035 secs 78557 markings/sec, 1040 secs 78030 markings/sec, 1045 secs 77736 markings/sec, 1050 secs 78583 markings/sec, 1055 secs 78062 markings/sec, 1060 secs 78008 markings/sec, 1065 secs 77608 markings/sec, 1070 secs 77794 markings/sec, 1075 secs 78159 markings/sec, 1080 secs 77836 markings/sec, 1085 secs 78587 markings/sec, 1090 secs 78073 markings/sec, 1095 secs 77992 markings/sec, 1100 secs 77941 markings/sec, 1105 secs 78076 markings/sec, 1110 secs 78196 markings/sec, 1115 secs 78170 markings/sec, 1120 secs 77873 markings/sec, 1125 secs 78044 markings/sec, 1130 secs 77576 markings/sec, 1135 secs 78098 markings/sec, 1140 secs 86372 markings/sec, 1145 secs 98852 markings/sec, 1150 secs 98575 markings/sec, 1155 secs 98134 markings/sec, 1160 secs 98165 markings/sec, 1165 secs 89969 markings/sec, 1170 secs 77866 markings/sec, 1175 secs 77916 markings/sec, 1180 secs 77680 markings/sec, 1185 secs 77981 markings/sec, 1190 secs 77741 markings/sec, 1195 secs 77812 markings/sec, 1200 secs 73452 markings/sec, 1205 secs 69423 markings/sec, 1210 secs 73766 markings/sec, 1215 secs 73599 markings/sec, 1220 secs 69757 markings/sec, 1225 secs 74338 markings/sec, 1230 secs 70137 markings/sec, 1235 secs 73638 markings/sec, 1240 secs 67086 markings/sec, 1245 secs 69515 markings/sec, 1250 secs 71293 markings/sec, 1255 secs 72174 markings/sec, 1260 secs 70043 markings/sec, 1265 secs 76662 markings/sec, 1270 secs 78661 markings/sec, 1275 secs 78349 markings/sec, 1280 secs 78949 markings/sec, 1285 secs 78230 markings/sec, 1290 secs 78520 markings/sec, 1295 secs 78773 markings/sec, 1300 secs 82125 markings/sec, 1305 secs 78106 markings/sec, 1310 secs 78018 markings/sec, 1315 secs 78186 markings/sec, 1320 secs 78124 markings/sec, 1325 secs 77758 markings/sec, 1330 secs 78174 markings/sec, 1335 secs 77964 markings/sec, 1340 secs 77863 markings/sec, 1345 secs 77842 markings/sec, 1350 secs 77765 markings/sec, 1355 secs 78003 markings/sec, 1360 secs 78000 markings/sec, 1365 secs 78040 markings/sec, 1370 secs 79015 markings/sec, 1375 secs 99764 markings/sec, 1380 secs 82186 markings/sec, 1385 secs 80439 markings/sec, 1390 secs 80312 markings/sec, 1395 secs 93604 markings/sec, 1400 secs 98750 markings/sec, 1405 secs 99218 markings/sec, 1410 secs 81468 markings/sec, 1415 secs 78457 markings/sec, 1420 secs 78924 markings/sec, 1425 secs 78830 markings/sec, 1430 secs 78596 markings/sec, 1435 secs 78727 markings/sec, 1440 secs 78588 markings/sec, 1445 secs 78646 markings/sec, 1450 secs 78745 markings/sec, 1455 secs 78524 markings/sec, 1460 secs 78734 markings/sec, 1465 secs 78883 markings/sec, 1470 secs 82907 markings/sec, 1475 secs 80760 markings/sec, 1480 secs 80881 markings/sec, 1485 secs 80789 markings/sec, 1490 secs 80560 markings/sec, 1495 secs 80887 markings/sec, 1500 secs 81420 markings/sec, 1505 secs 80730 markings/sec, 1510 secs 80832 markings/sec, 1515 secs 77948 markings/sec, 1520 secs 80946 markings/sec, 1525 secs 80894 markings/sec, 1530 secs 80793 markings/sec, 1535 secs 80622 markings/sec, 1540 secs 80519 markings/sec, 1545 secs 80257 markings/sec, 1550 secs 80437 markings/sec, 1555 secs 80754 markings/sec, 1560 secs 80423 markings/sec, 1565 secs 80724 markings/sec, 1570 secs 80532 markings/sec, 1575 secs 80979 markings/sec, 1580 secs 80593 markings/sec, 1585 secs 80735 markings/sec, 1590 secs 80568 markings/sec, 1595 secs 80501 markings/sec, 1600 secs 80620 markings/sec, 1605 secs 80680 markings/sec, 1610 secs 80571 markings/sec, 1615 secs 80627 markings/sec, 1620 secs 80743 markings/sec, 1625 secs 81709 markings/sec, 1630 secs 81933 markings/sec, 1635 secs 97980 markings/sec, 1640 secs 97923 markings/sec, 1645 secs 97224 markings/sec, 1650 secs 97482 markings/sec, 1655 secs 98325 markings/sec, 1660 secs 97847 markings/sec, 1665 secs 97218 markings/sec, 1670 secs 78087 markings/sec, 1675 secs 77929 markings/sec, 1680 secs 78051 markings/sec, 1685 secs 77897 markings/sec, 1690 secs 77780 markings/sec, 1695 secs 77982 markings/sec, 1700 secs 77958 markings/sec, 1705 secs 77679 markings/sec, 1710 secs 77975 markings/sec, 1715 secs 77641 markings/sec, 1720 secs 77975 markings/sec, 1725 secs 77906 markings/sec, 1730 secs 78099 markings/sec, 1735 secs 77672 markings/sec, 1740 secs 78062 markings/sec, 1745 secs 77715 markings/sec, 1750 secs 77818 markings/sec, 1755 secs 77763 markings/sec, 1760 secs 77708 markings/sec, 1765 secs 78099 markings/sec, 1770 secs 77619 markings/sec, 1775 secs 77882 markings/sec, 1780 secs 77895 markings/sec, 1785 secs 77461 markings/sec, 1790 secs 77739 markings/sec, 1795 secs 77893 markings/sec, 1800 secs 77810 markings/sec, 1805 secs 77704 markings/sec, 1810 secs 77654 markings/sec, 1815 secs 77771 markings/sec, 1820 secs 78307 markings/sec, 1825 secs 77739 markings/sec, 1830 secs 72354 markings/sec, 1835 secs 64966 markings/sec, 1840 secs 76455 markings/sec, 1845 secs 69834 markings/sec, 1850 secs 65261 markings/sec, 1855 secs 67848 markings/sec, 1860 secs 66678 markings/sec, 1865 secs 72484 markings/sec, 1870 secs 70275 markings/sec, 1875 secs 68389 markings/sec, 1880 secs 66460 markings/sec, 1885 secs 68915 markings/sec, 1890 secs 68528 markings/sec, 1895 secs 70691 markings/sec, 1900 secs 69439 markings/sec, 1905 secs 73776 markings/sec, 1910 secs 75813 markings/sec, 1915 secs 75516 markings/sec, 1920 secs 75675 markings/sec, 1925 secs 75563 markings/sec, 1930 secs 75370 markings/sec, 1935 secs 75417 markings/sec, 1940 secs 74949 markings/sec, 1945 secs 75465 markings/sec, 1950 secs 75405 markings/sec, 1955 secs 75061 markings/sec, 1960 secs 75173 markings/sec, 1965 secs 75165 markings/sec, 1970 secs 74770 markings/sec, 1975 secs 75123 markings/sec, 1980 secs 74684 markings/sec, 1985 secs 74832 markings/sec, 1990 secs 74994 markings/sec, 1995 secs 75029 markings/sec, 2000 secs 74974 markings/sec, 2005 secs 75300 markings/sec, 2010 secs 75225 markings/sec, 2015 secs 74707 markings/sec, 2020 secs 74905 markings/sec, 2025 secs 74775 markings/sec, 2030 secs 74760 markings/sec, 2035 secs 74916 markings/sec, 2040 secs 74996 markings/sec, 2045 secs 74754 markings/sec, 2050 secs 74615 markings/sec, 2055 secs 74612 markings/sec, 2060 secs 74619 markings/sec, 2065 secs 74867 markings/sec, 2070 secs 74842 markings/sec, 2075 secs 74667 markings/sec, 2080 secs 74914 markings/sec, 2085 secs 74496 markings/sec, 2090 secs 74195 markings/sec, 2095 secs 74318 markings/sec, 2100 secs 74594 markings/sec, 2105 secs 74364 markings/sec, 2110 secs 74371 markings/sec, 2115 secs 74241 markings/sec, 2120 secs 74527 markings/sec, 2125 secs 74916 markings/sec, 2130 secs 74523 markings/sec, 2135 secs 74642 markings/sec, 2140 secs 74570 markings/sec, 2145 secs 74342 markings/sec, 2150 secs 74307 markings/sec, 2155 secs 74317 markings/sec, 2160 secs 74205 markings/sec, 2165 secs 74702 markings/sec, 2170 secs 74521 markings/sec, 2175 secs 74156 markings/sec, 2180 secs 74761 markings/sec, 2185 secs 74703 markings/sec, 2190 secs 74743 markings/sec, 2195 secs 74411 markings/sec, 2200 secs 74392 markings/sec, 2205 secs 74532 markings/sec, 2210 secs 74553 markings/sec, 2215 secs 74259 markings/sec, 2220 secs 74038 markings/sec, 2225 secs 52415 markings/sec, 2230 secs 74 markings/sec, 2235 secs 530 markings/sec, 2240 secs 2785 markings/sec, 2245 secs 142 markings/sec, 2250 secs 8 markings/sec, 2255 secs 1013 markings/sec, 2260 secs 9 markings/sec, 2265 secs 177 markings/sec, 2270 secs 12 markings/sec, 2275 secs 1173 markings/sec, 2280 secs 1487 markings/sec, 2285 secs 408 markings/sec, 2290 secs 1782 markings/sec, 2295 secs 7 markings/sec, 2300 secs 446 markings/sec, 2305 secs 12 markings/sec, 2310 secs 6 markings/sec, 2315 secs 1121 markings/sec, 2320 secs 338 markings/sec, 2325 secs 421 markings/sec, 2330 secs 4149 markings/sec, 2335 secs 2905 markings/sec, 2340 secs 4779 markings/sec, 2345 secs 50 markings/sec, 2350 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-10421"
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-10421, 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-155234737500102"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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