Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696701208.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is UtilityControlRoom-PT-Z4T4N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696701208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 21K Feb 26 14:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 14:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 64K Feb 26 14:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 255K Feb 26 14:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 20K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 51K Feb 26 14:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 245K Feb 26 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 158K Feb 26 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 585K Feb 26 14:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 12K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 191K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679193084822

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-PT-Z4T4N06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 228 places, 450 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 85078 SOS 68148 HAS SOPS 68148 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40486.148
AT ITER 4 NEW BEST:: SOT 85066 SOS 68106 HAS SOPS 68106 HAS SOUS 40413 HAS SOUPS 40413 WITH SCORE 40481.106
AT ITER 6 NEW BEST:: SOT 85066 SOS 68106 HAS SOPS 68106 HAS SOUS 40401 HAS SOUPS 40401 WITH SCORE 40469.106
AT ITER 9 NEW BEST:: SOT 85066 SOS 68106 HAS SOPS 68106 HAS SOUS 40399 HAS SOUPS 40399 WITH SCORE 40467.106
AT ITER 10 NEW BEST:: SOT 85051 SOS 67808 HAS SOPS 67808 HAS SOUS 40302 HAS SOUPS 40302 WITH SCORE 40369.808
AT ITER 15 NEW BEST:: SOT 85028 SOS 67762 HAS SOPS 67762 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40317.762
AT ITER 18 NEW BEST:: SOT 84821 SOS 67499 HAS SOPS 67499 HAS SOUS 39775 HAS SOUPS 39775 WITH SCORE 39842.499
AT ITER 19 NEW BEST:: SOT 84826 SOS 67485 HAS SOPS 67485 HAS SOUS 39737 HAS SOUPS 39737 WITH SCORE 39804.485
AT ITER 22 NEW BEST:: SOT 84817 SOS 67467 HAS SOPS 67467 HAS SOUS 39568 HAS SOUPS 39568 WITH SCORE 39635.467
AT ITER 26 NEW BEST:: SOT 84762 SOS 65921 HAS SOPS 65921 HAS SOUS 39382 HAS SOUPS 39382 WITH SCORE 39447.921
AT ITER 28 NEW BEST:: SOT 84769 SOS 65843 HAS SOPS 65843 HAS SOUS 39036 HAS SOUPS 39036 WITH SCORE 39101.843
AT ITER 30 NEW BEST:: SOT 84769 SOS 65828 HAS SOPS 65828 HAS SOUS 39020 HAS SOUPS 39020 WITH SCORE 39085.828
AT ITER 31 NEW BEST:: SOT 84783 SOS 65858 HAS SOPS 65858 HAS SOUS 39010 HAS SOUPS 39010 WITH SCORE 39075.858
AT ITER 32 NEW BEST:: SOT 84782 SOS 65721 HAS SOPS 65721 HAS SOUS 38904 HAS SOUPS 38904 WITH SCORE 38969.721
AT ITER 33 NEW BEST:: SOT 84662 SOS 65487 HAS SOPS 65487 HAS SOUS 38514 HAS SOUPS 38514 WITH SCORE 38579.487
AT ITER 36 NEW BEST:: SOT 69401 SOS 50595 HAS SOPS 50595 HAS SOUS 29905 HAS SOUPS 29905 WITH SCORE 29955.595
AT ITER 38 NEW BEST:: SOT 69346 SOS 50240 HAS SOPS 50240 HAS SOUS 29830 HAS SOUPS 29830 WITH SCORE 29880.24
AT ITER 39 NEW BEST:: SOT 69306 SOS 50388 HAS SOPS 50388 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29872.388
AT ITER 41 NEW BEST:: SOT 69272 SOS 50354 HAS SOPS 50354 HAS SOUS 29808 HAS SOUPS 29808 WITH SCORE 29858.354
AT ITER 42 NEW BEST:: SOT 69083 SOS 50118 HAS SOPS 50118 HAS SOUS 29322 HAS SOUPS 29322 WITH SCORE 29372.118
AT ITER 43 NEW BEST:: SOT 68663 SOS 49698 HAS SOPS 49698 HAS SOUS 29082 HAS SOUPS 29082 WITH SCORE 29131.698
AT ITER 46 NEW BEST:: SOT 68571 SOS 49661 HAS SOPS 49661 HAS SOUS 28894 HAS SOUPS 28894 WITH SCORE 28943.661
AT ITER 47 NEW BEST:: SOT 68553 SOS 49643 HAS SOPS 49643 HAS SOUS 28876 HAS SOUPS 28876 WITH SCORE 28925.643
AT ITER 48 NEW BEST:: SOT 68553 SOS 49541 HAS SOPS 49541 HAS SOUS 28876 HAS SOUPS 28876 WITH SCORE 28925.541
AT ITER 50 NEW BEST:: SOT 68514 SOS 49385 HAS SOPS 49385 HAS SOUS 28771 HAS SOUPS 28771 WITH SCORE 28820.385
AT ITER 54 NEW BEST:: SOT 68426 SOS 49395 HAS SOPS 49395 HAS SOUS 28626 HAS SOUPS 28626 WITH SCORE 28675.395
AT ITER 57 NEW BEST:: SOT 68612 SOS 49439 HAS SOPS 49439 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28482.439
AT ITER 60 NEW BEST:: SOT 68569 SOS 49410 HAS SOPS 49410 HAS SOUS 28333 HAS SOUPS 28333 WITH SCORE 28382.41
AT ITER 63 NEW BEST:: SOT 68645 SOS 49486 HAS SOPS 49486 HAS SOUS 28321 HAS SOUPS 28321 WITH SCORE 28370.486
AT ITER 68 NEW BEST:: SOT 68623 SOS 49486 HAS SOPS 49486 HAS SOUS 28233 HAS SOUPS 28233 WITH SCORE 28282.486
AT ITER 70 NEW BEST:: SOT 68615 SOS 49478 HAS SOPS 49478 HAS SOUS 28229 HAS SOUPS 28229 WITH SCORE 28278.478
AT ITER 72 NEW BEST:: SOT 68615 SOS 49585 HAS SOPS 49585 HAS SOUS 28161 HAS SOUPS 28161 WITH SCORE 28210.585
AT ITER 75 NEW BEST:: SOT 68500 SOS 49582 HAS SOPS 49582 HAS SOUS 28043 HAS SOUPS 28043 WITH SCORE 28092.582
AT ITER 76 NEW BEST:: SOT 68554 SOS 49636 HAS SOPS 49636 HAS SOUS 28002 HAS SOUPS 28002 WITH SCORE 28051.636
AT ITER 77 NEW BEST:: SOT 68501 SOS 49440 HAS SOPS 49440 HAS SOUS 27690 HAS SOUPS 27690 WITH SCORE 27739.44
AT ITER 78 NEW BEST:: SOT 68497 SOS 49436 HAS SOPS 49436 HAS SOUS 27688 HAS SOUPS 27688 WITH SCORE 27737.436
AT ITER 80 NEW BEST:: SOT 69068 SOS 48119 HAS SOPS 48119 HAS SOUS 26890 HAS SOUPS 26890 WITH SCORE 26938.119
AT ITER 83 NEW BEST:: SOT 69028 SOS 48196 HAS SOPS 48196 HAS SOUS 26857 HAS SOUPS 26857 WITH SCORE 26905.196
AT ITER 87 NEW BEST:: SOT 68947 SOS 48115 HAS SOPS 48115 HAS SOUS 26638 HAS SOUPS 26638 WITH SCORE 26686.115
AT ITER 89 NEW BEST:: SOT 68923 SOS 47748 HAS SOPS 47748 HAS SOUS 26525 HAS SOUPS 26525 WITH SCORE 26572.748
AT ITER 91 NEW BEST:: SOT 68714 SOS 49196 HAS SOPS 49196 HAS SOUS 26254 HAS SOUPS 26254 WITH SCORE 26303.196
AT ITER 94 NEW BEST:: SOT 68753 SOS 48760 HAS SOPS 48760 HAS SOUS 26141 HAS SOUPS 26141 WITH SCORE 26189.76
AT ITER 100 NEW BEST:: SOT 68756 SOS 48341 HAS SOPS 48341 HAS SOUS 26048 HAS SOUPS 26048 WITH SCORE 26096.341
AT ITER 102 NEW BEST:: SOT 68756 SOS 48341 HAS SOPS 48341 HAS SOUS 26000 HAS SOUPS 26000 WITH SCORE 26048.341
AT ITER 104 NEW BEST:: SOT 68732 SOS 48317 HAS SOPS 48317 HAS SOUS 25976 HAS SOUPS 25976 WITH SCORE 26024.317
AT ITER 106 NEW BEST:: SOT 68811 SOS 48352 HAS SOPS 48352 HAS SOUS 25952 HAS SOUPS 25952 WITH SCORE 26000.352
AT ITER 111 NEW BEST:: SOT 68801 SOS 48347 HAS SOPS 48347 HAS SOUS 25937 HAS SOUPS 25937 WITH SCORE 25985.347
AT ITER 112 NEW BEST:: SOT 68717 SOS 48263 HAS SOPS 48263 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25954.263
AT ITER 113 NEW BEST:: SOT 68728 SOS 48274 HAS SOPS 48274 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25935.274
AT ITER 115 NEW BEST:: SOT 68701 SOS 48234 HAS SOPS 48234 HAS SOUS 25802 HAS SOUPS 25802 WITH SCORE 25850.234
AT ITER 117 NEW BEST:: SOT 68776 SOS 48309 HAS SOPS 48309 HAS SOUS 25790 HAS SOUPS 25790 WITH SCORE 25838.309
AT ITER 121 NEW BEST:: SOT 68653 SOS 48104 HAS SOPS 48104 HAS SOUS 25551 HAS SOUPS 25551 WITH SCORE 25599.104
AT ITER 122 NEW BEST:: SOT 68696 SOS 47938 HAS SOPS 47938 HAS SOUS 25490 HAS SOUPS 25490 WITH SCORE 25537.938
AT ITER 123 NEW BEST:: SOT 68675 SOS 47938 HAS SOPS 47938 HAS SOUS 25427 HAS SOUPS 25427 WITH SCORE 25474.938
AT ITER 130 NEW BEST:: SOT 68565 SOS 47814 HAS SOPS 47814 HAS SOUS 25399 HAS SOUPS 25399 WITH SCORE 25446.814
AT ITER 133 NEW BEST:: SOT 68546 SOS 47636 HAS SOPS 47636 HAS SOUS 25224 HAS SOUPS 25224 WITH SCORE 25271.636
AT ITER 140 NEW BEST:: SOT 68496 SOS 47331 HAS SOPS 47331 HAS SOUS 25037 HAS SOUPS 25037 WITH SCORE 25084.331
AT ITER 143 NEW BEST:: SOT 68448 SOS 47283 HAS SOPS 47283 HAS SOUS 25007 HAS SOUPS 25007 WITH SCORE 25054.283
AT ITER 148 NEW BEST:: SOT 68448 SOS 47283 HAS SOPS 47283 HAS SOUS 25002 HAS SOUPS 25002 WITH SCORE 25049.283
AT ITER 154 NEW BEST:: SOT 68433 SOS 47268 HAS SOPS 47268 HAS SOUS 24965 HAS SOUPS 24965 WITH SCORE 25012.268
AT ITER 156 NEW BEST:: SOT 68398 SOS 47233 HAS SOPS 47233 HAS SOUS 24955 HAS SOUPS 24955 WITH SCORE 25002.233
AT ITER 158 NEW BEST:: SOT 68228 SOS 46951 HAS SOPS 46951 HAS SOUS 24673 HAS SOUPS 24673 WITH SCORE 24719.951
AT ITER 161 NEW BEST:: SOT 68182 SOS 47006 HAS SOPS 47006 HAS SOUS 24571 HAS SOUPS 24571 WITH SCORE 24618.006
AT ITER 165 NEW BEST:: SOT 68223 SOS 46763 HAS SOPS 46763 HAS SOUS 24554 HAS SOUPS 24554 WITH SCORE 24600.763
AT ITER 170 NEW BEST:: SOT 68212 SOS 46710 HAS SOPS 46710 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24577.71
AT ITER 173 NEW BEST:: SOT 68124 SOS 46559 HAS SOPS 46559 HAS SOUS 24394 HAS SOUPS 24394 WITH SCORE 24440.559
AT ITER 175 NEW BEST:: SOT 68106 SOS 46541 HAS SOPS 46541 HAS SOUS 24391 HAS SOUPS 24391 WITH SCORE 24437.541
AT ITER 176 NEW BEST:: SOT 68043 SOS 46371 HAS SOPS 46371 HAS SOUS 24280 HAS SOUPS 24280 WITH SCORE 24326.371
AT ITER 178 NEW BEST:: SOT 67526 SOS 46804 HAS SOPS 46804 HAS SOUS 24090 HAS SOUPS 24090 WITH SCORE 24136.804
AT ITER 179 NEW BEST:: SOT 67506 SOS 46784 HAS SOPS 46784 HAS SOUS 24027 HAS SOUPS 24027 WITH SCORE 24073.784
AT ITER 182 NEW BEST:: SOT 67547 SOS 46784 HAS SOPS 46784 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 23988.784
AT ITER 183 NEW BEST:: SOT 67545 SOS 46782 HAS SOPS 46782 HAS SOUS 23940 HAS SOUPS 23940 WITH SCORE 23986.782
AT ITER 184 NEW BEST:: SOT 67614 SOS 46652 HAS SOPS 46652 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23637.652
AT ITER 186 NEW BEST:: SOT 67458 SOS 46496 HAS SOPS 46496 HAS SOUS 23435 HAS SOUPS 23435 WITH SCORE 23481.496
AT ITER 193 NEW BEST:: SOT 67458 SOS 46483 HAS SOPS 46483 HAS SOUS 23422 HAS SOUPS 23422 WITH SCORE 23468.483
AT ITER 195 NEW BEST:: SOT 66945 SOS 45970 HAS SOPS 45970 HAS SOUS 23248 HAS SOUPS 23248 WITH SCORE 23293.97
AT ITER 198 NEW BEST:: SOT 66932 SOS 45612 HAS SOPS 45612 HAS SOUS 23205 HAS SOUPS 23205 WITH SCORE 23250.612
AT ITER 199 NEW BEST:: SOT 66926 SOS 45763 HAS SOPS 45763 HAS SOUS 23158 HAS SOUPS 23158 WITH SCORE 23203.763
AT ITER 200 NEW BEST:: SOT 66889 SOS 45689 HAS SOPS 45689 HAS SOUS 23126 HAS SOUPS 23126 WITH SCORE 23171.689
AT ITER 201 NEW BEST:: SOT 66918 SOS 45718 HAS SOPS 45718 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23163.718
AT ITER 202 NEW BEST:: SOT 66901 SOS 45607 HAS SOPS 45607 HAS SOUS 23101 HAS SOUPS 23101 WITH SCORE 23146.607
AT ITER 205 NEW BEST:: SOT 67056 SOS 45691 HAS SOPS 45691 HAS SOUS 23074 HAS SOUPS 23074 WITH SCORE 23119.691
AT ITER 208 NEW BEST:: SOT 67079 SOS 45717 HAS SOPS 45717 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23118.717
AT ITER 209 NEW BEST:: SOT 67059 SOS 45677 HAS SOPS 45677 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23073.677
AT ITER 213 NEW BEST:: SOT 67059 SOS 45669 HAS SOPS 45669 HAS SOUS 23024 HAS SOUPS 23024 WITH SCORE 23069.669
AT ITER 221 NEW BEST:: SOT 67071 SOS 45681 HAS SOPS 45681 HAS SOUS 22938 HAS SOUPS 22938 WITH SCORE 22983.681
AT ITER 228 NEW BEST:: SOT 67065 SOS 45571 HAS SOPS 45571 HAS SOUS 22892 HAS SOUPS 22892 WITH SCORE 22937.571
AT ITER 230 NEW BEST:: SOT 67065 SOS 45566 HAS SOPS 45566 HAS SOUS 22890 HAS SOUPS 22890 WITH SCORE 22935.566
AT ITER 236 NEW BEST:: SOT 66972 SOS 45547 HAS SOPS 45547 HAS SOUS 22843 HAS SOUPS 22843 WITH SCORE 22888.547
AT ITER 238 NEW BEST:: SOT 66978 SOS 45553 HAS SOPS 45553 HAS SOUS 22841 HAS SOUPS 22841 WITH SCORE 22886.553
AT ITER 240 NEW BEST:: SOT 67020 SOS 45268 HAS SOPS 45268 HAS SOUS 22806 HAS SOUPS 22806 WITH SCORE 22851.268
AT ITER 241 NEW BEST:: SOT 67007 SOS 45327 HAS SOPS 45327 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22844.327
AT ITER 246 NEW BEST:: SOT 67007 SOS 45342 HAS SOPS 45342 HAS SOUS 22789 HAS SOUPS 22789 WITH SCORE 22834.342
AT ITER 247 NEW BEST:: SOT 67007 SOS 45507 HAS SOPS 45507 HAS SOUS 22780 HAS SOUPS 22780 WITH SCORE 22825.507
AT ITER 248 NEW BEST:: SOT 66848 SOS 45226 HAS SOPS 45226 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22602.226
AT ITER 256 NEW BEST:: SOT 66764 SOS 45534 HAS SOPS 45534 HAS SOUS 22537 HAS SOUPS 22537 WITH SCORE 22582.534
AT ITER 260 NEW BEST:: SOT 66712 SOS 45482 HAS SOPS 45482 HAS SOUS 22327 HAS SOUPS 22327 WITH SCORE 22372.482
AT ITER 261 NEW BEST:: SOT 66729 SOS 45499 HAS SOPS 45499 HAS SOUS 22276 HAS SOUPS 22276 WITH SCORE 22321.499
AT ITER 265 NEW BEST:: SOT 66671 SOS 45441 HAS SOPS 45441 HAS SOUS 22230 HAS SOUPS 22230 WITH SCORE 22275.441
AT ITER 274 NEW BEST:: SOT 66708 SOS 45478 HAS SOPS 45478 HAS SOUS 22220 HAS SOUPS 22220 WITH SCORE 22265.478
AT ITER 277 NEW BEST:: SOT 66698 SOS 45448 HAS SOPS 45448 HAS SOUS 22182 HAS SOUPS 22182 WITH SCORE 22227.448
AT ITER 278 NEW BEST:: SOT 66692 SOS 45446 HAS SOPS 45446 HAS SOUS 22176 HAS SOUPS 22176 WITH SCORE 22221.446
AT ITER 282 NEW BEST:: SOT 66599 SOS 45353 HAS SOPS 45353 HAS SOUS 22035 HAS SOUPS 22035 WITH SCORE 22080.353
AT ITER 286 NEW BEST:: SOT 66701 SOS 45500 HAS SOPS 45500 HAS SOUS 21987 HAS SOUPS 21987 WITH SCORE 22032.5
AT ITER 287 NEW BEST:: SOT 66685 SOS 45462 HAS SOPS 45462 HAS SOUS 21950 HAS SOUPS 21950 WITH SCORE 21995.462
AT ITER 288 NEW BEST:: SOT 66643 SOS 45373 HAS SOPS 45373 HAS SOUS 21936 HAS SOUPS 21936 WITH SCORE 21981.373
AT ITER 291 NEW BEST:: SOT 66623 SOS 45343 HAS SOPS 45343 HAS SOUS 21886 HAS SOUPS 21886 WITH SCORE 21931.343
AT ITER 292 NEW BEST:: SOT 66656 SOS 45376 HAS SOPS 45376 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21898.376
AT ITER 295 NEW BEST:: SOT 66620 SOS 45340 HAS SOPS 45340 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21898.34
AT ITER 305 NEW BEST:: SOT 66770 SOS 45311 HAS SOPS 45311 HAS SOUS 21782 HAS SOUPS 21782 WITH SCORE 21827.311
AT ITER 307 NEW BEST:: SOT 66702 SOS 45100 HAS SOPS 45100 HAS SOUS 21646 HAS SOUPS 21646 WITH SCORE 21691.1
AT ITER 309 NEW BEST:: SOT 66490 SOS 44919 HAS SOPS 44919 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21637.919
AT ITER 311 NEW BEST:: SOT 66443 SOS 44913 HAS SOPS 44913 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21616.913
AT ITER 320 NEW BEST:: SOT 66442 SOS 44912 HAS SOPS 44912 HAS SOUS 21570 HAS SOUPS 21570 WITH SCORE 21614.912
AT ITER 321 NEW BEST:: SOT 66458 SOS 44928 HAS SOPS 44928 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21603.928
AT ITER 326 NEW BEST:: SOT 66348 SOS 44785 HAS SOPS 44785 HAS SOUS 21512 HAS SOUPS 21512 WITH SCORE 21556.785
AT ITER 327 NEW BEST:: SOT 66295 SOS 44794 HAS SOPS 44794 HAS SOUS 21491 HAS SOUPS 21491 WITH SCORE 21535.794
AT ITER 328 NEW BEST:: SOT 65749 SOS 44225 HAS SOPS 44225 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21257.225
AT ITER 333 NEW BEST:: SOT 65601 SOS 44007 HAS SOPS 44007 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21148.007
AT ITER 334 NEW BEST:: SOT 65606 SOS 43905 HAS SOPS 43905 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 20999.905
AT ITER 339 NEW BEST:: SOT 65606 SOS 43903 HAS SOPS 43903 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20985.903
AT ITER 340 NEW BEST:: SOT 65687 SOS 44074 HAS SOPS 44074 HAS SOUS 20941 HAS SOUPS 20941 WITH SCORE 20985.074
AT ITER 342 NEW BEST:: SOT 65681 SOS 44072 HAS SOPS 44072 HAS SOUS 20935 HAS SOUPS 20935 WITH SCORE 20979.072
AT ITER 345 NEW BEST:: SOT 65742 SOS 44133 HAS SOPS 44133 HAS SOUS 20890 HAS SOUPS 20890 WITH SCORE 20934.133
AT ITER 346 NEW BEST:: SOT 65773 SOS 44164 HAS SOPS 44164 HAS SOUS 20879 HAS SOUPS 20879 WITH SCORE 20923.164
AT ITER 348 NEW BEST:: SOT 65774 SOS 44165 HAS SOPS 44165 HAS SOUS 20878 HAS SOUPS 20878 WITH SCORE 20922.165
AT ITER 349 NEW BEST:: SOT 65768 SOS 44038 HAS SOPS 44038 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20875.038
AT ITER 354 NEW BEST:: SOT 65760 SOS 43982 HAS SOPS 43982 HAS SOUS 20807 HAS SOUPS 20807 WITH SCORE 20850.982
AT ITER 363 NEW BEST:: SOT 65604 SOS 43717 HAS SOPS 43717 HAS SOUS 20779 HAS SOUPS 20779 WITH SCORE 20822.717
AT ITER 366 NEW BEST:: SOT 65596 SOS 43697 HAS SOPS 43697 HAS SOUS 20779 HAS SOUPS 20779 WITH SCORE 20822.697
AT ITER 373 NEW BEST:: SOT 65597 SOS 43698 HAS SOPS 43698 HAS SOUS 20753 HAS SOUPS 20753 WITH SCORE 20796.698
AT ITER 375 NEW BEST:: SOT 65588 SOS 43644 HAS SOPS 43644 HAS SOUS 20744 HAS SOUPS 20744 WITH SCORE 20787.644
AT ITER 380 NEW BEST:: SOT 65469 SOS 42185 HAS SOPS 42185 HAS SOUS 20520 HAS SOUPS 20520 WITH SCORE 20562.185
AT ITER 381 NEW BEST:: SOT 65469 SOS 42185 HAS SOPS 42185 HAS SOUS 20518 HAS SOUPS 20518 WITH SCORE 20560.185
AT ITER 383 NEW BEST:: SOT 65556 SOS 41935 HAS SOPS 41935 HAS SOUS 20518 HAS SOUPS 20518 WITH SCORE 20559.935
AT ITER 387 NEW BEST:: SOT 65604 SOS 41983 HAS SOPS 41983 HAS SOUS 20446 HAS SOUPS 20446 WITH SCORE 20487.983
AT ITER 388 NEW BEST:: SOT 65559 SOS 41849 HAS SOPS 41849 HAS SOUS 20385 HAS SOUPS 20385 WITH SCORE 20426.849
AT ITER 391 NEW BEST:: SOT 65598 SOS 41888 HAS SOPS 41888 HAS SOUS 20382 HAS SOUPS 20382 WITH SCORE 20423.888
AT ITER 394 NEW BEST:: SOT 65583 SOS 41890 HAS SOPS 41890 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20408.89
AT ITER 401 NEW BEST:: SOT 65522 SOS 41856 HAS SOPS 41856 HAS SOUS 20289 HAS SOUPS 20289 WITH SCORE 20330.856
AT ITER 409 NEW BEST:: SOT 65510 SOS 41832 HAS SOPS 41832 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20318.832
AT ITER 412 NEW BEST:: SOT 65167 SOS 41415 HAS SOPS 41415 HAS SOUS 20216 HAS SOUPS 20216 WITH SCORE 20257.415
AT ITER 416 NEW BEST:: SOT 65167 SOS 41432 HAS SOPS 41432 HAS SOUS 20209 HAS SOUPS 20209 WITH SCORE 20250.432
AT ITER 418 NEW BEST:: SOT 65013 SOS 41130 HAS SOPS 41130 HAS SOUS 20110 HAS SOUPS 20110 WITH SCORE 20151.13
AT ITER 422 NEW BEST:: SOT 65017 SOS 41140 HAS SOPS 41140 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20121.14
AT ITER 423 NEW BEST:: SOT 65014 SOS 41143 HAS SOPS 41143 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20109.143
AT ITER 430 NEW BEST:: SOT 65017 SOS 40798 HAS SOPS 40798 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20053.798
AT ITER 431 NEW BEST:: SOT 64976 SOS 40842 HAS SOPS 40842 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 19989.842
AT ITER 444 NEW BEST:: SOT 64973 SOS 40855 HAS SOPS 40855 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19986.855
AT ITER 453 NEW BEST:: SOT 64977 SOS 40719 HAS SOPS 40719 HAS SOUS 19790 HAS SOUPS 19790 WITH SCORE 19830.719
AT ITER 456 NEW BEST:: SOT 64941 SOS 40683 HAS SOPS 40683 HAS SOUS 19790 HAS SOUPS 19790 WITH SCORE 19830.683
AT ITER 457 NEW BEST:: SOT 65054 SOS 40864 HAS SOPS 40864 HAS SOUS 19668 HAS SOUPS 19668 WITH SCORE 19708.864
AT ITER 471 NEW BEST:: SOT 65050 SOS 40860 HAS SOPS 40860 HAS SOUS 19668 HAS SOUPS 19668 WITH SCORE 19708.86
AT ITER 473 NEW BEST:: SOT 64956 SOS 40748 HAS SOPS 40748 HAS SOUS 19606 HAS SOUPS 19606 WITH SCORE 19646.748
AT ITER 477 NEW BEST:: SOT 64953 SOS 40746 HAS SOPS 40746 HAS SOUS 19606 HAS SOUPS 19606 WITH SCORE 19646.746
AT ITER 479 NEW BEST:: SOT 64876 SOS 40694 HAS SOPS 40694 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19569.694
AT ITER 482 NEW BEST:: SOT 64920 SOS 40574 HAS SOPS 40574 HAS SOUS 19499 HAS SOUPS 19499 WITH SCORE 19539.574
AT ITER 483 NEW BEST:: SOT 64927 SOS 40581 HAS SOPS 40581 HAS SOUS 19485 HAS SOUPS 19485 WITH SCORE 19525.581
AT ITER 487 NEW BEST:: SOT 64867 SOS 40461 HAS SOPS 40461 HAS SOUS 19429 HAS SOUPS 19429 WITH SCORE 19469.461
AT ITER 498 NEW BEST:: SOT 64799 SOS 40345 HAS SOPS 40345 HAS SOUS 19337 HAS SOUPS 19337 WITH SCORE 19377.345
AT ITER 506 NEW BEST:: SOT 64713 SOS 40173 HAS SOPS 40173 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19334.173
AT ITER 507 NEW BEST:: SOT 64681 SOS 40117 HAS SOPS 40117 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19311.117
AT ITER 511 NEW BEST:: SOT 64679 SOS 40194 HAS SOPS 40194 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19283.194
AT ITER 526 NEW BEST:: SOT 64733 SOS 40220 HAS SOPS 40220 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19252.22
AT ITER 527 NEW BEST:: SOT 64701 SOS 39957 HAS SOPS 39957 HAS SOUS 19183 HAS SOUPS 19183 WITH SCORE 19222.957
AT ITER 530 NEW BEST:: SOT 64688 SOS 39941 HAS SOPS 39941 HAS SOUS 19170 HAS SOUPS 19170 WITH SCORE 19209.941
AT ITER 550 NEW BEST:: SOT 64694 SOS 39884 HAS SOPS 39884 HAS SOUS 19150 HAS SOUPS 19150 WITH SCORE 19189.884
AT ITER 560 NEW BEST:: SOT 64619 SOS 39744 HAS SOPS 39744 HAS SOUS 19065 HAS SOUPS 19065 WITH SCORE 19104.744
AT ITER 562 NEW BEST:: SOT 64610 SOS 39753 HAS SOPS 39753 HAS SOUS 19056 HAS SOUPS 19056 WITH SCORE 19095.753
AT ITER 577 NEW BEST:: SOT 64475 SOS 39678 HAS SOPS 39678 HAS SOUS 18878 HAS SOUPS 18878 WITH SCORE 18917.678
AT ITER 578 NEW BEST:: SOT 64470 SOS 39449 HAS SOPS 39449 HAS SOUS 18856 HAS SOUPS 18856 WITH SCORE 18895.449
AT ITER 589 NEW BEST:: SOT 64461 SOS 39458 HAS SOPS 39458 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18877.458
AT ITER 597 NEW BEST:: SOT 64454 SOS 39475 HAS SOPS 39475 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18874.475
AT ITER 600 NEW BEST:: SOT 64445 SOS 39503 HAS SOPS 39503 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18873.503
AT ITER 602 NEW BEST:: SOT 64262 SOS 39307 HAS SOPS 39307 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18733.307
AT ITER 606 NEW BEST:: SOT 64091 SOS 39055 HAS SOPS 39055 HAS SOUS 18436 HAS SOUPS 18436 WITH SCORE 18475.055
AT ITER 607 NEW BEST:: SOT 64103 SOS 39067 HAS SOPS 39067 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18473.067
AT ITER 609 NEW BEST:: SOT 64103 SOS 39067 HAS SOPS 39067 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18472.067
AT ITER 619 NEW BEST:: SOT 64089 SOS 39034 HAS SOPS 39034 HAS SOUS 18340 HAS SOUPS 18340 WITH SCORE 18379.034
AT ITER 621 NEW BEST:: SOT 64026 SOS 38832 HAS SOPS 38832 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18373.832
AT ITER 623 NEW BEST:: SOT 64008 SOS 38814 HAS SOPS 38814 HAS SOUS 18291 HAS SOUPS 18291 WITH SCORE 18329.814
AT ITER 635 NEW BEST:: SOT 63994 SOS 38776 HAS SOPS 38776 HAS SOUS 18289 HAS SOUPS 18289 WITH SCORE 18327.776
AT ITER 639 NEW BEST:: SOT 64068 SOS 38858 HAS SOPS 38858 HAS SOUS 18198 HAS SOUPS 18198 WITH SCORE 18236.858
AT ITER 644 NEW BEST:: SOT 64067 SOS 38857 HAS SOPS 38857 HAS SOUS 18197 HAS SOUPS 18197 WITH SCORE 18235.857
AT ITER 646 NEW BEST:: SOT 64046 SOS 38815 HAS SOPS 38815 HAS SOUS 18193 HAS SOUPS 18193 WITH SCORE 18231.815
AT ITER 647 NEW BEST:: SOT 64046 SOS 38815 HAS SOPS 38815 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18224.815
AT ITER 650 NEW BEST:: SOT 64112 SOS 38604 HAS SOPS 38604 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18214.604
AT ITER 652 NEW BEST:: SOT 64191 SOS 38683 HAS SOPS 38683 HAS SOUS 18151 HAS SOUPS 18151 WITH SCORE 18189.683
AT ITER 665 NEW BEST:: SOT 64189 SOS 38681 HAS SOPS 38681 HAS SOUS 18141 HAS SOUPS 18141 WITH SCORE 18179.681
AT ITER 666 NEW BEST:: SOT 64175 SOS 38661 HAS SOPS 38661 HAS SOUS 18129 HAS SOUPS 18129 WITH SCORE 18167.661
AT ITER 676 NEW BEST:: SOT 64174 SOS 38655 HAS SOPS 38655 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18165.655
AT ITER 677 NEW BEST:: SOT 64375 SOS 38856 HAS SOPS 38856 HAS SOUS 18106 HAS SOUPS 18106 WITH SCORE 18144.856
AT ITER 679 NEW BEST:: SOT 64342 SOS 38836 HAS SOPS 38836 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18124.836
AT ITER 680 NEW BEST:: SOT 64695 SOS 39149 HAS SOPS 39149 HAS SOUS 18079 HAS SOUPS 18079 WITH SCORE 18118.149
AT ITER 682 NEW BEST:: SOT 64818 SOS 39260 HAS SOPS 39260 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18104.26
AT ITER 683 NEW BEST:: SOT 64772 SOS 39338 HAS SOPS 39338 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18070.338
AT ITER 692 NEW BEST:: SOT 64755 SOS 39231 HAS SOPS 39231 HAS SOUS 17992 HAS SOUPS 17992 WITH SCORE 18031.231
AT ITER 694 NEW BEST:: SOT 64775 SOS 39249 HAS SOPS 39249 HAS SOUS 17988 HAS SOUPS 17988 WITH SCORE 18027.249
AT ITER 702 NEW BEST:: SOT 64788 SOS 39262 HAS SOPS 39262 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 18014.262
AT ITER 711 NEW BEST:: SOT 64788 SOS 39255 HAS SOPS 39255 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 18014.255
AT ITER 722 NEW BEST:: SOT 64778 SOS 39225 HAS SOPS 39225 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 18014.225
AT ITER 725 NEW BEST:: SOT 64712 SOS 39175 HAS SOPS 39175 HAS SOUS 17956 HAS SOUPS 17956 WITH SCORE 17995.175
AT ITER 735 NEW BEST:: SOT 64679 SOS 38211 HAS SOPS 38211 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17962.211
AT ITER 737 NEW BEST:: SOT 64602 SOS 37780 HAS SOPS 37780 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17870.78
AT ITER 749 NEW BEST:: SOT 64605 SOS 37863 HAS SOPS 37863 HAS SOUS 17777 HAS SOUPS 17777 WITH SCORE 17814.863
AT ITER 753 NEW BEST:: SOT 64671 SOS 37929 HAS SOPS 37929 HAS SOUS 17736 HAS SOUPS 17736 WITH SCORE 17773.929
AT ITER 755 NEW BEST:: SOT 64671 SOS 37929 HAS SOPS 37929 HAS SOUS 17724 HAS SOUPS 17724 WITH SCORE 17761.929
AT ITER 770 NEW BEST:: SOT 64551 SOS 37640 HAS SOPS 37640 HAS SOUS 17705 HAS SOUPS 17705 WITH SCORE 17742.64
AT ITER 783 NEW BEST:: SOT 64531 SOS 37600 HAS SOPS 37600 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17712.6
AT ITER 796 NEW BEST:: SOT 64523 SOS 37592 HAS SOPS 37592 HAS SOUS 17667 HAS SOUPS 17667 WITH SCORE 17704.592
AT ITER 799 NEW BEST:: SOT 64452 SOS 37501 HAS SOPS 37501 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17591.501
AT ITER 803 NEW BEST:: SOT 64446 SOS 37493 HAS SOPS 37493 HAS SOUS 17548 HAS SOUPS 17548 WITH SCORE 17585.493
AT ITER 804 NEW BEST:: SOT 64446 SOS 37493 HAS SOPS 37493 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17557.493
AT ITER 811 NEW BEST:: SOT 64527 SOS 37527 HAS SOPS 37527 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17556.527
AT ITER 837 NEW BEST:: SOT 64091 SOS 37015 HAS SOPS 37015 HAS SOUS 17462 HAS SOUPS 17462 WITH SCORE 17499.015
AT ITER 839 NEW BEST:: SOT 64081 SOS 37005 HAS SOPS 37005 HAS SOUS 17452 HAS SOUPS 17452 WITH SCORE 17489.005
AT ITER 844 NEW BEST:: SOT 64074 SOS 36996 HAS SOPS 36996 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17442.996
AT ITER 846 NEW BEST:: SOT 64074 SOS 36969 HAS SOPS 36969 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17442.969
AT ITER 852 NEW BEST:: SOT 64053 SOS 36980 HAS SOPS 36980 HAS SOUS 17384 HAS SOUPS 17384 WITH SCORE 17420.98
AT ITER 857 NEW BEST:: SOT 64032 SOS 36952 HAS SOPS 36952 HAS SOUS 17377 HAS SOUPS 17377 WITH SCORE 17413.952
AT ITER 865 NEW BEST:: SOT 64018 SOS 36972 HAS SOPS 36972 HAS SOUS 17371 HAS SOUPS 17371 WITH SCORE 17407.972
AT ITER 866 NEW BEST:: SOT 63943 SOS 36871 HAS SOPS 36871 HAS SOUS 17247 HAS SOUPS 17247 WITH SCORE 17283.871
AT ITER 867 NEW BEST:: SOT 63904 SOS 36839 HAS SOPS 36839 HAS SOUS 16967 HAS SOUPS 16967 WITH SCORE 17003.839
AT ITER 883 NEW BEST:: SOT 63904 SOS 36779 HAS SOPS 36779 HAS SOUS 16967 HAS SOUPS 16967 WITH SCORE 17003.779
AT ITER 884 NEW BEST:: SOT 63978 SOS 36720 HAS SOPS 36720 HAS SOUS 16962 HAS SOUPS 16962 WITH SCORE 16998.72
AT ITER 889 NEW BEST:: SOT 64073 SOS 36815 HAS SOPS 36815 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16980.815
AT ITER 893 NEW BEST:: SOT 64058 SOS 36809 HAS SOPS 36809 HAS SOUS 16929 HAS SOUPS 16929 WITH SCORE 16965.809
AT ITER 907 NEW BEST:: SOT 64058 SOS 36809 HAS SOPS 36809 HAS SOUS 16904 HAS SOUPS 16904 WITH SCORE 16940.809
AT ITER 912 NEW BEST:: SOT 63914 SOS 36663 HAS SOPS 36663 HAS SOUS 16796 HAS SOUPS 16796 WITH SCORE 16832.663
AT ITER 925 NEW BEST:: SOT 63922 SOS 36595 HAS SOPS 36595 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16800.595
AT ITER 932 NEW BEST:: SOT 63890 SOS 36551 HAS SOPS 36551 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16768.551
AT ITER 954 NEW BEST:: SOT 63890 SOS 36551 HAS SOPS 36551 HAS SOUS 16690 HAS SOUPS 16690 WITH SCORE 16726.551
AT ITER 956 NEW BEST:: SOT 63882 SOS 36565 HAS SOPS 36565 HAS SOUS 16674 HAS SOUPS 16674 WITH SCORE 16710.565
AT ITER 959 NEW BEST:: SOT 63851 SOS 36534 HAS SOPS 36534 HAS SOUS 16643 HAS SOUPS 16643 WITH SCORE 16679.534
AT ITER 962 NEW BEST:: SOT 63851 SOS 36534 HAS SOPS 36534 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16668.534
AT ITER 964 NEW BEST:: SOT 63947 SOS 36630 HAS SOPS 36630 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16553.63
AT ITER 983 NEW BEST:: SOT 63857 SOS 36524 HAS SOPS 36524 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16463.524
AT ITER 995 NEW BEST:: SOT 63855 SOS 36448 HAS SOPS 36448 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16457.448
AT ITER 1004 NEW BEST:: SOT 63772 SOS 36340 HAS SOPS 36340 HAS SOUS 16284 HAS SOUPS 16284 WITH SCORE 16320.34
AT ITER 1023 NEW BEST:: SOT 63988 SOS 36614 HAS SOPS 36614 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16303.614
AT ITER 1040 NEW BEST:: SOT 63988 SOS 36574 HAS SOPS 36574 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16295.574
AT ITER 1046 NEW BEST:: SOT 63986 SOS 36608 HAS SOPS 36608 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16265.608
AT ITER 1048 NEW BEST:: SOT 63971 SOS 36573 HAS SOPS 36573 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16265.573
AT ITER 1064 NEW BEST:: SOT 63941 SOS 36462 HAS SOPS 36462 HAS SOUS 16199 HAS SOUPS 16199 WITH SCORE 16235.462
AT ITER 1072 NEW BEST:: SOT 64111 SOS 36632 HAS SOPS 36632 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16023.632
AT ITER 1073 NEW BEST:: SOT 64155 SOS 36487 HAS SOPS 36487 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15994.487
AT ITER 1085 NEW BEST:: SOT 64112 SOS 36443 HAS SOPS 36443 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15973.443
AT ITER 1086 NEW BEST:: SOT 64058 SOS 36347 HAS SOPS 36347 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15942.347
AT ITER 1093 NEW BEST:: SOT 63985 SOS 36368 HAS SOPS 36368 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15922.368
AT ITER 1097 NEW BEST:: SOT 64013 SOS 36258 HAS SOPS 36258 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15871.258
AT ITER 1103 NEW BEST:: SOT 63993 SOS 36169 HAS SOPS 36169 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15828.169
AT ITER 1106 NEW BEST:: SOT 63977 SOS 36159 HAS SOPS 36159 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15812.159
AT ITER 1108 NEW BEST:: SOT 63971 SOS 36183 HAS SOPS 36183 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15774.183
AT ITER 1112 NEW BEST:: SOT 63967 SOS 36085 HAS SOPS 36085 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15768.085
AT ITER 1117 NEW BEST:: SOT 63955 SOS 36081 HAS SOPS 36081 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15756.081
AT ITER 1119 NEW BEST:: SOT 63923 SOS 36049 HAS SOPS 36049 HAS SOUS 15672 HAS SOUPS 15672 WITH SCORE 15708.049
AT ITER 1122 NEW BEST:: SOT 63824 SOS 35869 HAS SOPS 35869 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15450.869
AT ITER 1133 NEW BEST:: SOT 63819 SOS 35849 HAS SOPS 35849 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15445.849
AT ITER 1136 NEW BEST:: SOT 63809 SOS 35824 HAS SOPS 35824 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15415.824
AT ITER 1138 NEW BEST:: SOT 63809 SOS 35811 HAS SOPS 35811 HAS SOUS 15354 HAS SOUPS 15354 WITH SCORE 15389.811
AT ITER 1153 NEW BEST:: SOT 63809 SOS 35811 HAS SOPS 35811 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15358.811
AT ITER 1154 NEW BEST:: SOT 63725 SOS 35727 HAS SOPS 35727 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15358.727
AT ITER 1184 NEW BEST:: SOT 63641 SOS 35603 HAS SOPS 35603 HAS SOUS 15220 HAS SOUPS 15220 WITH SCORE 15255.603
AT ITER 1190 NEW BEST:: SOT 63641 SOS 35603 HAS SOPS 35603 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15219.603
AT ITER 1195 NEW BEST:: SOT 63641 SOS 35615 HAS SOPS 35615 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15213.615
AT ITER 1196 NEW BEST:: SOT 63566 SOS 35520 HAS SOPS 35520 HAS SOUS 15129 HAS SOUPS 15129 WITH SCORE 15164.52
AT ITER 1204 NEW BEST:: SOT 63566 SOS 35520 HAS SOPS 35520 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15139.52
AT ITER 1208 NEW BEST:: SOT 63574 SOS 35528 HAS SOPS 35528 HAS SOUS 15084 HAS SOUPS 15084 WITH SCORE 15119.528
AT ITER 1226 NEW BEST:: SOT 63574 SOS 35518 HAS SOPS 35518 HAS SOUS 15074 HAS SOUPS 15074 WITH SCORE 15109.518
AT ITER 1243 NEW BEST:: SOT 63558 SOS 35532 HAS SOPS 35532 HAS SOUS 15064 HAS SOUPS 15064 WITH SCORE 15099.532
AT ITER 1246 NEW BEST:: SOT 63538 SOS 35448 HAS SOPS 35448 HAS SOUS 15036 HAS SOUPS 15036 WITH SCORE 15071.448
AT ITER 1247 NEW BEST:: SOT 63477 SOS 35358 HAS SOPS 35358 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 15010.358
AT ITER 1253 NEW BEST:: SOT 63551 SOS 35432 HAS SOPS 35432 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14963.432
AT ITER 1255 NEW BEST:: SOT 63569 SOS 35468 HAS SOPS 35468 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14905.468
AT ITER 1257 NEW BEST:: SOT 63545 SOS 35438 HAS SOPS 35438 HAS SOUS 14864 HAS SOUPS 14864 WITH SCORE 14899.438
AT ITER 1266 NEW BEST:: SOT 63545 SOS 35438 HAS SOPS 35438 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14895.438
AT ITER 1278 NEW BEST:: SOT 63422 SOS 35258 HAS SOPS 35258 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14784.258
AT ITER 1288 NEW BEST:: SOT 63377 SOS 35136 HAS SOPS 35136 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14733.136
AT ITER 1297 NEW BEST:: SOT 63300 SOS 35059 HAS SOPS 35059 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14674.059
AT ITER 1310 NEW BEST:: SOT 63263 SOS 35022 HAS SOPS 35022 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14674.022
AT ITER 1323 NEW BEST:: SOT 63256 SOS 35015 HAS SOPS 35015 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14674.015
AT ITER 1325 NEW BEST:: SOT 63252 SOS 35015 HAS SOPS 35015 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14666.015
AT ITER 1334 NEW BEST:: SOT 63248 SOS 35015 HAS SOPS 35015 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14658.015
AT ITER 1335 NEW BEST:: SOT 63215 SOS 35069 HAS SOPS 35069 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14626.069
AT ITER 1337 NEW BEST:: SOT 63203 SOS 35057 HAS SOPS 35057 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14614.057
AT ITER 1343 NEW BEST:: SOT 63275 SOS 35022 HAS SOPS 35022 HAS SOUS 14529 HAS SOUPS 14529 WITH SCORE 14564.022
AT ITER 1352 NEW BEST:: SOT 63229 SOS 34894 HAS SOPS 34894 HAS SOUS 14526 HAS SOUPS 14526 WITH SCORE 14560.894
AT ITER 1359 NEW BEST:: SOT 63200 SOS 34876 HAS SOPS 34876 HAS SOUS 14517 HAS SOUPS 14517 WITH SCORE 14551.876
AT ITER 1368 NEW BEST:: SOT 63200 SOS 34879 HAS SOPS 34879 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14550.879
AT ITER 1370 NEW BEST:: SOT 63175 SOS 34667 HAS SOPS 34667 HAS SOUS 14431 HAS SOUPS 14431 WITH SCORE 14465.667
AT ITER 1374 NEW BEST:: SOT 63172 SOS 34661 HAS SOPS 34661 HAS SOUS 14428 HAS SOUPS 14428 WITH SCORE 14462.661
AT ITER 1382 NEW BEST:: SOT 63157 SOS 34630 HAS SOPS 34630 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14305.63
AT ITER 1386 NEW BEST:: SOT 63157 SOS 34630 HAS SOPS 34630 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14298.63
AT ITER 1391 NEW BEST:: SOT 63118 SOS 34576 HAS SOPS 34576 HAS SOUS 14262 HAS SOUPS 14262 WITH SCORE 14296.576
AT ITER 1395 NEW BEST:: SOT 63115 SOS 34570 HAS SOPS 34570 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14287.57
AT ITER 1400 NEW BEST:: SOT 63115 SOS 34570 HAS SOPS 34570 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14278.57
AT ITER 1405 NEW BEST:: SOT 63101 SOS 34556 HAS SOPS 34556 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14260.556
AT ITER 1408 NEW BEST:: SOT 63101 SOS 34556 HAS SOPS 34556 HAS SOUS 14213 HAS SOUPS 14213 WITH SCORE 14247.556
AT ITER 1411 NEW BEST:: SOT 62852 SOS 34261 HAS SOPS 34261 HAS SOUS 14187 HAS SOUPS 14187 WITH SCORE 14221.261
AT ITER 1412 NEW BEST:: SOT 62830 SOS 34255 HAS SOPS 34255 HAS SOUS 14156 HAS SOUPS 14156 WITH SCORE 14190.255
AT ITER 1416 NEW BEST:: SOT 62727 SOS 34179 HAS SOPS 34179 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14089.179
AT ITER 1426 NEW BEST:: SOT 62713 SOS 34165 HAS SOPS 34165 HAS SOUS 14041 HAS SOUPS 14041 WITH SCORE 14075.165
AT ITER 1431 NEW BEST:: SOT 62738 SOS 34190 HAS SOPS 34190 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14051.19
AT ITER 1438 NEW BEST:: SOT 62738 SOS 34190 HAS SOPS 34190 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14045.19
AT ITER 1459 NEW BEST:: SOT 62708 SOS 34360 HAS SOPS 34360 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14015.36
AT ITER 1460 NEW BEST:: SOT 62729 SOS 34402 HAS SOPS 34402 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 14007.402
AT ITER 1466 NEW BEST:: SOT 62653 SOS 34326 HAS SOPS 34326 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13910.326
AT ITER 1473 NEW BEST:: SOT 62635 SOS 34308 HAS SOPS 34308 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13898.308
AT ITER 1478 NEW BEST:: SOT 62554 SOS 34196 HAS SOPS 34196 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13815.196
AT ITER 1480 NEW BEST:: SOT 62592 SOS 34234 HAS SOPS 34234 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13808.234
AT ITER 1484 NEW BEST:: SOT 62583 SOS 34244 HAS SOPS 34244 HAS SOUS 13765 HAS SOUPS 13765 WITH SCORE 13799.244
AT ITER 1489 NEW BEST:: SOT 62587 SOS 34241 HAS SOPS 34241 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13774.241
AT ITER 1494 NEW BEST:: SOT 62299 SOS 33870 HAS SOPS 33870 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13630.87
AT ITER 1495 NEW BEST:: SOT 62261 SOS 33732 HAS SOPS 33732 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13592.732
AT ITER 1502 NEW BEST:: SOT 62261 SOS 33724 HAS SOPS 33724 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13586.724
AT ITER 1505 NEW BEST:: SOT 62307 SOS 33391 HAS SOPS 33391 HAS SOUS 13543 HAS SOUPS 13543 WITH SCORE 13576.391
AT ITER 1529 NEW BEST:: SOT 62303 SOS 33383 HAS SOPS 33383 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13572.383
AT ITER 1574 NEW BEST:: SOT 62308 SOS 33346 HAS SOPS 33346 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13565.346
AT ITER 1576 NEW BEST:: SOT 62308 SOS 33346 HAS SOPS 33346 HAS SOUS 13528 HAS SOUPS 13528 WITH SCORE 13561.346
AT ITER 1583 NEW BEST:: SOT 62306 SOS 33340 HAS SOPS 33340 HAS SOUS 13526 HAS SOUPS 13526 WITH SCORE 13559.34
AT ITER 1589 NEW BEST:: SOT 62306 SOS 33340 HAS SOPS 33340 HAS SOUS 13514 HAS SOUPS 13514 WITH SCORE 13547.34
AT ITER 1593 NEW BEST:: SOT 62283 SOS 33304 HAS SOPS 33304 HAS SOUS 13371 HAS SOUPS 13371 WITH SCORE 13404.304
AT ITER 1611 NEW BEST:: SOT 62263 SOS 33284 HAS SOPS 33284 HAS SOUS 13346 HAS SOUPS 13346 WITH SCORE 13379.284
AT ITER 1618 NEW BEST:: SOT 62251 SOS 33262 HAS SOPS 33262 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13335.262
AT ITER 1625 NEW BEST:: SOT 62215 SOS 33226 HAS SOPS 33226 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13319.226
AT ITER 1626 NEW BEST:: SOT 62183 SOS 33184 HAS SOPS 33184 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13267.184
AT ITER 1630 NEW BEST:: SOT 62183 SOS 33168 HAS SOPS 33168 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13267.168
AT ITER 1635 NEW BEST:: SOT 62176 SOS 33154 HAS SOPS 33154 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13232.154
AT ITER 1637 NEW BEST:: SOT 62171 SOS 33090 HAS SOPS 33090 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13227.09
AT ITER 1641 NEW BEST:: SOT 62171 SOS 33086 HAS SOPS 33086 HAS SOUS 13190 HAS SOUPS 13190 WITH SCORE 13223.086
AT ITER 1666 NEW BEST:: SOT 62171 SOS 33086 HAS SOPS 33086 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13202.086
AT ITER 1669 NEW BEST:: SOT 62168 SOS 33081 HAS SOPS 33081 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13198.081
AT ITER 1697 NEW BEST:: SOT 62176 SOS 33069 HAS SOPS 33069 HAS SOUS 13153 HAS SOUPS 13153 WITH SCORE 13186.069
AT ITER 1700 NEW BEST:: SOT 62206 SOS 33099 HAS SOPS 33099 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13172.099
AT ITER 1702 NEW BEST:: SOT 62186 SOS 33054 HAS SOPS 33054 HAS SOUS 13119 HAS SOUPS 13119 WITH SCORE 13152.054
AT ITER 1704 NEW BEST:: SOT 62152 SOS 33020 HAS SOPS 33020 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13143.02
AT ITER 1709 NEW BEST:: SOT 62126 SOS 33004 HAS SOPS 33004 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13143.004
AT ITER 1726 NEW BEST:: SOT 62072 SOS 32939 HAS SOPS 32939 HAS SOUS 13087 HAS SOUPS 13087 WITH SCORE 13119.939
AT ITER 1727 NEW BEST:: SOT 62078 SOS 32945 HAS SOPS 32945 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13071.945
AT ITER 1733 NEW BEST:: SOT 62071 SOS 32934 HAS SOPS 32934 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13055.934
AT ITER 1737 NEW BEST:: SOT 62061 SOS 33064 HAS SOPS 33064 HAS SOUS 13017 HAS SOUPS 13017 WITH SCORE 13050.064
AT ITER 1747 NEW BEST:: SOT 62007 SOS 32922 HAS SOPS 32922 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13039.922
AT ITER 1750 NEW BEST:: SOT 62005 SOS 32824 HAS SOPS 32824 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13033.824
AT ITER 1752 NEW BEST:: SOT 61988 SOS 32807 HAS SOPS 32807 HAS SOUS 12993 HAS SOUPS 12993 WITH SCORE 13025.807
AT ITER 1755 NEW BEST:: SOT 61971 SOS 32790 HAS SOPS 32790 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13023.79
AT ITER 1772 NEW BEST:: SOT 61854 SOS 32634 HAS SOPS 32634 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12906.634
AT ITER 1780 NEW BEST:: SOT 61853 SOS 32841 HAS SOPS 32841 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12895.841
AT ITER 1802 NEW BEST:: SOT 61847 SOS 32803 HAS SOPS 32803 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12882.803
AT ITER 1804 NEW BEST:: SOT 61875 SOS 32789 HAS SOPS 32789 HAS SOUS 12850 HAS SOUPS 12850 WITH SCORE 12882.789
AT ITER 1809 NEW BEST:: SOT 61893 SOS 32807 HAS SOPS 32807 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12855.807
AT ITER 1810 NEW BEST:: SOT 61991 SOS 32905 HAS SOPS 32905 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12819.905
AT ITER 1816 NEW BEST:: SOT 61991 SOS 32816 HAS SOPS 32816 HAS SOUS 12780 HAS SOUPS 12780 WITH SCORE 12812.816
AT ITER 1818 NEW BEST:: SOT 61951 SOS 32776 HAS SOPS 32776 HAS SOUS 12768 HAS SOUPS 12768 WITH SCORE 12800.776
AT ITER 1827 NEW BEST:: SOT 62060 SOS 32862 HAS SOPS 32862 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12764.862
AT ITER 1838 NEW BEST:: SOT 62091 SOS 32893 HAS SOPS 32893 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12732.893
AT ITER 1841 NEW BEST:: SOT 62063 SOS 32879 HAS SOPS 32879 HAS SOUS 12673 HAS SOUPS 12673 WITH SCORE 12705.879
AT ITER 1864 NEW BEST:: SOT 62058 SOS 32869 HAS SOPS 32869 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12695.869
AT ITER 1868 NEW BEST:: SOT 62062 SOS 33074 HAS SOPS 33074 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12669.074
AT ITER 1869 NEW BEST:: SOT 62065 SOS 33056 HAS SOPS 33056 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12628.056
AT ITER 1875 NEW BEST:: SOT 61958 SOS 32864 HAS SOPS 32864 HAS SOUS 12550 HAS SOUPS 12550 WITH SCORE 12582.864
AT ITER 1888 NEW BEST:: SOT 61951 SOS 32838 HAS SOPS 32838 HAS SOUS 12543 HAS SOUPS 12543 WITH SCORE 12575.838
AT ITER 1890 NEW BEST:: SOT 61923 SOS 32783 HAS SOPS 32783 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12502.783
AT ITER 1891 NEW BEST:: SOT 61650 SOS 32510 HAS SOPS 32510 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12330.51
AT ITER 1892 NEW BEST:: SOT 61632 SOS 32486 HAS SOPS 32486 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12312.486
AT ITER 1894 NEW BEST:: SOT 61632 SOS 32483 HAS SOPS 32483 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12312.483
AT ITER 1917 NEW BEST:: SOT 61622 SOS 32435 HAS SOPS 32435 HAS SOUS 12270 HAS SOUPS 12270 WITH SCORE 12302.435
AT ITER 1918 NEW BEST:: SOT 61606 SOS 32389 HAS SOPS 32389 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12270.389
AT ITER 1923 NEW BEST:: SOT 61468 SOS 32251 HAS SOPS 32251 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12202.251
AT ITER 1947 NEW BEST:: SOT 61468 SOS 32233 HAS SOPS 32233 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12202.233
AT ITER 1959 NEW BEST:: SOT 61458 SOS 32295 HAS SOPS 32295 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12192.295
AT ITER 1964 NEW BEST:: SOT 61470 SOS 32315 HAS SOPS 32315 HAS SOUS 12155 HAS SOUPS 12155 WITH SCORE 12187.315
AT ITER 1984 NEW BEST:: SOT 61461 SOS 32312 HAS SOPS 32312 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12184.312
AT ITER 1990 NEW BEST:: SOT 61457 SOS 32312 HAS SOPS 32312 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12178.312
AT ITER 1992 NEW BEST:: SOT 61418 SOS 32260 HAS SOPS 32260 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12126.26
AT ITER 1993 NEW BEST:: SOT 61438 SOS 32280 HAS SOPS 32280 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12066.28
AT ITER 2003 NEW BEST:: SOT 61411 SOS 32244 HAS SOPS 32244 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12039.244
AT ITER 2009 NEW BEST:: SOT 61411 SOS 32244 HAS SOPS 32244 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12027.244
AT ITER 2016 NEW BEST:: SOT 61398 SOS 32270 HAS SOPS 32270 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12024.27
AT ITER 2021 NEW BEST:: SOT 61395 SOS 32266 HAS SOPS 32266 HAS SOUS 11989 HAS SOUPS 11989 WITH SCORE 12021.266
AT ITER 2025 NEW BEST:: SOT 61383 SOS 32254 HAS SOPS 32254 HAS SOUS 11989 HAS SOUPS 11989 WITH SCORE 12021.254
AT ITER 2032 NEW BEST:: SOT 61326 SOS 32428 HAS SOPS 32428 HAS SOUS 11932 HAS SOUPS 11932 WITH SCORE 11964.428
AT ITER 2035 NEW BEST:: SOT 61328 SOS 32430 HAS SOPS 32430 HAS SOUS 11913 HAS SOUPS 11913 WITH SCORE 11945.43
AT ITER 2052 NEW BEST:: SOT 61339 SOS 32441 HAS SOPS 32441 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11942.441
AT ITER 2067 NEW BEST:: SOT 61324 SOS 31849 HAS SOPS 31849 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11910.849
AT ITER 2071 NEW BEST:: SOT 61297 SOS 31813 HAS SOPS 31813 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11880.813
AT ITER 2077 NEW BEST:: SOT 61292 SOS 31798 HAS SOPS 31798 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11880.798
AT ITER 2088 NEW BEST:: SOT 61290 SOS 31792 HAS SOPS 31792 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11876.792
AT ITER 2109 NEW BEST:: SOT 61270 SOS 31772 HAS SOPS 31772 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11856.772
AT ITER 2111 NEW BEST:: SOT 61270 SOS 31533 HAS SOPS 31533 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11856.533
AT ITER 2118 NEW BEST:: SOT 61286 SOS 31549 HAS SOPS 31549 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11825.549
AT ITER 2119 NEW BEST:: SOT 61275 SOS 31538 HAS SOPS 31538 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11803.538
AT ITER 2129 NEW BEST:: SOT 61274 SOS 31534 HAS SOPS 31534 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11802.534
AT ITER 2137 NEW BEST:: SOT 61167 SOS 31195 HAS SOPS 31195 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11743.195
AT ITER 2143 NEW BEST:: SOT 61183 SOS 31211 HAS SOPS 31211 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11729.211
AT ITER 2147 NEW BEST:: SOT 61178 SOS 31205 HAS SOPS 31205 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11724.205
AT ITER 2159 NEW BEST:: SOT 61157 SOS 31184 HAS SOPS 31184 HAS SOUS 11693 HAS SOUPS 11693 WITH SCORE 11724.184
AT ITER 2166 NEW BEST:: SOT 61158 SOS 31042 HAS SOPS 31042 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11678.042
AT ITER 2183 NEW BEST:: SOT 61158 SOS 31042 HAS SOPS 31042 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11677.042
AT ITER 2189 NEW BEST:: SOT 61132 SOS 31016 HAS SOPS 31016 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11651.016
AT ITER 2212 NEW BEST:: SOT 61132 SOS 31003 HAS SOPS 31003 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11651.003
AT ITER 2215 NEW BEST:: SOT 61083 SOS 30922 HAS SOPS 30922 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11599.922
AT ITER 2218 NEW BEST:: SOT 61071 SOS 30930 HAS SOPS 30930 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11591.93
AT ITER 2221 NEW BEST:: SOT 61026 SOS 30800 HAS SOPS 30800 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11546.8
AT ITER 2230 NEW BEST:: SOT 60894 SOS 30732 HAS SOPS 30732 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11472.732
AT ITER 2252 NEW BEST:: SOT 60888 SOS 30726 HAS SOPS 30726 HAS SOUS 11438 HAS SOUPS 11438 WITH SCORE 11468.726
AT ITER 2263 NEW BEST:: SOT 60877 SOS 30710 HAS SOPS 30710 HAS SOUS 11427 HAS SOUPS 11427 WITH SCORE 11457.71
AT ITER 2264 NEW BEST:: SOT 60872 SOS 30733 HAS SOPS 30733 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11441.733
AT ITER 2279 NEW BEST:: SOT 60808 SOS 30669 HAS SOPS 30669 HAS SOUS 11403 HAS SOUPS 11403 WITH SCORE 11433.669
AT ITER 2283 NEW BEST:: SOT 60808 SOS 30661 HAS SOPS 30661 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11431.661
AT ITER 2285 NEW BEST:: SOT 60817 SOS 30637 HAS SOPS 30637 HAS SOUS 11394 HAS SOUPS 11394 WITH SCORE 11424.637
AT ITER 2301 NEW BEST:: SOT 60810 SOS 30623 HAS SOPS 30623 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11410.623
AT ITER 2313 NEW BEST:: SOT 60810 SOS 30623 HAS SOPS 30623 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11405.623
AT ITER 2314 NEW BEST:: SOT 60812 SOS 30619 HAS SOPS 30619 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11403.619
AT ITER 2336 NEW BEST:: SOT 60748 SOS 30555 HAS SOPS 30555 HAS SOUS 11341 HAS SOUPS 11341 WITH SCORE 11371.555
AT ITER 2342 NEW BEST:: SOT 60687 SOS 30406 HAS SOPS 30406 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11285.406
AT ITER 2344 NEW BEST:: SOT 60669 SOS 30388 HAS SOPS 30388 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11279.388
AT ITER 2351 NEW BEST:: SOT 60641 SOS 30360 HAS SOPS 30360 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11273.36
AT ITER 2355 NEW BEST:: SOT 60692 SOS 30183 HAS SOPS 30183 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11267.183
AT ITER 2363 NEW BEST:: SOT 60691 SOS 30039 HAS SOPS 30039 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11266.039
AT ITER 2366 NEW BEST:: SOT 60687 SOS 30031 HAS SOPS 30031 HAS SOUS 11228 HAS SOUPS 11228 WITH SCORE 11258.031
AT ITER 2379 NEW BEST:: SOT 60667 SOS 29990 HAS SOPS 29990 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11232.99
AT ITER 2410 NEW BEST:: SOT 60664 SOS 30029 HAS SOPS 30029 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11209.029
AT ITER 2417 NEW BEST:: SOT 60652 SOS 30017 HAS SOPS 30017 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11190.017
AT ITER 2418 NEW BEST:: SOT 60642 SOS 29892 HAS SOPS 29892 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11179.892
AT ITER 2441 NEW BEST:: SOT 60624 SOS 29822 HAS SOPS 29822 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11150.822
AT ITER 2445 NEW BEST:: SOT 60596 SOS 29860 HAS SOPS 29860 HAS SOUS 11093 HAS SOUPS 11093 WITH SCORE 11122.86
AT ITER 2465 NEW BEST:: SOT 60576 SOS 29884 HAS SOPS 29884 HAS SOUS 11049 HAS SOUPS 11049 WITH SCORE 11078.884
AT ITER 2490 NEW BEST:: SOT 60564 SOS 29872 HAS SOPS 29872 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11066.872
AT ITER 2510 NEW BEST:: SOT 60570 SOS 29890 HAS SOPS 29890 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11023.89
AT ITER 2521 NEW BEST:: SOT 60521 SOS 29836 HAS SOPS 29836 HAS SOUS 10980 HAS SOUPS 10980 WITH SCORE 11009.836
AT ITER 2525 NEW BEST:: SOT 60456 SOS 29752 HAS SOPS 29752 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10971.752
AT ITER 2546 NEW BEST:: SOT 60446 SOS 29732 HAS SOPS 29732 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10971.732
AT ITER 2572 NEW BEST:: SOT 60442 SOS 29728 HAS SOPS 29728 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10967.728
AT ITER 2592 NEW BEST:: SOT 60436 SOS 29716 HAS SOPS 29716 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10955.716
AT ITER 2594 NEW BEST:: SOT 60434 SOS 29714 HAS SOPS 29714 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10940.714
AT ITER 2601 NEW BEST:: SOT 60429 SOS 29693 HAS SOPS 29693 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10934.693
AT ITER 2606 NEW BEST:: SOT 60415 SOS 29651 HAS SOPS 29651 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10906.651
AT ITER 2608 NEW BEST:: SOT 60438 SOS 29673 HAS SOPS 29673 HAS SOUS 10853 HAS SOUPS 10853 WITH SCORE 10882.673
AT ITER 2626 NEW BEST:: SOT 60424 SOS 29641 HAS SOPS 29641 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10869.641
AT ITER 2664 NEW BEST:: SOT 60417 SOS 29662 HAS SOPS 29662 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10862.662
AT ITER 2666 NEW BEST:: SOT 60370 SOS 29666 HAS SOPS 29666 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10820.666
AT ITER 2689 NEW BEST:: SOT 60352 SOS 29681 HAS SOPS 29681 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10801.681
AT ITER 2690 NEW BEST:: SOT 60345 SOS 29743 HAS SOPS 29743 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10787.743
AT ITER 2714 NEW BEST:: SOT 60345 SOS 29743 HAS SOPS 29743 HAS SOUS 10725 HAS SOUPS 10725 WITH SCORE 10754.743
AT ITER 2739 NEW BEST:: SOT 60344 SOS 29741 HAS SOPS 29741 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10753.741
AT ITER 2761 NEW BEST:: SOT 60329 SOS 29719 HAS SOPS 29719 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10738.719
AT ITER 2778 NEW BEST:: SOT 60265 SOS 29649 HAS SOPS 29649 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10729.649
AT ITER 2782 NEW BEST:: SOT 60272 SOS 29574 HAS SOPS 29574 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10713.574
AT ITER 2807 NEW BEST:: SOT 60269 SOS 29594 HAS SOPS 29594 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10702.594
AT ITER 2814 NEW BEST:: SOT 60243 SOS 29454 HAS SOPS 29454 HAS SOUS 10642 HAS SOUPS 10642 WITH SCORE 10671.454
AT ITER 2848 NEW BEST:: SOT 60243 SOS 29315 HAS SOPS 29315 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10618.315
AT ITER 2849 NEW BEST:: SOT 60237 SOS 29323 HAS SOPS 29323 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10605.323
AT ITER 2852 NEW BEST:: SOT 60237 SOS 29268 HAS SOPS 29268 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10600.268
AT ITER 2890 NEW BEST:: SOT 60234 SOS 29264 HAS SOPS 29264 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10597.264
AT ITER 2900 NEW BEST:: SOT 60238 SOS 29268 HAS SOPS 29268 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10593.268
AT ITER 2905 NEW BEST:: SOT 60361 SOS 29265 HAS SOPS 29265 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10590.265
AT ITER 2908 NEW BEST:: SOT 60363 SOS 29259 HAS SOPS 29259 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10578.259
AT ITER 2929 NEW BEST:: SOT 60352 SOS 29234 HAS SOPS 29234 HAS SOUS 10528 HAS SOUPS 10528 WITH SCORE 10557.234
AT ITER 2959 NEW BEST:: SOT 60342 SOS 29227 HAS SOPS 29227 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10556.227
AT ITER 2987 NEW BEST:: SOT 60329 SOS 29211 HAS SOPS 29211 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10515.211
AT ITER 2988 NEW BEST:: SOT 60323 SOS 29199 HAS SOPS 29199 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10499.199
AT ITER 2996 NEW BEST:: SOT 60316 SOS 29171 HAS SOPS 29171 HAS SOUS 10461 HAS SOUPS 10461 WITH SCORE 10490.171
AT ITER 3017 NEW BEST:: SOT 60256 SOS 29066 HAS SOPS 29066 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10473.066
AT ITER 3026 NEW BEST:: SOT 60246 SOS 29056 HAS SOPS 29056 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10454.056
AT ITER 3039 NEW BEST:: SOT 60294 SOS 29090 HAS SOPS 29090 HAS SOUS 10412 HAS SOUPS 10412 WITH SCORE 10441.09
AT ITER 3064 NEW BEST:: SOT 60375 SOS 29175 HAS SOPS 29175 HAS SOUS 10380 HAS SOUPS 10380 WITH SCORE 10409.175
AT ITER 3069 NEW BEST:: SOT 60367 SOS 29171 HAS SOPS 29171 HAS SOUS 10372 HAS SOUPS 10372 WITH SCORE 10401.171
AT ITER 3118 NEW BEST:: SOT 60379 SOS 29183 HAS SOPS 29183 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10394.183
AT ITER 3119 NEW BEST:: SOT 60380 SOS 29195 HAS SOPS 29195 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10386.195
AT ITER 3151 NEW BEST:: SOT 60374 SOS 29189 HAS SOPS 29189 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10386.189
AT ITER 3154 NEW BEST:: SOT 60372 SOS 29155 HAS SOPS 29155 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10380.155
AT ITER 3178 NEW BEST:: SOT 60372 SOS 29092 HAS SOPS 29092 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10359.092
AT ITER 3181 NEW BEST:: SOT 60361 SOS 29132 HAS SOPS 29132 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10337.132
AT ITER 3182 NEW BEST:: SOT 60333 SOS 29096 HAS SOPS 29096 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10267.096
AT ITER 3207 NEW BEST:: SOT 60344 SOS 29108 HAS SOPS 29108 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10233.108
AT ITER 3209 NEW BEST:: SOT 60319 SOS 29082 HAS SOPS 29082 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10232.082
AT ITER 3222 NEW BEST:: SOT 60263 SOS 28798 HAS SOPS 28798 HAS SOUS 10135 HAS SOUPS 10135 WITH SCORE 10163.798
AT ITER 3223 NEW BEST:: SOT 60258 SOS 28772 HAS SOPS 28772 HAS SOUS 10104 HAS SOUPS 10104 WITH SCORE 10132.772
AT ITER 3231 NEW BEST:: SOT 60275 SOS 28789 HAS SOPS 28789 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10115.789
AT ITER 3245 NEW BEST:: SOT 60275 SOS 28787 HAS SOPS 28787 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10113.787
AT ITER 3267 NEW BEST:: SOT 60212 SOS 28643 HAS SOPS 28643 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10044.643
AT ITER 3289 NEW BEST:: SOT 60212 SOS 28643 HAS SOPS 28643 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10039.643
AT ITER 3304 NEW BEST:: SOT 60202 SOS 28622 HAS SOPS 28622 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9967.622
AT ITER 3337 NEW BEST:: SOT 60203 SOS 28635 HAS SOPS 28635 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9963.635
AT ITER 3342 NEW BEST:: SOT 60176 SOS 28582 HAS SOPS 28582 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9949.582
AT ITER 3351 NEW BEST:: SOT 60115 SOS 28502 HAS SOPS 28502 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9867.502
AT ITER 3353 NEW BEST:: SOT 60111 SOS 28490 HAS SOPS 28490 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9855.49
AT ITER 3355 NEW BEST:: SOT 60111 SOS 28490 HAS SOPS 28490 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9852.49
AT ITER 3356 NEW BEST:: SOT 60212 SOS 28592 HAS SOPS 28592 HAS SOUS 9781 HAS SOUPS 9781 WITH SCORE 9809.592
AT ITER 3380 NEW BEST:: SOT 60219 SOS 28679 HAS SOPS 28679 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9806.679
AT ITER 3438 NEW BEST:: SOT 60201 SOS 28589 HAS SOPS 28589 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9783.589
AT ITER 3441 NEW BEST:: SOT 60177 SOS 28553 HAS SOPS 28553 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9765.553
AT ITER 3444 NEW BEST:: SOT 60176 SOS 28555 HAS SOPS 28555 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9742.555
AT ITER 3446 NEW BEST:: SOT 60126 SOS 28494 HAS SOPS 28494 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9725.494
AT ITER 3455 NEW BEST:: SOT 60121 SOS 28469 HAS SOPS 28469 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9710.469
AT ITER 3469 NEW BEST:: SOT 60121 SOS 28511 HAS SOPS 28511 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9687.511
AT ITER 3477 NEW BEST:: SOT 60119 SOS 28510 HAS SOPS 28510 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9684.51
AT ITER 3480 NEW BEST:: SOT 60113 SOS 28504 HAS SOPS 28504 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9678.504
AT ITER 3523 NEW BEST:: SOT 60119 SOS 28461 HAS SOPS 28461 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9673.461
AT ITER 3527 NEW BEST:: SOT 60117 SOS 28457 HAS SOPS 28457 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9671.457
AT ITER 3554 NEW BEST:: SOT 60099 SOS 28403 HAS SOPS 28403 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9653.403
AT ITER 3558 NEW BEST:: SOT 60067 SOS 28366 HAS SOPS 28366 HAS SOUS 9606 HAS SOUPS 9606 WITH SCORE 9634.366
AT ITER 3568 NEW BEST:: SOT 60045 SOS 28328 HAS SOPS 28328 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9618.328
AT ITER 3586 NEW BEST:: SOT 60035 SOS 28304 HAS SOPS 28304 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9601.304
AT ITER 3622 NEW BEST:: SOT 60035 SOS 28304 HAS SOPS 28304 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9596.304
AT ITER 3658 NEW BEST:: SOT 60029 SOS 28292 HAS SOPS 28292 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9578.292
AT ITER 3669 NEW BEST:: SOT 60025 SOS 28288 HAS SOPS 28288 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9577.288
AT ITER 3681 NEW BEST:: SOT 59986 SOS 28223 HAS SOPS 28223 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9549.223
AT ITER 3705 NEW BEST:: SOT 59983 SOS 28214 HAS SOPS 28214 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9546.214
AT ITER 3710 NEW BEST:: SOT 59974 SOS 28190 HAS SOPS 28190 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9518.19
AT ITER 3748 NEW BEST:: SOT 59956 SOS 28162 HAS SOPS 28162 HAS SOUS 9468 HAS SOUPS 9468 WITH SCORE 9496.162
AT ITER 3776 NEW BEST:: SOT 59948 SOS 28142 HAS SOPS 28142 HAS SOUS 9460 HAS SOUPS 9460 WITH SCORE 9488.142
AT ITER 3779 NEW BEST:: SOT 59951 SOS 28145 HAS SOPS 28145 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9480.145
AT ITER 3791 NEW BEST:: SOT 59901 SOS 28103 HAS SOPS 28103 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9470.103
AT ITER 3795 NEW BEST:: SOT 59887 SOS 27994 HAS SOPS 27994 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9437.994
AT ITER 3798 NEW BEST:: SOT 59887 SOS 27978 HAS SOPS 27978 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9437.978
AT ITER 3810 NEW BEST:: SOT 59839 SOS 28170 HAS SOPS 28170 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9408.17
AT ITER 3812 NEW BEST:: SOT 59837 SOS 28168 HAS SOPS 28168 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9396.168
AT ITER 3816 NEW BEST:: SOT 59837 SOS 28173 HAS SOPS 28173 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9395.173
AT ITER 3854 NEW BEST:: SOT 59833 SOS 28169 HAS SOPS 28169 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9391.169
AT ITER 3857 NEW BEST:: SOT 59781 SOS 28039 HAS SOPS 28039 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9339.039
AT ITER 3867 NEW BEST:: SOT 59894 SOS 28066 HAS SOPS 28066 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9301.066
AT ITER 3875 NEW BEST:: SOT 59886 SOS 28046 HAS SOPS 28046 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9290.046
AT ITER 3884 NEW BEST:: SOT 59883 SOS 28025 HAS SOPS 28025 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9283.025
AT ITER 3897 NEW BEST:: SOT 59860 SOS 27958 HAS SOPS 27958 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9270.958
AT ITER 3898 NEW BEST:: SOT 59867 SOS 27965 HAS SOPS 27965 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9263.965
AT ITER 3928 NEW BEST:: SOT 59844 SOS 27956 HAS SOPS 27956 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9252.956
AT ITER 3955 NEW BEST:: SOT 59841 SOS 27959 HAS SOPS 27959 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9246.959
AT ITER 3963 NEW BEST:: SOT 59845 SOS 27927 HAS SOPS 27927 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9240.927
AT ITER 3987 NEW BEST:: SOT 59825 SOS 27844 HAS SOPS 27844 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9207.844
AT ITER 4009 NEW BEST:: SOT 59803 SOS 27789 HAS SOPS 27789 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9163.789
AT ITER 4027 NEW BEST:: SOT 59782 SOS 27755 HAS SOPS 27755 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9142.755
AT ITER 4030 NEW BEST:: SOT 59651 SOS 28855 HAS SOPS 28855 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9113.855
AT ITER 4066 NEW BEST:: SOT 59651 SOS 28849 HAS SOPS 28849 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9110.849
AT ITER 4073 NEW BEST:: SOT 59631 SOS 28829 HAS SOPS 28829 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9110.829
AT ITER 4078 NEW BEST:: SOT 59623 SOS 28859 HAS SOPS 28859 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9099.859
AT ITER 4080 NEW BEST:: SOT 59609 SOS 28817 HAS SOPS 28817 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9099.817
AT ITER 4087 NEW BEST:: SOT 59597 SOS 28805 HAS SOPS 28805 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9094.805
AT ITER 4093 NEW BEST:: SOT 59573 SOS 28745 HAS SOPS 28745 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9058.745
AT ITER 4150 NEW BEST:: SOT 59571 SOS 28741 HAS SOPS 28741 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9058.741
AT ITER 4157 NEW BEST:: SOT 59571 SOS 28731 HAS SOPS 28731 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9058.731
AT ITER 4192 NEW BEST:: SOT 59563 SOS 28723 HAS SOPS 28723 HAS SOUS 9015 HAS SOUPS 9015 WITH SCORE 9043.723
AT ITER 4200 NEW BEST:: SOT 59559 SOS 28711 HAS SOPS 28711 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9034.711
AT ITER 4208 NEW BEST:: SOT 59547 SOS 28696 HAS SOPS 28696 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9028.696
AT ITER 4209 NEW BEST:: SOT 59509 SOS 28626 HAS SOPS 28626 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8990.626
AT ITER 4255 NEW BEST:: SOT 59566 SOS 28744 HAS SOPS 28744 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8986.744
AT ITER 4267 NEW BEST:: SOT 59566 SOS 28744 HAS SOPS 28744 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8980.744
AT ITER 4280 NEW BEST:: SOT 59560 SOS 28732 HAS SOPS 28732 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8970.732
AT ITER 4307 NEW BEST:: SOT 59552 SOS 28714 HAS SOPS 28714 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8961.714
AT ITER 4309 NEW BEST:: SOT 59544 SOS 28712 HAS SOPS 28712 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8953.712
AT ITER 4355 NEW BEST:: SOT 59546 SOS 28714 HAS SOPS 28714 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8947.714
AT ITER 4394 NEW BEST:: SOT 59526 SOS 28694 HAS SOPS 28694 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8942.694
AT ITER 4395 NEW BEST:: SOT 59522 SOS 28692 HAS SOPS 28692 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8938.692
AT ITER 4422 NEW BEST:: SOT 59516 SOS 28682 HAS SOPS 28682 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8938.682
AT ITER 4446 NEW BEST:: SOT 59482 SOS 28536 HAS SOPS 28536 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8907.536
AT ITER 4468 NEW BEST:: SOT 59482 SOS 28519 HAS SOPS 28519 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8905.519
AT ITER 4497 NEW BEST:: SOT 59466 SOS 28495 HAS SOPS 28495 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8873.495
AT ITER 4531 NEW BEST:: SOT 59465 SOS 28473 HAS SOPS 28473 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8872.473
AT ITER 4614 NEW BEST:: SOT 59465 SOS 28268 HAS SOPS 28268 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8862.268
AT ITER 4627 NEW BEST:: SOT 59459 SOS 28262 HAS SOPS 28262 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8856.262
AT ITER 4638 NEW BEST:: SOT 59336 SOS 28102 HAS SOPS 28102 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8763.102
AT ITER 4705 NEW BEST:: SOT 59330 SOS 28094 HAS SOPS 28094 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8763.094
AT ITER 4710 NEW BEST:: SOT 59285 SOS 28039 HAS SOPS 28039 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8686.039
AT ITER 4725 NEW BEST:: SOT 59290 SOS 28055 HAS SOPS 28055 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8680.055
AT ITER 4783 NEW BEST:: SOT 59319 SOS 28140 HAS SOPS 28140 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8629.14
AT ITER 4798 NEW BEST:: SOT 59315 SOS 28140 HAS SOPS 28140 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8621.14
AT ITER 4803 NEW BEST:: SOT 59315 SOS 28132 HAS SOPS 28132 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8621.132
AT ITER 4843 NEW BEST:: SOT 59307 SOS 28047 HAS SOPS 28047 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8614.047
AT ITER 4893 NEW BEST:: SOT 59296 SOS 28032 HAS SOPS 28032 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8595.032
AT ITER 4905 NEW BEST:: SOT 59281 SOS 28001 HAS SOPS 28001 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8587.001
AT ITER 4925 NEW BEST:: SOT 59261 SOS 27984 HAS SOPS 27984 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8578.984
AT ITER 4927 NEW BEST:: SOT 59242 SOS 27970 HAS SOPS 27970 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8573.97
AT ITER 4933 NEW BEST:: SOT 59234 SOS 27954 HAS SOPS 27954 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8565.954
AT ITER 4959 NEW BEST:: SOT 59222 SOS 27966 HAS SOPS 27966 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8553.966
AT ITER 4974 NEW BEST:: SOT 59213 SOS 27966 HAS SOPS 27966 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8535.966
AT ITER 5016 NEW BEST:: SOT 59205 SOS 27958 HAS SOPS 27958 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8527.958
AT ITER 5031 NEW BEST:: SOT 59203 SOS 27955 HAS SOPS 27955 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8524.955
AT ITER 5069 NEW BEST:: SOT 59201 SOS 27953 HAS SOPS 27953 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8518.953
AT ITER 5096 NEW BEST:: SOT 59195 SOS 27937 HAS SOPS 27937 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8510.937
AT ITER 5100 NEW BEST:: SOT 59180 SOS 27909 HAS SOPS 27909 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8495.909
AT ITER 5161 NEW BEST:: SOT 59204 SOS 27949 HAS SOPS 27949 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8487.949
AT ITER 5165 NEW BEST:: SOT 59204 SOS 27937 HAS SOPS 27937 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8481.937
AT ITER 5178 NEW BEST:: SOT 59180 SOS 27903 HAS SOPS 27903 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8466.903
AT ITER 5184 NEW BEST:: SOT 59174 SOS 27897 HAS SOPS 27897 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8452.897
AT ITER 5228 NEW BEST:: SOT 59184 SOS 27895 HAS SOPS 27895 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8448.895
AT ITER 5239 NEW BEST:: SOT 59212 SOS 27910 HAS SOPS 27910 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8374.91
AT ITER 5248 NEW BEST:: SOT 59212 SOS 27925 HAS SOPS 27925 HAS SOUS 8342 HAS SOUPS 8342 WITH SCORE 8369.925
AT ITER 5249 NEW BEST:: SOT 59210 SOS 27924 HAS SOPS 27924 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8366.924
AT ITER 5281 NEW BEST:: SOT 59216 SOS 27918 HAS SOPS 27918 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8357.918
AT ITER 5295 NEW BEST:: SOT 59180 SOS 27877 HAS SOPS 27877 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8356.877
AT ITER 5308 NEW BEST:: SOT 59180 SOS 27877 HAS SOPS 27877 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8346.877
AT ITER 5320 NEW BEST:: SOT 59180 SOS 27904 HAS SOPS 27904 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8337.904
AT ITER 5324 NEW BEST:: SOT 59176 SOS 27898 HAS SOPS 27898 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8332.898
AT ITER 5349 NEW BEST:: SOT 59148 SOS 27908 HAS SOPS 27908 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8325.908
AT ITER 5355 NEW BEST:: SOT 59083 SOS 27861 HAS SOPS 27861 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8280.861
AT ITER 5368 NEW BEST:: SOT 59083 SOS 27862 HAS SOPS 27862 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8279.862
AT ITER 5409 NEW BEST:: SOT 59101 SOS 27880 HAS SOPS 27880 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8261.88
AT ITER 5446 NEW BEST:: SOT 59098 SOS 27892 HAS SOPS 27892 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8252.892
AT ITER 5488 NEW BEST:: SOT 59095 SOS 27889 HAS SOPS 27889 HAS SOUS 8221 HAS SOUPS 8221 WITH SCORE 8248.889
AT ITER 5489 NEW BEST:: SOT 59077 SOS 27871 HAS SOPS 27871 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8217.871
AT ITER 5522 NEW BEST:: SOT 59072 SOS 27851 HAS SOPS 27851 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8202.851
AT ITER 5579 NEW BEST:: SOT 59101 SOS 27857 HAS SOPS 27857 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8129.857
AT ITER 5652 NEW BEST:: SOT 59075 SOS 27828 HAS SOPS 27828 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8107.828
AT ITER 5656 NEW BEST:: SOT 59061 SOS 27820 HAS SOPS 27820 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8102.82
AT ITER 5667 NEW BEST:: SOT 59061 SOS 27820 HAS SOPS 27820 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8097.82
AT ITER 5670 NEW BEST:: SOT 59043 SOS 27815 HAS SOPS 27815 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8070.815
AT ITER 5689 NEW BEST:: SOT 59015 SOS 27773 HAS SOPS 27773 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8062.773
AT ITER 5696 NEW BEST:: SOT 59009 SOS 27777 HAS SOPS 27777 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8053.777
AT ITER 5699 NEW BEST:: SOT 59002 SOS 27811 HAS SOPS 27811 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8045.811
AT ITER 5730 NEW BEST:: SOT 58980 SOS 27771 HAS SOPS 27771 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8023.771
AT ITER 5756 NEW BEST:: SOT 58965 SOS 27741 HAS SOPS 27741 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8023.741
AT ITER 5783 NEW BEST:: SOT 58945 SOS 27701 HAS SOPS 27701 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 8000.701
AT ITER 5785 NEW BEST:: SOT 58945 SOS 27701 HAS SOPS 27701 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7994.701
AT ITER 5806 NEW BEST:: SOT 58944 SOS 27699 HAS SOPS 27699 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7992.699
AT ITER 5829 NEW BEST:: SOT 58941 SOS 27684 HAS SOPS 27684 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7989.684
AT ITER 5925 NEW BEST:: SOT 58940 SOS 27686 HAS SOPS 27686 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7988.686
AT ITER 5968 NEW BEST:: SOT 58939 SOS 27682 HAS SOPS 27682 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7985.682
AT ITER 6003 NEW BEST:: SOT 58942 SOS 27665 HAS SOPS 27665 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7984.665
AT ITER 6004 NEW BEST:: SOT 58943 SOS 27666 HAS SOPS 27666 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7983.666
AT ITER 6144 NEW BEST:: SOT 58851 SOS 27478 HAS SOPS 27478 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7903.478
AT ITER 6164 NEW BEST:: SOT 58853 SOS 27480 HAS SOPS 27480 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7901.48
AT ITER 6317 NEW BEST:: SOT 58853 SOS 27480 HAS SOPS 27480 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7900.48
AT ITER 6320 NEW BEST:: SOT 58835 SOS 27517 HAS SOPS 27517 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7891.517
AT ITER 6332 NEW BEST:: SOT 58833 SOS 27515 HAS SOPS 27515 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7891.515
AT ITER 6349 NEW BEST:: SOT 58829 SOS 27473 HAS SOPS 27473 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7879.473
AT ITER 6366 NEW BEST:: SOT 58792 SOS 27443 HAS SOPS 27443 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7842.443
AT ITER 6370 NEW BEST:: SOT 58790 SOS 27431 HAS SOPS 27431 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7826.431
AT ITER 6396 NEW BEST:: SOT 58788 SOS 27431 HAS SOPS 27431 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7824.431
AT ITER 6416 NEW BEST:: SOT 58784 SOS 27415 HAS SOPS 27415 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7816.415
AT ITER 6450 NEW BEST:: SOT 58792 SOS 27423 HAS SOPS 27423 HAS SOUS 7781 HAS SOUPS 7781 WITH SCORE 7808.423
AT ITER 6480 NEW BEST:: SOT 58792 SOS 27415 HAS SOPS 27415 HAS SOUS 7781 HAS SOUPS 7781 WITH SCORE 7808.415
AT ITER 6514 NEW BEST:: SOT 58792 SOS 27415 HAS SOPS 27415 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7807.415
AT ITER 6541 NEW BEST:: SOT 58790 SOS 27405 HAS SOPS 27405 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7801.405
AT ITER 6590 NEW BEST:: SOT 58789 SOS 27402 HAS SOPS 27402 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7800.402
AT ITER 6592 NEW BEST:: SOT 58781 SOS 27376 HAS SOPS 27376 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7796.376
AT ITER 6630 NEW BEST:: SOT 58780 SOS 27372 HAS SOPS 27372 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7794.372
AT ITER 6671 NEW BEST:: SOT 58790 SOS 27404 HAS SOPS 27404 HAS SOUS 7765 HAS SOUPS 7765 WITH SCORE 7792.404
AT ITER 6709 NEW BEST:: SOT 58696 SOS 27298 HAS SOPS 27298 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7772.298
AT ITER 6769 NEW BEST:: SOT 58706 SOS 27334 HAS SOPS 27334 HAS SOUS 7739 HAS SOUPS 7739 WITH SCORE 7766.334
AT ITER 6800 NEW BEST:: SOT 58705 SOS 27330 HAS SOPS 27330 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7764.33
AT ITER 6845 NEW BEST:: SOT 58708 SOS 27318 HAS SOPS 27318 HAS SOUS 7732 HAS SOUPS 7732 WITH SCORE 7759.318
AT ITER 6863 NEW BEST:: SOT 58704 SOS 27314 HAS SOPS 27314 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7753.314
AT ITER 6870 NEW BEST:: SOT 58704 SOS 27314 HAS SOPS 27314 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7752.314
AT ITER 6899 NEW BEST:: SOT 58701 SOS 27311 HAS SOPS 27311 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7749.311
AT ITER 6942 NEW BEST:: SOT 58669 SOS 27253 HAS SOPS 27253 HAS SOUS 7685 HAS SOUPS 7685 WITH SCORE 7712.253
AT ITER 7038 NEW BEST:: SOT 58669 SOS 27256 HAS SOPS 27256 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7711.256
AT ITER 7043 NEW BEST:: SOT 58669 SOS 27268 HAS SOPS 27268 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7709.268
AT ITER 7076 NEW BEST:: SOT 58614 SOS 27215 HAS SOPS 27215 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7681.215
AT ITER 7078 NEW BEST:: SOT 58614 SOS 27210 HAS SOPS 27210 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7680.21
AT ITER 7104 NEW BEST:: SOT 58614 SOS 27225 HAS SOPS 27225 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7675.225
AT ITER 7127 NEW BEST:: SOT 58604 SOS 27237 HAS SOPS 27237 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7673.237
AT ITER 7164 NEW BEST:: SOT 58596 SOS 27229 HAS SOPS 27229 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7642.229
AT ITER 7195 NEW BEST:: SOT 58568 SOS 27125 HAS SOPS 27125 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7620.125
AT ITER 7212 NEW BEST:: SOT 58564 SOS 27117 HAS SOPS 27117 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7616.117
AT ITER 7266 NEW BEST:: SOT 58576 SOS 27097 HAS SOPS 27097 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7603.097
AT ITER 7368 NEW BEST:: SOT 58570 SOS 27071 HAS SOPS 27071 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7593.071
AT ITER 7401 NEW BEST:: SOT 58550 SOS 27051 HAS SOPS 27051 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7585.051
AT ITER 7421 NEW BEST:: SOT 58547 SOS 27026 HAS SOPS 27026 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7583.026
AT ITER 7440 NEW BEST:: SOT 58535 SOS 27017 HAS SOPS 27017 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7580.017
AT ITER 7525 NEW BEST:: SOT 58529 SOS 27037 HAS SOPS 27037 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7572.037
AT ITER 7659 NEW BEST:: SOT 58539 SOS 27034 HAS SOPS 27034 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7569.034
AT ITER 7747 NEW BEST:: SOT 58529 SOS 27026 HAS SOPS 27026 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7569.026
AT ITER 7761 NEW BEST:: SOT 58522 SOS 26968 HAS SOPS 26968 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7561.968
AT ITER 7765 NEW BEST:: SOT 58522 SOS 26968 HAS SOPS 26968 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7555.968
AT ITER 7768 NEW BEST:: SOT 58522 SOS 26950 HAS SOPS 26950 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7545.95
AT ITER 7788 NEW BEST:: SOT 58516 SOS 26950 HAS SOPS 26950 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7541.95
AT ITER 7804 NEW BEST:: SOT 58471 SOS 26892 HAS SOPS 26892 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7488.892
AT ITER 7841 NEW BEST:: SOT 58445 SOS 26858 HAS SOPS 26858 HAS SOUS 7406 HAS SOUPS 7406 WITH SCORE 7432.858
AT ITER 7866 NEW BEST:: SOT 58445 SOS 26873 HAS SOPS 26873 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7417.873
AT ITER 7952 NEW BEST:: SOT 58433 SOS 26867 HAS SOPS 26867 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7411.867
AT ITER 7988 NEW BEST:: SOT 58433 SOS 26867 HAS SOPS 26867 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7410.867
AT ITER 7992 NEW BEST:: SOT 58422 SOS 26856 HAS SOPS 26856 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7408.856
AT ITER 8080 NEW BEST:: SOT 58408 SOS 26846 HAS SOPS 26846 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7385.846
AT ITER 8150 NEW BEST:: SOT 58342 SOS 26956 HAS SOPS 26956 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7351.956
AT ITER 8176 NEW BEST:: SOT 58338 SOS 26943 HAS SOPS 26943 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7347.943
AT ITER 8228 NEW BEST:: SOT 58340 SOS 26945 HAS SOPS 26945 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7341.945
AT ITER 8290 NEW BEST:: SOT 58312 SOS 26918 HAS SOPS 26918 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7330.918
AT ITER 8314 NEW BEST:: SOT 58298 SOS 26904 HAS SOPS 26904 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7321.904
AT ITER 8396 NEW BEST:: SOT 58297 SOS 26902 HAS SOPS 26902 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7319.902
AT ITER 8421 NEW BEST:: SOT 58285 SOS 26890 HAS SOPS 26890 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7316.89
AT ITER 8422 NEW BEST:: SOT 58292 SOS 26858 HAS SOPS 26858 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7314.858
AT ITER 8468 NEW BEST:: SOT 58292 SOS 26857 HAS SOPS 26857 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7314.857
AT ITER 8539 NEW BEST:: SOT 58287 SOS 26847 HAS SOPS 26847 HAS SOUS 7283 HAS SOUPS 7283 WITH SCORE 7309.847
AT ITER 8651 NEW BEST:: SOT 58287 SOS 26843 HAS SOPS 26843 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7308.843
AT ITER 8710 NEW BEST:: SOT 58282 SOS 26819 HAS SOPS 26819 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7293.819
AT ITER 8742 NEW BEST:: SOT 58278 SOS 26799 HAS SOPS 26799 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7289.799
AT ITER 8766 NEW BEST:: SOT 58270 SOS 26791 HAS SOPS 26791 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7287.791
AT ITER 8770 NEW BEST:: SOT 58258 SOS 26774 HAS SOPS 26774 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7280.774
AT ITER 8873 NEW BEST:: SOT 58248 SOS 26762 HAS SOPS 26762 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7270.762
AT ITER 8916 NEW BEST:: SOT 58246 SOS 26757 HAS SOPS 26757 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7270.757
AT ITER 8922 NEW BEST:: SOT 58246 SOS 26751 HAS SOPS 26751 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7270.751
AT ITER 8997 NEW BEST:: SOT 58244 SOS 26749 HAS SOPS 26749 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7269.749
AT ITER 9010 NEW BEST:: SOT 58254 SOS 26761 HAS SOPS 26761 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7267.761
AT ITER 9020 NEW BEST:: SOT 58214 SOS 26679 HAS SOPS 26679 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7231.679
AT ITER 9050 NEW BEST:: SOT 58231 SOS 26695 HAS SOPS 26695 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7224.695
AT ITER 9060 NEW BEST:: SOT 58224 SOS 26641 HAS SOPS 26641 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7207.641
AT ITER 9064 NEW BEST:: SOT 58220 SOS 26879 HAS SOPS 26879 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7197.879
AT ITER 9079 NEW BEST:: SOT 58149 SOS 26818 HAS SOPS 26818 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7182.818
AT ITER 9130 NEW BEST:: SOT 58141 SOS 26807 HAS SOPS 26807 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7177.807
AT ITER 9133 NEW BEST:: SOT 58133 SOS 26803 HAS SOPS 26803 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7169.803
AT ITER 9190 NEW BEST:: SOT 58133 SOS 26761 HAS SOPS 26761 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7151.761
AT ITER 9302 NEW BEST:: SOT 58104 SOS 26732 HAS SOPS 26732 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7151.732
AT ITER 9382 NEW BEST:: SOT 58114 SOS 26710 HAS SOPS 26710 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7150.71
AT ITER 9450 NEW BEST:: SOT 58104 SOS 26788 HAS SOPS 26788 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7148.788
AT ITER 9478 NEW BEST:: SOT 58082 SOS 26813 HAS SOPS 26813 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7134.813
AT ITER 9512 NEW BEST:: SOT 58081 SOS 26811 HAS SOPS 26811 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7133.811
AT ITER 9523 NEW BEST:: SOT 58067 SOS 26773 HAS SOPS 26773 HAS SOUS 7093 HAS SOUPS 7093 WITH SCORE 7119.773
AT ITER 9533 NEW BEST:: SOT 58083 SOS 26761 HAS SOPS 26761 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7118.761
AT ITER 9571 NEW BEST:: SOT 58077 SOS 26761 HAS SOPS 26761 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7106.761
AT ITER 9949 NEW BEST:: SOT 58074 SOS 26771 HAS SOPS 26771 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7104.771
AT ITER 9997 NEW BEST:: SOT 58050 SOS 26747 HAS SOPS 26747 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7094.747

BK_STOP 1679195705031

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-PT-Z4T4N06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is UtilityControlRoom-PT-Z4T4N06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696701208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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