Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 4.1K May 14 03:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 03:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 159K May 12 20:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590469803939

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

Filename model.pnml
Petri model created: 653 places, 706 transitions, 1618 arcs.
AT ITER 0 NEW BEST:: SOT 271711 SOS 61371 HAS SOPS 61371 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60015.371
AT ITER 8 NEW BEST:: SOT 270930 SOS 74005 HAS SOPS 74005 HAS SOUS 59516 HAS SOUPS 59516 WITH SCORE 59590.005
AT ITER 11 NEW BEST:: SOT 270930 SOS 73922 HAS SOPS 73922 HAS SOUS 59433 HAS SOUPS 59433 WITH SCORE 59506.922
AT ITER 13 NEW BEST:: SOT 270126 SOS 74557 HAS SOPS 74557 HAS SOUS 59021 HAS SOUPS 59021 WITH SCORE 59095.557
AT ITER 67 NEW BEST:: SOT 270126 SOS 74554 HAS SOPS 74554 HAS SOUS 59017 HAS SOUPS 59017 WITH SCORE 59091.554
AT ITER 73 NEW BEST:: SOT 270103 SOS 74508 HAS SOPS 74508 HAS SOUS 58971 HAS SOUPS 58971 WITH SCORE 59045.508
AT ITER 86 NEW BEST:: SOT 270092 SOS 74486 HAS SOPS 74486 HAS SOUS 58949 HAS SOUPS 58949 WITH SCORE 59023.486
AT ITER 87 NEW BEST:: SOT 270034 SOS 74473 HAS SOPS 74473 HAS SOUS 58893 HAS SOUPS 58893 WITH SCORE 58967.473
AT ITER 93 NEW BEST:: SOT 269726 SOS 75437 HAS SOPS 75437 HAS SOUS 58692 HAS SOUPS 58692 WITH SCORE 58767.437
AT ITER 107 NEW BEST:: SOT 269671 SOS 75382 HAS SOPS 75382 HAS SOUS 58692 HAS SOUPS 58692 WITH SCORE 58767.382
AT ITER 114 NEW BEST:: SOT 269647 SOS 75358 HAS SOPS 75358 HAS SOUS 58668 HAS SOUPS 58668 WITH SCORE 58743.358
AT ITER 123 NEW BEST:: SOT 269051 SOS 76254 HAS SOPS 76254 HAS SOUS 58279 HAS SOUPS 58279 WITH SCORE 58355.254
AT ITER 143 NEW BEST:: SOT 268980 SOS 76189 HAS SOPS 76189 HAS SOUS 58212 HAS SOUPS 58212 WITH SCORE 58288.189
AT ITER 148 NEW BEST:: SOT 268879 SOS 75984 HAS SOPS 75984 HAS SOUS 58019 HAS SOUPS 58019 WITH SCORE 58094.984
AT ITER 156 NEW BEST:: SOT 268779 SOS 75884 HAS SOPS 75884 HAS SOUS 57919 HAS SOUPS 57919 WITH SCORE 57994.884
AT ITER 160 NEW BEST:: SOT 268770 SOS 75875 HAS SOPS 75875 HAS SOUS 57910 HAS SOUPS 57910 WITH SCORE 57985.875
AT ITER 170 NEW BEST:: SOT 268759 SOS 75853 HAS SOPS 75853 HAS SOUS 57888 HAS SOUPS 57888 WITH SCORE 57963.853
AT ITER 182 NEW BEST:: SOT 268783 SOS 75827 HAS SOPS 75827 HAS SOUS 57862 HAS SOUPS 57862 WITH SCORE 57937.827
AT ITER 185 NEW BEST:: SOT 268966 SOS 75821 HAS SOPS 75821 HAS SOUS 57856 HAS SOUPS 57856 WITH SCORE 57931.821
AT ITER 195 NEW BEST:: SOT 268980 SOS 75995 HAS SOPS 75995 HAS SOUS 57823 HAS SOUPS 57823 WITH SCORE 57898.995
AT ITER 197 NEW BEST:: SOT 268888 SOS 75903 HAS SOPS 75903 HAS SOUS 57731 HAS SOUPS 57731 WITH SCORE 57806.903
AT ITER 204 NEW BEST:: SOT 268877 SOS 75881 HAS SOPS 75881 HAS SOUS 57709 HAS SOUPS 57709 WITH SCORE 57784.881
AT ITER 208 NEW BEST:: SOT 268877 SOS 75847 HAS SOPS 75847 HAS SOUS 57675 HAS SOUPS 57675 WITH SCORE 57750.847
AT ITER 229 NEW BEST:: SOT 268843 SOS 75779 HAS SOPS 75779 HAS SOUS 57607 HAS SOUPS 57607 WITH SCORE 57682.779
AT ITER 231 NEW BEST:: SOT 268812 SOS 75778 HAS SOPS 75778 HAS SOUS 57606 HAS SOUPS 57606 WITH SCORE 57681.778
AT ITER 247 NEW BEST:: SOT 268806 SOS 75766 HAS SOPS 75766 HAS SOUS 57594 HAS SOUPS 57594 WITH SCORE 57669.766
AT ITER 250 NEW BEST:: SOT 268800 SOS 75754 HAS SOPS 75754 HAS SOUS 57582 HAS SOUPS 57582 WITH SCORE 57657.754
AT ITER 257 NEW BEST:: SOT 268800 SOS 75691 HAS SOPS 75691 HAS SOUS 57576 HAS SOUPS 57576 WITH SCORE 57651.691
AT ITER 267 NEW BEST:: SOT 268740 SOS 75661 HAS SOPS 75661 HAS SOUS 57546 HAS SOUPS 57546 WITH SCORE 57621.661
AT ITER 280 NEW BEST:: SOT 268734 SOS 75655 HAS SOPS 75655 HAS SOUS 57540 HAS SOUPS 57540 WITH SCORE 57615.655
AT ITER 285 NEW BEST:: SOT 268598 SOS 75383 HAS SOPS 75383 HAS SOUS 57405 HAS SOUPS 57405 WITH SCORE 57480.383
AT ITER 316 NEW BEST:: SOT 267468 SOS 76348 HAS SOPS 76348 HAS SOUS 56614 HAS SOUPS 56614 WITH SCORE 56690.348
AT ITER 326 NEW BEST:: SOT 267467 SOS 76346 HAS SOPS 76346 HAS SOUS 56612 HAS SOUPS 56612 WITH SCORE 56688.346
AT ITER 344 NEW BEST:: SOT 267355 SOS 76252 HAS SOPS 76252 HAS SOUS 56523 HAS SOUPS 56523 WITH SCORE 56599.252
AT ITER 349 NEW BEST:: SOT 266630 SOS 77180 HAS SOPS 77180 HAS SOUS 56354 HAS SOUPS 56354 WITH SCORE 56431.18
AT ITER 365 NEW BEST:: SOT 266500 SOS 76920 HAS SOPS 76920 HAS SOUS 56094 HAS SOUPS 56094 WITH SCORE 56170.92
AT ITER 366 NEW BEST:: SOT 266484 SOS 76888 HAS SOPS 76888 HAS SOUS 56062 HAS SOUPS 56062 WITH SCORE 56138.888
AT ITER 375 NEW BEST:: SOT 266418 SOS 76829 HAS SOPS 76829 HAS SOUS 56003 HAS SOUPS 56003 WITH SCORE 56079.829
AT ITER 379 NEW BEST:: SOT 266370 SOS 76781 HAS SOPS 76781 HAS SOUS 55955 HAS SOUPS 55955 WITH SCORE 56031.781
AT ITER 381 NEW BEST:: SOT 266339 SOS 76688 HAS SOPS 76688 HAS SOUS 55893 HAS SOUPS 55893 WITH SCORE 55969.688
AT ITER 388 NEW BEST:: SOT 266311 SOS 76660 HAS SOPS 76660 HAS SOUS 55871 HAS SOUPS 55871 WITH SCORE 55947.66
AT ITER 393 NEW BEST:: SOT 266202 SOS 76649 HAS SOPS 76649 HAS SOUS 55860 HAS SOUPS 55860 WITH SCORE 55936.649
AT ITER 394 NEW BEST:: SOT 266168 SOS 76581 HAS SOPS 76581 HAS SOUS 55826 HAS SOUPS 55826 WITH SCORE 55902.581
AT ITER 397 NEW BEST:: SOT 266238 SOS 76580 HAS SOPS 76580 HAS SOUS 55825 HAS SOUPS 55825 WITH SCORE 55901.58
AT ITER 404 NEW BEST:: SOT 266190 SOS 76350 HAS SOPS 76350 HAS SOUS 55729 HAS SOUPS 55729 WITH SCORE 55805.35
AT ITER 409 NEW BEST:: SOT 266107 SOS 76342 HAS SOPS 76342 HAS SOUS 55721 HAS SOUPS 55721 WITH SCORE 55797.342
AT ITER 424 NEW BEST:: SOT 266038 SOS 76404 HAS SOPS 76404 HAS SOUS 55683 HAS SOUPS 55683 WITH SCORE 55759.404
AT ITER 425 NEW BEST:: SOT 266096 SOS 76380 HAS SOPS 76380 HAS SOUS 55659 HAS SOUPS 55659 WITH SCORE 55735.38
AT ITER 438 NEW BEST:: SOT 266096 SOS 76269 HAS SOPS 76269 HAS SOUS 55494 HAS SOUPS 55494 WITH SCORE 55570.269
AT ITER 455 NEW BEST:: SOT 266287 SOS 76230 HAS SOPS 76230 HAS SOUS 55407 HAS SOUPS 55407 WITH SCORE 55483.23
AT ITER 460 NEW BEST:: SOT 266421 SOS 76252 HAS SOPS 76252 HAS SOUS 55368 HAS SOUPS 55368 WITH SCORE 55444.252
AT ITER 463 NEW BEST:: SOT 266392 SOS 76194 HAS SOPS 76194 HAS SOUS 55310 HAS SOUPS 55310 WITH SCORE 55386.194
AT ITER 464 NEW BEST:: SOT 266390 SOS 76192 HAS SOPS 76192 HAS SOUS 55308 HAS SOUPS 55308 WITH SCORE 55384.192
AT ITER 479 NEW BEST:: SOT 266390 SOS 74840 HAS SOPS 74840 HAS SOUS 55230 HAS SOUPS 55230 WITH SCORE 55304.84
AT ITER 488 NEW BEST:: SOT 266315 SOS 74690 HAS SOPS 74690 HAS SOUS 55080 HAS SOUPS 55080 WITH SCORE 55154.69
AT ITER 512 NEW BEST:: SOT 266058 SOS 74304 HAS SOPS 74304 HAS SOUS 54949 HAS SOUPS 54949 WITH SCORE 55023.304
AT ITER 534 NEW BEST:: SOT 266005 SOS 74197 HAS SOPS 74197 HAS SOUS 54896 HAS SOUPS 54896 WITH SCORE 54970.197
AT ITER 543 NEW BEST:: SOT 266005 SOS 74197 HAS SOPS 74197 HAS SOUS 54861 HAS SOUPS 54861 WITH SCORE 54935.197
AT ITER 554 NEW BEST:: SOT 265804 SOS 73795 HAS SOPS 73795 HAS SOUS 54730 HAS SOUPS 54730 WITH SCORE 54803.795
AT ITER 567 NEW BEST:: SOT 265757 SOS 73805 HAS SOPS 73805 HAS SOUS 54728 HAS SOUPS 54728 WITH SCORE 54801.805
AT ITER 581 NEW BEST:: SOT 265766 SOS 73774 HAS SOPS 73774 HAS SOUS 54697 HAS SOUPS 54697 WITH SCORE 54770.774
AT ITER 589 NEW BEST:: SOT 264373 SOS 80983 HAS SOPS 80983 HAS SOUS 54110 HAS SOUPS 54110 WITH SCORE 54190.983
AT ITER 614 NEW BEST:: SOT 263852 SOS 81384 HAS SOPS 81384 HAS SOUS 53705 HAS SOUPS 53705 WITH SCORE 53786.384
AT ITER 619 NEW BEST:: SOT 263851 SOS 81382 HAS SOPS 81382 HAS SOUS 53679 HAS SOUPS 53679 WITH SCORE 53760.382
AT ITER 628 NEW BEST:: SOT 263788 SOS 81334 HAS SOPS 81334 HAS SOUS 53616 HAS SOUPS 53616 WITH SCORE 53697.334
AT ITER 665 NEW BEST:: SOT 263788 SOS 81334 HAS SOPS 81334 HAS SOUS 53608 HAS SOUPS 53608 WITH SCORE 53689.334
AT ITER 676 NEW BEST:: SOT 263672 SOS 81283 HAS SOPS 81283 HAS SOUS 53518 HAS SOUPS 53518 WITH SCORE 53599.283
AT ITER 683 NEW BEST:: SOT 263672 SOS 81278 HAS SOPS 81278 HAS SOUS 53518 HAS SOUPS 53518 WITH SCORE 53599.278
AT ITER 691 NEW BEST:: SOT 263671 SOS 81274 HAS SOPS 81274 HAS SOUS 53514 HAS SOUPS 53514 WITH SCORE 53595.274
AT ITER 707 NEW BEST:: SOT 263589 SOS 79234 HAS SOPS 79234 HAS SOUS 53263 HAS SOUPS 53263 WITH SCORE 53342.234
AT ITER 738 NEW BEST:: SOT 263589 SOS 79211 HAS SOPS 79211 HAS SOUS 53240 HAS SOUPS 53240 WITH SCORE 53319.211
AT ITER 769 NEW BEST:: SOT 263517 SOS 79103 HAS SOPS 79103 HAS SOUS 53168 HAS SOUPS 53168 WITH SCORE 53247.103
AT ITER 788 NEW BEST:: SOT 263493 SOS 79055 HAS SOPS 79055 HAS SOUS 53120 HAS SOUPS 53120 WITH SCORE 53199.055
AT ITER 789 NEW BEST:: SOT 263493 SOS 79019 HAS SOPS 79019 HAS SOUS 53104 HAS SOUPS 53104 WITH SCORE 53183.019
AT ITER 793 NEW BEST:: SOT 263485 SOS 79000 HAS SOPS 79000 HAS SOUS 53093 HAS SOUPS 53093 WITH SCORE 53172.0
AT ITER 805 NEW BEST:: SOT 263485 SOS 79000 HAS SOPS 79000 HAS SOUS 53081 HAS SOUPS 53081 WITH SCORE 53160.0
AT ITER 825 NEW BEST:: SOT 263454 SOS 78969 HAS SOPS 78969 HAS SOUS 53081 HAS SOUPS 53081 WITH SCORE 53159.969
AT ITER 844 NEW BEST:: SOT 263483 SOS 79027 HAS SOPS 79027 HAS SOUS 53078 HAS SOUPS 53078 WITH SCORE 53157.027
AT ITER 846 NEW BEST:: SOT 263211 SOS 78799 HAS SOPS 78799 HAS SOUS 52848 HAS SOUPS 52848 WITH SCORE 52926.799
AT ITER 850 NEW BEST:: SOT 263198 SOS 78773 HAS SOPS 78773 HAS SOUS 52835 HAS SOUPS 52835 WITH SCORE 52913.773
AT ITER 876 NEW BEST:: SOT 263196 SOS 78771 HAS SOPS 78771 HAS SOUS 52833 HAS SOUPS 52833 WITH SCORE 52911.771
AT ITER 890 NEW BEST:: SOT 263164 SOS 78707 HAS SOPS 78707 HAS SOUS 52769 HAS SOUPS 52769 WITH SCORE 52847.707
AT ITER 912 NEW BEST:: SOT 263048 SOS 78674 HAS SOPS 78674 HAS SOUS 52720 HAS SOUPS 52720 WITH SCORE 52798.674
AT ITER 915 NEW BEST:: SOT 263048 SOS 78656 HAS SOPS 78656 HAS SOUS 52702 HAS SOUPS 52702 WITH SCORE 52780.656
AT ITER 922 NEW BEST:: SOT 262990 SOS 78475 HAS SOPS 78475 HAS SOUS 52579 HAS SOUPS 52579 WITH SCORE 52657.475
AT ITER 926 NEW BEST:: SOT 262986 SOS 78467 HAS SOPS 78467 HAS SOUS 52571 HAS SOUPS 52571 WITH SCORE 52649.467
AT ITER 945 NEW BEST:: SOT 262933 SOS 78303 HAS SOPS 78303 HAS SOUS 52465 HAS SOUPS 52465 WITH SCORE 52543.303
AT ITER 947 NEW BEST:: SOT 262915 SOS 78285 HAS SOPS 78285 HAS SOUS 52447 HAS SOUPS 52447 WITH SCORE 52525.285
AT ITER 968 NEW BEST:: SOT 262890 SOS 78260 HAS SOPS 78260 HAS SOUS 52397 HAS SOUPS 52397 WITH SCORE 52475.26
AT ITER 975 NEW BEST:: SOT 262738 SOS 78050 HAS SOPS 78050 HAS SOUS 52187 HAS SOUPS 52187 WITH SCORE 52265.05
AT ITER 985 NEW BEST:: SOT 262758 SOS 78013 HAS SOPS 78013 HAS SOUS 52170 HAS SOUPS 52170 WITH SCORE 52248.013
AT ITER 993 NEW BEST:: SOT 262484 SOS 77779 HAS SOPS 77779 HAS SOUS 51936 HAS SOUPS 51936 WITH SCORE 52013.779
AT ITER 1023 NEW BEST:: SOT 262481 SOS 77773 HAS SOPS 77773 HAS SOUS 51801 HAS SOUPS 51801 WITH SCORE 51878.773
AT ITER 1033 NEW BEST:: SOT 262496 SOS 77743 HAS SOPS 77743 HAS SOUS 51771 HAS SOUPS 51771 WITH SCORE 51848.743
AT ITER 1047 NEW BEST:: SOT 262468 SOS 77687 HAS SOPS 77687 HAS SOUS 51771 HAS SOUPS 51771 WITH SCORE 51848.687
AT ITER 1052 NEW BEST:: SOT 262468 SOS 77682 HAS SOPS 77682 HAS SOUS 51766 HAS SOUPS 51766 WITH SCORE 51843.682
AT ITER 1059 NEW BEST:: SOT 262308 SOS 77519 HAS SOPS 77519 HAS SOUS 51606 HAS SOUPS 51606 WITH SCORE 51683.519
AT ITER 1062 NEW BEST:: SOT 262217 SOS 77337 HAS SOPS 77337 HAS SOUS 51557 HAS SOUPS 51557 WITH SCORE 51634.337
AT ITER 1065 NEW BEST:: SOT 262209 SOS 77321 HAS SOPS 77321 HAS SOUS 51541 HAS SOUPS 51541 WITH SCORE 51618.321
AT ITER 1068 NEW BEST:: SOT 262170 SOS 77243 HAS SOPS 77243 HAS SOUS 51420 HAS SOUPS 51420 WITH SCORE 51497.243
AT ITER 1075 NEW BEST:: SOT 262149 SOS 77228 HAS SOPS 77228 HAS SOUS 51419 HAS SOUPS 51419 WITH SCORE 51496.228
AT ITER 1079 NEW BEST:: SOT 262167 SOS 77224 HAS SOPS 77224 HAS SOUS 51415 HAS SOUPS 51415 WITH SCORE 51492.224
AT ITER 1080 NEW BEST:: SOT 262167 SOS 75424 HAS SOPS 75424 HAS SOUS 51415 HAS SOUPS 51415 WITH SCORE 51490.424
AT ITER 1082 NEW BEST:: SOT 262148 SOS 75386 HAS SOPS 75386 HAS SOUS 51377 HAS SOUPS 51377 WITH SCORE 51452.386
AT ITER 1095 NEW BEST:: SOT 262087 SOS 75264 HAS SOPS 75264 HAS SOUS 51255 HAS SOUPS 51255 WITH SCORE 51330.264
AT ITER 1099 NEW BEST:: SOT 262013 SOS 75235 HAS SOPS 75235 HAS SOUS 51226 HAS SOUPS 51226 WITH SCORE 51301.235
AT ITER 1104 NEW BEST:: SOT 261998 SOS 75219 HAS SOPS 75219 HAS SOUS 51210 HAS SOUPS 51210 WITH SCORE 51285.219
AT ITER 1105 NEW BEST:: SOT 262000 SOS 75197 HAS SOPS 75197 HAS SOUS 51188 HAS SOUPS 51188 WITH SCORE 51263.197
AT ITER 1110 NEW BEST:: SOT 262000 SOS 75165 HAS SOPS 75165 HAS SOUS 51156 HAS SOUPS 51156 WITH SCORE 51231.165
AT ITER 1111 NEW BEST:: SOT 261863 SOS 74289 HAS SOPS 74289 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51085.289
AT ITER 1119 NEW BEST:: SOT 261686 SOS 74269 HAS SOPS 74269 HAS SOUS 50953 HAS SOUPS 50953 WITH SCORE 51027.269
AT ITER 1122 NEW BEST:: SOT 261683 SOS 74266 HAS SOPS 74266 HAS SOUS 50950 HAS SOUPS 50950 WITH SCORE 51024.266
AT ITER 1139 NEW BEST:: SOT 261571 SOS 74042 HAS SOPS 74042 HAS SOUS 50838 HAS SOUPS 50838 WITH SCORE 50912.042
AT ITER 1164 NEW BEST:: SOT 261571 SOS 74017 HAS SOPS 74017 HAS SOUS 50828 HAS SOUPS 50828 WITH SCORE 50902.017
AT ITER 1179 NEW BEST:: SOT 261536 SOS 74024 HAS SOPS 74024 HAS SOUS 50807 HAS SOUPS 50807 WITH SCORE 50881.024
AT ITER 1186 NEW BEST:: SOT 261535 SOS 74022 HAS SOPS 74022 HAS SOUS 50807 HAS SOUPS 50807 WITH SCORE 50881.022
AT ITER 1233 NEW BEST:: SOT 261086 SOS 74222 HAS SOPS 74222 HAS SOUS 50457 HAS SOUPS 50457 WITH SCORE 50531.222
AT ITER 1267 NEW BEST:: SOT 261081 SOS 74212 HAS SOPS 74212 HAS SOUS 50447 HAS SOUPS 50447 WITH SCORE 50521.212
AT ITER 1271 NEW BEST:: SOT 261060 SOS 74170 HAS SOPS 74170 HAS SOUS 50426 HAS SOUPS 50426 WITH SCORE 50500.17
AT ITER 1274 NEW BEST:: SOT 261035 SOS 74120 HAS SOPS 74120 HAS SOUS 50401 HAS SOUPS 50401 WITH SCORE 50475.12
AT ITER 1286 NEW BEST:: SOT 261035 SOS 74120 HAS SOPS 74120 HAS SOUS 50384 HAS SOUPS 50384 WITH SCORE 50458.12
AT ITER 1319 NEW BEST:: SOT 261010 SOS 74131 HAS SOPS 74131 HAS SOUS 50359 HAS SOUPS 50359 WITH SCORE 50433.131
AT ITER 1323 NEW BEST:: SOT 261010 SOS 74079 HAS SOPS 74079 HAS SOUS 50308 HAS SOUPS 50308 WITH SCORE 50382.079
AT ITER 1330 NEW BEST:: SOT 261007 SOS 74073 HAS SOPS 74073 HAS SOUS 50302 HAS SOUPS 50302 WITH SCORE 50376.073
AT ITER 1336 NEW BEST:: SOT 260998 SOS 74064 HAS SOPS 74064 HAS SOUS 50293 HAS SOUPS 50293 WITH SCORE 50367.064
AT ITER 1348 NEW BEST:: SOT 260976 SOS 73972 HAS SOPS 73972 HAS SOUS 50247 HAS SOUPS 50247 WITH SCORE 50320.972
AT ITER 1351 NEW BEST:: SOT 260971 SOS 73995 HAS SOPS 73995 HAS SOUS 50242 HAS SOUPS 50242 WITH SCORE 50315.995
AT ITER 1352 NEW BEST:: SOT 260848 SOS 73749 HAS SOPS 73749 HAS SOUS 50119 HAS SOUPS 50119 WITH SCORE 50192.749
AT ITER 1355 NEW BEST:: SOT 260840 SOS 73809 HAS SOPS 73809 HAS SOUS 50111 HAS SOUPS 50111 WITH SCORE 50184.809
AT ITER 1357 NEW BEST:: SOT 260838 SOS 73839 HAS SOPS 73839 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50182.839
AT ITER 1360 NEW BEST:: SOT 260763 SOS 73689 HAS SOPS 73689 HAS SOUS 49959 HAS SOUPS 49959 WITH SCORE 50032.689
AT ITER 1366 NEW BEST:: SOT 260794 SOS 73684 HAS SOPS 73684 HAS SOUS 49954 HAS SOUPS 49954 WITH SCORE 50027.684
AT ITER 1370 NEW BEST:: SOT 260804 SOS 73704 HAS SOPS 73704 HAS SOUS 49906 HAS SOUPS 49906 WITH SCORE 49979.704
AT ITER 1390 NEW BEST:: SOT 259590 SOS 73468 HAS SOPS 73468 HAS SOUS 49045 HAS SOUPS 49045 WITH SCORE 49118.468
AT ITER 1391 NEW BEST:: SOT 259590 SOS 73458 HAS SOPS 73458 HAS SOUS 49035 HAS SOUPS 49035 WITH SCORE 49108.458
AT ITER 1402 NEW BEST:: SOT 259697 SOS 73579 HAS SOPS 73579 HAS SOUS 48980 HAS SOUPS 48980 WITH SCORE 49053.579
AT ITER 1419 NEW BEST:: SOT 259673 SOS 73531 HAS SOPS 73531 HAS SOUS 48956 HAS SOUPS 48956 WITH SCORE 49029.531
AT ITER 1421 NEW BEST:: SOT 259557 SOS 73299 HAS SOPS 73299 HAS SOUS 48715 HAS SOUPS 48715 WITH SCORE 48788.299
AT ITER 1428 NEW BEST:: SOT 259577 SOS 73339 HAS SOPS 73339 HAS SOUS 48702 HAS SOUPS 48702 WITH SCORE 48775.339
AT ITER 1433 NEW BEST:: SOT 259484 SOS 73273 HAS SOPS 73273 HAS SOUS 48675 HAS SOUPS 48675 WITH SCORE 48748.273
AT ITER 1440 NEW BEST:: SOT 259484 SOS 73235 HAS SOPS 73235 HAS SOUS 48637 HAS SOUPS 48637 WITH SCORE 48710.235
AT ITER 1463 NEW BEST:: SOT 259494 SOS 73128 HAS SOPS 73128 HAS SOUS 48584 HAS SOUPS 48584 WITH SCORE 48657.128
AT ITER 1464 NEW BEST:: SOT 259462 SOS 73064 HAS SOPS 73064 HAS SOUS 48520 HAS SOUPS 48520 WITH SCORE 48593.064
AT ITER 1470 NEW BEST:: SOT 259441 SOS 73043 HAS SOPS 73043 HAS SOUS 48519 HAS SOUPS 48519 WITH SCORE 48592.043
AT ITER 1476 NEW BEST:: SOT 259372 SOS 72905 HAS SOPS 72905 HAS SOUS 48450 HAS SOUPS 48450 WITH SCORE 48522.905
AT ITER 1489 NEW BEST:: SOT 259341 SOS 72874 HAS SOPS 72874 HAS SOUS 48419 HAS SOUPS 48419 WITH SCORE 48491.874
AT ITER 1498 NEW BEST:: SOT 259316 SOS 72849 HAS SOPS 72849 HAS SOUS 48417 HAS SOUPS 48417 WITH SCORE 48489.849
AT ITER 1502 NEW BEST:: SOT 259304 SOS 72825 HAS SOPS 72825 HAS SOUS 48398 HAS SOUPS 48398 WITH SCORE 48470.825
AT ITER 1531 NEW BEST:: SOT 259275 SOS 72767 HAS SOPS 72767 HAS SOUS 48385 HAS SOUPS 48385 WITH SCORE 48457.767
AT ITER 1535 NEW BEST:: SOT 259258 SOS 72750 HAS SOPS 72750 HAS SOUS 48385 HAS SOUPS 48385 WITH SCORE 48457.75
AT ITER 1568 NEW BEST:: SOT 259275 SOS 72736 HAS SOPS 72736 HAS SOUS 48324 HAS SOUPS 48324 WITH SCORE 48396.736
AT ITER 1570 NEW BEST:: SOT 259187 SOS 72455 HAS SOPS 72455 HAS SOUS 48038 HAS SOUPS 48038 WITH SCORE 48110.455
AT ITER 1583 NEW BEST:: SOT 259033 SOS 72171 HAS SOPS 72171 HAS SOUS 47841 HAS SOUPS 47841 WITH SCORE 47913.171
AT ITER 1595 NEW BEST:: SOT 258979 SOS 72063 HAS SOPS 72063 HAS SOUS 47788 HAS SOUPS 47788 WITH SCORE 47860.063
AT ITER 1622 NEW BEST:: SOT 258919 SOS 72017 HAS SOPS 72017 HAS SOUS 47783 HAS SOUPS 47783 WITH SCORE 47855.017
AT ITER 1630 NEW BEST:: SOT 258919 SOS 65621 HAS SOPS 65621 HAS SOUS 47003 HAS SOUPS 47003 WITH SCORE 47068.621
AT ITER 1636 NEW BEST:: SOT 258864 SOS 65511 HAS SOPS 65511 HAS SOUS 46893 HAS SOUPS 46893 WITH SCORE 46958.511
AT ITER 1639 NEW BEST:: SOT 258628 SOS 65275 HAS SOPS 65275 HAS SOUS 46893 HAS SOUPS 46893 WITH SCORE 46958.275
AT ITER 1647 NEW BEST:: SOT 258618 SOS 65255 HAS SOPS 65255 HAS SOUS 46873 HAS SOUPS 46873 WITH SCORE 46938.255
AT ITER 1676 NEW BEST:: SOT 258612 SOS 65243 HAS SOPS 65243 HAS SOUS 46867 HAS SOUPS 46867 WITH SCORE 46932.243
AT ITER 1730 NEW BEST:: SOT 258589 SOS 65144 HAS SOPS 65144 HAS SOUS 46857 HAS SOUPS 46857 WITH SCORE 46922.144
AT ITER 1742 NEW BEST:: SOT 257959 SOS 65554 HAS SOPS 65554 HAS SOUS 46404 HAS SOUPS 46404 WITH SCORE 46469.554
AT ITER 1746 NEW BEST:: SOT 257908 SOS 65452 HAS SOPS 65452 HAS SOUS 46352 HAS SOUPS 46352 WITH SCORE 46417.452
AT ITER 1765 NEW BEST:: SOT 257900 SOS 65443 HAS SOPS 65443 HAS SOUS 46343 HAS SOUPS 46343 WITH SCORE 46408.443
AT ITER 1782 NEW BEST:: SOT 257877 SOS 65397 HAS SOPS 65397 HAS SOUS 46297 HAS SOUPS 46297 WITH SCORE 46362.397
AT ITER 1809 NEW BEST:: SOT 257877 SOS 65397 HAS SOPS 65397 HAS SOUS 46296 HAS SOUPS 46296 WITH SCORE 46361.397
AT ITER 1811 NEW BEST:: SOT 257873 SOS 65393 HAS SOPS 65393 HAS SOUS 46292 HAS SOUPS 46292 WITH SCORE 46357.393
AT ITER 1821 NEW BEST:: SOT 257823 SOS 65343 HAS SOPS 65343 HAS SOUS 46266 HAS SOUPS 46266 WITH SCORE 46331.343
AT ITER 1842 NEW BEST:: SOT 257814 SOS 65325 HAS SOPS 65325 HAS SOUS 46248 HAS SOUPS 46248 WITH SCORE 46313.325
AT ITER 1847 NEW BEST:: SOT 257726 SOS 65237 HAS SOPS 65237 HAS SOUS 46160 HAS SOUPS 46160 WITH SCORE 46225.237
AT ITER 1854 NEW BEST:: SOT 257509 SOS 64863 HAS SOPS 64863 HAS SOUS 45786 HAS SOUPS 45786 WITH SCORE 45850.863
AT ITER 1863 NEW BEST:: SOT 257545 SOS 64857 HAS SOPS 64857 HAS SOUS 45780 HAS SOUPS 45780 WITH SCORE 45844.857
AT ITER 1865 NEW BEST:: SOT 257527 SOS 64839 HAS SOPS 64839 HAS SOUS 45768 HAS SOUPS 45768 WITH SCORE 45832.839
AT ITER 1875 NEW BEST:: SOT 257522 SOS 64792 HAS SOPS 64792 HAS SOUS 45753 HAS SOUPS 45753 WITH SCORE 45817.792
AT ITER 1887 NEW BEST:: SOT 256938 SOS 65896 HAS SOPS 65896 HAS SOUS 45383 HAS SOUPS 45383 WITH SCORE 45448.896
AT ITER 1891 NEW BEST:: SOT 256934 SOS 65888 HAS SOPS 65888 HAS SOUS 45381 HAS SOUPS 45381 WITH SCORE 45446.888
AT ITER 1894 NEW BEST:: SOT 256905 SOS 65805 HAS SOPS 65805 HAS SOUS 45269 HAS SOUPS 45269 WITH SCORE 45334.805
AT ITER 1898 NEW BEST:: SOT 256898 SOS 65798 HAS SOPS 65798 HAS SOUS 45269 HAS SOUPS 45269 WITH SCORE 45334.798
AT ITER 1912 NEW BEST:: SOT 256900 SOS 65377 HAS SOPS 65377 HAS SOUS 45254 HAS SOUPS 45254 WITH SCORE 45319.377
AT ITER 1938 NEW BEST:: SOT 256934 SOS 65445 HAS SOPS 65445 HAS SOUS 45243 HAS SOUPS 45243 WITH SCORE 45308.445
AT ITER 1939 NEW BEST:: SOT 256906 SOS 65389 HAS SOPS 65389 HAS SOUS 45187 HAS SOUPS 45187 WITH SCORE 45252.389
AT ITER 1940 NEW BEST:: SOT 256905 SOS 65387 HAS SOPS 65387 HAS SOUS 45185 HAS SOUPS 45185 WITH SCORE 45250.387
AT ITER 1961 NEW BEST:: SOT 256425 SOS 65243 HAS SOPS 65243 HAS SOUS 44753 HAS SOUPS 44753 WITH SCORE 44818.243
AT ITER 1963 NEW BEST:: SOT 256397 SOS 65187 HAS SOPS 65187 HAS SOUS 44725 HAS SOUPS 44725 WITH SCORE 44790.187
AT ITER 1970 NEW BEST:: SOT 256383 SOS 65137 HAS SOPS 65137 HAS SOUS 44689 HAS SOUPS 44689 WITH SCORE 44754.137
AT ITER 1986 NEW BEST:: SOT 256364 SOS 65099 HAS SOPS 65099 HAS SOUS 44656 HAS SOUPS 44656 WITH SCORE 44721.099
AT ITER 2009 NEW BEST:: SOT 256247 SOS 65089 HAS SOPS 65089 HAS SOUS 44560 HAS SOUPS 44560 WITH SCORE 44625.089
AT ITER 2027 NEW BEST:: SOT 256240 SOS 65075 HAS SOPS 65075 HAS SOUS 44546 HAS SOUPS 44546 WITH SCORE 44611.075
AT ITER 2051 NEW BEST:: SOT 256249 SOS 65043 HAS SOPS 65043 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44608.043
AT ITER 2059 NEW BEST:: SOT 256223 SOS 64991 HAS SOPS 64991 HAS SOUS 44495 HAS SOUPS 44495 WITH SCORE 44559.991
AT ITER 2084 NEW BEST:: SOT 256251 SOS 65047 HAS SOPS 65047 HAS SOUS 44488 HAS SOUPS 44488 WITH SCORE 44553.047
AT ITER 2104 NEW BEST:: SOT 256246 SOS 65042 HAS SOPS 65042 HAS SOUS 44478 HAS SOUPS 44478 WITH SCORE 44543.042
AT ITER 2109 NEW BEST:: SOT 256214 SOS 65010 HAS SOPS 65010 HAS SOUS 44478 HAS SOUPS 44478 WITH SCORE 44543.01
AT ITER 2114 NEW BEST:: SOT 256232 SOS 65028 HAS SOPS 65028 HAS SOUS 44434 HAS SOUPS 44434 WITH SCORE 44499.028
AT ITER 2137 NEW BEST:: SOT 256186 SOS 64936 HAS SOPS 64936 HAS SOUS 44342 HAS SOUPS 44342 WITH SCORE 44406.936
AT ITER 2145 NEW BEST:: SOT 256092 SOS 64748 HAS SOPS 64748 HAS SOUS 44325 HAS SOUPS 44325 WITH SCORE 44389.748
AT ITER 2147 NEW BEST:: SOT 256141 SOS 64813 HAS SOPS 64813 HAS SOUS 44294 HAS SOUPS 44294 WITH SCORE 44358.813
AT ITER 2168 NEW BEST:: SOT 256128 SOS 64787 HAS SOPS 64787 HAS SOUS 44281 HAS SOUPS 44281 WITH SCORE 44345.787
AT ITER 2196 NEW BEST:: SOT 256078 SOS 64687 HAS SOPS 64687 HAS SOUS 44181 HAS SOUPS 44181 WITH SCORE 44245.687
AT ITER 2244 NEW BEST:: SOT 256067 SOS 64676 HAS SOPS 64676 HAS SOUS 44170 HAS SOUPS 44170 WITH SCORE 44234.676
AT ITER 2245 NEW BEST:: SOT 256020 SOS 64629 HAS SOPS 64629 HAS SOUS 44123 HAS SOUPS 44123 WITH SCORE 44187.629
AT ITER 2249 NEW BEST:: SOT 256050 SOS 64533 HAS SOPS 64533 HAS SOUS 44105 HAS SOUPS 44105 WITH SCORE 44169.533
AT ITER 2259 NEW BEST:: SOT 256038 SOS 64521 HAS SOPS 64521 HAS SOUS 44093 HAS SOUPS 44093 WITH SCORE 44157.521
AT ITER 2262 NEW BEST:: SOT 255966 SOS 64377 HAS SOPS 64377 HAS SOUS 44021 HAS SOUPS 44021 WITH SCORE 44085.377
AT ITER 2293 NEW BEST:: SOT 255852 SOS 64315 HAS SOPS 64315 HAS SOUS 43986 HAS SOUPS 43986 WITH SCORE 44050.315
AT ITER 2335 NEW BEST:: SOT 255835 SOS 64281 HAS SOPS 64281 HAS SOUS 43969 HAS SOUPS 43969 WITH SCORE 44033.281
AT ITER 2366 NEW BEST:: SOT 255895 SOS 63379 HAS SOPS 63379 HAS SOUS 43956 HAS SOUPS 43956 WITH SCORE 44019.379
AT ITER 2377 NEW BEST:: SOT 255855 SOS 63337 HAS SOPS 63337 HAS SOUS 43878 HAS SOUPS 43878 WITH SCORE 43941.337
AT ITER 2387 NEW BEST:: SOT 255845 SOS 63317 HAS SOPS 63317 HAS SOUS 43868 HAS SOUPS 43868 WITH SCORE 43931.317
AT ITER 2394 NEW BEST:: SOT 255840 SOS 63312 HAS SOPS 63312 HAS SOUS 43853 HAS SOUPS 43853 WITH SCORE 43916.312
AT ITER 2404 NEW BEST:: SOT 255850 SOS 63244 HAS SOPS 63244 HAS SOUS 43791 HAS SOUPS 43791 WITH SCORE 43854.244
AT ITER 2413 NEW BEST:: SOT 255838 SOS 63220 HAS SOPS 63220 HAS SOUS 43762 HAS SOUPS 43762 WITH SCORE 43825.22
AT ITER 2424 NEW BEST:: SOT 255827 SOS 63209 HAS SOPS 63209 HAS SOUS 43740 HAS SOUPS 43740 WITH SCORE 43803.209
AT ITER 2425 NEW BEST:: SOT 255801 SOS 63157 HAS SOPS 63157 HAS SOUS 43705 HAS SOUPS 43705 WITH SCORE 43768.157
AT ITER 2430 NEW BEST:: SOT 255661 SOS 63017 HAS SOPS 63017 HAS SOUS 43635 HAS SOUPS 43635 WITH SCORE 43698.017
AT ITER 2454 NEW BEST:: SOT 255732 SOS 63159 HAS SOPS 63159 HAS SOUS 43570 HAS SOUPS 43570 WITH SCORE 43633.159
AT ITER 2457 NEW BEST:: SOT 255640 SOS 62975 HAS SOPS 62975 HAS SOUS 43495 HAS SOUPS 43495 WITH SCORE 43557.975
AT ITER 2472 NEW BEST:: SOT 255607 SOS 62942 HAS SOPS 62942 HAS SOUS 43462 HAS SOUPS 43462 WITH SCORE 43524.942
AT ITER 2481 NEW BEST:: SOT 255653 SOS 62945 HAS SOPS 62945 HAS SOUS 43444 HAS SOUPS 43444 WITH SCORE 43506.945
AT ITER 2501 NEW BEST:: SOT 255653 SOS 62931 HAS SOPS 62931 HAS SOUS 43430 HAS SOUPS 43430 WITH SCORE 43492.931
AT ITER 2507 NEW BEST:: SOT 255632 SOS 62889 HAS SOPS 62889 HAS SOUS 43388 HAS SOUPS 43388 WITH SCORE 43450.889
AT ITER 2512 NEW BEST:: SOT 255606 SOS 62863 HAS SOPS 62863 HAS SOUS 43362 HAS SOUPS 43362 WITH SCORE 43424.863
AT ITER 2536 NEW BEST:: SOT 255572 SOS 62829 HAS SOPS 62829 HAS SOUS 43362 HAS SOUPS 43362 WITH SCORE 43424.829
AT ITER 2549 NEW BEST:: SOT 255569 SOS 62823 HAS SOPS 62823 HAS SOUS 43359 HAS SOUPS 43359 WITH SCORE 43421.823
AT ITER 2563 NEW BEST:: SOT 255542 SOS 62742 HAS SOPS 62742 HAS SOUS 43305 HAS SOUPS 43305 WITH SCORE 43367.742
AT ITER 2581 NEW BEST:: SOT 255578 SOS 62701 HAS SOPS 62701 HAS SOUS 43264 HAS SOUPS 43264 WITH SCORE 43326.701
AT ITER 2587 NEW BEST:: SOT 255574 SOS 62652 HAS SOPS 62652 HAS SOUS 43215 HAS SOUPS 43215 WITH SCORE 43277.652
AT ITER 2592 NEW BEST:: SOT 255552 SOS 62608 HAS SOPS 62608 HAS SOUS 43188 HAS SOUPS 43188 WITH SCORE 43250.608
AT ITER 2608 NEW BEST:: SOT 255486 SOS 62476 HAS SOPS 62476 HAS SOUS 43110 HAS SOUPS 43110 WITH SCORE 43172.476
AT ITER 2612 NEW BEST:: SOT 255486 SOS 62377 HAS SOPS 62377 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43073.377
AT ITER 2634 NEW BEST:: SOT 255486 SOS 62339 HAS SOPS 62339 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43073.339
AT ITER 2652 NEW BEST:: SOT 255547 SOS 59140 HAS SOPS 59140 HAS SOUS 42938 HAS SOUPS 42938 WITH SCORE 42997.14
AT ITER 2662 NEW BEST:: SOT 255421 SOS 59092 HAS SOPS 59092 HAS SOUS 42890 HAS SOUPS 42890 WITH SCORE 42949.092
AT ITER 2693 NEW BEST:: SOT 255431 SOS 58948 HAS SOPS 58948 HAS SOUS 42883 HAS SOUPS 42883 WITH SCORE 42941.948
AT ITER 2713 NEW BEST:: SOT 255400 SOS 58886 HAS SOPS 58886 HAS SOUS 42821 HAS SOUPS 42821 WITH SCORE 42879.886
AT ITER 2721 NEW BEST:: SOT 255400 SOS 58880 HAS SOPS 58880 HAS SOUS 42815 HAS SOUPS 42815 WITH SCORE 42873.88
AT ITER 2725 NEW BEST:: SOT 255375 SOS 58793 HAS SOPS 58793 HAS SOUS 42765 HAS SOUPS 42765 WITH SCORE 42823.793
AT ITER 2735 NEW BEST:: SOT 255402 SOS 58777 HAS SOPS 58777 HAS SOUS 42749 HAS SOUPS 42749 WITH SCORE 42807.777
AT ITER 2764 NEW BEST:: SOT 255368 SOS 58711 HAS SOPS 58711 HAS SOUS 42659 HAS SOUPS 42659 WITH SCORE 42717.711
AT ITER 2771 NEW BEST:: SOT 255260 SOS 58495 HAS SOPS 58495 HAS SOUS 42540 HAS SOUPS 42540 WITH SCORE 42598.495
AT ITER 2782 NEW BEST:: SOT 255254 SOS 58483 HAS SOPS 58483 HAS SOUS 42528 HAS SOUPS 42528 WITH SCORE 42586.483
AT ITER 2804 NEW BEST:: SOT 255300 SOS 58529 HAS SOPS 58529 HAS SOUS 42517 HAS SOUPS 42517 WITH SCORE 42575.529
AT ITER 2817 NEW BEST:: SOT 255280 SOS 58391 HAS SOPS 58391 HAS SOUS 42477 HAS SOUPS 42477 WITH SCORE 42535.391
AT ITER 2830 NEW BEST:: SOT 255258 SOS 58347 HAS SOPS 58347 HAS SOUS 42418 HAS SOUPS 42418 WITH SCORE 42476.347
AT ITER 2866 NEW BEST:: SOT 255250 SOS 58339 HAS SOPS 58339 HAS SOUS 42410 HAS SOUPS 42410 WITH SCORE 42468.339
AT ITER 2878 NEW BEST:: SOT 255241 SOS 58321 HAS SOPS 58321 HAS SOUS 42392 HAS SOUPS 42392 WITH SCORE 42450.321
AT ITER 2890 NEW BEST:: SOT 255185 SOS 58254 HAS SOPS 58254 HAS SOUS 42325 HAS SOUPS 42325 WITH SCORE 42383.254
AT ITER 2903 NEW BEST:: SOT 255136 SOS 58156 HAS SOPS 58156 HAS SOUS 42309 HAS SOUPS 42309 WITH SCORE 42367.156
AT ITER 2904 NEW BEST:: SOT 255122 SOS 58128 HAS SOPS 58128 HAS SOUS 42295 HAS SOUPS 42295 WITH SCORE 42353.128
AT ITER 2905 NEW BEST:: SOT 255086 SOS 58056 HAS SOPS 58056 HAS SOUS 42223 HAS SOUPS 42223 WITH SCORE 42281.056
AT ITER 2924 NEW BEST:: SOT 255079 SOS 58049 HAS SOPS 58049 HAS SOUS 42216 HAS SOUPS 42216 WITH SCORE 42274.049
AT ITER 2985 NEW BEST:: SOT 255050 SOS 57991 HAS SOPS 57991 HAS SOUS 42158 HAS SOUPS 42158 WITH SCORE 42215.991
AT ITER 3024 NEW BEST:: SOT 255046 SOS 57983 HAS SOPS 57983 HAS SOUS 42154 HAS SOUPS 42154 WITH SCORE 42211.983
AT ITER 3033 NEW BEST:: SOT 255026 SOS 57963 HAS SOPS 57963 HAS SOUS 42144 HAS SOUPS 42144 WITH SCORE 42201.963
AT ITER 3042 NEW BEST:: SOT 254946 SOS 57803 HAS SOPS 57803 HAS SOUS 42024 HAS SOUPS 42024 WITH SCORE 42081.803
AT ITER 3064 NEW BEST:: SOT 254946 SOS 57754 HAS SOPS 57754 HAS SOUS 41975 HAS SOUPS 41975 WITH SCORE 42032.754
AT ITER 3069 NEW BEST:: SOT 254717 SOS 57632 HAS SOPS 57632 HAS SOUS 41971 HAS SOUPS 41971 WITH SCORE 42028.632
AT ITER 3086 NEW BEST:: SOT 254648 SOS 57553 HAS SOPS 57553 HAS SOUS 41902 HAS SOUPS 41902 WITH SCORE 41959.553
AT ITER 3100 NEW BEST:: SOT 254630 SOS 57517 HAS SOPS 57517 HAS SOUS 41866 HAS SOUPS 41866 WITH SCORE 41923.517
AT ITER 3102 NEW BEST:: SOT 254600 SOS 57457 HAS SOPS 57457 HAS SOUS 41843 HAS SOUPS 41843 WITH SCORE 41900.457
AT ITER 3161 NEW BEST:: SOT 254590 SOS 57447 HAS SOPS 57447 HAS SOUS 41833 HAS SOUPS 41833 WITH SCORE 41890.447
AT ITER 3188 NEW BEST:: SOT 254582 SOS 57431 HAS SOPS 57431 HAS SOUS 41817 HAS SOUPS 41817 WITH SCORE 41874.431
AT ITER 3197 NEW BEST:: SOT 254578 SOS 57441 HAS SOPS 57441 HAS SOUS 41813 HAS SOUPS 41813 WITH SCORE 41870.441
AT ITER 3202 NEW BEST:: SOT 254569 SOS 57423 HAS SOPS 57423 HAS SOUS 41804 HAS SOUPS 41804 WITH SCORE 41861.423
AT ITER 3219 NEW BEST:: SOT 254564 SOS 57418 HAS SOPS 57418 HAS SOUS 41804 HAS SOUPS 41804 WITH SCORE 41861.418
AT ITER 3260 NEW BEST:: SOT 254554 SOS 57398 HAS SOPS 57398 HAS SOUS 41784 HAS SOUPS 41784 WITH SCORE 41841.398
AT ITER 3266 NEW BEST:: SOT 254540 SOS 57384 HAS SOPS 57384 HAS SOUS 41763 HAS SOUPS 41763 WITH SCORE 41820.384
AT ITER 3277 NEW BEST:: SOT 254522 SOS 57366 HAS SOPS 57366 HAS SOUS 41749 HAS SOUPS 41749 WITH SCORE 41806.366
AT ITER 3291 NEW BEST:: SOT 254509 SOS 57365 HAS SOPS 57365 HAS SOUS 41748 HAS SOUPS 41748 WITH SCORE 41805.365
AT ITER 3328 NEW BEST:: SOT 254509 SOS 57336 HAS SOPS 57336 HAS SOUS 41748 HAS SOUPS 41748 WITH SCORE 41805.336
AT ITER 3333 NEW BEST:: SOT 254433 SOS 57260 HAS SOPS 57260 HAS SOUS 41710 HAS SOUPS 41710 WITH SCORE 41767.26
AT ITER 3350 NEW BEST:: SOT 254400 SOS 57376 HAS SOPS 57376 HAS SOUS 41690 HAS SOUPS 41690 WITH SCORE 41747.376
AT ITER 3374 NEW BEST:: SOT 254399 SOS 57374 HAS SOPS 57374 HAS SOUS 41688 HAS SOUPS 41688 WITH SCORE 41745.374
AT ITER 3392 NEW BEST:: SOT 254169 SOS 56914 HAS SOPS 56914 HAS SOUS 41356 HAS SOUPS 41356 WITH SCORE 41412.914
AT ITER 3417 NEW BEST:: SOT 254132 SOS 56840 HAS SOPS 56840 HAS SOUS 41282 HAS SOUPS 41282 WITH SCORE 41338.84
AT ITER 3431 NEW BEST:: SOT 254087 SOS 56795 HAS SOPS 56795 HAS SOUS 41218 HAS SOUPS 41218 WITH SCORE 41274.795
AT ITER 3436 NEW BEST:: SOT 254011 SOS 56647 HAS SOPS 56647 HAS SOUS 41073 HAS SOUPS 41073 WITH SCORE 41129.647
AT ITER 3439 NEW BEST:: SOT 254011 SOS 56647 HAS SOPS 56647 HAS SOUS 41069 HAS SOUPS 41069 WITH SCORE 41125.647
AT ITER 3441 NEW BEST:: SOT 254009 SOS 56645 HAS SOPS 56645 HAS SOUS 41067 HAS SOUPS 41067 WITH SCORE 41123.645
AT ITER 3442 NEW BEST:: SOT 253971 SOS 56569 HAS SOPS 56569 HAS SOUS 40991 HAS SOUPS 40991 WITH SCORE 41047.569
AT ITER 3479 NEW BEST:: SOT 253957 SOS 56541 HAS SOPS 56541 HAS SOUS 40977 HAS SOUPS 40977 WITH SCORE 41033.541
AT ITER 3488 NEW BEST:: SOT 254049 SOS 56633 HAS SOPS 56633 HAS SOUS 40938 HAS SOUPS 40938 WITH SCORE 40994.633
AT ITER 3494 NEW BEST:: SOT 253982 SOS 56558 HAS SOPS 56558 HAS SOUS 40919 HAS SOUPS 40919 WITH SCORE 40975.558
AT ITER 3512 NEW BEST:: SOT 253978 SOS 56546 HAS SOPS 56546 HAS SOUS 40915 HAS SOUPS 40915 WITH SCORE 40971.546
AT ITER 3546 NEW BEST:: SOT 253969 SOS 56528 HAS SOPS 56528 HAS SOUS 40915 HAS SOUPS 40915 WITH SCORE 40971.528
AT ITER 3550 NEW BEST:: SOT 253961 SOS 56512 HAS SOPS 56512 HAS SOUS 40899 HAS SOUPS 40899 WITH SCORE 40955.512
AT ITER 3552 NEW BEST:: SOT 253962 SOS 56507 HAS SOPS 56507 HAS SOUS 40869 HAS SOUPS 40869 WITH SCORE 40925.507
AT ITER 3559 NEW BEST:: SOT 253883 SOS 56349 HAS SOPS 56349 HAS SOUS 40711 HAS SOUPS 40711 WITH SCORE 40767.349
AT ITER 3568 NEW BEST:: SOT 253882 SOS 56347 HAS SOPS 56347 HAS SOUS 40709 HAS SOUPS 40709 WITH SCORE 40765.347
AT ITER 3579 NEW BEST:: SOT 253635 SOS 56100 HAS SOPS 56100 HAS SOUS 40549 HAS SOUPS 40549 WITH SCORE 40605.1
AT ITER 3623 NEW BEST:: SOT 253617 SOS 56064 HAS SOPS 56064 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40586.064
AT ITER 3629 NEW BEST:: SOT 253588 SOS 56006 HAS SOPS 56006 HAS SOUS 40504 HAS SOUPS 40504 WITH SCORE 40560.006
AT ITER 3644 NEW BEST:: SOT 253586 SOS 56002 HAS SOPS 56002 HAS SOUS 40502 HAS SOUPS 40502 WITH SCORE 40558.002
AT ITER 3670 NEW BEST:: SOT 253526 SOS 55942 HAS SOPS 55942 HAS SOUS 40437 HAS SOUPS 40437 WITH SCORE 40492.942
AT ITER 3681 NEW BEST:: SOT 253512 SOS 55914 HAS SOPS 55914 HAS SOUS 40409 HAS SOUPS 40409 WITH SCORE 40464.914
AT ITER 3704 NEW BEST:: SOT 253471 SOS 55798 HAS SOPS 55798 HAS SOUS 40406 HAS SOUPS 40406 WITH SCORE 40461.798
AT ITER 3731 NEW BEST:: SOT 253370 SOS 55634 HAS SOPS 55634 HAS SOUS 40343 HAS SOUPS 40343 WITH SCORE 40398.634
AT ITER 3746 NEW BEST:: SOT 253369 SOS 55623 HAS SOPS 55623 HAS SOUS 40332 HAS SOUPS 40332 WITH SCORE 40387.623
AT ITER 3758 NEW BEST:: SOT 253376 SOS 55661 HAS SOPS 55661 HAS SOUS 40313 HAS SOUPS 40313 WITH SCORE 40368.661
AT ITER 3789 NEW BEST:: SOT 253313 SOS 55661 HAS SOPS 55661 HAS SOUS 40307 HAS SOUPS 40307 WITH SCORE 40362.661
AT ITER 3797 NEW BEST:: SOT 253303 SOS 55651 HAS SOPS 55651 HAS SOUS 40297 HAS SOUPS 40297 WITH SCORE 40352.651
AT ITER 3810 NEW BEST:: SOT 253296 SOS 55569 HAS SOPS 55569 HAS SOUS 40222 HAS SOUPS 40222 WITH SCORE 40277.569
AT ITER 3825 NEW BEST:: SOT 253296 SOS 55528 HAS SOPS 55528 HAS SOUS 40222 HAS SOUPS 40222 WITH SCORE 40277.528
AT ITER 3855 NEW BEST:: SOT 253310 SOS 55516 HAS SOPS 55516 HAS SOUS 40216 HAS SOUPS 40216 WITH SCORE 40271.516
AT ITER 3856 NEW BEST:: SOT 253310 SOS 55513 HAS SOPS 55513 HAS SOUS 40216 HAS SOUPS 40216 WITH SCORE 40271.513
AT ITER 3860 NEW BEST:: SOT 253306 SOS 55505 HAS SOPS 55505 HAS SOUS 40208 HAS SOUPS 40208 WITH SCORE 40263.505
AT ITER 3914 NEW BEST:: SOT 253256 SOS 55455 HAS SOPS 55455 HAS SOUS 40158 HAS SOUPS 40158 WITH SCORE 40213.455
AT ITER 3923 NEW BEST:: SOT 253256 SOS 55458 HAS SOPS 55458 HAS SOUS 40155 HAS SOUPS 40155 WITH SCORE 40210.458
AT ITER 3930 NEW BEST:: SOT 253256 SOS 55458 HAS SOPS 55458 HAS SOUS 40059 HAS SOUPS 40059 WITH SCORE 40114.458
AT ITER 3936 NEW BEST:: SOT 253226 SOS 55440 HAS SOPS 55440 HAS SOUS 40056 HAS SOUPS 40056 WITH SCORE 40111.44
AT ITER 3959 NEW BEST:: SOT 253263 SOS 55485 HAS SOPS 55485 HAS SOUS 40044 HAS SOUPS 40044 WITH SCORE 40099.485
AT ITER 3960 NEW BEST:: SOT 253262 SOS 55494 HAS SOPS 55494 HAS SOUS 40043 HAS SOUPS 40043 WITH SCORE 40098.494
AT ITER 3972 NEW BEST:: SOT 253177 SOS 55474 HAS SOPS 55474 HAS SOUS 39958 HAS SOUPS 39958 WITH SCORE 40013.474
AT ITER 3975 NEW BEST:: SOT 253117 SOS 55414 HAS SOPS 55414 HAS SOUS 39958 HAS SOUPS 39958 WITH SCORE 40013.414
AT ITER 3987 NEW BEST:: SOT 253127 SOS 55398 HAS SOPS 55398 HAS SOUS 39955 HAS SOUPS 39955 WITH SCORE 40010.398
AT ITER 4008 NEW BEST:: SOT 253157 SOS 55353 HAS SOPS 55353 HAS SOUS 39947 HAS SOUPS 39947 WITH SCORE 40002.353
AT ITER 4012 NEW BEST:: SOT 253098 SOS 55235 HAS SOPS 55235 HAS SOUS 39940 HAS SOUPS 39940 WITH SCORE 39995.235
AT ITER 4035 NEW BEST:: SOT 253003 SOS 55150 HAS SOPS 55150 HAS SOUS 39929 HAS SOUPS 39929 WITH SCORE 39984.15
AT ITER 4049 NEW BEST:: SOT 252950 SOS 55096 HAS SOPS 55096 HAS SOUS 39876 HAS SOUPS 39876 WITH SCORE 39931.096
AT ITER 4055 NEW BEST:: SOT 252947 SOS 55076 HAS SOPS 55076 HAS SOUS 39866 HAS SOUPS 39866 WITH SCORE 39921.076
AT ITER 4067 NEW BEST:: SOT 252947 SOS 55068 HAS SOPS 55068 HAS SOUS 39850 HAS SOUPS 39850 WITH SCORE 39905.068
AT ITER 4080 NEW BEST:: SOT 252891 SOS 54995 HAS SOPS 54995 HAS SOUS 39777 HAS SOUPS 39777 WITH SCORE 39831.995
AT ITER 4096 NEW BEST:: SOT 252847 SOS 54907 HAS SOPS 54907 HAS SOUS 39733 HAS SOUPS 39733 WITH SCORE 39787.907
AT ITER 4112 NEW BEST:: SOT 252661 SOS 54754 HAS SOPS 54754 HAS SOUS 39681 HAS SOUPS 39681 WITH SCORE 39735.754
AT ITER 4138 NEW BEST:: SOT 252633 SOS 54698 HAS SOPS 54698 HAS SOUS 39652 HAS SOUPS 39652 WITH SCORE 39706.698
AT ITER 4207 NEW BEST:: SOT 252630 SOS 54692 HAS SOPS 54692 HAS SOUS 39646 HAS SOUPS 39646 WITH SCORE 39700.692
AT ITER 4223 NEW BEST:: SOT 252630 SOS 54672 HAS SOPS 54672 HAS SOUS 39626 HAS SOUPS 39626 WITH SCORE 39680.672
AT ITER 4225 NEW BEST:: SOT 252501 SOS 54619 HAS SOPS 54619 HAS SOUS 39502 HAS SOUPS 39502 WITH SCORE 39556.619
AT ITER 4242 NEW BEST:: SOT 252475 SOS 54419 HAS SOPS 54419 HAS SOUS 39339 HAS SOUPS 39339 WITH SCORE 39393.419
AT ITER 4277 NEW BEST:: SOT 252255 SOS 54097 HAS SOPS 54097 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39181.097
AT ITER 4295 NEW BEST:: SOT 252232 SOS 53986 HAS SOPS 53986 HAS SOUS 39079 HAS SOUPS 39079 WITH SCORE 39132.986
AT ITER 4321 NEW BEST:: SOT 252230 SOS 53949 HAS SOPS 53949 HAS SOUS 39077 HAS SOUPS 39077 WITH SCORE 39130.949
AT ITER 4344 NEW BEST:: SOT 252163 SOS 53815 HAS SOPS 53815 HAS SOUS 39015 HAS SOUPS 39015 WITH SCORE 39068.815
AT ITER 4346 NEW BEST:: SOT 252163 SOS 53815 HAS SOPS 53815 HAS SOUS 38903 HAS SOUPS 38903 WITH SCORE 38956.815
AT ITER 4367 NEW BEST:: SOT 252160 SOS 53812 HAS SOPS 53812 HAS SOUS 38903 HAS SOUPS 38903 WITH SCORE 38956.812
AT ITER 4399 NEW BEST:: SOT 252160 SOS 53810 HAS SOPS 53810 HAS SOUS 38903 HAS SOUPS 38903 WITH SCORE 38956.81
AT ITER 4451 NEW BEST:: SOT 252153 SOS 53834 HAS SOPS 53834 HAS SOUS 38894 HAS SOUPS 38894 WITH SCORE 38947.834
AT ITER 4459 NEW BEST:: SOT 252106 SOS 53740 HAS SOPS 53740 HAS SOUS 38835 HAS SOUPS 38835 WITH SCORE 38888.74
AT ITER 4460 NEW BEST:: SOT 252106 SOS 53740 HAS SOPS 53740 HAS SOUS 38832 HAS SOUPS 38832 WITH SCORE 38885.74
AT ITER 4467 NEW BEST:: SOT 251999 SOS 53526 HAS SOPS 53526 HAS SOUS 38694 HAS SOUPS 38694 WITH SCORE 38747.526
AT ITER 4481 NEW BEST:: SOT 251949 SOS 53475 HAS SOPS 53475 HAS SOUS 38643 HAS SOUPS 38643 WITH SCORE 38696.475
AT ITER 4531 NEW BEST:: SOT 251941 SOS 53459 HAS SOPS 53459 HAS SOUS 38639 HAS SOUPS 38639 WITH SCORE 38692.459
AT ITER 4578 NEW BEST:: SOT 251935 SOS 53456 HAS SOPS 53456 HAS SOUS 38636 HAS SOUPS 38636 WITH SCORE 38689.456
AT ITER 4639 NEW BEST:: SOT 251988 SOS 53396 HAS SOPS 53396 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38665.396
AT ITER 4640 NEW BEST:: SOT 251978 SOS 53376 HAS SOPS 53376 HAS SOUS 38610 HAS SOUPS 38610 WITH SCORE 38663.376
AT ITER 4652 NEW BEST:: SOT 251970 SOS 53360 HAS SOPS 53360 HAS SOUS 38602 HAS SOUPS 38602 WITH SCORE 38655.36
AT ITER 4662 NEW BEST:: SOT 251932 SOS 53284 HAS SOPS 53284 HAS SOUS 38526 HAS SOUPS 38526 WITH SCORE 38579.284
AT ITER 4673 NEW BEST:: SOT 251930 SOS 53284 HAS SOPS 53284 HAS SOUS 38520 HAS SOUPS 38520 WITH SCORE 38573.284
AT ITER 4687 NEW BEST:: SOT 251925 SOS 53274 HAS SOPS 53274 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38568.274
AT ITER 4697 NEW BEST:: SOT 251908 SOS 53264 HAS SOPS 53264 HAS SOUS 38505 HAS SOUPS 38505 WITH SCORE 38558.264
AT ITER 4709 NEW BEST:: SOT 251901 SOS 53257 HAS SOPS 53257 HAS SOUS 38495 HAS SOUPS 38495 WITH SCORE 38548.257
AT ITER 4718 NEW BEST:: SOT 251916 SOS 53238 HAS SOPS 53238 HAS SOUS 38474 HAS SOUPS 38474 WITH SCORE 38527.238
AT ITER 4719 NEW BEST:: SOT 251934 SOS 53229 HAS SOPS 53229 HAS SOUS 38465 HAS SOUPS 38465 WITH SCORE 38518.229
AT ITER 4723 NEW BEST:: SOT 251867 SOS 53095 HAS SOPS 53095 HAS SOUS 38427 HAS SOUPS 38427 WITH SCORE 38480.095
AT ITER 4736 NEW BEST:: SOT 251864 SOS 53089 HAS SOPS 53089 HAS SOUS 38421 HAS SOUPS 38421 WITH SCORE 38474.089
AT ITER 4760 NEW BEST:: SOT 251900 SOS 53087 HAS SOPS 53087 HAS SOUS 38419 HAS SOUPS 38419 WITH SCORE 38472.087
AT ITER 4776 NEW BEST:: SOT 251893 SOS 53087 HAS SOPS 53087 HAS SOUS 38413 HAS SOUPS 38413 WITH SCORE 38466.087
AT ITER 4785 NEW BEST:: SOT 251870 SOS 53081 HAS SOPS 53081 HAS SOUS 38408 HAS SOUPS 38408 WITH SCORE 38461.081
AT ITER 4801 NEW BEST:: SOT 251841 SOS 53023 HAS SOPS 53023 HAS SOUS 38379 HAS SOUPS 38379 WITH SCORE 38432.023
AT ITER 4807 NEW BEST:: SOT 251809 SOS 52959 HAS SOPS 52959 HAS SOUS 38347 HAS SOUPS 38347 WITH SCORE 38399.959
AT ITER 4834 NEW BEST:: SOT 251746 SOS 52913 HAS SOPS 52913 HAS SOUS 38341 HAS SOUPS 38341 WITH SCORE 38393.913
AT ITER 4839 NEW BEST:: SOT 251746 SOS 52838 HAS SOPS 52838 HAS SOUS 38341 HAS SOUPS 38341 WITH SCORE 38393.838
AT ITER 4851 NEW BEST:: SOT 251729 SOS 52794 HAS SOPS 52794 HAS SOUS 38297 HAS SOUPS 38297 WITH SCORE 38349.794
AT ITER 4862 NEW BEST:: SOT 251785 SOS 52850 HAS SOPS 52850 HAS SOUS 38292 HAS SOUPS 38292 WITH SCORE 38344.85
AT ITER 4866 NEW BEST:: SOT 251842 SOS 52906 HAS SOPS 52906 HAS SOUS 38291 HAS SOUPS 38291 WITH SCORE 38343.906
AT ITER 4870 NEW BEST:: SOT 251789 SOS 52888 HAS SOPS 52888 HAS SOUS 38114 HAS SOUPS 38114 WITH SCORE 38166.888
AT ITER 4882 NEW BEST:: SOT 251763 SOS 52836 HAS SOPS 52836 HAS SOUS 38062 HAS SOUPS 38062 WITH SCORE 38114.836
AT ITER 4891 NEW BEST:: SOT 251743 SOS 52836 HAS SOPS 52836 HAS SOUS 38042 HAS SOUPS 38042 WITH SCORE 38094.836
AT ITER 4893 NEW BEST:: SOT 251732 SOS 52881 HAS SOPS 52881 HAS SOUS 38031 HAS SOUPS 38031 WITH SCORE 38083.881
AT ITER 4910 NEW BEST:: SOT 251731 SOS 52879 HAS SOPS 52879 HAS SOUS 38029 HAS SOUPS 38029 WITH SCORE 38081.879
AT ITER 4925 NEW BEST:: SOT 251741 SOS 52848 HAS SOPS 52848 HAS SOUS 37998 HAS SOUPS 37998 WITH SCORE 38050.848
AT ITER 4932 NEW BEST:: SOT 251791 SOS 52891 HAS SOPS 52891 HAS SOUS 37984 HAS SOUPS 37984 WITH SCORE 38036.891
AT ITER 4947 NEW BEST:: SOT 251791 SOS 52870 HAS SOPS 52870 HAS SOUS 37984 HAS SOUPS 37984 WITH SCORE 38036.87
AT ITER 4951 NEW BEST:: SOT 251866 SOS 52866 HAS SOPS 52866 HAS SOUS 37980 HAS SOUPS 37980 WITH SCORE 38032.866
AT ITER 4960 NEW BEST:: SOT 251921 SOS 52860 HAS SOPS 52860 HAS SOUS 37974 HAS SOUPS 37974 WITH SCORE 38026.86
AT ITER 4971 NEW BEST:: SOT 251917 SOS 52852 HAS SOPS 52852 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 37996.852
AT ITER 4977 NEW BEST:: SOT 251961 SOS 52896 HAS SOPS 52896 HAS SOUS 37941 HAS SOUPS 37941 WITH SCORE 37993.896
AT ITER 4984 NEW BEST:: SOT 251882 SOS 52748 HAS SOPS 52748 HAS SOUS 37931 HAS SOUPS 37931 WITH SCORE 37983.748
AT ITER 4995 NEW BEST:: SOT 251874 SOS 52740 HAS SOPS 52740 HAS SOUS 37923 HAS SOUPS 37923 WITH SCORE 37975.74
AT ITER 5022 NEW BEST:: SOT 251866 SOS 52732 HAS SOPS 52732 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37967.732
AT ITER 5036 NEW BEST:: SOT 251866 SOS 52732 HAS SOPS 52732 HAS SOUS 37902 HAS SOUPS 37902 WITH SCORE 37954.732
AT ITER 5045 NEW BEST:: SOT 251845 SOS 52498 HAS SOPS 52498 HAS SOUS 37823 HAS SOUPS 37823 WITH SCORE 37875.498
AT ITER 5072 NEW BEST:: SOT 251789 SOS 52421 HAS SOPS 52421 HAS SOUS 37772 HAS SOUPS 37772 WITH SCORE 37824.421
AT ITER 5085 NEW BEST:: SOT 251790 SOS 52427 HAS SOPS 52427 HAS SOUS 37770 HAS SOUPS 37770 WITH SCORE 37822.427
AT ITER 5103 NEW BEST:: SOT 251788 SOS 52425 HAS SOPS 52425 HAS SOUS 37768 HAS SOUPS 37768 WITH SCORE 37820.425
AT ITER 5114 NEW BEST:: SOT 251776 SOS 52401 HAS SOPS 52401 HAS SOUS 37744 HAS SOUPS 37744 WITH SCORE 37796.401
AT ITER 5115 NEW BEST:: SOT 251785 SOS 52464 HAS SOPS 52464 HAS SOUS 37725 HAS SOUPS 37725 WITH SCORE 37777.464
AT ITER 5135 NEW BEST:: SOT 251751 SOS 52396 HAS SOPS 52396 HAS SOUS 37657 HAS SOUPS 37657 WITH SCORE 37709.396
AT ITER 5136 NEW BEST:: SOT 251746 SOS 52392 HAS SOPS 52392 HAS SOUS 37653 HAS SOUPS 37653 WITH SCORE 37705.392
AT ITER 5143 NEW BEST:: SOT 251727 SOS 52373 HAS SOPS 52373 HAS SOUS 37629 HAS SOUPS 37629 WITH SCORE 37681.373
AT ITER 5154 NEW BEST:: SOT 251685 SOS 52289 HAS SOPS 52289 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37624.289
AT ITER 5168 NEW BEST:: SOT 251658 SOS 52268 HAS SOPS 52268 HAS SOUS 37551 HAS SOUPS 37551 WITH SCORE 37603.268
AT ITER 5212 NEW BEST:: SOT 251658 SOS 52227 HAS SOPS 52227 HAS SOUS 37551 HAS SOUPS 37551 WITH SCORE 37603.227
AT ITER 5219 NEW BEST:: SOT 251623 SOS 52194 HAS SOPS 52194 HAS SOUS 37537 HAS SOUPS 37537 WITH SCORE 37589.194
AT ITER 5223 NEW BEST:: SOT 251625 SOS 52179 HAS SOPS 52179 HAS SOUS 37524 HAS SOUPS 37524 WITH SCORE 37576.179
AT ITER 5234 NEW BEST:: SOT 251617 SOS 52163 HAS SOPS 52163 HAS SOUS 37508 HAS SOUPS 37508 WITH SCORE 37560.163
AT ITER 5300 NEW BEST:: SOT 251529 SOS 52036 HAS SOPS 52036 HAS SOUS 37430 HAS SOUPS 37430 WITH SCORE 37482.036
AT ITER 5309 NEW BEST:: SOT 251525 SOS 52028 HAS SOPS 52028 HAS SOUS 37415 HAS SOUPS 37415 WITH SCORE 37467.028
AT ITER 5323 NEW BEST:: SOT 251380 SOS 51738 HAS SOPS 51738 HAS SOUS 37343 HAS SOUPS 37343 WITH SCORE 37394.738
AT ITER 5349 NEW BEST:: SOT 251378 SOS 51737 HAS SOPS 51737 HAS SOUS 37342 HAS SOUPS 37342 WITH SCORE 37393.737
AT ITER 5358 NEW BEST:: SOT 251322 SOS 51681 HAS SOPS 51681 HAS SOUS 37286 HAS SOUPS 37286 WITH SCORE 37337.681
AT ITER 5363 NEW BEST:: SOT 251177 SOS 52121 HAS SOPS 52121 HAS SOUS 37197 HAS SOUPS 37197 WITH SCORE 37249.121
AT ITER 5434 NEW BEST:: SOT 251141 SOS 52087 HAS SOPS 52087 HAS SOUS 37163 HAS SOUPS 37163 WITH SCORE 37215.087
AT ITER 5450 NEW BEST:: SOT 250951 SOS 53055 HAS SOPS 53055 HAS SOUS 37105 HAS SOUPS 37105 WITH SCORE 37158.055
AT ITER 5453 NEW BEST:: SOT 250951 SOS 53055 HAS SOPS 53055 HAS SOUS 37023 HAS SOUPS 37023 WITH SCORE 37076.055
AT ITER 5455 NEW BEST:: SOT 250938 SOS 53029 HAS SOPS 53029 HAS SOUS 36997 HAS SOUPS 36997 WITH SCORE 37050.029
AT ITER 5476 NEW BEST:: SOT 250938 SOS 53029 HAS SOPS 53029 HAS SOUS 36948 HAS SOUPS 36948 WITH SCORE 37001.029
AT ITER 5487 NEW BEST:: SOT 250929 SOS 53011 HAS SOPS 53011 HAS SOUS 36930 HAS SOUPS 36930 WITH SCORE 36983.011
AT ITER 5524 NEW BEST:: SOT 250867 SOS 52887 HAS SOPS 52887 HAS SOUS 36930 HAS SOUPS 36930 WITH SCORE 36982.887
AT ITER 5539 NEW BEST:: SOT 250865 SOS 52851 HAS SOPS 52851 HAS SOUS 36915 HAS SOUPS 36915 WITH SCORE 36967.851
AT ITER 5580 NEW BEST:: SOT 250820 SOS 52806 HAS SOPS 52806 HAS SOUS 36915 HAS SOUPS 36915 WITH SCORE 36967.806
AT ITER 5635 NEW BEST:: SOT 250824 SOS 52586 HAS SOPS 52586 HAS SOUS 36713 HAS SOUPS 36713 WITH SCORE 36765.586
AT ITER 5680 NEW BEST:: SOT 250824 SOS 52566 HAS SOPS 52566 HAS SOUS 36693 HAS SOUPS 36693 WITH SCORE 36745.566
AT ITER 5689 NEW BEST:: SOT 250806 SOS 52548 HAS SOPS 52548 HAS SOUS 36675 HAS SOUPS 36675 WITH SCORE 36727.548
AT ITER 5757 NEW BEST:: SOT 250777 SOS 52519 HAS SOPS 52519 HAS SOUS 36646 HAS SOUPS 36646 WITH SCORE 36698.519
AT ITER 5775 NEW BEST:: SOT 250561 SOS 52302 HAS SOPS 52302 HAS SOUS 36430 HAS SOUPS 36430 WITH SCORE 36482.302
AT ITER 5791 NEW BEST:: SOT 250529 SOS 52270 HAS SOPS 52270 HAS SOUS 36413 HAS SOUPS 36413 WITH SCORE 36465.27
AT ITER 5815 NEW BEST:: SOT 250515 SOS 52269 HAS SOPS 52269 HAS SOUS 36403 HAS SOUPS 36403 WITH SCORE 36455.269
AT ITER 5842 NEW BEST:: SOT 250499 SOS 52237 HAS SOPS 52237 HAS SOUS 36378 HAS SOUPS 36378 WITH SCORE 36430.237
AT ITER 5889 NEW BEST:: SOT 250499 SOS 52186 HAS SOPS 52186 HAS SOUS 36378 HAS SOUPS 36378 WITH SCORE 36430.186
AT ITER 5940 NEW BEST:: SOT 250490 SOS 52150 HAS SOPS 52150 HAS SOUS 36351 HAS SOUPS 36351 WITH SCORE 36403.15
AT ITER 5958 NEW BEST:: SOT 250415 SOS 52038 HAS SOPS 52038 HAS SOUS 36276 HAS SOUPS 36276 WITH SCORE 36328.038
AT ITER 5962 NEW BEST:: SOT 250414 SOS 52036 HAS SOPS 52036 HAS SOUS 36274 HAS SOUPS 36274 WITH SCORE 36326.036
AT ITER 6009 NEW BEST:: SOT 250352 SOS 51944 HAS SOPS 51944 HAS SOUS 36213 HAS SOUPS 36213 WITH SCORE 36264.944
AT ITER 6053 NEW BEST:: SOT 250361 SOS 51943 HAS SOPS 51943 HAS SOUS 36212 HAS SOUPS 36212 WITH SCORE 36263.943
AT ITER 6061 NEW BEST:: SOT 250391 SOS 51942 HAS SOPS 51942 HAS SOUS 36211 HAS SOUPS 36211 WITH SCORE 36262.942
AT ITER 6064 NEW BEST:: SOT 250341 SOS 51892 HAS SOPS 51892 HAS SOUS 36161 HAS SOUPS 36161 WITH SCORE 36212.892
AT ITER 6070 NEW BEST:: SOT 250197 SOS 52744 HAS SOPS 52744 HAS SOUS 36126 HAS SOUPS 36126 WITH SCORE 36178.744
AT ITER 6121 NEW BEST:: SOT 250133 SOS 52680 HAS SOPS 52680 HAS SOUS 36062 HAS SOUPS 36062 WITH SCORE 36114.68
AT ITER 6142 NEW BEST:: SOT 250100 SOS 52614 HAS SOPS 52614 HAS SOUS 36029 HAS SOUPS 36029 WITH SCORE 36081.614
AT ITER 6148 NEW BEST:: SOT 250100 SOS 52614 HAS SOPS 52614 HAS SOUS 35940 HAS SOUPS 35940 WITH SCORE 35992.614
AT ITER 6164 NEW BEST:: SOT 250100 SOS 52209 HAS SOPS 52209 HAS SOUS 35913 HAS SOUPS 35913 WITH SCORE 35965.209
AT ITER 6168 NEW BEST:: SOT 250108 SOS 52189 HAS SOPS 52189 HAS SOUS 35905 HAS SOUPS 35905 WITH SCORE 35957.189
AT ITER 6173 NEW BEST:: SOT 250120 SOS 52183 HAS SOPS 52183 HAS SOUS 35899 HAS SOUPS 35899 WITH SCORE 35951.183
AT ITER 6186 NEW BEST:: SOT 250122 SOS 52163 HAS SOPS 52163 HAS SOUS 35897 HAS SOUPS 35897 WITH SCORE 35949.163
AT ITER 6210 NEW BEST:: SOT 250119 SOS 52157 HAS SOPS 52157 HAS SOUS 35891 HAS SOUPS 35891 WITH SCORE 35943.157
AT ITER 6321 NEW BEST:: SOT 250119 SOS 52038 HAS SOPS 52038 HAS SOUS 35891 HAS SOUPS 35891 WITH SCORE 35943.038
AT ITER 6352 NEW BEST:: SOT 250075 SOS 52340 HAS SOPS 52340 HAS SOUS 35877 HAS SOUPS 35877 WITH SCORE 35929.34
AT ITER 6359 NEW BEST:: SOT 250072 SOS 52334 HAS SOPS 52334 HAS SOUS 35871 HAS SOUPS 35871 WITH SCORE 35923.334
AT ITER 6380 NEW BEST:: SOT 250135 SOS 52356 HAS SOPS 52356 HAS SOUS 35852 HAS SOUPS 35852 WITH SCORE 35904.356
AT ITER 6383 NEW BEST:: SOT 250135 SOS 52333 HAS SOPS 52333 HAS SOUS 35852 HAS SOUPS 35852 WITH SCORE 35904.333
AT ITER 6396 NEW BEST:: SOT 250081 SOS 52279 HAS SOPS 52279 HAS SOUS 35852 HAS SOUPS 35852 WITH SCORE 35904.279
AT ITER 6451 NEW BEST:: SOT 250079 SOS 52273 HAS SOPS 52273 HAS SOUS 35848 HAS SOUPS 35848 WITH SCORE 35900.273
AT ITER 6470 NEW BEST:: SOT 250063 SOS 52241 HAS SOPS 52241 HAS SOUS 35832 HAS SOUPS 35832 WITH SCORE 35884.241
AT ITER 6538 NEW BEST:: SOT 250058 SOS 52239 HAS SOPS 52239 HAS SOUS 35830 HAS SOUPS 35830 WITH SCORE 35882.239
AT ITER 6542 NEW BEST:: SOT 250025 SOS 52222 HAS SOPS 52222 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35849.222
AT ITER 6582 NEW BEST:: SOT 250002 SOS 52188 HAS SOPS 52188 HAS SOUS 35763 HAS SOUPS 35763 WITH SCORE 35815.188
AT ITER 6602 NEW BEST:: SOT 250002 SOS 52076 HAS SOPS 52076 HAS SOUS 35763 HAS SOUPS 35763 WITH SCORE 35815.076
AT ITER 6670 NEW BEST:: SOT 250004 SOS 52080 HAS SOPS 52080 HAS SOUS 35731 HAS SOUPS 35731 WITH SCORE 35783.08
AT ITER 6681 NEW BEST:: SOT 250047 SOS 51646 HAS SOPS 51646 HAS SOUS 35713 HAS SOUPS 35713 WITH SCORE 35764.646
AT ITER 6687 NEW BEST:: SOT 250047 SOS 51642 HAS SOPS 51642 HAS SOUS 35709 HAS SOUPS 35709 WITH SCORE 35760.642
AT ITER 6723 NEW BEST:: SOT 250045 SOS 51638 HAS SOPS 51638 HAS SOUS 35705 HAS SOUPS 35705 WITH SCORE 35756.638
AT ITER 6754 NEW BEST:: SOT 250017 SOS 51582 HAS SOPS 51582 HAS SOUS 35649 HAS SOUPS 35649 WITH SCORE 35700.582
AT ITER 6770 NEW BEST:: SOT 250002 SOS 51567 HAS SOPS 51567 HAS SOUS 35649 HAS SOUPS 35649 WITH SCORE 35700.567
AT ITER 6832 NEW BEST:: SOT 249943 SOS 51449 HAS SOPS 51449 HAS SOUS 35636 HAS SOUPS 35636 WITH SCORE 35687.449
AT ITER 6913 NEW BEST:: SOT 249926 SOS 51415 HAS SOPS 51415 HAS SOUS 35619 HAS SOUPS 35619 WITH SCORE 35670.415
AT ITER 6921 NEW BEST:: SOT 249912 SOS 51344 HAS SOPS 51344 HAS SOUS 35614 HAS SOUPS 35614 WITH SCORE 35665.344
AT ITER 6933 NEW BEST:: SOT 249899 SOS 51331 HAS SOPS 51331 HAS SOUS 35611 HAS SOUPS 35611 WITH SCORE 35662.331
AT ITER 6968 NEW BEST:: SOT 249899 SOS 51376 HAS SOPS 51376 HAS SOUS 35593 HAS SOUPS 35593 WITH SCORE 35644.376
AT ITER 6986 NEW BEST:: SOT 249887 SOS 51364 HAS SOPS 51364 HAS SOUS 35593 HAS SOUPS 35593 WITH SCORE 35644.364
AT ITER 7015 NEW BEST:: SOT 249862 SOS 51339 HAS SOPS 51339 HAS SOUS 35568 HAS SOUPS 35568 WITH SCORE 35619.339
AT ITER 7039 NEW BEST:: SOT 249861 SOS 51338 HAS SOPS 51338 HAS SOUS 35567 HAS SOUPS 35567 WITH SCORE 35618.338
AT ITER 7044 NEW BEST:: SOT 249861 SOS 51316 HAS SOPS 51316 HAS SOUS 35567 HAS SOUPS 35567 WITH SCORE 35618.316
AT ITER 7096 NEW BEST:: SOT 249853 SOS 51300 HAS SOPS 51300 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35602.3
AT ITER 7136 NEW BEST:: SOT 249886 SOS 51288 HAS SOPS 51288 HAS SOUS 35545 HAS SOUPS 35545 WITH SCORE 35596.288
AT ITER 7141 NEW BEST:: SOT 249884 SOS 51284 HAS SOPS 51284 HAS SOUS 35542 HAS SOUPS 35542 WITH SCORE 35593.284
AT ITER 7165 NEW BEST:: SOT 249901 SOS 51297 HAS SOPS 51297 HAS SOUS 35480 HAS SOUPS 35480 WITH SCORE 35531.297
AT ITER 7204 NEW BEST:: SOT 249880 SOS 51255 HAS SOPS 51255 HAS SOUS 35459 HAS SOUPS 35459 WITH SCORE 35510.255
AT ITER 7210 NEW BEST:: SOT 249851 SOS 51197 HAS SOPS 51197 HAS SOUS 35437 HAS SOUPS 35437 WITH SCORE 35488.197
AT ITER 7214 NEW BEST:: SOT 249851 SOS 51197 HAS SOPS 51197 HAS SOUS 35433 HAS SOUPS 35433 WITH SCORE 35484.197
AT ITER 7215 NEW BEST:: SOT 249892 SOS 51203 HAS SOPS 51203 HAS SOUS 35404 HAS SOUPS 35404 WITH SCORE 35455.203
AT ITER 7271 NEW BEST:: SOT 249895 SOS 51209 HAS SOPS 51209 HAS SOUS 35402 HAS SOUPS 35402 WITH SCORE 35453.209
AT ITER 7279 NEW BEST:: SOT 249860 SOS 51139 HAS SOPS 51139 HAS SOUS 35382 HAS SOUPS 35382 WITH SCORE 35433.139
AT ITER 7294 NEW BEST:: SOT 249842 SOS 51198 HAS SOPS 51198 HAS SOUS 35346 HAS SOUPS 35346 WITH SCORE 35397.198
AT ITER 7325 NEW BEST:: SOT 249845 SOS 50462 HAS SOPS 50462 HAS SOUS 35296 HAS SOUPS 35296 WITH SCORE 35346.462
AT ITER 7337 NEW BEST:: SOT 249842 SOS 50456 HAS SOPS 50456 HAS SOUS 35290 HAS SOUPS 35290 WITH SCORE 35340.456
AT ITER 7360 NEW BEST:: SOT 249774 SOS 50380 HAS SOPS 50380 HAS SOUS 35258 HAS SOUPS 35258 WITH SCORE 35308.38
AT ITER 7418 NEW BEST:: SOT 249494 SOS 51718 HAS SOPS 51718 HAS SOUS 35253 HAS SOUPS 35253 WITH SCORE 35304.718
AT ITER 7434 NEW BEST:: SOT 249467 SOS 51699 HAS SOPS 51699 HAS SOUS 35234 HAS SOUPS 35234 WITH SCORE 35285.699
AT ITER 7448 NEW BEST:: SOT 249445 SOS 51652 HAS SOPS 51652 HAS SOUS 35192 HAS SOUPS 35192 WITH SCORE 35243.652
AT ITER 7451 NEW BEST:: SOT 249439 SOS 51652 HAS SOPS 51652 HAS SOUS 35186 HAS SOUPS 35186 WITH SCORE 35237.652
AT ITER 7490 NEW BEST:: SOT 249526 SOS 51649 HAS SOPS 51649 HAS SOUS 35168 HAS SOUPS 35168 WITH SCORE 35219.649
AT ITER 7495 NEW BEST:: SOT 249510 SOS 51617 HAS SOPS 51617 HAS SOUS 35152 HAS SOUPS 35152 WITH SCORE 35203.617
AT ITER 7510 NEW BEST:: SOT 249504 SOS 51611 HAS SOPS 51611 HAS SOUS 35146 HAS SOUPS 35146 WITH SCORE 35197.611
AT ITER 7520 NEW BEST:: SOT 249516 SOS 51623 HAS SOPS 51623 HAS SOUS 35118 HAS SOUPS 35118 WITH SCORE 35169.623
AT ITER 7531 NEW BEST:: SOT 249523 SOS 51585 HAS SOPS 51585 HAS SOUS 35047 HAS SOUPS 35047 WITH SCORE 35098.585
AT ITER 7591 NEW BEST:: SOT 249472 SOS 51483 HAS SOPS 51483 HAS SOUS 34945 HAS SOUPS 34945 WITH SCORE 34996.483
AT ITER 7606 NEW BEST:: SOT 249427 SOS 51633 HAS SOPS 51633 HAS SOUS 34903 HAS SOUPS 34903 WITH SCORE 34954.633
AT ITER 7639 NEW BEST:: SOT 249501 SOS 51631 HAS SOPS 51631 HAS SOUS 34901 HAS SOUPS 34901 WITH SCORE 34952.631
AT ITER 7689 NEW BEST:: SOT 249504 SOS 51634 HAS SOPS 51634 HAS SOUS 34897 HAS SOUPS 34897 WITH SCORE 34948.634
AT ITER 7691 NEW BEST:: SOT 249426 SOS 52375 HAS SOPS 52375 HAS SOUS 34880 HAS SOUPS 34880 WITH SCORE 34932.375
AT ITER 7694 NEW BEST:: SOT 249419 SOS 52354 HAS SOPS 52354 HAS SOUS 34866 HAS SOUPS 34866 WITH SCORE 34918.354
AT ITER 7709 NEW BEST:: SOT 249392 SOS 52327 HAS SOPS 52327 HAS SOUS 34866 HAS SOUPS 34866 WITH SCORE 34918.327
AT ITER 7724 NEW BEST:: SOT 249404 SOS 52384 HAS SOPS 52384 HAS SOUS 34859 HAS SOUPS 34859 WITH SCORE 34911.384
AT ITER 7731 NEW BEST:: SOT 249360 SOS 52108 HAS SOPS 52108 HAS SOUS 34853 HAS SOUPS 34853 WITH SCORE 34905.108
AT ITER 7737 NEW BEST:: SOT 249349 SOS 52086 HAS SOPS 52086 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34883.086
AT ITER 7739 NEW BEST:: SOT 249363 SOS 52009 HAS SOPS 52009 HAS SOUS 34831 HAS SOUPS 34831 WITH SCORE 34883.009
AT ITER 7753 NEW BEST:: SOT 249355 SOS 51993 HAS SOPS 51993 HAS SOUS 34815 HAS SOUPS 34815 WITH SCORE 34866.993
AT ITER 7777 NEW BEST:: SOT 249356 SOS 51989 HAS SOPS 51989 HAS SOUS 34811 HAS SOUPS 34811 WITH SCORE 34862.989
AT ITER 7786 NEW BEST:: SOT 249410 SOS 51966 HAS SOPS 51966 HAS SOUS 34767 HAS SOUPS 34767 WITH SCORE 34818.966
AT ITER 7789 NEW BEST:: SOT 249431 SOS 52008 HAS SOPS 52008 HAS SOUS 34762 HAS SOUPS 34762 WITH SCORE 34814.008
AT ITER 7856 NEW BEST:: SOT 249459 SOS 52036 HAS SOPS 52036 HAS SOUS 34743 HAS SOUPS 34743 WITH SCORE 34795.036
AT ITER 7873 NEW BEST:: SOT 249464 SOS 52033 HAS SOPS 52033 HAS SOUS 34736 HAS SOUPS 34736 WITH SCORE 34788.033
AT ITER 7891 NEW BEST:: SOT 249461 SOS 52027 HAS SOPS 52027 HAS SOUS 34733 HAS SOUPS 34733 WITH SCORE 34785.027
AT ITER 7897 NEW BEST:: SOT 249450 SOS 52016 HAS SOPS 52016 HAS SOUS 34733 HAS SOUPS 34733 WITH SCORE 34785.016
AT ITER 7904 NEW BEST:: SOT 249435 SOS 51999 HAS SOPS 51999 HAS SOUS 34716 HAS SOUPS 34716 WITH SCORE 34767.999
AT ITER 7948 NEW BEST:: SOT 249404 SOS 51854 HAS SOPS 51854 HAS SOUS 34694 HAS SOUPS 34694 WITH SCORE 34745.854
AT ITER 7953 NEW BEST:: SOT 249377 SOS 51773 HAS SOPS 51773 HAS SOUS 34640 HAS SOUPS 34640 WITH SCORE 34691.773
AT ITER 7973 NEW BEST:: SOT 249284 SOS 51668 HAS SOPS 51668 HAS SOUS 34575 HAS SOUPS 34575 WITH SCORE 34626.668
AT ITER 7988 NEW BEST:: SOT 249311 SOS 51695 HAS SOPS 51695 HAS SOUS 34570 HAS SOUPS 34570 WITH SCORE 34621.695
AT ITER 7993 NEW BEST:: SOT 249378 SOS 51646 HAS SOPS 51646 HAS SOUS 34521 HAS SOUPS 34521 WITH SCORE 34572.646
AT ITER 8004 NEW BEST:: SOT 249374 SOS 51638 HAS SOPS 51638 HAS SOUS 34517 HAS SOUPS 34517 WITH SCORE 34568.638
AT ITER 8044 NEW BEST:: SOT 249358 SOS 51606 HAS SOPS 51606 HAS SOUS 34501 HAS SOUPS 34501 WITH SCORE 34552.606
AT ITER 8061 NEW BEST:: SOT 249340 SOS 51667 HAS SOPS 51667 HAS SOUS 34483 HAS SOUPS 34483 WITH SCORE 34534.667
AT ITER 8078 NEW BEST:: SOT 249303 SOS 51727 HAS SOPS 51727 HAS SOUS 34405 HAS SOUPS 34405 WITH SCORE 34456.727
AT ITER 8140 NEW BEST:: SOT 249293 SOS 51707 HAS SOPS 51707 HAS SOUS 34368 HAS SOUPS 34368 WITH SCORE 34419.707
AT ITER 8218 NEW BEST:: SOT 249275 SOS 51695 HAS SOPS 51695 HAS SOUS 34368 HAS SOUPS 34368 WITH SCORE 34419.695
AT ITER 8257 NEW BEST:: SOT 249275 SOS 51695 HAS SOPS 51695 HAS SOUS 34352 HAS SOUPS 34352 WITH SCORE 34403.695
AT ITER 8283 NEW BEST:: SOT 249354 SOS 51610 HAS SOPS 51610 HAS SOUS 34350 HAS SOUPS 34350 WITH SCORE 34401.61
AT ITER 8300 NEW BEST:: SOT 249316 SOS 51589 HAS SOPS 51589 HAS SOUS 34329 HAS SOUPS 34329 WITH SCORE 34380.589
AT ITER 8312 NEW BEST:: SOT 249292 SOS 51541 HAS SOPS 51541 HAS SOUS 34305 HAS SOUPS 34305 WITH SCORE 34356.541
AT ITER 8367 NEW BEST:: SOT 249230 SOS 51417 HAS SOPS 51417 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34227.417
AT ITER 8415 NEW BEST:: SOT 249228 SOS 51409 HAS SOPS 51409 HAS SOUS 34170 HAS SOUPS 34170 WITH SCORE 34221.409
AT ITER 8444 NEW BEST:: SOT 249171 SOS 51352 HAS SOPS 51352 HAS SOUS 34136 HAS SOUPS 34136 WITH SCORE 34187.352
AT ITER 8450 NEW BEST:: SOT 249165 SOS 51340 HAS SOPS 51340 HAS SOUS 34130 HAS SOUPS 34130 WITH SCORE 34181.34
AT ITER 8456 NEW BEST:: SOT 249121 SOS 51252 HAS SOPS 51252 HAS SOUS 34064 HAS SOUPS 34064 WITH SCORE 34115.252
AT ITER 8478 NEW BEST:: SOT 249059 SOS 51247 HAS SOPS 51247 HAS SOUS 34059 HAS SOUPS 34059 WITH SCORE 34110.247
AT ITER 8492 NEW BEST:: SOT 249066 SOS 51235 HAS SOPS 51235 HAS SOUS 34040 HAS SOUPS 34040 WITH SCORE 34091.235
AT ITER 8498 NEW BEST:: SOT 249066 SOS 51203 HAS SOPS 51203 HAS SOUS 34040 HAS SOUPS 34040 WITH SCORE 34091.203
AT ITER 8504 NEW BEST:: SOT 249039 SOS 51176 HAS SOPS 51176 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34064.176
AT ITER 8505 NEW BEST:: SOT 249039 SOS 51171 HAS SOPS 51171 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34059.171
AT ITER 8528 NEW BEST:: SOT 249038 SOS 51209 HAS SOPS 51209 HAS SOUS 34007 HAS SOUPS 34007 WITH SCORE 34058.209
AT ITER 8548 NEW BEST:: SOT 249003 SOS 51174 HAS SOPS 51174 HAS SOUS 34002 HAS SOUPS 34002 WITH SCORE 34053.174
AT ITER 8550 NEW BEST:: SOT 248986 SOS 51174 HAS SOPS 51174 HAS SOUS 33985 HAS SOUPS 33985 WITH SCORE 34036.174
AT ITER 8565 NEW BEST:: SOT 248979 SOS 51196 HAS SOPS 51196 HAS SOUS 33978 HAS SOUPS 33978 WITH SCORE 34029.196
AT ITER 8567 NEW BEST:: SOT 248968 SOS 51192 HAS SOPS 51192 HAS SOUS 33974 HAS SOUPS 33974 WITH SCORE 34025.192
AT ITER 8595 NEW BEST:: SOT 248907 SOS 51162 HAS SOPS 51162 HAS SOUS 33936 HAS SOUPS 33936 WITH SCORE 33987.162
AT ITER 8602 NEW BEST:: SOT 248903 SOS 51154 HAS SOPS 51154 HAS SOUS 33932 HAS SOUPS 33932 WITH SCORE 33983.154
AT ITER 8617 NEW BEST:: SOT 248905 SOS 51186 HAS SOPS 51186 HAS SOUS 33929 HAS SOUPS 33929 WITH SCORE 33980.186
AT ITER 8683 NEW BEST:: SOT 248922 SOS 51196 HAS SOPS 51196 HAS SOUS 33922 HAS SOUPS 33922 WITH SCORE 33973.196
AT ITER 8699 NEW BEST:: SOT 248864 SOS 51080 HAS SOPS 51080 HAS SOUS 33822 HAS SOUPS 33822 WITH SCORE 33873.08
AT ITER 8704 NEW BEST:: SOT 248861 SOS 51074 HAS SOPS 51074 HAS SOUS 33816 HAS SOUPS 33816 WITH SCORE 33867.074
AT ITER 8738 NEW BEST:: SOT 248860 SOS 51082 HAS SOPS 51082 HAS SOUS 33815 HAS SOUPS 33815 WITH SCORE 33866.082
AT ITER 8755 NEW BEST:: SOT 248857 SOS 51076 HAS SOPS 51076 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33863.076
AT ITER 8764 NEW BEST:: SOT 248845 SOS 51130 HAS SOPS 51130 HAS SOUS 33806 HAS SOUPS 33806 WITH SCORE 33857.13
AT ITER 8794 NEW BEST:: SOT 248814 SOS 51068 HAS SOPS 51068 HAS SOUS 33773 HAS SOUPS 33773 WITH SCORE 33824.068
AT ITER 8800 NEW BEST:: SOT 248813 SOS 51066 HAS SOPS 51066 HAS SOUS 33771 HAS SOUPS 33771 WITH SCORE 33822.066
AT ITER 8825 NEW BEST:: SOT 248808 SOS 51056 HAS SOPS 51056 HAS SOUS 33766 HAS SOUPS 33766 WITH SCORE 33817.056
AT ITER 8839 NEW BEST:: SOT 248773 SOS 50995 HAS SOPS 50995 HAS SOUS 33751 HAS SOUPS 33751 WITH SCORE 33801.995
AT ITER 8844 NEW BEST:: SOT 248694 SOS 50706 HAS SOPS 50706 HAS SOUS 33541 HAS SOUPS 33541 WITH SCORE 33591.706
AT ITER 8876 NEW BEST:: SOT 248677 SOS 50730 HAS SOPS 50730 HAS SOUS 33537 HAS SOUPS 33537 WITH SCORE 33587.73
AT ITER 8899 NEW BEST:: SOT 248608 SOS 50661 HAS SOPS 50661 HAS SOUS 33537 HAS SOUPS 33537 WITH SCORE 33587.661
AT ITER 8900 NEW BEST:: SOT 248573 SOS 50659 HAS SOPS 50659 HAS SOUS 33535 HAS SOUPS 33535 WITH SCORE 33585.659
AT ITER 8909 NEW BEST:: SOT 248553 SOS 50683 HAS SOPS 50683 HAS SOUS 33527 HAS SOUPS 33527 WITH SCORE 33577.683
AT ITER 8967 NEW BEST:: SOT 248513 SOS 50683 HAS SOPS 50683 HAS SOUS 33493 HAS SOUPS 33493 WITH SCORE 33543.683
AT ITER 8999 NEW BEST:: SOT 248484 SOS 50656 HAS SOPS 50656 HAS SOUS 33466 HAS SOUPS 33466 WITH SCORE 33516.656
AT ITER 9039 NEW BEST:: SOT 248445 SOS 50578 HAS SOPS 50578 HAS SOUS 33427 HAS SOUPS 33427 WITH SCORE 33477.578
AT ITER 9053 NEW BEST:: SOT 248502 SOS 50604 HAS SOPS 50604 HAS SOUS 33396 HAS SOUPS 33396 WITH SCORE 33446.604
AT ITER 9068 NEW BEST:: SOT 248501 SOS 50603 HAS SOPS 50603 HAS SOUS 33395 HAS SOUPS 33395 WITH SCORE 33445.603
AT ITER 9106 NEW BEST:: SOT 248449 SOS 50499 HAS SOPS 50499 HAS SOUS 33348 HAS SOUPS 33348 WITH SCORE 33398.499
AT ITER 9110 NEW BEST:: SOT 248360 SOS 50321 HAS SOPS 50321 HAS SOUS 33170 HAS SOUPS 33170 WITH SCORE 33220.321
AT ITER 9249 NEW BEST:: SOT 248363 SOS 50327 HAS SOPS 50327 HAS SOUS 33160 HAS SOUPS 33160 WITH SCORE 33210.327
AT ITER 9264 NEW BEST:: SOT 248380 SOS 50267 HAS SOPS 50267 HAS SOUS 33147 HAS SOUPS 33147 WITH SCORE 33197.267
AT ITER 9282 NEW BEST:: SOT 248469 SOS 49765 HAS SOPS 49765 HAS SOUS 33128 HAS SOUPS 33128 WITH SCORE 33177.765
AT ITER 9315 NEW BEST:: SOT 248445 SOS 49717 HAS SOPS 49717 HAS SOUS 33125 HAS SOUPS 33125 WITH SCORE 33174.717
AT ITER 9403 NEW BEST:: SOT 248445 SOS 49676 HAS SOPS 49676 HAS SOUS 33125 HAS SOUPS 33125 WITH SCORE 33174.676
AT ITER 9413 NEW BEST:: SOT 248365 SOS 50220 HAS SOPS 50220 HAS SOUS 33114 HAS SOUPS 33114 WITH SCORE 33164.22
AT ITER 9432 NEW BEST:: SOT 248287 SOS 50142 HAS SOPS 50142 HAS SOUS 33036 HAS SOUPS 33036 WITH SCORE 33086.142
AT ITER 9454 NEW BEST:: SOT 248279 SOS 50126 HAS SOPS 50126 HAS SOUS 33020 HAS SOUPS 33020 WITH SCORE 33070.126
AT ITER 9481 NEW BEST:: SOT 248278 SOS 50174 HAS SOPS 50174 HAS SOUS 33019 HAS SOUPS 33019 WITH SCORE 33069.174
AT ITER 9499 NEW BEST:: SOT 248248 SOS 50159 HAS SOPS 50159 HAS SOUS 33004 HAS SOUPS 33004 WITH SCORE 33054.159
AT ITER 9504 NEW BEST:: SOT 248232 SOS 50143 HAS SOPS 50143 HAS SOUS 32988 HAS SOUPS 32988 WITH SCORE 33038.143
AT ITER 9520 NEW BEST:: SOT 248216 SOS 50138 HAS SOPS 50138 HAS SOUS 32983 HAS SOUPS 32983 WITH SCORE 33033.138
AT ITER 9649 NEW BEST:: SOT 248150 SOS 50014 HAS SOPS 50014 HAS SOUS 32975 HAS SOUPS 32975 WITH SCORE 33025.014
AT ITER 9650 NEW BEST:: SOT 248179 SOS 50008 HAS SOPS 50008 HAS SOUS 32972 HAS SOUPS 32972 WITH SCORE 33022.008
AT ITER 9671 NEW BEST:: SOT 248179 SOS 50000 HAS SOPS 50000 HAS SOUS 32964 HAS SOUPS 32964 WITH SCORE 33014.0
AT ITER 9702 NEW BEST:: SOT 248173 SOS 50000 HAS SOPS 50000 HAS SOUS 32958 HAS SOUPS 32958 WITH SCORE 33008.0
AT ITER 9706 NEW BEST:: SOT 248251 SOS 50156 HAS SOPS 50156 HAS SOUS 32952 HAS SOUPS 32952 WITH SCORE 33002.156
AT ITER 9729 NEW BEST:: SOT 248251 SOS 49975 HAS SOPS 49975 HAS SOUS 32890 HAS SOUPS 32890 WITH SCORE 32939.975
AT ITER 9733 NEW BEST:: SOT 248260 SOS 49937 HAS SOPS 49937 HAS SOUS 32852 HAS SOUPS 32852 WITH SCORE 32901.937
AT ITER 9776 NEW BEST:: SOT 248253 SOS 49898 HAS SOPS 49898 HAS SOUS 32829 HAS SOUPS 32829 WITH SCORE 32878.898
AT ITER 9820 NEW BEST:: SOT 248186 SOS 49831 HAS SOPS 49831 HAS SOUS 32762 HAS SOUPS 32762 WITH SCORE 32811.831
AT ITER 9854 NEW BEST:: SOT 248187 SOS 49825 HAS SOPS 49825 HAS SOUS 32756 HAS SOUPS 32756 WITH SCORE 32805.825
AT ITER 9877 NEW BEST:: SOT 248158 SOS 49738 HAS SOPS 49738 HAS SOUS 32698 HAS SOUPS 32698 WITH SCORE 32747.738
AT ITER 9882 NEW BEST:: SOT 248126 SOS 49674 HAS SOPS 49674 HAS SOUS 32666 HAS SOUPS 32666 WITH SCORE 32715.674
AT ITER 9938 NEW BEST:: SOT 248114 SOS 49665 HAS SOPS 49665 HAS SOUS 32657 HAS SOUPS 32657 WITH SCORE 32706.665
AT ITER 9964 NEW BEST:: SOT 248114 SOS 49655 HAS SOPS 49655 HAS SOUS 32647 HAS SOUPS 32647 WITH SCORE 32696.655

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-18, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538400144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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