Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897507900003.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ARMCacheCoherence-PT-none, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897507900003
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 14M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-00
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-01
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-02
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-03
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-04
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-05
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-06
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-07
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-08
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-09
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-10
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-11
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-12
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-13
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-14
FORMULA_NAME ARMCacheCoherence-PT-none-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1588978792172

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ARMCacheCoherence (PT), instance none
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 2755280 SOS 2660525 HAS SOPS 2641500 HAS SOUS 55786 HAS SOUPS 55644 WITH SCORE 58304.525
AT ITER 3 NEW BEST:: SOT 2743380 SOS 2648595 HAS SOPS 2629570 HAS SOUS 55428 HAS SOUPS 55286 WITH SCORE 57934.595
AT ITER 4 NEW BEST:: SOT 2743598 SOS 2648467 HAS SOPS 2629483 HAS SOUS 55024 HAS SOUPS 54902 WITH SCORE 57550.467
AT ITER 5 NEW BEST:: SOT 2737514 SOS 2642394 HAS SOPS 2623410 HAS SOUS 54855 HAS SOUPS 54733 WITH SCORE 57375.394
AT ITER 6 NEW BEST:: SOT 2737567 SOS 2612808 HAS SOPS 2566401 HAS SOUS 54421 HAS SOUPS 54281 WITH SCORE 56893.808
AT ITER 7 NEW BEST:: SOT 2737236 SOS 2612489 HAS SOPS 2566070 HAS SOUS 54187 HAS SOUPS 54042 WITH SCORE 56654.489
AT ITER 9 NEW BEST:: SOT 2737128 SOS 2612381 HAS SOPS 2565962 HAS SOUS 54147 HAS SOUPS 54002 WITH SCORE 56614.381
AT ITER 10 NEW BEST:: SOT 2737128 SOS 2612420 HAS SOPS 2565949 HAS SOUS 54171 HAS SOUPS 54000 WITH SCORE 56612.42
AT ITER 11 NEW BEST:: SOT 2737128 SOS 2599108 HAS SOPS 2562980 HAS SOUS 46206 HAS SOUPS 46058 WITH SCORE 48657.108
AT ITER 12 NEW BEST:: SOT 2736985 SOS 2599020 HAS SOPS 2562914 HAS SOUS 46166 HAS SOUPS 46028 WITH SCORE 48627.02
AT ITER 14 NEW BEST:: SOT 2737035 SOS 2598616 HAS SOPS 2562246 HAS SOUS 45500 HAS SOUPS 45362 WITH SCORE 47960.616
AT ITER 15 NEW BEST:: SOT 2737052 SOS 2598633 HAS SOPS 2562263 HAS SOUS 45489 HAS SOUPS 45351 WITH SCORE 47949.633
AT ITER 17 NEW BEST:: SOT 2737076 SOS 2598789 HAS SOPS 2562419 HAS SOUS 45452 HAS SOUPS 45314 WITH SCORE 47912.789
AT ITER 18 NEW BEST:: SOT 2736962 SOS 2598546 HAS SOPS 2562156 HAS SOUS 44871 HAS SOUPS 44733 WITH SCORE 47331.546
AT ITER 20 NEW BEST:: SOT 2714128 SOS 2605653 HAS SOPS 2587236 HAS SOUS 33906 HAS SOUPS 33663 WITH SCORE 36268.653
AT ITER 21 NEW BEST:: SOT 2685698 SOS 2577327 HAS SOPS 2558956 HAS SOUS 32814 HAS SOUPS 32571 WITH SCORE 35148.327
AT ITER 22 NEW BEST:: SOT 2686983 SOS 2567246 HAS SOPS 2545647 HAS SOUS 32292 HAS SOUPS 32024 WITH SCORE 34591.246
AT ITER 23 NEW BEST:: SOT 2686908 SOS 2567133 HAS SOPS 2545515 HAS SOUS 32276 HAS SOUPS 32008 WITH SCORE 34575.133
AT ITER 24 NEW BEST:: SOT 2709670 SOS 2577765 HAS SOPS 2550032 HAS SOUS 32156 HAS SOUPS 31701 WITH SCORE 34278.765
AT ITER 25 NEW BEST:: SOT 2709673 SOS 2468318 HAS SOPS 2420247 HAS SOUS 31996 HAS SOUPS 31541 WITH SCORE 34009.318
AT ITER 27 NEW BEST:: SOT 2709679 SOS 2468324 HAS SOPS 2420253 HAS SOUS 31991 HAS SOUPS 31536 WITH SCORE 34004.324
AT ITER 30 NEW BEST:: SOT 2709669 SOS 2468410 HAS SOPS 2420217 HAS SOUS 31927 HAS SOUPS 31446 WITH SCORE 33914.41
AT ITER 34 NEW BEST:: SOT 2689484 SOS 2449090 HAS SOPS 2400294 HAS SOUS 31830 HAS SOUPS 31265 WITH SCORE 33714.09
AT ITER 35 NEW BEST:: SOT 2684338 SOS 2444047 HAS SOPS 2395255 HAS SOUS 31660 HAS SOUPS 31095 WITH SCORE 33539.047
AT ITER 38 NEW BEST:: SOT 2650809 SOS 2413354 HAS SOPS 2367907 HAS SOUS 31125 HAS SOUPS 30736 WITH SCORE 33149.354
AT ITER 40 NEW BEST:: SOT 2650743 SOS 2395672 HAS SOPS 2347304 HAS SOUS 30970 HAS SOUPS 30581 WITH SCORE 32976.672
AT ITER 42 NEW BEST:: SOT 2655223 SOS 2397434 HAS SOPS 2346722 HAS SOUS 30267 HAS SOUPS 29863 WITH SCORE 32260.434
AT ITER 43 NEW BEST:: SOT 2653721 SOS 2395984 HAS SOPS 2345272 HAS SOUS 30119 HAS SOUPS 29715 WITH SCORE 32110.984
AT ITER 46 NEW BEST:: SOT 2653759 SOS 2390422 HAS SOPS 2338298 HAS SOUS 29959 HAS SOUPS 29555 WITH SCORE 31945.422
AT ITER 47 NEW BEST:: SOT 2653757 SOS 2390300 HAS SOPS 2338152 HAS SOUS 29924 HAS SOUPS 29520 WITH SCORE 31910.3
AT ITER 49 NEW BEST:: SOT 2653863 SOS 2390356 HAS SOPS 2338324 HAS SOUS 29914 HAS SOUPS 29510 WITH SCORE 31900.356
AT ITER 52 NEW BEST:: SOT 2669969 SOS 2353763 HAS SOPS 2289151 HAS SOUS 29678 HAS SOUPS 29229 WITH SCORE 31582.763
AT ITER 53 NEW BEST:: SOT 2669967 SOS 2353759 HAS SOPS 2289146 HAS SOUS 29676 HAS SOUPS 29227 WITH SCORE 31580.759
AT ITER 55 NEW BEST:: SOT 2677594 SOS 2313996 HAS SOPS 2239118 HAS SOUS 29036 HAS SOUPS 28587 WITH SCORE 30900.996
AT ITER 57 NEW BEST:: SOT 2677287 SOS 2313768 HAS SOPS 2238890 HAS SOUS 28969 HAS SOUPS 28520 WITH SCORE 30833.768
AT ITER 58 NEW BEST:: SOT 2642162 SOS 2278641 HAS SOPS 2203783 HAS SOUS 27807 HAS SOUPS 27406 WITH SCORE 29684.641
AT ITER 59 NEW BEST:: SOT 2585203 SOS 2221682 HAS SOPS 2146824 HAS SOUS 27168 HAS SOUPS 26767 WITH SCORE 28988.682
AT ITER 64 NEW BEST:: SOT 2585451 SOS 2122805 HAS SOPS 2100425 HAS SOUS 25985 HAS SOUPS 25584 WITH SCORE 27706.805
AT ITER 67 NEW BEST:: SOT 2581778 SOS 2119132 HAS SOPS 2096752 HAS SOUS 25748 HAS SOUPS 25347 WITH SCORE 27466.132
AT ITER 69 NEW BEST:: SOT 2581750 SOS 2119032 HAS SOPS 2096652 HAS SOUS 25695 HAS SOUPS 25294 WITH SCORE 27413.032
AT ITER 70 NEW BEST:: SOT 2581675 SOS 2118957 HAS SOPS 2096577 HAS SOUS 25572 HAS SOUPS 25171 WITH SCORE 27289.957
AT ITER 79 NEW BEST:: SOT 2585006 SOS 2112331 HAS SOPS 2088047 HAS SOUS 25192 HAS SOUPS 24779 WITH SCORE 26891.331
AT ITER 81 NEW BEST:: SOT 2585088 SOS 2083870 HAS SOPS 2058969 HAS SOUS 24987 HAS SOUPS 24574 WITH SCORE 26657.87
AT ITER 82 NEW BEST:: SOT 2584936 SOS 2083687 HAS SOPS 2058582 HAS SOUS 24804 HAS SOUPS 24383 WITH SCORE 26466.686999999998
AT ITER 84 NEW BEST:: SOT 2584936 SOS 2083682 HAS SOPS 2058577 HAS SOUS 24799 HAS SOUPS 24378 WITH SCORE 26461.682
AT ITER 86 NEW BEST:: SOT 2584916 SOS 2076272 HAS SOPS 2050932 HAS SOUS 24759 HAS SOUPS 24338 WITH SCORE 26414.272
AT ITER 89 NEW BEST:: SOT 2584922 SOS 2076212 HAS SOPS 2050676 HAS SOUS 24735 HAS SOUPS 24314 WITH SCORE 26390.212
AT ITER 94 NEW BEST:: SOT 2586005 SOS 2074149 HAS SOPS 2046906 HAS SOUS 24326 HAS SOUPS 23901 WITH SCORE 25975.149
AT ITER 96 NEW BEST:: SOT 2586005 SOS 2108428 HAS SOPS 2082780 HAS SOUS 24271 HAS SOUPS 23846 WITH SCORE 25954.428
AT ITER 99 NEW BEST:: SOT 2586060 SOS 2104807 HAS SOPS 2078216 HAS SOUS 24227 HAS SOUPS 23802 WITH SCORE 25906.807
AT ITER 100 NEW BEST:: SOT 2586489 SOS 2017242 HAS SOPS 1985150 HAS SOUS 24258 HAS SOUPS 23833 WITH SCORE 25850.242
AT ITER 105 NEW BEST:: SOT 2586490 SOS 1957402 HAS SOPS 1923712 HAS SOUS 24151 HAS SOUPS 23726 WITH SCORE 25683.402000000002
AT ITER 106 NEW BEST:: SOT 2586460 SOS 1945001 HAS SOPS 1908895 HAS SOUS 24075 HAS SOUPS 23642 WITH SCORE 25587.001
AT ITER 108 NEW BEST:: SOT 2586560 SOS 1944839 HAS SOPS 1908733 HAS SOUS 23966 HAS SOUPS 23533 WITH SCORE 25477.839
AT ITER 112 NEW BEST:: SOT 2586540 SOS 1943779 HAS SOPS 1907681 HAS SOUS 23780 HAS SOUPS 23347 WITH SCORE 25290.779
AT ITER 113 NEW BEST:: SOT 2586360 SOS 1945256 HAS SOPS 1909158 HAS SOUS 23702 HAS SOUPS 23269 WITH SCORE 25214.256
AT ITER 115 NEW BEST:: SOT 2586379 SOS 1944370 HAS SOPS 1909008 HAS SOUS 23577 HAS SOUPS 23229 WITH SCORE 25173.37
AT ITER 117 NEW BEST:: SOT 2586379 SOS 1944370 HAS SOPS 1908999 HAS SOUS 23574 HAS SOUPS 23226 WITH SCORE 25170.37
AT ITER 121 NEW BEST:: SOT 2586379 SOS 1947198 HAS SOPS 1911827 HAS SOUS 23559 HAS SOUPS 23211 WITH SCORE 25158.198
AT ITER 123 NEW BEST:: SOT 2571308 SOS 1932997 HAS SOPS 1898172 HAS SOUS 22681 HAS SOUPS 22342 WITH SCORE 24274.997
AT ITER 124 NEW BEST:: SOT 2570783 SOS 1932903 HAS SOPS 1897784 HAS SOUS 22680 HAS SOUPS 22278 WITH SCORE 24210.903
AT ITER 125 NEW BEST:: SOT 2563012 SOS 1927792 HAS SOPS 1893552 HAS SOUS 22631 HAS SOUPS 22229 WITH SCORE 24156.792
AT ITER 127 NEW BEST:: SOT 2563030 SOS 1907173 HAS SOPS 1872915 HAS SOUS 22631 HAS SOUPS 22229 WITH SCORE 24136.173
AT ITER 130 NEW BEST:: SOT 2563030 SOS 1906997 HAS SOPS 1872706 HAS SOUS 22521 HAS SOUPS 22119 WITH SCORE 24025.997
AT ITER 132 NEW BEST:: SOT 2562968 SOS 1906892 HAS SOPS 1872592 HAS SOUS 22135 HAS SOUPS 21733 WITH SCORE 23639.892
AT ITER 136 NEW BEST:: SOT 2561022 SOS 1904947 HAS SOPS 1870647 HAS SOUS 22091 HAS SOUPS 21689 WITH SCORE 23593.947
AT ITER 140 NEW BEST:: SOT 2560887 SOS 1904781 HAS SOPS 1870377 HAS SOUS 21915 HAS SOUPS 21489 WITH SCORE 23393.781
AT ITER 141 NEW BEST:: SOT 2561045 SOS 1841537 HAS SOPS 1803576 HAS SOUS 21709 HAS SOUPS 21283 WITH SCORE 23124.537
AT ITER 147 NEW BEST:: SOT 2561029 SOS 1841459 HAS SOPS 1803569 HAS SOUS 21677 HAS SOUPS 21272 WITH SCORE 23113.459
AT ITER 150 NEW BEST:: SOT 2561059 SOS 1836290 HAS SOPS 1797227 HAS SOUS 21661 HAS SOUPS 21256 WITH SCORE 23092.29
AT ITER 154 NEW BEST:: SOT 2561040 SOS 1818555 HAS SOPS 1778359 HAS SOUS 21596 HAS SOUPS 21191 WITH SCORE 23009.555
AT ITER 156 NEW BEST:: SOT 2560896 SOS 1840422 HAS SOPS 1804093 HAS SOUS 21269 HAS SOUPS 20864 WITH SCORE 22704.422
AT ITER 160 NEW BEST:: SOT 2561190 SOS 1406612 HAS SOPS 1378930 HAS SOUS 20618 HAS SOUPS 20261 WITH SCORE 21667.612
AT ITER 162 NEW BEST:: SOT 2561077 SOS 1406489 HAS SOPS 1378936 HAS SOUS 20467 HAS SOUPS 20110 WITH SCORE 21516.489
AT ITER 163 NEW BEST:: SOT 2561127 SOS 1406499 HAS SOPS 1378945 HAS SOUS 20402 HAS SOUPS 20066 WITH SCORE 21472.499
AT ITER 169 NEW BEST:: SOT 2561333 SOS 1376131 HAS SOPS 1362058 HAS SOUS 19230 HAS SOUPS 18877 WITH SCORE 20253.131
AT ITER 173 NEW BEST:: SOT 2561333 SOS 1376129 HAS SOPS 1362056 HAS SOUS 19230 HAS SOUPS 18877 WITH SCORE 20253.129
AT ITER 180 NEW BEST:: SOT 2562122 SOS 1375525 HAS SOPS 1361545 HAS SOUS 18777 HAS SOUPS 18424 WITH SCORE 19799.525
AT ITER 183 NEW BEST:: SOT 2559653 SOS 1434838 HAS SOPS 1422119 HAS SOUS 18670 HAS SOUPS 18317 WITH SCORE 19751.838
AT ITER 187 NEW BEST:: SOT 2559727 SOS 1434959 HAS SOPS 1422240 HAS SOUS 18571 HAS SOUPS 18218 WITH SCORE 19652.959
AT ITER 188 NEW BEST:: SOT 2560547 SOS 1372818 HAS SOPS 1358658 HAS SOUS 18604 HAS SOUPS 18191 WITH SCORE 19563.818
AT ITER 193 NEW BEST:: SOT 2568621 SOS 1375520 HAS SOPS 1359895 HAS SOUS 18525 HAS SOUPS 18120 WITH SCORE 19495.52
AT ITER 195 NEW BEST:: SOT 2568591 SOS 1381109 HAS SOPS 1365409 HAS SOUS 18474 HAS SOUPS 18069 WITH SCORE 19450.109
AT ITER 207 NEW BEST:: SOT 2567672 SOS 1448530 HAS SOPS 1433975 HAS SOUS 18388 HAS SOUPS 17983 WITH SCORE 19431.53
AT ITER 211 NEW BEST:: SOT 2574187 SOS 1451330 HAS SOPS 1440515 HAS SOUS 18206 HAS SOUPS 17914 WITH SCORE 19365.33
AT ITER 214 NEW BEST:: SOT 2574187 SOS 1451342 HAS SOPS 1440527 HAS SOUS 18158 HAS SOUPS 17866 WITH SCORE 19317.342
AT ITER 215 NEW BEST:: SOT 2574128 SOS 1451283 HAS SOPS 1440468 HAS SOUS 18069 HAS SOUPS 17777 WITH SCORE 19228.283
AT ITER 216 NEW BEST:: SOT 2573720 SOS 1450875 HAS SOPS 1440060 HAS SOUS 17931 HAS SOUPS 17639 WITH SCORE 19089.875
AT ITER 223 NEW BEST:: SOT 2573720 SOS 1450869 HAS SOPS 1440054 HAS SOUS 17931 HAS SOUPS 17639 WITH SCORE 19089.869
AT ITER 233 NEW BEST:: SOT 2573513 SOS 1450662 HAS SOPS 1439847 HAS SOUS 17724 HAS SOUPS 17432 WITH SCORE 18882.662
AT ITER 234 NEW BEST:: SOT 2573513 SOS 1428224 HAS SOPS 1417421 HAS SOUS 17740 HAS SOUPS 17448 WITH SCORE 18876.224
AT ITER 252 NEW BEST:: SOT 2573513 SOS 1428314 HAS SOPS 1417511 HAS SOUS 17731 HAS SOUPS 17439 WITH SCORE 18867.314
AT ITER 255 NEW BEST:: SOT 2573513 SOS 1427229 HAS SOPS 1416426 HAS SOUS 17731 HAS SOUPS 17439 WITH SCORE 18866.229
AT ITER 256 NEW BEST:: SOT 2573518 SOS 1426694 HAS SOPS 1415755 HAS SOUS 17718 HAS SOUPS 17426 WITH SCORE 18852.694
AT ITER 262 NEW BEST:: SOT 2573517 SOS 1425853 HAS SOPS 1414874 HAS SOUS 17719 HAS SOUPS 17425 WITH SCORE 18850.853
AT ITER 263 NEW BEST:: SOT 2573517 SOS 1422843 HAS SOPS 1411864 HAS SOUS 17709 HAS SOUPS 17415 WITH SCORE 18837.843
AT ITER 274 NEW BEST:: SOT 2573517 SOS 1422837 HAS SOPS 1411858 HAS SOUS 17706 HAS SOUPS 17412 WITH SCORE 18834.837
AT ITER 275 NEW BEST:: SOT 2573518 SOS 1422082 HAS SOPS 1411103 HAS SOUS 17706 HAS SOUPS 17412 WITH SCORE 18834.082
AT ITER 287 NEW BEST:: SOT 2582732 SOS 1378999 HAS SOPS 1366227 HAS SOUS 17226 HAS SOUPS 16950 WITH SCORE 18328.999
AT ITER 305 NEW BEST:: SOT 2582734 SOS 1379001 HAS SOPS 1366229 HAS SOUS 17224 HAS SOUPS 16948 WITH SCORE 18327.001
AT ITER 312 NEW BEST:: SOT 2582734 SOS 1377867 HAS SOPS 1365095 HAS SOUS 17210 HAS SOUPS 16934 WITH SCORE 18311.867
AT ITER 317 NEW BEST:: SOT 2582641 SOS 1395271 HAS SOPS 1382499 HAS SOUS 17119 HAS SOUPS 16843 WITH SCORE 18238.271
AT ITER 323 NEW BEST:: SOT 2581411 SOS 1394022 HAS SOPS 1381598 HAS SOUS 15863 HAS SOUPS 15595 WITH SCORE 16989.022
AT ITER 329 NEW BEST:: SOT 2585282 SOS 1392634 HAS SOPS 1385210 HAS SOUS 15499 HAS SOUPS 15322 WITH SCORE 16714.634
AT ITER 332 NEW BEST:: SOT 2585165 SOS 1392445 HAS SOPS 1384838 HAS SOUS 15449 HAS SOUPS 15240 WITH SCORE 16632.445
AT ITER 334 NEW BEST:: SOT 2585165 SOS 1392445 HAS SOPS 1384838 HAS SOUS 15434 HAS SOUPS 15225 WITH SCORE 16617.445
AT ITER 335 NEW BEST:: SOT 2585150 SOS 1389289 HAS SOPS 1381136 HAS SOUS 15425 HAS SOUPS 15216 WITH SCORE 16605.289
AT ITER 339 NEW BEST:: SOT 2585130 SOS 1392034 HAS SOPS 1384346 HAS SOUS 15385 HAS SOUPS 15199 WITH SCORE 16591.034
AT ITER 355 NEW BEST:: SOT 2585038 SOS 1391714 HAS SOPS 1384089 HAS SOUS 15291 HAS SOUPS 15102 WITH SCORE 16493.714
AT ITER 357 NEW BEST:: SOT 2528490 SOS 1335166 HAS SOPS 1327541 HAS SOUS 15168 HAS SOUPS 14979 WITH SCORE 16314.166
AT ITER 358 NEW BEST:: SOT 2537826 SOS 1356288 HAS SOPS 1354406 HAS SOUS 13025 HAS SOUPS 12854 WITH SCORE 14210.288
AT ITER 361 NEW BEST:: SOT 2537816 SOS 1356242 HAS SOPS 1354360 HAS SOUS 13023 HAS SOUPS 12852 WITH SCORE 14208.242
AT ITER 366 NEW BEST:: SOT 2537852 SOS 1339487 HAS SOPS 1337605 HAS SOUS 12981 HAS SOUPS 12810 WITH SCORE 14149.487000000001
AT ITER 380 NEW BEST:: SOT 2537844 SOS 1340849 HAS SOPS 1338967 HAS SOUS 12977 HAS SOUPS 12806 WITH SCORE 14146.849
AT ITER 386 NEW BEST:: SOT 2537822 SOS 1340861 HAS SOPS 1338943 HAS SOUS 12954 HAS SOUPS 12783 WITH SCORE 14123.861
AT ITER 391 NEW BEST:: SOT 2537771 SOS 1344278 HAS SOPS 1342360 HAS SOUS 12900 HAS SOUPS 12729 WITH SCORE 14073.278
AT ITER 393 NEW BEST:: SOT 2537763 SOS 1344233 HAS SOPS 1342320 HAS SOUS 12896 HAS SOUPS 12726 WITH SCORE 14070.233
AT ITER 402 NEW BEST:: SOT 2537801 SOS 1333797 HAS SOPS 1331884 HAS SOUS 12891 HAS SOUPS 12721 WITH SCORE 14054.797
AT ITER 409 NEW BEST:: SOT 2537774 SOS 1333770 HAS SOPS 1331857 HAS SOUS 12833 HAS SOUPS 12663 WITH SCORE 13996.77
AT ITER 410 NEW BEST:: SOT 2537834 SOS 1331946 HAS SOPS 1330033 HAS SOUS 12773 HAS SOUPS 12603 WITH SCORE 13934.946
AT ITER 411 NEW BEST:: SOT 2537834 SOS 1331934 HAS SOPS 1330021 HAS SOUS 12770 HAS SOUPS 12600 WITH SCORE 13931.934
AT ITER 437 NEW BEST:: SOT 2537834 SOS 1331986 HAS SOPS 1330073 HAS SOUS 12769 HAS SOUPS 12599 WITH SCORE 13930.986
AT ITER 438 NEW BEST:: SOT 2537820 SOS 1331940 HAS SOPS 1330027 HAS SOUS 12744 HAS SOUPS 12574 WITH SCORE 13905.94
AT ITER 439 NEW BEST:: SOT 2534409 SOS 1328529 HAS SOPS 1326634 HAS SOUS 12678 HAS SOUPS 12526 WITH SCORE 13854.529
AT ITER 447 NEW BEST:: SOT 2534359 SOS 1335302 HAS SOPS 1333407 HAS SOUS 12659 HAS SOUPS 12507 WITH SCORE 13842.302
AT ITER 450 NEW BEST:: SOT 2534359 SOS 1333738 HAS SOPS 1331876 HAS SOUS 12659 HAS SOUPS 12507 WITH SCORE 13840.738
AT ITER 452 NEW BEST:: SOT 2534355 SOS 1333692 HAS SOPS 1331830 HAS SOUS 12649 HAS SOUPS 12497 WITH SCORE 13830.692
AT ITER 454 NEW BEST:: SOT 2534373 SOS 1333597 HAS SOPS 1331735 HAS SOUS 12491 HAS SOUPS 12339 WITH SCORE 13672.597
AT ITER 477 NEW BEST:: SOT 2534396 SOS 1292857 HAS SOPS 1290989 HAS SOUS 12430 HAS SOUPS 12278 WITH SCORE 13570.857
AT ITER 478 NEW BEST:: SOT 2534394 SOS 1292782 HAS SOPS 1290914 HAS SOUS 12424 HAS SOUPS 12272 WITH SCORE 13564.782
AT ITER 480 NEW BEST:: SOT 2535572 SOS 1288709 HAS SOPS 1286949 HAS SOUS 12414 HAS SOUPS 12276 WITH SCORE 13564.709
AT ITER 493 NEW BEST:: SOT 2535542 SOS 1288855 HAS SOPS 1286844 HAS SOUS 12394 HAS SOUPS 12241 WITH SCORE 13529.855
AT ITER 496 NEW BEST:: SOT 2544925 SOS 1298153 HAS SOPS 1295899 HAS SOUS 12361 HAS SOUPS 12175 WITH SCORE 13473.153
AT ITER 501 NEW BEST:: SOT 2544925 SOS 1298151 HAS SOPS 1295897 HAS SOUS 12361 HAS SOUPS 12175 WITH SCORE 13473.151
AT ITER 511 NEW BEST:: SOT 2544926 SOS 1298270 HAS SOPS 1296036 HAS SOUS 12349 HAS SOUPS 12164 WITH SCORE 13462.27
AT ITER 513 NEW BEST:: SOT 2544904 SOS 1282663 HAS SOPS 1280429 HAS SOUS 12214 HAS SOUPS 12029 WITH SCORE 13311.663
AT ITER 521 NEW BEST:: SOT 2544704 SOS 1282463 HAS SOPS 1280229 HAS SOUS 12144 HAS SOUPS 11959 WITH SCORE 13241.463
AT ITER 525 NEW BEST:: SOT 2487764 SOS 1225523 HAS SOPS 1223289 HAS SOUS 10362 HAS SOUPS 10177 WITH SCORE 11402.523000000001
AT ITER 527 NEW BEST:: SOT 2487752 SOS 1225511 HAS SOPS 1223277 HAS SOUS 10350 HAS SOUPS 10165 WITH SCORE 11390.511
AT ITER 556 NEW BEST:: SOT 2487752 SOS 1225505 HAS SOPS 1223271 HAS SOUS 10350 HAS SOUPS 10165 WITH SCORE 11390.505000000001
AT ITER 562 NEW BEST:: SOT 2487796 SOS 1211701 HAS SOPS 1209467 HAS SOUS 10362 HAS SOUPS 10177 WITH SCORE 11388.701000000001
AT ITER 580 NEW BEST:: SOT 2487796 SOS 1211651 HAS SOPS 1209417 HAS SOUS 10352 HAS SOUPS 10167 WITH SCORE 11378.651
AT ITER 598 NEW BEST:: SOT 2487796 SOS 1212036 HAS SOPS 1209760 HAS SOUS 10317 HAS SOUPS 10132 WITH SCORE 11344.036
AT ITER 600 NEW BEST:: SOT 2487793 SOS 1212044 HAS SOPS 1209751 HAS SOUS 10314 HAS SOUPS 10129 WITH SCORE 11341.044
AT ITER 612 NEW BEST:: SOT 2487805 SOS 1207780 HAS SOPS 1205499 HAS SOUS 10316 HAS SOUPS 10131 WITH SCORE 11338.78
AT ITER 613 NEW BEST:: SOT 2487431 SOS 1201180 HAS SOPS 1197579 HAS SOUS 10215 HAS SOUPS 9999 WITH SCORE 11200.18
AT ITER 615 NEW BEST:: SOT 2487445 SOS 1190136 HAS SOPS 1186535 HAS SOUS 10221 HAS SOUPS 10005 WITH SCORE 11195.136
AT ITER 631 NEW BEST:: SOT 2487445 SOS 1190124 HAS SOPS 1186523 HAS SOUS 10221 HAS SOUPS 10005 WITH SCORE 11195.124
AT ITER 634 NEW BEST:: SOT 2487417 SOS 1189806 HAS SOPS 1186072 HAS SOUS 10202 HAS SOUPS 9986 WITH SCORE 11175.806
AT ITER 662 NEW BEST:: SOT 2487495 SOS 1124767 HAS SOPS 1121033 HAS SOUS 10180 HAS SOUPS 9964 WITH SCORE 11088.767
AT ITER 664 NEW BEST:: SOT 2487570 SOS 1122854 HAS SOPS 1119928 HAS SOUS 10106 HAS SOUPS 9905 WITH SCORE 11027.854
AT ITER 669 NEW BEST:: SOT 2487514 SOS 1134485 HAS SOPS 1131559 HAS SOUS 10087 HAS SOUPS 9886 WITH SCORE 11020.485
AT ITER 673 NEW BEST:: SOT 2487502 SOS 1143115 HAS SOPS 1140185 HAS SOUS 10073 HAS SOUPS 9872 WITH SCORE 11015.115
AT ITER 675 NEW BEST:: SOT 2487509 SOS 1137592 HAS SOPS 1134662 HAS SOUS 10076 HAS SOUPS 9875 WITH SCORE 11012.592
AT ITER 688 NEW BEST:: SOT 2487505 SOS 1137744 HAS SOPS 1134814 HAS SOUS 10074 HAS SOUPS 9873 WITH SCORE 11010.744
AT ITER 714 NEW BEST:: SOT 2487512 SOS 1132149 HAS SOPS 1129225 HAS SOUS 10076 HAS SOUPS 9875 WITH SCORE 11007.149
AT ITER 715 NEW BEST:: SOT 2487496 SOS 1131957 HAS SOPS 1129033 HAS SOUS 10067 HAS SOUPS 9866 WITH SCORE 10997.957
AT ITER 716 NEW BEST:: SOT 2487488 SOS 1132033 HAS SOPS 1128975 HAS SOUS 10062 HAS SOUPS 9861 WITH SCORE 10993.033
AT ITER 723 NEW BEST:: SOT 2487488 SOS 1130161 HAS SOPS 1127103 HAS SOUS 10062 HAS SOUPS 9861 WITH SCORE 10991.161
AT ITER 731 NEW BEST:: SOT 2487488 SOS 1130141 HAS SOPS 1127083 HAS SOUS 10057 HAS SOUPS 9856 WITH SCORE 10986.141
AT ITER 745 NEW BEST:: SOT 2487488 SOS 1130707 HAS SOPS 1127649 HAS SOUS 10033 HAS SOUPS 9832 WITH SCORE 10962.707
AT ITER 748 NEW BEST:: SOT 2555381 SOS 1197802 HAS SOPS 1194520 HAS SOUS 9998 HAS SOUPS 9764 WITH SCORE 10961.802
AT ITER 760 NEW BEST:: SOT 2555381 SOS 1197795 HAS SOPS 1194513 HAS SOUS 9998 HAS SOUPS 9764 WITH SCORE 10961.795
AT ITER 762 NEW BEST:: SOT 2555381 SOS 1196753 HAS SOPS 1193474 HAS SOUS 9997 HAS SOUPS 9763 WITH SCORE 10959.753
AT ITER 783 NEW BEST:: SOT 2555381 SOS 1196717 HAS SOPS 1193438 HAS SOUS 9997 HAS SOUPS 9763 WITH SCORE 10959.717
AT ITER 787 NEW BEST:: SOT 2555249 SOS 1196456 HAS SOPS 1193177 HAS SOUS 9945 HAS SOUPS 9711 WITH SCORE 10907.456
AT ITER 791 NEW BEST:: SOT 2555241 SOS 1196436 HAS SOPS 1193157 HAS SOUS 9943 HAS SOUPS 9709 WITH SCORE 10905.436
AT ITER 799 NEW BEST:: SOT 2555265 SOS 1196448 HAS SOPS 1193169 HAS SOUS 9913 HAS SOUPS 9679 WITH SCORE 10875.448
AT ITER 805 NEW BEST:: SOT 2555287 SOS 1185154 HAS SOPS 1181875 HAS SOUS 9919 HAS SOUPS 9685 WITH SCORE 10870.154
AT ITER 806 NEW BEST:: SOT 2555287 SOS 1185139 HAS SOPS 1181860 HAS SOUS 9919 HAS SOUPS 9685 WITH SCORE 10870.139
AT ITER 815 NEW BEST:: SOT 2555287 SOS 1187749 HAS SOPS 1184461 HAS SOUS 9916 HAS SOUPS 9682 WITH SCORE 10869.749
AT ITER 831 NEW BEST:: SOT 2555275 SOS 1187833 HAS SOPS 1184395 HAS SOUS 9903 HAS SOUPS 9663 WITH SCORE 10850.833
AT ITER 835 NEW BEST:: SOT 2555275 SOS 1187809 HAS SOPS 1184371 HAS SOUS 9903 HAS SOUPS 9663 WITH SCORE 10850.809
AT ITER 869 NEW BEST:: SOT 2556065 SOS 1188609 HAS SOPS 1185171 HAS SOUS 9893 HAS SOUPS 9653 WITH SCORE 10841.609
AT ITER 874 NEW BEST:: SOT 2556061 SOS 1188421 HAS SOPS 1184983 HAS SOUS 9888 HAS SOUPS 9648 WITH SCORE 10836.421
AT ITER 876 NEW BEST:: SOT 2556045 SOS 1177845 HAS SOPS 1174407 HAS SOUS 9892 HAS SOUPS 9652 WITH SCORE 10829.845
AT ITER 880 NEW BEST:: SOT 2556045 SOS 1177836 HAS SOPS 1174398 HAS SOUS 9892 HAS SOUPS 9652 WITH SCORE 10829.836
AT ITER 895 NEW BEST:: SOT 2556037 SOS 1178331 HAS SOPS 1174851 HAS SOUS 9889 HAS SOUPS 9649 WITH SCORE 10827.331
AT ITER 912 NEW BEST:: SOT 2487305 SOS 1111985 HAS SOPS 1108729 HAS SOUS 9837 HAS SOUPS 9630 WITH SCORE 10741.985
AT ITER 919 NEW BEST:: SOT 2487309 SOS 1107469 HAS SOPS 1104221 HAS SOUS 9817 HAS SOUPS 9610 WITH SCORE 10717.469000000001
AT ITER 925 NEW BEST:: SOT 2487309 SOS 1106699 HAS SOPS 1103449 HAS SOUS 9816 HAS SOUPS 9609 WITH SCORE 10715.699
AT ITER 927 NEW BEST:: SOT 2487315 SOS 1106703 HAS SOPS 1103449 HAS SOUS 9800 HAS SOUPS 9589 WITH SCORE 10695.703
AT ITER 948 NEW BEST:: SOT 2487326 SOS 1101058 HAS SOPS 1097804 HAS SOUS 9803 HAS SOUPS 9592 WITH SCORE 10693.058
AT ITER 953 NEW BEST:: SOT 2487326 SOS 1100218 HAS SOPS 1096964 HAS SOUS 9797 HAS SOUPS 9586 WITH SCORE 10686.218
AT ITER 968 NEW BEST:: SOT 2487245 SOS 1100029 HAS SOPS 1096775 HAS SOUS 9676 HAS SOUPS 9465 WITH SCORE 10565.029
AT ITER 972 NEW BEST:: SOT 2487247 SOS 1096913 HAS SOPS 1093659 HAS SOUS 9677 HAS SOUPS 9466 WITH SCORE 10562.913
AT ITER 973 NEW BEST:: SOT 2487258 SOS 1091402 HAS SOPS 1088148 HAS SOUS 9680 HAS SOUPS 9469 WITH SCORE 10560.402
AT ITER 985 NEW BEST:: SOT 2487291 SOS 1082945 HAS SOPS 1079709 HAS SOUS 9683 HAS SOUPS 9472 WITH SCORE 10554.945
AT ITER 1007 NEW BEST:: SOT 2487287 SOS 1083001 HAS SOPS 1079708 HAS SOUS 9683 HAS SOUPS 9470 WITH SCORE 10553.001
AT ITER 1008 NEW BEST:: SOT 2487258 SOS 1085812 HAS SOPS 1082398 HAS SOUS 9654 HAS SOUPS 9433 WITH SCORE 10518.812
AT ITER 1027 NEW BEST:: SOT 2487225 SOS 1085779 HAS SOPS 1082332 HAS SOUS 9563 HAS SOUPS 9323 WITH SCORE 10408.779
AT ITER 1042 NEW BEST:: SOT 2486013 SOS 1084437 HAS SOPS 1080990 HAS SOUS 9171 HAS SOUPS 8931 WITH SCORE 10015.437
AT ITER 1052 NEW BEST:: SOT 2486013 SOS 1084431 HAS SOPS 1080984 HAS SOUS 9171 HAS SOUPS 8931 WITH SCORE 10015.431
AT ITER 1056 NEW BEST:: SOT 2486020 SOS 1085246 HAS SOPS 1081931 HAS SOUS 9140 HAS SOUPS 8906 WITH SCORE 9991.246
AT ITER 1082 NEW BEST:: SOT 2485861 SOS 1086944 HAS SOPS 1083523 HAS SOUS 9121 HAS SOUPS 8880 WITH SCORE 9966.944
AT ITER 1083 NEW BEST:: SOT 2485861 SOS 1086942 HAS SOPS 1083521 HAS SOUS 9121 HAS SOUPS 8880 WITH SCORE 9966.942
AT ITER 1142 NEW BEST:: SOT 2485861 SOS 1086932 HAS SOPS 1083511 HAS SOUS 9121 HAS SOUPS 8880 WITH SCORE 9966.932
AT ITER 1148 NEW BEST:: SOT 2485861 SOS 1088662 HAS SOPS 1085184 HAS SOUS 9113 HAS SOUPS 8872 WITH SCORE 9960.662
AT ITER 1203 NEW BEST:: SOT 2485861 SOS 1088661 HAS SOPS 1085179 HAS SOUS 9110 HAS SOUPS 8869 WITH SCORE 9957.661
AT ITER 1206 NEW BEST:: SOT 2485861 SOS 1088622 HAS SOPS 1085140 HAS SOUS 9110 HAS SOUPS 8869 WITH SCORE 9957.622
AT ITER 1239 NEW BEST:: SOT 2485892 SOS 1088630 HAS SOPS 1085254 HAS SOUS 9092 HAS SOUPS 8851 WITH SCORE 9939.630000000001
AT ITER 1247 NEW BEST:: SOT 2485888 SOS 1088050 HAS SOPS 1084672 HAS SOUS 9089 HAS SOUPS 8848 WITH SCORE 9936.05
AT ITER 1248 NEW BEST:: SOT 2485867 SOS 1091694 HAS SOPS 1088360 HAS SOUS 9071 HAS SOUPS 8830 WITH SCORE 9921.694
AT ITER 1271 NEW BEST:: SOT 2485876 SOS 1091586 HAS SOPS 1088399 HAS SOUS 9039 HAS SOUPS 8804 WITH SCORE 9895.586
AT ITER 1301 NEW BEST:: SOT 2485876 SOS 1091585 HAS SOPS 1088398 HAS SOUS 9031 HAS SOUPS 8796 WITH SCORE 9887.585
AT ITER 1316 NEW BEST:: SOT 2485889 SOS 1091471 HAS SOPS 1088459 HAS SOUS 9002 HAS SOUPS 8775 WITH SCORE 9866.471
AT ITER 1350 NEW BEST:: SOT 2485847 SOS 1129423 HAS SOPS 1126411 HAS SOUS 8935 HAS SOUPS 8708 WITH SCORE 9837.423
AT ITER 1359 NEW BEST:: SOT 2485848 SOS 1128868 HAS SOPS 1125856 HAS SOUS 8917 HAS SOUPS 8690 WITH SCORE 9818.868
AT ITER 1381 NEW BEST:: SOT 2485848 SOS 1128856 HAS SOPS 1125827 HAS SOUS 8917 HAS SOUPS 8690 WITH SCORE 9818.856
AT ITER 1389 NEW BEST:: SOT 2485848 SOS 1128821 HAS SOPS 1125792 HAS SOUS 8907 HAS SOUPS 8680 WITH SCORE 9808.821
AT ITER 1398 NEW BEST:: SOT 2485848 SOS 1128817 HAS SOPS 1125788 HAS SOUS 8905 HAS SOUPS 8678 WITH SCORE 9806.817
AT ITER 1406 NEW BEST:: SOT 2485824 SOS 1138693 HAS SOPS 1135664 HAS SOUS 8865 HAS SOUPS 8638 WITH SCORE 9776.693
AT ITER 1412 NEW BEST:: SOT 2485816 SOS 1138685 HAS SOPS 1135656 HAS SOUS 8843 HAS SOUPS 8616 WITH SCORE 9754.685
AT ITER 1420 NEW BEST:: SOT 2485816 SOS 1138679 HAS SOPS 1135650 HAS SOUS 8843 HAS SOUPS 8616 WITH SCORE 9754.679
AT ITER 1426 NEW BEST:: SOT 2485839 SOS 1138634 HAS SOPS 1135671 HAS SOUS 8839 HAS SOUPS 8615 WITH SCORE 9753.634
AT ITER 1479 NEW BEST:: SOT 2485839 SOS 1137230 HAS SOPS 1134267 HAS SOUS 8839 HAS SOUPS 8615 WITH SCORE 9752.23
AT ITER 1498 NEW BEST:: SOT 2485829 SOS 1137220 HAS SOPS 1134257 HAS SOUS 8827 HAS SOUPS 8603 WITH SCORE 9740.22
AT ITER 1500 NEW BEST:: SOT 2485829 SOS 1137177 HAS SOPS 1134199 HAS SOUS 8820 HAS SOUPS 8596 WITH SCORE 9733.177
AT ITER 1534 NEW BEST:: SOT 2485829 SOS 1137159 HAS SOPS 1134181 HAS SOUS 8820 HAS SOUPS 8596 WITH SCORE 9733.159
AT ITER 1535 NEW BEST:: SOT 2485884 SOS 1114445 HAS SOPS 1111467 HAS SOUS 8830 HAS SOUPS 8606 WITH SCORE 9720.445
AT ITER 1560 NEW BEST:: SOT 2485884 SOS 1114441 HAS SOPS 1111463 HAS SOUS 8822 HAS SOUPS 8598 WITH SCORE 9712.441
AT ITER 1563 NEW BEST:: SOT 2485890 SOS 1112090 HAS SOPS 1109163 HAS SOUS 8805 HAS SOUPS 8581 WITH SCORE 9693.09
AT ITER 1566 NEW BEST:: SOT 2485890 SOS 1112109 HAS SOPS 1109182 HAS SOUS 8801 HAS SOUPS 8577 WITH SCORE 9689.109
AT ITER 1572 NEW BEST:: SOT 2485848 SOS 1112776 HAS SOPS 1109849 HAS SOUS 8709 HAS SOUPS 8485 WITH SCORE 9597.776
AT ITER 1580 NEW BEST:: SOT 2485848 SOS 1132314 HAS SOPS 1129447 HAS SOUS 8667 HAS SOUPS 8443 WITH SCORE 9575.314
AT ITER 1584 NEW BEST:: SOT 2485869 SOS 1121749 HAS SOPS 1118882 HAS SOUS 8677 HAS SOUPS 8453 WITH SCORE 9574.749
AT ITER 1585 NEW BEST:: SOT 2485933 SOS 1075648 HAS SOPS 1072820 HAS SOUS 8707 HAS SOUPS 8483 WITH SCORE 9558.648
AT ITER 1586 NEW BEST:: SOT 2485926 SOS 1072874 HAS SOPS 1070040 HAS SOUS 8700 HAS SOUPS 8476 WITH SCORE 9548.874
AT ITER 1595 NEW BEST:: SOT 2485920 SOS 1072868 HAS SOPS 1070034 HAS SOUS 8698 HAS SOUPS 8474 WITH SCORE 9546.868
AT ITER 1693 NEW BEST:: SOT 2485920 SOS 1072329 HAS SOPS 1069495 HAS SOUS 8698 HAS SOUPS 8474 WITH SCORE 9546.329
AT ITER 1695 NEW BEST:: SOT 2485914 SOS 1072323 HAS SOPS 1069489 HAS SOUS 8694 HAS SOUPS 8470 WITH SCORE 9542.323
AT ITER 1747 NEW BEST:: SOT 2485914 SOS 1072313 HAS SOPS 1069479 HAS SOUS 8689 HAS SOUPS 8465 WITH SCORE 9537.313
AT ITER 1767 NEW BEST:: SOT 2485914 SOS 1072334 HAS SOPS 1069488 HAS SOUS 8688 HAS SOUPS 8464 WITH SCORE 9536.334
AT ITER 1768 NEW BEST:: SOT 2508038 SOS 1094466 HAS SOPS 1091620 HAS SOUS 8261 HAS SOUPS 8037 WITH SCORE 9131.466
AT ITER 1797 NEW BEST:: SOT 2508046 SOS 1095250 HAS SOPS 1092404 HAS SOUS 8258 HAS SOUPS 8034 WITH SCORE 9129.25
AT ITER 1833 NEW BEST:: SOT 2508043 SOS 1095240 HAS SOPS 1092394 HAS SOUS 8243 HAS SOUPS 8019 WITH SCORE 9114.24
AT ITER 1907 NEW BEST:: SOT 2521297 SOS 1108512 HAS SOPS 1105687 HAS SOUS 7827 HAS SOUPS 7624 WITH SCORE 8732.512
AT ITER 1911 NEW BEST:: SOT 2521241 SOS 1108404 HAS SOPS 1105579 HAS SOUS 7779 HAS SOUPS 7576 WITH SCORE 8684.404
AT ITER 1942 NEW BEST:: SOT 2521285 SOS 1108399 HAS SOPS 1105614 HAS SOUS 7766 HAS SOUPS 7567 WITH SCORE 8675.399
AT ITER 1954 NEW BEST:: SOT 2521289 SOS 1108901 HAS SOPS 1106174 HAS SOUS 7712 HAS SOUPS 7517 WITH SCORE 8625.901
AT ITER 1964 NEW BEST:: SOT 2521313 SOS 1096933 HAS SOPS 1094206 HAS SOUS 7718 HAS SOUPS 7523 WITH SCORE 8619.933
AT ITER 2041 NEW BEST:: SOT 2521322 SOS 1095760 HAS SOPS 1093078 HAS SOUS 7710 HAS SOUPS 7515 WITH SCORE 8610.76
AT ITER 2046 NEW BEST:: SOT 2521322 SOS 1095767 HAS SOPS 1093085 HAS SOUS 7709 HAS SOUPS 7514 WITH SCORE 8609.767
AT ITER 2069 NEW BEST:: SOT 2521322 SOS 1097078 HAS SOPS 1094396 HAS SOUS 7707 HAS SOUPS 7512 WITH SCORE 8609.078
AT ITER 2113 NEW BEST:: SOT 2521326 SOS 1097086 HAS SOPS 1094404 HAS SOUS 7679 HAS SOUPS 7484 WITH SCORE 8581.086
AT ITER 2159 NEW BEST:: SOT 2521324 SOS 1097082 HAS SOPS 1094400 HAS SOUS 7674 HAS SOUPS 7479 WITH SCORE 8576.082
AT ITER 2167 NEW BEST:: SOT 2521322 SOS 1096710 HAS SOPS 1094028 HAS SOUS 7650 HAS SOUPS 7455 WITH SCORE 8551.71
AT ITER 2189 NEW BEST:: SOT 2521553 SOS 1096029 HAS SOPS 1093837 HAS SOUS 7611 HAS SOUPS 7437 WITH SCORE 8533.029
AT ITER 2199 NEW BEST:: SOT 2521552 SOS 1095450 HAS SOPS 1093256 HAS SOUS 7600 HAS SOUPS 7426 WITH SCORE 8521.45
AT ITER 2251 NEW BEST:: SOT 2521552 SOS 1095436 HAS SOPS 1093242 HAS SOUS 7598 HAS SOUPS 7424 WITH SCORE 8519.436
AT ITER 2270 NEW BEST:: SOT 2521517 SOS 1089790 HAS SOPS 1087596 HAS SOUS 7588 HAS SOUPS 7414 WITH SCORE 8503.79
AT ITER 2281 NEW BEST:: SOT 2521517 SOS 1089818 HAS SOPS 1087624 HAS SOUS 7584 HAS SOUPS 7410 WITH SCORE 8499.818
AT ITER 2317 NEW BEST:: SOT 2521511 SOS 1089809 HAS SOPS 1087327 HAS SOUS 7557 HAS SOUPS 7373 WITH SCORE 8462.809
AT ITER 2326 NEW BEST:: SOT 2521511 SOS 1089809 HAS SOPS 1087327 HAS SOUS 7555 HAS SOUPS 7371 WITH SCORE 8460.809
AT ITER 2342 NEW BEST:: SOT 2521511 SOS 1089500 HAS SOPS 1087018 HAS SOUS 7555 HAS SOUPS 7371 WITH SCORE 8460.5
AT ITER 2418 NEW BEST:: SOT 2521511 SOS 1089320 HAS SOPS 1086838 HAS SOUS 7552 HAS SOUPS 7368 WITH SCORE 8457.32
AT ITER 2426 NEW BEST:: SOT 2521511 SOS 1089319 HAS SOPS 1086837 HAS SOUS 7551 HAS SOUPS 7367 WITH SCORE 8456.319
AT ITER 2475 NEW BEST:: SOT 2521511 SOS 1089295 HAS SOPS 1086813 HAS SOUS 7549 HAS SOUPS 7365 WITH SCORE 8454.295
AT ITER 2476 NEW BEST:: SOT 2521515 SOS 1089297 HAS SOPS 1086815 HAS SOUS 7544 HAS SOUPS 7360 WITH SCORE 8449.297
AT ITER 2477 NEW BEST:: SOT 2521554 SOS 1084729 HAS SOPS 1082229 HAS SOUS 7540 HAS SOUPS 7356 WITH SCORE 8440.729
AT ITER 2559 NEW BEST:: SOT 2521554 SOS 1084461 HAS SOPS 1081961 HAS SOUS 7532 HAS SOUPS 7348 WITH SCORE 8432.461
AT ITER 2597 NEW BEST:: SOT 2521549 SOS 1084404 HAS SOPS 1081905 HAS SOUS 7518 HAS SOUPS 7334 WITH SCORE 8418.404
AT ITER 2633 NEW BEST:: SOT 2521548 SOS 1084403 HAS SOPS 1081904 HAS SOUS 7517 HAS SOUPS 7333 WITH SCORE 8417.403
AT ITER 2701 NEW BEST:: SOT 2521488 SOS 1124561 HAS SOPS 1122062 HAS SOUS 7469 HAS SOUPS 7285 WITH SCORE 8409.561
AT ITER 2732 NEW BEST:: SOT 2521488 SOS 1123643 HAS SOPS 1121144 HAS SOUS 7469 HAS SOUPS 7285 WITH SCORE 8408.643
AT ITER 2745 NEW BEST:: SOT 2521486 SOS 1123641 HAS SOPS 1121143 HAS SOUS 7468 HAS SOUPS 7284 WITH SCORE 8407.641
AT ITER 2775 NEW BEST:: SOT 2521494 SOS 1124759 HAS SOPS 1122265 HAS SOUS 7450 HAS SOUPS 7266 WITH SCORE 8390.759
AT ITER 2803 NEW BEST:: SOT 2521472 SOS 1134203 HAS SOPS 1131709 HAS SOUS 7438 HAS SOUPS 7254 WITH SCORE 8388.203
AT ITER 2868 NEW BEST:: SOT 2521493 SOS 1127426 HAS SOPS 1124932 HAS SOUS 7442 HAS SOUPS 7258 WITH SCORE 8385.426
AT ITER 2957 NEW BEST:: SOT 2521493 SOS 1127420 HAS SOPS 1124926 HAS SOUS 7442 HAS SOUPS 7258 WITH SCORE 8385.42
AT ITER 3056 NEW BEST:: SOT 2521488 SOS 1127415 HAS SOPS 1124921 HAS SOUS 7441 HAS SOUPS 7257 WITH SCORE 8384.415
AT ITER 3081 NEW BEST:: SOT 2521488 SOS 1126497 HAS SOPS 1124003 HAS SOUS 7441 HAS SOUPS 7257 WITH SCORE 8383.497
AT ITER 3088 NEW BEST:: SOT 2521488 SOS 1125885 HAS SOPS 1123391 HAS SOUS 7441 HAS SOUPS 7257 WITH SCORE 8382.885
AT ITER 3129 NEW BEST:: SOT 2521488 SOS 1125887 HAS SOPS 1123393 HAS SOUS 7439 HAS SOUPS 7255 WITH SCORE 8380.887
AT ITER 3138 NEW BEST:: SOT 2521488 SOS 1125799 HAS SOPS 1123305 HAS SOUS 7438 HAS SOUPS 7254 WITH SCORE 8379.798999999999
AT ITER 3161 NEW BEST:: SOT 2521496 SOS 1123502 HAS SOPS 1121008 HAS SOUS 7440 HAS SOUPS 7256 WITH SCORE 8379.502
AT ITER 3171 NEW BEST:: SOT 2521468 SOS 1126501 HAS SOPS 1123974 HAS SOUS 7429 HAS SOUPS 7245 WITH SCORE 8371.501
AT ITER 3265 NEW BEST:: SOT 2521468 SOS 1126498 HAS SOPS 1123965 HAS SOUS 7426 HAS SOUPS 7242 WITH SCORE 8368.498
AT ITER 3272 NEW BEST:: SOT 2521464 SOS 1126494 HAS SOPS 1123961 HAS SOUS 7422 HAS SOUPS 7238 WITH SCORE 8364.494
AT ITER 3352 NEW BEST:: SOT 2521464 SOS 1126496 HAS SOPS 1123963 HAS SOUS 7421 HAS SOUPS 7237 WITH SCORE 8363.496
AT ITER 3356 NEW BEST:: SOT 2521492 SOS 1125990 HAS SOPS 1123457 HAS SOUS 7420 HAS SOUPS 7236 WITH SCORE 8361.99
AT ITER 3383 NEW BEST:: SOT 2521475 SOS 1125973 HAS SOPS 1123440 HAS SOUS 7417 HAS SOUPS 7233 WITH SCORE 8358.973
AT ITER 3423 NEW BEST:: SOT 2521475 SOS 1125271 HAS SOPS 1122738 HAS SOUS 7412 HAS SOUPS 7228 WITH SCORE 8353.271
AT ITER 3513 NEW BEST:: SOT 2521477 SOS 1124923 HAS SOPS 1122390 HAS SOUS 7402 HAS SOUPS 7218 WITH SCORE 8342.923
AT ITER 3545 NEW BEST:: SOT 2521470 SOS 1124916 HAS SOPS 1122383 HAS SOUS 7382 HAS SOUPS 7198 WITH SCORE 8322.916
AT ITER 3546 NEW BEST:: SOT 2521470 SOS 1126312 HAS SOPS 1123716 HAS SOUS 7375 HAS SOUPS 7191 WITH SCORE 8317.312
AT ITER 3581 NEW BEST:: SOT 2521470 SOS 1126235 HAS SOPS 1123639 HAS SOUS 7375 HAS SOUPS 7191 WITH SCORE 8317.235
AT ITER 3592 NEW BEST:: SOT 2521469 SOS 1126234 HAS SOPS 1123638 HAS SOUS 7373 HAS SOUPS 7189 WITH SCORE 8315.234
AT ITER 3778 NEW BEST:: SOT 2521466 SOS 1124049 HAS SOPS 1121453 HAS SOUS 7373 HAS SOUPS 7189 WITH SCORE 8313.048999999999
AT ITER 3813 NEW BEST:: SOT 2521463 SOS 1124046 HAS SOPS 1121450 HAS SOUS 7372 HAS SOUPS 7188 WITH SCORE 8312.046
AT ITER 3857 NEW BEST:: SOT 2521463 SOS 1124042 HAS SOPS 1121446 HAS SOUS 7362 HAS SOUPS 7178 WITH SCORE 8302.042
AT ITER 3952 NEW BEST:: SOT 2521463 SOS 1123889 HAS SOPS 1121293 HAS SOUS 7362 HAS SOUPS 7178 WITH SCORE 8301.889
AT ITER 3997 NEW BEST:: SOT 2521434 SOS 1140280 HAS SOPS 1137748 HAS SOUS 7340 HAS SOUPS 7160 WITH SCORE 8300.28
AT ITER 4131 NEW BEST:: SOT 2521434 SOS 1140280 HAS SOPS 1137748 HAS SOUS 7339 HAS SOUPS 7159 WITH SCORE 8299.28
AT ITER 4197 NEW BEST:: SOT 2521436 SOS 1139214 HAS SOPS 1136709 HAS SOUS 7340 HAS SOUPS 7160 WITH SCORE 8299.214
AT ITER 4315 NEW BEST:: SOT 2521443 SOS 1133702 HAS SOPS 1131197 HAS SOUS 7344 HAS SOUPS 7164 WITH SCORE 8297.702
AT ITER 4347 NEW BEST:: SOT 2521443 SOS 1133700 HAS SOPS 1131195 HAS SOUS 7344 HAS SOUPS 7164 WITH SCORE 8297.7
AT ITER 4403 NEW BEST:: SOT 2521443 SOS 1133547 HAS SOPS 1131042 HAS SOUS 7344 HAS SOUPS 7164 WITH SCORE 8297.547
AT ITER 4450 NEW BEST:: SOT 2521433 SOS 1135233 HAS SOPS 1132713 HAS SOUS 7337 HAS SOUPS 7157 WITH SCORE 8292.233
AT ITER 4519 NEW BEST:: SOT 2521411 SOS 1146216 HAS SOPS 1143696 HAS SOUS 7326 HAS SOUPS 7146 WITH SCORE 8292.216
AT ITER 4665 NEW BEST:: SOT 2521430 SOS 1146093 HAS SOPS 1143725 HAS SOUS 7315 HAS SOUPS 7146 WITH SCORE 8292.093
AT ITER 4721 NEW BEST:: SOT 2521425 SOS 1150725 HAS SOPS 1148360 HAS SOUS 7303 HAS SOUPS 7134 WITH SCORE 8284.725
AT ITER 4745 NEW BEST:: SOT 2521425 SOS 1150733 HAS SOPS 1148368 HAS SOUS 7302 HAS SOUPS 7133 WITH SCORE 8283.733
AT ITER 4836 NEW BEST:: SOT 2521429 SOS 1146117 HAS SOPS 1143752 HAS SOUS 7298 HAS SOUPS 7129 WITH SCORE 8275.117
AT ITER 4851 NEW BEST:: SOT 2521429 SOS 1146115 HAS SOPS 1143750 HAS SOUS 7298 HAS SOUPS 7129 WITH SCORE 8275.115
AT ITER 4881 NEW BEST:: SOT 2521435 SOS 1149335 HAS SOPS 1147119 HAS SOUS 7272 HAS SOUPS 7117 WITH SCORE 8266.335
AT ITER 4912 NEW BEST:: SOT 2521435 SOS 1149259 HAS SOPS 1147043 HAS SOUS 7272 HAS SOUPS 7117 WITH SCORE 8266.259
AT ITER 4953 NEW BEST:: SOT 2521449 SOS 1138283 HAS SOPS 1136067 HAS SOUS 7278 HAS SOUPS 7123 WITH SCORE 8261.283
AT ITER 4962 NEW BEST:: SOT 2521449 SOS 1137282 HAS SOPS 1135066 HAS SOUS 7278 HAS SOUPS 7123 WITH SCORE 8260.282
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-00 (EF((! (AF(potential( (tk(P42)) <= (tk(P87)) ))))))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-01 ( ( (AG( potential( ( 1 ) <= (tk(P27)) ))) & (! (AG( potential( (tk(P71)) <= (tk(P13)) )))) ) | (EF((EF(potential( ( 2 ) <= (tk(P35)) ))))) )
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-02 ( ( (AG( (! potential( ( 3 ) <= (tk(P35)) )))) & potential( (tk(P24)) <= (tk(P43)) ) ) | potential( ( 1 ) <= (tk(P30)) ) )
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-03 (EU( ( potential( (tk(P64)) <= (tk(P74)) ) | ( potential( ( 2 ) <= (tk(P19)) ) | potential( ( 3 ) <= (tk(P47)) ) ) ),(AG( potential( (tk(P11)) <= (tk(P53)) ))) ))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-04 (EF(( (EF(potential( ( 3 ) <= (tk(P58)) ))) & ( (! potential( ( 1 ) <= (tk(P80)) )) & (! potential( (tk(P41)) <= (tk(P30)) )) ) )))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-05 (AX( (EU( potential( ( 1 ) <= (tk(P79)) ),potential( ( 2 ) <= (tk(P45)) ) ))))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-06 ( (! (EF((! potential( (tk(P34)) <= (tk(P49)) ))))) & ( (! ( (! potential( (tk(P55)) <= (tk(P69)) )) & (! potential( ( 1 ) <= (tk(P43)) )) )) & ( (EX( potential( ( 1 ) <= (tk(P63)) ))) | (! ( potential( (tk(P60)) <= (tk(P58)) ) & potential( ( 1 ) <= (tk(P22)) ) )) ) ) )
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-07 (AU( potential( ( 2 ) <= (tk(P56)) ),(AG( potential( (tk(P45)) <= (tk(P14)) ))) ))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-08 ( ( potential( (tk(P11)) <= (tk(P51)) ) | (EG( (! potential( ( 2 ) <= (tk(P11)) )))) ) & (EU( (! potential( ( 2 ) <= (tk(P84)) )),( potential( (tk(P50)) <= (tk(P22)) ) & potential( ( 2 ) <= (tk(P58)) ) ) )) )
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-09 (EX( (EF(potential( ( 2 ) <= (tk(P61)) )))))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-10 (AG( (EF(( potential( (tk(P63)) <= (tk(P77)) ) & potential( (tk(P17)) <= (tk(P41)) ) )))))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-11 ( (EU( ( potential( (tk(P36)) <= (tk(P53)) ) | potential( ( 1 ) <= (tk(P57)) ) ),potential( ( 3 ) <= (tk(P87)) ) )) | (AX( potential( ( 3 ) <= (tk(P58)) ))) )
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-12 (EG( (! (AG( potential( ( 1 ) <= (tk(P7)) ))))))
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-13 ( (AG( (EF(potential( ( 1 ) <= (tk(P70)) ))))) & (AG( (EF(potential( ( 1 ) <= (tk(P8)) ))))) )
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-14 ( (! ( potential( ( 3 ) <= (tk(P31)) ) | (! ( potential( ( 3 ) <= (tk(P46)) ) & potential( ( 3 ) <= (tk(P86)) ) )) )) | (EU( ( potential( ( 3 ) <= (tk(P79)) ) | potential( (tk(P40)) <= (tk(P72)) ) ),( potential( ( 2 ) <= (tk(P23)) ) | potential( ( 2 ) <= (tk(P9)) ) ) )) )
PROPERTY: ARMCacheCoherence-PT-none-CTLCardinality-15 (EU( (EF(potential( ( 3 ) <= (tk(P86)) ))),potential( ( 3 ) <= (tk(P25)) ) ))

BK_STOP 1588982349792

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 491 Aborted ${SMART} ${INPUT_SM}

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="CTLCardinality"
export BK_TOOL="smart"
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-4028"
echo " Executing tool smart"
echo " Input is ARMCacheCoherence-PT-none, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897507900003"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;