About the Execution of smart for FlexibleBarrier-PT-20a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15763.600 | 1198288.00 | 1198061.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500388.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 FlexibleBarrier-PT-20a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500388
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 3.5K Apr 4 19:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 19:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 08:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 08:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 3 21:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 3 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 3 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 321K Mar 24 05:37 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 FlexibleBarrier-PT-20a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-20a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589446979160
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 20a
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: 243 places, 1064 transitions, 5317 arcs.
AT ITER 0 NEW BEST:: SOT 230369 SOS 200657 HAS SOPS 200657 HAS SOUS 111239 HAS SOUPS 111239 WITH SCORE 111439.657
AT ITER 3 NEW BEST:: SOT 226055 SOS 198132 HAS SOPS 196371 HAS SOUS 107139 HAS SOUPS 107047 WITH SCORE 107245.132
AT ITER 4 NEW BEST:: SOT 226013 SOS 198090 HAS SOPS 196329 HAS SOUS 107109 HAS SOUPS 107017 WITH SCORE 107215.09
AT ITER 7 NEW BEST:: SOT 225990 SOS 198044 HAS SOPS 196260 HAS SOUS 107063 HAS SOUPS 106971 WITH SCORE 107169.044
AT ITER 11 NEW BEST:: SOT 225809 SOS 197826 HAS SOPS 196004 HAS SOUS 106899 HAS SOUPS 106775 WITH SCORE 106972.826
AT ITER 12 NEW BEST:: SOT 225426 SOS 197157 HAS SOPS 195335 HAS SOUS 106357 HAS SOUPS 106233 WITH SCORE 106430.157
AT ITER 13 NEW BEST:: SOT 225443 SOS 196960 HAS SOPS 195199 HAS SOUS 106219 HAS SOUPS 106095 WITH SCORE 106291.96
AT ITER 14 NEW BEST:: SOT 225442 SOS 196958 HAS SOPS 195151 HAS SOUS 106168 HAS SOUPS 106044 WITH SCORE 106240.958
AT ITER 15 NEW BEST:: SOT 225441 SOS 196858 HAS SOPS 195051 HAS SOUS 105059 HAS SOUPS 104935 WITH SCORE 105131.858
AT ITER 20 NEW BEST:: SOT 225428 SOS 195887 HAS SOPS 194080 HAS SOUS 100748 HAS SOUPS 100624 WITH SCORE 100819.887
AT ITER 22 NEW BEST:: SOT 225416 SOS 195501 HAS SOPS 193694 HAS SOUS 99067 HAS SOUPS 98943 WITH SCORE 99138.501
AT ITER 25 NEW BEST:: SOT 224580 SOS 194697 HAS SOPS 192802 HAS SOUS 98706 HAS SOUPS 98582 WITH SCORE 98776.697
AT ITER 26 NEW BEST:: SOT 224651 SOS 193849 HAS SOPS 191996 HAS SOUS 94506 HAS SOUPS 94382 WITH SCORE 94575.849
AT ITER 31 NEW BEST:: SOT 224448 SOS 193639 HAS SOPS 191714 HAS SOUS 94370 HAS SOUPS 94246 WITH SCORE 94439.639
AT ITER 33 NEW BEST:: SOT 224249 SOS 193378 HAS SOPS 191380 HAS SOUS 94152 HAS SOUPS 94028 WITH SCORE 94221.378
AT ITER 36 NEW BEST:: SOT 224249 SOS 193378 HAS SOPS 191380 HAS SOUS 94150 HAS SOUPS 94026 WITH SCORE 94219.378
AT ITER 37 NEW BEST:: SOT 224183 SOS 193107 HAS SOPS 191067 HAS SOUS 94035 HAS SOUPS 93911 WITH SCORE 94104.107
AT ITER 38 NEW BEST:: SOT 224098 SOS 192999 HAS SOPS 190923 HAS SOUS 94015 HAS SOUPS 93891 WITH SCORE 94083.999
AT ITER 39 NEW BEST:: SOT 224015 SOS 192907 HAS SOPS 190761 HAS SOUS 93932 HAS SOUPS 93808 WITH SCORE 94000.907
AT ITER 45 NEW BEST:: SOT 223316 SOS 192146 HAS SOPS 189916 HAS SOUS 93514 HAS SOUPS 93390 WITH SCORE 93582.146
AT ITER 46 NEW BEST:: SOT 223418 SOS 191776 HAS SOPS 189546 HAS SOUS 93461 HAS SOUPS 93337 WITH SCORE 93528.776
AT ITER 47 NEW BEST:: SOT 223579 SOS 191789 HAS SOPS 189627 HAS SOUS 93361 HAS SOUPS 93237 WITH SCORE 93428.789
AT ITER 48 NEW BEST:: SOT 223614 SOS 191822 HAS SOPS 189623 HAS SOUS 93357 HAS SOUPS 93233 WITH SCORE 93424.822
AT ITER 49 NEW BEST:: SOT 223741 SOS 192017 HAS SOPS 189877 HAS SOUS 93354 HAS SOUPS 93230 WITH SCORE 93422.017
AT ITER 51 NEW BEST:: SOT 223722 SOS 191814 HAS SOPS 189674 HAS SOUS 92990 HAS SOUPS 92866 WITH SCORE 93057.814
AT ITER 52 NEW BEST:: SOT 223560 SOS 190499 HAS SOPS 188359 HAS SOUS 88671 HAS SOUPS 88547 WITH SCORE 88737.499
AT ITER 53 NEW BEST:: SOT 223613 SOS 190446 HAS SOPS 188359 HAS SOUS 88668 HAS SOUPS 88544 WITH SCORE 88734.446
AT ITER 55 NEW BEST:: SOT 223613 SOS 189356 HAS SOPS 187269 HAS SOUS 87326 HAS SOUPS 87202 WITH SCORE 87391.356
AT ITER 56 NEW BEST:: SOT 223736 SOS 187415 HAS SOPS 185386 HAS SOUS 83182 HAS SOUPS 83058 WITH SCORE 83245.415
AT ITER 58 NEW BEST:: SOT 223655 SOS 187207 HAS SOPS 185100 HAS SOUS 83017 HAS SOUPS 82893 WITH SCORE 83080.207
AT ITER 60 NEW BEST:: SOT 223718 SOS 185366 HAS SOPS 183259 HAS SOUS 80567 HAS SOUPS 80443 WITH SCORE 80628.366
AT ITER 62 NEW BEST:: SOT 223708 SOS 182421 HAS SOPS 180323 HAS SOUS 75208 HAS SOUPS 75084 WITH SCORE 75266.421
AT ITER 68 NEW BEST:: SOT 223671 SOS 181757 HAS SOPS 179659 HAS SOUS 73203 HAS SOUPS 73079 WITH SCORE 73260.757
AT ITER 72 NEW BEST:: SOT 223195 SOS 181279 HAS SOPS 179179 HAS SOUS 73093 HAS SOUPS 72969 WITH SCORE 73150.279
AT ITER 77 NEW BEST:: SOT 223137 SOS 181204 HAS SOPS 179063 HAS SOUS 73083 HAS SOUPS 72959 WITH SCORE 73140.204
AT ITER 80 NEW BEST:: SOT 223137 SOS 181146 HAS SOPS 179005 HAS SOUS 73024 HAS SOUPS 72900 WITH SCORE 73081.146
AT ITER 83 NEW BEST:: SOT 223258 SOS 181184 HAS SOPS 179071 HAS SOUS 72891 HAS SOUPS 72767 WITH SCORE 72948.184
AT ITER 88 NEW BEST:: SOT 223294 SOS 181242 HAS SOPS 179129 HAS SOUS 72889 HAS SOUPS 72765 WITH SCORE 72946.242
AT ITER 90 NEW BEST:: SOT 223419 SOS 179170 HAS SOPS 177113 HAS SOUS 69974 HAS SOUPS 69850 WITH SCORE 70029.17
AT ITER 91 NEW BEST:: SOT 223003 SOS 178754 HAS SOPS 176697 HAS SOUS 69766 HAS SOUPS 69642 WITH SCORE 69820.754
AT ITER 92 NEW BEST:: SOT 222541 SOS 178292 HAS SOPS 176235 HAS SOUS 69534 HAS SOUPS 69410 WITH SCORE 69588.292
AT ITER 94 NEW BEST:: SOT 222698 SOS 178431 HAS SOPS 176431 HAS SOUS 69511 HAS SOUPS 69387 WITH SCORE 69565.431
AT ITER 100 NEW BEST:: SOT 222233 SOS 178060 HAS SOPS 176059 HAS SOUS 69494 HAS SOUPS 69370 WITH SCORE 69548.06
AT ITER 105 NEW BEST:: SOT 222183 SOS 174218 HAS SOPS 172258 HAS SOUS 66416 HAS SOUPS 66292 WITH SCORE 66466.218
AT ITER 107 NEW BEST:: SOT 222172 SOS 174207 HAS SOPS 172236 HAS SOUS 66416 HAS SOUPS 66292 WITH SCORE 66466.207
AT ITER 109 NEW BEST:: SOT 222172 SOS 174197 HAS SOPS 172226 HAS SOUS 66406 HAS SOUPS 66282 WITH SCORE 66456.197
AT ITER 111 NEW BEST:: SOT 222169 SOS 174205 HAS SOPS 172234 HAS SOUS 66403 HAS SOUPS 66279 WITH SCORE 66453.205
AT ITER 112 NEW BEST:: SOT 222177 SOS 174191 HAS SOPS 172220 HAS SOUS 66389 HAS SOUPS 66265 WITH SCORE 66439.191
AT ITER 113 NEW BEST:: SOT 222144 SOS 174125 HAS SOPS 172154 HAS SOUS 66356 HAS SOUPS 66232 WITH SCORE 66406.125
AT ITER 114 NEW BEST:: SOT 222180 SOS 174198 HAS SOPS 172226 HAS SOUS 66353 HAS SOUPS 66229 WITH SCORE 66403.198
AT ITER 120 NEW BEST:: SOT 222361 SOS 174348 HAS SOPS 172376 HAS SOUS 66277 HAS SOUPS 66153 WITH SCORE 66327.348
AT ITER 121 NEW BEST:: SOT 222361 SOS 172684 HAS SOPS 170712 HAS SOUS 65759 HAS SOUPS 65635 WITH SCORE 65807.684
AT ITER 123 NEW BEST:: SOT 221371 SOS 171692 HAS SOPS 169720 HAS SOUS 65566 HAS SOUPS 65442 WITH SCORE 65613.692
AT ITER 125 NEW BEST:: SOT 221357 SOS 171678 HAS SOPS 169706 HAS SOUS 65552 HAS SOUPS 65428 WITH SCORE 65599.678
AT ITER 127 NEW BEST:: SOT 221355 SOS 171627 HAS SOPS 169655 HAS SOUS 65550 HAS SOUPS 65426 WITH SCORE 65597.627
AT ITER 129 NEW BEST:: SOT 221386 SOS 171577 HAS SOPS 169661 HAS SOUS 65469 HAS SOUPS 65345 WITH SCORE 65516.577
AT ITER 130 NEW BEST:: SOT 220248 SOS 170465 HAS SOPS 168549 HAS SOUS 64981 HAS SOUPS 64857 WITH SCORE 65027.465
AT ITER 131 NEW BEST:: SOT 220212 SOS 170380 HAS SOPS 168428 HAS SOUS 64860 HAS SOUPS 64736 WITH SCORE 64906.38
AT ITER 133 NEW BEST:: SOT 220206 SOS 170368 HAS SOPS 168416 HAS SOUS 64860 HAS SOUPS 64736 WITH SCORE 64906.368
AT ITER 134 NEW BEST:: SOT 220205 SOS 170358 HAS SOPS 168406 HAS SOUS 64860 HAS SOUPS 64736 WITH SCORE 64906.358
AT ITER 135 NEW BEST:: SOT 220052 SOS 170175 HAS SOPS 168149 HAS SOUS 64761 HAS SOUPS 64637 WITH SCORE 64807.175
AT ITER 142 NEW BEST:: SOT 220006 SOS 169644 HAS SOPS 167618 HAS SOUS 64026 HAS SOUPS 63902 WITH SCORE 64071.644
AT ITER 143 NEW BEST:: SOT 220074 SOS 169286 HAS SOPS 167260 HAS SOUS 63532 HAS SOUPS 63408 WITH SCORE 63577.286
AT ITER 145 NEW BEST:: SOT 220074 SOS 168666 HAS SOPS 166640 HAS SOUS 63348 HAS SOUPS 63224 WITH SCORE 63392.666
AT ITER 146 NEW BEST:: SOT 220078 SOS 168664 HAS SOPS 166638 HAS SOUS 63346 HAS SOUPS 63222 WITH SCORE 63390.664
AT ITER 156 NEW BEST:: SOT 220156 SOS 165631 HAS SOPS 163605 HAS SOUS 62069 HAS SOUPS 61945 WITH SCORE 62110.631
AT ITER 162 NEW BEST:: SOT 220129 SOS 165602 HAS SOPS 163551 HAS SOUS 62031 HAS SOUPS 61907 WITH SCORE 62072.602
AT ITER 164 NEW BEST:: SOT 220071 SOS 165573 HAS SOPS 163435 HAS SOUS 62006 HAS SOUPS 61882 WITH SCORE 62047.573
AT ITER 165 NEW BEST:: SOT 220038 SOS 165474 HAS SOPS 163336 HAS SOUS 62006 HAS SOUPS 61882 WITH SCORE 62047.474
AT ITER 167 NEW BEST:: SOT 220037 SOS 165465 HAS SOPS 163327 HAS SOUS 62004 HAS SOUPS 61880 WITH SCORE 62045.465
AT ITER 168 NEW BEST:: SOT 220037 SOS 165459 HAS SOPS 163321 HAS SOUS 62004 HAS SOUPS 61880 WITH SCORE 62045.459
AT ITER 169 NEW BEST:: SOT 220002 SOS 165424 HAS SOPS 163251 HAS SOUS 61934 HAS SOUPS 61810 WITH SCORE 61975.424
AT ITER 170 NEW BEST:: SOT 219995 SOS 165410 HAS SOPS 163237 HAS SOUS 61934 HAS SOUPS 61810 WITH SCORE 61975.41
AT ITER 171 NEW BEST:: SOT 219995 SOS 165410 HAS SOPS 163237 HAS SOUS 61878 HAS SOUPS 61754 WITH SCORE 61919.41
AT ITER 175 NEW BEST:: SOT 219995 SOS 165410 HAS SOPS 163237 HAS SOUS 61826 HAS SOUPS 61702 WITH SCORE 61867.41
AT ITER 176 NEW BEST:: SOT 220123 SOS 164029 HAS SOPS 161856 HAS SOUS 61629 HAS SOUPS 61505 WITH SCORE 61669.029
AT ITER 181 NEW BEST:: SOT 220022 SOS 163497 HAS SOPS 161308 HAS SOUS 59799 HAS SOUPS 59671 WITH SCORE 59834.497
AT ITER 182 NEW BEST:: SOT 208730 SOS 155505 HAS SOPS 150016 HAS SOUS 54955 HAS SOUPS 54737 WITH SCORE 54892.505
AT ITER 184 NEW BEST:: SOT 208721 SOS 153925 HAS SOPS 148436 HAS SOUS 54580 HAS SOUPS 54362 WITH SCORE 54515.925
AT ITER 185 NEW BEST:: SOT 208673 SOS 153854 HAS SOPS 148275 HAS SOUS 54419 HAS SOUPS 54201 WITH SCORE 54354.854
AT ITER 186 NEW BEST:: SOT 208672 SOS 153852 HAS SOPS 148228 HAS SOUS 54369 HAS SOUPS 54151 WITH SCORE 54304.852
AT ITER 188 NEW BEST:: SOT 205593 SOS 150851 HAS SOPS 145146 HAS SOUS 52853 HAS SOUPS 52635 WITH SCORE 52785.851
AT ITER 191 NEW BEST:: SOT 205748 SOS 151049 HAS SOPS 145317 HAS SOUS 52842 HAS SOUPS 52624 WITH SCORE 52775.049
AT ITER 196 NEW BEST:: SOT 205747 SOS 151047 HAS SOPS 145315 HAS SOUS 52842 HAS SOUPS 52624 WITH SCORE 52775.047
AT ITER 197 NEW BEST:: SOT 205710 SOS 151007 HAS SOPS 145275 HAS SOUS 52812 HAS SOUPS 52594 WITH SCORE 52745.007
AT ITER 199 NEW BEST:: SOT 205710 SOS 150939 HAS SOPS 145207 HAS SOUS 52812 HAS SOUPS 52594 WITH SCORE 52744.939
AT ITER 201 NEW BEST:: SOT 205710 SOS 150939 HAS SOPS 145207 HAS SOUS 52778 HAS SOUPS 52560 WITH SCORE 52710.939
AT ITER 202 NEW BEST:: SOT 205689 SOS 150918 HAS SOPS 145175 HAS SOUS 52746 HAS SOUPS 52528 WITH SCORE 52678.918
AT ITER 205 NEW BEST:: SOT 205515 SOS 150518 HAS SOPS 144672 HAS SOUS 52286 HAS SOUPS 52068 WITH SCORE 52218.518
AT ITER 210 NEW BEST:: SOT 205511 SOS 149108 HAS SOPS 143262 HAS SOUS 51689 HAS SOUPS 51471 WITH SCORE 51620.108
AT ITER 211 NEW BEST:: SOT 205511 SOS 149055 HAS SOPS 143209 HAS SOUS 51689 HAS SOUPS 51471 WITH SCORE 51620.055
AT ITER 214 NEW BEST:: SOT 205463 SOS 149063 HAS SOPS 143217 HAS SOUS 51649 HAS SOUPS 51431 WITH SCORE 51580.063
AT ITER 218 NEW BEST:: SOT 205471 SOS 149092 HAS SOPS 143233 HAS SOUS 51640 HAS SOUPS 51422 WITH SCORE 51571.092
AT ITER 219 NEW BEST:: SOT 208205 SOS 147528 HAS SOPS 141739 HAS SOUS 51429 HAS SOUPS 51211 WITH SCORE 51358.528
AT ITER 228 NEW BEST:: SOT 208188 SOS 147491 HAS SOPS 141702 HAS SOUS 51426 HAS SOUPS 51208 WITH SCORE 51355.491
AT ITER 229 NEW BEST:: SOT 208252 SOS 142779 HAS SOPS 136554 HAS SOUS 49212 HAS SOUPS 48994 WITH SCORE 49136.779
AT ITER 231 NEW BEST:: SOT 208261 SOS 142786 HAS SOPS 136561 HAS SOUS 49208 HAS SOUPS 48990 WITH SCORE 49132.786
AT ITER 232 NEW BEST:: SOT 208186 SOS 142636 HAS SOPS 136411 HAS SOUS 49207 HAS SOUPS 48989 WITH SCORE 49131.636
AT ITER 234 NEW BEST:: SOT 206087 SOS 140565 HAS SOPS 134340 HAS SOUS 48262 HAS SOUPS 48044 WITH SCORE 48184.565
AT ITER 235 NEW BEST:: SOT 206032 SOS 140455 HAS SOPS 134230 HAS SOUS 48243 HAS SOUPS 48025 WITH SCORE 48165.455
AT ITER 239 NEW BEST:: SOT 206000 SOS 140391 HAS SOPS 134166 HAS SOUS 48242 HAS SOUPS 48024 WITH SCORE 48164.391
AT ITER 241 NEW BEST:: SOT 206000 SOS 140354 HAS SOPS 134129 HAS SOUS 48242 HAS SOUPS 48024 WITH SCORE 48164.354
AT ITER 245 NEW BEST:: SOT 205976 SOS 140330 HAS SOPS 134105 HAS SOUS 48194 HAS SOUPS 47976 WITH SCORE 48116.33
AT ITER 246 NEW BEST:: SOT 206276 SOS 135750 HAS SOPS 129570 HAS SOUS 47419 HAS SOUPS 47201 WITH SCORE 47336.75
AT ITER 251 NEW BEST:: SOT 206253 SOS 135615 HAS SOPS 129422 HAS SOUS 47283 HAS SOUPS 47065 WITH SCORE 47200.615
AT ITER 255 NEW BEST:: SOT 206232 SOS 135573 HAS SOPS 129380 HAS SOUS 47262 HAS SOUPS 47044 WITH SCORE 47179.573
AT ITER 259 NEW BEST:: SOT 206232 SOS 135519 HAS SOPS 129326 HAS SOUS 47262 HAS SOUPS 47044 WITH SCORE 47179.519
AT ITER 263 NEW BEST:: SOT 206216 SOS 135433 HAS SOPS 129240 HAS SOUS 47215 HAS SOUPS 46997 WITH SCORE 47132.433
AT ITER 264 NEW BEST:: SOT 206216 SOS 134357 HAS SOPS 128164 HAS SOUS 47169 HAS SOUPS 46951 WITH SCORE 47085.357
AT ITER 266 NEW BEST:: SOT 206185 SOS 134370 HAS SOPS 128177 HAS SOUS 47162 HAS SOUPS 46944 WITH SCORE 47078.37
AT ITER 268 NEW BEST:: SOT 206254 SOS 133199 HAS SOPS 127006 HAS SOUS 47076 HAS SOUPS 46858 WITH SCORE 46991.199
AT ITER 271 NEW BEST:: SOT 206031 SOS 132478 HAS SOPS 126191 HAS SOUS 46461 HAS SOUPS 46243 WITH SCORE 46375.478
AT ITER 272 NEW BEST:: SOT 206060 SOS 132464 HAS SOPS 126177 HAS SOUS 46447 HAS SOUPS 46229 WITH SCORE 46361.464
AT ITER 274 NEW BEST:: SOT 206092 SOS 132447 HAS SOPS 126170 HAS SOUS 46440 HAS SOUPS 46222 WITH SCORE 46354.447
AT ITER 277 NEW BEST:: SOT 206061 SOS 132226 HAS SOPS 125949 HAS SOUS 46314 HAS SOUPS 46096 WITH SCORE 46228.226
AT ITER 280 NEW BEST:: SOT 206061 SOS 132213 HAS SOPS 125702 HAS SOUS 45911 HAS SOUPS 45693 WITH SCORE 45825.213
AT ITER 281 NEW BEST:: SOT 206062 SOS 132238 HAS SOPS 125704 HAS SOUS 45891 HAS SOUPS 45673 WITH SCORE 45805.238
AT ITER 282 NEW BEST:: SOT 206078 SOS 132238 HAS SOPS 125368 HAS SOUS 45459 HAS SOUPS 45241 WITH SCORE 45373.238
AT ITER 285 NEW BEST:: SOT 206217 SOS 132537 HAS SOPS 125601 HAS SOUS 45412 HAS SOUPS 45194 WITH SCORE 45326.537
AT ITER 287 NEW BEST:: SOT 206163 SOS 132429 HAS SOPS 125493 HAS SOUS 45358 HAS SOUPS 45140 WITH SCORE 45272.429
AT ITER 288 NEW BEST:: SOT 206178 SOS 132399 HAS SOPS 125463 HAS SOUS 45343 HAS SOUPS 45125 WITH SCORE 45257.399
AT ITER 292 NEW BEST:: SOT 206114 SOS 132295 HAS SOPS 125335 HAS SOUS 45303 HAS SOUPS 45085 WITH SCORE 45217.295
AT ITER 293 NEW BEST:: SOT 206093 SOS 132253 HAS SOPS 125293 HAS SOUS 45261 HAS SOUPS 45043 WITH SCORE 45175.253
AT ITER 295 NEW BEST:: SOT 206077 SOS 132237 HAS SOPS 125261 HAS SOUS 45245 HAS SOUPS 45027 WITH SCORE 45159.237
AT ITER 296 NEW BEST:: SOT 206130 SOS 132196 HAS SOPS 125220 HAS SOUS 45216 HAS SOUPS 44998 WITH SCORE 45130.196
AT ITER 300 NEW BEST:: SOT 206130 SOS 132196 HAS SOPS 125220 HAS SOUS 45196 HAS SOUPS 44978 WITH SCORE 45110.196
AT ITER 303 NEW BEST:: SOT 206146 SOS 132053 HAS SOPS 124953 HAS SOUS 44933 HAS SOUPS 44715 WITH SCORE 44847.053
AT ITER 305 NEW BEST:: SOT 206264 SOS 132145 HAS SOPS 124962 HAS SOUS 44864 HAS SOUPS 44646 WITH SCORE 44778.145
AT ITER 306 NEW BEST:: SOT 206264 SOS 132080 HAS SOPS 124897 HAS SOUS 44799 HAS SOUPS 44581 WITH SCORE 44713.08
AT ITER 307 NEW BEST:: SOT 206201 SOS 131963 HAS SOPS 124771 HAS SOUS 44777 HAS SOUPS 44559 WITH SCORE 44690.963
AT ITER 309 NEW BEST:: SOT 206180 SOS 131942 HAS SOPS 124750 HAS SOUS 44756 HAS SOUPS 44538 WITH SCORE 44669.942
AT ITER 312 NEW BEST:: SOT 206180 SOS 131886 HAS SOPS 124694 HAS SOUS 44756 HAS SOUPS 44538 WITH SCORE 44669.886
AT ITER 313 NEW BEST:: SOT 206179 SOS 131884 HAS SOPS 124692 HAS SOUS 44751 HAS SOUPS 44533 WITH SCORE 44664.884
AT ITER 315 NEW BEST:: SOT 206179 SOS 131858 HAS SOPS 124258 HAS SOUS 43915 HAS SOUPS 43697 WITH SCORE 43828.858
AT ITER 321 NEW BEST:: SOT 206215 SOS 131858 HAS SOPS 123818 HAS SOUS 42774 HAS SOUPS 42567 WITH SCORE 42698.858
AT ITER 326 NEW BEST:: SOT 206153 SOS 131766 HAS SOPS 123726 HAS SOUS 42732 HAS SOUPS 42525 WITH SCORE 42656.766
AT ITER 329 NEW BEST:: SOT 206090 SOS 131640 HAS SOPS 123600 HAS SOUS 42612 HAS SOUPS 42405 WITH SCORE 42536.64
AT ITER 331 NEW BEST:: SOT 206063 SOS 131613 HAS SOPS 123583 HAS SOUS 42595 HAS SOUPS 42388 WITH SCORE 42519.613
AT ITER 333 NEW BEST:: SOT 206070 SOS 131467 HAS SOPS 123456 HAS SOUS 42555 HAS SOUPS 42348 WITH SCORE 42479.467
AT ITER 334 NEW BEST:: SOT 206089 SOS 131411 HAS SOPS 123400 HAS SOUS 42526 HAS SOUPS 42319 WITH SCORE 42450.411
AT ITER 336 NEW BEST:: SOT 206075 SOS 131395 HAS SOPS 123372 HAS SOUS 42498 HAS SOUPS 42291 WITH SCORE 42422.395
AT ITER 339 NEW BEST:: SOT 206139 SOS 130175 HAS SOPS 122156 HAS SOUS 42291 HAS SOUPS 42084 WITH SCORE 42214.175
AT ITER 340 NEW BEST:: SOT 206090 SOS 130126 HAS SOPS 122107 HAS SOUS 42270 HAS SOUPS 42063 WITH SCORE 42193.126
AT ITER 345 NEW BEST:: SOT 206031 SOS 130083 HAS SOPS 121957 HAS SOUS 42120 HAS SOUPS 41913 WITH SCORE 42043.083
AT ITER 348 NEW BEST:: SOT 205857 SOS 129734 HAS SOPS 121552 HAS SOUS 41946 HAS SOUPS 41739 WITH SCORE 41868.734
AT ITER 350 NEW BEST:: SOT 205892 SOS 126282 HAS SOPS 118100 HAS SOUS 41832 HAS SOUPS 41625 WITH SCORE 41751.282
AT ITER 351 NEW BEST:: SOT 205883 SOS 126239 HAS SOPS 117995 HAS SOUS 41494 HAS SOUPS 41278 WITH SCORE 41404.239
AT ITER 353 NEW BEST:: SOT 205853 SOS 126116 HAS SOPS 117873 HAS SOUS 41419 HAS SOUPS 41203 WITH SCORE 41329.116
AT ITER 358 NEW BEST:: SOT 203187 SOS 123872 HAS SOPS 115628 HAS SOUS 40337 HAS SOUPS 40121 WITH SCORE 40244.872
AT ITER 359 NEW BEST:: SOT 203054 SOS 123563 HAS SOPS 115306 HAS SOUS 40195 HAS SOUPS 39979 WITH SCORE 40102.563
AT ITER 360 NEW BEST:: SOT 203018 SOS 123491 HAS SOPS 115234 HAS SOUS 40103 HAS SOUPS 39887 WITH SCORE 40010.491
AT ITER 362 NEW BEST:: SOT 202894 SOS 123367 HAS SOPS 114986 HAS SOUS 39855 HAS SOUPS 39639 WITH SCORE 39762.367
AT ITER 368 NEW BEST:: SOT 202883 SOS 123359 HAS SOPS 114978 HAS SOUS 39854 HAS SOUPS 39638 WITH SCORE 39761.359
AT ITER 369 NEW BEST:: SOT 202804 SOS 123313 HAS SOPS 114927 HAS SOUS 39726 HAS SOUPS 39510 WITH SCORE 39633.313
AT ITER 375 NEW BEST:: SOT 201474 SOS 121957 HAS SOPS 113571 HAS SOUS 39031 HAS SOUPS 38815 WITH SCORE 38936.957
AT ITER 378 NEW BEST:: SOT 201446 SOS 121901 HAS SOPS 113515 HAS SOUS 39003 HAS SOUPS 38787 WITH SCORE 38908.901
AT ITER 384 NEW BEST:: SOT 201428 SOS 121865 HAS SOPS 113479 HAS SOUS 38949 HAS SOUPS 38733 WITH SCORE 38854.865
AT ITER 391 NEW BEST:: SOT 201381 SOS 121771 HAS SOPS 113324 HAS SOUS 38794 HAS SOUPS 38578 WITH SCORE 38699.771
AT ITER 392 NEW BEST:: SOT 200505 SOS 122342 HAS SOPS 112448 HAS SOUS 38490 HAS SOUPS 38261 WITH SCORE 38383.342
AT ITER 394 NEW BEST:: SOT 200444 SOS 122280 HAS SOPS 112326 HAS SOUS 38410 HAS SOUPS 38181 WITH SCORE 38303.28
AT ITER 398 NEW BEST:: SOT 200444 SOS 122276 HAS SOPS 112322 HAS SOUS 38410 HAS SOUPS 38181 WITH SCORE 38303.276
AT ITER 402 NEW BEST:: SOT 200457 SOS 122259 HAS SOPS 112201 HAS SOUS 38289 HAS SOUPS 38060 WITH SCORE 38182.259
AT ITER 409 NEW BEST:: SOT 200417 SOS 122169 HAS SOPS 112096 HAS SOUS 38209 HAS SOUPS 37980 WITH SCORE 38102.169
AT ITER 417 NEW BEST:: SOT 200383 SOS 121984 HAS SOPS 111896 HAS SOUS 38203 HAS SOUPS 37974 WITH SCORE 38095.984
AT ITER 432 NEW BEST:: SOT 200369 SOS 121935 HAS SOPS 111847 HAS SOUS 38154 HAS SOUPS 37925 WITH SCORE 38046.935
AT ITER 438 NEW BEST:: SOT 200213 SOS 121581 HAS SOPS 111484 HAS SOUS 37934 HAS SOUPS 37705 WITH SCORE 37826.581
AT ITER 441 NEW BEST:: SOT 200191 SOS 121485 HAS SOPS 111403 HAS SOUS 37890 HAS SOUPS 37661 WITH SCORE 37782.485
AT ITER 442 NEW BEST:: SOT 200149 SOS 121365 HAS SOPS 111283 HAS SOUS 37816 HAS SOUPS 37587 WITH SCORE 37708.365
AT ITER 450 NEW BEST:: SOT 200132 SOS 121273 HAS SOPS 111191 HAS SOUS 37750 HAS SOUPS 37521 WITH SCORE 37642.273
AT ITER 451 NEW BEST:: SOT 200446 SOS 117927 HAS SOPS 107872 HAS SOUS 37635 HAS SOUPS 37406 WITH SCORE 37523.927
AT ITER 453 NEW BEST:: SOT 200516 SOS 115167 HAS SOPS 104380 HAS SOUS 36224 HAS SOUPS 35995 WITH SCORE 36110.167
AT ITER 458 NEW BEST:: SOT 200404 SOS 115037 HAS SOPS 104255 HAS SOUS 36174 HAS SOUPS 35945 WITH SCORE 36060.037
AT ITER 465 NEW BEST:: SOT 200356 SOS 114949 HAS SOPS 104167 HAS SOUS 36089 HAS SOUPS 35860 WITH SCORE 35974.949
AT ITER 468 NEW BEST:: SOT 200347 SOS 114835 HAS SOPS 104062 HAS SOUS 36063 HAS SOUPS 35834 WITH SCORE 35948.835
AT ITER 469 NEW BEST:: SOT 200341 SOS 114896 HAS SOPS 104123 HAS SOUS 36060 HAS SOUPS 35831 WITH SCORE 35945.896
AT ITER 476 NEW BEST:: SOT 200341 SOS 114843 HAS SOPS 104070 HAS SOUS 36056 HAS SOUPS 35827 WITH SCORE 35941.843
AT ITER 478 NEW BEST:: SOT 200353 SOS 114825 HAS SOPS 104052 HAS SOUS 36056 HAS SOUPS 35827 WITH SCORE 35941.825
AT ITER 481 NEW BEST:: SOT 200310 SOS 114522 HAS SOPS 103860 HAS SOUS 35978 HAS SOUPS 35749 WITH SCORE 35863.522
AT ITER 482 NEW BEST:: SOT 200343 SOS 114460 HAS SOPS 103770 HAS SOUS 35951 HAS SOUPS 35722 WITH SCORE 35836.46
AT ITER 489 NEW BEST:: SOT 200325 SOS 113261 HAS SOPS 102571 HAS SOUS 35884 HAS SOUPS 35655 WITH SCORE 35768.261
AT ITER 493 NEW BEST:: SOT 200306 SOS 113204 HAS SOPS 102514 HAS SOUS 35865 HAS SOUPS 35636 WITH SCORE 35749.204
AT ITER 495 NEW BEST:: SOT 200304 SOS 113200 HAS SOPS 102510 HAS SOUS 35863 HAS SOUPS 35634 WITH SCORE 35747.2
AT ITER 496 NEW BEST:: SOT 200278 SOS 113166 HAS SOPS 102476 HAS SOUS 35855 HAS SOUPS 35626 WITH SCORE 35739.166
AT ITER 504 NEW BEST:: SOT 200428 SOS 110572 HAS SOPS 98104 HAS SOUS 33770 HAS SOUPS 33541 WITH SCORE 33651.572
AT ITER 507 NEW BEST:: SOT 200330 SOS 110029 HAS SOPS 97552 HAS SOUS 33457 HAS SOUPS 33228 WITH SCORE 33338.029
AT ITER 508 NEW BEST:: SOT 199663 SOS 111143 HAS SOPS 96848 HAS SOUS 32911 HAS SOUPS 32645 WITH SCORE 32756.143
AT ITER 509 NEW BEST:: SOT 199648 SOS 111129 HAS SOPS 96834 HAS SOUS 32896 HAS SOUPS 32630 WITH SCORE 32741.129
AT ITER 510 NEW BEST:: SOT 199623 SOS 111055 HAS SOPS 96750 HAS SOUS 32827 HAS SOUPS 32561 WITH SCORE 32672.055
AT ITER 517 NEW BEST:: SOT 198307 SOS 109731 HAS SOPS 95426 HAS SOUS 32196 HAS SOUPS 31930 WITH SCORE 32039.731
AT ITER 522 NEW BEST:: SOT 198300 SOS 109742 HAS SOPS 95412 HAS SOUS 32164 HAS SOUPS 31898 WITH SCORE 32007.742
AT ITER 531 NEW BEST:: SOT 198291 SOS 109727 HAS SOPS 95397 HAS SOUS 32146 HAS SOUPS 31880 WITH SCORE 31989.727
AT ITER 535 NEW BEST:: SOT 198291 SOS 109713 HAS SOPS 95397 HAS SOUS 32132 HAS SOUPS 31866 WITH SCORE 31975.713
AT ITER 542 NEW BEST:: SOT 198260 SOS 109623 HAS SOPS 95335 HAS SOUS 32070 HAS SOUPS 31804 WITH SCORE 31913.623
AT ITER 548 NEW BEST:: SOT 197996 SOS 113442 HAS SOPS 94963 HAS SOUS 31911 HAS SOUPS 31589 WITH SCORE 31702.442
AT ITER 549 NEW BEST:: SOT 197959 SOS 113331 HAS SOPS 94852 HAS SOUS 31837 HAS SOUPS 31515 WITH SCORE 31628.331
AT ITER 550 NEW BEST:: SOT 197940 SOS 113172 HAS SOPS 94744 HAS SOUS 31799 HAS SOUPS 31477 WITH SCORE 31590.172
AT ITER 551 NEW BEST:: SOT 197897 SOS 113129 HAS SOPS 94658 HAS SOUS 31713 HAS SOUPS 31391 WITH SCORE 31504.129
AT ITER 552 NEW BEST:: SOT 197897 SOS 113122 HAS SOPS 94658 HAS SOUS 31713 HAS SOUPS 31391 WITH SCORE 31504.122
AT ITER 555 NEW BEST:: SOT 197891 SOS 113104 HAS SOPS 94634 HAS SOUS 31689 HAS SOUPS 31367 WITH SCORE 31480.104
AT ITER 556 NEW BEST:: SOT 197898 SOS 113101 HAS SOPS 94631 HAS SOUS 31686 HAS SOUPS 31364 WITH SCORE 31477.101
AT ITER 557 NEW BEST:: SOT 197824 SOS 113024 HAS SOPS 94483 HAS SOUS 31523 HAS SOUPS 31201 WITH SCORE 31314.024
AT ITER 561 NEW BEST:: SOT 197818 SOS 112942 HAS SOPS 94401 HAS SOUS 31446 HAS SOUPS 31124 WITH SCORE 31236.942
AT ITER 565 NEW BEST:: SOT 197863 SOS 112789 HAS SOPS 94293 HAS SOUS 31338 HAS SOUPS 31016 WITH SCORE 31128.789
AT ITER 571 NEW BEST:: SOT 197863 SOS 112717 HAS SOPS 94221 HAS SOUS 31286 HAS SOUPS 30964 WITH SCORE 31076.717
AT ITER 572 NEW BEST:: SOT 197864 SOS 112718 HAS SOPS 93829 HAS SOUS 30666 HAS SOUPS 30344 WITH SCORE 30456.718
AT ITER 580 NEW BEST:: SOT 197939 SOS 112745 HAS SOPS 93856 HAS SOUS 30591 HAS SOUPS 30269 WITH SCORE 30381.745
AT ITER 582 NEW BEST:: SOT 197768 SOS 112563 HAS SOPS 93580 HAS SOUS 30392 HAS SOUPS 30070 WITH SCORE 30182.563
AT ITER 583 NEW BEST:: SOT 197766 SOS 112510 HAS SOPS 93576 HAS SOUS 30361 HAS SOUPS 30039 WITH SCORE 30151.51
AT ITER 590 NEW BEST:: SOT 197741 SOS 112460 HAS SOPS 93526 HAS SOUS 30305 HAS SOUPS 29983 WITH SCORE 30095.46
AT ITER 604 NEW BEST:: SOT 197741 SOS 112436 HAS SOPS 93514 HAS SOUS 30305 HAS SOUPS 29983 WITH SCORE 30095.436
AT ITER 608 NEW BEST:: SOT 197749 SOS 112304 HAS SOPS 93380 HAS SOUS 30184 HAS SOUPS 29862 WITH SCORE 29974.304
AT ITER 610 NEW BEST:: SOT 197749 SOS 112324 HAS SOPS 93400 HAS SOUS 30164 HAS SOUPS 29842 WITH SCORE 29954.324
AT ITER 611 NEW BEST:: SOT 197747 SOS 112326 HAS SOPS 93398 HAS SOUS 30160 HAS SOUPS 29838 WITH SCORE 29950.326
AT ITER 615 NEW BEST:: SOT 197683 SOS 112230 HAS SOPS 93270 HAS SOUS 30096 HAS SOUPS 29774 WITH SCORE 29886.23
AT ITER 617 NEW BEST:: SOT 197642 SOS 112204 HAS SOPS 93225 HAS SOUS 30073 HAS SOUPS 29751 WITH SCORE 29863.204
AT ITER 623 NEW BEST:: SOT 197641 SOS 112194 HAS SOPS 93214 HAS SOUS 30071 HAS SOUPS 29749 WITH SCORE 29861.194
AT ITER 631 NEW BEST:: SOT 197593 SOS 112187 HAS SOPS 93118 HAS SOUS 30002 HAS SOUPS 29680 WITH SCORE 29792.187
AT ITER 632 NEW BEST:: SOT 195466 SOS 110060 HAS SOPS 90968 HAS SOUS 28887 HAS SOUPS 28565 WITH SCORE 28675.06
AT ITER 645 NEW BEST:: SOT 195466 SOS 110054 HAS SOPS 90965 HAS SOUS 28887 HAS SOUPS 28565 WITH SCORE 28675.054
AT ITER 652 NEW BEST:: SOT 195436 SOS 109994 HAS SOPS 90905 HAS SOUS 28827 HAS SOUPS 28505 WITH SCORE 28614.994
AT ITER 657 NEW BEST:: SOT 195467 SOS 109941 HAS SOPS 90855 HAS SOUS 28749 HAS SOUPS 28427 WITH SCORE 28536.941
AT ITER 664 NEW BEST:: SOT 195424 SOS 109819 HAS SOPS 90769 HAS SOUS 28679 HAS SOUPS 28357 WITH SCORE 28466.819
AT ITER 665 NEW BEST:: SOT 195424 SOS 109819 HAS SOPS 90591 HAS SOUS 28274 HAS SOUPS 27952 WITH SCORE 28061.819
AT ITER 669 NEW BEST:: SOT 195406 SOS 109801 HAS SOPS 90564 HAS SOUS 28252 HAS SOUPS 27925 WITH SCORE 28034.801
AT ITER 672 NEW BEST:: SOT 193667 SOS 108120 HAS SOPS 89444 HAS SOUS 28172 HAS SOUPS 27845 WITH SCORE 27953.12
AT ITER 678 NEW BEST:: SOT 193590 SOS 106430 HAS SOPS 87754 HAS SOUS 27739 HAS SOUPS 27412 WITH SCORE 27518.43
AT ITER 684 NEW BEST:: SOT 194917 SOS 107834 HAS SOPS 88118 HAS SOUS 27593 HAS SOUPS 27266 WITH SCORE 27373.834
AT ITER 687 NEW BEST:: SOT 194592 SOS 107500 HAS SOPS 87784 HAS SOUS 27408 HAS SOUPS 27081 WITH SCORE 27188.5
AT ITER 695 NEW BEST:: SOT 194553 SOS 107413 HAS SOPS 87706 HAS SOUS 27330 HAS SOUPS 27003 WITH SCORE 27110.413
AT ITER 700 NEW BEST:: SOT 194065 SOS 107779 HAS SOPS 88072 HAS SOUS 27328 HAS SOUPS 27001 WITH SCORE 27108.779
AT ITER 706 NEW BEST:: SOT 194055 SOS 107769 HAS SOPS 88052 HAS SOUS 27318 HAS SOUPS 26991 WITH SCORE 27098.769
AT ITER 713 NEW BEST:: SOT 194048 SOS 107734 HAS SOPS 88038 HAS SOUS 27290 HAS SOUPS 26963 WITH SCORE 27070.734
AT ITER 714 NEW BEST:: SOT 194048 SOS 107734 HAS SOPS 88038 HAS SOUS 27263 HAS SOUPS 26936 WITH SCORE 27043.734
AT ITER 716 NEW BEST:: SOT 194030 SOS 107698 HAS SOPS 88002 HAS SOUS 27242 HAS SOUPS 26915 WITH SCORE 27022.698
AT ITER 720 NEW BEST:: SOT 194275 SOS 107771 HAS SOPS 87417 HAS SOUS 26963 HAS SOUPS 26636 WITH SCORE 26743.771
AT ITER 732 NEW BEST:: SOT 194266 SOS 107725 HAS SOPS 87362 HAS SOUS 26908 HAS SOUPS 26581 WITH SCORE 26688.725
AT ITER 735 NEW BEST:: SOT 194263 SOS 107722 HAS SOPS 87356 HAS SOUS 26905 HAS SOUPS 26578 WITH SCORE 26685.722
AT ITER 738 NEW BEST:: SOT 194170 SOS 107614 HAS SOPS 87170 HAS SOUS 26732 HAS SOUPS 26405 WITH SCORE 26512.614
AT ITER 740 NEW BEST:: SOT 194150 SOS 107552 HAS SOPS 87010 HAS SOUS 26576 HAS SOUPS 26245 WITH SCORE 26352.552
AT ITER 742 NEW BEST:: SOT 194115 SOS 107482 HAS SOPS 86940 HAS SOUS 26517 HAS SOUPS 26186 WITH SCORE 26293.482
AT ITER 743 NEW BEST:: SOT 194093 SOS 107482 HAS SOPS 86918 HAS SOUS 26495 HAS SOUPS 26164 WITH SCORE 26271.482
AT ITER 754 NEW BEST:: SOT 194080 SOS 107420 HAS SOPS 86858 HAS SOUS 26449 HAS SOUPS 26118 WITH SCORE 26225.42
AT ITER 759 NEW BEST:: SOT 194051 SOS 107427 HAS SOPS 86756 HAS SOUS 26347 HAS SOUPS 26016 WITH SCORE 26123.427
AT ITER 779 NEW BEST:: SOT 194092 SOS 107371 HAS SOPS 86728 HAS SOUS 26284 HAS SOUPS 25953 WITH SCORE 26060.371
AT ITER 784 NEW BEST:: SOT 194074 SOS 107340 HAS SOPS 86692 HAS SOUS 26248 HAS SOUPS 25917 WITH SCORE 26024.34
AT ITER 785 NEW BEST:: SOT 194074 SOS 107339 HAS SOPS 86691 HAS SOUS 26248 HAS SOUPS 25917 WITH SCORE 26024.339
AT ITER 790 NEW BEST:: SOT 194004 SOS 107308 HAS SOPS 86598 HAS SOUS 26121 HAS SOUPS 25790 WITH SCORE 25897.308
AT ITER 795 NEW BEST:: SOT 194004 SOS 107281 HAS SOPS 86571 HAS SOUS 26121 HAS SOUPS 25790 WITH SCORE 25897.281
AT ITER 799 NEW BEST:: SOT 194029 SOS 106365 HAS SOPS 85655 HAS SOUS 25926 HAS SOUPS 25595 WITH SCORE 25701.365
AT ITER 803 NEW BEST:: SOT 194029 SOS 106304 HAS SOPS 85594 HAS SOUS 25926 HAS SOUPS 25595 WITH SCORE 25701.304
AT ITER 819 NEW BEST:: SOT 194026 SOS 106298 HAS SOPS 85024 HAS SOUS 25242 HAS SOUPS 24911 WITH SCORE 25017.298
AT ITER 826 NEW BEST:: SOT 194014 SOS 106274 HAS SOPS 85000 HAS SOUS 25242 HAS SOUPS 24911 WITH SCORE 25017.274
AT ITER 832 NEW BEST:: SOT 194268 SOS 105684 HAS SOPS 84450 HAS SOUS 25236 HAS SOUPS 24905 WITH SCORE 25010.684
AT ITER 854 NEW BEST:: SOT 194268 SOS 105684 HAS SOPS 84450 HAS SOUS 25234 HAS SOUPS 24903 WITH SCORE 25008.684
AT ITER 857 NEW BEST:: SOT 194266 SOS 105681 HAS SOPS 84446 HAS SOUS 25232 HAS SOUPS 24901 WITH SCORE 25006.681
AT ITER 861 NEW BEST:: SOT 194292 SOS 105657 HAS SOPS 84429 HAS SOUS 25196 HAS SOUPS 24865 WITH SCORE 24970.657
AT ITER 864 NEW BEST:: SOT 194283 SOS 105634 HAS SOPS 84411 HAS SOUS 25162 HAS SOUPS 24831 WITH SCORE 24936.634
AT ITER 866 NEW BEST:: SOT 194289 SOS 105598 HAS SOPS 84382 HAS SOUS 25152 HAS SOUPS 24821 WITH SCORE 24926.598
AT ITER 868 NEW BEST:: SOT 191945 SOS 103368 HAS SOPS 83336 HAS SOUS 24685 HAS SOUPS 24354 WITH SCORE 24457.368
AT ITER 875 NEW BEST:: SOT 190585 SOS 102022 HAS SOPS 82312 HAS SOUS 24303 HAS SOUPS 23972 WITH SCORE 24074.022
AT ITER 887 NEW BEST:: SOT 190567 SOS 101981 HAS SOPS 82276 HAS SOUS 24250 HAS SOUPS 23919 WITH SCORE 24020.981
AT ITER 888 NEW BEST:: SOT 190529 SOS 101883 HAS SOPS 82200 HAS SOUS 24168 HAS SOUPS 23837 WITH SCORE 23938.883
AT ITER 890 NEW BEST:: SOT 190534 SOS 101887 HAS SOPS 82210 HAS SOUS 24161 HAS SOUPS 23830 WITH SCORE 23931.887
AT ITER 892 NEW BEST:: SOT 190608 SOS 100511 HAS SOPS 80866 HAS SOUS 24145 HAS SOUPS 23814 WITH SCORE 23914.511
AT ITER 893 NEW BEST:: SOT 189776 SOS 100937 HAS SOPS 81276 HAS SOUS 23782 HAS SOUPS 23451 WITH SCORE 23551.937
AT ITER 896 NEW BEST:: SOT 190064 SOS 101103 HAS SOPS 80408 HAS SOUS 23309 HAS SOUPS 22978 WITH SCORE 23079.103
AT ITER 899 NEW BEST:: SOT 190139 SOS 101152 HAS SOPS 80463 HAS SOUS 23295 HAS SOUPS 22964 WITH SCORE 23065.152
AT ITER 908 NEW BEST:: SOT 190123 SOS 101084 HAS SOPS 80431 HAS SOUS 23291 HAS SOUPS 22960 WITH SCORE 23061.084
AT ITER 915 NEW BEST:: SOT 190120 SOS 101081 HAS SOPS 80428 HAS SOUS 23286 HAS SOUPS 22955 WITH SCORE 23056.081
AT ITER 916 NEW BEST:: SOT 190102 SOS 101025 HAS SOPS 80392 HAS SOUS 23265 HAS SOUPS 22938 WITH SCORE 23039.025
AT ITER 919 NEW BEST:: SOT 190096 SOS 101025 HAS SOPS 80386 HAS SOUS 23259 HAS SOUPS 22932 WITH SCORE 23033.025
AT ITER 921 NEW BEST:: SOT 190036 SOS 100935 HAS SOPS 80266 HAS SOUS 23169 HAS SOUPS 22842 WITH SCORE 22942.935
AT ITER 925 NEW BEST:: SOT 190032 SOS 101019 HAS SOPS 80258 HAS SOUS 23167 HAS SOUPS 22838 WITH SCORE 22939.019
AT ITER 938 NEW BEST:: SOT 189977 SOS 100925 HAS SOPS 80148 HAS SOUS 23089 HAS SOUPS 22760 WITH SCORE 22860.925
AT ITER 939 NEW BEST:: SOT 189967 SOS 100905 HAS SOPS 80123 HAS SOUS 23074 HAS SOUPS 22745 WITH SCORE 22845.905
AT ITER 940 NEW BEST:: SOT 189933 SOS 100871 HAS SOPS 80069 HAS SOUS 23034 HAS SOUPS 22705 WITH SCORE 22805.871
AT ITER 946 NEW BEST:: SOT 189873 SOS 100811 HAS SOPS 79979 HAS SOUS 22944 HAS SOUPS 22615 WITH SCORE 22715.811
AT ITER 971 NEW BEST:: SOT 189872 SOS 100810 HAS SOPS 79977 HAS SOUS 22942 HAS SOUPS 22613 WITH SCORE 22713.81
AT ITER 980 NEW BEST:: SOT 189696 SOS 100628 HAS SOPS 79789 HAS SOUS 22836 HAS SOUPS 22507 WITH SCORE 22607.628
AT ITER 990 NEW BEST:: SOT 189691 SOS 100590 HAS SOPS 79779 HAS SOUS 22829 HAS SOUPS 22500 WITH SCORE 22600.59
AT ITER 992 NEW BEST:: SOT 189665 SOS 100551 HAS SOPS 79727 HAS SOUS 22777 HAS SOUPS 22448 WITH SCORE 22548.551
AT ITER 995 NEW BEST:: SOT 189612 SOS 100498 HAS SOPS 79621 HAS SOUS 22724 HAS SOUPS 22395 WITH SCORE 22495.498
AT ITER 998 NEW BEST:: SOT 189693 SOS 100138 HAS SOPS 79135 HAS SOUS 22551 HAS SOUPS 22222 WITH SCORE 22322.138
AT ITER 999 NEW BEST:: SOT 188372 SOS 166128 HAS SOPS 77747 HAS SOUS 22120 HAS SOUPS 21675 WITH SCORE 21841.128
AT ITER 1011 NEW BEST:: SOT 188367 SOS 166118 HAS SOPS 77737 HAS SOUS 22120 HAS SOUPS 21675 WITH SCORE 21841.118
AT ITER 1020 NEW BEST:: SOT 188797 SOS 166488 HAS SOPS 75513 HAS SOUS 21809 HAS SOUPS 21364 WITH SCORE 21530.488
AT ITER 1026 NEW BEST:: SOT 188774 SOS 166431 HAS SOPS 75467 HAS SOUS 21797 HAS SOUPS 21352 WITH SCORE 21518.431
AT ITER 1027 NEW BEST:: SOT 188739 SOS 166390 HAS SOPS 75397 HAS SOUS 21727 HAS SOUPS 21282 WITH SCORE 21448.39
AT ITER 1028 NEW BEST:: SOT 188739 SOS 166322 HAS SOPS 75397 HAS SOUS 21727 HAS SOUPS 21282 WITH SCORE 21448.322
AT ITER 1040 NEW BEST:: SOT 188735 SOS 166322 HAS SOPS 75393 HAS SOUS 21723 HAS SOUPS 21278 WITH SCORE 21444.322
AT ITER 1051 NEW BEST:: SOT 188720 SOS 166307 HAS SOPS 75363 HAS SOUS 21693 HAS SOUPS 21248 WITH SCORE 21414.307
AT ITER 1057 NEW BEST:: SOT 188704 SOS 166243 HAS SOPS 75299 HAS SOUS 21645 HAS SOUPS 21200 WITH SCORE 21366.243
AT ITER 1059 NEW BEST:: SOT 188694 SOS 166217 HAS SOPS 75267 HAS SOUS 21610 HAS SOUPS 21165 WITH SCORE 21331.217
AT ITER 1061 NEW BEST:: SOT 188684 SOS 166197 HAS SOPS 75247 HAS SOUS 21592 HAS SOUPS 21147 WITH SCORE 21313.197
AT ITER 1065 NEW BEST:: SOT 188539 SOS 166090 HAS SOPS 75079 HAS SOUS 21453 HAS SOUPS 21008 WITH SCORE 21174.09
AT ITER 1079 NEW BEST:: SOT 188583 SOS 166068 HAS SOPS 75079 HAS SOUS 21453 HAS SOUPS 21008 WITH SCORE 21174.068
AT ITER 1083 NEW BEST:: SOT 188576 SOS 166045 HAS SOPS 75065 HAS SOUS 21446 HAS SOUPS 21001 WITH SCORE 21167.045
AT ITER 1084 NEW BEST:: SOT 188634 SOS 165989 HAS SOPS 75067 HAS SOUS 21441 HAS SOUPS 20996 WITH SCORE 21161.989
AT ITER 1090 NEW BEST:: SOT 188659 SOS 166047 HAS SOPS 75117 HAS SOUS 21425 HAS SOUPS 20980 WITH SCORE 21146.047
AT ITER 1091 NEW BEST:: SOT 188611 SOS 165999 HAS SOPS 75090 HAS SOUS 21398 HAS SOUPS 20953 WITH SCORE 21118.999
AT ITER 1100 NEW BEST:: SOT 188605 SOS 165993 HAS SOPS 75084 HAS SOUS 21395 HAS SOUPS 20950 WITH SCORE 21115.993
AT ITER 1106 NEW BEST:: SOT 188605 SOS 165955 HAS SOPS 75046 HAS SOUS 21357 HAS SOUPS 20912 WITH SCORE 21077.955
AT ITER 1127 NEW BEST:: SOT 188583 SOS 165810 HAS SOPS 74886 HAS SOUS 21262 HAS SOUPS 20817 WITH SCORE 20982.81
AT ITER 1134 NEW BEST:: SOT 188569 SOS 165873 HAS SOPS 74858 HAS SOUS 21225 HAS SOUPS 20780 WITH SCORE 20945.873
AT ITER 1137 NEW BEST:: SOT 188531 SOS 165820 HAS SOPS 74782 HAS SOUS 21165 HAS SOUPS 20704 WITH SCORE 20869.82
AT ITER 1140 NEW BEST:: SOT 188531 SOS 165820 HAS SOPS 74782 HAS SOUS 21134 HAS SOUPS 20673 WITH SCORE 20838.82
AT ITER 1147 NEW BEST:: SOT 188522 SOS 165745 HAS SOPS 74707 HAS SOUS 21121 HAS SOUPS 20660 WITH SCORE 20825.745
AT ITER 1164 NEW BEST:: SOT 188452 SOS 165852 HAS SOPS 74705 HAS SOUS 21080 HAS SOUPS 20619 WITH SCORE 20784.852
AT ITER 1173 NEW BEST:: SOT 188451 SOS 165845 HAS SOPS 74397 HAS SOUS 20994 HAS SOUPS 20533 WITH SCORE 20698.845
AT ITER 1176 NEW BEST:: SOT 188426 SOS 165795 HAS SOPS 74347 HAS SOUS 20929 HAS SOUPS 20468 WITH SCORE 20633.795
AT ITER 1182 NEW BEST:: SOT 188225 SOS 165494 HAS SOPS 73945 HAS SOUS 20700 HAS SOUPS 20239 WITH SCORE 20404.494
AT ITER 1191 NEW BEST:: SOT 188197 SOS 165431 HAS SOPS 73868 HAS SOUS 20616 HAS SOUPS 20155 WITH SCORE 20320.431
AT ITER 1195 NEW BEST:: SOT 188196 SOS 165430 HAS SOPS 73866 HAS SOUS 20614 HAS SOUPS 20153 WITH SCORE 20318.43
AT ITER 1197 NEW BEST:: SOT 188190 SOS 165421 HAS SOPS 73857 HAS SOUS 20605 HAS SOUPS 20144 WITH SCORE 20309.421
AT ITER 1200 NEW BEST:: SOT 188190 SOS 165421 HAS SOPS 73783 HAS SOUS 20534 HAS SOUPS 20070 WITH SCORE 20235.421
AT ITER 1205 NEW BEST:: SOT 188190 SOS 165404 HAS SOPS 73766 HAS SOUS 20517 HAS SOUPS 20053 WITH SCORE 20218.404
AT ITER 1211 NEW BEST:: SOT 188201 SOS 165375 HAS SOPS 73713 HAS SOUS 20450 HAS SOUPS 19986 WITH SCORE 20151.375
AT ITER 1214 NEW BEST:: SOT 188201 SOS 165293 HAS SOPS 73672 HAS SOUS 20450 HAS SOUPS 19986 WITH SCORE 20151.293
AT ITER 1215 NEW BEST:: SOT 186457 SOS 163591 HAS SOPS 72160 HAS SOUS 19884 HAS SOUPS 19420 WITH SCORE 19583.591
AT ITER 1219 NEW BEST:: SOT 186419 SOS 163515 HAS SOPS 72084 HAS SOUS 19808 HAS SOUPS 19344 WITH SCORE 19507.515
AT ITER 1231 NEW BEST:: SOT 186372 SOS 163449 HAS SOPS 71990 HAS SOUS 19724 HAS SOUPS 19260 WITH SCORE 19423.449
AT ITER 1236 NEW BEST:: SOT 186348 SOS 163447 HAS SOPS 71964 HAS SOUS 19698 HAS SOUPS 19234 WITH SCORE 19397.447
AT ITER 1264 NEW BEST:: SOT 186284 SOS 163422 HAS SOPS 71898 HAS SOUS 19632 HAS SOUPS 19168 WITH SCORE 19331.422
AT ITER 1269 NEW BEST:: SOT 186284 SOS 163368 HAS SOPS 71844 HAS SOUS 19529 HAS SOUPS 19065 WITH SCORE 19228.368
AT ITER 1273 NEW BEST:: SOT 186276 SOS 163360 HAS SOPS 71828 HAS SOUS 19513 HAS SOUPS 19049 WITH SCORE 19212.36
AT ITER 1275 NEW BEST:: SOT 186250 SOS 163347 HAS SOPS 71789 HAS SOUS 19474 HAS SOUPS 19010 WITH SCORE 19173.347
AT ITER 1289 NEW BEST:: SOT 186242 SOS 163331 HAS SOPS 71773 HAS SOUS 19466 HAS SOUPS 19002 WITH SCORE 19165.331
AT ITER 1292 NEW BEST:: SOT 186242 SOS 163323 HAS SOPS 71769 HAS SOUS 19466 HAS SOUPS 19002 WITH SCORE 19165.323
AT ITER 1300 NEW BEST:: SOT 186224 SOS 163305 HAS SOPS 71733 HAS SOUS 19443 HAS SOUPS 18979 WITH SCORE 19142.305
AT ITER 1307 NEW BEST:: SOT 186224 SOS 163257 HAS SOPS 71685 HAS SOUS 19419 HAS SOUPS 18955 WITH SCORE 19118.257
AT ITER 1313 NEW BEST:: SOT 186223 SOS 163255 HAS SOPS 71683 HAS SOUS 19416 HAS SOUPS 18952 WITH SCORE 19115.255
AT ITER 1320 NEW BEST:: SOT 186212 SOS 163262 HAS SOPS 71661 HAS SOUS 19376 HAS SOUPS 18912 WITH SCORE 19075.262
AT ITER 1322 NEW BEST:: SOT 186198 SOS 163177 HAS SOPS 71544 HAS SOUS 19216 HAS SOUPS 18752 WITH SCORE 18915.177
AT ITER 1333 NEW BEST:: SOT 186196 SOS 163170 HAS SOPS 71511 HAS SOUS 19194 HAS SOUPS 18726 WITH SCORE 18889.17
AT ITER 1335 NEW BEST:: SOT 186081 SOS 163055 HAS SOPS 71386 HAS SOUS 19119 HAS SOUPS 18651 WITH SCORE 18814.055
AT ITER 1340 NEW BEST:: SOT 186081 SOS 163054 HAS SOPS 71385 HAS SOUS 19118 HAS SOUPS 18650 WITH SCORE 18813.054
AT ITER 1353 NEW BEST:: SOT 186050 SOS 163036 HAS SOPS 71345 HAS SOUS 19087 HAS SOUPS 18619 WITH SCORE 18782.036
AT ITER 1360 NEW BEST:: SOT 185978 SOS 162995 HAS SOPS 71271 HAS SOUS 19013 HAS SOUPS 18545 WITH SCORE 18707.995
AT ITER 1367 NEW BEST:: SOT 185974 SOS 162989 HAS SOPS 71263 HAS SOUS 18990 HAS SOUPS 18522 WITH SCORE 18684.989
AT ITER 1371 NEW BEST:: SOT 185974 SOS 162955 HAS SOPS 71246 HAS SOUS 18990 HAS SOUPS 18522 WITH SCORE 18684.955
AT ITER 1379 NEW BEST:: SOT 185867 SOS 162741 HAS SOPS 70993 HAS SOUS 18776 HAS SOUPS 18308 WITH SCORE 18470.741
AT ITER 1397 NEW BEST:: SOT 185880 SOS 162754 HAS SOPS 70916 HAS SOUS 18687 HAS SOUPS 18219 WITH SCORE 18381.754
AT ITER 1404 NEW BEST:: SOT 185959 SOS 162823 HAS SOPS 70756 HAS SOUS 18572 HAS SOUPS 18104 WITH SCORE 18266.823
AT ITER 1407 NEW BEST:: SOT 185908 SOS 162772 HAS SOPS 70688 HAS SOUS 18504 HAS SOUPS 18036 WITH SCORE 18198.772
AT ITER 1409 NEW BEST:: SOT 185873 SOS 162737 HAS SOPS 70618 HAS SOUS 18434 HAS SOUPS 17966 WITH SCORE 18128.737
AT ITER 1427 NEW BEST:: SOT 185787 SOS 162574 HAS SOPS 70446 HAS SOUS 18285 HAS SOUPS 17817 WITH SCORE 17979.574
AT ITER 1442 NEW BEST:: SOT 185771 SOS 162560 HAS SOPS 70414 HAS SOUS 18271 HAS SOUPS 17803 WITH SCORE 17965.56
AT ITER 1448 NEW BEST:: SOT 185722 SOS 162538 HAS SOPS 70343 HAS SOUS 18200 HAS SOUPS 17732 WITH SCORE 17894.538
AT ITER 1455 NEW BEST:: SOT 185721 SOS 162537 HAS SOPS 70341 HAS SOUS 18198 HAS SOUPS 17730 WITH SCORE 17892.537
AT ITER 1493 NEW BEST:: SOT 185655 SOS 162461 HAS SOPS 70397 HAS SOUS 18162 HAS SOUPS 17694 WITH SCORE 17856.461
AT ITER 1496 NEW BEST:: SOT 185647 SOS 162389 HAS SOPS 70381 HAS SOUS 18146 HAS SOUPS 17678 WITH SCORE 17840.389
AT ITER 1505 NEW BEST:: SOT 185644 SOS 162383 HAS SOPS 70375 HAS SOUS 18140 HAS SOUPS 17672 WITH SCORE 17834.383
AT ITER 1522 NEW BEST:: SOT 185629 SOS 162353 HAS SOPS 70345 HAS SOUS 18110 HAS SOUPS 17642 WITH SCORE 17804.353
AT ITER 1527 NEW BEST:: SOT 185614 SOS 162297 HAS SOPS 70315 HAS SOUS 18074 HAS SOUPS 17606 WITH SCORE 17768.297
AT ITER 1537 NEW BEST:: SOT 185576 SOS 162258 HAS SOPS 70275 HAS SOUS 18052 HAS SOUPS 17584 WITH SCORE 17746.258
AT ITER 1544 NEW BEST:: SOT 185532 SOS 162229 HAS SOPS 70229 HAS SOUS 18006 HAS SOUPS 17538 WITH SCORE 17700.229
AT ITER 1559 NEW BEST:: SOT 185501 SOS 162220 HAS SOPS 70189 HAS SOUS 17980 HAS SOUPS 17512 WITH SCORE 17674.22
AT ITER 1569 NEW BEST:: SOT 185007 SOS 161693 HAS SOPS 70325 HAS SOUS 17868 HAS SOUPS 17400 WITH SCORE 17561.693
AT ITER 1577 NEW BEST:: SOT 184986 SOS 161673 HAS SOPS 70283 HAS SOUS 17826 HAS SOUPS 17358 WITH SCORE 17519.673
AT ITER 1618 NEW BEST:: SOT 184886 SOS 161574 HAS SOPS 70133 HAS SOUS 17701 HAS SOUPS 17233 WITH SCORE 17394.574
AT ITER 1623 NEW BEST:: SOT 184864 SOS 161565 HAS SOPS 70089 HAS SOUS 17657 HAS SOUPS 17189 WITH SCORE 17350.565
AT ITER 1627 NEW BEST:: SOT 184864 SOS 161559 HAS SOPS 70086 HAS SOUS 17657 HAS SOUPS 17189 WITH SCORE 17350.559
AT ITER 1634 NEW BEST:: SOT 184862 SOS 161557 HAS SOPS 70082 HAS SOUS 17656 HAS SOUPS 17188 WITH SCORE 17349.557
AT ITER 1636 NEW BEST:: SOT 184866 SOS 161493 HAS SOPS 70018 HAS SOUS 17607 HAS SOUPS 17139 WITH SCORE 17300.493
AT ITER 1646 NEW BEST:: SOT 184866 SOS 161417 HAS SOPS 69942 HAS SOUS 17569 HAS SOUPS 17101 WITH SCORE 17262.417
AT ITER 1666 NEW BEST:: SOT 184863 SOS 161414 HAS SOPS 69939 HAS SOUS 17567 HAS SOUPS 17099 WITH SCORE 17260.414
AT ITER 1670 NEW BEST:: SOT 184828 SOS 161357 HAS SOPS 69869 HAS SOUS 17513 HAS SOUPS 17045 WITH SCORE 17206.357
AT ITER 1673 NEW BEST:: SOT 185185 SOS 161679 HAS SOPS 69983 HAS SOUS 17371 HAS SOUPS 16903 WITH SCORE 17064.679
AT ITER 1682 NEW BEST:: SOT 185116 SOS 161596 HAS SOPS 69845 HAS SOUS 17280 HAS SOUPS 16812 WITH SCORE 16973.596
AT ITER 1686 NEW BEST:: SOT 185365 SOS 161843 HAS SOPS 69445 HAS SOUS 17276 HAS SOUPS 16808 WITH SCORE 16969.843
AT ITER 1692 NEW BEST:: SOT 185362 SOS 161856 HAS SOPS 69439 HAS SOUS 17226 HAS SOUPS 16758 WITH SCORE 16919.856
AT ITER 1701 NEW BEST:: SOT 185361 SOS 161859 HAS SOPS 69442 HAS SOUS 17225 HAS SOUPS 16757 WITH SCORE 16918.859
AT ITER 1714 NEW BEST:: SOT 185347 SOS 161845 HAS SOPS 69414 HAS SOUS 17197 HAS SOUPS 16729 WITH SCORE 16890.845
AT ITER 1728 NEW BEST:: SOT 185302 SOS 161799 HAS SOPS 69368 HAS SOUS 17173 HAS SOUPS 16705 WITH SCORE 16866.799
AT ITER 1743 NEW BEST:: SOT 185338 SOS 161839 HAS SOPS 68390 HAS SOUS 17121 HAS SOUPS 16653 WITH SCORE 16814.839
AT ITER 1749 NEW BEST:: SOT 185316 SOS 161806 HAS SOPS 68346 HAS SOUS 17088 HAS SOUPS 16620 WITH SCORE 16781.806
AT ITER 1750 NEW BEST:: SOT 185314 SOS 161804 HAS SOPS 68342 HAS SOUS 17084 HAS SOUPS 16616 WITH SCORE 16777.804
AT ITER 1754 NEW BEST:: SOT 185346 SOS 161836 HAS SOPS 68372 HAS SOUS 17080 HAS SOUPS 16612 WITH SCORE 16773.836
AT ITER 1780 NEW BEST:: SOT 185314 SOS 161743 HAS SOPS 68308 HAS SOUS 17077 HAS SOUPS 16609 WITH SCORE 16770.743
AT ITER 1800 NEW BEST:: SOT 185277 SOS 161710 HAS SOPS 68275 HAS SOUS 17062 HAS SOUPS 16594 WITH SCORE 16755.71
AT ITER 1817 NEW BEST:: SOT 185273 SOS 161706 HAS SOPS 68267 HAS SOUS 17054 HAS SOUPS 16586 WITH SCORE 16747.706
AT ITER 1840 NEW BEST:: SOT 185269 SOS 161702 HAS SOPS 68259 HAS SOUS 17046 HAS SOUPS 16578 WITH SCORE 16739.702
AT ITER 1844 NEW BEST:: SOT 185264 SOS 161712 HAS SOPS 68249 HAS SOUS 17021 HAS SOUPS 16553 WITH SCORE 16714.712
AT ITER 1861 NEW BEST:: SOT 185289 SOS 161744 HAS SOPS 68255 HAS SOUS 17020 HAS SOUPS 16552 WITH SCORE 16713.744
AT ITER 1862 NEW BEST:: SOT 185201 SOS 161675 HAS SOPS 68157 HAS SOUS 16922 HAS SOUPS 16454 WITH SCORE 16615.675
AT ITER 1869 NEW BEST:: SOT 185163 SOS 161619 HAS SOPS 68081 HAS SOUS 16838 HAS SOUPS 16370 WITH SCORE 16531.619
AT ITER 1909 NEW BEST:: SOT 185162 SOS 161619 HAS SOPS 68080 HAS SOUS 16837 HAS SOUPS 16369 WITH SCORE 16530.619
AT ITER 1913 NEW BEST:: SOT 185132 SOS 161541 HAS SOPS 68020 HAS SOUS 16777 HAS SOUPS 16309 WITH SCORE 16470.541
AT ITER 1915 NEW BEST:: SOT 185116 SOS 161491 HAS SOPS 67971 HAS SOUS 16735 HAS SOUPS 16267 WITH SCORE 16428.491
AT ITER 1918 NEW BEST:: SOT 185118 SOS 161485 HAS SOPS 67971 HAS SOUS 16735 HAS SOUPS 16267 WITH SCORE 16428.485
AT ITER 1947 NEW BEST:: SOT 185114 SOS 161507 HAS SOPS 67963 HAS SOUS 16718 HAS SOUPS 16250 WITH SCORE 16411.507
AT ITER 1948 NEW BEST:: SOT 185091 SOS 161495 HAS SOPS 67948 HAS SOUS 16692 HAS SOUPS 16224 WITH SCORE 16385.495
AT ITER 1954 NEW BEST:: SOT 185130 SOS 161532 HAS SOPS 67983 HAS SOUS 16686 HAS SOUPS 16218 WITH SCORE 16379.532
AT ITER 1955 NEW BEST:: SOT 185149 SOS 161592 HAS SOPS 68021 HAS SOUS 16683 HAS SOUPS 16215 WITH SCORE 16376.592
AT ITER 1981 NEW BEST:: SOT 185128 SOS 161550 HAS SOPS 67979 HAS SOUS 16662 HAS SOUPS 16194 WITH SCORE 16355.55
AT ITER 1992 NEW BEST:: SOT 185084 SOS 161420 HAS SOPS 67891 HAS SOUS 16617 HAS SOUPS 16149 WITH SCORE 16310.42
AT ITER 2008 NEW BEST:: SOT 184993 SOS 161238 HAS SOPS 67806 HAS SOUS 16532 HAS SOUPS 16064 WITH SCORE 16225.238
AT ITER 2016 NEW BEST:: SOT 184974 SOS 161212 HAS SOPS 67780 HAS SOUS 16506 HAS SOUPS 16038 WITH SCORE 16199.212
AT ITER 2021 NEW BEST:: SOT 184972 SOS 161215 HAS SOPS 67601 HAS SOUS 16329 HAS SOUPS 15861 WITH SCORE 16022.215
AT ITER 2024 NEW BEST:: SOT 184969 SOS 161209 HAS SOPS 67595 HAS SOUS 16326 HAS SOUPS 15858 WITH SCORE 16019.209
AT ITER 2036 NEW BEST:: SOT 184906 SOS 161143 HAS SOPS 67399 HAS SOUS 16238 HAS SOUPS 15770 WITH SCORE 15931.143
AT ITER 2043 NEW BEST:: SOT 184899 SOS 161112 HAS SOPS 67368 HAS SOUS 16214 HAS SOUPS 15746 WITH SCORE 15907.112
AT ITER 2052 NEW BEST:: SOT 184875 SOS 161092 HAS SOPS 67320 HAS SOUS 16165 HAS SOUPS 15697 WITH SCORE 15858.092
AT ITER 2062 NEW BEST:: SOT 184875 SOS 161060 HAS SOPS 67256 HAS SOUS 16101 HAS SOUPS 15633 WITH SCORE 15794.06
AT ITER 2078 NEW BEST:: SOT 184853 SOS 160983 HAS SOPS 67167 HAS SOUS 16022 HAS SOUPS 15554 WITH SCORE 15714.983
AT ITER 2079 NEW BEST:: SOT 184864 SOS 160966 HAS SOPS 67152 HAS SOUS 16003 HAS SOUPS 15539 WITH SCORE 15699.966
AT ITER 2138 NEW BEST:: SOT 184835 SOS 160900 HAS SOPS 67094 HAS SOUS 15982 HAS SOUPS 15518 WITH SCORE 15678.9
AT ITER 2171 NEW BEST:: SOT 184827 SOS 160884 HAS SOPS 67078 HAS SOUS 15974 HAS SOUPS 15510 WITH SCORE 15670.884
AT ITER 2188 NEW BEST:: SOT 184835 SOS 160850 HAS SOPS 67073 HAS SOUS 15969 HAS SOUPS 15505 WITH SCORE 15665.85
AT ITER 2231 NEW BEST:: SOT 184824 SOS 160878 HAS SOPS 67074 HAS SOUS 15954 HAS SOUPS 15490 WITH SCORE 15650.878
AT ITER 2244 NEW BEST:: SOT 184811 SOS 160928 HAS SOPS 67048 HAS SOUS 15928 HAS SOUPS 15464 WITH SCORE 15624.928
AT ITER 2257 NEW BEST:: SOT 184822 SOS 160915 HAS SOPS 67036 HAS SOUS 15911 HAS SOUPS 15447 WITH SCORE 15607.915
AT ITER 2259 NEW BEST:: SOT 184720 SOS 160810 HAS SOPS 66928 HAS SOUS 15851 HAS SOUPS 15387 WITH SCORE 15547.81
AT ITER 2262 NEW BEST:: SOT 184731 SOS 160831 HAS SOPS 66950 HAS SOUS 15841 HAS SOUPS 15377 WITH SCORE 15537.831
AT ITER 2279 NEW BEST:: SOT 184722 SOS 160819 HAS SOPS 66932 HAS SOUS 15826 HAS SOUPS 15362 WITH SCORE 15522.819
AT ITER 2314 NEW BEST:: SOT 184722 SOS 160813 HAS SOPS 66707 HAS SOUS 15820 HAS SOUPS 15356 WITH SCORE 15516.813
AT ITER 2317 NEW BEST:: SOT 184716 SOS 160804 HAS SOPS 66695 HAS SOUS 15811 HAS SOUPS 15347 WITH SCORE 15507.804
AT ITER 2322 NEW BEST:: SOT 184726 SOS 160792 HAS SOPS 66693 HAS SOUS 15809 HAS SOUPS 15345 WITH SCORE 15505.792
AT ITER 2325 NEW BEST:: SOT 184721 SOS 160782 HAS SOPS 66680 HAS SOUS 15799 HAS SOUPS 15332 WITH SCORE 15492.782
AT ITER 2326 NEW BEST:: SOT 184721 SOS 160780 HAS SOPS 66679 HAS SOUS 15799 HAS SOUPS 15332 WITH SCORE 15492.78
AT ITER 2332 NEW BEST:: SOT 184715 SOS 160765 HAS SOPS 66664 HAS SOUS 15787 HAS SOUPS 15320 WITH SCORE 15480.765
AT ITER 2333 NEW BEST:: SOT 184715 SOS 160765 HAS SOPS 66659 HAS SOUS 15777 HAS SOUPS 15310 WITH SCORE 15470.765
AT ITER 2337 NEW BEST:: SOT 184707 SOS 160757 HAS SOPS 66651 HAS SOUS 15777 HAS SOUPS 15310 WITH SCORE 15470.757
AT ITER 2353 NEW BEST:: SOT 184704 SOS 160754 HAS SOPS 66645 HAS SOUS 15771 HAS SOUPS 15304 WITH SCORE 15464.754
AT ITER 2368 NEW BEST:: SOT 184688 SOS 160769 HAS SOPS 66613 HAS SOUS 15739 HAS SOUPS 15272 WITH SCORE 15432.769
AT ITER 2371 NEW BEST:: SOT 184688 SOS 160747 HAS SOPS 66591 HAS SOUS 15695 HAS SOUPS 15228 WITH SCORE 15388.747
AT ITER 2388 NEW BEST:: SOT 184673 SOS 160717 HAS SOPS 66561 HAS SOUS 15665 HAS SOUPS 15198 WITH SCORE 15358.717
AT ITER 2403 NEW BEST:: SOT 184698 SOS 160701 HAS SOPS 66553 HAS SOUS 15640 HAS SOUPS 15173 WITH SCORE 15333.701
AT ITER 2404 NEW BEST:: SOT 184678 SOS 160685 HAS SOPS 66534 HAS SOUS 15616 HAS SOUPS 15149 WITH SCORE 15309.685
AT ITER 2445 NEW BEST:: SOT 184679 SOS 160657 HAS SOPS 66521 HAS SOUS 15602 HAS SOUPS 15135 WITH SCORE 15295.657
AT ITER 2451 NEW BEST:: SOT 184646 SOS 160603 HAS SOPS 66455 HAS SOUS 15557 HAS SOUPS 15090 WITH SCORE 15250.603
AT ITER 2486 NEW BEST:: SOT 184603 SOS 160540 HAS SOPS 66405 HAS SOUS 15507 HAS SOUPS 15040 WITH SCORE 15200.54
AT ITER 2492 NEW BEST:: SOT 184597 SOS 160534 HAS SOPS 66341 HAS SOUS 15293 HAS SOUPS 14826 WITH SCORE 14986.534
AT ITER 2503 NEW BEST:: SOT 184566 SOS 160481 HAS SOPS 66279 HAS SOUS 15253 HAS SOUPS 14786 WITH SCORE 14946.481
AT ITER 2507 NEW BEST:: SOT 184538 SOS 160467 HAS SOPS 66237 HAS SOUS 15211 HAS SOUPS 14744 WITH SCORE 14904.467
AT ITER 2513 NEW BEST:: SOT 184553 SOS 160498 HAS SOPS 66267 HAS SOUS 15209 HAS SOUPS 14742 WITH SCORE 14902.498
AT ITER 2517 NEW BEST:: SOT 184551 SOS 160495 HAS SOPS 66263 HAS SOUS 15206 HAS SOUPS 14738 WITH SCORE 14898.495
AT ITER 2559 NEW BEST:: SOT 184537 SOS 160474 HAS SOPS 66235 HAS SOUS 15178 HAS SOUPS 14710 WITH SCORE 14870.474
AT ITER 2582 NEW BEST:: SOT 184534 SOS 160468 HAS SOPS 66229 HAS SOUS 15162 HAS SOUPS 14694 WITH SCORE 14854.468
AT ITER 2586 NEW BEST:: SOT 184557 SOS 160345 HAS SOPS 66153 HAS SOUS 15110 HAS SOUPS 14642 WITH SCORE 14802.345
AT ITER 2596 NEW BEST:: SOT 184557 SOS 160333 HAS SOPS 66129 HAS SOUS 15086 HAS SOUPS 14618 WITH SCORE 14778.333
AT ITER 2616 NEW BEST:: SOT 184194 SOS 159970 HAS SOPS 65761 HAS SOUS 14892 HAS SOUPS 14424 WITH SCORE 14583.97
AT ITER 2619 NEW BEST:: SOT 184217 SOS 159999 HAS SOPS 65547 HAS SOUS 14888 HAS SOUPS 14420 WITH SCORE 14579.999
AT ITER 2623 NEW BEST:: SOT 184183 SOS 160012 HAS SOPS 65577 HAS SOUS 14874 HAS SOUPS 14406 WITH SCORE 14566.012
AT ITER 2641 NEW BEST:: SOT 184167 SOS 159980 HAS SOPS 65545 HAS SOUS 14842 HAS SOUPS 14374 WITH SCORE 14533.98
AT ITER 2656 NEW BEST:: SOT 184123 SOS 159892 HAS SOPS 65457 HAS SOUS 14798 HAS SOUPS 14330 WITH SCORE 14489.892
AT ITER 2663 NEW BEST:: SOT 184097 SOS 159866 HAS SOPS 65405 HAS SOUS 14746 HAS SOUPS 14278 WITH SCORE 14437.866
AT ITER 2671 NEW BEST:: SOT 184075 SOS 159800 HAS SOPS 65317 HAS SOUS 14658 HAS SOUPS 14190 WITH SCORE 14349.8
AT ITER 2681 NEW BEST:: SOT 184046 SOS 159803 HAS SOPS 65309 HAS SOUS 14650 HAS SOUPS 14182 WITH SCORE 14341.803
AT ITER 2728 NEW BEST:: SOT 184029 SOS 159810 HAS SOPS 65275 HAS SOUS 14616 HAS SOUPS 14148 WITH SCORE 14307.81
AT ITER 2736 NEW BEST:: SOT 184008 SOS 159801 HAS SOPS 65248 HAS SOUS 14596 HAS SOUPS 14128 WITH SCORE 14287.801
AT ITER 2739 NEW BEST:: SOT 184008 SOS 159791 HAS SOPS 65238 HAS SOUS 14586 HAS SOUPS 14118 WITH SCORE 14277.791
AT ITER 2742 NEW BEST:: SOT 184007 SOS 159792 HAS SOPS 65237 HAS SOUS 14584 HAS SOUPS 14116 WITH SCORE 14275.792
AT ITER 2780 NEW BEST:: SOT 183995 SOS 159765 HAS SOPS 65203 HAS SOUS 14555 HAS SOUPS 14087 WITH SCORE 14246.765
AT ITER 2793 NEW BEST:: SOT 183965 SOS 159749 HAS SOPS 65170 HAS SOUS 14535 HAS SOUPS 14067 WITH SCORE 14226.749
AT ITER 2818 NEW BEST:: SOT 183969 SOS 159695 HAS SOPS 65120 HAS SOUS 14485 HAS SOUPS 14017 WITH SCORE 14176.695
AT ITER 2848 NEW BEST:: SOT 183937 SOS 159663 HAS SOPS 65083 HAS SOUS 14448 HAS SOUPS 13980 WITH SCORE 14139.663
AT ITER 2852 NEW BEST:: SOT 183933 SOS 159651 HAS SOPS 65067 HAS SOUS 14432 HAS SOUPS 13964 WITH SCORE 14123.651
AT ITER 2906 NEW BEST:: SOT 183919 SOS 159631 HAS SOPS 65060 HAS SOUS 14425 HAS SOUPS 13957 WITH SCORE 14116.631
AT ITER 2971 NEW BEST:: SOT 183886 SOS 159582 HAS SOPS 65011 HAS SOUS 14392 HAS SOUPS 13924 WITH SCORE 14083.582
AT ITER 2988 NEW BEST:: SOT 183892 SOS 159574 HAS SOPS 65002 HAS SOUS 14376 HAS SOUPS 13908 WITH SCORE 14067.574
AT ITER 3023 NEW BEST:: SOT 183904 SOS 159558 HAS SOPS 64998 HAS SOUS 14372 HAS SOUPS 13904 WITH SCORE 14063.558
AT ITER 3036 NEW BEST:: SOT 183716 SOS 159374 HAS SOPS 64814 HAS SOUS 14280 HAS SOUPS 13812 WITH SCORE 13971.374
AT ITER 3047 NEW BEST:: SOT 183710 SOS 159377 HAS SOPS 64802 HAS SOUS 14278 HAS SOUPS 13810 WITH SCORE 13969.377
AT ITER 3051 NEW BEST:: SOT 183711 SOS 159339 HAS SOPS 64765 HAS SOUS 14241 HAS SOUPS 13773 WITH SCORE 13932.339
AT ITER 3053 NEW BEST:: SOT 183686 SOS 159154 HAS SOPS 64629 HAS SOUS 14170 HAS SOUPS 13702 WITH SCORE 13861.154
AT ITER 3060 NEW BEST:: SOT 183654 SOS 159117 HAS SOPS 64565 HAS SOUS 14111 HAS SOUPS 13643 WITH SCORE 13802.117
AT ITER 3073 NEW BEST:: SOT 183650 SOS 159117 HAS SOPS 64561 HAS SOUS 14107 HAS SOUPS 13639 WITH SCORE 13798.117
AT ITER 3075 NEW BEST:: SOT 183353 SOS 158811 HAS SOPS 64255 HAS SOUS 13941 HAS SOUPS 13473 WITH SCORE 13631.811
AT ITER 3079 NEW BEST:: SOT 183339 SOS 158797 HAS SOPS 64241 HAS SOUS 13941 HAS SOUPS 13473 WITH SCORE 13631.797
AT ITER 3106 NEW BEST:: SOT 183514 SOS 158971 HAS SOPS 64369 HAS SOUS 13928 HAS SOUPS 13460 WITH SCORE 13618.971
AT ITER 3124 NEW BEST:: SOT 183507 SOS 158964 HAS SOPS 64355 HAS SOUS 13914 HAS SOUPS 13446 WITH SCORE 13604.964
AT ITER 3128 NEW BEST:: SOT 183489 SOS 158935 HAS SOPS 64319 HAS SOUS 13879 HAS SOUPS 13411 WITH SCORE 13569.935
AT ITER 3142 NEW BEST:: SOT 183487 SOS 158931 HAS SOPS 64315 HAS SOUS 13875 HAS SOUPS 13407 WITH SCORE 13565.931
AT ITER 3179 NEW BEST:: SOT 183482 SOS 158921 HAS SOPS 64301 HAS SOUS 13862 HAS SOUPS 13394 WITH SCORE 13552.921
AT ITER 3249 NEW BEST:: SOT 183479 SOS 158914 HAS SOPS 64293 HAS SOUS 13856 HAS SOUPS 13388 WITH SCORE 13546.914
AT ITER 3257 NEW BEST:: SOT 183452 SOS 158861 HAS SOPS 64239 HAS SOUS 13828 HAS SOUPS 13360 WITH SCORE 13518.861
AT ITER 3260 NEW BEST:: SOT 183443 SOS 158852 HAS SOPS 64221 HAS SOUS 13810 HAS SOUPS 13342 WITH SCORE 13500.852
AT ITER 3282 NEW BEST:: SOT 183435 SOS 158858 HAS SOPS 64205 HAS SOUS 13791 HAS SOUPS 13323 WITH SCORE 13481.858
AT ITER 3293 NEW BEST:: SOT 183427 SOS 158839 HAS SOPS 64189 HAS SOUS 13772 HAS SOUPS 13304 WITH SCORE 13462.839
AT ITER 3294 NEW BEST:: SOT 183420 SOS 158833 HAS SOPS 64179 HAS SOUS 13766 HAS SOUPS 13298 WITH SCORE 13456.833
AT ITER 3313 NEW BEST:: SOT 183232 SOS 158651 HAS SOPS 64066 HAS SOUS 13707 HAS SOUPS 13239 WITH SCORE 13397.651
AT ITER 3315 NEW BEST:: SOT 183185 SOS 158623 HAS SOPS 63972 HAS SOUS 13622 HAS SOUPS 13154 WITH SCORE 13312.623
AT ITER 3319 NEW BEST:: SOT 183185 SOS 158620 HAS SOPS 63969 HAS SOUS 13622 HAS SOUPS 13154 WITH SCORE 13312.62
AT ITER 3322 NEW BEST:: SOT 183181 SOS 158613 HAS SOPS 63961 HAS SOUS 13617 HAS SOUPS 13149 WITH SCORE 13307.613
AT ITER 3337 NEW BEST:: SOT 183157 SOS 158565 HAS SOPS 63913 HAS SOUS 13606 HAS SOUPS 13138 WITH SCORE 13296.565
AT ITER 3364 NEW BEST:: SOT 183157 SOS 158543 HAS SOPS 63902 HAS SOUS 13606 HAS SOUPS 13138 WITH SCORE 13296.543
AT ITER 3392 NEW BEST:: SOT 183155 SOS 158539 HAS SOPS 63897 HAS SOUS 13602 HAS SOUPS 13134 WITH SCORE 13292.539
AT ITER 3399 NEW BEST:: SOT 183151 SOS 158506 HAS SOPS 63889 HAS SOUS 13594 HAS SOUPS 13126 WITH SCORE 13284.506
AT ITER 3422 NEW BEST:: SOT 183125 SOS 158454 HAS SOPS 63824 HAS SOUS 13551 HAS SOUPS 13083 WITH SCORE 13241.454
AT ITER 3439 NEW BEST:: SOT 183089 SOS 158427 HAS SOPS 63787 HAS SOUS 13540 HAS SOUPS 13072 WITH SCORE 13230.427
AT ITER 3440 NEW BEST:: SOT 183050 SOS 158374 HAS SOPS 63709 HAS SOUS 13468 HAS SOUPS 13000 WITH SCORE 13158.374
AT ITER 3445 NEW BEST:: SOT 183047 SOS 158371 HAS SOPS 63705 HAS SOUS 13464 HAS SOUPS 12996 WITH SCORE 13154.371
AT ITER 3448 NEW BEST:: SOT 183045 SOS 158369 HAS SOPS 63701 HAS SOUS 13460 HAS SOUPS 12992 WITH SCORE 13150.369
AT ITER 3449 NEW BEST:: SOT 183041 SOS 158376 HAS SOPS 63693 HAS SOUS 13452 HAS SOUPS 12984 WITH SCORE 13142.376
AT ITER 3467 NEW BEST:: SOT 183037 SOS 158369 HAS SOPS 63685 HAS SOUS 13447 HAS SOUPS 12979 WITH SCORE 13137.369
AT ITER 3472 NEW BEST:: SOT 183037 SOS 158345 HAS SOPS 63685 HAS SOUS 13447 HAS SOUPS 12979 WITH SCORE 13137.345
AT ITER 3486 NEW BEST:: SOT 183026 SOS 158334 HAS SOPS 63663 HAS SOUS 13425 HAS SOUPS 12957 WITH SCORE 13115.334
AT ITER 3492 NEW BEST:: SOT 183191 SOS 158508 HAS SOPS 63381 HAS SOUS 13362 HAS SOUPS 12894 WITH SCORE 13052.508
AT ITER 3497 NEW BEST:: SOT 183181 SOS 158495 HAS SOPS 63361 HAS SOUS 13345 HAS SOUPS 12877 WITH SCORE 13035.495
AT ITER 3498 NEW BEST:: SOT 183160 SOS 158411 HAS SOPS 63277 HAS SOUS 13282 HAS SOUPS 12814 WITH SCORE 12972.411
AT ITER 3505 NEW BEST:: SOT 183160 SOS 158411 HAS SOPS 63277 HAS SOUS 13278 HAS SOUPS 12810 WITH SCORE 12968.411
AT ITER 3523 NEW BEST:: SOT 183154 SOS 158449 HAS SOPS 63265 HAS SOUS 13267 HAS SOUPS 12799 WITH SCORE 12957.449
AT ITER 3524 NEW BEST:: SOT 183150 SOS 158437 HAS SOPS 63253 HAS SOUS 13259 HAS SOUPS 12791 WITH SCORE 12949.437
AT ITER 3556 NEW BEST:: SOT 183150 SOS 158433 HAS SOPS 63250 HAS SOUS 13259 HAS SOUPS 12791 WITH SCORE 12949.433
AT ITER 3563 NEW BEST:: SOT 183155 SOS 158428 HAS SOPS 63250 HAS SOUS 13249 HAS SOUPS 12781 WITH SCORE 12939.428
AT ITER 3564 NEW BEST:: SOT 183143 SOS 158413 HAS SOPS 63235 HAS SOUS 13237 HAS SOUPS 12769 WITH SCORE 12927.413
AT ITER 3603 NEW BEST:: SOT 183143 SOS 158409 HAS SOPS 63231 HAS SOUS 13233 HAS SOUPS 12765 WITH SCORE 12923.409
AT ITER 3644 NEW BEST:: SOT 183131 SOS 158398 HAS SOPS 63207 HAS SOUS 13215 HAS SOUPS 12747 WITH SCORE 12905.398
AT ITER 3668 NEW BEST:: SOT 183120 SOS 158359 HAS SOPS 63185 HAS SOUS 13197 HAS SOUPS 12729 WITH SCORE 12887.359
AT ITER 3698 NEW BEST:: SOT 183110 SOS 158349 HAS SOPS 63170 HAS SOUS 13182 HAS SOUPS 12714 WITH SCORE 12872.349
AT ITER 3703 NEW BEST:: SOT 183100 SOS 158329 HAS SOPS 63150 HAS SOUS 13162 HAS SOUPS 12694 WITH SCORE 12852.329
AT ITER 3803 NEW BEST:: SOT 183096 SOS 158333 HAS SOPS 63148 HAS SOUS 13160 HAS SOUPS 12692 WITH SCORE 12850.333
AT ITER 3827 NEW BEST:: SOT 183106 SOS 158284 HAS SOPS 63099 HAS SOUS 13112 HAS SOUPS 12644 WITH SCORE 12802.284
AT ITER 3836 NEW BEST:: SOT 183107 SOS 158297 HAS SOPS 63101 HAS SOUS 13104 HAS SOUPS 12636 WITH SCORE 12794.297
AT ITER 3839 NEW BEST:: SOT 183109 SOS 158318 HAS SOPS 63105 HAS SOUS 13089 HAS SOUPS 12621 WITH SCORE 12779.318
AT ITER 3865 NEW BEST:: SOT 183109 SOS 158319 HAS SOPS 63105 HAS SOUS 13088 HAS SOUPS 12620 WITH SCORE 12778.319
AT ITER 3889 NEW BEST:: SOT 182962 SOS 158165 HAS SOPS 62951 HAS SOUS 12997 HAS SOUPS 12529 WITH SCORE 12687.165
AT ITER 3890 NEW BEST:: SOT 182951 SOS 158140 HAS SOPS 62929 HAS SOUS 12989 HAS SOUPS 12521 WITH SCORE 12679.14
AT ITER 3903 NEW BEST:: SOT 182951 SOS 158135 HAS SOPS 62924 HAS SOUS 12981 HAS SOUPS 12513 WITH SCORE 12671.135
AT ITER 3912 NEW BEST:: SOT 182949 SOS 158130 HAS SOPS 62916 HAS SOUS 12972 HAS SOUPS 12504 WITH SCORE 12662.13
AT ITER 3917 NEW BEST:: SOT 182919 SOS 158085 HAS SOPS 62856 HAS SOUS 12926 HAS SOUPS 12458 WITH SCORE 12616.085
AT ITER 3934 NEW BEST:: SOT 182905 SOS 158071 HAS SOPS 62828 HAS SOUS 12898 HAS SOUPS 12430 WITH SCORE 12588.071
AT ITER 3944 NEW BEST:: SOT 182893 SOS 158062 HAS SOPS 62817 HAS SOUS 12892 HAS SOUPS 12424 WITH SCORE 12582.062
AT ITER 3945 NEW BEST:: SOT 182890 SOS 158061 HAS SOPS 62811 HAS SOUS 12886 HAS SOUPS 12418 WITH SCORE 12576.061
AT ITER 3983 NEW BEST:: SOT 182883 SOS 158078 HAS SOPS 62797 HAS SOUS 12871 HAS SOUPS 12403 WITH SCORE 12561.078
AT ITER 3984 NEW BEST:: SOT 182865 SOS 158051 HAS SOPS 62770 HAS SOUS 12844 HAS SOUPS 12376 WITH SCORE 12534.051
AT ITER 3986 NEW BEST:: SOT 182865 SOS 158043 HAS SOPS 62770 HAS SOUS 12844 HAS SOUPS 12376 WITH SCORE 12534.043
AT ITER 3990 NEW BEST:: SOT 182850 SOS 157998 HAS SOPS 62740 HAS SOUS 12829 HAS SOUPS 12361 WITH SCORE 12518.998
AT ITER 4012 NEW BEST:: SOT 182847 SOS 157990 HAS SOPS 62734 HAS SOUS 12821 HAS SOUPS 12353 WITH SCORE 12510.99
AT ITER 4033 NEW BEST:: SOT 182849 SOS 157987 HAS SOPS 62513 HAS SOUS 12818 HAS SOUPS 12350 WITH SCORE 12507.987
AT ITER 4041 NEW BEST:: SOT 182842 SOS 157936 HAS SOPS 62499 HAS SOUS 12792 HAS SOUPS 12324 WITH SCORE 12481.936
AT ITER 4043 NEW BEST:: SOT 182844 SOS 157931 HAS SOPS 62476 HAS SOUS 12769 HAS SOUPS 12301 WITH SCORE 12458.931
AT ITER 4052 NEW BEST:: SOT 182838 SOS 157925 HAS SOPS 62470 HAS SOUS 12763 HAS SOUPS 12295 WITH SCORE 12452.925
AT ITER 4096 NEW BEST:: SOT 182832 SOS 157897 HAS SOPS 62458 HAS SOUS 12761 HAS SOUPS 12293 WITH SCORE 12450.897
AT ITER 4106 NEW BEST:: SOT 182822 SOS 157887 HAS SOPS 62438 HAS SOUS 12741 HAS SOUPS 12273 WITH SCORE 12430.887
AT ITER 4120 NEW BEST:: SOT 182787 SOS 157840 HAS SOPS 62391 HAS SOUS 12694 HAS SOUPS 12226 WITH SCORE 12383.84
AT ITER 4242 NEW BEST:: SOT 182776 SOS 157824 HAS SOPS 62375 HAS SOUS 12678 HAS SOUPS 12210 WITH SCORE 12367.824
AT ITER 4313 NEW BEST:: SOT 181921 SOS 157008 HAS SOPS 61621 HAS SOUS 12457 HAS SOUPS 11989 WITH SCORE 12146.008
AT ITER 4317 NEW BEST:: SOT 181908 SOS 157009 HAS SOPS 61595 HAS SOUS 12428 HAS SOUPS 11960 WITH SCORE 12117.009
AT ITER 4328 NEW BEST:: SOT 181865 SOS 157007 HAS SOPS 61553 HAS SOUS 12389 HAS SOUPS 11921 WITH SCORE 12078.007
AT ITER 4343 NEW BEST:: SOT 181857 SOS 156999 HAS SOPS 61541 HAS SOUS 12377 HAS SOUPS 11909 WITH SCORE 12065.999
AT ITER 4353 NEW BEST:: SOT 181843 SOS 156966 HAS SOPS 61513 HAS SOUS 12368 HAS SOUPS 11900 WITH SCORE 12056.966
AT ITER 4411 NEW BEST:: SOT 181838 SOS 156961 HAS SOPS 61513 HAS SOUS 12368 HAS SOUPS 11900 WITH SCORE 12056.961
AT ITER 4414 NEW BEST:: SOT 181873 SOS 156991 HAS SOPS 61472 HAS SOUS 12333 HAS SOUPS 11865 WITH SCORE 12021.991
AT ITER 4435 NEW BEST:: SOT 181864 SOS 156979 HAS SOPS 61457 HAS SOUS 12324 HAS SOUPS 11853 WITH SCORE 12009.979
AT ITER 4437 NEW BEST:: SOT 181863 SOS 156979 HAS SOPS 61455 HAS SOUS 12319 HAS SOUPS 11848 WITH SCORE 12004.979
AT ITER 4460 NEW BEST:: SOT 181743 SOS 156855 HAS SOPS 61331 HAS SOUS 12251 HAS SOUPS 11780 WITH SCORE 11936.855
AT ITER 4543 NEW BEST:: SOT 181743 SOS 156848 HAS SOPS 61324 HAS SOUS 12244 HAS SOUPS 11773 WITH SCORE 11929.848
AT ITER 4547 NEW BEST:: SOT 181742 SOS 156847 HAS SOPS 61322 HAS SOUS 12242 HAS SOUPS 11771 WITH SCORE 11927.847
AT ITER 4592 NEW BEST:: SOT 181742 SOS 156847 HAS SOPS 61322 HAS SOUS 12237 HAS SOUPS 11766 WITH SCORE 11922.847
AT ITER 4614 NEW BEST:: SOT 181732 SOS 156857 HAS SOPS 61302 HAS SOUS 12217 HAS SOUPS 11746 WITH SCORE 11902.857
AT ITER 4615 NEW BEST:: SOT 181732 SOS 156856 HAS SOPS 61301 HAS SOUS 12216 HAS SOUPS 11745 WITH SCORE 11901.856
AT ITER 4709 NEW BEST:: SOT 181712 SOS 156832 HAS SOPS 61261 HAS SOUS 12189 HAS SOUPS 11718 WITH SCORE 11874.832
AT ITER 4723 NEW BEST:: SOT 181696 SOS 156816 HAS SOPS 61229 HAS SOUS 12157 HAS SOUPS 11686 WITH SCORE 11842.816
AT ITER 4746 NEW BEST:: SOT 181690 SOS 156810 HAS SOPS 61217 HAS SOUS 12145 HAS SOUPS 11674 WITH SCORE 11830.81
AT ITER 4788 NEW BEST:: SOT 181687 SOS 156802 HAS SOPS 61207 HAS SOUS 12142 HAS SOUPS 11671 WITH SCORE 11827.802
AT ITER 4797 NEW BEST:: SOT 181687 SOS 156802 HAS SOPS 61198 HAS SOUS 12109 HAS SOUPS 11638 WITH SCORE 11794.802
AT ITER 4818 NEW BEST:: SOT 181685 SOS 156780 HAS SOPS 61194 HAS SOUS 12105 HAS SOUPS 11634 WITH SCORE 11790.78
AT ITER 4878 NEW BEST:: SOT 181686 SOS 156781 HAS SOPS 61195 HAS SOUS 12104 HAS SOUPS 11633 WITH SCORE 11789.781
AT ITER 4891 NEW BEST:: SOT 181668 SOS 156754 HAS SOPS 61159 HAS SOUS 12077 HAS SOUPS 11606 WITH SCORE 11762.754
AT ITER 4943 NEW BEST:: SOT 181646 SOS 156720 HAS SOPS 61115 HAS SOUS 12045 HAS SOUPS 11574 WITH SCORE 11730.72
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-00 ( (! ( (EU( ((potential((tk(P12)>=1) & (tk(P73)>=1) & (tk(P242)>=1)))) , ((potential((tk(P37)>=1) & (tk(P120)>=1) & (tk(P242)>=1)))) )) | ( ( ((potential((tk(P227)>=1)))) | (! ((potential((tk(P97)>=1) & (tk(P144)>=1) & (tk(P242)>=1))))) ) & (EG( ((potential((tk(P85)>=1) & (tk(P144)>=1) & (tk(P242)>=1)))))) ) )) & (EU( ( (! ((potential((tk(P168)>=1))))) | ( ((potential((tk(P80)>=1) & (tk(P243)>=1)))) | ((potential((tk(P24)>=1) & (tk(P109)>=1) & (tk(P242)>=1)))) ) ) , (AX( ((potential((tk(P133)>=1) & (tk(P192)>=1) & (tk(P242)>=1)))))) )) )
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-01 (! (EG( ( (EF( ((potential((tk(P74)>=1)))))) & ( (! ((potential((tk(P13)>=1))))) | (! ((potential((tk(P24)>=1) & (tk(P97)>=1) & (tk(P242)>=1))))) ) ))))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-02 ( ( (EX( (EX( ((potential((tk(P167)>=1)))))))) | (EX( (EX( ((potential((tk(P93)>=1)))))))) ) | (EF( (EG( ( ((potential((tk(P165)>=1)))) & ((potential((tk(P156)>=1) & (tk(P229)>=1) & (tk(P242)>=1)))) ))))) )
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-03 ( ( (EF( ( ( ((potential((tk(P157)>=1) & (tk(P180)>=1) & (tk(P242)>=1)))) | ((potential((tk(P13)>=1) & (tk(P108)>=1) & (tk(P242)>=1)))) ) & ( ((potential((tk(P132)>=1) & (tk(P193)>=1) & (tk(P242)>=1)))) | ((potential((tk(P50)>=1)))) ) ))) & ( (AF( ( ((potential((tk(P72)>=1) & (tk(P205)>=1) & (tk(P242)>=1)))) | ((potential((tk(P133)>=1) & (tk(P144)>=1) & (tk(P242)>=1)))) ))) & (! ((potential((tk(P62)>=1))))) ) ) | ( ( ( ( ( ((potential((tk(P37)>=1) & (tk(P132)>=1) & (tk(P242)>=1)))) & ((potential((tk(P48)>=1) & (tk(P145)>=1) & (tk(P242)>=1)))) ) | ( ((potential((tk(P36)>=1) & (tk(P61)>=1) & (tk(P242)>=1)))) & ((potential((tk(P192)>=1) & (tk(P217)>=1) & (tk(P242)>=1)))) ) ) | ((potential((tk(P13)>=1) & (tk(P72)>=1) & (tk(P242)>=1)))) ) | (EF( ( ((potential((tk(P24)>=1) & (tk(P181)>=1) & (tk(P242)>=1)))) & ((potential((tk(P54)>=1)))) ))) ) | (! (! ( ((potential((tk(P84)>=1) & (tk(P181)>=1) & (tk(P242)>=1)))) & ( ((potential((tk(P156)>=1) & (tk(P169)>=1) & (tk(P242)>=1)))) & ((potential((tk(P72)>=1)))) ) ))) ) )
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-04 (EF( (! (EX( (! ((potential((tk(P180)>=1) & (tk(P217)>=1) & (tk(P242)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-05 (EF( ( (AX( ( ((potential((tk(P204)>=1) & (tk(P242)>=1)))) | ((potential((tk(P72)>=1) & (tk(P205)>=1) & (tk(P242)>=1)))) ))) & ( ( (! ((potential((tk(P24)>=1) & (tk(P49)>=1) & (tk(P242)>=1))))) | ((potential((tk(P73)>=1) & (tk(P132)>=1) & (tk(P242)>=1)))) ) & (EG( ((potential((tk(P36)>=1) & (tk(P193)>=1) & (tk(P242)>=1)))))) ) )))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-06 (EU( ( (AX( ((potential((tk(P72)>=1) & (tk(P181)>=1) & (tk(P242)>=1)))))) | (EF( ((potential((tk(P60)>=1) & (tk(P157)>=1) & (tk(P242)>=1)))))) ) , (AX( ( ((potential((tk(P85)>=1) & (tk(P240)>=1) & (tk(P242)>=1)))) | ((potential((tk(P73)>=1) & (tk(P168)>=1) & (tk(P242)>=1)))) ))) ))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-07 ( ( (EU( ( ((potential((tk(P134)>=1)))) & ((potential((tk(P24)>=1) & (tk(P49)>=1) & (tk(P242)>=1)))) ) , ( ((potential((tk(P141)>=1)))) | ((potential((tk(P84)>=1) & (tk(P217)>=1) & (tk(P242)>=1)))) ) )) | (EF( ( ((potential((tk(P52)>=1)))) & ((potential((tk(P120)>=1) & (tk(P229)>=1) & (tk(P242)>=1)))) ))) ) | (EU( (AG( ((potential((tk(P7)>=1) & (tk(P242)>=1)))))) , ((potential((tk(P38)>=1)))) )) )
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-08 ( (EF( (! ( ( ((potential((tk(P175)>=1) & (tk(P242)>=1)))) & ((potential((tk(P237)>=1)))) ) | (! ((potential((tk(P206)>=1))))) )))) | (! (EF( (AX( ((potential((tk(P225)>=1))))))))) )
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-09 ( (AF( (EG( ( ((potential((tk(P61)>=1) & (tk(P216)>=1) & (tk(P242)>=1)))) & ((potential((tk(P73)>=1) & (tk(P240)>=1) & (tk(P242)>=1)))) ))))) | (AG( (EF( ( ((potential((tk(P60)>=1) & (tk(P109)>=1) & (tk(P242)>=1)))) | ((potential((tk(P37)>=1) & (tk(P216)>=1) & (tk(P242)>=1)))) ))))) )
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-10 (AF( (EG( (EF( ((potential((tk(P101)>=1) & (tk(P243)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-11 (EF( ((potential((tk(P158)>=1))))))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-12 (AG( (EF( (! (! ((potential((tk(P131)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-13 (AF( (EF( ( (! ((potential((tk(P96)>=1) & (tk(P109)>=1) & (tk(P242)>=1))))) & ( ((potential((tk(P116)>=1) & (tk(P243)>=1)))) | ((potential((tk(P36)>=1) & (tk(P97)>=1) & (tk(P242)>=1)))) ) )))))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-14 (AU( (AF( ( ((potential((tk(P12)>=1) & (tk(P242)>=1)))) | ((potential((tk(P233)>=1) & (tk(P243)>=1)))) ))) , ((potential((tk(P156)>=1) & (tk(P229)>=1) & (tk(P242)>=1)))) ))
PROPERTY: FlexibleBarrier-PT-20a-CTLFireability-15 (! (AX( (AG( (! ((potential((tk(P85)>=1) & (tk(P144)>=1) & (tk(P242)>=1))))))))))
BK_STOP 1589448177448
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-20a"
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 FlexibleBarrier-PT-20a, 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 r078-smll-158922972500388"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-20a.tgz
mv FlexibleBarrier-PT-20a 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 '
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 ;