Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912695300200.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 Sudoku-PT-AN05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695300200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 55K Feb 26 09:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 299K Feb 26 09:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 141K Feb 26 09:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 724K Feb 26 09:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 48K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 178K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 55K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 207K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 145K Feb 26 09:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 757K Feb 26 09:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 217K Feb 26 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 26 09:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 80K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679153639687

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=Sudoku-PT-AN05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN05
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: 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 20 NEW BEST:: SOT 17752 SOS 9354 HAS SOPS 9354 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9363.354
AT ITER 38 NEW BEST:: SOT 17701 SOS 9481 HAS SOPS 9481 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9355.481
AT ITER 51 NEW BEST:: SOT 17710 SOS 9467 HAS SOPS 9467 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9341.467
AT ITER 61 NEW BEST:: SOT 17613 SOS 9564 HAS SOPS 9564 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9260.564
AT ITER 66 NEW BEST:: SOT 17599 SOS 9550 HAS SOPS 9550 HAS SOUS 9230 HAS SOUPS 9230 WITH SCORE 9239.55
AT ITER 79 NEW BEST:: SOT 17546 SOS 9523 HAS SOPS 9523 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9196.523
AT ITER 90 NEW BEST:: SOT 17489 SOS 9558 HAS SOPS 9558 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9143.558
AT ITER 96 NEW BEST:: SOT 17489 SOS 9545 HAS SOPS 9545 HAS SOUS 9134 HAS SOUPS 9134 WITH SCORE 9143.545
AT ITER 106 NEW BEST:: SOT 17444 SOS 9521 HAS SOPS 9521 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9119.521
AT ITER 112 NEW BEST:: SOT 17438 SOS 9515 HAS SOPS 9515 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9113.515
AT ITER 113 NEW BEST:: SOT 17422 SOS 9498 HAS SOPS 9498 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9080.498
AT ITER 124 NEW BEST:: SOT 17396 SOS 9458 HAS SOPS 9458 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9054.458
AT ITER 128 NEW BEST:: SOT 17365 SOS 9456 HAS SOPS 9456 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9046.456
AT ITER 130 NEW BEST:: SOT 17356 SOS 9482 HAS SOPS 9482 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9037.482
AT ITER 131 NEW BEST:: SOT 17347 SOS 9491 HAS SOPS 9491 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9028.491
AT ITER 138 NEW BEST:: SOT 17345 SOS 9489 HAS SOPS 9489 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9026.489
AT ITER 151 NEW BEST:: SOT 17320 SOS 9492 HAS SOPS 9492 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9025.492
AT ITER 157 NEW BEST:: SOT 17320 SOS 9460 HAS SOPS 9460 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9025.46
AT ITER 158 NEW BEST:: SOT 17320 SOS 9445 HAS SOPS 9445 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9025.445
AT ITER 159 NEW BEST:: SOT 17246 SOS 9491 HAS SOPS 9491 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 8987.491
AT ITER 166 NEW BEST:: SOT 17245 SOS 9490 HAS SOPS 9490 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8986.49
AT ITER 167 NEW BEST:: SOT 17182 SOS 9481 HAS SOPS 9481 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8977.481
AT ITER 172 NEW BEST:: SOT 17190 SOS 9427 HAS SOPS 9427 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8963.427
AT ITER 174 NEW BEST:: SOT 17190 SOS 9410 HAS SOPS 9410 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8963.41
AT ITER 175 NEW BEST:: SOT 17100 SOS 9414 HAS SOPS 9414 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8931.414
AT ITER 180 NEW BEST:: SOT 17100 SOS 9393 HAS SOPS 9393 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8931.393
AT ITER 181 NEW BEST:: SOT 17097 SOS 9396 HAS SOPS 9396 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8928.396
AT ITER 188 NEW BEST:: SOT 17081 SOS 9389 HAS SOPS 9389 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8912.389
AT ITER 200 NEW BEST:: SOT 17081 SOS 9375 HAS SOPS 9375 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8912.375
AT ITER 204 NEW BEST:: SOT 17081 SOS 9352 HAS SOPS 9352 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8912.352
AT ITER 210 NEW BEST:: SOT 17030 SOS 9384 HAS SOPS 9384 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8888.384
AT ITER 211 NEW BEST:: SOT 17030 SOS 9380 HAS SOPS 9380 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8888.38
AT ITER 219 NEW BEST:: SOT 17022 SOS 9372 HAS SOPS 9372 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8880.372
AT ITER 220 NEW BEST:: SOT 16998 SOS 9357 HAS SOPS 9357 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8834.357
AT ITER 222 NEW BEST:: SOT 16947 SOS 9321 HAS SOPS 9321 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8798.321
AT ITER 230 NEW BEST:: SOT 16870 SOS 9304 HAS SOPS 9304 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8754.304
AT ITER 231 NEW BEST:: SOT 16868 SOS 9291 HAS SOPS 9291 HAS SOUS 8723 HAS SOUPS 8723 WITH SCORE 8732.291
AT ITER 234 NEW BEST:: SOT 16836 SOS 9303 HAS SOPS 9303 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8730.303
AT ITER 239 NEW BEST:: SOT 16806 SOS 9259 HAS SOPS 9259 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8699.259
AT ITER 296 NEW BEST:: SOT 16806 SOS 9254 HAS SOPS 9254 HAS SOUS 8685 HAS SOUPS 8685 WITH SCORE 8694.254
AT ITER 303 NEW BEST:: SOT 16789 SOS 9180 HAS SOPS 9180 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8690.18
AT ITER 324 NEW BEST:: SOT 16781 SOS 9191 HAS SOPS 9191 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8676.191
AT ITER 325 NEW BEST:: SOT 16813 SOS 9220 HAS SOPS 9220 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8669.22
AT ITER 350 NEW BEST:: SOT 16802 SOS 9209 HAS SOPS 9209 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8658.209
AT ITER 352 NEW BEST:: SOT 16802 SOS 9176 HAS SOPS 9176 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8646.176
AT ITER 359 NEW BEST:: SOT 16802 SOS 9167 HAS SOPS 9167 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8646.167
AT ITER 362 NEW BEST:: SOT 16791 SOS 9147 HAS SOPS 9147 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8623.147
AT ITER 363 NEW BEST:: SOT 16775 SOS 9125 HAS SOPS 9125 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8601.125
AT ITER 368 NEW BEST:: SOT 16748 SOS 9100 HAS SOPS 9100 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8576.1
AT ITER 372 NEW BEST:: SOT 16748 SOS 9087 HAS SOPS 9087 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8557.087
AT ITER 373 NEW BEST:: SOT 16748 SOS 9123 HAS SOPS 9123 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8555.123
AT ITER 381 NEW BEST:: SOT 16748 SOS 9117 HAS SOPS 9117 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8549.117
AT ITER 384 NEW BEST:: SOT 16722 SOS 9092 HAS SOPS 9092 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8524.092
AT ITER 411 NEW BEST:: SOT 16722 SOS 9074 HAS SOPS 9074 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8524.074
AT ITER 433 NEW BEST:: SOT 16721 SOS 9075 HAS SOPS 9075 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8523.075
AT ITER 460 NEW BEST:: SOT 16718 SOS 9072 HAS SOPS 9072 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8520.072
AT ITER 465 NEW BEST:: SOT 16711 SOS 9111 HAS SOPS 9111 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8513.111
AT ITER 484 NEW BEST:: SOT 16708 SOS 9105 HAS SOPS 9105 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8504.105
AT ITER 489 NEW BEST:: SOT 16690 SOS 9244 HAS SOPS 9244 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8493.244
AT ITER 508 NEW BEST:: SOT 16677 SOS 9231 HAS SOPS 9231 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8485.231
AT ITER 510 NEW BEST:: SOT 16673 SOS 9229 HAS SOPS 9229 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.229
AT ITER 528 NEW BEST:: SOT 16673 SOS 9208 HAS SOPS 9208 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.208
AT ITER 539 NEW BEST:: SOT 16671 SOS 9202 HAS SOPS 9202 HAS SOUS 8472 HAS SOUPS 8472 WITH SCORE 8481.202
AT ITER 543 NEW BEST:: SOT 16653 SOS 9184 HAS SOPS 9184 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8474.184
AT ITER 549 NEW BEST:: SOT 16653 SOS 9165 HAS SOPS 9165 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8474.165
AT ITER 572 NEW BEST:: SOT 16581 SOS 9298 HAS SOPS 9298 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8442.298
AT ITER 580 NEW BEST:: SOT 16549 SOS 9266 HAS SOPS 9266 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8410.266
AT ITER 581 NEW BEST:: SOT 16546 SOS 9264 HAS SOPS 9264 HAS SOUS 8399 HAS SOUPS 8399 WITH SCORE 8408.264
AT ITER 596 NEW BEST:: SOT 16476 SOS 9339 HAS SOPS 9339 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8375.339
AT ITER 607 NEW BEST:: SOT 16442 SOS 9339 HAS SOPS 9339 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8369.339
AT ITER 609 NEW BEST:: SOT 16442 SOS 9337 HAS SOPS 9337 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8366.337
AT ITER 611 NEW BEST:: SOT 16402 SOS 9336 HAS SOPS 9336 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8365.336
AT ITER 614 NEW BEST:: SOT 16402 SOS 9319 HAS SOPS 9319 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8365.319
AT ITER 627 NEW BEST:: SOT 16402 SOS 9296 HAS SOPS 9296 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8342.296
AT ITER 634 NEW BEST:: SOT 16402 SOS 9292 HAS SOPS 9292 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8331.292
AT ITER 657 NEW BEST:: SOT 16367 SOS 9285 HAS SOPS 9285 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8313.285
AT ITER 702 NEW BEST:: SOT 16367 SOS 9184 HAS SOPS 9184 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8308.184
AT ITER 703 NEW BEST:: SOT 16347 SOS 9190 HAS SOPS 9190 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8288.19
AT ITER 712 NEW BEST:: SOT 16339 SOS 9187 HAS SOPS 9187 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8283.187
AT ITER 734 NEW BEST:: SOT 16337 SOS 9185 HAS SOPS 9185 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8281.185
AT ITER 737 NEW BEST:: SOT 16329 SOS 9177 HAS SOPS 9177 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8277.177
AT ITER 755 NEW BEST:: SOT 16329 SOS 9150 HAS SOPS 9150 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8277.15
AT ITER 759 NEW BEST:: SOT 16328 SOS 9147 HAS SOPS 9147 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8276.147
AT ITER 777 NEW BEST:: SOT 16350 SOS 9146 HAS SOPS 9146 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8274.146
AT ITER 822 NEW BEST:: SOT 16311 SOS 9144 HAS SOPS 9144 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8272.144
AT ITER 825 NEW BEST:: SOT 16311 SOS 9141 HAS SOPS 9141 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8272.141
AT ITER 827 NEW BEST:: SOT 16307 SOS 9137 HAS SOPS 9137 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8268.137
AT ITER 843 NEW BEST:: SOT 16288 SOS 9106 HAS SOPS 9106 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8244.106
AT ITER 844 NEW BEST:: SOT 16279 SOS 9097 HAS SOPS 9097 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8235.097
AT ITER 872 NEW BEST:: SOT 16240 SOS 9060 HAS SOPS 9060 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8198.06
AT ITER 885 NEW BEST:: SOT 16232 SOS 9052 HAS SOPS 9052 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8182.052
AT ITER 914 NEW BEST:: SOT 16232 SOS 9049 HAS SOPS 9049 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8180.049
AT ITER 934 NEW BEST:: SOT 16232 SOS 9038 HAS SOPS 9038 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8180.038
AT ITER 944 NEW BEST:: SOT 16226 SOS 9037 HAS SOPS 9037 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8178.037
AT ITER 953 NEW BEST:: SOT 16227 SOS 9000 HAS SOPS 9000 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8167.0
AT ITER 968 NEW BEST:: SOT 16196 SOS 8989 HAS SOPS 8989 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8155.989
AT ITER 969 NEW BEST:: SOT 16196 SOS 8974 HAS SOPS 8974 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8155.974
AT ITER 992 NEW BEST:: SOT 16193 SOS 8971 HAS SOPS 8971 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8152.971
AT ITER 1007 NEW BEST:: SOT 16179 SOS 8957 HAS SOPS 8957 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8138.957
AT ITER 1008 NEW BEST:: SOT 16166 SOS 8949 HAS SOPS 8949 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8137.949
AT ITER 1023 NEW BEST:: SOT 16132 SOS 9112 HAS SOPS 9112 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8136.112
AT ITER 1024 NEW BEST:: SOT 16132 SOS 9085 HAS SOPS 9085 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8132.085
AT ITER 1037 NEW BEST:: SOT 16124 SOS 9071 HAS SOPS 9071 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8100.071
AT ITER 1063 NEW BEST:: SOT 16108 SOS 9055 HAS SOPS 9055 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8084.055
AT ITER 1088 NEW BEST:: SOT 16106 SOS 9053 HAS SOPS 9053 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8082.053
AT ITER 1118 NEW BEST:: SOT 16090 SOS 9041 HAS SOPS 9041 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8070.041
AT ITER 1131 NEW BEST:: SOT 16068 SOS 9019 HAS SOPS 9019 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8048.019
AT ITER 1132 NEW BEST:: SOT 16068 SOS 9004 HAS SOPS 9004 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8035.004
AT ITER 1144 NEW BEST:: SOT 16068 SOS 8978 HAS SOPS 8978 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8034.978
AT ITER 1154 NEW BEST:: SOT 16021 SOS 8967 HAS SOPS 8967 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8023.967
AT ITER 1188 NEW BEST:: SOT 15961 SOS 8952 HAS SOPS 8952 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8013.952
AT ITER 1206 NEW BEST:: SOT 15952 SOS 8943 HAS SOPS 8943 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8004.943
AT ITER 1277 NEW BEST:: SOT 15876 SOS 9040 HAS SOPS 9040 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7932.04
AT ITER 1292 NEW BEST:: SOT 15876 SOS 9010 HAS SOPS 9010 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7920.01
AT ITER 1298 NEW BEST:: SOT 15879 SOS 8981 HAS SOPS 8981 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7919.981
AT ITER 1341 NEW BEST:: SOT 15854 SOS 8979 HAS SOPS 8979 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7917.979
AT ITER 1359 NEW BEST:: SOT 15829 SOS 8976 HAS SOPS 8976 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7909.976
AT ITER 1377 NEW BEST:: SOT 15825 SOS 8972 HAS SOPS 8972 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7905.972
AT ITER 1381 NEW BEST:: SOT 15825 SOS 8924 HAS SOPS 8924 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7903.924
AT ITER 1382 NEW BEST:: SOT 15783 SOS 8912 HAS SOPS 8912 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7891.912
AT ITER 1390 NEW BEST:: SOT 15774 SOS 8903 HAS SOPS 8903 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7852.903
AT ITER 1415 NEW BEST:: SOT 15767 SOS 8896 HAS SOPS 8896 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.896
AT ITER 1430 NEW BEST:: SOT 15767 SOS 8892 HAS SOPS 8892 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7845.892
AT ITER 1431 NEW BEST:: SOT 15765 SOS 8890 HAS SOPS 8890 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7843.89
AT ITER 1468 NEW BEST:: SOT 15765 SOS 8882 HAS SOPS 8882 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7843.882
AT ITER 1471 NEW BEST:: SOT 15711 SOS 9007 HAS SOPS 9007 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7841.007
AT ITER 1474 NEW BEST:: SOT 15711 SOS 9002 HAS SOPS 9002 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7841.002
AT ITER 1480 NEW BEST:: SOT 15705 SOS 9014 HAS SOPS 9014 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7835.014
AT ITER 1517 NEW BEST:: SOT 15700 SOS 9003 HAS SOPS 9003 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7833.003
AT ITER 1520 NEW BEST:: SOT 15694 SOS 8986 HAS SOPS 8986 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7810.986
AT ITER 1529 NEW BEST:: SOT 15689 SOS 8981 HAS SOPS 8981 HAS SOUS 7797 HAS SOUPS 7797 WITH SCORE 7805.981
AT ITER 1539 NEW BEST:: SOT 15681 SOS 8929 HAS SOPS 8929 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7713.929
AT ITER 1543 NEW BEST:: SOT 15679 SOS 8927 HAS SOPS 8927 HAS SOUS 7703 HAS SOUPS 7703 WITH SCORE 7711.927
AT ITER 1582 NEW BEST:: SOT 15659 SOS 8952 HAS SOPS 8952 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7698.952
AT ITER 1616 NEW BEST:: SOT 15648 SOS 8946 HAS SOPS 8946 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7687.946
AT ITER 1621 NEW BEST:: SOT 15673 SOS 8950 HAS SOPS 8950 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7680.95
AT ITER 1633 NEW BEST:: SOT 15658 SOS 8935 HAS SOPS 8935 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7665.935
AT ITER 1634 NEW BEST:: SOT 15675 SOS 8952 HAS SOPS 8952 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7663.952
AT ITER 1635 NEW BEST:: SOT 15675 SOS 8944 HAS SOPS 8944 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7645.944
AT ITER 1649 NEW BEST:: SOT 15651 SOS 8940 HAS SOPS 8940 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.94
AT ITER 1654 NEW BEST:: SOT 15651 SOS 8909 HAS SOPS 8909 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.909
AT ITER 1669 NEW BEST:: SOT 15648 SOS 8911 HAS SOPS 8911 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7639.911
AT ITER 1696 NEW BEST:: SOT 15648 SOS 8907 HAS SOPS 8907 HAS SOUS 7631 HAS SOUPS 7631 WITH SCORE 7639.907
AT ITER 1706 NEW BEST:: SOT 15619 SOS 8938 HAS SOPS 8938 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.938
AT ITER 1723 NEW BEST:: SOT 15603 SOS 8930 HAS SOPS 8930 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7616.93
AT ITER 1734 NEW BEST:: SOT 15603 SOS 8930 HAS SOPS 8930 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7611.93
AT ITER 1746 NEW BEST:: SOT 15603 SOS 8930 HAS SOPS 8930 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7610.93
AT ITER 1748 NEW BEST:: SOT 15582 SOS 8919 HAS SOPS 8919 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7599.919
AT ITER 1758 NEW BEST:: SOT 15582 SOS 8911 HAS SOPS 8911 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7599.911
AT ITER 1770 NEW BEST:: SOT 15574 SOS 8907 HAS SOPS 8907 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7595.907
AT ITER 1783 NEW BEST:: SOT 15573 SOS 8906 HAS SOPS 8906 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7595.906
AT ITER 1787 NEW BEST:: SOT 15598 SOS 8918 HAS SOPS 8918 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7589.918
AT ITER 1791 NEW BEST:: SOT 15598 SOS 8916 HAS SOPS 8916 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7588.916
AT ITER 1795 NEW BEST:: SOT 15580 SOS 8873 HAS SOPS 8873 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7577.873
AT ITER 1838 NEW BEST:: SOT 15583 SOS 8772 HAS SOPS 8772 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7560.772
AT ITER 1842 NEW BEST:: SOT 15583 SOS 8755 HAS SOPS 8755 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7560.755
AT ITER 1850 NEW BEST:: SOT 15571 SOS 8743 HAS SOPS 8743 HAS SOUS 7540 HAS SOUPS 7540 WITH SCORE 7548.743
AT ITER 1851 NEW BEST:: SOT 15556 SOS 8803 HAS SOPS 8803 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7545.803
AT ITER 1863 NEW BEST:: SOT 15555 SOS 8798 HAS SOPS 8798 HAS SOUS 7536 HAS SOUPS 7536 WITH SCORE 7544.798
AT ITER 1872 NEW BEST:: SOT 15543 SOS 8786 HAS SOPS 8786 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7526.786
AT ITER 1899 NEW BEST:: SOT 15542 SOS 8784 HAS SOPS 8784 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7526.784
AT ITER 1901 NEW BEST:: SOT 15536 SOS 8778 HAS SOPS 8778 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7520.778
AT ITER 1913 NEW BEST:: SOT 15598 SOS 8810 HAS SOPS 8810 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7513.81
AT ITER 1927 NEW BEST:: SOT 15564 SOS 8855 HAS SOPS 8855 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7502.855
AT ITER 1972 NEW BEST:: SOT 15554 SOS 8828 HAS SOPS 8828 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7476.828
AT ITER 1975 NEW BEST:: SOT 15534 SOS 8817 HAS SOPS 8817 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7470.817
AT ITER 1980 NEW BEST:: SOT 15524 SOS 8812 HAS SOPS 8812 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7465.812
AT ITER 1988 NEW BEST:: SOT 15519 SOS 8807 HAS SOPS 8807 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7460.807
AT ITER 1993 NEW BEST:: SOT 15517 SOS 8805 HAS SOPS 8805 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7456.805
AT ITER 1997 NEW BEST:: SOT 15517 SOS 8804 HAS SOPS 8804 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7456.804
AT ITER 2002 NEW BEST:: SOT 15454 SOS 8772 HAS SOPS 8772 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7424.772
AT ITER 2011 NEW BEST:: SOT 15440 SOS 8775 HAS SOPS 8775 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.775
AT ITER 2027 NEW BEST:: SOT 15430 SOS 8801 HAS SOPS 8801 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7410.801
AT ITER 2031 NEW BEST:: SOT 15429 SOS 8800 HAS SOPS 8800 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7410.8
AT ITER 2033 NEW BEST:: SOT 15417 SOS 8788 HAS SOPS 8788 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7399.788
AT ITER 2046 NEW BEST:: SOT 15401 SOS 8772 HAS SOPS 8772 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7383.772
AT ITER 2082 NEW BEST:: SOT 15401 SOS 8788 HAS SOPS 8788 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7379.788
AT ITER 2093 NEW BEST:: SOT 15397 SOS 8786 HAS SOPS 8786 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7377.786
AT ITER 2113 NEW BEST:: SOT 15393 SOS 8782 HAS SOPS 8782 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7356.782
AT ITER 2145 NEW BEST:: SOT 15376 SOS 8815 HAS SOPS 8815 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7354.815
AT ITER 2178 NEW BEST:: SOT 15376 SOS 8787 HAS SOPS 8787 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7354.787
AT ITER 2199 NEW BEST:: SOT 15358 SOS 8769 HAS SOPS 8769 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.769
AT ITER 2205 NEW BEST:: SOT 15358 SOS 8767 HAS SOPS 8767 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.767
AT ITER 2248 NEW BEST:: SOT 15358 SOS 8763 HAS SOPS 8763 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7334.763
AT ITER 2257 NEW BEST:: SOT 15350 SOS 8749 HAS SOPS 8749 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7321.749
AT ITER 2275 NEW BEST:: SOT 15349 SOS 8748 HAS SOPS 8748 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7320.748
AT ITER 2278 NEW BEST:: SOT 15349 SOS 8748 HAS SOPS 8748 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7317.748
AT ITER 2297 NEW BEST:: SOT 15347 SOS 8746 HAS SOPS 8746 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.746
AT ITER 2300 NEW BEST:: SOT 15338 SOS 8737 HAS SOPS 8737 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7306.737
AT ITER 2303 NEW BEST:: SOT 15330 SOS 8729 HAS SOPS 8729 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7298.729
AT ITER 2310 NEW BEST:: SOT 15330 SOS 8731 HAS SOPS 8731 HAS SOUS 7289 HAS SOUPS 7289 WITH SCORE 7297.731
AT ITER 2313 NEW BEST:: SOT 15321 SOS 8725 HAS SOPS 8725 HAS SOUS 7283 HAS SOUPS 7283 WITH SCORE 7291.725
AT ITER 2315 NEW BEST:: SOT 15321 SOS 8699 HAS SOPS 8699 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.699
AT ITER 2317 NEW BEST:: SOT 15315 SOS 8693 HAS SOPS 8693 HAS SOUS 7276 HAS SOUPS 7276 WITH SCORE 7284.693
AT ITER 2319 NEW BEST:: SOT 15308 SOS 8674 HAS SOPS 8674 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7269.674
AT ITER 2400 NEW BEST:: SOT 15305 SOS 8672 HAS SOPS 8672 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7267.672
AT ITER 2404 NEW BEST:: SOT 15305 SOS 8663 HAS SOPS 8663 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7267.663
AT ITER 2406 NEW BEST:: SOT 15305 SOS 8661 HAS SOPS 8661 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7265.661
AT ITER 2408 NEW BEST:: SOT 15300 SOS 8656 HAS SOPS 8656 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7260.656
AT ITER 2427 NEW BEST:: SOT 15299 SOS 8655 HAS SOPS 8655 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.655
AT ITER 2448 NEW BEST:: SOT 15298 SOS 8654 HAS SOPS 8654 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7255.654
AT ITER 2469 NEW BEST:: SOT 15291 SOS 8669 HAS SOPS 8669 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7251.669
AT ITER 2479 NEW BEST:: SOT 15288 SOS 8663 HAS SOPS 8663 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7245.663
AT ITER 2565 NEW BEST:: SOT 15289 SOS 8664 HAS SOPS 8664 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.664
AT ITER 2572 NEW BEST:: SOT 15277 SOS 8657 HAS SOPS 8657 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7236.657
AT ITER 2671 NEW BEST:: SOT 15277 SOS 8659 HAS SOPS 8659 HAS SOUS 7226 HAS SOUPS 7226 WITH SCORE 7234.659
AT ITER 2678 NEW BEST:: SOT 15274 SOS 8656 HAS SOPS 8656 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7231.656
AT ITER 2679 NEW BEST:: SOT 15274 SOS 8652 HAS SOPS 8652 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7227.652
AT ITER 2686 NEW BEST:: SOT 15272 SOS 8650 HAS SOPS 8650 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7225.65
AT ITER 2691 NEW BEST:: SOT 15265 SOS 8643 HAS SOPS 8643 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7218.643
AT ITER 2716 NEW BEST:: SOT 15260 SOS 8648 HAS SOPS 8648 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7214.648
AT ITER 2730 NEW BEST:: SOT 15272 SOS 8642 HAS SOPS 8642 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7212.642
AT ITER 2738 NEW BEST:: SOT 15272 SOS 8642 HAS SOPS 8642 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7207.642
AT ITER 2757 NEW BEST:: SOT 15268 SOS 8634 HAS SOPS 8634 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7195.634
AT ITER 2784 NEW BEST:: SOT 15243 SOS 8609 HAS SOPS 8609 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7177.609
AT ITER 2792 NEW BEST:: SOT 15221 SOS 8600 HAS SOPS 8600 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7169.6
AT ITER 2823 NEW BEST:: SOT 15218 SOS 8591 HAS SOPS 8591 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7166.591
AT ITER 2824 NEW BEST:: SOT 15196 SOS 8593 HAS SOPS 8593 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7158.593
AT ITER 2853 NEW BEST:: SOT 15193 SOS 8608 HAS SOPS 8608 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7155.608
AT ITER 2866 NEW BEST:: SOT 15190 SOS 8607 HAS SOPS 8607 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7154.607
AT ITER 2914 NEW BEST:: SOT 15190 SOS 8605 HAS SOPS 8605 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7154.605
AT ITER 2925 NEW BEST:: SOT 15187 SOS 8613 HAS SOPS 8613 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7152.613
AT ITER 2940 NEW BEST:: SOT 15175 SOS 8607 HAS SOPS 8607 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.607
AT ITER 2950 NEW BEST:: SOT 15197 SOS 8609 HAS SOPS 8609 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7125.609
AT ITER 2974 NEW BEST:: SOT 15195 SOS 8607 HAS SOPS 8607 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.607
AT ITER 3002 NEW BEST:: SOT 15194 SOS 8606 HAS SOPS 8606 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7122.606
AT ITER 3005 NEW BEST:: SOT 15193 SOS 8605 HAS SOPS 8605 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7121.605
AT ITER 3023 NEW BEST:: SOT 15193 SOS 8601 HAS SOPS 8601 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7121.601
AT ITER 3031 NEW BEST:: SOT 15193 SOS 8597 HAS SOPS 8597 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7121.597
AT ITER 3096 NEW BEST:: SOT 15193 SOS 8594 HAS SOPS 8594 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7120.594
AT ITER 3112 NEW BEST:: SOT 15128 SOS 8662 HAS SOPS 8662 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.662
AT ITER 3126 NEW BEST:: SOT 15132 SOS 8654 HAS SOPS 8654 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.654
AT ITER 3132 NEW BEST:: SOT 15091 SOS 8634 HAS SOPS 8634 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7082.634
AT ITER 3141 NEW BEST:: SOT 15091 SOS 8634 HAS SOPS 8634 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7076.634
AT ITER 3143 NEW BEST:: SOT 15089 SOS 8632 HAS SOPS 8632 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7074.632
AT ITER 3146 NEW BEST:: SOT 15054 SOS 8618 HAS SOPS 8618 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7060.618
AT ITER 3159 NEW BEST:: SOT 15012 SOS 8593 HAS SOPS 8593 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7046.593
AT ITER 3167 NEW BEST:: SOT 15001 SOS 8582 HAS SOPS 8582 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.582
AT ITER 3209 NEW BEST:: SOT 15001 SOS 8582 HAS SOPS 8582 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7022.582
AT ITER 3260 NEW BEST:: SOT 15003 SOS 8578 HAS SOPS 8578 HAS SOUS 7007 HAS SOUPS 7007 WITH SCORE 7015.578
AT ITER 3263 NEW BEST:: SOT 15003 SOS 8578 HAS SOPS 8578 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7012.578
AT ITER 3267 NEW BEST:: SOT 14999 SOS 8574 HAS SOPS 8574 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.574
AT ITER 3286 NEW BEST:: SOT 14981 SOS 8607 HAS SOPS 8607 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.607
AT ITER 3294 NEW BEST:: SOT 14984 SOS 8611 HAS SOPS 8611 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6989.611
AT ITER 3312 NEW BEST:: SOT 14981 SOS 8609 HAS SOPS 8609 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6986.609
AT ITER 3367 NEW BEST:: SOT 14980 SOS 8617 HAS SOPS 8617 HAS SOUS 6977 HAS SOUPS 6977 WITH SCORE 6985.617
AT ITER 3387 NEW BEST:: SOT 14968 SOS 8605 HAS SOPS 8605 HAS SOUS 6965 HAS SOUPS 6965 WITH SCORE 6973.605
AT ITER 3419 NEW BEST:: SOT 14981 SOS 8579 HAS SOPS 8579 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6969.579
AT ITER 3438 NEW BEST:: SOT 14971 SOS 8574 HAS SOPS 8574 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6964.574
AT ITER 3439 NEW BEST:: SOT 14967 SOS 8570 HAS SOPS 8570 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6960.57
AT ITER 3450 NEW BEST:: SOT 14967 SOS 8567 HAS SOPS 8567 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6959.567
AT ITER 3454 NEW BEST:: SOT 14961 SOS 8617 HAS SOPS 8617 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6953.617
AT ITER 3464 NEW BEST:: SOT 14959 SOS 8627 HAS SOPS 8627 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.627
AT ITER 3600 NEW BEST:: SOT 14959 SOS 8627 HAS SOPS 8627 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6950.627
AT ITER 3618 NEW BEST:: SOT 14956 SOS 8624 HAS SOPS 8624 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6947.624
AT ITER 3622 NEW BEST:: SOT 14940 SOS 8640 HAS SOPS 8640 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6942.64
AT ITER 3625 NEW BEST:: SOT 14939 SOS 8639 HAS SOPS 8639 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6941.639
AT ITER 3627 NEW BEST:: SOT 14937 SOS 8637 HAS SOPS 8637 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6939.637
AT ITER 3643 NEW BEST:: SOT 14933 SOS 8644 HAS SOPS 8644 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6935.644
AT ITER 3655 NEW BEST:: SOT 14938 SOS 8638 HAS SOPS 8638 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6929.638
AT ITER 3678 NEW BEST:: SOT 14890 SOS 8644 HAS SOPS 8644 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.644
AT ITER 3683 NEW BEST:: SOT 14890 SOS 8642 HAS SOPS 8642 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.642
AT ITER 3717 NEW BEST:: SOT 14890 SOS 8641 HAS SOPS 8641 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.641
AT ITER 3732 NEW BEST:: SOT 14885 SOS 8636 HAS SOPS 8636 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6899.636
AT ITER 3764 NEW BEST:: SOT 14885 SOS 8636 HAS SOPS 8636 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6893.636
AT ITER 3770 NEW BEST:: SOT 14885 SOS 8634 HAS SOPS 8634 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6889.634
AT ITER 3774 NEW BEST:: SOT 14878 SOS 8627 HAS SOPS 8627 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6882.627
AT ITER 3787 NEW BEST:: SOT 14875 SOS 8624 HAS SOPS 8624 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6876.624
AT ITER 3801 NEW BEST:: SOT 14875 SOS 8621 HAS SOPS 8621 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.621
AT ITER 3803 NEW BEST:: SOT 14869 SOS 8611 HAS SOPS 8611 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6864.611
AT ITER 3840 NEW BEST:: SOT 14869 SOS 8609 HAS SOPS 8609 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6863.609
AT ITER 3860 NEW BEST:: SOT 14869 SOS 8609 HAS SOPS 8609 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.609
AT ITER 3912 NEW BEST:: SOT 14868 SOS 8604 HAS SOPS 8604 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.604
AT ITER 3918 NEW BEST:: SOT 14860 SOS 8602 HAS SOPS 8602 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6854.602
AT ITER 3927 NEW BEST:: SOT 14822 SOS 8652 HAS SOPS 8652 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6845.652
AT ITER 3952 NEW BEST:: SOT 14820 SOS 8650 HAS SOPS 8650 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.65
AT ITER 3980 NEW BEST:: SOT 14802 SOS 8641 HAS SOPS 8641 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6841.641
AT ITER 3984 NEW BEST:: SOT 14799 SOS 8638 HAS SOPS 8638 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6838.638
AT ITER 3986 NEW BEST:: SOT 14798 SOS 8640 HAS SOPS 8640 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6837.64
AT ITER 4004 NEW BEST:: SOT 14791 SOS 8633 HAS SOPS 8633 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6830.633
AT ITER 4010 NEW BEST:: SOT 14791 SOS 8632 HAS SOPS 8632 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6829.632
AT ITER 4036 NEW BEST:: SOT 14791 SOS 8629 HAS SOPS 8629 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6829.629
AT ITER 4054 NEW BEST:: SOT 14791 SOS 8618 HAS SOPS 8618 HAS SOUS 6821 HAS SOUPS 6821 WITH SCORE 6829.618
AT ITER 4071 NEW BEST:: SOT 14775 SOS 8602 HAS SOPS 8602 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6813.602
AT ITER 4074 NEW BEST:: SOT 14773 SOS 8600 HAS SOPS 8600 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6811.6
AT ITER 4105 NEW BEST:: SOT 14781 SOS 8592 HAS SOPS 8592 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6811.592
AT ITER 4113 NEW BEST:: SOT 14786 SOS 8591 HAS SOPS 8591 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6804.591
AT ITER 4117 NEW BEST:: SOT 14780 SOS 8585 HAS SOPS 8585 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6798.585
AT ITER 4136 NEW BEST:: SOT 14775 SOS 8580 HAS SOPS 8580 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6790.58
AT ITER 4152 NEW BEST:: SOT 14775 SOS 8583 HAS SOPS 8583 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6789.583
AT ITER 4166 NEW BEST:: SOT 14770 SOS 8578 HAS SOPS 8578 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6784.578
AT ITER 4220 NEW BEST:: SOT 14800 SOS 8591 HAS SOPS 8591 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6783.591
AT ITER 4223 NEW BEST:: SOT 14792 SOS 8601 HAS SOPS 8601 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6780.601
AT ITER 4230 NEW BEST:: SOT 14791 SOS 8601 HAS SOPS 8601 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6776.601
AT ITER 4289 NEW BEST:: SOT 14810 SOS 8582 HAS SOPS 8582 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6776.582
AT ITER 4313 NEW BEST:: SOT 14802 SOS 8574 HAS SOPS 8574 HAS SOUS 6761 HAS SOUPS 6761 WITH SCORE 6769.574
AT ITER 4321 NEW BEST:: SOT 14801 SOS 8573 HAS SOPS 8573 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.573
AT ITER 4338 NEW BEST:: SOT 14798 SOS 8572 HAS SOPS 8572 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6767.572
AT ITER 4339 NEW BEST:: SOT 14799 SOS 8554 HAS SOPS 8554 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6765.554
AT ITER 4342 NEW BEST:: SOT 14793 SOS 8547 HAS SOPS 8547 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6747.547
AT ITER 4379 NEW BEST:: SOT 14770 SOS 8539 HAS SOPS 8539 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6739.539
AT ITER 4391 NEW BEST:: SOT 14771 SOS 8537 HAS SOPS 8537 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6739.537
AT ITER 4418 NEW BEST:: SOT 14768 SOS 8534 HAS SOPS 8534 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6736.534
AT ITER 4459 NEW BEST:: SOT 14767 SOS 8533 HAS SOPS 8533 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6735.533
AT ITER 4466 NEW BEST:: SOT 14779 SOS 8539 HAS SOPS 8539 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6734.539
AT ITER 4472 NEW BEST:: SOT 14805 SOS 8533 HAS SOPS 8533 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6695.533
AT ITER 4695 NEW BEST:: SOT 14806 SOS 8534 HAS SOPS 8534 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6692.534
AT ITER 4700 NEW BEST:: SOT 14790 SOS 8518 HAS SOPS 8518 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6661.518
AT ITER 4767 NEW BEST:: SOT 14790 SOS 8519 HAS SOPS 8519 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6660.519
AT ITER 4794 NEW BEST:: SOT 14788 SOS 8517 HAS SOPS 8517 HAS SOUS 6650 HAS SOUPS 6650 WITH SCORE 6658.517
AT ITER 4826 NEW BEST:: SOT 14784 SOS 8513 HAS SOPS 8513 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6654.513
AT ITER 4855 NEW BEST:: SOT 14784 SOS 8489 HAS SOPS 8489 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6654.489
AT ITER 4860 NEW BEST:: SOT 14780 SOS 8485 HAS SOPS 8485 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.485
AT ITER 4930 NEW BEST:: SOT 14780 SOS 8482 HAS SOPS 8482 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.482
AT ITER 4934 NEW BEST:: SOT 14777 SOS 8476 HAS SOPS 8476 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6650.476
AT ITER 4982 NEW BEST:: SOT 14773 SOS 8472 HAS SOPS 8472 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6646.472
AT ITER 5003 NEW BEST:: SOT 14771 SOS 8472 HAS SOPS 8472 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6644.472
AT ITER 5014 NEW BEST:: SOT 14770 SOS 8471 HAS SOPS 8471 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6642.471
AT ITER 5018 NEW BEST:: SOT 14760 SOS 8509 HAS SOPS 8509 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6636.509
AT ITER 5054 NEW BEST:: SOT 14759 SOS 8506 HAS SOPS 8506 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6635.506
AT ITER 5078 NEW BEST:: SOT 14762 SOS 8500 HAS SOPS 8500 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6635.5
AT ITER 5233 NEW BEST:: SOT 14756 SOS 8494 HAS SOPS 8494 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6629.494
AT ITER 5237 NEW BEST:: SOT 14755 SOS 8486 HAS SOPS 8486 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6628.486
AT ITER 5318 NEW BEST:: SOT 14753 SOS 8477 HAS SOPS 8477 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6619.477
AT ITER 5329 NEW BEST:: SOT 14748 SOS 8472 HAS SOPS 8472 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6614.472
AT ITER 5345 NEW BEST:: SOT 14748 SOS 8470 HAS SOPS 8470 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6614.47
AT ITER 5359 NEW BEST:: SOT 14748 SOS 8470 HAS SOPS 8470 HAS SOUS 6605 HAS SOUPS 6605 WITH SCORE 6613.47
AT ITER 5449 NEW BEST:: SOT 14748 SOS 8470 HAS SOPS 8470 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6611.47
AT ITER 5481 NEW BEST:: SOT 14748 SOS 8439 HAS SOPS 8439 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6605.439
AT ITER 5590 NEW BEST:: SOT 14756 SOS 8429 HAS SOPS 8429 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6604.429
AT ITER 5598 NEW BEST:: SOT 14744 SOS 8425 HAS SOPS 8425 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6600.425
AT ITER 5610 NEW BEST:: SOT 14743 SOS 8424 HAS SOPS 8424 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6600.424
AT ITER 5612 NEW BEST:: SOT 14740 SOS 8435 HAS SOPS 8435 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6597.435
AT ITER 5619 NEW BEST:: SOT 14736 SOS 8431 HAS SOPS 8431 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6592.431
AT ITER 5665 NEW BEST:: SOT 14735 SOS 8430 HAS SOPS 8430 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.43
AT ITER 5703 NEW BEST:: SOT 14735 SOS 8427 HAS SOPS 8427 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.427
AT ITER 5796 NEW BEST:: SOT 14724 SOS 8416 HAS SOPS 8416 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6580.416
AT ITER 5836 NEW BEST:: SOT 14716 SOS 8408 HAS SOPS 8408 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6572.408
AT ITER 5841 NEW BEST:: SOT 14713 SOS 8410 HAS SOPS 8410 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6569.41
AT ITER 5858 NEW BEST:: SOT 14713 SOS 8410 HAS SOPS 8410 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6561.41
AT ITER 5927 NEW BEST:: SOT 14710 SOS 8419 HAS SOPS 8419 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6558.419
AT ITER 5942 NEW BEST:: SOT 14712 SOS 8416 HAS SOPS 8416 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6555.416
AT ITER 6033 NEW BEST:: SOT 14712 SOS 8414 HAS SOPS 8414 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6553.414
AT ITER 6049 NEW BEST:: SOT 14716 SOS 8410 HAS SOPS 8410 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6553.41
AT ITER 6055 NEW BEST:: SOT 14716 SOS 8401 HAS SOPS 8401 HAS SOUS 6545 HAS SOUPS 6545 WITH SCORE 6553.401
AT ITER 6225 NEW BEST:: SOT 14711 SOS 8396 HAS SOPS 8396 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6548.396
AT ITER 6271 NEW BEST:: SOT 14711 SOS 8396 HAS SOPS 8396 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6544.396
AT ITER 6298 NEW BEST:: SOT 14708 SOS 8394 HAS SOPS 8394 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6542.394
AT ITER 6305 NEW BEST:: SOT 14706 SOS 8392 HAS SOPS 8392 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6540.392
AT ITER 6340 NEW BEST:: SOT 14708 SOS 8401 HAS SOPS 8401 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6535.401
AT ITER 6405 NEW BEST:: SOT 14705 SOS 8398 HAS SOPS 8398 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6532.398
AT ITER 6408 NEW BEST:: SOT 14706 SOS 8393 HAS SOPS 8393 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6521.393
AT ITER 6423 NEW BEST:: SOT 14699 SOS 8391 HAS SOPS 8391 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6516.391
AT ITER 6425 NEW BEST:: SOT 14694 SOS 8386 HAS SOPS 8386 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6511.386
AT ITER 6465 NEW BEST:: SOT 14694 SOS 8386 HAS SOPS 8386 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6510.386
AT ITER 6468 NEW BEST:: SOT 14693 SOS 8385 HAS SOPS 8385 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6509.385
AT ITER 6473 NEW BEST:: SOT 14682 SOS 8378 HAS SOPS 8378 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6504.378
AT ITER 6481 NEW BEST:: SOT 14695 SOS 8409 HAS SOPS 8409 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6496.409
AT ITER 6534 NEW BEST:: SOT 14692 SOS 8408 HAS SOPS 8408 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6493.408
AT ITER 6559 NEW BEST:: SOT 14691 SOS 8407 HAS SOPS 8407 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6492.407
AT ITER 6759 NEW BEST:: SOT 14692 SOS 8398 HAS SOPS 8398 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6492.398
AT ITER 6801 NEW BEST:: SOT 14691 SOS 8397 HAS SOPS 8397 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6491.397
AT ITER 6812 NEW BEST:: SOT 14690 SOS 8396 HAS SOPS 8396 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6490.396
AT ITER 6839 NEW BEST:: SOT 14687 SOS 8393 HAS SOPS 8393 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6487.393
AT ITER 6883 NEW BEST:: SOT 14682 SOS 8388 HAS SOPS 8388 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6482.388
AT ITER 6898 NEW BEST:: SOT 14681 SOS 8387 HAS SOPS 8387 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6481.387
AT ITER 7035 NEW BEST:: SOT 14678 SOS 8384 HAS SOPS 8384 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6478.384
AT ITER 7069 NEW BEST:: SOT 14679 SOS 8355 HAS SOPS 8355 HAS SOUS 6470 HAS SOUPS 6470 WITH SCORE 6478.355
AT ITER 7087 NEW BEST:: SOT 14665 SOS 8347 HAS SOPS 8347 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6475.347
AT ITER 7161 NEW BEST:: SOT 14663 SOS 8342 HAS SOPS 8342 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6470.342
AT ITER 7183 NEW BEST:: SOT 14660 SOS 8333 HAS SOPS 8333 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6444.333
AT ITER 7429 NEW BEST:: SOT 14657 SOS 8330 HAS SOPS 8330 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6441.33
AT ITER 7437 NEW BEST:: SOT 14655 SOS 8328 HAS SOPS 8328 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6439.328
AT ITER 7447 NEW BEST:: SOT 14654 SOS 8327 HAS SOPS 8327 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.327
AT ITER 7498 NEW BEST:: SOT 14654 SOS 8326 HAS SOPS 8326 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.326
AT ITER 7568 NEW BEST:: SOT 14654 SOS 8323 HAS SOPS 8323 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.323
AT ITER 7606 NEW BEST:: SOT 14638 SOS 8323 HAS SOPS 8323 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6427.323
AT ITER 7614 NEW BEST:: SOT 14636 SOS 8321 HAS SOPS 8321 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6425.321
AT ITER 7661 NEW BEST:: SOT 14636 SOS 8315 HAS SOPS 8315 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6422.315
AT ITER 7719 NEW BEST:: SOT 14633 SOS 8308 HAS SOPS 8308 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6415.308
AT ITER 7804 NEW BEST:: SOT 14633 SOS 8302 HAS SOPS 8302 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6415.302
AT ITER 7837 NEW BEST:: SOT 14632 SOS 8306 HAS SOPS 8306 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6414.306
AT ITER 7864 NEW BEST:: SOT 14632 SOS 8298 HAS SOPS 8298 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6414.298
AT ITER 7917 NEW BEST:: SOT 14631 SOS 8299 HAS SOPS 8299 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6413.299
AT ITER 7931 NEW BEST:: SOT 14631 SOS 8287 HAS SOPS 8287 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6401.287
AT ITER 7945 NEW BEST:: SOT 14631 SOS 8284 HAS SOPS 8284 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6401.284
AT ITER 7961 NEW BEST:: SOT 14631 SOS 8274 HAS SOPS 8274 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6391.274
AT ITER 8001 NEW BEST:: SOT 14649 SOS 8279 HAS SOPS 8279 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6384.279
AT ITER 8080 NEW BEST:: SOT 14645 SOS 8275 HAS SOPS 8275 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6380.275
AT ITER 8115 NEW BEST:: SOT 14642 SOS 8272 HAS SOPS 8272 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6378.272
AT ITER 8183 NEW BEST:: SOT 14640 SOS 8270 HAS SOPS 8270 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6376.27
AT ITER 8187 NEW BEST:: SOT 14637 SOS 8267 HAS SOPS 8267 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6373.267
AT ITER 8275 NEW BEST:: SOT 14636 SOS 8266 HAS SOPS 8266 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6372.266
AT ITER 8301 NEW BEST:: SOT 14634 SOS 8264 HAS SOPS 8264 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6370.264
AT ITER 8427 NEW BEST:: SOT 14632 SOS 8262 HAS SOPS 8262 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6368.262
AT ITER 8531 NEW BEST:: SOT 14629 SOS 8259 HAS SOPS 8259 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6365.259
AT ITER 8594 NEW BEST:: SOT 14622 SOS 8252 HAS SOPS 8252 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6358.252
AT ITER 8601 NEW BEST:: SOT 14624 SOS 8252 HAS SOPS 8252 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6356.252
AT ITER 8618 NEW BEST:: SOT 14621 SOS 8249 HAS SOPS 8249 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6353.249
AT ITER 8625 NEW BEST:: SOT 14620 SOS 8248 HAS SOPS 8248 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6350.248
AT ITER 8725 NEW BEST:: SOT 14620 SOS 8230 HAS SOPS 8230 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6350.23
AT ITER 8755 NEW BEST:: SOT 14607 SOS 8256 HAS SOPS 8256 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6348.256
AT ITER 9004 NEW BEST:: SOT 14607 SOS 8248 HAS SOPS 8248 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6348.248
AT ITER 9025 NEW BEST:: SOT 14605 SOS 8246 HAS SOPS 8246 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6346.246
AT ITER 9062 NEW BEST:: SOT 14614 SOS 8255 HAS SOPS 8255 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6338.255
AT ITER 9105 NEW BEST:: SOT 14613 SOS 8254 HAS SOPS 8254 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6337.254
AT ITER 9135 NEW BEST:: SOT 14611 SOS 8252 HAS SOPS 8252 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6334.252
AT ITER 9151 NEW BEST:: SOT 14608 SOS 8251 HAS SOPS 8251 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6331.251
AT ITER 9279 NEW BEST:: SOT 14594 SOS 8258 HAS SOPS 8258 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6317.258
AT ITER 9342 NEW BEST:: SOT 14594 SOS 8255 HAS SOPS 8255 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6317.255
AT ITER 9371 NEW BEST:: SOT 14588 SOS 8237 HAS SOPS 8237 HAS SOUS 6309 HAS SOUPS 6309 WITH SCORE 6317.237
AT ITER 9397 NEW BEST:: SOT 14564 SOS 8235 HAS SOPS 8235 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6305.235
AT ITER 9438 NEW BEST:: SOT 14561 SOS 8232 HAS SOPS 8232 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6302.232
AT ITER 9566 NEW BEST:: SOT 14555 SOS 8226 HAS SOPS 8226 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6298.226
AT ITER 9661 NEW BEST:: SOT 14555 SOS 8226 HAS SOPS 8226 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6296.226
AT ITER 9676 NEW BEST:: SOT 14556 SOS 8225 HAS SOPS 8225 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6296.225
AT ITER 9702 NEW BEST:: SOT 14556 SOS 8225 HAS SOPS 8225 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6293.225
AT ITER 9703 NEW BEST:: SOT 14556 SOS 8221 HAS SOPS 8221 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6293.221
AT ITER 9802 NEW BEST:: SOT 14554 SOS 8220 HAS SOPS 8220 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6292.22
AT ITER 9812 NEW BEST:: SOT 14553 SOS 8219 HAS SOPS 8219 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6291.219
AT ITER 9866 NEW BEST:: SOT 14552 SOS 8211 HAS SOPS 8211 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6290.211
AT ITER 9912 NEW BEST:: SOT 14552 SOS 8211 HAS SOPS 8211 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6286.211
AT ITER 9968 NEW BEST:: SOT 14548 SOS 8211 HAS SOPS 8211 HAS SOUS 6276 HAS SOUPS 6276 WITH SCORE 6284.211

BK_STOP 1679157063224

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 Killed ${SMART}/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"
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 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 r483-tall-167912695300200"
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 ;