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-159033469000139.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000139
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-01
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-02
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-03
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-04
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-05
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-06
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-07
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-08
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-09
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-10
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-11
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-12
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-13
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-14
FORMULA_NAME ShieldIIPs-PT-020A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590435537218

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 020A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 3 NEW BEST:: SOT 165385 SOS 127882 HAS SOPS 127882 HAS SOUS 107982 HAS SOUPS 107982 WITH SCORE 108109.882
AT ITER 17 NEW BEST:: SOT 165303 SOS 127507 HAS SOPS 127507 HAS SOUS 107976 HAS SOUPS 107976 WITH SCORE 108103.507
AT ITER 19 NEW BEST:: SOT 165367 SOS 127253 HAS SOPS 127253 HAS SOUS 107941 HAS SOUPS 107941 WITH SCORE 108068.253
AT ITER 26 NEW BEST:: SOT 165227 SOS 126668 HAS SOPS 126668 HAS SOUS 107842 HAS SOUPS 107842 WITH SCORE 107968.668
AT ITER 30 NEW BEST:: SOT 165413 SOS 126575 HAS SOPS 126575 HAS SOUS 107837 HAS SOUPS 107837 WITH SCORE 107963.575
AT ITER 43 NEW BEST:: SOT 165369 SOS 126355 HAS SOPS 126355 HAS SOUS 107805 HAS SOUPS 107805 WITH SCORE 107931.355
AT ITER 53 NEW BEST:: SOT 165448 SOS 126434 HAS SOPS 126434 HAS SOUS 107802 HAS SOUPS 107802 WITH SCORE 107928.434
AT ITER 57 NEW BEST:: SOT 165419 SOS 125997 HAS SOPS 125997 HAS SOUS 107613 HAS SOUPS 107613 WITH SCORE 107738.997
AT ITER 61 NEW BEST:: SOT 165414 SOS 125969 HAS SOPS 125969 HAS SOUS 107606 HAS SOUPS 107606 WITH SCORE 107731.969
AT ITER 64 NEW BEST:: SOT 165266 SOS 125821 HAS SOPS 125821 HAS SOUS 107458 HAS SOUPS 107458 WITH SCORE 107583.821
AT ITER 76 NEW BEST:: SOT 165248 SOS 125820 HAS SOPS 125820 HAS SOUS 107457 HAS SOUPS 107457 WITH SCORE 107582.82
AT ITER 81 NEW BEST:: SOT 165221 SOS 125771 HAS SOPS 125771 HAS SOUS 107441 HAS SOUPS 107441 WITH SCORE 107566.771
AT ITER 82 NEW BEST:: SOT 165221 SOS 125485 HAS SOPS 125485 HAS SOUS 107427 HAS SOUPS 107427 WITH SCORE 107552.485
AT ITER 85 NEW BEST:: SOT 165290 SOS 125471 HAS SOPS 125471 HAS SOUS 107413 HAS SOUPS 107413 WITH SCORE 107538.471
AT ITER 93 NEW BEST:: SOT 165171 SOS 125352 HAS SOPS 125352 HAS SOUS 107294 HAS SOUPS 107294 WITH SCORE 107419.352
AT ITER 96 NEW BEST:: SOT 165156 SOS 125307 HAS SOPS 125307 HAS SOUS 107263 HAS SOUPS 107263 WITH SCORE 107388.307
AT ITER 103 NEW BEST:: SOT 165049 SOS 125030 HAS SOPS 125030 HAS SOUS 107004 HAS SOUPS 107004 WITH SCORE 107129.03
AT ITER 107 NEW BEST:: SOT 164898 SOS 124837 HAS SOPS 124837 HAS SOUS 106811 HAS SOUPS 106811 WITH SCORE 106935.837
AT ITER 109 NEW BEST:: SOT 165226 SOS 124808 HAS SOPS 124808 HAS SOUS 106722 HAS SOUPS 106722 WITH SCORE 106846.808
AT ITER 116 NEW BEST:: SOT 165353 SOS 124607 HAS SOPS 124607 HAS SOUS 106457 HAS SOUPS 106457 WITH SCORE 106581.607
AT ITER 122 NEW BEST:: SOT 165245 SOS 124499 HAS SOPS 124499 HAS SOUS 106349 HAS SOUPS 106349 WITH SCORE 106473.499
AT ITER 123 NEW BEST:: SOT 165274 SOS 124395 HAS SOPS 124395 HAS SOUS 106245 HAS SOUPS 106245 WITH SCORE 106369.395
AT ITER 131 NEW BEST:: SOT 165273 SOS 124365 HAS SOPS 124365 HAS SOUS 106244 HAS SOUPS 106244 WITH SCORE 106368.365
AT ITER 132 NEW BEST:: SOT 165243 SOS 124361 HAS SOPS 124361 HAS SOUS 106240 HAS SOUPS 106240 WITH SCORE 106364.361
AT ITER 138 NEW BEST:: SOT 165255 SOS 124308 HAS SOPS 124308 HAS SOUS 106187 HAS SOUPS 106187 WITH SCORE 106311.308
AT ITER 146 NEW BEST:: SOT 165596 SOS 124221 HAS SOPS 124221 HAS SOUS 106158 HAS SOUPS 106158 WITH SCORE 106282.221
AT ITER 148 NEW BEST:: SOT 165559 SOS 124182 HAS SOPS 124182 HAS SOUS 106149 HAS SOUPS 106149 WITH SCORE 106273.182
AT ITER 153 NEW BEST:: SOT 165559 SOS 124180 HAS SOPS 124180 HAS SOUS 106146 HAS SOUPS 106146 WITH SCORE 106270.18
AT ITER 157 NEW BEST:: SOT 165345 SOS 123705 HAS SOPS 123705 HAS SOUS 105671 HAS SOUPS 105671 WITH SCORE 105794.705
AT ITER 158 NEW BEST:: SOT 164795 SOS 123167 HAS SOPS 123167 HAS SOUS 105157 HAS SOUPS 105157 WITH SCORE 105280.167
AT ITER 162 NEW BEST:: SOT 164805 SOS 122716 HAS SOPS 122716 HAS SOUS 104990 HAS SOUPS 104990 WITH SCORE 105112.716
AT ITER 166 NEW BEST:: SOT 164699 SOS 122610 HAS SOPS 122610 HAS SOUS 104884 HAS SOUPS 104884 WITH SCORE 105006.61
AT ITER 169 NEW BEST:: SOT 164699 SOS 122557 HAS SOPS 122557 HAS SOUS 104883 HAS SOUPS 104883 WITH SCORE 105005.557
AT ITER 172 NEW BEST:: SOT 164624 SOS 122451 HAS SOPS 122451 HAS SOUS 104777 HAS SOUPS 104777 WITH SCORE 104899.451
AT ITER 179 NEW BEST:: SOT 164624 SOS 122451 HAS SOPS 122451 HAS SOUS 104776 HAS SOUPS 104776 WITH SCORE 104898.451
AT ITER 181 NEW BEST:: SOT 164505 SOS 122330 HAS SOPS 122330 HAS SOUS 104655 HAS SOUPS 104655 WITH SCORE 104777.33
AT ITER 185 NEW BEST:: SOT 164352 SOS 122176 HAS SOPS 122176 HAS SOUS 104501 HAS SOUPS 104501 WITH SCORE 104623.176
AT ITER 187 NEW BEST:: SOT 164352 SOS 122084 HAS SOPS 122084 HAS SOUS 104409 HAS SOUPS 104409 WITH SCORE 104531.084
AT ITER 194 NEW BEST:: SOT 164274 SOS 122006 HAS SOPS 122006 HAS SOUS 104331 HAS SOUPS 104331 WITH SCORE 104453.006
AT ITER 196 NEW BEST:: SOT 164217 SOS 121949 HAS SOPS 121949 HAS SOUS 104274 HAS SOUPS 104274 WITH SCORE 104395.949
AT ITER 209 NEW BEST:: SOT 164217 SOS 121735 HAS SOPS 121735 HAS SOUS 104244 HAS SOUPS 104244 WITH SCORE 104365.735
AT ITER 211 NEW BEST:: SOT 164155 SOS 121332 HAS SOPS 121332 HAS SOUS 104237 HAS SOUPS 104237 WITH SCORE 104358.332
AT ITER 214 NEW BEST:: SOT 164141 SOS 121134 HAS SOPS 121134 HAS SOUS 104098 HAS SOUPS 104098 WITH SCORE 104219.134
AT ITER 215 NEW BEST:: SOT 164100 SOS 121052 HAS SOPS 121052 HAS SOUS 104057 HAS SOUPS 104057 WITH SCORE 104178.052
AT ITER 235 NEW BEST:: SOT 164062 SOS 121014 HAS SOPS 121014 HAS SOUS 104019 HAS SOUPS 104019 WITH SCORE 104140.014
AT ITER 240 NEW BEST:: SOT 164062 SOS 120995 HAS SOPS 120995 HAS SOUS 103730 HAS SOUPS 103730 WITH SCORE 103850.995
AT ITER 242 NEW BEST:: SOT 163832 SOS 120792 HAS SOPS 120792 HAS SOUS 103583 HAS SOUPS 103583 WITH SCORE 103703.792
AT ITER 245 NEW BEST:: SOT 163803 SOS 120763 HAS SOPS 120763 HAS SOUS 103554 HAS SOUPS 103554 WITH SCORE 103674.763
AT ITER 247 NEW BEST:: SOT 163803 SOS 120428 HAS SOPS 120428 HAS SOUS 103507 HAS SOUPS 103507 WITH SCORE 103627.428
AT ITER 250 NEW BEST:: SOT 163801 SOS 120426 HAS SOPS 120426 HAS SOUS 103505 HAS SOUPS 103505 WITH SCORE 103625.426
AT ITER 251 NEW BEST:: SOT 163696 SOS 120321 HAS SOPS 120321 HAS SOUS 103400 HAS SOUPS 103400 WITH SCORE 103520.321
AT ITER 252 NEW BEST:: SOT 163476 SOS 120099 HAS SOPS 120099 HAS SOUS 103178 HAS SOUPS 103178 WITH SCORE 103298.099
AT ITER 280 NEW BEST:: SOT 163389 SOS 120012 HAS SOPS 120012 HAS SOUS 103007 HAS SOUPS 103007 WITH SCORE 103127.012
AT ITER 283 NEW BEST:: SOT 163333 SOS 119741 HAS SOPS 119741 HAS SOUS 102474 HAS SOUPS 102474 WITH SCORE 102593.741
AT ITER 286 NEW BEST:: SOT 163208 SOS 119615 HAS SOPS 119615 HAS SOUS 102348 HAS SOUPS 102348 WITH SCORE 102467.615
AT ITER 290 NEW BEST:: SOT 163259 SOS 119277 HAS SOPS 119277 HAS SOUS 102257 HAS SOUPS 102257 WITH SCORE 102376.277
AT ITER 294 NEW BEST:: SOT 163192 SOS 119183 HAS SOPS 119183 HAS SOUS 102107 HAS SOUPS 102107 WITH SCORE 102226.183
AT ITER 295 NEW BEST:: SOT 163056 SOS 118982 HAS SOPS 118982 HAS SOUS 101906 HAS SOUPS 101906 WITH SCORE 102024.982
AT ITER 301 NEW BEST:: SOT 163041 SOS 118616 HAS SOPS 118616 HAS SOUS 101850 HAS SOUPS 101850 WITH SCORE 101968.616
AT ITER 305 NEW BEST:: SOT 163033 SOS 118608 HAS SOPS 118608 HAS SOUS 101842 HAS SOUPS 101842 WITH SCORE 101960.608
AT ITER 306 NEW BEST:: SOT 163275 SOS 118411 HAS SOPS 118411 HAS SOUS 101743 HAS SOUPS 101743 WITH SCORE 101861.411
AT ITER 309 NEW BEST:: SOT 163204 SOS 118340 HAS SOPS 118340 HAS SOUS 101671 HAS SOUPS 101671 WITH SCORE 101789.34
AT ITER 316 NEW BEST:: SOT 163092 SOS 117810 HAS SOPS 117810 HAS SOUS 101395 HAS SOUPS 101395 WITH SCORE 101512.81
AT ITER 318 NEW BEST:: SOT 163092 SOS 117714 HAS SOPS 117714 HAS SOUS 101299 HAS SOUPS 101299 WITH SCORE 101416.714
AT ITER 322 NEW BEST:: SOT 163030 SOS 117748 HAS SOPS 117748 HAS SOUS 101293 HAS SOUPS 101293 WITH SCORE 101410.748
AT ITER 328 NEW BEST:: SOT 163038 SOS 117756 HAS SOPS 117756 HAS SOUS 101002 HAS SOUPS 101002 WITH SCORE 101119.756
AT ITER 341 NEW BEST:: SOT 162917 SOS 117635 HAS SOPS 117635 HAS SOUS 100802 HAS SOUPS 100802 WITH SCORE 100919.635
AT ITER 342 NEW BEST:: SOT 162794 SOS 117512 HAS SOPS 117512 HAS SOUS 100679 HAS SOUPS 100679 WITH SCORE 100796.512
AT ITER 344 NEW BEST:: SOT 162676 SOS 117394 HAS SOPS 117394 HAS SOUS 100510 HAS SOUPS 100510 WITH SCORE 100627.394
AT ITER 346 NEW BEST:: SOT 162676 SOS 117319 HAS SOPS 117319 HAS SOUS 100435 HAS SOUPS 100435 WITH SCORE 100552.319
AT ITER 350 NEW BEST:: SOT 162645 SOS 117288 HAS SOPS 117288 HAS SOUS 100403 HAS SOUPS 100403 WITH SCORE 100520.288
AT ITER 352 NEW BEST:: SOT 162533 SOS 117174 HAS SOPS 117174 HAS SOUS 100284 HAS SOUPS 100284 WITH SCORE 100401.174
AT ITER 355 NEW BEST:: SOT 162533 SOS 117158 HAS SOPS 117158 HAS SOUS 100268 HAS SOUPS 100268 WITH SCORE 100385.158
AT ITER 356 NEW BEST:: SOT 162466 SOS 117104 HAS SOPS 117104 HAS SOUS 100214 HAS SOUPS 100214 WITH SCORE 100331.104
AT ITER 359 NEW BEST:: SOT 162417 SOS 117055 HAS SOPS 117055 HAS SOUS 100165 HAS SOUPS 100165 WITH SCORE 100282.055
AT ITER 364 NEW BEST:: SOT 162093 SOS 116703 HAS SOPS 116703 HAS SOUS 99813 HAS SOUPS 99813 WITH SCORE 99929.703
AT ITER 366 NEW BEST:: SOT 162051 SOS 116661 HAS SOPS 116661 HAS SOUS 99771 HAS SOUPS 99771 WITH SCORE 99887.661
AT ITER 367 NEW BEST:: SOT 161898 SOS 116424 HAS SOPS 116424 HAS SOUS 99391 HAS SOUPS 99391 WITH SCORE 99507.424
AT ITER 371 NEW BEST:: SOT 161866 SOS 116303 HAS SOPS 116303 HAS SOUS 99003 HAS SOUPS 99003 WITH SCORE 99119.303
AT ITER 372 NEW BEST:: SOT 161756 SOS 116193 HAS SOPS 116193 HAS SOUS 98893 HAS SOUPS 98893 WITH SCORE 99009.193
AT ITER 380 NEW BEST:: SOT 161628 SOS 115737 HAS SOPS 115737 HAS SOUS 98861 HAS SOUPS 98861 WITH SCORE 98976.737
AT ITER 384 NEW BEST:: SOT 161628 SOS 115719 HAS SOPS 115719 HAS SOUS 98841 HAS SOUPS 98841 WITH SCORE 98956.719
AT ITER 385 NEW BEST:: SOT 161443 SOS 115534 HAS SOPS 115534 HAS SOUS 98656 HAS SOUPS 98656 WITH SCORE 98771.534
AT ITER 390 NEW BEST:: SOT 161422 SOS 115512 HAS SOPS 115512 HAS SOUS 98634 HAS SOUPS 98634 WITH SCORE 98749.512
AT ITER 392 NEW BEST:: SOT 161422 SOS 115320 HAS SOPS 115320 HAS SOUS 98560 HAS SOUPS 98560 WITH SCORE 98675.32
AT ITER 394 NEW BEST:: SOT 161308 SOS 115124 HAS SOPS 115124 HAS SOUS 98364 HAS SOUPS 98364 WITH SCORE 98479.124
AT ITER 399 NEW BEST:: SOT 161336 SOS 115082 HAS SOPS 115082 HAS SOUS 98322 HAS SOUPS 98322 WITH SCORE 98437.082
AT ITER 419 NEW BEST:: SOT 161250 SOS 114994 HAS SOPS 114994 HAS SOUS 98234 HAS SOUPS 98234 WITH SCORE 98348.994
AT ITER 422 NEW BEST:: SOT 160978 SOS 114720 HAS SOPS 114720 HAS SOUS 97960 HAS SOUPS 97960 WITH SCORE 98074.72
AT ITER 424 NEW BEST:: SOT 160975 SOS 114717 HAS SOPS 114717 HAS SOUS 97957 HAS SOUPS 97957 WITH SCORE 98071.717
AT ITER 435 NEW BEST:: SOT 160975 SOS 114762 HAS SOPS 114762 HAS SOUS 97763 HAS SOUPS 97763 WITH SCORE 97877.762
AT ITER 436 NEW BEST:: SOT 160859 SOS 114271 HAS SOPS 114271 HAS SOUS 97632 HAS SOUPS 97632 WITH SCORE 97746.271
AT ITER 444 NEW BEST:: SOT 161524 SOS 114176 HAS SOPS 114176 HAS SOUS 97569 HAS SOUPS 97569 WITH SCORE 97683.176
AT ITER 448 NEW BEST:: SOT 161573 SOS 114225 HAS SOPS 114225 HAS SOUS 97535 HAS SOUPS 97535 WITH SCORE 97649.225
AT ITER 450 NEW BEST:: SOT 161600 SOS 114149 HAS SOPS 114149 HAS SOUS 97495 HAS SOUPS 97495 WITH SCORE 97609.149
AT ITER 451 NEW BEST:: SOT 161600 SOS 114157 HAS SOPS 114157 HAS SOUS 97483 HAS SOUPS 97483 WITH SCORE 97597.157
AT ITER 452 NEW BEST:: SOT 161819 SOS 114593 HAS SOPS 114593 HAS SOUS 97439 HAS SOUPS 97439 WITH SCORE 97553.593
AT ITER 453 NEW BEST:: SOT 161752 SOS 114536 HAS SOPS 114536 HAS SOUS 97382 HAS SOUPS 97382 WITH SCORE 97496.536
AT ITER 457 NEW BEST:: SOT 161556 SOS 114243 HAS SOPS 114243 HAS SOUS 97143 HAS SOUPS 97143 WITH SCORE 97257.243
AT ITER 459 NEW BEST:: SOT 161449 SOS 114112 HAS SOPS 114112 HAS SOUS 97092 HAS SOUPS 97092 WITH SCORE 97206.112
AT ITER 464 NEW BEST:: SOT 161334 SOS 113991 HAS SOPS 113991 HAS SOUS 96971 HAS SOUPS 96971 WITH SCORE 97084.991
AT ITER 466 NEW BEST:: SOT 161204 SOS 113810 HAS SOPS 113810 HAS SOUS 96790 HAS SOUPS 96790 WITH SCORE 96903.81
AT ITER 476 NEW BEST:: SOT 161098 SOS 113704 HAS SOPS 113704 HAS SOUS 96684 HAS SOUPS 96684 WITH SCORE 96797.704
AT ITER 477 NEW BEST:: SOT 160756 SOS 113234 HAS SOPS 113234 HAS SOUS 96214 HAS SOUPS 96214 WITH SCORE 96327.234
AT ITER 479 NEW BEST:: SOT 160718 SOS 113177 HAS SOPS 113177 HAS SOUS 96192 HAS SOUPS 96192 WITH SCORE 96305.177
AT ITER 491 NEW BEST:: SOT 160624 SOS 113096 HAS SOPS 113096 HAS SOUS 96154 HAS SOUPS 96154 WITH SCORE 96267.096
AT ITER 493 NEW BEST:: SOT 160620 SOS 113092 HAS SOPS 113092 HAS SOUS 96150 HAS SOUPS 96150 WITH SCORE 96263.092
AT ITER 494 NEW BEST:: SOT 160546 SOS 112972 HAS SOPS 112972 HAS SOUS 96076 HAS SOUPS 96076 WITH SCORE 96188.972
AT ITER 504 NEW BEST:: SOT 160546 SOS 112971 HAS SOPS 112971 HAS SOUS 96075 HAS SOUPS 96075 WITH SCORE 96187.971
AT ITER 507 NEW BEST:: SOT 160236 SOS 112789 HAS SOPS 112789 HAS SOUS 95918 HAS SOUPS 95918 WITH SCORE 96030.789
AT ITER 512 NEW BEST:: SOT 160031 SOS 112582 HAS SOPS 112582 HAS SOUS 95711 HAS SOUPS 95711 WITH SCORE 95823.582
AT ITER 513 NEW BEST:: SOT 160031 SOS 112553 HAS SOPS 112553 HAS SOUS 95682 HAS SOUPS 95682 WITH SCORE 95794.553
AT ITER 514 NEW BEST:: SOT 160031 SOS 112525 HAS SOPS 112525 HAS SOUS 95654 HAS SOUPS 95654 WITH SCORE 95766.525
AT ITER 517 NEW BEST:: SOT 160007 SOS 112463 HAS SOPS 112463 HAS SOUS 95609 HAS SOUPS 95609 WITH SCORE 95721.463
AT ITER 529 NEW BEST:: SOT 159187 SOS 111596 HAS SOPS 111596 HAS SOUS 94791 HAS SOUPS 94791 WITH SCORE 94902.596
AT ITER 536 NEW BEST:: SOT 159103 SOS 111520 HAS SOPS 111520 HAS SOUS 94715 HAS SOUPS 94715 WITH SCORE 94826.52
AT ITER 547 NEW BEST:: SOT 159056 SOS 111473 HAS SOPS 111473 HAS SOUS 94668 HAS SOUPS 94668 WITH SCORE 94779.473
AT ITER 552 NEW BEST:: SOT 159041 SOS 111458 HAS SOPS 111458 HAS SOUS 94653 HAS SOUPS 94653 WITH SCORE 94764.458
AT ITER 554 NEW BEST:: SOT 159041 SOS 111458 HAS SOPS 111458 HAS SOUS 94650 HAS SOUPS 94650 WITH SCORE 94761.458
AT ITER 556 NEW BEST:: SOT 159041 SOS 111373 HAS SOPS 111373 HAS SOUS 94549 HAS SOUPS 94549 WITH SCORE 94660.373
AT ITER 558 NEW BEST:: SOT 159043 SOS 111375 HAS SOPS 111375 HAS SOUS 94548 HAS SOUPS 94548 WITH SCORE 94659.375
AT ITER 569 NEW BEST:: SOT 159043 SOS 111367 HAS SOPS 111367 HAS SOUS 94540 HAS SOUPS 94540 WITH SCORE 94651.367
AT ITER 572 NEW BEST:: SOT 159037 SOS 111361 HAS SOPS 111361 HAS SOUS 94470 HAS SOUPS 94470 WITH SCORE 94581.361
AT ITER 585 NEW BEST:: SOT 158936 SOS 111248 HAS SOPS 111248 HAS SOUS 94357 HAS SOUPS 94357 WITH SCORE 94468.248
AT ITER 586 NEW BEST:: SOT 158936 SOS 111200 HAS SOPS 111200 HAS SOUS 94333 HAS SOUPS 94333 WITH SCORE 94444.2
AT ITER 587 NEW BEST:: SOT 158906 SOS 111110 HAS SOPS 111110 HAS SOUS 94261 HAS SOUPS 94261 WITH SCORE 94372.11
AT ITER 590 NEW BEST:: SOT 158878 SOS 111067 HAS SOPS 111067 HAS SOUS 94218 HAS SOUPS 94218 WITH SCORE 94329.067
AT ITER 596 NEW BEST:: SOT 158849 SOS 111059 HAS SOPS 111059 HAS SOUS 94210 HAS SOUPS 94210 WITH SCORE 94321.059
AT ITER 600 NEW BEST:: SOT 158895 SOS 110813 HAS SOPS 110813 HAS SOUS 94199 HAS SOUPS 94199 WITH SCORE 94309.813
AT ITER 607 NEW BEST:: SOT 158921 SOS 110839 HAS SOPS 110839 HAS SOUS 94152 HAS SOUPS 94152 WITH SCORE 94262.839
AT ITER 611 NEW BEST:: SOT 159151 SOS 110445 HAS SOPS 110445 HAS SOUS 93802 HAS SOUPS 93802 WITH SCORE 93912.445
AT ITER 622 NEW BEST:: SOT 159021 SOS 110237 HAS SOPS 110237 HAS SOUS 93595 HAS SOUPS 93595 WITH SCORE 93705.237
AT ITER 640 NEW BEST:: SOT 158964 SOS 110180 HAS SOPS 110180 HAS SOUS 93538 HAS SOUPS 93538 WITH SCORE 93648.18
AT ITER 644 NEW BEST:: SOT 158934 SOS 110149 HAS SOPS 110149 HAS SOUS 93507 HAS SOUPS 93507 WITH SCORE 93617.149
AT ITER 649 NEW BEST:: SOT 159089 SOS 109926 HAS SOPS 109926 HAS SOUS 93326 HAS SOUPS 93326 WITH SCORE 93435.926
AT ITER 650 NEW BEST:: SOT 159089 SOS 109109 HAS SOPS 109109 HAS SOUS 92881 HAS SOUPS 92881 WITH SCORE 92990.109
AT ITER 653 NEW BEST:: SOT 158972 SOS 108555 HAS SOPS 108555 HAS SOUS 92688 HAS SOUPS 92688 WITH SCORE 92796.555
AT ITER 658 NEW BEST:: SOT 158953 SOS 108536 HAS SOPS 108536 HAS SOUS 92669 HAS SOUPS 92669 WITH SCORE 92777.536
AT ITER 660 NEW BEST:: SOT 158953 SOS 107732 HAS SOPS 107732 HAS SOUS 91739 HAS SOUPS 91739 WITH SCORE 91846.732
AT ITER 667 NEW BEST:: SOT 159067 SOS 107712 HAS SOPS 107712 HAS SOUS 91626 HAS SOUPS 91626 WITH SCORE 91733.712
AT ITER 672 NEW BEST:: SOT 158971 SOS 107611 HAS SOPS 107611 HAS SOUS 91525 HAS SOUPS 91525 WITH SCORE 91632.611
AT ITER 690 NEW BEST:: SOT 158851 SOS 107491 HAS SOPS 107491 HAS SOUS 91252 HAS SOUPS 91252 WITH SCORE 91359.491
AT ITER 692 NEW BEST:: SOT 158828 SOS 107299 HAS SOPS 107299 HAS SOUS 91081 HAS SOUPS 91081 WITH SCORE 91188.299
AT ITER 695 NEW BEST:: SOT 158788 SOS 107259 HAS SOPS 107259 HAS SOUS 91041 HAS SOUPS 91041 WITH SCORE 91148.259
AT ITER 698 NEW BEST:: SOT 158851 SOS 107083 HAS SOPS 107083 HAS SOUS 90865 HAS SOUPS 90865 WITH SCORE 90972.083
AT ITER 699 NEW BEST:: SOT 158831 SOS 106873 HAS SOPS 106873 HAS SOUS 90853 HAS SOUPS 90853 WITH SCORE 90959.873
AT ITER 700 NEW BEST:: SOT 158816 SOS 106843 HAS SOPS 106843 HAS SOUS 90822 HAS SOUPS 90822 WITH SCORE 90928.843
AT ITER 705 NEW BEST:: SOT 158711 SOS 106737 HAS SOPS 106737 HAS SOUS 90716 HAS SOUPS 90716 WITH SCORE 90822.737
AT ITER 715 NEW BEST:: SOT 158694 SOS 106720 HAS SOPS 106720 HAS SOUS 90341 HAS SOUPS 90341 WITH SCORE 90447.72
AT ITER 716 NEW BEST:: SOT 158635 SOS 106659 HAS SOPS 106659 HAS SOUS 90297 HAS SOUPS 90297 WITH SCORE 90403.659
AT ITER 722 NEW BEST:: SOT 158642 SOS 106666 HAS SOPS 106666 HAS SOUS 90290 HAS SOUPS 90290 WITH SCORE 90396.666
AT ITER 727 NEW BEST:: SOT 158153 SOS 105810 HAS SOPS 105810 HAS SOUS 89515 HAS SOUPS 89515 WITH SCORE 89620.81
AT ITER 729 NEW BEST:: SOT 158174 SOS 105827 HAS SOPS 105827 HAS SOUS 89492 HAS SOUPS 89492 WITH SCORE 89597.827
AT ITER 736 NEW BEST:: SOT 157996 SOS 105649 HAS SOPS 105649 HAS SOUS 89314 HAS SOUPS 89314 WITH SCORE 89419.649
AT ITER 739 NEW BEST:: SOT 158052 SOS 105520 HAS SOPS 105520 HAS SOUS 89228 HAS SOUPS 89228 WITH SCORE 89333.52
AT ITER 745 NEW BEST:: SOT 158214 SOS 105682 HAS SOPS 105682 HAS SOUS 89177 HAS SOUPS 89177 WITH SCORE 89282.682
AT ITER 746 NEW BEST:: SOT 158214 SOS 105901 HAS SOPS 105901 HAS SOUS 89165 HAS SOUPS 89165 WITH SCORE 89270.901
AT ITER 747 NEW BEST:: SOT 158211 SOS 105882 HAS SOPS 105882 HAS SOUS 89146 HAS SOUPS 89146 WITH SCORE 89251.882
AT ITER 748 NEW BEST:: SOT 158211 SOS 105899 HAS SOPS 105899 HAS SOUS 89123 HAS SOUPS 89123 WITH SCORE 89228.899
AT ITER 766 NEW BEST:: SOT 158225 SOS 105878 HAS SOPS 105878 HAS SOUS 89094 HAS SOUPS 89094 WITH SCORE 89199.878
AT ITER 771 NEW BEST:: SOT 158140 SOS 105831 HAS SOPS 105831 HAS SOUS 89047 HAS SOUPS 89047 WITH SCORE 89152.831
AT ITER 772 NEW BEST:: SOT 158140 SOS 105755 HAS SOPS 105755 HAS SOUS 88864 HAS SOUPS 88864 WITH SCORE 88969.755
AT ITER 773 NEW BEST:: SOT 158247 SOS 105747 HAS SOPS 105747 HAS SOUS 88730 HAS SOUPS 88730 WITH SCORE 88835.747
AT ITER 775 NEW BEST:: SOT 158247 SOS 105595 HAS SOPS 105595 HAS SOUS 88578 HAS SOUPS 88578 WITH SCORE 88683.595
AT ITER 776 NEW BEST:: SOT 158170 SOS 105233 HAS SOPS 105233 HAS SOUS 88485 HAS SOUPS 88485 WITH SCORE 88590.233
AT ITER 778 NEW BEST:: SOT 158207 SOS 105158 HAS SOPS 105158 HAS SOUS 88391 HAS SOUPS 88391 WITH SCORE 88496.158
AT ITER 785 NEW BEST:: SOT 158207 SOS 105158 HAS SOPS 105158 HAS SOUS 88367 HAS SOUPS 88367 WITH SCORE 88472.158
AT ITER 787 NEW BEST:: SOT 158048 SOS 104999 HAS SOPS 104999 HAS SOUS 88208 HAS SOUPS 88208 WITH SCORE 88312.999
AT ITER 795 NEW BEST:: SOT 157979 SOS 104930 HAS SOPS 104930 HAS SOUS 88139 HAS SOUPS 88139 WITH SCORE 88243.93
AT ITER 798 NEW BEST:: SOT 157911 SOS 104873 HAS SOPS 104873 HAS SOUS 88081 HAS SOUPS 88081 WITH SCORE 88185.873
AT ITER 801 NEW BEST:: SOT 157893 SOS 104821 HAS SOPS 104821 HAS SOUS 87995 HAS SOUPS 87995 WITH SCORE 88099.821
AT ITER 809 NEW BEST:: SOT 157720 SOS 104595 HAS SOPS 104595 HAS SOUS 87769 HAS SOUPS 87769 WITH SCORE 87873.595
AT ITER 812 NEW BEST:: SOT 157782 SOS 104510 HAS SOPS 104510 HAS SOUS 87636 HAS SOUPS 87636 WITH SCORE 87740.51
AT ITER 813 NEW BEST:: SOT 157844 SOS 104589 HAS SOPS 104589 HAS SOUS 87570 HAS SOUPS 87570 WITH SCORE 87674.589
AT ITER 815 NEW BEST:: SOT 157568 SOS 104190 HAS SOPS 104190 HAS SOUS 87218 HAS SOUPS 87218 WITH SCORE 87322.19
AT ITER 816 NEW BEST:: SOT 157890 SOS 104280 HAS SOPS 104280 HAS SOUS 87064 HAS SOUPS 87064 WITH SCORE 87168.28
AT ITER 820 NEW BEST:: SOT 158270 SOS 104380 HAS SOPS 104380 HAS SOUS 86926 HAS SOUPS 86926 WITH SCORE 87030.38
AT ITER 821 NEW BEST:: SOT 158298 SOS 104349 HAS SOPS 104349 HAS SOUS 86895 HAS SOUPS 86895 WITH SCORE 86999.349
AT ITER 839 NEW BEST:: SOT 158166 SOS 104227 HAS SOPS 104227 HAS SOUS 86773 HAS SOUPS 86773 WITH SCORE 86877.227
AT ITER 842 NEW BEST:: SOT 158136 SOS 104197 HAS SOPS 104197 HAS SOUS 86749 HAS SOUPS 86749 WITH SCORE 86853.197
AT ITER 845 NEW BEST:: SOT 158094 SOS 104169 HAS SOPS 104169 HAS SOUS 86744 HAS SOUPS 86744 WITH SCORE 86848.169
AT ITER 854 NEW BEST:: SOT 158090 SOS 104141 HAS SOPS 104141 HAS SOUS 86680 HAS SOUPS 86680 WITH SCORE 86784.141
AT ITER 861 NEW BEST:: SOT 157920 SOS 103971 HAS SOPS 103971 HAS SOUS 86430 HAS SOUPS 86430 WITH SCORE 86533.971
AT ITER 864 NEW BEST:: SOT 158057 SOS 103383 HAS SOPS 103383 HAS SOUS 85869 HAS SOUPS 85869 WITH SCORE 85972.383
AT ITER 868 NEW BEST:: SOT 158170 SOS 103237 HAS SOPS 103237 HAS SOUS 85869 HAS SOUPS 85869 WITH SCORE 85972.237
AT ITER 869 NEW BEST:: SOT 158164 SOS 103229 HAS SOPS 103229 HAS SOUS 85861 HAS SOUPS 85861 WITH SCORE 85964.229
AT ITER 874 NEW BEST:: SOT 158050 SOS 103023 HAS SOPS 103023 HAS SOUS 85648 HAS SOUPS 85648 WITH SCORE 85751.023
AT ITER 875 NEW BEST:: SOT 158046 SOS 103019 HAS SOPS 103019 HAS SOUS 85644 HAS SOUPS 85644 WITH SCORE 85747.019
AT ITER 885 NEW BEST:: SOT 158044 SOS 103027 HAS SOPS 103027 HAS SOUS 85571 HAS SOUPS 85571 WITH SCORE 85674.027
AT ITER 893 NEW BEST:: SOT 158040 SOS 103022 HAS SOPS 103022 HAS SOUS 85566 HAS SOUPS 85566 WITH SCORE 85669.022
AT ITER 899 NEW BEST:: SOT 157707 SOS 102562 HAS SOPS 102562 HAS SOUS 85106 HAS SOUPS 85106 WITH SCORE 85208.562
AT ITER 902 NEW BEST:: SOT 157493 SOS 102348 HAS SOPS 102348 HAS SOUS 84892 HAS SOUPS 84892 WITH SCORE 84994.348
AT ITER 905 NEW BEST:: SOT 157363 SOS 102096 HAS SOPS 102096 HAS SOUS 84810 HAS SOUPS 84810 WITH SCORE 84912.096
AT ITER 908 NEW BEST:: SOT 157331 SOS 101886 HAS SOPS 101886 HAS SOUS 84660 HAS SOUPS 84660 WITH SCORE 84761.886
AT ITER 913 NEW BEST:: SOT 157241 SOS 101592 HAS SOPS 101592 HAS SOUS 84512 HAS SOUPS 84512 WITH SCORE 84613.592
AT ITER 915 NEW BEST:: SOT 157241 SOS 101580 HAS SOPS 101580 HAS SOUS 84500 HAS SOUPS 84500 WITH SCORE 84601.58
AT ITER 917 NEW BEST:: SOT 157446 SOS 101419 HAS SOPS 101419 HAS SOUS 84500 HAS SOUPS 84500 WITH SCORE 84601.419
AT ITER 925 NEW BEST:: SOT 157279 SOS 101239 HAS SOPS 101239 HAS SOUS 84320 HAS SOUPS 84320 WITH SCORE 84421.239
AT ITER 931 NEW BEST:: SOT 157279 SOS 101197 HAS SOPS 101197 HAS SOUS 84316 HAS SOUPS 84316 WITH SCORE 84417.197
AT ITER 934 NEW BEST:: SOT 157279 SOS 101195 HAS SOPS 101195 HAS SOUS 84314 HAS SOUPS 84314 WITH SCORE 84415.195
AT ITER 944 NEW BEST:: SOT 157279 SOS 100957 HAS SOPS 100957 HAS SOUS 84268 HAS SOUPS 84268 WITH SCORE 84368.957
AT ITER 947 NEW BEST:: SOT 157025 SOS 100618 HAS SOPS 100618 HAS SOUS 83930 HAS SOUPS 83930 WITH SCORE 84030.618
AT ITER 951 NEW BEST:: SOT 156886 SOS 100222 HAS SOPS 100222 HAS SOUS 83608 HAS SOUPS 83608 WITH SCORE 83708.222
AT ITER 961 NEW BEST:: SOT 156929 SOS 100351 HAS SOPS 100351 HAS SOUS 83588 HAS SOUPS 83588 WITH SCORE 83688.351
AT ITER 962 NEW BEST:: SOT 156859 SOS 100281 HAS SOPS 100281 HAS SOUS 83518 HAS SOUPS 83518 WITH SCORE 83618.281
AT ITER 968 NEW BEST:: SOT 156383 SOS 99183 HAS SOPS 99183 HAS SOUS 82578 HAS SOUPS 82578 WITH SCORE 82677.183
AT ITER 972 NEW BEST:: SOT 156375 SOS 99097 HAS SOPS 99097 HAS SOUS 82530 HAS SOUPS 82530 WITH SCORE 82629.097
AT ITER 983 NEW BEST:: SOT 156332 SOS 99045 HAS SOPS 99045 HAS SOUS 82478 HAS SOUPS 82478 WITH SCORE 82577.045
AT ITER 987 NEW BEST:: SOT 156314 SOS 99020 HAS SOPS 99020 HAS SOUS 82434 HAS SOUPS 82434 WITH SCORE 82533.02
AT ITER 993 NEW BEST:: SOT 156040 SOS 98751 HAS SOPS 98751 HAS SOUS 82165 HAS SOUPS 82165 WITH SCORE 82263.751
AT ITER 1000 NEW BEST:: SOT 155910 SOS 98538 HAS SOPS 98538 HAS SOUS 82035 HAS SOUPS 82035 WITH SCORE 82133.538
AT ITER 1002 NEW BEST:: SOT 155905 SOS 98533 HAS SOPS 98533 HAS SOUS 82030 HAS SOUPS 82030 WITH SCORE 82128.533
AT ITER 1015 NEW BEST:: SOT 155921 SOS 98423 HAS SOPS 98423 HAS SOUS 81750 HAS SOUPS 81750 WITH SCORE 81848.423
AT ITER 1023 NEW BEST:: SOT 155921 SOS 98305 HAS SOPS 98305 HAS SOUS 81721 HAS SOUPS 81721 WITH SCORE 81819.305
AT ITER 1028 NEW BEST:: SOT 155828 SOS 98139 HAS SOPS 98139 HAS SOUS 81555 HAS SOUPS 81555 WITH SCORE 81653.139
AT ITER 1052 NEW BEST:: SOT 155635 SOS 97776 HAS SOPS 97776 HAS SOUS 81273 HAS SOUPS 81273 WITH SCORE 81370.776
AT ITER 1055 NEW BEST:: SOT 155487 SOS 97623 HAS SOPS 97623 HAS SOUS 81120 HAS SOUPS 81120 WITH SCORE 81217.623
AT ITER 1068 NEW BEST:: SOT 155487 SOS 97616 HAS SOPS 97616 HAS SOUS 81120 HAS SOUPS 81120 WITH SCORE 81217.616
AT ITER 1092 NEW BEST:: SOT 155455 SOS 97552 HAS SOPS 97552 HAS SOUS 81119 HAS SOUPS 81119 WITH SCORE 81216.552
AT ITER 1095 NEW BEST:: SOT 155435 SOS 97532 HAS SOPS 97532 HAS SOUS 81099 HAS SOUPS 81099 WITH SCORE 81196.532
AT ITER 1097 NEW BEST:: SOT 155403 SOS 97373 HAS SOPS 97373 HAS SOUS 80955 HAS SOUPS 80955 WITH SCORE 81052.373
AT ITER 1098 NEW BEST:: SOT 155377 SOS 97321 HAS SOPS 97321 HAS SOUS 80955 HAS SOUPS 80955 WITH SCORE 81052.321
AT ITER 1102 NEW BEST:: SOT 155349 SOS 97301 HAS SOPS 97301 HAS SOUS 80935 HAS SOUPS 80935 WITH SCORE 81032.301
AT ITER 1103 NEW BEST:: SOT 155167 SOS 97087 HAS SOPS 97087 HAS SOUS 80721 HAS SOUPS 80721 WITH SCORE 80818.087
AT ITER 1111 NEW BEST:: SOT 155167 SOS 97047 HAS SOPS 97047 HAS SOUS 80701 HAS SOUPS 80701 WITH SCORE 80798.047
AT ITER 1119 NEW BEST:: SOT 155167 SOS 97042 HAS SOPS 97042 HAS SOUS 80696 HAS SOUPS 80696 WITH SCORE 80793.042
AT ITER 1133 NEW BEST:: SOT 155167 SOS 97008 HAS SOPS 97008 HAS SOUS 80688 HAS SOUPS 80688 WITH SCORE 80785.008
AT ITER 1139 NEW BEST:: SOT 155123 SOS 96964 HAS SOPS 96964 HAS SOUS 80600 HAS SOUPS 80600 WITH SCORE 80696.964
AT ITER 1145 NEW BEST:: SOT 155055 SOS 96907 HAS SOPS 96907 HAS SOUS 80581 HAS SOUPS 80581 WITH SCORE 80677.907
AT ITER 1152 NEW BEST:: SOT 154983 SOS 96812 HAS SOPS 96812 HAS SOUS 80486 HAS SOUPS 80486 WITH SCORE 80582.812
AT ITER 1156 NEW BEST:: SOT 154983 SOS 96807 HAS SOPS 96807 HAS SOUS 80481 HAS SOUPS 80481 WITH SCORE 80577.807
AT ITER 1175 NEW BEST:: SOT 154983 SOS 96803 HAS SOPS 96803 HAS SOUS 80476 HAS SOUPS 80476 WITH SCORE 80572.803
AT ITER 1176 NEW BEST:: SOT 154983 SOS 96662 HAS SOPS 96662 HAS SOUS 80335 HAS SOUPS 80335 WITH SCORE 80431.662
AT ITER 1186 NEW BEST:: SOT 154969 SOS 96588 HAS SOPS 96588 HAS SOUS 80281 HAS SOUPS 80281 WITH SCORE 80377.588
AT ITER 1191 NEW BEST:: SOT 154946 SOS 96565 HAS SOPS 96565 HAS SOUS 80281 HAS SOUPS 80281 WITH SCORE 80377.565
AT ITER 1192 NEW BEST:: SOT 154936 SOS 96166 HAS SOPS 96166 HAS SOUS 80074 HAS SOUPS 80074 WITH SCORE 80170.166
AT ITER 1212 NEW BEST:: SOT 154885 SOS 96064 HAS SOPS 96064 HAS SOUS 79972 HAS SOUPS 79972 WITH SCORE 80068.064
AT ITER 1213 NEW BEST:: SOT 154872 SOS 95973 HAS SOPS 95973 HAS SOUS 79946 HAS SOUPS 79946 WITH SCORE 80041.973
AT ITER 1215 NEW BEST:: SOT 154863 SOS 95925 HAS SOPS 95925 HAS SOUS 79901 HAS SOUPS 79901 WITH SCORE 79996.925
AT ITER 1228 NEW BEST:: SOT 154870 SOS 95548 HAS SOPS 95548 HAS SOUS 79754 HAS SOUPS 79754 WITH SCORE 79849.548
AT ITER 1235 NEW BEST:: SOT 154752 SOS 95430 HAS SOPS 95430 HAS SOUS 79636 HAS SOUPS 79636 WITH SCORE 79731.43
AT ITER 1245 NEW BEST:: SOT 154648 SOS 95326 HAS SOPS 95326 HAS SOUS 79532 HAS SOUPS 79532 WITH SCORE 79627.326
AT ITER 1247 NEW BEST:: SOT 154572 SOS 95260 HAS SOPS 95260 HAS SOUS 79496 HAS SOUPS 79496 WITH SCORE 79591.26
AT ITER 1264 NEW BEST:: SOT 154583 SOS 95013 HAS SOPS 95013 HAS SOUS 79367 HAS SOUPS 79367 WITH SCORE 79462.013
AT ITER 1268 NEW BEST:: SOT 154516 SOS 94852 HAS SOPS 94852 HAS SOUS 79206 HAS SOUPS 79206 WITH SCORE 79300.852
AT ITER 1283 NEW BEST:: SOT 154516 SOS 94852 HAS SOPS 94852 HAS SOUS 79092 HAS SOUPS 79092 WITH SCORE 79186.852
AT ITER 1284 NEW BEST:: SOT 154556 SOS 94784 HAS SOPS 94784 HAS SOUS 79072 HAS SOUPS 79072 WITH SCORE 79166.784
AT ITER 1302 NEW BEST:: SOT 154356 SOS 94260 HAS SOPS 94260 HAS SOUS 78511 HAS SOUPS 78511 WITH SCORE 78605.26
AT ITER 1304 NEW BEST:: SOT 154316 SOS 94210 HAS SOPS 94210 HAS SOUS 78462 HAS SOUPS 78462 WITH SCORE 78556.21
AT ITER 1306 NEW BEST:: SOT 154020 SOS 93914 HAS SOPS 93914 HAS SOUS 78166 HAS SOUPS 78166 WITH SCORE 78259.914
AT ITER 1307 NEW BEST:: SOT 154005 SOS 93877 HAS SOPS 93877 HAS SOUS 78129 HAS SOUPS 78129 WITH SCORE 78222.877
AT ITER 1318 NEW BEST:: SOT 153949 SOS 93850 HAS SOPS 93850 HAS SOUS 78072 HAS SOUPS 78072 WITH SCORE 78165.85
AT ITER 1323 NEW BEST:: SOT 153830 SOS 93764 HAS SOPS 93764 HAS SOUS 77986 HAS SOUPS 77986 WITH SCORE 78079.764
AT ITER 1324 NEW BEST:: SOT 153770 SOS 93680 HAS SOPS 93680 HAS SOUS 77823 HAS SOUPS 77823 WITH SCORE 77916.68
AT ITER 1329 NEW BEST:: SOT 153752 SOS 93662 HAS SOPS 93662 HAS SOUS 77805 HAS SOUPS 77805 WITH SCORE 77898.662
AT ITER 1332 NEW BEST:: SOT 153711 SOS 93621 HAS SOPS 93621 HAS SOUS 77764 HAS SOUPS 77764 WITH SCORE 77857.621
AT ITER 1333 NEW BEST:: SOT 153603 SOS 93513 HAS SOPS 93513 HAS SOUS 77656 HAS SOUPS 77656 WITH SCORE 77749.513
AT ITER 1338 NEW BEST:: SOT 153091 SOS 93071 HAS SOPS 93071 HAS SOUS 77163 HAS SOUPS 77163 WITH SCORE 77256.071
AT ITER 1339 NEW BEST:: SOT 152789 SOS 92769 HAS SOPS 92769 HAS SOUS 76861 HAS SOUPS 76861 WITH SCORE 76953.769
AT ITER 1346 NEW BEST:: SOT 152640 SOS 92364 HAS SOPS 92364 HAS SOUS 76456 HAS SOUPS 76456 WITH SCORE 76548.364
AT ITER 1357 NEW BEST:: SOT 152640 SOS 92349 HAS SOPS 92349 HAS SOUS 76442 HAS SOUPS 76442 WITH SCORE 76534.349
AT ITER 1362 NEW BEST:: SOT 152301 SOS 92107 HAS SOPS 92107 HAS SOUS 76235 HAS SOUPS 76235 WITH SCORE 76327.107
AT ITER 1375 NEW BEST:: SOT 152299 SOS 92015 HAS SOPS 92015 HAS SOUS 76143 HAS SOUPS 76143 WITH SCORE 76235.015
AT ITER 1384 NEW BEST:: SOT 152299 SOS 91750 HAS SOPS 91750 HAS SOUS 76052 HAS SOUPS 76052 WITH SCORE 76143.75
AT ITER 1392 NEW BEST:: SOT 152227 SOS 91714 HAS SOPS 91714 HAS SOUS 76052 HAS SOUPS 76052 WITH SCORE 76143.714
AT ITER 1403 NEW BEST:: SOT 152167 SOS 91504 HAS SOPS 91504 HAS SOUS 75932 HAS SOUPS 75932 WITH SCORE 76023.504
AT ITER 1408 NEW BEST:: SOT 152133 SOS 91470 HAS SOPS 91470 HAS SOUS 75898 HAS SOUPS 75898 WITH SCORE 75989.47
AT ITER 1410 NEW BEST:: SOT 152056 SOS 91281 HAS SOPS 91281 HAS SOUS 75709 HAS SOUPS 75709 WITH SCORE 75800.281
AT ITER 1415 NEW BEST:: SOT 152435 SOS 90887 HAS SOPS 90887 HAS SOUS 75694 HAS SOUPS 75694 WITH SCORE 75784.887
AT ITER 1431 NEW BEST:: SOT 152457 SOS 90561 HAS SOPS 90561 HAS SOUS 75476 HAS SOUPS 75476 WITH SCORE 75566.561
AT ITER 1443 NEW BEST:: SOT 152456 SOS 90560 HAS SOPS 90560 HAS SOUS 75475 HAS SOUPS 75475 WITH SCORE 75565.56
AT ITER 1460 NEW BEST:: SOT 152359 SOS 90390 HAS SOPS 90390 HAS SOUS 75305 HAS SOUPS 75305 WITH SCORE 75395.39
AT ITER 1461 NEW BEST:: SOT 152359 SOS 90294 HAS SOPS 90294 HAS SOUS 75257 HAS SOUPS 75257 WITH SCORE 75347.294
AT ITER 1471 NEW BEST:: SOT 152217 SOS 90140 HAS SOPS 90140 HAS SOUS 75103 HAS SOUPS 75103 WITH SCORE 75193.14
AT ITER 1478 NEW BEST:: SOT 152488 SOS 89764 HAS SOPS 89764 HAS SOUS 74917 HAS SOUPS 74917 WITH SCORE 75006.764
AT ITER 1480 NEW BEST:: SOT 152488 SOS 89793 HAS SOPS 89793 HAS SOUS 74916 HAS SOUPS 74916 WITH SCORE 75005.793
AT ITER 1505 NEW BEST:: SOT 152368 SOS 89628 HAS SOPS 89628 HAS SOUS 74738 HAS SOUPS 74738 WITH SCORE 74827.628
AT ITER 1506 NEW BEST:: SOT 152431 SOS 89214 HAS SOPS 89214 HAS SOUS 74331 HAS SOUPS 74331 WITH SCORE 74420.214
AT ITER 1510 NEW BEST:: SOT 152411 SOS 89187 HAS SOPS 89187 HAS SOUS 74278 HAS SOUPS 74278 WITH SCORE 74367.187
AT ITER 1519 NEW BEST:: SOT 152367 SOS 89245 HAS SOPS 89245 HAS SOUS 73907 HAS SOUPS 73907 WITH SCORE 73996.245
AT ITER 1522 NEW BEST:: SOT 152339 SOS 88939 HAS SOPS 88939 HAS SOUS 73724 HAS SOUPS 73724 WITH SCORE 73812.939
AT ITER 1524 NEW BEST:: SOT 152338 SOS 88938 HAS SOPS 88938 HAS SOUS 73723 HAS SOUPS 73723 WITH SCORE 73811.938
AT ITER 1526 NEW BEST:: SOT 152134 SOS 88734 HAS SOPS 88734 HAS SOUS 73519 HAS SOUPS 73519 WITH SCORE 73607.734
AT ITER 1546 NEW BEST:: SOT 152129 SOS 88757 HAS SOPS 88757 HAS SOUS 73392 HAS SOUPS 73392 WITH SCORE 73480.757
AT ITER 1552 NEW BEST:: SOT 152192 SOS 88775 HAS SOPS 88775 HAS SOUS 73331 HAS SOUPS 73331 WITH SCORE 73419.775
AT ITER 1557 NEW BEST:: SOT 152192 SOS 88635 HAS SOPS 88635 HAS SOUS 73329 HAS SOUPS 73329 WITH SCORE 73417.635
AT ITER 1561 NEW BEST:: SOT 152192 SOS 88726 HAS SOPS 88726 HAS SOUS 73322 HAS SOUPS 73322 WITH SCORE 73410.726
AT ITER 1564 NEW BEST:: SOT 152054 SOS 88546 HAS SOPS 88546 HAS SOUS 73142 HAS SOUPS 73142 WITH SCORE 73230.546
AT ITER 1573 NEW BEST:: SOT 152015 SOS 88514 HAS SOPS 88514 HAS SOUS 73110 HAS SOUPS 73110 WITH SCORE 73198.514
AT ITER 1580 NEW BEST:: SOT 151978 SOS 88474 HAS SOPS 88474 HAS SOUS 73070 HAS SOUPS 73070 WITH SCORE 73158.474
AT ITER 1582 NEW BEST:: SOT 151885 SOS 88330 HAS SOPS 88330 HAS SOUS 72926 HAS SOUPS 72926 WITH SCORE 73014.33
AT ITER 1600 NEW BEST:: SOT 151810 SOS 88148 HAS SOPS 88148 HAS SOUS 72843 HAS SOUPS 72843 WITH SCORE 72931.148
AT ITER 1602 NEW BEST:: SOT 151810 SOS 88059 HAS SOPS 88059 HAS SOUS 72806 HAS SOUPS 72806 WITH SCORE 72894.059
AT ITER 1606 NEW BEST:: SOT 151810 SOS 87964 HAS SOPS 87964 HAS SOUS 72711 HAS SOUPS 72711 WITH SCORE 72798.964
AT ITER 1622 NEW BEST:: SOT 151809 SOS 87930 HAS SOPS 87930 HAS SOUS 72650 HAS SOUPS 72650 WITH SCORE 72737.93
AT ITER 1633 NEW BEST:: SOT 151809 SOS 87916 HAS SOPS 87916 HAS SOUS 72636 HAS SOUPS 72636 WITH SCORE 72723.916
AT ITER 1643 NEW BEST:: SOT 151649 SOS 87671 HAS SOPS 87671 HAS SOUS 72400 HAS SOUPS 72400 WITH SCORE 72487.671
AT ITER 1655 NEW BEST:: SOT 151629 SOS 87651 HAS SOPS 87651 HAS SOUS 72390 HAS SOUPS 72390 WITH SCORE 72477.651
AT ITER 1657 NEW BEST:: SOT 151629 SOS 87484 HAS SOPS 87484 HAS SOUS 72340 HAS SOUPS 72340 WITH SCORE 72427.484
AT ITER 1661 NEW BEST:: SOT 151629 SOS 87237 HAS SOPS 87237 HAS SOUS 72088 HAS SOUPS 72088 WITH SCORE 72175.237
AT ITER 1681 NEW BEST:: SOT 151735 SOS 87343 HAS SOPS 87343 HAS SOUS 72081 HAS SOUPS 72081 WITH SCORE 72168.343
AT ITER 1691 NEW BEST:: SOT 151616 SOS 87267 HAS SOPS 87267 HAS SOUS 72005 HAS SOUPS 72005 WITH SCORE 72092.267
AT ITER 1694 NEW BEST:: SOT 151616 SOS 87143 HAS SOPS 87143 HAS SOUS 71986 HAS SOUPS 71986 WITH SCORE 72073.143
AT ITER 1695 NEW BEST:: SOT 151601 SOS 87128 HAS SOPS 87128 HAS SOUS 71971 HAS SOUPS 71971 WITH SCORE 72058.128
AT ITER 1697 NEW BEST:: SOT 151596 SOS 87123 HAS SOPS 87123 HAS SOUS 71966 HAS SOUPS 71966 WITH SCORE 72053.123
AT ITER 1706 NEW BEST:: SOT 151584 SOS 87095 HAS SOPS 87095 HAS SOUS 71938 HAS SOUPS 71938 WITH SCORE 72025.095
AT ITER 1708 NEW BEST:: SOT 151559 SOS 87070 HAS SOPS 87070 HAS SOUS 71913 HAS SOUPS 71913 WITH SCORE 72000.07
AT ITER 1709 NEW BEST:: SOT 151558 SOS 87067 HAS SOPS 87067 HAS SOUS 71910 HAS SOUPS 71910 WITH SCORE 71997.067
AT ITER 1720 NEW BEST:: SOT 151477 SOS 86862 HAS SOPS 86862 HAS SOUS 71627 HAS SOUPS 71627 WITH SCORE 71713.862
AT ITER 1729 NEW BEST:: SOT 151420 SOS 86530 HAS SOPS 86530 HAS SOUS 71477 HAS SOUPS 71477 WITH SCORE 71563.53
AT ITER 1731 NEW BEST:: SOT 151402 SOS 86482 HAS SOPS 86482 HAS SOUS 71377 HAS SOUPS 71377 WITH SCORE 71463.482
AT ITER 1732 NEW BEST:: SOT 151380 SOS 86337 HAS SOPS 86337 HAS SOUS 71232 HAS SOUPS 71232 WITH SCORE 71318.337
AT ITER 1736 NEW BEST:: SOT 151360 SOS 86317 HAS SOPS 86317 HAS SOUS 71142 HAS SOUPS 71142 WITH SCORE 71228.317
AT ITER 1752 NEW BEST:: SOT 151560 SOS 86476 HAS SOPS 86476 HAS SOUS 71133 HAS SOUPS 71133 WITH SCORE 71219.476
AT ITER 1756 NEW BEST:: SOT 151558 SOS 86468 HAS SOPS 86468 HAS SOUS 71125 HAS SOUPS 71125 WITH SCORE 71211.468
AT ITER 1762 NEW BEST:: SOT 151557 SOS 86386 HAS SOPS 86386 HAS SOUS 70959 HAS SOUPS 70959 WITH SCORE 71045.386
AT ITER 1765 NEW BEST:: SOT 151398 SOS 86244 HAS SOPS 86244 HAS SOUS 70826 HAS SOUPS 70826 WITH SCORE 70912.244
AT ITER 1776 NEW BEST:: SOT 151097 SOS 85896 HAS SOPS 85896 HAS SOUS 70476 HAS SOUPS 70476 WITH SCORE 70561.896
AT ITER 1785 NEW BEST:: SOT 151057 SOS 85876 HAS SOPS 85876 HAS SOUS 70456 HAS SOUPS 70456 WITH SCORE 70541.876
AT ITER 1787 NEW BEST:: SOT 151134 SOS 85847 HAS SOPS 85847 HAS SOUS 70408 HAS SOUPS 70408 WITH SCORE 70493.847
AT ITER 1792 NEW BEST:: SOT 151116 SOS 85379 HAS SOPS 85379 HAS SOUS 70295 HAS SOUPS 70295 WITH SCORE 70380.379
AT ITER 1795 NEW BEST:: SOT 151116 SOS 85055 HAS SOPS 85055 HAS SOUS 70133 HAS SOUPS 70133 WITH SCORE 70218.055
AT ITER 1803 NEW BEST:: SOT 151092 SOS 85031 HAS SOPS 85031 HAS SOUS 70133 HAS SOUPS 70133 WITH SCORE 70218.031
AT ITER 1808 NEW BEST:: SOT 151046 SOS 85092 HAS SOPS 85092 HAS SOUS 70076 HAS SOUPS 70076 WITH SCORE 70161.092
AT ITER 1824 NEW BEST:: SOT 150711 SOS 84796 HAS SOPS 84796 HAS SOUS 69793 HAS SOUPS 69793 WITH SCORE 69877.796
AT ITER 1825 NEW BEST:: SOT 150683 SOS 84703 HAS SOPS 84703 HAS SOUS 69700 HAS SOUPS 69700 WITH SCORE 69784.703
AT ITER 1830 NEW BEST:: SOT 150632 SOS 84652 HAS SOPS 84652 HAS SOUS 69649 HAS SOUPS 69649 WITH SCORE 69733.652
AT ITER 1834 NEW BEST:: SOT 150255 SOS 84265 HAS SOPS 84265 HAS SOUS 69262 HAS SOUPS 69262 WITH SCORE 69346.265
AT ITER 1838 NEW BEST:: SOT 150262 SOS 84309 HAS SOPS 84309 HAS SOUS 69235 HAS SOUPS 69235 WITH SCORE 69319.309
AT ITER 1849 NEW BEST:: SOT 150157 SOS 84261 HAS SOPS 84261 HAS SOUS 69212 HAS SOUPS 69212 WITH SCORE 69296.261
AT ITER 1854 NEW BEST:: SOT 150131 SOS 84158 HAS SOPS 84158 HAS SOUS 69147 HAS SOUPS 69147 WITH SCORE 69231.158
AT ITER 1856 NEW BEST:: SOT 150131 SOS 84140 HAS SOPS 84140 HAS SOUS 69129 HAS SOUPS 69129 WITH SCORE 69213.14
AT ITER 1858 NEW BEST:: SOT 150131 SOS 84135 HAS SOPS 84135 HAS SOUS 69124 HAS SOUPS 69124 WITH SCORE 69208.135
AT ITER 1866 NEW BEST:: SOT 150103 SOS 84107 HAS SOPS 84107 HAS SOUS 69096 HAS SOUPS 69096 WITH SCORE 69180.107
AT ITER 1871 NEW BEST:: SOT 150103 SOS 84132 HAS SOPS 84132 HAS SOUS 69054 HAS SOUPS 69054 WITH SCORE 69138.132
AT ITER 1877 NEW BEST:: SOT 150276 SOS 84305 HAS SOPS 84305 HAS SOUS 69039 HAS SOUPS 69039 WITH SCORE 69123.305
AT ITER 1885 NEW BEST:: SOT 150285 SOS 84314 HAS SOPS 84314 HAS SOUS 69038 HAS SOUPS 69038 WITH SCORE 69122.314
AT ITER 1887 NEW BEST:: SOT 150235 SOS 84139 HAS SOPS 84139 HAS SOUS 68938 HAS SOUPS 68938 WITH SCORE 69022.139
AT ITER 1890 NEW BEST:: SOT 150227 SOS 84061 HAS SOPS 84061 HAS SOUS 68934 HAS SOUPS 68934 WITH SCORE 69018.061
AT ITER 1893 NEW BEST:: SOT 150235 SOS 83992 HAS SOPS 83992 HAS SOUS 68865 HAS SOUPS 68865 WITH SCORE 68948.992
AT ITER 1902 NEW BEST:: SOT 150231 SOS 83984 HAS SOPS 83984 HAS SOUS 68865 HAS SOUPS 68865 WITH SCORE 68948.984
AT ITER 1904 NEW BEST:: SOT 150235 SOS 83950 HAS SOPS 83950 HAS SOUS 68785 HAS SOUPS 68785 WITH SCORE 68868.95
AT ITER 1905 NEW BEST:: SOT 150154 SOS 83926 HAS SOPS 83926 HAS SOUS 68764 HAS SOUPS 68764 WITH SCORE 68847.926
AT ITER 1945 NEW BEST:: SOT 150154 SOS 83925 HAS SOPS 83925 HAS SOUS 68763 HAS SOUPS 68763 WITH SCORE 68846.925
AT ITER 1946 NEW BEST:: SOT 150253 SOS 83911 HAS SOPS 83911 HAS SOUS 68503 HAS SOUPS 68503 WITH SCORE 68586.911
AT ITER 1949 NEW BEST:: SOT 150256 SOS 84267 HAS SOPS 84267 HAS SOUS 68459 HAS SOUPS 68459 WITH SCORE 68543.267
AT ITER 1951 NEW BEST:: SOT 150256 SOS 84257 HAS SOPS 84257 HAS SOUS 68439 HAS SOUPS 68439 WITH SCORE 68523.257
AT ITER 1953 NEW BEST:: SOT 150184 SOS 84185 HAS SOPS 84185 HAS SOUS 68238 HAS SOUPS 68238 WITH SCORE 68322.185
AT ITER 1960 NEW BEST:: SOT 150170 SOS 84153 HAS SOPS 84153 HAS SOUS 68234 HAS SOUPS 68234 WITH SCORE 68318.153
AT ITER 1966 NEW BEST:: SOT 150140 SOS 84121 HAS SOPS 84121 HAS SOUS 68196 HAS SOUPS 68196 WITH SCORE 68280.121
AT ITER 1975 NEW BEST:: SOT 150121 SOS 84094 HAS SOPS 84094 HAS SOUS 68169 HAS SOUPS 68169 WITH SCORE 68253.094
AT ITER 2001 NEW BEST:: SOT 149995 SOS 83968 HAS SOPS 83968 HAS SOUS 68043 HAS SOUPS 68043 WITH SCORE 68126.968
AT ITER 2004 NEW BEST:: SOT 149973 SOS 83962 HAS SOPS 83962 HAS SOUS 68010 HAS SOUPS 68010 WITH SCORE 68093.962
AT ITER 2012 NEW BEST:: SOT 149919 SOS 84028 HAS SOPS 84028 HAS SOUS 67873 HAS SOUPS 67873 WITH SCORE 67957.028
AT ITER 2013 NEW BEST:: SOT 149914 SOS 84023 HAS SOPS 84023 HAS SOUS 67868 HAS SOUPS 67868 WITH SCORE 67952.023
AT ITER 2014 NEW BEST:: SOT 149914 SOS 84084 HAS SOPS 84084 HAS SOUS 67855 HAS SOUPS 67855 WITH SCORE 67939.084
AT ITER 2017 NEW BEST:: SOT 149923 SOS 84057 HAS SOPS 84057 HAS SOUS 67855 HAS SOUPS 67855 WITH SCORE 67939.057
AT ITER 2028 NEW BEST:: SOT 149942 SOS 83990 HAS SOPS 83990 HAS SOUS 67511 HAS SOUPS 67511 WITH SCORE 67594.99
AT ITER 2029 NEW BEST:: SOT 149834 SOS 83882 HAS SOPS 83882 HAS SOUS 67367 HAS SOUPS 67367 WITH SCORE 67450.882
AT ITER 2040 NEW BEST:: SOT 149907 SOS 83972 HAS SOPS 83972 HAS SOUS 67294 HAS SOUPS 67294 WITH SCORE 67377.972
AT ITER 2046 NEW BEST:: SOT 149841 SOS 84058 HAS SOPS 84058 HAS SOUS 67269 HAS SOUPS 67269 WITH SCORE 67353.058
AT ITER 2047 NEW BEST:: SOT 149835 SOS 84052 HAS SOPS 84052 HAS SOUS 67263 HAS SOUPS 67263 WITH SCORE 67347.052
AT ITER 2053 NEW BEST:: SOT 149740 SOS 83957 HAS SOPS 83957 HAS SOUS 67168 HAS SOUPS 67168 WITH SCORE 67251.957
AT ITER 2061 NEW BEST:: SOT 149735 SOS 83952 HAS SOPS 83952 HAS SOUS 67168 HAS SOUPS 67168 WITH SCORE 67251.952
AT ITER 2064 NEW BEST:: SOT 149823 SOS 83892 HAS SOPS 83892 HAS SOUS 67001 HAS SOUPS 67001 WITH SCORE 67084.892
AT ITER 2069 NEW BEST:: SOT 149789 SOS 83874 HAS SOPS 83874 HAS SOUS 66983 HAS SOUPS 66983 WITH SCORE 67066.874
AT ITER 2070 NEW BEST:: SOT 149667 SOS 83690 HAS SOPS 83690 HAS SOUS 66868 HAS SOUPS 66868 WITH SCORE 66951.69
AT ITER 2071 NEW BEST:: SOT 149641 SOS 83585 HAS SOPS 83585 HAS SOUS 66763 HAS SOUPS 66763 WITH SCORE 66846.585
AT ITER 2093 NEW BEST:: SOT 149642 SOS 83564 HAS SOPS 83564 HAS SOUS 66707 HAS SOUPS 66707 WITH SCORE 66790.564
AT ITER 2096 NEW BEST:: SOT 149640 SOS 83425 HAS SOPS 83425 HAS SOUS 66568 HAS SOUPS 66568 WITH SCORE 66651.425
AT ITER 2103 NEW BEST:: SOT 149614 SOS 83411 HAS SOPS 83411 HAS SOUS 66554 HAS SOUPS 66554 WITH SCORE 66637.411
AT ITER 2106 NEW BEST:: SOT 149614 SOS 83249 HAS SOPS 83249 HAS SOUS 66313 HAS SOUPS 66313 WITH SCORE 66396.249
AT ITER 2111 NEW BEST:: SOT 149586 SOS 83221 HAS SOPS 83221 HAS SOUS 66285 HAS SOUPS 66285 WITH SCORE 66368.221
AT ITER 2125 NEW BEST:: SOT 149438 SOS 82758 HAS SOPS 82758 HAS SOUS 65875 HAS SOUPS 65875 WITH SCORE 65957.758
AT ITER 2127 NEW BEST:: SOT 149428 SOS 82529 HAS SOPS 82529 HAS SOUS 65803 HAS SOUPS 65803 WITH SCORE 65885.529
AT ITER 2133 NEW BEST:: SOT 149373 SOS 82517 HAS SOPS 82517 HAS SOUS 65791 HAS SOUPS 65791 WITH SCORE 65873.517
AT ITER 2135 NEW BEST:: SOT 149352 SOS 82126 HAS SOPS 82126 HAS SOUS 65563 HAS SOUPS 65563 WITH SCORE 65645.126
AT ITER 2155 NEW BEST:: SOT 149171 SOS 81963 HAS SOPS 81963 HAS SOUS 65482 HAS SOUPS 65482 WITH SCORE 65563.963
AT ITER 2156 NEW BEST:: SOT 149068 SOS 81860 HAS SOPS 81860 HAS SOUS 65379 HAS SOUPS 65379 WITH SCORE 65460.86
AT ITER 2159 NEW BEST:: SOT 148978 SOS 81805 HAS SOPS 81805 HAS SOUS 65219 HAS SOUPS 65219 WITH SCORE 65300.805
AT ITER 2163 NEW BEST:: SOT 148978 SOS 81687 HAS SOPS 81687 HAS SOUS 65181 HAS SOUPS 65181 WITH SCORE 65262.687
AT ITER 2170 NEW BEST:: SOT 148978 SOS 81564 HAS SOPS 81564 HAS SOUS 65058 HAS SOUPS 65058 WITH SCORE 65139.564
AT ITER 2175 NEW BEST:: SOT 148809 SOS 81383 HAS SOPS 81383 HAS SOUS 64877 HAS SOUPS 64877 WITH SCORE 64958.383
AT ITER 2180 NEW BEST:: SOT 148806 SOS 81384 HAS SOPS 81384 HAS SOUS 64874 HAS SOUPS 64874 WITH SCORE 64955.384
AT ITER 2187 NEW BEST:: SOT 148582 SOS 81160 HAS SOPS 81160 HAS SOUS 64650 HAS SOUPS 64650 WITH SCORE 64731.16
AT ITER 2195 NEW BEST:: SOT 148506 SOS 81103 HAS SOPS 81103 HAS SOUS 64624 HAS SOUPS 64624 WITH SCORE 64705.103
AT ITER 2198 NEW BEST:: SOT 148443 SOS 81051 HAS SOPS 81051 HAS SOUS 64422 HAS SOUPS 64422 WITH SCORE 64503.051
AT ITER 2199 NEW BEST:: SOT 148443 SOS 81034 HAS SOPS 81034 HAS SOUS 64419 HAS SOUPS 64419 WITH SCORE 64500.034
AT ITER 2202 NEW BEST:: SOT 148443 SOS 80971 HAS SOPS 80971 HAS SOUS 64347 HAS SOUPS 64347 WITH SCORE 64427.971
AT ITER 2205 NEW BEST:: SOT 148443 SOS 80924 HAS SOPS 80924 HAS SOUS 64300 HAS SOUPS 64300 WITH SCORE 64380.924
AT ITER 2209 NEW BEST:: SOT 148431 SOS 80912 HAS SOPS 80912 HAS SOUS 64288 HAS SOUPS 64288 WITH SCORE 64368.912
AT ITER 2224 NEW BEST:: SOT 148431 SOS 80915 HAS SOPS 80915 HAS SOUS 64287 HAS SOUPS 64287 WITH SCORE 64367.915
AT ITER 2225 NEW BEST:: SOT 148431 SOS 80896 HAS SOPS 80896 HAS SOUS 64268 HAS SOUPS 64268 WITH SCORE 64348.896
AT ITER 2234 NEW BEST:: SOT 148357 SOS 80619 HAS SOPS 80619 HAS SOUS 64166 HAS SOUPS 64166 WITH SCORE 64246.619
AT ITER 2251 NEW BEST:: SOT 148443 SOS 80614 HAS SOPS 80614 HAS SOUS 64082 HAS SOUPS 64082 WITH SCORE 64162.614
AT ITER 2254 NEW BEST:: SOT 148754 SOS 80218 HAS SOPS 80218 HAS SOUS 64033 HAS SOUPS 64033 WITH SCORE 64113.218
AT ITER 2256 NEW BEST:: SOT 148903 SOS 79940 HAS SOPS 79940 HAS SOUS 63874 HAS SOUPS 63874 WITH SCORE 63953.94
AT ITER 2257 NEW BEST:: SOT 148874 SOS 79908 HAS SOPS 79908 HAS SOUS 63845 HAS SOUPS 63845 WITH SCORE 63924.908
AT ITER 2269 NEW BEST:: SOT 148876 SOS 79910 HAS SOPS 79910 HAS SOUS 63844 HAS SOUPS 63844 WITH SCORE 63923.91
AT ITER 2273 NEW BEST:: SOT 148876 SOS 79906 HAS SOPS 79906 HAS SOUS 63844 HAS SOUPS 63844 WITH SCORE 63923.906
AT ITER 2281 NEW BEST:: SOT 148892 SOS 79890 HAS SOPS 79890 HAS SOUS 63843 HAS SOUPS 63843 WITH SCORE 63922.89
AT ITER 2284 NEW BEST:: SOT 148886 SOS 79866 HAS SOPS 79866 HAS SOUS 63818 HAS SOUPS 63818 WITH SCORE 63897.866
AT ITER 2297 NEW BEST:: SOT 148782 SOS 79703 HAS SOPS 79703 HAS SOUS 63737 HAS SOUPS 63737 WITH SCORE 63816.703
AT ITER 2313 NEW BEST:: SOT 148773 SOS 79656 HAS SOPS 79656 HAS SOUS 63690 HAS SOUPS 63690 WITH SCORE 63769.656
AT ITER 2315 NEW BEST:: SOT 148678 SOS 79457 HAS SOPS 79457 HAS SOUS 63491 HAS SOUPS 63491 WITH SCORE 63570.457
AT ITER 2322 NEW BEST:: SOT 148676 SOS 79398 HAS SOPS 79398 HAS SOUS 63432 HAS SOUPS 63432 WITH SCORE 63511.398
AT ITER 2326 NEW BEST:: SOT 148676 SOS 79398 HAS SOPS 79398 HAS SOUS 63407 HAS SOUPS 63407 WITH SCORE 63486.398
AT ITER 2329 NEW BEST:: SOT 148660 SOS 79401 HAS SOPS 79401 HAS SOUS 63345 HAS SOUPS 63345 WITH SCORE 63424.401
AT ITER 2351 NEW BEST:: SOT 148586 SOS 79327 HAS SOPS 79327 HAS SOUS 63271 HAS SOUPS 63271 WITH SCORE 63350.327
AT ITER 2353 NEW BEST:: SOT 148583 SOS 79321 HAS SOPS 79321 HAS SOUS 63256 HAS SOUPS 63256 WITH SCORE 63335.321
AT ITER 2360 NEW BEST:: SOT 148561 SOS 79299 HAS SOPS 79299 HAS SOUS 63234 HAS SOUPS 63234 WITH SCORE 63313.299
AT ITER 2361 NEW BEST:: SOT 148525 SOS 79263 HAS SOPS 79263 HAS SOUS 63198 HAS SOUPS 63198 WITH SCORE 63277.263
AT ITER 2367 NEW BEST:: SOT 148431 SOS 79169 HAS SOPS 79169 HAS SOUS 63104 HAS SOUPS 63104 WITH SCORE 63183.169
AT ITER 2375 NEW BEST:: SOT 148401 SOS 79139 HAS SOPS 79139 HAS SOUS 63055 HAS SOUPS 63055 WITH SCORE 63134.139
AT ITER 2386 NEW BEST:: SOT 148296 SOS 79034 HAS SOPS 79034 HAS SOUS 62950 HAS SOUPS 62950 WITH SCORE 63029.034
AT ITER 2418 NEW BEST:: SOT 148071 SOS 78756 HAS SOPS 78756 HAS SOUS 62840 HAS SOUPS 62840 WITH SCORE 62918.756
AT ITER 2423 NEW BEST:: SOT 148072 SOS 78668 HAS SOPS 78668 HAS SOUS 62739 HAS SOUPS 62739 WITH SCORE 62817.668
AT ITER 2428 NEW BEST:: SOT 148021 SOS 78566 HAS SOPS 78566 HAS SOUS 62654 HAS SOUPS 62654 WITH SCORE 62732.566
AT ITER 2430 NEW BEST:: SOT 147989 SOS 78534 HAS SOPS 78534 HAS SOUS 62622 HAS SOUPS 62622 WITH SCORE 62700.534
AT ITER 2441 NEW BEST:: SOT 148021 SOS 78502 HAS SOPS 78502 HAS SOUS 62590 HAS SOUPS 62590 WITH SCORE 62668.502
AT ITER 2444 NEW BEST:: SOT 147961 SOS 78442 HAS SOPS 78442 HAS SOUS 62530 HAS SOUPS 62530 WITH SCORE 62608.442
AT ITER 2453 NEW BEST:: SOT 147772 SOS 78253 HAS SOPS 78253 HAS SOUS 62341 HAS SOUPS 62341 WITH SCORE 62419.253
AT ITER 2463 NEW BEST:: SOT 147725 SOS 78163 HAS SOPS 78163 HAS SOUS 62246 HAS SOUPS 62246 WITH SCORE 62324.163
AT ITER 2469 NEW BEST:: SOT 147733 SOS 78157 HAS SOPS 78157 HAS SOUS 62240 HAS SOUPS 62240 WITH SCORE 62318.157
AT ITER 2474 NEW BEST:: SOT 147692 SOS 78084 HAS SOPS 78084 HAS SOUS 62167 HAS SOUPS 62167 WITH SCORE 62245.084
AT ITER 2476 NEW BEST:: SOT 147684 SOS 78076 HAS SOPS 78076 HAS SOUS 62159 HAS SOUPS 62159 WITH SCORE 62237.076
AT ITER 2508 NEW BEST:: SOT 147711 SOS 78044 HAS SOPS 78044 HAS SOUS 62146 HAS SOUPS 62146 WITH SCORE 62224.044
AT ITER 2509 NEW BEST:: SOT 147709 SOS 78108 HAS SOPS 78108 HAS SOUS 62128 HAS SOUPS 62128 WITH SCORE 62206.108
AT ITER 2518 NEW BEST:: SOT 147643 SOS 78042 HAS SOPS 78042 HAS SOUS 62037 HAS SOUPS 62037 WITH SCORE 62115.042
AT ITER 2523 NEW BEST:: SOT 147581 SOS 77841 HAS SOPS 77841 HAS SOUS 61880 HAS SOUPS 61880 WITH SCORE 61957.841
AT ITER 2524 NEW BEST:: SOT 147581 SOS 77812 HAS SOPS 77812 HAS SOUS 61869 HAS SOUPS 61869 WITH SCORE 61946.812
AT ITER 2529 NEW BEST:: SOT 147547 SOS 77780 HAS SOPS 77780 HAS SOUS 61837 HAS SOUPS 61837 WITH SCORE 61914.78
AT ITER 2531 NEW BEST:: SOT 147434 SOS 77603 HAS SOPS 77603 HAS SOUS 61660 HAS SOUPS 61660 WITH SCORE 61737.603
AT ITER 2540 NEW BEST:: SOT 147425 SOS 77594 HAS SOPS 77594 HAS SOUS 61651 HAS SOUPS 61651 WITH SCORE 61728.594
AT ITER 2565 NEW BEST:: SOT 147390 SOS 77513 HAS SOPS 77513 HAS SOUS 61570 HAS SOUPS 61570 WITH SCORE 61647.513
AT ITER 2568 NEW BEST:: SOT 147327 SOS 77053 HAS SOPS 77053 HAS SOUS 61364 HAS SOUPS 61364 WITH SCORE 61441.053
AT ITER 2575 NEW BEST:: SOT 147325 SOS 77051 HAS SOPS 77051 HAS SOUS 61362 HAS SOUPS 61362 WITH SCORE 61439.051
AT ITER 2580 NEW BEST:: SOT 147372 SOS 77098 HAS SOPS 77098 HAS SOUS 61281 HAS SOUPS 61281 WITH SCORE 61358.098
AT ITER 2581 NEW BEST:: SOT 147257 SOS 76983 HAS SOPS 76983 HAS SOUS 61166 HAS SOUPS 61166 WITH SCORE 61242.983
AT ITER 2603 NEW BEST:: SOT 147110 SOS 76883 HAS SOPS 76883 HAS SOUS 61115 HAS SOUPS 61115 WITH SCORE 61191.883
AT ITER 2611 NEW BEST:: SOT 147082 SOS 76724 HAS SOPS 76724 HAS SOUS 60881 HAS SOUPS 60881 WITH SCORE 60957.724
AT ITER 2613 NEW BEST:: SOT 147065 SOS 76707 HAS SOPS 76707 HAS SOUS 60864 HAS SOUPS 60864 WITH SCORE 60940.707
AT ITER 2620 NEW BEST:: SOT 147242 SOS 76723 HAS SOPS 76723 HAS SOUS 60863 HAS SOUPS 60863 WITH SCORE 60939.723
AT ITER 2623 NEW BEST:: SOT 147130 SOS 76468 HAS SOPS 76468 HAS SOUS 60778 HAS SOUPS 60778 WITH SCORE 60854.468
AT ITER 2625 NEW BEST:: SOT 147122 SOS 76460 HAS SOPS 76460 HAS SOUS 60770 HAS SOUPS 60770 WITH SCORE 60846.46
AT ITER 2629 NEW BEST:: SOT 146992 SOS 76260 HAS SOPS 76260 HAS SOUS 60570 HAS SOUPS 60570 WITH SCORE 60646.26
AT ITER 2644 NEW BEST:: SOT 147010 SOS 76200 HAS SOPS 76200 HAS SOUS 60510 HAS SOUPS 60510 WITH SCORE 60586.2
AT ITER 2651 NEW BEST:: SOT 146994 SOS 76148 HAS SOPS 76148 HAS SOUS 60470 HAS SOUPS 60470 WITH SCORE 60546.148
AT ITER 2653 NEW BEST:: SOT 146931 SOS 76071 HAS SOPS 76071 HAS SOUS 60393 HAS SOUPS 60393 WITH SCORE 60469.071
AT ITER 2655 NEW BEST:: SOT 147257 SOS 75624 HAS SOPS 75624 HAS SOUS 60339 HAS SOUPS 60339 WITH SCORE 60414.624
AT ITER 2661 NEW BEST:: SOT 147210 SOS 75534 HAS SOPS 75534 HAS SOUS 60249 HAS SOUPS 60249 WITH SCORE 60324.534
AT ITER 2667 NEW BEST:: SOT 147200 SOS 75524 HAS SOPS 75524 HAS SOUS 60239 HAS SOUPS 60239 WITH SCORE 60314.524
AT ITER 2677 NEW BEST:: SOT 147304 SOS 75598 HAS SOPS 75598 HAS SOUS 60219 HAS SOUPS 60219 WITH SCORE 60294.598
AT ITER 2678 NEW BEST:: SOT 146985 SOS 75200 HAS SOPS 75200 HAS SOUS 60006 HAS SOUPS 60006 WITH SCORE 60081.2
AT ITER 2681 NEW BEST:: SOT 146976 SOS 75191 HAS SOPS 75191 HAS SOUS 59997 HAS SOUPS 59997 WITH SCORE 60072.191
AT ITER 2696 NEW BEST:: SOT 146954 SOS 75146 HAS SOPS 75146 HAS SOUS 59952 HAS SOUPS 59952 WITH SCORE 60027.146
AT ITER 2701 NEW BEST:: SOT 146891 SOS 75057 HAS SOPS 75057 HAS SOUS 59904 HAS SOUPS 59904 WITH SCORE 59979.057
AT ITER 2706 NEW BEST:: SOT 146859 SOS 74997 HAS SOPS 74997 HAS SOUS 59776 HAS SOUPS 59776 WITH SCORE 59850.997
AT ITER 2707 NEW BEST:: SOT 146859 SOS 75034 HAS SOPS 75034 HAS SOUS 59749 HAS SOUPS 59749 WITH SCORE 59824.034
AT ITER 2720 NEW BEST:: SOT 146843 SOS 74970 HAS SOPS 74970 HAS SOUS 59701 HAS SOUPS 59701 WITH SCORE 59775.97
AT ITER 2723 NEW BEST:: SOT 146729 SOS 74856 HAS SOPS 74856 HAS SOUS 59587 HAS SOUPS 59587 WITH SCORE 59661.856
AT ITER 2726 NEW BEST:: SOT 146572 SOS 74809 HAS SOPS 74809 HAS SOUS 59510 HAS SOUPS 59510 WITH SCORE 59584.809
AT ITER 2736 NEW BEST:: SOT 146572 SOS 74782 HAS SOPS 74782 HAS SOUS 59483 HAS SOUPS 59483 WITH SCORE 59557.782
AT ITER 2741 NEW BEST:: SOT 146579 SOS 74758 HAS SOPS 74758 HAS SOUS 59463 HAS SOUPS 59463 WITH SCORE 59537.758
AT ITER 2745 NEW BEST:: SOT 146525 SOS 74745 HAS SOPS 74745 HAS SOUS 59450 HAS SOUPS 59450 WITH SCORE 59524.745
AT ITER 2748 NEW BEST:: SOT 146525 SOS 74486 HAS SOPS 74486 HAS SOUS 59320 HAS SOUPS 59320 WITH SCORE 59394.486
AT ITER 2750 NEW BEST:: SOT 146525 SOS 74397 HAS SOPS 74397 HAS SOUS 59231 HAS SOUPS 59231 WITH SCORE 59305.397
AT ITER 2755 NEW BEST:: SOT 146525 SOS 74015 HAS SOPS 74015 HAS SOUS 58990 HAS SOUPS 58990 WITH SCORE 59064.015
AT ITER 2771 NEW BEST:: SOT 146525 SOS 73963 HAS SOPS 73963 HAS SOUS 58902 HAS SOUPS 58902 WITH SCORE 58975.963
AT ITER 2779 NEW BEST:: SOT 146532 SOS 73894 HAS SOPS 73894 HAS SOUS 58871 HAS SOUPS 58871 WITH SCORE 58944.894
AT ITER 2784 NEW BEST:: SOT 146697 SOS 73829 HAS SOPS 73829 HAS SOUS 58771 HAS SOUPS 58771 WITH SCORE 58844.829
AT ITER 2789 NEW BEST:: SOT 146697 SOS 73787 HAS SOPS 73787 HAS SOUS 58729 HAS SOUPS 58729 WITH SCORE 58802.787
AT ITER 2797 NEW BEST:: SOT 146720 SOS 74210 HAS SOPS 74210 HAS SOUS 58685 HAS SOUPS 58685 WITH SCORE 58759.21
AT ITER 2798 NEW BEST:: SOT 146670 SOS 74160 HAS SOPS 74160 HAS SOUS 58492 HAS SOUPS 58492 WITH SCORE 58566.16
AT ITER 2804 NEW BEST:: SOT 146670 SOS 74122 HAS SOPS 74122 HAS SOUS 58435 HAS SOUPS 58435 WITH SCORE 58509.122
AT ITER 2813 NEW BEST:: SOT 146607 SOS 73838 HAS SOPS 73838 HAS SOUS 58299 HAS SOUPS 58299 WITH SCORE 58372.838
AT ITER 2816 NEW BEST:: SOT 146503 SOS 73756 HAS SOPS 73756 HAS SOUS 58217 HAS SOUPS 58217 WITH SCORE 58290.756
AT ITER 2818 NEW BEST:: SOT 146503 SOS 73746 HAS SOPS 73746 HAS SOUS 58207 HAS SOUPS 58207 WITH SCORE 58280.746
AT ITER 2822 NEW BEST:: SOT 146539 SOS 73804 HAS SOPS 73804 HAS SOUS 58093 HAS SOUPS 58093 WITH SCORE 58166.804
AT ITER 2826 NEW BEST:: SOT 146532 SOS 73797 HAS SOPS 73797 HAS SOUS 58086 HAS SOUPS 58086 WITH SCORE 58159.797
AT ITER 2836 NEW BEST:: SOT 146454 SOS 73522 HAS SOPS 73522 HAS SOUS 57969 HAS SOUPS 57969 WITH SCORE 58042.522
AT ITER 2854 NEW BEST:: SOT 146454 SOS 73437 HAS SOPS 73437 HAS SOUS 57920 HAS SOUPS 57920 WITH SCORE 57993.437
AT ITER 2865 NEW BEST:: SOT 146428 SOS 73703 HAS SOPS 73703 HAS SOUS 57891 HAS SOUPS 57891 WITH SCORE 57964.703
AT ITER 2868 NEW BEST:: SOT 146412 SOS 73687 HAS SOPS 73687 HAS SOUS 57875 HAS SOUPS 57875 WITH SCORE 57948.687
AT ITER 2881 NEW BEST:: SOT 146415 SOS 73682 HAS SOPS 73682 HAS SOUS 57870 HAS SOUPS 57870 WITH SCORE 57943.682
AT ITER 2900 NEW BEST:: SOT 146172 SOS 73316 HAS SOPS 73316 HAS SOUS 57501 HAS SOUPS 57501 WITH SCORE 57574.316
AT ITER 2948 NEW BEST:: SOT 146110 SOS 73170 HAS SOPS 73170 HAS SOUS 57250 HAS SOUPS 57250 WITH SCORE 57323.17
AT ITER 2959 NEW BEST:: SOT 146124 SOS 73156 HAS SOPS 73156 HAS SOUS 57226 HAS SOUPS 57226 WITH SCORE 57299.156
AT ITER 2960 NEW BEST:: SOT 146124 SOS 73156 HAS SOPS 73156 HAS SOUS 57218 HAS SOUPS 57218 WITH SCORE 57291.156
AT ITER 2962 NEW BEST:: SOT 146124 SOS 73162 HAS SOPS 73162 HAS SOUS 57197 HAS SOUPS 57197 WITH SCORE 57270.162
AT ITER 2973 NEW BEST:: SOT 146051 SOS 72865 HAS SOPS 72865 HAS SOUS 57080 HAS SOUPS 57080 WITH SCORE 57152.865
AT ITER 2982 NEW BEST:: SOT 146051 SOS 72862 HAS SOPS 72862 HAS SOUS 57068 HAS SOUPS 57068 WITH SCORE 57140.862
AT ITER 2983 NEW BEST:: SOT 146051 SOS 72817 HAS SOPS 72817 HAS SOUS 57023 HAS SOUPS 57023 WITH SCORE 57095.817
AT ITER 2984 NEW BEST:: SOT 146007 SOS 72729 HAS SOPS 72729 HAS SOUS 56819 HAS SOUPS 56819 WITH SCORE 56891.729
AT ITER 2987 NEW BEST:: SOT 145985 SOS 72682 HAS SOPS 72682 HAS SOUS 56769 HAS SOUPS 56769 WITH SCORE 56841.682
AT ITER 2988 NEW BEST:: SOT 145980 SOS 72677 HAS SOPS 72677 HAS SOUS 56764 HAS SOUPS 56764 WITH SCORE 56836.677
AT ITER 2993 NEW BEST:: SOT 145980 SOS 72589 HAS SOPS 72589 HAS SOUS 56631 HAS SOUPS 56631 WITH SCORE 56703.589
AT ITER 3001 NEW BEST:: SOT 145907 SOS 72506 HAS SOPS 72506 HAS SOUS 56548 HAS SOUPS 56548 WITH SCORE 56620.506
AT ITER 3013 NEW BEST:: SOT 145884 SOS 72477 HAS SOPS 72477 HAS SOUS 56519 HAS SOUPS 56519 WITH SCORE 56591.477
AT ITER 3034 NEW BEST:: SOT 145782 SOS 72341 HAS SOPS 72341 HAS SOUS 56383 HAS SOUPS 56383 WITH SCORE 56455.341
AT ITER 3038 NEW BEST:: SOT 145782 SOS 72362 HAS SOPS 72362 HAS SOUS 56351 HAS SOUPS 56351 WITH SCORE 56423.362
AT ITER 3041 NEW BEST:: SOT 145747 SOS 72309 HAS SOPS 72309 HAS SOUS 56298 HAS SOUPS 56298 WITH SCORE 56370.309
AT ITER 3044 NEW BEST:: SOT 145717 SOS 72279 HAS SOPS 72279 HAS SOUS 56268 HAS SOUPS 56268 WITH SCORE 56340.279
AT ITER 3050 NEW BEST:: SOT 145709 SOS 72271 HAS SOPS 72271 HAS SOUS 56260 HAS SOUPS 56260 WITH SCORE 56332.271
AT ITER 3076 NEW BEST:: SOT 145676 SOS 72268 HAS SOPS 72268 HAS SOUS 56243 HAS SOUPS 56243 WITH SCORE 56315.268
AT ITER 3083 NEW BEST:: SOT 145676 SOS 72249 HAS SOPS 72249 HAS SOUS 56243 HAS SOUPS 56243 WITH SCORE 56315.249
AT ITER 3096 NEW BEST:: SOT 145668 SOS 72182 HAS SOPS 72182 HAS SOUS 56181 HAS SOUPS 56181 WITH SCORE 56253.182
AT ITER 3098 NEW BEST:: SOT 145630 SOS 72125 HAS SOPS 72125 HAS SOUS 56124 HAS SOUPS 56124 WITH SCORE 56196.125
AT ITER 3100 NEW BEST:: SOT 145705 SOS 72040 HAS SOPS 72040 HAS SOUS 56028 HAS SOUPS 56028 WITH SCORE 56100.04
AT ITER 3113 NEW BEST:: SOT 145613 SOS 71948 HAS SOPS 71948 HAS SOUS 55979 HAS SOUPS 55979 WITH SCORE 56050.948
AT ITER 3114 NEW BEST:: SOT 145581 SOS 71164 HAS SOPS 71164 HAS SOUS 55772 HAS SOUPS 55772 WITH SCORE 55843.164
AT ITER 3118 NEW BEST:: SOT 145673 SOS 71150 HAS SOPS 71150 HAS SOUS 55733 HAS SOUPS 55733 WITH SCORE 55804.15
AT ITER 3157 NEW BEST:: SOT 145659 SOS 71136 HAS SOPS 71136 HAS SOUS 55719 HAS SOUPS 55719 WITH SCORE 55790.136
AT ITER 3163 NEW BEST:: SOT 145495 SOS 70893 HAS SOPS 70893 HAS SOUS 55493 HAS SOUPS 55493 WITH SCORE 55563.893
AT ITER 3164 NEW BEST:: SOT 145447 SOS 70791 HAS SOPS 70791 HAS SOUS 55427 HAS SOUPS 55427 WITH SCORE 55497.791
AT ITER 3165 NEW BEST:: SOT 145431 SOS 70703 HAS SOPS 70703 HAS SOUS 55303 HAS SOUPS 55303 WITH SCORE 55373.703
AT ITER 3167 NEW BEST:: SOT 145501 SOS 70727 HAS SOPS 70727 HAS SOUS 55288 HAS SOUPS 55288 WITH SCORE 55358.727
AT ITER 3169 NEW BEST:: SOT 145485 SOS 70704 HAS SOPS 70704 HAS SOUS 55145 HAS SOUPS 55145 WITH SCORE 55215.704
AT ITER 3185 NEW BEST:: SOT 145447 SOS 70651 HAS SOPS 70651 HAS SOUS 55073 HAS SOUPS 55073 WITH SCORE 55143.651
AT ITER 3191 NEW BEST:: SOT 145431 SOS 70634 HAS SOPS 70634 HAS SOUS 55056 HAS SOUPS 55056 WITH SCORE 55126.634
AT ITER 3216 NEW BEST:: SOT 145431 SOS 70606 HAS SOPS 70606 HAS SOUS 54986 HAS SOUPS 54986 WITH SCORE 55056.606
AT ITER 3233 NEW BEST:: SOT 145431 SOS 70597 HAS SOPS 70597 HAS SOUS 54950 HAS SOUPS 54950 WITH SCORE 55020.597
AT ITER 3240 NEW BEST:: SOT 145365 SOS 70509 HAS SOPS 70509 HAS SOUS 54862 HAS SOUPS 54862 WITH SCORE 54932.509
AT ITER 3251 NEW BEST:: SOT 145365 SOS 70504 HAS SOPS 70504 HAS SOUS 54857 HAS SOUPS 54857 WITH SCORE 54927.504
AT ITER 3267 NEW BEST:: SOT 145355 SOS 70494 HAS SOPS 70494 HAS SOUS 54847 HAS SOUPS 54847 WITH SCORE 54917.494
AT ITER 3274 NEW BEST:: SOT 145269 SOS 70408 HAS SOPS 70408 HAS SOUS 54761 HAS SOUPS 54761 WITH SCORE 54831.408
AT ITER 3295 NEW BEST:: SOT 145217 SOS 70356 HAS SOPS 70356 HAS SOUS 54648 HAS SOUPS 54648 WITH SCORE 54718.356
AT ITER 3307 NEW BEST:: SOT 145086 SOS 70380 HAS SOPS 70380 HAS SOUS 54544 HAS SOUPS 54544 WITH SCORE 54614.38
AT ITER 3320 NEW BEST:: SOT 145080 SOS 70374 HAS SOPS 70374 HAS SOUS 54538 HAS SOUPS 54538 WITH SCORE 54608.374
AT ITER 3325 NEW BEST:: SOT 145009 SOS 70310 HAS SOPS 70310 HAS SOUS 54404 HAS SOUPS 54404 WITH SCORE 54474.31
AT ITER 3337 NEW BEST:: SOT 144988 SOS 70093 HAS SOPS 70093 HAS SOUS 54308 HAS SOUPS 54308 WITH SCORE 54378.093
AT ITER 3353 NEW BEST:: SOT 144969 SOS 69872 HAS SOPS 69872 HAS SOUS 54159 HAS SOUPS 54159 WITH SCORE 54228.872
AT ITER 3357 NEW BEST:: SOT 144955 SOS 69858 HAS SOPS 69858 HAS SOUS 54145 HAS SOUPS 54145 WITH SCORE 54214.858
AT ITER 3359 NEW BEST:: SOT 145014 SOS 69905 HAS SOPS 69905 HAS SOUS 54101 HAS SOUPS 54101 WITH SCORE 54170.905
AT ITER 3377 NEW BEST:: SOT 145014 SOS 69881 HAS SOPS 69881 HAS SOUS 54065 HAS SOUPS 54065 WITH SCORE 54134.881
AT ITER 3379 NEW BEST:: SOT 145002 SOS 69663 HAS SOPS 69663 HAS SOUS 53959 HAS SOUPS 53959 WITH SCORE 54028.663
AT ITER 3385 NEW BEST:: SOT 145002 SOS 69659 HAS SOPS 69659 HAS SOUS 53955 HAS SOUPS 53955 WITH SCORE 54024.659
AT ITER 3396 NEW BEST:: SOT 145083 SOS 69674 HAS SOPS 69674 HAS SOUS 53853 HAS SOUPS 53853 WITH SCORE 53922.674
AT ITER 3405 NEW BEST:: SOT 145083 SOS 69658 HAS SOPS 69658 HAS SOUS 53841 HAS SOUPS 53841 WITH SCORE 53910.658
AT ITER 3417 NEW BEST:: SOT 145087 SOS 69657 HAS SOPS 69657 HAS SOUS 53840 HAS SOUPS 53840 WITH SCORE 53909.657
AT ITER 3427 NEW BEST:: SOT 145051 SOS 69617 HAS SOPS 69617 HAS SOUS 53800 HAS SOUPS 53800 WITH SCORE 53869.617
AT ITER 3429 NEW BEST:: SOT 145128 SOS 69634 HAS SOPS 69634 HAS SOUS 53760 HAS SOUPS 53760 WITH SCORE 53829.634
AT ITER 3440 NEW BEST:: SOT 145099 SOS 69851 HAS SOPS 69851 HAS SOUS 53757 HAS SOUPS 53757 WITH SCORE 53826.851
AT ITER 3451 NEW BEST:: SOT 145099 SOS 69856 HAS SOPS 69856 HAS SOUS 53748 HAS SOUPS 53748 WITH SCORE 53817.856
AT ITER 3453 NEW BEST:: SOT 145095 SOS 69852 HAS SOPS 69852 HAS SOUS 53744 HAS SOUPS 53744 WITH SCORE 53813.852
AT ITER 3479 NEW BEST:: SOT 145095 SOS 69852 HAS SOPS 69852 HAS SOUS 53733 HAS SOUPS 53733 WITH SCORE 53802.852
AT ITER 3502 NEW BEST:: SOT 145115 SOS 69827 HAS SOPS 69827 HAS SOUS 53708 HAS SOUPS 53708 WITH SCORE 53777.827
AT ITER 3510 NEW BEST:: SOT 145091 SOS 69803 HAS SOPS 69803 HAS SOUS 53684 HAS SOUPS 53684 WITH SCORE 53753.803
AT ITER 3512 NEW BEST:: SOT 144976 SOS 69615 HAS SOPS 69615 HAS SOUS 53579 HAS SOUPS 53579 WITH SCORE 53648.615
AT ITER 3519 NEW BEST:: SOT 144976 SOS 69591 HAS SOPS 69591 HAS SOUS 53565 HAS SOUPS 53565 WITH SCORE 53634.591
AT ITER 3520 NEW BEST:: SOT 144988 SOS 69473 HAS SOPS 69473 HAS SOUS 53529 HAS SOUPS 53529 WITH SCORE 53598.473
AT ITER 3532 NEW BEST:: SOT 144898 SOS 69396 HAS SOPS 69396 HAS SOUS 53452 HAS SOUPS 53452 WITH SCORE 53521.396
AT ITER 3535 NEW BEST:: SOT 144898 SOS 69375 HAS SOPS 69375 HAS SOUS 53431 HAS SOUPS 53431 WITH SCORE 53500.375
AT ITER 3542 NEW BEST:: SOT 144895 SOS 69373 HAS SOPS 69373 HAS SOUS 53429 HAS SOUPS 53429 WITH SCORE 53498.373
AT ITER 3543 NEW BEST:: SOT 144892 SOS 69370 HAS SOPS 69370 HAS SOUS 53419 HAS SOUPS 53419 WITH SCORE 53488.37
AT ITER 3549 NEW BEST:: SOT 144888 SOS 69358 HAS SOPS 69358 HAS SOUS 53415 HAS SOUPS 53415 WITH SCORE 53484.358
AT ITER 3557 NEW BEST:: SOT 144780 SOS 69250 HAS SOPS 69250 HAS SOUS 53298 HAS SOUPS 53298 WITH SCORE 53367.25
AT ITER 3562 NEW BEST:: SOT 144762 SOS 69226 HAS SOPS 69226 HAS SOUS 53280 HAS SOUPS 53280 WITH SCORE 53349.226
AT ITER 3583 NEW BEST:: SOT 144726 SOS 68820 HAS SOPS 68820 HAS SOUS 53164 HAS SOUPS 53164 WITH SCORE 53232.82
AT ITER 3590 NEW BEST:: SOT 144636 SOS 68702 HAS SOPS 68702 HAS SOUS 53133 HAS SOUPS 53133 WITH SCORE 53201.702
AT ITER 3593 NEW BEST:: SOT 144636 SOS 68665 HAS SOPS 68665 HAS SOUS 53130 HAS SOUPS 53130 WITH SCORE 53198.665
AT ITER 3599 NEW BEST:: SOT 144636 SOS 68696 HAS SOPS 68696 HAS SOUS 53067 HAS SOUPS 53067 WITH SCORE 53135.696
AT ITER 3616 NEW BEST:: SOT 144636 SOS 68688 HAS SOPS 68688 HAS SOUS 53067 HAS SOUPS 53067 WITH SCORE 53135.688
AT ITER 3619 NEW BEST:: SOT 144604 SOS 68640 HAS SOPS 68640 HAS SOUS 53019 HAS SOUPS 53019 WITH SCORE 53087.64
AT ITER 3624 NEW BEST:: SOT 144566 SOS 68378 HAS SOPS 68378 HAS SOUS 52757 HAS SOUPS 52757 WITH SCORE 52825.378
AT ITER 3627 NEW BEST:: SOT 144566 SOS 68192 HAS SOPS 68192 HAS SOUS 52751 HAS SOUPS 52751 WITH SCORE 52819.192
AT ITER 3634 NEW BEST:: SOT 144579 SOS 68178 HAS SOPS 68178 HAS SOUS 52682 HAS SOUPS 52682 WITH SCORE 52750.178
AT ITER 3638 NEW BEST:: SOT 144402 SOS 68001 HAS SOPS 68001 HAS SOUS 52505 HAS SOUPS 52505 WITH SCORE 52573.001
AT ITER 3647 NEW BEST:: SOT 144396 SOS 67953 HAS SOPS 67953 HAS SOUS 52433 HAS SOUPS 52433 WITH SCORE 52500.953
AT ITER 3648 NEW BEST:: SOT 144396 SOS 67958 HAS SOPS 67958 HAS SOUS 52370 HAS SOUPS 52370 WITH SCORE 52437.958
AT ITER 3665 NEW BEST:: SOT 144401 SOS 67943 HAS SOPS 67943 HAS SOUS 52355 HAS SOUPS 52355 WITH SCORE 52422.943
AT ITER 3679 NEW BEST:: SOT 144017 SOS 67610 HAS SOPS 67610 HAS SOUS 52203 HAS SOUPS 52203 WITH SCORE 52270.61
AT ITER 3692 NEW BEST:: SOT 144008 SOS 67601 HAS SOPS 67601 HAS SOUS 52194 HAS SOUPS 52194 WITH SCORE 52261.601
AT ITER 3700 NEW BEST:: SOT 144008 SOS 67601 HAS SOPS 67601 HAS SOUS 52180 HAS SOUPS 52180 WITH SCORE 52247.601
AT ITER 3724 NEW BEST:: SOT 144105 SOS 67555 HAS SOPS 67555 HAS SOUS 52134 HAS SOUPS 52134 WITH SCORE 52201.555
AT ITER 3735 NEW BEST:: SOT 144080 SOS 67530 HAS SOPS 67530 HAS SOUS 52109 HAS SOUPS 52109 WITH SCORE 52176.53
AT ITER 3739 NEW BEST:: SOT 144094 SOS 67495 HAS SOPS 67495 HAS SOUS 52080 HAS SOUPS 52080 WITH SCORE 52147.495
AT ITER 3741 NEW BEST:: SOT 144104 SOS 67499 HAS SOPS 67499 HAS SOUS 52078 HAS SOUPS 52078 WITH SCORE 52145.499
AT ITER 3749 NEW BEST:: SOT 144104 SOS 67261 HAS SOPS 67261 HAS SOUS 52074 HAS SOUPS 52074 WITH SCORE 52141.261
AT ITER 3779 NEW BEST:: SOT 144103 SOS 67258 HAS SOPS 67258 HAS SOUS 52072 HAS SOUPS 52072 WITH SCORE 52139.258
AT ITER 3781 NEW BEST:: SOT 143864 SOS 66876 HAS SOPS 66876 HAS SOUS 51690 HAS SOUPS 51690 WITH SCORE 51756.876
AT ITER 3785 NEW BEST:: SOT 143825 SOS 66850 HAS SOPS 66850 HAS SOUS 51651 HAS SOUPS 51651 WITH SCORE 51717.85
AT ITER 3786 NEW BEST:: SOT 143761 SOS 66758 HAS SOPS 66758 HAS SOUS 51559 HAS SOUPS 51559 WITH SCORE 51625.758
AT ITER 3790 NEW BEST:: SOT 143729 SOS 66745 HAS SOPS 66745 HAS SOUS 51550 HAS SOUPS 51550 WITH SCORE 51616.745
AT ITER 3793 NEW BEST:: SOT 143729 SOS 66697 HAS SOPS 66697 HAS SOUS 51550 HAS SOUPS 51550 WITH SCORE 51616.697
AT ITER 3802 NEW BEST:: SOT 143710 SOS 66649 HAS SOPS 66649 HAS SOUS 51483 HAS SOUPS 51483 WITH SCORE 51549.649
AT ITER 3816 NEW BEST:: SOT 143710 SOS 66627 HAS SOPS 66627 HAS SOUS 51461 HAS SOUPS 51461 WITH SCORE 51527.627
AT ITER 3820 NEW BEST:: SOT 143672 SOS 66570 HAS SOPS 66570 HAS SOUS 51405 HAS SOUPS 51405 WITH SCORE 51471.57
AT ITER 3823 NEW BEST:: SOT 143657 SOS 65957 HAS SOPS 65957 HAS SOUS 51225 HAS SOUPS 51225 WITH SCORE 51290.957
AT ITER 3837 NEW BEST:: SOT 143657 SOS 65933 HAS SOPS 65933 HAS SOUS 51214 HAS SOUPS 51214 WITH SCORE 51279.933
AT ITER 3859 NEW BEST:: SOT 143175 SOS 65451 HAS SOPS 65451 HAS SOUS 50732 HAS SOUPS 50732 WITH SCORE 50797.451
AT ITER 3860 NEW BEST:: SOT 143106 SOS 65150 HAS SOPS 65150 HAS SOUS 50575 HAS SOUPS 50575 WITH SCORE 50640.15
AT ITER 3871 NEW BEST:: SOT 143040 SOS 65100 HAS SOPS 65100 HAS SOUS 50525 HAS SOUPS 50525 WITH SCORE 50590.1
AT ITER 3873 NEW BEST:: SOT 143040 SOS 65093 HAS SOPS 65093 HAS SOUS 50518 HAS SOUPS 50518 WITH SCORE 50583.093
AT ITER 3892 NEW BEST:: SOT 143037 SOS 65087 HAS SOPS 65087 HAS SOUS 50512 HAS SOUPS 50512 WITH SCORE 50577.087
AT ITER 3894 NEW BEST:: SOT 143037 SOS 65087 HAS SOPS 65087 HAS SOUS 50502 HAS SOUPS 50502 WITH SCORE 50567.087
AT ITER 3900 NEW BEST:: SOT 142886 SOS 64800 HAS SOPS 64800 HAS SOUS 50260 HAS SOUPS 50260 WITH SCORE 50324.8
AT ITER 3912 NEW BEST:: SOT 142851 SOS 64766 HAS SOPS 64766 HAS SOUS 50209 HAS SOUPS 50209 WITH SCORE 50273.766
AT ITER 3924 NEW BEST:: SOT 142851 SOS 64768 HAS SOPS 64768 HAS SOUS 50208 HAS SOUPS 50208 WITH SCORE 50272.768
AT ITER 3938 NEW BEST:: SOT 142820 SOS 64742 HAS SOPS 64742 HAS SOUS 50182 HAS SOUPS 50182 WITH SCORE 50246.742
AT ITER 3944 NEW BEST:: SOT 142788 SOS 64593 HAS SOPS 64593 HAS SOUS 50101 HAS SOUPS 50101 WITH SCORE 50165.593
AT ITER 3975 NEW BEST:: SOT 142786 SOS 64497 HAS SOPS 64497 HAS SOUS 50014 HAS SOUPS 50014 WITH SCORE 50078.497
AT ITER 3981 NEW BEST:: SOT 142715 SOS 64457 HAS SOPS 64457 HAS SOUS 49974 HAS SOUPS 49974 WITH SCORE 50038.457
AT ITER 4001 NEW BEST:: SOT 142673 SOS 64312 HAS SOPS 64312 HAS SOUS 49778 HAS SOUPS 49778 WITH SCORE 49842.312
AT ITER 4009 NEW BEST:: SOT 142585 SOS 64211 HAS SOPS 64211 HAS SOUS 49702 HAS SOUPS 49702 WITH SCORE 49766.211
AT ITER 4038 NEW BEST:: SOT 142575 SOS 64191 HAS SOPS 64191 HAS SOUS 49672 HAS SOUPS 49672 WITH SCORE 49736.191
AT ITER 4060 NEW BEST:: SOT 142575 SOS 64175 HAS SOPS 64175 HAS SOUS 49656 HAS SOUPS 49656 WITH SCORE 49720.175
AT ITER 4064 NEW BEST:: SOT 142493 SOS 64094 HAS SOPS 64094 HAS SOUS 49575 HAS SOUPS 49575 WITH SCORE 49639.094
AT ITER 4081 NEW BEST:: SOT 142498 SOS 64058 HAS SOPS 64058 HAS SOUS 49508 HAS SOUPS 49508 WITH SCORE 49572.058
AT ITER 4097 NEW BEST:: SOT 142498 SOS 64053 HAS SOPS 64053 HAS SOUS 49480 HAS SOUPS 49480 WITH SCORE 49544.053
AT ITER 4105 NEW BEST:: SOT 142218 SOS 63699 HAS SOPS 63699 HAS SOUS 49192 HAS SOUPS 49192 WITH SCORE 49255.699
AT ITER 4108 NEW BEST:: SOT 142218 SOS 63691 HAS SOPS 63691 HAS SOUS 49190 HAS SOUPS 49190 WITH SCORE 49253.691
AT ITER 4109 NEW BEST:: SOT 142218 SOS 63670 HAS SOPS 63670 HAS SOUS 49169 HAS SOUPS 49169 WITH SCORE 49232.67
AT ITER 4118 NEW BEST:: SOT 142218 SOS 63690 HAS SOPS 63690 HAS SOUS 49125 HAS SOUPS 49125 WITH SCORE 49188.69
AT ITER 4120 NEW BEST:: SOT 142088 SOS 63551 HAS SOPS 63551 HAS SOUS 48958 HAS SOUPS 48958 WITH SCORE 49021.551
AT ITER 4125 NEW BEST:: SOT 142088 SOS 63551 HAS SOPS 63551 HAS SOUS 48930 HAS SOUPS 48930 WITH SCORE 48993.551
AT ITER 4132 NEW BEST:: SOT 142088 SOS 63499 HAS SOPS 63499 HAS SOUS 48866 HAS SOUPS 48866 WITH SCORE 48929.499
AT ITER 4145 NEW BEST:: SOT 142088 SOS 63499 HAS SOPS 63499 HAS SOUS 48836 HAS SOUPS 48836 WITH SCORE 48899.499
AT ITER 4146 NEW BEST:: SOT 141883 SOS 63217 HAS SOPS 63217 HAS SOUS 48477 HAS SOUPS 48477 WITH SCORE 48540.217
AT ITER 4183 NEW BEST:: SOT 141788 SOS 63125 HAS SOPS 63125 HAS SOUS 48389 HAS SOUPS 48389 WITH SCORE 48452.125
AT ITER 4190 NEW BEST:: SOT 141775 SOS 63082 HAS SOPS 63082 HAS SOUS 48361 HAS SOUPS 48361 WITH SCORE 48424.082
AT ITER 4191 NEW BEST:: SOT 141766 SOS 63112 HAS SOPS 63112 HAS SOUS 48356 HAS SOUPS 48356 WITH SCORE 48419.112
AT ITER 4233 NEW BEST:: SOT 141742 SOS 63238 HAS SOPS 63238 HAS SOUS 48304 HAS SOUPS 48304 WITH SCORE 48367.238
AT ITER 4245 NEW BEST:: SOT 141564 SOS 62884 HAS SOPS 62884 HAS SOUS 47940 HAS SOUPS 47940 WITH SCORE 48002.884
AT ITER 4272 NEW BEST:: SOT 141558 SOS 62878 HAS SOPS 62878 HAS SOUS 47934 HAS SOUPS 47934 WITH SCORE 47996.878
AT ITER 4299 NEW BEST:: SOT 141547 SOS 62867 HAS SOPS 62867 HAS SOUS 47912 HAS SOUPS 47912 WITH SCORE 47974.867
AT ITER 4311 NEW BEST:: SOT 141520 SOS 62864 HAS SOPS 62864 HAS SOUS 47909 HAS SOUPS 47909 WITH SCORE 47971.864
AT ITER 4327 NEW BEST:: SOT 141448 SOS 62816 HAS SOPS 62816 HAS SOUS 47861 HAS SOUPS 47861 WITH SCORE 47923.816
AT ITER 4332 NEW BEST:: SOT 141448 SOS 62809 HAS SOPS 62809 HAS SOUS 47854 HAS SOUPS 47854 WITH SCORE 47916.809
AT ITER 4340 NEW BEST:: SOT 141451 SOS 62800 HAS SOPS 62800 HAS SOUS 47845 HAS SOUPS 47845 WITH SCORE 47907.8
AT ITER 4347 NEW BEST:: SOT 141436 SOS 62785 HAS SOPS 62785 HAS SOUS 47830 HAS SOUPS 47830 WITH SCORE 47892.785
AT ITER 4348 NEW BEST:: SOT 141432 SOS 62777 HAS SOPS 62777 HAS SOUS 47822 HAS SOUPS 47822 WITH SCORE 47884.777
AT ITER 4363 NEW BEST:: SOT 141432 SOS 62777 HAS SOPS 62777 HAS SOUS 47816 HAS SOUPS 47816 WITH SCORE 47878.777
AT ITER 4368 NEW BEST:: SOT 141428 SOS 62765 HAS SOPS 62765 HAS SOUS 47812 HAS SOUPS 47812 WITH SCORE 47874.765
AT ITER 4384 NEW BEST:: SOT 141428 SOS 62742 HAS SOPS 62742 HAS SOUS 47793 HAS SOUPS 47793 WITH SCORE 47855.742
AT ITER 4386 NEW BEST:: SOT 141659 SOS 62621 HAS SOPS 62621 HAS SOUS 47781 HAS SOUPS 47781 WITH SCORE 47843.621
AT ITER 4400 NEW BEST:: SOT 141651 SOS 62617 HAS SOPS 62617 HAS SOUS 47777 HAS SOUPS 47777 WITH SCORE 47839.617
AT ITER 4424 NEW BEST:: SOT 141638 SOS 62591 HAS SOPS 62591 HAS SOUS 47712 HAS SOUPS 47712 WITH SCORE 47774.591
AT ITER 4433 NEW BEST:: SOT 141632 SOS 62580 HAS SOPS 62580 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47763.58
AT ITER 4443 NEW BEST:: SOT 141492 SOS 62376 HAS SOPS 62376 HAS SOUS 47553 HAS SOUPS 47553 WITH SCORE 47615.376
AT ITER 4448 NEW BEST:: SOT 141458 SOS 62278 HAS SOPS 62278 HAS SOUS 47455 HAS SOUPS 47455 WITH SCORE 47517.278
AT ITER 4453 NEW BEST:: SOT 141449 SOS 62243 HAS SOPS 62243 HAS SOUS 47420 HAS SOUPS 47420 WITH SCORE 47482.243
AT ITER 4455 NEW BEST:: SOT 141297 SOS 62141 HAS SOPS 62141 HAS SOUS 47279 HAS SOUPS 47279 WITH SCORE 47341.141
AT ITER 4461 NEW BEST:: SOT 141292 SOS 62136 HAS SOPS 62136 HAS SOUS 47274 HAS SOUPS 47274 WITH SCORE 47336.136
AT ITER 4478 NEW BEST:: SOT 141227 SOS 62071 HAS SOPS 62071 HAS SOUS 47209 HAS SOUPS 47209 WITH SCORE 47271.071
AT ITER 4479 NEW BEST:: SOT 141229 SOS 62049 HAS SOPS 62049 HAS SOUS 47179 HAS SOUPS 47179 WITH SCORE 47241.049
AT ITER 4489 NEW BEST:: SOT 141209 SOS 62054 HAS SOPS 62054 HAS SOUS 47177 HAS SOUPS 47177 WITH SCORE 47239.054
AT ITER 4507 NEW BEST:: SOT 141117 SOS 61836 HAS SOPS 61836 HAS SOUS 46959 HAS SOUPS 46959 WITH SCORE 47020.836
AT ITER 4521 NEW BEST:: SOT 141107 SOS 61812 HAS SOPS 61812 HAS SOUS 46959 HAS SOUPS 46959 WITH SCORE 47020.812
AT ITER 4524 NEW BEST:: SOT 141092 SOS 61797 HAS SOPS 61797 HAS SOUS 46959 HAS SOUPS 46959 WITH SCORE 47020.797
AT ITER 4531 NEW BEST:: SOT 141130 SOS 61734 HAS SOPS 61734 HAS SOUS 46954 HAS SOUPS 46954 WITH SCORE 47015.734
AT ITER 4536 NEW BEST:: SOT 141130 SOS 61478 HAS SOPS 61478 HAS SOUS 46820 HAS SOUPS 46820 WITH SCORE 46881.478
AT ITER 4542 NEW BEST:: SOT 141128 SOS 61474 HAS SOPS 61474 HAS SOUS 46816 HAS SOUPS 46816 WITH SCORE 46877.474
AT ITER 4549 NEW BEST:: SOT 141112 SOS 61417 HAS SOPS 61417 HAS SOUS 46769 HAS SOUPS 46769 WITH SCORE 46830.417
AT ITER 4567 NEW BEST:: SOT 141017 SOS 61340 HAS SOPS 61340 HAS SOUS 46700 HAS SOUPS 46700 WITH SCORE 46761.34
AT ITER 4572 NEW BEST:: SOT 140889 SOS 61276 HAS SOPS 61276 HAS SOUS 46700 HAS SOUPS 46700 WITH SCORE 46761.276
AT ITER 4601 NEW BEST:: SOT 140843 SOS 61141 HAS SOPS 61141 HAS SOUS 46686 HAS SOUPS 46686 WITH SCORE 46747.141
AT ITER 4610 NEW BEST:: SOT 140931 SOS 61077 HAS SOPS 61077 HAS SOUS 46677 HAS SOUPS 46677 WITH SCORE 46738.077
AT ITER 4666 NEW BEST:: SOT 140923 SOS 61039 HAS SOPS 61039 HAS SOUS 46631 HAS SOUPS 46631 WITH SCORE 46692.039
AT ITER 4673 NEW BEST:: SOT 140906 SOS 60988 HAS SOPS 60988 HAS SOUS 46581 HAS SOUPS 46581 WITH SCORE 46641.988
AT ITER 4686 NEW BEST:: SOT 140906 SOS 60966 HAS SOPS 60966 HAS SOUS 46570 HAS SOUPS 46570 WITH SCORE 46630.966
AT ITER 4694 NEW BEST:: SOT 140908 SOS 60928 HAS SOPS 60928 HAS SOUS 46549 HAS SOUPS 46549 WITH SCORE 46609.928
AT ITER 4702 NEW BEST:: SOT 140866 SOS 60864 HAS SOPS 60864 HAS SOUS 46458 HAS SOUPS 46458 WITH SCORE 46518.864
AT ITER 4715 NEW BEST:: SOT 140810 SOS 60780 HAS SOPS 60780 HAS SOUS 46374 HAS SOUPS 46374 WITH SCORE 46434.78
AT ITER 4739 NEW BEST:: SOT 140820 SOS 60790 HAS SOPS 60790 HAS SOUS 46364 HAS SOUPS 46364 WITH SCORE 46424.79
AT ITER 4752 NEW BEST:: SOT 140900 SOS 60793 HAS SOPS 60793 HAS SOUS 46343 HAS SOUPS 46343 WITH SCORE 46403.793
AT ITER 4754 NEW BEST:: SOT 140873 SOS 60747 HAS SOPS 60747 HAS SOUS 46277 HAS SOUPS 46277 WITH SCORE 46337.747
AT ITER 4758 NEW BEST:: SOT 140873 SOS 60758 HAS SOPS 60758 HAS SOUS 46254 HAS SOUPS 46254 WITH SCORE 46314.758
AT ITER 4790 NEW BEST:: SOT 140772 SOS 60583 HAS SOPS 60583 HAS SOUS 46021 HAS SOUPS 46021 WITH SCORE 46081.583
AT ITER 4823 NEW BEST:: SOT 140727 SOS 60523 HAS SOPS 60523 HAS SOUS 45961 HAS SOUPS 45961 WITH SCORE 46021.523
AT ITER 4842 NEW BEST:: SOT 140567 SOS 60334 HAS SOPS 60334 HAS SOUS 45772 HAS SOUPS 45772 WITH SCORE 45832.334
AT ITER 4843 NEW BEST:: SOT 140561 SOS 60328 HAS SOPS 60328 HAS SOUS 45766 HAS SOUPS 45766 WITH SCORE 45826.328
AT ITER 4853 NEW BEST:: SOT 140793 SOS 60847 HAS SOPS 60847 HAS SOUS 45765 HAS SOUPS 45765 WITH SCORE 45825.847
AT ITER 4855 NEW BEST:: SOT 140789 SOS 60839 HAS SOPS 60839 HAS SOUS 45757 HAS SOUPS 45757 WITH SCORE 45817.839
AT ITER 4856 NEW BEST:: SOT 140773 SOS 60823 HAS SOPS 60823 HAS SOUS 45741 HAS SOUPS 45741 WITH SCORE 45801.823
AT ITER 4882 NEW BEST:: SOT 140769 SOS 60835 HAS SOPS 60835 HAS SOUS 45737 HAS SOUPS 45737 WITH SCORE 45797.835
AT ITER 4908 NEW BEST:: SOT 140799 SOS 60519 HAS SOPS 60519 HAS SOUS 45696 HAS SOUPS 45696 WITH SCORE 45756.519
AT ITER 4912 NEW BEST:: SOT 140791 SOS 60515 HAS SOPS 60515 HAS SOUS 45692 HAS SOUPS 45692 WITH SCORE 45752.515
AT ITER 4966 NEW BEST:: SOT 140791 SOS 60515 HAS SOPS 60515 HAS SOUS 45689 HAS SOUPS 45689 WITH SCORE 45749.515
AT ITER 4970 NEW BEST:: SOT 140792 SOS 60496 HAS SOPS 60496 HAS SOUS 45677 HAS SOUPS 45677 WITH SCORE 45737.496
AT ITER 4980 NEW BEST:: SOT 140792 SOS 60485 HAS SOPS 60485 HAS SOUS 45656 HAS SOUPS 45656 WITH SCORE 45716.485
AT ITER 4995 NEW BEST:: SOT 140782 SOS 60407 HAS SOPS 60407 HAS SOUS 45514 HAS SOUPS 45514 WITH SCORE 45574.407
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-00 ( (! (AU( potential( (tk(P219)) <= (tk(P43)) ),potential( ( 1 ) <= (tk(P400)) ) ))) | (AG( (! (! potential( ( 1 ) <= (tk(P238)) ))))) )
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-01 (AF((! ( (! potential( (tk(P121)) <= (tk(P378)) )) | ( potential( (tk(P473)) <= (tk(P12)) ) | potential( (tk(P399)) <= (tk(P146)) ) ) ))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-02 ( (EU( (! potential( (tk(P414)) <= (tk(P359)) )),( potential( (tk(P229)) <= (tk(P69)) ) | potential( ( 3 ) <= (tk(P488)) ) ) )) & (! (AG( potential( (tk(P309)) <= (tk(P416)) )))) )
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-03 (EF((AU( potential( (tk(P173)) <= (tk(P171)) ),potential( ( 3 ) <= (tk(P199)) ) ))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-04 ( (EX( potential( ( 2 ) <= (tk(P401)) ))) | (AG( (AF(potential( (tk(P56)) <= (tk(P324)) ))))) )
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-05 ( (! (! ( potential( ( 2 ) <= (tk(P451)) ) | ( potential( (tk(P461)) <= (tk(P212)) ) & potential( ( 2 ) <= (tk(P120)) ) ) ))) | (EG( potential( (tk(P387)) <= (tk(P201)) ))) )
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-06 ( (EF((EG( potential( (tk(P434)) <= (tk(P466)) ))))) & ( (! potential( ( 3 ) <= (tk(P315)) )) | ( ( potential( (tk(P325)) <= (tk(P159)) ) | ( potential( (tk(P70)) <= (tk(P85)) ) | potential( (tk(P134)) <= (tk(P394)) ) ) ) | ( (! potential( ( 3 ) <= (tk(P434)) )) & ( potential( (tk(P342)) <= (tk(P371)) ) | potential( (tk(P416)) <= (tk(P56)) ) ) ) ) ) )
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-07 (! (AG( potential( (tk(P487)) <= (tk(P256)) ))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-08 (AG( (AX( ( potential( ( 1 ) <= (tk(P408)) ) | potential( ( 1 ) <= (tk(P13)) ) )))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-09 ( (EG( potential( (tk(P23)) <= (tk(P169)) ))) & (EF((EF(potential( ( 2 ) <= (tk(P204)) ))))) )
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-10 (EG( (AU( potential( (tk(P121)) <= (tk(P12)) ),potential( ( 1 ) <= (tk(P16)) ) ))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-11 (! (! (EU( potential( (tk(P210)) <= (tk(P52)) ),potential( ( 3 ) <= (tk(P9)) ) ))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-12 (! (EG( (EF(potential( (tk(P260)) <= (tk(P271)) ))))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-13 (AF(( ( potential( ( 1 ) <= (tk(P111)) ) & potential( ( 2 ) <= (tk(P356)) ) ) & (! ( potential( ( 3 ) <= (tk(P317)) ) & potential( (tk(P293)) <= (tk(P191)) ) )) )))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-14 (! (EF((EG( potential( ( 2 ) <= (tk(P55)) ))))))
PROPERTY: ShieldIIPs-PT-020A-CTLCardinality-15 (AX( (AG( ( potential( ( 1 ) <= (tk(P10)) ) | potential( (tk(P94)) <= (tk(P33)) ) )))))

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="CTLCardinality"
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 CTLCardinality"
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-159033469000139"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;