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

About the Execution of smart for ASLink-PT-02a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15763.890 3600000.00 3600030.00 0.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000025.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 ASLink-PT-02a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000025
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 279K 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 1588989852707

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

Filename model.pnml
Petri model created: 626 places, 1008 transitions, 3820 arcs.
AT ITER 0 NEW BEST:: SOT 346575 SOS 237428 HAS SOPS 237428 HAS SOUS 138866 HAS SOUPS 138866 WITH SCORE 139103.428
AT ITER 11 NEW BEST:: SOT 346575 SOS 236151 HAS SOPS 236151 HAS SOUS 138710 HAS SOUPS 138710 WITH SCORE 138946.151
AT ITER 23 NEW BEST:: SOT 346575 SOS 236403 HAS SOPS 236403 HAS SOUS 138668 HAS SOUPS 138668 WITH SCORE 138904.403
AT ITER 29 NEW BEST:: SOT 346401 SOS 236222 HAS SOPS 236222 HAS SOUS 138528 HAS SOUPS 138528 WITH SCORE 138764.222
AT ITER 33 NEW BEST:: SOT 346401 SOS 235795 HAS SOPS 235795 HAS SOUS 138380 HAS SOUPS 138380 WITH SCORE 138615.795
AT ITER 37 NEW BEST:: SOT 342951 SOS 232497 HAS SOPS 232497 HAS SOUS 135081 HAS SOUPS 135081 WITH SCORE 135313.497
AT ITER 41 NEW BEST:: SOT 342613 SOS 232159 HAS SOPS 232159 HAS SOUS 134743 HAS SOUPS 134743 WITH SCORE 134975.159
AT ITER 43 NEW BEST:: SOT 342655 SOS 231763 HAS SOPS 231763 HAS SOUS 134743 HAS SOUPS 134743 WITH SCORE 134974.763
AT ITER 46 NEW BEST:: SOT 342553 SOS 231715 HAS SOPS 231715 HAS SOUS 134722 HAS SOUPS 134722 WITH SCORE 134953.715
AT ITER 47 NEW BEST:: SOT 342553 SOS 231667 HAS SOPS 231667 HAS SOUS 134722 HAS SOUPS 134722 WITH SCORE 134953.667
AT ITER 52 NEW BEST:: SOT 338107 SOS 227836 HAS SOPS 227836 HAS SOUS 130737 HAS SOUPS 130737 WITH SCORE 130964.836
AT ITER 57 NEW BEST:: SOT 338018 SOS 226352 HAS SOPS 226352 HAS SOUS 130647 HAS SOUPS 130647 WITH SCORE 130873.352
AT ITER 69 NEW BEST:: SOT 337743 SOS 226077 HAS SOPS 226077 HAS SOUS 130643 HAS SOUPS 130643 WITH SCORE 130869.077
AT ITER 74 NEW BEST:: SOT 337434 SOS 225424 HAS SOPS 225424 HAS SOUS 130567 HAS SOUPS 130567 WITH SCORE 130792.424
AT ITER 85 NEW BEST:: SOT 337387 SOS 225377 HAS SOPS 225377 HAS SOUS 130519 HAS SOUPS 130519 WITH SCORE 130744.377
AT ITER 86 NEW BEST:: SOT 335089 SOS 223079 HAS SOPS 223079 HAS SOUS 128221 HAS SOUPS 128221 WITH SCORE 128444.079
AT ITER 88 NEW BEST:: SOT 335021 SOS 223011 HAS SOPS 223011 HAS SOUS 128217 HAS SOUPS 128217 WITH SCORE 128440.011
AT ITER 89 NEW BEST:: SOT 334750 SOS 222354 HAS SOPS 222354 HAS SOUS 127560 HAS SOUPS 127560 WITH SCORE 127782.354
AT ITER 97 NEW BEST:: SOT 334973 SOS 222113 HAS SOPS 222113 HAS SOUS 127308 HAS SOUPS 127308 WITH SCORE 127530.113
AT ITER 104 NEW BEST:: SOT 334838 SOS 221465 HAS SOPS 221465 HAS SOUS 127072 HAS SOUPS 127072 WITH SCORE 127293.465
AT ITER 116 NEW BEST:: SOT 334778 SOS 221405 HAS SOPS 221405 HAS SOUS 127012 HAS SOUPS 127012 WITH SCORE 127233.405
AT ITER 121 NEW BEST:: SOT 334678 SOS 221305 HAS SOPS 221305 HAS SOUS 126969 HAS SOUPS 126969 WITH SCORE 127190.305
AT ITER 125 NEW BEST:: SOT 334253 SOS 220880 HAS SOPS 220880 HAS SOUS 126544 HAS SOUPS 126544 WITH SCORE 126764.88
AT ITER 126 NEW BEST:: SOT 334111 SOS 220738 HAS SOPS 220738 HAS SOUS 126402 HAS SOUPS 126402 WITH SCORE 126622.738
AT ITER 131 NEW BEST:: SOT 331327 SOS 217967 HAS SOPS 217967 HAS SOUS 123784 HAS SOUPS 123784 WITH SCORE 124001.967
AT ITER 134 NEW BEST:: SOT 331112 SOS 217535 HAS SOPS 217535 HAS SOUS 123352 HAS SOUPS 123352 WITH SCORE 123569.535
AT ITER 135 NEW BEST:: SOT 330828 SOS 216659 HAS SOPS 216659 HAS SOUS 122477 HAS SOUPS 122477 WITH SCORE 122693.659
AT ITER 137 NEW BEST:: SOT 329286 SOS 215308 HAS SOPS 215308 HAS SOUS 121038 HAS SOUPS 121038 WITH SCORE 121253.308
AT ITER 138 NEW BEST:: SOT 329286 SOS 215172 HAS SOPS 215172 HAS SOUS 121027 HAS SOUPS 121027 WITH SCORE 121242.172
AT ITER 145 NEW BEST:: SOT 329066 SOS 214952 HAS SOPS 214952 HAS SOUS 120797 HAS SOUPS 120797 WITH SCORE 121011.952
AT ITER 151 NEW BEST:: SOT 328961 SOS 215117 HAS SOPS 215117 HAS SOUS 120690 HAS SOUPS 120690 WITH SCORE 120905.117
AT ITER 158 NEW BEST:: SOT 328592 SOS 214324 HAS SOPS 214324 HAS SOUS 120170 HAS SOUPS 120170 WITH SCORE 120384.324
AT ITER 165 NEW BEST:: SOT 328592 SOS 214317 HAS SOPS 214317 HAS SOUS 120170 HAS SOUPS 120170 WITH SCORE 120384.317
AT ITER 179 NEW BEST:: SOT 328534 SOS 214286 HAS SOPS 214286 HAS SOUS 120152 HAS SOUPS 120152 WITH SCORE 120366.286
AT ITER 183 NEW BEST:: SOT 327601 SOS 214015 HAS SOPS 214015 HAS SOUS 119403 HAS SOUPS 119403 WITH SCORE 119617.015
AT ITER 193 NEW BEST:: SOT 327601 SOS 213476 HAS SOPS 213476 HAS SOUS 119179 HAS SOUPS 119179 WITH SCORE 119392.476
AT ITER 194 NEW BEST:: SOT 327597 SOS 212973 HAS SOPS 212973 HAS SOUS 118910 HAS SOUPS 118910 WITH SCORE 119122.973
AT ITER 197 NEW BEST:: SOT 327779 SOS 213101 HAS SOPS 213101 HAS SOUS 118811 HAS SOUPS 118811 WITH SCORE 119024.101
AT ITER 201 NEW BEST:: SOT 327480 SOS 212800 HAS SOPS 212800 HAS SOUS 118567 HAS SOUPS 118567 WITH SCORE 118779.8
AT ITER 205 NEW BEST:: SOT 327480 SOS 212756 HAS SOPS 212756 HAS SOUS 118567 HAS SOUPS 118567 WITH SCORE 118779.756
AT ITER 207 NEW BEST:: SOT 327465 SOS 212739 HAS SOPS 212739 HAS SOUS 118550 HAS SOUPS 118550 WITH SCORE 118762.739
AT ITER 217 NEW BEST:: SOT 327465 SOS 212232 HAS SOPS 212232 HAS SOUS 118283 HAS SOUPS 118283 WITH SCORE 118495.232
AT ITER 231 NEW BEST:: SOT 327453 SOS 212220 HAS SOPS 212220 HAS SOUS 118271 HAS SOUPS 118271 WITH SCORE 118483.22
AT ITER 240 NEW BEST:: SOT 327453 SOS 211820 HAS SOPS 211820 HAS SOUS 118270 HAS SOUPS 118270 WITH SCORE 118481.82
AT ITER 247 NEW BEST:: SOT 327453 SOS 211826 HAS SOPS 211826 HAS SOUS 118219 HAS SOUPS 118219 WITH SCORE 118430.826
AT ITER 249 NEW BEST:: SOT 327247 SOS 210277 HAS SOPS 210277 HAS SOUS 117803 HAS SOUPS 117803 WITH SCORE 118013.277
AT ITER 252 NEW BEST:: SOT 327277 SOS 210274 HAS SOPS 210274 HAS SOUS 117800 HAS SOUPS 117800 WITH SCORE 118010.274
AT ITER 261 NEW BEST:: SOT 327275 SOS 210139 HAS SOPS 210139 HAS SOUS 117777 HAS SOUPS 117777 WITH SCORE 117987.139
AT ITER 264 NEW BEST:: SOT 327209 SOS 209937 HAS SOPS 209937 HAS SOUS 117197 HAS SOUPS 117197 WITH SCORE 117406.937
AT ITER 277 NEW BEST:: SOT 327130 SOS 209700 HAS SOPS 209700 HAS SOUS 116960 HAS SOUPS 116960 WITH SCORE 117169.7
AT ITER 288 NEW BEST:: SOT 327128 SOS 209691 HAS SOPS 209691 HAS SOUS 116951 HAS SOUPS 116951 WITH SCORE 117160.691
AT ITER 290 NEW BEST:: SOT 327077 SOS 209640 HAS SOPS 209640 HAS SOUS 116921 HAS SOUPS 116921 WITH SCORE 117130.64
AT ITER 297 NEW BEST:: SOT 327005 SOS 209698 HAS SOPS 209698 HAS SOUS 116912 HAS SOUPS 116912 WITH SCORE 117121.698
AT ITER 298 NEW BEST:: SOT 326912 SOS 209605 HAS SOPS 209605 HAS SOUS 116819 HAS SOUPS 116819 WITH SCORE 117028.605
AT ITER 299 NEW BEST:: SOT 326900 SOS 209593 HAS SOPS 209593 HAS SOUS 116807 HAS SOUPS 116807 WITH SCORE 117016.593
AT ITER 304 NEW BEST:: SOT 326757 SOS 209275 HAS SOPS 209275 HAS SOUS 116489 HAS SOUPS 116489 WITH SCORE 116698.275
AT ITER 306 NEW BEST:: SOT 326437 SOS 208946 HAS SOPS 208946 HAS SOUS 116160 HAS SOUPS 116160 WITH SCORE 116368.946
AT ITER 309 NEW BEST:: SOT 326328 SOS 208837 HAS SOPS 208837 HAS SOUS 115889 HAS SOUPS 115889 WITH SCORE 116097.837
AT ITER 310 NEW BEST:: SOT 326328 SOS 208834 HAS SOPS 208834 HAS SOUS 115886 HAS SOUPS 115886 WITH SCORE 116094.834
AT ITER 314 NEW BEST:: SOT 326212 SOS 208603 HAS SOPS 208603 HAS SOUS 115769 HAS SOUPS 115769 WITH SCORE 115977.603
AT ITER 362 NEW BEST:: SOT 326212 SOS 208421 HAS SOPS 208421 HAS SOUS 115724 HAS SOUPS 115724 WITH SCORE 115932.421
AT ITER 363 NEW BEST:: SOT 326189 SOS 208435 HAS SOPS 208435 HAS SOUS 115716 HAS SOUPS 115716 WITH SCORE 115924.435
AT ITER 371 NEW BEST:: SOT 326189 SOS 208335 HAS SOPS 208335 HAS SOUS 115716 HAS SOUPS 115716 WITH SCORE 115924.335
AT ITER 378 NEW BEST:: SOT 326189 SOS 208335 HAS SOPS 208335 HAS SOUS 115703 HAS SOUPS 115703 WITH SCORE 115911.335
AT ITER 390 NEW BEST:: SOT 324730 SOS 207059 HAS SOPS 207059 HAS SOUS 114202 HAS SOUPS 114202 WITH SCORE 114409.059
AT ITER 392 NEW BEST:: SOT 324730 SOS 207059 HAS SOPS 207059 HAS SOUS 114087 HAS SOUPS 114087 WITH SCORE 114294.059
AT ITER 395 NEW BEST:: SOT 324689 SOS 206977 HAS SOPS 206977 HAS SOUS 114029 HAS SOUPS 114029 WITH SCORE 114235.977
AT ITER 397 NEW BEST:: SOT 324409 SOS 206863 HAS SOPS 206863 HAS SOUS 113833 HAS SOUPS 113833 WITH SCORE 114039.863
AT ITER 400 NEW BEST:: SOT 324262 SOS 206316 HAS SOPS 206316 HAS SOUS 113286 HAS SOUPS 113286 WITH SCORE 113492.316
AT ITER 409 NEW BEST:: SOT 324224 SOS 206278 HAS SOPS 206278 HAS SOUS 113248 HAS SOUPS 113248 WITH SCORE 113454.278
AT ITER 412 NEW BEST:: SOT 324088 SOS 206142 HAS SOPS 206142 HAS SOUS 113126 HAS SOUPS 113126 WITH SCORE 113332.142
AT ITER 419 NEW BEST:: SOT 324120 SOS 206174 HAS SOPS 206174 HAS SOUS 113122 HAS SOUPS 113122 WITH SCORE 113328.174
AT ITER 420 NEW BEST:: SOT 323972 SOS 206006 HAS SOPS 206006 HAS SOUS 112954 HAS SOUPS 112954 WITH SCORE 113160.006
AT ITER 427 NEW BEST:: SOT 322919 SOS 205789 HAS SOPS 205789 HAS SOUS 112086 HAS SOUPS 112086 WITH SCORE 112291.789
AT ITER 448 NEW BEST:: SOT 322858 SOS 205727 HAS SOPS 205727 HAS SOUS 112085 HAS SOUPS 112085 WITH SCORE 112290.727
AT ITER 451 NEW BEST:: SOT 322704 SOS 205224 HAS SOPS 205224 HAS SOUS 111777 HAS SOUPS 111777 WITH SCORE 111982.224
AT ITER 456 NEW BEST:: SOT 322473 SOS 205612 HAS SOPS 205612 HAS SOUS 111740 HAS SOUPS 111740 WITH SCORE 111945.612
AT ITER 458 NEW BEST:: SOT 322441 SOS 205500 HAS SOPS 205500 HAS SOUS 111708 HAS SOUPS 111708 WITH SCORE 111913.5
AT ITER 465 NEW BEST:: SOT 322371 SOS 205430 HAS SOPS 205430 HAS SOUS 111594 HAS SOUPS 111594 WITH SCORE 111799.43
AT ITER 468 NEW BEST:: SOT 322157 SOS 205216 HAS SOPS 205216 HAS SOUS 111380 HAS SOUPS 111380 WITH SCORE 111585.216
AT ITER 471 NEW BEST:: SOT 322157 SOS 204981 HAS SOPS 204981 HAS SOUS 111324 HAS SOUPS 111324 WITH SCORE 111528.981
AT ITER 477 NEW BEST:: SOT 322075 SOS 204899 HAS SOPS 204899 HAS SOUS 111288 HAS SOUPS 111288 WITH SCORE 111492.899
AT ITER 484 NEW BEST:: SOT 322351 SOS 204832 HAS SOPS 204832 HAS SOUS 110835 HAS SOUPS 110835 WITH SCORE 111039.832
AT ITER 488 NEW BEST:: SOT 322303 SOS 204784 HAS SOPS 204784 HAS SOUS 110787 HAS SOUPS 110787 WITH SCORE 110991.784
AT ITER 489 NEW BEST:: SOT 322303 SOS 204784 HAS SOPS 204784 HAS SOUS 110786 HAS SOUPS 110786 WITH SCORE 110990.784
AT ITER 492 NEW BEST:: SOT 322315 SOS 204619 HAS SOPS 204619 HAS SOUS 110621 HAS SOUPS 110621 WITH SCORE 110825.619
AT ITER 494 NEW BEST:: SOT 322226 SOS 203466 HAS SOPS 203466 HAS SOUS 110443 HAS SOUPS 110443 WITH SCORE 110646.466
AT ITER 495 NEW BEST:: SOT 321905 SOS 203129 HAS SOPS 203129 HAS SOUS 110108 HAS SOUPS 110108 WITH SCORE 110311.129
AT ITER 502 NEW BEST:: SOT 321829 SOS 203148 HAS SOPS 203148 HAS SOUS 110061 HAS SOUPS 110061 WITH SCORE 110264.148
AT ITER 512 NEW BEST:: SOT 320173 SOS 202103 HAS SOPS 202103 HAS SOUS 108539 HAS SOUPS 108539 WITH SCORE 108741.103
AT ITER 513 NEW BEST:: SOT 320171 SOS 202101 HAS SOPS 202101 HAS SOUS 108534 HAS SOUPS 108534 WITH SCORE 108736.101
AT ITER 514 NEW BEST:: SOT 320164 SOS 202093 HAS SOPS 202093 HAS SOUS 108520 HAS SOUPS 108520 WITH SCORE 108722.093
AT ITER 517 NEW BEST:: SOT 320164 SOS 202091 HAS SOPS 202091 HAS SOUS 108432 HAS SOUPS 108432 WITH SCORE 108634.091
AT ITER 518 NEW BEST:: SOT 320424 SOS 202221 HAS SOPS 202221 HAS SOUS 108172 HAS SOUPS 108172 WITH SCORE 108374.221
AT ITER 520 NEW BEST:: SOT 320335 SOS 202132 HAS SOPS 202132 HAS SOUS 108083 HAS SOUPS 108083 WITH SCORE 108285.132
AT ITER 521 NEW BEST:: SOT 320335 SOS 202124 HAS SOPS 202124 HAS SOUS 108075 HAS SOUPS 108075 WITH SCORE 108277.124
AT ITER 525 NEW BEST:: SOT 319957 SOS 201832 HAS SOPS 201832 HAS SOUS 107574 HAS SOUPS 107574 WITH SCORE 107775.832
AT ITER 526 NEW BEST:: SOT 319921 SOS 201295 HAS SOPS 201295 HAS SOUS 107070 HAS SOUPS 107070 WITH SCORE 107271.295
AT ITER 527 NEW BEST:: SOT 319823 SOS 201123 HAS SOPS 201123 HAS SOUS 106990 HAS SOUPS 106990 WITH SCORE 107191.123
AT ITER 545 NEW BEST:: SOT 319823 SOS 201079 HAS SOPS 201079 HAS SOUS 106988 HAS SOUPS 106988 WITH SCORE 107189.079
AT ITER 553 NEW BEST:: SOT 319749 SOS 201005 HAS SOPS 201005 HAS SOUS 106950 HAS SOUPS 106950 WITH SCORE 107151.005
AT ITER 558 NEW BEST:: SOT 319337 SOS 200593 HAS SOPS 200593 HAS SOUS 106538 HAS SOUPS 106538 WITH SCORE 106738.593
AT ITER 561 NEW BEST:: SOT 319197 SOS 200425 HAS SOPS 200425 HAS SOUS 106370 HAS SOUPS 106370 WITH SCORE 106570.425
AT ITER 564 NEW BEST:: SOT 319139 SOS 200354 HAS SOPS 200354 HAS SOUS 106299 HAS SOUPS 106299 WITH SCORE 106499.354
AT ITER 567 NEW BEST:: SOT 319139 SOS 200374 HAS SOPS 200374 HAS SOUS 106295 HAS SOUPS 106295 WITH SCORE 106495.374
AT ITER 579 NEW BEST:: SOT 319256 SOS 200824 HAS SOPS 200824 HAS SOUS 106175 HAS SOUPS 106175 WITH SCORE 106375.824
AT ITER 600 NEW BEST:: SOT 315661 SOS 197599 HAS SOPS 197599 HAS SOUS 102713 HAS SOUPS 102713 WITH SCORE 102910.599
AT ITER 608 NEW BEST:: SOT 315783 SOS 197346 HAS SOPS 197346 HAS SOUS 102460 HAS SOUPS 102460 WITH SCORE 102657.346
AT ITER 609 NEW BEST:: SOT 315251 SOS 196814 HAS SOPS 196814 HAS SOUS 101814 HAS SOUPS 101814 WITH SCORE 102010.814
AT ITER 616 NEW BEST:: SOT 314125 SOS 195688 HAS SOPS 195688 HAS SOUS 100688 HAS SOUPS 100688 WITH SCORE 100883.688
AT ITER 627 NEW BEST:: SOT 314256 SOS 195251 HAS SOPS 195251 HAS SOUS 100398 HAS SOUPS 100398 WITH SCORE 100593.251
AT ITER 630 NEW BEST:: SOT 314162 SOS 194972 HAS SOPS 194972 HAS SOUS 100193 HAS SOUPS 100193 WITH SCORE 100387.972
AT ITER 637 NEW BEST:: SOT 313446 SOS 194256 HAS SOPS 194256 HAS SOUS 99477 HAS SOUPS 99477 WITH SCORE 99671.256
AT ITER 639 NEW BEST:: SOT 313419 SOS 194225 HAS SOPS 194225 HAS SOUS 99446 HAS SOUPS 99446 WITH SCORE 99640.225
AT ITER 652 NEW BEST:: SOT 312223 SOS 193029 HAS SOPS 193029 HAS SOUS 98250 HAS SOUPS 98250 WITH SCORE 98443.029
AT ITER 660 NEW BEST:: SOT 312267 SOS 192450 HAS SOPS 192450 HAS SOUS 97968 HAS SOUPS 97968 WITH SCORE 98160.45
AT ITER 673 NEW BEST:: SOT 312267 SOS 192153 HAS SOPS 192153 HAS SOUS 97671 HAS SOUPS 97671 WITH SCORE 97863.153
AT ITER 681 NEW BEST:: SOT 312501 SOS 191658 HAS SOPS 191658 HAS SOUS 97537 HAS SOUPS 97537 WITH SCORE 97728.658
AT ITER 687 NEW BEST:: SOT 312434 SOS 191591 HAS SOPS 191591 HAS SOUS 97470 HAS SOUPS 97470 WITH SCORE 97661.591
AT ITER 714 NEW BEST:: SOT 312434 SOS 191591 HAS SOPS 191591 HAS SOUS 97469 HAS SOUPS 97469 WITH SCORE 97660.591
AT ITER 717 NEW BEST:: SOT 312356 SOS 191413 HAS SOPS 191413 HAS SOUS 97312 HAS SOUPS 97312 WITH SCORE 97503.413
AT ITER 728 NEW BEST:: SOT 312324 SOS 190963 HAS SOPS 190963 HAS SOUS 97248 HAS SOUPS 97248 WITH SCORE 97438.963
AT ITER 733 NEW BEST:: SOT 312360 SOS 190530 HAS SOPS 190530 HAS SOUS 97064 HAS SOUPS 97064 WITH SCORE 97254.53
AT ITER 734 NEW BEST:: SOT 312360 SOS 190495 HAS SOPS 190495 HAS SOUS 97029 HAS SOUPS 97029 WITH SCORE 97219.495
AT ITER 735 NEW BEST:: SOT 312360 SOS 190371 HAS SOPS 190371 HAS SOUS 97029 HAS SOUPS 97029 WITH SCORE 97219.371
AT ITER 741 NEW BEST:: SOT 312360 SOS 190361 HAS SOPS 190361 HAS SOUS 97009 HAS SOUPS 97009 WITH SCORE 97199.361
AT ITER 752 NEW BEST:: SOT 312310 SOS 190359 HAS SOPS 190359 HAS SOUS 97007 HAS SOUPS 97007 WITH SCORE 97197.359
AT ITER 758 NEW BEST:: SOT 312235 SOS 190305 HAS SOPS 190305 HAS SOUS 97006 HAS SOUPS 97006 WITH SCORE 97196.305
AT ITER 760 NEW BEST:: SOT 310579 SOS 188649 HAS SOPS 188649 HAS SOUS 95350 HAS SOUPS 95350 WITH SCORE 95538.649
AT ITER 766 NEW BEST:: SOT 310579 SOS 188546 HAS SOPS 188546 HAS SOUS 95250 HAS SOUPS 95250 WITH SCORE 95438.546
AT ITER 770 NEW BEST:: SOT 310516 SOS 188767 HAS SOPS 188767 HAS SOUS 95116 HAS SOUPS 95116 WITH SCORE 95304.767
AT ITER 773 NEW BEST:: SOT 310516 SOS 188767 HAS SOPS 188767 HAS SOUS 95115 HAS SOUPS 95115 WITH SCORE 95303.767
AT ITER 792 NEW BEST:: SOT 310569 SOS 188820 HAS SOPS 188820 HAS SOUS 95094 HAS SOUPS 95094 WITH SCORE 95282.82
AT ITER 793 NEW BEST:: SOT 310564 SOS 188815 HAS SOPS 188815 HAS SOUS 95091 HAS SOUPS 95091 WITH SCORE 95279.815
AT ITER 795 NEW BEST:: SOT 310533 SOS 188753 HAS SOPS 188753 HAS SOUS 95029 HAS SOUPS 95029 WITH SCORE 95217.753
AT ITER 798 NEW BEST:: SOT 309818 SOS 188038 HAS SOPS 188038 HAS SOUS 94314 HAS SOUPS 94314 WITH SCORE 94502.038
AT ITER 801 NEW BEST:: SOT 309679 SOS 187899 HAS SOPS 187899 HAS SOUS 94175 HAS SOUPS 94175 WITH SCORE 94362.899
AT ITER 831 NEW BEST:: SOT 309851 SOS 187687 HAS SOPS 187687 HAS SOUS 93949 HAS SOUPS 93949 WITH SCORE 94136.687
AT ITER 852 NEW BEST:: SOT 309569 SOS 187587 HAS SOPS 187587 HAS SOUS 93609 HAS SOUPS 93609 WITH SCORE 93796.587
AT ITER 860 NEW BEST:: SOT 309569 SOS 187587 HAS SOPS 187587 HAS SOUS 93601 HAS SOUPS 93601 WITH SCORE 93788.587
AT ITER 861 NEW BEST:: SOT 309598 SOS 187616 HAS SOPS 187616 HAS SOUS 93480 HAS SOUPS 93480 WITH SCORE 93667.616
AT ITER 865 NEW BEST:: SOT 309552 SOS 187536 HAS SOPS 187536 HAS SOUS 93400 HAS SOUPS 93400 WITH SCORE 93587.536
AT ITER 872 NEW BEST:: SOT 309552 SOS 187501 HAS SOPS 187501 HAS SOUS 93365 HAS SOUPS 93365 WITH SCORE 93552.501
AT ITER 876 NEW BEST:: SOT 309552 SOS 187443 HAS SOPS 187443 HAS SOUS 93336 HAS SOUPS 93336 WITH SCORE 93523.443
AT ITER 878 NEW BEST:: SOT 309372 SOS 187263 HAS SOPS 187263 HAS SOUS 93191 HAS SOUPS 93191 WITH SCORE 93378.263
AT ITER 879 NEW BEST:: SOT 309259 SOS 187150 HAS SOPS 187150 HAS SOUS 93077 HAS SOUPS 93077 WITH SCORE 93264.15
AT ITER 884 NEW BEST:: SOT 309251 SOS 187134 HAS SOPS 187134 HAS SOUS 93061 HAS SOUPS 93061 WITH SCORE 93248.134
AT ITER 901 NEW BEST:: SOT 309266 SOS 187218 HAS SOPS 187218 HAS SOUS 92987 HAS SOUPS 92987 WITH SCORE 93174.218
AT ITER 904 NEW BEST:: SOT 309266 SOS 187136 HAS SOPS 187136 HAS SOUS 92987 HAS SOUPS 92987 WITH SCORE 93174.136
AT ITER 907 NEW BEST:: SOT 309266 SOS 187069 HAS SOPS 187069 HAS SOUS 92976 HAS SOUPS 92976 WITH SCORE 93163.069
AT ITER 910 NEW BEST:: SOT 309266 SOS 186697 HAS SOPS 186697 HAS SOUS 92897 HAS SOUPS 92897 WITH SCORE 93083.697
AT ITER 914 NEW BEST:: SOT 307739 SOS 185008 HAS SOPS 185008 HAS SOUS 90989 HAS SOUPS 90989 WITH SCORE 91174.008
AT ITER 921 NEW BEST:: SOT 307925 SOS 184648 HAS SOPS 184648 HAS SOUS 90724 HAS SOUPS 90724 WITH SCORE 90908.648
AT ITER 928 NEW BEST:: SOT 307999 SOS 184791 HAS SOPS 184791 HAS SOUS 90655 HAS SOUPS 90655 WITH SCORE 90839.791
AT ITER 930 NEW BEST:: SOT 307965 SOS 184757 HAS SOPS 184757 HAS SOUS 90587 HAS SOUPS 90587 WITH SCORE 90771.757
AT ITER 982 NEW BEST:: SOT 307689 SOS 185913 HAS SOPS 185913 HAS SOUS 90320 HAS SOUPS 90320 WITH SCORE 90505.913
AT ITER 998 NEW BEST:: SOT 307689 SOS 185838 HAS SOPS 185838 HAS SOUS 90317 HAS SOUPS 90317 WITH SCORE 90502.838
AT ITER 1044 NEW BEST:: SOT 307688 SOS 185766 HAS SOPS 185766 HAS SOUS 90174 HAS SOUPS 90174 WITH SCORE 90359.766
AT ITER 1049 NEW BEST:: SOT 307693 SOS 185586 HAS SOPS 185586 HAS SOUS 90035 HAS SOUPS 90035 WITH SCORE 90220.586
AT ITER 1055 NEW BEST:: SOT 307675 SOS 185568 HAS SOPS 185568 HAS SOUS 90017 HAS SOUPS 90017 WITH SCORE 90202.568
AT ITER 1060 NEW BEST:: SOT 307306 SOS 185815 HAS SOPS 185815 HAS SOUS 89722 HAS SOUPS 89722 WITH SCORE 89907.815
AT ITER 1061 NEW BEST:: SOT 307260 SOS 185769 HAS SOPS 185769 HAS SOUS 89706 HAS SOUPS 89706 WITH SCORE 89891.769
AT ITER 1062 NEW BEST:: SOT 307260 SOS 185768 HAS SOPS 185768 HAS SOUS 89705 HAS SOUPS 89705 WITH SCORE 89890.768
AT ITER 1072 NEW BEST:: SOT 306556 SOS 183848 HAS SOPS 183848 HAS SOUS 88992 HAS SOUPS 88992 WITH SCORE 89175.848
AT ITER 1076 NEW BEST:: SOT 306571 SOS 183863 HAS SOPS 183863 HAS SOUS 88983 HAS SOUPS 88983 WITH SCORE 89166.863
AT ITER 1077 NEW BEST:: SOT 306535 SOS 183763 HAS SOPS 183763 HAS SOUS 88883 HAS SOUPS 88883 WITH SCORE 89066.763
AT ITER 1098 NEW BEST:: SOT 306519 SOS 183506 HAS SOPS 183506 HAS SOUS 88764 HAS SOUPS 88764 WITH SCORE 88947.506
AT ITER 1110 NEW BEST:: SOT 306466 SOS 183541 HAS SOPS 183541 HAS SOUS 88731 HAS SOUPS 88731 WITH SCORE 88914.541
AT ITER 1114 NEW BEST:: SOT 306449 SOS 183678 HAS SOPS 183678 HAS SOUS 88714 HAS SOUPS 88714 WITH SCORE 88897.678
AT ITER 1129 NEW BEST:: SOT 306434 SOS 184149 HAS SOPS 184149 HAS SOUS 88699 HAS SOUPS 88699 WITH SCORE 88883.149
AT ITER 1134 NEW BEST:: SOT 306304 SOS 184019 HAS SOPS 184019 HAS SOUS 88569 HAS SOUPS 88569 WITH SCORE 88753.019
AT ITER 1135 NEW BEST:: SOT 302940 SOS 180655 HAS SOPS 180655 HAS SOUS 85203 HAS SOUPS 85203 WITH SCORE 85383.655
AT ITER 1137 NEW BEST:: SOT 301940 SOS 181886 HAS SOPS 181886 HAS SOUS 84679 HAS SOUPS 84679 WITH SCORE 84860.886
AT ITER 1143 NEW BEST:: SOT 301939 SOS 181885 HAS SOPS 181885 HAS SOUS 84678 HAS SOUPS 84678 WITH SCORE 84859.885
AT ITER 1163 NEW BEST:: SOT 301715 SOS 181686 HAS SOPS 181686 HAS SOUS 84450 HAS SOUPS 84450 WITH SCORE 84631.686
AT ITER 1178 NEW BEST:: SOT 301687 SOS 181658 HAS SOPS 181658 HAS SOUS 84422 HAS SOUPS 84422 WITH SCORE 84603.658
AT ITER 1197 NEW BEST:: SOT 301224 SOS 181138 HAS SOPS 181138 HAS SOUS 83902 HAS SOUPS 83902 WITH SCORE 84083.138
AT ITER 1202 NEW BEST:: SOT 301220 SOS 181132 HAS SOPS 181132 HAS SOUS 83896 HAS SOUPS 83896 WITH SCORE 84077.132
AT ITER 1209 NEW BEST:: SOT 298314 SOS 178247 HAS SOPS 178247 HAS SOUS 80997 HAS SOUPS 80997 WITH SCORE 81175.247
AT ITER 1210 NEW BEST:: SOT 298205 SOS 178138 HAS SOPS 178138 HAS SOUS 80933 HAS SOUPS 80933 WITH SCORE 81111.138
AT ITER 1221 NEW BEST:: SOT 298075 SOS 177770 HAS SOPS 177770 HAS SOUS 80618 HAS SOUPS 80618 WITH SCORE 80795.77
AT ITER 1224 NEW BEST:: SOT 298030 SOS 177725 HAS SOPS 177725 HAS SOUS 80533 HAS SOUPS 80533 WITH SCORE 80710.725
AT ITER 1230 NEW BEST:: SOT 298030 SOS 177600 HAS SOPS 177600 HAS SOUS 80408 HAS SOUPS 80408 WITH SCORE 80585.6
AT ITER 1236 NEW BEST:: SOT 297634 SOS 177204 HAS SOPS 177204 HAS SOUS 80126 HAS SOUPS 80126 WITH SCORE 80303.204
AT ITER 1237 NEW BEST:: SOT 297613 SOS 177162 HAS SOPS 177162 HAS SOUS 80084 HAS SOUPS 80084 WITH SCORE 80261.162
AT ITER 1262 NEW BEST:: SOT 297680 SOS 177424 HAS SOPS 177424 HAS SOUS 79930 HAS SOUPS 79930 WITH SCORE 80107.424
AT ITER 1265 NEW BEST:: SOT 297685 SOS 177397 HAS SOPS 177397 HAS SOUS 79903 HAS SOUPS 79903 WITH SCORE 80080.397
AT ITER 1269 NEW BEST:: SOT 297685 SOS 177382 HAS SOPS 177382 HAS SOUS 79903 HAS SOUPS 79903 WITH SCORE 80080.382
AT ITER 1275 NEW BEST:: SOT 297735 SOS 177362 HAS SOPS 177362 HAS SOUS 79855 HAS SOUPS 79855 WITH SCORE 80032.362
AT ITER 1279 NEW BEST:: SOT 297726 SOS 177353 HAS SOPS 177353 HAS SOUS 79846 HAS SOUPS 79846 WITH SCORE 80023.353
AT ITER 1292 NEW BEST:: SOT 297581 SOS 177208 HAS SOPS 177208 HAS SOUS 79701 HAS SOUPS 79701 WITH SCORE 79878.208
AT ITER 1294 NEW BEST:: SOT 297521 SOS 176510 HAS SOPS 176510 HAS SOUS 79322 HAS SOUPS 79322 WITH SCORE 79498.51
AT ITER 1297 NEW BEST:: SOT 297386 SOS 176375 HAS SOPS 176375 HAS SOUS 79187 HAS SOUPS 79187 WITH SCORE 79363.375
AT ITER 1300 NEW BEST:: SOT 297211 SOS 176020 HAS SOPS 176020 HAS SOUS 79043 HAS SOUPS 79043 WITH SCORE 79219.02
AT ITER 1301 NEW BEST:: SOT 297211 SOS 176155 HAS SOPS 176155 HAS SOUS 78950 HAS SOUPS 78950 WITH SCORE 79126.155
AT ITER 1326 NEW BEST:: SOT 297211 SOS 176153 HAS SOPS 176153 HAS SOUS 78948 HAS SOUPS 78948 WITH SCORE 79124.153
AT ITER 1331 NEW BEST:: SOT 297211 SOS 176153 HAS SOPS 176153 HAS SOUS 78942 HAS SOUPS 78942 WITH SCORE 79118.153
AT ITER 1335 NEW BEST:: SOT 297207 SOS 176149 HAS SOPS 176149 HAS SOUS 78938 HAS SOUPS 78938 WITH SCORE 79114.149
AT ITER 1338 NEW BEST:: SOT 297235 SOS 176089 HAS SOPS 176089 HAS SOUS 78869 HAS SOUPS 78869 WITH SCORE 79045.089
AT ITER 1342 NEW BEST:: SOT 297206 SOS 176031 HAS SOPS 176031 HAS SOUS 78811 HAS SOUPS 78811 WITH SCORE 78987.031
AT ITER 1344 NEW BEST:: SOT 297206 SOS 175943 HAS SOPS 175943 HAS SOUS 78810 HAS SOUPS 78810 WITH SCORE 78985.943
AT ITER 1361 NEW BEST:: SOT 297106 SOS 175709 HAS SOPS 175709 HAS SOUS 78576 HAS SOUPS 78576 WITH SCORE 78751.709
AT ITER 1386 NEW BEST:: SOT 296882 SOS 175640 HAS SOPS 175640 HAS SOUS 78474 HAS SOUPS 78474 WITH SCORE 78649.64
AT ITER 1394 NEW BEST:: SOT 296864 SOS 175622 HAS SOPS 175622 HAS SOUS 78373 HAS SOUPS 78373 WITH SCORE 78548.622
AT ITER 1396 NEW BEST:: SOT 296863 SOS 175621 HAS SOPS 175621 HAS SOUS 78372 HAS SOUPS 78372 WITH SCORE 78547.621
AT ITER 1400 NEW BEST:: SOT 296861 SOS 175549 HAS SOPS 175549 HAS SOUS 78308 HAS SOUPS 78308 WITH SCORE 78483.549
AT ITER 1412 NEW BEST:: SOT 296113 SOS 174801 HAS SOPS 174801 HAS SOUS 77383 HAS SOUPS 77383 WITH SCORE 77557.801
AT ITER 1461 NEW BEST:: SOT 296111 SOS 174773 HAS SOPS 174773 HAS SOUS 77379 HAS SOUPS 77379 WITH SCORE 77553.773
AT ITER 1476 NEW BEST:: SOT 295940 SOS 174602 HAS SOPS 174602 HAS SOUS 77208 HAS SOUPS 77208 WITH SCORE 77382.602
AT ITER 1480 NEW BEST:: SOT 295880 SOS 174542 HAS SOPS 174542 HAS SOUS 77104 HAS SOUPS 77104 WITH SCORE 77278.542
AT ITER 1506 NEW BEST:: SOT 295845 SOS 174119 HAS SOPS 174119 HAS SOUS 77057 HAS SOUPS 77057 WITH SCORE 77231.119
AT ITER 1514 NEW BEST:: SOT 295712 SOS 173986 HAS SOPS 173986 HAS SOUS 76784 HAS SOUPS 76784 WITH SCORE 76957.986
AT ITER 1517 NEW BEST:: SOT 295754 SOS 173986 HAS SOPS 173986 HAS SOUS 76774 HAS SOUPS 76774 WITH SCORE 76947.986
AT ITER 1538 NEW BEST:: SOT 295719 SOS 173951 HAS SOPS 173951 HAS SOUS 76739 HAS SOUPS 76739 WITH SCORE 76912.951
AT ITER 1550 NEW BEST:: SOT 295680 SOS 173912 HAS SOPS 173912 HAS SOUS 76700 HAS SOUPS 76700 WITH SCORE 76873.912
AT ITER 1556 NEW BEST:: SOT 295680 SOS 173874 HAS SOPS 173874 HAS SOUS 76662 HAS SOUPS 76662 WITH SCORE 76835.874
AT ITER 1581 NEW BEST:: SOT 295598 SOS 173792 HAS SOPS 173792 HAS SOUS 76580 HAS SOUPS 76580 WITH SCORE 76753.792
AT ITER 1607 NEW BEST:: SOT 295548 SOS 173744 HAS SOPS 173744 HAS SOUS 76564 HAS SOUPS 76564 WITH SCORE 76737.744
AT ITER 1611 NEW BEST:: SOT 295527 SOS 173699 HAS SOPS 173699 HAS SOUS 76519 HAS SOUPS 76519 WITH SCORE 76692.699
AT ITER 1619 NEW BEST:: SOT 295705 SOS 173746 HAS SOPS 173746 HAS SOUS 76386 HAS SOUPS 76386 WITH SCORE 76559.746
AT ITER 1627 NEW BEST:: SOT 295666 SOS 173703 HAS SOPS 173703 HAS SOUS 76343 HAS SOUPS 76343 WITH SCORE 76516.703
AT ITER 1634 NEW BEST:: SOT 295393 SOS 173489 HAS SOPS 173489 HAS SOUS 76011 HAS SOUPS 76011 WITH SCORE 76184.489
AT ITER 1642 NEW BEST:: SOT 295389 SOS 173485 HAS SOPS 173485 HAS SOUS 76007 HAS SOUPS 76007 WITH SCORE 76180.485
AT ITER 1647 NEW BEST:: SOT 295446 SOS 173407 HAS SOPS 173407 HAS SOUS 75986 HAS SOUPS 75986 WITH SCORE 76159.407
AT ITER 1651 NEW BEST:: SOT 295445 SOS 173405 HAS SOPS 173405 HAS SOUS 75983 HAS SOUPS 75983 WITH SCORE 76156.405
AT ITER 1656 NEW BEST:: SOT 295418 SOS 173083 HAS SOPS 173083 HAS SOUS 75936 HAS SOUPS 75936 WITH SCORE 76109.083
AT ITER 1676 NEW BEST:: SOT 295403 SOS 172900 HAS SOPS 172900 HAS SOUS 75903 HAS SOUPS 75903 WITH SCORE 76075.9
AT ITER 1680 NEW BEST:: SOT 295403 SOS 172608 HAS SOPS 172608 HAS SOUS 75903 HAS SOUPS 75903 WITH SCORE 76075.608
AT ITER 1700 NEW BEST:: SOT 295387 SOS 172592 HAS SOPS 172592 HAS SOUS 75894 HAS SOUPS 75894 WITH SCORE 76066.592
AT ITER 1721 NEW BEST:: SOT 295313 SOS 172518 HAS SOPS 172518 HAS SOUS 75795 HAS SOUPS 75795 WITH SCORE 75967.518
AT ITER 1724 NEW BEST:: SOT 295311 SOS 172516 HAS SOPS 172516 HAS SOUS 75793 HAS SOUPS 75793 WITH SCORE 75965.516
AT ITER 1728 NEW BEST:: SOT 295310 SOS 172509 HAS SOPS 172509 HAS SOUS 75791 HAS SOUPS 75791 WITH SCORE 75963.509
AT ITER 1739 NEW BEST:: SOT 295291 SOS 172490 HAS SOPS 172490 HAS SOUS 75771 HAS SOUPS 75771 WITH SCORE 75943.49
AT ITER 1742 NEW BEST:: SOT 294745 SOS 170796 HAS SOPS 170796 HAS SOUS 75259 HAS SOUPS 75259 WITH SCORE 75429.796
AT ITER 1763 NEW BEST:: SOT 294708 SOS 171308 HAS SOPS 171308 HAS SOUS 75184 HAS SOUPS 75184 WITH SCORE 75355.308
AT ITER 1770 NEW BEST:: SOT 294708 SOS 171368 HAS SOPS 171368 HAS SOUS 75180 HAS SOUPS 75180 WITH SCORE 75351.368
AT ITER 1775 NEW BEST:: SOT 294707 SOS 171224 HAS SOPS 171224 HAS SOUS 75087 HAS SOUPS 75087 WITH SCORE 75258.224
AT ITER 1783 NEW BEST:: SOT 294648 SOS 171164 HAS SOPS 171164 HAS SOUS 74924 HAS SOUPS 74924 WITH SCORE 75095.164
AT ITER 1784 NEW BEST:: SOT 294646 SOS 171160 HAS SOPS 171160 HAS SOUS 74921 HAS SOUPS 74921 WITH SCORE 75092.16
AT ITER 1805 NEW BEST:: SOT 294528 SOS 170844 HAS SOPS 170844 HAS SOUS 74709 HAS SOUPS 74709 WITH SCORE 74879.844
AT ITER 1809 NEW BEST:: SOT 294513 SOS 170829 HAS SOPS 170829 HAS SOUS 74709 HAS SOUPS 74709 WITH SCORE 74879.829
AT ITER 1823 NEW BEST:: SOT 294471 SOS 170829 HAS SOPS 170829 HAS SOUS 74667 HAS SOUPS 74667 WITH SCORE 74837.829
AT ITER 1831 NEW BEST:: SOT 294433 SOS 170753 HAS SOPS 170753 HAS SOUS 74616 HAS SOUPS 74616 WITH SCORE 74786.753
AT ITER 1837 NEW BEST:: SOT 294433 SOS 170753 HAS SOPS 170753 HAS SOUS 74596 HAS SOUPS 74596 WITH SCORE 74766.753
AT ITER 1840 NEW BEST:: SOT 294439 SOS 170748 HAS SOPS 170748 HAS SOUS 74591 HAS SOUPS 74591 WITH SCORE 74761.748
AT ITER 1842 NEW BEST:: SOT 294389 SOS 170698 HAS SOPS 170698 HAS SOUS 74541 HAS SOUPS 74541 WITH SCORE 74711.698
AT ITER 1853 NEW BEST:: SOT 294370 SOS 170679 HAS SOPS 170679 HAS SOUS 74522 HAS SOUPS 74522 WITH SCORE 74692.679
AT ITER 1863 NEW BEST:: SOT 294308 SOS 170830 HAS SOPS 170830 HAS SOUS 74481 HAS SOUPS 74481 WITH SCORE 74651.83
AT ITER 1871 NEW BEST:: SOT 294135 SOS 170923 HAS SOPS 170923 HAS SOUS 74351 HAS SOUPS 74351 WITH SCORE 74521.923
AT ITER 1892 NEW BEST:: SOT 294167 SOS 170955 HAS SOPS 170955 HAS SOUS 74332 HAS SOUPS 74332 WITH SCORE 74502.955
AT ITER 1899 NEW BEST:: SOT 294167 SOS 171207 HAS SOPS 171207 HAS SOUS 74314 HAS SOUPS 74314 WITH SCORE 74485.207
AT ITER 1908 NEW BEST:: SOT 294127 SOS 171167 HAS SOPS 171167 HAS SOUS 74273 HAS SOUPS 74273 WITH SCORE 74444.167
AT ITER 1917 NEW BEST:: SOT 294097 SOS 171345 HAS SOPS 171345 HAS SOUS 74269 HAS SOUPS 74269 WITH SCORE 74440.345
AT ITER 1943 NEW BEST:: SOT 294097 SOS 171339 HAS SOPS 171339 HAS SOUS 74263 HAS SOUPS 74263 WITH SCORE 74434.339
AT ITER 1966 NEW BEST:: SOT 294097 SOS 170787 HAS SOPS 170787 HAS SOUS 74263 HAS SOUPS 74263 WITH SCORE 74433.787
AT ITER 1973 NEW BEST:: SOT 294096 SOS 170786 HAS SOPS 170786 HAS SOUS 74261 HAS SOUPS 74261 WITH SCORE 74431.786
AT ITER 1987 NEW BEST:: SOT 294088 SOS 170778 HAS SOPS 170778 HAS SOUS 74214 HAS SOUPS 74214 WITH SCORE 74384.778
AT ITER 1989 NEW BEST:: SOT 294084 SOS 171124 HAS SOPS 171124 HAS SOUS 74212 HAS SOUPS 74212 WITH SCORE 74383.124
AT ITER 2008 NEW BEST:: SOT 294084 SOS 170764 HAS SOPS 170764 HAS SOUS 74211 HAS SOUPS 74211 WITH SCORE 74381.764
AT ITER 2010 NEW BEST:: SOT 294047 SOS 170690 HAS SOPS 170690 HAS SOUS 74137 HAS SOUPS 74137 WITH SCORE 74307.69
AT ITER 2013 NEW BEST:: SOT 294012 SOS 170644 HAS SOPS 170644 HAS SOUS 74067 HAS SOUPS 74067 WITH SCORE 74237.644
AT ITER 2045 NEW BEST:: SOT 293968 SOS 170644 HAS SOPS 170644 HAS SOUS 73979 HAS SOUPS 73979 WITH SCORE 74149.644
AT ITER 2051 NEW BEST:: SOT 293968 SOS 170622 HAS SOPS 170622 HAS SOUS 73979 HAS SOUPS 73979 WITH SCORE 74149.622
AT ITER 2085 NEW BEST:: SOT 293925 SOS 170116 HAS SOPS 170116 HAS SOUS 73755 HAS SOUPS 73755 WITH SCORE 73925.116
AT ITER 2089 NEW BEST:: SOT 293925 SOS 170234 HAS SOPS 170234 HAS SOUS 73737 HAS SOUPS 73737 WITH SCORE 73907.234
AT ITER 2092 NEW BEST:: SOT 293714 SOS 169812 HAS SOPS 169812 HAS SOUS 73315 HAS SOUPS 73315 WITH SCORE 73484.812
AT ITER 2108 NEW BEST:: SOT 293691 SOS 169787 HAS SOPS 169787 HAS SOUS 73313 HAS SOUPS 73313 WITH SCORE 73482.787
AT ITER 2113 NEW BEST:: SOT 293691 SOS 169205 HAS SOPS 169205 HAS SOUS 73213 HAS SOUPS 73213 WITH SCORE 73382.205
AT ITER 2128 NEW BEST:: SOT 293670 SOS 169184 HAS SOPS 169184 HAS SOUS 73207 HAS SOUPS 73207 WITH SCORE 73376.184
AT ITER 2139 NEW BEST:: SOT 293237 SOS 168751 HAS SOPS 168751 HAS SOUS 72774 HAS SOUPS 72774 WITH SCORE 72942.751
AT ITER 2141 NEW BEST:: SOT 293197 SOS 168618 HAS SOPS 168618 HAS SOUS 72628 HAS SOUPS 72628 WITH SCORE 72796.618
AT ITER 2171 NEW BEST:: SOT 293144 SOS 168459 HAS SOPS 168459 HAS SOUS 72522 HAS SOUPS 72522 WITH SCORE 72690.459
AT ITER 2181 NEW BEST:: SOT 293144 SOS 168236 HAS SOPS 168236 HAS SOUS 72522 HAS SOUPS 72522 WITH SCORE 72690.236
AT ITER 2193 NEW BEST:: SOT 293102 SOS 168194 HAS SOPS 168194 HAS SOUS 72511 HAS SOUPS 72511 WITH SCORE 72679.194
AT ITER 2198 NEW BEST:: SOT 293028 SOS 168120 HAS SOPS 168120 HAS SOUS 72434 HAS SOUPS 72434 WITH SCORE 72602.12
AT ITER 2210 NEW BEST:: SOT 293013 SOS 168105 HAS SOPS 168105 HAS SOUS 72419 HAS SOUPS 72419 WITH SCORE 72587.105
AT ITER 2227 NEW BEST:: SOT 293013 SOS 168080 HAS SOPS 168080 HAS SOUS 72419 HAS SOUPS 72419 WITH SCORE 72587.08
AT ITER 2232 NEW BEST:: SOT 292988 SOS 168055 HAS SOPS 168055 HAS SOUS 72395 HAS SOUPS 72395 WITH SCORE 72563.055
AT ITER 2253 NEW BEST:: SOT 292976 SOS 168031 HAS SOPS 168031 HAS SOUS 72383 HAS SOUPS 72383 WITH SCORE 72551.031
AT ITER 2256 NEW BEST:: SOT 292900 SOS 167803 HAS SOPS 167803 HAS SOUS 72231 HAS SOUPS 72231 WITH SCORE 72398.803
AT ITER 2258 NEW BEST:: SOT 292865 SOS 167663 HAS SOPS 167663 HAS SOUS 72091 HAS SOUPS 72091 WITH SCORE 72258.663
AT ITER 2259 NEW BEST:: SOT 292811 SOS 167609 HAS SOPS 167609 HAS SOUS 72037 HAS SOUPS 72037 WITH SCORE 72204.609
AT ITER 2287 NEW BEST:: SOT 292811 SOS 167593 HAS SOPS 167593 HAS SOUS 72031 HAS SOUPS 72031 WITH SCORE 72198.593
AT ITER 2288 NEW BEST:: SOT 292772 SOS 167549 HAS SOPS 167549 HAS SOUS 71953 HAS SOUPS 71953 WITH SCORE 72120.549
AT ITER 2321 NEW BEST:: SOT 292773 SOS 167540 HAS SOPS 167540 HAS SOUS 71944 HAS SOUPS 71944 WITH SCORE 72111.54
AT ITER 2324 NEW BEST:: SOT 292711 SOS 167455 HAS SOPS 167455 HAS SOUS 71859 HAS SOUPS 71859 WITH SCORE 72026.455
AT ITER 2327 NEW BEST:: SOT 292633 SOS 167377 HAS SOPS 167377 HAS SOUS 71781 HAS SOUPS 71781 WITH SCORE 71948.377
AT ITER 2342 NEW BEST:: SOT 292633 SOS 167374 HAS SOPS 167374 HAS SOUS 71760 HAS SOUPS 71760 WITH SCORE 71927.374
AT ITER 2349 NEW BEST:: SOT 292680 SOS 167421 HAS SOPS 167421 HAS SOUS 71757 HAS SOUPS 71757 WITH SCORE 71924.421
AT ITER 2385 NEW BEST:: SOT 292674 SOS 167403 HAS SOPS 167403 HAS SOUS 71739 HAS SOUPS 71739 WITH SCORE 71906.403
AT ITER 2394 NEW BEST:: SOT 292638 SOS 167367 HAS SOPS 167367 HAS SOUS 71703 HAS SOUPS 71703 WITH SCORE 71870.367
AT ITER 2395 NEW BEST:: SOT 292512 SOS 167159 HAS SOPS 167159 HAS SOUS 71626 HAS SOUPS 71626 WITH SCORE 71793.159
AT ITER 2401 NEW BEST:: SOT 292518 SOS 167135 HAS SOPS 167135 HAS SOUS 71602 HAS SOUPS 71602 WITH SCORE 71769.135
AT ITER 2408 NEW BEST:: SOT 292371 SOS 167086 HAS SOPS 167086 HAS SOUS 71565 HAS SOUPS 71565 WITH SCORE 71732.086
AT ITER 2414 NEW BEST:: SOT 292336 SOS 167051 HAS SOPS 167051 HAS SOUS 71511 HAS SOUPS 71511 WITH SCORE 71678.051
AT ITER 2415 NEW BEST:: SOT 292303 SOS 166942 HAS SOPS 166942 HAS SOUS 71445 HAS SOUPS 71445 WITH SCORE 71611.942
AT ITER 2420 NEW BEST:: SOT 292252 SOS 166874 HAS SOPS 166874 HAS SOUS 71393 HAS SOUPS 71393 WITH SCORE 71559.874
AT ITER 2437 NEW BEST:: SOT 291796 SOS 166496 HAS SOPS 166496 HAS SOUS 71211 HAS SOUPS 71211 WITH SCORE 71377.496
AT ITER 2449 NEW BEST:: SOT 291796 SOS 166496 HAS SOPS 166496 HAS SOUS 71208 HAS SOUPS 71208 WITH SCORE 71374.496
AT ITER 2470 NEW BEST:: SOT 291737 SOS 166437 HAS SOPS 166437 HAS SOUS 71130 HAS SOUPS 71130 WITH SCORE 71296.437
AT ITER 2471 NEW BEST:: SOT 291737 SOS 166439 HAS SOPS 166439 HAS SOUS 71126 HAS SOUPS 71126 WITH SCORE 71292.439
AT ITER 2472 NEW BEST:: SOT 291706 SOS 166437 HAS SOPS 166437 HAS SOUS 71093 HAS SOUPS 71093 WITH SCORE 71259.437
AT ITER 2501 NEW BEST:: SOT 291629 SOS 166371 HAS SOPS 166371 HAS SOUS 71084 HAS SOUPS 71084 WITH SCORE 71250.371
AT ITER 2532 NEW BEST:: SOT 291938 SOS 166454 HAS SOPS 166454 HAS SOUS 71036 HAS SOUPS 71036 WITH SCORE 71202.454
AT ITER 2537 NEW BEST:: SOT 291874 SOS 166323 HAS SOPS 166323 HAS SOUS 71004 HAS SOUPS 71004 WITH SCORE 71170.323
AT ITER 2540 NEW BEST:: SOT 291882 SOS 165928 HAS SOPS 165928 HAS SOUS 70869 HAS SOUPS 70869 WITH SCORE 71034.928
AT ITER 2545 NEW BEST:: SOT 291602 SOS 165809 HAS SOPS 165809 HAS SOUS 70687 HAS SOUPS 70687 WITH SCORE 70852.809
AT ITER 2555 NEW BEST:: SOT 291550 SOS 165731 HAS SOPS 165731 HAS SOUS 70609 HAS SOUPS 70609 WITH SCORE 70774.731
AT ITER 2556 NEW BEST:: SOT 291498 SOS 165679 HAS SOPS 165679 HAS SOUS 70557 HAS SOUPS 70557 WITH SCORE 70722.679
AT ITER 2561 NEW BEST:: SOT 291930 SOS 166069 HAS SOPS 166069 HAS SOUS 70536 HAS SOUPS 70536 WITH SCORE 70702.069
AT ITER 2563 NEW BEST:: SOT 291903 SOS 166042 HAS SOPS 166042 HAS SOUS 70509 HAS SOUPS 70509 WITH SCORE 70675.042
AT ITER 2576 NEW BEST:: SOT 291903 SOS 165932 HAS SOPS 165932 HAS SOUS 70509 HAS SOUPS 70509 WITH SCORE 70674.932
AT ITER 2592 NEW BEST:: SOT 291900 SOS 165929 HAS SOPS 165929 HAS SOUS 70506 HAS SOUPS 70506 WITH SCORE 70671.929
AT ITER 2600 NEW BEST:: SOT 291782 SOS 166261 HAS SOPS 166261 HAS SOUS 70388 HAS SOUPS 70388 WITH SCORE 70554.261
AT ITER 2603 NEW BEST:: SOT 291782 SOS 166252 HAS SOPS 166252 HAS SOUS 70381 HAS SOUPS 70381 WITH SCORE 70547.252
AT ITER 2619 NEW BEST:: SOT 291732 SOS 166280 HAS SOPS 166280 HAS SOUS 70378 HAS SOUPS 70378 WITH SCORE 70544.28
AT ITER 2623 NEW BEST:: SOT 291608 SOS 166156 HAS SOPS 166156 HAS SOUS 70254 HAS SOUPS 70254 WITH SCORE 70420.156
AT ITER 2624 NEW BEST:: SOT 291571 SOS 166082 HAS SOPS 166082 HAS SOUS 70180 HAS SOUPS 70180 WITH SCORE 70346.082
AT ITER 2633 NEW BEST:: SOT 291571 SOS 166082 HAS SOPS 166082 HAS SOUS 70176 HAS SOUPS 70176 WITH SCORE 70342.082
AT ITER 2641 NEW BEST:: SOT 291571 SOS 166090 HAS SOPS 166090 HAS SOUS 70163 HAS SOUPS 70163 WITH SCORE 70329.09
AT ITER 2649 NEW BEST:: SOT 291533 SOS 166066 HAS SOPS 166066 HAS SOUS 70106 HAS SOUPS 70106 WITH SCORE 70272.066
AT ITER 2652 NEW BEST:: SOT 291549 SOS 166076 HAS SOPS 166076 HAS SOUS 70090 HAS SOUPS 70090 WITH SCORE 70256.076
AT ITER 2654 NEW BEST:: SOT 291490 SOS 166017 HAS SOPS 166017 HAS SOUS 69986 HAS SOUPS 69986 WITH SCORE 70152.017
AT ITER 2696 NEW BEST:: SOT 291524 SOS 165788 HAS SOPS 165788 HAS SOUS 69827 HAS SOUPS 69827 WITH SCORE 69992.788
AT ITER 2724 NEW BEST:: SOT 291517 SOS 165781 HAS SOPS 165781 HAS SOUS 69820 HAS SOUPS 69820 WITH SCORE 69985.781
AT ITER 2730 NEW BEST:: SOT 291516 SOS 165779 HAS SOPS 165779 HAS SOUS 69818 HAS SOUPS 69818 WITH SCORE 69983.779
AT ITER 2746 NEW BEST:: SOT 291168 SOS 165814 HAS SOPS 165814 HAS SOUS 69788 HAS SOUPS 69788 WITH SCORE 69953.814
AT ITER 2761 NEW BEST:: SOT 291057 SOS 165703 HAS SOPS 165703 HAS SOUS 69566 HAS SOUPS 69566 WITH SCORE 69731.703
AT ITER 2778 NEW BEST:: SOT 291057 SOS 165703 HAS SOPS 165703 HAS SOUS 69547 HAS SOUPS 69547 WITH SCORE 69712.703
AT ITER 2785 NEW BEST:: SOT 291057 SOS 165574 HAS SOPS 165574 HAS SOUS 69418 HAS SOUPS 69418 WITH SCORE 69583.574
AT ITER 2791 NEW BEST:: SOT 291041 SOS 165542 HAS SOPS 165542 HAS SOUS 69274 HAS SOUPS 69274 WITH SCORE 69439.542
AT ITER 2796 NEW BEST:: SOT 291079 SOS 165536 HAS SOPS 165536 HAS SOUS 69268 HAS SOUPS 69268 WITH SCORE 69433.536
AT ITER 2806 NEW BEST:: SOT 291340 SOS 165416 HAS SOPS 165416 HAS SOUS 69154 HAS SOUPS 69154 WITH SCORE 69319.416
AT ITER 2820 NEW BEST:: SOT 291340 SOS 165368 HAS SOPS 165368 HAS SOUS 69091 HAS SOUPS 69091 WITH SCORE 69256.368
AT ITER 2831 NEW BEST:: SOT 291340 SOS 165236 HAS SOPS 165236 HAS SOUS 69091 HAS SOUPS 69091 WITH SCORE 69256.236
AT ITER 2835 NEW BEST:: SOT 291331 SOS 165217 HAS SOPS 165217 HAS SOUS 69072 HAS SOUPS 69072 WITH SCORE 69237.217
AT ITER 2845 NEW BEST:: SOT 291331 SOS 165089 HAS SOPS 165089 HAS SOUS 69072 HAS SOUPS 69072 WITH SCORE 69237.089
AT ITER 2849 NEW BEST:: SOT 291410 SOS 164706 HAS SOPS 164706 HAS SOUS 68963 HAS SOUPS 68963 WITH SCORE 69127.706
AT ITER 2870 NEW BEST:: SOT 291191 SOS 164007 HAS SOPS 164007 HAS SOUS 68783 HAS SOUPS 68783 WITH SCORE 68947.007
AT ITER 2880 NEW BEST:: SOT 291171 SOS 163964 HAS SOPS 163964 HAS SOUS 68763 HAS SOUPS 68763 WITH SCORE 68926.964
AT ITER 2901 NEW BEST:: SOT 291174 SOS 163963 HAS SOPS 163963 HAS SOUS 68762 HAS SOUPS 68762 WITH SCORE 68925.963
AT ITER 2906 NEW BEST:: SOT 291174 SOS 163956 HAS SOPS 163956 HAS SOUS 68755 HAS SOUPS 68755 WITH SCORE 68918.956
AT ITER 2936 NEW BEST:: SOT 291174 SOS 164378 HAS SOPS 164378 HAS SOUS 68715 HAS SOUPS 68715 WITH SCORE 68879.378
AT ITER 2938 NEW BEST:: SOT 291168 SOS 164310 HAS SOPS 164310 HAS SOUS 68667 HAS SOUPS 68667 WITH SCORE 68831.31
AT ITER 2963 NEW BEST:: SOT 291114 SOS 164191 HAS SOPS 164191 HAS SOUS 68650 HAS SOUPS 68650 WITH SCORE 68814.191
AT ITER 2964 NEW BEST:: SOT 291121 SOS 164106 HAS SOPS 164106 HAS SOUS 68565 HAS SOUPS 68565 WITH SCORE 68729.106
AT ITER 2965 NEW BEST:: SOT 291169 SOS 163992 HAS SOPS 163992 HAS SOUS 68501 HAS SOUPS 68501 WITH SCORE 68664.992
AT ITER 2969 NEW BEST:: SOT 291169 SOS 163962 HAS SOPS 163962 HAS SOUS 68467 HAS SOUPS 68467 WITH SCORE 68630.962
AT ITER 2972 NEW BEST:: SOT 291165 SOS 163958 HAS SOPS 163958 HAS SOUS 68463 HAS SOUPS 68463 WITH SCORE 68626.958
AT ITER 2994 NEW BEST:: SOT 291155 SOS 163938 HAS SOPS 163938 HAS SOUS 68443 HAS SOUPS 68443 WITH SCORE 68606.938
AT ITER 3003 NEW BEST:: SOT 291086 SOS 163800 HAS SOPS 163800 HAS SOUS 68305 HAS SOUPS 68305 WITH SCORE 68468.8
AT ITER 3019 NEW BEST:: SOT 291086 SOS 163716 HAS SOPS 163716 HAS SOUS 68262 HAS SOUPS 68262 WITH SCORE 68425.716
AT ITER 3029 NEW BEST:: SOT 291027 SOS 163190 HAS SOPS 163190 HAS SOUS 68080 HAS SOUPS 68080 WITH SCORE 68243.19
AT ITER 3041 NEW BEST:: SOT 291023 SOS 163186 HAS SOPS 163186 HAS SOUS 68074 HAS SOUPS 68074 WITH SCORE 68237.186
AT ITER 3047 NEW BEST:: SOT 291017 SOS 163165 HAS SOPS 163165 HAS SOUS 68062 HAS SOUPS 68062 WITH SCORE 68225.165
AT ITER 3053 NEW BEST:: SOT 290905 SOS 162916 HAS SOPS 162916 HAS SOUS 67838 HAS SOUPS 67838 WITH SCORE 68000.916
AT ITER 3082 NEW BEST:: SOT 290905 SOS 162919 HAS SOPS 162919 HAS SOUS 67749 HAS SOUPS 67749 WITH SCORE 67911.919
AT ITER 3095 NEW BEST:: SOT 290905 SOS 162890 HAS SOPS 162890 HAS SOUS 67720 HAS SOUPS 67720 WITH SCORE 67882.89
AT ITER 3097 NEW BEST:: SOT 290813 SOS 162798 HAS SOPS 162798 HAS SOUS 67703 HAS SOUPS 67703 WITH SCORE 67865.798
AT ITER 3122 NEW BEST:: SOT 290682 SOS 162575 HAS SOPS 162575 HAS SOUS 67480 HAS SOUPS 67480 WITH SCORE 67642.575
AT ITER 3134 NEW BEST:: SOT 290687 SOS 162494 HAS SOPS 162494 HAS SOUS 67396 HAS SOUPS 67396 WITH SCORE 67558.494
AT ITER 3147 NEW BEST:: SOT 290684 SOS 162482 HAS SOPS 162482 HAS SOUS 67384 HAS SOUPS 67384 WITH SCORE 67546.482
AT ITER 3149 NEW BEST:: SOT 290661 SOS 162452 HAS SOPS 162452 HAS SOUS 67354 HAS SOUPS 67354 WITH SCORE 67516.452
AT ITER 3156 NEW BEST:: SOT 290660 SOS 162450 HAS SOPS 162450 HAS SOUS 67352 HAS SOUPS 67352 WITH SCORE 67514.45
AT ITER 3172 NEW BEST:: SOT 290684 SOS 162536 HAS SOPS 162536 HAS SOUS 67242 HAS SOUPS 67242 WITH SCORE 67404.536
AT ITER 3226 NEW BEST:: SOT 289613 SOS 161465 HAS SOPS 161465 HAS SOUS 66105 HAS SOUPS 66105 WITH SCORE 66266.465
AT ITER 3247 NEW BEST:: SOT 289589 SOS 161435 HAS SOPS 161435 HAS SOUS 66075 HAS SOUPS 66075 WITH SCORE 66236.435
AT ITER 3252 NEW BEST:: SOT 289391 SOS 161351 HAS SOPS 161351 HAS SOUS 65862 HAS SOUPS 65862 WITH SCORE 66023.351
AT ITER 3266 NEW BEST:: SOT 289391 SOS 161239 HAS SOPS 161239 HAS SOUS 65860 HAS SOUPS 65860 WITH SCORE 66021.239
AT ITER 3270 NEW BEST:: SOT 289377 SOS 161225 HAS SOPS 161225 HAS SOUS 65832 HAS SOUPS 65832 WITH SCORE 65993.225
AT ITER 3273 NEW BEST:: SOT 288953 SOS 160752 HAS SOPS 160752 HAS SOUS 65620 HAS SOUPS 65620 WITH SCORE 65780.752
AT ITER 3274 NEW BEST:: SOT 288951 SOS 160642 HAS SOPS 160642 HAS SOUS 65510 HAS SOUPS 65510 WITH SCORE 65670.642
AT ITER 3282 NEW BEST:: SOT 288951 SOS 160648 HAS SOPS 160648 HAS SOUS 65509 HAS SOUPS 65509 WITH SCORE 65669.648
AT ITER 3287 NEW BEST:: SOT 288927 SOS 160592 HAS SOPS 160592 HAS SOUS 65487 HAS SOUPS 65487 WITH SCORE 65647.592
AT ITER 3343 NEW BEST:: SOT 288854 SOS 160519 HAS SOPS 160519 HAS SOUS 65380 HAS SOUPS 65380 WITH SCORE 65540.519
AT ITER 3350 NEW BEST:: SOT 288807 SOS 160298 HAS SOPS 160298 HAS SOUS 65317 HAS SOUPS 65317 WITH SCORE 65477.298
AT ITER 3367 NEW BEST:: SOT 288772 SOS 160263 HAS SOPS 160263 HAS SOUS 65281 HAS SOUPS 65281 WITH SCORE 65441.263
AT ITER 3381 NEW BEST:: SOT 288774 SOS 160286 HAS SOPS 160286 HAS SOUS 65243 HAS SOUPS 65243 WITH SCORE 65403.286
AT ITER 3397 NEW BEST:: SOT 288752 SOS 160264 HAS SOPS 160264 HAS SOUS 65221 HAS SOUPS 65221 WITH SCORE 65381.264
AT ITER 3401 NEW BEST:: SOT 288706 SOS 160218 HAS SOPS 160218 HAS SOUS 65150 HAS SOUPS 65150 WITH SCORE 65310.218
AT ITER 3410 NEW BEST:: SOT 288674 SOS 160106 HAS SOPS 160106 HAS SOUS 65046 HAS SOUPS 65046 WITH SCORE 65206.106
AT ITER 3413 NEW BEST:: SOT 288669 SOS 160101 HAS SOPS 160101 HAS SOUS 65036 HAS SOUPS 65036 WITH SCORE 65196.101
AT ITER 3434 NEW BEST:: SOT 288614 SOS 160088 HAS SOPS 160088 HAS SOUS 64867 HAS SOUPS 64867 WITH SCORE 65027.088
AT ITER 3439 NEW BEST:: SOT 288611 SOS 160073 HAS SOPS 160073 HAS SOUS 64849 HAS SOUPS 64849 WITH SCORE 65009.073
AT ITER 3456 NEW BEST:: SOT 288572 SOS 160034 HAS SOPS 160034 HAS SOUS 64810 HAS SOUPS 64810 WITH SCORE 64970.034
AT ITER 3457 NEW BEST:: SOT 288572 SOS 160034 HAS SOPS 160034 HAS SOUS 64800 HAS SOUPS 64800 WITH SCORE 64960.034
AT ITER 3501 NEW BEST:: SOT 288537 SOS 159999 HAS SOPS 159999 HAS SOUS 64748 HAS SOUPS 64748 WITH SCORE 64907.999
AT ITER 3527 NEW BEST:: SOT 288475 SOS 159587 HAS SOPS 159587 HAS SOUS 64570 HAS SOUPS 64570 WITH SCORE 64729.587
AT ITER 3538 NEW BEST:: SOT 288475 SOS 159596 HAS SOPS 159596 HAS SOUS 64561 HAS SOUPS 64561 WITH SCORE 64720.596
AT ITER 3542 NEW BEST:: SOT 288266 SOS 159243 HAS SOPS 159243 HAS SOUS 64501 HAS SOUPS 64501 WITH SCORE 64660.243
AT ITER 3545 NEW BEST:: SOT 288171 SOS 159168 HAS SOPS 159168 HAS SOUS 64385 HAS SOUPS 64385 WITH SCORE 64544.168
AT ITER 3555 NEW BEST:: SOT 288185 SOS 159288 HAS SOPS 159288 HAS SOUS 64375 HAS SOUPS 64375 WITH SCORE 64534.288
AT ITER 3577 NEW BEST:: SOT 288192 SOS 159295 HAS SOPS 159295 HAS SOUS 64288 HAS SOUPS 64288 WITH SCORE 64447.295
AT ITER 3604 NEW BEST:: SOT 288145 SOS 159248 HAS SOPS 159248 HAS SOUS 64231 HAS SOUPS 64231 WITH SCORE 64390.248
AT ITER 3608 NEW BEST:: SOT 288105 SOS 159071 HAS SOPS 159071 HAS SOUS 64179 HAS SOUPS 64179 WITH SCORE 64338.071
AT ITER 3637 NEW BEST:: SOT 288060 SOS 158962 HAS SOPS 158962 HAS SOUS 64089 HAS SOUPS 64089 WITH SCORE 64247.962
AT ITER 3644 NEW BEST:: SOT 288060 SOS 158856 HAS SOPS 158856 HAS SOUS 64088 HAS SOUPS 64088 WITH SCORE 64246.856
AT ITER 3658 NEW BEST:: SOT 288032 SOS 158828 HAS SOPS 158828 HAS SOUS 64060 HAS SOUPS 64060 WITH SCORE 64218.828
AT ITER 3660 NEW BEST:: SOT 288016 SOS 158730 HAS SOPS 158730 HAS SOUS 64023 HAS SOUPS 64023 WITH SCORE 64181.73
AT ITER 3671 NEW BEST:: SOT 288016 SOS 158724 HAS SOPS 158724 HAS SOUS 64022 HAS SOUPS 64022 WITH SCORE 64180.724
AT ITER 3674 NEW BEST:: SOT 287884 SOS 158497 HAS SOPS 158497 HAS SOUS 63819 HAS SOUPS 63819 WITH SCORE 63977.497
AT ITER 3687 NEW BEST:: SOT 287852 SOS 158429 HAS SOPS 158429 HAS SOUS 63785 HAS SOUPS 63785 WITH SCORE 63943.429
AT ITER 3701 NEW BEST:: SOT 287761 SOS 158338 HAS SOPS 158338 HAS SOUS 63758 HAS SOUPS 63758 WITH SCORE 63916.338
AT ITER 3741 NEW BEST:: SOT 287735 SOS 158312 HAS SOPS 158312 HAS SOUS 63723 HAS SOUPS 63723 WITH SCORE 63881.312
AT ITER 3748 NEW BEST:: SOT 287732 SOS 158285 HAS SOPS 158285 HAS SOUS 63717 HAS SOUPS 63717 WITH SCORE 63875.285
AT ITER 3750 NEW BEST:: SOT 287729 SOS 158258 HAS SOPS 158258 HAS SOUS 63678 HAS SOUPS 63678 WITH SCORE 63836.258
AT ITER 3753 NEW BEST:: SOT 287694 SOS 158188 HAS SOPS 158188 HAS SOUS 63608 HAS SOUPS 63608 WITH SCORE 63766.188
AT ITER 3780 NEW BEST:: SOT 287569 SOS 156675 HAS SOPS 156675 HAS SOUS 63477 HAS SOUPS 63477 WITH SCORE 63633.675
AT ITER 3809 NEW BEST:: SOT 287504 SOS 156506 HAS SOPS 156506 HAS SOUS 63369 HAS SOUPS 63369 WITH SCORE 63525.506
AT ITER 3814 NEW BEST:: SOT 287551 SOS 156608 HAS SOPS 156608 HAS SOUS 63308 HAS SOUPS 63308 WITH SCORE 63464.608
AT ITER 3845 NEW BEST:: SOT 287498 SOS 156555 HAS SOPS 156555 HAS SOUS 63203 HAS SOUPS 63203 WITH SCORE 63359.555
AT ITER 3851 NEW BEST:: SOT 287498 SOS 156422 HAS SOPS 156422 HAS SOUS 63076 HAS SOUPS 63076 WITH SCORE 63232.422
AT ITER 3863 NEW BEST:: SOT 287002 SOS 156498 HAS SOPS 156498 HAS SOUS 62717 HAS SOUPS 62717 WITH SCORE 62873.498
AT ITER 3872 NEW BEST:: SOT 287050 SOS 156546 HAS SOPS 156546 HAS SOUS 62685 HAS SOUPS 62685 WITH SCORE 62841.546
AT ITER 3944 NEW BEST:: SOT 286986 SOS 156482 HAS SOPS 156482 HAS SOUS 62531 HAS SOUPS 62531 WITH SCORE 62687.482
AT ITER 3950 NEW BEST:: SOT 286986 SOS 156434 HAS SOPS 156434 HAS SOUS 62483 HAS SOUPS 62483 WITH SCORE 62639.434
AT ITER 3956 NEW BEST:: SOT 286974 SOS 156397 HAS SOPS 156397 HAS SOUS 62446 HAS SOUPS 62446 WITH SCORE 62602.397
AT ITER 3977 NEW BEST:: SOT 286957 SOS 156346 HAS SOPS 156346 HAS SOUS 62405 HAS SOUPS 62405 WITH SCORE 62561.346
AT ITER 3982 NEW BEST:: SOT 286956 SOS 156334 HAS SOPS 156334 HAS SOUS 62385 HAS SOUPS 62385 WITH SCORE 62541.334
AT ITER 4007 NEW BEST:: SOT 286956 SOS 156280 HAS SOPS 156280 HAS SOUS 62331 HAS SOUPS 62331 WITH SCORE 62487.28
AT ITER 4011 NEW BEST:: SOT 286934 SOS 156258 HAS SOPS 156258 HAS SOUS 62279 HAS SOUPS 62279 WITH SCORE 62435.258
AT ITER 4022 NEW BEST:: SOT 286933 SOS 156256 HAS SOPS 156256 HAS SOUS 62278 HAS SOUPS 62278 WITH SCORE 62434.256
AT ITER 4031 NEW BEST:: SOT 286821 SOS 156006 HAS SOPS 156006 HAS SOUS 62038 HAS SOUPS 62038 WITH SCORE 62194.006
AT ITER 4065 NEW BEST:: SOT 286821 SOS 155983 HAS SOPS 155983 HAS SOUS 62037 HAS SOUPS 62037 WITH SCORE 62192.983
AT ITER 4077 NEW BEST:: SOT 286795 SOS 155931 HAS SOPS 155931 HAS SOUS 61985 HAS SOUPS 61985 WITH SCORE 62140.931
AT ITER 4091 NEW BEST:: SOT 286800 SOS 155960 HAS SOPS 155960 HAS SOUS 61897 HAS SOUPS 61897 WITH SCORE 62052.96
AT ITER 4100 NEW BEST:: SOT 286733 SOS 155649 HAS SOPS 155649 HAS SOUS 61797 HAS SOUPS 61797 WITH SCORE 61952.649
AT ITER 4108 NEW BEST:: SOT 286723 SOS 155639 HAS SOPS 155639 HAS SOUS 61787 HAS SOUPS 61787 WITH SCORE 61942.639
AT ITER 4111 NEW BEST:: SOT 286729 SOS 155590 HAS SOPS 155590 HAS SOUS 61768 HAS SOUPS 61768 WITH SCORE 61923.59
AT ITER 4138 NEW BEST:: SOT 286773 SOS 155343 HAS SOPS 155343 HAS SOUS 61750 HAS SOUPS 61750 WITH SCORE 61905.343
AT ITER 4153 NEW BEST:: SOT 286621 SOS 155049 HAS SOPS 155049 HAS SOUS 61580 HAS SOUPS 61580 WITH SCORE 61735.049
AT ITER 4194 NEW BEST:: SOT 286619 SOS 155047 HAS SOPS 155047 HAS SOUS 61578 HAS SOUPS 61578 WITH SCORE 61733.047
AT ITER 4230 NEW BEST:: SOT 286758 SOS 155270 HAS SOPS 155270 HAS SOUS 61568 HAS SOUPS 61568 WITH SCORE 61723.27
AT ITER 4237 NEW BEST:: SOT 286758 SOS 155270 HAS SOPS 155270 HAS SOUS 61566 HAS SOUPS 61566 WITH SCORE 61721.27
AT ITER 4256 NEW BEST:: SOT 286854 SOS 155381 HAS SOPS 155381 HAS SOUS 61546 HAS SOUPS 61546 WITH SCORE 61701.381
AT ITER 4257 NEW BEST:: SOT 286806 SOS 155333 HAS SOPS 155333 HAS SOUS 61450 HAS SOUPS 61450 WITH SCORE 61605.333
AT ITER 4276 NEW BEST:: SOT 286797 SOS 155189 HAS SOPS 155189 HAS SOUS 61441 HAS SOUPS 61441 WITH SCORE 61596.189
AT ITER 4341 NEW BEST:: SOT 286770 SOS 155086 HAS SOPS 155086 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61506.086
AT ITER 4350 NEW BEST:: SOT 286841 SOS 154956 HAS SOPS 154956 HAS SOUS 61320 HAS SOUPS 61320 WITH SCORE 61474.956
AT ITER 4356 NEW BEST:: SOT 286810 SOS 154924 HAS SOPS 154924 HAS SOUS 61319 HAS SOUPS 61319 WITH SCORE 61473.924
AT ITER 4367 NEW BEST:: SOT 286819 SOS 154961 HAS SOPS 154961 HAS SOUS 61261 HAS SOUPS 61261 WITH SCORE 61415.961
AT ITER 4374 NEW BEST:: SOT 286807 SOS 154959 HAS SOPS 154959 HAS SOUS 61249 HAS SOUPS 61249 WITH SCORE 61403.959
AT ITER 4405 NEW BEST:: SOT 286767 SOS 154919 HAS SOPS 154919 HAS SOUS 61179 HAS SOUPS 61179 WITH SCORE 61333.919
AT ITER 4427 NEW BEST:: SOT 286763 SOS 154915 HAS SOPS 154915 HAS SOUS 61175 HAS SOUPS 61175 WITH SCORE 61329.915
AT ITER 4454 NEW BEST:: SOT 286871 SOS 155023 HAS SOPS 155023 HAS SOUS 61172 HAS SOUPS 61172 WITH SCORE 61327.023
AT ITER 4478 NEW BEST:: SOT 286869 SOS 155005 HAS SOPS 155005 HAS SOUS 61172 HAS SOUPS 61172 WITH SCORE 61327.005
AT ITER 4514 NEW BEST:: SOT 286869 SOS 154789 HAS SOPS 154789 HAS SOUS 61172 HAS SOUPS 61172 WITH SCORE 61326.789
AT ITER 4541 NEW BEST:: SOT 286739 SOS 154634 HAS SOPS 154634 HAS SOUS 61172 HAS SOUPS 61172 WITH SCORE 61326.634
AT ITER 4545 NEW BEST:: SOT 286689 SOS 154776 HAS SOPS 154776 HAS SOUS 61122 HAS SOUPS 61122 WITH SCORE 61276.776
AT ITER 4565 NEW BEST:: SOT 286624 SOS 154770 HAS SOPS 154770 HAS SOUS 61116 HAS SOUPS 61116 WITH SCORE 61270.77
AT ITER 4579 NEW BEST:: SOT 286601 SOS 154742 HAS SOPS 154742 HAS SOUS 61087 HAS SOUPS 61087 WITH SCORE 61241.742
AT ITER 4585 NEW BEST:: SOT 286509 SOS 154649 HAS SOPS 154649 HAS SOUS 60994 HAS SOUPS 60994 WITH SCORE 61148.649
AT ITER 4591 NEW BEST:: SOT 286579 SOS 154678 HAS SOPS 154678 HAS SOUS 60953 HAS SOUPS 60953 WITH SCORE 61107.678
AT ITER 4620 NEW BEST:: SOT 286567 SOS 154662 HAS SOPS 154662 HAS SOUS 60937 HAS SOUPS 60937 WITH SCORE 61091.662
AT ITER 4622 NEW BEST:: SOT 286581 SOS 154575 HAS SOPS 154575 HAS SOUS 60815 HAS SOUPS 60815 WITH SCORE 60969.575
AT ITER 4645 NEW BEST:: SOT 286574 SOS 154570 HAS SOPS 154570 HAS SOUS 60648 HAS SOUPS 60648 WITH SCORE 60802.57
AT ITER 4653 NEW BEST:: SOT 286570 SOS 154566 HAS SOPS 154566 HAS SOUS 60644 HAS SOUPS 60644 WITH SCORE 60798.566
AT ITER 4684 NEW BEST:: SOT 286561 SOS 154601 HAS SOPS 154601 HAS SOUS 60626 HAS SOUPS 60626 WITH SCORE 60780.601
AT ITER 4704 NEW BEST:: SOT 286554 SOS 154594 HAS SOPS 154594 HAS SOUS 60612 HAS SOUPS 60612 WITH SCORE 60766.594
AT ITER 4732 NEW BEST:: SOT 286543 SOS 154583 HAS SOPS 154583 HAS SOUS 60590 HAS SOUPS 60590 WITH SCORE 60744.583
AT ITER 4751 NEW BEST:: SOT 286526 SOS 154684 HAS SOPS 154684 HAS SOUS 60584 HAS SOUPS 60584 WITH SCORE 60738.684
AT ITER 4777 NEW BEST:: SOT 286526 SOS 154676 HAS SOPS 154676 HAS SOUS 60580 HAS SOUPS 60580 WITH SCORE 60734.676
AT ITER 4798 NEW BEST:: SOT 286515 SOS 154665 HAS SOPS 154665 HAS SOUS 60569 HAS SOUPS 60569 WITH SCORE 60723.665
AT ITER 4849 NEW BEST:: SOT 285894 SOS 158129 HAS SOPS 158129 HAS SOUS 60269 HAS SOUPS 60269 WITH SCORE 60427.129
AT ITER 4853 NEW BEST:: SOT 285890 SOS 157957 HAS SOPS 157957 HAS SOUS 60261 HAS SOUPS 60261 WITH SCORE 60418.957
AT ITER 4863 NEW BEST:: SOT 285884 SOS 157951 HAS SOPS 157951 HAS SOUS 60255 HAS SOUPS 60255 WITH SCORE 60412.951
AT ITER 4873 NEW BEST:: SOT 285770 SOS 157854 HAS SOPS 157854 HAS SOUS 60186 HAS SOUPS 60186 WITH SCORE 60343.854
AT ITER 4899 NEW BEST:: SOT 285768 SOS 157827 HAS SOPS 157827 HAS SOUS 60155 HAS SOUPS 60155 WITH SCORE 60312.827
AT ITER 4904 NEW BEST:: SOT 285765 SOS 157789 HAS SOPS 157789 HAS SOUS 60149 HAS SOUPS 60149 WITH SCORE 60306.789
AT ITER 4927 NEW BEST:: SOT 285701 SOS 157661 HAS SOPS 157661 HAS SOUS 60021 HAS SOUPS 60021 WITH SCORE 60178.661
AT ITER 4928 NEW BEST:: SOT 285701 SOS 157597 HAS SOPS 157597 HAS SOUS 60005 HAS SOUPS 60005 WITH SCORE 60162.597
AT ITER 4943 NEW BEST:: SOT 285490 SOS 157386 HAS SOPS 157386 HAS SOUS 59612 HAS SOUPS 59612 WITH SCORE 59769.386
AT ITER 4959 NEW BEST:: SOT 285460 SOS 157356 HAS SOPS 157356 HAS SOUS 59552 HAS SOUPS 59552 WITH SCORE 59709.356
AT ITER 4963 NEW BEST:: SOT 285455 SOS 157306 HAS SOPS 157306 HAS SOUS 59552 HAS SOUPS 59552 WITH SCORE 59709.306
AT ITER 4965 NEW BEST:: SOT 285462 SOS 157313 HAS SOPS 157313 HAS SOUS 59548 HAS SOUPS 59548 WITH SCORE 59705.313
AT ITER 4978 NEW BEST:: SOT 285422 SOS 157193 HAS SOPS 157193 HAS SOUS 59428 HAS SOUPS 59428 WITH SCORE 59585.193
AT ITER 4985 NEW BEST:: SOT 285422 SOS 157201 HAS SOPS 157201 HAS SOUS 59427 HAS SOUPS 59427 WITH SCORE 59584.201
AT ITER 5011 NEW BEST:: SOT 285411 SOS 157179 HAS SOPS 157179 HAS SOUS 59405 HAS SOUPS 59405 WITH SCORE 59562.179
AT ITER 5023 NEW BEST:: SOT 285345 SOS 155973 HAS SOPS 155973 HAS SOUS 59225 HAS SOUPS 59225 WITH SCORE 59380.973
AT ITER 5051 NEW BEST:: SOT 285275 SOS 155831 HAS SOPS 155831 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59274.831
AT ITER 5067 NEW BEST:: SOT 285296 SOS 155924 HAS SOPS 155924 HAS SOUS 59104 HAS SOUPS 59104 WITH SCORE 59259.924
AT ITER 5085 NEW BEST:: SOT 285296 SOS 155897 HAS SOPS 155897 HAS SOUS 59104 HAS SOUPS 59104 WITH SCORE 59259.897
AT ITER 5115 NEW BEST:: SOT 285269 SOS 155870 HAS SOPS 155870 HAS SOUS 59077 HAS SOUPS 59077 WITH SCORE 59232.87
AT ITER 5116 NEW BEST:: SOT 285256 SOS 155857 HAS SOPS 155857 HAS SOUS 59077 HAS SOUPS 59077 WITH SCORE 59232.857
AT ITER 5118 NEW BEST:: SOT 285246 SOS 155839 HAS SOPS 155839 HAS SOUS 59072 HAS SOUPS 59072 WITH SCORE 59227.839
AT ITER 5137 NEW BEST:: SOT 285246 SOS 155823 HAS SOPS 155823 HAS SOUS 59072 HAS SOUPS 59072 WITH SCORE 59227.823
AT ITER 5148 NEW BEST:: SOT 285246 SOS 155807 HAS SOPS 155807 HAS SOUS 59070 HAS SOUPS 59070 WITH SCORE 59225.807
AT ITER 5165 NEW BEST:: SOT 285228 SOS 155676 HAS SOPS 155676 HAS SOUS 59052 HAS SOUPS 59052 WITH SCORE 59207.676
AT ITER 5184 NEW BEST:: SOT 285220 SOS 155668 HAS SOPS 155668 HAS SOUS 59044 HAS SOUPS 59044 WITH SCORE 59199.668
AT ITER 5196 NEW BEST:: SOT 285220 SOS 155670 HAS SOPS 155670 HAS SOUS 59042 HAS SOUPS 59042 WITH SCORE 59197.67
AT ITER 5204 NEW BEST:: SOT 285218 SOS 155633 HAS SOPS 155633 HAS SOUS 58994 HAS SOUPS 58994 WITH SCORE 59149.633
AT ITER 5216 NEW BEST:: SOT 285215 SOS 155630 HAS SOPS 155630 HAS SOUS 58985 HAS SOUPS 58985 WITH SCORE 59140.63
AT ITER 5227 NEW BEST:: SOT 285227 SOS 155606 HAS SOPS 155606 HAS SOUS 58967 HAS SOUPS 58967 WITH SCORE 59122.606
AT ITER 5229 NEW BEST:: SOT 285227 SOS 155597 HAS SOPS 155597 HAS SOUS 58949 HAS SOUPS 58949 WITH SCORE 59104.597
AT ITER 5246 NEW BEST:: SOT 285027 SOS 155424 HAS SOPS 155424 HAS SOUS 58755 HAS SOUPS 58755 WITH SCORE 58910.424
AT ITER 5260 NEW BEST:: SOT 285019 SOS 155412 HAS SOPS 155412 HAS SOUS 58739 HAS SOUPS 58739 WITH SCORE 58894.412
AT ITER 5294 NEW BEST:: SOT 285016 SOS 155424 HAS SOPS 155424 HAS SOUS 58733 HAS SOUPS 58733 WITH SCORE 58888.424
AT ITER 5307 NEW BEST:: SOT 284977 SOS 155385 HAS SOPS 155385 HAS SOUS 58694 HAS SOUPS 58694 WITH SCORE 58849.385
AT ITER 5333 NEW BEST:: SOT 284966 SOS 155374 HAS SOPS 155374 HAS SOUS 58692 HAS SOUPS 58692 WITH SCORE 58847.374
AT ITER 5351 NEW BEST:: SOT 284980 SOS 155346 HAS SOPS 155346 HAS SOUS 58664 HAS SOUPS 58664 WITH SCORE 58819.346
AT ITER 5352 NEW BEST:: SOT 284966 SOS 154926 HAS SOPS 154926 HAS SOUS 58662 HAS SOUPS 58662 WITH SCORE 58816.926
AT ITER 5372 NEW BEST:: SOT 284930 SOS 154890 HAS SOPS 154890 HAS SOUS 58590 HAS SOUPS 58590 WITH SCORE 58744.89
AT ITER 5380 NEW BEST:: SOT 284930 SOS 154880 HAS SOPS 154880 HAS SOUS 58563 HAS SOUPS 58563 WITH SCORE 58717.88
AT ITER 5381 NEW BEST:: SOT 284851 SOS 154761 HAS SOPS 154761 HAS SOUS 58479 HAS SOUPS 58479 WITH SCORE 58633.761
AT ITER 5400 NEW BEST:: SOT 284818 SOS 154761 HAS SOPS 154761 HAS SOUS 58446 HAS SOUPS 58446 WITH SCORE 58600.761
AT ITER 5411 NEW BEST:: SOT 284836 SOS 154779 HAS SOPS 154779 HAS SOUS 58441 HAS SOUPS 58441 WITH SCORE 58595.779
AT ITER 5454 NEW BEST:: SOT 284694 SOS 154559 HAS SOPS 154559 HAS SOUS 58221 HAS SOUPS 58221 WITH SCORE 58375.559
AT ITER 5512 NEW BEST:: SOT 284701 SOS 154551 HAS SOPS 154551 HAS SOUS 58213 HAS SOUPS 58213 WITH SCORE 58367.551
AT ITER 5517 NEW BEST:: SOT 284084 SOS 154207 HAS SOPS 154207 HAS SOUS 57615 HAS SOUPS 57615 WITH SCORE 57769.207
AT ITER 5581 NEW BEST:: SOT 284065 SOS 154188 HAS SOPS 154188 HAS SOUS 57577 HAS SOUPS 57577 WITH SCORE 57731.188
AT ITER 5586 NEW BEST:: SOT 284011 SOS 154134 HAS SOPS 154134 HAS SOUS 57453 HAS SOUPS 57453 WITH SCORE 57607.134
AT ITER 5602 NEW BEST:: SOT 283515 SOS 153454 HAS SOPS 153454 HAS SOUS 57308 HAS SOUPS 57308 WITH SCORE 57461.454
AT ITER 5605 NEW BEST:: SOT 283480 SOS 153391 HAS SOPS 153391 HAS SOUS 57245 HAS SOUPS 57245 WITH SCORE 57398.391
AT ITER 5609 NEW BEST:: SOT 283480 SOS 153369 HAS SOPS 153369 HAS SOUS 57223 HAS SOUPS 57223 WITH SCORE 57376.369
AT ITER 5610 NEW BEST:: SOT 283390 SOS 152964 HAS SOPS 152964 HAS SOUS 57118 HAS SOUPS 57118 WITH SCORE 57270.964
AT ITER 5617 NEW BEST:: SOT 283250 SOS 152824 HAS SOPS 152824 HAS SOUS 56978 HAS SOUPS 56978 WITH SCORE 57130.824
AT ITER 5627 NEW BEST:: SOT 283220 SOS 152818 HAS SOPS 152818 HAS SOUS 56972 HAS SOUPS 56972 WITH SCORE 57124.818
AT ITER 5645 NEW BEST:: SOT 283209 SOS 152796 HAS SOPS 152796 HAS SOUS 56950 HAS SOUPS 56950 WITH SCORE 57102.796
AT ITER 5663 NEW BEST:: SOT 283206 SOS 152793 HAS SOPS 152793 HAS SOUS 56947 HAS SOUPS 56947 WITH SCORE 57099.793
AT ITER 5675 NEW BEST:: SOT 283213 SOS 152800 HAS SOPS 152800 HAS SOUS 56932 HAS SOUPS 56932 WITH SCORE 57084.8
AT ITER 5680 NEW BEST:: SOT 283213 SOS 152720 HAS SOPS 152720 HAS SOUS 56884 HAS SOUPS 56884 WITH SCORE 57036.72
AT ITER 5691 NEW BEST:: SOT 283212 SOS 152719 HAS SOPS 152719 HAS SOUS 56849 HAS SOUPS 56849 WITH SCORE 57001.719
AT ITER 5695 NEW BEST:: SOT 283160 SOS 152667 HAS SOPS 152667 HAS SOUS 56820 HAS SOUPS 56820 WITH SCORE 56972.667
AT ITER 5710 NEW BEST:: SOT 283157 SOS 152661 HAS SOPS 152661 HAS SOUS 56814 HAS SOUPS 56814 WITH SCORE 56966.661
AT ITER 5742 NEW BEST:: SOT 283157 SOS 152606 HAS SOPS 152606 HAS SOUS 56814 HAS SOUPS 56814 WITH SCORE 56966.606
AT ITER 5745 NEW BEST:: SOT 283157 SOS 151948 HAS SOPS 151948 HAS SOUS 56804 HAS SOUPS 56804 WITH SCORE 56955.948
AT ITER 5815 NEW BEST:: SOT 283157 SOS 151947 HAS SOPS 151947 HAS SOUS 56803 HAS SOUPS 56803 WITH SCORE 56954.947
AT ITER 5838 NEW BEST:: SOT 283143 SOS 151810 HAS SOPS 151810 HAS SOUS 56755 HAS SOUPS 56755 WITH SCORE 56906.81
AT ITER 5850 NEW BEST:: SOT 282827 SOS 151168 HAS SOPS 151168 HAS SOUS 56709 HAS SOUPS 56709 WITH SCORE 56860.168
AT ITER 5892 NEW BEST:: SOT 282821 SOS 151162 HAS SOPS 151162 HAS SOUS 56703 HAS SOUPS 56703 WITH SCORE 56854.162
AT ITER 5923 NEW BEST:: SOT 282714 SOS 150904 HAS SOPS 150904 HAS SOUS 56604 HAS SOUPS 56604 WITH SCORE 56754.904
AT ITER 5933 NEW BEST:: SOT 282639 SOS 150829 HAS SOPS 150829 HAS SOUS 56497 HAS SOUPS 56497 WITH SCORE 56647.829
AT ITER 5936 NEW BEST:: SOT 282623 SOS 150805 HAS SOPS 150805 HAS SOUS 56473 HAS SOUPS 56473 WITH SCORE 56623.805
AT ITER 5947 NEW BEST:: SOT 282594 SOS 150747 HAS SOPS 150747 HAS SOUS 56415 HAS SOUPS 56415 WITH SCORE 56565.747
AT ITER 5955 NEW BEST:: SOT 282594 SOS 150678 HAS SOPS 150678 HAS SOUS 56369 HAS SOUPS 56369 WITH SCORE 56519.678
AT ITER 5967 NEW BEST:: SOT 282616 SOS 150601 HAS SOPS 150601 HAS SOUS 56292 HAS SOUPS 56292 WITH SCORE 56442.601
AT ITER 5975 NEW BEST:: SOT 282616 SOS 150598 HAS SOPS 150598 HAS SOUS 56292 HAS SOUPS 56292 WITH SCORE 56442.598
AT ITER 5999 NEW BEST:: SOT 282355 SOS 150374 HAS SOPS 150374 HAS SOUS 55969 HAS SOUPS 55969 WITH SCORE 56119.374
AT ITER 6040 NEW BEST:: SOT 282607 SOS 150483 HAS SOPS 150483 HAS SOUS 55904 HAS SOUPS 55904 WITH SCORE 56054.483
AT ITER 6063 NEW BEST:: SOT 282594 SOS 150366 HAS SOPS 150366 HAS SOUS 55893 HAS SOUPS 55893 WITH SCORE 56043.366
AT ITER 6083 NEW BEST:: SOT 282465 SOS 150298 HAS SOPS 150298 HAS SOUS 55874 HAS SOUPS 55874 WITH SCORE 56024.298
AT ITER 6102 NEW BEST:: SOT 282205 SOS 150038 HAS SOPS 150038 HAS SOUS 55606 HAS SOUPS 55606 WITH SCORE 55756.038
AT ITER 6167 NEW BEST:: SOT 281941 SOS 148864 HAS SOPS 148864 HAS SOUS 55297 HAS SOUPS 55297 WITH SCORE 55445.864
AT ITER 6170 NEW BEST:: SOT 282086 SOS 148999 HAS SOPS 148999 HAS SOUS 55282 HAS SOUPS 55282 WITH SCORE 55430.999
AT ITER 6181 NEW BEST:: SOT 281930 SOS 148600 HAS SOPS 148600 HAS SOUS 55106 HAS SOUPS 55106 WITH SCORE 55254.6
AT ITER 6196 NEW BEST:: SOT 281930 SOS 148591 HAS SOPS 148591 HAS SOUS 55103 HAS SOUPS 55103 WITH SCORE 55251.591
AT ITER 6216 NEW BEST:: SOT 281901 SOS 148556 HAS SOPS 148556 HAS SOUS 55090 HAS SOUPS 55090 WITH SCORE 55238.556
AT ITER 6233 NEW BEST:: SOT 281881 SOS 148536 HAS SOPS 148536 HAS SOUS 55070 HAS SOUPS 55070 WITH SCORE 55218.536
AT ITER 6263 NEW BEST:: SOT 281881 SOS 148536 HAS SOPS 148536 HAS SOUS 55050 HAS SOUPS 55050 WITH SCORE 55198.536
AT ITER 6300 NEW BEST:: SOT 281865 SOS 148552 HAS SOPS 148552 HAS SOUS 55048 HAS SOUPS 55048 WITH SCORE 55196.552
AT ITER 6309 NEW BEST:: SOT 281897 SOS 148595 HAS SOPS 148595 HAS SOUS 55002 HAS SOUPS 55002 WITH SCORE 55150.595
AT ITER 6341 NEW BEST:: SOT 281897 SOS 148560 HAS SOPS 148560 HAS SOUS 54967 HAS SOUPS 54967 WITH SCORE 55115.56
AT ITER 6344 NEW BEST:: SOT 281901 SOS 148564 HAS SOPS 148564 HAS SOUS 54964 HAS SOUPS 54964 WITH SCORE 55112.564
AT ITER 6353 NEW BEST:: SOT 281884 SOS 148547 HAS SOPS 148547 HAS SOUS 54852 HAS SOUPS 54852 WITH SCORE 55000.547
AT ITER 6362 NEW BEST:: SOT 281875 SOS 148520 HAS SOPS 148520 HAS SOUS 54825 HAS SOUPS 54825 WITH SCORE 54973.52
AT ITER 6365 NEW BEST:: SOT 281829 SOS 148474 HAS SOPS 148474 HAS SOUS 54799 HAS SOUPS 54799 WITH SCORE 54947.474
AT ITER 6374 NEW BEST:: SOT 281820 SOS 148437 HAS SOPS 148437 HAS SOUS 54781 HAS SOUPS 54781 WITH SCORE 54929.437
AT ITER 6420 NEW BEST:: SOT 281290 SOS 150191 HAS SOPS 150191 HAS SOUS 54494 HAS SOUPS 54494 WITH SCORE 54644.191
AT ITER 6423 NEW BEST:: SOT 281270 SOS 150171 HAS SOPS 150171 HAS SOUS 54454 HAS SOUPS 54454 WITH SCORE 54604.171
AT ITER 6435 NEW BEST:: SOT 281270 SOS 150108 HAS SOPS 150108 HAS SOUS 54424 HAS SOUPS 54424 WITH SCORE 54574.108
AT ITER 6442 NEW BEST:: SOT 281240 SOS 150116 HAS SOPS 150116 HAS SOUS 54370 HAS SOUPS 54370 WITH SCORE 54520.116
AT ITER 6447 NEW BEST:: SOT 281232 SOS 150108 HAS SOPS 150108 HAS SOUS 54362 HAS SOUPS 54362 WITH SCORE 54512.108
AT ITER 6458 NEW BEST:: SOT 281268 SOS 150090 HAS SOPS 150090 HAS SOUS 54344 HAS SOUPS 54344 WITH SCORE 54494.09
AT ITER 6470 NEW BEST:: SOT 281213 SOS 149591 HAS SOPS 149591 HAS SOUS 54130 HAS SOUPS 54130 WITH SCORE 54279.591
AT ITER 6490 NEW BEST:: SOT 281207 SOS 149422 HAS SOPS 149422 HAS SOUS 54113 HAS SOUPS 54113 WITH SCORE 54262.422
AT ITER 6523 NEW BEST:: SOT 281207 SOS 149295 HAS SOPS 149295 HAS SOUS 53986 HAS SOUPS 53986 WITH SCORE 54135.295
AT ITER 6534 NEW BEST:: SOT 281153 SOS 149178 HAS SOPS 149178 HAS SOUS 53872 HAS SOUPS 53872 WITH SCORE 54021.178
AT ITER 6537 NEW BEST:: SOT 281153 SOS 149073 HAS SOPS 149073 HAS SOUS 53837 HAS SOUPS 53837 WITH SCORE 53986.073
AT ITER 6564 NEW BEST:: SOT 281153 SOS 149027 HAS SOPS 149027 HAS SOUS 53791 HAS SOUPS 53791 WITH SCORE 53940.027
AT ITER 6584 NEW BEST:: SOT 281076 SOS 148843 HAS SOPS 148843 HAS SOUS 53634 HAS SOUPS 53634 WITH SCORE 53782.843
AT ITER 6597 NEW BEST:: SOT 281076 SOS 148843 HAS SOPS 148843 HAS SOUS 53623 HAS SOUPS 53623 WITH SCORE 53771.843
AT ITER 6615 NEW BEST:: SOT 281009 SOS 148776 HAS SOPS 148776 HAS SOUS 53474 HAS SOUPS 53474 WITH SCORE 53622.776
AT ITER 6656 NEW BEST:: SOT 281009 SOS 148769 HAS SOPS 148769 HAS SOUS 53474 HAS SOUPS 53474 WITH SCORE 53622.769
AT ITER 6667 NEW BEST:: SOT 281009 SOS 148755 HAS SOPS 148755 HAS SOUS 53460 HAS SOUPS 53460 WITH SCORE 53608.755
AT ITER 6670 NEW BEST:: SOT 280837 SOS 148528 HAS SOPS 148528 HAS SOUS 53268 HAS SOUPS 53268 WITH SCORE 53416.528
AT ITER 6673 NEW BEST:: SOT 280780 SOS 148464 HAS SOPS 148464 HAS SOUS 53204 HAS SOUPS 53204 WITH SCORE 53352.464
AT ITER 6702 NEW BEST:: SOT 280780 SOS 148456 HAS SOPS 148456 HAS SOUS 53203 HAS SOUPS 53203 WITH SCORE 53351.456
AT ITER 6710 NEW BEST:: SOT 280754 SOS 148430 HAS SOPS 148430 HAS SOUS 53183 HAS SOUPS 53183 WITH SCORE 53331.43
AT ITER 6723 NEW BEST:: SOT 280753 SOS 148429 HAS SOPS 148429 HAS SOUS 53148 HAS SOUPS 53148 WITH SCORE 53296.429
AT ITER 6728 NEW BEST:: SOT 280744 SOS 148420 HAS SOPS 148420 HAS SOUS 53139 HAS SOUPS 53139 WITH SCORE 53287.42
AT ITER 6741 NEW BEST:: SOT 280702 SOS 148371 HAS SOPS 148371 HAS SOUS 53068 HAS SOUPS 53068 WITH SCORE 53216.371
AT ITER 6742 NEW BEST:: SOT 280266 SOS 147996 HAS SOPS 147996 HAS SOUS 52937 HAS SOUPS 52937 WITH SCORE 53084.996
AT ITER 6766 NEW BEST:: SOT 280280 SOS 148010 HAS SOPS 148010 HAS SOUS 52882 HAS SOUPS 52882 WITH SCORE 53030.01
AT ITER 6785 NEW BEST:: SOT 280226 SOS 147820 HAS SOPS 147820 HAS SOUS 52804 HAS SOUPS 52804 WITH SCORE 52951.82
AT ITER 6797 NEW BEST:: SOT 280089 SOS 147683 HAS SOPS 147683 HAS SOUS 52667 HAS SOUPS 52667 WITH SCORE 52814.683
AT ITER 6801 NEW BEST:: SOT 280105 SOS 147519 HAS SOPS 147519 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52813.519
AT ITER 6802 NEW BEST:: SOT 280104 SOS 147518 HAS SOPS 147518 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52813.518
AT ITER 6842 NEW BEST:: SOT 280104 SOS 147446 HAS SOPS 147446 HAS SOUS 52630 HAS SOUPS 52630 WITH SCORE 52777.446
AT ITER 6852 NEW BEST:: SOT 280081 SOS 147430 HAS SOPS 147430 HAS SOUS 52584 HAS SOUPS 52584 WITH SCORE 52731.43
AT ITER 6856 NEW BEST:: SOT 280081 SOS 147430 HAS SOPS 147430 HAS SOUS 52572 HAS SOUPS 52572 WITH SCORE 52719.43
AT ITER 6862 NEW BEST:: SOT 280081 SOS 147367 HAS SOPS 147367 HAS SOUS 52547 HAS SOUPS 52547 WITH SCORE 52694.367
AT ITER 6870 NEW BEST:: SOT 280048 SOS 147250 HAS SOPS 147250 HAS SOUS 52481 HAS SOUPS 52481 WITH SCORE 52628.25
AT ITER 6873 NEW BEST:: SOT 280054 SOS 147230 HAS SOPS 147230 HAS SOUS 52471 HAS SOUPS 52471 WITH SCORE 52618.23
AT ITER 6893 NEW BEST:: SOT 280045 SOS 147176 HAS SOPS 147176 HAS SOUS 52422 HAS SOUPS 52422 WITH SCORE 52569.176
AT ITER 6964 NEW BEST:: SOT 279976 SOS 146199 HAS SOPS 146199 HAS SOUS 52306 HAS SOUPS 52306 WITH SCORE 52452.199
AT ITER 6965 NEW BEST:: SOT 279967 SOS 146203 HAS SOPS 146203 HAS SOUS 52288 HAS SOUPS 52288 WITH SCORE 52434.203
AT ITER 6986 NEW BEST:: SOT 279958 SOS 146194 HAS SOPS 146194 HAS SOUS 52279 HAS SOUPS 52279 WITH SCORE 52425.194
AT ITER 7001 NEW BEST:: SOT 279970 SOS 146188 HAS SOPS 146188 HAS SOUS 52273 HAS SOUPS 52273 WITH SCORE 52419.188
AT ITER 7002 NEW BEST:: SOT 279923 SOS 146087 HAS SOPS 146087 HAS SOUS 52244 HAS SOUPS 52244 WITH SCORE 52390.087
AT ITER 7021 NEW BEST:: SOT 279821 SOS 145971 HAS SOPS 145971 HAS SOUS 52128 HAS SOUPS 52128 WITH SCORE 52273.971
AT ITER 7061 NEW BEST:: SOT 279821 SOS 146060 HAS SOPS 146060 HAS SOUS 52075 HAS SOUPS 52075 WITH SCORE 52221.06
AT ITER 7069 NEW BEST:: SOT 279795 SOS 146039 HAS SOPS 146039 HAS SOUS 52054 HAS SOUPS 52054 WITH SCORE 52200.039
AT ITER 7102 NEW BEST:: SOT 279807 SOS 146013 HAS SOPS 146013 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52174.013
AT ITER 7157 NEW BEST:: SOT 279807 SOS 146008 HAS SOPS 146008 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52174.008
AT ITER 7164 NEW BEST:: SOT 279807 SOS 146058 HAS SOPS 146058 HAS SOUS 51961 HAS SOUPS 51961 WITH SCORE 52107.058
AT ITER 7166 NEW BEST:: SOT 279794 SOS 145974 HAS SOPS 145974 HAS SOUS 51935 HAS SOUPS 51935 WITH SCORE 52080.974
AT ITER 7191 NEW BEST:: SOT 279753 SOS 145988 HAS SOPS 145988 HAS SOUS 51857 HAS SOUPS 51857 WITH SCORE 52002.988
AT ITER 7206 NEW BEST:: SOT 279739 SOS 145596 HAS SOPS 145596 HAS SOUS 51815 HAS SOUPS 51815 WITH SCORE 51960.596
AT ITER 7231 NEW BEST:: SOT 279739 SOS 145348 HAS SOPS 145348 HAS SOUS 51778 HAS SOUPS 51778 WITH SCORE 51923.348
AT ITER 7247 NEW BEST:: SOT 279646 SOS 145255 HAS SOPS 145255 HAS SOUS 51685 HAS SOUPS 51685 WITH SCORE 51830.255
AT ITER 7268 NEW BEST:: SOT 279637 SOS 145254 HAS SOPS 145254 HAS SOUS 51667 HAS SOUPS 51667 WITH SCORE 51812.254
AT ITER 7279 NEW BEST:: SOT 279651 SOS 145269 HAS SOPS 145269 HAS SOUS 51665 HAS SOUPS 51665 WITH SCORE 51810.269
AT ITER 7292 NEW BEST:: SOT 279636 SOS 145254 HAS SOPS 145254 HAS SOUS 51635 HAS SOUPS 51635 WITH SCORE 51780.254
AT ITER 7295 NEW BEST:: SOT 279636 SOS 145255 HAS SOPS 145255 HAS SOUS 51620 HAS SOUPS 51620 WITH SCORE 51765.255
AT ITER 7307 NEW BEST:: SOT 279603 SOS 145222 HAS SOPS 145222 HAS SOUS 51590 HAS SOUPS 51590 WITH SCORE 51735.222
AT ITER 7310 NEW BEST:: SOT 279585 SOS 145204 HAS SOPS 145204 HAS SOUS 51572 HAS SOUPS 51572 WITH SCORE 51717.204
AT ITER 7316 NEW BEST:: SOT 279619 SOS 144909 HAS SOPS 144909 HAS SOUS 51559 HAS SOUPS 51559 WITH SCORE 51703.909
AT ITER 7340 NEW BEST:: SOT 279603 SOS 145051 HAS SOPS 145051 HAS SOUS 51549 HAS SOUPS 51549 WITH SCORE 51694.051
AT ITER 7359 NEW BEST:: SOT 279600 SOS 145042 HAS SOPS 145042 HAS SOUS 51540 HAS SOUPS 51540 WITH SCORE 51685.042
AT ITER 7371 NEW BEST:: SOT 279593 SOS 145028 HAS SOPS 145028 HAS SOUS 51533 HAS SOUPS 51533 WITH SCORE 51678.028
AT ITER 7378 NEW BEST:: SOT 279597 SOS 145190 HAS SOPS 145190 HAS SOUS 51521 HAS SOUPS 51521 WITH SCORE 51666.19
AT ITER 7381 NEW BEST:: SOT 279595 SOS 145187 HAS SOPS 145187 HAS SOUS 51518 HAS SOUPS 51518 WITH SCORE 51663.187
AT ITER 7384 NEW BEST:: SOT 279555 SOS 145083 HAS SOPS 145083 HAS SOUS 51414 HAS SOUPS 51414 WITH SCORE 51559.083
AT ITER 7402 NEW BEST:: SOT 279535 SOS 145043 HAS SOPS 145043 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51519.043
AT ITER 7464 NEW BEST:: SOT 279535 SOS 144524 HAS SOPS 144524 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51518.524
AT ITER 7543 NEW BEST:: SOT 279489 SOS 144000 HAS SOPS 144000 HAS SOUS 51330 HAS SOUPS 51330 WITH SCORE 51474.0
AT ITER 7544 NEW BEST:: SOT 279485 SOS 143988 HAS SOPS 143988 HAS SOUS 51322 HAS SOUPS 51322 WITH SCORE 51465.988
AT ITER 7567 NEW BEST:: SOT 279484 SOS 143987 HAS SOPS 143987 HAS SOUS 51321 HAS SOUPS 51321 WITH SCORE 51464.987
AT ITER 7607 NEW BEST:: SOT 279476 SOS 143968 HAS SOPS 143968 HAS SOUS 51307 HAS SOUPS 51307 WITH SCORE 51450.968
AT ITER 7617 NEW BEST:: SOT 279454 SOS 143946 HAS SOPS 143946 HAS SOUS 51285 HAS SOUPS 51285 WITH SCORE 51428.946
AT ITER 7668 NEW BEST:: SOT 279429 SOS 143921 HAS SOPS 143921 HAS SOUS 51235 HAS SOUPS 51235 WITH SCORE 51378.921
AT ITER 7676 NEW BEST:: SOT 279416 SOS 143899 HAS SOPS 143899 HAS SOUS 51209 HAS SOUPS 51209 WITH SCORE 51352.899
AT ITER 7692 NEW BEST:: SOT 279416 SOS 143894 HAS SOPS 143894 HAS SOUS 51209 HAS SOUPS 51209 WITH SCORE 51352.894
AT ITER 7695 NEW BEST:: SOT 279380 SOS 143857 HAS SOPS 143857 HAS SOUS 51130 HAS SOUPS 51130 WITH SCORE 51273.857
AT ITER 7706 NEW BEST:: SOT 279370 SOS 143823 HAS SOPS 143823 HAS SOUS 51099 HAS SOUPS 51099 WITH SCORE 51242.823
AT ITER 7717 NEW BEST:: SOT 279333 SOS 143749 HAS SOPS 143749 HAS SOUS 51025 HAS SOUPS 51025 WITH SCORE 51168.749
AT ITER 7718 NEW BEST:: SOT 279306 SOS 143695 HAS SOPS 143695 HAS SOUS 50971 HAS SOUPS 50971 WITH SCORE 51114.695
AT ITER 7744 NEW BEST:: SOT 279289 SOS 143661 HAS SOPS 143661 HAS SOUS 50954 HAS SOUPS 50954 WITH SCORE 51097.661
AT ITER 7759 NEW BEST:: SOT 279233 SOS 143605 HAS SOPS 143605 HAS SOUS 50954 HAS SOUPS 50954 WITH SCORE 51097.605
AT ITER 7781 NEW BEST:: SOT 279312 SOS 143684 HAS SOPS 143684 HAS SOUS 50874 HAS SOUPS 50874 WITH SCORE 51017.684
AT ITER 7800 NEW BEST:: SOT 279056 SOS 143700 HAS SOPS 143700 HAS SOUS 50654 HAS SOUPS 50654 WITH SCORE 50797.7
AT ITER 7806 NEW BEST:: SOT 279027 SOS 143483 HAS SOPS 143483 HAS SOUS 50609 HAS SOUPS 50609 WITH SCORE 50752.483
AT ITER 7819 NEW BEST:: SOT 279027 SOS 143475 HAS SOPS 143475 HAS SOUS 50608 HAS SOUPS 50608 WITH SCORE 50751.475
AT ITER 7830 NEW BEST:: SOT 279027 SOS 142067 HAS SOPS 142067 HAS SOUS 50530 HAS SOUPS 50530 WITH SCORE 50672.067
AT ITER 7835 NEW BEST:: SOT 279005 SOS 141993 HAS SOPS 141993 HAS SOUS 50510 HAS SOUPS 50510 WITH SCORE 50651.993
AT ITER 7856 NEW BEST:: SOT 278993 SOS 141990 HAS SOPS 141990 HAS SOUS 50495 HAS SOUPS 50495 WITH SCORE 50636.99
AT ITER 7945 NEW BEST:: SOT 278990 SOS 141961 HAS SOPS 141961 HAS SOUS 50489 HAS SOUPS 50489 WITH SCORE 50630.961
AT ITER 7952 NEW BEST:: SOT 278990 SOS 142013 HAS SOPS 142013 HAS SOUS 50418 HAS SOUPS 50418 WITH SCORE 50560.013
AT ITER 7962 NEW BEST:: SOT 278979 SOS 141980 HAS SOPS 141980 HAS SOUS 50385 HAS SOUPS 50385 WITH SCORE 50526.98
AT ITER 7969 NEW BEST:: SOT 278941 SOS 141968 HAS SOPS 141968 HAS SOUS 50373 HAS SOUPS 50373 WITH SCORE 50514.968
AT ITER 7995 NEW BEST:: SOT 278847 SOS 141874 HAS SOPS 141874 HAS SOUS 50279 HAS SOUPS 50279 WITH SCORE 50420.874
AT ITER 8024 NEW BEST:: SOT 278806 SOS 141721 HAS SOPS 141721 HAS SOUS 50251 HAS SOUPS 50251 WITH SCORE 50392.721
AT ITER 8052 NEW BEST:: SOT 278800 SOS 141703 HAS SOPS 141703 HAS SOUS 50239 HAS SOUPS 50239 WITH SCORE 50380.703
AT ITER 8089 NEW BEST:: SOT 278796 SOS 141699 HAS SOPS 141699 HAS SOUS 50239 HAS SOUPS 50239 WITH SCORE 50380.699
AT ITER 8183 NEW BEST:: SOT 278771 SOS 141541 HAS SOPS 141541 HAS SOUS 50189 HAS SOUPS 50189 WITH SCORE 50330.541
AT ITER 8240 NEW BEST:: SOT 278638 SOS 141408 HAS SOPS 141408 HAS SOUS 50067 HAS SOUPS 50067 WITH SCORE 50208.408
AT ITER 8289 NEW BEST:: SOT 278629 SOS 141399 HAS SOPS 141399 HAS SOUS 50054 HAS SOUPS 50054 WITH SCORE 50195.399
AT ITER 8296 NEW BEST:: SOT 278474 SOS 141412 HAS SOPS 141412 HAS SOUS 49989 HAS SOUPS 49989 WITH SCORE 50130.412
AT ITER 8309 NEW BEST:: SOT 278399 SOS 141312 HAS SOPS 141312 HAS SOUS 49889 HAS SOUPS 49889 WITH SCORE 50030.312
AT ITER 8334 NEW BEST:: SOT 278397 SOS 141310 HAS SOPS 141310 HAS SOUS 49775 HAS SOUPS 49775 WITH SCORE 49916.31
AT ITER 8377 NEW BEST:: SOT 278401 SOS 141251 HAS SOPS 141251 HAS SOUS 49735 HAS SOUPS 49735 WITH SCORE 49876.251
AT ITER 8392 NEW BEST:: SOT 278355 SOS 141209 HAS SOPS 141209 HAS SOUS 49644 HAS SOUPS 49644 WITH SCORE 49785.209
AT ITER 8411 NEW BEST:: SOT 278354 SOS 141183 HAS SOPS 141183 HAS SOUS 49642 HAS SOUPS 49642 WITH SCORE 49783.183
AT ITER 8422 NEW BEST:: SOT 278319 SOS 141057 HAS SOPS 141057 HAS SOUS 49572 HAS SOUPS 49572 WITH SCORE 49713.057
AT ITER 8446 NEW BEST:: SOT 278296 SOS 141011 HAS SOPS 141011 HAS SOUS 49526 HAS SOUPS 49526 WITH SCORE 49667.011
AT ITER 8547 NEW BEST:: SOT 278306 SOS 141021 HAS SOPS 141021 HAS SOUS 49501 HAS SOUPS 49501 WITH SCORE 49642.021
AT ITER 8603 NEW BEST:: SOT 278306 SOS 141012 HAS SOPS 141012 HAS SOUS 49498 HAS SOUPS 49498 WITH SCORE 49639.012
AT ITER 8605 NEW BEST:: SOT 278306 SOS 141083 HAS SOPS 141083 HAS SOUS 49360 HAS SOUPS 49360 WITH SCORE 49501.083
AT ITER 8638 NEW BEST:: SOT 278142 SOS 140759 HAS SOPS 140759 HAS SOUS 49212 HAS SOUPS 49212 WITH SCORE 49352.759
AT ITER 8653 NEW BEST:: SOT 278102 SOS 137497 HAS SOPS 137497 HAS SOUS 49123 HAS SOUPS 49123 WITH SCORE 49260.497
AT ITER 8660 NEW BEST:: SOT 278096 SOS 137485 HAS SOPS 137485 HAS SOUS 49105 HAS SOUPS 49105 WITH SCORE 49242.485
AT ITER 8672 NEW BEST:: SOT 278096 SOS 137482 HAS SOPS 137482 HAS SOUS 49105 HAS SOUPS 49105 WITH SCORE 49242.482
AT ITER 8710 NEW BEST:: SOT 278090 SOS 137660 HAS SOPS 137660 HAS SOUS 49083 HAS SOUPS 49083 WITH SCORE 49220.66
AT ITER 8733 NEW BEST:: SOT 278088 SOS 137658 HAS SOPS 137658 HAS SOUS 49081 HAS SOUPS 49081 WITH SCORE 49218.658
AT ITER 8818 NEW BEST:: SOT 278075 SOS 137658 HAS SOPS 137658 HAS SOUS 49055 HAS SOUPS 49055 WITH SCORE 49192.658
AT ITER 8833 NEW BEST:: SOT 277944 SOS 137549 HAS SOPS 137549 HAS SOUS 48946 HAS SOUPS 48946 WITH SCORE 49083.549
AT ITER 8841 NEW BEST:: SOT 277971 SOS 137496 HAS SOPS 137496 HAS SOUS 48883 HAS SOUPS 48883 WITH SCORE 49020.496
AT ITER 8875 NEW BEST:: SOT 277956 SOS 137481 HAS SOPS 137481 HAS SOUS 48854 HAS SOUPS 48854 WITH SCORE 48991.481
AT ITER 8890 NEW BEST:: SOT 277939 SOS 137485 HAS SOPS 137485 HAS SOUS 48848 HAS SOUPS 48848 WITH SCORE 48985.485
AT ITER 8893 NEW BEST:: SOT 277930 SOS 137468 HAS SOPS 137468 HAS SOUS 48831 HAS SOUPS 48831 WITH SCORE 48968.468
AT ITER 8925 NEW BEST:: SOT 277923 SOS 137461 HAS SOPS 137461 HAS SOUS 48824 HAS SOUPS 48824 WITH SCORE 48961.461
AT ITER 8930 NEW BEST:: SOT 277923 SOS 137460 HAS SOPS 137460 HAS SOUS 48822 HAS SOUPS 48822 WITH SCORE 48959.46
AT ITER 8954 NEW BEST:: SOT 277923 SOS 137411 HAS SOPS 137411 HAS SOUS 48773 HAS SOUPS 48773 WITH SCORE 48910.411
AT ITER 8963 NEW BEST:: SOT 277953 SOS 137441 HAS SOPS 137441 HAS SOUS 48756 HAS SOUPS 48756 WITH SCORE 48893.441
AT ITER 8992 NEW BEST:: SOT 277953 SOS 137444 HAS SOPS 137444 HAS SOUS 48753 HAS SOUPS 48753 WITH SCORE 48890.444
AT ITER 9023 NEW BEST:: SOT 277930 SOS 137421 HAS SOPS 137421 HAS SOUS 48739 HAS SOUPS 48739 WITH SCORE 48876.421
AT ITER 9076 NEW BEST:: SOT 277937 SOS 137385 HAS SOPS 137385 HAS SOUS 48699 HAS SOUPS 48699 WITH SCORE 48836.385
AT ITER 9101 NEW BEST:: SOT 277916 SOS 137364 HAS SOPS 137364 HAS SOUS 48678 HAS SOUPS 48678 WITH SCORE 48815.364
AT ITER 9126 NEW BEST:: SOT 277756 SOS 137236 HAS SOPS 137236 HAS SOUS 48421 HAS SOUPS 48421 WITH SCORE 48558.236
AT ITER 9131 NEW BEST:: SOT 277744 SOS 137224 HAS SOPS 137224 HAS SOUS 48421 HAS SOUPS 48421 WITH SCORE 48558.224
AT ITER 9136 NEW BEST:: SOT 277744 SOS 137128 HAS SOPS 137128 HAS SOUS 48415 HAS SOUPS 48415 WITH SCORE 48552.128
AT ITER 9177 NEW BEST:: SOT 277735 SOS 137110 HAS SOPS 137110 HAS SOUS 48406 HAS SOUPS 48406 WITH SCORE 48543.11
AT ITER 9179 NEW BEST:: SOT 277734 SOS 137103 HAS SOPS 137103 HAS SOUS 48405 HAS SOUPS 48405 WITH SCORE 48542.103
AT ITER 9191 NEW BEST:: SOT 277730 SOS 137123 HAS SOPS 137123 HAS SOUS 48397 HAS SOUPS 48397 WITH SCORE 48534.123
AT ITER 9203 NEW BEST:: SOT 277727 SOS 137120 HAS SOPS 137120 HAS SOUS 48368 HAS SOUPS 48368 WITH SCORE 48505.12
AT ITER 9222 NEW BEST:: SOT 277669 SOS 136648 HAS SOPS 136648 HAS SOUS 48309 HAS SOUPS 48309 WITH SCORE 48445.648
AT ITER 9228 NEW BEST:: SOT 277663 SOS 136626 HAS SOPS 136626 HAS SOUS 48303 HAS SOUPS 48303 WITH SCORE 48439.626
AT ITER 9289 NEW BEST:: SOT 277661 SOS 136623 HAS SOPS 136623 HAS SOUS 48300 HAS SOUPS 48300 WITH SCORE 48436.623
AT ITER 9345 NEW BEST:: SOT 277575 SOS 136534 HAS SOPS 136534 HAS SOUS 48211 HAS SOUPS 48211 WITH SCORE 48347.534
AT ITER 9353 NEW BEST:: SOT 277566 SOS 136525 HAS SOPS 136525 HAS SOUS 48211 HAS SOUPS 48211 WITH SCORE 48347.525
AT ITER 9403 NEW BEST:: SOT 277534 SOS 136491 HAS SOPS 136491 HAS SOUS 48210 HAS SOUPS 48210 WITH SCORE 48346.491
AT ITER 9409 NEW BEST:: SOT 277509 SOS 136466 HAS SOPS 136466 HAS SOUS 48187 HAS SOUPS 48187 WITH SCORE 48323.466
AT ITER 9459 NEW BEST:: SOT 277480 SOS 136436 HAS SOPS 136436 HAS SOUS 48164 HAS SOUPS 48164 WITH SCORE 48300.436
AT ITER 9474 NEW BEST:: SOT 277423 SOS 136348 HAS SOPS 136348 HAS SOUS 48153 HAS SOUPS 48153 WITH SCORE 48289.348
AT ITER 9492 NEW BEST:: SOT 277421 SOS 136303 HAS SOPS 136303 HAS SOUS 48142 HAS SOUPS 48142 WITH SCORE 48278.303
AT ITER 9498 NEW BEST:: SOT 277411 SOS 136293 HAS SOPS 136293 HAS SOUS 48122 HAS SOUPS 48122 WITH SCORE 48258.293
AT ITER 9499 NEW BEST:: SOT 277401 SOS 136173 HAS SOPS 136173 HAS SOUS 48038 HAS SOUPS 48038 WITH SCORE 48174.173
AT ITER 9517 NEW BEST:: SOT 277388 SOS 136160 HAS SOPS 136160 HAS SOUS 48033 HAS SOUPS 48033 WITH SCORE 48169.16
AT ITER 9525 NEW BEST:: SOT 277386 SOS 136158 HAS SOPS 136158 HAS SOUS 48030 HAS SOUPS 48030 WITH SCORE 48166.158
AT ITER 9560 NEW BEST:: SOT 277386 SOS 136166 HAS SOPS 136166 HAS SOUS 48022 HAS SOUPS 48022 WITH SCORE 48158.166
AT ITER 9606 NEW BEST:: SOT 277372 SOS 136152 HAS SOPS 136152 HAS SOUS 48008 HAS SOUPS 48008 WITH SCORE 48144.152
AT ITER 9652 NEW BEST:: SOT 277340 SOS 135916 HAS SOPS 135916 HAS SOUS 47772 HAS SOUPS 47772 WITH SCORE 47907.916
AT ITER 9675 NEW BEST:: SOT 277340 SOS 135908 HAS SOPS 135908 HAS SOUS 47771 HAS SOUPS 47771 WITH SCORE 47906.908
AT ITER 9704 NEW BEST:: SOT 277230 SOS 135538 HAS SOPS 135538 HAS SOUS 47548 HAS SOUPS 47548 WITH SCORE 47683.538
AT ITER 9741 NEW BEST:: SOT 277159 SOS 135439 HAS SOPS 135439 HAS SOUS 47468 HAS SOUPS 47468 WITH SCORE 47603.439
AT ITER 9743 NEW BEST:: SOT 277046 SOS 135091 HAS SOPS 135091 HAS SOUS 47363 HAS SOUPS 47363 WITH SCORE 47498.091
AT ITER 9751 NEW BEST:: SOT 277046 SOS 135071 HAS SOPS 135071 HAS SOUS 47362 HAS SOUPS 47362 WITH SCORE 47497.071
AT ITER 9771 NEW BEST:: SOT 276983 SOS 135008 HAS SOPS 135008 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47352.008
AT ITER 9778 NEW BEST:: SOT 276945 SOS 134932 HAS SOPS 134932 HAS SOUS 47141 HAS SOUPS 47141 WITH SCORE 47275.932
AT ITER 9858 NEW BEST:: SOT 276925 SOS 134860 HAS SOPS 134860 HAS SOUS 47114 HAS SOUPS 47114 WITH SCORE 47248.86
AT ITER 9878 NEW BEST:: SOT 276810 SOS 134745 HAS SOPS 134745 HAS SOUS 47006 HAS SOUPS 47006 WITH SCORE 47140.745
AT ITER 9894 NEW BEST:: SOT 276804 SOS 134739 HAS SOPS 134739 HAS SOUS 47000 HAS SOUPS 47000 WITH SCORE 47134.739
AT ITER 9896 NEW BEST:: SOT 276801 SOS 134691 HAS SOPS 134691 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47128.691
AT ITER 9901 NEW BEST:: SOT 276804 SOS 134702 HAS SOPS 134702 HAS SOUS 46992 HAS SOUPS 46992 WITH SCORE 47126.702

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-02a"
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 ASLink-PT-02a, 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-158897508000025"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-02a.tgz
mv ASLink-PT-02a 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 ;