fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469000140
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldIIPs-PT-020A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.820 3600000.00 3600039.00 0.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 '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469000140.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPs-PT-020A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000140
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 332K
-rw-r--r-- 1 mcc users 3.3K May 14 00:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 00:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 17:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 13:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 169K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-00
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-01
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-02
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-03
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-04
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-05
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-06
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-07
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-08
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-09
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-10
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-11
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-12
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-13
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-14
FORMULA_NAME ShieldIIPs-PT-020A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590435537000

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 020A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 503 places, 483 transitions, 2166 arcs.
AT ITER 0 NEW BEST:: SOT 165422 SOS 127919 HAS SOPS 127919 HAS SOUS 108019 HAS SOUPS 108019 WITH SCORE 108146.919
AT ITER 2 NEW BEST:: SOT 165340 SOS 127873 HAS SOPS 127873 HAS SOUS 107973 HAS SOUPS 107973 WITH SCORE 108100.873
AT ITER 3 NEW BEST:: SOT 165740 SOS 127853 HAS SOPS 127853 HAS SOUS 107956 HAS SOUPS 107956 WITH SCORE 108083.853
AT ITER 5 NEW BEST:: SOT 165714 SOS 127827 HAS SOPS 127827 HAS SOUS 107930 HAS SOUPS 107930 WITH SCORE 108057.827
AT ITER 6 NEW BEST:: SOT 165645 SOS 127804 HAS SOPS 127804 HAS SOUS 107907 HAS SOUPS 107907 WITH SCORE 108034.804
AT ITER 7 NEW BEST:: SOT 165414 SOS 127773 HAS SOPS 127773 HAS SOUS 107876 HAS SOUPS 107876 WITH SCORE 108003.773
AT ITER 12 NEW BEST:: SOT 165333 SOS 127692 HAS SOPS 127692 HAS SOUS 107795 HAS SOUPS 107795 WITH SCORE 107922.692
AT ITER 13 NEW BEST:: SOT 165205 SOS 127564 HAS SOPS 127564 HAS SOUS 107667 HAS SOUPS 107667 WITH SCORE 107794.564
AT ITER 17 NEW BEST:: SOT 165060 SOS 127498 HAS SOPS 127498 HAS SOUS 107630 HAS SOUPS 107630 WITH SCORE 107757.498
AT ITER 22 NEW BEST:: SOT 165016 SOS 127278 HAS SOPS 127278 HAS SOUS 107629 HAS SOUPS 107629 WITH SCORE 107756.278
AT ITER 24 NEW BEST:: SOT 165016 SOS 127208 HAS SOPS 127208 HAS SOUS 107623 HAS SOUPS 107623 WITH SCORE 107750.208
AT ITER 31 NEW BEST:: SOT 164969 SOS 126911 HAS SOPS 126911 HAS SOUS 107566 HAS SOUPS 107566 WITH SCORE 107692.911
AT ITER 34 NEW BEST:: SOT 164831 SOS 126771 HAS SOPS 126771 HAS SOUS 107426 HAS SOUPS 107426 WITH SCORE 107552.771
AT ITER 44 NEW BEST:: SOT 164830 SOS 126768 HAS SOPS 126768 HAS SOUS 107423 HAS SOUPS 107423 WITH SCORE 107549.768
AT ITER 46 NEW BEST:: SOT 164642 SOS 126580 HAS SOPS 126580 HAS SOUS 107235 HAS SOUPS 107235 WITH SCORE 107361.58
AT ITER 56 NEW BEST:: SOT 164917 SOS 126312 HAS SOPS 126312 HAS SOUS 107034 HAS SOUPS 107034 WITH SCORE 107160.312
AT ITER 61 NEW BEST:: SOT 164647 SOS 125961 HAS SOPS 125961 HAS SOUS 106683 HAS SOUPS 106683 WITH SCORE 106808.961
AT ITER 64 NEW BEST:: SOT 164407 SOS 125721 HAS SOPS 125721 HAS SOUS 106443 HAS SOUPS 106443 WITH SCORE 106568.721
AT ITER 66 NEW BEST:: SOT 164380 SOS 125692 HAS SOPS 125692 HAS SOUS 106414 HAS SOUPS 106414 WITH SCORE 106539.692
AT ITER 80 NEW BEST:: SOT 164258 SOS 125570 HAS SOPS 125570 HAS SOUS 106292 HAS SOUPS 106292 WITH SCORE 106417.57
AT ITER 90 NEW BEST:: SOT 164191 SOS 125503 HAS SOPS 125503 HAS SOUS 106225 HAS SOUPS 106225 WITH SCORE 106350.503
AT ITER 98 NEW BEST:: SOT 163898 SOS 125210 HAS SOPS 125210 HAS SOUS 105932 HAS SOUPS 105932 WITH SCORE 106057.21
AT ITER 101 NEW BEST:: SOT 163853 SOS 125028 HAS SOPS 125028 HAS SOUS 105846 HAS SOUPS 105846 WITH SCORE 105971.028
AT ITER 102 NEW BEST:: SOT 163803 SOS 124977 HAS SOPS 124977 HAS SOUS 105795 HAS SOUPS 105795 WITH SCORE 105919.977
AT ITER 105 NEW BEST:: SOT 163801 SOS 124975 HAS SOPS 124975 HAS SOUS 105793 HAS SOUPS 105793 WITH SCORE 105917.975
AT ITER 106 NEW BEST:: SOT 163881 SOS 124783 HAS SOPS 124783 HAS SOUS 105786 HAS SOUPS 105786 WITH SCORE 105910.783
AT ITER 111 NEW BEST:: SOT 163851 SOS 124576 HAS SOPS 124576 HAS SOUS 105748 HAS SOUPS 105748 WITH SCORE 105872.576
AT ITER 119 NEW BEST:: SOT 164214 SOS 124433 HAS SOPS 124433 HAS SOUS 105730 HAS SOUPS 105730 WITH SCORE 105854.433
AT ITER 125 NEW BEST:: SOT 164211 SOS 124428 HAS SOPS 124428 HAS SOUS 105725 HAS SOUPS 105725 WITH SCORE 105849.428
AT ITER 126 NEW BEST:: SOT 164022 SOS 124235 HAS SOPS 124235 HAS SOUS 105531 HAS SOUPS 105531 WITH SCORE 105655.235
AT ITER 129 NEW BEST:: SOT 163895 SOS 124075 HAS SOPS 124075 HAS SOUS 105516 HAS SOUPS 105516 WITH SCORE 105640.075
AT ITER 132 NEW BEST:: SOT 163865 SOS 123925 HAS SOPS 123925 HAS SOUS 105516 HAS SOUPS 105516 WITH SCORE 105639.925
AT ITER 156 NEW BEST:: SOT 163829 SOS 123889 HAS SOPS 123889 HAS SOUS 105480 HAS SOUPS 105480 WITH SCORE 105603.889
AT ITER 161 NEW BEST:: SOT 163822 SOS 123882 HAS SOPS 123882 HAS SOUS 105472 HAS SOUPS 105472 WITH SCORE 105595.882
AT ITER 164 NEW BEST:: SOT 163804 SOS 123846 HAS SOPS 123846 HAS SOUS 105453 HAS SOUPS 105453 WITH SCORE 105576.846
AT ITER 167 NEW BEST:: SOT 163959 SOS 123854 HAS SOPS 123854 HAS SOUS 105415 HAS SOUPS 105415 WITH SCORE 105538.854
AT ITER 168 NEW BEST:: SOT 164336 SOS 123694 HAS SOPS 123694 HAS SOUS 105409 HAS SOUPS 105409 WITH SCORE 105532.694
AT ITER 169 NEW BEST:: SOT 164336 SOS 123667 HAS SOPS 123667 HAS SOUS 105409 HAS SOUPS 105409 WITH SCORE 105532.667
AT ITER 176 NEW BEST:: SOT 164438 SOS 122925 HAS SOPS 122925 HAS SOUS 105096 HAS SOUPS 105096 WITH SCORE 105218.925
AT ITER 182 NEW BEST:: SOT 164242 SOS 122729 HAS SOPS 122729 HAS SOUS 104900 HAS SOUPS 104900 WITH SCORE 105022.729
AT ITER 187 NEW BEST:: SOT 163986 SOS 122542 HAS SOPS 122542 HAS SOUS 104713 HAS SOUPS 104713 WITH SCORE 104835.542
AT ITER 188 NEW BEST:: SOT 163640 SOS 122009 HAS SOPS 122009 HAS SOUS 104099 HAS SOUPS 104099 WITH SCORE 104221.009
AT ITER 190 NEW BEST:: SOT 163531 SOS 121491 HAS SOPS 121491 HAS SOUS 103810 HAS SOUPS 103810 WITH SCORE 103931.491
AT ITER 198 NEW BEST:: SOT 163531 SOS 121602 HAS SOPS 121602 HAS SOUS 103717 HAS SOUPS 103717 WITH SCORE 103838.602
AT ITER 200 NEW BEST:: SOT 163573 SOS 121563 HAS SOPS 121563 HAS SOUS 103678 HAS SOUPS 103678 WITH SCORE 103799.563
AT ITER 213 NEW BEST:: SOT 163494 SOS 121484 HAS SOPS 121484 HAS SOUS 103599 HAS SOUPS 103599 WITH SCORE 103720.484
AT ITER 219 NEW BEST:: SOT 163253 SOS 121243 HAS SOPS 121243 HAS SOUS 103358 HAS SOUPS 103358 WITH SCORE 103479.243
AT ITER 220 NEW BEST:: SOT 163252 SOS 121242 HAS SOPS 121242 HAS SOUS 103357 HAS SOUPS 103357 WITH SCORE 103478.242
AT ITER 222 NEW BEST:: SOT 163346 SOS 120671 HAS SOPS 120671 HAS SOUS 103136 HAS SOUPS 103136 WITH SCORE 103256.671
AT ITER 223 NEW BEST:: SOT 163342 SOS 120656 HAS SOPS 120656 HAS SOUS 103131 HAS SOUPS 103131 WITH SCORE 103251.656
AT ITER 234 NEW BEST:: SOT 163328 SOS 120617 HAS SOPS 120617 HAS SOUS 103092 HAS SOUPS 103092 WITH SCORE 103212.617
AT ITER 235 NEW BEST:: SOT 163450 SOS 120728 HAS SOPS 120728 HAS SOUS 102319 HAS SOUPS 102319 WITH SCORE 102439.728
AT ITER 236 NEW BEST:: SOT 163124 SOS 120107 HAS SOPS 120107 HAS SOUS 101698 HAS SOUPS 101698 WITH SCORE 101818.107
AT ITER 237 NEW BEST:: SOT 163124 SOS 120125 HAS SOPS 120125 HAS SOUS 101596 HAS SOUPS 101596 WITH SCORE 101716.125
AT ITER 238 NEW BEST:: SOT 163100 SOS 120098 HAS SOPS 120098 HAS SOUS 101569 HAS SOUPS 101569 WITH SCORE 101689.098
AT ITER 242 NEW BEST:: SOT 163315 SOS 119722 HAS SOPS 119722 HAS SOUS 101441 HAS SOUPS 101441 WITH SCORE 101560.722
AT ITER 249 NEW BEST:: SOT 163236 SOS 119205 HAS SOPS 119205 HAS SOUS 101341 HAS SOUPS 101341 WITH SCORE 101460.205
AT ITER 251 NEW BEST:: SOT 163178 SOS 119089 HAS SOPS 119089 HAS SOUS 101341 HAS SOUPS 101341 WITH SCORE 101460.089
AT ITER 257 NEW BEST:: SOT 163162 SOS 119071 HAS SOPS 119071 HAS SOUS 101323 HAS SOUPS 101323 WITH SCORE 101442.071
AT ITER 260 NEW BEST:: SOT 163162 SOS 119016 HAS SOPS 119016 HAS SOUS 101268 HAS SOUPS 101268 WITH SCORE 101387.016
AT ITER 261 NEW BEST:: SOT 163057 SOS 118909 HAS SOPS 118909 HAS SOUS 101160 HAS SOUPS 101160 WITH SCORE 101278.909
AT ITER 262 NEW BEST:: SOT 162976 SOS 118828 HAS SOPS 118828 HAS SOUS 101078 HAS SOUPS 101078 WITH SCORE 101196.828
AT ITER 263 NEW BEST:: SOT 162909 SOS 118599 HAS SOPS 118599 HAS SOUS 100977 HAS SOUPS 100977 WITH SCORE 101095.599
AT ITER 266 NEW BEST:: SOT 162887 SOS 118577 HAS SOPS 118577 HAS SOUS 100955 HAS SOUPS 100955 WITH SCORE 101073.577
AT ITER 268 NEW BEST:: SOT 162862 SOS 118452 HAS SOPS 118452 HAS SOUS 100954 HAS SOUPS 100954 WITH SCORE 101072.452
AT ITER 275 NEW BEST:: SOT 162860 SOS 118450 HAS SOPS 118450 HAS SOUS 100952 HAS SOUPS 100952 WITH SCORE 101070.45
AT ITER 285 NEW BEST:: SOT 162857 SOS 118447 HAS SOPS 118447 HAS SOUS 100949 HAS SOUPS 100949 WITH SCORE 101067.447
AT ITER 286 NEW BEST:: SOT 162857 SOS 118252 HAS SOPS 118252 HAS SOUS 100898 HAS SOUPS 100898 WITH SCORE 101016.252
AT ITER 287 NEW BEST:: SOT 162703 SOS 118110 HAS SOPS 118110 HAS SOUS 100576 HAS SOUPS 100576 WITH SCORE 100694.11
AT ITER 288 NEW BEST:: SOT 162658 SOS 118065 HAS SOPS 118065 HAS SOUS 100531 HAS SOUPS 100531 WITH SCORE 100649.065
AT ITER 296 NEW BEST:: SOT 162856 SOS 117971 HAS SOPS 117971 HAS SOUS 100272 HAS SOUPS 100272 WITH SCORE 100389.971
AT ITER 297 NEW BEST:: SOT 162213 SOS 117365 HAS SOPS 117365 HAS SOUS 99642 HAS SOUPS 99642 WITH SCORE 99759.365
AT ITER 298 NEW BEST:: SOT 162213 SOS 117293 HAS SOPS 117293 HAS SOUS 99570 HAS SOUPS 99570 WITH SCORE 99687.293
AT ITER 302 NEW BEST:: SOT 162213 SOS 117271 HAS SOPS 117271 HAS SOUS 99548 HAS SOUPS 99548 WITH SCORE 99665.271
AT ITER 307 NEW BEST:: SOT 162141 SOS 117161 HAS SOPS 117161 HAS SOUS 99438 HAS SOUPS 99438 WITH SCORE 99555.161
AT ITER 319 NEW BEST:: SOT 161694 SOS 116724 HAS SOPS 116724 HAS SOUS 98992 HAS SOUPS 98992 WITH SCORE 99108.724
AT ITER 320 NEW BEST:: SOT 161671 SOS 116745 HAS SOPS 116745 HAS SOUS 98945 HAS SOUPS 98945 WITH SCORE 99061.745
AT ITER 327 NEW BEST:: SOT 161229 SOS 116301 HAS SOPS 116301 HAS SOUS 98471 HAS SOUPS 98471 WITH SCORE 98587.301
AT ITER 329 NEW BEST:: SOT 161133 SOS 116222 HAS SOPS 116222 HAS SOUS 98409 HAS SOUPS 98409 WITH SCORE 98525.222
AT ITER 331 NEW BEST:: SOT 161143 SOS 116193 HAS SOPS 116193 HAS SOUS 98380 HAS SOUPS 98380 WITH SCORE 98496.193
AT ITER 340 NEW BEST:: SOT 161079 SOS 115349 HAS SOPS 115349 HAS SOUS 98145 HAS SOUPS 98145 WITH SCORE 98260.349
AT ITER 341 NEW BEST:: SOT 160983 SOS 115253 HAS SOPS 115253 HAS SOUS 98049 HAS SOUPS 98049 WITH SCORE 98164.253
AT ITER 343 NEW BEST:: SOT 161070 SOS 114969 HAS SOPS 114969 HAS SOUS 97976 HAS SOUPS 97976 WITH SCORE 98090.969
AT ITER 348 NEW BEST:: SOT 161153 SOS 115052 HAS SOPS 115052 HAS SOUS 97975 HAS SOUPS 97975 WITH SCORE 98090.052
AT ITER 349 NEW BEST:: SOT 161135 SOS 115034 HAS SOPS 115034 HAS SOUS 97966 HAS SOUPS 97966 WITH SCORE 98081.034
AT ITER 350 NEW BEST:: SOT 161135 SOS 115034 HAS SOPS 115034 HAS SOUS 97826 HAS SOUPS 97826 WITH SCORE 97941.034
AT ITER 356 NEW BEST:: SOT 161066 SOS 114965 HAS SOPS 114965 HAS SOUS 97757 HAS SOUPS 97757 WITH SCORE 97871.965
AT ITER 366 NEW BEST:: SOT 161043 SOS 114941 HAS SOPS 114941 HAS SOUS 97733 HAS SOUPS 97733 WITH SCORE 97847.941
AT ITER 368 NEW BEST:: SOT 160976 SOS 114558 HAS SOPS 114558 HAS SOUS 97576 HAS SOUPS 97576 WITH SCORE 97690.558
AT ITER 374 NEW BEST:: SOT 160976 SOS 114182 HAS SOPS 114182 HAS SOUS 97566 HAS SOUPS 97566 WITH SCORE 97680.182
AT ITER 375 NEW BEST:: SOT 160970 SOS 114174 HAS SOPS 114174 HAS SOUS 97558 HAS SOUPS 97558 WITH SCORE 97672.174
AT ITER 383 NEW BEST:: SOT 161224 SOS 113732 HAS SOPS 113732 HAS SOUS 97341 HAS SOUPS 97341 WITH SCORE 97454.732
AT ITER 385 NEW BEST:: SOT 161106 SOS 113385 HAS SOPS 113385 HAS SOUS 96978 HAS SOUPS 96978 WITH SCORE 97091.385
AT ITER 391 NEW BEST:: SOT 160966 SOS 113234 HAS SOPS 113234 HAS SOUS 96827 HAS SOUPS 96827 WITH SCORE 96940.234
AT ITER 397 NEW BEST:: SOT 160933 SOS 113168 HAS SOPS 113168 HAS SOUS 96761 HAS SOUPS 96761 WITH SCORE 96874.168
AT ITER 408 NEW BEST:: SOT 160735 SOS 112970 HAS SOPS 112970 HAS SOUS 96493 HAS SOUPS 96493 WITH SCORE 96605.97
AT ITER 409 NEW BEST:: SOT 160687 SOS 112970 HAS SOPS 112970 HAS SOUS 96445 HAS SOUPS 96445 WITH SCORE 96557.97
AT ITER 412 NEW BEST:: SOT 160536 SOS 112819 HAS SOPS 112819 HAS SOUS 96294 HAS SOUPS 96294 WITH SCORE 96406.819
AT ITER 420 NEW BEST:: SOT 160496 SOS 112779 HAS SOPS 112779 HAS SOUS 96254 HAS SOUPS 96254 WITH SCORE 96366.779
AT ITER 422 NEW BEST:: SOT 160496 SOS 112778 HAS SOPS 112778 HAS SOUS 96254 HAS SOUPS 96254 WITH SCORE 96366.778
AT ITER 424 NEW BEST:: SOT 160454 SOS 112734 HAS SOPS 112734 HAS SOUS 96210 HAS SOUPS 96210 WITH SCORE 96322.734
AT ITER 429 NEW BEST:: SOT 160428 SOS 112708 HAS SOPS 112708 HAS SOUS 96184 HAS SOUPS 96184 WITH SCORE 96296.708
AT ITER 430 NEW BEST:: SOT 160438 SOS 112718 HAS SOPS 112718 HAS SOUS 96183 HAS SOUPS 96183 WITH SCORE 96295.718
AT ITER 432 NEW BEST:: SOT 160450 SOS 112730 HAS SOPS 112730 HAS SOUS 96165 HAS SOUPS 96165 WITH SCORE 96277.73
AT ITER 433 NEW BEST:: SOT 160355 SOS 112633 HAS SOPS 112633 HAS SOUS 96068 HAS SOUPS 96068 WITH SCORE 96180.633
AT ITER 439 NEW BEST:: SOT 160323 SOS 112601 HAS SOPS 112601 HAS SOUS 96027 HAS SOUPS 96027 WITH SCORE 96139.601
AT ITER 446 NEW BEST:: SOT 160195 SOS 112167 HAS SOPS 112167 HAS SOUS 95743 HAS SOUPS 95743 WITH SCORE 95855.167
AT ITER 449 NEW BEST:: SOT 160055 SOS 112023 HAS SOPS 112023 HAS SOUS 95599 HAS SOUPS 95599 WITH SCORE 95711.023
AT ITER 454 NEW BEST:: SOT 159811 SOS 111656 HAS SOPS 111656 HAS SOUS 95232 HAS SOUPS 95232 WITH SCORE 95343.656
AT ITER 462 NEW BEST:: SOT 159825 SOS 111553 HAS SOPS 111553 HAS SOUS 95129 HAS SOUPS 95129 WITH SCORE 95240.553
AT ITER 465 NEW BEST:: SOT 159786 SOS 111452 HAS SOPS 111452 HAS SOUS 95113 HAS SOUPS 95113 WITH SCORE 95224.452
AT ITER 472 NEW BEST:: SOT 159427 SOS 111099 HAS SOPS 111099 HAS SOUS 94760 HAS SOUPS 94760 WITH SCORE 94871.099
AT ITER 478 NEW BEST:: SOT 159407 SOS 111079 HAS SOPS 111079 HAS SOUS 94749 HAS SOUPS 94749 WITH SCORE 94860.079
AT ITER 480 NEW BEST:: SOT 159386 SOS 111024 HAS SOPS 111024 HAS SOUS 94694 HAS SOUPS 94694 WITH SCORE 94805.024
AT ITER 481 NEW BEST:: SOT 159309 SOS 110945 HAS SOPS 110945 HAS SOUS 94385 HAS SOUPS 94385 WITH SCORE 94495.945
AT ITER 484 NEW BEST:: SOT 159248 SOS 110882 HAS SOPS 110882 HAS SOUS 94322 HAS SOUPS 94322 WITH SCORE 94432.882
AT ITER 488 NEW BEST:: SOT 159222 SOS 110726 HAS SOPS 110726 HAS SOUS 94166 HAS SOUPS 94166 WITH SCORE 94276.726
AT ITER 496 NEW BEST:: SOT 159227 SOS 110658 HAS SOPS 110658 HAS SOUS 94097 HAS SOUPS 94097 WITH SCORE 94207.658
AT ITER 498 NEW BEST:: SOT 159227 SOS 110431 HAS SOPS 110431 HAS SOUS 93937 HAS SOUPS 93937 WITH SCORE 94047.431
AT ITER 508 NEW BEST:: SOT 159235 SOS 110423 HAS SOPS 110423 HAS SOUS 93921 HAS SOUPS 93921 WITH SCORE 94031.423
AT ITER 511 NEW BEST:: SOT 159163 SOS 110371 HAS SOPS 110371 HAS SOUS 93869 HAS SOUPS 93869 WITH SCORE 93979.371
AT ITER 512 NEW BEST:: SOT 159053 SOS 110318 HAS SOPS 110318 HAS SOUS 93816 HAS SOUPS 93816 WITH SCORE 93926.318
AT ITER 515 NEW BEST:: SOT 158956 SOS 110221 HAS SOPS 110221 HAS SOUS 93719 HAS SOUPS 93719 WITH SCORE 93829.221
AT ITER 524 NEW BEST:: SOT 158954 SOS 110217 HAS SOPS 110217 HAS SOUS 93715 HAS SOUPS 93715 WITH SCORE 93825.217
AT ITER 535 NEW BEST:: SOT 158930 SOS 110169 HAS SOPS 110169 HAS SOUS 93678 HAS SOUPS 93678 WITH SCORE 93788.169
AT ITER 542 NEW BEST:: SOT 158948 SOS 110187 HAS SOPS 110187 HAS SOUS 93612 HAS SOUPS 93612 WITH SCORE 93722.187
AT ITER 546 NEW BEST:: SOT 158801 SOS 109915 HAS SOPS 109915 HAS SOUS 93340 HAS SOUPS 93340 WITH SCORE 93449.915
AT ITER 551 NEW BEST:: SOT 158709 SOS 109823 HAS SOPS 109823 HAS SOUS 93248 HAS SOUPS 93248 WITH SCORE 93357.823
AT ITER 553 NEW BEST:: SOT 158757 SOS 109756 HAS SOPS 109756 HAS SOUS 93173 HAS SOUPS 93173 WITH SCORE 93282.756
AT ITER 557 NEW BEST:: SOT 158668 SOS 109405 HAS SOPS 109405 HAS SOUS 93147 HAS SOUPS 93147 WITH SCORE 93256.405
AT ITER 560 NEW BEST:: SOT 158683 SOS 109410 HAS SOPS 109410 HAS SOUS 93122 HAS SOUPS 93122 WITH SCORE 93231.41
AT ITER 564 NEW BEST:: SOT 158683 SOS 109237 HAS SOPS 109237 HAS SOUS 93063 HAS SOUPS 93063 WITH SCORE 93172.237
AT ITER 565 NEW BEST:: SOT 158683 SOS 109206 HAS SOPS 109206 HAS SOUS 93062 HAS SOUPS 93062 WITH SCORE 93171.206
AT ITER 570 NEW BEST:: SOT 158640 SOS 109163 HAS SOPS 109163 HAS SOUS 93019 HAS SOUPS 93019 WITH SCORE 93128.163
AT ITER 575 NEW BEST:: SOT 158368 SOS 108891 HAS SOPS 108891 HAS SOUS 92747 HAS SOUPS 92747 WITH SCORE 92855.891
AT ITER 588 NEW BEST:: SOT 158367 SOS 108910 HAS SOPS 108910 HAS SOUS 92623 HAS SOUPS 92623 WITH SCORE 92731.91
AT ITER 591 NEW BEST:: SOT 158417 SOS 108951 HAS SOPS 108951 HAS SOUS 92569 HAS SOUPS 92569 WITH SCORE 92677.951
AT ITER 592 NEW BEST:: SOT 158499 SOS 109033 HAS SOPS 109033 HAS SOUS 92568 HAS SOUPS 92568 WITH SCORE 92677.033
AT ITER 595 NEW BEST:: SOT 158520 SOS 109005 HAS SOPS 109005 HAS SOUS 92505 HAS SOUPS 92505 WITH SCORE 92614.005
AT ITER 596 NEW BEST:: SOT 158376 SOS 108861 HAS SOPS 108861 HAS SOUS 92288 HAS SOUPS 92288 WITH SCORE 92396.861
AT ITER 597 NEW BEST:: SOT 158376 SOS 108860 HAS SOPS 108860 HAS SOUS 92287 HAS SOUPS 92287 WITH SCORE 92395.86
AT ITER 598 NEW BEST:: SOT 158356 SOS 108840 HAS SOPS 108840 HAS SOUS 92177 HAS SOUPS 92177 WITH SCORE 92285.84
AT ITER 604 NEW BEST:: SOT 158144 SOS 108628 HAS SOPS 108628 HAS SOUS 91965 HAS SOUPS 91965 WITH SCORE 92073.628
AT ITER 610 NEW BEST:: SOT 158142 SOS 108626 HAS SOPS 108626 HAS SOUS 91963 HAS SOUPS 91963 WITH SCORE 92071.626
AT ITER 614 NEW BEST:: SOT 158140 SOS 108624 HAS SOPS 108624 HAS SOUS 91961 HAS SOUPS 91961 WITH SCORE 92069.624
AT ITER 616 NEW BEST:: SOT 158106 SOS 108590 HAS SOPS 108590 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92035.59
AT ITER 620 NEW BEST:: SOT 158106 SOS 108576 HAS SOPS 108576 HAS SOUS 91913 HAS SOUPS 91913 WITH SCORE 92021.576
AT ITER 625 NEW BEST:: SOT 158076 SOS 108546 HAS SOPS 108546 HAS SOUS 91883 HAS SOUPS 91883 WITH SCORE 91991.546
AT ITER 626 NEW BEST:: SOT 157979 SOS 108361 HAS SOPS 108361 HAS SOUS 91703 HAS SOUPS 91703 WITH SCORE 91811.361
AT ITER 631 NEW BEST:: SOT 157933 SOS 108061 HAS SOPS 108061 HAS SOUS 91558 HAS SOUPS 91558 WITH SCORE 91666.061
AT ITER 633 NEW BEST:: SOT 157753 SOS 108036 HAS SOPS 108036 HAS SOUS 91491 HAS SOUPS 91491 WITH SCORE 91599.036
AT ITER 635 NEW BEST:: SOT 157738 SOS 107991 HAS SOPS 107991 HAS SOUS 91465 HAS SOUPS 91465 WITH SCORE 91572.991
AT ITER 637 NEW BEST:: SOT 157586 SOS 107870 HAS SOPS 107870 HAS SOUS 91344 HAS SOUPS 91344 WITH SCORE 91451.87
AT ITER 641 NEW BEST:: SOT 157603 SOS 107858 HAS SOPS 107858 HAS SOUS 91097 HAS SOUPS 91097 WITH SCORE 91204.858
AT ITER 647 NEW BEST:: SOT 157764 SOS 107826 HAS SOPS 107826 HAS SOUS 90732 HAS SOUPS 90732 WITH SCORE 90839.826
AT ITER 648 NEW BEST:: SOT 157770 SOS 107796 HAS SOPS 107796 HAS SOUS 90696 HAS SOUPS 90696 WITH SCORE 90803.796
AT ITER 649 NEW BEST:: SOT 157771 SOS 107774 HAS SOPS 107774 HAS SOUS 90632 HAS SOUPS 90632 WITH SCORE 90739.774
AT ITER 652 NEW BEST:: SOT 157744 SOS 107759 HAS SOPS 107759 HAS SOUS 90629 HAS SOUPS 90629 WITH SCORE 90736.759
AT ITER 658 NEW BEST:: SOT 157679 SOS 107694 HAS SOPS 107694 HAS SOUS 90564 HAS SOUPS 90564 WITH SCORE 90671.694
AT ITER 665 NEW BEST:: SOT 157746 SOS 107702 HAS SOPS 107702 HAS SOUS 90474 HAS SOUPS 90474 WITH SCORE 90581.702
AT ITER 666 NEW BEST:: SOT 157695 SOS 107697 HAS SOPS 107697 HAS SOUS 90473 HAS SOUPS 90473 WITH SCORE 90580.697
AT ITER 671 NEW BEST:: SOT 157698 SOS 107448 HAS SOPS 107448 HAS SOUS 90473 HAS SOUPS 90473 WITH SCORE 90580.448
AT ITER 672 NEW BEST:: SOT 157721 SOS 107447 HAS SOPS 107447 HAS SOUS 90472 HAS SOUPS 90472 WITH SCORE 90579.447
AT ITER 674 NEW BEST:: SOT 157630 SOS 107415 HAS SOPS 107415 HAS SOUS 90440 HAS SOUPS 90440 WITH SCORE 90547.415
AT ITER 678 NEW BEST:: SOT 157750 SOS 107537 HAS SOPS 107537 HAS SOUS 90376 HAS SOUPS 90376 WITH SCORE 90483.537
AT ITER 686 NEW BEST:: SOT 157750 SOS 107537 HAS SOPS 107537 HAS SOUS 90220 HAS SOUPS 90220 WITH SCORE 90327.537
AT ITER 687 NEW BEST:: SOT 157710 SOS 107275 HAS SOPS 107275 HAS SOUS 90138 HAS SOUPS 90138 WITH SCORE 90245.275
AT ITER 692 NEW BEST:: SOT 157801 SOS 107082 HAS SOPS 107082 HAS SOUS 89819 HAS SOUPS 89819 WITH SCORE 89926.082
AT ITER 695 NEW BEST:: SOT 157760 SOS 106927 HAS SOPS 106927 HAS SOUS 89785 HAS SOUPS 89785 WITH SCORE 89891.927
AT ITER 699 NEW BEST:: SOT 157760 SOS 106898 HAS SOPS 106898 HAS SOUS 89758 HAS SOUPS 89758 WITH SCORE 89864.898
AT ITER 709 NEW BEST:: SOT 157590 SOS 106860 HAS SOPS 106860 HAS SOUS 89483 HAS SOUPS 89483 WITH SCORE 89589.86
AT ITER 712 NEW BEST:: SOT 157580 SOS 106850 HAS SOPS 106850 HAS SOUS 89473 HAS SOUPS 89473 WITH SCORE 89579.85
AT ITER 714 NEW BEST:: SOT 157514 SOS 106633 HAS SOPS 106633 HAS SOUS 89320 HAS SOUPS 89320 WITH SCORE 89426.633
AT ITER 725 NEW BEST:: SOT 157479 SOS 106470 HAS SOPS 106470 HAS SOUS 89192 HAS SOUPS 89192 WITH SCORE 89298.47
AT ITER 726 NEW BEST:: SOT 157482 SOS 106242 HAS SOPS 106242 HAS SOUS 88433 HAS SOUPS 88433 WITH SCORE 88539.242
AT ITER 727 NEW BEST:: SOT 157483 SOS 106556 HAS SOPS 106556 HAS SOUS 88432 HAS SOUPS 88432 WITH SCORE 88538.556
AT ITER 736 NEW BEST:: SOT 157310 SOS 106282 HAS SOPS 106282 HAS SOUS 88376 HAS SOUPS 88376 WITH SCORE 88482.282
AT ITER 740 NEW BEST:: SOT 157295 SOS 106105 HAS SOPS 106105 HAS SOUS 88307 HAS SOUPS 88307 WITH SCORE 88413.105
AT ITER 743 NEW BEST:: SOT 157215 SOS 106103 HAS SOPS 106103 HAS SOUS 88305 HAS SOUPS 88305 WITH SCORE 88411.103
AT ITER 745 NEW BEST:: SOT 157304 SOS 106114 HAS SOPS 106114 HAS SOUS 88177 HAS SOUPS 88177 WITH SCORE 88283.114
AT ITER 751 NEW BEST:: SOT 157314 SOS 105933 HAS SOPS 105933 HAS SOUS 88111 HAS SOUPS 88111 WITH SCORE 88216.933
AT ITER 762 NEW BEST:: SOT 157313 SOS 105932 HAS SOPS 105932 HAS SOUS 88110 HAS SOUPS 88110 WITH SCORE 88215.932
AT ITER 770 NEW BEST:: SOT 156897 SOS 105222 HAS SOPS 105222 HAS SOUS 87400 HAS SOUPS 87400 WITH SCORE 87505.222
AT ITER 778 NEW BEST:: SOT 156767 SOS 105072 HAS SOPS 105072 HAS SOUS 87304 HAS SOUPS 87304 WITH SCORE 87409.072
AT ITER 785 NEW BEST:: SOT 156774 SOS 105066 HAS SOPS 105066 HAS SOUS 87289 HAS SOUPS 87289 WITH SCORE 87394.066
AT ITER 787 NEW BEST:: SOT 156855 SOS 105039 HAS SOPS 105039 HAS SOUS 87252 HAS SOUPS 87252 WITH SCORE 87357.039
AT ITER 794 NEW BEST:: SOT 156906 SOS 104982 HAS SOPS 104982 HAS SOUS 87183 HAS SOUPS 87183 WITH SCORE 87287.982
AT ITER 796 NEW BEST:: SOT 156798 SOS 104874 HAS SOPS 104874 HAS SOUS 87075 HAS SOUPS 87075 WITH SCORE 87179.874
AT ITER 803 NEW BEST:: SOT 156769 SOS 104791 HAS SOPS 104791 HAS SOUS 86992 HAS SOUPS 86992 WITH SCORE 87096.791
AT ITER 809 NEW BEST:: SOT 156963 SOS 104604 HAS SOPS 104604 HAS SOUS 86645 HAS SOUPS 86645 WITH SCORE 86749.604
AT ITER 827 NEW BEST:: SOT 156963 SOS 104518 HAS SOPS 104518 HAS SOUS 86618 HAS SOUPS 86618 WITH SCORE 86722.518
AT ITER 830 NEW BEST:: SOT 156656 SOS 104100 HAS SOPS 104100 HAS SOUS 86200 HAS SOUPS 86200 WITH SCORE 86304.1
AT ITER 841 NEW BEST:: SOT 157246 SOS 104073 HAS SOPS 104073 HAS SOUS 86196 HAS SOUPS 86196 WITH SCORE 86300.073
AT ITER 857 NEW BEST:: SOT 157152 SOS 103979 HAS SOPS 103979 HAS SOUS 86102 HAS SOUPS 86102 WITH SCORE 86205.979
AT ITER 870 NEW BEST:: SOT 157036 SOS 103863 HAS SOPS 103863 HAS SOUS 85986 HAS SOUPS 85986 WITH SCORE 86089.863
AT ITER 873 NEW BEST:: SOT 156953 SOS 103837 HAS SOPS 103837 HAS SOUS 85960 HAS SOUPS 85960 WITH SCORE 86063.837
AT ITER 880 NEW BEST:: SOT 156950 SOS 103834 HAS SOPS 103834 HAS SOUS 85960 HAS SOUPS 85960 WITH SCORE 86063.834
AT ITER 894 NEW BEST:: SOT 157256 SOS 103575 HAS SOPS 103575 HAS SOUS 85913 HAS SOUPS 85913 WITH SCORE 86016.575
AT ITER 899 NEW BEST:: SOT 157142 SOS 103437 HAS SOPS 103437 HAS SOUS 85775 HAS SOUPS 85775 WITH SCORE 85878.437
AT ITER 902 NEW BEST:: SOT 157095 SOS 103433 HAS SOPS 103433 HAS SOUS 85771 HAS SOUPS 85771 WITH SCORE 85874.433
AT ITER 918 NEW BEST:: SOT 157010 SOS 103221 HAS SOPS 103221 HAS SOUS 85597 HAS SOUPS 85597 WITH SCORE 85700.221
AT ITER 929 NEW BEST:: SOT 157606 SOS 103488 HAS SOPS 103488 HAS SOUS 85517 HAS SOUPS 85517 WITH SCORE 85620.488
AT ITER 939 NEW BEST:: SOT 157591 SOS 103471 HAS SOPS 103471 HAS SOUS 85500 HAS SOUPS 85500 WITH SCORE 85603.471
AT ITER 941 NEW BEST:: SOT 157384 SOS 102994 HAS SOPS 102994 HAS SOUS 84919 HAS SOUPS 84919 WITH SCORE 85021.994
AT ITER 943 NEW BEST:: SOT 157384 SOS 102992 HAS SOPS 102992 HAS SOUS 84917 HAS SOUPS 84917 WITH SCORE 85019.992
AT ITER 951 NEW BEST:: SOT 157353 SOS 102801 HAS SOPS 102801 HAS SOUS 84912 HAS SOUPS 84912 WITH SCORE 85014.801
AT ITER 952 NEW BEST:: SOT 157207 SOS 102743 HAS SOPS 102743 HAS SOUS 84854 HAS SOUPS 84854 WITH SCORE 84956.743
AT ITER 963 NEW BEST:: SOT 157330 SOS 102701 HAS SOPS 102701 HAS SOUS 84716 HAS SOUPS 84716 WITH SCORE 84818.701
AT ITER 964 NEW BEST:: SOT 157237 SOS 102506 HAS SOPS 102506 HAS SOUS 84403 HAS SOUPS 84403 WITH SCORE 84505.506
AT ITER 972 NEW BEST:: SOT 157224 SOS 102493 HAS SOPS 102493 HAS SOUS 84377 HAS SOUPS 84377 WITH SCORE 84479.493
AT ITER 974 NEW BEST:: SOT 157224 SOS 102419 HAS SOPS 102419 HAS SOUS 84300 HAS SOUPS 84300 WITH SCORE 84402.419
AT ITER 978 NEW BEST:: SOT 157164 SOS 102431 HAS SOPS 102431 HAS SOUS 84276 HAS SOUPS 84276 WITH SCORE 84378.431
AT ITER 983 NEW BEST:: SOT 157159 SOS 102431 HAS SOPS 102431 HAS SOUS 84273 HAS SOUPS 84273 WITH SCORE 84375.431
AT ITER 998 NEW BEST:: SOT 157047 SOS 102241 HAS SOPS 102241 HAS SOUS 84083 HAS SOUPS 84083 WITH SCORE 84185.241
AT ITER 1004 NEW BEST:: SOT 157012 SOS 102036 HAS SOPS 102036 HAS SOUS 84004 HAS SOUPS 84004 WITH SCORE 84106.036
AT ITER 1009 NEW BEST:: SOT 156939 SOS 101963 HAS SOPS 101963 HAS SOUS 83931 HAS SOUPS 83931 WITH SCORE 84032.963
AT ITER 1020 NEW BEST:: SOT 156860 SOS 101882 HAS SOPS 101882 HAS SOUS 83850 HAS SOUPS 83850 WITH SCORE 83951.882
AT ITER 1023 NEW BEST:: SOT 156694 SOS 101533 HAS SOPS 101533 HAS SOUS 83501 HAS SOUPS 83501 WITH SCORE 83602.533
AT ITER 1025 NEW BEST:: SOT 156674 SOS 101416 HAS SOPS 101416 HAS SOUS 83384 HAS SOUPS 83384 WITH SCORE 83485.416
AT ITER 1028 NEW BEST:: SOT 156569 SOS 101311 HAS SOPS 101311 HAS SOUS 83279 HAS SOUPS 83279 WITH SCORE 83380.311
AT ITER 1036 NEW BEST:: SOT 156569 SOS 101163 HAS SOPS 101163 HAS SOUS 83204 HAS SOUPS 83204 WITH SCORE 83305.163
AT ITER 1040 NEW BEST:: SOT 156552 SOS 101145 HAS SOPS 101145 HAS SOUS 83185 HAS SOUPS 83185 WITH SCORE 83286.145
AT ITER 1047 NEW BEST:: SOT 156543 SOS 101133 HAS SOPS 101133 HAS SOUS 83173 HAS SOUPS 83173 WITH SCORE 83274.133
AT ITER 1070 NEW BEST:: SOT 156543 SOS 101153 HAS SOPS 101153 HAS SOUS 83168 HAS SOUPS 83168 WITH SCORE 83269.153
AT ITER 1095 NEW BEST:: SOT 156523 SOS 101133 HAS SOPS 101133 HAS SOUS 83148 HAS SOUPS 83148 WITH SCORE 83249.133
AT ITER 1096 NEW BEST:: SOT 156634 SOS 100995 HAS SOPS 100995 HAS SOUS 83047 HAS SOUPS 83047 WITH SCORE 83147.995
AT ITER 1107 NEW BEST:: SOT 156347 SOS 100707 HAS SOPS 100707 HAS SOUS 82759 HAS SOUPS 82759 WITH SCORE 82859.707
AT ITER 1110 NEW BEST:: SOT 156245 SOS 100571 HAS SOPS 100571 HAS SOUS 82623 HAS SOUPS 82623 WITH SCORE 82723.571
AT ITER 1114 NEW BEST:: SOT 156233 SOS 100553 HAS SOPS 100553 HAS SOUS 82611 HAS SOUPS 82611 WITH SCORE 82711.553
AT ITER 1120 NEW BEST:: SOT 156233 SOS 100559 HAS SOPS 100559 HAS SOUS 82599 HAS SOUPS 82599 WITH SCORE 82699.559
AT ITER 1121 NEW BEST:: SOT 156191 SOS 100538 HAS SOPS 100538 HAS SOUS 82578 HAS SOUPS 82578 WITH SCORE 82678.538
AT ITER 1125 NEW BEST:: SOT 156159 SOS 100489 HAS SOPS 100489 HAS SOUS 82529 HAS SOUPS 82529 WITH SCORE 82629.489
AT ITER 1128 NEW BEST:: SOT 156153 SOS 100425 HAS SOPS 100425 HAS SOUS 82465 HAS SOUPS 82465 WITH SCORE 82565.425
AT ITER 1129 NEW BEST:: SOT 156148 SOS 100420 HAS SOPS 100420 HAS SOUS 82460 HAS SOUPS 82460 WITH SCORE 82560.42
AT ITER 1141 NEW BEST:: SOT 155968 SOS 100202 HAS SOPS 100202 HAS SOUS 82242 HAS SOUPS 82242 WITH SCORE 82342.202
AT ITER 1148 NEW BEST:: SOT 155896 SOS 100058 HAS SOPS 100058 HAS SOUS 82242 HAS SOUPS 82242 WITH SCORE 82342.058
AT ITER 1151 NEW BEST:: SOT 155959 SOS 99996 HAS SOPS 99996 HAS SOUS 82117 HAS SOUPS 82117 WITH SCORE 82216.996
AT ITER 1153 NEW BEST:: SOT 155929 SOS 99992 HAS SOPS 99992 HAS SOUS 82113 HAS SOUPS 82113 WITH SCORE 82212.992
AT ITER 1160 NEW BEST:: SOT 155838 SOS 99831 HAS SOPS 99831 HAS SOUS 81581 HAS SOUPS 81581 WITH SCORE 81680.831
AT ITER 1161 NEW BEST:: SOT 155838 SOS 99827 HAS SOPS 99827 HAS SOUS 81581 HAS SOUPS 81581 WITH SCORE 81680.827
AT ITER 1163 NEW BEST:: SOT 155838 SOS 99890 HAS SOPS 99890 HAS SOUS 81580 HAS SOUPS 81580 WITH SCORE 81679.89
AT ITER 1169 NEW BEST:: SOT 155825 SOS 99877 HAS SOPS 99877 HAS SOUS 81567 HAS SOUPS 81567 WITH SCORE 81666.877
AT ITER 1179 NEW BEST:: SOT 155807 SOS 99859 HAS SOPS 99859 HAS SOUS 81549 HAS SOUPS 81549 WITH SCORE 81648.859
AT ITER 1182 NEW BEST:: SOT 155719 SOS 99834 HAS SOPS 99834 HAS SOUS 81433 HAS SOUPS 81433 WITH SCORE 81532.834
AT ITER 1183 NEW BEST:: SOT 155696 SOS 99727 HAS SOPS 99727 HAS SOUS 81326 HAS SOUPS 81326 WITH SCORE 81425.727
AT ITER 1191 NEW BEST:: SOT 155666 SOS 99637 HAS SOPS 99637 HAS SOUS 81296 HAS SOUPS 81296 WITH SCORE 81395.637
AT ITER 1193 NEW BEST:: SOT 155664 SOS 99631 HAS SOPS 99631 HAS SOUS 81294 HAS SOUPS 81294 WITH SCORE 81393.631
AT ITER 1195 NEW BEST:: SOT 155588 SOS 99555 HAS SOPS 99555 HAS SOUS 81218 HAS SOUPS 81218 WITH SCORE 81317.555
AT ITER 1197 NEW BEST:: SOT 155546 SOS 99485 HAS SOPS 99485 HAS SOUS 81203 HAS SOUPS 81203 WITH SCORE 81302.485
AT ITER 1204 NEW BEST:: SOT 155450 SOS 99453 HAS SOPS 99453 HAS SOUS 81203 HAS SOUPS 81203 WITH SCORE 81302.453
AT ITER 1207 NEW BEST:: SOT 155325 SOS 99337 HAS SOPS 99337 HAS SOUS 81087 HAS SOUPS 81087 WITH SCORE 81186.337
AT ITER 1209 NEW BEST:: SOT 155306 SOS 99243 HAS SOPS 99243 HAS SOUS 80846 HAS SOUPS 80846 WITH SCORE 80945.243
AT ITER 1216 NEW BEST:: SOT 155283 SOS 99220 HAS SOPS 99220 HAS SOUS 80823 HAS SOUPS 80823 WITH SCORE 80922.22
AT ITER 1225 NEW BEST:: SOT 155159 SOS 99004 HAS SOPS 99004 HAS SOUS 80765 HAS SOUPS 80765 WITH SCORE 80864.004
AT ITER 1226 NEW BEST:: SOT 155159 SOS 99004 HAS SOPS 99004 HAS SOUS 80734 HAS SOUPS 80734 WITH SCORE 80833.004
AT ITER 1240 NEW BEST:: SOT 155244 SOS 99062 HAS SOPS 99062 HAS SOUS 80690 HAS SOUPS 80690 WITH SCORE 80789.062
AT ITER 1253 NEW BEST:: SOT 155061 SOS 98556 HAS SOPS 98556 HAS SOUS 80318 HAS SOUPS 80318 WITH SCORE 80416.556
AT ITER 1259 NEW BEST:: SOT 154676 SOS 98171 HAS SOPS 98171 HAS SOUS 79933 HAS SOUPS 79933 WITH SCORE 80031.171
AT ITER 1260 NEW BEST:: SOT 154216 SOS 97711 HAS SOPS 97711 HAS SOUS 79473 HAS SOUPS 79473 WITH SCORE 79570.711
AT ITER 1261 NEW BEST:: SOT 154216 SOS 97551 HAS SOPS 97551 HAS SOUS 79417 HAS SOUPS 79417 WITH SCORE 79514.551
AT ITER 1262 NEW BEST:: SOT 154208 SOS 97543 HAS SOPS 97543 HAS SOUS 79405 HAS SOUPS 79405 WITH SCORE 79502.543
AT ITER 1268 NEW BEST:: SOT 154110 SOS 97543 HAS SOPS 97543 HAS SOUS 79348 HAS SOUPS 79348 WITH SCORE 79445.543
AT ITER 1269 NEW BEST:: SOT 154071 SOS 97336 HAS SOPS 97336 HAS SOUS 79256 HAS SOUPS 79256 WITH SCORE 79353.336
AT ITER 1272 NEW BEST:: SOT 153955 SOS 97162 HAS SOPS 97162 HAS SOUS 79082 HAS SOUPS 79082 WITH SCORE 79179.162
AT ITER 1273 NEW BEST:: SOT 153891 SOS 97084 HAS SOPS 97084 HAS SOUS 79004 HAS SOUPS 79004 WITH SCORE 79101.084
AT ITER 1281 NEW BEST:: SOT 153702 SOS 96895 HAS SOPS 96895 HAS SOUS 78815 HAS SOUPS 78815 WITH SCORE 78911.895
AT ITER 1295 NEW BEST:: SOT 153697 SOS 96887 HAS SOPS 96887 HAS SOUS 78807 HAS SOUPS 78807 WITH SCORE 78903.887
AT ITER 1299 NEW BEST:: SOT 153631 SOS 96756 HAS SOPS 96756 HAS SOUS 78787 HAS SOUPS 78787 WITH SCORE 78883.756
AT ITER 1305 NEW BEST:: SOT 153460 SOS 96585 HAS SOPS 96585 HAS SOUS 78613 HAS SOUPS 78613 WITH SCORE 78709.585
AT ITER 1313 NEW BEST:: SOT 153484 SOS 96603 HAS SOPS 96603 HAS SOUS 78563 HAS SOUPS 78563 WITH SCORE 78659.603
AT ITER 1314 NEW BEST:: SOT 153428 SOS 96491 HAS SOPS 96491 HAS SOUS 78481 HAS SOUPS 78481 WITH SCORE 78577.491
AT ITER 1316 NEW BEST:: SOT 153379 SOS 96442 HAS SOPS 96442 HAS SOUS 78450 HAS SOUPS 78450 WITH SCORE 78546.442
AT ITER 1320 NEW BEST:: SOT 153391 SOS 96454 HAS SOPS 96454 HAS SOUS 78313 HAS SOUPS 78313 WITH SCORE 78409.454
AT ITER 1332 NEW BEST:: SOT 153278 SOS 96269 HAS SOPS 96269 HAS SOUS 78128 HAS SOUPS 78128 WITH SCORE 78224.269
AT ITER 1333 NEW BEST:: SOT 153338 SOS 96385 HAS SOPS 96385 HAS SOUS 78009 HAS SOUPS 78009 WITH SCORE 78105.385
AT ITER 1334 NEW BEST:: SOT 153261 SOS 95813 HAS SOPS 95813 HAS SOUS 77578 HAS SOUPS 77578 WITH SCORE 77673.813
AT ITER 1342 NEW BEST:: SOT 153277 SOS 95415 HAS SOPS 95415 HAS SOUS 77322 HAS SOUPS 77322 WITH SCORE 77417.415
AT ITER 1351 NEW BEST:: SOT 153373 SOS 95490 HAS SOPS 95490 HAS SOUS 76375 HAS SOUPS 76375 WITH SCORE 76470.49
AT ITER 1362 NEW BEST:: SOT 153275 SOS 95402 HAS SOPS 95402 HAS SOUS 76287 HAS SOUPS 76287 WITH SCORE 76382.402
AT ITER 1388 NEW BEST:: SOT 153169 SOS 95296 HAS SOPS 95296 HAS SOUS 76181 HAS SOUPS 76181 WITH SCORE 76276.296
AT ITER 1393 NEW BEST:: SOT 153061 SOS 95104 HAS SOPS 95104 HAS SOUS 76068 HAS SOUPS 76068 WITH SCORE 76163.104
AT ITER 1400 NEW BEST:: SOT 153061 SOS 95071 HAS SOPS 95071 HAS SOUS 76035 HAS SOUPS 76035 WITH SCORE 76130.071
AT ITER 1403 NEW BEST:: SOT 153049 SOS 95059 HAS SOPS 95059 HAS SOUS 76023 HAS SOUPS 76023 WITH SCORE 76118.059
AT ITER 1418 NEW BEST:: SOT 152765 SOS 94964 HAS SOPS 94964 HAS SOUS 75958 HAS SOUPS 75958 WITH SCORE 76052.964
AT ITER 1420 NEW BEST:: SOT 152782 SOS 94919 HAS SOPS 94919 HAS SOUS 75872 HAS SOUPS 75872 WITH SCORE 75966.919
AT ITER 1428 NEW BEST:: SOT 152754 SOS 94831 HAS SOPS 94831 HAS SOUS 75731 HAS SOUPS 75731 WITH SCORE 75825.831
AT ITER 1432 NEW BEST:: SOT 152751 SOS 94798 HAS SOPS 94798 HAS SOUS 75724 HAS SOUPS 75724 WITH SCORE 75818.798
AT ITER 1441 NEW BEST:: SOT 153265 SOS 95142 HAS SOPS 95142 HAS SOUS 75574 HAS SOUPS 75574 WITH SCORE 75669.142
AT ITER 1446 NEW BEST:: SOT 153256 SOS 95097 HAS SOPS 95097 HAS SOUS 75556 HAS SOUPS 75556 WITH SCORE 75651.097
AT ITER 1457 NEW BEST:: SOT 153256 SOS 95111 HAS SOPS 95111 HAS SOUS 75550 HAS SOUPS 75550 WITH SCORE 75645.111
AT ITER 1458 NEW BEST:: SOT 153207 SOS 95062 HAS SOPS 95062 HAS SOUS 75501 HAS SOUPS 75501 WITH SCORE 75596.062
AT ITER 1466 NEW BEST:: SOT 153207 SOS 95062 HAS SOPS 95062 HAS SOUS 75365 HAS SOUPS 75365 WITH SCORE 75460.062
AT ITER 1475 NEW BEST:: SOT 153167 SOS 94720 HAS SOPS 94720 HAS SOUS 75228 HAS SOUPS 75228 WITH SCORE 75322.72
AT ITER 1476 NEW BEST:: SOT 153145 SOS 94566 HAS SOPS 94566 HAS SOUS 75074 HAS SOUPS 75074 WITH SCORE 75168.566
AT ITER 1478 NEW BEST:: SOT 152894 SOS 94415 HAS SOPS 94415 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75036.415
AT ITER 1480 NEW BEST:: SOT 152894 SOS 94415 HAS SOPS 94415 HAS SOUS 74818 HAS SOUPS 74818 WITH SCORE 74912.415
AT ITER 1484 NEW BEST:: SOT 152929 SOS 94154 HAS SOPS 94154 HAS SOUS 74714 HAS SOUPS 74714 WITH SCORE 74808.154
AT ITER 1485 NEW BEST:: SOT 152625 SOS 93850 HAS SOPS 93850 HAS SOUS 74410 HAS SOUPS 74410 WITH SCORE 74503.85
AT ITER 1489 NEW BEST:: SOT 152650 SOS 93838 HAS SOPS 93838 HAS SOUS 74398 HAS SOUPS 74398 WITH SCORE 74491.838
AT ITER 1493 NEW BEST:: SOT 152478 SOS 93687 HAS SOPS 93687 HAS SOUS 74245 HAS SOUPS 74245 WITH SCORE 74338.687
AT ITER 1501 NEW BEST:: SOT 152380 SOS 93589 HAS SOPS 93589 HAS SOUS 74147 HAS SOUPS 74147 WITH SCORE 74240.589
AT ITER 1505 NEW BEST:: SOT 152379 SOS 93595 HAS SOPS 93595 HAS SOUS 74058 HAS SOUPS 74058 WITH SCORE 74151.595
AT ITER 1511 NEW BEST:: SOT 152354 SOS 93558 HAS SOPS 93558 HAS SOUS 74021 HAS SOUPS 74021 WITH SCORE 74114.558
AT ITER 1522 NEW BEST:: SOT 152376 SOS 93226 HAS SOPS 93226 HAS SOUS 73834 HAS SOUPS 73834 WITH SCORE 73927.226
AT ITER 1533 NEW BEST:: SOT 151857 SOS 92647 HAS SOPS 92647 HAS SOUS 73255 HAS SOUPS 73255 WITH SCORE 73347.647
AT ITER 1534 NEW BEST:: SOT 151844 SOS 92681 HAS SOPS 92681 HAS SOUS 73212 HAS SOUPS 73212 WITH SCORE 73304.681
AT ITER 1540 NEW BEST:: SOT 151856 SOS 92633 HAS SOPS 92633 HAS SOUS 73188 HAS SOUPS 73188 WITH SCORE 73280.633
AT ITER 1555 NEW BEST:: SOT 151886 SOS 92552 HAS SOPS 92552 HAS SOUS 73143 HAS SOUPS 73143 WITH SCORE 73235.552
AT ITER 1557 NEW BEST:: SOT 151969 SOS 92543 HAS SOPS 92543 HAS SOUS 73099 HAS SOUPS 73099 WITH SCORE 73191.543
AT ITER 1562 NEW BEST:: SOT 151969 SOS 92543 HAS SOPS 92543 HAS SOUS 73055 HAS SOUPS 73055 WITH SCORE 73147.543
AT ITER 1570 NEW BEST:: SOT 151989 SOS 92534 HAS SOPS 92534 HAS SOUS 73046 HAS SOUPS 73046 WITH SCORE 73138.534
AT ITER 1571 NEW BEST:: SOT 151989 SOS 92350 HAS SOPS 92350 HAS SOUS 73046 HAS SOUPS 73046 WITH SCORE 73138.35
AT ITER 1575 NEW BEST:: SOT 151964 SOS 92325 HAS SOPS 92325 HAS SOUS 73021 HAS SOUPS 73021 WITH SCORE 73113.325
AT ITER 1580 NEW BEST:: SOT 152152 SOS 92602 HAS SOPS 92602 HAS SOUS 72970 HAS SOUPS 72970 WITH SCORE 73062.602
AT ITER 1588 NEW BEST:: SOT 152052 SOS 92418 HAS SOPS 92418 HAS SOUS 72786 HAS SOUPS 72786 WITH SCORE 72878.418
AT ITER 1592 NEW BEST:: SOT 152014 SOS 92394 HAS SOPS 92394 HAS SOUS 72762 HAS SOUPS 72762 WITH SCORE 72854.394
AT ITER 1612 NEW BEST:: SOT 151984 SOS 92364 HAS SOPS 92364 HAS SOUS 72724 HAS SOUPS 72724 WITH SCORE 72816.364
AT ITER 1624 NEW BEST:: SOT 151823 SOS 91943 HAS SOPS 91943 HAS SOUS 72417 HAS SOUPS 72417 WITH SCORE 72508.943
AT ITER 1641 NEW BEST:: SOT 151801 SOS 91747 HAS SOPS 91747 HAS SOUS 72410 HAS SOUPS 72410 WITH SCORE 72501.747
AT ITER 1643 NEW BEST:: SOT 151802 SOS 91755 HAS SOPS 91755 HAS SOUS 72401 HAS SOUPS 72401 WITH SCORE 72492.755
AT ITER 1648 NEW BEST:: SOT 151673 SOS 91626 HAS SOPS 91626 HAS SOUS 72242 HAS SOUPS 72242 WITH SCORE 72333.626
AT ITER 1661 NEW BEST:: SOT 151896 SOS 91706 HAS SOPS 91706 HAS SOUS 72133 HAS SOUPS 72133 WITH SCORE 72224.706
AT ITER 1668 NEW BEST:: SOT 151896 SOS 91663 HAS SOPS 91663 HAS SOUS 72132 HAS SOUPS 72132 WITH SCORE 72223.663
AT ITER 1676 NEW BEST:: SOT 151869 SOS 91739 HAS SOPS 91739 HAS SOUS 72110 HAS SOUPS 72110 WITH SCORE 72201.739
AT ITER 1681 NEW BEST:: SOT 151728 SOS 91598 HAS SOPS 91598 HAS SOUS 72014 HAS SOUPS 72014 WITH SCORE 72105.598
AT ITER 1693 NEW BEST:: SOT 151659 SOS 91545 HAS SOPS 91545 HAS SOUS 71961 HAS SOUPS 71961 WITH SCORE 72052.545
AT ITER 1705 NEW BEST:: SOT 151490 SOS 91022 HAS SOPS 91022 HAS SOUS 71414 HAS SOUPS 71414 WITH SCORE 71505.022
AT ITER 1710 NEW BEST:: SOT 151488 SOS 91019 HAS SOPS 91019 HAS SOUS 71411 HAS SOUPS 71411 WITH SCORE 71502.019
AT ITER 1721 NEW BEST:: SOT 151402 SOS 90917 HAS SOPS 90917 HAS SOUS 71309 HAS SOUPS 71309 WITH SCORE 71399.917
AT ITER 1737 NEW BEST:: SOT 151383 SOS 90898 HAS SOPS 90898 HAS SOUS 71309 HAS SOUPS 71309 WITH SCORE 71399.898
AT ITER 1741 NEW BEST:: SOT 151383 SOS 90876 HAS SOPS 90876 HAS SOUS 71265 HAS SOUPS 71265 WITH SCORE 71355.876
AT ITER 1744 NEW BEST:: SOT 151362 SOS 90855 HAS SOPS 90855 HAS SOUS 71244 HAS SOUPS 71244 WITH SCORE 71334.855
AT ITER 1750 NEW BEST:: SOT 151222 SOS 90666 HAS SOPS 90666 HAS SOUS 71055 HAS SOUPS 71055 WITH SCORE 71145.666
AT ITER 1752 NEW BEST:: SOT 151222 SOS 90611 HAS SOPS 90611 HAS SOUS 71000 HAS SOUPS 71000 WITH SCORE 71090.611
AT ITER 1762 NEW BEST:: SOT 151177 SOS 90194 HAS SOPS 90194 HAS SOUS 70851 HAS SOUPS 70851 WITH SCORE 70941.194
AT ITER 1763 NEW BEST:: SOT 151177 SOS 90100 HAS SOPS 90100 HAS SOUS 70757 HAS SOUPS 70757 WITH SCORE 70847.1
AT ITER 1771 NEW BEST:: SOT 151177 SOS 90042 HAS SOPS 90042 HAS SOUS 70678 HAS SOUPS 70678 WITH SCORE 70768.042
AT ITER 1772 NEW BEST:: SOT 151018 SOS 89865 HAS SOPS 89865 HAS SOUS 70464 HAS SOUPS 70464 WITH SCORE 70553.865
AT ITER 1787 NEW BEST:: SOT 151170 SOS 89853 HAS SOPS 89853 HAS SOUS 70419 HAS SOUPS 70419 WITH SCORE 70508.853
AT ITER 1789 NEW BEST:: SOT 151050 SOS 89733 HAS SOPS 89733 HAS SOUS 70299 HAS SOUPS 70299 WITH SCORE 70388.733
AT ITER 1791 NEW BEST:: SOT 151031 SOS 89676 HAS SOPS 89676 HAS SOUS 70295 HAS SOUPS 70295 WITH SCORE 70384.676
AT ITER 1795 NEW BEST:: SOT 150879 SOS 89298 HAS SOPS 89298 HAS SOUS 70203 HAS SOUPS 70203 WITH SCORE 70292.298
AT ITER 1805 NEW BEST:: SOT 150635 SOS 89054 HAS SOPS 89054 HAS SOUS 69840 HAS SOUPS 69840 WITH SCORE 69929.054
AT ITER 1818 NEW BEST:: SOT 150635 SOS 89037 HAS SOPS 89037 HAS SOUS 69823 HAS SOUPS 69823 WITH SCORE 69912.037
AT ITER 1822 NEW BEST:: SOT 150635 SOS 89009 HAS SOPS 89009 HAS SOUS 69795 HAS SOUPS 69795 WITH SCORE 69884.009
AT ITER 1827 NEW BEST:: SOT 150635 SOS 88987 HAS SOPS 88987 HAS SOUS 69773 HAS SOUPS 69773 WITH SCORE 69861.987
AT ITER 1828 NEW BEST:: SOT 150444 SOS 88863 HAS SOPS 88863 HAS SOUS 69649 HAS SOUPS 69649 WITH SCORE 69737.863
AT ITER 1836 NEW BEST:: SOT 150444 SOS 88825 HAS SOPS 88825 HAS SOUS 69611 HAS SOUPS 69611 WITH SCORE 69699.825
AT ITER 1840 NEW BEST:: SOT 150440 SOS 88821 HAS SOPS 88821 HAS SOUS 69609 HAS SOUPS 69609 WITH SCORE 69697.821
AT ITER 1848 NEW BEST:: SOT 150370 SOS 88797 HAS SOPS 88797 HAS SOUS 69601 HAS SOUPS 69601 WITH SCORE 69689.797
AT ITER 1849 NEW BEST:: SOT 150443 SOS 88688 HAS SOPS 88688 HAS SOUS 69504 HAS SOUPS 69504 WITH SCORE 69592.688
AT ITER 1851 NEW BEST:: SOT 150359 SOS 88469 HAS SOPS 88469 HAS SOUS 69427 HAS SOUPS 69427 WITH SCORE 69515.469
AT ITER 1867 NEW BEST:: SOT 150313 SOS 88437 HAS SOPS 88437 HAS SOUS 69411 HAS SOUPS 69411 WITH SCORE 69499.437
AT ITER 1884 NEW BEST:: SOT 150225 SOS 88394 HAS SOPS 88394 HAS SOUS 69368 HAS SOUPS 69368 WITH SCORE 69456.394
AT ITER 1887 NEW BEST:: SOT 150117 SOS 88286 HAS SOPS 88286 HAS SOUS 69260 HAS SOUPS 69260 WITH SCORE 69348.286
AT ITER 1888 NEW BEST:: SOT 150133 SOS 88323 HAS SOPS 88323 HAS SOUS 69241 HAS SOUPS 69241 WITH SCORE 69329.323
AT ITER 1891 NEW BEST:: SOT 150042 SOS 88033 HAS SOPS 88033 HAS SOUS 69183 HAS SOUPS 69183 WITH SCORE 69271.033
AT ITER 1893 NEW BEST:: SOT 149929 SOS 87920 HAS SOPS 87920 HAS SOUS 69070 HAS SOUPS 69070 WITH SCORE 69157.92
AT ITER 1895 NEW BEST:: SOT 149915 SOS 87906 HAS SOPS 87906 HAS SOUS 69056 HAS SOUPS 69056 WITH SCORE 69143.906
AT ITER 1909 NEW BEST:: SOT 149806 SOS 87788 HAS SOPS 87788 HAS SOUS 68996 HAS SOUPS 68996 WITH SCORE 69083.788
AT ITER 1914 NEW BEST:: SOT 149892 SOS 87822 HAS SOPS 87822 HAS SOUS 68979 HAS SOUPS 68979 WITH SCORE 69066.822
AT ITER 1919 NEW BEST:: SOT 149875 SOS 87586 HAS SOPS 87586 HAS SOUS 68953 HAS SOUPS 68953 WITH SCORE 69040.586
AT ITER 1920 NEW BEST:: SOT 149863 SOS 87485 HAS SOPS 87485 HAS SOUS 68868 HAS SOUPS 68868 WITH SCORE 68955.485
AT ITER 1937 NEW BEST:: SOT 149741 SOS 87335 HAS SOPS 87335 HAS SOUS 68718 HAS SOUPS 68718 WITH SCORE 68805.335
AT ITER 1938 NEW BEST:: SOT 149722 SOS 87303 HAS SOPS 87303 HAS SOUS 68674 HAS SOUPS 68674 WITH SCORE 68761.303
AT ITER 1941 NEW BEST:: SOT 149910 SOS 87286 HAS SOPS 87286 HAS SOUS 68657 HAS SOUPS 68657 WITH SCORE 68744.286
AT ITER 1943 NEW BEST:: SOT 149839 SOS 86831 HAS SOPS 86831 HAS SOUS 68236 HAS SOUPS 68236 WITH SCORE 68322.831
AT ITER 1947 NEW BEST:: SOT 149852 SOS 86813 HAS SOPS 86813 HAS SOUS 68163 HAS SOUPS 68163 WITH SCORE 68249.813
AT ITER 1949 NEW BEST:: SOT 149382 SOS 86325 HAS SOPS 86325 HAS SOUS 67670 HAS SOUPS 67670 WITH SCORE 67756.325
AT ITER 1956 NEW BEST:: SOT 149382 SOS 86126 HAS SOPS 86126 HAS SOUS 67661 HAS SOUPS 67661 WITH SCORE 67747.126
AT ITER 1965 NEW BEST:: SOT 149261 SOS 85951 HAS SOPS 85951 HAS SOUS 67456 HAS SOUPS 67456 WITH SCORE 67541.951
AT ITER 1967 NEW BEST:: SOT 149223 SOS 85913 HAS SOPS 85913 HAS SOUS 67418 HAS SOUPS 67418 WITH SCORE 67503.913
AT ITER 1968 NEW BEST:: SOT 149021 SOS 85637 HAS SOPS 85637 HAS SOUS 67142 HAS SOUPS 67142 WITH SCORE 67227.637
AT ITER 1979 NEW BEST:: SOT 149021 SOS 85582 HAS SOPS 85582 HAS SOUS 67087 HAS SOUPS 67087 WITH SCORE 67172.582
AT ITER 1983 NEW BEST:: SOT 148986 SOS 85547 HAS SOPS 85547 HAS SOUS 67052 HAS SOUPS 67052 WITH SCORE 67137.547
AT ITER 1984 NEW BEST:: SOT 148974 SOS 85501 HAS SOPS 85501 HAS SOUS 66972 HAS SOUPS 66972 WITH SCORE 67057.501
AT ITER 1988 NEW BEST:: SOT 148912 SOS 85579 HAS SOPS 85579 HAS SOUS 66863 HAS SOUPS 66863 WITH SCORE 66948.579
AT ITER 1990 NEW BEST:: SOT 148888 SOS 85555 HAS SOPS 85555 HAS SOUS 66839 HAS SOUPS 66839 WITH SCORE 66924.555
AT ITER 2001 NEW BEST:: SOT 148864 SOS 85277 HAS SOPS 85277 HAS SOUS 66687 HAS SOUPS 66687 WITH SCORE 66772.277
AT ITER 2002 NEW BEST:: SOT 149025 SOS 85272 HAS SOPS 85272 HAS SOUS 66646 HAS SOUPS 66646 WITH SCORE 66731.272
AT ITER 2003 NEW BEST:: SOT 149105 SOS 85264 HAS SOPS 85264 HAS SOUS 66570 HAS SOUPS 66570 WITH SCORE 66655.264
AT ITER 2016 NEW BEST:: SOT 149074 SOS 85233 HAS SOPS 85233 HAS SOUS 66539 HAS SOUPS 66539 WITH SCORE 66624.233
AT ITER 2021 NEW BEST:: SOT 149097 SOS 85122 HAS SOPS 85122 HAS SOUS 66455 HAS SOUPS 66455 WITH SCORE 66540.122
AT ITER 2025 NEW BEST:: SOT 149031 SOS 85089 HAS SOPS 85089 HAS SOUS 66422 HAS SOUPS 66422 WITH SCORE 66507.089
AT ITER 2040 NEW BEST:: SOT 149070 SOS 85042 HAS SOPS 85042 HAS SOUS 66391 HAS SOUPS 66391 WITH SCORE 66476.042
AT ITER 2058 NEW BEST:: SOT 148996 SOS 84936 HAS SOPS 84936 HAS SOUS 66269 HAS SOUPS 66269 WITH SCORE 66353.936
AT ITER 2059 NEW BEST:: SOT 149012 SOS 84952 HAS SOPS 84952 HAS SOUS 65964 HAS SOUPS 65964 WITH SCORE 66048.952
AT ITER 2061 NEW BEST:: SOT 148871 SOS 84773 HAS SOPS 84773 HAS SOUS 65666 HAS SOUPS 65666 WITH SCORE 65750.773
AT ITER 2067 NEW BEST:: SOT 148871 SOS 84707 HAS SOPS 84707 HAS SOUS 65605 HAS SOUPS 65605 WITH SCORE 65689.707
AT ITER 2073 NEW BEST:: SOT 148860 SOS 84674 HAS SOPS 84674 HAS SOUS 65568 HAS SOUPS 65568 WITH SCORE 65652.674
AT ITER 2075 NEW BEST:: SOT 148852 SOS 84666 HAS SOPS 84666 HAS SOUS 65560 HAS SOUPS 65560 WITH SCORE 65644.666
AT ITER 2076 NEW BEST:: SOT 148851 SOS 84664 HAS SOPS 84664 HAS SOUS 65557 HAS SOUPS 65557 WITH SCORE 65641.664
AT ITER 2079 NEW BEST:: SOT 148845 SOS 84658 HAS SOPS 84658 HAS SOUS 65551 HAS SOUPS 65551 WITH SCORE 65635.658
AT ITER 2086 NEW BEST:: SOT 148871 SOS 84470 HAS SOPS 84470 HAS SOUS 65323 HAS SOUPS 65323 WITH SCORE 65407.47
AT ITER 2108 NEW BEST:: SOT 148781 SOS 84318 HAS SOPS 84318 HAS SOUS 65210 HAS SOUPS 65210 WITH SCORE 65294.318
AT ITER 2113 NEW BEST:: SOT 148749 SOS 84298 HAS SOPS 84298 HAS SOUS 65190 HAS SOUPS 65190 WITH SCORE 65274.298
AT ITER 2149 NEW BEST:: SOT 148645 SOS 84212 HAS SOPS 84212 HAS SOUS 65138 HAS SOUPS 65138 WITH SCORE 65222.212
AT ITER 2157 NEW BEST:: SOT 148652 SOS 84209 HAS SOPS 84209 HAS SOUS 65135 HAS SOUPS 65135 WITH SCORE 65219.209
AT ITER 2159 NEW BEST:: SOT 148636 SOS 84193 HAS SOPS 84193 HAS SOUS 65119 HAS SOUPS 65119 WITH SCORE 65203.193
AT ITER 2166 NEW BEST:: SOT 148599 SOS 84154 HAS SOPS 84154 HAS SOUS 65080 HAS SOUPS 65080 WITH SCORE 65164.154
AT ITER 2176 NEW BEST:: SOT 148582 SOS 84137 HAS SOPS 84137 HAS SOUS 65026 HAS SOUPS 65026 WITH SCORE 65110.137
AT ITER 2180 NEW BEST:: SOT 148588 SOS 84192 HAS SOPS 84192 HAS SOUS 65009 HAS SOUPS 65009 WITH SCORE 65093.192
AT ITER 2206 NEW BEST:: SOT 148574 SOS 84194 HAS SOPS 84194 HAS SOUS 65007 HAS SOUPS 65007 WITH SCORE 65091.194
AT ITER 2214 NEW BEST:: SOT 148633 SOS 84043 HAS SOPS 84043 HAS SOUS 64820 HAS SOUPS 64820 WITH SCORE 64904.043
AT ITER 2216 NEW BEST:: SOT 148633 SOS 83789 HAS SOPS 83789 HAS SOUS 64817 HAS SOUPS 64817 WITH SCORE 64900.789
AT ITER 2224 NEW BEST:: SOT 148636 SOS 83751 HAS SOPS 83751 HAS SOUS 64785 HAS SOUPS 64785 WITH SCORE 64868.751
AT ITER 2237 NEW BEST:: SOT 148613 SOS 83728 HAS SOPS 83728 HAS SOUS 64762 HAS SOUPS 64762 WITH SCORE 64845.728
AT ITER 2242 NEW BEST:: SOT 148566 SOS 83681 HAS SOPS 83681 HAS SOUS 64715 HAS SOUPS 64715 WITH SCORE 64798.681
AT ITER 2243 NEW BEST:: SOT 148561 SOS 83557 HAS SOPS 83557 HAS SOUS 64559 HAS SOUPS 64559 WITH SCORE 64642.557
AT ITER 2250 NEW BEST:: SOT 148519 SOS 83515 HAS SOPS 83515 HAS SOUS 64525 HAS SOUPS 64525 WITH SCORE 64608.515
AT ITER 2256 NEW BEST:: SOT 148535 SOS 83183 HAS SOPS 83183 HAS SOUS 64315 HAS SOUPS 64315 WITH SCORE 64398.183
AT ITER 2262 NEW BEST:: SOT 148499 SOS 83142 HAS SOPS 83142 HAS SOUS 64161 HAS SOUPS 64161 WITH SCORE 64244.142
AT ITER 2271 NEW BEST:: SOT 148356 SOS 83010 HAS SOPS 83010 HAS SOUS 64029 HAS SOUPS 64029 WITH SCORE 64112.01
AT ITER 2280 NEW BEST:: SOT 148356 SOS 83010 HAS SOPS 83010 HAS SOUS 64007 HAS SOUPS 64007 WITH SCORE 64090.01
AT ITER 2281 NEW BEST:: SOT 148356 SOS 83004 HAS SOPS 83004 HAS SOUS 64007 HAS SOUPS 64007 WITH SCORE 64090.004
AT ITER 2286 NEW BEST:: SOT 148325 SOS 82971 HAS SOPS 82971 HAS SOUS 63974 HAS SOUPS 63974 WITH SCORE 64056.971
AT ITER 2288 NEW BEST:: SOT 148334 SOS 82941 HAS SOPS 82941 HAS SOUS 63944 HAS SOUPS 63944 WITH SCORE 64026.941
AT ITER 2290 NEW BEST:: SOT 148288 SOS 82895 HAS SOPS 82895 HAS SOUS 63898 HAS SOUPS 63898 WITH SCORE 63980.895
AT ITER 2292 NEW BEST:: SOT 148288 SOS 82869 HAS SOPS 82869 HAS SOUS 63872 HAS SOUPS 63872 WITH SCORE 63954.869
AT ITER 2297 NEW BEST:: SOT 148189 SOS 82770 HAS SOPS 82770 HAS SOUS 63773 HAS SOUPS 63773 WITH SCORE 63855.77
AT ITER 2308 NEW BEST:: SOT 148189 SOS 82759 HAS SOPS 82759 HAS SOUS 63762 HAS SOUPS 63762 WITH SCORE 63844.759
AT ITER 2318 NEW BEST:: SOT 148184 SOS 82729 HAS SOPS 82729 HAS SOUS 63747 HAS SOUPS 63747 WITH SCORE 63829.729
AT ITER 2340 NEW BEST:: SOT 148132 SOS 82664 HAS SOPS 82664 HAS SOUS 63682 HAS SOUPS 63682 WITH SCORE 63764.664
AT ITER 2344 NEW BEST:: SOT 148157 SOS 82662 HAS SOPS 82662 HAS SOUS 63680 HAS SOUPS 63680 WITH SCORE 63762.662
AT ITER 2346 NEW BEST:: SOT 148105 SOS 82582 HAS SOPS 82582 HAS SOUS 63392 HAS SOUPS 63392 WITH SCORE 63474.582
AT ITER 2351 NEW BEST:: SOT 148091 SOS 82568 HAS SOPS 82568 HAS SOUS 63378 HAS SOUPS 63378 WITH SCORE 63460.568
AT ITER 2353 NEW BEST:: SOT 148091 SOS 82566 HAS SOPS 82566 HAS SOUS 63378 HAS SOUPS 63378 WITH SCORE 63460.566
AT ITER 2368 NEW BEST:: SOT 148092 SOS 82506 HAS SOPS 82506 HAS SOUS 63346 HAS SOUPS 63346 WITH SCORE 63428.506
AT ITER 2384 NEW BEST:: SOT 148092 SOS 82486 HAS SOPS 82486 HAS SOUS 63306 HAS SOUPS 63306 WITH SCORE 63388.486
AT ITER 2388 NEW BEST:: SOT 148089 SOS 82483 HAS SOPS 82483 HAS SOUS 63303 HAS SOUPS 63303 WITH SCORE 63385.483
AT ITER 2394 NEW BEST:: SOT 148085 SOS 82389 HAS SOPS 82389 HAS SOUS 63269 HAS SOUPS 63269 WITH SCORE 63351.389
AT ITER 2407 NEW BEST:: SOT 148067 SOS 82315 HAS SOPS 82315 HAS SOUS 63238 HAS SOUPS 63238 WITH SCORE 63320.315
AT ITER 2412 NEW BEST:: SOT 147948 SOS 82138 HAS SOPS 82138 HAS SOUS 63041 HAS SOUPS 63041 WITH SCORE 63123.138
AT ITER 2414 NEW BEST:: SOT 147948 SOS 81921 HAS SOPS 81921 HAS SOUS 62994 HAS SOUPS 62994 WITH SCORE 63075.921
AT ITER 2415 NEW BEST:: SOT 147899 SOS 81857 HAS SOPS 81857 HAS SOUS 62930 HAS SOUPS 62930 WITH SCORE 63011.857
AT ITER 2416 NEW BEST:: SOT 147849 SOS 81562 HAS SOPS 81562 HAS SOUS 62882 HAS SOUPS 62882 WITH SCORE 62963.562
AT ITER 2418 NEW BEST:: SOT 147879 SOS 81592 HAS SOPS 81592 HAS SOUS 62847 HAS SOUPS 62847 WITH SCORE 62928.592
AT ITER 2428 NEW BEST:: SOT 147884 SOS 81475 HAS SOPS 81475 HAS SOUS 62730 HAS SOUPS 62730 WITH SCORE 62811.475
AT ITER 2430 NEW BEST:: SOT 147696 SOS 81212 HAS SOPS 81212 HAS SOUS 62467 HAS SOUPS 62467 WITH SCORE 62548.212
AT ITER 2438 NEW BEST:: SOT 147788 SOS 81396 HAS SOPS 81396 HAS SOUS 62450 HAS SOUPS 62450 WITH SCORE 62531.396
AT ITER 2455 NEW BEST:: SOT 147746 SOS 81391 HAS SOPS 81391 HAS SOUS 62445 HAS SOUPS 62445 WITH SCORE 62526.391
AT ITER 2476 NEW BEST:: SOT 147742 SOS 81387 HAS SOPS 81387 HAS SOUS 62441 HAS SOUPS 62441 WITH SCORE 62522.387
AT ITER 2491 NEW BEST:: SOT 147806 SOS 81377 HAS SOPS 81377 HAS SOUS 62358 HAS SOUPS 62358 WITH SCORE 62439.377
AT ITER 2498 NEW BEST:: SOT 147806 SOS 81352 HAS SOPS 81352 HAS SOUS 62338 HAS SOUPS 62338 WITH SCORE 62419.352
AT ITER 2501 NEW BEST:: SOT 147809 SOS 81361 HAS SOPS 81361 HAS SOUS 62336 HAS SOUPS 62336 WITH SCORE 62417.361
AT ITER 2518 NEW BEST:: SOT 147899 SOS 81444 HAS SOPS 81444 HAS SOUS 62323 HAS SOUPS 62323 WITH SCORE 62404.444
AT ITER 2521 NEW BEST:: SOT 147982 SOS 81152 HAS SOPS 81152 HAS SOUS 62260 HAS SOUPS 62260 WITH SCORE 62341.152
AT ITER 2526 NEW BEST:: SOT 148348 SOS 81319 HAS SOPS 81319 HAS SOUS 62158 HAS SOUPS 62158 WITH SCORE 62239.319
AT ITER 2533 NEW BEST:: SOT 148290 SOS 81011 HAS SOPS 81011 HAS SOUS 62070 HAS SOUPS 62070 WITH SCORE 62151.011
AT ITER 2541 NEW BEST:: SOT 148215 SOS 80852 HAS SOPS 80852 HAS SOUS 62022 HAS SOUPS 62022 WITH SCORE 62102.852
AT ITER 2566 NEW BEST:: SOT 148169 SOS 80821 HAS SOPS 80821 HAS SOUS 61991 HAS SOUPS 61991 WITH SCORE 62071.821
AT ITER 2571 NEW BEST:: SOT 148224 SOS 80853 HAS SOPS 80853 HAS SOUS 61980 HAS SOUPS 61980 WITH SCORE 62060.853
AT ITER 2579 NEW BEST:: SOT 148211 SOS 80834 HAS SOPS 80834 HAS SOUS 61961 HAS SOUPS 61961 WITH SCORE 62041.834
AT ITER 2599 NEW BEST:: SOT 148192 SOS 80815 HAS SOPS 80815 HAS SOUS 61930 HAS SOUPS 61930 WITH SCORE 62010.815
AT ITER 2629 NEW BEST:: SOT 148154 SOS 80657 HAS SOPS 80657 HAS SOUS 61713 HAS SOUPS 61713 WITH SCORE 61793.657
AT ITER 2634 NEW BEST:: SOT 148154 SOS 80629 HAS SOPS 80629 HAS SOUS 61705 HAS SOUPS 61705 WITH SCORE 61785.629
AT ITER 2637 NEW BEST:: SOT 148154 SOS 80623 HAS SOPS 80623 HAS SOUS 61699 HAS SOUPS 61699 WITH SCORE 61779.623
AT ITER 2640 NEW BEST:: SOT 148185 SOS 80220 HAS SOPS 80220 HAS SOUS 61538 HAS SOUPS 61538 WITH SCORE 61618.22
AT ITER 2664 NEW BEST:: SOT 148110 SOS 80033 HAS SOPS 80033 HAS SOUS 61478 HAS SOUPS 61478 WITH SCORE 61558.033
AT ITER 2665 NEW BEST:: SOT 148059 SOS 79989 HAS SOPS 79989 HAS SOUS 61441 HAS SOUPS 61441 WITH SCORE 61520.989
AT ITER 2669 NEW BEST:: SOT 148033 SOS 79976 HAS SOPS 79976 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61507.976
AT ITER 2678 NEW BEST:: SOT 148049 SOS 79973 HAS SOPS 79973 HAS SOUS 61425 HAS SOUPS 61425 WITH SCORE 61504.973
AT ITER 2680 NEW BEST:: SOT 148130 SOS 80012 HAS SOPS 80012 HAS SOUS 61412 HAS SOUPS 61412 WITH SCORE 61492.012
AT ITER 2687 NEW BEST:: SOT 148127 SOS 80009 HAS SOPS 80009 HAS SOUS 61409 HAS SOUPS 61409 WITH SCORE 61489.009
AT ITER 2688 NEW BEST:: SOT 148080 SOS 79937 HAS SOPS 79937 HAS SOUS 61337 HAS SOUPS 61337 WITH SCORE 61416.937
AT ITER 2694 NEW BEST:: SOT 148080 SOS 79811 HAS SOPS 79811 HAS SOUS 61337 HAS SOUPS 61337 WITH SCORE 61416.811
AT ITER 2707 NEW BEST:: SOT 148272 SOS 79398 HAS SOPS 79398 HAS SOUS 61305 HAS SOUPS 61305 WITH SCORE 61384.398
AT ITER 2708 NEW BEST:: SOT 148281 SOS 79244 HAS SOPS 79244 HAS SOUS 61273 HAS SOUPS 61273 WITH SCORE 61352.244
AT ITER 2716 NEW BEST:: SOT 148244 SOS 79207 HAS SOPS 79207 HAS SOUS 61252 HAS SOUPS 61252 WITH SCORE 61331.207
AT ITER 2717 NEW BEST:: SOT 148239 SOS 79159 HAS SOPS 79159 HAS SOUS 61198 HAS SOUPS 61198 WITH SCORE 61277.159
AT ITER 2719 NEW BEST:: SOT 148160 SOS 79074 HAS SOPS 79074 HAS SOUS 61113 HAS SOUPS 61113 WITH SCORE 61192.074
AT ITER 2727 NEW BEST:: SOT 148160 SOS 79061 HAS SOPS 79061 HAS SOUS 61093 HAS SOUPS 61093 WITH SCORE 61172.061
AT ITER 2742 NEW BEST:: SOT 148160 SOS 79018 HAS SOPS 79018 HAS SOUS 61074 HAS SOUPS 61074 WITH SCORE 61153.018
AT ITER 2745 NEW BEST:: SOT 148154 SOS 79012 HAS SOPS 79012 HAS SOUS 61073 HAS SOUPS 61073 WITH SCORE 61152.012
AT ITER 2748 NEW BEST:: SOT 148154 SOS 78992 HAS SOPS 78992 HAS SOUS 61073 HAS SOUPS 61073 WITH SCORE 61151.992
AT ITER 2752 NEW BEST:: SOT 148136 SOS 78974 HAS SOPS 78974 HAS SOUS 61055 HAS SOUPS 61055 WITH SCORE 61133.974
AT ITER 2757 NEW BEST:: SOT 147650 SOS 78547 HAS SOPS 78547 HAS SOUS 60711 HAS SOUPS 60711 WITH SCORE 60789.547
AT ITER 2776 NEW BEST:: SOT 147698 SOS 78581 HAS SOPS 78581 HAS SOUS 60683 HAS SOUPS 60683 WITH SCORE 60761.581
AT ITER 2778 NEW BEST:: SOT 147631 SOS 78538 HAS SOPS 78538 HAS SOUS 60640 HAS SOUPS 60640 WITH SCORE 60718.538
AT ITER 2782 NEW BEST:: SOT 147528 SOS 78529 HAS SOPS 78529 HAS SOUS 60631 HAS SOUPS 60631 WITH SCORE 60709.529
AT ITER 2798 NEW BEST:: SOT 147394 SOS 78405 HAS SOPS 78405 HAS SOUS 60507 HAS SOUPS 60507 WITH SCORE 60585.405
AT ITER 2800 NEW BEST:: SOT 147406 SOS 78379 HAS SOPS 78379 HAS SOUS 60481 HAS SOUPS 60481 WITH SCORE 60559.379
AT ITER 2805 NEW BEST:: SOT 147303 SOS 78082 HAS SOPS 78082 HAS SOUS 60376 HAS SOUPS 60376 WITH SCORE 60454.082
AT ITER 2808 NEW BEST:: SOT 147240 SOS 78019 HAS SOPS 78019 HAS SOUS 60313 HAS SOUPS 60313 WITH SCORE 60391.019
AT ITER 2809 NEW BEST:: SOT 147237 SOS 78015 HAS SOPS 78015 HAS SOUS 60309 HAS SOUPS 60309 WITH SCORE 60387.015
AT ITER 2816 NEW BEST:: SOT 147227 SOS 77986 HAS SOPS 77986 HAS SOUS 60288 HAS SOUPS 60288 WITH SCORE 60365.986
AT ITER 2822 NEW BEST:: SOT 147217 SOS 77936 HAS SOPS 77936 HAS SOUS 60218 HAS SOUPS 60218 WITH SCORE 60295.936
AT ITER 2829 NEW BEST:: SOT 147194 SOS 77913 HAS SOPS 77913 HAS SOUS 60194 HAS SOUPS 60194 WITH SCORE 60271.913
AT ITER 2835 NEW BEST:: SOT 146929 SOS 77493 HAS SOPS 77493 HAS SOUS 59774 HAS SOUPS 59774 WITH SCORE 59851.493
AT ITER 2846 NEW BEST:: SOT 146927 SOS 77491 HAS SOPS 77491 HAS SOUS 59772 HAS SOUPS 59772 WITH SCORE 59849.491
AT ITER 2859 NEW BEST:: SOT 146922 SOS 77675 HAS SOPS 77675 HAS SOUS 59728 HAS SOUPS 59728 WITH SCORE 59805.675
AT ITER 2862 NEW BEST:: SOT 146983 SOS 77714 HAS SOPS 77714 HAS SOUS 59724 HAS SOUPS 59724 WITH SCORE 59801.714
AT ITER 2865 NEW BEST:: SOT 146969 SOS 77721 HAS SOPS 77721 HAS SOUS 59718 HAS SOUPS 59718 WITH SCORE 59795.721
AT ITER 2883 NEW BEST:: SOT 146921 SOS 77665 HAS SOPS 77665 HAS SOUS 59659 HAS SOUPS 59659 WITH SCORE 59736.665
AT ITER 2888 NEW BEST:: SOT 146909 SOS 77665 HAS SOPS 77665 HAS SOUS 59647 HAS SOUPS 59647 WITH SCORE 59724.665
AT ITER 2923 NEW BEST:: SOT 146924 SOS 77590 HAS SOPS 77590 HAS SOUS 59628 HAS SOUPS 59628 WITH SCORE 59705.59
AT ITER 2934 NEW BEST:: SOT 146848 SOS 77445 HAS SOPS 77445 HAS SOUS 59475 HAS SOUPS 59475 WITH SCORE 59552.445
AT ITER 2958 NEW BEST:: SOT 146794 SOS 77546 HAS SOPS 77546 HAS SOUS 59468 HAS SOUPS 59468 WITH SCORE 59545.546
AT ITER 2968 NEW BEST:: SOT 146790 SOS 77542 HAS SOPS 77542 HAS SOUS 59464 HAS SOUPS 59464 WITH SCORE 59541.542
AT ITER 2971 NEW BEST:: SOT 146744 SOS 77396 HAS SOPS 77396 HAS SOUS 59191 HAS SOUPS 59191 WITH SCORE 59268.396
AT ITER 2974 NEW BEST:: SOT 146731 SOS 77370 HAS SOPS 77370 HAS SOUS 59165 HAS SOUPS 59165 WITH SCORE 59242.37
AT ITER 2993 NEW BEST:: SOT 146731 SOS 77339 HAS SOPS 77339 HAS SOUS 59134 HAS SOUPS 59134 WITH SCORE 59211.339
AT ITER 2997 NEW BEST:: SOT 146731 SOS 77339 HAS SOPS 77339 HAS SOUS 59132 HAS SOUPS 59132 WITH SCORE 59209.339
AT ITER 3003 NEW BEST:: SOT 146690 SOS 77227 HAS SOPS 77227 HAS SOUS 59020 HAS SOUPS 59020 WITH SCORE 59097.227
AT ITER 3022 NEW BEST:: SOT 146676 SOS 77213 HAS SOPS 77213 HAS SOUS 59006 HAS SOUPS 59006 WITH SCORE 59083.213
AT ITER 3031 NEW BEST:: SOT 146676 SOS 77202 HAS SOPS 77202 HAS SOUS 58995 HAS SOUPS 58995 WITH SCORE 59072.202
AT ITER 3036 NEW BEST:: SOT 146668 SOS 77190 HAS SOPS 77190 HAS SOUS 58983 HAS SOUPS 58983 WITH SCORE 59060.19
AT ITER 3043 NEW BEST:: SOT 146673 SOS 77102 HAS SOPS 77102 HAS SOUS 58901 HAS SOUPS 58901 WITH SCORE 58978.102
AT ITER 3046 NEW BEST:: SOT 146585 SOS 77014 HAS SOPS 77014 HAS SOUS 58813 HAS SOUPS 58813 WITH SCORE 58890.014
AT ITER 3048 NEW BEST:: SOT 146504 SOS 76941 HAS SOPS 76941 HAS SOUS 58716 HAS SOUPS 58716 WITH SCORE 58792.941
AT ITER 3050 NEW BEST:: SOT 146502 SOS 76909 HAS SOPS 76909 HAS SOUS 58684 HAS SOUPS 58684 WITH SCORE 58760.909
AT ITER 3062 NEW BEST:: SOT 146474 SOS 76813 HAS SOPS 76813 HAS SOUS 58615 HAS SOUPS 58615 WITH SCORE 58691.813
AT ITER 3069 NEW BEST:: SOT 146458 SOS 76806 HAS SOPS 76806 HAS SOUS 58608 HAS SOUPS 58608 WITH SCORE 58684.806
AT ITER 3071 NEW BEST:: SOT 146413 SOS 76739 HAS SOPS 76739 HAS SOUS 58607 HAS SOUPS 58607 WITH SCORE 58683.739
AT ITER 3075 NEW BEST:: SOT 146386 SOS 76645 HAS SOPS 76645 HAS SOUS 58517 HAS SOUPS 58517 WITH SCORE 58593.645
AT ITER 3088 NEW BEST:: SOT 146347 SOS 76634 HAS SOPS 76634 HAS SOUS 58467 HAS SOUPS 58467 WITH SCORE 58543.634
AT ITER 3095 NEW BEST:: SOT 146519 SOS 76602 HAS SOPS 76602 HAS SOUS 58179 HAS SOUPS 58179 WITH SCORE 58255.602
AT ITER 3097 NEW BEST:: SOT 146415 SOS 76498 HAS SOPS 76498 HAS SOUS 58111 HAS SOUPS 58111 WITH SCORE 58187.498
AT ITER 3101 NEW BEST:: SOT 146405 SOS 76488 HAS SOPS 76488 HAS SOUS 58101 HAS SOUPS 58101 WITH SCORE 58177.488
AT ITER 3106 NEW BEST:: SOT 146326 SOS 76145 HAS SOPS 76145 HAS SOUS 57737 HAS SOUPS 57737 WITH SCORE 57813.145
AT ITER 3115 NEW BEST:: SOT 146337 SOS 76122 HAS SOPS 76122 HAS SOUS 57733 HAS SOUPS 57733 WITH SCORE 57809.122
AT ITER 3117 NEW BEST:: SOT 146295 SOS 76080 HAS SOPS 76080 HAS SOUS 57675 HAS SOUPS 57675 WITH SCORE 57751.08
AT ITER 3125 NEW BEST:: SOT 146476 SOS 75847 HAS SOPS 75847 HAS SOUS 57636 HAS SOUPS 57636 WITH SCORE 57711.847
AT ITER 3146 NEW BEST:: SOT 146473 SOS 75797 HAS SOPS 75797 HAS SOUS 57587 HAS SOUPS 57587 WITH SCORE 57662.797
AT ITER 3152 NEW BEST:: SOT 146488 SOS 75787 HAS SOPS 75787 HAS SOUS 57564 HAS SOUPS 57564 WITH SCORE 57639.787
AT ITER 3161 NEW BEST:: SOT 146318 SOS 75615 HAS SOPS 75615 HAS SOUS 57392 HAS SOUPS 57392 WITH SCORE 57467.615
AT ITER 3165 NEW BEST:: SOT 146301 SOS 75634 HAS SOPS 75634 HAS SOUS 57339 HAS SOUPS 57339 WITH SCORE 57414.634
AT ITER 3172 NEW BEST:: SOT 146244 SOS 75558 HAS SOPS 75558 HAS SOUS 57226 HAS SOUPS 57226 WITH SCORE 57301.558
AT ITER 3180 NEW BEST:: SOT 146270 SOS 75488 HAS SOPS 75488 HAS SOUS 57059 HAS SOUPS 57059 WITH SCORE 57134.488
AT ITER 3201 NEW BEST:: SOT 146176 SOS 75394 HAS SOPS 75394 HAS SOUS 57025 HAS SOUPS 57025 WITH SCORE 57100.394
AT ITER 3227 NEW BEST:: SOT 146176 SOS 75387 HAS SOPS 75387 HAS SOUS 57011 HAS SOUPS 57011 WITH SCORE 57086.387
AT ITER 3240 NEW BEST:: SOT 146085 SOS 75294 HAS SOPS 75294 HAS SOUS 56967 HAS SOUPS 56967 WITH SCORE 57042.294
AT ITER 3274 NEW BEST:: SOT 146116 SOS 75248 HAS SOPS 75248 HAS SOUS 56752 HAS SOUPS 56752 WITH SCORE 56827.248
AT ITER 3286 NEW BEST:: SOT 146060 SOS 75226 HAS SOPS 75226 HAS SOUS 56730 HAS SOUPS 56730 WITH SCORE 56805.226
AT ITER 3292 NEW BEST:: SOT 146058 SOS 75224 HAS SOPS 75224 HAS SOUS 56728 HAS SOUPS 56728 WITH SCORE 56803.224
AT ITER 3335 NEW BEST:: SOT 146058 SOS 75224 HAS SOPS 75224 HAS SOUS 56725 HAS SOUPS 56725 WITH SCORE 56800.224
AT ITER 3341 NEW BEST:: SOT 146058 SOS 75199 HAS SOPS 75199 HAS SOUS 56715 HAS SOUPS 56715 WITH SCORE 56790.199
AT ITER 3349 NEW BEST:: SOT 146047 SOS 75135 HAS SOPS 75135 HAS SOUS 56651 HAS SOUPS 56651 WITH SCORE 56726.135
AT ITER 3370 NEW BEST:: SOT 145989 SOS 75053 HAS SOPS 75053 HAS SOUS 56501 HAS SOUPS 56501 WITH SCORE 56576.053
AT ITER 3376 NEW BEST:: SOT 145963 SOS 75053 HAS SOPS 75053 HAS SOUS 56449 HAS SOUPS 56449 WITH SCORE 56524.053
AT ITER 3382 NEW BEST:: SOT 145963 SOS 75045 HAS SOPS 75045 HAS SOUS 56441 HAS SOUPS 56441 WITH SCORE 56516.045
AT ITER 3387 NEW BEST:: SOT 146025 SOS 75201 HAS SOPS 75201 HAS SOUS 56406 HAS SOUPS 56406 WITH SCORE 56481.201
AT ITER 3395 NEW BEST:: SOT 146010 SOS 75186 HAS SOPS 75186 HAS SOUS 56391 HAS SOUPS 56391 WITH SCORE 56466.186
AT ITER 3401 NEW BEST:: SOT 145931 SOS 74843 HAS SOPS 74843 HAS SOUS 56186 HAS SOUPS 56186 WITH SCORE 56260.843
AT ITER 3405 NEW BEST:: SOT 145920 SOS 74832 HAS SOPS 74832 HAS SOUS 56175 HAS SOUPS 56175 WITH SCORE 56249.832
AT ITER 3408 NEW BEST:: SOT 145939 SOS 74841 HAS SOPS 74841 HAS SOUS 56171 HAS SOUPS 56171 WITH SCORE 56245.841
AT ITER 3414 NEW BEST:: SOT 145915 SOS 74807 HAS SOPS 74807 HAS SOUS 56137 HAS SOUPS 56137 WITH SCORE 56211.807
AT ITER 3415 NEW BEST:: SOT 145915 SOS 74761 HAS SOPS 74761 HAS SOUS 56114 HAS SOUPS 56114 WITH SCORE 56188.761
AT ITER 3419 NEW BEST:: SOT 145802 SOS 74553 HAS SOPS 74553 HAS SOUS 56023 HAS SOUPS 56023 WITH SCORE 56097.553
AT ITER 3427 NEW BEST:: SOT 145764 SOS 74529 HAS SOPS 74529 HAS SOUS 55999 HAS SOUPS 55999 WITH SCORE 56073.529
AT ITER 3436 NEW BEST:: SOT 145764 SOS 74469 HAS SOPS 74469 HAS SOUS 55999 HAS SOUPS 55999 WITH SCORE 56073.469
AT ITER 3441 NEW BEST:: SOT 145747 SOS 74452 HAS SOPS 74452 HAS SOUS 55958 HAS SOUPS 55958 WITH SCORE 56032.452
AT ITER 3447 NEW BEST:: SOT 145749 SOS 74436 HAS SOPS 74436 HAS SOUS 55954 HAS SOUPS 55954 WITH SCORE 56028.436
AT ITER 3448 NEW BEST:: SOT 145737 SOS 74433 HAS SOPS 74433 HAS SOUS 55937 HAS SOUPS 55937 WITH SCORE 56011.433
AT ITER 3451 NEW BEST:: SOT 145724 SOS 74420 HAS SOPS 74420 HAS SOUS 55924 HAS SOUPS 55924 WITH SCORE 55998.42
AT ITER 3476 NEW BEST:: SOT 145724 SOS 74448 HAS SOPS 74448 HAS SOUS 55882 HAS SOUPS 55882 WITH SCORE 55956.448
AT ITER 3488 NEW BEST:: SOT 145718 SOS 74444 HAS SOPS 74444 HAS SOUS 55876 HAS SOUPS 55876 WITH SCORE 55950.444
AT ITER 3496 NEW BEST:: SOT 145591 SOS 74351 HAS SOPS 74351 HAS SOUS 55686 HAS SOUPS 55686 WITH SCORE 55760.351
AT ITER 3502 NEW BEST:: SOT 145499 SOS 74167 HAS SOPS 74167 HAS SOUS 55685 HAS SOUPS 55685 WITH SCORE 55759.167
AT ITER 3504 NEW BEST:: SOT 145496 SOS 74060 HAS SOPS 74060 HAS SOUS 55578 HAS SOUPS 55578 WITH SCORE 55652.06
AT ITER 3515 NEW BEST:: SOT 145496 SOS 73824 HAS SOPS 73824 HAS SOUS 55551 HAS SOUPS 55551 WITH SCORE 55624.824
AT ITER 3540 NEW BEST:: SOT 145496 SOS 73794 HAS SOPS 73794 HAS SOUS 55539 HAS SOUPS 55539 WITH SCORE 55612.794
AT ITER 3544 NEW BEST:: SOT 145344 SOS 73636 HAS SOPS 73636 HAS SOUS 55251 HAS SOUPS 55251 WITH SCORE 55324.636
AT ITER 3546 NEW BEST:: SOT 145266 SOS 73558 HAS SOPS 73558 HAS SOUS 55173 HAS SOUPS 55173 WITH SCORE 55246.558
AT ITER 3572 NEW BEST:: SOT 145414 SOS 72386 HAS SOPS 72386 HAS SOUS 55057 HAS SOUPS 55057 WITH SCORE 55129.386
AT ITER 3589 NEW BEST:: SOT 145501 SOS 72344 HAS SOPS 72344 HAS SOUS 54982 HAS SOUPS 54982 WITH SCORE 55054.344
AT ITER 3612 NEW BEST:: SOT 145515 SOS 72254 HAS SOPS 72254 HAS SOUS 54906 HAS SOUPS 54906 WITH SCORE 54978.254
AT ITER 3621 NEW BEST:: SOT 145511 SOS 72250 HAS SOPS 72250 HAS SOUS 54902 HAS SOUPS 54902 WITH SCORE 54974.25
AT ITER 3627 NEW BEST:: SOT 145579 SOS 72286 HAS SOPS 72286 HAS SOUS 54892 HAS SOUPS 54892 WITH SCORE 54964.286
AT ITER 3630 NEW BEST:: SOT 145556 SOS 72252 HAS SOPS 72252 HAS SOUS 54858 HAS SOUPS 54858 WITH SCORE 54930.252
AT ITER 3653 NEW BEST:: SOT 145546 SOS 72208 HAS SOPS 72208 HAS SOUS 54818 HAS SOUPS 54818 WITH SCORE 54890.208
AT ITER 3660 NEW BEST:: SOT 145532 SOS 72180 HAS SOPS 72180 HAS SOUS 54776 HAS SOUPS 54776 WITH SCORE 54848.18
AT ITER 3676 NEW BEST:: SOT 145532 SOS 71989 HAS SOPS 71989 HAS SOUS 54774 HAS SOUPS 54774 WITH SCORE 54845.989
AT ITER 3702 NEW BEST:: SOT 145491 SOS 71941 HAS SOPS 71941 HAS SOUS 54733 HAS SOUPS 54733 WITH SCORE 54804.941
AT ITER 3717 NEW BEST:: SOT 145491 SOS 71970 HAS SOPS 71970 HAS SOUS 54730 HAS SOUPS 54730 WITH SCORE 54801.97
AT ITER 3723 NEW BEST:: SOT 145536 SOS 71950 HAS SOPS 71950 HAS SOUS 54718 HAS SOUPS 54718 WITH SCORE 54789.95
AT ITER 3736 NEW BEST:: SOT 145536 SOS 71953 HAS SOPS 71953 HAS SOUS 54715 HAS SOUPS 54715 WITH SCORE 54786.953
AT ITER 3754 NEW BEST:: SOT 145581 SOS 71927 HAS SOPS 71927 HAS SOUS 54689 HAS SOUPS 54689 WITH SCORE 54760.927
AT ITER 3759 NEW BEST:: SOT 145581 SOS 71795 HAS SOPS 71795 HAS SOUS 54689 HAS SOUPS 54689 WITH SCORE 54760.795
AT ITER 3763 NEW BEST:: SOT 145540 SOS 71896 HAS SOPS 71896 HAS SOUS 54678 HAS SOUPS 54678 WITH SCORE 54749.896
AT ITER 3768 NEW BEST:: SOT 145519 SOS 71788 HAS SOPS 71788 HAS SOUS 54670 HAS SOUPS 54670 WITH SCORE 54741.788
AT ITER 3778 NEW BEST:: SOT 145519 SOS 71744 HAS SOPS 71744 HAS SOUS 54670 HAS SOUPS 54670 WITH SCORE 54741.744
AT ITER 3816 NEW BEST:: SOT 145462 SOS 71648 HAS SOPS 71648 HAS SOUS 54574 HAS SOUPS 54574 WITH SCORE 54645.648
AT ITER 3822 NEW BEST:: SOT 145482 SOS 71665 HAS SOPS 71665 HAS SOUS 54391 HAS SOUPS 54391 WITH SCORE 54462.665
AT ITER 3832 NEW BEST:: SOT 145468 SOS 71637 HAS SOPS 71637 HAS SOUS 54346 HAS SOUPS 54346 WITH SCORE 54417.637
AT ITER 3841 NEW BEST:: SOT 145278 SOS 71481 HAS SOPS 71481 HAS SOUS 54308 HAS SOUPS 54308 WITH SCORE 54379.481
AT ITER 3860 NEW BEST:: SOT 145261 SOS 71464 HAS SOPS 71464 HAS SOUS 54301 HAS SOUPS 54301 WITH SCORE 54372.464
AT ITER 3866 NEW BEST:: SOT 145296 SOS 71317 HAS SOPS 71317 HAS SOUS 54237 HAS SOUPS 54237 WITH SCORE 54308.317
AT ITER 3885 NEW BEST:: SOT 145224 SOS 71208 HAS SOPS 71208 HAS SOUS 54063 HAS SOUPS 54063 WITH SCORE 54134.208
AT ITER 3891 NEW BEST:: SOT 145220 SOS 71202 HAS SOPS 71202 HAS SOUS 54057 HAS SOUPS 54057 WITH SCORE 54128.202
AT ITER 3907 NEW BEST:: SOT 145167 SOS 71202 HAS SOPS 71202 HAS SOUS 54055 HAS SOUPS 54055 WITH SCORE 54126.202
AT ITER 3912 NEW BEST:: SOT 145124 SOS 70857 HAS SOPS 70857 HAS SOUS 53874 HAS SOUPS 53874 WITH SCORE 53944.857
AT ITER 3913 NEW BEST:: SOT 144868 SOS 70636 HAS SOPS 70636 HAS SOUS 53596 HAS SOUPS 53596 WITH SCORE 53666.636
AT ITER 3923 NEW BEST:: SOT 144535 SOS 69769 HAS SOPS 69769 HAS SOUS 52955 HAS SOUPS 52955 WITH SCORE 53024.769
AT ITER 3947 NEW BEST:: SOT 144452 SOS 69686 HAS SOPS 69686 HAS SOUS 52872 HAS SOUPS 52872 WITH SCORE 52941.686
AT ITER 3956 NEW BEST:: SOT 144358 SOS 69519 HAS SOPS 69519 HAS SOUS 52722 HAS SOUPS 52722 WITH SCORE 52791.519
AT ITER 3961 NEW BEST:: SOT 144282 SOS 69443 HAS SOPS 69443 HAS SOUS 52646 HAS SOUPS 52646 WITH SCORE 52715.443
AT ITER 3967 NEW BEST:: SOT 144261 SOS 69343 HAS SOPS 69343 HAS SOUS 52546 HAS SOUPS 52546 WITH SCORE 52615.343
AT ITER 4007 NEW BEST:: SOT 144253 SOS 69317 HAS SOPS 69317 HAS SOUS 52490 HAS SOUPS 52490 WITH SCORE 52559.317
AT ITER 4023 NEW BEST:: SOT 144221 SOS 69285 HAS SOPS 69285 HAS SOUS 52438 HAS SOUPS 52438 WITH SCORE 52507.285
AT ITER 4036 NEW BEST:: SOT 144230 SOS 69272 HAS SOPS 69272 HAS SOUS 52432 HAS SOUPS 52432 WITH SCORE 52501.272
AT ITER 4068 NEW BEST:: SOT 144228 SOS 69270 HAS SOPS 69270 HAS SOUS 52430 HAS SOUPS 52430 WITH SCORE 52499.27
AT ITER 4070 NEW BEST:: SOT 144194 SOS 69209 HAS SOPS 69209 HAS SOUS 52369 HAS SOUPS 52369 WITH SCORE 52438.209
AT ITER 4100 NEW BEST:: SOT 144221 SOS 69173 HAS SOPS 69173 HAS SOUS 52342 HAS SOUPS 52342 WITH SCORE 52411.173
AT ITER 4101 NEW BEST:: SOT 144176 SOS 69128 HAS SOPS 69128 HAS SOUS 52297 HAS SOUPS 52297 WITH SCORE 52366.128
AT ITER 4103 NEW BEST:: SOT 144172 SOS 69116 HAS SOPS 69116 HAS SOUS 52285 HAS SOUPS 52285 WITH SCORE 52354.116
AT ITER 4112 NEW BEST:: SOT 144172 SOS 69143 HAS SOPS 69143 HAS SOUS 52256 HAS SOUPS 52256 WITH SCORE 52325.143
AT ITER 4124 NEW BEST:: SOT 144125 SOS 69085 HAS SOPS 69085 HAS SOUS 52062 HAS SOUPS 52062 WITH SCORE 52131.085
AT ITER 4132 NEW BEST:: SOT 144128 SOS 69088 HAS SOPS 69088 HAS SOUS 52057 HAS SOUPS 52057 WITH SCORE 52126.088
AT ITER 4142 NEW BEST:: SOT 144156 SOS 69088 HAS SOPS 69088 HAS SOUS 52029 HAS SOUPS 52029 WITH SCORE 52098.088
AT ITER 4153 NEW BEST:: SOT 144069 SOS 69001 HAS SOPS 69001 HAS SOUS 51942 HAS SOUPS 51942 WITH SCORE 52011.001
AT ITER 4173 NEW BEST:: SOT 144047 SOS 68979 HAS SOPS 68979 HAS SOUS 51920 HAS SOUPS 51920 WITH SCORE 51988.979
AT ITER 4196 NEW BEST:: SOT 144013 SOS 68936 HAS SOPS 68936 HAS SOUS 51877 HAS SOUPS 51877 WITH SCORE 51945.936
AT ITER 4197 NEW BEST:: SOT 143975 SOS 68858 HAS SOPS 68858 HAS SOUS 51801 HAS SOUPS 51801 WITH SCORE 51869.858
AT ITER 4199 NEW BEST:: SOT 143963 SOS 68834 HAS SOPS 68834 HAS SOUS 51777 HAS SOUPS 51777 WITH SCORE 51845.834
AT ITER 4205 NEW BEST:: SOT 143963 SOS 68781 HAS SOPS 68781 HAS SOUS 51724 HAS SOUPS 51724 WITH SCORE 51792.781
AT ITER 4233 NEW BEST:: SOT 143963 SOS 68777 HAS SOPS 68777 HAS SOUS 51722 HAS SOUPS 51722 WITH SCORE 51790.777
AT ITER 4252 NEW BEST:: SOT 143887 SOS 68642 HAS SOPS 68642 HAS SOUS 51553 HAS SOUPS 51553 WITH SCORE 51621.642
AT ITER 4253 NEW BEST:: SOT 143934 SOS 68485 HAS SOPS 68485 HAS SOUS 51521 HAS SOUPS 51521 WITH SCORE 51589.485
AT ITER 4264 NEW BEST:: SOT 143852 SOS 68245 HAS SOPS 68245 HAS SOUS 51465 HAS SOUPS 51465 WITH SCORE 51533.245
AT ITER 4266 NEW BEST:: SOT 143852 SOS 68248 HAS SOPS 68248 HAS SOUS 51432 HAS SOUPS 51432 WITH SCORE 51500.248
AT ITER 4272 NEW BEST:: SOT 143904 SOS 68362 HAS SOPS 68362 HAS SOUS 51362 HAS SOUPS 51362 WITH SCORE 51430.362
AT ITER 4274 NEW BEST:: SOT 143914 SOS 68347 HAS SOPS 68347 HAS SOUS 51347 HAS SOUPS 51347 WITH SCORE 51415.347
AT ITER 4294 NEW BEST:: SOT 143887 SOS 68336 HAS SOPS 68336 HAS SOUS 51313 HAS SOUPS 51313 WITH SCORE 51381.336
AT ITER 4302 NEW BEST:: SOT 143835 SOS 68267 HAS SOPS 68267 HAS SOUS 51244 HAS SOUPS 51244 WITH SCORE 51312.267
AT ITER 4317 NEW BEST:: SOT 143862 SOS 68253 HAS SOPS 68253 HAS SOUS 51233 HAS SOUPS 51233 WITH SCORE 51301.253
AT ITER 4322 NEW BEST:: SOT 143822 SOS 68189 HAS SOPS 68189 HAS SOUS 51174 HAS SOUPS 51174 WITH SCORE 51242.189
AT ITER 4326 NEW BEST:: SOT 143883 SOS 68195 HAS SOPS 68195 HAS SOUS 51146 HAS SOUPS 51146 WITH SCORE 51214.195
AT ITER 4336 NEW BEST:: SOT 143817 SOS 68129 HAS SOPS 68129 HAS SOUS 51080 HAS SOUPS 51080 WITH SCORE 51148.129
AT ITER 4366 NEW BEST:: SOT 143790 SOS 68066 HAS SOPS 68066 HAS SOUS 51044 HAS SOUPS 51044 WITH SCORE 51112.066
AT ITER 4389 NEW BEST:: SOT 143647 SOS 67911 HAS SOPS 67911 HAS SOUS 50889 HAS SOUPS 50889 WITH SCORE 50956.911
AT ITER 4393 NEW BEST:: SOT 143647 SOS 67899 HAS SOPS 67899 HAS SOUS 50875 HAS SOUPS 50875 WITH SCORE 50942.899
AT ITER 4414 NEW BEST:: SOT 143630 SOS 67882 HAS SOPS 67882 HAS SOUS 50858 HAS SOUPS 50858 WITH SCORE 50925.882
AT ITER 4418 NEW BEST:: SOT 143633 SOS 67881 HAS SOPS 67881 HAS SOUS 50856 HAS SOUPS 50856 WITH SCORE 50923.881
AT ITER 4431 NEW BEST:: SOT 143603 SOS 67721 HAS SOPS 67721 HAS SOUS 50705 HAS SOUPS 50705 WITH SCORE 50772.721
AT ITER 4438 NEW BEST:: SOT 143559 SOS 67673 HAS SOPS 67673 HAS SOUS 50657 HAS SOUPS 50657 WITH SCORE 50724.673
AT ITER 4451 NEW BEST:: SOT 143419 SOS 67443 HAS SOPS 67443 HAS SOUS 50427 HAS SOUPS 50427 WITH SCORE 50494.443
AT ITER 4454 NEW BEST:: SOT 143353 SOS 67377 HAS SOPS 67377 HAS SOUS 50361 HAS SOUPS 50361 WITH SCORE 50428.377
AT ITER 4488 NEW BEST:: SOT 143315 SOS 67394 HAS SOPS 67394 HAS SOUS 50353 HAS SOUPS 50353 WITH SCORE 50420.394
AT ITER 4500 NEW BEST:: SOT 143315 SOS 67389 HAS SOPS 67389 HAS SOUS 50348 HAS SOUPS 50348 WITH SCORE 50415.389
AT ITER 4538 NEW BEST:: SOT 143159 SOS 67281 HAS SOPS 67281 HAS SOUS 50229 HAS SOUPS 50229 WITH SCORE 50296.281
AT ITER 4539 NEW BEST:: SOT 143154 SOS 67273 HAS SOPS 67273 HAS SOUS 50221 HAS SOUPS 50221 WITH SCORE 50288.273
AT ITER 4544 NEW BEST:: SOT 143151 SOS 67270 HAS SOPS 67270 HAS SOUS 50215 HAS SOUPS 50215 WITH SCORE 50282.27
AT ITER 4553 NEW BEST:: SOT 143139 SOS 67258 HAS SOPS 67258 HAS SOUS 50203 HAS SOUPS 50203 WITH SCORE 50270.258
AT ITER 4563 NEW BEST:: SOT 143133 SOS 67252 HAS SOPS 67252 HAS SOUS 50197 HAS SOUPS 50197 WITH SCORE 50264.252
AT ITER 4566 NEW BEST:: SOT 143078 SOS 67197 HAS SOPS 67197 HAS SOUS 50142 HAS SOUPS 50142 WITH SCORE 50209.197
AT ITER 4572 NEW BEST:: SOT 143078 SOS 67208 HAS SOPS 67208 HAS SOUS 50127 HAS SOUPS 50127 WITH SCORE 50194.208
AT ITER 4573 NEW BEST:: SOT 143075 SOS 67199 HAS SOPS 67199 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50176.199
AT ITER 4594 NEW BEST:: SOT 143075 SOS 67469 HAS SOPS 67469 HAS SOUS 50083 HAS SOUPS 50083 WITH SCORE 50150.469
AT ITER 4599 NEW BEST:: SOT 143075 SOS 67459 HAS SOPS 67459 HAS SOUS 50068 HAS SOUPS 50068 WITH SCORE 50135.459
AT ITER 4602 NEW BEST:: SOT 142814 SOS 66627 HAS SOPS 66627 HAS SOUS 49643 HAS SOUPS 49643 WITH SCORE 49709.627
AT ITER 4608 NEW BEST:: SOT 142812 SOS 66623 HAS SOPS 66623 HAS SOUS 49635 HAS SOUPS 49635 WITH SCORE 49701.623
AT ITER 4616 NEW BEST:: SOT 142788 SOS 66479 HAS SOPS 66479 HAS SOUS 49563 HAS SOUPS 49563 WITH SCORE 49629.479
AT ITER 4636 NEW BEST:: SOT 142752 SOS 66416 HAS SOPS 66416 HAS SOUS 49500 HAS SOUPS 49500 WITH SCORE 49566.416
AT ITER 4642 NEW BEST:: SOT 142693 SOS 66292 HAS SOPS 66292 HAS SOUS 49376 HAS SOUPS 49376 WITH SCORE 49442.292
AT ITER 4645 NEW BEST:: SOT 142660 SOS 66303 HAS SOPS 66303 HAS SOUS 49373 HAS SOUPS 49373 WITH SCORE 49439.303
AT ITER 4656 NEW BEST:: SOT 142519 SOS 66083 HAS SOPS 66083 HAS SOUS 49164 HAS SOUPS 49164 WITH SCORE 49230.083
AT ITER 4667 NEW BEST:: SOT 142519 SOS 66081 HAS SOPS 66081 HAS SOUS 49162 HAS SOUPS 49162 WITH SCORE 49228.081
AT ITER 4684 NEW BEST:: SOT 142514 SOS 66068 HAS SOPS 66068 HAS SOUS 49149 HAS SOUPS 49149 WITH SCORE 49215.068
AT ITER 4693 NEW BEST:: SOT 142550 SOS 65793 HAS SOPS 65793 HAS SOUS 49106 HAS SOUPS 49106 WITH SCORE 49171.793
AT ITER 4719 NEW BEST:: SOT 142528 SOS 65749 HAS SOPS 65749 HAS SOUS 49018 HAS SOUPS 49018 WITH SCORE 49083.749
AT ITER 4738 NEW BEST:: SOT 142528 SOS 65720 HAS SOPS 65720 HAS SOUS 48984 HAS SOUPS 48984 WITH SCORE 49049.72
AT ITER 4777 NEW BEST:: SOT 142528 SOS 65714 HAS SOPS 65714 HAS SOUS 48978 HAS SOUPS 48978 WITH SCORE 49043.714
AT ITER 4828 NEW BEST:: SOT 142510 SOS 65696 HAS SOPS 65696 HAS SOUS 48960 HAS SOUPS 48960 WITH SCORE 49025.696
AT ITER 4850 NEW BEST:: SOT 142510 SOS 65564 HAS SOPS 65564 HAS SOUS 48927 HAS SOUPS 48927 WITH SCORE 48992.564
AT ITER 4852 NEW BEST:: SOT 142509 SOS 65563 HAS SOPS 65563 HAS SOUS 48915 HAS SOUPS 48915 WITH SCORE 48980.563
AT ITER 4873 NEW BEST:: SOT 142604 SOS 65691 HAS SOPS 65691 HAS SOUS 48913 HAS SOUPS 48913 WITH SCORE 48978.691
AT ITER 4882 NEW BEST:: SOT 142606 SOS 65491 HAS SOPS 65491 HAS SOUS 48853 HAS SOUPS 48853 WITH SCORE 48918.491
AT ITER 4894 NEW BEST:: SOT 142641 SOS 65468 HAS SOPS 65468 HAS SOUS 48820 HAS SOUPS 48820 WITH SCORE 48885.468
AT ITER 4911 NEW BEST:: SOT 142532 SOS 65197 HAS SOPS 65197 HAS SOUS 48576 HAS SOUPS 48576 WITH SCORE 48641.197
AT ITER 4912 NEW BEST:: SOT 142532 SOS 65181 HAS SOPS 65181 HAS SOUS 48560 HAS SOUPS 48560 WITH SCORE 48625.181
AT ITER 4939 NEW BEST:: SOT 142496 SOS 65163 HAS SOPS 65163 HAS SOUS 48539 HAS SOUPS 48539 WITH SCORE 48604.163
AT ITER 4981 NEW BEST:: SOT 142476 SOS 65149 HAS SOPS 65149 HAS SOUS 48501 HAS SOUPS 48501 WITH SCORE 48566.149
AT ITER 4997 NEW BEST:: SOT 142461 SOS 65140 HAS SOPS 65140 HAS SOUS 48492 HAS SOUPS 48492 WITH SCORE 48557.14
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-00 (! (AF( ( ( ( ((potential((tk(P179)>=1) & (tk(P200)>=1)))) & ((potential((tk(P117)>=1)))) ) | ((potential((tk(P180)>=1) & (tk(P195)>=1)))) ) & (EF( ((potential((tk(P483)>=1) & (tk(P485)>=1)))))) ))))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-01 (EF( (EG( ((potential((tk(P289)>=1) & (tk(P299)>=1) & (tk(P303)>=1))))))))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-02 (! (! (EF( ( ( ((potential((tk(P387)>=1) & (tk(P391)>=1) & (tk(P402)>=1)))) & ((potential((tk(P298)>=1)))) ) & ( ((potential((tk(P309)>=1) & (tk(P323)>=1)))) | ((potential((tk(P162)>=1) & (tk(P166)>=1) & (tk(P178)>=1)))) ) )))))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-03 ( (AU( ( (! ((potential((tk(P41)>=1))))) | (! ((potential((tk(P123)>=1))))) ) , (AX( ((potential((tk(P101)>=1)))))) )) | (! ( (AX( ( ((potential((tk(P130)>=1) & (tk(P145)>=1)))) & ((potential((tk(P14)>=1) & (tk(P24)>=1) & (tk(P26)>=1)))) ))) | (! ((potential((tk(P181)>=1) & (tk(P194)>=1))))) )) )
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-04 (AX( (AF( ( ((potential((tk(P109)>=1) & (tk(P124)>=1)))) & ((potential((tk(P64)>=1) & (tk(P74)>=1) & (tk(P78)>=1)))) )))))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-05 (AF( ( ( (! ( ((potential((tk(P339)>=1) & (tk(P349)>=1) & (tk(P353)>=1)))) | ((potential((tk(P13)>=1) & (tk(P46)>=1)))) )) & ( ( ((potential((tk(P80)>=1) & (tk(P95)>=1)))) & ((potential((tk(P77)>=1)))) ) | ( ((potential((tk(P212)>=1) & (tk(P218)>=1) & (tk(P228)>=1)))) & ((potential((tk(P489)>=1) & (tk(P499)>=1) & (tk(P503)>=1)))) ) ) ) & (AX( ( ((potential((tk(P5)>=1) & (tk(P20)>=1)))) & ((potential((tk(P259)>=1) & (tk(P274)>=1)))) ))) )))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-06 (AU( (AF( (! ((potential((tk(P459)>=1) & (tk(P474)>=1))))))) , ((potential((tk(P339)>=1) & (tk(P349)>=1) & (tk(P353)>=1)))) ))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-07 (! (EU( (! ((potential((tk(P73)>=1))))) , ((potential((tk(P437)>=1) & (tk(P441)>=1) & (tk(P452)>=1)))) )))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-08 ( ( (AF( (AF( ((potential((tk(P384)>=1) & (tk(P398)>=1)))))))) | ( (AF( ((potential((tk(P462)>=1) & (tk(P468)>=1) & (tk(P477)>=1)))))) | (! (! ((potential((tk(P133)>=1) & (tk(P135)>=1)))))) ) ) & ( ((potential((tk(P62)>=1) & (tk(P68)>=1) & (tk(P77)>=1)))) | (! (AX( ((potential((tk(P32)>=1) & (tk(P42)>=1))))))) ) )
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-09 ( (! (AG( ( (! ((potential((tk(P164)>=1) & (tk(P174)>=1) & (tk(P176)>=1))))) | ( ((potential((tk(P23)>=1)))) | ((potential((tk(P39)>=1) & (tk(P47)>=1) & (tk(P51)>=1)))) ) )))) | ( (AX( (! (! ((potential((tk(P314)>=1) & (tk(P322)>=1) & (tk(P328)>=1)))))))) | (EG( (AG( ((potential((tk(P434)>=1) & (tk(P448)>=1)))))))) ) )
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-10 (EG( ( ((potential((tk(P357)>=1) & (tk(P367)>=1)))) | (! ( ( ((potential((tk(P257)>=1) & (tk(P268)>=1)))) & ((potential((tk(P212)>=1) & (tk(P218)>=1) & (tk(P227)>=1)))) ) & ((potential((tk(P237)>=1) & (tk(P241)>=1) & (tk(P252)>=1)))) )) )))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-11 (AF( ( ( (AF( ((potential((tk(P387)>=1) & (tk(P393)>=1) & (tk(P402)>=1)))))) | (AG( ((potential((tk(P122)>=1)))))) ) | (AG( ((potential((tk(P114)>=1) & (tk(P122)>=1) & (tk(P126)>=1)))))) )))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-12 (AU( ((potential((tk(P333)>=1) & (tk(P335)>=1)))) , (AF( ( ((potential((tk(P308)>=1) & (tk(P310)>=1)))) & ((potential((tk(P462)>=1) & (tk(P466)>=1) & (tk(P478)>=1)))) ))) ))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-13 (EF( ( ( (EG( ((potential((tk(P439)>=1) & (tk(P447)>=1) & (tk(P451)>=1)))))) & ( ((potential((tk(P229)>=1) & (tk(P250)>=1)))) & (! ((potential((tk(P12)>=1) & (tk(P16)>=1) & (tk(P27)>=1))))) ) ) | (EX( ( ((potential((tk(P209)>=1) & (tk(P224)>=1)))) & ((potential((tk(P64)>=1) & (tk(P72)>=1) & (tk(P76)>=1)))) ))) )))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-14 (EX( (EF( ( ((potential((tk(P264)>=1) & (tk(P272)>=1) & (tk(P278)>=1)))) | ((potential((tk(P264)>=1) & (tk(P272)>=1) & (tk(P276)>=1)))) )))))
PROPERTY: ShieldIIPs-PT-020A-CTLFireability-15 (AF( ((potential((tk(P476)>=1))))))

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldIIPs-PT-020A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPs-PT-020A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469000140"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-020A.tgz
mv ShieldIIPs-PT-020A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;