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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 4.0K May 14 03:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 03:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 181K 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 1590469810971

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

Filename model.pnml
Petri model created: 741 places, 809 transitions, 1844 arcs.
AT ITER 0 NEW BEST:: SOT 353547 SOS 78692 HAS SOPS 78692 HAS SOUS 77052 HAS SOUPS 77052 WITH SCORE 77130.692
AT ITER 24 NEW BEST:: SOT 353417 SOS 78614 HAS SOPS 78614 HAS SOUS 76948 HAS SOUPS 76948 WITH SCORE 77026.614
AT ITER 29 NEW BEST:: SOT 353464 SOS 78708 HAS SOPS 78708 HAS SOUS 76864 HAS SOUPS 76864 WITH SCORE 76942.708
AT ITER 49 NEW BEST:: SOT 351966 SOS 83669 HAS SOPS 83669 HAS SOUS 75766 HAS SOUPS 75766 WITH SCORE 75849.669
AT ITER 57 NEW BEST:: SOT 351886 SOS 83564 HAS SOPS 83564 HAS SOUS 75644 HAS SOUPS 75644 WITH SCORE 75727.564
AT ITER 71 NEW BEST:: SOT 351889 SOS 83505 HAS SOPS 83505 HAS SOUS 75585 HAS SOUPS 75585 WITH SCORE 75668.505
AT ITER 89 NEW BEST:: SOT 351889 SOS 83501 HAS SOPS 83501 HAS SOUS 75585 HAS SOUPS 75585 WITH SCORE 75668.501
AT ITER 90 NEW BEST:: SOT 351883 SOS 83502 HAS SOPS 83502 HAS SOUS 75571 HAS SOUPS 75571 WITH SCORE 75654.502
AT ITER 104 NEW BEST:: SOT 351779 SOS 83458 HAS SOPS 83458 HAS SOUS 75491 HAS SOUPS 75491 WITH SCORE 75574.458
AT ITER 121 NEW BEST:: SOT 351759 SOS 83418 HAS SOPS 83418 HAS SOUS 75398 HAS SOUPS 75398 WITH SCORE 75481.418
AT ITER 130 NEW BEST:: SOT 351246 SOS 83208 HAS SOPS 83208 HAS SOUS 74953 HAS SOUPS 74953 WITH SCORE 75036.208
AT ITER 154 NEW BEST:: SOT 351092 SOS 84309 HAS SOPS 84309 HAS SOUS 74811 HAS SOUPS 74811 WITH SCORE 74895.309
AT ITER 159 NEW BEST:: SOT 351056 SOS 84273 HAS SOPS 84273 HAS SOUS 74806 HAS SOUPS 74806 WITH SCORE 74890.273
AT ITER 172 NEW BEST:: SOT 348490 SOS 86964 HAS SOPS 86964 HAS SOUS 72700 HAS SOUPS 72700 WITH SCORE 72786.964
AT ITER 189 NEW BEST:: SOT 348462 SOS 86936 HAS SOPS 86936 HAS SOUS 72672 HAS SOUPS 72672 WITH SCORE 72758.936
AT ITER 193 NEW BEST:: SOT 346984 SOS 91961 HAS SOPS 91961 HAS SOUS 72112 HAS SOUPS 72112 WITH SCORE 72203.961
AT ITER 194 NEW BEST:: SOT 346293 SOS 94758 HAS SOPS 94758 HAS SOUS 71722 HAS SOUPS 71722 WITH SCORE 71816.758
AT ITER 196 NEW BEST:: SOT 346227 SOS 94626 HAS SOPS 94626 HAS SOUS 71537 HAS SOUPS 71537 WITH SCORE 71631.626
AT ITER 203 NEW BEST:: SOT 346086 SOS 94485 HAS SOPS 94485 HAS SOUS 71396 HAS SOUPS 71396 WITH SCORE 71490.485
AT ITER 205 NEW BEST:: SOT 346078 SOS 94505 HAS SOPS 94505 HAS SOUS 71388 HAS SOUPS 71388 WITH SCORE 71482.505
AT ITER 214 NEW BEST:: SOT 346043 SOS 94435 HAS SOPS 94435 HAS SOUS 71318 HAS SOUPS 71318 WITH SCORE 71412.435
AT ITER 218 NEW BEST:: SOT 345180 SOS 95657 HAS SOPS 95657 HAS SOUS 70669 HAS SOUPS 70669 WITH SCORE 70764.657
AT ITER 222 NEW BEST:: SOT 345180 SOS 95645 HAS SOPS 95645 HAS SOUS 70663 HAS SOUPS 70663 WITH SCORE 70758.645
AT ITER 223 NEW BEST:: SOT 345170 SOS 95635 HAS SOPS 95635 HAS SOUS 70653 HAS SOUPS 70653 WITH SCORE 70748.635
AT ITER 231 NEW BEST:: SOT 344325 SOS 97976 HAS SOPS 97976 HAS SOUS 70136 HAS SOUPS 70136 WITH SCORE 70233.976
AT ITER 235 NEW BEST:: SOT 344251 SOS 97913 HAS SOPS 97913 HAS SOUS 70073 HAS SOUPS 70073 WITH SCORE 70170.913
AT ITER 243 NEW BEST:: SOT 344268 SOS 97885 HAS SOPS 97885 HAS SOUS 70045 HAS SOUPS 70045 WITH SCORE 70142.885
AT ITER 246 NEW BEST:: SOT 344397 SOS 97808 HAS SOPS 97808 HAS SOUS 69911 HAS SOUPS 69911 WITH SCORE 70008.808
AT ITER 247 NEW BEST:: SOT 344345 SOS 97857 HAS SOPS 97857 HAS SOUS 69905 HAS SOUPS 69905 WITH SCORE 70002.857
AT ITER 249 NEW BEST:: SOT 344223 SOS 97615 HAS SOPS 97615 HAS SOUS 69867 HAS SOUPS 69867 WITH SCORE 69964.615
AT ITER 267 NEW BEST:: SOT 344075 SOS 97836 HAS SOPS 97836 HAS SOUS 69766 HAS SOUPS 69766 WITH SCORE 69863.836
AT ITER 296 NEW BEST:: SOT 344075 SOS 97793 HAS SOPS 97793 HAS SOUS 69723 HAS SOUPS 69723 WITH SCORE 69820.793
AT ITER 299 NEW BEST:: SOT 344050 SOS 97743 HAS SOPS 97743 HAS SOUS 69654 HAS SOUPS 69654 WITH SCORE 69751.743
AT ITER 300 NEW BEST:: SOT 344000 SOS 97643 HAS SOPS 97643 HAS SOUS 69613 HAS SOUPS 69613 WITH SCORE 69710.643
AT ITER 309 NEW BEST:: SOT 343977 SOS 97479 HAS SOPS 97479 HAS SOUS 69472 HAS SOUPS 69472 WITH SCORE 69569.479
AT ITER 311 NEW BEST:: SOT 343833 SOS 96957 HAS SOPS 96957 HAS SOUS 69237 HAS SOUPS 69237 WITH SCORE 69333.957
AT ITER 315 NEW BEST:: SOT 343821 SOS 96345 HAS SOPS 96345 HAS SOUS 69185 HAS SOUPS 69185 WITH SCORE 69281.345
AT ITER 317 NEW BEST:: SOT 343788 SOS 96279 HAS SOPS 96279 HAS SOUS 69119 HAS SOUPS 69119 WITH SCORE 69215.279
AT ITER 351 NEW BEST:: SOT 343817 SOS 96218 HAS SOPS 96218 HAS SOUS 69058 HAS SOUPS 69058 WITH SCORE 69154.218
AT ITER 353 NEW BEST:: SOT 343792 SOS 96211 HAS SOPS 96211 HAS SOUS 69003 HAS SOUPS 69003 WITH SCORE 69099.211
AT ITER 359 NEW BEST:: SOT 343792 SOS 96211 HAS SOPS 96211 HAS SOUS 69000 HAS SOUPS 69000 WITH SCORE 69096.211
AT ITER 381 NEW BEST:: SOT 343762 SOS 96151 HAS SOPS 96151 HAS SOUS 68940 HAS SOUPS 68940 WITH SCORE 69036.151
AT ITER 385 NEW BEST:: SOT 343745 SOS 96117 HAS SOPS 96117 HAS SOUS 68923 HAS SOUPS 68923 WITH SCORE 69019.117
AT ITER 388 NEW BEST:: SOT 343745 SOS 96065 HAS SOPS 96065 HAS SOUS 68895 HAS SOUPS 68895 WITH SCORE 68991.065
AT ITER 394 NEW BEST:: SOT 343667 SOS 95909 HAS SOPS 95909 HAS SOUS 68817 HAS SOUPS 68817 WITH SCORE 68912.909
AT ITER 395 NEW BEST:: SOT 343711 SOS 95953 HAS SOPS 95953 HAS SOUS 68804 HAS SOUPS 68804 WITH SCORE 68899.953
AT ITER 397 NEW BEST:: SOT 343711 SOS 95888 HAS SOPS 95888 HAS SOUS 68785 HAS SOUPS 68785 WITH SCORE 68880.888
AT ITER 398 NEW BEST:: SOT 343589 SOS 95644 HAS SOPS 95644 HAS SOUS 68511 HAS SOUPS 68511 WITH SCORE 68606.644
AT ITER 412 NEW BEST:: SOT 343589 SOS 95536 HAS SOPS 95536 HAS SOUS 68403 HAS SOUPS 68403 WITH SCORE 68498.536
AT ITER 419 NEW BEST:: SOT 343437 SOS 95359 HAS SOPS 95359 HAS SOUS 68222 HAS SOUPS 68222 WITH SCORE 68317.359
AT ITER 426 NEW BEST:: SOT 343437 SOS 95366 HAS SOPS 95366 HAS SOUS 68212 HAS SOUPS 68212 WITH SCORE 68307.366
AT ITER 427 NEW BEST:: SOT 343437 SOS 95338 HAS SOPS 95338 HAS SOUS 68184 HAS SOUPS 68184 WITH SCORE 68279.338
AT ITER 436 NEW BEST:: SOT 343337 SOS 95138 HAS SOPS 95138 HAS SOUS 68160 HAS SOUPS 68160 WITH SCORE 68255.138
AT ITER 454 NEW BEST:: SOT 343005 SOS 95608 HAS SOPS 95608 HAS SOUS 67977 HAS SOUPS 67977 WITH SCORE 68072.608
AT ITER 458 NEW BEST:: SOT 343006 SOS 95541 HAS SOPS 95541 HAS SOUS 67975 HAS SOUPS 67975 WITH SCORE 68070.541
AT ITER 466 NEW BEST:: SOT 343004 SOS 95507 HAS SOPS 95507 HAS SOUS 67941 HAS SOUPS 67941 WITH SCORE 68036.507
AT ITER 468 NEW BEST:: SOT 343012 SOS 95480 HAS SOPS 95480 HAS SOUS 67913 HAS SOUPS 67913 WITH SCORE 68008.48
AT ITER 471 NEW BEST:: SOT 342884 SOS 95224 HAS SOPS 95224 HAS SOUS 67769 HAS SOUPS 67769 WITH SCORE 67864.224
AT ITER 472 NEW BEST:: SOT 342690 SOS 94853 HAS SOPS 94853 HAS SOUS 67730 HAS SOUPS 67730 WITH SCORE 67824.853
AT ITER 481 NEW BEST:: SOT 342573 SOS 94619 HAS SOPS 94619 HAS SOUS 67494 HAS SOUPS 67494 WITH SCORE 67588.619
AT ITER 484 NEW BEST:: SOT 342573 SOS 94474 HAS SOPS 94474 HAS SOUS 67494 HAS SOUPS 67494 WITH SCORE 67588.474
AT ITER 486 NEW BEST:: SOT 342430 SOS 94188 HAS SOPS 94188 HAS SOUS 67208 HAS SOUPS 67208 WITH SCORE 67302.188
AT ITER 489 NEW BEST:: SOT 342370 SOS 93768 HAS SOPS 93768 HAS SOUS 67132 HAS SOUPS 67132 WITH SCORE 67225.768
AT ITER 490 NEW BEST:: SOT 342381 SOS 93762 HAS SOPS 93762 HAS SOUS 67122 HAS SOUPS 67122 WITH SCORE 67215.762
AT ITER 493 NEW BEST:: SOT 342429 SOS 93835 HAS SOPS 93835 HAS SOUS 66997 HAS SOUPS 66997 WITH SCORE 67090.835
AT ITER 494 NEW BEST:: SOT 342239 SOS 93645 HAS SOPS 93645 HAS SOUS 66945 HAS SOUPS 66945 WITH SCORE 67038.645
AT ITER 502 NEW BEST:: SOT 342283 SOS 93483 HAS SOPS 93483 HAS SOUS 66938 HAS SOUPS 66938 WITH SCORE 67031.483
AT ITER 505 NEW BEST:: SOT 342265 SOS 93460 HAS SOPS 93460 HAS SOUS 66933 HAS SOUPS 66933 WITH SCORE 67026.46
AT ITER 529 NEW BEST:: SOT 342305 SOS 93389 HAS SOPS 93389 HAS SOUS 66839 HAS SOUPS 66839 WITH SCORE 66932.389
AT ITER 535 NEW BEST:: SOT 342289 SOS 93357 HAS SOPS 93357 HAS SOUS 66807 HAS SOUPS 66807 WITH SCORE 66900.357
AT ITER 537 NEW BEST:: SOT 342289 SOS 93346 HAS SOPS 93346 HAS SOUS 66807 HAS SOUPS 66807 WITH SCORE 66900.346
AT ITER 564 NEW BEST:: SOT 342270 SOS 93358 HAS SOPS 93358 HAS SOUS 66804 HAS SOUPS 66804 WITH SCORE 66897.358
AT ITER 579 NEW BEST:: SOT 342270 SOS 93354 HAS SOPS 93354 HAS SOUS 66800 HAS SOUPS 66800 WITH SCORE 66893.354
AT ITER 608 NEW BEST:: SOT 342316 SOS 93367 HAS SOPS 93367 HAS SOUS 66777 HAS SOUPS 66777 WITH SCORE 66870.367
AT ITER 630 NEW BEST:: SOT 342290 SOS 93341 HAS SOPS 93341 HAS SOUS 66751 HAS SOUPS 66751 WITH SCORE 66844.341
AT ITER 645 NEW BEST:: SOT 342290 SOS 93281 HAS SOPS 93281 HAS SOUS 66691 HAS SOUPS 66691 WITH SCORE 66784.281
AT ITER 649 NEW BEST:: SOT 342284 SOS 93269 HAS SOPS 93269 HAS SOUS 66685 HAS SOUPS 66685 WITH SCORE 66778.269
AT ITER 658 NEW BEST:: SOT 342240 SOS 93213 HAS SOPS 93213 HAS SOUS 66661 HAS SOUPS 66661 WITH SCORE 66754.213
AT ITER 676 NEW BEST:: SOT 342058 SOS 92849 HAS SOPS 92849 HAS SOUS 66456 HAS SOUPS 66456 WITH SCORE 66548.849
AT ITER 682 NEW BEST:: SOT 342058 SOS 92791 HAS SOPS 92791 HAS SOUS 66456 HAS SOUPS 66456 WITH SCORE 66548.791
AT ITER 687 NEW BEST:: SOT 341448 SOS 94550 HAS SOPS 94550 HAS SOUS 66270 HAS SOUPS 66270 WITH SCORE 66364.55
AT ITER 695 NEW BEST:: SOT 341420 SOS 94494 HAS SOPS 94494 HAS SOUS 66214 HAS SOUPS 66214 WITH SCORE 66308.494
AT ITER 708 NEW BEST:: SOT 341419 SOS 94479 HAS SOPS 94479 HAS SOUS 66212 HAS SOUPS 66212 WITH SCORE 66306.479
AT ITER 713 NEW BEST:: SOT 341426 SOS 94383 HAS SOPS 94383 HAS SOUS 66116 HAS SOUPS 66116 WITH SCORE 66210.383
AT ITER 727 NEW BEST:: SOT 341315 SOS 93892 HAS SOPS 93892 HAS SOUS 66009 HAS SOUPS 66009 WITH SCORE 66102.892
AT ITER 734 NEW BEST:: SOT 341312 SOS 94041 HAS SOPS 94041 HAS SOUS 66006 HAS SOUPS 66006 WITH SCORE 66100.041
AT ITER 738 NEW BEST:: SOT 341222 SOS 93951 HAS SOPS 93951 HAS SOUS 65916 HAS SOUPS 65916 WITH SCORE 66009.951
AT ITER 749 NEW BEST:: SOT 341118 SOS 93743 HAS SOPS 93743 HAS SOUS 65772 HAS SOUPS 65772 WITH SCORE 65865.743
AT ITER 763 NEW BEST:: SOT 341072 SOS 93651 HAS SOPS 93651 HAS SOUS 65725 HAS SOUPS 65725 WITH SCORE 65818.651
AT ITER 791 NEW BEST:: SOT 340983 SOS 93473 HAS SOPS 93473 HAS SOUS 65703 HAS SOUPS 65703 WITH SCORE 65796.473
AT ITER 792 NEW BEST:: SOT 340993 SOS 93460 HAS SOPS 93460 HAS SOUS 65685 HAS SOUPS 65685 WITH SCORE 65778.46
AT ITER 798 NEW BEST:: SOT 340949 SOS 93372 HAS SOPS 93372 HAS SOUS 65597 HAS SOUPS 65597 WITH SCORE 65690.372
AT ITER 807 NEW BEST:: SOT 340944 SOS 93362 HAS SOPS 93362 HAS SOUS 65592 HAS SOUPS 65592 WITH SCORE 65685.362
AT ITER 810 NEW BEST:: SOT 340945 SOS 93352 HAS SOPS 93352 HAS SOUS 65592 HAS SOUPS 65592 WITH SCORE 65685.352
AT ITER 812 NEW BEST:: SOT 340866 SOS 93194 HAS SOPS 93194 HAS SOUS 65550 HAS SOUPS 65550 WITH SCORE 65643.194
AT ITER 823 NEW BEST:: SOT 340833 SOS 93161 HAS SOPS 93161 HAS SOUS 65549 HAS SOUPS 65549 WITH SCORE 65642.161
AT ITER 836 NEW BEST:: SOT 340833 SOS 93097 HAS SOPS 93097 HAS SOUS 65485 HAS SOUPS 65485 WITH SCORE 65578.097
AT ITER 841 NEW BEST:: SOT 340833 SOS 93092 HAS SOPS 93092 HAS SOUS 65485 HAS SOUPS 65485 WITH SCORE 65578.092
AT ITER 876 NEW BEST:: SOT 340774 SOS 92974 HAS SOPS 92974 HAS SOUS 65426 HAS SOUPS 65426 WITH SCORE 65518.974
AT ITER 881 NEW BEST:: SOT 340658 SOS 92819 HAS SOPS 92819 HAS SOUS 65348 HAS SOUPS 65348 WITH SCORE 65440.819
AT ITER 886 NEW BEST:: SOT 340598 SOS 92790 HAS SOPS 92790 HAS SOUS 65319 HAS SOUPS 65319 WITH SCORE 65411.79
AT ITER 888 NEW BEST:: SOT 340598 SOS 92779 HAS SOPS 92779 HAS SOUS 65308 HAS SOUPS 65308 WITH SCORE 65400.779
AT ITER 890 NEW BEST:: SOT 340591 SOS 92758 HAS SOPS 92758 HAS SOUS 65287 HAS SOUPS 65287 WITH SCORE 65379.758
AT ITER 892 NEW BEST:: SOT 340591 SOS 92723 HAS SOPS 92723 HAS SOUS 65287 HAS SOUPS 65287 WITH SCORE 65379.723
AT ITER 893 NEW BEST:: SOT 340502 SOS 92659 HAS SOPS 92659 HAS SOUS 65145 HAS SOUPS 65145 WITH SCORE 65237.659
AT ITER 894 NEW BEST:: SOT 340502 SOS 92654 HAS SOPS 92654 HAS SOUS 65140 HAS SOUPS 65140 WITH SCORE 65232.654
AT ITER 899 NEW BEST:: SOT 340548 SOS 89084 HAS SOPS 89084 HAS SOUS 65113 HAS SOUPS 65113 WITH SCORE 65202.084
AT ITER 904 NEW BEST:: SOT 340518 SOS 88910 HAS SOPS 88910 HAS SOUS 64939 HAS SOUPS 64939 WITH SCORE 65027.91
AT ITER 908 NEW BEST:: SOT 340488 SOS 88865 HAS SOPS 88865 HAS SOUS 64909 HAS SOUPS 64909 WITH SCORE 64997.865
AT ITER 919 NEW BEST:: SOT 340463 SOS 88841 HAS SOPS 88841 HAS SOUS 64885 HAS SOUPS 64885 WITH SCORE 64973.841
AT ITER 970 NEW BEST:: SOT 340427 SOS 88805 HAS SOPS 88805 HAS SOUS 64884 HAS SOUPS 64884 WITH SCORE 64972.805
AT ITER 976 NEW BEST:: SOT 340301 SOS 88705 HAS SOPS 88705 HAS SOUS 64788 HAS SOUPS 64788 WITH SCORE 64876.705
AT ITER 986 NEW BEST:: SOT 339973 SOS 88377 HAS SOPS 88377 HAS SOUS 64460 HAS SOUPS 64460 WITH SCORE 64548.377
AT ITER 990 NEW BEST:: SOT 339968 SOS 88311 HAS SOPS 88311 HAS SOUS 64430 HAS SOUPS 64430 WITH SCORE 64518.311
AT ITER 1002 NEW BEST:: SOT 339106 SOS 93621 HAS SOPS 93621 HAS SOUS 64162 HAS SOUPS 64162 WITH SCORE 64255.621
AT ITER 1004 NEW BEST:: SOT 339102 SOS 93548 HAS SOPS 93548 HAS SOUS 64093 HAS SOUPS 64093 WITH SCORE 64186.548
AT ITER 1005 NEW BEST:: SOT 338981 SOS 93306 HAS SOPS 93306 HAS SOUS 63972 HAS SOUPS 63972 WITH SCORE 64065.306
AT ITER 1070 NEW BEST:: SOT 338972 SOS 93288 HAS SOPS 93288 HAS SOUS 63954 HAS SOUPS 63954 WITH SCORE 64047.288
AT ITER 1071 NEW BEST:: SOT 338986 SOS 93239 HAS SOPS 93239 HAS SOUS 63828 HAS SOUPS 63828 WITH SCORE 63921.239
AT ITER 1076 NEW BEST:: SOT 338986 SOS 93201 HAS SOPS 93201 HAS SOUS 63790 HAS SOUPS 63790 WITH SCORE 63883.201
AT ITER 1084 NEW BEST:: SOT 339092 SOS 93089 HAS SOPS 93089 HAS SOUS 63735 HAS SOUPS 63735 WITH SCORE 63828.089
AT ITER 1104 NEW BEST:: SOT 339071 SOS 93073 HAS SOPS 93073 HAS SOUS 63719 HAS SOUPS 63719 WITH SCORE 63812.073
AT ITER 1111 NEW BEST:: SOT 339062 SOS 93055 HAS SOPS 93055 HAS SOUS 63710 HAS SOUPS 63710 WITH SCORE 63803.055
AT ITER 1112 NEW BEST:: SOT 338611 SOS 93099 HAS SOPS 93099 HAS SOUS 63259 HAS SOUPS 63259 WITH SCORE 63352.099
AT ITER 1125 NEW BEST:: SOT 338493 SOS 92873 HAS SOPS 92873 HAS SOUS 63206 HAS SOUPS 63206 WITH SCORE 63298.873
AT ITER 1136 NEW BEST:: SOT 338493 SOS 92869 HAS SOPS 92869 HAS SOUS 63205 HAS SOUPS 63205 WITH SCORE 63297.869
AT ITER 1139 NEW BEST:: SOT 338493 SOS 92863 HAS SOPS 92863 HAS SOUS 63199 HAS SOUPS 63199 WITH SCORE 63291.863
AT ITER 1141 NEW BEST:: SOT 338476 SOS 92847 HAS SOPS 92847 HAS SOUS 63183 HAS SOUPS 63183 WITH SCORE 63275.847
AT ITER 1163 NEW BEST:: SOT 338463 SOS 92834 HAS SOPS 92834 HAS SOUS 63170 HAS SOUPS 63170 WITH SCORE 63262.834
AT ITER 1165 NEW BEST:: SOT 338286 SOS 92382 HAS SOPS 92382 HAS SOUS 62729 HAS SOUPS 62729 WITH SCORE 62821.382
AT ITER 1176 NEW BEST:: SOT 338279 SOS 92431 HAS SOPS 92431 HAS SOUS 62722 HAS SOUPS 62722 WITH SCORE 62814.431
AT ITER 1184 NEW BEST:: SOT 338274 SOS 92540 HAS SOPS 92540 HAS SOUS 62717 HAS SOUPS 62717 WITH SCORE 62809.54
AT ITER 1210 NEW BEST:: SOT 338266 SOS 92524 HAS SOPS 92524 HAS SOUS 62709 HAS SOUPS 62709 WITH SCORE 62801.524
AT ITER 1212 NEW BEST:: SOT 338151 SOS 92332 HAS SOPS 92332 HAS SOUS 62551 HAS SOUPS 62551 WITH SCORE 62643.332
AT ITER 1220 NEW BEST:: SOT 338072 SOS 92174 HAS SOPS 92174 HAS SOUS 62472 HAS SOUPS 62472 WITH SCORE 62564.174
AT ITER 1225 NEW BEST:: SOT 338072 SOS 92170 HAS SOPS 92170 HAS SOUS 62468 HAS SOUPS 62468 WITH SCORE 62560.17
AT ITER 1242 NEW BEST:: SOT 338227 SOS 92333 HAS SOPS 92333 HAS SOUS 62461 HAS SOUPS 62461 WITH SCORE 62553.333
AT ITER 1244 NEW BEST:: SOT 338446 SOS 92551 HAS SOPS 92551 HAS SOUS 62460 HAS SOUPS 62460 WITH SCORE 62552.551
AT ITER 1271 NEW BEST:: SOT 338479 SOS 92584 HAS SOPS 92584 HAS SOUS 62412 HAS SOUPS 62412 WITH SCORE 62504.584
AT ITER 1277 NEW BEST:: SOT 338455 SOS 92560 HAS SOPS 92560 HAS SOUS 62388 HAS SOUPS 62388 WITH SCORE 62480.56
AT ITER 1282 NEW BEST:: SOT 338459 SOS 92482 HAS SOPS 92482 HAS SOUS 62374 HAS SOUPS 62374 WITH SCORE 62466.482
AT ITER 1287 NEW BEST:: SOT 338451 SOS 92496 HAS SOPS 92496 HAS SOUS 62346 HAS SOUPS 62346 WITH SCORE 62438.496
AT ITER 1289 NEW BEST:: SOT 338474 SOS 92376 HAS SOPS 92376 HAS SOUS 62306 HAS SOUPS 62306 WITH SCORE 62398.376
AT ITER 1293 NEW BEST:: SOT 338461 SOS 92350 HAS SOPS 92350 HAS SOUS 62293 HAS SOUPS 62293 WITH SCORE 62385.35
AT ITER 1298 NEW BEST:: SOT 338391 SOS 92593 HAS SOPS 92593 HAS SOUS 62287 HAS SOUPS 62287 WITH SCORE 62379.593
AT ITER 1306 NEW BEST:: SOT 338431 SOS 92514 HAS SOPS 92514 HAS SOUS 62208 HAS SOUPS 62208 WITH SCORE 62300.514
AT ITER 1310 NEW BEST:: SOT 338403 SOS 92486 HAS SOPS 92486 HAS SOUS 62180 HAS SOUPS 62180 WITH SCORE 62272.486
AT ITER 1327 NEW BEST:: SOT 338252 SOS 92335 HAS SOPS 92335 HAS SOUS 62180 HAS SOUPS 62180 WITH SCORE 62272.335
AT ITER 1329 NEW BEST:: SOT 338224 SOS 92311 HAS SOPS 92311 HAS SOUS 62155 HAS SOUPS 62155 WITH SCORE 62247.311
AT ITER 1331 NEW BEST:: SOT 337711 SOS 93144 HAS SOPS 93144 HAS SOUS 61881 HAS SOUPS 61881 WITH SCORE 61974.144
AT ITER 1335 NEW BEST:: SOT 337666 SOS 93144 HAS SOPS 93144 HAS SOUS 61836 HAS SOUPS 61836 WITH SCORE 61929.144
AT ITER 1336 NEW BEST:: SOT 337615 SOS 93042 HAS SOPS 93042 HAS SOUS 61734 HAS SOUPS 61734 WITH SCORE 61827.042
AT ITER 1342 NEW BEST:: SOT 337581 SOS 93008 HAS SOPS 93008 HAS SOUS 61733 HAS SOUPS 61733 WITH SCORE 61826.008
AT ITER 1351 NEW BEST:: SOT 337478 SOS 92802 HAS SOPS 92802 HAS SOUS 61630 HAS SOUPS 61630 WITH SCORE 61722.802
AT ITER 1360 NEW BEST:: SOT 337332 SOS 92657 HAS SOPS 92657 HAS SOUS 61485 HAS SOUPS 61485 WITH SCORE 61577.657
AT ITER 1391 NEW BEST:: SOT 337358 SOS 92576 HAS SOPS 92576 HAS SOUS 61470 HAS SOUPS 61470 WITH SCORE 61562.576
AT ITER 1412 NEW BEST:: SOT 337352 SOS 92570 HAS SOPS 92570 HAS SOUS 61464 HAS SOUPS 61464 WITH SCORE 61556.57
AT ITER 1421 NEW BEST:: SOT 337303 SOS 92507 HAS SOPS 92507 HAS SOUS 61436 HAS SOUPS 61436 WITH SCORE 61528.507
AT ITER 1434 NEW BEST:: SOT 337327 SOS 92531 HAS SOPS 92531 HAS SOUS 61425 HAS SOUPS 61425 WITH SCORE 61517.531
AT ITER 1441 NEW BEST:: SOT 337275 SOS 92479 HAS SOPS 92479 HAS SOUS 61373 HAS SOUPS 61373 WITH SCORE 61465.479
AT ITER 1447 NEW BEST:: SOT 337245 SOS 92449 HAS SOPS 92449 HAS SOUS 61358 HAS SOUPS 61358 WITH SCORE 61450.449
AT ITER 1452 NEW BEST:: SOT 337226 SOS 92411 HAS SOPS 92411 HAS SOUS 61339 HAS SOUPS 61339 WITH SCORE 61431.411
AT ITER 1453 NEW BEST:: SOT 337226 SOS 92380 HAS SOPS 92380 HAS SOUS 61308 HAS SOUPS 61308 WITH SCORE 61400.38
AT ITER 1486 NEW BEST:: SOT 337165 SOS 92232 HAS SOPS 92232 HAS SOUS 61160 HAS SOUPS 61160 WITH SCORE 61252.232
AT ITER 1490 NEW BEST:: SOT 337119 SOS 92091 HAS SOPS 92091 HAS SOUS 61065 HAS SOUPS 61065 WITH SCORE 61157.091
AT ITER 1491 NEW BEST:: SOT 336986 SOS 91937 HAS SOPS 91937 HAS SOUS 60978 HAS SOUPS 60978 WITH SCORE 61069.937
AT ITER 1497 NEW BEST:: SOT 336942 SOS 91849 HAS SOPS 91849 HAS SOUS 60936 HAS SOUPS 60936 WITH SCORE 61027.849
AT ITER 1512 NEW BEST:: SOT 336923 SOS 91821 HAS SOPS 91821 HAS SOUS 60908 HAS SOUPS 60908 WITH SCORE 60999.821
AT ITER 1515 NEW BEST:: SOT 336833 SOS 91731 HAS SOPS 91731 HAS SOUS 60818 HAS SOUPS 60818 WITH SCORE 60909.731
AT ITER 1517 NEW BEST:: SOT 336869 SOS 91767 HAS SOPS 91767 HAS SOUS 60794 HAS SOUPS 60794 WITH SCORE 60885.767
AT ITER 1551 NEW BEST:: SOT 336919 SOS 91706 HAS SOPS 91706 HAS SOUS 60733 HAS SOUPS 60733 WITH SCORE 60824.706
AT ITER 1557 NEW BEST:: SOT 336906 SOS 91693 HAS SOPS 91693 HAS SOUS 60720 HAS SOUPS 60720 WITH SCORE 60811.693
AT ITER 1559 NEW BEST:: SOT 336906 SOS 91693 HAS SOPS 91693 HAS SOUS 60713 HAS SOUPS 60713 WITH SCORE 60804.693
AT ITER 1565 NEW BEST:: SOT 336900 SOS 91685 HAS SOPS 91685 HAS SOUS 60707 HAS SOUPS 60707 WITH SCORE 60798.685
AT ITER 1583 NEW BEST:: SOT 336872 SOS 91657 HAS SOPS 91657 HAS SOUS 60679 HAS SOUPS 60679 WITH SCORE 60770.657
AT ITER 1584 NEW BEST:: SOT 336728 SOS 91369 HAS SOPS 91369 HAS SOUS 60391 HAS SOUPS 60391 WITH SCORE 60482.369
AT ITER 1626 NEW BEST:: SOT 336714 SOS 91188 HAS SOPS 91188 HAS SOUS 60241 HAS SOUPS 60241 WITH SCORE 60332.188
AT ITER 1628 NEW BEST:: SOT 336497 SOS 90754 HAS SOPS 90754 HAS SOUS 60032 HAS SOUPS 60032 WITH SCORE 60122.754
AT ITER 1639 NEW BEST:: SOT 336465 SOS 90718 HAS SOPS 90718 HAS SOUS 60028 HAS SOUPS 60028 WITH SCORE 60118.718
AT ITER 1642 NEW BEST:: SOT 336369 SOS 90524 HAS SOPS 90524 HAS SOUS 59834 HAS SOUPS 59834 WITH SCORE 59924.524
AT ITER 1647 NEW BEST:: SOT 336231 SOS 90418 HAS SOPS 90418 HAS SOUS 59833 HAS SOUPS 59833 WITH SCORE 59923.418
AT ITER 1665 NEW BEST:: SOT 336163 SOS 90282 HAS SOPS 90282 HAS SOUS 59803 HAS SOUPS 59803 WITH SCORE 59893.282
AT ITER 1689 NEW BEST:: SOT 335856 SOS 90110 HAS SOPS 90110 HAS SOUS 59511 HAS SOUPS 59511 WITH SCORE 59601.11
AT ITER 1698 NEW BEST:: SOT 335828 SOS 90102 HAS SOPS 90102 HAS SOUS 59483 HAS SOUPS 59483 WITH SCORE 59573.102
AT ITER 1708 NEW BEST:: SOT 335807 SOS 90060 HAS SOPS 90060 HAS SOUS 59462 HAS SOUPS 59462 WITH SCORE 59552.06
AT ITER 1733 NEW BEST:: SOT 335708 SOS 89862 HAS SOPS 89862 HAS SOUS 59462 HAS SOUPS 59462 WITH SCORE 59551.862
AT ITER 1751 NEW BEST:: SOT 335677 SOS 89663 HAS SOPS 89663 HAS SOUS 59281 HAS SOUPS 59281 WITH SCORE 59370.663
AT ITER 1822 NEW BEST:: SOT 335573 SOS 89455 HAS SOPS 89455 HAS SOUS 59073 HAS SOUPS 59073 WITH SCORE 59162.455
AT ITER 1824 NEW BEST:: SOT 335500 SOS 89309 HAS SOPS 89309 HAS SOUS 59055 HAS SOUPS 59055 WITH SCORE 59144.309
AT ITER 1829 NEW BEST:: SOT 335531 SOS 89279 HAS SOPS 89279 HAS SOUS 59025 HAS SOUPS 59025 WITH SCORE 59114.279
AT ITER 1859 NEW BEST:: SOT 335530 SOS 89235 HAS SOPS 89235 HAS SOUS 59015 HAS SOUPS 59015 WITH SCORE 59104.235
AT ITER 1867 NEW BEST:: SOT 335447 SOS 89069 HAS SOPS 89069 HAS SOUS 58968 HAS SOUPS 58968 WITH SCORE 59057.069
AT ITER 1876 NEW BEST:: SOT 335467 SOS 83956 HAS SOPS 83956 HAS SOUS 58269 HAS SOUPS 58269 WITH SCORE 58352.956
AT ITER 1888 NEW BEST:: SOT 335467 SOS 83955 HAS SOPS 83955 HAS SOUS 58268 HAS SOUPS 58268 WITH SCORE 58351.955
AT ITER 1895 NEW BEST:: SOT 335521 SOS 83867 HAS SOPS 83867 HAS SOUS 58180 HAS SOUPS 58180 WITH SCORE 58263.867
AT ITER 1905 NEW BEST:: SOT 335516 SOS 83613 HAS SOPS 83613 HAS SOUS 57926 HAS SOUPS 57926 WITH SCORE 58009.613
AT ITER 1917 NEW BEST:: SOT 335491 SOS 83588 HAS SOPS 83588 HAS SOUS 57926 HAS SOUPS 57926 WITH SCORE 58009.588
AT ITER 1942 NEW BEST:: SOT 335401 SOS 83478 HAS SOPS 83478 HAS SOUS 57886 HAS SOUPS 57886 WITH SCORE 57969.478
AT ITER 1952 NEW BEST:: SOT 335283 SOS 83244 HAS SOPS 83244 HAS SOUS 57844 HAS SOUPS 57844 WITH SCORE 57927.244
AT ITER 1976 NEW BEST:: SOT 335140 SOS 83092 HAS SOPS 83092 HAS SOUS 57701 HAS SOUPS 57701 WITH SCORE 57784.092
AT ITER 1978 NEW BEST:: SOT 335162 SOS 83136 HAS SOPS 83136 HAS SOUS 57686 HAS SOUPS 57686 WITH SCORE 57769.136
AT ITER 1982 NEW BEST:: SOT 335162 SOS 83136 HAS SOPS 83136 HAS SOUS 57684 HAS SOUPS 57684 WITH SCORE 57767.136
AT ITER 1988 NEW BEST:: SOT 335199 SOS 82868 HAS SOPS 82868 HAS SOUS 57659 HAS SOUPS 57659 WITH SCORE 57741.868
AT ITER 2004 NEW BEST:: SOT 335053 SOS 82576 HAS SOPS 82576 HAS SOUS 57598 HAS SOUPS 57598 WITH SCORE 57680.576
AT ITER 2037 NEW BEST:: SOT 334854 SOS 82343 HAS SOPS 82343 HAS SOUS 57427 HAS SOUPS 57427 WITH SCORE 57509.343
AT ITER 2044 NEW BEST:: SOT 334750 SOS 82341 HAS SOPS 82341 HAS SOUS 57425 HAS SOUPS 57425 WITH SCORE 57507.341
AT ITER 2055 NEW BEST:: SOT 334632 SOS 82221 HAS SOPS 82221 HAS SOUS 57423 HAS SOUPS 57423 WITH SCORE 57505.221
AT ITER 2070 NEW BEST:: SOT 334630 SOS 82219 HAS SOPS 82219 HAS SOUS 57420 HAS SOUPS 57420 WITH SCORE 57502.219
AT ITER 2076 NEW BEST:: SOT 334606 SOS 82171 HAS SOPS 82171 HAS SOUS 57372 HAS SOUPS 57372 WITH SCORE 57454.171
AT ITER 2102 NEW BEST:: SOT 334532 SOS 82021 HAS SOPS 82021 HAS SOUS 57222 HAS SOUPS 57222 WITH SCORE 57304.021
AT ITER 2113 NEW BEST:: SOT 334530 SOS 82017 HAS SOPS 82017 HAS SOUS 57220 HAS SOUPS 57220 WITH SCORE 57302.017
AT ITER 2114 NEW BEST:: SOT 334533 SOS 82020 HAS SOPS 82020 HAS SOUS 57197 HAS SOUPS 57197 WITH SCORE 57279.02
AT ITER 2131 NEW BEST:: SOT 334562 SOS 81949 HAS SOPS 81949 HAS SOUS 57019 HAS SOUPS 57019 WITH SCORE 57100.949
AT ITER 2153 NEW BEST:: SOT 334401 SOS 81627 HAS SOPS 81627 HAS SOUS 56858 HAS SOUPS 56858 WITH SCORE 56939.627
AT ITER 2168 NEW BEST:: SOT 334396 SOS 81612 HAS SOPS 81612 HAS SOUS 56848 HAS SOUPS 56848 WITH SCORE 56929.612
AT ITER 2191 NEW BEST:: SOT 334360 SOS 81727 HAS SOPS 81727 HAS SOUS 56829 HAS SOUPS 56829 WITH SCORE 56910.727
AT ITER 2210 NEW BEST:: SOT 334354 SOS 81721 HAS SOPS 81721 HAS SOUS 56823 HAS SOUPS 56823 WITH SCORE 56904.721
AT ITER 2217 NEW BEST:: SOT 334403 SOS 81653 HAS SOPS 81653 HAS SOUS 56755 HAS SOUPS 56755 WITH SCORE 56836.653
AT ITER 2221 NEW BEST:: SOT 334366 SOS 81562 HAS SOPS 81562 HAS SOUS 56664 HAS SOUPS 56664 WITH SCORE 56745.562
AT ITER 2231 NEW BEST:: SOT 334338 SOS 81534 HAS SOPS 81534 HAS SOUS 56608 HAS SOUPS 56608 WITH SCORE 56689.534
AT ITER 2234 NEW BEST:: SOT 334308 SOS 81504 HAS SOPS 81504 HAS SOUS 56548 HAS SOUPS 56548 WITH SCORE 56629.504
AT ITER 2250 NEW BEST:: SOT 334217 SOS 81374 HAS SOPS 81374 HAS SOUS 56511 HAS SOUPS 56511 WITH SCORE 56592.374
AT ITER 2297 NEW BEST:: SOT 334205 SOS 81407 HAS SOPS 81407 HAS SOUS 56487 HAS SOUPS 56487 WITH SCORE 56568.407
AT ITER 2318 NEW BEST:: SOT 334205 SOS 81308 HAS SOPS 81308 HAS SOUS 56432 HAS SOUPS 56432 WITH SCORE 56513.308
AT ITER 2319 NEW BEST:: SOT 334203 SOS 81304 HAS SOPS 81304 HAS SOUS 56429 HAS SOUPS 56429 WITH SCORE 56510.304
AT ITER 2324 NEW BEST:: SOT 334050 SOS 81291 HAS SOPS 81291 HAS SOUS 56416 HAS SOUPS 56416 WITH SCORE 56497.291
AT ITER 2339 NEW BEST:: SOT 334015 SOS 81154 HAS SOPS 81154 HAS SOUS 56392 HAS SOUPS 56392 WITH SCORE 56473.154
AT ITER 2342 NEW BEST:: SOT 334015 SOS 81154 HAS SOPS 81154 HAS SOUS 56246 HAS SOUPS 56246 WITH SCORE 56327.154
AT ITER 2351 NEW BEST:: SOT 334015 SOS 81154 HAS SOPS 81154 HAS SOUS 56225 HAS SOUPS 56225 WITH SCORE 56306.154
AT ITER 2353 NEW BEST:: SOT 333980 SOS 81084 HAS SOPS 81084 HAS SOUS 56155 HAS SOUPS 56155 WITH SCORE 56236.084
AT ITER 2370 NEW BEST:: SOT 333859 SOS 80842 HAS SOPS 80842 HAS SOUS 55913 HAS SOUPS 55913 WITH SCORE 55993.842
AT ITER 2389 NEW BEST:: SOT 333868 SOS 80842 HAS SOPS 80842 HAS SOUS 55904 HAS SOUPS 55904 WITH SCORE 55984.842
AT ITER 2396 NEW BEST:: SOT 333825 SOS 80756 HAS SOPS 80756 HAS SOUS 55818 HAS SOUPS 55818 WITH SCORE 55898.756
AT ITER 2408 NEW BEST:: SOT 333825 SOS 80756 HAS SOPS 80756 HAS SOUS 55748 HAS SOUPS 55748 WITH SCORE 55828.756
AT ITER 2419 NEW BEST:: SOT 333789 SOS 80684 HAS SOPS 80684 HAS SOUS 55712 HAS SOUPS 55712 WITH SCORE 55792.684
AT ITER 2425 NEW BEST:: SOT 333702 SOS 80510 HAS SOPS 80510 HAS SOUS 55492 HAS SOUPS 55492 WITH SCORE 55572.51
AT ITER 2441 NEW BEST:: SOT 333701 SOS 80508 HAS SOPS 80508 HAS SOUS 55489 HAS SOUPS 55489 WITH SCORE 55569.508
AT ITER 2453 NEW BEST:: SOT 333696 SOS 80523 HAS SOPS 80523 HAS SOUS 55484 HAS SOUPS 55484 WITH SCORE 55564.523
AT ITER 2465 NEW BEST:: SOT 333591 SOS 76737 HAS SOPS 76737 HAS SOUS 55293 HAS SOUPS 55293 WITH SCORE 55369.737
AT ITER 2486 NEW BEST:: SOT 333560 SOS 76706 HAS SOPS 76706 HAS SOUS 55231 HAS SOUPS 55231 WITH SCORE 55307.706
AT ITER 2487 NEW BEST:: SOT 333560 SOS 76706 HAS SOPS 76706 HAS SOUS 55182 HAS SOUPS 55182 WITH SCORE 55258.706
AT ITER 2488 NEW BEST:: SOT 333527 SOS 76681 HAS SOPS 76681 HAS SOUS 55157 HAS SOUPS 55157 WITH SCORE 55233.681
AT ITER 2507 NEW BEST:: SOT 333524 SOS 76640 HAS SOPS 76640 HAS SOUS 55151 HAS SOUPS 55151 WITH SCORE 55227.64
AT ITER 2528 NEW BEST:: SOT 333498 SOS 76614 HAS SOPS 76614 HAS SOUS 55125 HAS SOUPS 55125 WITH SCORE 55201.614
AT ITER 2533 NEW BEST:: SOT 333246 SOS 76110 HAS SOPS 76110 HAS SOUS 54873 HAS SOUPS 54873 WITH SCORE 54949.11
AT ITER 2539 NEW BEST:: SOT 333243 SOS 76104 HAS SOPS 76104 HAS SOUS 54867 HAS SOUPS 54867 WITH SCORE 54943.104
AT ITER 2556 NEW BEST:: SOT 333310 SOS 76028 HAS SOPS 76028 HAS SOUS 54791 HAS SOUPS 54791 WITH SCORE 54867.028
AT ITER 2578 NEW BEST:: SOT 333290 SOS 76008 HAS SOPS 76008 HAS SOUS 54771 HAS SOUPS 54771 WITH SCORE 54847.008
AT ITER 2581 NEW BEST:: SOT 333277 SOS 75984 HAS SOPS 75984 HAS SOUS 54747 HAS SOUPS 54747 WITH SCORE 54822.984
AT ITER 2583 NEW BEST:: SOT 333276 SOS 75982 HAS SOPS 75982 HAS SOUS 54745 HAS SOUPS 54745 WITH SCORE 54820.982
AT ITER 2595 NEW BEST:: SOT 333237 SOS 75904 HAS SOPS 75904 HAS SOUS 54667 HAS SOUPS 54667 WITH SCORE 54742.904
AT ITER 2601 NEW BEST:: SOT 333232 SOS 75899 HAS SOPS 75899 HAS SOUS 54662 HAS SOUPS 54662 WITH SCORE 54737.899
AT ITER 2624 NEW BEST:: SOT 333195 SOS 75825 HAS SOPS 75825 HAS SOUS 54625 HAS SOUPS 54625 WITH SCORE 54700.825
AT ITER 2625 NEW BEST:: SOT 333251 SOS 75846 HAS SOPS 75846 HAS SOUS 54609 HAS SOUPS 54609 WITH SCORE 54684.846
AT ITER 2638 NEW BEST:: SOT 333249 SOS 75835 HAS SOPS 75835 HAS SOUS 54600 HAS SOUPS 54600 WITH SCORE 54675.835
AT ITER 2660 NEW BEST:: SOT 333215 SOS 75750 HAS SOPS 75750 HAS SOUS 54549 HAS SOUPS 54549 WITH SCORE 54624.75
AT ITER 2704 NEW BEST:: SOT 333215 SOS 75737 HAS SOPS 75737 HAS SOUS 54536 HAS SOUPS 54536 WITH SCORE 54611.737
AT ITER 2706 NEW BEST:: SOT 333185 SOS 75677 HAS SOPS 75677 HAS SOUS 54506 HAS SOUPS 54506 WITH SCORE 54581.677
AT ITER 2736 NEW BEST:: SOT 333185 SOS 75635 HAS SOPS 75635 HAS SOUS 54464 HAS SOUPS 54464 WITH SCORE 54539.635
AT ITER 2748 NEW BEST:: SOT 333112 SOS 75553 HAS SOPS 75553 HAS SOUS 54376 HAS SOUPS 54376 WITH SCORE 54451.553
AT ITER 2756 NEW BEST:: SOT 332960 SOS 75249 HAS SOPS 75249 HAS SOUS 54263 HAS SOUPS 54263 WITH SCORE 54338.249
AT ITER 2759 NEW BEST:: SOT 333012 SOS 75267 HAS SOPS 75267 HAS SOUS 54229 HAS SOUPS 54229 WITH SCORE 54304.267
AT ITER 2760 NEW BEST:: SOT 333011 SOS 75265 HAS SOPS 75265 HAS SOUS 54227 HAS SOUPS 54227 WITH SCORE 54302.265
AT ITER 2769 NEW BEST:: SOT 332971 SOS 75185 HAS SOPS 75185 HAS SOUS 54217 HAS SOUPS 54217 WITH SCORE 54292.185
AT ITER 2800 NEW BEST:: SOT 332918 SOS 75132 HAS SOPS 75132 HAS SOUS 54160 HAS SOUPS 54160 WITH SCORE 54235.132
AT ITER 2805 NEW BEST:: SOT 332915 SOS 75126 HAS SOPS 75126 HAS SOUS 54154 HAS SOUPS 54154 WITH SCORE 54229.126
AT ITER 2806 NEW BEST:: SOT 332896 SOS 75107 HAS SOPS 75107 HAS SOUS 54116 HAS SOUPS 54116 WITH SCORE 54191.107
AT ITER 2812 NEW BEST:: SOT 332946 SOS 75205 HAS SOPS 75205 HAS SOUS 54080 HAS SOUPS 54080 WITH SCORE 54155.205
AT ITER 2828 NEW BEST:: SOT 332258 SOS 75433 HAS SOPS 75433 HAS SOUS 53521 HAS SOUPS 53521 WITH SCORE 53596.433
AT ITER 2865 NEW BEST:: SOT 332253 SOS 75423 HAS SOPS 75423 HAS SOUS 53511 HAS SOUPS 53511 WITH SCORE 53586.423
AT ITER 2867 NEW BEST:: SOT 332236 SOS 75389 HAS SOPS 75389 HAS SOUS 53494 HAS SOUPS 53494 WITH SCORE 53569.389
AT ITER 2896 NEW BEST:: SOT 332224 SOS 75380 HAS SOPS 75380 HAS SOUS 53485 HAS SOUPS 53485 WITH SCORE 53560.38
AT ITER 2897 NEW BEST:: SOT 332214 SOS 75360 HAS SOPS 75360 HAS SOUS 53465 HAS SOUPS 53465 WITH SCORE 53540.36
AT ITER 2914 NEW BEST:: SOT 332232 SOS 75396 HAS SOPS 75396 HAS SOUS 53331 HAS SOUPS 53331 WITH SCORE 53406.396
AT ITER 2959 NEW BEST:: SOT 332081 SOS 75232 HAS SOPS 75232 HAS SOUS 53229 HAS SOUPS 53229 WITH SCORE 53304.232
AT ITER 2965 NEW BEST:: SOT 332055 SOS 75180 HAS SOPS 75180 HAS SOUS 53195 HAS SOUPS 53195 WITH SCORE 53270.18
AT ITER 2967 NEW BEST:: SOT 331886 SOS 74842 HAS SOPS 74842 HAS SOUS 53052 HAS SOUPS 53052 WITH SCORE 53126.842
AT ITER 2970 NEW BEST:: SOT 331886 SOS 74819 HAS SOPS 74819 HAS SOUS 53029 HAS SOUPS 53029 WITH SCORE 53103.819
AT ITER 2978 NEW BEST:: SOT 331794 SOS 74681 HAS SOPS 74681 HAS SOUS 52891 HAS SOUPS 52891 WITH SCORE 52965.681
AT ITER 2991 NEW BEST:: SOT 331799 SOS 74680 HAS SOPS 74680 HAS SOUS 52890 HAS SOUPS 52890 WITH SCORE 52964.68
AT ITER 2993 NEW BEST:: SOT 331711 SOS 74621 HAS SOPS 74621 HAS SOUS 52817 HAS SOUPS 52817 WITH SCORE 52891.621
AT ITER 3013 NEW BEST:: SOT 331711 SOS 74596 HAS SOPS 74596 HAS SOUS 52792 HAS SOUPS 52792 WITH SCORE 52866.596
AT ITER 3027 NEW BEST:: SOT 331672 SOS 74511 HAS SOPS 74511 HAS SOUS 52707 HAS SOUPS 52707 WITH SCORE 52781.511
AT ITER 3029 NEW BEST:: SOT 331701 SOS 74476 HAS SOPS 74476 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52746.476
AT ITER 3049 NEW BEST:: SOT 331701 SOS 74461 HAS SOPS 74461 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52746.461
AT ITER 3096 NEW BEST:: SOT 331705 SOS 74469 HAS SOPS 74469 HAS SOUS 52653 HAS SOUPS 52653 WITH SCORE 52727.469
AT ITER 3128 NEW BEST:: SOT 331701 SOS 74465 HAS SOPS 74465 HAS SOUS 52649 HAS SOUPS 52649 WITH SCORE 52723.465
AT ITER 3133 NEW BEST:: SOT 331745 SOS 74416 HAS SOPS 74416 HAS SOUS 52600 HAS SOUPS 52600 WITH SCORE 52674.416
AT ITER 3143 NEW BEST:: SOT 331728 SOS 74382 HAS SOPS 74382 HAS SOUS 52566 HAS SOUPS 52566 WITH SCORE 52640.382
AT ITER 3152 NEW BEST:: SOT 331712 SOS 74358 HAS SOPS 74358 HAS SOUS 52557 HAS SOUPS 52557 WITH SCORE 52631.358
AT ITER 3217 NEW BEST:: SOT 331711 SOS 74356 HAS SOPS 74356 HAS SOUS 52555 HAS SOUPS 52555 WITH SCORE 52629.356
AT ITER 3228 NEW BEST:: SOT 331700 SOS 74334 HAS SOPS 74334 HAS SOUS 52544 HAS SOUPS 52544 WITH SCORE 52618.334
AT ITER 3233 NEW BEST:: SOT 331584 SOS 74201 HAS SOPS 74201 HAS SOUS 52496 HAS SOUPS 52496 WITH SCORE 52570.201
AT ITER 3245 NEW BEST:: SOT 331654 SOS 74194 HAS SOPS 74194 HAS SOUS 52489 HAS SOUPS 52489 WITH SCORE 52563.194
AT ITER 3256 NEW BEST:: SOT 331685 SOS 74261 HAS SOPS 74261 HAS SOUS 52464 HAS SOUPS 52464 WITH SCORE 52538.261
AT ITER 3276 NEW BEST:: SOT 331653 SOS 74197 HAS SOPS 74197 HAS SOUS 52447 HAS SOUPS 52447 WITH SCORE 52521.197
AT ITER 3279 NEW BEST:: SOT 331640 SOS 74179 HAS SOPS 74179 HAS SOUS 52434 HAS SOUPS 52434 WITH SCORE 52508.179
AT ITER 3306 NEW BEST:: SOT 331644 SOS 74166 HAS SOPS 74166 HAS SOUS 52421 HAS SOUPS 52421 WITH SCORE 52495.166
AT ITER 3309 NEW BEST:: SOT 331637 SOS 74193 HAS SOPS 74193 HAS SOUS 52407 HAS SOUPS 52407 WITH SCORE 52481.193
AT ITER 3316 NEW BEST:: SOT 331649 SOS 74217 HAS SOPS 74217 HAS SOUS 52398 HAS SOUPS 52398 WITH SCORE 52472.217
AT ITER 3320 NEW BEST:: SOT 331649 SOS 74196 HAS SOPS 74196 HAS SOUS 52377 HAS SOUPS 52377 WITH SCORE 52451.196
AT ITER 3327 NEW BEST:: SOT 331538 SOS 74087 HAS SOPS 74087 HAS SOUS 52268 HAS SOUPS 52268 WITH SCORE 52342.087
AT ITER 3365 NEW BEST:: SOT 331500 SOS 74011 HAS SOPS 74011 HAS SOUS 52192 HAS SOUPS 52192 WITH SCORE 52266.011
AT ITER 3397 NEW BEST:: SOT 331491 SOS 73993 HAS SOPS 73993 HAS SOUS 52183 HAS SOUPS 52183 WITH SCORE 52256.993
AT ITER 3399 NEW BEST:: SOT 331487 SOS 73989 HAS SOPS 73989 HAS SOUS 52179 HAS SOUPS 52179 WITH SCORE 52252.989
AT ITER 3424 NEW BEST:: SOT 331546 SOS 73986 HAS SOPS 73986 HAS SOUS 52176 HAS SOUPS 52176 WITH SCORE 52249.986
AT ITER 3434 NEW BEST:: SOT 331698 SOS 74053 HAS SOPS 74053 HAS SOUS 52109 HAS SOUPS 52109 WITH SCORE 52183.053
AT ITER 3435 NEW BEST:: SOT 331664 SOS 73985 HAS SOPS 73985 HAS SOUS 52058 HAS SOUPS 52058 WITH SCORE 52131.985
AT ITER 3441 NEW BEST:: SOT 331597 SOS 73851 HAS SOPS 73851 HAS SOUS 52046 HAS SOUPS 52046 WITH SCORE 52119.851
AT ITER 3451 NEW BEST:: SOT 331518 SOS 73746 HAS SOPS 73746 HAS SOUS 51941 HAS SOUPS 51941 WITH SCORE 52014.746
AT ITER 3482 NEW BEST:: SOT 331422 SOS 73554 HAS SOPS 73554 HAS SOUS 51845 HAS SOUPS 51845 WITH SCORE 51918.554
AT ITER 3484 NEW BEST:: SOT 331421 SOS 73552 HAS SOPS 73552 HAS SOUS 51844 HAS SOUPS 51844 WITH SCORE 51917.552
AT ITER 3491 NEW BEST:: SOT 331273 SOS 73256 HAS SOPS 73256 HAS SOUS 51832 HAS SOUPS 51832 WITH SCORE 51905.256
AT ITER 3515 NEW BEST:: SOT 331136 SOS 72982 HAS SOPS 72982 HAS SOUS 51558 HAS SOUPS 51558 WITH SCORE 51630.982
AT ITER 3544 NEW BEST:: SOT 331121 SOS 72943 HAS SOPS 72943 HAS SOUS 51528 HAS SOUPS 51528 WITH SCORE 51600.943
AT ITER 3547 NEW BEST:: SOT 331121 SOS 72912 HAS SOPS 72912 HAS SOUS 51497 HAS SOUPS 51497 WITH SCORE 51569.912
AT ITER 3552 NEW BEST:: SOT 331119 SOS 72910 HAS SOPS 72910 HAS SOUS 51495 HAS SOUPS 51495 WITH SCORE 51567.91
AT ITER 3591 NEW BEST:: SOT 331146 SOS 72964 HAS SOPS 72964 HAS SOUS 51473 HAS SOUPS 51473 WITH SCORE 51545.964
AT ITER 3593 NEW BEST:: SOT 331108 SOS 72920 HAS SOPS 72920 HAS SOUS 51429 HAS SOUPS 51429 WITH SCORE 51501.92
AT ITER 3615 NEW BEST:: SOT 331214 SOS 71695 HAS SOPS 71695 HAS SOUS 51347 HAS SOUPS 51347 WITH SCORE 51418.695
AT ITER 3621 NEW BEST:: SOT 331233 SOS 71714 HAS SOPS 71714 HAS SOUS 51346 HAS SOUPS 51346 WITH SCORE 51417.714
AT ITER 3624 NEW BEST:: SOT 331233 SOS 71709 HAS SOPS 71709 HAS SOUS 51341 HAS SOUPS 51341 WITH SCORE 51412.709
AT ITER 3642 NEW BEST:: SOT 331169 SOS 71517 HAS SOPS 71517 HAS SOUS 51213 HAS SOUPS 51213 WITH SCORE 51284.517
AT ITER 3683 NEW BEST:: SOT 331163 SOS 71511 HAS SOPS 71511 HAS SOUS 51213 HAS SOUPS 51213 WITH SCORE 51284.511
AT ITER 3689 NEW BEST:: SOT 331163 SOS 71378 HAS SOPS 71378 HAS SOUS 50947 HAS SOUPS 50947 WITH SCORE 51018.378
AT ITER 3701 NEW BEST:: SOT 331154 SOS 71360 HAS SOPS 71360 HAS SOUS 50929 HAS SOUPS 50929 WITH SCORE 51000.36
AT ITER 3717 NEW BEST:: SOT 331149 SOS 71350 HAS SOPS 71350 HAS SOUS 50924 HAS SOUPS 50924 WITH SCORE 50995.35
AT ITER 3733 NEW BEST:: SOT 331088 SOS 71290 HAS SOPS 71290 HAS SOUS 50863 HAS SOUPS 50863 WITH SCORE 50934.29
AT ITER 3748 NEW BEST:: SOT 331087 SOS 71146 HAS SOPS 71146 HAS SOUS 50862 HAS SOUPS 50862 WITH SCORE 50933.146
AT ITER 3758 NEW BEST:: SOT 331083 SOS 71142 HAS SOPS 71142 HAS SOUS 50862 HAS SOUPS 50862 WITH SCORE 50933.142
AT ITER 3770 NEW BEST:: SOT 331066 SOS 71125 HAS SOPS 71125 HAS SOUS 50845 HAS SOUPS 50845 WITH SCORE 50916.125
AT ITER 3778 NEW BEST:: SOT 331013 SOS 71052 HAS SOPS 71052 HAS SOUS 50772 HAS SOUPS 50772 WITH SCORE 50843.052
AT ITER 3824 NEW BEST:: SOT 331011 SOS 71050 HAS SOPS 71050 HAS SOUS 50772 HAS SOUPS 50772 WITH SCORE 50843.05
AT ITER 3850 NEW BEST:: SOT 331026 SOS 71044 HAS SOPS 71044 HAS SOUS 50769 HAS SOUPS 50769 WITH SCORE 50840.044
AT ITER 3859 NEW BEST:: SOT 330969 SOS 71036 HAS SOPS 71036 HAS SOUS 50758 HAS SOUPS 50758 WITH SCORE 50829.036
AT ITER 3882 NEW BEST:: SOT 330941 SOS 70994 HAS SOPS 70994 HAS SOUS 50730 HAS SOUPS 50730 WITH SCORE 50800.994
AT ITER 3930 NEW BEST:: SOT 330886 SOS 70884 HAS SOPS 70884 HAS SOUS 50620 HAS SOUPS 50620 WITH SCORE 50690.884
AT ITER 3945 NEW BEST:: SOT 330760 SOS 70700 HAS SOPS 70700 HAS SOUS 50528 HAS SOUPS 50528 WITH SCORE 50598.7
AT ITER 3952 NEW BEST:: SOT 330649 SOS 71360 HAS SOPS 71360 HAS SOUS 50480 HAS SOUPS 50480 WITH SCORE 50551.36
AT ITER 3976 NEW BEST:: SOT 330658 SOS 71360 HAS SOPS 71360 HAS SOUS 50471 HAS SOUPS 50471 WITH SCORE 50542.36
AT ITER 3977 NEW BEST:: SOT 330653 SOS 71355 HAS SOPS 71355 HAS SOUS 50461 HAS SOUPS 50461 WITH SCORE 50532.355
AT ITER 3987 NEW BEST:: SOT 330598 SOS 71189 HAS SOPS 71189 HAS SOUS 50295 HAS SOUPS 50295 WITH SCORE 50366.189
AT ITER 3991 NEW BEST:: SOT 330588 SOS 71169 HAS SOPS 71169 HAS SOUS 50295 HAS SOUPS 50295 WITH SCORE 50366.169
AT ITER 3994 NEW BEST:: SOT 330567 SOS 71127 HAS SOPS 71127 HAS SOUS 50274 HAS SOUPS 50274 WITH SCORE 50345.127
AT ITER 4030 NEW BEST:: SOT 330525 SOS 71085 HAS SOPS 71085 HAS SOUS 50270 HAS SOUPS 50270 WITH SCORE 50341.085
AT ITER 4079 NEW BEST:: SOT 330525 SOS 71081 HAS SOPS 71081 HAS SOUS 50266 HAS SOUPS 50266 WITH SCORE 50337.081
AT ITER 4126 NEW BEST:: SOT 330497 SOS 71025 HAS SOPS 71025 HAS SOUS 50266 HAS SOUPS 50266 WITH SCORE 50337.025
AT ITER 4143 NEW BEST:: SOT 330461 SOS 70997 HAS SOPS 70997 HAS SOUS 50238 HAS SOUPS 50238 WITH SCORE 50308.997
AT ITER 4183 NEW BEST:: SOT 330452 SOS 70979 HAS SOPS 70979 HAS SOUS 50220 HAS SOUPS 50220 WITH SCORE 50290.979
AT ITER 4194 NEW BEST:: SOT 330451 SOS 70976 HAS SOPS 70976 HAS SOUS 50218 HAS SOUPS 50218 WITH SCORE 50288.976
AT ITER 4234 NEW BEST:: SOT 330419 SOS 70912 HAS SOPS 70912 HAS SOUS 50218 HAS SOUPS 50218 WITH SCORE 50288.912
AT ITER 4263 NEW BEST:: SOT 330391 SOS 70856 HAS SOPS 70856 HAS SOUS 50162 HAS SOUPS 50162 WITH SCORE 50232.856
AT ITER 4271 NEW BEST:: SOT 330364 SOS 70802 HAS SOPS 70802 HAS SOUS 50111 HAS SOUPS 50111 WITH SCORE 50181.802
AT ITER 4274 NEW BEST:: SOT 330364 SOS 70783 HAS SOPS 70783 HAS SOUS 50092 HAS SOUPS 50092 WITH SCORE 50162.783
AT ITER 4306 NEW BEST:: SOT 330363 SOS 70766 HAS SOPS 70766 HAS SOUS 50090 HAS SOUPS 50090 WITH SCORE 50160.766
AT ITER 4316 NEW BEST:: SOT 330322 SOS 70684 HAS SOPS 70684 HAS SOUS 50090 HAS SOUPS 50090 WITH SCORE 50160.684
AT ITER 4325 NEW BEST:: SOT 330320 SOS 70649 HAS SOPS 70649 HAS SOUS 50063 HAS SOUPS 50063 WITH SCORE 50133.649
AT ITER 4336 NEW BEST:: SOT 330314 SOS 70637 HAS SOPS 70637 HAS SOUS 50051 HAS SOUPS 50051 WITH SCORE 50121.637
AT ITER 4353 NEW BEST:: SOT 330397 SOS 70720 HAS SOPS 70720 HAS SOUS 50050 HAS SOUPS 50050 WITH SCORE 50120.72
AT ITER 4361 NEW BEST:: SOT 330397 SOS 70708 HAS SOPS 70708 HAS SOUS 50038 HAS SOUPS 50038 WITH SCORE 50108.708
AT ITER 4374 NEW BEST:: SOT 330434 SOS 70694 HAS SOPS 70694 HAS SOUS 50024 HAS SOUPS 50024 WITH SCORE 50094.694
AT ITER 4380 NEW BEST:: SOT 330438 SOS 70642 HAS SOPS 70642 HAS SOUS 50024 HAS SOUPS 50024 WITH SCORE 50094.642
AT ITER 4383 NEW BEST:: SOT 330342 SOS 70455 HAS SOPS 70455 HAS SOUS 49885 HAS SOUPS 49885 WITH SCORE 49955.455
AT ITER 4402 NEW BEST:: SOT 330300 SOS 70184 HAS SOPS 70184 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49792.184
AT ITER 4421 NEW BEST:: SOT 330236 SOS 70097 HAS SOPS 70097 HAS SOUS 49685 HAS SOUPS 49685 WITH SCORE 49755.097
AT ITER 4432 NEW BEST:: SOT 330254 SOS 70079 HAS SOPS 70079 HAS SOUS 49667 HAS SOUPS 49667 WITH SCORE 49737.079
AT ITER 4434 NEW BEST:: SOT 330254 SOS 70143 HAS SOPS 70143 HAS SOUS 49603 HAS SOUPS 49603 WITH SCORE 49673.143
AT ITER 4456 NEW BEST:: SOT 330162 SOS 69961 HAS SOPS 69961 HAS SOUS 49421 HAS SOUPS 49421 WITH SCORE 49490.961
AT ITER 4459 NEW BEST:: SOT 330078 SOS 69793 HAS SOPS 69793 HAS SOUS 49401 HAS SOUPS 49401 WITH SCORE 49470.793
AT ITER 4462 NEW BEST:: SOT 330078 SOS 69792 HAS SOPS 69792 HAS SOUS 49400 HAS SOUPS 49400 WITH SCORE 49469.792
AT ITER 4464 NEW BEST:: SOT 330037 SOS 69751 HAS SOPS 69751 HAS SOUS 49359 HAS SOUPS 49359 WITH SCORE 49428.751
AT ITER 4482 NEW BEST:: SOT 330011 SOS 69699 HAS SOPS 69699 HAS SOUS 49307 HAS SOUPS 49307 WITH SCORE 49376.699
AT ITER 4490 NEW BEST:: SOT 329972 SOS 69621 HAS SOPS 69621 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49298.621
AT ITER 4529 NEW BEST:: SOT 329968 SOS 69613 HAS SOPS 69613 HAS SOUS 49221 HAS SOUPS 49221 WITH SCORE 49290.613
AT ITER 4539 NEW BEST:: SOT 329920 SOS 69565 HAS SOPS 69565 HAS SOUS 49205 HAS SOUPS 49205 WITH SCORE 49274.565
AT ITER 4548 NEW BEST:: SOT 329930 SOS 69575 HAS SOPS 69575 HAS SOUS 49192 HAS SOUPS 49192 WITH SCORE 49261.575
AT ITER 4570 NEW BEST:: SOT 329912 SOS 69465 HAS SOPS 69465 HAS SOUS 49168 HAS SOUPS 49168 WITH SCORE 49237.465
AT ITER 4571 NEW BEST:: SOT 329874 SOS 69389 HAS SOPS 69389 HAS SOUS 49092 HAS SOUPS 49092 WITH SCORE 49161.389
AT ITER 4588 NEW BEST:: SOT 329844 SOS 69461 HAS SOPS 69461 HAS SOUS 48840 HAS SOUPS 48840 WITH SCORE 48909.461
AT ITER 4635 NEW BEST:: SOT 329898 SOS 69515 HAS SOPS 69515 HAS SOUS 48752 HAS SOUPS 48752 WITH SCORE 48821.515
AT ITER 4649 NEW BEST:: SOT 329885 SOS 69489 HAS SOPS 69489 HAS SOUS 48749 HAS SOUPS 48749 WITH SCORE 48818.489
AT ITER 4682 NEW BEST:: SOT 329829 SOS 69405 HAS SOPS 69405 HAS SOUS 48721 HAS SOUPS 48721 WITH SCORE 48790.405
AT ITER 4701 NEW BEST:: SOT 329779 SOS 69330 HAS SOPS 69330 HAS SOUS 48696 HAS SOUPS 48696 WITH SCORE 48765.33
AT ITER 4706 NEW BEST:: SOT 329715 SOS 69202 HAS SOPS 69202 HAS SOUS 48552 HAS SOUPS 48552 WITH SCORE 48621.202
AT ITER 4726 NEW BEST:: SOT 329573 SOS 69418 HAS SOPS 69418 HAS SOUS 48457 HAS SOUPS 48457 WITH SCORE 48526.418
AT ITER 4732 NEW BEST:: SOT 329571 SOS 69416 HAS SOPS 69416 HAS SOUS 48453 HAS SOUPS 48453 WITH SCORE 48522.416
AT ITER 4744 NEW BEST:: SOT 329567 SOS 69412 HAS SOPS 69412 HAS SOUS 48449 HAS SOUPS 48449 WITH SCORE 48518.412
AT ITER 4754 NEW BEST:: SOT 329560 SOS 69398 HAS SOPS 69398 HAS SOUS 48418 HAS SOUPS 48418 WITH SCORE 48487.398
AT ITER 4763 NEW BEST:: SOT 329470 SOS 69218 HAS SOPS 69218 HAS SOUS 48328 HAS SOUPS 48328 WITH SCORE 48397.218
AT ITER 4779 NEW BEST:: SOT 329433 SOS 69168 HAS SOPS 69168 HAS SOUS 48302 HAS SOUPS 48302 WITH SCORE 48371.168
AT ITER 4790 NEW BEST:: SOT 329459 SOS 68838 HAS SOPS 68838 HAS SOUS 48171 HAS SOUPS 48171 WITH SCORE 48239.838
AT ITER 4821 NEW BEST:: SOT 329421 SOS 68800 HAS SOPS 68800 HAS SOUS 48133 HAS SOUPS 48133 WITH SCORE 48201.8
AT ITER 4833 NEW BEST:: SOT 329408 SOS 68786 HAS SOPS 68786 HAS SOUS 48119 HAS SOUPS 48119 WITH SCORE 48187.786
AT ITER 4846 NEW BEST:: SOT 329327 SOS 68769 HAS SOPS 68769 HAS SOUS 48102 HAS SOUPS 48102 WITH SCORE 48170.769
AT ITER 4865 NEW BEST:: SOT 329309 SOS 68767 HAS SOPS 68767 HAS SOUS 48100 HAS SOUPS 48100 WITH SCORE 48168.767
AT ITER 4879 NEW BEST:: SOT 329240 SOS 68710 HAS SOPS 68710 HAS SOUS 48043 HAS SOUPS 48043 WITH SCORE 48111.71
AT ITER 4882 NEW BEST:: SOT 329238 SOS 68706 HAS SOPS 68706 HAS SOUS 48043 HAS SOUPS 48043 WITH SCORE 48111.706
AT ITER 4930 NEW BEST:: SOT 329229 SOS 68664 HAS SOPS 68664 HAS SOUS 48010 HAS SOUPS 48010 WITH SCORE 48078.664
AT ITER 4974 NEW BEST:: SOT 329185 SOS 68620 HAS SOPS 68620 HAS SOUS 47966 HAS SOUPS 47966 WITH SCORE 48034.62
AT ITER 4982 NEW BEST:: SOT 329062 SOS 68497 HAS SOPS 68497 HAS SOUS 47849 HAS SOUPS 47849 WITH SCORE 47917.497
AT ITER 4983 NEW BEST:: SOT 329061 SOS 68495 HAS SOPS 68495 HAS SOUS 47847 HAS SOUPS 47847 WITH SCORE 47915.495
AT ITER 4997 NEW BEST:: SOT 329049 SOS 68482 HAS SOPS 68482 HAS SOUS 47834 HAS SOUPS 47834 WITH SCORE 47902.482
AT ITER 5011 NEW BEST:: SOT 329008 SOS 68471 HAS SOPS 68471 HAS SOUS 47814 HAS SOUPS 47814 WITH SCORE 47882.471
AT ITER 5015 NEW BEST:: SOT 328846 SOS 69169 HAS SOPS 69169 HAS SOUS 47751 HAS SOUPS 47751 WITH SCORE 47820.169
AT ITER 5019 NEW BEST:: SOT 328831 SOS 69167 HAS SOPS 69167 HAS SOUS 47749 HAS SOUPS 47749 WITH SCORE 47818.167
AT ITER 5021 NEW BEST:: SOT 328813 SOS 69149 HAS SOPS 69149 HAS SOUS 47731 HAS SOUPS 47731 WITH SCORE 47800.149
AT ITER 5028 NEW BEST:: SOT 328813 SOS 69018 HAS SOPS 69018 HAS SOUS 47689 HAS SOUPS 47689 WITH SCORE 47758.018
AT ITER 5055 NEW BEST:: SOT 328811 SOS 69016 HAS SOPS 69016 HAS SOUS 47687 HAS SOUPS 47687 WITH SCORE 47756.016
AT ITER 5058 NEW BEST:: SOT 328590 SOS 68760 HAS SOPS 68760 HAS SOUS 47617 HAS SOUPS 47617 WITH SCORE 47685.76
AT ITER 5060 NEW BEST:: SOT 328583 SOS 68753 HAS SOPS 68753 HAS SOUS 47610 HAS SOUPS 47610 WITH SCORE 47678.753
AT ITER 5066 NEW BEST:: SOT 328523 SOS 68633 HAS SOPS 68633 HAS SOUS 47610 HAS SOUPS 47610 WITH SCORE 47678.633
AT ITER 5069 NEW BEST:: SOT 328572 SOS 68666 HAS SOPS 68666 HAS SOUS 47594 HAS SOUPS 47594 WITH SCORE 47662.666
AT ITER 5071 NEW BEST:: SOT 328573 SOS 68657 HAS SOPS 68657 HAS SOUS 47585 HAS SOUPS 47585 WITH SCORE 47653.657
AT ITER 5073 NEW BEST:: SOT 328573 SOS 68634 HAS SOPS 68634 HAS SOUS 47562 HAS SOUPS 47562 WITH SCORE 47630.634
AT ITER 5092 NEW BEST:: SOT 328511 SOS 68602 HAS SOPS 68602 HAS SOUS 47530 HAS SOUPS 47530 WITH SCORE 47598.602
AT ITER 5095 NEW BEST:: SOT 328461 SOS 68502 HAS SOPS 68502 HAS SOUS 47430 HAS SOUPS 47430 WITH SCORE 47498.502
AT ITER 5098 NEW BEST:: SOT 328443 SOS 68490 HAS SOPS 68490 HAS SOUS 47412 HAS SOUPS 47412 WITH SCORE 47480.49
AT ITER 5106 NEW BEST:: SOT 328434 SOS 68497 HAS SOPS 68497 HAS SOUS 47409 HAS SOUPS 47409 WITH SCORE 47477.497
AT ITER 5116 NEW BEST:: SOT 328378 SOS 68385 HAS SOPS 68385 HAS SOUS 47297 HAS SOUPS 47297 WITH SCORE 47365.385
AT ITER 5132 NEW BEST:: SOT 328365 SOS 68372 HAS SOPS 68372 HAS SOUS 47284 HAS SOUPS 47284 WITH SCORE 47352.372
AT ITER 5180 NEW BEST:: SOT 328353 SOS 68348 HAS SOPS 68348 HAS SOUS 47246 HAS SOUPS 47246 WITH SCORE 47314.348
AT ITER 5184 NEW BEST:: SOT 328345 SOS 68201 HAS SOPS 68201 HAS SOUS 47230 HAS SOUPS 47230 WITH SCORE 47298.201
AT ITER 5185 NEW BEST:: SOT 328345 SOS 68163 HAS SOPS 68163 HAS SOUS 47230 HAS SOUPS 47230 WITH SCORE 47298.163
AT ITER 5223 NEW BEST:: SOT 328338 SOS 68149 HAS SOPS 68149 HAS SOUS 47216 HAS SOUPS 47216 WITH SCORE 47284.149
AT ITER 5268 NEW BEST:: SOT 328333 SOS 68139 HAS SOPS 68139 HAS SOUS 47210 HAS SOUPS 47210 WITH SCORE 47278.139
AT ITER 5283 NEW BEST:: SOT 328331 SOS 68135 HAS SOPS 68135 HAS SOUS 47206 HAS SOUPS 47206 WITH SCORE 47274.135
AT ITER 5297 NEW BEST:: SOT 328269 SOS 68061 HAS SOPS 68061 HAS SOUS 47182 HAS SOUPS 47182 WITH SCORE 47250.061
AT ITER 5320 NEW BEST:: SOT 328269 SOS 68061 HAS SOPS 68061 HAS SOUS 47134 HAS SOUPS 47134 WITH SCORE 47202.061
AT ITER 5340 NEW BEST:: SOT 328266 SOS 68055 HAS SOPS 68055 HAS SOUS 47128 HAS SOUPS 47128 WITH SCORE 47196.055
AT ITER 5350 NEW BEST:: SOT 328262 SOS 68047 HAS SOPS 68047 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47188.047
AT ITER 5360 NEW BEST:: SOT 328193 SOS 67909 HAS SOPS 67909 HAS SOUS 47051 HAS SOUPS 47051 WITH SCORE 47118.909
AT ITER 5364 NEW BEST:: SOT 328154 SOS 67831 HAS SOPS 67831 HAS SOUS 47012 HAS SOUPS 47012 WITH SCORE 47079.831
AT ITER 5382 NEW BEST:: SOT 328139 SOS 67801 HAS SOPS 67801 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47061.801
AT ITER 5418 NEW BEST:: SOT 328172 SOS 67826 HAS SOPS 67826 HAS SOUS 46990 HAS SOUPS 46990 WITH SCORE 47057.826
AT ITER 5431 NEW BEST:: SOT 327971 SOS 67462 HAS SOPS 67462 HAS SOUS 46850 HAS SOUPS 46850 WITH SCORE 46917.462
AT ITER 5461 NEW BEST:: SOT 327936 SOS 67392 HAS SOPS 67392 HAS SOUS 46812 HAS SOUPS 46812 WITH SCORE 46879.392
AT ITER 5462 NEW BEST:: SOT 327920 SOS 67313 HAS SOPS 67313 HAS SOUS 46749 HAS SOUPS 46749 WITH SCORE 46816.313
AT ITER 5476 NEW BEST:: SOT 327851 SOS 67175 HAS SOPS 67175 HAS SOUS 46676 HAS SOUPS 46676 WITH SCORE 46743.175
AT ITER 5477 NEW BEST:: SOT 327843 SOS 67167 HAS SOPS 67167 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46721.167
AT ITER 5485 NEW BEST:: SOT 327826 SOS 67133 HAS SOPS 67133 HAS SOUS 46620 HAS SOUPS 46620 WITH SCORE 46687.133
AT ITER 5489 NEW BEST:: SOT 327796 SOS 67103 HAS SOPS 67103 HAS SOUS 46590 HAS SOUPS 46590 WITH SCORE 46657.103
AT ITER 5503 NEW BEST:: SOT 327743 SOS 67044 HAS SOPS 67044 HAS SOUS 46556 HAS SOUPS 46556 WITH SCORE 46623.044
AT ITER 5508 NEW BEST:: SOT 327720 SOS 67021 HAS SOPS 67021 HAS SOUS 46550 HAS SOUPS 46550 WITH SCORE 46617.021
AT ITER 5509 NEW BEST:: SOT 327665 SOS 66911 HAS SOPS 66911 HAS SOUS 46440 HAS SOUPS 46440 WITH SCORE 46506.911
AT ITER 5519 NEW BEST:: SOT 327693 SOS 66907 HAS SOPS 66907 HAS SOUS 46436 HAS SOUPS 46436 WITH SCORE 46502.907
AT ITER 5561 NEW BEST:: SOT 327645 SOS 66811 HAS SOPS 66811 HAS SOUS 46340 HAS SOUPS 46340 WITH SCORE 46406.811
AT ITER 5572 NEW BEST:: SOT 327541 SOS 66759 HAS SOPS 66759 HAS SOUS 46340 HAS SOUPS 46340 WITH SCORE 46406.759
AT ITER 5588 NEW BEST:: SOT 327521 SOS 66699 HAS SOPS 66699 HAS SOUS 46300 HAS SOUPS 46300 WITH SCORE 46366.699
AT ITER 5592 NEW BEST:: SOT 327382 SOS 66421 HAS SOPS 66421 HAS SOUS 46300 HAS SOUPS 46300 WITH SCORE 46366.421
AT ITER 5608 NEW BEST:: SOT 327376 SOS 66419 HAS SOPS 66419 HAS SOUS 46298 HAS SOUPS 46298 WITH SCORE 46364.419
AT ITER 5637 NEW BEST:: SOT 327337 SOS 66412 HAS SOPS 66412 HAS SOUS 46291 HAS SOUPS 46291 WITH SCORE 46357.412
AT ITER 5646 NEW BEST:: SOT 327256 SOS 66322 HAS SOPS 66322 HAS SOUS 46201 HAS SOUPS 46201 WITH SCORE 46267.322
AT ITER 5652 NEW BEST:: SOT 327280 SOS 66308 HAS SOPS 66308 HAS SOUS 46187 HAS SOUPS 46187 WITH SCORE 46253.308
AT ITER 5659 NEW BEST:: SOT 327231 SOS 66296 HAS SOPS 66296 HAS SOUS 46176 HAS SOUPS 46176 WITH SCORE 46242.296
AT ITER 5681 NEW BEST:: SOT 327231 SOS 66331 HAS SOPS 66331 HAS SOUS 46161 HAS SOUPS 46161 WITH SCORE 46227.331
AT ITER 5699 NEW BEST:: SOT 327231 SOS 66331 HAS SOPS 66331 HAS SOUS 46160 HAS SOUPS 46160 WITH SCORE 46226.331
AT ITER 5719 NEW BEST:: SOT 327230 SOS 66329 HAS SOPS 66329 HAS SOUS 46158 HAS SOUPS 46158 WITH SCORE 46224.329
AT ITER 5751 NEW BEST:: SOT 327229 SOS 66327 HAS SOPS 66327 HAS SOUS 46156 HAS SOUPS 46156 WITH SCORE 46222.327
AT ITER 5770 NEW BEST:: SOT 327151 SOS 66171 HAS SOPS 66171 HAS SOUS 46025 HAS SOUPS 46025 WITH SCORE 46091.171
AT ITER 5771 NEW BEST:: SOT 327145 SOS 66159 HAS SOPS 66159 HAS SOUS 46013 HAS SOUPS 46013 WITH SCORE 46079.159
AT ITER 5773 NEW BEST:: SOT 327145 SOS 66159 HAS SOPS 66159 HAS SOUS 45998 HAS SOUPS 45998 WITH SCORE 46064.159
AT ITER 5813 NEW BEST:: SOT 327190 SOS 66204 HAS SOPS 66204 HAS SOUS 45987 HAS SOUPS 45987 WITH SCORE 46053.204
AT ITER 5822 NEW BEST:: SOT 327186 SOS 66198 HAS SOPS 66198 HAS SOUS 45981 HAS SOUPS 45981 WITH SCORE 46047.198
AT ITER 5838 NEW BEST:: SOT 327195 SOS 66174 HAS SOPS 66174 HAS SOUS 45957 HAS SOUPS 45957 WITH SCORE 46023.174
AT ITER 5883 NEW BEST:: SOT 327193 SOS 66182 HAS SOPS 66182 HAS SOUS 45912 HAS SOUPS 45912 WITH SCORE 45978.182
AT ITER 5906 NEW BEST:: SOT 327181 SOS 66158 HAS SOPS 66158 HAS SOUS 45875 HAS SOUPS 45875 WITH SCORE 45941.158
AT ITER 5919 NEW BEST:: SOT 327177 SOS 66154 HAS SOPS 66154 HAS SOUS 45871 HAS SOUPS 45871 WITH SCORE 45937.154
AT ITER 5936 NEW BEST:: SOT 327149 SOS 66126 HAS SOPS 66126 HAS SOUS 45857 HAS SOUPS 45857 WITH SCORE 45923.126
AT ITER 5946 NEW BEST:: SOT 327149 SOS 66146 HAS SOPS 66146 HAS SOUS 45847 HAS SOUPS 45847 WITH SCORE 45913.146
AT ITER 5962 NEW BEST:: SOT 327127 SOS 66130 HAS SOPS 66130 HAS SOUS 45831 HAS SOUPS 45831 WITH SCORE 45897.13
AT ITER 5963 NEW BEST:: SOT 327123 SOS 66126 HAS SOPS 66126 HAS SOUS 45791 HAS SOUPS 45791 WITH SCORE 45857.126
AT ITER 5981 NEW BEST:: SOT 327112 SOS 66115 HAS SOPS 66115 HAS SOUS 45780 HAS SOUPS 45780 WITH SCORE 45846.115
AT ITER 5986 NEW BEST:: SOT 327111 SOS 66113 HAS SOPS 66113 HAS SOUS 45778 HAS SOUPS 45778 WITH SCORE 45844.113
AT ITER 6001 NEW BEST:: SOT 327111 SOS 66079 HAS SOPS 66079 HAS SOUS 45744 HAS SOUPS 45744 WITH SCORE 45810.079
AT ITER 6010 NEW BEST:: SOT 327111 SOS 66045 HAS SOPS 66045 HAS SOUS 45744 HAS SOUPS 45744 WITH SCORE 45810.045
AT ITER 6011 NEW BEST:: SOT 326982 SOS 65916 HAS SOPS 65916 HAS SOUS 45744 HAS SOUPS 45744 WITH SCORE 45809.916
AT ITER 6014 NEW BEST:: SOT 326981 SOS 65929 HAS SOPS 65929 HAS SOUS 45728 HAS SOUPS 45728 WITH SCORE 45793.929
AT ITER 6018 NEW BEST:: SOT 326979 SOS 65939 HAS SOPS 65939 HAS SOUS 45726 HAS SOUPS 45726 WITH SCORE 45791.939
AT ITER 6048 NEW BEST:: SOT 326963 SOS 65915 HAS SOPS 65915 HAS SOUS 45717 HAS SOUPS 45717 WITH SCORE 45782.915
AT ITER 6066 NEW BEST:: SOT 326890 SOS 65660 HAS SOPS 65660 HAS SOUS 45538 HAS SOUPS 45538 WITH SCORE 45603.66
AT ITER 6097 NEW BEST:: SOT 326927 SOS 65623 HAS SOPS 65623 HAS SOUS 45525 HAS SOUPS 45525 WITH SCORE 45590.623
AT ITER 6109 NEW BEST:: SOT 326962 SOS 65687 HAS SOPS 65687 HAS SOUS 45519 HAS SOUPS 45519 WITH SCORE 45584.687
AT ITER 6124 NEW BEST:: SOT 326969 SOS 65656 HAS SOPS 65656 HAS SOUS 45517 HAS SOUPS 45517 WITH SCORE 45582.656
AT ITER 6141 NEW BEST:: SOT 326943 SOS 65630 HAS SOPS 65630 HAS SOUS 45491 HAS SOUPS 45491 WITH SCORE 45556.63
AT ITER 6168 NEW BEST:: SOT 326923 SOS 65614 HAS SOPS 65614 HAS SOUS 45451 HAS SOUPS 45451 WITH SCORE 45516.614
AT ITER 6192 NEW BEST:: SOT 326916 SOS 65523 HAS SOPS 65523 HAS SOUS 45401 HAS SOUPS 45401 WITH SCORE 45466.523
AT ITER 6210 NEW BEST:: SOT 326919 SOS 65516 HAS SOPS 65516 HAS SOUS 45386 HAS SOUPS 45386 WITH SCORE 45451.516
AT ITER 6232 NEW BEST:: SOT 326910 SOS 65504 HAS SOPS 65504 HAS SOUS 45374 HAS SOUPS 45374 WITH SCORE 45439.504
AT ITER 6275 NEW BEST:: SOT 326934 SOS 65494 HAS SOPS 65494 HAS SOUS 45364 HAS SOUPS 45364 WITH SCORE 45429.494
AT ITER 6342 NEW BEST:: SOT 326927 SOS 65629 HAS SOPS 65629 HAS SOUS 45350 HAS SOUPS 45350 WITH SCORE 45415.629
AT ITER 6364 NEW BEST:: SOT 326880 SOS 65535 HAS SOPS 65535 HAS SOUS 45256 HAS SOUPS 45256 WITH SCORE 45321.535
AT ITER 6373 NEW BEST:: SOT 326854 SOS 65490 HAS SOPS 65490 HAS SOUS 45224 HAS SOUPS 45224 WITH SCORE 45289.49
AT ITER 6404 NEW BEST:: SOT 326823 SOS 65428 HAS SOPS 65428 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45258.428
AT ITER 6453 NEW BEST:: SOT 326719 SOS 65318 HAS SOPS 65318 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45154.318
AT ITER 6527 NEW BEST:: SOT 326719 SOS 65316 HAS SOPS 65316 HAS SOUS 45087 HAS SOUPS 45087 WITH SCORE 45152.316
AT ITER 6552 NEW BEST:: SOT 326710 SOS 65289 HAS SOPS 65289 HAS SOUS 45078 HAS SOUPS 45078 WITH SCORE 45143.289
AT ITER 6565 NEW BEST:: SOT 326620 SOS 66117 HAS SOPS 66117 HAS SOUS 45049 HAS SOUPS 45049 WITH SCORE 45115.117
AT ITER 6572 NEW BEST:: SOT 326618 SOS 66114 HAS SOPS 66114 HAS SOUS 45046 HAS SOUPS 45046 WITH SCORE 45112.114
AT ITER 6585 NEW BEST:: SOT 326603 SOS 66084 HAS SOPS 66084 HAS SOUS 45031 HAS SOUPS 45031 WITH SCORE 45097.084
AT ITER 6586 NEW BEST:: SOT 326583 SOS 66078 HAS SOPS 66078 HAS SOUS 45022 HAS SOUPS 45022 WITH SCORE 45088.078
AT ITER 6598 NEW BEST:: SOT 326549 SOS 66010 HAS SOPS 66010 HAS SOUS 44971 HAS SOUPS 44971 WITH SCORE 45037.01
AT ITER 6647 NEW BEST:: SOT 326557 SOS 66026 HAS SOPS 66026 HAS SOUS 44969 HAS SOUPS 44969 WITH SCORE 45035.026
AT ITER 6652 NEW BEST:: SOT 326552 SOS 66021 HAS SOPS 66021 HAS SOUS 44964 HAS SOUPS 44964 WITH SCORE 45030.021
AT ITER 6663 NEW BEST:: SOT 326551 SOS 66019 HAS SOPS 66019 HAS SOUS 44963 HAS SOUPS 44963 WITH SCORE 45029.019
AT ITER 6668 NEW BEST:: SOT 326530 SOS 66020 HAS SOPS 66020 HAS SOUS 44960 HAS SOUPS 44960 WITH SCORE 45026.02
AT ITER 6671 NEW BEST:: SOT 326505 SOS 65897 HAS SOPS 65897 HAS SOUS 44862 HAS SOUPS 44862 WITH SCORE 44927.897
AT ITER 6700 NEW BEST:: SOT 326497 SOS 65888 HAS SOPS 65888 HAS SOUS 44853 HAS SOUPS 44853 WITH SCORE 44918.888
AT ITER 6705 NEW BEST:: SOT 326497 SOS 65887 HAS SOPS 65887 HAS SOUS 44852 HAS SOUPS 44852 WITH SCORE 44917.887
AT ITER 6708 NEW BEST:: SOT 326485 SOS 65875 HAS SOPS 65875 HAS SOUS 44844 HAS SOUPS 44844 WITH SCORE 44909.875
AT ITER 6710 NEW BEST:: SOT 326444 SOS 65834 HAS SOPS 65834 HAS SOUS 44844 HAS SOUPS 44844 WITH SCORE 44909.834
AT ITER 6724 NEW BEST:: SOT 326444 SOS 65834 HAS SOPS 65834 HAS SOUS 44843 HAS SOUPS 44843 WITH SCORE 44908.834
AT ITER 6810 NEW BEST:: SOT 326423 SOS 65792 HAS SOPS 65792 HAS SOUS 44801 HAS SOUPS 44801 WITH SCORE 44866.792
AT ITER 6811 NEW BEST:: SOT 326415 SOS 65776 HAS SOPS 65776 HAS SOUS 44793 HAS SOUPS 44793 WITH SCORE 44858.776
AT ITER 6859 NEW BEST:: SOT 326387 SOS 65714 HAS SOPS 65714 HAS SOUS 44731 HAS SOUPS 44731 WITH SCORE 44796.714
AT ITER 6861 NEW BEST:: SOT 326359 SOS 65658 HAS SOPS 65658 HAS SOUS 44675 HAS SOUPS 44675 WITH SCORE 44740.658
AT ITER 6867 NEW BEST:: SOT 326374 SOS 65673 HAS SOPS 65673 HAS SOUS 44673 HAS SOUPS 44673 WITH SCORE 44738.673
AT ITER 6870 NEW BEST:: SOT 326380 SOS 65671 HAS SOPS 65671 HAS SOUS 44671 HAS SOUPS 44671 WITH SCORE 44736.671
AT ITER 6872 NEW BEST:: SOT 326302 SOS 65593 HAS SOPS 65593 HAS SOUS 44593 HAS SOUPS 44593 WITH SCORE 44658.593
AT ITER 6886 NEW BEST:: SOT 326302 SOS 65523 HAS SOPS 65523 HAS SOUS 44523 HAS SOUPS 44523 WITH SCORE 44588.523
AT ITER 6899 NEW BEST:: SOT 326302 SOS 65418 HAS SOPS 65418 HAS SOUS 44418 HAS SOUPS 44418 WITH SCORE 44483.418
AT ITER 6940 NEW BEST:: SOT 326259 SOS 65332 HAS SOPS 65332 HAS SOUS 44375 HAS SOUPS 44375 WITH SCORE 44440.332
AT ITER 6955 NEW BEST:: SOT 326275 SOS 65312 HAS SOPS 65312 HAS SOUS 44355 HAS SOUPS 44355 WITH SCORE 44420.312
AT ITER 6967 NEW BEST:: SOT 326275 SOS 65312 HAS SOPS 65312 HAS SOUS 44354 HAS SOUPS 44354 WITH SCORE 44419.312
AT ITER 7021 NEW BEST:: SOT 326275 SOS 65231 HAS SOPS 65231 HAS SOUS 44273 HAS SOUPS 44273 WITH SCORE 44338.231
AT ITER 7060 NEW BEST:: SOT 326285 SOS 65225 HAS SOPS 65225 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44332.225
AT ITER 7110 NEW BEST:: SOT 326298 SOS 65213 HAS SOPS 65213 HAS SOUS 44266 HAS SOUPS 44266 WITH SCORE 44331.213
AT ITER 7126 NEW BEST:: SOT 326288 SOS 65039 HAS SOPS 65039 HAS SOUS 44238 HAS SOUPS 44238 WITH SCORE 44303.039
AT ITER 7134 NEW BEST:: SOT 326275 SOS 65015 HAS SOPS 65015 HAS SOUS 44214 HAS SOUPS 44214 WITH SCORE 44279.015
AT ITER 7152 NEW BEST:: SOT 326304 SOS 64943 HAS SOPS 64943 HAS SOUS 44197 HAS SOUPS 44197 WITH SCORE 44261.943
AT ITER 7157 NEW BEST:: SOT 326301 SOS 64940 HAS SOPS 64940 HAS SOUS 44197 HAS SOUPS 44197 WITH SCORE 44261.94
AT ITER 7193 NEW BEST:: SOT 326299 SOS 64936 HAS SOPS 64936 HAS SOUS 44164 HAS SOUPS 44164 WITH SCORE 44228.936
AT ITER 7264 NEW BEST:: SOT 326282 SOS 64919 HAS SOPS 64919 HAS SOUS 44147 HAS SOUPS 44147 WITH SCORE 44211.919
AT ITER 7265 NEW BEST:: SOT 326149 SOS 64848 HAS SOPS 64848 HAS SOUS 44118 HAS SOUPS 44118 WITH SCORE 44182.848
AT ITER 7292 NEW BEST:: SOT 326185 SOS 64884 HAS SOPS 64884 HAS SOUS 44116 HAS SOUPS 44116 WITH SCORE 44180.884
AT ITER 7295 NEW BEST:: SOT 326152 SOS 64851 HAS SOPS 64851 HAS SOUS 44116 HAS SOUPS 44116 WITH SCORE 44180.851
AT ITER 7321 NEW BEST:: SOT 326147 SOS 64841 HAS SOPS 64841 HAS SOUS 44106 HAS SOUPS 44106 WITH SCORE 44170.841
AT ITER 7328 NEW BEST:: SOT 326110 SOS 64733 HAS SOPS 64733 HAS SOUS 43998 HAS SOUPS 43998 WITH SCORE 44062.733
AT ITER 7340 NEW BEST:: SOT 326112 SOS 64701 HAS SOPS 64701 HAS SOUS 43966 HAS SOUPS 43966 WITH SCORE 44030.701
AT ITER 7364 NEW BEST:: SOT 326091 SOS 64692 HAS SOPS 64692 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44021.692
AT ITER 7380 NEW BEST:: SOT 326069 SOS 64648 HAS SOPS 64648 HAS SOUS 43945 HAS SOUPS 43945 WITH SCORE 44009.648
AT ITER 7392 NEW BEST:: SOT 326074 SOS 64646 HAS SOPS 64646 HAS SOUS 43943 HAS SOUPS 43943 WITH SCORE 44007.646
AT ITER 7437 NEW BEST:: SOT 326031 SOS 64560 HAS SOPS 64560 HAS SOUS 43857 HAS SOUPS 43857 WITH SCORE 43921.56
AT ITER 7442 NEW BEST:: SOT 326031 SOS 64531 HAS SOPS 64531 HAS SOUS 43828 HAS SOUPS 43828 WITH SCORE 43892.531
AT ITER 7452 NEW BEST:: SOT 326011 SOS 64501 HAS SOPS 64501 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43862.501
AT ITER 7470 NEW BEST:: SOT 326005 SOS 64489 HAS SOPS 64489 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43817.489
AT ITER 7537 NEW BEST:: SOT 326002 SOS 64494 HAS SOPS 64494 HAS SOUS 43747 HAS SOUPS 43747 WITH SCORE 43811.494
AT ITER 7614 NEW BEST:: SOT 325937 SOS 64366 HAS SOPS 64366 HAS SOUS 43649 HAS SOUPS 43649 WITH SCORE 43713.366
AT ITER 7627 NEW BEST:: SOT 325927 SOS 64346 HAS SOPS 64346 HAS SOUS 43629 HAS SOUPS 43629 WITH SCORE 43693.346
AT ITER 7633 NEW BEST:: SOT 325920 SOS 64332 HAS SOPS 64332 HAS SOUS 43615 HAS SOUPS 43615 WITH SCORE 43679.332
AT ITER 7636 NEW BEST:: SOT 325958 SOS 64333 HAS SOPS 64333 HAS SOUS 43595 HAS SOUPS 43595 WITH SCORE 43659.333
AT ITER 7668 NEW BEST:: SOT 325958 SOS 64333 HAS SOPS 64333 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43650.333
AT ITER 7671 NEW BEST:: SOT 325942 SOS 64317 HAS SOPS 64317 HAS SOUS 43578 HAS SOUPS 43578 WITH SCORE 43642.317
AT ITER 7679 NEW BEST:: SOT 325942 SOS 64317 HAS SOPS 64317 HAS SOUS 43570 HAS SOUPS 43570 WITH SCORE 43634.317
AT ITER 7720 NEW BEST:: SOT 325942 SOS 64317 HAS SOPS 64317 HAS SOUS 43522 HAS SOUPS 43522 WITH SCORE 43586.317
AT ITER 7745 NEW BEST:: SOT 325901 SOS 64235 HAS SOPS 64235 HAS SOUS 43438 HAS SOUPS 43438 WITH SCORE 43502.235
AT ITER 7765 NEW BEST:: SOT 325885 SOS 64219 HAS SOPS 64219 HAS SOUS 43422 HAS SOUPS 43422 WITH SCORE 43486.219
AT ITER 7768 NEW BEST:: SOT 325859 SOS 64115 HAS SOPS 64115 HAS SOUS 43370 HAS SOUPS 43370 WITH SCORE 43434.115
AT ITER 7799 NEW BEST:: SOT 325891 SOS 64179 HAS SOPS 64179 HAS SOUS 43368 HAS SOUPS 43368 WITH SCORE 43432.179
AT ITER 7806 NEW BEST:: SOT 325859 SOS 64147 HAS SOPS 64147 HAS SOUS 43335 HAS SOUPS 43335 WITH SCORE 43399.147
AT ITER 7837 NEW BEST:: SOT 325859 SOS 64147 HAS SOPS 64147 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43384.147
AT ITER 7868 NEW BEST:: SOT 325780 SOS 63989 HAS SOPS 63989 HAS SOUS 43246 HAS SOUPS 43246 WITH SCORE 43309.989
AT ITER 7887 NEW BEST:: SOT 325709 SOS 63433 HAS SOPS 63433 HAS SOUS 43167 HAS SOUPS 43167 WITH SCORE 43230.433
AT ITER 7894 NEW BEST:: SOT 325701 SOS 63417 HAS SOPS 63417 HAS SOUS 43159 HAS SOUPS 43159 WITH SCORE 43222.417
AT ITER 7904 NEW BEST:: SOT 325649 SOS 63547 HAS SOPS 63547 HAS SOUS 43120 HAS SOUPS 43120 WITH SCORE 43183.547
AT ITER 7939 NEW BEST:: SOT 325647 SOS 63545 HAS SOPS 63545 HAS SOUS 43118 HAS SOUPS 43118 WITH SCORE 43181.545
AT ITER 7951 NEW BEST:: SOT 325643 SOS 63537 HAS SOPS 63537 HAS SOUS 43110 HAS SOUPS 43110 WITH SCORE 43173.537
AT ITER 7962 NEW BEST:: SOT 325625 SOS 63501 HAS SOPS 63501 HAS SOUS 43027 HAS SOUPS 43027 WITH SCORE 43090.501
AT ITER 7965 NEW BEST:: SOT 325625 SOS 63500 HAS SOPS 63500 HAS SOUS 43026 HAS SOUPS 43026 WITH SCORE 43089.5
AT ITER 7971 NEW BEST:: SOT 325641 SOS 63446 HAS SOPS 63446 HAS SOUS 42956 HAS SOUPS 42956 WITH SCORE 43019.446
AT ITER 7991 NEW BEST:: SOT 325642 SOS 63448 HAS SOPS 63448 HAS SOUS 42954 HAS SOUPS 42954 WITH SCORE 43017.448
AT ITER 8037 NEW BEST:: SOT 325639 SOS 63442 HAS SOPS 63442 HAS SOUS 42948 HAS SOUPS 42948 WITH SCORE 43011.442
AT ITER 8042 NEW BEST:: SOT 325611 SOS 63386 HAS SOPS 63386 HAS SOUS 42906 HAS SOUPS 42906 WITH SCORE 42969.386
AT ITER 8050 NEW BEST:: SOT 325601 SOS 63371 HAS SOPS 63371 HAS SOUS 42891 HAS SOUPS 42891 WITH SCORE 42954.371
AT ITER 8056 NEW BEST:: SOT 325587 SOS 63343 HAS SOPS 63343 HAS SOUS 42877 HAS SOUPS 42877 WITH SCORE 42940.343
AT ITER 8077 NEW BEST:: SOT 325571 SOS 63320 HAS SOPS 63320 HAS SOUS 42862 HAS SOUPS 42862 WITH SCORE 42925.32
AT ITER 8092 NEW BEST:: SOT 325488 SOS 63154 HAS SOPS 63154 HAS SOUS 42696 HAS SOUPS 42696 WITH SCORE 42759.154
AT ITER 8165 NEW BEST:: SOT 325460 SOS 63098 HAS SOPS 63098 HAS SOUS 42640 HAS SOUPS 42640 WITH SCORE 42703.098
AT ITER 8186 NEW BEST:: SOT 325461 SOS 63053 HAS SOPS 63053 HAS SOUS 42556 HAS SOUPS 42556 WITH SCORE 42619.053
AT ITER 8197 NEW BEST:: SOT 325402 SOS 63643 HAS SOPS 63643 HAS SOUS 42524 HAS SOUPS 42524 WITH SCORE 42587.643
AT ITER 8233 NEW BEST:: SOT 325402 SOS 63606 HAS SOPS 63606 HAS SOUS 42510 HAS SOUPS 42510 WITH SCORE 42573.606
AT ITER 8235 NEW BEST:: SOT 325414 SOS 63597 HAS SOPS 63597 HAS SOUS 42501 HAS SOUPS 42501 WITH SCORE 42564.597
AT ITER 8258 NEW BEST:: SOT 325448 SOS 63509 HAS SOPS 63509 HAS SOUS 42413 HAS SOUPS 42413 WITH SCORE 42476.509
AT ITER 8286 NEW BEST:: SOT 325455 SOS 63516 HAS SOPS 63516 HAS SOUS 42315 HAS SOUPS 42315 WITH SCORE 42378.516
AT ITER 8297 NEW BEST:: SOT 325427 SOS 63460 HAS SOPS 63460 HAS SOUS 42311 HAS SOUPS 42311 WITH SCORE 42374.46
AT ITER 8317 NEW BEST:: SOT 325427 SOS 63460 HAS SOPS 63460 HAS SOUS 42241 HAS SOUPS 42241 WITH SCORE 42304.46
AT ITER 8343 NEW BEST:: SOT 325426 SOS 63458 HAS SOPS 63458 HAS SOUS 42220 HAS SOUPS 42220 WITH SCORE 42283.458
AT ITER 8359 NEW BEST:: SOT 325426 SOS 63412 HAS SOPS 63412 HAS SOUS 42220 HAS SOUPS 42220 WITH SCORE 42283.412
AT ITER 8384 NEW BEST:: SOT 325436 SOS 63402 HAS SOPS 63402 HAS SOUS 42210 HAS SOUPS 42210 WITH SCORE 42273.402
AT ITER 8393 NEW BEST:: SOT 325390 SOS 63356 HAS SOPS 63356 HAS SOUS 42196 HAS SOUPS 42196 WITH SCORE 42259.356
AT ITER 8395 NEW BEST:: SOT 325375 SOS 63348 HAS SOPS 63348 HAS SOUS 42188 HAS SOUPS 42188 WITH SCORE 42251.348
AT ITER 8414 NEW BEST:: SOT 325358 SOS 63284 HAS SOPS 63284 HAS SOUS 42141 HAS SOUPS 42141 WITH SCORE 42204.284
AT ITER 8429 NEW BEST:: SOT 325374 SOS 63366 HAS SOPS 63366 HAS SOUS 42139 HAS SOUPS 42139 WITH SCORE 42202.366
AT ITER 8474 NEW BEST:: SOT 325374 SOS 63366 HAS SOPS 63366 HAS SOUS 42072 HAS SOUPS 42072 WITH SCORE 42135.366
AT ITER 8491 NEW BEST:: SOT 325329 SOS 63276 HAS SOPS 63276 HAS SOUS 41982 HAS SOUPS 41982 WITH SCORE 42045.276
AT ITER 8494 NEW BEST:: SOT 325297 SOS 63212 HAS SOPS 63212 HAS SOUS 41958 HAS SOUPS 41958 WITH SCORE 42021.212
AT ITER 8496 NEW BEST:: SOT 325255 SOS 63170 HAS SOPS 63170 HAS SOUS 41958 HAS SOUPS 41958 WITH SCORE 42021.17
AT ITER 8530 NEW BEST:: SOT 325255 SOS 63170 HAS SOPS 63170 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41958.17
AT ITER 8576 NEW BEST:: SOT 325242 SOS 63144 HAS SOPS 63144 HAS SOUS 41869 HAS SOUPS 41869 WITH SCORE 41932.144
AT ITER 8668 NEW BEST:: SOT 325247 SOS 63139 HAS SOPS 63139 HAS SOUS 41855 HAS SOUPS 41855 WITH SCORE 41918.139
AT ITER 8672 NEW BEST:: SOT 325249 SOS 63105 HAS SOPS 63105 HAS SOUS 41837 HAS SOUPS 41837 WITH SCORE 41900.105
AT ITER 8704 NEW BEST:: SOT 325225 SOS 63057 HAS SOPS 63057 HAS SOUS 41789 HAS SOUPS 41789 WITH SCORE 41852.057
AT ITER 8746 NEW BEST:: SOT 325108 SOS 62925 HAS SOPS 62925 HAS SOUS 41754 HAS SOUPS 41754 WITH SCORE 41816.925
AT ITER 8752 NEW BEST:: SOT 325071 SOS 62888 HAS SOPS 62888 HAS SOUS 41753 HAS SOUPS 41753 WITH SCORE 41815.888
AT ITER 8804 NEW BEST:: SOT 324932 SOS 62794 HAS SOPS 62794 HAS SOUS 41706 HAS SOUPS 41706 WITH SCORE 41768.794
AT ITER 8823 NEW BEST:: SOT 324920 SOS 62791 HAS SOPS 62791 HAS SOUS 41703 HAS SOUPS 41703 WITH SCORE 41765.791
AT ITER 8852 NEW BEST:: SOT 324919 SOS 62789 HAS SOPS 62789 HAS SOUS 41703 HAS SOUPS 41703 WITH SCORE 41765.789
AT ITER 8868 NEW BEST:: SOT 324911 SOS 62773 HAS SOPS 62773 HAS SOUS 41687 HAS SOUPS 41687 WITH SCORE 41749.773
AT ITER 8869 NEW BEST:: SOT 324915 SOS 62781 HAS SOPS 62781 HAS SOUS 41662 HAS SOUPS 41662 WITH SCORE 41724.781
AT ITER 8915 NEW BEST:: SOT 324869 SOS 62773 HAS SOPS 62773 HAS SOUS 41617 HAS SOUPS 41617 WITH SCORE 41679.773
AT ITER 8936 NEW BEST:: SOT 324852 SOS 62716 HAS SOPS 62716 HAS SOUS 41594 HAS SOUPS 41594 WITH SCORE 41656.716
AT ITER 9046 NEW BEST:: SOT 324798 SOS 62683 HAS SOPS 62683 HAS SOUS 41568 HAS SOUPS 41568 WITH SCORE 41630.683
AT ITER 9054 NEW BEST:: SOT 324782 SOS 62630 HAS SOPS 62630 HAS SOUS 41549 HAS SOUPS 41549 WITH SCORE 41611.63
AT ITER 9060 NEW BEST:: SOT 324784 SOS 62616 HAS SOPS 62616 HAS SOUS 41539 HAS SOUPS 41539 WITH SCORE 41601.616
AT ITER 9127 NEW BEST:: SOT 324765 SOS 62578 HAS SOPS 62578 HAS SOUS 41501 HAS SOUPS 41501 WITH SCORE 41563.578
AT ITER 9143 NEW BEST:: SOT 324740 SOS 62553 HAS SOPS 62553 HAS SOUS 41451 HAS SOUPS 41451 WITH SCORE 41513.553
AT ITER 9148 NEW BEST:: SOT 324757 SOS 62542 HAS SOPS 62542 HAS SOUS 41440 HAS SOUPS 41440 WITH SCORE 41502.542
AT ITER 9183 NEW BEST:: SOT 324757 SOS 62535 HAS SOPS 62535 HAS SOUS 41433 HAS SOUPS 41433 WITH SCORE 41495.535
AT ITER 9214 NEW BEST:: SOT 324743 SOS 62507 HAS SOPS 62507 HAS SOUS 41419 HAS SOUPS 41419 WITH SCORE 41481.507
AT ITER 9221 NEW BEST:: SOT 324743 SOS 62343 HAS SOPS 62343 HAS SOUS 41419 HAS SOUPS 41419 WITH SCORE 41481.343
AT ITER 9253 NEW BEST:: SOT 324743 SOS 62343 HAS SOPS 62343 HAS SOUS 41393 HAS SOUPS 41393 WITH SCORE 41455.343
AT ITER 9310 NEW BEST:: SOT 324742 SOS 62341 HAS SOPS 62341 HAS SOUS 41391 HAS SOUPS 41391 WITH SCORE 41453.341
AT ITER 9312 NEW BEST:: SOT 324746 SOS 62329 HAS SOPS 62329 HAS SOUS 41379 HAS SOUPS 41379 WITH SCORE 41441.329
AT ITER 9347 NEW BEST:: SOT 324790 SOS 62364 HAS SOPS 62364 HAS SOUS 41352 HAS SOUPS 41352 WITH SCORE 41414.364
AT ITER 9398 NEW BEST:: SOT 324778 SOS 62352 HAS SOPS 62352 HAS SOUS 41340 HAS SOUPS 41340 WITH SCORE 41402.352
AT ITER 9411 NEW BEST:: SOT 324778 SOS 62294 HAS SOPS 62294 HAS SOUS 41297 HAS SOUPS 41297 WITH SCORE 41359.294
AT ITER 9427 NEW BEST:: SOT 324734 SOS 62206 HAS SOPS 62206 HAS SOUS 41261 HAS SOUPS 41261 WITH SCORE 41323.206
AT ITER 9522 NEW BEST:: SOT 324713 SOS 62185 HAS SOPS 62185 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41302.185
AT ITER 9535 NEW BEST:: SOT 324707 SOS 62173 HAS SOPS 62173 HAS SOUS 41228 HAS SOUPS 41228 WITH SCORE 41290.173
AT ITER 9601 NEW BEST:: SOT 324699 SOS 62161 HAS SOPS 62161 HAS SOUS 41216 HAS SOUPS 41216 WITH SCORE 41278.161
AT ITER 9616 NEW BEST:: SOT 324686 SOS 62153 HAS SOPS 62153 HAS SOUS 41208 HAS SOUPS 41208 WITH SCORE 41270.153
AT ITER 9636 NEW BEST:: SOT 324685 SOS 62151 HAS SOPS 62151 HAS SOUS 41207 HAS SOUPS 41207 WITH SCORE 41269.151
AT ITER 9720 NEW BEST:: SOT 324685 SOS 62105 HAS SOPS 62105 HAS SOUS 41177 HAS SOUPS 41177 WITH SCORE 41239.105
AT ITER 9824 NEW BEST:: SOT 324574 SOS 62044 HAS SOPS 62044 HAS SOUS 41142 HAS SOUPS 41142 WITH SCORE 41204.044
AT ITER 9829 NEW BEST:: SOT 324554 SOS 62004 HAS SOPS 62004 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41167.004
AT ITER 9894 NEW BEST:: SOT 324548 SOS 61992 HAS SOPS 61992 HAS SOUS 41093 HAS SOUPS 41093 WITH SCORE 41154.992
AT ITER 9903 NEW BEST:: SOT 324524 SOS 61968 HAS SOPS 61968 HAS SOUS 41093 HAS SOUPS 41093 WITH SCORE 41154.968
AT ITER 9920 NEW BEST:: SOT 324445 SOS 61584 HAS SOPS 61584 HAS SOUS 41029 HAS SOUPS 41029 WITH SCORE 41090.584
AT ITER 9950 NEW BEST:: SOT 324445 SOS 61584 HAS SOPS 61584 HAS SOUS 41026 HAS SOUPS 41026 WITH SCORE 41087.584
AT ITER 9959 NEW BEST:: SOT 324445 SOS 61584 HAS SOPS 61584 HAS SOUS 41023 HAS SOUPS 41023 WITH SCORE 41084.584
AT ITER 9993 NEW BEST:: SOT 324447 SOS 61584 HAS SOPS 61584 HAS SOUS 41021 HAS SOUPS 41021 WITH SCORE 41082.584

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

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