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.r387-oct2-167903711600264.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 smart
Input is ShieldIIPt-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711600264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 452K
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 17:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 17:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 17:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 17:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 17:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 17:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 53K Mar 5 18:23 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 1679063895340

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPt-PT-010A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 193 places, 143 transitions, 606 arcs.
AT ITER 0 NEW BEST:: SOT 22038 SOS 18581 HAS SOPS 18581 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16342.581
AT ITER 5 NEW BEST:: SOT 21985 SOS 18571 HAS SOPS 18571 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16266.571
AT ITER 6 NEW BEST:: SOT 21955 SOS 18541 HAS SOPS 18541 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16236.541
AT ITER 8 NEW BEST:: SOT 21888 SOS 18497 HAS SOPS 18497 HAS SOUS 16172 HAS SOUPS 16172 WITH SCORE 16190.497
AT ITER 9 NEW BEST:: SOT 21822 SOS 18431 HAS SOPS 18431 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16088.431
AT ITER 13 NEW BEST:: SOT 21714 SOS 18179 HAS SOPS 18179 HAS SOUS 15883 HAS SOUPS 15883 WITH SCORE 15901.179
AT ITER 14 NEW BEST:: SOT 21672 SOS 18137 HAS SOPS 18137 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15859.137
AT ITER 15 NEW BEST:: SOT 21611 SOS 18076 HAS SOPS 18076 HAS SOUS 15794 HAS SOUPS 15794 WITH SCORE 15812.076
AT ITER 16 NEW BEST:: SOT 21585 SOS 18050 HAS SOPS 18050 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15770.05
AT ITER 18 NEW BEST:: SOT 21473 SOS 17834 HAS SOPS 17834 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15535.834
AT ITER 19 NEW BEST:: SOT 21473 SOS 17750 HAS SOPS 17750 HAS SOUS 15474 HAS SOUPS 15474 WITH SCORE 15491.75
AT ITER 20 NEW BEST:: SOT 21527 SOS 17701 HAS SOPS 17701 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15465.701
AT ITER 21 NEW BEST:: SOT 21540 SOS 17602 HAS SOPS 17602 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15431.602
AT ITER 23 NEW BEST:: SOT 21537 SOS 17630 HAS SOPS 17630 HAS SOUS 15373 HAS SOUPS 15373 WITH SCORE 15390.63
AT ITER 24 NEW BEST:: SOT 21537 SOS 17567 HAS SOPS 17567 HAS SOUS 15300 HAS SOUPS 15300 WITH SCORE 15317.567
AT ITER 25 NEW BEST:: SOT 21416 SOS 17446 HAS SOPS 17446 HAS SOUS 15223 HAS SOUPS 15223 WITH SCORE 15240.446
AT ITER 26 NEW BEST:: SOT 21403 SOS 17325 HAS SOPS 17325 HAS SOUS 15189 HAS SOUPS 15189 WITH SCORE 15206.325
AT ITER 31 NEW BEST:: SOT 21389 SOS 17311 HAS SOPS 17311 HAS SOUS 15175 HAS SOUPS 15175 WITH SCORE 15192.311
AT ITER 34 NEW BEST:: SOT 21281 SOS 17160 HAS SOPS 17160 HAS SOUS 15020 HAS SOUPS 15020 WITH SCORE 15037.16
AT ITER 36 NEW BEST:: SOT 21260 SOS 17139 HAS SOPS 17139 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15016.139
AT ITER 37 NEW BEST:: SOT 21242 SOS 17121 HAS SOPS 17121 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 14998.121
AT ITER 40 NEW BEST:: SOT 21242 SOS 17016 HAS SOPS 17016 HAS SOUS 14968 HAS SOUPS 14968 WITH SCORE 14985.016
AT ITER 41 NEW BEST:: SOT 21242 SOS 16887 HAS SOPS 16887 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14886.887
AT ITER 44 NEW BEST:: SOT 21119 SOS 16767 HAS SOPS 16767 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14747.767
AT ITER 47 NEW BEST:: SOT 21044 SOS 16692 HAS SOPS 16692 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14672.692
AT ITER 49 NEW BEST:: SOT 21044 SOS 16424 HAS SOPS 16424 HAS SOUS 14598 HAS SOUPS 14598 WITH SCORE 14614.424
AT ITER 51 NEW BEST:: SOT 21044 SOS 16312 HAS SOPS 16312 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14586.312
AT ITER 52 NEW BEST:: SOT 21060 SOS 16328 HAS SOPS 16328 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14570.328
AT ITER 53 NEW BEST:: SOT 21060 SOS 16345 HAS SOPS 16345 HAS SOUS 14537 HAS SOUPS 14537 WITH SCORE 14553.345
AT ITER 54 NEW BEST:: SOT 21072 SOS 16291 HAS SOPS 16291 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14399.291
AT ITER 55 NEW BEST:: SOT 21046 SOS 16099 HAS SOPS 16099 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14217.099
AT ITER 56 NEW BEST:: SOT 21046 SOS 16042 HAS SOPS 16042 HAS SOUS 14137 HAS SOUPS 14137 WITH SCORE 14153.042
AT ITER 62 NEW BEST:: SOT 20975 SOS 15969 HAS SOPS 15969 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14079.969
AT ITER 65 NEW BEST:: SOT 20964 SOS 15958 HAS SOPS 15958 HAS SOUS 14053 HAS SOUPS 14053 WITH SCORE 14068.958
AT ITER 67 NEW BEST:: SOT 20943 SOS 15937 HAS SOPS 15937 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14023.937
AT ITER 68 NEW BEST:: SOT 20918 SOS 15912 HAS SOPS 15912 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 13998.912
AT ITER 69 NEW BEST:: SOT 20842 SOS 15787 HAS SOPS 15787 HAS SOUS 13858 HAS SOUPS 13858 WITH SCORE 13873.787
AT ITER 73 NEW BEST:: SOT 20842 SOS 15810 HAS SOPS 15810 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13862.81
AT ITER 74 NEW BEST:: SOT 20842 SOS 15789 HAS SOPS 15789 HAS SOUS 13829 HAS SOUPS 13829 WITH SCORE 13844.789
AT ITER 75 NEW BEST:: SOT 20842 SOS 15715 HAS SOPS 15715 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13830.715
AT ITER 76 NEW BEST:: SOT 20843 SOS 15713 HAS SOPS 15713 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13828.713
AT ITER 83 NEW BEST:: SOT 20789 SOS 15659 HAS SOPS 15659 HAS SOUS 13728 HAS SOUPS 13728 WITH SCORE 13743.659
AT ITER 85 NEW BEST:: SOT 20789 SOS 15660 HAS SOPS 15660 HAS SOUS 13695 HAS SOUPS 13695 WITH SCORE 13710.66
AT ITER 88 NEW BEST:: SOT 20765 SOS 15638 HAS SOPS 15638 HAS SOUS 13687 HAS SOUPS 13687 WITH SCORE 13702.638
AT ITER 92 NEW BEST:: SOT 20626 SOS 15378 HAS SOPS 15378 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13442.378
AT ITER 93 NEW BEST:: SOT 20521 SOS 15122 HAS SOPS 15122 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13337.122
AT ITER 95 NEW BEST:: SOT 20505 SOS 15058 HAS SOPS 15058 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13305.058
AT ITER 100 NEW BEST:: SOT 20569 SOS 14797 HAS SOPS 14797 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13297.797
AT ITER 101 NEW BEST:: SOT 20569 SOS 14763 HAS SOPS 14763 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13284.763
AT ITER 106 NEW BEST:: SOT 20533 SOS 14687 HAS SOPS 14687 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13222.687
AT ITER 109 NEW BEST:: SOT 20497 SOS 14632 HAS SOPS 14632 HAS SOUS 13153 HAS SOUPS 13153 WITH SCORE 13167.632
AT ITER 110 NEW BEST:: SOT 20467 SOS 14602 HAS SOPS 14602 HAS SOUS 13106 HAS SOUPS 13106 WITH SCORE 13120.602
AT ITER 118 NEW BEST:: SOT 20419 SOS 14554 HAS SOPS 14554 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13096.554
AT ITER 123 NEW BEST:: SOT 20348 SOS 14483 HAS SOPS 14483 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 12982.483
AT ITER 124 NEW BEST:: SOT 20343 SOS 14477 HAS SOPS 14477 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12976.477
AT ITER 125 NEW BEST:: SOT 20343 SOS 14447 HAS SOPS 14447 HAS SOUS 12962 HAS SOUPS 12962 WITH SCORE 12976.447
AT ITER 128 NEW BEST:: SOT 20271 SOS 14375 HAS SOPS 14375 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12904.375
AT ITER 129 NEW BEST:: SOT 20110 SOS 14004 HAS SOPS 14004 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12571.004
AT ITER 133 NEW BEST:: SOT 20050 SOS 14051 HAS SOPS 14051 HAS SOUS 12533 HAS SOUPS 12533 WITH SCORE 12547.051
AT ITER 135 NEW BEST:: SOT 20065 SOS 14066 HAS SOPS 14066 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12534.066
AT ITER 136 NEW BEST:: SOT 19994 SOS 13979 HAS SOPS 13979 HAS SOUS 12450 HAS SOUPS 12450 WITH SCORE 12463.979
AT ITER 137 NEW BEST:: SOT 20054 SOS 13910 HAS SOPS 13910 HAS SOUS 12441 HAS SOUPS 12441 WITH SCORE 12454.91
AT ITER 139 NEW BEST:: SOT 20054 SOS 13709 HAS SOPS 13709 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12414.709
AT ITER 141 NEW BEST:: SOT 20040 SOS 13695 HAS SOPS 13695 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12359.695
AT ITER 144 NEW BEST:: SOT 20040 SOS 13727 HAS SOPS 13727 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12353.727
AT ITER 145 NEW BEST:: SOT 19991 SOS 13641 HAS SOPS 13641 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12285.641
AT ITER 146 NEW BEST:: SOT 19965 SOS 13615 HAS SOPS 13615 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12259.615
AT ITER 148 NEW BEST:: SOT 19878 SOS 13478 HAS SOPS 13478 HAS SOUS 12109 HAS SOUPS 12109 WITH SCORE 12122.478
AT ITER 152 NEW BEST:: SOT 19878 SOS 13391 HAS SOPS 13391 HAS SOUS 12053 HAS SOUPS 12053 WITH SCORE 12066.391
AT ITER 155 NEW BEST:: SOT 19855 SOS 13368 HAS SOPS 13368 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12043.368
AT ITER 156 NEW BEST:: SOT 19855 SOS 13368 HAS SOPS 13368 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12040.368
AT ITER 158 NEW BEST:: SOT 19755 SOS 13256 HAS SOPS 13256 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11944.256
AT ITER 166 NEW BEST:: SOT 19724 SOS 13225 HAS SOPS 13225 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11934.225
AT ITER 172 NEW BEST:: SOT 19844 SOS 13197 HAS SOPS 13197 HAS SOUS 11892 HAS SOUPS 11892 WITH SCORE 11905.197
AT ITER 174 NEW BEST:: SOT 19805 SOS 13114 HAS SOPS 13114 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11852.114
AT ITER 178 NEW BEST:: SOT 19789 SOS 13005 HAS SOPS 13005 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11783.005
AT ITER 181 NEW BEST:: SOT 19735 SOS 12951 HAS SOPS 12951 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11728.951
AT ITER 182 NEW BEST:: SOT 19720 SOS 12921 HAS SOPS 12921 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11698.921
AT ITER 185 NEW BEST:: SOT 19710 SOS 12869 HAS SOPS 12869 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11646.869
AT ITER 188 NEW BEST:: SOT 19676 SOS 12813 HAS SOPS 12813 HAS SOUS 11578 HAS SOUPS 11578 WITH SCORE 11590.813
AT ITER 196 NEW BEST:: SOT 19666 SOS 12803 HAS SOPS 12803 HAS SOUS 11568 HAS SOUPS 11568 WITH SCORE 11580.803
AT ITER 197 NEW BEST:: SOT 19690 SOS 12730 HAS SOPS 12730 HAS SOUS 11546 HAS SOUPS 11546 WITH SCORE 11558.73
AT ITER 204 NEW BEST:: SOT 19690 SOS 12619 HAS SOPS 12619 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11473.619
AT ITER 210 NEW BEST:: SOT 19571 SOS 12613 HAS SOPS 12613 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11467.613
AT ITER 212 NEW BEST:: SOT 19555 SOS 12533 HAS SOPS 12533 HAS SOUS 11423 HAS SOUPS 11423 WITH SCORE 11435.533
AT ITER 220 NEW BEST:: SOT 19555 SOS 12496 HAS SOPS 12496 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11430.496
AT ITER 224 NEW BEST:: SOT 19536 SOS 12455 HAS SOPS 12455 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11392.455
AT ITER 228 NEW BEST:: SOT 19517 SOS 12436 HAS SOPS 12436 HAS SOUS 11361 HAS SOUPS 11361 WITH SCORE 11373.436
AT ITER 230 NEW BEST:: SOT 19445 SOS 12337 HAS SOPS 12337 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11310.337
AT ITER 233 NEW BEST:: SOT 19422 SOS 12312 HAS SOPS 12312 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11285.312
AT ITER 234 NEW BEST:: SOT 19372 SOS 12093 HAS SOPS 12093 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11093.093
AT ITER 236 NEW BEST:: SOT 19298 SOS 12019 HAS SOPS 12019 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11028.019
AT ITER 239 NEW BEST:: SOT 19315 SOS 11945 HAS SOPS 11945 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10953.945
AT ITER 242 NEW BEST:: SOT 19315 SOS 11933 HAS SOPS 11933 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10941.933
AT ITER 244 NEW BEST:: SOT 19308 SOS 11926 HAS SOPS 11926 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10934.926
AT ITER 245 NEW BEST:: SOT 19216 SOS 11834 HAS SOPS 11834 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10853.834
AT ITER 253 NEW BEST:: SOT 19145 SOS 11751 HAS SOPS 11751 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10770.751
AT ITER 262 NEW BEST:: SOT 19145 SOS 11746 HAS SOPS 11746 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10770.746
AT ITER 263 NEW BEST:: SOT 19198 SOS 11593 HAS SOPS 11593 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10748.593
AT ITER 272 NEW BEST:: SOT 19165 SOS 11560 HAS SOPS 11560 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10715.56
AT ITER 274 NEW BEST:: SOT 19135 SOS 11588 HAS SOPS 11588 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10675.588
AT ITER 281 NEW BEST:: SOT 19128 SOS 11581 HAS SOPS 11581 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10668.581
AT ITER 282 NEW BEST:: SOT 19082 SOS 11526 HAS SOPS 11526 HAS SOUS 10602 HAS SOUPS 10602 WITH SCORE 10613.526
AT ITER 284 NEW BEST:: SOT 19023 SOS 11467 HAS SOPS 11467 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10554.467
AT ITER 285 NEW BEST:: SOT 18956 SOS 11366 HAS SOPS 11366 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10467.366
AT ITER 287 NEW BEST:: SOT 18936 SOS 11210 HAS SOPS 11210 HAS SOUS 10335 HAS SOUPS 10335 WITH SCORE 10346.21
AT ITER 289 NEW BEST:: SOT 18871 SOS 11103 HAS SOPS 11103 HAS SOUS 10285 HAS SOUPS 10285 WITH SCORE 10296.103
AT ITER 294 NEW BEST:: SOT 18865 SOS 11093 HAS SOPS 11093 HAS SOUS 10275 HAS SOUPS 10275 WITH SCORE 10286.093
AT ITER 301 NEW BEST:: SOT 18860 SOS 11076 HAS SOPS 11076 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10275.076
AT ITER 304 NEW BEST:: SOT 18713 SOS 10935 HAS SOPS 10935 HAS SOUS 10165 HAS SOUPS 10165 WITH SCORE 10175.935
AT ITER 306 NEW BEST:: SOT 18675 SOS 11031 HAS SOPS 11031 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10172.031
AT ITER 311 NEW BEST:: SOT 18646 SOS 10993 HAS SOPS 10993 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10133.993
AT ITER 313 NEW BEST:: SOT 18623 SOS 10955 HAS SOPS 10955 HAS SOUS 10057 HAS SOUPS 10057 WITH SCORE 10067.955
AT ITER 314 NEW BEST:: SOT 18615 SOS 10943 HAS SOPS 10943 HAS SOUS 10045 HAS SOUPS 10045 WITH SCORE 10055.943
AT ITER 317 NEW BEST:: SOT 18603 SOS 10931 HAS SOPS 10931 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10043.931
AT ITER 324 NEW BEST:: SOT 18603 SOS 10930 HAS SOPS 10930 HAS SOUS 10032 HAS SOUPS 10032 WITH SCORE 10042.93
AT ITER 329 NEW BEST:: SOT 18571 SOS 10884 HAS SOPS 10884 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 9996.884
AT ITER 332 NEW BEST:: SOT 18570 SOS 10883 HAS SOPS 10883 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9995.883
AT ITER 333 NEW BEST:: SOT 18568 SOS 10880 HAS SOPS 10880 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9992.88
AT ITER 334 NEW BEST:: SOT 18555 SOS 10841 HAS SOPS 10841 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9942.841
AT ITER 335 NEW BEST:: SOT 18563 SOS 10831 HAS SOPS 10831 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9933.831
AT ITER 340 NEW BEST:: SOT 18493 SOS 10761 HAS SOPS 10761 HAS SOUS 9853 HAS SOUPS 9853 WITH SCORE 9863.761
AT ITER 341 NEW BEST:: SOT 18493 SOS 10711 HAS SOPS 10711 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9852.711
AT ITER 352 NEW BEST:: SOT 18499 SOS 10697 HAS SOPS 10697 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9838.697
AT ITER 355 NEW BEST:: SOT 18499 SOS 10650 HAS SOPS 10650 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9826.65
AT ITER 356 NEW BEST:: SOT 18497 SOS 10646 HAS SOPS 10646 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9822.646
AT ITER 362 NEW BEST:: SOT 18511 SOS 10592 HAS SOPS 10592 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9774.592
AT ITER 370 NEW BEST:: SOT 18502 SOS 10583 HAS SOPS 10583 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9757.583
AT ITER 371 NEW BEST:: SOT 18437 SOS 10452 HAS SOPS 10452 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9671.452
AT ITER 380 NEW BEST:: SOT 18437 SOS 10451 HAS SOPS 10451 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9659.451
AT ITER 381 NEW BEST:: SOT 18436 SOS 10435 HAS SOPS 10435 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9631.435
AT ITER 387 NEW BEST:: SOT 18458 SOS 10415 HAS SOPS 10415 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9611.415
AT ITER 396 NEW BEST:: SOT 18458 SOS 10359 HAS SOPS 10359 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9595.359
AT ITER 398 NEW BEST:: SOT 18455 SOS 10348 HAS SOPS 10348 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9558.348
AT ITER 400 NEW BEST:: SOT 18455 SOS 10319 HAS SOPS 10319 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9508.319
AT ITER 401 NEW BEST:: SOT 18330 SOS 10194 HAS SOPS 10194 HAS SOUS 9362 HAS SOUPS 9362 WITH SCORE 9372.194
AT ITER 410 NEW BEST:: SOT 18330 SOS 10128 HAS SOPS 10128 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9358.128
AT ITER 411 NEW BEST:: SOT 18327 SOS 10094 HAS SOPS 10094 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9324.094
AT ITER 415 NEW BEST:: SOT 18288 SOS 10035 HAS SOPS 10035 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9265.035
AT ITER 416 NEW BEST:: SOT 18276 SOS 10023 HAS SOPS 10023 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9253.023
AT ITER 421 NEW BEST:: SOT 18276 SOS 10021 HAS SOPS 10021 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9251.021
AT ITER 423 NEW BEST:: SOT 18276 SOS 9965 HAS SOPS 9965 HAS SOUS 9181 HAS SOUPS 9181 WITH SCORE 9190.965
AT ITER 424 NEW BEST:: SOT 18251 SOS 9959 HAS SOPS 9959 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9184.959
AT ITER 425 NEW BEST:: SOT 18208 SOS 9916 HAS SOPS 9916 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9163.916
AT ITER 437 NEW BEST:: SOT 18187 SOS 9849 HAS SOPS 9849 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9096.849
AT ITER 444 NEW BEST:: SOT 18172 SOS 9799 HAS SOPS 9799 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9064.799
AT ITER 447 NEW BEST:: SOT 18161 SOS 9776 HAS SOPS 9776 HAS SOUS 9032 HAS SOUPS 9032 WITH SCORE 9041.776
AT ITER 450 NEW BEST:: SOT 18150 SOS 9765 HAS SOPS 9765 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9030.765
AT ITER 453 NEW BEST:: SOT 18170 SOS 9769 HAS SOPS 9769 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9028.769
AT ITER 463 NEW BEST:: SOT 18170 SOS 9725 HAS SOPS 9725 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9006.725
AT ITER 471 NEW BEST:: SOT 18157 SOS 9681 HAS SOPS 9681 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8982.681
AT ITER 475 NEW BEST:: SOT 18181 SOS 9704 HAS SOPS 9704 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8949.704
AT ITER 478 NEW BEST:: SOT 18181 SOS 9669 HAS SOPS 9669 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8939.669
AT ITER 481 NEW BEST:: SOT 18157 SOS 9665 HAS SOPS 9665 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8935.665
AT ITER 483 NEW BEST:: SOT 18157 SOS 9664 HAS SOPS 9664 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8935.664
AT ITER 489 NEW BEST:: SOT 18158 SOS 9663 HAS SOPS 9663 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8934.663
AT ITER 492 NEW BEST:: SOT 18157 SOS 9728 HAS SOPS 9728 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8933.728
AT ITER 506 NEW BEST:: SOT 18129 SOS 9618 HAS SOPS 9618 HAS SOUS 8814 HAS SOUPS 8814 WITH SCORE 8823.618
AT ITER 507 NEW BEST:: SOT 18112 SOS 9571 HAS SOPS 9571 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8776.571
AT ITER 513 NEW BEST:: SOT 18115 SOS 9579 HAS SOPS 9579 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8765.579
AT ITER 516 NEW BEST:: SOT 18106 SOS 9629 HAS SOPS 9629 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8764.629
AT ITER 523 NEW BEST:: SOT 18097 SOS 9620 HAS SOPS 9620 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8755.62
AT ITER 526 NEW BEST:: SOT 18097 SOS 9620 HAS SOPS 9620 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8736.62
AT ITER 534 NEW BEST:: SOT 18088 SOS 9599 HAS SOPS 9599 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.599
AT ITER 540 NEW BEST:: SOT 18072 SOS 9583 HAS SOPS 9583 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.583
AT ITER 547 NEW BEST:: SOT 18016 SOS 9473 HAS SOPS 9473 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8647.473
AT ITER 548 NEW BEST:: SOT 18012 SOS 9450 HAS SOPS 9450 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8630.45
AT ITER 553 NEW BEST:: SOT 18012 SOS 9445 HAS SOPS 9445 HAS SOUS 8616 HAS SOUPS 8616 WITH SCORE 8625.445
AT ITER 555 NEW BEST:: SOT 17961 SOS 9394 HAS SOPS 9394 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8574.394
AT ITER 557 NEW BEST:: SOT 17961 SOS 9223 HAS SOPS 9223 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8493.223
AT ITER 569 NEW BEST:: SOT 17961 SOS 9242 HAS SOPS 9242 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8481.242
AT ITER 573 NEW BEST:: SOT 17921 SOS 9181 HAS SOPS 9181 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8420.181
AT ITER 581 NEW BEST:: SOT 17911 SOS 9171 HAS SOPS 9171 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8410.171
AT ITER 588 NEW BEST:: SOT 17911 SOS 9115 HAS SOPS 9115 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8382.115
AT ITER 620 NEW BEST:: SOT 17895 SOS 9090 HAS SOPS 9090 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8357.09
AT ITER 621 NEW BEST:: SOT 17883 SOS 9078 HAS SOPS 9078 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8345.078
AT ITER 627 NEW BEST:: SOT 17869 SOS 9064 HAS SOPS 9064 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8331.064
AT ITER 632 NEW BEST:: SOT 17849 SOS 9043 HAS SOPS 9043 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8310.043
AT ITER 634 NEW BEST:: SOT 17830 SOS 9002 HAS SOPS 9002 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8269.002
AT ITER 636 NEW BEST:: SOT 17853 SOS 8938 HAS SOPS 8938 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8246.938
AT ITER 640 NEW BEST:: SOT 17833 SOS 8916 HAS SOPS 8916 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8218.916
AT ITER 641 NEW BEST:: SOT 17833 SOS 8854 HAS SOPS 8854 HAS SOUS 8150 HAS SOUPS 8150 WITH SCORE 8158.854
AT ITER 674 NEW BEST:: SOT 17833 SOS 8853 HAS SOPS 8853 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8157.853
AT ITER 680 NEW BEST:: SOT 17822 SOS 8829 HAS SOPS 8829 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8144.829
AT ITER 683 NEW BEST:: SOT 17822 SOS 8818 HAS SOPS 8818 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8133.818
AT ITER 688 NEW BEST:: SOT 17802 SOS 8754 HAS SOPS 8754 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8083.754
AT ITER 702 NEW BEST:: SOT 17802 SOS 8781 HAS SOPS 8781 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8059.781
AT ITER 706 NEW BEST:: SOT 17791 SOS 8770 HAS SOPS 8770 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8044.77
AT ITER 710 NEW BEST:: SOT 17803 SOS 8768 HAS SOPS 8768 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8042.768
AT ITER 714 NEW BEST:: SOT 17793 SOS 8758 HAS SOPS 8758 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8032.758
AT ITER 715 NEW BEST:: SOT 17789 SOS 8727 HAS SOPS 8727 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8001.727
AT ITER 718 NEW BEST:: SOT 17787 SOS 8768 HAS SOPS 8768 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8000.768
AT ITER 726 NEW BEST:: SOT 17782 SOS 8763 HAS SOPS 8763 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7995.763
AT ITER 727 NEW BEST:: SOT 17755 SOS 8727 HAS SOPS 8727 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7945.727
AT ITER 737 NEW BEST:: SOT 17622 SOS 8457 HAS SOPS 8457 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7690.457
AT ITER 740 NEW BEST:: SOT 17594 SOS 8424 HAS SOPS 8424 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7657.424
AT ITER 741 NEW BEST:: SOT 17591 SOS 8421 HAS SOPS 8421 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7651.421
AT ITER 747 NEW BEST:: SOT 17589 SOS 8419 HAS SOPS 8419 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.419
AT ITER 752 NEW BEST:: SOT 17584 SOS 8417 HAS SOPS 8417 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7634.417
AT ITER 756 NEW BEST:: SOT 17583 SOS 8416 HAS SOPS 8416 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7633.416
AT ITER 769 NEW BEST:: SOT 17538 SOS 8381 HAS SOPS 8381 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7598.381
AT ITER 773 NEW BEST:: SOT 17534 SOS 8353 HAS SOPS 8353 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.353
AT ITER 777 NEW BEST:: SOT 17510 SOS 8330 HAS SOPS 8330 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7544.33
AT ITER 790 NEW BEST:: SOT 17462 SOS 8266 HAS SOPS 8266 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7480.266
AT ITER 793 NEW BEST:: SOT 17436 SOS 8285 HAS SOPS 8285 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7463.285
AT ITER 819 NEW BEST:: SOT 17432 SOS 8277 HAS SOPS 8277 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7455.277
AT ITER 823 NEW BEST:: SOT 17432 SOS 8186 HAS SOPS 8186 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.186
AT ITER 824 NEW BEST:: SOT 17422 SOS 8182 HAS SOPS 8182 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7423.182
AT ITER 826 NEW BEST:: SOT 17422 SOS 8180 HAS SOPS 8180 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.18
AT ITER 827 NEW BEST:: SOT 17388 SOS 8019 HAS SOPS 8019 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7328.019
AT ITER 829 NEW BEST:: SOT 17387 SOS 8018 HAS SOPS 8018 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7323.018
AT ITER 832 NEW BEST:: SOT 17397 SOS 8020 HAS SOPS 8020 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7322.02
AT ITER 836 NEW BEST:: SOT 17398 SOS 8011 HAS SOPS 8011 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7313.011
AT ITER 838 NEW BEST:: SOT 17377 SOS 8007 HAS SOPS 8007 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7296.007
AT ITER 844 NEW BEST:: SOT 17377 SOS 7982 HAS SOPS 7982 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7288.982
AT ITER 866 NEW BEST:: SOT 17372 SOS 7981 HAS SOPS 7981 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7287.981
AT ITER 889 NEW BEST:: SOT 17372 SOS 7971 HAS SOPS 7971 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7281.971
AT ITER 890 NEW BEST:: SOT 17299 SOS 7879 HAS SOPS 7879 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7189.879
AT ITER 897 NEW BEST:: SOT 17242 SOS 7714 HAS SOPS 7714 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7088.714
AT ITER 919 NEW BEST:: SOT 17226 SOS 7682 HAS SOPS 7682 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7056.682
AT ITER 920 NEW BEST:: SOT 17212 SOS 7667 HAS SOPS 7667 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7041.667
AT ITER 922 NEW BEST:: SOT 17212 SOS 7663 HAS SOPS 7663 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7041.663
AT ITER 926 NEW BEST:: SOT 17204 SOS 7660 HAS SOPS 7660 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7030.66
AT ITER 932 NEW BEST:: SOT 17198 SOS 7636 HAS SOPS 7636 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7012.636
AT ITER 941 NEW BEST:: SOT 17195 SOS 7647 HAS SOPS 7647 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7000.647
AT ITER 945 NEW BEST:: SOT 17167 SOS 7609 HAS SOPS 7609 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6962.609
AT ITER 949 NEW BEST:: SOT 17155 SOS 7597 HAS SOPS 7597 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6950.597
AT ITER 956 NEW BEST:: SOT 17152 SOS 7594 HAS SOPS 7594 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6948.594
AT ITER 962 NEW BEST:: SOT 17139 SOS 7590 HAS SOPS 7590 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6944.59
AT ITER 964 NEW BEST:: SOT 17147 SOS 7556 HAS SOPS 7556 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6933.556
AT ITER 981 NEW BEST:: SOT 17147 SOS 7552 HAS SOPS 7552 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6933.552
AT ITER 996 NEW BEST:: SOT 17106 SOS 7519 HAS SOPS 7519 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6876.519
AT ITER 1009 NEW BEST:: SOT 17106 SOS 7518 HAS SOPS 7518 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6876.518
AT ITER 1010 NEW BEST:: SOT 17079 SOS 7477 HAS SOPS 7477 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.477
AT ITER 1017 NEW BEST:: SOT 17065 SOS 7463 HAS SOPS 7463 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6800.463
AT ITER 1028 NEW BEST:: SOT 17065 SOS 7367 HAS SOPS 7367 HAS SOUS 6697 HAS SOUPS 6697 WITH SCORE 6704.367
AT ITER 1036 NEW BEST:: SOT 17055 SOS 7337 HAS SOPS 7337 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6700.337
AT ITER 1049 NEW BEST:: SOT 17044 SOS 7312 HAS SOPS 7312 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6675.312
AT ITER 1053 NEW BEST:: SOT 17045 SOS 7304 HAS SOPS 7304 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6667.304
AT ITER 1058 NEW BEST:: SOT 17033 SOS 7292 HAS SOPS 7292 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6655.292
AT ITER 1059 NEW BEST:: SOT 17033 SOS 7295 HAS SOPS 7295 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6637.295
AT ITER 1060 NEW BEST:: SOT 17030 SOS 7246 HAS SOPS 7246 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6616.246
AT ITER 1073 NEW BEST:: SOT 17019 SOS 7235 HAS SOPS 7235 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6605.235
AT ITER 1082 NEW BEST:: SOT 16999 SOS 7192 HAS SOPS 7192 HAS SOUS 6557 HAS SOUPS 6557 WITH SCORE 6564.192
AT ITER 1095 NEW BEST:: SOT 16989 SOS 7182 HAS SOPS 7182 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6554.182
AT ITER 1102 NEW BEST:: SOT 16940 SOS 7133 HAS SOPS 7133 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6519.133
AT ITER 1105 NEW BEST:: SOT 16916 SOS 7089 HAS SOPS 7089 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.089
AT ITER 1110 NEW BEST:: SOT 16903 SOS 7050 HAS SOPS 7050 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6463.05
AT ITER 1112 NEW BEST:: SOT 16895 SOS 7042 HAS SOPS 7042 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.042
AT ITER 1123 NEW BEST:: SOT 16889 SOS 7016 HAS SOPS 7016 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6419.016
AT ITER 1135 NEW BEST:: SOT 16896 SOS 6997 HAS SOPS 6997 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6399.997
AT ITER 1142 NEW BEST:: SOT 16895 SOS 6995 HAS SOPS 6995 HAS SOUS 6391 HAS SOUPS 6391 WITH SCORE 6397.995
AT ITER 1169 NEW BEST:: SOT 16890 SOS 6987 HAS SOPS 6987 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6389.987
AT ITER 1186 NEW BEST:: SOT 16876 SOS 7016 HAS SOPS 7016 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6380.016
AT ITER 1201 NEW BEST:: SOT 16876 SOS 7002 HAS SOPS 7002 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6366.002
AT ITER 1216 NEW BEST:: SOT 16841 SOS 6966 HAS SOPS 6966 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6363.966
AT ITER 1241 NEW BEST:: SOT 16835 SOS 6956 HAS SOPS 6956 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6355.956
AT ITER 1242 NEW BEST:: SOT 16812 SOS 6953 HAS SOPS 6953 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6352.953
AT ITER 1247 NEW BEST:: SOT 16812 SOS 6935 HAS SOPS 6935 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6334.935
AT ITER 1251 NEW BEST:: SOT 16828 SOS 6836 HAS SOPS 6836 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6284.836
AT ITER 1253 NEW BEST:: SOT 16815 SOS 6743 HAS SOPS 6743 HAS SOUS 6251 HAS SOUPS 6251 WITH SCORE 6257.743
AT ITER 1255 NEW BEST:: SOT 16803 SOS 6719 HAS SOPS 6719 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6233.719
AT ITER 1279 NEW BEST:: SOT 16795 SOS 6715 HAS SOPS 6715 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6230.715
AT ITER 1294 NEW BEST:: SOT 16770 SOS 6693 HAS SOPS 6693 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.693
AT ITER 1306 NEW BEST:: SOT 16763 SOS 6679 HAS SOPS 6679 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6175.679
AT ITER 1312 NEW BEST:: SOT 16743 SOS 6639 HAS SOPS 6639 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6135.639
AT ITER 1330 NEW BEST:: SOT 16743 SOS 6601 HAS SOPS 6601 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6118.601
AT ITER 1332 NEW BEST:: SOT 16705 SOS 6515 HAS SOPS 6515 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6032.515
AT ITER 1337 NEW BEST:: SOT 16705 SOS 6506 HAS SOPS 6506 HAS SOUS 6011 HAS SOUPS 6011 WITH SCORE 6017.506
AT ITER 1343 NEW BEST:: SOT 16690 SOS 6501 HAS SOPS 6501 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 5999.501
AT ITER 1347 NEW BEST:: SOT 16678 SOS 6455 HAS SOPS 6455 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5986.455
AT ITER 1381 NEW BEST:: SOT 16661 SOS 6440 HAS SOPS 6440 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5976.44
AT ITER 1392 NEW BEST:: SOT 16661 SOS 6440 HAS SOPS 6440 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5967.44
AT ITER 1406 NEW BEST:: SOT 16640 SOS 6419 HAS SOPS 6419 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5946.419
AT ITER 1432 NEW BEST:: SOT 16622 SOS 6421 HAS SOPS 6421 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.421
AT ITER 1443 NEW BEST:: SOT 16580 SOS 6359 HAS SOPS 6359 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5876.359
AT ITER 1445 NEW BEST:: SOT 16568 SOS 6317 HAS SOPS 6317 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5823.317
AT ITER 1452 NEW BEST:: SOT 16575 SOS 6324 HAS SOPS 6324 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.324
AT ITER 1455 NEW BEST:: SOT 16569 SOS 6318 HAS SOPS 6318 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5803.318
AT ITER 1458 NEW BEST:: SOT 16592 SOS 6330 HAS SOPS 6330 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5799.33
AT ITER 1474 NEW BEST:: SOT 16590 SOS 6318 HAS SOPS 6318 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5787.318
AT ITER 1488 NEW BEST:: SOT 16580 SOS 6308 HAS SOPS 6308 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5777.308
AT ITER 1492 NEW BEST:: SOT 16571 SOS 6290 HAS SOPS 6290 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.29
AT ITER 1511 NEW BEST:: SOT 16571 SOS 6275 HAS SOPS 6275 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5738.275
AT ITER 1522 NEW BEST:: SOT 16568 SOS 6272 HAS SOPS 6272 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5735.272
AT ITER 1541 NEW BEST:: SOT 16561 SOS 6299 HAS SOPS 6299 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.299
AT ITER 1550 NEW BEST:: SOT 16562 SOS 6296 HAS SOPS 6296 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5681.296
AT ITER 1563 NEW BEST:: SOT 16565 SOS 6257 HAS SOPS 6257 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5678.257
AT ITER 1566 NEW BEST:: SOT 16561 SOS 6261 HAS SOPS 6261 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.261
AT ITER 1581 NEW BEST:: SOT 16581 SOS 6235 HAS SOPS 6235 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.235
AT ITER 1586 NEW BEST:: SOT 16581 SOS 6221 HAS SOPS 6221 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5668.221
AT ITER 1588 NEW BEST:: SOT 16584 SOS 6181 HAS SOPS 6181 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.181
AT ITER 1590 NEW BEST:: SOT 16575 SOS 6168 HAS SOPS 6168 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.168
AT ITER 1607 NEW BEST:: SOT 16578 SOS 6086 HAS SOPS 6086 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.086
AT ITER 1612 NEW BEST:: SOT 16570 SOS 6070 HAS SOPS 6070 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.07
AT ITER 1613 NEW BEST:: SOT 16565 SOS 6063 HAS SOPS 6063 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5606.063
AT ITER 1624 NEW BEST:: SOT 16539 SOS 6037 HAS SOPS 6037 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5580.037
AT ITER 1629 NEW BEST:: SOT 16539 SOS 6009 HAS SOPS 6009 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5552.009
AT ITER 1639 NEW BEST:: SOT 16532 SOS 6001 HAS SOPS 6001 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5542.001
AT ITER 1664 NEW BEST:: SOT 16544 SOS 5988 HAS SOPS 5988 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5528.988
AT ITER 1694 NEW BEST:: SOT 16532 SOS 5976 HAS SOPS 5976 HAS SOUS 5511 HAS SOUPS 5511 WITH SCORE 5516.976
AT ITER 1704 NEW BEST:: SOT 16529 SOS 5973 HAS SOPS 5973 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5513.973
AT ITER 1705 NEW BEST:: SOT 16499 SOS 5886 HAS SOPS 5886 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5426.886
AT ITER 1713 NEW BEST:: SOT 16501 SOS 5877 HAS SOPS 5877 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5423.877
AT ITER 1726 NEW BEST:: SOT 16508 SOS 5844 HAS SOPS 5844 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5417.844
AT ITER 1804 NEW BEST:: SOT 16508 SOS 5820 HAS SOPS 5820 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5393.82
AT ITER 1841 NEW BEST:: SOT 16511 SOS 5816 HAS SOPS 5816 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5389.816
AT ITER 1858 NEW BEST:: SOT 16499 SOS 5800 HAS SOPS 5800 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5385.8
AT ITER 1865 NEW BEST:: SOT 16497 SOS 5798 HAS SOPS 5798 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5385.798
AT ITER 1911 NEW BEST:: SOT 16491 SOS 5794 HAS SOPS 5794 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5381.794
AT ITER 1914 NEW BEST:: SOT 16490 SOS 5796 HAS SOPS 5796 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5380.796
AT ITER 1935 NEW BEST:: SOT 16481 SOS 5784 HAS SOPS 5784 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5368.784
AT ITER 1944 NEW BEST:: SOT 16481 SOS 5782 HAS SOPS 5782 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5367.782
AT ITER 1945 NEW BEST:: SOT 16481 SOS 5775 HAS SOPS 5775 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5367.775
AT ITER 1948 NEW BEST:: SOT 16467 SOS 5735 HAS SOPS 5735 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5334.735
AT ITER 1990 NEW BEST:: SOT 16467 SOS 5731 HAS SOPS 5731 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.731
AT ITER 1991 NEW BEST:: SOT 16466 SOS 5729 HAS SOPS 5729 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5330.729
AT ITER 1997 NEW BEST:: SOT 16459 SOS 5722 HAS SOPS 5722 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5324.722
AT ITER 2000 NEW BEST:: SOT 16448 SOS 5711 HAS SOPS 5711 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5313.711
AT ITER 2009 NEW BEST:: SOT 16418 SOS 5714 HAS SOPS 5714 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5298.714
AT ITER 2010 NEW BEST:: SOT 16406 SOS 5663 HAS SOPS 5663 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5262.663
AT ITER 2015 NEW BEST:: SOT 16409 SOS 5635 HAS SOPS 5635 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5229.635
AT ITER 2021 NEW BEST:: SOT 16409 SOS 5633 HAS SOPS 5633 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5204.633
AT ITER 2060 NEW BEST:: SOT 16365 SOS 5595 HAS SOPS 5595 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5166.595
AT ITER 2078 NEW BEST:: SOT 16331 SOS 5552 HAS SOPS 5552 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.552
AT ITER 2095 NEW BEST:: SOT 16337 SOS 5550 HAS SOPS 5550 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5119.55
AT ITER 2141 NEW BEST:: SOT 16339 SOS 5544 HAS SOPS 5544 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5105.544
AT ITER 2158 NEW BEST:: SOT 16339 SOS 5544 HAS SOPS 5544 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5101.544
AT ITER 2186 NEW BEST:: SOT 16321 SOS 5494 HAS SOPS 5494 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5055.494
AT ITER 2199 NEW BEST:: SOT 16319 SOS 5490 HAS SOPS 5490 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5052.49
AT ITER 2206 NEW BEST:: SOT 16307 SOS 5454 HAS SOPS 5454 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5016.454
AT ITER 2223 NEW BEST:: SOT 16308 SOS 5455 HAS SOPS 5455 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5009.455
AT ITER 2225 NEW BEST:: SOT 16305 SOS 5450 HAS SOPS 5450 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5004.45
AT ITER 2237 NEW BEST:: SOT 16294 SOS 5439 HAS SOPS 5439 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4993.439
AT ITER 2289 NEW BEST:: SOT 16294 SOS 5439 HAS SOPS 5439 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4988.439
AT ITER 2291 NEW BEST:: SOT 16288 SOS 5388 HAS SOPS 5388 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4971.388
AT ITER 2305 NEW BEST:: SOT 16289 SOS 5369 HAS SOPS 5369 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.369
AT ITER 2385 NEW BEST:: SOT 16288 SOS 5367 HAS SOPS 5367 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.367
AT ITER 2436 NEW BEST:: SOT 16288 SOS 5364 HAS SOPS 5364 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.364
AT ITER 2454 NEW BEST:: SOT 16288 SOS 5354 HAS SOPS 5354 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.354
AT ITER 2489 NEW BEST:: SOT 16285 SOS 5345 HAS SOPS 5345 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.345
AT ITER 2509 NEW BEST:: SOT 16282 SOS 5343 HAS SOPS 5343 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.343
AT ITER 2514 NEW BEST:: SOT 16297 SOS 5327 HAS SOPS 5327 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4939.327
AT ITER 2547 NEW BEST:: SOT 16282 SOS 5319 HAS SOPS 5319 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4931.319
AT ITER 2557 NEW BEST:: SOT 16266 SOS 5295 HAS SOPS 5295 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4907.295
AT ITER 2574 NEW BEST:: SOT 16241 SOS 5270 HAS SOPS 5270 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4882.27
AT ITER 2615 NEW BEST:: SOT 16241 SOS 5267 HAS SOPS 5267 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4879.267
AT ITER 2632 NEW BEST:: SOT 16241 SOS 5263 HAS SOPS 5263 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4877.263
AT ITER 2650 NEW BEST:: SOT 16238 SOS 5248 HAS SOPS 5248 HAS SOUS 4862 HAS SOUPS 4862 WITH SCORE 4867.248
AT ITER 2674 NEW BEST:: SOT 16237 SOS 5246 HAS SOPS 5246 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4865.246
AT ITER 2691 NEW BEST:: SOT 16236 SOS 5231 HAS SOPS 5231 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.231
AT ITER 2707 NEW BEST:: SOT 16236 SOS 5225 HAS SOPS 5225 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.225
AT ITER 2751 NEW BEST:: SOT 16233 SOS 5224 HAS SOPS 5224 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4841.224
AT ITER 2760 NEW BEST:: SOT 16229 SOS 5208 HAS SOPS 5208 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4837.208
AT ITER 2818 NEW BEST:: SOT 16223 SOS 5202 HAS SOPS 5202 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4831.202
AT ITER 2821 NEW BEST:: SOT 16209 SOS 5179 HAS SOPS 5179 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.179
AT ITER 2838 NEW BEST:: SOT 16209 SOS 5172 HAS SOPS 5172 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.172
AT ITER 2893 NEW BEST:: SOT 16209 SOS 5172 HAS SOPS 5172 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4793.172
AT ITER 2920 NEW BEST:: SOT 16203 SOS 5150 HAS SOPS 5150 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4746.15
AT ITER 2922 NEW BEST:: SOT 16207 SOS 5146 HAS SOPS 5146 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4738.146
AT ITER 2936 NEW BEST:: SOT 16192 SOS 5121 HAS SOPS 5121 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.121
AT ITER 2962 NEW BEST:: SOT 16180 SOS 5109 HAS SOPS 5109 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4701.109
AT ITER 2976 NEW BEST:: SOT 16180 SOS 5104 HAS SOPS 5104 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4701.104
AT ITER 2982 NEW BEST:: SOT 16173 SOS 5090 HAS SOPS 5090 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4694.09
AT ITER 3033 NEW BEST:: SOT 16172 SOS 5089 HAS SOPS 5089 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4694.089
AT ITER 3048 NEW BEST:: SOT 16172 SOS 5078 HAS SOPS 5078 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.078
AT ITER 3061 NEW BEST:: SOT 16162 SOS 5067 HAS SOPS 5067 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4670.067
AT ITER 3063 NEW BEST:: SOT 16162 SOS 5066 HAS SOPS 5066 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.066
AT ITER 3113 NEW BEST:: SOT 16136 SOS 5046 HAS SOPS 5046 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4649.046
AT ITER 3120 NEW BEST:: SOT 16137 SOS 5039 HAS SOPS 5039 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.039
AT ITER 3195 NEW BEST:: SOT 16137 SOS 5021 HAS SOPS 5021 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.021
AT ITER 3200 NEW BEST:: SOT 16129 SOS 5013 HAS SOPS 5013 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.013
AT ITER 3211 NEW BEST:: SOT 16126 SOS 5016 HAS SOPS 5016 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.016
AT ITER 3243 NEW BEST:: SOT 16127 SOS 5009 HAS SOPS 5009 HAS SOUS 4616 HAS SOUPS 4616 WITH SCORE 4621.009
AT ITER 3249 NEW BEST:: SOT 16126 SOS 5004 HAS SOPS 5004 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4616.004
AT ITER 3261 NEW BEST:: SOT 16126 SOS 4997 HAS SOPS 4997 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4610.997
AT ITER 3270 NEW BEST:: SOT 16103 SOS 4957 HAS SOPS 4957 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4570.957
AT ITER 3272 NEW BEST:: SOT 16103 SOS 4942 HAS SOPS 4942 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4555.942
AT ITER 3283 NEW BEST:: SOT 16095 SOS 4930 HAS SOPS 4930 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4542.93
AT ITER 3341 NEW BEST:: SOT 16071 SOS 4899 HAS SOPS 4899 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4507.899
AT ITER 3355 NEW BEST:: SOT 16069 SOS 4895 HAS SOPS 4895 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4503.895
AT ITER 3369 NEW BEST:: SOT 16073 SOS 4879 HAS SOPS 4879 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4490.879
AT ITER 3374 NEW BEST:: SOT 16050 SOS 4847 HAS SOPS 4847 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4462.847
AT ITER 3387 NEW BEST:: SOT 16047 SOS 4834 HAS SOPS 4834 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4454.834
AT ITER 3401 NEW BEST:: SOT 16064 SOS 4849 HAS SOPS 4849 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4452.849
AT ITER 3441 NEW BEST:: SOT 16066 SOS 4849 HAS SOPS 4849 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4449.849
AT ITER 3462 NEW BEST:: SOT 16063 SOS 4845 HAS SOPS 4845 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4445.845
AT ITER 3485 NEW BEST:: SOT 16063 SOS 4834 HAS SOPS 4834 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4443.834
AT ITER 3493 NEW BEST:: SOT 16063 SOS 4831 HAS SOPS 4831 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4438.831
AT ITER 3538 NEW BEST:: SOT 16063 SOS 4819 HAS SOPS 4819 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4426.819
AT ITER 3556 NEW BEST:: SOT 16063 SOS 4819 HAS SOPS 4819 HAS SOUS 4409 HAS SOUPS 4409 WITH SCORE 4413.819
AT ITER 3594 NEW BEST:: SOT 16064 SOS 4810 HAS SOPS 4810 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4409.81
AT ITER 3677 NEW BEST:: SOT 16057 SOS 4801 HAS SOPS 4801 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4387.801
AT ITER 3704 NEW BEST:: SOT 16053 SOS 4796 HAS SOPS 4796 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4382.796
AT ITER 3714 NEW BEST:: SOT 16052 SOS 4792 HAS SOPS 4792 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4379.792
AT ITER 3769 NEW BEST:: SOT 16043 SOS 4765 HAS SOPS 4765 HAS SOUS 4357 HAS SOUPS 4357 WITH SCORE 4361.765
AT ITER 3810 NEW BEST:: SOT 16040 SOS 4762 HAS SOPS 4762 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4358.762
AT ITER 3813 NEW BEST:: SOT 16037 SOS 4758 HAS SOPS 4758 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4351.758
AT ITER 3831 NEW BEST:: SOT 16035 SOS 4756 HAS SOPS 4756 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4349.756
AT ITER 3837 NEW BEST:: SOT 16031 SOS 4762 HAS SOPS 4762 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4348.762
AT ITER 3871 NEW BEST:: SOT 16031 SOS 4764 HAS SOPS 4764 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4344.764
AT ITER 3928 NEW BEST:: SOT 16031 SOS 4784 HAS SOPS 4784 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4338.784
AT ITER 3942 NEW BEST:: SOT 16023 SOS 4742 HAS SOPS 4742 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4313.742
AT ITER 3947 NEW BEST:: SOT 16023 SOS 4737 HAS SOPS 4737 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4303.737
AT ITER 3977 NEW BEST:: SOT 16013 SOS 4727 HAS SOPS 4727 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4298.727
AT ITER 4009 NEW BEST:: SOT 16011 SOS 4723 HAS SOPS 4723 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4292.723
AT ITER 4022 NEW BEST:: SOT 15986 SOS 4697 HAS SOPS 4697 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4266.697
AT ITER 4032 NEW BEST:: SOT 15977 SOS 4695 HAS SOPS 4695 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4262.695
AT ITER 4078 NEW BEST:: SOT 15976 SOS 4693 HAS SOPS 4693 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4260.693
AT ITER 4095 NEW BEST:: SOT 15977 SOS 4690 HAS SOPS 4690 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.69
AT ITER 4103 NEW BEST:: SOT 15970 SOS 4659 HAS SOPS 4659 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4229.659
AT ITER 4180 NEW BEST:: SOT 15955 SOS 4652 HAS SOPS 4652 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4224.652
AT ITER 4218 NEW BEST:: SOT 15952 SOS 4649 HAS SOPS 4649 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.649
AT ITER 4245 NEW BEST:: SOT 15947 SOS 4639 HAS SOPS 4639 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4211.639
AT ITER 4280 NEW BEST:: SOT 15947 SOS 4625 HAS SOPS 4625 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.625
AT ITER 4288 NEW BEST:: SOT 15941 SOS 4617 HAS SOPS 4617 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.617
AT ITER 4319 NEW BEST:: SOT 15943 SOS 4616 HAS SOPS 4616 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4194.616
AT ITER 4321 NEW BEST:: SOT 15942 SOS 4615 HAS SOPS 4615 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.615
AT ITER 4345 NEW BEST:: SOT 15939 SOS 4611 HAS SOPS 4611 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4188.611
AT ITER 4371 NEW BEST:: SOT 15928 SOS 4600 HAS SOPS 4600 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4177.6
AT ITER 4406 NEW BEST:: SOT 15898 SOS 4564 HAS SOPS 4564 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.564
AT ITER 4415 NEW BEST:: SOT 15814 SOS 4495 HAS SOPS 4495 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4059.495
AT ITER 4460 NEW BEST:: SOT 15811 SOS 4489 HAS SOPS 4489 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.489
AT ITER 4576 NEW BEST:: SOT 15811 SOS 4488 HAS SOPS 4488 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.488
AT ITER 4584 NEW BEST:: SOT 15813 SOS 4452 HAS SOPS 4452 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.452
AT ITER 4615 NEW BEST:: SOT 15820 SOS 4448 HAS SOPS 4448 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4053.448
AT ITER 4635 NEW BEST:: SOT 15816 SOS 4440 HAS SOPS 4440 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.44
AT ITER 4654 NEW BEST:: SOT 15814 SOS 4438 HAS SOPS 4438 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.438
AT ITER 4794 NEW BEST:: SOT 15811 SOS 4422 HAS SOPS 4422 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.422
AT ITER 4815 NEW BEST:: SOT 15810 SOS 4421 HAS SOPS 4421 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.421
AT ITER 4842 NEW BEST:: SOT 15807 SOS 4418 HAS SOPS 4418 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.418
AT ITER 4927 NEW BEST:: SOT 15797 SOS 4465 HAS SOPS 4465 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4030.465
AT ITER 4944 NEW BEST:: SOT 15793 SOS 4457 HAS SOPS 4457 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4022.457
AT ITER 4978 NEW BEST:: SOT 15786 SOS 4450 HAS SOPS 4450 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4015.45
AT ITER 4981 NEW BEST:: SOT 15786 SOS 4393 HAS SOPS 4393 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4009.393
AT ITER 5065 NEW BEST:: SOT 15786 SOS 4391 HAS SOPS 4391 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4007.391
AT ITER 5096 NEW BEST:: SOT 15784 SOS 4389 HAS SOPS 4389 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4005.389
AT ITER 5097 NEW BEST:: SOT 15784 SOS 4394 HAS SOPS 4394 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.394
AT ITER 5180 NEW BEST:: SOT 15783 SOS 4393 HAS SOPS 4393 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 3999.393
AT ITER 5249 NEW BEST:: SOT 15779 SOS 4394 HAS SOPS 4394 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.394
AT ITER 5287 NEW BEST:: SOT 15777 SOS 4388 HAS SOPS 4388 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3990.388
AT ITER 5392 NEW BEST:: SOT 15774 SOS 4397 HAS SOPS 4397 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.397
AT ITER 5431 NEW BEST:: SOT 15773 SOS 4395 HAS SOPS 4395 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.395
AT ITER 5490 NEW BEST:: SOT 15764 SOS 4370 HAS SOPS 4370 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3960.37
AT ITER 5493 NEW BEST:: SOT 15757 SOS 4373 HAS SOPS 4373 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3952.373
AT ITER 5500 NEW BEST:: SOT 15757 SOS 4336 HAS SOPS 4336 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3932.336
AT ITER 5512 NEW BEST:: SOT 15754 SOS 4333 HAS SOPS 4333 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3932.333
AT ITER 5514 NEW BEST:: SOT 15750 SOS 4328 HAS SOPS 4328 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3928.328
AT ITER 5563 NEW BEST:: SOT 15749 SOS 4324 HAS SOPS 4324 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3925.324
AT ITER 5569 NEW BEST:: SOT 15747 SOS 4308 HAS SOPS 4308 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3918.308
AT ITER 5618 NEW BEST:: SOT 15750 SOS 4301 HAS SOPS 4301 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3911.301
AT ITER 5644 NEW BEST:: SOT 15740 SOS 4291 HAS SOPS 4291 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.291
AT ITER 5649 NEW BEST:: SOT 15716 SOS 4267 HAS SOPS 4267 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.267
AT ITER 5690 NEW BEST:: SOT 15715 SOS 4268 HAS SOPS 4268 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.268
AT ITER 5711 NEW BEST:: SOT 15703 SOS 4253 HAS SOPS 4253 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3858.253
AT ITER 5720 NEW BEST:: SOT 15695 SOS 4238 HAS SOPS 4238 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3848.238
AT ITER 5741 NEW BEST:: SOT 15680 SOS 4228 HAS SOPS 4228 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.228
AT ITER 5770 NEW BEST:: SOT 15677 SOS 4225 HAS SOPS 4225 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.225
AT ITER 5775 NEW BEST:: SOT 15664 SOS 4204 HAS SOPS 4204 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.204
AT ITER 5783 NEW BEST:: SOT 15664 SOS 4204 HAS SOPS 4204 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3817.204
AT ITER 5824 NEW BEST:: SOT 15659 SOS 4199 HAS SOPS 4199 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3812.199
AT ITER 5840 NEW BEST:: SOT 15659 SOS 4197 HAS SOPS 4197 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3810.197
AT ITER 5937 NEW BEST:: SOT 15669 SOS 4209 HAS SOPS 4209 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3806.209
AT ITER 5941 NEW BEST:: SOT 15669 SOS 4207 HAS SOPS 4207 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.207
AT ITER 5970 NEW BEST:: SOT 15667 SOS 4202 HAS SOPS 4202 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3797.202
AT ITER 5975 NEW BEST:: SOT 15666 SOS 4192 HAS SOPS 4192 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3793.192
AT ITER 6050 NEW BEST:: SOT 15664 SOS 4181 HAS SOPS 4181 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3785.181
AT ITER 6078 NEW BEST:: SOT 15662 SOS 4175 HAS SOPS 4175 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3781.175
AT ITER 6090 NEW BEST:: SOT 15662 SOS 4171 HAS SOPS 4171 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3779.171
AT ITER 6142 NEW BEST:: SOT 15661 SOS 4170 HAS SOPS 4170 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3778.17
AT ITER 6165 NEW BEST:: SOT 15656 SOS 4166 HAS SOPS 4166 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3774.166
AT ITER 6176 NEW BEST:: SOT 15663 SOS 4170 HAS SOPS 4170 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.17
AT ITER 6180 NEW BEST:: SOT 15644 SOS 4155 HAS SOPS 4155 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3757.155
AT ITER 6193 NEW BEST:: SOT 15640 SOS 4149 HAS SOPS 4149 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.149
AT ITER 6196 NEW BEST:: SOT 15631 SOS 4137 HAS SOPS 4137 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3739.137
AT ITER 6207 NEW BEST:: SOT 15630 SOS 4135 HAS SOPS 4135 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.135
AT ITER 6243 NEW BEST:: SOT 15611 SOS 4116 HAS SOPS 4116 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3706.116
AT ITER 6248 NEW BEST:: SOT 15609 SOS 4114 HAS SOPS 4114 HAS SOUS 3700 HAS SOUPS 3700 WITH SCORE 3704.114
AT ITER 6285 NEW BEST:: SOT 15613 SOS 4118 HAS SOPS 4118 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.118
AT ITER 6476 NEW BEST:: SOT 15608 SOS 4113 HAS SOPS 4113 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.113
AT ITER 6482 NEW BEST:: SOT 15605 SOS 4101 HAS SOPS 4101 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.101
AT ITER 6524 NEW BEST:: SOT 15596 SOS 4100 HAS SOPS 4100 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3701.1
AT ITER 6556 NEW BEST:: SOT 15593 SOS 4097 HAS SOPS 4097 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3700.097
AT ITER 6575 NEW BEST:: SOT 15589 SOS 4087 HAS SOPS 4087 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3698.087
AT ITER 6662 NEW BEST:: SOT 15588 SOS 4084 HAS SOPS 4084 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3696.084
AT ITER 6678 NEW BEST:: SOT 15585 SOS 4078 HAS SOPS 4078 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3691.078
AT ITER 6760 NEW BEST:: SOT 15585 SOS 4074 HAS SOPS 4074 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3687.074
AT ITER 6768 NEW BEST:: SOT 15585 SOS 4071 HAS SOPS 4071 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.071
AT ITER 6772 NEW BEST:: SOT 15585 SOS 4069 HAS SOPS 4069 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3679.069
AT ITER 6792 NEW BEST:: SOT 15577 SOS 4061 HAS SOPS 4061 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.061
AT ITER 6810 NEW BEST:: SOT 15569 SOS 4049 HAS SOPS 4049 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.049
AT ITER 6817 NEW BEST:: SOT 15569 SOS 4047 HAS SOPS 4047 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3661.047
AT ITER 6874 NEW BEST:: SOT 15565 SOS 4046 HAS SOPS 4046 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.046
AT ITER 6946 NEW BEST:: SOT 15561 SOS 4040 HAS SOPS 4040 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3654.04
AT ITER 6948 NEW BEST:: SOT 15560 SOS 4043 HAS SOPS 4043 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.043
AT ITER 6973 NEW BEST:: SOT 15557 SOS 4025 HAS SOPS 4025 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.025
AT ITER 6994 NEW BEST:: SOT 15558 SOS 4024 HAS SOPS 4024 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3646.024
AT ITER 7023 NEW BEST:: SOT 15560 SOS 4034 HAS SOPS 4034 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.034
AT ITER 7026 NEW BEST:: SOT 15558 SOS 4031 HAS SOPS 4031 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3639.031
AT ITER 7032 NEW BEST:: SOT 15552 SOS 4023 HAS SOPS 4023 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.023
AT ITER 7037 NEW BEST:: SOT 15543 SOS 4001 HAS SOPS 4001 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3613.001
AT ITER 7039 NEW BEST:: SOT 15536 SOS 3977 HAS SOPS 3977 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3594.977
AT ITER 7066 NEW BEST:: SOT 15535 SOS 3976 HAS SOPS 3976 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3593.976
AT ITER 7076 NEW BEST:: SOT 15531 SOS 3963 HAS SOPS 3963 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3588.963
AT ITER 7140 NEW BEST:: SOT 15531 SOS 3962 HAS SOPS 3962 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3588.962
AT ITER 7148 NEW BEST:: SOT 15540 SOS 3971 HAS SOPS 3971 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3582.971
AT ITER 7222 NEW BEST:: SOT 15525 SOS 3947 HAS SOPS 3947 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3569.947
AT ITER 7246 NEW BEST:: SOT 15525 SOS 3946 HAS SOPS 3946 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3568.946
AT ITER 7300 NEW BEST:: SOT 15523 SOS 3944 HAS SOPS 3944 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3566.944
AT ITER 7308 NEW BEST:: SOT 15524 SOS 3945 HAS SOPS 3945 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3565.945
AT ITER 7383 NEW BEST:: SOT 15522 SOS 3943 HAS SOPS 3943 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3563.943
AT ITER 7406 NEW BEST:: SOT 15522 SOS 3941 HAS SOPS 3941 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3561.941
AT ITER 7481 NEW BEST:: SOT 15522 SOS 3939 HAS SOPS 3939 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3560.939
AT ITER 7504 NEW BEST:: SOT 15512 SOS 3964 HAS SOPS 3964 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3554.964
AT ITER 7516 NEW BEST:: SOT 15507 SOS 3963 HAS SOPS 3963 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3554.963
AT ITER 7576 NEW BEST:: SOT 15507 SOS 3959 HAS SOPS 3959 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3550.959
AT ITER 7587 NEW BEST:: SOT 15507 SOS 3939 HAS SOPS 3939 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3540.939
AT ITER 7612 NEW BEST:: SOT 15498 SOS 3924 HAS SOPS 3924 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3533.924
AT ITER 7634 NEW BEST:: SOT 15498 SOS 3924 HAS SOPS 3924 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3532.924
AT ITER 7635 NEW BEST:: SOT 15505 SOS 3885 HAS SOPS 3885 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3525.885
AT ITER 7656 NEW BEST:: SOT 15505 SOS 3885 HAS SOPS 3885 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3522.885
AT ITER 7690 NEW BEST:: SOT 15504 SOS 3890 HAS SOPS 3890 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3520.89
AT ITER 7738 NEW BEST:: SOT 15501 SOS 3881 HAS SOPS 3881 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3511.881
AT ITER 7812 NEW BEST:: SOT 15476 SOS 3856 HAS SOPS 3856 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3496.856
AT ITER 7832 NEW BEST:: SOT 15475 SOS 3853 HAS SOPS 3853 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3494.853
AT ITER 7857 NEW BEST:: SOT 15474 SOS 3851 HAS SOPS 3851 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3491.851
AT ITER 7902 NEW BEST:: SOT 15468 SOS 3848 HAS SOPS 3848 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3489.848
AT ITER 7988 NEW BEST:: SOT 15462 SOS 3845 HAS SOPS 3845 HAS SOUS 3483 HAS SOUPS 3483 WITH SCORE 3486.845
AT ITER 8052 NEW BEST:: SOT 15455 SOS 3824 HAS SOPS 3824 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3465.824
AT ITER 8062 NEW BEST:: SOT 15454 SOS 3820 HAS SOPS 3820 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.82
AT ITER 8091 NEW BEST:: SOT 15454 SOS 3805 HAS SOPS 3805 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3458.805
AT ITER 8117 NEW BEST:: SOT 15454 SOS 3790 HAS SOPS 3790 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3453.79
AT ITER 8137 NEW BEST:: SOT 15452 SOS 3785 HAS SOPS 3785 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3450.785
AT ITER 8234 NEW BEST:: SOT 15455 SOS 3784 HAS SOPS 3784 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3449.784
AT ITER 8242 NEW BEST:: SOT 15452 SOS 3763 HAS SOPS 3763 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3437.763
AT ITER 8379 NEW BEST:: SOT 15454 SOS 3757 HAS SOPS 3757 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3429.757
AT ITER 8398 NEW BEST:: SOT 15448 SOS 3745 HAS SOPS 3745 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3415.745
AT ITER 8509 NEW BEST:: SOT 15422 SOS 3719 HAS SOPS 3719 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3402.719
AT ITER 8513 NEW BEST:: SOT 15407 SOS 3693 HAS SOPS 3693 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.693
AT ITER 8552 NEW BEST:: SOT 15404 SOS 3689 HAS SOPS 3689 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.689
AT ITER 8597 NEW BEST:: SOT 15399 SOS 3679 HAS SOPS 3679 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.679
AT ITER 8598 NEW BEST:: SOT 15399 SOS 3675 HAS SOPS 3675 HAS SOUS 3357 HAS SOUPS 3357 WITH SCORE 3360.675
AT ITER 8637 NEW BEST:: SOT 15395 SOS 3671 HAS SOPS 3671 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3344.671
AT ITER 8658 NEW BEST:: SOT 15395 SOS 3673 HAS SOPS 3673 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.673
AT ITER 8685 NEW BEST:: SOT 15400 SOS 3674 HAS SOPS 3674 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.674
AT ITER 8699 NEW BEST:: SOT 15398 SOS 3669 HAS SOPS 3669 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.669
AT ITER 8704 NEW BEST:: SOT 15390 SOS 3661 HAS SOPS 3661 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.661
AT ITER 8734 NEW BEST:: SOT 15390 SOS 3661 HAS SOPS 3661 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3322.661
AT ITER 8830 NEW BEST:: SOT 15388 SOS 3657 HAS SOPS 3657 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.657
AT ITER 8850 NEW BEST:: SOT 15388 SOS 3661 HAS SOPS 3661 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3314.661
AT ITER 8877 NEW BEST:: SOT 15385 SOS 3649 HAS SOPS 3649 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3305.649
AT ITER 9191 NEW BEST:: SOT 15377 SOS 3641 HAS SOPS 3641 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.641
AT ITER 9196 NEW BEST:: SOT 15377 SOS 3639 HAS SOPS 3639 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.639
AT ITER 9280 NEW BEST:: SOT 15376 SOS 3638 HAS SOPS 3638 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.638
AT ITER 9465 NEW BEST:: SOT 15375 SOS 3637 HAS SOPS 3637 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3295.637
AT ITER 9549 NEW BEST:: SOT 15375 SOS 3634 HAS SOPS 3634 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3294.634
AT ITER 9652 NEW BEST:: SOT 15363 SOS 3623 HAS SOPS 3623 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3283.623
AT ITER 9662 NEW BEST:: SOT 15363 SOS 3613 HAS SOPS 3613 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3268.613
AT ITER 9796 NEW BEST:: SOT 15363 SOS 3603 HAS SOPS 3603 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.603
AT ITER 9799 NEW BEST:: SOT 15362 SOS 3601 HAS SOPS 3601 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3260.601
AT ITER 9842 NEW BEST:: SOT 15356 SOS 3591 HAS SOPS 3591 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3252.591
AT ITER 9939 NEW BEST:: SOT 15356 SOS 3587 HAS SOPS 3587 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3250.587
AT ITER 9953 NEW BEST:: SOT 15356 SOS 3582 HAS SOPS 3582 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.582
STATE_SPACE STATES 23058430092136939520000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 91 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 933866418731546050560000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679063911830

--------------------
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="ShieldIIPt-PT-010A"
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"
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 smart"
echo " Input is ShieldIIPt-PT-010A, 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 r387-oct2-167903711600264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-010A.tgz
mv ShieldIIPt-PT-010A 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 ;