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.r003-oct2-167813590300040.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590300040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 896K
-rw-r--r-- 1 mcc users 6.4K Feb 26 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 13:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 13:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 108K Feb 26 13:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 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 417K 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 1678469049370

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=ASLink-PT-02b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02b
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: 1242 places, 1621 transitions, 5041 arcs.
AT ITER 0 NEW BEST:: SOT 1196856 SOS 402698 HAS SOPS 402698 HAS SOUS 312631 HAS SOUPS 312631 WITH SCORE 313033.698
AT ITER 1 NEW BEST:: SOT 1196847 SOS 402698 HAS SOPS 402698 HAS SOUS 312604 HAS SOUPS 312604 WITH SCORE 313006.698
AT ITER 8 NEW BEST:: SOT 1196302 SOS 402476 HAS SOPS 402476 HAS SOUS 312199 HAS SOUPS 312199 WITH SCORE 312601.476
AT ITER 19 NEW BEST:: SOT 1196016 SOS 402420 HAS SOPS 402420 HAS SOUS 312143 HAS SOUPS 312143 WITH SCORE 312545.42
AT ITER 30 NEW BEST:: SOT 1194394 SOS 402058 HAS SOPS 402058 HAS SOUS 310815 HAS SOUPS 310815 WITH SCORE 311217.058
AT ITER 35 NEW BEST:: SOT 1194394 SOS 402026 HAS SOPS 402026 HAS SOUS 310814 HAS SOUPS 310814 WITH SCORE 311216.026
AT ITER 38 NEW BEST:: SOT 1194372 SOS 401679 HAS SOPS 401679 HAS SOUS 310578 HAS SOUPS 310578 WITH SCORE 310979.679
AT ITER 45 NEW BEST:: SOT 1194372 SOS 401632 HAS SOPS 401632 HAS SOUS 310512 HAS SOUPS 310512 WITH SCORE 310913.632
AT ITER 50 NEW BEST:: SOT 1194328 SOS 401544 HAS SOPS 401544 HAS SOUS 310424 HAS SOUPS 310424 WITH SCORE 310825.544
AT ITER 56 NEW BEST:: SOT 1194327 SOS 401542 HAS SOPS 401542 HAS SOUS 310422 HAS SOUPS 310422 WITH SCORE 310823.542
AT ITER 59 NEW BEST:: SOT 1194327 SOS 401387 HAS SOPS 401387 HAS SOUS 310421 HAS SOUPS 310421 WITH SCORE 310822.387
AT ITER 84 NEW BEST:: SOT 1194327 SOS 401339 HAS SOPS 401339 HAS SOUS 310421 HAS SOUPS 310421 WITH SCORE 310822.339
AT ITER 90 NEW BEST:: SOT 1194259 SOS 401356 HAS SOPS 401356 HAS SOUS 310372 HAS SOUPS 310372 WITH SCORE 310773.356
AT ITER 93 NEW BEST:: SOT 1194187 SOS 401284 HAS SOPS 401284 HAS SOUS 310292 HAS SOUPS 310292 WITH SCORE 310693.284
AT ITER 96 NEW BEST:: SOT 1194095 SOS 401100 HAS SOPS 401100 HAS SOUS 310107 HAS SOUPS 310107 WITH SCORE 310508.1
AT ITER 104 NEW BEST:: SOT 1194095 SOS 400812 HAS SOPS 400812 HAS SOUS 309962 HAS SOUPS 309962 WITH SCORE 310362.812
AT ITER 110 NEW BEST:: SOT 1194095 SOS 400700 HAS SOPS 400700 HAS SOUS 309960 HAS SOUPS 309960 WITH SCORE 310360.7
AT ITER 119 NEW BEST:: SOT 1193924 SOS 400566 HAS SOPS 400566 HAS SOUS 309571 HAS SOUPS 309571 WITH SCORE 309971.566
AT ITER 120 NEW BEST:: SOT 1192636 SOS 399907 HAS SOPS 399907 HAS SOUS 308268 HAS SOUPS 308268 WITH SCORE 308667.907
AT ITER 138 NEW BEST:: SOT 1192636 SOS 399907 HAS SOPS 399907 HAS SOUS 308166 HAS SOUPS 308166 WITH SCORE 308565.907
AT ITER 139 NEW BEST:: SOT 1192548 SOS 399824 HAS SOPS 399824 HAS SOUS 308071 HAS SOUPS 308071 WITH SCORE 308470.824
AT ITER 157 NEW BEST:: SOT 1192331 SOS 399121 HAS SOPS 399121 HAS SOUS 307644 HAS SOUPS 307644 WITH SCORE 308043.121
AT ITER 165 NEW BEST:: SOT 1192330 SOS 399119 HAS SOPS 399119 HAS SOUS 307642 HAS SOUPS 307642 WITH SCORE 308041.119
AT ITER 182 NEW BEST:: SOT 1192330 SOS 399012 HAS SOPS 399012 HAS SOUS 307642 HAS SOUPS 307642 WITH SCORE 308041.012
AT ITER 183 NEW BEST:: SOT 1192156 SOS 398729 HAS SOPS 398729 HAS SOUS 307467 HAS SOUPS 307467 WITH SCORE 307865.729
AT ITER 185 NEW BEST:: SOT 1191692 SOS 398812 HAS SOPS 398812 HAS SOUS 307332 HAS SOUPS 307332 WITH SCORE 307730.812
AT ITER 187 NEW BEST:: SOT 1191590 SOS 398744 HAS SOPS 398744 HAS SOUS 307264 HAS SOUPS 307264 WITH SCORE 307662.744
AT ITER 196 NEW BEST:: SOT 1191540 SOS 398693 HAS SOPS 398693 HAS SOUS 307213 HAS SOUPS 307213 WITH SCORE 307611.693
AT ITER 200 NEW BEST:: SOT 1191494 SOS 398601 HAS SOPS 398601 HAS SOUS 307167 HAS SOUPS 307167 WITH SCORE 307565.601
AT ITER 203 NEW BEST:: SOT 1191364 SOS 398295 HAS SOPS 398295 HAS SOUS 307013 HAS SOUPS 307013 WITH SCORE 307411.295
AT ITER 221 NEW BEST:: SOT 1190523 SOS 397387 HAS SOPS 397387 HAS SOUS 306105 HAS SOUPS 306105 WITH SCORE 306502.387
AT ITER 222 NEW BEST:: SOT 1189676 SOS 397453 HAS SOPS 397453 HAS SOUS 305258 HAS SOUPS 305258 WITH SCORE 305655.453
AT ITER 224 NEW BEST:: SOT 1189442 SOS 397219 HAS SOPS 397219 HAS SOUS 305024 HAS SOUPS 305024 WITH SCORE 305421.219
AT ITER 228 NEW BEST:: SOT 1188014 SOS 395980 HAS SOPS 395980 HAS SOUS 303834 HAS SOUPS 303834 WITH SCORE 304229.98
AT ITER 233 NEW BEST:: SOT 1188014 SOS 396041 HAS SOPS 396041 HAS SOUS 303833 HAS SOUPS 303833 WITH SCORE 304229.041
AT ITER 240 NEW BEST:: SOT 1188014 SOS 396037 HAS SOPS 396037 HAS SOUS 303829 HAS SOUPS 303829 WITH SCORE 304225.037
AT ITER 244 NEW BEST:: SOT 1187993 SOS 396016 HAS SOPS 396016 HAS SOUS 303808 HAS SOUPS 303808 WITH SCORE 304204.016
AT ITER 254 NEW BEST:: SOT 1187839 SOS 395696 HAS SOPS 395696 HAS SOUS 303634 HAS SOUPS 303634 WITH SCORE 304029.696
AT ITER 261 NEW BEST:: SOT 1187808 SOS 395657 HAS SOPS 395657 HAS SOUS 303602 HAS SOUPS 303602 WITH SCORE 303997.657
AT ITER 267 NEW BEST:: SOT 1187807 SOS 395655 HAS SOPS 395655 HAS SOUS 303600 HAS SOUPS 303600 WITH SCORE 303995.655
AT ITER 277 NEW BEST:: SOT 1186211 SOS 396565 HAS SOPS 396565 HAS SOUS 302340 HAS SOUPS 302340 WITH SCORE 302736.565
AT ITER 285 NEW BEST:: SOT 1185958 SOS 396589 HAS SOPS 396589 HAS SOUS 302317 HAS SOUPS 302317 WITH SCORE 302713.589
AT ITER 292 NEW BEST:: SOT 1185829 SOS 396308 HAS SOPS 396308 HAS SOUS 302036 HAS SOUPS 302036 WITH SCORE 302432.308
AT ITER 299 NEW BEST:: SOT 1184507 SOS 398051 HAS SOPS 398051 HAS SOUS 301545 HAS SOUPS 301545 WITH SCORE 301943.051
AT ITER 318 NEW BEST:: SOT 1184507 SOS 398008 HAS SOPS 398008 HAS SOUS 301544 HAS SOUPS 301544 WITH SCORE 301942.008
AT ITER 327 NEW BEST:: SOT 1184454 SOS 397625 HAS SOPS 397625 HAS SOUS 301497 HAS SOUPS 301497 WITH SCORE 301894.625
AT ITER 341 NEW BEST:: SOT 1184439 SOS 397614 HAS SOPS 397614 HAS SOUS 301438 HAS SOUPS 301438 WITH SCORE 301835.614
AT ITER 347 NEW BEST:: SOT 1184427 SOS 397602 HAS SOPS 397602 HAS SOUS 301426 HAS SOUPS 301426 WITH SCORE 301823.602
AT ITER 381 NEW BEST:: SOT 1184427 SOS 397589 HAS SOPS 397589 HAS SOUS 301417 HAS SOUPS 301417 WITH SCORE 301814.589
AT ITER 384 NEW BEST:: SOT 1184381 SOS 397496 HAS SOPS 397496 HAS SOUS 301324 HAS SOUPS 301324 WITH SCORE 301721.496
AT ITER 395 NEW BEST:: SOT 1184146 SOS 397311 HAS SOPS 397311 HAS SOUS 301139 HAS SOUPS 301139 WITH SCORE 301536.311
AT ITER 405 NEW BEST:: SOT 1184083 SOS 397242 HAS SOPS 397242 HAS SOUS 301076 HAS SOUPS 301076 WITH SCORE 301473.242
AT ITER 413 NEW BEST:: SOT 1183898 SOS 396966 HAS SOPS 396966 HAS SOUS 300800 HAS SOUPS 300800 WITH SCORE 301196.966
AT ITER 428 NEW BEST:: SOT 1183561 SOS 396615 HAS SOPS 396615 HAS SOUS 300449 HAS SOUPS 300449 WITH SCORE 300845.615
AT ITER 430 NEW BEST:: SOT 1183320 SOS 396373 HAS SOPS 396373 HAS SOUS 300207 HAS SOUPS 300207 WITH SCORE 300603.373
AT ITER 443 NEW BEST:: SOT 1183320 SOS 396242 HAS SOPS 396242 HAS SOUS 300205 HAS SOUPS 300205 WITH SCORE 300601.242
AT ITER 445 NEW BEST:: SOT 1183320 SOS 396208 HAS SOPS 396208 HAS SOUS 300178 HAS SOUPS 300178 WITH SCORE 300574.208
AT ITER 457 NEW BEST:: SOT 1183320 SOS 396208 HAS SOPS 396208 HAS SOUS 298925 HAS SOUPS 298925 WITH SCORE 299321.208
AT ITER 462 NEW BEST:: SOT 1183215 SOS 395830 HAS SOPS 395830 HAS SOUS 298715 HAS SOUPS 298715 WITH SCORE 299110.83
AT ITER 472 NEW BEST:: SOT 1183084 SOS 395699 HAS SOPS 395699 HAS SOUS 298582 HAS SOUPS 298582 WITH SCORE 298977.699
AT ITER 489 NEW BEST:: SOT 1183081 SOS 395693 HAS SOPS 395693 HAS SOUS 298575 HAS SOUPS 298575 WITH SCORE 298970.693
AT ITER 490 NEW BEST:: SOT 1183035 SOS 395555 HAS SOPS 395555 HAS SOUS 298483 HAS SOUPS 298483 WITH SCORE 298878.555
AT ITER 493 NEW BEST:: SOT 1183035 SOS 395511 HAS SOPS 395511 HAS SOUS 298439 HAS SOUPS 298439 WITH SCORE 298834.511
AT ITER 524 NEW BEST:: SOT 1182914 SOS 395269 HAS SOPS 395269 HAS SOUS 298197 HAS SOUPS 298197 WITH SCORE 298592.269
AT ITER 536 NEW BEST:: SOT 1182914 SOS 395264 HAS SOPS 395264 HAS SOUS 298192 HAS SOUPS 298192 WITH SCORE 298587.264
AT ITER 550 NEW BEST:: SOT 1182896 SOS 395228 HAS SOPS 395228 HAS SOUS 298138 HAS SOUPS 298138 WITH SCORE 298533.228
AT ITER 554 NEW BEST:: SOT 1182682 SOS 394907 HAS SOPS 394907 HAS SOUS 297918 HAS SOUPS 297918 WITH SCORE 298312.907
AT ITER 558 NEW BEST:: SOT 1182680 SOS 394903 HAS SOPS 394903 HAS SOUS 297916 HAS SOUPS 297916 WITH SCORE 298310.903
AT ITER 561 NEW BEST:: SOT 1182420 SOS 394367 HAS SOPS 394367 HAS SOUS 297387 HAS SOUPS 297387 WITH SCORE 297781.367
AT ITER 573 NEW BEST:: SOT 1181950 SOS 393897 HAS SOPS 393897 HAS SOUS 295237 HAS SOUPS 295237 WITH SCORE 295630.897
AT ITER 578 NEW BEST:: SOT 1181912 SOS 393678 HAS SOPS 393678 HAS SOUS 295198 HAS SOUPS 295198 WITH SCORE 295591.678
AT ITER 583 NEW BEST:: SOT 1181796 SOS 393446 HAS SOPS 393446 HAS SOUS 294966 HAS SOUPS 294966 WITH SCORE 295359.446
AT ITER 584 NEW BEST:: SOT 1181648 SOS 393297 HAS SOPS 393297 HAS SOUS 294817 HAS SOUPS 294817 WITH SCORE 295210.297
AT ITER 592 NEW BEST:: SOT 1181420 SOS 392719 HAS SOPS 392719 HAS SOUS 293666 HAS SOUPS 293666 WITH SCORE 294058.719
AT ITER 604 NEW BEST:: SOT 1181361 SOS 392660 HAS SOPS 392660 HAS SOUS 293605 HAS SOUPS 293605 WITH SCORE 293997.66
AT ITER 608 NEW BEST:: SOT 1181361 SOS 392660 HAS SOPS 392660 HAS SOUS 293604 HAS SOUPS 293604 WITH SCORE 293996.66
AT ITER 616 NEW BEST:: SOT 1181064 SOS 392420 HAS SOPS 392420 HAS SOUS 293391 HAS SOUPS 293391 WITH SCORE 293783.42
AT ITER 619 NEW BEST:: SOT 1182975 SOS 394361 HAS SOPS 394361 HAS SOUS 291333 HAS SOUPS 291333 WITH SCORE 291727.361
AT ITER 631 NEW BEST:: SOT 1182302 SOS 396051 HAS SOPS 396051 HAS SOUS 291217 HAS SOUPS 291217 WITH SCORE 291613.051
AT ITER 633 NEW BEST:: SOT 1182211 SOS 395869 HAS SOPS 395869 HAS SOUS 291035 HAS SOUPS 291035 WITH SCORE 291430.869
AT ITER 637 NEW BEST:: SOT 1182211 SOS 395681 HAS SOPS 395681 HAS SOUS 290847 HAS SOUPS 290847 WITH SCORE 291242.681
AT ITER 659 NEW BEST:: SOT 1181899 SOS 395961 HAS SOPS 395961 HAS SOUS 290637 HAS SOUPS 290637 WITH SCORE 291032.961
AT ITER 662 NEW BEST:: SOT 1181899 SOS 395957 HAS SOPS 395957 HAS SOUS 290592 HAS SOUPS 290592 WITH SCORE 290987.957
AT ITER 676 NEW BEST:: SOT 1181803 SOS 395861 HAS SOPS 395861 HAS SOUS 290484 HAS SOUPS 290484 WITH SCORE 290879.861
AT ITER 677 NEW BEST:: SOT 1181803 SOS 395603 HAS SOPS 395603 HAS SOUS 290435 HAS SOUPS 290435 WITH SCORE 290830.603
AT ITER 682 NEW BEST:: SOT 1181630 SOS 395434 HAS SOPS 395434 HAS SOUS 290266 HAS SOUPS 290266 WITH SCORE 290661.434
AT ITER 689 NEW BEST:: SOT 1181583 SOS 395590 HAS SOPS 395590 HAS SOUS 290219 HAS SOUPS 290219 WITH SCORE 290614.59
AT ITER 690 NEW BEST:: SOT 1180058 SOS 395696 HAS SOPS 395696 HAS SOUS 289057 HAS SOUPS 289057 WITH SCORE 289452.696
AT ITER 697 NEW BEST:: SOT 1180033 SOS 395631 HAS SOPS 395631 HAS SOUS 289027 HAS SOUPS 289027 WITH SCORE 289422.631
AT ITER 698 NEW BEST:: SOT 1179938 SOS 395867 HAS SOPS 395867 HAS SOUS 288837 HAS SOUPS 288837 WITH SCORE 289232.867
AT ITER 705 NEW BEST:: SOT 1179985 SOS 395832 HAS SOPS 395832 HAS SOUS 288710 HAS SOUPS 288710 WITH SCORE 289105.832
AT ITER 706 NEW BEST:: SOT 1179971 SOS 395771 HAS SOPS 395771 HAS SOUS 288649 HAS SOUPS 288649 WITH SCORE 289044.771
AT ITER 714 NEW BEST:: SOT 1179780 SOS 395774 HAS SOPS 395774 HAS SOUS 288536 HAS SOUPS 288536 WITH SCORE 288931.774
AT ITER 722 NEW BEST:: SOT 1179599 SOS 395592 HAS SOPS 395592 HAS SOUS 288353 HAS SOUPS 288353 WITH SCORE 288748.592
AT ITER 741 NEW BEST:: SOT 1179582 SOS 395572 HAS SOPS 395572 HAS SOUS 288333 HAS SOUPS 288333 WITH SCORE 288728.572
AT ITER 747 NEW BEST:: SOT 1179581 SOS 395570 HAS SOPS 395570 HAS SOUS 288331 HAS SOUPS 288331 WITH SCORE 288726.57
AT ITER 749 NEW BEST:: SOT 1179278 SOS 395230 HAS SOPS 395230 HAS SOUS 287847 HAS SOUPS 287847 WITH SCORE 288242.23
AT ITER 750 NEW BEST:: SOT 1179334 SOS 394999 HAS SOPS 394999 HAS SOUS 287616 HAS SOUPS 287616 WITH SCORE 288010.999
AT ITER 754 NEW BEST:: SOT 1179177 SOS 394924 HAS SOPS 394924 HAS SOUS 287541 HAS SOUPS 287541 WITH SCORE 287935.924
AT ITER 756 NEW BEST:: SOT 1179142 SOS 394784 HAS SOPS 394784 HAS SOUS 287506 HAS SOUPS 287506 WITH SCORE 287900.784
AT ITER 759 NEW BEST:: SOT 1179142 SOS 394783 HAS SOPS 394783 HAS SOUS 287505 HAS SOUPS 287505 WITH SCORE 287899.783
AT ITER 785 NEW BEST:: SOT 1179142 SOS 394711 HAS SOPS 394711 HAS SOUS 287433 HAS SOUPS 287433 WITH SCORE 287827.711
AT ITER 804 NEW BEST:: SOT 1178972 SOS 394592 HAS SOPS 394592 HAS SOUS 287314 HAS SOUPS 287314 WITH SCORE 287708.592
AT ITER 806 NEW BEST:: SOT 1178636 SOS 394614 HAS SOPS 394614 HAS SOUS 287159 HAS SOUPS 287159 WITH SCORE 287553.614
AT ITER 811 NEW BEST:: SOT 1178636 SOS 394610 HAS SOPS 394610 HAS SOUS 287155 HAS SOUPS 287155 WITH SCORE 287549.61
AT ITER 817 NEW BEST:: SOT 1178356 SOS 394283 HAS SOPS 394283 HAS SOUS 286924 HAS SOUPS 286924 WITH SCORE 287318.283
AT ITER 820 NEW BEST:: SOT 1178185 SOS 394112 HAS SOPS 394112 HAS SOUS 286753 HAS SOUPS 286753 WITH SCORE 287147.112
AT ITER 830 NEW BEST:: SOT 1178140 SOS 394067 HAS SOPS 394067 HAS SOUS 286696 HAS SOUPS 286696 WITH SCORE 287090.067
AT ITER 831 NEW BEST:: SOT 1178140 SOS 394045 HAS SOPS 394045 HAS SOUS 286696 HAS SOUPS 286696 WITH SCORE 287090.045
AT ITER 834 NEW BEST:: SOT 1178187 SOS 394513 HAS SOPS 394513 HAS SOUS 286666 HAS SOUPS 286666 WITH SCORE 287060.513
AT ITER 837 NEW BEST:: SOT 1178156 SOS 394420 HAS SOPS 394420 HAS SOUS 286573 HAS SOUPS 286573 WITH SCORE 286967.42
AT ITER 852 NEW BEST:: SOT 1177726 SOS 393953 HAS SOPS 393953 HAS SOUS 286143 HAS SOUPS 286143 WITH SCORE 286536.953
AT ITER 901 NEW BEST:: SOT 1177674 SOS 393848 HAS SOPS 393848 HAS SOUS 286038 HAS SOUPS 286038 WITH SCORE 286431.848
AT ITER 902 NEW BEST:: SOT 1177356 SOS 393418 HAS SOPS 393418 HAS SOUS 285584 HAS SOUPS 285584 WITH SCORE 285977.418
AT ITER 906 NEW BEST:: SOT 1177018 SOS 393080 HAS SOPS 393080 HAS SOUS 285246 HAS SOUPS 285246 WITH SCORE 285639.08
AT ITER 912 NEW BEST:: SOT 1176959 SOS 392830 HAS SOPS 392830 HAS SOUS 285091 HAS SOUPS 285091 WITH SCORE 285483.83
AT ITER 919 NEW BEST:: SOT 1176951 SOS 392814 HAS SOPS 392814 HAS SOUS 285075 HAS SOUPS 285075 WITH SCORE 285467.814
AT ITER 925 NEW BEST:: SOT 1176951 SOS 392814 HAS SOPS 392814 HAS SOUS 285065 HAS SOUPS 285065 WITH SCORE 285457.814
AT ITER 943 NEW BEST:: SOT 1176951 SOS 392676 HAS SOPS 392676 HAS SOUS 284954 HAS SOUPS 284954 WITH SCORE 285346.676
AT ITER 957 NEW BEST:: SOT 1176655 SOS 390064 HAS SOPS 390064 HAS SOUS 284520 HAS SOUPS 284520 WITH SCORE 284910.064
AT ITER 975 NEW BEST:: SOT 1176655 SOS 390058 HAS SOPS 390058 HAS SOUS 284514 HAS SOUPS 284514 WITH SCORE 284904.058
AT ITER 976 NEW BEST:: SOT 1174491 SOS 387901 HAS SOPS 387901 HAS SOUS 282350 HAS SOUPS 282350 WITH SCORE 282737.901
AT ITER 984 NEW BEST:: SOT 1174570 SOS 387883 HAS SOPS 387883 HAS SOUS 282332 HAS SOUPS 282332 WITH SCORE 282719.883
AT ITER 994 NEW BEST:: SOT 1174277 SOS 387297 HAS SOPS 387297 HAS SOUS 281746 HAS SOUPS 281746 WITH SCORE 282133.297
AT ITER 1000 NEW BEST:: SOT 1174276 SOS 387295 HAS SOPS 387295 HAS SOUS 281744 HAS SOUPS 281744 WITH SCORE 282131.295
AT ITER 1004 NEW BEST:: SOT 1174240 SOS 387291 HAS SOPS 387291 HAS SOUS 281690 HAS SOUPS 281690 WITH SCORE 282077.291
AT ITER 1010 NEW BEST:: SOT 1174298 SOS 387349 HAS SOPS 387349 HAS SOUS 281646 HAS SOUPS 281646 WITH SCORE 282033.349
AT ITER 1017 NEW BEST:: SOT 1173782 SOS 386833 HAS SOPS 386833 HAS SOUS 281001 HAS SOUPS 281001 WITH SCORE 281387.833
AT ITER 1026 NEW BEST:: SOT 1173741 SOS 386751 HAS SOPS 386751 HAS SOUS 280919 HAS SOUPS 280919 WITH SCORE 281305.751
AT ITER 1036 NEW BEST:: SOT 1173134 SOS 386133 HAS SOPS 386133 HAS SOUS 280319 HAS SOUPS 280319 WITH SCORE 280705.133
AT ITER 1050 NEW BEST:: SOT 1173232 SOS 385841 HAS SOPS 385841 HAS SOUS 276172 HAS SOUPS 276172 WITH SCORE 276557.841
AT ITER 1054 NEW BEST:: SOT 1173073 SOS 385524 HAS SOPS 385524 HAS SOUS 275867 HAS SOUPS 275867 WITH SCORE 276252.524
AT ITER 1055 NEW BEST:: SOT 1172936 SOS 386471 HAS SOPS 386471 HAS SOUS 275736 HAS SOUPS 275736 WITH SCORE 276122.471
AT ITER 1062 NEW BEST:: SOT 1172936 SOS 386462 HAS SOPS 386462 HAS SOUS 275736 HAS SOUPS 275736 WITH SCORE 276122.462
AT ITER 1093 NEW BEST:: SOT 1172936 SOS 386585 HAS SOPS 386585 HAS SOUS 275720 HAS SOUPS 275720 WITH SCORE 276106.585
AT ITER 1117 NEW BEST:: SOT 1172836 SOS 386401 HAS SOPS 386401 HAS SOUS 274810 HAS SOUPS 274810 WITH SCORE 275196.401
AT ITER 1124 NEW BEST:: SOT 1172836 SOS 386401 HAS SOPS 386401 HAS SOUS 274809 HAS SOUPS 274809 WITH SCORE 275195.401
AT ITER 1126 NEW BEST:: SOT 1172835 SOS 386160 HAS SOPS 386160 HAS SOUS 274732 HAS SOUPS 274732 WITH SCORE 275118.16
AT ITER 1127 NEW BEST:: SOT 1172654 SOS 385798 HAS SOPS 385798 HAS SOUS 274551 HAS SOUPS 274551 WITH SCORE 274936.798
AT ITER 1143 NEW BEST:: SOT 1172449 SOS 384712 HAS SOPS 384712 HAS SOUS 274150 HAS SOUPS 274150 WITH SCORE 274534.712
AT ITER 1151 NEW BEST:: SOT 1172496 SOS 384467 HAS SOPS 384467 HAS SOUS 273915 HAS SOUPS 273915 WITH SCORE 274299.467
AT ITER 1174 NEW BEST:: SOT 1172481 SOS 384416 HAS SOPS 384416 HAS SOUS 273885 HAS SOUPS 273885 WITH SCORE 274269.416
AT ITER 1175 NEW BEST:: SOT 1172481 SOS 383756 HAS SOPS 383756 HAS SOUS 273885 HAS SOUPS 273885 WITH SCORE 274268.756
AT ITER 1184 NEW BEST:: SOT 1172481 SOS 383661 HAS SOPS 383661 HAS SOUS 273885 HAS SOUPS 273885 WITH SCORE 274268.661
AT ITER 1196 NEW BEST:: SOT 1172310 SOS 383216 HAS SOPS 383216 HAS SOUS 273475 HAS SOUPS 273475 WITH SCORE 273858.216
AT ITER 1199 NEW BEST:: SOT 1172244 SOS 383150 HAS SOPS 383150 HAS SOUS 273343 HAS SOUPS 273343 WITH SCORE 273726.15
AT ITER 1209 NEW BEST:: SOT 1171998 SOS 382253 HAS SOPS 382253 HAS SOUS 272953 HAS SOUPS 272953 WITH SCORE 273335.253
AT ITER 1228 NEW BEST:: SOT 1171998 SOS 383345 HAS SOPS 383345 HAS SOUS 272925 HAS SOUPS 272925 WITH SCORE 273308.345
AT ITER 1231 NEW BEST:: SOT 1171999 SOS 383529 HAS SOPS 383529 HAS SOUS 272878 HAS SOUPS 272878 WITH SCORE 273261.529
AT ITER 1235 NEW BEST:: SOT 1171834 SOS 383472 HAS SOPS 383472 HAS SOUS 272821 HAS SOUPS 272821 WITH SCORE 273204.472
AT ITER 1238 NEW BEST:: SOT 1171834 SOS 383589 HAS SOPS 383589 HAS SOUS 272812 HAS SOUPS 272812 WITH SCORE 273195.589
AT ITER 1243 NEW BEST:: SOT 1171799 SOS 383519 HAS SOPS 383519 HAS SOUS 272742 HAS SOUPS 272742 WITH SCORE 273125.519
AT ITER 1249 NEW BEST:: SOT 1171799 SOS 383519 HAS SOPS 383519 HAS SOUS 272599 HAS SOUPS 272599 WITH SCORE 272982.519
AT ITER 1251 NEW BEST:: SOT 1171640 SOS 383221 HAS SOPS 383221 HAS SOUS 272167 HAS SOUPS 272167 WITH SCORE 272550.221
AT ITER 1271 NEW BEST:: SOT 1171638 SOS 383152 HAS SOPS 383152 HAS SOUS 272163 HAS SOUPS 272163 WITH SCORE 272546.152
AT ITER 1279 NEW BEST:: SOT 1171578 SOS 383092 HAS SOPS 383092 HAS SOUS 272103 HAS SOUPS 272103 WITH SCORE 272486.092
AT ITER 1299 NEW BEST:: SOT 1171739 SOS 382783 HAS SOPS 382783 HAS SOUS 272079 HAS SOUPS 272079 WITH SCORE 272461.783
AT ITER 1322 NEW BEST:: SOT 1171634 SOS 382748 HAS SOPS 382748 HAS SOUS 272044 HAS SOUPS 272044 WITH SCORE 272426.748
AT ITER 1343 NEW BEST:: SOT 1171634 SOS 382704 HAS SOPS 382704 HAS SOUS 272044 HAS SOUPS 272044 WITH SCORE 272426.704
AT ITER 1349 NEW BEST:: SOT 1171576 SOS 382352 HAS SOPS 382352 HAS SOUS 272036 HAS SOUPS 272036 WITH SCORE 272418.352
AT ITER 1383 NEW BEST:: SOT 1171521 SOS 382259 HAS SOPS 382259 HAS SOUS 271943 HAS SOUPS 271943 WITH SCORE 272325.259
AT ITER 1386 NEW BEST:: SOT 1171459 SOS 381847 HAS SOPS 381847 HAS SOUS 271902 HAS SOUPS 271902 WITH SCORE 272283.847
AT ITER 1392 NEW BEST:: SOT 1171310 SOS 381698 HAS SOPS 381698 HAS SOUS 271753 HAS SOUPS 271753 WITH SCORE 272134.698
AT ITER 1427 NEW BEST:: SOT 1171265 SOS 380818 HAS SOPS 380818 HAS SOUS 271545 HAS SOUPS 271545 WITH SCORE 271925.818
AT ITER 1430 NEW BEST:: SOT 1171265 SOS 380637 HAS SOPS 380637 HAS SOUS 271545 HAS SOUPS 271545 WITH SCORE 271925.637
AT ITER 1441 NEW BEST:: SOT 1171275 SOS 380606 HAS SOPS 380606 HAS SOUS 271514 HAS SOUPS 271514 WITH SCORE 271894.606
AT ITER 1460 NEW BEST:: SOT 1171253 SOS 380632 HAS SOPS 380632 HAS SOUS 271485 HAS SOUPS 271485 WITH SCORE 271865.632
AT ITER 1476 NEW BEST:: SOT 1171253 SOS 381546 HAS SOPS 381546 HAS SOUS 271402 HAS SOUPS 271402 WITH SCORE 271783.546
AT ITER 1500 NEW BEST:: SOT 1171215 SOS 381278 HAS SOPS 381278 HAS SOUS 271325 HAS SOUPS 271325 WITH SCORE 271706.278
AT ITER 1504 NEW BEST:: SOT 1171110 SOS 381264 HAS SOPS 381264 HAS SOUS 271311 HAS SOUPS 271311 WITH SCORE 271692.264
AT ITER 1511 NEW BEST:: SOT 1171110 SOS 381264 HAS SOPS 381264 HAS SOUS 271309 HAS SOUPS 271309 WITH SCORE 271690.264
AT ITER 1514 NEW BEST:: SOT 1170982 SOS 381008 HAS SOPS 381008 HAS SOUS 271053 HAS SOUPS 271053 WITH SCORE 271434.008
AT ITER 1520 NEW BEST:: SOT 1170816 SOS 380663 HAS SOPS 380663 HAS SOUS 270931 HAS SOUPS 270931 WITH SCORE 271311.663
AT ITER 1557 NEW BEST:: SOT 1170787 SOS 380605 HAS SOPS 380605 HAS SOUS 270873 HAS SOUPS 270873 WITH SCORE 271253.605
AT ITER 1569 NEW BEST:: SOT 1170773 SOS 380584 HAS SOPS 380584 HAS SOUS 270852 HAS SOUPS 270852 WITH SCORE 271232.584
AT ITER 1572 NEW BEST:: SOT 1170655 SOS 380546 HAS SOPS 380546 HAS SOUS 270847 HAS SOUPS 270847 WITH SCORE 271227.546
AT ITER 1576 NEW BEST:: SOT 1170496 SOS 380376 HAS SOPS 380376 HAS SOUS 270752 HAS SOUPS 270752 WITH SCORE 271132.376
AT ITER 1581 NEW BEST:: SOT 1170485 SOS 380365 HAS SOPS 380365 HAS SOUS 270741 HAS SOUPS 270741 WITH SCORE 271121.365
AT ITER 1589 NEW BEST:: SOT 1169971 SOS 379856 HAS SOPS 379856 HAS SOUS 270438 HAS SOUPS 270438 WITH SCORE 270817.856
AT ITER 1601 NEW BEST:: SOT 1169793 SOS 379780 HAS SOPS 379780 HAS SOUS 270316 HAS SOUPS 270316 WITH SCORE 270695.78
AT ITER 1607 NEW BEST:: SOT 1169793 SOS 379735 HAS SOPS 379735 HAS SOUS 270271 HAS SOUPS 270271 WITH SCORE 270650.735
AT ITER 1608 NEW BEST:: SOT 1169761 SOS 379671 HAS SOPS 379671 HAS SOUS 270236 HAS SOUPS 270236 WITH SCORE 270615.671
AT ITER 1609 NEW BEST:: SOT 1169642 SOS 379529 HAS SOPS 379529 HAS SOUS 269849 HAS SOUPS 269849 WITH SCORE 270228.529
AT ITER 1611 NEW BEST:: SOT 1169642 SOS 379593 HAS SOPS 379593 HAS SOUS 269828 HAS SOUPS 269828 WITH SCORE 270207.593
AT ITER 1646 NEW BEST:: SOT 1169642 SOS 379558 HAS SOPS 379558 HAS SOUS 269793 HAS SOUPS 269793 WITH SCORE 270172.558
AT ITER 1653 NEW BEST:: SOT 1169626 SOS 379526 HAS SOPS 379526 HAS SOUS 269761 HAS SOUPS 269761 WITH SCORE 270140.526
AT ITER 1656 NEW BEST:: SOT 1169626 SOS 379487 HAS SOPS 379487 HAS SOUS 269676 HAS SOUPS 269676 WITH SCORE 270055.487
AT ITER 1676 NEW BEST:: SOT 1169545 SOS 379183 HAS SOPS 379183 HAS SOUS 269621 HAS SOUPS 269621 WITH SCORE 270000.183
AT ITER 1680 NEW BEST:: SOT 1169387 SOS 378970 HAS SOPS 378970 HAS SOUS 269442 HAS SOUPS 269442 WITH SCORE 269820.97
AT ITER 1695 NEW BEST:: SOT 1169331 SOS 378651 HAS SOPS 378651 HAS SOUS 269232 HAS SOUPS 269232 WITH SCORE 269610.651
AT ITER 1696 NEW BEST:: SOT 1169253 SOS 378945 HAS SOPS 378945 HAS SOUS 269231 HAS SOUPS 269231 WITH SCORE 269609.945
AT ITER 1699 NEW BEST:: SOT 1169253 SOS 378923 HAS SOPS 378923 HAS SOUS 269222 HAS SOUPS 269222 WITH SCORE 269600.923
AT ITER 1711 NEW BEST:: SOT 1169221 SOS 378891 HAS SOPS 378891 HAS SOUS 269190 HAS SOUPS 269190 WITH SCORE 269568.891
AT ITER 1717 NEW BEST:: SOT 1169173 SOS 379048 HAS SOPS 379048 HAS SOUS 269153 HAS SOUPS 269153 WITH SCORE 269532.048
AT ITER 1723 NEW BEST:: SOT 1169093 SOS 378936 HAS SOPS 378936 HAS SOUS 268741 HAS SOUPS 268741 WITH SCORE 269119.936
AT ITER 1731 NEW BEST:: SOT 1169116 SOS 378864 HAS SOPS 378864 HAS SOUS 268669 HAS SOUPS 268669 WITH SCORE 269047.864
AT ITER 1751 NEW BEST:: SOT 1168549 SOS 378249 HAS SOPS 378249 HAS SOUS 268669 HAS SOUPS 268669 WITH SCORE 269047.249
AT ITER 1762 NEW BEST:: SOT 1168508 SOS 378255 HAS SOPS 378255 HAS SOUS 268624 HAS SOUPS 268624 WITH SCORE 269002.255
AT ITER 1786 NEW BEST:: SOT 1168424 SOS 378228 HAS SOPS 378228 HAS SOUS 268597 HAS SOUPS 268597 WITH SCORE 268975.228
AT ITER 1787 NEW BEST:: SOT 1168424 SOS 378259 HAS SOPS 378259 HAS SOUS 268575 HAS SOUPS 268575 WITH SCORE 268953.259
AT ITER 1802 NEW BEST:: SOT 1168327 SOS 378081 HAS SOPS 378081 HAS SOUS 268483 HAS SOUPS 268483 WITH SCORE 268861.081
AT ITER 1803 NEW BEST:: SOT 1168225 SOS 377673 HAS SOPS 377673 HAS SOUS 268332 HAS SOUPS 268332 WITH SCORE 268709.673
AT ITER 1830 NEW BEST:: SOT 1168147 SOS 377556 HAS SOPS 377556 HAS SOUS 268213 HAS SOUPS 268213 WITH SCORE 268590.556
AT ITER 1847 NEW BEST:: SOT 1168147 SOS 377556 HAS SOPS 377556 HAS SOUS 268204 HAS SOUPS 268204 WITH SCORE 268581.556
AT ITER 1849 NEW BEST:: SOT 1167962 SOS 377186 HAS SOPS 377186 HAS SOUS 267834 HAS SOUPS 267834 WITH SCORE 268211.186
AT ITER 1861 NEW BEST:: SOT 1167935 SOS 377159 HAS SOPS 377159 HAS SOUS 267375 HAS SOUPS 267375 WITH SCORE 267752.159
AT ITER 1884 NEW BEST:: SOT 1167857 SOS 377003 HAS SOPS 377003 HAS SOUS 267219 HAS SOUPS 267219 WITH SCORE 267596.003
AT ITER 1902 NEW BEST:: SOT 1166415 SOS 376678 HAS SOPS 376678 HAS SOUS 266485 HAS SOUPS 266485 WITH SCORE 266861.678
AT ITER 1914 NEW BEST:: SOT 1166322 SOS 376581 HAS SOPS 376581 HAS SOUS 265648 HAS SOUPS 265648 WITH SCORE 266024.581
AT ITER 1915 NEW BEST:: SOT 1166321 SOS 376579 HAS SOPS 376579 HAS SOUS 265646 HAS SOUPS 265646 WITH SCORE 266022.579
AT ITER 1917 NEW BEST:: SOT 1166253 SOS 376414 HAS SOPS 376414 HAS SOUS 265511 HAS SOUPS 265511 WITH SCORE 265887.414
AT ITER 1930 NEW BEST:: SOT 1165973 SOS 376134 HAS SOPS 376134 HAS SOUS 265231 HAS SOUPS 265231 WITH SCORE 265607.134
AT ITER 1931 NEW BEST:: SOT 1165906 SOS 376067 HAS SOPS 376067 HAS SOUS 265164 HAS SOUPS 265164 WITH SCORE 265540.067
AT ITER 1954 NEW BEST:: SOT 1166083 SOS 375768 HAS SOPS 375768 HAS SOUS 264320 HAS SOUPS 264320 WITH SCORE 264695.768
AT ITER 1959 NEW BEST:: SOT 1166083 SOS 375821 HAS SOPS 375821 HAS SOUS 264319 HAS SOUPS 264319 WITH SCORE 264694.821
AT ITER 1993 NEW BEST:: SOT 1165876 SOS 375613 HAS SOPS 375613 HAS SOUS 264111 HAS SOUPS 264111 WITH SCORE 264486.613
AT ITER 2007 NEW BEST:: SOT 1165939 SOS 375610 HAS SOPS 375610 HAS SOUS 264108 HAS SOUPS 264108 WITH SCORE 264483.61
AT ITER 2008 NEW BEST:: SOT 1165760 SOS 375297 HAS SOPS 375297 HAS SOUS 263906 HAS SOUPS 263906 WITH SCORE 264281.297
AT ITER 2022 NEW BEST:: SOT 1165760 SOS 374557 HAS SOPS 374557 HAS SOUS 261391 HAS SOUPS 261391 WITH SCORE 261765.557
AT ITER 2026 NEW BEST:: SOT 1165506 SOS 374129 HAS SOPS 374129 HAS SOUS 260789 HAS SOUPS 260789 WITH SCORE 261163.129
AT ITER 2042 NEW BEST:: SOT 1165506 SOS 373976 HAS SOPS 373976 HAS SOUS 259702 HAS SOUPS 259702 WITH SCORE 260075.976
AT ITER 2048 NEW BEST:: SOT 1165397 SOS 372886 HAS SOPS 372886 HAS SOUS 259484 HAS SOUPS 259484 WITH SCORE 259856.886
AT ITER 2076 NEW BEST:: SOT 1165280 SOS 372552 HAS SOPS 372552 HAS SOUS 259339 HAS SOUPS 259339 WITH SCORE 259711.552
AT ITER 2093 NEW BEST:: SOT 1165208 SOS 372432 HAS SOPS 372432 HAS SOUS 259252 HAS SOUPS 259252 WITH SCORE 259624.432
AT ITER 2100 NEW BEST:: SOT 1165200 SOS 372416 HAS SOPS 372416 HAS SOUS 259252 HAS SOUPS 259252 WITH SCORE 259624.416
AT ITER 2101 NEW BEST:: SOT 1164885 SOS 372044 HAS SOPS 372044 HAS SOUS 258907 HAS SOUPS 258907 WITH SCORE 259279.044
AT ITER 2103 NEW BEST:: SOT 1164870 SOS 372029 HAS SOPS 372029 HAS SOUS 258892 HAS SOUPS 258892 WITH SCORE 259264.029
AT ITER 2107 NEW BEST:: SOT 1164867 SOS 372026 HAS SOPS 372026 HAS SOUS 258889 HAS SOUPS 258889 WITH SCORE 259261.026
AT ITER 2125 NEW BEST:: SOT 1164658 SOS 370656 HAS SOPS 370656 HAS SOUS 258352 HAS SOUPS 258352 WITH SCORE 258722.656
AT ITER 2126 NEW BEST:: SOT 1164602 SOS 370596 HAS SOPS 370596 HAS SOUS 258295 HAS SOUPS 258295 WITH SCORE 258665.596
AT ITER 2128 NEW BEST:: SOT 1164601 SOS 370594 HAS SOPS 370594 HAS SOUS 258293 HAS SOUPS 258293 WITH SCORE 258663.594
AT ITER 2129 NEW BEST:: SOT 1164503 SOS 370398 HAS SOPS 370398 HAS SOUS 258097 HAS SOUPS 258097 WITH SCORE 258467.398
AT ITER 2137 NEW BEST:: SOT 1164792 SOS 370215 HAS SOPS 370215 HAS SOUS 257777 HAS SOUPS 257777 WITH SCORE 258147.215
AT ITER 2147 NEW BEST:: SOT 1164792 SOS 370215 HAS SOPS 370215 HAS SOUS 257699 HAS SOUPS 257699 WITH SCORE 258069.215
AT ITER 2148 NEW BEST:: SOT 1164396 SOS 370416 HAS SOPS 370416 HAS SOUS 257461 HAS SOUPS 257461 WITH SCORE 257831.416
AT ITER 2156 NEW BEST:: SOT 1164316 SOS 370336 HAS SOPS 370336 HAS SOUS 257381 HAS SOUPS 257381 WITH SCORE 257751.336
AT ITER 2158 NEW BEST:: SOT 1164316 SOS 370321 HAS SOPS 370321 HAS SOUS 257366 HAS SOUPS 257366 WITH SCORE 257736.321
AT ITER 2180 NEW BEST:: SOT 1164203 SOS 370095 HAS SOPS 370095 HAS SOUS 257140 HAS SOUPS 257140 WITH SCORE 257510.095
AT ITER 2190 NEW BEST:: SOT 1164085 SOS 370961 HAS SOPS 370961 HAS SOUS 257062 HAS SOUPS 257062 WITH SCORE 257432.961
AT ITER 2197 NEW BEST:: SOT 1164029 SOS 370845 HAS SOPS 370845 HAS SOUS 256946 HAS SOUPS 256946 WITH SCORE 257316.845
AT ITER 2203 NEW BEST:: SOT 1163949 SOS 370612 HAS SOPS 370612 HAS SOUS 256713 HAS SOUPS 256713 WITH SCORE 257083.612
AT ITER 2205 NEW BEST:: SOT 1163970 SOS 370514 HAS SOPS 370514 HAS SOUS 256615 HAS SOUPS 256615 WITH SCORE 256985.514
AT ITER 2228 NEW BEST:: SOT 1163969 SOS 370289 HAS SOPS 370289 HAS SOUS 256506 HAS SOUPS 256506 WITH SCORE 256876.289
AT ITER 2238 NEW BEST:: SOT 1163969 SOS 369972 HAS SOPS 369972 HAS SOUS 256189 HAS SOUPS 256189 WITH SCORE 256558.972
AT ITER 2242 NEW BEST:: SOT 1163966 SOS 369960 HAS SOPS 369960 HAS SOUS 256183 HAS SOUPS 256183 WITH SCORE 256552.96
AT ITER 2267 NEW BEST:: SOT 1163966 SOS 369956 HAS SOPS 369956 HAS SOUS 256179 HAS SOUPS 256179 WITH SCORE 256548.956
AT ITER 2273 NEW BEST:: SOT 1163862 SOS 369856 HAS SOPS 369856 HAS SOUS 256079 HAS SOUPS 256079 WITH SCORE 256448.856
AT ITER 2283 NEW BEST:: SOT 1163756 SOS 369821 HAS SOPS 369821 HAS SOUS 255949 HAS SOUPS 255949 WITH SCORE 256318.821
AT ITER 2311 NEW BEST:: SOT 1163684 SOS 369677 HAS SOPS 369677 HAS SOUS 255805 HAS SOUPS 255805 WITH SCORE 256174.677
AT ITER 2322 NEW BEST:: SOT 1163676 SOS 369661 HAS SOPS 369661 HAS SOUS 255789 HAS SOUPS 255789 WITH SCORE 256158.661
AT ITER 2341 NEW BEST:: SOT 1163579 SOS 369564 HAS SOPS 369564 HAS SOUS 255692 HAS SOUPS 255692 WITH SCORE 256061.564
AT ITER 2367 NEW BEST:: SOT 1163574 SOS 369570 HAS SOPS 369570 HAS SOUS 255683 HAS SOUPS 255683 WITH SCORE 256052.57
AT ITER 2374 NEW BEST:: SOT 1163574 SOS 369621 HAS SOPS 369621 HAS SOUS 255326 HAS SOUPS 255326 WITH SCORE 255695.621
AT ITER 2407 NEW BEST:: SOT 1163603 SOS 369573 HAS SOPS 369573 HAS SOUS 255278 HAS SOUPS 255278 WITH SCORE 255647.573
AT ITER 2411 NEW BEST:: SOT 1163602 SOS 369556 HAS SOPS 369556 HAS SOUS 255261 HAS SOUPS 255261 WITH SCORE 255630.556
AT ITER 2414 NEW BEST:: SOT 1163602 SOS 369554 HAS SOPS 369554 HAS SOUS 255165 HAS SOUPS 255165 WITH SCORE 255534.554
AT ITER 2425 NEW BEST:: SOT 1163418 SOS 369440 HAS SOPS 369440 HAS SOUS 254890 HAS SOUPS 254890 WITH SCORE 255259.44
AT ITER 2430 NEW BEST:: SOT 1163418 SOS 369440 HAS SOPS 369440 HAS SOUS 254833 HAS SOUPS 254833 WITH SCORE 255202.44
AT ITER 2453 NEW BEST:: SOT 1163722 SOS 369789 HAS SOPS 369789 HAS SOUS 253894 HAS SOUPS 253894 WITH SCORE 254263.789
AT ITER 2472 NEW BEST:: SOT 1162936 SOS 373908 HAS SOPS 373908 HAS SOUS 253407 HAS SOUPS 253407 WITH SCORE 253780.908
AT ITER 2493 NEW BEST:: SOT 1162888 SOS 373917 HAS SOPS 373917 HAS SOUS 253310 HAS SOUPS 253310 WITH SCORE 253683.917
AT ITER 2503 NEW BEST:: SOT 1162793 SOS 373822 HAS SOPS 373822 HAS SOUS 253215 HAS SOUPS 253215 WITH SCORE 253588.822
AT ITER 2506 NEW BEST:: SOT 1162788 SOS 372701 HAS SOPS 372701 HAS SOUS 250403 HAS SOUPS 250403 WITH SCORE 250775.701
AT ITER 2515 NEW BEST:: SOT 1162893 SOS 372603 HAS SOPS 372603 HAS SOUS 250403 HAS SOUPS 250403 WITH SCORE 250775.603
AT ITER 2541 NEW BEST:: SOT 1162893 SOS 372549 HAS SOPS 372549 HAS SOUS 250403 HAS SOUPS 250403 WITH SCORE 250775.549
AT ITER 2546 NEW BEST:: SOT 1163541 SOS 373358 HAS SOPS 373358 HAS SOUS 249599 HAS SOUPS 249599 WITH SCORE 249972.358
AT ITER 2551 NEW BEST:: SOT 1163513 SOS 373330 HAS SOPS 373330 HAS SOUS 249571 HAS SOUPS 249571 WITH SCORE 249944.33
AT ITER 2563 NEW BEST:: SOT 1163513 SOS 373109 HAS SOPS 373109 HAS SOUS 249350 HAS SOUPS 249350 WITH SCORE 249723.109
AT ITER 2564 NEW BEST:: SOT 1163569 SOS 373001 HAS SOPS 373001 HAS SOUS 249242 HAS SOUPS 249242 WITH SCORE 249615.001
AT ITER 2600 NEW BEST:: SOT 1163569 SOS 371695 HAS SOPS 371695 HAS SOUS 249240 HAS SOUPS 249240 WITH SCORE 249611.695
AT ITER 2602 NEW BEST:: SOT 1163569 SOS 371694 HAS SOPS 371694 HAS SOUS 249239 HAS SOUPS 249239 WITH SCORE 249610.694
AT ITER 2621 NEW BEST:: SOT 1163337 SOS 370812 HAS SOPS 370812 HAS SOUS 248802 HAS SOUPS 248802 WITH SCORE 249172.812
AT ITER 2636 NEW BEST:: SOT 1163337 SOS 369773 HAS SOPS 369773 HAS SOUS 246361 HAS SOUPS 246361 WITH SCORE 246730.773
AT ITER 2640 NEW BEST:: SOT 1163252 SOS 369627 HAS SOPS 369627 HAS SOUS 246288 HAS SOUPS 246288 WITH SCORE 246657.627
AT ITER 2648 NEW BEST:: SOT 1163252 SOS 369622 HAS SOPS 369622 HAS SOUS 246283 HAS SOUPS 246283 WITH SCORE 246652.622
AT ITER 2662 NEW BEST:: SOT 1163315 SOS 369574 HAS SOPS 369574 HAS SOUS 246235 HAS SOUPS 246235 WITH SCORE 246604.574
AT ITER 2672 NEW BEST:: SOT 1163312 SOS 369568 HAS SOPS 369568 HAS SOUS 246232 HAS SOUPS 246232 WITH SCORE 246601.568
AT ITER 2674 NEW BEST:: SOT 1163311 SOS 369620 HAS SOPS 369620 HAS SOUS 246231 HAS SOUPS 246231 WITH SCORE 246600.62
AT ITER 2675 NEW BEST:: SOT 1163311 SOS 369596 HAS SOPS 369596 HAS SOUS 246207 HAS SOUPS 246207 WITH SCORE 246576.596
AT ITER 2678 NEW BEST:: SOT 1163311 SOS 369595 HAS SOPS 369595 HAS SOUS 246206 HAS SOUPS 246206 WITH SCORE 246575.595
AT ITER 2695 NEW BEST:: SOT 1162938 SOS 368849 HAS SOPS 368849 HAS SOUS 245735 HAS SOUPS 245735 WITH SCORE 246103.849
AT ITER 2700 NEW BEST:: SOT 1162829 SOS 368633 HAS SOPS 368633 HAS SOUS 245682 HAS SOUPS 245682 WITH SCORE 246050.633
AT ITER 2711 NEW BEST:: SOT 1162702 SOS 368379 HAS SOPS 368379 HAS SOUS 245555 HAS SOUPS 245555 WITH SCORE 245923.379
AT ITER 2715 NEW BEST:: SOT 1162769 SOS 368606 HAS SOPS 368606 HAS SOUS 244590 HAS SOUPS 244590 WITH SCORE 244958.606
AT ITER 2723 NEW BEST:: SOT 1162661 SOS 368730 HAS SOPS 368730 HAS SOUS 244332 HAS SOUPS 244332 WITH SCORE 244700.73
AT ITER 2724 NEW BEST:: SOT 1162642 SOS 368692 HAS SOPS 368692 HAS SOUS 244294 HAS SOUPS 244294 WITH SCORE 244662.692
AT ITER 2729 NEW BEST:: SOT 1162584 SOS 369347 HAS SOPS 369347 HAS SOUS 244249 HAS SOUPS 244249 WITH SCORE 244618.347
AT ITER 2730 NEW BEST:: SOT 1162584 SOS 369332 HAS SOPS 369332 HAS SOUS 244234 HAS SOUPS 244234 WITH SCORE 244603.332
AT ITER 2731 NEW BEST:: SOT 1162517 SOS 369265 HAS SOPS 369265 HAS SOUS 244167 HAS SOUPS 244167 WITH SCORE 244536.265
AT ITER 2770 NEW BEST:: SOT 1162517 SOS 369213 HAS SOPS 369213 HAS SOUS 244115 HAS SOUPS 244115 WITH SCORE 244484.213
AT ITER 2788 NEW BEST:: SOT 1162563 SOS 369072 HAS SOPS 369072 HAS SOUS 243974 HAS SOUPS 243974 WITH SCORE 244343.072
AT ITER 2792 NEW BEST:: SOT 1161210 SOS 370194 HAS SOPS 370194 HAS SOUS 243588 HAS SOUPS 243588 WITH SCORE 243958.194
AT ITER 2806 NEW BEST:: SOT 1161203 SOS 370180 HAS SOPS 370180 HAS SOUS 243574 HAS SOUPS 243574 WITH SCORE 243944.18
AT ITER 2827 NEW BEST:: SOT 1161182 SOS 370179 HAS SOPS 370179 HAS SOUS 243572 HAS SOUPS 243572 WITH SCORE 243942.179
AT ITER 2837 NEW BEST:: SOT 1161080 SOS 369975 HAS SOPS 369975 HAS SOUS 243368 HAS SOUPS 243368 WITH SCORE 243737.975
AT ITER 2858 NEW BEST:: SOT 1160825 SOS 369799 HAS SOPS 369799 HAS SOUS 243192 HAS SOUPS 243192 WITH SCORE 243561.799
AT ITER 2866 NEW BEST:: SOT 1160825 SOS 369799 HAS SOPS 369799 HAS SOUS 243190 HAS SOUPS 243190 WITH SCORE 243559.799
AT ITER 2872 NEW BEST:: SOT 1160806 SOS 369521 HAS SOPS 369521 HAS SOUS 243108 HAS SOUPS 243108 WITH SCORE 243477.521
AT ITER 2895 NEW BEST:: SOT 1160834 SOS 369605 HAS SOPS 369605 HAS SOUS 242744 HAS SOUPS 242744 WITH SCORE 243113.605
AT ITER 2907 NEW BEST:: SOT 1160792 SOS 369617 HAS SOPS 369617 HAS SOUS 242702 HAS SOUPS 242702 WITH SCORE 243071.617
AT ITER 2915 NEW BEST:: SOT 1160792 SOS 369616 HAS SOPS 369616 HAS SOUS 242701 HAS SOUPS 242701 WITH SCORE 243070.616
AT ITER 2923 NEW BEST:: SOT 1159840 SOS 368496 HAS SOPS 368496 HAS SOUS 241637 HAS SOUPS 241637 WITH SCORE 242005.496
AT ITER 2935 NEW BEST:: SOT 1159747 SOS 368310 HAS SOPS 368310 HAS SOUS 241451 HAS SOUPS 241451 WITH SCORE 241819.31
AT ITER 2943 NEW BEST:: SOT 1159695 SOS 368213 HAS SOPS 368213 HAS SOUS 241384 HAS SOUPS 241384 WITH SCORE 241752.213
AT ITER 2945 NEW BEST:: SOT 1159685 SOS 367799 HAS SOPS 367799 HAS SOUS 241272 HAS SOUPS 241272 WITH SCORE 241639.799
AT ITER 2951 NEW BEST:: SOT 1159655 SOS 367577 HAS SOPS 367577 HAS SOUS 240767 HAS SOUPS 240767 WITH SCORE 241134.577
AT ITER 2952 NEW BEST:: SOT 1159527 SOS 367446 HAS SOPS 367446 HAS SOUS 240508 HAS SOUPS 240508 WITH SCORE 240875.446
AT ITER 2957 NEW BEST:: SOT 1159527 SOS 367455 HAS SOPS 367455 HAS SOUS 240470 HAS SOUPS 240470 WITH SCORE 240837.455
AT ITER 2977 NEW BEST:: SOT 1159527 SOS 366936 HAS SOPS 366936 HAS SOUS 240345 HAS SOUPS 240345 WITH SCORE 240711.936
AT ITER 2982 NEW BEST:: SOT 1161093 SOS 368470 HAS SOPS 368470 HAS SOUS 240313 HAS SOUPS 240313 WITH SCORE 240681.47
AT ITER 2985 NEW BEST:: SOT 1161080 SOS 368456 HAS SOPS 368456 HAS SOUS 240299 HAS SOUPS 240299 WITH SCORE 240667.456
AT ITER 3008 NEW BEST:: SOT 1160959 SOS 368350 HAS SOPS 368350 HAS SOUS 240178 HAS SOUPS 240178 WITH SCORE 240546.35
AT ITER 3025 NEW BEST:: SOT 1160797 SOS 366791 HAS SOPS 366791 HAS SOUS 239373 HAS SOUPS 239373 WITH SCORE 239739.791
AT ITER 3027 NEW BEST:: SOT 1160735 SOS 366765 HAS SOPS 366765 HAS SOUS 239347 HAS SOUPS 239347 WITH SCORE 239713.765
AT ITER 3046 NEW BEST:: SOT 1160734 SOS 366763 HAS SOPS 366763 HAS SOUS 239345 HAS SOUPS 239345 WITH SCORE 239711.763
AT ITER 3060 NEW BEST:: SOT 1160799 SOS 366824 HAS SOPS 366824 HAS SOUS 239156 HAS SOUPS 239156 WITH SCORE 239522.824
AT ITER 3061 NEW BEST:: SOT 1160799 SOS 366718 HAS SOPS 366718 HAS SOUS 239050 HAS SOUPS 239050 WITH SCORE 239416.718
AT ITER 3077 NEW BEST:: SOT 1160799 SOS 366655 HAS SOPS 366655 HAS SOUS 239050 HAS SOUPS 239050 WITH SCORE 239416.655
AT ITER 3078 NEW BEST:: SOT 1160669 SOS 366525 HAS SOPS 366525 HAS SOUS 239046 HAS SOUPS 239046 WITH SCORE 239412.525
AT ITER 3079 NEW BEST:: SOT 1160654 SOS 366390 HAS SOPS 366390 HAS SOUS 239016 HAS SOUPS 239016 WITH SCORE 239382.39
AT ITER 3088 NEW BEST:: SOT 1160749 SOS 366618 HAS SOPS 366618 HAS SOUS 238984 HAS SOUPS 238984 WITH SCORE 239350.618
AT ITER 3092 NEW BEST:: SOT 1160620 SOS 366449 HAS SOPS 366449 HAS SOUS 238944 HAS SOUPS 238944 WITH SCORE 239310.449
AT ITER 3100 NEW BEST:: SOT 1160700 SOS 366378 HAS SOPS 366378 HAS SOUS 238873 HAS SOUPS 238873 WITH SCORE 239239.378
AT ITER 3103 NEW BEST:: SOT 1160502 SOS 366110 HAS SOPS 366110 HAS SOUS 238605 HAS SOUPS 238605 WITH SCORE 238971.11
AT ITER 3112 NEW BEST:: SOT 1160934 SOS 366571 HAS SOPS 366571 HAS SOUS 238138 HAS SOUPS 238138 WITH SCORE 238504.571
AT ITER 3120 NEW BEST:: SOT 1160934 SOS 366556 HAS SOPS 366556 HAS SOUS 238138 HAS SOUPS 238138 WITH SCORE 238504.556
AT ITER 3135 NEW BEST:: SOT 1160918 SOS 366540 HAS SOPS 366540 HAS SOUS 238120 HAS SOUPS 238120 WITH SCORE 238486.54
AT ITER 3143 NEW BEST:: SOT 1160856 SOS 366435 HAS SOPS 366435 HAS SOUS 238015 HAS SOUPS 238015 WITH SCORE 238381.435
AT ITER 3158 NEW BEST:: SOT 1160856 SOS 366183 HAS SOPS 366183 HAS SOUS 238015 HAS SOUPS 238015 WITH SCORE 238381.183
AT ITER 3186 NEW BEST:: SOT 1160856 SOS 366166 HAS SOPS 366166 HAS SOUS 237998 HAS SOUPS 237998 WITH SCORE 238364.166
AT ITER 3198 NEW BEST:: SOT 1160856 SOS 366193 HAS SOPS 366193 HAS SOUS 237939 HAS SOUPS 237939 WITH SCORE 238305.193
AT ITER 3202 NEW BEST:: SOT 1160856 SOS 366180 HAS SOPS 366180 HAS SOUS 237926 HAS SOUPS 237926 WITH SCORE 238292.18
AT ITER 3224 NEW BEST:: SOT 1160796 SOS 366060 HAS SOPS 366060 HAS SOUS 237806 HAS SOUPS 237806 WITH SCORE 238172.06
AT ITER 3233 NEW BEST:: SOT 1160467 SOS 365740 HAS SOPS 365740 HAS SOUS 237486 HAS SOUPS 237486 WITH SCORE 237851.74
AT ITER 3239 NEW BEST:: SOT 1160190 SOS 365317 HAS SOPS 365317 HAS SOUS 237063 HAS SOUPS 237063 WITH SCORE 237428.317
AT ITER 3249 NEW BEST:: SOT 1160167 SOS 365277 HAS SOPS 365277 HAS SOUS 237023 HAS SOUPS 237023 WITH SCORE 237388.277
AT ITER 3263 NEW BEST:: SOT 1160090 SOS 365046 HAS SOPS 365046 HAS SOUS 236869 HAS SOUPS 236869 WITH SCORE 237234.046
AT ITER 3265 NEW BEST:: SOT 1160090 SOS 365226 HAS SOPS 365226 HAS SOUS 236640 HAS SOUPS 236640 WITH SCORE 237005.226
AT ITER 3274 NEW BEST:: SOT 1160076 SOS 365431 HAS SOPS 365431 HAS SOUS 236609 HAS SOUPS 236609 WITH SCORE 236974.431
AT ITER 3297 NEW BEST:: SOT 1160076 SOS 365621 HAS SOPS 365621 HAS SOUS 236519 HAS SOUPS 236519 WITH SCORE 236884.621
AT ITER 3313 NEW BEST:: SOT 1160060 SOS 365541 HAS SOPS 365541 HAS SOUS 236454 HAS SOUPS 236454 WITH SCORE 236819.541
AT ITER 3314 NEW BEST:: SOT 1160006 SOS 365379 HAS SOPS 365379 HAS SOUS 236292 HAS SOUPS 236292 WITH SCORE 236657.379
AT ITER 3317 NEW BEST:: SOT 1159409 SOS 365193 HAS SOPS 365193 HAS SOUS 235951 HAS SOUPS 235951 WITH SCORE 236316.193
AT ITER 3326 NEW BEST:: SOT 1159095 SOS 365055 HAS SOPS 365055 HAS SOUS 235813 HAS SOUPS 235813 WITH SCORE 236178.055
AT ITER 3331 NEW BEST:: SOT 1159093 SOS 364882 HAS SOPS 364882 HAS SOUS 235778 HAS SOUPS 235778 WITH SCORE 236142.882
AT ITER 3350 NEW BEST:: SOT 1159047 SOS 364543 HAS SOPS 364543 HAS SOUS 235599 HAS SOUPS 235599 WITH SCORE 235963.543
AT ITER 3355 NEW BEST:: SOT 1158955 SOS 364536 HAS SOPS 364536 HAS SOUS 235592 HAS SOUPS 235592 WITH SCORE 235956.536
AT ITER 3362 NEW BEST:: SOT 1158920 SOS 364501 HAS SOPS 364501 HAS SOUS 235522 HAS SOUPS 235522 WITH SCORE 235886.501
AT ITER 3364 NEW BEST:: SOT 1158837 SOS 363684 HAS SOPS 363684 HAS SOUS 235200 HAS SOUPS 235200 WITH SCORE 235563.684
AT ITER 3366 NEW BEST:: SOT 1158092 SOS 363011 HAS SOPS 363011 HAS SOUS 234527 HAS SOUPS 234527 WITH SCORE 234890.011
AT ITER 3371 NEW BEST:: SOT 1157870 SOS 362168 HAS SOPS 362168 HAS SOUS 234123 HAS SOUPS 234123 WITH SCORE 234485.168
AT ITER 3426 NEW BEST:: SOT 1157830 SOS 362128 HAS SOPS 362128 HAS SOUS 234123 HAS SOUPS 234123 WITH SCORE 234485.128
AT ITER 3438 NEW BEST:: SOT 1157715 SOS 362133 HAS SOPS 362133 HAS SOUS 233893 HAS SOUPS 233893 WITH SCORE 234255.133
AT ITER 3472 NEW BEST:: SOT 1157532 SOS 361650 HAS SOPS 361650 HAS SOUS 233522 HAS SOUPS 233522 WITH SCORE 233883.65
AT ITER 3474 NEW BEST:: SOT 1157460 SOS 361518 HAS SOPS 361518 HAS SOUS 233390 HAS SOUPS 233390 WITH SCORE 233751.518
AT ITER 3475 NEW BEST:: SOT 1157423 SOS 361444 HAS SOPS 361444 HAS SOUS 233316 HAS SOUPS 233316 WITH SCORE 233677.444
AT ITER 3486 NEW BEST:: SOT 1157129 SOS 361100 HAS SOPS 361100 HAS SOUS 233120 HAS SOUPS 233120 WITH SCORE 233481.1
AT ITER 3495 NEW BEST:: SOT 1156995 SOS 360707 HAS SOPS 360707 HAS SOUS 232852 HAS SOUPS 232852 WITH SCORE 233212.707
AT ITER 3521 NEW BEST:: SOT 1156702 SOS 360496 HAS SOPS 360496 HAS SOUS 232625 HAS SOUPS 232625 WITH SCORE 232985.496
AT ITER 3538 NEW BEST:: SOT 1156702 SOS 360481 HAS SOPS 360481 HAS SOUS 232610 HAS SOUPS 232610 WITH SCORE 232970.481
AT ITER 3555 NEW BEST:: SOT 1156655 SOS 360387 HAS SOPS 360387 HAS SOUS 232516 HAS SOUPS 232516 WITH SCORE 232876.387
AT ITER 3566 NEW BEST:: SOT 1156636 SOS 360368 HAS SOPS 360368 HAS SOUS 232486 HAS SOUPS 232486 WITH SCORE 232846.368
AT ITER 3570 NEW BEST:: SOT 1156617 SOS 360329 HAS SOPS 360329 HAS SOUS 232447 HAS SOUPS 232447 WITH SCORE 232807.329
AT ITER 3581 NEW BEST:: SOT 1156607 SOS 360216 HAS SOPS 360216 HAS SOUS 232182 HAS SOUPS 232182 WITH SCORE 232542.216
AT ITER 3598 NEW BEST:: SOT 1156102 SOS 359623 HAS SOPS 359623 HAS SOUS 231677 HAS SOUPS 231677 WITH SCORE 232036.623
AT ITER 3641 NEW BEST:: SOT 1155879 SOS 359398 HAS SOPS 359398 HAS SOUS 231453 HAS SOUPS 231453 WITH SCORE 231812.398
AT ITER 3649 NEW BEST:: SOT 1155791 SOS 358914 HAS SOPS 358914 HAS SOUS 231321 HAS SOUPS 231321 WITH SCORE 231679.914
AT ITER 3651 NEW BEST:: SOT 1155540 SOS 358151 HAS SOPS 358151 HAS SOUS 231027 HAS SOUPS 231027 WITH SCORE 231385.151
AT ITER 3691 NEW BEST:: SOT 1155429 SOS 359769 HAS SOPS 359769 HAS SOUS 230916 HAS SOUPS 230916 WITH SCORE 231275.769
AT ITER 3693 NEW BEST:: SOT 1155383 SOS 359620 HAS SOPS 359620 HAS SOUS 230824 HAS SOUPS 230824 WITH SCORE 231183.62
AT ITER 3701 NEW BEST:: SOT 1155351 SOS 359151 HAS SOPS 359151 HAS SOUS 230807 HAS SOUPS 230807 WITH SCORE 231166.151
AT ITER 3724 NEW BEST:: SOT 1155136 SOS 359151 HAS SOPS 359151 HAS SOUS 229910 HAS SOUPS 229910 WITH SCORE 230269.151
AT ITER 3727 NEW BEST:: SOT 1154960 SOS 359054 HAS SOPS 359054 HAS SOUS 229813 HAS SOUPS 229813 WITH SCORE 230172.054
AT ITER 3728 NEW BEST:: SOT 1154831 SOS 358840 HAS SOPS 358840 HAS SOUS 229402 HAS SOUPS 229402 WITH SCORE 229760.84
AT ITER 3732 NEW BEST:: SOT 1154830 SOS 358794 HAS SOPS 358794 HAS SOUS 229390 HAS SOUPS 229390 WITH SCORE 229748.794
AT ITER 3805 NEW BEST:: SOT 1154810 SOS 358760 HAS SOPS 358760 HAS SOUS 229350 HAS SOUPS 229350 WITH SCORE 229708.76
AT ITER 3851 NEW BEST:: SOT 1154810 SOS 358717 HAS SOPS 358717 HAS SOUS 229307 HAS SOUPS 229307 WITH SCORE 229665.717
AT ITER 3854 NEW BEST:: SOT 1154773 SOS 358643 HAS SOPS 358643 HAS SOUS 229233 HAS SOUPS 229233 WITH SCORE 229591.643
AT ITER 3869 NEW BEST:: SOT 1154740 SOS 358577 HAS SOPS 358577 HAS SOUS 229200 HAS SOUPS 229200 WITH SCORE 229558.577
AT ITER 3882 NEW BEST:: SOT 1154740 SOS 358557 HAS SOPS 358557 HAS SOUS 229199 HAS SOUPS 229199 WITH SCORE 229557.557
AT ITER 3889 NEW BEST:: SOT 1154770 SOS 358529 HAS SOPS 358529 HAS SOUS 229171 HAS SOUPS 229171 WITH SCORE 229529.529
AT ITER 3890 NEW BEST:: SOT 1154770 SOS 358473 HAS SOPS 358473 HAS SOUS 229115 HAS SOUPS 229115 WITH SCORE 229473.473
AT ITER 3910 NEW BEST:: SOT 1154854 SOS 358557 HAS SOPS 358557 HAS SOUS 229099 HAS SOUPS 229099 WITH SCORE 229457.557
AT ITER 3921 NEW BEST:: SOT 1154854 SOS 358515 HAS SOPS 358515 HAS SOUS 229099 HAS SOUPS 229099 WITH SCORE 229457.515
AT ITER 3947 NEW BEST:: SOT 1154854 SOS 358515 HAS SOPS 358515 HAS SOUS 228987 HAS SOUPS 228987 WITH SCORE 229345.515
AT ITER 3951 NEW BEST:: SOT 1154854 SOS 358515 HAS SOPS 358515 HAS SOUS 228824 HAS SOUPS 228824 WITH SCORE 229182.515
AT ITER 3965 NEW BEST:: SOT 1154898 SOS 358504 HAS SOPS 358504 HAS SOUS 228813 HAS SOUPS 228813 WITH SCORE 229171.504
AT ITER 3979 NEW BEST:: SOT 1154862 SOS 358432 HAS SOPS 358432 HAS SOUS 228741 HAS SOUPS 228741 WITH SCORE 229099.432
AT ITER 3994 NEW BEST:: SOT 1154862 SOS 358431 HAS SOPS 358431 HAS SOUS 228740 HAS SOUPS 228740 WITH SCORE 229098.431
AT ITER 4004 NEW BEST:: SOT 1154848 SOS 358071 HAS SOPS 358071 HAS SOUS 228712 HAS SOUPS 228712 WITH SCORE 229070.071
AT ITER 4011 NEW BEST:: SOT 1154848 SOS 357936 HAS SOPS 357936 HAS SOUS 228694 HAS SOUPS 228694 WITH SCORE 229051.936
AT ITER 4032 NEW BEST:: SOT 1154790 SOS 357878 HAS SOPS 357878 HAS SOUS 228539 HAS SOUPS 228539 WITH SCORE 228896.878
AT ITER 4040 NEW BEST:: SOT 1154790 SOS 357826 HAS SOPS 357826 HAS SOUS 228487 HAS SOUPS 228487 WITH SCORE 228844.826
AT ITER 4045 NEW BEST:: SOT 1154783 SOS 357812 HAS SOPS 357812 HAS SOUS 228473 HAS SOUPS 228473 WITH SCORE 228830.812
AT ITER 4067 NEW BEST:: SOT 1154802 SOS 357754 HAS SOPS 357754 HAS SOUS 228459 HAS SOUPS 228459 WITH SCORE 228816.754
AT ITER 4073 NEW BEST:: SOT 1154802 SOS 357845 HAS SOPS 357845 HAS SOUS 228457 HAS SOUPS 228457 WITH SCORE 228814.845
AT ITER 4076 NEW BEST:: SOT 1154658 SOS 357665 HAS SOPS 357665 HAS SOUS 228301 HAS SOUPS 228301 WITH SCORE 228658.665
AT ITER 4100 NEW BEST:: SOT 1154658 SOS 357408 HAS SOPS 357408 HAS SOUS 228203 HAS SOUPS 228203 WITH SCORE 228560.408
AT ITER 4110 NEW BEST:: SOT 1154658 SOS 357369 HAS SOPS 357369 HAS SOUS 228183 HAS SOUPS 228183 WITH SCORE 228540.369
AT ITER 4117 NEW BEST:: SOT 1154652 SOS 357366 HAS SOPS 357366 HAS SOUS 228180 HAS SOUPS 228180 WITH SCORE 228537.366
AT ITER 4124 NEW BEST:: SOT 1154596 SOS 357032 HAS SOPS 357032 HAS SOUS 228018 HAS SOUPS 228018 WITH SCORE 228375.032
AT ITER 4135 NEW BEST:: SOT 1154596 SOS 356776 HAS SOPS 356776 HAS SOUS 228012 HAS SOUPS 228012 WITH SCORE 228368.776
AT ITER 4164 NEW BEST:: SOT 1154536 SOS 356716 HAS SOPS 356716 HAS SOUS 227892 HAS SOUPS 227892 WITH SCORE 228248.716
AT ITER 4170 NEW BEST:: SOT 1154531 SOS 356757 HAS SOPS 356757 HAS SOUS 227477 HAS SOUPS 227477 WITH SCORE 227833.757
AT ITER 4215 NEW BEST:: SOT 1154473 SOS 356685 HAS SOPS 356685 HAS SOUS 227405 HAS SOUPS 227405 WITH SCORE 227761.685
AT ITER 4249 NEW BEST:: SOT 1154793 SOS 357173 HAS SOPS 357173 HAS SOUS 227282 HAS SOUPS 227282 WITH SCORE 227639.173
AT ITER 4307 NEW BEST:: SOT 1154717 SOS 356920 HAS SOPS 356920 HAS SOUS 227029 HAS SOUPS 227029 WITH SCORE 227385.92
AT ITER 4317 NEW BEST:: SOT 1154660 SOS 356741 HAS SOPS 356741 HAS SOUS 226915 HAS SOUPS 226915 WITH SCORE 227271.741
AT ITER 4330 NEW BEST:: SOT 1154666 SOS 356657 HAS SOPS 356657 HAS SOUS 226831 HAS SOUPS 226831 WITH SCORE 227187.657
AT ITER 4368 NEW BEST:: SOT 1154495 SOS 356937 HAS SOPS 356937 HAS SOUS 226595 HAS SOUPS 226595 WITH SCORE 226951.937
AT ITER 4369 NEW BEST:: SOT 1154495 SOS 356936 HAS SOPS 356936 HAS SOUS 226594 HAS SOUPS 226594 WITH SCORE 226950.936
AT ITER 4377 NEW BEST:: SOT 1154438 SOS 356499 HAS SOPS 356499 HAS SOUS 226347 HAS SOUPS 226347 WITH SCORE 226703.499
AT ITER 4384 NEW BEST:: SOT 1154415 SOS 356543 HAS SOPS 356543 HAS SOUS 226324 HAS SOUPS 226324 WITH SCORE 226680.543
AT ITER 4391 NEW BEST:: SOT 1154415 SOS 355991 HAS SOPS 355991 HAS SOUS 225956 HAS SOUPS 225956 WITH SCORE 226311.991
AT ITER 4398 NEW BEST:: SOT 1154367 SOS 355847 HAS SOPS 355847 HAS SOUS 225860 HAS SOUPS 225860 WITH SCORE 226215.847
AT ITER 4407 NEW BEST:: SOT 1154373 SOS 355713 HAS SOPS 355713 HAS SOUS 225726 HAS SOUPS 225726 WITH SCORE 226081.713
AT ITER 4435 NEW BEST:: SOT 1154254 SOS 355335 HAS SOPS 355335 HAS SOUS 225479 HAS SOUPS 225479 WITH SCORE 225834.335
AT ITER 4460 NEW BEST:: SOT 1154254 SOS 355330 HAS SOPS 355330 HAS SOUS 225460 HAS SOUPS 225460 WITH SCORE 225815.33
AT ITER 4473 NEW BEST:: SOT 1154254 SOS 355310 HAS SOPS 355310 HAS SOUS 225456 HAS SOUPS 225456 WITH SCORE 225811.31
AT ITER 4502 NEW BEST:: SOT 1154254 SOS 355295 HAS SOPS 355295 HAS SOUS 225426 HAS SOUPS 225426 WITH SCORE 225781.295
AT ITER 4505 NEW BEST:: SOT 1154182 SOS 355151 HAS SOPS 355151 HAS SOUS 225282 HAS SOUPS 225282 WITH SCORE 225637.151
AT ITER 4511 NEW BEST:: SOT 1154164 SOS 355060 HAS SOPS 355060 HAS SOUS 225206 HAS SOUPS 225206 WITH SCORE 225561.06
AT ITER 4553 NEW BEST:: SOT 1154189 SOS 355057 HAS SOPS 355057 HAS SOUS 225138 HAS SOUPS 225138 WITH SCORE 225493.057
AT ITER 4564 NEW BEST:: SOT 1154189 SOS 354742 HAS SOPS 354742 HAS SOUS 225138 HAS SOUPS 225138 WITH SCORE 225492.742
AT ITER 4569 NEW BEST:: SOT 1154178 SOS 354731 HAS SOPS 354731 HAS SOUS 225116 HAS SOUPS 225116 WITH SCORE 225470.731
AT ITER 4574 NEW BEST:: SOT 1154111 SOS 354270 HAS SOPS 354270 HAS SOUS 224655 HAS SOUPS 224655 WITH SCORE 225009.27
AT ITER 4598 NEW BEST:: SOT 1153940 SOS 354042 HAS SOPS 354042 HAS SOUS 224427 HAS SOUPS 224427 WITH SCORE 224781.042
AT ITER 4628 NEW BEST:: SOT 1153940 SOS 353932 HAS SOPS 353932 HAS SOUS 224427 HAS SOUPS 224427 WITH SCORE 224780.932
AT ITER 4652 NEW BEST:: SOT 1153712 SOS 353821 HAS SOPS 353821 HAS SOUS 223972 HAS SOUPS 223972 WITH SCORE 224325.821
AT ITER 4656 NEW BEST:: SOT 1153711 SOS 353819 HAS SOPS 353819 HAS SOUS 223970 HAS SOUPS 223970 WITH SCORE 224323.819
AT ITER 4668 NEW BEST:: SOT 1153703 SOS 353787 HAS SOPS 353787 HAS SOUS 223954 HAS SOUPS 223954 WITH SCORE 224307.787
AT ITER 4675 NEW BEST:: SOT 1153703 SOS 353668 HAS SOPS 353668 HAS SOUS 223835 HAS SOUPS 223835 WITH SCORE 224188.668
AT ITER 4684 NEW BEST:: SOT 1153703 SOS 353638 HAS SOPS 353638 HAS SOUS 223834 HAS SOUPS 223834 WITH SCORE 224187.638
AT ITER 4685 NEW BEST:: SOT 1153693 SOS 353623 HAS SOPS 353623 HAS SOUS 223819 HAS SOUPS 223819 WITH SCORE 224172.623
AT ITER 4695 NEW BEST:: SOT 1153670 SOS 352790 HAS SOPS 352790 HAS SOUS 223806 HAS SOUPS 223806 WITH SCORE 224158.79
AT ITER 4722 NEW BEST:: SOT 1153583 SOS 352442 HAS SOPS 352442 HAS SOUS 223632 HAS SOUPS 223632 WITH SCORE 223984.442
AT ITER 4723 NEW BEST:: SOT 1153576 SOS 352428 HAS SOPS 352428 HAS SOUS 223569 HAS SOUPS 223569 WITH SCORE 223921.428
AT ITER 4736 NEW BEST:: SOT 1153404 SOS 352256 HAS SOPS 352256 HAS SOUS 223397 HAS SOUPS 223397 WITH SCORE 223749.256
AT ITER 4742 NEW BEST:: SOT 1153404 SOS 352242 HAS SOPS 352242 HAS SOUS 223383 HAS SOUPS 223383 WITH SCORE 223735.242
AT ITER 4765 NEW BEST:: SOT 1153404 SOS 352224 HAS SOPS 352224 HAS SOUS 223365 HAS SOUPS 223365 WITH SCORE 223717.224
AT ITER 4772 NEW BEST:: SOT 1153040 SOS 351624 HAS SOPS 351624 HAS SOUS 222759 HAS SOUPS 222759 WITH SCORE 223110.624
AT ITER 4786 NEW BEST:: SOT 1153040 SOS 351600 HAS SOPS 351600 HAS SOUS 222735 HAS SOUPS 222735 WITH SCORE 223086.6
AT ITER 4843 NEW BEST:: SOT 1153039 SOS 351066 HAS SOPS 351066 HAS SOUS 222733 HAS SOUPS 222733 WITH SCORE 223084.066
AT ITER 4908 NEW BEST:: SOT 1153055 SOS 351192 HAS SOPS 351192 HAS SOUS 222678 HAS SOUPS 222678 WITH SCORE 223029.192
AT ITER 4914 NEW BEST:: SOT 1153113 SOS 351171 HAS SOPS 351171 HAS SOUS 222657 HAS SOUPS 222657 WITH SCORE 223008.171
AT ITER 4919 NEW BEST:: SOT 1153036 SOS 350678 HAS SOPS 350678 HAS SOUS 222226 HAS SOUPS 222226 WITH SCORE 222576.678
AT ITER 4929 NEW BEST:: SOT 1153036 SOS 350657 HAS SOPS 350657 HAS SOUS 222205 HAS SOUPS 222205 WITH SCORE 222555.657
AT ITER 4964 NEW BEST:: SOT 1153026 SOS 350393 HAS SOPS 350393 HAS SOUS 222055 HAS SOUPS 222055 WITH SCORE 222405.393
AT ITER 4978 NEW BEST:: SOT 1152631 SOS 349808 HAS SOPS 349808 HAS SOUS 221548 HAS SOUPS 221548 WITH SCORE 221897.808
AT ITER 4987 NEW BEST:: SOT 1152602 SOS 349778 HAS SOPS 349778 HAS SOUS 221518 HAS SOUPS 221518 WITH SCORE 221867.778
AT ITER 4996 NEW BEST:: SOT 1152546 SOS 349715 HAS SOPS 349715 HAS SOUS 221455 HAS SOUPS 221455 WITH SCORE 221804.715
AT ITER 5006 NEW BEST:: SOT 1152528 SOS 349693 HAS SOPS 349693 HAS SOUS 221433 HAS SOUPS 221433 WITH SCORE 221782.693
AT ITER 5010 NEW BEST:: SOT 1152450 SOS 349467 HAS SOPS 349467 HAS SOUS 221207 HAS SOUPS 221207 WITH SCORE 221556.467
AT ITER 5028 NEW BEST:: SOT 1152420 SOS 349407 HAS SOPS 349407 HAS SOUS 221117 HAS SOUPS 221117 WITH SCORE 221466.407
AT ITER 5043 NEW BEST:: SOT 1152593 SOS 349305 HAS SOPS 349305 HAS SOUS 221015 HAS SOUPS 221015 WITH SCORE 221364.305
AT ITER 5044 NEW BEST:: SOT 1152587 SOS 349299 HAS SOPS 349299 HAS SOUS 221009 HAS SOUPS 221009 WITH SCORE 221358.299
AT ITER 5066 NEW BEST:: SOT 1152431 SOS 349143 HAS SOPS 349143 HAS SOUS 221009 HAS SOUPS 221009 WITH SCORE 221358.143
AT ITER 5099 NEW BEST:: SOT 1152319 SOS 348929 HAS SOPS 348929 HAS SOUS 220964 HAS SOUPS 220964 WITH SCORE 221312.929
AT ITER 5110 NEW BEST:: SOT 1152243 SOS 348826 HAS SOPS 348826 HAS SOUS 220782 HAS SOUPS 220782 WITH SCORE 221130.826
AT ITER 5141 NEW BEST:: SOT 1152243 SOS 347884 HAS SOPS 347884 HAS SOUS 220755 HAS SOUPS 220755 WITH SCORE 221102.884
AT ITER 5149 NEW BEST:: SOT 1152227 SOS 347809 HAS SOPS 347809 HAS SOUS 220723 HAS SOUPS 220723 WITH SCORE 221070.809
AT ITER 5198 NEW BEST:: SOT 1152227 SOS 347669 HAS SOPS 347669 HAS SOUS 220715 HAS SOUPS 220715 WITH SCORE 221062.669
AT ITER 5231 NEW BEST:: SOT 1152227 SOS 347658 HAS SOPS 347658 HAS SOUS 220704 HAS SOUPS 220704 WITH SCORE 221051.658
AT ITER 5249 NEW BEST:: SOT 1152106 SOS 347416 HAS SOPS 347416 HAS SOUS 220341 HAS SOUPS 220341 WITH SCORE 220688.416
AT ITER 5254 NEW BEST:: SOT 1152095 SOS 347394 HAS SOPS 347394 HAS SOUS 220319 HAS SOUPS 220319 WITH SCORE 220666.394
AT ITER 5275 NEW BEST:: SOT 1152095 SOS 347199 HAS SOPS 347199 HAS SOUS 220319 HAS SOUPS 220319 WITH SCORE 220666.199
AT ITER 5276 NEW BEST:: SOT 1152004 SOS 347017 HAS SOPS 347017 HAS SOUS 220137 HAS SOUPS 220137 WITH SCORE 220484.017
AT ITER 5278 NEW BEST:: SOT 1151926 SOS 346860 HAS SOPS 346860 HAS SOUS 219980 HAS SOUPS 219980 WITH SCORE 220326.86
AT ITER 5281 NEW BEST:: SOT 1151753 SOS 346597 HAS SOPS 346597 HAS SOUS 219949 HAS SOUPS 219949 WITH SCORE 220295.597
AT ITER 5293 NEW BEST:: SOT 1151741 SOS 346573 HAS SOPS 346573 HAS SOUS 219925 HAS SOUPS 219925 WITH SCORE 220271.573
AT ITER 5303 NEW BEST:: SOT 1151741 SOS 346616 HAS SOPS 346616 HAS SOUS 219839 HAS SOUPS 219839 WITH SCORE 220185.616
AT ITER 5304 NEW BEST:: SOT 1151740 SOS 346573 HAS SOPS 346573 HAS SOUS 219796 HAS SOUPS 219796 WITH SCORE 220142.573
AT ITER 5320 NEW BEST:: SOT 1151716 SOS 346525 HAS SOPS 346525 HAS SOUS 219748 HAS SOUPS 219748 WITH SCORE 220094.525
AT ITER 5388 NEW BEST:: SOT 1151703 SOS 346687 HAS SOPS 346687 HAS SOUS 219722 HAS SOUPS 219722 WITH SCORE 220068.687
AT ITER 5404 NEW BEST:: SOT 1151701 SOS 346676 HAS SOPS 346676 HAS SOUS 219718 HAS SOUPS 219718 WITH SCORE 220064.676
AT ITER 5406 NEW BEST:: SOT 1151732 SOS 346695 HAS SOPS 346695 HAS SOUS 219709 HAS SOUPS 219709 WITH SCORE 220055.695
AT ITER 5417 NEW BEST:: SOT 1151716 SOS 346663 HAS SOPS 346663 HAS SOUS 219677 HAS SOUPS 219677 WITH SCORE 220023.663
AT ITER 5445 NEW BEST:: SOT 1151191 SOS 346138 HAS SOPS 346138 HAS SOUS 219152 HAS SOUPS 219152 WITH SCORE 219498.138
AT ITER 5455 NEW BEST:: SOT 1151152 SOS 346132 HAS SOPS 346132 HAS SOUS 219107 HAS SOUPS 219107 WITH SCORE 219453.132
AT ITER 5457 NEW BEST:: SOT 1151136 SOS 345890 HAS SOPS 345890 HAS SOUS 219075 HAS SOUPS 219075 WITH SCORE 219420.89
AT ITER 5469 NEW BEST:: SOT 1151125 SOS 345887 HAS SOPS 345887 HAS SOUS 219072 HAS SOUPS 219072 WITH SCORE 219417.887
AT ITER 5484 NEW BEST:: SOT 1151106 SOS 345827 HAS SOPS 345827 HAS SOUS 219034 HAS SOUPS 219034 WITH SCORE 219379.827
AT ITER 5498 NEW BEST:: SOT 1151012 SOS 345777 HAS SOPS 345777 HAS SOUS 218984 HAS SOUPS 218984 WITH SCORE 219329.777
AT ITER 5502 NEW BEST:: SOT 1150912 SOS 345679 HAS SOPS 345679 HAS SOUS 218886 HAS SOUPS 218886 WITH SCORE 219231.679
AT ITER 5503 NEW BEST:: SOT 1150912 SOS 345617 HAS SOPS 345617 HAS SOUS 218824 HAS SOUPS 218824 WITH SCORE 219169.617
AT ITER 5507 NEW BEST:: SOT 1150912 SOS 345005 HAS SOPS 345005 HAS SOUS 218824 HAS SOUPS 218824 WITH SCORE 219169.005
AT ITER 5520 NEW BEST:: SOT 1150912 SOS 345005 HAS SOPS 345005 HAS SOUS 218525 HAS SOUPS 218525 WITH SCORE 218870.005
AT ITER 5530 NEW BEST:: SOT 1150906 SOS 344993 HAS SOPS 344993 HAS SOUS 218519 HAS SOUPS 218519 WITH SCORE 218863.993
AT ITER 5542 NEW BEST:: SOT 1150861 SOS 344701 HAS SOPS 344701 HAS SOUS 218361 HAS SOUPS 218361 WITH SCORE 218705.701
AT ITER 5556 NEW BEST:: SOT 1150861 SOS 344665 HAS SOPS 344665 HAS SOUS 218361 HAS SOUPS 218361 WITH SCORE 218705.665
AT ITER 5559 NEW BEST:: SOT 1150778 SOS 344493 HAS SOPS 344493 HAS SOUS 216714 HAS SOUPS 216714 WITH SCORE 217058.493
AT ITER 5574 NEW BEST:: SOT 1151461 SOS 345472 HAS SOPS 345472 HAS SOUS 216655 HAS SOUPS 216655 WITH SCORE 217000.472
AT ITER 5579 NEW BEST:: SOT 1151461 SOS 345467 HAS SOPS 345467 HAS SOUS 216650 HAS SOUPS 216650 WITH SCORE 216995.467
AT ITER 5591 NEW BEST:: SOT 1151461 SOS 345496 HAS SOPS 345496 HAS SOUS 216642 HAS SOUPS 216642 WITH SCORE 216987.496
AT ITER 5603 NEW BEST:: SOT 1151450 SOS 345576 HAS SOPS 345576 HAS SOUS 216620 HAS SOUPS 216620 WITH SCORE 216965.576
AT ITER 5636 NEW BEST:: SOT 1151450 SOS 345544 HAS SOPS 345544 HAS SOUS 216588 HAS SOUPS 216588 WITH SCORE 216933.544
AT ITER 5639 NEW BEST:: SOT 1151450 SOS 345544 HAS SOPS 345544 HAS SOUS 216573 HAS SOUPS 216573 WITH SCORE 216918.544
AT ITER 5642 NEW BEST:: SOT 1151468 SOS 345586 HAS SOPS 345586 HAS SOUS 216569 HAS SOUPS 216569 WITH SCORE 216914.586
AT ITER 5645 NEW BEST:: SOT 1151468 SOS 345575 HAS SOPS 345575 HAS SOUS 216558 HAS SOUPS 216558 WITH SCORE 216903.575
AT ITER 5647 NEW BEST:: SOT 1151434 SOS 345338 HAS SOPS 345338 HAS SOUS 216491 HAS SOUPS 216491 WITH SCORE 216836.338
AT ITER 5680 NEW BEST:: SOT 1151500 SOS 345468 HAS SOPS 345468 HAS SOUS 215106 HAS SOUPS 215106 WITH SCORE 215451.468
AT ITER 5693 NEW BEST:: SOT 1151500 SOS 345441 HAS SOPS 345441 HAS SOUS 215022 HAS SOUPS 215022 WITH SCORE 215367.441
AT ITER 5709 NEW BEST:: SOT 1151448 SOS 345337 HAS SOPS 345337 HAS SOUS 214918 HAS SOUPS 214918 WITH SCORE 215263.337
AT ITER 5734 NEW BEST:: SOT 1151918 SOS 345749 HAS SOPS 345749 HAS SOUS 214848 HAS SOUPS 214848 WITH SCORE 215193.749
AT ITER 5758 NEW BEST:: SOT 1151861 SOS 345635 HAS SOPS 345635 HAS SOUS 214734 HAS SOUPS 214734 WITH SCORE 215079.635
AT ITER 5759 NEW BEST:: SOT 1151807 SOS 345554 HAS SOPS 345554 HAS SOUS 214653 HAS SOUPS 214653 WITH SCORE 214998.554
AT ITER 5763 NEW BEST:: SOT 1151783 SOS 344383 HAS SOPS 344383 HAS SOUS 214605 HAS SOUPS 214605 WITH SCORE 214949.383
AT ITER 5781 NEW BEST:: SOT 1151726 SOS 344269 HAS SOPS 344269 HAS SOUS 214491 HAS SOUPS 214491 WITH SCORE 214835.269
AT ITER 5804 NEW BEST:: SOT 1151745 SOS 344256 HAS SOPS 344256 HAS SOUS 214478 HAS SOUPS 214478 WITH SCORE 214822.256
AT ITER 5811 NEW BEST:: SOT 1151639 SOS 344036 HAS SOPS 344036 HAS SOUS 214372 HAS SOUPS 214372 WITH SCORE 214716.036
AT ITER 5841 NEW BEST:: SOT 1151597 SOS 343994 HAS SOPS 343994 HAS SOUS 214330 HAS SOUPS 214330 WITH SCORE 214673.994
AT ITER 5849 NEW BEST:: SOT 1151628 SOS 343983 HAS SOPS 343983 HAS SOUS 214319 HAS SOUPS 214319 WITH SCORE 214662.983
AT ITER 5854 NEW BEST:: SOT 1151561 SOS 343535 HAS SOPS 343535 HAS SOUS 214211 HAS SOUPS 214211 WITH SCORE 214554.535
AT ITER 5857 NEW BEST:: SOT 1151456 SOS 343325 HAS SOPS 343325 HAS SOUS 214139 HAS SOUPS 214139 WITH SCORE 214482.325
AT ITER 5859 NEW BEST:: SOT 1151396 SOS 343234 HAS SOPS 343234 HAS SOUS 214048 HAS SOUPS 214048 WITH SCORE 214391.234
AT ITER 5860 NEW BEST:: SOT 1151393 SOS 342973 HAS SOPS 342973 HAS SOUS 213787 HAS SOUPS 213787 WITH SCORE 214129.973
AT ITER 5909 NEW BEST:: SOT 1151272 SOS 342852 HAS SOPS 342852 HAS SOUS 213545 HAS SOUPS 213545 WITH SCORE 213887.852
AT ITER 5937 NEW BEST:: SOT 1151142 SOS 342710 HAS SOPS 342710 HAS SOUS 213403 HAS SOUPS 213403 WITH SCORE 213745.71
AT ITER 5983 NEW BEST:: SOT 1151134 SOS 342665 HAS SOPS 342665 HAS SOUS 213386 HAS SOUPS 213386 WITH SCORE 213728.665
AT ITER 5988 NEW BEST:: SOT 1151134 SOS 342664 HAS SOPS 342664 HAS SOUS 213385 HAS SOUPS 213385 WITH SCORE 213727.664
AT ITER 5989 NEW BEST:: SOT 1151142 SOS 342680 HAS SOPS 342680 HAS SOUS 213359 HAS SOUPS 213359 WITH SCORE 213701.68
AT ITER 6026 NEW BEST:: SOT 1150690 SOS 342056 HAS SOPS 342056 HAS SOUS 213144 HAS SOUPS 213144 WITH SCORE 213486.056
AT ITER 6109 NEW BEST:: SOT 1150346 SOS 341712 HAS SOPS 341712 HAS SOUS 212800 HAS SOUPS 212800 WITH SCORE 213141.712
AT ITER 6133 NEW BEST:: SOT 1150294 SOS 342016 HAS SOPS 342016 HAS SOUS 212747 HAS SOUPS 212747 WITH SCORE 213089.016
AT ITER 6158 NEW BEST:: SOT 1150295 SOS 341974 HAS SOPS 341974 HAS SOUS 212736 HAS SOUPS 212736 WITH SCORE 213077.974
AT ITER 6165 NEW BEST:: SOT 1150224 SOS 341879 HAS SOPS 341879 HAS SOUS 212641 HAS SOUPS 212641 WITH SCORE 212982.879
AT ITER 6167 NEW BEST:: SOT 1150177 SOS 341781 HAS SOPS 341781 HAS SOUS 212543 HAS SOUPS 212543 WITH SCORE 212884.781
AT ITER 6173 NEW BEST:: SOT 1150177 SOS 341886 HAS SOPS 341886 HAS SOUS 212415 HAS SOUPS 212415 WITH SCORE 212756.886
AT ITER 6222 NEW BEST:: SOT 1150148 SOS 341799 HAS SOPS 341799 HAS SOUS 212357 HAS SOUPS 212357 WITH SCORE 212698.799
AT ITER 6244 NEW BEST:: SOT 1149935 SOS 341149 HAS SOPS 341149 HAS SOUS 212243 HAS SOUPS 212243 WITH SCORE 212584.149
AT ITER 6248 NEW BEST:: SOT 1149898 SOS 339064 HAS SOPS 339064 HAS SOUS 211964 HAS SOUPS 211964 WITH SCORE 212303.064
AT ITER 6270 NEW BEST:: SOT 1149811 SOS 338890 HAS SOPS 338890 HAS SOUS 211877 HAS SOUPS 211877 WITH SCORE 212215.89
AT ITER 6306 NEW BEST:: SOT 1149781 SOS 338830 HAS SOPS 338830 HAS SOUS 211809 HAS SOUPS 211809 WITH SCORE 212147.83
AT ITER 6314 NEW BEST:: SOT 1149780 SOS 338829 HAS SOPS 338829 HAS SOUS 211808 HAS SOUPS 211808 WITH SCORE 212146.829
AT ITER 6333 NEW BEST:: SOT 1149752 SOS 338806 HAS SOPS 338806 HAS SOUS 211785 HAS SOUPS 211785 WITH SCORE 212123.806
AT ITER 6339 NEW BEST:: SOT 1149865 SOS 338269 HAS SOPS 338269 HAS SOUS 211684 HAS SOUPS 211684 WITH SCORE 212022.269
AT ITER 6342 NEW BEST:: SOT 1149865 SOS 338255 HAS SOPS 338255 HAS SOUS 211684 HAS SOUPS 211684 WITH SCORE 212022.255
AT ITER 6344 NEW BEST:: SOT 1149865 SOS 338235 HAS SOPS 338235 HAS SOUS 211674 HAS SOUPS 211674 WITH SCORE 212012.235
AT ITER 6350 NEW BEST:: SOT 1149840 SOS 338258 HAS SOPS 338258 HAS SOUS 211606 HAS SOUPS 211606 WITH SCORE 211944.258
AT ITER 6367 NEW BEST:: SOT 1149828 SOS 338182 HAS SOPS 338182 HAS SOUS 211335 HAS SOUPS 211335 WITH SCORE 211673.182
AT ITER 6370 NEW BEST:: SOT 1149823 SOS 338172 HAS SOPS 338172 HAS SOUS 211325 HAS SOUPS 211325 WITH SCORE 211663.172
AT ITER 6376 NEW BEST:: SOT 1149819 SOS 338040 HAS SOPS 338040 HAS SOUS 211313 HAS SOUPS 211313 WITH SCORE 211651.04
AT ITER 6380 NEW BEST:: SOT 1149752 SOS 337906 HAS SOPS 337906 HAS SOUS 211179 HAS SOUPS 211179 WITH SCORE 211516.906
AT ITER 6466 NEW BEST:: SOT 1149752 SOS 337670 HAS SOPS 337670 HAS SOUS 211165 HAS SOUPS 211165 WITH SCORE 211502.67
AT ITER 6480 NEW BEST:: SOT 1149587 SOS 337462 HAS SOPS 337462 HAS SOUS 210957 HAS SOUPS 210957 WITH SCORE 211294.462
AT ITER 6486 NEW BEST:: SOT 1149531 SOS 337063 HAS SOPS 337063 HAS SOUS 210915 HAS SOUPS 210915 WITH SCORE 211252.063
AT ITER 6505 NEW BEST:: SOT 1149530 SOS 337061 HAS SOPS 337061 HAS SOUS 210913 HAS SOUPS 210913 WITH SCORE 211250.061
AT ITER 6538 NEW BEST:: SOT 1149484 SOS 336969 HAS SOPS 336969 HAS SOUS 210821 HAS SOUPS 210821 WITH SCORE 211157.969
AT ITER 6540 NEW BEST:: SOT 1149352 SOS 336951 HAS SOPS 336951 HAS SOUS 210730 HAS SOUPS 210730 WITH SCORE 211066.951
AT ITER 6563 NEW BEST:: SOT 1149339 SOS 336930 HAS SOPS 336930 HAS SOUS 210709 HAS SOUPS 210709 WITH SCORE 211045.93
AT ITER 6564 NEW BEST:: SOT 1149351 SOS 336916 HAS SOPS 336916 HAS SOUS 210695 HAS SOUPS 210695 WITH SCORE 211031.916
AT ITER 6567 NEW BEST:: SOT 1149335 SOS 336884 HAS SOPS 336884 HAS SOUS 210663 HAS SOUPS 210663 WITH SCORE 210999.884
AT ITER 6601 NEW BEST:: SOT 1149335 SOS 336853 HAS SOPS 336853 HAS SOUS 210632 HAS SOUPS 210632 WITH SCORE 210968.853
AT ITER 6646 NEW BEST:: SOT 1149333 SOS 336976 HAS SOPS 336976 HAS SOUS 210628 HAS SOUPS 210628 WITH SCORE 210964.976
AT ITER 6711 NEW BEST:: SOT 1149204 SOS 336553 HAS SOPS 336553 HAS SOUS 210311 HAS SOUPS 210311 WITH SCORE 210647.553
AT ITER 6726 NEW BEST:: SOT 1149185 SOS 336515 HAS SOPS 336515 HAS SOUS 210273 HAS SOUPS 210273 WITH SCORE 210609.515
AT ITER 6762 NEW BEST:: SOT 1149065 SOS 336075 HAS SOPS 336075 HAS SOUS 210187 HAS SOUPS 210187 WITH SCORE 210523.075
AT ITER 6763 NEW BEST:: SOT 1149065 SOS 336075 HAS SOPS 336075 HAS SOUS 210157 HAS SOUPS 210157 WITH SCORE 210493.075
AT ITER 6784 NEW BEST:: SOT 1148966 SOS 336001 HAS SOPS 336001 HAS SOUS 210083 HAS SOUPS 210083 WITH SCORE 210419.001
AT ITER 6797 NEW BEST:: SOT 1148801 SOS 331448 HAS SOPS 331448 HAS SOUS 209712 HAS SOUPS 209712 WITH SCORE 210043.448
AT ITER 6810 NEW BEST:: SOT 1148628 SOS 331308 HAS SOPS 331308 HAS SOUS 209541 HAS SOUPS 209541 WITH SCORE 209872.308
AT ITER 6815 NEW BEST:: SOT 1148606 SOS 331264 HAS SOPS 331264 HAS SOUS 209497 HAS SOUPS 209497 WITH SCORE 209828.264
AT ITER 6819 NEW BEST:: SOT 1148605 SOS 331263 HAS SOPS 331263 HAS SOUS 209495 HAS SOUPS 209495 WITH SCORE 209826.263
AT ITER 6842 NEW BEST:: SOT 1148593 SOS 331239 HAS SOPS 331239 HAS SOUS 209471 HAS SOUPS 209471 WITH SCORE 209802.239
AT ITER 6846 NEW BEST:: SOT 1148583 SOS 331171 HAS SOPS 331171 HAS SOUS 209451 HAS SOUPS 209451 WITH SCORE 209782.171
AT ITER 6852 NEW BEST:: SOT 1148572 SOS 331149 HAS SOPS 331149 HAS SOUS 209429 HAS SOUPS 209429 WITH SCORE 209760.149
AT ITER 6859 NEW BEST:: SOT 1148526 SOS 331103 HAS SOPS 331103 HAS SOUS 209015 HAS SOUPS 209015 WITH SCORE 209346.103
AT ITER 6873 NEW BEST:: SOT 1147772 SOS 332466 HAS SOPS 332466 HAS SOUS 208794 HAS SOUPS 208794 WITH SCORE 209126.466
AT ITER 6895 NEW BEST:: SOT 1147766 SOS 332461 HAS SOPS 332461 HAS SOUS 208789 HAS SOUPS 208789 WITH SCORE 209121.461
AT ITER 6906 NEW BEST:: SOT 1147707 SOS 332398 HAS SOPS 332398 HAS SOUS 208726 HAS SOUPS 208726 WITH SCORE 209058.398
AT ITER 6907 NEW BEST:: SOT 1147707 SOS 332398 HAS SOPS 332398 HAS SOUS 208604 HAS SOUPS 208604 WITH SCORE 208936.398
AT ITER 6910 NEW BEST:: SOT 1147934 SOS 333490 HAS SOPS 333490 HAS SOUS 207841 HAS SOUPS 207841 WITH SCORE 208174.49
AT ITER 6956 NEW BEST:: SOT 1147934 SOS 333456 HAS SOPS 333456 HAS SOUS 207807 HAS SOUPS 207807 WITH SCORE 208140.456
AT ITER 6958 NEW BEST:: SOT 1148096 SOS 333178 HAS SOPS 333178 HAS SOUS 207643 HAS SOUPS 207643 WITH SCORE 207976.178
AT ITER 6963 NEW BEST:: SOT 1148056 SOS 333086 HAS SOPS 333086 HAS SOUS 207551 HAS SOUPS 207551 WITH SCORE 207884.086
AT ITER 6965 NEW BEST:: SOT 1148054 SOS 333082 HAS SOPS 333082 HAS SOUS 207550 HAS SOUPS 207550 WITH SCORE 207883.082
AT ITER 6967 NEW BEST:: SOT 1148051 SOS 332955 HAS SOPS 332955 HAS SOUS 207537 HAS SOUPS 207537 WITH SCORE 207869.955
AT ITER 6979 NEW BEST:: SOT 1148055 SOS 332866 HAS SOPS 332866 HAS SOUS 207428 HAS SOUPS 207428 WITH SCORE 207760.866
AT ITER 6983 NEW BEST:: SOT 1148031 SOS 332818 HAS SOPS 332818 HAS SOUS 207380 HAS SOUPS 207380 WITH SCORE 207712.818
AT ITER 6993 NEW BEST:: SOT 1147903 SOS 332662 HAS SOPS 332662 HAS SOUS 207224 HAS SOUPS 207224 WITH SCORE 207556.662
AT ITER 7008 NEW BEST:: SOT 1147903 SOS 332650 HAS SOPS 332650 HAS SOUS 207222 HAS SOUPS 207222 WITH SCORE 207554.65
AT ITER 7013 NEW BEST:: SOT 1147702 SOS 332449 HAS SOPS 332449 HAS SOUS 206971 HAS SOUPS 206971 WITH SCORE 207303.449
AT ITER 7032 NEW BEST:: SOT 1147683 SOS 332383 HAS SOPS 332383 HAS SOUS 206956 HAS SOUPS 206956 WITH SCORE 207288.383
AT ITER 7051 NEW BEST:: SOT 1147674 SOS 332365 HAS SOPS 332365 HAS SOUS 206938 HAS SOUPS 206938 WITH SCORE 207270.365
AT ITER 7058 NEW BEST:: SOT 1147674 SOS 332335 HAS SOPS 332335 HAS SOUS 206908 HAS SOUPS 206908 WITH SCORE 207240.335
AT ITER 7063 NEW BEST:: SOT 1147402 SOS 332046 HAS SOPS 332046 HAS SOUS 206619 HAS SOUPS 206619 WITH SCORE 206951.046
AT ITER 7069 NEW BEST:: SOT 1147400 SOS 332082 HAS SOPS 332082 HAS SOUS 206617 HAS SOUPS 206617 WITH SCORE 206949.082
AT ITER 7083 NEW BEST:: SOT 1147395 SOS 332067 HAS SOPS 332067 HAS SOUS 206607 HAS SOUPS 206607 WITH SCORE 206939.067
AT ITER 7090 NEW BEST:: SOT 1147354 SOS 331985 HAS SOPS 331985 HAS SOUS 206525 HAS SOUPS 206525 WITH SCORE 206856.985
AT ITER 7118 NEW BEST:: SOT 1147254 SOS 331745 HAS SOPS 331745 HAS SOUS 206285 HAS SOUPS 206285 WITH SCORE 206616.745
AT ITER 7120 NEW BEST:: SOT 1147199 SOS 331712 HAS SOPS 331712 HAS SOUS 206252 HAS SOUPS 206252 WITH SCORE 206583.712
AT ITER 7135 NEW BEST:: SOT 1146973 SOS 331602 HAS SOPS 331602 HAS SOUS 206004 HAS SOUPS 206004 WITH SCORE 206335.602
AT ITER 7145 NEW BEST:: SOT 1146940 SOS 331569 HAS SOPS 331569 HAS SOUS 205971 HAS SOUPS 205971 WITH SCORE 206302.569
AT ITER 7153 NEW BEST:: SOT 1146874 SOS 331509 HAS SOPS 331509 HAS SOUS 205911 HAS SOUPS 205911 WITH SCORE 206242.509
AT ITER 7157 NEW BEST:: SOT 1146432 SOS 331281 HAS SOPS 331281 HAS SOUS 205650 HAS SOUPS 205650 WITH SCORE 205981.281
AT ITER 7162 NEW BEST:: SOT 1146432 SOS 331337 HAS SOPS 331337 HAS SOUS 205609 HAS SOUPS 205609 WITH SCORE 205940.337
AT ITER 7180 NEW BEST:: SOT 1146356 SOS 331280 HAS SOPS 331280 HAS SOUS 205533 HAS SOUPS 205533 WITH SCORE 205864.28
AT ITER 7184 NEW BEST:: SOT 1146350 SOS 331268 HAS SOPS 331268 HAS SOUS 205521 HAS SOUPS 205521 WITH SCORE 205852.268
AT ITER 7220 NEW BEST:: SOT 1146336 SOS 330934 HAS SOPS 330934 HAS SOUS 205332 HAS SOUPS 205332 WITH SCORE 205662.934
AT ITER 7247 NEW BEST:: SOT 1146336 SOS 330804 HAS SOPS 330804 HAS SOUS 205202 HAS SOUPS 205202 WITH SCORE 205532.804
AT ITER 7250 NEW BEST:: SOT 1146333 SOS 330801 HAS SOPS 330801 HAS SOUS 205202 HAS SOUPS 205202 WITH SCORE 205532.801
AT ITER 7254 NEW BEST:: SOT 1146333 SOS 330795 HAS SOPS 330795 HAS SOUS 205196 HAS SOUPS 205196 WITH SCORE 205526.795
AT ITER 7267 NEW BEST:: SOT 1146323 SOS 330767 HAS SOPS 330767 HAS SOUS 203554 HAS SOUPS 203554 WITH SCORE 203884.767
AT ITER 7272 NEW BEST:: SOT 1146323 SOS 333108 HAS SOPS 333108 HAS SOUS 203471 HAS SOUPS 203471 WITH SCORE 203804.108
AT ITER 7281 NEW BEST:: SOT 1144908 SOS 331693 HAS SOPS 331693 HAS SOUS 202056 HAS SOUPS 202056 WITH SCORE 202387.693
AT ITER 7288 NEW BEST:: SOT 1144922 SOS 331624 HAS SOPS 331624 HAS SOUS 201990 HAS SOUPS 201990 WITH SCORE 202321.624
AT ITER 7323 NEW BEST:: SOT 1144778 SOS 331489 HAS SOPS 331489 HAS SOUS 201855 HAS SOUPS 201855 WITH SCORE 202186.489
AT ITER 7327 NEW BEST:: SOT 1144778 SOS 331409 HAS SOPS 331409 HAS SOUS 201855 HAS SOUPS 201855 WITH SCORE 202186.409
AT ITER 7353 NEW BEST:: SOT 1144678 SOS 331209 HAS SOPS 331209 HAS SOUS 201620 HAS SOUPS 201620 WITH SCORE 201951.209
AT ITER 7355 NEW BEST:: SOT 1144678 SOS 331206 HAS SOPS 331206 HAS SOUS 201617 HAS SOUPS 201617 WITH SCORE 201948.206
AT ITER 7357 NEW BEST:: SOT 1144678 SOS 331140 HAS SOPS 331140 HAS SOUS 201551 HAS SOUPS 201551 WITH SCORE 201882.14
AT ITER 7361 NEW BEST:: SOT 1144540 SOS 331002 HAS SOPS 331002 HAS SOUS 201376 HAS SOUPS 201376 WITH SCORE 201707.002
AT ITER 7365 NEW BEST:: SOT 1144528 SOS 330948 HAS SOPS 330948 HAS SOUS 201352 HAS SOUPS 201352 WITH SCORE 201682.948
AT ITER 7381 NEW BEST:: SOT 1144316 SOS 331230 HAS SOPS 331230 HAS SOUS 201202 HAS SOUPS 201202 WITH SCORE 201533.23
AT ITER 7399 NEW BEST:: SOT 1144315 SOS 331229 HAS SOPS 331229 HAS SOUS 201201 HAS SOUPS 201201 WITH SCORE 201532.229
AT ITER 7411 NEW BEST:: SOT 1144317 SOS 331182 HAS SOPS 331182 HAS SOUS 201188 HAS SOUPS 201188 WITH SCORE 201519.182
AT ITER 7414 NEW BEST:: SOT 1144316 SOS 331137 HAS SOPS 331137 HAS SOUS 201152 HAS SOUPS 201152 WITH SCORE 201483.137
AT ITER 7420 NEW BEST:: SOT 1144315 SOS 330960 HAS SOPS 330960 HAS SOUS 201150 HAS SOUPS 201150 WITH SCORE 201480.96
AT ITER 7439 NEW BEST:: SOT 1144298 SOS 330434 HAS SOPS 330434 HAS SOUS 201116 HAS SOUPS 201116 WITH SCORE 201446.434
AT ITER 7456 NEW BEST:: SOT 1144163 SOS 330777 HAS SOPS 330777 HAS SOUS 200885 HAS SOUPS 200885 WITH SCORE 201215.777
AT ITER 7472 NEW BEST:: SOT 1144153 SOS 330767 HAS SOPS 330767 HAS SOUS 200875 HAS SOUPS 200875 WITH SCORE 201205.767
AT ITER 7478 NEW BEST:: SOT 1144153 SOS 330737 HAS SOPS 330737 HAS SOUS 200875 HAS SOUPS 200875 WITH SCORE 201205.737
AT ITER 7479 NEW BEST:: SOT 1143996 SOS 330413 HAS SOPS 330413 HAS SOUS 200719 HAS SOUPS 200719 WITH SCORE 201049.413
AT ITER 7486 NEW BEST:: SOT 1143996 SOS 330401 HAS SOPS 330401 HAS SOUS 200707 HAS SOUPS 200707 WITH SCORE 201037.401
AT ITER 7495 NEW BEST:: SOT 1143981 SOS 330301 HAS SOPS 330301 HAS SOUS 200642 HAS SOUPS 200642 WITH SCORE 200972.301
AT ITER 7504 NEW BEST:: SOT 1143902 SOS 330221 HAS SOPS 330221 HAS SOUS 200562 HAS SOUPS 200562 WITH SCORE 200892.221
AT ITER 7521 NEW BEST:: SOT 1143894 SOS 330204 HAS SOPS 330204 HAS SOUS 200545 HAS SOUPS 200545 WITH SCORE 200875.204
AT ITER 7524 NEW BEST:: SOT 1143819 SOS 330097 HAS SOPS 330097 HAS SOUS 200438 HAS SOUPS 200438 WITH SCORE 200768.097
AT ITER 7556 NEW BEST:: SOT 1143770 SOS 330048 HAS SOPS 330048 HAS SOUS 200389 HAS SOUPS 200389 WITH SCORE 200719.048
AT ITER 7567 NEW BEST:: SOT 1143770 SOS 329586 HAS SOPS 329586 HAS SOUS 200389 HAS SOUPS 200389 WITH SCORE 200718.586
AT ITER 7571 NEW BEST:: SOT 1143734 SOS 329556 HAS SOPS 329556 HAS SOUS 200349 HAS SOUPS 200349 WITH SCORE 200678.556
AT ITER 7586 NEW BEST:: SOT 1143726 SOS 329548 HAS SOPS 329548 HAS SOUS 200333 HAS SOUPS 200333 WITH SCORE 200662.548
AT ITER 7607 NEW BEST:: SOT 1143726 SOS 329545 HAS SOPS 329545 HAS SOUS 200330 HAS SOUPS 200330 WITH SCORE 200659.545
AT ITER 7617 NEW BEST:: SOT 1143714 SOS 329526 HAS SOPS 329526 HAS SOUS 200311 HAS SOUPS 200311 WITH SCORE 200640.526
AT ITER 7621 NEW BEST:: SOT 1143681 SOS 329246 HAS SOPS 329246 HAS SOUS 200255 HAS SOUPS 200255 WITH SCORE 200584.246
AT ITER 7638 NEW BEST:: SOT 1143688 SOS 329160 HAS SOPS 329160 HAS SOUS 200107 HAS SOUPS 200107 WITH SCORE 200436.16
AT ITER 7645 NEW BEST:: SOT 1143688 SOS 329158 HAS SOPS 329158 HAS SOUS 200105 HAS SOUPS 200105 WITH SCORE 200434.158
AT ITER 7658 NEW BEST:: SOT 1143615 SOS 329085 HAS SOPS 329085 HAS SOUS 199959 HAS SOUPS 199959 WITH SCORE 200288.085
AT ITER 7659 NEW BEST:: SOT 1143584 SOS 328902 HAS SOPS 328902 HAS SOUS 199959 HAS SOUPS 199959 WITH SCORE 200287.902
AT ITER 7665 NEW BEST:: SOT 1143386 SOS 328754 HAS SOPS 328754 HAS SOUS 199777 HAS SOUPS 199777 WITH SCORE 200105.754
AT ITER 7684 NEW BEST:: SOT 1143386 SOS 328752 HAS SOPS 328752 HAS SOUS 199776 HAS SOUPS 199776 WITH SCORE 200104.752
AT ITER 7697 NEW BEST:: SOT 1143369 SOS 328735 HAS SOPS 328735 HAS SOUS 199722 HAS SOUPS 199722 WITH SCORE 200050.735
AT ITER 7703 NEW BEST:: SOT 1143183 SOS 328579 HAS SOPS 328579 HAS SOUS 199518 HAS SOUPS 199518 WITH SCORE 199846.579
AT ITER 7714 NEW BEST:: SOT 1143206 SOS 328625 HAS SOPS 328625 HAS SOUS 199401 HAS SOUPS 199401 WITH SCORE 199729.625
AT ITER 7727 NEW BEST:: SOT 1143195 SOS 328614 HAS SOPS 328614 HAS SOUS 199379 HAS SOUPS 199379 WITH SCORE 199707.614
AT ITER 7744 NEW BEST:: SOT 1143101 SOS 328500 HAS SOPS 328500 HAS SOUS 199127 HAS SOUPS 199127 WITH SCORE 199455.5
AT ITER 7746 NEW BEST:: SOT 1143097 SOS 328492 HAS SOPS 328492 HAS SOUS 199119 HAS SOUPS 199119 WITH SCORE 199447.492
AT ITER 7801 NEW BEST:: SOT 1143109 SOS 328432 HAS SOPS 328432 HAS SOUS 199059 HAS SOUPS 199059 WITH SCORE 199387.432
AT ITER 7803 NEW BEST:: SOT 1143109 SOS 328372 HAS SOPS 328372 HAS SOUS 198999 HAS SOUPS 198999 WITH SCORE 199327.372
AT ITER 7805 NEW BEST:: SOT 1143095 SOS 328327 HAS SOPS 328327 HAS SOUS 198954 HAS SOUPS 198954 WITH SCORE 199282.327
AT ITER 7811 NEW BEST:: SOT 1143078 SOS 328293 HAS SOPS 328293 HAS SOUS 198920 HAS SOUPS 198920 WITH SCORE 199248.293
AT ITER 7830 NEW BEST:: SOT 1142980 SOS 328321 HAS SOPS 328321 HAS SOUS 198697 HAS SOUPS 198697 WITH SCORE 199025.321
AT ITER 7854 NEW BEST:: SOT 1142968 SOS 328303 HAS SOPS 328303 HAS SOUS 198685 HAS SOUPS 198685 WITH SCORE 199013.303
AT ITER 7866 NEW BEST:: SOT 1142935 SOS 328232 HAS SOPS 328232 HAS SOUS 198648 HAS SOUPS 198648 WITH SCORE 198976.232
AT ITER 7868 NEW BEST:: SOT 1142897 SOS 328193 HAS SOPS 328193 HAS SOUS 198609 HAS SOUPS 198609 WITH SCORE 198937.193
AT ITER 7886 NEW BEST:: SOT 1142584 SOS 327241 HAS SOPS 327241 HAS SOUS 198151 HAS SOUPS 198151 WITH SCORE 198478.241
AT ITER 7917 NEW BEST:: SOT 1142462 SOS 326880 HAS SOPS 326880 HAS SOUS 198060 HAS SOUPS 198060 WITH SCORE 198386.88
AT ITER 7925 NEW BEST:: SOT 1142423 SOS 326841 HAS SOPS 326841 HAS SOUS 198021 HAS SOUPS 198021 WITH SCORE 198347.841
AT ITER 7942 NEW BEST:: SOT 1142423 SOS 326729 HAS SOPS 326729 HAS SOUS 197909 HAS SOUPS 197909 WITH SCORE 198235.729
AT ITER 7947 NEW BEST:: SOT 1142396 SOS 326703 HAS SOPS 326703 HAS SOUS 197883 HAS SOUPS 197883 WITH SCORE 198209.703
AT ITER 7985 NEW BEST:: SOT 1142191 SOS 326498 HAS SOPS 326498 HAS SOUS 197678 HAS SOUPS 197678 WITH SCORE 198004.498
AT ITER 8054 NEW BEST:: SOT 1142154 SOS 326457 HAS SOPS 326457 HAS SOUS 197637 HAS SOUPS 197637 WITH SCORE 197963.457
AT ITER 8070 NEW BEST:: SOT 1142205 SOS 326425 HAS SOPS 326425 HAS SOUS 197601 HAS SOUPS 197601 WITH SCORE 197927.425
AT ITER 8081 NEW BEST:: SOT 1142134 SOS 326323 HAS SOPS 326323 HAS SOUS 197499 HAS SOUPS 197499 WITH SCORE 197825.323
AT ITER 8086 NEW BEST:: SOT 1142121 SOS 326310 HAS SOPS 326310 HAS SOUS 197486 HAS SOUPS 197486 WITH SCORE 197812.31
AT ITER 8097 NEW BEST:: SOT 1142029 SOS 326262 HAS SOPS 326262 HAS SOUS 197302 HAS SOUPS 197302 WITH SCORE 197628.262
AT ITER 8100 NEW BEST:: SOT 1141853 SOS 326064 HAS SOPS 326064 HAS SOUS 197104 HAS SOUPS 197104 WITH SCORE 197430.064
AT ITER 8104 NEW BEST:: SOT 1141728 SOS 325598 HAS SOPS 325598 HAS SOUS 196987 HAS SOUPS 196987 WITH SCORE 197312.598
AT ITER 8105 NEW BEST:: SOT 1141543 SOS 326829 HAS SOPS 326829 HAS SOUS 196802 HAS SOUPS 196802 WITH SCORE 197128.829
AT ITER 8114 NEW BEST:: SOT 1141553 SOS 326753 HAS SOPS 326753 HAS SOUS 196790 HAS SOUPS 196790 WITH SCORE 197116.753
AT ITER 8115 NEW BEST:: SOT 1141553 SOS 326658 HAS SOPS 326658 HAS SOUS 196695 HAS SOUPS 196695 WITH SCORE 197021.658
AT ITER 8148 NEW BEST:: SOT 1141523 SOS 326598 HAS SOPS 326598 HAS SOUS 196635 HAS SOUPS 196635 WITH SCORE 196961.598
AT ITER 8164 NEW BEST:: SOT 1141515 SOS 326580 HAS SOPS 326580 HAS SOUS 196621 HAS SOUPS 196621 WITH SCORE 196947.58
AT ITER 8165 NEW BEST:: SOT 1141414 SOS 326475 HAS SOPS 326475 HAS SOUS 196419 HAS SOUPS 196419 WITH SCORE 196745.475
AT ITER 8169 NEW BEST:: SOT 1141414 SOS 326427 HAS SOPS 326427 HAS SOUS 196419 HAS SOUPS 196419 WITH SCORE 196745.427
AT ITER 8186 NEW BEST:: SOT 1141389 SOS 326402 HAS SOPS 326402 HAS SOUS 196344 HAS SOUPS 196344 WITH SCORE 196670.402
AT ITER 8194 NEW BEST:: SOT 1141306 SOS 325738 HAS SOPS 325738 HAS SOUS 196095 HAS SOUPS 196095 WITH SCORE 196420.738
AT ITER 8200 NEW BEST:: SOT 1141306 SOS 325678 HAS SOPS 325678 HAS SOUS 196085 HAS SOUPS 196085 WITH SCORE 196410.678
AT ITER 8212 NEW BEST:: SOT 1141306 SOS 325674 HAS SOPS 325674 HAS SOUS 196077 HAS SOUPS 196077 WITH SCORE 196402.674
AT ITER 8248 NEW BEST:: SOT 1141306 SOS 325634 HAS SOPS 325634 HAS SOUS 196037 HAS SOUPS 196037 WITH SCORE 196362.634
AT ITER 8278 NEW BEST:: SOT 1141273 SOS 325568 HAS SOPS 325568 HAS SOUS 195971 HAS SOUPS 195971 WITH SCORE 196296.568
AT ITER 8343 NEW BEST:: SOT 1141256 SOS 325556 HAS SOPS 325556 HAS SOUS 195959 HAS SOUPS 195959 WITH SCORE 196284.556
AT ITER 8362 NEW BEST:: SOT 1141240 SOS 325540 HAS SOPS 325540 HAS SOUS 195943 HAS SOUPS 195943 WITH SCORE 196268.54
AT ITER 8405 NEW BEST:: SOT 1141242 SOS 325544 HAS SOPS 325544 HAS SOUS 195919 HAS SOUPS 195919 WITH SCORE 196244.544
AT ITER 8413 NEW BEST:: SOT 1141242 SOS 325529 HAS SOPS 325529 HAS SOUS 195904 HAS SOUPS 195904 WITH SCORE 196229.529
AT ITER 8444 NEW BEST:: SOT 1141204 SOS 325576 HAS SOPS 325576 HAS SOUS 195866 HAS SOUPS 195866 WITH SCORE 196191.576
AT ITER 8470 NEW BEST:: SOT 1141204 SOS 325519 HAS SOPS 325519 HAS SOUS 195809 HAS SOUPS 195809 WITH SCORE 196134.519
AT ITER 8483 NEW BEST:: SOT 1141204 SOS 325442 HAS SOPS 325442 HAS SOUS 195730 HAS SOUPS 195730 WITH SCORE 196055.442
AT ITER 8491 NEW BEST:: SOT 1141204 SOS 325442 HAS SOPS 325442 HAS SOUS 195719 HAS SOUPS 195719 WITH SCORE 196044.442
AT ITER 8493 NEW BEST:: SOT 1141125 SOS 324663 HAS SOPS 324663 HAS SOUS 195561 HAS SOUPS 195561 WITH SCORE 195885.663
AT ITER 8496 NEW BEST:: SOT 1141125 SOS 324662 HAS SOPS 324662 HAS SOUS 195560 HAS SOUPS 195560 WITH SCORE 195884.662
AT ITER 8515 NEW BEST:: SOT 1141158 SOS 324661 HAS SOPS 324661 HAS SOUS 195559 HAS SOUPS 195559 WITH SCORE 195883.661
AT ITER 8556 NEW BEST:: SOT 1141165 SOS 324330 HAS SOPS 324330 HAS SOUS 195228 HAS SOUPS 195228 WITH SCORE 195552.33
AT ITER 8599 NEW BEST:: SOT 1140903 SOS 324068 HAS SOPS 324068 HAS SOUS 194966 HAS SOUPS 194966 WITH SCORE 195290.068
AT ITER 8609 NEW BEST:: SOT 1140894 SOS 324050 HAS SOPS 324050 HAS SOUS 194948 HAS SOUPS 194948 WITH SCORE 195272.05
AT ITER 8642 NEW BEST:: SOT 1140838 SOS 323998 HAS SOPS 323998 HAS SOUS 194867 HAS SOUPS 194867 WITH SCORE 195190.998
AT ITER 8670 NEW BEST:: SOT 1140838 SOS 323960 HAS SOPS 323960 HAS SOUS 194783 HAS SOUPS 194783 WITH SCORE 195106.96
AT ITER 8686 NEW BEST:: SOT 1140801 SOS 323886 HAS SOPS 323886 HAS SOUS 194676 HAS SOUPS 194676 WITH SCORE 194999.886
AT ITER 8694 NEW BEST:: SOT 1140790 SOS 323147 HAS SOPS 323147 HAS SOUS 194665 HAS SOUPS 194665 WITH SCORE 194988.147
AT ITER 8706 NEW BEST:: SOT 1140747 SOS 323178 HAS SOPS 323178 HAS SOUS 194595 HAS SOUPS 194595 WITH SCORE 194918.178
AT ITER 8717 NEW BEST:: SOT 1140722 SOS 323328 HAS SOPS 323328 HAS SOUS 194520 HAS SOUPS 194520 WITH SCORE 194843.328
AT ITER 8722 NEW BEST:: SOT 1140749 SOS 323068 HAS SOPS 323068 HAS SOUS 194465 HAS SOUPS 194465 WITH SCORE 194788.068
AT ITER 8739 NEW BEST:: SOT 1140726 SOS 322912 HAS SOPS 322912 HAS SOUS 194309 HAS SOUPS 194309 WITH SCORE 194631.912
AT ITER 8743 NEW BEST:: SOT 1140726 SOS 322902 HAS SOPS 322902 HAS SOUS 194307 HAS SOUPS 194307 WITH SCORE 194629.902
AT ITER 8745 NEW BEST:: SOT 1140724 SOS 322776 HAS SOPS 322776 HAS SOUS 194181 HAS SOUPS 194181 WITH SCORE 194503.776
AT ITER 8754 NEW BEST:: SOT 1140734 SOS 322146 HAS SOPS 322146 HAS SOUS 194113 HAS SOUPS 194113 WITH SCORE 194435.146
AT ITER 8760 NEW BEST:: SOT 1140734 SOS 322063 HAS SOPS 322063 HAS SOUS 194103 HAS SOUPS 194103 WITH SCORE 194425.063
AT ITER 8761 NEW BEST:: SOT 1140719 SOS 322168 HAS SOPS 322168 HAS SOUS 194088 HAS SOUPS 194088 WITH SCORE 194410.168
AT ITER 8773 NEW BEST:: SOT 1140672 SOS 322074 HAS SOPS 322074 HAS SOUS 193994 HAS SOUPS 193994 WITH SCORE 194316.074
AT ITER 8779 NEW BEST:: SOT 1140628 SOS 321945 HAS SOPS 321945 HAS SOUS 193865 HAS SOUPS 193865 WITH SCORE 194186.945
AT ITER 8787 NEW BEST:: SOT 1140597 SOS 321467 HAS SOPS 321467 HAS SOUS 193754 HAS SOUPS 193754 WITH SCORE 194075.467
AT ITER 8795 NEW BEST:: SOT 1140582 SOS 321059 HAS SOPS 321059 HAS SOUS 193724 HAS SOUPS 193724 WITH SCORE 194045.059
AT ITER 8807 NEW BEST:: SOT 1140418 SOS 320823 HAS SOPS 320823 HAS SOUS 193648 HAS SOUPS 193648 WITH SCORE 193968.823
AT ITER 8820 NEW BEST:: SOT 1140404 SOS 320682 HAS SOPS 320682 HAS SOUS 193507 HAS SOUPS 193507 WITH SCORE 193827.682
AT ITER 8823 NEW BEST:: SOT 1140404 SOS 320666 HAS SOPS 320666 HAS SOUS 193491 HAS SOUPS 193491 WITH SCORE 193811.666
AT ITER 8832 NEW BEST:: SOT 1140361 SOS 320623 HAS SOPS 320623 HAS SOUS 193417 HAS SOUPS 193417 WITH SCORE 193737.623
AT ITER 8859 NEW BEST:: SOT 1140337 SOS 320036 HAS SOPS 320036 HAS SOUS 193215 HAS SOUPS 193215 WITH SCORE 193535.036
AT ITER 8884 NEW BEST:: SOT 1140304 SOS 320003 HAS SOPS 320003 HAS SOUS 193128 HAS SOUPS 193128 WITH SCORE 193448.003
AT ITER 8885 NEW BEST:: SOT 1140301 SOS 319917 HAS SOPS 319917 HAS SOUS 193046 HAS SOUPS 193046 WITH SCORE 193365.917
AT ITER 8907 NEW BEST:: SOT 1140301 SOS 319907 HAS SOPS 319907 HAS SOUS 193046 HAS SOUPS 193046 WITH SCORE 193365.907
AT ITER 8910 NEW BEST:: SOT 1140174 SOS 319780 HAS SOPS 319780 HAS SOUS 192792 HAS SOUPS 192792 WITH SCORE 193111.78
AT ITER 8927 NEW BEST:: SOT 1140233 SOS 319616 HAS SOPS 319616 HAS SOUS 192765 HAS SOUPS 192765 WITH SCORE 193084.616
AT ITER 8934 NEW BEST:: SOT 1140233 SOS 319411 HAS SOPS 319411 HAS SOUS 192724 HAS SOUPS 192724 WITH SCORE 193043.411
AT ITER 8947 NEW BEST:: SOT 1140083 SOS 319261 HAS SOPS 319261 HAS SOUS 192420 HAS SOUPS 192420 WITH SCORE 192739.261
AT ITER 8969 NEW BEST:: SOT 1139756 SOS 319083 HAS SOPS 319083 HAS SOUS 192200 HAS SOUPS 192200 WITH SCORE 192519.083
AT ITER 9012 NEW BEST:: SOT 1139761 SOS 318729 HAS SOPS 318729 HAS SOUS 192169 HAS SOUPS 192169 WITH SCORE 192487.729
AT ITER 9036 NEW BEST:: SOT 1139737 SOS 317969 HAS SOPS 317969 HAS SOUS 192119 HAS SOUPS 192119 WITH SCORE 192436.969
AT ITER 9054 NEW BEST:: SOT 1139737 SOS 317828 HAS SOPS 317828 HAS SOUS 191978 HAS SOUPS 191978 WITH SCORE 192295.828
AT ITER 9078 NEW BEST:: SOT 1139697 SOS 317796 HAS SOPS 317796 HAS SOUS 191946 HAS SOUPS 191946 WITH SCORE 192263.796
AT ITER 9084 NEW BEST:: SOT 1139697 SOS 317757 HAS SOPS 317757 HAS SOUS 191946 HAS SOUPS 191946 WITH SCORE 192263.757
AT ITER 9095 NEW BEST:: SOT 1139544 SOS 317456 HAS SOPS 317456 HAS SOUS 191339 HAS SOUPS 191339 WITH SCORE 191656.456
AT ITER 9101 NEW BEST:: SOT 1139544 SOS 317415 HAS SOPS 317415 HAS SOUS 191298 HAS SOUPS 191298 WITH SCORE 191615.415
AT ITER 9122 NEW BEST:: SOT 1139532 SOS 317391 HAS SOPS 317391 HAS SOUS 191274 HAS SOUPS 191274 WITH SCORE 191591.391
AT ITER 9209 NEW BEST:: SOT 1139538 SOS 317366 HAS SOPS 317366 HAS SOUS 191249 HAS SOUPS 191249 WITH SCORE 191566.366
AT ITER 9229 NEW BEST:: SOT 1139520 SOS 317348 HAS SOPS 317348 HAS SOUS 191249 HAS SOUPS 191249 WITH SCORE 191566.348
AT ITER 9264 NEW BEST:: SOT 1139520 SOS 316652 HAS SOPS 316652 HAS SOUS 191162 HAS SOUPS 191162 WITH SCORE 191478.652
AT ITER 9266 NEW BEST:: SOT 1139472 SOS 316556 HAS SOPS 316556 HAS SOUS 191018 HAS SOUPS 191018 WITH SCORE 191334.556
AT ITER 9275 NEW BEST:: SOT 1139472 SOS 316556 HAS SOPS 316556 HAS SOUS 190682 HAS SOUPS 190682 WITH SCORE 190998.556
AT ITER 9276 NEW BEST:: SOT 1139456 SOS 316540 HAS SOPS 316540 HAS SOUS 190650 HAS SOUPS 190650 WITH SCORE 190966.54
AT ITER 9281 NEW BEST:: SOT 1139406 SOS 316444 HAS SOPS 316444 HAS SOUS 190560 HAS SOUPS 190560 WITH SCORE 190876.444
AT ITER 9290 NEW BEST:: SOT 1139390 SOS 316412 HAS SOPS 316412 HAS SOUS 190180 HAS SOUPS 190180 WITH SCORE 190496.412
AT ITER 9303 NEW BEST:: SOT 1139386 SOS 316408 HAS SOPS 316408 HAS SOUS 190176 HAS SOUPS 190176 WITH SCORE 190492.408
AT ITER 9316 NEW BEST:: SOT 1139417 SOS 316377 HAS SOPS 316377 HAS SOUS 190145 HAS SOUPS 190145 WITH SCORE 190461.377
AT ITER 9327 NEW BEST:: SOT 1139103 SOS 316932 HAS SOPS 316932 HAS SOUS 190031 HAS SOUPS 190031 WITH SCORE 190347.932
AT ITER 9340 NEW BEST:: SOT 1139071 SOS 316836 HAS SOPS 316836 HAS SOUS 189967 HAS SOUPS 189967 WITH SCORE 190283.836
AT ITER 9352 NEW BEST:: SOT 1138969 SOS 316859 HAS SOPS 316859 HAS SOUS 189831 HAS SOUPS 189831 WITH SCORE 190147.859
AT ITER 9354 NEW BEST:: SOT 1138974 SOS 316896 HAS SOPS 316896 HAS SOUS 189444 HAS SOUPS 189444 WITH SCORE 189760.896
AT ITER 9367 NEW BEST:: SOT 1139036 SOS 316920 HAS SOPS 316920 HAS SOUS 189369 HAS SOUPS 189369 WITH SCORE 189685.92
AT ITER 9370 NEW BEST:: SOT 1139025 SOS 316917 HAS SOPS 316917 HAS SOUS 189366 HAS SOUPS 189366 WITH SCORE 189682.917
AT ITER 9381 NEW BEST:: SOT 1139105 SOS 317008 HAS SOPS 317008 HAS SOUS 189225 HAS SOUPS 189225 WITH SCORE 189542.008
AT ITER 9394 NEW BEST:: SOT 1139105 SOS 316960 HAS SOPS 316960 HAS SOUS 189225 HAS SOUPS 189225 WITH SCORE 189541.96
AT ITER 9402 NEW BEST:: SOT 1139088 SOS 316892 HAS SOPS 316892 HAS SOUS 189191 HAS SOUPS 189191 WITH SCORE 189507.892
AT ITER 9419 NEW BEST:: SOT 1139039 SOS 316791 HAS SOPS 316791 HAS SOUS 189142 HAS SOUPS 189142 WITH SCORE 189458.791
AT ITER 9425 NEW BEST:: SOT 1139057 SOS 316695 HAS SOPS 316695 HAS SOUS 189136 HAS SOUPS 189136 WITH SCORE 189452.695
AT ITER 9446 NEW BEST:: SOT 1139037 SOS 316655 HAS SOPS 316655 HAS SOUS 189096 HAS SOUPS 189096 WITH SCORE 189412.655
AT ITER 9460 NEW BEST:: SOT 1139037 SOS 316596 HAS SOPS 316596 HAS SOUS 189037 HAS SOUPS 189037 WITH SCORE 189353.596
AT ITER 9463 NEW BEST:: SOT 1139037 SOS 316524 HAS SOPS 316524 HAS SOUS 188965 HAS SOUPS 188965 WITH SCORE 189281.524
AT ITER 9518 NEW BEST:: SOT 1139037 SOS 316493 HAS SOPS 316493 HAS SOUS 188965 HAS SOUPS 188965 WITH SCORE 189281.493
AT ITER 9544 NEW BEST:: SOT 1139020 SOS 316442 HAS SOPS 316442 HAS SOUS 188931 HAS SOUPS 188931 WITH SCORE 189247.442
AT ITER 9576 NEW BEST:: SOT 1139020 SOS 316605 HAS SOPS 316605 HAS SOUS 188902 HAS SOUPS 188902 WITH SCORE 189218.605
AT ITER 9612 NEW BEST:: SOT 1139020 SOS 316582 HAS SOPS 316582 HAS SOUS 188879 HAS SOUPS 188879 WITH SCORE 189195.582
AT ITER 9624 NEW BEST:: SOT 1139001 SOS 316563 HAS SOPS 316563 HAS SOUS 188860 HAS SOUPS 188860 WITH SCORE 189176.563
AT ITER 9634 NEW BEST:: SOT 1138998 SOS 316557 HAS SOPS 316557 HAS SOUS 188854 HAS SOUPS 188854 WITH SCORE 189170.557
AT ITER 9642 NEW BEST:: SOT 1138936 SOS 316493 HAS SOPS 316493 HAS SOUS 188790 HAS SOUPS 188790 WITH SCORE 189106.493
AT ITER 9656 NEW BEST:: SOT 1138859 SOS 316339 HAS SOPS 316339 HAS SOUS 188685 HAS SOUPS 188685 WITH SCORE 189001.339
AT ITER 9670 NEW BEST:: SOT 1138839 SOS 316319 HAS SOPS 316319 HAS SOUS 188665 HAS SOUPS 188665 WITH SCORE 188981.319
AT ITER 9672 NEW BEST:: SOT 1138839 SOS 316319 HAS SOPS 316319 HAS SOUS 188622 HAS SOUPS 188622 WITH SCORE 188938.319
AT ITER 9717 NEW BEST:: SOT 1138547 SOS 316058 HAS SOPS 316058 HAS SOUS 188521 HAS SOUPS 188521 WITH SCORE 188837.058
AT ITER 9731 NEW BEST:: SOT 1138281 SOS 317424 HAS SOPS 317424 HAS SOUS 188234 HAS SOUPS 188234 WITH SCORE 188551.424
AT ITER 9732 NEW BEST:: SOT 1138237 SOS 317380 HAS SOPS 317380 HAS SOUS 188190 HAS SOUPS 188190 WITH SCORE 188507.38
AT ITER 9776 NEW BEST:: SOT 1138190 SOS 317478 HAS SOPS 317478 HAS SOUS 188173 HAS SOUPS 188173 WITH SCORE 188490.478
AT ITER 9794 NEW BEST:: SOT 1138186 SOS 317478 HAS SOPS 317478 HAS SOUS 188169 HAS SOUPS 188169 WITH SCORE 188486.478
AT ITER 9801 NEW BEST:: SOT 1138185 SOS 317721 HAS SOPS 317721 HAS SOUS 188167 HAS SOUPS 188167 WITH SCORE 188484.721
AT ITER 9809 NEW BEST:: SOT 1137990 SOS 317603 HAS SOPS 317603 HAS SOUS 188049 HAS SOUPS 188049 WITH SCORE 188366.603
AT ITER 9819 NEW BEST:: SOT 1137971 SOS 317637 HAS SOPS 317637 HAS SOUS 188019 HAS SOUPS 188019 WITH SCORE 188336.637
AT ITER 9855 NEW BEST:: SOT 1137966 SOS 317561 HAS SOPS 317561 HAS SOUS 188009 HAS SOUPS 188009 WITH SCORE 188326.561
AT ITER 9880 NEW BEST:: SOT 1137966 SOS 317561 HAS SOPS 317561 HAS SOUS 187960 HAS SOUPS 187960 WITH SCORE 188277.561
AT ITER 9895 NEW BEST:: SOT 1137899 SOS 317534 HAS SOPS 317534 HAS SOUS 187916 HAS SOUPS 187916 WITH SCORE 188233.534
AT ITER 9905 NEW BEST:: SOT 1137852 SOS 317571 HAS SOPS 317571 HAS SOUS 187828 HAS SOUPS 187828 WITH SCORE 188145.571
AT ITER 9912 NEW BEST:: SOT 1137851 SOS 317570 HAS SOPS 317570 HAS SOUS 187827 HAS SOUPS 187827 WITH SCORE 188144.57
AT ITER 9934 NEW BEST:: SOT 1137844 SOS 317392 HAS SOPS 317392 HAS SOUS 187739 HAS SOUPS 187739 WITH SCORE 188056.392
AT ITER 9942 NEW BEST:: SOT 1137835 SOS 315706 HAS SOPS 315706 HAS SOUS 187721 HAS SOUPS 187721 WITH SCORE 188036.706
AT ITER 9951 NEW BEST:: SOT 1137836 SOS 315680 HAS SOPS 315680 HAS SOUS 187695 HAS SOUPS 187695 WITH SCORE 188010.68
AT ITER 9969 NEW BEST:: SOT 1137860 SOS 315679 HAS SOPS 315679 HAS SOUS 187694 HAS SOUPS 187694 WITH SCORE 188009.679
AT ITER 9973 NEW BEST:: SOT 1137831 SOS 315590 HAS SOPS 315590 HAS SOUS 187636 HAS SOUPS 187636 WITH SCORE 187951.59
AT ITER 9983 NEW BEST:: SOT 1137784 SOS 315604 HAS SOPS 315604 HAS SOUS 187519 HAS SOUPS 187519 WITH SCORE 187834.604
AT ITER 9996 NEW BEST:: SOT 1137784 SOS 315590 HAS SOPS 315590 HAS SOUS 187519 HAS SOUPS 187519 WITH SCORE 187834.59
AT ITER 9997 NEW BEST:: SOT 1137713 SOS 315448 HAS SOPS 315448 HAS SOUS 187427 HAS SOUPS 187427 WITH SCORE 187742.448
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12421548 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153272 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="ASLink-PT-02b"
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 ASLink-PT-02b, 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 r003-oct2-167813590300040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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