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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.130 3600000.00 3600040.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-159033469800668.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 ShieldPPPt-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-159033469800668
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.7K May 14 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 19:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 08:52 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 134K 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 ShieldPPPt-PT-020A-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-020A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590447150058

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (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, 363 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 150296 SOS 125896 HAS SOPS 125896 HAS SOUS 101726 HAS SOUPS 101726 WITH SCORE 101851.896
AT ITER 3 NEW BEST:: SOT 150058 SOS 125908 HAS SOPS 125908 HAS SOUS 101559 HAS SOUPS 101559 WITH SCORE 101684.908
AT ITER 5 NEW BEST:: SOT 150058 SOS 125731 HAS SOPS 125731 HAS SOUS 101525 HAS SOUPS 101525 WITH SCORE 101650.731
AT ITER 6 NEW BEST:: SOT 149539 SOS 125224 HAS SOPS 125224 HAS SOUS 101107 HAS SOUPS 101107 WITH SCORE 101232.224
AT ITER 8 NEW BEST:: SOT 149539 SOS 124829 HAS SOPS 124829 HAS SOUS 101100 HAS SOUPS 101100 WITH SCORE 101224.829
AT ITER 9 NEW BEST:: SOT 149410 SOS 124760 HAS SOPS 124760 HAS SOUS 101092 HAS SOUPS 101092 WITH SCORE 101216.76
AT ITER 15 NEW BEST:: SOT 148893 SOS 124243 HAS SOPS 124243 HAS SOUS 100579 HAS SOUPS 100579 WITH SCORE 100703.243
AT ITER 23 NEW BEST:: SOT 148285 SOS 122788 HAS SOPS 122788 HAS SOUS 99629 HAS SOUPS 99629 WITH SCORE 99751.788
AT ITER 24 NEW BEST:: SOT 148270 SOS 122773 HAS SOPS 122773 HAS SOUS 99614 HAS SOUPS 99614 WITH SCORE 99736.773
AT ITER 32 NEW BEST:: SOT 147502 SOS 120906 HAS SOPS 120906 HAS SOUS 98371 HAS SOUPS 98371 WITH SCORE 98491.906
AT ITER 33 NEW BEST:: SOT 147326 SOS 120730 HAS SOPS 120730 HAS SOUS 98227 HAS SOUPS 98227 WITH SCORE 98347.73
AT ITER 37 NEW BEST:: SOT 147115 SOS 120519 HAS SOPS 120519 HAS SOUS 98015 HAS SOUPS 98015 WITH SCORE 98135.519
AT ITER 38 NEW BEST:: SOT 147052 SOS 120456 HAS SOPS 120456 HAS SOUS 97950 HAS SOUPS 97950 WITH SCORE 98070.456
AT ITER 39 NEW BEST:: SOT 147052 SOS 120267 HAS SOPS 120267 HAS SOUS 97948 HAS SOUPS 97948 WITH SCORE 98068.267
AT ITER 40 NEW BEST:: SOT 146848 SOS 120063 HAS SOPS 120063 HAS SOUS 97754 HAS SOUPS 97754 WITH SCORE 97874.063
AT ITER 43 NEW BEST:: SOT 146487 SOS 119712 HAS SOPS 119712 HAS SOUS 97403 HAS SOUPS 97403 WITH SCORE 97522.712
AT ITER 44 NEW BEST:: SOT 146354 SOS 119641 HAS SOPS 119641 HAS SOUS 97396 HAS SOUPS 97396 WITH SCORE 97515.641
AT ITER 45 NEW BEST:: SOT 146178 SOS 118831 HAS SOPS 118831 HAS SOUS 96907 HAS SOUPS 96907 WITH SCORE 97025.831
AT ITER 47 NEW BEST:: SOT 145936 SOS 118589 HAS SOPS 118589 HAS SOUS 96663 HAS SOUPS 96663 WITH SCORE 96781.589
AT ITER 49 NEW BEST:: SOT 145792 SOS 118445 HAS SOPS 118445 HAS SOUS 96518 HAS SOUPS 96518 WITH SCORE 96636.445
AT ITER 53 NEW BEST:: SOT 145627 SOS 118280 HAS SOPS 118280 HAS SOUS 96352 HAS SOUPS 96352 WITH SCORE 96470.28
AT ITER 58 NEW BEST:: SOT 145419 SOS 118072 HAS SOPS 118072 HAS SOUS 96144 HAS SOUPS 96144 WITH SCORE 96262.072
AT ITER 61 NEW BEST:: SOT 145419 SOS 117995 HAS SOPS 117995 HAS SOUS 96144 HAS SOUPS 96144 WITH SCORE 96261.995
AT ITER 62 NEW BEST:: SOT 144966 SOS 117542 HAS SOPS 117542 HAS SOUS 95689 HAS SOUPS 95689 WITH SCORE 95806.542
AT ITER 64 NEW BEST:: SOT 144453 SOS 117027 HAS SOPS 117027 HAS SOUS 95256 HAS SOUPS 95256 WITH SCORE 95373.027
AT ITER 69 NEW BEST:: SOT 144301 SOS 116873 HAS SOPS 116873 HAS SOUS 95102 HAS SOUPS 95102 WITH SCORE 95218.873
AT ITER 76 NEW BEST:: SOT 144301 SOS 116349 HAS SOPS 116349 HAS SOUS 95101 HAS SOUPS 95101 WITH SCORE 95217.349
AT ITER 79 NEW BEST:: SOT 144154 SOS 116202 HAS SOPS 116202 HAS SOUS 94954 HAS SOUPS 94954 WITH SCORE 95070.202
AT ITER 81 NEW BEST:: SOT 143825 SOS 115873 HAS SOPS 115873 HAS SOUS 94699 HAS SOUPS 94699 WITH SCORE 94814.873
AT ITER 82 NEW BEST:: SOT 143730 SOS 115776 HAS SOPS 115776 HAS SOUS 94602 HAS SOUPS 94602 WITH SCORE 94717.776
AT ITER 83 NEW BEST:: SOT 143003 SOS 115049 HAS SOPS 115049 HAS SOUS 93919 HAS SOUPS 93919 WITH SCORE 94034.049
AT ITER 88 NEW BEST:: SOT 142917 SOS 114963 HAS SOPS 114963 HAS SOUS 93833 HAS SOUPS 93833 WITH SCORE 93947.963
AT ITER 92 NEW BEST:: SOT 142493 SOS 114539 HAS SOPS 114539 HAS SOUS 93573 HAS SOUPS 93573 WITH SCORE 93687.539
AT ITER 94 NEW BEST:: SOT 142141 SOS 114185 HAS SOPS 114185 HAS SOUS 93219 HAS SOUPS 93219 WITH SCORE 93333.185
AT ITER 95 NEW BEST:: SOT 142002 SOS 114044 HAS SOPS 114044 HAS SOUS 93077 HAS SOUPS 93077 WITH SCORE 93191.044
AT ITER 96 NEW BEST:: SOT 142002 SOS 113750 HAS SOPS 113750 HAS SOUS 93068 HAS SOUPS 93068 WITH SCORE 93181.75
AT ITER 98 NEW BEST:: SOT 141975 SOS 113723 HAS SOPS 113723 HAS SOUS 93041 HAS SOUPS 93041 WITH SCORE 93154.723
AT ITER 99 NEW BEST:: SOT 141722 SOS 113499 HAS SOPS 113499 HAS SOUS 92846 HAS SOUPS 92846 WITH SCORE 92959.499
AT ITER 100 NEW BEST:: SOT 141722 SOS 113457 HAS SOPS 113457 HAS SOUS 92826 HAS SOUPS 92826 WITH SCORE 92939.457
AT ITER 101 NEW BEST:: SOT 141722 SOS 113188 HAS SOPS 113188 HAS SOUS 92824 HAS SOUPS 92824 WITH SCORE 92937.188
AT ITER 103 NEW BEST:: SOT 141477 SOS 112943 HAS SOPS 112943 HAS SOUS 92628 HAS SOUPS 92628 WITH SCORE 92740.943
AT ITER 107 NEW BEST:: SOT 141269 SOS 112735 HAS SOPS 112735 HAS SOUS 92483 HAS SOUPS 92483 WITH SCORE 92595.735
AT ITER 110 NEW BEST:: SOT 141199 SOS 112665 HAS SOPS 112665 HAS SOUS 92413 HAS SOUPS 92413 WITH SCORE 92525.665
AT ITER 111 NEW BEST:: SOT 140936 SOS 112358 HAS SOPS 112358 HAS SOUS 92025 HAS SOUPS 92025 WITH SCORE 92137.358
AT ITER 119 NEW BEST:: SOT 140899 SOS 112093 HAS SOPS 112093 HAS SOUS 91860 HAS SOUPS 91860 WITH SCORE 91972.093
AT ITER 121 NEW BEST:: SOT 140899 SOS 111458 HAS SOPS 111458 HAS SOUS 91854 HAS SOUPS 91854 WITH SCORE 91965.458
AT ITER 124 NEW BEST:: SOT 140833 SOS 111392 HAS SOPS 111392 HAS SOUS 91788 HAS SOUPS 91788 WITH SCORE 91899.392
AT ITER 127 NEW BEST:: SOT 140833 SOS 110565 HAS SOPS 110565 HAS SOUS 91786 HAS SOUPS 91786 WITH SCORE 91896.565
AT ITER 130 NEW BEST:: SOT 140830 SOS 110562 HAS SOPS 110562 HAS SOUS 91782 HAS SOUPS 91782 WITH SCORE 91892.562
AT ITER 135 NEW BEST:: SOT 140739 SOS 109958 HAS SOPS 109958 HAS SOUS 91450 HAS SOUPS 91450 WITH SCORE 91559.958
AT ITER 137 NEW BEST:: SOT 140739 SOS 109944 HAS SOPS 109944 HAS SOUS 91446 HAS SOUPS 91446 WITH SCORE 91555.944
AT ITER 138 NEW BEST:: SOT 140739 SOS 109890 HAS SOPS 109890 HAS SOUS 91426 HAS SOUPS 91426 WITH SCORE 91535.89
AT ITER 139 NEW BEST:: SOT 140672 SOS 109823 HAS SOPS 109823 HAS SOUS 91359 HAS SOUPS 91359 WITH SCORE 91468.823
AT ITER 142 NEW BEST:: SOT 140672 SOS 108917 HAS SOPS 108917 HAS SOUS 91153 HAS SOUPS 91153 WITH SCORE 91261.917
AT ITER 144 NEW BEST:: SOT 140242 SOS 108487 HAS SOPS 108487 HAS SOUS 90774 HAS SOUPS 90774 WITH SCORE 90882.487
AT ITER 146 NEW BEST:: SOT 139700 SOS 107666 HAS SOPS 107666 HAS SOUS 90069 HAS SOUPS 90069 WITH SCORE 90176.666
AT ITER 150 NEW BEST:: SOT 139538 SOS 107539 HAS SOPS 107539 HAS SOUS 89942 HAS SOUPS 89942 WITH SCORE 90049.539
AT ITER 151 NEW BEST:: SOT 139228 SOS 107231 HAS SOPS 107231 HAS SOUS 89634 HAS SOUPS 89634 WITH SCORE 89741.231
AT ITER 154 NEW BEST:: SOT 139035 SOS 107038 HAS SOPS 107038 HAS SOUS 89285 HAS SOUPS 89285 WITH SCORE 89392.038
AT ITER 155 NEW BEST:: SOT 138873 SOS 106895 HAS SOPS 106895 HAS SOUS 89163 HAS SOUPS 89163 WITH SCORE 89269.895
AT ITER 156 NEW BEST:: SOT 138670 SOS 106692 HAS SOPS 106692 HAS SOUS 88960 HAS SOUPS 88960 WITH SCORE 89066.692
AT ITER 165 NEW BEST:: SOT 138670 SOS 106551 HAS SOPS 106551 HAS SOUS 88958 HAS SOUPS 88958 WITH SCORE 89064.551
AT ITER 167 NEW BEST:: SOT 138469 SOS 105586 HAS SOPS 105586 HAS SOUS 88569 HAS SOUPS 88569 WITH SCORE 88674.586
AT ITER 169 NEW BEST:: SOT 138355 SOS 105353 HAS SOPS 105353 HAS SOUS 88397 HAS SOUPS 88397 WITH SCORE 88502.353
AT ITER 172 NEW BEST:: SOT 138254 SOS 105250 HAS SOPS 105250 HAS SOUS 88369 HAS SOUPS 88369 WITH SCORE 88474.25
AT ITER 173 NEW BEST:: SOT 138241 SOS 105237 HAS SOPS 105237 HAS SOUS 88356 HAS SOUPS 88356 WITH SCORE 88461.237
AT ITER 175 NEW BEST:: SOT 138138 SOS 105120 HAS SOPS 105120 HAS SOUS 88155 HAS SOUPS 88155 WITH SCORE 88260.12
AT ITER 182 NEW BEST:: SOT 137936 SOS 104918 HAS SOPS 104918 HAS SOUS 88053 HAS SOUPS 88053 WITH SCORE 88157.918
AT ITER 186 NEW BEST:: SOT 137846 SOS 104727 HAS SOPS 104727 HAS SOUS 87876 HAS SOUPS 87876 WITH SCORE 87980.727
AT ITER 195 NEW BEST:: SOT 137846 SOS 104297 HAS SOPS 104297 HAS SOUS 87873 HAS SOUPS 87873 WITH SCORE 87977.297
AT ITER 196 NEW BEST:: SOT 137796 SOS 104247 HAS SOPS 104247 HAS SOUS 87823 HAS SOUPS 87823 WITH SCORE 87927.247
AT ITER 197 NEW BEST:: SOT 137709 SOS 104073 HAS SOPS 104073 HAS SOUS 87622 HAS SOUPS 87622 WITH SCORE 87726.073
AT ITER 200 NEW BEST:: SOT 137709 SOS 103617 HAS SOPS 103617 HAS SOUS 87517 HAS SOUPS 87517 WITH SCORE 87620.617
AT ITER 210 NEW BEST:: SOT 137705 SOS 103613 HAS SOPS 103613 HAS SOUS 87513 HAS SOUPS 87513 WITH SCORE 87616.613
AT ITER 214 NEW BEST:: SOT 137704 SOS 103612 HAS SOPS 103612 HAS SOUS 87512 HAS SOUPS 87512 WITH SCORE 87615.612
AT ITER 215 NEW BEST:: SOT 137785 SOS 102730 HAS SOPS 102730 HAS SOUS 86998 HAS SOUPS 86998 WITH SCORE 87100.73
AT ITER 216 NEW BEST:: SOT 137061 SOS 102006 HAS SOPS 102006 HAS SOUS 86274 HAS SOUPS 86274 WITH SCORE 86376.006
AT ITER 217 NEW BEST:: SOT 137013 SOS 101700 HAS SOPS 101700 HAS SOUS 86155 HAS SOUPS 86155 WITH SCORE 86256.7
AT ITER 218 NEW BEST:: SOT 136633 SOS 101224 HAS SOPS 101224 HAS SOUS 85594 HAS SOUPS 85594 WITH SCORE 85695.224
AT ITER 219 NEW BEST:: SOT 136386 SOS 100145 HAS SOPS 100145 HAS SOUS 85047 HAS SOUPS 85047 WITH SCORE 85147.145
AT ITER 223 NEW BEST:: SOT 136146 SOS 99903 HAS SOPS 99903 HAS SOUS 84804 HAS SOUPS 84804 WITH SCORE 84903.903
AT ITER 228 NEW BEST:: SOT 136138 SOS 99842 HAS SOPS 99842 HAS SOUS 84746 HAS SOUPS 84746 WITH SCORE 84845.842
AT ITER 230 NEW BEST:: SOT 135884 SOS 99588 HAS SOPS 99588 HAS SOUS 84491 HAS SOUPS 84491 WITH SCORE 84590.588
AT ITER 232 NEW BEST:: SOT 135884 SOS 99244 HAS SOPS 99244 HAS SOUS 84405 HAS SOUPS 84405 WITH SCORE 84504.244
AT ITER 233 NEW BEST:: SOT 135237 SOS 98597 HAS SOPS 98597 HAS SOUS 83950 HAS SOUPS 83950 WITH SCORE 84048.597
AT ITER 235 NEW BEST:: SOT 135292 SOS 98328 HAS SOPS 98328 HAS SOUS 83950 HAS SOUPS 83950 WITH SCORE 84048.328
AT ITER 236 NEW BEST:: SOT 135258 SOS 98294 HAS SOPS 98294 HAS SOUS 83916 HAS SOUPS 83916 WITH SCORE 84014.294
AT ITER 239 NEW BEST:: SOT 135334 SOS 97772 HAS SOPS 97772 HAS SOUS 83679 HAS SOUPS 83679 WITH SCORE 83776.772
AT ITER 241 NEW BEST:: SOT 134781 SOS 96527 HAS SOPS 96527 HAS SOUS 82624 HAS SOUPS 82624 WITH SCORE 82720.527
AT ITER 242 NEW BEST:: SOT 134360 SOS 96106 HAS SOPS 96106 HAS SOUS 82310 HAS SOUPS 82310 WITH SCORE 82406.106
AT ITER 247 NEW BEST:: SOT 134028 SOS 95774 HAS SOPS 95774 HAS SOUS 81975 HAS SOUPS 81975 WITH SCORE 82070.774
AT ITER 248 NEW BEST:: SOT 133731 SOS 95650 HAS SOPS 95650 HAS SOUS 81689 HAS SOUPS 81689 WITH SCORE 81784.65
AT ITER 251 NEW BEST:: SOT 133731 SOS 95312 HAS SOPS 95312 HAS SOUS 81613 HAS SOUPS 81613 WITH SCORE 81708.312
AT ITER 252 NEW BEST:: SOT 133731 SOS 95036 HAS SOPS 95036 HAS SOUS 81611 HAS SOUPS 81611 WITH SCORE 81706.036
AT ITER 253 NEW BEST:: SOT 133731 SOS 94889 HAS SOPS 94889 HAS SOUS 81543 HAS SOUPS 81543 WITH SCORE 81637.889
AT ITER 254 NEW BEST:: SOT 133627 SOS 94785 HAS SOPS 94785 HAS SOUS 81541 HAS SOUPS 81541 WITH SCORE 81635.785
AT ITER 257 NEW BEST:: SOT 133627 SOS 94727 HAS SOPS 94727 HAS SOUS 81540 HAS SOUPS 81540 WITH SCORE 81634.727
AT ITER 261 NEW BEST:: SOT 133625 SOS 94680 HAS SOPS 94680 HAS SOUS 81493 HAS SOUPS 81493 WITH SCORE 81587.68
AT ITER 264 NEW BEST:: SOT 133245 SOS 94381 HAS SOPS 94381 HAS SOUS 81221 HAS SOUPS 81221 WITH SCORE 81315.381
AT ITER 270 NEW BEST:: SOT 133110 SOS 94079 HAS SOPS 94079 HAS SOUS 80919 HAS SOUPS 80919 WITH SCORE 81013.079
AT ITER 274 NEW BEST:: SOT 133110 SOS 94068 HAS SOPS 94068 HAS SOUS 80908 HAS SOUPS 80908 WITH SCORE 81002.068
AT ITER 276 NEW BEST:: SOT 133108 SOS 93536 HAS SOPS 93536 HAS SOUS 80878 HAS SOUPS 80878 WITH SCORE 80971.536
AT ITER 277 NEW BEST:: SOT 132697 SOS 93123 HAS SOPS 93123 HAS SOUS 80465 HAS SOUPS 80465 WITH SCORE 80558.123
AT ITER 278 NEW BEST:: SOT 132619 SOS 92208 HAS SOPS 92208 HAS SOUS 80202 HAS SOUPS 80202 WITH SCORE 80294.208
AT ITER 281 NEW BEST:: SOT 132570 SOS 92159 HAS SOPS 92159 HAS SOUS 80073 HAS SOUPS 80073 WITH SCORE 80165.159
AT ITER 282 NEW BEST:: SOT 132570 SOS 91893 HAS SOPS 91893 HAS SOUS 79913 HAS SOUPS 79913 WITH SCORE 80004.893
AT ITER 284 NEW BEST:: SOT 132392 SOS 91794 HAS SOPS 91794 HAS SOUS 79892 HAS SOUPS 79892 WITH SCORE 79983.794
AT ITER 285 NEW BEST:: SOT 132383 SOS 91785 HAS SOPS 91785 HAS SOUS 79883 HAS SOUPS 79883 WITH SCORE 79974.785
AT ITER 286 NEW BEST:: SOT 132207 SOS 91694 HAS SOPS 91694 HAS SOUS 79880 HAS SOUPS 79880 WITH SCORE 79971.694
AT ITER 287 NEW BEST:: SOT 132119 SOS 91518 HAS SOPS 91518 HAS SOUS 79701 HAS SOUPS 79701 WITH SCORE 79792.518
AT ITER 288 NEW BEST:: SOT 132119 SOS 91486 HAS SOPS 91486 HAS SOUS 79701 HAS SOUPS 79701 WITH SCORE 79792.486
AT ITER 290 NEW BEST:: SOT 132107 SOS 91474 HAS SOPS 91474 HAS SOUS 79689 HAS SOUPS 79689 WITH SCORE 79780.474
AT ITER 293 NEW BEST:: SOT 131480 SOS 90845 HAS SOPS 90845 HAS SOUS 79060 HAS SOUPS 79060 WITH SCORE 79150.845
AT ITER 297 NEW BEST:: SOT 131445 SOS 90435 HAS SOPS 90435 HAS SOUS 78948 HAS SOUPS 78948 WITH SCORE 79038.435
AT ITER 299 NEW BEST:: SOT 131445 SOS 90348 HAS SOPS 90348 HAS SOUS 78946 HAS SOUPS 78946 WITH SCORE 79036.348
AT ITER 301 NEW BEST:: SOT 131244 SOS 90147 HAS SOPS 90147 HAS SOUS 78695 HAS SOUPS 78695 WITH SCORE 78785.147
AT ITER 302 NEW BEST:: SOT 131180 SOS 90027 HAS SOPS 90027 HAS SOUS 78589 HAS SOUPS 78589 WITH SCORE 78679.027
AT ITER 305 NEW BEST:: SOT 131171 SOS 89969 HAS SOPS 89969 HAS SOUS 78531 HAS SOUPS 78531 WITH SCORE 78620.969
AT ITER 306 NEW BEST:: SOT 131141 SOS 89826 HAS SOPS 89826 HAS SOUS 78387 HAS SOUPS 78387 WITH SCORE 78476.826
AT ITER 307 NEW BEST:: SOT 131112 SOS 89717 HAS SOPS 89717 HAS SOUS 78345 HAS SOUPS 78345 WITH SCORE 78434.717
AT ITER 314 NEW BEST:: SOT 131039 SOS 89534 HAS SOPS 89534 HAS SOUS 78235 HAS SOUPS 78235 WITH SCORE 78324.534
AT ITER 317 NEW BEST:: SOT 131008 SOS 89474 HAS SOPS 89474 HAS SOUS 78145 HAS SOUPS 78145 WITH SCORE 78234.474
AT ITER 320 NEW BEST:: SOT 130801 SOS 89267 HAS SOPS 89267 HAS SOUS 77938 HAS SOUPS 77938 WITH SCORE 78027.267
AT ITER 322 NEW BEST:: SOT 130801 SOS 89267 HAS SOPS 89267 HAS SOUS 77910 HAS SOUPS 77910 WITH SCORE 77999.267
AT ITER 323 NEW BEST:: SOT 130625 SOS 88927 HAS SOPS 88927 HAS SOUS 77626 HAS SOUPS 77626 WITH SCORE 77714.927
AT ITER 324 NEW BEST:: SOT 130625 SOS 88906 HAS SOPS 88906 HAS SOUS 77626 HAS SOUPS 77626 WITH SCORE 77714.906
AT ITER 326 NEW BEST:: SOT 130585 SOS 88866 HAS SOPS 88866 HAS SOUS 77626 HAS SOUPS 77626 WITH SCORE 77714.866
AT ITER 328 NEW BEST:: SOT 130585 SOS 88867 HAS SOPS 88867 HAS SOUS 77618 HAS SOUPS 77618 WITH SCORE 77706.867
AT ITER 329 NEW BEST:: SOT 130585 SOS 88748 HAS SOPS 88748 HAS SOUS 77605 HAS SOUPS 77605 WITH SCORE 77693.748
AT ITER 330 NEW BEST:: SOT 130166 SOS 87991 HAS SOPS 87991 HAS SOUS 76915 HAS SOUPS 76915 WITH SCORE 77002.991
AT ITER 333 NEW BEST:: SOT 130128 SOS 87953 HAS SOPS 87953 HAS SOUS 76877 HAS SOUPS 76877 WITH SCORE 76964.953
AT ITER 334 NEW BEST:: SOT 130076 SOS 87839 HAS SOPS 87839 HAS SOUS 76763 HAS SOUPS 76763 WITH SCORE 76850.839
AT ITER 335 NEW BEST:: SOT 130076 SOS 87482 HAS SOPS 87482 HAS SOUS 76762 HAS SOUPS 76762 WITH SCORE 76849.482
AT ITER 340 NEW BEST:: SOT 130076 SOS 87410 HAS SOPS 87410 HAS SOUS 76690 HAS SOUPS 76690 WITH SCORE 76777.41
AT ITER 341 NEW BEST:: SOT 129590 SOS 86932 HAS SOPS 86932 HAS SOUS 76356 HAS SOUPS 76356 WITH SCORE 76442.932
AT ITER 342 NEW BEST:: SOT 129631 SOS 86947 HAS SOPS 86947 HAS SOUS 76333 HAS SOUPS 76333 WITH SCORE 76419.947
AT ITER 344 NEW BEST:: SOT 129606 SOS 86921 HAS SOPS 86921 HAS SOUS 76287 HAS SOUPS 76287 WITH SCORE 76373.921
AT ITER 354 NEW BEST:: SOT 129539 SOS 86497 HAS SOPS 86497 HAS SOUS 76218 HAS SOUPS 76218 WITH SCORE 76304.497
AT ITER 356 NEW BEST:: SOT 129245 SOS 85767 HAS SOPS 85767 HAS SOUS 75520 HAS SOUPS 75520 WITH SCORE 75605.767
AT ITER 359 NEW BEST:: SOT 128737 SOS 84950 HAS SOPS 84950 HAS SOUS 74751 HAS SOUPS 74751 WITH SCORE 74835.95
AT ITER 361 NEW BEST:: SOT 128721 SOS 84902 HAS SOPS 84902 HAS SOUS 74719 HAS SOUPS 74719 WITH SCORE 74803.902
AT ITER 363 NEW BEST:: SOT 128721 SOS 84900 HAS SOPS 84900 HAS SOUS 74674 HAS SOUPS 74674 WITH SCORE 74758.9
AT ITER 365 NEW BEST:: SOT 128627 SOS 84738 HAS SOPS 84738 HAS SOUS 74499 HAS SOUPS 74499 WITH SCORE 74583.738
AT ITER 367 NEW BEST:: SOT 128557 SOS 84668 HAS SOPS 84668 HAS SOUS 74429 HAS SOUPS 74429 WITH SCORE 74513.668
AT ITER 368 NEW BEST:: SOT 128446 SOS 84529 HAS SOPS 84529 HAS SOUS 74288 HAS SOUPS 74288 WITH SCORE 74372.529
AT ITER 369 NEW BEST:: SOT 128546 SOS 84137 HAS SOPS 84137 HAS SOUS 74068 HAS SOUPS 74068 WITH SCORE 74152.137
AT ITER 372 NEW BEST:: SOT 127844 SOS 83010 HAS SOPS 83010 HAS SOUS 73291 HAS SOUPS 73291 WITH SCORE 73374.01
AT ITER 378 NEW BEST:: SOT 127764 SOS 82801 HAS SOPS 82801 HAS SOUS 73065 HAS SOUPS 73065 WITH SCORE 73147.801
AT ITER 381 NEW BEST:: SOT 127630 SOS 82607 HAS SOPS 82607 HAS SOUS 72810 HAS SOUPS 72810 WITH SCORE 72892.607
AT ITER 384 NEW BEST:: SOT 127548 SOS 82525 HAS SOPS 82525 HAS SOUS 72728 HAS SOUPS 72728 WITH SCORE 72810.525
AT ITER 390 NEW BEST:: SOT 127548 SOS 82524 HAS SOPS 82524 HAS SOUS 72727 HAS SOUPS 72727 WITH SCORE 72809.524
AT ITER 391 NEW BEST:: SOT 127465 SOS 82176 HAS SOPS 82176 HAS SOUS 72561 HAS SOUPS 72561 WITH SCORE 72643.176
AT ITER 397 NEW BEST:: SOT 127465 SOS 81864 HAS SOPS 81864 HAS SOUS 72561 HAS SOUPS 72561 WITH SCORE 72642.864
AT ITER 398 NEW BEST:: SOT 127465 SOS 81717 HAS SOPS 81717 HAS SOUS 72551 HAS SOUPS 72551 WITH SCORE 72632.717
AT ITER 401 NEW BEST:: SOT 127377 SOS 81559 HAS SOPS 81559 HAS SOUS 72375 HAS SOUPS 72375 WITH SCORE 72456.559
AT ITER 405 NEW BEST:: SOT 127330 SOS 81017 HAS SOPS 81017 HAS SOUS 72000 HAS SOUPS 72000 WITH SCORE 72081.017
AT ITER 412 NEW BEST:: SOT 127282 SOS 80967 HAS SOPS 80967 HAS SOUS 71950 HAS SOUPS 71950 WITH SCORE 72030.967
AT ITER 413 NEW BEST:: SOT 127056 SOS 80741 HAS SOPS 80741 HAS SOUS 71782 HAS SOUPS 71782 WITH SCORE 71862.741
AT ITER 422 NEW BEST:: SOT 127017 SOS 80570 HAS SOPS 80570 HAS SOUS 71704 HAS SOUPS 71704 WITH SCORE 71784.57
AT ITER 423 NEW BEST:: SOT 126873 SOS 80253 HAS SOPS 80253 HAS SOUS 71400 HAS SOUPS 71400 WITH SCORE 71480.253
AT ITER 427 NEW BEST:: SOT 126784 SOS 80162 HAS SOPS 80162 HAS SOUS 71309 HAS SOUPS 71309 WITH SCORE 71389.162
AT ITER 428 NEW BEST:: SOT 126708 SOS 80130 HAS SOPS 80130 HAS SOUS 71277 HAS SOUPS 71277 WITH SCORE 71357.13
AT ITER 429 NEW BEST:: SOT 126708 SOS 79978 HAS SOPS 79978 HAS SOUS 71201 HAS SOUPS 71201 WITH SCORE 71280.978
AT ITER 431 NEW BEST:: SOT 126641 SOS 79825 HAS SOPS 79825 HAS SOUS 71013 HAS SOUPS 71013 WITH SCORE 71092.825
AT ITER 432 NEW BEST:: SOT 126449 SOS 79609 HAS SOPS 79609 HAS SOUS 70832 HAS SOUPS 70832 WITH SCORE 70911.609
AT ITER 435 NEW BEST:: SOT 126449 SOS 79609 HAS SOPS 79609 HAS SOUS 70799 HAS SOUPS 70799 WITH SCORE 70878.609
AT ITER 439 NEW BEST:: SOT 126431 SOS 79591 HAS SOPS 79591 HAS SOUS 70781 HAS SOUPS 70781 WITH SCORE 70860.591
AT ITER 440 NEW BEST:: SOT 126431 SOS 79590 HAS SOPS 79590 HAS SOUS 70781 HAS SOUPS 70781 WITH SCORE 70860.59
AT ITER 443 NEW BEST:: SOT 126431 SOS 79097 HAS SOPS 79097 HAS SOUS 70691 HAS SOUPS 70691 WITH SCORE 70770.097
AT ITER 454 NEW BEST:: SOT 126417 SOS 79055 HAS SOPS 79055 HAS SOUS 70677 HAS SOUPS 70677 WITH SCORE 70756.055
AT ITER 456 NEW BEST:: SOT 126339 SOS 78896 HAS SOPS 78896 HAS SOUS 70552 HAS SOUPS 70552 WITH SCORE 70630.896
AT ITER 459 NEW BEST:: SOT 126114 SOS 78671 HAS SOPS 78671 HAS SOUS 70327 HAS SOUPS 70327 WITH SCORE 70405.671
AT ITER 462 NEW BEST:: SOT 126114 SOS 78637 HAS SOPS 78637 HAS SOUS 70256 HAS SOUPS 70256 WITH SCORE 70334.637
AT ITER 463 NEW BEST:: SOT 126114 SOS 78637 HAS SOPS 78637 HAS SOUS 70246 HAS SOUPS 70246 WITH SCORE 70324.637
AT ITER 465 NEW BEST:: SOT 126114 SOS 78562 HAS SOPS 78562 HAS SOUS 70246 HAS SOUPS 70246 WITH SCORE 70324.562
AT ITER 473 NEW BEST:: SOT 126053 SOS 78501 HAS SOPS 78501 HAS SOUS 70185 HAS SOUPS 70185 WITH SCORE 70263.501
AT ITER 475 NEW BEST:: SOT 125907 SOS 77986 HAS SOPS 77986 HAS SOUS 69787 HAS SOUPS 69787 WITH SCORE 69864.986
AT ITER 484 NEW BEST:: SOT 125905 SOS 77984 HAS SOPS 77984 HAS SOUS 69785 HAS SOUPS 69785 WITH SCORE 69862.984
AT ITER 487 NEW BEST:: SOT 125885 SOS 77964 HAS SOPS 77964 HAS SOUS 69755 HAS SOUPS 69755 WITH SCORE 69832.964
AT ITER 488 NEW BEST:: SOT 125861 SOS 77934 HAS SOPS 77934 HAS SOUS 69701 HAS SOUPS 69701 WITH SCORE 69778.934
AT ITER 489 NEW BEST:: SOT 125724 SOS 77624 HAS SOPS 77624 HAS SOUS 69372 HAS SOUPS 69372 WITH SCORE 69449.624
AT ITER 494 NEW BEST:: SOT 125672 SOS 77520 HAS SOPS 77520 HAS SOUS 69268 HAS SOUPS 69268 WITH SCORE 69345.52
AT ITER 497 NEW BEST:: SOT 125508 SOS 77385 HAS SOPS 77385 HAS SOUS 69133 HAS SOUPS 69133 WITH SCORE 69210.385
AT ITER 507 NEW BEST:: SOT 125508 SOS 77384 HAS SOPS 77384 HAS SOUS 69132 HAS SOUPS 69132 WITH SCORE 69209.384
AT ITER 511 NEW BEST:: SOT 125465 SOS 77298 HAS SOPS 77298 HAS SOUS 69046 HAS SOUPS 69046 WITH SCORE 69123.298
AT ITER 513 NEW BEST:: SOT 125449 SOS 76868 HAS SOPS 76868 HAS SOUS 68652 HAS SOUPS 68652 WITH SCORE 68728.868
AT ITER 514 NEW BEST:: SOT 125274 SOS 76693 HAS SOPS 76693 HAS SOUS 68477 HAS SOUPS 68477 WITH SCORE 68553.693
AT ITER 515 NEW BEST:: SOT 125221 SOS 76640 HAS SOPS 76640 HAS SOUS 68424 HAS SOUPS 68424 WITH SCORE 68500.64
AT ITER 519 NEW BEST:: SOT 125077 SOS 76496 HAS SOPS 76496 HAS SOUS 68221 HAS SOUPS 68221 WITH SCORE 68297.496
AT ITER 521 NEW BEST:: SOT 125077 SOS 76466 HAS SOPS 76466 HAS SOUS 68221 HAS SOUPS 68221 WITH SCORE 68297.466
AT ITER 524 NEW BEST:: SOT 124946 SOS 76335 HAS SOPS 76335 HAS SOUS 68154 HAS SOUPS 68154 WITH SCORE 68230.335
AT ITER 542 NEW BEST:: SOT 124616 SOS 75773 HAS SOPS 75773 HAS SOUS 67592 HAS SOUPS 67592 WITH SCORE 67667.773
AT ITER 544 NEW BEST:: SOT 124615 SOS 75772 HAS SOPS 75772 HAS SOUS 67591 HAS SOUPS 67591 WITH SCORE 67666.772
AT ITER 555 NEW BEST:: SOT 124569 SOS 75678 HAS SOPS 75678 HAS SOUS 67499 HAS SOUPS 67499 WITH SCORE 67574.678
AT ITER 558 NEW BEST:: SOT 124561 SOS 75654 HAS SOPS 75654 HAS SOUS 67491 HAS SOUPS 67491 WITH SCORE 67566.654
AT ITER 564 NEW BEST:: SOT 124561 SOS 75682 HAS SOPS 75682 HAS SOUS 67435 HAS SOUPS 67435 WITH SCORE 67510.682
AT ITER 566 NEW BEST:: SOT 124338 SOS 75459 HAS SOPS 75459 HAS SOUS 67330 HAS SOUPS 67330 WITH SCORE 67405.459
AT ITER 572 NEW BEST:: SOT 124218 SOS 75339 HAS SOPS 75339 HAS SOUS 67210 HAS SOUPS 67210 WITH SCORE 67285.339
AT ITER 573 NEW BEST:: SOT 124211 SOS 75332 HAS SOPS 75332 HAS SOUS 67200 HAS SOUPS 67200 WITH SCORE 67275.332
AT ITER 574 NEW BEST:: SOT 124202 SOS 75213 HAS SOPS 75213 HAS SOUS 67152 HAS SOUPS 67152 WITH SCORE 67227.213
AT ITER 586 NEW BEST:: SOT 124031 SOS 75042 HAS SOPS 75042 HAS SOUS 66947 HAS SOUPS 66947 WITH SCORE 67022.042
AT ITER 597 NEW BEST:: SOT 124000 SOS 75011 HAS SOPS 75011 HAS SOUS 66916 HAS SOUPS 66916 WITH SCORE 66991.011
AT ITER 600 NEW BEST:: SOT 123964 SOS 74957 HAS SOPS 74957 HAS SOUS 66862 HAS SOUPS 66862 WITH SCORE 66936.957
AT ITER 610 NEW BEST:: SOT 123850 SOS 74843 HAS SOPS 74843 HAS SOUS 66748 HAS SOUPS 66748 WITH SCORE 66822.843
AT ITER 614 NEW BEST:: SOT 123855 SOS 74842 HAS SOPS 74842 HAS SOUS 66746 HAS SOUPS 66746 WITH SCORE 66820.842
AT ITER 624 NEW BEST:: SOT 123641 SOS 74431 HAS SOPS 74431 HAS SOUS 66499 HAS SOUPS 66499 WITH SCORE 66573.431
AT ITER 630 NEW BEST:: SOT 123680 SOS 73799 HAS SOPS 73799 HAS SOUS 66057 HAS SOUPS 66057 WITH SCORE 66130.799
AT ITER 632 NEW BEST:: SOT 123641 SOS 73760 HAS SOPS 73760 HAS SOUS 66018 HAS SOUPS 66018 WITH SCORE 66091.76
AT ITER 638 NEW BEST:: SOT 123613 SOS 73732 HAS SOPS 73732 HAS SOUS 66018 HAS SOUPS 66018 WITH SCORE 66091.732
AT ITER 641 NEW BEST:: SOT 123613 SOS 73716 HAS SOPS 73716 HAS SOUS 66002 HAS SOUPS 66002 WITH SCORE 66075.716
AT ITER 648 NEW BEST:: SOT 123613 SOS 73548 HAS SOPS 73548 HAS SOUS 65933 HAS SOUPS 65933 WITH SCORE 66006.548
AT ITER 651 NEW BEST:: SOT 123508 SOS 73451 HAS SOPS 73451 HAS SOUS 65678 HAS SOUPS 65678 WITH SCORE 65751.451
AT ITER 652 NEW BEST:: SOT 123480 SOS 73410 HAS SOPS 73410 HAS SOUS 65650 HAS SOUPS 65650 WITH SCORE 65723.41
AT ITER 653 NEW BEST:: SOT 123480 SOS 73435 HAS SOPS 73435 HAS SOUS 65649 HAS SOUPS 65649 WITH SCORE 65722.435
AT ITER 654 NEW BEST:: SOT 123480 SOS 72958 HAS SOPS 72958 HAS SOUS 65645 HAS SOUPS 65645 WITH SCORE 65717.958
AT ITER 655 NEW BEST:: SOT 123382 SOS 72860 HAS SOPS 72860 HAS SOUS 65596 HAS SOUPS 65596 WITH SCORE 65668.86
AT ITER 657 NEW BEST:: SOT 123382 SOS 72701 HAS SOPS 72701 HAS SOUS 65456 HAS SOUPS 65456 WITH SCORE 65528.701
AT ITER 658 NEW BEST:: SOT 123293 SOS 72530 HAS SOPS 72530 HAS SOUS 65303 HAS SOUPS 65303 WITH SCORE 65375.53
AT ITER 661 NEW BEST:: SOT 123261 SOS 72494 HAS SOPS 72494 HAS SOUS 65267 HAS SOUPS 65267 WITH SCORE 65339.494
AT ITER 674 NEW BEST:: SOT 122900 SOS 71993 HAS SOPS 71993 HAS SOUS 64702 HAS SOUPS 64702 WITH SCORE 64773.993
AT ITER 676 NEW BEST:: SOT 122622 SOS 71418 HAS SOPS 71418 HAS SOUS 64120 HAS SOUPS 64120 WITH SCORE 64191.418
AT ITER 682 NEW BEST:: SOT 122616 SOS 71412 HAS SOPS 71412 HAS SOUS 64114 HAS SOUPS 64114 WITH SCORE 64185.412
AT ITER 685 NEW BEST:: SOT 122140 SOS 70936 HAS SOPS 70936 HAS SOUS 63683 HAS SOUPS 63683 WITH SCORE 63753.936
AT ITER 703 NEW BEST:: SOT 122026 SOS 70822 HAS SOPS 70822 HAS SOUS 63569 HAS SOUPS 63569 WITH SCORE 63639.822
AT ITER 705 NEW BEST:: SOT 122001 SOS 70797 HAS SOPS 70797 HAS SOUS 63544 HAS SOUPS 63544 WITH SCORE 63614.797
AT ITER 707 NEW BEST:: SOT 121980 SOS 70763 HAS SOPS 70763 HAS SOUS 63531 HAS SOUPS 63531 WITH SCORE 63601.763
AT ITER 708 NEW BEST:: SOT 121980 SOS 70350 HAS SOPS 70350 HAS SOUS 63520 HAS SOUPS 63520 WITH SCORE 63590.35
AT ITER 711 NEW BEST:: SOT 121979 SOS 70126 HAS SOPS 70126 HAS SOUS 63407 HAS SOUPS 63407 WITH SCORE 63477.126
AT ITER 713 NEW BEST:: SOT 121402 SOS 69176 HAS SOPS 69176 HAS SOUS 62457 HAS SOUPS 62457 WITH SCORE 62526.176
AT ITER 722 NEW BEST:: SOT 121378 SOS 69140 HAS SOPS 69140 HAS SOUS 62421 HAS SOUPS 62421 WITH SCORE 62490.14
AT ITER 727 NEW BEST:: SOT 121391 SOS 69135 HAS SOPS 69135 HAS SOUS 62390 HAS SOUPS 62390 WITH SCORE 62459.135
AT ITER 731 NEW BEST:: SOT 121375 SOS 69119 HAS SOPS 69119 HAS SOUS 62374 HAS SOUPS 62374 WITH SCORE 62443.119
AT ITER 741 NEW BEST:: SOT 121375 SOS 69119 HAS SOPS 69119 HAS SOUS 62283 HAS SOUPS 62283 WITH SCORE 62352.119
AT ITER 743 NEW BEST:: SOT 121374 SOS 69118 HAS SOPS 69118 HAS SOUS 62281 HAS SOUPS 62281 WITH SCORE 62350.118
AT ITER 751 NEW BEST:: SOT 121361 SOS 69105 HAS SOPS 69105 HAS SOUS 62281 HAS SOUPS 62281 WITH SCORE 62350.105
AT ITER 757 NEW BEST:: SOT 121057 SOS 68737 HAS SOPS 68737 HAS SOUS 61913 HAS SOUPS 61913 WITH SCORE 61981.737
AT ITER 766 NEW BEST:: SOT 121027 SOS 68647 HAS SOPS 68647 HAS SOUS 61883 HAS SOUPS 61883 WITH SCORE 61951.647
AT ITER 771 NEW BEST:: SOT 121027 SOS 68266 HAS SOPS 68266 HAS SOUS 61881 HAS SOUPS 61881 WITH SCORE 61949.266
AT ITER 777 NEW BEST:: SOT 120913 SOS 67978 HAS SOPS 67978 HAS SOUS 61725 HAS SOUPS 61725 WITH SCORE 61792.978
AT ITER 781 NEW BEST:: SOT 120909 SOS 67935 HAS SOPS 67935 HAS SOUS 61644 HAS SOUPS 61644 WITH SCORE 61711.935
AT ITER 784 NEW BEST:: SOT 120779 SOS 67738 HAS SOPS 67738 HAS SOUS 61512 HAS SOUPS 61512 WITH SCORE 61579.738
AT ITER 798 NEW BEST:: SOT 120748 SOS 67645 HAS SOPS 67645 HAS SOUS 61450 HAS SOUPS 61450 WITH SCORE 61517.645
AT ITER 800 NEW BEST:: SOT 120454 SOS 67035 HAS SOPS 67035 HAS SOUS 60972 HAS SOUPS 60972 WITH SCORE 61039.035
AT ITER 802 NEW BEST:: SOT 120461 SOS 67075 HAS SOPS 67075 HAS SOUS 60914 HAS SOUPS 60914 WITH SCORE 60981.075
AT ITER 815 NEW BEST:: SOT 120441 SOS 67062 HAS SOPS 67062 HAS SOUS 60901 HAS SOUPS 60901 WITH SCORE 60968.062
AT ITER 816 NEW BEST:: SOT 120441 SOS 67069 HAS SOPS 67069 HAS SOUS 60897 HAS SOUPS 60897 WITH SCORE 60964.069
AT ITER 819 NEW BEST:: SOT 120336 SOS 66964 HAS SOPS 66964 HAS SOUS 60792 HAS SOUPS 60792 WITH SCORE 60858.964
AT ITER 820 NEW BEST:: SOT 120229 SOS 66694 HAS SOPS 66694 HAS SOUS 60619 HAS SOUPS 60619 WITH SCORE 60685.694
AT ITER 827 NEW BEST:: SOT 120174 SOS 66518 HAS SOPS 66518 HAS SOUS 60445 HAS SOUPS 60445 WITH SCORE 60511.518
AT ITER 834 NEW BEST:: SOT 119922 SOS 66500 HAS SOPS 66500 HAS SOUS 60427 HAS SOUPS 60427 WITH SCORE 60493.5
AT ITER 841 NEW BEST:: SOT 119888 SOS 66466 HAS SOPS 66466 HAS SOUS 60393 HAS SOUPS 60393 WITH SCORE 60459.466
AT ITER 856 NEW BEST:: SOT 119657 SOS 66235 HAS SOPS 66235 HAS SOUS 60162 HAS SOUPS 60162 WITH SCORE 60228.235
AT ITER 863 NEW BEST:: SOT 119650 SOS 66228 HAS SOPS 66228 HAS SOUS 60155 HAS SOUPS 60155 WITH SCORE 60221.228
AT ITER 872 NEW BEST:: SOT 119613 SOS 66188 HAS SOPS 66188 HAS SOUS 60115 HAS SOUPS 60115 WITH SCORE 60181.188
AT ITER 873 NEW BEST:: SOT 119618 SOS 66075 HAS SOPS 66075 HAS SOUS 59872 HAS SOUPS 59872 WITH SCORE 59938.075
AT ITER 878 NEW BEST:: SOT 119381 SOS 65743 HAS SOPS 65743 HAS SOUS 59540 HAS SOUPS 59540 WITH SCORE 59605.743
AT ITER 883 NEW BEST:: SOT 119381 SOS 65754 HAS SOPS 65754 HAS SOUS 59538 HAS SOUPS 59538 WITH SCORE 59603.754
AT ITER 889 NEW BEST:: SOT 119402 SOS 65484 HAS SOPS 65484 HAS SOUS 59486 HAS SOUPS 59486 WITH SCORE 59551.484
AT ITER 896 NEW BEST:: SOT 119282 SOS 65179 HAS SOPS 65179 HAS SOUS 59181 HAS SOUPS 59181 WITH SCORE 59246.179
AT ITER 908 NEW BEST:: SOT 119185 SOS 65151 HAS SOPS 65151 HAS SOUS 59021 HAS SOUPS 59021 WITH SCORE 59086.151
AT ITER 919 NEW BEST:: SOT 119132 SOS 65099 HAS SOPS 65099 HAS SOUS 58969 HAS SOUPS 58969 WITH SCORE 59034.099
AT ITER 924 NEW BEST:: SOT 119132 SOS 65089 HAS SOPS 65089 HAS SOUS 58959 HAS SOUPS 58959 WITH SCORE 59024.089
AT ITER 927 NEW BEST:: SOT 119132 SOS 65089 HAS SOPS 65089 HAS SOUS 58944 HAS SOUPS 58944 WITH SCORE 59009.089
AT ITER 942 NEW BEST:: SOT 119131 SOS 65066 HAS SOPS 65066 HAS SOUS 58921 HAS SOUPS 58921 WITH SCORE 58986.066
AT ITER 969 NEW BEST:: SOT 119131 SOS 65040 HAS SOPS 65040 HAS SOUS 58895 HAS SOUPS 58895 WITH SCORE 58960.04
AT ITER 978 NEW BEST:: SOT 119128 SOS 65037 HAS SOPS 65037 HAS SOUS 58892 HAS SOUPS 58892 WITH SCORE 58957.037
AT ITER 980 NEW BEST:: SOT 119101 SOS 64943 HAS SOPS 64943 HAS SOUS 58798 HAS SOUPS 58798 WITH SCORE 58862.943
AT ITER 992 NEW BEST:: SOT 119101 SOS 64857 HAS SOPS 64857 HAS SOUS 58798 HAS SOUPS 58798 WITH SCORE 58862.857
AT ITER 999 NEW BEST:: SOT 119080 SOS 64836 HAS SOPS 64836 HAS SOUS 58777 HAS SOUPS 58777 WITH SCORE 58841.836
AT ITER 1007 NEW BEST:: SOT 118652 SOS 64193 HAS SOPS 64193 HAS SOUS 58113 HAS SOUPS 58113 WITH SCORE 58177.193
AT ITER 1014 NEW BEST:: SOT 118652 SOS 64192 HAS SOPS 64192 HAS SOUS 58112 HAS SOUPS 58112 WITH SCORE 58176.192
AT ITER 1020 NEW BEST:: SOT 118534 SOS 64073 HAS SOPS 64073 HAS SOUS 57993 HAS SOUPS 57993 WITH SCORE 58057.073
AT ITER 1021 NEW BEST:: SOT 118534 SOS 64029 HAS SOPS 64029 HAS SOUS 57940 HAS SOUPS 57940 WITH SCORE 58004.029
AT ITER 1030 NEW BEST:: SOT 118442 SOS 63945 HAS SOPS 63945 HAS SOUS 57856 HAS SOUPS 57856 WITH SCORE 57919.945
AT ITER 1033 NEW BEST:: SOT 118383 SOS 63823 HAS SOPS 63823 HAS SOUS 57771 HAS SOUPS 57771 WITH SCORE 57834.823
AT ITER 1036 NEW BEST:: SOT 118149 SOS 63416 HAS SOPS 63416 HAS SOUS 57364 HAS SOUPS 57364 WITH SCORE 57427.416
AT ITER 1051 NEW BEST:: SOT 118121 SOS 63257 HAS SOPS 63257 HAS SOUS 57326 HAS SOUPS 57326 WITH SCORE 57389.257
AT ITER 1066 NEW BEST:: SOT 118121 SOS 62996 HAS SOPS 62996 HAS SOUS 57326 HAS SOUPS 57326 WITH SCORE 57388.996
AT ITER 1070 NEW BEST:: SOT 118038 SOS 62694 HAS SOPS 62694 HAS SOUS 57038 HAS SOUPS 57038 WITH SCORE 57100.694
AT ITER 1077 NEW BEST:: SOT 118038 SOS 62694 HAS SOPS 62694 HAS SOUS 57021 HAS SOUPS 57021 WITH SCORE 57083.694
AT ITER 1080 NEW BEST:: SOT 118030 SOS 62632 HAS SOPS 62632 HAS SOUS 56970 HAS SOUPS 56970 WITH SCORE 57032.632
AT ITER 1095 NEW BEST:: SOT 117722 SOS 62138 HAS SOPS 62138 HAS SOUS 56476 HAS SOUPS 56476 WITH SCORE 56538.138
AT ITER 1097 NEW BEST:: SOT 117676 SOS 62056 HAS SOPS 62056 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56456.056
AT ITER 1099 NEW BEST:: SOT 117663 SOS 62043 HAS SOPS 62043 HAS SOUS 56381 HAS SOUPS 56381 WITH SCORE 56443.043
AT ITER 1102 NEW BEST:: SOT 117546 SOS 61782 HAS SOPS 61782 HAS SOUS 56119 HAS SOUPS 56119 WITH SCORE 56180.782
AT ITER 1112 NEW BEST:: SOT 117084 SOS 61524 HAS SOPS 61524 HAS SOUS 55819 HAS SOUPS 55819 WITH SCORE 55880.524
AT ITER 1115 NEW BEST:: SOT 117046 SOS 61486 HAS SOPS 61486 HAS SOUS 55750 HAS SOUPS 55750 WITH SCORE 55811.486
AT ITER 1121 NEW BEST:: SOT 116903 SOS 61307 HAS SOPS 61307 HAS SOUS 55571 HAS SOUPS 55571 WITH SCORE 55632.307
AT ITER 1124 NEW BEST:: SOT 116867 SOS 61345 HAS SOPS 61345 HAS SOUS 55561 HAS SOUPS 55561 WITH SCORE 55622.345
AT ITER 1129 NEW BEST:: SOT 116867 SOS 61373 HAS SOPS 61373 HAS SOUS 55560 HAS SOUPS 55560 WITH SCORE 55621.373
AT ITER 1148 NEW BEST:: SOT 116819 SOS 61371 HAS SOPS 61371 HAS SOUS 55558 HAS SOUPS 55558 WITH SCORE 55619.371
AT ITER 1154 NEW BEST:: SOT 116820 SOS 61293 HAS SOPS 61293 HAS SOUS 55542 HAS SOUPS 55542 WITH SCORE 55603.293
AT ITER 1156 NEW BEST:: SOT 116717 SOS 60921 HAS SOPS 60921 HAS SOUS 55333 HAS SOUPS 55333 WITH SCORE 55393.921
AT ITER 1157 NEW BEST:: SOT 116715 SOS 60822 HAS SOPS 60822 HAS SOUS 55274 HAS SOUPS 55274 WITH SCORE 55334.822
AT ITER 1160 NEW BEST:: SOT 116699 SOS 60748 HAS SOPS 60748 HAS SOUS 55200 HAS SOUPS 55200 WITH SCORE 55260.748
AT ITER 1161 NEW BEST:: SOT 116699 SOS 60635 HAS SOPS 60635 HAS SOUS 55046 HAS SOUPS 55046 WITH SCORE 55106.635
AT ITER 1167 NEW BEST:: SOT 116675 SOS 60611 HAS SOPS 60611 HAS SOUS 54986 HAS SOUPS 54986 WITH SCORE 55046.611
AT ITER 1171 NEW BEST:: SOT 116663 SOS 60553 HAS SOPS 60553 HAS SOUS 54940 HAS SOUPS 54940 WITH SCORE 55000.553
AT ITER 1178 NEW BEST:: SOT 116663 SOS 60550 HAS SOPS 60550 HAS SOUS 54940 HAS SOUPS 54940 WITH SCORE 55000.55
AT ITER 1197 NEW BEST:: SOT 116575 SOS 60392 HAS SOPS 60392 HAS SOUS 54782 HAS SOUPS 54782 WITH SCORE 54842.392
AT ITER 1202 NEW BEST:: SOT 116492 SOS 60218 HAS SOPS 60218 HAS SOUS 54601 HAS SOUPS 54601 WITH SCORE 54661.218
AT ITER 1205 NEW BEST:: SOT 116452 SOS 60157 HAS SOPS 60157 HAS SOUS 54540 HAS SOUPS 54540 WITH SCORE 54600.157
AT ITER 1209 NEW BEST:: SOT 116452 SOS 60157 HAS SOPS 60157 HAS SOUS 54525 HAS SOUPS 54525 WITH SCORE 54585.157
AT ITER 1212 NEW BEST:: SOT 116455 SOS 60088 HAS SOPS 60088 HAS SOUS 54441 HAS SOUPS 54441 WITH SCORE 54501.088
AT ITER 1214 NEW BEST:: SOT 116453 SOS 60002 HAS SOPS 60002 HAS SOUS 54411 HAS SOUPS 54411 WITH SCORE 54471.002
AT ITER 1217 NEW BEST:: SOT 116453 SOS 59783 HAS SOPS 59783 HAS SOUS 54275 HAS SOUPS 54275 WITH SCORE 54334.783
AT ITER 1218 NEW BEST:: SOT 116492 SOS 59715 HAS SOPS 59715 HAS SOUS 54193 HAS SOUPS 54193 WITH SCORE 54252.715
AT ITER 1220 NEW BEST:: SOT 116381 SOS 59493 HAS SOPS 59493 HAS SOUS 53983 HAS SOUPS 53983 WITH SCORE 54042.493
AT ITER 1222 NEW BEST:: SOT 116320 SOS 59371 HAS SOPS 59371 HAS SOUS 53908 HAS SOUPS 53908 WITH SCORE 53967.371
AT ITER 1225 NEW BEST:: SOT 116257 SOS 59272 HAS SOPS 59272 HAS SOUS 53809 HAS SOUPS 53809 WITH SCORE 53868.272
AT ITER 1232 NEW BEST:: SOT 116226 SOS 59241 HAS SOPS 59241 HAS SOUS 53778 HAS SOUPS 53778 WITH SCORE 53837.241
AT ITER 1245 NEW BEST:: SOT 116273 SOS 58884 HAS SOPS 58884 HAS SOUS 53569 HAS SOUPS 53569 WITH SCORE 53627.884
AT ITER 1250 NEW BEST:: SOT 116273 SOS 58882 HAS SOPS 58882 HAS SOUS 53569 HAS SOUPS 53569 WITH SCORE 53627.882
AT ITER 1251 NEW BEST:: SOT 116273 SOS 58881 HAS SOPS 58881 HAS SOUS 53568 HAS SOUPS 53568 WITH SCORE 53626.881
AT ITER 1258 NEW BEST:: SOT 116259 SOS 58595 HAS SOPS 58595 HAS SOUS 53530 HAS SOUPS 53530 WITH SCORE 53588.595
AT ITER 1265 NEW BEST:: SOT 116259 SOS 58066 HAS SOPS 58066 HAS SOUS 53518 HAS SOUPS 53518 WITH SCORE 53576.066
AT ITER 1276 NEW BEST:: SOT 116396 SOS 58078 HAS SOPS 58078 HAS SOUS 53475 HAS SOUPS 53475 WITH SCORE 53533.078
AT ITER 1285 NEW BEST:: SOT 116281 SOS 58013 HAS SOPS 58013 HAS SOUS 53410 HAS SOUPS 53410 WITH SCORE 53468.013
AT ITER 1294 NEW BEST:: SOT 116239 SOS 57966 HAS SOPS 57966 HAS SOUS 53347 HAS SOUPS 53347 WITH SCORE 53404.966
AT ITER 1301 NEW BEST:: SOT 116130 SOS 57800 HAS SOPS 57800 HAS SOUS 53181 HAS SOUPS 53181 WITH SCORE 53238.8
AT ITER 1314 NEW BEST:: SOT 116086 SOS 57712 HAS SOPS 57712 HAS SOUS 53093 HAS SOUPS 53093 WITH SCORE 53150.712
AT ITER 1319 NEW BEST:: SOT 116086 SOS 57656 HAS SOPS 57656 HAS SOUS 53065 HAS SOUPS 53065 WITH SCORE 53122.656
AT ITER 1321 NEW BEST:: SOT 116129 SOS 57637 HAS SOPS 57637 HAS SOUS 53046 HAS SOUPS 53046 WITH SCORE 53103.637
AT ITER 1324 NEW BEST:: SOT 116108 SOS 57596 HAS SOPS 57596 HAS SOUS 53005 HAS SOUPS 53005 WITH SCORE 53062.596
AT ITER 1331 NEW BEST:: SOT 116108 SOS 57595 HAS SOPS 57595 HAS SOUS 53004 HAS SOUPS 53004 WITH SCORE 53061.595
AT ITER 1337 NEW BEST:: SOT 116089 SOS 57483 HAS SOPS 57483 HAS SOUS 52892 HAS SOUPS 52892 WITH SCORE 52949.483
AT ITER 1345 NEW BEST:: SOT 116089 SOS 57399 HAS SOPS 57399 HAS SOUS 52892 HAS SOUPS 52892 WITH SCORE 52949.399
AT ITER 1362 NEW BEST:: SOT 115967 SOS 57386 HAS SOPS 57386 HAS SOUS 52817 HAS SOUPS 52817 WITH SCORE 52874.386
AT ITER 1373 NEW BEST:: SOT 115857 SOS 57266 HAS SOPS 57266 HAS SOUS 52697 HAS SOUPS 52697 WITH SCORE 52754.266
AT ITER 1386 NEW BEST:: SOT 115818 SOS 57227 HAS SOPS 57227 HAS SOUS 52629 HAS SOUPS 52629 WITH SCORE 52686.227
AT ITER 1389 NEW BEST:: SOT 115782 SOS 57229 HAS SOPS 57229 HAS SOUS 52575 HAS SOUPS 52575 WITH SCORE 52632.229
AT ITER 1394 NEW BEST:: SOT 115779 SOS 57397 HAS SOPS 57397 HAS SOUS 52515 HAS SOUPS 52515 WITH SCORE 52572.397
AT ITER 1404 NEW BEST:: SOT 115814 SOS 57373 HAS SOPS 57373 HAS SOUS 52507 HAS SOUPS 52507 WITH SCORE 52564.373
AT ITER 1406 NEW BEST:: SOT 115810 SOS 56996 HAS SOPS 56996 HAS SOUS 52322 HAS SOUPS 52322 WITH SCORE 52378.996
AT ITER 1412 NEW BEST:: SOT 115777 SOS 56965 HAS SOPS 56965 HAS SOUS 52291 HAS SOUPS 52291 WITH SCORE 52347.965
AT ITER 1416 NEW BEST:: SOT 115799 SOS 56967 HAS SOPS 56967 HAS SOUS 52240 HAS SOUPS 52240 WITH SCORE 52296.967
AT ITER 1418 NEW BEST:: SOT 115796 SOS 56871 HAS SOPS 56871 HAS SOUS 52080 HAS SOUPS 52080 WITH SCORE 52136.871
AT ITER 1419 NEW BEST:: SOT 115766 SOS 56773 HAS SOPS 56773 HAS SOUS 51982 HAS SOUPS 51982 WITH SCORE 52038.773
AT ITER 1434 NEW BEST:: SOT 115680 SOS 56597 HAS SOPS 56597 HAS SOUS 51851 HAS SOUPS 51851 WITH SCORE 51907.597
AT ITER 1437 NEW BEST:: SOT 115581 SOS 56526 HAS SOPS 56526 HAS SOUS 51803 HAS SOUPS 51803 WITH SCORE 51859.526
AT ITER 1439 NEW BEST:: SOT 115490 SOS 56336 HAS SOPS 56336 HAS SOUS 51619 HAS SOUPS 51619 WITH SCORE 51675.336
AT ITER 1441 NEW BEST:: SOT 115526 SOS 56156 HAS SOPS 56156 HAS SOUS 51439 HAS SOUPS 51439 WITH SCORE 51495.156
AT ITER 1444 NEW BEST:: SOT 115534 SOS 56164 HAS SOPS 56164 HAS SOUS 51380 HAS SOUPS 51380 WITH SCORE 51436.164
AT ITER 1445 NEW BEST:: SOT 115533 SOS 56163 HAS SOPS 56163 HAS SOUS 51379 HAS SOUPS 51379 WITH SCORE 51435.163
AT ITER 1449 NEW BEST:: SOT 115567 SOS 56124 HAS SOPS 56124 HAS SOUS 51362 HAS SOUPS 51362 WITH SCORE 51418.124
AT ITER 1450 NEW BEST:: SOT 115576 SOS 56080 HAS SOPS 56080 HAS SOUS 51340 HAS SOUPS 51340 WITH SCORE 51396.08
AT ITER 1464 NEW BEST:: SOT 115541 SOS 56065 HAS SOPS 56065 HAS SOUS 51325 HAS SOUPS 51325 WITH SCORE 51381.065
AT ITER 1469 NEW BEST:: SOT 115511 SOS 56021 HAS SOPS 56021 HAS SOUS 51281 HAS SOUPS 51281 WITH SCORE 51337.021
AT ITER 1495 NEW BEST:: SOT 115511 SOS 55747 HAS SOPS 55747 HAS SOUS 51238 HAS SOUPS 51238 WITH SCORE 51293.747
AT ITER 1501 NEW BEST:: SOT 115417 SOS 55569 HAS SOPS 55569 HAS SOUS 51060 HAS SOUPS 51060 WITH SCORE 51115.569
AT ITER 1505 NEW BEST:: SOT 115414 SOS 55532 HAS SOPS 55532 HAS SOUS 51043 HAS SOUPS 51043 WITH SCORE 51098.532
AT ITER 1506 NEW BEST:: SOT 115414 SOS 55495 HAS SOPS 55495 HAS SOUS 51043 HAS SOUPS 51043 WITH SCORE 51098.495
AT ITER 1513 NEW BEST:: SOT 115414 SOS 55430 HAS SOPS 55430 HAS SOUS 50978 HAS SOUPS 50978 WITH SCORE 51033.43
AT ITER 1521 NEW BEST:: SOT 115420 SOS 55354 HAS SOPS 55354 HAS SOUS 50902 HAS SOUPS 50902 WITH SCORE 50957.354
AT ITER 1526 NEW BEST:: SOT 115398 SOS 55332 HAS SOPS 55332 HAS SOUS 50880 HAS SOUPS 50880 WITH SCORE 50935.332
AT ITER 1529 NEW BEST:: SOT 115210 SOS 55244 HAS SOPS 55244 HAS SOUS 50792 HAS SOUPS 50792 WITH SCORE 50847.244
AT ITER 1536 NEW BEST:: SOT 115220 SOS 55254 HAS SOPS 55254 HAS SOUS 50762 HAS SOUPS 50762 WITH SCORE 50817.254
AT ITER 1539 NEW BEST:: SOT 115197 SOS 55093 HAS SOPS 55093 HAS SOUS 50429 HAS SOUPS 50429 WITH SCORE 50484.093
AT ITER 1547 NEW BEST:: SOT 115071 SOS 54762 HAS SOPS 54762 HAS SOUS 50086 HAS SOUPS 50086 WITH SCORE 50140.762
AT ITER 1551 NEW BEST:: SOT 115071 SOS 54747 HAS SOPS 54747 HAS SOUS 50086 HAS SOUPS 50086 WITH SCORE 50140.747
AT ITER 1559 NEW BEST:: SOT 115075 SOS 54738 HAS SOPS 54738 HAS SOUS 50077 HAS SOUPS 50077 WITH SCORE 50131.738
AT ITER 1567 NEW BEST:: SOT 114999 SOS 54680 HAS SOPS 54680 HAS SOUS 50010 HAS SOUPS 50010 WITH SCORE 50064.68
AT ITER 1569 NEW BEST:: SOT 114884 SOS 54533 HAS SOPS 54533 HAS SOUS 49768 HAS SOUPS 49768 WITH SCORE 49822.533
AT ITER 1578 NEW BEST:: SOT 114872 SOS 54521 HAS SOPS 54521 HAS SOUS 49756 HAS SOUPS 49756 WITH SCORE 49810.521
AT ITER 1583 NEW BEST:: SOT 114851 SOS 54503 HAS SOPS 54503 HAS SOUS 49693 HAS SOUPS 49693 WITH SCORE 49747.503
AT ITER 1587 NEW BEST:: SOT 114819 SOS 54471 HAS SOPS 54471 HAS SOUS 49661 HAS SOUPS 49661 WITH SCORE 49715.471
AT ITER 1599 NEW BEST:: SOT 114801 SOS 54453 HAS SOPS 54453 HAS SOUS 49634 HAS SOUPS 49634 WITH SCORE 49688.453
AT ITER 1603 NEW BEST:: SOT 114809 SOS 54461 HAS SOPS 54461 HAS SOUS 49595 HAS SOUPS 49595 WITH SCORE 49649.461
AT ITER 1606 NEW BEST:: SOT 114756 SOS 54450 HAS SOPS 54450 HAS SOUS 49584 HAS SOUPS 49584 WITH SCORE 49638.45
AT ITER 1607 NEW BEST:: SOT 114616 SOS 54253 HAS SOPS 54253 HAS SOUS 49387 HAS SOUPS 49387 WITH SCORE 49441.253
AT ITER 1627 NEW BEST:: SOT 114640 SOS 54251 HAS SOPS 54251 HAS SOUS 49385 HAS SOUPS 49385 WITH SCORE 49439.251
AT ITER 1633 NEW BEST:: SOT 114625 SOS 54225 HAS SOPS 54225 HAS SOUS 49361 HAS SOUPS 49361 WITH SCORE 49415.225
AT ITER 1639 NEW BEST:: SOT 114625 SOS 54223 HAS SOPS 54223 HAS SOUS 49360 HAS SOUPS 49360 WITH SCORE 49414.223
AT ITER 1640 NEW BEST:: SOT 114599 SOS 54277 HAS SOPS 54277 HAS SOUS 49324 HAS SOUPS 49324 WITH SCORE 49378.277
AT ITER 1642 NEW BEST:: SOT 114599 SOS 54225 HAS SOPS 54225 HAS SOUS 49324 HAS SOUPS 49324 WITH SCORE 49378.225
AT ITER 1643 NEW BEST:: SOT 114592 SOS 54172 HAS SOPS 54172 HAS SOUS 49282 HAS SOUPS 49282 WITH SCORE 49336.172
AT ITER 1651 NEW BEST:: SOT 114606 SOS 54184 HAS SOPS 54184 HAS SOUS 49268 HAS SOUPS 49268 WITH SCORE 49322.184
AT ITER 1678 NEW BEST:: SOT 114603 SOS 54172 HAS SOPS 54172 HAS SOUS 49262 HAS SOUPS 49262 WITH SCORE 49316.172
AT ITER 1681 NEW BEST:: SOT 114582 SOS 54088 HAS SOPS 54088 HAS SOUS 49199 HAS SOUPS 49199 WITH SCORE 49253.088
AT ITER 1687 NEW BEST:: SOT 114579 SOS 54041 HAS SOPS 54041 HAS SOUS 49174 HAS SOUPS 49174 WITH SCORE 49228.041
AT ITER 1688 NEW BEST:: SOT 114626 SOS 54069 HAS SOPS 54069 HAS SOUS 49167 HAS SOUPS 49167 WITH SCORE 49221.069
AT ITER 1689 NEW BEST:: SOT 114608 SOS 54046 HAS SOPS 54046 HAS SOUS 49126 HAS SOUPS 49126 WITH SCORE 49180.046
AT ITER 1690 NEW BEST:: SOT 114608 SOS 53891 HAS SOPS 53891 HAS SOUS 49113 HAS SOUPS 49113 WITH SCORE 49166.891
AT ITER 1692 NEW BEST:: SOT 114608 SOS 53832 HAS SOPS 53832 HAS SOUS 49054 HAS SOUPS 49054 WITH SCORE 49107.832
AT ITER 1700 NEW BEST:: SOT 114606 SOS 53830 HAS SOPS 53830 HAS SOUS 49052 HAS SOUPS 49052 WITH SCORE 49105.83
AT ITER 1702 NEW BEST:: SOT 114504 SOS 53727 HAS SOPS 53727 HAS SOUS 48949 HAS SOUPS 48949 WITH SCORE 49002.727
AT ITER 1707 NEW BEST:: SOT 114513 SOS 53695 HAS SOPS 53695 HAS SOUS 48917 HAS SOUPS 48917 WITH SCORE 48970.695
AT ITER 1708 NEW BEST:: SOT 114448 SOS 53625 HAS SOPS 53625 HAS SOUS 48824 HAS SOUPS 48824 WITH SCORE 48877.625
AT ITER 1711 NEW BEST:: SOT 114447 SOS 53624 HAS SOPS 53624 HAS SOUS 48823 HAS SOUPS 48823 WITH SCORE 48876.624
AT ITER 1720 NEW BEST:: SOT 114462 SOS 53639 HAS SOPS 53639 HAS SOUS 48789 HAS SOUPS 48789 WITH SCORE 48842.639
AT ITER 1721 NEW BEST:: SOT 114353 SOS 53530 HAS SOPS 53530 HAS SOUS 48695 HAS SOUPS 48695 WITH SCORE 48748.53
AT ITER 1726 NEW BEST:: SOT 114353 SOS 53492 HAS SOPS 53492 HAS SOUS 48657 HAS SOUPS 48657 WITH SCORE 48710.492
AT ITER 1732 NEW BEST:: SOT 114323 SOS 53417 HAS SOPS 53417 HAS SOUS 48579 HAS SOUPS 48579 WITH SCORE 48632.417
AT ITER 1740 NEW BEST:: SOT 114309 SOS 53403 HAS SOPS 53403 HAS SOUS 48572 HAS SOUPS 48572 WITH SCORE 48625.403
AT ITER 1744 NEW BEST:: SOT 114289 SOS 53383 HAS SOPS 53383 HAS SOUS 48552 HAS SOUPS 48552 WITH SCORE 48605.383
AT ITER 1745 NEW BEST:: SOT 114289 SOS 53383 HAS SOPS 53383 HAS SOUS 48533 HAS SOUPS 48533 WITH SCORE 48586.383
AT ITER 1758 NEW BEST:: SOT 114289 SOS 53344 HAS SOPS 53344 HAS SOUS 48485 HAS SOUPS 48485 WITH SCORE 48538.344
AT ITER 1761 NEW BEST:: SOT 114196 SOS 53240 HAS SOPS 53240 HAS SOUS 48381 HAS SOUPS 48381 WITH SCORE 48434.24
AT ITER 1763 NEW BEST:: SOT 114247 SOS 53305 HAS SOPS 53305 HAS SOUS 48370 HAS SOUPS 48370 WITH SCORE 48423.305
AT ITER 1764 NEW BEST:: SOT 114247 SOS 53286 HAS SOPS 53286 HAS SOUS 48351 HAS SOUPS 48351 WITH SCORE 48404.286
AT ITER 1767 NEW BEST:: SOT 114200 SOS 53264 HAS SOPS 53264 HAS SOUS 48329 HAS SOUPS 48329 WITH SCORE 48382.264
AT ITER 1786 NEW BEST:: SOT 114127 SOS 53191 HAS SOPS 53191 HAS SOUS 48291 HAS SOUPS 48291 WITH SCORE 48344.191
AT ITER 1796 NEW BEST:: SOT 114218 SOS 53104 HAS SOPS 53104 HAS SOUS 48206 HAS SOUPS 48206 WITH SCORE 48259.104
AT ITER 1800 NEW BEST:: SOT 114177 SOS 53011 HAS SOPS 53011 HAS SOUS 48177 HAS SOUPS 48177 WITH SCORE 48230.011
AT ITER 1807 NEW BEST:: SOT 114141 SOS 52975 HAS SOPS 52975 HAS SOUS 48141 HAS SOUPS 48141 WITH SCORE 48193.975
AT ITER 1809 NEW BEST:: SOT 113891 SOS 52731 HAS SOPS 52731 HAS SOUS 47889 HAS SOUPS 47889 WITH SCORE 47941.731
AT ITER 1810 NEW BEST:: SOT 113776 SOS 52553 HAS SOPS 52553 HAS SOUS 47799 HAS SOUPS 47799 WITH SCORE 47851.553
AT ITER 1845 NEW BEST:: SOT 113783 SOS 52477 HAS SOPS 52477 HAS SOUS 47790 HAS SOUPS 47790 WITH SCORE 47842.477
AT ITER 1854 NEW BEST:: SOT 113770 SOS 52345 HAS SOPS 52345 HAS SOUS 47665 HAS SOUPS 47665 WITH SCORE 47717.345
AT ITER 1868 NEW BEST:: SOT 113690 SOS 51967 HAS SOPS 51967 HAS SOUS 47505 HAS SOUPS 47505 WITH SCORE 47556.967
AT ITER 1873 NEW BEST:: SOT 113672 SOS 51922 HAS SOPS 51922 HAS SOUS 47469 HAS SOUPS 47469 WITH SCORE 47520.922
AT ITER 1878 NEW BEST:: SOT 113664 SOS 51888 HAS SOPS 51888 HAS SOUS 47442 HAS SOUPS 47442 WITH SCORE 47493.888
AT ITER 1891 NEW BEST:: SOT 113511 SOS 51678 HAS SOPS 51678 HAS SOUS 47232 HAS SOUPS 47232 WITH SCORE 47283.678
AT ITER 1896 NEW BEST:: SOT 113528 SOS 51645 HAS SOPS 51645 HAS SOUS 47199 HAS SOUPS 47199 WITH SCORE 47250.645
AT ITER 1897 NEW BEST:: SOT 113584 SOS 51720 HAS SOPS 51720 HAS SOUS 47194 HAS SOUPS 47194 WITH SCORE 47245.72
AT ITER 1898 NEW BEST:: SOT 113589 SOS 51673 HAS SOPS 51673 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47237.673
AT ITER 1915 NEW BEST:: SOT 113544 SOS 51552 HAS SOPS 51552 HAS SOUS 47065 HAS SOUPS 47065 WITH SCORE 47116.552
AT ITER 1916 NEW BEST:: SOT 113534 SOS 51537 HAS SOPS 51537 HAS SOUS 47050 HAS SOUPS 47050 WITH SCORE 47101.537
AT ITER 1922 NEW BEST:: SOT 113534 SOS 51505 HAS SOPS 51505 HAS SOUS 47018 HAS SOUPS 47018 WITH SCORE 47069.505
AT ITER 1941 NEW BEST:: SOT 113531 SOS 51493 HAS SOPS 51493 HAS SOUS 47009 HAS SOUPS 47009 WITH SCORE 47060.493
AT ITER 1945 NEW BEST:: SOT 113449 SOS 51384 HAS SOPS 51384 HAS SOUS 46849 HAS SOUPS 46849 WITH SCORE 46900.384
AT ITER 1956 NEW BEST:: SOT 113382 SOS 50983 HAS SOPS 50983 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46704.983
AT ITER 1976 NEW BEST:: SOT 113381 SOS 50920 HAS SOPS 50920 HAS SOUS 46620 HAS SOUPS 46620 WITH SCORE 46670.92
AT ITER 1980 NEW BEST:: SOT 113402 SOS 50901 HAS SOPS 50901 HAS SOUS 46601 HAS SOUPS 46601 WITH SCORE 46651.901
AT ITER 1982 NEW BEST:: SOT 113324 SOS 50863 HAS SOPS 50863 HAS SOUS 46563 HAS SOUPS 46563 WITH SCORE 46613.863
AT ITER 1990 NEW BEST:: SOT 113267 SOS 50806 HAS SOPS 50806 HAS SOUS 46470 HAS SOUPS 46470 WITH SCORE 46520.806
AT ITER 1994 NEW BEST:: SOT 113185 SOS 50729 HAS SOPS 50729 HAS SOUS 46393 HAS SOUPS 46393 WITH SCORE 46443.729
AT ITER 2003 NEW BEST:: SOT 113158 SOS 50702 HAS SOPS 50702 HAS SOUS 46368 HAS SOUPS 46368 WITH SCORE 46418.702
AT ITER 2005 NEW BEST:: SOT 113156 SOS 50698 HAS SOPS 50698 HAS SOUS 46364 HAS SOUPS 46364 WITH SCORE 46414.698
AT ITER 2007 NEW BEST:: SOT 113104 SOS 50462 HAS SOPS 50462 HAS SOUS 46138 HAS SOUPS 46138 WITH SCORE 46188.462
AT ITER 2014 NEW BEST:: SOT 113094 SOS 50422 HAS SOPS 50422 HAS SOUS 46118 HAS SOUPS 46118 WITH SCORE 46168.422
AT ITER 2019 NEW BEST:: SOT 113234 SOS 50612 HAS SOPS 50612 HAS SOUS 46099 HAS SOUPS 46099 WITH SCORE 46149.612
AT ITER 2038 NEW BEST:: SOT 113129 SOS 50476 HAS SOPS 50476 HAS SOUS 45963 HAS SOUPS 45963 WITH SCORE 46013.476
AT ITER 2054 NEW BEST:: SOT 113129 SOS 50521 HAS SOPS 50521 HAS SOUS 45961 HAS SOUPS 45961 WITH SCORE 46011.521
AT ITER 2065 NEW BEST:: SOT 113048 SOS 50404 HAS SOPS 50404 HAS SOUS 45899 HAS SOUPS 45899 WITH SCORE 45949.404
AT ITER 2078 NEW BEST:: SOT 113048 SOS 50386 HAS SOPS 50386 HAS SOUS 45899 HAS SOUPS 45899 WITH SCORE 45949.386
AT ITER 2079 NEW BEST:: SOT 113048 SOS 50295 HAS SOPS 50295 HAS SOUS 45853 HAS SOUPS 45853 WITH SCORE 45903.295
AT ITER 2098 NEW BEST:: SOT 113048 SOS 50294 HAS SOPS 50294 HAS SOUS 45852 HAS SOUPS 45852 WITH SCORE 45902.294
AT ITER 2101 NEW BEST:: SOT 112951 SOS 50197 HAS SOPS 50197 HAS SOUS 45755 HAS SOUPS 45755 WITH SCORE 45805.197
AT ITER 2106 NEW BEST:: SOT 112901 SOS 50073 HAS SOPS 50073 HAS SOUS 45681 HAS SOUPS 45681 WITH SCORE 45731.073
AT ITER 2109 NEW BEST:: SOT 112893 SOS 50065 HAS SOPS 50065 HAS SOUS 45673 HAS SOUPS 45673 WITH SCORE 45723.065
AT ITER 2122 NEW BEST:: SOT 112913 SOS 49968 HAS SOPS 49968 HAS SOUS 45635 HAS SOUPS 45635 WITH SCORE 45684.968
AT ITER 2125 NEW BEST:: SOT 112913 SOS 49966 HAS SOPS 49966 HAS SOUS 45633 HAS SOUPS 45633 WITH SCORE 45682.966
AT ITER 2129 NEW BEST:: SOT 112909 SOS 49960 HAS SOPS 49960 HAS SOUS 45627 HAS SOUPS 45627 WITH SCORE 45676.96
AT ITER 2146 NEW BEST:: SOT 112779 SOS 49843 HAS SOPS 49843 HAS SOUS 45510 HAS SOUPS 45510 WITH SCORE 45559.843
AT ITER 2148 NEW BEST:: SOT 112776 SOS 49843 HAS SOPS 49843 HAS SOUS 45507 HAS SOUPS 45507 WITH SCORE 45556.843
AT ITER 2164 NEW BEST:: SOT 112730 SOS 49560 HAS SOPS 49560 HAS SOUS 45303 HAS SOUPS 45303 WITH SCORE 45352.56
AT ITER 2181 NEW BEST:: SOT 112727 SOS 49557 HAS SOPS 49557 HAS SOUS 45300 HAS SOUPS 45300 WITH SCORE 45349.557
AT ITER 2186 NEW BEST:: SOT 112672 SOS 49310 HAS SOPS 49310 HAS SOUS 45197 HAS SOUPS 45197 WITH SCORE 45246.31
AT ITER 2189 NEW BEST:: SOT 112672 SOS 49259 HAS SOPS 49259 HAS SOUS 45195 HAS SOUPS 45195 WITH SCORE 45244.259
AT ITER 2201 NEW BEST:: SOT 112696 SOS 49283 HAS SOPS 49283 HAS SOUS 45194 HAS SOUPS 45194 WITH SCORE 45243.283
AT ITER 2202 NEW BEST:: SOT 112670 SOS 49245 HAS SOPS 49245 HAS SOUS 45156 HAS SOUPS 45156 WITH SCORE 45205.245
AT ITER 2205 NEW BEST:: SOT 112664 SOS 49239 HAS SOPS 49239 HAS SOUS 45150 HAS SOUPS 45150 WITH SCORE 45199.239
AT ITER 2207 NEW BEST:: SOT 112608 SOS 49127 HAS SOPS 49127 HAS SOUS 45045 HAS SOUPS 45045 WITH SCORE 45094.127
AT ITER 2211 NEW BEST:: SOT 112608 SOS 49093 HAS SOPS 49093 HAS SOUS 45028 HAS SOUPS 45028 WITH SCORE 45077.093
AT ITER 2212 NEW BEST:: SOT 112590 SOS 49075 HAS SOPS 49075 HAS SOUS 45010 HAS SOUPS 45010 WITH SCORE 45059.075
AT ITER 2221 NEW BEST:: SOT 112547 SOS 49032 HAS SOPS 49032 HAS SOUS 44962 HAS SOUPS 44962 WITH SCORE 45011.032
AT ITER 2229 NEW BEST:: SOT 112572 SOS 49108 HAS SOPS 49108 HAS SOUS 44904 HAS SOUPS 44904 WITH SCORE 44953.108
AT ITER 2242 NEW BEST:: SOT 112584 SOS 49058 HAS SOPS 49058 HAS SOUS 44854 HAS SOUPS 44854 WITH SCORE 44903.058
AT ITER 2244 NEW BEST:: SOT 112565 SOS 49039 HAS SOPS 49039 HAS SOUS 44835 HAS SOUPS 44835 WITH SCORE 44884.039
AT ITER 2248 NEW BEST:: SOT 112561 SOS 49035 HAS SOPS 49035 HAS SOUS 44831 HAS SOUPS 44831 WITH SCORE 44880.035
AT ITER 2251 NEW BEST:: SOT 112538 SOS 49012 HAS SOPS 49012 HAS SOUS 44808 HAS SOUPS 44808 WITH SCORE 44857.012
AT ITER 2257 NEW BEST:: SOT 112498 SOS 48952 HAS SOPS 48952 HAS SOUS 44748 HAS SOUPS 44748 WITH SCORE 44796.952
AT ITER 2281 NEW BEST:: SOT 112460 SOS 48896 HAS SOPS 48896 HAS SOUS 44688 HAS SOUPS 44688 WITH SCORE 44736.896
AT ITER 2292 NEW BEST:: SOT 112385 SOS 48815 HAS SOPS 48815 HAS SOUS 44593 HAS SOUPS 44593 WITH SCORE 44641.815
AT ITER 2305 NEW BEST:: SOT 112384 SOS 48814 HAS SOPS 48814 HAS SOUS 44591 HAS SOUPS 44591 WITH SCORE 44639.814
AT ITER 2316 NEW BEST:: SOT 112361 SOS 48757 HAS SOPS 48757 HAS SOUS 44513 HAS SOUPS 44513 WITH SCORE 44561.757
AT ITER 2320 NEW BEST:: SOT 112379 SOS 48618 HAS SOPS 48618 HAS SOUS 44425 HAS SOUPS 44425 WITH SCORE 44473.618
AT ITER 2326 NEW BEST:: SOT 112337 SOS 48548 HAS SOPS 48548 HAS SOUS 44355 HAS SOUPS 44355 WITH SCORE 44403.548
AT ITER 2365 NEW BEST:: SOT 112297 SOS 48485 HAS SOPS 48485 HAS SOUS 44292 HAS SOUPS 44292 WITH SCORE 44340.485
AT ITER 2370 NEW BEST:: SOT 112297 SOS 48484 HAS SOPS 48484 HAS SOUS 44292 HAS SOUPS 44292 WITH SCORE 44340.484
AT ITER 2374 NEW BEST:: SOT 112325 SOS 48423 HAS SOPS 48423 HAS SOUS 44284 HAS SOUPS 44284 WITH SCORE 44332.423
AT ITER 2376 NEW BEST:: SOT 112323 SOS 48421 HAS SOPS 48421 HAS SOUS 44278 HAS SOUPS 44278 WITH SCORE 44326.421
AT ITER 2386 NEW BEST:: SOT 112300 SOS 48403 HAS SOPS 48403 HAS SOUS 44260 HAS SOUPS 44260 WITH SCORE 44308.403
AT ITER 2394 NEW BEST:: SOT 112250 SOS 48444 HAS SOPS 48444 HAS SOUS 44249 HAS SOUPS 44249 WITH SCORE 44297.444
AT ITER 2403 NEW BEST:: SOT 112157 SOS 48295 HAS SOPS 48295 HAS SOUS 44100 HAS SOUPS 44100 WITH SCORE 44148.295
AT ITER 2408 NEW BEST:: SOT 112124 SOS 48196 HAS SOPS 48196 HAS SOUS 44001 HAS SOUPS 44001 WITH SCORE 44049.196
AT ITER 2409 NEW BEST:: SOT 112077 SOS 48139 HAS SOPS 48139 HAS SOUS 43944 HAS SOUPS 43944 WITH SCORE 43992.139
AT ITER 2437 NEW BEST:: SOT 112037 SOS 48095 HAS SOPS 48095 HAS SOUS 43900 HAS SOUPS 43900 WITH SCORE 43948.095
AT ITER 2441 NEW BEST:: SOT 112008 SOS 47891 HAS SOPS 47891 HAS SOUS 43793 HAS SOUPS 43793 WITH SCORE 43840.891
AT ITER 2449 NEW BEST:: SOT 111962 SOS 47889 HAS SOPS 47889 HAS SOUS 43791 HAS SOUPS 43791 WITH SCORE 43838.889
AT ITER 2450 NEW BEST:: SOT 111958 SOS 47813 HAS SOPS 47813 HAS SOUS 43779 HAS SOUPS 43779 WITH SCORE 43826.813
AT ITER 2456 NEW BEST:: SOT 111944 SOS 47796 HAS SOPS 47796 HAS SOUS 43769 HAS SOUPS 43769 WITH SCORE 43816.796
AT ITER 2471 NEW BEST:: SOT 111944 SOS 47744 HAS SOPS 47744 HAS SOUS 43769 HAS SOUPS 43769 WITH SCORE 43816.744
AT ITER 2472 NEW BEST:: SOT 111901 SOS 47701 HAS SOPS 47701 HAS SOUS 43683 HAS SOUPS 43683 WITH SCORE 43730.701
AT ITER 2475 NEW BEST:: SOT 111647 SOS 47348 HAS SOPS 47348 HAS SOUS 43330 HAS SOUPS 43330 WITH SCORE 43377.348
AT ITER 2476 NEW BEST:: SOT 111647 SOS 47284 HAS SOPS 47284 HAS SOUS 43266 HAS SOUPS 43266 WITH SCORE 43313.284
AT ITER 2481 NEW BEST:: SOT 111649 SOS 47097 HAS SOPS 47097 HAS SOUS 43103 HAS SOUPS 43103 WITH SCORE 43150.097
AT ITER 2494 NEW BEST:: SOT 111649 SOS 47080 HAS SOPS 47080 HAS SOUS 43086 HAS SOUPS 43086 WITH SCORE 43133.08
AT ITER 2504 NEW BEST:: SOT 111649 SOS 47052 HAS SOPS 47052 HAS SOUS 43077 HAS SOUPS 43077 WITH SCORE 43124.052
AT ITER 2505 NEW BEST:: SOT 111626 SOS 47029 HAS SOPS 47029 HAS SOUS 43038 HAS SOUPS 43038 WITH SCORE 43085.029
AT ITER 2513 NEW BEST:: SOT 111641 SOS 47021 HAS SOPS 47021 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43077.021
AT ITER 2530 NEW BEST:: SOT 111610 SOS 46928 HAS SOPS 46928 HAS SOUS 42999 HAS SOUPS 42999 WITH SCORE 43045.928
AT ITER 2553 NEW BEST:: SOT 111610 SOS 46928 HAS SOPS 46928 HAS SOUS 42993 HAS SOUPS 42993 WITH SCORE 43039.928
AT ITER 2559 NEW BEST:: SOT 111610 SOS 46756 HAS SOPS 46756 HAS SOUS 42962 HAS SOUPS 42962 WITH SCORE 43008.756
AT ITER 2567 NEW BEST:: SOT 111597 SOS 46743 HAS SOPS 46743 HAS SOUS 42949 HAS SOUPS 42949 WITH SCORE 42995.743
AT ITER 2570 NEW BEST:: SOT 111563 SOS 46709 HAS SOPS 46709 HAS SOUS 42915 HAS SOUPS 42915 WITH SCORE 42961.709
AT ITER 2571 NEW BEST:: SOT 111562 SOS 46698 HAS SOPS 46698 HAS SOUS 42904 HAS SOUPS 42904 WITH SCORE 42950.698
AT ITER 2579 NEW BEST:: SOT 111559 SOS 46695 HAS SOPS 46695 HAS SOUS 42901 HAS SOUPS 42901 WITH SCORE 42947.695
AT ITER 2587 NEW BEST:: SOT 111457 SOS 46592 HAS SOPS 46592 HAS SOUS 42798 HAS SOUPS 42798 WITH SCORE 42844.592
AT ITER 2596 NEW BEST:: SOT 111457 SOS 46639 HAS SOPS 46639 HAS SOUS 42766 HAS SOUPS 42766 WITH SCORE 42812.639
AT ITER 2597 NEW BEST:: SOT 111491 SOS 46620 HAS SOPS 46620 HAS SOUS 42747 HAS SOUPS 42747 WITH SCORE 42793.62
AT ITER 2600 NEW BEST:: SOT 111491 SOS 46575 HAS SOPS 46575 HAS SOUS 42702 HAS SOUPS 42702 WITH SCORE 42748.575
AT ITER 2601 NEW BEST:: SOT 111436 SOS 46562 HAS SOPS 46562 HAS SOUS 42677 HAS SOUPS 42677 WITH SCORE 42723.562
AT ITER 2613 NEW BEST:: SOT 111410 SOS 46459 HAS SOPS 46459 HAS SOUS 42600 HAS SOUPS 42600 WITH SCORE 42646.459
AT ITER 2620 NEW BEST:: SOT 111399 SOS 46437 HAS SOPS 46437 HAS SOUS 42589 HAS SOUPS 42589 WITH SCORE 42635.437
AT ITER 2623 NEW BEST:: SOT 111310 SOS 46314 HAS SOPS 46314 HAS SOUS 42407 HAS SOUPS 42407 WITH SCORE 42453.314
AT ITER 2625 NEW BEST:: SOT 111284 SOS 46288 HAS SOPS 46288 HAS SOUS 42381 HAS SOUPS 42381 WITH SCORE 42427.288
AT ITER 2626 NEW BEST:: SOT 111284 SOS 46288 HAS SOPS 46288 HAS SOUS 42366 HAS SOUPS 42366 WITH SCORE 42412.288
AT ITER 2642 NEW BEST:: SOT 111276 SOS 46272 HAS SOPS 46272 HAS SOUS 42350 HAS SOUPS 42350 WITH SCORE 42396.272
AT ITER 2659 NEW BEST:: SOT 111138 SOS 46134 HAS SOPS 46134 HAS SOUS 42212 HAS SOUPS 42212 WITH SCORE 42258.134
AT ITER 2661 NEW BEST:: SOT 111138 SOS 46116 HAS SOPS 46116 HAS SOUS 42200 HAS SOUPS 42200 WITH SCORE 42246.116
AT ITER 2663 NEW BEST:: SOT 111126 SOS 46094 HAS SOPS 46094 HAS SOUS 42178 HAS SOUPS 42178 WITH SCORE 42224.094
AT ITER 2671 NEW BEST:: SOT 110973 SOS 45863 HAS SOPS 45863 HAS SOUS 42017 HAS SOUPS 42017 WITH SCORE 42062.863
AT ITER 2672 NEW BEST:: SOT 110973 SOS 45791 HAS SOPS 45791 HAS SOUS 41999 HAS SOUPS 41999 WITH SCORE 42044.791
AT ITER 2675 NEW BEST:: SOT 110973 SOS 45773 HAS SOPS 45773 HAS SOUS 41981 HAS SOUPS 41981 WITH SCORE 42026.773
AT ITER 2676 NEW BEST:: SOT 110986 SOS 45704 HAS SOPS 45704 HAS SOUS 41912 HAS SOUPS 41912 WITH SCORE 41957.704
AT ITER 2685 NEW BEST:: SOT 110986 SOS 45692 HAS SOPS 45692 HAS SOUS 41912 HAS SOUPS 41912 WITH SCORE 41957.692
AT ITER 2687 NEW BEST:: SOT 110978 SOS 45230 HAS SOPS 45230 HAS SOUS 41721 HAS SOUPS 41721 WITH SCORE 41766.23
AT ITER 2692 NEW BEST:: SOT 110972 SOS 45095 HAS SOPS 45095 HAS SOUS 41662 HAS SOUPS 41662 WITH SCORE 41707.095
AT ITER 2694 NEW BEST:: SOT 110945 SOS 45041 HAS SOPS 45041 HAS SOUS 41608 HAS SOUPS 41608 WITH SCORE 41653.041
AT ITER 2700 NEW BEST:: SOT 110933 SOS 45028 HAS SOPS 45028 HAS SOUS 41595 HAS SOUPS 41595 WITH SCORE 41640.028
AT ITER 2713 NEW BEST:: SOT 110899 SOS 44962 HAS SOPS 44962 HAS SOUS 41529 HAS SOUPS 41529 WITH SCORE 41573.962
AT ITER 2720 NEW BEST:: SOT 110854 SOS 44848 HAS SOPS 44848 HAS SOUS 41402 HAS SOUPS 41402 WITH SCORE 41446.848
AT ITER 2726 NEW BEST:: SOT 110848 SOS 44842 HAS SOPS 44842 HAS SOUS 41396 HAS SOUPS 41396 WITH SCORE 41440.842
AT ITER 2727 NEW BEST:: SOT 110823 SOS 44872 HAS SOPS 44872 HAS SOUS 41394 HAS SOUPS 41394 WITH SCORE 41438.872
AT ITER 2734 NEW BEST:: SOT 110729 SOS 44793 HAS SOPS 44793 HAS SOUS 41315 HAS SOUPS 41315 WITH SCORE 41359.793
AT ITER 2736 NEW BEST:: SOT 110713 SOS 44811 HAS SOPS 44811 HAS SOUS 41293 HAS SOUPS 41293 WITH SCORE 41337.811
AT ITER 2754 NEW BEST:: SOT 110719 SOS 44857 HAS SOPS 44857 HAS SOUS 41292 HAS SOUPS 41292 WITH SCORE 41336.857
AT ITER 2771 NEW BEST:: SOT 110723 SOS 44878 HAS SOPS 44878 HAS SOUS 41290 HAS SOUPS 41290 WITH SCORE 41334.878
AT ITER 2784 NEW BEST:: SOT 110723 SOS 44862 HAS SOPS 44862 HAS SOUS 41267 HAS SOUPS 41267 WITH SCORE 41311.862
AT ITER 2822 NEW BEST:: SOT 110703 SOS 44831 HAS SOPS 44831 HAS SOUS 41236 HAS SOUPS 41236 WITH SCORE 41280.831
AT ITER 2831 NEW BEST:: SOT 110714 SOS 44840 HAS SOPS 44840 HAS SOUS 41233 HAS SOUPS 41233 WITH SCORE 41277.84
AT ITER 2844 NEW BEST:: SOT 110714 SOS 44838 HAS SOPS 44838 HAS SOUS 41231 HAS SOUPS 41231 WITH SCORE 41275.838
AT ITER 2857 NEW BEST:: SOT 110704 SOS 44818 HAS SOPS 44818 HAS SOUS 41201 HAS SOUPS 41201 WITH SCORE 41245.818
AT ITER 2867 NEW BEST:: SOT 110702 SOS 44816 HAS SOPS 44816 HAS SOUS 41199 HAS SOUPS 41199 WITH SCORE 41243.816
AT ITER 2891 NEW BEST:: SOT 110645 SOS 44752 HAS SOPS 44752 HAS SOUS 41157 HAS SOUPS 41157 WITH SCORE 41201.752
AT ITER 2896 NEW BEST:: SOT 110535 SOS 44773 HAS SOPS 44773 HAS SOUS 41141 HAS SOUPS 41141 WITH SCORE 41185.773
AT ITER 2899 NEW BEST:: SOT 110527 SOS 44795 HAS SOPS 44795 HAS SOUS 41125 HAS SOUPS 41125 WITH SCORE 41169.795
AT ITER 2902 NEW BEST:: SOT 110527 SOS 44763 HAS SOPS 44763 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41135.763
AT ITER 2923 NEW BEST:: SOT 110527 SOS 44731 HAS SOPS 44731 HAS SOUS 41075 HAS SOUPS 41075 WITH SCORE 41119.731
AT ITER 2942 NEW BEST:: SOT 110407 SOS 44609 HAS SOPS 44609 HAS SOUS 41039 HAS SOUPS 41039 WITH SCORE 41083.609
AT ITER 2953 NEW BEST:: SOT 110407 SOS 44547 HAS SOPS 44547 HAS SOUS 41036 HAS SOUPS 41036 WITH SCORE 41080.547
AT ITER 2974 NEW BEST:: SOT 110390 SOS 44530 HAS SOPS 44530 HAS SOUS 41019 HAS SOUPS 41019 WITH SCORE 41063.53
AT ITER 2978 NEW BEST:: SOT 110401 SOS 44513 HAS SOPS 44513 HAS SOUS 41002 HAS SOUPS 41002 WITH SCORE 41046.513
AT ITER 2980 NEW BEST:: SOT 110333 SOS 44157 HAS SOPS 44157 HAS SOUS 40744 HAS SOUPS 40744 WITH SCORE 40788.157
AT ITER 2982 NEW BEST:: SOT 110313 SOS 44059 HAS SOPS 44059 HAS SOUS 40623 HAS SOUPS 40623 WITH SCORE 40667.059
AT ITER 2995 NEW BEST:: SOT 110313 SOS 43987 HAS SOPS 43987 HAS SOUS 40587 HAS SOUPS 40587 WITH SCORE 40630.987
AT ITER 3007 NEW BEST:: SOT 110291 SOS 43943 HAS SOPS 43943 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40594.943
AT ITER 3011 NEW BEST:: SOT 110281 SOS 43933 HAS SOPS 43933 HAS SOUS 40546 HAS SOUPS 40546 WITH SCORE 40589.933
AT ITER 3014 NEW BEST:: SOT 110281 SOS 43929 HAS SOPS 43929 HAS SOUS 40542 HAS SOUPS 40542 WITH SCORE 40585.929
AT ITER 3017 NEW BEST:: SOT 110250 SOS 43799 HAS SOPS 43799 HAS SOUS 40445 HAS SOUPS 40445 WITH SCORE 40488.799
AT ITER 3032 NEW BEST:: SOT 110258 SOS 43704 HAS SOPS 43704 HAS SOUS 40402 HAS SOUPS 40402 WITH SCORE 40445.704
AT ITER 3035 NEW BEST:: SOT 110224 SOS 43441 HAS SOPS 43441 HAS SOUS 40178 HAS SOUPS 40178 WITH SCORE 40221.441
AT ITER 3042 NEW BEST:: SOT 110224 SOS 43441 HAS SOPS 43441 HAS SOUS 40171 HAS SOUPS 40171 WITH SCORE 40214.441
AT ITER 3063 NEW BEST:: SOT 110219 SOS 43433 HAS SOPS 43433 HAS SOUS 40164 HAS SOUPS 40164 WITH SCORE 40207.433
AT ITER 3081 NEW BEST:: SOT 110219 SOS 43387 HAS SOPS 43387 HAS SOUS 40118 HAS SOUPS 40118 WITH SCORE 40161.387
AT ITER 3092 NEW BEST:: SOT 110211 SOS 43371 HAS SOPS 43371 HAS SOUS 40102 HAS SOUPS 40102 WITH SCORE 40145.371
AT ITER 3093 NEW BEST:: SOT 110211 SOS 43336 HAS SOPS 43336 HAS SOUS 40080 HAS SOUPS 40080 WITH SCORE 40123.336
AT ITER 3097 NEW BEST:: SOT 110211 SOS 43182 HAS SOPS 43182 HAS SOUS 40080 HAS SOUPS 40080 WITH SCORE 40123.182
AT ITER 3099 NEW BEST:: SOT 110195 SOS 43168 HAS SOPS 43168 HAS SOUS 40061 HAS SOUPS 40061 WITH SCORE 40104.168
AT ITER 3102 NEW BEST:: SOT 110162 SOS 43144 HAS SOPS 43144 HAS SOUS 40037 HAS SOUPS 40037 WITH SCORE 40080.144
AT ITER 3115 NEW BEST:: SOT 110115 SOS 43093 HAS SOPS 43093 HAS SOUS 39986 HAS SOUPS 39986 WITH SCORE 40029.093
AT ITER 3123 NEW BEST:: SOT 110114 SOS 43092 HAS SOPS 43092 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40028.092
AT ITER 3132 NEW BEST:: SOT 110089 SOS 43061 HAS SOPS 43061 HAS SOUS 39946 HAS SOUPS 39946 WITH SCORE 39989.061
AT ITER 3139 NEW BEST:: SOT 110089 SOS 43028 HAS SOPS 43028 HAS SOUS 39913 HAS SOUPS 39913 WITH SCORE 39956.028
AT ITER 3140 NEW BEST:: SOT 110048 SOS 42845 HAS SOPS 42845 HAS SOUS 39821 HAS SOUPS 39821 WITH SCORE 39863.845
AT ITER 3142 NEW BEST:: SOT 110016 SOS 42749 HAS SOPS 42749 HAS SOUS 39757 HAS SOUPS 39757 WITH SCORE 39799.749
AT ITER 3197 NEW BEST:: SOT 110014 SOS 42743 HAS SOPS 42743 HAS SOUS 39753 HAS SOUPS 39753 WITH SCORE 39795.743
AT ITER 3223 NEW BEST:: SOT 109957 SOS 42658 HAS SOPS 42658 HAS SOUS 39668 HAS SOUPS 39668 WITH SCORE 39710.658
AT ITER 3227 NEW BEST:: SOT 109952 SOS 42653 HAS SOPS 42653 HAS SOUS 39663 HAS SOUPS 39663 WITH SCORE 39705.653
AT ITER 3233 NEW BEST:: SOT 109931 SOS 42632 HAS SOPS 42632 HAS SOUS 39642 HAS SOUPS 39642 WITH SCORE 39684.632
AT ITER 3253 NEW BEST:: SOT 109935 SOS 42627 HAS SOPS 42627 HAS SOUS 39637 HAS SOUPS 39637 WITH SCORE 39679.627
AT ITER 3258 NEW BEST:: SOT 109863 SOS 42516 HAS SOPS 42516 HAS SOUS 39518 HAS SOUPS 39518 WITH SCORE 39560.516
AT ITER 3275 NEW BEST:: SOT 109735 SOS 42388 HAS SOPS 42388 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39432.388
AT ITER 3285 NEW BEST:: SOT 109701 SOS 42356 HAS SOPS 42356 HAS SOUS 39358 HAS SOUPS 39358 WITH SCORE 39400.356
AT ITER 3311 NEW BEST:: SOT 109701 SOS 42345 HAS SOPS 42345 HAS SOUS 39347 HAS SOUPS 39347 WITH SCORE 39389.345
AT ITER 3316 NEW BEST:: SOT 109695 SOS 42292 HAS SOPS 42292 HAS SOUS 39294 HAS SOUPS 39294 WITH SCORE 39336.292
AT ITER 3341 NEW BEST:: SOT 109709 SOS 42319 HAS SOPS 42319 HAS SOUS 39282 HAS SOUPS 39282 WITH SCORE 39324.319
AT ITER 3342 NEW BEST:: SOT 109765 SOS 42374 HAS SOPS 42374 HAS SOUS 39277 HAS SOUPS 39277 WITH SCORE 39319.374
AT ITER 3347 NEW BEST:: SOT 109753 SOS 42350 HAS SOPS 42350 HAS SOUS 39253 HAS SOUPS 39253 WITH SCORE 39295.35
AT ITER 3359 NEW BEST:: SOT 109753 SOS 42345 HAS SOPS 42345 HAS SOUS 39248 HAS SOUPS 39248 WITH SCORE 39290.345
AT ITER 3361 NEW BEST:: SOT 109753 SOS 42323 HAS SOPS 42323 HAS SOUS 39226 HAS SOUPS 39226 WITH SCORE 39268.323
AT ITER 3365 NEW BEST:: SOT 109661 SOS 42348 HAS SOPS 42348 HAS SOUS 39202 HAS SOUPS 39202 WITH SCORE 39244.348
AT ITER 3382 NEW BEST:: SOT 109657 SOS 42336 HAS SOPS 42336 HAS SOUS 39198 HAS SOUPS 39198 WITH SCORE 39240.336
AT ITER 3393 NEW BEST:: SOT 109657 SOS 42324 HAS SOPS 42324 HAS SOUS 39198 HAS SOUPS 39198 WITH SCORE 39240.324
AT ITER 3395 NEW BEST:: SOT 109631 SOS 42300 HAS SOPS 42300 HAS SOUS 39174 HAS SOUPS 39174 WITH SCORE 39216.3
AT ITER 3399 NEW BEST:: SOT 109631 SOS 42286 HAS SOPS 42286 HAS SOUS 39174 HAS SOUPS 39174 WITH SCORE 39216.286
AT ITER 3410 NEW BEST:: SOT 109627 SOS 42135 HAS SOPS 42135 HAS SOUS 39085 HAS SOUPS 39085 WITH SCORE 39127.135
AT ITER 3413 NEW BEST:: SOT 109578 SOS 42098 HAS SOPS 42098 HAS SOUS 39048 HAS SOUPS 39048 WITH SCORE 39090.098
AT ITER 3415 NEW BEST:: SOT 109578 SOS 42091 HAS SOPS 42091 HAS SOUS 39048 HAS SOUPS 39048 WITH SCORE 39090.091
AT ITER 3422 NEW BEST:: SOT 109575 SOS 42079 HAS SOPS 42079 HAS SOUS 39017 HAS SOUPS 39017 WITH SCORE 39059.079
AT ITER 3437 NEW BEST:: SOT 109575 SOS 42000 HAS SOPS 42000 HAS SOUS 38938 HAS SOUPS 38938 WITH SCORE 38980.0
AT ITER 3451 NEW BEST:: SOT 109563 SOS 41988 HAS SOPS 41988 HAS SOUS 38926 HAS SOUPS 38926 WITH SCORE 38967.988
AT ITER 3458 NEW BEST:: SOT 109546 SOS 41855 HAS SOPS 41855 HAS SOUS 38848 HAS SOUPS 38848 WITH SCORE 38889.855
AT ITER 3465 NEW BEST:: SOT 109447 SOS 41696 HAS SOPS 41696 HAS SOUS 38689 HAS SOUPS 38689 WITH SCORE 38730.696
AT ITER 3486 NEW BEST:: SOT 109445 SOS 41708 HAS SOPS 41708 HAS SOUS 38687 HAS SOUPS 38687 WITH SCORE 38728.708
AT ITER 3496 NEW BEST:: SOT 109393 SOS 41630 HAS SOPS 41630 HAS SOUS 38609 HAS SOUPS 38609 WITH SCORE 38650.63
AT ITER 3517 NEW BEST:: SOT 109393 SOS 41628 HAS SOPS 41628 HAS SOUS 38608 HAS SOUPS 38608 WITH SCORE 38649.628
AT ITER 3523 NEW BEST:: SOT 109329 SOS 41282 HAS SOPS 41282 HAS SOUS 38350 HAS SOUPS 38350 WITH SCORE 38391.282
AT ITER 3530 NEW BEST:: SOT 109302 SOS 41255 HAS SOPS 41255 HAS SOUS 38323 HAS SOUPS 38323 WITH SCORE 38364.255
AT ITER 3579 NEW BEST:: SOT 109300 SOS 41247 HAS SOPS 41247 HAS SOUS 38319 HAS SOUPS 38319 WITH SCORE 38360.247
AT ITER 3596 NEW BEST:: SOT 109320 SOS 41204 HAS SOPS 41204 HAS SOUS 38286 HAS SOUPS 38286 WITH SCORE 38327.204
AT ITER 3606 NEW BEST:: SOT 109320 SOS 41191 HAS SOPS 41191 HAS SOUS 38273 HAS SOUPS 38273 WITH SCORE 38314.191
AT ITER 3609 NEW BEST:: SOT 109302 SOS 41137 HAS SOPS 41137 HAS SOUS 38237 HAS SOUPS 38237 WITH SCORE 38278.137
AT ITER 3630 NEW BEST:: SOT 109298 SOS 41129 HAS SOPS 41129 HAS SOUS 38229 HAS SOUPS 38229 WITH SCORE 38270.129
AT ITER 3632 NEW BEST:: SOT 109302 SOS 41115 HAS SOPS 41115 HAS SOUS 38221 HAS SOUPS 38221 WITH SCORE 38262.115
AT ITER 3673 NEW BEST:: SOT 109302 SOS 41112 HAS SOPS 41112 HAS SOUS 38221 HAS SOUPS 38221 WITH SCORE 38262.112
AT ITER 3685 NEW BEST:: SOT 109234 SOS 41039 HAS SOPS 41039 HAS SOUS 38104 HAS SOUPS 38104 WITH SCORE 38145.039
AT ITER 3695 NEW BEST:: SOT 109234 SOS 40959 HAS SOPS 40959 HAS SOUS 38072 HAS SOUPS 38072 WITH SCORE 38112.959
AT ITER 3697 NEW BEST:: SOT 109234 SOS 40953 HAS SOPS 40953 HAS SOUS 38066 HAS SOUPS 38066 WITH SCORE 38106.953
AT ITER 3707 NEW BEST:: SOT 109174 SOS 40908 HAS SOPS 40908 HAS SOUS 38021 HAS SOUPS 38021 WITH SCORE 38061.908
AT ITER 3710 NEW BEST:: SOT 109149 SOS 40897 HAS SOPS 40897 HAS SOUS 38010 HAS SOUPS 38010 WITH SCORE 38050.897
AT ITER 3719 NEW BEST:: SOT 109139 SOS 40887 HAS SOPS 40887 HAS SOUS 38000 HAS SOUPS 38000 WITH SCORE 38040.887
AT ITER 3721 NEW BEST:: SOT 109105 SOS 40819 HAS SOPS 40819 HAS SOUS 37932 HAS SOUPS 37932 WITH SCORE 37972.819
AT ITER 3730 NEW BEST:: SOT 109055 SOS 40731 HAS SOPS 40731 HAS SOUS 37844 HAS SOUPS 37844 WITH SCORE 37884.731
AT ITER 3735 NEW BEST:: SOT 109065 SOS 40693 HAS SOPS 40693 HAS SOUS 37822 HAS SOUPS 37822 WITH SCORE 37862.693
AT ITER 3747 NEW BEST:: SOT 109065 SOS 40661 HAS SOPS 40661 HAS SOUS 37806 HAS SOUPS 37806 WITH SCORE 37846.661
AT ITER 3757 NEW BEST:: SOT 109057 SOS 40749 HAS SOPS 40749 HAS SOUS 37732 HAS SOUPS 37732 WITH SCORE 37772.749
AT ITER 3763 NEW BEST:: SOT 109050 SOS 40733 HAS SOPS 40733 HAS SOUS 37716 HAS SOUPS 37716 WITH SCORE 37756.733
AT ITER 3791 NEW BEST:: SOT 109050 SOS 40707 HAS SOPS 40707 HAS SOUS 37690 HAS SOUPS 37690 WITH SCORE 37730.707
AT ITER 3819 NEW BEST:: SOT 108983 SOS 40676 HAS SOPS 40676 HAS SOUS 37643 HAS SOUPS 37643 WITH SCORE 37683.676
AT ITER 3827 NEW BEST:: SOT 108979 SOS 40672 HAS SOPS 40672 HAS SOUS 37639 HAS SOUPS 37639 WITH SCORE 37679.672
AT ITER 3834 NEW BEST:: SOT 108973 SOS 40660 HAS SOPS 40660 HAS SOUS 37633 HAS SOUPS 37633 WITH SCORE 37673.66
AT ITER 3838 NEW BEST:: SOT 108958 SOS 40645 HAS SOPS 40645 HAS SOUS 37618 HAS SOUPS 37618 WITH SCORE 37658.645
AT ITER 3849 NEW BEST:: SOT 108916 SOS 40564 HAS SOPS 40564 HAS SOUS 37553 HAS SOUPS 37553 WITH SCORE 37593.564
AT ITER 3889 NEW BEST:: SOT 108898 SOS 40540 HAS SOPS 40540 HAS SOUS 37529 HAS SOUPS 37529 WITH SCORE 37569.54
AT ITER 3933 NEW BEST:: SOT 108805 SOS 40427 HAS SOPS 40427 HAS SOUS 37416 HAS SOUPS 37416 WITH SCORE 37456.427
AT ITER 3941 NEW BEST:: SOT 108793 SOS 40415 HAS SOPS 40415 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37444.415
AT ITER 3946 NEW BEST:: SOT 108774 SOS 40377 HAS SOPS 40377 HAS SOUS 37366 HAS SOUPS 37366 WITH SCORE 37406.377
AT ITER 3957 NEW BEST:: SOT 108672 SOS 40266 HAS SOPS 40266 HAS SOUS 37309 HAS SOUPS 37309 WITH SCORE 37349.266
AT ITER 3968 NEW BEST:: SOT 108591 SOS 40174 HAS SOPS 40174 HAS SOUS 37217 HAS SOUPS 37217 WITH SCORE 37257.174
AT ITER 3997 NEW BEST:: SOT 108591 SOS 40125 HAS SOPS 40125 HAS SOUS 37168 HAS SOUPS 37168 WITH SCORE 37208.125
AT ITER 4021 NEW BEST:: SOT 108572 SOS 40123 HAS SOPS 40123 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37206.123
AT ITER 4034 NEW BEST:: SOT 108603 SOS 40109 HAS SOPS 40109 HAS SOUS 37152 HAS SOUPS 37152 WITH SCORE 37192.109
AT ITER 4041 NEW BEST:: SOT 108553 SOS 40005 HAS SOPS 40005 HAS SOUS 37048 HAS SOUPS 37048 WITH SCORE 37088.005
AT ITER 4063 NEW BEST:: SOT 108509 SOS 39961 HAS SOPS 39961 HAS SOUS 37004 HAS SOUPS 37004 WITH SCORE 37043.961
AT ITER 4069 NEW BEST:: SOT 108509 SOS 39945 HAS SOPS 39945 HAS SOUS 36988 HAS SOUPS 36988 WITH SCORE 37027.945
AT ITER 4079 NEW BEST:: SOT 108445 SOS 39872 HAS SOPS 39872 HAS SOUS 36915 HAS SOUPS 36915 WITH SCORE 36954.872
AT ITER 4094 NEW BEST:: SOT 108445 SOS 39835 HAS SOPS 39835 HAS SOUS 36878 HAS SOUPS 36878 WITH SCORE 36917.835
AT ITER 4157 NEW BEST:: SOT 108412 SOS 39735 HAS SOPS 39735 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36845.735
AT ITER 4179 NEW BEST:: SOT 108391 SOS 39738 HAS SOPS 39738 HAS SOUS 36788 HAS SOUPS 36788 WITH SCORE 36827.738
AT ITER 4193 NEW BEST:: SOT 108373 SOS 39578 HAS SOPS 39578 HAS SOUS 36679 HAS SOUPS 36679 WITH SCORE 36718.578
AT ITER 4203 NEW BEST:: SOT 108364 SOS 39569 HAS SOPS 39569 HAS SOUS 36670 HAS SOUPS 36670 WITH SCORE 36709.569
AT ITER 4209 NEW BEST:: SOT 108364 SOS 39537 HAS SOPS 39537 HAS SOUS 36638 HAS SOUPS 36638 WITH SCORE 36677.537
AT ITER 4213 NEW BEST:: SOT 108364 SOS 39536 HAS SOPS 39536 HAS SOUS 36637 HAS SOUPS 36637 WITH SCORE 36676.536
AT ITER 4240 NEW BEST:: SOT 108318 SOS 39462 HAS SOPS 39462 HAS SOUS 36523 HAS SOUPS 36523 WITH SCORE 36562.462
AT ITER 4243 NEW BEST:: SOT 108313 SOS 39457 HAS SOPS 39457 HAS SOUS 36518 HAS SOUPS 36518 WITH SCORE 36557.457
AT ITER 4244 NEW BEST:: SOT 108313 SOS 39450 HAS SOPS 39450 HAS SOUS 36511 HAS SOUPS 36511 WITH SCORE 36550.45
AT ITER 4245 NEW BEST:: SOT 108313 SOS 39349 HAS SOPS 39349 HAS SOUS 36351 HAS SOUPS 36351 WITH SCORE 36390.349
AT ITER 4311 NEW BEST:: SOT 108274 SOS 39392 HAS SOPS 39392 HAS SOUS 36349 HAS SOUPS 36349 WITH SCORE 36388.392
AT ITER 4324 NEW BEST:: SOT 108274 SOS 39489 HAS SOPS 39489 HAS SOUS 36348 HAS SOUPS 36348 WITH SCORE 36387.489
AT ITER 4349 NEW BEST:: SOT 108209 SOS 39342 HAS SOPS 39342 HAS SOUS 36282 HAS SOUPS 36282 WITH SCORE 36321.342
AT ITER 4365 NEW BEST:: SOT 108209 SOS 39331 HAS SOPS 39331 HAS SOUS 36271 HAS SOUPS 36271 WITH SCORE 36310.331
AT ITER 4369 NEW BEST:: SOT 108209 SOS 39320 HAS SOPS 39320 HAS SOUS 36260 HAS SOUPS 36260 WITH SCORE 36299.32
AT ITER 4378 NEW BEST:: SOT 108200 SOS 39293 HAS SOPS 39293 HAS SOUS 36242 HAS SOUPS 36242 WITH SCORE 36281.293
AT ITER 4384 NEW BEST:: SOT 108167 SOS 39249 HAS SOPS 39249 HAS SOUS 36198 HAS SOUPS 36198 WITH SCORE 36237.249
AT ITER 4387 NEW BEST:: SOT 108164 SOS 39246 HAS SOPS 39246 HAS SOUS 36195 HAS SOUPS 36195 WITH SCORE 36234.246
AT ITER 4393 NEW BEST:: SOT 108147 SOS 39229 HAS SOPS 39229 HAS SOUS 36195 HAS SOUPS 36195 WITH SCORE 36234.229
AT ITER 4404 NEW BEST:: SOT 108125 SOS 39171 HAS SOPS 39171 HAS SOUS 36181 HAS SOUPS 36181 WITH SCORE 36220.171
AT ITER 4435 NEW BEST:: SOT 108122 SOS 39135 HAS SOPS 39135 HAS SOUS 36145 HAS SOUPS 36145 WITH SCORE 36184.135
AT ITER 4443 NEW BEST:: SOT 108122 SOS 39101 HAS SOPS 39101 HAS SOUS 36111 HAS SOUPS 36111 WITH SCORE 36150.101
AT ITER 4460 NEW BEST:: SOT 108122 SOS 39095 HAS SOPS 39095 HAS SOUS 36111 HAS SOUPS 36111 WITH SCORE 36150.095
AT ITER 4514 NEW BEST:: SOT 108104 SOS 39005 HAS SOPS 39005 HAS SOUS 36075 HAS SOUPS 36075 WITH SCORE 36114.005
AT ITER 4525 NEW BEST:: SOT 108100 SOS 38963 HAS SOPS 38963 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36071.963
AT ITER 4540 NEW BEST:: SOT 108093 SOS 38956 HAS SOPS 38956 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36064.956
AT ITER 4547 NEW BEST:: SOT 108106 SOS 38976 HAS SOPS 38976 HAS SOUS 35974 HAS SOUPS 35974 WITH SCORE 36012.976
AT ITER 4551 NEW BEST:: SOT 108120 SOS 38968 HAS SOPS 38968 HAS SOUS 35966 HAS SOUPS 35966 WITH SCORE 36004.968
AT ITER 4597 NEW BEST:: SOT 108083 SOS 38889 HAS SOPS 38889 HAS SOUS 35908 HAS SOUPS 35908 WITH SCORE 35946.889
AT ITER 4600 NEW BEST:: SOT 108081 SOS 38882 HAS SOPS 38882 HAS SOUS 35901 HAS SOUPS 35901 WITH SCORE 35939.882
AT ITER 4620 NEW BEST:: SOT 108017 SOS 38756 HAS SOPS 38756 HAS SOUS 35775 HAS SOUPS 35775 WITH SCORE 35813.756
AT ITER 4638 NEW BEST:: SOT 108000 SOS 38703 HAS SOPS 38703 HAS SOUS 35739 HAS SOUPS 35739 WITH SCORE 35777.703
AT ITER 4640 NEW BEST:: SOT 107988 SOS 38696 HAS SOPS 38696 HAS SOUS 35732 HAS SOUPS 35732 WITH SCORE 35770.696
AT ITER 4641 NEW BEST:: SOT 108004 SOS 38677 HAS SOPS 38677 HAS SOUS 35671 HAS SOUPS 35671 WITH SCORE 35709.677
AT ITER 4674 NEW BEST:: SOT 107980 SOS 38742 HAS SOPS 38742 HAS SOUS 35647 HAS SOUPS 35647 WITH SCORE 35685.742
AT ITER 4681 NEW BEST:: SOT 107980 SOS 38732 HAS SOPS 38732 HAS SOUS 35647 HAS SOUPS 35647 WITH SCORE 35685.732
AT ITER 4685 NEW BEST:: SOT 107920 SOS 38464 HAS SOPS 38464 HAS SOUS 35427 HAS SOUPS 35427 WITH SCORE 35465.464
AT ITER 4711 NEW BEST:: SOT 107836 SOS 38320 HAS SOPS 38320 HAS SOUS 35283 HAS SOUPS 35283 WITH SCORE 35321.32
AT ITER 4714 NEW BEST:: SOT 107836 SOS 38302 HAS SOPS 38302 HAS SOUS 35265 HAS SOUPS 35265 WITH SCORE 35303.302
AT ITER 4777 NEW BEST:: SOT 107834 SOS 38300 HAS SOPS 38300 HAS SOUS 35263 HAS SOUPS 35263 WITH SCORE 35301.3
AT ITER 4780 NEW BEST:: SOT 107686 SOS 38152 HAS SOPS 38152 HAS SOUS 35170 HAS SOUPS 35170 WITH SCORE 35208.152
AT ITER 4787 NEW BEST:: SOT 107686 SOS 38145 HAS SOPS 38145 HAS SOUS 35170 HAS SOUPS 35170 WITH SCORE 35208.145
AT ITER 4789 NEW BEST:: SOT 107689 SOS 38127 HAS SOPS 38127 HAS SOUS 35152 HAS SOUPS 35152 WITH SCORE 35190.127
AT ITER 4813 NEW BEST:: SOT 107689 SOS 38103 HAS SOPS 38103 HAS SOUS 35080 HAS SOUPS 35080 WITH SCORE 35118.103
AT ITER 4820 NEW BEST:: SOT 107676 SOS 38090 HAS SOPS 38090 HAS SOUS 35067 HAS SOUPS 35067 WITH SCORE 35105.09
AT ITER 4849 NEW BEST:: SOT 107641 SOS 38055 HAS SOPS 38055 HAS SOUS 35032 HAS SOUPS 35032 WITH SCORE 35070.055
AT ITER 4869 NEW BEST:: SOT 107607 SOS 37977 HAS SOPS 37977 HAS SOUS 34954 HAS SOUPS 34954 WITH SCORE 34991.977
AT ITER 4870 NEW BEST:: SOT 107591 SOS 37946 HAS SOPS 37946 HAS SOUS 34923 HAS SOUPS 34923 WITH SCORE 34960.946
AT ITER 4882 NEW BEST:: SOT 107552 SOS 37974 HAS SOPS 37974 HAS SOUS 34913 HAS SOUPS 34913 WITH SCORE 34950.974
AT ITER 4899 NEW BEST:: SOT 107534 SOS 37965 HAS SOPS 37965 HAS SOUS 34896 HAS SOUPS 34896 WITH SCORE 34933.965
AT ITER 4904 NEW BEST:: SOT 107528 SOS 37959 HAS SOPS 37959 HAS SOUS 34890 HAS SOUPS 34890 WITH SCORE 34927.959
AT ITER 4927 NEW BEST:: SOT 107498 SOS 37954 HAS SOPS 37954 HAS SOUS 34882 HAS SOUPS 34882 WITH SCORE 34919.954
AT ITER 4943 NEW BEST:: SOT 107494 SOS 37929 HAS SOPS 37929 HAS SOUS 34855 HAS SOUPS 34855 WITH SCORE 34892.929
AT ITER 4949 NEW BEST:: SOT 107490 SOS 37925 HAS SOPS 37925 HAS SOUS 34847 HAS SOUPS 34847 WITH SCORE 34884.925
AT ITER 4956 NEW BEST:: SOT 107480 SOS 37915 HAS SOPS 37915 HAS SOUS 34827 HAS SOUPS 34827 WITH SCORE 34864.915
AT ITER 4964 NEW BEST:: SOT 107503 SOS 37845 HAS SOPS 37845 HAS SOUS 34810 HAS SOUPS 34810 WITH SCORE 34847.845
AT ITER 4995 NEW BEST:: SOT 107485 SOS 37856 HAS SOPS 37856 HAS SOUS 34805 HAS SOUPS 34805 WITH SCORE 34842.856
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-00 (! (EU( (! ( ((potential((tk(P433)>=1) & (tk(P435)>=1)))) | ((potential((tk(P448)>=1)))) )) , (AG( ((potential((tk(P287)>=1) & (tk(P297)>=1)))))) )))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-01 ( ( (! ((potential((tk(P302)>=1))))) & (AG( ( (! ((potential((tk(P68)>=1) & (tk(P70)>=1))))) | ((potential((tk(P266)>=1) & (tk(P300)>=1)))) ))) ) | (AX( ((potential((tk(P133)>=1) & (tk(P135)>=1)))))) )
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-02 ( (EU( (! ((potential((tk(P143)>=1) & (tk(P145)>=1))))) , (! (! ((potential((tk(P43)>=1) & (tk(P45)>=1)))))) )) & ( ( (EF( ( ((potential((tk(P491)>=1)))) | ((potential((tk(P282)>=1) & (tk(P297)>=1)))) ))) | (AF( ( ((potential((tk(P3)>=1) & (tk(P11)>=1)))) | ((potential((tk(P438)>=1) & (tk(P440)>=1)))) ))) ) & ( ( ( ((potential((tk(P238)>=1) & (tk(P240)>=1)))) | ( ((potential((tk(P9)>=1) & (tk(P26)>=1)))) | ((potential((tk(P180)>=1) & (tk(P199)>=1)))) ) ) | ( (! ((potential((tk(P283)>=1) & (tk(P285)>=1))))) | ( ((potential((tk(P218)>=1) & (tk(P220)>=1)))) | ((potential((tk(P108)>=1) & (tk(P110)>=1)))) ) ) ) & ( (EX( ((potential((tk(P371)>=1)))))) | (EF( ((potential((tk(P5)>=1) & (tk(P24)>=1)))))) ) ) ) )
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-03 (AX( (EU( (! ((potential((tk(P467)>=1) & (tk(P478)>=1))))) , ( ((potential((tk(P254)>=1) & (tk(P277)>=1)))) & ((potential((tk(P398)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-04 (EF( (! (EF( ( ((potential((tk(P162)>=1) & (tk(P172)>=1)))) | ((potential((tk(P277)>=1)))) ))))))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-05 ( (AF( ( ( (! ((potential((tk(P71)>=1) & (tk(P86)>=1))))) & ( ((potential((tk(P216)>=1) & (tk(P250)>=1)))) & ((potential((tk(P59)>=1) & (tk(P76)>=1)))) ) ) | (EF( ((potential((tk(P298)>=1)))))) ))) | ((potential((tk(P258)>=1) & (tk(P260)>=1)))) )
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-06 (AG( (EF( ( ((potential((tk(P319)>=1) & (tk(P326)>=1)))) & (! ((potential((tk(P64)>=1) & (tk(P78)>=1))))) )))))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-07 (! ( (! (EU( ((potential((tk(P133)>=1) & (tk(P135)>=1)))) , ((potential((tk(P143)>=1) & (tk(P145)>=1)))) ))) & (! ( (EF( ((potential((tk(P108)>=1) & (tk(P110)>=1)))))) | (EX( ((potential((tk(P4)>=1) & (tk(P27)>=1)))))) )) ))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-08 ( (AF( (EF( ( ((potential((tk(P223)>=1)))) | ((potential((tk(P396)>=1)))) ))))) | (EG( (AG( ( ((potential((tk(P105)>=1) & (tk(P124)>=1)))) & ((potential((tk(P293)>=1) & (tk(P295)>=1)))) ))))) )
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-09 ( (EF( ( ( ( ((potential((tk(P154)>=1) & (tk(P177)>=1)))) | ((potential((tk(P398)>=1)))) ) & (! ((potential((tk(P344)>=1) & (tk(P351)>=1))))) ) & (AF( ((potential((tk(P184)>=1) & (tk(P201)>=1)))))) ))) | ((potential((tk(P454)>=1) & (tk(P477)>=1)))) )
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-10 (! (EU( ( ((potential((tk(P131)>=1) & (tk(P148)>=1)))) | (! ((potential((tk(P409)>=1) & (tk(P426)>=1))))) ) , (AF( ((potential((tk(P27)>=1)))))) )))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-11 (EX( (EU( (! ((potential((tk(P237)>=1) & (tk(P247)>=1))))) , ( ((potential((tk(P16)>=1) & (tk(P50)>=1)))) | ((potential((tk(P12)>=1) & (tk(P22)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-12 (EF( (EU( ((potential((tk(P156)>=1) & (tk(P173)>=1)))) , ( ((potential((tk(P273)>=1)))) & ((potential((tk(P92)>=1) & (tk(P103)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-13 (AG( ( (AX( (! ((potential((tk(P338)>=1) & (tk(P340)>=1))))))) & (! ((potential((tk(P142)>=1) & (tk(P153)>=1))))) )))
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-14 ( ((potential((tk(P218)>=1) & (tk(P220)>=1)))) | (EF( ((potential((tk(P189)>=1) & (tk(P203)>=1)))))) )
PROPERTY: ShieldPPPt-PT-020A-CTLFireability-15 ( (EU( (! ( ((potential((tk(P468)>=1) & (tk(P470)>=1)))) & ((potential((tk(P248)>=1)))) )) , ((potential((tk(P446)>=1) & (tk(P461)>=1)))) )) & (AF( (AU( ((potential((tk(P387)>=1) & (tk(P397)>=1)))) , ((potential((tk(P479)>=1) & (tk(P502)>=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="ShieldPPPt-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 ShieldPPPt-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-159033469800668"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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