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-159033538400136.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-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.6K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K 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.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 15K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 139K 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 1590469796943

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

Filename model.pnml
Petri model created: 571 places, 617 transitions, 1410 arcs.
AT ITER 0 NEW BEST:: SOT 207919 SOS 47012 HAS SOPS 47012 HAS SOUS 45976 HAS SOUPS 45976 WITH SCORE 46023.012
AT ITER 7 NEW BEST:: SOT 207840 SOS 46933 HAS SOPS 46933 HAS SOUS 45897 HAS SOUPS 45897 WITH SCORE 45943.933
AT ITER 9 NEW BEST:: SOT 206771 SOS 49638 HAS SOPS 49638 HAS SOUS 45125 HAS SOUPS 45125 WITH SCORE 45174.638
AT ITER 18 NEW BEST:: SOT 205636 SOS 48898 HAS SOPS 48898 HAS SOUS 44188 HAS SOUPS 44188 WITH SCORE 44236.898
AT ITER 24 NEW BEST:: SOT 205663 SOS 48874 HAS SOPS 48874 HAS SOUS 44186 HAS SOUPS 44186 WITH SCORE 44234.874
AT ITER 28 NEW BEST:: SOT 205678 SOS 48835 HAS SOPS 48835 HAS SOUS 44147 HAS SOUPS 44147 WITH SCORE 44195.835
AT ITER 54 NEW BEST:: SOT 205676 SOS 48831 HAS SOPS 48831 HAS SOUS 44117 HAS SOUPS 44117 WITH SCORE 44165.831
AT ITER 57 NEW BEST:: SOT 205676 SOS 48823 HAS SOPS 48823 HAS SOUS 44109 HAS SOUPS 44109 WITH SCORE 44157.823
AT ITER 58 NEW BEST:: SOT 205184 SOS 50334 HAS SOPS 50334 HAS SOUS 44004 HAS SOUPS 44004 WITH SCORE 44054.334
AT ITER 60 NEW BEST:: SOT 205142 SOS 50313 HAS SOPS 50313 HAS SOUS 43983 HAS SOUPS 43983 WITH SCORE 44033.313
AT ITER 81 NEW BEST:: SOT 205099 SOS 49324 HAS SOPS 49324 HAS SOUS 43897 HAS SOUPS 43897 WITH SCORE 43946.324
AT ITER 87 NEW BEST:: SOT 205075 SOS 49277 HAS SOPS 49277 HAS SOUS 43842 HAS SOUPS 43842 WITH SCORE 43891.277
AT ITER 97 NEW BEST:: SOT 205062 SOS 49251 HAS SOPS 49251 HAS SOUS 43837 HAS SOUPS 43837 WITH SCORE 43886.251
AT ITER 104 NEW BEST:: SOT 205062 SOS 49247 HAS SOPS 49247 HAS SOUS 43833 HAS SOUPS 43833 WITH SCORE 43882.247
AT ITER 107 NEW BEST:: SOT 205110 SOS 49352 HAS SOPS 49352 HAS SOUS 43824 HAS SOUPS 43824 WITH SCORE 43873.352
AT ITER 119 NEW BEST:: SOT 205102 SOS 49392 HAS SOPS 49392 HAS SOUS 43816 HAS SOUPS 43816 WITH SCORE 43865.392
AT ITER 122 NEW BEST:: SOT 205078 SOS 49344 HAS SOPS 49344 HAS SOUS 43792 HAS SOUPS 43792 WITH SCORE 43841.344
AT ITER 142 NEW BEST:: SOT 205034 SOS 49300 HAS SOPS 49300 HAS SOUS 43748 HAS SOUPS 43748 WITH SCORE 43797.3
AT ITER 145 NEW BEST:: SOT 204964 SOS 49230 HAS SOPS 49230 HAS SOUS 43746 HAS SOUPS 43746 WITH SCORE 43795.23
AT ITER 146 NEW BEST:: SOT 204908 SOS 49159 HAS SOPS 49159 HAS SOUS 43725 HAS SOUPS 43725 WITH SCORE 43774.159
AT ITER 154 NEW BEST:: SOT 205067 SOS 49159 HAS SOPS 49159 HAS SOUS 43677 HAS SOUPS 43677 WITH SCORE 43726.159
AT ITER 156 NEW BEST:: SOT 205067 SOS 49128 HAS SOPS 49128 HAS SOUS 43646 HAS SOUPS 43646 WITH SCORE 43695.128
AT ITER 176 NEW BEST:: SOT 205058 SOS 49119 HAS SOPS 49119 HAS SOUS 43646 HAS SOUPS 43646 WITH SCORE 43695.119
AT ITER 183 NEW BEST:: SOT 205042 SOS 49125 HAS SOPS 49125 HAS SOUS 43630 HAS SOUPS 43630 WITH SCORE 43679.125
AT ITER 190 NEW BEST:: SOT 205046 SOS 49099 HAS SOPS 49099 HAS SOUS 43603 HAS SOUPS 43603 WITH SCORE 43652.099
AT ITER 199 NEW BEST:: SOT 205016 SOS 49039 HAS SOPS 49039 HAS SOUS 43603 HAS SOUPS 43603 WITH SCORE 43652.039
AT ITER 253 NEW BEST:: SOT 205001 SOS 49009 HAS SOPS 49009 HAS SOUS 43573 HAS SOUPS 43573 WITH SCORE 43622.009
AT ITER 261 NEW BEST:: SOT 204946 SOS 48899 HAS SOPS 48899 HAS SOUS 43499 HAS SOUPS 43499 WITH SCORE 43547.899
AT ITER 277 NEW BEST:: SOT 203689 SOS 48455 HAS SOPS 48455 HAS SOUS 42479 HAS SOUPS 42479 WITH SCORE 42527.455
AT ITER 312 NEW BEST:: SOT 203684 SOS 48520 HAS SOPS 48520 HAS SOUS 42474 HAS SOUPS 42474 WITH SCORE 42522.52
AT ITER 326 NEW BEST:: SOT 203676 SOS 48496 HAS SOPS 48496 HAS SOUS 42458 HAS SOUPS 42458 WITH SCORE 42506.496
AT ITER 327 NEW BEST:: SOT 203096 SOS 58546 HAS SOPS 58546 HAS SOUS 42434 HAS SOUPS 42434 WITH SCORE 42492.546
AT ITER 347 NEW BEST:: SOT 203096 SOS 58540 HAS SOPS 58540 HAS SOUS 42428 HAS SOUPS 42428 WITH SCORE 42486.54
AT ITER 351 NEW BEST:: SOT 202393 SOS 58457 HAS SOPS 58457 HAS SOUS 41960 HAS SOUPS 41960 WITH SCORE 42018.457
AT ITER 367 NEW BEST:: SOT 202132 SOS 58283 HAS SOPS 58283 HAS SOUS 41728 HAS SOUPS 41728 WITH SCORE 41786.283
AT ITER 378 NEW BEST:: SOT 202089 SOS 58197 HAS SOPS 58197 HAS SOUS 41642 HAS SOUPS 41642 WITH SCORE 41700.197
AT ITER 380 NEW BEST:: SOT 201998 SOS 58106 HAS SOPS 58106 HAS SOUS 41641 HAS SOUPS 41641 WITH SCORE 41699.106
AT ITER 399 NEW BEST:: SOT 201998 SOS 58106 HAS SOPS 58106 HAS SOUS 41624 HAS SOUPS 41624 WITH SCORE 41682.106
AT ITER 402 NEW BEST:: SOT 201998 SOS 57940 HAS SOPS 57940 HAS SOUS 41624 HAS SOUPS 41624 WITH SCORE 41681.94
AT ITER 405 NEW BEST:: SOT 201951 SOS 57886 HAS SOPS 57886 HAS SOUS 41577 HAS SOUPS 41577 WITH SCORE 41634.886
AT ITER 422 NEW BEST:: SOT 201951 SOS 57845 HAS SOPS 57845 HAS SOUS 41536 HAS SOUPS 41536 WITH SCORE 41593.845
AT ITER 445 NEW BEST:: SOT 201947 SOS 57956 HAS SOPS 57956 HAS SOUS 41532 HAS SOUPS 41532 WITH SCORE 41589.956
AT ITER 466 NEW BEST:: SOT 201929 SOS 57920 HAS SOPS 57920 HAS SOUS 41514 HAS SOUPS 41514 WITH SCORE 41571.92
AT ITER 470 NEW BEST:: SOT 201930 SOS 57899 HAS SOPS 57899 HAS SOUS 41493 HAS SOUPS 41493 WITH SCORE 41550.899
AT ITER 483 NEW BEST:: SOT 201968 SOS 57897 HAS SOPS 57897 HAS SOUS 41491 HAS SOUPS 41491 WITH SCORE 41548.897
AT ITER 512 NEW BEST:: SOT 201985 SOS 57863 HAS SOPS 57863 HAS SOUS 41457 HAS SOUPS 41457 WITH SCORE 41514.863
AT ITER 514 NEW BEST:: SOT 201913 SOS 57831 HAS SOPS 57831 HAS SOUS 41425 HAS SOUPS 41425 WITH SCORE 41482.831
AT ITER 516 NEW BEST:: SOT 201824 SOS 57653 HAS SOPS 57653 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41430.653
AT ITER 519 NEW BEST:: SOT 201818 SOS 57635 HAS SOPS 57635 HAS SOUS 41361 HAS SOUPS 41361 WITH SCORE 41418.635
AT ITER 526 NEW BEST:: SOT 201654 SOS 57397 HAS SOPS 57397 HAS SOUS 41111 HAS SOUPS 41111 WITH SCORE 41168.397
AT ITER 527 NEW BEST:: SOT 201581 SOS 57357 HAS SOPS 57357 HAS SOUS 41071 HAS SOUPS 41071 WITH SCORE 41128.357
AT ITER 530 NEW BEST:: SOT 201580 SOS 57356 HAS SOPS 57356 HAS SOUS 41069 HAS SOUPS 41069 WITH SCORE 41126.356
AT ITER 554 NEW BEST:: SOT 201430 SOS 57131 HAS SOPS 57131 HAS SOUS 40872 HAS SOUPS 40872 WITH SCORE 40929.131
AT ITER 566 NEW BEST:: SOT 201434 SOS 57139 HAS SOPS 57139 HAS SOUS 40840 HAS SOUPS 40840 WITH SCORE 40897.139
AT ITER 573 NEW BEST:: SOT 201375 SOS 57021 HAS SOPS 57021 HAS SOUS 40781 HAS SOUPS 40781 WITH SCORE 40838.021
AT ITER 574 NEW BEST:: SOT 201410 SOS 57033 HAS SOPS 57033 HAS SOUS 40749 HAS SOUPS 40749 WITH SCORE 40806.033
AT ITER 607 NEW BEST:: SOT 201607 SOS 57021 HAS SOPS 57021 HAS SOUS 40737 HAS SOUPS 40737 WITH SCORE 40794.021
AT ITER 609 NEW BEST:: SOT 201547 SOS 56935 HAS SOPS 56935 HAS SOUS 40709 HAS SOUPS 40709 WITH SCORE 40765.935
AT ITER 615 NEW BEST:: SOT 201547 SOS 56923 HAS SOPS 56923 HAS SOUS 40697 HAS SOUPS 40697 WITH SCORE 40753.923
AT ITER 623 NEW BEST:: SOT 201532 SOS 56893 HAS SOPS 56893 HAS SOUS 40692 HAS SOUPS 40692 WITH SCORE 40748.893
AT ITER 631 NEW BEST:: SOT 201532 SOS 56825 HAS SOPS 56825 HAS SOUS 40624 HAS SOUPS 40624 WITH SCORE 40680.825
AT ITER 653 NEW BEST:: SOT 201370 SOS 56501 HAS SOPS 56501 HAS SOUS 40542 HAS SOUPS 40542 WITH SCORE 40598.501
AT ITER 660 NEW BEST:: SOT 201353 SOS 56467 HAS SOPS 56467 HAS SOUS 40525 HAS SOUPS 40525 WITH SCORE 40581.467
AT ITER 661 NEW BEST:: SOT 201306 SOS 56376 HAS SOPS 56376 HAS SOUS 40435 HAS SOUPS 40435 WITH SCORE 40491.376
AT ITER 684 NEW BEST:: SOT 201372 SOS 56367 HAS SOPS 56367 HAS SOUS 40432 HAS SOUPS 40432 WITH SCORE 40488.367
AT ITER 690 NEW BEST:: SOT 201379 SOS 56315 HAS SOPS 56315 HAS SOUS 40380 HAS SOUPS 40380 WITH SCORE 40436.315
AT ITER 708 NEW BEST:: SOT 201376 SOS 56309 HAS SOPS 56309 HAS SOUS 40374 HAS SOUPS 40374 WITH SCORE 40430.309
AT ITER 710 NEW BEST:: SOT 201311 SOS 56171 HAS SOPS 56171 HAS SOUS 40236 HAS SOUPS 40236 WITH SCORE 40292.171
AT ITER 724 NEW BEST:: SOT 201309 SOS 56170 HAS SOPS 56170 HAS SOUS 40235 HAS SOUPS 40235 WITH SCORE 40291.17
AT ITER 732 NEW BEST:: SOT 201189 SOS 56042 HAS SOPS 56042 HAS SOUS 40135 HAS SOUPS 40135 WITH SCORE 40191.042
AT ITER 742 NEW BEST:: SOT 201119 SOS 55902 HAS SOPS 55902 HAS SOUS 40065 HAS SOUPS 40065 WITH SCORE 40120.902
AT ITER 753 NEW BEST:: SOT 201123 SOS 55805 HAS SOPS 55805 HAS SOUS 40064 HAS SOUPS 40064 WITH SCORE 40119.805
AT ITER 764 NEW BEST:: SOT 201043 SOS 55741 HAS SOPS 55741 HAS SOUS 39992 HAS SOUPS 39992 WITH SCORE 40047.741
AT ITER 791 NEW BEST:: SOT 201043 SOS 55741 HAS SOPS 55741 HAS SOUS 39974 HAS SOUPS 39974 WITH SCORE 40029.741
AT ITER 824 NEW BEST:: SOT 200919 SOS 55493 HAS SOPS 55493 HAS SOUS 39726 HAS SOUPS 39726 WITH SCORE 39781.493
AT ITER 842 NEW BEST:: SOT 200693 SOS 55267 HAS SOPS 55267 HAS SOUS 39726 HAS SOUPS 39726 WITH SCORE 39781.267
AT ITER 845 NEW BEST:: SOT 200693 SOS 55191 HAS SOPS 55191 HAS SOUS 39650 HAS SOUPS 39650 WITH SCORE 39705.191
AT ITER 848 NEW BEST:: SOT 200689 SOS 55179 HAS SOPS 55179 HAS SOUS 39642 HAS SOUPS 39642 WITH SCORE 39697.179
AT ITER 855 NEW BEST:: SOT 200688 SOS 55177 HAS SOPS 55177 HAS SOUS 39641 HAS SOUPS 39641 WITH SCORE 39696.177
AT ITER 862 NEW BEST:: SOT 200618 SOS 55037 HAS SOPS 55037 HAS SOUS 39551 HAS SOUPS 39551 WITH SCORE 39606.037
AT ITER 864 NEW BEST:: SOT 200541 SOS 54883 HAS SOPS 54883 HAS SOUS 39381 HAS SOUPS 39381 WITH SCORE 39435.883
AT ITER 873 NEW BEST:: SOT 200488 SOS 54827 HAS SOPS 54827 HAS SOUS 39325 HAS SOUPS 39325 WITH SCORE 39379.827
AT ITER 886 NEW BEST:: SOT 200464 SOS 54669 HAS SOPS 54669 HAS SOUS 39110 HAS SOUPS 39110 WITH SCORE 39164.669
AT ITER 890 NEW BEST:: SOT 200449 SOS 54649 HAS SOPS 54649 HAS SOUS 39095 HAS SOUPS 39095 WITH SCORE 39149.649
AT ITER 893 NEW BEST:: SOT 200359 SOS 54649 HAS SOPS 54649 HAS SOUS 39094 HAS SOUPS 39094 WITH SCORE 39148.649
AT ITER 901 NEW BEST:: SOT 200350 SOS 54640 HAS SOPS 54640 HAS SOUS 39085 HAS SOUPS 39085 WITH SCORE 39139.64
AT ITER 910 NEW BEST:: SOT 200020 SOS 55319 HAS SOPS 55319 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39068.319
AT ITER 947 NEW BEST:: SOT 199980 SOS 55279 HAS SOPS 55279 HAS SOUS 38973 HAS SOUPS 38973 WITH SCORE 39028.279
AT ITER 982 NEW BEST:: SOT 199730 SOS 54848 HAS SOPS 54848 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38668.848
AT ITER 984 NEW BEST:: SOT 199734 SOS 54830 HAS SOPS 54830 HAS SOUS 38596 HAS SOUPS 38596 WITH SCORE 38650.83
AT ITER 991 NEW BEST:: SOT 199682 SOS 54730 HAS SOPS 54730 HAS SOUS 38596 HAS SOUPS 38596 WITH SCORE 38650.73
AT ITER 997 NEW BEST:: SOT 199667 SOS 54715 HAS SOPS 54715 HAS SOUS 38581 HAS SOUPS 38581 WITH SCORE 38635.715
AT ITER 1025 NEW BEST:: SOT 199584 SOS 54539 HAS SOPS 54539 HAS SOUS 38361 HAS SOUPS 38361 WITH SCORE 38415.539
AT ITER 1033 NEW BEST:: SOT 199532 SOS 54453 HAS SOPS 54453 HAS SOUS 38295 HAS SOUPS 38295 WITH SCORE 38349.453
AT ITER 1036 NEW BEST:: SOT 199580 SOS 54393 HAS SOPS 54393 HAS SOUS 38235 HAS SOUPS 38235 WITH SCORE 38289.393
AT ITER 1045 NEW BEST:: SOT 199573 SOS 54386 HAS SOPS 54386 HAS SOUS 38228 HAS SOUPS 38228 WITH SCORE 38282.386
AT ITER 1058 NEW BEST:: SOT 199570 SOS 54460 HAS SOPS 54460 HAS SOUS 38221 HAS SOUPS 38221 WITH SCORE 38275.46
AT ITER 1065 NEW BEST:: SOT 199570 SOS 54353 HAS SOPS 54353 HAS SOUS 38114 HAS SOUPS 38114 WITH SCORE 38168.353
AT ITER 1072 NEW BEST:: SOT 199522 SOS 54305 HAS SOPS 54305 HAS SOUS 38066 HAS SOUPS 38066 WITH SCORE 38120.305
AT ITER 1078 NEW BEST:: SOT 199495 SOS 54251 HAS SOPS 54251 HAS SOUS 38005 HAS SOUPS 38005 WITH SCORE 38059.251
AT ITER 1081 NEW BEST:: SOT 199585 SOS 54341 HAS SOPS 54341 HAS SOUS 38004 HAS SOUPS 38004 WITH SCORE 38058.341
AT ITER 1083 NEW BEST:: SOT 199573 SOS 54317 HAS SOPS 54317 HAS SOUS 37980 HAS SOUPS 37980 WITH SCORE 38034.317
AT ITER 1093 NEW BEST:: SOT 199518 SOS 54207 HAS SOPS 54207 HAS SOUS 37889 HAS SOUPS 37889 WITH SCORE 37943.207
AT ITER 1097 NEW BEST:: SOT 199454 SOS 54143 HAS SOPS 54143 HAS SOUS 37864 HAS SOUPS 37864 WITH SCORE 37918.143
AT ITER 1109 NEW BEST:: SOT 199442 SOS 54131 HAS SOPS 54131 HAS SOUS 37851 HAS SOUPS 37851 WITH SCORE 37905.131
AT ITER 1114 NEW BEST:: SOT 199351 SOS 54060 HAS SOPS 54060 HAS SOUS 37745 HAS SOUPS 37745 WITH SCORE 37799.06
AT ITER 1133 NEW BEST:: SOT 199321 SOS 54015 HAS SOPS 54015 HAS SOUS 37702 HAS SOUPS 37702 WITH SCORE 37756.015
AT ITER 1148 NEW BEST:: SOT 199307 SOS 53994 HAS SOPS 53994 HAS SOUS 37681 HAS SOUPS 37681 WITH SCORE 37734.994
AT ITER 1152 NEW BEST:: SOT 199306 SOS 53992 HAS SOPS 53992 HAS SOUS 37679 HAS SOUPS 37679 WITH SCORE 37732.992
AT ITER 1158 NEW BEST:: SOT 199412 SOS 54026 HAS SOPS 54026 HAS SOUS 37588 HAS SOUPS 37588 WITH SCORE 37642.026
AT ITER 1160 NEW BEST:: SOT 199355 SOS 53975 HAS SOPS 53975 HAS SOUS 37574 HAS SOUPS 37574 WITH SCORE 37627.975
AT ITER 1161 NEW BEST:: SOT 199268 SOS 53888 HAS SOPS 53888 HAS SOUS 37488 HAS SOUPS 37488 WITH SCORE 37541.888
AT ITER 1162 NEW BEST:: SOT 199241 SOS 53834 HAS SOPS 53834 HAS SOUS 37434 HAS SOUPS 37434 WITH SCORE 37487.834
AT ITER 1175 NEW BEST:: SOT 199218 SOS 53765 HAS SOPS 53765 HAS SOUS 37365 HAS SOUPS 37365 WITH SCORE 37418.765
AT ITER 1179 NEW BEST:: SOT 199176 SOS 53702 HAS SOPS 53702 HAS SOUS 37302 HAS SOUPS 37302 WITH SCORE 37355.702
AT ITER 1189 NEW BEST:: SOT 199158 SOS 53666 HAS SOPS 53666 HAS SOUS 37266 HAS SOUPS 37266 WITH SCORE 37319.666
AT ITER 1217 NEW BEST:: SOT 199131 SOS 53660 HAS SOPS 53660 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37309.66
AT ITER 1233 NEW BEST:: SOT 199089 SOS 53618 HAS SOPS 53618 HAS SOUS 37214 HAS SOUPS 37214 WITH SCORE 37267.618
AT ITER 1236 NEW BEST:: SOT 199085 SOS 53614 HAS SOPS 53614 HAS SOUS 37210 HAS SOUPS 37210 WITH SCORE 37263.614
AT ITER 1237 NEW BEST:: SOT 199068 SOS 53597 HAS SOPS 53597 HAS SOUS 37193 HAS SOUPS 37193 WITH SCORE 37246.597
AT ITER 1239 NEW BEST:: SOT 199066 SOS 53593 HAS SOPS 53593 HAS SOUS 37189 HAS SOUPS 37189 WITH SCORE 37242.593
AT ITER 1242 NEW BEST:: SOT 199066 SOS 53529 HAS SOPS 53529 HAS SOUS 37189 HAS SOUPS 37189 WITH SCORE 37242.529
AT ITER 1247 NEW BEST:: SOT 199066 SOS 53509 HAS SOPS 53509 HAS SOUS 37189 HAS SOUPS 37189 WITH SCORE 37242.509
AT ITER 1248 NEW BEST:: SOT 199061 SOS 53499 HAS SOPS 53499 HAS SOUS 37179 HAS SOUPS 37179 WITH SCORE 37232.499
AT ITER 1249 NEW BEST:: SOT 198985 SOS 53347 HAS SOPS 53347 HAS SOUS 37027 HAS SOUPS 37027 WITH SCORE 37080.347
AT ITER 1265 NEW BEST:: SOT 198960 SOS 53322 HAS SOPS 53322 HAS SOUS 37002 HAS SOUPS 37002 WITH SCORE 37055.322
AT ITER 1273 NEW BEST:: SOT 198966 SOS 53303 HAS SOPS 53303 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37036.303
AT ITER 1276 NEW BEST:: SOT 198954 SOS 53279 HAS SOPS 53279 HAS SOUS 36907 HAS SOUPS 36907 WITH SCORE 36960.279
AT ITER 1288 NEW BEST:: SOT 198928 SOS 53268 HAS SOPS 53268 HAS SOUS 36878 HAS SOUPS 36878 WITH SCORE 36931.268
AT ITER 1292 NEW BEST:: SOT 198927 SOS 53267 HAS SOPS 53267 HAS SOUS 36878 HAS SOUPS 36878 WITH SCORE 36931.267
AT ITER 1308 NEW BEST:: SOT 198040 SOS 54138 HAS SOPS 54138 HAS SOUS 36574 HAS SOUPS 36574 WITH SCORE 36628.138
AT ITER 1333 NEW BEST:: SOT 197867 SOS 55004 HAS SOPS 55004 HAS SOUS 36462 HAS SOUPS 36462 WITH SCORE 36517.004
AT ITER 1381 NEW BEST:: SOT 197811 SOS 54892 HAS SOPS 54892 HAS SOUS 36350 HAS SOUPS 36350 WITH SCORE 36404.892
AT ITER 1411 NEW BEST:: SOT 197792 SOS 54876 HAS SOPS 54876 HAS SOUS 36334 HAS SOUPS 36334 WITH SCORE 36388.876
AT ITER 1415 NEW BEST:: SOT 197792 SOS 54876 HAS SOPS 54876 HAS SOUS 36313 HAS SOUPS 36313 WITH SCORE 36367.876
AT ITER 1424 NEW BEST:: SOT 197789 SOS 54870 HAS SOPS 54870 HAS SOUS 36307 HAS SOUPS 36307 WITH SCORE 36361.87
AT ITER 1426 NEW BEST:: SOT 197762 SOS 54816 HAS SOPS 54816 HAS SOUS 36253 HAS SOUPS 36253 WITH SCORE 36307.816
AT ITER 1428 NEW BEST:: SOT 197733 SOS 54729 HAS SOPS 54729 HAS SOUS 36224 HAS SOUPS 36224 WITH SCORE 36278.729
AT ITER 1430 NEW BEST:: SOT 197725 SOS 54721 HAS SOPS 54721 HAS SOUS 36224 HAS SOUPS 36224 WITH SCORE 36278.721
AT ITER 1435 NEW BEST:: SOT 197612 SOS 54608 HAS SOPS 54608 HAS SOUS 36111 HAS SOUPS 36111 WITH SCORE 36165.608
AT ITER 1459 NEW BEST:: SOT 197603 SOS 54599 HAS SOPS 54599 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36156.599
AT ITER 1472 NEW BEST:: SOT 197602 SOS 54597 HAS SOPS 54597 HAS SOUS 36100 HAS SOUPS 36100 WITH SCORE 36154.597
AT ITER 1477 NEW BEST:: SOT 197675 SOS 54653 HAS SOPS 54653 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36019.653
AT ITER 1479 NEW BEST:: SOT 197675 SOS 54653 HAS SOPS 54653 HAS SOUS 35938 HAS SOUPS 35938 WITH SCORE 35992.653
AT ITER 1482 NEW BEST:: SOT 197663 SOS 54629 HAS SOPS 54629 HAS SOUS 35914 HAS SOUPS 35914 WITH SCORE 35968.629
AT ITER 1483 NEW BEST:: SOT 197640 SOS 54583 HAS SOPS 54583 HAS SOUS 35891 HAS SOUPS 35891 WITH SCORE 35945.583
AT ITER 1491 NEW BEST:: SOT 197632 SOS 54575 HAS SOPS 54575 HAS SOUS 35883 HAS SOUPS 35883 WITH SCORE 35937.575
AT ITER 1507 NEW BEST:: SOT 197608 SOS 54527 HAS SOPS 54527 HAS SOUS 35831 HAS SOUPS 35831 WITH SCORE 35885.527
AT ITER 1512 NEW BEST:: SOT 197523 SOS 50236 HAS SOPS 50236 HAS SOUS 35515 HAS SOUPS 35515 WITH SCORE 35565.236
AT ITER 1516 NEW BEST:: SOT 197490 SOS 50203 HAS SOPS 50203 HAS SOUS 35482 HAS SOUPS 35482 WITH SCORE 35532.203
AT ITER 1526 NEW BEST:: SOT 197480 SOS 50193 HAS SOPS 50193 HAS SOUS 35472 HAS SOUPS 35472 WITH SCORE 35522.193
AT ITER 1557 NEW BEST:: SOT 197415 SOS 50147 HAS SOPS 50147 HAS SOUS 35449 HAS SOUPS 35449 WITH SCORE 35499.147
AT ITER 1559 NEW BEST:: SOT 197373 SOS 50006 HAS SOPS 50006 HAS SOUS 35424 HAS SOUPS 35424 WITH SCORE 35474.006
AT ITER 1561 NEW BEST:: SOT 197285 SOS 49918 HAS SOPS 49918 HAS SOUS 35382 HAS SOUPS 35382 WITH SCORE 35431.918
AT ITER 1624 NEW BEST:: SOT 197237 SOS 49822 HAS SOPS 49822 HAS SOUS 35333 HAS SOUPS 35333 WITH SCORE 35382.822
AT ITER 1636 NEW BEST:: SOT 197092 SOS 49532 HAS SOPS 49532 HAS SOUS 35208 HAS SOUPS 35208 WITH SCORE 35257.532
AT ITER 1652 NEW BEST:: SOT 196958 SOS 49264 HAS SOPS 49264 HAS SOUS 34940 HAS SOUPS 34940 WITH SCORE 34989.264
AT ITER 1660 NEW BEST:: SOT 196970 SOS 49198 HAS SOPS 49198 HAS SOUS 34883 HAS SOUPS 34883 WITH SCORE 34932.198
AT ITER 1671 NEW BEST:: SOT 196946 SOS 49150 HAS SOPS 49150 HAS SOUS 34846 HAS SOUPS 34846 WITH SCORE 34895.15
AT ITER 1672 NEW BEST:: SOT 196940 SOS 49144 HAS SOPS 49144 HAS SOUS 34840 HAS SOUPS 34840 WITH SCORE 34889.144
AT ITER 1686 NEW BEST:: SOT 196931 SOS 49126 HAS SOPS 49126 HAS SOUS 34822 HAS SOUPS 34822 WITH SCORE 34871.126
AT ITER 1694 NEW BEST:: SOT 196920 SOS 49104 HAS SOPS 49104 HAS SOUS 34811 HAS SOUPS 34811 WITH SCORE 34860.104
AT ITER 1698 NEW BEST:: SOT 196886 SOS 49036 HAS SOPS 49036 HAS SOUS 34720 HAS SOUPS 34720 WITH SCORE 34769.036
AT ITER 1709 NEW BEST:: SOT 196805 SOS 48955 HAS SOPS 48955 HAS SOUS 34720 HAS SOUPS 34720 WITH SCORE 34768.955
AT ITER 1737 NEW BEST:: SOT 196836 SOS 49017 HAS SOPS 49017 HAS SOUS 34699 HAS SOUPS 34699 WITH SCORE 34748.017
AT ITER 1741 NEW BEST:: SOT 196757 SOS 48859 HAS SOPS 48859 HAS SOUS 34627 HAS SOUPS 34627 WITH SCORE 34675.859
AT ITER 1749 NEW BEST:: SOT 196676 SOS 48785 HAS SOPS 48785 HAS SOUS 34575 HAS SOUPS 34575 WITH SCORE 34623.785
AT ITER 1784 NEW BEST:: SOT 196674 SOS 48781 HAS SOPS 48781 HAS SOUS 34571 HAS SOUPS 34571 WITH SCORE 34619.781
AT ITER 1795 NEW BEST:: SOT 196669 SOS 48771 HAS SOPS 48771 HAS SOUS 34561 HAS SOUPS 34561 WITH SCORE 34609.771
AT ITER 1816 NEW BEST:: SOT 196661 SOS 48760 HAS SOPS 48760 HAS SOUS 34550 HAS SOUPS 34550 WITH SCORE 34598.76
AT ITER 1817 NEW BEST:: SOT 196589 SOS 48760 HAS SOPS 48760 HAS SOUS 34478 HAS SOUPS 34478 WITH SCORE 34526.76
AT ITER 1846 NEW BEST:: SOT 196584 SOS 48755 HAS SOPS 48755 HAS SOUS 34473 HAS SOUPS 34473 WITH SCORE 34521.755
AT ITER 1852 NEW BEST:: SOT 196626 SOS 48735 HAS SOPS 48735 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34493.735
AT ITER 1855 NEW BEST:: SOT 196626 SOS 48636 HAS SOPS 48636 HAS SOUS 34412 HAS SOUPS 34412 WITH SCORE 34460.636
AT ITER 1909 NEW BEST:: SOT 196821 SOS 47273 HAS SOPS 47273 HAS SOUS 34413 HAS SOUPS 34413 WITH SCORE 34460.273
AT ITER 1949 NEW BEST:: SOT 196829 SOS 47243 HAS SOPS 47243 HAS SOUS 34383 HAS SOUPS 34383 WITH SCORE 34430.243
AT ITER 1951 NEW BEST:: SOT 196730 SOS 47143 HAS SOPS 47143 HAS SOUS 34284 HAS SOUPS 34284 WITH SCORE 34331.143
AT ITER 1969 NEW BEST:: SOT 196589 SOS 46990 HAS SOPS 46990 HAS SOUS 34155 HAS SOUPS 34155 WITH SCORE 34201.99
AT ITER 1974 NEW BEST:: SOT 196559 SOS 46993 HAS SOPS 46993 HAS SOUS 34124 HAS SOUPS 34124 WITH SCORE 34170.993
AT ITER 1979 NEW BEST:: SOT 196499 SOS 46873 HAS SOPS 46873 HAS SOUS 34064 HAS SOUPS 34064 WITH SCORE 34110.873
AT ITER 1985 NEW BEST:: SOT 196291 SOS 47743 HAS SOPS 47743 HAS SOUS 34020 HAS SOUPS 34020 WITH SCORE 34067.743
AT ITER 2003 NEW BEST:: SOT 196355 SOS 47537 HAS SOPS 47537 HAS SOUS 33962 HAS SOUPS 33962 WITH SCORE 34009.537
AT ITER 2004 NEW BEST:: SOT 196283 SOS 47446 HAS SOPS 47446 HAS SOUS 33890 HAS SOUPS 33890 WITH SCORE 33937.446
AT ITER 2052 NEW BEST:: SOT 196283 SOS 47433 HAS SOPS 47433 HAS SOUS 33890 HAS SOUPS 33890 WITH SCORE 33937.433
AT ITER 2063 NEW BEST:: SOT 196232 SOS 47331 HAS SOPS 47331 HAS SOUS 33890 HAS SOUPS 33890 WITH SCORE 33937.331
AT ITER 2065 NEW BEST:: SOT 196178 SOS 47302 HAS SOPS 47302 HAS SOUS 33836 HAS SOUPS 33836 WITH SCORE 33883.302
AT ITER 2068 NEW BEST:: SOT 196073 SOS 47124 HAS SOPS 47124 HAS SOUS 33763 HAS SOUPS 33763 WITH SCORE 33810.124
AT ITER 2077 NEW BEST:: SOT 195998 SOS 46860 HAS SOPS 46860 HAS SOUS 33627 HAS SOUPS 33627 WITH SCORE 33673.86
AT ITER 2082 NEW BEST:: SOT 195940 SOS 46744 HAS SOPS 46744 HAS SOUS 33530 HAS SOUPS 33530 WITH SCORE 33576.744
AT ITER 2086 NEW BEST:: SOT 195938 SOS 46742 HAS SOPS 46742 HAS SOUS 33529 HAS SOUPS 33529 WITH SCORE 33575.742
AT ITER 2121 NEW BEST:: SOT 195914 SOS 46706 HAS SOPS 46706 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33551.706
AT ITER 2137 NEW BEST:: SOT 195913 SOS 46704 HAS SOPS 46704 HAS SOUS 33503 HAS SOUPS 33503 WITH SCORE 33549.704
AT ITER 2170 NEW BEST:: SOT 195848 SOS 46561 HAS SOPS 46561 HAS SOUS 33363 HAS SOUPS 33363 WITH SCORE 33409.561
AT ITER 2203 NEW BEST:: SOT 195850 SOS 46521 HAS SOPS 46521 HAS SOUS 33349 HAS SOUPS 33349 WITH SCORE 33395.521
AT ITER 2226 NEW BEST:: SOT 195877 SOS 46555 HAS SOPS 46555 HAS SOUS 33329 HAS SOUPS 33329 WITH SCORE 33375.555
AT ITER 2237 NEW BEST:: SOT 195856 SOS 46555 HAS SOPS 46555 HAS SOUS 33287 HAS SOUPS 33287 WITH SCORE 33333.555
AT ITER 2239 NEW BEST:: SOT 195856 SOS 46534 HAS SOPS 46534 HAS SOUS 33266 HAS SOUPS 33266 WITH SCORE 33312.534
AT ITER 2243 NEW BEST:: SOT 195845 SOS 46464 HAS SOPS 46464 HAS SOUS 33264 HAS SOUPS 33264 WITH SCORE 33310.464
AT ITER 2248 NEW BEST:: SOT 195845 SOS 46456 HAS SOPS 46456 HAS SOUS 33256 HAS SOUPS 33256 WITH SCORE 33302.456
AT ITER 2253 NEW BEST:: SOT 195792 SOS 46403 HAS SOPS 46403 HAS SOUS 33203 HAS SOUPS 33203 WITH SCORE 33249.403
AT ITER 2309 NEW BEST:: SOT 195768 SOS 46379 HAS SOPS 46379 HAS SOUS 33179 HAS SOUPS 33179 WITH SCORE 33225.379
AT ITER 2310 NEW BEST:: SOT 195811 SOS 46300 HAS SOPS 46300 HAS SOUS 33163 HAS SOUPS 33163 WITH SCORE 33209.3
AT ITER 2335 NEW BEST:: SOT 195806 SOS 46295 HAS SOPS 46295 HAS SOUS 33163 HAS SOUPS 33163 WITH SCORE 33209.295
AT ITER 2351 NEW BEST:: SOT 195825 SOS 46248 HAS SOPS 46248 HAS SOUS 33131 HAS SOUPS 33131 WITH SCORE 33177.248
AT ITER 2360 NEW BEST:: SOT 195779 SOS 46156 HAS SOPS 46156 HAS SOUS 33085 HAS SOUPS 33085 WITH SCORE 33131.156
AT ITER 2379 NEW BEST:: SOT 195761 SOS 46120 HAS SOPS 46120 HAS SOUS 33067 HAS SOUPS 33067 WITH SCORE 33113.12
AT ITER 2381 NEW BEST:: SOT 195688 SOS 46035 HAS SOPS 46035 HAS SOUS 33043 HAS SOUPS 33043 WITH SCORE 33089.035
AT ITER 2389 NEW BEST:: SOT 195677 SOS 46013 HAS SOPS 46013 HAS SOUS 33027 HAS SOUPS 33027 WITH SCORE 33073.013
AT ITER 2409 NEW BEST:: SOT 195672 SOS 46003 HAS SOPS 46003 HAS SOUS 33017 HAS SOUPS 33017 WITH SCORE 33063.003
AT ITER 2416 NEW BEST:: SOT 195678 SOS 46015 HAS SOPS 46015 HAS SOUS 32991 HAS SOUPS 32991 WITH SCORE 33037.015
AT ITER 2444 NEW BEST:: SOT 195677 SOS 46013 HAS SOPS 46013 HAS SOUS 32989 HAS SOUPS 32989 WITH SCORE 33035.013
AT ITER 2451 NEW BEST:: SOT 195677 SOS 45947 HAS SOPS 45947 HAS SOUS 32978 HAS SOUPS 32978 WITH SCORE 33023.947
AT ITER 2459 NEW BEST:: SOT 195666 SOS 45943 HAS SOPS 45943 HAS SOUS 32974 HAS SOUPS 32974 WITH SCORE 33019.943
AT ITER 2476 NEW BEST:: SOT 195664 SOS 45939 HAS SOPS 45939 HAS SOUS 32973 HAS SOUPS 32973 WITH SCORE 33018.939
AT ITER 2479 NEW BEST:: SOT 195572 SOS 45817 HAS SOPS 45817 HAS SOUS 32894 HAS SOUPS 32894 WITH SCORE 32939.817
AT ITER 2488 NEW BEST:: SOT 195502 SOS 45771 HAS SOPS 45771 HAS SOUS 32848 HAS SOUPS 32848 WITH SCORE 32893.771
AT ITER 2491 NEW BEST:: SOT 195472 SOS 45711 HAS SOPS 45711 HAS SOUS 32818 HAS SOUPS 32818 WITH SCORE 32863.711
AT ITER 2495 NEW BEST:: SOT 195419 SOS 45605 HAS SOPS 45605 HAS SOUS 32812 HAS SOUPS 32812 WITH SCORE 32857.605
AT ITER 2499 NEW BEST:: SOT 195355 SOS 45477 HAS SOPS 45477 HAS SOUS 32725 HAS SOUPS 32725 WITH SCORE 32770.477
AT ITER 2514 NEW BEST:: SOT 195330 SOS 45427 HAS SOPS 45427 HAS SOUS 32675 HAS SOUPS 32675 WITH SCORE 32720.427
AT ITER 2526 NEW BEST:: SOT 195330 SOS 45311 HAS SOPS 45311 HAS SOUS 32615 HAS SOUPS 32615 WITH SCORE 32660.311
AT ITER 2533 NEW BEST:: SOT 195330 SOS 45319 HAS SOPS 45319 HAS SOUS 32607 HAS SOUPS 32607 WITH SCORE 32652.319
AT ITER 2556 NEW BEST:: SOT 195255 SOS 45295 HAS SOPS 45295 HAS SOUS 32599 HAS SOUPS 32599 WITH SCORE 32644.295
AT ITER 2570 NEW BEST:: SOT 195251 SOS 45282 HAS SOPS 45282 HAS SOUS 32591 HAS SOUPS 32591 WITH SCORE 32636.282
AT ITER 2577 NEW BEST:: SOT 195266 SOS 45297 HAS SOPS 45297 HAS SOUS 32590 HAS SOUPS 32590 WITH SCORE 32635.297
AT ITER 2583 NEW BEST:: SOT 195256 SOS 45287 HAS SOPS 45287 HAS SOUS 32580 HAS SOUPS 32580 WITH SCORE 32625.287
AT ITER 2596 NEW BEST:: SOT 195216 SOS 45207 HAS SOPS 45207 HAS SOUS 32500 HAS SOUPS 32500 WITH SCORE 32545.207
AT ITER 2598 NEW BEST:: SOT 195209 SOS 45156 HAS SOPS 45156 HAS SOUS 32456 HAS SOUPS 32456 WITH SCORE 32501.156
AT ITER 2616 NEW BEST:: SOT 195217 SOS 45164 HAS SOPS 45164 HAS SOUS 32425 HAS SOUPS 32425 WITH SCORE 32470.164
AT ITER 2618 NEW BEST:: SOT 195217 SOS 45164 HAS SOPS 45164 HAS SOUS 32415 HAS SOUPS 32415 WITH SCORE 32460.164
AT ITER 2628 NEW BEST:: SOT 195234 SOS 45125 HAS SOPS 45125 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32421.125
AT ITER 2643 NEW BEST:: SOT 195232 SOS 45121 HAS SOPS 45121 HAS SOUS 32373 HAS SOUPS 32373 WITH SCORE 32418.121
AT ITER 2660 NEW BEST:: SOT 195201 SOS 45059 HAS SOPS 45059 HAS SOUS 32359 HAS SOUPS 32359 WITH SCORE 32404.059
AT ITER 2675 NEW BEST:: SOT 195155 SOS 45027 HAS SOPS 45027 HAS SOUS 32325 HAS SOUPS 32325 WITH SCORE 32370.027
AT ITER 2678 NEW BEST:: SOT 194856 SOS 45005 HAS SOPS 45005 HAS SOUS 32079 HAS SOUPS 32079 WITH SCORE 32124.005
AT ITER 2680 NEW BEST:: SOT 194825 SOS 44943 HAS SOPS 44943 HAS SOUS 32074 HAS SOUPS 32074 WITH SCORE 32118.943
AT ITER 2682 NEW BEST:: SOT 194793 SOS 44879 HAS SOPS 44879 HAS SOUS 32062 HAS SOUPS 32062 WITH SCORE 32106.879
AT ITER 2685 NEW BEST:: SOT 194596 SOS 46175 HAS SOPS 46175 HAS SOUS 31997 HAS SOUPS 31997 WITH SCORE 32043.175
AT ITER 2687 NEW BEST:: SOT 194616 SOS 46007 HAS SOPS 46007 HAS SOUS 31871 HAS SOUPS 31871 WITH SCORE 31917.007
AT ITER 2761 NEW BEST:: SOT 194603 SOS 45970 HAS SOPS 45970 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31879.97
AT ITER 2767 NEW BEST:: SOT 194592 SOS 45970 HAS SOPS 45970 HAS SOUS 31823 HAS SOUPS 31823 WITH SCORE 31868.97
AT ITER 2770 NEW BEST:: SOT 194612 SOS 45969 HAS SOPS 45969 HAS SOUS 31822 HAS SOUPS 31822 WITH SCORE 31867.969
AT ITER 2839 NEW BEST:: SOT 194591 SOS 45954 HAS SOPS 45954 HAS SOUS 31807 HAS SOUPS 31807 WITH SCORE 31852.954
AT ITER 2841 NEW BEST:: SOT 194566 SOS 45926 HAS SOPS 45926 HAS SOUS 31742 HAS SOUPS 31742 WITH SCORE 31787.926
AT ITER 2842 NEW BEST:: SOT 194573 SOS 45913 HAS SOPS 45913 HAS SOUS 31731 HAS SOUPS 31731 WITH SCORE 31776.913
AT ITER 2859 NEW BEST:: SOT 194560 SOS 45896 HAS SOPS 45896 HAS SOUS 31714 HAS SOUPS 31714 WITH SCORE 31759.896
AT ITER 2861 NEW BEST:: SOT 194544 SOS 45884 HAS SOPS 45884 HAS SOUS 31698 HAS SOUPS 31698 WITH SCORE 31743.884
AT ITER 2867 NEW BEST:: SOT 194531 SOS 45892 HAS SOPS 45892 HAS SOUS 31696 HAS SOUPS 31696 WITH SCORE 31741.892
AT ITER 2888 NEW BEST:: SOT 194493 SOS 45835 HAS SOPS 45835 HAS SOUS 31677 HAS SOUPS 31677 WITH SCORE 31722.835
AT ITER 2896 NEW BEST:: SOT 194404 SOS 45544 HAS SOPS 45544 HAS SOUS 31583 HAS SOUPS 31583 WITH SCORE 31628.544
AT ITER 2928 NEW BEST:: SOT 194429 SOS 45505 HAS SOPS 45505 HAS SOUS 31550 HAS SOUPS 31550 WITH SCORE 31595.505
AT ITER 3020 NEW BEST:: SOT 194381 SOS 45457 HAS SOPS 45457 HAS SOUS 31502 HAS SOUPS 31502 WITH SCORE 31547.457
AT ITER 3022 NEW BEST:: SOT 194321 SOS 45397 HAS SOPS 45397 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31487.397
AT ITER 3036 NEW BEST:: SOT 194307 SOS 45381 HAS SOPS 45381 HAS SOUS 31438 HAS SOUPS 31438 WITH SCORE 31483.381
AT ITER 3072 NEW BEST:: SOT 194352 SOS 45359 HAS SOPS 45359 HAS SOUS 31427 HAS SOUPS 31427 WITH SCORE 31472.359
AT ITER 3088 NEW BEST:: SOT 194334 SOS 45323 HAS SOPS 45323 HAS SOUS 31389 HAS SOUPS 31389 WITH SCORE 31434.323
AT ITER 3119 NEW BEST:: SOT 194337 SOS 45314 HAS SOPS 45314 HAS SOUS 31380 HAS SOUPS 31380 WITH SCORE 31425.314
AT ITER 3121 NEW BEST:: SOT 194287 SOS 45229 HAS SOPS 45229 HAS SOUS 31355 HAS SOUPS 31355 WITH SCORE 31400.229
AT ITER 3124 NEW BEST:: SOT 194290 SOS 45189 HAS SOPS 45189 HAS SOUS 31338 HAS SOUPS 31338 WITH SCORE 31383.189
AT ITER 3137 NEW BEST:: SOT 194290 SOS 45144 HAS SOPS 45144 HAS SOUS 31293 HAS SOUPS 31293 WITH SCORE 31338.144
AT ITER 3155 NEW BEST:: SOT 194289 SOS 45143 HAS SOPS 45143 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31337.143
AT ITER 3177 NEW BEST:: SOT 194280 SOS 45134 HAS SOPS 45134 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31337.134
AT ITER 3204 NEW BEST:: SOT 194243 SOS 45009 HAS SOPS 45009 HAS SOUS 31173 HAS SOUPS 31173 WITH SCORE 31218.009
AT ITER 3229 NEW BEST:: SOT 194244 SOS 45010 HAS SOPS 45010 HAS SOUS 31160 HAS SOUPS 31160 WITH SCORE 31205.01
AT ITER 3230 NEW BEST:: SOT 194217 SOS 44983 HAS SOPS 44983 HAS SOUS 31133 HAS SOUPS 31133 WITH SCORE 31177.983
AT ITER 3249 NEW BEST:: SOT 194142 SOS 44861 HAS SOPS 44861 HAS SOUS 31011 HAS SOUPS 31011 WITH SCORE 31055.861
AT ITER 3253 NEW BEST:: SOT 194093 SOS 44937 HAS SOPS 44937 HAS SOUS 30986 HAS SOUPS 30986 WITH SCORE 31030.937
AT ITER 3262 NEW BEST:: SOT 194050 SOS 44885 HAS SOPS 44885 HAS SOUS 30944 HAS SOUPS 30944 WITH SCORE 30988.885
AT ITER 3269 NEW BEST:: SOT 194050 SOS 44885 HAS SOPS 44885 HAS SOUS 30925 HAS SOUPS 30925 WITH SCORE 30969.885
AT ITER 3271 NEW BEST:: SOT 194039 SOS 44883 HAS SOPS 44883 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30963.883
AT ITER 3278 NEW BEST:: SOT 194013 SOS 44831 HAS SOPS 44831 HAS SOUS 30893 HAS SOUPS 30893 WITH SCORE 30937.831
AT ITER 3281 NEW BEST:: SOT 193993 SOS 44791 HAS SOPS 44791 HAS SOUS 30863 HAS SOUPS 30863 WITH SCORE 30907.791
AT ITER 3300 NEW BEST:: SOT 193962 SOS 44729 HAS SOPS 44729 HAS SOUS 30801 HAS SOUPS 30801 WITH SCORE 30845.729
AT ITER 3320 NEW BEST:: SOT 193951 SOS 44709 HAS SOPS 44709 HAS SOUS 30781 HAS SOUPS 30781 WITH SCORE 30825.709
AT ITER 3322 NEW BEST:: SOT 193933 SOS 44673 HAS SOPS 44673 HAS SOUS 30763 HAS SOUPS 30763 WITH SCORE 30807.673
AT ITER 3339 NEW BEST:: SOT 193940 SOS 44687 HAS SOPS 44687 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30794.687
AT ITER 3353 NEW BEST:: SOT 193936 SOS 44679 HAS SOPS 44679 HAS SOUS 30742 HAS SOUPS 30742 WITH SCORE 30786.679
AT ITER 3364 NEW BEST:: SOT 193925 SOS 44657 HAS SOPS 44657 HAS SOUS 30720 HAS SOUPS 30720 WITH SCORE 30764.657
AT ITER 3383 NEW BEST:: SOT 193899 SOS 44605 HAS SOPS 44605 HAS SOUS 30700 HAS SOUPS 30700 WITH SCORE 30744.605
AT ITER 3391 NEW BEST:: SOT 193858 SOS 44835 HAS SOPS 44835 HAS SOUS 30659 HAS SOUPS 30659 WITH SCORE 30703.835
AT ITER 3425 NEW BEST:: SOT 193863 SOS 44727 HAS SOPS 44727 HAS SOUS 30610 HAS SOUPS 30610 WITH SCORE 30654.727
AT ITER 3430 NEW BEST:: SOT 193863 SOS 44727 HAS SOPS 44727 HAS SOUS 30601 HAS SOUPS 30601 WITH SCORE 30645.727
AT ITER 3434 NEW BEST:: SOT 193853 SOS 44717 HAS SOPS 44717 HAS SOUS 30591 HAS SOUPS 30591 WITH SCORE 30635.717
AT ITER 3439 NEW BEST:: SOT 193853 SOS 44685 HAS SOPS 44685 HAS SOUS 30591 HAS SOUPS 30591 WITH SCORE 30635.685
AT ITER 3440 NEW BEST:: SOT 193849 SOS 44667 HAS SOPS 44667 HAS SOUS 30573 HAS SOUPS 30573 WITH SCORE 30617.667
AT ITER 3446 NEW BEST:: SOT 193839 SOS 44657 HAS SOPS 44657 HAS SOUS 30563 HAS SOUPS 30563 WITH SCORE 30607.657
AT ITER 3457 NEW BEST:: SOT 193826 SOS 44644 HAS SOPS 44644 HAS SOUS 30537 HAS SOUPS 30537 WITH SCORE 30581.644
AT ITER 3481 NEW BEST:: SOT 193826 SOS 44611 HAS SOPS 44611 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30548.611
AT ITER 3494 NEW BEST:: SOT 193814 SOS 44587 HAS SOPS 44587 HAS SOUS 30480 HAS SOUPS 30480 WITH SCORE 30524.587
AT ITER 3529 NEW BEST:: SOT 193802 SOS 44623 HAS SOPS 44623 HAS SOUS 30468 HAS SOUPS 30468 WITH SCORE 30512.623
AT ITER 3566 NEW BEST:: SOT 193972 SOS 44636 HAS SOPS 44636 HAS SOUS 30315 HAS SOUPS 30315 WITH SCORE 30359.636
AT ITER 3570 NEW BEST:: SOT 193939 SOS 44570 HAS SOPS 44570 HAS SOUS 30249 HAS SOUPS 30249 WITH SCORE 30293.57
AT ITER 3578 NEW BEST:: SOT 193958 SOS 44584 HAS SOPS 44584 HAS SOUS 30234 HAS SOUPS 30234 WITH SCORE 30278.584
AT ITER 3579 NEW BEST:: SOT 193958 SOS 44582 HAS SOPS 44582 HAS SOUS 30232 HAS SOUPS 30232 WITH SCORE 30276.582
AT ITER 3581 NEW BEST:: SOT 193875 SOS 44531 HAS SOPS 44531 HAS SOUS 30149 HAS SOUPS 30149 WITH SCORE 30193.531
AT ITER 3585 NEW BEST:: SOT 193839 SOS 44459 HAS SOPS 44459 HAS SOUS 30077 HAS SOUPS 30077 WITH SCORE 30121.459
AT ITER 3613 NEW BEST:: SOT 193825 SOS 44445 HAS SOPS 44445 HAS SOUS 30062 HAS SOUPS 30062 WITH SCORE 30106.445
AT ITER 3614 NEW BEST:: SOT 193769 SOS 44585 HAS SOPS 44585 HAS SOUS 30042 HAS SOUPS 30042 WITH SCORE 30086.585
AT ITER 3624 NEW BEST:: SOT 193739 SOS 44555 HAS SOPS 44555 HAS SOUS 30012 HAS SOUPS 30012 WITH SCORE 30056.555
AT ITER 3649 NEW BEST:: SOT 193690 SOS 44529 HAS SOPS 44529 HAS SOUS 29986 HAS SOUPS 29986 WITH SCORE 30030.529
AT ITER 3693 NEW BEST:: SOT 193578 SOS 44417 HAS SOPS 44417 HAS SOUS 29874 HAS SOUPS 29874 WITH SCORE 29918.417
AT ITER 3699 NEW BEST:: SOT 193596 SOS 44433 HAS SOPS 44433 HAS SOUS 29872 HAS SOUPS 29872 WITH SCORE 29916.433
AT ITER 3717 NEW BEST:: SOT 193631 SOS 44439 HAS SOPS 44439 HAS SOUS 29855 HAS SOUPS 29855 WITH SCORE 29899.439
AT ITER 3720 NEW BEST:: SOT 193637 SOS 44451 HAS SOPS 44451 HAS SOUS 29812 HAS SOUPS 29812 WITH SCORE 29856.451
AT ITER 3729 NEW BEST:: SOT 193637 SOS 44451 HAS SOPS 44451 HAS SOUS 29808 HAS SOUPS 29808 WITH SCORE 29852.451
AT ITER 3767 NEW BEST:: SOT 193618 SOS 44453 HAS SOPS 44453 HAS SOUS 29793 HAS SOUPS 29793 WITH SCORE 29837.453
AT ITER 3820 NEW BEST:: SOT 193599 SOS 44434 HAS SOPS 44434 HAS SOUS 29793 HAS SOUPS 29793 WITH SCORE 29837.434
AT ITER 3833 NEW BEST:: SOT 193587 SOS 44410 HAS SOPS 44410 HAS SOUS 29769 HAS SOUPS 29769 WITH SCORE 29813.41
AT ITER 3847 NEW BEST:: SOT 193484 SOS 44204 HAS SOPS 44204 HAS SOUS 29628 HAS SOUPS 29628 WITH SCORE 29672.204
AT ITER 3852 NEW BEST:: SOT 193423 SOS 44143 HAS SOPS 44143 HAS SOUS 29602 HAS SOUPS 29602 WITH SCORE 29646.143
AT ITER 3862 NEW BEST:: SOT 193421 SOS 44139 HAS SOPS 44139 HAS SOUS 29598 HAS SOUPS 29598 WITH SCORE 29642.139
AT ITER 3873 NEW BEST:: SOT 193404 SOS 44105 HAS SOPS 44105 HAS SOUS 29581 HAS SOUPS 29581 WITH SCORE 29625.105
AT ITER 3888 NEW BEST:: SOT 193385 SOS 44067 HAS SOPS 44067 HAS SOUS 29567 HAS SOUPS 29567 WITH SCORE 29611.067
AT ITER 3954 NEW BEST:: SOT 193339 SOS 44021 HAS SOPS 44021 HAS SOUS 29521 HAS SOUPS 29521 WITH SCORE 29565.021
AT ITER 3968 NEW BEST:: SOT 193322 SOS 43988 HAS SOPS 43988 HAS SOUS 29494 HAS SOUPS 29494 WITH SCORE 29537.988
AT ITER 3988 NEW BEST:: SOT 193317 SOS 43971 HAS SOPS 43971 HAS SOUS 29477 HAS SOUPS 29477 WITH SCORE 29520.971
AT ITER 4020 NEW BEST:: SOT 193315 SOS 43969 HAS SOPS 43969 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29518.969
AT ITER 4033 NEW BEST:: SOT 193302 SOS 43917 HAS SOPS 43917 HAS SOUS 29449 HAS SOUPS 29449 WITH SCORE 29492.917
AT ITER 4050 NEW BEST:: SOT 193270 SOS 44088 HAS SOPS 44088 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29478.088
AT ITER 4079 NEW BEST:: SOT 193213 SOS 43974 HAS SOPS 43974 HAS SOUS 29317 HAS SOUPS 29317 WITH SCORE 29360.974
AT ITER 4089 NEW BEST:: SOT 193213 SOS 43930 HAS SOPS 43930 HAS SOUS 29273 HAS SOUPS 29273 WITH SCORE 29316.93
AT ITER 4102 NEW BEST:: SOT 193207 SOS 43918 HAS SOPS 43918 HAS SOUS 29261 HAS SOUPS 29261 WITH SCORE 29304.918
AT ITER 4115 NEW BEST:: SOT 193177 SOS 43861 HAS SOPS 43861 HAS SOUS 29208 HAS SOUPS 29208 WITH SCORE 29251.861
AT ITER 4125 NEW BEST:: SOT 193048 SOS 43800 HAS SOPS 43800 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29183.8
AT ITER 4137 NEW BEST:: SOT 193039 SOS 43791 HAS SOPS 43791 HAS SOUS 29131 HAS SOUPS 29131 WITH SCORE 29174.791
AT ITER 4147 NEW BEST:: SOT 192958 SOS 43629 HAS SOPS 43629 HAS SOUS 29081 HAS SOUPS 29081 WITH SCORE 29124.629
AT ITER 4158 NEW BEST:: SOT 192890 SOS 43560 HAS SOPS 43560 HAS SOUS 29012 HAS SOUPS 29012 WITH SCORE 29055.56
AT ITER 4184 NEW BEST:: SOT 192888 SOS 43558 HAS SOPS 43558 HAS SOUS 29010 HAS SOUPS 29010 WITH SCORE 29053.558
AT ITER 4221 NEW BEST:: SOT 192879 SOS 43557 HAS SOPS 43557 HAS SOUS 29009 HAS SOUPS 29009 WITH SCORE 29052.557
AT ITER 4236 NEW BEST:: SOT 192879 SOS 43550 HAS SOPS 43550 HAS SOUS 29002 HAS SOUPS 29002 WITH SCORE 29045.55
AT ITER 4257 NEW BEST:: SOT 192850 SOS 43492 HAS SOPS 43492 HAS SOUS 28944 HAS SOUPS 28944 WITH SCORE 28987.492
AT ITER 4261 NEW BEST:: SOT 192812 SOS 43376 HAS SOPS 43376 HAS SOUS 28906 HAS SOUPS 28906 WITH SCORE 28949.376
AT ITER 4274 NEW BEST:: SOT 192746 SOS 43310 HAS SOPS 43310 HAS SOUS 28840 HAS SOUPS 28840 WITH SCORE 28883.31
AT ITER 4300 NEW BEST:: SOT 192743 SOS 43304 HAS SOPS 43304 HAS SOUS 28837 HAS SOUPS 28837 WITH SCORE 28880.304
AT ITER 4303 NEW BEST:: SOT 192692 SOS 43260 HAS SOPS 43260 HAS SOUS 28779 HAS SOUPS 28779 WITH SCORE 28822.26
AT ITER 4305 NEW BEST:: SOT 192995 SOS 38795 HAS SOPS 38795 HAS SOUS 28725 HAS SOUPS 28725 WITH SCORE 28763.795
AT ITER 4321 NEW BEST:: SOT 192971 SOS 38747 HAS SOPS 38747 HAS SOUS 28696 HAS SOUPS 28696 WITH SCORE 28734.747
AT ITER 4323 NEW BEST:: SOT 192958 SOS 38734 HAS SOPS 38734 HAS SOUS 28683 HAS SOUPS 28683 WITH SCORE 28721.734
AT ITER 4336 NEW BEST:: SOT 192963 SOS 38730 HAS SOPS 38730 HAS SOUS 28682 HAS SOUPS 28682 WITH SCORE 28720.73
AT ITER 4339 NEW BEST:: SOT 192902 SOS 38562 HAS SOPS 38562 HAS SOUS 28560 HAS SOUPS 28560 WITH SCORE 28598.562
AT ITER 4358 NEW BEST:: SOT 192882 SOS 38542 HAS SOPS 38542 HAS SOUS 28545 HAS SOUPS 28545 WITH SCORE 28583.542
AT ITER 4367 NEW BEST:: SOT 192860 SOS 38498 HAS SOPS 38498 HAS SOUS 28529 HAS SOUPS 28529 WITH SCORE 28567.498
AT ITER 4378 NEW BEST:: SOT 192755 SOS 39259 HAS SOPS 39259 HAS SOUS 28496 HAS SOUPS 28496 WITH SCORE 28535.259
AT ITER 4402 NEW BEST:: SOT 192767 SOS 39248 HAS SOPS 39248 HAS SOUS 28485 HAS SOUPS 28485 WITH SCORE 28524.248
AT ITER 4428 NEW BEST:: SOT 192731 SOS 39212 HAS SOPS 39212 HAS SOUS 28449 HAS SOUPS 28449 WITH SCORE 28488.212
AT ITER 4432 NEW BEST:: SOT 192731 SOS 39211 HAS SOPS 39211 HAS SOUS 28449 HAS SOUPS 28449 WITH SCORE 28488.211
AT ITER 4449 NEW BEST:: SOT 192687 SOS 39123 HAS SOPS 39123 HAS SOUS 28361 HAS SOUPS 28361 WITH SCORE 28400.123
AT ITER 4465 NEW BEST:: SOT 192662 SOS 39073 HAS SOPS 39073 HAS SOUS 28336 HAS SOUPS 28336 WITH SCORE 28375.073
AT ITER 4501 NEW BEST:: SOT 192673 SOS 39012 HAS SOPS 39012 HAS SOUS 28290 HAS SOUPS 28290 WITH SCORE 28329.012
AT ITER 4528 NEW BEST:: SOT 192654 SOS 38974 HAS SOPS 38974 HAS SOUS 28252 HAS SOUPS 28252 WITH SCORE 28290.974
AT ITER 4533 NEW BEST:: SOT 192647 SOS 38967 HAS SOPS 38967 HAS SOUS 28252 HAS SOUPS 28252 WITH SCORE 28290.967
AT ITER 4548 NEW BEST:: SOT 192607 SOS 38927 HAS SOPS 38927 HAS SOUS 28212 HAS SOUPS 28212 WITH SCORE 28250.927
AT ITER 4558 NEW BEST:: SOT 192607 SOS 38913 HAS SOPS 38913 HAS SOUS 28198 HAS SOUPS 28198 WITH SCORE 28236.913
AT ITER 4559 NEW BEST:: SOT 192603 SOS 38959 HAS SOPS 38959 HAS SOUS 28194 HAS SOUPS 28194 WITH SCORE 28232.959
AT ITER 4591 NEW BEST:: SOT 192603 SOS 38926 HAS SOPS 38926 HAS SOUS 28161 HAS SOUPS 28161 WITH SCORE 28199.926
AT ITER 4594 NEW BEST:: SOT 192590 SOS 38929 HAS SOPS 38929 HAS SOUS 28135 HAS SOUPS 28135 WITH SCORE 28173.929
AT ITER 4596 NEW BEST:: SOT 192590 SOS 38919 HAS SOPS 38919 HAS SOUS 28135 HAS SOUPS 28135 WITH SCORE 28173.919
AT ITER 4611 NEW BEST:: SOT 192594 SOS 38895 HAS SOPS 38895 HAS SOUS 28111 HAS SOUPS 28111 WITH SCORE 28149.895
AT ITER 4620 NEW BEST:: SOT 192583 SOS 38862 HAS SOPS 38862 HAS SOUS 28078 HAS SOUPS 28078 WITH SCORE 28116.862
AT ITER 4650 NEW BEST:: SOT 192567 SOS 38830 HAS SOPS 38830 HAS SOUS 28062 HAS SOUPS 28062 WITH SCORE 28100.83
AT ITER 4693 NEW BEST:: SOT 192561 SOS 38840 HAS SOPS 38840 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28088.84
AT ITER 4700 NEW BEST:: SOT 192566 SOS 38834 HAS SOPS 38834 HAS SOUS 28044 HAS SOUPS 28044 WITH SCORE 28082.834
AT ITER 4710 NEW BEST:: SOT 192548 SOS 38816 HAS SOPS 38816 HAS SOUS 28008 HAS SOUPS 28008 WITH SCORE 28046.816
AT ITER 4731 NEW BEST:: SOT 192553 SOS 38788 HAS SOPS 38788 HAS SOUS 28000 HAS SOUPS 28000 WITH SCORE 28038.788
AT ITER 4761 NEW BEST:: SOT 192553 SOS 38729 HAS SOPS 38729 HAS SOUS 28000 HAS SOUPS 28000 WITH SCORE 28038.729
AT ITER 4771 NEW BEST:: SOT 192235 SOS 39513 HAS SOPS 39513 HAS SOUS 27869 HAS SOUPS 27869 WITH SCORE 27908.513
AT ITER 4775 NEW BEST:: SOT 192235 SOS 39430 HAS SOPS 39430 HAS SOUS 27869 HAS SOUPS 27869 WITH SCORE 27908.43
AT ITER 4818 NEW BEST:: SOT 192235 SOS 39376 HAS SOPS 39376 HAS SOUS 27809 HAS SOUPS 27809 WITH SCORE 27848.376
AT ITER 4829 NEW BEST:: SOT 192232 SOS 39372 HAS SOPS 39372 HAS SOUS 27805 HAS SOUPS 27805 WITH SCORE 27844.372
AT ITER 4838 NEW BEST:: SOT 192211 SOS 39351 HAS SOPS 39351 HAS SOUS 27784 HAS SOUPS 27784 WITH SCORE 27823.351
AT ITER 4870 NEW BEST:: SOT 192249 SOS 39360 HAS SOPS 39360 HAS SOUS 27759 HAS SOUPS 27759 WITH SCORE 27798.36
AT ITER 4885 NEW BEST:: SOT 192258 SOS 39414 HAS SOPS 39414 HAS SOUS 27741 HAS SOUPS 27741 WITH SCORE 27780.414
AT ITER 4887 NEW BEST:: SOT 192198 SOS 39696 HAS SOPS 39696 HAS SOUS 27723 HAS SOUPS 27723 WITH SCORE 27762.696
AT ITER 4890 NEW BEST:: SOT 192193 SOS 39717 HAS SOPS 39717 HAS SOUS 27713 HAS SOUPS 27713 WITH SCORE 27752.717
AT ITER 4909 NEW BEST:: SOT 192193 SOS 39763 HAS SOPS 39763 HAS SOUS 27680 HAS SOUPS 27680 WITH SCORE 27719.763
AT ITER 4916 NEW BEST:: SOT 192186 SOS 39749 HAS SOPS 39749 HAS SOUS 27666 HAS SOUPS 27666 WITH SCORE 27705.749
AT ITER 4933 NEW BEST:: SOT 192186 SOS 39568 HAS SOPS 39568 HAS SOUS 27644 HAS SOUPS 27644 WITH SCORE 27683.568
AT ITER 4959 NEW BEST:: SOT 192063 SOS 39445 HAS SOPS 39445 HAS SOUS 27580 HAS SOUPS 27580 WITH SCORE 27619.445
AT ITER 4974 NEW BEST:: SOT 192023 SOS 39425 HAS SOPS 39425 HAS SOUS 27561 HAS SOUPS 27561 WITH SCORE 27600.425
AT ITER 5001 NEW BEST:: SOT 192022 SOS 39423 HAS SOPS 39423 HAS SOUS 27559 HAS SOUPS 27559 WITH SCORE 27598.423
AT ITER 5010 NEW BEST:: SOT 192039 SOS 39401 HAS SOPS 39401 HAS SOUS 27537 HAS SOUPS 27537 WITH SCORE 27576.401
AT ITER 5073 NEW BEST:: SOT 191827 SOS 38977 HAS SOPS 38977 HAS SOUS 27456 HAS SOUPS 27456 WITH SCORE 27494.977
AT ITER 5118 NEW BEST:: SOT 191831 SOS 38971 HAS SOPS 38971 HAS SOUS 27436 HAS SOUPS 27436 WITH SCORE 27474.971
AT ITER 5129 NEW BEST:: SOT 191829 SOS 38945 HAS SOPS 38945 HAS SOUS 27410 HAS SOUPS 27410 WITH SCORE 27448.945
AT ITER 5137 NEW BEST:: SOT 191887 SOS 37795 HAS SOPS 37795 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27412.795
AT ITER 5157 NEW BEST:: SOT 191733 SOS 37927 HAS SOPS 37927 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27289.927
AT ITER 5208 NEW BEST:: SOT 191690 SOS 37841 HAS SOPS 37841 HAS SOUS 27209 HAS SOUPS 27209 WITH SCORE 27246.841
AT ITER 5219 NEW BEST:: SOT 191664 SOS 37897 HAS SOPS 37897 HAS SOUS 27177 HAS SOUPS 27177 WITH SCORE 27214.897
AT ITER 5222 NEW BEST:: SOT 191647 SOS 37905 HAS SOPS 37905 HAS SOUS 27164 HAS SOUPS 27164 WITH SCORE 27201.905
AT ITER 5267 NEW BEST:: SOT 191647 SOS 37872 HAS SOPS 37872 HAS SOUS 27164 HAS SOUPS 27164 WITH SCORE 27201.872
AT ITER 5271 NEW BEST:: SOT 191624 SOS 37826 HAS SOPS 37826 HAS SOUS 27136 HAS SOUPS 27136 WITH SCORE 27173.826
AT ITER 5325 NEW BEST:: SOT 191618 SOS 37822 HAS SOPS 37822 HAS SOUS 27132 HAS SOUPS 27132 WITH SCORE 27169.822
AT ITER 5326 NEW BEST:: SOT 191640 SOS 37844 HAS SOPS 37844 HAS SOUS 27129 HAS SOUPS 27129 WITH SCORE 27166.844
AT ITER 5373 NEW BEST:: SOT 191519 SOS 37758 HAS SOPS 37758 HAS SOUS 27119 HAS SOUPS 27119 WITH SCORE 27156.758
AT ITER 5374 NEW BEST:: SOT 191465 SOS 37650 HAS SOPS 37650 HAS SOUS 27065 HAS SOUPS 27065 WITH SCORE 27102.65
AT ITER 5379 NEW BEST:: SOT 191460 SOS 37640 HAS SOPS 37640 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27092.64
AT ITER 5471 NEW BEST:: SOT 191449 SOS 37618 HAS SOPS 37618 HAS SOUS 27033 HAS SOUPS 27033 WITH SCORE 27070.618
AT ITER 5492 NEW BEST:: SOT 191243 SOS 38271 HAS SOPS 38271 HAS SOUS 26904 HAS SOUPS 26904 WITH SCORE 26942.271
AT ITER 5495 NEW BEST:: SOT 191267 SOS 38261 HAS SOPS 38261 HAS SOUS 26894 HAS SOUPS 26894 WITH SCORE 26932.261
AT ITER 5518 NEW BEST:: SOT 191225 SOS 38177 HAS SOPS 38177 HAS SOUS 26856 HAS SOUPS 26856 WITH SCORE 26894.177
AT ITER 5526 NEW BEST:: SOT 191206 SOS 38139 HAS SOPS 38139 HAS SOUS 26837 HAS SOUPS 26837 WITH SCORE 26875.139
AT ITER 5547 NEW BEST:: SOT 191185 SOS 38118 HAS SOPS 38118 HAS SOUS 26816 HAS SOUPS 26816 WITH SCORE 26854.118
AT ITER 5573 NEW BEST:: SOT 191185 SOS 38118 HAS SOPS 38118 HAS SOUS 26810 HAS SOUPS 26810 WITH SCORE 26848.118
AT ITER 5593 NEW BEST:: SOT 191173 SOS 38100 HAS SOPS 38100 HAS SOUS 26798 HAS SOUPS 26798 WITH SCORE 26836.1
AT ITER 5618 NEW BEST:: SOT 191190 SOS 38134 HAS SOPS 38134 HAS SOUS 26784 HAS SOUPS 26784 WITH SCORE 26822.134
AT ITER 5627 NEW BEST:: SOT 191187 SOS 38131 HAS SOPS 38131 HAS SOUS 26778 HAS SOUPS 26778 WITH SCORE 26816.131
AT ITER 5637 NEW BEST:: SOT 191113 SOS 38553 HAS SOPS 38553 HAS SOUS 26726 HAS SOUPS 26726 WITH SCORE 26764.553
AT ITER 5730 NEW BEST:: SOT 191060 SOS 38500 HAS SOPS 38500 HAS SOUS 26673 HAS SOUPS 26673 WITH SCORE 26711.5
AT ITER 5750 NEW BEST:: SOT 191057 SOS 38496 HAS SOPS 38496 HAS SOUS 26669 HAS SOUPS 26669 WITH SCORE 26707.496
AT ITER 5751 NEW BEST:: SOT 191022 SOS 38461 HAS SOPS 38461 HAS SOUS 26611 HAS SOUPS 26611 WITH SCORE 26649.461
AT ITER 5761 NEW BEST:: SOT 191034 SOS 38465 HAS SOPS 38465 HAS SOUS 26603 HAS SOUPS 26603 WITH SCORE 26641.465
AT ITER 5769 NEW BEST:: SOT 191034 SOS 38449 HAS SOPS 38449 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26635.449
AT ITER 5781 NEW BEST:: SOT 191029 SOS 38442 HAS SOPS 38442 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26635.442
AT ITER 5791 NEW BEST:: SOT 191015 SOS 38428 HAS SOPS 38428 HAS SOUS 26589 HAS SOUPS 26589 WITH SCORE 26627.428
AT ITER 5792 NEW BEST:: SOT 190993 SOS 38406 HAS SOPS 38406 HAS SOUS 26567 HAS SOUPS 26567 WITH SCORE 26605.406
AT ITER 5806 NEW BEST:: SOT 190984 SOS 38388 HAS SOPS 38388 HAS SOUS 26567 HAS SOUPS 26567 WITH SCORE 26605.388
AT ITER 5853 NEW BEST:: SOT 190984 SOS 38358 HAS SOPS 38358 HAS SOUS 26537 HAS SOUPS 26537 WITH SCORE 26575.358
AT ITER 5919 NEW BEST:: SOT 190984 SOS 38358 HAS SOPS 38358 HAS SOUS 26535 HAS SOUPS 26535 WITH SCORE 26573.358
AT ITER 5930 NEW BEST:: SOT 190983 SOS 38357 HAS SOPS 38357 HAS SOUS 26534 HAS SOUPS 26534 WITH SCORE 26572.357
AT ITER 5934 NEW BEST:: SOT 190845 SOS 38237 HAS SOPS 38237 HAS SOUS 26524 HAS SOUPS 26524 WITH SCORE 26562.237
AT ITER 6031 NEW BEST:: SOT 190840 SOS 38217 HAS SOPS 38217 HAS SOUS 26516 HAS SOUPS 26516 WITH SCORE 26554.217
AT ITER 6065 NEW BEST:: SOT 190849 SOS 38212 HAS SOPS 38212 HAS SOUS 26511 HAS SOUPS 26511 WITH SCORE 26549.212
AT ITER 6112 NEW BEST:: SOT 190806 SOS 38169 HAS SOPS 38169 HAS SOUS 26511 HAS SOUPS 26511 WITH SCORE 26549.169
AT ITER 6150 NEW BEST:: SOT 190760 SOS 38123 HAS SOPS 38123 HAS SOUS 26465 HAS SOUPS 26465 WITH SCORE 26503.123
AT ITER 6171 NEW BEST:: SOT 190865 SOS 38122 HAS SOPS 38122 HAS SOUS 26464 HAS SOUPS 26464 WITH SCORE 26502.122
AT ITER 6189 NEW BEST:: SOT 190839 SOS 38088 HAS SOPS 38088 HAS SOUS 26421 HAS SOUPS 26421 WITH SCORE 26459.088
AT ITER 6212 NEW BEST:: SOT 190727 SOS 37864 HAS SOPS 37864 HAS SOUS 26309 HAS SOUPS 26309 WITH SCORE 26346.864
AT ITER 6221 NEW BEST:: SOT 190727 SOS 37864 HAS SOPS 37864 HAS SOUS 26305 HAS SOUPS 26305 WITH SCORE 26342.864
AT ITER 6262 NEW BEST:: SOT 190705 SOS 37820 HAS SOPS 37820 HAS SOUS 26293 HAS SOUPS 26293 WITH SCORE 26330.82
AT ITER 6271 NEW BEST:: SOT 190704 SOS 37819 HAS SOPS 37819 HAS SOUS 26292 HAS SOUPS 26292 WITH SCORE 26329.819
AT ITER 6276 NEW BEST:: SOT 190715 SOS 37826 HAS SOPS 37826 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26321.826
AT ITER 6290 NEW BEST:: SOT 190714 SOS 37822 HAS SOPS 37822 HAS SOUS 26282 HAS SOUPS 26282 WITH SCORE 26319.822
AT ITER 6314 NEW BEST:: SOT 190702 SOS 37798 HAS SOPS 37798 HAS SOUS 26255 HAS SOUPS 26255 WITH SCORE 26292.798
AT ITER 6348 NEW BEST:: SOT 190702 SOS 37746 HAS SOPS 37746 HAS SOUS 26250 HAS SOUPS 26250 WITH SCORE 26287.746
AT ITER 6400 NEW BEST:: SOT 190686 SOS 37730 HAS SOPS 37730 HAS SOUS 26234 HAS SOUPS 26234 WITH SCORE 26271.73
AT ITER 6401 NEW BEST:: SOT 190637 SOS 37681 HAS SOPS 37681 HAS SOUS 26185 HAS SOUPS 26185 WITH SCORE 26222.681
AT ITER 6432 NEW BEST:: SOT 190630 SOS 37662 HAS SOPS 37662 HAS SOUS 26178 HAS SOUPS 26178 WITH SCORE 26215.662
AT ITER 6433 NEW BEST:: SOT 190615 SOS 37632 HAS SOPS 37632 HAS SOUS 26148 HAS SOUPS 26148 WITH SCORE 26185.632
AT ITER 6446 NEW BEST:: SOT 190671 SOS 37744 HAS SOPS 37744 HAS SOUS 26124 HAS SOUPS 26124 WITH SCORE 26161.744
AT ITER 6456 NEW BEST:: SOT 190603 SOS 37674 HAS SOPS 37674 HAS SOUS 26101 HAS SOUPS 26101 WITH SCORE 26138.674
AT ITER 6486 NEW BEST:: SOT 190586 SOS 37657 HAS SOPS 37657 HAS SOUS 26084 HAS SOUPS 26084 WITH SCORE 26121.657
AT ITER 6504 NEW BEST:: SOT 190577 SOS 37639 HAS SOPS 37639 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26103.639
AT ITER 6570 NEW BEST:: SOT 190557 SOS 37605 HAS SOPS 37605 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26086.605
AT ITER 6574 NEW BEST:: SOT 190557 SOS 37603 HAS SOPS 37603 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26086.603
AT ITER 6621 NEW BEST:: SOT 190549 SOS 37579 HAS SOPS 37579 HAS SOUS 26025 HAS SOUPS 26025 WITH SCORE 26062.579
AT ITER 6628 NEW BEST:: SOT 190546 SOS 37565 HAS SOPS 37565 HAS SOUS 26011 HAS SOUPS 26011 WITH SCORE 26048.565
AT ITER 6665 NEW BEST:: SOT 190539 SOS 37551 HAS SOPS 37551 HAS SOUS 25998 HAS SOUPS 25998 WITH SCORE 26035.551
AT ITER 6682 NEW BEST:: SOT 190539 SOS 37541 HAS SOPS 37541 HAS SOUS 25998 HAS SOUPS 25998 WITH SCORE 26035.541
AT ITER 6723 NEW BEST:: SOT 190539 SOS 37538 HAS SOPS 37538 HAS SOUS 25995 HAS SOUPS 25995 WITH SCORE 26032.538
AT ITER 6738 NEW BEST:: SOT 190510 SOS 37422 HAS SOPS 37422 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25987.422
AT ITER 6750 NEW BEST:: SOT 190510 SOS 37415 HAS SOPS 37415 HAS SOUS 25943 HAS SOUPS 25943 WITH SCORE 25980.415
AT ITER 6762 NEW BEST:: SOT 190357 SOS 37230 HAS SOPS 37230 HAS SOUS 25812 HAS SOUPS 25812 WITH SCORE 25849.23
AT ITER 6772 NEW BEST:: SOT 190355 SOS 37226 HAS SOPS 37226 HAS SOUS 25808 HAS SOUPS 25808 WITH SCORE 25845.226
AT ITER 6779 NEW BEST:: SOT 190355 SOS 37202 HAS SOPS 37202 HAS SOUS 25795 HAS SOUPS 25795 WITH SCORE 25832.202
AT ITER 6808 NEW BEST:: SOT 190358 SOS 37205 HAS SOPS 37205 HAS SOUS 25792 HAS SOUPS 25792 WITH SCORE 25829.205
AT ITER 6811 NEW BEST:: SOT 190359 SOS 37204 HAS SOPS 37204 HAS SOUS 25791 HAS SOUPS 25791 WITH SCORE 25828.204
AT ITER 6824 NEW BEST:: SOT 190339 SOS 37229 HAS SOPS 37229 HAS SOUS 25776 HAS SOUPS 25776 WITH SCORE 25813.229
AT ITER 6863 NEW BEST:: SOT 190337 SOS 37225 HAS SOPS 37225 HAS SOUS 25776 HAS SOUPS 25776 WITH SCORE 25813.225
AT ITER 6897 NEW BEST:: SOT 190336 SOS 37223 HAS SOPS 37223 HAS SOUS 25774 HAS SOUPS 25774 WITH SCORE 25811.223
AT ITER 6935 NEW BEST:: SOT 190319 SOS 37189 HAS SOPS 37189 HAS SOUS 25755 HAS SOUPS 25755 WITH SCORE 25792.189
AT ITER 6946 NEW BEST:: SOT 190271 SOS 37056 HAS SOPS 37056 HAS SOUS 25707 HAS SOUPS 25707 WITH SCORE 25744.056
AT ITER 6947 NEW BEST:: SOT 190247 SOS 36960 HAS SOPS 36960 HAS SOUS 25635 HAS SOUPS 25635 WITH SCORE 25671.96
AT ITER 6994 NEW BEST:: SOT 190215 SOS 36896 HAS SOPS 36896 HAS SOUS 25571 HAS SOUPS 25571 WITH SCORE 25607.896
AT ITER 6999 NEW BEST:: SOT 190102 SOS 36713 HAS SOPS 36713 HAS SOUS 25458 HAS SOUPS 25458 WITH SCORE 25494.713
AT ITER 7032 NEW BEST:: SOT 190049 SOS 36692 HAS SOPS 36692 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25473.692
AT ITER 7035 NEW BEST:: SOT 190033 SOS 36660 HAS SOPS 36660 HAS SOUS 25405 HAS SOUPS 25405 WITH SCORE 25441.66
AT ITER 7067 NEW BEST:: SOT 190030 SOS 36657 HAS SOPS 36657 HAS SOUS 25402 HAS SOUPS 25402 WITH SCORE 25438.657
AT ITER 7087 NEW BEST:: SOT 190029 SOS 36686 HAS SOPS 36686 HAS SOUS 25401 HAS SOUPS 25401 WITH SCORE 25437.686
AT ITER 7117 NEW BEST:: SOT 190015 SOS 36672 HAS SOPS 36672 HAS SOUS 25401 HAS SOUPS 25401 WITH SCORE 25437.672
AT ITER 7135 NEW BEST:: SOT 190009 SOS 36660 HAS SOPS 36660 HAS SOUS 25395 HAS SOUPS 25395 WITH SCORE 25431.66
AT ITER 7164 NEW BEST:: SOT 189998 SOS 36638 HAS SOPS 36638 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25409.638
AT ITER 7176 NEW BEST:: SOT 190082 SOS 36722 HAS SOPS 36722 HAS SOUS 25358 HAS SOUPS 25358 WITH SCORE 25394.722
AT ITER 7197 NEW BEST:: SOT 190070 SOS 36710 HAS SOPS 36710 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25382.71
AT ITER 7233 NEW BEST:: SOT 190078 SOS 36682 HAS SOPS 36682 HAS SOUS 25318 HAS SOUPS 25318 WITH SCORE 25354.682
AT ITER 7254 NEW BEST:: SOT 190061 SOS 36665 HAS SOPS 36665 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25337.665
AT ITER 7268 NEW BEST:: SOT 190060 SOS 36664 HAS SOPS 36664 HAS SOUS 25300 HAS SOUPS 25300 WITH SCORE 25336.664
AT ITER 7292 NEW BEST:: SOT 190048 SOS 36624 HAS SOPS 36624 HAS SOUS 25278 HAS SOUPS 25278 WITH SCORE 25314.624
AT ITER 7305 NEW BEST:: SOT 190039 SOS 36600 HAS SOPS 36600 HAS SOUS 25254 HAS SOUPS 25254 WITH SCORE 25290.6
AT ITER 7312 NEW BEST:: SOT 190039 SOS 36576 HAS SOPS 36576 HAS SOUS 25236 HAS SOUPS 25236 WITH SCORE 25272.576
AT ITER 7344 NEW BEST:: SOT 190023 SOS 36560 HAS SOPS 36560 HAS SOUS 25220 HAS SOUPS 25220 WITH SCORE 25256.56
AT ITER 7356 NEW BEST:: SOT 189833 SOS 37547 HAS SOPS 37547 HAS SOUS 25213 HAS SOUPS 25213 WITH SCORE 25250.547
AT ITER 7383 NEW BEST:: SOT 189830 SOS 37541 HAS SOPS 37541 HAS SOUS 25207 HAS SOUPS 25207 WITH SCORE 25244.541
AT ITER 7419 NEW BEST:: SOT 189808 SOS 37423 HAS SOPS 37423 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25232.423
AT ITER 7436 NEW BEST:: SOT 189796 SOS 37399 HAS SOPS 37399 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25232.399
AT ITER 7462 NEW BEST:: SOT 189817 SOS 37324 HAS SOPS 37324 HAS SOUS 25159 HAS SOUPS 25159 WITH SCORE 25196.324
AT ITER 7475 NEW BEST:: SOT 189813 SOS 37316 HAS SOPS 37316 HAS SOUS 25151 HAS SOUPS 25151 WITH SCORE 25188.316
AT ITER 7530 NEW BEST:: SOT 189813 SOS 37172 HAS SOPS 37172 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25116.172
AT ITER 7542 NEW BEST:: SOT 189801 SOS 37151 HAS SOPS 37151 HAS SOUS 25060 HAS SOUPS 25060 WITH SCORE 25097.151
AT ITER 7572 NEW BEST:: SOT 189800 SOS 37179 HAS SOPS 37179 HAS SOUS 25059 HAS SOUPS 25059 WITH SCORE 25096.179
AT ITER 7606 NEW BEST:: SOT 189790 SOS 37140 HAS SOPS 37140 HAS SOUS 25034 HAS SOUPS 25034 WITH SCORE 25071.14
AT ITER 7609 NEW BEST:: SOT 189760 SOS 37095 HAS SOPS 37095 HAS SOUS 24989 HAS SOUPS 24989 WITH SCORE 25026.095
AT ITER 7625 NEW BEST:: SOT 189750 SOS 37075 HAS SOPS 37075 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 25006.075
AT ITER 7663 NEW BEST:: SOT 189713 SOS 37038 HAS SOPS 37038 HAS SOUS 24962 HAS SOUPS 24962 WITH SCORE 24999.038
AT ITER 7702 NEW BEST:: SOT 189703 SOS 37028 HAS SOPS 37028 HAS SOUS 24961 HAS SOUPS 24961 WITH SCORE 24998.028
AT ITER 7707 NEW BEST:: SOT 189692 SOS 37006 HAS SOPS 37006 HAS SOUS 24939 HAS SOUPS 24939 WITH SCORE 24976.006
AT ITER 7738 NEW BEST:: SOT 189644 SOS 36910 HAS SOPS 36910 HAS SOUS 24911 HAS SOUPS 24911 WITH SCORE 24947.91
AT ITER 7753 NEW BEST:: SOT 189533 SOS 36688 HAS SOPS 36688 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24746.688
AT ITER 7768 NEW BEST:: SOT 189530 SOS 36702 HAS SOPS 36702 HAS SOUS 24700 HAS SOUPS 24700 WITH SCORE 24736.702
AT ITER 7785 NEW BEST:: SOT 189527 SOS 36696 HAS SOPS 36696 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24730.696
AT ITER 7790 NEW BEST:: SOT 189500 SOS 36669 HAS SOPS 36669 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24730.669
AT ITER 7808 NEW BEST:: SOT 189500 SOS 36634 HAS SOPS 36634 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24730.634
AT ITER 7834 NEW BEST:: SOT 189500 SOS 36634 HAS SOPS 36634 HAS SOUS 24674 HAS SOUPS 24674 WITH SCORE 24710.634
AT ITER 7838 NEW BEST:: SOT 189459 SOS 36556 HAS SOPS 36556 HAS SOUS 24636 HAS SOUPS 24636 WITH SCORE 24672.556
AT ITER 7843 NEW BEST:: SOT 189441 SOS 36529 HAS SOPS 36529 HAS SOUS 24609 HAS SOUPS 24609 WITH SCORE 24645.529
AT ITER 7869 NEW BEST:: SOT 189398 SOS 36709 HAS SOPS 36709 HAS SOUS 24585 HAS SOUPS 24585 WITH SCORE 24621.709
AT ITER 7876 NEW BEST:: SOT 189358 SOS 36629 HAS SOPS 36629 HAS SOUS 24581 HAS SOUPS 24581 WITH SCORE 24617.629
AT ITER 7925 NEW BEST:: SOT 189429 SOS 36771 HAS SOPS 36771 HAS SOUS 24568 HAS SOUPS 24568 WITH SCORE 24604.771
AT ITER 7943 NEW BEST:: SOT 189401 SOS 36715 HAS SOPS 36715 HAS SOUS 24541 HAS SOUPS 24541 WITH SCORE 24577.715
AT ITER 7971 NEW BEST:: SOT 189387 SOS 36697 HAS SOPS 36697 HAS SOUS 24499 HAS SOUPS 24499 WITH SCORE 24535.697
AT ITER 7996 NEW BEST:: SOT 189384 SOS 36651 HAS SOPS 36651 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24529.651
AT ITER 8004 NEW BEST:: SOT 189384 SOS 36699 HAS SOPS 36699 HAS SOUS 24456 HAS SOUPS 24456 WITH SCORE 24492.699
AT ITER 8025 NEW BEST:: SOT 189382 SOS 36699 HAS SOPS 36699 HAS SOUS 24455 HAS SOUPS 24455 WITH SCORE 24491.699
AT ITER 8041 NEW BEST:: SOT 189373 SOS 36691 HAS SOPS 36691 HAS SOUS 24447 HAS SOUPS 24447 WITH SCORE 24483.691
AT ITER 8070 NEW BEST:: SOT 189362 SOS 36680 HAS SOPS 36680 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24479.68
AT ITER 8112 NEW BEST:: SOT 189403 SOS 36689 HAS SOPS 36689 HAS SOUS 24434 HAS SOUPS 24434 WITH SCORE 24470.689
AT ITER 8147 NEW BEST:: SOT 189400 SOS 36683 HAS SOPS 36683 HAS SOUS 24428 HAS SOUPS 24428 WITH SCORE 24464.683
AT ITER 8167 NEW BEST:: SOT 189388 SOS 36665 HAS SOPS 36665 HAS SOUS 24410 HAS SOUPS 24410 WITH SCORE 24446.665
AT ITER 8234 NEW BEST:: SOT 189388 SOS 36662 HAS SOPS 36662 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24443.662
AT ITER 8245 NEW BEST:: SOT 189368 SOS 36642 HAS SOPS 36642 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24443.642
AT ITER 8265 NEW BEST:: SOT 189358 SOS 36622 HAS SOPS 36622 HAS SOUS 24387 HAS SOUPS 24387 WITH SCORE 24423.622
AT ITER 8291 NEW BEST:: SOT 189370 SOS 36286 HAS SOPS 36286 HAS SOUS 24375 HAS SOUPS 24375 WITH SCORE 24411.286
AT ITER 8312 NEW BEST:: SOT 189370 SOS 36280 HAS SOPS 36280 HAS SOUS 24369 HAS SOUPS 24369 WITH SCORE 24405.28
AT ITER 8347 NEW BEST:: SOT 189367 SOS 36229 HAS SOPS 36229 HAS SOUS 24363 HAS SOUPS 24363 WITH SCORE 24399.229
AT ITER 8370 NEW BEST:: SOT 189361 SOS 36269 HAS SOPS 36269 HAS SOUS 24344 HAS SOUPS 24344 WITH SCORE 24380.269
AT ITER 8401 NEW BEST:: SOT 189341 SOS 36229 HAS SOPS 36229 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24360.229
AT ITER 8451 NEW BEST:: SOT 189336 SOS 36219 HAS SOPS 36219 HAS SOUS 24314 HAS SOUPS 24314 WITH SCORE 24350.219
AT ITER 8459 NEW BEST:: SOT 189347 SOS 36241 HAS SOPS 36241 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24344.241
AT ITER 8463 NEW BEST:: SOT 189332 SOS 36239 HAS SOPS 36239 HAS SOUS 24286 HAS SOUPS 24286 WITH SCORE 24322.239
AT ITER 8466 NEW BEST:: SOT 189330 SOS 36235 HAS SOPS 36235 HAS SOUS 24286 HAS SOUPS 24286 WITH SCORE 24322.235
AT ITER 8569 NEW BEST:: SOT 189327 SOS 36229 HAS SOPS 36229 HAS SOUS 24283 HAS SOUPS 24283 WITH SCORE 24319.229
AT ITER 8637 NEW BEST:: SOT 189303 SOS 36181 HAS SOPS 36181 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24295.181
AT ITER 8709 NEW BEST:: SOT 189296 SOS 36174 HAS SOPS 36174 HAS SOUS 24252 HAS SOUPS 24252 WITH SCORE 24288.174
AT ITER 8715 NEW BEST:: SOT 189285 SOS 36140 HAS SOPS 36140 HAS SOUS 24231 HAS SOUPS 24231 WITH SCORE 24267.14
AT ITER 8724 NEW BEST:: SOT 189194 SOS 36078 HAS SOPS 36078 HAS SOUS 24169 HAS SOUPS 24169 WITH SCORE 24205.078
AT ITER 8742 NEW BEST:: SOT 189173 SOS 36054 HAS SOPS 36054 HAS SOUS 24145 HAS SOUPS 24145 WITH SCORE 24181.054
AT ITER 8854 NEW BEST:: SOT 189153 SOS 35987 HAS SOPS 35987 HAS SOUS 24101 HAS SOUPS 24101 WITH SCORE 24136.987
AT ITER 8855 NEW BEST:: SOT 189100 SOS 35934 HAS SOPS 35934 HAS SOUS 24048 HAS SOUPS 24048 WITH SCORE 24083.934
AT ITER 8897 NEW BEST:: SOT 189093 SOS 35920 HAS SOPS 35920 HAS SOUS 24041 HAS SOUPS 24041 WITH SCORE 24076.92
AT ITER 8943 NEW BEST:: SOT 189167 SOS 36068 HAS SOPS 36068 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24074.068
AT ITER 8966 NEW BEST:: SOT 189164 SOS 36062 HAS SOPS 36062 HAS SOUS 24031 HAS SOUPS 24031 WITH SCORE 24067.062
AT ITER 9023 NEW BEST:: SOT 189018 SOS 35843 HAS SOPS 35843 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 23897.843
AT ITER 9045 NEW BEST:: SOT 189024 SOS 35796 HAS SOPS 35796 HAS SOUS 23853 HAS SOUPS 23853 WITH SCORE 23888.796
AT ITER 9052 NEW BEST:: SOT 189005 SOS 35758 HAS SOPS 35758 HAS SOUS 23815 HAS SOUPS 23815 WITH SCORE 23850.758
AT ITER 9100 NEW BEST:: SOT 189003 SOS 35754 HAS SOPS 35754 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23845.754
AT ITER 9124 NEW BEST:: SOT 189000 SOS 35748 HAS SOPS 35748 HAS SOUS 23804 HAS SOUPS 23804 WITH SCORE 23839.748
AT ITER 9151 NEW BEST:: SOT 189000 SOS 35744 HAS SOPS 35744 HAS SOUS 23800 HAS SOUPS 23800 WITH SCORE 23835.744
AT ITER 9160 NEW BEST:: SOT 188996 SOS 35739 HAS SOPS 35739 HAS SOUS 23797 HAS SOUPS 23797 WITH SCORE 23832.739
AT ITER 9193 NEW BEST:: SOT 188992 SOS 35735 HAS SOPS 35735 HAS SOUS 23793 HAS SOUPS 23793 WITH SCORE 23828.735
AT ITER 9216 NEW BEST:: SOT 188989 SOS 35732 HAS SOPS 35732 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23823.732
AT ITER 9219 NEW BEST:: SOT 188989 SOS 35732 HAS SOPS 35732 HAS SOUS 23772 HAS SOUPS 23772 WITH SCORE 23807.732
AT ITER 9273 NEW BEST:: SOT 188973 SOS 35681 HAS SOPS 35681 HAS SOUS 23740 HAS SOUPS 23740 WITH SCORE 23775.681
AT ITER 9276 NEW BEST:: SOT 188887 SOS 35583 HAS SOPS 35583 HAS SOUS 23711 HAS SOUPS 23711 WITH SCORE 23746.583
AT ITER 9294 NEW BEST:: SOT 188872 SOS 35539 HAS SOPS 35539 HAS SOUS 23667 HAS SOUPS 23667 WITH SCORE 23702.539
AT ITER 9302 NEW BEST:: SOT 188856 SOS 35499 HAS SOPS 35499 HAS SOUS 23651 HAS SOUPS 23651 WITH SCORE 23686.499
AT ITER 9315 NEW BEST:: SOT 188886 SOS 35339 HAS SOPS 35339 HAS SOUS 23628 HAS SOUPS 23628 WITH SCORE 23663.339
AT ITER 9330 NEW BEST:: SOT 188861 SOS 35289 HAS SOPS 35289 HAS SOUS 23623 HAS SOUPS 23623 WITH SCORE 23658.289
AT ITER 9348 NEW BEST:: SOT 188800 SOS 35241 HAS SOPS 35241 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23624.241
AT ITER 9362 NEW BEST:: SOT 188704 SOS 35145 HAS SOPS 35145 HAS SOUS 23589 HAS SOUPS 23589 WITH SCORE 23624.145
AT ITER 9373 NEW BEST:: SOT 188682 SOS 35131 HAS SOPS 35131 HAS SOUS 23575 HAS SOUPS 23575 WITH SCORE 23610.131
AT ITER 9388 NEW BEST:: SOT 188654 SOS 35075 HAS SOPS 35075 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23581.075
AT ITER 9398 NEW BEST:: SOT 188650 SOS 35035 HAS SOPS 35035 HAS SOUS 23536 HAS SOUPS 23536 WITH SCORE 23571.035
AT ITER 9442 NEW BEST:: SOT 188644 SOS 35023 HAS SOPS 35023 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23565.023
AT ITER 9459 NEW BEST:: SOT 188644 SOS 35023 HAS SOPS 35023 HAS SOUS 23481 HAS SOUPS 23481 WITH SCORE 23516.023
AT ITER 9462 NEW BEST:: SOT 188640 SOS 35015 HAS SOPS 35015 HAS SOUS 23477 HAS SOUPS 23477 WITH SCORE 23512.015
AT ITER 9471 NEW BEST:: SOT 188637 SOS 35012 HAS SOPS 35012 HAS SOUS 23474 HAS SOUPS 23474 WITH SCORE 23509.012
AT ITER 9479 NEW BEST:: SOT 188635 SOS 35010 HAS SOPS 35010 HAS SOUS 23474 HAS SOUPS 23474 WITH SCORE 23509.01
AT ITER 9500 NEW BEST:: SOT 188622 SOS 34984 HAS SOPS 34984 HAS SOUS 23461 HAS SOUPS 23461 WITH SCORE 23495.984
AT ITER 9562 NEW BEST:: SOT 188593 SOS 34955 HAS SOPS 34955 HAS SOUS 23432 HAS SOUPS 23432 WITH SCORE 23466.955
AT ITER 9634 NEW BEST:: SOT 188589 SOS 34951 HAS SOPS 34951 HAS SOUS 23430 HAS SOUPS 23430 WITH SCORE 23464.951
AT ITER 9636 NEW BEST:: SOT 188527 SOS 34843 HAS SOPS 34843 HAS SOUS 23370 HAS SOUPS 23370 WITH SCORE 23404.843
AT ITER 9647 NEW BEST:: SOT 188495 SOS 34967 HAS SOPS 34967 HAS SOUS 23347 HAS SOUPS 23347 WITH SCORE 23381.967
AT ITER 9678 NEW BEST:: SOT 188495 SOS 34967 HAS SOPS 34967 HAS SOUS 23316 HAS SOUPS 23316 WITH SCORE 23350.967
AT ITER 9742 NEW BEST:: SOT 188472 SOS 34929 HAS SOPS 34929 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23332.929
AT ITER 9747 NEW BEST:: SOT 188435 SOS 34884 HAS SOPS 34884 HAS SOUS 23281 HAS SOUPS 23281 WITH SCORE 23315.884
AT ITER 9755 NEW BEST:: SOT 188424 SOS 34862 HAS SOPS 34862 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23304.862
AT ITER 9781 NEW BEST:: SOT 188421 SOS 34859 HAS SOPS 34859 HAS SOUS 23264 HAS SOUPS 23264 WITH SCORE 23298.859
AT ITER 9809 NEW BEST:: SOT 188421 SOS 34877 HAS SOPS 34877 HAS SOUS 23203 HAS SOUPS 23203 WITH SCORE 23237.877
AT ITER 9846 NEW BEST:: SOT 188419 SOS 34873 HAS SOPS 34873 HAS SOUS 23199 HAS SOUPS 23199 WITH SCORE 23233.873
AT ITER 9855 NEW BEST:: SOT 188418 SOS 34871 HAS SOPS 34871 HAS SOUS 23197 HAS SOUPS 23197 WITH SCORE 23231.871
AT ITER 9864 NEW BEST:: SOT 188358 SOS 34791 HAS SOPS 34791 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23171.791
AT ITER 9934 NEW BEST:: SOT 188336 SOS 34768 HAS SOPS 34768 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23170.768
AT ITER 9976 NEW BEST:: SOT 188310 SOS 34716 HAS SOPS 34716 HAS SOUS 23110 HAS SOUPS 23110 WITH SCORE 23144.716
AT ITER 9980 NEW BEST:: SOT 188306 SOS 34708 HAS SOPS 34708 HAS SOUS 23102 HAS SOUPS 23102 WITH SCORE 23136.708

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-17"
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-17, 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-159033538400136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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