Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700352.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.7K May 14 03:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 03:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 59K May 13 21:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 216K May 13 21:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 31K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 115K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 51K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 190K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 15:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 68K May 13 10:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 241K May 13 10:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.3K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 71K May 12 20:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590470079929

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

Filename model.pnml
Petri model created: 200 places, 125 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 17768 SOS 9370 HAS SOPS 9370 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9379.37
AT ITER 14 NEW BEST:: SOT 17709 SOS 9348 HAS SOPS 9348 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9357.348
AT ITER 37 NEW BEST:: SOT 17653 SOS 9292 HAS SOPS 9292 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9301.292
AT ITER 64 NEW BEST:: SOT 17605 SOS 9244 HAS SOPS 9244 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9253.244
AT ITER 73 NEW BEST:: SOT 17629 SOS 9266 HAS SOPS 9266 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9246.266
AT ITER 79 NEW BEST:: SOT 17612 SOS 9255 HAS SOPS 9255 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9235.255
AT ITER 83 NEW BEST:: SOT 17588 SOS 9231 HAS SOPS 9231 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9211.231
AT ITER 90 NEW BEST:: SOT 17500 SOS 9304 HAS SOPS 9304 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9132.304
AT ITER 93 NEW BEST:: SOT 17443 SOS 9316 HAS SOPS 9316 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9104.316
AT ITER 95 NEW BEST:: SOT 17435 SOS 9308 HAS SOPS 9308 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9096.308
AT ITER 100 NEW BEST:: SOT 17369 SOS 9267 HAS SOPS 9267 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9044.267
AT ITER 115 NEW BEST:: SOT 17369 SOS 9266 HAS SOPS 9266 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9043.266
AT ITER 122 NEW BEST:: SOT 17363 SOS 9276 HAS SOPS 9276 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9037.276
AT ITER 131 NEW BEST:: SOT 17347 SOS 9260 HAS SOPS 9260 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9021.26
AT ITER 140 NEW BEST:: SOT 17341 SOS 9254 HAS SOPS 9254 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9015.254
AT ITER 144 NEW BEST:: SOT 17289 SOS 9202 HAS SOPS 9202 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8963.202
AT ITER 154 NEW BEST:: SOT 17286 SOS 9291 HAS SOPS 9291 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8960.291
AT ITER 155 NEW BEST:: SOT 17260 SOS 9274 HAS SOPS 9274 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8943.274
AT ITER 157 NEW BEST:: SOT 17285 SOS 9284 HAS SOPS 9284 HAS SOUS 8932 HAS SOUPS 8932 WITH SCORE 8941.284
AT ITER 176 NEW BEST:: SOT 17227 SOS 9408 HAS SOPS 9408 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8910.408
AT ITER 178 NEW BEST:: SOT 17163 SOS 9380 HAS SOPS 9380 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8882.38
AT ITER 186 NEW BEST:: SOT 17149 SOS 9339 HAS SOPS 9339 HAS SOUS 8832 HAS SOUPS 8832 WITH SCORE 8841.339
AT ITER 187 NEW BEST:: SOT 17111 SOS 9337 HAS SOPS 9337 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8839.337
AT ITER 201 NEW BEST:: SOT 17111 SOS 9325 HAS SOPS 9325 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8839.325
AT ITER 202 NEW BEST:: SOT 17128 SOS 9318 HAS SOPS 9318 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8825.318
AT ITER 218 NEW BEST:: SOT 17127 SOS 9317 HAS SOPS 9317 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8824.317
AT ITER 246 NEW BEST:: SOT 17119 SOS 9329 HAS SOPS 9329 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8809.329
AT ITER 276 NEW BEST:: SOT 17109 SOS 9319 HAS SOPS 9319 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8799.319
AT ITER 279 NEW BEST:: SOT 17045 SOS 9281 HAS SOPS 9281 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8761.281
AT ITER 294 NEW BEST:: SOT 17016 SOS 9291 HAS SOPS 9291 HAS SOUS 8742 HAS SOUPS 8742 WITH SCORE 8751.291
AT ITER 307 NEW BEST:: SOT 17016 SOS 9287 HAS SOPS 9287 HAS SOUS 8742 HAS SOUPS 8742 WITH SCORE 8751.287
AT ITER 315 NEW BEST:: SOT 17014 SOS 9284 HAS SOPS 9284 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8750.284
AT ITER 317 NEW BEST:: SOT 17014 SOS 9249 HAS SOPS 9249 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8750.249
AT ITER 336 NEW BEST:: SOT 16972 SOS 9322 HAS SOPS 9322 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8748.322
AT ITER 337 NEW BEST:: SOT 16948 SOS 9313 HAS SOPS 9313 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8739.313
AT ITER 344 NEW BEST:: SOT 16927 SOS 9299 HAS SOPS 9299 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8725.299
AT ITER 354 NEW BEST:: SOT 16927 SOS 9278 HAS SOPS 9278 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8725.278
AT ITER 361 NEW BEST:: SOT 16927 SOS 9243 HAS SOPS 9243 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8725.243
AT ITER 369 NEW BEST:: SOT 16917 SOS 9236 HAS SOPS 9236 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8718.236
AT ITER 371 NEW BEST:: SOT 16869 SOS 9248 HAS SOPS 9248 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8689.248
AT ITER 375 NEW BEST:: SOT 16852 SOS 9226 HAS SOPS 9226 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8647.226
AT ITER 378 NEW BEST:: SOT 16843 SOS 9173 HAS SOPS 9173 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8638.173
AT ITER 379 NEW BEST:: SOT 16853 SOS 9162 HAS SOPS 9162 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.162
AT ITER 402 NEW BEST:: SOT 16834 SOS 9143 HAS SOPS 9143 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8608.143
AT ITER 419 NEW BEST:: SOT 16834 SOS 9130 HAS SOPS 9130 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8608.13
AT ITER 452 NEW BEST:: SOT 16813 SOS 9118 HAS SOPS 9118 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8588.118
AT ITER 453 NEW BEST:: SOT 16813 SOS 9068 HAS SOPS 9068 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8588.068
AT ITER 457 NEW BEST:: SOT 16813 SOS 8982 HAS SOPS 8982 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8587.982
AT ITER 463 NEW BEST:: SOT 16742 SOS 8962 HAS SOPS 8962 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8550.962
AT ITER 469 NEW BEST:: SOT 16738 SOS 8958 HAS SOPS 8958 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8546.958
AT ITER 475 NEW BEST:: SOT 16745 SOS 8826 HAS SOPS 8826 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8533.826
AT ITER 477 NEW BEST:: SOT 16744 SOS 8825 HAS SOPS 8825 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8532.825
AT ITER 489 NEW BEST:: SOT 16744 SOS 8815 HAS SOPS 8815 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8522.815
AT ITER 508 NEW BEST:: SOT 16726 SOS 8973 HAS SOPS 8973 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8504.973
AT ITER 510 NEW BEST:: SOT 16726 SOS 8955 HAS SOPS 8955 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8504.955
AT ITER 511 NEW BEST:: SOT 16726 SOS 8922 HAS SOPS 8922 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8504.922
AT ITER 518 NEW BEST:: SOT 16726 SOS 8892 HAS SOPS 8892 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8504.892
AT ITER 519 NEW BEST:: SOT 16719 SOS 8885 HAS SOPS 8885 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8497.885
AT ITER 545 NEW BEST:: SOT 16716 SOS 8882 HAS SOPS 8882 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8494.882
AT ITER 561 NEW BEST:: SOT 16716 SOS 8869 HAS SOPS 8869 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8494.869
AT ITER 574 NEW BEST:: SOT 16711 SOS 8864 HAS SOPS 8864 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8486.864
AT ITER 576 NEW BEST:: SOT 16692 SOS 8853 HAS SOPS 8853 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8467.853
AT ITER 585 NEW BEST:: SOT 16687 SOS 8876 HAS SOPS 8876 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8465.876
AT ITER 601 NEW BEST:: SOT 16682 SOS 8871 HAS SOPS 8871 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8460.871
AT ITER 606 NEW BEST:: SOT 16684 SOS 8875 HAS SOPS 8875 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8452.875
AT ITER 611 NEW BEST:: SOT 16684 SOS 8858 HAS SOPS 8858 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8435.858
AT ITER 613 NEW BEST:: SOT 16684 SOS 8854 HAS SOPS 8854 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8435.854
AT ITER 614 NEW BEST:: SOT 16679 SOS 8932 HAS SOPS 8932 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8430.932
AT ITER 616 NEW BEST:: SOT 16627 SOS 8984 HAS SOPS 8984 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8378.984
AT ITER 627 NEW BEST:: SOT 16627 SOS 8968 HAS SOPS 8968 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8378.968
AT ITER 628 NEW BEST:: SOT 16627 SOS 8959 HAS SOPS 8959 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8369.959
AT ITER 633 NEW BEST:: SOT 16617 SOS 8874 HAS SOPS 8874 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8349.874
AT ITER 641 NEW BEST:: SOT 16589 SOS 9016 HAS SOPS 9016 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8322.016
AT ITER 703 NEW BEST:: SOT 16620 SOS 8987 HAS SOPS 8987 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8297.987
AT ITER 716 NEW BEST:: SOT 16619 SOS 8986 HAS SOPS 8986 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8295.986
AT ITER 721 NEW BEST:: SOT 16619 SOS 8988 HAS SOPS 8988 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8292.988
AT ITER 725 NEW BEST:: SOT 16614 SOS 9011 HAS SOPS 9011 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8288.011
AT ITER 765 NEW BEST:: SOT 16623 SOS 9035 HAS SOPS 9035 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8272.035
AT ITER 769 NEW BEST:: SOT 16617 SOS 9029 HAS SOPS 9029 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8266.029
AT ITER 774 NEW BEST:: SOT 16609 SOS 9018 HAS SOPS 9018 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8255.018
AT ITER 775 NEW BEST:: SOT 16586 SOS 9084 HAS SOPS 9084 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8251.084
AT ITER 778 NEW BEST:: SOT 16586 SOS 9073 HAS SOPS 9073 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8251.073
AT ITER 787 NEW BEST:: SOT 16561 SOS 9223 HAS SOPS 9223 HAS SOUS 8238 HAS SOUPS 8238 WITH SCORE 8247.223
AT ITER 792 NEW BEST:: SOT 16561 SOS 9198 HAS SOPS 9198 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8245.198
AT ITER 793 NEW BEST:: SOT 16561 SOS 9154 HAS SOPS 9154 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8245.154
AT ITER 794 NEW BEST:: SOT 16549 SOS 9166 HAS SOPS 9166 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8233.166
AT ITER 798 NEW BEST:: SOT 16518 SOS 9143 HAS SOPS 9143 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8210.143
AT ITER 806 NEW BEST:: SOT 16523 SOS 9132 HAS SOPS 9132 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8199.132
AT ITER 818 NEW BEST:: SOT 16493 SOS 9203 HAS SOPS 9203 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8194.203
AT ITER 826 NEW BEST:: SOT 16490 SOS 9195 HAS SOPS 9195 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8186.195
AT ITER 847 NEW BEST:: SOT 16486 SOS 9191 HAS SOPS 9191 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8182.191
AT ITER 848 NEW BEST:: SOT 16462 SOS 9197 HAS SOPS 9197 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8174.197
AT ITER 862 NEW BEST:: SOT 16425 SOS 9178 HAS SOPS 9178 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8151.178
AT ITER 883 NEW BEST:: SOT 16425 SOS 9141 HAS SOPS 9141 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8148.141
AT ITER 896 NEW BEST:: SOT 16423 SOS 9139 HAS SOPS 9139 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8146.139
AT ITER 899 NEW BEST:: SOT 16423 SOS 9139 HAS SOPS 9139 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8121.139
AT ITER 904 NEW BEST:: SOT 16360 SOS 9108 HAS SOPS 9108 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8101.108
AT ITER 907 NEW BEST:: SOT 16343 SOS 9083 HAS SOPS 9083 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8089.083
AT ITER 929 NEW BEST:: SOT 16320 SOS 9110 HAS SOPS 9110 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.11
AT ITER 942 NEW BEST:: SOT 16320 SOS 9084 HAS SOPS 9084 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.084
AT ITER 1007 NEW BEST:: SOT 16317 SOS 9081 HAS SOPS 9081 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8079.081
AT ITER 1010 NEW BEST:: SOT 16275 SOS 9066 HAS SOPS 9066 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8069.066
AT ITER 1043 NEW BEST:: SOT 16275 SOS 9061 HAS SOPS 9061 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8069.061
AT ITER 1044 NEW BEST:: SOT 16277 SOS 9042 HAS SOPS 9042 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8055.042
AT ITER 1045 NEW BEST:: SOT 16277 SOS 9032 HAS SOPS 9032 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8054.032
AT ITER 1047 NEW BEST:: SOT 16272 SOS 9032 HAS SOPS 9032 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8049.032
AT ITER 1061 NEW BEST:: SOT 16272 SOS 9030 HAS SOPS 9030 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8047.03
AT ITER 1072 NEW BEST:: SOT 16272 SOS 9023 HAS SOPS 9023 HAS SOUS 8038 HAS SOUPS 8038 WITH SCORE 8047.023
AT ITER 1089 NEW BEST:: SOT 16272 SOS 9004 HAS SOPS 9004 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8028.004
AT ITER 1104 NEW BEST:: SOT 16272 SOS 9004 HAS SOPS 9004 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8001.004
AT ITER 1116 NEW BEST:: SOT 16271 SOS 9029 HAS SOPS 9029 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8000.029
AT ITER 1121 NEW BEST:: SOT 16271 SOS 9029 HAS SOPS 9029 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7997.029
AT ITER 1132 NEW BEST:: SOT 16283 SOS 9051 HAS SOPS 9051 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 7994.051
AT ITER 1146 NEW BEST:: SOT 16298 SOS 9080 HAS SOPS 9080 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7983.08
AT ITER 1208 NEW BEST:: SOT 16298 SOS 9056 HAS SOPS 9056 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7962.056
AT ITER 1209 NEW BEST:: SOT 16291 SOS 9053 HAS SOPS 9053 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7947.053
AT ITER 1228 NEW BEST:: SOT 16268 SOS 9046 HAS SOPS 9046 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7942.046
AT ITER 1233 NEW BEST:: SOT 16268 SOS 9015 HAS SOPS 9015 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7942.015
AT ITER 1235 NEW BEST:: SOT 16252 SOS 8999 HAS SOPS 8999 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7914.999
AT ITER 1239 NEW BEST:: SOT 16176 SOS 8973 HAS SOPS 8973 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7888.973
AT ITER 1253 NEW BEST:: SOT 16171 SOS 8968 HAS SOPS 8968 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7883.968
AT ITER 1260 NEW BEST:: SOT 16170 SOS 8967 HAS SOPS 8967 HAS SOUS 7875 HAS SOUPS 7875 WITH SCORE 7883.967
AT ITER 1266 NEW BEST:: SOT 16166 SOS 8963 HAS SOPS 8963 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7876.963
AT ITER 1293 NEW BEST:: SOT 16166 SOS 8931 HAS SOPS 8931 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7876.931
AT ITER 1316 NEW BEST:: SOT 16166 SOS 8923 HAS SOPS 8923 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7876.923
AT ITER 1341 NEW BEST:: SOT 16180 SOS 8930 HAS SOPS 8930 HAS SOUS 7864 HAS SOUPS 7864 WITH SCORE 7872.93
AT ITER 1359 NEW BEST:: SOT 16180 SOS 8930 HAS SOPS 8930 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7862.93
AT ITER 1369 NEW BEST:: SOT 16180 SOS 8926 HAS SOPS 8926 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7862.926
AT ITER 1401 NEW BEST:: SOT 16177 SOS 8923 HAS SOPS 8923 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7859.923
AT ITER 1417 NEW BEST:: SOT 16176 SOS 8931 HAS SOPS 8931 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7858.931
AT ITER 1440 NEW BEST:: SOT 16172 SOS 8908 HAS SOPS 8908 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7847.908
AT ITER 1463 NEW BEST:: SOT 16146 SOS 8979 HAS SOPS 8979 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7838.979
AT ITER 1477 NEW BEST:: SOT 16146 SOS 8976 HAS SOPS 8976 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7838.976
AT ITER 1498 NEW BEST:: SOT 16137 SOS 8967 HAS SOPS 8967 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7829.967
AT ITER 1500 NEW BEST:: SOT 16137 SOS 8951 HAS SOPS 8951 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7813.951
AT ITER 1504 NEW BEST:: SOT 16134 SOS 8942 HAS SOPS 8942 HAS SOUS 7805 HAS SOUPS 7805 WITH SCORE 7813.942
AT ITER 1510 NEW BEST:: SOT 16104 SOS 8923 HAS SOPS 8923 HAS SOUS 7788 HAS SOUPS 7788 WITH SCORE 7796.923
AT ITER 1512 NEW BEST:: SOT 16108 SOS 8917 HAS SOPS 8917 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7790.917
AT ITER 1516 NEW BEST:: SOT 16083 SOS 8912 HAS SOPS 8912 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7790.912
AT ITER 1518 NEW BEST:: SOT 16083 SOS 8908 HAS SOPS 8908 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7788.908
AT ITER 1547 NEW BEST:: SOT 16079 SOS 8904 HAS SOPS 8904 HAS SOUS 7776 HAS SOUPS 7776 WITH SCORE 7784.904
AT ITER 1560 NEW BEST:: SOT 16079 SOS 8904 HAS SOPS 8904 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7770.904
AT ITER 1582 NEW BEST:: SOT 16047 SOS 8902 HAS SOPS 8902 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7768.902
AT ITER 1587 NEW BEST:: SOT 16020 SOS 8897 HAS SOPS 8897 HAS SOUS 7755 HAS SOUPS 7755 WITH SCORE 7763.897
AT ITER 1592 NEW BEST:: SOT 16020 SOS 8924 HAS SOPS 8924 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7756.924
AT ITER 1606 NEW BEST:: SOT 16020 SOS 8923 HAS SOPS 8923 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7755.923
AT ITER 1642 NEW BEST:: SOT 16020 SOS 8923 HAS SOPS 8923 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7751.923
AT ITER 1659 NEW BEST:: SOT 16004 SOS 8947 HAS SOPS 8947 HAS SOUS 7727 HAS SOUPS 7727 WITH SCORE 7735.947
AT ITER 1676 NEW BEST:: SOT 16004 SOS 8931 HAS SOPS 8931 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7720.931
AT ITER 1693 NEW BEST:: SOT 16004 SOS 8873 HAS SOPS 8873 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7720.873
AT ITER 1695 NEW BEST:: SOT 15996 SOS 8865 HAS SOPS 8865 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7712.865
AT ITER 1719 NEW BEST:: SOT 15996 SOS 8845 HAS SOPS 8845 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7709.845
AT ITER 1731 NEW BEST:: SOT 15990 SOS 8839 HAS SOPS 8839 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7706.839
AT ITER 1740 NEW BEST:: SOT 15981 SOS 8909 HAS SOPS 8909 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7700.909
AT ITER 1755 NEW BEST:: SOT 15955 SOS 8927 HAS SOPS 8927 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7691.927
AT ITER 1758 NEW BEST:: SOT 15955 SOS 8935 HAS SOPS 8935 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7690.935
AT ITER 1759 NEW BEST:: SOT 15948 SOS 8928 HAS SOPS 8928 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7683.928
AT ITER 1764 NEW BEST:: SOT 15927 SOS 8907 HAS SOPS 8907 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7662.907
AT ITER 1771 NEW BEST:: SOT 15915 SOS 8900 HAS SOPS 8900 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.9
AT ITER 1775 NEW BEST:: SOT 15915 SOS 8880 HAS SOPS 8880 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.88
AT ITER 1787 NEW BEST:: SOT 15915 SOS 8870 HAS SOPS 8870 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.87
AT ITER 1793 NEW BEST:: SOT 15915 SOS 8858 HAS SOPS 8858 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7650.858
AT ITER 1810 NEW BEST:: SOT 15911 SOS 8854 HAS SOPS 8854 HAS SOUS 7638 HAS SOUPS 7638 WITH SCORE 7646.854
AT ITER 1811 NEW BEST:: SOT 15892 SOS 8881 HAS SOPS 8881 HAS SOUS 7623 HAS SOUPS 7623 WITH SCORE 7631.881
AT ITER 1886 NEW BEST:: SOT 15891 SOS 8880 HAS SOPS 8880 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7626.88
AT ITER 1911 NEW BEST:: SOT 15891 SOS 8879 HAS SOPS 8879 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7626.879
AT ITER 1921 NEW BEST:: SOT 15891 SOS 8868 HAS SOPS 8868 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.868
AT ITER 1925 NEW BEST:: SOT 15889 SOS 8866 HAS SOPS 8866 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7622.866
AT ITER 1927 NEW BEST:: SOT 15889 SOS 8793 HAS SOPS 8793 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7622.793
AT ITER 1928 NEW BEST:: SOT 15884 SOS 8788 HAS SOPS 8788 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7617.788
AT ITER 1930 NEW BEST:: SOT 15883 SOS 8787 HAS SOPS 8787 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7616.787
AT ITER 1941 NEW BEST:: SOT 15870 SOS 8748 HAS SOPS 8748 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7579.748
AT ITER 1942 NEW BEST:: SOT 15870 SOS 8735 HAS SOPS 8735 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7579.735
AT ITER 1958 NEW BEST:: SOT 15833 SOS 8728 HAS SOPS 8728 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7572.728
AT ITER 1967 NEW BEST:: SOT 15837 SOS 8728 HAS SOPS 8728 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7571.728
AT ITER 1977 NEW BEST:: SOT 15833 SOS 8721 HAS SOPS 8721 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7567.721
AT ITER 1991 NEW BEST:: SOT 15794 SOS 8740 HAS SOPS 8740 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7542.74
AT ITER 1992 NEW BEST:: SOT 15793 SOS 8739 HAS SOPS 8739 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7542.739
AT ITER 2002 NEW BEST:: SOT 15787 SOS 8733 HAS SOPS 8733 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7536.733
AT ITER 2021 NEW BEST:: SOT 15778 SOS 8847 HAS SOPS 8847 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7529.847
AT ITER 2043 NEW BEST:: SOT 15777 SOS 8846 HAS SOPS 8846 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7528.846
AT ITER 2078 NEW BEST:: SOT 15745 SOS 8823 HAS SOPS 8823 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7513.823
AT ITER 2127 NEW BEST:: SOT 15766 SOS 8815 HAS SOPS 8815 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7507.815
AT ITER 2130 NEW BEST:: SOT 15766 SOS 8813 HAS SOPS 8813 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7505.813
AT ITER 2141 NEW BEST:: SOT 15762 SOS 8809 HAS SOPS 8809 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7501.809
AT ITER 2148 NEW BEST:: SOT 15762 SOS 8785 HAS SOPS 8785 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7501.785
AT ITER 2160 NEW BEST:: SOT 15735 SOS 8854 HAS SOPS 8854 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7485.854
AT ITER 2161 NEW BEST:: SOT 15731 SOS 8850 HAS SOPS 8850 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7481.85
AT ITER 2230 NEW BEST:: SOT 15730 SOS 8848 HAS SOPS 8848 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7480.848
AT ITER 2235 NEW BEST:: SOT 15718 SOS 8842 HAS SOPS 8842 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7474.842
AT ITER 2247 NEW BEST:: SOT 15717 SOS 8841 HAS SOPS 8841 HAS SOUS 7463 HAS SOUPS 7463 WITH SCORE 7471.841
AT ITER 2295 NEW BEST:: SOT 15716 SOS 8840 HAS SOPS 8840 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7470.84
AT ITER 2336 NEW BEST:: SOT 15715 SOS 8839 HAS SOPS 8839 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.839
AT ITER 2364 NEW BEST:: SOT 15715 SOS 8829 HAS SOPS 8829 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.829
AT ITER 2365 NEW BEST:: SOT 15701 SOS 8822 HAS SOPS 8822 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.822
AT ITER 2404 NEW BEST:: SOT 15658 SOS 8808 HAS SOPS 8808 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7446.808
AT ITER 2431 NEW BEST:: SOT 15677 SOS 8816 HAS SOPS 8816 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7445.816
AT ITER 2453 NEW BEST:: SOT 15677 SOS 8816 HAS SOPS 8816 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7440.816
AT ITER 2464 NEW BEST:: SOT 15677 SOS 8784 HAS SOPS 8784 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7425.784
AT ITER 2473 NEW BEST:: SOT 15694 SOS 8801 HAS SOPS 8801 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7422.801
AT ITER 2475 NEW BEST:: SOT 15694 SOS 8800 HAS SOPS 8800 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7421.8
AT ITER 2489 NEW BEST:: SOT 15694 SOS 8764 HAS SOPS 8764 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7412.764
AT ITER 2494 NEW BEST:: SOT 15655 SOS 8758 HAS SOPS 8758 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7406.758
AT ITER 2535 NEW BEST:: SOT 15654 SOS 8757 HAS SOPS 8757 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7405.757
AT ITER 2564 NEW BEST:: SOT 15654 SOS 8748 HAS SOPS 8748 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7405.748
AT ITER 2565 NEW BEST:: SOT 15655 SOS 8746 HAS SOPS 8746 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7402.746
AT ITER 2574 NEW BEST:: SOT 15652 SOS 8743 HAS SOPS 8743 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7396.743
AT ITER 2589 NEW BEST:: SOT 15613 SOS 8726 HAS SOPS 8726 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7379.726
AT ITER 2602 NEW BEST:: SOT 15617 SOS 8722 HAS SOPS 8722 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7375.722
AT ITER 2645 NEW BEST:: SOT 15617 SOS 8711 HAS SOPS 8711 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7374.711
AT ITER 2660 NEW BEST:: SOT 15605 SOS 8699 HAS SOPS 8699 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7362.699
AT ITER 2672 NEW BEST:: SOT 15593 SOS 8687 HAS SOPS 8687 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7350.687
AT ITER 2682 NEW BEST:: SOT 15523 SOS 8799 HAS SOPS 8799 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7348.799
AT ITER 2693 NEW BEST:: SOT 15522 SOS 8798 HAS SOPS 8798 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7347.798
AT ITER 2715 NEW BEST:: SOT 15520 SOS 8816 HAS SOPS 8816 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.816
AT ITER 2719 NEW BEST:: SOT 15518 SOS 8835 HAS SOPS 8835 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7344.835
AT ITER 2743 NEW BEST:: SOT 15513 SOS 8835 HAS SOPS 8835 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7339.835
AT ITER 2748 NEW BEST:: SOT 15513 SOS 8825 HAS SOPS 8825 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.825
AT ITER 2761 NEW BEST:: SOT 15507 SOS 8822 HAS SOPS 8822 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7333.822
AT ITER 2778 NEW BEST:: SOT 15503 SOS 8818 HAS SOPS 8818 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7329.818
AT ITER 2788 NEW BEST:: SOT 15475 SOS 8804 HAS SOPS 8804 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.804
AT ITER 2838 NEW BEST:: SOT 15463 SOS 8792 HAS SOPS 8792 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.792
AT ITER 2875 NEW BEST:: SOT 15442 SOS 8773 HAS SOPS 8773 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7301.773
AT ITER 2880 NEW BEST:: SOT 15422 SOS 8753 HAS SOPS 8753 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7281.753
AT ITER 2919 NEW BEST:: SOT 15422 SOS 8748 HAS SOPS 8748 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7276.748
AT ITER 2933 NEW BEST:: SOT 15425 SOS 8725 HAS SOPS 8725 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7276.725
AT ITER 2939 NEW BEST:: SOT 15425 SOS 8723 HAS SOPS 8723 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7273.723
AT ITER 2951 NEW BEST:: SOT 15425 SOS 8721 HAS SOPS 8721 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7266.721
AT ITER 2999 NEW BEST:: SOT 15421 SOS 8717 HAS SOPS 8717 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7262.717
AT ITER 3000 NEW BEST:: SOT 15363 SOS 8705 HAS SOPS 8705 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7250.705
AT ITER 3019 NEW BEST:: SOT 15357 SOS 8699 HAS SOPS 8699 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7244.699
AT ITER 3039 NEW BEST:: SOT 15357 SOS 8697 HAS SOPS 8697 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7244.697
AT ITER 3047 NEW BEST:: SOT 15354 SOS 8702 HAS SOPS 8702 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.702
AT ITER 3052 NEW BEST:: SOT 15341 SOS 8702 HAS SOPS 8702 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7241.702
AT ITER 3063 NEW BEST:: SOT 15336 SOS 8697 HAS SOPS 8697 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7236.697
AT ITER 3065 NEW BEST:: SOT 15311 SOS 8644 HAS SOPS 8644 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7231.644
AT ITER 3070 NEW BEST:: SOT 15310 SOS 8643 HAS SOPS 8643 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7230.643
AT ITER 3095 NEW BEST:: SOT 15289 SOS 8629 HAS SOPS 8629 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7216.629
AT ITER 3115 NEW BEST:: SOT 15282 SOS 8622 HAS SOPS 8622 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7209.622
AT ITER 3202 NEW BEST:: SOT 15288 SOS 8609 HAS SOPS 8609 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7196.609
AT ITER 3211 NEW BEST:: SOT 15288 SOS 8609 HAS SOPS 8609 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7191.609
AT ITER 3217 NEW BEST:: SOT 15288 SOS 8606 HAS SOPS 8606 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7191.606
AT ITER 3242 NEW BEST:: SOT 15284 SOS 8623 HAS SOPS 8623 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7189.623
AT ITER 3264 NEW BEST:: SOT 15275 SOS 8619 HAS SOPS 8619 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7185.619
AT ITER 3267 NEW BEST:: SOT 15318 SOS 8637 HAS SOPS 8637 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7177.637
AT ITER 3270 NEW BEST:: SOT 15310 SOS 8629 HAS SOPS 8629 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7167.629
AT ITER 3317 NEW BEST:: SOT 15306 SOS 8625 HAS SOPS 8625 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.625
AT ITER 3335 NEW BEST:: SOT 15288 SOS 8613 HAS SOPS 8613 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7151.613
AT ITER 3354 NEW BEST:: SOT 15288 SOS 8613 HAS SOPS 8613 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7148.613
AT ITER 3366 NEW BEST:: SOT 15288 SOS 8610 HAS SOPS 8610 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7148.61
AT ITER 3396 NEW BEST:: SOT 15288 SOS 8610 HAS SOPS 8610 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7147.61
AT ITER 3399 NEW BEST:: SOT 15288 SOS 8609 HAS SOPS 8609 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.609
AT ITER 3403 NEW BEST:: SOT 15288 SOS 8609 HAS SOPS 8609 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7144.609
AT ITER 3411 NEW BEST:: SOT 15281 SOS 8602 HAS SOPS 8602 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.602
AT ITER 3413 NEW BEST:: SOT 15281 SOS 8594 HAS SOPS 8594 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.594
AT ITER 3462 NEW BEST:: SOT 15280 SOS 8582 HAS SOPS 8582 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7125.582
AT ITER 3464 NEW BEST:: SOT 15289 SOS 8585 HAS SOPS 8585 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7120.585
AT ITER 3496 NEW BEST:: SOT 15282 SOS 8586 HAS SOPS 8586 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.586
AT ITER 3511 NEW BEST:: SOT 15282 SOS 8580 HAS SOPS 8580 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7117.58
AT ITER 3551 NEW BEST:: SOT 15278 SOS 8576 HAS SOPS 8576 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7113.576
AT ITER 3577 NEW BEST:: SOT 15273 SOS 8561 HAS SOPS 8561 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7098.561
AT ITER 3587 NEW BEST:: SOT 15274 SOS 8561 HAS SOPS 8561 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7097.561
AT ITER 3599 NEW BEST:: SOT 15270 SOS 8557 HAS SOPS 8557 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7093.557
AT ITER 3619 NEW BEST:: SOT 15264 SOS 8554 HAS SOPS 8554 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7081.554
AT ITER 3620 NEW BEST:: SOT 15248 SOS 8546 HAS SOPS 8546 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7079.546
AT ITER 3634 NEW BEST:: SOT 15244 SOS 8542 HAS SOPS 8542 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7075.542
AT ITER 3636 NEW BEST:: SOT 15244 SOS 8540 HAS SOPS 8540 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7074.54
AT ITER 3646 NEW BEST:: SOT 15185 SOS 8566 HAS SOPS 8566 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7026.566
AT ITER 3647 NEW BEST:: SOT 15156 SOS 8537 HAS SOPS 8537 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6997.537
AT ITER 3672 NEW BEST:: SOT 15134 SOS 8551 HAS SOPS 8551 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6982.551
AT ITER 3681 NEW BEST:: SOT 15130 SOS 8547 HAS SOPS 8547 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6978.547
AT ITER 3714 NEW BEST:: SOT 15130 SOS 8527 HAS SOPS 8527 HAS SOUS 6970 HAS SOUPS 6970 WITH SCORE 6978.527
AT ITER 3751 NEW BEST:: SOT 15126 SOS 8526 HAS SOPS 8526 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6977.526
AT ITER 3777 NEW BEST:: SOT 15120 SOS 8520 HAS SOPS 8520 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6971.52
AT ITER 3885 NEW BEST:: SOT 15129 SOS 8511 HAS SOPS 8511 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6965.511
AT ITER 3951 NEW BEST:: SOT 15129 SOS 8503 HAS SOPS 8503 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6965.503
AT ITER 4056 NEW BEST:: SOT 15124 SOS 8498 HAS SOPS 8498 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6960.498
AT ITER 4103 NEW BEST:: SOT 15124 SOS 8497 HAS SOPS 8497 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6959.497
AT ITER 4116 NEW BEST:: SOT 15119 SOS 8492 HAS SOPS 8492 HAS SOUS 6946 HAS SOUPS 6946 WITH SCORE 6954.492
AT ITER 4127 NEW BEST:: SOT 15119 SOS 8492 HAS SOPS 8492 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6949.492
AT ITER 4140 NEW BEST:: SOT 15127 SOS 8495 HAS SOPS 8495 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6946.495
AT ITER 4152 NEW BEST:: SOT 15127 SOS 8488 HAS SOPS 8488 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6946.488
AT ITER 4193 NEW BEST:: SOT 15134 SOS 8486 HAS SOPS 8486 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6944.486
AT ITER 4199 NEW BEST:: SOT 15144 SOS 8488 HAS SOPS 8488 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.488
AT ITER 4203 NEW BEST:: SOT 15142 SOS 8486 HAS SOPS 8486 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6916.486
AT ITER 4235 NEW BEST:: SOT 15141 SOS 8485 HAS SOPS 8485 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6915.485
AT ITER 4246 NEW BEST:: SOT 15153 SOS 8466 HAS SOPS 8466 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6913.466
AT ITER 4263 NEW BEST:: SOT 15149 SOS 8466 HAS SOPS 8466 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6910.466
AT ITER 4269 NEW BEST:: SOT 15148 SOS 8465 HAS SOPS 8465 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.465
AT ITER 4292 NEW BEST:: SOT 15147 SOS 8464 HAS SOPS 8464 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.464
AT ITER 4336 NEW BEST:: SOT 15146 SOS 8462 HAS SOPS 8462 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.462
AT ITER 4384 NEW BEST:: SOT 15144 SOS 8460 HAS SOPS 8460 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6906.46
AT ITER 4403 NEW BEST:: SOT 15170 SOS 8460 HAS SOPS 8460 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6879.46
AT ITER 4418 NEW BEST:: SOT 15178 SOS 8452 HAS SOPS 8452 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6879.452
AT ITER 4533 NEW BEST:: SOT 15178 SOS 8425 HAS SOPS 8425 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6868.425
AT ITER 4573 NEW BEST:: SOT 15155 SOS 8416 HAS SOPS 8416 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6859.416
AT ITER 4577 NEW BEST:: SOT 15145 SOS 8406 HAS SOPS 8406 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.406
AT ITER 4600 NEW BEST:: SOT 15145 SOS 8406 HAS SOPS 8406 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6838.406
AT ITER 4626 NEW BEST:: SOT 15139 SOS 8400 HAS SOPS 8400 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6832.4
AT ITER 4630 NEW BEST:: SOT 15139 SOS 8397 HAS SOPS 8397 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6831.397
AT ITER 4678 NEW BEST:: SOT 15136 SOS 8394 HAS SOPS 8394 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6828.394
AT ITER 4700 NEW BEST:: SOT 15136 SOS 8391 HAS SOPS 8391 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6822.391
AT ITER 4756 NEW BEST:: SOT 15136 SOS 8381 HAS SOPS 8381 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6822.381
AT ITER 4787 NEW BEST:: SOT 15133 SOS 8380 HAS SOPS 8380 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6822.38
AT ITER 4871 NEW BEST:: SOT 15125 SOS 8388 HAS SOPS 8388 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6815.388
AT ITER 4890 NEW BEST:: SOT 15125 SOS 8388 HAS SOPS 8388 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.388
AT ITER 4910 NEW BEST:: SOT 15119 SOS 8400 HAS SOPS 8400 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6800.4
AT ITER 4964 NEW BEST:: SOT 15074 SOS 8401 HAS SOPS 8401 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6787.401
AT ITER 5098 NEW BEST:: SOT 15067 SOS 8394 HAS SOPS 8394 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6781.394
AT ITER 5175 NEW BEST:: SOT 15062 SOS 8389 HAS SOPS 8389 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6776.389
AT ITER 5177 NEW BEST:: SOT 15051 SOS 8401 HAS SOPS 8401 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6771.401
AT ITER 5184 NEW BEST:: SOT 15048 SOS 8398 HAS SOPS 8398 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.398
AT ITER 5214 NEW BEST:: SOT 15042 SOS 8392 HAS SOPS 8392 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6762.392
AT ITER 5296 NEW BEST:: SOT 15033 SOS 8383 HAS SOPS 8383 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6753.383
AT ITER 5300 NEW BEST:: SOT 15029 SOS 8386 HAS SOPS 8386 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6749.386
AT ITER 5317 NEW BEST:: SOT 15026 SOS 8383 HAS SOPS 8383 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6746.383
AT ITER 5346 NEW BEST:: SOT 15016 SOS 8380 HAS SOPS 8380 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6743.38
AT ITER 5397 NEW BEST:: SOT 15015 SOS 8377 HAS SOPS 8377 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6743.377
AT ITER 5514 NEW BEST:: SOT 15014 SOS 8379 HAS SOPS 8379 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6742.379
AT ITER 5554 NEW BEST:: SOT 15011 SOS 8376 HAS SOPS 8376 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6739.376
AT ITER 5567 NEW BEST:: SOT 15009 SOS 8374 HAS SOPS 8374 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6737.374
AT ITER 5598 NEW BEST:: SOT 15008 SOS 8382 HAS SOPS 8382 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6736.382
AT ITER 5758 NEW BEST:: SOT 15008 SOS 8382 HAS SOPS 8382 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6733.382
AT ITER 5793 NEW BEST:: SOT 15004 SOS 8378 HAS SOPS 8378 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6729.378
AT ITER 5795 NEW BEST:: SOT 15008 SOS 8374 HAS SOPS 8374 HAS SOUS 6717 HAS SOUPS 6717 WITH SCORE 6725.374
AT ITER 5823 NEW BEST:: SOT 15038 SOS 8387 HAS SOPS 8387 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6723.387
AT ITER 5880 NEW BEST:: SOT 15033 SOS 8384 HAS SOPS 8384 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6720.384
AT ITER 5897 NEW BEST:: SOT 15024 SOS 8375 HAS SOPS 8375 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6711.375
AT ITER 5907 NEW BEST:: SOT 15024 SOS 8366 HAS SOPS 8366 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6711.366
AT ITER 5910 NEW BEST:: SOT 15024 SOS 8358 HAS SOPS 8358 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6703.358
AT ITER 5939 NEW BEST:: SOT 15016 SOS 8350 HAS SOPS 8350 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6689.35
AT ITER 6101 NEW BEST:: SOT 15013 SOS 8347 HAS SOPS 8347 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6686.347
AT ITER 6118 NEW BEST:: SOT 15011 SOS 8350 HAS SOPS 8350 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6684.35
AT ITER 6189 NEW BEST:: SOT 15008 SOS 8347 HAS SOPS 8347 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6681.347
AT ITER 6259 NEW BEST:: SOT 15008 SOS 8347 HAS SOPS 8347 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6679.347
AT ITER 6261 NEW BEST:: SOT 15000 SOS 8339 HAS SOPS 8339 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6671.339
AT ITER 6267 NEW BEST:: SOT 14992 SOS 8335 HAS SOPS 8335 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6671.335
AT ITER 6408 NEW BEST:: SOT 14992 SOS 8335 HAS SOPS 8335 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6670.335
AT ITER 6542 NEW BEST:: SOT 14990 SOS 8333 HAS SOPS 8333 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6666.333
AT ITER 6641 NEW BEST:: SOT 14990 SOS 8330 HAS SOPS 8330 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6666.33
AT ITER 6654 NEW BEST:: SOT 14980 SOS 8320 HAS SOPS 8320 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.32
AT ITER 6733 NEW BEST:: SOT 14980 SOS 8304 HAS SOPS 8304 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.304
AT ITER 6754 NEW BEST:: SOT 14980 SOS 8300 HAS SOPS 8300 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.3
AT ITER 6810 NEW BEST:: SOT 14979 SOS 8299 HAS SOPS 8299 HAS SOUS 6644 HAS SOUPS 6644 WITH SCORE 6652.299
AT ITER 7015 NEW BEST:: SOT 14975 SOS 8295 HAS SOPS 8295 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6648.295
AT ITER 7057 NEW BEST:: SOT 14972 SOS 8292 HAS SOPS 8292 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6645.292
AT ITER 7072 NEW BEST:: SOT 14964 SOS 8284 HAS SOPS 8284 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6637.284
AT ITER 7081 NEW BEST:: SOT 14964 SOS 8284 HAS SOPS 8284 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6634.284
AT ITER 7122 NEW BEST:: SOT 14967 SOS 8279 HAS SOPS 8279 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6628.279
AT ITER 7150 NEW BEST:: SOT 14962 SOS 8276 HAS SOPS 8276 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6625.276
AT ITER 7156 NEW BEST:: SOT 14962 SOS 8272 HAS SOPS 8272 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6623.272
AT ITER 7225 NEW BEST:: SOT 14958 SOS 8272 HAS SOPS 8272 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6622.272
AT ITER 7264 NEW BEST:: SOT 14957 SOS 8271 HAS SOPS 8271 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6621.271
AT ITER 7318 NEW BEST:: SOT 14956 SOS 8270 HAS SOPS 8270 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6620.27
AT ITER 7330 NEW BEST:: SOT 14955 SOS 8269 HAS SOPS 8269 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6618.269
AT ITER 7334 NEW BEST:: SOT 14954 SOS 8268 HAS SOPS 8268 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6617.268
AT ITER 7375 NEW BEST:: SOT 14949 SOS 8263 HAS SOPS 8263 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6612.263
AT ITER 7389 NEW BEST:: SOT 14944 SOS 8261 HAS SOPS 8261 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6610.261
AT ITER 7481 NEW BEST:: SOT 14940 SOS 8257 HAS SOPS 8257 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6606.257
AT ITER 7510 NEW BEST:: SOT 14939 SOS 8328 HAS SOPS 8328 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6605.328
AT ITER 7777 NEW BEST:: SOT 14938 SOS 8327 HAS SOPS 8327 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6604.327
AT ITER 7780 NEW BEST:: SOT 14920 SOS 8321 HAS SOPS 8321 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6604.321
AT ITER 7792 NEW BEST:: SOT 14920 SOS 8321 HAS SOPS 8321 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6601.321
AT ITER 7941 NEW BEST:: SOT 14920 SOS 8303 HAS SOPS 8303 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6601.303
AT ITER 7946 NEW BEST:: SOT 14919 SOS 8367 HAS SOPS 8367 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6600.367
AT ITER 8085 NEW BEST:: SOT 14916 SOS 8370 HAS SOPS 8370 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.37
AT ITER 8139 NEW BEST:: SOT 14915 SOS 8369 HAS SOPS 8369 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6598.369
AT ITER 8192 NEW BEST:: SOT 14912 SOS 8372 HAS SOPS 8372 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6597.372
AT ITER 8278 NEW BEST:: SOT 14911 SOS 8371 HAS SOPS 8371 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6595.371
AT ITER 8282 NEW BEST:: SOT 14910 SOS 8364 HAS SOPS 8364 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6594.364
AT ITER 8314 NEW BEST:: SOT 14911 SOS 8365 HAS SOPS 8365 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.365
AT ITER 8334 NEW BEST:: SOT 14902 SOS 8380 HAS SOPS 8380 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.38
AT ITER 8346 NEW BEST:: SOT 14911 SOS 8343 HAS SOPS 8343 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6590.343
AT ITER 8356 NEW BEST:: SOT 14914 SOS 8342 HAS SOPS 8342 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6590.342
AT ITER 8439 NEW BEST:: SOT 14912 SOS 8341 HAS SOPS 8341 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6589.341
AT ITER 8627 NEW BEST:: SOT 14913 SOS 8340 HAS SOPS 8340 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6589.34
AT ITER 8628 NEW BEST:: SOT 14913 SOS 8300 HAS SOPS 8300 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6589.3
AT ITER 8648 NEW BEST:: SOT 14911 SOS 8298 HAS SOPS 8298 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6587.298
AT ITER 8675 NEW BEST:: SOT 14923 SOS 8288 HAS SOPS 8288 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6583.288
AT ITER 8736 NEW BEST:: SOT 14924 SOS 8288 HAS SOPS 8288 HAS SOUS 6574 HAS SOUPS 6574 WITH SCORE 6582.288
AT ITER 8741 NEW BEST:: SOT 14923 SOS 8287 HAS SOPS 8287 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.287
AT ITER 8827 NEW BEST:: SOT 14921 SOS 8285 HAS SOPS 8285 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6578.285
AT ITER 8832 NEW BEST:: SOT 14915 SOS 8315 HAS SOPS 8315 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6573.315
AT ITER 8860 NEW BEST:: SOT 14914 SOS 8314 HAS SOPS 8314 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6571.314
AT ITER 9168 NEW BEST:: SOT 14916 SOS 8313 HAS SOPS 8313 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6570.313
AT ITER 9214 NEW BEST:: SOT 14916 SOS 8319 HAS SOPS 8319 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6569.319
AT ITER 9317 NEW BEST:: SOT 14925 SOS 8322 HAS SOPS 8322 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6566.322
AT ITER 9361 NEW BEST:: SOT 14931 SOS 8328 HAS SOPS 8328 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6563.328
AT ITER 9378 NEW BEST:: SOT 14922 SOS 8323 HAS SOPS 8323 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6562.323
AT ITER 9474 NEW BEST:: SOT 14922 SOS 8320 HAS SOPS 8320 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6562.32
AT ITER 9482 NEW BEST:: SOT 14935 SOS 8333 HAS SOPS 8333 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.333
AT ITER 9500 NEW BEST:: SOT 14935 SOS 8332 HAS SOPS 8332 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.332
AT ITER 9585 NEW BEST:: SOT 14920 SOS 8337 HAS SOPS 8337 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6556.337
AT ITER 9855 NEW BEST:: SOT 14920 SOS 8337 HAS SOPS 8337 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6554.337
AT ITER 9917 NEW BEST:: SOT 14922 SOS 8339 HAS SOPS 8339 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6550.339

BK_STOP 1590472909068

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 456 Aborted ${SMART} ${INPUT_SM}

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="Sudoku-PT-AN05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538700352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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