Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 3.5K May 14 03:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 03:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 158K May 13 21:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 558K May 13 21:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 93K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 329K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 142K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 504K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K May 13 15:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 15:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 153K May 13 10:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 538K May 13 10:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.3K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 186K May 12 20:42 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 1590470180917

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN07
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 490 places, 343 transitions, 1372 arcs.
AT ITER 0 NEW BEST:: SOT 124888 SOS 64147 HAS SOPS 64147 HAS SOUS 64147 HAS SOUPS 64147 WITH SCORE 64211.147
AT ITER 7 NEW BEST:: SOT 124744 SOS 64003 HAS SOPS 64003 HAS SOUS 64003 HAS SOUPS 64003 WITH SCORE 64067.003
AT ITER 31 NEW BEST:: SOT 124765 SOS 63999 HAS SOPS 63999 HAS SOUS 63975 HAS SOUPS 63975 WITH SCORE 64038.999
AT ITER 38 NEW BEST:: SOT 124603 SOS 63837 HAS SOPS 63837 HAS SOUS 63813 HAS SOUPS 63813 WITH SCORE 63876.837
AT ITER 46 NEW BEST:: SOT 124324 SOS 63618 HAS SOPS 63618 HAS SOUS 63582 HAS SOUPS 63582 WITH SCORE 63645.618
AT ITER 63 NEW BEST:: SOT 124302 SOS 63599 HAS SOPS 63599 HAS SOUS 63563 HAS SOUPS 63563 WITH SCORE 63626.599
AT ITER 75 NEW BEST:: SOT 124302 SOS 63612 HAS SOPS 63612 HAS SOUS 63540 HAS SOUPS 63540 WITH SCORE 63603.612
AT ITER 79 NEW BEST:: SOT 124230 SOS 63540 HAS SOPS 63540 HAS SOUS 63468 HAS SOUPS 63468 WITH SCORE 63531.54
AT ITER 83 NEW BEST:: SOT 124105 SOS 63500 HAS SOPS 63500 HAS SOUS 63428 HAS SOUPS 63428 WITH SCORE 63491.5
AT ITER 92 NEW BEST:: SOT 124067 SOS 63518 HAS SOPS 63518 HAS SOUS 63390 HAS SOUPS 63390 WITH SCORE 63453.518
AT ITER 94 NEW BEST:: SOT 124043 SOS 63602 HAS SOPS 63602 HAS SOUS 63366 HAS SOUPS 63366 WITH SCORE 63429.602
AT ITER 98 NEW BEST:: SOT 124035 SOS 63594 HAS SOPS 63594 HAS SOUS 63358 HAS SOUPS 63358 WITH SCORE 63421.594
AT ITER 99 NEW BEST:: SOT 123846 SOS 63462 HAS SOPS 63462 HAS SOUS 63184 HAS SOUPS 63184 WITH SCORE 63247.462
AT ITER 106 NEW BEST:: SOT 123557 SOS 64188 HAS SOPS 64188 HAS SOUS 62989 HAS SOUPS 62989 WITH SCORE 63053.188
AT ITER 107 NEW BEST:: SOT 123409 SOS 64067 HAS SOPS 64067 HAS SOUS 62868 HAS SOUPS 62868 WITH SCORE 62932.067
AT ITER 117 NEW BEST:: SOT 123380 SOS 64038 HAS SOPS 64038 HAS SOUS 62839 HAS SOUPS 62839 WITH SCORE 62903.038
AT ITER 127 NEW BEST:: SOT 123335 SOS 63993 HAS SOPS 63993 HAS SOUS 62794 HAS SOUPS 62794 WITH SCORE 62857.993
AT ITER 128 NEW BEST:: SOT 123412 SOS 63890 HAS SOPS 63890 HAS SOUS 62759 HAS SOUPS 62759 WITH SCORE 62822.89
AT ITER 131 NEW BEST:: SOT 123329 SOS 64275 HAS SOPS 64275 HAS SOUS 62719 HAS SOUPS 62719 WITH SCORE 62783.275
AT ITER 138 NEW BEST:: SOT 123283 SOS 64229 HAS SOPS 64229 HAS SOUS 62673 HAS SOUPS 62673 WITH SCORE 62737.229
AT ITER 146 NEW BEST:: SOT 123114 SOS 64208 HAS SOPS 64208 HAS SOUS 62577 HAS SOUPS 62577 WITH SCORE 62641.208
AT ITER 148 NEW BEST:: SOT 123063 SOS 64219 HAS SOPS 64219 HAS SOUS 62575 HAS SOUPS 62575 WITH SCORE 62639.219
AT ITER 149 NEW BEST:: SOT 123063 SOS 64166 HAS SOPS 64166 HAS SOUS 62575 HAS SOUPS 62575 WITH SCORE 62639.166
AT ITER 152 NEW BEST:: SOT 123054 SOS 64157 HAS SOPS 64157 HAS SOUS 62566 HAS SOUPS 62566 WITH SCORE 62630.157
AT ITER 154 NEW BEST:: SOT 123054 SOS 64041 HAS SOPS 64041 HAS SOUS 62566 HAS SOUPS 62566 WITH SCORE 62630.041
AT ITER 166 NEW BEST:: SOT 122812 SOS 64139 HAS SOPS 64139 HAS SOUS 62426 HAS SOUPS 62426 WITH SCORE 62490.139
AT ITER 169 NEW BEST:: SOT 122690 SOS 64017 HAS SOPS 64017 HAS SOUS 62304 HAS SOUPS 62304 WITH SCORE 62368.017
AT ITER 176 NEW BEST:: SOT 122690 SOS 64011 HAS SOPS 64011 HAS SOUS 62304 HAS SOUPS 62304 WITH SCORE 62368.011
AT ITER 179 NEW BEST:: SOT 122537 SOS 63899 HAS SOPS 63899 HAS SOUS 62192 HAS SOUPS 62192 WITH SCORE 62255.899
AT ITER 187 NEW BEST:: SOT 122537 SOS 63899 HAS SOPS 63899 HAS SOUS 62187 HAS SOUPS 62187 WITH SCORE 62250.899
AT ITER 196 NEW BEST:: SOT 122374 SOS 63801 HAS SOPS 63801 HAS SOUS 62071 HAS SOUPS 62071 WITH SCORE 62134.801
AT ITER 199 NEW BEST:: SOT 122263 SOS 63802 HAS SOPS 63802 HAS SOUS 62027 HAS SOUPS 62027 WITH SCORE 62090.802
AT ITER 204 NEW BEST:: SOT 122241 SOS 63780 HAS SOPS 63780 HAS SOUS 62005 HAS SOUPS 62005 WITH SCORE 62068.78
AT ITER 205 NEW BEST:: SOT 122066 SOS 63699 HAS SOPS 63699 HAS SOUS 61870 HAS SOUPS 61870 WITH SCORE 61933.699
AT ITER 206 NEW BEST:: SOT 122066 SOS 63646 HAS SOPS 63646 HAS SOUS 61870 HAS SOUPS 61870 WITH SCORE 61933.646
AT ITER 211 NEW BEST:: SOT 122034 SOS 63574 HAS SOPS 63574 HAS SOUS 61797 HAS SOUPS 61797 WITH SCORE 61860.574
AT ITER 216 NEW BEST:: SOT 121829 SOS 63454 HAS SOPS 63454 HAS SOUS 61620 HAS SOUPS 61620 WITH SCORE 61683.454
AT ITER 217 NEW BEST:: SOT 121712 SOS 63766 HAS SOPS 63766 HAS SOUS 61551 HAS SOUPS 61551 WITH SCORE 61614.766
AT ITER 218 NEW BEST:: SOT 121712 SOS 63660 HAS SOPS 63660 HAS SOUS 61551 HAS SOUPS 61551 WITH SCORE 61614.66
AT ITER 220 NEW BEST:: SOT 121712 SOS 63651 HAS SOPS 63651 HAS SOUS 61551 HAS SOUPS 61551 WITH SCORE 61614.651
AT ITER 222 NEW BEST:: SOT 121747 SOS 63538 HAS SOPS 63538 HAS SOUS 61408 HAS SOUPS 61408 WITH SCORE 61471.538
AT ITER 227 NEW BEST:: SOT 121747 SOS 63533 HAS SOPS 63533 HAS SOUS 61408 HAS SOUPS 61408 WITH SCORE 61471.533
AT ITER 231 NEW BEST:: SOT 121641 SOS 64040 HAS SOPS 64040 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61415.04
AT ITER 236 NEW BEST:: SOT 121557 SOS 64202 HAS SOPS 64202 HAS SOUS 61281 HAS SOUPS 61281 WITH SCORE 61345.202
AT ITER 240 NEW BEST:: SOT 121557 SOS 64210 HAS SOPS 64210 HAS SOUS 61259 HAS SOUPS 61259 WITH SCORE 61323.21
AT ITER 244 NEW BEST:: SOT 121557 SOS 64185 HAS SOPS 64185 HAS SOUS 61259 HAS SOUPS 61259 WITH SCORE 61323.185
AT ITER 245 NEW BEST:: SOT 121515 SOS 64459 HAS SOPS 64459 HAS SOUS 61222 HAS SOUPS 61222 WITH SCORE 61286.459
AT ITER 252 NEW BEST:: SOT 121502 SOS 64446 HAS SOPS 64446 HAS SOUS 61209 HAS SOUPS 61209 WITH SCORE 61273.446
AT ITER 256 NEW BEST:: SOT 121502 SOS 64409 HAS SOPS 64409 HAS SOUS 61209 HAS SOUPS 61209 WITH SCORE 61273.409
AT ITER 260 NEW BEST:: SOT 121561 SOS 64320 HAS SOPS 64320 HAS SOUS 61160 HAS SOUPS 61160 WITH SCORE 61224.32
AT ITER 262 NEW BEST:: SOT 121389 SOS 64148 HAS SOPS 64148 HAS SOUS 60954 HAS SOUPS 60954 WITH SCORE 61018.148
AT ITER 265 NEW BEST:: SOT 121308 SOS 64067 HAS SOPS 64067 HAS SOUS 60939 HAS SOUPS 60939 WITH SCORE 61003.067
AT ITER 266 NEW BEST:: SOT 121340 SOS 64161 HAS SOPS 64161 HAS SOUS 60895 HAS SOUPS 60895 WITH SCORE 60959.161
AT ITER 273 NEW BEST:: SOT 121086 SOS 63966 HAS SOPS 63966 HAS SOUS 60759 HAS SOUPS 60759 WITH SCORE 60822.966
AT ITER 274 NEW BEST:: SOT 120933 SOS 64502 HAS SOPS 64502 HAS SOUS 60666 HAS SOUPS 60666 WITH SCORE 60730.502
AT ITER 301 NEW BEST:: SOT 120769 SOS 64387 HAS SOPS 64387 HAS SOUS 60509 HAS SOUPS 60509 WITH SCORE 60573.387
AT ITER 304 NEW BEST:: SOT 120622 SOS 64529 HAS SOPS 64529 HAS SOUS 60412 HAS SOUPS 60412 WITH SCORE 60476.529
AT ITER 312 NEW BEST:: SOT 120563 SOS 64470 HAS SOPS 64470 HAS SOUS 60305 HAS SOUPS 60305 WITH SCORE 60369.47
AT ITER 317 NEW BEST:: SOT 120480 SOS 64447 HAS SOPS 64447 HAS SOUS 60240 HAS SOUPS 60240 WITH SCORE 60304.447
AT ITER 327 NEW BEST:: SOT 120480 SOS 64446 HAS SOPS 64446 HAS SOUS 60239 HAS SOUPS 60239 WITH SCORE 60303.446
AT ITER 334 NEW BEST:: SOT 120480 SOS 64434 HAS SOPS 64434 HAS SOUS 60239 HAS SOUPS 60239 WITH SCORE 60303.434
AT ITER 338 NEW BEST:: SOT 120173 SOS 64235 HAS SOPS 64235 HAS SOUS 59979 HAS SOUPS 59979 WITH SCORE 60043.235
AT ITER 339 NEW BEST:: SOT 120173 SOS 64214 HAS SOPS 64214 HAS SOUS 59958 HAS SOUPS 59958 WITH SCORE 60022.214
AT ITER 348 NEW BEST:: SOT 120124 SOS 64592 HAS SOPS 64592 HAS SOUS 59909 HAS SOUPS 59909 WITH SCORE 59973.592
AT ITER 351 NEW BEST:: SOT 120124 SOS 64563 HAS SOPS 64563 HAS SOUS 59909 HAS SOUPS 59909 WITH SCORE 59973.563
AT ITER 356 NEW BEST:: SOT 120066 SOS 64505 HAS SOPS 64505 HAS SOUS 59893 HAS SOUPS 59893 WITH SCORE 59957.505
AT ITER 357 NEW BEST:: SOT 120057 SOS 64490 HAS SOPS 64490 HAS SOUS 59881 HAS SOUPS 59881 WITH SCORE 59945.49
AT ITER 358 NEW BEST:: SOT 120057 SOS 64435 HAS SOPS 64435 HAS SOUS 59881 HAS SOUPS 59881 WITH SCORE 59945.435
AT ITER 368 NEW BEST:: SOT 120150 SOS 64478 HAS SOPS 64478 HAS SOUS 59878 HAS SOUPS 59878 WITH SCORE 59942.478
AT ITER 374 NEW BEST:: SOT 120150 SOS 64400 HAS SOPS 64400 HAS SOUS 59829 HAS SOUPS 59829 WITH SCORE 59893.4
AT ITER 377 NEW BEST:: SOT 120150 SOS 64254 HAS SOPS 64254 HAS SOUS 59829 HAS SOUPS 59829 WITH SCORE 59893.254
AT ITER 388 NEW BEST:: SOT 120139 SOS 64243 HAS SOPS 64243 HAS SOUS 59818 HAS SOUPS 59818 WITH SCORE 59882.243
AT ITER 390 NEW BEST:: SOT 120139 SOS 64088 HAS SOPS 64088 HAS SOUS 59818 HAS SOUPS 59818 WITH SCORE 59882.088
AT ITER 415 NEW BEST:: SOT 120139 SOS 64056 HAS SOPS 64056 HAS SOUS 59818 HAS SOUPS 59818 WITH SCORE 59882.056
AT ITER 418 NEW BEST:: SOT 120068 SOS 64439 HAS SOPS 64439 HAS SOUS 59790 HAS SOUPS 59790 WITH SCORE 59854.439
AT ITER 427 NEW BEST:: SOT 119958 SOS 64399 HAS SOPS 64399 HAS SOUS 59727 HAS SOUPS 59727 WITH SCORE 59791.399
AT ITER 430 NEW BEST:: SOT 119921 SOS 64466 HAS SOPS 64466 HAS SOUS 59701 HAS SOUPS 59701 WITH SCORE 59765.466
AT ITER 437 NEW BEST:: SOT 119921 SOS 64456 HAS SOPS 64456 HAS SOUS 59701 HAS SOUPS 59701 WITH SCORE 59765.456
AT ITER 447 NEW BEST:: SOT 119594 SOS 64586 HAS SOPS 64586 HAS SOUS 59670 HAS SOUPS 59670 WITH SCORE 59734.586
AT ITER 468 NEW BEST:: SOT 119594 SOS 64384 HAS SOPS 64384 HAS SOUS 59455 HAS SOUPS 59455 WITH SCORE 59519.384
AT ITER 471 NEW BEST:: SOT 119513 SOS 64632 HAS SOPS 64632 HAS SOUS 59426 HAS SOUPS 59426 WITH SCORE 59490.632
AT ITER 472 NEW BEST:: SOT 119475 SOS 64608 HAS SOPS 64608 HAS SOUS 59402 HAS SOUPS 59402 WITH SCORE 59466.608
AT ITER 477 NEW BEST:: SOT 119475 SOS 64567 HAS SOPS 64567 HAS SOUS 59399 HAS SOUPS 59399 WITH SCORE 59463.567
AT ITER 478 NEW BEST:: SOT 119475 SOS 64496 HAS SOPS 64496 HAS SOUS 59324 HAS SOUPS 59324 WITH SCORE 59388.496
AT ITER 485 NEW BEST:: SOT 119475 SOS 64466 HAS SOPS 64466 HAS SOUS 59294 HAS SOUPS 59294 WITH SCORE 59358.466
AT ITER 490 NEW BEST:: SOT 119475 SOS 64553 HAS SOPS 64553 HAS SOUS 59280 HAS SOUPS 59280 WITH SCORE 59344.553
AT ITER 495 NEW BEST:: SOT 119349 SOS 64642 HAS SOPS 64642 HAS SOUS 59159 HAS SOUPS 59159 WITH SCORE 59223.642
AT ITER 500 NEW BEST:: SOT 119278 SOS 64764 HAS SOPS 64764 HAS SOUS 59137 HAS SOUPS 59137 WITH SCORE 59201.764
AT ITER 505 NEW BEST:: SOT 119261 SOS 64934 HAS SOPS 64934 HAS SOUS 59125 HAS SOUPS 59125 WITH SCORE 59189.934
AT ITER 512 NEW BEST:: SOT 119031 SOS 65097 HAS SOPS 65097 HAS SOUS 59072 HAS SOUPS 59072 WITH SCORE 59137.097
AT ITER 522 NEW BEST:: SOT 118930 SOS 65222 HAS SOPS 65222 HAS SOUS 59009 HAS SOUPS 59009 WITH SCORE 59074.222
AT ITER 529 NEW BEST:: SOT 118911 SOS 65203 HAS SOPS 65203 HAS SOUS 58990 HAS SOUPS 58990 WITH SCORE 59055.203
AT ITER 533 NEW BEST:: SOT 118889 SOS 65051 HAS SOPS 65051 HAS SOUS 58990 HAS SOUPS 58990 WITH SCORE 59055.051
AT ITER 547 NEW BEST:: SOT 118889 SOS 64994 HAS SOPS 64994 HAS SOUS 58990 HAS SOUPS 58990 WITH SCORE 59054.994
AT ITER 548 NEW BEST:: SOT 118871 SOS 64976 HAS SOPS 64976 HAS SOUS 58972 HAS SOUPS 58972 WITH SCORE 59036.976
AT ITER 560 NEW BEST:: SOT 118809 SOS 64914 HAS SOPS 64914 HAS SOUS 58964 HAS SOUPS 58964 WITH SCORE 59028.914
AT ITER 561 NEW BEST:: SOT 118719 SOS 65001 HAS SOPS 65001 HAS SOUS 58921 HAS SOUPS 58921 WITH SCORE 58986.001
AT ITER 565 NEW BEST:: SOT 118527 SOS 65191 HAS SOPS 65191 HAS SOUS 58818 HAS SOUPS 58818 WITH SCORE 58883.191
AT ITER 566 NEW BEST:: SOT 118531 SOS 65185 HAS SOPS 65185 HAS SOUS 58814 HAS SOUPS 58814 WITH SCORE 58879.185
AT ITER 568 NEW BEST:: SOT 118531 SOS 65145 HAS SOPS 65145 HAS SOUS 58794 HAS SOUPS 58794 WITH SCORE 58859.145
AT ITER 576 NEW BEST:: SOT 118512 SOS 65010 HAS SOPS 65010 HAS SOUS 58782 HAS SOUPS 58782 WITH SCORE 58847.01
AT ITER 583 NEW BEST:: SOT 118441 SOS 65495 HAS SOPS 65495 HAS SOUS 58727 HAS SOUPS 58727 WITH SCORE 58792.495
AT ITER 587 NEW BEST:: SOT 118402 SOS 66402 HAS SOPS 66402 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58788.402
AT ITER 595 NEW BEST:: SOT 118402 SOS 66397 HAS SOPS 66397 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58788.397
AT ITER 597 NEW BEST:: SOT 118329 SOS 66390 HAS SOPS 66390 HAS SOUS 58715 HAS SOUPS 58715 WITH SCORE 58781.39
AT ITER 598 NEW BEST:: SOT 118012 SOS 66130 HAS SOPS 66130 HAS SOUS 58425 HAS SOUPS 58425 WITH SCORE 58491.13
AT ITER 618 NEW BEST:: SOT 118012 SOS 66148 HAS SOPS 66148 HAS SOUS 58417 HAS SOUPS 58417 WITH SCORE 58483.148
AT ITER 626 NEW BEST:: SOT 117992 SOS 66132 HAS SOPS 66132 HAS SOUS 58401 HAS SOUPS 58401 WITH SCORE 58467.132
AT ITER 631 NEW BEST:: SOT 117962 SOS 66086 HAS SOPS 66086 HAS SOUS 58375 HAS SOUPS 58375 WITH SCORE 58441.086
AT ITER 634 NEW BEST:: SOT 117814 SOS 65969 HAS SOPS 65969 HAS SOUS 58251 HAS SOUPS 58251 WITH SCORE 58316.969
AT ITER 636 NEW BEST:: SOT 117681 SOS 65867 HAS SOPS 65867 HAS SOUS 58149 HAS SOUPS 58149 WITH SCORE 58214.867
AT ITER 643 NEW BEST:: SOT 117681 SOS 65855 HAS SOPS 65855 HAS SOUS 58149 HAS SOUPS 58149 WITH SCORE 58214.855
AT ITER 650 NEW BEST:: SOT 117554 SOS 65844 HAS SOPS 65844 HAS SOUS 58042 HAS SOUPS 58042 WITH SCORE 58107.844
AT ITER 662 NEW BEST:: SOT 117527 SOS 65840 HAS SOPS 65840 HAS SOUS 57996 HAS SOUPS 57996 WITH SCORE 58061.84
AT ITER 665 NEW BEST:: SOT 117527 SOS 65822 HAS SOPS 65822 HAS SOUS 57996 HAS SOUPS 57996 WITH SCORE 58061.822
AT ITER 678 NEW BEST:: SOT 117527 SOS 65822 HAS SOPS 65822 HAS SOUS 57979 HAS SOUPS 57979 WITH SCORE 58044.822
AT ITER 681 NEW BEST:: SOT 117527 SOS 65803 HAS SOPS 65803 HAS SOUS 57979 HAS SOUPS 57979 WITH SCORE 58044.803
AT ITER 686 NEW BEST:: SOT 117443 SOS 66430 HAS SOPS 66430 HAS SOUS 57968 HAS SOUPS 57968 WITH SCORE 58034.43
AT ITER 688 NEW BEST:: SOT 117257 SOS 66647 HAS SOPS 66647 HAS SOUS 57907 HAS SOUPS 57907 WITH SCORE 57973.647
AT ITER 693 NEW BEST:: SOT 117224 SOS 66634 HAS SOPS 66634 HAS SOUS 57894 HAS SOUPS 57894 WITH SCORE 57960.634
AT ITER 696 NEW BEST:: SOT 117224 SOS 66592 HAS SOPS 66592 HAS SOUS 57894 HAS SOUPS 57894 WITH SCORE 57960.592
AT ITER 700 NEW BEST:: SOT 117064 SOS 66528 HAS SOPS 66528 HAS SOUS 57767 HAS SOUPS 57767 WITH SCORE 57833.528
AT ITER 715 NEW BEST:: SOT 116941 SOS 66598 HAS SOPS 66598 HAS SOUS 57701 HAS SOUPS 57701 WITH SCORE 57767.598
AT ITER 726 NEW BEST:: SOT 116805 SOS 67322 HAS SOPS 67322 HAS SOUS 57685 HAS SOUPS 57685 WITH SCORE 57752.322
AT ITER 728 NEW BEST:: SOT 116745 SOS 67131 HAS SOPS 67131 HAS SOUS 57639 HAS SOUPS 57639 WITH SCORE 57706.131
AT ITER 729 NEW BEST:: SOT 116594 SOS 67014 HAS SOPS 67014 HAS SOUS 57522 HAS SOUPS 57522 WITH SCORE 57589.014
AT ITER 733 NEW BEST:: SOT 116658 SOS 67079 HAS SOPS 67079 HAS SOUS 57464 HAS SOUPS 57464 WITH SCORE 57531.079
AT ITER 742 NEW BEST:: SOT 116658 SOS 66971 HAS SOPS 66971 HAS SOUS 57462 HAS SOUPS 57462 WITH SCORE 57528.971
AT ITER 753 NEW BEST:: SOT 116658 SOS 66620 HAS SOPS 66620 HAS SOUS 57462 HAS SOUPS 57462 WITH SCORE 57528.62
AT ITER 757 NEW BEST:: SOT 116651 SOS 66613 HAS SOPS 66613 HAS SOUS 57455 HAS SOUPS 57455 WITH SCORE 57521.613
AT ITER 760 NEW BEST:: SOT 116651 SOS 66534 HAS SOPS 66534 HAS SOUS 57397 HAS SOUPS 57397 WITH SCORE 57463.534
AT ITER 763 NEW BEST:: SOT 116628 SOS 66490 HAS SOPS 66490 HAS SOUS 57353 HAS SOUPS 57353 WITH SCORE 57419.49
AT ITER 766 NEW BEST:: SOT 116628 SOS 66483 HAS SOPS 66483 HAS SOUS 57353 HAS SOUPS 57353 WITH SCORE 57419.483
AT ITER 768 NEW BEST:: SOT 116585 SOS 66398 HAS SOPS 66398 HAS SOUS 57251 HAS SOUPS 57251 WITH SCORE 57317.398
AT ITER 794 NEW BEST:: SOT 116585 SOS 65837 HAS SOPS 65837 HAS SOUS 57251 HAS SOUPS 57251 WITH SCORE 57316.837
AT ITER 807 NEW BEST:: SOT 116585 SOS 65182 HAS SOPS 65182 HAS SOUS 57197 HAS SOUPS 57197 WITH SCORE 57262.182
AT ITER 812 NEW BEST:: SOT 116585 SOS 65171 HAS SOPS 65171 HAS SOUS 57197 HAS SOUPS 57197 WITH SCORE 57262.171
AT ITER 813 NEW BEST:: SOT 116516 SOS 65102 HAS SOPS 65102 HAS SOUS 57128 HAS SOUPS 57128 WITH SCORE 57193.102
AT ITER 814 NEW BEST:: SOT 116516 SOS 65096 HAS SOPS 65096 HAS SOUS 57128 HAS SOUPS 57128 WITH SCORE 57193.096
AT ITER 820 NEW BEST:: SOT 116516 SOS 65004 HAS SOPS 65004 HAS SOUS 57128 HAS SOUPS 57128 WITH SCORE 57193.004
AT ITER 823 NEW BEST:: SOT 116641 SOS 64689 HAS SOPS 64689 HAS SOUS 57112 HAS SOUPS 57112 WITH SCORE 57176.689
AT ITER 828 NEW BEST:: SOT 116641 SOS 64689 HAS SOPS 64689 HAS SOUS 57098 HAS SOUPS 57098 WITH SCORE 57162.689
AT ITER 832 NEW BEST:: SOT 116689 SOS 64608 HAS SOPS 64608 HAS SOUS 57071 HAS SOUPS 57071 WITH SCORE 57135.608
AT ITER 846 NEW BEST:: SOT 116548 SOS 64680 HAS SOPS 64680 HAS SOUS 56959 HAS SOUPS 56959 WITH SCORE 57023.68
AT ITER 851 NEW BEST:: SOT 116380 SOS 64740 HAS SOPS 64740 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 57000.74
AT ITER 857 NEW BEST:: SOT 116380 SOS 64686 HAS SOPS 64686 HAS SOUS 56920 HAS SOUPS 56920 WITH SCORE 56984.686
AT ITER 896 NEW BEST:: SOT 116380 SOS 64674 HAS SOPS 64674 HAS SOUS 56915 HAS SOUPS 56915 WITH SCORE 56979.674
AT ITER 900 NEW BEST:: SOT 116380 SOS 64689 HAS SOPS 64689 HAS SOUS 56914 HAS SOUPS 56914 WITH SCORE 56978.689
AT ITER 911 NEW BEST:: SOT 116379 SOS 64640 HAS SOPS 64640 HAS SOUS 56910 HAS SOUPS 56910 WITH SCORE 56974.64
AT ITER 913 NEW BEST:: SOT 116150 SOS 65162 HAS SOPS 65162 HAS SOUS 56846 HAS SOUPS 56846 WITH SCORE 56911.162
AT ITER 927 NEW BEST:: SOT 116150 SOS 65162 HAS SOPS 65162 HAS SOUS 56812 HAS SOUPS 56812 WITH SCORE 56877.162
AT ITER 928 NEW BEST:: SOT 116071 SOS 65083 HAS SOPS 65083 HAS SOUS 56733 HAS SOUPS 56733 WITH SCORE 56798.083
AT ITER 938 NEW BEST:: SOT 116117 SOS 65022 HAS SOPS 65022 HAS SOUS 56676 HAS SOUPS 56676 WITH SCORE 56741.022
AT ITER 939 NEW BEST:: SOT 116117 SOS 65022 HAS SOPS 65022 HAS SOUS 56667 HAS SOUPS 56667 WITH SCORE 56732.022
AT ITER 941 NEW BEST:: SOT 116117 SOS 65011 HAS SOPS 65011 HAS SOUS 56667 HAS SOUPS 56667 WITH SCORE 56732.011
AT ITER 948 NEW BEST:: SOT 116115 SOS 65009 HAS SOPS 65009 HAS SOUS 56634 HAS SOUPS 56634 WITH SCORE 56699.009
AT ITER 963 NEW BEST:: SOT 115861 SOS 65506 HAS SOPS 65506 HAS SOUS 56594 HAS SOUPS 56594 WITH SCORE 56659.506
AT ITER 968 NEW BEST:: SOT 115844 SOS 65462 HAS SOPS 65462 HAS SOUS 56543 HAS SOUPS 56543 WITH SCORE 56608.462
AT ITER 988 NEW BEST:: SOT 115546 SOS 65347 HAS SOPS 65347 HAS SOUS 56506 HAS SOUPS 56506 WITH SCORE 56571.347
AT ITER 989 NEW BEST:: SOT 115516 SOS 65228 HAS SOPS 65228 HAS SOUS 56491 HAS SOUPS 56491 WITH SCORE 56556.228
AT ITER 1000 NEW BEST:: SOT 115516 SOS 65205 HAS SOPS 65205 HAS SOUS 56491 HAS SOUPS 56491 WITH SCORE 56556.205
AT ITER 1002 NEW BEST:: SOT 115512 SOS 65293 HAS SOPS 65293 HAS SOUS 56487 HAS SOUPS 56487 WITH SCORE 56552.293
AT ITER 1003 NEW BEST:: SOT 115512 SOS 65236 HAS SOPS 65236 HAS SOUS 56472 HAS SOUPS 56472 WITH SCORE 56537.236
AT ITER 1010 NEW BEST:: SOT 115473 SOS 65202 HAS SOPS 65202 HAS SOUS 56438 HAS SOUPS 56438 WITH SCORE 56503.202
AT ITER 1020 NEW BEST:: SOT 115473 SOS 65264 HAS SOPS 65264 HAS SOUS 56315 HAS SOUPS 56315 WITH SCORE 56380.264
AT ITER 1037 NEW BEST:: SOT 115440 SOS 65156 HAS SOPS 65156 HAS SOUS 56207 HAS SOUPS 56207 WITH SCORE 56272.156
AT ITER 1039 NEW BEST:: SOT 115432 SOS 65154 HAS SOPS 65154 HAS SOUS 56199 HAS SOUPS 56199 WITH SCORE 56264.154
AT ITER 1044 NEW BEST:: SOT 115432 SOS 65109 HAS SOPS 65109 HAS SOUS 56153 HAS SOUPS 56153 WITH SCORE 56218.109
AT ITER 1046 NEW BEST:: SOT 115432 SOS 64993 HAS SOPS 64993 HAS SOUS 56153 HAS SOUPS 56153 WITH SCORE 56217.993
AT ITER 1051 NEW BEST:: SOT 115412 SOS 64973 HAS SOPS 64973 HAS SOUS 56133 HAS SOUPS 56133 WITH SCORE 56197.973
AT ITER 1059 NEW BEST:: SOT 115273 SOS 65646 HAS SOPS 65646 HAS SOUS 56131 HAS SOUPS 56131 WITH SCORE 56196.646
AT ITER 1062 NEW BEST:: SOT 115253 SOS 65626 HAS SOPS 65626 HAS SOUS 56111 HAS SOUPS 56111 WITH SCORE 56176.626
AT ITER 1064 NEW BEST:: SOT 115210 SOS 65669 HAS SOPS 65669 HAS SOUS 56020 HAS SOUPS 56020 WITH SCORE 56085.669
AT ITER 1072 NEW BEST:: SOT 115164 SOS 65663 HAS SOPS 65663 HAS SOUS 56014 HAS SOUPS 56014 WITH SCORE 56079.663
AT ITER 1078 NEW BEST:: SOT 115164 SOS 65765 HAS SOPS 65765 HAS SOUS 56004 HAS SOUPS 56004 WITH SCORE 56069.765
AT ITER 1080 NEW BEST:: SOT 115164 SOS 65746 HAS SOPS 65746 HAS SOUS 56004 HAS SOUPS 56004 WITH SCORE 56069.746
AT ITER 1089 NEW BEST:: SOT 115237 SOS 65364 HAS SOPS 65364 HAS SOUS 55986 HAS SOUPS 55986 WITH SCORE 56051.364
AT ITER 1104 NEW BEST:: SOT 115174 SOS 65323 HAS SOPS 65323 HAS SOUS 55877 HAS SOUPS 55877 WITH SCORE 55942.323
AT ITER 1108 NEW BEST:: SOT 115290 SOS 64942 HAS SOPS 64942 HAS SOUS 55848 HAS SOUPS 55848 WITH SCORE 55912.942
AT ITER 1113 NEW BEST:: SOT 115280 SOS 64932 HAS SOPS 64932 HAS SOUS 55838 HAS SOUPS 55838 WITH SCORE 55902.932
AT ITER 1117 NEW BEST:: SOT 115222 SOS 65063 HAS SOPS 65063 HAS SOUS 55829 HAS SOUPS 55829 WITH SCORE 55894.063
AT ITER 1126 NEW BEST:: SOT 115183 SOS 65037 HAS SOPS 65037 HAS SOUS 55816 HAS SOUPS 55816 WITH SCORE 55881.037
AT ITER 1130 NEW BEST:: SOT 115170 SOS 64925 HAS SOPS 64925 HAS SOUS 55793 HAS SOUPS 55793 WITH SCORE 55857.925
AT ITER 1133 NEW BEST:: SOT 115134 SOS 64889 HAS SOPS 64889 HAS SOUS 55757 HAS SOUPS 55757 WITH SCORE 55821.889
AT ITER 1135 NEW BEST:: SOT 115081 SOS 65374 HAS SOPS 65374 HAS SOUS 55710 HAS SOUPS 55710 WITH SCORE 55775.374
AT ITER 1141 NEW BEST:: SOT 114791 SOS 65185 HAS SOPS 65185 HAS SOUS 55543 HAS SOUPS 55543 WITH SCORE 55608.185
AT ITER 1157 NEW BEST:: SOT 114791 SOS 65178 HAS SOPS 65178 HAS SOUS 55543 HAS SOUPS 55543 WITH SCORE 55608.178
AT ITER 1160 NEW BEST:: SOT 114807 SOS 65173 HAS SOPS 65173 HAS SOUS 55526 HAS SOUPS 55526 WITH SCORE 55591.173
AT ITER 1162 NEW BEST:: SOT 114679 SOS 65149 HAS SOPS 65149 HAS SOUS 55483 HAS SOUPS 55483 WITH SCORE 55548.149
AT ITER 1164 NEW BEST:: SOT 114370 SOS 64973 HAS SOPS 64973 HAS SOUS 55236 HAS SOUPS 55236 WITH SCORE 55300.973
AT ITER 1181 NEW BEST:: SOT 114242 SOS 64908 HAS SOPS 64908 HAS SOUS 55171 HAS SOUPS 55171 WITH SCORE 55235.908
AT ITER 1186 NEW BEST:: SOT 114290 SOS 64907 HAS SOPS 64907 HAS SOUS 55117 HAS SOUPS 55117 WITH SCORE 55181.907
AT ITER 1194 NEW BEST:: SOT 114272 SOS 64889 HAS SOPS 64889 HAS SOUS 55099 HAS SOUPS 55099 WITH SCORE 55163.889
AT ITER 1205 NEW BEST:: SOT 114300 SOS 64936 HAS SOPS 64936 HAS SOUS 55097 HAS SOUPS 55097 WITH SCORE 55161.936
AT ITER 1208 NEW BEST:: SOT 114182 SOS 64901 HAS SOPS 64901 HAS SOUS 54996 HAS SOUPS 54996 WITH SCORE 55060.901
AT ITER 1225 NEW BEST:: SOT 114049 SOS 65048 HAS SOPS 65048 HAS SOUS 54896 HAS SOUPS 54896 WITH SCORE 54961.048
AT ITER 1243 NEW BEST:: SOT 114065 SOS 65016 HAS SOPS 65016 HAS SOUS 54880 HAS SOUPS 54880 WITH SCORE 54945.016
AT ITER 1246 NEW BEST:: SOT 113687 SOS 64877 HAS SOPS 64877 HAS SOUS 54773 HAS SOUPS 54773 WITH SCORE 54837.877
AT ITER 1247 NEW BEST:: SOT 113675 SOS 64865 HAS SOPS 64865 HAS SOUS 54767 HAS SOUPS 54767 WITH SCORE 54831.865
AT ITER 1248 NEW BEST:: SOT 113589 SOS 64822 HAS SOPS 64822 HAS SOUS 54724 HAS SOUPS 54724 WITH SCORE 54788.822
AT ITER 1253 NEW BEST:: SOT 113589 SOS 64807 HAS SOPS 64807 HAS SOUS 54724 HAS SOUPS 54724 WITH SCORE 54788.807
AT ITER 1255 NEW BEST:: SOT 113663 SOS 64888 HAS SOPS 64888 HAS SOUS 54713 HAS SOUPS 54713 WITH SCORE 54777.888
AT ITER 1266 NEW BEST:: SOT 113663 SOS 64508 HAS SOPS 64508 HAS SOUS 54710 HAS SOUPS 54710 WITH SCORE 54774.508
AT ITER 1268 NEW BEST:: SOT 113602 SOS 64526 HAS SOPS 64526 HAS SOUS 54683 HAS SOUPS 54683 WITH SCORE 54747.526
AT ITER 1274 NEW BEST:: SOT 113586 SOS 64396 HAS SOPS 64396 HAS SOUS 54560 HAS SOUPS 54560 WITH SCORE 54624.396
AT ITER 1283 NEW BEST:: SOT 113586 SOS 64382 HAS SOPS 64382 HAS SOUS 54560 HAS SOUPS 54560 WITH SCORE 54624.382
AT ITER 1293 NEW BEST:: SOT 113495 SOS 64263 HAS SOPS 64263 HAS SOUS 54472 HAS SOUPS 54472 WITH SCORE 54536.263
AT ITER 1307 NEW BEST:: SOT 113220 SOS 64552 HAS SOPS 64552 HAS SOUS 54417 HAS SOUPS 54417 WITH SCORE 54481.552
AT ITER 1309 NEW BEST:: SOT 113174 SOS 64716 HAS SOPS 64716 HAS SOUS 54371 HAS SOUPS 54371 WITH SCORE 54435.716
AT ITER 1365 NEW BEST:: SOT 112908 SOS 64860 HAS SOPS 64860 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54360.86
AT ITER 1366 NEW BEST:: SOT 112936 SOS 64869 HAS SOPS 64869 HAS SOUS 54262 HAS SOUPS 54262 WITH SCORE 54326.869
AT ITER 1368 NEW BEST:: SOT 112932 SOS 64836 HAS SOPS 64836 HAS SOUS 54229 HAS SOUPS 54229 WITH SCORE 54293.836
AT ITER 1387 NEW BEST:: SOT 112932 SOS 64809 HAS SOPS 64809 HAS SOUS 54221 HAS SOUPS 54221 WITH SCORE 54285.809
AT ITER 1389 NEW BEST:: SOT 112951 SOS 64251 HAS SOPS 64251 HAS SOUS 54194 HAS SOUPS 54194 WITH SCORE 54258.251
AT ITER 1393 NEW BEST:: SOT 112951 SOS 64218 HAS SOPS 64218 HAS SOUS 54171 HAS SOUPS 54171 WITH SCORE 54235.218
AT ITER 1396 NEW BEST:: SOT 112852 SOS 64259 HAS SOPS 64259 HAS SOUS 54145 HAS SOUPS 54145 WITH SCORE 54209.259
AT ITER 1407 NEW BEST:: SOT 112895 SOS 64302 HAS SOPS 64302 HAS SOUS 54056 HAS SOUPS 54056 WITH SCORE 54120.302
AT ITER 1424 NEW BEST:: SOT 112732 SOS 64139 HAS SOPS 64139 HAS SOUS 53893 HAS SOUPS 53893 WITH SCORE 53957.139
AT ITER 1425 NEW BEST:: SOT 112718 SOS 63998 HAS SOPS 63998 HAS SOUS 53858 HAS SOUPS 53858 WITH SCORE 53921.998
AT ITER 1441 NEW BEST:: SOT 112718 SOS 63952 HAS SOPS 63952 HAS SOUS 53858 HAS SOUPS 53858 WITH SCORE 53921.952
AT ITER 1442 NEW BEST:: SOT 112709 SOS 63943 HAS SOPS 63943 HAS SOUS 53849 HAS SOUPS 53849 WITH SCORE 53912.943
AT ITER 1458 NEW BEST:: SOT 112682 SOS 63940 HAS SOPS 63940 HAS SOUS 53846 HAS SOUPS 53846 WITH SCORE 53909.94
AT ITER 1465 NEW BEST:: SOT 112615 SOS 63873 HAS SOPS 63873 HAS SOUS 53701 HAS SOUPS 53701 WITH SCORE 53764.873
AT ITER 1484 NEW BEST:: SOT 112591 SOS 63813 HAS SOPS 63813 HAS SOUS 53677 HAS SOUPS 53677 WITH SCORE 53740.813
AT ITER 1494 NEW BEST:: SOT 112574 SOS 63805 HAS SOPS 63805 HAS SOUS 53669 HAS SOUPS 53669 WITH SCORE 53732.805
AT ITER 1496 NEW BEST:: SOT 112574 SOS 63733 HAS SOPS 63733 HAS SOUS 53669 HAS SOUPS 53669 WITH SCORE 53732.733
AT ITER 1501 NEW BEST:: SOT 112595 SOS 63594 HAS SOPS 63594 HAS SOUS 53651 HAS SOUPS 53651 WITH SCORE 53714.594
AT ITER 1527 NEW BEST:: SOT 112595 SOS 63566 HAS SOPS 63566 HAS SOUS 53651 HAS SOUPS 53651 WITH SCORE 53714.566
AT ITER 1564 NEW BEST:: SOT 112595 SOS 63537 HAS SOPS 63537 HAS SOUS 53651 HAS SOUPS 53651 WITH SCORE 53714.537
AT ITER 1572 NEW BEST:: SOT 112591 SOS 63525 HAS SOPS 63525 HAS SOUS 53647 HAS SOUPS 53647 WITH SCORE 53710.525
AT ITER 1577 NEW BEST:: SOT 112566 SOS 63500 HAS SOPS 63500 HAS SOUS 53622 HAS SOUPS 53622 WITH SCORE 53685.5
AT ITER 1584 NEW BEST:: SOT 112566 SOS 63467 HAS SOPS 63467 HAS SOUS 53622 HAS SOUPS 53622 WITH SCORE 53685.467
AT ITER 1586 NEW BEST:: SOT 112486 SOS 63424 HAS SOPS 63424 HAS SOUS 53568 HAS SOUPS 53568 WITH SCORE 53631.424
AT ITER 1606 NEW BEST:: SOT 112497 SOS 63183 HAS SOPS 63183 HAS SOUS 53567 HAS SOUPS 53567 WITH SCORE 53630.183
AT ITER 1621 NEW BEST:: SOT 112435 SOS 63149 HAS SOPS 63149 HAS SOUS 53533 HAS SOUPS 53533 WITH SCORE 53596.149
AT ITER 1635 NEW BEST:: SOT 112417 SOS 63126 HAS SOPS 63126 HAS SOUS 53476 HAS SOUPS 53476 WITH SCORE 53539.126
AT ITER 1642 NEW BEST:: SOT 112351 SOS 63136 HAS SOPS 63136 HAS SOUS 53468 HAS SOUPS 53468 WITH SCORE 53531.136
AT ITER 1681 NEW BEST:: SOT 112351 SOS 63129 HAS SOPS 63129 HAS SOUS 53462 HAS SOUPS 53462 WITH SCORE 53525.129
AT ITER 1683 NEW BEST:: SOT 112332 SOS 63110 HAS SOPS 63110 HAS SOUS 53443 HAS SOUPS 53443 WITH SCORE 53506.11
AT ITER 1699 NEW BEST:: SOT 112332 SOS 63089 HAS SOPS 63089 HAS SOUS 53443 HAS SOUPS 53443 WITH SCORE 53506.089
AT ITER 1718 NEW BEST:: SOT 112316 SOS 63073 HAS SOPS 63073 HAS SOUS 53413 HAS SOUPS 53413 WITH SCORE 53476.073
AT ITER 1722 NEW BEST:: SOT 112246 SOS 62968 HAS SOPS 62968 HAS SOUS 53362 HAS SOUPS 53362 WITH SCORE 53424.968
AT ITER 1725 NEW BEST:: SOT 112226 SOS 63030 HAS SOPS 63030 HAS SOUS 53342 HAS SOUPS 53342 WITH SCORE 53405.03
AT ITER 1727 NEW BEST:: SOT 112183 SOS 62999 HAS SOPS 62999 HAS SOUS 53311 HAS SOUPS 53311 WITH SCORE 53373.999
AT ITER 1730 NEW BEST:: SOT 112159 SOS 63026 HAS SOPS 63026 HAS SOUS 53287 HAS SOUPS 53287 WITH SCORE 53350.026
AT ITER 1734 NEW BEST:: SOT 112159 SOS 63022 HAS SOPS 63022 HAS SOUS 53287 HAS SOUPS 53287 WITH SCORE 53350.022
AT ITER 1735 NEW BEST:: SOT 112028 SOS 62926 HAS SOPS 62926 HAS SOUS 53198 HAS SOUPS 53198 WITH SCORE 53260.926
AT ITER 1739 NEW BEST:: SOT 112031 SOS 62923 HAS SOPS 62923 HAS SOUS 53192 HAS SOUPS 53192 WITH SCORE 53254.923
AT ITER 1744 NEW BEST:: SOT 112031 SOS 62920 HAS SOPS 62920 HAS SOUS 53184 HAS SOUPS 53184 WITH SCORE 53246.92
AT ITER 1746 NEW BEST:: SOT 111900 SOS 62813 HAS SOPS 62813 HAS SOUS 53077 HAS SOUPS 53077 WITH SCORE 53139.813
AT ITER 1748 NEW BEST:: SOT 111732 SOS 62801 HAS SOPS 62801 HAS SOUS 53055 HAS SOUPS 53055 WITH SCORE 53117.801
AT ITER 1752 NEW BEST:: SOT 111732 SOS 62801 HAS SOPS 62801 HAS SOUS 53041 HAS SOUPS 53041 WITH SCORE 53103.801
AT ITER 1764 NEW BEST:: SOT 111732 SOS 62801 HAS SOPS 62801 HAS SOUS 53036 HAS SOUPS 53036 WITH SCORE 53098.801
AT ITER 1779 NEW BEST:: SOT 111732 SOS 62787 HAS SOPS 62787 HAS SOUS 53036 HAS SOUPS 53036 WITH SCORE 53098.787
AT ITER 1781 NEW BEST:: SOT 111642 SOS 63047 HAS SOPS 63047 HAS SOUS 52965 HAS SOUPS 52965 WITH SCORE 53028.047
AT ITER 1786 NEW BEST:: SOT 111591 SOS 63506 HAS SOPS 63506 HAS SOUS 52920 HAS SOUPS 52920 WITH SCORE 52983.506
AT ITER 1809 NEW BEST:: SOT 111574 SOS 63489 HAS SOPS 63489 HAS SOUS 52903 HAS SOUPS 52903 WITH SCORE 52966.489
AT ITER 1843 NEW BEST:: SOT 111388 SOS 63560 HAS SOPS 63560 HAS SOUS 52893 HAS SOUPS 52893 WITH SCORE 52956.56
AT ITER 1860 NEW BEST:: SOT 111311 SOS 64030 HAS SOPS 64030 HAS SOUS 52862 HAS SOUPS 52862 WITH SCORE 52926.03
AT ITER 1861 NEW BEST:: SOT 111228 SOS 64212 HAS SOPS 64212 HAS SOUS 52818 HAS SOUPS 52818 WITH SCORE 52882.212
AT ITER 1871 NEW BEST:: SOT 111162 SOS 64168 HAS SOPS 64168 HAS SOUS 52774 HAS SOUPS 52774 WITH SCORE 52838.168
AT ITER 1901 NEW BEST:: SOT 110963 SOS 64132 HAS SOPS 64132 HAS SOUS 52759 HAS SOUPS 52759 WITH SCORE 52823.132
AT ITER 1909 NEW BEST:: SOT 110963 SOS 64094 HAS SOPS 64094 HAS SOUS 52759 HAS SOUPS 52759 WITH SCORE 52823.094
AT ITER 1912 NEW BEST:: SOT 110962 SOS 64093 HAS SOPS 64093 HAS SOUS 52758 HAS SOUPS 52758 WITH SCORE 52822.093
AT ITER 1916 NEW BEST:: SOT 110949 SOS 64092 HAS SOPS 64092 HAS SOUS 52747 HAS SOUPS 52747 WITH SCORE 52811.092
AT ITER 1919 NEW BEST:: SOT 111070 SOS 64104 HAS SOPS 64104 HAS SOUS 52721 HAS SOUPS 52721 WITH SCORE 52785.104
AT ITER 1926 NEW BEST:: SOT 111049 SOS 64065 HAS SOPS 64065 HAS SOUS 52651 HAS SOUPS 52651 WITH SCORE 52715.065
AT ITER 1927 NEW BEST:: SOT 110953 SOS 64006 HAS SOPS 64006 HAS SOUS 52592 HAS SOUPS 52592 WITH SCORE 52656.006
AT ITER 1929 NEW BEST:: SOT 110953 SOS 64004 HAS SOPS 64004 HAS SOUS 52592 HAS SOUPS 52592 WITH SCORE 52656.004
AT ITER 1945 NEW BEST:: SOT 110952 SOS 64003 HAS SOPS 64003 HAS SOUS 52590 HAS SOUPS 52590 WITH SCORE 52654.003
AT ITER 1952 NEW BEST:: SOT 110834 SOS 64019 HAS SOPS 64019 HAS SOUS 52563 HAS SOUPS 52563 WITH SCORE 52627.019
AT ITER 1953 NEW BEST:: SOT 110824 SOS 64009 HAS SOPS 64009 HAS SOUS 52553 HAS SOUPS 52553 WITH SCORE 52617.009
AT ITER 1954 NEW BEST:: SOT 110808 SOS 63982 HAS SOPS 63982 HAS SOUS 52509 HAS SOUPS 52509 WITH SCORE 52572.982
AT ITER 1958 NEW BEST:: SOT 110808 SOS 63948 HAS SOPS 63948 HAS SOUS 52479 HAS SOUPS 52479 WITH SCORE 52542.948
AT ITER 1960 NEW BEST:: SOT 110808 SOS 63882 HAS SOPS 63882 HAS SOUS 52469 HAS SOUPS 52469 WITH SCORE 52532.882
AT ITER 1983 NEW BEST:: SOT 110799 SOS 63885 HAS SOPS 63885 HAS SOUS 52466 HAS SOUPS 52466 WITH SCORE 52529.885
AT ITER 2000 NEW BEST:: SOT 110747 SOS 63859 HAS SOPS 63859 HAS SOUS 52440 HAS SOUPS 52440 WITH SCORE 52503.859
AT ITER 2021 NEW BEST:: SOT 110747 SOS 63765 HAS SOPS 63765 HAS SOUS 52440 HAS SOUPS 52440 WITH SCORE 52503.765
AT ITER 2025 NEW BEST:: SOT 110767 SOS 63778 HAS SOPS 63778 HAS SOUS 52423 HAS SOUPS 52423 WITH SCORE 52486.778
AT ITER 2047 NEW BEST:: SOT 110728 SOS 63739 HAS SOPS 63739 HAS SOUS 52358 HAS SOUPS 52358 WITH SCORE 52421.739
AT ITER 2055 NEW BEST:: SOT 110705 SOS 64051 HAS SOPS 64051 HAS SOUS 52341 HAS SOUPS 52341 WITH SCORE 52405.051
AT ITER 2064 NEW BEST:: SOT 110639 SOS 64039 HAS SOPS 64039 HAS SOUS 52205 HAS SOUPS 52205 WITH SCORE 52269.039
AT ITER 2078 NEW BEST:: SOT 110587 SOS 64026 HAS SOPS 64026 HAS SOUS 52192 HAS SOUPS 52192 WITH SCORE 52256.026
AT ITER 2104 NEW BEST:: SOT 110540 SOS 64081 HAS SOPS 64081 HAS SOUS 52162 HAS SOUPS 52162 WITH SCORE 52226.081
AT ITER 2106 NEW BEST:: SOT 110412 SOS 64468 HAS SOPS 64468 HAS SOUS 52138 HAS SOUPS 52138 WITH SCORE 52202.468
AT ITER 2109 NEW BEST:: SOT 110391 SOS 64454 HAS SOPS 64454 HAS SOUS 52124 HAS SOUPS 52124 WITH SCORE 52188.454
AT ITER 2116 NEW BEST:: SOT 110409 SOS 64454 HAS SOPS 64454 HAS SOUS 52088 HAS SOUPS 52088 WITH SCORE 52152.454
AT ITER 2121 NEW BEST:: SOT 110278 SOS 64368 HAS SOPS 64368 HAS SOUS 52002 HAS SOUPS 52002 WITH SCORE 52066.368
AT ITER 2127 NEW BEST:: SOT 110274 SOS 64643 HAS SOPS 64643 HAS SOUS 51998 HAS SOUPS 51998 WITH SCORE 52062.643
AT ITER 2144 NEW BEST:: SOT 110271 SOS 64640 HAS SOPS 64640 HAS SOUS 51995 HAS SOUPS 51995 WITH SCORE 52059.64
AT ITER 2197 NEW BEST:: SOT 110271 SOS 64631 HAS SOPS 64631 HAS SOUS 51995 HAS SOUPS 51995 WITH SCORE 52059.631
AT ITER 2218 NEW BEST:: SOT 110225 SOS 64608 HAS SOPS 64608 HAS SOUS 51972 HAS SOUPS 51972 WITH SCORE 52036.608
AT ITER 2223 NEW BEST:: SOT 110223 SOS 64607 HAS SOPS 64607 HAS SOUS 51968 HAS SOUPS 51968 WITH SCORE 52032.607
AT ITER 2228 NEW BEST:: SOT 110149 SOS 64586 HAS SOPS 64586 HAS SOUS 51924 HAS SOUPS 51924 WITH SCORE 51988.586
AT ITER 2244 NEW BEST:: SOT 110149 SOS 64586 HAS SOPS 64586 HAS SOUS 51913 HAS SOUPS 51913 WITH SCORE 51977.586
AT ITER 2250 NEW BEST:: SOT 110170 SOS 64551 HAS SOPS 64551 HAS SOUS 51878 HAS SOUPS 51878 WITH SCORE 51942.551
AT ITER 2274 NEW BEST:: SOT 110166 SOS 64543 HAS SOPS 64543 HAS SOUS 51870 HAS SOUPS 51870 WITH SCORE 51934.543
AT ITER 2296 NEW BEST:: SOT 110166 SOS 64529 HAS SOPS 64529 HAS SOUS 51870 HAS SOUPS 51870 WITH SCORE 51934.529
AT ITER 2297 NEW BEST:: SOT 110145 SOS 64462 HAS SOPS 64462 HAS SOUS 51817 HAS SOUPS 51817 WITH SCORE 51881.462
AT ITER 2326 NEW BEST:: SOT 110123 SOS 64638 HAS SOPS 64638 HAS SOUS 51797 HAS SOUPS 51797 WITH SCORE 51861.638
AT ITER 2382 NEW BEST:: SOT 110123 SOS 64611 HAS SOPS 64611 HAS SOUS 51797 HAS SOUPS 51797 WITH SCORE 51861.611
AT ITER 2385 NEW BEST:: SOT 110093 SOS 64944 HAS SOPS 64944 HAS SOUS 51781 HAS SOUPS 51781 WITH SCORE 51845.944
AT ITER 2387 NEW BEST:: SOT 110093 SOS 64898 HAS SOPS 64898 HAS SOUS 51781 HAS SOUPS 51781 WITH SCORE 51845.898
AT ITER 2400 NEW BEST:: SOT 110093 SOS 64863 HAS SOPS 64863 HAS SOUS 51781 HAS SOUPS 51781 WITH SCORE 51845.863
AT ITER 2411 NEW BEST:: SOT 110093 SOS 64816 HAS SOPS 64816 HAS SOUS 51781 HAS SOUPS 51781 WITH SCORE 51845.816
AT ITER 2416 NEW BEST:: SOT 110024 SOS 65054 HAS SOPS 65054 HAS SOUS 51755 HAS SOUPS 51755 WITH SCORE 51820.054
AT ITER 2430 NEW BEST:: SOT 110024 SOS 64908 HAS SOPS 64908 HAS SOUS 51755 HAS SOUPS 51755 WITH SCORE 51819.908
AT ITER 2433 NEW BEST:: SOT 110007 SOS 64891 HAS SOPS 64891 HAS SOUS 51721 HAS SOUPS 51721 WITH SCORE 51785.891
AT ITER 2434 NEW BEST:: SOT 110007 SOS 64888 HAS SOPS 64888 HAS SOUS 51718 HAS SOUPS 51718 WITH SCORE 51782.888
AT ITER 2444 NEW BEST:: SOT 110007 SOS 64857 HAS SOPS 64857 HAS SOUS 51718 HAS SOUPS 51718 WITH SCORE 51782.857
AT ITER 2488 NEW BEST:: SOT 109961 SOS 65240 HAS SOPS 65240 HAS SOUS 51693 HAS SOUPS 51693 WITH SCORE 51758.24
AT ITER 2506 NEW BEST:: SOT 109918 SOS 65113 HAS SOPS 65113 HAS SOUS 51662 HAS SOUPS 51662 WITH SCORE 51727.113
AT ITER 2507 NEW BEST:: SOT 109905 SOS 65100 HAS SOPS 65100 HAS SOUS 51649 HAS SOUPS 51649 WITH SCORE 51714.1
AT ITER 2509 NEW BEST:: SOT 109846 SOS 65041 HAS SOPS 65041 HAS SOUS 51590 HAS SOUPS 51590 WITH SCORE 51655.041
AT ITER 2510 NEW BEST:: SOT 109798 SOS 64997 HAS SOPS 64997 HAS SOUS 51509 HAS SOUPS 51509 WITH SCORE 51573.997
AT ITER 2528 NEW BEST:: SOT 109798 SOS 64997 HAS SOPS 64997 HAS SOUS 51465 HAS SOUPS 51465 WITH SCORE 51529.997
AT ITER 2537 NEW BEST:: SOT 109764 SOS 64963 HAS SOPS 64963 HAS SOUS 51450 HAS SOUPS 51450 WITH SCORE 51514.963
AT ITER 2546 NEW BEST:: SOT 109764 SOS 64954 HAS SOPS 64954 HAS SOUS 51415 HAS SOUPS 51415 WITH SCORE 51479.954
AT ITER 2557 NEW BEST:: SOT 109728 SOS 64945 HAS SOPS 64945 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51470.945
AT ITER 2562 NEW BEST:: SOT 109728 SOS 64866 HAS SOPS 64866 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51470.866
AT ITER 2567 NEW BEST:: SOT 109728 SOS 64863 HAS SOPS 64863 HAS SOUS 51406 HAS SOUPS 51406 WITH SCORE 51470.863
AT ITER 2569 NEW BEST:: SOT 109728 SOS 64812 HAS SOPS 64812 HAS SOUS 51391 HAS SOUPS 51391 WITH SCORE 51455.812
AT ITER 2590 NEW BEST:: SOT 109667 SOS 65129 HAS SOPS 65129 HAS SOUS 51331 HAS SOUPS 51331 WITH SCORE 51396.129
AT ITER 2592 NEW BEST:: SOT 109688 SOS 65184 HAS SOPS 65184 HAS SOUS 51327 HAS SOUPS 51327 WITH SCORE 51392.184
AT ITER 2599 NEW BEST:: SOT 109688 SOS 65186 HAS SOPS 65186 HAS SOUS 51326 HAS SOUPS 51326 WITH SCORE 51391.186
AT ITER 2605 NEW BEST:: SOT 109643 SOS 65141 HAS SOPS 65141 HAS SOUS 51281 HAS SOUPS 51281 WITH SCORE 51346.141
AT ITER 2611 NEW BEST:: SOT 109339 SOS 65254 HAS SOPS 65254 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51248.254
AT ITER 2642 NEW BEST:: SOT 109339 SOS 65244 HAS SOPS 65244 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51248.244
AT ITER 2682 NEW BEST:: SOT 109330 SOS 65235 HAS SOPS 65235 HAS SOUS 51174 HAS SOUPS 51174 WITH SCORE 51239.235
AT ITER 2685 NEW BEST:: SOT 109062 SOS 65024 HAS SOPS 65024 HAS SOUS 51014 HAS SOUPS 51014 WITH SCORE 51079.024
AT ITER 2709 NEW BEST:: SOT 109062 SOS 64998 HAS SOPS 64998 HAS SOUS 51014 HAS SOUPS 51014 WITH SCORE 51078.998
AT ITER 2721 NEW BEST:: SOT 109062 SOS 64752 HAS SOPS 64752 HAS SOUS 51014 HAS SOUPS 51014 WITH SCORE 51078.752
AT ITER 2737 NEW BEST:: SOT 109070 SOS 64728 HAS SOPS 64728 HAS SOUS 51014 HAS SOUPS 51014 WITH SCORE 51078.728
AT ITER 2751 NEW BEST:: SOT 109069 SOS 64691 HAS SOPS 64691 HAS SOUS 50977 HAS SOUPS 50977 WITH SCORE 51041.691
AT ITER 2756 NEW BEST:: SOT 109069 SOS 64632 HAS SOPS 64632 HAS SOUS 50975 HAS SOUPS 50975 WITH SCORE 51039.632
AT ITER 2762 NEW BEST:: SOT 109070 SOS 64625 HAS SOPS 64625 HAS SOUS 50974 HAS SOUPS 50974 WITH SCORE 51038.625
AT ITER 2777 NEW BEST:: SOT 109013 SOS 64618 HAS SOPS 64618 HAS SOUS 50967 HAS SOUPS 50967 WITH SCORE 51031.618
AT ITER 2788 NEW BEST:: SOT 109013 SOS 64573 HAS SOPS 64573 HAS SOUS 50938 HAS SOUPS 50938 WITH SCORE 51002.573
AT ITER 2806 NEW BEST:: SOT 109016 SOS 64576 HAS SOPS 64576 HAS SOUS 50935 HAS SOUPS 50935 WITH SCORE 50999.576
AT ITER 2808 NEW BEST:: SOT 109016 SOS 64576 HAS SOPS 64576 HAS SOUS 50839 HAS SOUPS 50839 WITH SCORE 50903.576
AT ITER 2815 NEW BEST:: SOT 109016 SOS 64293 HAS SOPS 64293 HAS SOUS 50825 HAS SOUPS 50825 WITH SCORE 50889.293
AT ITER 2817 NEW BEST:: SOT 109016 SOS 64235 HAS SOPS 64235 HAS SOUS 50822 HAS SOUPS 50822 WITH SCORE 50886.235
AT ITER 2884 NEW BEST:: SOT 109023 SOS 64242 HAS SOPS 64242 HAS SOUS 50786 HAS SOUPS 50786 WITH SCORE 50850.242
AT ITER 2901 NEW BEST:: SOT 109023 SOS 64216 HAS SOPS 64216 HAS SOUS 50786 HAS SOUPS 50786 WITH SCORE 50850.216
AT ITER 2904 NEW BEST:: SOT 109023 SOS 64216 HAS SOPS 64216 HAS SOUS 50766 HAS SOUPS 50766 WITH SCORE 50830.216
AT ITER 2914 NEW BEST:: SOT 109023 SOS 64202 HAS SOPS 64202 HAS SOUS 50753 HAS SOUPS 50753 WITH SCORE 50817.202
AT ITER 2917 NEW BEST:: SOT 109064 SOS 64243 HAS SOPS 64243 HAS SOUS 50669 HAS SOUPS 50669 WITH SCORE 50733.243
AT ITER 2922 NEW BEST:: SOT 109067 SOS 64242 HAS SOPS 64242 HAS SOUS 50668 HAS SOUPS 50668 WITH SCORE 50732.242
AT ITER 2924 NEW BEST:: SOT 109067 SOS 64234 HAS SOPS 64234 HAS SOUS 50635 HAS SOUPS 50635 WITH SCORE 50699.234
AT ITER 2933 NEW BEST:: SOT 109134 SOS 64080 HAS SOPS 64080 HAS SOUS 50626 HAS SOUPS 50626 WITH SCORE 50690.08
AT ITER 2989 NEW BEST:: SOT 109160 SOS 63960 HAS SOPS 63960 HAS SOUS 50586 HAS SOUPS 50586 WITH SCORE 50649.96
AT ITER 3016 NEW BEST:: SOT 109160 SOS 64021 HAS SOPS 64021 HAS SOUS 50578 HAS SOUPS 50578 WITH SCORE 50642.021
AT ITER 3068 NEW BEST:: SOT 109174 SOS 63924 HAS SOPS 63924 HAS SOUS 50576 HAS SOUPS 50576 WITH SCORE 50639.924
AT ITER 3081 NEW BEST:: SOT 109184 SOS 63926 HAS SOPS 63926 HAS SOUS 50553 HAS SOUPS 50553 WITH SCORE 50616.926
AT ITER 3087 NEW BEST:: SOT 109179 SOS 63921 HAS SOPS 63921 HAS SOUS 50525 HAS SOUPS 50525 WITH SCORE 50588.921
AT ITER 3090 NEW BEST:: SOT 109179 SOS 63921 HAS SOPS 63921 HAS SOUS 50514 HAS SOUPS 50514 WITH SCORE 50577.921
AT ITER 3099 NEW BEST:: SOT 109142 SOS 63884 HAS SOPS 63884 HAS SOUS 50477 HAS SOUPS 50477 WITH SCORE 50540.884
AT ITER 3109 NEW BEST:: SOT 109142 SOS 63877 HAS SOPS 63877 HAS SOUS 50477 HAS SOUPS 50477 WITH SCORE 50540.877
AT ITER 3119 NEW BEST:: SOT 109035 SOS 63990 HAS SOPS 63990 HAS SOUS 50468 HAS SOUPS 50468 WITH SCORE 50531.99
AT ITER 3145 NEW BEST:: SOT 109035 SOS 63990 HAS SOPS 63990 HAS SOUS 50467 HAS SOUPS 50467 WITH SCORE 50530.99
AT ITER 3148 NEW BEST:: SOT 109009 SOS 64202 HAS SOPS 64202 HAS SOUS 50447 HAS SOUPS 50447 WITH SCORE 50511.202
AT ITER 3156 NEW BEST:: SOT 108974 SOS 64176 HAS SOPS 64176 HAS SOUS 50421 HAS SOUPS 50421 WITH SCORE 50485.176
AT ITER 3189 NEW BEST:: SOT 108974 SOS 64089 HAS SOPS 64089 HAS SOUS 50421 HAS SOUPS 50421 WITH SCORE 50485.089
AT ITER 3195 NEW BEST:: SOT 108962 SOS 64083 HAS SOPS 64083 HAS SOUS 50417 HAS SOUPS 50417 WITH SCORE 50481.083
AT ITER 3196 NEW BEST:: SOT 108962 SOS 64040 HAS SOPS 64040 HAS SOUS 50417 HAS SOUPS 50417 WITH SCORE 50481.04
AT ITER 3203 NEW BEST:: SOT 108600 SOS 63791 HAS SOPS 63791 HAS SOUS 50180 HAS SOUPS 50180 WITH SCORE 50243.791
AT ITER 3215 NEW BEST:: SOT 108608 SOS 63799 HAS SOPS 63799 HAS SOUS 50168 HAS SOUPS 50168 WITH SCORE 50231.799
AT ITER 3223 NEW BEST:: SOT 108602 SOS 63951 HAS SOPS 63951 HAS SOUS 50141 HAS SOUPS 50141 WITH SCORE 50204.951
AT ITER 3274 NEW BEST:: SOT 108596 SOS 63939 HAS SOPS 63939 HAS SOUS 50135 HAS SOUPS 50135 WITH SCORE 50198.939
AT ITER 3275 NEW BEST:: SOT 108622 SOS 63916 HAS SOPS 63916 HAS SOUS 50129 HAS SOUPS 50129 WITH SCORE 50192.916
AT ITER 3296 NEW BEST:: SOT 108620 SOS 63899 HAS SOPS 63899 HAS SOUS 50129 HAS SOUPS 50129 WITH SCORE 50192.899
AT ITER 3306 NEW BEST:: SOT 108436 SOS 64010 HAS SOPS 64010 HAS SOUS 50123 HAS SOUPS 50123 WITH SCORE 50187.01
AT ITER 3307 NEW BEST:: SOT 108422 SOS 63996 HAS SOPS 63996 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50172.996
AT ITER 3315 NEW BEST:: SOT 108421 SOS 63995 HAS SOPS 63995 HAS SOUS 50085 HAS SOUPS 50085 WITH SCORE 50148.995
AT ITER 3317 NEW BEST:: SOT 108421 SOS 63851 HAS SOPS 63851 HAS SOUS 50035 HAS SOUPS 50035 WITH SCORE 50098.851
AT ITER 3345 NEW BEST:: SOT 108412 SOS 63842 HAS SOPS 63842 HAS SOUS 50026 HAS SOUPS 50026 WITH SCORE 50089.842
AT ITER 3371 NEW BEST:: SOT 108374 SOS 63787 HAS SOPS 63787 HAS SOUS 50017 HAS SOUPS 50017 WITH SCORE 50080.787
AT ITER 3388 NEW BEST:: SOT 108374 SOS 63535 HAS SOPS 63535 HAS SOUS 50013 HAS SOUPS 50013 WITH SCORE 50076.535
AT ITER 3401 NEW BEST:: SOT 108374 SOS 63470 HAS SOPS 63470 HAS SOUS 49999 HAS SOUPS 49999 WITH SCORE 50062.47
AT ITER 3411 NEW BEST:: SOT 108374 SOS 63442 HAS SOPS 63442 HAS SOUS 49980 HAS SOUPS 49980 WITH SCORE 50043.442
AT ITER 3418 NEW BEST:: SOT 108374 SOS 63442 HAS SOPS 63442 HAS SOUS 49943 HAS SOUPS 49943 WITH SCORE 50006.442
AT ITER 3461 NEW BEST:: SOT 108316 SOS 63384 HAS SOPS 63384 HAS SOUS 49929 HAS SOUPS 49929 WITH SCORE 49992.384
AT ITER 3463 NEW BEST:: SOT 108164 SOS 63301 HAS SOPS 63301 HAS SOUS 49813 HAS SOUPS 49813 WITH SCORE 49876.301
AT ITER 3470 NEW BEST:: SOT 108180 SOS 63305 HAS SOPS 63305 HAS SOUS 49809 HAS SOUPS 49809 WITH SCORE 49872.305
AT ITER 3471 NEW BEST:: SOT 108175 SOS 63222 HAS SOPS 63222 HAS SOUS 49792 HAS SOUPS 49792 WITH SCORE 49855.222
AT ITER 3475 NEW BEST:: SOT 108160 SOS 63207 HAS SOPS 63207 HAS SOUS 49777 HAS SOUPS 49777 WITH SCORE 49840.207
AT ITER 3479 NEW BEST:: SOT 108138 SOS 63389 HAS SOPS 63389 HAS SOUS 49772 HAS SOUPS 49772 WITH SCORE 49835.389
AT ITER 3484 NEW BEST:: SOT 108093 SOS 63398 HAS SOPS 63398 HAS SOUS 49754 HAS SOUPS 49754 WITH SCORE 49817.398
AT ITER 3488 NEW BEST:: SOT 108124 SOS 63398 HAS SOPS 63398 HAS SOUS 49750 HAS SOUPS 49750 WITH SCORE 49813.398
AT ITER 3493 NEW BEST:: SOT 108058 SOS 63354 HAS SOPS 63354 HAS SOUS 49706 HAS SOUPS 49706 WITH SCORE 49769.354
AT ITER 3511 NEW BEST:: SOT 108047 SOS 63331 HAS SOPS 63331 HAS SOUS 49677 HAS SOUPS 49677 WITH SCORE 49740.331
AT ITER 3542 NEW BEST:: SOT 108085 SOS 63345 HAS SOPS 63345 HAS SOUS 49657 HAS SOUPS 49657 WITH SCORE 49720.345
AT ITER 3564 NEW BEST:: SOT 108085 SOS 63316 HAS SOPS 63316 HAS SOUS 49657 HAS SOUPS 49657 WITH SCORE 49720.316
AT ITER 3566 NEW BEST:: SOT 108085 SOS 63281 HAS SOPS 63281 HAS SOUS 49657 HAS SOUPS 49657 WITH SCORE 49720.281
AT ITER 3578 NEW BEST:: SOT 108085 SOS 63281 HAS SOPS 63281 HAS SOUS 49652 HAS SOUPS 49652 WITH SCORE 49715.281
AT ITER 3584 NEW BEST:: SOT 108085 SOS 63176 HAS SOPS 63176 HAS SOUS 49652 HAS SOUPS 49652 WITH SCORE 49715.176
AT ITER 3616 NEW BEST:: SOT 108039 SOS 63142 HAS SOPS 63142 HAS SOUS 49618 HAS SOUPS 49618 WITH SCORE 49681.142
AT ITER 3627 NEW BEST:: SOT 108039 SOS 63104 HAS SOPS 63104 HAS SOUS 49618 HAS SOUPS 49618 WITH SCORE 49681.104
AT ITER 3628 NEW BEST:: SOT 108039 SOS 63104 HAS SOPS 63104 HAS SOUS 49603 HAS SOUPS 49603 WITH SCORE 49666.104
AT ITER 3630 NEW BEST:: SOT 107758 SOS 63066 HAS SOPS 63066 HAS SOUS 49550 HAS SOUPS 49550 WITH SCORE 49613.066
AT ITER 3657 NEW BEST:: SOT 107700 SOS 63010 HAS SOPS 63010 HAS SOUS 49494 HAS SOUPS 49494 WITH SCORE 49557.01
AT ITER 3668 NEW BEST:: SOT 107700 SOS 63007 HAS SOPS 63007 HAS SOUS 49491 HAS SOUPS 49491 WITH SCORE 49554.007
AT ITER 3671 NEW BEST:: SOT 107692 SOS 63001 HAS SOPS 63001 HAS SOUS 49485 HAS SOUPS 49485 WITH SCORE 49548.001
AT ITER 3677 NEW BEST:: SOT 107688 SOS 63001 HAS SOPS 63001 HAS SOUS 49481 HAS SOUPS 49481 WITH SCORE 49544.001
AT ITER 3708 NEW BEST:: SOT 107687 SOS 63000 HAS SOPS 63000 HAS SOUS 49480 HAS SOUPS 49480 WITH SCORE 49543.0
AT ITER 3714 NEW BEST:: SOT 107644 SOS 62957 HAS SOPS 62957 HAS SOUS 49437 HAS SOUPS 49437 WITH SCORE 49499.957
AT ITER 3723 NEW BEST:: SOT 107636 SOS 62949 HAS SOPS 62949 HAS SOUS 49429 HAS SOUPS 49429 WITH SCORE 49491.949
AT ITER 3727 NEW BEST:: SOT 107636 SOS 62901 HAS SOPS 62901 HAS SOUS 49429 HAS SOUPS 49429 WITH SCORE 49491.901
AT ITER 3741 NEW BEST:: SOT 107636 SOS 62899 HAS SOPS 62899 HAS SOUS 49429 HAS SOUPS 49429 WITH SCORE 49491.899
AT ITER 3742 NEW BEST:: SOT 107636 SOS 62813 HAS SOPS 62813 HAS SOUS 49405 HAS SOUPS 49405 WITH SCORE 49467.813
AT ITER 3770 NEW BEST:: SOT 107636 SOS 62799 HAS SOPS 62799 HAS SOUS 49405 HAS SOUPS 49405 WITH SCORE 49467.799
AT ITER 3771 NEW BEST:: SOT 107636 SOS 62799 HAS SOPS 62799 HAS SOUS 49399 HAS SOUPS 49399 WITH SCORE 49461.799
AT ITER 3787 NEW BEST:: SOT 107636 SOS 62766 HAS SOPS 62766 HAS SOUS 49385 HAS SOUPS 49385 WITH SCORE 49447.766
AT ITER 3805 NEW BEST:: SOT 107636 SOS 62716 HAS SOPS 62716 HAS SOUS 49385 HAS SOUPS 49385 WITH SCORE 49447.716
AT ITER 3812 NEW BEST:: SOT 107636 SOS 62765 HAS SOPS 62765 HAS SOUS 49337 HAS SOUPS 49337 WITH SCORE 49399.765
AT ITER 3813 NEW BEST:: SOT 107636 SOS 62727 HAS SOPS 62727 HAS SOUS 49337 HAS SOUPS 49337 WITH SCORE 49399.727
AT ITER 3834 NEW BEST:: SOT 107609 SOS 62700 HAS SOPS 62700 HAS SOUS 49310 HAS SOUPS 49310 WITH SCORE 49372.7
AT ITER 3854 NEW BEST:: SOT 107657 SOS 62554 HAS SOPS 62554 HAS SOUS 49223 HAS SOUPS 49223 WITH SCORE 49285.554
AT ITER 3857 NEW BEST:: SOT 107657 SOS 62329 HAS SOPS 62329 HAS SOUS 49187 HAS SOUPS 49187 WITH SCORE 49249.329
AT ITER 3860 NEW BEST:: SOT 107480 SOS 62215 HAS SOPS 62215 HAS SOUS 49073 HAS SOUPS 49073 WITH SCORE 49135.215
AT ITER 3871 NEW BEST:: SOT 107480 SOS 62254 HAS SOPS 62254 HAS SOUS 49034 HAS SOUPS 49034 WITH SCORE 49096.254
AT ITER 3873 NEW BEST:: SOT 107480 SOS 62153 HAS SOPS 62153 HAS SOUS 49017 HAS SOUPS 49017 WITH SCORE 49079.153
AT ITER 3883 NEW BEST:: SOT 107474 SOS 62147 HAS SOPS 62147 HAS SOUS 49011 HAS SOUPS 49011 WITH SCORE 49073.147
AT ITER 3892 NEW BEST:: SOT 107458 SOS 62131 HAS SOPS 62131 HAS SOUS 48984 HAS SOUPS 48984 WITH SCORE 49046.131
AT ITER 3904 NEW BEST:: SOT 107471 SOS 62136 HAS SOPS 62136 HAS SOUS 48965 HAS SOUPS 48965 WITH SCORE 49027.136
AT ITER 3914 NEW BEST:: SOT 107494 SOS 61976 HAS SOPS 61976 HAS SOUS 48910 HAS SOUPS 48910 WITH SCORE 48971.976
AT ITER 3938 NEW BEST:: SOT 107426 SOS 61908 HAS SOPS 61908 HAS SOUS 48842 HAS SOUPS 48842 WITH SCORE 48903.908
AT ITER 3950 NEW BEST:: SOT 107417 SOS 61899 HAS SOPS 61899 HAS SOUS 48833 HAS SOUPS 48833 WITH SCORE 48894.899
AT ITER 3982 NEW BEST:: SOT 107394 SOS 61918 HAS SOPS 61918 HAS SOUS 48815 HAS SOUPS 48815 WITH SCORE 48876.918
AT ITER 4000 NEW BEST:: SOT 107259 SOS 61896 HAS SOPS 61896 HAS SOUS 48784 HAS SOUPS 48784 WITH SCORE 48845.896
AT ITER 4022 NEW BEST:: SOT 107259 SOS 61898 HAS SOPS 61898 HAS SOUS 48783 HAS SOUPS 48783 WITH SCORE 48844.898
AT ITER 4034 NEW BEST:: SOT 107259 SOS 61990 HAS SOPS 61990 HAS SOUS 48778 HAS SOUPS 48778 WITH SCORE 48839.99
AT ITER 4040 NEW BEST:: SOT 107269 SOS 61982 HAS SOPS 61982 HAS SOUS 48735 HAS SOUPS 48735 WITH SCORE 48796.982
AT ITER 4047 NEW BEST:: SOT 107269 SOS 61982 HAS SOPS 61982 HAS SOUS 48728 HAS SOUPS 48728 WITH SCORE 48789.982
AT ITER 4068 NEW BEST:: SOT 107269 SOS 61740 HAS SOPS 61740 HAS SOUS 48699 HAS SOUPS 48699 WITH SCORE 48760.74
AT ITER 4070 NEW BEST:: SOT 107264 SOS 61729 HAS SOPS 61729 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48755.729
AT ITER 4084 NEW BEST:: SOT 107252 SOS 61709 HAS SOPS 61709 HAS SOUS 48666 HAS SOUPS 48666 WITH SCORE 48727.709
AT ITER 4103 NEW BEST:: SOT 107244 SOS 61701 HAS SOPS 61701 HAS SOUS 48658 HAS SOUPS 48658 WITH SCORE 48719.701
AT ITER 4121 NEW BEST:: SOT 107218 SOS 61648 HAS SOPS 61648 HAS SOUS 48600 HAS SOUPS 48600 WITH SCORE 48661.648
AT ITER 4152 NEW BEST:: SOT 107294 SOS 61696 HAS SOPS 61696 HAS SOUS 48594 HAS SOUPS 48594 WITH SCORE 48655.696
AT ITER 4182 NEW BEST:: SOT 107254 SOS 61656 HAS SOPS 61656 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48578.656
AT ITER 4183 NEW BEST:: SOT 107254 SOS 61656 HAS SOPS 61656 HAS SOUS 48496 HAS SOUPS 48496 WITH SCORE 48557.656
AT ITER 4193 NEW BEST:: SOT 107254 SOS 61662 HAS SOPS 61662 HAS SOUS 48492 HAS SOUPS 48492 WITH SCORE 48553.662
AT ITER 4218 NEW BEST:: SOT 107294 SOS 61690 HAS SOPS 61690 HAS SOUS 48489 HAS SOUPS 48489 WITH SCORE 48550.69
AT ITER 4227 NEW BEST:: SOT 107294 SOS 61690 HAS SOPS 61690 HAS SOUS 48478 HAS SOUPS 48478 WITH SCORE 48539.69
AT ITER 4241 NEW BEST:: SOT 107190 SOS 61586 HAS SOPS 61586 HAS SOUS 48374 HAS SOUPS 48374 WITH SCORE 48435.586
AT ITER 4245 NEW BEST:: SOT 107190 SOS 61584 HAS SOPS 61584 HAS SOUS 48374 HAS SOUPS 48374 WITH SCORE 48435.584
AT ITER 4254 NEW BEST:: SOT 107235 SOS 61723 HAS SOPS 61723 HAS SOUS 48342 HAS SOUPS 48342 WITH SCORE 48403.723
AT ITER 4272 NEW BEST:: SOT 107195 SOS 61683 HAS SOPS 61683 HAS SOUS 48302 HAS SOUPS 48302 WITH SCORE 48363.683
AT ITER 4294 NEW BEST:: SOT 107194 SOS 61682 HAS SOPS 61682 HAS SOUS 48269 HAS SOUPS 48269 WITH SCORE 48330.682
AT ITER 4311 NEW BEST:: SOT 107194 SOS 61615 HAS SOPS 61615 HAS SOUS 48258 HAS SOUPS 48258 WITH SCORE 48319.615
AT ITER 4320 NEW BEST:: SOT 107202 SOS 61607 HAS SOPS 61607 HAS SOUS 48256 HAS SOUPS 48256 WITH SCORE 48317.607
AT ITER 4356 NEW BEST:: SOT 107202 SOS 61605 HAS SOPS 61605 HAS SOUS 48256 HAS SOUPS 48256 WITH SCORE 48317.605
AT ITER 4363 NEW BEST:: SOT 107321 SOS 61507 HAS SOPS 61507 HAS SOUS 48253 HAS SOUPS 48253 WITH SCORE 48314.507
AT ITER 4375 NEW BEST:: SOT 107321 SOS 61488 HAS SOPS 61488 HAS SOUS 48234 HAS SOUPS 48234 WITH SCORE 48295.488
AT ITER 4379 NEW BEST:: SOT 107315 SOS 61486 HAS SOPS 61486 HAS SOUS 48234 HAS SOUPS 48234 WITH SCORE 48295.486
AT ITER 4385 NEW BEST:: SOT 107310 SOS 61481 HAS SOPS 61481 HAS SOUS 48229 HAS SOUPS 48229 WITH SCORE 48290.481
AT ITER 4400 NEW BEST:: SOT 107250 SOS 61468 HAS SOPS 61468 HAS SOUS 48216 HAS SOUPS 48216 WITH SCORE 48277.468
AT ITER 4424 NEW BEST:: SOT 107174 SOS 61449 HAS SOPS 61449 HAS SOUS 48197 HAS SOUPS 48197 WITH SCORE 48258.449
AT ITER 4425 NEW BEST:: SOT 107172 SOS 61445 HAS SOPS 61445 HAS SOUS 48197 HAS SOUPS 48197 WITH SCORE 48258.445
AT ITER 4438 NEW BEST:: SOT 107172 SOS 61411 HAS SOPS 61411 HAS SOUS 48197 HAS SOUPS 48197 WITH SCORE 48258.411
AT ITER 4481 NEW BEST:: SOT 107149 SOS 61388 HAS SOPS 61388 HAS SOUS 48174 HAS SOUPS 48174 WITH SCORE 48235.388
AT ITER 4485 NEW BEST:: SOT 107149 SOS 61382 HAS SOPS 61382 HAS SOUS 48172 HAS SOUPS 48172 WITH SCORE 48233.382
AT ITER 4502 NEW BEST:: SOT 107132 SOS 61365 HAS SOPS 61365 HAS SOUS 48155 HAS SOUPS 48155 WITH SCORE 48216.365
AT ITER 4543 NEW BEST:: SOT 107127 SOS 61330 HAS SOPS 61330 HAS SOUS 48140 HAS SOUPS 48140 WITH SCORE 48201.33
AT ITER 4546 NEW BEST:: SOT 107127 SOS 61330 HAS SOPS 61330 HAS SOUS 48136 HAS SOUPS 48136 WITH SCORE 48197.33
AT ITER 4567 NEW BEST:: SOT 107081 SOS 61300 HAS SOPS 61300 HAS SOUS 48106 HAS SOUPS 48106 WITH SCORE 48167.3
AT ITER 4610 NEW BEST:: SOT 107081 SOS 61218 HAS SOPS 61218 HAS SOUS 48056 HAS SOUPS 48056 WITH SCORE 48117.218
AT ITER 4611 NEW BEST:: SOT 107082 SOS 61219 HAS SOPS 61219 HAS SOUS 48047 HAS SOUPS 48047 WITH SCORE 48108.219
AT ITER 4618 NEW BEST:: SOT 107082 SOS 61205 HAS SOPS 61205 HAS SOUS 48047 HAS SOUPS 48047 WITH SCORE 48108.205
AT ITER 4619 NEW BEST:: SOT 107078 SOS 61201 HAS SOPS 61201 HAS SOUS 48034 HAS SOUPS 48034 WITH SCORE 48095.201
AT ITER 4623 NEW BEST:: SOT 107054 SOS 61183 HAS SOPS 61183 HAS SOUS 48016 HAS SOUPS 48016 WITH SCORE 48077.183
AT ITER 4627 NEW BEST:: SOT 107054 SOS 61183 HAS SOPS 61183 HAS SOUS 48006 HAS SOUPS 48006 WITH SCORE 48067.183
AT ITER 4639 NEW BEST:: SOT 107054 SOS 61182 HAS SOPS 61182 HAS SOUS 48006 HAS SOUPS 48006 WITH SCORE 48067.182
AT ITER 4641 NEW BEST:: SOT 107046 SOS 61174 HAS SOPS 61174 HAS SOUS 47998 HAS SOUPS 47998 WITH SCORE 48059.174
AT ITER 4686 NEW BEST:: SOT 106974 SOS 61159 HAS SOPS 61159 HAS SOUS 47983 HAS SOUPS 47983 WITH SCORE 48044.159
AT ITER 4727 NEW BEST:: SOT 106859 SOS 61155 HAS SOPS 61155 HAS SOUS 47946 HAS SOUPS 47946 WITH SCORE 48007.155
AT ITER 4746 NEW BEST:: SOT 106808 SOS 61212 HAS SOPS 61212 HAS SOUS 47916 HAS SOUPS 47916 WITH SCORE 47977.212
AT ITER 4756 NEW BEST:: SOT 106808 SOS 61201 HAS SOPS 61201 HAS SOUS 47905 HAS SOUPS 47905 WITH SCORE 47966.201
AT ITER 4762 NEW BEST:: SOT 106811 SOS 61169 HAS SOPS 61169 HAS SOUS 47899 HAS SOUPS 47899 WITH SCORE 47960.169
AT ITER 4767 NEW BEST:: SOT 106809 SOS 61167 HAS SOPS 61167 HAS SOUS 47897 HAS SOUPS 47897 WITH SCORE 47958.167
AT ITER 4796 NEW BEST:: SOT 106789 SOS 61147 HAS SOPS 61147 HAS SOUS 47880 HAS SOUPS 47880 WITH SCORE 47941.147
AT ITER 4803 NEW BEST:: SOT 106731 SOS 61111 HAS SOPS 61111 HAS SOUS 47844 HAS SOUPS 47844 WITH SCORE 47905.111
AT ITER 4805 NEW BEST:: SOT 106662 SOS 61059 HAS SOPS 61059 HAS SOUS 47792 HAS SOUPS 47792 WITH SCORE 47853.059
AT ITER 4818 NEW BEST:: SOT 106634 SOS 61066 HAS SOPS 61066 HAS SOUS 47781 HAS SOUPS 47781 WITH SCORE 47842.066
AT ITER 4827 NEW BEST:: SOT 106640 SOS 61051 HAS SOPS 61051 HAS SOUS 47766 HAS SOUPS 47766 WITH SCORE 47827.051
AT ITER 4849 NEW BEST:: SOT 106638 SOS 61049 HAS SOPS 61049 HAS SOUS 47764 HAS SOUPS 47764 WITH SCORE 47825.049
AT ITER 4865 NEW BEST:: SOT 106637 SOS 61048 HAS SOPS 61048 HAS SOUS 47763 HAS SOUPS 47763 WITH SCORE 47824.048
AT ITER 4878 NEW BEST:: SOT 106637 SOS 61025 HAS SOPS 61025 HAS SOUS 47717 HAS SOUPS 47717 WITH SCORE 47778.025
AT ITER 4900 NEW BEST:: SOT 106598 SOS 60986 HAS SOPS 60986 HAS SOUS 47678 HAS SOUPS 47678 WITH SCORE 47738.986
AT ITER 4940 NEW BEST:: SOT 106597 SOS 60958 HAS SOPS 60958 HAS SOUS 47671 HAS SOUPS 47671 WITH SCORE 47731.958
AT ITER 4949 NEW BEST:: SOT 106597 SOS 60948 HAS SOPS 60948 HAS SOUS 47671 HAS SOUPS 47671 WITH SCORE 47731.948
AT ITER 4955 NEW BEST:: SOT 106510 SOS 60922 HAS SOPS 60922 HAS SOUS 47645 HAS SOUPS 47645 WITH SCORE 47705.922
AT ITER 4970 NEW BEST:: SOT 106493 SOS 60905 HAS SOPS 60905 HAS SOUS 47611 HAS SOUPS 47611 WITH SCORE 47671.905
AT ITER 4991 NEW BEST:: SOT 106428 SOS 60840 HAS SOPS 60840 HAS SOUS 47546 HAS SOUPS 47546 WITH SCORE 47606.84
AT ITER 5012 NEW BEST:: SOT 106358 SOS 60791 HAS SOPS 60791 HAS SOUS 47497 HAS SOUPS 47497 WITH SCORE 47557.791
AT ITER 5028 NEW BEST:: SOT 106334 SOS 60776 HAS SOPS 60776 HAS SOUS 47496 HAS SOUPS 47496 WITH SCORE 47556.776
AT ITER 5066 NEW BEST:: SOT 106313 SOS 60949 HAS SOPS 60949 HAS SOUS 47480 HAS SOUPS 47480 WITH SCORE 47540.949
AT ITER 5067 NEW BEST:: SOT 106304 SOS 60940 HAS SOPS 60940 HAS SOUS 47471 HAS SOUPS 47471 WITH SCORE 47531.94
AT ITER 5069 NEW BEST:: SOT 106304 SOS 60898 HAS SOPS 60898 HAS SOUS 47456 HAS SOUPS 47456 WITH SCORE 47516.898
AT ITER 5072 NEW BEST:: SOT 106318 SOS 60870 HAS SOPS 60870 HAS SOUS 47456 HAS SOUPS 47456 WITH SCORE 47516.87
AT ITER 5080 NEW BEST:: SOT 106315 SOS 60867 HAS SOPS 60867 HAS SOUS 47453 HAS SOUPS 47453 WITH SCORE 47513.867
AT ITER 5112 NEW BEST:: SOT 106341 SOS 60878 HAS SOPS 60878 HAS SOUS 47446 HAS SOUPS 47446 WITH SCORE 47506.878
AT ITER 5143 NEW BEST:: SOT 106338 SOS 60875 HAS SOPS 60875 HAS SOUS 47443 HAS SOUPS 47443 WITH SCORE 47503.875
AT ITER 5156 NEW BEST:: SOT 106338 SOS 60875 HAS SOPS 60875 HAS SOUS 47442 HAS SOUPS 47442 WITH SCORE 47502.875
AT ITER 5209 NEW BEST:: SOT 106323 SOS 60861 HAS SOPS 60861 HAS SOUS 47437 HAS SOUPS 47437 WITH SCORE 47497.861
AT ITER 5212 NEW BEST:: SOT 106021 SOS 60813 HAS SOPS 60813 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47449.813
AT ITER 5246 NEW BEST:: SOT 106021 SOS 60746 HAS SOPS 60746 HAS SOUS 47384 HAS SOUPS 47384 WITH SCORE 47444.746
AT ITER 5298 NEW BEST:: SOT 106007 SOS 60717 HAS SOPS 60717 HAS SOUS 47370 HAS SOUPS 47370 WITH SCORE 47430.717
AT ITER 5316 NEW BEST:: SOT 106007 SOS 60711 HAS SOPS 60711 HAS SOUS 47370 HAS SOUPS 47370 WITH SCORE 47430.711
AT ITER 5330 NEW BEST:: SOT 106230 SOS 60165 HAS SOPS 60165 HAS SOUS 47369 HAS SOUPS 47369 WITH SCORE 47429.165
AT ITER 5331 NEW BEST:: SOT 106216 SOS 60151 HAS SOPS 60151 HAS SOUS 47340 HAS SOUPS 47340 WITH SCORE 47400.151
AT ITER 5333 NEW BEST:: SOT 106216 SOS 60135 HAS SOPS 60135 HAS SOUS 47340 HAS SOUPS 47340 WITH SCORE 47400.135
AT ITER 5381 NEW BEST:: SOT 106035 SOS 60398 HAS SOPS 60398 HAS SOUS 47313 HAS SOUPS 47313 WITH SCORE 47373.398
AT ITER 5408 NEW BEST:: SOT 106011 SOS 60393 HAS SOPS 60393 HAS SOUS 47289 HAS SOUPS 47289 WITH SCORE 47349.393
AT ITER 5412 NEW BEST:: SOT 106011 SOS 60375 HAS SOPS 60375 HAS SOUS 47288 HAS SOUPS 47288 WITH SCORE 47348.375
AT ITER 5417 NEW BEST:: SOT 106011 SOS 60375 HAS SOPS 60375 HAS SOUS 47238 HAS SOUPS 47238 WITH SCORE 47298.375
AT ITER 5432 NEW BEST:: SOT 106012 SOS 60321 HAS SOPS 60321 HAS SOUS 47214 HAS SOUPS 47214 WITH SCORE 47274.321
AT ITER 5434 NEW BEST:: SOT 106012 SOS 60320 HAS SOPS 60320 HAS SOUS 47214 HAS SOUPS 47214 WITH SCORE 47274.32
AT ITER 5443 NEW BEST:: SOT 106012 SOS 60294 HAS SOPS 60294 HAS SOUS 47214 HAS SOUPS 47214 WITH SCORE 47274.294
AT ITER 5450 NEW BEST:: SOT 106005 SOS 60287 HAS SOPS 60287 HAS SOUS 47207 HAS SOUPS 47207 WITH SCORE 47267.287
AT ITER 5467 NEW BEST:: SOT 106021 SOS 60298 HAS SOPS 60298 HAS SOUS 47178 HAS SOUPS 47178 WITH SCORE 47238.298
AT ITER 5472 NEW BEST:: SOT 105997 SOS 60296 HAS SOPS 60296 HAS SOUS 47178 HAS SOUPS 47178 WITH SCORE 47238.296
AT ITER 5476 NEW BEST:: SOT 105907 SOS 60241 HAS SOPS 60241 HAS SOUS 47123 HAS SOUPS 47123 WITH SCORE 47183.241
AT ITER 5484 NEW BEST:: SOT 105851 SOS 60236 HAS SOPS 60236 HAS SOUS 47118 HAS SOUPS 47118 WITH SCORE 47178.236
AT ITER 5509 NEW BEST:: SOT 105846 SOS 60231 HAS SOPS 60231 HAS SOUS 47113 HAS SOUPS 47113 WITH SCORE 47173.231
AT ITER 5512 NEW BEST:: SOT 105829 SOS 60214 HAS SOPS 60214 HAS SOUS 47096 HAS SOUPS 47096 WITH SCORE 47156.214
AT ITER 5515 NEW BEST:: SOT 105829 SOS 60214 HAS SOPS 60214 HAS SOUS 47068 HAS SOUPS 47068 WITH SCORE 47128.214
AT ITER 5542 NEW BEST:: SOT 105807 SOS 60160 HAS SOPS 60160 HAS SOUS 47024 HAS SOUPS 47024 WITH SCORE 47084.16
AT ITER 5545 NEW BEST:: SOT 105812 SOS 60165 HAS SOPS 60165 HAS SOUS 47016 HAS SOUPS 47016 WITH SCORE 47076.165
AT ITER 5554 NEW BEST:: SOT 105819 SOS 60172 HAS SOPS 60172 HAS SOUS 47001 HAS SOUPS 47001 WITH SCORE 47061.172
AT ITER 5555 NEW BEST:: SOT 105803 SOS 60140 HAS SOPS 60140 HAS SOUS 46967 HAS SOUPS 46967 WITH SCORE 47027.14
AT ITER 5557 NEW BEST:: SOT 105803 SOS 60132 HAS SOPS 60132 HAS SOUS 46963 HAS SOUPS 46963 WITH SCORE 47023.132
AT ITER 5568 NEW BEST:: SOT 105752 SOS 60124 HAS SOPS 60124 HAS SOUS 46955 HAS SOUPS 46955 WITH SCORE 47015.124
AT ITER 5591 NEW BEST:: SOT 105752 SOS 60125 HAS SOPS 60125 HAS SOUS 46946 HAS SOUPS 46946 WITH SCORE 47006.125
AT ITER 5599 NEW BEST:: SOT 105749 SOS 60122 HAS SOPS 60122 HAS SOUS 46943 HAS SOUPS 46943 WITH SCORE 47003.122
AT ITER 5608 NEW BEST:: SOT 105749 SOS 60106 HAS SOPS 60106 HAS SOUS 46943 HAS SOUPS 46943 WITH SCORE 47003.106
AT ITER 5632 NEW BEST:: SOT 105749 SOS 59882 HAS SOPS 59882 HAS SOUS 46942 HAS SOUPS 46942 WITH SCORE 47001.882
AT ITER 5639 NEW BEST:: SOT 105731 SOS 59885 HAS SOPS 59885 HAS SOUS 46924 HAS SOUPS 46924 WITH SCORE 46983.885
AT ITER 5654 NEW BEST:: SOT 105731 SOS 59885 HAS SOPS 59885 HAS SOUS 46907 HAS SOUPS 46907 WITH SCORE 46966.885
AT ITER 5691 NEW BEST:: SOT 105686 SOS 59840 HAS SOPS 59840 HAS SOUS 46862 HAS SOUPS 46862 WITH SCORE 46921.84
AT ITER 5715 NEW BEST:: SOT 105686 SOS 59735 HAS SOPS 59735 HAS SOUS 46839 HAS SOUPS 46839 WITH SCORE 46898.735
AT ITER 5719 NEW BEST:: SOT 105692 SOS 59771 HAS SOPS 59771 HAS SOUS 46825 HAS SOUPS 46825 WITH SCORE 46884.771
AT ITER 5721 NEW BEST:: SOT 105601 SOS 59707 HAS SOPS 59707 HAS SOUS 46761 HAS SOUPS 46761 WITH SCORE 46820.707
AT ITER 5724 NEW BEST:: SOT 105580 SOS 59693 HAS SOPS 59693 HAS SOUS 46747 HAS SOUPS 46747 WITH SCORE 46806.693
AT ITER 5734 NEW BEST:: SOT 105562 SOS 59675 HAS SOPS 59675 HAS SOUS 46729 HAS SOUPS 46729 WITH SCORE 46788.675
AT ITER 5738 NEW BEST:: SOT 105562 SOS 59675 HAS SOPS 59675 HAS SOUS 46699 HAS SOUPS 46699 WITH SCORE 46758.675
AT ITER 5740 NEW BEST:: SOT 105549 SOS 59662 HAS SOPS 59662 HAS SOUS 46686 HAS SOUPS 46686 WITH SCORE 46745.662
AT ITER 5765 NEW BEST:: SOT 105547 SOS 59653 HAS SOPS 59653 HAS SOUS 46681 HAS SOUPS 46681 WITH SCORE 46740.653
AT ITER 5767 NEW BEST:: SOT 105546 SOS 59645 HAS SOPS 59645 HAS SOUS 46679 HAS SOUPS 46679 WITH SCORE 46738.645
AT ITER 5781 NEW BEST:: SOT 105701 SOS 59719 HAS SOPS 59719 HAS SOUS 46676 HAS SOUPS 46676 WITH SCORE 46735.719
AT ITER 5789 NEW BEST:: SOT 105701 SOS 59684 HAS SOPS 59684 HAS SOUS 46676 HAS SOUPS 46676 WITH SCORE 46735.684
AT ITER 5790 NEW BEST:: SOT 105676 SOS 59659 HAS SOPS 59659 HAS SOUS 46625 HAS SOUPS 46625 WITH SCORE 46684.659
AT ITER 5792 NEW BEST:: SOT 105676 SOS 59646 HAS SOPS 59646 HAS SOUS 46625 HAS SOUPS 46625 WITH SCORE 46684.646
AT ITER 5804 NEW BEST:: SOT 105676 SOS 59638 HAS SOPS 59638 HAS SOUS 46625 HAS SOUPS 46625 WITH SCORE 46684.638
AT ITER 5813 NEW BEST:: SOT 105675 SOS 59636 HAS SOPS 59636 HAS SOUS 46612 HAS SOUPS 46612 WITH SCORE 46671.636
AT ITER 5822 NEW BEST:: SOT 105605 SOS 59880 HAS SOPS 59880 HAS SOUS 46586 HAS SOUPS 46586 WITH SCORE 46645.88
AT ITER 5831 NEW BEST:: SOT 105602 SOS 59863 HAS SOPS 59863 HAS SOUS 46582 HAS SOUPS 46582 WITH SCORE 46641.863
AT ITER 5838 NEW BEST:: SOT 105583 SOS 59844 HAS SOPS 59844 HAS SOUS 46563 HAS SOUPS 46563 WITH SCORE 46622.844
AT ITER 5844 NEW BEST:: SOT 105528 SOS 59789 HAS SOPS 59789 HAS SOUS 46508 HAS SOUPS 46508 WITH SCORE 46567.789
AT ITER 5896 NEW BEST:: SOT 105501 SOS 59762 HAS SOPS 59762 HAS SOUS 46481 HAS SOUPS 46481 WITH SCORE 46540.762
AT ITER 5935 NEW BEST:: SOT 105431 SOS 59747 HAS SOPS 59747 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46525.747
AT ITER 5954 NEW BEST:: SOT 105418 SOS 59727 HAS SOPS 59727 HAS SOUS 46434 HAS SOUPS 46434 WITH SCORE 46493.727
AT ITER 5960 NEW BEST:: SOT 105418 SOS 59698 HAS SOPS 59698 HAS SOUS 46434 HAS SOUPS 46434 WITH SCORE 46493.698
AT ITER 5967 NEW BEST:: SOT 105401 SOS 59681 HAS SOPS 59681 HAS SOUS 46417 HAS SOUPS 46417 WITH SCORE 46476.681
AT ITER 5982 NEW BEST:: SOT 105401 SOS 59681 HAS SOPS 59681 HAS SOUS 46410 HAS SOUPS 46410 WITH SCORE 46469.681
AT ITER 6033 NEW BEST:: SOT 105401 SOS 59670 HAS SOPS 59670 HAS SOUS 46399 HAS SOUPS 46399 WITH SCORE 46458.67
AT ITER 6047 NEW BEST:: SOT 105372 SOS 59704 HAS SOPS 59704 HAS SOUS 46386 HAS SOUPS 46386 WITH SCORE 46445.704
AT ITER 6090 NEW BEST:: SOT 105352 SOS 59658 HAS SOPS 59658 HAS SOUS 46340 HAS SOUPS 46340 WITH SCORE 46399.658
AT ITER 6094 NEW BEST:: SOT 105352 SOS 59636 HAS SOPS 59636 HAS SOUS 46340 HAS SOUPS 46340 WITH SCORE 46399.636
AT ITER 6099 NEW BEST:: SOT 105346 SOS 59630 HAS SOPS 59630 HAS SOUS 46334 HAS SOUPS 46334 WITH SCORE 46393.63
AT ITER 6125 NEW BEST:: SOT 105389 SOS 59657 HAS SOPS 59657 HAS SOUS 46329 HAS SOUPS 46329 WITH SCORE 46388.657
AT ITER 6129 NEW BEST:: SOT 105350 SOS 59618 HAS SOPS 59618 HAS SOUS 46302 HAS SOUPS 46302 WITH SCORE 46361.618
AT ITER 6138 NEW BEST:: SOT 105285 SOS 59553 HAS SOPS 59553 HAS SOUS 46237 HAS SOUPS 46237 WITH SCORE 46296.553
AT ITER 6154 NEW BEST:: SOT 105280 SOS 59548 HAS SOPS 59548 HAS SOUS 46232 HAS SOUPS 46232 WITH SCORE 46291.548
AT ITER 6155 NEW BEST:: SOT 105221 SOS 59489 HAS SOPS 59489 HAS SOUS 46173 HAS SOUPS 46173 WITH SCORE 46232.489
AT ITER 6204 NEW BEST:: SOT 105221 SOS 59483 HAS SOPS 59483 HAS SOUS 46173 HAS SOUPS 46173 WITH SCORE 46232.483
AT ITER 6206 NEW BEST:: SOT 105210 SOS 59445 HAS SOPS 59445 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46174.445
AT ITER 6228 NEW BEST:: SOT 105205 SOS 59456 HAS SOPS 59456 HAS SOUS 46112 HAS SOUPS 46112 WITH SCORE 46171.456
AT ITER 6254 NEW BEST:: SOT 105113 SOS 59405 HAS SOPS 59405 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46120.405
AT ITER 6266 NEW BEST:: SOT 105110 SOS 59402 HAS SOPS 59402 HAS SOUS 46058 HAS SOUPS 46058 WITH SCORE 46117.402
AT ITER 6278 NEW BEST:: SOT 105110 SOS 59402 HAS SOPS 59402 HAS SOUS 46023 HAS SOUPS 46023 WITH SCORE 46082.402
AT ITER 6311 NEW BEST:: SOT 105109 SOS 59399 HAS SOPS 59399 HAS SOUS 46022 HAS SOUPS 46022 WITH SCORE 46081.399
AT ITER 6370 NEW BEST:: SOT 105002 SOS 59304 HAS SOPS 59304 HAS SOUS 45927 HAS SOUPS 45927 WITH SCORE 45986.304
AT ITER 6377 NEW BEST:: SOT 105002 SOS 59181 HAS SOPS 59181 HAS SOUS 45927 HAS SOUPS 45927 WITH SCORE 45986.181
AT ITER 6409 NEW BEST:: SOT 104932 SOS 59171 HAS SOPS 59171 HAS SOUS 45917 HAS SOUPS 45917 WITH SCORE 45976.171
AT ITER 6415 NEW BEST:: SOT 104914 SOS 59174 HAS SOPS 59174 HAS SOUS 45915 HAS SOUPS 45915 WITH SCORE 45974.174
AT ITER 6423 NEW BEST:: SOT 104914 SOS 59150 HAS SOPS 59150 HAS SOUS 45914 HAS SOUPS 45914 WITH SCORE 45973.15
AT ITER 6441 NEW BEST:: SOT 104908 SOS 59146 HAS SOPS 59146 HAS SOUS 45910 HAS SOUPS 45910 WITH SCORE 45969.146
AT ITER 6510 NEW BEST:: SOT 104877 SOS 59129 HAS SOPS 59129 HAS SOUS 45893 HAS SOUPS 45893 WITH SCORE 45952.129
AT ITER 6543 NEW BEST:: SOT 104875 SOS 59127 HAS SOPS 59127 HAS SOUS 45891 HAS SOUPS 45891 WITH SCORE 45950.127
AT ITER 6564 NEW BEST:: SOT 104875 SOS 59089 HAS SOPS 59089 HAS SOUS 45891 HAS SOUPS 45891 WITH SCORE 45950.089
AT ITER 6583 NEW BEST:: SOT 104855 SOS 59069 HAS SOPS 59069 HAS SOUS 45871 HAS SOUPS 45871 WITH SCORE 45930.069
AT ITER 6602 NEW BEST:: SOT 104909 SOS 58935 HAS SOPS 58935 HAS SOUS 45802 HAS SOUPS 45802 WITH SCORE 45860.935
AT ITER 6627 NEW BEST:: SOT 104909 SOS 58909 HAS SOPS 58909 HAS SOUS 45802 HAS SOUPS 45802 WITH SCORE 45860.909
AT ITER 6629 NEW BEST:: SOT 104909 SOS 58909 HAS SOPS 58909 HAS SOUS 45800 HAS SOUPS 45800 WITH SCORE 45858.909
AT ITER 6643 NEW BEST:: SOT 104949 SOS 58792 HAS SOPS 58792 HAS SOUS 45738 HAS SOUPS 45738 WITH SCORE 45796.792
AT ITER 6674 NEW BEST:: SOT 104937 SOS 58780 HAS SOPS 58780 HAS SOUS 45726 HAS SOUPS 45726 WITH SCORE 45784.78
AT ITER 6675 NEW BEST:: SOT 104935 SOS 58778 HAS SOPS 58778 HAS SOUS 45724 HAS SOUPS 45724 WITH SCORE 45782.778
AT ITER 6679 NEW BEST:: SOT 104930 SOS 58807 HAS SOPS 58807 HAS SOUS 45719 HAS SOUPS 45719 WITH SCORE 45777.807
AT ITER 6684 NEW BEST:: SOT 104916 SOS 58793 HAS SOPS 58793 HAS SOUS 45705 HAS SOUPS 45705 WITH SCORE 45763.793
AT ITER 6686 NEW BEST:: SOT 104897 SOS 58762 HAS SOPS 58762 HAS SOUS 45680 HAS SOUPS 45680 WITH SCORE 45738.762
AT ITER 6692 NEW BEST:: SOT 104866 SOS 58731 HAS SOPS 58731 HAS SOUS 45649 HAS SOUPS 45649 WITH SCORE 45707.731
AT ITER 6695 NEW BEST:: SOT 104833 SOS 58743 HAS SOPS 58743 HAS SOUS 45636 HAS SOUPS 45636 WITH SCORE 45694.743
AT ITER 6754 NEW BEST:: SOT 104818 SOS 58728 HAS SOPS 58728 HAS SOUS 45621 HAS SOUPS 45621 WITH SCORE 45679.728
AT ITER 6762 NEW BEST:: SOT 104818 SOS 58719 HAS SOPS 58719 HAS SOUS 45621 HAS SOUPS 45621 WITH SCORE 45679.719
AT ITER 6763 NEW BEST:: SOT 104763 SOS 58691 HAS SOPS 58691 HAS SOUS 45578 HAS SOUPS 45578 WITH SCORE 45636.691
AT ITER 6770 NEW BEST:: SOT 104762 SOS 58690 HAS SOPS 58690 HAS SOUS 45577 HAS SOUPS 45577 WITH SCORE 45635.69
AT ITER 6773 NEW BEST:: SOT 104762 SOS 58690 HAS SOPS 58690 HAS SOUS 45573 HAS SOUPS 45573 WITH SCORE 45631.69
AT ITER 6810 NEW BEST:: SOT 104805 SOS 58734 HAS SOPS 58734 HAS SOUS 45557 HAS SOUPS 45557 WITH SCORE 45615.734
AT ITER 6830 NEW BEST:: SOT 104824 SOS 58721 HAS SOPS 58721 HAS SOUS 45544 HAS SOUPS 45544 WITH SCORE 45602.721
AT ITER 6843 NEW BEST:: SOT 104810 SOS 58707 HAS SOPS 58707 HAS SOUS 45530 HAS SOUPS 45530 WITH SCORE 45588.707
AT ITER 6851 NEW BEST:: SOT 104810 SOS 58722 HAS SOPS 58722 HAS SOUS 45518 HAS SOUPS 45518 WITH SCORE 45576.722
AT ITER 6886 NEW BEST:: SOT 104787 SOS 58742 HAS SOPS 58742 HAS SOUS 45495 HAS SOUPS 45495 WITH SCORE 45553.742
AT ITER 6921 NEW BEST:: SOT 104787 SOS 58742 HAS SOPS 58742 HAS SOUS 45472 HAS SOUPS 45472 WITH SCORE 45530.742
AT ITER 6955 NEW BEST:: SOT 104796 SOS 58713 HAS SOPS 58713 HAS SOUS 45462 HAS SOUPS 45462 WITH SCORE 45520.713
AT ITER 6957 NEW BEST:: SOT 104772 SOS 58689 HAS SOPS 58689 HAS SOUS 45438 HAS SOUPS 45438 WITH SCORE 45496.689
AT ITER 6964 NEW BEST:: SOT 104726 SOS 58654 HAS SOPS 58654 HAS SOUS 45403 HAS SOUPS 45403 WITH SCORE 45461.654
AT ITER 7008 NEW BEST:: SOT 104714 SOS 58654 HAS SOPS 58654 HAS SOUS 45397 HAS SOUPS 45397 WITH SCORE 45455.654
AT ITER 7018 NEW BEST:: SOT 104664 SOS 58664 HAS SOPS 58664 HAS SOUS 45387 HAS SOUPS 45387 WITH SCORE 45445.664
AT ITER 7034 NEW BEST:: SOT 104664 SOS 58664 HAS SOPS 58664 HAS SOUS 45376 HAS SOUPS 45376 WITH SCORE 45434.664
AT ITER 7053 NEW BEST:: SOT 104650 SOS 58650 HAS SOPS 58650 HAS SOUS 45362 HAS SOUPS 45362 WITH SCORE 45420.65
AT ITER 7058 NEW BEST:: SOT 104660 SOS 58660 HAS SOPS 58660 HAS SOUS 45341 HAS SOUPS 45341 WITH SCORE 45399.66
AT ITER 7065 NEW BEST:: SOT 104660 SOS 58659 HAS SOPS 58659 HAS SOUS 45341 HAS SOUPS 45341 WITH SCORE 45399.659
AT ITER 7072 NEW BEST:: SOT 104660 SOS 58612 HAS SOPS 58612 HAS SOUS 45339 HAS SOUPS 45339 WITH SCORE 45397.612
AT ITER 7110 NEW BEST:: SOT 104660 SOS 58568 HAS SOPS 58568 HAS SOUS 45339 HAS SOUPS 45339 WITH SCORE 45397.568
AT ITER 7119 NEW BEST:: SOT 104528 SOS 58482 HAS SOPS 58482 HAS SOUS 45322 HAS SOUPS 45322 WITH SCORE 45380.482
AT ITER 7141 NEW BEST:: SOT 104523 SOS 58477 HAS SOPS 58477 HAS SOUS 45317 HAS SOUPS 45317 WITH SCORE 45375.477
AT ITER 7153 NEW BEST:: SOT 104511 SOS 58473 HAS SOPS 58473 HAS SOUS 45309 HAS SOUPS 45309 WITH SCORE 45367.473
AT ITER 7157 NEW BEST:: SOT 104500 SOS 58471 HAS SOPS 58471 HAS SOUS 45304 HAS SOUPS 45304 WITH SCORE 45362.471
AT ITER 7179 NEW BEST:: SOT 104496 SOS 58467 HAS SOPS 58467 HAS SOUS 45300 HAS SOUPS 45300 WITH SCORE 45358.467
AT ITER 7200 NEW BEST:: SOT 104496 SOS 58463 HAS SOPS 58463 HAS SOUS 45300 HAS SOUPS 45300 WITH SCORE 45358.463
AT ITER 7203 NEW BEST:: SOT 104386 SOS 58594 HAS SOPS 58594 HAS SOUS 45224 HAS SOUPS 45224 WITH SCORE 45282.594
AT ITER 7223 NEW BEST:: SOT 104414 SOS 58598 HAS SOPS 58598 HAS SOUS 45217 HAS SOUPS 45217 WITH SCORE 45275.598
AT ITER 7239 NEW BEST:: SOT 104414 SOS 58590 HAS SOPS 58590 HAS SOUS 45200 HAS SOUPS 45200 WITH SCORE 45258.59
AT ITER 7256 NEW BEST:: SOT 104410 SOS 58586 HAS SOPS 58586 HAS SOUS 45196 HAS SOUPS 45196 WITH SCORE 45254.586
AT ITER 7259 NEW BEST:: SOT 104408 SOS 58584 HAS SOPS 58584 HAS SOUS 45194 HAS SOUPS 45194 WITH SCORE 45252.584
AT ITER 7274 NEW BEST:: SOT 104367 SOS 58543 HAS SOPS 58543 HAS SOUS 45153 HAS SOUPS 45153 WITH SCORE 45211.543
AT ITER 7316 NEW BEST:: SOT 104312 SOS 58521 HAS SOPS 58521 HAS SOUS 45131 HAS SOUPS 45131 WITH SCORE 45189.521
AT ITER 7335 NEW BEST:: SOT 104309 SOS 58518 HAS SOPS 58518 HAS SOUS 45128 HAS SOUPS 45128 WITH SCORE 45186.518
AT ITER 7344 NEW BEST:: SOT 104179 SOS 58524 HAS SOPS 58524 HAS SOUS 45026 HAS SOUPS 45026 WITH SCORE 45084.524
AT ITER 7348 NEW BEST:: SOT 104191 SOS 58522 HAS SOPS 58522 HAS SOUS 45024 HAS SOUPS 45024 WITH SCORE 45082.522
AT ITER 7376 NEW BEST:: SOT 104191 SOS 58500 HAS SOPS 58500 HAS SOUS 45024 HAS SOUPS 45024 WITH SCORE 45082.5
AT ITER 7421 NEW BEST:: SOT 104191 SOS 58500 HAS SOPS 58500 HAS SOUS 45016 HAS SOUPS 45016 WITH SCORE 45074.5
AT ITER 7427 NEW BEST:: SOT 104187 SOS 58494 HAS SOPS 58494 HAS SOUS 45008 HAS SOUPS 45008 WITH SCORE 45066.494
AT ITER 7431 NEW BEST:: SOT 104246 SOS 58569 HAS SOPS 58569 HAS SOUS 44987 HAS SOUPS 44987 WITH SCORE 45045.569
AT ITER 7435 NEW BEST:: SOT 104239 SOS 58550 HAS SOPS 58550 HAS SOUS 44967 HAS SOUPS 44967 WITH SCORE 45025.55
AT ITER 7452 NEW BEST:: SOT 104239 SOS 58522 HAS SOPS 58522 HAS SOUS 44967 HAS SOUPS 44967 WITH SCORE 45025.522
AT ITER 7457 NEW BEST:: SOT 104232 SOS 58544 HAS SOPS 58544 HAS SOUS 44960 HAS SOUPS 44960 WITH SCORE 45018.544
AT ITER 7484 NEW BEST:: SOT 104202 SOS 58570 HAS SOPS 58570 HAS SOUS 44958 HAS SOUPS 44958 WITH SCORE 45016.57
AT ITER 7485 NEW BEST:: SOT 104202 SOS 58610 HAS SOPS 58610 HAS SOUS 44944 HAS SOUPS 44944 WITH SCORE 45002.61
AT ITER 7544 NEW BEST:: SOT 104202 SOS 58608 HAS SOPS 58608 HAS SOUS 44944 HAS SOUPS 44944 WITH SCORE 45002.608
AT ITER 7549 NEW BEST:: SOT 104384 SOS 57843 HAS SOPS 57843 HAS SOUS 44937 HAS SOUPS 44937 WITH SCORE 44994.843
AT ITER 7552 NEW BEST:: SOT 104265 SOS 57874 HAS SOPS 57874 HAS SOUS 44880 HAS SOUPS 44880 WITH SCORE 44937.874
AT ITER 7557 NEW BEST:: SOT 104265 SOS 57877 HAS SOPS 57877 HAS SOUS 44877 HAS SOUPS 44877 WITH SCORE 44934.877
AT ITER 7578 NEW BEST:: SOT 104127 SOS 57635 HAS SOPS 57635 HAS SOUS 44797 HAS SOUPS 44797 WITH SCORE 44854.635
AT ITER 7579 NEW BEST:: SOT 104115 SOS 57641 HAS SOPS 57641 HAS SOUS 44790 HAS SOUPS 44790 WITH SCORE 44847.641
AT ITER 7598 NEW BEST:: SOT 104111 SOS 57657 HAS SOPS 57657 HAS SOUS 44786 HAS SOUPS 44786 WITH SCORE 44843.657
AT ITER 7635 NEW BEST:: SOT 104111 SOS 57657 HAS SOPS 57657 HAS SOUS 44783 HAS SOUPS 44783 WITH SCORE 44840.657
AT ITER 7652 NEW BEST:: SOT 104111 SOS 57643 HAS SOPS 57643 HAS SOUS 44783 HAS SOUPS 44783 WITH SCORE 44840.643
AT ITER 7674 NEW BEST:: SOT 104083 SOS 57634 HAS SOPS 57634 HAS SOUS 44774 HAS SOUPS 44774 WITH SCORE 44831.634
AT ITER 7680 NEW BEST:: SOT 104078 SOS 57629 HAS SOPS 57629 HAS SOUS 44769 HAS SOUPS 44769 WITH SCORE 44826.629
AT ITER 7689 NEW BEST:: SOT 104057 SOS 57630 HAS SOPS 57630 HAS SOUS 44759 HAS SOUPS 44759 WITH SCORE 44816.63
AT ITER 7697 NEW BEST:: SOT 104057 SOS 57597 HAS SOPS 57597 HAS SOUS 44748 HAS SOUPS 44748 WITH SCORE 44805.597
AT ITER 7708 NEW BEST:: SOT 104057 SOS 57616 HAS SOPS 57616 HAS SOUS 44733 HAS SOUPS 44733 WITH SCORE 44790.616
AT ITER 7732 NEW BEST:: SOT 104035 SOS 57594 HAS SOPS 57594 HAS SOUS 44711 HAS SOUPS 44711 WITH SCORE 44768.594
AT ITER 7734 NEW BEST:: SOT 104018 SOS 57577 HAS SOPS 57577 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44751.577
AT ITER 7747 NEW BEST:: SOT 103973 SOS 57562 HAS SOPS 57562 HAS SOUS 44664 HAS SOUPS 44664 WITH SCORE 44721.562
AT ITER 7750 NEW BEST:: SOT 103944 SOS 57571 HAS SOPS 57571 HAS SOUS 44618 HAS SOUPS 44618 WITH SCORE 44675.571
AT ITER 7760 NEW BEST:: SOT 103929 SOS 57532 HAS SOPS 57532 HAS SOUS 44585 HAS SOUPS 44585 WITH SCORE 44642.532
AT ITER 7780 NEW BEST:: SOT 103929 SOS 57536 HAS SOPS 57536 HAS SOUS 44533 HAS SOUPS 44533 WITH SCORE 44590.536
AT ITER 7784 NEW BEST:: SOT 103876 SOS 57466 HAS SOPS 57466 HAS SOUS 44466 HAS SOUPS 44466 WITH SCORE 44523.466
AT ITER 7843 NEW BEST:: SOT 103894 SOS 57484 HAS SOPS 57484 HAS SOUS 44464 HAS SOUPS 44464 WITH SCORE 44521.484
AT ITER 7868 NEW BEST:: SOT 103889 SOS 57479 HAS SOPS 57479 HAS SOUS 44459 HAS SOUPS 44459 WITH SCORE 44516.479
AT ITER 7883 NEW BEST:: SOT 103889 SOS 57460 HAS SOPS 57460 HAS SOUS 44454 HAS SOUPS 44454 WITH SCORE 44511.46
AT ITER 7893 NEW BEST:: SOT 103866 SOS 57449 HAS SOPS 57449 HAS SOUS 44443 HAS SOUPS 44443 WITH SCORE 44500.449
AT ITER 7894 NEW BEST:: SOT 103865 SOS 57448 HAS SOPS 57448 HAS SOUS 44442 HAS SOUPS 44442 WITH SCORE 44499.448
AT ITER 7901 NEW BEST:: SOT 103865 SOS 57437 HAS SOPS 57437 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44488.437
AT ITER 7911 NEW BEST:: SOT 103865 SOS 57434 HAS SOPS 57434 HAS SOUS 44428 HAS SOUPS 44428 WITH SCORE 44485.434
AT ITER 7925 NEW BEST:: SOT 103853 SOS 57422 HAS SOPS 57422 HAS SOUS 44416 HAS SOUPS 44416 WITH SCORE 44473.422
AT ITER 7939 NEW BEST:: SOT 103853 SOS 57387 HAS SOPS 57387 HAS SOUS 44416 HAS SOUPS 44416 WITH SCORE 44473.387
AT ITER 7954 NEW BEST:: SOT 103840 SOS 57354 HAS SOPS 57354 HAS SOUS 44408 HAS SOUPS 44408 WITH SCORE 44465.354
AT ITER 7975 NEW BEST:: SOT 103806 SOS 57320 HAS SOPS 57320 HAS SOUS 44374 HAS SOUPS 44374 WITH SCORE 44431.32
AT ITER 8012 NEW BEST:: SOT 103786 SOS 57314 HAS SOPS 57314 HAS SOUS 44354 HAS SOUPS 44354 WITH SCORE 44411.314
AT ITER 8015 NEW BEST:: SOT 103776 SOS 57425 HAS SOPS 57425 HAS SOUS 44350 HAS SOUPS 44350 WITH SCORE 44407.425
AT ITER 8019 NEW BEST:: SOT 103776 SOS 57411 HAS SOPS 57411 HAS SOUS 44350 HAS SOUPS 44350 WITH SCORE 44407.411
AT ITER 8055 NEW BEST:: SOT 103781 SOS 57416 HAS SOPS 57416 HAS SOUS 44349 HAS SOUPS 44349 WITH SCORE 44406.416
AT ITER 8067 NEW BEST:: SOT 103781 SOS 57412 HAS SOPS 57412 HAS SOUS 44349 HAS SOUPS 44349 WITH SCORE 44406.412
AT ITER 8069 NEW BEST:: SOT 103765 SOS 57396 HAS SOPS 57396 HAS SOUS 44332 HAS SOUPS 44332 WITH SCORE 44389.396
AT ITER 8088 NEW BEST:: SOT 103731 SOS 57362 HAS SOPS 57362 HAS SOUS 44298 HAS SOUPS 44298 WITH SCORE 44355.362
AT ITER 8096 NEW BEST:: SOT 103697 SOS 57342 HAS SOPS 57342 HAS SOUS 44278 HAS SOUPS 44278 WITH SCORE 44335.342
AT ITER 8145 NEW BEST:: SOT 103557 SOS 57214 HAS SOPS 57214 HAS SOUS 44151 HAS SOUPS 44151 WITH SCORE 44208.214
AT ITER 8149 NEW BEST:: SOT 103556 SOS 57213 HAS SOPS 57213 HAS SOUS 44150 HAS SOUPS 44150 WITH SCORE 44207.213
AT ITER 8154 NEW BEST:: SOT 103543 SOS 57236 HAS SOPS 57236 HAS SOUS 44139 HAS SOUPS 44139 WITH SCORE 44196.236
AT ITER 8172 NEW BEST:: SOT 103538 SOS 57231 HAS SOPS 57231 HAS SOUS 44134 HAS SOUPS 44134 WITH SCORE 44191.231
AT ITER 8176 NEW BEST:: SOT 103538 SOS 57213 HAS SOPS 57213 HAS SOUS 44134 HAS SOUPS 44134 WITH SCORE 44191.213
AT ITER 8189 NEW BEST:: SOT 103516 SOS 57191 HAS SOPS 57191 HAS SOUS 44080 HAS SOUPS 44080 WITH SCORE 44137.191
AT ITER 8199 NEW BEST:: SOT 103504 SOS 57179 HAS SOPS 57179 HAS SOUS 44068 HAS SOUPS 44068 WITH SCORE 44125.179
AT ITER 8209 NEW BEST:: SOT 103504 SOS 57152 HAS SOPS 57152 HAS SOUS 44064 HAS SOUPS 44064 WITH SCORE 44121.152
AT ITER 8210 NEW BEST:: SOT 103505 SOS 57146 HAS SOPS 57146 HAS SOUS 44058 HAS SOUPS 44058 WITH SCORE 44115.146
AT ITER 8236 NEW BEST:: SOT 103495 SOS 57136 HAS SOPS 57136 HAS SOUS 44043 HAS SOUPS 44043 WITH SCORE 44100.136
AT ITER 8335 NEW BEST:: SOT 103537 SOS 57139 HAS SOPS 57139 HAS SOUS 44014 HAS SOUPS 44014 WITH SCORE 44071.139
AT ITER 8359 NEW BEST:: SOT 103586 SOS 56932 HAS SOPS 56932 HAS SOUS 43999 HAS SOUPS 43999 WITH SCORE 44055.932
AT ITER 8370 NEW BEST:: SOT 103488 SOS 56874 HAS SOPS 56874 HAS SOUS 43979 HAS SOUPS 43979 WITH SCORE 44035.874
AT ITER 8390 NEW BEST:: SOT 103488 SOS 56874 HAS SOPS 56874 HAS SOUS 43968 HAS SOUPS 43968 WITH SCORE 44024.874
AT ITER 8414 NEW BEST:: SOT 103488 SOS 56833 HAS SOPS 56833 HAS SOUS 43968 HAS SOUPS 43968 WITH SCORE 44024.833
AT ITER 8421 NEW BEST:: SOT 103484 SOS 56829 HAS SOPS 56829 HAS SOUS 43964 HAS SOUPS 43964 WITH SCORE 44020.829
AT ITER 8456 NEW BEST:: SOT 103479 SOS 56824 HAS SOPS 56824 HAS SOUS 43959 HAS SOUPS 43959 WITH SCORE 44015.824
AT ITER 8481 NEW BEST:: SOT 103479 SOS 56820 HAS SOPS 56820 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44013.82
AT ITER 8488 NEW BEST:: SOT 103426 SOS 56794 HAS SOPS 56794 HAS SOUS 43931 HAS SOUPS 43931 WITH SCORE 43987.794
AT ITER 8492 NEW BEST:: SOT 103380 SOS 56773 HAS SOPS 56773 HAS SOUS 43910 HAS SOUPS 43910 WITH SCORE 43966.773
AT ITER 8503 NEW BEST:: SOT 103361 SOS 56754 HAS SOPS 56754 HAS SOUS 43891 HAS SOUPS 43891 WITH SCORE 43947.754
AT ITER 8508 NEW BEST:: SOT 103354 SOS 56747 HAS SOPS 56747 HAS SOUS 43884 HAS SOUPS 43884 WITH SCORE 43940.747
AT ITER 8539 NEW BEST:: SOT 103436 SOS 56730 HAS SOPS 56730 HAS SOUS 43876 HAS SOUPS 43876 WITH SCORE 43932.73
AT ITER 8552 NEW BEST:: SOT 103419 SOS 56713 HAS SOPS 56713 HAS SOUS 43859 HAS SOUPS 43859 WITH SCORE 43915.713
AT ITER 8558 NEW BEST:: SOT 103418 SOS 56712 HAS SOPS 56712 HAS SOUS 43858 HAS SOUPS 43858 WITH SCORE 43914.712
AT ITER 8601 NEW BEST:: SOT 103416 SOS 56710 HAS SOPS 56710 HAS SOUS 43854 HAS SOUPS 43854 WITH SCORE 43910.71
AT ITER 8620 NEW BEST:: SOT 103404 SOS 56698 HAS SOPS 56698 HAS SOUS 43842 HAS SOUPS 43842 WITH SCORE 43898.698
AT ITER 8624 NEW BEST:: SOT 103387 SOS 56695 HAS SOPS 56695 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 43890.695
AT ITER 8632 NEW BEST:: SOT 103360 SOS 56680 HAS SOPS 56680 HAS SOUS 43822 HAS SOUPS 43822 WITH SCORE 43878.68
AT ITER 8649 NEW BEST:: SOT 103310 SOS 56630 HAS SOPS 56630 HAS SOUS 43772 HAS SOUPS 43772 WITH SCORE 43828.63
AT ITER 8667 NEW BEST:: SOT 103309 SOS 56617 HAS SOPS 56617 HAS SOUS 43759 HAS SOUPS 43759 WITH SCORE 43815.617
AT ITER 8711 NEW BEST:: SOT 103318 SOS 56626 HAS SOPS 56626 HAS SOUS 43744 HAS SOUPS 43744 WITH SCORE 43800.626
AT ITER 8759 NEW BEST:: SOT 103296 SOS 56604 HAS SOPS 56604 HAS SOUS 43722 HAS SOUPS 43722 WITH SCORE 43778.604
AT ITER 8763 NEW BEST:: SOT 103294 SOS 56602 HAS SOPS 56602 HAS SOUS 43697 HAS SOUPS 43697 WITH SCORE 43753.602
AT ITER 8765 NEW BEST:: SOT 103292 SOS 56600 HAS SOPS 56600 HAS SOUS 43695 HAS SOUPS 43695 WITH SCORE 43751.6
AT ITER 8788 NEW BEST:: SOT 103283 SOS 56591 HAS SOPS 56591 HAS SOUS 43686 HAS SOUPS 43686 WITH SCORE 43742.591
AT ITER 8790 NEW BEST:: SOT 103256 SOS 56600 HAS SOPS 56600 HAS SOUS 43659 HAS SOUPS 43659 WITH SCORE 43715.6
AT ITER 8807 NEW BEST:: SOT 103255 SOS 56599 HAS SOPS 56599 HAS SOUS 43658 HAS SOUPS 43658 WITH SCORE 43714.599
AT ITER 8812 NEW BEST:: SOT 103255 SOS 56598 HAS SOPS 56598 HAS SOUS 43658 HAS SOUPS 43658 WITH SCORE 43714.598
AT ITER 8831 NEW BEST:: SOT 103214 SOS 56827 HAS SOPS 56827 HAS SOUS 43649 HAS SOUPS 43649 WITH SCORE 43705.827
AT ITER 8841 NEW BEST:: SOT 103251 SOS 56840 HAS SOPS 56840 HAS SOUS 43639 HAS SOUPS 43639 WITH SCORE 43695.84
AT ITER 8862 NEW BEST:: SOT 103181 SOS 56833 HAS SOPS 56833 HAS SOUS 43616 HAS SOUPS 43616 WITH SCORE 43672.833
AT ITER 8871 NEW BEST:: SOT 103182 SOS 56774 HAS SOPS 56774 HAS SOUS 43608 HAS SOUPS 43608 WITH SCORE 43664.774
AT ITER 8875 NEW BEST:: SOT 103177 SOS 56769 HAS SOPS 56769 HAS SOUS 43603 HAS SOUPS 43603 WITH SCORE 43659.769
AT ITER 8887 NEW BEST:: SOT 103177 SOS 56769 HAS SOPS 56769 HAS SOUS 43596 HAS SOUPS 43596 WITH SCORE 43652.769
AT ITER 8907 NEW BEST:: SOT 103177 SOS 56684 HAS SOPS 56684 HAS SOUS 43590 HAS SOUPS 43590 WITH SCORE 43646.684
AT ITER 8948 NEW BEST:: SOT 103174 SOS 56570 HAS SOPS 56570 HAS SOUS 43585 HAS SOUPS 43585 WITH SCORE 43641.57
AT ITER 9015 NEW BEST:: SOT 102990 SOS 56470 HAS SOPS 56470 HAS SOUS 43545 HAS SOUPS 43545 WITH SCORE 43601.47
AT ITER 9017 NEW BEST:: SOT 102982 SOS 56462 HAS SOPS 56462 HAS SOUS 43537 HAS SOUPS 43537 WITH SCORE 43593.462
AT ITER 9050 NEW BEST:: SOT 102978 SOS 56458 HAS SOPS 56458 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43589.458
AT ITER 9072 NEW BEST:: SOT 102978 SOS 56428 HAS SOPS 56428 HAS SOUS 43507 HAS SOUPS 43507 WITH SCORE 43563.428
AT ITER 9074 NEW BEST:: SOT 102974 SOS 56448 HAS SOPS 56448 HAS SOUS 43503 HAS SOUPS 43503 WITH SCORE 43559.448
AT ITER 9083 NEW BEST:: SOT 102974 SOS 56419 HAS SOPS 56419 HAS SOUS 43474 HAS SOUPS 43474 WITH SCORE 43530.419
AT ITER 9111 NEW BEST:: SOT 102805 SOS 56366 HAS SOPS 56366 HAS SOUS 43403 HAS SOUPS 43403 WITH SCORE 43459.366
AT ITER 9120 NEW BEST:: SOT 102799 SOS 56360 HAS SOPS 56360 HAS SOUS 43397 HAS SOUPS 43397 WITH SCORE 43453.36
AT ITER 9130 NEW BEST:: SOT 102903 SOS 56422 HAS SOPS 56422 HAS SOUS 43353 HAS SOUPS 43353 WITH SCORE 43409.422
AT ITER 9156 NEW BEST:: SOT 102904 SOS 56423 HAS SOPS 56423 HAS SOUS 43351 HAS SOUPS 43351 WITH SCORE 43407.423
AT ITER 9162 NEW BEST:: SOT 102906 SOS 56419 HAS SOPS 56419 HAS SOUS 43347 HAS SOUPS 43347 WITH SCORE 43403.419
AT ITER 9181 NEW BEST:: SOT 102863 SOS 56436 HAS SOPS 56436 HAS SOUS 43338 HAS SOUPS 43338 WITH SCORE 43394.436
AT ITER 9183 NEW BEST:: SOT 102863 SOS 56415 HAS SOPS 56415 HAS SOUS 43338 HAS SOUPS 43338 WITH SCORE 43394.415
AT ITER 9204 NEW BEST:: SOT 102863 SOS 56393 HAS SOPS 56393 HAS SOUS 43316 HAS SOUPS 43316 WITH SCORE 43372.393
AT ITER 9218 NEW BEST:: SOT 102769 SOS 56516 HAS SOPS 56516 HAS SOUS 43315 HAS SOUPS 43315 WITH SCORE 43371.516
AT ITER 9275 NEW BEST:: SOT 102766 SOS 56513 HAS SOPS 56513 HAS SOUS 43312 HAS SOUPS 43312 WITH SCORE 43368.513
AT ITER 9279 NEW BEST:: SOT 102762 SOS 56509 HAS SOPS 56509 HAS SOUS 43308 HAS SOUPS 43308 WITH SCORE 43364.509
AT ITER 9291 NEW BEST:: SOT 102681 SOS 57098 HAS SOPS 57098 HAS SOUS 43296 HAS SOUPS 43296 WITH SCORE 43353.098
AT ITER 9306 NEW BEST:: SOT 102646 SOS 57053 HAS SOPS 57053 HAS SOUS 43277 HAS SOUPS 43277 WITH SCORE 43334.053
AT ITER 9329 NEW BEST:: SOT 102646 SOS 57053 HAS SOPS 57053 HAS SOUS 43274 HAS SOUPS 43274 WITH SCORE 43331.053
AT ITER 9336 NEW BEST:: SOT 102634 SOS 57113 HAS SOPS 57113 HAS SOUS 43262 HAS SOUPS 43262 WITH SCORE 43319.113
AT ITER 9343 NEW BEST:: SOT 102621 SOS 57118 HAS SOPS 57118 HAS SOUS 43231 HAS SOUPS 43231 WITH SCORE 43288.118
AT ITER 9365 NEW BEST:: SOT 102602 SOS 57023 HAS SOPS 57023 HAS SOUS 43231 HAS SOUPS 43231 WITH SCORE 43288.023
AT ITER 9395 NEW BEST:: SOT 102590 SOS 57011 HAS SOPS 57011 HAS SOUS 43219 HAS SOUPS 43219 WITH SCORE 43276.011
AT ITER 9406 NEW BEST:: SOT 102571 SOS 56992 HAS SOPS 56992 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43255.992
AT ITER 9445 NEW BEST:: SOT 102571 SOS 56986 HAS SOPS 56986 HAS SOUS 43199 HAS SOUPS 43199 WITH SCORE 43255.986
AT ITER 9453 NEW BEST:: SOT 102485 SOS 57137 HAS SOPS 57137 HAS SOUS 43141 HAS SOUPS 43141 WITH SCORE 43198.137
AT ITER 9463 NEW BEST:: SOT 102485 SOS 57137 HAS SOPS 57137 HAS SOUS 43125 HAS SOUPS 43125 WITH SCORE 43182.137
AT ITER 9473 NEW BEST:: SOT 102485 SOS 57120 HAS SOPS 57120 HAS SOUS 43125 HAS SOUPS 43125 WITH SCORE 43182.12
AT ITER 9478 NEW BEST:: SOT 102484 SOS 57119 HAS SOPS 57119 HAS SOUS 43124 HAS SOUPS 43124 WITH SCORE 43181.119
AT ITER 9497 NEW BEST:: SOT 102484 SOS 57119 HAS SOPS 57119 HAS SOUS 43114 HAS SOUPS 43114 WITH SCORE 43171.119
AT ITER 9499 NEW BEST:: SOT 102459 SOS 57094 HAS SOPS 57094 HAS SOUS 43075 HAS SOUPS 43075 WITH SCORE 43132.094
AT ITER 9529 NEW BEST:: SOT 102440 SOS 57075 HAS SOPS 57075 HAS SOUS 43040 HAS SOUPS 43040 WITH SCORE 43097.075
AT ITER 9558 NEW BEST:: SOT 102429 SOS 57064 HAS SOPS 57064 HAS SOUS 43005 HAS SOUPS 43005 WITH SCORE 43062.064
AT ITER 9562 NEW BEST:: SOT 102429 SOS 57011 HAS SOPS 57011 HAS SOUS 43002 HAS SOUPS 43002 WITH SCORE 43059.011
AT ITER 9572 NEW BEST:: SOT 102404 SOS 57034 HAS SOPS 57034 HAS SOUS 42998 HAS SOUPS 42998 WITH SCORE 43055.034
AT ITER 9599 NEW BEST:: SOT 102455 SOS 57047 HAS SOPS 57047 HAS SOUS 42963 HAS SOUPS 42963 WITH SCORE 43020.047
AT ITER 9611 NEW BEST:: SOT 102437 SOS 57041 HAS SOPS 57041 HAS SOUS 42957 HAS SOUPS 42957 WITH SCORE 43014.041
AT ITER 9650 NEW BEST:: SOT 102488 SOS 57136 HAS SOPS 57136 HAS SOUS 42955 HAS SOUPS 42955 WITH SCORE 43012.136
AT ITER 9707 NEW BEST:: SOT 102488 SOS 57135 HAS SOPS 57135 HAS SOUS 42954 HAS SOUPS 42954 WITH SCORE 43011.135
AT ITER 9752 NEW BEST:: SOT 102489 SOS 57134 HAS SOPS 57134 HAS SOUS 42954 HAS SOUPS 42954 WITH SCORE 43011.134
AT ITER 9770 NEW BEST:: SOT 102372 SOS 57068 HAS SOPS 57068 HAS SOUS 42928 HAS SOUPS 42928 WITH SCORE 42985.068
AT ITER 9775 NEW BEST:: SOT 102411 SOS 57084 HAS SOPS 57084 HAS SOUS 42922 HAS SOUPS 42922 WITH SCORE 42979.084
AT ITER 9789 NEW BEST:: SOT 102401 SOS 57061 HAS SOPS 57061 HAS SOUS 42899 HAS SOUPS 42899 WITH SCORE 42956.061
AT ITER 9865 NEW BEST:: SOT 102401 SOS 57040 HAS SOPS 57040 HAS SOUS 42882 HAS SOUPS 42882 WITH SCORE 42939.04
AT ITER 9911 NEW BEST:: SOT 102391 SOS 57030 HAS SOPS 57030 HAS SOUS 42872 HAS SOUPS 42872 WITH SCORE 42929.03
AT ITER 9926 NEW BEST:: SOT 102381 SOS 57020 HAS SOPS 57020 HAS SOUS 42828 HAS SOUPS 42828 WITH SCORE 42885.02
AT ITER 9955 NEW BEST:: SOT 102367 SOS 57006 HAS SOPS 57006 HAS SOUS 42814 HAS SOUPS 42814 WITH SCORE 42871.006
AT ITER 9959 NEW BEST:: SOT 102399 SOS 57013 HAS SOPS 57013 HAS SOUS 42796 HAS SOUPS 42796 WITH SCORE 42853.013
AT ITER 9962 NEW BEST:: SOT 102395 SOS 57009 HAS SOPS 57009 HAS SOUS 42792 HAS SOUPS 42792 WITH SCORE 42849.009
AT ITER 9973 NEW BEST:: SOT 102383 SOS 56997 HAS SOPS 56997 HAS SOUS 42753 HAS SOUPS 42753 WITH SCORE 42809.997

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="Sudoku-PT-AN07"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN07, 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 r224-oct2-159033538700368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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