Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.4K Mar 31 07:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 07:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 23:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 23:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 28 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 82K Mar 24 05:37 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 1589363717058

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

Filename model.pnml
Petri model created: 324 places, 344 transitions, 898 arcs.
AT ITER 0 NEW BEST:: SOT 77803 SOS 37258 HAS SOPS 37258 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33102.258
AT ITER 5 NEW BEST:: SOT 75456 SOS 35016 HAS SOPS 35016 HAS SOUS 30798 HAS SOUPS 30798 WITH SCORE 30833.016
AT ITER 7 NEW BEST:: SOT 75252 SOS 34796 HAS SOPS 34796 HAS SOUS 30493 HAS SOUPS 30493 WITH SCORE 30527.796
AT ITER 8 NEW BEST:: SOT 75170 SOS 34664 HAS SOPS 34664 HAS SOUS 30414 HAS SOUPS 30414 WITH SCORE 30448.664
AT ITER 15 NEW BEST:: SOT 75159 SOS 34574 HAS SOPS 34574 HAS SOUS 30270 HAS SOUPS 30270 WITH SCORE 30304.574
AT ITER 16 NEW BEST:: SOT 74531 SOS 35272 HAS SOPS 35272 HAS SOUS 29625 HAS SOUPS 29625 WITH SCORE 29660.272
AT ITER 18 NEW BEST:: SOT 74531 SOS 35195 HAS SOPS 35195 HAS SOUS 29625 HAS SOUPS 29625 WITH SCORE 29660.195
AT ITER 24 NEW BEST:: SOT 73815 SOS 34589 HAS SOPS 34589 HAS SOUS 28908 HAS SOUPS 28908 WITH SCORE 28942.589
AT ITER 28 NEW BEST:: SOT 73794 SOS 34444 HAS SOPS 34444 HAS SOUS 28866 HAS SOUPS 28866 WITH SCORE 28900.444
AT ITER 32 NEW BEST:: SOT 73792 SOS 34331 HAS SOPS 34331 HAS SOUS 28862 HAS SOUPS 28862 WITH SCORE 28896.331
AT ITER 33 NEW BEST:: SOT 73677 SOS 34189 HAS SOPS 34189 HAS SOUS 28746 HAS SOUPS 28746 WITH SCORE 28780.189
AT ITER 44 NEW BEST:: SOT 73499 SOS 33916 HAS SOPS 33916 HAS SOUS 28478 HAS SOUPS 28478 WITH SCORE 28511.916
AT ITER 51 NEW BEST:: SOT 73337 SOS 33656 HAS SOPS 33656 HAS SOUS 28255 HAS SOUPS 28255 WITH SCORE 28288.656
AT ITER 52 NEW BEST:: SOT 73337 SOS 33656 HAS SOPS 33656 HAS SOUS 28253 HAS SOUPS 28253 WITH SCORE 28286.656
AT ITER 60 NEW BEST:: SOT 73243 SOS 33547 HAS SOPS 33547 HAS SOUS 28177 HAS SOUPS 28177 WITH SCORE 28210.547
AT ITER 61 NEW BEST:: SOT 73165 SOS 33427 HAS SOPS 33427 HAS SOUS 28110 HAS SOUPS 28110 WITH SCORE 28143.427
AT ITER 65 NEW BEST:: SOT 73031 SOS 33305 HAS SOPS 33305 HAS SOUS 27984 HAS SOUPS 27984 WITH SCORE 28017.305
AT ITER 66 NEW BEST:: SOT 73029 SOS 33267 HAS SOPS 33267 HAS SOUS 27980 HAS SOUPS 27980 WITH SCORE 28013.267
AT ITER 73 NEW BEST:: SOT 73017 SOS 33255 HAS SOPS 33255 HAS SOUS 27968 HAS SOUPS 27968 WITH SCORE 28001.255
AT ITER 74 NEW BEST:: SOT 73015 SOS 33113 HAS SOPS 33113 HAS SOUS 27966 HAS SOUPS 27966 WITH SCORE 27999.113
AT ITER 78 NEW BEST:: SOT 72965 SOS 33100 HAS SOPS 33100 HAS SOUS 27953 HAS SOUPS 27953 WITH SCORE 27986.1
AT ITER 80 NEW BEST:: SOT 72920 SOS 33055 HAS SOPS 33055 HAS SOUS 27908 HAS SOUPS 27908 WITH SCORE 27941.055
AT ITER 100 NEW BEST:: SOT 72863 SOS 33050 HAS SOPS 33050 HAS SOUS 27865 HAS SOUPS 27865 WITH SCORE 27898.05
AT ITER 103 NEW BEST:: SOT 72784 SOS 32916 HAS SOPS 32916 HAS SOUS 27785 HAS SOUPS 27785 WITH SCORE 27817.916
AT ITER 107 NEW BEST:: SOT 72775 SOS 32900 HAS SOPS 32900 HAS SOUS 27780 HAS SOUPS 27780 WITH SCORE 27812.9
AT ITER 112 NEW BEST:: SOT 72706 SOS 32831 HAS SOPS 32831 HAS SOUS 27642 HAS SOUPS 27642 WITH SCORE 27674.831
AT ITER 117 NEW BEST:: SOT 72705 SOS 32782 HAS SOPS 32782 HAS SOUS 27641 HAS SOUPS 27641 WITH SCORE 27673.782
AT ITER 124 NEW BEST:: SOT 72704 SOS 32744 HAS SOPS 32744 HAS SOUS 27602 HAS SOUPS 27602 WITH SCORE 27634.744
AT ITER 133 NEW BEST:: SOT 72638 SOS 32684 HAS SOPS 32684 HAS SOUS 27493 HAS SOUPS 27493 WITH SCORE 27525.684
AT ITER 137 NEW BEST:: SOT 72550 SOS 32557 HAS SOPS 32557 HAS SOUS 27409 HAS SOUPS 27409 WITH SCORE 27441.557
AT ITER 138 NEW BEST:: SOT 72550 SOS 32504 HAS SOPS 32504 HAS SOUS 27409 HAS SOUPS 27409 WITH SCORE 27441.504
AT ITER 140 NEW BEST:: SOT 72550 SOS 32504 HAS SOPS 32504 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27407.504
AT ITER 147 NEW BEST:: SOT 72538 SOS 32468 HAS SOPS 32468 HAS SOUS 27363 HAS SOUPS 27363 WITH SCORE 27395.468
AT ITER 153 NEW BEST:: SOT 72335 SOS 32267 HAS SOPS 32267 HAS SOUS 27198 HAS SOUPS 27198 WITH SCORE 27230.267
AT ITER 155 NEW BEST:: SOT 72156 SOS 31978 HAS SOPS 31978 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26981.978
AT ITER 157 NEW BEST:: SOT 72110 SOS 31923 HAS SOPS 31923 HAS SOUS 26903 HAS SOUPS 26903 WITH SCORE 26934.923
AT ITER 158 NEW BEST:: SOT 72013 SOS 31805 HAS SOPS 31805 HAS SOUS 26884 HAS SOUPS 26884 WITH SCORE 26915.805
AT ITER 159 NEW BEST:: SOT 72012 SOS 31804 HAS SOPS 31804 HAS SOUS 26882 HAS SOUPS 26882 WITH SCORE 26913.804
AT ITER 169 NEW BEST:: SOT 72011 SOS 31802 HAS SOPS 31802 HAS SOUS 26880 HAS SOUPS 26880 WITH SCORE 26911.802
AT ITER 175 NEW BEST:: SOT 71799 SOS 31462 HAS SOPS 31462 HAS SOUS 26586 HAS SOUPS 26586 WITH SCORE 26617.462
AT ITER 179 NEW BEST:: SOT 71798 SOS 31460 HAS SOPS 31460 HAS SOUS 26585 HAS SOUPS 26585 WITH SCORE 26616.46
AT ITER 188 NEW BEST:: SOT 71798 SOS 31403 HAS SOPS 31403 HAS SOUS 26528 HAS SOUPS 26528 WITH SCORE 26559.403
AT ITER 190 NEW BEST:: SOT 71771 SOS 31394 HAS SOPS 31394 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26505.394
AT ITER 191 NEW BEST:: SOT 71633 SOS 30902 HAS SOPS 30902 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26282.902
AT ITER 193 NEW BEST:: SOT 71653 SOS 30826 HAS SOPS 30826 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26282.826
AT ITER 208 NEW BEST:: SOT 71645 SOS 30810 HAS SOPS 30810 HAS SOUS 26229 HAS SOUPS 26229 WITH SCORE 26259.81
AT ITER 209 NEW BEST:: SOT 71622 SOS 30787 HAS SOPS 30787 HAS SOUS 26206 HAS SOUPS 26206 WITH SCORE 26236.787
AT ITER 210 NEW BEST:: SOT 71623 SOS 30780 HAS SOPS 30780 HAS SOUS 26199 HAS SOUPS 26199 WITH SCORE 26229.78
AT ITER 216 NEW BEST:: SOT 71622 SOS 30732 HAS SOPS 30732 HAS SOUS 26197 HAS SOUPS 26197 WITH SCORE 26227.732
AT ITER 218 NEW BEST:: SOT 71620 SOS 30728 HAS SOPS 30728 HAS SOUS 26193 HAS SOUPS 26193 WITH SCORE 26223.728
AT ITER 224 NEW BEST:: SOT 71653 SOS 30652 HAS SOPS 30652 HAS SOUS 26152 HAS SOUPS 26152 WITH SCORE 26182.652
AT ITER 225 NEW BEST:: SOT 71441 SOS 30423 HAS SOPS 30423 HAS SOUS 25939 HAS SOUPS 25939 WITH SCORE 25969.423
AT ITER 230 NEW BEST:: SOT 71437 SOS 30415 HAS SOPS 30415 HAS SOUS 25935 HAS SOUPS 25935 WITH SCORE 25965.415
AT ITER 235 NEW BEST:: SOT 71473 SOS 30372 HAS SOPS 30372 HAS SOUS 25932 HAS SOUPS 25932 WITH SCORE 25962.372
AT ITER 237 NEW BEST:: SOT 71446 SOS 30318 HAS SOPS 30318 HAS SOUS 25878 HAS SOUPS 25878 WITH SCORE 25908.318
AT ITER 249 NEW BEST:: SOT 71419 SOS 30317 HAS SOPS 30317 HAS SOUS 25874 HAS SOUPS 25874 WITH SCORE 25904.317
AT ITER 252 NEW BEST:: SOT 71339 SOS 30261 HAS SOPS 30261 HAS SOUS 25802 HAS SOUPS 25802 WITH SCORE 25832.261
AT ITER 261 NEW BEST:: SOT 71225 SOS 30141 HAS SOPS 30141 HAS SOUS 25567 HAS SOUPS 25567 WITH SCORE 25597.141
AT ITER 264 NEW BEST:: SOT 71147 SOS 30039 HAS SOPS 30039 HAS SOUS 25488 HAS SOUPS 25488 WITH SCORE 25518.039
AT ITER 285 NEW BEST:: SOT 71145 SOS 30037 HAS SOPS 30037 HAS SOUS 25486 HAS SOUPS 25486 WITH SCORE 25516.037
AT ITER 292 NEW BEST:: SOT 71077 SOS 29944 HAS SOPS 29944 HAS SOUS 25422 HAS SOUPS 25422 WITH SCORE 25451.944
AT ITER 296 NEW BEST:: SOT 71064 SOS 29918 HAS SOPS 29918 HAS SOUS 25396 HAS SOUPS 25396 WITH SCORE 25425.918
AT ITER 297 NEW BEST:: SOT 71064 SOS 29997 HAS SOPS 29997 HAS SOUS 25394 HAS SOUPS 25394 WITH SCORE 25423.997
AT ITER 298 NEW BEST:: SOT 70926 SOS 29776 HAS SOPS 29776 HAS SOUS 25257 HAS SOUPS 25257 WITH SCORE 25286.776
AT ITER 299 NEW BEST:: SOT 70905 SOS 29734 HAS SOPS 29734 HAS SOUS 25215 HAS SOUPS 25215 WITH SCORE 25244.734
AT ITER 304 NEW BEST:: SOT 70828 SOS 29580 HAS SOPS 29580 HAS SOUS 25061 HAS SOUPS 25061 WITH SCORE 25090.58
AT ITER 307 NEW BEST:: SOT 70825 SOS 29544 HAS SOPS 29544 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25084.544
AT ITER 308 NEW BEST:: SOT 70825 SOS 29544 HAS SOPS 29544 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25062.544
AT ITER 310 NEW BEST:: SOT 70718 SOS 29387 HAS SOPS 29387 HAS SOUS 24942 HAS SOUPS 24942 WITH SCORE 24971.387
AT ITER 311 NEW BEST:: SOT 70718 SOS 29293 HAS SOPS 29293 HAS SOUS 24941 HAS SOUPS 24941 WITH SCORE 24970.293
AT ITER 314 NEW BEST:: SOT 70659 SOS 29255 HAS SOPS 29255 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24886.255
AT ITER 334 NEW BEST:: SOT 70655 SOS 29247 HAS SOPS 29247 HAS SOUS 24853 HAS SOUPS 24853 WITH SCORE 24882.247
AT ITER 358 NEW BEST:: SOT 70660 SOS 29205 HAS SOPS 29205 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24845.205
AT ITER 363 NEW BEST:: SOT 70619 SOS 29177 HAS SOPS 29177 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24765.177
AT ITER 394 NEW BEST:: SOT 70642 SOS 29154 HAS SOPS 29154 HAS SOUS 24719 HAS SOUPS 24719 WITH SCORE 24748.154
AT ITER 401 NEW BEST:: SOT 70632 SOS 29134 HAS SOPS 29134 HAS SOUS 24717 HAS SOUPS 24717 WITH SCORE 24746.134
AT ITER 404 NEW BEST:: SOT 70631 SOS 29121 HAS SOPS 29121 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24744.121
AT ITER 408 NEW BEST:: SOT 70628 SOS 29115 HAS SOPS 29115 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 24738.115
AT ITER 416 NEW BEST:: SOT 70571 SOS 29006 HAS SOPS 29006 HAS SOUS 24697 HAS SOUPS 24697 WITH SCORE 24726.006
AT ITER 417 NEW BEST:: SOT 70525 SOS 28915 HAS SOPS 28915 HAS SOUS 24646 HAS SOUPS 24646 WITH SCORE 24674.915
AT ITER 418 NEW BEST:: SOT 70332 SOS 28951 HAS SOPS 28951 HAS SOUS 24638 HAS SOUPS 24638 WITH SCORE 24666.951
AT ITER 420 NEW BEST:: SOT 70320 SOS 28939 HAS SOPS 28939 HAS SOUS 24626 HAS SOUPS 24626 WITH SCORE 24654.939
AT ITER 425 NEW BEST:: SOT 70245 SOS 28789 HAS SOPS 28789 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24504.789
AT ITER 429 NEW BEST:: SOT 70237 SOS 28756 HAS SOPS 28756 HAS SOUS 24472 HAS SOUPS 24472 WITH SCORE 24500.756
AT ITER 437 NEW BEST:: SOT 70240 SOS 28762 HAS SOPS 28762 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24499.762
AT ITER 438 NEW BEST:: SOT 70178 SOS 28576 HAS SOPS 28576 HAS SOUS 24409 HAS SOUPS 24409 WITH SCORE 24437.576
AT ITER 448 NEW BEST:: SOT 70178 SOS 28570 HAS SOPS 28570 HAS SOUS 24409 HAS SOUPS 24409 WITH SCORE 24437.57
AT ITER 450 NEW BEST:: SOT 70126 SOS 28414 HAS SOPS 28414 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24385.414
AT ITER 454 NEW BEST:: SOT 70066 SOS 28370 HAS SOPS 28370 HAS SOUS 24313 HAS SOUPS 24313 WITH SCORE 24341.37
AT ITER 459 NEW BEST:: SOT 70063 SOS 28367 HAS SOPS 28367 HAS SOUS 24310 HAS SOUPS 24310 WITH SCORE 24338.367
AT ITER 463 NEW BEST:: SOT 70058 SOS 28362 HAS SOPS 28362 HAS SOUS 24301 HAS SOUPS 24301 WITH SCORE 24329.362
AT ITER 482 NEW BEST:: SOT 70013 SOS 28272 HAS SOPS 28272 HAS SOUS 24211 HAS SOUPS 24211 WITH SCORE 24239.272
AT ITER 484 NEW BEST:: SOT 70021 SOS 28214 HAS SOPS 28214 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24191.214
AT ITER 487 NEW BEST:: SOT 70021 SOS 28137 HAS SOPS 28137 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24191.137
AT ITER 489 NEW BEST:: SOT 69987 SOS 28069 HAS SOPS 28069 HAS SOUS 24077 HAS SOUPS 24077 WITH SCORE 24105.069
AT ITER 490 NEW BEST:: SOT 69950 SOS 28036 HAS SOPS 28036 HAS SOUS 24077 HAS SOUPS 24077 WITH SCORE 24105.036
AT ITER 494 NEW BEST:: SOT 69950 SOS 28028 HAS SOPS 28028 HAS SOUS 24069 HAS SOUPS 24069 WITH SCORE 24097.028
AT ITER 506 NEW BEST:: SOT 69928 SOS 28006 HAS SOPS 28006 HAS SOUS 24069 HAS SOUPS 24069 WITH SCORE 24097.006
AT ITER 529 NEW BEST:: SOT 69857 SOS 27992 HAS SOPS 27992 HAS SOUS 23991 HAS SOUPS 23991 WITH SCORE 24018.992
AT ITER 533 NEW BEST:: SOT 69903 SOS 27934 HAS SOPS 27934 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23946.934
AT ITER 542 NEW BEST:: SOT 69797 SOS 28421 HAS SOPS 28421 HAS SOUS 23848 HAS SOUPS 23848 WITH SCORE 23876.421
AT ITER 548 NEW BEST:: SOT 69845 SOS 28408 HAS SOPS 28408 HAS SOUS 23835 HAS SOUPS 23835 WITH SCORE 23863.408
AT ITER 560 NEW BEST:: SOT 69813 SOS 28344 HAS SOPS 28344 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23825.344
AT ITER 570 NEW BEST:: SOT 69812 SOS 28310 HAS SOPS 28310 HAS SOUS 23795 HAS SOUPS 23795 WITH SCORE 23823.31
AT ITER 586 NEW BEST:: SOT 69763 SOS 28284 HAS SOPS 28284 HAS SOUS 23794 HAS SOUPS 23794 WITH SCORE 23822.284
AT ITER 596 NEW BEST:: SOT 69749 SOS 28256 HAS SOPS 28256 HAS SOUS 23766 HAS SOUPS 23766 WITH SCORE 23794.256
AT ITER 602 NEW BEST:: SOT 69730 SOS 28179 HAS SOPS 28179 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23774.179
AT ITER 607 NEW BEST:: SOT 69720 SOS 28159 HAS SOPS 28159 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23754.159
AT ITER 610 NEW BEST:: SOT 69619 SOS 27836 HAS SOPS 27836 HAS SOUS 23508 HAS SOUPS 23508 WITH SCORE 23535.836
AT ITER 611 NEW BEST:: SOT 69610 SOS 27818 HAS SOPS 27818 HAS SOUS 23490 HAS SOUPS 23490 WITH SCORE 23517.818
AT ITER 625 NEW BEST:: SOT 69570 SOS 27778 HAS SOPS 27778 HAS SOUS 23450 HAS SOUPS 23450 WITH SCORE 23477.778
AT ITER 630 NEW BEST:: SOT 69563 SOS 27771 HAS SOPS 27771 HAS SOUS 23443 HAS SOUPS 23443 WITH SCORE 23470.771
AT ITER 632 NEW BEST:: SOT 69534 SOS 27741 HAS SOPS 27741 HAS SOUS 23413 HAS SOUPS 23413 WITH SCORE 23440.741
AT ITER 653 NEW BEST:: SOT 69424 SOS 27700 HAS SOPS 27700 HAS SOUS 23413 HAS SOUPS 23413 WITH SCORE 23440.7
AT ITER 666 NEW BEST:: SOT 69384 SOS 27680 HAS SOPS 27680 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23405.68
AT ITER 669 NEW BEST:: SOT 69396 SOS 27672 HAS SOPS 27672 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23397.672
AT ITER 677 NEW BEST:: SOT 69378 SOS 27645 HAS SOPS 27645 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23370.645
AT ITER 678 NEW BEST:: SOT 69374 SOS 27664 HAS SOPS 27664 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23362.664
AT ITER 682 NEW BEST:: SOT 69325 SOS 27566 HAS SOPS 27566 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23242.566
AT ITER 686 NEW BEST:: SOT 69282 SOS 27571 HAS SOPS 27571 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23235.571
AT ITER 697 NEW BEST:: SOT 69266 SOS 27540 HAS SOPS 27540 HAS SOUS 23188 HAS SOUPS 23188 WITH SCORE 23215.54
AT ITER 704 NEW BEST:: SOT 69209 SOS 27494 HAS SOPS 27494 HAS SOUS 23074 HAS SOUPS 23074 WITH SCORE 23101.494
AT ITER 707 NEW BEST:: SOT 69193 SOS 27462 HAS SOPS 27462 HAS SOUS 23045 HAS SOUPS 23045 WITH SCORE 23072.462
AT ITER 709 NEW BEST:: SOT 69154 SOS 27317 HAS SOPS 27317 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23043.317
AT ITER 717 NEW BEST:: SOT 69124 SOS 27247 HAS SOPS 27247 HAS SOUS 22946 HAS SOUPS 22946 WITH SCORE 22973.247
AT ITER 718 NEW BEST:: SOT 69103 SOS 27205 HAS SOPS 27205 HAS SOUS 22925 HAS SOUPS 22925 WITH SCORE 22952.205
AT ITER 729 NEW BEST:: SOT 69012 SOS 27023 HAS SOPS 27023 HAS SOUS 22770 HAS SOUPS 22770 WITH SCORE 22797.023
AT ITER 742 NEW BEST:: SOT 69002 SOS 27003 HAS SOPS 27003 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22777.003
AT ITER 752 NEW BEST:: SOT 68985 SOS 26952 HAS SOPS 26952 HAS SOUS 22699 HAS SOUPS 22699 WITH SCORE 22725.952
AT ITER 755 NEW BEST:: SOT 68885 SOS 26752 HAS SOPS 26752 HAS SOUS 22515 HAS SOUPS 22515 WITH SCORE 22541.752
AT ITER 771 NEW BEST:: SOT 68883 SOS 26748 HAS SOPS 26748 HAS SOUS 22513 HAS SOUPS 22513 WITH SCORE 22539.748
AT ITER 776 NEW BEST:: SOT 68839 SOS 26744 HAS SOPS 26744 HAS SOUS 22484 HAS SOUPS 22484 WITH SCORE 22510.744
AT ITER 789 NEW BEST:: SOT 68838 SOS 26743 HAS SOPS 26743 HAS SOUS 22482 HAS SOUPS 22482 WITH SCORE 22508.743
AT ITER 792 NEW BEST:: SOT 68848 SOS 26737 HAS SOPS 26737 HAS SOUS 22478 HAS SOUPS 22478 WITH SCORE 22504.737
AT ITER 796 NEW BEST:: SOT 68814 SOS 26642 HAS SOPS 26642 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22470.642
AT ITER 798 NEW BEST:: SOT 68797 SOS 26591 HAS SOPS 26591 HAS SOUS 22410 HAS SOUPS 22410 WITH SCORE 22436.591
AT ITER 800 NEW BEST:: SOT 68819 SOS 26613 HAS SOPS 26613 HAS SOUS 22408 HAS SOUPS 22408 WITH SCORE 22434.613
AT ITER 814 NEW BEST:: SOT 68800 SOS 26628 HAS SOPS 26628 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22415.628
AT ITER 816 NEW BEST:: SOT 68766 SOS 26594 HAS SOPS 26594 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22415.594
AT ITER 820 NEW BEST:: SOT 68747 SOS 26556 HAS SOPS 26556 HAS SOUS 22362 HAS SOUPS 22362 WITH SCORE 22388.556
AT ITER 825 NEW BEST:: SOT 68730 SOS 26350 HAS SOPS 26350 HAS SOUS 22333 HAS SOUPS 22333 WITH SCORE 22359.35
AT ITER 837 NEW BEST:: SOT 68715 SOS 26382 HAS SOPS 26382 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22323.382
AT ITER 842 NEW BEST:: SOT 68655 SOS 26312 HAS SOPS 26312 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22253.312
AT ITER 845 NEW BEST:: SOT 68679 SOS 26336 HAS SOPS 26336 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22220.336
AT ITER 851 NEW BEST:: SOT 68665 SOS 26329 HAS SOPS 26329 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22213.329
AT ITER 854 NEW BEST:: SOT 68196 SOS 27581 HAS SOPS 27581 HAS SOUS 21854 HAS SOUPS 21854 WITH SCORE 21881.581
AT ITER 867 NEW BEST:: SOT 68157 SOS 27608 HAS SOPS 27608 HAS SOUS 21844 HAS SOUPS 21844 WITH SCORE 21871.608
AT ITER 870 NEW BEST:: SOT 68066 SOS 27620 HAS SOPS 27620 HAS SOUS 21822 HAS SOUPS 21822 WITH SCORE 21849.62
AT ITER 893 NEW BEST:: SOT 68036 SOS 27563 HAS SOPS 27563 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21728.563
AT ITER 897 NEW BEST:: SOT 68036 SOS 27545 HAS SOPS 27545 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21728.545
AT ITER 924 NEW BEST:: SOT 68036 SOS 27516 HAS SOPS 27516 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21701.516
AT ITER 926 NEW BEST:: SOT 68026 SOS 27513 HAS SOPS 27513 HAS SOUS 21655 HAS SOUPS 21655 WITH SCORE 21682.513
AT ITER 928 NEW BEST:: SOT 68158 SOS 27684 HAS SOPS 27684 HAS SOUS 21515 HAS SOUPS 21515 WITH SCORE 21542.684
AT ITER 954 NEW BEST:: SOT 68136 SOS 27636 HAS SOPS 27636 HAS SOUS 21399 HAS SOUPS 21399 WITH SCORE 21426.636
AT ITER 958 NEW BEST:: SOT 68161 SOS 27581 HAS SOPS 27581 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21387.581
AT ITER 964 NEW BEST:: SOT 68156 SOS 27488 HAS SOPS 27488 HAS SOUS 21231 HAS SOUPS 21231 WITH SCORE 21258.488
AT ITER 984 NEW BEST:: SOT 68107 SOS 27390 HAS SOPS 27390 HAS SOUS 21139 HAS SOUPS 21139 WITH SCORE 21166.39
AT ITER 986 NEW BEST:: SOT 68103 SOS 27382 HAS SOPS 27382 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21162.382
AT ITER 1012 NEW BEST:: SOT 68075 SOS 27354 HAS SOPS 27354 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21134.354
AT ITER 1013 NEW BEST:: SOT 67971 SOS 27235 HAS SOPS 27235 HAS SOUS 21014 HAS SOUPS 21014 WITH SCORE 21041.235
AT ITER 1014 NEW BEST:: SOT 67971 SOS 27164 HAS SOPS 27164 HAS SOUS 21014 HAS SOUPS 21014 WITH SCORE 21041.164
AT ITER 1019 NEW BEST:: SOT 67947 SOS 27116 HAS SOPS 27116 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21020.116
AT ITER 1024 NEW BEST:: SOT 67917 SOS 27056 HAS SOPS 27056 HAS SOUS 20948 HAS SOUPS 20948 WITH SCORE 20975.056
AT ITER 1034 NEW BEST:: SOT 67913 SOS 27044 HAS SOPS 27044 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20967.044
AT ITER 1036 NEW BEST:: SOT 67893 SOS 27014 HAS SOPS 27014 HAS SOUS 20910 HAS SOUPS 20910 WITH SCORE 20937.014
AT ITER 1038 NEW BEST:: SOT 67878 SOS 26984 HAS SOPS 26984 HAS SOUS 20880 HAS SOUPS 20880 WITH SCORE 20906.984
AT ITER 1046 NEW BEST:: SOT 67899 SOS 27005 HAS SOPS 27005 HAS SOUS 20867 HAS SOUPS 20867 WITH SCORE 20894.005
AT ITER 1054 NEW BEST:: SOT 67890 SOS 27002 HAS SOPS 27002 HAS SOUS 20856 HAS SOUPS 20856 WITH SCORE 20883.002
AT ITER 1060 NEW BEST:: SOT 67814 SOS 26946 HAS SOPS 26946 HAS SOUS 20825 HAS SOUPS 20825 WITH SCORE 20851.946
AT ITER 1082 NEW BEST:: SOT 67810 SOS 26930 HAS SOPS 26930 HAS SOUS 20817 HAS SOUPS 20817 WITH SCORE 20843.93
AT ITER 1084 NEW BEST:: SOT 67789 SOS 26909 HAS SOPS 26909 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20842.909
AT ITER 1089 NEW BEST:: SOT 67787 SOS 26905 HAS SOPS 26905 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20838.905
AT ITER 1090 NEW BEST:: SOT 67787 SOS 26902 HAS SOPS 26902 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20838.902
AT ITER 1098 NEW BEST:: SOT 67773 SOS 26860 HAS SOPS 26860 HAS SOUS 20798 HAS SOUPS 20798 WITH SCORE 20824.86
AT ITER 1114 NEW BEST:: SOT 67768 SOS 26801 HAS SOPS 26801 HAS SOUS 20788 HAS SOUPS 20788 WITH SCORE 20814.801
AT ITER 1130 NEW BEST:: SOT 67762 SOS 26730 HAS SOPS 26730 HAS SOUS 20746 HAS SOUPS 20746 WITH SCORE 20772.73
AT ITER 1134 NEW BEST:: SOT 67766 SOS 26633 HAS SOPS 26633 HAS SOUS 20713 HAS SOUPS 20713 WITH SCORE 20739.633
AT ITER 1135 NEW BEST:: SOT 67760 SOS 26615 HAS SOPS 26615 HAS SOUS 20695 HAS SOUPS 20695 WITH SCORE 20721.615
AT ITER 1141 NEW BEST:: SOT 67746 SOS 26519 HAS SOPS 26519 HAS SOUS 20601 HAS SOUPS 20601 WITH SCORE 20627.519
AT ITER 1143 NEW BEST:: SOT 67751 SOS 26517 HAS SOPS 26517 HAS SOUS 20599 HAS SOUPS 20599 WITH SCORE 20625.517
AT ITER 1152 NEW BEST:: SOT 67777 SOS 26478 HAS SOPS 26478 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20611.478
AT ITER 1154 NEW BEST:: SOT 67770 SOS 26450 HAS SOPS 26450 HAS SOUS 20571 HAS SOUPS 20571 WITH SCORE 20597.45
AT ITER 1157 NEW BEST:: SOT 67762 SOS 26434 HAS SOPS 26434 HAS SOUS 20555 HAS SOUPS 20555 WITH SCORE 20581.434
AT ITER 1164 NEW BEST:: SOT 67762 SOS 26417 HAS SOPS 26417 HAS SOUS 20555 HAS SOUPS 20555 WITH SCORE 20581.417
AT ITER 1167 NEW BEST:: SOT 67749 SOS 26418 HAS SOPS 26418 HAS SOUS 20553 HAS SOUPS 20553 WITH SCORE 20579.418
AT ITER 1174 NEW BEST:: SOT 67656 SOS 26279 HAS SOPS 26279 HAS SOUS 20463 HAS SOUPS 20463 WITH SCORE 20489.279
AT ITER 1189 NEW BEST:: SOT 67617 SOS 26232 HAS SOPS 26232 HAS SOUS 20455 HAS SOUPS 20455 WITH SCORE 20481.232
AT ITER 1190 NEW BEST:: SOT 67185 SOS 25767 HAS SOPS 25767 HAS SOUS 19951 HAS SOUPS 19951 WITH SCORE 19976.767
AT ITER 1192 NEW BEST:: SOT 67244 SOS 25826 HAS SOPS 25826 HAS SOUS 19897 HAS SOUPS 19897 WITH SCORE 19922.826
AT ITER 1220 NEW BEST:: SOT 67238 SOS 25815 HAS SOPS 25815 HAS SOUS 19890 HAS SOUPS 19890 WITH SCORE 19915.815
AT ITER 1224 NEW BEST:: SOT 67217 SOS 25794 HAS SOPS 25794 HAS SOUS 19848 HAS SOUPS 19848 WITH SCORE 19873.794
AT ITER 1229 NEW BEST:: SOT 67230 SOS 25671 HAS SOPS 25671 HAS SOUS 19715 HAS SOUPS 19715 WITH SCORE 19740.671
AT ITER 1232 NEW BEST:: SOT 67226 SOS 25663 HAS SOPS 25663 HAS SOUS 19679 HAS SOUPS 19679 WITH SCORE 19704.663
AT ITER 1238 NEW BEST:: SOT 67163 SOS 25645 HAS SOPS 25645 HAS SOUS 19553 HAS SOUPS 19553 WITH SCORE 19578.645
AT ITER 1267 NEW BEST:: SOT 67151 SOS 25595 HAS SOPS 25595 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19554.595
AT ITER 1287 NEW BEST:: SOT 67137 SOS 25607 HAS SOPS 25607 HAS SOUS 19519 HAS SOUPS 19519 WITH SCORE 19544.607
AT ITER 1295 NEW BEST:: SOT 67135 SOS 25475 HAS SOPS 25475 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19527.475
AT ITER 1309 NEW BEST:: SOT 67137 SOS 25362 HAS SOPS 25362 HAS SOUS 19436 HAS SOUPS 19436 WITH SCORE 19461.362
AT ITER 1310 NEW BEST:: SOT 67090 SOS 25255 HAS SOPS 25255 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19351.255
AT ITER 1317 NEW BEST:: SOT 66926 SOS 25106 HAS SOPS 25106 HAS SOUS 19194 HAS SOUPS 19194 WITH SCORE 19219.106
AT ITER 1318 NEW BEST:: SOT 66926 SOS 25087 HAS SOPS 25087 HAS SOUS 19175 HAS SOUPS 19175 WITH SCORE 19200.087
AT ITER 1321 NEW BEST:: SOT 66879 SOS 24992 HAS SOPS 24992 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19105.992
AT ITER 1329 NEW BEST:: SOT 66845 SOS 24890 HAS SOPS 24890 HAS SOUS 19013 HAS SOUPS 19013 WITH SCORE 19037.89
AT ITER 1335 NEW BEST:: SOT 66831 SOS 24862 HAS SOPS 24862 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19009.862
AT ITER 1339 NEW BEST:: SOT 66833 SOS 24859 HAS SOPS 24859 HAS SOUS 18985 HAS SOUPS 18985 WITH SCORE 19009.859
AT ITER 1343 NEW BEST:: SOT 66755 SOS 24765 HAS SOPS 24765 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18918.765
AT ITER 1347 NEW BEST:: SOT 66744 SOS 24754 HAS SOPS 24754 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18910.754
AT ITER 1379 NEW BEST:: SOT 66700 SOS 24624 HAS SOPS 24624 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18801.624
AT ITER 1387 NEW BEST:: SOT 66645 SOS 24567 HAS SOPS 24567 HAS SOUS 18699 HAS SOUPS 18699 WITH SCORE 18723.567
AT ITER 1391 NEW BEST:: SOT 66633 SOS 24543 HAS SOPS 24543 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18699.543
AT ITER 1395 NEW BEST:: SOT 66632 SOS 24455 HAS SOPS 24455 HAS SOUS 18629 HAS SOUPS 18629 WITH SCORE 18653.455
AT ITER 1399 NEW BEST:: SOT 66632 SOS 24455 HAS SOPS 24455 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18625.455
AT ITER 1402 NEW BEST:: SOT 66589 SOS 24399 HAS SOPS 24399 HAS SOUS 18558 HAS SOUPS 18558 WITH SCORE 18582.399
AT ITER 1412 NEW BEST:: SOT 66551 SOS 24355 HAS SOPS 24355 HAS SOUS 18546 HAS SOUPS 18546 WITH SCORE 18570.355
AT ITER 1423 NEW BEST:: SOT 66548 SOS 24372 HAS SOPS 24372 HAS SOUS 18540 HAS SOUPS 18540 WITH SCORE 18564.372
AT ITER 1448 NEW BEST:: SOT 66464 SOS 24303 HAS SOPS 24303 HAS SOUS 18462 HAS SOUPS 18462 WITH SCORE 18486.303
AT ITER 1460 NEW BEST:: SOT 66335 SOS 29346 HAS SOPS 29346 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18472.346
AT ITER 1461 NEW BEST:: SOT 66309 SOS 29320 HAS SOPS 29320 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18446.32
AT ITER 1480 NEW BEST:: SOT 66326 SOS 29381 HAS SOPS 29381 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18404.381
AT ITER 1484 NEW BEST:: SOT 66271 SOS 29374 HAS SOPS 29374 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18397.374
AT ITER 1485 NEW BEST:: SOT 66270 SOS 29373 HAS SOPS 29373 HAS SOUS 18367 HAS SOUPS 18367 WITH SCORE 18396.373
AT ITER 1501 NEW BEST:: SOT 66270 SOS 29344 HAS SOPS 29344 HAS SOUS 18367 HAS SOUPS 18367 WITH SCORE 18396.344
AT ITER 1503 NEW BEST:: SOT 66270 SOS 29317 HAS SOPS 29317 HAS SOUS 18367 HAS SOUPS 18367 WITH SCORE 18396.317
AT ITER 1504 NEW BEST:: SOT 66254 SOS 29293 HAS SOPS 29293 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18364.293
AT ITER 1507 NEW BEST:: SOT 66236 SOS 29230 HAS SOPS 29230 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18328.23
AT ITER 1520 NEW BEST:: SOT 66222 SOS 29209 HAS SOPS 29209 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18314.209
AT ITER 1523 NEW BEST:: SOT 66210 SOS 29225 HAS SOPS 29225 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18290.225
AT ITER 1528 NEW BEST:: SOT 66186 SOS 29183 HAS SOPS 29183 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18260.183
AT ITER 1534 NEW BEST:: SOT 66183 SOS 29177 HAS SOPS 29177 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18257.177
AT ITER 1546 NEW BEST:: SOT 66154 SOS 29158 HAS SOPS 29158 HAS SOUS 18210 HAS SOUPS 18210 WITH SCORE 18239.158
AT ITER 1547 NEW BEST:: SOT 66120 SOS 29124 HAS SOPS 29124 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18205.124
AT ITER 1568 NEW BEST:: SOT 66084 SOS 29088 HAS SOPS 29088 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18169.088
AT ITER 1570 NEW BEST:: SOT 66093 SOS 28976 HAS SOPS 28976 HAS SOUS 18127 HAS SOUPS 18127 WITH SCORE 18155.976
AT ITER 1594 NEW BEST:: SOT 66042 SOS 28830 HAS SOPS 28830 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17979.83
AT ITER 1600 NEW BEST:: SOT 66062 SOS 28818 HAS SOPS 28818 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17973.818
AT ITER 1603 NEW BEST:: SOT 66053 SOS 28828 HAS SOPS 28828 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17962.828
AT ITER 1617 NEW BEST:: SOT 66059 SOS 28746 HAS SOPS 28746 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17894.746
AT ITER 1621 NEW BEST:: SOT 66046 SOS 28748 HAS SOPS 28748 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17881.748
AT ITER 1627 NEW BEST:: SOT 66014 SOS 28703 HAS SOPS 28703 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17836.703
AT ITER 1635 NEW BEST:: SOT 65977 SOS 28653 HAS SOPS 28653 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17801.653
AT ITER 1638 NEW BEST:: SOT 66016 SOS 28694 HAS SOPS 28694 HAS SOUS 17750 HAS SOUPS 17750 WITH SCORE 17778.694
AT ITER 1654 NEW BEST:: SOT 66003 SOS 28661 HAS SOPS 28661 HAS SOUS 17737 HAS SOUPS 17737 WITH SCORE 17765.661
AT ITER 1668 NEW BEST:: SOT 65989 SOS 28647 HAS SOPS 28647 HAS SOUS 17723 HAS SOUPS 17723 WITH SCORE 17751.647
AT ITER 1688 NEW BEST:: SOT 65989 SOS 28641 HAS SOPS 28641 HAS SOUS 17722 HAS SOUPS 17722 WITH SCORE 17750.641
AT ITER 1696 NEW BEST:: SOT 65974 SOS 28564 HAS SOPS 28564 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17712.564
AT ITER 1722 NEW BEST:: SOT 65984 SOS 28574 HAS SOPS 28574 HAS SOUS 17670 HAS SOUPS 17670 WITH SCORE 17698.574
AT ITER 1728 NEW BEST:: SOT 65951 SOS 28541 HAS SOPS 28541 HAS SOUS 17637 HAS SOUPS 17637 WITH SCORE 17665.541
AT ITER 1732 NEW BEST:: SOT 65973 SOS 28549 HAS SOPS 28549 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17638.549
AT ITER 1741 NEW BEST:: SOT 65970 SOS 28549 HAS SOPS 28549 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17633.549
AT ITER 1747 NEW BEST:: SOT 65970 SOS 28572 HAS SOPS 28572 HAS SOUS 17582 HAS SOUPS 17582 WITH SCORE 17610.572
AT ITER 1760 NEW BEST:: SOT 65968 SOS 28570 HAS SOPS 28570 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17608.57
AT ITER 1771 NEW BEST:: SOT 65851 SOS 28524 HAS SOPS 28524 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17508.524
AT ITER 1803 NEW BEST:: SOT 65851 SOS 28490 HAS SOPS 28490 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17451.49
AT ITER 1809 NEW BEST:: SOT 65842 SOS 28472 HAS SOPS 28472 HAS SOUS 17412 HAS SOUPS 17412 WITH SCORE 17440.472
AT ITER 1811 NEW BEST:: SOT 65839 SOS 28468 HAS SOPS 28468 HAS SOUS 17408 HAS SOUPS 17408 WITH SCORE 17436.468
AT ITER 1816 NEW BEST:: SOT 65816 SOS 28422 HAS SOPS 28422 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17356.422
AT ITER 1832 NEW BEST:: SOT 65802 SOS 28408 HAS SOPS 28408 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17342.408
AT ITER 1848 NEW BEST:: SOT 65815 SOS 28421 HAS SOPS 28421 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17319.421
AT ITER 1875 NEW BEST:: SOT 65793 SOS 28402 HAS SOPS 28402 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17300.402
AT ITER 1883 NEW BEST:: SOT 65793 SOS 28402 HAS SOPS 28402 HAS SOUS 17266 HAS SOUPS 17266 WITH SCORE 17294.402
AT ITER 1924 NEW BEST:: SOT 65743 SOS 28379 HAS SOPS 28379 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17279.379
AT ITER 1932 NEW BEST:: SOT 65679 SOS 28307 HAS SOPS 28307 HAS SOUS 17123 HAS SOUPS 17123 WITH SCORE 17151.307
AT ITER 1938 NEW BEST:: SOT 65658 SOS 28276 HAS SOPS 28276 HAS SOUS 17082 HAS SOUPS 17082 WITH SCORE 17110.276
AT ITER 1964 NEW BEST:: SOT 65655 SOS 28270 HAS SOPS 28270 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17083.27
AT ITER 1966 NEW BEST:: SOT 65635 SOS 28250 HAS SOPS 28250 HAS SOUS 17015 HAS SOUPS 17015 WITH SCORE 17043.25
AT ITER 1969 NEW BEST:: SOT 65595 SOS 28018 HAS SOPS 28018 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16903.018
AT ITER 1972 NEW BEST:: SOT 65593 SOS 27999 HAS SOPS 27999 HAS SOUS 16871 HAS SOUPS 16871 WITH SCORE 16898.999
AT ITER 1987 NEW BEST:: SOT 65560 SOS 27982 HAS SOPS 27982 HAS SOUS 16805 HAS SOUPS 16805 WITH SCORE 16832.982
AT ITER 1990 NEW BEST:: SOT 65557 SOS 27976 HAS SOPS 27976 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16826.976
AT ITER 2000 NEW BEST:: SOT 65486 SOS 27998 HAS SOPS 27998 HAS SOUS 16742 HAS SOUPS 16742 WITH SCORE 16769.998
AT ITER 2001 NEW BEST:: SOT 65360 SOS 27872 HAS SOPS 27872 HAS SOUS 16616 HAS SOUPS 16616 WITH SCORE 16643.872
AT ITER 2003 NEW BEST:: SOT 65359 SOS 27871 HAS SOPS 27871 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16642.871
AT ITER 2009 NEW BEST:: SOT 65327 SOS 27839 HAS SOPS 27839 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16610.839
AT ITER 2028 NEW BEST:: SOT 65274 SOS 27758 HAS SOPS 27758 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16529.758
AT ITER 2033 NEW BEST:: SOT 65240 SOS 27690 HAS SOPS 27690 HAS SOUS 16431 HAS SOUPS 16431 WITH SCORE 16458.69
AT ITER 2059 NEW BEST:: SOT 65212 SOS 27652 HAS SOPS 27652 HAS SOUS 16375 HAS SOUPS 16375 WITH SCORE 16402.652
AT ITER 2068 NEW BEST:: SOT 65049 SOS 27358 HAS SOPS 27358 HAS SOUS 16126 HAS SOUPS 16126 WITH SCORE 16153.358
AT ITER 2078 NEW BEST:: SOT 65046 SOS 27351 HAS SOPS 27351 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16147.351
AT ITER 2081 NEW BEST:: SOT 65039 SOS 27332 HAS SOPS 27332 HAS SOUS 16106 HAS SOUPS 16106 WITH SCORE 16133.332
AT ITER 2087 NEW BEST:: SOT 64982 SOS 27178 HAS SOPS 27178 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16108.178
AT ITER 2089 NEW BEST:: SOT 64982 SOS 26227 HAS SOPS 26227 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16107.227
AT ITER 2091 NEW BEST:: SOT 64982 SOS 26201 HAS SOPS 26201 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16107.201
AT ITER 2095 NEW BEST:: SOT 64831 SOS 25991 HAS SOPS 25991 HAS SOUS 15971 HAS SOUPS 15971 WITH SCORE 15996.991
AT ITER 2118 NEW BEST:: SOT 64816 SOS 25961 HAS SOPS 25961 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15966.961
AT ITER 2120 NEW BEST:: SOT 64786 SOS 25963 HAS SOPS 25963 HAS SOUS 15881 HAS SOUPS 15881 WITH SCORE 15906.963
AT ITER 2134 NEW BEST:: SOT 64780 SOS 25951 HAS SOPS 25951 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15884.951
AT ITER 2166 NEW BEST:: SOT 64780 SOS 25935 HAS SOPS 25935 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15884.935
AT ITER 2177 NEW BEST:: SOT 64730 SOS 25871 HAS SOPS 25871 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15856.871
AT ITER 2182 NEW BEST:: SOT 64680 SOS 25820 HAS SOPS 25820 HAS SOUS 15780 HAS SOUPS 15780 WITH SCORE 15805.82
AT ITER 2199 NEW BEST:: SOT 64668 SOS 25796 HAS SOPS 25796 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15781.796
AT ITER 2208 NEW BEST:: SOT 64665 SOS 25793 HAS SOPS 25793 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15778.793
AT ITER 2243 NEW BEST:: SOT 64605 SOS 25606 HAS SOPS 25606 HAS SOUS 15709 HAS SOUPS 15709 WITH SCORE 15734.606
AT ITER 2250 NEW BEST:: SOT 64605 SOS 25606 HAS SOPS 25606 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15733.606
AT ITER 2253 NEW BEST:: SOT 64601 SOS 25572 HAS SOPS 25572 HAS SOUS 15700 HAS SOUPS 15700 WITH SCORE 15725.572
AT ITER 2260 NEW BEST:: SOT 64570 SOS 25509 HAS SOPS 25509 HAS SOUS 15649 HAS SOUPS 15649 WITH SCORE 15674.509
AT ITER 2266 NEW BEST:: SOT 64582 SOS 25525 HAS SOPS 25525 HAS SOUS 15643 HAS SOUPS 15643 WITH SCORE 15668.525
AT ITER 2280 NEW BEST:: SOT 64603 SOS 25567 HAS SOPS 25567 HAS SOUS 15619 HAS SOUPS 15619 WITH SCORE 15644.567
AT ITER 2298 NEW BEST:: SOT 64603 SOS 25567 HAS SOPS 25567 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15643.567
AT ITER 2305 NEW BEST:: SOT 64600 SOS 25562 HAS SOPS 25562 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15636.562
AT ITER 2313 NEW BEST:: SOT 64594 SOS 25562 HAS SOPS 25562 HAS SOUS 15605 HAS SOUPS 15605 WITH SCORE 15630.562
AT ITER 2317 NEW BEST:: SOT 64588 SOS 25540 HAS SOPS 25540 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15618.54
AT ITER 2323 NEW BEST:: SOT 64588 SOS 25439 HAS SOPS 25439 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15618.439
AT ITER 2330 NEW BEST:: SOT 64513 SOS 25364 HAS SOPS 25364 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15507.364
AT ITER 2336 NEW BEST:: SOT 64510 SOS 25361 HAS SOPS 25361 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15504.361
AT ITER 2337 NEW BEST:: SOT 64510 SOS 25361 HAS SOPS 25361 HAS SOUS 15462 HAS SOUPS 15462 WITH SCORE 15487.361
AT ITER 2342 NEW BEST:: SOT 64510 SOS 25343 HAS SOPS 25343 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15469.343
AT ITER 2347 NEW BEST:: SOT 64493 SOS 25312 HAS SOPS 25312 HAS SOUS 15428 HAS SOUPS 15428 WITH SCORE 15453.312
AT ITER 2379 NEW BEST:: SOT 64497 SOS 25290 HAS SOPS 25290 HAS SOUS 15406 HAS SOUPS 15406 WITH SCORE 15431.29
AT ITER 2395 NEW BEST:: SOT 64488 SOS 25314 HAS SOPS 25314 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15413.314
AT ITER 2400 NEW BEST:: SOT 64449 SOS 25177 HAS SOPS 25177 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15335.177
AT ITER 2478 NEW BEST:: SOT 64439 SOS 25167 HAS SOPS 25167 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15306.167
AT ITER 2484 NEW BEST:: SOT 64415 SOS 25128 HAS SOPS 25128 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15265.128
AT ITER 2494 NEW BEST:: SOT 64407 SOS 25112 HAS SOPS 25112 HAS SOUS 15227 HAS SOUPS 15227 WITH SCORE 15252.112
AT ITER 2500 NEW BEST:: SOT 64400 SOS 25110 HAS SOPS 25110 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15250.11
AT ITER 2506 NEW BEST:: SOT 64400 SOS 25106 HAS SOPS 25106 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15246.106
AT ITER 2525 NEW BEST:: SOT 64398 SOS 25102 HAS SOPS 25102 HAS SOUS 15217 HAS SOUPS 15217 WITH SCORE 15242.102
AT ITER 2540 NEW BEST:: SOT 64368 SOS 25042 HAS SOPS 25042 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15193.042
AT ITER 2549 NEW BEST:: SOT 64353 SOS 24988 HAS SOPS 24988 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15158.988
AT ITER 2579 NEW BEST:: SOT 64344 SOS 24970 HAS SOPS 24970 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15131.97
AT ITER 2586 NEW BEST:: SOT 64338 SOS 24958 HAS SOPS 24958 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15119.958
AT ITER 2589 NEW BEST:: SOT 64332 SOS 24954 HAS SOPS 24954 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15119.954
AT ITER 2610 NEW BEST:: SOT 64332 SOS 24939 HAS SOPS 24939 HAS SOUS 15095 HAS SOUPS 15095 WITH SCORE 15119.939
AT ITER 2634 NEW BEST:: SOT 64366 SOS 24902 HAS SOPS 24902 HAS SOUS 15071 HAS SOUPS 15071 WITH SCORE 15095.902
AT ITER 2654 NEW BEST:: SOT 64365 SOS 24899 HAS SOPS 24899 HAS SOUS 15069 HAS SOUPS 15069 WITH SCORE 15093.899
AT ITER 2674 NEW BEST:: SOT 64364 SOS 24897 HAS SOPS 24897 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15089.897
AT ITER 2681 NEW BEST:: SOT 64364 SOS 24873 HAS SOPS 24873 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15089.873
AT ITER 2683 NEW BEST:: SOT 64364 SOS 24840 HAS SOPS 24840 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15089.84
AT ITER 2686 NEW BEST:: SOT 64364 SOS 24810 HAS SOPS 24810 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15074.81
AT ITER 2698 NEW BEST:: SOT 64341 SOS 24787 HAS SOPS 24787 HAS SOUS 15027 HAS SOUPS 15027 WITH SCORE 15051.787
AT ITER 2708 NEW BEST:: SOT 64333 SOS 24779 HAS SOPS 24779 HAS SOUS 15019 HAS SOUPS 15019 WITH SCORE 15043.779
AT ITER 2709 NEW BEST:: SOT 64342 SOS 24797 HAS SOPS 24797 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15022.797
AT ITER 2718 NEW BEST:: SOT 64315 SOS 24743 HAS SOPS 24743 HAS SOUS 14944 HAS SOUPS 14944 WITH SCORE 14968.743
AT ITER 2720 NEW BEST:: SOT 64306 SOS 24725 HAS SOPS 24725 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14876.725
AT ITER 2753 NEW BEST:: SOT 64297 SOS 24710 HAS SOPS 24710 HAS SOUS 14843 HAS SOUPS 14843 WITH SCORE 14867.71
AT ITER 2758 NEW BEST:: SOT 64288 SOS 24758 HAS SOPS 24758 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14858.758
AT ITER 2774 NEW BEST:: SOT 64292 SOS 24749 HAS SOPS 24749 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14858.749
AT ITER 2852 NEW BEST:: SOT 64318 SOS 24748 HAS SOPS 24748 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14820.748
AT ITER 2854 NEW BEST:: SOT 64264 SOS 24694 HAS SOPS 24694 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14755.694
AT ITER 2858 NEW BEST:: SOT 64234 SOS 24690 HAS SOPS 24690 HAS SOUS 14713 HAS SOUPS 14713 WITH SCORE 14737.69
AT ITER 2863 NEW BEST:: SOT 64234 SOS 24674 HAS SOPS 24674 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14721.674
AT ITER 2864 NEW BEST:: SOT 64234 SOS 24622 HAS SOPS 24622 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14695.622
AT ITER 2883 NEW BEST:: SOT 63977 SOS 24416 HAS SOPS 24416 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14536.416
AT ITER 2897 NEW BEST:: SOT 63977 SOS 24402 HAS SOPS 24402 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14536.402
AT ITER 2901 NEW BEST:: SOT 63976 SOS 24395 HAS SOPS 24395 HAS SOUS 14510 HAS SOUPS 14510 WITH SCORE 14534.395
AT ITER 2911 NEW BEST:: SOT 63967 SOS 24391 HAS SOPS 24391 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14527.391
AT ITER 2947 NEW BEST:: SOT 63980 SOS 24372 HAS SOPS 24372 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14494.372
AT ITER 2950 NEW BEST:: SOT 63961 SOS 24355 HAS SOPS 24355 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14477.355
AT ITER 2960 NEW BEST:: SOT 63961 SOS 24355 HAS SOPS 24355 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14475.355
AT ITER 2962 NEW BEST:: SOT 63954 SOS 24349 HAS SOPS 24349 HAS SOUS 14449 HAS SOUPS 14449 WITH SCORE 14473.349
AT ITER 2979 NEW BEST:: SOT 63950 SOS 24343 HAS SOPS 24343 HAS SOUS 14441 HAS SOUPS 14441 WITH SCORE 14465.343
AT ITER 2999 NEW BEST:: SOT 63933 SOS 24265 HAS SOPS 24265 HAS SOUS 14400 HAS SOUPS 14400 WITH SCORE 14424.265
AT ITER 3021 NEW BEST:: SOT 63933 SOS 24265 HAS SOPS 24265 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14400.265
AT ITER 3030 NEW BEST:: SOT 63932 SOS 24263 HAS SOPS 24263 HAS SOUS 14374 HAS SOUPS 14374 WITH SCORE 14398.263
AT ITER 3032 NEW BEST:: SOT 63899 SOS 24230 HAS SOPS 24230 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14332.23
AT ITER 3059 NEW BEST:: SOT 63909 SOS 24249 HAS SOPS 24249 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14321.249
AT ITER 3070 NEW BEST:: SOT 63895 SOS 24221 HAS SOPS 24221 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14293.221
AT ITER 3077 NEW BEST:: SOT 63895 SOS 24220 HAS SOPS 24220 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14292.22
AT ITER 3086 NEW BEST:: SOT 63925 SOS 24210 HAS SOPS 24210 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14282.21
AT ITER 3100 NEW BEST:: SOT 63911 SOS 24188 HAS SOPS 24188 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14254.188
AT ITER 3106 NEW BEST:: SOT 63874 SOS 24095 HAS SOPS 24095 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14185.095
AT ITER 3132 NEW BEST:: SOT 63855 SOS 24089 HAS SOPS 24089 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14181.089
AT ITER 3150 NEW BEST:: SOT 63853 SOS 24085 HAS SOPS 24085 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14177.085
AT ITER 3167 NEW BEST:: SOT 63853 SOS 24085 HAS SOPS 24085 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14176.085
AT ITER 3181 NEW BEST:: SOT 63853 SOS 24080 HAS SOPS 24080 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14171.08
AT ITER 3191 NEW BEST:: SOT 63735 SOS 23937 HAS SOPS 23937 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14058.937
AT ITER 3203 NEW BEST:: SOT 63716 SOS 23851 HAS SOPS 23851 HAS SOUS 13949 HAS SOUPS 13949 WITH SCORE 13972.851
AT ITER 3212 NEW BEST:: SOT 63707 SOS 23824 HAS SOPS 23824 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13952.824
AT ITER 3217 NEW BEST:: SOT 63706 SOS 23822 HAS SOPS 23822 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13948.822
AT ITER 3261 NEW BEST:: SOT 63705 SOS 23815 HAS SOPS 23815 HAS SOUS 13923 HAS SOUPS 13923 WITH SCORE 13946.815
AT ITER 3280 NEW BEST:: SOT 63705 SOS 23802 HAS SOPS 23802 HAS SOUS 13923 HAS SOUPS 13923 WITH SCORE 13946.802
AT ITER 3282 NEW BEST:: SOT 63611 SOS 23702 HAS SOPS 23702 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13846.702
AT ITER 3295 NEW BEST:: SOT 63607 SOS 23698 HAS SOPS 23698 HAS SOUS 13819 HAS SOUPS 13819 WITH SCORE 13842.698
AT ITER 3305 NEW BEST:: SOT 63600 SOS 23715 HAS SOPS 23715 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13824.715
AT ITER 3315 NEW BEST:: SOT 63597 SOS 23682 HAS SOPS 23682 HAS SOUS 13750 HAS SOUPS 13750 WITH SCORE 13773.682
AT ITER 3316 NEW BEST:: SOT 63543 SOS 23574 HAS SOPS 23574 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13665.574
AT ITER 3350 NEW BEST:: SOT 63526 SOS 23549 HAS SOPS 23549 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13638.549
AT ITER 3356 NEW BEST:: SOT 63489 SOS 23475 HAS SOPS 23475 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13605.475
AT ITER 3387 NEW BEST:: SOT 63370 SOS 23305 HAS SOPS 23305 HAS SOUS 13473 HAS SOUPS 13473 WITH SCORE 13496.305
AT ITER 3402 NEW BEST:: SOT 63367 SOS 23302 HAS SOPS 23302 HAS SOUS 13467 HAS SOUPS 13467 WITH SCORE 13490.302
AT ITER 3419 NEW BEST:: SOT 63353 SOS 23274 HAS SOPS 23274 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13476.274
AT ITER 3432 NEW BEST:: SOT 63347 SOS 23211 HAS SOPS 23211 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13464.211
AT ITER 3444 NEW BEST:: SOT 63345 SOS 23205 HAS SOPS 23205 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13460.205
AT ITER 3455 NEW BEST:: SOT 63382 SOS 23231 HAS SOPS 23231 HAS SOUS 13419 HAS SOUPS 13419 WITH SCORE 13442.231
AT ITER 3461 NEW BEST:: SOT 63378 SOS 23221 HAS SOPS 23221 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13435.221
AT ITER 3469 NEW BEST:: SOT 63374 SOS 23217 HAS SOPS 23217 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13431.217
AT ITER 3511 NEW BEST:: SOT 63357 SOS 23158 HAS SOPS 23158 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13389.158
AT ITER 3514 NEW BEST:: SOT 63357 SOS 23021 HAS SOPS 23021 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13389.021
AT ITER 3524 NEW BEST:: SOT 63357 SOS 23087 HAS SOPS 23087 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13388.087
AT ITER 3541 NEW BEST:: SOT 63339 SOS 23032 HAS SOPS 23032 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13352.032
AT ITER 3546 NEW BEST:: SOT 63339 SOS 22965 HAS SOPS 22965 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13351.965
AT ITER 3552 NEW BEST:: SOT 63335 SOS 22953 HAS SOPS 22953 HAS SOUS 13321 HAS SOUPS 13321 WITH SCORE 13343.953
AT ITER 3566 NEW BEST:: SOT 63339 SOS 22931 HAS SOPS 22931 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13321.931
AT ITER 3594 NEW BEST:: SOT 63339 SOS 22919 HAS SOPS 22919 HAS SOUS 13287 HAS SOUPS 13287 WITH SCORE 13309.919
AT ITER 3621 NEW BEST:: SOT 63286 SOS 23400 HAS SOPS 23400 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13303.4
AT ITER 3635 NEW BEST:: SOT 63299 SOS 22788 HAS SOPS 22788 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13267.788
AT ITER 3645 NEW BEST:: SOT 63299 SOS 22788 HAS SOPS 22788 HAS SOUS 13239 HAS SOUPS 13239 WITH SCORE 13261.788
AT ITER 3652 NEW BEST:: SOT 63298 SOS 22785 HAS SOPS 22785 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13260.785
AT ITER 3657 NEW BEST:: SOT 63279 SOS 22747 HAS SOPS 22747 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13213.747
AT ITER 3658 NEW BEST:: SOT 63279 SOS 22747 HAS SOPS 22747 HAS SOUS 13180 HAS SOUPS 13180 WITH SCORE 13202.747
AT ITER 3661 NEW BEST:: SOT 63272 SOS 22737 HAS SOPS 22737 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13197.737
AT ITER 3680 NEW BEST:: SOT 63260 SOS 22713 HAS SOPS 22713 HAS SOUS 13151 HAS SOUPS 13151 WITH SCORE 13173.713
AT ITER 3683 NEW BEST:: SOT 63242 SOS 22709 HAS SOPS 22709 HAS SOUS 13147 HAS SOUPS 13147 WITH SCORE 13169.709
AT ITER 3705 NEW BEST:: SOT 63233 SOS 22691 HAS SOPS 22691 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13151.691
AT ITER 3722 NEW BEST:: SOT 63280 SOS 22785 HAS SOPS 22785 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13132.785
AT ITER 3723 NEW BEST:: SOT 63280 SOS 22779 HAS SOPS 22779 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13126.779
AT ITER 3730 NEW BEST:: SOT 63265 SOS 22747 HAS SOPS 22747 HAS SOUS 13074 HAS SOUPS 13074 WITH SCORE 13096.747
AT ITER 3749 NEW BEST:: SOT 63286 SOS 22715 HAS SOPS 22715 HAS SOUS 13060 HAS SOUPS 13060 WITH SCORE 13082.715
AT ITER 3776 NEW BEST:: SOT 63286 SOS 22711 HAS SOPS 22711 HAS SOUS 13056 HAS SOUPS 13056 WITH SCORE 13078.711
AT ITER 3824 NEW BEST:: SOT 63253 SOS 23038 HAS SOPS 23038 HAS SOUS 13027 HAS SOUPS 13027 WITH SCORE 13050.038
AT ITER 3843 NEW BEST:: SOT 63253 SOS 23035 HAS SOPS 23035 HAS SOUS 13027 HAS SOUPS 13027 WITH SCORE 13050.035
AT ITER 3848 NEW BEST:: SOT 63214 SOS 23010 HAS SOPS 23010 HAS SOUS 13005 HAS SOUPS 13005 WITH SCORE 13028.01
AT ITER 3857 NEW BEST:: SOT 63192 SOS 22966 HAS SOPS 22966 HAS SOUS 12983 HAS SOUPS 12983 WITH SCORE 13005.966
AT ITER 3875 NEW BEST:: SOT 63195 SOS 22972 HAS SOPS 22972 HAS SOUS 12977 HAS SOUPS 12977 WITH SCORE 12999.972
AT ITER 3880 NEW BEST:: SOT 63183 SOS 22960 HAS SOPS 22960 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12979.96
AT ITER 3885 NEW BEST:: SOT 63180 SOS 22957 HAS SOPS 22957 HAS SOUS 12954 HAS SOUPS 12954 WITH SCORE 12976.957
AT ITER 3886 NEW BEST:: SOT 63141 SOS 22919 HAS SOPS 22919 HAS SOUS 12929 HAS SOUPS 12929 WITH SCORE 12951.919
AT ITER 3906 NEW BEST:: SOT 63123 SOS 22908 HAS SOPS 22908 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12923.908
AT ITER 3925 NEW BEST:: SOT 63099 SOS 22833 HAS SOPS 22833 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12845.833
AT ITER 3964 NEW BEST:: SOT 63082 SOS 22818 HAS SOPS 22818 HAS SOUS 12806 HAS SOUPS 12806 WITH SCORE 12828.818
AT ITER 3976 NEW BEST:: SOT 63069 SOS 22792 HAS SOPS 22792 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12803.792
AT ITER 3983 NEW BEST:: SOT 63069 SOS 22792 HAS SOPS 22792 HAS SOUS 12780 HAS SOUPS 12780 WITH SCORE 12802.792
AT ITER 3995 NEW BEST:: SOT 63056 SOS 22782 HAS SOPS 22782 HAS SOUS 12751 HAS SOUPS 12751 WITH SCORE 12773.782
AT ITER 4012 NEW BEST:: SOT 63032 SOS 22734 HAS SOPS 22734 HAS SOUS 12718 HAS SOUPS 12718 WITH SCORE 12740.734
AT ITER 4017 NEW BEST:: SOT 63035 SOS 22740 HAS SOPS 22740 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12713.74
AT ITER 4071 NEW BEST:: SOT 63030 SOS 22725 HAS SOPS 22725 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12698.725
AT ITER 4085 NEW BEST:: SOT 62947 SOS 22642 HAS SOPS 22642 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12615.642
AT ITER 4130 NEW BEST:: SOT 62934 SOS 22629 HAS SOPS 22629 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12615.629
AT ITER 4193 NEW BEST:: SOT 62914 SOS 22609 HAS SOPS 22609 HAS SOUS 12553 HAS SOUPS 12553 WITH SCORE 12575.609
AT ITER 4212 NEW BEST:: SOT 62910 SOS 22601 HAS SOPS 22601 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12567.601
AT ITER 4213 NEW BEST:: SOT 62931 SOS 22596 HAS SOPS 22596 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12562.596
AT ITER 4240 NEW BEST:: SOT 62905 SOS 22570 HAS SOPS 22570 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12537.57
AT ITER 4248 NEW BEST:: SOT 62891 SOS 22414 HAS SOPS 22414 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12468.414
AT ITER 4259 NEW BEST:: SOT 62889 SOS 22336 HAS SOPS 22336 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12464.336
AT ITER 4278 NEW BEST:: SOT 62867 SOS 22319 HAS SOPS 22319 HAS SOUS 12431 HAS SOUPS 12431 WITH SCORE 12453.319
AT ITER 4293 NEW BEST:: SOT 62854 SOS 22271 HAS SOPS 22271 HAS SOUS 12405 HAS SOUPS 12405 WITH SCORE 12427.271
AT ITER 4319 NEW BEST:: SOT 62852 SOS 22263 HAS SOPS 22263 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12421.263
AT ITER 4332 NEW BEST:: SOT 62850 SOS 22259 HAS SOPS 22259 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12417.259
AT ITER 4344 NEW BEST:: SOT 62863 SOS 22251 HAS SOPS 22251 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12401.251
AT ITER 4348 NEW BEST:: SOT 62813 SOS 22194 HAS SOPS 22194 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12342.194
AT ITER 4379 NEW BEST:: SOT 62803 SOS 22174 HAS SOPS 22174 HAS SOUS 12300 HAS SOUPS 12300 WITH SCORE 12322.174
AT ITER 4409 NEW BEST:: SOT 62799 SOS 22166 HAS SOPS 22166 HAS SOUS 12292 HAS SOUPS 12292 WITH SCORE 12314.166
AT ITER 4425 NEW BEST:: SOT 62801 SOS 21769 HAS SOPS 21769 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12311.769
AT ITER 4433 NEW BEST:: SOT 62798 SOS 21765 HAS SOPS 21765 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12307.765
AT ITER 4440 NEW BEST:: SOT 62783 SOS 21763 HAS SOPS 21763 HAS SOUS 12256 HAS SOUPS 12256 WITH SCORE 12277.763
AT ITER 4482 NEW BEST:: SOT 62775 SOS 21765 HAS SOPS 21765 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12269.765
AT ITER 4486 NEW BEST:: SOT 62766 SOS 21747 HAS SOPS 21747 HAS SOUS 12239 HAS SOUPS 12239 WITH SCORE 12260.747
AT ITER 4522 NEW BEST:: SOT 62761 SOS 21704 HAS SOPS 21704 HAS SOUS 12229 HAS SOUPS 12229 WITH SCORE 12250.704
AT ITER 4525 NEW BEST:: SOT 62757 SOS 21705 HAS SOPS 21705 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12247.705
AT ITER 4533 NEW BEST:: SOT 62756 SOS 21708 HAS SOPS 21708 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12241.708
AT ITER 4562 NEW BEST:: SOT 62739 SOS 21700 HAS SOPS 21700 HAS SOUS 12206 HAS SOUPS 12206 WITH SCORE 12227.7
AT ITER 4603 NEW BEST:: SOT 62737 SOS 21698 HAS SOPS 21698 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12223.698
AT ITER 4623 NEW BEST:: SOT 62736 SOS 21696 HAS SOPS 21696 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12221.696
AT ITER 4629 NEW BEST:: SOT 62736 SOS 21698 HAS SOPS 21698 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12219.698
AT ITER 4655 NEW BEST:: SOT 62736 SOS 21663 HAS SOPS 21663 HAS SOUS 12163 HAS SOUPS 12163 WITH SCORE 12184.663
AT ITER 4675 NEW BEST:: SOT 62733 SOS 21657 HAS SOPS 21657 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12178.657
AT ITER 4697 NEW BEST:: SOT 62723 SOS 21637 HAS SOPS 21637 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12158.637
AT ITER 4706 NEW BEST:: SOT 62705 SOS 21632 HAS SOPS 21632 HAS SOUS 12101 HAS SOUPS 12101 WITH SCORE 12122.632
AT ITER 4728 NEW BEST:: SOT 62676 SOS 21574 HAS SOPS 21574 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12090.574
AT ITER 4732 NEW BEST:: SOT 62675 SOS 21572 HAS SOPS 21572 HAS SOUS 12067 HAS SOUPS 12067 WITH SCORE 12088.572
AT ITER 4750 NEW BEST:: SOT 62637 SOS 21534 HAS SOPS 21534 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12060.534
AT ITER 4785 NEW BEST:: SOT 62634 SOS 21528 HAS SOPS 21528 HAS SOUS 12033 HAS SOUPS 12033 WITH SCORE 12054.528
AT ITER 4829 NEW BEST:: SOT 62644 SOS 21534 HAS SOPS 21534 HAS SOUS 12023 HAS SOUPS 12023 WITH SCORE 12044.534
AT ITER 4879 NEW BEST:: SOT 62625 SOS 21516 HAS SOPS 21516 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12026.516
AT ITER 4888 NEW BEST:: SOT 62612 SOS 21503 HAS SOPS 21503 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12013.503
AT ITER 4911 NEW BEST:: SOT 62637 SOS 21497 HAS SOPS 21497 HAS SOUS 11983 HAS SOUPS 11983 WITH SCORE 12004.497
AT ITER 4913 NEW BEST:: SOT 62631 SOS 21491 HAS SOPS 21491 HAS SOUS 11977 HAS SOUPS 11977 WITH SCORE 11998.491
AT ITER 4926 NEW BEST:: SOT 62626 SOS 21472 HAS SOPS 21472 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11979.472
AT ITER 4930 NEW BEST:: SOT 62617 SOS 21463 HAS SOPS 21463 HAS SOUS 11950 HAS SOUPS 11950 WITH SCORE 11971.463
AT ITER 4932 NEW BEST:: SOT 62613 SOS 21459 HAS SOPS 21459 HAS SOUS 11948 HAS SOUPS 11948 WITH SCORE 11969.459
AT ITER 4942 NEW BEST:: SOT 62608 SOS 21423 HAS SOPS 21423 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11959.423
AT ITER 4944 NEW BEST:: SOT 62608 SOS 21418 HAS SOPS 21418 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11959.418
AT ITER 4961 NEW BEST:: SOT 62592 SOS 21428 HAS SOPS 21428 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11950.428
AT ITER 4965 NEW BEST:: SOT 62595 SOS 21434 HAS SOPS 21434 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11941.434
AT ITER 4995 NEW BEST:: SOT 62595 SOS 21431 HAS SOPS 21431 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11941.431
AT ITER 5012 NEW BEST:: SOT 62594 SOS 21434 HAS SOPS 21434 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11939.434
AT ITER 5042 NEW BEST:: SOT 62590 SOS 21342 HAS SOPS 21342 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11927.342
AT ITER 5069 NEW BEST:: SOT 62586 SOS 21334 HAS SOPS 21334 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11915.334
AT ITER 5129 NEW BEST:: SOT 62573 SOS 21327 HAS SOPS 21327 HAS SOUS 11893 HAS SOUPS 11893 WITH SCORE 11914.327
AT ITER 5145 NEW BEST:: SOT 62573 SOS 21327 HAS SOPS 21327 HAS SOUS 11885 HAS SOUPS 11885 WITH SCORE 11906.327
AT ITER 5214 NEW BEST:: SOT 62570 SOS 21321 HAS SOPS 21321 HAS SOUS 11879 HAS SOUPS 11879 WITH SCORE 11900.321
AT ITER 5221 NEW BEST:: SOT 62569 SOS 21319 HAS SOPS 21319 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11898.319
AT ITER 5270 NEW BEST:: SOT 62569 SOS 21318 HAS SOPS 21318 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11898.318
AT ITER 5285 NEW BEST:: SOT 62541 SOS 21262 HAS SOPS 21262 HAS SOUS 11841 HAS SOUPS 11841 WITH SCORE 11862.262
AT ITER 5291 NEW BEST:: SOT 62532 SOS 21244 HAS SOPS 21244 HAS SOUS 11823 HAS SOUPS 11823 WITH SCORE 11844.244
AT ITER 5301 NEW BEST:: SOT 62532 SOS 21244 HAS SOPS 21244 HAS SOUS 11821 HAS SOUPS 11821 WITH SCORE 11842.244
AT ITER 5326 NEW BEST:: SOT 62509 SOS 21198 HAS SOPS 21198 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11796.198
AT ITER 5330 NEW BEST:: SOT 62503 SOS 21192 HAS SOPS 21192 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11790.192
AT ITER 5348 NEW BEST:: SOT 62500 SOS 21182 HAS SOPS 21182 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11784.182
AT ITER 5363 NEW BEST:: SOT 62500 SOS 21180 HAS SOPS 21180 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11784.18
AT ITER 5382 NEW BEST:: SOT 62500 SOS 21168 HAS SOPS 21168 HAS SOUS 11763 HAS SOUPS 11763 WITH SCORE 11784.168
AT ITER 5399 NEW BEST:: SOT 62494 SOS 21162 HAS SOPS 21162 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11772.162
AT ITER 5416 NEW BEST:: SOT 62495 SOS 21161 HAS SOPS 21161 HAS SOUS 11750 HAS SOUPS 11750 WITH SCORE 11771.161
AT ITER 5435 NEW BEST:: SOT 62482 SOS 21148 HAS SOPS 21148 HAS SOUS 11709 HAS SOUPS 11709 WITH SCORE 11730.148
AT ITER 5554 NEW BEST:: SOT 62469 SOS 21135 HAS SOPS 21135 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11717.135
AT ITER 5563 NEW BEST:: SOT 62464 SOS 21102 HAS SOPS 21102 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11707.102
AT ITER 5654 NEW BEST:: SOT 62444 SOS 21097 HAS SOPS 21097 HAS SOUS 11681 HAS SOUPS 11681 WITH SCORE 11702.097
AT ITER 5695 NEW BEST:: SOT 62444 SOS 21097 HAS SOPS 21097 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11698.097
AT ITER 5702 NEW BEST:: SOT 62440 SOS 21088 HAS SOPS 21088 HAS SOUS 11668 HAS SOUPS 11668 WITH SCORE 11689.088
AT ITER 5748 NEW BEST:: SOT 62430 SOS 21072 HAS SOPS 21072 HAS SOUS 11659 HAS SOUPS 11659 WITH SCORE 11680.072
AT ITER 5774 NEW BEST:: SOT 62430 SOS 21065 HAS SOPS 21065 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11673.065
AT ITER 5800 NEW BEST:: SOT 62424 SOS 21059 HAS SOPS 21059 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11667.059
AT ITER 5810 NEW BEST:: SOT 62422 SOS 21055 HAS SOPS 21055 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11663.055
AT ITER 5811 NEW BEST:: SOT 62418 SOS 21048 HAS SOPS 21048 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11658.048
AT ITER 5839 NEW BEST:: SOT 62364 SOS 20994 HAS SOPS 20994 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11603.994
AT ITER 5858 NEW BEST:: SOT 62350 SOS 20966 HAS SOPS 20966 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11589.966
AT ITER 5877 NEW BEST:: SOT 62325 SOS 20941 HAS SOPS 20941 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11564.941
AT ITER 5880 NEW BEST:: SOT 62319 SOS 20938 HAS SOPS 20938 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11552.938
AT ITER 5899 NEW BEST:: SOT 62314 SOS 20924 HAS SOPS 20924 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11537.924
AT ITER 5902 NEW BEST:: SOT 62317 SOS 20920 HAS SOPS 20920 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11533.92
AT ITER 5903 NEW BEST:: SOT 62314 SOS 20895 HAS SOPS 20895 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11508.895
AT ITER 5909 NEW BEST:: SOT 62306 SOS 20869 HAS SOPS 20869 HAS SOUS 11457 HAS SOUPS 11457 WITH SCORE 11477.869
AT ITER 5929 NEW BEST:: SOT 62302 SOS 20865 HAS SOPS 20865 HAS SOUS 11449 HAS SOUPS 11449 WITH SCORE 11469.865
AT ITER 5977 NEW BEST:: SOT 62207 SOS 20675 HAS SOPS 20675 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11296.675
AT ITER 6023 NEW BEST:: SOT 62207 SOS 20666 HAS SOPS 20666 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11296.666
AT ITER 6159 NEW BEST:: SOT 62207 SOS 20651 HAS SOPS 20651 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11296.651
AT ITER 6181 NEW BEST:: SOT 62204 SOS 20648 HAS SOPS 20648 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11293.648
AT ITER 6202 NEW BEST:: SOT 62212 SOS 20631 HAS SOPS 20631 HAS SOUS 11256 HAS SOUPS 11256 WITH SCORE 11276.631
AT ITER 6245 NEW BEST:: SOT 62217 SOS 20632 HAS SOPS 20632 HAS SOUS 11252 HAS SOUPS 11252 WITH SCORE 11272.632
AT ITER 6280 NEW BEST:: SOT 62210 SOS 20641 HAS SOPS 20641 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11266.641
AT ITER 6286 NEW BEST:: SOT 62212 SOS 20635 HAS SOPS 20635 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11266.635
AT ITER 6288 NEW BEST:: SOT 62212 SOS 20619 HAS SOPS 20619 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11266.619
AT ITER 6334 NEW BEST:: SOT 62202 SOS 20599 HAS SOPS 20599 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11246.599
AT ITER 6363 NEW BEST:: SOT 62197 SOS 20589 HAS SOPS 20589 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11241.589
AT ITER 6372 NEW BEST:: SOT 62185 SOS 20565 HAS SOPS 20565 HAS SOUS 11218 HAS SOUPS 11218 WITH SCORE 11238.565
AT ITER 6401 NEW BEST:: SOT 62182 SOS 20559 HAS SOPS 20559 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11229.559
AT ITER 6451 NEW BEST:: SOT 62175 SOS 20552 HAS SOPS 20552 HAS SOUS 11195 HAS SOUPS 11195 WITH SCORE 11215.552
AT ITER 6493 NEW BEST:: SOT 62152 SOS 20598 HAS SOPS 20598 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11169.598
AT ITER 6494 NEW BEST:: SOT 62147 SOS 20588 HAS SOPS 20588 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11159.588
AT ITER 6510 NEW BEST:: SOT 62145 SOS 20587 HAS SOPS 20587 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11157.587
AT ITER 6517 NEW BEST:: SOT 62134 SOS 20576 HAS SOPS 20576 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11157.576
AT ITER 6611 NEW BEST:: SOT 62128 SOS 20558 HAS SOPS 20558 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11145.558
AT ITER 6666 NEW BEST:: SOT 62125 SOS 20552 HAS SOPS 20552 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11144.552
AT ITER 6717 NEW BEST:: SOT 62124 SOS 20720 HAS SOPS 20720 HAS SOUS 11123 HAS SOUPS 11123 WITH SCORE 11143.72
AT ITER 6737 NEW BEST:: SOT 62109 SOS 21723 HAS SOPS 21723 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11129.723
AT ITER 6744 NEW BEST:: SOT 62101 SOS 21710 HAS SOPS 21710 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11113.71
AT ITER 6814 NEW BEST:: SOT 62075 SOS 21702 HAS SOPS 21702 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11105.702
AT ITER 6827 NEW BEST:: SOT 62065 SOS 21682 HAS SOPS 21682 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11091.682
AT ITER 6865 NEW BEST:: SOT 62064 SOS 21681 HAS SOPS 21681 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11091.681
AT ITER 6871 NEW BEST:: SOT 62060 SOS 21677 HAS SOPS 21677 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11087.677
AT ITER 6893 NEW BEST:: SOT 62058 SOS 21675 HAS SOPS 21675 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11085.675
AT ITER 6894 NEW BEST:: SOT 62046 SOS 21651 HAS SOPS 21651 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11061.651
AT ITER 6921 NEW BEST:: SOT 62046 SOS 21644 HAS SOPS 21644 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11053.644
AT ITER 6992 NEW BEST:: SOT 62040 SOS 21652 HAS SOPS 21652 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11044.652
AT ITER 7002 NEW BEST:: SOT 62003 SOS 21622 HAS SOPS 21622 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10987.622
AT ITER 7007 NEW BEST:: SOT 61992 SOS 21600 HAS SOPS 21600 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10965.6
AT ITER 7025 NEW BEST:: SOT 61990 SOS 21596 HAS SOPS 21596 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10954.596
AT ITER 7040 NEW BEST:: SOT 62007 SOS 21618 HAS SOPS 21618 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10952.618
AT ITER 7056 NEW BEST:: SOT 61992 SOS 21593 HAS SOPS 21593 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10937.593
AT ITER 7085 NEW BEST:: SOT 61969 SOS 21561 HAS SOPS 21561 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10923.561
AT ITER 7107 NEW BEST:: SOT 61966 SOS 21555 HAS SOPS 21555 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10917.555
AT ITER 7112 NEW BEST:: SOT 61956 SOS 21540 HAS SOPS 21540 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10902.54
AT ITER 7184 NEW BEST:: SOT 61938 SOS 21504 HAS SOPS 21504 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10866.504
AT ITER 7228 NEW BEST:: SOT 61935 SOS 21494 HAS SOPS 21494 HAS SOUS 10839 HAS SOUPS 10839 WITH SCORE 10860.494
AT ITER 7260 NEW BEST:: SOT 61917 SOS 21430 HAS SOPS 21430 HAS SOUS 10803 HAS SOUPS 10803 WITH SCORE 10824.43
AT ITER 7301 NEW BEST:: SOT 61910 SOS 21423 HAS SOPS 21423 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10820.423
AT ITER 7320 NEW BEST:: SOT 61877 SOS 21372 HAS SOPS 21372 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10760.372
AT ITER 7337 NEW BEST:: SOT 61876 SOS 21370 HAS SOPS 21370 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10758.37
AT ITER 7346 NEW BEST:: SOT 61843 SOS 21713 HAS SOPS 21713 HAS SOUS 10734 HAS SOUPS 10734 WITH SCORE 10755.713
AT ITER 7373 NEW BEST:: SOT 61843 SOS 21681 HAS SOPS 21681 HAS SOUS 10702 HAS SOUPS 10702 WITH SCORE 10723.681
AT ITER 7377 NEW BEST:: SOT 61845 SOS 21686 HAS SOPS 21686 HAS SOUS 10700 HAS SOUPS 10700 WITH SCORE 10721.686
AT ITER 7405 NEW BEST:: SOT 61845 SOS 21682 HAS SOPS 21682 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10717.682
AT ITER 7413 NEW BEST:: SOT 61837 SOS 21645 HAS SOPS 21645 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10668.645
AT ITER 7437 NEW BEST:: SOT 61830 SOS 21619 HAS SOPS 21619 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10651.619
AT ITER 7444 NEW BEST:: SOT 61819 SOS 21608 HAS SOPS 21608 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10640.608
AT ITER 7505 NEW BEST:: SOT 61814 SOS 21603 HAS SOPS 21603 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10630.603
AT ITER 7612 NEW BEST:: SOT 61816 SOS 21599 HAS SOPS 21599 HAS SOUS 10605 HAS SOUPS 10605 WITH SCORE 10626.599
AT ITER 7614 NEW BEST:: SOT 61815 SOS 21598 HAS SOPS 21598 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10624.598
AT ITER 7669 NEW BEST:: SOT 61795 SOS 21586 HAS SOPS 21586 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10603.586
AT ITER 7691 NEW BEST:: SOT 61791 SOS 21586 HAS SOPS 21586 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10599.586
AT ITER 7766 NEW BEST:: SOT 61786 SOS 21576 HAS SOPS 21576 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10594.576
AT ITER 7778 NEW BEST:: SOT 61786 SOS 21576 HAS SOPS 21576 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10577.576
AT ITER 7811 NEW BEST:: SOT 61782 SOS 21581 HAS SOPS 21581 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10569.581
AT ITER 7815 NEW BEST:: SOT 61779 SOS 21575 HAS SOPS 21575 HAS SOUS 10540 HAS SOUPS 10540 WITH SCORE 10561.575
AT ITER 7832 NEW BEST:: SOT 61762 SOS 21561 HAS SOPS 21561 HAS SOUS 10506 HAS SOUPS 10506 WITH SCORE 10527.561
AT ITER 7838 NEW BEST:: SOT 61757 SOS 21545 HAS SOPS 21545 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10523.545
AT ITER 7860 NEW BEST:: SOT 61758 SOS 21176 HAS SOPS 21176 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10520.176
AT ITER 7862 NEW BEST:: SOT 61759 SOS 21161 HAS SOPS 21161 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10520.161
AT ITER 7869 NEW BEST:: SOT 61759 SOS 21161 HAS SOPS 21161 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10516.161
AT ITER 7895 NEW BEST:: SOT 61753 SOS 21152 HAS SOPS 21152 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10507.152
AT ITER 7913 NEW BEST:: SOT 61752 SOS 21148 HAS SOPS 21148 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10503.148
AT ITER 7946 NEW BEST:: SOT 61750 SOS 21146 HAS SOPS 21146 HAS SOUS 10480 HAS SOUPS 10480 WITH SCORE 10501.146
AT ITER 7986 NEW BEST:: SOT 61739 SOS 21124 HAS SOPS 21124 HAS SOUS 10458 HAS SOUPS 10458 WITH SCORE 10479.124
AT ITER 7999 NEW BEST:: SOT 61739 SOS 21118 HAS SOPS 21118 HAS SOUS 10458 HAS SOUPS 10458 WITH SCORE 10479.118
AT ITER 8008 NEW BEST:: SOT 61739 SOS 21115 HAS SOPS 21115 HAS SOUS 10455 HAS SOUPS 10455 WITH SCORE 10476.115
AT ITER 8121 NEW BEST:: SOT 61723 SOS 21045 HAS SOPS 21045 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10444.045
AT ITER 8134 NEW BEST:: SOT 61713 SOS 21001 HAS SOPS 21001 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10424.001
AT ITER 8140 NEW BEST:: SOT 61710 SOS 20995 HAS SOPS 20995 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10417.995
AT ITER 8144 NEW BEST:: SOT 61708 SOS 20990 HAS SOPS 20990 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10413.99
AT ITER 8166 NEW BEST:: SOT 61696 SOS 20973 HAS SOPS 20973 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10396.973
AT ITER 8167 NEW BEST:: SOT 61697 SOS 20962 HAS SOPS 20962 HAS SOUS 10365 HAS SOUPS 10365 WITH SCORE 10385.962
AT ITER 8197 NEW BEST:: SOT 61690 SOS 20950 HAS SOPS 20950 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10379.95
AT ITER 8241 NEW BEST:: SOT 61690 SOS 20952 HAS SOPS 20952 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10377.952
AT ITER 8261 NEW BEST:: SOT 61688 SOS 20950 HAS SOPS 20950 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10375.95
AT ITER 8276 NEW BEST:: SOT 61686 SOS 20930 HAS SOPS 20930 HAS SOUS 10335 HAS SOUPS 10335 WITH SCORE 10355.93
AT ITER 8337 NEW BEST:: SOT 61670 SOS 20903 HAS SOPS 20903 HAS SOUS 10303 HAS SOUPS 10303 WITH SCORE 10323.903
AT ITER 8399 NEW BEST:: SOT 61663 SOS 20889 HAS SOPS 20889 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10307.889
AT ITER 8435 NEW BEST:: SOT 61662 SOS 20889 HAS SOPS 20889 HAS SOUS 10285 HAS SOUPS 10285 WITH SCORE 10305.889
AT ITER 8443 NEW BEST:: SOT 61662 SOS 20892 HAS SOPS 20892 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10302.892
AT ITER 8465 NEW BEST:: SOT 61662 SOS 20884 HAS SOPS 20884 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10302.884
AT ITER 8486 NEW BEST:: SOT 61660 SOS 20892 HAS SOPS 20892 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10298.892
AT ITER 8496 NEW BEST:: SOT 61658 SOS 20890 HAS SOPS 20890 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10296.89
AT ITER 8498 NEW BEST:: SOT 61665 SOS 20897 HAS SOPS 20897 HAS SOUS 10274 HAS SOUPS 10274 WITH SCORE 10294.897
AT ITER 8533 NEW BEST:: SOT 61654 SOS 20886 HAS SOPS 20886 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10283.886
AT ITER 8595 NEW BEST:: SOT 61650 SOS 20878 HAS SOPS 20878 HAS SOUS 10243 HAS SOUPS 10243 WITH SCORE 10263.878
AT ITER 8627 NEW BEST:: SOT 61647 SOS 20872 HAS SOPS 20872 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10257.872
AT ITER 8641 NEW BEST:: SOT 61638 SOS 21038 HAS SOPS 21038 HAS SOUS 10228 HAS SOUPS 10228 WITH SCORE 10249.038
AT ITER 8701 NEW BEST:: SOT 61636 SOS 21034 HAS SOPS 21034 HAS SOUS 10224 HAS SOUPS 10224 WITH SCORE 10245.034
AT ITER 8801 NEW BEST:: SOT 61631 SOS 21033 HAS SOPS 21033 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10238.033
AT ITER 8868 NEW BEST:: SOT 61631 SOS 21033 HAS SOPS 21033 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10234.033
AT ITER 8883 NEW BEST:: SOT 61623 SOS 21005 HAS SOPS 21005 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10214.005
AT ITER 8917 NEW BEST:: SOT 61621 SOS 21009 HAS SOPS 21009 HAS SOUS 10189 HAS SOUPS 10189 WITH SCORE 10210.009
AT ITER 8932 NEW BEST:: SOT 61622 SOS 21011 HAS SOPS 21011 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10206.011
AT ITER 8933 NEW BEST:: SOT 61618 SOS 21003 HAS SOPS 21003 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10197.003
AT ITER 8959 NEW BEST:: SOT 61605 SOS 20990 HAS SOPS 20990 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10183.99
AT ITER 8983 NEW BEST:: SOT 61605 SOS 20986 HAS SOPS 20986 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10183.986
AT ITER 9000 NEW BEST:: SOT 61605 SOS 20986 HAS SOPS 20986 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10182.986
AT ITER 9032 NEW BEST:: SOT 61605 SOS 20985 HAS SOPS 20985 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10181.985
AT ITER 9050 NEW BEST:: SOT 61594 SOS 20974 HAS SOPS 20974 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10159.974
AT ITER 9149 NEW BEST:: SOT 61592 SOS 20970 HAS SOPS 20970 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10157.97
AT ITER 9190 NEW BEST:: SOT 61566 SOS 20944 HAS SOPS 20944 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10131.944
AT ITER 9193 NEW BEST:: SOT 61561 SOS 20912 HAS SOPS 20912 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10109.912
AT ITER 9197 NEW BEST:: SOT 61542 SOS 20870 HAS SOPS 20870 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10071.87
AT ITER 9250 NEW BEST:: SOT 61542 SOS 20847 HAS SOPS 20847 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10064.847
AT ITER 9281 NEW BEST:: SOT 61531 SOS 20836 HAS SOPS 20836 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10048.836
AT ITER 9294 NEW BEST:: SOT 61531 SOS 20829 HAS SOPS 20829 HAS SOUS 10028 HAS SOUPS 10028 WITH SCORE 10048.829
AT ITER 9378 NEW BEST:: SOT 61529 SOS 20825 HAS SOPS 20825 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10044.825
AT ITER 9415 NEW BEST:: SOT 61527 SOS 20823 HAS SOPS 20823 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10042.823
AT ITER 9479 NEW BEST:: SOT 61515 SOS 20815 HAS SOPS 20815 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10018.815
AT ITER 9498 NEW BEST:: SOT 61513 SOS 20811 HAS SOPS 20811 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10010.811
AT ITER 9504 NEW BEST:: SOT 61514 SOS 20810 HAS SOPS 20810 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 10009.81
AT ITER 9541 NEW BEST:: SOT 61487 SOS 20780 HAS SOPS 20780 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9989.78
AT ITER 9587 NEW BEST:: SOT 61486 SOS 20778 HAS SOPS 20778 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9987.778
AT ITER 9599 NEW BEST:: SOT 61486 SOS 20769 HAS SOPS 20769 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9987.769
AT ITER 9626 NEW BEST:: SOT 61478 SOS 20757 HAS SOPS 20757 HAS SOUS 9951 HAS SOUPS 9951 WITH SCORE 9971.757
AT ITER 9656 NEW BEST:: SOT 61471 SOS 20752 HAS SOPS 20752 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9966.752
AT ITER 9747 NEW BEST:: SOT 61462 SOS 20734 HAS SOPS 20734 HAS SOUS 9942 HAS SOUPS 9942 WITH SCORE 9962.734
AT ITER 9767 NEW BEST:: SOT 61446 SOS 20708 HAS SOPS 20708 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9947.708
AT ITER 9794 NEW BEST:: SOT 61447 SOS 20710 HAS SOPS 20710 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9943.71
AT ITER 9819 NEW BEST:: SOT 61447 SOS 20710 HAS SOPS 20710 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9941.71
AT ITER 9834 NEW BEST:: SOT 61447 SOS 20707 HAS SOPS 20707 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9941.707
AT ITER 9836 NEW BEST:: SOT 61446 SOS 20705 HAS SOPS 20705 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9939.705
AT ITER 9863 NEW BEST:: SOT 61441 SOS 20695 HAS SOPS 20695 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9934.695
AT ITER 9877 NEW BEST:: SOT 61440 SOS 20693 HAS SOPS 20693 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9932.693
AT ITER 9950 NEW BEST:: SOT 61434 SOS 20679 HAS SOPS 20679 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9918.679
AT ITER 9953 NEW BEST:: SOT 61429 SOS 20674 HAS SOPS 20674 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9909.674

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="DiscoveryGPU-PT-11b"
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 DiscoveryGPU-PT-11b, 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 r063-tajo-158922807800680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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