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.r395-oct2-167903718600264.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldIIPt-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718600264
=====================================================================

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

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

Filename model.pnml
Petri model created: 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 1 NEW BEST:: SOT 21939 SOS 18415 HAS SOPS 18415 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16255.415
AT ITER 4 NEW BEST:: SOT 21894 SOS 18370 HAS SOPS 18370 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16208.37
AT ITER 5 NEW BEST:: SOT 21833 SOS 18309 HAS SOPS 18309 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16133.309
AT ITER 7 NEW BEST:: SOT 21737 SOS 18213 HAS SOPS 18213 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16070.213
AT ITER 8 NEW BEST:: SOT 21737 SOS 18137 HAS SOPS 18137 HAS SOUS 16014 HAS SOUPS 16014 WITH SCORE 16032.137
AT ITER 9 NEW BEST:: SOT 21673 SOS 18078 HAS SOPS 18078 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15979.078
AT ITER 18 NEW BEST:: SOT 21657 SOS 18062 HAS SOPS 18062 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15963.062
AT ITER 19 NEW BEST:: SOT 21560 SOS 17777 HAS SOPS 17777 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15783.777
AT ITER 20 NEW BEST:: SOT 21444 SOS 17571 HAS SOPS 17571 HAS SOUS 15557 HAS SOUPS 15557 WITH SCORE 15574.571
AT ITER 21 NEW BEST:: SOT 21365 SOS 17492 HAS SOPS 17492 HAS SOUS 15437 HAS SOUPS 15437 WITH SCORE 15454.492
AT ITER 22 NEW BEST:: SOT 21257 SOS 17214 HAS SOPS 17214 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15204.214
AT ITER 23 NEW BEST:: SOT 21257 SOS 17141 HAS SOPS 17141 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15111.141
AT ITER 24 NEW BEST:: SOT 21245 SOS 17136 HAS SOPS 17136 HAS SOUS 15068 HAS SOUPS 15068 WITH SCORE 15085.136
AT ITER 26 NEW BEST:: SOT 21245 SOS 16959 HAS SOPS 16959 HAS SOUS 15017 HAS SOUPS 15017 WITH SCORE 15033.959
AT ITER 27 NEW BEST:: SOT 21201 SOS 16871 HAS SOPS 16871 HAS SOUS 14929 HAS SOUPS 14929 WITH SCORE 14945.871
AT ITER 29 NEW BEST:: SOT 21201 SOS 16879 HAS SOPS 16879 HAS SOUS 14927 HAS SOUPS 14927 WITH SCORE 14943.879
AT ITER 30 NEW BEST:: SOT 21141 SOS 16819 HAS SOPS 16819 HAS SOUS 14897 HAS SOUPS 14897 WITH SCORE 14913.819
AT ITER 32 NEW BEST:: SOT 21074 SOS 16764 HAS SOPS 16764 HAS SOUS 14811 HAS SOUPS 14811 WITH SCORE 14827.764
AT ITER 36 NEW BEST:: SOT 21069 SOS 16759 HAS SOPS 16759 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14822.759
AT ITER 38 NEW BEST:: SOT 21071 SOS 16730 HAS SOPS 16730 HAS SOUS 14761 HAS SOUPS 14761 WITH SCORE 14777.73
AT ITER 39 NEW BEST:: SOT 20965 SOS 16624 HAS SOPS 16624 HAS SOUS 14686 HAS SOUPS 14686 WITH SCORE 14702.624
AT ITER 40 NEW BEST:: SOT 20965 SOS 16371 HAS SOPS 16371 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14641.371
AT ITER 42 NEW BEST:: SOT 20936 SOS 16342 HAS SOPS 16342 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14641.342
AT ITER 45 NEW BEST:: SOT 20983 SOS 16256 HAS SOPS 16256 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14619.256
AT ITER 46 NEW BEST:: SOT 20899 SOS 16172 HAS SOPS 16172 HAS SOUS 14561 HAS SOUPS 14561 WITH SCORE 14577.172
AT ITER 47 NEW BEST:: SOT 20807 SOS 16036 HAS SOPS 16036 HAS SOUS 14373 HAS SOUPS 14373 WITH SCORE 14389.036
AT ITER 48 NEW BEST:: SOT 20957 SOS 16060 HAS SOPS 16060 HAS SOUS 14309 HAS SOUPS 14309 WITH SCORE 14325.06
AT ITER 50 NEW BEST:: SOT 20867 SOS 15886 HAS SOPS 15886 HAS SOUS 14129 HAS SOUPS 14129 WITH SCORE 14144.886
AT ITER 51 NEW BEST:: SOT 20837 SOS 15856 HAS SOPS 15856 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14114.856
AT ITER 54 NEW BEST:: SOT 20814 SOS 15768 HAS SOPS 15768 HAS SOUS 14034 HAS SOUPS 14034 WITH SCORE 14049.768
AT ITER 55 NEW BEST:: SOT 20818 SOS 15721 HAS SOPS 15721 HAS SOUS 14001 HAS SOUPS 14001 WITH SCORE 14016.721
AT ITER 57 NEW BEST:: SOT 20725 SOS 15417 HAS SOPS 15417 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13814.417
AT ITER 60 NEW BEST:: SOT 20647 SOS 15344 HAS SOPS 15344 HAS SOUS 13690 HAS SOUPS 13690 WITH SCORE 13705.344
AT ITER 61 NEW BEST:: SOT 20647 SOS 15371 HAS SOPS 15371 HAS SOUS 13685 HAS SOUPS 13685 WITH SCORE 13700.371
AT ITER 64 NEW BEST:: SOT 20618 SOS 15342 HAS SOPS 15342 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13671.342
AT ITER 65 NEW BEST:: SOT 20618 SOS 15342 HAS SOPS 15342 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13670.342
AT ITER 66 NEW BEST:: SOT 20618 SOS 15255 HAS SOPS 15255 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13619.255
AT ITER 72 NEW BEST:: SOT 20471 SOS 15108 HAS SOPS 15108 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13503.108
AT ITER 80 NEW BEST:: SOT 20471 SOS 15083 HAS SOPS 15083 HAS SOUS 13488 HAS SOUPS 13488 WITH SCORE 13503.083
AT ITER 83 NEW BEST:: SOT 20477 SOS 15089 HAS SOPS 15089 HAS SOUS 13459 HAS SOUPS 13459 WITH SCORE 13474.089
AT ITER 84 NEW BEST:: SOT 20477 SOS 14746 HAS SOPS 14746 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13334.746
AT ITER 86 NEW BEST:: SOT 20469 SOS 14713 HAS SOPS 14713 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13311.713
AT ITER 87 NEW BEST:: SOT 20442 SOS 14684 HAS SOPS 14684 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13282.684
AT ITER 89 NEW BEST:: SOT 20442 SOS 14682 HAS SOPS 14682 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13264.682
AT ITER 90 NEW BEST:: SOT 20372 SOS 14544 HAS SOPS 14544 HAS SOUS 13151 HAS SOUPS 13151 WITH SCORE 13165.544
AT ITER 97 NEW BEST:: SOT 20226 SOS 14309 HAS SOPS 14309 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12946.309
AT ITER 100 NEW BEST:: SOT 20198 SOS 14279 HAS SOPS 14279 HAS SOUS 12902 HAS SOUPS 12902 WITH SCORE 12916.279
AT ITER 103 NEW BEST:: SOT 20135 SOS 14181 HAS SOPS 14181 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12818.181
AT ITER 108 NEW BEST:: SOT 20191 SOS 14114 HAS SOPS 14114 HAS SOUS 12786 HAS SOUPS 12786 WITH SCORE 12800.114
AT ITER 113 NEW BEST:: SOT 20191 SOS 14002 HAS SOPS 14002 HAS SOUS 12769 HAS SOUPS 12769 WITH SCORE 12783.002
AT ITER 121 NEW BEST:: SOT 20150 SOS 13954 HAS SOPS 13954 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12719.954
AT ITER 123 NEW BEST:: SOT 20095 SOS 13869 HAS SOPS 13869 HAS SOUS 12618 HAS SOUPS 12618 WITH SCORE 12631.869
AT ITER 125 NEW BEST:: SOT 20095 SOS 13827 HAS SOPS 13827 HAS SOUS 12617 HAS SOUPS 12617 WITH SCORE 12630.827
AT ITER 127 NEW BEST:: SOT 20091 SOS 13817 HAS SOPS 13817 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12622.817
AT ITER 129 NEW BEST:: SOT 20125 SOS 13785 HAS SOPS 13785 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12594.785
AT ITER 134 NEW BEST:: SOT 20094 SOS 13753 HAS SOPS 13753 HAS SOUS 12547 HAS SOUPS 12547 WITH SCORE 12560.753
AT ITER 135 NEW BEST:: SOT 20094 SOS 13702 HAS SOPS 13702 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12511.702
AT ITER 136 NEW BEST:: SOT 20093 SOS 13690 HAS SOPS 13690 HAS SOUS 12486 HAS SOUPS 12486 WITH SCORE 12499.69
AT ITER 137 NEW BEST:: SOT 20013 SOS 13565 HAS SOPS 13565 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12438.565
AT ITER 138 NEW BEST:: SOT 20013 SOS 13359 HAS SOPS 13359 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12391.359
AT ITER 140 NEW BEST:: SOT 19877 SOS 13222 HAS SOPS 13222 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12254.222
AT ITER 141 NEW BEST:: SOT 19733 SOS 13021 HAS SOPS 13021 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12013.021
AT ITER 142 NEW BEST:: SOT 19744 SOS 12990 HAS SOPS 12990 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11981.99
AT ITER 143 NEW BEST:: SOT 19717 SOS 12995 HAS SOPS 12995 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11932.995
AT ITER 148 NEW BEST:: SOT 19717 SOS 12963 HAS SOPS 12963 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11898.963
AT ITER 149 NEW BEST:: SOT 19717 SOS 12932 HAS SOPS 12932 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11898.932
AT ITER 157 NEW BEST:: SOT 19687 SOS 12818 HAS SOPS 12818 HAS SOUS 11818 HAS SOUPS 11818 WITH SCORE 11830.818
AT ITER 158 NEW BEST:: SOT 19675 SOS 12703 HAS SOPS 12703 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11745.703
AT ITER 160 NEW BEST:: SOT 19693 SOS 12674 HAS SOPS 12674 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11716.674
AT ITER 162 NEW BEST:: SOT 19691 SOS 12672 HAS SOPS 12672 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11714.672
AT ITER 166 NEW BEST:: SOT 19679 SOS 12660 HAS SOPS 12660 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11702.66
AT ITER 168 NEW BEST:: SOT 19721 SOS 12702 HAS SOPS 12702 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11700.702
AT ITER 170 NEW BEST:: SOT 19721 SOS 12680 HAS SOPS 12680 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11665.68
AT ITER 174 NEW BEST:: SOT 19706 SOS 12665 HAS SOPS 12665 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11650.665
AT ITER 175 NEW BEST:: SOT 19757 SOS 12666 HAS SOPS 12666 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11615.666
AT ITER 176 NEW BEST:: SOT 19740 SOS 12647 HAS SOPS 12647 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11596.647
AT ITER 179 NEW BEST:: SOT 19726 SOS 12564 HAS SOPS 12564 HAS SOUS 11568 HAS SOUPS 11568 WITH SCORE 11580.564
AT ITER 180 NEW BEST:: SOT 19725 SOS 12508 HAS SOPS 12508 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11525.508
AT ITER 190 NEW BEST:: SOT 19721 SOS 12502 HAS SOPS 12502 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11519.502
AT ITER 191 NEW BEST:: SOT 19721 SOS 12510 HAS SOPS 12510 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11518.51
AT ITER 195 NEW BEST:: SOT 19570 SOS 12377 HAS SOPS 12377 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11273.377
AT ITER 201 NEW BEST:: SOT 19430 SOS 12237 HAS SOPS 12237 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11131.237
AT ITER 203 NEW BEST:: SOT 19403 SOS 12210 HAS SOPS 12210 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11121.21
AT ITER 207 NEW BEST:: SOT 19384 SOS 12191 HAS SOPS 12191 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11114.191
AT ITER 213 NEW BEST:: SOT 19382 SOS 12189 HAS SOPS 12189 HAS SOUS 11100 HAS SOUPS 11100 WITH SCORE 11112.189
AT ITER 214 NEW BEST:: SOT 19342 SOS 12149 HAS SOPS 12149 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11072.149
AT ITER 216 NEW BEST:: SOT 19320 SOS 12095 HAS SOPS 12095 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11056.095
AT ITER 217 NEW BEST:: SOT 19320 SOS 12092 HAS SOPS 12092 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11052.092
AT ITER 218 NEW BEST:: SOT 19331 SOS 12103 HAS SOPS 12103 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11032.103
AT ITER 227 NEW BEST:: SOT 19326 SOS 12098 HAS SOPS 12098 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11032.098
AT ITER 230 NEW BEST:: SOT 19326 SOS 12083 HAS SOPS 12083 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11017.083
AT ITER 231 NEW BEST:: SOT 19322 SOS 12079 HAS SOPS 12079 HAS SOUS 11001 HAS SOUPS 11001 WITH SCORE 11013.079
AT ITER 234 NEW BEST:: SOT 19307 SOS 12034 HAS SOPS 12034 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 10983.034
AT ITER 236 NEW BEST:: SOT 19267 SOS 12029 HAS SOPS 12029 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10978.029
AT ITER 239 NEW BEST:: SOT 19262 SOS 11970 HAS SOPS 11970 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10934.97
AT ITER 240 NEW BEST:: SOT 19208 SOS 11916 HAS SOPS 11916 HAS SOUS 10869 HAS SOUPS 10869 WITH SCORE 10880.916
AT ITER 245 NEW BEST:: SOT 19179 SOS 11887 HAS SOPS 11887 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10851.887
AT ITER 247 NEW BEST:: SOT 19179 SOS 11865 HAS SOPS 11865 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10829.865
AT ITER 253 NEW BEST:: SOT 19119 SOS 11805 HAS SOPS 11805 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10769.805
AT ITER 255 NEW BEST:: SOT 19088 SOS 11774 HAS SOPS 11774 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10738.774
AT ITER 256 NEW BEST:: SOT 19076 SOS 11762 HAS SOPS 11762 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10725.762
AT ITER 260 NEW BEST:: SOT 19076 SOS 11729 HAS SOPS 11729 HAS SOUS 10692 HAS SOUPS 10692 WITH SCORE 10703.729
AT ITER 268 NEW BEST:: SOT 19076 SOS 11728 HAS SOPS 11728 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10701.728
AT ITER 269 NEW BEST:: SOT 19075 SOS 11726 HAS SOPS 11726 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10700.726
AT ITER 278 NEW BEST:: SOT 19071 SOS 11708 HAS SOPS 11708 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10688.708
AT ITER 279 NEW BEST:: SOT 19047 SOS 11649 HAS SOPS 11649 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10629.649
AT ITER 280 NEW BEST:: SOT 19025 SOS 11573 HAS SOPS 11573 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10567.573
AT ITER 283 NEW BEST:: SOT 18888 SOS 11459 HAS SOPS 11459 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10428.459
AT ITER 288 NEW BEST:: SOT 18864 SOS 11447 HAS SOPS 11447 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10412.447
AT ITER 289 NEW BEST:: SOT 18864 SOS 11485 HAS SOPS 11485 HAS SOUS 10380 HAS SOUPS 10380 WITH SCORE 10391.485
AT ITER 290 NEW BEST:: SOT 18831 SOS 11514 HAS SOPS 11514 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.514
AT ITER 293 NEW BEST:: SOT 18831 SOS 11502 HAS SOPS 11502 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.502
AT ITER 294 NEW BEST:: SOT 18799 SOS 11330 HAS SOPS 11330 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10339.33
AT ITER 295 NEW BEST:: SOT 18847 SOS 11373 HAS SOPS 11373 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10284.373
AT ITER 296 NEW BEST:: SOT 18809 SOS 11320 HAS SOPS 11320 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10231.32
AT ITER 297 NEW BEST:: SOT 18796 SOS 11279 HAS SOPS 11279 HAS SOUS 10181 HAS SOUPS 10181 WITH SCORE 10192.279
AT ITER 308 NEW BEST:: SOT 18766 SOS 11194 HAS SOPS 11194 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10137.194
AT ITER 311 NEW BEST:: SOT 18758 SOS 11186 HAS SOPS 11186 HAS SOUS 10118 HAS SOUPS 10118 WITH SCORE 10129.186
AT ITER 334 NEW BEST:: SOT 18749 SOS 11157 HAS SOPS 11157 HAS SOUS 10100 HAS SOUPS 10100 WITH SCORE 10111.157
AT ITER 335 NEW BEST:: SOT 18685 SOS 11090 HAS SOPS 11090 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10014.09
AT ITER 341 NEW BEST:: SOT 18627 SOS 11021 HAS SOPS 11021 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9961.021
AT ITER 342 NEW BEST:: SOT 18625 SOS 11017 HAS SOPS 11017 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9957.017
AT ITER 349 NEW BEST:: SOT 18625 SOS 10956 HAS SOPS 10956 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9956.956
AT ITER 353 NEW BEST:: SOT 18582 SOS 10914 HAS SOPS 10914 HAS SOUS 9904 HAS SOUPS 9904 WITH SCORE 9914.914
AT ITER 355 NEW BEST:: SOT 18556 SOS 10888 HAS SOPS 10888 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9901.888
AT ITER 356 NEW BEST:: SOT 18535 SOS 10867 HAS SOPS 10867 HAS SOUS 9863 HAS SOUPS 9863 WITH SCORE 9873.867
AT ITER 358 NEW BEST:: SOT 18529 SOS 10861 HAS SOPS 10861 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9867.861
AT ITER 363 NEW BEST:: SOT 18528 SOS 10857 HAS SOPS 10857 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.857
AT ITER 366 NEW BEST:: SOT 18540 SOS 10855 HAS SOPS 10855 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9865.855
AT ITER 385 NEW BEST:: SOT 18535 SOS 10761 HAS SOPS 10761 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9771.761
AT ITER 390 NEW BEST:: SOT 18541 SOS 10707 HAS SOPS 10707 HAS SOUS 9744 HAS SOUPS 9744 WITH SCORE 9754.707
AT ITER 395 NEW BEST:: SOT 18359 SOS 10525 HAS SOPS 10525 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9572.525
AT ITER 400 NEW BEST:: SOT 18359 SOS 10472 HAS SOPS 10472 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9519.472
AT ITER 401 NEW BEST:: SOT 18294 SOS 10355 HAS SOPS 10355 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9405.355
AT ITER 406 NEW BEST:: SOT 18288 SOS 10349 HAS SOPS 10349 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9399.349
AT ITER 412 NEW BEST:: SOT 18295 SOS 10206 HAS SOPS 10206 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9359.206
AT ITER 421 NEW BEST:: SOT 18293 SOS 10140 HAS SOPS 10140 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.14
AT ITER 422 NEW BEST:: SOT 18287 SOS 10134 HAS SOPS 10134 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.134
AT ITER 423 NEW BEST:: SOT 18278 SOS 10107 HAS SOPS 10107 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9286.107
AT ITER 425 NEW BEST:: SOT 18278 SOS 10099 HAS SOPS 10099 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9286.099
AT ITER 426 NEW BEST:: SOT 18278 SOS 10123 HAS SOPS 10123 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9281.123
AT ITER 427 NEW BEST:: SOT 18268 SOS 10099 HAS SOPS 10099 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9235.099
AT ITER 428 NEW BEST:: SOT 18216 SOS 9957 HAS SOPS 9957 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9154.957
AT ITER 434 NEW BEST:: SOT 18118 SOS 9777 HAS SOPS 9777 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8927.777
AT ITER 440 NEW BEST:: SOT 18118 SOS 9747 HAS SOPS 9747 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8885.747
AT ITER 452 NEW BEST:: SOT 18118 SOS 9715 HAS SOPS 9715 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8869.715
AT ITER 454 NEW BEST:: SOT 18108 SOS 9692 HAS SOPS 9692 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8846.692
AT ITER 459 NEW BEST:: SOT 18105 SOS 9668 HAS SOPS 9668 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8833.668
AT ITER 466 NEW BEST:: SOT 18068 SOS 9631 HAS SOPS 9631 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8796.631
AT ITER 468 NEW BEST:: SOT 18057 SOS 9620 HAS SOPS 9620 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8785.62
AT ITER 474 NEW BEST:: SOT 17994 SOS 9528 HAS SOPS 9528 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8693.528
AT ITER 475 NEW BEST:: SOT 17978 SOS 9512 HAS SOPS 9512 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8677.512
AT ITER 476 NEW BEST:: SOT 17988 SOS 9520 HAS SOPS 9520 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8675.52
AT ITER 504 NEW BEST:: SOT 17987 SOS 9519 HAS SOPS 9519 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.519
AT ITER 510 NEW BEST:: SOT 17939 SOS 9422 HAS SOPS 9422 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8609.422
AT ITER 517 NEW BEST:: SOT 17910 SOS 9393 HAS SOPS 9393 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8580.393
AT ITER 518 NEW BEST:: SOT 17910 SOS 9392 HAS SOPS 9392 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8579.392
AT ITER 523 NEW BEST:: SOT 17947 SOS 9413 HAS SOPS 9413 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8566.413
AT ITER 524 NEW BEST:: SOT 17939 SOS 9367 HAS SOPS 9367 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8532.367
AT ITER 527 NEW BEST:: SOT 17939 SOS 9370 HAS SOPS 9370 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8529.37
AT ITER 528 NEW BEST:: SOT 17933 SOS 9350 HAS SOPS 9350 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8509.35
AT ITER 530 NEW BEST:: SOT 17923 SOS 9340 HAS SOPS 9340 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8506.34
AT ITER 532 NEW BEST:: SOT 17863 SOS 9153 HAS SOPS 9153 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8395.153
AT ITER 539 NEW BEST:: SOT 17834 SOS 9079 HAS SOPS 9079 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8333.079
AT ITER 540 NEW BEST:: SOT 17834 SOS 9045 HAS SOPS 9045 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8333.045
AT ITER 545 NEW BEST:: SOT 17820 SOS 9006 HAS SOPS 9006 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8324.006
AT ITER 546 NEW BEST:: SOT 17796 SOS 8982 HAS SOPS 8982 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8299.982
AT ITER 559 NEW BEST:: SOT 17758 SOS 8941 HAS SOPS 8941 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8256.941
AT ITER 560 NEW BEST:: SOT 17758 SOS 8941 HAS SOPS 8941 HAS SOUS 8243 HAS SOUPS 8243 WITH SCORE 8251.941
AT ITER 573 NEW BEST:: SOT 17733 SOS 8918 HAS SOPS 8918 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8236.918
AT ITER 575 NEW BEST:: SOT 17716 SOS 8901 HAS SOPS 8901 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8236.901
AT ITER 582 NEW BEST:: SOT 17698 SOS 8797 HAS SOPS 8797 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8132.797
AT ITER 596 NEW BEST:: SOT 17722 SOS 8766 HAS SOPS 8766 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8116.766
AT ITER 606 NEW BEST:: SOT 17708 SOS 8752 HAS SOPS 8752 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8102.752
AT ITER 612 NEW BEST:: SOT 17687 SOS 8724 HAS SOPS 8724 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8074.724
AT ITER 622 NEW BEST:: SOT 17704 SOS 8665 HAS SOPS 8665 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8056.665
AT ITER 630 NEW BEST:: SOT 17671 SOS 8672 HAS SOPS 8672 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8047.672
AT ITER 635 NEW BEST:: SOT 17644 SOS 8647 HAS SOPS 8647 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8044.647
AT ITER 639 NEW BEST:: SOT 17640 SOS 8643 HAS SOPS 8643 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8040.643
AT ITER 642 NEW BEST:: SOT 17687 SOS 8690 HAS SOPS 8690 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8036.69
AT ITER 647 NEW BEST:: SOT 17683 SOS 8673 HAS SOPS 8673 HAS SOUS 8020 HAS SOUPS 8020 WITH SCORE 8028.673
AT ITER 653 NEW BEST:: SOT 17650 SOS 8670 HAS SOPS 8670 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8021.67
AT ITER 659 NEW BEST:: SOT 17627 SOS 8638 HAS SOPS 8638 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7989.638
AT ITER 664 NEW BEST:: SOT 17563 SOS 8556 HAS SOPS 8556 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7907.556
AT ITER 672 NEW BEST:: SOT 17519 SOS 8489 HAS SOPS 8489 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7875.489
AT ITER 680 NEW BEST:: SOT 17517 SOS 8487 HAS SOPS 8487 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7874.487
AT ITER 714 NEW BEST:: SOT 17516 SOS 8486 HAS SOPS 8486 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7873.486
AT ITER 717 NEW BEST:: SOT 17471 SOS 8419 HAS SOPS 8419 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7791.419
AT ITER 730 NEW BEST:: SOT 17459 SOS 8395 HAS SOPS 8395 HAS SOUS 7759 HAS SOUPS 7759 WITH SCORE 7767.395
AT ITER 741 NEW BEST:: SOT 17460 SOS 8352 HAS SOPS 8352 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7730.352
AT ITER 743 NEW BEST:: SOT 17502 SOS 8394 HAS SOPS 8394 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7713.394
AT ITER 753 NEW BEST:: SOT 17466 SOS 8358 HAS SOPS 8358 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7695.358
AT ITER 769 NEW BEST:: SOT 17427 SOS 8295 HAS SOPS 8295 HAS SOUS 7622 HAS SOUPS 7622 WITH SCORE 7630.295
AT ITER 770 NEW BEST:: SOT 17419 SOS 8266 HAS SOPS 8266 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7601.266
AT ITER 771 NEW BEST:: SOT 17418 SOS 8252 HAS SOPS 8252 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7578.252
AT ITER 774 NEW BEST:: SOT 17401 SOS 8235 HAS SOPS 8235 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7552.235
AT ITER 793 NEW BEST:: SOT 17401 SOS 8231 HAS SOPS 8231 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7548.231
AT ITER 801 NEW BEST:: SOT 17357 SOS 8069 HAS SOPS 8069 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.069
AT ITER 807 NEW BEST:: SOT 17342 SOS 8054 HAS SOPS 8054 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7454.054
AT ITER 808 NEW BEST:: SOT 17340 SOS 8052 HAS SOPS 8052 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7450.052
AT ITER 815 NEW BEST:: SOT 17294 SOS 7988 HAS SOPS 7988 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7385.988
AT ITER 817 NEW BEST:: SOT 17294 SOS 7988 HAS SOPS 7988 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7382.988
AT ITER 818 NEW BEST:: SOT 17284 SOS 7958 HAS SOPS 7958 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7352.958
AT ITER 822 NEW BEST:: SOT 17263 SOS 7909 HAS SOPS 7909 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7303.909
AT ITER 840 NEW BEST:: SOT 17281 SOS 7879 HAS SOPS 7879 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7289.879
AT ITER 843 NEW BEST:: SOT 17235 SOS 7833 HAS SOPS 7833 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7243.833
AT ITER 845 NEW BEST:: SOT 17225 SOS 7798 HAS SOPS 7798 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7218.798
AT ITER 854 NEW BEST:: SOT 17233 SOS 7795 HAS SOPS 7795 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7215.795
AT ITER 860 NEW BEST:: SOT 17218 SOS 7759 HAS SOPS 7759 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7178.759
AT ITER 862 NEW BEST:: SOT 17218 SOS 7743 HAS SOPS 7743 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7177.743
AT ITER 863 NEW BEST:: SOT 17257 SOS 7701 HAS SOPS 7701 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7153.701
AT ITER 880 NEW BEST:: SOT 17256 SOS 7699 HAS SOPS 7699 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7151.699
AT ITER 913 NEW BEST:: SOT 17256 SOS 7692 HAS SOPS 7692 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7144.692
AT ITER 924 NEW BEST:: SOT 17248 SOS 7678 HAS SOPS 7678 HAS SOUS 7123 HAS SOUPS 7123 WITH SCORE 7130.678
AT ITER 935 NEW BEST:: SOT 17241 SOS 7548 HAS SOPS 7548 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7051.548
AT ITER 939 NEW BEST:: SOT 17230 SOS 7525 HAS SOPS 7525 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7034.525
AT ITER 940 NEW BEST:: SOT 17228 SOS 7523 HAS SOPS 7523 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7032.523
AT ITER 949 NEW BEST:: SOT 17227 SOS 7515 HAS SOPS 7515 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7024.515
AT ITER 959 NEW BEST:: SOT 17227 SOS 7511 HAS SOPS 7511 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7024.511
AT ITER 966 NEW BEST:: SOT 17221 SOS 7491 HAS SOPS 7491 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7011.491
AT ITER 986 NEW BEST:: SOT 17263 SOS 7533 HAS SOPS 7533 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7005.533
AT ITER 998 NEW BEST:: SOT 17260 SOS 7530 HAS SOPS 7530 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7002.53
AT ITER 1006 NEW BEST:: SOT 17253 SOS 7527 HAS SOPS 7527 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 6999.527
AT ITER 1020 NEW BEST:: SOT 17253 SOS 7527 HAS SOPS 7527 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6991.527
AT ITER 1035 NEW BEST:: SOT 17245 SOS 7519 HAS SOPS 7519 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6983.519
AT ITER 1038 NEW BEST:: SOT 17251 SOS 7476 HAS SOPS 7476 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6959.476
AT ITER 1049 NEW BEST:: SOT 17225 SOS 7498 HAS SOPS 7498 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6952.498
AT ITER 1053 NEW BEST:: SOT 17221 SOS 7494 HAS SOPS 7494 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6948.494
AT ITER 1058 NEW BEST:: SOT 17204 SOS 7461 HAS SOPS 7461 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6915.461
AT ITER 1082 NEW BEST:: SOT 17186 SOS 7443 HAS SOPS 7443 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6898.443
AT ITER 1097 NEW BEST:: SOT 17131 SOS 7388 HAS SOPS 7388 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6842.388
AT ITER 1100 NEW BEST:: SOT 17128 SOS 7385 HAS SOPS 7385 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6839.385
AT ITER 1118 NEW BEST:: SOT 17105 SOS 7340 HAS SOPS 7340 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6790.34
AT ITER 1133 NEW BEST:: SOT 17100 SOS 7335 HAS SOPS 7335 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6785.335
AT ITER 1142 NEW BEST:: SOT 17109 SOS 7326 HAS SOPS 7326 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6780.326
AT ITER 1147 NEW BEST:: SOT 17079 SOS 7293 HAS SOPS 7293 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6741.293
AT ITER 1152 NEW BEST:: SOT 17076 SOS 7290 HAS SOPS 7290 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6738.29
AT ITER 1156 NEW BEST:: SOT 17076 SOS 7289 HAS SOPS 7289 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6737.289
AT ITER 1157 NEW BEST:: SOT 17072 SOS 7285 HAS SOPS 7285 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6737.285
AT ITER 1170 NEW BEST:: SOT 17062 SOS 7275 HAS SOPS 7275 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6727.275
AT ITER 1177 NEW BEST:: SOT 17070 SOS 7257 HAS SOPS 7257 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6724.257
AT ITER 1231 NEW BEST:: SOT 17049 SOS 7236 HAS SOPS 7236 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6703.236
AT ITER 1237 NEW BEST:: SOT 17034 SOS 7216 HAS SOPS 7216 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6693.216
AT ITER 1248 NEW BEST:: SOT 17044 SOS 7195 HAS SOPS 7195 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6669.195
AT ITER 1265 NEW BEST:: SOT 17032 SOS 7145 HAS SOPS 7145 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6622.145
AT ITER 1269 NEW BEST:: SOT 16979 SOS 7091 HAS SOPS 7091 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6568.091
AT ITER 1283 NEW BEST:: SOT 16970 SOS 7073 HAS SOPS 7073 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6550.073
AT ITER 1290 NEW BEST:: SOT 16966 SOS 7048 HAS SOPS 7048 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6533.048
AT ITER 1294 NEW BEST:: SOT 16966 SOS 7043 HAS SOPS 7043 HAS SOUS 6525 HAS SOUPS 6525 WITH SCORE 6532.043
AT ITER 1312 NEW BEST:: SOT 16954 SOS 7044 HAS SOPS 7044 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.044
AT ITER 1315 NEW BEST:: SOT 16945 SOS 7035 HAS SOPS 7035 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.035
AT ITER 1328 NEW BEST:: SOT 16936 SOS 7026 HAS SOPS 7026 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6520.026
AT ITER 1345 NEW BEST:: SOT 16929 SOS 7019 HAS SOPS 7019 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6513.019
AT ITER 1348 NEW BEST:: SOT 16928 SOS 7011 HAS SOPS 7011 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.011
AT ITER 1383 NEW BEST:: SOT 16917 SOS 6995 HAS SOPS 6995 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6496.995
AT ITER 1394 NEW BEST:: SOT 16906 SOS 6984 HAS SOPS 6984 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6484.984
AT ITER 1408 NEW BEST:: SOT 16900 SOS 6984 HAS SOPS 6984 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6478.984
AT ITER 1438 NEW BEST:: SOT 16871 SOS 6967 HAS SOPS 6967 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6456.967
AT ITER 1463 NEW BEST:: SOT 16871 SOS 6967 HAS SOPS 6967 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6445.967
AT ITER 1473 NEW BEST:: SOT 16879 SOS 6963 HAS SOPS 6963 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6444.963
AT ITER 1486 NEW BEST:: SOT 16871 SOS 6947 HAS SOPS 6947 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6432.947
AT ITER 1492 NEW BEST:: SOT 16851 SOS 6900 HAS SOPS 6900 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6375.9
AT ITER 1493 NEW BEST:: SOT 16849 SOS 6897 HAS SOPS 6897 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6372.897
AT ITER 1494 NEW BEST:: SOT 16851 SOS 6899 HAS SOPS 6899 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6370.899
AT ITER 1514 NEW BEST:: SOT 16851 SOS 6896 HAS SOPS 6896 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6370.896
AT ITER 1526 NEW BEST:: SOT 16851 SOS 6902 HAS SOPS 6902 HAS SOUS 6358 HAS SOUPS 6358 WITH SCORE 6364.902
AT ITER 1533 NEW BEST:: SOT 16850 SOS 6873 HAS SOPS 6873 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6349.873
AT ITER 1548 NEW BEST:: SOT 16792 SOS 6806 HAS SOPS 6806 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6331.806
AT ITER 1615 NEW BEST:: SOT 16767 SOS 6777 HAS SOPS 6777 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6312.777
AT ITER 1631 NEW BEST:: SOT 16766 SOS 6773 HAS SOPS 6773 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6287.773
AT ITER 1665 NEW BEST:: SOT 16756 SOS 6757 HAS SOPS 6757 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6269.757
AT ITER 1684 NEW BEST:: SOT 16733 SOS 6734 HAS SOPS 6734 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6251.734
AT ITER 1696 NEW BEST:: SOT 16733 SOS 6734 HAS SOPS 6734 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6250.734
AT ITER 1704 NEW BEST:: SOT 16733 SOS 6723 HAS SOPS 6723 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6239.723
AT ITER 1709 NEW BEST:: SOT 16729 SOS 6719 HAS SOPS 6719 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6235.719
AT ITER 1714 NEW BEST:: SOT 16735 SOS 6701 HAS SOPS 6701 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6223.701
AT ITER 1720 NEW BEST:: SOT 16734 SOS 6698 HAS SOPS 6698 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6220.698
AT ITER 1733 NEW BEST:: SOT 16688 SOS 6652 HAS SOPS 6652 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6174.652
AT ITER 1736 NEW BEST:: SOT 16686 SOS 6660 HAS SOPS 6660 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6170.66
AT ITER 1759 NEW BEST:: SOT 16684 SOS 6656 HAS SOPS 6656 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6166.656
AT ITER 1768 NEW BEST:: SOT 16684 SOS 6651 HAS SOPS 6651 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6166.651
AT ITER 1772 NEW BEST:: SOT 16682 SOS 6649 HAS SOPS 6649 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6161.649
AT ITER 1813 NEW BEST:: SOT 16682 SOS 6643 HAS SOPS 6643 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6160.643
AT ITER 1816 NEW BEST:: SOT 16690 SOS 6640 HAS SOPS 6640 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6153.64
AT ITER 1823 NEW BEST:: SOT 16682 SOS 6625 HAS SOPS 6625 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6138.625
AT ITER 1825 NEW BEST:: SOT 16671 SOS 6614 HAS SOPS 6614 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6127.614
AT ITER 1838 NEW BEST:: SOT 16671 SOS 6607 HAS SOPS 6607 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6120.607
AT ITER 1842 NEW BEST:: SOT 16669 SOS 6605 HAS SOPS 6605 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6118.605
AT ITER 1846 NEW BEST:: SOT 16669 SOS 6605 HAS SOPS 6605 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6116.605
AT ITER 1851 NEW BEST:: SOT 16671 SOS 6594 HAS SOPS 6594 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6112.594
AT ITER 1858 NEW BEST:: SOT 16668 SOS 6591 HAS SOPS 6591 HAS SOUS 6103 HAS SOUPS 6103 WITH SCORE 6109.591
AT ITER 1881 NEW BEST:: SOT 16629 SOS 6552 HAS SOPS 6552 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6076.552
AT ITER 1882 NEW BEST:: SOT 16637 SOS 6535 HAS SOPS 6535 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6059.535
AT ITER 1885 NEW BEST:: SOT 16637 SOS 6494 HAS SOPS 6494 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6008.494
AT ITER 1889 NEW BEST:: SOT 16635 SOS 6483 HAS SOPS 6483 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5997.483
AT ITER 1904 NEW BEST:: SOT 16636 SOS 6481 HAS SOPS 6481 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5997.481
AT ITER 1907 NEW BEST:: SOT 16584 SOS 6435 HAS SOPS 6435 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.435
AT ITER 1944 NEW BEST:: SOT 16581 SOS 6439 HAS SOPS 6439 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5934.439
AT ITER 1953 NEW BEST:: SOT 16562 SOS 6420 HAS SOPS 6420 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5914.42
AT ITER 1956 NEW BEST:: SOT 16559 SOS 6415 HAS SOPS 6415 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5912.415
AT ITER 1960 NEW BEST:: SOT 16554 SOS 6395 HAS SOPS 6395 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5894.395
AT ITER 1968 NEW BEST:: SOT 16547 SOS 6388 HAS SOPS 6388 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5887.388
AT ITER 2006 NEW BEST:: SOT 16546 SOS 6381 HAS SOPS 6381 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5880.381
AT ITER 2007 NEW BEST:: SOT 16548 SOS 6375 HAS SOPS 6375 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5874.375
AT ITER 2014 NEW BEST:: SOT 16548 SOS 6377 HAS SOPS 6377 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.377
AT ITER 2026 NEW BEST:: SOT 16538 SOS 6363 HAS SOPS 6363 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5855.363
AT ITER 2032 NEW BEST:: SOT 16546 SOS 6351 HAS SOPS 6351 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5843.351
AT ITER 2036 NEW BEST:: SOT 16542 SOS 6345 HAS SOPS 6345 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5837.345
AT ITER 2037 NEW BEST:: SOT 16529 SOS 6318 HAS SOPS 6318 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.318
AT ITER 2046 NEW BEST:: SOT 16529 SOS 6316 HAS SOPS 6316 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.316
AT ITER 2059 NEW BEST:: SOT 16520 SOS 6312 HAS SOPS 6312 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5805.312
AT ITER 2066 NEW BEST:: SOT 16510 SOS 6302 HAS SOPS 6302 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5797.302
AT ITER 2075 NEW BEST:: SOT 16478 SOS 6270 HAS SOPS 6270 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.27
AT ITER 2097 NEW BEST:: SOT 16459 SOS 6233 HAS SOPS 6233 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5694.233
AT ITER 2119 NEW BEST:: SOT 16453 SOS 6209 HAS SOPS 6209 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.209
AT ITER 2123 NEW BEST:: SOT 16457 SOS 6204 HAS SOPS 6204 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.204
AT ITER 2128 NEW BEST:: SOT 16450 SOS 6192 HAS SOPS 6192 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5656.192
AT ITER 2159 NEW BEST:: SOT 16438 SOS 6165 HAS SOPS 6165 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.165
AT ITER 2171 NEW BEST:: SOT 16437 SOS 6163 HAS SOPS 6163 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.163
AT ITER 2193 NEW BEST:: SOT 16457 SOS 6135 HAS SOPS 6135 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5602.135
AT ITER 2194 NEW BEST:: SOT 16452 SOS 6133 HAS SOPS 6133 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5600.133
AT ITER 2200 NEW BEST:: SOT 16444 SOS 6123 HAS SOPS 6123 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5594.123
AT ITER 2219 NEW BEST:: SOT 16430 SOS 6115 HAS SOPS 6115 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5590.115
AT ITER 2221 NEW BEST:: SOT 16416 SOS 6088 HAS SOPS 6088 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5563.088
AT ITER 2222 NEW BEST:: SOT 16416 SOS 6083 HAS SOPS 6083 HAS SOUS 5552 HAS SOUPS 5552 WITH SCORE 5558.083
AT ITER 2228 NEW BEST:: SOT 16404 SOS 6065 HAS SOPS 6065 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.065
AT ITER 2230 NEW BEST:: SOT 16402 SOS 6059 HAS SOPS 6059 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5540.059
AT ITER 2232 NEW BEST:: SOT 16403 SOS 6058 HAS SOPS 6058 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5539.058
AT ITER 2243 NEW BEST:: SOT 16390 SOS 6045 HAS SOPS 6045 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5526.045
AT ITER 2276 NEW BEST:: SOT 16390 SOS 5922 HAS SOPS 5922 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5470.922
AT ITER 2283 NEW BEST:: SOT 16390 SOS 5919 HAS SOPS 5919 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5467.919
AT ITER 2284 NEW BEST:: SOT 16395 SOS 5916 HAS SOPS 5916 HAS SOUS 5459 HAS SOUPS 5459 WITH SCORE 5464.916
AT ITER 2292 NEW BEST:: SOT 16387 SOS 5906 HAS SOPS 5906 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5446.906
AT ITER 2295 NEW BEST:: SOT 16379 SOS 5890 HAS SOPS 5890 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5434.89
AT ITER 2338 NEW BEST:: SOT 16379 SOS 5887 HAS SOPS 5887 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5431.887
AT ITER 2344 NEW BEST:: SOT 16365 SOS 5875 HAS SOPS 5875 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5419.875
AT ITER 2347 NEW BEST:: SOT 16362 SOS 5872 HAS SOPS 5872 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5416.872
AT ITER 2362 NEW BEST:: SOT 16366 SOS 5868 HAS SOPS 5868 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5414.868
AT ITER 2381 NEW BEST:: SOT 16354 SOS 5845 HAS SOPS 5845 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5391.845
AT ITER 2398 NEW BEST:: SOT 16338 SOS 5829 HAS SOPS 5829 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5375.829
AT ITER 2416 NEW BEST:: SOT 16335 SOS 5825 HAS SOPS 5825 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5372.825
AT ITER 2417 NEW BEST:: SOT 16330 SOS 5820 HAS SOPS 5820 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5367.82
AT ITER 2443 NEW BEST:: SOT 16314 SOS 5791 HAS SOPS 5791 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5338.791
AT ITER 2483 NEW BEST:: SOT 16282 SOS 5753 HAS SOPS 5753 HAS SOUS 5295 HAS SOUPS 5295 WITH SCORE 5300.753
AT ITER 2507 NEW BEST:: SOT 16276 SOS 5751 HAS SOPS 5751 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5296.751
AT ITER 2515 NEW BEST:: SOT 16275 SOS 5748 HAS SOPS 5748 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5294.748
AT ITER 2535 NEW BEST:: SOT 16252 SOS 5736 HAS SOPS 5736 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5263.736
AT ITER 2554 NEW BEST:: SOT 16261 SOS 5742 HAS SOPS 5742 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5262.742
AT ITER 2667 NEW BEST:: SOT 16253 SOS 5741 HAS SOPS 5741 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5261.741
AT ITER 2716 NEW BEST:: SOT 16251 SOS 5736 HAS SOPS 5736 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.736
AT ITER 2720 NEW BEST:: SOT 16250 SOS 5735 HAS SOPS 5735 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.735
AT ITER 2728 NEW BEST:: SOT 16248 SOS 5733 HAS SOPS 5733 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5252.733
AT ITER 2736 NEW BEST:: SOT 16236 SOS 5709 HAS SOPS 5709 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5234.709
AT ITER 2742 NEW BEST:: SOT 16232 SOS 5721 HAS SOPS 5721 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5230.721
AT ITER 2765 NEW BEST:: SOT 16224 SOS 5716 HAS SOPS 5716 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5225.716
AT ITER 2800 NEW BEST:: SOT 16221 SOS 5710 HAS SOPS 5710 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5219.71
AT ITER 2850 NEW BEST:: SOT 16207 SOS 5667 HAS SOPS 5667 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5168.667
AT ITER 2879 NEW BEST:: SOT 16207 SOS 5661 HAS SOPS 5661 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5162.661
AT ITER 2897 NEW BEST:: SOT 16205 SOS 5659 HAS SOPS 5659 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5160.659
AT ITER 2921 NEW BEST:: SOT 16205 SOS 5655 HAS SOPS 5655 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5156.655
AT ITER 2940 NEW BEST:: SOT 16256 SOS 5632 HAS SOPS 5632 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.632
AT ITER 2953 NEW BEST:: SOT 16255 SOS 5630 HAS SOPS 5630 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5151.63
AT ITER 2955 NEW BEST:: SOT 16251 SOS 5620 HAS SOPS 5620 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5149.62
AT ITER 3029 NEW BEST:: SOT 16251 SOS 5630 HAS SOPS 5630 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5143.63
AT ITER 3046 NEW BEST:: SOT 16242 SOS 5619 HAS SOPS 5619 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5132.619
AT ITER 3071 NEW BEST:: SOT 16237 SOS 5612 HAS SOPS 5612 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5127.612
AT ITER 3106 NEW BEST:: SOT 16229 SOS 5604 HAS SOPS 5604 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.604
AT ITER 3131 NEW BEST:: SOT 16225 SOS 5589 HAS SOPS 5589 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.589
AT ITER 3168 NEW BEST:: SOT 16225 SOS 5587 HAS SOPS 5587 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5110.587
AT ITER 3184 NEW BEST:: SOT 16226 SOS 5590 HAS SOPS 5590 HAS SOUS 5095 HAS SOUPS 5095 WITH SCORE 5100.59
AT ITER 3192 NEW BEST:: SOT 16224 SOS 5588 HAS SOPS 5588 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5097.588
AT ITER 3194 NEW BEST:: SOT 16224 SOS 5580 HAS SOPS 5580 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5091.58
AT ITER 3203 NEW BEST:: SOT 16224 SOS 5566 HAS SOPS 5566 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5084.566
AT ITER 3226 NEW BEST:: SOT 16228 SOS 5570 HAS SOPS 5570 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5078.57
AT ITER 3239 NEW BEST:: SOT 16228 SOS 5570 HAS SOPS 5570 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5076.57
AT ITER 3252 NEW BEST:: SOT 16228 SOS 5564 HAS SOPS 5564 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5070.564
AT ITER 3277 NEW BEST:: SOT 16244 SOS 5580 HAS SOPS 5580 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.58
AT ITER 3306 NEW BEST:: SOT 16244 SOS 5577 HAS SOPS 5577 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5063.577
AT ITER 3375 NEW BEST:: SOT 16244 SOS 5572 HAS SOPS 5572 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5058.572
AT ITER 3398 NEW BEST:: SOT 16232 SOS 5554 HAS SOPS 5554 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5046.554
AT ITER 3409 NEW BEST:: SOT 16228 SOS 5550 HAS SOPS 5550 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5046.55
AT ITER 3463 NEW BEST:: SOT 16226 SOS 5546 HAS SOPS 5546 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5042.546
AT ITER 3561 NEW BEST:: SOT 16226 SOS 5519 HAS SOPS 5519 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.519
AT ITER 3574 NEW BEST:: SOT 16222 SOS 5511 HAS SOPS 5511 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.511
AT ITER 3581 NEW BEST:: SOT 16228 SOS 5507 HAS SOPS 5507 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5026.507
AT ITER 3604 NEW BEST:: SOT 16227 SOS 5492 HAS SOPS 5492 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5011.492
AT ITER 3660 NEW BEST:: SOT 16225 SOS 5490 HAS SOPS 5490 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5009.49
AT ITER 3676 NEW BEST:: SOT 16225 SOS 5490 HAS SOPS 5490 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5008.49
AT ITER 3716 NEW BEST:: SOT 16230 SOS 5488 HAS SOPS 5488 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5004.488
AT ITER 3752 NEW BEST:: SOT 16229 SOS 5487 HAS SOPS 5487 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5004.487
AT ITER 3764 NEW BEST:: SOT 16229 SOS 5484 HAS SOPS 5484 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5002.484
AT ITER 3819 NEW BEST:: SOT 16227 SOS 5480 HAS SOPS 5480 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4997.48
AT ITER 3824 NEW BEST:: SOT 16227 SOS 5477 HAS SOPS 5477 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4994.477
AT ITER 3829 NEW BEST:: SOT 16220 SOS 5472 HAS SOPS 5472 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4990.472
AT ITER 3895 NEW BEST:: SOT 16219 SOS 5471 HAS SOPS 5471 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.471
AT ITER 3907 NEW BEST:: SOT 16219 SOS 5456 HAS SOPS 5456 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.456
AT ITER 3980 NEW BEST:: SOT 16209 SOS 5446 HAS SOPS 5446 HAS SOUS 4972 HAS SOUPS 4972 WITH SCORE 4977.446
AT ITER 4001 NEW BEST:: SOT 16199 SOS 5434 HAS SOPS 5434 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4965.434
AT ITER 4044 NEW BEST:: SOT 16199 SOS 5433 HAS SOPS 5433 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4964.433
AT ITER 4069 NEW BEST:: SOT 16193 SOS 5423 HAS SOPS 5423 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4952.423
AT ITER 4086 NEW BEST:: SOT 16175 SOS 5395 HAS SOPS 5395 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4924.395
AT ITER 4092 NEW BEST:: SOT 16148 SOS 5349 HAS SOPS 5349 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4888.349
AT ITER 4115 NEW BEST:: SOT 16148 SOS 5348 HAS SOPS 5348 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4887.348
AT ITER 4149 NEW BEST:: SOT 16121 SOS 5314 HAS SOPS 5314 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4862.314
AT ITER 4158 NEW BEST:: SOT 16121 SOS 5314 HAS SOPS 5314 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4861.314
AT ITER 4171 NEW BEST:: SOT 16120 SOS 5304 HAS SOPS 5304 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4858.304
AT ITER 4211 NEW BEST:: SOT 16116 SOS 5275 HAS SOPS 5275 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4855.275
AT ITER 4216 NEW BEST:: SOT 16116 SOS 5271 HAS SOPS 5271 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4847.271
AT ITER 4218 NEW BEST:: SOT 16110 SOS 5275 HAS SOPS 5275 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4841.275
AT ITER 4241 NEW BEST:: SOT 16105 SOS 5276 HAS SOPS 5276 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4838.276
AT ITER 4259 NEW BEST:: SOT 16109 SOS 5276 HAS SOPS 5276 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4837.276
AT ITER 4260 NEW BEST:: SOT 16101 SOS 5275 HAS SOPS 5275 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4832.275
AT ITER 4261 NEW BEST:: SOT 16099 SOS 5273 HAS SOPS 5273 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4830.273
AT ITER 4288 NEW BEST:: SOT 16108 SOS 5258 HAS SOPS 5258 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4817.258
AT ITER 4306 NEW BEST:: SOT 16103 SOS 5251 HAS SOPS 5251 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4810.251
AT ITER 4308 NEW BEST:: SOT 16094 SOS 5244 HAS SOPS 5244 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.244
AT ITER 4313 NEW BEST:: SOT 16092 SOS 5238 HAS SOPS 5238 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4797.238
AT ITER 4330 NEW BEST:: SOT 16087 SOS 5233 HAS SOPS 5233 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4778.233
AT ITER 4352 NEW BEST:: SOT 16081 SOS 5200 HAS SOPS 5200 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.2
AT ITER 4356 NEW BEST:: SOT 16076 SOS 5138 HAS SOPS 5138 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4719.138
AT ITER 4358 NEW BEST:: SOT 16076 SOS 5120 HAS SOPS 5120 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.12
AT ITER 4373 NEW BEST:: SOT 16074 SOS 5118 HAS SOPS 5118 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.118
AT ITER 4388 NEW BEST:: SOT 16076 SOS 5106 HAS SOPS 5106 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4683.106
AT ITER 4396 NEW BEST:: SOT 16074 SOS 5105 HAS SOPS 5105 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4682.105
AT ITER 4435 NEW BEST:: SOT 16069 SOS 5089 HAS SOPS 5089 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4668.089
AT ITER 4450 NEW BEST:: SOT 16059 SOS 5079 HAS SOPS 5079 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.079
AT ITER 4532 NEW BEST:: SOT 16047 SOS 5063 HAS SOPS 5063 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.063
AT ITER 4545 NEW BEST:: SOT 16044 SOS 5062 HAS SOPS 5062 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4630.062
AT ITER 4632 NEW BEST:: SOT 16034 SOS 5033 HAS SOPS 5033 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.033
AT ITER 4639 NEW BEST:: SOT 16036 SOS 5029 HAS SOPS 5029 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4611.029
AT ITER 4660 NEW BEST:: SOT 16008 SOS 5001 HAS SOPS 5001 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4583.001
AT ITER 4676 NEW BEST:: SOT 16005 SOS 4992 HAS SOPS 4992 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4576.992
AT ITER 4677 NEW BEST:: SOT 16005 SOS 4991 HAS SOPS 4991 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4576.991
AT ITER 4697 NEW BEST:: SOT 16004 SOS 4986 HAS SOPS 4986 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4571.986
AT ITER 4715 NEW BEST:: SOT 16003 SOS 4985 HAS SOPS 4985 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4570.985
AT ITER 4729 NEW BEST:: SOT 16001 SOS 4983 HAS SOPS 4983 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4568.983
AT ITER 4747 NEW BEST:: SOT 16000 SOS 4982 HAS SOPS 4982 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4567.982
AT ITER 4759 NEW BEST:: SOT 15993 SOS 4968 HAS SOPS 4968 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4553.968
AT ITER 4760 NEW BEST:: SOT 15989 SOS 4959 HAS SOPS 4959 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4549.959
AT ITER 4805 NEW BEST:: SOT 15987 SOS 4957 HAS SOPS 4957 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4547.957
AT ITER 4828 NEW BEST:: SOT 15984 SOS 4951 HAS SOPS 4951 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4541.951
AT ITER 4854 NEW BEST:: SOT 15982 SOS 4945 HAS SOPS 4945 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4538.945
AT ITER 4861 NEW BEST:: SOT 15982 SOS 4941 HAS SOPS 4941 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4534.941
AT ITER 4925 NEW BEST:: SOT 15978 SOS 4935 HAS SOPS 4935 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4526.935
AT ITER 4930 NEW BEST:: SOT 15975 SOS 4932 HAS SOPS 4932 HAS SOUS 4519 HAS SOUPS 4519 WITH SCORE 4523.932
AT ITER 4990 NEW BEST:: SOT 15978 SOS 4926 HAS SOPS 4926 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4517.926
AT ITER 4997 NEW BEST:: SOT 15974 SOS 4922 HAS SOPS 4922 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4513.922
AT ITER 5014 NEW BEST:: SOT 15979 SOS 4918 HAS SOPS 4918 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4509.918
AT ITER 5016 NEW BEST:: SOT 15971 SOS 4882 HAS SOPS 4882 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4492.882
AT ITER 5034 NEW BEST:: SOT 15960 SOS 4860 HAS SOPS 4860 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4481.86
AT ITER 5036 NEW BEST:: SOT 15958 SOS 4857 HAS SOPS 4857 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4479.857
AT ITER 5081 NEW BEST:: SOT 15958 SOS 4855 HAS SOPS 4855 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4477.855
AT ITER 5127 NEW BEST:: SOT 15960 SOS 4855 HAS SOPS 4855 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4475.855
AT ITER 5136 NEW BEST:: SOT 15960 SOS 4854 HAS SOPS 4854 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4474.854
AT ITER 5144 NEW BEST:: SOT 15961 SOS 4847 HAS SOPS 4847 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4467.847
AT ITER 5226 NEW BEST:: SOT 15948 SOS 4834 HAS SOPS 4834 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4454.834
AT ITER 5228 NEW BEST:: SOT 15954 SOS 4836 HAS SOPS 4836 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4450.836
AT ITER 5255 NEW BEST:: SOT 15953 SOS 4835 HAS SOPS 4835 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4449.835
AT ITER 5321 NEW BEST:: SOT 15954 SOS 4839 HAS SOPS 4839 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4448.839
AT ITER 5347 NEW BEST:: SOT 15950 SOS 4834 HAS SOPS 4834 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4443.834
AT ITER 5382 NEW BEST:: SOT 15947 SOS 4824 HAS SOPS 4824 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.824
AT ITER 5450 NEW BEST:: SOT 15939 SOS 4801 HAS SOPS 4801 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4411.801
AT ITER 5543 NEW BEST:: SOT 15939 SOS 4801 HAS SOPS 4801 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4407.801
AT ITER 5596 NEW BEST:: SOT 15934 SOS 4796 HAS SOPS 4796 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4407.796
AT ITER 5601 NEW BEST:: SOT 15933 SOS 4797 HAS SOPS 4797 HAS SOUS 4402 HAS SOUPS 4402 WITH SCORE 4406.797
AT ITER 5751 NEW BEST:: SOT 15930 SOS 4792 HAS SOPS 4792 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.792
AT ITER 5778 NEW BEST:: SOT 15926 SOS 4788 HAS SOPS 4788 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4397.788
AT ITER 5797 NEW BEST:: SOT 15926 SOS 4758 HAS SOPS 4758 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4382.758
AT ITER 5845 NEW BEST:: SOT 15888 SOS 4740 HAS SOPS 4740 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4364.74
AT ITER 5903 NEW BEST:: SOT 15888 SOS 4739 HAS SOPS 4739 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4363.739
AT ITER 5909 NEW BEST:: SOT 15902 SOS 4748 HAS SOPS 4748 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4358.748
AT ITER 5936 NEW BEST:: SOT 15902 SOS 4740 HAS SOPS 4740 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4354.74
AT ITER 5939 NEW BEST:: SOT 15902 SOS 4737 HAS SOPS 4737 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4351.737
AT ITER 5978 NEW BEST:: SOT 15895 SOS 4732 HAS SOPS 4732 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4346.732
AT ITER 5994 NEW BEST:: SOT 15890 SOS 4733 HAS SOPS 4733 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4336.733
AT ITER 5997 NEW BEST:: SOT 15887 SOS 4727 HAS SOPS 4727 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.727
AT ITER 5998 NEW BEST:: SOT 15885 SOS 4725 HAS SOPS 4725 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4329.725
AT ITER 6040 NEW BEST:: SOT 15885 SOS 4723 HAS SOPS 4723 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4329.723
AT ITER 6041 NEW BEST:: SOT 15885 SOS 4722 HAS SOPS 4722 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4329.722
AT ITER 6086 NEW BEST:: SOT 15887 SOS 4721 HAS SOPS 4721 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4328.721
AT ITER 6088 NEW BEST:: SOT 15885 SOS 4719 HAS SOPS 4719 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4326.719
AT ITER 6161 NEW BEST:: SOT 15888 SOS 4730 HAS SOPS 4730 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4325.73
AT ITER 6187 NEW BEST:: SOT 15888 SOS 4727 HAS SOPS 4727 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4323.727
AT ITER 6196 NEW BEST:: SOT 15883 SOS 4716 HAS SOPS 4716 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4312.716
AT ITER 6198 NEW BEST:: SOT 15871 SOS 4689 HAS SOPS 4689 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4286.689
AT ITER 6241 NEW BEST:: SOT 15869 SOS 4669 HAS SOPS 4669 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.669
AT ITER 6298 NEW BEST:: SOT 15861 SOS 4662 HAS SOPS 4662 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4267.662
AT ITER 6364 NEW BEST:: SOT 15859 SOS 4660 HAS SOPS 4660 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4265.66
AT ITER 6398 NEW BEST:: SOT 15851 SOS 4659 HAS SOPS 4659 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4264.659
AT ITER 6463 NEW BEST:: SOT 15830 SOS 4638 HAS SOPS 4638 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4256.638
AT ITER 6486 NEW BEST:: SOT 15830 SOS 4635 HAS SOPS 4635 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4253.635
AT ITER 6614 NEW BEST:: SOT 15828 SOS 4633 HAS SOPS 4633 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4251.633
AT ITER 6683 NEW BEST:: SOT 15818 SOS 4613 HAS SOPS 4613 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4231.613
AT ITER 6685 NEW BEST:: SOT 15815 SOS 4611 HAS SOPS 4611 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4229.611
AT ITER 6708 NEW BEST:: SOT 15802 SOS 4587 HAS SOPS 4587 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4212.587
AT ITER 6725 NEW BEST:: SOT 15796 SOS 4582 HAS SOPS 4582 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4207.582
AT ITER 6732 NEW BEST:: SOT 15796 SOS 4582 HAS SOPS 4582 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4206.582
AT ITER 6764 NEW BEST:: SOT 15795 SOS 4580 HAS SOPS 4580 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4204.58
AT ITER 6814 NEW BEST:: SOT 15792 SOS 4577 HAS SOPS 4577 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.577
AT ITER 6833 NEW BEST:: SOT 15792 SOS 4573 HAS SOPS 4573 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.573
AT ITER 6926 NEW BEST:: SOT 15786 SOS 4571 HAS SOPS 4571 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4197.571
AT ITER 7003 NEW BEST:: SOT 15780 SOS 4564 HAS SOPS 4564 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4190.564
AT ITER 7055 NEW BEST:: SOT 15768 SOS 4552 HAS SOPS 4552 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4178.552
AT ITER 7067 NEW BEST:: SOT 15763 SOS 4537 HAS SOPS 4537 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4168.537
AT ITER 7317 NEW BEST:: SOT 15761 SOS 4535 HAS SOPS 4535 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4166.535
AT ITER 7331 NEW BEST:: SOT 15742 SOS 4520 HAS SOPS 4520 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.52
AT ITER 7359 NEW BEST:: SOT 15741 SOS 4519 HAS SOPS 4519 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4145.519
AT ITER 7371 NEW BEST:: SOT 15742 SOS 4512 HAS SOPS 4512 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.512
AT ITER 7465 NEW BEST:: SOT 15739 SOS 4516 HAS SOPS 4516 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4136.516
AT ITER 7531 NEW BEST:: SOT 15735 SOS 4508 HAS SOPS 4508 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4128.508
AT ITER 7708 NEW BEST:: SOT 15731 SOS 4500 HAS SOPS 4500 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4116.5
AT ITER 7850 NEW BEST:: SOT 15728 SOS 4501 HAS SOPS 4501 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4112.501
AT ITER 7856 NEW BEST:: SOT 15726 SOS 4499 HAS SOPS 4499 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4112.499
AT ITER 7972 NEW BEST:: SOT 15727 SOS 4500 HAS SOPS 4500 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4109.5
AT ITER 7989 NEW BEST:: SOT 15725 SOS 4498 HAS SOPS 4498 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4107.498
AT ITER 7991 NEW BEST:: SOT 15721 SOS 4494 HAS SOPS 4494 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.494
AT ITER 8099 NEW BEST:: SOT 15721 SOS 4502 HAS SOPS 4502 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.502
AT ITER 8147 NEW BEST:: SOT 15718 SOS 4511 HAS SOPS 4511 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.511
AT ITER 8172 NEW BEST:: SOT 15718 SOS 4507 HAS SOPS 4507 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4095.507
AT ITER 8450 NEW BEST:: SOT 15714 SOS 4499 HAS SOPS 4499 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.499
AT ITER 8467 NEW BEST:: SOT 15714 SOS 4498 HAS SOPS 4498 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.498
AT ITER 8485 NEW BEST:: SOT 15714 SOS 4497 HAS SOPS 4497 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.497
AT ITER 8497 NEW BEST:: SOT 15710 SOS 4493 HAS SOPS 4493 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4081.493
AT ITER 8580 NEW BEST:: SOT 15708 SOS 4489 HAS SOPS 4489 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.489
AT ITER 8605 NEW BEST:: SOT 15710 SOS 4487 HAS SOPS 4487 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4076.487
AT ITER 8664 NEW BEST:: SOT 15716 SOS 4482 HAS SOPS 4482 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4073.482
AT ITER 8682 NEW BEST:: SOT 15716 SOS 4480 HAS SOPS 4480 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4071.48
AT ITER 8738 NEW BEST:: SOT 15704 SOS 4463 HAS SOPS 4463 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.463
AT ITER 8808 NEW BEST:: SOT 15701 SOS 4462 HAS SOPS 4462 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.462
AT ITER 8829 NEW BEST:: SOT 15704 SOS 4450 HAS SOPS 4450 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.45
AT ITER 8984 NEW BEST:: SOT 15703 SOS 4443 HAS SOPS 4443 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.443
AT ITER 9015 NEW BEST:: SOT 15702 SOS 4442 HAS SOPS 4442 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.442
AT ITER 9046 NEW BEST:: SOT 15705 SOS 4440 HAS SOPS 4440 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.44
AT ITER 9076 NEW BEST:: SOT 15704 SOS 4437 HAS SOPS 4437 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4044.437
AT ITER 9091 NEW BEST:: SOT 15701 SOS 4434 HAS SOPS 4434 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4041.434
AT ITER 9128 NEW BEST:: SOT 15698 SOS 4433 HAS SOPS 4433 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4040.433
AT ITER 9208 NEW BEST:: SOT 15697 SOS 4430 HAS SOPS 4430 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4037.43
AT ITER 9482 NEW BEST:: SOT 15696 SOS 4428 HAS SOPS 4428 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.428
AT ITER 9509 NEW BEST:: SOT 15695 SOS 4427 HAS SOPS 4427 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4034.427
AT ITER 9712 NEW BEST:: SOT 15690 SOS 4421 HAS SOPS 4421 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4018.421
AT ITER 9965 NEW BEST:: SOT 15688 SOS 4413 HAS SOPS 4413 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4014.413
AT ITER 9986 NEW BEST:: SOT 15689 SOS 4412 HAS SOPS 4412 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4014.412
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 1679560417945

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

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is 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 4"
echo " Run identifier is r395-oct2-167903718600264"
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 ;