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.r195-smll-167840342000144.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 GPUForwardProgress-PT-36b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342000144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 8.0K Feb 25 14:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 14:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 25 14:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 14:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 179K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678462729647

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=GPUForwardProgress-PT-36b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 36b
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: 720 places, 757 transitions, 1877 arcs.
AT ITER 0 NEW BEST:: SOT 308106 SOS 82563 HAS SOPS 82563 HAS SOUS 75087 HAS SOUPS 75087 WITH SCORE 75169.563
AT ITER 9 NEW BEST:: SOT 308106 SOS 82395 HAS SOPS 82395 HAS SOUS 75086 HAS SOUPS 75086 WITH SCORE 75168.395
AT ITER 20 NEW BEST:: SOT 307975 SOS 82258 HAS SOPS 82258 HAS SOUS 74955 HAS SOUPS 74955 WITH SCORE 75037.258
AT ITER 30 NEW BEST:: SOT 307975 SOS 82108 HAS SOPS 82108 HAS SOUS 74880 HAS SOUPS 74880 WITH SCORE 74962.108
AT ITER 47 NEW BEST:: SOT 307975 SOS 82077 HAS SOPS 82077 HAS SOUS 74848 HAS SOUPS 74848 WITH SCORE 74930.077
AT ITER 51 NEW BEST:: SOT 307975 SOS 81981 HAS SOPS 81981 HAS SOUS 74848 HAS SOUPS 74848 WITH SCORE 74929.981
AT ITER 52 NEW BEST:: SOT 307975 SOS 81981 HAS SOPS 81981 HAS SOUS 74847 HAS SOUPS 74847 WITH SCORE 74928.981
AT ITER 55 NEW BEST:: SOT 307975 SOS 81921 HAS SOPS 81921 HAS SOUS 74787 HAS SOUPS 74787 WITH SCORE 74868.921
AT ITER 61 NEW BEST:: SOT 307960 SOS 81891 HAS SOPS 81891 HAS SOUS 74772 HAS SOUPS 74772 WITH SCORE 74853.891
AT ITER 64 NEW BEST:: SOT 307902 SOS 81821 HAS SOPS 81821 HAS SOUS 74714 HAS SOUPS 74714 WITH SCORE 74795.821
AT ITER 73 NEW BEST:: SOT 307926 SOS 81805 HAS SOPS 81805 HAS SOUS 74708 HAS SOUPS 74708 WITH SCORE 74789.805
AT ITER 110 NEW BEST:: SOT 307926 SOS 81716 HAS SOPS 81716 HAS SOUS 74619 HAS SOUPS 74619 WITH SCORE 74700.716
AT ITER 121 NEW BEST:: SOT 307926 SOS 81614 HAS SOPS 81614 HAS SOUS 74619 HAS SOUPS 74619 WITH SCORE 74700.614
AT ITER 129 NEW BEST:: SOT 307926 SOS 81614 HAS SOPS 81614 HAS SOUS 74617 HAS SOUPS 74617 WITH SCORE 74698.614
AT ITER 143 NEW BEST:: SOT 307880 SOS 81568 HAS SOPS 81568 HAS SOUS 74571 HAS SOUPS 74571 WITH SCORE 74652.568
AT ITER 169 NEW BEST:: SOT 307872 SOS 81567 HAS SOPS 81567 HAS SOUS 74570 HAS SOUPS 74570 WITH SCORE 74651.567
AT ITER 171 NEW BEST:: SOT 307872 SOS 81365 HAS SOPS 81365 HAS SOUS 74569 HAS SOUPS 74569 WITH SCORE 74650.365
AT ITER 174 NEW BEST:: SOT 307795 SOS 81271 HAS SOPS 81271 HAS SOUS 74492 HAS SOUPS 74492 WITH SCORE 74573.271
AT ITER 176 NEW BEST:: SOT 307795 SOS 81271 HAS SOPS 81271 HAS SOUS 74491 HAS SOUPS 74491 WITH SCORE 74572.271
AT ITER 195 NEW BEST:: SOT 307795 SOS 81173 HAS SOPS 81173 HAS SOUS 74405 HAS SOUPS 74405 WITH SCORE 74486.173
AT ITER 209 NEW BEST:: SOT 307755 SOS 81133 HAS SOPS 81133 HAS SOUS 74365 HAS SOUPS 74365 WITH SCORE 74446.133
AT ITER 221 NEW BEST:: SOT 307786 SOS 81195 HAS SOPS 81195 HAS SOUS 74344 HAS SOUPS 74344 WITH SCORE 74425.195
AT ITER 228 NEW BEST:: SOT 307701 SOS 81095 HAS SOPS 81095 HAS SOUS 74263 HAS SOUPS 74263 WITH SCORE 74344.095
AT ITER 260 NEW BEST:: SOT 307701 SOS 81095 HAS SOPS 81095 HAS SOUS 74217 HAS SOUPS 74217 WITH SCORE 74298.095
AT ITER 261 NEW BEST:: SOT 307701 SOS 81066 HAS SOPS 81066 HAS SOUS 74217 HAS SOUPS 74217 WITH SCORE 74298.066
AT ITER 266 NEW BEST:: SOT 307778 SOS 80904 HAS SOPS 80904 HAS SOUS 74149 HAS SOUPS 74149 WITH SCORE 74229.904
AT ITER 268 NEW BEST:: SOT 307734 SOS 80845 HAS SOPS 80845 HAS SOUS 74117 HAS SOUPS 74117 WITH SCORE 74197.845
AT ITER 269 NEW BEST:: SOT 307734 SOS 80845 HAS SOPS 80845 HAS SOUS 74058 HAS SOUPS 74058 WITH SCORE 74138.845
AT ITER 277 NEW BEST:: SOT 307615 SOS 80722 HAS SOPS 80722 HAS SOUS 73939 HAS SOUPS 73939 WITH SCORE 74019.722
AT ITER 278 NEW BEST:: SOT 307561 SOS 80668 HAS SOPS 80668 HAS SOUS 73939 HAS SOUPS 73939 WITH SCORE 74019.668
AT ITER 297 NEW BEST:: SOT 307546 SOS 80638 HAS SOPS 80638 HAS SOUS 73924 HAS SOUPS 73924 WITH SCORE 74004.638
AT ITER 325 NEW BEST:: SOT 307531 SOS 80585 HAS SOPS 80585 HAS SOUS 73886 HAS SOUPS 73886 WITH SCORE 73966.585
AT ITER 327 NEW BEST:: SOT 307531 SOS 80544 HAS SOPS 80544 HAS SOUS 73845 HAS SOUPS 73845 WITH SCORE 73925.544
AT ITER 345 NEW BEST:: SOT 307531 SOS 80544 HAS SOPS 80544 HAS SOUS 73844 HAS SOUPS 73844 WITH SCORE 73924.544
AT ITER 365 NEW BEST:: SOT 307531 SOS 80544 HAS SOPS 80544 HAS SOUS 73775 HAS SOUPS 73775 WITH SCORE 73855.544
AT ITER 385 NEW BEST:: SOT 307531 SOS 80544 HAS SOPS 80544 HAS SOUS 73774 HAS SOUPS 73774 WITH SCORE 73854.544
AT ITER 424 NEW BEST:: SOT 307486 SOS 80499 HAS SOPS 80499 HAS SOUS 73774 HAS SOUPS 73774 WITH SCORE 73854.499
AT ITER 433 NEW BEST:: SOT 307486 SOS 80499 HAS SOPS 80499 HAS SOUS 73699 HAS SOUPS 73699 WITH SCORE 73779.499
AT ITER 459 NEW BEST:: SOT 307455 SOS 80437 HAS SOPS 80437 HAS SOUS 73684 HAS SOUPS 73684 WITH SCORE 73764.437
AT ITER 468 NEW BEST:: SOT 307348 SOS 80193 HAS SOPS 80193 HAS SOUS 73538 HAS SOUPS 73538 WITH SCORE 73618.193
AT ITER 488 NEW BEST:: SOT 307329 SOS 80174 HAS SOPS 80174 HAS SOUS 73519 HAS SOUPS 73519 WITH SCORE 73599.174
AT ITER 500 NEW BEST:: SOT 307236 SOS 80079 HAS SOPS 80079 HAS SOUS 73400 HAS SOUPS 73400 WITH SCORE 73480.079
AT ITER 513 NEW BEST:: SOT 307169 SOS 79988 HAS SOPS 79988 HAS SOUS 73321 HAS SOUPS 73321 WITH SCORE 73400.988
AT ITER 524 NEW BEST:: SOT 307183 SOS 79966 HAS SOPS 79966 HAS SOUS 73310 HAS SOUPS 73310 WITH SCORE 73389.966
AT ITER 536 NEW BEST:: SOT 307203 SOS 79888 HAS SOPS 79888 HAS SOUS 73273 HAS SOUPS 73273 WITH SCORE 73352.888
AT ITER 567 NEW BEST:: SOT 307203 SOS 79772 HAS SOPS 79772 HAS SOUS 73273 HAS SOUPS 73273 WITH SCORE 73352.772
AT ITER 570 NEW BEST:: SOT 307193 SOS 79863 HAS SOPS 79863 HAS SOUS 73263 HAS SOUPS 73263 WITH SCORE 73342.863
AT ITER 576 NEW BEST:: SOT 307193 SOS 79749 HAS SOPS 79749 HAS SOUS 73247 HAS SOUPS 73247 WITH SCORE 73326.749
AT ITER 577 NEW BEST:: SOT 307208 SOS 79779 HAS SOPS 79779 HAS SOUS 73230 HAS SOUPS 73230 WITH SCORE 73309.779
AT ITER 584 NEW BEST:: SOT 307279 SOS 79689 HAS SOPS 79689 HAS SOUS 73220 HAS SOUPS 73220 WITH SCORE 73299.689
AT ITER 591 NEW BEST:: SOT 307184 SOS 79574 HAS SOPS 79574 HAS SOUS 73125 HAS SOUPS 73125 WITH SCORE 73204.574
AT ITER 624 NEW BEST:: SOT 307184 SOS 79574 HAS SOPS 79574 HAS SOUS 73035 HAS SOUPS 73035 WITH SCORE 73114.574
AT ITER 633 NEW BEST:: SOT 307148 SOS 79527 HAS SOPS 79527 HAS SOUS 72999 HAS SOUPS 72999 WITH SCORE 73078.527
AT ITER 652 NEW BEST:: SOT 307148 SOS 79527 HAS SOPS 79527 HAS SOUS 72998 HAS SOUPS 72998 WITH SCORE 73077.527
AT ITER 685 NEW BEST:: SOT 307148 SOS 79481 HAS SOPS 79481 HAS SOUS 72952 HAS SOUPS 72952 WITH SCORE 73031.481
AT ITER 689 NEW BEST:: SOT 307143 SOS 79480 HAS SOPS 79480 HAS SOUS 72951 HAS SOUPS 72951 WITH SCORE 73030.48
AT ITER 709 NEW BEST:: SOT 306937 SOS 79377 HAS SOPS 79377 HAS SOUS 72848 HAS SOUPS 72848 WITH SCORE 72927.377
AT ITER 711 NEW BEST:: SOT 306937 SOS 79377 HAS SOPS 79377 HAS SOUS 72847 HAS SOUPS 72847 WITH SCORE 72926.377
AT ITER 713 NEW BEST:: SOT 306937 SOS 79228 HAS SOPS 79228 HAS SOUS 72698 HAS SOUPS 72698 WITH SCORE 72777.228
AT ITER 728 NEW BEST:: SOT 306937 SOS 79185 HAS SOPS 79185 HAS SOUS 72698 HAS SOUPS 72698 WITH SCORE 72777.185
AT ITER 731 NEW BEST:: SOT 306899 SOS 79147 HAS SOPS 79147 HAS SOUS 72660 HAS SOUPS 72660 WITH SCORE 72739.147
AT ITER 733 NEW BEST:: SOT 306825 SOS 79060 HAS SOPS 79060 HAS SOUS 72573 HAS SOUPS 72573 WITH SCORE 72652.06
AT ITER 751 NEW BEST:: SOT 306730 SOS 78965 HAS SOPS 78965 HAS SOUS 72478 HAS SOUPS 72478 WITH SCORE 72556.965
AT ITER 757 NEW BEST:: SOT 306730 SOS 78965 HAS SOPS 78965 HAS SOUS 72477 HAS SOUPS 72477 WITH SCORE 72555.965
AT ITER 758 NEW BEST:: SOT 306730 SOS 78960 HAS SOPS 78960 HAS SOUS 72472 HAS SOUPS 72472 WITH SCORE 72550.96
AT ITER 765 NEW BEST:: SOT 306730 SOS 78960 HAS SOPS 78960 HAS SOUS 72385 HAS SOUPS 72385 WITH SCORE 72463.96
AT ITER 772 NEW BEST:: SOT 306730 SOS 78835 HAS SOPS 78835 HAS SOUS 72260 HAS SOUPS 72260 WITH SCORE 72338.835
AT ITER 777 NEW BEST:: SOT 306726 SOS 78827 HAS SOPS 78827 HAS SOUS 72252 HAS SOUPS 72252 WITH SCORE 72330.827
AT ITER 801 NEW BEST:: SOT 306688 SOS 78751 HAS SOPS 78751 HAS SOUS 72176 HAS SOUPS 72176 WITH SCORE 72254.751
AT ITER 802 NEW BEST:: SOT 306688 SOS 78716 HAS SOPS 78716 HAS SOUS 72141 HAS SOUPS 72141 WITH SCORE 72219.716
AT ITER 831 NEW BEST:: SOT 306688 SOS 78716 HAS SOPS 78716 HAS SOUS 72140 HAS SOUPS 72140 WITH SCORE 72218.716
AT ITER 862 NEW BEST:: SOT 306663 SOS 78683 HAS SOPS 78683 HAS SOUS 72115 HAS SOUPS 72115 WITH SCORE 72193.683
AT ITER 867 NEW BEST:: SOT 306663 SOS 78683 HAS SOPS 78683 HAS SOUS 72097 HAS SOUPS 72097 WITH SCORE 72175.683
AT ITER 876 NEW BEST:: SOT 303642 SOS 112235 HAS SOPS 112235 HAS SOUS 70246 HAS SOUPS 70246 WITH SCORE 70358.235
AT ITER 897 NEW BEST:: SOT 303618 SOS 112187 HAS SOPS 112187 HAS SOUS 70222 HAS SOUPS 70222 WITH SCORE 70334.187
AT ITER 902 NEW BEST:: SOT 303589 SOS 112139 HAS SOPS 112139 HAS SOUS 70174 HAS SOUPS 70174 WITH SCORE 70286.139
AT ITER 908 NEW BEST:: SOT 303581 SOS 112123 HAS SOPS 112123 HAS SOUS 70166 HAS SOUPS 70166 WITH SCORE 70278.123
AT ITER 919 NEW BEST:: SOT 303581 SOS 112100 HAS SOPS 112100 HAS SOUS 70143 HAS SOUPS 70143 WITH SCORE 70255.1
AT ITER 936 NEW BEST:: SOT 303581 SOS 111929 HAS SOPS 111929 HAS SOUS 70143 HAS SOUPS 70143 WITH SCORE 70254.929
AT ITER 964 NEW BEST:: SOT 303679 SOS 111831 HAS SOPS 111831 HAS SOUS 70121 HAS SOUPS 70121 WITH SCORE 70232.831
AT ITER 967 NEW BEST:: SOT 303679 SOS 111821 HAS SOPS 111821 HAS SOUS 70121 HAS SOUPS 70121 WITH SCORE 70232.821
AT ITER 971 NEW BEST:: SOT 303676 SOS 111815 HAS SOPS 111815 HAS SOUS 70087 HAS SOUPS 70087 WITH SCORE 70198.815
AT ITER 972 NEW BEST:: SOT 303593 SOS 111732 HAS SOPS 111732 HAS SOUS 70037 HAS SOUPS 70037 WITH SCORE 70148.732
AT ITER 998 NEW BEST:: SOT 303499 SOS 111661 HAS SOPS 111661 HAS SOUS 69953 HAS SOUPS 69953 WITH SCORE 70064.661
AT ITER 1006 NEW BEST:: SOT 303469 SOS 111601 HAS SOPS 111601 HAS SOUS 69923 HAS SOUPS 69923 WITH SCORE 70034.601
AT ITER 1017 NEW BEST:: SOT 303467 SOS 111599 HAS SOPS 111599 HAS SOUS 69919 HAS SOUPS 69919 WITH SCORE 70030.599
AT ITER 1021 NEW BEST:: SOT 303484 SOS 111533 HAS SOPS 111533 HAS SOUS 69853 HAS SOUPS 69853 WITH SCORE 69964.533
AT ITER 1026 NEW BEST:: SOT 303398 SOS 111361 HAS SOPS 111361 HAS SOUS 69767 HAS SOUPS 69767 WITH SCORE 69878.361
AT ITER 1027 NEW BEST:: SOT 303368 SOS 111225 HAS SOPS 111225 HAS SOUS 69667 HAS SOUPS 69667 WITH SCORE 69778.225
AT ITER 1041 NEW BEST:: SOT 303358 SOS 111205 HAS SOPS 111205 HAS SOUS 69647 HAS SOUPS 69647 WITH SCORE 69758.205
AT ITER 1045 NEW BEST:: SOT 303353 SOS 111115 HAS SOPS 111115 HAS SOUS 69590 HAS SOUPS 69590 WITH SCORE 69701.115
AT ITER 1046 NEW BEST:: SOT 303353 SOS 111115 HAS SOPS 111115 HAS SOUS 69492 HAS SOUPS 69492 WITH SCORE 69603.115
AT ITER 1055 NEW BEST:: SOT 303353 SOS 111057 HAS SOPS 111057 HAS SOUS 69463 HAS SOUPS 69463 WITH SCORE 69574.057
AT ITER 1073 NEW BEST:: SOT 303353 SOS 110829 HAS SOPS 110829 HAS SOUS 69349 HAS SOUPS 69349 WITH SCORE 69459.829
AT ITER 1084 NEW BEST:: SOT 303353 SOS 110675 HAS SOPS 110675 HAS SOUS 69349 HAS SOUPS 69349 WITH SCORE 69459.675
AT ITER 1088 NEW BEST:: SOT 303342 SOS 110653 HAS SOPS 110653 HAS SOUS 69327 HAS SOUPS 69327 WITH SCORE 69437.653
AT ITER 1092 NEW BEST:: SOT 303308 SOS 110585 HAS SOPS 110585 HAS SOUS 69259 HAS SOUPS 69259 WITH SCORE 69369.585
AT ITER 1097 NEW BEST:: SOT 303227 SOS 110540 HAS SOPS 110540 HAS SOUS 69197 HAS SOUPS 69197 WITH SCORE 69307.54
AT ITER 1120 NEW BEST:: SOT 303243 SOS 110493 HAS SOPS 110493 HAS SOUS 69197 HAS SOUPS 69197 WITH SCORE 69307.493
AT ITER 1137 NEW BEST:: SOT 303233 SOS 110483 HAS SOPS 110483 HAS SOUS 69187 HAS SOUPS 69187 WITH SCORE 69297.483
AT ITER 1191 NEW BEST:: SOT 303233 SOS 110483 HAS SOPS 110483 HAS SOUS 69132 HAS SOUPS 69132 WITH SCORE 69242.483
AT ITER 1204 NEW BEST:: SOT 303406 SOS 110391 HAS SOPS 110391 HAS SOUS 69114 HAS SOUPS 69114 WITH SCORE 69224.391
AT ITER 1251 NEW BEST:: SOT 303381 SOS 110366 HAS SOPS 110366 HAS SOUS 69089 HAS SOUPS 69089 WITH SCORE 69199.366
AT ITER 1255 NEW BEST:: SOT 303384 SOS 110372 HAS SOPS 110372 HAS SOUS 69050 HAS SOUPS 69050 WITH SCORE 69160.372
AT ITER 1258 NEW BEST:: SOT 303384 SOS 110372 HAS SOPS 110372 HAS SOUS 69049 HAS SOUPS 69049 WITH SCORE 69159.372
AT ITER 1291 NEW BEST:: SOT 303384 SOS 110372 HAS SOPS 110372 HAS SOUS 69048 HAS SOUPS 69048 WITH SCORE 69158.372
AT ITER 1294 NEW BEST:: SOT 303345 SOS 110333 HAS SOPS 110333 HAS SOUS 69009 HAS SOUPS 69009 WITH SCORE 69119.333
AT ITER 1300 NEW BEST:: SOT 303352 SOS 110330 HAS SOPS 110330 HAS SOUS 69006 HAS SOUPS 69006 WITH SCORE 69116.33
AT ITER 1310 NEW BEST:: SOT 303350 SOS 110326 HAS SOPS 110326 HAS SOUS 69002 HAS SOUPS 69002 WITH SCORE 69112.326
AT ITER 1349 NEW BEST:: SOT 303310 SOS 110132 HAS SOPS 110132 HAS SOUS 68894 HAS SOUPS 68894 WITH SCORE 69004.132
AT ITER 1364 NEW BEST:: SOT 303272 SOS 110094 HAS SOPS 110094 HAS SOUS 68840 HAS SOUPS 68840 WITH SCORE 68950.094
AT ITER 1369 NEW BEST:: SOT 303189 SOS 109928 HAS SOPS 109928 HAS SOUS 68816 HAS SOUPS 68816 WITH SCORE 68925.928
AT ITER 1377 NEW BEST:: SOT 303189 SOS 109918 HAS SOPS 109918 HAS SOUS 68816 HAS SOUPS 68816 WITH SCORE 68925.918
AT ITER 1408 NEW BEST:: SOT 303189 SOS 109808 HAS SOPS 109808 HAS SOUS 68816 HAS SOUPS 68816 WITH SCORE 68925.808
AT ITER 1416 NEW BEST:: SOT 303189 SOS 109771 HAS SOPS 109771 HAS SOUS 68789 HAS SOUPS 68789 WITH SCORE 68898.771
AT ITER 1437 NEW BEST:: SOT 303178 SOS 109737 HAS SOPS 109737 HAS SOUS 68755 HAS SOUPS 68755 WITH SCORE 68864.737
AT ITER 1440 NEW BEST:: SOT 303178 SOS 109737 HAS SOPS 109737 HAS SOUS 68737 HAS SOUPS 68737 WITH SCORE 68846.737
AT ITER 1473 NEW BEST:: SOT 303178 SOS 109737 HAS SOPS 109737 HAS SOUS 68733 HAS SOUPS 68733 WITH SCORE 68842.737
AT ITER 1497 NEW BEST:: SOT 303168 SOS 109717 HAS SOPS 109717 HAS SOUS 68713 HAS SOUPS 68713 WITH SCORE 68822.717
AT ITER 1512 NEW BEST:: SOT 303218 SOS 109714 HAS SOPS 109714 HAS SOUS 68710 HAS SOUPS 68710 WITH SCORE 68819.714
AT ITER 1514 NEW BEST:: SOT 303174 SOS 109626 HAS SOPS 109626 HAS SOUS 68622 HAS SOUPS 68622 WITH SCORE 68731.626
AT ITER 1521 NEW BEST:: SOT 303223 SOS 109205 HAS SOPS 109205 HAS SOUS 68554 HAS SOUPS 68554 WITH SCORE 68663.205
AT ITER 1532 NEW BEST:: SOT 303223 SOS 109173 HAS SOPS 109173 HAS SOUS 68538 HAS SOUPS 68538 WITH SCORE 68647.173
AT ITER 1533 NEW BEST:: SOT 303223 SOS 109173 HAS SOPS 109173 HAS SOUS 68537 HAS SOUPS 68537 WITH SCORE 68646.173
AT ITER 1567 NEW BEST:: SOT 303223 SOS 109173 HAS SOPS 109173 HAS SOUS 68536 HAS SOUPS 68536 WITH SCORE 68645.173
AT ITER 1582 NEW BEST:: SOT 303222 SOS 109172 HAS SOPS 109172 HAS SOUS 68534 HAS SOUPS 68534 WITH SCORE 68643.172
AT ITER 1611 NEW BEST:: SOT 303192 SOS 82761 HAS SOPS 82761 HAS SOUS 68377 HAS SOUPS 68377 WITH SCORE 68459.761
AT ITER 1623 NEW BEST:: SOT 303190 SOS 82757 HAS SOPS 82757 HAS SOUS 68373 HAS SOUPS 68373 WITH SCORE 68455.757
AT ITER 1633 NEW BEST:: SOT 303118 SOS 82613 HAS SOPS 82613 HAS SOUS 68229 HAS SOUPS 68229 WITH SCORE 68311.613
AT ITER 1658 NEW BEST:: SOT 303045 SOS 82683 HAS SOPS 82683 HAS SOUS 68181 HAS SOUPS 68181 WITH SCORE 68263.683
AT ITER 1674 NEW BEST:: SOT 303045 SOS 82673 HAS SOPS 82673 HAS SOUS 68181 HAS SOUPS 68181 WITH SCORE 68263.673
AT ITER 1677 NEW BEST:: SOT 303045 SOS 82673 HAS SOPS 82673 HAS SOUS 68161 HAS SOUPS 68161 WITH SCORE 68243.673
AT ITER 1690 NEW BEST:: SOT 302990 SOS 82563 HAS SOPS 82563 HAS SOUS 68105 HAS SOUPS 68105 WITH SCORE 68187.563
AT ITER 1699 NEW BEST:: SOT 302955 SOS 82452 HAS SOPS 82452 HAS SOUS 68035 HAS SOUPS 68035 WITH SCORE 68117.452
AT ITER 1702 NEW BEST:: SOT 302955 SOS 82415 HAS SOPS 82415 HAS SOUS 67998 HAS SOUPS 67998 WITH SCORE 68080.415
AT ITER 1707 NEW BEST:: SOT 303038 SOS 82349 HAS SOPS 82349 HAS SOUS 67932 HAS SOUPS 67932 WITH SCORE 68014.349
AT ITER 1738 NEW BEST:: SOT 303038 SOS 82349 HAS SOPS 82349 HAS SOUS 67931 HAS SOUPS 67931 WITH SCORE 68013.349
AT ITER 1740 NEW BEST:: SOT 303038 SOS 82349 HAS SOPS 82349 HAS SOUS 67880 HAS SOUPS 67880 WITH SCORE 67962.349
AT ITER 1748 NEW BEST:: SOT 303038 SOS 82300 HAS SOPS 82300 HAS SOUS 67831 HAS SOUPS 67831 WITH SCORE 67913.3
AT ITER 1759 NEW BEST:: SOT 303030 SOS 82284 HAS SOPS 82284 HAS SOUS 67815 HAS SOUPS 67815 WITH SCORE 67897.284
AT ITER 1794 NEW BEST:: SOT 303030 SOS 82216 HAS SOPS 82216 HAS SOUS 67815 HAS SOUPS 67815 WITH SCORE 67897.216
AT ITER 1801 NEW BEST:: SOT 303011 SOS 82178 HAS SOPS 82178 HAS SOUS 67794 HAS SOUPS 67794 WITH SCORE 67876.178
AT ITER 1807 NEW BEST:: SOT 303011 SOS 82133 HAS SOPS 82133 HAS SOUS 67749 HAS SOUPS 67749 WITH SCORE 67831.133
AT ITER 1812 NEW BEST:: SOT 302992 SOS 82114 HAS SOPS 82114 HAS SOUS 67730 HAS SOUPS 67730 WITH SCORE 67812.114
AT ITER 1814 NEW BEST:: SOT 302991 SOS 82112 HAS SOPS 82112 HAS SOUS 67728 HAS SOUPS 67728 WITH SCORE 67810.112
AT ITER 1843 NEW BEST:: SOT 302955 SOS 81930 HAS SOPS 81930 HAS SOUS 67618 HAS SOUPS 67618 WITH SCORE 67699.93
AT ITER 1844 NEW BEST:: SOT 302942 SOS 81904 HAS SOPS 81904 HAS SOUS 67615 HAS SOUPS 67615 WITH SCORE 67696.904
AT ITER 1849 NEW BEST:: SOT 302938 SOS 81903 HAS SOPS 81903 HAS SOUS 67614 HAS SOUPS 67614 WITH SCORE 67695.903
AT ITER 1856 NEW BEST:: SOT 302920 SOS 81867 HAS SOPS 81867 HAS SOUS 67597 HAS SOUPS 67597 WITH SCORE 67678.867
AT ITER 1883 NEW BEST:: SOT 302920 SOS 81764 HAS SOPS 81764 HAS SOUS 67597 HAS SOUPS 67597 WITH SCORE 67678.764
AT ITER 1885 NEW BEST:: SOT 302817 SOS 81558 HAS SOPS 81558 HAS SOUS 67494 HAS SOUPS 67494 WITH SCORE 67575.558
AT ITER 1919 NEW BEST:: SOT 302815 SOS 81554 HAS SOPS 81554 HAS SOUS 67492 HAS SOUPS 67492 WITH SCORE 67573.554
AT ITER 1932 NEW BEST:: SOT 302815 SOS 81422 HAS SOPS 81422 HAS SOUS 67426 HAS SOUPS 67426 WITH SCORE 67507.422
AT ITER 1971 NEW BEST:: SOT 302810 SOS 81407 HAS SOPS 81407 HAS SOUS 67416 HAS SOUPS 67416 WITH SCORE 67497.407
AT ITER 1977 NEW BEST:: SOT 302810 SOS 81407 HAS SOPS 81407 HAS SOUS 67415 HAS SOUPS 67415 WITH SCORE 67496.407
AT ITER 1979 NEW BEST:: SOT 302804 SOS 81395 HAS SOPS 81395 HAS SOUS 67362 HAS SOUPS 67362 WITH SCORE 67443.395
AT ITER 1999 NEW BEST:: SOT 302804 SOS 81390 HAS SOPS 81390 HAS SOUS 67357 HAS SOUPS 67357 WITH SCORE 67438.39
AT ITER 2009 NEW BEST:: SOT 302770 SOS 81322 HAS SOPS 81322 HAS SOUS 67323 HAS SOUPS 67323 WITH SCORE 67404.322
AT ITER 2018 NEW BEST:: SOT 302787 SOS 81316 HAS SOPS 81316 HAS SOUS 67317 HAS SOUPS 67317 WITH SCORE 67398.316
AT ITER 2053 NEW BEST:: SOT 302727 SOS 81196 HAS SOPS 81196 HAS SOUS 67197 HAS SOUPS 67197 WITH SCORE 67278.196
AT ITER 2066 NEW BEST:: SOT 302727 SOS 81137 HAS SOPS 81137 HAS SOUS 67197 HAS SOUPS 67197 WITH SCORE 67278.137
AT ITER 2096 NEW BEST:: SOT 302724 SOS 81131 HAS SOPS 81131 HAS SOUS 67191 HAS SOUPS 67191 WITH SCORE 67272.131
AT ITER 2117 NEW BEST:: SOT 302647 SOS 80977 HAS SOPS 80977 HAS SOUS 67037 HAS SOUPS 67037 WITH SCORE 67117.977
AT ITER 2130 NEW BEST:: SOT 302637 SOS 80957 HAS SOPS 80957 HAS SOUS 67017 HAS SOUPS 67017 WITH SCORE 67097.957
AT ITER 2144 NEW BEST:: SOT 302603 SOS 80889 HAS SOPS 80889 HAS SOUS 67012 HAS SOUPS 67012 WITH SCORE 67092.889
AT ITER 2160 NEW BEST:: SOT 302603 SOS 80839 HAS SOPS 80839 HAS SOUS 67011 HAS SOUPS 67011 WITH SCORE 67091.839
AT ITER 2162 NEW BEST:: SOT 302527 SOS 80763 HAS SOPS 80763 HAS SOUS 66939 HAS SOUPS 66939 WITH SCORE 67019.763
AT ITER 2176 NEW BEST:: SOT 302500 SOS 80611 HAS SOPS 80611 HAS SOUS 66787 HAS SOUPS 66787 WITH SCORE 66867.611
AT ITER 2192 NEW BEST:: SOT 302482 SOS 80575 HAS SOPS 80575 HAS SOUS 66751 HAS SOUPS 66751 WITH SCORE 66831.575
AT ITER 2199 NEW BEST:: SOT 302476 SOS 80563 HAS SOPS 80563 HAS SOUS 66739 HAS SOUPS 66739 WITH SCORE 66819.563
AT ITER 2226 NEW BEST:: SOT 302444 SOS 80499 HAS SOPS 80499 HAS SOUS 66675 HAS SOUPS 66675 WITH SCORE 66755.499
AT ITER 2228 NEW BEST:: SOT 302470 SOS 80473 HAS SOPS 80473 HAS SOUS 66649 HAS SOUPS 66649 WITH SCORE 66729.473
AT ITER 2229 NEW BEST:: SOT 302510 SOS 80553 HAS SOPS 80553 HAS SOUS 66639 HAS SOUPS 66639 WITH SCORE 66719.553
AT ITER 2232 NEW BEST:: SOT 302498 SOS 80529 HAS SOPS 80529 HAS SOUS 66627 HAS SOUPS 66627 WITH SCORE 66707.529
AT ITER 2239 NEW BEST:: SOT 302488 SOS 80509 HAS SOPS 80509 HAS SOUS 66615 HAS SOUPS 66615 WITH SCORE 66695.509
AT ITER 2253 NEW BEST:: SOT 302487 SOS 80507 HAS SOPS 80507 HAS SOUS 66607 HAS SOUPS 66607 WITH SCORE 66687.507
AT ITER 2258 NEW BEST:: SOT 302461 SOS 80455 HAS SOPS 80455 HAS SOUS 66555 HAS SOUPS 66555 WITH SCORE 66635.455
AT ITER 2293 NEW BEST:: SOT 302449 SOS 80435 HAS SOPS 80435 HAS SOUS 66545 HAS SOUPS 66545 WITH SCORE 66625.435
AT ITER 2302 NEW BEST:: SOT 302449 SOS 80383 HAS SOPS 80383 HAS SOUS 66493 HAS SOUPS 66493 WITH SCORE 66573.383
AT ITER 2306 NEW BEST:: SOT 302449 SOS 80383 HAS SOPS 80383 HAS SOUS 66475 HAS SOUPS 66475 WITH SCORE 66555.383
AT ITER 2315 NEW BEST:: SOT 302449 SOS 80350 HAS SOPS 80350 HAS SOUS 66475 HAS SOUPS 66475 WITH SCORE 66555.35
AT ITER 2325 NEW BEST:: SOT 302491 SOS 80310 HAS SOPS 80310 HAS SOUS 66468 HAS SOUPS 66468 WITH SCORE 66548.31
AT ITER 2331 NEW BEST:: SOT 302481 SOS 80290 HAS SOPS 80290 HAS SOUS 66448 HAS SOUPS 66448 WITH SCORE 66528.29
AT ITER 2339 NEW BEST:: SOT 302520 SOS 80044 HAS SOPS 80044 HAS SOUS 66363 HAS SOUPS 66363 WITH SCORE 66443.044
AT ITER 2355 NEW BEST:: SOT 302495 SOS 80019 HAS SOPS 80019 HAS SOUS 66313 HAS SOUPS 66313 WITH SCORE 66393.019
AT ITER 2391 NEW BEST:: SOT 302485 SOS 79999 HAS SOPS 79999 HAS SOUS 66293 HAS SOUPS 66293 WITH SCORE 66372.999
AT ITER 2395 NEW BEST:: SOT 302485 SOS 79966 HAS SOPS 79966 HAS SOUS 66293 HAS SOUPS 66293 WITH SCORE 66372.966
AT ITER 2408 NEW BEST:: SOT 302471 SOS 79938 HAS SOPS 79938 HAS SOUS 66265 HAS SOUPS 66265 WITH SCORE 66344.938
AT ITER 2437 NEW BEST:: SOT 302472 SOS 79929 HAS SOPS 79929 HAS SOUS 66256 HAS SOUPS 66256 WITH SCORE 66335.929
AT ITER 2449 NEW BEST:: SOT 302472 SOS 79925 HAS SOPS 79925 HAS SOUS 66252 HAS SOUPS 66252 WITH SCORE 66331.925
AT ITER 2474 NEW BEST:: SOT 302492 SOS 79894 HAS SOPS 79894 HAS SOUS 66224 HAS SOUPS 66224 WITH SCORE 66303.894
AT ITER 2484 NEW BEST:: SOT 302484 SOS 79878 HAS SOPS 79878 HAS SOUS 66208 HAS SOUPS 66208 WITH SCORE 66287.878
AT ITER 2496 NEW BEST:: SOT 302425 SOS 79760 HAS SOPS 79760 HAS SOUS 65984 HAS SOUPS 65984 WITH SCORE 66063.76
AT ITER 2502 NEW BEST:: SOT 302419 SOS 79748 HAS SOPS 79748 HAS SOUS 65972 HAS SOUPS 65972 WITH SCORE 66051.748
AT ITER 2505 NEW BEST:: SOT 302435 SOS 79780 HAS SOPS 79780 HAS SOUS 65870 HAS SOUPS 65870 WITH SCORE 65949.78
AT ITER 2506 NEW BEST:: SOT 302426 SOS 79762 HAS SOPS 79762 HAS SOUS 65852 HAS SOUPS 65852 WITH SCORE 65931.762
AT ITER 2531 NEW BEST:: SOT 302398 SOS 79706 HAS SOPS 79706 HAS SOUS 65796 HAS SOUPS 65796 WITH SCORE 65875.706
AT ITER 2586 NEW BEST:: SOT 302390 SOS 79698 HAS SOPS 79698 HAS SOUS 65773 HAS SOUPS 65773 WITH SCORE 65852.698
AT ITER 2607 NEW BEST:: SOT 302466 SOS 79674 HAS SOPS 79674 HAS SOUS 65764 HAS SOUPS 65764 WITH SCORE 65843.674
AT ITER 2622 NEW BEST:: SOT 302533 SOS 79424 HAS SOPS 79424 HAS SOUS 65697 HAS SOUPS 65697 WITH SCORE 65776.424
AT ITER 2645 NEW BEST:: SOT 302545 SOS 79448 HAS SOPS 79448 HAS SOUS 65662 HAS SOUPS 65662 WITH SCORE 65741.448
AT ITER 2651 NEW BEST:: SOT 302545 SOS 79302 HAS SOPS 79302 HAS SOUS 65558 HAS SOUPS 65558 WITH SCORE 65637.302
AT ITER 2673 NEW BEST:: SOT 302548 SOS 79226 HAS SOPS 79226 HAS SOUS 65513 HAS SOUPS 65513 WITH SCORE 65592.226
AT ITER 2683 NEW BEST:: SOT 302546 SOS 79222 HAS SOPS 79222 HAS SOUS 65509 HAS SOUPS 65509 WITH SCORE 65588.222
AT ITER 2695 NEW BEST:: SOT 302503 SOS 79233 HAS SOPS 79233 HAS SOUS 65496 HAS SOUPS 65496 WITH SCORE 65575.233
AT ITER 2701 NEW BEST:: SOT 302506 SOS 79228 HAS SOPS 79228 HAS SOUS 65491 HAS SOUPS 65491 WITH SCORE 65570.228
AT ITER 2726 NEW BEST:: SOT 302478 SOS 79172 HAS SOPS 79172 HAS SOUS 65435 HAS SOUPS 65435 WITH SCORE 65514.172
AT ITER 2734 NEW BEST:: SOT 302339 SOS 79033 HAS SOPS 79033 HAS SOUS 65296 HAS SOUPS 65296 WITH SCORE 65375.033
AT ITER 2737 NEW BEST:: SOT 302313 SOS 78981 HAS SOPS 78981 HAS SOUS 65270 HAS SOUPS 65270 WITH SCORE 65348.981
AT ITER 2741 NEW BEST:: SOT 302313 SOS 78959 HAS SOPS 78959 HAS SOUS 65259 HAS SOUPS 65259 WITH SCORE 65337.959
AT ITER 2765 NEW BEST:: SOT 302213 SOS 78906 HAS SOPS 78906 HAS SOUS 65150 HAS SOUPS 65150 WITH SCORE 65228.906
AT ITER 2776 NEW BEST:: SOT 302213 SOS 78906 HAS SOPS 78906 HAS SOUS 65146 HAS SOUPS 65146 WITH SCORE 65224.906
AT ITER 2787 NEW BEST:: SOT 302209 SOS 78898 HAS SOPS 78898 HAS SOUS 65138 HAS SOUPS 65138 WITH SCORE 65216.898
AT ITER 2841 NEW BEST:: SOT 302209 SOS 78898 HAS SOPS 78898 HAS SOUS 65137 HAS SOUPS 65137 WITH SCORE 65215.898
AT ITER 2872 NEW BEST:: SOT 302196 SOS 78872 HAS SOPS 78872 HAS SOUS 65111 HAS SOUPS 65111 WITH SCORE 65189.872
AT ITER 2902 NEW BEST:: SOT 302182 SOS 78872 HAS SOPS 78872 HAS SOUS 65097 HAS SOUPS 65097 WITH SCORE 65175.872
AT ITER 2973 NEW BEST:: SOT 302182 SOS 78872 HAS SOPS 78872 HAS SOUS 65083 HAS SOUPS 65083 WITH SCORE 65161.872
AT ITER 3007 NEW BEST:: SOT 302078 SOS 78834 HAS SOPS 78834 HAS SOUS 65030 HAS SOUPS 65030 WITH SCORE 65108.834
AT ITER 3009 NEW BEST:: SOT 302068 SOS 78732 HAS SOPS 78732 HAS SOUS 64982 HAS SOUPS 64982 WITH SCORE 65060.732
AT ITER 3012 NEW BEST:: SOT 302068 SOS 78732 HAS SOPS 78732 HAS SOUS 64976 HAS SOUPS 64976 WITH SCORE 65054.732
AT ITER 3030 NEW BEST:: SOT 302068 SOS 78630 HAS SOPS 78630 HAS SOUS 64935 HAS SOUPS 64935 WITH SCORE 65013.63
AT ITER 3039 NEW BEST:: SOT 302067 SOS 78629 HAS SOPS 78629 HAS SOUS 64933 HAS SOUPS 64933 WITH SCORE 65011.629
AT ITER 3056 NEW BEST:: SOT 302020 SOS 78419 HAS SOPS 78419 HAS SOUS 64828 HAS SOUPS 64828 WITH SCORE 64906.419
AT ITER 3059 NEW BEST:: SOT 301992 SOS 78307 HAS SOPS 78307 HAS SOUS 64772 HAS SOUPS 64772 WITH SCORE 64850.307
AT ITER 3065 NEW BEST:: SOT 301980 SOS 78295 HAS SOPS 78295 HAS SOUS 64748 HAS SOUPS 64748 WITH SCORE 64826.295
AT ITER 3070 NEW BEST:: SOT 301997 SOS 78055 HAS SOPS 78055 HAS SOUS 64645 HAS SOUPS 64645 WITH SCORE 64723.055
AT ITER 3071 NEW BEST:: SOT 301886 SOS 77833 HAS SOPS 77833 HAS SOUS 64534 HAS SOUPS 64534 WITH SCORE 64611.833
AT ITER 3148 NEW BEST:: SOT 301886 SOS 77817 HAS SOPS 77817 HAS SOUS 64534 HAS SOUPS 64534 WITH SCORE 64611.817
AT ITER 3184 NEW BEST:: SOT 301839 SOS 77628 HAS SOPS 77628 HAS SOUS 64438 HAS SOUPS 64438 WITH SCORE 64515.628
AT ITER 3202 NEW BEST:: SOT 301839 SOS 77628 HAS SOPS 77628 HAS SOUS 64434 HAS SOUPS 64434 WITH SCORE 64511.628
AT ITER 3206 NEW BEST:: SOT 301845 SOS 77640 HAS SOPS 77640 HAS SOUS 64413 HAS SOUPS 64413 WITH SCORE 64490.64
AT ITER 3245 NEW BEST:: SOT 301823 SOS 77596 HAS SOPS 77596 HAS SOUS 64369 HAS SOUPS 64369 WITH SCORE 64446.596
AT ITER 3246 NEW BEST:: SOT 301823 SOS 77596 HAS SOPS 77596 HAS SOUS 64336 HAS SOUPS 64336 WITH SCORE 64413.596
AT ITER 3256 NEW BEST:: SOT 301134 SOS 77063 HAS SOPS 77063 HAS SOUS 63571 HAS SOUPS 63571 WITH SCORE 63648.063
AT ITER 3260 NEW BEST:: SOT 301074 SOS 76943 HAS SOPS 76943 HAS SOUS 63451 HAS SOUPS 63451 WITH SCORE 63527.943
AT ITER 3279 NEW BEST:: SOT 301119 SOS 76839 HAS SOPS 76839 HAS SOUS 63399 HAS SOUPS 63399 WITH SCORE 63475.839
AT ITER 3284 NEW BEST:: SOT 301113 SOS 76827 HAS SOPS 76827 HAS SOUS 63387 HAS SOUPS 63387 WITH SCORE 63463.827
AT ITER 3293 NEW BEST:: SOT 301104 SOS 76818 HAS SOPS 76818 HAS SOUS 63378 HAS SOUPS 63378 WITH SCORE 63454.818
AT ITER 3307 NEW BEST:: SOT 301104 SOS 76762 HAS SOPS 76762 HAS SOUS 63322 HAS SOUPS 63322 WITH SCORE 63398.762
AT ITER 3311 NEW BEST:: SOT 301099 SOS 76752 HAS SOPS 76752 HAS SOUS 63312 HAS SOUPS 63312 WITH SCORE 63388.752
AT ITER 3341 NEW BEST:: SOT 301088 SOS 76741 HAS SOPS 76741 HAS SOUS 63301 HAS SOUPS 63301 WITH SCORE 63377.741
AT ITER 3343 NEW BEST:: SOT 301085 SOS 76735 HAS SOPS 76735 HAS SOUS 63295 HAS SOUPS 63295 WITH SCORE 63371.735
AT ITER 3353 NEW BEST:: SOT 301085 SOS 76735 HAS SOPS 76735 HAS SOUS 63275 HAS SOUPS 63275 WITH SCORE 63351.735
AT ITER 3401 NEW BEST:: SOT 300890 SOS 76540 HAS SOPS 76540 HAS SOUS 63080 HAS SOUPS 63080 WITH SCORE 63156.54
AT ITER 3442 NEW BEST:: SOT 300871 SOS 76540 HAS SOPS 76540 HAS SOUS 63061 HAS SOUPS 63061 WITH SCORE 63137.54
AT ITER 3444 NEW BEST:: SOT 300871 SOS 76540 HAS SOPS 76540 HAS SOUS 63046 HAS SOUPS 63046 WITH SCORE 63122.54
AT ITER 3454 NEW BEST:: SOT 300859 SOS 76516 HAS SOPS 76516 HAS SOUS 63022 HAS SOUPS 63022 WITH SCORE 63098.516
AT ITER 3473 NEW BEST:: SOT 300840 SOS 76440 HAS SOPS 76440 HAS SOUS 62984 HAS SOUPS 62984 WITH SCORE 63060.44
AT ITER 3474 NEW BEST:: SOT 300825 SOS 76440 HAS SOPS 76440 HAS SOUS 62969 HAS SOUPS 62969 WITH SCORE 63045.44
AT ITER 3526 NEW BEST:: SOT 300821 SOS 76424 HAS SOPS 76424 HAS SOUS 62957 HAS SOUPS 62957 WITH SCORE 63033.424
AT ITER 3536 NEW BEST:: SOT 300814 SOS 76410 HAS SOPS 76410 HAS SOUS 62950 HAS SOUPS 62950 WITH SCORE 63026.41
AT ITER 3541 NEW BEST:: SOT 300797 SOS 76376 HAS SOPS 76376 HAS SOUS 62916 HAS SOUPS 62916 WITH SCORE 62992.376
AT ITER 3560 NEW BEST:: SOT 300779 SOS 76340 HAS SOPS 76340 HAS SOUS 62880 HAS SOUPS 62880 WITH SCORE 62956.34
AT ITER 3592 NEW BEST:: SOT 300779 SOS 76228 HAS SOPS 76228 HAS SOUS 62824 HAS SOUPS 62824 WITH SCORE 62900.228
AT ITER 3594 NEW BEST:: SOT 300797 SOS 76136 HAS SOPS 76136 HAS SOUS 62801 HAS SOUPS 62801 WITH SCORE 62877.136
AT ITER 3597 NEW BEST:: SOT 300716 SOS 75974 HAS SOPS 75974 HAS SOUS 62603 HAS SOUPS 62603 WITH SCORE 62678.974
AT ITER 3603 NEW BEST:: SOT 300715 SOS 75972 HAS SOPS 75972 HAS SOUS 62601 HAS SOUPS 62601 WITH SCORE 62676.972
AT ITER 3608 NEW BEST:: SOT 300702 SOS 75946 HAS SOPS 75946 HAS SOUS 62575 HAS SOUPS 62575 WITH SCORE 62650.946
AT ITER 3609 NEW BEST:: SOT 300737 SOS 75967 HAS SOPS 75967 HAS SOUS 62561 HAS SOUPS 62561 WITH SCORE 62636.967
AT ITER 3629 NEW BEST:: SOT 300696 SOS 75926 HAS SOPS 75926 HAS SOUS 62520 HAS SOUPS 62520 WITH SCORE 62595.926
AT ITER 3639 NEW BEST:: SOT 300695 SOS 75924 HAS SOPS 75924 HAS SOUS 62518 HAS SOUPS 62518 WITH SCORE 62593.924
AT ITER 3644 NEW BEST:: SOT 300629 SOS 75856 HAS SOPS 75856 HAS SOUS 62371 HAS SOUPS 62371 WITH SCORE 62446.856
AT ITER 3646 NEW BEST:: SOT 300579 SOS 75806 HAS SOPS 75806 HAS SOUS 62321 HAS SOUPS 62321 WITH SCORE 62396.806
AT ITER 3654 NEW BEST:: SOT 300485 SOS 75840 HAS SOPS 75840 HAS SOUS 62298 HAS SOUPS 62298 WITH SCORE 62373.84
AT ITER 3656 NEW BEST:: SOT 300462 SOS 75835 HAS SOPS 75835 HAS SOUS 62252 HAS SOUPS 62252 WITH SCORE 62327.835
AT ITER 3672 NEW BEST:: SOT 300491 SOS 75864 HAS SOPS 75864 HAS SOUS 62183 HAS SOUPS 62183 WITH SCORE 62258.864
AT ITER 3678 NEW BEST:: SOT 300491 SOS 75864 HAS SOPS 75864 HAS SOUS 62160 HAS SOUPS 62160 WITH SCORE 62235.864
AT ITER 3731 NEW BEST:: SOT 300293 SOS 75559 HAS SOPS 75559 HAS SOUS 61954 HAS SOUPS 61954 WITH SCORE 62029.559
AT ITER 3770 NEW BEST:: SOT 300249 SOS 75471 HAS SOPS 75471 HAS SOUS 61866 HAS SOUPS 61866 WITH SCORE 61941.471
AT ITER 3788 NEW BEST:: SOT 300222 SOS 75317 HAS SOPS 75317 HAS SOUS 61721 HAS SOUPS 61721 WITH SCORE 61796.317
AT ITER 3798 NEW BEST:: SOT 300177 SOS 75227 HAS SOPS 75227 HAS SOUS 61631 HAS SOUPS 61631 WITH SCORE 61706.227
AT ITER 3815 NEW BEST:: SOT 300248 SOS 75091 HAS SOPS 75091 HAS SOUS 61600 HAS SOUPS 61600 WITH SCORE 61675.091
AT ITER 3825 NEW BEST:: SOT 300161 SOS 74813 HAS SOPS 74813 HAS SOUS 61322 HAS SOUPS 61322 WITH SCORE 61396.813
AT ITER 3833 NEW BEST:: SOT 300145 SOS 74781 HAS SOPS 74781 HAS SOUS 61309 HAS SOUPS 61309 WITH SCORE 61383.781
AT ITER 3877 NEW BEST:: SOT 300182 SOS 74739 HAS SOPS 74739 HAS SOUS 61298 HAS SOUPS 61298 WITH SCORE 61372.739
AT ITER 3916 NEW BEST:: SOT 300141 SOS 74657 HAS SOPS 74657 HAS SOUS 61277 HAS SOUPS 61277 WITH SCORE 61351.657
AT ITER 3942 NEW BEST:: SOT 300120 SOS 74363 HAS SOPS 74363 HAS SOUS 61210 HAS SOUPS 61210 WITH SCORE 61284.363
AT ITER 4004 NEW BEST:: SOT 300116 SOS 74355 HAS SOPS 74355 HAS SOUS 61206 HAS SOUPS 61206 WITH SCORE 61280.355
AT ITER 4029 NEW BEST:: SOT 300116 SOS 74336 HAS SOPS 74336 HAS SOUS 61187 HAS SOUPS 61187 WITH SCORE 61261.336
AT ITER 4037 NEW BEST:: SOT 300105 SOS 74325 HAS SOPS 74325 HAS SOUS 61165 HAS SOUPS 61165 WITH SCORE 61239.325
AT ITER 4039 NEW BEST:: SOT 300105 SOS 74325 HAS SOPS 74325 HAS SOUS 61156 HAS SOUPS 61156 WITH SCORE 61230.325
AT ITER 4071 NEW BEST:: SOT 300105 SOS 74285 HAS SOPS 74285 HAS SOUS 61156 HAS SOUPS 61156 WITH SCORE 61230.285
AT ITER 4116 NEW BEST:: SOT 300026 SOS 69450 HAS SOPS 69450 HAS SOUS 60991 HAS SOUPS 60991 WITH SCORE 61060.45
AT ITER 4147 NEW BEST:: SOT 300019 SOS 69436 HAS SOPS 69436 HAS SOUS 60977 HAS SOUPS 60977 WITH SCORE 61046.436
AT ITER 4153 NEW BEST:: SOT 299985 SOS 69400 HAS SOPS 69400 HAS SOUS 60941 HAS SOUPS 60941 WITH SCORE 61010.4
AT ITER 4162 NEW BEST:: SOT 299985 SOS 69240 HAS SOPS 69240 HAS SOUS 60861 HAS SOUPS 60861 WITH SCORE 60930.24
AT ITER 4167 NEW BEST:: SOT 299985 SOS 69233 HAS SOPS 69233 HAS SOUS 60861 HAS SOUPS 60861 WITH SCORE 60930.233
AT ITER 4204 NEW BEST:: SOT 300013 SOS 69228 HAS SOPS 69228 HAS SOUS 60856 HAS SOUPS 60856 WITH SCORE 60925.228
AT ITER 4251 NEW BEST:: SOT 300013 SOS 69200 HAS SOPS 69200 HAS SOUS 60828 HAS SOUPS 60828 WITH SCORE 60897.2
AT ITER 4257 NEW BEST:: SOT 300056 SOS 69059 HAS SOPS 69059 HAS SOUS 60775 HAS SOUPS 60775 WITH SCORE 60844.059
AT ITER 4259 NEW BEST:: SOT 300040 SOS 69043 HAS SOPS 69043 HAS SOUS 60743 HAS SOUPS 60743 WITH SCORE 60812.043
AT ITER 4303 NEW BEST:: SOT 300012 SOS 68987 HAS SOPS 68987 HAS SOUS 60687 HAS SOUPS 60687 WITH SCORE 60755.987
AT ITER 4305 NEW BEST:: SOT 299976 SOS 68915 HAS SOPS 68915 HAS SOUS 60615 HAS SOUPS 60615 WITH SCORE 60683.915
AT ITER 4322 NEW BEST:: SOT 299881 SOS 68820 HAS SOPS 68820 HAS SOUS 60520 HAS SOUPS 60520 WITH SCORE 60588.82
AT ITER 4324 NEW BEST:: SOT 299879 SOS 68714 HAS SOPS 68714 HAS SOUS 60485 HAS SOUPS 60485 WITH SCORE 60553.714
AT ITER 4328 NEW BEST:: SOT 299839 SOS 68589 HAS SOPS 68589 HAS SOUS 60397 HAS SOUPS 60397 WITH SCORE 60465.589
AT ITER 4355 NEW BEST:: SOT 299738 SOS 68451 HAS SOPS 68451 HAS SOUS 60265 HAS SOUPS 60265 WITH SCORE 60333.451
AT ITER 4357 NEW BEST:: SOT 299736 SOS 68447 HAS SOPS 68447 HAS SOUS 60261 HAS SOUPS 60261 WITH SCORE 60329.447
AT ITER 4388 NEW BEST:: SOT 299736 SOS 68446 HAS SOPS 68446 HAS SOUS 60261 HAS SOUPS 60261 WITH SCORE 60329.446
AT ITER 4483 NEW BEST:: SOT 299707 SOS 68417 HAS SOPS 68417 HAS SOUS 60232 HAS SOUPS 60232 WITH SCORE 60300.417
AT ITER 4510 NEW BEST:: SOT 299679 SOS 68361 HAS SOPS 68361 HAS SOUS 60176 HAS SOUPS 60176 WITH SCORE 60244.361
AT ITER 4538 NEW BEST:: SOT 299671 SOS 68307 HAS SOPS 68307 HAS SOUS 60168 HAS SOUPS 60168 WITH SCORE 60236.307
AT ITER 4637 NEW BEST:: SOT 299641 SOS 68262 HAS SOPS 68262 HAS SOUS 60123 HAS SOUPS 60123 WITH SCORE 60191.262
AT ITER 4644 NEW BEST:: SOT 299641 SOS 68220 HAS SOPS 68220 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60190.22
AT ITER 4645 NEW BEST:: SOT 299638 SOS 68214 HAS SOPS 68214 HAS SOUS 60116 HAS SOUPS 60116 WITH SCORE 60184.214
AT ITER 4685 NEW BEST:: SOT 299616 SOS 68170 HAS SOPS 68170 HAS SOUS 60094 HAS SOUPS 60094 WITH SCORE 60162.17
AT ITER 4707 NEW BEST:: SOT 299613 SOS 68164 HAS SOPS 68164 HAS SOUS 60088 HAS SOUPS 60088 WITH SCORE 60156.164
AT ITER 4746 NEW BEST:: SOT 299611 SOS 68160 HAS SOPS 68160 HAS SOUS 60080 HAS SOUPS 60080 WITH SCORE 60148.16
AT ITER 4752 NEW BEST:: SOT 299471 SOS 67880 HAS SOPS 67880 HAS SOUS 59800 HAS SOUPS 59800 WITH SCORE 59867.88
AT ITER 4814 NEW BEST:: SOT 299456 SOS 67905 HAS SOPS 67905 HAS SOUS 59770 HAS SOUPS 59770 WITH SCORE 59837.905
AT ITER 4828 NEW BEST:: SOT 299472 SOS 67868 HAS SOPS 67868 HAS SOUS 59733 HAS SOUPS 59733 WITH SCORE 59800.868
AT ITER 4849 NEW BEST:: SOT 299396 SOS 67716 HAS SOPS 67716 HAS SOUS 59599 HAS SOUPS 59599 WITH SCORE 59666.716
AT ITER 4871 NEW BEST:: SOT 299376 SOS 67676 HAS SOPS 67676 HAS SOUS 59559 HAS SOUPS 59559 WITH SCORE 59626.676
AT ITER 4919 NEW BEST:: SOT 299352 SOS 67628 HAS SOPS 67628 HAS SOUS 59352 HAS SOUPS 59352 WITH SCORE 59419.628
AT ITER 4948 NEW BEST:: SOT 299350 SOS 67624 HAS SOPS 67624 HAS SOUS 59350 HAS SOUPS 59350 WITH SCORE 59417.624
AT ITER 4956 NEW BEST:: SOT 299339 SOS 67602 HAS SOPS 67602 HAS SOUS 59300 HAS SOUPS 59300 WITH SCORE 59367.602
AT ITER 4998 NEW BEST:: SOT 299254 SOS 67479 HAS SOPS 67479 HAS SOUS 59177 HAS SOUPS 59177 WITH SCORE 59244.479
AT ITER 5027 NEW BEST:: SOT 299239 SOS 67449 HAS SOPS 67449 HAS SOUS 59147 HAS SOUPS 59147 WITH SCORE 59214.449
AT ITER 5105 NEW BEST:: SOT 299203 SOS 67501 HAS SOPS 67501 HAS SOUS 59136 HAS SOUPS 59136 WITH SCORE 59203.501
AT ITER 5107 NEW BEST:: SOT 299163 SOS 67437 HAS SOPS 67437 HAS SOUS 59096 HAS SOUPS 59096 WITH SCORE 59163.437
AT ITER 5114 NEW BEST:: SOT 299153 SOS 67417 HAS SOPS 67417 HAS SOUS 59076 HAS SOUPS 59076 WITH SCORE 59143.417
AT ITER 5126 NEW BEST:: SOT 299153 SOS 67304 HAS SOPS 67304 HAS SOUS 59076 HAS SOUPS 59076 WITH SCORE 59143.304
AT ITER 5139 NEW BEST:: SOT 299450 SOS 67898 HAS SOPS 67898 HAS SOUS 59063 HAS SOUPS 59063 WITH SCORE 59130.898
AT ITER 5162 NEW BEST:: SOT 299441 SOS 67880 HAS SOPS 67880 HAS SOUS 59045 HAS SOUPS 59045 WITH SCORE 59112.88
AT ITER 5238 NEW BEST:: SOT 299441 SOS 67871 HAS SOPS 67871 HAS SOUS 59036 HAS SOUPS 59036 WITH SCORE 59103.871
AT ITER 5240 NEW BEST:: SOT 299420 SOS 67829 HAS SOPS 67829 HAS SOUS 58994 HAS SOUPS 58994 WITH SCORE 59061.829
AT ITER 5264 NEW BEST:: SOT 299370 SOS 67729 HAS SOPS 67729 HAS SOUS 58894 HAS SOUPS 58894 WITH SCORE 58961.729
AT ITER 5302 NEW BEST:: SOT 299360 SOS 67657 HAS SOPS 67657 HAS SOUS 58848 HAS SOUPS 58848 WITH SCORE 58915.657
AT ITER 5325 NEW BEST:: SOT 299295 SOS 67527 HAS SOPS 67527 HAS SOUS 58718 HAS SOUPS 58718 WITH SCORE 58785.527
AT ITER 5342 NEW BEST:: SOT 299310 SOS 67519 HAS SOPS 67519 HAS SOUS 58710 HAS SOUPS 58710 WITH SCORE 58777.519
AT ITER 5355 NEW BEST:: SOT 299310 SOS 67519 HAS SOPS 67519 HAS SOUS 58709 HAS SOUPS 58709 WITH SCORE 58776.519
AT ITER 5364 NEW BEST:: SOT 299305 SOS 67509 HAS SOPS 67509 HAS SOUS 58699 HAS SOUPS 58699 WITH SCORE 58766.509
AT ITER 5374 NEW BEST:: SOT 299305 SOS 67506 HAS SOPS 67506 HAS SOUS 58699 HAS SOUPS 58699 WITH SCORE 58766.506
AT ITER 5394 NEW BEST:: SOT 299299 SOS 67500 HAS SOPS 67500 HAS SOUS 58687 HAS SOUPS 58687 WITH SCORE 58754.5
AT ITER 5402 NEW BEST:: SOT 299293 SOS 67496 HAS SOPS 67496 HAS SOUS 58683 HAS SOUPS 58683 WITH SCORE 58750.496
AT ITER 5410 NEW BEST:: SOT 299244 SOS 67398 HAS SOPS 67398 HAS SOUS 58675 HAS SOUPS 58675 WITH SCORE 58742.398
AT ITER 5418 NEW BEST:: SOT 299284 SOS 67347 HAS SOPS 67347 HAS SOUS 58643 HAS SOUPS 58643 WITH SCORE 58710.347
AT ITER 5430 NEW BEST:: SOT 299262 SOS 67331 HAS SOPS 67331 HAS SOUS 58627 HAS SOUPS 58627 WITH SCORE 58694.331
AT ITER 5465 NEW BEST:: SOT 299267 SOS 67346 HAS SOPS 67346 HAS SOUS 58573 HAS SOUPS 58573 WITH SCORE 58640.346
AT ITER 5514 NEW BEST:: SOT 299252 SOS 67316 HAS SOPS 67316 HAS SOUS 58558 HAS SOUPS 58558 WITH SCORE 58625.316
AT ITER 5527 NEW BEST:: SOT 299263 SOS 67338 HAS SOPS 67338 HAS SOUS 58549 HAS SOUPS 58549 WITH SCORE 58616.338
AT ITER 5555 NEW BEST:: SOT 299242 SOS 67296 HAS SOPS 67296 HAS SOUS 58507 HAS SOUPS 58507 WITH SCORE 58574.296
AT ITER 5570 NEW BEST:: SOT 299076 SOS 66964 HAS SOPS 66964 HAS SOUS 58086 HAS SOUPS 58086 WITH SCORE 58152.964
AT ITER 5612 NEW BEST:: SOT 299074 SOS 66960 HAS SOPS 66960 HAS SOUS 58082 HAS SOUPS 58082 WITH SCORE 58148.96
AT ITER 5644 NEW BEST:: SOT 299074 SOS 66960 HAS SOPS 66960 HAS SOUS 58051 HAS SOUPS 58051 WITH SCORE 58117.96
AT ITER 5684 NEW BEST:: SOT 299073 SOS 66958 HAS SOPS 66958 HAS SOUS 58050 HAS SOUPS 58050 WITH SCORE 58116.958
AT ITER 5691 NEW BEST:: SOT 299047 SOS 66932 HAS SOPS 66932 HAS SOUS 58024 HAS SOUPS 58024 WITH SCORE 58090.932
AT ITER 5706 NEW BEST:: SOT 299035 SOS 66884 HAS SOPS 66884 HAS SOUS 57988 HAS SOUPS 57988 WITH SCORE 58054.884
AT ITER 5753 NEW BEST:: SOT 299069 SOS 66952 HAS SOPS 66952 HAS SOUS 57954 HAS SOUPS 57954 WITH SCORE 58020.952
AT ITER 5754 NEW BEST:: SOT 299069 SOS 66952 HAS SOPS 66952 HAS SOUS 57912 HAS SOUPS 57912 WITH SCORE 57978.952
AT ITER 5768 NEW BEST:: SOT 299069 SOS 66945 HAS SOPS 66945 HAS SOUS 57905 HAS SOUPS 57905 WITH SCORE 57971.945
AT ITER 5774 NEW BEST:: SOT 299039 SOS 66926 HAS SOPS 66926 HAS SOUS 57875 HAS SOUPS 57875 WITH SCORE 57941.926
AT ITER 5790 NEW BEST:: SOT 299039 SOS 66926 HAS SOPS 66926 HAS SOUS 57873 HAS SOUPS 57873 WITH SCORE 57939.926
AT ITER 5791 NEW BEST:: SOT 299045 SOS 66938 HAS SOPS 66938 HAS SOUS 57833 HAS SOUPS 57833 WITH SCORE 57899.938
AT ITER 5832 NEW BEST:: SOT 299074 SOS 66996 HAS SOPS 66996 HAS SOUS 57821 HAS SOUPS 57821 WITH SCORE 57887.996
AT ITER 5845 NEW BEST:: SOT 299067 SOS 66951 HAS SOPS 66951 HAS SOUS 57776 HAS SOUPS 57776 WITH SCORE 57842.951
AT ITER 5901 NEW BEST:: SOT 299064 SOS 66945 HAS SOPS 66945 HAS SOUS 57770 HAS SOUPS 57770 WITH SCORE 57836.945
AT ITER 5912 NEW BEST:: SOT 299039 SOS 66645 HAS SOPS 66645 HAS SOUS 57644 HAS SOUPS 57644 WITH SCORE 57710.645
AT ITER 6005 NEW BEST:: SOT 298989 SOS 66595 HAS SOPS 66595 HAS SOUS 57573 HAS SOUPS 57573 WITH SCORE 57639.595
AT ITER 6016 NEW BEST:: SOT 298995 SOS 66592 HAS SOPS 66592 HAS SOUS 57570 HAS SOUPS 57570 WITH SCORE 57636.592
AT ITER 6074 NEW BEST:: SOT 298990 SOS 66549 HAS SOPS 66549 HAS SOUS 57560 HAS SOUPS 57560 WITH SCORE 57626.549
AT ITER 6085 NEW BEST:: SOT 299009 SOS 66587 HAS SOPS 66587 HAS SOUS 57554 HAS SOUPS 57554 WITH SCORE 57620.587
AT ITER 6095 NEW BEST:: SOT 299147 SOS 66288 HAS SOPS 66288 HAS SOUS 57548 HAS SOUPS 57548 WITH SCORE 57614.288
AT ITER 6098 NEW BEST:: SOT 299125 SOS 66266 HAS SOPS 66266 HAS SOUS 57542 HAS SOUPS 57542 WITH SCORE 57608.266
AT ITER 6180 NEW BEST:: SOT 299124 SOS 66265 HAS SOPS 66265 HAS SOUS 57540 HAS SOUPS 57540 WITH SCORE 57606.265
AT ITER 6184 NEW BEST:: SOT 299123 SOS 66264 HAS SOPS 66264 HAS SOUS 57538 HAS SOUPS 57538 WITH SCORE 57604.264
AT ITER 6224 NEW BEST:: SOT 299122 SOS 66262 HAS SOPS 66262 HAS SOUS 57535 HAS SOUPS 57535 WITH SCORE 57601.262
AT ITER 6254 NEW BEST:: SOT 299122 SOS 67630 HAS SOPS 67630 HAS SOUS 57493 HAS SOUPS 57493 WITH SCORE 57560.63
AT ITER 6258 NEW BEST:: SOT 299123 SOS 67592 HAS SOPS 67592 HAS SOUS 57455 HAS SOUPS 57455 WITH SCORE 57522.592
AT ITER 6313 NEW BEST:: SOT 299130 SOS 67587 HAS SOPS 67587 HAS SOUS 57450 HAS SOUPS 57450 WITH SCORE 57517.587
AT ITER 6331 NEW BEST:: SOT 299116 SOS 67559 HAS SOPS 67559 HAS SOUS 57436 HAS SOUPS 57436 WITH SCORE 57503.559
AT ITER 6367 NEW BEST:: SOT 299104 SOS 67535 HAS SOPS 67535 HAS SOUS 57412 HAS SOUPS 57412 WITH SCORE 57479.535
AT ITER 6390 NEW BEST:: SOT 299098 SOS 67523 HAS SOPS 67523 HAS SOUS 57400 HAS SOUPS 57400 WITH SCORE 57467.523
AT ITER 6407 NEW BEST:: SOT 299082 SOS 67491 HAS SOPS 67491 HAS SOUS 57368 HAS SOUPS 57368 WITH SCORE 57435.491
AT ITER 6410 NEW BEST:: SOT 299051 SOS 67429 HAS SOPS 67429 HAS SOUS 57306 HAS SOUPS 57306 WITH SCORE 57373.429
AT ITER 6429 NEW BEST:: SOT 299029 SOS 67385 HAS SOPS 67385 HAS SOUS 57223 HAS SOUPS 57223 WITH SCORE 57290.385
AT ITER 6432 NEW BEST:: SOT 299013 SOS 67353 HAS SOPS 67353 HAS SOUS 57191 HAS SOUPS 57191 WITH SCORE 57258.353
AT ITER 6459 NEW BEST:: SOT 299019 SOS 67267 HAS SOPS 67267 HAS SOUS 57182 HAS SOUPS 57182 WITH SCORE 57249.267
AT ITER 6466 NEW BEST:: SOT 299013 SOS 67159 HAS SOPS 67159 HAS SOUS 57142 HAS SOUPS 57142 WITH SCORE 57209.159
AT ITER 6504 NEW BEST:: SOT 298996 SOS 67094 HAS SOPS 67094 HAS SOUS 57108 HAS SOUPS 57108 WITH SCORE 57175.094
AT ITER 6519 NEW BEST:: SOT 298990 SOS 67146 HAS SOPS 67146 HAS SOUS 57096 HAS SOUPS 57096 WITH SCORE 57163.146
AT ITER 6565 NEW BEST:: SOT 298973 SOS 68409 HAS SOPS 68409 HAS SOUS 57062 HAS SOUPS 57062 WITH SCORE 57130.409
AT ITER 6566 NEW BEST:: SOT 298973 SOS 68401 HAS SOPS 68401 HAS SOUS 57062 HAS SOUPS 57062 WITH SCORE 57130.401
AT ITER 6608 NEW BEST:: SOT 298973 SOS 68360 HAS SOPS 68360 HAS SOUS 56984 HAS SOUPS 56984 WITH SCORE 57052.36
AT ITER 6618 NEW BEST:: SOT 298949 SOS 68345 HAS SOPS 68345 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 57004.345
AT ITER 6674 NEW BEST:: SOT 298949 SOS 68275 HAS SOPS 68275 HAS SOUS 56914 HAS SOUPS 56914 WITH SCORE 56982.275
AT ITER 6678 NEW BEST:: SOT 298931 SOS 68239 HAS SOPS 68239 HAS SOUS 56878 HAS SOUPS 56878 WITH SCORE 56946.239
AT ITER 6680 NEW BEST:: SOT 298904 SOS 68237 HAS SOPS 68237 HAS SOUS 56876 HAS SOUPS 56876 WITH SCORE 56944.237
AT ITER 6698 NEW BEST:: SOT 298886 SOS 68219 HAS SOPS 68219 HAS SOUS 56840 HAS SOUPS 56840 WITH SCORE 56908.219
AT ITER 6699 NEW BEST:: SOT 298874 SOS 68195 HAS SOPS 68195 HAS SOUS 56836 HAS SOUPS 56836 WITH SCORE 56904.195
AT ITER 6726 NEW BEST:: SOT 298791 SOS 68182 HAS SOPS 68182 HAS SOUS 56823 HAS SOUPS 56823 WITH SCORE 56891.182
AT ITER 6781 NEW BEST:: SOT 298849 SOS 68170 HAS SOPS 68170 HAS SOUS 56817 HAS SOUPS 56817 WITH SCORE 56885.17
AT ITER 6785 NEW BEST:: SOT 298849 SOS 68170 HAS SOPS 68170 HAS SOUS 56809 HAS SOUPS 56809 WITH SCORE 56877.17
AT ITER 6803 NEW BEST:: SOT 298841 SOS 68162 HAS SOPS 68162 HAS SOUS 56801 HAS SOUPS 56801 WITH SCORE 56869.162
AT ITER 6810 NEW BEST:: SOT 298837 SOS 68156 HAS SOPS 68156 HAS SOUS 56795 HAS SOUPS 56795 WITH SCORE 56863.156
AT ITER 6813 NEW BEST:: SOT 298841 SOS 68115 HAS SOPS 68115 HAS SOUS 56789 HAS SOUPS 56789 WITH SCORE 56857.115
AT ITER 6851 NEW BEST:: SOT 298838 SOS 68088 HAS SOPS 68088 HAS SOUS 56779 HAS SOUPS 56779 WITH SCORE 56847.088
AT ITER 6896 NEW BEST:: SOT 298832 SOS 68076 HAS SOPS 68076 HAS SOUS 56767 HAS SOUPS 56767 WITH SCORE 56835.076
AT ITER 6899 NEW BEST:: SOT 298820 SOS 68064 HAS SOPS 68064 HAS SOUS 56755 HAS SOUPS 56755 WITH SCORE 56823.064
AT ITER 6934 NEW BEST:: SOT 298798 SOS 67990 HAS SOPS 67990 HAS SOUS 56681 HAS SOUPS 56681 WITH SCORE 56748.99
AT ITER 6958 NEW BEST:: SOT 298794 SOS 67982 HAS SOPS 67982 HAS SOUS 56673 HAS SOUPS 56673 WITH SCORE 56740.982
AT ITER 6960 NEW BEST:: SOT 298794 SOS 67982 HAS SOPS 67982 HAS SOUS 56595 HAS SOUPS 56595 WITH SCORE 56662.982
AT ITER 6967 NEW BEST:: SOT 298792 SOS 67978 HAS SOPS 67978 HAS SOUS 56591 HAS SOUPS 56591 WITH SCORE 56658.978
AT ITER 6988 NEW BEST:: SOT 298839 SOS 67758 HAS SOPS 67758 HAS SOUS 56506 HAS SOUPS 56506 WITH SCORE 56573.758
AT ITER 7028 NEW BEST:: SOT 298825 SOS 67730 HAS SOPS 67730 HAS SOUS 56478 HAS SOUPS 56478 WITH SCORE 56545.73
AT ITER 7047 NEW BEST:: SOT 298825 SOS 67701 HAS SOPS 67701 HAS SOUS 56449 HAS SOUPS 56449 WITH SCORE 56516.701
AT ITER 7074 NEW BEST:: SOT 298868 SOS 67662 HAS SOPS 67662 HAS SOUS 56357 HAS SOUPS 56357 WITH SCORE 56424.662
AT ITER 7144 NEW BEST:: SOT 298844 SOS 67614 HAS SOPS 67614 HAS SOUS 56309 HAS SOUPS 56309 WITH SCORE 56376.614
AT ITER 7160 NEW BEST:: SOT 298821 SOS 67612 HAS SOPS 67612 HAS SOUS 56303 HAS SOUPS 56303 WITH SCORE 56370.612
AT ITER 7252 NEW BEST:: SOT 298796 SOS 67562 HAS SOPS 67562 HAS SOUS 56253 HAS SOUPS 56253 WITH SCORE 56320.562
AT ITER 7260 NEW BEST:: SOT 298770 SOS 67510 HAS SOPS 67510 HAS SOUS 56201 HAS SOUPS 56201 WITH SCORE 56268.51
AT ITER 7275 NEW BEST:: SOT 298716 SOS 67402 HAS SOPS 67402 HAS SOUS 56093 HAS SOUPS 56093 WITH SCORE 56160.402
AT ITER 7284 NEW BEST:: SOT 298697 SOS 67364 HAS SOPS 67364 HAS SOUS 56089 HAS SOUPS 56089 WITH SCORE 56156.364
AT ITER 7315 NEW BEST:: SOT 298695 SOS 67360 HAS SOPS 67360 HAS SOUS 56084 HAS SOUPS 56084 WITH SCORE 56151.36
AT ITER 7343 NEW BEST:: SOT 298700 SOS 67325 HAS SOPS 67325 HAS SOUS 56075 HAS SOUPS 56075 WITH SCORE 56142.325
AT ITER 7349 NEW BEST:: SOT 298726 SOS 67261 HAS SOPS 67261 HAS SOUS 56037 HAS SOUPS 56037 WITH SCORE 56104.261
AT ITER 7410 NEW BEST:: SOT 298693 SOS 67171 HAS SOPS 67171 HAS SOUS 55971 HAS SOUPS 55971 WITH SCORE 56038.171
AT ITER 7463 NEW BEST:: SOT 298672 SOS 67129 HAS SOPS 67129 HAS SOUS 55914 HAS SOUPS 55914 WITH SCORE 55981.129
AT ITER 7486 NEW BEST:: SOT 298672 SOS 67129 HAS SOPS 67129 HAS SOUS 55913 HAS SOUPS 55913 WITH SCORE 55980.129
AT ITER 7519 NEW BEST:: SOT 298654 SOS 67118 HAS SOPS 67118 HAS SOUS 55901 HAS SOUPS 55901 WITH SCORE 55968.118
AT ITER 7552 NEW BEST:: SOT 298643 SOS 67096 HAS SOPS 67096 HAS SOUS 55879 HAS SOUPS 55879 WITH SCORE 55946.096
AT ITER 7579 NEW BEST:: SOT 298624 SOS 67058 HAS SOPS 67058 HAS SOUS 55872 HAS SOUPS 55872 WITH SCORE 55939.058
AT ITER 7589 NEW BEST:: SOT 298611 SOS 67032 HAS SOPS 67032 HAS SOUS 55846 HAS SOUPS 55846 WITH SCORE 55913.032
AT ITER 7626 NEW BEST:: SOT 298602 SOS 67014 HAS SOPS 67014 HAS SOUS 55837 HAS SOUPS 55837 WITH SCORE 55904.014
AT ITER 7628 NEW BEST:: SOT 298591 SOS 67003 HAS SOPS 67003 HAS SOUS 55826 HAS SOUPS 55826 WITH SCORE 55893.003
AT ITER 7683 NEW BEST:: SOT 298591 SOS 66885 HAS SOPS 66885 HAS SOUS 55767 HAS SOUPS 55767 WITH SCORE 55833.885
AT ITER 7712 NEW BEST:: SOT 298578 SOS 66859 HAS SOPS 66859 HAS SOUS 55741 HAS SOUPS 55741 WITH SCORE 55807.859
AT ITER 7750 NEW BEST:: SOT 298578 SOS 66818 HAS SOPS 66818 HAS SOUS 55677 HAS SOUPS 55677 WITH SCORE 55743.818
AT ITER 7805 NEW BEST:: SOT 298571 SOS 66804 HAS SOPS 66804 HAS SOUS 55663 HAS SOUPS 55663 WITH SCORE 55729.804
AT ITER 7875 NEW BEST:: SOT 298565 SOS 66798 HAS SOPS 66798 HAS SOUS 55651 HAS SOUPS 55651 WITH SCORE 55717.798
AT ITER 7882 NEW BEST:: SOT 298563 SOS 66796 HAS SOPS 66796 HAS SOUS 55649 HAS SOUPS 55649 WITH SCORE 55715.796
AT ITER 7889 NEW BEST:: SOT 298563 SOS 66658 HAS SOPS 66658 HAS SOUS 55649 HAS SOUPS 55649 WITH SCORE 55715.658
AT ITER 7894 NEW BEST:: SOT 298532 SOS 66627 HAS SOPS 66627 HAS SOUS 55587 HAS SOUPS 55587 WITH SCORE 55653.627
AT ITER 7901 NEW BEST:: SOT 298532 SOS 66587 HAS SOPS 66587 HAS SOUS 55587 HAS SOUPS 55587 WITH SCORE 55653.587
AT ITER 7904 NEW BEST:: SOT 298531 SOS 66585 HAS SOPS 66585 HAS SOUS 55585 HAS SOUPS 55585 WITH SCORE 55651.585
AT ITER 7921 NEW BEST:: SOT 298528 SOS 66579 HAS SOPS 66579 HAS SOUS 55579 HAS SOUPS 55579 WITH SCORE 55645.579
AT ITER 7935 NEW BEST:: SOT 298527 SOS 66578 HAS SOPS 66578 HAS SOUS 55577 HAS SOUPS 55577 WITH SCORE 55643.578
AT ITER 7941 NEW BEST:: SOT 298527 SOS 66566 HAS SOPS 66566 HAS SOUS 55577 HAS SOUPS 55577 WITH SCORE 55643.566
AT ITER 7957 NEW BEST:: SOT 298520 SOS 66552 HAS SOPS 66552 HAS SOUS 55563 HAS SOUPS 55563 WITH SCORE 55629.552
AT ITER 7961 NEW BEST:: SOT 298499 SOS 66510 HAS SOPS 66510 HAS SOUS 55507 HAS SOUPS 55507 WITH SCORE 55573.51
AT ITER 7962 NEW BEST:: SOT 298482 SOS 66476 HAS SOPS 66476 HAS SOUS 55421 HAS SOUPS 55421 WITH SCORE 55487.476
AT ITER 7965 NEW BEST:: SOT 298461 SOS 66458 HAS SOPS 66458 HAS SOUS 55403 HAS SOUPS 55403 WITH SCORE 55469.458
AT ITER 7994 NEW BEST:: SOT 298422 SOS 66380 HAS SOPS 66380 HAS SOUS 55325 HAS SOUPS 55325 WITH SCORE 55391.38
AT ITER 8003 NEW BEST:: SOT 298435 SOS 66329 HAS SOPS 66329 HAS SOUS 55274 HAS SOUPS 55274 WITH SCORE 55340.329
AT ITER 8017 NEW BEST:: SOT 298411 SOS 66318 HAS SOPS 66318 HAS SOUS 55263 HAS SOUPS 55263 WITH SCORE 55329.318
AT ITER 8038 NEW BEST:: SOT 298396 SOS 66288 HAS SOPS 66288 HAS SOUS 55233 HAS SOUPS 55233 WITH SCORE 55299.288
AT ITER 8064 NEW BEST:: SOT 298356 SOS 66312 HAS SOPS 66312 HAS SOUS 55205 HAS SOUPS 55205 WITH SCORE 55271.312
AT ITER 8116 NEW BEST:: SOT 298356 SOS 66247 HAS SOPS 66247 HAS SOUS 55140 HAS SOUPS 55140 WITH SCORE 55206.247
AT ITER 8149 NEW BEST:: SOT 298307 SOS 66226 HAS SOPS 66226 HAS SOUS 55115 HAS SOUPS 55115 WITH SCORE 55181.226
AT ITER 8152 NEW BEST:: SOT 298301 SOS 66214 HAS SOPS 66214 HAS SOUS 55103 HAS SOUPS 55103 WITH SCORE 55169.214
AT ITER 8224 NEW BEST:: SOT 298301 SOS 66207 HAS SOPS 66207 HAS SOUS 55103 HAS SOUPS 55103 WITH SCORE 55169.207
AT ITER 8241 NEW BEST:: SOT 298300 SOS 66205 HAS SOPS 66205 HAS SOUS 55101 HAS SOUPS 55101 WITH SCORE 55167.205
AT ITER 8289 NEW BEST:: SOT 298271 SOS 66147 HAS SOPS 66147 HAS SOUS 55075 HAS SOUPS 55075 WITH SCORE 55141.147
AT ITER 8328 NEW BEST:: SOT 298269 SOS 66143 HAS SOPS 66143 HAS SOUS 55071 HAS SOUPS 55071 WITH SCORE 55137.143
AT ITER 8379 NEW BEST:: SOT 298268 SOS 66142 HAS SOPS 66142 HAS SOUS 55069 HAS SOUPS 55069 WITH SCORE 55135.142
AT ITER 8384 NEW BEST:: SOT 298268 SOS 66142 HAS SOPS 66142 HAS SOUS 55052 HAS SOUPS 55052 WITH SCORE 55118.142
AT ITER 8412 NEW BEST:: SOT 298199 SOS 66049 HAS SOPS 66049 HAS SOUS 54933 HAS SOUPS 54933 WITH SCORE 54999.049
AT ITER 8428 NEW BEST:: SOT 298197 SOS 66045 HAS SOPS 66045 HAS SOUS 54929 HAS SOUPS 54929 WITH SCORE 54995.045
AT ITER 8443 NEW BEST:: SOT 298202 SOS 65995 HAS SOPS 65995 HAS SOUS 54894 HAS SOUPS 54894 WITH SCORE 54959.995
AT ITER 8452 NEW BEST:: SOT 298209 SOS 65940 HAS SOPS 65940 HAS SOUS 54842 HAS SOUPS 54842 WITH SCORE 54907.94
AT ITER 8457 NEW BEST:: SOT 298209 SOS 65934 HAS SOPS 65934 HAS SOUS 54836 HAS SOUPS 54836 WITH SCORE 54901.934
AT ITER 8466 NEW BEST:: SOT 298205 SOS 65950 HAS SOPS 65950 HAS SOUS 54832 HAS SOUPS 54832 WITH SCORE 54897.95
AT ITER 8498 NEW BEST:: SOT 298205 SOS 65902 HAS SOPS 65902 HAS SOUS 54832 HAS SOUPS 54832 WITH SCORE 54897.902
AT ITER 8541 NEW BEST:: SOT 298203 SOS 65898 HAS SOPS 65898 HAS SOUS 54824 HAS SOUPS 54824 WITH SCORE 54889.898
AT ITER 8566 NEW BEST:: SOT 298205 SOS 65902 HAS SOPS 65902 HAS SOUS 54822 HAS SOUPS 54822 WITH SCORE 54887.902
AT ITER 8589 NEW BEST:: SOT 298186 SOS 65819 HAS SOPS 65819 HAS SOUS 54776 HAS SOUPS 54776 WITH SCORE 54841.819
AT ITER 8596 NEW BEST:: SOT 298186 SOS 65771 HAS SOPS 65771 HAS SOUS 54776 HAS SOUPS 54776 WITH SCORE 54841.771
AT ITER 8602 NEW BEST:: SOT 298185 SOS 65769 HAS SOPS 65769 HAS SOUS 54771 HAS SOUPS 54771 WITH SCORE 54836.769
AT ITER 8612 NEW BEST:: SOT 298181 SOS 65769 HAS SOPS 65769 HAS SOUS 54767 HAS SOUPS 54767 WITH SCORE 54832.769
AT ITER 8615 NEW BEST:: SOT 298110 SOS 65721 HAS SOPS 65721 HAS SOUS 54719 HAS SOUPS 54719 WITH SCORE 54784.721
AT ITER 8660 NEW BEST:: SOT 298108 SOS 65717 HAS SOPS 65717 HAS SOUS 54715 HAS SOUPS 54715 WITH SCORE 54780.717
AT ITER 8673 NEW BEST:: SOT 298108 SOS 65701 HAS SOPS 65701 HAS SOUS 54715 HAS SOUPS 54715 WITH SCORE 54780.701
AT ITER 8691 NEW BEST:: SOT 298108 SOS 65693 HAS SOPS 65693 HAS SOUS 54707 HAS SOUPS 54707 WITH SCORE 54772.693
AT ITER 8711 NEW BEST:: SOT 298084 SOS 65663 HAS SOPS 65663 HAS SOUS 54688 HAS SOUPS 54688 WITH SCORE 54753.663
AT ITER 8732 NEW BEST:: SOT 298084 SOS 65638 HAS SOPS 65638 HAS SOUS 54663 HAS SOUPS 54663 WITH SCORE 54728.638
AT ITER 8738 NEW BEST:: SOT 298068 SOS 65638 HAS SOPS 65638 HAS SOUS 54647 HAS SOUPS 54647 WITH SCORE 54712.638
AT ITER 8753 NEW BEST:: SOT 298068 SOS 65596 HAS SOPS 65596 HAS SOUS 54605 HAS SOUPS 54605 WITH SCORE 54670.596
AT ITER 8802 NEW BEST:: SOT 298068 SOS 65551 HAS SOPS 65551 HAS SOUS 54605 HAS SOUPS 54605 WITH SCORE 54670.551
AT ITER 8812 NEW BEST:: SOT 298039 SOS 65491 HAS SOPS 65491 HAS SOUS 54547 HAS SOUPS 54547 WITH SCORE 54612.491
AT ITER 8852 NEW BEST:: SOT 298023 SOS 65475 HAS SOPS 65475 HAS SOUS 54531 HAS SOUPS 54531 WITH SCORE 54596.475
AT ITER 8879 NEW BEST:: SOT 298002 SOS 65454 HAS SOPS 65454 HAS SOUS 54510 HAS SOUPS 54510 WITH SCORE 54575.454
AT ITER 8976 NEW BEST:: SOT 297999 SOS 65451 HAS SOPS 65451 HAS SOUS 54504 HAS SOUPS 54504 WITH SCORE 54569.451
AT ITER 9004 NEW BEST:: SOT 297995 SOS 65443 HAS SOPS 65443 HAS SOUS 54496 HAS SOUPS 54496 WITH SCORE 54561.443
AT ITER 9008 NEW BEST:: SOT 297991 SOS 65435 HAS SOPS 65435 HAS SOUS 54488 HAS SOUPS 54488 WITH SCORE 54553.435
AT ITER 9051 NEW BEST:: SOT 297980 SOS 65413 HAS SOPS 65413 HAS SOUS 54466 HAS SOUPS 54466 WITH SCORE 54531.413
AT ITER 9101 NEW BEST:: SOT 297975 SOS 65403 HAS SOPS 65403 HAS SOUS 54456 HAS SOUPS 54456 WITH SCORE 54521.403
AT ITER 9118 NEW BEST:: SOT 297960 SOS 65477 HAS SOPS 65477 HAS SOUS 54444 HAS SOUPS 54444 WITH SCORE 54509.477
AT ITER 9135 NEW BEST:: SOT 298028 SOS 65409 HAS SOPS 65409 HAS SOUS 54432 HAS SOUPS 54432 WITH SCORE 54497.409
AT ITER 9149 NEW BEST:: SOT 298025 SOS 65403 HAS SOPS 65403 HAS SOUS 54426 HAS SOUPS 54426 WITH SCORE 54491.403
AT ITER 9172 NEW BEST:: SOT 298025 SOS 65392 HAS SOPS 65392 HAS SOUS 54426 HAS SOUPS 54426 WITH SCORE 54491.392
AT ITER 9237 NEW BEST:: SOT 297945 SOS 65232 HAS SOPS 65232 HAS SOUS 54275 HAS SOUPS 54275 WITH SCORE 54340.232
AT ITER 9244 NEW BEST:: SOT 297855 SOS 65142 HAS SOPS 65142 HAS SOUS 54185 HAS SOUPS 54185 WITH SCORE 54250.142
AT ITER 9247 NEW BEST:: SOT 297833 SOS 65107 HAS SOPS 65107 HAS SOUS 54150 HAS SOUPS 54150 WITH SCORE 54215.107
AT ITER 9275 NEW BEST:: SOT 297850 SOS 65098 HAS SOPS 65098 HAS SOUS 54141 HAS SOUPS 54141 WITH SCORE 54206.098
AT ITER 9415 NEW BEST:: SOT 297856 SOS 65110 HAS SOPS 65110 HAS SOUS 54133 HAS SOUPS 54133 WITH SCORE 54198.11
AT ITER 9440 NEW BEST:: SOT 297856 SOS 65087 HAS SOPS 65087 HAS SOUS 54133 HAS SOUPS 54133 WITH SCORE 54198.087
AT ITER 9472 NEW BEST:: SOT 297856 SOS 65087 HAS SOPS 65087 HAS SOUS 54113 HAS SOUPS 54113 WITH SCORE 54178.087
AT ITER 9490 NEW BEST:: SOT 297872 SOS 65119 HAS SOPS 65119 HAS SOUS 54106 HAS SOUPS 54106 WITH SCORE 54171.119
AT ITER 9540 NEW BEST:: SOT 297870 SOS 65115 HAS SOPS 65115 HAS SOUS 54102 HAS SOUPS 54102 WITH SCORE 54167.115
AT ITER 9618 NEW BEST:: SOT 297847 SOS 65069 HAS SOPS 65069 HAS SOUS 54070 HAS SOUPS 54070 WITH SCORE 54135.069
AT ITER 9635 NEW BEST:: SOT 297836 SOS 65047 HAS SOPS 65047 HAS SOUS 54065 HAS SOUPS 54065 WITH SCORE 54130.047
AT ITER 9653 NEW BEST:: SOT 297848 SOS 65071 HAS SOPS 65071 HAS SOUS 54059 HAS SOUPS 54059 WITH SCORE 54124.071
AT ITER 9683 NEW BEST:: SOT 297848 SOS 65050 HAS SOPS 65050 HAS SOUS 54038 HAS SOUPS 54038 WITH SCORE 54103.05
AT ITER 9751 NEW BEST:: SOT 297866 SOS 65041 HAS SOPS 65041 HAS SOUS 54029 HAS SOUPS 54029 WITH SCORE 54094.041
AT ITER 9769 NEW BEST:: SOT 297837 SOS 64983 HAS SOPS 64983 HAS SOUS 54002 HAS SOUPS 54002 WITH SCORE 54066.983
AT ITER 9784 NEW BEST:: SOT 297830 SOS 64969 HAS SOPS 64969 HAS SOUS 53995 HAS SOUPS 53995 WITH SCORE 54059.969
AT ITER 9797 NEW BEST:: SOT 297825 SOS 64959 HAS SOPS 64959 HAS SOUS 53985 HAS SOUPS 53985 WITH SCORE 54049.959
AT ITER 9831 NEW BEST:: SOT 297891 SOS 64947 HAS SOPS 64947 HAS SOUS 53944 HAS SOUPS 53944 WITH SCORE 54008.947
AT ITER 9834 NEW BEST:: SOT 297843 SOS 64895 HAS SOPS 64895 HAS SOUS 53888 HAS SOUPS 53888 WITH SCORE 53952.895
AT ITER 9856 NEW BEST:: SOT 297845 SOS 64892 HAS SOPS 64892 HAS SOUS 53887 HAS SOUPS 53887 WITH SCORE 53951.892
AT ITER 9860 NEW BEST:: SOT 297829 SOS 64860 HAS SOPS 64860 HAS SOUS 53796 HAS SOUPS 53796 WITH SCORE 53860.86
AT ITER 9869 NEW BEST:: SOT 297829 SOS 64860 HAS SOPS 64860 HAS SOUS 53795 HAS SOUPS 53795 WITH SCORE 53859.86
AT ITER 9891 NEW BEST:: SOT 297816 SOS 64860 HAS SOPS 64860 HAS SOUS 53782 HAS SOUPS 53782 WITH SCORE 53846.86
AT ITER 9920 NEW BEST:: SOT 297816 SOS 64860 HAS SOPS 64860 HAS SOUS 53777 HAS SOUPS 53777 WITH SCORE 53841.86
AT ITER 9954 NEW BEST:: SOT 297805 SOS 64809 HAS SOPS 64809 HAS SOUS 53726 HAS SOUPS 53726 WITH SCORE 53790.809
AT ITER 9981 NEW BEST:: SOT 297817 SOS 64797 HAS SOPS 64797 HAS SOUS 53726 HAS SOUPS 53726 WITH SCORE 53790.797
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10749272 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152236 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="GPUForwardProgress-PT-36b"
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 GPUForwardProgress-PT-36b, 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 r195-smll-167840342000144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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