fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508300265
Last Updated
Jun 28, 2020

About the Execution of smart for AirplaneLD-PT-0100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.000 87228.00 87010.00 0.00 3.4877E+0007 1.5501E+0008 1 308 normal

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.r003-smll-158897508300265.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 AirplaneLD-PT-0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300265
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 18K Mar 24 10:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Mar 24 10:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Mar 24 09:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 90K Mar 24 09:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 49K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 143K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 92K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 52K Mar 24 07:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Mar 24 07:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Mar 24 06:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Mar 24 06:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 796K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589095439669

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0100
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 719 places, 808 transitions, 3078 arcs.
AT ITER 0 NEW BEST:: SOT 449294 SOS 226686 HAS SOPS 191929 HAS SOUS 160023 HAS SOUPS 125269 WITH SCORE 125495.686
AT ITER 1 NEW BEST:: SOT 449115 SOS 226286 HAS SOPS 191750 HAS SOUS 159665 HAS SOUPS 125132 WITH SCORE 125358.286
AT ITER 4 NEW BEST:: SOT 448991 SOS 226164 HAS SOPS 191646 HAS SOUS 159440 HAS SOUPS 124925 WITH SCORE 125151.164
AT ITER 16 NEW BEST:: SOT 448706 SOS 226002 HAS SOPS 191484 HAS SOUS 159418 HAS SOUPS 124903 WITH SCORE 125129.002
AT ITER 17 NEW BEST:: SOT 448631 SOS 226002 HAS SOPS 191484 HAS SOUS 159343 HAS SOUPS 124828 WITH SCORE 125054.002
AT ITER 19 NEW BEST:: SOT 448332 SOS 225902 HAS SOPS 191384 HAS SOUS 159060 HAS SOUPS 124545 WITH SCORE 124770.902
AT ITER 33 NEW BEST:: SOT 448225 SOS 225902 HAS SOPS 191384 HAS SOUS 158953 HAS SOUPS 124438 WITH SCORE 124663.902
AT ITER 35 NEW BEST:: SOT 447966 SOS 225824 HAS SOPS 191306 HAS SOUS 158790 HAS SOUPS 124275 WITH SCORE 124500.824
AT ITER 40 NEW BEST:: SOT 447680 SOS 225691 HAS SOPS 191173 HAS SOUS 158546 HAS SOUPS 124031 WITH SCORE 124256.691
AT ITER 43 NEW BEST:: SOT 447513 SOS 225757 HAS SOPS 191286 HAS SOUS 158445 HAS SOUPS 123977 WITH SCORE 124202.757
AT ITER 49 NEW BEST:: SOT 447357 SOS 225793 HAS SOPS 191406 HAS SOUS 158325 HAS SOUPS 123941 WITH SCORE 124166.793
AT ITER 51 NEW BEST:: SOT 447228 SOS 225535 HAS SOPS 191277 HAS SOUS 158067 HAS SOUPS 123812 WITH SCORE 124037.535
AT ITER 52 NEW BEST:: SOT 446928 SOS 225369 HAS SOPS 191111 HAS SOUS 157771 HAS SOUPS 123516 WITH SCORE 123741.369
AT ITER 54 NEW BEST:: SOT 446693 SOS 225334 HAS SOPS 191076 HAS SOUS 157680 HAS SOUPS 123425 WITH SCORE 123650.334
AT ITER 55 NEW BEST:: SOT 446655 SOS 225296 HAS SOPS 191038 HAS SOUS 157604 HAS SOUPS 123349 WITH SCORE 123574.296
AT ITER 57 NEW BEST:: SOT 442205 SOS 220912 HAS SOPS 188670 HAS SOUS 153203 HAS SOUPS 120964 WITH SCORE 121184.912
AT ITER 69 NEW BEST:: SOT 442205 SOS 220879 HAS SOPS 188670 HAS SOUS 153170 HAS SOUPS 120964 WITH SCORE 121184.879
AT ITER 80 NEW BEST:: SOT 442065 SOS 220879 HAS SOPS 188670 HAS SOUS 153030 HAS SOUPS 120824 WITH SCORE 121044.879
AT ITER 81 NEW BEST:: SOT 442065 SOS 221288 HAS SOPS 188670 HAS SOUS 153069 HAS SOUPS 120639 WITH SCORE 120860.288
AT ITER 85 NEW BEST:: SOT 441949 SOS 221056 HAS SOPS 188554 HAS SOUS 152837 HAS SOUPS 120523 WITH SCORE 120744.056
AT ITER 89 NEW BEST:: SOT 441813 SOS 221056 HAS SOPS 188608 HAS SOUS 152701 HAS SOUPS 120441 WITH SCORE 120662.056
AT ITER 90 NEW BEST:: SOT 441813 SOS 221056 HAS SOPS 188608 HAS SOUS 152684 HAS SOUPS 120424 WITH SCORE 120645.056
AT ITER 95 NEW BEST:: SOT 441618 SOS 220656 HAS SOPS 188413 HAS SOUS 152294 HAS SOUPS 120239 WITH SCORE 120459.656
AT ITER 96 NEW BEST:: SOT 441618 SOS 221114 HAS SOPS 188413 HAS SOUS 152356 HAS SOUPS 120041 WITH SCORE 120262.114
AT ITER 106 NEW BEST:: SOT 441475 SOS 221114 HAS SOPS 188413 HAS SOUS 152213 HAS SOUPS 119898 WITH SCORE 120119.114
AT ITER 111 NEW BEST:: SOT 441475 SOS 221500 HAS SOPS 188413 HAS SOUS 152303 HAS SOUPS 119750 WITH SCORE 119971.5
AT ITER 112 NEW BEST:: SOT 441429 SOS 221408 HAS SOPS 188367 HAS SOUS 152211 HAS SOUPS 119704 WITH SCORE 119925.408
AT ITER 119 NEW BEST:: SOT 441429 SOS 221718 HAS SOPS 188367 HAS SOUS 152233 HAS SOUPS 119560 WITH SCORE 119781.718
AT ITER 123 NEW BEST:: SOT 441431 SOS 221710 HAS SOPS 188359 HAS SOUS 152227 HAS SOUPS 119554 WITH SCORE 119775.71
AT ITER 137 NEW BEST:: SOT 441431 SOS 222012 HAS SOPS 188359 HAS SOUS 152263 HAS SOUPS 119421 WITH SCORE 119643.012
AT ITER 147 NEW BEST:: SOT 441431 SOS 222341 HAS SOPS 188359 HAS SOUS 152338 HAS SOUPS 119294 WITH SCORE 119516.341
AT ITER 149 NEW BEST:: SOT 441236 SOS 221941 HAS SOPS 188164 HAS SOUS 151948 HAS SOUPS 119109 WITH SCORE 119330.941
AT ITER 151 NEW BEST:: SOT 441167 SOS 221803 HAS SOPS 188095 HAS SOUS 151810 HAS SOUPS 119040 WITH SCORE 119261.803
AT ITER 161 NEW BEST:: SOT 440933 SOS 221333 HAS SOPS 187986 HAS SOUS 151469 HAS SOUPS 118933 WITH SCORE 119154.333
AT ITER 164 NEW BEST:: SOT 440967 SOS 221315 HAS SOPS 187884 HAS SOUS 151485 HAS SOUPS 118865 WITH SCORE 119086.315
AT ITER 165 NEW BEST:: SOT 440962 SOS 221310 HAS SOPS 187879 HAS SOUS 151475 HAS SOUPS 118855 WITH SCORE 119076.31
AT ITER 168 NEW BEST:: SOT 440928 SOS 221242 HAS SOPS 187845 HAS SOUS 151407 HAS SOUPS 118821 WITH SCORE 119042.242
AT ITER 169 NEW BEST:: SOT 441008 SOS 221818 HAS SOPS 187925 HAS SOUS 151637 HAS SOUPS 118772 WITH SCORE 118993.818
AT ITER 170 NEW BEST:: SOT 440911 SOS 221624 HAS SOPS 187828 HAS SOUS 151443 HAS SOUPS 118675 WITH SCORE 118896.624
AT ITER 198 NEW BEST:: SOT 440757 SOS 221224 HAS SOPS 187674 HAS SOUS 151135 HAS SOUPS 118613 WITH SCORE 118834.224
AT ITER 204 NEW BEST:: SOT 425860 SOS 272068 HAS SOPS 238105 HAS SOUS 137513 HAS SOUPS 104580 WITH SCORE 104852.068
AT ITER 208 NEW BEST:: SOT 425740 SOS 271948 HAS SOPS 237957 HAS SOUS 137300 HAS SOUPS 104339 WITH SCORE 104610.948
AT ITER 210 NEW BEST:: SOT 425740 SOS 272327 HAS SOPS 237957 HAS SOUS 137325 HAS SOUPS 104162 WITH SCORE 104434.327
AT ITER 214 NEW BEST:: SOT 425622 SOS 272209 HAS SOPS 237839 HAS SOUS 137232 HAS SOUPS 104069 WITH SCORE 104341.209
AT ITER 216 NEW BEST:: SOT 425687 SOS 272755 HAS SOPS 237904 HAS SOUS 137367 HAS SOUPS 103990 WITH SCORE 104262.755
AT ITER 222 NEW BEST:: SOT 425477 SOS 272654 HAS SOPS 237803 HAS SOUS 137157 HAS SOUPS 103780 WITH SCORE 104052.654
AT ITER 223 NEW BEST:: SOT 425336 SOS 272363 HAS SOPS 237662 HAS SOUS 136875 HAS SOUPS 103648 WITH SCORE 103920.363
AT ITER 227 NEW BEST:: SOT 425164 SOS 272363 HAS SOPS 237704 HAS SOUS 136703 HAS SOUPS 103518 WITH SCORE 103790.363
AT ITER 228 NEW BEST:: SOT 424801 SOS 272145 HAS SOPS 237486 HAS SOUS 136617 HAS SOUPS 103432 WITH SCORE 103704.145
AT ITER 231 NEW BEST:: SOT 424717 SOS 272061 HAS SOPS 237402 HAS SOUS 136582 HAS SOUPS 103397 WITH SCORE 103669.061
AT ITER 241 NEW BEST:: SOT 424434 SOS 271982 HAS SOPS 237323 HAS SOUS 136347 HAS SOUPS 103162 WITH SCORE 103433.982
AT ITER 247 NEW BEST:: SOT 424188 SOS 271593 HAS SOPS 237077 HAS SOUS 135998 HAS SOUPS 102956 WITH SCORE 103227.593
AT ITER 249 NEW BEST:: SOT 424279 SOS 272191 HAS SOPS 237168 HAS SOUS 136254 HAS SOUPS 102929 WITH SCORE 103201.191
AT ITER 269 NEW BEST:: SOT 423991 SOS 272081 HAS SOPS 237058 HAS SOUS 136004 HAS SOUPS 102679 WITH SCORE 102951.081
AT ITER 271 NEW BEST:: SOT 423753 SOS 271991 HAS SOPS 236968 HAS SOUS 135780 HAS SOUPS 102455 WITH SCORE 102726.991
AT ITER 273 NEW BEST:: SOT 423753 SOS 272394 HAS SOPS 236968 HAS SOUS 135875 HAS SOUPS 102301 WITH SCORE 102573.394
AT ITER 274 NEW BEST:: SOT 423535 SOS 272377 HAS SOPS 236951 HAS SOUS 135768 HAS SOUPS 102194 WITH SCORE 102466.377
AT ITER 278 NEW BEST:: SOT 423535 SOS 272738 HAS SOPS 236951 HAS SOUS 135791 HAS SOUPS 102025 WITH SCORE 102297.738
AT ITER 280 NEW BEST:: SOT 423297 SOS 272324 HAS SOPS 236713 HAS SOUS 135491 HAS SOUPS 101901 WITH SCORE 102173.324
AT ITER 282 NEW BEST:: SOT 423254 SOS 272238 HAS SOPS 236670 HAS SOUS 135448 HAS SOUPS 101901 WITH SCORE 102173.238
AT ITER 289 NEW BEST:: SOT 422888 SOS 272012 HAS SOPS 236444 HAS SOUS 135444 HAS SOUPS 101897 WITH SCORE 102169.012
AT ITER 293 NEW BEST:: SOT 422795 SOS 271826 HAS SOPS 236351 HAS SOUS 135258 HAS SOUPS 101804 WITH SCORE 102075.826
AT ITER 294 NEW BEST:: SOT 422451 SOS 271646 HAS SOPS 236171 HAS SOUS 135183 HAS SOUPS 101729 WITH SCORE 102000.646
AT ITER 296 NEW BEST:: SOT 422448 SOS 271643 HAS SOPS 236168 HAS SOUS 135183 HAS SOUPS 101729 WITH SCORE 102000.643
AT ITER 299 NEW BEST:: SOT 422390 SOS 271585 HAS SOPS 236110 HAS SOUS 135169 HAS SOUPS 101715 WITH SCORE 101986.585
AT ITER 302 NEW BEST:: SOT 422415 SOS 272051 HAS SOPS 236135 HAS SOUS 135222 HAS SOUPS 101556 WITH SCORE 101828.051
AT ITER 303 NEW BEST:: SOT 422444 SOS 272149 HAS SOPS 236164 HAS SOUS 135280 HAS SOUPS 101545 WITH SCORE 101817.149
AT ITER 305 NEW BEST:: SOT 422141 SOS 271962 HAS SOPS 235977 HAS SOUS 134995 HAS SOUPS 101260 WITH SCORE 101531.962
AT ITER 306 NEW BEST:: SOT 390093 SOS 281370 HAS SOPS 245469 HAS SOUS 103321 HAS SOUPS 69670 WITH SCORE 69951.37
AT ITER 314 NEW BEST:: SOT 389835 SOS 280936 HAS SOPS 245211 HAS SOUS 102981 HAS SOUPS 69506 WITH SCORE 69786.936
AT ITER 319 NEW BEST:: SOT 389751 SOS 280852 HAS SOPS 245127 HAS SOUS 102855 HAS SOUPS 69380 WITH SCORE 69660.852
AT ITER 321 NEW BEST:: SOT 389751 SOS 281173 HAS SOPS 245127 HAS SOUS 102874 HAS SOUPS 69229 WITH SCORE 69510.173
AT ITER 325 NEW BEST:: SOT 389737 SOS 281159 HAS SOPS 245113 HAS SOUS 102846 HAS SOUPS 69201 WITH SCORE 69482.159
AT ITER 331 NEW BEST:: SOT 389583 SOS 281159 HAS SOPS 245215 HAS SOUS 102692 HAS SOUPS 69149 WITH SCORE 69430.159
AT ITER 335 NEW BEST:: SOT 389501 SOS 281077 HAS SOPS 245133 HAS SOUS 102678 HAS SOUPS 69135 WITH SCORE 69416.077
AT ITER 336 NEW BEST:: SOT 389496 SOS 281350 HAS SOPS 245128 HAS SOUS 102682 HAS SOUPS 68993 WITH SCORE 69274.35
AT ITER 338 NEW BEST:: SOT 389164 SOS 280852 HAS SOPS 244796 HAS SOUS 102184 HAS SOUPS 68661 WITH SCORE 68941.852
AT ITER 342 NEW BEST:: SOT 388684 SOS 280092 HAS SOPS 244316 HAS SOUS 101224 HAS SOUPS 67981 WITH SCORE 68261.092
AT ITER 343 NEW BEST:: SOT 388287 SOS 279492 HAS SOPS 243919 HAS SOUS 100633 HAS SOUPS 67593 WITH SCORE 67872.492
AT ITER 349 NEW BEST:: SOT 388081 SOS 279183 HAS SOPS 243713 HAS SOUS 100324 HAS SOUPS 67387 WITH SCORE 67666.183
AT ITER 356 NEW BEST:: SOT 388033 SOS 279135 HAS SOPS 243665 HAS SOUS 100228 HAS SOUPS 67291 WITH SCORE 67570.135
AT ITER 358 NEW BEST:: SOT 387699 SOS 278634 HAS SOPS 243331 HAS SOUS 99727 HAS SOUPS 66957 WITH SCORE 67235.634
AT ITER 362 NEW BEST:: SOT 387514 SOS 278449 HAS SOPS 243146 HAS SOUS 99633 HAS SOUPS 66863 WITH SCORE 67141.449
AT ITER 367 NEW BEST:: SOT 387138 SOS 277885 HAS SOPS 242770 HAS SOUS 99069 HAS SOUPS 66487 WITH SCORE 66764.885
AT ITER 368 NEW BEST:: SOT 387212 SOS 278038 HAS SOPS 242844 HAS SOUS 99138 HAS SOUPS 66477 WITH SCORE 66755.038
AT ITER 371 NEW BEST:: SOT 387084 SOS 278038 HAS SOPS 242904 HAS SOUS 99010 HAS SOUPS 66409 WITH SCORE 66687.038
AT ITER 373 NEW BEST:: SOT 387084 SOS 278397 HAS SOPS 242904 HAS SOUS 99027 HAS SOUPS 66238 WITH SCORE 66516.397
AT ITER 379 NEW BEST:: SOT 387084 SOS 278754 HAS SOPS 242904 HAS SOUS 99058 HAS SOUPS 66075 WITH SCORE 66353.754
AT ITER 382 NEW BEST:: SOT 387084 SOS 279147 HAS SOPS 242904 HAS SOUS 99093 HAS SOUPS 65896 WITH SCORE 66175.147
AT ITER 383 NEW BEST:: SOT 386684 SOS 278483 HAS SOPS 242504 HAS SOUS 98557 HAS SOUPS 65624 WITH SCORE 65902.483
AT ITER 387 NEW BEST:: SOT 386391 SOS 278190 HAS SOPS 242211 HAS SOUS 98264 HAS SOUPS 65331 WITH SCORE 65609.19
AT ITER 388 NEW BEST:: SOT 385999 SOS 277912 HAS SOPS 241933 HAS SOUS 98187 HAS SOUPS 65254 WITH SCORE 65531.912
AT ITER 394 NEW BEST:: SOT 385835 SOS 277584 HAS SOPS 241769 HAS SOUS 98023 HAS SOUPS 65254 WITH SCORE 65531.584
AT ITER 395 NEW BEST:: SOT 385792 SOS 277498 HAS SOPS 241726 HAS SOUS 97980 HAS SOUPS 65254 WITH SCORE 65531.498
AT ITER 396 NEW BEST:: SOT 385604 SOS 277216 HAS SOPS 241538 HAS SOUS 97698 HAS SOUPS 65066 WITH SCORE 65343.216
AT ITER 398 NEW BEST:: SOT 385033 SOS 276645 HAS SOPS 240967 HAS SOUS 97218 HAS SOUPS 64586 WITH SCORE 64862.645
AT ITER 400 NEW BEST:: SOT 384749 SOS 276219 HAS SOPS 240683 HAS SOUS 96792 HAS SOUPS 64302 WITH SCORE 64578.219
AT ITER 407 NEW BEST:: SOT 384637 SOS 276219 HAS SOPS 240783 HAS SOUS 96680 HAS SOUPS 64290 WITH SCORE 64566.219
AT ITER 409 NEW BEST:: SOT 384594 SOS 276219 HAS SOPS 240783 HAS SOUS 96637 HAS SOUPS 64247 WITH SCORE 64523.219
AT ITER 416 NEW BEST:: SOT 384605 SOS 276382 HAS SOPS 240654 HAS SOUS 96508 HAS SOUPS 63966 WITH SCORE 64242.382
AT ITER 418 NEW BEST:: SOT 384596 SOS 276382 HAS SOPS 240654 HAS SOUS 96499 HAS SOUPS 63957 WITH SCORE 64233.382
AT ITER 431 NEW BEST:: SOT 384496 SOS 276232 HAS SOPS 240554 HAS SOUS 96349 HAS SOUPS 63857 WITH SCORE 64133.232
AT ITER 433 NEW BEST:: SOT 384486 SOS 276217 HAS SOPS 240544 HAS SOUS 96334 HAS SOUPS 63847 WITH SCORE 64123.217
AT ITER 435 NEW BEST:: SOT 384317 SOS 276154 HAS SOPS 240481 HAS SOUS 96327 HAS SOUPS 63840 WITH SCORE 64116.154
AT ITER 439 NEW BEST:: SOT 384242 SOS 276004 HAS SOPS 240406 HAS SOUS 96252 HAS SOUPS 63840 WITH SCORE 64116.004
AT ITER 440 NEW BEST:: SOT 384069 SOS 276004 HAS SOPS 240434 HAS SOUS 96079 HAS SOUPS 63695 WITH SCORE 63971.004
AT ITER 441 NEW BEST:: SOT 384069 SOS 275979 HAS SOPS 240434 HAS SOUS 96054 HAS SOUPS 63695 WITH SCORE 63970.979
AT ITER 442 NEW BEST:: SOT 383951 SOS 275861 HAS SOPS 240316 HAS SOUS 95936 HAS SOUPS 63577 WITH SCORE 63852.861
AT ITER 448 NEW BEST:: SOT 383551 SOS 275260 HAS SOPS 239916 HAS SOUS 95337 HAS SOUPS 63179 WITH SCORE 63454.26
AT ITER 453 NEW BEST:: SOT 383420 SOS 275129 HAS SOPS 239785 HAS SOUS 95337 HAS SOUPS 63179 WITH SCORE 63454.129
AT ITER 455 NEW BEST:: SOT 383477 SOS 275659 HAS SOPS 239842 HAS SOUS 95469 HAS SOUPS 63084 WITH SCORE 63359.659
AT ITER 456 NEW BEST:: SOT 383398 SOS 275501 HAS SOPS 239842 HAS SOUS 95390 HAS SOUPS 63084 WITH SCORE 63359.501
AT ITER 468 NEW BEST:: SOT 383391 SOS 275487 HAS SOPS 239835 HAS SOUS 95383 HAS SOUPS 63084 WITH SCORE 63359.487
AT ITER 478 NEW BEST:: SOT 383273 SOS 275487 HAS SOPS 239835 HAS SOUS 95265 HAS SOUPS 62966 WITH SCORE 63241.487
AT ITER 485 NEW BEST:: SOT 383268 SOS 275482 HAS SOPS 239830 HAS SOUS 95255 HAS SOUPS 62956 WITH SCORE 63231.482
AT ITER 487 NEW BEST:: SOT 382980 SOS 275050 HAS SOPS 239542 HAS SOUS 94823 HAS SOUPS 62668 WITH SCORE 62943.05
AT ITER 493 NEW BEST:: SOT 382802 SOS 274783 HAS SOPS 239364 HAS SOUS 94556 HAS SOUPS 62490 WITH SCORE 62764.783
AT ITER 496 NEW BEST:: SOT 382566 SOS 274369 HAS SOPS 239128 HAS SOUS 94262 HAS SOUPS 62374 WITH SCORE 62648.369
AT ITER 498 NEW BEST:: SOT 382430 SOS 274369 HAS SOPS 239128 HAS SOUS 94126 HAS SOUPS 62238 WITH SCORE 62512.369
AT ITER 505 NEW BEST:: SOT 382411 SOS 274331 HAS SOPS 239109 HAS SOUS 94069 HAS SOUPS 62200 WITH SCORE 62474.331
AT ITER 512 NEW BEST:: SOT 382377 SOS 274331 HAS SOPS 239129 HAS SOUS 94035 HAS SOUPS 62186 WITH SCORE 62460.331
AT ITER 529 NEW BEST:: SOT 382308 SOS 274193 HAS SOPS 239060 HAS SOUS 93966 HAS SOUPS 62186 WITH SCORE 62460.193
AT ITER 536 NEW BEST:: SOT 382308 SOS 274297 HAS SOPS 239060 HAS SOUS 93966 HAS SOUPS 62140 WITH SCORE 62414.297
AT ITER 541 NEW BEST:: SOT 382217 SOS 274297 HAS SOPS 239060 HAS SOUS 93875 HAS SOUPS 62049 WITH SCORE 62323.297
AT ITER 542 NEW BEST:: SOT 382255 SOS 274387 HAS SOPS 239032 HAS SOUS 93913 HAS SOUPS 62021 WITH SCORE 62295.387
AT ITER 554 NEW BEST:: SOT 382256 SOS 274457 HAS SOPS 239033 HAS SOUS 93858 HAS SOUPS 61897 WITH SCORE 62171.457
AT ITER 570 NEW BEST:: SOT 381905 SOS 274106 HAS SOPS 238870 HAS SOUS 93807 HAS SOUPS 61846 WITH SCORE 62120.106
AT ITER 574 NEW BEST:: SOT 381861 SOS 274062 HAS SOPS 238826 HAS SOUS 93719 HAS SOUPS 61758 WITH SCORE 62032.062
AT ITER 577 NEW BEST:: SOT 381501 SOS 273848 HAS SOPS 238612 HAS SOUS 93704 HAS SOUPS 61743 WITH SCORE 62016.848
AT ITER 582 NEW BEST:: SOT 381397 SOS 273640 HAS SOPS 238508 HAS SOUS 93600 HAS SOUPS 61743 WITH SCORE 62016.64
AT ITER 585 NEW BEST:: SOT 381368 SOS 273589 HAS SOPS 238479 HAS SOUS 93564 HAS SOUPS 61729 WITH SCORE 62002.589
AT ITER 586 NEW BEST:: SOT 381261 SOS 273482 HAS SOPS 238372 HAS SOUS 93564 HAS SOUPS 61729 WITH SCORE 62002.482
AT ITER 588 NEW BEST:: SOT 381031 SOS 273252 HAS SOPS 238142 HAS SOUS 93398 HAS SOUPS 61563 WITH SCORE 61836.252
AT ITER 591 NEW BEST:: SOT 380851 SOS 273072 HAS SOPS 237962 HAS SOUS 93379 HAS SOUPS 61544 WITH SCORE 61817.072
AT ITER 592 NEW BEST:: SOT 380732 SOS 272953 HAS SOPS 237843 HAS SOUS 93225 HAS SOUPS 61390 WITH SCORE 61662.953
AT ITER 599 NEW BEST:: SOT 380498 SOS 272719 HAS SOPS 237609 HAS SOUS 92999 HAS SOUPS 61164 WITH SCORE 61436.719
AT ITER 600 NEW BEST:: SOT 380498 SOS 272530 HAS SOPS 237609 HAS SOUS 92769 HAS SOUPS 61123 WITH SCORE 61395.53
AT ITER 604 NEW BEST:: SOT 380246 SOS 272278 HAS SOPS 237357 HAS SOUS 92583 HAS SOUPS 60937 WITH SCORE 61209.278
AT ITER 606 NEW BEST:: SOT 380219 SOS 272278 HAS SOPS 237357 HAS SOUS 92556 HAS SOUPS 60910 WITH SCORE 61182.278
AT ITER 612 NEW BEST:: SOT 380219 SOS 272266 HAS SOPS 237345 HAS SOUS 92544 HAS SOUPS 60898 WITH SCORE 61170.266
AT ITER 616 NEW BEST:: SOT 379841 SOS 272016 HAS SOPS 237095 HAS SOUS 92433 HAS SOUPS 60787 WITH SCORE 61059.016
AT ITER 623 NEW BEST:: SOT 379496 SOS 271671 HAS SOPS 236750 HAS SOUS 92111 HAS SOUPS 60465 WITH SCORE 60736.671
AT ITER 625 NEW BEST:: SOT 379399 SOS 271477 HAS SOPS 236750 HAS SOUS 92014 HAS SOUPS 60465 WITH SCORE 60736.477
AT ITER 637 NEW BEST:: SOT 379354 SOS 271432 HAS SOPS 236705 HAS SOUS 92014 HAS SOUPS 60465 WITH SCORE 60736.432
AT ITER 642 NEW BEST:: SOT 378909 SOS 270987 HAS SOPS 236380 HAS SOUS 91689 HAS SOUPS 60140 WITH SCORE 60410.987
AT ITER 646 NEW BEST:: SOT 378900 SOS 270978 HAS SOPS 236362 HAS SOUS 91671 HAS SOUPS 60122 WITH SCORE 60392.978
AT ITER 648 NEW BEST:: SOT 378891 SOS 270886 HAS SOPS 236356 HAS SOUS 91665 HAS SOUPS 60116 WITH SCORE 60386.886
AT ITER 653 NEW BEST:: SOT 378856 SOS 270851 HAS SOPS 236321 HAS SOUS 91665 HAS SOUPS 60116 WITH SCORE 60386.851
AT ITER 655 NEW BEST:: SOT 378852 SOS 270845 HAS SOPS 236317 HAS SOUS 91659 HAS SOUPS 60112 WITH SCORE 60382.845
AT ITER 672 NEW BEST:: SOT 378761 SOS 270754 HAS SOPS 236226 HAS SOUS 91477 HAS SOUPS 59930 WITH SCORE 60200.754
AT ITER 673 NEW BEST:: SOT 378761 SOS 271212 HAS SOPS 236226 HAS SOUS 91527 HAS SOUPS 59726 WITH SCORE 59997.212
AT ITER 678 NEW BEST:: SOT 378569 SOS 271020 HAS SOPS 236034 HAS SOUS 91335 HAS SOUPS 59534 WITH SCORE 59805.02
AT ITER 683 NEW BEST:: SOT 378544 SOS 270970 HAS SOPS 236009 HAS SOUS 91310 HAS SOUPS 59534 WITH SCORE 59804.97
AT ITER 684 NEW BEST:: SOT 378284 SOS 270534 HAS SOPS 235749 HAS SOUS 90966 HAS SOUPS 59366 WITH SCORE 59636.534
AT ITER 687 NEW BEST:: SOT 378187 SOS 270323 HAS SOPS 235652 HAS SOUS 90772 HAS SOUPS 59172 WITH SCORE 59442.323
AT ITER 696 NEW BEST:: SOT 378035 SOS 270323 HAS SOPS 235652 HAS SOUS 90620 HAS SOUPS 59020 WITH SCORE 59290.323
AT ITER 701 NEW BEST:: SOT 377962 SOS 270374 HAS SOPS 235703 HAS SOUS 90598 HAS SOUPS 58998 WITH SCORE 59268.374
AT ITER 715 NEW BEST:: SOT 377762 SOS 269957 HAS SOPS 235503 HAS SOUS 89981 HAS SOUPS 58598 WITH SCORE 58867.957
AT ITER 719 NEW BEST:: SOT 377762 SOS 270383 HAS SOPS 235503 HAS SOUS 90009 HAS SOUPS 58399 WITH SCORE 58669.383
AT ITER 728 NEW BEST:: SOT 377714 SOS 270335 HAS SOPS 235455 HAS SOUS 89913 HAS SOUPS 58303 WITH SCORE 58573.335
AT ITER 734 NEW BEST:: SOT 377597 SOS 270218 HAS SOPS 235224 HAS SOUS 89682 HAS SOUPS 58072 WITH SCORE 58342.218
AT ITER 737 NEW BEST:: SOT 377469 SOS 270144 HAS SOPS 235150 HAS SOUS 89665 HAS SOUPS 58055 WITH SCORE 58325.144
AT ITER 766 NEW BEST:: SOT 377397 SOS 270072 HAS SOPS 235078 HAS SOUS 89521 HAS SOUPS 57911 WITH SCORE 58181.072
AT ITER 770 NEW BEST:: SOT 377299 SOS 270072 HAS SOPS 234980 HAS SOUS 89521 HAS SOUPS 57813 WITH SCORE 58083.072
AT ITER 777 NEW BEST:: SOT 377185 SOS 270072 HAS SOPS 235002 HAS SOUS 89407 HAS SOUPS 57721 WITH SCORE 57991.072
AT ITER 779 NEW BEST:: SOT 376729 SOS 269616 HAS SOPS 234670 HAS SOUS 89166 HAS SOUPS 57480 WITH SCORE 57749.616
AT ITER 792 NEW BEST:: SOT 376613 SOS 269384 HAS SOPS 234554 HAS SOUS 89050 HAS SOUPS 57480 WITH SCORE 57749.384
AT ITER 794 NEW BEST:: SOT 376567 SOS 269338 HAS SOPS 234508 HAS SOUS 89050 HAS SOUPS 57480 WITH SCORE 57749.338
AT ITER 796 NEW BEST:: SOT 376460 SOS 269338 HAS SOPS 234558 HAS SOUS 88943 HAS SOUPS 57423 WITH SCORE 57692.338
AT ITER 797 NEW BEST:: SOT 376411 SOS 269254 HAS SOPS 234509 HAS SOUS 88880 HAS SOUPS 57395 WITH SCORE 57664.254
AT ITER 801 NEW BEST:: SOT 376387 SOS 269206 HAS SOPS 234485 HAS SOUS 88856 HAS SOUPS 57395 WITH SCORE 57664.206
AT ITER 803 NEW BEST:: SOT 376387 SOS 269465 HAS SOPS 234485 HAS SOUS 88877 HAS SOUPS 57276 WITH SCORE 57545.465
AT ITER 811 NEW BEST:: SOT 376005 SOS 269209 HAS SOPS 234229 HAS SOUS 88662 HAS SOUPS 57061 WITH SCORE 57330.209
AT ITER 812 NEW BEST:: SOT 375985 SOS 269189 HAS SOPS 234209 HAS SOUS 88640 HAS SOUPS 57039 WITH SCORE 57308.189
AT ITER 816 NEW BEST:: SOT 375951 SOS 269155 HAS SOPS 234175 HAS SOUS 88572 HAS SOUPS 56971 WITH SCORE 57240.155
AT ITER 828 NEW BEST:: SOT 375847 SOS 269155 HAS SOPS 234175 HAS SOUS 88468 HAS SOUPS 56867 WITH SCORE 57136.155
AT ITER 829 NEW BEST:: SOT 375566 SOS 268874 HAS SOPS 233894 HAS SOUS 88353 HAS SOUPS 56752 WITH SCORE 57020.874
AT ITER 831 NEW BEST:: SOT 375535 SOS 268843 HAS SOPS 233863 HAS SOUS 88291 HAS SOUPS 56690 WITH SCORE 56958.843
AT ITER 843 NEW BEST:: SOT 375166 SOS 268280 HAS SOPS 233494 HAS SOUS 87747 HAS SOUPS 56340 WITH SCORE 56608.28
AT ITER 844 NEW BEST:: SOT 375168 SOS 268281 HAS SOPS 233495 HAS SOUS 87744 HAS SOUPS 56337 WITH SCORE 56605.281
AT ITER 846 NEW BEST:: SOT 375105 SOS 268218 HAS SOPS 233432 HAS SOUS 87618 HAS SOUPS 56211 WITH SCORE 56479.218
AT ITER 852 NEW BEST:: SOT 375099 SOS 268212 HAS SOPS 233426 HAS SOUS 87606 HAS SOUPS 56199 WITH SCORE 56467.212
AT ITER 853 NEW BEST:: SOT 374869 SOS 268880 HAS SOPS 234094 HAS SOUS 87376 HAS SOUPS 55969 WITH SCORE 56237.88
AT ITER 859 NEW BEST:: SOT 374867 SOS 268876 HAS SOPS 234092 HAS SOUS 87374 HAS SOUPS 55969 WITH SCORE 56237.876
AT ITER 868 NEW BEST:: SOT 374860 SOS 268862 HAS SOPS 234092 HAS SOUS 87367 HAS SOUPS 55969 WITH SCORE 56237.862
AT ITER 869 NEW BEST:: SOT 374875 SOS 269346 HAS SOPS 234107 HAS SOUS 87497 HAS SOUPS 55790 WITH SCORE 56059.346
AT ITER 872 NEW BEST:: SOT 374929 SOS 269400 HAS SOPS 234161 HAS SOUS 87459 HAS SOUPS 55752 WITH SCORE 56021.4
AT ITER 882 NEW BEST:: SOT 374927 SOS 269398 HAS SOPS 234159 HAS SOUS 87455 HAS SOUPS 55748 WITH SCORE 56017.398
AT ITER 886 NEW BEST:: SOT 374905 SOS 269376 HAS SOPS 234137 HAS SOUS 87411 HAS SOUPS 55704 WITH SCORE 55973.376
AT ITER 890 NEW BEST:: SOT 374885 SOS 269323 HAS SOPS 234084 HAS SOUS 87371 HAS SOUPS 55664 WITH SCORE 55933.323
AT ITER 915 NEW BEST:: SOT 374872 SOS 269310 HAS SOPS 234071 HAS SOUS 87345 HAS SOUPS 55638 WITH SCORE 55907.31
AT ITER 919 NEW BEST:: SOT 374909 SOS 269835 HAS SOPS 234108 HAS SOUS 87609 HAS SOUPS 55563 WITH SCORE 55832.835
AT ITER 922 NEW BEST:: SOT 374821 SOS 269747 HAS SOPS 234038 HAS SOUS 87468 HAS SOUPS 55440 WITH SCORE 55709.747
AT ITER 923 NEW BEST:: SOT 374684 SOS 269610 HAS SOPS 233901 HAS SOUS 87194 HAS SOUPS 55166 WITH SCORE 55435.61
AT ITER 930 NEW BEST:: SOT 374684 SOS 269851 HAS SOPS 233901 HAS SOUS 87194 HAS SOUPS 55076 WITH SCORE 55345.851
AT ITER 932 NEW BEST:: SOT 374741 SOS 270412 HAS SOPS 233958 HAS SOUS 87492 HAS SOUPS 54981 WITH SCORE 55251.412
AT ITER 936 NEW BEST:: SOT 374652 SOS 270323 HAS SOPS 233869 HAS SOUS 87441 HAS SOUPS 54930 WITH SCORE 55200.323
AT ITER 940 NEW BEST:: SOT 374515 SOS 270323 HAS SOPS 233961 HAS SOUS 87304 HAS SOUPS 54885 WITH SCORE 55155.323
AT ITER 941 NEW BEST:: SOT 374391 SOS 270323 HAS SOPS 234033 HAS SOUS 87180 HAS SOUPS 54833 WITH SCORE 55103.323
AT ITER 949 NEW BEST:: SOT 374367 SOS 270537 HAS SOPS 234009 HAS SOUS 87156 HAS SOUPS 54670 WITH SCORE 54940.537
AT ITER 954 NEW BEST:: SOT 374282 SOS 270506 HAS SOPS 233978 HAS SOUS 87092 HAS SOUPS 54606 WITH SCORE 54876.506
AT ITER 959 NEW BEST:: SOT 378511 SOS 267026 HAS SOPS 223174 HAS SOUS 84203 HAS SOUPS 51717 WITH SCORE 51984.026
AT ITER 965 NEW BEST:: SOT 378463 SOS 267104 HAS SOPS 223126 HAS SOUS 84155 HAS SOUPS 51669 WITH SCORE 51936.104
AT ITER 969 NEW BEST:: SOT 378463 SOS 267104 HAS SOPS 223118 HAS SOUS 84155 HAS SOUPS 51661 WITH SCORE 51928.104
AT ITER 975 NEW BEST:: SOT 378463 SOS 267100 HAS SOPS 223114 HAS SOUS 84155 HAS SOUPS 51661 WITH SCORE 51928.1
AT ITER 993 NEW BEST:: SOT 378336 SOS 266836 HAS SOPS 223036 HAS SOUS 84038 HAS SOUPS 51632 WITH SCORE 51898.836
AT ITER 996 NEW BEST:: SOT 378236 SOS 266636 HAS SOPS 222936 HAS SOUS 83938 HAS SOUPS 51582 WITH SCORE 51848.636
AT ITER 997 NEW BEST:: SOT 378259 SOS 267339 HAS SOPS 222959 HAS SOUS 83984 HAS SOUPS 51288 WITH SCORE 51555.339
AT ITER 1004 NEW BEST:: SOT 378259 SOS 267247 HAS SOPS 222959 HAS SOUS 83984 HAS SOUPS 51288 WITH SCORE 51555.247
AT ITER 1007 NEW BEST:: SOT 378095 SOS 267243 HAS SOPS 223037 HAS SOUS 83820 HAS SOUPS 51206 WITH SCORE 51473.243
AT ITER 1009 NEW BEST:: SOT 377973 SOS 266877 HAS SOPS 222915 HAS SOUS 83576 HAS SOUPS 51084 WITH SCORE 51350.877
AT ITER 1010 NEW BEST:: SOT 377550 SOS 266454 HAS SOPS 222492 HAS SOUS 83153 HAS SOUPS 50661 WITH SCORE 50927.454
AT ITER 1016 NEW BEST:: SOT 377541 SOS 266445 HAS SOPS 222474 HAS SOUS 83135 HAS SOUPS 50643 WITH SCORE 50909.445
AT ITER 1021 NEW BEST:: SOT 377541 SOS 266665 HAS SOPS 222474 HAS SOUS 83135 HAS SOUPS 50533 WITH SCORE 50799.665
AT ITER 1032 NEW BEST:: SOT 377583 SOS 267405 HAS SOPS 222516 HAS SOUS 83219 HAS SOUPS 50268 WITH SCORE 50535.405
AT ITER 1035 NEW BEST:: SOT 377427 SOS 267396 HAS SOPS 222507 HAS SOUS 83063 HAS SOUPS 50112 WITH SCORE 50379.396
AT ITER 1049 NEW BEST:: SOT 377373 SOS 267342 HAS SOPS 222314 HAS SOUS 82955 HAS SOUPS 50004 WITH SCORE 50271.342
AT ITER 1059 NEW BEST:: SOT 377361 SOS 267330 HAS SOPS 222302 HAS SOUS 82931 HAS SOUPS 49980 WITH SCORE 50247.33
AT ITER 1070 NEW BEST:: SOT 377348 SOS 267317 HAS SOPS 222289 HAS SOUS 82905 HAS SOUPS 49954 WITH SCORE 50221.317
AT ITER 1073 NEW BEST:: SOT 377231 SOS 267317 HAS SOPS 222387 HAS SOUS 82788 HAS SOUPS 49935 WITH SCORE 50202.317
AT ITER 1076 NEW BEST:: SOT 377040 SOS 267019 HAS SOPS 222005 HAS SOUS 82406 HAS SOUPS 49553 WITH SCORE 49820.019
AT ITER 1080 NEW BEST:: SOT 377090 SOS 267169 HAS SOPS 222055 HAS SOUS 82406 HAS SOUPS 49503 WITH SCORE 49770.169
AT ITER 1107 NEW BEST:: SOT 380923 SOS 259041 HAS SOPS 206528 HAS SOUS 86239 HAS SOUPS 45937 WITH SCORE 46196.041
AT ITER 1136 NEW BEST:: SOT 380902 SOS 259020 HAS SOPS 206561 HAS SOUS 86143 HAS SOUPS 45895 WITH SCORE 46154.02
AT ITER 1155 NEW BEST:: SOT 380902 SOS 258914 HAS SOPS 206561 HAS SOUS 86143 HAS SOUPS 45895 WITH SCORE 46153.914
AT ITER 1161 NEW BEST:: SOT 380945 SOS 259173 HAS SOPS 206604 HAS SOUS 86229 HAS SOUPS 45831 WITH SCORE 46090.173
AT ITER 1165 NEW BEST:: SOT 380941 SOS 259228 HAS SOPS 206655 HAS SOUS 86166 HAS SOUPS 45823 WITH SCORE 46082.228
AT ITER 1170 NEW BEST:: SOT 380941 SOS 259358 HAS SOPS 206655 HAS SOUS 86166 HAS SOUPS 45754 WITH SCORE 46013.358
AT ITER 1182 NEW BEST:: SOT 380807 SOS 259223 HAS SOPS 206387 HAS SOUS 85898 HAS SOUPS 45486 WITH SCORE 45745.223
AT ITER 1185 NEW BEST:: SOT 380990 SOS 259469 HAS SOPS 206449 HAS SOUS 85960 HAS SOUPS 45365 WITH SCORE 45624.469
AT ITER 1186 NEW BEST:: SOT 380633 SOS 259051 HAS SOPS 206153 HAS SOUS 85641 HAS SOUPS 45168 WITH SCORE 45427.051
AT ITER 1194 NEW BEST:: SOT 380626 SOS 259044 HAS SOPS 206146 HAS SOUS 85627 HAS SOUPS 45154 WITH SCORE 45413.044
AT ITER 1197 NEW BEST:: SOT 380626 SOS 259055 HAS SOPS 206116 HAS SOUS 85608 HAS SOUPS 45094 WITH SCORE 45353.055
AT ITER 1201 NEW BEST:: SOT 380490 SOS 258433 HAS SOPS 205980 HAS SOUS 85158 HAS SOUPS 44944 WITH SCORE 45202.433
AT ITER 1208 NEW BEST:: SOT 380657 SOS 258558 HAS SOPS 205815 HAS SOUS 85332 HAS SOUPS 44828 WITH SCORE 45086.558
AT ITER 1220 NEW BEST:: SOT 380698 SOS 258727 HAS SOPS 205833 HAS SOUS 85373 HAS SOUPS 44782 WITH SCORE 45040.727
AT ITER 1221 NEW BEST:: SOT 380702 SOS 258735 HAS SOPS 205833 HAS SOUS 85373 HAS SOUPS 44778 WITH SCORE 45036.735
AT ITER 1224 NEW BEST:: SOT 380701 SOS 258662 HAS SOPS 205647 HAS SOUS 85485 HAS SOUPS 44777 WITH SCORE 45035.662
AT ITER 1230 NEW BEST:: SOT 380385 SOS 257942 HAS SOPS 205331 HAS SOUS 85169 HAS SOUPS 44663 WITH SCORE 44920.942
AT ITER 1231 NEW BEST:: SOT 380416 SOS 258035 HAS SOPS 205331 HAS SOUS 85169 HAS SOUPS 44632 WITH SCORE 44890.035
AT ITER 1233 NEW BEST:: SOT 380416 SOS 257986 HAS SOPS 205282 HAS SOUS 85169 HAS SOUPS 44632 WITH SCORE 44889.986
AT ITER 1236 NEW BEST:: SOT 380301 SOS 257723 HAS SOPS 205167 HAS SOUS 85087 HAS SOUPS 44624 WITH SCORE 44881.723
AT ITER 1246 NEW BEST:: SOT 380277 SOS 257699 HAS SOPS 205191 HAS SOUS 85039 HAS SOUPS 44624 WITH SCORE 44881.699
AT ITER 1274 NEW BEST:: SOT 380192 SOS 257305 HAS SOPS 205106 HAS SOUS 84828 HAS SOUPS 44588 WITH SCORE 44845.305
AT ITER 1285 NEW BEST:: SOT 379957 SOS 257059 HAS SOPS 204882 HAS SOUS 84789 HAS SOUPS 44571 WITH SCORE 44828.059
AT ITER 1288 NEW BEST:: SOT 379936 SOS 257135 HAS SOPS 204670 HAS SOUS 84552 HAS SOUPS 44237 WITH SCORE 44494.135
AT ITER 1291 NEW BEST:: SOT 379936 SOS 257135 HAS SOPS 204641 HAS SOUS 84436 HAS SOUPS 44092 WITH SCORE 44349.135
AT ITER 1292 NEW BEST:: SOT 379942 SOS 257135 HAS SOPS 204625 HAS SOUS 84442 HAS SOUPS 44082 WITH SCORE 44339.135
AT ITER 1307 NEW BEST:: SOT 379938 SOS 257131 HAS SOPS 204621 HAS SOUS 84434 HAS SOUPS 44074 WITH SCORE 44331.131
AT ITER 1315 NEW BEST:: SOT 379938 SOS 257131 HAS SOPS 204621 HAS SOUS 84368 HAS SOUPS 44008 WITH SCORE 44265.131
AT ITER 1349 NEW BEST:: SOT 379938 SOS 257068 HAS SOPS 204621 HAS SOUS 84368 HAS SOUPS 44008 WITH SCORE 44265.068
AT ITER 1351 NEW BEST:: SOT 380289 SOS 257999 HAS SOPS 204902 HAS SOUS 84719 HAS SOUPS 43999 WITH SCORE 44256.999
AT ITER 1361 NEW BEST:: SOT 380289 SOS 257999 HAS SOPS 204862 HAS SOUS 84719 HAS SOUPS 43959 WITH SCORE 44216.999
AT ITER 1373 NEW BEST:: SOT 380289 SOS 258356 HAS SOPS 204862 HAS SOUS 84719 HAS SOUPS 43853 WITH SCORE 44111.356
AT ITER 1403 NEW BEST:: SOT 380381 SOS 258468 HAS SOPS 204705 HAS SOUS 84515 HAS SOUPS 43629 WITH SCORE 43887.468
AT ITER 1418 NEW BEST:: SOT 380071 SOS 257848 HAS SOPS 204395 HAS SOUS 84205 HAS SOUPS 43474 WITH SCORE 43731.848
AT ITER 1434 NEW BEST:: SOT 380092 SOS 258305 HAS SOPS 204416 HAS SOUS 84247 HAS SOUPS 43340 WITH SCORE 43598.305
AT ITER 1439 NEW BEST:: SOT 380092 SOS 258216 HAS SOPS 204416 HAS SOUS 84247 HAS SOUPS 43340 WITH SCORE 43598.216
AT ITER 1443 NEW BEST:: SOT 380068 SOS 258192 HAS SOPS 204392 HAS SOUS 84199 HAS SOUPS 43292 WITH SCORE 43550.192
AT ITER 1445 NEW BEST:: SOT 380201 SOS 258741 HAS SOPS 204317 HAS SOUS 84124 HAS SOUPS 43009 WITH SCORE 43267.741
AT ITER 1468 NEW BEST:: SOT 380201 SOS 258741 HAS SOPS 204199 HAS SOUS 84124 HAS SOUPS 42891 WITH SCORE 43149.741
AT ITER 1472 NEW BEST:: SOT 380057 SOS 258597 HAS SOPS 204055 HAS SOUS 84018 HAS SOUPS 42785 WITH SCORE 43043.597
AT ITER 1483 NEW BEST:: SOT 380057 SOS 258950 HAS SOPS 204055 HAS SOUS 84018 HAS SOUPS 42646 WITH SCORE 42904.95
AT ITER 1525 NEW BEST:: SOT 380051 SOS 258941 HAS SOPS 204049 HAS SOUS 84012 HAS SOUPS 42643 WITH SCORE 42901.941
AT ITER 1539 NEW BEST:: SOT 380031 SOS 258911 HAS SOPS 204029 HAS SOUS 83982 HAS SOUPS 42623 WITH SCORE 42881.911
AT ITER 1546 NEW BEST:: SOT 379994 SOS 258840 HAS SOPS 203992 HAS SOUS 83942 HAS SOUPS 42617 WITH SCORE 42875.84
AT ITER 1556 NEW BEST:: SOT 379994 SOS 258824 HAS SOPS 203992 HAS SOUS 83942 HAS SOUPS 42617 WITH SCORE 42875.824
AT ITER 1563 NEW BEST:: SOT 379917 SOS 258747 HAS SOPS 203915 HAS SOUS 83788 HAS SOUPS 42463 WITH SCORE 42721.747
AT ITER 1576 NEW BEST:: SOT 379966 SOS 258845 HAS SOPS 203958 HAS SOUS 83831 HAS SOUPS 42457 WITH SCORE 42715.845
AT ITER 1580 NEW BEST:: SOT 379966 SOS 258793 HAS SOPS 203906 HAS SOUS 83831 HAS SOUPS 42457 WITH SCORE 42715.793
AT ITER 1589 NEW BEST:: SOT 379966 SOS 258820 HAS SOPS 203852 HAS SOUS 83831 HAS SOUPS 42403 WITH SCORE 42661.82
AT ITER 1594 NEW BEST:: SOT 379965 SOS 258819 HAS SOPS 203701 HAS SOUS 83830 HAS SOUPS 42402 WITH SCORE 42660.819
AT ITER 1602 NEW BEST:: SOT 379964 SOS 258818 HAS SOPS 203700 HAS SOUS 83829 HAS SOUPS 42401 WITH SCORE 42659.818
AT ITER 1644 NEW BEST:: SOT 380122 SOS 259248 HAS SOPS 203684 HAS SOUS 83987 HAS SOUPS 42303 WITH SCORE 42562.248
AT ITER 1655 NEW BEST:: SOT 380122 SOS 243113 HAS SOPS 187620 HAS SOUS 83916 HAS SOUPS 42303 WITH SCORE 42546.113
AT ITER 1662 NEW BEST:: SOT 380061 SOS 243052 HAS SOPS 187559 HAS SOUS 83794 HAS SOUPS 42181 WITH SCORE 42424.052
AT ITER 1673 NEW BEST:: SOT 380056 SOS 243042 HAS SOPS 187554 HAS SOUS 83789 HAS SOUPS 42181 WITH SCORE 42424.042
AT ITER 1680 NEW BEST:: SOT 380034 SOS 243020 HAS SOPS 187554 HAS SOUS 83789 HAS SOUPS 42181 WITH SCORE 42424.02
AT ITER 1684 NEW BEST:: SOT 380029 SOS 243015 HAS SOPS 187544 HAS SOUS 83779 HAS SOUPS 42171 WITH SCORE 42414.015
AT ITER 1685 NEW BEST:: SOT 380243 SOS 243683 HAS SOPS 187531 HAS SOUS 83766 HAS SOUPS 41931 WITH SCORE 42174.683
AT ITER 1689 NEW BEST:: SOT 380411 SOS 244196 HAS SOPS 187399 HAS SOUS 83934 HAS SOUPS 41712 WITH SCORE 41956.196
AT ITER 1693 NEW BEST:: SOT 380317 SOS 244102 HAS SOPS 187212 HAS SOUS 83747 HAS SOUPS 41525 WITH SCORE 41769.102
AT ITER 1715 NEW BEST:: SOT 380317 SOS 244067 HAS SOPS 187177 HAS SOUS 83747 HAS SOUPS 41525 WITH SCORE 41769.067
AT ITER 1720 NEW BEST:: SOT 380317 SOS 244058 HAS SOPS 187168 HAS SOUS 83747 HAS SOUPS 41525 WITH SCORE 41769.058
AT ITER 1723 NEW BEST:: SOT 380225 SOS 243874 HAS SOPS 187076 HAS SOUS 83655 HAS SOUPS 41479 WITH SCORE 41722.874
AT ITER 1733 NEW BEST:: SOT 380206 SOS 243855 HAS SOPS 187057 HAS SOUS 83617 HAS SOUPS 41441 WITH SCORE 41684.855
AT ITER 1745 NEW BEST:: SOT 380247 SOS 243998 HAS SOPS 187098 HAS SOUS 83607 HAS SOUPS 41380 WITH SCORE 41623.998
AT ITER 1753 NEW BEST:: SOT 380247 SOS 243996 HAS SOPS 187098 HAS SOUS 83607 HAS SOUPS 41380 WITH SCORE 41623.996
AT ITER 1776 NEW BEST:: SOT 380247 SOS 243993 HAS SOPS 187098 HAS SOUS 83596 HAS SOUPS 41369 WITH SCORE 41612.993
AT ITER 1784 NEW BEST:: SOT 380355 SOS 244750 HAS SOPS 187206 HAS SOUS 83885 HAS SOUPS 41297 WITH SCORE 41541.75
AT ITER 1797 NEW BEST:: SOT 380355 SOS 244742 HAS SOPS 187170 HAS SOUS 83878 HAS SOUPS 41272 WITH SCORE 41516.742
AT ITER 1798 NEW BEST:: SOT 380357 SOS 244744 HAS SOPS 187172 HAS SOUS 83832 HAS SOUPS 41226 WITH SCORE 41470.744
AT ITER 1831 NEW BEST:: SOT 380444 SOS 244865 HAS SOPS 187225 HAS SOUS 83899 HAS SOUPS 41225 WITH SCORE 41469.865
AT ITER 1833 NEW BEST:: SOT 380305 SOS 244726 HAS SOPS 187086 HAS SOUS 83827 HAS SOUPS 41153 WITH SCORE 41397.726
AT ITER 1852 NEW BEST:: SOT 380245 SOS 244666 HAS SOPS 187039 HAS SOUS 83717 HAS SOUPS 41043 WITH SCORE 41287.666
AT ITER 1856 NEW BEST:: SOT 380226 SOS 244647 HAS SOPS 187020 HAS SOUS 83679 HAS SOUPS 41005 WITH SCORE 41249.647
AT ITER 1859 NEW BEST:: SOT 380225 SOS 244646 HAS SOPS 187019 HAS SOUS 83678 HAS SOUPS 41004 WITH SCORE 41248.646
AT ITER 1864 NEW BEST:: SOT 380224 SOS 244645 HAS SOPS 187018 HAS SOUS 83677 HAS SOUPS 41003 WITH SCORE 41247.645
AT ITER 1866 NEW BEST:: SOT 380130 SOS 244551 HAS SOPS 186830 HAS SOUS 83489 HAS SOUPS 40815 WITH SCORE 41059.551
AT ITER 1869 NEW BEST:: SOT 380130 SOS 244470 HAS SOPS 186830 HAS SOUS 83408 HAS SOUPS 40815 WITH SCORE 41059.47
AT ITER 1870 NEW BEST:: SOT 380130 SOS 244425 HAS SOPS 186830 HAS SOUS 83408 HAS SOUPS 40815 WITH SCORE 41059.425
AT ITER 1873 NEW BEST:: SOT 380091 SOS 244347 HAS SOPS 186752 HAS SOUS 83330 HAS SOUPS 40737 WITH SCORE 40981.347
AT ITER 1889 NEW BEST:: SOT 380072 SOS 244366 HAS SOPS 186752 HAS SOUS 83311 HAS SOUPS 40699 WITH SCORE 40943.366
AT ITER 1916 NEW BEST:: SOT 380072 SOS 244359 HAS SOPS 186628 HAS SOUS 83428 HAS SOUPS 40699 WITH SCORE 40943.359
AT ITER 1931 NEW BEST:: SOT 380044 SOS 244317 HAS SOPS 186600 HAS SOUS 83386 HAS SOUPS 40671 WITH SCORE 40915.317
AT ITER 1967 NEW BEST:: SOT 380000 SOS 244251 HAS SOPS 186556 HAS SOUS 83342 HAS SOUPS 40649 WITH SCORE 40893.251
AT ITER 1972 NEW BEST:: SOT 380076 SOS 244250 HAS SOPS 186478 HAS SOUS 83418 HAS SOUPS 40648 WITH SCORE 40892.25
AT ITER 1974 NEW BEST:: SOT 380076 SOS 244118 HAS SOPS 186478 HAS SOUS 83418 HAS SOUPS 40648 WITH SCORE 40892.118
AT ITER 1981 NEW BEST:: SOT 380122 SOS 244681 HAS SOPS 186524 HAS SOUS 83510 HAS SOUPS 40570 WITH SCORE 40814.681
AT ITER 1982 NEW BEST:: SOT 380117 SOS 244671 HAS SOPS 186514 HAS SOUS 83500 HAS SOUPS 40560 WITH SCORE 40804.671
AT ITER 1987 NEW BEST:: SOT 380203 SOS 244715 HAS SOPS 186402 HAS SOUS 83586 HAS SOUPS 40490 WITH SCORE 40734.715
AT ITER 2019 NEW BEST:: SOT 380203 SOS 244731 HAS SOPS 186386 HAS SOUS 83570 HAS SOUPS 40458 WITH SCORE 40702.731
AT ITER 2020 NEW BEST:: SOT 380203 SOS 244815 HAS SOPS 186218 HAS SOUS 83570 HAS SOUPS 40290 WITH SCORE 40534.815
AT ITER 2024 NEW BEST:: SOT 380149 SOS 244707 HAS SOPS 186164 HAS SOUS 83516 HAS SOUPS 40263 WITH SCORE 40507.707
AT ITER 2025 NEW BEST:: SOT 380140 SOS 244698 HAS SOPS 186155 HAS SOUS 83498 HAS SOUPS 40245 WITH SCORE 40489.698
AT ITER 2055 NEW BEST:: SOT 380140 SOS 244855 HAS SOPS 186155 HAS SOUS 83498 HAS SOUPS 40216 WITH SCORE 40460.855
AT ITER 2072 NEW BEST:: SOT 380140 SOS 201898 HAS SOPS 142996 HAS SOUS 83240 HAS SOUPS 39756 WITH SCORE 39957.898
AT ITER 2077 NEW BEST:: SOT 380124 SOS 201866 HAS SOPS 142980 HAS SOUS 83224 HAS SOUPS 39748 WITH SCORE 39949.866
AT ITER 2083 NEW BEST:: SOT 380100 SOS 201834 HAS SOPS 142948 HAS SOUS 83143 HAS SOUPS 39667 WITH SCORE 39868.834
AT ITER 2085 NEW BEST:: SOT 380023 SOS 201757 HAS SOPS 142871 HAS SOUS 82989 HAS SOUPS 39513 WITH SCORE 39714.757
AT ITER 2087 NEW BEST:: SOT 379977 SOS 201711 HAS SOPS 142825 HAS SOUS 82897 HAS SOUPS 39421 WITH SCORE 39622.711
AT ITER 2104 NEW BEST:: SOT 379977 SOS 201683 HAS SOPS 142825 HAS SOUS 82897 HAS SOUPS 39421 WITH SCORE 39622.683
AT ITER 2111 NEW BEST:: SOT 379976 SOS 201682 HAS SOPS 142880 HAS SOUS 82895 HAS SOUPS 39419 WITH SCORE 39620.682
AT ITER 2113 NEW BEST:: SOT 379898 SOS 201646 HAS SOPS 142912 HAS SOUS 82825 HAS SOUPS 39417 WITH SCORE 39618.646
AT ITER 2129 NEW BEST:: SOT 379850 SOS 201598 HAS SOPS 142816 HAS SOUS 82729 HAS SOUPS 39321 WITH SCORE 39522.598
AT ITER 2142 NEW BEST:: SOT 379811 SOS 201609 HAS SOPS 142850 HAS SOUS 82701 HAS SOUPS 39316 WITH SCORE 39517.609
AT ITER 2146 NEW BEST:: SOT 379668 SOS 209652 HAS SOPS 150859 HAS SOUS 82568 HAS SOUPS 39149 WITH SCORE 39358.652
AT ITER 2148 NEW BEST:: SOT 379651 SOS 209635 HAS SOPS 150842 HAS SOUS 82534 HAS SOUPS 39115 WITH SCORE 39324.635
AT ITER 2165 NEW BEST:: SOT 379616 SOS 209530 HAS SOPS 150807 HAS SOUS 82464 HAS SOUPS 39080 WITH SCORE 39289.53
AT ITER 2188 NEW BEST:: SOT 379616 SOS 209490 HAS SOPS 150796 HAS SOUS 82435 HAS SOUPS 39080 WITH SCORE 39289.49
AT ITER 2201 NEW BEST:: SOT 379616 SOS 209664 HAS SOPS 150796 HAS SOUS 82435 HAS SOUPS 38993 WITH SCORE 39202.664
AT ITER 2215 NEW BEST:: SOT 379606 SOS 209654 HAS SOPS 150713 HAS SOUS 82380 HAS SOUPS 38938 WITH SCORE 39147.654
AT ITER 2218 NEW BEST:: SOT 379606 SOS 209633 HAS SOPS 150713 HAS SOUS 82380 HAS SOUPS 38938 WITH SCORE 39147.633
AT ITER 2222 NEW BEST:: SOT 379704 SOS 209806 HAS SOPS 150811 HAS SOUS 82426 HAS SOUPS 38909 WITH SCORE 39118.806
AT ITER 2227 NEW BEST:: SOT 379668 SOS 209770 HAS SOPS 150775 HAS SOUS 82390 HAS SOUPS 38873 WITH SCORE 39082.77
AT ITER 2229 NEW BEST:: SOT 379572 SOS 209674 HAS SOPS 150679 HAS SOUS 82198 HAS SOUPS 38681 WITH SCORE 38890.674
AT ITER 2239 NEW BEST:: SOT 379587 SOS 209719 HAS SOPS 150679 HAS SOUS 82198 HAS SOUPS 38666 WITH SCORE 38875.719
AT ITER 2248 NEW BEST:: SOT 379585 SOS 209717 HAS SOPS 150608 HAS SOUS 82194 HAS SOUPS 38662 WITH SCORE 38871.717
AT ITER 2249 NEW BEST:: SOT 379560 SOS 209692 HAS SOPS 150583 HAS SOUS 82144 HAS SOUPS 38612 WITH SCORE 38821.692
AT ITER 2251 NEW BEST:: SOT 379493 SOS 209625 HAS SOPS 150516 HAS SOUS 82010 HAS SOUPS 38478 WITH SCORE 38687.625
AT ITER 2255 NEW BEST:: SOT 379493 SOS 209597 HAS SOPS 150516 HAS SOUS 81996 HAS SOUPS 38478 WITH SCORE 38687.597
AT ITER 2260 NEW BEST:: SOT 379493 SOS 209494 HAS SOPS 150516 HAS SOUS 81996 HAS SOUPS 38478 WITH SCORE 38687.494
AT ITER 2272 NEW BEST:: SOT 379475 SOS 209458 HAS SOPS 150498 HAS SOUS 81978 HAS SOUPS 38469 WITH SCORE 38678.458
AT ITER 2281 NEW BEST:: SOT 379543 SOS 209662 HAS SOPS 150498 HAS SOUS 81978 HAS SOUPS 38401 WITH SCORE 38610.662
AT ITER 2308 NEW BEST:: SOT 379572 SOS 209687 HAS SOPS 150459 HAS SOUS 81900 HAS SOUPS 38323 WITH SCORE 38532.687
AT ITER 2309 NEW BEST:: SOT 379572 SOS 209646 HAS SOPS 150439 HAS SOUS 81879 HAS SOUPS 38323 WITH SCORE 38532.646
AT ITER 2312 NEW BEST:: SOT 379556 SOS 209630 HAS SOPS 150423 HAS SOUS 81851 HAS SOUPS 38295 WITH SCORE 38504.63
AT ITER 2358 NEW BEST:: SOT 379362 SOS 209467 HAS SOPS 150260 HAS SOUS 81755 HAS SOUPS 38199 WITH SCORE 38408.467
AT ITER 2362 NEW BEST:: SOT 379353 SOS 209458 HAS SOPS 150230 HAS SOUS 81725 HAS SOUPS 38169 WITH SCORE 38378.458
AT ITER 2364 NEW BEST:: SOT 379252 SOS 209357 HAS SOPS 150129 HAS SOUS 81692 HAS SOUPS 38136 WITH SCORE 38345.357
AT ITER 2367 NEW BEST:: SOT 379239 SOS 209344 HAS SOPS 150116 HAS SOUS 81692 HAS SOUPS 38136 WITH SCORE 38345.344
AT ITER 2373 NEW BEST:: SOT 379239 SOS 209231 HAS SOPS 150116 HAS SOUS 81692 HAS SOUPS 38136 WITH SCORE 38345.231
AT ITER 2376 NEW BEST:: SOT 379237 SOS 209229 HAS SOPS 150114 HAS SOUS 81688 HAS SOUPS 38132 WITH SCORE 38341.229
AT ITER 2393 NEW BEST:: SOT 379241 SOS 209299 HAS SOPS 150118 HAS SOUS 81696 HAS SOUPS 38107 WITH SCORE 38316.299
AT ITER 2398 NEW BEST:: SOT 379241 SOS 209212 HAS SOPS 150118 HAS SOUS 81696 HAS SOUPS 38107 WITH SCORE 38316.212
AT ITER 2419 NEW BEST:: SOT 379227 SOS 209191 HAS SOPS 150104 HAS SOUS 81682 HAS SOUPS 38100 WITH SCORE 38309.191
AT ITER 2433 NEW BEST:: SOT 379258 SOS 209280 HAS SOPS 150135 HAS SOUS 81686 HAS SOUPS 38071 WITH SCORE 38280.28
AT ITER 2452 NEW BEST:: SOT 379258 SOS 209220 HAS SOPS 150075 HAS SOUS 81686 HAS SOUPS 38071 WITH SCORE 38280.22
AT ITER 2456 NEW BEST:: SOT 379297 SOS 209259 HAS SOPS 150054 HAS SOUS 81644 HAS SOUPS 38029 WITH SCORE 38238.259
AT ITER 2468 NEW BEST:: SOT 379266 SOS 209197 HAS SOPS 150023 HAS SOUS 81613 HAS SOUPS 38029 WITH SCORE 38238.197
AT ITER 2478 NEW BEST:: SOT 379281 SOS 209242 HAS SOPS 150023 HAS SOUS 81613 HAS SOUPS 38014 WITH SCORE 38223.242
AT ITER 2488 NEW BEST:: SOT 379259 SOS 209242 HAS SOPS 150023 HAS SOUS 81569 HAS SOUPS 37970 WITH SCORE 38179.242
AT ITER 2490 NEW BEST:: SOT 379259 SOS 209231 HAS SOPS 149981 HAS SOUS 81558 HAS SOUPS 37928 WITH SCORE 38137.231
AT ITER 2491 NEW BEST:: SOT 379259 SOS 209231 HAS SOPS 149943 HAS SOUS 81558 HAS SOUPS 37890 WITH SCORE 38099.231
AT ITER 2497 NEW BEST:: SOT 379230 SOS 209177 HAS SOPS 149921 HAS SOUS 81525 HAS SOUPS 37875 WITH SCORE 38084.177
AT ITER 2534 NEW BEST:: SOT 379527 SOS 209967 HAS SOPS 150106 HAS SOUS 81861 HAS SOUPS 37872 WITH SCORE 38081.967
AT ITER 2536 NEW BEST:: SOT 379527 SOS 210064 HAS SOPS 149912 HAS SOUS 81861 HAS SOUPS 37678 WITH SCORE 37888.064
AT ITER 2548 NEW BEST:: SOT 379515 SOS 210046 HAS SOPS 149900 HAS SOUS 81849 HAS SOUPS 37672 WITH SCORE 37882.046
AT ITER 2549 NEW BEST:: SOT 379314 SOS 209901 HAS SOPS 149765 HAS SOUS 81648 HAS SOUPS 37481 WITH SCORE 37690.901
AT ITER 2568 NEW BEST:: SOT 379314 SOS 209876 HAS SOPS 149765 HAS SOUS 81648 HAS SOUPS 37481 WITH SCORE 37690.876
AT ITER 2574 NEW BEST:: SOT 379314 SOS 220902 HAS SOPS 160724 HAS SOUS 81654 HAS SOUPS 37420 WITH SCORE 37640.902
AT ITER 2590 NEW BEST:: SOT 379441 SOS 221220 HAS SOPS 160792 HAS SOUS 81781 HAS SOUPS 37321 WITH SCORE 37542.22
AT ITER 2595 NEW BEST:: SOT 375129 SOS 251861 HAS SOPS 191644 HAS SOUS 77764 HAS SOUPS 33515 WITH SCORE 33766.861
AT ITER 2598 NEW BEST:: SOT 371060 SOS 248251 HAS SOPS 187949 HAS SOUS 73577 HAS SOUPS 29243 WITH SCORE 29491.251
AT ITER 2606 NEW BEST:: SOT 371045 SOS 248236 HAS SOPS 187934 HAS SOUS 73547 HAS SOUPS 29213 WITH SCORE 29461.236
AT ITER 2608 NEW BEST:: SOT 371045 SOS 248241 HAS SOPS 187929 HAS SOUS 73547 HAS SOUPS 29203 WITH SCORE 29451.241
AT ITER 2615 NEW BEST:: SOT 371003 SOS 248199 HAS SOPS 187887 HAS SOUS 73547 HAS SOUPS 29203 WITH SCORE 29451.199
AT ITER 2618 NEW BEST:: SOT 370980 SOS 248176 HAS SOPS 187864 HAS SOUS 73547 HAS SOUPS 29203 WITH SCORE 29451.176
AT ITER 2621 NEW BEST:: SOT 370980 SOS 248073 HAS SOPS 187864 HAS SOUS 73444 HAS SOUPS 29203 WITH SCORE 29451.073
AT ITER 2623 NEW BEST:: SOT 370980 SOS 248072 HAS SOPS 187864 HAS SOUS 73444 HAS SOUPS 29203 WITH SCORE 29451.072
AT ITER 2642 NEW BEST:: SOT 371325 SOS 248509 HAS SOPS 188117 HAS SOUS 73556 HAS SOUPS 29131 WITH SCORE 29379.509
AT ITER 2659 NEW BEST:: SOT 371283 SOS 248467 HAS SOPS 188075 HAS SOUS 73514 HAS SOUPS 29089 WITH SCORE 29337.467
AT ITER 2680 NEW BEST:: SOT 371302 SOS 248904 HAS SOPS 188094 HAS SOUS 73552 HAS SOUPS 28984 WITH SCORE 29232.904
AT ITER 2685 NEW BEST:: SOT 371374 SOS 249376 HAS SOPS 188166 HAS SOUS 73696 HAS SOUPS 28939 WITH SCORE 29188.376
AT ITER 2686 NEW BEST:: SOT 371374 SOS 249440 HAS SOPS 188166 HAS SOUS 73696 HAS SOUPS 28930 WITH SCORE 29179.44
AT ITER 2696 NEW BEST:: SOT 371374 SOS 249380 HAS SOPS 188166 HAS SOUS 73696 HAS SOUPS 28930 WITH SCORE 29179.38
AT ITER 2699 NEW BEST:: SOT 369333 SOS 249711 HAS SOPS 188722 HAS SOUS 71608 HAS SOUPS 27001 WITH SCORE 27250.711
AT ITER 2702 NEW BEST:: SOT 369333 SOS 249687 HAS SOPS 188722 HAS SOUS 71608 HAS SOUPS 27001 WITH SCORE 27250.687
AT ITER 2703 NEW BEST:: SOT 369156 SOS 249452 HAS SOPS 188603 HAS SOUS 71450 HAS SOUPS 26959 WITH SCORE 27208.452
AT ITER 2723 NEW BEST:: SOT 369076 SOS 249372 HAS SOPS 188523 HAS SOUS 71450 HAS SOUPS 26959 WITH SCORE 27208.372
AT ITER 2728 NEW BEST:: SOT 369076 SOS 249372 HAS SOPS 188522 HAS SOUS 71448 HAS SOUPS 26957 WITH SCORE 27206.372
AT ITER 2743 NEW BEST:: SOT 369076 SOS 249369 HAS SOPS 188522 HAS SOUS 71448 HAS SOUPS 26957 WITH SCORE 27206.369
AT ITER 2774 NEW BEST:: SOT 368936 SOS 249109 HAS SOPS 188382 HAS SOUS 71288 HAS SOUPS 26867 WITH SCORE 27116.109
AT ITER 2784 NEW BEST:: SOT 368584 SOS 248353 HAS SOPS 188082 HAS SOUS 70936 HAS SOUPS 26769 WITH SCORE 27017.353
AT ITER 2843 NEW BEST:: SOT 368584 SOS 248312 HAS SOPS 188082 HAS SOUS 70936 HAS SOUPS 26769 WITH SCORE 27017.312
AT ITER 2845 NEW BEST:: SOT 368584 SOS 248270 HAS SOPS 188082 HAS SOUS 70936 HAS SOUPS 26769 WITH SCORE 27017.27
AT ITER 2857 NEW BEST:: SOT 368584 SOS 248204 HAS SOPS 188082 HAS SOUS 70936 HAS SOUPS 26769 WITH SCORE 27017.204
AT ITER 2861 NEW BEST:: SOT 368508 SOS 248128 HAS SOPS 188006 HAS SOUS 70936 HAS SOUPS 26769 WITH SCORE 27017.128
AT ITER 2868 NEW BEST:: SOT 368473 SOS 248093 HAS SOPS 187971 HAS SOUS 70936 HAS SOUPS 26769 WITH SCORE 27017.093
AT ITER 2895 NEW BEST:: SOT 368473 SOS 248109 HAS SOPS 187938 HAS SOUS 70855 HAS SOUPS 26639 WITH SCORE 26887.109
AT ITER 2901 NEW BEST:: SOT 368565 SOS 248257 HAS SOPS 187994 HAS SOUS 70855 HAS SOUPS 26547 WITH SCORE 26795.257
AT ITER 2907 NEW BEST:: SOT 368934 SOS 249230 HAS SOPS 188194 HAS SOUS 71224 HAS SOUPS 26445 WITH SCORE 26694.23
AT ITER 2916 NEW BEST:: SOT 368931 SOS 249227 HAS SOPS 188191 HAS SOUS 71224 HAS SOUPS 26445 WITH SCORE 26694.227
AT ITER 2951 NEW BEST:: SOT 368931 SOS 249247 HAS SOPS 188160 HAS SOUS 71213 HAS SOUPS 26383 WITH SCORE 26632.247
AT ITER 2972 NEW BEST:: SOT 368931 SOS 249247 HAS SOPS 188116 HAS SOUS 71125 HAS SOUPS 26295 WITH SCORE 26544.247
AT ITER 2977 NEW BEST:: SOT 368878 SOS 249194 HAS SOPS 188063 HAS SOUS 71125 HAS SOUPS 26295 WITH SCORE 26544.194
AT ITER 2991 NEW BEST:: SOT 368931 SOS 249701 HAS SOPS 188116 HAS SOUS 71231 HAS SOUPS 26261 WITH SCORE 26510.701
AT ITER 3010 NEW BEST:: SOT 368948 SOS 249735 HAS SOPS 188116 HAS SOUS 71231 HAS SOUPS 26244 WITH SCORE 26493.735
AT ITER 3039 NEW BEST:: SOT 368756 SOS 249291 HAS SOPS 187984 HAS SOUS 71039 HAS SOUPS 26238 WITH SCORE 26487.291
AT ITER 3042 NEW BEST:: SOT 368756 SOS 249232 HAS SOPS 187984 HAS SOUS 71039 HAS SOUPS 26238 WITH SCORE 26487.232
AT ITER 3048 NEW BEST:: SOT 368756 SOS 249174 HAS SOPS 187984 HAS SOUS 71039 HAS SOUPS 26238 WITH SCORE 26487.174
AT ITER 3088 NEW BEST:: SOT 368736 SOS 249154 HAS SOPS 187964 HAS SOUS 70999 HAS SOUPS 26198 WITH SCORE 26447.154
AT ITER 3117 NEW BEST:: SOT 368736 SOS 249090 HAS SOPS 187964 HAS SOUS 70999 HAS SOUPS 26198 WITH SCORE 26447.09
AT ITER 3125 NEW BEST:: SOT 368779 SOS 249219 HAS SOPS 188007 HAS SOUS 70999 HAS SOUPS 26155 WITH SCORE 26404.219
AT ITER 3136 NEW BEST:: SOT 368778 SOS 249218 HAS SOPS 188006 HAS SOUS 70997 HAS SOUPS 26153 WITH SCORE 26402.218
AT ITER 3182 NEW BEST:: SOT 368778 SOS 249190 HAS SOPS 188006 HAS SOUS 70997 HAS SOUPS 26153 WITH SCORE 26402.19
AT ITER 3195 NEW BEST:: SOT 368509 SOS 248842 HAS SOPS 187816 HAS SOUS 70790 HAS SOUPS 26104 WITH SCORE 26352.842
AT ITER 3205 NEW BEST:: SOT 368495 SOS 248800 HAS SOPS 187802 HAS SOUS 70762 HAS SOUPS 26090 WITH SCORE 26338.8
AT ITER 3228 NEW BEST:: SOT 368486 SOS 248791 HAS SOPS 187732 HAS SOUS 70744 HAS SOUPS 26072 WITH SCORE 26320.791
AT ITER 3236 NEW BEST:: SOT 368486 SOS 248766 HAS SOPS 187732 HAS SOUS 70744 HAS SOUPS 26072 WITH SCORE 26320.766
AT ITER 3258 NEW BEST:: SOT 368519 SOS 248799 HAS SOPS 187732 HAS SOUS 70744 HAS SOUPS 26039 WITH SCORE 26287.799
AT ITER 3266 NEW BEST:: SOT 368479 SOS 248739 HAS SOPS 187692 HAS SOUS 70684 HAS SOUPS 25999 WITH SCORE 26247.739
AT ITER 3273 NEW BEST:: SOT 368525 SOS 249183 HAS SOPS 187738 HAS SOUS 70776 HAS SOUPS 25955 WITH SCORE 26204.183
AT ITER 3275 NEW BEST:: SOT 368459 SOS 248971 HAS SOPS 187672 HAS SOUS 70644 HAS SOUPS 25896 WITH SCORE 26144.971
AT ITER 3277 NEW BEST:: SOT 368494 SOS 249222 HAS SOPS 187599 HAS SOUS 70679 HAS SOUPS 25715 WITH SCORE 25964.222
AT ITER 3279 NEW BEST:: SOT 368037 SOS 248237 HAS SOPS 187213 HAS SOUS 70183 HAS SOUPS 25554 WITH SCORE 25802.237
AT ITER 3290 NEW BEST:: SOT 368034 SOS 248234 HAS SOPS 187210 HAS SOUS 70177 HAS SOUPS 25548 WITH SCORE 25796.234
AT ITER 3302 NEW BEST:: SOT 368034 SOS 245448 HAS SOPS 184410 HAS SOUS 70163 HAS SOUPS 25520 WITH SCORE 25765.448
AT ITER 3303 NEW BEST:: SOT 368024 SOS 245438 HAS SOPS 184400 HAS SOUS 70143 HAS SOUPS 25500 WITH SCORE 25745.438
AT ITER 3322 NEW BEST:: SOT 368006 SOS 245503 HAS SOPS 184382 HAS SOUS 70208 HAS SOUPS 25482 WITH SCORE 25727.503
AT ITER 3329 NEW BEST:: SOT 367946 SOS 245383 HAS SOPS 184322 HAS SOUS 70148 HAS SOUPS 25452 WITH SCORE 25697.383
AT ITER 3338 NEW BEST:: SOT 367961 SOS 245428 HAS SOPS 184322 HAS SOUS 70163 HAS SOUPS 25437 WITH SCORE 25682.428
AT ITER 3339 NEW BEST:: SOT 367961 SOS 245421 HAS SOPS 184322 HAS SOUS 70162 HAS SOUPS 25436 WITH SCORE 25681.421
AT ITER 3364 NEW BEST:: SOT 367907 SOS 245367 HAS SOPS 184268 HAS SOUS 70144 HAS SOUPS 25418 WITH SCORE 25663.367
AT ITER 3446 NEW BEST:: SOT 368307 SOS 245950 HAS SOPS 184425 HAS SOUS 70530 HAS SOUPS 25378 WITH SCORE 25623.95
AT ITER 3458 NEW BEST:: SOT 368317 SOS 245980 HAS SOPS 184425 HAS SOUS 70530 HAS SOUPS 25368 WITH SCORE 25613.98
AT ITER 3465 NEW BEST:: SOT 368556 SOS 246607 HAS SOPS 184485 HAS SOUS 70620 HAS SOUPS 25249 WITH SCORE 25495.607
AT ITER 3492 NEW BEST:: SOT 368529 SOS 246580 HAS SOPS 184403 HAS SOUS 70566 HAS SOUPS 25195 WITH SCORE 25441.58
AT ITER 3507 NEW BEST:: SOT 368414 SOS 246464 HAS SOPS 184289 HAS SOUS 70485 HAS SOUPS 25116 WITH SCORE 25362.464
AT ITER 3513 NEW BEST:: SOT 368309 SOS 246359 HAS SOPS 184192 HAS SOUS 70415 HAS SOUPS 25054 WITH SCORE 25300.359
AT ITER 3543 NEW BEST:: SOT 368291 SOS 246341 HAS SOPS 184174 HAS SOUS 70397 HAS SOUPS 25036 WITH SCORE 25282.341
AT ITER 3555 NEW BEST:: SOT 368236 SOS 246109 HAS SOPS 184119 HAS SOUS 70277 HAS SOUPS 24981 WITH SCORE 25227.109
AT ITER 3561 NEW BEST:: SOT 368218 SOS 246121 HAS SOPS 184101 HAS SOUS 70289 HAS SOUPS 24963 WITH SCORE 25209.121
AT ITER 3580 NEW BEST:: SOT 368225 SOS 246142 HAS SOPS 184101 HAS SOUS 70289 HAS SOUPS 24956 WITH SCORE 25202.142
AT ITER 3612 NEW BEST:: SOT 368496 SOS 246845 HAS SOPS 184249 HAS SOUS 70560 HAS SOUPS 24888 WITH SCORE 25134.845
AT ITER 3648 NEW BEST:: SOT 368435 SOS 246615 HAS SOPS 184188 HAS SOUS 70438 HAS SOUPS 24851 WITH SCORE 25097.615
AT ITER 3734 NEW BEST:: SOT 368388 SOS 246521 HAS SOPS 184141 HAS SOUS 70391 HAS SOUPS 24851 WITH SCORE 25097.521
AT ITER 3762 NEW BEST:: SOT 368370 SOS 246495 HAS SOPS 184123 HAS SOUS 70347 HAS SOUPS 24815 WITH SCORE 25061.495
AT ITER 3767 NEW BEST:: SOT 368183 SOS 245934 HAS SOPS 183936 HAS SOUS 69973 HAS SOUPS 24628 WITH SCORE 24873.934
AT ITER 3769 NEW BEST:: SOT 368183 SOS 245934 HAS SOPS 183936 HAS SOUS 69945 HAS SOUPS 24600 WITH SCORE 24845.934
AT ITER 3779 NEW BEST:: SOT 368183 SOS 245917 HAS SOPS 183936 HAS SOUS 69928 HAS SOUPS 24600 WITH SCORE 24845.917
AT ITER 3781 NEW BEST:: SOT 368182 SOS 245981 HAS SOPS 183935 HAS SOUS 69991 HAS SOUPS 24598 WITH SCORE 24843.981
AT ITER 3791 NEW BEST:: SOT 368114 SOS 245913 HAS SOPS 183799 HAS SOUS 69855 HAS SOUPS 24462 WITH SCORE 24707.913
AT ITER 3794 NEW BEST:: SOT 368111 SOS 245910 HAS SOPS 183796 HAS SOUS 69855 HAS SOUPS 24462 WITH SCORE 24707.91
AT ITER 3818 NEW BEST:: SOT 368133 SOS 245943 HAS SOPS 183727 HAS SOUS 69797 HAS SOUPS 24302 WITH SCORE 24547.943
AT ITER 3830 NEW BEST:: SOT 368081 SOS 245891 HAS SOPS 183623 HAS SOUS 69693 HAS SOUPS 24198 WITH SCORE 24443.891
AT ITER 3838 NEW BEST:: SOT 368069 SOS 245280 HAS SOPS 183023 HAS SOUS 69670 HAS SOUPS 24186 WITH SCORE 24431.28
AT ITER 3854 NEW BEST:: SOT 368060 SOS 245271 HAS SOPS 183014 HAS SOUS 69652 HAS SOUPS 24168 WITH SCORE 24413.271
AT ITER 3873 NEW BEST:: SOT 368041 SOS 245252 HAS SOPS 182995 HAS SOUS 69614 HAS SOUPS 24130 WITH SCORE 24375.252
AT ITER 3957 NEW BEST:: SOT 368060 SOS 245271 HAS SOPS 183033 HAS SOUS 69542 HAS SOUPS 24077 WITH SCORE 24322.271
AT ITER 3959 NEW BEST:: SOT 368056 SOS 245267 HAS SOPS 183029 HAS SOUS 69539 HAS SOUPS 24074 WITH SCORE 24319.267
AT ITER 3976 NEW BEST:: SOT 368036 SOS 245247 HAS SOPS 183009 HAS SOUS 69539 HAS SOUPS 24074 WITH SCORE 24319.247
AT ITER 3990 NEW BEST:: SOT 368036 SOS 245238 HAS SOPS 183009 HAS SOUS 69538 HAS SOUPS 24074 WITH SCORE 24319.238
AT ITER 4006 NEW BEST:: SOT 368053 SOS 245289 HAS SOPS 183009 HAS SOUS 69538 HAS SOUPS 24057 WITH SCORE 24302.289
AT ITER 4039 NEW BEST:: SOT 368056 SOS 245295 HAS SOPS 183009 HAS SOUS 69541 HAS SOUPS 24054 WITH SCORE 24299.295
AT ITER 4068 NEW BEST:: SOT 368009 SOS 245248 HAS SOPS 182962 HAS SOUS 69527 HAS SOUPS 24040 WITH SCORE 24285.248
AT ITER 4085 NEW BEST:: SOT 368009 SOS 245563 HAS SOPS 182962 HAS SOUS 69527 HAS SOUPS 23985 WITH SCORE 24230.563
AT ITER 4106 NEW BEST:: SOT 367996 SOS 245550 HAS SOPS 182949 HAS SOUS 69501 HAS SOUPS 23959 WITH SCORE 24204.55
AT ITER 4116 NEW BEST:: SOT 368007 SOS 245561 HAS SOPS 182904 HAS SOUS 69456 HAS SOUPS 23858 WITH SCORE 24103.561
AT ITER 4132 NEW BEST:: SOT 368046 SOS 245826 HAS SOPS 182830 HAS SOUS 69495 HAS SOUPS 23671 WITH SCORE 23916.826
AT ITER 4133 NEW BEST:: SOT 368037 SOS 245812 HAS SOPS 182821 HAS SOUS 69482 HAS SOUPS 23663 WITH SCORE 23908.812
AT ITER 4145 NEW BEST:: SOT 367871 SOS 245578 HAS SOPS 182733 HAS SOUS 69326 HAS SOUPS 23653 WITH SCORE 23898.578
AT ITER 4148 NEW BEST:: SOT 367749 SOS 245332 HAS SOPS 182634 HAS SOUS 69206 HAS SOUPS 23634 WITH SCORE 23879.332
AT ITER 4167 NEW BEST:: SOT 367715 SOS 245298 HAS SOPS 182600 HAS SOUS 69206 HAS SOUPS 23634 WITH SCORE 23879.298
AT ITER 4186 NEW BEST:: SOT 367715 SOS 245282 HAS SOPS 182600 HAS SOUS 69206 HAS SOUPS 23634 WITH SCORE 23879.282
AT ITER 4201 NEW BEST:: SOT 367790 SOS 245357 HAS SOPS 182567 HAS SOUS 69140 HAS SOUPS 23568 WITH SCORE 23813.357
AT ITER 4272 NEW BEST:: SOT 367790 SOS 245311 HAS SOPS 182567 HAS SOUS 69140 HAS SOUPS 23568 WITH SCORE 23813.311
AT ITER 4274 NEW BEST:: SOT 367717 SOS 244809 HAS SOPS 182494 HAS SOUS 68994 HAS SOUPS 23566 WITH SCORE 23810.809
AT ITER 4284 NEW BEST:: SOT 367909 SOS 245283 HAS SOPS 182686 HAS SOUS 69096 HAS SOUPS 23527 WITH SCORE 23772.283
AT ITER 4295 NEW BEST:: SOT 367769 SOS 245143 HAS SOPS 182686 HAS SOUS 69096 HAS SOUPS 23527 WITH SCORE 23772.143
AT ITER 4297 NEW BEST:: SOT 367656 SOS 244886 HAS SOPS 182604 HAS SOUS 68983 HAS SOUPS 23517 WITH SCORE 23761.886
AT ITER 4328 NEW BEST:: SOT 367688 SOS 244918 HAS SOPS 182668 HAS SOUS 68949 HAS SOUPS 23515 WITH SCORE 23759.918
AT ITER 4330 NEW BEST:: SOT 367852 SOS 245082 HAS SOPS 182703 HAS SOUS 68913 HAS SOUPS 23479 WITH SCORE 23724.082
AT ITER 4331 NEW BEST:: SOT 367942 SOS 245352 HAS SOPS 182703 HAS SOUS 68913 HAS SOUPS 23389 WITH SCORE 23634.352
AT ITER 4362 NEW BEST:: SOT 367876 SOS 245154 HAS SOPS 182637 HAS SOUS 68781 HAS SOUPS 23323 WITH SCORE 23568.154
AT ITER 4363 NEW BEST:: SOT 367766 SOS 245044 HAS SOPS 182527 HAS SOUS 68723 HAS SOUPS 23265 WITH SCORE 23510.044
AT ITER 4375 NEW BEST:: SOT 367901 SOS 245215 HAS SOPS 182527 HAS SOUS 68723 HAS SOUPS 23228 WITH SCORE 23473.215
AT ITER 4390 NEW BEST:: SOT 367935 SOS 245283 HAS SOPS 182527 HAS SOUS 68757 HAS SOUPS 23194 WITH SCORE 23439.283
AT ITER 4399 NEW BEST:: SOT 367952 SOS 245364 HAS SOPS 182512 HAS SOUS 68774 HAS SOUPS 23147 WITH SCORE 23392.364
AT ITER 4413 NEW BEST:: SOT 367967 SOS 245601 HAS SOPS 182527 HAS SOUS 68804 HAS SOUPS 23066 WITH SCORE 23311.601
AT ITER 4418 NEW BEST:: SOT 367983 SOS 245639 HAS SOPS 182518 HAS SOUS 68742 HAS SOUPS 22957 WITH SCORE 23202.639
AT ITER 4425 NEW BEST:: SOT 367931 SOS 245587 HAS SOPS 182466 HAS SOUS 68706 HAS SOUPS 22921 WITH SCORE 23166.587
AT ITER 4427 NEW BEST:: SOT 367881 SOS 245537 HAS SOPS 182416 HAS SOUS 68706 HAS SOUPS 22921 WITH SCORE 23166.537
AT ITER 4432 NEW BEST:: SOT 367870 SOS 245526 HAS SOPS 182405 HAS SOUS 68684 HAS SOUPS 22899 WITH SCORE 23144.526
AT ITER 4434 NEW BEST:: SOT 367864 SOS 245520 HAS SOPS 182399 HAS SOUS 68672 HAS SOUPS 22887 WITH SCORE 23132.52
AT ITER 4496 NEW BEST:: SOT 367858 SOS 245514 HAS SOPS 182393 HAS SOUS 68660 HAS SOUPS 22875 WITH SCORE 23120.514
AT ITER 4515 NEW BEST:: SOT 367958 SOS 245748 HAS SOPS 182437 HAS SOUS 68726 HAS SOUPS 22863 WITH SCORE 23108.748
AT ITER 4529 NEW BEST:: SOT 368132 SOS 246158 HAS SOPS 182549 HAS SOUS 68900 HAS SOUPS 22857 WITH SCORE 23103.158
AT ITER 4572 NEW BEST:: SOT 368100 SOS 246126 HAS SOPS 182517 HAS SOUS 68868 HAS SOUPS 22825 WITH SCORE 23071.126
AT ITER 4586 NEW BEST:: SOT 368086 SOS 246112 HAS SOPS 182503 HAS SOUS 68840 HAS SOUPS 22797 WITH SCORE 23043.112
AT ITER 4589 NEW BEST:: SOT 367914 SOS 245712 HAS SOPS 182387 HAS SOUS 68668 HAS SOUPS 22795 WITH SCORE 23040.712
AT ITER 4593 NEW BEST:: SOT 367914 SOS 245638 HAS SOPS 182387 HAS SOUS 68668 HAS SOUPS 22795 WITH SCORE 23040.638
AT ITER 4607 NEW BEST:: SOT 367892 SOS 245616 HAS SOPS 182365 HAS SOUS 68624 HAS SOUPS 22751 WITH SCORE 22996.616
AT ITER 4612 NEW BEST:: SOT 368001 SOS 245829 HAS SOPS 182370 HAS SOUS 68733 HAS SOUPS 22652 WITH SCORE 22897.829
AT ITER 4616 NEW BEST:: SOT 368055 SOS 245883 HAS SOPS 182318 HAS SOUS 68629 HAS SOUPS 22548 WITH SCORE 22793.883
AT ITER 4630 NEW BEST:: SOT 367993 SOS 245821 HAS SOPS 182256 HAS SOUS 68505 HAS SOUPS 22424 WITH SCORE 22669.821
AT ITER 4631 NEW BEST:: SOT 367993 SOS 245645 HAS SOPS 182256 HAS SOUS 68505 HAS SOUPS 22424 WITH SCORE 22669.645
AT ITER 4657 NEW BEST:: SOT 368019 SOS 245723 HAS SOPS 182282 HAS SOUS 68505 HAS SOUPS 22398 WITH SCORE 22643.723
AT ITER 4662 NEW BEST:: SOT 368012 SOS 245716 HAS SOPS 182275 HAS SOUS 68505 HAS SOUPS 22398 WITH SCORE 22643.716
AT ITER 4674 NEW BEST:: SOT 368012 SOS 245714 HAS SOPS 182275 HAS SOUS 68505 HAS SOUPS 22398 WITH SCORE 22643.714
AT ITER 4696 NEW BEST:: SOT 368004 SOS 245706 HAS SOPS 182267 HAS SOUS 68489 HAS SOUPS 22382 WITH SCORE 22627.706
AT ITER 4702 NEW BEST:: SOT 367960 SOS 245662 HAS SOPS 182223 HAS SOUS 68471 HAS SOUPS 22364 WITH SCORE 22609.662
AT ITER 4711 NEW BEST:: SOT 368216 SOS 225969 HAS SOPS 162406 HAS SOUS 68603 HAS SOUPS 22372 WITH SCORE 22597.969
AT ITER 4718 NEW BEST:: SOT 368219 SOS 226047 HAS SOPS 162358 HAS SOUS 68606 HAS SOUPS 22291 WITH SCORE 22517.047
AT ITER 4723 NEW BEST:: SOT 368179 SOS 225987 HAS SOPS 162338 HAS SOUS 68566 HAS SOUPS 22291 WITH SCORE 22516.987
AT ITER 4733 NEW BEST:: SOT 368179 SOS 225965 HAS SOPS 162338 HAS SOUS 68566 HAS SOUPS 22291 WITH SCORE 22516.965
AT ITER 4734 NEW BEST:: SOT 368179 SOS 225953 HAS SOPS 162338 HAS SOUS 68566 HAS SOUPS 22291 WITH SCORE 22516.953
AT ITER 4755 NEW BEST:: SOT 368016 SOS 225605 HAS SOPS 162244 HAS SOUS 68425 HAS SOUPS 22266 WITH SCORE 22491.605
AT ITER 4758 NEW BEST:: SOT 368144 SOS 225690 HAS SOPS 162163 HAS SOUS 68263 HAS SOUPS 22104 WITH SCORE 22329.69
AT ITER 4788 NEW BEST:: SOT 367903 SOS 225398 HAS SOPS 161973 HAS SOUS 68022 HAS SOUPS 21965 WITH SCORE 22190.398
AT ITER 4795 NEW BEST:: SOT 367870 SOS 225236 HAS SOPS 161940 HAS SOUS 67895 HAS SOUPS 21933 WITH SCORE 22158.236
AT ITER 4817 NEW BEST:: SOT 367942 SOS 225751 HAS SOPS 162012 HAS SOUS 68039 HAS SOUPS 21928 WITH SCORE 22153.751
AT ITER 4818 NEW BEST:: SOT 367942 SOS 225728 HAS SOPS 162012 HAS SOUS 68016 HAS SOUPS 21928 WITH SCORE 22153.728
AT ITER 4820 NEW BEST:: SOT 367935 SOS 225721 HAS SOPS 162005 HAS SOUS 68002 HAS SOUPS 21914 WITH SCORE 22139.721
AT ITER 4843 NEW BEST:: SOT 367889 SOS 225675 HAS SOPS 161987 HAS SOUS 67919 HAS SOUPS 21831 WITH SCORE 22056.675
AT ITER 4849 NEW BEST:: SOT 367889 SOS 225618 HAS SOPS 161987 HAS SOUS 67919 HAS SOUPS 21831 WITH SCORE 22056.618
AT ITER 4851 NEW BEST:: SOT 367889 SOS 225618 HAS SOPS 161959 HAS SOUS 67919 HAS SOUPS 21803 WITH SCORE 22028.618
AT ITER 4867 NEW BEST:: SOT 367880 SOS 225609 HAS SOPS 161950 HAS SOUS 67901 HAS SOUPS 21785 WITH SCORE 22010.609
AT ITER 4881 NEW BEST:: SOT 367880 SOS 225525 HAS SOPS 161950 HAS SOUS 67901 HAS SOUPS 21785 WITH SCORE 22010.525
AT ITER 4911 NEW BEST:: SOT 367886 SOS 225543 HAS SOPS 161950 HAS SOUS 67907 HAS SOUPS 21779 WITH SCORE 22004.543
AT ITER 4917 NEW BEST:: SOT 367865 SOS 225522 HAS SOPS 161865 HAS SOUS 67865 HAS SOUPS 21737 WITH SCORE 21962.522
AT ITER 4932 NEW BEST:: SOT 367865 SOS 225506 HAS SOPS 161865 HAS SOUS 67865 HAS SOUPS 21737 WITH SCORE 21962.506
AT ITER 4933 NEW BEST:: SOT 367856 SOS 225497 HAS SOPS 161856 HAS SOUS 67865 HAS SOUPS 21737 WITH SCORE 21962.497
AT ITER 4941 NEW BEST:: SOT 367856 SOS 225497 HAS SOPS 161856 HAS SOUS 67857 HAS SOUPS 21729 WITH SCORE 21954.497
AT ITER 4951 NEW BEST:: SOT 367856 SOS 225669 HAS SOPS 161856 HAS SOUS 67857 HAS SOUPS 21690 WITH SCORE 21915.669
AT ITER 4962 NEW BEST:: SOT 367836 SOS 225649 HAS SOPS 161836 HAS SOUS 67857 HAS SOUPS 21690 WITH SCORE 21915.649
AT ITER 4968 NEW BEST:: SOT 367836 SOS 225649 HAS SOPS 161836 HAS SOUS 67852 HAS SOUPS 21685 WITH SCORE 21910.649
AT ITER 4985 NEW BEST:: SOT 367836 SOS 225653 HAS SOPS 161832 HAS SOUS 67848 HAS SOUPS 21677 WITH SCORE 21902.653
AT ITER 4991 NEW BEST:: SOT 367836 SOS 225785 HAS SOPS 161832 HAS SOUS 67848 HAS SOUPS 21611 WITH SCORE 21836.785
AT ITER 5003 NEW BEST:: SOT 367836 SOS 225710 HAS SOPS 161832 HAS SOUS 67848 HAS SOUPS 21611 WITH SCORE 21836.71
AT ITER 5019 NEW BEST:: SOT 367768 SOS 225642 HAS SOPS 161832 HAS SOUS 67848 HAS SOUPS 21611 WITH SCORE 21836.642
AT ITER 5025 NEW BEST:: SOT 367768 SOS 225588 HAS SOPS 161832 HAS SOUS 67848 HAS SOUPS 21611 WITH SCORE 21836.588
AT ITER 5028 NEW BEST:: SOT 367782 SOS 225626 HAS SOPS 161831 HAS SOUS 67856 HAS SOUPS 21595 WITH SCORE 21820.626
AT ITER 5037 NEW BEST:: SOT 367833 SOS 225873 HAS SOPS 161673 HAS SOUS 67877 HAS SOUPS 21356 WITH SCORE 21581.873
AT ITER 5047 NEW BEST:: SOT 367925 SOS 226088 HAS SOPS 161765 HAS SOUS 67938 HAS SOUPS 21325 WITH SCORE 21551.088
AT ITER 5050 NEW BEST:: SOT 367995 SOS 226158 HAS SOPS 161835 HAS SOUS 67921 HAS SOUPS 21308 WITH SCORE 21534.158
AT ITER 5061 NEW BEST:: SOT 367965 SOS 226128 HAS SOPS 161775 HAS SOUS 67861 HAS SOUPS 21248 WITH SCORE 21474.128
AT ITER 5097 NEW BEST:: SOT 367850 SOS 225870 HAS SOPS 161717 HAS SOUS 67774 HAS SOUPS 21247 WITH SCORE 21472.87
AT ITER 5107 NEW BEST:: SOT 367818 SOS 225774 HAS SOPS 161685 HAS SOUS 67710 HAS SOUPS 21215 WITH SCORE 21440.774
AT ITER 5114 NEW BEST:: SOT 367957 SOS 225913 HAS SOPS 161662 HAS SOUS 67664 HAS SOUPS 21169 WITH SCORE 21394.913
AT ITER 5168 NEW BEST:: SOT 367957 SOS 225910 HAS SOPS 161662 HAS SOUS 67664 HAS SOUPS 21169 WITH SCORE 21394.91
AT ITER 5174 NEW BEST:: SOT 367957 SOS 225909 HAS SOPS 161662 HAS SOUS 67664 HAS SOUPS 21169 WITH SCORE 21394.909
AT ITER 5190 NEW BEST:: SOT 367929 SOS 225860 HAS SOPS 161634 HAS SOUS 67629 HAS SOUPS 21155 WITH SCORE 21380.86
AT ITER 5290 NEW BEST:: SOT 367929 SOS 225851 HAS SOPS 161634 HAS SOUS 67629 HAS SOUPS 21155 WITH SCORE 21380.851
AT ITER 5341 NEW BEST:: SOT 367926 SOS 225848 HAS SOPS 161628 HAS SOUS 67623 HAS SOUPS 21149 WITH SCORE 21374.848
AT ITER 5415 NEW BEST:: SOT 367862 SOS 225784 HAS SOPS 161628 HAS SOUS 67623 HAS SOUPS 21149 WITH SCORE 21374.784
AT ITER 5466 NEW BEST:: SOT 367854 SOS 225776 HAS SOPS 161620 HAS SOUS 67623 HAS SOUPS 21149 WITH SCORE 21374.776
AT ITER 5479 NEW BEST:: SOT 367895 SOS 225817 HAS SOPS 161578 HAS SOUS 67539 HAS SOUPS 21065 WITH SCORE 21290.817
AT ITER 5491 NEW BEST:: SOT 367838 SOS 225397 HAS SOPS 161521 HAS SOUS 67425 HAS SOUPS 21060 WITH SCORE 21285.397
AT ITER 5522 NEW BEST:: SOT 367905 SOS 225465 HAS SOPS 161587 HAS SOUS 67426 HAS SOUPS 21059 WITH SCORE 21284.465
AT ITER 5525 NEW BEST:: SOT 367875 SOS 225435 HAS SOPS 161557 HAS SOUS 67366 HAS SOUPS 20999 WITH SCORE 21224.435
AT ITER 5534 NEW BEST:: SOT 367727 SOS 225135 HAS SOPS 161413 HAS SOUS 67218 HAS SOUPS 20931 WITH SCORE 21156.135
AT ITER 5555 NEW BEST:: SOT 367727 SOS 225125 HAS SOPS 161413 HAS SOUS 67208 HAS SOUPS 20931 WITH SCORE 21156.125
AT ITER 5564 NEW BEST:: SOT 367640 SOS 225038 HAS SOPS 161120 HAS SOUS 67034 HAS SOUPS 20757 WITH SCORE 20982.038
AT ITER 5569 NEW BEST:: SOT 367640 SOS 225002 HAS SOPS 161120 HAS SOUS 67034 HAS SOUPS 20757 WITH SCORE 20982.002
AT ITER 5657 NEW BEST:: SOT 367805 SOS 225265 HAS SOPS 161187 HAS SOUS 67199 HAS SOUPS 20726 WITH SCORE 20951.265
AT ITER 5660 NEW BEST:: SOT 367802 SOS 225262 HAS SOPS 161187 HAS SOUS 67196 HAS SOUPS 20726 WITH SCORE 20951.262
AT ITER 5668 NEW BEST:: SOT 368077 SOS 225931 HAS SOPS 161462 HAS SOUS 67352 HAS SOUPS 20685 WITH SCORE 20910.931
AT ITER 5679 NEW BEST:: SOT 368034 SOS 225888 HAS SOPS 161419 HAS SOUS 67266 HAS SOUPS 20599 WITH SCORE 20824.888
AT ITER 5680 NEW BEST:: SOT 367729 SOS 225195 HAS SOPS 161192 HAS SOUS 66961 HAS SOUPS 20566 WITH SCORE 20791.195
AT ITER 5684 NEW BEST:: SOT 367744 SOS 225239 HAS SOPS 161207 HAS SOUS 66962 HAS SOUPS 20538 WITH SCORE 20763.239
AT ITER 5689 NEW BEST:: SOT 367725 SOS 225201 HAS SOPS 161188 HAS SOUS 66943 HAS SOUPS 20538 WITH SCORE 20763.201
AT ITER 5704 NEW BEST:: SOT 367467 SOS 224685 HAS SOPS 160930 HAS SOUS 66685 HAS SOUPS 20409 WITH SCORE 20633.685
AT ITER 5718 NEW BEST:: SOT 367525 SOS 224809 HAS SOPS 160988 HAS SOUS 66735 HAS SOUPS 20393 WITH SCORE 20617.809
AT ITER 5827 NEW BEST:: SOT 367515 SOS 224799 HAS SOPS 160978 HAS SOUS 66715 HAS SOUPS 20373 WITH SCORE 20597.799
AT ITER 5871 NEW BEST:: SOT 367644 SOS 225108 HAS SOPS 161030 HAS SOUS 66793 HAS SOUPS 20348 WITH SCORE 20573.108
AT ITER 5904 NEW BEST:: SOT 367625 SOS 225089 HAS SOPS 161011 HAS SOUS 66755 HAS SOUPS 20310 WITH SCORE 20535.089
AT ITER 5915 NEW BEST:: SOT 367599 SOS 225063 HAS SOPS 160985 HAS SOUS 66703 HAS SOUPS 20258 WITH SCORE 20483.063
AT ITER 5930 NEW BEST:: SOT 367453 SOS 224747 HAS SOPS 160863 HAS SOUS 66557 HAS SOUPS 20221 WITH SCORE 20445.747
AT ITER 5965 NEW BEST:: SOT 367482 SOS 224834 HAS SOPS 160863 HAS SOUS 66557 HAS SOUPS 20192 WITH SCORE 20416.834
AT ITER 5974 NEW BEST:: SOT 367482 SOS 224840 HAS SOPS 160863 HAS SOUS 66557 HAS SOUPS 20189 WITH SCORE 20413.84
AT ITER 5975 NEW BEST:: SOT 367482 SOS 224767 HAS SOPS 160863 HAS SOUS 66557 HAS SOUPS 20189 WITH SCORE 20413.767
AT ITER 5976 NEW BEST:: SOT 367378 SOS 224525 HAS SOPS 160759 HAS SOUS 66480 HAS SOUPS 20181 WITH SCORE 20405.525
AT ITER 5989 NEW BEST:: SOT 367387 SOS 224552 HAS SOPS 160759 HAS SOUS 66489 HAS SOUPS 20172 WITH SCORE 20396.552
AT ITER 6024 NEW BEST:: SOT 367323 SOS 224488 HAS SOPS 160567 HAS SOUS 66361 HAS SOUPS 20044 WITH SCORE 20268.488
AT ITER 6041 NEW BEST:: SOT 367296 SOS 224461 HAS SOPS 160540 HAS SOUS 66307 HAS SOUPS 19990 WITH SCORE 20214.461
AT ITER 6043 NEW BEST:: SOT 367265 SOS 224430 HAS SOPS 160472 HAS SOUS 66245 HAS SOUPS 19928 WITH SCORE 20152.43
AT ITER 6044 NEW BEST:: SOT 367265 SOS 224430 HAS SOPS 160462 HAS SOUS 66245 HAS SOUPS 19918 WITH SCORE 20142.43
AT ITER 6061 NEW BEST:: SOT 367214 SOS 224379 HAS SOPS 160271 HAS SOUS 66143 HAS SOUPS 19816 WITH SCORE 20040.379
AT ITER 6076 NEW BEST:: SOT 367164 SOS 224329 HAS SOPS 160221 HAS SOUS 66143 HAS SOUPS 19816 WITH SCORE 20040.329
AT ITER 6083 NEW BEST:: SOT 366889 SOS 223753 HAS SOPS 160052 HAS SOUS 65894 HAS SOUPS 19762 WITH SCORE 19985.753
AT ITER 6101 NEW BEST:: SOT 366908 SOS 223810 HAS SOPS 160052 HAS SOUS 65894 HAS SOUPS 19743 WITH SCORE 19966.81
AT ITER 6125 NEW BEST:: SOT 366901 SOS 223803 HAS SOPS 160045 HAS SOUS 65880 HAS SOUPS 19729 WITH SCORE 19952.803
AT ITER 6152 NEW BEST:: SOT 366730 SOS 229460 HAS SOPS 165808 HAS SOUS 65762 HAS SOUPS 19664 WITH SCORE 19893.46
AT ITER 6175 NEW BEST:: SOT 366672 SOS 229402 HAS SOPS 165750 HAS SOUS 65708 HAS SOUPS 19610 WITH SCORE 19839.402
AT ITER 6177 NEW BEST:: SOT 366711 SOS 229441 HAS SOPS 165789 HAS SOUS 65660 HAS SOUPS 19562 WITH SCORE 19791.441
AT ITER 6193 NEW BEST:: SOT 366695 SOS 229409 HAS SOPS 165773 HAS SOUS 65644 HAS SOUPS 19562 WITH SCORE 19791.409
AT ITER 6206 NEW BEST:: SOT 366695 SOS 229394 HAS SOPS 165773 HAS SOUS 65644 HAS SOUPS 19562 WITH SCORE 19791.394
AT ITER 6259 NEW BEST:: SOT 366695 SOS 229224 HAS SOPS 165773 HAS SOUS 65644 HAS SOUPS 19562 WITH SCORE 19791.224
AT ITER 6279 NEW BEST:: SOT 366800 SOS 229329 HAS SOPS 165769 HAS SOUS 65636 HAS SOUPS 19554 WITH SCORE 19783.329
AT ITER 6282 NEW BEST:: SOT 366789 SOS 229318 HAS SOPS 165758 HAS SOUS 65614 HAS SOUPS 19532 WITH SCORE 19761.318
AT ITER 6290 NEW BEST:: SOT 366954 SOS 229705 HAS SOPS 165923 HAS SOUS 65722 HAS SOUPS 19529 WITH SCORE 19758.705
AT ITER 6310 NEW BEST:: SOT 367037 SOS 230282 HAS SOPS 166006 HAS SOUS 65888 HAS SOUPS 19514 WITH SCORE 19744.282
AT ITER 6329 NEW BEST:: SOT 366894 SOS 229986 HAS SOPS 165896 HAS SOUS 65788 HAS SOUPS 19507 WITH SCORE 19736.986
AT ITER 6340 NEW BEST:: SOT 366834 SOS 229806 HAS SOPS 165836 HAS SOUS 65668 HAS SOUPS 19447 WITH SCORE 19676.806
AT ITER 6393 NEW BEST:: SOT 366834 SOS 229751 HAS SOPS 165836 HAS SOUS 65668 HAS SOUPS 19447 WITH SCORE 19676.751
AT ITER 6394 NEW BEST:: SOT 366785 SOS 229673 HAS SOPS 165787 HAS SOUS 65597 HAS SOUPS 19405 WITH SCORE 19634.673
AT ITER 6440 NEW BEST:: SOT 366642 SOS 229395 HAS SOPS 165680 HAS SOUS 65446 HAS SOUPS 19353 WITH SCORE 19582.395
AT ITER 6482 NEW BEST:: SOT 366691 SOS 229444 HAS SOPS 165729 HAS SOUS 65422 HAS SOUPS 19329 WITH SCORE 19558.444
AT ITER 6494 NEW BEST:: SOT 366648 SOS 229401 HAS SOPS 165729 HAS SOUS 65422 HAS SOUPS 19329 WITH SCORE 19558.401
AT ITER 6497 NEW BEST:: SOT 366638 SOS 229381 HAS SOPS 165719 HAS SOUS 65412 HAS SOUPS 19329 WITH SCORE 19558.381
AT ITER 6530 NEW BEST:: SOT 366631 SOS 229374 HAS SOPS 165671 HAS SOUS 65398 HAS SOUPS 19315 WITH SCORE 19544.374
AT ITER 6551 NEW BEST:: SOT 366629 SOS 229407 HAS SOPS 165437 HAS SOUS 65394 HAS SOUPS 19311 WITH SCORE 19540.407
AT ITER 6561 NEW BEST:: SOT 366619 SOS 229298 HAS SOPS 165427 HAS SOUS 65341 HAS SOUPS 19301 WITH SCORE 19530.298
AT ITER 6602 NEW BEST:: SOT 366600 SOS 229279 HAS SOPS 165408 HAS SOUS 65303 HAS SOUPS 19263 WITH SCORE 19492.279
AT ITER 6612 NEW BEST:: SOT 366635 SOS 229607 HAS SOPS 165443 HAS SOUS 65373 HAS SOUPS 19232 WITH SCORE 19461.607
AT ITER 6624 NEW BEST:: SOT 366627 SOS 229599 HAS SOPS 165435 HAS SOUS 65369 HAS SOUPS 19228 WITH SCORE 19457.599
AT ITER 6630 NEW BEST:: SOT 366627 SOS 229572 HAS SOPS 165435 HAS SOUS 65369 HAS SOUPS 19228 WITH SCORE 19457.572
AT ITER 6673 NEW BEST:: SOT 366627 SOS 229454 HAS SOPS 165435 HAS SOUS 65369 HAS SOUPS 19228 WITH SCORE 19457.454
AT ITER 6679 NEW BEST:: SOT 366619 SOS 229446 HAS SOPS 165427 HAS SOUS 65361 HAS SOUPS 19220 WITH SCORE 19449.446
AT ITER 6697 NEW BEST:: SOT 366612 SOS 229439 HAS SOPS 165420 HAS SOUS 65347 HAS SOUPS 19206 WITH SCORE 19435.439
AT ITER 6737 NEW BEST:: SOT 366604 SOS 229415 HAS SOPS 165412 HAS SOUS 65331 HAS SOUPS 19198 WITH SCORE 19427.415
AT ITER 6763 NEW BEST:: SOT 366460 SOS 229085 HAS SOPS 165310 HAS SOUS 65187 HAS SOUPS 19189 WITH SCORE 19418.085
AT ITER 6826 NEW BEST:: SOT 366423 SOS 229048 HAS SOPS 165273 HAS SOUS 65187 HAS SOUPS 19189 WITH SCORE 19418.048
AT ITER 6918 NEW BEST:: SOT 366419 SOS 229044 HAS SOPS 165269 HAS SOUS 65179 HAS SOUPS 19181 WITH SCORE 19410.044
AT ITER 6920 NEW BEST:: SOT 366419 SOS 229066 HAS SOPS 165258 HAS SOUS 65179 HAS SOUPS 19159 WITH SCORE 19388.066
AT ITER 6953 NEW BEST:: SOT 366364 SOS 228988 HAS SOPS 165258 HAS SOUS 65101 HAS SOUPS 19159 WITH SCORE 19387.988
AT ITER 6998 NEW BEST:: SOT 365999 SOS 228201 HAS SOPS 164950 HAS SOUS 64725 HAS SOUPS 19051 WITH SCORE 19279.201
AT ITER 7050 NEW BEST:: SOT 366079 SOS 228281 HAS SOPS 165030 HAS SOUS 64695 HAS SOUPS 19021 WITH SCORE 19249.281
AT ITER 7090 NEW BEST:: SOT 366079 SOS 228385 HAS SOPS 165030 HAS SOUS 64695 HAS SOUPS 18969 WITH SCORE 19197.385
AT ITER 7128 NEW BEST:: SOT 366097 SOS 228517 HAS SOPS 165048 HAS SOUS 64731 HAS SOUPS 18948 WITH SCORE 19176.517
AT ITER 7129 NEW BEST:: SOT 367648 SOS 230068 HAS SOPS 164916 HAS SOUS 66315 HAS SOUPS 18849 WITH SCORE 19079.068
AT ITER 7130 NEW BEST:: SOT 367648 SOS 230045 HAS SOPS 164916 HAS SOUS 66292 HAS SOUPS 18849 WITH SCORE 19079.045
AT ITER 7133 NEW BEST:: SOT 367700 SOS 230542 HAS SOPS 164968 HAS SOUS 66396 HAS SOUPS 18809 WITH SCORE 19039.542
AT ITER 7137 NEW BEST:: SOT 367696 SOS 230538 HAS SOPS 164880 HAS SOUS 66388 HAS SOUPS 18801 WITH SCORE 19031.538
AT ITER 7189 NEW BEST:: SOT 367732 SOS 230646 HAS SOPS 164880 HAS SOUS 66424 HAS SOUPS 18765 WITH SCORE 18995.646
AT ITER 7209 NEW BEST:: SOT 367747 SOS 230769 HAS SOPS 164895 HAS SOUS 66454 HAS SOUPS 18741 WITH SCORE 18971.769
AT ITER 7251 NEW BEST:: SOT 367792 SOS 231183 HAS SOPS 164940 HAS SOUS 66544 HAS SOUPS 18729 WITH SCORE 18960.183
AT ITER 7253 NEW BEST:: SOT 367791 SOS 231182 HAS SOPS 164939 HAS SOUS 66544 HAS SOUPS 18729 WITH SCORE 18960.182
AT ITER 7276 NEW BEST:: SOT 367811 SOS 231226 HAS SOPS 164959 HAS SOUS 66560 HAS SOUPS 18721 WITH SCORE 18952.226
AT ITER 7277 NEW BEST:: SOT 367768 SOS 231183 HAS SOPS 164916 HAS SOUS 66560 HAS SOUPS 18721 WITH SCORE 18952.183
AT ITER 7282 NEW BEST:: SOT 367682 SOS 231057 HAS SOPS 164830 HAS SOUS 66434 HAS SOUPS 18635 WITH SCORE 18866.057
AT ITER 7289 NEW BEST:: SOT 367577 SOS 230840 HAS SOPS 164725 HAS SOUS 66273 HAS SOUPS 18530 WITH SCORE 18760.84
AT ITER 7291 NEW BEST:: SOT 367589 SOS 230861 HAS SOPS 164725 HAS SOUS 66282 HAS SOUPS 18518 WITH SCORE 18748.861
AT ITER 7293 NEW BEST:: SOT 367587 SOS 230859 HAS SOPS 164723 HAS SOUS 66278 HAS SOUPS 18514 WITH SCORE 18744.859
AT ITER 7338 NEW BEST:: SOT 367577 SOS 230849 HAS SOPS 164713 HAS SOUS 66268 HAS SOUPS 18504 WITH SCORE 18734.849
AT ITER 7342 NEW BEST:: SOT 367563 SOS 230828 HAS SOPS 164699 HAS SOUS 66247 HAS SOUPS 18490 WITH SCORE 18720.828
AT ITER 7344 NEW BEST:: SOT 367563 SOS 230815 HAS SOPS 164699 HAS SOUS 66247 HAS SOUPS 18490 WITH SCORE 18720.815
AT ITER 7363 NEW BEST:: SOT 367563 SOS 230709 HAS SOPS 164699 HAS SOUS 66247 HAS SOUPS 18490 WITH SCORE 18720.709
AT ITER 7448 NEW BEST:: SOT 367523 SOS 230589 HAS SOPS 164659 HAS SOUS 66167 HAS SOUPS 18450 WITH SCORE 18680.589
AT ITER 7452 NEW BEST:: SOT 367527 SOS 230593 HAS SOPS 164663 HAS SOUS 66063 HAS SOUPS 18346 WITH SCORE 18576.593
AT ITER 7457 NEW BEST:: SOT 367611 SOS 230793 HAS SOPS 164747 HAS SOUS 66115 HAS SOUPS 18340 WITH SCORE 18570.793
AT ITER 7471 NEW BEST:: SOT 366630 SOS 229812 HAS SOPS 164549 HAS SOUS 65116 HAS SOUPS 18124 WITH SCORE 18353.812
AT ITER 7475 NEW BEST:: SOT 366731 SOS 229972 HAS SOPS 164591 HAS SOUS 65217 HAS SOUPS 18107 WITH SCORE 18336.972
AT ITER 7481 NEW BEST:: SOT 366709 SOS 229950 HAS SOPS 164569 HAS SOUS 65195 HAS SOUPS 18085 WITH SCORE 18314.95
AT ITER 7532 NEW BEST:: SOT 366723 SOS 229964 HAS SOPS 164569 HAS SOUS 65195 HAS SOUPS 18071 WITH SCORE 18300.964
AT ITER 7576 NEW BEST:: SOT 366813 SOS 230178 HAS SOPS 164659 HAS SOUS 65251 HAS SOUPS 18065 WITH SCORE 18295.178
AT ITER 7596 NEW BEST:: SOT 366813 SOS 230178 HAS SOPS 164659 HAS SOUS 65135 HAS SOUPS 17949 WITH SCORE 18179.178
AT ITER 7627 NEW BEST:: SOT 366813 SOS 230120 HAS SOPS 164659 HAS SOUS 65135 HAS SOUPS 17949 WITH SCORE 18179.12
AT ITER 7667 NEW BEST:: SOT 366851 SOS 230189 HAS SOPS 164648 HAS SOUS 65155 HAS SOUPS 17889 WITH SCORE 18119.189
AT ITER 7710 NEW BEST:: SOT 366861 SOS 230317 HAS SOPS 164658 HAS SOUS 65175 HAS SOUPS 17850 WITH SCORE 18080.317
AT ITER 7746 NEW BEST:: SOT 366861 SOS 230317 HAS SOPS 164656 HAS SOUS 65173 HAS SOUPS 17846 WITH SCORE 18076.317
AT ITER 7753 NEW BEST:: SOT 366874 SOS 230330 HAS SOPS 164669 HAS SOUS 65163 HAS SOUPS 17836 WITH SCORE 18066.33
AT ITER 7754 NEW BEST:: SOT 366874 SOS 230339 HAS SOPS 164565 HAS SOUS 65117 HAS SOUPS 17738 WITH SCORE 17968.339
AT ITER 7804 NEW BEST:: SOT 366763 SOS 230166 HAS SOPS 164454 HAS SOUS 64957 HAS SOUPS 17640 WITH SCORE 17870.166
AT ITER 7819 NEW BEST:: SOT 366923 SOS 230326 HAS SOPS 164589 HAS SOUS 64957 HAS SOUPS 17615 WITH SCORE 17845.326
AT ITER 7847 NEW BEST:: SOT 366923 SOS 230320 HAS SOPS 164589 HAS SOUS 64957 HAS SOUPS 17615 WITH SCORE 17845.32
AT ITER 7891 NEW BEST:: SOT 366917 SOS 230314 HAS SOPS 164583 HAS SOUS 64957 HAS SOUPS 17615 WITH SCORE 17845.314
AT ITER 7895 NEW BEST:: SOT 366917 SOS 230321 HAS SOPS 164583 HAS SOUS 64960 HAS SOUPS 17611 WITH SCORE 17841.321
AT ITER 7912 NEW BEST:: SOT 366569 SOS 229597 HAS SOPS 164263 HAS SOUS 64612 HAS SOUPS 17479 WITH SCORE 17708.597
AT ITER 7976 NEW BEST:: SOT 366551 SOS 229553 HAS SOPS 164245 HAS SOUS 64581 HAS SOUPS 17474 WITH SCORE 17703.553
AT ITER 7988 NEW BEST:: SOT 366590 SOS 229670 HAS SOPS 164245 HAS SOUS 64620 HAS SOUPS 17435 WITH SCORE 17664.67
AT ITER 8017 NEW BEST:: SOT 366590 SOS 229654 HAS SOPS 164245 HAS SOUS 64620 HAS SOUPS 17435 WITH SCORE 17664.654
AT ITER 8042 NEW BEST:: SOT 366590 SOS 229657 HAS SOPS 164235 HAS SOUS 64613 HAS SOUPS 17415 WITH SCORE 17644.657
AT ITER 8074 NEW BEST:: SOT 366585 SOS 229652 HAS SOPS 164230 HAS SOUS 64603 HAS SOUPS 17405 WITH SCORE 17634.652
AT ITER 8106 NEW BEST:: SOT 366567 SOS 229634 HAS SOPS 164174 HAS SOUS 64567 HAS SOUPS 17369 WITH SCORE 17598.634
AT ITER 8108 NEW BEST:: SOT 366566 SOS 229633 HAS SOPS 164172 HAS SOUS 64565 HAS SOUPS 17367 WITH SCORE 17596.633
AT ITER 8127 NEW BEST:: SOT 366613 SOS 229680 HAS SOPS 164219 HAS SOUS 64515 HAS SOUPS 17317 WITH SCORE 17546.68
AT ITER 8169 NEW BEST:: SOT 366613 SOS 229670 HAS SOPS 164219 HAS SOUS 64505 HAS SOUPS 17317 WITH SCORE 17546.67
AT ITER 8204 NEW BEST:: SOT 366607 SOS 229664 HAS SOPS 164213 HAS SOUS 64499 HAS SOUPS 17311 WITH SCORE 17540.664
AT ITER 8229 NEW BEST:: SOT 366549 SOS 229548 HAS SOPS 164155 HAS SOUS 64441 HAS SOUPS 17282 WITH SCORE 17511.548
AT ITER 8264 NEW BEST:: SOT 366558 SOS 229557 HAS SOPS 164164 HAS SOUS 64429 HAS SOUPS 17270 WITH SCORE 17499.557
AT ITER 8318 NEW BEST:: SOT 366571 SOS 229599 HAS SOPS 164177 HAS SOUS 64426 HAS SOUPS 17238 WITH SCORE 17467.599
AT ITER 8327 NEW BEST:: SOT 366565 SOS 229593 HAS SOPS 164171 HAS SOUS 64426 HAS SOUPS 17238 WITH SCORE 17467.593
AT ITER 8370 NEW BEST:: SOT 366565 SOS 229833 HAS SOPS 164171 HAS SOUS 64426 HAS SOUPS 17180 WITH SCORE 17409.833
AT ITER 8434 NEW BEST:: SOT 366567 SOS 229835 HAS SOPS 164173 HAS SOUS 64404 HAS SOUPS 17158 WITH SCORE 17387.835
AT ITER 8483 NEW BEST:: SOT 366567 SOS 229854 HAS SOPS 164154 HAS SOUS 64404 HAS SOUPS 17120 WITH SCORE 17349.854
AT ITER 8548 NEW BEST:: SOT 366548 SOS 229835 HAS SOPS 164135 HAS SOUS 64366 HAS SOUPS 17082 WITH SCORE 17311.835
AT ITER 8560 NEW BEST:: SOT 366547 SOS 229834 HAS SOPS 164134 HAS SOUS 64364 HAS SOUPS 17080 WITH SCORE 17309.834
AT ITER 8566 NEW BEST:: SOT 366562 SOS 229849 HAS SOPS 164149 HAS SOUS 64334 HAS SOUPS 17050 WITH SCORE 17279.849
AT ITER 8589 NEW BEST:: SOT 366207 SOS 229050 HAS SOPS 163881 HAS SOUS 63979 HAS SOUPS 17004 WITH SCORE 17233.05
AT ITER 8619 NEW BEST:: SOT 366207 SOS 229039 HAS SOPS 163881 HAS SOUS 63979 HAS SOUPS 17004 WITH SCORE 17233.039
AT ITER 8636 NEW BEST:: SOT 366207 SOS 229035 HAS SOPS 163881 HAS SOUS 63979 HAS SOUPS 17004 WITH SCORE 17233.035
AT ITER 8649 NEW BEST:: SOT 366207 SOS 229213 HAS SOPS 163881 HAS SOUS 63979 HAS SOUPS 16964 WITH SCORE 17193.213
AT ITER 8662 NEW BEST:: SOT 366201 SOS 229207 HAS SOPS 163875 HAS SOUS 63979 HAS SOUPS 16964 WITH SCORE 17193.207
AT ITER 8727 NEW BEST:: SOT 366198 SOS 229204 HAS SOPS 163872 HAS SOUS 63973 HAS SOUPS 16958 WITH SCORE 17187.204
AT ITER 8764 NEW BEST:: SOT 366198 SOS 229148 HAS SOPS 163872 HAS SOUS 63973 HAS SOUPS 16958 WITH SCORE 17187.148
AT ITER 8851 NEW BEST:: SOT 366175 SOS 229125 HAS SOPS 163849 HAS SOUS 63973 HAS SOUPS 16958 WITH SCORE 17187.125
AT ITER 8863 NEW BEST:: SOT 366155 SOS 229088 HAS SOPS 163829 HAS SOUS 63941 HAS SOUPS 16943 WITH SCORE 17172.088
AT ITER 8918 NEW BEST:: SOT 366155 SOS 229091 HAS SOPS 163742 HAS SOUS 63941 HAS SOUPS 16853 WITH SCORE 17082.091
AT ITER 8982 NEW BEST:: SOT 366138 SOS 229074 HAS SOPS 163708 HAS SOUS 63907 HAS SOUPS 16819 WITH SCORE 17048.074
AT ITER 8994 NEW BEST:: SOT 366189 SOS 229276 HAS SOPS 163679 HAS SOUS 63958 HAS SOUPS 16716 WITH SCORE 16945.276
AT ITER 8996 NEW BEST:: SOT 366171 SOS 229258 HAS SOPS 163661 HAS SOUS 63940 HAS SOUPS 16698 WITH SCORE 16927.258
AT ITER 9060 NEW BEST:: SOT 366171 SOS 229193 HAS SOPS 163661 HAS SOUS 63940 HAS SOUPS 16698 WITH SCORE 16927.193
AT ITER 9102 NEW BEST:: SOT 366109 SOS 229131 HAS SOPS 163599 HAS SOUS 63906 HAS SOUPS 16664 WITH SCORE 16893.131
AT ITER 9113 NEW BEST:: SOT 366099 SOS 229121 HAS SOPS 163589 HAS SOUS 63906 HAS SOUPS 16664 WITH SCORE 16893.121
AT ITER 9122 NEW BEST:: SOT 366089 SOS 229073 HAS SOPS 163579 HAS SOUS 63886 HAS SOUPS 16663 WITH SCORE 16892.073
AT ITER 9147 NEW BEST:: SOT 366069 SOS 229053 HAS SOPS 163559 HAS SOUS 63846 HAS SOUPS 16623 WITH SCORE 16852.053
AT ITER 9168 NEW BEST:: SOT 366063 SOS 229047 HAS SOPS 163553 HAS SOUS 63840 HAS SOUPS 16617 WITH SCORE 16846.047
AT ITER 9216 NEW BEST:: SOT 366063 SOS 229047 HAS SOPS 163546 HAS SOUS 63826 HAS SOUPS 16603 WITH SCORE 16832.047
AT ITER 9301 NEW BEST:: SOT 366096 SOS 229146 HAS SOPS 163579 HAS SOUS 63826 HAS SOUPS 16570 WITH SCORE 16799.146
AT ITER 9303 NEW BEST:: SOT 366099 SOS 229149 HAS SOPS 163575 HAS SOUS 63818 HAS SOUPS 16562 WITH SCORE 16791.149
AT ITER 9322 NEW BEST:: SOT 366132 SOS 229228 HAS SOPS 163608 HAS SOUS 63838 HAS SOUPS 16559 WITH SCORE 16788.228
AT ITER 9367 NEW BEST:: SOT 366149 SOS 229343 HAS SOPS 163625 HAS SOUS 63872 HAS SOUPS 16544 WITH SCORE 16773.343
AT ITER 9374 NEW BEST:: SOT 366243 SOS 229507 HAS SOPS 163649 HAS SOUS 63966 HAS SOUPS 16498 WITH SCORE 16727.507
AT ITER 9413 NEW BEST:: SOT 366264 SOS 229790 HAS SOPS 163670 HAS SOUS 64008 HAS SOUPS 16444 WITH SCORE 16673.79
AT ITER 9449 NEW BEST:: SOT 366253 SOS 229779 HAS SOPS 163659 HAS SOUS 63986 HAS SOUPS 16422 WITH SCORE 16651.779
AT ITER 9494 NEW BEST:: SOT 366310 SOS 229946 HAS SOPS 163716 HAS SOUS 63990 HAS SOUPS 16371 WITH SCORE 16600.946
AT ITER 9556 NEW BEST:: SOT 366567 SOS 230585 HAS SOPS 163868 HAS SOUS 64247 HAS SOUPS 16332 WITH SCORE 16562.585
AT ITER 9653 NEW BEST:: SOT 366491 SOS 230433 HAS SOPS 163792 HAS SOUS 64171 HAS SOUPS 16294 WITH SCORE 16524.433
AT ITER 9687 NEW BEST:: SOT 366507 SOS 230672 HAS SOPS 163808 HAS SOUS 64203 HAS SOUPS 16254 WITH SCORE 16484.672
AT ITER 9709 NEW BEST:: SOT 366496 SOS 230661 HAS SOPS 163797 HAS SOUS 64181 HAS SOUPS 16232 WITH SCORE 16462.661
AT ITER 9739 NEW BEST:: SOT 366478 SOS 230643 HAS SOPS 163779 HAS SOUS 64145 HAS SOUPS 16196 WITH SCORE 16426.643
AT ITER 9838 NEW BEST:: SOT 366567 SOS 230854 HAS SOPS 163868 HAS SOUS 64201 HAS SOUPS 16191 WITH SCORE 16421.854
AT ITER 9854 NEW BEST:: SOT 366567 SOS 230854 HAS SOPS 163868 HAS SOUS 64155 HAS SOUPS 16145 WITH SCORE 16375.854
AT ITER 9880 NEW BEST:: SOT 366531 SOS 230818 HAS SOPS 163868 HAS SOUS 64155 HAS SOUPS 16145 WITH SCORE 16375.818
AT ITER 9918 NEW BEST:: SOT 366532 SOS 230819 HAS SOPS 163863 HAS SOUS 64145 HAS SOUPS 16135 WITH SCORE 16365.819
AT ITER 9957 NEW BEST:: SOT 366530 SOS 230879 HAS SOPS 163861 HAS SOUS 64205 HAS SOUPS 16133 WITH SCORE 16363.879
AT ITER 9979 NEW BEST:: SOT 366530 SOS 230892 HAS SOPS 163861 HAS SOUS 64214 HAS SOUPS 16129 WITH SCORE 16359.892
AT ITER 9983 NEW BEST:: SOT 366592 SOS 231048 HAS SOPS 163923 HAS SOUS 64244 HAS SOUPS 16112 WITH SCORE 16343.048
STATE_SPACE STATES 34877423 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 308 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 155007424 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589095526897

--------------------
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="AirplaneLD-PT-0100"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 AirplaneLD-PT-0100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508300265"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0100.tgz
mv AirplaneLD-PT-0100 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;