Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 324K
-rw-r--r-- 1 mcc users 3.1K May 14 01:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 01:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 18:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 159K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590439281163

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

GOT IT HERE. BS
Petri model created: 573 places, 423 transitions, 1806 arcs.
AT ITER 0 NEW BEST:: SOT 193864 SOS 163732 HAS SOPS 163732 HAS SOUS 143675 HAS SOUPS 143675 WITH SCORE 143838.732
AT ITER 1 NEW BEST:: SOT 193670 SOS 163571 HAS SOPS 163571 HAS SOUS 143512 HAS SOUPS 143512 WITH SCORE 143675.571
AT ITER 2 NEW BEST:: SOT 193529 SOS 163486 HAS SOPS 163486 HAS SOUS 143425 HAS SOUPS 143425 WITH SCORE 143588.486
AT ITER 3 NEW BEST:: SOT 193529 SOS 163105 HAS SOPS 163105 HAS SOUS 143319 HAS SOUPS 143319 WITH SCORE 143482.105
AT ITER 4 NEW BEST:: SOT 193500 SOS 162594 HAS SOPS 162594 HAS SOUS 143127 HAS SOUPS 143127 WITH SCORE 143289.594
AT ITER 5 NEW BEST:: SOT 193314 SOS 162408 HAS SOPS 162408 HAS SOUS 142932 HAS SOUPS 142932 WITH SCORE 143094.408
AT ITER 6 NEW BEST:: SOT 193246 SOS 162340 HAS SOPS 162340 HAS SOUS 142862 HAS SOUPS 142862 WITH SCORE 143024.34
AT ITER 7 NEW BEST:: SOT 192902 SOS 161485 HAS SOPS 161485 HAS SOUS 142084 HAS SOUPS 142084 WITH SCORE 142245.485
AT ITER 8 NEW BEST:: SOT 192902 SOS 161368 HAS SOPS 161368 HAS SOUS 142045 HAS SOUPS 142045 WITH SCORE 142206.368
AT ITER 9 NEW BEST:: SOT 192866 SOS 160615 HAS SOPS 160615 HAS SOUS 141613 HAS SOUPS 141613 WITH SCORE 141773.615
AT ITER 10 NEW BEST:: SOT 192636 SOS 160385 HAS SOPS 160385 HAS SOUS 141282 HAS SOUPS 141282 WITH SCORE 141442.385
AT ITER 13 NEW BEST:: SOT 192174 SOS 159191 HAS SOPS 159191 HAS SOUS 140411 HAS SOUPS 140411 WITH SCORE 140570.191
AT ITER 14 NEW BEST:: SOT 192174 SOS 158668 HAS SOPS 158668 HAS SOUS 140259 HAS SOUPS 140259 WITH SCORE 140417.668
AT ITER 15 NEW BEST:: SOT 192174 SOS 158474 HAS SOPS 158474 HAS SOUS 140250 HAS SOUPS 140250 WITH SCORE 140408.474
AT ITER 16 NEW BEST:: SOT 191968 SOS 158268 HAS SOPS 158268 HAS SOUS 140150 HAS SOUPS 140150 WITH SCORE 140308.268
AT ITER 17 NEW BEST:: SOT 191958 SOS 158258 HAS SOPS 158258 HAS SOUS 140140 HAS SOUPS 140140 WITH SCORE 140298.258
AT ITER 18 NEW BEST:: SOT 191958 SOS 157801 HAS SOPS 157801 HAS SOUS 140044 HAS SOUPS 140044 WITH SCORE 140201.801
AT ITER 20 NEW BEST:: SOT 191907 SOS 157750 HAS SOPS 157750 HAS SOUS 139993 HAS SOUPS 139993 WITH SCORE 140150.75
AT ITER 21 NEW BEST:: SOT 191634 SOS 157101 HAS SOPS 157101 HAS SOUS 139511 HAS SOUPS 139511 WITH SCORE 139668.101
AT ITER 22 NEW BEST:: SOT 191412 SOS 156879 HAS SOPS 156879 HAS SOUS 139203 HAS SOUPS 139203 WITH SCORE 139359.879
AT ITER 23 NEW BEST:: SOT 191464 SOS 156564 HAS SOPS 156564 HAS SOUS 138855 HAS SOUPS 138855 WITH SCORE 139011.564
AT ITER 25 NEW BEST:: SOT 191417 SOS 155741 HAS SOPS 155741 HAS SOUS 138137 HAS SOUPS 138137 WITH SCORE 138292.741
AT ITER 26 NEW BEST:: SOT 191378 SOS 155264 HAS SOPS 155264 HAS SOUS 137693 HAS SOUPS 137693 WITH SCORE 137848.264
AT ITER 27 NEW BEST:: SOT 191278 SOS 155198 HAS SOPS 155198 HAS SOUS 137517 HAS SOUPS 137517 WITH SCORE 137672.198
AT ITER 29 NEW BEST:: SOT 191278 SOS 155180 HAS SOPS 155180 HAS SOUS 137517 HAS SOUPS 137517 WITH SCORE 137672.18
AT ITER 30 NEW BEST:: SOT 191278 SOS 154898 HAS SOPS 154898 HAS SOUS 137441 HAS SOUPS 137441 WITH SCORE 137595.898
AT ITER 32 NEW BEST:: SOT 190926 SOS 154546 HAS SOPS 154546 HAS SOUS 137092 HAS SOUPS 137092 WITH SCORE 137246.546
AT ITER 33 NEW BEST:: SOT 190784 SOS 153772 HAS SOPS 153772 HAS SOUS 136550 HAS SOUPS 136550 WITH SCORE 136703.772
AT ITER 34 NEW BEST:: SOT 190784 SOS 153648 HAS SOPS 153648 HAS SOUS 136498 HAS SOUPS 136498 WITH SCORE 136651.648
AT ITER 35 NEW BEST:: SOT 190784 SOS 153132 HAS SOPS 153132 HAS SOUS 136158 HAS SOUPS 136158 WITH SCORE 136311.132
AT ITER 37 NEW BEST:: SOT 190487 SOS 152889 HAS SOPS 152889 HAS SOUS 135843 HAS SOUPS 135843 WITH SCORE 135995.889
AT ITER 39 NEW BEST:: SOT 190487 SOS 152358 HAS SOPS 152358 HAS SOUS 135779 HAS SOUPS 135779 WITH SCORE 135931.358
AT ITER 40 NEW BEST:: SOT 190474 SOS 151610 HAS SOPS 151610 HAS SOUS 135541 HAS SOUPS 135541 WITH SCORE 135692.61
AT ITER 41 NEW BEST:: SOT 190097 SOS 150451 HAS SOPS 150451 HAS SOUS 134886 HAS SOUPS 134886 WITH SCORE 135036.451
AT ITER 43 NEW BEST:: SOT 189872 SOS 150324 HAS SOPS 150324 HAS SOUS 134856 HAS SOUPS 134856 WITH SCORE 135006.324
AT ITER 45 NEW BEST:: SOT 189872 SOS 150156 HAS SOPS 150156 HAS SOUS 134856 HAS SOUPS 134856 WITH SCORE 135006.156
AT ITER 47 NEW BEST:: SOT 189872 SOS 149976 HAS SOPS 149976 HAS SOUS 134850 HAS SOUPS 134850 WITH SCORE 134999.976
AT ITER 48 NEW BEST:: SOT 189660 SOS 149921 HAS SOPS 149921 HAS SOUS 134623 HAS SOUPS 134623 WITH SCORE 134772.921
AT ITER 52 NEW BEST:: SOT 189637 SOS 149898 HAS SOPS 149898 HAS SOUS 134600 HAS SOUPS 134600 WITH SCORE 134749.898
AT ITER 53 NEW BEST:: SOT 189609 SOS 149671 HAS SOPS 149671 HAS SOUS 134469 HAS SOUPS 134469 WITH SCORE 134618.671
AT ITER 54 NEW BEST:: SOT 189558 SOS 149620 HAS SOPS 149620 HAS SOUS 134418 HAS SOUPS 134418 WITH SCORE 134567.62
AT ITER 56 NEW BEST:: SOT 189558 SOS 149645 HAS SOPS 149645 HAS SOUS 134416 HAS SOUPS 134416 WITH SCORE 134565.645
AT ITER 58 NEW BEST:: SOT 189223 SOS 148648 HAS SOPS 148648 HAS SOUS 133621 HAS SOUPS 133621 WITH SCORE 133769.648
AT ITER 59 NEW BEST:: SOT 189188 SOS 148613 HAS SOPS 148613 HAS SOUS 133449 HAS SOUPS 133449 WITH SCORE 133597.613
AT ITER 62 NEW BEST:: SOT 189168 SOS 148593 HAS SOPS 148593 HAS SOUS 133429 HAS SOUPS 133429 WITH SCORE 133577.593
AT ITER 66 NEW BEST:: SOT 189170 SOS 148546 HAS SOPS 148546 HAS SOUS 133382 HAS SOUPS 133382 WITH SCORE 133530.546
AT ITER 67 NEW BEST:: SOT 189170 SOS 148546 HAS SOPS 148546 HAS SOUS 133365 HAS SOUPS 133365 WITH SCORE 133513.546
AT ITER 68 NEW BEST:: SOT 189156 SOS 148532 HAS SOPS 148532 HAS SOUS 133351 HAS SOUPS 133351 WITH SCORE 133499.532
AT ITER 69 NEW BEST:: SOT 188912 SOS 147899 HAS SOPS 147899 HAS SOUS 132784 HAS SOUPS 132784 WITH SCORE 132931.899
AT ITER 70 NEW BEST:: SOT 188715 SOS 147702 HAS SOPS 147702 HAS SOUS 132662 HAS SOUPS 132662 WITH SCORE 132809.702
AT ITER 75 NEW BEST:: SOT 188715 SOS 147583 HAS SOPS 147583 HAS SOUS 132652 HAS SOUPS 132652 WITH SCORE 132799.583
AT ITER 77 NEW BEST:: SOT 188539 SOS 147407 HAS SOPS 147407 HAS SOUS 132405 HAS SOUPS 132405 WITH SCORE 132552.407
AT ITER 78 NEW BEST:: SOT 188619 SOS 147317 HAS SOPS 147317 HAS SOUS 132315 HAS SOUPS 132315 WITH SCORE 132462.317
AT ITER 83 NEW BEST:: SOT 188406 SOS 147122 HAS SOPS 147122 HAS SOUS 132153 HAS SOUPS 132153 WITH SCORE 132300.122
AT ITER 84 NEW BEST:: SOT 188406 SOS 146967 HAS SOPS 146967 HAS SOUS 132065 HAS SOUPS 132065 WITH SCORE 132211.967
AT ITER 87 NEW BEST:: SOT 188406 SOS 146631 HAS SOPS 146631 HAS SOUS 131937 HAS SOUPS 131937 WITH SCORE 132083.631
AT ITER 88 NEW BEST:: SOT 188406 SOS 146571 HAS SOPS 146571 HAS SOUS 131899 HAS SOUPS 131899 WITH SCORE 132045.571
AT ITER 92 NEW BEST:: SOT 188377 SOS 146083 HAS SOPS 146083 HAS SOUS 131494 HAS SOUPS 131494 WITH SCORE 131640.083
AT ITER 93 NEW BEST:: SOT 188164 SOS 145397 HAS SOPS 145397 HAS SOUS 131029 HAS SOUPS 131029 WITH SCORE 131174.397
AT ITER 95 NEW BEST:: SOT 187971 SOS 145204 HAS SOPS 145204 HAS SOUS 130836 HAS SOUPS 130836 WITH SCORE 130981.204
AT ITER 97 NEW BEST:: SOT 187604 SOS 144681 HAS SOPS 144681 HAS SOUS 130295 HAS SOUPS 130295 WITH SCORE 130439.681
AT ITER 98 NEW BEST:: SOT 187451 SOS 143966 HAS SOPS 143966 HAS SOUS 129838 HAS SOUPS 129838 WITH SCORE 129981.966
AT ITER 99 NEW BEST:: SOT 187297 SOS 143756 HAS SOPS 143756 HAS SOUS 129628 HAS SOUPS 129628 WITH SCORE 129771.756
AT ITER 102 NEW BEST:: SOT 187201 SOS 143731 HAS SOPS 143731 HAS SOUS 129441 HAS SOUPS 129441 WITH SCORE 129584.731
AT ITER 104 NEW BEST:: SOT 187144 SOS 143674 HAS SOPS 143674 HAS SOUS 129384 HAS SOUPS 129384 WITH SCORE 129527.674
AT ITER 109 NEW BEST:: SOT 186810 SOS 143361 HAS SOPS 143361 HAS SOUS 128900 HAS SOUPS 128900 WITH SCORE 129043.361
AT ITER 112 NEW BEST:: SOT 186684 SOS 143237 HAS SOPS 143237 HAS SOUS 128789 HAS SOUPS 128789 WITH SCORE 128932.237
AT ITER 114 NEW BEST:: SOT 186487 SOS 142686 HAS SOPS 142686 HAS SOUS 128495 HAS SOUPS 128495 WITH SCORE 128637.686
AT ITER 115 NEW BEST:: SOT 186061 SOS 141904 HAS SOPS 141904 HAS SOUS 127899 HAS SOUPS 127899 WITH SCORE 128040.904
AT ITER 118 NEW BEST:: SOT 185762 SOS 141236 HAS SOPS 141236 HAS SOUS 127371 HAS SOUPS 127371 WITH SCORE 127512.236
AT ITER 119 NEW BEST:: SOT 185762 SOS 141177 HAS SOPS 141177 HAS SOUS 127312 HAS SOUPS 127312 WITH SCORE 127453.177
AT ITER 120 NEW BEST:: SOT 185615 SOS 141030 HAS SOPS 141030 HAS SOUS 127165 HAS SOUPS 127165 WITH SCORE 127306.03
AT ITER 121 NEW BEST:: SOT 185572 SOS 140524 HAS SOPS 140524 HAS SOUS 126545 HAS SOUPS 126545 WITH SCORE 126685.524
AT ITER 122 NEW BEST:: SOT 185572 SOS 140481 HAS SOPS 140481 HAS SOUS 126306 HAS SOUPS 126306 WITH SCORE 126446.481
AT ITER 125 NEW BEST:: SOT 185572 SOS 140262 HAS SOPS 140262 HAS SOUS 126303 HAS SOUPS 126303 WITH SCORE 126443.262
AT ITER 126 NEW BEST:: SOT 185585 SOS 140256 HAS SOPS 140256 HAS SOUS 126297 HAS SOUPS 126297 WITH SCORE 126437.256
AT ITER 127 NEW BEST:: SOT 185585 SOS 140254 HAS SOPS 140254 HAS SOUS 126231 HAS SOUPS 126231 WITH SCORE 126371.254
AT ITER 128 NEW BEST:: SOT 185438 SOS 140270 HAS SOPS 140270 HAS SOUS 126194 HAS SOUPS 126194 WITH SCORE 126334.27
AT ITER 130 NEW BEST:: SOT 185278 SOS 140108 HAS SOPS 140108 HAS SOUS 126032 HAS SOUPS 126032 WITH SCORE 126172.108
AT ITER 131 NEW BEST:: SOT 185278 SOS 140118 HAS SOPS 140118 HAS SOUS 126022 HAS SOUPS 126022 WITH SCORE 126162.118
AT ITER 135 NEW BEST:: SOT 185278 SOS 140052 HAS SOPS 140052 HAS SOUS 125956 HAS SOUPS 125956 WITH SCORE 126096.052
AT ITER 141 NEW BEST:: SOT 185262 SOS 140036 HAS SOPS 140036 HAS SOUS 125940 HAS SOUPS 125940 WITH SCORE 126080.036
AT ITER 144 NEW BEST:: SOT 185238 SOS 140003 HAS SOPS 140003 HAS SOUS 125907 HAS SOUPS 125907 WITH SCORE 126047.003
AT ITER 148 NEW BEST:: SOT 185238 SOS 139433 HAS SOPS 139433 HAS SOUS 125775 HAS SOUPS 125775 WITH SCORE 125914.433
AT ITER 150 NEW BEST:: SOT 185238 SOS 139431 HAS SOPS 139431 HAS SOUS 125773 HAS SOUPS 125773 WITH SCORE 125912.431
AT ITER 152 NEW BEST:: SOT 185238 SOS 139217 HAS SOPS 139217 HAS SOUS 125666 HAS SOUPS 125666 WITH SCORE 125805.217
AT ITER 153 NEW BEST:: SOT 185238 SOS 138810 HAS SOPS 138810 HAS SOUS 125547 HAS SOUPS 125547 WITH SCORE 125685.81
AT ITER 157 NEW BEST:: SOT 185196 SOS 138780 HAS SOPS 138780 HAS SOUS 125484 HAS SOUPS 125484 WITH SCORE 125622.78
AT ITER 160 NEW BEST:: SOT 185312 SOS 138281 HAS SOPS 138281 HAS SOUS 125330 HAS SOUPS 125330 WITH SCORE 125468.281
AT ITER 163 NEW BEST:: SOT 185312 SOS 138281 HAS SOPS 138281 HAS SOUS 125119 HAS SOUPS 125119 WITH SCORE 125257.281
AT ITER 164 NEW BEST:: SOT 184810 SOS 137420 HAS SOPS 137420 HAS SOUS 124391 HAS SOUPS 124391 WITH SCORE 124528.42
AT ITER 165 NEW BEST:: SOT 184810 SOS 137297 HAS SOPS 137297 HAS SOUS 124386 HAS SOUPS 124386 WITH SCORE 124523.297
AT ITER 170 NEW BEST:: SOT 184734 SOS 137071 HAS SOPS 137071 HAS SOUS 124210 HAS SOUPS 124210 WITH SCORE 124347.071
AT ITER 172 NEW BEST:: SOT 184734 SOS 136957 HAS SOPS 136957 HAS SOUS 124096 HAS SOUPS 124096 WITH SCORE 124232.957
AT ITER 173 NEW BEST:: SOT 184373 SOS 136439 HAS SOPS 136439 HAS SOUS 123695 HAS SOUPS 123695 WITH SCORE 123831.439
AT ITER 174 NEW BEST:: SOT 184063 SOS 135848 HAS SOPS 135848 HAS SOUS 123145 HAS SOUPS 123145 WITH SCORE 123280.848
AT ITER 177 NEW BEST:: SOT 183957 SOS 135742 HAS SOPS 135742 HAS SOUS 123039 HAS SOUPS 123039 WITH SCORE 123174.742
AT ITER 180 NEW BEST:: SOT 183814 SOS 135601 HAS SOPS 135601 HAS SOUS 122898 HAS SOUPS 122898 WITH SCORE 123033.601
AT ITER 181 NEW BEST:: SOT 183814 SOS 135150 HAS SOPS 135150 HAS SOUS 122775 HAS SOUPS 122775 WITH SCORE 122910.15
AT ITER 185 NEW BEST:: SOT 183666 SOS 134974 HAS SOPS 134974 HAS SOUS 122531 HAS SOUPS 122531 WITH SCORE 122665.974
AT ITER 186 NEW BEST:: SOT 183659 SOS 134960 HAS SOPS 134960 HAS SOUS 122524 HAS SOUPS 122524 WITH SCORE 122658.96
AT ITER 188 NEW BEST:: SOT 183450 SOS 134751 HAS SOPS 134751 HAS SOUS 122404 HAS SOUPS 122404 WITH SCORE 122538.751
AT ITER 190 NEW BEST:: SOT 182986 SOS 134148 HAS SOPS 134148 HAS SOUS 121536 HAS SOUPS 121536 WITH SCORE 121670.148
AT ITER 192 NEW BEST:: SOT 182986 SOS 133887 HAS SOPS 133887 HAS SOUS 121461 HAS SOUPS 121461 WITH SCORE 121594.887
AT ITER 193 NEW BEST:: SOT 182986 SOS 133812 HAS SOPS 133812 HAS SOUS 121436 HAS SOUPS 121436 WITH SCORE 121569.812
AT ITER 194 NEW BEST:: SOT 182610 SOS 133147 HAS SOPS 133147 HAS SOUS 120909 HAS SOUPS 120909 WITH SCORE 121042.147
AT ITER 197 NEW BEST:: SOT 182592 SOS 133129 HAS SOPS 133129 HAS SOUS 120891 HAS SOUPS 120891 WITH SCORE 121024.129
AT ITER 198 NEW BEST:: SOT 182600 SOS 133145 HAS SOPS 133145 HAS SOUS 120875 HAS SOUPS 120875 WITH SCORE 121008.145
AT ITER 204 NEW BEST:: SOT 182472 SOS 133098 HAS SOPS 133098 HAS SOUS 120828 HAS SOUPS 120828 WITH SCORE 120961.098
AT ITER 210 NEW BEST:: SOT 182472 SOS 132939 HAS SOPS 132939 HAS SOUS 120811 HAS SOUPS 120811 WITH SCORE 120943.939
AT ITER 213 NEW BEST:: SOT 182472 SOS 132811 HAS SOPS 132811 HAS SOUS 120704 HAS SOUPS 120704 WITH SCORE 120836.811
AT ITER 215 NEW BEST:: SOT 182367 SOS 132612 HAS SOPS 132612 HAS SOUS 120505 HAS SOUPS 120505 WITH SCORE 120637.612
AT ITER 217 NEW BEST:: SOT 182153 SOS 132234 HAS SOPS 132234 HAS SOUS 120010 HAS SOUPS 120010 WITH SCORE 120142.234
AT ITER 218 NEW BEST:: SOT 182259 SOS 132145 HAS SOPS 132145 HAS SOUS 119960 HAS SOUPS 119960 WITH SCORE 120092.145
AT ITER 221 NEW BEST:: SOT 181894 SOS 131573 HAS SOPS 131573 HAS SOUS 119410 HAS SOUPS 119410 WITH SCORE 119541.573
AT ITER 222 NEW BEST:: SOT 181738 SOS 131417 HAS SOPS 131417 HAS SOUS 119273 HAS SOUPS 119273 WITH SCORE 119404.417
AT ITER 224 NEW BEST:: SOT 181738 SOS 131504 HAS SOPS 131504 HAS SOUS 119203 HAS SOUPS 119203 WITH SCORE 119334.504
AT ITER 227 NEW BEST:: SOT 181687 SOS 131453 HAS SOPS 131453 HAS SOUS 119152 HAS SOUPS 119152 WITH SCORE 119283.453
AT ITER 229 NEW BEST:: SOT 181572 SOS 131174 HAS SOPS 131174 HAS SOUS 118916 HAS SOUPS 118916 WITH SCORE 119047.174
AT ITER 230 NEW BEST:: SOT 181062 SOS 130664 HAS SOPS 130664 HAS SOUS 118404 HAS SOUPS 118404 WITH SCORE 118534.664
AT ITER 231 NEW BEST:: SOT 181062 SOS 130584 HAS SOPS 130584 HAS SOUS 118324 HAS SOUPS 118324 WITH SCORE 118454.584
AT ITER 232 NEW BEST:: SOT 180914 SOS 130436 HAS SOPS 130436 HAS SOUS 118176 HAS SOUPS 118176 WITH SCORE 118306.436
AT ITER 234 NEW BEST:: SOT 180914 SOS 130282 HAS SOPS 130282 HAS SOUS 118158 HAS SOUPS 118158 WITH SCORE 118288.282
AT ITER 235 NEW BEST:: SOT 180545 SOS 129738 HAS SOPS 129738 HAS SOUS 117545 HAS SOUPS 117545 WITH SCORE 117674.738
AT ITER 237 NEW BEST:: SOT 180285 SOS 129478 HAS SOPS 129478 HAS SOUS 117321 HAS SOUPS 117321 WITH SCORE 117450.478
AT ITER 238 NEW BEST:: SOT 180157 SOS 129291 HAS SOPS 129291 HAS SOUS 117134 HAS SOUPS 117134 WITH SCORE 117263.291
AT ITER 240 NEW BEST:: SOT 180157 SOS 129136 HAS SOPS 129136 HAS SOUS 117003 HAS SOUPS 117003 WITH SCORE 117132.136
AT ITER 246 NEW BEST:: SOT 180156 SOS 129135 HAS SOPS 129135 HAS SOUS 117002 HAS SOUPS 117002 WITH SCORE 117131.135
AT ITER 249 NEW BEST:: SOT 180042 SOS 129021 HAS SOPS 129021 HAS SOUS 116888 HAS SOUPS 116888 WITH SCORE 117017.021
AT ITER 253 NEW BEST:: SOT 180036 SOS 128883 HAS SOPS 128883 HAS SOUS 116757 HAS SOUPS 116757 WITH SCORE 116885.883
AT ITER 255 NEW BEST:: SOT 180408 SOS 128750 HAS SOPS 128750 HAS SOUS 116712 HAS SOUPS 116712 WITH SCORE 116840.75
AT ITER 257 NEW BEST:: SOT 180294 SOS 128411 HAS SOPS 128411 HAS SOUS 116373 HAS SOUPS 116373 WITH SCORE 116501.411
AT ITER 258 NEW BEST:: SOT 180143 SOS 128260 HAS SOPS 128260 HAS SOUS 116220 HAS SOUPS 116220 WITH SCORE 116348.26
AT ITER 259 NEW BEST:: SOT 180085 SOS 128202 HAS SOPS 128202 HAS SOUS 116104 HAS SOUPS 116104 WITH SCORE 116232.202
AT ITER 260 NEW BEST:: SOT 180001 SOS 128190 HAS SOPS 128190 HAS SOUS 116090 HAS SOUPS 116090 WITH SCORE 116218.19
AT ITER 262 NEW BEST:: SOT 179989 SOS 127455 HAS SOPS 127455 HAS SOUS 115735 HAS SOUPS 115735 WITH SCORE 115862.455
AT ITER 265 NEW BEST:: SOT 179989 SOS 127212 HAS SOPS 127212 HAS SOUS 115588 HAS SOUPS 115588 WITH SCORE 115715.212
AT ITER 267 NEW BEST:: SOT 179777 SOS 127000 HAS SOPS 127000 HAS SOUS 115358 HAS SOUPS 115358 WITH SCORE 115485.0
AT ITER 270 NEW BEST:: SOT 179425 SOS 126648 HAS SOPS 126648 HAS SOUS 115006 HAS SOUPS 115006 WITH SCORE 115132.648
AT ITER 271 NEW BEST:: SOT 179299 SOS 126700 HAS SOPS 126700 HAS SOUS 114914 HAS SOUPS 114914 WITH SCORE 115040.7
AT ITER 272 NEW BEST:: SOT 179299 SOS 126503 HAS SOPS 126503 HAS SOUS 114748 HAS SOUPS 114748 WITH SCORE 114874.503
AT ITER 281 NEW BEST:: SOT 179221 SOS 126566 HAS SOPS 126566 HAS SOUS 114671 HAS SOUPS 114671 WITH SCORE 114797.566
AT ITER 282 NEW BEST:: SOT 179353 SOS 126181 HAS SOPS 126181 HAS SOUS 114583 HAS SOUPS 114583 WITH SCORE 114709.181
AT ITER 287 NEW BEST:: SOT 179353 SOS 126179 HAS SOPS 126179 HAS SOUS 114581 HAS SOUPS 114581 WITH SCORE 114707.179
AT ITER 291 NEW BEST:: SOT 178731 SOS 125556 HAS SOPS 125556 HAS SOUS 113958 HAS SOUPS 113958 WITH SCORE 114083.556
AT ITER 292 NEW BEST:: SOT 178731 SOS 124830 HAS SOPS 124830 HAS SOUS 113777 HAS SOUPS 113777 WITH SCORE 113901.83
AT ITER 293 NEW BEST:: SOT 178655 SOS 124526 HAS SOPS 124526 HAS SOUS 113625 HAS SOUPS 113625 WITH SCORE 113749.526
AT ITER 295 NEW BEST:: SOT 178386 SOS 124174 HAS SOPS 124174 HAS SOUS 113427 HAS SOUPS 113427 WITH SCORE 113551.174
AT ITER 299 NEW BEST:: SOT 178350 SOS 123782 HAS SOPS 123782 HAS SOUS 113043 HAS SOUPS 113043 WITH SCORE 113166.782
AT ITER 302 NEW BEST:: SOT 178047 SOS 122668 HAS SOPS 122668 HAS SOUS 112441 HAS SOUPS 112441 WITH SCORE 112563.668
AT ITER 303 NEW BEST:: SOT 178047 SOS 122585 HAS SOPS 122585 HAS SOUS 112358 HAS SOUPS 112358 WITH SCORE 112480.585
AT ITER 304 NEW BEST:: SOT 178008 SOS 122394 HAS SOPS 122394 HAS SOUS 112178 HAS SOUPS 112178 WITH SCORE 112300.394
AT ITER 305 NEW BEST:: SOT 178008 SOS 122394 HAS SOPS 122394 HAS SOUS 112176 HAS SOUPS 112176 WITH SCORE 112298.394
AT ITER 306 NEW BEST:: SOT 178008 SOS 122407 HAS SOPS 122407 HAS SOUS 112156 HAS SOUPS 112156 WITH SCORE 112278.407
AT ITER 308 NEW BEST:: SOT 177793 SOS 122192 HAS SOPS 122192 HAS SOUS 111981 HAS SOUPS 111981 WITH SCORE 112103.192
AT ITER 314 NEW BEST:: SOT 177793 SOS 122072 HAS SOPS 122072 HAS SOUS 111981 HAS SOUPS 111981 WITH SCORE 112103.072
AT ITER 321 NEW BEST:: SOT 177542 SOS 121821 HAS SOPS 121821 HAS SOUS 111698 HAS SOUPS 111698 WITH SCORE 111819.821
AT ITER 324 NEW BEST:: SOT 177513 SOS 121577 HAS SOPS 121577 HAS SOUS 111505 HAS SOUPS 111505 WITH SCORE 111626.577
AT ITER 326 NEW BEST:: SOT 177513 SOS 121212 HAS SOPS 121212 HAS SOUS 111357 HAS SOUPS 111357 WITH SCORE 111478.212
AT ITER 330 NEW BEST:: SOT 177525 SOS 121168 HAS SOPS 121168 HAS SOUS 111327 HAS SOUPS 111327 WITH SCORE 111448.168
AT ITER 332 NEW BEST:: SOT 177305 SOS 121017 HAS SOPS 121017 HAS SOUS 111271 HAS SOUPS 111271 WITH SCORE 111392.017
AT ITER 333 NEW BEST:: SOT 177247 SOS 120855 HAS SOPS 120855 HAS SOUS 111109 HAS SOUPS 111109 WITH SCORE 111229.855
AT ITER 339 NEW BEST:: SOT 177159 SOS 120677 HAS SOPS 120677 HAS SOUS 110935 HAS SOUPS 110935 WITH SCORE 111055.677
AT ITER 340 NEW BEST:: SOT 177159 SOS 120686 HAS SOPS 120686 HAS SOUS 110931 HAS SOUPS 110931 WITH SCORE 111051.686
AT ITER 341 NEW BEST:: SOT 177068 SOS 120509 HAS SOPS 120509 HAS SOUS 110907 HAS SOUPS 110907 WITH SCORE 111027.509
AT ITER 345 NEW BEST:: SOT 176956 SOS 120362 HAS SOPS 120362 HAS SOUS 110738 HAS SOUPS 110738 WITH SCORE 110858.362
AT ITER 346 NEW BEST:: SOT 176666 SOS 120072 HAS SOPS 120072 HAS SOUS 110448 HAS SOUPS 110448 WITH SCORE 110568.072
AT ITER 348 NEW BEST:: SOT 176383 SOS 119007 HAS SOPS 119007 HAS SOUS 109885 HAS SOUPS 109885 WITH SCORE 110004.007
AT ITER 350 NEW BEST:: SOT 176333 SOS 118898 HAS SOPS 118898 HAS SOUS 109776 HAS SOUPS 109776 WITH SCORE 109894.898
AT ITER 352 NEW BEST:: SOT 176269 SOS 118802 HAS SOPS 118802 HAS SOUS 109680 HAS SOUPS 109680 WITH SCORE 109798.802
AT ITER 353 NEW BEST:: SOT 175678 SOS 117605 HAS SOPS 117605 HAS SOUS 108624 HAS SOUPS 108624 WITH SCORE 108741.605
AT ITER 358 NEW BEST:: SOT 175678 SOS 117791 HAS SOPS 117791 HAS SOUS 108567 HAS SOUPS 108567 WITH SCORE 108684.791
AT ITER 360 NEW BEST:: SOT 175722 SOS 117840 HAS SOPS 117840 HAS SOUS 108519 HAS SOUPS 108519 WITH SCORE 108636.84
AT ITER 361 NEW BEST:: SOT 175721 SOS 117587 HAS SOPS 117587 HAS SOUS 108469 HAS SOUPS 108469 WITH SCORE 108586.587
AT ITER 363 NEW BEST:: SOT 175742 SOS 117412 HAS SOPS 117412 HAS SOUS 108294 HAS SOUPS 108294 WITH SCORE 108411.412
AT ITER 365 NEW BEST:: SOT 175810 SOS 117264 HAS SOPS 117264 HAS SOUS 108263 HAS SOUPS 108263 WITH SCORE 108380.264
AT ITER 366 NEW BEST:: SOT 175800 SOS 117254 HAS SOPS 117254 HAS SOUS 108253 HAS SOUPS 108253 WITH SCORE 108370.254
AT ITER 369 NEW BEST:: SOT 175483 SOS 116937 HAS SOPS 116937 HAS SOUS 107870 HAS SOUPS 107870 WITH SCORE 107986.937
AT ITER 372 NEW BEST:: SOT 175483 SOS 116659 HAS SOPS 116659 HAS SOUS 107592 HAS SOUPS 107592 WITH SCORE 107708.659
AT ITER 375 NEW BEST:: SOT 175225 SOS 116401 HAS SOPS 116401 HAS SOUS 107333 HAS SOUPS 107333 WITH SCORE 107449.401
AT ITER 376 NEW BEST:: SOT 175101 SOS 116230 HAS SOPS 116230 HAS SOUS 107220 HAS SOUPS 107220 WITH SCORE 107336.23
AT ITER 380 NEW BEST:: SOT 175101 SOS 116051 HAS SOPS 116051 HAS SOUS 107220 HAS SOUPS 107220 WITH SCORE 107336.051
AT ITER 382 NEW BEST:: SOT 175077 SOS 115925 HAS SOPS 115925 HAS SOUS 107067 HAS SOUPS 107067 WITH SCORE 107182.925
AT ITER 384 NEW BEST:: SOT 174736 SOS 114978 HAS SOPS 114978 HAS SOUS 106368 HAS SOUPS 106368 WITH SCORE 106482.978
AT ITER 389 NEW BEST:: SOT 174973 SOS 114473 HAS SOPS 114473 HAS SOUS 106138 HAS SOUPS 106138 WITH SCORE 106252.473
AT ITER 393 NEW BEST:: SOT 174745 SOS 113949 HAS SOPS 113949 HAS SOUS 105831 HAS SOUPS 105831 WITH SCORE 105944.949
AT ITER 399 NEW BEST:: SOT 174778 SOS 113863 HAS SOPS 113863 HAS SOUS 105823 HAS SOUPS 105823 WITH SCORE 105936.863
AT ITER 403 NEW BEST:: SOT 174424 SOS 113412 HAS SOPS 113412 HAS SOUS 105323 HAS SOUPS 105323 WITH SCORE 105436.412
AT ITER 405 NEW BEST:: SOT 174424 SOS 113283 HAS SOPS 113283 HAS SOUS 105220 HAS SOUPS 105220 WITH SCORE 105333.283
AT ITER 407 NEW BEST:: SOT 174256 SOS 113337 HAS SOPS 113337 HAS SOUS 105066 HAS SOUPS 105066 WITH SCORE 105179.337
AT ITER 410 NEW BEST:: SOT 174513 SOS 113386 HAS SOPS 113386 HAS SOUS 105054 HAS SOUPS 105054 WITH SCORE 105167.386
AT ITER 411 NEW BEST:: SOT 174359 SOS 113232 HAS SOPS 113232 HAS SOUS 104900 HAS SOUPS 104900 WITH SCORE 105013.232
AT ITER 414 NEW BEST:: SOT 174359 SOS 112562 HAS SOPS 112562 HAS SOUS 104686 HAS SOUPS 104686 WITH SCORE 104798.562
AT ITER 417 NEW BEST:: SOT 173917 SOS 112120 HAS SOPS 112120 HAS SOUS 104228 HAS SOUPS 104228 WITH SCORE 104340.12
AT ITER 422 NEW BEST:: SOT 173917 SOS 111590 HAS SOPS 111590 HAS SOUS 104049 HAS SOUPS 104049 WITH SCORE 104160.59
AT ITER 424 NEW BEST:: SOT 173915 SOS 111452 HAS SOPS 111452 HAS SOUS 103979 HAS SOUPS 103979 WITH SCORE 104090.452
AT ITER 425 NEW BEST:: SOT 173845 SOS 111382 HAS SOPS 111382 HAS SOUS 103909 HAS SOUPS 103909 WITH SCORE 104020.382
AT ITER 427 NEW BEST:: SOT 173701 SOS 111238 HAS SOPS 111238 HAS SOUS 103765 HAS SOUPS 103765 WITH SCORE 103876.238
AT ITER 428 NEW BEST:: SOT 173571 SOS 111108 HAS SOPS 111108 HAS SOUS 103635 HAS SOUPS 103635 WITH SCORE 103746.108
AT ITER 431 NEW BEST:: SOT 173571 SOS 110770 HAS SOPS 110770 HAS SOUS 103521 HAS SOUPS 103521 WITH SCORE 103631.77
AT ITER 436 NEW BEST:: SOT 173446 SOS 110645 HAS SOPS 110645 HAS SOUS 103396 HAS SOUPS 103396 WITH SCORE 103506.645
AT ITER 437 NEW BEST:: SOT 173446 SOS 110625 HAS SOPS 110625 HAS SOUS 103396 HAS SOUPS 103396 WITH SCORE 103506.625
AT ITER 440 NEW BEST:: SOT 173365 SOS 110486 HAS SOPS 110486 HAS SOUS 103309 HAS SOUPS 103309 WITH SCORE 103419.486
AT ITER 449 NEW BEST:: SOT 173294 SOS 110513 HAS SOPS 110513 HAS SOUS 103308 HAS SOUPS 103308 WITH SCORE 103418.513
AT ITER 450 NEW BEST:: SOT 172962 SOS 110364 HAS SOPS 110364 HAS SOUS 103054 HAS SOUPS 103054 WITH SCORE 103164.364
AT ITER 455 NEW BEST:: SOT 172783 SOS 110113 HAS SOPS 110113 HAS SOUS 102803 HAS SOUPS 102803 WITH SCORE 102913.113
AT ITER 457 NEW BEST:: SOT 172783 SOS 110147 HAS SOPS 110147 HAS SOUS 102802 HAS SOUPS 102802 WITH SCORE 102912.147
AT ITER 458 NEW BEST:: SOT 172783 SOS 110146 HAS SOPS 110146 HAS SOUS 102801 HAS SOUPS 102801 WITH SCORE 102911.146
AT ITER 462 NEW BEST:: SOT 172639 SOS 109779 HAS SOPS 109779 HAS SOUS 102518 HAS SOUPS 102518 WITH SCORE 102627.779
AT ITER 468 NEW BEST:: SOT 172639 SOS 109746 HAS SOPS 109746 HAS SOUS 102485 HAS SOUPS 102485 WITH SCORE 102594.746
AT ITER 473 NEW BEST:: SOT 172637 SOS 109712 HAS SOPS 109712 HAS SOUS 102451 HAS SOUPS 102451 WITH SCORE 102560.712
AT ITER 475 NEW BEST:: SOT 172541 SOS 110157 HAS SOPS 110157 HAS SOUS 102344 HAS SOUPS 102344 WITH SCORE 102454.157
AT ITER 476 NEW BEST:: SOT 172313 SOS 109905 HAS SOPS 109905 HAS SOUS 102124 HAS SOUPS 102124 WITH SCORE 102233.905
AT ITER 481 NEW BEST:: SOT 172177 SOS 109735 HAS SOPS 109735 HAS SOUS 101920 HAS SOUPS 101920 WITH SCORE 102029.735
AT ITER 485 NEW BEST:: SOT 172065 SOS 109669 HAS SOPS 109669 HAS SOUS 101820 HAS SOUPS 101820 WITH SCORE 101929.669
AT ITER 496 NEW BEST:: SOT 172065 SOS 109645 HAS SOPS 109645 HAS SOUS 101818 HAS SOUPS 101818 WITH SCORE 101927.645
AT ITER 498 NEW BEST:: SOT 171892 SOS 109115 HAS SOPS 109115 HAS SOUS 101447 HAS SOUPS 101447 WITH SCORE 101556.115
AT ITER 509 NEW BEST:: SOT 171634 SOS 108771 HAS SOPS 108771 HAS SOUS 101103 HAS SOUPS 101103 WITH SCORE 101211.771
AT ITER 510 NEW BEST:: SOT 171241 SOS 108378 HAS SOPS 108378 HAS SOUS 100710 HAS SOUPS 100710 WITH SCORE 100818.378
AT ITER 513 NEW BEST:: SOT 171136 SOS 108290 HAS SOPS 108290 HAS SOUS 100656 HAS SOUPS 100656 WITH SCORE 100764.29
AT ITER 515 NEW BEST:: SOT 171124 SOS 108261 HAS SOPS 108261 HAS SOUS 100627 HAS SOUPS 100627 WITH SCORE 100735.261
AT ITER 517 NEW BEST:: SOT 171088 SOS 108153 HAS SOPS 108153 HAS SOUS 100591 HAS SOUPS 100591 WITH SCORE 100699.153
AT ITER 519 NEW BEST:: SOT 171088 SOS 107985 HAS SOPS 107985 HAS SOUS 100295 HAS SOUPS 100295 WITH SCORE 100402.985
AT ITER 520 NEW BEST:: SOT 171100 SOS 107885 HAS SOPS 107885 HAS SOUS 100194 HAS SOUPS 100194 WITH SCORE 100301.885
AT ITER 521 NEW BEST:: SOT 170839 SOS 107530 HAS SOPS 107530 HAS SOUS 99803 HAS SOUPS 99803 WITH SCORE 99910.53
AT ITER 525 NEW BEST:: SOT 170778 SOS 107525 HAS SOPS 107525 HAS SOUS 99789 HAS SOUPS 99789 WITH SCORE 99896.525
AT ITER 526 NEW BEST:: SOT 170776 SOS 107462 HAS SOPS 107462 HAS SOUS 99726 HAS SOUPS 99726 WITH SCORE 99833.462
AT ITER 528 NEW BEST:: SOT 170692 SOS 107236 HAS SOPS 107236 HAS SOUS 99358 HAS SOUPS 99358 WITH SCORE 99465.236
AT ITER 533 NEW BEST:: SOT 170837 SOS 107309 HAS SOPS 107309 HAS SOUS 99286 HAS SOUPS 99286 WITH SCORE 99393.309
AT ITER 537 NEW BEST:: SOT 170801 SOS 107189 HAS SOPS 107189 HAS SOUS 99100 HAS SOUPS 99100 WITH SCORE 99207.189
AT ITER 545 NEW BEST:: SOT 170799 SOS 107187 HAS SOPS 107187 HAS SOUS 99098 HAS SOUPS 99098 WITH SCORE 99205.187
AT ITER 546 NEW BEST:: SOT 170797 SOS 107129 HAS SOPS 107129 HAS SOUS 99040 HAS SOUPS 99040 WITH SCORE 99147.129
AT ITER 547 NEW BEST:: SOT 170637 SOS 106924 HAS SOPS 106924 HAS SOUS 98822 HAS SOUPS 98822 WITH SCORE 98928.924
AT ITER 550 NEW BEST:: SOT 170577 SOS 106730 HAS SOPS 106730 HAS SOUS 98646 HAS SOUPS 98646 WITH SCORE 98752.73
AT ITER 556 NEW BEST:: SOT 170559 SOS 106685 HAS SOPS 106685 HAS SOUS 98619 HAS SOUPS 98619 WITH SCORE 98725.685
AT ITER 557 NEW BEST:: SOT 170560 SOS 106544 HAS SOPS 106544 HAS SOUS 98419 HAS SOUPS 98419 WITH SCORE 98525.544
AT ITER 559 NEW BEST:: SOT 170560 SOS 106384 HAS SOPS 106384 HAS SOUS 98259 HAS SOUPS 98259 WITH SCORE 98365.384
AT ITER 563 NEW BEST:: SOT 170659 SOS 106109 HAS SOPS 106109 HAS SOUS 98098 HAS SOUPS 98098 WITH SCORE 98204.109
AT ITER 564 NEW BEST:: SOT 170821 SOS 105911 HAS SOPS 105911 HAS SOUS 98071 HAS SOUPS 98071 WITH SCORE 98176.911
AT ITER 571 NEW BEST:: SOT 170604 SOS 105793 HAS SOPS 105793 HAS SOUS 97923 HAS SOUPS 97923 WITH SCORE 98028.793
AT ITER 573 NEW BEST:: SOT 170604 SOS 105593 HAS SOPS 105593 HAS SOUS 97909 HAS SOUPS 97909 WITH SCORE 98014.593
AT ITER 575 NEW BEST:: SOT 170604 SOS 105489 HAS SOPS 105489 HAS SOUS 97909 HAS SOUPS 97909 WITH SCORE 98014.489
AT ITER 578 NEW BEST:: SOT 170427 SOS 105312 HAS SOPS 105312 HAS SOUS 97761 HAS SOUPS 97761 WITH SCORE 97866.312
AT ITER 584 NEW BEST:: SOT 170419 SOS 105240 HAS SOPS 105240 HAS SOUS 97623 HAS SOUPS 97623 WITH SCORE 97728.24
AT ITER 590 NEW BEST:: SOT 170558 SOS 104850 HAS SOPS 104850 HAS SOUS 97430 HAS SOUPS 97430 WITH SCORE 97534.85
AT ITER 591 NEW BEST:: SOT 170558 SOS 104834 HAS SOPS 104834 HAS SOUS 97417 HAS SOUPS 97417 WITH SCORE 97521.834
AT ITER 592 NEW BEST:: SOT 170558 SOS 104833 HAS SOPS 104833 HAS SOUS 97405 HAS SOUPS 97405 WITH SCORE 97509.833
AT ITER 595 NEW BEST:: SOT 170371 SOS 104850 HAS SOPS 104850 HAS SOUS 97326 HAS SOUPS 97326 WITH SCORE 97430.85
AT ITER 596 NEW BEST:: SOT 170324 SOS 104803 HAS SOPS 104803 HAS SOUS 97279 HAS SOUPS 97279 WITH SCORE 97383.803
AT ITER 597 NEW BEST:: SOT 170112 SOS 104591 HAS SOPS 104591 HAS SOUS 97064 HAS SOUPS 97064 WITH SCORE 97168.591
AT ITER 598 NEW BEST:: SOT 170112 SOS 104542 HAS SOPS 104542 HAS SOUS 97044 HAS SOUPS 97044 WITH SCORE 97148.542
AT ITER 599 NEW BEST:: SOT 170162 SOS 104502 HAS SOPS 104502 HAS SOUS 97021 HAS SOUPS 97021 WITH SCORE 97125.502
AT ITER 600 NEW BEST:: SOT 169904 SOS 104256 HAS SOPS 104256 HAS SOUS 96775 HAS SOUPS 96775 WITH SCORE 96879.256
AT ITER 602 NEW BEST:: SOT 169691 SOS 103857 HAS SOPS 103857 HAS SOUS 96380 HAS SOUPS 96380 WITH SCORE 96483.857
AT ITER 603 NEW BEST:: SOT 169668 SOS 103742 HAS SOPS 103742 HAS SOUS 96358 HAS SOUPS 96358 WITH SCORE 96461.742
AT ITER 604 NEW BEST:: SOT 169668 SOS 103602 HAS SOPS 103602 HAS SOUS 96240 HAS SOUPS 96240 WITH SCORE 96343.602
AT ITER 609 NEW BEST:: SOT 169523 SOS 103402 HAS SOPS 103402 HAS SOUS 96066 HAS SOUPS 96066 WITH SCORE 96169.402
AT ITER 613 NEW BEST:: SOT 169423 SOS 103302 HAS SOPS 103302 HAS SOUS 95966 HAS SOUPS 95966 WITH SCORE 96069.302
AT ITER 625 NEW BEST:: SOT 169423 SOS 103235 HAS SOPS 103235 HAS SOUS 95899 HAS SOUPS 95899 WITH SCORE 96002.235
AT ITER 626 NEW BEST:: SOT 169423 SOS 103160 HAS SOPS 103160 HAS SOUS 95824 HAS SOUPS 95824 WITH SCORE 95927.16
AT ITER 629 NEW BEST:: SOT 169386 SOS 103113 HAS SOPS 103113 HAS SOUS 95777 HAS SOUPS 95777 WITH SCORE 95880.113
AT ITER 634 NEW BEST:: SOT 169278 SOS 102955 HAS SOPS 102955 HAS SOUS 95602 HAS SOUPS 95602 WITH SCORE 95704.955
AT ITER 637 NEW BEST:: SOT 169052 SOS 102875 HAS SOPS 102875 HAS SOUS 95464 HAS SOUPS 95464 WITH SCORE 95566.875
AT ITER 641 NEW BEST:: SOT 168707 SOS 102674 HAS SOPS 102674 HAS SOUS 95241 HAS SOUPS 95241 WITH SCORE 95343.674
AT ITER 652 NEW BEST:: SOT 168707 SOS 102536 HAS SOPS 102536 HAS SOUS 95221 HAS SOUPS 95221 WITH SCORE 95323.536
AT ITER 653 NEW BEST:: SOT 168559 SOS 102471 HAS SOPS 102471 HAS SOUS 95155 HAS SOUPS 95155 WITH SCORE 95257.471
AT ITER 654 NEW BEST:: SOT 168477 SOS 102225 HAS SOPS 102225 HAS SOUS 94909 HAS SOUPS 94909 WITH SCORE 95011.225
AT ITER 669 NEW BEST:: SOT 168322 SOS 101945 HAS SOPS 101945 HAS SOUS 94532 HAS SOUPS 94532 WITH SCORE 94633.945
AT ITER 673 NEW BEST:: SOT 168368 SOS 101825 HAS SOPS 101825 HAS SOUS 94412 HAS SOUPS 94412 WITH SCORE 94513.825
AT ITER 675 NEW BEST:: SOT 168368 SOS 101767 HAS SOPS 101767 HAS SOUS 94400 HAS SOUPS 94400 WITH SCORE 94501.767
AT ITER 685 NEW BEST:: SOT 168187 SOS 101425 HAS SOPS 101425 HAS SOUS 94058 HAS SOUPS 94058 WITH SCORE 94159.425
AT ITER 688 NEW BEST:: SOT 168161 SOS 101399 HAS SOPS 101399 HAS SOUS 94032 HAS SOUPS 94032 WITH SCORE 94133.399
AT ITER 696 NEW BEST:: SOT 168161 SOS 101322 HAS SOPS 101322 HAS SOUS 93955 HAS SOUPS 93955 WITH SCORE 94056.322
AT ITER 704 NEW BEST:: SOT 168157 SOS 101020 HAS SOPS 101020 HAS SOUS 93813 HAS SOUPS 93813 WITH SCORE 93914.02
AT ITER 707 NEW BEST:: SOT 168157 SOS 100978 HAS SOPS 100978 HAS SOUS 93799 HAS SOUPS 93799 WITH SCORE 93899.978
AT ITER 708 NEW BEST:: SOT 168098 SOS 100919 HAS SOPS 100919 HAS SOUS 93740 HAS SOUPS 93740 WITH SCORE 93840.919
AT ITER 715 NEW BEST:: SOT 167862 SOS 100683 HAS SOPS 100683 HAS SOUS 93504 HAS SOUPS 93504 WITH SCORE 93604.683
AT ITER 718 NEW BEST:: SOT 167842 SOS 100717 HAS SOPS 100717 HAS SOUS 93484 HAS SOUPS 93484 WITH SCORE 93584.717
AT ITER 721 NEW BEST:: SOT 168016 SOS 100717 HAS SOPS 100717 HAS SOUS 93370 HAS SOUPS 93370 WITH SCORE 93470.717
AT ITER 729 NEW BEST:: SOT 168016 SOS 100421 HAS SOPS 100421 HAS SOUS 93351 HAS SOUPS 93351 WITH SCORE 93451.421
AT ITER 730 NEW BEST:: SOT 167826 SOS 100162 HAS SOPS 100162 HAS SOUS 93066 HAS SOUPS 93066 WITH SCORE 93166.162
AT ITER 737 NEW BEST:: SOT 167448 SOS 99676 HAS SOPS 99676 HAS SOUS 92580 HAS SOUPS 92580 WITH SCORE 92679.676
AT ITER 738 NEW BEST:: SOT 167448 SOS 99617 HAS SOPS 99617 HAS SOUS 92580 HAS SOUPS 92580 WITH SCORE 92679.617
AT ITER 740 NEW BEST:: SOT 167463 SOS 99596 HAS SOPS 99596 HAS SOUS 92559 HAS SOUPS 92559 WITH SCORE 92658.596
AT ITER 741 NEW BEST:: SOT 167463 SOS 99588 HAS SOPS 99588 HAS SOUS 92551 HAS SOUPS 92551 WITH SCORE 92650.588
AT ITER 743 NEW BEST:: SOT 167463 SOS 99539 HAS SOPS 99539 HAS SOUS 92502 HAS SOUPS 92502 WITH SCORE 92601.539
AT ITER 745 NEW BEST:: SOT 167463 SOS 99575 HAS SOPS 99575 HAS SOUS 92501 HAS SOUPS 92501 WITH SCORE 92600.575
AT ITER 749 NEW BEST:: SOT 167378 SOS 99234 HAS SOPS 99234 HAS SOUS 91970 HAS SOUPS 91970 WITH SCORE 92069.234
AT ITER 756 NEW BEST:: SOT 167378 SOS 99238 HAS SOPS 99238 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92026.238
AT ITER 761 NEW BEST:: SOT 167301 SOS 99161 HAS SOPS 99161 HAS SOUS 91773 HAS SOUPS 91773 WITH SCORE 91872.161
AT ITER 770 NEW BEST:: SOT 167123 SOS 98894 HAS SOPS 98894 HAS SOUS 91503 HAS SOUPS 91503 WITH SCORE 91601.894
AT ITER 771 NEW BEST:: SOT 167087 SOS 98855 HAS SOPS 98855 HAS SOUS 91464 HAS SOUPS 91464 WITH SCORE 91562.855
AT ITER 783 NEW BEST:: SOT 167059 SOS 98827 HAS SOPS 98827 HAS SOUS 91436 HAS SOUPS 91436 WITH SCORE 91534.827
AT ITER 786 NEW BEST:: SOT 167013 SOS 98758 HAS SOPS 98758 HAS SOUS 91367 HAS SOUPS 91367 WITH SCORE 91465.758
AT ITER 798 NEW BEST:: SOT 166974 SOS 98437 HAS SOPS 98437 HAS SOUS 91262 HAS SOUPS 91262 WITH SCORE 91360.437
AT ITER 799 NEW BEST:: SOT 167146 SOS 98432 HAS SOPS 98432 HAS SOUS 91156 HAS SOUPS 91156 WITH SCORE 91254.432
AT ITER 802 NEW BEST:: SOT 166960 SOS 98009 HAS SOPS 98009 HAS SOUS 90817 HAS SOUPS 90817 WITH SCORE 90915.009
AT ITER 807 NEW BEST:: SOT 166960 SOS 97985 HAS SOPS 97985 HAS SOUS 90793 HAS SOUPS 90793 WITH SCORE 90890.985
AT ITER 810 NEW BEST:: SOT 166950 SOS 97951 HAS SOPS 97951 HAS SOUS 90759 HAS SOUPS 90759 WITH SCORE 90856.951
AT ITER 815 NEW BEST:: SOT 166763 SOS 97587 HAS SOPS 97587 HAS SOUS 90395 HAS SOUPS 90395 WITH SCORE 90492.587
AT ITER 824 NEW BEST:: SOT 166740 SOS 97398 HAS SOPS 97398 HAS SOUS 90326 HAS SOUPS 90326 WITH SCORE 90423.398
AT ITER 826 NEW BEST:: SOT 166740 SOS 97281 HAS SOPS 97281 HAS SOUS 90209 HAS SOUPS 90209 WITH SCORE 90306.281
AT ITER 831 NEW BEST:: SOT 166725 SOS 97266 HAS SOPS 97266 HAS SOUS 90209 HAS SOUPS 90209 WITH SCORE 90306.266
AT ITER 836 NEW BEST:: SOT 166786 SOS 97293 HAS SOPS 97293 HAS SOUS 90201 HAS SOUPS 90201 WITH SCORE 90298.293
AT ITER 837 NEW BEST:: SOT 166786 SOS 97146 HAS SOPS 97146 HAS SOUS 90068 HAS SOUPS 90068 WITH SCORE 90165.146
AT ITER 849 NEW BEST:: SOT 166786 SOS 97112 HAS SOPS 97112 HAS SOUS 90034 HAS SOUPS 90034 WITH SCORE 90131.112
AT ITER 851 NEW BEST:: SOT 166714 SOS 97040 HAS SOPS 97040 HAS SOUS 89962 HAS SOUPS 89962 WITH SCORE 90059.04
AT ITER 853 NEW BEST:: SOT 166714 SOS 97007 HAS SOPS 97007 HAS SOUS 89929 HAS SOUPS 89929 WITH SCORE 90026.007
AT ITER 861 NEW BEST:: SOT 166714 SOS 96762 HAS SOPS 96762 HAS SOUS 89803 HAS SOUPS 89803 WITH SCORE 89899.762
AT ITER 863 NEW BEST:: SOT 166675 SOS 96708 HAS SOPS 96708 HAS SOUS 89749 HAS SOUPS 89749 WITH SCORE 89845.708
AT ITER 865 NEW BEST:: SOT 166459 SOS 96384 HAS SOPS 96384 HAS SOUS 89289 HAS SOUPS 89289 WITH SCORE 89385.384
AT ITER 866 NEW BEST:: SOT 166430 SOS 96355 HAS SOPS 96355 HAS SOUS 89260 HAS SOUPS 89260 WITH SCORE 89356.355
AT ITER 873 NEW BEST:: SOT 166110 SOS 96356 HAS SOPS 96356 HAS SOUS 88908 HAS SOUPS 88908 WITH SCORE 89004.356
AT ITER 874 NEW BEST:: SOT 166064 SOS 96190 HAS SOPS 96190 HAS SOUS 88816 HAS SOUPS 88816 WITH SCORE 88912.19
AT ITER 879 NEW BEST:: SOT 166120 SOS 95516 HAS SOPS 95516 HAS SOUS 88740 HAS SOUPS 88740 WITH SCORE 88835.516
AT ITER 882 NEW BEST:: SOT 166142 SOS 95490 HAS SOPS 95490 HAS SOUS 88659 HAS SOUPS 88659 WITH SCORE 88754.49
AT ITER 884 NEW BEST:: SOT 166038 SOS 95358 HAS SOPS 95358 HAS SOUS 88651 HAS SOUPS 88651 WITH SCORE 88746.358
AT ITER 885 NEW BEST:: SOT 166027 SOS 95335 HAS SOPS 95335 HAS SOUS 88618 HAS SOUPS 88618 WITH SCORE 88713.335
AT ITER 888 NEW BEST:: SOT 165992 SOS 95300 HAS SOPS 95300 HAS SOUS 88583 HAS SOUPS 88583 WITH SCORE 88678.3
AT ITER 889 NEW BEST:: SOT 165978 SOS 95286 HAS SOPS 95286 HAS SOUS 88583 HAS SOUPS 88583 WITH SCORE 88678.286
AT ITER 890 NEW BEST:: SOT 165912 SOS 95220 HAS SOPS 95220 HAS SOUS 88517 HAS SOUPS 88517 WITH SCORE 88612.22
AT ITER 891 NEW BEST:: SOT 165817 SOS 94861 HAS SOPS 94861 HAS SOUS 88201 HAS SOUPS 88201 WITH SCORE 88295.861
AT ITER 892 NEW BEST:: SOT 165782 SOS 94948 HAS SOPS 94948 HAS SOUS 88137 HAS SOUPS 88137 WITH SCORE 88231.948
AT ITER 900 NEW BEST:: SOT 165516 SOS 94592 HAS SOPS 94592 HAS SOUS 87625 HAS SOUPS 87625 WITH SCORE 87719.592
AT ITER 901 NEW BEST:: SOT 165516 SOS 94505 HAS SOPS 94505 HAS SOUS 87538 HAS SOUPS 87538 WITH SCORE 87632.505
AT ITER 909 NEW BEST:: SOT 165412 SOS 94401 HAS SOPS 94401 HAS SOUS 87406 HAS SOUPS 87406 WITH SCORE 87500.401
AT ITER 911 NEW BEST:: SOT 165139 SOS 94128 HAS SOPS 94128 HAS SOUS 87255 HAS SOUPS 87255 WITH SCORE 87349.128
AT ITER 914 NEW BEST:: SOT 165060 SOS 93970 HAS SOPS 93970 HAS SOUS 87097 HAS SOUPS 87097 WITH SCORE 87190.97
AT ITER 919 NEW BEST:: SOT 164921 SOS 93680 HAS SOPS 93680 HAS SOUS 86807 HAS SOUPS 86807 WITH SCORE 86900.68
AT ITER 923 NEW BEST:: SOT 164727 SOS 93475 HAS SOPS 93475 HAS SOUS 86505 HAS SOUPS 86505 WITH SCORE 86598.475
AT ITER 924 NEW BEST:: SOT 164727 SOS 93286 HAS SOPS 93286 HAS SOUS 86488 HAS SOUPS 86488 WITH SCORE 86581.286
AT ITER 925 NEW BEST:: SOT 164685 SOS 93112 HAS SOPS 93112 HAS SOUS 86404 HAS SOUPS 86404 WITH SCORE 86497.112
AT ITER 930 NEW BEST:: SOT 164685 SOS 92975 HAS SOPS 92975 HAS SOUS 86382 HAS SOUPS 86382 WITH SCORE 86474.975
AT ITER 932 NEW BEST:: SOT 164669 SOS 92920 HAS SOPS 92920 HAS SOUS 86327 HAS SOUPS 86327 WITH SCORE 86419.92
AT ITER 933 NEW BEST:: SOT 164669 SOS 92918 HAS SOPS 92918 HAS SOUS 86325 HAS SOUPS 86325 WITH SCORE 86417.918
AT ITER 934 NEW BEST:: SOT 164542 SOS 92849 HAS SOPS 92849 HAS SOUS 86256 HAS SOUPS 86256 WITH SCORE 86348.849
AT ITER 936 NEW BEST:: SOT 164517 SOS 92793 HAS SOPS 92793 HAS SOUS 86200 HAS SOUPS 86200 WITH SCORE 86292.793
AT ITER 945 NEW BEST:: SOT 164515 SOS 92791 HAS SOPS 92791 HAS SOUS 86198 HAS SOUPS 86198 WITH SCORE 86290.791
AT ITER 948 NEW BEST:: SOT 164421 SOS 92491 HAS SOPS 92491 HAS SOUS 85993 HAS SOUPS 85993 WITH SCORE 86085.491
AT ITER 949 NEW BEST:: SOT 164501 SOS 92552 HAS SOPS 92552 HAS SOUS 85970 HAS SOUPS 85970 WITH SCORE 86062.552
AT ITER 952 NEW BEST:: SOT 164501 SOS 92378 HAS SOPS 92378 HAS SOUS 85906 HAS SOUPS 85906 WITH SCORE 85998.378
AT ITER 953 NEW BEST:: SOT 164398 SOS 92275 HAS SOPS 92275 HAS SOUS 85803 HAS SOUPS 85803 WITH SCORE 85895.275
AT ITER 954 NEW BEST:: SOT 164428 SOS 92257 HAS SOPS 92257 HAS SOUS 85747 HAS SOUPS 85747 WITH SCORE 85839.257
AT ITER 955 NEW BEST:: SOT 164428 SOS 92347 HAS SOPS 92347 HAS SOUS 85730 HAS SOUPS 85730 WITH SCORE 85822.347
AT ITER 956 NEW BEST:: SOT 164290 SOS 92143 HAS SOPS 92143 HAS SOUS 85582 HAS SOUPS 85582 WITH SCORE 85674.143
AT ITER 968 NEW BEST:: SOT 164257 SOS 92110 HAS SOPS 92110 HAS SOUS 85549 HAS SOUPS 85549 WITH SCORE 85641.11
AT ITER 972 NEW BEST:: SOT 164257 SOS 92108 HAS SOPS 92108 HAS SOUS 85549 HAS SOUPS 85549 WITH SCORE 85641.108
AT ITER 974 NEW BEST:: SOT 164271 SOS 92122 HAS SOPS 92122 HAS SOUS 85440 HAS SOUPS 85440 WITH SCORE 85532.122
AT ITER 976 NEW BEST:: SOT 164205 SOS 91926 HAS SOPS 91926 HAS SOUS 85308 HAS SOUPS 85308 WITH SCORE 85399.926
AT ITER 978 NEW BEST:: SOT 164180 SOS 91901 HAS SOPS 91901 HAS SOUS 85283 HAS SOUPS 85283 WITH SCORE 85374.901
AT ITER 980 NEW BEST:: SOT 164108 SOS 91938 HAS SOPS 91938 HAS SOUS 85173 HAS SOUPS 85173 WITH SCORE 85264.938
AT ITER 984 NEW BEST:: SOT 164078 SOS 91403 HAS SOPS 91403 HAS SOUS 84796 HAS SOUPS 84796 WITH SCORE 84887.403
AT ITER 986 NEW BEST:: SOT 163981 SOS 91254 HAS SOPS 91254 HAS SOUS 84647 HAS SOUPS 84647 WITH SCORE 84738.254
AT ITER 998 NEW BEST:: SOT 163929 SOS 91202 HAS SOPS 91202 HAS SOUS 84569 HAS SOUPS 84569 WITH SCORE 84660.202
AT ITER 1004 NEW BEST:: SOT 163929 SOS 91092 HAS SOPS 91092 HAS SOUS 84459 HAS SOUPS 84459 WITH SCORE 84550.092
AT ITER 1011 NEW BEST:: SOT 163649 SOS 90755 HAS SOPS 90755 HAS SOUS 84265 HAS SOUPS 84265 WITH SCORE 84355.755
AT ITER 1019 NEW BEST:: SOT 163647 SOS 90753 HAS SOPS 90753 HAS SOUS 84263 HAS SOUPS 84263 WITH SCORE 84353.753
AT ITER 1020 NEW BEST:: SOT 163664 SOS 90756 HAS SOPS 90756 HAS SOUS 84247 HAS SOUPS 84247 WITH SCORE 84337.756
AT ITER 1031 NEW BEST:: SOT 163594 SOS 90605 HAS SOPS 90605 HAS SOUS 84096 HAS SOUPS 84096 WITH SCORE 84186.605
AT ITER 1038 NEW BEST:: SOT 163594 SOS 90424 HAS SOPS 90424 HAS SOUS 83769 HAS SOUPS 83769 WITH SCORE 83859.424
AT ITER 1041 NEW BEST:: SOT 163325 SOS 90084 HAS SOPS 90084 HAS SOUS 83429 HAS SOUPS 83429 WITH SCORE 83519.084
AT ITER 1044 NEW BEST:: SOT 163325 SOS 89947 HAS SOPS 89947 HAS SOUS 83394 HAS SOUPS 83394 WITH SCORE 83483.947
AT ITER 1049 NEW BEST:: SOT 163208 SOS 89821 HAS SOPS 89821 HAS SOUS 83298 HAS SOUPS 83298 WITH SCORE 83387.821
AT ITER 1050 NEW BEST:: SOT 163072 SOS 89648 HAS SOPS 89648 HAS SOUS 83125 HAS SOUPS 83125 WITH SCORE 83214.648
AT ITER 1053 NEW BEST:: SOT 163068 SOS 89953 HAS SOPS 89953 HAS SOUS 83117 HAS SOUPS 83117 WITH SCORE 83206.953
AT ITER 1076 NEW BEST:: SOT 163030 SOS 89915 HAS SOPS 89915 HAS SOUS 83079 HAS SOUPS 83079 WITH SCORE 83168.915
AT ITER 1077 NEW BEST:: SOT 163013 SOS 89869 HAS SOPS 89869 HAS SOUS 83033 HAS SOUPS 83033 WITH SCORE 83122.869
AT ITER 1082 NEW BEST:: SOT 163013 SOS 89863 HAS SOPS 89863 HAS SOUS 83027 HAS SOUPS 83027 WITH SCORE 83116.863
AT ITER 1088 NEW BEST:: SOT 162975 SOS 89787 HAS SOPS 89787 HAS SOUS 82951 HAS SOUPS 82951 WITH SCORE 83040.787
AT ITER 1089 NEW BEST:: SOT 162975 SOS 89805 HAS SOPS 89805 HAS SOUS 82817 HAS SOUPS 82817 WITH SCORE 82906.805
AT ITER 1098 NEW BEST:: SOT 162943 SOS 89741 HAS SOPS 89741 HAS SOUS 82785 HAS SOUPS 82785 WITH SCORE 82874.741
AT ITER 1103 NEW BEST:: SOT 162952 SOS 89612 HAS SOPS 89612 HAS SOUS 82743 HAS SOUPS 82743 WITH SCORE 82832.612
AT ITER 1105 NEW BEST:: SOT 162946 SOS 89606 HAS SOPS 89606 HAS SOUS 82705 HAS SOUPS 82705 WITH SCORE 82794.606
AT ITER 1110 NEW BEST:: SOT 162946 SOS 89606 HAS SOPS 89606 HAS SOUS 82679 HAS SOUPS 82679 WITH SCORE 82768.606
AT ITER 1111 NEW BEST:: SOT 162932 SOS 89501 HAS SOPS 89501 HAS SOUS 82574 HAS SOUPS 82574 WITH SCORE 82663.501
AT ITER 1112 NEW BEST:: SOT 162816 SOS 89385 HAS SOPS 89385 HAS SOUS 82516 HAS SOUPS 82516 WITH SCORE 82605.385
AT ITER 1118 NEW BEST:: SOT 162689 SOS 89162 HAS SOPS 89162 HAS SOUS 82355 HAS SOUPS 82355 WITH SCORE 82444.162
AT ITER 1122 NEW BEST:: SOT 162682 SOS 89211 HAS SOPS 89211 HAS SOUS 82272 HAS SOUPS 82272 WITH SCORE 82361.211
AT ITER 1133 NEW BEST:: SOT 162671 SOS 89167 HAS SOPS 89167 HAS SOUS 82239 HAS SOUPS 82239 WITH SCORE 82328.167
AT ITER 1135 NEW BEST:: SOT 162592 SOS 89042 HAS SOPS 89042 HAS SOUS 82127 HAS SOUPS 82127 WITH SCORE 82216.042
AT ITER 1137 NEW BEST:: SOT 162592 SOS 89042 HAS SOPS 89042 HAS SOUS 82122 HAS SOUPS 82122 WITH SCORE 82211.042
AT ITER 1138 NEW BEST:: SOT 162524 SOS 88848 HAS SOPS 88848 HAS SOUS 81990 HAS SOUPS 81990 WITH SCORE 82078.848
AT ITER 1139 NEW BEST:: SOT 162469 SOS 88650 HAS SOPS 88650 HAS SOUS 81733 HAS SOUPS 81733 WITH SCORE 81821.65
AT ITER 1140 NEW BEST:: SOT 162469 SOS 88582 HAS SOPS 88582 HAS SOUS 81665 HAS SOUPS 81665 WITH SCORE 81753.582
AT ITER 1145 NEW BEST:: SOT 162469 SOS 88543 HAS SOPS 88543 HAS SOUS 81626 HAS SOUPS 81626 WITH SCORE 81714.543
AT ITER 1150 NEW BEST:: SOT 162274 SOS 88297 HAS SOPS 88297 HAS SOUS 81380 HAS SOUPS 81380 WITH SCORE 81468.297
AT ITER 1156 NEW BEST:: SOT 162274 SOS 88297 HAS SOPS 88297 HAS SOUS 81239 HAS SOUPS 81239 WITH SCORE 81327.297
AT ITER 1163 NEW BEST:: SOT 162228 SOS 88251 HAS SOPS 88251 HAS SOUS 81193 HAS SOUPS 81193 WITH SCORE 81281.251
AT ITER 1166 NEW BEST:: SOT 162226 SOS 88159 HAS SOPS 88159 HAS SOUS 81101 HAS SOUPS 81101 WITH SCORE 81189.159
AT ITER 1170 NEW BEST:: SOT 162048 SOS 88006 HAS SOPS 88006 HAS SOUS 80908 HAS SOUPS 80908 WITH SCORE 80996.006
AT ITER 1180 NEW BEST:: SOT 161955 SOS 87812 HAS SOPS 87812 HAS SOUS 80714 HAS SOUPS 80714 WITH SCORE 80801.812
AT ITER 1183 NEW BEST:: SOT 161953 SOS 87810 HAS SOPS 87810 HAS SOUS 80712 HAS SOUPS 80712 WITH SCORE 80799.81
AT ITER 1186 NEW BEST:: SOT 161952 SOS 87808 HAS SOPS 87808 HAS SOUS 80710 HAS SOUPS 80710 WITH SCORE 80797.808
AT ITER 1190 NEW BEST:: SOT 162043 SOS 87769 HAS SOPS 87769 HAS SOUS 80609 HAS SOUPS 80609 WITH SCORE 80696.769
AT ITER 1198 NEW BEST:: SOT 161836 SOS 87562 HAS SOPS 87562 HAS SOUS 80402 HAS SOUPS 80402 WITH SCORE 80489.562
AT ITER 1205 NEW BEST:: SOT 161947 SOS 86962 HAS SOPS 86962 HAS SOUS 80347 HAS SOUPS 80347 WITH SCORE 80433.962
AT ITER 1212 NEW BEST:: SOT 161944 SOS 86959 HAS SOPS 86959 HAS SOUS 80344 HAS SOUPS 80344 WITH SCORE 80430.959
AT ITER 1215 NEW BEST:: SOT 161944 SOS 86744 HAS SOPS 86744 HAS SOUS 80271 HAS SOUPS 80271 WITH SCORE 80357.744
AT ITER 1220 NEW BEST:: SOT 162140 SOS 86419 HAS SOPS 86419 HAS SOUS 80233 HAS SOUPS 80233 WITH SCORE 80319.419
AT ITER 1227 NEW BEST:: SOT 162106 SOS 86313 HAS SOPS 86313 HAS SOUS 80177 HAS SOUPS 80177 WITH SCORE 80263.313
AT ITER 1228 NEW BEST:: SOT 162070 SOS 86000 HAS SOPS 86000 HAS SOUS 79961 HAS SOUPS 79961 WITH SCORE 80047.0
AT ITER 1233 NEW BEST:: SOT 161985 SOS 85806 HAS SOPS 85806 HAS SOUS 79852 HAS SOUPS 79852 WITH SCORE 79937.806
AT ITER 1246 NEW BEST:: SOT 161990 SOS 85789 HAS SOPS 85789 HAS SOUS 79840 HAS SOUPS 79840 WITH SCORE 79925.789
AT ITER 1254 NEW BEST:: SOT 161944 SOS 85743 HAS SOPS 85743 HAS SOUS 79794 HAS SOUPS 79794 WITH SCORE 79879.743
AT ITER 1262 NEW BEST:: SOT 161756 SOS 85382 HAS SOPS 85382 HAS SOUS 79210 HAS SOUPS 79210 WITH SCORE 79295.382
AT ITER 1263 NEW BEST:: SOT 161721 SOS 85347 HAS SOPS 85347 HAS SOUS 79135 HAS SOUPS 79135 WITH SCORE 79220.347
AT ITER 1271 NEW BEST:: SOT 161721 SOS 85314 HAS SOPS 85314 HAS SOUS 79102 HAS SOUPS 79102 WITH SCORE 79187.314
AT ITER 1272 NEW BEST:: SOT 161742 SOS 85271 HAS SOPS 85271 HAS SOUS 79059 HAS SOUPS 79059 WITH SCORE 79144.271
AT ITER 1273 NEW BEST:: SOT 161617 SOS 85075 HAS SOPS 85075 HAS SOUS 78928 HAS SOUPS 78928 WITH SCORE 79013.075
AT ITER 1285 NEW BEST:: SOT 161604 SOS 84952 HAS SOPS 84952 HAS SOUS 78805 HAS SOUPS 78805 WITH SCORE 78889.952
AT ITER 1293 NEW BEST:: SOT 161555 SOS 84750 HAS SOPS 84750 HAS SOUS 78603 HAS SOUPS 78603 WITH SCORE 78687.75
AT ITER 1296 NEW BEST:: SOT 161538 SOS 84654 HAS SOPS 84654 HAS SOUS 78556 HAS SOUPS 78556 WITH SCORE 78640.654
AT ITER 1301 NEW BEST:: SOT 161445 SOS 84480 HAS SOPS 84480 HAS SOUS 78392 HAS SOUPS 78392 WITH SCORE 78476.48
AT ITER 1311 NEW BEST:: SOT 161483 SOS 84515 HAS SOPS 84515 HAS SOUS 78389 HAS SOUPS 78389 WITH SCORE 78473.515
AT ITER 1314 NEW BEST:: SOT 161281 SOS 84240 HAS SOPS 84240 HAS SOUS 78114 HAS SOUPS 78114 WITH SCORE 78198.24
AT ITER 1330 NEW BEST:: SOT 161281 SOS 84073 HAS SOPS 84073 HAS SOUS 78051 HAS SOUPS 78051 WITH SCORE 78135.073
AT ITER 1339 NEW BEST:: SOT 161203 SOS 83995 HAS SOPS 83995 HAS SOUS 77973 HAS SOUPS 77973 WITH SCORE 78056.995
AT ITER 1353 NEW BEST:: SOT 161170 SOS 83976 HAS SOPS 83976 HAS SOUS 77954 HAS SOUPS 77954 WITH SCORE 78037.976
AT ITER 1356 NEW BEST:: SOT 160709 SOS 83206 HAS SOPS 83206 HAS SOUS 77184 HAS SOUPS 77184 WITH SCORE 77267.206
AT ITER 1359 NEW BEST:: SOT 160693 SOS 83162 HAS SOPS 83162 HAS SOUS 77152 HAS SOUPS 77152 WITH SCORE 77235.162
AT ITER 1364 NEW BEST:: SOT 160638 SOS 83107 HAS SOPS 83107 HAS SOUS 77144 HAS SOUPS 77144 WITH SCORE 77227.107
AT ITER 1369 NEW BEST:: SOT 160624 SOS 83020 HAS SOPS 83020 HAS SOUS 77069 HAS SOUPS 77069 WITH SCORE 77152.02
AT ITER 1371 NEW BEST:: SOT 160585 SOS 82981 HAS SOPS 82981 HAS SOUS 77030 HAS SOUPS 77030 WITH SCORE 77112.981
AT ITER 1376 NEW BEST:: SOT 160410 SOS 82937 HAS SOPS 82937 HAS SOUS 76986 HAS SOUPS 76986 WITH SCORE 77068.937
AT ITER 1379 NEW BEST:: SOT 160410 SOS 82835 HAS SOPS 82835 HAS SOUS 76918 HAS SOUPS 76918 WITH SCORE 77000.835
AT ITER 1398 NEW BEST:: SOT 160410 SOS 82832 HAS SOPS 82832 HAS SOUS 76918 HAS SOUPS 76918 WITH SCORE 77000.832
AT ITER 1402 NEW BEST:: SOT 160384 SOS 82860 HAS SOPS 82860 HAS SOUS 76892 HAS SOUPS 76892 WITH SCORE 76974.86
AT ITER 1405 NEW BEST:: SOT 160364 SOS 82674 HAS SOPS 82674 HAS SOUS 76789 HAS SOUPS 76789 WITH SCORE 76871.674
AT ITER 1406 NEW BEST:: SOT 160324 SOS 82637 HAS SOPS 82637 HAS SOUS 76752 HAS SOUPS 76752 WITH SCORE 76834.637
AT ITER 1410 NEW BEST:: SOT 160192 SOS 82395 HAS SOPS 82395 HAS SOUS 76510 HAS SOUPS 76510 WITH SCORE 76592.395
AT ITER 1414 NEW BEST:: SOT 160015 SOS 81998 HAS SOPS 81998 HAS SOUS 76271 HAS SOUPS 76271 WITH SCORE 76352.998
AT ITER 1421 NEW BEST:: SOT 159957 SOS 81823 HAS SOPS 81823 HAS SOUS 76184 HAS SOUPS 76184 WITH SCORE 76265.823
AT ITER 1425 NEW BEST:: SOT 159860 SOS 81726 HAS SOPS 81726 HAS SOUS 76087 HAS SOUPS 76087 WITH SCORE 76168.726
AT ITER 1426 NEW BEST:: SOT 159893 SOS 81649 HAS SOPS 81649 HAS SOUS 76010 HAS SOUPS 76010 WITH SCORE 76091.649
AT ITER 1432 NEW BEST:: SOT 159858 SOS 81646 HAS SOPS 81646 HAS SOUS 76007 HAS SOUPS 76007 WITH SCORE 76088.646
AT ITER 1434 NEW BEST:: SOT 159632 SOS 81298 HAS SOPS 81298 HAS SOUS 75574 HAS SOUPS 75574 WITH SCORE 75655.298
AT ITER 1440 NEW BEST:: SOT 159574 SOS 81160 HAS SOPS 81160 HAS SOUS 75476 HAS SOUPS 75476 WITH SCORE 75557.16
AT ITER 1442 NEW BEST:: SOT 159574 SOS 81050 HAS SOPS 81050 HAS SOUS 75421 HAS SOUPS 75421 WITH SCORE 75502.05
AT ITER 1445 NEW BEST:: SOT 159591 SOS 80998 HAS SOPS 80998 HAS SOUS 75341 HAS SOUPS 75341 WITH SCORE 75421.998
AT ITER 1458 NEW BEST:: SOT 159501 SOS 80633 HAS SOPS 80633 HAS SOUS 75010 HAS SOUPS 75010 WITH SCORE 75090.633
AT ITER 1459 NEW BEST:: SOT 159501 SOS 80603 HAS SOPS 80603 HAS SOUS 74980 HAS SOUPS 74980 WITH SCORE 75060.603
AT ITER 1463 NEW BEST:: SOT 159466 SOS 80533 HAS SOPS 80533 HAS SOUS 74945 HAS SOUPS 74945 WITH SCORE 75025.533
AT ITER 1473 NEW BEST:: SOT 159432 SOS 80431 HAS SOPS 80431 HAS SOUS 74843 HAS SOUPS 74843 WITH SCORE 74923.431
AT ITER 1484 NEW BEST:: SOT 159333 SOS 80278 HAS SOPS 80278 HAS SOUS 74708 HAS SOUPS 74708 WITH SCORE 74788.278
AT ITER 1485 NEW BEST:: SOT 159074 SOS 80140 HAS SOPS 80140 HAS SOUS 74360 HAS SOUPS 74360 WITH SCORE 74440.14
AT ITER 1486 NEW BEST:: SOT 159028 SOS 80048 HAS SOPS 80048 HAS SOUS 74268 HAS SOUPS 74268 WITH SCORE 74348.048
AT ITER 1498 NEW BEST:: SOT 159028 SOS 80048 HAS SOPS 80048 HAS SOUS 74244 HAS SOUPS 74244 WITH SCORE 74324.048
AT ITER 1514 NEW BEST:: SOT 159028 SOS 80023 HAS SOPS 80023 HAS SOUS 74219 HAS SOUPS 74219 WITH SCORE 74299.023
AT ITER 1524 NEW BEST:: SOT 159017 SOS 80010 HAS SOPS 80010 HAS SOUS 74206 HAS SOUPS 74206 WITH SCORE 74286.01
AT ITER 1525 NEW BEST:: SOT 159007 SOS 79969 HAS SOPS 79969 HAS SOUS 74165 HAS SOUPS 74165 WITH SCORE 74244.969
AT ITER 1528 NEW BEST:: SOT 158989 SOS 79972 HAS SOPS 79972 HAS SOUS 74163 HAS SOUPS 74163 WITH SCORE 74242.972
AT ITER 1530 NEW BEST:: SOT 159032 SOS 79931 HAS SOPS 79931 HAS SOUS 74081 HAS SOUPS 74081 WITH SCORE 74160.931
AT ITER 1535 NEW BEST:: SOT 159030 SOS 79929 HAS SOPS 79929 HAS SOUS 74077 HAS SOUPS 74077 WITH SCORE 74156.929
AT ITER 1536 NEW BEST:: SOT 159030 SOS 79906 HAS SOPS 79906 HAS SOUS 74064 HAS SOUPS 74064 WITH SCORE 74143.906
AT ITER 1538 NEW BEST:: SOT 159030 SOS 79897 HAS SOPS 79897 HAS SOUS 74063 HAS SOUPS 74063 WITH SCORE 74142.897
AT ITER 1541 NEW BEST:: SOT 159030 SOS 79843 HAS SOPS 79843 HAS SOUS 74027 HAS SOUPS 74027 WITH SCORE 74106.843
AT ITER 1546 NEW BEST:: SOT 158748 SOS 79511 HAS SOPS 79511 HAS SOUS 73618 HAS SOUPS 73618 WITH SCORE 73697.511
AT ITER 1550 NEW BEST:: SOT 158748 SOS 79478 HAS SOPS 79478 HAS SOUS 73618 HAS SOUPS 73618 WITH SCORE 73697.478
AT ITER 1551 NEW BEST:: SOT 158739 SOS 79200 HAS SOPS 79200 HAS SOUS 73383 HAS SOUPS 73383 WITH SCORE 73462.2
AT ITER 1555 NEW BEST:: SOT 158619 SOS 79080 HAS SOPS 79080 HAS SOUS 73237 HAS SOUPS 73237 WITH SCORE 73316.08
AT ITER 1566 NEW BEST:: SOT 158604 SOS 79065 HAS SOPS 79065 HAS SOUS 73207 HAS SOUPS 73207 WITH SCORE 73286.065
AT ITER 1571 NEW BEST:: SOT 158445 SOS 78921 HAS SOPS 78921 HAS SOUS 73053 HAS SOUPS 73053 WITH SCORE 73131.921
AT ITER 1573 NEW BEST:: SOT 158379 SOS 78779 HAS SOPS 78779 HAS SOUS 72931 HAS SOUPS 72931 WITH SCORE 73009.779
AT ITER 1578 NEW BEST:: SOT 158329 SOS 78652 HAS SOPS 78652 HAS SOUS 72856 HAS SOUPS 72856 WITH SCORE 72934.652
AT ITER 1583 NEW BEST:: SOT 158256 SOS 78567 HAS SOPS 78567 HAS SOUS 72710 HAS SOUPS 72710 WITH SCORE 72788.567
AT ITER 1585 NEW BEST:: SOT 158278 SOS 78499 HAS SOPS 78499 HAS SOUS 72642 HAS SOUPS 72642 WITH SCORE 72720.499
AT ITER 1586 NEW BEST:: SOT 158278 SOS 78497 HAS SOPS 78497 HAS SOUS 72640 HAS SOUPS 72640 WITH SCORE 72718.497
AT ITER 1588 NEW BEST:: SOT 158278 SOS 78255 HAS SOPS 78255 HAS SOUS 72492 HAS SOUPS 72492 WITH SCORE 72570.255
AT ITER 1591 NEW BEST:: SOT 158242 SOS 78219 HAS SOPS 78219 HAS SOUS 72482 HAS SOUPS 72482 WITH SCORE 72560.219
AT ITER 1593 NEW BEST:: SOT 158209 SOS 78153 HAS SOPS 78153 HAS SOUS 72416 HAS SOUPS 72416 WITH SCORE 72494.153
AT ITER 1612 NEW BEST:: SOT 158209 SOS 78135 HAS SOPS 78135 HAS SOUS 72416 HAS SOUPS 72416 WITH SCORE 72494.135
AT ITER 1623 NEW BEST:: SOT 158209 SOS 78143 HAS SOPS 78143 HAS SOUS 72258 HAS SOUPS 72258 WITH SCORE 72336.143
AT ITER 1638 NEW BEST:: SOT 158171 SOS 78067 HAS SOPS 78067 HAS SOUS 72182 HAS SOUPS 72182 WITH SCORE 72260.067
AT ITER 1653 NEW BEST:: SOT 158161 SOS 78052 HAS SOPS 78052 HAS SOUS 72167 HAS SOUPS 72167 WITH SCORE 72245.052
AT ITER 1661 NEW BEST:: SOT 158058 SOS 78011 HAS SOPS 78011 HAS SOUS 72126 HAS SOUPS 72126 WITH SCORE 72204.011
AT ITER 1665 NEW BEST:: SOT 158040 SOS 77975 HAS SOPS 77975 HAS SOUS 72090 HAS SOUPS 72090 WITH SCORE 72167.975
AT ITER 1672 NEW BEST:: SOT 158029 SOS 77964 HAS SOPS 77964 HAS SOUS 72079 HAS SOUPS 72079 WITH SCORE 72156.964
AT ITER 1681 NEW BEST:: SOT 158029 SOS 77955 HAS SOPS 77955 HAS SOUS 72070 HAS SOUPS 72070 WITH SCORE 72147.955
AT ITER 1682 NEW BEST:: SOT 157962 SOS 77893 HAS SOPS 77893 HAS SOUS 71991 HAS SOUPS 71991 WITH SCORE 72068.893
AT ITER 1683 NEW BEST:: SOT 157952 SOS 77818 HAS SOPS 77818 HAS SOUS 71916 HAS SOUPS 71916 WITH SCORE 71993.818
AT ITER 1709 NEW BEST:: SOT 157824 SOS 77684 HAS SOPS 77684 HAS SOUS 71830 HAS SOUPS 71830 WITH SCORE 71907.684
AT ITER 1710 NEW BEST:: SOT 157626 SOS 77486 HAS SOPS 77486 HAS SOUS 71632 HAS SOUPS 71632 WITH SCORE 71709.486
AT ITER 1730 NEW BEST:: SOT 157595 SOS 77299 HAS SOPS 77299 HAS SOUS 71503 HAS SOUPS 71503 WITH SCORE 71580.299
AT ITER 1741 NEW BEST:: SOT 157595 SOS 77287 HAS SOPS 77287 HAS SOUS 71491 HAS SOUPS 71491 WITH SCORE 71568.287
AT ITER 1745 NEW BEST:: SOT 157581 SOS 77273 HAS SOPS 77273 HAS SOUS 71477 HAS SOUPS 71477 WITH SCORE 71554.273
AT ITER 1749 NEW BEST:: SOT 157581 SOS 76879 HAS SOPS 76879 HAS SOUS 71243 HAS SOUPS 71243 WITH SCORE 71319.879
AT ITER 1752 NEW BEST:: SOT 157584 SOS 76903 HAS SOPS 76903 HAS SOUS 71225 HAS SOUPS 71225 WITH SCORE 71301.903
AT ITER 1754 NEW BEST:: SOT 157628 SOS 76766 HAS SOPS 76766 HAS SOUS 71181 HAS SOUPS 71181 WITH SCORE 71257.766
AT ITER 1758 NEW BEST:: SOT 157620 SOS 76602 HAS SOPS 76602 HAS SOUS 71069 HAS SOUPS 71069 WITH SCORE 71145.602
AT ITER 1761 NEW BEST:: SOT 157593 SOS 76575 HAS SOPS 76575 HAS SOUS 71040 HAS SOUPS 71040 WITH SCORE 71116.575
AT ITER 1762 NEW BEST:: SOT 157618 SOS 76543 HAS SOPS 76543 HAS SOUS 71008 HAS SOUPS 71008 WITH SCORE 71084.543
AT ITER 1764 NEW BEST:: SOT 157614 SOS 76605 HAS SOPS 76605 HAS SOUS 70950 HAS SOUPS 70950 WITH SCORE 71026.605
AT ITER 1765 NEW BEST:: SOT 157609 SOS 76595 HAS SOPS 76595 HAS SOUS 70935 HAS SOUPS 70935 WITH SCORE 71011.595
AT ITER 1768 NEW BEST:: SOT 157609 SOS 76567 HAS SOPS 76567 HAS SOUS 70932 HAS SOUPS 70932 WITH SCORE 71008.567
AT ITER 1778 NEW BEST:: SOT 157609 SOS 76307 HAS SOPS 76307 HAS SOUS 70838 HAS SOUPS 70838 WITH SCORE 70914.307
AT ITER 1783 NEW BEST:: SOT 157594 SOS 76278 HAS SOPS 76278 HAS SOUS 70809 HAS SOUPS 70809 WITH SCORE 70885.278
AT ITER 1789 NEW BEST:: SOT 157575 SOS 76259 HAS SOPS 76259 HAS SOUS 70790 HAS SOUPS 70790 WITH SCORE 70866.259
AT ITER 1793 NEW BEST:: SOT 157416 SOS 76044 HAS SOPS 76044 HAS SOUS 70624 HAS SOUPS 70624 WITH SCORE 70700.044
AT ITER 1808 NEW BEST:: SOT 157402 SOS 76001 HAS SOPS 76001 HAS SOUS 70581 HAS SOUPS 70581 WITH SCORE 70657.001
AT ITER 1810 NEW BEST:: SOT 157385 SOS 75967 HAS SOPS 75967 HAS SOUS 70547 HAS SOUPS 70547 WITH SCORE 70622.967
AT ITER 1820 NEW BEST:: SOT 157399 SOS 75863 HAS SOPS 75863 HAS SOUS 70495 HAS SOUPS 70495 WITH SCORE 70570.863
AT ITER 1824 NEW BEST:: SOT 157393 SOS 75857 HAS SOPS 75857 HAS SOUS 70489 HAS SOUPS 70489 WITH SCORE 70564.857
AT ITER 1826 NEW BEST:: SOT 157388 SOS 75617 HAS SOPS 75617 HAS SOUS 70191 HAS SOUPS 70191 WITH SCORE 70266.617
AT ITER 1827 NEW BEST:: SOT 157228 SOS 75457 HAS SOPS 75457 HAS SOUS 70031 HAS SOUPS 70031 WITH SCORE 70106.457
AT ITER 1836 NEW BEST:: SOT 157228 SOS 75425 HAS SOPS 75425 HAS SOUS 70015 HAS SOUPS 70015 WITH SCORE 70090.425
AT ITER 1852 NEW BEST:: SOT 157228 SOS 75380 HAS SOPS 75380 HAS SOUS 69970 HAS SOUPS 69970 WITH SCORE 70045.38
AT ITER 1853 NEW BEST:: SOT 157165 SOS 75139 HAS SOPS 75139 HAS SOUS 69729 HAS SOUPS 69729 WITH SCORE 69804.139
AT ITER 1859 NEW BEST:: SOT 157101 SOS 75075 HAS SOPS 75075 HAS SOUS 69665 HAS SOUPS 69665 WITH SCORE 69740.075
AT ITER 1887 NEW BEST:: SOT 157133 SOS 74914 HAS SOPS 74914 HAS SOUS 69631 HAS SOUPS 69631 WITH SCORE 69705.914
AT ITER 1888 NEW BEST:: SOT 157098 SOS 74879 HAS SOPS 74879 HAS SOUS 69596 HAS SOUPS 69596 WITH SCORE 69670.879
AT ITER 1894 NEW BEST:: SOT 157098 SOS 74879 HAS SOPS 74879 HAS SOUS 69573 HAS SOUPS 69573 WITH SCORE 69647.879
AT ITER 1900 NEW BEST:: SOT 157098 SOS 74851 HAS SOPS 74851 HAS SOUS 69573 HAS SOUPS 69573 WITH SCORE 69647.851
AT ITER 1901 NEW BEST:: SOT 157072 SOS 74799 HAS SOPS 74799 HAS SOUS 69532 HAS SOUPS 69532 WITH SCORE 69606.799
AT ITER 1902 NEW BEST:: SOT 156970 SOS 74709 HAS SOPS 74709 HAS SOUS 69442 HAS SOUPS 69442 WITH SCORE 69516.709
AT ITER 1909 NEW BEST:: SOT 156970 SOS 74671 HAS SOPS 74671 HAS SOUS 69423 HAS SOUPS 69423 WITH SCORE 69497.671
AT ITER 1913 NEW BEST:: SOT 156962 SOS 74343 HAS SOPS 74343 HAS SOUS 69303 HAS SOUPS 69303 WITH SCORE 69377.343
AT ITER 1923 NEW BEST:: SOT 156954 SOS 74215 HAS SOPS 74215 HAS SOUS 69144 HAS SOUPS 69144 WITH SCORE 69218.215
AT ITER 1931 NEW BEST:: SOT 156956 SOS 74116 HAS SOPS 74116 HAS SOUS 69071 HAS SOUPS 69071 WITH SCORE 69145.116
AT ITER 1943 NEW BEST:: SOT 156956 SOS 74080 HAS SOPS 74080 HAS SOUS 69035 HAS SOUPS 69035 WITH SCORE 69109.08
AT ITER 1948 NEW BEST:: SOT 156956 SOS 74191 HAS SOPS 74191 HAS SOUS 69028 HAS SOUPS 69028 WITH SCORE 69102.191
AT ITER 1965 NEW BEST:: SOT 156951 SOS 74181 HAS SOPS 74181 HAS SOUS 69018 HAS SOUPS 69018 WITH SCORE 69092.181
AT ITER 1966 NEW BEST:: SOT 156771 SOS 74001 HAS SOPS 74001 HAS SOUS 68838 HAS SOUPS 68838 WITH SCORE 68912.001
AT ITER 1967 NEW BEST:: SOT 156771 SOS 73950 HAS SOPS 73950 HAS SOUS 68782 HAS SOUPS 68782 WITH SCORE 68855.95
AT ITER 1968 NEW BEST:: SOT 156771 SOS 73950 HAS SOPS 73950 HAS SOUS 68781 HAS SOUPS 68781 WITH SCORE 68854.95
AT ITER 1978 NEW BEST:: SOT 156776 SOS 73955 HAS SOPS 73955 HAS SOUS 68779 HAS SOUPS 68779 WITH SCORE 68852.955
AT ITER 1980 NEW BEST:: SOT 156826 SOS 73860 HAS SOPS 73860 HAS SOUS 68741 HAS SOUPS 68741 WITH SCORE 68814.86
AT ITER 1985 NEW BEST:: SOT 156684 SOS 73676 HAS SOPS 73676 HAS SOUS 68560 HAS SOUPS 68560 WITH SCORE 68633.676
AT ITER 1990 NEW BEST:: SOT 156532 SOS 73504 HAS SOPS 73504 HAS SOUS 68388 HAS SOUPS 68388 WITH SCORE 68461.504
AT ITER 2005 NEW BEST:: SOT 156531 SOS 73503 HAS SOPS 73503 HAS SOUS 68387 HAS SOUPS 68387 WITH SCORE 68460.503
AT ITER 2006 NEW BEST:: SOT 156529 SOS 73497 HAS SOPS 73497 HAS SOUS 68381 HAS SOUPS 68381 WITH SCORE 68454.497
AT ITER 2018 NEW BEST:: SOT 156529 SOS 73497 HAS SOPS 73497 HAS SOUS 68364 HAS SOUPS 68364 WITH SCORE 68437.497
AT ITER 2020 NEW BEST:: SOT 156525 SOS 73486 HAS SOPS 73486 HAS SOUS 68356 HAS SOUPS 68356 WITH SCORE 68429.486
AT ITER 2021 NEW BEST:: SOT 156525 SOS 73482 HAS SOPS 73482 HAS SOUS 68355 HAS SOUPS 68355 WITH SCORE 68428.482
AT ITER 2022 NEW BEST:: SOT 156458 SOS 73395 HAS SOPS 73395 HAS SOUS 68335 HAS SOUPS 68335 WITH SCORE 68408.395
AT ITER 2028 NEW BEST:: SOT 156449 SOS 73377 HAS SOPS 73377 HAS SOUS 68320 HAS SOUPS 68320 WITH SCORE 68393.377
AT ITER 2031 NEW BEST:: SOT 156442 SOS 73190 HAS SOPS 73190 HAS SOUS 68230 HAS SOUPS 68230 WITH SCORE 68303.19
AT ITER 2038 NEW BEST:: SOT 156436 SOS 73178 HAS SOPS 73178 HAS SOUS 68217 HAS SOUPS 68217 WITH SCORE 68290.178
AT ITER 2040 NEW BEST:: SOT 156393 SOS 73135 HAS SOPS 73135 HAS SOUS 68174 HAS SOUPS 68174 WITH SCORE 68247.135
AT ITER 2042 NEW BEST:: SOT 156393 SOS 73099 HAS SOPS 73099 HAS SOUS 68138 HAS SOUPS 68138 WITH SCORE 68211.099
AT ITER 2045 NEW BEST:: SOT 156258 SOS 72964 HAS SOPS 72964 HAS SOUS 68003 HAS SOUPS 68003 WITH SCORE 68075.964
AT ITER 2052 NEW BEST:: SOT 155984 SOS 72690 HAS SOPS 72690 HAS SOUS 67729 HAS SOUPS 67729 WITH SCORE 67801.69
AT ITER 2061 NEW BEST:: SOT 155908 SOS 72614 HAS SOPS 72614 HAS SOUS 67653 HAS SOUPS 67653 WITH SCORE 67725.614
AT ITER 2062 NEW BEST:: SOT 155849 SOS 72555 HAS SOPS 72555 HAS SOUS 67594 HAS SOUPS 67594 WITH SCORE 67666.555
AT ITER 2066 NEW BEST:: SOT 155944 SOS 72551 HAS SOPS 72551 HAS SOUS 67518 HAS SOUPS 67518 WITH SCORE 67590.551
AT ITER 2067 NEW BEST:: SOT 155794 SOS 72517 HAS SOPS 72517 HAS SOUS 67453 HAS SOUPS 67453 WITH SCORE 67525.517
AT ITER 2070 NEW BEST:: SOT 155768 SOS 72452 HAS SOPS 72452 HAS SOUS 67388 HAS SOUPS 67388 WITH SCORE 67460.452
AT ITER 2076 NEW BEST:: SOT 155745 SOS 72429 HAS SOPS 72429 HAS SOUS 67365 HAS SOUPS 67365 WITH SCORE 67437.429
AT ITER 2088 NEW BEST:: SOT 155745 SOS 72280 HAS SOPS 72280 HAS SOUS 67365 HAS SOUPS 67365 WITH SCORE 67437.28
AT ITER 2090 NEW BEST:: SOT 155739 SOS 72274 HAS SOPS 72274 HAS SOUS 67359 HAS SOUPS 67359 WITH SCORE 67431.274
AT ITER 2122 NEW BEST:: SOT 155688 SOS 72208 HAS SOPS 72208 HAS SOUS 67282 HAS SOUPS 67282 WITH SCORE 67354.208
AT ITER 2128 NEW BEST:: SOT 155671 SOS 71944 HAS SOPS 71944 HAS SOUS 67154 HAS SOUPS 67154 WITH SCORE 67225.944
AT ITER 2129 NEW BEST:: SOT 155747 SOS 72102 HAS SOPS 72102 HAS SOUS 67082 HAS SOUPS 67082 WITH SCORE 67154.102
AT ITER 2132 NEW BEST:: SOT 155711 SOS 72078 HAS SOPS 72078 HAS SOUS 67058 HAS SOUPS 67058 WITH SCORE 67130.078
AT ITER 2134 NEW BEST:: SOT 155693 SOS 72006 HAS SOPS 72006 HAS SOUS 67022 HAS SOUPS 67022 WITH SCORE 67094.006
AT ITER 2138 NEW BEST:: SOT 155643 SOS 71911 HAS SOPS 71911 HAS SOUS 66927 HAS SOUPS 66927 WITH SCORE 66998.911
AT ITER 2142 NEW BEST:: SOT 155552 SOS 71770 HAS SOPS 71770 HAS SOUS 66786 HAS SOUPS 66786 WITH SCORE 66857.77
AT ITER 2144 NEW BEST:: SOT 155552 SOS 71732 HAS SOPS 71732 HAS SOUS 66715 HAS SOUPS 66715 WITH SCORE 66786.732
AT ITER 2145 NEW BEST:: SOT 155445 SOS 71399 HAS SOPS 71399 HAS SOUS 66491 HAS SOUPS 66491 WITH SCORE 66562.399
AT ITER 2153 NEW BEST:: SOT 155337 SOS 71353 HAS SOPS 71353 HAS SOUS 66445 HAS SOUPS 66445 WITH SCORE 66516.353
AT ITER 2158 NEW BEST:: SOT 155326 SOS 71346 HAS SOPS 71346 HAS SOUS 66438 HAS SOUPS 66438 WITH SCORE 66509.346
AT ITER 2165 NEW BEST:: SOT 155183 SOS 71334 HAS SOPS 71334 HAS SOUS 66426 HAS SOUPS 66426 WITH SCORE 66497.334
AT ITER 2166 NEW BEST:: SOT 155234 SOS 71382 HAS SOPS 71382 HAS SOUS 66424 HAS SOUPS 66424 WITH SCORE 66495.382
AT ITER 2170 NEW BEST:: SOT 155234 SOS 71382 HAS SOPS 71382 HAS SOUS 66423 HAS SOUPS 66423 WITH SCORE 66494.382
AT ITER 2173 NEW BEST:: SOT 155244 SOS 71293 HAS SOPS 71293 HAS SOUS 66379 HAS SOUPS 66379 WITH SCORE 66450.293
AT ITER 2174 NEW BEST:: SOT 155162 SOS 70912 HAS SOPS 70912 HAS SOUS 66138 HAS SOUPS 66138 WITH SCORE 66208.912
AT ITER 2181 NEW BEST:: SOT 155148 SOS 70898 HAS SOPS 70898 HAS SOUS 66117 HAS SOUPS 66117 WITH SCORE 66187.898
AT ITER 2184 NEW BEST:: SOT 155148 SOS 70896 HAS SOPS 70896 HAS SOUS 66115 HAS SOUPS 66115 WITH SCORE 66185.896
AT ITER 2188 NEW BEST:: SOT 155041 SOS 70789 HAS SOPS 70789 HAS SOUS 66008 HAS SOUPS 66008 WITH SCORE 66078.789
AT ITER 2191 NEW BEST:: SOT 155041 SOS 70787 HAS SOPS 70787 HAS SOUS 66008 HAS SOUPS 66008 WITH SCORE 66078.787
AT ITER 2193 NEW BEST:: SOT 155041 SOS 70694 HAS SOPS 70694 HAS SOUS 65915 HAS SOUPS 65915 WITH SCORE 65985.694
AT ITER 2202 NEW BEST:: SOT 155176 SOS 70824 HAS SOPS 70824 HAS SOUS 65903 HAS SOUPS 65903 WITH SCORE 65973.824
AT ITER 2207 NEW BEST:: SOT 155104 SOS 70628 HAS SOPS 70628 HAS SOUS 65696 HAS SOUPS 65696 WITH SCORE 65766.628
AT ITER 2220 NEW BEST:: SOT 155279 SOS 70557 HAS SOPS 70557 HAS SOUS 65608 HAS SOUPS 65608 WITH SCORE 65678.557
AT ITER 2228 NEW BEST:: SOT 155017 SOS 70195 HAS SOPS 70195 HAS SOUS 65235 HAS SOUPS 65235 WITH SCORE 65305.195
AT ITER 2229 NEW BEST:: SOT 154979 SOS 70129 HAS SOPS 70129 HAS SOUS 65169 HAS SOUPS 65169 WITH SCORE 65239.129
AT ITER 2247 NEW BEST:: SOT 154945 SOS 70078 HAS SOPS 70078 HAS SOUS 65118 HAS SOUPS 65118 WITH SCORE 65188.078
AT ITER 2253 NEW BEST:: SOT 154849 SOS 69945 HAS SOPS 69945 HAS SOUS 64983 HAS SOUPS 64983 WITH SCORE 65052.945
AT ITER 2259 NEW BEST:: SOT 154834 SOS 69931 HAS SOPS 69931 HAS SOUS 64969 HAS SOUPS 64969 WITH SCORE 65038.931
AT ITER 2267 NEW BEST:: SOT 154756 SOS 69824 HAS SOPS 69824 HAS SOUS 64862 HAS SOUPS 64862 WITH SCORE 64931.824
AT ITER 2273 NEW BEST:: SOT 154707 SOS 69719 HAS SOPS 69719 HAS SOUS 64757 HAS SOUPS 64757 WITH SCORE 64826.719
AT ITER 2274 NEW BEST:: SOT 154679 SOS 69696 HAS SOPS 69696 HAS SOUS 64734 HAS SOUPS 64734 WITH SCORE 64803.696
AT ITER 2285 NEW BEST:: SOT 154674 SOS 69610 HAS SOPS 69610 HAS SOUS 64648 HAS SOUPS 64648 WITH SCORE 64717.61
AT ITER 2289 NEW BEST:: SOT 154651 SOS 69539 HAS SOPS 69539 HAS SOUS 64615 HAS SOUPS 64615 WITH SCORE 64684.539
AT ITER 2293 NEW BEST:: SOT 154633 SOS 69472 HAS SOPS 69472 HAS SOUS 64584 HAS SOUPS 64584 WITH SCORE 64653.472
AT ITER 2302 NEW BEST:: SOT 154552 SOS 69462 HAS SOPS 69462 HAS SOUS 64404 HAS SOUPS 64404 WITH SCORE 64473.462
AT ITER 2303 NEW BEST:: SOT 154483 SOS 69391 HAS SOPS 69391 HAS SOUS 64375 HAS SOUPS 64375 WITH SCORE 64444.391
AT ITER 2305 NEW BEST:: SOT 154464 SOS 69331 HAS SOPS 69331 HAS SOUS 64310 HAS SOUPS 64310 WITH SCORE 64379.331
AT ITER 2308 NEW BEST:: SOT 154462 SOS 69327 HAS SOPS 69327 HAS SOUS 64307 HAS SOUPS 64307 WITH SCORE 64376.327
AT ITER 2318 NEW BEST:: SOT 154344 SOS 69052 HAS SOPS 69052 HAS SOUS 64050 HAS SOUPS 64050 WITH SCORE 64119.052
AT ITER 2335 NEW BEST:: SOT 154314 SOS 68992 HAS SOPS 68992 HAS SOUS 64005 HAS SOUPS 64005 WITH SCORE 64073.992
AT ITER 2338 NEW BEST:: SOT 154309 SOS 68953 HAS SOPS 68953 HAS SOUS 64003 HAS SOUPS 64003 WITH SCORE 64071.953
AT ITER 2342 NEW BEST:: SOT 154225 SOS 68821 HAS SOPS 68821 HAS SOUS 63955 HAS SOUPS 63955 WITH SCORE 64023.821
AT ITER 2346 NEW BEST:: SOT 154051 SOS 68483 HAS SOPS 68483 HAS SOUS 63643 HAS SOUPS 63643 WITH SCORE 63711.483
AT ITER 2351 NEW BEST:: SOT 154061 SOS 68463 HAS SOPS 68463 HAS SOUS 63611 HAS SOUPS 63611 WITH SCORE 63679.463
AT ITER 2355 NEW BEST:: SOT 153997 SOS 68399 HAS SOPS 68399 HAS SOUS 63547 HAS SOUPS 63547 WITH SCORE 63615.399
AT ITER 2360 NEW BEST:: SOT 153997 SOS 68395 HAS SOPS 68395 HAS SOUS 63543 HAS SOUPS 63543 WITH SCORE 63611.395
AT ITER 2361 NEW BEST:: SOT 153947 SOS 68177 HAS SOPS 68177 HAS SOUS 63325 HAS SOUPS 63325 WITH SCORE 63393.177
AT ITER 2372 NEW BEST:: SOT 153947 SOS 68132 HAS SOPS 68132 HAS SOUS 63295 HAS SOUPS 63295 WITH SCORE 63363.132
AT ITER 2381 NEW BEST:: SOT 153925 SOS 68102 HAS SOPS 68102 HAS SOUS 63265 HAS SOUPS 63265 WITH SCORE 63333.102
AT ITER 2389 NEW BEST:: SOT 153677 SOS 67830 HAS SOPS 67830 HAS SOUS 63069 HAS SOUPS 63069 WITH SCORE 63136.83
AT ITER 2397 NEW BEST:: SOT 153677 SOS 67794 HAS SOPS 67794 HAS SOUS 63045 HAS SOUPS 63045 WITH SCORE 63112.794
AT ITER 2399 NEW BEST:: SOT 153677 SOS 67789 HAS SOPS 67789 HAS SOUS 63040 HAS SOUPS 63040 WITH SCORE 63107.789
AT ITER 2404 NEW BEST:: SOT 153517 SOS 67629 HAS SOPS 67629 HAS SOUS 62982 HAS SOUPS 62982 WITH SCORE 63049.629
AT ITER 2405 NEW BEST:: SOT 153249 SOS 67361 HAS SOPS 67361 HAS SOUS 62714 HAS SOUPS 62714 WITH SCORE 62781.361
AT ITER 2408 NEW BEST:: SOT 153074 SOS 67165 HAS SOPS 67165 HAS SOUS 62518 HAS SOUPS 62518 WITH SCORE 62585.165
AT ITER 2413 NEW BEST:: SOT 153063 SOS 67140 HAS SOPS 67140 HAS SOUS 62493 HAS SOUPS 62493 WITH SCORE 62560.14
AT ITER 2418 NEW BEST:: SOT 153054 SOS 67124 HAS SOPS 67124 HAS SOUS 62476 HAS SOUPS 62476 WITH SCORE 62543.124
AT ITER 2436 NEW BEST:: SOT 153018 SOS 67052 HAS SOPS 67052 HAS SOUS 62440 HAS SOUPS 62440 WITH SCORE 62507.052
AT ITER 2451 NEW BEST:: SOT 153006 SOS 67034 HAS SOPS 67034 HAS SOUS 62428 HAS SOUPS 62428 WITH SCORE 62495.034
AT ITER 2453 NEW BEST:: SOT 152937 SOS 66976 HAS SOPS 66976 HAS SOUS 62370 HAS SOUPS 62370 WITH SCORE 62436.976
AT ITER 2487 NEW BEST:: SOT 152790 SOS 66676 HAS SOPS 66676 HAS SOUS 62184 HAS SOUPS 62184 WITH SCORE 62250.676
AT ITER 2496 NEW BEST:: SOT 152790 SOS 66559 HAS SOPS 66559 HAS SOUS 62146 HAS SOUPS 62146 WITH SCORE 62212.559
AT ITER 2501 NEW BEST:: SOT 152781 SOS 66493 HAS SOPS 66493 HAS SOUS 62080 HAS SOUPS 62080 WITH SCORE 62146.493
AT ITER 2506 NEW BEST:: SOT 152739 SOS 66434 HAS SOPS 66434 HAS SOUS 62028 HAS SOUPS 62028 WITH SCORE 62094.434
AT ITER 2518 NEW BEST:: SOT 152656 SOS 66242 HAS SOPS 66242 HAS SOUS 61885 HAS SOUPS 61885 WITH SCORE 61951.242
AT ITER 2522 NEW BEST:: SOT 152604 SOS 66239 HAS SOPS 66239 HAS SOUS 61781 HAS SOUPS 61781 WITH SCORE 61847.239
AT ITER 2530 NEW BEST:: SOT 152604 SOS 66212 HAS SOPS 66212 HAS SOUS 61754 HAS SOUPS 61754 WITH SCORE 61820.212
AT ITER 2535 NEW BEST:: SOT 152520 SOS 66100 HAS SOPS 66100 HAS SOUS 61611 HAS SOUPS 61611 WITH SCORE 61677.1
AT ITER 2539 NEW BEST:: SOT 152498 SOS 66078 HAS SOPS 66078 HAS SOUS 61611 HAS SOUPS 61611 WITH SCORE 61677.078
AT ITER 2541 NEW BEST:: SOT 152391 SOS 65881 HAS SOPS 65881 HAS SOUS 61380 HAS SOUPS 61380 WITH SCORE 61445.881
AT ITER 2544 NEW BEST:: SOT 152374 SOS 65778 HAS SOPS 65778 HAS SOUS 61277 HAS SOUPS 61277 WITH SCORE 61342.778
AT ITER 2550 NEW BEST:: SOT 152289 SOS 65693 HAS SOPS 65693 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61257.693
AT ITER 2552 NEW BEST:: SOT 152270 SOS 65646 HAS SOPS 65646 HAS SOUS 61153 HAS SOUPS 61153 WITH SCORE 61218.646
AT ITER 2553 NEW BEST:: SOT 152009 SOS 65385 HAS SOPS 65385 HAS SOUS 60745 HAS SOUPS 60745 WITH SCORE 60810.385
AT ITER 2555 NEW BEST:: SOT 151929 SOS 65288 HAS SOPS 65288 HAS SOUS 60648 HAS SOUPS 60648 WITH SCORE 60713.288
AT ITER 2557 NEW BEST:: SOT 151838 SOS 64969 HAS SOPS 64969 HAS SOUS 60329 HAS SOUPS 60329 WITH SCORE 60393.969
AT ITER 2568 NEW BEST:: SOT 151838 SOS 64952 HAS SOPS 64952 HAS SOUS 60312 HAS SOUPS 60312 WITH SCORE 60376.952
AT ITER 2570 NEW BEST:: SOT 151622 SOS 64720 HAS SOPS 64720 HAS SOUS 60106 HAS SOUPS 60106 WITH SCORE 60170.72
AT ITER 2583 NEW BEST:: SOT 151622 SOS 64614 HAS SOPS 64614 HAS SOUS 60053 HAS SOUPS 60053 WITH SCORE 60117.614
AT ITER 2585 NEW BEST:: SOT 151622 SOS 64603 HAS SOPS 64603 HAS SOUS 60042 HAS SOUPS 60042 WITH SCORE 60106.603
AT ITER 2604 NEW BEST:: SOT 151694 SOS 64675 HAS SOPS 64675 HAS SOUS 60029 HAS SOUPS 60029 WITH SCORE 60093.675
AT ITER 2608 NEW BEST:: SOT 151682 SOS 64644 HAS SOPS 64644 HAS SOUS 59980 HAS SOUPS 59980 WITH SCORE 60044.644
AT ITER 2610 NEW BEST:: SOT 151644 SOS 64568 HAS SOPS 64568 HAS SOUS 59904 HAS SOUPS 59904 WITH SCORE 59968.568
AT ITER 2615 NEW BEST:: SOT 151554 SOS 64468 HAS SOPS 64468 HAS SOUS 59804 HAS SOUPS 59804 WITH SCORE 59868.468
AT ITER 2616 NEW BEST:: SOT 151498 SOS 64412 HAS SOPS 64412 HAS SOUS 59748 HAS SOUPS 59748 WITH SCORE 59812.412
AT ITER 2620 NEW BEST:: SOT 151564 SOS 64359 HAS SOPS 64359 HAS SOUS 59733 HAS SOUPS 59733 WITH SCORE 59797.359
AT ITER 2628 NEW BEST:: SOT 151487 SOS 64282 HAS SOPS 64282 HAS SOUS 59656 HAS SOUPS 59656 WITH SCORE 59720.282
AT ITER 2629 NEW BEST:: SOT 151488 SOS 64197 HAS SOPS 64197 HAS SOUS 59571 HAS SOUPS 59571 WITH SCORE 59635.197
AT ITER 2632 NEW BEST:: SOT 151485 SOS 64279 HAS SOPS 64279 HAS SOUS 59522 HAS SOUPS 59522 WITH SCORE 59586.279
AT ITER 2633 NEW BEST:: SOT 151485 SOS 64255 HAS SOPS 64255 HAS SOUS 59498 HAS SOUPS 59498 WITH SCORE 59562.255
AT ITER 2635 NEW BEST:: SOT 151487 SOS 64227 HAS SOPS 64227 HAS SOUS 59478 HAS SOUPS 59478 WITH SCORE 59542.227
AT ITER 2651 NEW BEST:: SOT 151475 SOS 64159 HAS SOPS 64159 HAS SOUS 59340 HAS SOUPS 59340 WITH SCORE 59404.159
AT ITER 2659 NEW BEST:: SOT 151389 SOS 64014 HAS SOPS 64014 HAS SOUS 59195 HAS SOUPS 59195 WITH SCORE 59259.014
AT ITER 2667 NEW BEST:: SOT 151361 SOS 64017 HAS SOPS 64017 HAS SOUS 59181 HAS SOUPS 59181 WITH SCORE 59245.017
AT ITER 2675 NEW BEST:: SOT 151352 SOS 64008 HAS SOPS 64008 HAS SOUS 59172 HAS SOUPS 59172 WITH SCORE 59236.008
AT ITER 2692 NEW BEST:: SOT 151319 SOS 63975 HAS SOPS 63975 HAS SOUS 59139 HAS SOUPS 59139 WITH SCORE 59202.975
AT ITER 2704 NEW BEST:: SOT 151276 SOS 63874 HAS SOPS 63874 HAS SOUS 58971 HAS SOUPS 58971 WITH SCORE 59034.874
AT ITER 2725 NEW BEST:: SOT 151229 SOS 63827 HAS SOPS 63827 HAS SOUS 58924 HAS SOUPS 58924 WITH SCORE 58987.827
AT ITER 2731 NEW BEST:: SOT 151229 SOS 63672 HAS SOPS 63672 HAS SOUS 58905 HAS SOUPS 58905 WITH SCORE 58968.672
AT ITER 2751 NEW BEST:: SOT 151195 SOS 63662 HAS SOPS 63662 HAS SOUS 58900 HAS SOUPS 58900 WITH SCORE 58963.662
AT ITER 2764 NEW BEST:: SOT 151151 SOS 63618 HAS SOPS 63618 HAS SOUS 58865 HAS SOUPS 58865 WITH SCORE 58928.618
AT ITER 2786 NEW BEST:: SOT 151075 SOS 63542 HAS SOPS 63542 HAS SOUS 58789 HAS SOUPS 58789 WITH SCORE 58852.542
AT ITER 2792 NEW BEST:: SOT 150989 SOS 63347 HAS SOPS 63347 HAS SOUS 58594 HAS SOUPS 58594 WITH SCORE 58657.347
AT ITER 2801 NEW BEST:: SOT 150801 SOS 63051 HAS SOPS 63051 HAS SOUS 58298 HAS SOUPS 58298 WITH SCORE 58361.051
AT ITER 2832 NEW BEST:: SOT 150747 SOS 62943 HAS SOPS 62943 HAS SOUS 58217 HAS SOUPS 58217 WITH SCORE 58279.943
AT ITER 2844 NEW BEST:: SOT 150730 SOS 62914 HAS SOPS 62914 HAS SOUS 58188 HAS SOUPS 58188 WITH SCORE 58250.914
AT ITER 2851 NEW BEST:: SOT 150678 SOS 62854 HAS SOPS 62854 HAS SOUS 58172 HAS SOUPS 58172 WITH SCORE 58234.854
AT ITER 2856 NEW BEST:: SOT 150672 SOS 62848 HAS SOPS 62848 HAS SOUS 58086 HAS SOUPS 58086 WITH SCORE 58148.848
AT ITER 2859 NEW BEST:: SOT 150611 SOS 62402 HAS SOPS 62402 HAS SOUS 57866 HAS SOUPS 57866 WITH SCORE 57928.402
AT ITER 2867 NEW BEST:: SOT 150592 SOS 62294 HAS SOPS 62294 HAS SOUS 57798 HAS SOUPS 57798 WITH SCORE 57860.294
AT ITER 2888 NEW BEST:: SOT 150584 SOS 62346 HAS SOPS 62346 HAS SOUS 57796 HAS SOUPS 57796 WITH SCORE 57858.346
AT ITER 2891 NEW BEST:: SOT 150584 SOS 62478 HAS SOPS 62478 HAS SOUS 57724 HAS SOUPS 57724 WITH SCORE 57786.478
AT ITER 2892 NEW BEST:: SOT 150532 SOS 62374 HAS SOPS 62374 HAS SOUS 57646 HAS SOUPS 57646 WITH SCORE 57708.374
AT ITER 2911 NEW BEST:: SOT 150498 SOS 62296 HAS SOPS 62296 HAS SOUS 57568 HAS SOUPS 57568 WITH SCORE 57630.296
AT ITER 2922 NEW BEST:: SOT 150449 SOS 62247 HAS SOPS 62247 HAS SOUS 57519 HAS SOUPS 57519 WITH SCORE 57581.247
AT ITER 2948 NEW BEST:: SOT 150444 SOS 62242 HAS SOPS 62242 HAS SOUS 57514 HAS SOUPS 57514 WITH SCORE 57576.242
AT ITER 2952 NEW BEST:: SOT 150416 SOS 62107 HAS SOPS 62107 HAS SOUS 57431 HAS SOUPS 57431 WITH SCORE 57493.107
AT ITER 2955 NEW BEST:: SOT 150309 SOS 61695 HAS SOPS 61695 HAS SOUS 57019 HAS SOUPS 57019 WITH SCORE 57080.695
AT ITER 2980 NEW BEST:: SOT 150277 SOS 61663 HAS SOPS 61663 HAS SOUS 56987 HAS SOUPS 56987 WITH SCORE 57048.663
AT ITER 2987 NEW BEST:: SOT 150223 SOS 61609 HAS SOPS 61609 HAS SOUS 56933 HAS SOUPS 56933 WITH SCORE 56994.609
AT ITER 2989 NEW BEST:: SOT 150212 SOS 61585 HAS SOPS 61585 HAS SOUS 56907 HAS SOUPS 56907 WITH SCORE 56968.585
AT ITER 2999 NEW BEST:: SOT 150211 SOS 61584 HAS SOPS 61584 HAS SOUS 56906 HAS SOUPS 56906 WITH SCORE 56967.584
AT ITER 3015 NEW BEST:: SOT 150165 SOS 61538 HAS SOPS 61538 HAS SOUS 56821 HAS SOUPS 56821 WITH SCORE 56882.538
AT ITER 3025 NEW BEST:: SOT 149994 SOS 61115 HAS SOPS 61115 HAS SOUS 56524 HAS SOUPS 56524 WITH SCORE 56585.115
AT ITER 3054 NEW BEST:: SOT 149899 SOS 60883 HAS SOPS 60883 HAS SOUS 56334 HAS SOUPS 56334 WITH SCORE 56394.883
AT ITER 3068 NEW BEST:: SOT 149851 SOS 60835 HAS SOPS 60835 HAS SOUS 56286 HAS SOUPS 56286 WITH SCORE 56346.835
AT ITER 3092 NEW BEST:: SOT 149739 SOS 60599 HAS SOPS 60599 HAS SOUS 55985 HAS SOUPS 55985 WITH SCORE 56045.599
AT ITER 3093 NEW BEST:: SOT 149705 SOS 60668 HAS SOPS 60668 HAS SOUS 55941 HAS SOUPS 55941 WITH SCORE 56001.668
AT ITER 3098 NEW BEST:: SOT 149654 SOS 60532 HAS SOPS 60532 HAS SOUS 55805 HAS SOUPS 55805 WITH SCORE 55865.532
AT ITER 3101 NEW BEST:: SOT 149630 SOS 60441 HAS SOPS 60441 HAS SOUS 55714 HAS SOUPS 55714 WITH SCORE 55774.441
AT ITER 3118 NEW BEST:: SOT 149619 SOS 60419 HAS SOPS 60419 HAS SOUS 55692 HAS SOUPS 55692 WITH SCORE 55752.419
AT ITER 3129 NEW BEST:: SOT 149575 SOS 60375 HAS SOPS 60375 HAS SOUS 55648 HAS SOUPS 55648 WITH SCORE 55708.375
AT ITER 3157 NEW BEST:: SOT 149557 SOS 60339 HAS SOPS 60339 HAS SOUS 55621 HAS SOUPS 55621 WITH SCORE 55681.339
AT ITER 3158 NEW BEST:: SOT 149550 SOS 60325 HAS SOPS 60325 HAS SOUS 55607 HAS SOUPS 55607 WITH SCORE 55667.325
AT ITER 3180 NEW BEST:: SOT 149538 SOS 60313 HAS SOPS 60313 HAS SOUS 55597 HAS SOUPS 55597 WITH SCORE 55657.313
AT ITER 3182 NEW BEST:: SOT 149532 SOS 60307 HAS SOPS 60307 HAS SOUS 55591 HAS SOUPS 55591 WITH SCORE 55651.307
AT ITER 3211 NEW BEST:: SOT 149471 SOS 60287 HAS SOPS 60287 HAS SOUS 55582 HAS SOUPS 55582 WITH SCORE 55642.287
AT ITER 3232 NEW BEST:: SOT 149426 SOS 60212 HAS SOPS 60212 HAS SOUS 55537 HAS SOUPS 55537 WITH SCORE 55597.212
AT ITER 3247 NEW BEST:: SOT 149326 SOS 60062 HAS SOPS 60062 HAS SOUS 55422 HAS SOUPS 55422 WITH SCORE 55482.062
AT ITER 3255 NEW BEST:: SOT 149155 SOS 59891 HAS SOPS 59891 HAS SOUS 55260 HAS SOUPS 55260 WITH SCORE 55319.891
AT ITER 3257 NEW BEST:: SOT 149141 SOS 59849 HAS SOPS 59849 HAS SOUS 55232 HAS SOUPS 55232 WITH SCORE 55291.849
AT ITER 3278 NEW BEST:: SOT 149117 SOS 59749 HAS SOPS 59749 HAS SOUS 55150 HAS SOUPS 55150 WITH SCORE 55209.749
AT ITER 3279 NEW BEST:: SOT 149131 SOS 59508 HAS SOPS 59508 HAS SOUS 55129 HAS SOUPS 55129 WITH SCORE 55188.508
AT ITER 3297 NEW BEST:: SOT 149068 SOS 59382 HAS SOPS 59382 HAS SOUS 55003 HAS SOUPS 55003 WITH SCORE 55062.382
AT ITER 3329 NEW BEST:: SOT 149021 SOS 59248 HAS SOPS 59248 HAS SOUS 54869 HAS SOUPS 54869 WITH SCORE 54928.248
AT ITER 3338 NEW BEST:: SOT 149022 SOS 59249 HAS SOPS 59249 HAS SOUS 54858 HAS SOUPS 54858 WITH SCORE 54917.249
AT ITER 3342 NEW BEST:: SOT 148794 SOS 58853 HAS SOPS 58853 HAS SOUS 54690 HAS SOUPS 54690 WITH SCORE 54748.853
AT ITER 3351 NEW BEST:: SOT 148794 SOS 58881 HAS SOPS 58881 HAS SOUS 54626 HAS SOUPS 54626 WITH SCORE 54684.881
AT ITER 3360 NEW BEST:: SOT 148782 SOS 58855 HAS SOPS 58855 HAS SOUS 54619 HAS SOUPS 54619 WITH SCORE 54677.855
AT ITER 3363 NEW BEST:: SOT 148773 SOS 58837 HAS SOPS 58837 HAS SOUS 54601 HAS SOUPS 54601 WITH SCORE 54659.837
AT ITER 3371 NEW BEST:: SOT 148763 SOS 58823 HAS SOPS 58823 HAS SOUS 54587 HAS SOUPS 54587 WITH SCORE 54645.823
AT ITER 3383 NEW BEST:: SOT 148662 SOS 58474 HAS SOPS 58474 HAS SOUS 54362 HAS SOUPS 54362 WITH SCORE 54420.474
AT ITER 3403 NEW BEST:: SOT 148578 SOS 58390 HAS SOPS 58390 HAS SOUS 54278 HAS SOUPS 54278 WITH SCORE 54336.39
AT ITER 3414 NEW BEST:: SOT 148432 SOS 58158 HAS SOPS 58158 HAS SOUS 53989 HAS SOUPS 53989 WITH SCORE 54047.158
AT ITER 3429 NEW BEST:: SOT 148438 SOS 58122 HAS SOPS 58122 HAS SOUS 53979 HAS SOUPS 53979 WITH SCORE 54037.122
AT ITER 3456 NEW BEST:: SOT 148439 SOS 58112 HAS SOPS 58112 HAS SOUS 53969 HAS SOUPS 53969 WITH SCORE 54027.112
AT ITER 3460 NEW BEST:: SOT 148439 SOS 58100 HAS SOPS 58100 HAS SOUS 53945 HAS SOUPS 53945 WITH SCORE 54003.1
AT ITER 3461 NEW BEST:: SOT 148427 SOS 58088 HAS SOPS 58088 HAS SOUS 53939 HAS SOUPS 53939 WITH SCORE 53997.088
AT ITER 3464 NEW BEST:: SOT 148418 SOS 58087 HAS SOPS 58087 HAS SOUS 53921 HAS SOUPS 53921 WITH SCORE 53979.087
AT ITER 3471 NEW BEST:: SOT 148418 SOS 58033 HAS SOPS 58033 HAS SOUS 53894 HAS SOUPS 53894 WITH SCORE 53952.033
AT ITER 3490 NEW BEST:: SOT 148591 SOS 58206 HAS SOPS 58206 HAS SOUS 53880 HAS SOUPS 53880 WITH SCORE 53938.206
AT ITER 3491 NEW BEST:: SOT 148525 SOS 58140 HAS SOPS 58140 HAS SOUS 53814 HAS SOUPS 53814 WITH SCORE 53872.14
AT ITER 3508 NEW BEST:: SOT 148521 SOS 58136 HAS SOPS 58136 HAS SOUS 53810 HAS SOUPS 53810 WITH SCORE 53868.136
AT ITER 3540 NEW BEST:: SOT 148508 SOS 58079 HAS SOPS 58079 HAS SOUS 53776 HAS SOUPS 53776 WITH SCORE 53834.079
AT ITER 3545 NEW BEST:: SOT 148487 SOS 58106 HAS SOPS 58106 HAS SOUS 53701 HAS SOUPS 53701 WITH SCORE 53759.106
AT ITER 3549 NEW BEST:: SOT 148487 SOS 58103 HAS SOPS 58103 HAS SOUS 53698 HAS SOUPS 53698 WITH SCORE 53756.103
AT ITER 3552 NEW BEST:: SOT 148449 SOS 58065 HAS SOPS 58065 HAS SOUS 53660 HAS SOUPS 53660 WITH SCORE 53718.065
AT ITER 3555 NEW BEST:: SOT 148444 SOS 58063 HAS SOPS 58063 HAS SOUS 53652 HAS SOUPS 53652 WITH SCORE 53710.063
AT ITER 3571 NEW BEST:: SOT 148416 SOS 58035 HAS SOPS 58035 HAS SOUS 53651 HAS SOUPS 53651 WITH SCORE 53709.035
AT ITER 3594 NEW BEST:: SOT 148409 SOS 58014 HAS SOPS 58014 HAS SOUS 53637 HAS SOUPS 53637 WITH SCORE 53695.014
AT ITER 3597 NEW BEST:: SOT 148409 SOS 58002 HAS SOPS 58002 HAS SOUS 53625 HAS SOUPS 53625 WITH SCORE 53683.002
AT ITER 3601 NEW BEST:: SOT 148421 SOS 57923 HAS SOPS 57923 HAS SOUS 53569 HAS SOUPS 53569 WITH SCORE 53626.923
AT ITER 3602 NEW BEST:: SOT 148410 SOS 57909 HAS SOPS 57909 HAS SOUS 53555 HAS SOUPS 53555 WITH SCORE 53612.909
AT ITER 3604 NEW BEST:: SOT 148403 SOS 57895 HAS SOPS 57895 HAS SOUS 53541 HAS SOUPS 53541 WITH SCORE 53598.895
AT ITER 3613 NEW BEST:: SOT 148393 SOS 57885 HAS SOPS 57885 HAS SOUS 53531 HAS SOUPS 53531 WITH SCORE 53588.885
AT ITER 3630 NEW BEST:: SOT 148374 SOS 57863 HAS SOPS 57863 HAS SOUS 53520 HAS SOUPS 53520 WITH SCORE 53577.863
AT ITER 3642 NEW BEST:: SOT 148366 SOS 57859 HAS SOPS 57859 HAS SOUS 53516 HAS SOUPS 53516 WITH SCORE 53573.859
AT ITER 3647 NEW BEST:: SOT 148360 SOS 57793 HAS SOPS 57793 HAS SOUS 53450 HAS SOUPS 53450 WITH SCORE 53507.793
AT ITER 3683 NEW BEST:: SOT 148328 SOS 57725 HAS SOPS 57725 HAS SOUS 53390 HAS SOUPS 53390 WITH SCORE 53447.725
AT ITER 3684 NEW BEST:: SOT 148328 SOS 57724 HAS SOPS 57724 HAS SOUS 53390 HAS SOUPS 53390 WITH SCORE 53447.724
AT ITER 3689 NEW BEST:: SOT 148315 SOS 57701 HAS SOPS 57701 HAS SOUS 53367 HAS SOUPS 53367 WITH SCORE 53424.701
AT ITER 3691 NEW BEST:: SOT 148296 SOS 57676 HAS SOPS 57676 HAS SOUS 53342 HAS SOUPS 53342 WITH SCORE 53399.676
AT ITER 3694 NEW BEST:: SOT 148276 SOS 57580 HAS SOPS 57580 HAS SOUS 53240 HAS SOUPS 53240 WITH SCORE 53297.58
AT ITER 3705 NEW BEST:: SOT 148276 SOS 57551 HAS SOPS 57551 HAS SOUS 53211 HAS SOUPS 53211 WITH SCORE 53268.551
AT ITER 3713 NEW BEST:: SOT 148284 SOS 57544 HAS SOPS 57544 HAS SOUS 53196 HAS SOUPS 53196 WITH SCORE 53253.544
AT ITER 3714 NEW BEST:: SOT 148264 SOS 57499 HAS SOPS 57499 HAS SOUS 53151 HAS SOUPS 53151 WITH SCORE 53208.499
AT ITER 3721 NEW BEST:: SOT 148266 SOS 57501 HAS SOPS 57501 HAS SOUS 53144 HAS SOUPS 53144 WITH SCORE 53201.501
AT ITER 3722 NEW BEST:: SOT 148270 SOS 57484 HAS SOPS 57484 HAS SOUS 53144 HAS SOUPS 53144 WITH SCORE 53201.484
AT ITER 3733 NEW BEST:: SOT 148257 SOS 57471 HAS SOPS 57471 HAS SOUS 53131 HAS SOUPS 53131 WITH SCORE 53188.471
AT ITER 3738 NEW BEST:: SOT 148195 SOS 57376 HAS SOPS 57376 HAS SOUS 53036 HAS SOUPS 53036 WITH SCORE 53093.376
AT ITER 3739 NEW BEST:: SOT 148154 SOS 57019 HAS SOPS 57019 HAS SOUS 52884 HAS SOUPS 52884 WITH SCORE 52941.019
AT ITER 3764 NEW BEST:: SOT 148101 SOS 56887 HAS SOPS 56887 HAS SOUS 52752 HAS SOUPS 52752 WITH SCORE 52808.887
AT ITER 3780 NEW BEST:: SOT 148095 SOS 56881 HAS SOPS 56881 HAS SOUS 52746 HAS SOUPS 52746 WITH SCORE 52802.881
AT ITER 3788 NEW BEST:: SOT 148065 SOS 56851 HAS SOPS 56851 HAS SOUS 52716 HAS SOUPS 52716 WITH SCORE 52772.851
AT ITER 3789 NEW BEST:: SOT 147986 SOS 56772 HAS SOPS 56772 HAS SOUS 52637 HAS SOUPS 52637 WITH SCORE 52693.772
AT ITER 3797 NEW BEST:: SOT 147894 SOS 56680 HAS SOPS 56680 HAS SOUS 52545 HAS SOUPS 52545 WITH SCORE 52601.68
AT ITER 3809 NEW BEST:: SOT 147878 SOS 56560 HAS SOPS 56560 HAS SOUS 52472 HAS SOUPS 52472 WITH SCORE 52528.56
AT ITER 3830 NEW BEST:: SOT 147902 SOS 56430 HAS SOPS 56430 HAS SOUS 52407 HAS SOUPS 52407 WITH SCORE 52463.43
AT ITER 3831 NEW BEST:: SOT 147902 SOS 56419 HAS SOPS 56419 HAS SOUS 52396 HAS SOUPS 52396 WITH SCORE 52452.419
AT ITER 3838 NEW BEST:: SOT 147836 SOS 56069 HAS SOPS 56069 HAS SOUS 52220 HAS SOUPS 52220 WITH SCORE 52276.069
AT ITER 3840 NEW BEST:: SOT 147816 SOS 56049 HAS SOPS 56049 HAS SOUS 52220 HAS SOUPS 52220 WITH SCORE 52276.049
AT ITER 3858 NEW BEST:: SOT 147663 SOS 55996 HAS SOPS 55996 HAS SOUS 52162 HAS SOUPS 52162 WITH SCORE 52217.996
AT ITER 3864 NEW BEST:: SOT 147600 SOS 55953 HAS SOPS 55953 HAS SOUS 52119 HAS SOUPS 52119 WITH SCORE 52174.953
AT ITER 3871 NEW BEST:: SOT 147592 SOS 55942 HAS SOPS 55942 HAS SOUS 52104 HAS SOUPS 52104 WITH SCORE 52159.942
AT ITER 3894 NEW BEST:: SOT 147557 SOS 55800 HAS SOPS 55800 HAS SOUS 51962 HAS SOUPS 51962 WITH SCORE 52017.8
AT ITER 3906 NEW BEST:: SOT 147512 SOS 55739 HAS SOPS 55739 HAS SOUS 51901 HAS SOUPS 51901 WITH SCORE 51956.739
AT ITER 3944 NEW BEST:: SOT 147584 SOS 55743 HAS SOPS 55743 HAS SOUS 51897 HAS SOUPS 51897 WITH SCORE 51952.743
AT ITER 3945 NEW BEST:: SOT 147567 SOS 55661 HAS SOPS 55661 HAS SOUS 51815 HAS SOUPS 51815 WITH SCORE 51870.661
AT ITER 4015 NEW BEST:: SOT 147549 SOS 55616 HAS SOPS 55616 HAS SOUS 51770 HAS SOUPS 51770 WITH SCORE 51825.616
AT ITER 4026 NEW BEST:: SOT 147495 SOS 55562 HAS SOPS 55562 HAS SOUS 51712 HAS SOUPS 51712 WITH SCORE 51767.562
AT ITER 4053 NEW BEST:: SOT 147508 SOS 55627 HAS SOPS 55627 HAS SOUS 51639 HAS SOUPS 51639 WITH SCORE 51694.627
AT ITER 4101 NEW BEST:: SOT 147479 SOS 55598 HAS SOPS 55598 HAS SOUS 51610 HAS SOUPS 51610 WITH SCORE 51665.598
AT ITER 4110 NEW BEST:: SOT 147403 SOS 55522 HAS SOPS 55522 HAS SOUS 51533 HAS SOUPS 51533 WITH SCORE 51588.522
AT ITER 4148 NEW BEST:: SOT 147384 SOS 55427 HAS SOPS 55427 HAS SOUS 51476 HAS SOUPS 51476 WITH SCORE 51531.427
AT ITER 4151 NEW BEST:: SOT 147384 SOS 55405 HAS SOPS 55405 HAS SOUS 51454 HAS SOUPS 51454 WITH SCORE 51509.405
AT ITER 4162 NEW BEST:: SOT 147345 SOS 55366 HAS SOPS 55366 HAS SOUS 51415 HAS SOUPS 51415 WITH SCORE 51470.366
AT ITER 4163 NEW BEST:: SOT 147327 SOS 55418 HAS SOPS 55418 HAS SOUS 51410 HAS SOUPS 51410 WITH SCORE 51465.418
AT ITER 4172 NEW BEST:: SOT 147147 SOS 55194 HAS SOPS 55194 HAS SOUS 51186 HAS SOUPS 51186 WITH SCORE 51241.194
AT ITER 4173 NEW BEST:: SOT 147077 SOS 54964 HAS SOPS 54964 HAS SOUS 51033 HAS SOUPS 51033 WITH SCORE 51087.964
AT ITER 4178 NEW BEST:: SOT 147018 SOS 54710 HAS SOPS 54710 HAS SOUS 50847 HAS SOUPS 50847 WITH SCORE 50901.71
AT ITER 4180 NEW BEST:: SOT 147012 SOS 54704 HAS SOPS 54704 HAS SOUS 50843 HAS SOUPS 50843 WITH SCORE 50897.704
AT ITER 4203 NEW BEST:: SOT 147025 SOS 54557 HAS SOPS 54557 HAS SOUS 50778 HAS SOUPS 50778 WITH SCORE 50832.557
AT ITER 4204 NEW BEST:: SOT 147010 SOS 54560 HAS SOPS 54560 HAS SOUS 50763 HAS SOUPS 50763 WITH SCORE 50817.56
AT ITER 4210 NEW BEST:: SOT 147030 SOS 54520 HAS SOPS 54520 HAS SOUS 50723 HAS SOUPS 50723 WITH SCORE 50777.52
AT ITER 4212 NEW BEST:: SOT 146978 SOS 54358 HAS SOPS 54358 HAS SOUS 50557 HAS SOUPS 50557 WITH SCORE 50611.358
AT ITER 4238 NEW BEST:: SOT 146950 SOS 54330 HAS SOPS 54330 HAS SOUS 50529 HAS SOUPS 50529 WITH SCORE 50583.33
AT ITER 4260 NEW BEST:: SOT 146951 SOS 54324 HAS SOPS 54324 HAS SOUS 50520 HAS SOUPS 50520 WITH SCORE 50574.324
AT ITER 4262 NEW BEST:: SOT 146944 SOS 54317 HAS SOPS 54317 HAS SOUS 50513 HAS SOUPS 50513 WITH SCORE 50567.317
AT ITER 4277 NEW BEST:: SOT 146944 SOS 54314 HAS SOPS 54314 HAS SOUS 50513 HAS SOUPS 50513 WITH SCORE 50567.314
AT ITER 4300 NEW BEST:: SOT 146844 SOS 54064 HAS SOPS 54064 HAS SOUS 50363 HAS SOUPS 50363 WITH SCORE 50417.064
AT ITER 4319 NEW BEST:: SOT 146836 SOS 54056 HAS SOPS 54056 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50409.056
AT ITER 4327 NEW BEST:: SOT 146713 SOS 53994 HAS SOPS 53994 HAS SOUS 50293 HAS SOUPS 50293 WITH SCORE 50346.994
AT ITER 4335 NEW BEST:: SOT 146694 SOS 53975 HAS SOPS 53975 HAS SOUS 50293 HAS SOUPS 50293 WITH SCORE 50346.975
AT ITER 4368 NEW BEST:: SOT 146702 SOS 53960 HAS SOPS 53960 HAS SOUS 50278 HAS SOUPS 50278 WITH SCORE 50331.96
AT ITER 4369 NEW BEST:: SOT 146699 SOS 53913 HAS SOPS 53913 HAS SOUS 50231 HAS SOUPS 50231 WITH SCORE 50284.913
AT ITER 4381 NEW BEST:: SOT 146796 SOS 53917 HAS SOPS 53917 HAS SOUS 50160 HAS SOUPS 50160 WITH SCORE 50213.917
AT ITER 4394 NEW BEST:: SOT 146796 SOS 53909 HAS SOPS 53909 HAS SOUS 50156 HAS SOUPS 50156 WITH SCORE 50209.909
AT ITER 4399 NEW BEST:: SOT 146796 SOS 53852 HAS SOPS 53852 HAS SOUS 50156 HAS SOUPS 50156 WITH SCORE 50209.852
AT ITER 4402 NEW BEST:: SOT 146772 SOS 53848 HAS SOPS 53848 HAS SOUS 50152 HAS SOUPS 50152 WITH SCORE 50205.848
AT ITER 4405 NEW BEST:: SOT 146545 SOS 53621 HAS SOPS 53621 HAS SOUS 49925 HAS SOUPS 49925 WITH SCORE 49978.621
AT ITER 4438 NEW BEST:: SOT 146517 SOS 53593 HAS SOPS 53593 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 49950.593
AT ITER 4465 NEW BEST:: SOT 146516 SOS 53528 HAS SOPS 53528 HAS SOUS 49863 HAS SOUPS 49863 WITH SCORE 49916.528
AT ITER 4482 NEW BEST:: SOT 146495 SOS 53507 HAS SOPS 53507 HAS SOUS 49842 HAS SOUPS 49842 WITH SCORE 49895.507
AT ITER 4486 NEW BEST:: SOT 146486 SOS 53462 HAS SOPS 53462 HAS SOUS 49707 HAS SOUPS 49707 WITH SCORE 49760.462
AT ITER 4522 NEW BEST:: SOT 146486 SOS 53402 HAS SOPS 53402 HAS SOUS 49679 HAS SOUPS 49679 WITH SCORE 49732.402
AT ITER 4524 NEW BEST:: SOT 146476 SOS 53392 HAS SOPS 53392 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 49722.392
AT ITER 4539 NEW BEST:: SOT 146471 SOS 53377 HAS SOPS 53377 HAS SOUS 49654 HAS SOUPS 49654 WITH SCORE 49707.377
AT ITER 4560 NEW BEST:: SOT 146451 SOS 53357 HAS SOPS 53357 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49667.357
AT ITER 4566 NEW BEST:: SOT 146442 SOS 53348 HAS SOPS 53348 HAS SOUS 49605 HAS SOUPS 49605 WITH SCORE 49658.348
AT ITER 4593 NEW BEST:: SOT 146317 SOS 53223 HAS SOPS 53223 HAS SOUS 49557 HAS SOUPS 49557 WITH SCORE 49610.223
AT ITER 4620 NEW BEST:: SOT 146317 SOS 53193 HAS SOPS 53193 HAS SOUS 49542 HAS SOUPS 49542 WITH SCORE 49595.193
AT ITER 4622 NEW BEST:: SOT 146317 SOS 53190 HAS SOPS 53190 HAS SOUS 49542 HAS SOUPS 49542 WITH SCORE 49595.19
AT ITER 4633 NEW BEST:: SOT 146303 SOS 53176 HAS SOPS 53176 HAS SOUS 49528 HAS SOUPS 49528 WITH SCORE 49581.176
AT ITER 4644 NEW BEST:: SOT 146293 SOS 53133 HAS SOPS 53133 HAS SOUS 49382 HAS SOUPS 49382 WITH SCORE 49435.133
AT ITER 4653 NEW BEST:: SOT 146283 SOS 53138 HAS SOPS 53138 HAS SOUS 49377 HAS SOUPS 49377 WITH SCORE 49430.138
AT ITER 4673 NEW BEST:: SOT 146185 SOS 53137 HAS SOPS 53137 HAS SOUS 49324 HAS SOUPS 49324 WITH SCORE 49377.137
AT ITER 4727 NEW BEST:: SOT 146150 SOS 53102 HAS SOPS 53102 HAS SOUS 49307 HAS SOUPS 49307 WITH SCORE 49360.102
AT ITER 4734 NEW BEST:: SOT 146240 SOS 52973 HAS SOPS 52973 HAS SOUS 49188 HAS SOUPS 49188 WITH SCORE 49240.973
AT ITER 4745 NEW BEST:: SOT 146237 SOS 52969 HAS SOPS 52969 HAS SOUS 49184 HAS SOUPS 49184 WITH SCORE 49236.969
AT ITER 4757 NEW BEST:: SOT 146226 SOS 52931 HAS SOPS 52931 HAS SOUS 49155 HAS SOUPS 49155 WITH SCORE 49207.931
AT ITER 4759 NEW BEST:: SOT 146148 SOS 52897 HAS SOPS 52897 HAS SOUS 49147 HAS SOUPS 49147 WITH SCORE 49199.897
AT ITER 4781 NEW BEST:: SOT 146148 SOS 52889 HAS SOPS 52889 HAS SOUS 49139 HAS SOUPS 49139 WITH SCORE 49191.889
AT ITER 4782 NEW BEST:: SOT 146130 SOS 52783 HAS SOPS 52783 HAS SOUS 49104 HAS SOUPS 49104 WITH SCORE 49156.783
AT ITER 4799 NEW BEST:: SOT 146129 SOS 52782 HAS SOPS 52782 HAS SOUS 49103 HAS SOUPS 49103 WITH SCORE 49155.782
AT ITER 4806 NEW BEST:: SOT 146029 SOS 52654 HAS SOPS 52654 HAS SOUS 48975 HAS SOUPS 48975 WITH SCORE 49027.654
AT ITER 4834 NEW BEST:: SOT 146020 SOS 52636 HAS SOPS 52636 HAS SOUS 48966 HAS SOUPS 48966 WITH SCORE 49018.636
AT ITER 4839 NEW BEST:: SOT 146020 SOS 52621 HAS SOPS 52621 HAS SOUS 48951 HAS SOUPS 48951 WITH SCORE 49003.621
AT ITER 4844 NEW BEST:: SOT 145963 SOS 52563 HAS SOPS 52563 HAS SOUS 48893 HAS SOUPS 48893 WITH SCORE 48945.563
AT ITER 4880 NEW BEST:: SOT 145953 SOS 52543 HAS SOPS 52543 HAS SOUS 48878 HAS SOUPS 48878 WITH SCORE 48930.543
AT ITER 4884 NEW BEST:: SOT 145955 SOS 52493 HAS SOPS 52493 HAS SOUS 48852 HAS SOUPS 48852 WITH SCORE 48904.493
AT ITER 4892 NEW BEST:: SOT 145941 SOS 52479 HAS SOPS 52479 HAS SOUS 48825 HAS SOUPS 48825 WITH SCORE 48877.479
AT ITER 4907 NEW BEST:: SOT 145959 SOS 52285 HAS SOPS 52285 HAS SOUS 48750 HAS SOUPS 48750 WITH SCORE 48802.285
AT ITER 4922 NEW BEST:: SOT 145951 SOS 52277 HAS SOPS 52277 HAS SOUS 48738 HAS SOUPS 48738 WITH SCORE 48790.277
AT ITER 4928 NEW BEST:: SOT 145925 SOS 52207 HAS SOPS 52207 HAS SOUS 48668 HAS SOUPS 48668 WITH SCORE 48720.207
AT ITER 4947 NEW BEST:: SOT 145905 SOS 52184 HAS SOPS 52184 HAS SOUS 48645 HAS SOUPS 48645 WITH SCORE 48697.184
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-00 (AG( (AF(( potential( (tk(P81)) <= (tk(P291)) ) | potential( ( 3 ) <= (tk(P490)) ) )))))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-01 (EU( (EX( potential( ( 1 ) <= (tk(P353)) ))),( ( potential( ( 3 ) <= (tk(P140)) ) | potential( (tk(P299)) <= (tk(P167)) ) ) & (! potential( (tk(P245)) <= (tk(P206)) )) ) ))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-02 ( (EX( (! ( potential( ( 1 ) <= (tk(P427)) ) & potential( (tk(P159)) <= (tk(P189)) ) )))) & ( (EF((! potential( (tk(P209)) <= (tk(P197)) )))) | (EF(( potential( ( 3 ) <= (tk(P510)) ) | potential( ( 2 ) <= (tk(P79)) ) ))) ) )
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-03 (AG( potential( (tk(P250)) <= (tk(P434)) )))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-04 (AG( potential( (tk(P430)) <= (tk(P372)) )))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-05 (AG( (AU( potential( ( 2 ) <= (tk(P446)) ),potential( (tk(P178)) <= (tk(P58)) ) ))))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-06 (AU( (EX( potential( ( 2 ) <= (tk(P115)) ))),(EF(potential( ( 2 ) <= (tk(P118)) ))) ))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-07 (AG( (EF(( potential( (tk(P515)) <= (tk(P399)) ) | potential( (tk(P428)) <= (tk(P294)) ) )))))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-08 (EX( (EF(( potential( ( 3 ) <= (tk(P133)) ) & potential( (tk(P21)) <= (tk(P169)) ) )))))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-09 (AF((AG( (! potential( ( 2 ) <= (tk(P45)) ))))))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-10 ( ( (EU( potential( ( 1 ) <= (tk(P372)) ),potential( ( 1 ) <= (tk(P294)) ) )) | (EF(potential( ( 3 ) <= (tk(P1)) ))) ) & (AF((EX( potential( (tk(P444)) <= (tk(P203)) ))))) )
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-11 (EF((AF(( potential( ( 2 ) <= (tk(P397)) ) & potential( (tk(P299)) <= (tk(P236)) ) )))))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-12 (AG( ( (AX( potential( ( 1 ) <= (tk(P144)) ))) | (EG( potential( ( 2 ) <= (tk(P166)) ))) )))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-13 ( potential( (tk(P259)) <= (tk(P362)) ) & (AG( (! ( potential( ( 2 ) <= (tk(P82)) ) & potential( (tk(P42)) <= (tk(P398)) ) )))) )
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-14 (EU( ( ( potential( ( 2 ) <= (tk(P248)) ) | potential( ( 3 ) <= (tk(P15)) ) ) & ( potential( (tk(P553)) <= (tk(P446)) ) & potential( (tk(P43)) <= (tk(P174)) ) ) ),(EF(potential( ( 2 ) <= (tk(P107)) ))) ))
PROPERTY: ShieldIIPt-PT-030A-CTLCardinality-15 (AU( (! ( potential( (tk(P380)) <= (tk(P548)) ) & potential( ( 1 ) <= (tk(P421)) ) )),(AG( potential( ( 1 ) <= (tk(P175)) ))) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-030A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPt-PT-030A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469300331"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-030A.tgz
mv ShieldIIPt-PT-030A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;