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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 14:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 25 14:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 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 65K 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 1678436947192

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-12b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 12b
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: 264 places, 277 transitions, 677 arcs.
AT ITER 0 NEW BEST:: SOT 41092 SOS 12326 HAS SOPS 12326 HAS SOUS 11261 HAS SOUPS 11261 WITH SCORE 11273.326
AT ITER 2 NEW BEST:: SOT 41092 SOS 12326 HAS SOPS 12326 HAS SOUS 11260 HAS SOUPS 11260 WITH SCORE 11272.326
AT ITER 4 NEW BEST:: SOT 41075 SOS 12304 HAS SOPS 12304 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11255.304
AT ITER 10 NEW BEST:: SOT 41111 SOS 12258 HAS SOPS 12258 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11254.258
AT ITER 16 NEW BEST:: SOT 41111 SOS 12234 HAS SOPS 12234 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11254.234
AT ITER 18 NEW BEST:: SOT 41111 SOS 12234 HAS SOPS 12234 HAS SOUS 11241 HAS SOUPS 11241 WITH SCORE 11253.234
AT ITER 20 NEW BEST:: SOT 41111 SOS 12232 HAS SOPS 12232 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11251.232
AT ITER 29 NEW BEST:: SOT 41111 SOS 12232 HAS SOPS 12232 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11250.232
AT ITER 41 NEW BEST:: SOT 41111 SOS 12174 HAS SOPS 12174 HAS SOUS 11238 HAS SOUPS 11238 WITH SCORE 11250.174
AT ITER 51 NEW BEST:: SOT 41100 SOS 12152 HAS SOPS 12152 HAS SOUS 11216 HAS SOUPS 11216 WITH SCORE 11228.152
AT ITER 61 NEW BEST:: SOT 41093 SOS 12114 HAS SOPS 12114 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11206.114
AT ITER 78 NEW BEST:: SOT 41092 SOS 12112 HAS SOPS 12112 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.112
AT ITER 79 NEW BEST:: SOT 41092 SOS 12112 HAS SOPS 12112 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11204.112
AT ITER 80 NEW BEST:: SOT 41083 SOS 12103 HAS SOPS 12103 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11195.103
AT ITER 88 NEW BEST:: SOT 41059 SOS 12080 HAS SOPS 12080 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11169.08
AT ITER 95 NEW BEST:: SOT 41059 SOS 12042 HAS SOPS 12042 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11169.042
AT ITER 99 NEW BEST:: SOT 41077 SOS 12051 HAS SOPS 12051 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11167.051
AT ITER 120 NEW BEST:: SOT 41058 SOS 12057 HAS SOPS 12057 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11148.057
AT ITER 123 NEW BEST:: SOT 41036 SOS 12288 HAS SOPS 12288 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11138.288
AT ITER 136 NEW BEST:: SOT 40999 SOS 12214 HAS SOPS 12214 HAS SOUS 11089 HAS SOUPS 11089 WITH SCORE 11101.214
AT ITER 145 NEW BEST:: SOT 40995 SOS 12162 HAS SOPS 12162 HAS SOUS 11084 HAS SOUPS 11084 WITH SCORE 11096.162
AT ITER 154 NEW BEST:: SOT 40995 SOS 12162 HAS SOPS 12162 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11095.162
AT ITER 181 NEW BEST:: SOT 40954 SOS 12053 HAS SOPS 12053 HAS SOUS 11001 HAS SOUPS 11001 WITH SCORE 11013.053
AT ITER 185 NEW BEST:: SOT 40949 SOS 12043 HAS SOPS 12043 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11003.043
AT ITER 190 NEW BEST:: SOT 40955 SOS 12041 HAS SOPS 12041 HAS SOUS 10989 HAS SOUPS 10989 WITH SCORE 11001.041
AT ITER 197 NEW BEST:: SOT 40444 SOS 12525 HAS SOPS 12525 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10627.525
AT ITER 221 NEW BEST:: SOT 40444 SOS 12513 HAS SOPS 12513 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10627.513
AT ITER 222 NEW BEST:: SOT 40426 SOS 12477 HAS SOPS 12477 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10588.477
AT ITER 234 NEW BEST:: SOT 40413 SOS 12451 HAS SOPS 12451 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10562.451
AT ITER 236 NEW BEST:: SOT 40392 SOS 12409 HAS SOPS 12409 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10558.409
AT ITER 243 NEW BEST:: SOT 40392 SOS 12401 HAS SOPS 12401 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10558.401
AT ITER 259 NEW BEST:: SOT 40392 SOS 12391 HAS SOPS 12391 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10558.391
AT ITER 270 NEW BEST:: SOT 40386 SOS 12379 HAS SOPS 12379 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10546.379
AT ITER 278 NEW BEST:: SOT 40369 SOS 12300 HAS SOPS 12300 HAS SOUS 10500 HAS SOUPS 10500 WITH SCORE 10512.3
AT ITER 279 NEW BEST:: SOT 40379 SOS 12290 HAS SOPS 12290 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10506.29
AT ITER 291 NEW BEST:: SOT 40379 SOS 12283 HAS SOPS 12283 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10499.283
AT ITER 322 NEW BEST:: SOT 40376 SOS 12277 HAS SOPS 12277 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10496.277
AT ITER 350 NEW BEST:: SOT 40381 SOS 12215 HAS SOPS 12215 HAS SOUS 10455 HAS SOUPS 10455 WITH SCORE 10467.215
AT ITER 353 NEW BEST:: SOT 40359 SOS 12171 HAS SOPS 12171 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10455.171
AT ITER 373 NEW BEST:: SOT 40350 SOS 12153 HAS SOPS 12153 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10437.153
AT ITER 385 NEW BEST:: SOT 40343 SOS 12132 HAS SOPS 12132 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10422.132
AT ITER 387 NEW BEST:: SOT 40330 SOS 12084 HAS SOPS 12084 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10396.084
AT ITER 390 NEW BEST:: SOT 40318 SOS 12060 HAS SOPS 12060 HAS SOUS 10372 HAS SOUPS 10372 WITH SCORE 10384.06
AT ITER 416 NEW BEST:: SOT 40272 SOS 11972 HAS SOPS 11972 HAS SOUS 10284 HAS SOUPS 10284 WITH SCORE 10295.972
AT ITER 429 NEW BEST:: SOT 40272 SOS 11972 HAS SOPS 11972 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10269.972
AT ITER 431 NEW BEST:: SOT 40248 SOS 11955 HAS SOPS 11955 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10249.955
AT ITER 432 NEW BEST:: SOT 40248 SOS 11936 HAS SOPS 11936 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10230.936
AT ITER 437 NEW BEST:: SOT 40248 SOS 11936 HAS SOPS 11936 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10227.936
AT ITER 452 NEW BEST:: SOT 40246 SOS 11932 HAS SOPS 11932 HAS SOUS 10214 HAS SOUPS 10214 WITH SCORE 10225.932
AT ITER 465 NEW BEST:: SOT 40250 SOS 11915 HAS SOPS 11915 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10208.915
AT ITER 467 NEW BEST:: SOT 40252 SOS 11826 HAS SOPS 11826 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10147.826
AT ITER 469 NEW BEST:: SOT 40238 SOS 11798 HAS SOPS 11798 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10119.798
AT ITER 480 NEW BEST:: SOT 40208 SOS 11738 HAS SOPS 11738 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10093.738
AT ITER 492 NEW BEST:: SOT 40208 SOS 11701 HAS SOPS 11701 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10093.701
AT ITER 510 NEW BEST:: SOT 40186 SOS 11184 HAS SOPS 11184 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10049.184
AT ITER 513 NEW BEST:: SOT 40171 SOS 11099 HAS SOPS 11099 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9987.099
AT ITER 568 NEW BEST:: SOT 40163 SOS 11106 HAS SOPS 11106 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9979.106
AT ITER 588 NEW BEST:: SOT 40151 SOS 11092 HAS SOPS 11092 HAS SOUS 9954 HAS SOUPS 9954 WITH SCORE 9965.092
AT ITER 597 NEW BEST:: SOT 40151 SOS 11058 HAS SOPS 11058 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9948.058
AT ITER 599 NEW BEST:: SOT 40151 SOS 11048 HAS SOPS 11048 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9938.048
AT ITER 600 NEW BEST:: SOT 40127 SOS 11000 HAS SOPS 11000 HAS SOUS 9903 HAS SOUPS 9903 WITH SCORE 9914.0
AT ITER 613 NEW BEST:: SOT 40123 SOS 10992 HAS SOPS 10992 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9905.992
AT ITER 632 NEW BEST:: SOT 40123 SOS 10984 HAS SOPS 10984 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9897.984
AT ITER 651 NEW BEST:: SOT 40114 SOS 10975 HAS SOPS 10975 HAS SOUS 9878 HAS SOUPS 9878 WITH SCORE 9888.975
AT ITER 664 NEW BEST:: SOT 40109 SOS 10970 HAS SOPS 10970 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.97
AT ITER 669 NEW BEST:: SOT 40109 SOS 10952 HAS SOPS 10952 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.952
AT ITER 684 NEW BEST:: SOT 40051 SOS 10948 HAS SOPS 10948 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9862.948
AT ITER 687 NEW BEST:: SOT 40008 SOS 10923 HAS SOPS 10923 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9842.923
AT ITER 701 NEW BEST:: SOT 39974 SOS 10901 HAS SOPS 10901 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9827.901
AT ITER 705 NEW BEST:: SOT 39966 SOS 10901 HAS SOPS 10901 HAS SOUS 9809 HAS SOUPS 9809 WITH SCORE 9819.901
AT ITER 713 NEW BEST:: SOT 39978 SOS 10925 HAS SOPS 10925 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9771.925
AT ITER 767 NEW BEST:: SOT 39973 SOS 10905 HAS SOPS 10905 HAS SOUS 9751 HAS SOUPS 9751 WITH SCORE 9761.905
AT ITER 778 NEW BEST:: SOT 39970 SOS 10896 HAS SOPS 10896 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9755.896
AT ITER 827 NEW BEST:: SOT 39966 SOS 10888 HAS SOPS 10888 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9747.888
AT ITER 832 NEW BEST:: SOT 39962 SOS 10884 HAS SOPS 10884 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9743.884
AT ITER 848 NEW BEST:: SOT 39962 SOS 10848 HAS SOPS 10848 HAS SOUS 9733 HAS SOUPS 9733 WITH SCORE 9743.848
AT ITER 853 NEW BEST:: SOT 39962 SOS 10847 HAS SOPS 10847 HAS SOUS 9732 HAS SOUPS 9732 WITH SCORE 9742.847
AT ITER 858 NEW BEST:: SOT 39938 SOS 10822 HAS SOPS 10822 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9717.822
AT ITER 866 NEW BEST:: SOT 39938 SOS 10816 HAS SOPS 10816 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9714.816
AT ITER 899 NEW BEST:: SOT 39911 SOS 10740 HAS SOPS 10740 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9638.74
AT ITER 910 NEW BEST:: SOT 39895 SOS 10707 HAS SOPS 10707 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9606.707
AT ITER 913 NEW BEST:: SOT 39818 SOS 10671 HAS SOPS 10671 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9570.671
AT ITER 929 NEW BEST:: SOT 39813 SOS 10661 HAS SOPS 10661 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9550.661
AT ITER 972 NEW BEST:: SOT 39813 SOS 10638 HAS SOPS 10638 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9527.638
AT ITER 976 NEW BEST:: SOT 39823 SOS 10637 HAS SOPS 10637 HAS SOUS 9513 HAS SOUPS 9513 WITH SCORE 9523.637
AT ITER 987 NEW BEST:: SOT 39804 SOS 10572 HAS SOPS 10572 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9458.572
AT ITER 989 NEW BEST:: SOT 39796 SOS 10564 HAS SOPS 10564 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9442.564
AT ITER 1013 NEW BEST:: SOT 39788 SOS 10548 HAS SOPS 10548 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9426.548
AT ITER 1020 NEW BEST:: SOT 39788 SOS 10488 HAS SOPS 10488 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9426.488
AT ITER 1027 NEW BEST:: SOT 39770 SOS 10452 HAS SOPS 10452 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9408.452
AT ITER 1045 NEW BEST:: SOT 39782 SOS 10442 HAS SOPS 10442 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9398.442
AT ITER 1046 NEW BEST:: SOT 39796 SOS 10440 HAS SOPS 10440 HAS SOUS 9387 HAS SOUPS 9387 WITH SCORE 9397.44
AT ITER 1048 NEW BEST:: SOT 39788 SOS 10424 HAS SOPS 10424 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9377.424
AT ITER 1056 NEW BEST:: SOT 39772 SOS 10392 HAS SOPS 10392 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9345.392
AT ITER 1073 NEW BEST:: SOT 39771 SOS 10391 HAS SOPS 10391 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9344.391
AT ITER 1094 NEW BEST:: SOT 39761 SOS 10381 HAS SOPS 10381 HAS SOUS 9324 HAS SOUPS 9324 WITH SCORE 9334.381
AT ITER 1096 NEW BEST:: SOT 39758 SOS 10375 HAS SOPS 10375 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9328.375
AT ITER 1117 NEW BEST:: SOT 39725 SOS 10309 HAS SOPS 10309 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9262.309
AT ITER 1124 NEW BEST:: SOT 39714 SOS 10298 HAS SOPS 10298 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9247.298
AT ITER 1135 NEW BEST:: SOT 39735 SOS 10340 HAS SOPS 10340 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9228.34
AT ITER 1139 NEW BEST:: SOT 39694 SOS 10313 HAS SOPS 10313 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9146.313
AT ITER 1142 NEW BEST:: SOT 39694 SOS 10258 HAS SOPS 10258 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9146.258
AT ITER 1210 NEW BEST:: SOT 39690 SOS 10250 HAS SOPS 10250 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.25
AT ITER 1234 NEW BEST:: SOT 39662 SOS 10230 HAS SOPS 10230 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9122.23
AT ITER 1237 NEW BEST:: SOT 39661 SOS 10178 HAS SOPS 10178 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9080.178
AT ITER 1261 NEW BEST:: SOT 39645 SOS 10146 HAS SOPS 10146 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9048.146
AT ITER 1269 NEW BEST:: SOT 39639 SOS 10134 HAS SOPS 10134 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9036.134
AT ITER 1293 NEW BEST:: SOT 39648 SOS 10152 HAS SOPS 10152 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9013.152
AT ITER 1298 NEW BEST:: SOT 39644 SOS 10140 HAS SOPS 10140 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9009.14
AT ITER 1302 NEW BEST:: SOT 39668 SOS 10129 HAS SOPS 10129 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8985.129
AT ITER 1308 NEW BEST:: SOT 39667 SOS 10127 HAS SOPS 10127 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8983.127
AT ITER 1318 NEW BEST:: SOT 39660 SOS 10113 HAS SOPS 10113 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8969.113
AT ITER 1343 NEW BEST:: SOT 39645 SOS 10083 HAS SOPS 10083 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8953.083
AT ITER 1346 NEW BEST:: SOT 39638 SOS 10087 HAS SOPS 10087 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8949.087
AT ITER 1353 NEW BEST:: SOT 39636 SOS 10083 HAS SOPS 10083 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8949.083
AT ITER 1361 NEW BEST:: SOT 39630 SOS 10077 HAS SOPS 10077 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8937.077
AT ITER 1409 NEW BEST:: SOT 39631 SOS 10057 HAS SOPS 10057 HAS SOUS 8907 HAS SOUPS 8907 WITH SCORE 8917.057
AT ITER 1476 NEW BEST:: SOT 39627 SOS 10049 HAS SOPS 10049 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8909.049
AT ITER 1484 NEW BEST:: SOT 39622 SOS 10044 HAS SOPS 10044 HAS SOUS 8894 HAS SOUPS 8894 WITH SCORE 8904.044
AT ITER 1488 NEW BEST:: SOT 39622 SOS 10044 HAS SOPS 10044 HAS SOUS 8874 HAS SOUPS 8874 WITH SCORE 8884.044
AT ITER 1507 NEW BEST:: SOT 39621 SOS 10039 HAS SOPS 10039 HAS SOUS 8869 HAS SOUPS 8869 WITH SCORE 8879.039
AT ITER 1523 NEW BEST:: SOT 39614 SOS 10025 HAS SOPS 10025 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8872.025
AT ITER 1549 NEW BEST:: SOT 39608 SOS 9917 HAS SOPS 9917 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8853.917
AT ITER 1555 NEW BEST:: SOT 39625 SOS 9776 HAS SOPS 9776 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8852.776
AT ITER 1570 NEW BEST:: SOT 39624 SOS 9768 HAS SOPS 9768 HAS SOUS 8842 HAS SOUPS 8842 WITH SCORE 8851.768
AT ITER 1584 NEW BEST:: SOT 39618 SOS 9756 HAS SOPS 9756 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8839.756
AT ITER 1599 NEW BEST:: SOT 39612 SOS 9744 HAS SOPS 9744 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8831.744
AT ITER 1611 NEW BEST:: SOT 39578 SOS 9676 HAS SOPS 9676 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8763.676
AT ITER 1615 NEW BEST:: SOT 39578 SOS 9676 HAS SOPS 9676 HAS SOUS 8753 HAS SOUPS 8753 WITH SCORE 8762.676
AT ITER 1621 NEW BEST:: SOT 39613 SOS 9670 HAS SOPS 9670 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8759.67
AT ITER 1645 NEW BEST:: SOT 39609 SOS 9662 HAS SOPS 9662 HAS SOUS 8742 HAS SOUPS 8742 WITH SCORE 8751.662
AT ITER 1652 NEW BEST:: SOT 39602 SOS 9655 HAS SOPS 9655 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8744.655
AT ITER 1668 NEW BEST:: SOT 39578 SOS 9607 HAS SOPS 9607 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8696.607
AT ITER 1682 NEW BEST:: SOT 39562 SOS 9575 HAS SOPS 9575 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8664.575
AT ITER 1690 NEW BEST:: SOT 39561 SOS 9573 HAS SOPS 9573 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8662.573
AT ITER 1695 NEW BEST:: SOT 39550 SOS 9551 HAS SOPS 9551 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8640.551
AT ITER 1707 NEW BEST:: SOT 39550 SOS 9530 HAS SOPS 9530 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8640.53
AT ITER 1713 NEW BEST:: SOT 39552 SOS 9498 HAS SOPS 9498 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.498
AT ITER 1731 NEW BEST:: SOT 39551 SOS 9496 HAS SOPS 9496 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8633.496
AT ITER 1739 NEW BEST:: SOT 39505 SOS 9420 HAS SOPS 9420 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8557.42
AT ITER 1812 NEW BEST:: SOT 39485 SOS 9380 HAS SOPS 9380 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8517.38
AT ITER 1828 NEW BEST:: SOT 39458 SOS 9326 HAS SOPS 9326 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8490.326
AT ITER 1838 NEW BEST:: SOT 39460 SOS 9330 HAS SOPS 9330 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8487.33
AT ITER 1870 NEW BEST:: SOT 39453 SOS 9316 HAS SOPS 9316 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8463.316
AT ITER 1906 NEW BEST:: SOT 39451 SOS 9312 HAS SOPS 9312 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8459.312
AT ITER 1914 NEW BEST:: SOT 39462 SOS 9293 HAS SOPS 9293 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8440.293
AT ITER 1920 NEW BEST:: SOT 39446 SOS 9261 HAS SOPS 9261 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8424.261
AT ITER 1921 NEW BEST:: SOT 39429 SOS 9244 HAS SOPS 9244 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8407.244
AT ITER 1958 NEW BEST:: SOT 39426 SOS 9222 HAS SOPS 9222 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8396.222
AT ITER 1963 NEW BEST:: SOT 39424 SOS 9218 HAS SOPS 9218 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8392.218
AT ITER 1966 NEW BEST:: SOT 39423 SOS 9178 HAS SOPS 9178 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8391.178
AT ITER 1986 NEW BEST:: SOT 39423 SOS 9178 HAS SOPS 9178 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8381.178
AT ITER 1991 NEW BEST:: SOT 39390 SOS 9112 HAS SOPS 9112 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8315.112
AT ITER 1995 NEW BEST:: SOT 39380 SOS 9102 HAS SOPS 9102 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8293.102
AT ITER 1999 NEW BEST:: SOT 39370 SOS 9082 HAS SOPS 9082 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8273.082
AT ITER 2023 NEW BEST:: SOT 39370 SOS 9063 HAS SOPS 9063 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8254.063
AT ITER 2115 NEW BEST:: SOT 39358 SOS 9039 HAS SOPS 9039 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8233.039
AT ITER 2132 NEW BEST:: SOT 39356 SOS 9035 HAS SOPS 9035 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8229.035
AT ITER 2140 NEW BEST:: SOT 39342 SOS 8979 HAS SOPS 8979 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8200.979
AT ITER 2146 NEW BEST:: SOT 39334 SOS 8974 HAS SOPS 8974 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8190.974
AT ITER 2162 NEW BEST:: SOT 39334 SOS 8970 HAS SOPS 8970 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8186.97
AT ITER 2244 NEW BEST:: SOT 39334 SOS 8967 HAS SOPS 8967 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8184.967
AT ITER 2245 NEW BEST:: SOT 39329 SOS 8962 HAS SOPS 8962 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8184.962
AT ITER 2259 NEW BEST:: SOT 39329 SOS 8951 HAS SOPS 8951 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8173.951
AT ITER 2274 NEW BEST:: SOT 39333 SOS 8959 HAS SOPS 8959 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8159.959
AT ITER 2301 NEW BEST:: SOT 39341 SOS 8933 HAS SOPS 8933 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8146.933
AT ITER 2309 NEW BEST:: SOT 39335 SOS 8921 HAS SOPS 8921 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8134.921
AT ITER 2326 NEW BEST:: SOT 39320 SOS 8891 HAS SOPS 8891 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8134.891
AT ITER 2346 NEW BEST:: SOT 39320 SOS 8883 HAS SOPS 8883 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8126.883
AT ITER 2367 NEW BEST:: SOT 39305 SOS 8853 HAS SOPS 8853 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8096.853
AT ITER 2369 NEW BEST:: SOT 39301 SOS 8845 HAS SOPS 8845 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8088.845
AT ITER 2392 NEW BEST:: SOT 39299 SOS 8841 HAS SOPS 8841 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8084.841
AT ITER 2399 NEW BEST:: SOT 39309 SOS 8817 HAS SOPS 8817 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8082.817
AT ITER 2408 NEW BEST:: SOT 39309 SOS 8797 HAS SOPS 8797 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8082.797
AT ITER 2523 NEW BEST:: SOT 39300 SOS 8779 HAS SOPS 8779 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8064.779
AT ITER 2541 NEW BEST:: SOT 39264 SOS 9117 HAS SOPS 9117 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8060.117
AT ITER 2591 NEW BEST:: SOT 39255 SOS 9068 HAS SOPS 9068 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.068
AT ITER 2617 NEW BEST:: SOT 39236 SOS 9030 HAS SOPS 9030 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7997.03
AT ITER 2658 NEW BEST:: SOT 39236 SOS 9030 HAS SOPS 9030 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7991.03
AT ITER 2666 NEW BEST:: SOT 39231 SOS 9020 HAS SOPS 9020 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7986.02
AT ITER 2678 NEW BEST:: SOT 39225 SOS 9008 HAS SOPS 9008 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7968.008
AT ITER 2681 NEW BEST:: SOT 39225 SOS 8990 HAS SOPS 8990 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7931.99
AT ITER 2692 NEW BEST:: SOT 39227 SOS 8994 HAS SOPS 8994 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7923.994
AT ITER 2732 NEW BEST:: SOT 39225 SOS 8992 HAS SOPS 8992 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7921.992
AT ITER 2771 NEW BEST:: SOT 39225 SOS 8992 HAS SOPS 8992 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7918.992
AT ITER 2772 NEW BEST:: SOT 39223 SOS 8988 HAS SOPS 8988 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7914.988
AT ITER 2787 NEW BEST:: SOT 39211 SOS 8976 HAS SOPS 8976 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7890.976
AT ITER 2812 NEW BEST:: SOT 39211 SOS 8973 HAS SOPS 8973 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7887.973
AT ITER 2835 NEW BEST:: SOT 39209 SOS 8967 HAS SOPS 8967 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7883.967
AT ITER 2836 NEW BEST:: SOT 39206 SOS 8958 HAS SOPS 8958 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7877.958
AT ITER 2870 NEW BEST:: SOT 39206 SOS 8953 HAS SOPS 8953 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7872.953
AT ITER 2901 NEW BEST:: SOT 39193 SOS 8927 HAS SOPS 8927 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7859.927
AT ITER 2949 NEW BEST:: SOT 39186 SOS 8913 HAS SOPS 8913 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.913
AT ITER 2961 NEW BEST:: SOT 39186 SOS 8910 HAS SOPS 8910 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7842.91
AT ITER 2993 NEW BEST:: SOT 39186 SOS 8906 HAS SOPS 8906 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7842.906
AT ITER 3077 NEW BEST:: SOT 39176 SOS 8891 HAS SOPS 8891 HAS SOUS 7819 HAS SOUPS 7819 WITH SCORE 7827.891
AT ITER 3135 NEW BEST:: SOT 39162 SOS 8880 HAS SOPS 8880 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7816.88
AT ITER 3180 NEW BEST:: SOT 39162 SOS 8851 HAS SOPS 8851 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7796.851
AT ITER 3200 NEW BEST:: SOT 39161 SOS 8849 HAS SOPS 8849 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7795.849
AT ITER 3209 NEW BEST:: SOT 39160 SOS 8847 HAS SOPS 8847 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7793.847
AT ITER 3226 NEW BEST:: SOT 39160 SOS 8847 HAS SOPS 8847 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7778.847
AT ITER 3227 NEW BEST:: SOT 39148 SOS 8823 HAS SOPS 8823 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7754.823
AT ITER 3233 NEW BEST:: SOT 39148 SOS 8819 HAS SOPS 8819 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7750.819
AT ITER 3243 NEW BEST:: SOT 39151 SOS 8825 HAS SOPS 8825 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7748.825
AT ITER 3279 NEW BEST:: SOT 39162 SOS 8836 HAS SOPS 8836 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7745.836
AT ITER 3293 NEW BEST:: SOT 39155 SOS 8822 HAS SOPS 8822 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7731.822
AT ITER 3306 NEW BEST:: SOT 39152 SOS 8712 HAS SOPS 8712 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7719.712
AT ITER 3336 NEW BEST:: SOT 39151 SOS 8692 HAS SOPS 8692 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7717.692
AT ITER 3352 NEW BEST:: SOT 39142 SOS 8683 HAS SOPS 8683 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7709.683
AT ITER 3355 NEW BEST:: SOT 39140 SOS 8683 HAS SOPS 8683 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7707.683
AT ITER 3366 NEW BEST:: SOT 39139 SOS 8681 HAS SOPS 8681 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.681
AT ITER 3386 NEW BEST:: SOT 39139 SOS 8671 HAS SOPS 8671 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.671
AT ITER 3388 NEW BEST:: SOT 39128 SOS 8643 HAS SOPS 8643 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7682.643
AT ITER 3397 NEW BEST:: SOT 39127 SOS 8641 HAS SOPS 8641 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7680.641
AT ITER 3418 NEW BEST:: SOT 39114 SOS 8618 HAS SOPS 8618 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7657.618
AT ITER 3422 NEW BEST:: SOT 39100 SOS 8622 HAS SOPS 8622 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7645.622
AT ITER 3435 NEW BEST:: SOT 39111 SOS 8644 HAS SOPS 8644 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7615.644
AT ITER 3445 NEW BEST:: SOT 39110 SOS 8641 HAS SOPS 8641 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7612.641
AT ITER 3462 NEW BEST:: SOT 39132 SOS 8653 HAS SOPS 8653 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7607.653
AT ITER 3475 NEW BEST:: SOT 39121 SOS 8631 HAS SOPS 8631 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7564.631
AT ITER 3476 NEW BEST:: SOT 39121 SOS 8631 HAS SOPS 8631 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7562.631
AT ITER 3525 NEW BEST:: SOT 39119 SOS 8627 HAS SOPS 8627 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7561.627
AT ITER 3553 NEW BEST:: SOT 39118 SOS 8625 HAS SOPS 8625 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.625
AT ITER 3563 NEW BEST:: SOT 39119 SOS 8626 HAS SOPS 8626 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7558.626
AT ITER 3569 NEW BEST:: SOT 39106 SOS 8608 HAS SOPS 8608 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7537.608
AT ITER 3608 NEW BEST:: SOT 39106 SOS 8608 HAS SOPS 8608 HAS SOUS 7517 HAS SOUPS 7517 WITH SCORE 7525.608
AT ITER 3609 NEW BEST:: SOT 39056 SOS 8578 HAS SOPS 8578 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7495.578
AT ITER 3685 NEW BEST:: SOT 39059 SOS 8584 HAS SOPS 8584 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7491.584
AT ITER 3707 NEW BEST:: SOT 39056 SOS 8578 HAS SOPS 8578 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7488.578
AT ITER 3710 NEW BEST:: SOT 39054 SOS 8562 HAS SOPS 8562 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7480.562
AT ITER 3737 NEW BEST:: SOT 39054 SOS 8559 HAS SOPS 8559 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7477.559
AT ITER 3745 NEW BEST:: SOT 39057 SOS 8555 HAS SOPS 8555 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7473.555
AT ITER 3768 NEW BEST:: SOT 39055 SOS 8519 HAS SOPS 8519 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.519
AT ITER 3781 NEW BEST:: SOT 39044 SOS 8497 HAS SOPS 8497 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.497
AT ITER 3790 NEW BEST:: SOT 39043 SOS 8497 HAS SOPS 8497 HAS SOUS 7458 HAS SOUPS 7458 WITH SCORE 7466.497
AT ITER 3802 NEW BEST:: SOT 39023 SOS 8491 HAS SOPS 8491 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.491
AT ITER 3841 NEW BEST:: SOT 39018 SOS 8486 HAS SOPS 8486 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.486
AT ITER 3848 NEW BEST:: SOT 39013 SOS 8476 HAS SOPS 8476 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7431.476
AT ITER 3854 NEW BEST:: SOT 39013 SOS 8476 HAS SOPS 8476 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7430.476
AT ITER 3857 NEW BEST:: SOT 39013 SOS 8456 HAS SOPS 8456 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7410.456
AT ITER 3881 NEW BEST:: SOT 38992 SOS 8446 HAS SOPS 8446 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7400.446
AT ITER 3931 NEW BEST:: SOT 38989 SOS 8440 HAS SOPS 8440 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.44
AT ITER 3961 NEW BEST:: SOT 39001 SOS 8434 HAS SOPS 8434 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7394.434
AT ITER 4003 NEW BEST:: SOT 39000 SOS 8430 HAS SOPS 8430 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7393.43
AT ITER 4041 NEW BEST:: SOT 38993 SOS 8423 HAS SOPS 8423 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.423
AT ITER 4099 NEW BEST:: SOT 38971 SOS 8325 HAS SOPS 8325 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7311.325
AT ITER 4103 NEW BEST:: SOT 38968 SOS 8319 HAS SOPS 8319 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7300.319
AT ITER 4109 NEW BEST:: SOT 38967 SOS 8317 HAS SOPS 8317 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7296.317
AT ITER 4128 NEW BEST:: SOT 38962 SOS 8301 HAS SOPS 8301 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7286.301
AT ITER 4146 NEW BEST:: SOT 38962 SOS 8273 HAS SOPS 8273 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7272.273
AT ITER 4221 NEW BEST:: SOT 38976 SOS 8301 HAS SOPS 8301 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7230.301
AT ITER 4225 NEW BEST:: SOT 38972 SOS 8297 HAS SOPS 8297 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7226.297
AT ITER 4227 NEW BEST:: SOT 38972 SOS 8297 HAS SOPS 8297 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7222.297
AT ITER 4238 NEW BEST:: SOT 38972 SOS 8282 HAS SOPS 8282 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7207.282
AT ITER 4260 NEW BEST:: SOT 38972 SOS 8281 HAS SOPS 8281 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7206.281
AT ITER 4261 NEW BEST:: SOT 38968 SOS 8273 HAS SOPS 8273 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7198.273
AT ITER 4264 NEW BEST:: SOT 38975 SOS 8228 HAS SOPS 8228 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7174.228
AT ITER 4314 NEW BEST:: SOT 38973 SOS 8222 HAS SOPS 8222 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7170.222
AT ITER 4328 NEW BEST:: SOT 38975 SOS 8214 HAS SOPS 8214 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7154.214
AT ITER 4422 NEW BEST:: SOT 38972 SOS 8208 HAS SOPS 8208 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7148.208
AT ITER 4467 NEW BEST:: SOT 38974 SOS 8198 HAS SOPS 8198 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.198
AT ITER 4485 NEW BEST:: SOT 38975 SOS 8197 HAS SOPS 8197 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.197
AT ITER 4487 NEW BEST:: SOT 38976 SOS 8159 HAS SOPS 8159 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7125.159
AT ITER 4505 NEW BEST:: SOT 38976 SOS 8140 HAS SOPS 8140 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7106.14
AT ITER 4535 NEW BEST:: SOT 38958 SOS 8104 HAS SOPS 8104 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7070.104
AT ITER 4538 NEW BEST:: SOT 38961 SOS 8110 HAS SOPS 8110 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7067.11
AT ITER 4593 NEW BEST:: SOT 38964 SOS 8092 HAS SOPS 8092 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.092
AT ITER 4627 NEW BEST:: SOT 38965 SOS 8090 HAS SOPS 8090 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7047.09
AT ITER 4668 NEW BEST:: SOT 38964 SOS 8088 HAS SOPS 8088 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7045.088
AT ITER 4731 NEW BEST:: SOT 38955 SOS 8070 HAS SOPS 8070 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7018.07
AT ITER 4846 NEW BEST:: SOT 38949 SOS 8058 HAS SOPS 8058 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7009.058
AT ITER 4852 NEW BEST:: SOT 38924 SOS 8040 HAS SOPS 8040 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6986.04
AT ITER 4876 NEW BEST:: SOT 38915 SOS 8036 HAS SOPS 8036 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6977.036
AT ITER 4924 NEW BEST:: SOT 38902 SOS 8010 HAS SOPS 8010 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.01
AT ITER 4934 NEW BEST:: SOT 38902 SOS 7991 HAS SOPS 7991 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6926.991
AT ITER 4979 NEW BEST:: SOT 38902 SOS 7989 HAS SOPS 7989 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6926.989
AT ITER 4982 NEW BEST:: SOT 38902 SOS 7986 HAS SOPS 7986 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6923.986
AT ITER 5001 NEW BEST:: SOT 38904 SOS 7950 HAS SOPS 7950 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6905.95
AT ITER 5013 NEW BEST:: SOT 38898 SOS 7938 HAS SOPS 7938 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6893.938
AT ITER 5077 NEW BEST:: SOT 38895 SOS 7935 HAS SOPS 7935 HAS SOUS 6880 HAS SOUPS 6880 WITH SCORE 6887.935
AT ITER 5084 NEW BEST:: SOT 38980 SOS 8105 HAS SOPS 8105 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6874.105
AT ITER 5157 NEW BEST:: SOT 38977 SOS 8091 HAS SOPS 8091 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6868.091
AT ITER 5160 NEW BEST:: SOT 38977 SOS 8055 HAS SOPS 8055 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6868.055
AT ITER 5161 NEW BEST:: SOT 38973 SOS 8051 HAS SOPS 8051 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.051
AT ITER 5177 NEW BEST:: SOT 38973 SOS 8050 HAS SOPS 8050 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.05
AT ITER 5198 NEW BEST:: SOT 38974 SOS 8044 HAS SOPS 8044 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6848.044
AT ITER 5255 NEW BEST:: SOT 38970 SOS 8046 HAS SOPS 8046 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.046
AT ITER 5272 NEW BEST:: SOT 38968 SOS 8042 HAS SOPS 8042 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.042
AT ITER 5310 NEW BEST:: SOT 38968 SOS 8014 HAS SOPS 8014 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.014
AT ITER 5334 NEW BEST:: SOT 38968 SOS 7988 HAS SOPS 7988 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6839.988
AT ITER 5339 NEW BEST:: SOT 38962 SOS 7954 HAS SOPS 7954 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6822.954
AT ITER 5380 NEW BEST:: SOT 38961 SOS 7952 HAS SOPS 7952 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6814.952
AT ITER 5399 NEW BEST:: SOT 38959 SOS 7943 HAS SOPS 7943 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6807.943
AT ITER 5419 NEW BEST:: SOT 38956 SOS 7937 HAS SOPS 7937 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6805.937
AT ITER 5427 NEW BEST:: SOT 38955 SOS 7935 HAS SOPS 7935 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6804.935
AT ITER 5435 NEW BEST:: SOT 38950 SOS 7925 HAS SOPS 7925 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6793.925
AT ITER 5459 NEW BEST:: SOT 38949 SOS 7924 HAS SOPS 7924 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6792.924
AT ITER 5541 NEW BEST:: SOT 38931 SOS 7888 HAS SOPS 7888 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6756.888
AT ITER 5550 NEW BEST:: SOT 38952 SOS 7912 HAS SOPS 7912 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6743.912
AT ITER 5551 NEW BEST:: SOT 38936 SOS 7890 HAS SOPS 7890 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6721.89
AT ITER 5613 NEW BEST:: SOT 38914 SOS 7846 HAS SOPS 7846 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6699.846
AT ITER 5706 NEW BEST:: SOT 38910 SOS 7891 HAS SOPS 7891 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6695.891
AT ITER 5718 NEW BEST:: SOT 38910 SOS 7889 HAS SOPS 7889 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6693.889
AT ITER 5742 NEW BEST:: SOT 38903 SOS 7875 HAS SOPS 7875 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6688.875
AT ITER 5752 NEW BEST:: SOT 38894 SOS 7857 HAS SOPS 7857 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.857
AT ITER 5791 NEW BEST:: SOT 38894 SOS 7829 HAS SOPS 7829 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.829
AT ITER 5820 NEW BEST:: SOT 38894 SOS 7814 HAS SOPS 7814 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.814
AT ITER 5821 NEW BEST:: SOT 38894 SOS 7811 HAS SOPS 7811 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.811
AT ITER 5828 NEW BEST:: SOT 38893 SOS 7811 HAS SOPS 7811 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6669.811
AT ITER 5831 NEW BEST:: SOT 38893 SOS 7810 HAS SOPS 7810 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6668.81
AT ITER 5986 NEW BEST:: SOT 38892 SOS 7804 HAS SOPS 7804 HAS SOUS 6656 HAS SOUPS 6656 WITH SCORE 6663.804
AT ITER 5990 NEW BEST:: SOT 38891 SOS 7802 HAS SOPS 7802 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6661.802
AT ITER 6015 NEW BEST:: SOT 38889 SOS 7801 HAS SOPS 7801 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.801
AT ITER 6020 NEW BEST:: SOT 38889 SOS 7800 HAS SOPS 7800 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.8
AT ITER 6047 NEW BEST:: SOT 38889 SOS 7794 HAS SOPS 7794 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.794
AT ITER 6123 NEW BEST:: SOT 38896 SOS 7760 HAS SOPS 7760 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.76
AT ITER 6138 NEW BEST:: SOT 38895 SOS 7758 HAS SOPS 7758 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.758
AT ITER 6149 NEW BEST:: SOT 38885 SOS 7760 HAS SOPS 7760 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6634.76
AT ITER 6153 NEW BEST:: SOT 38863 SOS 7741 HAS SOPS 7741 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6632.741
AT ITER 6156 NEW BEST:: SOT 38861 SOS 7737 HAS SOPS 7737 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6628.737
AT ITER 6219 NEW BEST:: SOT 38862 SOS 7739 HAS SOPS 7739 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.739
AT ITER 6272 NEW BEST:: SOT 38853 SOS 7731 HAS SOPS 7731 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6599.731
AT ITER 6310 NEW BEST:: SOT 38846 SOS 7717 HAS SOPS 7717 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6580.717
AT ITER 6348 NEW BEST:: SOT 38842 SOS 7710 HAS SOPS 7710 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6579.71
AT ITER 6377 NEW BEST:: SOT 38834 SOS 7694 HAS SOPS 7694 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6574.694
AT ITER 6422 NEW BEST:: SOT 38832 SOS 7694 HAS SOPS 7694 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6573.694
AT ITER 6437 NEW BEST:: SOT 38830 SOS 7661 HAS SOPS 7661 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6548.661
AT ITER 6463 NEW BEST:: SOT 38830 SOS 7659 HAS SOPS 7659 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.659
AT ITER 6488 NEW BEST:: SOT 38829 SOS 7657 HAS SOPS 7657 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.657
AT ITER 6551 NEW BEST:: SOT 38807 SOS 7641 HAS SOPS 7641 HAS SOUS 6510 HAS SOUPS 6510 WITH SCORE 6517.641
AT ITER 6568 NEW BEST:: SOT 38807 SOS 7637 HAS SOPS 7637 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6513.637
AT ITER 6589 NEW BEST:: SOT 38812 SOS 7641 HAS SOPS 7641 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.641
AT ITER 6637 NEW BEST:: SOT 38814 SOS 7642 HAS SOPS 7642 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6511.642
AT ITER 6656 NEW BEST:: SOT 38825 SOS 7638 HAS SOPS 7638 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6507.638
AT ITER 6682 NEW BEST:: SOT 38822 SOS 7632 HAS SOPS 7632 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6501.632
AT ITER 6693 NEW BEST:: SOT 38823 SOS 7631 HAS SOPS 7631 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6500.631
AT ITER 6763 NEW BEST:: SOT 38823 SOS 7631 HAS SOPS 7631 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.631
AT ITER 6782 NEW BEST:: SOT 38811 SOS 7607 HAS SOPS 7607 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.607
AT ITER 6791 NEW BEST:: SOT 38807 SOS 7599 HAS SOPS 7599 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6467.599
AT ITER 6837 NEW BEST:: SOT 38803 SOS 7601 HAS SOPS 7601 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6464.601
AT ITER 6841 NEW BEST:: SOT 38800 SOS 7589 HAS SOPS 7589 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6460.589
AT ITER 6851 NEW BEST:: SOT 38800 SOS 7588 HAS SOPS 7588 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.588
AT ITER 6894 NEW BEST:: SOT 38788 SOS 7579 HAS SOPS 7579 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6448.579
AT ITER 6946 NEW BEST:: SOT 38776 SOS 7567 HAS SOPS 7567 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6436.567
AT ITER 7099 NEW BEST:: SOT 38773 SOS 7561 HAS SOPS 7561 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6430.561
AT ITER 7110 NEW BEST:: SOT 38772 SOS 7560 HAS SOPS 7560 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6428.56
AT ITER 7138 NEW BEST:: SOT 38753 SOS 7522 HAS SOPS 7522 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6410.522
AT ITER 7170 NEW BEST:: SOT 38760 SOS 7517 HAS SOPS 7517 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.517
AT ITER 7207 NEW BEST:: SOT 38757 SOS 7511 HAS SOPS 7511 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.511
AT ITER 7222 NEW BEST:: SOT 38757 SOS 7509 HAS SOPS 7509 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6402.509
AT ITER 7363 NEW BEST:: SOT 38757 SOS 7499 HAS SOPS 7499 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6397.499
AT ITER 7391 NEW BEST:: SOT 38753 SOS 7491 HAS SOPS 7491 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6395.491
AT ITER 7394 NEW BEST:: SOT 38753 SOS 7489 HAS SOPS 7489 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6393.489
AT ITER 7396 NEW BEST:: SOT 38753 SOS 7487 HAS SOPS 7487 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6391.487
AT ITER 7461 NEW BEST:: SOT 38747 SOS 7491 HAS SOPS 7491 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6386.491
AT ITER 7500 NEW BEST:: SOT 38751 SOS 7490 HAS SOPS 7490 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6385.49
AT ITER 7505 NEW BEST:: SOT 38737 SOS 7462 HAS SOPS 7462 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6384.462
AT ITER 7526 NEW BEST:: SOT 38736 SOS 7460 HAS SOPS 7460 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6382.46
AT ITER 7602 NEW BEST:: SOT 38732 SOS 7452 HAS SOPS 7452 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6374.452
AT ITER 7608 NEW BEST:: SOT 38732 SOS 7456 HAS SOPS 7456 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6370.456
AT ITER 7641 NEW BEST:: SOT 38731 SOS 7454 HAS SOPS 7454 HAS SOUS 6358 HAS SOUPS 6358 WITH SCORE 6365.454
AT ITER 7747 NEW BEST:: SOT 38730 SOS 7452 HAS SOPS 7452 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6363.452
AT ITER 7823 NEW BEST:: SOT 38738 SOS 7468 HAS SOPS 7468 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.468
AT ITER 7833 NEW BEST:: SOT 38738 SOS 7465 HAS SOPS 7465 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6359.465
AT ITER 7834 NEW BEST:: SOT 38738 SOS 7454 HAS SOPS 7454 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6359.454
AT ITER 7859 NEW BEST:: SOT 38738 SOS 7451 HAS SOPS 7451 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6359.451
AT ITER 7863 NEW BEST:: SOT 38738 SOS 7451 HAS SOPS 7451 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6354.451
AT ITER 7950 NEW BEST:: SOT 38728 SOS 7439 HAS SOPS 7439 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6354.439
AT ITER 8000 NEW BEST:: SOT 38728 SOS 7427 HAS SOPS 7427 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6348.427
AT ITER 8026 NEW BEST:: SOT 38727 SOS 7425 HAS SOPS 7425 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6346.425
AT ITER 8058 NEW BEST:: SOT 38744 SOS 7459 HAS SOPS 7459 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6313.459
AT ITER 8069 NEW BEST:: SOT 38743 SOS 7445 HAS SOPS 7445 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6311.445
AT ITER 8249 NEW BEST:: SOT 38744 SOS 7447 HAS SOPS 7447 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6289.447
AT ITER 8262 NEW BEST:: SOT 38742 SOS 7443 HAS SOPS 7443 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6276.443
AT ITER 8304 NEW BEST:: SOT 38742 SOS 7435 HAS SOPS 7435 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6276.435
AT ITER 8385 NEW BEST:: SOT 38734 SOS 7419 HAS SOPS 7419 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6270.419
AT ITER 8563 NEW BEST:: SOT 38734 SOS 7417 HAS SOPS 7417 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6270.417
AT ITER 8615 NEW BEST:: SOT 38732 SOS 7413 HAS SOPS 7413 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6266.413
AT ITER 8636 NEW BEST:: SOT 38730 SOS 7412 HAS SOPS 7412 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.412
AT ITER 8714 NEW BEST:: SOT 38729 SOS 7410 HAS SOPS 7410 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6263.41
AT ITER 8760 NEW BEST:: SOT 38728 SOS 7404 HAS SOPS 7404 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.404
AT ITER 8820 NEW BEST:: SOT 38724 SOS 7399 HAS SOPS 7399 HAS SOUS 6249 HAS SOUPS 6249 WITH SCORE 6256.399
AT ITER 8902 NEW BEST:: SOT 38719 SOS 7426 HAS SOPS 7426 HAS SOUS 6239 HAS SOUPS 6239 WITH SCORE 6246.426
AT ITER 8916 NEW BEST:: SOT 38715 SOS 7430 HAS SOPS 7430 HAS SOUS 6237 HAS SOUPS 6237 WITH SCORE 6244.43
AT ITER 9028 NEW BEST:: SOT 38700 SOS 7416 HAS SOPS 7416 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.416
AT ITER 9042 NEW BEST:: SOT 38699 SOS 7414 HAS SOPS 7414 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6228.414
AT ITER 9059 NEW BEST:: SOT 38698 SOS 7412 HAS SOPS 7412 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.412
AT ITER 9100 NEW BEST:: SOT 38696 SOS 7408 HAS SOPS 7408 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6223.408
AT ITER 9242 NEW BEST:: SOT 38696 SOS 7408 HAS SOPS 7408 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6219.408
AT ITER 9269 NEW BEST:: SOT 38696 SOS 7408 HAS SOPS 7408 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6209.408
AT ITER 9352 NEW BEST:: SOT 38692 SOS 7402 HAS SOPS 7402 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6203.402
AT ITER 9387 NEW BEST:: SOT 38691 SOS 7399 HAS SOPS 7399 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6201.399
AT ITER 9434 NEW BEST:: SOT 38692 SOS 7401 HAS SOPS 7401 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6199.401
AT ITER 9493 NEW BEST:: SOT 38692 SOS 7400 HAS SOPS 7400 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6198.4
AT ITER 9521 NEW BEST:: SOT 38685 SOS 7402 HAS SOPS 7402 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6184.402
AT ITER 9556 NEW BEST:: SOT 38686 SOS 7403 HAS SOPS 7403 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6177.403
AT ITER 9562 NEW BEST:: SOT 38692 SOS 7383 HAS SOPS 7383 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.383
AT ITER 9663 NEW BEST:: SOT 38691 SOS 7377 HAS SOPS 7377 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6165.377
AT ITER 9680 NEW BEST:: SOT 38690 SOS 7380 HAS SOPS 7380 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6163.38
AT ITER 9694 NEW BEST:: SOT 38695 SOS 7390 HAS SOPS 7390 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6162.39
AT ITER 9705 NEW BEST:: SOT 38693 SOS 7388 HAS SOPS 7388 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6160.388
AT ITER 9748 NEW BEST:: SOT 38673 SOS 7384 HAS SOPS 7384 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6156.384
AT ITER 9819 NEW BEST:: SOT 38663 SOS 7382 HAS SOPS 7382 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6150.382
AT ITER 9975 NEW BEST:: SOT 38663 SOS 7382 HAS SOPS 7382 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6143.382
AT ITER 9984 NEW BEST:: SOT 38644 SOS 7362 HAS SOPS 7362 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6134.362
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4285784 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154532 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-12b"
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-12b, 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-167840341900048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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