Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599600008.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ARMCacheCoherence-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599600008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 6.6K Feb 25 21:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 21:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 21:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 21:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 21:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 163K Feb 25 21:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 21:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 21:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 14M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678719071386

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ARMCacheCoherence-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 14:51:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 14:51:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 14:51:14] [INFO ] Load time of PNML (sax parser for PT used): 864 ms
[2023-03-13 14:51:14] [INFO ] Transformed 87 places.
[2023-03-13 14:51:14] [INFO ] Transformed 33676 transitions.
[2023-03-13 14:51:14] [INFO ] Found NUPN structural information;
[2023-03-13 14:51:14] [INFO ] Parsed PT model containing 87 places and 33676 transitions and 246935 arcs in 1104 ms.
[2023-03-13 14:51:15] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 87 places, 33676 transitions and 246935 arcs took 246 ms.
Total runtime 1388 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ARMCacheCoherence (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 87 places, 33676 transitions, 246935 arcs.
AT ITER 0 NEW BEST:: SOT 2663961 SOS 2595482 HAS SOPS 2560318 HAS SOUS 60865 HAS SOUPS 60701 WITH SCORE 63296.482
AT ITER 1 NEW BEST:: SOT 2663961 SOS 2595482 HAS SOPS 2560318 HAS SOUS 60851 HAS SOUPS 60687 WITH SCORE 63282.482
AT ITER 3 NEW BEST:: SOT 2645354 SOS 2576942 HAS SOPS 2541778 HAS SOUS 60436 HAS SOUPS 60272 WITH SCORE 62848.942
AT ITER 4 NEW BEST:: SOT 2533631 SOS 2466266 HAS SOPS 2430071 HAS SOUS 59152 HAS SOUPS 58948 WITH SCORE 61414.266
AT ITER 5 NEW BEST:: SOT 2494849 SOS 2427480 HAS SOPS 2391221 HAS SOUS 58202 HAS SOUPS 57998 WITH SCORE 60425.48
AT ITER 6 NEW BEST:: SOT 2495029 SOS 2427674 HAS SOPS 2391460 HAS SOUS 57621 HAS SOUPS 57421 WITH SCORE 59848.674
AT ITER 7 NEW BEST:: SOT 2495402 SOS 2427977 HAS SOPS 2391763 HAS SOUS 56324 HAS SOUPS 56124 WITH SCORE 58551.977
AT ITER 12 NEW BEST:: SOT 2495440 SOS 2428038 HAS SOPS 2391764 HAS SOUS 56221 HAS SOUPS 56021 WITH SCORE 58449.038
AT ITER 13 NEW BEST:: SOT 2495437 SOS 2427912 HAS SOPS 2391398 HAS SOUS 55984 HAS SOUPS 55784 WITH SCORE 58211.912
AT ITER 16 NEW BEST:: SOT 2495389 SOS 2427864 HAS SOPS 2391350 HAS SOUS 55941 HAS SOUPS 55741 WITH SCORE 58168.864
AT ITER 17 NEW BEST:: SOT 2495392 SOS 2427159 HAS SOPS 2368607 HAS SOUS 55937 HAS SOUPS 55734 WITH SCORE 58161.159
AT ITER 18 NEW BEST:: SOT 2495362 SOS 2427117 HAS SOPS 2368559 HAS SOUS 55907 HAS SOUPS 55704 WITH SCORE 58131.117
AT ITER 19 NEW BEST:: SOT 2495397 SOS 2427108 HAS SOPS 2368530 HAS SOUS 55248 HAS SOUPS 55045 WITH SCORE 57472.108
AT ITER 20 NEW BEST:: SOT 2495711 SOS 2427918 HAS SOPS 2369146 HAS SOUS 53804 HAS SOUPS 53615 WITH SCORE 56042.918
AT ITER 22 NEW BEST:: SOT 2509104 SOS 2435621 HAS SOPS 2382532 HAS SOUS 48756 HAS SOUPS 48585 WITH SCORE 51020.621
AT ITER 23 NEW BEST:: SOT 2495582 SOS 2422162 HAS SOPS 2369073 HAS SOUS 48623 HAS SOUPS 48452 WITH SCORE 50874.162
AT ITER 25 NEW BEST:: SOT 2499178 SOS 2425327 HAS SOPS 2371950 HAS SOUS 47992 HAS SOUPS 47821 WITH SCORE 50246.327
AT ITER 31 NEW BEST:: SOT 2494653 SOS 2420651 HAS SOPS 2367166 HAS SOUS 47479 HAS SOUPS 47304 WITH SCORE 49724.651
AT ITER 33 NEW BEST:: SOT 2494653 SOS 2399820 HAS SOPS 2371608 HAS SOUS 47429 HAS SOUPS 47269 WITH SCORE 49668.82
AT ITER 34 NEW BEST:: SOT 2494649 SOS 2399816 HAS SOPS 2371604 HAS SOUS 47426 HAS SOUPS 47266 WITH SCORE 49665.816
AT ITER 36 NEW BEST:: SOT 2494521 SOS 2399718 HAS SOPS 2371506 HAS SOUS 47318 HAS SOUPS 47158 WITH SCORE 49557.718
AT ITER 39 NEW BEST:: SOT 2494529 SOS 2399307 HAS SOPS 2370855 HAS SOUS 47161 HAS SOUPS 47001 WITH SCORE 49400.307
AT ITER 41 NEW BEST:: SOT 2472426 SOS 2377204 HAS SOPS 2348752 HAS SOUS 46563 HAS SOUPS 46403 WITH SCORE 48780.204
AT ITER 42 NEW BEST:: SOT 2472425 SOS 2377197 HAS SOPS 2348745 HAS SOUS 46558 HAS SOUPS 46398 WITH SCORE 48775.197
AT ITER 44 NEW BEST:: SOT 2472330 SOS 2364709 HAS SOPS 2323263 HAS SOUS 45566 HAS SOUPS 45331 WITH SCORE 47695.709
AT ITER 46 NEW BEST:: SOT 2482384 SOS 2374618 HAS SOPS 2332983 HAS SOUS 45271 HAS SOUPS 45036 WITH SCORE 47410.618
AT ITER 47 NEW BEST:: SOT 2482702 SOS 2374936 HAS SOPS 2333301 HAS SOUS 44192 HAS SOUPS 43957 WITH SCORE 46331.936
AT ITER 48 NEW BEST:: SOT 2480834 SOS 2372837 HAS SOPS 2331394 HAS SOUS 44090 HAS SOUPS 43871 WITH SCORE 46243.837
AT ITER 50 NEW BEST:: SOT 2480865 SOS 2370392 HAS SOPS 2325215 HAS SOUS 43322 HAS SOUPS 43103 WITH SCORE 45473.392
AT ITER 51 NEW BEST:: SOT 2451877 SOS 2341428 HAS SOPS 2296275 HAS SOUS 42699 HAS SOUPS 42484 WITH SCORE 44825.428
AT ITER 52 NEW BEST:: SOT 2411218 SOS 2300809 HAS SOPS 2256035 HAS SOUS 41104 HAS SOUPS 40878 WITH SCORE 43178.809
AT ITER 54 NEW BEST:: SOT 2411191 SOS 2300670 HAS SOPS 2255911 HAS SOUS 41064 HAS SOUPS 40838 WITH SCORE 43138.67
AT ITER 55 NEW BEST:: SOT 2411209 SOS 2300540 HAS SOPS 2255841 HAS SOUS 41043 HAS SOUPS 40826 WITH SCORE 43126.54
AT ITER 59 NEW BEST:: SOT 2415098 SOS 2304416 HAS SOPS 2259658 HAS SOUS 40933 HAS SOUPS 40726 WITH SCORE 43030.416
AT ITER 60 NEW BEST:: SOT 2417719 SOS 2307037 HAS SOPS 2262279 HAS SOUS 40763 HAS SOUPS 40556 WITH SCORE 42863.037
AT ITER 61 NEW BEST:: SOT 2417869 SOS 2291022 HAS SOPS 2228439 HAS SOUS 39054 HAS SOUPS 38841 WITH SCORE 41132.022
AT ITER 64 NEW BEST:: SOT 2417885 SOS 2291038 HAS SOPS 2228455 HAS SOUS 39038 HAS SOUPS 38825 WITH SCORE 41116.038
AT ITER 65 NEW BEST:: SOT 2597474 SOS 2452608 HAS SOPS 2399800 HAS SOUS 38679 HAS SOUPS 38500 WITH SCORE 40952.608
AT ITER 67 NEW BEST:: SOT 2491193 SOS 2354134 HAS SOPS 2298615 HAS SOUS 37334 HAS SOUPS 37008 WITH SCORE 39362.134
AT ITER 68 NEW BEST:: SOT 2492004 SOS 2340582 HAS SOPS 2281023 HAS SOUS 36842 HAS SOUPS 36516 WITH SCORE 38856.582
AT ITER 70 NEW BEST:: SOT 2491930 SOS 2340401 HAS SOPS 2280761 HAS SOUS 36776 HAS SOUPS 36450 WITH SCORE 38790.401
AT ITER 71 NEW BEST:: SOT 2432057 SOS 2280573 HAS SOPS 2220985 HAS SOUS 35625 HAS SOUPS 35291 WITH SCORE 37571.573
AT ITER 74 NEW BEST:: SOT 2432009 SOS 2280543 HAS SOPS 2220955 HAS SOUS 35625 HAS SOUPS 35291 WITH SCORE 37571.543
AT ITER 75 NEW BEST:: SOT 2432008 SOS 2280536 HAS SOPS 2220960 HAS SOUS 35608 HAS SOUPS 35274 WITH SCORE 37554.536
AT ITER 78 NEW BEST:: SOT 2431955 SOS 2280483 HAS SOPS 2220907 HAS SOUS 35596 HAS SOUPS 35262 WITH SCORE 37542.483
AT ITER 80 NEW BEST:: SOT 2431963 SOS 2280514 HAS SOPS 2220938 HAS SOUS 35468 HAS SOUPS 35134 WITH SCORE 37414.514
AT ITER 84 NEW BEST:: SOT 2170668 SOS 2019219 HAS SOPS 1959643 HAS SOUS 30127 HAS SOUPS 29793 WITH SCORE 31812.219
AT ITER 86 NEW BEST:: SOT 2172951 SOS 2018043 HAS SOPS 1960271 HAS SOUS 29765 HAS SOUPS 29473 WITH SCORE 31491.043
AT ITER 87 NEW BEST:: SOT 2172805 SOS 2017835 HAS SOPS 1960051 HAS SOUS 29752 HAS SOUPS 29460 WITH SCORE 31477.835
AT ITER 88 NEW BEST:: SOT 2176053 SOS 2018812 HAS SOPS 1959818 HAS SOUS 29633 HAS SOUPS 29341 WITH SCORE 31359.812
AT ITER 89 NEW BEST:: SOT 2176073 SOS 2018888 HAS SOPS 1959894 HAS SOUS 29623 HAS SOUPS 29331 WITH SCORE 31349.888
AT ITER 90 NEW BEST:: SOT 2176073 SOS 2018900 HAS SOPS 1959906 HAS SOUS 29501 HAS SOUPS 29209 WITH SCORE 31227.9
AT ITER 92 NEW BEST:: SOT 2176045 SOS 2018872 HAS SOPS 1959866 HAS SOUS 29489 HAS SOUPS 29185 WITH SCORE 31203.872
AT ITER 93 NEW BEST:: SOT 2175437 SOS 2018264 HAS SOPS 1959258 HAS SOUS 29353 HAS SOUPS 29049 WITH SCORE 31067.264
AT ITER 97 NEW BEST:: SOT 2175367 SOS 2018194 HAS SOPS 1959188 HAS SOUS 29321 HAS SOUPS 29017 WITH SCORE 31035.194
AT ITER 98 NEW BEST:: SOT 2175172 SOS 2018254 HAS SOPS 1959152 HAS SOUS 29303 HAS SOUPS 28979 WITH SCORE 30997.254
AT ITER 102 NEW BEST:: SOT 2175163 SOS 2018245 HAS SOPS 1959134 HAS SOUS 29294 HAS SOUPS 28961 WITH SCORE 30979.245
AT ITER 107 NEW BEST:: SOT 2175164 SOS 2017625 HAS SOPS 1958206 HAS SOUS 29283 HAS SOUPS 28950 WITH SCORE 30967.625
AT ITER 110 NEW BEST:: SOT 2176804 SOS 2019199 HAS SOPS 1959782 HAS SOUS 28335 HAS SOUPS 28002 WITH SCORE 30021.199
AT ITER 111 NEW BEST:: SOT 2176731 SOS 2019146 HAS SOPS 1959729 HAS SOUS 28240 HAS SOUPS 27907 WITH SCORE 29926.146
AT ITER 112 NEW BEST:: SOT 2176764 SOS 2019179 HAS SOPS 1959762 HAS SOUS 28235 HAS SOUPS 27902 WITH SCORE 29921.179
AT ITER 113 NEW BEST:: SOT 2176651 SOS 2019066 HAS SOPS 1959649 HAS SOUS 28226 HAS SOUPS 27893 WITH SCORE 29912.066
AT ITER 117 NEW BEST:: SOT 2176648 SOS 2019063 HAS SOPS 1959646 HAS SOUS 28226 HAS SOUPS 27893 WITH SCORE 29912.063000000002
AT ITER 120 NEW BEST:: SOT 2364247 SOS 2159237 HAS SOPS 2124998 HAS SOUS 26581 HAS SOUPS 26271 WITH SCORE 28430.237
AT ITER 126 NEW BEST:: SOT 2364315 SOS 2158581 HAS SOPS 2124220 HAS SOUS 26522 HAS SOUPS 26212 WITH SCORE 28370.581
AT ITER 127 NEW BEST:: SOT 2364223 SOS 2158362 HAS SOPS 2123941 HAS SOUS 26464 HAS SOUPS 26154 WITH SCORE 28312.362
AT ITER 128 NEW BEST:: SOT 2364194 SOS 2158333 HAS SOPS 2123912 HAS SOUS 26430 HAS SOUPS 26120 WITH SCORE 28278.333
AT ITER 129 NEW BEST:: SOT 2378539 SOS 2172678 HAS SOPS 2138257 HAS SOUS 26039 HAS SOUPS 25729 WITH SCORE 27901.678
AT ITER 134 NEW BEST:: SOT 2378168 SOS 2172321 HAS SOPS 2137900 HAS SOUS 26001 HAS SOUPS 25691 WITH SCORE 27863.321
AT ITER 137 NEW BEST:: SOT 2378172 SOS 2172115 HAS SOPS 2137646 HAS SOUS 25989 HAS SOUPS 25679 WITH SCORE 27851.115
AT ITER 138 NEW BEST:: SOT 2403305 SOS 2194190 HAS SOPS 2156433 HAS SOUS 25427 HAS SOUPS 25036 WITH SCORE 27230.19
AT ITER 139 NEW BEST:: SOT 2403812 SOS 2171590 HAS SOPS 2129235 HAS SOUS 25084 HAS SOUPS 24693 WITH SCORE 26864.59
AT ITER 141 NEW BEST:: SOT 2403850 SOS 2171618 HAS SOPS 2129263 HAS SOUS 25040 HAS SOUPS 24649 WITH SCORE 26820.618
AT ITER 142 NEW BEST:: SOT 2403965 SOS 2171555 HAS SOPS 2129160 HAS SOUS 24925 HAS SOUPS 24556 WITH SCORE 26727.555
AT ITER 146 NEW BEST:: SOT 2404059 SOS 2171637 HAS SOPS 2129242 HAS SOUS 24829 HAS SOUPS 24460 WITH SCORE 26631.637
AT ITER 150 NEW BEST:: SOT 2404818 SOS 2171373 HAS SOPS 2128314 HAS SOUS 24096 HAS SOUPS 23727 WITH SCORE 25898.373
AT ITER 151 NEW BEST:: SOT 2404756 SOS 2171254 HAS SOPS 2128195 HAS SOUS 24032 HAS SOUPS 23663 WITH SCORE 25834.254
AT ITER 152 NEW BEST:: SOT 2409509 SOS 2175999 HAS SOPS 2133011 HAS SOUS 23833 HAS SOUPS 23464 WITH SCORE 25639.999
AT ITER 154 NEW BEST:: SOT 2409481 SOS 2175977 HAS SOPS 2133022 HAS SOUS 23372 HAS SOUPS 23003 WITH SCORE 25178.977
AT ITER 156 NEW BEST:: SOT 2384283 SOS 2151701 HAS SOPS 2110716 HAS SOUS 23284 HAS SOUPS 22996 WITH SCORE 25147.701
AT ITER 165 NEW BEST:: SOT 2384364 SOS 2151764 HAS SOPS 2110779 HAS SOUS 23193 HAS SOUPS 22905 WITH SCORE 25056.764
AT ITER 166 NEW BEST:: SOT 2392538 SOS 2159206 HAS SOPS 2116509 HAS SOUS 23071 HAS SOUPS 22706 WITH SCORE 24865.206
AT ITER 167 NEW BEST:: SOT 2420668 SOS 2145754 HAS SOPS 2091976 HAS SOUS 22933 HAS SOUPS 22553 WITH SCORE 24698.754
AT ITER 170 NEW BEST:: SOT 2423979 SOS 2149063 HAS SOPS 2095320 HAS SOUS 22895 HAS SOUPS 22516 WITH SCORE 24665.063000000002
AT ITER 175 NEW BEST:: SOT 2313130 SOS 2039919 HAS SOPS 1987568 HAS SOUS 21489 HAS SOUPS 21170 WITH SCORE 23209.919
AT ITER 176 NEW BEST:: SOT 2313130 SOS 2038173 HAS SOPS 1985507 HAS SOUS 21435 HAS SOUPS 21116 WITH SCORE 23154.173
AT ITER 184 NEW BEST:: SOT 2315732 SOS 2040792 HAS SOPS 1988130 HAS SOUS 21212 HAS SOUPS 20894 WITH SCORE 22934.792
AT ITER 187 NEW BEST:: SOT 2315746 SOS 1930610 HAS SOPS 1856768 HAS SOUS 21233 HAS SOUPS 20915 WITH SCORE 22845.61
AT ITER 188 NEW BEST:: SOT 2315792 SOS 1930550 HAS SOPS 1856762 HAS SOUS 21186 HAS SOUPS 20868 WITH SCORE 22798.55
AT ITER 197 NEW BEST:: SOT 2316320 SOS 1930846 HAS SOPS 1857178 HAS SOUS 21061 HAS SOUPS 20746 WITH SCORE 22676.846
AT ITER 200 NEW BEST:: SOT 2316343 SOS 1921667 HAS SOPS 1846149 HAS SOUS 21034 HAS SOUPS 20719 WITH SCORE 22640.667
AT ITER 204 NEW BEST:: SOT 2316929 SOS 1921793 HAS SOPS 1846527 HAS SOUS 20737 HAS SOUPS 20428 WITH SCORE 22349.793
AT ITER 207 NEW BEST:: SOT 2316690 SOS 1921560 HAS SOPS 1846300 HAS SOUS 20730 HAS SOUPS 20421 WITH SCORE 22342.56
AT ITER 210 NEW BEST:: SOT 2306366 SOS 1910325 HAS SOPS 1833303 HAS SOUS 19503 HAS SOUPS 19124 WITH SCORE 21034.325
AT ITER 212 NEW BEST:: SOT 2306374 SOS 1910357 HAS SOPS 1833347 HAS SOUS 19459 HAS SOUPS 19080 WITH SCORE 20990.357
AT ITER 216 NEW BEST:: SOT 2306390 SOS 1910134 HAS SOPS 1833064 HAS SOUS 19410 HAS SOUPS 19031 WITH SCORE 20941.134
AT ITER 218 NEW BEST:: SOT 2306390 SOS 1910134 HAS SOPS 1833064 HAS SOUS 19394 HAS SOUPS 19015 WITH SCORE 20925.134
AT ITER 219 NEW BEST:: SOT 2306428 SOS 1909909 HAS SOPS 1832834 HAS SOUS 19253 HAS SOUPS 18907 WITH SCORE 20816.909
AT ITER 220 NEW BEST:: SOT 2309398 SOS 1912760 HAS SOPS 1835647 HAS SOUS 18977 HAS SOUPS 18631 WITH SCORE 20543.76
AT ITER 225 NEW BEST:: SOT 2309616 SOS 1823469 HAS SOPS 1807083 HAS SOUS 18053 HAS SOUPS 17760 WITH SCORE 19583.469
AT ITER 229 NEW BEST:: SOT 2309550 SOS 1823669 HAS SOPS 1807283 HAS SOUS 17991 HAS SOUPS 17698 WITH SCORE 19521.669
AT ITER 235 NEW BEST:: SOT 2285887 SOS 1826673 HAS SOPS 1816604 HAS SOUS 17954 HAS SOUPS 17679 WITH SCORE 19505.673
AT ITER 238 NEW BEST:: SOT 2285777 SOS 1826446 HAS SOPS 1816408 HAS SOUS 17796 HAS SOUPS 17521 WITH SCORE 19347.446
AT ITER 239 NEW BEST:: SOT 2283484 SOS 1824215 HAS SOPS 1814192 HAS SOUS 17745 HAS SOUPS 17470 WITH SCORE 19294.215
AT ITER 241 NEW BEST:: SOT 2129652 SOS 1710394 HAS SOPS 1700557 HAS SOUS 15579 HAS SOUPS 15337 WITH SCORE 17047.394
AT ITER 252 NEW BEST:: SOT 2129639 SOS 1710355 HAS SOPS 1700466 HAS SOUS 15528 HAS SOUPS 15286 WITH SCORE 16996.355
AT ITER 262 NEW BEST:: SOT 2127385 SOS 1727395 HAS SOPS 1717922 HAS SOUS 15487 HAS SOUPS 15241 WITH SCORE 16968.395
AT ITER 266 NEW BEST:: SOT 2127343 SOS 1727286 HAS SOPS 1717861 HAS SOUS 15431 HAS SOUPS 15185 WITH SCORE 16912.286
AT ITER 277 NEW BEST:: SOT 2127653 SOS 1727544 HAS SOPS 1718155 HAS SOUS 15207 HAS SOUPS 14967 WITH SCORE 16694.544
AT ITER 278 NEW BEST:: SOT 2127510 SOS 1727467 HAS SOPS 1718025 HAS SOUS 15172 HAS SOUPS 14932 WITH SCORE 16659.467
AT ITER 293 NEW BEST:: SOT 2127505 SOS 1727460 HAS SOPS 1718018 HAS SOUS 15168 HAS SOUPS 14928 WITH SCORE 16655.46
AT ITER 298 NEW BEST:: SOT 2127486 SOS 1727433 HAS SOPS 1717985 HAS SOUS 15115 HAS SOUPS 14875 WITH SCORE 16602.433
AT ITER 299 NEW BEST:: SOT 2126833 SOS 1726735 HAS SOPS 1717197 HAS SOUS 14720 HAS SOUPS 14480 WITH SCORE 16206.735
AT ITER 300 NEW BEST:: SOT 2126833 SOS 1726746 HAS SOPS 1717208 HAS SOUS 14712 HAS SOUPS 14472 WITH SCORE 16198.746
AT ITER 301 NEW BEST:: SOT 2111282 SOS 1711216 HAS SOPS 1701687 HAS SOUS 14683 HAS SOUPS 14452 WITH SCORE 16163.216
AT ITER 317 NEW BEST:: SOT 2111238 SOS 1711172 HAS SOPS 1701643 HAS SOUS 14660 HAS SOUPS 14429 WITH SCORE 16140.172
AT ITER 319 NEW BEST:: SOT 2111224 SOS 1711141 HAS SOPS 1701560 HAS SOUS 14646 HAS SOUPS 14415 WITH SCORE 16126.141
AT ITER 325 NEW BEST:: SOT 2109760 SOS 1717933 HAS SOPS 1700402 HAS SOUS 14613 HAS SOUPS 14355 WITH SCORE 16072.933
AT ITER 336 NEW BEST:: SOT 2109754 SOS 1717927 HAS SOPS 1700396 HAS SOUS 14613 HAS SOUPS 14355 WITH SCORE 16072.927
AT ITER 356 NEW BEST:: SOT 2109783 SOS 1717956 HAS SOPS 1700425 HAS SOUS 14592 HAS SOUPS 14334 WITH SCORE 16051.956
AT ITER 362 NEW BEST:: SOT 2109927 SOS 1711355 HAS SOPS 1690458 HAS SOUS 14366 HAS SOUPS 14108 WITH SCORE 15819.355
AT ITER 363 NEW BEST:: SOT 2109927 SOS 1711355 HAS SOPS 1690449 HAS SOUS 14360 HAS SOUPS 14102 WITH SCORE 15813.355
AT ITER 369 NEW BEST:: SOT 2111720 SOS 1713153 HAS SOPS 1692247 HAS SOUS 14241 HAS SOUPS 13986 WITH SCORE 15699.153
AT ITER 370 NEW BEST:: SOT 2111730 SOS 1713153 HAS SOPS 1692247 HAS SOUS 14211 HAS SOUPS 13956 WITH SCORE 15669.153
AT ITER 376 NEW BEST:: SOT 2111791 SOS 1713261 HAS SOPS 1692355 HAS SOUS 14202 HAS SOUPS 13947 WITH SCORE 15660.261
AT ITER 390 NEW BEST:: SOT 2111791 SOS 1713239 HAS SOPS 1692289 HAS SOUS 14180 HAS SOUPS 13925 WITH SCORE 15638.239
AT ITER 396 NEW BEST:: SOT 2111810 SOS 1712127 HAS SOPS 1692308 HAS SOUS 14176 HAS SOUPS 13924 WITH SCORE 15636.127
AT ITER 397 NEW BEST:: SOT 2111785 SOS 1712166 HAS SOPS 1692299 HAS SOUS 14158 HAS SOUPS 13906 WITH SCORE 15618.166
AT ITER 406 NEW BEST:: SOT 2111714 SOS 1712081 HAS SOPS 1692168 HAS SOUS 14139 HAS SOUPS 13887 WITH SCORE 15599.081
AT ITER 407 NEW BEST:: SOT 2111714 SOS 1709876 HAS SOPS 1689259 HAS SOUS 14091 HAS SOUPS 13839 WITH SCORE 15548.876
AT ITER 420 NEW BEST:: SOT 2111738 SOS 1718940 HAS SOPS 1699455 HAS SOUS 13957 HAS SOUPS 13705 WITH SCORE 15423.94
AT ITER 424 NEW BEST:: SOT 2111717 SOS 1713285 HAS SOPS 1693800 HAS SOUS 13918 HAS SOUPS 13666 WITH SCORE 15379.285
AT ITER 428 NEW BEST:: SOT 2082137 SOS 1683690 HAS SOPS 1664211 HAS SOUS 13838 HAS SOUPS 13580 WITH SCORE 15263.69
AT ITER 430 NEW BEST:: SOT 2082063 SOS 1683572 HAS SOPS 1664093 HAS SOUS 13817 HAS SOUPS 13559 WITH SCORE 15242.572
AT ITER 464 NEW BEST:: SOT 2082067 SOS 1656004 HAS SOPS 1636525 HAS SOUS 13819 HAS SOUPS 13561 WITH SCORE 15217.004
AT ITER 479 NEW BEST:: SOT 2077372 SOS 1651309 HAS SOPS 1631830 HAS SOUS 13699 HAS SOUPS 13441 WITH SCORE 15092.309
AT ITER 486 NEW BEST:: SOT 2077370 SOS 1651888 HAS SOPS 1632409 HAS SOUS 13698 HAS SOUPS 13440 WITH SCORE 15091.888
AT ITER 490 NEW BEST:: SOT 2077374 SOS 1651841 HAS SOPS 1632274 HAS SOUS 13691 HAS SOUPS 13433 WITH SCORE 15084.841
AT ITER 492 NEW BEST:: SOT 2075866 SOS 1650335 HAS SOPS 1630768 HAS SOUS 13225 HAS SOUPS 12967 WITH SCORE 14617.335
AT ITER 501 NEW BEST:: SOT 2075851 SOS 1646570 HAS SOPS 1626993 HAS SOUS 13215 HAS SOUPS 12957 WITH SCORE 14603.57
AT ITER 510 NEW BEST:: SOT 2075681 SOS 1646400 HAS SOPS 1626823 HAS SOUS 13145 HAS SOUPS 12887 WITH SCORE 14533.4
AT ITER 512 NEW BEST:: SOT 2075602 SOS 1646308 HAS SOPS 1626731 HAS SOUS 13141 HAS SOUPS 12883 WITH SCORE 14529.308
AT ITER 550 NEW BEST:: SOT 2082325 SOS 1653058 HAS SOPS 1633853 HAS SOUS 13049 HAS SOUPS 12818 WITH SCORE 14471.058
AT ITER 552 NEW BEST:: SOT 2082329 SOS 1651889 HAS SOPS 1632684 HAS SOUS 13045 HAS SOUPS 12814 WITH SCORE 14465.889
AT ITER 561 NEW BEST:: SOT 2081614 SOS 1651174 HAS SOPS 1631969 HAS SOUS 12807 HAS SOUPS 12576 WITH SCORE 14227.173999999999
AT ITER 563 NEW BEST:: SOT 2081256 SOS 1650815 HAS SOPS 1631748 HAS SOUS 12804 HAS SOUPS 12573 WITH SCORE 14223.815
AT ITER 570 NEW BEST:: SOT 2081252 SOS 1650803 HAS SOPS 1631738 HAS SOUS 12800 HAS SOUPS 12569 WITH SCORE 14219.803
AT ITER 571 NEW BEST:: SOT 2081527 SOS 1639429 HAS SOPS 1621203 HAS SOUS 12810 HAS SOUPS 12572 WITH SCORE 14211.429
AT ITER 587 NEW BEST:: SOT 2081534 SOS 1639435 HAS SOPS 1621209 HAS SOUS 12808 HAS SOUPS 12570 WITH SCORE 14209.435
AT ITER 591 NEW BEST:: SOT 2081536 SOS 1639436 HAS SOPS 1621204 HAS SOUS 12807 HAS SOUPS 12569 WITH SCORE 14208.436
AT ITER 597 NEW BEST:: SOT 2081382 SOS 1639311 HAS SOPS 1621190 HAS SOUS 12710 HAS SOUPS 12472 WITH SCORE 14111.311
AT ITER 605 NEW BEST:: SOT 2081247 SOS 1639340 HAS SOPS 1621130 HAS SOUS 12688 HAS SOUPS 12450 WITH SCORE 14089.34
AT ITER 607 NEW BEST:: SOT 2098456 SOS 1656555 HAS SOPS 1638345 HAS SOUS 12610 HAS SOUPS 12372 WITH SCORE 14028.555
AT ITER 609 NEW BEST:: SOT 2108741 SOS 1666594 HAS SOPS 1648582 HAS SOUS 11505 HAS SOUPS 11300 WITH SCORE 12966.594000000001
AT ITER 617 NEW BEST:: SOT 2108723 SOS 1662856 HAS SOPS 1644844 HAS SOUS 11505 HAS SOUPS 11300 WITH SCORE 12962.856
AT ITER 621 NEW BEST:: SOT 2108747 SOS 1662533 HAS SOPS 1643905 HAS SOUS 11485 HAS SOUPS 11280 WITH SCORE 12942.533
AT ITER 642 NEW BEST:: SOT 2108740 SOS 1662526 HAS SOPS 1643898 HAS SOUS 11437 HAS SOUPS 11232 WITH SCORE 12894.526
AT ITER 647 NEW BEST:: SOT 2108710 SOS 1662496 HAS SOPS 1643868 HAS SOUS 11377 HAS SOUPS 11172 WITH SCORE 12834.496
AT ITER 648 NEW BEST:: SOT 2108716 SOS 1662505 HAS SOPS 1643454 HAS SOUS 11373 HAS SOUPS 11168 WITH SCORE 12830.505000000001
AT ITER 659 NEW BEST:: SOT 2108739 SOS 1593489 HAS SOPS 1574438 HAS SOUS 11389 HAS SOUPS 11184 WITH SCORE 12777.489
AT ITER 663 NEW BEST:: SOT 2108694 SOS 1593444 HAS SOPS 1574393 HAS SOUS 11380 HAS SOUPS 11175 WITH SCORE 12768.444
AT ITER 685 NEW BEST:: SOT 2108697 SOS 1562337 HAS SOPS 1543280 HAS SOUS 11377 HAS SOUPS 11172 WITH SCORE 12734.337
AT ITER 696 NEW BEST:: SOT 2108697 SOS 1562329 HAS SOPS 1543272 HAS SOUS 11377 HAS SOUPS 11172 WITH SCORE 12734.329
AT ITER 706 NEW BEST:: SOT 2108702 SOS 1507709 HAS SOPS 1488292 HAS SOUS 11355 HAS SOUPS 11150 WITH SCORE 12657.709
AT ITER 722 NEW BEST:: SOT 2108702 SOS 1507731 HAS SOPS 1488314 HAS SOUS 11353 HAS SOUPS 11148 WITH SCORE 12655.731
AT ITER 732 NEW BEST:: SOT 2108733 SOS 1496775 HAS SOPS 1476147 HAS SOUS 11353 HAS SOUPS 11148 WITH SCORE 12644.775
AT ITER 735 NEW BEST:: SOT 2108741 SOS 1496827 HAS SOPS 1476199 HAS SOUS 11270 HAS SOUPS 11065 WITH SCORE 12561.827
AT ITER 753 NEW BEST:: SOT 2108683 SOS 1497119 HAS SOPS 1477076 HAS SOUS 11248 HAS SOUPS 11043 WITH SCORE 12540.119
AT ITER 774 NEW BEST:: SOT 2107167 SOS 1495605 HAS SOPS 1475562 HAS SOUS 11126 HAS SOUPS 10921 WITH SCORE 12416.605
AT ITER 794 NEW BEST:: SOT 2107259 SOS 1495677 HAS SOPS 1475691 HAS SOUS 11125 HAS SOUPS 10920 WITH SCORE 12415.677
AT ITER 796 NEW BEST:: SOT 2107243 SOS 1495811 HAS SOPS 1475653 HAS SOUS 11112 HAS SOUPS 10903 WITH SCORE 12398.811
AT ITER 797 NEW BEST:: SOT 2107179 SOS 1495832 HAS SOPS 1475617 HAS SOUS 11083 HAS SOUPS 10874 WITH SCORE 12369.832
AT ITER 807 NEW BEST:: SOT 2107175 SOS 1495818 HAS SOPS 1475603 HAS SOUS 11077 HAS SOUPS 10868 WITH SCORE 12363.818
AT ITER 808 NEW BEST:: SOT 2107173 SOS 1495814 HAS SOPS 1475599 HAS SOUS 11069 HAS SOUPS 10860 WITH SCORE 12355.814
AT ITER 837 NEW BEST:: SOT 2107174 SOS 1495761 HAS SOPS 1475501 HAS SOUS 11039 HAS SOUPS 10830 WITH SCORE 12325.761
AT ITER 850 NEW BEST:: SOT 2107171 SOS 1495758 HAS SOPS 1475507 HAS SOUS 11033 HAS SOUPS 10824 WITH SCORE 12319.758
AT ITER 854 NEW BEST:: SOT 2107401 SOS 1495996 HAS SOPS 1474800 HAS SOUS 10917 HAS SOUPS 10708 WITH SCORE 12203.996
AT ITER 856 NEW BEST:: SOT 2107399 SOS 1495994 HAS SOPS 1474798 HAS SOUS 10913 HAS SOUPS 10704 WITH SCORE 12199.994
AT ITER 859 NEW BEST:: SOT 2107411 SOS 1496020 HAS SOPS 1474860 HAS SOUS 10903 HAS SOUPS 10694 WITH SCORE 12190.02
AT ITER 886 NEW BEST:: SOT 2107417 SOS 1471363 HAS SOPS 1450199 HAS SOUS 10908 HAS SOUPS 10699 WITH SCORE 12170.363
AT ITER 891 NEW BEST:: SOT 2107412 SOS 1471354 HAS SOPS 1450190 HAS SOUS 10905 HAS SOUPS 10696 WITH SCORE 12167.354
AT ITER 895 NEW BEST:: SOT 2107409 SOS 1471348 HAS SOPS 1450166 HAS SOUS 10899 HAS SOUPS 10690 WITH SCORE 12161.348
AT ITER 923 NEW BEST:: SOT 2107402 SOS 1471342 HAS SOPS 1450160 HAS SOUS 10899 HAS SOUPS 10690 WITH SCORE 12161.342
AT ITER 940 NEW BEST:: SOT 2107396 SOS 1472874 HAS SOPS 1451864 HAS SOUS 10897 HAS SOUPS 10688 WITH SCORE 12160.874
AT ITER 951 NEW BEST:: SOT 2107403 SOS 1467512 HAS SOPS 1446502 HAS SOUS 10897 HAS SOUPS 10688 WITH SCORE 12155.512
AT ITER 1000 NEW BEST:: SOT 2107416 SOS 1467540 HAS SOPS 1446496 HAS SOUS 10892 HAS SOUPS 10683 WITH SCORE 12150.54
AT ITER 1038 NEW BEST:: SOT 2107416 SOS 1467504 HAS SOPS 1446494 HAS SOUS 10892 HAS SOUPS 10683 WITH SCORE 12150.504
AT ITER 1048 NEW BEST:: SOT 2105016 SOS 1465106 HAS SOPS 1444096 HAS SOUS 10892 HAS SOUPS 10683 WITH SCORE 12148.106
AT ITER 1057 NEW BEST:: SOT 2104799 SOS 1465167 HAS SOPS 1446767 HAS SOUS 10877 HAS SOUPS 10668 WITH SCORE 12133.167
AT ITER 1063 NEW BEST:: SOT 2104879 SOS 1464871 HAS SOPS 1445832 HAS SOUS 10791 HAS SOUPS 10582 WITH SCORE 12046.871
AT ITER 1096 NEW BEST:: SOT 2070294 SOS 1430286 HAS SOPS 1411250 HAS SOUS 10652 HAS SOUPS 10440 WITH SCORE 11870.286
AT ITER 1137 NEW BEST:: SOT 2070287 SOS 1430267 HAS SOPS 1411232 HAS SOUS 10643 HAS SOUPS 10432 WITH SCORE 11862.267
AT ITER 1166 NEW BEST:: SOT 2069997 SOS 1444936 HAS SOPS 1424754 HAS SOUS 10605 HAS SOUPS 10402 WITH SCORE 11846.936
AT ITER 1174 NEW BEST:: SOT 2070025 SOS 1441978 HAS SOPS 1421502 HAS SOUS 10606 HAS SOUPS 10403 WITH SCORE 11844.978
AT ITER 1189 NEW BEST:: SOT 2070027 SOS 1441975 HAS SOPS 1421364 HAS SOUS 10604 HAS SOUPS 10401 WITH SCORE 11842.975
AT ITER 1216 NEW BEST:: SOT 2070030 SOS 1441941 HAS SOPS 1421364 HAS SOUS 10601 HAS SOUPS 10399 WITH SCORE 11840.941
AT ITER 1222 NEW BEST:: SOT 2070030 SOS 1441941 HAS SOPS 1421372 HAS SOUS 10599 HAS SOUPS 10397 WITH SCORE 11838.941
AT ITER 1229 NEW BEST:: SOT 2068710 SOS 1440576 HAS SOPS 1419506 HAS SOUS 10589 HAS SOUPS 10342 WITH SCORE 11782.576000000001
AT ITER 1238 NEW BEST:: SOT 2053865 SOS 1425725 HAS SOPS 1406632 HAS SOUS 10491 HAS SOUPS 10301 WITH SCORE 11726.725
AT ITER 1241 NEW BEST:: SOT 2053845 SOS 1425689 HAS SOPS 1406584 HAS SOUS 10469 HAS SOUPS 10279 WITH SCORE 11704.689
AT ITER 1280 NEW BEST:: SOT 2053845 SOS 1425521 HAS SOPS 1406416 HAS SOUS 10451 HAS SOUPS 10261 WITH SCORE 11686.521
AT ITER 1291 NEW BEST:: SOT 2053767 SOS 1425385 HAS SOPS 1405218 HAS SOUS 10409 HAS SOUPS 10219 WITH SCORE 11644.385
AT ITER 1313 NEW BEST:: SOT 2053777 SOS 1425391 HAS SOPS 1405206 HAS SOUS 10391 HAS SOUPS 10201 WITH SCORE 11626.391
AT ITER 1314 NEW BEST:: SOT 2053777 SOS 1425388 HAS SOPS 1405221 HAS SOUS 10385 HAS SOUPS 10195 WITH SCORE 11620.387999999999
AT ITER 1334 NEW BEST:: SOT 2053777 SOS 1424899 HAS SOPS 1404744 HAS SOUS 10373 HAS SOUPS 10183 WITH SCORE 11607.899
AT ITER 1360 NEW BEST:: SOT 2053612 SOS 1424734 HAS SOPS 1404579 HAS SOUS 10298 HAS SOUPS 10108 WITH SCORE 11532.734
AT ITER 1395 NEW BEST:: SOT 2053621 SOS 1417888 HAS SOPS 1397733 HAS SOUS 10298 HAS SOUPS 10108 WITH SCORE 11525.887999999999
AT ITER 1401 NEW BEST:: SOT 2053595 SOS 1417845 HAS SOPS 1397591 HAS SOUS 10175 HAS SOUPS 9985 WITH SCORE 11402.845
AT ITER 1404 NEW BEST:: SOT 2053584 SOS 1417834 HAS SOPS 1397580 HAS SOUS 10172 HAS SOUPS 9982 WITH SCORE 11399.834
AT ITER 1410 NEW BEST:: SOT 2053612 SOS 1417828 HAS SOPS 1397574 HAS SOUS 10163 HAS SOUPS 9973 WITH SCORE 11390.828
AT ITER 1427 NEW BEST:: SOT 2053478 SOS 1417694 HAS SOPS 1397440 HAS SOUS 10087 HAS SOUPS 9897 WITH SCORE 11314.694
AT ITER 1457 NEW BEST:: SOT 2048925 SOS 1413148 HAS SOPS 1392894 HAS SOUS 9786 HAS SOUPS 9596 WITH SCORE 11009.148000000001
AT ITER 1461 NEW BEST:: SOT 2075147 SOS 1439362 HAS SOPS 1416999 HAS SOUS 9726 HAS SOUPS 9464 WITH SCORE 10903.362000000001
AT ITER 1465 NEW BEST:: SOT 2075283 SOS 1439403 HAS SOPS 1417040 HAS SOUS 9683 HAS SOUPS 9421 WITH SCORE 10860.403
AT ITER 1467 NEW BEST:: SOT 2075283 SOS 1439393 HAS SOPS 1417030 HAS SOUS 9683 HAS SOUPS 9421 WITH SCORE 10860.393
AT ITER 1471 NEW BEST:: SOT 2075274 SOS 1439384 HAS SOPS 1417021 HAS SOUS 9679 HAS SOUPS 9417 WITH SCORE 10856.384
AT ITER 1500 NEW BEST:: SOT 2091747 SOS 1455875 HAS SOPS 1433491 HAS SOUS 9192 HAS SOUPS 8957 WITH SCORE 10412.875
AT ITER 1515 NEW BEST:: SOT 2092120 SOS 1437617 HAS SOPS 1416864 HAS SOUS 9204 HAS SOUPS 8959 WITH SCORE 10396.617
AT ITER 1516 NEW BEST:: SOT 2092138 SOS 1425854 HAS SOPS 1406326 HAS SOUS 9204 HAS SOUPS 8965 WITH SCORE 10390.854
AT ITER 1579 NEW BEST:: SOT 2092076 SOS 1429186 HAS SOPS 1409334 HAS SOUS 9182 HAS SOUPS 8945 WITH SCORE 10374.186
AT ITER 1598 NEW BEST:: SOT 2092073 SOS 1429189 HAS SOPS 1409361 HAS SOUS 9169 HAS SOUPS 8932 WITH SCORE 10361.189
AT ITER 1600 NEW BEST:: SOT 2092063 SOS 1429179 HAS SOPS 1409351 HAS SOUS 9162 HAS SOUPS 8925 WITH SCORE 10354.179
AT ITER 1602 NEW BEST:: SOT 2092061 SOS 1429177 HAS SOPS 1409349 HAS SOUS 9158 HAS SOUPS 8921 WITH SCORE 10350.177
AT ITER 1616 NEW BEST:: SOT 2092081 SOS 1429153 HAS SOPS 1409250 HAS SOUS 9126 HAS SOUPS 8889 WITH SCORE 10318.153
AT ITER 1620 NEW BEST:: SOT 2092081 SOS 1430165 HAS SOPS 1410262 HAS SOUS 9123 HAS SOUPS 8886 WITH SCORE 10316.165
AT ITER 1692 NEW BEST:: SOT 2092081 SOS 1430769 HAS SOPS 1410866 HAS SOUS 9120 HAS SOUPS 8883 WITH SCORE 10313.769
AT ITER 1694 NEW BEST:: SOT 2092093 SOS 1430765 HAS SOPS 1410838 HAS SOUS 9120 HAS SOUPS 8883 WITH SCORE 10313.765
AT ITER 1735 NEW BEST:: SOT 2092093 SOS 1430737 HAS SOPS 1410866 HAS SOUS 9101 HAS SOUPS 8864 WITH SCORE 10294.737000000001
AT ITER 1792 NEW BEST:: SOT 2092093 SOS 1430731 HAS SOPS 1410861 HAS SOUS 9100 HAS SOUPS 8863 WITH SCORE 10293.731
AT ITER 1860 NEW BEST:: SOT 2092095 SOS 1428893 HAS SOPS 1409107 HAS SOUS 9099 HAS SOUPS 8862 WITH SCORE 10290.893
AT ITER 1890 NEW BEST:: SOT 2092105 SOS 1409780 HAS SOPS 1389990 HAS SOUS 9104 HAS SOUPS 8867 WITH SCORE 10276.78
AT ITER 1928 NEW BEST:: SOT 2092116 SOS 1409499 HAS SOPS 1389998 HAS SOUS 9102 HAS SOUPS 8867 WITH SCORE 10276.499
AT ITER 1942 NEW BEST:: SOT 2092123 SOS 1409098 HAS SOPS 1390002 HAS SOUS 9099 HAS SOUPS 8865 WITH SCORE 10274.098
AT ITER 2009 NEW BEST:: SOT 2092122 SOS 1409103 HAS SOPS 1390003 HAS SOUS 9098 HAS SOUPS 8864 WITH SCORE 10273.103
AT ITER 2017 NEW BEST:: SOT 2092120 SOS 1409101 HAS SOPS 1390001 HAS SOUS 9096 HAS SOUPS 8862 WITH SCORE 10271.101
AT ITER 2019 NEW BEST:: SOT 2092120 SOS 1409094 HAS SOPS 1389994 HAS SOUS 9087 HAS SOUPS 8853 WITH SCORE 10262.094000000001
AT ITER 2026 NEW BEST:: SOT 2092126 SOS 1409100 HAS SOPS 1390000 HAS SOUS 9085 HAS SOUPS 8851 WITH SCORE 10260.1
AT ITER 2038 NEW BEST:: SOT 2092128 SOS 1409255 HAS SOPS 1390155 HAS SOUS 9084 HAS SOUPS 8850 WITH SCORE 10259.255000000001
AT ITER 2062 NEW BEST:: SOT 2092021 SOS 1409148 HAS SOPS 1390048 HAS SOUS 9075 HAS SOUPS 8841 WITH SCORE 10250.148000000001
AT ITER 2119 NEW BEST:: SOT 2092023 SOS 1409086 HAS SOPS 1389980 HAS SOUS 9065 HAS SOUPS 8831 WITH SCORE 10240.086
AT ITER 2159 NEW BEST:: SOT 2092011 SOS 1409062 HAS SOPS 1389956 HAS SOUS 9011 HAS SOUPS 8777 WITH SCORE 10186.062
AT ITER 2253 NEW BEST:: SOT 2062345 SOS 1379433 HAS SOPS 1360348 HAS SOUS 8958 HAS SOUPS 8730 WITH SCORE 10109.433
AT ITER 2299 NEW BEST:: SOT 2062345 SOS 1379432 HAS SOPS 1360338 HAS SOUS 8955 HAS SOUPS 8727 WITH SCORE 10106.432
AT ITER 2363 NEW BEST:: SOT 2062337 SOS 1379397 HAS SOPS 1360305 HAS SOUS 8955 HAS SOUPS 8727 WITH SCORE 10106.397
AT ITER 2373 NEW BEST:: SOT 2062345 SOS 1379395 HAS SOPS 1360039 HAS SOUS 8947 HAS SOUPS 8719 WITH SCORE 10098.395
AT ITER 2375 NEW BEST:: SOT 2062346 SOS 1378599 HAS SOPS 1359153 HAS SOUS 8943 HAS SOUPS 8715 WITH SCORE 10093.599
AT ITER 2416 NEW BEST:: SOT 2062344 SOS 1378597 HAS SOPS 1359151 HAS SOUS 8939 HAS SOUPS 8711 WITH SCORE 10089.597
AT ITER 2499 NEW BEST:: SOT 2062341 SOS 1377821 HAS SOPS 1358291 HAS SOUS 8938 HAS SOUPS 8710 WITH SCORE 10087.821
AT ITER 2504 NEW BEST:: SOT 2062340 SOS 1377822 HAS SOPS 1358291 HAS SOUS 8937 HAS SOUPS 8709 WITH SCORE 10086.822
AT ITER 2558 NEW BEST:: SOT 2061728 SOS 1377698 HAS SOPS 1358167 HAS SOUS 8881 HAS SOUPS 8653 WITH SCORE 10030.698
AT ITER 2596 NEW BEST:: SOT 2061727 SOS 1377700 HAS SOPS 1358172 HAS SOUS 8875 HAS SOUPS 8647 WITH SCORE 10024.7
AT ITER 2623 NEW BEST:: SOT 2061723 SOS 1377699 HAS SOPS 1358171 HAS SOUS 8863 HAS SOUPS 8635 WITH SCORE 10012.699
AT ITER 2627 NEW BEST:: SOT 2061723 SOS 1377695 HAS SOPS 1358167 HAS SOUS 8863 HAS SOUPS 8635 WITH SCORE 10012.695
AT ITER 2649 NEW BEST:: SOT 2061721 SOS 1377693 HAS SOPS 1357883 HAS SOUS 8845 HAS SOUPS 8617 WITH SCORE 9994.693
AT ITER 2712 NEW BEST:: SOT 2061709 SOS 1377693 HAS SOPS 1357736 HAS SOUS 8830 HAS SOUPS 8602 WITH SCORE 9979.693
AT ITER 2732 NEW BEST:: SOT 2061709 SOS 1377687 HAS SOPS 1357730 HAS SOUS 8828 HAS SOUPS 8600 WITH SCORE 9977.687
AT ITER 2733 NEW BEST:: SOT 2061714 SOS 1377692 HAS SOPS 1357735 HAS SOUS 8826 HAS SOUPS 8598 WITH SCORE 9975.692
AT ITER 2747 NEW BEST:: SOT 2061723 SOS 1377701 HAS SOPS 1357744 HAS SOUS 8825 HAS SOUPS 8597 WITH SCORE 9974.701000000001
AT ITER 2760 NEW BEST:: SOT 2061721 SOS 1377694 HAS SOPS 1357738 HAS SOUS 8824 HAS SOUPS 8596 WITH SCORE 9973.694
AT ITER 2763 NEW BEST:: SOT 2061719 SOS 1377672 HAS SOPS 1357716 HAS SOUS 8814 HAS SOUPS 8586 WITH SCORE 9963.672
AT ITER 2782 NEW BEST:: SOT 2061704 SOS 1377657 HAS SOPS 1357701 HAS SOUS 8814 HAS SOUPS 8586 WITH SCORE 9963.657
AT ITER 2788 NEW BEST:: SOT 2061632 SOS 1377537 HAS SOPS 1357581 HAS SOUS 8752 HAS SOUPS 8524 WITH SCORE 9901.537
AT ITER 2855 NEW BEST:: SOT 2061621 SOS 1377524 HAS SOPS 1357564 HAS SOUS 8751 HAS SOUPS 8523 WITH SCORE 9900.524
AT ITER 2868 NEW BEST:: SOT 2061635 SOS 1363750 HAS SOPS 1343796 HAS SOUS 8761 HAS SOUPS 8533 WITH SCORE 9896.75
AT ITER 2889 NEW BEST:: SOT 2061633 SOS 1363743 HAS SOPS 1343779 HAS SOUS 8747 HAS SOUPS 8519 WITH SCORE 9882.743
AT ITER 2937 NEW BEST:: SOT 2061667 SOS 1334972 HAS SOPS 1316228 HAS SOUS 8748 HAS SOUPS 8523 WITH SCORE 9857.972
AT ITER 2993 NEW BEST:: SOT 2061659 SOS 1334956 HAS SOPS 1316212 HAS SOUS 8744 HAS SOUPS 8519 WITH SCORE 9853.956
AT ITER 3041 NEW BEST:: SOT 2061645 SOS 1334942 HAS SOPS 1316198 HAS SOUS 8738 HAS SOUPS 8513 WITH SCORE 9847.942
AT ITER 3046 NEW BEST:: SOT 2061635 SOS 1334932 HAS SOPS 1316188 HAS SOUS 8734 HAS SOUPS 8509 WITH SCORE 9843.932
AT ITER 3049 NEW BEST:: SOT 2061631 SOS 1334924 HAS SOPS 1316180 HAS SOUS 8732 HAS SOUPS 8507 WITH SCORE 9841.923999999999
AT ITER 3271 NEW BEST:: SOT 2056824 SOS 1330120 HAS SOPS 1311376 HAS SOUS 8669 HAS SOUPS 8444 WITH SCORE 9774.12
AT ITER 3298 NEW BEST:: SOT 2056831 SOS 1324758 HAS SOPS 1306014 HAS SOUS 8671 HAS SOUPS 8446 WITH SCORE 9770.758
AT ITER 3319 NEW BEST:: SOT 2056831 SOS 1324757 HAS SOPS 1306025 HAS SOUS 8671 HAS SOUPS 8446 WITH SCORE 9770.757
AT ITER 3338 NEW BEST:: SOT 2056831 SOS 1324763 HAS SOPS 1306031 HAS SOUS 8669 HAS SOUPS 8444 WITH SCORE 9768.762999999999
AT ITER 3339 NEW BEST:: SOT 2056829 SOS 1324743 HAS SOPS 1306011 HAS SOUS 8663 HAS SOUPS 8438 WITH SCORE 9762.743
AT ITER 3465 NEW BEST:: SOT 2056829 SOS 1324743 HAS SOPS 1306011 HAS SOUS 8651 HAS SOUPS 8426 WITH SCORE 9750.743
AT ITER 3469 NEW BEST:: SOT 2054626 SOS 1322599 HAS SOPS 1303912 HAS SOUS 8639 HAS SOUPS 8414 WITH SCORE 9736.599
AT ITER 3511 NEW BEST:: SOT 2054629 SOS 1322597 HAS SOPS 1303913 HAS SOUS 8638 HAS SOUPS 8413 WITH SCORE 9735.597
AT ITER 3534 NEW BEST:: SOT 2054630 SOS 1321797 HAS SOPS 1303023 HAS SOUS 8635 HAS SOUPS 8410 WITH SCORE 9731.797
AT ITER 3554 NEW BEST:: SOT 2054631 SOS 1321791 HAS SOPS 1303020 HAS SOUS 8633 HAS SOUPS 8408 WITH SCORE 9729.791
AT ITER 3716 NEW BEST:: SOT 2054625 SOS 1321779 HAS SOPS 1303008 HAS SOUS 8621 HAS SOUPS 8396 WITH SCORE 9717.779
AT ITER 3769 NEW BEST:: SOT 2054625 SOS 1321760 HAS SOPS 1302989 HAS SOUS 8617 HAS SOUPS 8392 WITH SCORE 9713.76
AT ITER 3847 NEW BEST:: SOT 2054625 SOS 1321682 HAS SOPS 1302911 HAS SOUS 8617 HAS SOUPS 8392 WITH SCORE 9713.682
AT ITER 3867 NEW BEST:: SOT 2054549 SOS 1325002 HAS SOPS 1305923 HAS SOUS 8601 HAS SOUPS 8378 WITH SCORE 9703.002
AT ITER 3868 NEW BEST:: SOT 2054405 SOS 1324858 HAS SOPS 1305779 HAS SOUS 8571 HAS SOUPS 8348 WITH SCORE 9672.858
AT ITER 3913 NEW BEST:: SOT 2054397 SOS 1324050 HAS SOPS 1304883 HAS SOUS 8571 HAS SOUPS 8348 WITH SCORE 9672.05
AT ITER 4008 NEW BEST:: SOT 2056921 SOS 1326574 HAS SOPS 1307404 HAS SOUS 8433 HAS SOUPS 8213 WITH SCORE 9539.574
AT ITER 4045 NEW BEST:: SOT 2053888 SOS 1323548 HAS SOPS 1304378 HAS SOUS 8384 HAS SOUPS 8164 WITH SCORE 9487.548
AT ITER 4056 NEW BEST:: SOT 2053886 SOS 1323546 HAS SOPS 1304376 HAS SOUS 8383 HAS SOUPS 8163 WITH SCORE 9486.546
AT ITER 4063 NEW BEST:: SOT 2053889 SOS 1323575 HAS SOPS 1304407 HAS SOUS 8382 HAS SOUPS 8162 WITH SCORE 9485.575
AT ITER 4215 NEW BEST:: SOT 2054117 SOS 1323802 HAS SOPS 1304469 HAS SOUS 8366 HAS SOUPS 8146 WITH SCORE 9469.802
AT ITER 4268 NEW BEST:: SOT 2056398 SOS 1326084 HAS SOPS 1306760 HAS SOUS 8267 HAS SOUPS 8050 WITH SCORE 9376.084
AT ITER 4309 NEW BEST:: SOT 2056382 SOS 1326052 HAS SOPS 1306728 HAS SOUS 8259 HAS SOUPS 8042 WITH SCORE 9368.052
AT ITER 4331 NEW BEST:: SOT 2056382 SOS 1326053 HAS SOPS 1306729 HAS SOUS 8258 HAS SOUPS 8041 WITH SCORE 9367.053
AT ITER 4505 NEW BEST:: SOT 2056382 SOS 1326051 HAS SOPS 1306727 HAS SOUS 8258 HAS SOUPS 8041 WITH SCORE 9367.051
AT ITER 4517 NEW BEST:: SOT 2056322 SOS 1329385 HAS SOPS 1309750 HAS SOUS 8244 HAS SOUPS 8029 WITH SCORE 9358.385
AT ITER 4525 NEW BEST:: SOT 2056323 SOS 1329374 HAS SOPS 1309745 HAS SOUS 8241 HAS SOUPS 8029 WITH SCORE 9358.374
AT ITER 4575 NEW BEST:: SOT 2056323 SOS 1329373 HAS SOPS 1309744 HAS SOUS 8240 HAS SOUPS 8028 WITH SCORE 9357.373
AT ITER 4771 NEW BEST:: SOT 2056323 SOS 1329372 HAS SOPS 1309745 HAS SOUS 8237 HAS SOUPS 8025 WITH SCORE 9354.372
AT ITER 4789 NEW BEST:: SOT 2056321 SOS 1329370 HAS SOPS 1309743 HAS SOUS 8223 HAS SOUPS 8011 WITH SCORE 9340.37
AT ITER 4812 NEW BEST:: SOT 2056321 SOS 1329373 HAS SOPS 1309581 HAS SOUS 8214 HAS SOUPS 8002 WITH SCORE 9331.373
AT ITER 4842 NEW BEST:: SOT 2056321 SOS 1329373 HAS SOPS 1309581 HAS SOUS 8212 HAS SOUPS 8000 WITH SCORE 9329.373
AT ITER 4891 NEW BEST:: SOT 2056321 SOS 1329365 HAS SOPS 1309573 HAS SOUS 8212 HAS SOUPS 8000 WITH SCORE 9329.365
AT ITER 4904 NEW BEST:: SOT 2056324 SOS 1329363 HAS SOPS 1309574 HAS SOUS 8211 HAS SOUPS 7999 WITH SCORE 9328.363
AT ITER 5107 NEW BEST:: SOT 2056321 SOS 1329419 HAS SOPS 1309573 HAS SOUS 8211 HAS SOUPS 7997 WITH SCORE 9326.419
AT ITER 5120 NEW BEST:: SOT 2056323 SOS 1329423 HAS SOPS 1309577 HAS SOUS 8209 HAS SOUPS 7995 WITH SCORE 9324.423
AT ITER 5209 NEW BEST:: SOT 2056323 SOS 1329420 HAS SOPS 1309574 HAS SOUS 8207 HAS SOUPS 7993 WITH SCORE 9322.42
AT ITER 5220 NEW BEST:: SOT 2056323 SOS 1329418 HAS SOPS 1309572 HAS SOUS 8203 HAS SOUPS 7989 WITH SCORE 9318.418
AT ITER 5307 NEW BEST:: SOT 2056327 SOS 1329411 HAS SOPS 1309547 HAS SOUS 8196 HAS SOUPS 7982 WITH SCORE 9311.411
AT ITER 5324 NEW BEST:: SOT 2056336 SOS 1329410 HAS SOPS 1309543 HAS SOUS 8187 HAS SOUPS 7973 WITH SCORE 9302.41
AT ITER 5528 NEW BEST:: SOT 2037417 SOS 1310536 HAS SOPS 1290666 HAS SOUS 8200 HAS SOUPS 7986 WITH SCORE 9296.536
AT ITER 5556 NEW BEST:: SOT 2037417 SOS 1310546 HAS SOPS 1290676 HAS SOUS 8199 HAS SOUPS 7985 WITH SCORE 9295.546
AT ITER 5581 NEW BEST:: SOT 2033737 SOS 1306895 HAS SOPS 1287022 HAS SOUS 7962 HAS SOUPS 7748 WITH SCORE 9054.895
AT ITER 5602 NEW BEST:: SOT 2033721 SOS 1306879 HAS SOPS 1287006 HAS SOUS 7954 HAS SOUPS 7740 WITH SCORE 9046.879
AT ITER 5630 NEW BEST:: SOT 2033722 SOS 1306879 HAS SOPS 1286874 HAS SOUS 7951 HAS SOUPS 7737 WITH SCORE 9043.879
AT ITER 5672 NEW BEST:: SOT 2033720 SOS 1306877 HAS SOPS 1286872 HAS SOUS 7951 HAS SOUPS 7737 WITH SCORE 9043.877
AT ITER 5730 NEW BEST:: SOT 2033753 SOS 1306910 HAS SOPS 1286905 HAS SOUS 7928 HAS SOUPS 7714 WITH SCORE 9020.91
AT ITER 5778 NEW BEST:: SOT 2033761 SOS 1306916 HAS SOPS 1286911 HAS SOUS 7926 HAS SOUPS 7712 WITH SCORE 9018.916
AT ITER 5854 NEW BEST:: SOT 2033759 SOS 1308442 HAS SOPS 1288437 HAS SOUS 7923 HAS SOUPS 7709 WITH SCORE 9017.442
AT ITER 5974 NEW BEST:: SOT 2033755 SOS 1308441 HAS SOPS 1288438 HAS SOUS 7922 HAS SOUPS 7708 WITH SCORE 9016.441
AT ITER 6142 NEW BEST:: SOT 2033751 SOS 1308433 HAS SOPS 1288430 HAS SOUS 7918 HAS SOUPS 7704 WITH SCORE 9012.433
AT ITER 6210 NEW BEST:: SOT 2033680 SOS 1308362 HAS SOPS 1288359 HAS SOUS 7901 HAS SOUPS 7687 WITH SCORE 8995.362000000001
AT ITER 6229 NEW BEST:: SOT 2033683 SOS 1307566 HAS SOPS 1287473 HAS SOUS 7899 HAS SOUPS 7685 WITH SCORE 8992.566
AT ITER 6288 NEW BEST:: SOT 2033682 SOS 1307547 HAS SOPS 1287473 HAS SOUS 7898 HAS SOUPS 7685 WITH SCORE 8992.547
AT ITER 6321 NEW BEST:: SOT 2033682 SOS 1307547 HAS SOPS 1287473 HAS SOUS 7895 HAS SOUPS 7682 WITH SCORE 8989.547
AT ITER 6346 NEW BEST:: SOT 2033682 SOS 1307469 HAS SOPS 1287395 HAS SOUS 7895 HAS SOUPS 7682 WITH SCORE 8989.469000000001
AT ITER 6731 NEW BEST:: SOT 2033523 SOS 1307310 HAS SOPS 1287236 HAS SOUS 7841 HAS SOUPS 7628 WITH SCORE 8935.31
AT ITER 6773 NEW BEST:: SOT 2033522 SOS 1307309 HAS SOPS 1287235 HAS SOUS 7840 HAS SOUPS 7627 WITH SCORE 8934.309
AT ITER 6804 NEW BEST:: SOT 2033522 SOS 1307309 HAS SOPS 1287235 HAS SOUS 7837 HAS SOUPS 7624 WITH SCORE 8931.309
AT ITER 6840 NEW BEST:: SOT 2033522 SOS 1307307 HAS SOPS 1287233 HAS SOUS 7837 HAS SOUPS 7624 WITH SCORE 8931.307
AT ITER 6867 NEW BEST:: SOT 2033522 SOS 1307305 HAS SOPS 1287231 HAS SOUS 7837 HAS SOUPS 7624 WITH SCORE 8931.305
AT ITER 7016 NEW BEST:: SOT 2033532 SOS 1307070 HAS SOPS 1286618 HAS SOUS 7830 HAS SOUPS 7617 WITH SCORE 8924.07
AT ITER 7177 NEW BEST:: SOT 2033536 SOS 1307060 HAS SOPS 1286344 HAS SOUS 7824 HAS SOUPS 7611 WITH SCORE 8918.06
AT ITER 7189 NEW BEST:: SOT 2033536 SOS 1307055 HAS SOPS 1286339 HAS SOUS 7823 HAS SOUPS 7610 WITH SCORE 8917.055
AT ITER 7512 NEW BEST:: SOT 2033536 SOS 1307041 HAS SOPS 1286325 HAS SOUS 7823 HAS SOUPS 7610 WITH SCORE 8917.041
AT ITER 7697 NEW BEST:: SOT 2033525 SOS 1307030 HAS SOPS 1286314 HAS SOUS 7822 HAS SOUPS 7609 WITH SCORE 8916.03
AT ITER 7877 NEW BEST:: SOT 2033531 SOS 1294785 HAS SOPS 1274067 HAS SOUS 7827 HAS SOUPS 7614 WITH SCORE 8908.785
AT ITER 7959 NEW BEST:: SOT 2033530 SOS 1294784 HAS SOPS 1274066 HAS SOUS 7827 HAS SOUPS 7614 WITH SCORE 8908.784
AT ITER 7978 NEW BEST:: SOT 2033530 SOS 1294782 HAS SOPS 1274064 HAS SOUS 7827 HAS SOUPS 7614 WITH SCORE 8908.782
AT ITER 8069 NEW BEST:: SOT 2033530 SOS 1294784 HAS SOPS 1274066 HAS SOUS 7826 HAS SOUPS 7613 WITH SCORE 8907.784
AT ITER 8094 NEW BEST:: SOT 2033556 SOS 1280205 HAS SOPS 1260295 HAS SOUS 7831 HAS SOUPS 7620 WITH SCORE 8900.205
AT ITER 8200 NEW BEST:: SOT 2033546 SOS 1280195 HAS SOPS 1260285 HAS SOUS 7813 HAS SOUPS 7602 WITH SCORE 8882.195
AT ITER 8383 NEW BEST:: SOT 2033545 SOS 1280214 HAS SOPS 1260284 HAS SOUS 7813 HAS SOUPS 7601 WITH SCORE 8881.214
AT ITER 8384 NEW BEST:: SOT 2033543 SOS 1280212 HAS SOPS 1260283 HAS SOUS 7812 HAS SOUPS 7600 WITH SCORE 8880.212
AT ITER 8399 NEW BEST:: SOT 2033540 SOS 1280207 HAS SOPS 1260284 HAS SOUS 7808 HAS SOUPS 7596 WITH SCORE 8876.207
AT ITER 8426 NEW BEST:: SOT 2033540 SOS 1280050 HAS SOPS 1260127 HAS SOUS 7808 HAS SOUPS 7596 WITH SCORE 8876.05
AT ITER 9783 NEW BEST:: SOT 2033429 SOS 1287688 HAS SOPS 1267120 HAS SOUS 7796 HAS SOUPS 7587 WITH SCORE 8874.688
AT ITER 9898 NEW BEST:: SOT 2033421 SOS 1287684 HAS SOPS 1266711 HAS SOUS 7774 HAS SOUPS 7565 WITH SCORE 8852.684
AT ITER 9909 NEW BEST:: SOT 2033421 SOS 1287682 HAS SOPS 1266709 HAS SOUS 7774 HAS SOUPS 7565 WITH SCORE 8852.682
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 15784192 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16052728 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="ARMCacheCoherence-PT-none"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is ARMCacheCoherence-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599600008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ARMCacheCoherence-PT-none.tgz
mv ARMCacheCoherence-PT-none execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; 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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;