Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 548K
-rw-r--r-- 1 mcc users 6.0K Feb 26 05:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 05:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 05:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 05:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 05:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 05:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 05:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 05:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 90K Mar 5 18:23 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 1679185876059

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

Filename model.pnml
Petri model created: 376 places, 399 transitions, 909 arcs.
AT ITER 0 NEW BEST:: SOT 89540 SOS 21332 HAS SOPS 21332 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20892.332
AT ITER 4 NEW BEST:: SOT 89382 SOS 21907 HAS SOPS 21907 HAS SOUS 20752 HAS SOUPS 20752 WITH SCORE 20773.907
AT ITER 17 NEW BEST:: SOT 89399 SOS 21905 HAS SOPS 21905 HAS SOUS 20750 HAS SOUPS 20750 WITH SCORE 20771.905
AT ITER 18 NEW BEST:: SOT 89398 SOS 21904 HAS SOPS 21904 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20770.904
AT ITER 29 NEW BEST:: SOT 88491 SOS 22339 HAS SOPS 22339 HAS SOUS 19910 HAS SOUPS 19910 WITH SCORE 19932.339
AT ITER 58 NEW BEST:: SOT 88478 SOS 22326 HAS SOPS 22326 HAS SOUS 19886 HAS SOUPS 19886 WITH SCORE 19908.326
AT ITER 63 NEW BEST:: SOT 88136 SOS 23456 HAS SOPS 23456 HAS SOUS 19740 HAS SOUPS 19740 WITH SCORE 19763.456
AT ITER 66 NEW BEST:: SOT 87666 SOS 23038 HAS SOPS 23038 HAS SOUS 19295 HAS SOUPS 19295 WITH SCORE 19318.038
AT ITER 78 NEW BEST:: SOT 87644 SOS 23016 HAS SOPS 23016 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19296.016
AT ITER 80 NEW BEST:: SOT 87591 SOS 22963 HAS SOPS 22963 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19242.963
AT ITER 94 NEW BEST:: SOT 87616 SOS 23013 HAS SOPS 23013 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19241.013
AT ITER 102 NEW BEST:: SOT 87610 SOS 23001 HAS SOPS 23001 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19229.001
AT ITER 103 NEW BEST:: SOT 87570 SOS 22921 HAS SOPS 22921 HAS SOUS 19166 HAS SOUPS 19166 WITH SCORE 19188.921
AT ITER 121 NEW BEST:: SOT 87557 SOS 22895 HAS SOPS 22895 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19162.895
AT ITER 126 NEW BEST:: SOT 87560 SOS 22898 HAS SOPS 22898 HAS SOUS 19137 HAS SOUPS 19137 WITH SCORE 19159.898
AT ITER 134 NEW BEST:: SOT 87583 SOS 22896 HAS SOPS 22896 HAS SOUS 19136 HAS SOUPS 19136 WITH SCORE 19158.896
AT ITER 173 NEW BEST:: SOT 86286 SOS 22830 HAS SOPS 22830 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17841.83
AT ITER 223 NEW BEST:: SOT 86260 SOS 22778 HAS SOPS 22778 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17789.778
AT ITER 229 NEW BEST:: SOT 85970 SOS 22548 HAS SOPS 22548 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17522.548
AT ITER 238 NEW BEST:: SOT 85900 SOS 22408 HAS SOPS 22408 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17494.408
AT ITER 280 NEW BEST:: SOT 85097 SOS 23757 HAS SOPS 23757 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17002.757
AT ITER 284 NEW BEST:: SOT 85032 SOS 23627 HAS SOPS 23627 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16963.627
AT ITER 303 NEW BEST:: SOT 84596 SOS 23981 HAS SOPS 23981 HAS SOUS 16629 HAS SOUPS 16629 WITH SCORE 16652.981
AT ITER 307 NEW BEST:: SOT 84617 SOS 24023 HAS SOPS 24023 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16652.023
AT ITER 317 NEW BEST:: SOT 84600 SOS 23989 HAS SOPS 23989 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16617.989
AT ITER 318 NEW BEST:: SOT 84577 SOS 23943 HAS SOPS 23943 HAS SOUS 16548 HAS SOUPS 16548 WITH SCORE 16571.943
AT ITER 320 NEW BEST:: SOT 84511 SOS 23811 HAS SOPS 23811 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16510.811
AT ITER 324 NEW BEST:: SOT 84318 SOS 23577 HAS SOPS 23577 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16361.577
AT ITER 332 NEW BEST:: SOT 84274 SOS 23489 HAS SOPS 23489 HAS SOUS 16250 HAS SOUPS 16250 WITH SCORE 16273.489
AT ITER 356 NEW BEST:: SOT 84260 SOS 23461 HAS SOPS 23461 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16231.461
AT ITER 359 NEW BEST:: SOT 84236 SOS 23413 HAS SOPS 23413 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16183.413
AT ITER 367 NEW BEST:: SOT 84236 SOS 23413 HAS SOPS 23413 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16159.413
AT ITER 372 NEW BEST:: SOT 84226 SOS 23393 HAS SOPS 23393 HAS SOUS 16116 HAS SOUPS 16116 WITH SCORE 16139.393
AT ITER 374 NEW BEST:: SOT 84226 SOS 23393 HAS SOPS 23393 HAS SOUS 16075 HAS SOUPS 16075 WITH SCORE 16098.393
AT ITER 392 NEW BEST:: SOT 84127 SOS 23292 HAS SOPS 23292 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 15999.292
AT ITER 404 NEW BEST:: SOT 84033 SOS 23195 HAS SOPS 23195 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15887.195
AT ITER 410 NEW BEST:: SOT 83889 SOS 23051 HAS SOPS 23051 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15887.051
AT ITER 415 NEW BEST:: SOT 83889 SOS 22999 HAS SOPS 22999 HAS SOUS 15812 HAS SOUPS 15812 WITH SCORE 15834.999
AT ITER 416 NEW BEST:: SOT 83889 SOS 23006 HAS SOPS 23006 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15832.006
AT ITER 418 NEW BEST:: SOT 83885 SOS 23002 HAS SOPS 23002 HAS SOUS 15805 HAS SOUPS 15805 WITH SCORE 15828.002
AT ITER 432 NEW BEST:: SOT 83884 SOS 23000 HAS SOPS 23000 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15826.0
AT ITER 448 NEW BEST:: SOT 83879 SOS 22990 HAS SOPS 22990 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15815.99
AT ITER 453 NEW BEST:: SOT 83856 SOS 22990 HAS SOPS 22990 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15792.99
AT ITER 457 NEW BEST:: SOT 83856 SOS 22977 HAS SOPS 22977 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15779.977
AT ITER 460 NEW BEST:: SOT 83852 SOS 22973 HAS SOPS 22973 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15775.973
AT ITER 490 NEW BEST:: SOT 83846 SOS 22956 HAS SOPS 22956 HAS SOUS 15741 HAS SOUPS 15741 WITH SCORE 15763.956
AT ITER 499 NEW BEST:: SOT 83765 SOS 22711 HAS SOPS 22711 HAS SOUS 15577 HAS SOUPS 15577 WITH SCORE 15599.711
AT ITER 507 NEW BEST:: SOT 83763 SOS 22709 HAS SOPS 22709 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15597.709
AT ITER 512 NEW BEST:: SOT 83716 SOS 22585 HAS SOPS 22585 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15536.585
AT ITER 538 NEW BEST:: SOT 83607 SOS 22444 HAS SOPS 22444 HAS SOUS 15373 HAS SOUPS 15373 WITH SCORE 15395.444
AT ITER 546 NEW BEST:: SOT 83270 SOS 22791 HAS SOPS 22791 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15205.791
AT ITER 547 NEW BEST:: SOT 83241 SOS 22733 HAS SOPS 22733 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15176.733
AT ITER 561 NEW BEST:: SOT 83177 SOS 22605 HAS SOPS 22605 HAS SOUS 15090 HAS SOUPS 15090 WITH SCORE 15112.605
AT ITER 574 NEW BEST:: SOT 83161 SOS 22573 HAS SOPS 22573 HAS SOUS 15074 HAS SOUPS 15074 WITH SCORE 15096.573
AT ITER 579 NEW BEST:: SOT 83137 SOS 22525 HAS SOPS 22525 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15072.525
AT ITER 597 NEW BEST:: SOT 83076 SOS 23389 HAS SOPS 23389 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15070.389
AT ITER 616 NEW BEST:: SOT 82904 SOS 23172 HAS SOPS 23172 HAS SOUS 14911 HAS SOUPS 14911 WITH SCORE 14934.172
AT ITER 634 NEW BEST:: SOT 82903 SOS 23070 HAS SOPS 23070 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14925.07
AT ITER 637 NEW BEST:: SOT 82895 SOS 23054 HAS SOPS 23054 HAS SOUS 14894 HAS SOUPS 14894 WITH SCORE 14917.054
AT ITER 638 NEW BEST:: SOT 82938 SOS 23141 HAS SOPS 23141 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14905.141
AT ITER 651 NEW BEST:: SOT 82919 SOS 23103 HAS SOPS 23103 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14867.103
AT ITER 654 NEW BEST:: SOT 82733 SOS 24603 HAS SOPS 24603 HAS SOUS 14839 HAS SOUPS 14839 WITH SCORE 14863.603
AT ITER 658 NEW BEST:: SOT 82733 SOS 24591 HAS SOPS 24591 HAS SOUS 14822 HAS SOUPS 14822 WITH SCORE 14846.591
AT ITER 670 NEW BEST:: SOT 82733 SOS 24581 HAS SOPS 24581 HAS SOUS 14812 HAS SOUPS 14812 WITH SCORE 14836.581
AT ITER 675 NEW BEST:: SOT 82659 SOS 24507 HAS SOPS 24507 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14799.507
AT ITER 684 NEW BEST:: SOT 82672 SOS 24424 HAS SOPS 24424 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14753.424
AT ITER 704 NEW BEST:: SOT 82672 SOS 24421 HAS SOPS 24421 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14750.421
AT ITER 709 NEW BEST:: SOT 82644 SOS 24320 HAS SOPS 24320 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14692.32
AT ITER 719 NEW BEST:: SOT 82461 SOS 24133 HAS SOPS 24133 HAS SOUS 14583 HAS SOUPS 14583 WITH SCORE 14607.133
AT ITER 724 NEW BEST:: SOT 82396 SOS 24003 HAS SOPS 24003 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14497.003
AT ITER 729 NEW BEST:: SOT 82335 SOS 23798 HAS SOPS 23798 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14408.798
AT ITER 734 NEW BEST:: SOT 82331 SOS 23790 HAS SOPS 23790 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14353.79
AT ITER 740 NEW BEST:: SOT 82245 SOS 23618 HAS SOPS 23618 HAS SOUS 14306 HAS SOUPS 14306 WITH SCORE 14329.618
AT ITER 757 NEW BEST:: SOT 82164 SOS 23379 HAS SOPS 23379 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14165.379
AT ITER 758 NEW BEST:: SOT 82143 SOS 23337 HAS SOPS 23337 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14144.337
AT ITER 760 NEW BEST:: SOT 82132 SOS 23315 HAS SOPS 23315 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14122.315
AT ITER 761 NEW BEST:: SOT 82111 SOS 23294 HAS SOPS 23294 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14122.294
AT ITER 787 NEW BEST:: SOT 82111 SOS 23294 HAS SOPS 23294 HAS SOUS 14097 HAS SOUPS 14097 WITH SCORE 14120.294
AT ITER 788 NEW BEST:: SOT 82063 SOS 23270 HAS SOPS 23270 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14096.27
AT ITER 792 NEW BEST:: SOT 82049 SOS 23242 HAS SOPS 23242 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14082.242
AT ITER 805 NEW BEST:: SOT 82028 SOS 23176 HAS SOPS 23176 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14040.176
AT ITER 819 NEW BEST:: SOT 82025 SOS 23173 HAS SOPS 23173 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14037.173
AT ITER 830 NEW BEST:: SOT 82027 SOS 23130 HAS SOPS 23130 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14012.13
AT ITER 853 NEW BEST:: SOT 82019 SOS 23114 HAS SOPS 23114 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 13996.114
AT ITER 857 NEW BEST:: SOT 82043 SOS 23137 HAS SOPS 23137 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13995.137
AT ITER 899 NEW BEST:: SOT 82001 SOS 23095 HAS SOPS 23095 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13995.095
AT ITER 905 NEW BEST:: SOT 81988 SOS 23064 HAS SOPS 23064 HAS SOUS 13946 HAS SOUPS 13946 WITH SCORE 13969.064
AT ITER 923 NEW BEST:: SOT 81988 SOS 23064 HAS SOPS 23064 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13966.064
AT ITER 927 NEW BEST:: SOT 81985 SOS 23058 HAS SOPS 23058 HAS SOUS 13937 HAS SOUPS 13937 WITH SCORE 13960.058
AT ITER 933 NEW BEST:: SOT 81951 SOS 22994 HAS SOPS 22994 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13946.994
AT ITER 950 NEW BEST:: SOT 81890 SOS 22872 HAS SOPS 22872 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13907.872
AT ITER 979 NEW BEST:: SOT 81902 SOS 22884 HAS SOPS 22884 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13903.884
AT ITER 1000 NEW BEST:: SOT 81895 SOS 22862 HAS SOPS 22862 HAS SOUS 13875 HAS SOUPS 13875 WITH SCORE 13897.862
AT ITER 1001 NEW BEST:: SOT 81894 SOS 22860 HAS SOPS 22860 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13895.86
AT ITER 1015 NEW BEST:: SOT 81864 SOS 22818 HAS SOPS 22818 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13845.818
AT ITER 1029 NEW BEST:: SOT 81906 SOS 22860 HAS SOPS 22860 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13844.86
AT ITER 1031 NEW BEST:: SOT 81886 SOS 22840 HAS SOPS 22840 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13834.84
AT ITER 1039 NEW BEST:: SOT 81886 SOS 22817 HAS SOPS 22817 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13811.817
AT ITER 1049 NEW BEST:: SOT 81847 SOS 22793 HAS SOPS 22793 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13802.793
AT ITER 1053 NEW BEST:: SOT 81717 SOS 22662 HAS SOPS 22662 HAS SOUS 13683 HAS SOUPS 13683 WITH SCORE 13705.662
AT ITER 1074 NEW BEST:: SOT 81696 SOS 22620 HAS SOPS 22620 HAS SOUS 13652 HAS SOUPS 13652 WITH SCORE 13674.62
AT ITER 1079 NEW BEST:: SOT 81690 SOS 22609 HAS SOPS 22609 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13636.609
AT ITER 1086 NEW BEST:: SOT 81741 SOS 22587 HAS SOPS 22587 HAS SOUS 13592 HAS SOUPS 13592 WITH SCORE 13614.587
AT ITER 1120 NEW BEST:: SOT 81734 SOS 22251 HAS SOPS 22251 HAS SOUS 13562 HAS SOUPS 13562 WITH SCORE 13584.251
AT ITER 1144 NEW BEST:: SOT 81751 SOS 22268 HAS SOPS 22268 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13576.268
AT ITER 1158 NEW BEST:: SOT 81772 SOS 22266 HAS SOPS 22266 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13574.266
AT ITER 1159 NEW BEST:: SOT 81708 SOS 22202 HAS SOPS 22202 HAS SOUS 13520 HAS SOUPS 13520 WITH SCORE 13542.202
AT ITER 1166 NEW BEST:: SOT 81713 SOS 22191 HAS SOPS 22191 HAS SOUS 13509 HAS SOUPS 13509 WITH SCORE 13531.191
AT ITER 1184 NEW BEST:: SOT 81689 SOS 22091 HAS SOPS 22091 HAS SOUS 13424 HAS SOUPS 13424 WITH SCORE 13446.091
AT ITER 1198 NEW BEST:: SOT 81663 SOS 22049 HAS SOPS 22049 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13435.049
AT ITER 1212 NEW BEST:: SOT 81571 SOS 21865 HAS SOPS 21865 HAS SOUS 13373 HAS SOUPS 13373 WITH SCORE 13394.865
AT ITER 1238 NEW BEST:: SOT 81550 SOS 21823 HAS SOPS 21823 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13352.823
AT ITER 1241 NEW BEST:: SOT 81332 SOS 21387 HAS SOPS 21387 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13206.387
AT ITER 1249 NEW BEST:: SOT 81302 SOS 21380 HAS SOPS 21380 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13199.38
AT ITER 1255 NEW BEST:: SOT 81267 SOS 21310 HAS SOPS 21310 HAS SOUS 13105 HAS SOUPS 13105 WITH SCORE 13126.31
AT ITER 1264 NEW BEST:: SOT 81266 SOS 21306 HAS SOPS 21306 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13125.306
AT ITER 1268 NEW BEST:: SOT 81266 SOS 21297 HAS SOPS 21297 HAS SOUS 13095 HAS SOUPS 13095 WITH SCORE 13116.297
AT ITER 1272 NEW BEST:: SOT 81265 SOS 21294 HAS SOPS 21294 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13113.294
AT ITER 1281 NEW BEST:: SOT 81271 SOS 21263 HAS SOPS 21263 HAS SOUS 13061 HAS SOUPS 13061 WITH SCORE 13082.263
AT ITER 1287 NEW BEST:: SOT 81263 SOS 21255 HAS SOPS 21255 HAS SOUS 13053 HAS SOUPS 13053 WITH SCORE 13074.255
AT ITER 1304 NEW BEST:: SOT 81255 SOS 21234 HAS SOPS 21234 HAS SOUS 13035 HAS SOUPS 13035 WITH SCORE 13056.234
AT ITER 1348 NEW BEST:: SOT 81276 SOS 21237 HAS SOPS 21237 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13055.237
AT ITER 1373 NEW BEST:: SOT 81264 SOS 21231 HAS SOPS 21231 HAS SOUS 13025 HAS SOUPS 13025 WITH SCORE 13046.231
AT ITER 1377 NEW BEST:: SOT 81259 SOS 21226 HAS SOPS 21226 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13036.226
AT ITER 1382 NEW BEST:: SOT 81139 SOS 20986 HAS SOPS 20986 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12908.986
AT ITER 1398 NEW BEST:: SOT 81113 SOS 20934 HAS SOPS 20934 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12856.934
AT ITER 1405 NEW BEST:: SOT 81102 SOS 20923 HAS SOPS 20923 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12855.923
AT ITER 1411 NEW BEST:: SOT 81101 SOS 20922 HAS SOPS 20922 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12853.922
AT ITER 1421 NEW BEST:: SOT 81076 SOS 20897 HAS SOPS 20897 HAS SOUS 12808 HAS SOUPS 12808 WITH SCORE 12828.897
AT ITER 1448 NEW BEST:: SOT 81062 SOS 20153 HAS SOPS 20153 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12761.153
AT ITER 1463 NEW BEST:: SOT 80978 SOS 19985 HAS SOPS 19985 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12613.985
AT ITER 1491 NEW BEST:: SOT 80978 SOS 19985 HAS SOPS 19985 HAS SOUS 12585 HAS SOUPS 12585 WITH SCORE 12604.985
AT ITER 1510 NEW BEST:: SOT 80822 SOS 19746 HAS SOPS 19746 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12585.746
AT ITER 1511 NEW BEST:: SOT 80676 SOS 19583 HAS SOPS 19583 HAS SOUS 12420 HAS SOUPS 12420 WITH SCORE 12439.583
AT ITER 1513 NEW BEST:: SOT 80676 SOS 19579 HAS SOPS 19579 HAS SOUS 12420 HAS SOUPS 12420 WITH SCORE 12439.579
AT ITER 1526 NEW BEST:: SOT 80697 SOS 19495 HAS SOPS 19495 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12397.495
AT ITER 1536 NEW BEST:: SOT 80669 SOS 19467 HAS SOPS 19467 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12397.467
AT ITER 1539 NEW BEST:: SOT 80751 SOS 19549 HAS SOPS 19549 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12356.549
AT ITER 1563 NEW BEST:: SOT 80748 SOS 19546 HAS SOPS 19546 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12353.546
AT ITER 1565 NEW BEST:: SOT 80632 SOS 19415 HAS SOPS 19415 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12267.415
AT ITER 1590 NEW BEST:: SOT 80564 SOS 19347 HAS SOPS 19347 HAS SOUS 12215 HAS SOUPS 12215 WITH SCORE 12234.347
AT ITER 1597 NEW BEST:: SOT 80561 SOS 19338 HAS SOPS 19338 HAS SOUS 12209 HAS SOUPS 12209 WITH SCORE 12228.338
AT ITER 1616 NEW BEST:: SOT 80564 SOS 19324 HAS SOPS 19324 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12214.324
AT ITER 1637 NEW BEST:: SOT 80553 SOS 19313 HAS SOPS 19313 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12207.313
AT ITER 1644 NEW BEST:: SOT 80521 SOS 19207 HAS SOPS 19207 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12147.207
AT ITER 1651 NEW BEST:: SOT 80632 SOS 18570 HAS SOPS 18570 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12145.57
AT ITER 1657 NEW BEST:: SOT 80613 SOS 18553 HAS SOPS 18553 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12120.553
AT ITER 1687 NEW BEST:: SOT 80614 SOS 18468 HAS SOPS 18468 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12098.468
AT ITER 1714 NEW BEST:: SOT 80607 SOS 18461 HAS SOPS 18461 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12091.461
AT ITER 1717 NEW BEST:: SOT 80603 SOS 18448 HAS SOPS 18448 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12083.448
AT ITER 1746 NEW BEST:: SOT 80600 SOS 18442 HAS SOPS 18442 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12077.442
AT ITER 1785 NEW BEST:: SOT 80593 SOS 18428 HAS SOPS 18428 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12070.428
AT ITER 1825 NEW BEST:: SOT 80591 SOS 18426 HAS SOPS 18426 HAS SOUS 12051 HAS SOUPS 12051 WITH SCORE 12069.426
AT ITER 1855 NEW BEST:: SOT 80550 SOS 18371 HAS SOPS 18371 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12028.371
AT ITER 1859 NEW BEST:: SOT 80550 SOS 18355 HAS SOPS 18355 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12012.355
AT ITER 1861 NEW BEST:: SOT 80546 SOS 18351 HAS SOPS 18351 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12008.351
AT ITER 1879 NEW BEST:: SOT 80505 SOS 18563 HAS SOPS 18563 HAS SOUS 11963 HAS SOUPS 11963 WITH SCORE 11981.563
AT ITER 1883 NEW BEST:: SOT 80500 SOS 18554 HAS SOPS 18554 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11972.554
AT ITER 1884 NEW BEST:: SOT 80495 SOS 18549 HAS SOPS 18549 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11972.549
AT ITER 1887 NEW BEST:: SOT 80495 SOS 18533 HAS SOPS 18533 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11956.533
AT ITER 1909 NEW BEST:: SOT 80485 SOS 18513 HAS SOPS 18513 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11936.513
AT ITER 1935 NEW BEST:: SOT 80447 SOS 18475 HAS SOPS 18475 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11860.475
AT ITER 1938 NEW BEST:: SOT 80455 SOS 18491 HAS SOPS 18491 HAS SOUS 11821 HAS SOUPS 11821 WITH SCORE 11839.491
AT ITER 1978 NEW BEST:: SOT 80419 SOS 18584 HAS SOPS 18584 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11803.584
AT ITER 1996 NEW BEST:: SOT 80419 SOS 18584 HAS SOPS 18584 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11800.584
AT ITER 2001 NEW BEST:: SOT 80433 SOS 18612 HAS SOPS 18612 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11765.612
AT ITER 2004 NEW BEST:: SOT 80411 SOS 18586 HAS SOPS 18586 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11763.586
AT ITER 2042 NEW BEST:: SOT 80381 SOS 18526 HAS SOPS 18526 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11726.526
AT ITER 2055 NEW BEST:: SOT 80369 SOS 18532 HAS SOPS 18532 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11703.532
AT ITER 2057 NEW BEST:: SOT 80362 SOS 18521 HAS SOPS 18521 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11662.521
AT ITER 2065 NEW BEST:: SOT 80362 SOS 18519 HAS SOPS 18519 HAS SOUS 11643 HAS SOUPS 11643 WITH SCORE 11661.519
AT ITER 2069 NEW BEST:: SOT 80359 SOS 18499 HAS SOPS 18499 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11644.499
AT ITER 2076 NEW BEST:: SOT 80336 SOS 18455 HAS SOPS 18455 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11621.455
AT ITER 2085 NEW BEST:: SOT 80286 SOS 18405 HAS SOPS 18405 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11571.405
AT ITER 2093 NEW BEST:: SOT 80242 SOS 18326 HAS SOPS 18326 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11498.326
AT ITER 2174 NEW BEST:: SOT 80234 SOS 18310 HAS SOPS 18310 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11492.31
AT ITER 2196 NEW BEST:: SOT 80282 SOS 18133 HAS SOPS 18133 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11449.133
AT ITER 2204 NEW BEST:: SOT 80261 SOS 18091 HAS SOPS 18091 HAS SOUS 11431 HAS SOUPS 11431 WITH SCORE 11449.091
AT ITER 2228 NEW BEST:: SOT 80261 SOS 18079 HAS SOPS 18079 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11437.079
AT ITER 2231 NEW BEST:: SOT 80249 SOS 18055 HAS SOPS 18055 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11425.055
AT ITER 2273 NEW BEST:: SOT 80215 SOS 18021 HAS SOPS 18021 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11391.021
AT ITER 2276 NEW BEST:: SOT 80155 SOS 17964 HAS SOPS 17964 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11359.964
AT ITER 2366 NEW BEST:: SOT 80148 SOS 17959 HAS SOPS 17959 HAS SOUS 11335 HAS SOUPS 11335 WITH SCORE 11352.959
AT ITER 2391 NEW BEST:: SOT 80100 SOS 17903 HAS SOPS 17903 HAS SOUS 11312 HAS SOUPS 11312 WITH SCORE 11329.903
AT ITER 2422 NEW BEST:: SOT 80046 SOS 17861 HAS SOPS 17861 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11320.861
AT ITER 2427 NEW BEST:: SOT 80047 SOS 17863 HAS SOPS 17863 HAS SOUS 11300 HAS SOUPS 11300 WITH SCORE 11317.863
AT ITER 2466 NEW BEST:: SOT 80050 SOS 17856 HAS SOPS 17856 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11310.856
AT ITER 2496 NEW BEST:: SOT 80025 SOS 17789 HAS SOPS 17789 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11243.789
AT ITER 2511 NEW BEST:: SOT 80036 SOS 17763 HAS SOPS 17763 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11217.763
AT ITER 2513 NEW BEST:: SOT 80027 SOS 17759 HAS SOPS 17759 HAS SOUS 11189 HAS SOUPS 11189 WITH SCORE 11206.759
AT ITER 2536 NEW BEST:: SOT 80027 SOS 17758 HAS SOPS 17758 HAS SOUS 11188 HAS SOUPS 11188 WITH SCORE 11205.758
AT ITER 2559 NEW BEST:: SOT 80024 SOS 17768 HAS SOPS 17768 HAS SOUS 11187 HAS SOUPS 11187 WITH SCORE 11204.768
AT ITER 2569 NEW BEST:: SOT 80020 SOS 17756 HAS SOPS 17756 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11195.756
AT ITER 2609 NEW BEST:: SOT 80014 SOS 17744 HAS SOPS 17744 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11183.744
AT ITER 2615 NEW BEST:: SOT 80005 SOS 17713 HAS SOPS 17713 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11161.713
AT ITER 2628 NEW BEST:: SOT 80005 SOS 17702 HAS SOPS 17702 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11150.702
AT ITER 2630 NEW BEST:: SOT 80028 SOS 17813 HAS SOPS 17813 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11136.813
AT ITER 2631 NEW BEST:: SOT 80005 SOS 17790 HAS SOPS 17790 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11113.79
AT ITER 2642 NEW BEST:: SOT 80077 SOS 17703 HAS SOPS 17703 HAS SOUS 11081 HAS SOUPS 11081 WITH SCORE 11098.703
AT ITER 2679 NEW BEST:: SOT 80077 SOS 17663 HAS SOPS 17663 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11078.663
AT ITER 2736 NEW BEST:: SOT 80036 SOS 17581 HAS SOPS 17581 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11037.581
AT ITER 2766 NEW BEST:: SOT 80036 SOS 17559 HAS SOPS 17559 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11037.559
AT ITER 2772 NEW BEST:: SOT 80023 SOS 17533 HAS SOPS 17533 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11024.533
AT ITER 2782 NEW BEST:: SOT 80028 SOS 17531 HAS SOPS 17531 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11022.531
AT ITER 2856 NEW BEST:: SOT 80028 SOS 17531 HAS SOPS 17531 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10970.531
AT ITER 2863 NEW BEST:: SOT 80048 SOS 17551 HAS SOPS 17551 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10963.551
AT ITER 2864 NEW BEST:: SOT 80048 SOS 17532 HAS SOPS 17532 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10963.532
AT ITER 2867 NEW BEST:: SOT 80031 SOS 17515 HAS SOPS 17515 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10946.515
AT ITER 2869 NEW BEST:: SOT 80031 SOS 17510 HAS SOPS 17510 HAS SOUS 10924 HAS SOUPS 10924 WITH SCORE 10941.51
AT ITER 2877 NEW BEST:: SOT 80014 SOS 17493 HAS SOPS 17493 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10924.493
AT ITER 2924 NEW BEST:: SOT 80014 SOS 17578 HAS SOPS 17578 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10923.578
AT ITER 2937 NEW BEST:: SOT 79986 SOS 17550 HAS SOPS 17550 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10895.55
AT ITER 2952 NEW BEST:: SOT 79964 SOS 17515 HAS SOPS 17515 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10883.515
AT ITER 2977 NEW BEST:: SOT 79866 SOS 17440 HAS SOPS 17440 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10808.44
AT ITER 2980 NEW BEST:: SOT 79858 SOS 17432 HAS SOPS 17432 HAS SOUS 10783 HAS SOUPS 10783 WITH SCORE 10800.432
AT ITER 2983 NEW BEST:: SOT 79866 SOS 17240 HAS SOPS 17240 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10792.24
AT ITER 3010 NEW BEST:: SOT 79844 SOS 17196 HAS SOPS 17196 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10758.196
AT ITER 3015 NEW BEST:: SOT 79855 SOS 17169 HAS SOPS 17169 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10731.169
AT ITER 3043 NEW BEST:: SOT 79848 SOS 17155 HAS SOPS 17155 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10690.155
AT ITER 3057 NEW BEST:: SOT 79817 SOS 17016 HAS SOPS 17016 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10627.016
AT ITER 3118 NEW BEST:: SOT 79817 SOS 17010 HAS SOPS 17010 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10623.01
AT ITER 3167 NEW BEST:: SOT 79861 SOS 17043 HAS SOPS 17043 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10620.043
AT ITER 3173 NEW BEST:: SOT 79860 SOS 17041 HAS SOPS 17041 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10618.041
AT ITER 3175 NEW BEST:: SOT 79860 SOS 17041 HAS SOPS 17041 HAS SOUS 10597 HAS SOUPS 10597 WITH SCORE 10614.041
AT ITER 3188 NEW BEST:: SOT 79860 SOS 17041 HAS SOPS 17041 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10610.041
AT ITER 3204 NEW BEST:: SOT 79900 SOS 17118 HAS SOPS 17118 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10603.118
AT ITER 3225 NEW BEST:: SOT 79909 SOS 17136 HAS SOPS 17136 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10598.136
AT ITER 3226 NEW BEST:: SOT 79909 SOS 17067 HAS SOPS 17067 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10592.067
AT ITER 3245 NEW BEST:: SOT 79908 SOS 17103 HAS SOPS 17103 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10591.103
AT ITER 3252 NEW BEST:: SOT 79889 SOS 17084 HAS SOPS 17084 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10586.084
AT ITER 3260 NEW BEST:: SOT 79885 SOS 17018 HAS SOPS 17018 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10580.018
AT ITER 3276 NEW BEST:: SOT 79890 SOS 16953 HAS SOPS 16953 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10559.953
AT ITER 3280 NEW BEST:: SOT 79837 SOS 16847 HAS SOPS 16847 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10506.847
AT ITER 3301 NEW BEST:: SOT 79833 SOS 16839 HAS SOPS 16839 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10498.839
AT ITER 3310 NEW BEST:: SOT 79810 SOS 16827 HAS SOPS 16827 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10486.827
AT ITER 3321 NEW BEST:: SOT 79790 SOS 16799 HAS SOPS 16799 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10470.799
AT ITER 3339 NEW BEST:: SOT 79790 SOS 16785 HAS SOPS 16785 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10456.785
AT ITER 3341 NEW BEST:: SOT 79787 SOS 16779 HAS SOPS 16779 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10450.779
AT ITER 3367 NEW BEST:: SOT 79792 SOS 16759 HAS SOPS 16759 HAS SOUS 10414 HAS SOUPS 10414 WITH SCORE 10430.759
AT ITER 3430 NEW BEST:: SOT 79792 SOS 16756 HAS SOPS 16756 HAS SOUS 10414 HAS SOUPS 10414 WITH SCORE 10430.756
AT ITER 3433 NEW BEST:: SOT 79765 SOS 16702 HAS SOPS 16702 HAS SOUS 10411 HAS SOUPS 10411 WITH SCORE 10427.702
AT ITER 3456 NEW BEST:: SOT 79716 SOS 17033 HAS SOPS 17033 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10384.033
AT ITER 3463 NEW BEST:: SOT 79698 SOS 17020 HAS SOPS 17020 HAS SOUS 10354 HAS SOUPS 10354 WITH SCORE 10371.02
AT ITER 3464 NEW BEST:: SOT 79661 SOS 16946 HAS SOPS 16946 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10341.946
AT ITER 3465 NEW BEST:: SOT 79653 SOS 16938 HAS SOPS 16938 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10333.938
AT ITER 3469 NEW BEST:: SOT 79652 SOS 16937 HAS SOPS 16937 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10333.937
AT ITER 3498 NEW BEST:: SOT 79664 SOS 16929 HAS SOPS 16929 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10325.929
AT ITER 3540 NEW BEST:: SOT 79651 SOS 16916 HAS SOPS 16916 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10325.916
AT ITER 3544 NEW BEST:: SOT 79636 SOS 16901 HAS SOPS 16901 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10294.901
AT ITER 3554 NEW BEST:: SOT 79647 SOS 16891 HAS SOPS 16891 HAS SOUS 10248 HAS SOUPS 10248 WITH SCORE 10264.891
AT ITER 3563 NEW BEST:: SOT 79658 SOS 16889 HAS SOPS 16889 HAS SOUS 10242 HAS SOUPS 10242 WITH SCORE 10258.889
AT ITER 3569 NEW BEST:: SOT 79632 SOS 16837 HAS SOPS 16837 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10232.837
AT ITER 3613 NEW BEST:: SOT 79552 SOS 16757 HAS SOPS 16757 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10223.757
AT ITER 3652 NEW BEST:: SOT 79550 SOS 16753 HAS SOPS 16753 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10219.753
AT ITER 3654 NEW BEST:: SOT 79550 SOS 16719 HAS SOPS 16719 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10196.719
AT ITER 3681 NEW BEST:: SOT 79576 SOS 16691 HAS SOPS 16691 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10182.691
AT ITER 3695 NEW BEST:: SOT 79566 SOS 16671 HAS SOPS 16671 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10162.671
AT ITER 3719 NEW BEST:: SOT 79547 SOS 16633 HAS SOPS 16633 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10158.633
AT ITER 3733 NEW BEST:: SOT 79547 SOS 16621 HAS SOPS 16621 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10157.621
AT ITER 3744 NEW BEST:: SOT 79534 SOS 16595 HAS SOPS 16595 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10152.595
AT ITER 3747 NEW BEST:: SOT 79533 SOS 16594 HAS SOPS 16594 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10150.594
AT ITER 3754 NEW BEST:: SOT 79521 SOS 16558 HAS SOPS 16558 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10138.558
AT ITER 3759 NEW BEST:: SOT 79512 SOS 16540 HAS SOPS 16540 HAS SOUS 10113 HAS SOUPS 10113 WITH SCORE 10129.54
AT ITER 3761 NEW BEST:: SOT 79510 SOS 16536 HAS SOPS 16536 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10127.536
AT ITER 3771 NEW BEST:: SOT 79505 SOS 16526 HAS SOPS 16526 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10117.526
AT ITER 3772 NEW BEST:: SOT 79505 SOS 16526 HAS SOPS 16526 HAS SOUS 10093 HAS SOUPS 10093 WITH SCORE 10109.526
AT ITER 3799 NEW BEST:: SOT 79499 SOS 16514 HAS SOPS 16514 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10098.514
AT ITER 3831 NEW BEST:: SOT 79501 SOS 16516 HAS SOPS 16516 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10097.516
AT ITER 3845 NEW BEST:: SOT 79483 SOS 16509 HAS SOPS 16509 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10079.509
AT ITER 3937 NEW BEST:: SOT 79484 SOS 16506 HAS SOPS 16506 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10076.506
AT ITER 3955 NEW BEST:: SOT 79483 SOS 16505 HAS SOPS 16505 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10074.505
AT ITER 3957 NEW BEST:: SOT 79483 SOS 16505 HAS SOPS 16505 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10063.505
AT ITER 3973 NEW BEST:: SOT 79467 SOS 16504 HAS SOPS 16504 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10062.504
AT ITER 3980 NEW BEST:: SOT 79464 SOS 16498 HAS SOPS 16498 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10056.498
AT ITER 3990 NEW BEST:: SOT 79459 SOS 16498 HAS SOPS 16498 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10046.498
AT ITER 3999 NEW BEST:: SOT 79430 SOS 16479 HAS SOPS 16479 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10029.479
AT ITER 4037 NEW BEST:: SOT 79441 SOS 16501 HAS SOPS 16501 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10010.501
AT ITER 4047 NEW BEST:: SOT 79429 SOS 16492 HAS SOPS 16492 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 10001.492
AT ITER 4092 NEW BEST:: SOT 79428 SOS 16490 HAS SOPS 16490 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10000.49
AT ITER 4108 NEW BEST:: SOT 79415 SOS 16477 HAS SOPS 16477 HAS SOUS 9971 HAS SOUPS 9971 WITH SCORE 9987.477
AT ITER 4125 NEW BEST:: SOT 79415 SOS 16477 HAS SOPS 16477 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9951.477
AT ITER 4138 NEW BEST:: SOT 79429 SOS 16475 HAS SOPS 16475 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9949.475
AT ITER 4176 NEW BEST:: SOT 79410 SOS 16456 HAS SOPS 16456 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9936.456
AT ITER 4185 NEW BEST:: SOT 79410 SOS 16456 HAS SOPS 16456 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9934.456
AT ITER 4187 NEW BEST:: SOT 79410 SOS 16442 HAS SOPS 16442 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9933.442
AT ITER 4189 NEW BEST:: SOT 79404 SOS 16430 HAS SOPS 16430 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9924.43
AT ITER 4207 NEW BEST:: SOT 79431 SOS 16339 HAS SOPS 16339 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9914.339
AT ITER 4208 NEW BEST:: SOT 79425 SOS 16333 HAS SOPS 16333 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9908.333
AT ITER 4262 NEW BEST:: SOT 79413 SOS 16338 HAS SOPS 16338 HAS SOUS 9889 HAS SOUPS 9889 WITH SCORE 9905.338
AT ITER 4276 NEW BEST:: SOT 79372 SOS 16266 HAS SOPS 16266 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9889.266
AT ITER 4288 NEW BEST:: SOT 79372 SOS 16266 HAS SOPS 16266 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9886.266
AT ITER 4298 NEW BEST:: SOT 79372 SOS 16266 HAS SOPS 16266 HAS SOUS 9858 HAS SOUPS 9858 WITH SCORE 9874.266
AT ITER 4325 NEW BEST:: SOT 79355 SOS 16266 HAS SOPS 16266 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9844.266
AT ITER 4330 NEW BEST:: SOT 79353 SOS 16264 HAS SOPS 16264 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9840.264
AT ITER 4350 NEW BEST:: SOT 79337 SOS 16232 HAS SOPS 16232 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 9808.232
AT ITER 4376 NEW BEST:: SOT 79335 SOS 16201 HAS SOPS 16201 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9782.201
AT ITER 4378 NEW BEST:: SOT 79366 SOS 16232 HAS SOPS 16232 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9779.232
AT ITER 4384 NEW BEST:: SOT 79340 SOS 16253 HAS SOPS 16253 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9769.253
AT ITER 4406 NEW BEST:: SOT 79342 SOS 16249 HAS SOPS 16249 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9765.249
AT ITER 4448 NEW BEST:: SOT 79339 SOS 16246 HAS SOPS 16246 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9757.246
AT ITER 4472 NEW BEST:: SOT 79337 SOS 16244 HAS SOPS 16244 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9752.244
AT ITER 4493 NEW BEST:: SOT 79334 SOS 16241 HAS SOPS 16241 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9749.241
AT ITER 4505 NEW BEST:: SOT 79331 SOS 16224 HAS SOPS 16224 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9732.224
AT ITER 4577 NEW BEST:: SOT 79329 SOS 16222 HAS SOPS 16222 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9730.222
AT ITER 4595 NEW BEST:: SOT 79326 SOS 16219 HAS SOPS 16219 HAS SOUS 9708 HAS SOUPS 9708 WITH SCORE 9724.219
AT ITER 4615 NEW BEST:: SOT 79318 SOS 16329 HAS SOPS 16329 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9716.329
AT ITER 4625 NEW BEST:: SOT 79313 SOS 16319 HAS SOPS 16319 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9706.319
AT ITER 4635 NEW BEST:: SOT 79241 SOS 16247 HAS SOPS 16247 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9655.247
AT ITER 4644 NEW BEST:: SOT 79239 SOS 16279 HAS SOPS 16279 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9654.279
AT ITER 4662 NEW BEST:: SOT 79237 SOS 16275 HAS SOPS 16275 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9650.275
AT ITER 4663 NEW BEST:: SOT 79215 SOS 16247 HAS SOPS 16247 HAS SOUS 9622 HAS SOUPS 9622 WITH SCORE 9638.247
AT ITER 4699 NEW BEST:: SOT 79215 SOS 16247 HAS SOPS 16247 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9617.247
AT ITER 4825 NEW BEST:: SOT 79167 SOS 16189 HAS SOPS 16189 HAS SOUS 9578 HAS SOUPS 9578 WITH SCORE 9594.189
AT ITER 4853 NEW BEST:: SOT 79159 SOS 16173 HAS SOPS 16173 HAS SOUS 9562 HAS SOUPS 9562 WITH SCORE 9578.173
AT ITER 4904 NEW BEST:: SOT 79140 SOS 16171 HAS SOPS 16171 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9576.171
AT ITER 4916 NEW BEST:: SOT 79139 SOS 15949 HAS SOPS 15949 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9557.949
AT ITER 5056 NEW BEST:: SOT 79124 SOS 15932 HAS SOPS 15932 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9542.932
AT ITER 5089 NEW BEST:: SOT 79119 SOS 15950 HAS SOPS 15950 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9532.95
AT ITER 5141 NEW BEST:: SOT 79107 SOS 15926 HAS SOPS 15926 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9496.926
AT ITER 5145 NEW BEST:: SOT 79106 SOS 15924 HAS SOPS 15924 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9494.924
AT ITER 5224 NEW BEST:: SOT 79106 SOS 15924 HAS SOPS 15924 HAS SOUS 9476 HAS SOUPS 9476 WITH SCORE 9491.924
AT ITER 5254 NEW BEST:: SOT 79097 SOS 15915 HAS SOPS 15915 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9482.915
AT ITER 5297 NEW BEST:: SOT 79095 SOS 15912 HAS SOPS 15912 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9479.912
AT ITER 5307 NEW BEST:: SOT 79095 SOS 15907 HAS SOPS 15907 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9474.907
AT ITER 5339 NEW BEST:: SOT 79087 SOS 15891 HAS SOPS 15891 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9450.891
AT ITER 5349 NEW BEST:: SOT 79087 SOS 15869 HAS SOPS 15869 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9450.869
AT ITER 5358 NEW BEST:: SOT 79063 SOS 15821 HAS SOPS 15821 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9402.821
AT ITER 5424 NEW BEST:: SOT 79060 SOS 15815 HAS SOPS 15815 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9399.815
AT ITER 5471 NEW BEST:: SOT 79041 SOS 15777 HAS SOPS 15777 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9380.777
AT ITER 5472 NEW BEST:: SOT 79049 SOS 15785 HAS SOPS 15785 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9374.785
AT ITER 5525 NEW BEST:: SOT 79053 SOS 15793 HAS SOPS 15793 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9372.793
AT ITER 5606 NEW BEST:: SOT 79048 SOS 15797 HAS SOPS 15797 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9370.797
AT ITER 5614 NEW BEST:: SOT 79049 SOS 15796 HAS SOPS 15796 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9369.796
AT ITER 5647 NEW BEST:: SOT 79035 SOS 15782 HAS SOPS 15782 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9369.782
AT ITER 5654 NEW BEST:: SOT 79035 SOS 15782 HAS SOPS 15782 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9366.782
AT ITER 5710 NEW BEST:: SOT 79022 SOS 15778 HAS SOPS 15778 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9362.778
AT ITER 5758 NEW BEST:: SOT 79002 SOS 15761 HAS SOPS 15761 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9345.761
AT ITER 5763 NEW BEST:: SOT 79003 SOS 15751 HAS SOPS 15751 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9335.751
AT ITER 5796 NEW BEST:: SOT 79011 SOS 15749 HAS SOPS 15749 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9333.749
AT ITER 5810 NEW BEST:: SOT 79009 SOS 15749 HAS SOPS 15749 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9329.749
AT ITER 5815 NEW BEST:: SOT 79008 SOS 15747 HAS SOPS 15747 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9327.747
AT ITER 5846 NEW BEST:: SOT 78957 SOS 15696 HAS SOPS 15696 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9295.696
AT ITER 5865 NEW BEST:: SOT 78889 SOS 15661 HAS SOPS 15661 HAS SOUS 9264 HAS SOUPS 9264 WITH SCORE 9279.661
AT ITER 5928 NEW BEST:: SOT 78888 SOS 15659 HAS SOPS 15659 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9277.659
AT ITER 5932 NEW BEST:: SOT 78871 SOS 15625 HAS SOPS 15625 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9260.625
AT ITER 6110 NEW BEST:: SOT 78868 SOS 15617 HAS SOPS 15617 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9252.617
AT ITER 6122 NEW BEST:: SOT 78840 SOS 15608 HAS SOPS 15608 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9242.608
AT ITER 6201 NEW BEST:: SOT 78850 SOS 15554 HAS SOPS 15554 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9228.554
AT ITER 6206 NEW BEST:: SOT 78840 SOS 15409 HAS SOPS 15409 HAS SOUS 9193 HAS SOUPS 9193 WITH SCORE 9208.409
AT ITER 6216 NEW BEST:: SOT 78840 SOS 15297 HAS SOPS 15297 HAS SOUS 9185 HAS SOUPS 9185 WITH SCORE 9200.297
AT ITER 6260 NEW BEST:: SOT 78839 SOS 15296 HAS SOPS 15296 HAS SOUS 9182 HAS SOUPS 9182 WITH SCORE 9197.296
AT ITER 6273 NEW BEST:: SOT 78829 SOS 15288 HAS SOPS 15288 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9185.288
AT ITER 6298 NEW BEST:: SOT 78807 SOS 15404 HAS SOPS 15404 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9163.404
AT ITER 6326 NEW BEST:: SOT 78806 SOS 15402 HAS SOPS 15402 HAS SOUS 9146 HAS SOUPS 9146 WITH SCORE 9161.402
AT ITER 6337 NEW BEST:: SOT 78807 SOS 15398 HAS SOPS 15398 HAS SOUS 9142 HAS SOUPS 9142 WITH SCORE 9157.398
AT ITER 6485 NEW BEST:: SOT 78801 SOS 15428 HAS SOPS 15428 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9151.428
AT ITER 6516 NEW BEST:: SOT 78775 SOS 15405 HAS SOPS 15405 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9090.405
AT ITER 6588 NEW BEST:: SOT 78775 SOS 15405 HAS SOPS 15405 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9089.405
AT ITER 6603 NEW BEST:: SOT 78763 SOS 15381 HAS SOPS 15381 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9065.381
AT ITER 6617 NEW BEST:: SOT 78766 SOS 15384 HAS SOPS 15384 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9063.384
AT ITER 6680 NEW BEST:: SOT 78736 SOS 15354 HAS SOPS 15354 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9033.354
AT ITER 6686 NEW BEST:: SOT 78725 SOS 15343 HAS SOPS 15343 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9022.343
AT ITER 6702 NEW BEST:: SOT 78731 SOS 15352 HAS SOPS 15352 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 8999.352
AT ITER 6714 NEW BEST:: SOT 78729 SOS 15350 HAS SOPS 15350 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8997.35
AT ITER 6744 NEW BEST:: SOT 78721 SOS 15347 HAS SOPS 15347 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 8994.347
AT ITER 6755 NEW BEST:: SOT 78713 SOS 15339 HAS SOPS 15339 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8986.339
AT ITER 6830 NEW BEST:: SOT 78713 SOS 15339 HAS SOPS 15339 HAS SOUS 8970 HAS SOUPS 8970 WITH SCORE 8985.339
AT ITER 6851 NEW BEST:: SOT 78703 SOS 15319 HAS SOPS 15319 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8965.319
AT ITER 6945 NEW BEST:: SOT 78704 SOS 15321 HAS SOPS 15321 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8964.321
AT ITER 6957 NEW BEST:: SOT 78704 SOS 15321 HAS SOPS 15321 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8962.321
AT ITER 6986 NEW BEST:: SOT 78702 SOS 15317 HAS SOPS 15317 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8947.317
AT ITER 6995 NEW BEST:: SOT 78702 SOS 15316 HAS SOPS 15316 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8947.316
AT ITER 7015 NEW BEST:: SOT 78674 SOS 15288 HAS SOPS 15288 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8919.288
AT ITER 7022 NEW BEST:: SOT 78615 SOS 15833 HAS SOPS 15833 HAS SOUS 8877 HAS SOUPS 8877 WITH SCORE 8892.833
AT ITER 7065 NEW BEST:: SOT 78613 SOS 15831 HAS SOPS 15831 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8890.831
AT ITER 7106 NEW BEST:: SOT 78612 SOS 15830 HAS SOPS 15830 HAS SOUS 8874 HAS SOUPS 8874 WITH SCORE 8889.83
AT ITER 7143 NEW BEST:: SOT 78611 SOS 15798 HAS SOPS 15798 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8888.798
AT ITER 7145 NEW BEST:: SOT 78611 SOS 15791 HAS SOPS 15791 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8882.791
AT ITER 7160 NEW BEST:: SOT 78616 SOS 15790 HAS SOPS 15790 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8881.79
AT ITER 7275 NEW BEST:: SOT 78616 SOS 15790 HAS SOPS 15790 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8873.79
AT ITER 7337 NEW BEST:: SOT 78620 SOS 15794 HAS SOPS 15794 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8870.794
AT ITER 7347 NEW BEST:: SOT 78623 SOS 15793 HAS SOPS 15793 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8869.793
AT ITER 7364 NEW BEST:: SOT 78625 SOS 15791 HAS SOPS 15791 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8867.791
AT ITER 7371 NEW BEST:: SOT 78584 SOS 15710 HAS SOPS 15710 HAS SOUS 8829 HAS SOUPS 8829 WITH SCORE 8844.71
AT ITER 7376 NEW BEST:: SOT 78582 SOS 15749 HAS SOPS 15749 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8841.749
AT ITER 7431 NEW BEST:: SOT 78563 SOS 15730 HAS SOPS 15730 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8822.73
AT ITER 7451 NEW BEST:: SOT 78559 SOS 15722 HAS SOPS 15722 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8822.722
AT ITER 7575 NEW BEST:: SOT 78548 SOS 15693 HAS SOPS 15693 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8799.693
AT ITER 7601 NEW BEST:: SOT 78533 SOS 15669 HAS SOPS 15669 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8778.669
AT ITER 7602 NEW BEST:: SOT 78515 SOS 15642 HAS SOPS 15642 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8751.642
AT ITER 7722 NEW BEST:: SOT 78515 SOS 15637 HAS SOPS 15637 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8746.637
AT ITER 7727 NEW BEST:: SOT 78513 SOS 15603 HAS SOPS 15603 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8742.603
AT ITER 7837 NEW BEST:: SOT 78512 SOS 15601 HAS SOPS 15601 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8740.601
AT ITER 7857 NEW BEST:: SOT 78453 SOS 15554 HAS SOPS 15554 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8727.554
AT ITER 7882 NEW BEST:: SOT 78453 SOS 15400 HAS SOPS 15400 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8716.4
AT ITER 7950 NEW BEST:: SOT 78449 SOS 15396 HAS SOPS 15396 HAS SOUS 8693 HAS SOUPS 8693 WITH SCORE 8708.396
AT ITER 8015 NEW BEST:: SOT 78431 SOS 15385 HAS SOPS 15385 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8697.385
AT ITER 8063 NEW BEST:: SOT 78431 SOS 15385 HAS SOPS 15385 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8675.385
AT ITER 8075 NEW BEST:: SOT 78437 SOS 15397 HAS SOPS 15397 HAS SOUS 8657 HAS SOUPS 8657 WITH SCORE 8672.397
AT ITER 8174 NEW BEST:: SOT 78445 SOS 15389 HAS SOPS 15389 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8664.389
AT ITER 8212 NEW BEST:: SOT 78387 SOS 15713 HAS SOPS 15713 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8626.713
AT ITER 8227 NEW BEST:: SOT 78386 SOS 15712 HAS SOPS 15712 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8626.712
AT ITER 8255 NEW BEST:: SOT 78386 SOS 15711 HAS SOPS 15711 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8626.711
AT ITER 8347 NEW BEST:: SOT 78376 SOS 15681 HAS SOPS 15681 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8606.681
AT ITER 8368 NEW BEST:: SOT 78374 SOS 15657 HAS SOPS 15657 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8582.657
AT ITER 8375 NEW BEST:: SOT 78373 SOS 15655 HAS SOPS 15655 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8581.655
AT ITER 8429 NEW BEST:: SOT 78372 SOS 15649 HAS SOPS 15649 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8575.649
AT ITER 8444 NEW BEST:: SOT 78374 SOS 15639 HAS SOPS 15639 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8565.639
AT ITER 8518 NEW BEST:: SOT 78359 SOS 15618 HAS SOPS 15618 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8553.618
AT ITER 8534 NEW BEST:: SOT 78347 SOS 16126 HAS SOPS 16126 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8552.126
AT ITER 8546 NEW BEST:: SOT 78333 SOS 16098 HAS SOPS 16098 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8552.098
AT ITER 8555 NEW BEST:: SOT 78327 SOS 16088 HAS SOPS 16088 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8548.088
AT ITER 8571 NEW BEST:: SOT 78274 SOS 16086 HAS SOPS 16086 HAS SOUS 8532 HAS SOUPS 8532 WITH SCORE 8548.086
AT ITER 8681 NEW BEST:: SOT 78269 SOS 16076 HAS SOPS 16076 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8538.076
AT ITER 8694 NEW BEST:: SOT 78241 SOS 16048 HAS SOPS 16048 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8533.048
AT ITER 8716 NEW BEST:: SOT 78219 SOS 16235 HAS SOPS 16235 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8522.235
AT ITER 8720 NEW BEST:: SOT 78219 SOS 16235 HAS SOPS 16235 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8521.235
AT ITER 8737 NEW BEST:: SOT 78220 SOS 16224 HAS SOPS 16224 HAS SOUS 8505 HAS SOUPS 8505 WITH SCORE 8521.224
AT ITER 8758 NEW BEST:: SOT 78212 SOS 16208 HAS SOPS 16208 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8505.208
AT ITER 8801 NEW BEST:: SOT 78171 SOS 16399 HAS SOPS 16399 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8491.399
AT ITER 8868 NEW BEST:: SOT 78171 SOS 16386 HAS SOPS 16386 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8468.386
AT ITER 8912 NEW BEST:: SOT 78168 SOS 16380 HAS SOPS 16380 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8462.38
AT ITER 8962 NEW BEST:: SOT 78165 SOS 16373 HAS SOPS 16373 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8460.373
AT ITER 9051 NEW BEST:: SOT 78163 SOS 16369 HAS SOPS 16369 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8456.369
AT ITER 9075 NEW BEST:: SOT 78136 SOS 16609 HAS SOPS 16609 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8430.609
AT ITER 9106 NEW BEST:: SOT 78136 SOS 16602 HAS SOPS 16602 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8430.602
AT ITER 9158 NEW BEST:: SOT 78130 SOS 16590 HAS SOPS 16590 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8423.59
AT ITER 9163 NEW BEST:: SOT 78161 SOS 16578 HAS SOPS 16578 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8411.578
AT ITER 9196 NEW BEST:: SOT 78161 SOS 16570 HAS SOPS 16570 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8407.57
AT ITER 9293 NEW BEST:: SOT 78161 SOS 16558 HAS SOPS 16558 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8407.558
AT ITER 9349 NEW BEST:: SOT 78161 SOS 16558 HAS SOPS 16558 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8404.558
AT ITER 9367 NEW BEST:: SOT 78157 SOS 16552 HAS SOPS 16552 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8400.552
AT ITER 9384 NEW BEST:: SOT 78155 SOS 16550 HAS SOPS 16550 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8398.55
AT ITER 9385 NEW BEST:: SOT 78128 SOS 16496 HAS SOPS 16496 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8371.496
AT ITER 9417 NEW BEST:: SOT 78128 SOS 16491 HAS SOPS 16491 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8366.491
AT ITER 9420 NEW BEST:: SOT 78126 SOS 16487 HAS SOPS 16487 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8362.487
AT ITER 9447 NEW BEST:: SOT 78113 SOS 16481 HAS SOPS 16481 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8359.481
AT ITER 9475 NEW BEST:: SOT 78075 SOS 16441 HAS SOPS 16441 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8355.441
AT ITER 9570 NEW BEST:: SOT 78072 SOS 16435 HAS SOPS 16435 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8352.435
AT ITER 9584 NEW BEST:: SOT 78072 SOS 16433 HAS SOPS 16433 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8352.433
AT ITER 9632 NEW BEST:: SOT 78060 SOS 16374 HAS SOPS 16374 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8337.374
AT ITER 9764 NEW BEST:: SOT 78037 SOS 16328 HAS SOPS 16328 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8291.328
AT ITER 9784 NEW BEST:: SOT 78035 SOS 16327 HAS SOPS 16327 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8290.327
AT ITER 9815 NEW BEST:: SOT 78036 SOS 16321 HAS SOPS 16321 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8284.321
AT ITER 9859 NEW BEST:: SOT 78033 SOS 16315 HAS SOPS 16315 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8278.315
AT ITER 9877 NEW BEST:: SOT 78039 SOS 16327 HAS SOPS 16327 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8277.327
AT ITER 9890 NEW BEST:: SOT 78036 SOS 16321 HAS SOPS 16321 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8274.321
AT ITER 9912 NEW BEST:: SOT 78026 SOS 16301 HAS SOPS 16301 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8264.301
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2182772 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152380 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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