MCC'2019 - Execution of r049-oct2-155234405200534

About the Execution of LoLA for DLCshifumi-PT-3b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15918.860	2844974.00	5752166.00	3621.10	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405200534.qcow2', fmt=qcow2 size=4294967296 backing_file=/data
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCshifumi-PT-3b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405200534
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 3.6K Feb 10 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 07:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 07:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K Feb 4 23:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 3 00:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 3 00:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 30 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 2.3M 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 DLCshifumi-PT-3b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552463086987

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCshifumi-PT-3b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 726
rslt: Output for GlobalProperties @ DLCshifumi-PT-3b
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: 16669/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7058
lola: finding significant places
lola: 7058 places, 9611 transitions, 6776 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: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 42 generators (42 in search tree, 0 by composition)
lola: representing 4.39805E+12 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 859481 fired transitions, 0 secs || 61918 markings, 69159 edges,
lola: 2 tries, 1808516 fired transitions, 5 secs || 128338 markings, 143069 edges,
lola: 3 tries, 2759074 fired transitions, 10 secs || 193587 markings, 216075 edges,
lola: 4 tries, 3632731 fired transitions, 15 secs || 250408 markings, 279607 edges,
lola: 5 tries, 4454056 fired transitions, 20 secs || 301859 markings, 337210 edges,
lola: 6 tries, 5279183 fired transitions, 25 secs || 353985 markings, 395695 edges,
lola: 7 tries, 6104150 fired transitions, 30 secs || 405283 markings, 453102 edges,
lola: 7 tries, 6929592 fired transitions, 35 secs || 457294 markings, 511497 edges,
lola: 8 tries, 7754451 fired transitions, 40 secs || 508547 markings, 568827 edges,
lola: 9 tries, 8580815 fired transitions, 45 secs || 561889 markings, 628818 edges,
lola: 10 tries, 9406744 fired transitions, 50 secs || 613273 markings, 686394 edges,
lola: 11 tries, 10228399 fired transitions, 55 secs || 665679 markings, 745337 edges,
lola: 12 tries, 11057105 fired transitions, 60 secs || 719462 markings, 805892 edges,
lola: 12 tries, 11953518 fired transitions, 65 secs || 780059 markings, 874032 edges,
lola: 13 tries, 12903866 fired transitions, 70 secs || 847872 markings, 950727 edges,
lola: 14 tries, 13786434 fired transitions, 75 secs || 907636 markings, 1018186 edges,
lola: 15 tries, 14615428 fired transitions, 80 secs || 961253 markings, 1078762 edges,
lola: 16 tries, 15436643 fired transitions, 85 secs || 1016171 markings, 1140468 edges,
lola: 17 tries, 16387071 fired transitions, 90 secs || 1084587 markings, 1217563 edges,
lola: 18 tries, 17336738 fired transitions, 95 secs || 1151893 markings, 1293593 edges,
lola: 19 tries, 18286294 fired transitions, 100 secs || 1220358 markings, 1371238 edges,
lola: 20 tries, 19236110 fired transitions, 105 secs || 1287499 markings, 1446948 edges,
lola: 21 tries, 20184668 fired transitions, 110 secs || 1354312 markings, 1522257 edges,
lola: 22 tries, 21133727 fired transitions, 115 secs || 1422718 markings, 1599455 edges,
lola: 23 tries, 22079518 fired transitions, 120 secs || 1488202 markings, 1672897 edges,
lola: 24 tries, 23029553 fired transitions, 125 secs || 1555385 markings, 1748472 edges,
lola: 24 tries, 23977894 fired transitions, 130 secs || 1621848 markings, 1823243 edges,
lola: 25 tries, 24927420 fired transitions, 135 secs || 1688268 markings, 1897910 edges,
lola: 26 tries, 25876237 fired transitions, 140 secs || 1755614 markings, 1973776 edges,
lola: 27 tries, 26826731 fired transitions, 145 secs || 1823808 markings, 2051125 edges,
lola: 28 tries, 27776801 fired transitions, 150 secs || 1890539 markings, 2126566 edges,
lola: 29 tries, 28721474 fired transitions, 155 secs || 1956222 markings, 2200161 edges,
lola: 30 tries, 29669303 fired transitions, 160 secs || 2023897 markings, 2276281 edges,
lola: 31 tries, 30617856 fired transitions, 165 secs || 2091287 markings, 2352205 edges,
lola: 32 tries, 31565842 fired transitions, 170 secs || 2158018 markings, 2427371 edges,
lola: 33 tries, 32513954 fired transitions, 175 secs || 2224204 markings, 2501935 edges,
lola: 34 tries, 33461065 fired transitions, 180 secs || 2292845 markings, 2579501 edges,
lola: 35 tries, 34409435 fired transitions, 185 secs || 2360467 markings, 2655868 edges,
lola: 36 tries, 35359794 fired transitions, 190 secs || 2427707 markings, 2731596 edges,
lola: 37 tries, 36307735 fired transitions, 195 secs || 2493113 markings, 2804869 edges,
lola: 38 tries, 37256440 fired transitions, 200 secs || 2558626 markings, 2878201 edges,
lola: 39 tries, 38204945 fired transitions, 205 secs || 2624849 markings, 2952422 edges,
lola: 40 tries, 39155086 fired transitions, 210 secs || 2692350 markings, 3028587 edges,
lola: 41 tries, 40105958 fired transitions, 215 secs || 2761175 markings, 3106521 edges,
lola: 42 tries, 41055777 fired transitions, 220 secs || 2827261 markings, 3180790 edges,
lola: 43 tries, 42005794 fired transitions, 225 secs || 2894364 markings, 3256236 edges,
lola: 43 tries, 42955576 fired transitions, 230 secs || 2963283 markings, 3333860 edges,
lola: 44 tries, 43905575 fired transitions, 235 secs || 3030616 markings, 3410002 edges,
lola: 45 tries, 44855848 fired transitions, 240 secs || 3097584 markings, 3485278 edges,
lola: 46 tries, 45804725 fired transitions, 245 secs || 3164873 markings, 3561282 edges,
lola: 47 tries, 46754619 fired transitions, 250 secs || 3232675 markings, 3637688 edges,
lola: 48 tries, 47704271 fired transitions, 255 secs || 3300910 markings, 3714965 edges,
lola: 49 tries, 48653943 fired transitions, 260 secs || 3370076 markings, 3793105 edges,
lola: 50 tries, 49603033 fired transitions, 265 secs || 3436578 markings, 3867595 edges,
lola: 51 tries, 50552695 fired transitions, 270 secs || 3503927 markings, 3943403 edges,
lola: 52 tries, 51502509 fired transitions, 275 secs || 3570456 markings, 4018322 edges,
lola: 53 tries, 52453797 fired transitions, 280 secs || 3639505 markings, 4096800 edges,
lola: 54 tries, 53402263 fired transitions, 285 secs || 3707377 markings, 4173451 edges,
lola: 55 tries, 54344033 fired transitions, 290 secs || 3775790 markings, 4250838 edges,
lola: 56 tries, 55294968 fired transitions, 295 secs || 3844672 markings, 4329069 edges,
lola: 57 tries, 56246619 fired transitions, 300 secs || 3913952 markings, 4407372 edges,
lola: 58 tries, 57188632 fired transitions, 305 secs || 3981315 markings, 4483214 edges,
lola: 59 tries, 58138770 fired transitions, 310 secs || 4049305 markings, 4559875 edges,
lola: 60 tries, 59088726 fired transitions, 315 secs || 4117345 markings, 4636484 edges,
lola: 61 tries, 60038458 fired transitions, 320 secs || 4184440 markings, 4712208 edges,
lola: 61 tries, 60988009 fired transitions, 325 secs || 4252823 markings, 4789306 edges,
lola: 62 tries, 61938808 fired transitions, 330 secs || 4321793 markings, 4867791 edges,
lola: 63 tries, 62887166 fired transitions, 335 secs || 4387995 markings, 4942078 edges,
lola: 64 tries, 63836179 fired transitions, 340 secs || 4456910 markings, 5020141 edges,
lola: 65 tries, 64785600 fired transitions, 345 secs || 4525179 markings, 5097369 edges,
lola: 66 tries, 65734438 fired transitions, 350 secs || 4593683 markings, 5175239 edges,
lola: 67 tries, 66681460 fired transitions, 355 secs || 4658976 markings, 5248438 edges,
lola: 68 tries, 67630904 fired transitions, 360 secs || 4724540 markings, 5321947 edges,
lola: 69 tries, 68578414 fired transitions, 365 secs || 4790580 markings, 5396192 edges,
lola: 70 tries, 69527293 fired transitions, 370 secs || 4856051 markings, 5469614 edges,
lola: 71 tries, 70475349 fired transitions, 375 secs || 4922313 markings, 5544038 edges,
lola: 72 tries, 71424900 fired transitions, 380 secs || 4988764 markings, 5618855 edges,
lola: 73 tries, 72373169 fired transitions, 385 secs || 5057310 markings, 5696212 edges,
lola: 74 tries, 73323025 fired transitions, 390 secs || 5124354 markings, 5771915 edges,
lola: 75 tries, 74272076 fired transitions, 395 secs || 5193118 markings, 5849946 edges,
lola: 76 tries, 75222144 fired transitions, 400 secs || 5261049 markings, 5926922 edges,
lola: 77 tries, 76168285 fired transitions, 405 secs || 5328525 markings, 6003175 edges,
lola: 78 tries, 77116488 fired transitions, 410 secs || 5393425 markings, 6075771 edges,
lola: 79 tries, 78063568 fired transitions, 415 secs || 5459096 markings, 6149493 edges,
lola: 80 tries, 79011030 fired transitions, 420 secs || 5524262 markings, 6222612 edges,
lola: 80 tries, 79958176 fired transitions, 425 secs || 5589821 markings, 6296122 edges,
lola: 81 tries, 80908190 fired transitions, 430 secs || 5656270 markings, 6370881 edges,
lola: 82 tries, 81857330 fired transitions, 435 secs || 5721812 markings, 6444443 edges,
lola: 83 tries, 82805859 fired transitions, 440 secs || 5788499 markings, 6519569 edges,
lola: 84 tries, 83756508 fired transitions, 445 secs || 5855970 markings, 6595812 edges,
lola: 85 tries, 84705505 fired transitions, 450 secs || 5923322 markings, 6671629 edges,
lola: 86 tries, 85651368 fired transitions, 455 secs || 5989083 markings, 6745480 edges,
lola: 87 tries, 86600745 fired transitions, 460 secs || 6056488 markings, 6821316 edges,
lola: 88 tries, 87548765 fired transitions, 465 secs || 6123261 markings, 6896325 edges,
lola: 89 tries, 88498236 fired transitions, 470 secs || 6190908 markings, 6972765 edges,
lola: 90 tries, 89446220 fired transitions, 475 secs || 6257455 markings, 7047433 edges,
lola: 91 tries, 90395014 fired transitions, 480 secs || 6325111 markings, 7123725 edges,
lola: 92 tries, 91344994 fired transitions, 485 secs || 6392621 markings, 7200057 edges,
lola: 93 tries, 92293672 fired transitions, 490 secs || 6459381 markings, 7275106 edges,
lola: 94 tries, 93240917 fired transitions, 495 secs || 6525476 markings, 7349405 edges,
lola: 95 tries, 94190492 fired transitions, 500 secs || 6593802 markings, 7426502 edges,
lola: 96 tries, 95138042 fired transitions, 505 secs || 6659613 markings, 7500559 edges,
lola: 97 tries, 96086343 fired transitions, 510 secs || 6726936 markings, 7576449 edges,
lola: 98 tries, 97035607 fired transitions, 515 secs || 6794938 markings, 7653434 edges,
lola: 98 tries, 97984839 fired transitions, 520 secs || 6862327 markings, 7729386 edges,
lola: 99 tries, 98932656 fired transitions, 525 secs || 6928677 markings, 7804140 edges,
lola: 100 tries, 99877894 fired transitions, 530 secs || 6994956 markings, 7878692 edges,
lola: 101 tries, 100826123 fired transitions, 535 secs || 7062827 markings, 7955425 edges,
lola: 102 tries, 101775303 fired transitions, 540 secs || 7130864 markings, 8032581 edges,
lola: 103 tries, 102716109 fired transitions, 545 secs || 7197712 markings, 8108131 edges,
lola: 104 tries, 103665516 fired transitions, 550 secs || 7264455 markings, 8182986 edges,
lola: 105 tries, 104615038 fired transitions, 555 secs || 7333804 markings, 8261545 edges,
lola: 106 tries, 105563867 fired transitions, 560 secs || 7401357 markings, 8338112 edges,
lola: 107 tries, 106512327 fired transitions, 565 secs || 7469392 markings, 8415176 edges,
lola: 108 tries, 107462717 fired transitions, 570 secs || 7536613 markings, 8491291 edges,
lola: 109 tries, 108411451 fired transitions, 575 secs || 7604328 markings, 8567755 edges,
lola: 110 tries, 109360156 fired transitions, 580 secs || 7672817 markings, 8645387 edges,
lola: 111 tries, 110308621 fired transitions, 585 secs || 7740667 markings, 8722276 edges,
lola: 112 tries, 111255456 fired transitions, 590 secs || 7805465 markings, 8794679 edges,
lola: 113 tries, 112202644 fired transitions, 595 secs || 7870366 markings, 8867278 edges,
lola: 114 tries, 113150815 fired transitions, 600 secs || 7936204 markings, 8941192 edges,
lola: 115 tries, 114098605 fired transitions, 605 secs || 8003952 markings, 9017684 edges,
lola: 116 tries, 115047979 fired transitions, 610 secs || 8070433 markings, 9092340 edges,
lola: 116 tries, 115996759 fired transitions, 615 secs || 8136898 markings, 9166789 edges,
lola: 117 tries, 116948039 fired transitions, 620 secs || 8204649 markings, 9243221 edges,
lola: 118 tries, 117896774 fired transitions, 625 secs || 8270130 markings, 9316682 edges,
lola: 119 tries, 118848166 fired transitions, 630 secs || 8337805 markings, 9392604 edges,
lola: 120 tries, 119800263 fired transitions, 635 secs || 8405319 markings, 9468900 edges,
lola: 121 tries, 120751974 fired transitions, 640 secs || 8473536 markings, 9546075 edges,
lola: 122 tries, 121704163 fired transitions, 645 secs || 8540439 markings, 9621685 edges,
lola: 123 tries, 122654718 fired transitions, 650 secs || 8606926 markings, 9696486 edges,
lola: 124 tries, 123606491 fired transitions, 655 secs || 8675967 markings, 9774783 edges,
lola: 125 tries, 124557281 fired transitions, 660 secs || 8744211 markings, 9851891 edges,
lola: 126 tries, 125506435 fired transitions, 665 secs || 8810842 markings, 9926804 edges,
lola: 127 tries, 126457843 fired transitions, 670 secs || 8877680 markings, 10001970 edges,
lola: 128 tries, 127410138 fired transitions, 675 secs || 8945171 markings, 10078213 edges,
lola: 129 tries, 128361629 fired transitions, 680 secs || 9012527 markings, 10154460 edges,
lola: 130 tries, 129312220 fired transitions, 685 secs || 9080012 markings, 10230889 edges,
lola: 131 tries, 130264531 fired transitions, 690 secs || 9147452 markings, 10306755 edges,
lola: 132 tries, 131214955 fired transitions, 695 secs || 9214849 markings, 10382942 edges,
lola: 133 tries, 132165666 fired transitions, 700 secs || 9282632 markings, 10459790 edges,
lola: 134 tries, 133114417 fired transitions, 705 secs || 9349788 markings, 10535656 edges,
lola: 135 tries, 134063975 fired transitions, 710 secs || 9415639 markings, 10609657 edges,
lola: 136 tries, 135013021 fired transitions, 715 secs || 9481505 markings, 10683896 edges,
lola: 136 tries, 135960171 fired transitions, 720 secs || 9548620 markings, 10759872 edges,
lola: 137 tries, 136902812 fired transitions, 725 secs || 9614856 markings, 10834538 edges,
lola: 138 tries, 137849343 fired transitions, 730 secs || 9680574 markings, 10908484 edges,
lola: 139 tries, 138801412 fired transitions, 735 secs || 9748514 markings, 10985275 edges,
lola: 140 tries, 139753491 fired transitions, 740 secs || 9816151 markings, 11061548 edges,
lola: 141 tries, 140706005 fired transitions, 745 secs || 9883666 markings, 11137623 edges,
lola: 142 tries, 141657868 fired transitions, 750 secs || 9950670 markings, 11213024 edges,
lola: 143 tries, 142609552 fired transitions, 755 secs || 10017750 markings, 11288382 edges,
lola: 144 tries, 143406684 fired transitions, 760 secs || 10074071 markings, 11351724 edges,
lola: 145 tries, 144261332 fired transitions, 765 secs || 10135520 markings, 11421180 edges,
lola: 146 tries, 145207825 fired transitions, 770 secs || 10200850 markings, 11494394 edges,
lola: 147 tries, 146160102 fired transitions, 775 secs || 10268814 markings, 11570850 edges,
lola: 148 tries, 147111114 fired transitions, 780 secs || 10334549 markings, 11644584 edges,
lola: 149 tries, 148059535 fired transitions, 785 secs || 10402050 markings, 11720488 edges,
lola: 150 tries, 149009428 fired transitions, 790 secs || 10468026 markings, 11794673 edges,
lola: 150 tries, 149959947 fired transitions, 795 secs || 10534119 markings, 11868751 edges,
lola: 151 tries, 150911482 fired transitions, 800 secs || 10603241 markings, 11947027 edges,
lola: 152 tries, 151862568 fired transitions, 805 secs || 10669983 markings, 12022141 edges,
lola: 153 tries, 152811951 fired transitions, 810 secs || 10737710 markings, 12098326 edges,
lola: 154 tries, 153763346 fired transitions, 815 secs || 10808250 markings, 12177816 edges,
lola: 155 tries, 154714784 fired transitions, 820 secs || 10878458 markings, 12257403 edges,
lola: 156 tries, 155665475 fired transitions, 825 secs || 10946399 markings, 12333875 edges,
lola: 157 tries, 156611433 fired transitions, 830 secs || 11015062 markings, 12411427 edges,
lola: 158 tries, 157563292 fired transitions, 835 secs || 11083876 markings, 12488782 edges,
lola: 159 tries, 158514603 fired transitions, 840 secs || 11151910 markings, 12565573 edges,
lola: 160 tries, 159346418 fired transitions, 845 secs || 11212586 markings, 12633927 edges,
lola: 161 tries, 160159103 fired transitions, 850 secs || 11269025 markings, 12697586 edges,
lola: 161 tries, 160989254 fired transitions, 855 secs || 11323599 markings, 12759434 edges,
lola: 162 tries, 161817160 fired transitions, 860 secs || 11376586 markings, 12819381 edges,
lola: 163 tries, 162742245 fired transitions, 865 secs || 11439535 markings, 12889822 edges,
lola: 164 tries, 163691908 fired transitions, 870 secs || 11504899 markings, 12963024 edges,
lola: 165 tries, 164643604 fired transitions, 875 secs || 11570679 markings, 13036669 edges,
lola: 166 tries, 165595179 fired transitions, 880 secs || 11637620 markings, 13111948 edges,
lola: 167 tries, 166495865 fired transitions, 885 secs || 11702158 markings, 13184868 edges,
lola: 168 tries, 167300023 fired transitions, 890 secs || 11759457 markings, 13249293 edges,
lola: 169 tries, 168144472 fired transitions, 895 secs || 11819518 markings, 13316456 edges,
lola: 170 tries, 169057727 fired transitions, 900 secs || 11885622 markings, 13390672 edges,
lola: 171 tries, 170008869 fired transitions, 905 secs || 11956208 markings, 13470329 edges,
lola: 171 tries, 170958930 fired transitions, 910 secs || 12024742 markings, 13547720 edges,
lola: 172 tries, 171865501 fired transitions, 915 secs || 12089210 markings, 13620561 edges,
lola: 173 tries, 172813827 fired transitions, 920 secs || 12156375 markings, 13696760 edges,
lola: 174 tries, 173763187 fired transitions, 925 secs || 12221134 markings, 13769654 edges,
lola: 175 tries, 174711414 fired transitions, 930 secs || 12287753 markings, 13844701 edges,
lola: 176 tries, 175656919 fired transitions, 935 secs || 12353913 markings, 13918963 edges,
lola: 177 tries, 176605555 fired transitions, 940 secs || 12419644 markings, 13992947 edges,
lola: 178 tries, 177552737 fired transitions, 945 secs || 12484806 markings, 14066206 edges,
lola: 179 tries, 178498096 fired transitions, 950 secs || 12551060 markings, 14140956 edges,
lola: 180 tries, 179446943 fired transitions, 955 secs || 12618929 markings, 14217638 edges,
lola: 181 tries, 180387993 fired transitions, 960 secs || 12688819 markings, 14296680 edges,
lola: 182 tries, 181327451 fired transitions, 965 secs || 12756809 markings, 14373595 edges,
lola: 183 tries, 182275500 fired transitions, 970 secs || 12822942 markings, 14448478 edges,
lola: 184 tries, 183215929 fired transitions, 975 secs || 12890124 markings, 14524650 edges,
lola: 185 tries, 184158052 fired transitions, 980 secs || 12959373 markings, 14603357 edges,
lola: 186 tries, 185106044 fired transitions, 985 secs || 13025593 markings, 14678553 edges,
lola: 187 tries, 186057036 fired transitions, 990 secs || 13094207 markings, 14756498 edges,
lola: 188 tries, 187006583 fired transitions, 995 secs || 13162174 markings, 14833791 edges,
lola: 188 tries, 187955553 fired transitions, 1000 secs || 13232060 markings, 14913806 edges,
lola: 189 tries, 188904306 fired transitions, 1005 secs || 13300826 markings, 14992163 edges,
lola: 190 tries, 189853591 fired transitions, 1010 secs || 13369668 markings, 15069904 edges,
lola: 191 tries, 190799540 fired transitions, 1015 secs || 13434513 markings, 15142730 edges,
lola: 192 tries, 191748559 fired transitions, 1020 secs || 13501067 markings, 15217869 edges,
lola: 193 tries, 192696725 fired transitions, 1025 secs || 13567521 markings, 15292915 edges,
lola: 194 tries, 193647681 fired transitions, 1030 secs || 13635464 markings, 15369789 edges,
lola: 195 tries, 194599253 fired transitions, 1035 secs || 13704027 markings, 15447416 edges,
lola: 196 tries, 195548567 fired transitions, 1040 secs || 13775138 markings, 15528239 edges,
lola: 197 tries, 196500313 fired transitions, 1045 secs || 13844708 markings, 15607222 edges,
lola: 198 tries, 197452481 fired transitions, 1050 secs || 13915912 markings, 15688452 edges,
lola: 199 tries, 198404229 fired transitions, 1055 secs || 13986710 markings, 15769055 edges,
lola: 200 tries, 199353759 fired transitions, 1060 secs || 14058094 markings, 15850576 edges,
lola: 201 tries, 200305072 fired transitions, 1065 secs || 14127800 markings, 15929577 edges,
lola: 202 tries, 201256175 fired transitions, 1070 secs || 14198471 markings, 16009987 edges,
lola: 203 tries, 202207337 fired transitions, 1075 secs || 14268300 markings, 16089119 edges,
lola: 204 tries, 203158223 fired transitions, 1080 secs || 14338099 markings, 16168195 edges,
lola: 205 tries, 204109046 fired transitions, 1085 secs || 14408321 markings, 16248100 edges,
lola: 206 tries, 205060026 fired transitions, 1090 secs || 14480096 markings, 16330119 edges,
lola: 207 tries, 206010496 fired transitions, 1095 secs || 14550261 markings, 16409858 edges,
lola: 207 tries, 206958698 fired transitions, 1100 secs || 14617980 markings, 16486158 edges,
lola: 208 tries, 207906514 fired transitions, 1105 secs || 14685950 markings, 16562663 edges,
lola: 209 tries, 208854955 fired transitions, 1110 secs || 14754012 markings, 16639533 edges,
lola: 210 tries, 209805252 fired transitions, 1115 secs || 14823217 markings, 16717746 edges,
lola: 211 tries, 210756399 fired transitions, 1120 secs || 14892138 markings, 16795902 edges,
lola: 212 tries, 211708156 fired transitions, 1125 secs || 14962156 markings, 16875457 edges,
lola: 213 tries, 212659370 fired transitions, 1130 secs || 15032013 markings, 16955098 edges,
lola: 214 tries, 213611258 fired transitions, 1135 secs || 15102623 markings, 17035534 edges,
lola: 215 tries, 214561556 fired transitions, 1140 secs || 15173242 markings, 17115513 edges,
lola: 216 tries, 215511774 fired transitions, 1145 secs || 15244151 markings, 17195663 edges,
lola: 217 tries, 216461197 fired transitions, 1150 secs || 15311879 markings, 17271765 edges,
lola: 218 tries, 217411609 fired transitions, 1155 secs || 15379606 markings, 17348112 edges,
lola: 219 tries, 218361477 fired transitions, 1160 secs || 15449454 markings, 17426967 edges,
lola: 220 tries, 219311387 fired transitions, 1165 secs || 15517121 markings, 17503474 edges,
lola: 221 tries, 220256224 fired transitions, 1170 secs || 15586875 markings, 17582586 edges,
lola: 222 tries, 221206900 fired transitions, 1175 secs || 15655402 markings, 17660281 edges,
lola: 223 tries, 222155462 fired transitions, 1180 secs || 15723993 markings, 17737890 edges,
lola: 224 tries, 223106595 fired transitions, 1185 secs || 15793870 markings, 17817069 edges,
lola: 225 tries, 224056731 fired transitions, 1190 secs || 15862331 markings, 17894094 edges,
lola: 226 tries, 225008039 fired transitions, 1195 secs || 15933052 markings, 17974428 edges,
lola: 226 tries, 225959038 fired transitions, 1200 secs || 16003214 markings, 18054016 edges,
lola: 227 tries, 226908951 fired transitions, 1205 secs || 16072152 markings, 18131979 edges,
lola: 228 tries, 227860526 fired transitions, 1210 secs || 16142336 markings, 18211756 edges,
lola: 229 tries, 228811492 fired transitions, 1215 secs || 16212357 markings, 18291413 edges,
lola: 230 tries, 229764339 fired transitions, 1220 secs || 16284343 markings, 18373677 edges,
lola: 231 tries, 230715827 fired transitions, 1225 secs || 16355437 markings, 18454294 edges,
lola: 232 tries, 231665563 fired transitions, 1230 secs || 16424165 markings, 18532060 edges,
lola: 233 tries, 232614698 fired transitions, 1235 secs || 16493366 markings, 18610836 edges,
lola: 234 tries, 233564514 fired transitions, 1240 secs || 16563661 markings, 18691404 edges,
lola: 235 tries, 234512477 fired transitions, 1245 secs || 16631707 markings, 18768387 edges,
lola: 236 tries, 235460361 fired transitions, 1250 secs || 16700004 markings, 18845671 edges,
lola: 237 tries, 236408630 fired transitions, 1255 secs || 16769388 markings, 18924549 edges,
lola: 238 tries, 237359123 fired transitions, 1260 secs || 16838932 markings, 19003828 edges,
lola: 239 tries, 238309842 fired transitions, 1265 secs || 16907729 markings, 19082498 edges,
lola: 240 tries, 239259735 fired transitions, 1270 secs || 16976484 markings, 19161186 edges,
lola: 241 tries, 240209956 fired transitions, 1275 secs || 17045292 markings, 19239864 edges,
lola: 242 tries, 241157399 fired transitions, 1280 secs || 17112997 markings, 19316340 edges,
lola: 243 tries, 242103513 fired transitions, 1285 secs || 17178108 markings, 19389567 edges,
lola: 244 tries, 243052081 fired transitions, 1290 secs || 17243939 markings, 19463837 edges,
lola: 244 tries, 243998985 fired transitions, 1295 secs || 17310819 markings, 19539415 edges,
lola: 245 tries, 244947074 fired transitions, 1300 secs || 17376137 markings, 19613300 edges,
lola: 246 tries, 245894452 fired transitions, 1305 secs || 17441940 markings, 19687644 edges,
lola: 247 tries, 246841116 fired transitions, 1310 secs || 17509756 markings, 19764806 edges,
lola: 248 tries, 247788692 fired transitions, 1315 secs || 17577787 markings, 19842081 edges,
lola: 249 tries, 248737665 fired transitions, 1320 secs || 17644809 markings, 19918427 edges,
lola: 250 tries, 249686133 fired transitions, 1325 secs || 17712077 markings, 19994820 edges,
lola: 251 tries, 250636040 fired transitions, 1330 secs || 17780056 markings, 20072288 edges,
lola: 252 tries, 251582745 fired transitions, 1335 secs || 17845945 markings, 20146539 edges,
lola: 253 tries, 252533425 fired transitions, 1340 secs || 17915046 markings, 20225430 edges,
lola: 254 tries, 253481718 fired transitions, 1345 secs || 17983197 markings, 20302915 edges,
lola: 255 tries, 254430237 fired transitions, 1350 secs || 18051713 markings, 20380564 edges,
lola: 256 tries, 255380274 fired transitions, 1355 secs || 18120390 markings, 20458818 edges,
lola: 257 tries, 256328142 fired transitions, 1360 secs || 18188309 markings, 20535865 edges,
lola: 258 tries, 257277646 fired transitions, 1365 secs || 18256370 markings, 20613002 edges,
lola: 259 tries, 258226440 fired transitions, 1370 secs || 18323697 markings, 20689283 edges,
lola: 260 tries, 259174965 fired transitions, 1375 secs || 18393536 markings, 20769293 edges,
lola: 261 tries, 260124188 fired transitions, 1380 secs || 18462013 markings, 20847436 edges,
lola: 262 tries, 261073523 fired transitions, 1385 secs || 18531522 markings, 20926797 edges,
lola: 263 tries, 262023486 fired transitions, 1390 secs || 18600507 markings, 21005558 edges,
lola: 263 tries, 262971585 fired transitions, 1395 secs || 18665330 markings, 21078729 edges,
lola: 264 tries, 263919865 fired transitions, 1400 secs || 18731800 markings, 21153827 edges,
lola: 265 tries, 264866554 fired transitions, 1405 secs || 18797338 markings, 21227685 edges,
lola: 266 tries, 265816114 fired transitions, 1410 secs || 18863337 markings, 21302406 edges,
lola: 267 tries, 266765044 fired transitions, 1415 secs || 18929862 markings, 21377777 edges,
lola: 268 tries, 267712719 fired transitions, 1420 secs || 18997113 markings, 21454173 edges,
lola: 269 tries, 268651757 fired transitions, 1425 secs || 19062615 markings, 21528244 edges,
lola: 270 tries, 269594367 fired transitions, 1430 secs || 19131487 markings, 21606797 edges,
lola: 271 tries, 270540559 fired transitions, 1435 secs || 19201393 markings, 21686228 edges,
lola: 272 tries, 271476863 fired transitions, 1440 secs || 19270639 markings, 21765086 edges,
lola: 273 tries, 272429085 fired transitions, 1445 secs || 19340160 markings, 21844519 edges,
lola: 274 tries, 273381808 fired transitions, 1450 secs || 19411383 markings, 21925968 edges,
lola: 275 tries, 274329865 fired transitions, 1455 secs || 19482349 markings, 22007159 edges,
lola: 276 tries, 275278376 fired transitions, 1460 secs || 19552681 markings, 22087222 edges,
lola: 277 tries, 276226766 fired transitions, 1465 secs || 19621151 markings, 22164258 edges,
lola: 278 tries, 277176221 fired transitions, 1470 secs || 19691329 markings, 22244253 edges,
lola: 279 tries, 278125754 fired transitions, 1475 secs || 19762448 markings, 22325564 edges,
lola: 280 tries, 279075724 fired transitions, 1480 secs || 19832826 markings, 22405886 edges,
lola: 281 tries, 280026344 fired transitions, 1485 secs || 19904170 markings, 22487711 edges,
lola: 281 tries, 280976653 fired transitions, 1490 secs || 19976043 markings, 22570112 edges,
lola: 282 tries, 281924437 fired transitions, 1495 secs || 20045312 markings, 22648459 edges,
lola: 283 tries, 282873595 fired transitions, 1500 secs || 20114844 markings, 22727433 edges,
lola: 284 tries, 283819498 fired transitions, 1505 secs || 20182230 markings, 22803407 edges,
lola: 285 tries, 284766911 fired transitions, 1510 secs || 20251262 markings, 22881401 edges,
lola: 286 tries, 285714906 fired transitions, 1515 secs || 20319610 markings, 22958747 edges,
lola: 287 tries, 286663211 fired transitions, 1520 secs || 20387882 markings, 23036098 edges,
lola: 288 tries, 287609780 fired transitions, 1525 secs || 20456307 markings, 23113719 edges,
lola: 289 tries, 288557037 fired transitions, 1530 secs || 20525833 markings, 23192783 edges,
lola: 290 tries, 289503958 fired transitions, 1535 secs || 20592876 markings, 23268127 edges,
lola: 291 tries, 290451922 fired transitions, 1540 secs || 20661764 markings, 23345868 edges,
lola: 292 tries, 291401322 fired transitions, 1545 secs || 20732057 markings, 23425989 edges,
lola: 293 tries, 292348569 fired transitions, 1550 secs || 20801892 markings, 23505495 edges,
lola: 294 tries, 293296805 fired transitions, 1555 secs || 20869949 markings, 23582316 edges,
lola: 295 tries, 294245578 fired transitions, 1560 secs || 20940172 markings, 23662148 edges,
lola: 296 tries, 295196568 fired transitions, 1565 secs || 21010581 markings, 23742348 edges,
lola: 297 tries, 296149451 fired transitions, 1570 secs || 21082134 markings, 23824238 edges,
lola: 298 tries, 297098629 fired transitions, 1575 secs || 21150204 markings, 23900977 edges,
lola: 299 tries, 298046995 fired transitions, 1580 secs || 21217814 markings, 23976973 edges,
lola: 299 tries, 298995705 fired transitions, 1585 secs || 21286237 markings, 24054147 edges,
lola: 300 tries, 299944368 fired transitions, 1590 secs || 21352392 markings, 24128566 edges,
lola: 301 tries, 300892234 fired transitions, 1595 secs || 21419276 markings, 24204120 edges,
lola: 302 tries, 301841433 fired transitions, 1600 secs || 21486633 markings, 24280378 edges,
lola: 303 tries, 302790442 fired transitions, 1605 secs || 21553311 markings, 24355955 edges,
lola: 304 tries, 303739919 fired transitions, 1610 secs || 21622208 markings, 24434345 edges,
lola: 305 tries, 304690296 fired transitions, 1615 secs || 21691711 markings, 24513716 edges,
lola: 306 tries, 305640390 fired transitions, 1620 secs || 21761170 markings, 24592788 edges,
lola: 307 tries, 306591179 fired transitions, 1625 secs || 21830083 markings, 24671172 edges,
lola: 308 tries, 307542261 fired transitions, 1630 secs || 21901254 markings, 24752271 edges,
lola: 309 tries, 308493892 fired transitions, 1635 secs || 21971920 markings, 24832672 edges,
lola: 310 tries, 309444274 fired transitions, 1640 secs || 22041008 markings, 24910485 edges,
lola: 311 tries, 310396740 fired transitions, 1645 secs || 22113200 markings, 24993227 edges,
lola: 312 tries, 311347398 fired transitions, 1650 secs || 22181868 markings, 25071730 edges,
lola: 313 tries, 312286262 fired transitions, 1655 secs || 22248433 markings, 25147134 edges,
lola: 314 tries, 313169778 fired transitions, 1660 secs || 22315423 markings, 25223354 edges,
lola: 315 tries, 314120236 fired transitions, 1665 secs || 22386595 markings, 25304073 edges,
lola: 316 tries, 315063715 fired transitions, 1670 secs || 22455344 markings, 25381638 edges,
lola: 317 tries, 316012728 fired transitions, 1675 secs || 22523137 markings, 25458216 edges,
lola: 317 tries, 316963267 fired transitions, 1680 secs || 22591435 markings, 25535269 edges,
lola: 318 tries, 317913457 fired transitions, 1685 secs || 22660097 markings, 25612870 edges,
lola: 319 tries, 318864168 fired transitions, 1690 secs || 22729923 markings, 25692303 edges,
lola: 320 tries, 319814046 fired transitions, 1695 secs || 22798340 markings, 25769641 edges,
lola: 321 tries, 320764598 fired transitions, 1700 secs || 22868077 markings, 25848831 edges,
lola: 322 tries, 321716078 fired transitions, 1705 secs || 22938522 markings, 25929146 edges,
lola: 323 tries, 322665721 fired transitions, 1710 secs || 23008507 markings, 26008684 edges,
lola: 324 tries, 323615959 fired transitions, 1715 secs || 23079766 markings, 26090129 edges,
lola: 325 tries, 324566808 fired transitions, 1720 secs || 23151127 markings, 26171588 edges,
lola: 326 tries, 325516808 fired transitions, 1725 secs || 23220882 markings, 26250717 edges,
lola: 327 tries, 326467031 fired transitions, 1730 secs || 23291720 markings, 26331610 edges,
lola: 328 tries, 327417231 fired transitions, 1735 secs || 23362434 markings, 26412144 edges,
lola: 329 tries, 328366394 fired transitions, 1740 secs || 23429479 markings, 26487239 edges,
lola: 330 tries, 329313866 fired transitions, 1745 secs || 23496899 markings, 26562862 edges,
lola: 331 tries, 330264345 fired transitions, 1750 secs || 23566495 markings, 26642014 edges,
lola: 332 tries, 331214800 fired transitions, 1755 secs || 23636833 markings, 26722503 edges,
lola: 333 tries, 332165992 fired transitions, 1760 secs || 23709230 markings, 26805731 edges,
lola: 334 tries, 333117387 fired transitions, 1765 secs || 23781374 markings, 26888603 edges,
lola: 335 tries, 334068794 fired transitions, 1770 secs || 23852428 markings, 26969525 edges,
lola: 336 tries, 335019146 fired transitions, 1775 secs || 23923777 markings, 27051415 edges,
lola: 336 tries, 335967584 fired transitions, 1780 secs || 23994118 markings, 27131525 edges,
lola: 337 tries, 336907703 fired transitions, 1785 secs || 24062843 markings, 27208970 edges,
lola: 338 tries, 337851271 fired transitions, 1790 secs || 24133171 markings, 27288474 edges,
lola: 339 tries, 338794916 fired transitions, 1795 secs || 24202217 markings, 27366664 edges,
lola: 340 tries, 339742745 fired transitions, 1800 secs || 24271808 markings, 27445616 edges,
lola: 341 tries, 340688603 fired transitions, 1805 secs || 24340873 markings, 27523821 edges,
lola: 342 tries, 341635403 fired transitions, 1810 secs || 24410411 markings, 27602869 edges,
lola: 343 tries, 342582989 fired transitions, 1815 secs || 24481018 markings, 27683256 edges,
lola: 344 tries, 343532171 fired transitions, 1820 secs || 24552687 markings, 27765296 edges,
lola: 345 tries, 344479843 fired transitions, 1825 secs || 24624051 markings, 27846611 edges,
lola: 346 tries, 345427473 fired transitions, 1830 secs || 24695282 markings, 27927620 edges,
lola: 347 tries, 346376415 fired transitions, 1835 secs || 24765917 markings, 28007757 edges,
lola: 348 tries, 347325234 fired transitions, 1840 secs || 24836672 markings, 28088907 edges,
lola: 349 tries, 348275820 fired transitions, 1845 secs || 24908852 markings, 28171796 edges,
lola: 350 tries, 349225079 fired transitions, 1850 secs || 24980302 markings, 28253302 edges,
lola: 351 tries, 350173259 fired transitions, 1855 secs || 25051274 markings, 28334656 edges,
lola: 352 tries, 351120726 fired transitions, 1860 secs || 25121243 markings, 28413636 edges,
lola: 353 tries, 352068243 fired transitions, 1865 secs || 25191249 markings, 28492572 edges,
lola: 354 tries, 353013134 fired transitions, 1870 secs || 25257727 markings, 28567278 edges,
lola: 354 tries, 353959329 fired transitions, 1875 secs || 25326518 markings, 28644898 edges,
lola: 355 tries, 354896052 fired transitions, 1880 secs || 25393945 markings, 28721109 edges,
lola: 356 tries, 355834660 fired transitions, 1885 secs || 25461723 markings, 28797836 edges,
lola: 357 tries, 356782527 fired transitions, 1890 secs || 25527795 markings, 28872674 edges,
lola: 358 tries, 357730458 fired transitions, 1895 secs || 25595086 markings, 28949174 edges,
lola: 359 tries, 358678821 fired transitions, 1900 secs || 25661741 markings, 29025002 edges,
lola: 360 tries, 359628936 fired transitions, 1905 secs || 25729823 markings, 29102568 edges,
lola: 361 tries, 360577537 fired transitions, 1910 secs || 25797315 markings, 29179322 edges,
lola: 362 tries, 361526987 fired transitions, 1915 secs || 25865813 markings, 29257556 edges,
lola: 363 tries, 362477118 fired transitions, 1920 secs || 25934695 markings, 29336138 edges,
lola: 364 tries, 363426856 fired transitions, 1925 secs || 26003652 markings, 29414922 edges,
lola: 365 tries, 364376477 fired transitions, 1930 secs || 26071238 markings, 29491581 edges,
lola: 366 tries, 365326803 fired transitions, 1935 secs || 26139328 markings, 29568720 edges,
lola: 367 tries, 366275676 fired transitions, 1940 secs || 26208119 markings, 29647417 edges,
lola: 368 tries, 367225208 fired transitions, 1945 secs || 26277309 markings, 29726448 edges,
lola: 369 tries, 368173159 fired transitions, 1950 secs || 26344908 markings, 29803391 edges,
lola: 370 tries, 369117131 fired transitions, 1955 secs || 26414011 markings, 29881936 edges,
lola: 371 tries, 370067607 fired transitions, 1960 secs || 26481483 markings, 29957697 edges,
lola: 371 tries, 370965711 fired transitions, 1965 secs || 26542538 markings, 30026644 edges,
lola: 372 tries, 371914918 fired transitions, 1970 secs || 26611718 markings, 30105121 edges,
lola: 373 tries, 372876066 fired transitions, 1975 secs || 26680592 markings, 30182825 edges,
lola: 374 tries, 373843731 fired transitions, 1980 secs || 26751027 markings, 30262828 edges,
lola: 375 tries, 374802228 fired transitions, 1985 secs || 26821290 markings, 30342503 edges,
lola: 376 tries, 375750920 fired transitions, 1990 secs || 26891350 markings, 30421692 edges,
lola: 377 tries, 376713872 fired transitions, 1995 secs || 26962615 markings, 30502570 edges,
lola: 378 tries, 377683145 fired transitions, 2000 secs || 27033526 markings, 30583087 edges,
lola: 379 tries, 378652174 fired transitions, 2005 secs || 27104051 markings, 30663305 edges,
lola: 380 tries, 379620935 fired transitions, 2010 secs || 27173988 markings, 30742202 edges,
lola: 381 tries, 380572325 fired transitions, 2015 secs || 27244395 markings, 30822551 edges,
lola: 382 tries, 381540008 fired transitions, 2020 secs || 27315334 markings, 30903443 edges,
lola: 383 tries, 382507470 fired transitions, 2025 secs || 27385321 markings, 30982621 edges,
lola: 384 tries, 383461217 fired transitions, 2030 secs || 27455832 markings, 31062674 edges,
lola: 385 tries, 384417462 fired transitions, 2035 secs || 27526566 markings, 31143479 edges,
lola: 386 tries, 385375610 fired transitions, 2040 secs || 27598201 markings, 31225268 edges,
lola: 387 tries, 386326430 fired transitions, 2045 secs || 27665535 markings, 31301102 edges,
lola: 388 tries, 387277564 fired transitions, 2050 secs || 27734046 markings, 31378244 edges,
lola: 389 tries, 388226577 fired transitions, 2055 secs || 27800317 markings, 31452952 edges,
lola: 390 tries, 389180778 fired transitions, 2060 secs || 27868460 markings, 31530031 edges,
lola: 391 tries, 390133295 fired transitions, 2065 secs || 27939383 markings, 31610775 edges,
lola: 392 tries, 391085462 fired transitions, 2070 secs || 28008806 markings, 31689568 edges,
lola: 393 tries, 392037991 fired transitions, 2075 secs || 28078682 markings, 31769159 edges,
lola: 393 tries, 392986947 fired transitions, 2080 secs || 28149033 markings, 31849292 edges,
lola: 394 tries, 393938758 fired transitions, 2085 secs || 28218719 markings, 31928678 edges,
lola: 395 tries, 394890971 fired transitions, 2090 secs || 28288702 markings, 32008510 edges,
lola: 396 tries, 395842304 fired transitions, 2095 secs || 28358485 markings, 32087755 edges,
lola: 397 tries, 396792473 fired transitions, 2100 secs || 28425648 markings, 32163181 edges,
lola: 398 tries, 397743255 fired transitions, 2105 secs || 28494342 markings, 32240778 edges,
lola: 399 tries, 398695331 fired transitions, 2110 secs || 28564785 markings, 32321090 edges,
lola: 400 tries, 399648159 fired transitions, 2115 secs || 28635628 markings, 32402018 edges,
lola: 401 tries, 400600212 fired transitions, 2120 secs || 28707093 markings, 32483722 edges,
lola: 402 tries, 401553706 fired transitions, 2125 secs || 28778660 markings, 32565740 edges,
lola: 403 tries, 402506711 fired transitions, 2130 secs || 28848749 markings, 32645511 edges,
lola: 404 tries, 403458393 fired transitions, 2135 secs || 28919149 markings, 32725239 edges,
lola: 405 tries, 404408374 fired transitions, 2140 secs || 28987692 markings, 32802511 edges,
lola: 406 tries, 405356933 fired transitions, 2145 secs || 29054658 markings, 32877922 edges,
lola: 407 tries, 406307616 fired transitions, 2150 secs || 29123974 markings, 32956226 edges,
lola: 408 tries, 407257976 fired transitions, 2155 secs || 29191969 markings, 33033204 edges,
lola: 409 tries, 408209581 fired transitions, 2160 secs || 29260825 markings, 33111257 edges,
lola: 410 tries, 409160813 fired transitions, 2165 secs || 29329194 markings, 33188833 edges,
lola: 411 tries, 410109281 fired transitions, 2170 secs || 29398273 markings, 33267185 edges,
lola: 412 tries, 411059989 fired transitions, 2175 secs || 29467756 markings, 33346315 edges,
lola: 413 tries, 412011577 fired transitions, 2180 secs || 29539105 markings, 33427817 edges,
lola: 413 tries, 412962170 fired transitions, 2185 secs || 29608402 markings, 33506633 edges,
lola: 414 tries, 413913113 fired transitions, 2190 secs || 29678975 markings, 33586740 edges,
lola: 415 tries, 414863554 fired transitions, 2195 secs || 29749854 markings, 33667454 edges,
lola: 416 tries, 415813941 fired transitions, 2200 secs || 29819650 markings, 33746423 edges,
lola: 417 tries, 416764395 fired transitions, 2205 secs || 29889241 markings, 33825128 edges,
lola: 418 tries, 417713239 fired transitions, 2210 secs || 29955754 markings, 33899901 edges,
lola: 419 tries, 418663427 fired transitions, 2215 secs || 30024274 markings, 33977167 edges,
lola: 420 tries, 419613608 fired transitions, 2220 secs || 30092867 markings, 34054797 edges,
lola: 421 tries, 420563885 fired transitions, 2225 secs || 30161096 markings, 34132020 edges,
lola: 422 tries, 421514419 fired transitions, 2230 secs || 30229859 markings, 34210018 edges,
lola: 423 tries, 422465230 fired transitions, 2235 secs || 30298599 markings, 34288102 edges,
lola: 424 tries, 423414985 fired transitions, 2240 secs || 30368964 markings, 34368201 edges,
lola: 425 tries, 424363607 fired transitions, 2245 secs || 30437266 markings, 34445299 edges,
lola: 426 tries, 425315111 fired transitions, 2250 secs || 30508139 markings, 34526172 edges,
lola: 427 tries, 426265241 fired transitions, 2255 secs || 30577483 markings, 34605109 edges,
lola: 428 tries, 427208593 fired transitions, 2260 secs || 30647485 markings, 34684976 edges,
lola: 429 tries, 428154438 fired transitions, 2265 secs || 30716870 markings, 34763749 edges,
lola: 430 tries, 429106644 fired transitions, 2270 secs || 30787433 markings, 34844408 edges,
lola: 431 tries, 430058048 fired transitions, 2275 secs || 30857428 markings, 34924342 edges,
lola: 432 tries, 431011626 fired transitions, 2280 secs || 30929113 markings, 35006692 edges,
lola: 432 tries, 431964064 fired transitions, 2285 secs || 31000687 markings, 35088466 edges,
lola: 433 tries, 432915525 fired transitions, 2290 secs || 31070901 markings, 35168192 edges,
lola: 434 tries, 433867706 fired transitions, 2295 secs || 31141958 markings, 35249032 edges,
lola: 435 tries, 434819340 fired transitions, 2300 secs || 31210714 markings, 35327523 edges,
lola: 436 tries, 435752970 fired transitions, 2305 secs || 31274759 markings, 35399758 edges,
lola: 437 tries, 436706896 fired transitions, 2310 secs || 31345998 markings, 35481217 edges,
lola: 438 tries, 437660175 fired transitions, 2315 secs || 31417162 markings, 35562775 edges,
lola: 439 tries, 438612609 fired transitions, 2320 secs || 31488427 markings, 35644469 edges,
lola: 440 tries, 439515996 fired transitions, 2325 secs || 31556370 markings, 35722041 edges,
lola: 441 tries, 440467340 fired transitions, 2330 secs || 31626926 markings, 35802323 edges,
lola: 442 tries, 441416036 fired transitions, 2335 secs || 31698965 markings, 35884979 edges,
lola: 443 tries, 442366977 fired transitions, 2340 secs || 31770130 markings, 35966181 edges,
lola: 444 tries, 443317469 fired transitions, 2345 secs || 31841208 markings, 36047161 edges,
lola: 445 tries, 444266006 fired transitions, 2350 secs || 31909457 markings, 36124019 edges,
lola: 446 tries, 445210997 fired transitions, 2355 secs || 31976593 markings, 36199691 edges,
lola: 447 tries, 446159723 fired transitions, 2360 secs || 32045726 markings, 36277878 edges,
lola: 448 tries, 447110915 fired transitions, 2365 secs || 32113401 markings, 36354332 edges,
lola: 449 tries, 448063058 fired transitions, 2370 secs || 32182135 markings, 36432190 edges,
lola: 450 tries, 449011384 fired transitions, 2375 secs || 32251395 markings, 36510632 edges,
lola: 450 tries, 449963059 fired transitions, 2380 secs || 32321374 markings, 36590371 edges,
lola: 451 tries, 450915752 fired transitions, 2385 secs || 32390455 markings, 36668890 edges,
lola: 452 tries, 451868022 fired transitions, 2390 secs || 32459797 markings, 36747226 edges,
lola: 453 tries, 452821659 fired transitions, 2395 secs || 32530791 markings, 36828376 edges,
lola: 454 tries, 453774096 fired transitions, 2400 secs || 32599867 markings, 36906683 edges,
lola: 455 tries, 454726963 fired transitions, 2405 secs || 32669786 markings, 36986419 edges,
lola: 456 tries, 455678898 fired transitions, 2410 secs || 32739946 markings, 37066456 edges,
lola: 457 tries, 456632133 fired transitions, 2415 secs || 32810619 markings, 37146932 edges,
lola: 458 tries, 457585399 fired transitions, 2420 secs || 32881971 markings, 37228439 edges,
lola: 459 tries, 458536155 fired transitions, 2425 secs || 32951381 markings, 37306934 edges,
lola: 460 tries, 459489245 fired transitions, 2430 secs || 33022208 markings, 37388128 edges,
lola: 461 tries, 460441820 fired transitions, 2435 secs || 33093045 markings, 37469070 edges,
lola: 462 tries, 461393835 fired transitions, 2440 secs || 33162467 markings, 37547872 edges,
lola: 463 tries, 462345903 fired transitions, 2445 secs || 33232294 markings, 37627031 edges,
lola: 464 tries, 463298683 fired transitions, 2450 secs || 33303448 markings, 37708244 edges,
lola: 465 tries, 464245502 fired transitions, 2455 secs || 33374353 markings, 37789100 edges,
lola: 466 tries, 465195602 fired transitions, 2460 secs || 33445256 markings, 37870386 edges,
lola: 467 tries, 466145934 fired transitions, 2465 secs || 33516726 markings, 37952362 edges,
lola: 468 tries, 467091928 fired transitions, 2470 secs || 33587176 markings, 38032137 edges,
lola: 469 tries, 468037225 fired transitions, 2475 secs || 33656547 markings, 38110231 edges,
lola: 469 tries, 468984095 fired transitions, 2480 secs || 33723101 markings, 38185000 edges,
lola: 470 tries, 469932639 fired transitions, 2485 secs || 33790451 markings, 38261004 edges,
lola: 471 tries, 470880885 fired transitions, 2490 secs || 33859273 markings, 38338839 edges,
lola: 472 tries, 471829865 fired transitions, 2495 secs || 33927899 markings, 38416520 edges,
lola: 473 tries, 472778741 fired transitions, 2500 secs || 33996211 markings, 38493712 edges,
lola: 474 tries, 473684681 fired transitions, 2505 secs || 34061665 markings, 38568030 edges,
lola: 475 tries, 474551511 fired transitions, 2510 secs || 34123427 markings, 38638181 edges,
lola: 476 tries, 475500172 fired transitions, 2515 secs || 34189637 markings, 38713301 edges,
lola: 477 tries, 476450004 fired transitions, 2520 secs || 34257031 markings, 38790168 edges,
lola: 478 tries, 477397520 fired transitions, 2525 secs || 34324889 markings, 38867678 edges,
lola: 479 tries, 478348284 fired transitions, 2530 secs || 34393421 markings, 38946074 edges,
lola: 480 tries, 479298287 fired transitions, 2535 secs || 34461958 markings, 39024299 edges,
lola: 481 tries, 480247992 fired transitions, 2540 secs || 34529748 markings, 39101637 edges,
lola: 482 tries, 481198619 fired transitions, 2545 secs || 34598892 markings, 39180546 edges,
lola: 483 tries, 482150656 fired transitions, 2550 secs || 34668845 markings, 39259912 edges,
lola: 484 tries, 483101433 fired transitions, 2555 secs || 34736716 markings, 39336268 edges,
lola: 485 tries, 484051309 fired transitions, 2560 secs || 34806727 markings, 39416044 edges,
lola: 485 tries, 484997430 fired transitions, 2565 secs || 34876861 markings, 39496362 edges,
lola: 486 tries, 485944582 fired transitions, 2570 secs || 34945767 markings, 39574653 edges,
lola: 487 tries, 486895751 fired transitions, 2575 secs || 35016475 markings, 39655411 edges,
lola: 488 tries, 487848080 fired transitions, 2580 secs || 35087695 markings, 39736833 edges,
lola: 489 tries, 488799694 fired transitions, 2585 secs || 35158257 markings, 39817182 edges,
lola: 490 tries, 489751770 fired transitions, 2590 secs || 35229012 markings, 39897702 edges,
lola: 491 tries, 490703220 fired transitions, 2595 secs || 35298863 markings, 39976834 edges,
lola: 492 tries, 491633907 fired transitions, 2600 secs || 35366888 markings, 40054574 edges,
lola: 493 tries, 492531604 fired transitions, 2605 secs || 35429335 markings, 40124691 edges,
lola: 494 tries, 493479742 fired transitions, 2610 secs || 35494339 markings, 40197782 edges,
lola: 495 tries, 494423265 fired transitions, 2615 secs || 35560099 markings, 40271981 edges,
lola: 496 tries, 495370107 fired transitions, 2620 secs || 35629977 markings, 40350959 edges,
lola: 497 tries, 496322528 fired transitions, 2625 secs || 35700726 markings, 40431419 edges,
lola: 498 tries, 497275090 fired transitions, 2630 secs || 35771990 markings, 40513053 edges,
lola: 499 tries, 498223855 fired transitions, 2635 secs || 35838378 markings, 40587373 edges,
lola: 500 tries, 499172177 fired transitions, 2640 secs || 35904971 markings, 40661972 edges,
lola: 501 tries, 500122590 fired transitions, 2645 secs || 35973720 markings, 40739377 edges,
lola: 502 tries, 501072852 fired transitions, 2650 secs || 36040693 markings, 40814647 edges,
lola: 503 tries, 502021846 fired transitions, 2655 secs || 36107097 markings, 40889811 edges,
lola: 503 tries, 502969232 fired transitions, 2660 secs || 36173899 markings, 40965482 edges,
lola: 504 tries, 503920451 fired transitions, 2665 secs || 36243079 markings, 41043874 edges,
lola: 505 tries, 504871375 fired transitions, 2670 secs || 36312659 markings, 41122507 edges,
lola: 506 tries, 505823136 fired transitions, 2675 secs || 36381746 markings, 41200868 edges,
lola: 507 tries, 506631486 fired transitions, 2680 secs || 36441794 markings, 41269023 edges,
lola: 508 tries, 507433209 fired transitions, 2685 secs || 36501442 markings, 41337174 edges,
lola: 509 tries, 508235880 fired transitions, 2690 secs || 36561940 markings, 41406134 edges,
lola: 510 tries, 509033259 fired transitions, 2695 secs || 36620596 markings, 41472441 edges,
lola: 510 tries, 509968653 fired transitions, 2700 secs || 36687179 markings, 41547567 edges,
lola: 511 tries, 510919746 fired transitions, 2705 secs || 36755029 markings, 41624032 edges,
lola: 512 tries, 511735127 fired transitions, 2710 secs || 36816117 markings, 41693343 edges,
lola: 513 tries, 512534010 fired transitions, 2715 secs || 36874966 markings, 41759766 edges,
lola: 514 tries, 513336110 fired transitions, 2720 secs || 36934537 markings, 41827466 edges,
lola: 515 tries, 514134356 fired transitions, 2725 secs || 36993454 markings, 41894310 edges,
lola: 515 tries, 514930994 fired transitions, 2730 secs || 37051275 markings, 41959729 edges,
lola: 516 tries, 515859025 fired transitions, 2735 secs || 37118729 markings, 42035866 edges,
lola: 517 tries, 516805407 fired transitions, 2740 secs || 37189397 markings, 42116566 edges,
lola: 518 tries, 517747316 fired transitions, 2745 secs || 37259590 markings, 42196472 edges,
lola: 519 tries, 518694380 fired transitions, 2750 secs || 37327175 markings, 42271426 edges,
lola: 520 tries, 519642227 fired transitions, 2755 secs || 37395024 markings, 42346949 edges,
lola: 521 tries, 520590762 fired transitions, 2760 secs || 37467228 markings, 42429167 edges,
lola: 522 tries, 521539162 fired transitions, 2765 secs || 37538428 markings, 42510053 edges,
lola: 523 tries, 522488129 fired transitions, 2770 secs || 37610115 markings, 42591818 edges,
lola: 524 tries, 523434970 fired transitions, 2775 secs || 37679743 markings, 42670199 edges,
lola: 525 tries, 524381473 fired transitions, 2780 secs || 37748205 markings, 42746973 edges,
lola: 526 tries, 525328028 fired transitions, 2785 secs || 37817728 markings, 42825769 edges,
lola: 527 tries, 526280567 fired transitions, 2790 secs || 37878057 markings, 42894285 edges,
lola: 528 tries, 527233155 fired transitions, 2795 secs || 37937257 markings, 42961289 edges,
lola: 529 tries, 528184809 fired transitions, 2800 secs || 37996773 markings, 43028543 edges,
lola: 530 tries, 529134307 fired transitions, 2805 secs || 38056945 markings, 43096695 edges,
lola: 530 tries, 529695437 fired transitions, 2810 secs || 38092197 markings, 43136737 edges,
lola: 530 tries, 529722747 fired transitions, 2815 secs || 38093232 markings, 43137909 edges,
lola: 531 tries, 530176405 fired transitions, 2820 secs || 38119734 markings, 43168157 edges,
lola: 531 tries, 530202600 fired transitions, 2825 secs || 38121250 markings, 43169914 edges,
lola: 531 tries, 530284047 fired transitions, 2830 secs || 38126811 markings, 43176326 edges,
Killed
rslt: finished

