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-158897507900001.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 StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897507900001
=====================================================================

--------------------
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 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1588978790960

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ARMCacheCoherence (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 2663989 SOS 2595552 HAS SOPS 2560388 HAS SOUS 60862 HAS SOUPS 60698 WITH SCORE 63293.552
AT ITER 3 NEW BEST:: SOT 2656357 SOS 2584851 HAS SOPS 2535816 HAS SOUS 60744 HAS SOUPS 60322 WITH SCORE 62906.851
AT ITER 4 NEW BEST:: SOT 2656357 SOS 2584820 HAS SOPS 2535689 HAS SOUS 60612 HAS SOUPS 60190 WITH SCORE 62774.82
AT ITER 5 NEW BEST:: SOT 2656273 SOS 2584743 HAS SOPS 2535612 HAS SOUS 60563 HAS SOUPS 60141 WITH SCORE 62725.743
AT ITER 10 NEW BEST:: SOT 2655965 SOS 2584438 HAS SOPS 2535149 HAS SOUS 60314 HAS SOUPS 59844 WITH SCORE 62428.438
AT ITER 11 NEW BEST:: SOT 2632069 SOS 2561174 HAS SOPS 2511427 HAS SOUS 59440 HAS SOUPS 58889 WITH SCORE 61450.174
AT ITER 13 NEW BEST:: SOT 2605328 SOS 2534570 HAS SOPS 2484825 HAS SOUS 58817 HAS SOUPS 58266 WITH SCORE 60800.57
AT ITER 14 NEW BEST:: SOT 2605360 SOS 2534335 HAS SOPS 2482894 HAS SOUS 58681 HAS SOUPS 58130 WITH SCORE 60664.335
AT ITER 16 NEW BEST:: SOT 2605360 SOS 2530915 HAS SOPS 2467289 HAS SOUS 56279 HAS SOUPS 55728 WITH SCORE 58258.915
AT ITER 17 NEW BEST:: SOT 2576260 SOS 2502007 HAS SOPS 2438666 HAS SOUS 55601 HAS SOUPS 55012 WITH SCORE 57514.007
AT ITER 19 NEW BEST:: SOT 2576267 SOS 2501674 HAS SOPS 2438333 HAS SOUS 55027 HAS SOUPS 54438 WITH SCORE 56939.674
AT ITER 23 NEW BEST:: SOT 2576207 SOS 2483792 HAS SOPS 2438444 HAS SOUS 50634 HAS SOUPS 50100 WITH SCORE 52583.792
AT ITER 26 NEW BEST:: SOT 2576189 SOS 2483648 HAS SOPS 2438300 HAS SOUS 50355 HAS SOUPS 49821 WITH SCORE 52304.648
AT ITER 29 NEW BEST:: SOT 2576182 SOS 2486435 HAS SOPS 2445656 HAS SOUS 49425 HAS SOUPS 48891 WITH SCORE 51377.435
AT ITER 31 NEW BEST:: SOT 2576127 SOS 2486380 HAS SOPS 2445601 HAS SOUS 49424 HAS SOUPS 48890 WITH SCORE 51376.38
AT ITER 33 NEW BEST:: SOT 2576127 SOS 2474981 HAS SOPS 2441003 HAS SOUS 48198 HAS SOUPS 47691 WITH SCORE 50165.981
AT ITER 37 NEW BEST:: SOT 2576020 SOS 2459703 HAS SOPS 2446386 HAS SOUS 44924 HAS SOUPS 44456 WITH SCORE 46915.703
AT ITER 38 NEW BEST:: SOT 2576020 SOS 2447311 HAS SOPS 2441384 HAS SOUS 41463 HAS SOUPS 41025 WITH SCORE 43472.311
AT ITER 39 NEW BEST:: SOT 2575875 SOS 2447166 HAS SOPS 2441239 HAS SOUS 41425 HAS SOUPS 40987 WITH SCORE 43434.166
AT ITER 41 NEW BEST:: SOT 2575785 SOS 2446956 HAS SOPS 2441029 HAS SOUS 41382 HAS SOUPS 40944 WITH SCORE 43390.956
AT ITER 42 NEW BEST:: SOT 2575785 SOS 2446332 HAS SOPS 2441029 HAS SOUS 37938 HAS SOUPS 37519 WITH SCORE 39965.332
AT ITER 43 NEW BEST:: SOT 2575686 SOS 2446143 HAS SOPS 2440830 HAS SOUS 37929 HAS SOUPS 37510 WITH SCORE 39956.143
AT ITER 44 NEW BEST:: SOT 2571116 SOS 2440998 HAS SOPS 2436101 HAS SOUS 37473 HAS SOUPS 37126 WITH SCORE 39566.998
AT ITER 45 NEW BEST:: SOT 2571104 SOS 2440986 HAS SOPS 2436089 HAS SOUS 37473 HAS SOUPS 37126 WITH SCORE 39566.986
AT ITER 46 NEW BEST:: SOT 2570904 SOS 2440440 HAS SOPS 2435543 HAS SOUS 37217 HAS SOUPS 36870 WITH SCORE 39310.44
AT ITER 48 NEW BEST:: SOT 2438425 SOS 2308478 HAS SOPS 2303094 HAS SOUS 34843 HAS SOUPS 34367 WITH SCORE 36675.478
AT ITER 50 NEW BEST:: SOT 2438421 SOS 2308446 HAS SOPS 2303062 HAS SOUS 34837 HAS SOUPS 34361 WITH SCORE 36669.445999999996
AT ITER 54 NEW BEST:: SOT 2438282 SOS 2193770 HAS SOPS 2182449 HAS SOUS 34508 HAS SOUPS 34032 WITH SCORE 36225.77
AT ITER 56 NEW BEST:: SOT 2438284 SOS 2193382 HAS SOPS 2182061 HAS SOUS 34504 HAS SOUPS 34028 WITH SCORE 36221.382
AT ITER 57 NEW BEST:: SOT 2442463 SOS 2185965 HAS SOPS 2172940 HAS SOUS 33824 HAS SOUPS 33348 WITH SCORE 35533.965
AT ITER 58 NEW BEST:: SOT 2442463 SOS 2184565 HAS SOPS 2171468 HAS SOUS 33532 HAS SOUPS 33056 WITH SCORE 35240.565
AT ITER 63 NEW BEST:: SOT 2442463 SOS 2149066 HAS SOPS 2135121 HAS SOUS 33164 HAS SOUPS 32688 WITH SCORE 34837.066
AT ITER 66 NEW BEST:: SOT 2442475 SOS 2149052 HAS SOPS 2135107 HAS SOUS 33132 HAS SOUPS 32656 WITH SCORE 34805.052
AT ITER 71 NEW BEST:: SOT 2442517 SOS 2138201 HAS SOPS 2121734 HAS SOUS 31998 HAS SOUPS 31522 WITH SCORE 33660.201
AT ITER 72 NEW BEST:: SOT 2442514 SOS 2119202 HAS SOPS 2102735 HAS SOUS 32010 HAS SOUPS 31534 WITH SCORE 33653.202
AT ITER 73 NEW BEST:: SOT 2442328 SOS 2118732 HAS SOPS 2102098 HAS SOUS 30885 HAS SOUPS 30409 WITH SCORE 32527.732
AT ITER 74 NEW BEST:: SOT 2442288 SOS 2118653 HAS SOPS 2102019 HAS SOUS 30875 HAS SOUPS 30399 WITH SCORE 32517.653
AT ITER 75 NEW BEST:: SOT 2481792 SOS 2145402 HAS SOPS 2135734 HAS SOUS 25942 HAS SOUPS 25540 WITH SCORE 27685.402000000002
AT ITER 88 NEW BEST:: SOT 2481903 SOS 2145008 HAS SOPS 2135340 HAS SOUS 25691 HAS SOUPS 25289 WITH SCORE 27434.008
AT ITER 92 NEW BEST:: SOT 2454222 SOS 2117439 HAS SOPS 2107794 HAS SOUS 24745 HAS SOUPS 24343 WITH SCORE 26460.439
AT ITER 96 NEW BEST:: SOT 2454290 SOS 2045002 HAS SOPS 2035357 HAS SOUS 24749 HAS SOUPS 24347 WITH SCORE 26392.002
AT ITER 98 NEW BEST:: SOT 2454293 SOS 2045005 HAS SOPS 2035360 HAS SOUS 24716 HAS SOUPS 24314 WITH SCORE 26359.005
AT ITER 99 NEW BEST:: SOT 2454289 SOS 2044959 HAS SOPS 2035348 HAS SOUS 24633 HAS SOUPS 24235 WITH SCORE 26279.959
AT ITER 106 NEW BEST:: SOT 2476000 SOS 2066336 HAS SOPS 2057059 HAS SOUS 23890 HAS SOUPS 23516 WITH SCORE 25582.336
AT ITER 110 NEW BEST:: SOT 2475450 SOS 2065788 HAS SOPS 2056509 HAS SOUS 23331 HAS SOUPS 22925 WITH SCORE 24990.788
AT ITER 121 NEW BEST:: SOT 2475417 SOS 2065733 HAS SOPS 2056454 HAS SOUS 23318 HAS SOUPS 22912 WITH SCORE 24977.733
AT ITER 122 NEW BEST:: SOT 2475438 SOS 2065866 HAS SOPS 2056587 HAS SOUS 23271 HAS SOUPS 22865 WITH SCORE 24930.866
AT ITER 123 NEW BEST:: SOT 2475126 SOS 2065935 HAS SOPS 2056307 HAS SOUS 23290 HAS SOUPS 22825 WITH SCORE 24890.935
AT ITER 125 NEW BEST:: SOT 2475126 SOS 2065953 HAS SOPS 2056325 HAS SOUS 23285 HAS SOUPS 22820 WITH SCORE 24885.953
AT ITER 126 NEW BEST:: SOT 2475126 SOS 2065937 HAS SOPS 2056309 HAS SOUS 23279 HAS SOUPS 22814 WITH SCORE 24879.936999999998
AT ITER 132 NEW BEST:: SOT 2478909 SOS 2069712 HAS SOPS 2060071 HAS SOUS 23150 HAS SOUPS 22685 WITH SCORE 24754.712
AT ITER 133 NEW BEST:: SOT 2478909 SOS 2068961 HAS SOPS 2059167 HAS SOUS 23134 HAS SOUPS 22669 WITH SCORE 24737.961
AT ITER 137 NEW BEST:: SOT 2433918 SOS 2023998 HAS SOPS 2015227 HAS SOUS 22552 HAS SOUPS 22184 WITH SCORE 24207.998
AT ITER 138 NEW BEST:: SOT 2433921 SOS 2042989 HAS SOPS 2034218 HAS SOUS 22531 HAS SOUPS 22163 WITH SCORE 24205.989
AT ITER 140 NEW BEST:: SOT 2434757 SOS 2038959 HAS SOPS 2030156 HAS SOUS 22526 HAS SOUPS 22158 WITH SCORE 24196.959
AT ITER 152 NEW BEST:: SOT 2390216 SOS 2044084 HAS SOPS 2040622 HAS SOUS 21690 HAS SOUPS 21493 WITH SCORE 23537.084
AT ITER 157 NEW BEST:: SOT 2390214 SOS 2044082 HAS SOPS 2040620 HAS SOUS 21644 HAS SOUPS 21447 WITH SCORE 23491.082
AT ITER 166 NEW BEST:: SOT 2379790 SOS 2033670 HAS SOPS 2030250 HAS SOUS 21234 HAS SOUPS 21035 WITH SCORE 23068.67
AT ITER 167 NEW BEST:: SOT 2379570 SOS 2036138 HAS SOPS 2032718 HAS SOUS 21171 HAS SOUPS 20972 WITH SCORE 23008.138
AT ITER 170 NEW BEST:: SOT 2379615 SOS 2012952 HAS SOPS 2008636 HAS SOUS 20988 HAS SOUPS 20789 WITH SCORE 22801.952
AT ITER 174 NEW BEST:: SOT 2354218 SOS 1987535 HAS SOPS 1983219 HAS SOUS 20425 HAS SOUPS 20226 WITH SCORE 22213.535
AT ITER 175 NEW BEST:: SOT 2354250 SOS 1987462 HAS SOPS 1983146 HAS SOUS 20395 HAS SOUPS 20196 WITH SCORE 22183.462
AT ITER 177 NEW BEST:: SOT 2354256 SOS 1987480 HAS SOPS 1983152 HAS SOUS 20383 HAS SOUPS 20184 WITH SCORE 22171.48
AT ITER 179 NEW BEST:: SOT 2354450 SOS 1984427 HAS SOPS 1979814 HAS SOUS 20369 HAS SOUPS 20170 WITH SCORE 22154.427
AT ITER 184 NEW BEST:: SOT 2354496 SOS 1984507 HAS SOPS 1979930 HAS SOUS 20320 HAS SOUPS 20121 WITH SCORE 22105.507
AT ITER 185 NEW BEST:: SOT 2354445 SOS 1983802 HAS SOPS 1979225 HAS SOUS 20246 HAS SOUPS 20047 WITH SCORE 22030.802
AT ITER 186 NEW BEST:: SOT 2358386 SOS 1987733 HAS SOPS 1983156 HAS SOUS 20161 HAS SOUPS 19968 WITH SCORE 21955.733
AT ITER 188 NEW BEST:: SOT 2358380 SOS 1989669 HAS SOPS 1986590 HAS SOUS 19696 HAS SOUPS 19506 WITH SCORE 21495.669
AT ITER 190 NEW BEST:: SOT 2358400 SOS 1989715 HAS SOPS 1986696 HAS SOUS 19630 HAS SOUPS 19444 WITH SCORE 21433.715
AT ITER 193 NEW BEST:: SOT 2357040 SOS 1988316 HAS SOPS 1985297 HAS SOUS 19386 HAS SOUPS 19200 WITH SCORE 21188.316
AT ITER 201 NEW BEST:: SOT 2331018 SOS 1962260 HAS SOPS 1959478 HAS SOUS 19054 HAS SOUPS 18918 WITH SCORE 20880.26
AT ITER 212 NEW BEST:: SOT 2330986 SOS 1958516 HAS SOPS 1957743 HAS SOUS 15872 HAS SOUPS 15745 WITH SCORE 17703.516
AT ITER 214 NEW BEST:: SOT 2322430 SOS 1949960 HAS SOPS 1949187 HAS SOUS 15648 HAS SOUPS 15521 WITH SCORE 17470.96
AT ITER 215 NEW BEST:: SOT 2322420 SOS 1943012 HAS SOPS 1942239 HAS SOUS 15637 HAS SOUPS 15510 WITH SCORE 17453.012
AT ITER 216 NEW BEST:: SOT 2322429 SOS 1942976 HAS SOPS 1942203 HAS SOUS 15631 HAS SOUPS 15504 WITH SCORE 17446.976
AT ITER 219 NEW BEST:: SOT 2322430 SOS 1880532 HAS SOPS 1879759 HAS SOUS 15473 HAS SOUPS 15346 WITH SCORE 17226.532
AT ITER 223 NEW BEST:: SOT 2322436 SOS 1880535 HAS SOPS 1879771 HAS SOUS 15423 HAS SOUPS 15299 WITH SCORE 17179.535
AT ITER 226 NEW BEST:: SOT 2322416 SOS 1880515 HAS SOPS 1879751 HAS SOUS 15398 HAS SOUPS 15274 WITH SCORE 17154.515
AT ITER 229 NEW BEST:: SOT 2322481 SOS 1839099 HAS SOPS 1838335 HAS SOUS 15367 HAS SOUPS 15243 WITH SCORE 17082.099
AT ITER 231 NEW BEST:: SOT 2408738 SOS 1925356 HAS SOPS 1924592 HAS SOUS 14023 HAS SOUPS 13899 WITH SCORE 15824.356
AT ITER 235 NEW BEST:: SOT 2408686 SOS 1925304 HAS SOPS 1924540 HAS SOUS 14000 HAS SOUPS 13876 WITH SCORE 15801.304
AT ITER 238 NEW BEST:: SOT 2408948 SOS 1925672 HAS SOPS 1924921 HAS SOUS 13981 HAS SOUPS 13858 WITH SCORE 15783.672
AT ITER 240 NEW BEST:: SOT 2408870 SOS 1925541 HAS SOPS 1924790 HAS SOUS 13968 HAS SOUPS 13845 WITH SCORE 15770.541
AT ITER 246 NEW BEST:: SOT 2408823 SOS 1925494 HAS SOPS 1924743 HAS SOUS 13954 HAS SOUPS 13831 WITH SCORE 15756.494
AT ITER 249 NEW BEST:: SOT 2408820 SOS 1925488 HAS SOPS 1924737 HAS SOUS 13936 HAS SOUPS 13813 WITH SCORE 15738.488
AT ITER 251 NEW BEST:: SOT 2415458 SOS 1713926 HAS SOPS 1713175 HAS SOUS 12820 HAS SOUPS 12697 WITH SCORE 14410.926
AT ITER 255 NEW BEST:: SOT 2415454 SOS 1713922 HAS SOPS 1713171 HAS SOUS 12811 HAS SOUPS 12688 WITH SCORE 14401.922
AT ITER 263 NEW BEST:: SOT 2415462 SOS 1696919 HAS SOPS 1696168 HAS SOUS 12813 HAS SOUPS 12690 WITH SCORE 14386.919
AT ITER 264 NEW BEST:: SOT 2415462 SOS 1696883 HAS SOPS 1696132 HAS SOUS 12806 HAS SOUPS 12683 WITH SCORE 14379.883
AT ITER 265 NEW BEST:: SOT 2415514 SOS 1628910 HAS SOPS 1628159 HAS SOUS 12820 HAS SOUPS 12697 WITH SCORE 14325.91
AT ITER 269 NEW BEST:: SOT 2416381 SOS 1629759 HAS SOPS 1629008 HAS SOUS 12768 HAS SOUPS 12645 WITH SCORE 14274.759
AT ITER 270 NEW BEST:: SOT 2416459 SOS 1629813 HAS SOPS 1629070 HAS SOUS 12502 HAS SOUPS 12391 WITH SCORE 14020.813
AT ITER 280 NEW BEST:: SOT 2416435 SOS 1590658 HAS SOPS 1589915 HAS SOUS 12444 HAS SOUPS 12333 WITH SCORE 13923.658
AT ITER 283 NEW BEST:: SOT 2416439 SOS 1583639 HAS SOPS 1582896 HAS SOUS 12416 HAS SOUPS 12305 WITH SCORE 13888.639
AT ITER 285 NEW BEST:: SOT 2416702 SOS 1583870 HAS SOPS 1583151 HAS SOUS 11941 HAS SOUPS 11834 WITH SCORE 13417.87
AT ITER 308 NEW BEST:: SOT 2416742 SOS 1554534 HAS SOPS 1553815 HAS SOUS 11949 HAS SOUPS 11842 WITH SCORE 13396.534
AT ITER 324 NEW BEST:: SOT 2416720 SOS 1547634 HAS SOPS 1546915 HAS SOUS 11874 HAS SOUPS 11767 WITH SCORE 13314.634
AT ITER 326 NEW BEST:: SOT 2417917 SOS 1548831 HAS SOPS 1548112 HAS SOUS 11568 HAS SOUPS 11461 WITH SCORE 13009.831
AT ITER 327 NEW BEST:: SOT 2417944 SOS 1548845 HAS SOPS 1548126 HAS SOUS 11554 HAS SOUPS 11447 WITH SCORE 12995.845
AT ITER 330 NEW BEST:: SOT 2417944 SOS 1548848 HAS SOPS 1548129 HAS SOUS 11551 HAS SOUPS 11444 WITH SCORE 12992.848
AT ITER 332 NEW BEST:: SOT 2417948 SOS 1538686 HAS SOPS 1537967 HAS SOUS 11551 HAS SOUPS 11444 WITH SCORE 12982.686
AT ITER 346 NEW BEST:: SOT 2417982 SOS 1524412 HAS SOPS 1523693 HAS SOUS 11547 HAS SOUPS 11440 WITH SCORE 12964.412
AT ITER 352 NEW BEST:: SOT 2418335 SOS 1524782 HAS SOPS 1524063 HAS SOUS 11513 HAS SOUPS 11406 WITH SCORE 12930.782
AT ITER 358 NEW BEST:: SOT 2417643 SOS 1524102 HAS SOPS 1523383 HAS SOUS 11513 HAS SOUPS 11406 WITH SCORE 12930.102
AT ITER 360 NEW BEST:: SOT 2417643 SOS 1524075 HAS SOPS 1523356 HAS SOUS 11513 HAS SOUPS 11406 WITH SCORE 12930.075
AT ITER 361 NEW BEST:: SOT 2417460 SOS 1523885 HAS SOPS 1523170 HAS SOUS 11294 HAS SOUPS 11203 WITH SCORE 12726.885
AT ITER 373 NEW BEST:: SOT 2417474 SOS 1522371 HAS SOPS 1521656 HAS SOUS 11266 HAS SOUPS 11175 WITH SCORE 12697.371
AT ITER 392 NEW BEST:: SOT 2417494 SOS 1522397 HAS SOPS 1521682 HAS SOUS 11258 HAS SOUPS 11167 WITH SCORE 12689.397
AT ITER 411 NEW BEST:: SOT 2417476 SOS 1526951 HAS SOPS 1526236 HAS SOUS 11249 HAS SOUPS 11158 WITH SCORE 12684.951000000001
AT ITER 424 NEW BEST:: SOT 2417500 SOS 1493594 HAS SOPS 1492879 HAS SOUS 11258 HAS SOUPS 11167 WITH SCORE 12660.594000000001
AT ITER 440 NEW BEST:: SOT 2417500 SOS 1493551 HAS SOPS 1492836 HAS SOUS 11249 HAS SOUPS 11158 WITH SCORE 12651.551
AT ITER 445 NEW BEST:: SOT 2417485 SOS 1493536 HAS SOPS 1492821 HAS SOUS 11234 HAS SOUPS 11143 WITH SCORE 12636.536
AT ITER 448 NEW BEST:: SOT 2417290 SOS 1493341 HAS SOPS 1492628 HAS SOUS 11097 HAS SOUPS 11002 WITH SCORE 12495.341
AT ITER 452 NEW BEST:: SOT 2417292 SOS 1491026 HAS SOPS 1490313 HAS SOUS 11096 HAS SOUPS 11001 WITH SCORE 12492.026
AT ITER 460 NEW BEST:: SOT 2426725 SOS 1500557 HAS SOPS 1499900 HAS SOUS 10390 HAS SOUPS 10291 WITH SCORE 11791.557
AT ITER 474 NEW BEST:: SOT 2426662 SOS 1500421 HAS SOPS 1499764 HAS SOUS 10390 HAS SOUPS 10291 WITH SCORE 11791.421
AT ITER 475 NEW BEST:: SOT 2426746 SOS 1500374 HAS SOPS 1499717 HAS SOUS 10353 HAS SOUPS 10254 WITH SCORE 11754.374
AT ITER 476 NEW BEST:: SOT 2426719 SOS 1501516 HAS SOPS 1500859 HAS SOUS 10351 HAS SOUPS 10252 WITH SCORE 11753.516
AT ITER 477 NEW BEST:: SOT 2426710 SOS 1501537 HAS SOPS 1500880 HAS SOUS 10339 HAS SOUPS 10240 WITH SCORE 11741.537
AT ITER 478 NEW BEST:: SOT 2426762 SOS 1501657 HAS SOPS 1501000 HAS SOUS 10334 HAS SOUPS 10235 WITH SCORE 11736.657
AT ITER 484 NEW BEST:: SOT 2426674 SOS 1500032 HAS SOPS 1499375 HAS SOUS 10310 HAS SOUPS 10211 WITH SCORE 11711.032
AT ITER 488 NEW BEST:: SOT 2426674 SOS 1496980 HAS SOPS 1496323 HAS SOUS 10310 HAS SOUPS 10211 WITH SCORE 11707.98
AT ITER 490 NEW BEST:: SOT 2426674 SOS 1496920 HAS SOPS 1496263 HAS SOUS 10303 HAS SOUPS 10204 WITH SCORE 11700.92
AT ITER 511 NEW BEST:: SOT 2426648 SOS 1496896 HAS SOPS 1496261 HAS SOUS 10297 HAS SOUPS 10202 WITH SCORE 11698.896
AT ITER 523 NEW BEST:: SOT 2426666 SOS 1476961 HAS SOPS 1476326 HAS SOUS 10297 HAS SOUPS 10202 WITH SCORE 11678.961
AT ITER 525 NEW BEST:: SOT 2426666 SOS 1476201 HAS SOPS 1475566 HAS SOUS 10297 HAS SOUPS 10202 WITH SCORE 11678.201000000001
AT ITER 543 NEW BEST:: SOT 2426758 SOS 1465686 HAS SOPS 1465051 HAS SOUS 10293 HAS SOUPS 10198 WITH SCORE 11663.686
AT ITER 556 NEW BEST:: SOT 2426702 SOS 1465498 HAS SOPS 1464863 HAS SOUS 10274 HAS SOUPS 10179 WITH SCORE 11644.498
AT ITER 558 NEW BEST:: SOT 2427010 SOS 1329129 HAS SOPS 1328494 HAS SOUS 10396 HAS SOUPS 10301 WITH SCORE 11630.129
AT ITER 560 NEW BEST:: SOT 2427010 SOS 1329076 HAS SOPS 1328441 HAS SOUS 10387 HAS SOUPS 10292 WITH SCORE 11621.076000000001
AT ITER 568 NEW BEST:: SOT 2427010 SOS 1327699 HAS SOPS 1327064 HAS SOUS 10387 HAS SOUPS 10292 WITH SCORE 11619.699
AT ITER 574 NEW BEST:: SOT 2427279 SOS 1229478 HAS SOPS 1228843 HAS SOUS 10430 HAS SOUPS 10335 WITH SCORE 11564.478
AT ITER 582 NEW BEST:: SOT 2427279 SOS 1229220 HAS SOPS 1228585 HAS SOUS 10424 HAS SOUPS 10329 WITH SCORE 11558.22
AT ITER 603 NEW BEST:: SOT 2349004 SOS 1150913 HAS SOPS 1150278 HAS SOUS 10002 HAS SOUPS 9907 WITH SCORE 11057.913
AT ITER 614 NEW BEST:: SOT 2348937 SOS 1150761 HAS SOPS 1150126 HAS SOUS 9968 HAS SOUPS 9873 WITH SCORE 11023.761
AT ITER 623 NEW BEST:: SOT 2348919 SOS 1150731 HAS SOPS 1150096 HAS SOUS 9956 HAS SOUPS 9861 WITH SCORE 11011.731
AT ITER 628 NEW BEST:: SOT 2348929 SOS 1150740 HAS SOPS 1150094 HAS SOUS 9953 HAS SOUPS 9856 WITH SCORE 11006.74
AT ITER 632 NEW BEST:: SOT 2348508 SOS 1151178 HAS SOPS 1150024 HAS SOUS 9971 HAS SOUPS 9849 WITH SCORE 11000.178
AT ITER 639 NEW BEST:: SOT 2348508 SOS 1149772 HAS SOPS 1148618 HAS SOUS 9962 HAS SOUPS 9840 WITH SCORE 10989.772
AT ITER 644 NEW BEST:: SOT 2348514 SOS 1128767 HAS SOPS 1127613 HAS SOUS 9962 HAS SOUPS 9840 WITH SCORE 10968.767
AT ITER 655 NEW BEST:: SOT 2348514 SOS 1127849 HAS SOPS 1126695 HAS SOUS 9962 HAS SOUPS 9840 WITH SCORE 10967.849
AT ITER 680 NEW BEST:: SOT 2348514 SOS 1127564 HAS SOPS 1126737 HAS SOUS 9945 HAS SOUPS 9840 WITH SCORE 10967.564
AT ITER 695 NEW BEST:: SOT 2348514 SOS 1127037 HAS SOPS 1126210 HAS SOUS 9926 HAS SOUPS 9821 WITH SCORE 10948.037
AT ITER 696 NEW BEST:: SOT 2348514 SOS 1126287 HAS SOPS 1125346 HAS SOUS 9926 HAS SOUPS 9815 WITH SCORE 10941.287
AT ITER 709 NEW BEST:: SOT 2348505 SOS 1126278 HAS SOPS 1125337 HAS SOUS 9909 HAS SOUPS 9798 WITH SCORE 10924.278
AT ITER 713 NEW BEST:: SOT 2346019 SOS 1123794 HAS SOPS 1122855 HAS SOUS 9904 HAS SOUPS 9793 WITH SCORE 10916.794
AT ITER 723 NEW BEST:: SOT 2346054 SOS 1106581 HAS SOPS 1105642 HAS SOUS 9912 HAS SOUPS 9801 WITH SCORE 10907.581
AT ITER 734 NEW BEST:: SOT 2346081 SOS 1066684 HAS SOPS 1065745 HAS SOUS 9895 HAS SOUPS 9784 WITH SCORE 10850.684
AT ITER 760 NEW BEST:: SOT 2346081 SOS 1064878 HAS SOPS 1063939 HAS SOUS 9889 HAS SOUPS 9778 WITH SCORE 10842.878
AT ITER 770 NEW BEST:: SOT 2346089 SOS 1064832 HAS SOPS 1063939 HAS SOUS 9855 HAS SOUPS 9746 WITH SCORE 10810.832
AT ITER 813 NEW BEST:: SOT 2346089 SOS 1064824 HAS SOPS 1063931 HAS SOUS 9855 HAS SOUPS 9746 WITH SCORE 10810.824
AT ITER 842 NEW BEST:: SOT 2346089 SOS 1064809 HAS SOPS 1063916 HAS SOUS 9855 HAS SOUPS 9746 WITH SCORE 10810.809
AT ITER 848 NEW BEST:: SOT 2346089 SOS 1063405 HAS SOPS 1062512 HAS SOUS 9855 HAS SOUPS 9746 WITH SCORE 10809.405
AT ITER 853 NEW BEST:: SOT 2346089 SOS 1063403 HAS SOPS 1062510 HAS SOUS 9854 HAS SOUPS 9745 WITH SCORE 10808.403
AT ITER 855 NEW BEST:: SOT 2346138 SOS 1030355 HAS SOPS 1029462 HAS SOUS 9880 HAS SOUPS 9771 WITH SCORE 10801.355
AT ITER 860 NEW BEST:: SOT 2346138 SOS 1029727 HAS SOPS 1028834 HAS SOUS 9876 HAS SOUPS 9767 WITH SCORE 10796.727
AT ITER 892 NEW BEST:: SOT 2346138 SOS 1029723 HAS SOPS 1028830 HAS SOUS 9876 HAS SOUPS 9767 WITH SCORE 10796.723
AT ITER 897 NEW BEST:: SOT 2346039 SOS 1029620 HAS SOPS 1028727 HAS SOUS 9794 HAS SOUPS 9685 WITH SCORE 10714.62
AT ITER 937 NEW BEST:: SOT 2346039 SOS 1029590 HAS SOPS 1028697 HAS SOUS 9794 HAS SOUPS 9685 WITH SCORE 10714.59
AT ITER 944 NEW BEST:: SOT 2346053 SOS 1019741 HAS SOPS 1018848 HAS SOUS 9771 HAS SOUPS 9662 WITH SCORE 10681.741
AT ITER 945 NEW BEST:: SOT 2346053 SOS 1019733 HAS SOPS 1018840 HAS SOUS 9767 HAS SOUPS 9658 WITH SCORE 10677.733
AT ITER 946 NEW BEST:: SOT 2400720 SOS 1074416 HAS SOPS 1073523 HAS SOUS 9349 HAS SOUPS 9240 WITH SCORE 10314.416
AT ITER 956 NEW BEST:: SOT 2400621 SOS 1074409 HAS SOPS 1073470 HAS SOUS 9303 HAS SOUPS 9194 WITH SCORE 10268.409
AT ITER 978 NEW BEST:: SOT 2400621 SOS 1073282 HAS SOPS 1072343 HAS SOUS 9296 HAS SOUPS 9187 WITH SCORE 10260.282
AT ITER 994 NEW BEST:: SOT 2400609 SOS 1061204 HAS SOPS 1060175 HAS SOUS 9299 HAS SOUPS 9190 WITH SCORE 10251.204
AT ITER 1007 NEW BEST:: SOT 2400602 SOS 1061375 HAS SOPS 1060106 HAS SOUS 9304 HAS SOUPS 9183 WITH SCORE 10244.375
AT ITER 1021 NEW BEST:: SOT 2400596 SOS 1060483 HAS SOPS 1059214 HAS SOUS 9294 HAS SOUPS 9173 WITH SCORE 10233.483
AT ITER 1038 NEW BEST:: SOT 2400587 SOS 1060406 HAS SOPS 1059137 HAS SOUS 9249 HAS SOUPS 9128 WITH SCORE 10188.405999999999
AT ITER 1040 NEW BEST:: SOT 2400587 SOS 1060282 HAS SOPS 1059013 HAS SOUS 9247 HAS SOUPS 9126 WITH SCORE 10186.282
AT ITER 1045 NEW BEST:: SOT 2400589 SOS 1059130 HAS SOPS 1057857 HAS SOUS 9229 HAS SOUPS 9108 WITH SCORE 10167.130000000001
AT ITER 1081 NEW BEST:: SOT 2400595 SOS 1056333 HAS SOPS 1055060 HAS SOUS 9221 HAS SOUPS 9100 WITH SCORE 10156.333
AT ITER 1082 NEW BEST:: SOT 2400595 SOS 1056321 HAS SOPS 1055048 HAS SOUS 9221 HAS SOUPS 9100 WITH SCORE 10156.321
AT ITER 1084 NEW BEST:: SOT 2400629 SOS 1059523 HAS SOPS 1058386 HAS SOUS 9204 HAS SOUPS 9085 WITH SCORE 10144.523
AT ITER 1109 NEW BEST:: SOT 2400621 SOS 1059515 HAS SOPS 1058378 HAS SOUS 9201 HAS SOUPS 9082 WITH SCORE 10141.515
AT ITER 1122 NEW BEST:: SOT 2400612 SOS 1058784 HAS SOPS 1057647 HAS SOUS 9161 HAS SOUPS 9042 WITH SCORE 10100.784
AT ITER 1123 NEW BEST:: SOT 2400612 SOS 1058472 HAS SOPS 1057335 HAS SOUS 9161 HAS SOUPS 9042 WITH SCORE 10100.472
AT ITER 1137 NEW BEST:: SOT 2400612 SOS 1066790 HAS SOPS 1065653 HAS SOUS 9142 HAS SOUPS 9023 WITH SCORE 10089.79
AT ITER 1154 NEW BEST:: SOT 2400612 SOS 1066559 HAS SOPS 1065422 HAS SOUS 9142 HAS SOUPS 9023 WITH SCORE 10089.559
AT ITER 1160 NEW BEST:: SOT 2400612 SOS 1066555 HAS SOPS 1065418 HAS SOUS 9142 HAS SOUPS 9023 WITH SCORE 10089.555
AT ITER 1173 NEW BEST:: SOT 2400613 SOS 1066272 HAS SOPS 1065135 HAS SOUS 9139 HAS SOUPS 9020 WITH SCORE 10086.272
AT ITER 1202 NEW BEST:: SOT 2400613 SOS 1066270 HAS SOPS 1065133 HAS SOUS 9138 HAS SOUPS 9019 WITH SCORE 10085.27
AT ITER 1207 NEW BEST:: SOT 2397131 SOS 1062794 HAS SOPS 1061664 HAS SOUS 9115 HAS SOUPS 9003 WITH SCORE 10065.794
AT ITER 1214 NEW BEST:: SOT 2388497 SOS 1054283 HAS SOPS 1053218 HAS SOUS 9070 HAS SOUPS 8982 WITH SCORE 10036.283
AT ITER 1247 NEW BEST:: SOT 2388497 SOS 1054207 HAS SOPS 1053222 HAS SOUS 9066 HAS SOUPS 8982 WITH SCORE 10036.207
AT ITER 1253 NEW BEST:: SOT 2388497 SOS 1054559 HAS SOPS 1053574 HAS SOUS 9059 HAS SOUPS 8975 WITH SCORE 10029.559
AT ITER 1254 NEW BEST:: SOT 2388483 SOS 1058023 HAS SOPS 1057038 HAS SOUS 9052 HAS SOUPS 8968 WITH SCORE 10026.023
AT ITER 1280 NEW BEST:: SOT 2388473 SOS 1058142 HAS SOPS 1057157 HAS SOUS 9050 HAS SOUPS 8966 WITH SCORE 10024.142
AT ITER 1283 NEW BEST:: SOT 2388473 SOS 1056185 HAS SOPS 1055200 HAS SOUS 9048 HAS SOUPS 8964 WITH SCORE 10020.185
AT ITER 1310 NEW BEST:: SOT 2388473 SOS 1055121 HAS SOPS 1054136 HAS SOUS 9048 HAS SOUPS 8964 WITH SCORE 10019.121
AT ITER 1318 NEW BEST:: SOT 2388501 SOS 1033073 HAS SOPS 1032088 HAS SOUS 9064 HAS SOUPS 8980 WITH SCORE 10013.073
AT ITER 1331 NEW BEST:: SOT 2388516 SOS 1033281 HAS SOPS 1032296 HAS SOUS 9053 HAS SOUPS 8969 WITH SCORE 10002.280999999999
AT ITER 1339 NEW BEST:: SOT 2379870 SOS 1024635 HAS SOPS 1023650 HAS SOUS 8749 HAS SOUPS 8665 WITH SCORE 9689.635
AT ITER 1340 NEW BEST:: SOT 2379870 SOS 1024641 HAS SOPS 1023649 HAS SOUS 8748 HAS SOUPS 8664 WITH SCORE 9688.641
AT ITER 1342 NEW BEST:: SOT 2379870 SOS 1024617 HAS SOPS 1023625 HAS SOUS 8748 HAS SOUPS 8664 WITH SCORE 9688.617
AT ITER 1365 NEW BEST:: SOT 2379870 SOS 1024615 HAS SOPS 1023623 HAS SOUS 8748 HAS SOUPS 8664 WITH SCORE 9688.615
AT ITER 1369 NEW BEST:: SOT 2379867 SOS 1024611 HAS SOPS 1023619 HAS SOUS 8747 HAS SOUPS 8663 WITH SCORE 9687.611
AT ITER 1370 NEW BEST:: SOT 2379891 SOS 1002487 HAS SOPS 1001495 HAS SOUS 8743 HAS SOUPS 8659 WITH SCORE 9661.487
AT ITER 1414 NEW BEST:: SOT 2380106 SOS 1001842 HAS SOPS 1001408 HAS SOUS 8694 HAS SOUPS 8599 WITH SCORE 9600.842
AT ITER 1420 NEW BEST:: SOT 2380106 SOS 1001826 HAS SOPS 1001392 HAS SOUS 8690 HAS SOUPS 8595 WITH SCORE 9596.826000000001
AT ITER 1429 NEW BEST:: SOT 2375854 SOS 997574 HAS SOPS 997140 HAS SOUS 8534 HAS SOUPS 8439 WITH SCORE 9436.574
AT ITER 1432 NEW BEST:: SOT 2375854 SOS 996111 HAS SOPS 995677 HAS SOUS 8534 HAS SOUPS 8439 WITH SCORE 9435.111
AT ITER 1456 NEW BEST:: SOT 2375848 SOS 996105 HAS SOPS 995673 HAS SOUS 8528 HAS SOUPS 8435 WITH SCORE 9431.105
AT ITER 1461 NEW BEST:: SOT 2375848 SOS 996093 HAS SOPS 995661 HAS SOUS 8528 HAS SOUPS 8435 WITH SCORE 9431.093
AT ITER 1467 NEW BEST:: SOT 2375848 SOS 995789 HAS SOPS 995357 HAS SOUS 8528 HAS SOUPS 8435 WITH SCORE 9430.789
AT ITER 1490 NEW BEST:: SOT 2375845 SOS 998090 HAS SOPS 997658 HAS SOUS 8525 HAS SOUPS 8432 WITH SCORE 9430.09
AT ITER 1506 NEW BEST:: SOT 2376017 SOS 997988 HAS SOPS 997556 HAS SOUS 8522 HAS SOUPS 8429 WITH SCORE 9426.988
AT ITER 1515 NEW BEST:: SOT 2376017 SOS 997682 HAS SOPS 997250 HAS SOUS 8522 HAS SOUPS 8429 WITH SCORE 9426.682
AT ITER 1559 NEW BEST:: SOT 2376020 SOS 997685 HAS SOPS 997253 HAS SOUS 8521 HAS SOUPS 8428 WITH SCORE 9425.685
AT ITER 1569 NEW BEST:: SOT 2376016 SOS 1004548 HAS SOPS 1004116 HAS SOUS 8508 HAS SOUPS 8415 WITH SCORE 9419.548
AT ITER 1594 NEW BEST:: SOT 2376016 SOS 1003932 HAS SOPS 1003500 HAS SOUS 8508 HAS SOUPS 8415 WITH SCORE 9418.932
AT ITER 1660 NEW BEST:: SOT 2376016 SOS 1003692 HAS SOPS 1003260 HAS SOUS 8508 HAS SOUPS 8415 WITH SCORE 9418.692
AT ITER 1677 NEW BEST:: SOT 2376016 SOS 1003686 HAS SOPS 1003254 HAS SOUS 8508 HAS SOUPS 8415 WITH SCORE 9418.686
AT ITER 1692 NEW BEST:: SOT 2376016 SOS 1002173 HAS SOPS 1001741 HAS SOUS 8507 HAS SOUPS 8414 WITH SCORE 9416.173
AT ITER 1713 NEW BEST:: SOT 2376009 SOS 1002178 HAS SOPS 1001738 HAS SOUS 8507 HAS SOUPS 8411 WITH SCORE 9413.178
AT ITER 1722 NEW BEST:: SOT 2376093 SOS 1002172 HAS SOPS 1001808 HAS SOUS 8500 HAS SOUPS 8411 WITH SCORE 9413.172
AT ITER 1821 NEW BEST:: SOT 2376076 SOS 1002143 HAS SOPS 1001782 HAS SOUS 8489 HAS SOUPS 8397 WITH SCORE 9399.143
AT ITER 1834 NEW BEST:: SOT 2376106 SOS 1002154 HAS SOPS 1001792 HAS SOUS 8482 HAS SOUPS 8390 WITH SCORE 9392.154
AT ITER 1854 NEW BEST:: SOT 2376106 SOS 1001846 HAS SOPS 1001484 HAS SOUS 8482 HAS SOUPS 8390 WITH SCORE 9391.846
AT ITER 1890 NEW BEST:: SOT 2376067 SOS 1001808 HAS SOPS 1001445 HAS SOUS 8441 HAS SOUPS 8348 WITH SCORE 9349.808
AT ITER 1904 NEW BEST:: SOT 2376078 SOS 999535 HAS SOPS 999172 HAS SOUS 8401 HAS SOUPS 8308 WITH SCORE 9307.535
AT ITER 1905 NEW BEST:: SOT 2376063 SOS 999504 HAS SOPS 999141 HAS SOUS 8399 HAS SOUPS 8306 WITH SCORE 9305.504
AT ITER 1951 NEW BEST:: SOT 2376085 SOS 999144 HAS SOPS 998781 HAS SOUS 8389 HAS SOUPS 8296 WITH SCORE 9295.144
AT ITER 1953 NEW BEST:: SOT 2376069 SOS 999116 HAS SOPS 998753 HAS SOUS 8381 HAS SOUPS 8288 WITH SCORE 9287.116
AT ITER 1975 NEW BEST:: SOT 2376935 SOS 999962 HAS SOPS 999599 HAS SOUS 8377 HAS SOUPS 8284 WITH SCORE 9283.962
AT ITER 1980 NEW BEST:: SOT 2376935 SOS 999958 HAS SOPS 999595 HAS SOUS 8375 HAS SOUPS 8282 WITH SCORE 9281.958
AT ITER 1981 NEW BEST:: SOT 2376920 SOS 999937 HAS SOPS 999567 HAS SOUS 8373 HAS SOUPS 8275 WITH SCORE 9274.937
AT ITER 2012 NEW BEST:: SOT 2376936 SOS 994285 HAS SOPS 993915 HAS SOUS 8371 HAS SOUPS 8273 WITH SCORE 9267.285
AT ITER 2031 NEW BEST:: SOT 2376936 SOS 994276 HAS SOPS 993906 HAS SOUS 8371 HAS SOUPS 8273 WITH SCORE 9267.276
AT ITER 2049 NEW BEST:: SOT 2376936 SOS 994249 HAS SOPS 993879 HAS SOUS 8365 HAS SOUPS 8267 WITH SCORE 9261.249
AT ITER 2062 NEW BEST:: SOT 2376931 SOS 991985 HAS SOPS 991615 HAS SOUS 8356 HAS SOUPS 8258 WITH SCORE 9249.985
AT ITER 2063 NEW BEST:: SOT 2376931 SOS 991981 HAS SOPS 991611 HAS SOUS 8355 HAS SOUPS 8257 WITH SCORE 9248.981
AT ITER 2186 NEW BEST:: SOT 2376899 SOS 991909 HAS SOPS 991539 HAS SOUS 8343 HAS SOUPS 8245 WITH SCORE 9236.909
AT ITER 2187 NEW BEST:: SOT 2376908 SOS 989149 HAS SOPS 988779 HAS SOUS 8345 HAS SOUPS 8247 WITH SCORE 9236.149
AT ITER 2238 NEW BEST:: SOT 2376908 SOS 989149 HAS SOPS 988779 HAS SOUS 8246 HAS SOUPS 8148 WITH SCORE 9137.149
AT ITER 2244 NEW BEST:: SOT 2403557 SOS 1015805 HAS SOPS 1015431 HAS SOUS 8107 HAS SOUPS 8005 WITH SCORE 9020.805
AT ITER 2366 NEW BEST:: SOT 2403557 SOS 1015729 HAS SOPS 1015355 HAS SOUS 8107 HAS SOUPS 8005 WITH SCORE 9020.729
AT ITER 2371 NEW BEST:: SOT 2403557 SOS 1015344 HAS SOPS 1014970 HAS SOUS 8107 HAS SOUPS 8005 WITH SCORE 9020.344000000001
AT ITER 2374 NEW BEST:: SOT 2421996 SOS 1033786 HAS SOPS 1033412 HAS SOUS 7752 HAS SOUPS 7650 WITH SCORE 8683.786
AT ITER 2384 NEW BEST:: SOT 2421996 SOS 1033728 HAS SOPS 1033354 HAS SOUS 7743 HAS SOUPS 7641 WITH SCORE 8674.728
AT ITER 2415 NEW BEST:: SOT 2421972 SOS 1033680 HAS SOPS 1033294 HAS SOUS 7710 HAS SOUPS 7608 WITH SCORE 8641.68
AT ITER 2420 NEW BEST:: SOT 2421979 SOS 1028086 HAS SOPS 1027700 HAS SOUS 7714 HAS SOUPS 7612 WITH SCORE 8640.086
AT ITER 2432 NEW BEST:: SOT 2421968 SOS 1028075 HAS SOPS 1027693 HAS SOUS 7704 HAS SOUPS 7605 WITH SCORE 8633.075
AT ITER 2449 NEW BEST:: SOT 2421935 SOS 1036037 HAS SOPS 1035655 HAS SOUS 7694 HAS SOUPS 7595 WITH SCORE 8631.037
AT ITER 2484 NEW BEST:: SOT 2421965 SOS 1036067 HAS SOPS 1035686 HAS SOUS 7682 HAS SOUPS 7584 WITH SCORE 8620.067
AT ITER 2536 NEW BEST:: SOT 2421961 SOS 1036063 HAS SOPS 1035682 HAS SOUS 7678 HAS SOUPS 7580 WITH SCORE 8616.063
AT ITER 2537 NEW BEST:: SOT 2421961 SOS 1036060 HAS SOPS 1035679 HAS SOUS 7678 HAS SOUPS 7580 WITH SCORE 8616.06
AT ITER 2619 NEW BEST:: SOT 2421954 SOS 1036100 HAS SOPS 1035719 HAS SOUS 7676 HAS SOUPS 7578 WITH SCORE 8614.1
AT ITER 2658 NEW BEST:: SOT 2421924 SOS 1036100 HAS SOPS 1035719 HAS SOUS 7645 HAS SOUPS 7547 WITH SCORE 8583.1
AT ITER 2675 NEW BEST:: SOT 2421914 SOS 1033906 HAS SOPS 1033525 HAS SOUS 7640 HAS SOUPS 7542 WITH SCORE 8575.905999999999
AT ITER 2680 NEW BEST:: SOT 2421882 SOS 1033865 HAS SOPS 1033485 HAS SOUS 7634 HAS SOUPS 7536 WITH SCORE 8569.865
AT ITER 2722 NEW BEST:: SOT 2421872 SOS 1024076 HAS SOPS 1023696 HAS SOUS 7627 HAS SOUPS 7529 WITH SCORE 8553.076000000001
AT ITER 2727 NEW BEST:: SOT 2421865 SOS 1024069 HAS SOPS 1023686 HAS SOUS 7627 HAS SOUPS 7527 WITH SCORE 8551.069
AT ITER 2753 NEW BEST:: SOT 2421861 SOS 1023614 HAS SOPS 1023231 HAS SOUS 7627 HAS SOUPS 7527 WITH SCORE 8550.614
AT ITER 2767 NEW BEST:: SOT 2421858 SOS 1023611 HAS SOPS 1023229 HAS SOUS 7624 HAS SOUPS 7525 WITH SCORE 8548.611
AT ITER 2775 NEW BEST:: SOT 2421858 SOS 1023609 HAS SOPS 1023227 HAS SOUS 7624 HAS SOUPS 7525 WITH SCORE 8548.609
AT ITER 2779 NEW BEST:: SOT 2421858 SOS 1023594 HAS SOPS 1023212 HAS SOUS 7624 HAS SOUPS 7525 WITH SCORE 8548.594000000001
AT ITER 2872 NEW BEST:: SOT 2421858 SOS 1023609 HAS SOPS 1023227 HAS SOUS 7615 HAS SOUPS 7516 WITH SCORE 8539.609
AT ITER 2950 NEW BEST:: SOT 2421829 SOS 1022995 HAS SOPS 1022613 HAS SOUS 7613 HAS SOUPS 7514 WITH SCORE 8536.995
AT ITER 2970 NEW BEST:: SOT 2421801 SOS 1022971 HAS SOPS 1022589 HAS SOUS 7605 HAS SOUPS 7506 WITH SCORE 8528.971
AT ITER 2979 NEW BEST:: SOT 2421801 SOS 1022969 HAS SOPS 1022587 HAS SOUS 7605 HAS SOUPS 7506 WITH SCORE 8528.969000000001
AT ITER 3014 NEW BEST:: SOT 2421801 SOS 1022963 HAS SOPS 1022581 HAS SOUS 7605 HAS SOUPS 7506 WITH SCORE 8528.963
AT ITER 3065 NEW BEST:: SOT 2421796 SOS 1022956 HAS SOPS 1022574 HAS SOUS 7602 HAS SOUPS 7503 WITH SCORE 8525.956
AT ITER 3070 NEW BEST:: SOT 2421796 SOS 1022953 HAS SOPS 1022571 HAS SOUS 7602 HAS SOUPS 7503 WITH SCORE 8525.953
AT ITER 3121 NEW BEST:: SOT 2421793 SOS 1022950 HAS SOPS 1022568 HAS SOUS 7598 HAS SOUPS 7499 WITH SCORE 8521.95
AT ITER 3199 NEW BEST:: SOT 2421785 SOS 1022876 HAS SOPS 1022494 HAS SOUS 7598 HAS SOUPS 7499 WITH SCORE 8521.876
AT ITER 3219 NEW BEST:: SOT 2421791 SOS 1030374 HAS SOPS 1029992 HAS SOUS 7570 HAS SOUPS 7471 WITH SCORE 8501.374
AT ITER 3220 NEW BEST:: SOT 2421771 SOS 1030349 HAS SOPS 1029967 HAS SOUS 7538 HAS SOUPS 7439 WITH SCORE 8469.349
AT ITER 3384 NEW BEST:: SOT 2421781 SOS 1025735 HAS SOPS 1025353 HAS SOUS 7541 HAS SOUPS 7442 WITH SCORE 8467.735
AT ITER 3392 NEW BEST:: SOT 2421781 SOS 1025735 HAS SOPS 1025353 HAS SOUS 7539 HAS SOUPS 7440 WITH SCORE 8465.735
AT ITER 3556 NEW BEST:: SOT 2421781 SOS 1025731 HAS SOPS 1025349 HAS SOUS 7539 HAS SOUPS 7440 WITH SCORE 8465.731
AT ITER 3574 NEW BEST:: SOT 2421796 SOS 1025611 HAS SOPS 1025229 HAS SOUS 7539 HAS SOUPS 7440 WITH SCORE 8465.611
AT ITER 3583 NEW BEST:: SOT 2421807 SOS 1025740 HAS SOPS 1025358 HAS SOUS 7537 HAS SOUPS 7438 WITH SCORE 8463.74
AT ITER 3602 NEW BEST:: SOT 2421806 SOS 1025593 HAS SOPS 1025211 HAS SOUS 7534 HAS SOUPS 7435 WITH SCORE 8460.593
AT ITER 3640 NEW BEST:: SOT 2421806 SOS 1025591 HAS SOPS 1025209 HAS SOUS 7533 HAS SOUPS 7434 WITH SCORE 8459.591
AT ITER 3688 NEW BEST:: SOT 2421831 SOS 1025588 HAS SOPS 1025240 HAS SOUS 7523 HAS SOUPS 7425 WITH SCORE 8450.588
AT ITER 3778 NEW BEST:: SOT 2421840 SOS 1020140 HAS SOPS 1019792 HAS SOUS 7525 HAS SOUPS 7427 WITH SCORE 8447.14
AT ITER 3802 NEW BEST:: SOT 2421840 SOS 1020131 HAS SOPS 1019783 HAS SOUS 7525 HAS SOUPS 7427 WITH SCORE 8447.131
AT ITER 3820 NEW BEST:: SOT 2421837 SOS 1020128 HAS SOPS 1019780 HAS SOUS 7525 HAS SOUPS 7427 WITH SCORE 8447.128
AT ITER 3841 NEW BEST:: SOT 2421825 SOS 1020116 HAS SOPS 1019768 HAS SOUS 7521 HAS SOUPS 7423 WITH SCORE 8443.116
AT ITER 3871 NEW BEST:: SOT 2421789 SOS 1020026 HAS SOPS 1019678 HAS SOUS 7472 HAS SOUPS 7374 WITH SCORE 8394.026
AT ITER 3876 NEW BEST:: SOT 2421788 SOS 1019879 HAS SOPS 1019531 HAS SOUS 7469 HAS SOUPS 7371 WITH SCORE 8390.879
AT ITER 3888 NEW BEST:: SOT 2421790 SOS 1020459 HAS SOPS 1020111 HAS SOUS 7467 HAS SOUPS 7369 WITH SCORE 8389.459
AT ITER 3889 NEW BEST:: SOT 2421814 SOS 1020475 HAS SOPS 1020103 HAS SOUS 7467 HAS SOUPS 7361 WITH SCORE 8381.475
AT ITER 3918 NEW BEST:: SOT 2421814 SOS 1020479 HAS SOPS 1020107 HAS SOUS 7466 HAS SOUPS 7360 WITH SCORE 8380.479
AT ITER 3930 NEW BEST:: SOT 2421808 SOS 1020473 HAS SOPS 1020101 HAS SOUS 7464 HAS SOUPS 7358 WITH SCORE 8378.473
AT ITER 3939 NEW BEST:: SOT 2421686 SOS 1020350 HAS SOPS 1019975 HAS SOUS 7376 HAS SOUPS 7267 WITH SCORE 8287.35
AT ITER 4249 NEW BEST:: SOT 2421742 SOS 1006713 HAS SOPS 1006338 HAS SOUS 7384 HAS SOUPS 7275 WITH SCORE 8281.713
AT ITER 4287 NEW BEST:: SOT 2421742 SOS 1006711 HAS SOPS 1006336 HAS SOUS 7384 HAS SOUPS 7275 WITH SCORE 8281.711
AT ITER 4304 NEW BEST:: SOT 2421741 SOS 1006710 HAS SOPS 1006335 HAS SOUS 7384 HAS SOUPS 7275 WITH SCORE 8281.71
AT ITER 4496 NEW BEST:: SOT 2421741 SOS 1006708 HAS SOPS 1006333 HAS SOUS 7384 HAS SOUPS 7275 WITH SCORE 8281.708
AT ITER 4585 NEW BEST:: SOT 2421741 SOS 1007141 HAS SOPS 1006766 HAS SOUS 7382 HAS SOUPS 7273 WITH SCORE 8280.141
AT ITER 4597 NEW BEST:: SOT 2421743 SOS 1007144 HAS SOPS 1006769 HAS SOUS 7342 HAS SOUPS 7233 WITH SCORE 8240.144
AT ITER 4671 NEW BEST:: SOT 2421741 SOS 1006972 HAS SOPS 1006597 HAS SOUS 7342 HAS SOUPS 7233 WITH SCORE 8239.972
AT ITER 4791 NEW BEST:: SOT 2421741 SOS 1006974 HAS SOPS 1006599 HAS SOUS 7340 HAS SOUPS 7231 WITH SCORE 8237.974
AT ITER 4897 NEW BEST:: SOT 2421748 SOS 1000644 HAS SOPS 1000269 HAS SOUS 7336 HAS SOUPS 7227 WITH SCORE 8227.644
AT ITER 5003 NEW BEST:: SOT 2421748 SOS 1000642 HAS SOPS 1000267 HAS SOUS 7336 HAS SOUPS 7227 WITH SCORE 8227.642
AT ITER 5061 NEW BEST:: SOT 2421753 SOS 1000661 HAS SOPS 1000286 HAS SOUS 7314 HAS SOUPS 7205 WITH SCORE 8205.661
AT ITER 5199 NEW BEST:: SOT 2421753 SOS 1000646 HAS SOPS 1000271 HAS SOUS 7314 HAS SOUPS 7205 WITH SCORE 8205.646
AT ITER 5350 NEW BEST:: SOT 2421745 SOS 1000630 HAS SOPS 1000255 HAS SOUS 7312 HAS SOUPS 7203 WITH SCORE 8203.63
AT ITER 5411 NEW BEST:: SOT 2421745 SOS 1000402 HAS SOPS 1000027 HAS SOUS 7312 HAS SOUPS 7203 WITH SCORE 8203.402
AT ITER 5485 NEW BEST:: SOT 2421745 SOS 1001274 HAS SOPS 1000899 HAS SOUS 7310 HAS SOUPS 7201 WITH SCORE 8202.274
AT ITER 5539 NEW BEST:: SOT 2421745 SOS 1001271 HAS SOPS 1000896 HAS SOUS 7310 HAS SOUPS 7201 WITH SCORE 8202.271
AT ITER 5994 NEW BEST:: SOT 2421761 SOS 1001301 HAS SOPS 1000926 HAS SOUS 7300 HAS SOUPS 7191 WITH SCORE 8192.301
AT ITER 6057 NEW BEST:: SOT 2421761 SOS 1000863 HAS SOPS 1000488 HAS SOUS 7299 HAS SOUPS 7190 WITH SCORE 8190.863
AT ITER 6133 NEW BEST:: SOT 2421764 SOS 998550 HAS SOPS 998175 HAS SOUS 7300 HAS SOUPS 7191 WITH SCORE 8189.55
AT ITER 6512 NEW BEST:: SOT 2421762 SOS 998546 HAS SOPS 998171 HAS SOUS 7299 HAS SOUPS 7190 WITH SCORE 8188.546
AT ITER 6527 NEW BEST:: SOT 2421769 SOS 993142 HAS SOPS 992767 HAS SOUS 7301 HAS SOUPS 7192 WITH SCORE 8185.142
AT ITER 6653 NEW BEST:: SOT 2421769 SOS 992838 HAS SOPS 992463 HAS SOUS 7301 HAS SOUPS 7192 WITH SCORE 8184.838
AT ITER 7085 NEW BEST:: SOT 2421769 SOS 992534 HAS SOPS 992159 HAS SOUS 7301 HAS SOUPS 7192 WITH SCORE 8184.534
AT ITER 7299 NEW BEST:: SOT 2421769 SOS 992528 HAS SOPS 992153 HAS SOUS 7301 HAS SOUPS 7192 WITH SCORE 8184.528
AT ITER 7643 NEW BEST:: SOT 2421776 SOS 985726 HAS SOPS 985351 HAS SOUS 7303 HAS SOUPS 7194 WITH SCORE 8179.726
AT ITER 7861 NEW BEST:: SOT 2421776 SOS 985725 HAS SOPS 985351 HAS SOUS 7303 HAS SOUPS 7194 WITH SCORE 8179.725
AT ITER 8217 NEW BEST:: SOT 2421771 SOS 985849 HAS SOPS 985475 HAS SOUS 7302 HAS SOUPS 7193 WITH SCORE 8178.849
AT ITER 8610 NEW BEST:: SOT 2421771 SOS 985849 HAS SOPS 985475 HAS SOUS 7301 HAS SOUPS 7192 WITH SCORE 8177.849
AT ITER 8758 NEW BEST:: SOT 2421770 SOS 985848 HAS SOPS 985474 HAS SOUS 7301 HAS SOUPS 7192 WITH SCORE 8177.848
AT ITER 8899 NEW BEST:: SOT 2421760 SOS 985836 HAS SOPS 985462 HAS SOUS 7299 HAS SOUPS 7190 WITH SCORE 8175.836
AT ITER 8952 NEW BEST:: SOT 2421714 SOS 985831 HAS SOPS 985453 HAS SOUS 7291 HAS SOUPS 7179 WITH SCORE 8164.831
AT ITER 9121 NEW BEST:: SOT 2421713 SOS 985829 HAS SOPS 985451 HAS SOUS 7282 HAS SOUPS 7170 WITH SCORE 8155.829
AT ITER 9200 NEW BEST:: SOT 2421713 SOS 985827 HAS SOPS 985449 HAS SOUS 7282 HAS SOUPS 7170 WITH SCORE 8155.827

BK_TIME_CONFINEMENT_REACHED

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

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="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 StateSpace"
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-158897507900001"
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 ;