fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r131-smll-167819407400360
Last Updated
May 14, 2023

About the Execution of Smart for DiscoveryGPU-PT-10b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8663.359 3600000.00 3600029.00 200.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r131-smll-167819407400360.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 DiscoveryGPU-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407400360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 6.9K Feb 25 13:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 13:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 13:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 13:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 25 13:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 13:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 75K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679892644447

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=DiscoveryGPU-PT-10b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 10b
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: 296 places, 314 transitions, 819 arcs.
AT ITER 0 NEW BEST:: SOT 64743 SOS 30735 HAS SOPS 30735 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27316.735
AT ITER 3 NEW BEST:: SOT 64648 SOS 30632 HAS SOPS 30632 HAS SOUS 27191 HAS SOUPS 27191 WITH SCORE 27221.632
AT ITER 8 NEW BEST:: SOT 64600 SOS 30584 HAS SOPS 30584 HAS SOUS 27143 HAS SOUPS 27143 WITH SCORE 27173.584
AT ITER 10 NEW BEST:: SOT 64503 SOS 30476 HAS SOPS 30476 HAS SOUS 27046 HAS SOUPS 27046 WITH SCORE 27076.476
AT ITER 24 NEW BEST:: SOT 64502 SOS 30432 HAS SOPS 30432 HAS SOUS 27002 HAS SOUPS 27002 WITH SCORE 27032.432
AT ITER 25 NEW BEST:: SOT 64433 SOS 30188 HAS SOPS 30188 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26894.188
AT ITER 27 NEW BEST:: SOT 64394 SOS 30163 HAS SOPS 30163 HAS SOUS 26839 HAS SOUPS 26839 WITH SCORE 26869.163
AT ITER 32 NEW BEST:: SOT 64220 SOS 29815 HAS SOPS 29815 HAS SOUS 26491 HAS SOUPS 26491 WITH SCORE 26520.815
AT ITER 36 NEW BEST:: SOT 64185 SOS 29664 HAS SOPS 29664 HAS SOUS 26420 HAS SOUPS 26420 WITH SCORE 26449.664
AT ITER 39 NEW BEST:: SOT 64171 SOS 29531 HAS SOPS 29531 HAS SOUS 26258 HAS SOUPS 26258 WITH SCORE 26287.531
AT ITER 51 NEW BEST:: SOT 64138 SOS 29465 HAS SOPS 29465 HAS SOUS 26192 HAS SOUPS 26192 WITH SCORE 26221.465
AT ITER 57 NEW BEST:: SOT 64138 SOS 29451 HAS SOPS 29451 HAS SOUS 26178 HAS SOUPS 26178 WITH SCORE 26207.451
AT ITER 59 NEW BEST:: SOT 64090 SOS 29454 HAS SOPS 29454 HAS SOUS 26154 HAS SOUPS 26154 WITH SCORE 26183.454
AT ITER 60 NEW BEST:: SOT 63349 SOS 29421 HAS SOPS 29421 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25565.421
AT ITER 61 NEW BEST:: SOT 63263 SOS 29292 HAS SOPS 29292 HAS SOUS 25407 HAS SOUPS 25407 WITH SCORE 25436.292
AT ITER 75 NEW BEST:: SOT 63181 SOS 29175 HAS SOPS 29175 HAS SOUS 25324 HAS SOUPS 25324 WITH SCORE 25353.175
AT ITER 78 NEW BEST:: SOT 63169 SOS 29139 HAS SOPS 29139 HAS SOUS 25300 HAS SOUPS 25300 WITH SCORE 25329.139
AT ITER 92 NEW BEST:: SOT 63097 SOS 29067 HAS SOPS 29067 HAS SOUS 25228 HAS SOUPS 25228 WITH SCORE 25257.067
AT ITER 96 NEW BEST:: SOT 63096 SOS 29056 HAS SOPS 29056 HAS SOUS 25217 HAS SOUPS 25217 WITH SCORE 25246.056
AT ITER 98 NEW BEST:: SOT 63093 SOS 29050 HAS SOPS 29050 HAS SOUS 25211 HAS SOUPS 25211 WITH SCORE 25240.05
AT ITER 99 NEW BEST:: SOT 63068 SOS 29037 HAS SOPS 29037 HAS SOUS 25173 HAS SOUPS 25173 WITH SCORE 25202.037
AT ITER 100 NEW BEST:: SOT 62917 SOS 28813 HAS SOPS 28813 HAS SOUS 24979 HAS SOUPS 24979 WITH SCORE 25007.813
AT ITER 108 NEW BEST:: SOT 62917 SOS 28813 HAS SOPS 28813 HAS SOUS 24978 HAS SOUPS 24978 WITH SCORE 25006.813
AT ITER 114 NEW BEST:: SOT 62917 SOS 28700 HAS SOPS 28700 HAS SOUS 24865 HAS SOUPS 24865 WITH SCORE 24893.7
AT ITER 122 NEW BEST:: SOT 62960 SOS 28707 HAS SOPS 28707 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24885.707
AT ITER 123 NEW BEST:: SOT 62960 SOS 28642 HAS SOPS 28642 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24820.642
AT ITER 126 NEW BEST:: SOT 62896 SOS 28579 HAS SOPS 28579 HAS SOUS 24729 HAS SOUPS 24729 WITH SCORE 24757.579
AT ITER 127 NEW BEST:: SOT 62849 SOS 28485 HAS SOPS 28485 HAS SOUS 24604 HAS SOUPS 24604 WITH SCORE 24632.485
AT ITER 131 NEW BEST:: SOT 62841 SOS 28473 HAS SOPS 28473 HAS SOUS 24592 HAS SOUPS 24592 WITH SCORE 24620.473
AT ITER 142 NEW BEST:: SOT 60455 SOS 26445 HAS SOPS 26445 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22320.445
AT ITER 143 NEW BEST:: SOT 60402 SOS 26351 HAS SOPS 26351 HAS SOUS 22274 HAS SOUPS 22274 WITH SCORE 22300.351
AT ITER 151 NEW BEST:: SOT 60365 SOS 26241 HAS SOPS 26241 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22239.241
AT ITER 153 NEW BEST:: SOT 60317 SOS 26193 HAS SOPS 26193 HAS SOUS 22177 HAS SOUPS 22177 WITH SCORE 22203.193
AT ITER 154 NEW BEST:: SOT 60295 SOS 26149 HAS SOPS 26149 HAS SOUS 22133 HAS SOUPS 22133 WITH SCORE 22159.149
AT ITER 165 NEW BEST:: SOT 60171 SOS 25778 HAS SOPS 25778 HAS SOUS 21885 HAS SOUPS 21885 WITH SCORE 21910.778
AT ITER 193 NEW BEST:: SOT 60171 SOS 25778 HAS SOPS 25778 HAS SOUS 21862 HAS SOUPS 21862 WITH SCORE 21887.778
AT ITER 205 NEW BEST:: SOT 60163 SOS 25770 HAS SOPS 25770 HAS SOUS 21854 HAS SOUPS 21854 WITH SCORE 21879.77
AT ITER 208 NEW BEST:: SOT 60105 SOS 25589 HAS SOPS 25589 HAS SOUS 21803 HAS SOUPS 21803 WITH SCORE 21828.589
AT ITER 214 NEW BEST:: SOT 60102 SOS 25581 HAS SOPS 25581 HAS SOUS 21797 HAS SOUPS 21797 WITH SCORE 21822.581
AT ITER 215 NEW BEST:: SOT 60022 SOS 25540 HAS SOPS 25540 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21818.54
AT ITER 217 NEW BEST:: SOT 59983 SOS 25483 HAS SOPS 25483 HAS SOUS 21765 HAS SOUPS 21765 WITH SCORE 21790.483
AT ITER 222 NEW BEST:: SOT 59976 SOS 25476 HAS SOPS 25476 HAS SOUS 21758 HAS SOUPS 21758 WITH SCORE 21783.476
AT ITER 228 NEW BEST:: SOT 59968 SOS 25351 HAS SOPS 25351 HAS SOUS 21679 HAS SOUPS 21679 WITH SCORE 21704.351
AT ITER 231 NEW BEST:: SOT 59928 SOS 25271 HAS SOPS 25271 HAS SOUS 21563 HAS SOUPS 21563 WITH SCORE 21588.271
AT ITER 242 NEW BEST:: SOT 59927 SOS 25222 HAS SOPS 25222 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21586.222
AT ITER 247 NEW BEST:: SOT 59250 SOS 24581 HAS SOPS 24581 HAS SOUS 20768 HAS SOUPS 20768 WITH SCORE 20792.581
AT ITER 264 NEW BEST:: SOT 59240 SOS 24595 HAS SOPS 24595 HAS SOUS 20761 HAS SOUPS 20761 WITH SCORE 20785.595
AT ITER 266 NEW BEST:: SOT 59226 SOS 24499 HAS SOPS 24499 HAS SOUS 20700 HAS SOUPS 20700 WITH SCORE 20724.499
AT ITER 277 NEW BEST:: SOT 59089 SOS 24311 HAS SOPS 24311 HAS SOUS 20563 HAS SOUPS 20563 WITH SCORE 20587.311
AT ITER 290 NEW BEST:: SOT 59007 SOS 24212 HAS SOPS 24212 HAS SOUS 20481 HAS SOUPS 20481 WITH SCORE 20505.212
AT ITER 292 NEW BEST:: SOT 58975 SOS 24179 HAS SOPS 24179 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20472.179
AT ITER 300 NEW BEST:: SOT 58867 SOS 24060 HAS SOPS 24060 HAS SOUS 20329 HAS SOUPS 20329 WITH SCORE 20353.06
AT ITER 307 NEW BEST:: SOT 58866 SOS 24017 HAS SOPS 24017 HAS SOUS 20327 HAS SOUPS 20327 WITH SCORE 20351.017
AT ITER 309 NEW BEST:: SOT 58817 SOS 23919 HAS SOPS 23919 HAS SOUS 20254 HAS SOUPS 20254 WITH SCORE 20277.919
AT ITER 312 NEW BEST:: SOT 58812 SOS 23855 HAS SOPS 23855 HAS SOUS 20190 HAS SOUPS 20190 WITH SCORE 20213.855
AT ITER 317 NEW BEST:: SOT 58836 SOS 23905 HAS SOPS 23905 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20197.905
AT ITER 318 NEW BEST:: SOT 58735 SOS 23903 HAS SOPS 23903 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20098.903
AT ITER 329 NEW BEST:: SOT 58663 SOS 23886 HAS SOPS 23886 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20081.886
AT ITER 330 NEW BEST:: SOT 58606 SOS 23772 HAS SOPS 23772 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 19998.772
AT ITER 331 NEW BEST:: SOT 58501 SOS 23666 HAS SOPS 23666 HAS SOUS 19869 HAS SOUPS 19869 WITH SCORE 19892.666
AT ITER 333 NEW BEST:: SOT 58510 SOS 23666 HAS SOPS 23666 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19844.666
AT ITER 339 NEW BEST:: SOT 58490 SOS 23646 HAS SOPS 23646 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19844.646
AT ITER 341 NEW BEST:: SOT 58490 SOS 23641 HAS SOPS 23641 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19844.641
AT ITER 346 NEW BEST:: SOT 57948 SOS 24974 HAS SOPS 24974 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19626.974
AT ITER 356 NEW BEST:: SOT 57767 SOS 24670 HAS SOPS 24670 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19264.67
AT ITER 357 NEW BEST:: SOT 57707 SOS 24590 HAS SOPS 24590 HAS SOUS 19160 HAS SOUPS 19160 WITH SCORE 19184.59
AT ITER 358 NEW BEST:: SOT 57604 SOS 24422 HAS SOPS 24422 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19016.422
AT ITER 369 NEW BEST:: SOT 57529 SOS 24347 HAS SOPS 24347 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18941.347
AT ITER 370 NEW BEST:: SOT 57488 SOS 24231 HAS SOPS 24231 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18859.231
AT ITER 374 NEW BEST:: SOT 57461 SOS 24177 HAS SOPS 24177 HAS SOUS 18831 HAS SOUPS 18831 WITH SCORE 18855.177
AT ITER 380 NEW BEST:: SOT 57471 SOS 24173 HAS SOPS 24173 HAS SOUS 18827 HAS SOUPS 18827 WITH SCORE 18851.173
AT ITER 389 NEW BEST:: SOT 57465 SOS 24161 HAS SOPS 24161 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18845.161
AT ITER 398 NEW BEST:: SOT 57480 SOS 24191 HAS SOPS 24191 HAS SOUS 18810 HAS SOUPS 18810 WITH SCORE 18834.191
AT ITER 401 NEW BEST:: SOT 57420 SOS 23971 HAS SOPS 23971 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18670.971
AT ITER 405 NEW BEST:: SOT 57138 SOS 26399 HAS SOPS 26399 HAS SOUS 18511 HAS SOUPS 18511 WITH SCORE 18537.399
AT ITER 407 NEW BEST:: SOT 57063 SOS 26249 HAS SOPS 26249 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18387.249
AT ITER 415 NEW BEST:: SOT 57048 SOS 26219 HAS SOPS 26219 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18364.219
AT ITER 423 NEW BEST:: SOT 57168 SOS 26166 HAS SOPS 26166 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18311.166
AT ITER 425 NEW BEST:: SOT 57133 SOS 26131 HAS SOPS 26131 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18276.131
AT ITER 427 NEW BEST:: SOT 57120 SOS 26105 HAS SOPS 26105 HAS SOUS 18224 HAS SOUPS 18224 WITH SCORE 18250.105
AT ITER 428 NEW BEST:: SOT 57097 SOS 26017 HAS SOPS 26017 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18141.017
AT ITER 456 NEW BEST:: SOT 57007 SOS 25927 HAS SOPS 25927 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18140.927
AT ITER 467 NEW BEST:: SOT 56883 SOS 25595 HAS SOPS 25595 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17871.595
AT ITER 476 NEW BEST:: SOT 56877 SOS 25529 HAS SOPS 25529 HAS SOUS 17834 HAS SOUPS 17834 WITH SCORE 17859.529
AT ITER 478 NEW BEST:: SOT 56874 SOS 25523 HAS SOPS 25523 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17853.523
AT ITER 494 NEW BEST:: SOT 56861 SOS 25503 HAS SOPS 25503 HAS SOUS 17815 HAS SOUPS 17815 WITH SCORE 17840.503
AT ITER 503 NEW BEST:: SOT 56918 SOS 25501 HAS SOPS 25501 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17839.501
AT ITER 512 NEW BEST:: SOT 56910 SOS 25498 HAS SOPS 25498 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17836.498
AT ITER 517 NEW BEST:: SOT 56872 SOS 25490 HAS SOPS 25490 HAS SOUS 17803 HAS SOUPS 17803 WITH SCORE 17828.49
AT ITER 524 NEW BEST:: SOT 56808 SOS 25362 HAS SOPS 25362 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17763.362
AT ITER 540 NEW BEST:: SOT 56873 SOS 25460 HAS SOPS 25460 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17714.46
AT ITER 552 NEW BEST:: SOT 56854 SOS 25422 HAS SOPS 25422 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17677.422
AT ITER 558 NEW BEST:: SOT 56873 SOS 25352 HAS SOPS 25352 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17620.352
AT ITER 560 NEW BEST:: SOT 56824 SOS 25319 HAS SOPS 25319 HAS SOUS 17573 HAS SOUPS 17573 WITH SCORE 17598.319
AT ITER 563 NEW BEST:: SOT 56808 SOS 25315 HAS SOPS 25315 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17594.315
AT ITER 564 NEW BEST:: SOT 56669 SOS 25320 HAS SOPS 25320 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17537.32
AT ITER 568 NEW BEST:: SOT 56677 SOS 25328 HAS SOPS 25328 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17518.328
AT ITER 570 NEW BEST:: SOT 56607 SOS 25197 HAS SOPS 25197 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17387.197
AT ITER 575 NEW BEST:: SOT 56628 SOS 25112 HAS SOPS 25112 HAS SOUS 17319 HAS SOUPS 17319 WITH SCORE 17344.112
AT ITER 584 NEW BEST:: SOT 56601 SOS 25085 HAS SOPS 25085 HAS SOUS 17265 HAS SOUPS 17265 WITH SCORE 17290.085
AT ITER 586 NEW BEST:: SOT 56482 SOS 24926 HAS SOPS 24926 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17130.926
AT ITER 599 NEW BEST:: SOT 56452 SOS 24866 HAS SOPS 24866 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17070.866
AT ITER 603 NEW BEST:: SOT 56450 SOS 24862 HAS SOPS 24862 HAS SOUS 17044 HAS SOUPS 17044 WITH SCORE 17068.862
AT ITER 604 NEW BEST:: SOT 56317 SOS 24753 HAS SOPS 24753 HAS SOUS 16935 HAS SOUPS 16935 WITH SCORE 16959.753
AT ITER 629 NEW BEST:: SOT 56312 SOS 24731 HAS SOPS 24731 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16949.731
AT ITER 633 NEW BEST:: SOT 56295 SOS 24714 HAS SOPS 24714 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16932.714
AT ITER 636 NEW BEST:: SOT 56277 SOS 24678 HAS SOPS 24678 HAS SOUS 16872 HAS SOUPS 16872 WITH SCORE 16896.678
AT ITER 648 NEW BEST:: SOT 56297 SOS 24684 HAS SOPS 24684 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16852.684
AT ITER 654 NEW BEST:: SOT 56282 SOS 24654 HAS SOPS 24654 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16830.654
AT ITER 660 NEW BEST:: SOT 56164 SOS 24473 HAS SOPS 24473 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16731.473
AT ITER 666 NEW BEST:: SOT 56085 SOS 24428 HAS SOPS 24428 HAS SOUS 16610 HAS SOUPS 16610 WITH SCORE 16634.428
AT ITER 668 NEW BEST:: SOT 56083 SOS 24424 HAS SOPS 24424 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16630.424
AT ITER 669 NEW BEST:: SOT 56071 SOS 24377 HAS SOPS 24377 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16425.377
AT ITER 676 NEW BEST:: SOT 56027 SOS 24289 HAS SOPS 24289 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16381.289
AT ITER 687 NEW BEST:: SOT 56009 SOS 24271 HAS SOPS 24271 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16363.271
AT ITER 709 NEW BEST:: SOT 55935 SOS 24109 HAS SOPS 24109 HAS SOUS 16337 HAS SOUPS 16337 WITH SCORE 16361.109
AT ITER 712 NEW BEST:: SOT 55894 SOS 24068 HAS SOPS 24068 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16359.068
AT ITER 726 NEW BEST:: SOT 55893 SOS 24067 HAS SOPS 24067 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16358.067
AT ITER 731 NEW BEST:: SOT 55887 SOS 23948 HAS SOPS 23948 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16351.948
AT ITER 779 NEW BEST:: SOT 55870 SOS 23915 HAS SOPS 23915 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16333.915
AT ITER 784 NEW BEST:: SOT 55810 SOS 23806 HAS SOPS 23806 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16302.806
AT ITER 785 NEW BEST:: SOT 55803 SOS 23792 HAS SOPS 23792 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16288.792
AT ITER 788 NEW BEST:: SOT 55795 SOS 23766 HAS SOPS 23766 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16272.766
AT ITER 791 NEW BEST:: SOT 55795 SOS 23660 HAS SOPS 23660 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16271.66
AT ITER 797 NEW BEST:: SOT 55786 SOS 23701 HAS SOPS 23701 HAS SOUS 16196 HAS SOUPS 16196 WITH SCORE 16219.701
AT ITER 800 NEW BEST:: SOT 55707 SOS 23543 HAS SOPS 23543 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16061.543
AT ITER 805 NEW BEST:: SOT 55624 SOS 23460 HAS SOPS 23460 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15978.46
AT ITER 808 NEW BEST:: SOT 55590 SOS 23392 HAS SOPS 23392 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15944.392
AT ITER 815 NEW BEST:: SOT 55449 SOS 23183 HAS SOPS 23183 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15735.183
AT ITER 824 NEW BEST:: SOT 55447 SOS 23181 HAS SOPS 23181 HAS SOUS 15710 HAS SOUPS 15710 WITH SCORE 15733.181
AT ITER 826 NEW BEST:: SOT 55375 SOS 23051 HAS SOPS 23051 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15660.051
AT ITER 829 NEW BEST:: SOT 55362 SOS 23026 HAS SOPS 23026 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15640.026
AT ITER 841 NEW BEST:: SOT 55363 SOS 23015 HAS SOPS 23015 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15636.015
AT ITER 856 NEW BEST:: SOT 55301 SOS 22974 HAS SOPS 22974 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15511.974
AT ITER 864 NEW BEST:: SOT 55290 SOS 22941 HAS SOPS 22941 HAS SOUS 15467 HAS SOUPS 15467 WITH SCORE 15489.941
AT ITER 884 NEW BEST:: SOT 55224 SOS 22809 HAS SOPS 22809 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15422.809
AT ITER 887 NEW BEST:: SOT 55166 SOS 22693 HAS SOPS 22693 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15306.693
AT ITER 889 NEW BEST:: SOT 55165 SOS 22691 HAS SOPS 22691 HAS SOUS 15282 HAS SOUPS 15282 WITH SCORE 15304.691
AT ITER 901 NEW BEST:: SOT 55154 SOS 22701 HAS SOPS 22701 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15293.701
AT ITER 906 NEW BEST:: SOT 55154 SOS 22686 HAS SOPS 22686 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15293.686
AT ITER 910 NEW BEST:: SOT 55145 SOS 22663 HAS SOPS 22663 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15282.663
AT ITER 917 NEW BEST:: SOT 55138 SOS 22561 HAS SOPS 22561 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15243.561
AT ITER 920 NEW BEST:: SOT 55160 SOS 22560 HAS SOPS 22560 HAS SOUS 15219 HAS SOUPS 15219 WITH SCORE 15241.56
AT ITER 927 NEW BEST:: SOT 55120 SOS 22591 HAS SOPS 22591 HAS SOUS 15179 HAS SOUPS 15179 WITH SCORE 15201.591
AT ITER 933 NEW BEST:: SOT 55091 SOS 22562 HAS SOPS 22562 HAS SOUS 15150 HAS SOUPS 15150 WITH SCORE 15172.562
AT ITER 943 NEW BEST:: SOT 55087 SOS 22550 HAS SOPS 22550 HAS SOUS 15146 HAS SOUPS 15146 WITH SCORE 15168.55
AT ITER 946 NEW BEST:: SOT 55079 SOS 22535 HAS SOPS 22535 HAS SOUS 15137 HAS SOUPS 15137 WITH SCORE 15159.535
AT ITER 961 NEW BEST:: SOT 55061 SOS 22430 HAS SOPS 22430 HAS SOUS 15101 HAS SOUPS 15101 WITH SCORE 15123.43
AT ITER 969 NEW BEST:: SOT 55028 SOS 22269 HAS SOPS 22269 HAS SOUS 15015 HAS SOUPS 15015 WITH SCORE 15037.269
AT ITER 999 NEW BEST:: SOT 55014 SOS 22241 HAS SOPS 22241 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15023.241
AT ITER 1002 NEW BEST:: SOT 55013 SOS 22239 HAS SOPS 22239 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15021.239
AT ITER 1003 NEW BEST:: SOT 55012 SOS 22237 HAS SOPS 22237 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15020.237
AT ITER 1006 NEW BEST:: SOT 54965 SOS 22103 HAS SOPS 22103 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14926.103
AT ITER 1007 NEW BEST:: SOT 54965 SOS 22073 HAS SOPS 22073 HAS SOUS 14891 HAS SOUPS 14891 WITH SCORE 14913.073
AT ITER 1035 NEW BEST:: SOT 54965 SOS 22064 HAS SOPS 22064 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14904.064
AT ITER 1043 NEW BEST:: SOT 54947 SOS 22028 HAS SOPS 22028 HAS SOUS 14846 HAS SOUPS 14846 WITH SCORE 14868.028
AT ITER 1056 NEW BEST:: SOT 54927 SOS 22008 HAS SOPS 22008 HAS SOUS 14825 HAS SOUPS 14825 WITH SCORE 14847.008
AT ITER 1057 NEW BEST:: SOT 54922 SOS 22012 HAS SOPS 22012 HAS SOUS 14821 HAS SOUPS 14821 WITH SCORE 14843.012
AT ITER 1060 NEW BEST:: SOT 54895 SOS 21985 HAS SOPS 21985 HAS SOUS 14794 HAS SOUPS 14794 WITH SCORE 14815.985
AT ITER 1064 NEW BEST:: SOT 54895 SOS 21992 HAS SOPS 21992 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14808.992
AT ITER 1071 NEW BEST:: SOT 54876 SOS 21951 HAS SOPS 21951 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14770.951
AT ITER 1073 NEW BEST:: SOT 54816 SOS 21890 HAS SOPS 21890 HAS SOUS 14629 HAS SOUPS 14629 WITH SCORE 14650.89
AT ITER 1082 NEW BEST:: SOT 54897 SOS 21865 HAS SOPS 21865 HAS SOUS 14544 HAS SOUPS 14544 WITH SCORE 14565.865
AT ITER 1088 NEW BEST:: SOT 54859 SOS 21751 HAS SOPS 21751 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14489.751
AT ITER 1098 NEW BEST:: SOT 54820 SOS 21698 HAS SOPS 21698 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14450.698
AT ITER 1101 NEW BEST:: SOT 54810 SOS 21686 HAS SOPS 21686 HAS SOUS 14417 HAS SOUPS 14417 WITH SCORE 14438.686
AT ITER 1104 NEW BEST:: SOT 54851 SOS 21702 HAS SOPS 21702 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14398.702
AT ITER 1105 NEW BEST:: SOT 54775 SOS 21607 HAS SOPS 21607 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14303.607
AT ITER 1112 NEW BEST:: SOT 54775 SOS 21591 HAS SOPS 21591 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14303.591
AT ITER 1130 NEW BEST:: SOT 54731 SOS 21516 HAS SOPS 21516 HAS SOUS 14225 HAS SOUPS 14225 WITH SCORE 14246.516
AT ITER 1132 NEW BEST:: SOT 54647 SOS 21432 HAS SOPS 21432 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14137.432
AT ITER 1147 NEW BEST:: SOT 54635 SOS 21408 HAS SOPS 21408 HAS SOUS 14092 HAS SOUPS 14092 WITH SCORE 14113.408
AT ITER 1148 NEW BEST:: SOT 54629 SOS 21396 HAS SOPS 21396 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14107.396
AT ITER 1152 NEW BEST:: SOT 54628 SOS 21394 HAS SOPS 21394 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14107.394
AT ITER 1156 NEW BEST:: SOT 54593 SOS 21324 HAS SOPS 21324 HAS SOUS 14016 HAS SOUPS 14016 WITH SCORE 14037.324
AT ITER 1159 NEW BEST:: SOT 54535 SOS 21324 HAS SOPS 21324 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13979.324
AT ITER 1160 NEW BEST:: SOT 54535 SOS 21271 HAS SOPS 21271 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13926.271
AT ITER 1165 NEW BEST:: SOT 54445 SOS 21104 HAS SOPS 21104 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13746.104
AT ITER 1166 NEW BEST:: SOT 54402 SOS 21061 HAS SOPS 21061 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13659.061
AT ITER 1172 NEW BEST:: SOT 54365 SOS 21753 HAS SOPS 21753 HAS SOUS 13626 HAS SOUPS 13626 WITH SCORE 13647.753
AT ITER 1197 NEW BEST:: SOT 54365 SOS 21753 HAS SOPS 21753 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13646.753
AT ITER 1204 NEW BEST:: SOT 54353 SOS 21720 HAS SOPS 21720 HAS SOUS 13601 HAS SOUPS 13601 WITH SCORE 13622.72
AT ITER 1223 NEW BEST:: SOT 54319 SOS 21605 HAS SOPS 21605 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13507.605
AT ITER 1247 NEW BEST:: SOT 54319 SOS 21596 HAS SOPS 21596 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13498.596
AT ITER 1290 NEW BEST:: SOT 54227 SOS 21511 HAS SOPS 21511 HAS SOUS 13464 HAS SOUPS 13464 WITH SCORE 13485.511
AT ITER 1291 NEW BEST:: SOT 54236 SOS 21473 HAS SOPS 21473 HAS SOUS 13405 HAS SOUPS 13405 WITH SCORE 13426.473
AT ITER 1292 NEW BEST:: SOT 54236 SOS 21469 HAS SOPS 21469 HAS SOUS 13403 HAS SOUPS 13403 WITH SCORE 13424.469
AT ITER 1312 NEW BEST:: SOT 54258 SOS 21370 HAS SOPS 21370 HAS SOUS 13398 HAS SOUPS 13398 WITH SCORE 13419.37
AT ITER 1317 NEW BEST:: SOT 54158 SOS 21170 HAS SOPS 21170 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13219.17
AT ITER 1322 NEW BEST:: SOT 54142 SOS 21140 HAS SOPS 21140 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13189.14
AT ITER 1362 NEW BEST:: SOT 54142 SOS 21135 HAS SOPS 21135 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13184.135
AT ITER 1384 NEW BEST:: SOT 54129 SOS 20994 HAS SOPS 20994 HAS SOUS 13070 HAS SOUPS 13070 WITH SCORE 13090.994
AT ITER 1399 NEW BEST:: SOT 54111 SOS 20934 HAS SOPS 20934 HAS SOUS 13034 HAS SOUPS 13034 WITH SCORE 13054.934
AT ITER 1400 NEW BEST:: SOT 54096 SOS 20942 HAS SOPS 20942 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13043.942
AT ITER 1411 NEW BEST:: SOT 54071 SOS 20917 HAS SOPS 20917 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13018.917
AT ITER 1433 NEW BEST:: SOT 54062 SOS 20890 HAS SOPS 20890 HAS SOUS 12971 HAS SOUPS 12971 WITH SCORE 12991.89
AT ITER 1436 NEW BEST:: SOT 54076 SOS 20890 HAS SOPS 20890 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12961.89
AT ITER 1437 NEW BEST:: SOT 54068 SOS 20913 HAS SOPS 20913 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12945.913
AT ITER 1459 NEW BEST:: SOT 54068 SOS 20909 HAS SOPS 20909 HAS SOUS 12921 HAS SOUPS 12921 WITH SCORE 12941.909
AT ITER 1467 NEW BEST:: SOT 54066 SOS 20908 HAS SOPS 20908 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12936.908
AT ITER 1473 NEW BEST:: SOT 54094 SOS 20931 HAS SOPS 20931 HAS SOUS 12906 HAS SOUPS 12906 WITH SCORE 12926.931
AT ITER 1499 NEW BEST:: SOT 54094 SOS 20931 HAS SOPS 20931 HAS SOUS 12893 HAS SOUPS 12893 WITH SCORE 12913.931
AT ITER 1511 NEW BEST:: SOT 54090 SOS 20927 HAS SOPS 20927 HAS SOUS 12885 HAS SOUPS 12885 WITH SCORE 12905.927
AT ITER 1519 NEW BEST:: SOT 54074 SOS 20895 HAS SOPS 20895 HAS SOUS 12853 HAS SOUPS 12853 WITH SCORE 12873.895
AT ITER 1520 NEW BEST:: SOT 54074 SOS 20886 HAS SOPS 20886 HAS SOUS 12853 HAS SOUPS 12853 WITH SCORE 12873.886
AT ITER 1522 NEW BEST:: SOT 54063 SOS 20875 HAS SOPS 20875 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12863.875
AT ITER 1531 NEW BEST:: SOT 54048 SOS 20847 HAS SOPS 20847 HAS SOUS 12828 HAS SOUPS 12828 WITH SCORE 12848.847
AT ITER 1541 NEW BEST:: SOT 54056 SOS 20855 HAS SOPS 20855 HAS SOUS 12824 HAS SOUPS 12824 WITH SCORE 12844.855
AT ITER 1556 NEW BEST:: SOT 54056 SOS 20843 HAS SOPS 20843 HAS SOUS 12818 HAS SOUPS 12818 WITH SCORE 12838.843
AT ITER 1560 NEW BEST:: SOT 54049 SOS 20829 HAS SOPS 20829 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12824.829
AT ITER 1604 NEW BEST:: SOT 54048 SOS 20827 HAS SOPS 20827 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12823.827
AT ITER 1607 NEW BEST:: SOT 54048 SOS 20820 HAS SOPS 20820 HAS SOUS 12796 HAS SOUPS 12796 WITH SCORE 12816.82
AT ITER 1610 NEW BEST:: SOT 54022 SOS 20706 HAS SOPS 20706 HAS SOUS 12744 HAS SOUPS 12744 WITH SCORE 12764.706
AT ITER 1616 NEW BEST:: SOT 53990 SOS 20674 HAS SOPS 20674 HAS SOUS 12680 HAS SOUPS 12680 WITH SCORE 12700.674
AT ITER 1639 NEW BEST:: SOT 53984 SOS 20662 HAS SOPS 20662 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12688.662
AT ITER 1651 NEW BEST:: SOT 53976 SOS 20652 HAS SOPS 20652 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12678.652
AT ITER 1670 NEW BEST:: SOT 53930 SOS 21302 HAS SOPS 21302 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12668.302
AT ITER 1671 NEW BEST:: SOT 53941 SOS 21280 HAS SOPS 21280 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12646.28
AT ITER 1682 NEW BEST:: SOT 53941 SOS 20896 HAS SOPS 20896 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12633.896
AT ITER 1689 NEW BEST:: SOT 53925 SOS 20864 HAS SOPS 20864 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12601.864
AT ITER 1693 NEW BEST:: SOT 53895 SOS 20804 HAS SOPS 20804 HAS SOUS 12550 HAS SOUPS 12550 WITH SCORE 12570.804
AT ITER 1695 NEW BEST:: SOT 53895 SOS 20800 HAS SOPS 20800 HAS SOUS 12546 HAS SOUPS 12546 WITH SCORE 12566.8
AT ITER 1754 NEW BEST:: SOT 53893 SOS 20794 HAS SOPS 20794 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12562.794
AT ITER 1768 NEW BEST:: SOT 53888 SOS 20784 HAS SOPS 20784 HAS SOUS 12532 HAS SOUPS 12532 WITH SCORE 12552.784
AT ITER 1774 NEW BEST:: SOT 53836 SOS 20720 HAS SOPS 20720 HAS SOUS 12468 HAS SOUPS 12468 WITH SCORE 12488.72
AT ITER 1786 NEW BEST:: SOT 53797 SOS 20627 HAS SOPS 20627 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12410.627
AT ITER 1798 NEW BEST:: SOT 53795 SOS 20623 HAS SOPS 20623 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12406.623
AT ITER 1805 NEW BEST:: SOT 53776 SOS 20578 HAS SOPS 20578 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12368.578
AT ITER 1841 NEW BEST:: SOT 53783 SOS 20571 HAS SOPS 20571 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12364.571
AT ITER 1848 NEW BEST:: SOT 53773 SOS 20561 HAS SOPS 20561 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12329.561
AT ITER 1856 NEW BEST:: SOT 53794 SOS 20534 HAS SOPS 20534 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12273.534
AT ITER 1858 NEW BEST:: SOT 53750 SOS 20547 HAS SOPS 20547 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12185.547
AT ITER 1873 NEW BEST:: SOT 53749 SOS 20532 HAS SOPS 20532 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12146.532
AT ITER 1932 NEW BEST:: SOT 53733 SOS 20516 HAS SOPS 20516 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12114.516
AT ITER 1969 NEW BEST:: SOT 53733 SOS 20452 HAS SOPS 20452 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12114.452
AT ITER 1978 NEW BEST:: SOT 53717 SOS 20436 HAS SOPS 20436 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12114.436
AT ITER 1991 NEW BEST:: SOT 53709 SOS 20379 HAS SOPS 20379 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12098.379
AT ITER 2014 NEW BEST:: SOT 53685 SOS 20320 HAS SOPS 20320 HAS SOUS 12005 HAS SOUPS 12005 WITH SCORE 12025.32
AT ITER 2046 NEW BEST:: SOT 53641 SOS 20242 HAS SOPS 20242 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11961.242
AT ITER 2063 NEW BEST:: SOT 53635 SOS 20233 HAS SOPS 20233 HAS SOUS 11932 HAS SOUPS 11932 WITH SCORE 11952.233
AT ITER 2064 NEW BEST:: SOT 53621 SOS 20215 HAS SOPS 20215 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11924.215
AT ITER 2067 NEW BEST:: SOT 53621 SOS 20215 HAS SOPS 20215 HAS SOUS 11899 HAS SOUPS 11899 WITH SCORE 11919.215
AT ITER 2068 NEW BEST:: SOT 53615 SOS 20203 HAS SOPS 20203 HAS SOUS 11887 HAS SOUPS 11887 WITH SCORE 11907.203
AT ITER 2075 NEW BEST:: SOT 53603 SOS 20191 HAS SOPS 20191 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11903.191
AT ITER 2112 NEW BEST:: SOT 53598 SOS 20186 HAS SOPS 20186 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11897.186
AT ITER 2113 NEW BEST:: SOT 53598 SOS 20155 HAS SOPS 20155 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11897.155
AT ITER 2120 NEW BEST:: SOT 53598 SOS 20155 HAS SOPS 20155 HAS SOUS 11874 HAS SOUPS 11874 WITH SCORE 11894.155
AT ITER 2123 NEW BEST:: SOT 53597 SOS 20154 HAS SOPS 20154 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11893.154
AT ITER 2125 NEW BEST:: SOT 53588 SOS 20126 HAS SOPS 20126 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11893.126
AT ITER 2129 NEW BEST:: SOT 53588 SOS 20125 HAS SOPS 20125 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11884.125
AT ITER 2142 NEW BEST:: SOT 53595 SOS 20139 HAS SOPS 20139 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11863.139
AT ITER 2150 NEW BEST:: SOT 53615 SOS 20139 HAS SOPS 20139 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11862.139
AT ITER 2162 NEW BEST:: SOT 53615 SOS 20139 HAS SOPS 20139 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11858.139
AT ITER 2167 NEW BEST:: SOT 53617 SOS 20143 HAS SOPS 20143 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11853.143
AT ITER 2168 NEW BEST:: SOT 53607 SOS 20115 HAS SOPS 20115 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11833.115
AT ITER 2207 NEW BEST:: SOT 53606 SOS 20113 HAS SOPS 20113 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11831.113
AT ITER 2217 NEW BEST:: SOT 53600 SOS 20101 HAS SOPS 20101 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11819.101
AT ITER 2231 NEW BEST:: SOT 53582 SOS 20089 HAS SOPS 20089 HAS SOUS 11787 HAS SOUPS 11787 WITH SCORE 11807.089
AT ITER 2232 NEW BEST:: SOT 53576 SOS 20104 HAS SOPS 20104 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11795.104
AT ITER 2262 NEW BEST:: SOT 53578 SOS 20108 HAS SOPS 20108 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11786.108
AT ITER 2273 NEW BEST:: SOT 53578 SOS 20079 HAS SOPS 20079 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11786.079
AT ITER 2275 NEW BEST:: SOT 53521 SOS 19965 HAS SOPS 19965 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11705.965
AT ITER 2279 NEW BEST:: SOT 53513 SOS 19936 HAS SOPS 19936 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11689.936
AT ITER 2281 NEW BEST:: SOT 53438 SOS 19861 HAS SOPS 19861 HAS SOUS 11560 HAS SOUPS 11560 WITH SCORE 11579.861
AT ITER 2287 NEW BEST:: SOT 53414 SOS 19813 HAS SOPS 19813 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11532.813
AT ITER 2296 NEW BEST:: SOT 53410 SOS 19809 HAS SOPS 19809 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11528.809
AT ITER 2361 NEW BEST:: SOT 53405 SOS 19799 HAS SOPS 19799 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11523.799
AT ITER 2367 NEW BEST:: SOT 53373 SOS 19775 HAS SOPS 19775 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11499.775
AT ITER 2403 NEW BEST:: SOT 53354 SOS 19757 HAS SOPS 19757 HAS SOUS 11451 HAS SOUPS 11451 WITH SCORE 11470.757
AT ITER 2445 NEW BEST:: SOT 53344 SOS 19737 HAS SOPS 19737 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11465.737
AT ITER 2454 NEW BEST:: SOT 53362 SOS 19752 HAS SOPS 19752 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11461.752
AT ITER 2479 NEW BEST:: SOT 53363 SOS 19764 HAS SOPS 19764 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11455.764
AT ITER 2495 NEW BEST:: SOT 53351 SOS 19764 HAS SOPS 19764 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11454.764
AT ITER 2496 NEW BEST:: SOT 53312 SOS 19725 HAS SOPS 19725 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11401.725
AT ITER 2507 NEW BEST:: SOT 53307 SOS 19715 HAS SOPS 19715 HAS SOUS 11371 HAS SOUPS 11371 WITH SCORE 11390.715
AT ITER 2511 NEW BEST:: SOT 53307 SOS 19667 HAS SOPS 19667 HAS SOUS 11330 HAS SOUPS 11330 WITH SCORE 11349.667
AT ITER 2515 NEW BEST:: SOT 53306 SOS 19677 HAS SOPS 19677 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11347.677
AT ITER 2522 NEW BEST:: SOT 53301 SOS 19672 HAS SOPS 19672 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11342.672
AT ITER 2549 NEW BEST:: SOT 53301 SOS 19665 HAS SOPS 19665 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11342.665
AT ITER 2552 NEW BEST:: SOT 53301 SOS 19661 HAS SOPS 19661 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11342.661
AT ITER 2599 NEW BEST:: SOT 53301 SOS 19657 HAS SOPS 19657 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11342.657
AT ITER 2610 NEW BEST:: SOT 53301 SOS 19657 HAS SOPS 19657 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11338.657
AT ITER 2615 NEW BEST:: SOT 53286 SOS 19637 HAS SOPS 19637 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11313.637
AT ITER 2647 NEW BEST:: SOT 53279 SOS 19630 HAS SOPS 19630 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11306.63
AT ITER 2650 NEW BEST:: SOT 53259 SOS 19616 HAS SOPS 19616 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11282.616
AT ITER 2660 NEW BEST:: SOT 53259 SOS 19589 HAS SOPS 19589 HAS SOUS 11263 HAS SOUPS 11263 WITH SCORE 11282.589
AT ITER 2663 NEW BEST:: SOT 53274 SOS 19604 HAS SOPS 19604 HAS SOUS 11260 HAS SOUPS 11260 WITH SCORE 11279.604
AT ITER 2691 NEW BEST:: SOT 53274 SOS 19560 HAS SOPS 19560 HAS SOUS 11216 HAS SOUPS 11216 WITH SCORE 11235.56
AT ITER 2741 NEW BEST:: SOT 53272 SOS 19560 HAS SOPS 19560 HAS SOUS 11212 HAS SOUPS 11212 WITH SCORE 11231.56
AT ITER 2743 NEW BEST:: SOT 53272 SOS 19553 HAS SOPS 19553 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11224.553
AT ITER 2752 NEW BEST:: SOT 53253 SOS 19525 HAS SOPS 19525 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11198.525
AT ITER 2764 NEW BEST:: SOT 53240 SOS 19499 HAS SOPS 19499 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11189.499
AT ITER 2772 NEW BEST:: SOT 53240 SOS 19498 HAS SOPS 19498 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11189.498
AT ITER 2775 NEW BEST:: SOT 53223 SOS 19484 HAS SOPS 19484 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11172.484
AT ITER 2784 NEW BEST:: SOT 53222 SOS 19474 HAS SOPS 19474 HAS SOUS 11151 HAS SOUPS 11151 WITH SCORE 11170.474
AT ITER 2785 NEW BEST:: SOT 53214 SOS 19466 HAS SOPS 19466 HAS SOUS 11135 HAS SOUPS 11135 WITH SCORE 11154.466
AT ITER 2796 NEW BEST:: SOT 53210 SOS 19458 HAS SOPS 19458 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11146.458
AT ITER 2820 NEW BEST:: SOT 53207 SOS 19452 HAS SOPS 19452 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11140.452
AT ITER 2825 NEW BEST:: SOT 53207 SOS 19452 HAS SOPS 19452 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11139.452
AT ITER 2839 NEW BEST:: SOT 53191 SOS 19436 HAS SOPS 19436 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11139.436
AT ITER 2862 NEW BEST:: SOT 53188 SOS 19433 HAS SOPS 19433 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11133.433
AT ITER 2878 NEW BEST:: SOT 53167 SOS 19356 HAS SOPS 19356 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11111.356
AT ITER 2885 NEW BEST:: SOT 53141 SOS 19350 HAS SOPS 19350 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11095.35
AT ITER 2886 NEW BEST:: SOT 53134 SOS 19336 HAS SOPS 19336 HAS SOUS 11069 HAS SOUPS 11069 WITH SCORE 11088.336
AT ITER 2895 NEW BEST:: SOT 53131 SOS 19327 HAS SOPS 19327 HAS SOUS 11063 HAS SOUPS 11063 WITH SCORE 11082.327
AT ITER 2930 NEW BEST:: SOT 53115 SOS 19038 HAS SOPS 19038 HAS SOUS 11031 HAS SOUPS 11031 WITH SCORE 11050.038
AT ITER 2946 NEW BEST:: SOT 53081 SOS 19001 HAS SOPS 19001 HAS SOUS 10989 HAS SOUPS 10989 WITH SCORE 11008.001
AT ITER 2978 NEW BEST:: SOT 53065 SOS 18952 HAS SOPS 18952 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10975.952
AT ITER 3010 NEW BEST:: SOT 53032 SOS 18919 HAS SOPS 18919 HAS SOUS 10924 HAS SOUPS 10924 WITH SCORE 10942.919
AT ITER 3053 NEW BEST:: SOT 53023 SOS 18910 HAS SOPS 18910 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10933.91
AT ITER 3056 NEW BEST:: SOT 53023 SOS 18910 HAS SOPS 18910 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10929.91
AT ITER 3059 NEW BEST:: SOT 53017 SOS 18887 HAS SOPS 18887 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10912.887
AT ITER 3074 NEW BEST:: SOT 52997 SOS 18876 HAS SOPS 18876 HAS SOUS 10883 HAS SOUPS 10883 WITH SCORE 10901.876
AT ITER 3087 NEW BEST:: SOT 52916 SOS 18795 HAS SOPS 18795 HAS SOUS 10802 HAS SOUPS 10802 WITH SCORE 10820.795
AT ITER 3096 NEW BEST:: SOT 52917 SOS 18793 HAS SOPS 18793 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10817.793
AT ITER 3161 NEW BEST:: SOT 52917 SOS 18793 HAS SOPS 18793 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10815.793
AT ITER 3164 NEW BEST:: SOT 52896 SOS 18751 HAS SOPS 18751 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10773.751
AT ITER 3190 NEW BEST:: SOT 52894 SOS 18747 HAS SOPS 18747 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10771.747
AT ITER 3200 NEW BEST:: SOT 52898 SOS 18751 HAS SOPS 18751 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10767.751
AT ITER 3207 NEW BEST:: SOT 52890 SOS 18735 HAS SOPS 18735 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10751.735
AT ITER 3223 NEW BEST:: SOT 52888 SOS 18729 HAS SOPS 18729 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10747.729
AT ITER 3228 NEW BEST:: SOT 52880 SOS 18713 HAS SOPS 18713 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10731.713
AT ITER 3255 NEW BEST:: SOT 52877 SOS 18707 HAS SOPS 18707 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10725.707
AT ITER 3277 NEW BEST:: SOT 52876 SOS 18706 HAS SOPS 18706 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10723.706
AT ITER 3301 NEW BEST:: SOT 52861 SOS 18691 HAS SOPS 18691 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10721.691
AT ITER 3302 NEW BEST:: SOT 52851 SOS 18671 HAS SOPS 18671 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10664.671
AT ITER 3304 NEW BEST:: SOT 52850 SOS 18670 HAS SOPS 18670 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10662.67
AT ITER 3308 NEW BEST:: SOT 52842 SOS 18654 HAS SOPS 18654 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10646.654
AT ITER 3353 NEW BEST:: SOT 52838 SOS 18646 HAS SOPS 18646 HAS SOUS 10620 HAS SOUPS 10620 WITH SCORE 10638.646
AT ITER 3397 NEW BEST:: SOT 52801 SOS 18607 HAS SOPS 18607 HAS SOUS 10611 HAS SOUPS 10611 WITH SCORE 10629.607
AT ITER 3433 NEW BEST:: SOT 52763 SOS 18531 HAS SOPS 18531 HAS SOUS 10580 HAS SOUPS 10580 WITH SCORE 10598.531
AT ITER 3490 NEW BEST:: SOT 52763 SOS 18514 HAS SOPS 18514 HAS SOUS 10580 HAS SOUPS 10580 WITH SCORE 10598.514
AT ITER 3493 NEW BEST:: SOT 52771 SOS 18540 HAS SOPS 18540 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10596.54
AT ITER 3525 NEW BEST:: SOT 52767 SOS 18536 HAS SOPS 18536 HAS SOUS 10574 HAS SOUPS 10574 WITH SCORE 10592.536
AT ITER 3550 NEW BEST:: SOT 52742 SOS 18501 HAS SOPS 18501 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10567.501
AT ITER 3566 NEW BEST:: SOT 52752 SOS 18490 HAS SOPS 18490 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10554.49
AT ITER 3567 NEW BEST:: SOT 52822 SOS 18556 HAS SOPS 18556 HAS SOUS 10528 HAS SOUPS 10528 WITH SCORE 10546.556
AT ITER 3568 NEW BEST:: SOT 52846 SOS 18570 HAS SOPS 18570 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10531.57
AT ITER 3623 NEW BEST:: SOT 52835 SOS 18548 HAS SOPS 18548 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10517.548
AT ITER 3694 NEW BEST:: SOT 52829 SOS 18545 HAS SOPS 18545 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10514.545
AT ITER 3703 NEW BEST:: SOT 52829 SOS 18544 HAS SOPS 18544 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10513.544
AT ITER 3714 NEW BEST:: SOT 52828 SOS 18550 HAS SOPS 18550 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10512.55
AT ITER 3728 NEW BEST:: SOT 52805 SOS 18540 HAS SOPS 18540 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10496.54
AT ITER 3733 NEW BEST:: SOT 52797 SOS 18551 HAS SOPS 18551 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10480.551
AT ITER 3756 NEW BEST:: SOT 52795 SOS 18547 HAS SOPS 18547 HAS SOUS 10458 HAS SOUPS 10458 WITH SCORE 10476.547
AT ITER 3776 NEW BEST:: SOT 52787 SOS 18539 HAS SOPS 18539 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10468.539
AT ITER 3782 NEW BEST:: SOT 52787 SOS 18493 HAS SOPS 18493 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10468.493
AT ITER 3783 NEW BEST:: SOT 52786 SOS 18491 HAS SOPS 18491 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10466.491
AT ITER 3799 NEW BEST:: SOT 52785 SOS 18488 HAS SOPS 18488 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10464.488
AT ITER 3851 NEW BEST:: SOT 52750 SOS 18418 HAS SOPS 18418 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10439.418
AT ITER 3903 NEW BEST:: SOT 52686 SOS 18376 HAS SOPS 18376 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10397.376
AT ITER 3943 NEW BEST:: SOT 52677 SOS 18358 HAS SOPS 18358 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10379.358
AT ITER 3946 NEW BEST:: SOT 52667 SOS 18328 HAS SOPS 18328 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10369.328
AT ITER 3973 NEW BEST:: SOT 52667 SOS 18329 HAS SOPS 18329 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10368.329
AT ITER 3983 NEW BEST:: SOT 52609 SOS 18242 HAS SOPS 18242 HAS SOUS 10292 HAS SOUPS 10292 WITH SCORE 10310.242
AT ITER 3999 NEW BEST:: SOT 52606 SOS 18240 HAS SOPS 18240 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10304.24
AT ITER 4007 NEW BEST:: SOT 52606 SOS 18189 HAS SOPS 18189 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10253.189
AT ITER 4008 NEW BEST:: SOT 52594 SOS 18210 HAS SOPS 18210 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10236.21
AT ITER 4013 NEW BEST:: SOT 52588 SOS 18208 HAS SOPS 18208 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10230.208
AT ITER 4050 NEW BEST:: SOT 52586 SOS 18204 HAS SOPS 18204 HAS SOUS 10208 HAS SOUPS 10208 WITH SCORE 10226.204
AT ITER 4060 NEW BEST:: SOT 52580 SOS 18198 HAS SOPS 18198 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10214.198
AT ITER 4066 NEW BEST:: SOT 52578 SOS 18186 HAS SOPS 18186 HAS SOUS 10181 HAS SOUPS 10181 WITH SCORE 10199.186
AT ITER 4086 NEW BEST:: SOT 52568 SOS 18176 HAS SOPS 18176 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10179.176
AT ITER 4152 NEW BEST:: SOT 52563 SOS 18166 HAS SOPS 18166 HAS SOUS 10151 HAS SOUPS 10151 WITH SCORE 10169.166
AT ITER 4159 NEW BEST:: SOT 52538 SOS 18170 HAS SOPS 18170 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10115.17
AT ITER 4175 NEW BEST:: SOT 52526 SOS 18131 HAS SOPS 18131 HAS SOUS 10042 HAS SOUPS 10042 WITH SCORE 10060.131
AT ITER 4238 NEW BEST:: SOT 52519 SOS 18124 HAS SOPS 18124 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10051.124
AT ITER 4256 NEW BEST:: SOT 52519 SOS 18122 HAS SOPS 18122 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10051.122
AT ITER 4277 NEW BEST:: SOT 52519 SOS 18113 HAS SOPS 18113 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10042.113
AT ITER 4347 NEW BEST:: SOT 52516 SOS 18110 HAS SOPS 18110 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10042.11
AT ITER 4350 NEW BEST:: SOT 52476 SOS 18030 HAS SOPS 18030 HAS SOUS 9944 HAS SOUPS 9944 WITH SCORE 9962.03
AT ITER 4380 NEW BEST:: SOT 52470 SOS 18012 HAS SOPS 18012 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9950.012
AT ITER 4384 NEW BEST:: SOT 52451 SOS 17974 HAS SOPS 17974 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9936.974
AT ITER 4390 NEW BEST:: SOT 52463 SOS 17982 HAS SOPS 17982 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9931.982
AT ITER 4439 NEW BEST:: SOT 52463 SOS 17977 HAS SOPS 17977 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9926.977
AT ITER 4443 NEW BEST:: SOT 52457 SOS 17965 HAS SOPS 17965 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9899.965
AT ITER 4471 NEW BEST:: SOT 52429 SOS 17937 HAS SOPS 17937 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9871.937
AT ITER 4531 NEW BEST:: SOT 52424 SOS 17927 HAS SOPS 17927 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9861.927
AT ITER 4536 NEW BEST:: SOT 52423 SOS 17925 HAS SOPS 17925 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9859.925
AT ITER 4539 NEW BEST:: SOT 52414 SOS 17913 HAS SOPS 17913 HAS SOUS 9838 HAS SOUPS 9838 WITH SCORE 9855.913
AT ITER 4540 NEW BEST:: SOT 52410 SOS 17905 HAS SOPS 17905 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9839.905
AT ITER 4555 NEW BEST:: SOT 52409 SOS 17902 HAS SOPS 17902 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9838.902
AT ITER 4613 NEW BEST:: SOT 52406 SOS 17906 HAS SOPS 17906 HAS SOUS 9815 HAS SOUPS 9815 WITH SCORE 9832.906
AT ITER 4653 NEW BEST:: SOT 52397 SOS 17888 HAS SOPS 17888 HAS SOUS 9797 HAS SOUPS 9797 WITH SCORE 9814.888
AT ITER 4660 NEW BEST:: SOT 52386 SOS 17870 HAS SOPS 17870 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9796.87
AT ITER 4661 NEW BEST:: SOT 52370 SOS 17856 HAS SOPS 17856 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9782.856
AT ITER 4684 NEW BEST:: SOT 52321 SOS 17807 HAS SOPS 17807 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9752.807
AT ITER 4713 NEW BEST:: SOT 52315 SOS 17793 HAS SOPS 17793 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9740.793
AT ITER 4723 NEW BEST:: SOT 52308 SOS 17790 HAS SOPS 17790 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9737.79
AT ITER 4744 NEW BEST:: SOT 52308 SOS 17788 HAS SOPS 17788 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9735.788
AT ITER 4764 NEW BEST:: SOT 52301 SOS 17788 HAS SOPS 17788 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9728.788
AT ITER 4767 NEW BEST:: SOT 52296 SOS 17771 HAS SOPS 17771 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9718.771
AT ITER 4771 NEW BEST:: SOT 52297 SOS 17752 HAS SOPS 17752 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9699.752
AT ITER 4774 NEW BEST:: SOT 52300 SOS 17714 HAS SOPS 17714 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9680.714
AT ITER 4798 NEW BEST:: SOT 52281 SOS 17684 HAS SOPS 17684 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9653.684
AT ITER 4820 NEW BEST:: SOT 52284 SOS 17678 HAS SOPS 17678 HAS SOUS 9583 HAS SOUPS 9583 WITH SCORE 9600.678
AT ITER 4863 NEW BEST:: SOT 52282 SOS 17677 HAS SOPS 17677 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9599.677
AT ITER 4883 NEW BEST:: SOT 52278 SOS 17695 HAS SOPS 17695 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9591.695
AT ITER 4905 NEW BEST:: SOT 52278 SOS 17690 HAS SOPS 17690 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9591.69
AT ITER 4914 NEW BEST:: SOT 52276 SOS 17690 HAS SOPS 17690 HAS SOUS 9572 HAS SOUPS 9572 WITH SCORE 9589.69
AT ITER 4957 NEW BEST:: SOT 52265 SOS 17683 HAS SOPS 17683 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9582.683
AT ITER 4976 NEW BEST:: SOT 52249 SOS 17651 HAS SOPS 17651 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9550.651
AT ITER 4987 NEW BEST:: SOT 52236 SOS 17583 HAS SOPS 17583 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9509.583
AT ITER 5030 NEW BEST:: SOT 52227 SOS 17574 HAS SOPS 17574 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9499.574
AT ITER 5047 NEW BEST:: SOT 52196 SOS 17512 HAS SOPS 17512 HAS SOUS 9420 HAS SOUPS 9420 WITH SCORE 9437.512
AT ITER 5049 NEW BEST:: SOT 52188 SOS 17509 HAS SOPS 17509 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9436.509
AT ITER 5077 NEW BEST:: SOT 52178 SOS 17497 HAS SOPS 17497 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9417.497
AT ITER 5119 NEW BEST:: SOT 52178 SOS 17493 HAS SOPS 17493 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9413.493
AT ITER 5131 NEW BEST:: SOT 52172 SOS 17485 HAS SOPS 17485 HAS SOUS 9386 HAS SOUPS 9386 WITH SCORE 9403.485
AT ITER 5145 NEW BEST:: SOT 52172 SOS 17478 HAS SOPS 17478 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9396.478
AT ITER 5207 NEW BEST:: SOT 52169 SOS 17475 HAS SOPS 17475 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9390.475
AT ITER 5217 NEW BEST:: SOT 52162 SOS 17461 HAS SOPS 17461 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9376.461
AT ITER 5221 NEW BEST:: SOT 52161 SOS 17459 HAS SOPS 17459 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9374.459
AT ITER 5223 NEW BEST:: SOT 52161 SOS 17452 HAS SOPS 17452 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9367.452
AT ITER 5269 NEW BEST:: SOT 52160 SOS 17450 HAS SOPS 17450 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9366.45
AT ITER 5273 NEW BEST:: SOT 52154 SOS 17438 HAS SOPS 17438 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9354.438
AT ITER 5333 NEW BEST:: SOT 52140 SOS 17410 HAS SOPS 17410 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9354.41
AT ITER 5347 NEW BEST:: SOT 52152 SOS 17434 HAS SOPS 17434 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9350.434
AT ITER 5504 NEW BEST:: SOT 52148 SOS 17419 HAS SOPS 17419 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9349.419
AT ITER 5524 NEW BEST:: SOT 52148 SOS 17439 HAS SOPS 17439 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9339.439
AT ITER 5545 NEW BEST:: SOT 52127 SOS 17397 HAS SOPS 17397 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9338.397
AT ITER 5553 NEW BEST:: SOT 52121 SOS 17391 HAS SOPS 17391 HAS SOUS 9315 HAS SOUPS 9315 WITH SCORE 9332.391
AT ITER 5565 NEW BEST:: SOT 52124 SOS 17392 HAS SOPS 17392 HAS SOUS 9309 HAS SOUPS 9309 WITH SCORE 9326.392
AT ITER 5629 NEW BEST:: SOT 52117 SOS 17378 HAS SOPS 17378 HAS SOUS 9295 HAS SOUPS 9295 WITH SCORE 9312.378
AT ITER 5639 NEW BEST:: SOT 52103 SOS 17364 HAS SOPS 17364 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9298.364
AT ITER 5697 NEW BEST:: SOT 52099 SOS 17360 HAS SOPS 17360 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9290.36
AT ITER 5698 NEW BEST:: SOT 52121 SOS 17346 HAS SOPS 17346 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9276.346
AT ITER 5710 NEW BEST:: SOT 52128 SOS 17343 HAS SOPS 17343 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9268.343
AT ITER 5723 NEW BEST:: SOT 52128 SOS 17326 HAS SOPS 17326 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9268.326
AT ITER 5725 NEW BEST:: SOT 52112 SOS 17310 HAS SOPS 17310 HAS SOUS 9242 HAS SOUPS 9242 WITH SCORE 9259.31
AT ITER 5784 NEW BEST:: SOT 52112 SOS 17306 HAS SOPS 17306 HAS SOUS 9238 HAS SOUPS 9238 WITH SCORE 9255.306
AT ITER 5805 NEW BEST:: SOT 51967 SOS 17061 HAS SOPS 17061 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9213.061
AT ITER 5832 NEW BEST:: SOT 51965 SOS 17057 HAS SOPS 17057 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9209.057
AT ITER 5864 NEW BEST:: SOT 51957 SOS 17049 HAS SOPS 17049 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9201.049
AT ITER 5889 NEW BEST:: SOT 51962 SOS 17048 HAS SOPS 17048 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9200.048
AT ITER 5898 NEW BEST:: SOT 51962 SOS 17070 HAS SOPS 17070 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9194.07
AT ITER 5911 NEW BEST:: SOT 51957 SOS 17068 HAS SOPS 17068 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9192.068
AT ITER 5921 NEW BEST:: SOT 51966 SOS 17086 HAS SOPS 17086 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9179.086
AT ITER 5927 NEW BEST:: SOT 51974 SOS 17072 HAS SOPS 17072 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9165.072
AT ITER 5945 NEW BEST:: SOT 51974 SOS 17043 HAS SOPS 17043 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9165.043
AT ITER 5977 NEW BEST:: SOT 51973 SOS 16997 HAS SOPS 16997 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9160.997
AT ITER 6031 NEW BEST:: SOT 51973 SOS 16994 HAS SOPS 16994 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9160.994
AT ITER 6032 NEW BEST:: SOT 51971 SOS 16994 HAS SOPS 16994 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9156.994
AT ITER 6051 NEW BEST:: SOT 51969 SOS 16992 HAS SOPS 16992 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9152.992
AT ITER 6096 NEW BEST:: SOT 51964 SOS 16982 HAS SOPS 16982 HAS SOUS 9133 HAS SOUPS 9133 WITH SCORE 9149.982
AT ITER 6122 NEW BEST:: SOT 51961 SOS 16976 HAS SOPS 16976 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9143.976
AT ITER 6150 NEW BEST:: SOT 51954 SOS 16969 HAS SOPS 16969 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9129.969
AT ITER 6181 NEW BEST:: SOT 51952 SOS 16947 HAS SOPS 16947 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9125.947
AT ITER 6194 NEW BEST:: SOT 51952 SOS 16940 HAS SOPS 16940 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9120.94
AT ITER 6263 NEW BEST:: SOT 51956 SOS 16948 HAS SOPS 16948 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9112.948
AT ITER 6279 NEW BEST:: SOT 51952 SOS 16944 HAS SOPS 16944 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9105.944
AT ITER 6352 NEW BEST:: SOT 51921 SOS 16913 HAS SOPS 16913 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9103.913
AT ITER 6363 NEW BEST:: SOT 51919 SOS 16909 HAS SOPS 16909 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9099.909
AT ITER 6391 NEW BEST:: SOT 51910 SOS 16900 HAS SOPS 16900 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9092.9
AT ITER 6400 NEW BEST:: SOT 51906 SOS 16900 HAS SOPS 16900 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9088.9
AT ITER 6407 NEW BEST:: SOT 51906 SOS 16900 HAS SOPS 16900 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9083.9
AT ITER 6419 NEW BEST:: SOT 51904 SOS 16894 HAS SOPS 16894 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9080.894
AT ITER 6441 NEW BEST:: SOT 51902 SOS 16892 HAS SOPS 16892 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9076.892
AT ITER 6499 NEW BEST:: SOT 51893 SOS 16883 HAS SOPS 16883 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9067.883
AT ITER 6541 NEW BEST:: SOT 51893 SOS 16870 HAS SOPS 16870 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9054.87
AT ITER 6549 NEW BEST:: SOT 51892 SOS 16868 HAS SOPS 16868 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9054.868
AT ITER 6557 NEW BEST:: SOT 51892 SOS 16861 HAS SOPS 16861 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9054.861
AT ITER 6583 NEW BEST:: SOT 51892 SOS 16859 HAS SOPS 16859 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9052.859
AT ITER 6600 NEW BEST:: SOT 51892 SOS 16849 HAS SOPS 16849 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9052.849
AT ITER 6664 NEW BEST:: SOT 51892 SOS 16844 HAS SOPS 16844 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9052.844
AT ITER 6702 NEW BEST:: SOT 51891 SOS 16843 HAS SOPS 16843 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9051.843
AT ITER 6720 NEW BEST:: SOT 51884 SOS 16815 HAS SOPS 16815 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9037.815
AT ITER 6775 NEW BEST:: SOT 51883 SOS 16813 HAS SOPS 16813 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9035.813
AT ITER 6785 NEW BEST:: SOT 51895 SOS 16806 HAS SOPS 16806 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9028.806
AT ITER 6824 NEW BEST:: SOT 51892 SOS 16800 HAS SOPS 16800 HAS SOUS 9006 HAS SOUPS 9006 WITH SCORE 9022.8
AT ITER 6849 NEW BEST:: SOT 51889 SOS 16794 HAS SOPS 16794 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8993.794
AT ITER 6893 NEW BEST:: SOT 51884 SOS 16789 HAS SOPS 16789 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8988.789
AT ITER 6933 NEW BEST:: SOT 51879 SOS 16787 HAS SOPS 16787 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8982.787
AT ITER 6934 NEW BEST:: SOT 51879 SOS 16780 HAS SOPS 16780 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8982.78
AT ITER 6951 NEW BEST:: SOT 51876 SOS 16777 HAS SOPS 16777 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8976.777
AT ITER 6975 NEW BEST:: SOT 51872 SOS 16775 HAS SOPS 16775 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8968.775
AT ITER 6997 NEW BEST:: SOT 51872 SOS 16766 HAS SOPS 16766 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8959.766
AT ITER 7006 NEW BEST:: SOT 51872 SOS 16766 HAS SOPS 16766 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8958.766
AT ITER 7051 NEW BEST:: SOT 51862 SOS 16746 HAS SOPS 16746 HAS SOUS 8922 HAS SOUPS 8922 WITH SCORE 8938.746
AT ITER 7092 NEW BEST:: SOT 51862 SOS 16746 HAS SOPS 16746 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8936.746
AT ITER 7101 NEW BEST:: SOT 51860 SOS 16744 HAS SOPS 16744 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8936.744
AT ITER 7109 NEW BEST:: SOT 51859 SOS 16742 HAS SOPS 16742 HAS SOUS 8918 HAS SOUPS 8918 WITH SCORE 8934.742
AT ITER 7114 NEW BEST:: SOT 51844 SOS 16722 HAS SOPS 16722 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8918.722
AT ITER 7149 NEW BEST:: SOT 51843 SOS 16720 HAS SOPS 16720 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8916.72
AT ITER 7153 NEW BEST:: SOT 51841 SOS 16716 HAS SOPS 16716 HAS SOUS 8896 HAS SOUPS 8896 WITH SCORE 8912.716
AT ITER 7190 NEW BEST:: SOT 51791 SOS 16695 HAS SOPS 16695 HAS SOUS 8896 HAS SOUPS 8896 WITH SCORE 8912.695
AT ITER 7231 NEW BEST:: SOT 51750 SOS 16613 HAS SOPS 16613 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8907.613
AT ITER 7234 NEW BEST:: SOT 51750 SOS 16612 HAS SOPS 16612 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8907.612
AT ITER 7241 NEW BEST:: SOT 51752 SOS 16614 HAS SOPS 16614 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8904.614
AT ITER 7262 NEW BEST:: SOT 51748 SOS 16606 HAS SOPS 16606 HAS SOUS 8884 HAS SOUPS 8884 WITH SCORE 8900.606
AT ITER 7293 NEW BEST:: SOT 51750 SOS 16608 HAS SOPS 16608 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8898.608
AT ITER 7360 NEW BEST:: SOT 51750 SOS 16608 HAS SOPS 16608 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8897.608
AT ITER 7406 NEW BEST:: SOT 51749 SOS 16606 HAS SOPS 16606 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8895.606
AT ITER 7418 NEW BEST:: SOT 51743 SOS 16594 HAS SOPS 16594 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8886.594
AT ITER 7426 NEW BEST:: SOT 51740 SOS 16588 HAS SOPS 16588 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8880.588
AT ITER 7449 NEW BEST:: SOT 51739 SOS 16587 HAS SOPS 16587 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8879.587
AT ITER 7453 NEW BEST:: SOT 51733 SOS 16575 HAS SOPS 16575 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8871.575
AT ITER 7487 NEW BEST:: SOT 51733 SOS 16574 HAS SOPS 16574 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8869.574
AT ITER 7503 NEW BEST:: SOT 51733 SOS 16549 HAS SOPS 16549 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8869.549
AT ITER 7561 NEW BEST:: SOT 51733 SOS 16532 HAS SOPS 16532 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8869.532
AT ITER 7563 NEW BEST:: SOT 51731 SOS 16532 HAS SOPS 16532 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8865.532
AT ITER 7569 NEW BEST:: SOT 51714 SOS 16525 HAS SOPS 16525 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8831.525
AT ITER 7595 NEW BEST:: SOT 51708 SOS 16513 HAS SOPS 16513 HAS SOUS 8803 HAS SOUPS 8803 WITH SCORE 8819.513
AT ITER 7597 NEW BEST:: SOT 51707 SOS 16511 HAS SOPS 16511 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8817.511
AT ITER 7653 NEW BEST:: SOT 51709 SOS 16513 HAS SOPS 16513 HAS SOUS 8794 HAS SOUPS 8794 WITH SCORE 8810.513
AT ITER 7661 NEW BEST:: SOT 51703 SOS 16501 HAS SOPS 16501 HAS SOUS 8782 HAS SOUPS 8782 WITH SCORE 8798.501
AT ITER 7674 NEW BEST:: SOT 51701 SOS 16502 HAS SOPS 16502 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8794.502
AT ITER 7678 NEW BEST:: SOT 51701 SOS 16492 HAS SOPS 16492 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8784.492
AT ITER 7686 NEW BEST:: SOT 51697 SOS 16488 HAS SOPS 16488 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8780.488
AT ITER 7688 NEW BEST:: SOT 51688 SOS 16478 HAS SOPS 16478 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8762.478
AT ITER 7720 NEW BEST:: SOT 51659 SOS 16470 HAS SOPS 16470 HAS SOUS 8738 HAS SOUPS 8738 WITH SCORE 8754.47
AT ITER 7731 NEW BEST:: SOT 51656 SOS 16462 HAS SOPS 16462 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8748.462
AT ITER 7738 NEW BEST:: SOT 51657 SOS 16453 HAS SOPS 16453 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8747.453
AT ITER 7740 NEW BEST:: SOT 51641 SOS 16421 HAS SOPS 16421 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8715.421
AT ITER 7759 NEW BEST:: SOT 51621 SOS 16404 HAS SOPS 16404 HAS SOUS 8682 HAS SOUPS 8682 WITH SCORE 8698.404
AT ITER 7768 NEW BEST:: SOT 51614 SOS 16390 HAS SOPS 16390 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8691.39
AT ITER 7809 NEW BEST:: SOT 51615 SOS 16392 HAS SOPS 16392 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8690.392
AT ITER 7811 NEW BEST:: SOT 51595 SOS 16352 HAS SOPS 16352 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8650.352
AT ITER 7835 NEW BEST:: SOT 51595 SOS 16349 HAS SOPS 16349 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8650.349
AT ITER 7838 NEW BEST:: SOT 51594 SOS 16344 HAS SOPS 16344 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8650.344
AT ITER 7908 NEW BEST:: SOT 51590 SOS 16336 HAS SOPS 16336 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8642.336
AT ITER 7980 NEW BEST:: SOT 51581 SOS 16324 HAS SOPS 16324 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8635.324
AT ITER 7984 NEW BEST:: SOT 51596 SOS 16273 HAS SOPS 16273 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8577.273
AT ITER 8034 NEW BEST:: SOT 51595 SOS 16271 HAS SOPS 16271 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8575.271
AT ITER 8035 NEW BEST:: SOT 51561 SOS 16186 HAS SOPS 16186 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8507.186
AT ITER 8043 NEW BEST:: SOT 51550 SOS 16177 HAS SOPS 16177 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8500.177
AT ITER 8079 NEW BEST:: SOT 51546 SOS 16175 HAS SOPS 16175 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8492.175
AT ITER 8117 NEW BEST:: SOT 51556 SOS 16176 HAS SOPS 16176 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8482.176
AT ITER 8133 NEW BEST:: SOT 51556 SOS 16171 HAS SOPS 16171 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8482.171
AT ITER 8192 NEW BEST:: SOT 51554 SOS 16150 HAS SOPS 16150 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8461.15
AT ITER 8235 NEW BEST:: SOT 51553 SOS 16148 HAS SOPS 16148 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8459.148
AT ITER 8261 NEW BEST:: SOT 51544 SOS 16134 HAS SOPS 16134 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8441.134
AT ITER 8300 NEW BEST:: SOT 51544 SOS 16134 HAS SOPS 16134 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8436.134
AT ITER 8305 NEW BEST:: SOT 51544 SOS 16134 HAS SOPS 16134 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8434.134
AT ITER 8360 NEW BEST:: SOT 51539 SOS 16107 HAS SOPS 16107 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8424.107
AT ITER 8419 NEW BEST:: SOT 51539 SOS 16106 HAS SOPS 16106 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8423.106
AT ITER 8436 NEW BEST:: SOT 51528 SOS 16098 HAS SOPS 16098 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8408.098
AT ITER 8452 NEW BEST:: SOT 51512 SOS 16082 HAS SOPS 16082 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8392.082
AT ITER 8489 NEW BEST:: SOT 51506 SOS 16090 HAS SOPS 16090 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8380.09
AT ITER 8524 NEW BEST:: SOT 51521 SOS 16085 HAS SOPS 16085 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8375.085
AT ITER 8585 NEW BEST:: SOT 51522 SOS 16087 HAS SOPS 16087 HAS SOUS 8353 HAS SOUPS 8353 WITH SCORE 8369.087
AT ITER 8609 NEW BEST:: SOT 51524 SOS 16091 HAS SOPS 16091 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8368.091
AT ITER 8703 NEW BEST:: SOT 51523 SOS 16091 HAS SOPS 16091 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8367.091
AT ITER 8732 NEW BEST:: SOT 51511 SOS 16069 HAS SOPS 16069 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8353.069
AT ITER 8769 NEW BEST:: SOT 51509 SOS 16065 HAS SOPS 16065 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8353.065
AT ITER 8807 NEW BEST:: SOT 51505 SOS 16057 HAS SOPS 16057 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8349.057
AT ITER 8873 NEW BEST:: SOT 51504 SOS 16056 HAS SOPS 16056 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8348.056
AT ITER 8893 NEW BEST:: SOT 51487 SOS 16039 HAS SOPS 16039 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8348.039
AT ITER 8995 NEW BEST:: SOT 51487 SOS 16039 HAS SOPS 16039 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8346.039
AT ITER 8999 NEW BEST:: SOT 51485 SOS 16035 HAS SOPS 16035 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8342.035
AT ITER 9084 NEW BEST:: SOT 51485 SOS 16037 HAS SOPS 16037 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8341.037
AT ITER 9109 NEW BEST:: SOT 51492 SOS 16036 HAS SOPS 16036 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8340.036
AT ITER 9140 NEW BEST:: SOT 51491 SOS 16036 HAS SOPS 16036 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8339.036
AT ITER 9205 NEW BEST:: SOT 51488 SOS 16030 HAS SOPS 16030 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8333.03
AT ITER 9226 NEW BEST:: SOT 51483 SOS 15969 HAS SOPS 15969 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8322.969
AT ITER 9243 NEW BEST:: SOT 51482 SOS 15967 HAS SOPS 15967 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8320.967
AT ITER 9286 NEW BEST:: SOT 51478 SOS 15959 HAS SOPS 15959 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8312.959
AT ITER 9309 NEW BEST:: SOT 51467 SOS 15934 HAS SOPS 15934 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8290.934
AT ITER 9328 NEW BEST:: SOT 51457 SOS 15926 HAS SOPS 15926 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8282.926
AT ITER 9329 NEW BEST:: SOT 51441 SOS 15890 HAS SOPS 15890 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8243.89
AT ITER 9349 NEW BEST:: SOT 51438 SOS 15911 HAS SOPS 15911 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8237.911
AT ITER 9391 NEW BEST:: SOT 51433 SOS 15907 HAS SOPS 15907 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8230.907
AT ITER 9394 NEW BEST:: SOT 51427 SOS 15895 HAS SOPS 15895 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8221.895
AT ITER 9425 NEW BEST:: SOT 51418 SOS 15876 HAS SOPS 15876 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8203.876
AT ITER 9521 NEW BEST:: SOT 51416 SOS 15856 HAS SOPS 15856 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8199.856
AT ITER 9573 NEW BEST:: SOT 51418 SOS 15878 HAS SOPS 15878 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8198.878
AT ITER 9635 NEW BEST:: SOT 51418 SOS 15876 HAS SOPS 15876 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8198.876
AT ITER 9672 NEW BEST:: SOT 51407 SOS 15865 HAS SOPS 15865 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8187.865
AT ITER 9692 NEW BEST:: SOT 51396 SOS 15843 HAS SOPS 15843 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8176.843
AT ITER 9698 NEW BEST:: SOT 51387 SOS 15835 HAS SOPS 15835 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8169.835
AT ITER 9856 NEW BEST:: SOT 51384 SOS 15832 HAS SOPS 15832 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8166.832
AT ITER 9965 NEW BEST:: SOT 51368 SOS 15816 HAS SOPS 15816 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8153.816
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7529104 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150412 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DiscoveryGPU-PT-10b"
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 DiscoveryGPU-PT-10b, 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 r131-smll-167819407400360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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