Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 5.9K Feb 25 13:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 13:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 13:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 25 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 13:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 13:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 97K Mar 5 18:22 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 1679903589207

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

Filename model.pnml
Petri model created: 380 places, 404 transitions, 1056 arcs.
AT ITER 0 NEW BEST:: SOT 107316 SOS 51583 HAS SOPS 51583 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45611.583
AT ITER 3 NEW BEST:: SOT 107316 SOS 51520 HAS SOPS 51520 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45611.52
AT ITER 5 NEW BEST:: SOT 107353 SOS 51514 HAS SOPS 51514 HAS SOUS 45553 HAS SOUPS 45553 WITH SCORE 45604.514
AT ITER 6 NEW BEST:: SOT 107341 SOS 51490 HAS SOPS 51490 HAS SOUS 45538 HAS SOUPS 45538 WITH SCORE 45589.49
AT ITER 12 NEW BEST:: SOT 107340 SOS 51488 HAS SOPS 51488 HAS SOUS 45538 HAS SOUPS 45538 WITH SCORE 45589.488
AT ITER 13 NEW BEST:: SOT 107251 SOS 51319 HAS SOPS 51319 HAS SOUS 45449 HAS SOUPS 45449 WITH SCORE 45500.319
AT ITER 16 NEW BEST:: SOT 107233 SOS 51283 HAS SOPS 51283 HAS SOUS 45430 HAS SOUPS 45430 WITH SCORE 45481.283
AT ITER 21 NEW BEST:: SOT 107195 SOS 51207 HAS SOPS 51207 HAS SOUS 45390 HAS SOUPS 45390 WITH SCORE 45441.207
AT ITER 26 NEW BEST:: SOT 107127 SOS 51213 HAS SOPS 51213 HAS SOUS 45384 HAS SOUPS 45384 WITH SCORE 45435.213
AT ITER 27 NEW BEST:: SOT 107075 SOS 50649 HAS SOPS 50649 HAS SOUS 45306 HAS SOUPS 45306 WITH SCORE 45356.649
AT ITER 34 NEW BEST:: SOT 106963 SOS 50521 HAS SOPS 50521 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45243.521
AT ITER 36 NEW BEST:: SOT 106963 SOS 50508 HAS SOPS 50508 HAS SOUS 45180 HAS SOUPS 45180 WITH SCORE 45230.508
AT ITER 42 NEW BEST:: SOT 106926 SOS 50468 HAS SOPS 50468 HAS SOUS 45140 HAS SOUPS 45140 WITH SCORE 45190.468
AT ITER 44 NEW BEST:: SOT 106846 SOS 49388 HAS SOPS 49388 HAS SOUS 45020 HAS SOUPS 45020 WITH SCORE 45069.388
AT ITER 47 NEW BEST:: SOT 106738 SOS 49354 HAS SOPS 49354 HAS SOUS 44958 HAS SOUPS 44958 WITH SCORE 45007.354
AT ITER 54 NEW BEST:: SOT 106631 SOS 49288 HAS SOPS 49288 HAS SOUS 44892 HAS SOUPS 44892 WITH SCORE 44941.288
AT ITER 57 NEW BEST:: SOT 106645 SOS 49232 HAS SOPS 49232 HAS SOUS 44836 HAS SOUPS 44836 WITH SCORE 44885.232
AT ITER 58 NEW BEST:: SOT 106644 SOS 49186 HAS SOPS 49186 HAS SOUS 44834 HAS SOUPS 44834 WITH SCORE 44883.186
AT ITER 61 NEW BEST:: SOT 106510 SOS 48784 HAS SOPS 48784 HAS SOUS 44698 HAS SOUPS 44698 WITH SCORE 44746.784
AT ITER 63 NEW BEST:: SOT 106379 SOS 48652 HAS SOPS 48652 HAS SOUS 44566 HAS SOUPS 44566 WITH SCORE 44614.652
AT ITER 64 NEW BEST:: SOT 106296 SOS 48486 HAS SOPS 48486 HAS SOUS 44460 HAS SOUPS 44460 WITH SCORE 44508.486
AT ITER 65 NEW BEST:: SOT 106370 SOS 48455 HAS SOPS 48455 HAS SOUS 44429 HAS SOUPS 44429 WITH SCORE 44477.455
AT ITER 66 NEW BEST:: SOT 106318 SOS 48369 HAS SOPS 48369 HAS SOUS 44375 HAS SOUPS 44375 WITH SCORE 44423.369
AT ITER 68 NEW BEST:: SOT 106318 SOS 48199 HAS SOPS 48199 HAS SOUS 44374 HAS SOUPS 44374 WITH SCORE 44422.199
AT ITER 69 NEW BEST:: SOT 106287 SOS 48255 HAS SOPS 48255 HAS SOUS 44372 HAS SOUPS 44372 WITH SCORE 44420.255
AT ITER 76 NEW BEST:: SOT 106287 SOS 48254 HAS SOPS 48254 HAS SOUS 44371 HAS SOUPS 44371 WITH SCORE 44419.254
AT ITER 78 NEW BEST:: SOT 106113 SOS 48065 HAS SOPS 48065 HAS SOUS 44110 HAS SOUPS 44110 WITH SCORE 44158.065
AT ITER 82 NEW BEST:: SOT 105995 SOS 47888 HAS SOPS 47888 HAS SOUS 43933 HAS SOUPS 43933 WITH SCORE 43980.888
AT ITER 84 NEW BEST:: SOT 105973 SOS 47844 HAS SOPS 47844 HAS SOUS 43889 HAS SOUPS 43889 WITH SCORE 43936.844
AT ITER 86 NEW BEST:: SOT 105899 SOS 46808 HAS SOPS 46808 HAS SOUS 43775 HAS SOUPS 43775 WITH SCORE 43821.808
AT ITER 90 NEW BEST:: SOT 105899 SOS 46808 HAS SOPS 46808 HAS SOUS 43747 HAS SOUPS 43747 WITH SCORE 43793.808
AT ITER 101 NEW BEST:: SOT 105899 SOS 46778 HAS SOPS 46778 HAS SOUS 43747 HAS SOUPS 43747 WITH SCORE 43793.778
AT ITER 106 NEW BEST:: SOT 105854 SOS 46733 HAS SOPS 46733 HAS SOUS 43702 HAS SOUPS 43702 WITH SCORE 43748.733
AT ITER 108 NEW BEST:: SOT 105837 SOS 46699 HAS SOPS 46699 HAS SOUS 43668 HAS SOUPS 43668 WITH SCORE 43714.699
AT ITER 117 NEW BEST:: SOT 105837 SOS 46675 HAS SOPS 46675 HAS SOUS 43668 HAS SOUPS 43668 WITH SCORE 43714.675
AT ITER 120 NEW BEST:: SOT 105828 SOS 46579 HAS SOPS 46579 HAS SOUS 43552 HAS SOUPS 43552 WITH SCORE 43598.579
AT ITER 122 NEW BEST:: SOT 105814 SOS 46751 HAS SOPS 46751 HAS SOUS 43514 HAS SOUPS 43514 WITH SCORE 43560.751
AT ITER 126 NEW BEST:: SOT 105814 SOS 46608 HAS SOPS 46608 HAS SOUS 43371 HAS SOUPS 43371 WITH SCORE 43417.608
AT ITER 127 NEW BEST:: SOT 105814 SOS 46558 HAS SOPS 46558 HAS SOUS 43321 HAS SOUPS 43321 WITH SCORE 43367.558
AT ITER 133 NEW BEST:: SOT 105748 SOS 46505 HAS SOPS 46505 HAS SOUS 43268 HAS SOUPS 43268 WITH SCORE 43314.505
AT ITER 141 NEW BEST:: SOT 105743 SOS 46490 HAS SOPS 46490 HAS SOUS 43258 HAS SOUPS 43258 WITH SCORE 43304.49
AT ITER 154 NEW BEST:: SOT 105640 SOS 46284 HAS SOPS 46284 HAS SOUS 43064 HAS SOUPS 43064 WITH SCORE 43110.284
AT ITER 156 NEW BEST:: SOT 105567 SOS 46211 HAS SOPS 46211 HAS SOUS 42991 HAS SOUPS 42991 WITH SCORE 43037.211
AT ITER 158 NEW BEST:: SOT 105473 SOS 46104 HAS SOPS 46104 HAS SOUS 42884 HAS SOUPS 42884 WITH SCORE 42930.104
AT ITER 162 NEW BEST:: SOT 105359 SOS 45910 HAS SOPS 45910 HAS SOUS 42712 HAS SOUPS 42712 WITH SCORE 42757.91
AT ITER 166 NEW BEST:: SOT 105359 SOS 45802 HAS SOPS 45802 HAS SOUS 42604 HAS SOUPS 42604 WITH SCORE 42649.802
AT ITER 173 NEW BEST:: SOT 105322 SOS 45765 HAS SOPS 45765 HAS SOUS 42567 HAS SOUPS 42567 WITH SCORE 42612.765
AT ITER 186 NEW BEST:: SOT 105254 SOS 45629 HAS SOPS 45629 HAS SOUS 42431 HAS SOUPS 42431 WITH SCORE 42476.629
AT ITER 190 NEW BEST:: SOT 105254 SOS 45559 HAS SOPS 45559 HAS SOUS 42430 HAS SOUPS 42430 WITH SCORE 42475.559
AT ITER 191 NEW BEST:: SOT 105227 SOS 45505 HAS SOPS 45505 HAS SOUS 42376 HAS SOUPS 42376 WITH SCORE 42421.505
AT ITER 192 NEW BEST:: SOT 105188 SOS 45466 HAS SOPS 45466 HAS SOUS 42337 HAS SOUPS 42337 WITH SCORE 42382.466
AT ITER 203 NEW BEST:: SOT 105070 SOS 45348 HAS SOPS 45348 HAS SOUS 42219 HAS SOUPS 42219 WITH SCORE 42264.348
AT ITER 205 NEW BEST:: SOT 104956 SOS 45123 HAS SOPS 45123 HAS SOUS 42154 HAS SOUPS 42154 WITH SCORE 42199.123
AT ITER 212 NEW BEST:: SOT 104871 SOS 45042 HAS SOPS 45042 HAS SOUS 42092 HAS SOUPS 42092 WITH SCORE 42137.042
AT ITER 215 NEW BEST:: SOT 104871 SOS 44999 HAS SOPS 44999 HAS SOUS 42092 HAS SOUPS 42092 WITH SCORE 42136.999
AT ITER 216 NEW BEST:: SOT 104837 SOS 44879 HAS SOPS 44879 HAS SOUS 42052 HAS SOUPS 42052 WITH SCORE 42096.879
AT ITER 217 NEW BEST:: SOT 104837 SOS 44847 HAS SOPS 44847 HAS SOUS 42020 HAS SOUPS 42020 WITH SCORE 42064.847
AT ITER 218 NEW BEST:: SOT 104806 SOS 44785 HAS SOPS 44785 HAS SOUS 41989 HAS SOUPS 41989 WITH SCORE 42033.785
AT ITER 231 NEW BEST:: SOT 104764 SOS 44726 HAS SOPS 44726 HAS SOUS 41955 HAS SOUPS 41955 WITH SCORE 41999.726
AT ITER 247 NEW BEST:: SOT 104748 SOS 44710 HAS SOPS 44710 HAS SOUS 41923 HAS SOUPS 41923 WITH SCORE 41967.71
AT ITER 252 NEW BEST:: SOT 104659 SOS 44600 HAS SOPS 44600 HAS SOUS 41857 HAS SOUPS 41857 WITH SCORE 41901.6
AT ITER 254 NEW BEST:: SOT 104553 SOS 44494 HAS SOPS 44494 HAS SOUS 41751 HAS SOUPS 41751 WITH SCORE 41795.494
AT ITER 255 NEW BEST:: SOT 104509 SOS 44428 HAS SOPS 44428 HAS SOUS 41685 HAS SOUPS 41685 WITH SCORE 41729.428
AT ITER 260 NEW BEST:: SOT 104491 SOS 44392 HAS SOPS 44392 HAS SOUS 41621 HAS SOUPS 41621 WITH SCORE 41665.392
AT ITER 279 NEW BEST:: SOT 104375 SOS 44218 HAS SOPS 44218 HAS SOUS 41447 HAS SOUPS 41447 WITH SCORE 41491.218
AT ITER 284 NEW BEST:: SOT 104375 SOS 44194 HAS SOPS 44194 HAS SOUS 41447 HAS SOUPS 41447 WITH SCORE 41491.194
AT ITER 287 NEW BEST:: SOT 104352 SOS 44163 HAS SOPS 44163 HAS SOUS 41427 HAS SOUPS 41427 WITH SCORE 41471.163
AT ITER 298 NEW BEST:: SOT 104246 SOS 44073 HAS SOPS 44073 HAS SOUS 41321 HAS SOUPS 41321 WITH SCORE 41365.073
AT ITER 302 NEW BEST:: SOT 104137 SOS 44004 HAS SOPS 44004 HAS SOUS 41248 HAS SOUPS 41248 WITH SCORE 41292.004
AT ITER 309 NEW BEST:: SOT 104131 SOS 43686 HAS SOPS 43686 HAS SOUS 40930 HAS SOUPS 40930 WITH SCORE 40973.686
AT ITER 311 NEW BEST:: SOT 104097 SOS 43683 HAS SOPS 43683 HAS SOUS 40929 HAS SOUPS 40929 WITH SCORE 40972.683
AT ITER 313 NEW BEST:: SOT 104021 SOS 43607 HAS SOPS 43607 HAS SOUS 40853 HAS SOUPS 40853 WITH SCORE 40896.607
AT ITER 315 NEW BEST:: SOT 104012 SOS 43587 HAS SOPS 43587 HAS SOUS 40833 HAS SOUPS 40833 WITH SCORE 40876.587
AT ITER 334 NEW BEST:: SOT 103984 SOS 43531 HAS SOPS 43531 HAS SOUS 40805 HAS SOUPS 40805 WITH SCORE 40848.531
AT ITER 342 NEW BEST:: SOT 103958 SOS 43479 HAS SOPS 43479 HAS SOUS 40753 HAS SOUPS 40753 WITH SCORE 40796.479
AT ITER 343 NEW BEST:: SOT 100228 SOS 42508 HAS SOPS 42508 HAS SOUS 37187 HAS SOUPS 37187 WITH SCORE 37229.508
AT ITER 344 NEW BEST:: SOT 100219 SOS 42198 HAS SOPS 42198 HAS SOUS 37086 HAS SOUPS 37086 WITH SCORE 37128.198
AT ITER 357 NEW BEST:: SOT 100192 SOS 42082 HAS SOPS 42082 HAS SOUS 37032 HAS SOUPS 37032 WITH SCORE 37074.082
AT ITER 362 NEW BEST:: SOT 100269 SOS 42119 HAS SOPS 42119 HAS SOUS 36984 HAS SOUPS 36984 WITH SCORE 37026.119
AT ITER 364 NEW BEST:: SOT 99979 SOS 41904 HAS SOPS 41904 HAS SOUS 36744 HAS SOUPS 36744 WITH SCORE 36785.904
AT ITER 367 NEW BEST:: SOT 99979 SOS 41855 HAS SOPS 41855 HAS SOUS 36738 HAS SOUPS 36738 WITH SCORE 36779.855
AT ITER 369 NEW BEST:: SOT 99892 SOS 41795 HAS SOPS 41795 HAS SOUS 36651 HAS SOUPS 36651 WITH SCORE 36692.795
AT ITER 377 NEW BEST:: SOT 99839 SOS 41742 HAS SOPS 41742 HAS SOUS 36639 HAS SOUPS 36639 WITH SCORE 36680.742
AT ITER 384 NEW BEST:: SOT 99866 SOS 41668 HAS SOPS 41668 HAS SOUS 36612 HAS SOUPS 36612 WITH SCORE 36653.668
AT ITER 387 NEW BEST:: SOT 99795 SOS 41419 HAS SOPS 41419 HAS SOUS 36363 HAS SOUPS 36363 WITH SCORE 36404.419
AT ITER 392 NEW BEST:: SOT 99723 SOS 41315 HAS SOPS 41315 HAS SOUS 36259 HAS SOUPS 36259 WITH SCORE 36300.315
AT ITER 393 NEW BEST:: SOT 99656 SOS 41242 HAS SOPS 41242 HAS SOUS 36186 HAS SOUPS 36186 WITH SCORE 36227.242
AT ITER 396 NEW BEST:: SOT 99661 SOS 41247 HAS SOPS 41247 HAS SOUS 36165 HAS SOUPS 36165 WITH SCORE 36206.247
AT ITER 400 NEW BEST:: SOT 99687 SOS 41268 HAS SOPS 41268 HAS SOUS 36144 HAS SOUPS 36144 WITH SCORE 36185.268
AT ITER 405 NEW BEST:: SOT 99239 SOS 40911 HAS SOPS 40911 HAS SOUS 35839 HAS SOUPS 35839 WITH SCORE 35879.911
AT ITER 420 NEW BEST:: SOT 97667 SOS 43554 HAS SOPS 43554 HAS SOUS 34838 HAS SOUPS 34838 WITH SCORE 34881.554
AT ITER 427 NEW BEST:: SOT 97553 SOS 43389 HAS SOPS 43389 HAS SOUS 34727 HAS SOUPS 34727 WITH SCORE 34770.389
AT ITER 431 NEW BEST:: SOT 97543 SOS 43390 HAS SOPS 43390 HAS SOUS 34718 HAS SOUPS 34718 WITH SCORE 34761.39
AT ITER 435 NEW BEST:: SOT 97524 SOS 43351 HAS SOPS 43351 HAS SOUS 34680 HAS SOUPS 34680 WITH SCORE 34723.351
AT ITER 444 NEW BEST:: SOT 97396 SOS 42899 HAS SOPS 42899 HAS SOUS 34193 HAS SOUPS 34193 WITH SCORE 34235.899
AT ITER 445 NEW BEST:: SOT 97313 SOS 42937 HAS SOPS 42937 HAS SOUS 34047 HAS SOUPS 34047 WITH SCORE 34089.937
AT ITER 466 NEW BEST:: SOT 97301 SOS 42932 HAS SOPS 42932 HAS SOUS 34034 HAS SOUPS 34034 WITH SCORE 34076.932
AT ITER 470 NEW BEST:: SOT 97356 SOS 42737 HAS SOPS 42737 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33859.737
AT ITER 473 NEW BEST:: SOT 97356 SOS 42692 HAS SOPS 42692 HAS SOUS 33772 HAS SOUPS 33772 WITH SCORE 33814.692
AT ITER 476 NEW BEST:: SOT 97369 SOS 42691 HAS SOPS 42691 HAS SOUS 33771 HAS SOUPS 33771 WITH SCORE 33813.691
AT ITER 488 NEW BEST:: SOT 97306 SOS 42679 HAS SOPS 42679 HAS SOUS 33637 HAS SOUPS 33637 WITH SCORE 33679.679
AT ITER 496 NEW BEST:: SOT 97306 SOS 42657 HAS SOPS 42657 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33657.657
AT ITER 500 NEW BEST:: SOT 97306 SOS 42619 HAS SOPS 42619 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33657.619
AT ITER 508 NEW BEST:: SOT 97091 SOS 42198 HAS SOPS 42198 HAS SOUS 33365 HAS SOUPS 33365 WITH SCORE 33407.198
AT ITER 510 NEW BEST:: SOT 97105 SOS 42178 HAS SOPS 42178 HAS SOUS 33358 HAS SOUPS 33358 WITH SCORE 33400.178
AT ITER 513 NEW BEST:: SOT 97131 SOS 42163 HAS SOPS 42163 HAS SOUS 33337 HAS SOUPS 33337 WITH SCORE 33379.163
AT ITER 521 NEW BEST:: SOT 96952 SOS 41918 HAS SOPS 41918 HAS SOUS 33092 HAS SOUPS 33092 WITH SCORE 33133.918
AT ITER 526 NEW BEST:: SOT 96927 SOS 41971 HAS SOPS 41971 HAS SOUS 33079 HAS SOUPS 33079 WITH SCORE 33120.971
AT ITER 538 NEW BEST:: SOT 96879 SOS 41875 HAS SOPS 41875 HAS SOUS 32926 HAS SOUPS 32926 WITH SCORE 32967.875
AT ITER 542 NEW BEST:: SOT 96928 SOS 41819 HAS SOPS 41819 HAS SOUS 32898 HAS SOUPS 32898 WITH SCORE 32939.819
AT ITER 544 NEW BEST:: SOT 96890 SOS 41933 HAS SOPS 41933 HAS SOUS 32895 HAS SOUPS 32895 WITH SCORE 32936.933
AT ITER 545 NEW BEST:: SOT 96884 SOS 41921 HAS SOPS 41921 HAS SOUS 32883 HAS SOUPS 32883 WITH SCORE 32924.921
AT ITER 548 NEW BEST:: SOT 96861 SOS 41875 HAS SOPS 41875 HAS SOUS 32854 HAS SOUPS 32854 WITH SCORE 32895.875
AT ITER 553 NEW BEST:: SOT 96914 SOS 41852 HAS SOPS 41852 HAS SOUS 32842 HAS SOUPS 32842 WITH SCORE 32883.852
AT ITER 564 NEW BEST:: SOT 96913 SOS 41903 HAS SOPS 41903 HAS SOUS 32840 HAS SOUPS 32840 WITH SCORE 32881.903
AT ITER 569 NEW BEST:: SOT 96889 SOS 41867 HAS SOPS 41867 HAS SOUS 32804 HAS SOUPS 32804 WITH SCORE 32845.867
AT ITER 574 NEW BEST:: SOT 96889 SOS 41851 HAS SOPS 41851 HAS SOUS 32804 HAS SOUPS 32804 WITH SCORE 32845.851
AT ITER 589 NEW BEST:: SOT 96879 SOS 41821 HAS SOPS 41821 HAS SOUS 32794 HAS SOUPS 32794 WITH SCORE 32835.821
AT ITER 591 NEW BEST:: SOT 96839 SOS 41741 HAS SOPS 41741 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32755.741
AT ITER 594 NEW BEST:: SOT 96775 SOS 41613 HAS SOPS 41613 HAS SOUS 32686 HAS SOUPS 32686 WITH SCORE 32727.613
AT ITER 599 NEW BEST:: SOT 96738 SOS 41540 HAS SOPS 41540 HAS SOUS 32612 HAS SOUPS 32612 WITH SCORE 32653.54
AT ITER 603 NEW BEST:: SOT 96764 SOS 41513 HAS SOPS 41513 HAS SOUS 32539 HAS SOUPS 32539 WITH SCORE 32580.513
AT ITER 604 NEW BEST:: SOT 96733 SOS 41482 HAS SOPS 41482 HAS SOUS 32491 HAS SOUPS 32491 WITH SCORE 32532.482
AT ITER 605 NEW BEST:: SOT 96702 SOS 41451 HAS SOPS 41451 HAS SOUS 32460 HAS SOUPS 32460 WITH SCORE 32501.451
AT ITER 609 NEW BEST:: SOT 96702 SOS 41397 HAS SOPS 41397 HAS SOUS 32433 HAS SOUPS 32433 WITH SCORE 32474.397
AT ITER 626 NEW BEST:: SOT 96702 SOS 39258 HAS SOPS 39258 HAS SOUS 32379 HAS SOUPS 32379 WITH SCORE 32418.258
AT ITER 627 NEW BEST:: SOT 96661 SOS 39189 HAS SOPS 39189 HAS SOUS 32358 HAS SOUPS 32358 WITH SCORE 32397.189
AT ITER 641 NEW BEST:: SOT 96649 SOS 39165 HAS SOPS 39165 HAS SOUS 32328 HAS SOUPS 32328 WITH SCORE 32367.165
AT ITER 655 NEW BEST:: SOT 96649 SOS 39165 HAS SOPS 39165 HAS SOUS 32307 HAS SOUPS 32307 WITH SCORE 32346.165
AT ITER 676 NEW BEST:: SOT 96648 SOS 39186 HAS SOPS 39186 HAS SOUS 32305 HAS SOUPS 32305 WITH SCORE 32344.186
AT ITER 690 NEW BEST:: SOT 96715 SOS 39258 HAS SOPS 39258 HAS SOUS 32295 HAS SOUPS 32295 WITH SCORE 32334.258
AT ITER 710 NEW BEST:: SOT 96712 SOS 39253 HAS SOPS 39253 HAS SOUS 32290 HAS SOUPS 32290 WITH SCORE 32329.253
AT ITER 714 NEW BEST:: SOT 96560 SOS 39000 HAS SOPS 39000 HAS SOUS 32043 HAS SOUPS 32043 WITH SCORE 32082.0
AT ITER 722 NEW BEST:: SOT 96516 SOS 38905 HAS SOPS 38905 HAS SOUS 31948 HAS SOUPS 31948 WITH SCORE 31986.905
AT ITER 739 NEW BEST:: SOT 96511 SOS 38882 HAS SOPS 38882 HAS SOUS 31933 HAS SOUPS 31933 WITH SCORE 31971.882
AT ITER 742 NEW BEST:: SOT 96510 SOS 38874 HAS SOPS 38874 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 31969.874
AT ITER 765 NEW BEST:: SOT 96413 SOS 38770 HAS SOPS 38770 HAS SOUS 31867 HAS SOUPS 31867 WITH SCORE 31905.77
AT ITER 773 NEW BEST:: SOT 96469 SOS 38814 HAS SOPS 38814 HAS SOUS 31850 HAS SOUPS 31850 WITH SCORE 31888.814
AT ITER 776 NEW BEST:: SOT 96478 SOS 38791 HAS SOPS 38791 HAS SOUS 31831 HAS SOUPS 31831 WITH SCORE 31869.791
AT ITER 778 NEW BEST:: SOT 96464 SOS 38763 HAS SOPS 38763 HAS SOUS 31803 HAS SOUPS 31803 WITH SCORE 31841.763
AT ITER 789 NEW BEST:: SOT 96463 SOS 38759 HAS SOPS 38759 HAS SOUS 31800 HAS SOUPS 31800 WITH SCORE 31838.759
AT ITER 798 NEW BEST:: SOT 96463 SOS 38749 HAS SOPS 38749 HAS SOUS 31800 HAS SOUPS 31800 WITH SCORE 31838.749
AT ITER 808 NEW BEST:: SOT 96362 SOS 38606 HAS SOPS 38606 HAS SOUS 31672 HAS SOUPS 31672 WITH SCORE 31710.606
AT ITER 812 NEW BEST:: SOT 96362 SOS 38550 HAS SOPS 38550 HAS SOUS 31672 HAS SOUPS 31672 WITH SCORE 31710.55
AT ITER 816 NEW BEST:: SOT 96306 SOS 38290 HAS SOPS 38290 HAS SOUS 31523 HAS SOUPS 31523 WITH SCORE 31561.29
AT ITER 824 NEW BEST:: SOT 96311 SOS 38300 HAS SOPS 38300 HAS SOUS 31511 HAS SOUPS 31511 WITH SCORE 31549.3
AT ITER 832 NEW BEST:: SOT 96311 SOS 38253 HAS SOPS 38253 HAS SOUS 31466 HAS SOUPS 31466 WITH SCORE 31504.253
AT ITER 833 NEW BEST:: SOT 96320 SOS 38200 HAS SOPS 38200 HAS SOUS 31419 HAS SOUPS 31419 WITH SCORE 31457.2
AT ITER 841 NEW BEST:: SOT 96319 SOS 38199 HAS SOPS 38199 HAS SOUS 31418 HAS SOUPS 31418 WITH SCORE 31456.199
AT ITER 842 NEW BEST:: SOT 96280 SOS 38140 HAS SOPS 38140 HAS SOUS 31357 HAS SOUPS 31357 WITH SCORE 31395.14
AT ITER 850 NEW BEST:: SOT 96155 SOS 37893 HAS SOPS 37893 HAS SOUS 31242 HAS SOUPS 31242 WITH SCORE 31279.893
AT ITER 859 NEW BEST:: SOT 96131 SOS 37845 HAS SOPS 37845 HAS SOUS 31208 HAS SOUPS 31208 WITH SCORE 31245.845
AT ITER 868 NEW BEST:: SOT 96126 SOS 37835 HAS SOPS 37835 HAS SOUS 31198 HAS SOUPS 31198 WITH SCORE 31235.835
AT ITER 870 NEW BEST:: SOT 96141 SOS 37785 HAS SOPS 37785 HAS SOUS 31192 HAS SOUPS 31192 WITH SCORE 31229.785
AT ITER 872 NEW BEST:: SOT 96134 SOS 37764 HAS SOPS 37764 HAS SOUS 31185 HAS SOUPS 31185 WITH SCORE 31222.764
AT ITER 879 NEW BEST:: SOT 96025 SOS 37613 HAS SOPS 37613 HAS SOUS 31093 HAS SOUPS 31093 WITH SCORE 31130.613
AT ITER 892 NEW BEST:: SOT 95976 SOS 37564 HAS SOPS 37564 HAS SOUS 31013 HAS SOUPS 31013 WITH SCORE 31050.564
AT ITER 893 NEW BEST:: SOT 95976 SOS 37476 HAS SOPS 37476 HAS SOUS 31013 HAS SOUPS 31013 WITH SCORE 31050.476
AT ITER 895 NEW BEST:: SOT 95975 SOS 37475 HAS SOPS 37475 HAS SOUS 31012 HAS SOUPS 31012 WITH SCORE 31049.475
AT ITER 901 NEW BEST:: SOT 95932 SOS 37576 HAS SOPS 37576 HAS SOUS 30971 HAS SOUPS 30971 WITH SCORE 31008.576
AT ITER 916 NEW BEST:: SOT 95908 SOS 37552 HAS SOPS 37552 HAS SOUS 30947 HAS SOUPS 30947 WITH SCORE 30984.552
AT ITER 919 NEW BEST:: SOT 95664 SOS 37266 HAS SOPS 37266 HAS SOUS 30711 HAS SOUPS 30711 WITH SCORE 30748.266
AT ITER 925 NEW BEST:: SOT 95642 SOS 37222 HAS SOPS 37222 HAS SOUS 30667 HAS SOUPS 30667 WITH SCORE 30704.222
AT ITER 938 NEW BEST:: SOT 95583 SOS 37165 HAS SOPS 37165 HAS SOUS 30613 HAS SOUPS 30613 WITH SCORE 30650.165
AT ITER 940 NEW BEST:: SOT 95300 SOS 37222 HAS SOPS 37222 HAS SOUS 30356 HAS SOUPS 30356 WITH SCORE 30393.222
AT ITER 945 NEW BEST:: SOT 95283 SOS 37188 HAS SOPS 37188 HAS SOUS 30322 HAS SOUPS 30322 WITH SCORE 30359.188
AT ITER 959 NEW BEST:: SOT 95282 SOS 37032 HAS SOPS 37032 HAS SOUS 30320 HAS SOUPS 30320 WITH SCORE 30357.032
AT ITER 964 NEW BEST:: SOT 95282 SOS 37026 HAS SOPS 37026 HAS SOUS 30314 HAS SOUPS 30314 WITH SCORE 30351.026
AT ITER 965 NEW BEST:: SOT 95271 SOS 37004 HAS SOPS 37004 HAS SOUS 30292 HAS SOUPS 30292 WITH SCORE 30329.004
AT ITER 970 NEW BEST:: SOT 95220 SOS 37073 HAS SOPS 37073 HAS SOUS 30241 HAS SOUPS 30241 WITH SCORE 30278.073
AT ITER 971 NEW BEST:: SOT 95245 SOS 37123 HAS SOPS 37123 HAS SOUS 30226 HAS SOUPS 30226 WITH SCORE 30263.123
AT ITER 972 NEW BEST:: SOT 95158 SOS 36939 HAS SOPS 36939 HAS SOUS 30089 HAS SOUPS 30089 WITH SCORE 30125.939
AT ITER 984 NEW BEST:: SOT 94079 SOS 37398 HAS SOPS 37398 HAS SOUS 29050 HAS SOUPS 29050 WITH SCORE 29087.398
AT ITER 1001 NEW BEST:: SOT 93750 SOS 45463 HAS SOPS 45463 HAS SOUS 28744 HAS SOUPS 28744 WITH SCORE 28789.463
AT ITER 1003 NEW BEST:: SOT 93770 SOS 45459 HAS SOPS 45459 HAS SOUS 28738 HAS SOUPS 28738 WITH SCORE 28783.459
AT ITER 1024 NEW BEST:: SOT 93743 SOS 45378 HAS SOPS 45378 HAS SOUS 28684 HAS SOUPS 28684 WITH SCORE 28729.378
AT ITER 1035 NEW BEST:: SOT 93701 SOS 45294 HAS SOPS 45294 HAS SOUS 28642 HAS SOUPS 28642 WITH SCORE 28687.294
AT ITER 1043 NEW BEST:: SOT 93710 SOS 45312 HAS SOPS 45312 HAS SOUS 28630 HAS SOUPS 28630 WITH SCORE 28675.312
AT ITER 1044 NEW BEST:: SOT 93705 SOS 45302 HAS SOPS 45302 HAS SOUS 28600 HAS SOUPS 28600 WITH SCORE 28645.302
AT ITER 1051 NEW BEST:: SOT 93639 SOS 45236 HAS SOPS 45236 HAS SOUS 28469 HAS SOUPS 28469 WITH SCORE 28514.236
AT ITER 1064 NEW BEST:: SOT 93638 SOS 45226 HAS SOPS 45226 HAS SOUS 28467 HAS SOUPS 28467 WITH SCORE 28512.226
AT ITER 1108 NEW BEST:: SOT 93638 SOS 45224 HAS SOPS 45224 HAS SOUS 28467 HAS SOUPS 28467 WITH SCORE 28512.224
AT ITER 1120 NEW BEST:: SOT 93638 SOS 45214 HAS SOPS 45214 HAS SOUS 28457 HAS SOUPS 28457 WITH SCORE 28502.214
AT ITER 1127 NEW BEST:: SOT 93627 SOS 45192 HAS SOPS 45192 HAS SOUS 28446 HAS SOUPS 28446 WITH SCORE 28491.192
AT ITER 1143 NEW BEST:: SOT 93586 SOS 45091 HAS SOPS 45091 HAS SOUS 28364 HAS SOUPS 28364 WITH SCORE 28409.091
AT ITER 1144 NEW BEST:: SOT 93585 SOS 45090 HAS SOPS 45090 HAS SOUS 28364 HAS SOUPS 28364 WITH SCORE 28409.09
AT ITER 1148 NEW BEST:: SOT 93385 SOS 44890 HAS SOPS 44890 HAS SOUS 28071 HAS SOUPS 28071 WITH SCORE 28115.89
AT ITER 1157 NEW BEST:: SOT 93385 SOS 44890 HAS SOPS 44890 HAS SOUS 28066 HAS SOUPS 28066 WITH SCORE 28110.89
AT ITER 1158 NEW BEST:: SOT 93327 SOS 44774 HAS SOPS 44774 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 27999.774
AT ITER 1164 NEW BEST:: SOT 93345 SOS 44607 HAS SOPS 44607 HAS SOUS 27867 HAS SOUPS 27867 WITH SCORE 27911.607
AT ITER 1171 NEW BEST:: SOT 93225 SOS 44367 HAS SOPS 44367 HAS SOUS 27747 HAS SOUPS 27747 WITH SCORE 27791.367
AT ITER 1179 NEW BEST:: SOT 93237 SOS 44370 HAS SOPS 44370 HAS SOUS 27729 HAS SOUPS 27729 WITH SCORE 27773.37
AT ITER 1181 NEW BEST:: SOT 93186 SOS 44319 HAS SOPS 44319 HAS SOUS 27678 HAS SOUPS 27678 WITH SCORE 27722.319
AT ITER 1182 NEW BEST:: SOT 93186 SOS 44319 HAS SOPS 44319 HAS SOUS 27669 HAS SOUPS 27669 WITH SCORE 27713.319
AT ITER 1212 NEW BEST:: SOT 93201 SOS 44288 HAS SOPS 44288 HAS SOUS 27638 HAS SOUPS 27638 WITH SCORE 27682.288
AT ITER 1214 NEW BEST:: SOT 93142 SOS 44170 HAS SOPS 44170 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27661.17
AT ITER 1219 NEW BEST:: SOT 93182 SOS 44165 HAS SOPS 44165 HAS SOUS 27617 HAS SOUPS 27617 WITH SCORE 27661.165
AT ITER 1220 NEW BEST:: SOT 93189 SOS 44091 HAS SOPS 44091 HAS SOUS 27561 HAS SOUPS 27561 WITH SCORE 27605.091
AT ITER 1221 NEW BEST:: SOT 93177 SOS 44067 HAS SOPS 44067 HAS SOUS 27557 HAS SOUPS 27557 WITH SCORE 27601.067
AT ITER 1234 NEW BEST:: SOT 93181 SOS 44063 HAS SOPS 44063 HAS SOUS 27553 HAS SOUPS 27553 WITH SCORE 27597.063
AT ITER 1235 NEW BEST:: SOT 93099 SOS 43899 HAS SOPS 43899 HAS SOUS 27468 HAS SOUPS 27468 WITH SCORE 27511.899
AT ITER 1240 NEW BEST:: SOT 93033 SOS 43833 HAS SOPS 43833 HAS SOUS 27402 HAS SOUPS 27402 WITH SCORE 27445.833
AT ITER 1243 NEW BEST:: SOT 93010 SOS 43810 HAS SOPS 43810 HAS SOUS 27379 HAS SOUPS 27379 WITH SCORE 27422.81
AT ITER 1253 NEW BEST:: SOT 93001 SOS 43792 HAS SOPS 43792 HAS SOUS 27374 HAS SOUPS 27374 WITH SCORE 27417.792
AT ITER 1256 NEW BEST:: SOT 92973 SOS 43561 HAS SOPS 43561 HAS SOUS 27282 HAS SOUPS 27282 WITH SCORE 27325.561
AT ITER 1259 NEW BEST:: SOT 92928 SOS 43516 HAS SOPS 43516 HAS SOUS 27237 HAS SOUPS 27237 WITH SCORE 27280.516
AT ITER 1268 NEW BEST:: SOT 92919 SOS 43489 HAS SOPS 43489 HAS SOUS 27228 HAS SOUPS 27228 WITH SCORE 27271.489
AT ITER 1273 NEW BEST:: SOT 92918 SOS 43487 HAS SOPS 43487 HAS SOUS 27226 HAS SOUPS 27226 WITH SCORE 27269.487
AT ITER 1287 NEW BEST:: SOT 92900 SOS 43451 HAS SOPS 43451 HAS SOUS 27190 HAS SOUPS 27190 WITH SCORE 27233.451
AT ITER 1304 NEW BEST:: SOT 92886 SOS 43437 HAS SOPS 43437 HAS SOUS 27176 HAS SOUPS 27176 WITH SCORE 27219.437
AT ITER 1307 NEW BEST:: SOT 92863 SOS 43391 HAS SOPS 43391 HAS SOUS 27153 HAS SOUPS 27153 WITH SCORE 27196.391
AT ITER 1319 NEW BEST:: SOT 92854 SOS 43454 HAS SOPS 43454 HAS SOUS 27135 HAS SOUPS 27135 WITH SCORE 27178.454
AT ITER 1332 NEW BEST:: SOT 92853 SOS 43452 HAS SOPS 43452 HAS SOUS 27133 HAS SOUPS 27133 WITH SCORE 27176.452
AT ITER 1342 NEW BEST:: SOT 92819 SOS 43421 HAS SOPS 43421 HAS SOUS 27065 HAS SOUPS 27065 WITH SCORE 27108.421
AT ITER 1360 NEW BEST:: SOT 92787 SOS 43357 HAS SOPS 43357 HAS SOUS 27033 HAS SOUPS 27033 WITH SCORE 27076.357
AT ITER 1415 NEW BEST:: SOT 92749 SOS 43281 HAS SOPS 43281 HAS SOUS 26944 HAS SOUPS 26944 WITH SCORE 26987.281
AT ITER 1460 NEW BEST:: SOT 92719 SOS 43191 HAS SOPS 43191 HAS SOUS 26914 HAS SOUPS 26914 WITH SCORE 26957.191
AT ITER 1485 NEW BEST:: SOT 92719 SOS 43191 HAS SOPS 43191 HAS SOUS 26913 HAS SOUPS 26913 WITH SCORE 26956.191
AT ITER 1505 NEW BEST:: SOT 92717 SOS 43188 HAS SOPS 43188 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26953.188
AT ITER 1516 NEW BEST:: SOT 92727 SOS 43185 HAS SOPS 43185 HAS SOUS 26866 HAS SOUPS 26866 WITH SCORE 26909.185
AT ITER 1518 NEW BEST:: SOT 92683 SOS 43062 HAS SOPS 43062 HAS SOUS 26778 HAS SOUPS 26778 WITH SCORE 26821.062
AT ITER 1525 NEW BEST:: SOT 92683 SOS 43000 HAS SOPS 43000 HAS SOUS 26741 HAS SOUPS 26741 WITH SCORE 26784.0
AT ITER 1541 NEW BEST:: SOT 92630 SOS 42894 HAS SOPS 42894 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26726.894
AT ITER 1544 NEW BEST:: SOT 92570 SOS 42774 HAS SOPS 42774 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26677.774
AT ITER 1549 NEW BEST:: SOT 92528 SOS 42702 HAS SOPS 42702 HAS SOUS 26581 HAS SOUPS 26581 WITH SCORE 26623.702
AT ITER 1550 NEW BEST:: SOT 92500 SOS 42646 HAS SOPS 42646 HAS SOUS 26525 HAS SOUPS 26525 WITH SCORE 26567.646
AT ITER 1553 NEW BEST:: SOT 92490 SOS 42626 HAS SOPS 42626 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26561.626
AT ITER 1566 NEW BEST:: SOT 92503 SOS 42641 HAS SOPS 42641 HAS SOUS 26509 HAS SOUPS 26509 WITH SCORE 26551.641
AT ITER 1578 NEW BEST:: SOT 92435 SOS 42437 HAS SOPS 42437 HAS SOUS 26373 HAS SOUPS 26373 WITH SCORE 26415.437
AT ITER 1584 NEW BEST:: SOT 92430 SOS 42427 HAS SOPS 42427 HAS SOUS 26363 HAS SOUPS 26363 WITH SCORE 26405.427
AT ITER 1586 NEW BEST:: SOT 92417 SOS 42388 HAS SOPS 42388 HAS SOUS 26337 HAS SOUPS 26337 WITH SCORE 26379.388
AT ITER 1589 NEW BEST:: SOT 92417 SOS 42387 HAS SOPS 42387 HAS SOUS 26336 HAS SOUPS 26336 WITH SCORE 26378.387
AT ITER 1599 NEW BEST:: SOT 92393 SOS 42360 HAS SOPS 42360 HAS SOUS 26315 HAS SOUPS 26315 WITH SCORE 26357.36
AT ITER 1603 NEW BEST:: SOT 92259 SOS 42208 HAS SOPS 42208 HAS SOUS 26145 HAS SOUPS 26145 WITH SCORE 26187.208
AT ITER 1615 NEW BEST:: SOT 92258 SOS 42150 HAS SOPS 42150 HAS SOUS 26144 HAS SOUPS 26144 WITH SCORE 26186.15
AT ITER 1625 NEW BEST:: SOT 91989 SOS 41832 HAS SOPS 41832 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25916.832
AT ITER 1635 NEW BEST:: SOT 91931 SOS 41745 HAS SOPS 41745 HAS SOUS 25788 HAS SOUPS 25788 WITH SCORE 25829.745
AT ITER 1638 NEW BEST:: SOT 91868 SOS 41810 HAS SOPS 41810 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25811.81
AT ITER 1650 NEW BEST:: SOT 91864 SOS 41775 HAS SOPS 41775 HAS SOUS 25762 HAS SOUPS 25762 WITH SCORE 25803.775
AT ITER 1658 NEW BEST:: SOT 91808 SOS 41705 HAS SOPS 41705 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25801.705
AT ITER 1667 NEW BEST:: SOT 91777 SOS 41674 HAS SOPS 41674 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25770.674
AT ITER 1668 NEW BEST:: SOT 91785 SOS 41647 HAS SOPS 41647 HAS SOUS 25702 HAS SOUPS 25702 WITH SCORE 25743.647
AT ITER 1675 NEW BEST:: SOT 91783 SOS 41644 HAS SOPS 41644 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25740.644
AT ITER 1682 NEW BEST:: SOT 91729 SOS 41554 HAS SOPS 41554 HAS SOUS 25609 HAS SOUPS 25609 WITH SCORE 25650.554
AT ITER 1686 NEW BEST:: SOT 91698 SOS 41492 HAS SOPS 41492 HAS SOUS 25547 HAS SOUPS 25547 WITH SCORE 25588.492
AT ITER 1712 NEW BEST:: SOT 91633 SOS 41414 HAS SOPS 41414 HAS SOUS 25499 HAS SOUPS 25499 WITH SCORE 25540.414
AT ITER 1713 NEW BEST:: SOT 91631 SOS 41410 HAS SOPS 41410 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25534.41
AT ITER 1737 NEW BEST:: SOT 91613 SOS 41395 HAS SOPS 41395 HAS SOUS 25478 HAS SOUPS 25478 WITH SCORE 25519.395
AT ITER 1751 NEW BEST:: SOT 91606 SOS 41355 HAS SOPS 41355 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25505.355
AT ITER 1754 NEW BEST:: SOT 91584 SOS 41304 HAS SOPS 41304 HAS SOUS 25420 HAS SOUPS 25420 WITH SCORE 25461.304
AT ITER 1771 NEW BEST:: SOT 91565 SOS 41267 HAS SOPS 41267 HAS SOUS 25417 HAS SOUPS 25417 WITH SCORE 25458.267
AT ITER 1777 NEW BEST:: SOT 91510 SOS 41211 HAS SOPS 41211 HAS SOUS 25381 HAS SOUPS 25381 WITH SCORE 25422.211
AT ITER 1778 NEW BEST:: SOT 91489 SOS 41198 HAS SOPS 41198 HAS SOUS 25339 HAS SOUPS 25339 WITH SCORE 25380.198
AT ITER 1790 NEW BEST:: SOT 91338 SOS 40986 HAS SOPS 40986 HAS SOUS 25296 HAS SOUPS 25296 WITH SCORE 25336.986
AT ITER 1791 NEW BEST:: SOT 91293 SOS 40694 HAS SOPS 40694 HAS SOUS 25206 HAS SOUPS 25206 WITH SCORE 25246.694
AT ITER 1801 NEW BEST:: SOT 91268 SOS 40668 HAS SOPS 40668 HAS SOUS 25198 HAS SOUPS 25198 WITH SCORE 25238.668
AT ITER 1807 NEW BEST:: SOT 91267 SOS 40525 HAS SOPS 40525 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25095.525
AT ITER 1812 NEW BEST:: SOT 91255 SOS 40501 HAS SOPS 40501 HAS SOUS 25043 HAS SOUPS 25043 WITH SCORE 25083.501
AT ITER 1830 NEW BEST:: SOT 91253 SOS 40498 HAS SOPS 40498 HAS SOUS 25041 HAS SOUPS 25041 WITH SCORE 25081.498
AT ITER 1833 NEW BEST:: SOT 91233 SOS 40468 HAS SOPS 40468 HAS SOUS 25011 HAS SOUPS 25011 WITH SCORE 25051.468
AT ITER 1845 NEW BEST:: SOT 91219 SOS 40470 HAS SOPS 40470 HAS SOUS 24983 HAS SOUPS 24983 WITH SCORE 25023.47
AT ITER 1848 NEW BEST:: SOT 91063 SOS 40314 HAS SOPS 40314 HAS SOUS 24781 HAS SOUPS 24781 WITH SCORE 24821.314
AT ITER 1875 NEW BEST:: SOT 91049 SOS 40300 HAS SOPS 40300 HAS SOUS 24767 HAS SOUPS 24767 WITH SCORE 24807.3
AT ITER 1876 NEW BEST:: SOT 91049 SOS 40210 HAS SOPS 40210 HAS SOUS 24767 HAS SOUPS 24767 WITH SCORE 24807.21
AT ITER 1878 NEW BEST:: SOT 91049 SOS 40210 HAS SOPS 40210 HAS SOUS 24744 HAS SOUPS 24744 WITH SCORE 24784.21
AT ITER 1886 NEW BEST:: SOT 91017 SOS 40310 HAS SOPS 40310 HAS SOUS 24670 HAS SOUPS 24670 WITH SCORE 24710.31
AT ITER 1909 NEW BEST:: SOT 91008 SOS 40263 HAS SOPS 40263 HAS SOUS 24652 HAS SOUPS 24652 WITH SCORE 24692.263
AT ITER 1911 NEW BEST:: SOT 90762 SOS 40086 HAS SOPS 40086 HAS SOUS 24475 HAS SOUPS 24475 WITH SCORE 24515.086
AT ITER 1914 NEW BEST:: SOT 90731 SOS 40055 HAS SOPS 40055 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24484.055
AT ITER 1920 NEW BEST:: SOT 90730 SOS 40054 HAS SOPS 40054 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24483.054
AT ITER 1933 NEW BEST:: SOT 90730 SOS 40052 HAS SOPS 40052 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24483.052
AT ITER 1936 NEW BEST:: SOT 90721 SOS 40034 HAS SOPS 40034 HAS SOUS 24425 HAS SOUPS 24425 WITH SCORE 24465.034
AT ITER 1958 NEW BEST:: SOT 90719 SOS 40030 HAS SOPS 40030 HAS SOUS 24421 HAS SOUPS 24421 WITH SCORE 24461.03
AT ITER 1961 NEW BEST:: SOT 90718 SOS 40029 HAS SOPS 40029 HAS SOUS 24419 HAS SOUPS 24419 WITH SCORE 24459.029
AT ITER 1973 NEW BEST:: SOT 90700 SOS 39986 HAS SOPS 39986 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24394.986
AT ITER 1979 NEW BEST:: SOT 90607 SOS 39975 HAS SOPS 39975 HAS SOUS 24352 HAS SOUPS 24352 WITH SCORE 24391.975
AT ITER 1991 NEW BEST:: SOT 90604 SOS 39974 HAS SOPS 39974 HAS SOUS 24351 HAS SOUPS 24351 WITH SCORE 24390.974
AT ITER 2007 NEW BEST:: SOT 90576 SOS 39918 HAS SOPS 39918 HAS SOUS 24295 HAS SOUPS 24295 WITH SCORE 24334.918
AT ITER 2051 NEW BEST:: SOT 90548 SOS 39887 HAS SOPS 39887 HAS SOUS 24264 HAS SOUPS 24264 WITH SCORE 24303.887
AT ITER 2057 NEW BEST:: SOT 90548 SOS 39861 HAS SOPS 39861 HAS SOUS 24238 HAS SOUPS 24238 WITH SCORE 24277.861
AT ITER 2075 NEW BEST:: SOT 90547 SOS 39860 HAS SOPS 39860 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24275.86
AT ITER 2081 NEW BEST:: SOT 90547 SOS 39856 HAS SOPS 39856 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24275.856
AT ITER 2084 NEW BEST:: SOT 90535 SOS 39881 HAS SOPS 39881 HAS SOUS 24224 HAS SOUPS 24224 WITH SCORE 24263.881
AT ITER 2114 NEW BEST:: SOT 90531 SOS 39873 HAS SOPS 39873 HAS SOUS 24216 HAS SOUPS 24216 WITH SCORE 24255.873
AT ITER 2121 NEW BEST:: SOT 90523 SOS 39865 HAS SOPS 39865 HAS SOUS 24208 HAS SOUPS 24208 WITH SCORE 24247.865
AT ITER 2135 NEW BEST:: SOT 90525 SOS 39855 HAS SOPS 39855 HAS SOUS 24205 HAS SOUPS 24205 WITH SCORE 24244.855
AT ITER 2139 NEW BEST:: SOT 90460 SOS 39725 HAS SOPS 39725 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24228.725
AT ITER 2147 NEW BEST:: SOT 90448 SOS 39701 HAS SOPS 39701 HAS SOUS 24177 HAS SOUPS 24177 WITH SCORE 24216.701
AT ITER 2199 NEW BEST:: SOT 90451 SOS 39776 HAS SOPS 39776 HAS SOUS 24175 HAS SOUPS 24175 WITH SCORE 24214.776
AT ITER 2209 NEW BEST:: SOT 90443 SOS 39749 HAS SOPS 39749 HAS SOUS 24175 HAS SOUPS 24175 WITH SCORE 24214.749
AT ITER 2213 NEW BEST:: SOT 90425 SOS 39713 HAS SOPS 39713 HAS SOUS 24139 HAS SOUPS 24139 WITH SCORE 24178.713
AT ITER 2216 NEW BEST:: SOT 90411 SOS 39851 HAS SOPS 39851 HAS SOUS 24125 HAS SOUPS 24125 WITH SCORE 24164.851
AT ITER 2220 NEW BEST:: SOT 90411 SOS 39840 HAS SOPS 39840 HAS SOUS 24114 HAS SOUPS 24114 WITH SCORE 24153.84
AT ITER 2228 NEW BEST:: SOT 90395 SOS 39816 HAS SOPS 39816 HAS SOUS 24082 HAS SOUPS 24082 WITH SCORE 24121.816
AT ITER 2231 NEW BEST:: SOT 90437 SOS 39779 HAS SOPS 39779 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24054.779
AT ITER 2233 NEW BEST:: SOT 90427 SOS 39759 HAS SOPS 39759 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24034.759
AT ITER 2251 NEW BEST:: SOT 90419 SOS 39730 HAS SOPS 39730 HAS SOUS 23979 HAS SOUPS 23979 WITH SCORE 24018.73
AT ITER 2261 NEW BEST:: SOT 90426 SOS 39873 HAS SOPS 39873 HAS SOUS 23965 HAS SOUPS 23965 WITH SCORE 24004.873
AT ITER 2263 NEW BEST:: SOT 90318 SOS 39658 HAS SOPS 39658 HAS SOUS 23815 HAS SOUPS 23815 WITH SCORE 23854.658
AT ITER 2280 NEW BEST:: SOT 90317 SOS 39656 HAS SOPS 39656 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23852.656
AT ITER 2288 NEW BEST:: SOT 90309 SOS 39625 HAS SOPS 39625 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23836.625
AT ITER 2292 NEW BEST:: SOT 90231 SOS 40879 HAS SOPS 40879 HAS SOUS 23775 HAS SOUPS 23775 WITH SCORE 23815.879
AT ITER 2294 NEW BEST:: SOT 90213 SOS 40861 HAS SOPS 40861 HAS SOUS 23757 HAS SOUPS 23757 WITH SCORE 23797.861
AT ITER 2295 NEW BEST:: SOT 90202 SOS 40839 HAS SOPS 40839 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23786.839
AT ITER 2314 NEW BEST:: SOT 90191 SOS 40817 HAS SOPS 40817 HAS SOUS 23735 HAS SOUPS 23735 WITH SCORE 23775.817
AT ITER 2330 NEW BEST:: SOT 90184 SOS 40803 HAS SOPS 40803 HAS SOUS 23700 HAS SOUPS 23700 WITH SCORE 23740.803
AT ITER 2337 NEW BEST:: SOT 90168 SOS 40771 HAS SOPS 40771 HAS SOUS 23663 HAS SOUPS 23663 WITH SCORE 23703.771
AT ITER 2341 NEW BEST:: SOT 90121 SOS 40677 HAS SOPS 40677 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23618.677
AT ITER 2347 NEW BEST:: SOT 90120 SOS 40706 HAS SOPS 40706 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23616.706
AT ITER 2366 NEW BEST:: SOT 90091 SOS 40663 HAS SOPS 40663 HAS SOUS 23533 HAS SOUPS 23533 WITH SCORE 23573.663
AT ITER 2398 NEW BEST:: SOT 90076 SOS 40648 HAS SOPS 40648 HAS SOUS 23518 HAS SOUPS 23518 WITH SCORE 23558.648
AT ITER 2436 NEW BEST:: SOT 90067 SOS 40666 HAS SOPS 40666 HAS SOUS 23510 HAS SOUPS 23510 WITH SCORE 23550.666
AT ITER 2437 NEW BEST:: SOT 90053 SOS 40653 HAS SOPS 40653 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23537.653
AT ITER 2452 NEW BEST:: SOT 90024 SOS 40677 HAS SOPS 40677 HAS SOUS 23439 HAS SOUPS 23439 WITH SCORE 23479.677
AT ITER 2460 NEW BEST:: SOT 90020 SOS 40673 HAS SOPS 40673 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23473.673
AT ITER 2496 NEW BEST:: SOT 89979 SOS 40694 HAS SOPS 40694 HAS SOUS 23427 HAS SOUPS 23427 WITH SCORE 23467.694
AT ITER 2516 NEW BEST:: SOT 89925 SOS 40563 HAS SOPS 40563 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23436.563
AT ITER 2525 NEW BEST:: SOT 89925 SOS 40493 HAS SOPS 40493 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23436.493
AT ITER 2526 NEW BEST:: SOT 89887 SOS 40318 HAS SOPS 40318 HAS SOUS 23359 HAS SOUPS 23359 WITH SCORE 23399.318
AT ITER 2536 NEW BEST:: SOT 89863 SOS 40337 HAS SOPS 40337 HAS SOUS 23354 HAS SOUPS 23354 WITH SCORE 23394.337
AT ITER 2563 NEW BEST:: SOT 89847 SOS 40305 HAS SOPS 40305 HAS SOUS 23321 HAS SOUPS 23321 WITH SCORE 23361.305
AT ITER 2586 NEW BEST:: SOT 89842 SOS 40304 HAS SOPS 40304 HAS SOUS 23311 HAS SOUPS 23311 WITH SCORE 23351.304
AT ITER 2599 NEW BEST:: SOT 89747 SOS 40229 HAS SOPS 40229 HAS SOUS 23216 HAS SOUPS 23216 WITH SCORE 23256.229
AT ITER 2608 NEW BEST:: SOT 89740 SOS 40229 HAS SOPS 40229 HAS SOUS 23209 HAS SOUPS 23209 WITH SCORE 23249.229
AT ITER 2612 NEW BEST:: SOT 89728 SOS 40184 HAS SOPS 40184 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23223.184
AT ITER 2615 NEW BEST:: SOT 89717 SOS 40189 HAS SOPS 40189 HAS SOUS 23161 HAS SOUPS 23161 WITH SCORE 23201.189
AT ITER 2622 NEW BEST:: SOT 89745 SOS 38876 HAS SOPS 38876 HAS SOUS 23119 HAS SOUPS 23119 WITH SCORE 23157.876
AT ITER 2626 NEW BEST:: SOT 89740 SOS 38871 HAS SOPS 38871 HAS SOUS 23109 HAS SOUPS 23109 WITH SCORE 23147.871
AT ITER 2637 NEW BEST:: SOT 89725 SOS 38883 HAS SOPS 38883 HAS SOUS 23094 HAS SOUPS 23094 WITH SCORE 23132.883
AT ITER 2649 NEW BEST:: SOT 89725 SOS 38848 HAS SOPS 38848 HAS SOUS 23059 HAS SOUPS 23059 WITH SCORE 23097.848
AT ITER 2650 NEW BEST:: SOT 89725 SOS 38845 HAS SOPS 38845 HAS SOUS 23059 HAS SOUPS 23059 WITH SCORE 23097.845
AT ITER 2677 NEW BEST:: SOT 89729 SOS 36134 HAS SOPS 36134 HAS SOUS 23054 HAS SOUPS 23054 WITH SCORE 23090.134
AT ITER 2680 NEW BEST:: SOT 89704 SOS 36084 HAS SOPS 36084 HAS SOUS 22979 HAS SOUPS 22979 WITH SCORE 23015.084
AT ITER 2688 NEW BEST:: SOT 89703 SOS 36053 HAS SOPS 36053 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 23008.053
AT ITER 2692 NEW BEST:: SOT 89683 SOS 36106 HAS SOPS 36106 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22988.106
AT ITER 2710 NEW BEST:: SOT 89711 SOS 36096 HAS SOPS 36096 HAS SOUS 22924 HAS SOUPS 22924 WITH SCORE 22960.096
AT ITER 2715 NEW BEST:: SOT 89691 SOS 36076 HAS SOPS 36076 HAS SOUS 22919 HAS SOUPS 22919 WITH SCORE 22955.076
AT ITER 2723 NEW BEST:: SOT 89691 SOS 36069 HAS SOPS 36069 HAS SOUS 22912 HAS SOUPS 22912 WITH SCORE 22948.069
AT ITER 2724 NEW BEST:: SOT 89689 SOS 36064 HAS SOPS 36064 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22943.064
AT ITER 2726 NEW BEST:: SOT 89674 SOS 36034 HAS SOPS 36034 HAS SOUS 22877 HAS SOUPS 22877 WITH SCORE 22913.034
AT ITER 2746 NEW BEST:: SOT 89623 SOS 35906 HAS SOPS 35906 HAS SOUS 22790 HAS SOUPS 22790 WITH SCORE 22825.906
AT ITER 2774 NEW BEST:: SOT 89603 SOS 35866 HAS SOPS 35866 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22774.866
AT ITER 2797 NEW BEST:: SOT 89603 SOS 35844 HAS SOPS 35844 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22774.844
AT ITER 2801 NEW BEST:: SOT 89517 SOS 35982 HAS SOPS 35982 HAS SOUS 22652 HAS SOUPS 22652 WITH SCORE 22687.982
AT ITER 2806 NEW BEST:: SOT 89499 SOS 35946 HAS SOPS 35946 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22651.946
AT ITER 2811 NEW BEST:: SOT 89448 SOS 35879 HAS SOPS 35879 HAS SOUS 22514 HAS SOUPS 22514 WITH SCORE 22549.879
AT ITER 2816 NEW BEST:: SOT 89448 SOS 35878 HAS SOPS 35878 HAS SOUS 22513 HAS SOUPS 22513 WITH SCORE 22548.878
AT ITER 2843 NEW BEST:: SOT 89448 SOS 35878 HAS SOPS 35878 HAS SOUS 22502 HAS SOUPS 22502 WITH SCORE 22537.878
AT ITER 2848 NEW BEST:: SOT 89447 SOS 35846 HAS SOPS 35846 HAS SOUS 22500 HAS SOUPS 22500 WITH SCORE 22535.846
AT ITER 2854 NEW BEST:: SOT 89439 SOS 35848 HAS SOPS 35848 HAS SOUS 22494 HAS SOUPS 22494 WITH SCORE 22529.848
AT ITER 2872 NEW BEST:: SOT 89358 SOS 35686 HAS SOPS 35686 HAS SOUS 22433 HAS SOUPS 22433 WITH SCORE 22468.686
AT ITER 2883 NEW BEST:: SOT 89342 SOS 35615 HAS SOPS 35615 HAS SOUS 22401 HAS SOUPS 22401 WITH SCORE 22436.615
AT ITER 2897 NEW BEST:: SOT 89324 SOS 36270 HAS SOPS 36270 HAS SOUS 22398 HAS SOUPS 22398 WITH SCORE 22434.27
AT ITER 2905 NEW BEST:: SOT 89273 SOS 36255 HAS SOPS 36255 HAS SOUS 22376 HAS SOUPS 22376 WITH SCORE 22412.255
AT ITER 2912 NEW BEST:: SOT 89273 SOS 36255 HAS SOPS 36255 HAS SOUS 22336 HAS SOUPS 22336 WITH SCORE 22372.255
AT ITER 2915 NEW BEST:: SOT 89234 SOS 36190 HAS SOPS 36190 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22320.19
AT ITER 2938 NEW BEST:: SOT 89231 SOS 36187 HAS SOPS 36187 HAS SOUS 22281 HAS SOUPS 22281 WITH SCORE 22317.187
AT ITER 2950 NEW BEST:: SOT 89174 SOS 36124 HAS SOPS 36124 HAS SOUS 22250 HAS SOUPS 22250 WITH SCORE 22286.124
AT ITER 2995 NEW BEST:: SOT 89160 SOS 36096 HAS SOPS 36096 HAS SOUS 22222 HAS SOUPS 22222 WITH SCORE 22258.096
AT ITER 3004 NEW BEST:: SOT 89160 SOS 36096 HAS SOPS 36096 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22245.096
AT ITER 3023 NEW BEST:: SOT 89102 SOS 36092 HAS SOPS 36092 HAS SOUS 22147 HAS SOUPS 22147 WITH SCORE 22183.092
AT ITER 3032 NEW BEST:: SOT 89101 SOS 36069 HAS SOPS 36069 HAS SOUS 22145 HAS SOUPS 22145 WITH SCORE 22181.069
AT ITER 3039 NEW BEST:: SOT 89099 SOS 36046 HAS SOPS 36046 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22156.046
AT ITER 3080 NEW BEST:: SOT 89099 SOS 35971 HAS SOPS 35971 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22155.971
AT ITER 3104 NEW BEST:: SOT 89053 SOS 35970 HAS SOPS 35970 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22154.97
AT ITER 3110 NEW BEST:: SOT 89018 SOS 35900 HAS SOPS 35900 HAS SOUS 22052 HAS SOUPS 22052 WITH SCORE 22087.9
AT ITER 3116 NEW BEST:: SOT 89018 SOS 35900 HAS SOPS 35900 HAS SOUS 22050 HAS SOUPS 22050 WITH SCORE 22085.9
AT ITER 3134 NEW BEST:: SOT 89017 SOS 35899 HAS SOPS 35899 HAS SOUS 22048 HAS SOUPS 22048 WITH SCORE 22083.899
AT ITER 3145 NEW BEST:: SOT 88980 SOS 35781 HAS SOPS 35781 HAS SOUS 22011 HAS SOUPS 22011 WITH SCORE 22046.781
AT ITER 3149 NEW BEST:: SOT 88991 SOS 35820 HAS SOPS 35820 HAS SOUS 22005 HAS SOUPS 22005 WITH SCORE 22040.82
AT ITER 3154 NEW BEST:: SOT 88989 SOS 35816 HAS SOPS 35816 HAS SOUS 22001 HAS SOUPS 22001 WITH SCORE 22036.816
AT ITER 3174 NEW BEST:: SOT 88962 SOS 35838 HAS SOPS 35838 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22031.838
AT ITER 3185 NEW BEST:: SOT 88961 SOS 35836 HAS SOPS 35836 HAS SOUS 21995 HAS SOUPS 21995 WITH SCORE 22030.836
AT ITER 3187 NEW BEST:: SOT 88949 SOS 35824 HAS SOPS 35824 HAS SOUS 21971 HAS SOUPS 21971 WITH SCORE 22006.824
AT ITER 3188 NEW BEST:: SOT 88964 SOS 35816 HAS SOPS 35816 HAS SOUS 21963 HAS SOUPS 21963 WITH SCORE 21998.816
AT ITER 3211 NEW BEST:: SOT 88947 SOS 35782 HAS SOPS 35782 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21964.782
AT ITER 3238 NEW BEST:: SOT 88947 SOS 35775 HAS SOPS 35775 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21964.775
AT ITER 3248 NEW BEST:: SOT 88947 SOS 35751 HAS SOPS 35751 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21964.751
AT ITER 3250 NEW BEST:: SOT 88951 SOS 35759 HAS SOPS 35759 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21922.759
AT ITER 3253 NEW BEST:: SOT 88946 SOS 35749 HAS SOPS 35749 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21922.749
AT ITER 3286 NEW BEST:: SOT 88925 SOS 35728 HAS SOPS 35728 HAS SOUS 21845 HAS SOUPS 21845 WITH SCORE 21880.728
AT ITER 3299 NEW BEST:: SOT 88925 SOS 35684 HAS SOPS 35684 HAS SOUS 21845 HAS SOUPS 21845 WITH SCORE 21880.684
AT ITER 3302 NEW BEST:: SOT 88920 SOS 35635 HAS SOPS 35635 HAS SOUS 21835 HAS SOUPS 21835 WITH SCORE 21870.635
AT ITER 3323 NEW BEST:: SOT 88920 SOS 35635 HAS SOPS 35635 HAS SOUS 21824 HAS SOUPS 21824 WITH SCORE 21859.635
AT ITER 3348 NEW BEST:: SOT 88770 SOS 35414 HAS SOPS 35414 HAS SOUS 21595 HAS SOUPS 21595 WITH SCORE 21630.414
AT ITER 3349 NEW BEST:: SOT 88756 SOS 35431 HAS SOPS 35431 HAS SOUS 21588 HAS SOUPS 21588 WITH SCORE 21623.431
AT ITER 3357 NEW BEST:: SOT 88756 SOS 35459 HAS SOPS 35459 HAS SOUS 21562 HAS SOUPS 21562 WITH SCORE 21597.459
AT ITER 3375 NEW BEST:: SOT 88732 SOS 35410 HAS SOPS 35410 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21548.41
AT ITER 3396 NEW BEST:: SOT 88725 SOS 35396 HAS SOPS 35396 HAS SOUS 21499 HAS SOUPS 21499 WITH SCORE 21534.396
AT ITER 3403 NEW BEST:: SOT 88729 SOS 35388 HAS SOPS 35388 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21530.388
AT ITER 3406 NEW BEST:: SOT 88711 SOS 35303 HAS SOPS 35303 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21494.303
AT ITER 3440 NEW BEST:: SOT 88711 SOS 35293 HAS SOPS 35293 HAS SOUS 21459 HAS SOUPS 21459 WITH SCORE 21494.293
AT ITER 3441 NEW BEST:: SOT 88712 SOS 35295 HAS SOPS 35295 HAS SOUS 21453 HAS SOUPS 21453 WITH SCORE 21488.295
AT ITER 3455 NEW BEST:: SOT 88706 SOS 35283 HAS SOPS 35283 HAS SOUS 21441 HAS SOUPS 21441 WITH SCORE 21476.283
AT ITER 3459 NEW BEST:: SOT 88706 SOS 35272 HAS SOPS 35272 HAS SOUS 21430 HAS SOUPS 21430 WITH SCORE 21465.272
AT ITER 3461 NEW BEST:: SOT 88692 SOS 35258 HAS SOPS 35258 HAS SOUS 21409 HAS SOUPS 21409 WITH SCORE 21444.258
AT ITER 3465 NEW BEST:: SOT 88679 SOS 35203 HAS SOPS 35203 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21418.203
AT ITER 3467 NEW BEST:: SOT 88679 SOS 35203 HAS SOPS 35203 HAS SOUS 21378 HAS SOUPS 21378 WITH SCORE 21413.203
AT ITER 3470 NEW BEST:: SOT 88661 SOS 35185 HAS SOPS 35185 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21377.185
AT ITER 3484 NEW BEST:: SOT 88627 SOS 35060 HAS SOPS 35060 HAS SOUS 21340 HAS SOUPS 21340 WITH SCORE 21375.06
AT ITER 3489 NEW BEST:: SOT 88584 SOS 35025 HAS SOPS 35025 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21335.025
AT ITER 3497 NEW BEST:: SOT 88584 SOS 35011 HAS SOPS 35011 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21335.011
AT ITER 3500 NEW BEST:: SOT 88582 SOS 34961 HAS SOPS 34961 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21330.961
AT ITER 3501 NEW BEST:: SOT 88564 SOS 34921 HAS SOPS 34921 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21300.921
AT ITER 3518 NEW BEST:: SOT 88519 SOS 34853 HAS SOPS 34853 HAS SOUS 21207 HAS SOUPS 21207 WITH SCORE 21241.853
AT ITER 3546 NEW BEST:: SOT 88501 SOS 34835 HAS SOPS 34835 HAS SOUS 21171 HAS SOUPS 21171 WITH SCORE 21205.835
AT ITER 3559 NEW BEST:: SOT 88487 SOS 34807 HAS SOPS 34807 HAS SOUS 21157 HAS SOUPS 21157 WITH SCORE 21191.807
AT ITER 3576 NEW BEST:: SOT 88469 SOS 34789 HAS SOPS 34789 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21155.789
AT ITER 3618 NEW BEST:: SOT 88467 SOS 34833 HAS SOPS 34833 HAS SOUS 21117 HAS SOUPS 21117 WITH SCORE 21151.833
AT ITER 3624 NEW BEST:: SOT 88347 SOS 34708 HAS SOPS 34708 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21102.708
AT ITER 3630 NEW BEST:: SOT 88345 SOS 34704 HAS SOPS 34704 HAS SOUS 21064 HAS SOUPS 21064 WITH SCORE 21098.704
AT ITER 3643 NEW BEST:: SOT 88335 SOS 34694 HAS SOPS 34694 HAS SOUS 21054 HAS SOUPS 21054 WITH SCORE 21088.694
AT ITER 3647 NEW BEST:: SOT 88341 SOS 34700 HAS SOPS 34700 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21080.7
AT ITER 3672 NEW BEST:: SOT 88345 SOS 34703 HAS SOPS 34703 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21079.703
AT ITER 3677 NEW BEST:: SOT 88313 SOS 34580 HAS SOPS 34580 HAS SOUS 20944 HAS SOUPS 20944 WITH SCORE 20978.58
AT ITER 3694 NEW BEST:: SOT 88299 SOS 34552 HAS SOPS 34552 HAS SOUS 20916 HAS SOUPS 20916 WITH SCORE 20950.552
AT ITER 3705 NEW BEST:: SOT 88289 SOS 34494 HAS SOPS 34494 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20930.494
AT ITER 3710 NEW BEST:: SOT 88288 SOS 34493 HAS SOPS 34493 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20929.493
AT ITER 3719 NEW BEST:: SOT 88287 SOS 34455 HAS SOPS 34455 HAS SOUS 20883 HAS SOUPS 20883 WITH SCORE 20917.455
AT ITER 3721 NEW BEST:: SOT 88279 SOS 34439 HAS SOPS 34439 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20903.439
AT ITER 3735 NEW BEST:: SOT 88241 SOS 34475 HAS SOPS 34475 HAS SOUS 20857 HAS SOUPS 20857 WITH SCORE 20891.475
AT ITER 3746 NEW BEST:: SOT 88240 SOS 34474 HAS SOPS 34474 HAS SOUS 20855 HAS SOUPS 20855 WITH SCORE 20889.474
AT ITER 3786 NEW BEST:: SOT 88240 SOS 34474 HAS SOPS 34474 HAS SOUS 20831 HAS SOUPS 20831 WITH SCORE 20865.474
AT ITER 3794 NEW BEST:: SOT 88216 SOS 34426 HAS SOPS 34426 HAS SOUS 20783 HAS SOUPS 20783 WITH SCORE 20817.426
AT ITER 3850 NEW BEST:: SOT 88216 SOS 34527 HAS SOPS 34527 HAS SOUS 20708 HAS SOUPS 20708 WITH SCORE 20742.527
AT ITER 3851 NEW BEST:: SOT 88208 SOS 34632 HAS SOPS 34632 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20726.632
AT ITER 3855 NEW BEST:: SOT 88208 SOS 34615 HAS SOPS 34615 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20726.615
AT ITER 3868 NEW BEST:: SOT 88190 SOS 34579 HAS SOPS 34579 HAS SOUS 20656 HAS SOUPS 20656 WITH SCORE 20690.579
AT ITER 3886 NEW BEST:: SOT 88192 SOS 34583 HAS SOPS 34583 HAS SOUS 20655 HAS SOUPS 20655 WITH SCORE 20689.583
AT ITER 3898 NEW BEST:: SOT 88161 SOS 34495 HAS SOPS 34495 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20632.495
AT ITER 3908 NEW BEST:: SOT 88161 SOS 34492 HAS SOPS 34492 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20632.492
AT ITER 3951 NEW BEST:: SOT 88108 SOS 34409 HAS SOPS 34409 HAS SOUS 20522 HAS SOUPS 20522 WITH SCORE 20556.409
AT ITER 3955 NEW BEST:: SOT 88108 SOS 34400 HAS SOPS 34400 HAS SOUS 20522 HAS SOUPS 20522 WITH SCORE 20556.4
AT ITER 3957 NEW BEST:: SOT 88082 SOS 34393 HAS SOPS 34393 HAS SOUS 20515 HAS SOUPS 20515 WITH SCORE 20549.393
AT ITER 3973 NEW BEST:: SOT 88065 SOS 34455 HAS SOPS 34455 HAS SOUS 20481 HAS SOUPS 20481 WITH SCORE 20515.455
AT ITER 3975 NEW BEST:: SOT 88065 SOS 34455 HAS SOPS 34455 HAS SOUS 20476 HAS SOUPS 20476 WITH SCORE 20510.455
AT ITER 3985 NEW BEST:: SOT 88050 SOS 34425 HAS SOPS 34425 HAS SOUS 20440 HAS SOUPS 20440 WITH SCORE 20474.425
AT ITER 3989 NEW BEST:: SOT 88002 SOS 34329 HAS SOPS 34329 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20378.329
AT ITER 4005 NEW BEST:: SOT 87913 SOS 34268 HAS SOPS 34268 HAS SOUS 20283 HAS SOUPS 20283 WITH SCORE 20317.268
AT ITER 4028 NEW BEST:: SOT 87867 SOS 34216 HAS SOPS 34216 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20283.216
AT ITER 4048 NEW BEST:: SOT 87844 SOS 34097 HAS SOPS 34097 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20229.097
AT ITER 4049 NEW BEST:: SOT 87930 SOS 34160 HAS SOPS 34160 HAS SOUS 20134 HAS SOUPS 20134 WITH SCORE 20168.16
AT ITER 4056 NEW BEST:: SOT 87913 SOS 34154 HAS SOPS 34154 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20163.154
AT ITER 4057 NEW BEST:: SOT 87894 SOS 34131 HAS SOPS 34131 HAS SOUS 20067 HAS SOUPS 20067 WITH SCORE 20101.131
AT ITER 4088 NEW BEST:: SOT 87882 SOS 34119 HAS SOPS 34119 HAS SOUS 20055 HAS SOUPS 20055 WITH SCORE 20089.119
AT ITER 4089 NEW BEST:: SOT 87889 SOS 34115 HAS SOPS 34115 HAS SOUS 20050 HAS SOUPS 20050 WITH SCORE 20084.115
AT ITER 4098 NEW BEST:: SOT 87884 SOS 34114 HAS SOPS 34114 HAS SOUS 20049 HAS SOUPS 20049 WITH SCORE 20083.114
AT ITER 4101 NEW BEST:: SOT 87839 SOS 34097 HAS SOPS 34097 HAS SOUS 20008 HAS SOUPS 20008 WITH SCORE 20042.097
AT ITER 4115 NEW BEST:: SOT 87731 SOS 33936 HAS SOPS 33936 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19991.936
AT ITER 4116 NEW BEST:: SOT 87722 SOS 33929 HAS SOPS 33929 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 19973.929
AT ITER 4129 NEW BEST:: SOT 87722 SOS 33928 HAS SOPS 33928 HAS SOUS 19939 HAS SOUPS 19939 WITH SCORE 19972.928
AT ITER 4148 NEW BEST:: SOT 87718 SOS 33923 HAS SOPS 33923 HAS SOUS 19931 HAS SOUPS 19931 WITH SCORE 19964.923
AT ITER 4151 NEW BEST:: SOT 87651 SOS 33789 HAS SOPS 33789 HAS SOUS 19781 HAS SOUPS 19781 WITH SCORE 19814.789
AT ITER 4155 NEW BEST:: SOT 87651 SOS 33786 HAS SOPS 33786 HAS SOUS 19781 HAS SOUPS 19781 WITH SCORE 19814.786
AT ITER 4170 NEW BEST:: SOT 87648 SOS 33785 HAS SOPS 33785 HAS SOUS 19779 HAS SOUPS 19779 WITH SCORE 19812.785
AT ITER 4175 NEW BEST:: SOT 87648 SOS 33708 HAS SOPS 33708 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19735.708
AT ITER 4178 NEW BEST:: SOT 87641 SOS 33694 HAS SOPS 33694 HAS SOUS 19688 HAS SOUPS 19688 WITH SCORE 19721.694
AT ITER 4185 NEW BEST:: SOT 87656 SOS 33685 HAS SOPS 33685 HAS SOUS 19677 HAS SOUPS 19677 WITH SCORE 19710.685
AT ITER 4202 NEW BEST:: SOT 87658 SOS 33683 HAS SOPS 33683 HAS SOUS 19676 HAS SOUPS 19676 WITH SCORE 19709.683
AT ITER 4243 NEW BEST:: SOT 87657 SOS 33681 HAS SOPS 33681 HAS SOUS 19674 HAS SOUPS 19674 WITH SCORE 19707.681
AT ITER 4263 NEW BEST:: SOT 87656 SOS 33680 HAS SOPS 33680 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19705.68
AT ITER 4294 NEW BEST:: SOT 87649 SOS 33666 HAS SOPS 33666 HAS SOUS 19665 HAS SOUPS 19665 WITH SCORE 19698.666
AT ITER 4341 NEW BEST:: SOT 87623 SOS 33627 HAS SOPS 33627 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19646.627
AT ITER 4347 NEW BEST:: SOT 87559 SOS 33569 HAS SOPS 33569 HAS SOUS 19555 HAS SOUPS 19555 WITH SCORE 19588.569
AT ITER 4351 NEW BEST:: SOT 87537 SOS 33503 HAS SOPS 33503 HAS SOUS 19511 HAS SOUPS 19511 WITH SCORE 19544.503
AT ITER 4363 NEW BEST:: SOT 87473 SOS 33421 HAS SOPS 33421 HAS SOUS 19475 HAS SOUPS 19475 WITH SCORE 19508.421
AT ITER 4373 NEW BEST:: SOT 87457 SOS 33389 HAS SOPS 33389 HAS SOUS 19451 HAS SOUPS 19451 WITH SCORE 19484.389
AT ITER 4374 NEW BEST:: SOT 87445 SOS 33365 HAS SOPS 33365 HAS SOUS 19427 HAS SOUPS 19427 WITH SCORE 19460.365
AT ITER 4376 NEW BEST:: SOT 87444 SOS 33363 HAS SOPS 33363 HAS SOUS 19426 HAS SOUPS 19426 WITH SCORE 19459.363
AT ITER 4394 NEW BEST:: SOT 87440 SOS 33355 HAS SOPS 33355 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19451.355
AT ITER 4419 NEW BEST:: SOT 87463 SOS 33284 HAS SOPS 33284 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19439.284
AT ITER 4464 NEW BEST:: SOT 87441 SOS 33284 HAS SOPS 33284 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19417.284
AT ITER 4481 NEW BEST:: SOT 87477 SOS 33242 HAS SOPS 33242 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19396.242
AT ITER 4484 NEW BEST:: SOT 87466 SOS 33220 HAS SOPS 33220 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19374.22
AT ITER 4497 NEW BEST:: SOT 87471 SOS 33218 HAS SOPS 33218 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19339.218
AT ITER 4498 NEW BEST:: SOT 87484 SOS 33301 HAS SOPS 33301 HAS SOUS 19304 HAS SOUPS 19304 WITH SCORE 19337.301
AT ITER 4518 NEW BEST:: SOT 87480 SOS 33293 HAS SOPS 33293 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19327.293
AT ITER 4545 NEW BEST:: SOT 87482 SOS 33323 HAS SOPS 33323 HAS SOUS 19253 HAS SOUPS 19253 WITH SCORE 19286.323
AT ITER 4597 NEW BEST:: SOT 87477 SOS 33318 HAS SOPS 33318 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19276.318
AT ITER 4603 NEW BEST:: SOT 87473 SOS 33314 HAS SOPS 33314 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19276.314
AT ITER 4607 NEW BEST:: SOT 87476 SOS 33313 HAS SOPS 33313 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19268.313
AT ITER 4615 NEW BEST:: SOT 87443 SOS 33214 HAS SOPS 33214 HAS SOUS 19169 HAS SOUPS 19169 WITH SCORE 19202.214
AT ITER 4622 NEW BEST:: SOT 87441 SOS 33212 HAS SOPS 33212 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19198.212
AT ITER 4637 NEW BEST:: SOT 87433 SOS 33200 HAS SOPS 33200 HAS SOUS 19153 HAS SOUPS 19153 WITH SCORE 19186.2
AT ITER 4643 NEW BEST:: SOT 87388 SOS 33161 HAS SOPS 33161 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19147.161
AT ITER 4647 NEW BEST:: SOT 87377 SOS 33079 HAS SOPS 33079 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19115.079
AT ITER 4654 NEW BEST:: SOT 87356 SOS 33037 HAS SOPS 33037 HAS SOUS 19056 HAS SOUPS 19056 WITH SCORE 19089.037
AT ITER 4718 NEW BEST:: SOT 87361 SOS 33035 HAS SOPS 33035 HAS SOUS 19054 HAS SOUPS 19054 WITH SCORE 19087.035
AT ITER 4730 NEW BEST:: SOT 87358 SOS 33029 HAS SOPS 33029 HAS SOUS 19054 HAS SOUPS 19054 WITH SCORE 19087.029
AT ITER 4755 NEW BEST:: SOT 87358 SOS 33029 HAS SOPS 33029 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19085.029
AT ITER 4774 NEW BEST:: SOT 87349 SOS 33018 HAS SOPS 33018 HAS SOUS 19043 HAS SOUPS 19043 WITH SCORE 19076.018
AT ITER 4795 NEW BEST:: SOT 87334 SOS 32918 HAS SOPS 32918 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19067.918
AT ITER 4808 NEW BEST:: SOT 87350 SOS 32950 HAS SOPS 32950 HAS SOUS 19017 HAS SOUPS 19017 WITH SCORE 19049.95
AT ITER 4831 NEW BEST:: SOT 87336 SOS 32950 HAS SOPS 32950 HAS SOUS 19003 HAS SOUPS 19003 WITH SCORE 19035.95
AT ITER 4834 NEW BEST:: SOT 87322 SOS 32922 HAS SOPS 32922 HAS SOUS 18975 HAS SOUPS 18975 WITH SCORE 19007.922
AT ITER 4850 NEW BEST:: SOT 87270 SOS 32875 HAS SOPS 32875 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18960.875
AT ITER 4860 NEW BEST:: SOT 87251 SOS 32818 HAS SOPS 32818 HAS SOUS 18890 HAS SOUPS 18890 WITH SCORE 18922.818
AT ITER 4861 NEW BEST:: SOT 87254 SOS 32824 HAS SOPS 32824 HAS SOUS 18883 HAS SOUPS 18883 WITH SCORE 18915.824
AT ITER 4871 NEW BEST:: SOT 87247 SOS 32499 HAS SOPS 32499 HAS SOUS 18869 HAS SOUPS 18869 WITH SCORE 18901.499
AT ITER 4947 NEW BEST:: SOT 87247 SOS 32499 HAS SOPS 32499 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18899.499
AT ITER 5031 NEW BEST:: SOT 87247 SOS 32494 HAS SOPS 32494 HAS SOUS 18862 HAS SOUPS 18862 WITH SCORE 18894.494
AT ITER 5034 NEW BEST:: SOT 87270 SOS 32523 HAS SOPS 32523 HAS SOUS 18859 HAS SOUPS 18859 WITH SCORE 18891.523
AT ITER 5041 NEW BEST:: SOT 87265 SOS 32513 HAS SOPS 32513 HAS SOUS 18850 HAS SOUPS 18850 WITH SCORE 18882.513
AT ITER 5049 NEW BEST:: SOT 87251 SOS 32463 HAS SOPS 32463 HAS SOUS 18822 HAS SOUPS 18822 WITH SCORE 18854.463
AT ITER 5053 NEW BEST:: SOT 87223 SOS 32501 HAS SOPS 32501 HAS SOUS 18766 HAS SOUPS 18766 WITH SCORE 18798.501
AT ITER 5106 NEW BEST:: SOT 87223 SOS 32496 HAS SOPS 32496 HAS SOUS 18761 HAS SOUPS 18761 WITH SCORE 18793.496
AT ITER 5119 NEW BEST:: SOT 87183 SOS 32415 HAS SOPS 32415 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18729.415
AT ITER 5127 NEW BEST:: SOT 87180 SOS 32413 HAS SOPS 32413 HAS SOUS 18695 HAS SOUPS 18695 WITH SCORE 18727.413
AT ITER 5135 NEW BEST:: SOT 87178 SOS 32397 HAS SOPS 32397 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18715.397
AT ITER 5150 NEW BEST:: SOT 87125 SOS 32392 HAS SOPS 32392 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18710.392
AT ITER 5173 NEW BEST:: SOT 87085 SOS 32365 HAS SOPS 32365 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18683.365
AT ITER 5181 NEW BEST:: SOT 87085 SOS 32345 HAS SOPS 32345 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18663.345
AT ITER 5183 NEW BEST:: SOT 87083 SOS 32350 HAS SOPS 32350 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18638.35
AT ITER 5188 NEW BEST:: SOT 87071 SOS 32276 HAS SOPS 32276 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18614.276
AT ITER 5199 NEW BEST:: SOT 87057 SOS 32289 HAS SOPS 32289 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18586.289
AT ITER 5202 NEW BEST:: SOT 87079 SOS 32290 HAS SOPS 32290 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18583.29
AT ITER 5227 NEW BEST:: SOT 87064 SOS 32278 HAS SOPS 32278 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18553.278
AT ITER 5230 NEW BEST:: SOT 87065 SOS 32195 HAS SOPS 32195 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18493.195
AT ITER 5242 NEW BEST:: SOT 87066 SOS 32191 HAS SOPS 32191 HAS SOUS 18457 HAS SOUPS 18457 WITH SCORE 18489.191
AT ITER 5243 NEW BEST:: SOT 87069 SOS 32197 HAS SOPS 32197 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18486.197
AT ITER 5254 NEW BEST:: SOT 87061 SOS 32189 HAS SOPS 32189 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18482.189
AT ITER 5274 NEW BEST:: SOT 87061 SOS 32181 HAS SOPS 32181 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18474.181
AT ITER 5281 NEW BEST:: SOT 87041 SOS 32123 HAS SOPS 32123 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18421.123
AT ITER 5293 NEW BEST:: SOT 87036 SOS 32103 HAS SOPS 32103 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18411.103
AT ITER 5295 NEW BEST:: SOT 87036 SOS 32069 HAS SOPS 32069 HAS SOUS 18332 HAS SOUPS 18332 WITH SCORE 18364.069
AT ITER 5300 NEW BEST:: SOT 87025 SOS 32047 HAS SOPS 32047 HAS SOUS 18310 HAS SOUPS 18310 WITH SCORE 18342.047
AT ITER 5305 NEW BEST:: SOT 87025 SOS 32045 HAS SOPS 32045 HAS SOUS 18310 HAS SOUPS 18310 WITH SCORE 18342.045
AT ITER 5313 NEW BEST:: SOT 87014 SOS 32036 HAS SOPS 32036 HAS SOUS 18293 HAS SOUPS 18293 WITH SCORE 18325.036
AT ITER 5314 NEW BEST:: SOT 87001 SOS 31996 HAS SOPS 31996 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18298.996
AT ITER 5315 NEW BEST:: SOT 86980 SOS 31954 HAS SOPS 31954 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18255.954
AT ITER 5317 NEW BEST:: SOT 86942 SOS 31878 HAS SOPS 31878 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18194.878
AT ITER 5328 NEW BEST:: SOT 86940 SOS 31876 HAS SOPS 31876 HAS SOUS 18159 HAS SOUPS 18159 WITH SCORE 18190.876
AT ITER 5338 NEW BEST:: SOT 86935 SOS 31860 HAS SOPS 31860 HAS SOUS 18149 HAS SOUPS 18149 WITH SCORE 18180.86
AT ITER 5367 NEW BEST:: SOT 86919 SOS 31828 HAS SOPS 31828 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18148.828
AT ITER 5382 NEW BEST:: SOT 86909 SOS 31818 HAS SOPS 31818 HAS SOUS 18107 HAS SOUPS 18107 WITH SCORE 18138.818
AT ITER 5390 NEW BEST:: SOT 86807 SOS 31686 HAS SOPS 31686 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18053.686
AT ITER 5423 NEW BEST:: SOT 86777 SOS 31641 HAS SOPS 31641 HAS SOUS 17991 HAS SOUPS 17991 WITH SCORE 18022.641
AT ITER 5424 NEW BEST:: SOT 86794 SOS 31640 HAS SOPS 31640 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18021.64
AT ITER 5425 NEW BEST:: SOT 86786 SOS 31636 HAS SOPS 31636 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18017.636
AT ITER 5431 NEW BEST:: SOT 86786 SOS 31622 HAS SOPS 31622 HAS SOUS 17972 HAS SOUPS 17972 WITH SCORE 18003.622
AT ITER 5436 NEW BEST:: SOT 86781 SOS 31612 HAS SOPS 31612 HAS SOUS 17967 HAS SOUPS 17967 WITH SCORE 17998.612
AT ITER 5447 NEW BEST:: SOT 86766 SOS 31582 HAS SOPS 31582 HAS SOUS 17937 HAS SOUPS 17937 WITH SCORE 17968.582
AT ITER 5449 NEW BEST:: SOT 86765 SOS 31581 HAS SOPS 31581 HAS SOUS 17935 HAS SOUPS 17935 WITH SCORE 17966.581
AT ITER 5455 NEW BEST:: SOT 86749 SOS 31557 HAS SOPS 31557 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17942.557
AT ITER 5458 NEW BEST:: SOT 86708 SOS 31487 HAS SOPS 31487 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17875.487
AT ITER 5570 NEW BEST:: SOT 86664 SOS 31399 HAS SOPS 31399 HAS SOUS 17778 HAS SOUPS 17778 WITH SCORE 17809.399
AT ITER 5604 NEW BEST:: SOT 86662 SOS 31386 HAS SOPS 31386 HAS SOUS 17776 HAS SOUPS 17776 WITH SCORE 17807.386
AT ITER 5668 NEW BEST:: SOT 86650 SOS 31374 HAS SOPS 31374 HAS SOUS 17775 HAS SOUPS 17775 WITH SCORE 17806.374
AT ITER 5712 NEW BEST:: SOT 86657 SOS 31381 HAS SOPS 31381 HAS SOUS 17735 HAS SOUPS 17735 WITH SCORE 17766.381
AT ITER 5723 NEW BEST:: SOT 86645 SOS 31370 HAS SOPS 31370 HAS SOUS 17725 HAS SOUPS 17725 WITH SCORE 17756.37
AT ITER 5725 NEW BEST:: SOT 86643 SOS 31368 HAS SOPS 31368 HAS SOUS 17723 HAS SOUPS 17723 WITH SCORE 17754.368
AT ITER 5727 NEW BEST:: SOT 86626 SOS 31351 HAS SOPS 31351 HAS SOUS 17711 HAS SOUPS 17711 WITH SCORE 17742.351
AT ITER 5732 NEW BEST:: SOT 86617 SOS 31333 HAS SOPS 31333 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17728.333
AT ITER 5755 NEW BEST:: SOT 86616 SOS 31331 HAS SOPS 31331 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17726.331
AT ITER 5758 NEW BEST:: SOT 86616 SOS 31309 HAS SOPS 31309 HAS SOUS 17695 HAS SOUPS 17695 WITH SCORE 17726.309
AT ITER 5770 NEW BEST:: SOT 86614 SOS 31256 HAS SOPS 31256 HAS SOUS 17691 HAS SOUPS 17691 WITH SCORE 17722.256
AT ITER 5786 NEW BEST:: SOT 86613 SOS 31255 HAS SOPS 31255 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17720.255
AT ITER 5795 NEW BEST:: SOT 86589 SOS 31159 HAS SOPS 31159 HAS SOUS 17641 HAS SOUPS 17641 WITH SCORE 17672.159
AT ITER 5837 NEW BEST:: SOT 86587 SOS 31155 HAS SOPS 31155 HAS SOUS 17625 HAS SOUPS 17625 WITH SCORE 17656.155
AT ITER 5850 NEW BEST:: SOT 86587 SOS 31140 HAS SOPS 31140 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17643.14
AT ITER 5857 NEW BEST:: SOT 86580 SOS 31133 HAS SOPS 31133 HAS SOUS 17598 HAS SOUPS 17598 WITH SCORE 17629.133
AT ITER 5863 NEW BEST:: SOT 86567 SOS 31107 HAS SOPS 31107 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17603.107
AT ITER 5880 NEW BEST:: SOT 86539 SOS 31107 HAS SOPS 31107 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17575.107
AT ITER 5899 NEW BEST:: SOT 86537 SOS 31103 HAS SOPS 31103 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17573.103
AT ITER 5912 NEW BEST:: SOT 86537 SOS 31103 HAS SOPS 31103 HAS SOUS 17539 HAS SOUPS 17539 WITH SCORE 17570.103
AT ITER 5929 NEW BEST:: SOT 86516 SOS 31061 HAS SOPS 31061 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17543.061
AT ITER 5943 NEW BEST:: SOT 86538 SOS 31105 HAS SOPS 31105 HAS SOUS 17448 HAS SOUPS 17448 WITH SCORE 17479.105
AT ITER 5953 NEW BEST:: SOT 86538 SOS 31100 HAS SOPS 31100 HAS SOUS 17448 HAS SOUPS 17448 WITH SCORE 17479.1
AT ITER 5976 NEW BEST:: SOT 86542 SOS 31108 HAS SOPS 31108 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17467.108
AT ITER 6025 NEW BEST:: SOT 86525 SOS 31026 HAS SOPS 31026 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17425.026
AT ITER 6037 NEW BEST:: SOT 86477 SOS 30944 HAS SOPS 30944 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17366.944
AT ITER 6051 NEW BEST:: SOT 86469 SOS 30939 HAS SOPS 30939 HAS SOUS 17331 HAS SOUPS 17331 WITH SCORE 17361.939
AT ITER 6055 NEW BEST:: SOT 86462 SOS 30837 HAS SOPS 30837 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17340.837
AT ITER 6057 NEW BEST:: SOT 86436 SOS 30811 HAS SOPS 30811 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17314.811
AT ITER 6059 NEW BEST:: SOT 86404 SOS 30756 HAS SOPS 30756 HAS SOUS 17228 HAS SOUPS 17228 WITH SCORE 17258.756
AT ITER 6089 NEW BEST:: SOT 86399 SOS 30751 HAS SOPS 30751 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17253.751
AT ITER 6121 NEW BEST:: SOT 86376 SOS 30733 HAS SOPS 30733 HAS SOUS 17198 HAS SOUPS 17198 WITH SCORE 17228.733
AT ITER 6140 NEW BEST:: SOT 86372 SOS 30729 HAS SOPS 30729 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17224.729
AT ITER 6157 NEW BEST:: SOT 86380 SOS 30721 HAS SOPS 30721 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17220.721
AT ITER 6173 NEW BEST:: SOT 86380 SOS 30681 HAS SOPS 30681 HAS SOUS 17190 HAS SOUPS 17190 WITH SCORE 17220.681
AT ITER 6193 NEW BEST:: SOT 86375 SOS 30671 HAS SOPS 30671 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17210.671
AT ITER 6211 NEW BEST:: SOT 86340 SOS 30638 HAS SOPS 30638 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17140.638
AT ITER 6226 NEW BEST:: SOT 86341 SOS 30640 HAS SOPS 30640 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17135.64
AT ITER 6263 NEW BEST:: SOT 86337 SOS 30634 HAS SOPS 30634 HAS SOUS 17097 HAS SOUPS 17097 WITH SCORE 17127.634
AT ITER 6283 NEW BEST:: SOT 86337 SOS 30613 HAS SOPS 30613 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17085.613
AT ITER 6329 NEW BEST:: SOT 86335 SOS 30618 HAS SOPS 30618 HAS SOUS 17051 HAS SOUPS 17051 WITH SCORE 17081.618
AT ITER 6332 NEW BEST:: SOT 86370 SOS 30688 HAS SOPS 30688 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17079.688
AT ITER 6352 NEW BEST:: SOT 86365 SOS 30678 HAS SOPS 30678 HAS SOUS 17044 HAS SOUPS 17044 WITH SCORE 17074.678
AT ITER 6353 NEW BEST:: SOT 86365 SOS 30678 HAS SOPS 30678 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17071.678
AT ITER 6355 NEW BEST:: SOT 86354 SOS 30656 HAS SOPS 30656 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17049.656
AT ITER 6362 NEW BEST:: SOT 86348 SOS 30670 HAS SOPS 30670 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17017.67
AT ITER 6381 NEW BEST:: SOT 86345 SOS 30667 HAS SOPS 30667 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17011.667
AT ITER 6423 NEW BEST:: SOT 86345 SOS 30656 HAS SOPS 30656 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 17000.656
AT ITER 6429 NEW BEST:: SOT 86314 SOS 30625 HAS SOPS 30625 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16973.625
AT ITER 6430 NEW BEST:: SOT 86296 SOS 30589 HAS SOPS 30589 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16937.589
AT ITER 6435 NEW BEST:: SOT 86289 SOS 30581 HAS SOPS 30581 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16929.581
AT ITER 6469 NEW BEST:: SOT 86261 SOS 30525 HAS SOPS 30525 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16929.525
AT ITER 6470 NEW BEST:: SOT 86255 SOS 30513 HAS SOPS 30513 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16920.513
AT ITER 6492 NEW BEST:: SOT 86253 SOS 30511 HAS SOPS 30511 HAS SOUS 16888 HAS SOUPS 16888 WITH SCORE 16918.511
AT ITER 6493 NEW BEST:: SOT 86253 SOS 30510 HAS SOPS 30510 HAS SOUS 16888 HAS SOUPS 16888 WITH SCORE 16918.51
AT ITER 6522 NEW BEST:: SOT 86242 SOS 30488 HAS SOPS 30488 HAS SOUS 16877 HAS SOUPS 16877 WITH SCORE 16907.488
AT ITER 6524 NEW BEST:: SOT 86241 SOS 30486 HAS SOPS 30486 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16906.486
AT ITER 6533 NEW BEST:: SOT 86241 SOS 30466 HAS SOPS 30466 HAS SOUS 16876 HAS SOUPS 16876 WITH SCORE 16906.466
AT ITER 6539 NEW BEST:: SOT 86231 SOS 30419 HAS SOPS 30419 HAS SOUS 16866 HAS SOUPS 16866 WITH SCORE 16896.419
AT ITER 6570 NEW BEST:: SOT 86227 SOS 30421 HAS SOPS 30421 HAS SOUS 16862 HAS SOUPS 16862 WITH SCORE 16892.421
AT ITER 6589 NEW BEST:: SOT 86227 SOS 30416 HAS SOPS 30416 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16887.416
AT ITER 6592 NEW BEST:: SOT 86221 SOS 30432 HAS SOPS 30432 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16875.432
AT ITER 6609 NEW BEST:: SOT 86219 SOS 30427 HAS SOPS 30427 HAS SOUS 16840 HAS SOUPS 16840 WITH SCORE 16870.427
AT ITER 6626 NEW BEST:: SOT 86216 SOS 30400 HAS SOPS 30400 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16843.4
AT ITER 6653 NEW BEST:: SOT 86209 SOS 30386 HAS SOPS 30386 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16813.386
AT ITER 6670 NEW BEST:: SOT 86199 SOS 30364 HAS SOPS 30364 HAS SOUS 16763 HAS SOUPS 16763 WITH SCORE 16793.364
AT ITER 6680 NEW BEST:: SOT 86156 SOS 30317 HAS SOPS 30317 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16754.317
AT ITER 6682 NEW BEST:: SOT 86177 SOS 30290 HAS SOPS 30290 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16737.29
AT ITER 6686 NEW BEST:: SOT 86168 SOS 30193 HAS SOPS 30193 HAS SOUS 16689 HAS SOUPS 16689 WITH SCORE 16719.193
AT ITER 6725 NEW BEST:: SOT 86148 SOS 30145 HAS SOPS 30145 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16684.145
AT ITER 6749 NEW BEST:: SOT 86147 SOS 30144 HAS SOPS 30144 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16683.144
AT ITER 6767 NEW BEST:: SOT 86150 SOS 30136 HAS SOPS 30136 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16683.136
AT ITER 6791 NEW BEST:: SOT 86156 SOS 30118 HAS SOPS 30118 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16644.118
AT ITER 6807 NEW BEST:: SOT 86158 SOS 30116 HAS SOPS 30116 HAS SOUS 16612 HAS SOUPS 16612 WITH SCORE 16642.116
AT ITER 6835 NEW BEST:: SOT 86158 SOS 30111 HAS SOPS 30111 HAS SOUS 16612 HAS SOUPS 16612 WITH SCORE 16642.111
AT ITER 6911 NEW BEST:: SOT 86136 SOS 30067 HAS SOPS 30067 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16598.067
AT ITER 6960 NEW BEST:: SOT 86135 SOS 30065 HAS SOPS 30065 HAS SOUS 16562 HAS SOUPS 16562 WITH SCORE 16592.065
AT ITER 6992 NEW BEST:: SOT 86134 SOS 30064 HAS SOPS 30064 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16591.064
AT ITER 7061 NEW BEST:: SOT 86121 SOS 30052 HAS SOPS 30052 HAS SOUS 16544 HAS SOUPS 16544 WITH SCORE 16574.052
AT ITER 7067 NEW BEST:: SOT 86105 SOS 30020 HAS SOPS 30020 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16558.02
AT ITER 7068 NEW BEST:: SOT 86105 SOS 29998 HAS SOPS 29998 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16521.998
AT ITER 7074 NEW BEST:: SOT 86095 SOS 29983 HAS SOPS 29983 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16506.983
AT ITER 7082 NEW BEST:: SOT 86114 SOS 29954 HAS SOPS 29954 HAS SOUS 16429 HAS SOUPS 16429 WITH SCORE 16458.954
AT ITER 7091 NEW BEST:: SOT 86114 SOS 29951 HAS SOPS 29951 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16455.951
AT ITER 7110 NEW BEST:: SOT 86089 SOS 29901 HAS SOPS 29901 HAS SOUS 16383 HAS SOUPS 16383 WITH SCORE 16412.901
AT ITER 7129 NEW BEST:: SOT 86088 SOS 29865 HAS SOPS 29865 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16407.865
AT ITER 7156 NEW BEST:: SOT 86086 SOS 29861 HAS SOPS 29861 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16405.861
AT ITER 7164 NEW BEST:: SOT 86065 SOS 29840 HAS SOPS 29840 HAS SOUS 16355 HAS SOUPS 16355 WITH SCORE 16384.84
AT ITER 7178 NEW BEST:: SOT 86056 SOS 29838 HAS SOPS 29838 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16373.838
AT ITER 7231 NEW BEST:: SOT 86016 SOS 29798 HAS SOPS 29798 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16342.798
AT ITER 7264 NEW BEST:: SOT 86006 SOS 29772 HAS SOPS 29772 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16316.772
AT ITER 7342 NEW BEST:: SOT 86006 SOS 29759 HAS SOPS 29759 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16316.759
AT ITER 7359 NEW BEST:: SOT 86017 SOS 29770 HAS SOPS 29770 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16310.77
AT ITER 7368 NEW BEST:: SOT 85982 SOS 29700 HAS SOPS 29700 HAS SOUS 16211 HAS SOUPS 16211 WITH SCORE 16240.7
AT ITER 7378 NEW BEST:: SOT 85975 SOS 29670 HAS SOPS 29670 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16233.67
AT ITER 7385 NEW BEST:: SOT 85967 SOS 29473 HAS SOPS 29473 HAS SOUS 16198 HAS SOUPS 16198 WITH SCORE 16227.473
AT ITER 7397 NEW BEST:: SOT 85910 SOS 29416 HAS SOPS 29416 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16192.416
AT ITER 7405 NEW BEST:: SOT 85910 SOS 29417 HAS SOPS 29417 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16176.417
AT ITER 7429 NEW BEST:: SOT 85903 SOS 29410 HAS SOPS 29410 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16162.41
AT ITER 7440 NEW BEST:: SOT 85903 SOS 29398 HAS SOPS 29398 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16162.398
AT ITER 7450 NEW BEST:: SOT 85903 SOS 29329 HAS SOPS 29329 HAS SOUS 16133 HAS SOUPS 16133 WITH SCORE 16162.329
AT ITER 7482 NEW BEST:: SOT 85871 SOS 29265 HAS SOPS 29265 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16125.265
AT ITER 7488 NEW BEST:: SOT 85867 SOS 29261 HAS SOPS 29261 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16121.261
AT ITER 7585 NEW BEST:: SOT 85824 SOS 29236 HAS SOPS 29236 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16017.236
AT ITER 7596 NEW BEST:: SOT 85824 SOS 29209 HAS SOPS 29209 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16017.209
AT ITER 7597 NEW BEST:: SOT 85815 SOS 29200 HAS SOPS 29200 HAS SOUS 15970 HAS SOUPS 15970 WITH SCORE 15999.2
AT ITER 7623 NEW BEST:: SOT 85812 SOS 29192 HAS SOPS 29192 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 15993.192
AT ITER 7654 NEW BEST:: SOT 85807 SOS 29186 HAS SOPS 29186 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15987.186
AT ITER 7663 NEW BEST:: SOT 85802 SOS 29181 HAS SOPS 29181 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15987.181
AT ITER 7682 NEW BEST:: SOT 85798 SOS 29172 HAS SOPS 29172 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15978.172
AT ITER 7718 NEW BEST:: SOT 85799 SOS 29171 HAS SOPS 29171 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15974.171
AT ITER 7804 NEW BEST:: SOT 85794 SOS 29166 HAS SOPS 29166 HAS SOUS 15942 HAS SOUPS 15942 WITH SCORE 15971.166
AT ITER 7815 NEW BEST:: SOT 85786 SOS 29150 HAS SOPS 29150 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15963.15
AT ITER 7829 NEW BEST:: SOT 85785 SOS 29145 HAS SOPS 29145 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 15958.145
AT ITER 7836 NEW BEST:: SOT 85788 SOS 29150 HAS SOPS 29150 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15952.15
AT ITER 7902 NEW BEST:: SOT 85775 SOS 29167 HAS SOPS 29167 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15948.167
AT ITER 7914 NEW BEST:: SOT 85775 SOS 29158 HAS SOPS 29158 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15948.158
AT ITER 7944 NEW BEST:: SOT 85766 SOS 29140 HAS SOPS 29140 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15900.14
AT ITER 7946 NEW BEST:: SOT 85768 SOS 29139 HAS SOPS 29139 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15900.139
AT ITER 7960 NEW BEST:: SOT 85768 SOS 29139 HAS SOPS 29139 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15888.139
AT ITER 7961 NEW BEST:: SOT 85768 SOS 29112 HAS SOPS 29112 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15861.112
AT ITER 7979 NEW BEST:: SOT 85768 SOS 29081 HAS SOPS 29081 HAS SOUS 15801 HAS SOUPS 15801 WITH SCORE 15830.081
AT ITER 7980 NEW BEST:: SOT 85765 SOS 29078 HAS SOPS 29078 HAS SOUS 15795 HAS SOUPS 15795 WITH SCORE 15824.078
AT ITER 7986 NEW BEST:: SOT 85760 SOS 29060 HAS SOPS 29060 HAS SOUS 15786 HAS SOUPS 15786 WITH SCORE 15815.06
AT ITER 7990 NEW BEST:: SOT 85756 SOS 29052 HAS SOPS 29052 HAS SOUS 15775 HAS SOUPS 15775 WITH SCORE 15804.052
AT ITER 8053 NEW BEST:: SOT 85756 SOS 29026 HAS SOPS 29026 HAS SOUS 15775 HAS SOUPS 15775 WITH SCORE 15804.026
AT ITER 8079 NEW BEST:: SOT 85751 SOS 29020 HAS SOPS 29020 HAS SOUS 15769 HAS SOUPS 15769 WITH SCORE 15798.02
AT ITER 8080 NEW BEST:: SOT 85750 SOS 29018 HAS SOPS 29018 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15796.018
AT ITER 8098 NEW BEST:: SOT 85727 SOS 28971 HAS SOPS 28971 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15750.971
AT ITER 8127 NEW BEST:: SOT 85734 SOS 28971 HAS SOPS 28971 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15736.971
AT ITER 8134 NEW BEST:: SOT 85731 SOS 28968 HAS SOPS 28968 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15733.968
AT ITER 8140 NEW BEST:: SOT 85696 SOS 28933 HAS SOPS 28933 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15718.933
AT ITER 8153 NEW BEST:: SOT 85693 SOS 28930 HAS SOPS 28930 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15712.93
AT ITER 8182 NEW BEST:: SOT 85687 SOS 28918 HAS SOPS 28918 HAS SOUS 15640 HAS SOUPS 15640 WITH SCORE 15668.918
AT ITER 8205 NEW BEST:: SOT 85682 SOS 28909 HAS SOPS 28909 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15659.909
AT ITER 8240 NEW BEST:: SOT 85681 SOS 28915 HAS SOPS 28915 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15657.915
AT ITER 8308 NEW BEST:: SOT 85681 SOS 28907 HAS SOPS 28907 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15649.907
AT ITER 8313 NEW BEST:: SOT 85680 SOS 28905 HAS SOPS 28905 HAS SOUS 15619 HAS SOUPS 15619 WITH SCORE 15647.905
AT ITER 8329 NEW BEST:: SOT 85668 SOS 28881 HAS SOPS 28881 HAS SOUS 15607 HAS SOUPS 15607 WITH SCORE 15635.881
AT ITER 8336 NEW BEST:: SOT 85664 SOS 28877 HAS SOPS 28877 HAS SOUS 15603 HAS SOUPS 15603 WITH SCORE 15631.877
AT ITER 8425 NEW BEST:: SOT 85660 SOS 28878 HAS SOPS 28878 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15623.878
AT ITER 8463 NEW BEST:: SOT 85658 SOS 28874 HAS SOPS 28874 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15621.874
AT ITER 8467 NEW BEST:: SOT 85634 SOS 28839 HAS SOPS 28839 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15621.839
AT ITER 8485 NEW BEST:: SOT 85633 SOS 28837 HAS SOPS 28837 HAS SOUS 15591 HAS SOUPS 15591 WITH SCORE 15619.837
AT ITER 8504 NEW BEST:: SOT 85633 SOS 28832 HAS SOPS 28832 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15614.832
AT ITER 8512 NEW BEST:: SOT 85616 SOS 28808 HAS SOPS 28808 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15587.808
AT ITER 8525 NEW BEST:: SOT 85614 SOS 28804 HAS SOPS 28804 HAS SOUS 15529 HAS SOUPS 15529 WITH SCORE 15557.804
AT ITER 8542 NEW BEST:: SOT 85598 SOS 28793 HAS SOPS 28793 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15546.793
AT ITER 8662 NEW BEST:: SOT 85587 SOS 28771 HAS SOPS 28771 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15524.771
AT ITER 8687 NEW BEST:: SOT 85588 SOS 28770 HAS SOPS 28770 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15523.77
AT ITER 8688 NEW BEST:: SOT 85588 SOS 28753 HAS SOPS 28753 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15523.753
AT ITER 8689 NEW BEST:: SOT 85545 SOS 28709 HAS SOPS 28709 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15457.709
AT ITER 8744 NEW BEST:: SOT 85545 SOS 28743 HAS SOPS 28743 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15441.743
AT ITER 8760 NEW BEST:: SOT 85545 SOS 28730 HAS SOPS 28730 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15441.73
AT ITER 8764 NEW BEST:: SOT 85542 SOS 28743 HAS SOPS 28743 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15435.743
AT ITER 8824 NEW BEST:: SOT 85538 SOS 28721 HAS SOPS 28721 HAS SOUS 15394 HAS SOUPS 15394 WITH SCORE 15422.721
AT ITER 8827 NEW BEST:: SOT 85539 SOS 28722 HAS SOPS 28722 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15421.722
AT ITER 8851 NEW BEST:: SOT 85509 SOS 28717 HAS SOPS 28717 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15416.717
AT ITER 8854 NEW BEST:: SOT 85510 SOS 28718 HAS SOPS 28718 HAS SOUS 15386 HAS SOUPS 15386 WITH SCORE 15414.718
AT ITER 8886 NEW BEST:: SOT 85509 SOS 28716 HAS SOPS 28716 HAS SOUS 15384 HAS SOUPS 15384 WITH SCORE 15412.716
AT ITER 8932 NEW BEST:: SOT 85501 SOS 28700 HAS SOPS 28700 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15391.7
AT ITER 8949 NEW BEST:: SOT 85501 SOS 28700 HAS SOPS 28700 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15374.7
AT ITER 9018 NEW BEST:: SOT 85496 SOS 28694 HAS SOPS 28694 HAS SOUS 15340 HAS SOUPS 15340 WITH SCORE 15368.694
AT ITER 9069 NEW BEST:: SOT 85489 SOS 28680 HAS SOPS 28680 HAS SOUS 15331 HAS SOUPS 15331 WITH SCORE 15359.68
AT ITER 9094 NEW BEST:: SOT 85466 SOS 28666 HAS SOPS 28666 HAS SOUS 15285 HAS SOUPS 15285 WITH SCORE 15313.666
AT ITER 9098 NEW BEST:: SOT 85464 SOS 28695 HAS SOPS 28695 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15311.695
AT ITER 9110 NEW BEST:: SOT 85452 SOS 28671 HAS SOPS 28671 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15288.671
AT ITER 9187 NEW BEST:: SOT 85429 SOS 28666 HAS SOPS 28666 HAS SOUS 15214 HAS SOUPS 15214 WITH SCORE 15242.666
AT ITER 9221 NEW BEST:: SOT 85414 SOS 28741 HAS SOPS 28741 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15212.741
AT ITER 9229 NEW BEST:: SOT 85350 SOS 28624 HAS SOPS 28624 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15184.624
AT ITER 9275 NEW BEST:: SOT 85344 SOS 28612 HAS SOPS 28612 HAS SOUS 15150 HAS SOUPS 15150 WITH SCORE 15178.612
AT ITER 9329 NEW BEST:: SOT 85339 SOS 28612 HAS SOPS 28612 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15173.612
AT ITER 9500 NEW BEST:: SOT 85326 SOS 28608 HAS SOPS 28608 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15147.608
AT ITER 9530 NEW BEST:: SOT 85323 SOS 28607 HAS SOPS 28607 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15146.607
AT ITER 9562 NEW BEST:: SOT 85317 SOS 28591 HAS SOPS 28591 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15134.591
AT ITER 9609 NEW BEST:: SOT 85310 SOS 28584 HAS SOPS 28584 HAS SOUS 15092 HAS SOUPS 15092 WITH SCORE 15120.584
AT ITER 9624 NEW BEST:: SOT 85308 SOS 28596 HAS SOPS 28596 HAS SOUS 15088 HAS SOUPS 15088 WITH SCORE 15116.596
AT ITER 9641 NEW BEST:: SOT 85259 SOS 28531 HAS SOPS 28531 HAS SOUS 15035 HAS SOUPS 15035 WITH SCORE 15063.531
AT ITER 9670 NEW BEST:: SOT 85258 SOS 28529 HAS SOPS 28529 HAS SOUS 15034 HAS SOUPS 15034 WITH SCORE 15062.529
AT ITER 9702 NEW BEST:: SOT 85255 SOS 28526 HAS SOPS 28526 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15059.526
AT ITER 9750 NEW BEST:: SOT 85239 SOS 28490 HAS SOPS 28490 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15027.49
AT ITER 9835 NEW BEST:: SOT 85239 SOS 28482 HAS SOPS 28482 HAS SOUS 14991 HAS SOUPS 14991 WITH SCORE 15019.482
AT ITER 9910 NEW BEST:: SOT 85235 SOS 28484 HAS SOPS 28484 HAS SOUS 14990 HAS SOUPS 14990 WITH SCORE 15018.484
AT ITER 9913 NEW BEST:: SOT 85231 SOS 28476 HAS SOPS 28476 HAS SOUS 14986 HAS SOUPS 14986 WITH SCORE 15014.476
AT ITER 9962 NEW BEST:: SOT 85217 SOS 28393 HAS SOPS 28393 HAS SOUS 14958 HAS SOUPS 14958 WITH SCORE 14986.393
AT ITER 9968 NEW BEST:: SOT 85215 SOS 28394 HAS SOPS 28394 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14981.394
AT ITER 9998 NEW BEST:: SOT 85246 SOS 28418 HAS SOPS 28418 HAS SOUS 14946 HAS SOUPS 14946 WITH SCORE 14974.418
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 5197040 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151008 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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-13b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-13b, 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 r131-smll-167819407600408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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