MCC'2019 - Execution of r049-oct2-155234404700246

About the Execution of LoLA for DLCflexbar-PT-5b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15918.640	3133353.00	6347845.00	2698.20	[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-155234404700246.qcow2',
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCflexbar-PT-5b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234404700246
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.6M
-rw-r--r-- 1 mcc users 3.9K Feb 9 13:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 9 13:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 12:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 5 12:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-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.8K Feb 4 23:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 4 23:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33
-rw-r--r-- 1 mcc users 8.8K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 2 05:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 05:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 29 19:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 29 19:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 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 6.5M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation

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 DLCflexbar-PT-5b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552445884353

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCflexbar-PT-5b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 437
rslt: Output for GlobalProperties @ DLCflexbar-PT-5b
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: 43788/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 17305
lola: finding significant places
lola: 17305 places, 26483 transitions, 16326 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
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=simplecompresse
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
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration
lola: findpath: searching for paths with maximal depth 1000000
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
lola: computed 69 generators (69 in search tree, 0 by composition)
lola: representing 5.90296E+20 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 703426 fired transitions, 0 secs ||
lola: 2 tries, 1420815 fired transitions, 5 secs ||
lola: 3 tries, 2132326 fired transitions, 10 secs ||
lola: 3 tries, 2852437 fired transitions, 15 secs ||
lola: 4 tries, 3539169 fired transitions, 20 secs ||
lola: 5 tries, 4223558 fired transitions, 25 secs ||
lola: 5 tries, 4916552 fired transitions, 30 secs ||
lola: 6 tries, 5597542 fired transitions, 35 secs ||
lola: 7 tries, 6280831 fired transitions, 40 secs ||
lola: 7 tries, 6967655 fired transitions, 45 secs ||
lola: 8 tries, 7651480 fired transitions, 50 secs ||
lola: 9 tries, 8188561 fired transitions, 55 secs ||
lola: 9 tries, 8682938 fired transitions, 60 secs ||
lola: 10 tries, 9379891 fired transitions, 65 secs ||
lola: 11 tries, 10070870 fired transitions, 70 secs ||
lola: 11 tries, 10685866 fired transitions, 75 secs ||
lola: 12 tries, 11111700 fired transitions, 80 secs ||
lola: 12 tries, 11806864 fired transitions, 85 secs ||
lola: 13 tries, 12495551 fired transitions, 90 secs ||
lola: 14 tries, 13179006 fired transitions, 95 secs ||
lola: 14 tries, 13854987 fired transitions, 100 secs ||
lola: 15 tries, 14542946 fired transitions, 105 secs ||
lola: 16 tries, 15224654 fired transitions, 110 secs ||
lola: 16 tries, 15926242 fired transitions, 115 secs ||
lola: 17 tries, 16626868 fired transitions, 120 secs ||
lola: 18 tries, 17308997 fired transitions, 125 secs ||
lola: 19 tries, 18002609 fired transitions, 130 secs ||
lola: 19 tries, 18706110 fired transitions, 135 secs ||
lola: 20 tries, 19387483 fired transitions, 140 secs ||
lola: 21 tries, 20075381 fired transitions, 145 secs ||
lola: 21 tries, 20535166 fired transitions, 150 secs ||
lola: 21 tries, 20986806 fired transitions, 155 secs ||
lola: 22 tries, 21404678 fired transitions, 160 secs ||
lola: 22 tries, 21828344 fired transitions, 165 secs ||
lola: 23 tries, 22248902 fired transitions, 170 secs ||
lola: 23 tries, 22670003 fired transitions, 175 secs ||
lola: 24 tries, 23089486 fired transitions, 180 secs ||
lola: 24 tries, 23505012 fired transitions, 185 secs ||
lola: 24 tries, 23928038 fired transitions, 190 secs ||
lola: 25 tries, 24346226 fired transitions, 195 secs ||
lola: 25 tries, 24768618 fired transitions, 200 secs ||
lola: 26 tries, 25189347 fired transitions, 205 secs ||
lola: 26 tries, 25610835 fired transitions, 210 secs ||
lola: 27 tries, 26031579 fired transitions, 215 secs ||
lola: 27 tries, 26459472 fired transitions, 220 secs ||
lola: 28 tries, 27154571 fired transitions, 225 secs ||
lola: 28 tries, 27872973 fired transitions, 230 secs ||
lola: 29 tries, 28563941 fired transitions, 235 secs ||
lola: 30 tries, 29253407 fired transitions, 240 secs ||
lola: 30 tries, 29945368 fired transitions, 245 secs ||
lola: 31 tries, 30640605 fired transitions, 250 secs ||
lola: 32 tries, 31339031 fired transitions, 255 secs ||
lola: 33 tries, 32055083 fired transitions, 260 secs ||
lola: 33 tries, 32767314 fired transitions, 265 secs ||
lola: 34 tries, 33484101 fired transitions, 270 secs ||
lola: 35 tries, 34194470 fired transitions, 275 secs ||
lola: 35 tries, 34911339 fired transitions, 280 secs ||
lola: 36 tries, 35618641 fired transitions, 285 secs ||
lola: 37 tries, 36311142 fired transitions, 290 secs ||
lola: 38 tries, 37018068 fired transitions, 295 secs ||
lola: 38 tries, 37718910 fired transitions, 300 secs ||
lola: 39 tries, 38418247 fired transitions, 305 secs ||
lola: 40 tries, 39121102 fired transitions, 310 secs ||
lola: 40 tries, 39824410 fired transitions, 315 secs ||
lola: 41 tries, 40528390 fired transitions, 320 secs ||
lola: 42 tries, 41240373 fired transitions, 325 secs ||
lola: 42 tries, 41958210 fired transitions, 330 secs ||
lola: 43 tries, 42674070 fired transitions, 335 secs ||
lola: 44 tries, 43388226 fired transitions, 340 secs ||
lola: 45 tries, 44100347 fired transitions, 345 secs ||
lola: 45 tries, 44810847 fired transitions, 350 secs ||
lola: 46 tries, 45509807 fired transitions, 355 secs ||
lola: 47 tries, 46212156 fired transitions, 360 secs ||
lola: 47 tries, 46915621 fired transitions, 365 secs ||
lola: 48 tries, 47602114 fired transitions, 370 secs ||
lola: 49 tries, 48300359 fired transitions, 375 secs ||
lola: 50 tries, 49004763 fired transitions, 380 secs ||
lola: 50 tries, 49707871 fired transitions, 385 secs ||
lola: 51 tries, 50444529 fired transitions, 390 secs ||
lola: 52 tries, 51169685 fired transitions, 395 secs ||
lola: 52 tries, 51875727 fired transitions, 400 secs ||
lola: 53 tries, 52578888 fired transitions, 405 secs ||
lola: 54 tries, 53280412 fired transitions, 410 secs ||
lola: 54 tries, 53758527 fired transitions, 415 secs ||
lola: 55 tries, 54361452 fired transitions, 420 secs ||
lola: 56 tries, 55061134 fired transitions, 425 secs ||
lola: 56 tries, 55742778 fired transitions, 430 secs ||
lola: 57 tries, 56431126 fired transitions, 435 secs ||
lola: 58 tries, 57133780 fired transitions, 440 secs ||
lola: 58 tries, 57832230 fired transitions, 445 secs ||
lola: 59 tries, 58531971 fired transitions, 450 secs ||
lola: 60 tries, 59232310 fired transitions, 455 secs ||
lola: 60 tries, 59939908 fired transitions, 460 secs ||
lola: 61 tries, 60641682 fired transitions, 465 secs ||
lola: 62 tries, 61341677 fired transitions, 470 secs ||
lola: 63 tries, 62046838 fired transitions, 475 secs ||
lola: 63 tries, 62750180 fired transitions, 480 secs ||
lola: 64 tries, 63459353 fired transitions, 485 secs ||
lola: 65 tries, 64165293 fired transitions, 490 secs ||
lola: 65 tries, 64876629 fired transitions, 495 secs ||
lola: 66 tries, 65581706 fired transitions, 500 secs ||
lola: 67 tries, 66276014 fired transitions, 505 secs ||
lola: 67 tries, 66983894 fired transitions, 510 secs ||
lola: 68 tries, 67685632 fired transitions, 515 secs ||
lola: 69 tries, 68391686 fired transitions, 520 secs ||
lola: 70 tries, 69094062 fired transitions, 525 secs ||
lola: 70 tries, 69758865 fired transitions, 530 secs ||
lola: 71 tries, 70437107 fired transitions, 535 secs ||
lola: 72 tries, 71139593 fired transitions, 540 secs ||
lola: 72 tries, 71848176 fired transitions, 545 secs ||
lola: 73 tries, 72295714 fired transitions, 550 secs ||
lola: 73 tries, 72718588 fired transitions, 555 secs ||
lola: 74 tries, 73345182 fired transitions, 560 secs ||
lola: 75 tries, 74058203 fired transitions, 565 secs ||
lola: 75 tries, 74771051 fired transitions, 570 secs ||
lola: 76 tries, 75465520 fired transitions, 575 secs ||
lola: 77 tries, 76172434 fired transitions, 580 secs ||
lola: 77 tries, 76868241 fired transitions, 585 secs ||
lola: 78 tries, 77570321 fired transitions, 590 secs ||
lola: 79 tries, 78272192 fired transitions, 595 secs ||
lola: 79 tries, 78979962 fired transitions, 600 secs ||
lola: 80 tries, 79685798 fired transitions, 605 secs ||
lola: 81 tries, 80396834 fired transitions, 610 secs ||
lola: 82 tries, 81108118 fired transitions, 615 secs ||
lola: 82 tries, 81816614 fired transitions, 620 secs ||
lola: 83 tries, 82512436 fired transitions, 625 secs ||
lola: 84 tries, 83198214 fired transitions, 630 secs ||
lola: 84 tries, 83882029 fired transitions, 635 secs ||
lola: 85 tries, 84581699 fired transitions, 640 secs ||
lola: 86 tries, 85284288 fired transitions, 645 secs ||
lola: 86 tries, 85986613 fired transitions, 650 secs ||
lola: 87 tries, 86688316 fired transitions, 655 secs ||
lola: 88 tries, 87394862 fired transitions, 660 secs ||
lola: 89 tries, 88101004 fired transitions, 665 secs ||
lola: 89 tries, 88807246 fired transitions, 670 secs ||
lola: 90 tries, 89510004 fired transitions, 675 secs ||
lola: 91 tries, 90221672 fired transitions, 680 secs ||
lola: 91 tries, 90934350 fired transitions, 685 secs ||
lola: 92 tries, 91644384 fired transitions, 690 secs ||
lola: 93 tries, 92352392 fired transitions, 695 secs ||
lola: 94 tries, 93059254 fired transitions, 700 secs ||
lola: 94 tries, 93767407 fired transitions, 705 secs ||
lola: 95 tries, 94476766 fired transitions, 710 secs ||
lola: 96 tries, 95186828 fired transitions, 715 secs ||
lola: 96 tries, 95895671 fired transitions, 720 secs ||
lola: 97 tries, 96604785 fired transitions, 725 secs ||
lola: 98 tries, 97314068 fired transitions, 730 secs ||
lola: 99 tries, 98022659 fired transitions, 735 secs ||
lola: 99 tries, 98734749 fired transitions, 740 secs ||
lola: 100 tries, 99445915 fired transitions, 745 secs ||
lola: 101 tries, 100153439 fired transitions, 750 secs ||
lola: 101 tries, 100862822 fired transitions, 755 secs ||
lola: 102 tries, 101568355 fired transitions, 760 secs ||
lola: 103 tries, 102272446 fired transitions, 765 secs ||
lola: 103 tries, 102974957 fired transitions, 770 secs ||
lola: 104 tries, 103676181 fired transitions, 775 secs ||
lola: 105 tries, 104381067 fired transitions, 780 secs ||
lola: 106 tries, 105092696 fired transitions, 785 secs ||
lola: 106 tries, 105802232 fired transitions, 790 secs ||
lola: 107 tries, 106505606 fired transitions, 795 secs ||
lola: 108 tries, 107212017 fired transitions, 800 secs ||
lola: 108 tries, 107925649 fired transitions, 805 secs ||
lola: 109 tries, 108636903 fired transitions, 810 secs ||
lola: 110 tries, 109345094 fired transitions, 815 secs ||
lola: 111 tries, 110069262 fired transitions, 820 secs ||
lola: 111 tries, 110801429 fired transitions, 825 secs ||
lola: 112 tries, 111589357 fired transitions, 830 secs ||
lola: 113 tries, 112301323 fired transitions, 835 secs ||
lola: 114 tries, 113009135 fired transitions, 840 secs ||
lola: 114 tries, 113720795 fired transitions, 845 secs ||
lola: 115 tries, 114430313 fired transitions, 850 secs ||
lola: 116 tries, 115138870 fired transitions, 855 secs ||
lola: 116 tries, 115848586 fired transitions, 860 secs ||
lola: 117 tries, 116543606 fired transitions, 865 secs ||
lola: 118 tries, 117251189 fired transitions, 870 secs ||
lola: 118 tries, 117961612 fired transitions, 875 secs ||
lola: 119 tries, 118668478 fired transitions, 880 secs ||
lola: 120 tries, 119375010 fired transitions, 885 secs ||
lola: 121 tries, 120064022 fired transitions, 890 secs ||
lola: 121 tries, 120762166 fired transitions, 895 secs ||
lola: 122 tries, 121466229 fired transitions, 900 secs ||
lola: 123 tries, 122161550 fired transitions, 905 secs ||
lola: 123 tries, 122874470 fired transitions, 910 secs ||
lola: 124 tries, 123583638 fired transitions, 915 secs ||
lola: 125 tries, 124279174 fired transitions, 920 secs ||
lola: 125 tries, 124999166 fired transitions, 925 secs ||
lola: 126 tries, 125675250 fired transitions, 930 secs ||
lola: 127 tries, 126359794 fired transitions, 935 secs ||
lola: 128 tries, 127058102 fired transitions, 940 secs ||
lola: 128 tries, 127763087 fired transitions, 945 secs ||
lola: 129 tries, 128469652 fired transitions, 950 secs ||
lola: 130 tries, 129157726 fired transitions, 955 secs ||
lola: 130 tries, 129866006 fired transitions, 960 secs ||
lola: 131 tries, 130575072 fired transitions, 965 secs ||
lola: 132 tries, 131277062 fired transitions, 970 secs ||
lola: 132 tries, 131953702 fired transitions, 975 secs ||
lola: 133 tries, 132432656 fired transitions, 980 secs ||
lola: 133 tries, 132854775 fired transitions, 985 secs ||
lola: 134 tries, 133274214 fired transitions, 990 secs ||
lola: 134 tries, 133697086 fired transitions, 995 secs ||
lola: 135 tries, 134115945 fired transitions, 1000 secs ||
lola: 135 tries, 134615117 fired transitions, 1005 secs ||
lola: 136 tries, 135033860 fired transitions, 1010 secs ||
lola: 136 tries, 135455887 fired transitions, 1015 secs ||
lola: 136 tries, 135879086 fired transitions, 1020 secs ||
lola: 137 tries, 136298658 fired transitions, 1025 secs ||
lola: 137 tries, 136720067 fired transitions, 1030 secs ||
lola: 138 tries, 137141233 fired transitions, 1035 secs ||
lola: 138 tries, 137562101 fired transitions, 1040 secs ||
lola: 139 tries, 138184588 fired transitions, 1045 secs ||
lola: 139 tries, 138889753 fired transitions, 1050 secs ||
lola: 140 tries, 139599849 fired transitions, 1055 secs ||
lola: 141 tries, 140312213 fired transitions, 1060 secs ||
lola: 142 tries, 141021923 fired transitions, 1065 secs ||
lola: 142 tries, 141734881 fired transitions, 1070 secs ||
lola: 143 tries, 142443501 fired transitions, 1075 secs ||
lola: 144 tries, 143154637 fired transitions, 1080 secs ||
lola: 144 tries, 143866870 fired transitions, 1085 secs ||
lola: 145 tries, 144368614 fired transitions, 1090 secs ||
lola: 145 tries, 144771209 fired transitions, 1095 secs ||
lola: 146 tries, 145172321 fired transitions, 1100 secs ||
lola: 146 tries, 145574420 fired transitions, 1105 secs ||
lola: 146 tries, 145974772 fired transitions, 1110 secs ||
lola: 147 tries, 146373719 fired transitions, 1115 secs ||
lola: 147 tries, 146954739 fired transitions, 1120 secs ||
lola: 148 tries, 147668128 fired transitions, 1125 secs ||
lola: 149 tries, 148385379 fired transitions, 1130 secs ||
lola: 150 tries, 149103415 fired transitions, 1135 secs ||
lola: 150 tries, 149821606 fired transitions, 1140 secs ||
lola: 151 tries, 150631828 fired transitions, 1145 secs ||
lola: 152 tries, 151428961 fired transitions, 1150 secs ||
lola: 153 tries, 152148458 fired transitions, 1155 secs ||
lola: 153 tries, 152861310 fired transitions, 1160 secs ||
lola: 154 tries, 153569758 fired transitions, 1165 secs ||
lola: 155 tries, 154274122 fired transitions, 1170 secs ||
lola: 155 tries, 154967606 fired transitions, 1175 secs ||
lola: 156 tries, 155667182 fired transitions, 1180 secs ||
lola: 157 tries, 156377805 fired transitions, 1185 secs ||
lola: 158 tries, 157081767 fired transitions, 1190 secs ||
lola: 158 tries, 157789206 fired transitions, 1195 secs ||
lola: 159 tries, 158492806 fired transitions, 1200 secs ||
lola: 160 tries, 159192510 fired transitions, 1205 secs ||
lola: 160 tries, 159894867 fired transitions, 1210 secs ||
lola: 161 tries, 160603056 fired transitions, 1215 secs ||
lola: 162 tries, 161310424 fired transitions, 1220 secs ||
lola: 163 tries, 162004325 fired transitions, 1225 secs ||
lola: 163 tries, 162717790 fired transitions, 1230 secs ||
lola: 164 tries, 163425671 fired transitions, 1235 secs ||
lola: 165 tries, 164134975 fired transitions, 1240 secs ||
lola: 165 tries, 164843878 fired transitions, 1245 secs ||
lola: 166 tries, 165550438 fired transitions, 1250 secs ||
lola: 167 tries, 166259850 fired transitions, 1255 secs ||
lola: 167 tries, 166970835 fired transitions, 1260 secs ||
lola: 168 tries, 167679058 fired transitions, 1265 secs ||
lola: 169 tries, 168389544 fired transitions, 1270 secs ||
lola: 170 tries, 169098400 fired transitions, 1275 secs ||
lola: 170 tries, 169810190 fired transitions, 1280 secs ||
lola: 171 tries, 170523287 fired transitions, 1285 secs ||
lola: 172 tries, 171231458 fired transitions, 1290 secs ||
lola: 172 tries, 171932886 fired transitions, 1295 secs ||
lola: 173 tries, 172639993 fired transitions, 1300 secs ||
lola: 174 tries, 173348138 fired transitions, 1305 secs ||
lola: 175 tries, 174058975 fired transitions, 1310 secs ||
lola: 175 tries, 174770970 fired transitions, 1315 secs ||
lola: 176 tries, 175480942 fired transitions, 1320 secs ||
lola: 177 tries, 176189143 fired transitions, 1325 secs ||
lola: 177 tries, 176878957 fired transitions, 1330 secs ||
lola: 178 tries, 177585462 fired transitions, 1335 secs ||
lola: 179 tries, 178293947 fired transitions, 1340 secs ||
lola: 180 tries, 179004834 fired transitions, 1345 secs ||
lola: 180 tries, 179712737 fired transitions, 1350 secs ||
lola: 181 tries, 180297022 fired transitions, 1355 secs ||
lola: 181 tries, 180696371 fired transitions, 1360 secs ||
lola: 182 tries, 181089804 fired transitions, 1365 secs ||
lola: 182 tries, 181491249 fired transitions, 1370 secs ||
lola: 182 tries, 181894226 fired transitions, 1375 secs ||
lola: 183 tries, 182295317 fired transitions, 1380 secs ||
lola: 183 tries, 182697419 fired transitions, 1385 secs ||
lola: 184 tries, 183093864 fired transitions, 1390 secs ||
lola: 184 tries, 183494933 fired transitions, 1395 secs ||
lola: 184 tries, 183883662 fired transitions, 1400 secs ||
lola: 185 tries, 184269198 fired transitions, 1405 secs ||
lola: 185 tries, 184658161 fired transitions, 1410 secs ||
lola: 186 tries, 185040061 fired transitions, 1415 secs ||
lola: 186 tries, 185446184 fired transitions, 1420 secs ||
lola: 186 tries, 185852413 fired transitions, 1425 secs ||
lola: 187 tries, 186249503 fired transitions, 1430 secs ||
lola: 187 tries, 186647781 fired transitions, 1435 secs ||
lola: 188 tries, 187048539 fired transitions, 1440 secs ||
lola: 188 tries, 187449332 fired transitions, 1445 secs ||
lola: 188 tries, 187848543 fired transitions, 1450 secs ||
lola: 189 tries, 188249585 fired transitions, 1455 secs ||
lola: 189 tries, 188646046 fired transitions, 1460 secs ||
lola: 190 tries, 189046911 fired transitions, 1465 secs ||
lola: 190 tries, 189446275 fired transitions, 1470 secs ||
lola: 190 tries, 189848798 fired transitions, 1475 secs ||
lola: 191 tries, 190243587 fired transitions, 1480 secs ||
lola: 191 tries, 190642228 fired transitions, 1485 secs ||
lola: 192 tries, 191044041 fired transitions, 1490 secs ||
lola: 192 tries, 191446550 fired transitions, 1495 secs ||
lola: 192 tries, 191846354 fired transitions, 1500 secs ||
lola: 193 tries, 192241096 fired transitions, 1505 secs ||
lola: 193 tries, 192641486 fired transitions, 1510 secs ||
lola: 194 tries, 193040735 fired transitions, 1515 secs ||
lola: 194 tries, 193443276 fired transitions, 1520 secs ||
lola: 194 tries, 193843547 fired transitions, 1525 secs ||
lola: 195 tries, 194245355 fired transitions, 1530 secs ||
lola: 195 tries, 194645292 fired transitions, 1535 secs ||
lola: 196 tries, 195046441 fired transitions, 1540 secs ||
lola: 196 tries, 195491812 fired transitions, 1545 secs ||
lola: 197 tries, 196195423 fired transitions, 1550 secs ||
lola: 197 tries, 196902679 fired transitions, 1555 secs ||
lola: 198 tries, 197606575 fired transitions, 1560 secs ||
lola: 199 tries, 198311042 fired transitions, 1565 secs ||
lola: 200 tries, 199015220 fired transitions, 1570 secs ||
lola: 200 tries, 199721841 fired transitions, 1575 secs ||
lola: 201 tries, 200422723 fired transitions, 1580 secs ||
lola: 202 tries, 201131566 fired transitions, 1585 secs ||
lola: 202 tries, 201841871 fired transitions, 1590 secs ||
lola: 203 tries, 202545374 fired transitions, 1595 secs ||
lola: 204 tries, 203248238 fired transitions, 1600 secs ||
lola: 204 tries, 203954766 fired transitions, 1605 secs ||
lola: 205 tries, 204660566 fired transitions, 1610 secs ||
lola: 206 tries, 205360078 fired transitions, 1615 secs ||
lola: 207 tries, 206059557 fired transitions, 1620 secs ||
lola: 207 tries, 206765759 fired transitions, 1625 secs ||
lola: 208 tries, 207470625 fired transitions, 1630 secs ||
lola: 209 tries, 208170822 fired transitions, 1635 secs ||
lola: 209 tries, 208874489 fired transitions, 1640 secs ||
lola: 210 tries, 209578531 fired transitions, 1645 secs ||
lola: 211 tries, 210279871 fired transitions, 1650 secs ||
lola: 211 tries, 210984878 fired transitions, 1655 secs ||
lola: 212 tries, 211688430 fired transitions, 1660 secs ||
lola: 213 tries, 212390250 fired transitions, 1665 secs ||
lola: 214 tries, 213091654 fired transitions, 1670 secs ||
lola: 214 tries, 213794415 fired transitions, 1675 secs ||
lola: 215 tries, 214498035 fired transitions, 1680 secs ||
lola: 216 tries, 215202370 fired transitions, 1685 secs ||
lola: 216 tries, 215804766 fired transitions, 1690 secs ||
lola: 217 tries, 216206321 fired transitions, 1695 secs ||
lola: 217 tries, 216605521 fired transitions, 1700 secs ||
lola: 218 tries, 217003527 fired transitions, 1705 secs ||
lola: 218 tries, 217407094 fired transitions, 1710 secs ||
lola: 218 tries, 217809110 fired transitions, 1715 secs ||
lola: 219 tries, 218209235 fired transitions, 1720 secs ||
lola: 219 tries, 218614344 fired transitions, 1725 secs ||
lola: 220 tries, 219038546 fired transitions, 1730 secs ||
lola: 220 tries, 219745122 fired transitions, 1735 secs ||
lola: 221 tries, 220413363 fired transitions, 1740 secs ||
lola: 222 tries, 221118028 fired transitions, 1745 secs ||
lola: 222 tries, 221825791 fired transitions, 1750 secs ||
lola: 223 tries, 222539139 fired transitions, 1755 secs ||
lola: 224 tries, 223249469 fired transitions, 1760 secs ||
lola: 224 tries, 223955309 fired transitions, 1765 secs ||
lola: 225 tries, 224659459 fired transitions, 1770 secs ||
lola: 226 tries, 225361362 fired transitions, 1775 secs ||
lola: 227 tries, 226066061 fired transitions, 1780 secs ||
lola: 227 tries, 226774062 fired transitions, 1785 secs ||
lola: 228 tries, 227478283 fired transitions, 1790 secs ||
lola: 229 tries, 228180857 fired transitions, 1795 secs ||
lola: 229 tries, 228888002 fired transitions, 1800 secs ||
lola: 230 tries, 229593030 fired transitions, 1805 secs ||
lola: 231 tries, 230298402 fired transitions, 1810 secs ||
lola: 232 tries, 231004921 fired transitions, 1815 secs ||
lola: 232 tries, 231711878 fired transitions, 1820 secs ||
lola: 233 tries, 232419444 fired transitions, 1825 secs ||
lola: 234 tries, 233126444 fired transitions, 1830 secs ||
lola: 234 tries, 233827125 fired transitions, 1835 secs ||
lola: 235 tries, 234530943 fired transitions, 1840 secs ||
lola: 236 tries, 235233545 fired transitions, 1845 secs ||
lola: 236 tries, 235939204 fired transitions, 1850 secs ||
lola: 237 tries, 236644223 fired transitions, 1855 secs ||
lola: 238 tries, 237350470 fired transitions, 1860 secs ||
lola: 239 tries, 238057090 fired transitions, 1865 secs ||
lola: 239 tries, 238765459 fired transitions, 1870 secs ||
lola: 240 tries, 239466811 fired transitions, 1875 secs ||
lola: 241 tries, 240171223 fired transitions, 1880 secs ||
lola: 241 tries, 240881846 fired transitions, 1885 secs ||
lola: 242 tries, 241587300 fired transitions, 1890 secs ||
lola: 243 tries, 242290239 fired transitions, 1895 secs ||
lola: 243 tries, 242995922 fired transitions, 1900 secs ||
lola: 244 tries, 243700718 fired transitions, 1905 secs ||
lola: 245 tries, 244100838 fired transitions, 1910 secs ||
lola: 245 tries, 244498032 fired transitions, 1915 secs ||
lola: 245 tries, 244900611 fired transitions, 1920 secs ||
lola: 246 tries, 245297888 fired transitions, 1925 secs ||
lola: 246 tries, 245700670 fired transitions, 1930 secs ||
lola: 247 tries, 246100261 fired transitions, 1935 secs ||
lola: 247 tries, 246503233 fired transitions, 1940 secs ||
lola: 247 tries, 246908421 fired transitions, 1945 secs ||
lola: 248 tries, 247305603 fired transitions, 1950 secs ||
lola: 248 tries, 247706774 fired transitions, 1955 secs ||
lola: 249 tries, 248104937 fired transitions, 1960 secs ||
lola: 249 tries, 248509916 fired transitions, 1965 secs ||
lola: 249 tries, 248909373 fired transitions, 1970 secs ||
lola: 250 tries, 249308203 fired transitions, 1975 secs ||
lola: 250 tries, 249710885 fired transitions, 1980 secs ||
lola: 251 tries, 250110123 fired transitions, 1985 secs ||
lola: 251 tries, 250515091 fired transitions, 1990 secs ||
lola: 251 tries, 250918680 fired transitions, 1995 secs ||
lola: 252 tries, 251312421 fired transitions, 2000 secs ||
lola: 252 tries, 251715554 fired transitions, 2005 secs ||
lola: 253 tries, 252113349 fired transitions, 2010 secs ||
lola: 253 tries, 252534329 fired transitions, 2015 secs ||
lola: 254 tries, 253232344 fired transitions, 2020 secs ||
lola: 254 tries, 253933097 fired transitions, 2025 secs ||
lola: 255 tries, 254637595 fired transitions, 2030 secs ||
lola: 256 tries, 255338970 fired transitions, 2035 secs ||
lola: 257 tries, 256036687 fired transitions, 2040 secs ||
lola: 257 tries, 256737814 fired transitions, 2045 secs ||
lola: 258 tries, 257425188 fired transitions, 2050 secs ||
lola: 259 tries, 258118806 fired transitions, 2055 secs ||
lola: 259 tries, 258818584 fired transitions, 2060 secs ||
lola: 260 tries, 259518366 fired transitions, 2065 secs ||
lola: 261 tries, 260216462 fired transitions, 2070 secs ||
lola: 261 tries, 260910211 fired transitions, 2075 secs ||
lola: 262 tries, 261605282 fired transitions, 2080 secs ||
lola: 263 tries, 262300833 fired transitions, 2085 secs ||
lola: 264 tries, 263007345 fired transitions, 2090 secs ||
lola: 264 tries, 263714878 fired transitions, 2095 secs ||
lola: 265 tries, 264421035 fired transitions, 2100 secs ||
lola: 266 tries, 265119922 fired transitions, 2105 secs ||
lola: 266 tries, 265818013 fired transitions, 2110 secs ||
lola: 267 tries, 266513849 fired transitions, 2115 secs ||
lola: 268 tries, 267209155 fired transitions, 2120 secs ||
lola: 268 tries, 267913078 fired transitions, 2125 secs ||
lola: 269 tries, 268617003 fired transitions, 2130 secs ||
lola: 270 tries, 269322865 fired transitions, 2135 secs ||
lola: 271 tries, 270027028 fired transitions, 2140 secs ||
lola: 271 tries, 270734440 fired transitions, 2145 secs ||
lola: 272 tries, 271440451 fired transitions, 2150 secs ||
lola: 273 tries, 272147467 fired transitions, 2155 secs ||
lola: 273 tries, 272857149 fired transitions, 2160 secs ||
lola: 274 tries, 273563854 fired transitions, 2165 secs ||
lola: 275 tries, 274272526 fired transitions, 2170 secs ||
lola: 275 tries, 274980061 fired transitions, 2175 secs ||
lola: 276 tries, 275685577 fired transitions, 2180 secs ||
lola: 277 tries, 276390666 fired transitions, 2185 secs ||
lola: 278 tries, 277095877 fired transitions, 2190 secs ||
lola: 278 tries, 277803113 fired transitions, 2195 secs ||
lola: 279 tries, 278509246 fired transitions, 2200 secs ||
lola: 280 tries, 279214352 fired transitions, 2205 secs ||
lola: 280 tries, 279918471 fired transitions, 2210 secs ||
lola: 281 tries, 280621054 fired transitions, 2215 secs ||
lola: 282 tries, 281325286 fired transitions, 2220 secs ||
lola: 283 tries, 282030700 fired transitions, 2225 secs ||
lola: 283 tries, 282735929 fired transitions, 2230 secs ||
lola: 284 tries, 283440326 fired transitions, 2235 secs ||
lola: 285 tries, 284143647 fired transitions, 2240 secs ||
lola: 285 tries, 284850205 fired transitions, 2245 secs ||
lola: 286 tries, 285552899 fired transitions, 2250 secs ||
lola: 287 tries, 286256387 fired transitions, 2255 secs ||
lola: 287 tries, 286963212 fired transitions, 2260 secs ||
lola: 288 tries, 287665078 fired transitions, 2265 secs ||
lola: 289 tries, 288369838 fired transitions, 2270 secs ||
lola: 290 tries, 289072556 fired transitions, 2275 secs ||
lola: 290 tries, 289780963 fired transitions, 2280 secs ||
lola: 291 tries, 290485247 fired transitions, 2285 secs ||
lola: 292 tries, 291191118 fired transitions, 2290 secs ||
lola: 292 tries, 291900275 fired transitions, 2295 secs ||
lola: 293 tries, 292605230 fired transitions, 2300 secs ||
lola: 294 tries, 293308796 fired transitions, 2305 secs ||
lola: 295 tries, 294005586 fired transitions, 2310 secs ||
lola: 295 tries, 294403857 fired transitions, 2315 secs ||
lola: 295 tries, 294806166 fired transitions, 2320 secs ||
lola: 296 tries, 295205123 fired transitions, 2325 secs ||
lola: 296 tries, 295609530 fired transitions, 2330 secs ||
lola: 297 tries, 296008683 fired transitions, 2335 secs ||
lola: 297 tries, 296412976 fired transitions, 2340 secs ||
lola: 297 tries, 296817845 fired transitions, 2345 secs ||
lola: 298 tries, 297217891 fired transitions, 2350 secs ||
lola: 298 tries, 297621885 fired transitions, 2355 secs ||
lola: 299 tries, 298020482 fired transitions, 2360 secs ||
lola: 299 tries, 298426480 fired transitions, 2365 secs ||
lola: 299 tries, 298833885 fired transitions, 2370 secs ||
lola: 300 tries, 299229427 fired transitions, 2375 secs ||
lola: 300 tries, 299631984 fired transitions, 2380 secs ||
lola: 301 tries, 300027885 fired transitions, 2385 secs ||
lola: 301 tries, 300426325 fired transitions, 2390 secs ||
lola: 301 tries, 300827075 fired transitions, 2395 secs ||
lola: 302 tries, 301224566 fired transitions, 2400 secs ||
lola: 302 tries, 301625420 fired transitions, 2405 secs ||
lola: 303 tries, 302021296 fired transitions, 2410 secs ||
lola: 303 tries, 302421517 fired transitions, 2415 secs ||
lola: 303 tries, 302820793 fired transitions, 2420 secs ||
lola: 304 tries, 303214904 fired transitions, 2425 secs ||
lola: 304 tries, 303613174 fired transitions, 2430 secs ||
lola: 305 tries, 304009868 fired transitions, 2435 secs ||
lola: 305 tries, 304409108 fired transitions, 2440 secs ||
lola: 305 tries, 304810809 fired transitions, 2445 secs ||
lola: 306 tries, 305202597 fired transitions, 2450 secs ||
lola: 306 tries, 305599964 fired transitions, 2455 secs ||
lola: 306 tries, 305998731 fired transitions, 2460 secs ||
lola: 307 tries, 306399391 fired transitions, 2465 secs ||
lola: 307 tries, 306801084 fired transitions, 2470 secs ||
lola: 308 tries, 307201118 fired transitions, 2475 secs ||
lola: 308 tries, 307604863 fired transitions, 2480 secs ||
lola: 309 tries, 308002242 fired transitions, 2485 secs ||
lola: 309 tries, 308402535 fired transitions, 2490 secs ||
lola: 309 tries, 308801486 fired transitions, 2495 secs ||
lola: 310 tries, 309199698 fired transitions, 2500 secs ||
lola: 310 tries, 309601294 fired transitions, 2505 secs ||
lola: 311 tries, 310001298 fired transitions, 2510 secs ||
lola: 311 tries, 310401174 fired transitions, 2515 secs ||
lola: 311 tries, 310804526 fired transitions, 2520 secs ||
lola: 312 tries, 311204750 fired transitions, 2525 secs ||
lola: 312 tries, 311611246 fired transitions, 2530 secs ||
lola: 313 tries, 312009457 fired transitions, 2535 secs ||
lola: 313 tries, 312409289 fired transitions, 2540 secs ||
lola: 313 tries, 312807956 fired transitions, 2545 secs ||
lola: 314 tries, 313203671 fired transitions, 2550 secs ||
lola: 314 tries, 313607945 fired transitions, 2555 secs ||
lola: 315 tries, 314008407 fired transitions, 2560 secs ||
lola: 315 tries, 314409678 fired transitions, 2565 secs ||
lola: 315 tries, 314809002 fired transitions, 2570 secs ||
lola: 316 tries, 315209829 fired transitions, 2575 secs ||
lola: 316 tries, 315613072 fired transitions, 2580 secs ||
lola: 317 tries, 316011610 fired transitions, 2585 secs ||
lola: 317 tries, 316415670 fired transitions, 2590 secs ||
lola: 317 tries, 316816830 fired transitions, 2595 secs ||
lola: 318 tries, 317216539 fired transitions, 2600 secs ||
lola: 318 tries, 317621790 fired transitions, 2605 secs ||
lola: 319 tries, 318023678 fired transitions, 2610 secs ||
lola: 319 tries, 318423971 fired transitions, 2615 secs ||
lola: 319 tries, 318830151 fired transitions, 2620 secs ||
lola: 320 tries, 319232966 fired transitions, 2625 secs ||
lola: 320 tries, 319639633 fired transitions, 2630 secs ||
lola: 321 tries, 320037822 fired transitions, 2635 secs ||
lola: 321 tries, 320444882 fired transitions, 2640 secs ||
lola: 321 tries, 320848791 fired transitions, 2645 secs ||
lola: 322 tries, 321246626 fired transitions, 2650 secs ||
lola: 322 tries, 321646492 fired transitions, 2655 secs ||
lola: 323 tries, 322041687 fired transitions, 2660 secs ||
lola: 323 tries, 322440990 fired transitions, 2665 secs ||
lola: 323 tries, 322840672 fired transitions, 2670 secs ||
lola: 324 tries, 323237293 fired transitions, 2675 secs ||
lola: 324 tries, 323638254 fired transitions, 2680 secs ||
lola: 325 tries, 324036911 fired transitions, 2685 secs ||
lola: 325 tries, 324436171 fired transitions, 2690 secs ||
lola: 325 tries, 324839382 fired transitions, 2695 secs ||
lola: 326 tries, 325239894 fired transitions, 2700 secs ||
lola: 326 tries, 325641066 fired transitions, 2705 secs ||
lola: 327 tries, 326035849 fired transitions, 2710 secs ||
lola: 327 tries, 326439622 fired transitions, 2715 secs ||
lola: 327 tries, 326840254 fired transitions, 2720 secs ||
lola: 328 tries, 327233056 fired transitions, 2725 secs ||
lola: 328 tries, 327634360 fired transitions, 2730 secs ||
lola: 329 tries, 328028730 fired transitions, 2735 secs ||
lola: 329 tries, 328431764 fired transitions, 2740 secs ||
lola: 329 tries, 328831022 fired transitions, 2745 secs ||
lola: 330 tries, 329233118 fired transitions, 2750 secs ||
lola: 330 tries, 329632176 fired transitions, 2755 secs ||
lola: 331 tries, 330026747 fired transitions, 2760 secs ||
lola: 331 tries, 330425498 fired transitions, 2765 secs ||
lola: 331 tries, 330829390 fired transitions, 2770 secs ||
lola: 332 tries, 331229422 fired transitions, 2775 secs ||
lola: 332 tries, 331626750 fired transitions, 2780 secs ||
lola: 333 tries, 332030313 fired transitions, 2785 secs ||
lola: 333 tries, 332435345 fired transitions, 2790 secs ||
lola: 333 tries, 332836515 fired transitions, 2795 secs ||
lola: 334 tries, 333238994 fired transitions, 2800 secs ||
lola: 334 tries, 333642558 fired transitions, 2805 secs ||
lola: 335 tries, 334041781 fired transitions, 2810 secs ||
lola: 335 tries, 334442985 fired transitions, 2815 secs ||
lola: 335 tries, 334890362 fired transitions, 2820 secs ||
lola: 336 tries, 335589917 fired transitions, 2825 secs ||
lola: 337 tries, 336290351 fired transitions, 2830 secs ||
lola: 337 tries, 336990002 fired transitions, 2835 secs ||
lola: 338 tries, 337688782 fired transitions, 2840 secs ||
lola: 339 tries, 338387133 fired transitions, 2845 secs ||
lola: 340 tries, 339071790 fired transitions, 2850 secs ||
lola: 340 tries, 339771637 fired transitions, 2855 secs ||
lola: 341 tries, 340468193 fired transitions, 2860 secs ||
lola: 342 tries, 341166025 fired transitions, 2865 secs ||
lola: 342 tries, 341868793 fired transitions, 2870 secs ||
lola: 343 tries, 342566285 fired transitions, 2875 secs ||
lola: 344 tries, 343265502 fired transitions, 2880 secs ||
lola: 344 tries, 343967753 fired transitions, 2885 secs ||
lola: 345 tries, 344665790 fired transitions, 2890 secs ||
lola: 346 tries, 345364582 fired transitions, 2895 secs ||
lola: 347 tries, 346061214 fired transitions, 2900 secs ||
lola: 347 tries, 346762478 fired transitions, 2905 secs ||
lola: 348 tries, 347461056 fired transitions, 2910 secs ||
lola: 349 tries, 348157083 fired transitions, 2915 secs ||
lola: 349 tries, 348859007 fired transitions, 2920 secs ||
lola: 350 tries, 349546242 fired transitions, 2925 secs ||
lola: 351 tries, 350247372 fired transitions, 2930 secs ||
lola: 351 tries, 350949236 fired transitions, 2935 secs ||
lola: 352 tries, 351648534 fired transitions, 2940 secs ||
lola: 353 tries, 352342262 fired transitions, 2945 secs ||
lola: 354 tries, 353039263 fired transitions, 2950 secs ||
lola: 354 tries, 353739733 fired transitions, 2955 secs ||
lola: 355 tries, 354439286 fired transitions, 2960 secs ||
lola: 356 tries, 355136430 fired transitions, 2965 secs ||
lola: 356 tries, 355837054 fired transitions, 2970 secs ||
lola: 357 tries, 356534902 fired transitions, 2975 secs ||
lola: 358 tries, 357234974 fired transitions, 2980 secs ||
lola: 358 tries, 357937787 fired transitions, 2985 secs ||
lola: 359 tries, 358636598 fired transitions, 2990 secs ||
lola: 360 tries, 359334133 fired transitions, 2995 secs ||
lola: 361 tries, 360034925 fired transitions, 3000 secs ||
lola: 361 tries, 360737204 fired transitions, 3005 secs ||
lola: 362 tries, 361434370 fired transitions, 3010 secs ||
lola: 363 tries, 362132836 fired transitions, 3015 secs ||
lola: 363 tries, 362832434 fired transitions, 3020 secs ||
lola: 364 tries, 363528499 fired transitions, 3025 secs ||
lola: 365 tries, 364223489 fired transitions, 3030 secs ||
lola: 365 tries, 364926030 fired transitions, 3035 secs ||
lola: 366 tries, 365625782 fired transitions, 3040 secs ||
lola: 367 tries, 366325946 fired transitions, 3045 secs ||
lola: 368 tries, 367024968 fired transitions, 3050 secs ||
lola: 368 tries, 367725055 fired transitions, 3055 secs ||
lola: 369 tries, 368423797 fired transitions, 3060 secs ||
lola: 370 tries, 369122616 fired transitions, 3065 secs ||
lola: 370 tries, 369824545 fired transitions, 3070 secs ||
lola: 371 tries, 370529486 fired transitions, 3075 secs ||
lola: 372 tries, 371230096 fired transitions, 3080 secs ||
lola: 372 tries, 371957190 fired transitions, 3085 secs ||
lola: 373 tries, 372452206 fired transitions, 3090 secs ||
lola: 373 tries, 372676730 fired transitions, 3095 secs ||
lola: 373 tries, 372863602 fired transitions, 3100 secs ||
Killed
rslt: finished

BK_STOP 1552449017706

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 xml LTLFireability.txt template) (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--findpath) (--depthlimit) (--symmtimelimit) 7140 markings, 7345 edges, 1428 markings/sec, 0 secs 27304 markings, 30000 edges, 4033 markings/sec, 5 secs 47669 markings, 53353 edges, 4073 markings/sec, 10 secs 70753 markings, 79687 edges, 4617 markings/sec, 15 secs 94068 markings, 106822 edges, 4663 markings/sec, 20 secs 116231 markings, 132291 edges, 4433 markings/sec, 25 secs 138160 markings, 156738 edges, 4386 markings/sec, 30 secs 160369 markings, 181875 edges, 4442 markings/sec, 35 secs 182148 markings, 206509 edges, 4356 markings/sec, 40 secs 205100 markings, 232859 edges, 4590 markings/sec, 45 secs 227316 markings, 258042 edges, 4443 markings/sec, 50 secs 245280 markings, 278523 edges, 3593 markings/sec, 55 secs 261120 markings, 296497 edges, 3168 markings/sec, 60 secs 282538 markings, 320692 edges, 4284 markings/sec, 65 secs 305066 markings, 346416 edges, 4506 markings/sec, 70 secs 325008 markings, 368974 edges, 3988 markings/sec, 75 secs 339749 markings, 385941 edges, 2948 markings/sec, 80 secs 361319 markings, 410284 edges, 4314 markings/sec, 85 secs 383431 markings, 435172 edges, 4422 markings/sec, 90 secs 405729 markings, 460396 edges, 4460 markings/sec, 95 secs 427994 markings, 485717 edges, 4453 markings/sec, 100 secs 450619 markings, 511669 edges, 4525 markings/sec, 105 secs 473128 markings, 537179 edges, 4502 markings/sec, 110 secs 494848 markings, 562134 edges, 4344 markings/sec, 115 secs 516685 markings, 587074 edges, 4367 markings/sec, 120 secs 538291 markings, 611520 edges, 4321 markings/sec, 125 secs 560534 markings, 636909 edges, 4449 markings/sec, 130 secs 582284 markings, 661399 edges, 4350 markings/sec, 135 secs 604191 markings, 686255 edges, 4381 markings/sec, 140 secs 625973 markings, 710981 edges, 4356 markings/sec, 145 secs 641248 markings, 728449 edges, 3055 markings/sec, 150 secs 655714 markings, 744916 edges, 2893 markings/sec, 155 secs 669073 markings, 760020 edges, 2672 markings/sec, 160 secs 682520 markings, 775237 edges, 2689 markings/sec, 165 secs 695969 markings, 790470 edges, 2690 markings/sec, 170 secs 709411 markings, 805691 edges, 2688 markings/sec, 175 secs 722878 markings, 820931 edges, 2693 markings/sec, 180 secs 736210 markings, 835979 edges, 2666 markings/sec, 185 secs 749955 markings, 851560 edges, 2749 markings/sec, 190 secs 764307 markings, 867945 edges, 2870 markings/sec, 195 secs 778578 markings, 884296 edges, 2854 markings/sec, 200 secs 792837 markings, 900665 edges, 2852 markings/sec, 205 secs 807194 markings, 917152 edges, 2871 markings/sec, 210 secs 821565 markings, 933398 edges, 2874 markings/sec, 215 secs 835858 markings, 949818 edges, 2859 markings/sec, 220 secs 858037 markings, 974971 edges, 4436 markings/sec, 225 secs 882359 markings, 1003309 edges, 4864 markings/sec, 230 secs 905934 markings, 1030654 edges, 4715 markings/sec, 235 secs 929031 markings, 1057306 edges, 4619 markings/sec, 240 secs 953148 markings, 1085396 edges, 4823 markings/sec, 245 secs 976101 markings, 1111954 edges, 4591 markings/sec, 250 secs 999705 markings, 1139392 edges, 4721 markings/sec, 255 secs 1021396 markings, 1163910 edges, 4338 markings/sec, 260 secs 1043633 markings, 1189018 edges, 4447 markings/sec, 265 secs 1065435 markings, 1213812 edges, 4360 markings/sec, 270 secs 1087533 markings, 1238872 edges, 4420 markings/sec, 275 secs 1110791 markings, 1265766 edges, 4652 markings/sec, 280 secs 1133164 markings, 1291242 edges, 4475 markings/sec, 285 secs 1156229 markings, 1317859 edges, 4613 markings/sec, 290 secs 1179098 markings, 1344144 edges, 4574 markings/sec, 295 secs 1201708 markings, 1370185 edges, 4522 markings/sec, 300 secs 1223624 markings, 1394946 edges, 4383 markings/sec, 305 secs 1245939 markings, 1420253 edges, 4463 markings/sec, 310 secs 1268511 markings, 1446214 edges, 4514 markings/sec, 315 secs 1292149 markings, 1473722 edges, 4728 markings/sec, 320 secs 1317069 markings, 1503493 edges, 4984 markings/sec, 325 secs 1340147 markings, 1530027 edges, 4616 markings/sec, 330 secs 1363259 markings, 1556749 edges, 4622 markings/sec, 335 secs 1386270 markings, 1583257 edges, 4602 markings/sec, 340 secs 1409123 markings, 1609446 edges, 4571 markings/sec, 345 secs 1431954 markings, 1635723 edges, 4566 markings/sec, 350 secs 1453926 markings, 1660461 edges, 4394 markings/sec, 355 secs 1476025 markings, 1685742 edges, 4420 markings/sec, 360 secs 1498511 markings, 1711452 edges, 4497 markings/sec, 365 secs 1519502 markings, 1735267 edges, 4198 markings/sec, 370 secs 1541469 markings, 1760322 edges, 4393 markings/sec, 375 secs 1564206 markings, 1786200 edges, 4547 markings/sec, 380 secs 1586143 markings, 1811128 edges, 4387 markings/sec, 385 secs 1607521 markings, 1835358 edges, 4276 markings/sec, 390 secs 1628877 markings, 1860085 edges, 4271 markings/sec, 395 secs 1649882 markings, 1884116 edges, 4201 markings/sec, 400 secs 1670459 markings, 1907820 edges, 4115 markings/sec, 405 secs 1691174 markings, 1931549 edges, 4143 markings/sec, 410 secs 1706123 markings, 1948795 edges, 2990 markings/sec, 415 secs 1725700 markings, 1971114 edges, 3915 markings/sec, 420 secs 1748253 markings, 1997289 edges, 4511 markings/sec, 425 secs 1770105 markings, 2022074 edges, 4370 markings/sec, 430 secs 1792140 markings, 2047374 edges, 4407 markings/sec, 435 secs 1813694 markings, 2071816 edges, 4311 markings/sec, 440 secs 1836033 markings, 2097486 edges, 4468 markings/sec, 445 secs 1858054 markings, 2122743 edges, 4404 markings/sec, 450 secs 1879651 markings, 2147423 edges, 4319 markings/sec, 455 secs 1900478 markings, 2171066 edges, 4165 markings/sec, 460 secs 1921455 markings, 2194864 edges, 4195 markings/sec, 465 secs 1943344 markings, 2219881 edges, 4378 markings/sec, 470 secs 1966790 markings, 2247072 edges, 4689 markings/sec, 475 secs 1988666 markings, 2271995 edges, 4375 markings/sec, 480 secs 2010649 markings, 2297162 edges, 4397 markings/sec, 485 secs 2033419 markings, 2322935 edges, 4554 markings/sec, 490 secs 2056390 markings, 2349538 edges, 4594 markings/sec, 495 secs 2078454 markings, 2374749 edges, 4413 markings/sec, 500 secs 2100871 markings, 2400328 edges, 4483 markings/sec, 505 secs 2123467 markings, 2426389 edges, 4519 markings/sec, 510 secs 2145417 markings, 2451325 edges, 4390 markings/sec, 515 secs 2168140 markings, 2477559 edges, 4545 markings/sec, 520 secs 2190875 markings, 2503697 edges, 4547 markings/sec, 525 secs 2211803 markings, 2527535 edges, 4186 markings/sec, 530 secs 2233376 markings, 2551989 edges, 4315 markings/sec, 535 secs 2256170 markings, 2578043 edges, 4559 markings/sec, 540 secs 2279687 markings, 2605350 edges, 4703 markings/sec, 545 secs 2294725 markings, 2622805 edges, 3008 markings/sec, 550 secs 2308690 markings, 2638940 edges, 2793 markings/sec, 555 secs 2329958 markings, 2663467 edges, 4254 markings/sec, 560 secs 2353079 markings, 2690499 edges, 4624 markings/sec, 565 secs 2376424 markings, 2718004 edges, 4669 markings/sec, 570 secs 2398892 markings, 2743929 edges, 4494 markings/sec, 575 secs 2422768 markings, 2771908 edges, 4775 markings/sec, 580 secs 2445124 markings, 2797347 edges, 4471 markings/sec, 585 secs 2466898 markings, 2822073 edges, 4355 markings/sec, 590 secs 2488692 markings, 2847090 edges, 4359 markings/sec, 595 secs 2510107 markings, 2871288 edges, 4283 markings/sec, 600 secs 2532463 markings, 2896792 edges, 4471 markings/sec, 605 secs 2555449 markings, 2923609 edges, 4597 markings/sec, 610 secs 2578481 markings, 2950580 edges, 4606 markings/sec, 615 secs 2600274 markings, 2975371 edges, 4359 markings/sec, 620 secs 2622421 markings, 3000603 edges, 4429 markings/sec, 625 secs 2644514 markings, 3025969 edges, 4419 markings/sec, 630 secs 2666643 markings, 3051310 edges, 4426 markings/sec, 635 secs 2688851 markings, 3076936 edges, 4442 markings/sec, 640 secs 2711361 markings, 3102712 edges, 4502 markings/sec, 645 secs 2734022 markings, 3128919 edges, 4532 markings/sec, 650 secs 2756050 markings, 3153980 edges, 4406 markings/sec, 655 secs 2778137 markings, 3179344 edges, 4417 markings/sec, 660 secs 2799622 markings, 3203811 edges, 4297 markings/sec, 665 secs 2822180 markings, 3229862 edges, 4512 markings/sec, 670 secs 2843848 markings, 3254554 edges, 4334 markings/sec, 675 secs 2866664 markings, 3281089 edges, 4563 markings/sec, 680 secs 2889634 markings, 3307597 edges, 4594 markings/sec, 685 secs 2912561 markings, 3334011 edges, 4585 markings/sec, 690 secs 2934368 markings, 3358935 edges, 4361 markings/sec, 695 secs 2956249 markings, 3383910 edges, 4376 markings/sec, 700 secs 2979967 markings, 3411485 edges, 4744 markings/sec, 705 secs 3003179 markings, 3438639 edges, 4642 markings/sec, 710 secs 3026725 markings, 3466310 edges, 4709 markings/sec, 715 secs 3050042 markings, 3493621 edges, 4663 markings/sec, 720 secs 3072282 markings, 3519210 edges, 4448 markings/sec, 725 secs 3094577 markings, 3544773 edges, 4459 markings/sec, 730 secs 3116380 markings, 3569744 edges, 4361 markings/sec, 735 secs 3138577 markings, 3595244 edges, 4439 markings/sec, 740 secs 3161236 markings, 3621520 edges, 4532 markings/sec, 745 secs 3183220 markings, 3646638 edges, 4397 markings/sec, 750 secs 3204919 markings, 3671419 edges, 4340 markings/sec, 755 secs 3226572 markings, 3696141 edges, 4331 markings/sec, 760 secs 3247996 markings, 3720583 edges, 4285 markings/sec, 765 secs 3270567 markings, 3746650 edges, 4514 markings/sec, 770 secs 3292253 markings, 3771299 edges, 4337 markings/sec, 775 secs 3315291 markings, 3797988 edges, 4608 markings/sec, 780 secs 3338347 markings, 3824887 edges, 4611 markings/sec, 785 secs 3360168 markings, 3849826 edges, 4364 markings/sec, 790 secs 3381598 markings, 3874018 edges, 4286 markings/sec, 795 secs 3403722 markings, 3899336 edges, 4425 markings/sec, 800 secs 3424655 markings, 3923376 edges, 4187 markings/sec, 805 secs 3443767 markings, 3944950 edges, 3822 markings/sec, 810 secs 3463209 markings, 3967150 edges, 3888 markings/sec, 815 secs 3483405 markings, 3990262 edges, 4039 markings/sec, 820 secs 3504587 markings, 4014558 edges, 4236 markings/sec, 825 secs 3529118 markings, 4043017 edges, 4906 markings/sec, 830 secs 3549973 markings, 4067291 edges, 4171 markings/sec, 835 secs 3569455 markings, 4089333 edges, 3896 markings/sec, 840 secs 3588651 markings, 4111301 edges, 3839 markings/sec, 845 secs 3608136 markings, 4133774 edges, 3897 markings/sec, 850 secs 3627941 markings, 4156482 edges, 3961 markings/sec, 855 secs 3647868 markings, 4179347 edges, 3985 markings/sec, 860 secs 3667390 markings, 4201490 edges, 3904 markings/sec, 865 secs 3686967 markings, 4223737 edges, 3915 markings/sec, 870 secs 3706822 markings, 4246407 edges, 3971 markings/sec, 875 secs 3726407 markings, 4268745 edges, 3917 markings/sec, 880 secs 3746203 markings, 4291264 edges, 3959 markings/sec, 885 secs 3766022 markings, 4314006 edges, 3964 markings/sec, 890 secs 3785313 markings, 4335820 edges, 3858 markings/sec, 895 secs 3805232 markings, 4358624 edges, 3984 markings/sec, 900 secs 3825313 markings, 4381672 edges, 4016 markings/sec, 905 secs 3844559 markings, 4403554 edges, 3849 markings/sec, 910 secs 3864550 markings, 4426655 edges, 3998 markings/sec, 915 secs 3883774 markings, 4448709 edges, 3845 markings/sec, 920 secs 3903319 markings, 4471243 edges, 3909 markings/sec, 925 secs 3922951 markings, 4493750 edges, 3926 markings/sec, 930 secs 3942902 markings, 4516285 edges, 3990 markings/sec, 935 secs 3962945 markings, 4539166 edges, 4009 markings/sec, 940 secs 3984017 markings, 4563707 edges, 4214 markings/sec, 945 secs 4004357 markings, 4587156 edges, 4068 markings/sec, 950 secs 4023761 markings, 4609288 edges, 3881 markings/sec, 955 secs 4042825 markings, 4630911 edges, 3813 markings/sec, 960 secs 4061658 markings, 4652311 edges, 3767 markings/sec, 965 secs 4079827 markings, 4672765 edges, 3634 markings/sec, 970 secs 4099329 markings, 4695438 edges, 3900 markings/sec, 975 secs 4112761 markings, 4710736 edges, 2686 markings/sec, 980 secs 4124909 markings, 4724636 edges, 2430 markings/sec, 985 secs 4138112 markings, 4739704 edges, 2641 markings/sec, 990 secs 4151627 markings, 4754954 edges, 2703 markings/sec, 995 secs 4165337 markings, 4770615 edges, 2742 markings/sec, 1000 secs 4181074 markings, 4788620 edges, 3147 markings/sec, 1005 secs 4194319 markings, 4803737 edges, 2649 markings/sec, 1010 secs 4207798 markings, 4819118 edges, 2696 markings/sec, 1015 secs 4221402 markings, 4834763 edges, 2721 markings/sec, 1020 secs 4235010 markings, 4850100 edges, 2722 markings/sec, 1025 secs 4248596 markings, 4865498 edges, 2717 markings/sec, 1030 secs 4262015 markings, 4880586 edges, 2684 markings/sec, 1035 secs 4275385 markings, 4895735 edges, 2674 markings/sec, 1040 secs 4292450 markings, 4914882 edges, 3413 markings/sec, 1045 secs 4310785 markings, 4935583 edges, 3667 markings/sec, 1050 secs 4329712 markings, 4956962 edges, 3785 markings/sec, 1055 secs 4349259 markings, 4979073 edges, 3909 markings/sec, 1060 secs 4368082 markings, 5000256 edges, 3765 markings/sec, 1065 secs 4386866 markings, 5021538 edges, 3757 markings/sec, 1070 secs 4405774 markings, 5043090 edges, 3782 markings/sec, 1075 secs 4424214 markings, 5064070 edges, 3688 markings/sec, 1080 secs 4442456 markings, 5084772 edges, 3648 markings/sec, 1085 secs 4456057 markings, 5100142 edges, 2720 markings/sec, 1090 secs 4467346 markings, 5112994 edges, 2258 markings/sec, 1095 secs 4478781 markings, 5126006 edges, 2287 markings/sec, 1100 secs 4490252 markings, 5138995 edges, 2294 markings/sec, 1105 secs 4501517 markings, 5151682 edges, 2253 markings/sec, 1110 secs 4513050 markings, 5164943 edges, 2307 markings/sec, 1115 secs 4528168 markings, 5181931 edges, 3024 markings/sec, 1120 secs 4547129 markings, 5203589 edges, 3792 markings/sec, 1125 secs 4565244 markings, 5224230 edges, 3623 markings/sec, 1130 secs 4583059 markings, 5244487 edges, 3563 markings/sec, 1135 secs 4603220 markings, 5267348 edges, 4032 markings/sec, 1140 secs 4627558 markings, 5295194 edges, 4868 markings/sec, 1145 secs 4650925 markings, 5321668 edges, 4673 markings/sec, 1150 secs 4670209 markings, 5343597 edges, 3857 markings/sec, 1155 secs 4688787 markings, 5364864 edges, 3716 markings/sec, 1160 secs 4708368 markings, 5387111 edges, 3916 markings/sec, 1165 secs 4727462 markings, 5408644 edges, 3819 markings/sec, 1170 secs 4747068 markings, 5431025 edges, 3921 markings/sec, 1175 secs 4765912 markings, 5452467 edges, 3769 markings/sec, 1180 secs 4784560 markings, 5473697 edges, 3730 markings/sec, 1185 secs 4803397 markings, 5495069 edges, 3767 markings/sec, 1190 secs 4822693 markings, 5516981 edges, 3859 markings/sec, 1195 secs 4842459 markings, 5539583 edges, 3953 markings/sec, 1200 secs 4862289 markings, 5562489 edges, 3966 markings/sec, 1205 secs 4881884 markings, 5584641 edges, 3919 markings/sec, 1210 secs 4900847 markings, 5605820 edges, 3793 markings/sec, 1215 secs 4920181 markings, 5627599 edges, 3867 markings/sec, 1220 secs 4939960 markings, 5649867 edges, 3956 markings/sec, 1225 secs 4960225 markings, 5673138 edges, 4053 markings/sec, 1230 secs 4979366 markings, 5694994 edges, 3828 markings/sec, 1235 secs 4998953 markings, 5717526 edges, 3917 markings/sec, 1240 secs 5018646 markings, 5740172 edges, 3939 markings/sec, 1245 secs 5037502 markings, 5761476 edges, 3771 markings/sec, 1250 secs 5056669 markings, 5783437 edges, 3833 markings/sec, 1255 secs 5076151 markings, 5805718 edges, 3896 markings/sec, 1260 secs 5095718 markings, 5828079 edges, 3913 markings/sec, 1265 secs 5114272 markings, 5849243 edges, 3711 markings/sec, 1270 secs 5132893 markings, 5870488 edges, 3724 markings/sec, 1275 secs 5150854 markings, 5890797 edges, 3592 markings/sec, 1280 secs 5167933 markings, 5910240 edges, 3416 markings/sec, 1285 secs 5186983 markings, 5931866 edges, 3810 markings/sec, 1290 secs 5206496 markings, 5954123 edges, 3903 markings/sec, 1295 secs 5225086 markings, 5975037 edges, 3718 markings/sec, 1300 secs 5244088 markings, 5996457 edges, 3800 markings/sec, 1305 secs 5263312 markings, 6018477 edges, 3845 markings/sec, 1310 secs 5282230 markings, 6039902 edges, 3784 markings/sec, 1315 secs 5301445 markings, 6061625 edges, 3843 markings/sec, 1320 secs 5321178 markings, 6084269 edges, 3947 markings/sec, 1325 secs 5340860 markings, 6106579 edges, 3936 markings/sec, 1330 secs 5360451 markings, 6128846 edges, 3918 markings/sec, 1335 secs 5380094 markings, 6151266 edges, 3929 markings/sec, 1340 secs 5399477 markings, 6173343 edges, 3877 markings/sec, 1345 secs 5419112 markings, 6195887 edges, 3927 markings/sec, 1350 secs 5435699 markings, 6214755 edges, 3317 markings/sec, 1355 secs 5447167 markings, 6227815 edges, 2294 markings/sec, 1360 secs 5458980 markings, 6241475 edges, 2363 markings/sec, 1365 secs 5470835 markings, 6255041 edges, 2371 markings/sec, 1370 secs 5484190 markings, 6270631 edges, 2671 markings/sec, 1375 secs 5497496 markings, 6286212 edges, 2661 markings/sec, 1380 secs 5510287 markings, 6300901 edges, 2558 markings/sec, 1385 secs 5523234 markings, 6316010 edges, 2589 markings/sec, 1390 secs 5536303 markings, 6331375 edges, 2614 markings/sec, 1395 secs 5550753 markings, 6348315 edges, 2890 markings/sec, 1400 secs 5565161 markings, 6365301 edges, 2882 markings/sec, 1405 secs 5578862 markings, 6381491 edges, 2740 markings/sec, 1410 secs 5592681 markings, 6397779 edges, 2764 markings/sec, 1415 secs 5607318 markings, 6415008 edges, 2927 markings/sec, 1420 secs 5621980 markings, 6432279 edges, 2932 markings/sec, 1425 secs 5635640 markings, 6447911 edges, 2732 markings/sec, 1430 secs 5647253 markings, 6461236 edges, 2323 markings/sec, 1435 secs 5658588 markings, 6474498 edges, 2267 markings/sec, 1440 secs 5671879 markings, 6489850 edges, 2658 markings/sec, 1445 secs 5684923 markings, 6504788 edges, 2609 markings/sec, 1450 secs 5698273 markings, 6520141 edges, 2670 markings/sec, 1455 secs 5711558 markings, 6535294 edges, 2657 markings/sec, 1460 secs 5724030 markings, 6549215 edges, 2494 markings/sec, 1465 secs 5736037 markings, 6562626 edges, 2401 markings/sec, 1470 secs 5748975 markings, 6577163 edges, 2588 markings/sec, 1475 secs 5762172 markings, 6592258 edges, 2639 markings/sec, 1480 secs 5775056 markings, 6606833 edges, 2577 markings/sec, 1485 secs 5788133 markings, 6621646 edges, 2615 markings/sec, 1490 secs 5802059 markings, 6637730 edges, 2785 markings/sec, 1495 secs 5816374 markings, 6654422 edges, 2863 markings/sec, 1500 secs 5829831 markings, 6669835 edges, 2691 markings/sec, 1505 secs 5843335 markings, 6685283 edges, 2701 markings/sec, 1510 secs 5857486 markings, 6701688 edges, 2830 markings/sec, 1515 secs 5871110 markings, 6717331 edges, 2725 markings/sec, 1520 secs 5885299 markings, 6733890 edges, 2838 markings/sec, 1525 secs 5899007 markings, 6749614 edges, 2742 markings/sec, 1530 secs 5911507 markings, 6764013 edges, 2500 markings/sec, 1535 secs 5925093 markings, 6779634 edges, 2717 markings/sec, 1540 secs 5940036 markings, 6796745 edges, 2989 markings/sec, 1545 secs 5961118 markings, 6820351 edges, 4216 markings/sec, 1550 secs 5982472 markings, 6844435 edges, 4271 markings/sec, 1555 secs 6003734 markings, 6868616 edges, 4252 markings/sec, 1560 secs 6025250 markings, 6892733 edges, 4303 markings/sec, 1565 secs 6046690 markings, 6916779 edges, 4288 markings/sec, 1570 secs 6068487 markings, 6941323 edges, 4359 markings/sec, 1575 secs 6090326 markings, 6965896 edges, 4368 markings/sec, 1580 secs 6113221 markings, 6992549 edges, 4579 markings/sec, 1585 secs 6135449 markings, 7018267 edges, 4446 markings/sec, 1590 secs 6156533 markings, 7042285 edges, 4217 markings/sec, 1595 secs 6178172 markings, 7066948 edges, 4328 markings/sec, 1600 secs 6199267 markings, 7090771 edges, 4219 markings/sec, 1605 secs 6220349 markings, 7114819 edges, 4216 markings/sec, 1610 secs 6240929 markings, 7137762 edges, 4116 markings/sec, 1615 secs 6262626 markings, 7162250 edges, 4339 markings/sec, 1620 secs 6285503 markings, 7188428 edges, 4575 markings/sec, 1625 secs 6308593 markings, 7214819 edges, 4618 markings/sec, 1630 secs 6330321 markings, 7239249 edges, 4346 markings/sec, 1635 secs 6351659 markings, 7263327 edges, 4268 markings/sec, 1640 secs 6373273 markings, 7288063 edges, 4323 markings/sec, 1645 secs 6395221 markings, 7313037 edges, 4390 markings/sec, 1650 secs 6416237 markings, 7336802 edges, 4203 markings/sec, 1655 secs 6437908 markings, 7361407 edges, 4334 markings/sec, 1660 secs 6459501 markings, 7385800 edges, 4319 markings/sec, 1665 secs 6480581 markings, 7409348 edges, 4216 markings/sec, 1670 secs 6501604 markings, 7432838 edges, 4205 markings/sec, 1675 secs 6523238 markings, 7457159 edges, 4327 markings/sec, 1680 secs 6545232 markings, 7482144 edges, 4399 markings/sec, 1685 secs 6564920 markings, 7504385 edges, 3938 markings/sec, 1690 secs 6578680 markings, 7520116 edges, 2752 markings/sec, 1695 secs 6592175 markings, 7535437 edges, 2699 markings/sec, 1700 secs 6605701 markings, 7550938 edges, 2705 markings/sec, 1705 secs 6619686 markings, 7567041 edges, 2797 markings/sec, 1710 secs 6633369 markings, 7582812 edges, 2737 markings/sec, 1715 secs 6647287 markings, 7598859 edges, 2784 markings/sec, 1720 secs 6661454 markings, 7615082 edges, 2833 markings/sec, 1725 secs 6676084 markings, 7631802 edges, 2926 markings/sec, 1730 secs 6696990 markings, 7655198 edges, 4181 markings/sec, 1735 secs 6717283 markings, 7678161 edges, 4059 markings/sec, 1740 secs 6738563 markings, 7702330 edges, 4256 markings/sec, 1745 secs 6759674 markings, 7726045 edges, 4222 markings/sec, 1750 secs 6781259 markings, 7750348 edges, 4317 markings/sec, 1755 secs 6802766 markings, 7774886 edges, 4301 markings/sec, 1760 secs 6824924 markings, 7799830 edges, 4432 markings/sec, 1765 secs 6846506 markings, 7824271 edges, 4316 markings/sec, 1770 secs 6867876 markings, 7848418 edges, 4274 markings/sec, 1775 secs 6889557 markings, 7873074 edges, 4336 markings/sec, 1780 secs 6911168 markings, 7897499 edges, 4322 markings/sec, 1785 secs 6932678 markings, 7921659 edges, 4302 markings/sec, 1790 secs 6953806 markings, 7945616 edges, 4226 markings/sec, 1795 secs 6975597 markings, 7970436 edges, 4358 markings/sec, 1800 secs 6997582 markings, 7995431 edges, 4397 markings/sec, 1805 secs 7019261 markings, 8020063 edges, 4336 markings/sec, 1810 secs 7041196 markings, 8045116 edges, 4387 markings/sec, 1815 secs 7063092 markings, 8070073 edges, 4379 markings/sec, 1820 secs 7085412 markings, 8095786 edges, 4464 markings/sec, 1825 secs 7107252 markings, 8120493 edges, 4368 markings/sec, 1830 secs 7128368 markings, 8144060 edges, 4223 markings/sec, 1835 secs 7149443 markings, 8167715 edges, 4215 markings/sec, 1840 secs 7170500 markings, 8191255 edges, 4211 markings/sec, 1845 secs 7191296 markings, 8214428 edges, 4159 markings/sec, 1850 secs 7211742 markings, 8237633 edges, 4089 markings/sec, 1855 secs 7232844 markings, 8261403 edges, 4220 markings/sec, 1860 secs 7254092 markings, 8285715 edges, 4250 markings/sec, 1865 secs 7275780 markings, 8310435 edges, 4338 markings/sec, 1870 secs 7297290 markings, 8334806 edges, 4302 markings/sec, 1875 secs 7318324 markings, 8358497 edges, 4207 markings/sec, 1880 secs 7339768 markings, 8382666 edges, 4289 markings/sec, 1885 secs 7360890 markings, 8406597 edges, 4224 markings/sec, 1890 secs 7381796 markings, 8430119 edges, 4181 markings/sec, 1895 secs 7402340 markings, 8453162 edges, 4109 markings/sec, 1900 secs 7423411 markings, 8477017 edges, 4214 markings/sec, 1905 secs 7436387 markings, 8491726 edges, 2595 markings/sec, 1910 secs 7449447 markings, 8506579 edges, 2612 markings/sec, 1915 secs 7462610 markings, 8521529 edges, 2633 markings/sec, 1920 secs 7475466 markings, 8535980 edges, 2571 markings/sec, 1925 secs 7488246 markings, 8550467 edges, 2556 markings/sec, 1930 secs 7501010 markings, 8564838 edges, 2553 markings/sec, 1935 secs 7513935 markings, 8579391 edges, 2585 markings/sec, 1940 secs 7526819 markings, 8594033 edges, 2577 markings/sec, 1945 secs 7539421 markings, 8608367 edges, 2520 markings/sec, 1950 secs 7552356 markings, 8623251 edges, 2587 markings/sec, 1955 secs 7565357 markings, 8638153 edges, 2600 markings/sec, 1960 secs 7578443 markings, 8653117 edges, 2617 markings/sec, 1965 secs 7591787 markings, 8668168 edges, 2669 markings/sec, 1970 secs 7605024 markings, 8683142 edges, 2647 markings/sec, 1975 secs 7618513 markings, 8698483 edges, 2698 markings/sec, 1980 secs 7632205 markings, 8714001 edges, 2738 markings/sec, 1985 secs 7646116 markings, 8729781 edges, 2782 markings/sec, 1990 secs 7659574 markings, 8744989 edges, 2692 markings/sec, 1995 secs 7672076 markings, 8759326 edges, 2500 markings/sec, 2000 secs 7685699 markings, 8774951 edges, 2725 markings/sec, 2005 secs 7698414 markings, 8789399 edges, 2543 markings/sec, 2010 secs 7711510 markings, 8804254 edges, 2619 markings/sec, 2015 secs 7732300 markings, 8827541 edges, 4158 markings/sec, 2020 secs 7753767 markings, 8851649 edges, 4293 markings/sec, 2025 secs 7774853 markings, 8875476 edges, 4217 markings/sec, 2030 secs 7796173 markings, 8899423 edges, 4264 markings/sec, 2035 secs 7816896 markings, 8923020 edges, 4145 markings/sec, 2040 secs 7837304 markings, 8945822 edges, 4082 markings/sec, 2045 secs 7856242 markings, 8967117 edges, 3788 markings/sec, 2050 secs 7877222 markings, 8990602 edges, 4196 markings/sec, 2055 secs 7897654 markings, 9013655 edges, 4086 markings/sec, 2060 secs 7918089 markings, 9036867 edges, 4087 markings/sec, 2065 secs 7938905 markings, 9060602 edges, 4163 markings/sec, 2070 secs 7958093 markings, 9082522 edges, 3838 markings/sec, 2075 secs 7977682 markings, 9104717 edges, 3918 markings/sec, 2080 secs 7998962 markings, 9129142 edges, 4256 markings/sec, 2085 secs 8020129 markings, 9153156 edges, 4233 markings/sec, 2090 secs 8040816 markings, 9176598 edges, 4137 markings/sec, 2095 secs 8061498 markings, 9200164 edges, 4136 markings/sec, 2100 secs 8081735 markings, 9223016 edges, 4047 markings/sec, 2105 secs 8102390 markings, 9246142 edges, 4131 markings/sec, 2110 secs 8123327 markings, 9269698 edges, 4187 markings/sec, 2115 secs 8143870 markings, 9292831 edges, 4109 markings/sec, 2120 secs 8165018 markings, 9317012 edges, 4230 markings/sec, 2125 secs 8185989 markings, 9340568 edges, 4194 markings/sec, 2130 secs 8207594 markings, 9365225 edges, 4321 markings/sec, 2135 secs 8228797 markings, 9389204 edges, 4241 markings/sec, 2140 secs 8249932 markings, 9413223 edges, 4227 markings/sec, 2145 secs 8270686 markings, 9436883 edges, 4151 markings/sec, 2150 secs 8291635 markings, 9460761 edges, 4190 markings/sec, 2155 secs 8312386 markings, 9484221 edges, 4150 markings/sec, 2160 secs 8333705 markings, 9508370 edges, 4264 markings/sec, 2165 secs 8355118 markings, 9532788 edges, 4283 markings/sec, 2170 secs 8376439 markings, 9556689 edges, 4264 markings/sec, 2175 secs 8397123 markings, 9580035 edges, 4137 markings/sec, 2180 secs 8417720 markings, 9603427 edges, 4119 markings/sec, 2185 secs 8438189 markings, 9626422 edges, 4094 markings/sec, 2190 secs 8459256 markings, 9650068 edges, 4213 markings/sec, 2195 secs 8481158 markings, 9674955 edges, 4380 markings/sec, 2200 secs 8502720 markings, 9699356 edges, 4312 markings/sec, 2205 secs 8523995 markings, 9723276 edges, 4255 markings/sec, 2210 secs 8544426 markings, 9746307 edges, 4086 markings/sec, 2215 secs 8565110 markings, 9769775 edges, 4137 markings/sec, 2220 secs 8586409 markings, 9793923 edges, 4260 markings/sec, 2225 secs 8608227 markings, 9818792 edges, 4364 markings/sec, 2230 secs 8630084 markings, 9843677 edges, 4371 markings/sec, 2235 secs 8651635 markings, 9868027 edges, 4310 markings/sec, 2240 secs 8673422 markings, 9892464 edges, 4357 markings/sec, 2245 secs 8694554 markings, 9916466 edges, 4226 markings/sec, 2250 secs 8715948 markings, 9940705 edges, 4279 markings/sec, 2255 secs 8736923 markings, 9964190 edges, 4195 markings/sec, 2260 secs 8758172 markings, 9988103 edges, 4250 markings/sec, 2265 secs 8780110 markings, 10013084 edges, 4388 markings/sec, 2270 secs 8801681 markings, 10037441 edges, 4314 markings/sec, 2275 secs 8823490 markings, 10062211 edges, 4362 markings/sec, 2280 secs 8845062 markings, 10086658 edges, 4314 markings/sec, 2285 secs 8866617 markings, 10110791 edges, 4311 markings/sec, 2290 secs 8888378 markings, 10135115 edges, 4352 markings/sec, 2295 secs 8909792 markings, 10159210 edges, 4283 markings/sec, 2300 secs 8930881 markings, 10182829 edges, 4218 markings/sec, 2305 secs 8951998 markings, 10206556 edges, 4223 markings/sec, 2310 secs 8965782 markings, 10222382 edges, 2757 markings/sec, 2315 secs 8979592 markings, 10238348 edges, 2762 markings/sec, 2320 secs 8992509 markings, 10252883 edges, 2583 markings/sec, 2325 secs 9005420 markings, 10267377 edges, 2582 markings/sec, 2330 secs 9018548 markings, 10282296 edges, 2626 markings/sec, 2335 secs 9031753 markings, 10297354 edges, 2641 markings/sec, 2340 secs 9044832 markings, 10312332 edges, 2616 markings/sec, 2345 secs 9058240 markings, 10327672 edges, 2682 markings/sec, 2350 secs 9072741 markings, 10344659 edges, 2900 markings/sec, 2355 secs 9085772 markings, 10359483 edges, 2606 markings/sec, 2360 secs 9099213 markings, 10374826 edges, 2688 markings/sec, 2365 secs 9112208 markings, 10389484 edges, 2599 markings/sec, 2370 secs 9125434 markings, 10404777 edges, 2645 markings/sec, 2375 secs 9138742 markings, 10419989 edges, 2662 markings/sec, 2380 secs 9151975 markings, 10435183 edges, 2647 markings/sec, 2385 secs 9164873 markings, 10449918 edges, 2580 markings/sec, 2390 secs 9178069 markings, 10465133 edges, 2639 markings/sec, 2395 secs 9191072 markings, 10479862 edges, 2601 markings/sec, 2400 secs 9204365 markings, 10495066 edges, 2659 markings/sec, 2405 secs 9218076 markings, 10510939 edges, 2742 markings/sec, 2410 secs 9232085 markings, 10527199 edges, 2802 markings/sec, 2415 secs 9245284 markings, 10542288 edges, 2640 markings/sec, 2420 secs 9258635 markings, 10557742 edges, 2670 markings/sec, 2425 secs 9273239 markings, 10574897 edges, 2921 markings/sec, 2430 secs 9286840 markings, 10590637 edges, 2720 markings/sec, 2435 secs 9300118 markings, 10605858 edges, 2656 markings/sec, 2440 secs 9313626 markings, 10621337 edges, 2702 markings/sec, 2445 secs 9327432 markings, 10637254 edges, 2761 markings/sec, 2450 secs 9340431 markings, 10651832 edges, 2600 markings/sec, 2455 secs 9353741 markings, 10666688 edges, 2662 markings/sec, 2460 secs 9367242 markings, 10681648 edges, 2700 markings/sec, 2465 secs 9381055 markings, 10697170 edges, 2763 markings/sec, 2470 secs 9394591 markings, 10712294 edges, 2707 markings/sec, 2475 secs 9408590 markings, 10728151 edges, 2800 markings/sec, 2480 secs 9422050 markings, 10743126 edges, 2692 markings/sec, 2485 secs 9435612 markings, 10758391 edges, 2712 markings/sec, 2490 secs 9449032 markings, 10773330 edges, 2684 markings/sec, 2495 secs 9462863 markings, 10789015 edges, 2766 markings/sec, 2500 secs 9476574 markings, 10804461 edges, 2742 markings/sec, 2505 secs 9489675 markings, 10819061 edges, 2620 markings/sec, 2510 secs 9503072 markings, 10834271 edges, 2679 markings/sec, 2515 secs 9516474 markings, 10849446 edges, 2680 markings/sec, 2520 secs 9529709 markings, 10864290 edges, 2647 markings/sec, 2525 secs 9543447 markings, 10879665 edges, 2748 markings/sec, 2530 secs 9556985 markings, 10894869 edges, 2708 markings/sec, 2535 secs 9570395 markings, 10909917 edges, 2682 markings/sec, 2540 secs 9583785 markings, 10924998 edges, 2678 markings/sec, 2545 secs 9597341 markings, 10940229 edges, 2711 markings/sec, 2550 secs 9611012 markings, 10955551 edges, 2734 markings/sec, 2555 secs 9624768 markings, 10971058 edges, 2751 markings/sec, 2560 secs 9638886 markings, 10987154 edges, 2824 markings/sec, 2565 secs 9652425 markings, 11002331 edges, 2708 markings/sec, 2570 secs 9666521 markings, 11018297 edges, 2819 markings/sec, 2575 secs 9680315 markings, 11033885 edges, 2759 markings/sec, 2580 secs 9694547 markings, 11050235 edges, 2846 markings/sec, 2585 secs 9708187 markings, 11065557 edges, 2728 markings/sec, 2590 secs 9721664 markings, 11080714 edges, 2695 markings/sec, 2595 secs 9735227 markings, 11095937 edges, 2713 markings/sec, 2600 secs 9749102 markings, 11111631 edges, 2775 markings/sec, 2605 secs 9763341 markings, 11127796 edges, 2848 markings/sec, 2610 secs 9776957 markings, 11143123 edges, 2723 markings/sec, 2615 secs 9791055 markings, 11159408 edges, 2820 markings/sec, 2620 secs 9804715 markings, 11175059 edges, 2732 markings/sec, 2625 secs 9818405 markings, 11190863 edges, 2738 markings/sec, 2630 secs 9832114 markings, 11206650 edges, 2742 markings/sec, 2635 secs 9845533 markings, 11221951 edges, 2684 markings/sec, 2640 secs 9859283 markings, 11237863 edges, 2750 markings/sec, 2645 secs 9872881 markings, 11253394 edges, 2720 markings/sec, 2650 secs 9886388 markings, 11268984 edges, 2701 markings/sec, 2655 secs 9899727 markings, 11284089 edges, 2668 markings/sec, 2660 secs 9913238 markings, 11299642 edges, 2702 markings/sec, 2665 secs 9926527 markings, 11314947 edges, 2658 markings/sec, 2670 secs 9940029 markings, 11330440 edges, 2700 markings/sec, 2675 secs 9953225 markings, 11345440 edges, 2639 markings/sec, 2680 secs 9966806 markings, 11361092 edges, 2716 markings/sec, 2685 secs 9980158 markings, 11376378 edges, 2670 markings/sec, 2690 secs 9993705 markings, 11391979 edges, 2709 markings/sec, 2695 secs 10006937 markings, 11406850 edges, 2646 markings/sec, 2700 secs 10020690 markings, 11422537 edges, 2751 markings/sec, 2705 secs 10034256 markings, 11438006 edges, 2713 markings/sec, 2710 secs 10047755 markings, 11453454 edges, 2700 markings/sec, 2715 secs 10061039 markings, 11468668 edges, 2657 markings/sec, 2720 secs 10074561 markings, 11484282 edges, 2704 markings/sec, 2725 secs 10088333 markings, 11500230 edges, 2754 markings/sec, 2730 secs 10101730 markings, 11515547 edges, 2679 markings/sec, 2735 secs 10115875 markings, 11532016 edges, 2829 markings/sec, 2740 secs 10130066 markings, 11548597 edges, 2838 markings/sec, 2745 secs 10144376 markings, 11565368 edges, 2862 markings/sec, 2750 secs 10157628 markings, 11580420 edges, 2650 markings/sec, 2755 secs 10171067 markings, 11595855 edges, 2688 markings/sec, 2760 secs 10184459 markings, 11611226 edges, 2678 markings/sec, 2765 secs 10197709 markings, 11626279 edges, 2650 markings/sec, 2770 secs 10211922 markings, 11643035 edges, 2843 markings/sec, 2775 secs 10225374 markings, 11658495 edges, 2690 markings/sec, 2780 secs 10239380 markings, 11674677 edges, 2801 markings/sec, 2785 secs 10252814 markings, 11690047 edges, 2687 markings/sec, 2790 secs 10266284 markings, 11705478 edges, 2694 markings/sec, 2795 secs 10279971 markings, 11721176 edges, 2737 markings/sec, 2800 secs 10293631 markings, 11736873 edges, 2732 markings/sec, 2805 secs 10307209 markings, 11752465 edges, 2716 markings/sec, 2810 secs 10321171 markings, 11768873 edges, 2792 markings/sec, 2815 secs 10335182 markings, 11784796 edges, 2802 markings/sec, 2820 secs 10355934 markings, 11808136 edges, 4150 markings/sec, 2825 secs 10377519 markings, 11832791 edges, 4317 markings/sec, 2830 secs 10398531 markings, 11856588 edges, 4202 markings/sec, 2835 secs 10419835 markings, 11880811 edges, 4261 markings/sec, 2840 secs 10442023 markings, 11905635 edges, 4438 markings/sec, 2845 secs 10463295 markings, 11929812 edges, 4254 markings/sec, 2850 secs 10483894 markings, 11952961 edges, 4120 markings/sec, 2855 secs 10505023 markings, 11976932 edges, 4226 markings/sec, 2860 secs 10526266 markings, 12000774 edges, 4249 markings/sec, 2865 secs 10548053 markings, 12025361 edges, 4357 markings/sec, 2870 secs 10569051 markings, 12049041 edges, 4200 markings/sec, 2875 secs 10590110 markings, 12073024 edges, 4212 markings/sec, 2880 secs 10611437 markings, 12097310 edges, 4265 markings/sec, 2885 secs 10633081 markings, 12122180 edges, 4329 markings/sec, 2890 secs 10654158 markings, 12146121 edges, 4215 markings/sec, 2895 secs 10675380 markings, 12170253 edges, 4244 markings/sec, 2900 secs 10695878 markings, 12193188 edges, 4100 markings/sec, 2905 secs 10716505 markings, 12216584 edges, 4125 markings/sec, 2910 secs 10737597 markings, 12240206 edges, 4218 markings/sec, 2915 secs 10758565 markings, 12263883 edges, 4194 markings/sec, 2920 secs 10779940 markings, 12287737 edges, 4275 markings/sec, 2925 secs 10801350 markings, 12311682 edges, 4282 markings/sec, 2930 secs 10822329 markings, 12335400 edges, 4196 markings/sec, 2935 secs 10843444 markings, 12359386 edges, 4223 markings/sec, 2940 secs 10864413 markings, 12383056 edges, 4194 markings/sec, 2945 secs 10885375 markings, 12406672 edges, 4192 markings/sec, 2950 secs 10906443 markings, 12430287 edges, 4214 markings/sec, 2955 secs 10927679 markings, 12454644 edges, 4247 markings/sec, 2960 secs 10948219 markings, 12477671 edges, 4108 markings/sec, 2965 secs 10968788 markings, 12500740 edges, 4114 markings/sec, 2970 secs 10989778 markings, 12524414 edges, 4198 markings/sec, 2975 secs 11010990 markings, 12548793 edges, 4242 markings/sec, 2980 secs 11032137 markings, 12572663 edges, 4229 markings/sec, 2985 secs 11052392 markings, 12595550 edges, 4051 markings/sec, 2990 secs 11073185 markings, 12619240 edges, 4159 markings/sec, 2995 secs 11094177 markings, 12642842 edges, 4198 markings/sec, 3000 secs 11114719 markings, 12666062 edges, 4108 markings/sec, 3005 secs 11134843 markings, 12688880 edges, 4025 markings/sec, 3010 secs 11155369 markings, 12712214 edges, 4105 markings/sec, 3015 secs 11175897 markings, 12735527 edges, 4106 markings/sec, 3020 secs 11196599 markings, 12759031 edges, 4140 markings/sec, 3025 secs 11217222 markings, 12782427 edges, 4125 markings/sec, 3030 secs 11236854 markings, 12804624 edges, 3926 markings/sec, 3035 secs 11256680 markings, 12827152 edges, 3965 markings/sec, 3040 secs 11276624 markings, 12849656 edges, 3989 markings/sec, 3045 secs 11296874 markings, 12872703 edges, 4050 markings/sec, 3050 secs 11316661 markings, 12894793 edges, 3957 markings/sec, 3055 secs 11337751 markings, 12918659 edges, 4218 markings/sec, 3060 secs 11358603 markings, 12942214 edges, 4170 markings/sec, 3065 secs 11380337 markings, 12966520 edges, 4347 markings/sec, 3070 secs 11400617 markings, 12989332 edges, 4056 markings/sec, 3075 secs 11421722 markings, 13013103 edges, 4221 markings/sec, 3080 secs 11440457 markings, 13034510 edges, 3747 markings/sec, 3085 secs 11453243 markings, 13049109 edges, 2557 markings/sec, 3090 secs 11456814 markings, 13053163 edges, 714 markings/sec, 3095 secs 11459972 markings, 13056810 edges, 632 markings/sec, 3100 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="DLCflexbar-PT-5b"
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 DLCflexbar-PT-5b, 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-155234404700246"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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