BK_STOP 1552465931961

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 12384 markings/sec, 0 secs 13284 markings/sec, 5 secs 13050 markings/sec, 10 secs 11364 markings/sec, 15 secs 10290 markings/sec, 20 secs 10425 markings/sec, 25 secs 10260 markings/sec, 30 secs 10402 markings/sec, 35 secs 10251 markings/sec, 40 secs 10668 markings/sec, 45 secs 10277 markings/sec, 50 secs 10481 markings/sec, 55 secs 10757 markings/sec, 60 secs 12119 markings/sec, 65 secs 13563 markings/sec, 70 secs 11953 markings/sec, 75 secs 10723 markings/sec, 80 secs 10984 markings/sec, 85 secs 13683 markings/sec, 90 secs 13461 markings/sec, 95 secs 13693 markings/sec, 100 secs 13428 markings/sec, 105 secs 13363 markings/sec, 110 secs 13681 markings/sec, 115 secs 13097 markings/sec, 120 secs 13437 markings/sec, 125 secs 13293 markings/sec, 130 secs 13284 markings/sec, 135 secs 13469 markings/sec, 140 secs 13639 markings/sec, 145 secs 13346 markings/sec, 150 secs 13137 markings/sec, 155 secs 13535 markings/sec, 160 secs 13478 markings/sec, 165 secs 13346 markings/sec, 170 secs 13237 markings/sec, 175 secs 13728 markings/sec, 180 secs 13524 markings/sec, 185 secs 13448 markings/sec, 190 secs 13081 markings/sec, 195 secs 13103 markings/sec, 200 secs 13245 markings/sec, 205 secs 13500 markings/sec, 210 secs 13765 markings/sec, 215 secs 13217 markings/sec, 220 secs 13421 markings/sec, 225 secs 13784 markings/sec, 230 secs 13467 markings/sec, 235 secs 13394 markings/sec, 240 secs 13458 markings/sec, 245 secs 13560 markings/sec, 250 secs 13647 markings/sec, 255 secs 13833 markings/sec, 260 secs 13300 markings/sec, 265 secs 13470 markings/sec, 270 secs 13306 markings/sec, 275 secs 13810 markings/sec, 280 secs 13574 markings/sec, 285 secs 13683 markings/sec, 290 secs 13776 markings/sec, 295 secs 13856 markings/sec, 300 secs 13473 markings/sec, 305 secs 13598 markings/sec, 310 secs 13608 markings/sec, 315 secs 13419 markings/sec, 320 secs 13677 markings/sec, 325 secs 13794 markings/sec, 330 secs 13240 markings/sec, 335 secs 13783 markings/sec, 340 secs 13654 markings/sec, 345 secs 13701 markings/sec, 350 secs 13059 markings/sec, 355 secs 13113 markings/sec, 360 secs 13208 markings/sec, 365 secs 13094 markings/sec, 370 secs 13252 markings/sec, 375 secs 13290 markings/sec, 380 secs 13709 markings/sec, 385 secs 13409 markings/sec, 390 secs 13753 markings/sec, 395 secs 13586 markings/sec, 400 secs 13495 markings/sec, 405 secs 12980 markings/sec, 410 secs 13134 markings/sec, 415 secs 13033 markings/sec, 420 secs 13112 markings/sec, 425 secs 13290 markings/sec, 430 secs 13108 markings/sec, 435 secs 13337 markings/sec, 440 secs 13494 markings/sec, 445 secs 13470 markings/sec, 450 secs 13152 markings/sec, 455 secs 13481 markings/sec, 460 secs 13355 markings/sec, 465 secs 13529 markings/sec, 470 secs 13309 markings/sec, 475 secs 13531 markings/sec, 480 secs 13502 markings/sec, 485 secs 13352 markings/sec, 490 secs 13219 markings/sec, 495 secs 13665 markings/sec, 500 secs 13162 markings/sec, 505 secs 13465 markings/sec, 510 secs 13600 markings/sec, 515 secs 13478 markings/sec, 520 secs 13270 markings/sec, 525 secs 13256 markings/sec, 530 secs 13574 markings/sec, 535 secs 13607 markings/sec, 540 secs 13370 markings/sec, 545 secs 13349 markings/sec, 550 secs 13870 markings/sec, 555 secs 13511 markings/sec, 560 secs 13607 markings/sec, 565 secs 13444 markings/sec, 570 secs 13543 markings/sec, 575 secs 13698 markings/sec, 580 secs 13570 markings/sec, 585 secs 12960 markings/sec, 590 secs 12980 markings/sec, 595 secs 13168 markings/sec, 600 secs 13550 markings/sec, 605 secs 13296 markings/sec, 610 secs 13293 markings/sec, 615 secs 13550 markings/sec, 620 secs 13096 markings/sec, 625 secs 13535 markings/sec, 630 secs 13503 markings/sec, 635 secs 13643 markings/sec, 640 secs 13381 markings/sec, 645 secs 13297 markings/sec, 650 secs 13808 markings/sec, 655 secs 13649 markings/sec, 660 secs 13326 markings/sec, 665 secs 13368 markings/sec, 670 secs 13498 markings/sec, 675 secs 13471 markings/sec, 680 secs 13497 markings/sec, 685 secs 13488 markings/sec, 690 secs 13479 markings/sec, 695 secs 13557 markings/sec, 700 secs 13431 markings/sec, 705 secs 13170 markings/sec, 710 secs 13173 markings/sec, 715 secs 13423 markings/sec, 720 secs 13247 markings/sec, 725 secs 13144 markings/sec, 730 secs 13588 markings/sec, 735 secs 13527 markings/sec, 740 secs 13503 markings/sec, 745 secs 13401 markings/sec, 750 secs 13416 markings/sec, 755 secs 11264 markings/sec, 760 secs 12290 markings/sec, 765 secs 13066 markings/sec, 770 secs 13593 markings/sec, 775 secs 13147 markings/sec, 780 secs 13500 markings/sec, 785 secs 13195 markings/sec, 790 secs 13219 markings/sec, 795 secs 13824 markings/sec, 800 secs 13348 markings/sec, 805 secs 13545 markings/sec, 810 secs 14108 markings/sec, 815 secs 14042 markings/sec, 820 secs 13588 markings/sec, 825 secs 13733 markings/sec, 830 secs 13763 markings/sec, 835 secs 13607 markings/sec, 840 secs 12135 markings/sec, 845 secs 11288 markings/sec, 850 secs 10915 markings/sec, 855 secs 10597 markings/sec, 860 secs 12590 markings/sec, 865 secs 13073 markings/sec, 870 secs 13156 markings/sec, 875 secs 13388 markings/sec, 880 secs 12908 markings/sec, 885 secs 11460 markings/sec, 890 secs 12012 markings/sec, 895 secs 13221 markings/sec, 900 secs 14117 markings/sec, 905 secs 13707 markings/sec, 910 secs 12894 markings/sec, 915 secs 13433 markings/sec, 920 secs 12952 markings/sec, 925 secs 13324 markings/sec, 930 secs 13232 markings/sec, 935 secs 13146 markings/sec, 940 secs 13032 markings/sec, 945 secs 13251 markings/sec, 950 secs 13574 markings/sec, 955 secs 13978 markings/sec, 960 secs 13598 markings/sec, 965 secs 13227 markings/sec, 970 secs 13436 markings/sec, 975 secs 13850 markings/sec, 980 secs 13244 markings/sec, 985 secs 13723 markings/sec, 990 secs 13593 markings/sec, 995 secs 13977 markings/sec, 1000 secs 13753 markings/sec, 1005 secs 13768 markings/sec, 1010 secs 12969 markings/sec, 1015 secs 13311 markings/sec, 1020 secs 13291 markings/sec, 1025 secs 13589 markings/sec, 1030 secs 13713 markings/sec, 1035 secs 14222 markings/sec, 1040 secs 13914 markings/sec, 1045 secs 14241 markings/sec, 1050 secs 14160 markings/sec, 1055 secs 14277 markings/sec, 1060 secs 13941 markings/sec, 1065 secs 14134 markings/sec, 1070 secs 13966 markings/sec, 1075 secs 13960 markings/sec, 1080 secs 14044 markings/sec, 1085 secs 14355 markings/sec, 1090 secs 14033 markings/sec, 1095 secs 13544 markings/sec, 1100 secs 13594 markings/sec, 1105 secs 13612 markings/sec, 1110 secs 13841 markings/sec, 1115 secs 13784 markings/sec, 1120 secs 14004 markings/sec, 1125 secs 13971 markings/sec, 1130 secs 14122 markings/sec, 1135 secs 14124 markings/sec, 1140 secs 14182 markings/sec, 1145 secs 13546 markings/sec, 1150 secs 13545 markings/sec, 1155 secs 13970 markings/sec, 1160 secs 13533 markings/sec, 1165 secs 13951 markings/sec, 1170 secs 13705 markings/sec, 1175 secs 13718 markings/sec, 1180 secs 13975 markings/sec, 1185 secs 13692 markings/sec, 1190 secs 14144 markings/sec, 1195 secs 14032 markings/sec, 1200 secs 13788 markings/sec, 1205 secs 14037 markings/sec, 1210 secs 14004 markings/sec, 1215 secs 14397 markings/sec, 1220 secs 14219 markings/sec, 1225 secs 13746 markings/sec, 1230 secs 13840 markings/sec, 1235 secs 14059 markings/sec, 1240 secs 13609 markings/sec, 1245 secs 13659 markings/sec, 1250 secs 13877 markings/sec, 1255 secs 13909 markings/sec, 1260 secs 13759 markings/sec, 1265 secs 13751 markings/sec, 1270 secs 13762 markings/sec, 1275 secs 13541 markings/sec, 1280 secs 13022 markings/sec, 1285 secs 13166 markings/sec, 1290 secs 13376 markings/sec, 1295 secs 13064 markings/sec, 1300 secs 13161 markings/sec, 1305 secs 13563 markings/sec, 1310 secs 13606 markings/sec, 1315 secs 13404 markings/sec, 1320 secs 13454 markings/sec, 1325 secs 13596 markings/sec, 1330 secs 13178 markings/sec, 1335 secs 13820 markings/sec, 1340 secs 13630 markings/sec, 1345 secs 13703 markings/sec, 1350 secs 13735 markings/sec, 1355 secs 13584 markings/sec, 1360 secs 13612 markings/sec, 1365 secs 13465 markings/sec, 1370 secs 13968 markings/sec, 1375 secs 13695 markings/sec, 1380 secs 13902 markings/sec, 1385 secs 13797 markings/sec, 1390 secs 12965 markings/sec, 1395 secs 13294 markings/sec, 1400 secs 13108 markings/sec, 1405 secs 13200 markings/sec, 1410 secs 13305 markings/sec, 1415 secs 13450 markings/sec, 1420 secs 13100 markings/sec, 1425 secs 13774 markings/sec, 1430 secs 13981 markings/sec, 1435 secs 13849 markings/sec, 1440 secs 13904 markings/sec, 1445 secs 14245 markings/sec, 1450 secs 14193 markings/sec, 1455 secs 14066 markings/sec, 1460 secs 13694 markings/sec, 1465 secs 14036 markings/sec, 1470 secs 14224 markings/sec, 1475 secs 14076 markings/sec, 1480 secs 14269 markings/sec, 1485 secs 14375 markings/sec, 1490 secs 13854 markings/sec, 1495 secs 13906 markings/sec, 1500 secs 13477 markings/sec, 1505 secs 13806 markings/sec, 1510 secs 13670 markings/sec, 1515 secs 13654 markings/sec, 1520 secs 13685 markings/sec, 1525 secs 13905 markings/sec, 1530 secs 13409 markings/sec, 1535 secs 13778 markings/sec, 1540 secs 14059 markings/sec, 1545 secs 13967 markings/sec, 1550 secs 13611 markings/sec, 1555 secs 14045 markings/sec, 1560 secs 14082 markings/sec, 1565 secs 14311 markings/sec, 1570 secs 13614 markings/sec, 1575 secs 13522 markings/sec, 1580 secs 13685 markings/sec, 1585 secs 13231 markings/sec, 1590 secs 13377 markings/sec, 1595 secs 13471 markings/sec, 1600 secs 13336 markings/sec, 1605 secs 13779 markings/sec, 1610 secs 13901 markings/sec, 1615 secs 13892 markings/sec, 1620 secs 13783 markings/sec, 1625 secs 14234 markings/sec, 1630 secs 14133 markings/sec, 1635 secs 13818 markings/sec, 1640 secs 14438 markings/sec, 1645 secs 13734 markings/sec, 1650 secs 13313 markings/sec, 1655 secs 13398 markings/sec, 1660 secs 14234 markings/sec, 1665 secs 13750 markings/sec, 1670 secs 13559 markings/sec, 1675 secs 13660 markings/sec, 1680 secs 13732 markings/sec, 1685 secs 13965 markings/sec, 1690 secs 13683 markings/sec, 1695 secs 13947 markings/sec, 1700 secs 14089 markings/sec, 1705 secs 13997 markings/sec, 1710 secs 14252 markings/sec, 1715 secs 14272 markings/sec, 1720 secs 13951 markings/sec, 1725 secs 14168 markings/sec, 1730 secs 14143 markings/sec, 1735 secs 13409 markings/sec, 1740 secs 13484 markings/sec, 1745 secs 13919 markings/sec, 1750 secs 14068 markings/sec, 1755 secs 14479 markings/sec, 1760 secs 14429 markings/sec, 1765 secs 14211 markings/sec, 1770 secs 14270 markings/sec, 1775 secs 14068 markings/sec, 1780 secs 13745 markings/sec, 1785 secs 14066 markings/sec, 1790 secs 13809 markings/sec, 1795 secs 13918 markings/sec, 1800 secs 13813 markings/sec, 1805 secs 13908 markings/sec, 1810 secs 14121 markings/sec, 1815 secs 14334 markings/sec, 1820 secs 14273 markings/sec, 1825 secs 14246 markings/sec, 1830 secs 14127 markings/sec, 1835 secs 14151 markings/sec, 1840 secs 14436 markings/sec, 1845 secs 14290 markings/sec, 1850 secs 14194 markings/sec, 1855 secs 13994 markings/sec, 1860 secs 14001 markings/sec, 1865 secs 13296 markings/sec, 1870 secs 13758 markings/sec, 1875 secs 13485 markings/sec, 1880 secs 13556 markings/sec, 1885 secs 13214 markings/sec, 1890 secs 13458 markings/sec, 1895 secs 13331 markings/sec, 1900 secs 13616 markings/sec, 1905 secs 13498 markings/sec, 1910 secs 13700 markings/sec, 1915 secs 13776 markings/sec, 1920 secs 13791 markings/sec, 1925 secs 13517 markings/sec, 1930 secs 13618 markings/sec, 1935 secs 13758 markings/sec, 1940 secs 13838 markings/sec, 1945 secs 13520 markings/sec, 1950 secs 13821 markings/sec, 1955 secs 13494 markings/sec, 1960 secs 12211 markings/sec, 1965 secs 13836 markings/sec, 1970 secs 13775 markings/sec, 1975 secs 14087 markings/sec, 1980 secs 14053 markings/sec, 1985 secs 14012 markings/sec, 1990 secs 14253 markings/sec, 1995 secs 14182 markings/sec, 2000 secs 14105 markings/sec, 2005 secs 13987 markings/sec, 2010 secs 14081 markings/sec, 2015 secs 14188 markings/sec, 2020 secs 13997 markings/sec, 2025 secs 14102 markings/sec, 2030 secs 14147 markings/sec, 2035 secs 14327 markings/sec, 2040 secs 13467 markings/sec, 2045 secs 13702 markings/sec, 2050 secs 13254 markings/sec, 2055 secs 13629 markings/sec, 2060 secs 14185 markings/sec, 2065 secs 13885 markings/sec, 2070 secs 13975 markings/sec, 2075 secs 14070 markings/sec, 2080 secs 13937 markings/sec, 2085 secs 13997 markings/sec, 2090 secs 13957 markings/sec, 2095 secs 13433 markings/sec, 2100 secs 13739 markings/sec, 2105 secs 14089 markings/sec, 2110 secs 14169 markings/sec, 2115 secs 14293 markings/sec, 2120 secs 14313 markings/sec, 2125 secs 14018 markings/sec, 2130 secs 14080 markings/sec, 2135 secs 13709 markings/sec, 2140 secs 13393 markings/sec, 2145 secs 13863 markings/sec, 2150 secs 13599 markings/sec, 2155 secs 13771 markings/sec, 2160 secs 13674 markings/sec, 2165 secs 13816 markings/sec, 2170 secs 13897 markings/sec, 2175 secs 14270 markings/sec, 2180 secs 13859 markings/sec, 2185 secs 14115 markings/sec, 2190 secs 14176 markings/sec, 2195 secs 13959 markings/sec, 2200 secs 13918 markings/sec, 2205 secs 13303 markings/sec, 2210 secs 13704 markings/sec, 2215 secs 13719 markings/sec, 2220 secs 13646 markings/sec, 2225 secs 13753 markings/sec, 2230 secs 13748 markings/sec, 2235 secs 14073 markings/sec, 2240 secs 13660 markings/sec, 2245 secs 14175 markings/sec, 2250 secs 13869 markings/sec, 2255 secs 14000 markings/sec, 2260 secs 13877 markings/sec, 2265 secs 14113 markings/sec, 2270 secs 13999 markings/sec, 2275 secs 14337 markings/sec, 2280 secs 14315 markings/sec, 2285 secs 14043 markings/sec, 2290 secs 14211 markings/sec, 2295 secs 13751 markings/sec, 2300 secs 12809 markings/sec, 2305 secs 14248 markings/sec, 2310 secs 14233 markings/sec, 2315 secs 14253 markings/sec, 2320 secs 13589 markings/sec, 2325 secs 14111 markings/sec, 2330 secs 14408 markings/sec, 2335 secs 14233 markings/sec, 2340 secs 14216 markings/sec, 2345 secs 13650 markings/sec, 2350 secs 13427 markings/sec, 2355 secs 13827 markings/sec, 2360 secs 13535 markings/sec, 2365 secs 13747 markings/sec, 2370 secs 13852 markings/sec, 2375 secs 13996 markings/sec, 2380 secs 13816 markings/sec, 2385 secs 13868 markings/sec, 2390 secs 14199 markings/sec, 2395 secs 13815 markings/sec, 2400 secs 13984 markings/sec, 2405 secs 14032 markings/sec, 2410 secs 14135 markings/sec, 2415 secs 14270 markings/sec, 2420 secs 13882 markings/sec, 2425 secs 14165 markings/sec, 2430 secs 14167 markings/sec, 2435 secs 13884 markings/sec, 2440 secs 13965 markings/sec, 2445 secs 14231 markings/sec, 2450 secs 14181 markings/sec, 2455 secs 14181 markings/sec, 2460 secs 14294 markings/sec, 2465 secs 14090 markings/sec, 2470 secs 13874 markings/sec, 2475 secs 13311 markings/sec, 2480 secs 13470 markings/sec, 2485 secs 13764 markings/sec, 2490 secs 13725 markings/sec, 2495 secs 13662 markings/sec, 2500 secs 13091 markings/sec, 2505 secs 12352 markings/sec, 2510 secs 13242 markings/sec, 2515 secs 13479 markings/sec, 2520 secs 13572 markings/sec, 2525 secs 13706 markings/sec, 2530 secs 13707 markings/sec, 2535 secs 13558 markings/sec, 2540 secs 13829 markings/sec, 2545 secs 13991 markings/sec, 2550 secs 13574 markings/sec, 2555 secs 14002 markings/sec, 2560 secs 14027 markings/sec, 2565 secs 13781 markings/sec, 2570 secs 14142 markings/sec, 2575 secs 14244 markings/sec, 2580 secs 14112 markings/sec, 2585 secs 14151 markings/sec, 2590 secs 13970 markings/sec, 2595 secs 13605 markings/sec, 2600 secs 12489 markings/sec, 2605 secs 13001 markings/sec, 2610 secs 13152 markings/sec, 2615 secs 13976 markings/sec, 2620 secs 14150 markings/sec, 2625 secs 14253 markings/sec, 2630 secs 13278 markings/sec, 2635 secs 13319 markings/sec, 2640 secs 13750 markings/sec, 2645 secs 13395 markings/sec, 2650 secs 13281 markings/sec, 2655 secs 13360 markings/sec, 2660 secs 13836 markings/sec, 2665 secs 13916 markings/sec, 2670 secs 13817 markings/sec, 2675 secs 12010 markings/sec, 2680 secs 11930 markings/sec, 2685 secs 12100 markings/sec, 2690 secs 11731 markings/sec, 2695 secs 13317 markings/sec, 2700 secs 13570 markings/sec, 2705 secs 12218 markings/sec, 2710 secs 11770 markings/sec, 2715 secs 11914 markings/sec, 2720 secs 11783 markings/sec, 2725 secs 11564 markings/sec, 2730 secs 13491 markings/sec, 2735 secs 14134 markings/sec, 2740 secs 14039 markings/sec, 2745 secs 13517 markings/sec, 2750 secs 13570 markings/sec, 2755 secs 14441 markings/sec, 2760 secs 14240 markings/sec, 2765 secs 14337 markings/sec, 2770 secs 13926 markings/sec, 2775 secs 13692 markings/sec, 2780 secs 13905 markings/sec, 2785 secs 12066 markings/sec, 2790 secs 11840 markings/sec, 2795 secs 11903 markings/sec, 2800 secs 12034 markings/sec, 2805 secs 7050 markings/sec, 2810 secs 207 markings/sec, 2815 secs 5300 markings/sec, 2820 secs 303 markings/sec, 2825 secs 1112 markings/sec, 2830 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="DLCshifumi-PT-3b"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is DLCshifumi-PT-3b, 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 r049-oct2-155234405200534"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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