Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250700547.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-832, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700547
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.6K Apr 12 00:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 00:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 23:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 07:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 07:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 9 12:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 12:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 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 251K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Parking-PT-832-CTLCardinality-00
FORMULA_NAME Parking-PT-832-CTLCardinality-01
FORMULA_NAME Parking-PT-832-CTLCardinality-02
FORMULA_NAME Parking-PT-832-CTLCardinality-03
FORMULA_NAME Parking-PT-832-CTLCardinality-04
FORMULA_NAME Parking-PT-832-CTLCardinality-05
FORMULA_NAME Parking-PT-832-CTLCardinality-06
FORMULA_NAME Parking-PT-832-CTLCardinality-07
FORMULA_NAME Parking-PT-832-CTLCardinality-08
FORMULA_NAME Parking-PT-832-CTLCardinality-09
FORMULA_NAME Parking-PT-832-CTLCardinality-10
FORMULA_NAME Parking-PT-832-CTLCardinality-11
FORMULA_NAME Parking-PT-832-CTLCardinality-12
FORMULA_NAME Parking-PT-832-CTLCardinality-13
FORMULA_NAME Parking-PT-832-CTLCardinality-14
FORMULA_NAME Parking-PT-832-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589645135421

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 832
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 737 places, 993 transitions, 2993 arcs.
AT ITER 0 NEW BEST:: SOT 462635 SOS 330861 HAS SOPS 330861 HAS SOUS 223481 HAS SOUPS 223481 WITH SCORE 223811.861
AT ITER 1 NEW BEST:: SOT 462523 SOS 330168 HAS SOPS 330168 HAS SOUS 223479 HAS SOUPS 223479 WITH SCORE 223809.168
AT ITER 3 NEW BEST:: SOT 461696 SOS 329479 HAS SOPS 329479 HAS SOUS 223000 HAS SOUPS 223000 WITH SCORE 223329.479
AT ITER 7 NEW BEST:: SOT 461344 SOS 329126 HAS SOPS 329126 HAS SOUS 222757 HAS SOUPS 222757 WITH SCORE 223086.126
AT ITER 9 NEW BEST:: SOT 460129 SOS 328027 HAS SOPS 328027 HAS SOUS 221965 HAS SOUPS 221965 WITH SCORE 222293.027
AT ITER 10 NEW BEST:: SOT 459058 SOS 327092 HAS SOPS 326962 HAS SOUS 221366 HAS SOUPS 221236 WITH SCORE 221563.092
AT ITER 11 NEW BEST:: SOT 457763 SOS 325796 HAS SOPS 325666 HAS SOUS 220329 HAS SOUPS 220199 WITH SCORE 220524.796
AT ITER 12 NEW BEST:: SOT 457763 SOS 325795 HAS SOPS 325665 HAS SOUS 220328 HAS SOUPS 220198 WITH SCORE 220523.795
AT ITER 14 NEW BEST:: SOT 457051 SOS 325082 HAS SOPS 324952 HAS SOUS 219793 HAS SOUPS 219663 WITH SCORE 219988.082
AT ITER 17 NEW BEST:: SOT 457051 SOS 324161 HAS SOPS 324031 HAS SOUS 219644 HAS SOUPS 219514 WITH SCORE 219838.161
AT ITER 21 NEW BEST:: SOT 457051 SOS 323715 HAS SOPS 323585 HAS SOUS 219421 HAS SOUPS 219291 WITH SCORE 219614.715
AT ITER 23 NEW BEST:: SOT 455665 SOS 321601 HAS SOPS 321186 HAS SOUS 218171 HAS SOUPS 217756 WITH SCORE 218077.601
AT ITER 24 NEW BEST:: SOT 454768 SOS 320822 HAS SOPS 320288 HAS SOUS 217683 HAS SOUPS 217149 WITH SCORE 217469.822
AT ITER 26 NEW BEST:: SOT 453576 SOS 318969 HAS SOPS 318166 HAS SOUS 216787 HAS SOUPS 215984 WITH SCORE 216302.969
AT ITER 27 NEW BEST:: SOT 452711 SOS 318254 HAS SOPS 317300 HAS SOUS 216412 HAS SOUPS 215458 WITH SCORE 215776.254
AT ITER 28 NEW BEST:: SOT 452103 SOS 317495 HAS SOPS 316692 HAS SOUS 215653 HAS SOUPS 214850 WITH SCORE 215167.495
AT ITER 30 NEW BEST:: SOT 450887 SOS 315361 HAS SOPS 314346 HAS SOUS 214349 HAS SOUPS 213334 WITH SCORE 213649.361
AT ITER 32 NEW BEST:: SOT 450887 SOS 314821 HAS SOPS 313806 HAS SOUS 214234 HAS SOUPS 213219 WITH SCORE 213533.821
AT ITER 34 NEW BEST:: SOT 450705 SOS 313479 HAS SOPS 312464 HAS SOUS 213563 HAS SOUPS 212548 WITH SCORE 212861.479
AT ITER 37 NEW BEST:: SOT 450705 SOS 312915 HAS SOPS 311900 HAS SOUS 213187 HAS SOUPS 212172 WITH SCORE 212484.915
AT ITER 38 NEW BEST:: SOT 449242 SOS 310596 HAS SOPS 309500 HAS SOUS 211652 HAS SOUPS 210556 WITH SCORE 210866.596
AT ITER 41 NEW BEST:: SOT 448064 SOS 309417 HAS SOPS 308321 HAS SOUS 210812 HAS SOUPS 209716 WITH SCORE 210025.417
AT ITER 42 NEW BEST:: SOT 446919 SOS 307589 HAS SOPS 306193 HAS SOUS 209818 HAS SOUPS 208422 WITH SCORE 208729.589
AT ITER 44 NEW BEST:: SOT 445773 SOS 306898 HAS SOPS 305191 HAS SOUS 209519 HAS SOUPS 207812 WITH SCORE 208118.898
AT ITER 47 NEW BEST:: SOT 445773 SOS 306898 HAS SOPS 305191 HAS SOUS 209511 HAS SOUPS 207804 WITH SCORE 208110.898
AT ITER 49 NEW BEST:: SOT 445773 SOS 306819 HAS SOPS 305112 HAS SOUS 209510 HAS SOUPS 207803 WITH SCORE 208109.819
AT ITER 51 NEW BEST:: SOT 445773 SOS 303272 HAS SOPS 301565 HAS SOUS 209163 HAS SOUPS 207456 WITH SCORE 207759.272
AT ITER 52 NEW BEST:: SOT 445773 SOS 302300 HAS SOPS 300593 HAS SOUS 208737 HAS SOUPS 207030 WITH SCORE 207332.3
AT ITER 55 NEW BEST:: SOT 444306 SOS 299995 HAS SOPS 298099 HAS SOUS 207354 HAS SOUPS 205458 WITH SCORE 205757.995
AT ITER 56 NEW BEST:: SOT 443572 SOS 299348 HAS SOPS 297364 HAS SOUS 206911 HAS SOUPS 204927 WITH SCORE 205226.348
AT ITER 59 NEW BEST:: SOT 443273 SOS 299244 HAS SOPS 297260 HAS SOUS 206677 HAS SOUPS 204693 WITH SCORE 204992.244
AT ITER 60 NEW BEST:: SOT 442224 SOS 297800 HAS SOPS 295816 HAS SOUS 205837 HAS SOUPS 203853 WITH SCORE 204150.8
AT ITER 61 NEW BEST:: SOT 441135 SOS 296711 HAS SOPS 294727 HAS SOUS 205036 HAS SOUPS 203052 WITH SCORE 203348.711
AT ITER 64 NEW BEST:: SOT 441134 SOS 293243 HAS SOPS 291378 HAS SOUS 204915 HAS SOUPS 203050 WITH SCORE 203343.243
AT ITER 67 NEW BEST:: SOT 441134 SOS 293480 HAS SOPS 291615 HAS SOUS 204902 HAS SOUPS 203037 WITH SCORE 203330.48
AT ITER 71 NEW BEST:: SOT 441134 SOS 292749 HAS SOPS 290884 HAS SOUS 204701 HAS SOUPS 202836 WITH SCORE 203128.749
AT ITER 74 NEW BEST:: SOT 441148 SOS 292341 HAS SOPS 290476 HAS SOUS 204658 HAS SOUPS 202793 WITH SCORE 203085.341
AT ITER 78 NEW BEST:: SOT 441147 SOS 291761 HAS SOPS 289896 HAS SOUS 204324 HAS SOUPS 202459 WITH SCORE 202750.761
AT ITER 80 NEW BEST:: SOT 441051 SOS 291665 HAS SOPS 289800 HAS SOUS 204252 HAS SOUPS 202387 WITH SCORE 202678.665
AT ITER 81 NEW BEST:: SOT 439893 SOS 289787 HAS SOPS 287614 HAS SOUS 203154 HAS SOUPS 200981 WITH SCORE 201270.787
AT ITER 82 NEW BEST:: SOT 439417 SOS 289022 HAS SOPS 287149 HAS SOUS 202405 HAS SOUPS 200532 WITH SCORE 200821.022
AT ITER 83 NEW BEST:: SOT 439002 SOS 288606 HAS SOPS 286733 HAS SOUS 202072 HAS SOUPS 200199 WITH SCORE 200487.606
AT ITER 85 NEW BEST:: SOT 438856 SOS 288460 HAS SOPS 286587 HAS SOUS 201996 HAS SOUPS 200123 WITH SCORE 200411.46
AT ITER 87 NEW BEST:: SOT 438648 SOS 288148 HAS SOPS 286275 HAS SOUS 201892 HAS SOUPS 200019 WITH SCORE 200307.148
AT ITER 88 NEW BEST:: SOT 438734 SOS 288196 HAS SOPS 286076 HAS SOUS 202130 HAS SOUPS 200010 WITH SCORE 200298.196
AT ITER 91 NEW BEST:: SOT 438612 SOS 288074 HAS SOPS 285954 HAS SOUS 202008 HAS SOUPS 199888 WITH SCORE 200176.074
AT ITER 92 NEW BEST:: SOT 438612 SOS 288073 HAS SOPS 285953 HAS SOUS 202007 HAS SOUPS 199887 WITH SCORE 200175.073
AT ITER 98 NEW BEST:: SOT 438612 SOS 287718 HAS SOPS 285598 HAS SOUS 202006 HAS SOUPS 199886 WITH SCORE 200173.718
AT ITER 99 NEW BEST:: SOT 438612 SOS 286754 HAS SOPS 284634 HAS SOUS 201395 HAS SOUPS 199275 WITH SCORE 199561.754
AT ITER 100 NEW BEST:: SOT 438165 SOS 285421 HAS SOPS 283301 HAS SOUS 200505 HAS SOUPS 198385 WITH SCORE 198670.421
AT ITER 107 NEW BEST:: SOT 438037 SOS 285208 HAS SOPS 283218 HAS SOUS 200262 HAS SOUPS 198272 WITH SCORE 198557.208
AT ITER 112 NEW BEST:: SOT 437551 SOS 284722 HAS SOPS 282732 HAS SOUS 200010 HAS SOUPS 198020 WITH SCORE 198304.722
AT ITER 113 NEW BEST:: SOT 437551 SOS 284721 HAS SOPS 282731 HAS SOUS 200009 HAS SOUPS 198019 WITH SCORE 198303.721
AT ITER 119 NEW BEST:: SOT 435748 SOS 282917 HAS SOPS 280927 HAS SOUS 198910 HAS SOUPS 196920 WITH SCORE 197202.917
AT ITER 123 NEW BEST:: SOT 435371 SOS 282539 HAS SOPS 280549 HAS SOUS 198532 HAS SOUPS 196542 WITH SCORE 196824.539
AT ITER 124 NEW BEST:: SOT 434639 SOS 281734 HAS SOPS 279744 HAS SOUS 197910 HAS SOUPS 195920 WITH SCORE 196201.734
AT ITER 129 NEW BEST:: SOT 433728 SOS 280591 HAS SOPS 278601 HAS SOUS 196999 HAS SOUPS 195009 WITH SCORE 195289.591
AT ITER 130 NEW BEST:: SOT 433728 SOS 280591 HAS SOPS 278601 HAS SOUS 196990 HAS SOUPS 195000 WITH SCORE 195280.591
AT ITER 131 NEW BEST:: SOT 432602 SOS 279313 HAS SOPS 276913 HAS SOUS 196402 HAS SOUPS 194002 WITH SCORE 194281.313
AT ITER 134 NEW BEST:: SOT 432602 SOS 279172 HAS SOPS 276772 HAS SOUS 196261 HAS SOUPS 193861 WITH SCORE 194140.172
AT ITER 138 NEW BEST:: SOT 431816 SOS 278795 HAS SOPS 276395 HAS SOUS 195953 HAS SOUPS 193553 WITH SCORE 193831.795
AT ITER 142 NEW BEST:: SOT 430563 SOS 277430 HAS SOPS 274918 HAS SOUS 194968 HAS SOUPS 192456 WITH SCORE 192733.43
AT ITER 144 NEW BEST:: SOT 430563 SOS 277430 HAS SOPS 274918 HAS SOUS 194967 HAS SOUPS 192455 WITH SCORE 192732.43
AT ITER 146 NEW BEST:: SOT 425951 SOS 271872 HAS SOPS 269360 HAS SOUS 191479 HAS SOUPS 188967 WITH SCORE 189238.872
AT ITER 149 NEW BEST:: SOT 425951 SOS 271872 HAS SOPS 269360 HAS SOUS 191415 HAS SOUPS 188903 WITH SCORE 189174.872
AT ITER 150 NEW BEST:: SOT 425767 SOS 271687 HAS SOPS 269175 HAS SOUS 191230 HAS SOUPS 188718 WITH SCORE 188989.687
AT ITER 156 NEW BEST:: SOT 425534 SOS 271382 HAS SOPS 268870 HAS SOUS 190997 HAS SOUPS 188485 WITH SCORE 188756.382
AT ITER 158 NEW BEST:: SOT 421784 SOS 267565 HAS SOPS 264903 HAS SOUS 188653 HAS SOUPS 186065 WITH SCORE 186332.565
AT ITER 159 NEW BEST:: SOT 421784 SOS 266643 HAS SOPS 263981 HAS SOUS 188465 HAS SOUPS 185877 WITH SCORE 186143.643
AT ITER 163 NEW BEST:: SOT 422156 SOS 267648 HAS SOPS 264514 HAS SOUS 188859 HAS SOUPS 185799 WITH SCORE 186066.648
AT ITER 164 NEW BEST:: SOT 422156 SOS 267648 HAS SOPS 264514 HAS SOUS 188852 HAS SOUPS 185792 WITH SCORE 186059.648
AT ITER 165 NEW BEST:: SOT 421970 SOS 267021 HAS SOPS 263851 HAS SOUS 188225 HAS SOUPS 185129 WITH SCORE 185396.021
AT ITER 167 NEW BEST:: SOT 421845 SOS 266844 HAS SOPS 263674 HAS SOUS 188100 HAS SOUPS 185004 WITH SCORE 185270.844
AT ITER 170 NEW BEST:: SOT 421636 SOS 266635 HAS SOPS 263465 HAS SOUS 187976 HAS SOUPS 184880 WITH SCORE 185146.635
AT ITER 171 NEW BEST:: SOT 421597 SOS 266886 HAS SOPS 263440 HAS SOUS 188111 HAS SOUPS 184739 WITH SCORE 185005.886
AT ITER 172 NEW BEST:: SOT 421584 SOS 266873 HAS SOPS 263427 HAS SOUS 188098 HAS SOUPS 184726 WITH SCORE 184992.873
AT ITER 173 NEW BEST:: SOT 421565 SOS 266854 HAS SOPS 263408 HAS SOUS 188033 HAS SOUPS 184661 WITH SCORE 184927.854
AT ITER 176 NEW BEST:: SOT 421565 SOS 266788 HAS SOPS 263342 HAS SOUS 187953 HAS SOUPS 184581 WITH SCORE 184847.788
AT ITER 177 NEW BEST:: SOT 421201 SOS 266423 HAS SOPS 262977 HAS SOUS 187588 HAS SOUPS 184216 WITH SCORE 184482.423
AT ITER 181 NEW BEST:: SOT 420045 SOS 264346 HAS SOPS 260704 HAS SOUS 186415 HAS SOUPS 182847 WITH SCORE 183111.346
AT ITER 185 NEW BEST:: SOT 420082 SOS 264383 HAS SOPS 260741 HAS SOUS 186242 HAS SOUPS 182674 WITH SCORE 182938.383
AT ITER 189 NEW BEST:: SOT 420081 SOS 264313 HAS SOPS 260671 HAS SOUS 186125 HAS SOUPS 182557 WITH SCORE 182821.313
AT ITER 190 NEW BEST:: SOT 420081 SOS 264130 HAS SOPS 260488 HAS SOUS 186125 HAS SOUPS 182557 WITH SCORE 182821.13
AT ITER 195 NEW BEST:: SOT 420081 SOS 264129 HAS SOPS 260487 HAS SOUS 186124 HAS SOUPS 182556 WITH SCORE 182820.129
AT ITER 196 NEW BEST:: SOT 419995 SOS 264043 HAS SOPS 260401 HAS SOUS 186124 HAS SOUPS 182556 WITH SCORE 182820.043
AT ITER 197 NEW BEST:: SOT 418936 SOS 262106 HAS SOPS 258286 HAS SOUS 184941 HAS SOUPS 181195 WITH SCORE 181457.106
AT ITER 198 NEW BEST:: SOT 418371 SOS 261628 HAS SOPS 257721 HAS SOUS 184681 HAS SOUPS 180848 WITH SCORE 181109.628
AT ITER 201 NEW BEST:: SOT 418270 SOS 261325 HAS SOPS 257418 HAS SOUS 184479 HAS SOUPS 180646 WITH SCORE 180907.325
AT ITER 205 NEW BEST:: SOT 417783 SOS 260838 HAS SOPS 256931 HAS SOUS 184125 HAS SOUPS 180292 WITH SCORE 180552.838
AT ITER 207 NEW BEST:: SOT 417530 SOS 260546 HAS SOPS 256678 HAS SOUS 183833 HAS SOUPS 180039 WITH SCORE 180299.546
AT ITER 213 NEW BEST:: SOT 417521 SOS 260531 HAS SOPS 256663 HAS SOUS 183824 HAS SOUPS 180030 WITH SCORE 180290.531
AT ITER 218 NEW BEST:: SOT 417521 SOS 260435 HAS SOPS 256567 HAS SOUS 183823 HAS SOUPS 180029 WITH SCORE 180289.435
AT ITER 223 NEW BEST:: SOT 422995 SOS 265555 HAS SOPS 261223 HAS SOUS 183652 HAS SOUPS 179394 WITH SCORE 179659.555
AT ITER 225 NEW BEST:: SOT 422995 SOS 265555 HAS SOPS 261223 HAS SOUS 183649 HAS SOUPS 179391 WITH SCORE 179656.555
AT ITER 226 NEW BEST:: SOT 422883 SOS 265443 HAS SOPS 261111 HAS SOUS 183530 HAS SOUPS 179272 WITH SCORE 179537.443
AT ITER 230 NEW BEST:: SOT 422883 SOS 265078 HAS SOPS 260746 HAS SOUS 183394 HAS SOUPS 179136 WITH SCORE 179401.078
AT ITER 231 NEW BEST:: SOT 422540 SOS 264735 HAS SOPS 260403 HAS SOUS 183389 HAS SOUPS 179131 WITH SCORE 179395.735
AT ITER 235 NEW BEST:: SOT 422540 SOS 264439 HAS SOPS 260107 HAS SOUS 183242 HAS SOUPS 178984 WITH SCORE 179248.439
AT ITER 236 NEW BEST:: SOT 422180 SOS 264078 HAS SOPS 259746 HAS SOUS 183026 HAS SOUPS 178768 WITH SCORE 179032.078
AT ITER 237 NEW BEST:: SOT 422062 SOS 263960 HAS SOPS 259628 HAS SOUS 182908 HAS SOUPS 178650 WITH SCORE 178913.96
AT ITER 241 NEW BEST:: SOT 422046 SOS 264312 HAS SOPS 259680 HAS SOUS 183192 HAS SOUPS 178634 WITH SCORE 178898.312
AT ITER 246 NEW BEST:: SOT 421651 SOS 263700 HAS SOPS 258700 HAS SOUS 183143 HAS SOUPS 178217 WITH SCORE 178480.7
AT ITER 249 NEW BEST:: SOT 421641 SOS 263690 HAS SOPS 258690 HAS SOUS 183116 HAS SOUPS 178190 WITH SCORE 178453.69
AT ITER 251 NEW BEST:: SOT 421640 SOS 263377 HAS SOPS 258377 HAS SOUS 182938 HAS SOUPS 178012 WITH SCORE 178275.377
AT ITER 253 NEW BEST:: SOT 421670 SOS 263149 HAS SOPS 258230 HAS SOUS 182806 HAS SOUPS 177961 WITH SCORE 178224.149
AT ITER 256 NEW BEST:: SOT 421409 SOS 262779 HAS SOPS 257683 HAS SOUS 182436 HAS SOUPS 177414 WITH SCORE 177676.779
AT ITER 258 NEW BEST:: SOT 421358 SOS 262755 HAS SOPS 257631 HAS SOUS 182452 HAS SOUPS 177402 WITH SCORE 177664.755
AT ITER 259 NEW BEST:: SOT 421173 SOS 262525 HAS SOPS 257398 HAS SOUS 182254 HAS SOUPS 177201 WITH SCORE 177463.525
AT ITER 261 NEW BEST:: SOT 420958 SOS 262182 HAS SOPS 257006 HAS SOUS 182057 HAS SOUPS 176955 WITH SCORE 177217.182
AT ITER 262 NEW BEST:: SOT 419804 SOS 260087 HAS SOPS 254591 HAS SOUS 180876 HAS SOUPS 175454 WITH SCORE 175714.087
AT ITER 270 NEW BEST:: SOT 419413 SOS 259755 HAS SOPS 254200 HAS SOUS 180737 HAS SOUPS 175256 WITH SCORE 175515.755
AT ITER 272 NEW BEST:: SOT 419402 SOS 259744 HAS SOPS 254189 HAS SOUS 180715 HAS SOUPS 175234 WITH SCORE 175493.744
AT ITER 275 NEW BEST:: SOT 419401 SOS 259696 HAS SOPS 254141 HAS SOUS 180667 HAS SOUPS 175186 WITH SCORE 175445.696
AT ITER 276 NEW BEST:: SOT 419401 SOS 258957 HAS SOPS 253402 HAS SOUS 180434 HAS SOUPS 174953 WITH SCORE 175211.957
AT ITER 277 NEW BEST:: SOT 419327 SOS 258711 HAS SOPS 253156 HAS SOUS 180323 HAS SOUPS 174842 WITH SCORE 175100.711
AT ITER 280 NEW BEST:: SOT 419385 SOS 258595 HAS SOPS 253127 HAS SOUS 180236 HAS SOUPS 174842 WITH SCORE 175100.595
AT ITER 284 NEW BEST:: SOT 418321 SOS 257531 HAS SOPS 252063 HAS SOUS 179297 HAS SOUPS 173903 WITH SCORE 174160.531
AT ITER 286 NEW BEST:: SOT 417679 SOS 256953 HAS SOPS 251421 HAS SOUS 178915 HAS SOUPS 173457 WITH SCORE 173713.953
AT ITER 287 NEW BEST:: SOT 417366 SOS 256640 HAS SOPS 251108 HAS SOUS 178691 HAS SOUPS 173233 WITH SCORE 173489.64
AT ITER 292 NEW BEST:: SOT 417262 SOS 256536 HAS SOPS 251056 HAS SOUS 178637 HAS SOUPS 173181 WITH SCORE 173437.536
AT ITER 293 NEW BEST:: SOT 417084 SOS 256560 HAS SOPS 251080 HAS SOUS 178471 HAS SOUPS 173015 WITH SCORE 173271.56
AT ITER 294 NEW BEST:: SOT 417178 SOS 256346 HAS SOPS 250866 HAS SOUS 178464 HAS SOUPS 173008 WITH SCORE 173264.346
AT ITER 297 NEW BEST:: SOT 417178 SOS 255947 HAS SOPS 250467 HAS SOUS 178331 HAS SOUPS 172875 WITH SCORE 173130.947
AT ITER 298 NEW BEST:: SOT 417002 SOS 255771 HAS SOPS 250291 HAS SOUS 178199 HAS SOUPS 172743 WITH SCORE 172998.771
AT ITER 299 NEW BEST:: SOT 416812 SOS 255581 HAS SOPS 250101 HAS SOUS 178086 HAS SOUPS 172630 WITH SCORE 172885.581
AT ITER 300 NEW BEST:: SOT 416123 SOS 254600 HAS SOPS 248971 HAS SOUS 177401 HAS SOUPS 171796 WITH SCORE 172050.6
AT ITER 303 NEW BEST:: SOT 415036 SOS 253482 HAS SOPS 247461 HAS SOUS 176735 HAS SOUPS 170738 WITH SCORE 170991.482
AT ITER 305 NEW BEST:: SOT 414802 SOS 253365 HAS SOPS 247227 HAS SOUS 176681 HAS SOUPS 170567 WITH SCORE 170820.365
AT ITER 307 NEW BEST:: SOT 414802 SOS 252999 HAS SOPS 246861 HAS SOUS 176522 HAS SOUPS 170408 WITH SCORE 170660.999
AT ITER 309 NEW BEST:: SOT 414801 SOS 252998 HAS SOPS 246860 HAS SOUS 176521 HAS SOUPS 170407 WITH SCORE 170659.998
AT ITER 312 NEW BEST:: SOT 414801 SOS 252648 HAS SOPS 246510 HAS SOUS 176414 HAS SOUPS 170300 WITH SCORE 170552.648
AT ITER 315 NEW BEST:: SOT 414378 SOS 251962 HAS SOPS 245629 HAS SOUS 176186 HAS SOUPS 169877 WITH SCORE 170128.962
AT ITER 323 NEW BEST:: SOT 413862 SOS 251446 HAS SOPS 245113 HAS SOUS 175729 HAS SOUPS 169420 WITH SCORE 169671.446
AT ITER 324 NEW BEST:: SOT 413116 SOS 250731 HAS SOPS 244366 HAS SOUS 175275 HAS SOUPS 168934 WITH SCORE 169184.731
AT ITER 346 NEW BEST:: SOT 412324 SOS 250072 HAS SOPS 243528 HAS SOUS 174960 HAS SOUPS 168440 WITH SCORE 168690.072
AT ITER 348 NEW BEST:: SOT 412324 SOS 249538 HAS SOPS 243183 HAS SOUS 174771 HAS SOUPS 168440 WITH SCORE 168689.538
AT ITER 349 NEW BEST:: SOT 412324 SOS 249349 HAS SOPS 242994 HAS SOUS 174645 HAS SOUPS 168314 WITH SCORE 168563.349
AT ITER 352 NEW BEST:: SOT 412324 SOS 249349 HAS SOPS 242994 HAS SOUS 174588 HAS SOUPS 168257 WITH SCORE 168506.349
AT ITER 354 NEW BEST:: SOT 412286 SOS 248918 HAS SOPS 243033 HAS SOUS 174106 HAS SOUPS 168246 WITH SCORE 168494.918
AT ITER 358 NEW BEST:: SOT 412246 SOS 248798 HAS SOPS 242913 HAS SOUS 174026 HAS SOUPS 168166 WITH SCORE 168414.798
AT ITER 364 NEW BEST:: SOT 411488 SOS 248073 HAS SOPS 242096 HAS SOUS 173518 HAS SOUPS 167566 WITH SCORE 167814.073
AT ITER 366 NEW BEST:: SOT 411488 SOS 247178 HAS SOPS 241201 HAS SOUS 173023 HAS SOUPS 167071 WITH SCORE 167318.178
AT ITER 371 NEW BEST:: SOT 411228 SOS 246581 HAS SOPS 240604 HAS SOUS 172578 HAS SOUPS 166626 WITH SCORE 166872.581
AT ITER 375 NEW BEST:: SOT 411162 SOS 246543 HAS SOPS 240566 HAS SOUS 172352 HAS SOUPS 166400 WITH SCORE 166646.543
AT ITER 376 NEW BEST:: SOT 411162 SOS 246245 HAS SOPS 240268 HAS SOUS 172223 HAS SOUPS 166271 WITH SCORE 166517.245
AT ITER 378 NEW BEST:: SOT 410789 SOS 245745 HAS SOPS 239951 HAS SOUS 171667 HAS SOUPS 165898 WITH SCORE 166143.745
AT ITER 379 NEW BEST:: SOT 410789 SOS 245247 HAS SOPS 239453 HAS SOUS 171501 HAS SOUPS 165732 WITH SCORE 165977.247
AT ITER 381 NEW BEST:: SOT 410650 SOS 245108 HAS SOPS 239314 HAS SOUS 171362 HAS SOUPS 165593 WITH SCORE 165838.108
AT ITER 386 NEW BEST:: SOT 410106 SOS 244564 HAS SOPS 238770 HAS SOUS 170950 HAS SOUPS 165181 WITH SCORE 165425.564
AT ITER 390 NEW BEST:: SOT 408984 SOS 242802 HAS SOPS 237008 HAS SOUS 169828 HAS SOUPS 164059 WITH SCORE 164301.802
AT ITER 391 NEW BEST:: SOT 408959 SOS 242777 HAS SOPS 236983 HAS SOUS 169803 HAS SOUPS 164034 WITH SCORE 164276.777
AT ITER 392 NEW BEST:: SOT 408958 SOS 242076 HAS SOPS 236369 HAS SOUS 169714 HAS SOUPS 164032 WITH SCORE 164274.076
AT ITER 394 NEW BEST:: SOT 408676 SOS 241794 HAS SOPS 236087 HAS SOUS 169624 HAS SOUPS 163942 WITH SCORE 164183.794
AT ITER 397 NEW BEST:: SOT 408641 SOS 241582 HAS SOPS 235875 HAS SOUS 169602 HAS SOUPS 163920 WITH SCORE 164161.582
AT ITER 399 NEW BEST:: SOT 407558 SOS 240311 HAS SOPS 234599 HAS SOUS 168527 HAS SOUPS 162842 WITH SCORE 163082.311
AT ITER 403 NEW BEST:: SOT 407436 SOS 240189 HAS SOPS 234477 HAS SOUS 168405 HAS SOUPS 162720 WITH SCORE 162960.189
AT ITER 407 NEW BEST:: SOT 406045 SOS 238094 HAS SOPS 232296 HAS SOUS 167100 HAS SOUPS 161329 WITH SCORE 161567.094
AT ITER 411 NEW BEST:: SOT 406003 SOS 238010 HAS SOPS 232212 HAS SOUS 166974 HAS SOUPS 161203 WITH SCORE 161441.01
AT ITER 413 NEW BEST:: SOT 405521 SOS 237440 HAS SOPS 231730 HAS SOUS 166404 HAS SOUPS 160721 WITH SCORE 160958.44
AT ITER 414 NEW BEST:: SOT 405359 SOS 236954 HAS SOPS 231244 HAS SOUS 166080 HAS SOUPS 160397 WITH SCORE 160633.954
AT ITER 416 NEW BEST:: SOT 405359 SOS 236756 HAS SOPS 231046 HAS SOUS 166014 HAS SOUPS 160331 WITH SCORE 160567.756
AT ITER 419 NEW BEST:: SOT 405217 SOS 236613 HAS SOPS 230903 HAS SOUS 165871 HAS SOUPS 160188 WITH SCORE 160424.613
AT ITER 422 NEW BEST:: SOT 405217 SOS 235040 HAS SOPS 229330 HAS SOUS 165870 HAS SOUPS 160187 WITH SCORE 160422.04
AT ITER 429 NEW BEST:: SOT 405216 SOS 234537 HAS SOPS 228827 HAS SOUS 165727 HAS SOUPS 160044 WITH SCORE 160278.537
AT ITER 432 NEW BEST:: SOT 404900 SOS 234055 HAS SOPS 228344 HAS SOUS 165411 HAS SOUPS 159727 WITH SCORE 159961.055
AT ITER 433 NEW BEST:: SOT 404900 SOS 234036 HAS SOPS 228325 HAS SOUS 165392 HAS SOUPS 159708 WITH SCORE 159942.036
AT ITER 434 NEW BEST:: SOT 404900 SOS 233997 HAS SOPS 228286 HAS SOUS 165392 HAS SOUPS 159708 WITH SCORE 159941.997
AT ITER 440 NEW BEST:: SOT 404900 SOS 233496 HAS SOPS 227785 HAS SOUS 165391 HAS SOUPS 159707 WITH SCORE 159940.496
AT ITER 442 NEW BEST:: SOT 404342 SOS 233496 HAS SOPS 227785 HAS SOUS 164833 HAS SOUPS 159149 WITH SCORE 159382.496
AT ITER 443 NEW BEST:: SOT 404083 SOS 232828 HAS SOPS 227206 HAS SOUS 164457 HAS SOUPS 158862 WITH SCORE 159094.828
AT ITER 447 NEW BEST:: SOT 403518 SOS 232280 HAS SOPS 226623 HAS SOUS 164139 HAS SOUPS 158509 WITH SCORE 158741.28
AT ITER 451 NEW BEST:: SOT 403429 SOS 232284 HAS SOPS 226622 HAS SOUS 164055 HAS SOUPS 158420 WITH SCORE 158652.284
AT ITER 452 NEW BEST:: SOT 403176 SOS 232030 HAS SOPS 226368 HAS SOUS 163878 HAS SOUPS 158243 WITH SCORE 158475.03
AT ITER 454 NEW BEST:: SOT 402979 SOS 231833 HAS SOPS 226171 HAS SOUS 163736 HAS SOUPS 158101 WITH SCORE 158332.833
AT ITER 455 NEW BEST:: SOT 403105 SOS 229259 HAS SOPS 223597 HAS SOUS 163658 HAS SOUPS 158023 WITH SCORE 158252.259
AT ITER 459 NEW BEST:: SOT 403104 SOS 229339 HAS SOPS 223583 HAS SOUS 163750 HAS SOUPS 158021 WITH SCORE 158250.339
AT ITER 460 NEW BEST:: SOT 402406 SOS 228641 HAS SOPS 222832 HAS SOUS 163317 HAS SOUPS 157535 WITH SCORE 157763.641
AT ITER 468 NEW BEST:: SOT 402330 SOS 228565 HAS SOPS 222756 HAS SOUS 163241 HAS SOUPS 157459 WITH SCORE 157687.565
AT ITER 473 NEW BEST:: SOT 402050 SOS 228285 HAS SOPS 222476 HAS SOUS 163101 HAS SOUPS 157319 WITH SCORE 157547.285
AT ITER 476 NEW BEST:: SOT 401369 SOS 227604 HAS SOPS 221795 HAS SOUS 162667 HAS SOUPS 156885 WITH SCORE 157112.604
AT ITER 480 NEW BEST:: SOT 400045 SOS 225441 HAS SOPS 219632 HAS SOUS 161352 HAS SOUPS 155570 WITH SCORE 155795.441
AT ITER 485 NEW BEST:: SOT 400012 SOS 225440 HAS SOPS 219631 HAS SOUS 161344 HAS SOUPS 155562 WITH SCORE 155787.44
AT ITER 488 NEW BEST:: SOT 399288 SOS 224073 HAS SOPS 218215 HAS SOUS 160485 HAS SOUPS 154654 WITH SCORE 154878.073
AT ITER 496 NEW BEST:: SOT 399288 SOS 224063 HAS SOPS 218205 HAS SOUS 160485 HAS SOUPS 154654 WITH SCORE 154878.063
AT ITER 519 NEW BEST:: SOT 399288 SOS 224133 HAS SOPS 218275 HAS SOUS 160370 HAS SOUPS 154539 WITH SCORE 154763.133
AT ITER 520 NEW BEST:: SOT 398698 SOS 223475 HAS SOPS 217617 HAS SOUS 159916 HAS SOUPS 154085 WITH SCORE 154308.475
AT ITER 523 NEW BEST:: SOT 398668 SOS 223620 HAS SOPS 217762 HAS SOUS 159901 HAS SOUPS 154070 WITH SCORE 154293.62
AT ITER 526 NEW BEST:: SOT 398645 SOS 223597 HAS SOPS 217688 HAS SOUS 159878 HAS SOUPS 153996 WITH SCORE 154219.597
AT ITER 528 NEW BEST:: SOT 398336 SOS 223270 HAS SOPS 217359 HAS SOUS 159551 HAS SOUPS 153667 WITH SCORE 153890.27
AT ITER 531 NEW BEST:: SOT 398345 SOS 223243 HAS SOPS 217332 HAS SOUS 159497 HAS SOUPS 153613 WITH SCORE 153836.243
AT ITER 532 NEW BEST:: SOT 398345 SOS 223217 HAS SOPS 217306 HAS SOUS 159471 HAS SOUPS 153587 WITH SCORE 153810.217
AT ITER 535 NEW BEST:: SOT 398315 SOS 223302 HAS SOPS 217391 HAS SOUS 159426 HAS SOUPS 153542 WITH SCORE 153765.302
AT ITER 542 NEW BEST:: SOT 398263 SOS 223250 HAS SOPS 217339 HAS SOUS 159374 HAS SOUPS 153490 WITH SCORE 153713.25
AT ITER 543 NEW BEST:: SOT 398268 SOS 223245 HAS SOPS 217334 HAS SOUS 159374 HAS SOUPS 153490 WITH SCORE 153713.245
AT ITER 544 NEW BEST:: SOT 398268 SOS 223202 HAS SOPS 217291 HAS SOUS 159374 HAS SOUPS 153490 WITH SCORE 153713.202
AT ITER 545 NEW BEST:: SOT 398200 SOS 222837 HAS SOPS 216926 HAS SOUS 159207 HAS SOUPS 153323 WITH SCORE 153545.837
AT ITER 547 NEW BEST:: SOT 398081 SOS 222762 HAS SOPS 216777 HAS SOUS 159221 HAS SOUPS 153263 WITH SCORE 153485.762
AT ITER 555 NEW BEST:: SOT 397975 SOS 222523 HAS SOPS 216538 HAS SOUS 159088 HAS SOUPS 153130 WITH SCORE 153352.523
AT ITER 558 NEW BEST:: SOT 397929 SOS 222205 HAS SOPS 216156 HAS SOUS 158770 HAS SOUPS 152748 WITH SCORE 152970.205
AT ITER 566 NEW BEST:: SOT 397733 SOS 222009 HAS SOPS 215960 HAS SOUS 158709 HAS SOUPS 152687 WITH SCORE 152909.009
AT ITER 568 NEW BEST:: SOT 397195 SOS 221471 HAS SOPS 215422 HAS SOUS 158360 HAS SOUPS 152338 WITH SCORE 152559.471
AT ITER 571 NEW BEST:: SOT 397114 SOS 221390 HAS SOPS 215341 HAS SOUS 158279 HAS SOUPS 152257 WITH SCORE 152478.39
AT ITER 572 NEW BEST:: SOT 396966 SOS 220957 HAS SOPS 214641 HAS SOUS 157846 HAS SOUPS 151557 WITH SCORE 151777.957
AT ITER 574 NEW BEST:: SOT 396644 SOS 220635 HAS SOPS 214209 HAS SOUS 157634 HAS SOUPS 151235 WITH SCORE 151455.635
AT ITER 578 NEW BEST:: SOT 397069 SOS 220360 HAS SOPS 213934 HAS SOUS 157563 HAS SOUPS 151164 WITH SCORE 151384.36
AT ITER 579 NEW BEST:: SOT 397069 SOS 220352 HAS SOPS 213918 HAS SOUS 157555 HAS SOUPS 151148 WITH SCORE 151368.352
AT ITER 584 NEW BEST:: SOT 396808 SOS 220153 HAS SOPS 213719 HAS SOUS 157276 HAS SOUPS 150869 WITH SCORE 151089.153
AT ITER 590 NEW BEST:: SOT 396347 SOS 219805 HAS SOPS 213200 HAS SOUS 157083 HAS SOUPS 150505 WITH SCORE 150724.805
AT ITER 596 NEW BEST:: SOT 396316 SOS 219773 HAS SOPS 213168 HAS SOUS 157051 HAS SOUPS 150473 WITH SCORE 150692.773
AT ITER 601 NEW BEST:: SOT 396315 SOS 219500 HAS SOPS 213030 HAS SOUS 156914 HAS SOUPS 150471 WITH SCORE 150690.5
AT ITER 614 NEW BEST:: SOT 396315 SOS 219497 HAS SOPS 213027 HAS SOUS 156911 HAS SOUPS 150468 WITH SCORE 150687.497
AT ITER 616 NEW BEST:: SOT 396290 SOS 219472 HAS SOPS 213002 HAS SOUS 156818 HAS SOUPS 150375 WITH SCORE 150594.472
AT ITER 618 NEW BEST:: SOT 396326 SOS 219226 HAS SOPS 212756 HAS SOUS 156571 HAS SOUPS 150128 WITH SCORE 150347.226
AT ITER 619 NEW BEST:: SOT 396248 SOS 219140 HAS SOPS 212670 HAS SOUS 156485 HAS SOUPS 150042 WITH SCORE 150261.14
AT ITER 620 NEW BEST:: SOT 396242 SOS 219130 HAS SOPS 212660 HAS SOUS 156479 HAS SOUPS 150036 WITH SCORE 150255.13
AT ITER 625 NEW BEST:: SOT 396010 SOS 219026 HAS SOPS 212437 HAS SOUS 156488 HAS SOUPS 149926 WITH SCORE 150145.026
AT ITER 637 NEW BEST:: SOT 395870 SOS 218466 HAS SOPS 211877 HAS SOUS 156068 HAS SOUPS 149506 WITH SCORE 149724.466
AT ITER 641 NEW BEST:: SOT 395829 SOS 218473 HAS SOPS 211930 HAS SOUS 155988 HAS SOUPS 149472 WITH SCORE 149690.473
AT ITER 644 NEW BEST:: SOT 395821 SOS 218373 HAS SOPS 211830 HAS SOUS 155931 HAS SOUPS 149415 WITH SCORE 149633.373
AT ITER 645 NEW BEST:: SOT 395011 SOS 217540 HAS SOPS 210997 HAS SOUS 155402 HAS SOUPS 148886 WITH SCORE 149103.54
AT ITER 647 NEW BEST:: SOT 395011 SOS 217692 HAS SOPS 211149 HAS SOUS 155300 HAS SOUPS 148784 WITH SCORE 149001.692
AT ITER 648 NEW BEST:: SOT 395147 SOS 217785 HAS SOPS 211242 HAS SOUS 155257 HAS SOUPS 148741 WITH SCORE 148958.785
AT ITER 660 NEW BEST:: SOT 395143 SOS 217777 HAS SOPS 211234 HAS SOUS 155249 HAS SOUPS 148733 WITH SCORE 148950.777
AT ITER 661 NEW BEST:: SOT 395101 SOS 217693 HAS SOPS 211150 HAS SOUS 155207 HAS SOUPS 148691 WITH SCORE 148908.693
AT ITER 675 NEW BEST:: SOT 394850 SOS 216389 HAS SOPS 209846 HAS SOUS 154232 HAS SOUPS 147716 WITH SCORE 147932.389
AT ITER 676 NEW BEST:: SOT 395216 SOS 216399 HAS SOPS 209836 HAS SOUS 153972 HAS SOUPS 147436 WITH SCORE 147652.399
AT ITER 677 NEW BEST:: SOT 395406 SOS 216377 HAS SOPS 209814 HAS SOUS 153862 HAS SOUPS 147326 WITH SCORE 147542.377
AT ITER 678 NEW BEST:: SOT 395371 SOS 216342 HAS SOPS 209779 HAS SOUS 153827 HAS SOUPS 147291 WITH SCORE 147507.342
AT ITER 679 NEW BEST:: SOT 394996 SOS 215967 HAS SOPS 209379 HAS SOUS 153577 HAS SOUPS 147016 WITH SCORE 147231.967
AT ITER 680 NEW BEST:: SOT 394996 SOS 215895 HAS SOPS 209307 HAS SOUS 153553 HAS SOUPS 146992 WITH SCORE 147207.895
AT ITER 684 NEW BEST:: SOT 394930 SOS 215737 HAS SOPS 209149 HAS SOUS 153541 HAS SOUPS 146980 WITH SCORE 147195.737
AT ITER 687 NEW BEST:: SOT 394770 SOS 215472 HAS SOPS 208884 HAS SOUS 153384 HAS SOUPS 146823 WITH SCORE 147038.472
AT ITER 688 NEW BEST:: SOT 394634 SOS 215602 HAS SOPS 209014 HAS SOUS 153248 HAS SOUPS 146687 WITH SCORE 146902.602
AT ITER 690 NEW BEST:: SOT 393788 SOS 214561 HAS SOPS 207973 HAS SOUS 152402 HAS SOUPS 145841 WITH SCORE 146055.561
AT ITER 696 NEW BEST:: SOT 389972 SOS 211002 HAS SOPS 204157 HAS SOUS 150361 HAS SOUPS 143565 WITH SCORE 143776.002
AT ITER 699 NEW BEST:: SOT 390323 SOS 211236 HAS SOPS 204391 HAS SOUS 150244 HAS SOUPS 143448 WITH SCORE 143659.236
AT ITER 701 NEW BEST:: SOT 390401 SOS 211492 HAS SOPS 204310 HAS SOUS 150448 HAS SOUPS 143315 WITH SCORE 143526.492
AT ITER 704 NEW BEST:: SOT 390345 SOS 211436 HAS SOPS 204254 HAS SOUS 150406 HAS SOUPS 143273 WITH SCORE 143484.436
AT ITER 705 NEW BEST:: SOT 390262 SOS 211309 HAS SOPS 204127 HAS SOUS 150323 HAS SOUPS 143190 WITH SCORE 143401.309
AT ITER 706 NEW BEST:: SOT 390472 SOS 211178 HAS SOPS 203996 HAS SOUS 150241 HAS SOUPS 143108 WITH SCORE 143319.178
AT ITER 711 NEW BEST:: SOT 390379 SOS 211085 HAS SOPS 203939 HAS SOUS 150019 HAS SOUPS 142922 WITH SCORE 143133.085
AT ITER 714 NEW BEST:: SOT 390217 SOS 210923 HAS SOPS 203777 HAS SOUS 149932 HAS SOUPS 142835 WITH SCORE 143045.923
AT ITER 716 NEW BEST:: SOT 389808 SOS 210514 HAS SOPS 203368 HAS SOUS 149739 HAS SOUPS 142642 WITH SCORE 142852.514
AT ITER 717 NEW BEST:: SOT 389666 SOS 210372 HAS SOPS 203226 HAS SOUS 149597 HAS SOUPS 142500 WITH SCORE 142710.372
AT ITER 718 NEW BEST:: SOT 389666 SOS 210372 HAS SOPS 203168 HAS SOUS 149597 HAS SOUPS 142442 WITH SCORE 142652.372
AT ITER 721 NEW BEST:: SOT 388762 SOS 209467 HAS SOPS 202263 HAS SOUS 149280 HAS SOUPS 142125 WITH SCORE 142334.467
AT ITER 724 NEW BEST:: SOT 388736 SOS 209402 HAS SOPS 202198 HAS SOUS 149241 HAS SOUPS 142086 WITH SCORE 142295.402
AT ITER 727 NEW BEST:: SOT 388787 SOS 209405 HAS SOPS 202155 HAS SOUS 149244 HAS SOUPS 142043 WITH SCORE 142252.405
AT ITER 730 NEW BEST:: SOT 388454 SOS 208489 HAS SOPS 201239 HAS SOUS 148290 HAS SOUPS 141089 WITH SCORE 141297.489
AT ITER 731 NEW BEST:: SOT 388224 SOS 208144 HAS SOPS 200894 HAS SOUS 148175 HAS SOUPS 140974 WITH SCORE 141182.144
AT ITER 732 NEW BEST:: SOT 387842 SOS 207882 HAS SOPS 200632 HAS SOUS 148103 HAS SOUPS 140902 WITH SCORE 141109.882
AT ITER 734 NEW BEST:: SOT 387741 SOS 207778 HAS SOPS 200528 HAS SOUS 147999 HAS SOUPS 140798 WITH SCORE 141005.778
AT ITER 735 NEW BEST:: SOT 387693 SOS 207706 HAS SOPS 200456 HAS SOUS 147951 HAS SOUPS 140750 WITH SCORE 140957.706
AT ITER 738 NEW BEST:: SOT 387594 SOS 207499 HAS SOPS 200249 HAS SOUS 147933 HAS SOUPS 140732 WITH SCORE 140939.499
AT ITER 739 NEW BEST:: SOT 387594 SOS 207328 HAS SOPS 200078 HAS SOUS 147932 HAS SOUPS 140731 WITH SCORE 140938.328
AT ITER 744 NEW BEST:: SOT 387229 SOS 206817 HAS SOPS 199567 HAS SOUS 147567 HAS SOUPS 140366 WITH SCORE 140572.817
AT ITER 746 NEW BEST:: SOT 386747 SOS 206811 HAS SOPS 199134 HAS SOUS 147689 HAS SOUPS 140061 WITH SCORE 140267.811
AT ITER 760 NEW BEST:: SOT 386747 SOS 206687 HAS SOPS 199010 HAS SOUS 147565 HAS SOUPS 139937 WITH SCORE 140143.687
AT ITER 762 NEW BEST:: SOT 386425 SOS 206257 HAS SOPS 198417 HAS SOUS 147273 HAS SOUPS 139482 WITH SCORE 139688.257
AT ITER 763 NEW BEST:: SOT 386342 SOS 206173 HAS SOPS 198333 HAS SOUS 147189 HAS SOUPS 139398 WITH SCORE 139604.173
AT ITER 771 NEW BEST:: SOT 386342 SOS 205648 HAS SOPS 197808 HAS SOUS 147011 HAS SOUPS 139220 WITH SCORE 139425.648
AT ITER 777 NEW BEST:: SOT 386155 SOS 205305 HAS SOPS 197387 HAS SOUS 146824 HAS SOUPS 138955 WITH SCORE 139160.305
AT ITER 780 NEW BEST:: SOT 386155 SOS 205255 HAS SOPS 197337 HAS SOUS 146799 HAS SOUPS 138930 WITH SCORE 139135.255
AT ITER 785 NEW BEST:: SOT 386001 SOS 204542 HAS SOPS 196624 HAS SOUS 146376 HAS SOUPS 138507 WITH SCORE 138711.542
AT ITER 786 NEW BEST:: SOT 385458 SOS 203491 HAS SOPS 195371 HAS SOUS 145805 HAS SOUPS 137734 WITH SCORE 137937.491
AT ITER 794 NEW BEST:: SOT 385264 SOS 203297 HAS SOPS 195141 HAS SOUS 145690 HAS SOUPS 137583 WITH SCORE 137786.297
AT ITER 796 NEW BEST:: SOT 385264 SOS 203271 HAS SOPS 195115 HAS SOUS 145664 HAS SOUPS 137557 WITH SCORE 137760.271
AT ITER 799 NEW BEST:: SOT 385241 SOS 203248 HAS SOPS 195092 HAS SOUS 145641 HAS SOUPS 137534 WITH SCORE 137737.248
AT ITER 805 NEW BEST:: SOT 385261 SOS 203268 HAS SOPS 195112 HAS SOUS 145621 HAS SOUPS 137514 WITH SCORE 137717.268
AT ITER 807 NEW BEST:: SOT 385057 SOS 202962 HAS SOPS 194704 HAS SOUS 145519 HAS SOUPS 137310 WITH SCORE 137512.962
AT ITER 810 NEW BEST:: SOT 384584 SOS 202536 HAS SOPS 194219 HAS SOUS 145111 HAS SOUPS 136843 WITH SCORE 137045.536
AT ITER 814 NEW BEST:: SOT 384018 SOS 201683 HAS SOPS 193223 HAS SOUS 144688 HAS SOUPS 136277 WITH SCORE 136478.683
AT ITER 819 NEW BEST:: SOT 383643 SOS 201308 HAS SOPS 192848 HAS SOUS 144482 HAS SOUPS 136071 WITH SCORE 136272.308
AT ITER 829 NEW BEST:: SOT 383623 SOS 201248 HAS SOPS 192788 HAS SOUS 144462 HAS SOUPS 136051 WITH SCORE 136252.248
AT ITER 833 NEW BEST:: SOT 383348 SOS 201098 HAS SOPS 192438 HAS SOUS 144312 HAS SOUPS 135701 WITH SCORE 135902.098
AT ITER 834 NEW BEST:: SOT 384334 SOS 202084 HAS SOPS 192650 HAS SOUS 144850 HAS SOUPS 135672 WITH SCORE 135874.084
AT ITER 836 NEW BEST:: SOT 384255 SOS 201706 HAS SOPS 192272 HAS SOUS 144472 HAS SOUPS 135294 WITH SCORE 135495.706
AT ITER 837 NEW BEST:: SOT 383383 SOS 200002 HAS SOPS 190568 HAS SOUS 143478 HAS SOUPS 134300 WITH SCORE 134500.002
AT ITER 842 NEW BEST:: SOT 382915 SOS 199561 HAS SOPS 190100 HAS SOUS 143186 HAS SOUPS 133981 WITH SCORE 134180.561
AT ITER 846 NEW BEST:: SOT 382737 SOS 199283 HAS SOPS 189654 HAS SOUS 143182 HAS SOUPS 133893 WITH SCORE 134092.283
AT ITER 847 NEW BEST:: SOT 382450 SOS 199026 HAS SOPS 189397 HAS SOUS 143068 HAS SOUPS 133779 WITH SCORE 133978.026
AT ITER 848 NEW BEST:: SOT 382332 SOS 198908 HAS SOPS 189279 HAS SOUS 142950 HAS SOUPS 133661 WITH SCORE 133859.908
AT ITER 855 NEW BEST:: SOT 382215 SOS 198790 HAS SOPS 189161 HAS SOUS 142832 HAS SOUPS 133543 WITH SCORE 133741.79
AT ITER 857 NEW BEST:: SOT 382131 SOS 198622 HAS SOPS 189035 HAS SOUS 142748 HAS SOUPS 133501 WITH SCORE 133699.622
AT ITER 861 NEW BEST:: SOT 382131 SOS 198737 HAS SOPS 188882 HAS SOUS 142404 HAS SOUPS 133042 WITH SCORE 133240.737
AT ITER 863 NEW BEST:: SOT 381843 SOS 198485 HAS SOPS 188630 HAS SOUS 142260 HAS SOUPS 132898 WITH SCORE 133096.485
AT ITER 865 NEW BEST:: SOT 381866 SOS 198485 HAS SOPS 188630 HAS SOUS 142214 HAS SOUPS 132852 WITH SCORE 133050.485
AT ITER 869 NEW BEST:: SOT 381722 SOS 197621 HAS SOPS 187766 HAS SOUS 141998 HAS SOUPS 132636 WITH SCORE 132833.621
AT ITER 876 NEW BEST:: SOT 381445 SOS 196680 HAS SOPS 186825 HAS SOUS 141317 HAS SOUPS 131955 WITH SCORE 132151.68
AT ITER 891 NEW BEST:: SOT 381127 SOS 196383 HAS SOPS 186396 HAS SOUS 141094 HAS SOUPS 131600 WITH SCORE 131796.383
AT ITER 898 NEW BEST:: SOT 380963 SOS 196252 HAS SOPS 186232 HAS SOUS 141062 HAS SOUPS 131535 WITH SCORE 131731.252
AT ITER 900 NEW BEST:: SOT 380700 SOS 196473 HAS SOPS 186453 HAS SOUS 141041 HAS SOUPS 131514 WITH SCORE 131710.473
AT ITER 902 NEW BEST:: SOT 385234 SOS 199911 HAS SOPS 189891 HAS SOUS 140509 HAS SOUPS 130982 WITH SCORE 131181.911
AT ITER 905 NEW BEST:: SOT 385049 SOS 199799 HAS SOPS 189705 HAS SOUS 140433 HAS SOUPS 130869 WITH SCORE 131068.799
AT ITER 917 NEW BEST:: SOT 385014 SOS 199764 HAS SOPS 189670 HAS SOUS 140433 HAS SOUPS 130869 WITH SCORE 131068.764
AT ITER 918 NEW BEST:: SOT 385000 SOS 199761 HAS SOPS 189667 HAS SOUS 140430 HAS SOUPS 130866 WITH SCORE 131065.761
AT ITER 927 NEW BEST:: SOT 384521 SOS 199252 HAS SOPS 189013 HAS SOUS 140215 HAS SOUPS 130506 WITH SCORE 130705.252
AT ITER 936 NEW BEST:: SOT 384402 SOS 199044 HAS SOPS 188805 HAS SOUS 139858 HAS SOUPS 130149 WITH SCORE 130348.044
AT ITER 939 NEW BEST:: SOT 384437 SOS 198408 HAS SOPS 188218 HAS SOUS 139779 HAS SOUPS 130119 WITH SCORE 130317.408
AT ITER 943 NEW BEST:: SOT 384437 SOS 198015 HAS SOPS 187825 HAS SOUS 139738 HAS SOUPS 130078 WITH SCORE 130276.015
AT ITER 949 NEW BEST:: SOT 383882 SOS 197614 HAS SOPS 187238 HAS SOUS 139658 HAS SOUPS 129812 WITH SCORE 130009.614
AT ITER 961 NEW BEST:: SOT 383882 SOS 197502 HAS SOPS 187126 HAS SOUS 139602 HAS SOUPS 129756 WITH SCORE 129953.502
AT ITER 963 NEW BEST:: SOT 383882 SOS 197302 HAS SOPS 187049 HAS SOUS 139402 HAS SOUPS 129679 WITH SCORE 129876.302
AT ITER 971 NEW BEST:: SOT 383916 SOS 197110 HAS SOPS 187036 HAS SOUS 139198 HAS SOUPS 129654 WITH SCORE 129851.11
AT ITER 983 NEW BEST:: SOT 383934 SOS 197119 HAS SOPS 187045 HAS SOUS 139180 HAS SOUPS 129636 WITH SCORE 129833.119
AT ITER 984 NEW BEST:: SOT 383749 SOS 197030 HAS SOPS 186956 HAS SOUS 139091 HAS SOUPS 129547 WITH SCORE 129744.03
AT ITER 986 NEW BEST:: SOT 383731 SOS 196718 HAS SOPS 186644 HAS SOUS 138922 HAS SOUPS 129378 WITH SCORE 129574.718
AT ITER 987 NEW BEST:: SOT 383749 SOS 196409 HAS SOPS 186335 HAS SOUS 138683 HAS SOUPS 129139 WITH SCORE 129335.409
AT ITER 992 NEW BEST:: SOT 383503 SOS 195917 HAS SOPS 185843 HAS SOUS 138437 HAS SOUPS 128893 WITH SCORE 129088.917
AT ITER 1003 NEW BEST:: SOT 383503 SOS 195895 HAS SOPS 185821 HAS SOUS 138426 HAS SOUPS 128882 WITH SCORE 129077.895
AT ITER 1004 NEW BEST:: SOT 383471 SOS 195863 HAS SOPS 185789 HAS SOUS 138394 HAS SOUPS 128850 WITH SCORE 129045.863
AT ITER 1006 NEW BEST:: SOT 383287 SOS 195714 HAS SOPS 185640 HAS SOUS 138282 HAS SOUPS 128738 WITH SCORE 128933.714
AT ITER 1011 NEW BEST:: SOT 383167 SOS 195593 HAS SOPS 185519 HAS SOUS 138166 HAS SOUPS 128622 WITH SCORE 128817.593
AT ITER 1017 NEW BEST:: SOT 383167 SOS 195399 HAS SOPS 185325 HAS SOUS 137972 HAS SOUPS 128428 WITH SCORE 128623.399
AT ITER 1024 NEW BEST:: SOT 382805 SOS 194962 HAS SOPS 184888 HAS SOUS 137716 HAS SOUPS 128172 WITH SCORE 128366.962
AT ITER 1033 NEW BEST:: SOT 382395 SOS 193951 HAS SOPS 184077 HAS SOUS 137077 HAS SOUPS 127733 WITH SCORE 127926.951
AT ITER 1037 NEW BEST:: SOT 382395 SOS 193644 HAS SOPS 183770 HAS SOUS 137003 HAS SOUPS 127659 WITH SCORE 127852.644
AT ITER 1043 NEW BEST:: SOT 382473 SOS 193505 HAS SOPS 183631 HAS SOUS 136786 HAS SOUPS 127442 WITH SCORE 127635.505
AT ITER 1050 NEW BEST:: SOT 382461 SOS 193475 HAS SOPS 183601 HAS SOUS 136768 HAS SOUPS 127424 WITH SCORE 127617.475
AT ITER 1052 NEW BEST:: SOT 382426 SOS 193453 HAS SOPS 183579 HAS SOUS 136746 HAS SOUPS 127402 WITH SCORE 127595.453
AT ITER 1056 NEW BEST:: SOT 382203 SOS 193026 HAS SOPS 183152 HAS SOUS 136319 HAS SOUPS 126975 WITH SCORE 127168.026
AT ITER 1057 NEW BEST:: SOT 382242 SOS 193229 HAS SOPS 183005 HAS SOUS 136522 HAS SOUPS 126828 WITH SCORE 127021.229
AT ITER 1060 NEW BEST:: SOT 382101 SOS 193088 HAS SOPS 182864 HAS SOUS 136347 HAS SOUPS 126653 WITH SCORE 126846.088
AT ITER 1084 NEW BEST:: SOT 381956 SOS 192943 HAS SOPS 182719 HAS SOUS 136296 HAS SOUPS 126602 WITH SCORE 126794.943
AT ITER 1088 NEW BEST:: SOT 381937 SOS 193044 HAS SOPS 182700 HAS SOUS 136397 HAS SOUPS 126583 WITH SCORE 126776.044
AT ITER 1089 NEW BEST:: SOT 381672 SOS 191445 HAS SOPS 181101 HAS SOUS 136117 HAS SOUPS 126303 WITH SCORE 126494.445
AT ITER 1095 NEW BEST:: SOT 382873 SOS 192356 HAS SOPS 182012 HAS SOUS 136080 HAS SOUPS 126266 WITH SCORE 126458.356
AT ITER 1108 NEW BEST:: SOT 382212 SOS 191163 HAS SOPS 180819 HAS SOUS 135153 HAS SOUPS 125339 WITH SCORE 125530.163
AT ITER 1109 NEW BEST:: SOT 382190 SOS 191141 HAS SOPS 180797 HAS SOUS 135131 HAS SOUPS 125317 WITH SCORE 125508.141
AT ITER 1119 NEW BEST:: SOT 382298 SOS 191934 HAS SOPS 181590 HAS SOUS 135024 HAS SOUPS 125210 WITH SCORE 125401.934
AT ITER 1123 NEW BEST:: SOT 381739 SOS 191867 HAS SOPS 181056 HAS SOUS 135314 HAS SOUPS 125033 WITH SCORE 125224.867
AT ITER 1127 NEW BEST:: SOT 381419 SOS 191556 HAS SOPS 180723 HAS SOUS 135163 HAS SOUPS 124860 WITH SCORE 125051.556
AT ITER 1136 NEW BEST:: SOT 381163 SOS 191168 HAS SOPS 180335 HAS SOUS 134775 HAS SOUPS 124472 WITH SCORE 124663.168
AT ITER 1139 NEW BEST:: SOT 381163 SOS 191031 HAS SOPS 180239 HAS SOUS 134708 HAS SOUPS 124446 WITH SCORE 124637.031
AT ITER 1143 NEW BEST:: SOT 381016 SOS 190884 HAS SOPS 180092 HAS SOUS 134633 HAS SOUPS 124371 WITH SCORE 124561.884
AT ITER 1155 NEW BEST:: SOT 381015 SOS 191075 HAS SOPS 180283 HAS SOUS 134632 HAS SOUPS 124370 WITH SCORE 124561.075
AT ITER 1157 NEW BEST:: SOT 381009 SOS 191069 HAS SOPS 180233 HAS SOUS 134626 HAS SOUPS 124320 WITH SCORE 124511.069
AT ITER 1159 NEW BEST:: SOT 381009 SOS 191069 HAS SOPS 180233 HAS SOUS 134570 HAS SOUPS 124264 WITH SCORE 124455.069
AT ITER 1163 NEW BEST:: SOT 380842 SOS 190504 HAS SOPS 179668 HAS SOUS 134204 HAS SOUPS 123898 WITH SCORE 124088.504
AT ITER 1164 NEW BEST:: SOT 380577 SOS 190239 HAS SOPS 179403 HAS SOUS 133939 HAS SOUPS 123633 WITH SCORE 123823.239
AT ITER 1170 NEW BEST:: SOT 380493 SOS 190092 HAS SOPS 179256 HAS SOUS 133839 HAS SOUPS 123533 WITH SCORE 123723.092
AT ITER 1177 NEW BEST:: SOT 380121 SOS 189719 HAS SOPS 178883 HAS SOUS 133652 HAS SOUPS 123346 WITH SCORE 123535.719
AT ITER 1179 NEW BEST:: SOT 380050 SOS 189584 HAS SOPS 178748 HAS SOUS 133517 HAS SOUPS 123211 WITH SCORE 123400.584
AT ITER 1182 NEW BEST:: SOT 380003 SOS 189537 HAS SOPS 178701 HAS SOUS 133470 HAS SOUPS 123164 WITH SCORE 123353.537
AT ITER 1187 NEW BEST:: SOT 379999 SOS 189533 HAS SOPS 178697 HAS SOUS 133468 HAS SOUPS 123162 WITH SCORE 123351.533
AT ITER 1189 NEW BEST:: SOT 379999 SOS 189525 HAS SOPS 178689 HAS SOUS 133466 HAS SOUPS 123160 WITH SCORE 123349.525
AT ITER 1190 NEW BEST:: SOT 379819 SOS 189344 HAS SOPS 178508 HAS SOUS 133460 HAS SOUPS 123154 WITH SCORE 123343.344
AT ITER 1193 NEW BEST:: SOT 379698 SOS 189223 HAS SOPS 178387 HAS SOUS 133339 HAS SOUPS 123033 WITH SCORE 123222.223
AT ITER 1200 NEW BEST:: SOT 379513 SOS 189038 HAS SOPS 178098 HAS SOUS 133333 HAS SOUPS 122923 WITH SCORE 123112.038
AT ITER 1202 NEW BEST:: SOT 379331 SOS 189034 HAS SOPS 177964 HAS SOUS 133407 HAS SOUPS 122867 WITH SCORE 123056.034
AT ITER 1203 NEW BEST:: SOT 379331 SOS 188967 HAS SOPS 177897 HAS SOUS 133340 HAS SOUPS 122800 WITH SCORE 122988.967
AT ITER 1215 NEW BEST:: SOT 379220 SOS 188801 HAS SOPS 177730 HAS SOUS 133229 HAS SOUPS 122688 WITH SCORE 122876.801
AT ITER 1218 NEW BEST:: SOT 379143 SOS 188748 HAS SOPS 177653 HAS SOUS 133214 HAS SOUPS 122649 WITH SCORE 122837.748
AT ITER 1221 NEW BEST:: SOT 379111 SOS 188695 HAS SOPS 177600 HAS SOUS 133161 HAS SOUPS 122596 WITH SCORE 122784.695
AT ITER 1231 NEW BEST:: SOT 378921 SOS 188570 HAS SOPS 177475 HAS SOUS 133009 HAS SOUPS 122444 WITH SCORE 122632.57
AT ITER 1255 NEW BEST:: SOT 378920 SOS 188493 HAS SOPS 177223 HAS SOUS 132932 HAS SOUPS 122192 WITH SCORE 122380.493
AT ITER 1260 NEW BEST:: SOT 378862 SOS 188493 HAS SOPS 177078 HAS SOUS 132990 HAS SOUPS 122105 WITH SCORE 122293.493
AT ITER 1268 NEW BEST:: SOT 378832 SOS 188462 HAS SOPS 177047 HAS SOUS 132959 HAS SOUPS 122074 WITH SCORE 122262.462
AT ITER 1270 NEW BEST:: SOT 378832 SOS 188462 HAS SOPS 177047 HAS SOUS 132932 HAS SOUPS 122047 WITH SCORE 122235.462
AT ITER 1271 NEW BEST:: SOT 378736 SOS 188186 HAS SOPS 176771 HAS SOUS 132830 HAS SOUPS 121945 WITH SCORE 122133.186
AT ITER 1273 NEW BEST:: SOT 377506 SOS 187552 HAS SOPS 176073 HAS SOUS 132296 HAS SOUPS 121347 WITH SCORE 121534.552
AT ITER 1277 NEW BEST:: SOT 377145 SOS 187267 HAS SOPS 175743 HAS SOUS 132215 HAS SOUPS 121221 WITH SCORE 121408.267
AT ITER 1279 NEW BEST:: SOT 377071 SOS 186944 HAS SOPS 175420 HAS SOUS 131987 HAS SOUPS 120993 WITH SCORE 121179.944
AT ITER 1280 NEW BEST:: SOT 377196 SOS 187069 HAS SOPS 175545 HAS SOUS 131979 HAS SOUPS 120985 WITH SCORE 121172.069
AT ITER 1290 NEW BEST:: SOT 376462 SOS 186254 HAS SOPS 174649 HAS SOUS 131570 HAS SOUPS 120495 WITH SCORE 120681.254
AT ITER 1292 NEW BEST:: SOT 376455 SOS 186247 HAS SOPS 174642 HAS SOUS 131366 HAS SOUPS 120291 WITH SCORE 120477.247
AT ITER 1294 NEW BEST:: SOT 376405 SOS 186122 HAS SOPS 174517 HAS SOUS 131328 HAS SOUPS 120253 WITH SCORE 120439.122
AT ITER 1296 NEW BEST:: SOT 376283 SOS 185930 HAS SOPS 174516 HAS SOUS 131136 HAS SOUPS 120252 WITH SCORE 120437.93
AT ITER 1299 NEW BEST:: SOT 376372 SOS 185767 HAS SOPS 174353 HAS SOUS 131012 HAS SOUPS 120128 WITH SCORE 120313.767
AT ITER 1302 NEW BEST:: SOT 376208 SOS 185644 HAS SOPS 174230 HAS SOUS 130907 HAS SOUPS 120023 WITH SCORE 120208.644
AT ITER 1304 NEW BEST:: SOT 376042 SOS 185478 HAS SOPS 174064 HAS SOUS 130827 HAS SOUPS 119943 WITH SCORE 120128.478
AT ITER 1316 NEW BEST:: SOT 375881 SOS 185501 HAS SOPS 173814 HAS SOUS 130939 HAS SOUPS 119782 WITH SCORE 119967.501
AT ITER 1326 NEW BEST:: SOT 375903 SOS 185544 HAS SOPS 173835 HAS SOUS 130959 HAS SOUPS 119780 WITH SCORE 119965.544
AT ITER 1332 NEW BEST:: SOT 375885 SOS 185462 HAS SOPS 173753 HAS SOUS 130902 HAS SOUPS 119723 WITH SCORE 119908.462
AT ITER 1337 NEW BEST:: SOT 374784 SOS 185435 HAS SOPS 173420 HAS SOUS 131007 HAS SOUPS 119522 WITH SCORE 119707.435
AT ITER 1347 NEW BEST:: SOT 374764 SOS 185415 HAS SOPS 173400 HAS SOUS 130944 HAS SOUPS 119459 WITH SCORE 119644.415
AT ITER 1359 NEW BEST:: SOT 374568 SOS 185373 HAS SOPS 173358 HAS SOUS 130902 HAS SOUPS 119417 WITH SCORE 119602.373
AT ITER 1374 NEW BEST:: SOT 374568 SOS 185373 HAS SOPS 173358 HAS SOUS 130897 HAS SOUPS 119412 WITH SCORE 119597.373
AT ITER 1375 NEW BEST:: SOT 374568 SOS 185319 HAS SOPS 173304 HAS SOUS 130897 HAS SOUPS 119412 WITH SCORE 119597.319
AT ITER 1389 NEW BEST:: SOT 374446 SOS 185135 HAS SOPS 173120 HAS SOUS 130774 HAS SOUPS 119289 WITH SCORE 119474.135
AT ITER 1400 NEW BEST:: SOT 374442 SOS 185131 HAS SOPS 173116 HAS SOUS 130774 HAS SOUPS 119289 WITH SCORE 119474.131
AT ITER 1401 NEW BEST:: SOT 374442 SOS 185088 HAS SOPS 173073 HAS SOUS 130774 HAS SOUPS 119289 WITH SCORE 119474.088
AT ITER 1402 NEW BEST:: SOT 374398 SOS 185044 HAS SOPS 173029 HAS SOUS 130768 HAS SOUPS 119283 WITH SCORE 119468.044
AT ITER 1407 NEW BEST:: SOT 374045 SOS 184500 HAS SOPS 172549 HAS SOUS 130410 HAS SOUPS 118989 WITH SCORE 119173.5
AT ITER 1410 NEW BEST:: SOT 373667 SOS 184470 HAS SOPS 172386 HAS SOUS 130358 HAS SOUPS 118870 WITH SCORE 119054.47
AT ITER 1414 NEW BEST:: SOT 373666 SOS 184469 HAS SOPS 172300 HAS SOUS 130357 HAS SOUPS 118784 WITH SCORE 118968.469
AT ITER 1432 NEW BEST:: SOT 373636 SOS 184437 HAS SOPS 172268 HAS SOUS 130327 HAS SOUPS 118754 WITH SCORE 118938.437
AT ITER 1433 NEW BEST:: SOT 373555 SOS 184328 HAS SOPS 172159 HAS SOUS 130245 HAS SOUPS 118672 WITH SCORE 118856.328
AT ITER 1440 NEW BEST:: SOT 373495 SOS 184535 HAS SOPS 172280 HAS SOUS 130263 HAS SOUPS 118647 WITH SCORE 118831.535
AT ITER 1442 NEW BEST:: SOT 373332 SOS 184534 HAS SOPS 172279 HAS SOUS 130262 HAS SOUPS 118646 WITH SCORE 118830.534
AT ITER 1444 NEW BEST:: SOT 373294 SOS 184495 HAS SOPS 172240 HAS SOUS 130242 HAS SOUPS 118626 WITH SCORE 118810.495
AT ITER 1445 NEW BEST:: SOT 373164 SOS 184295 HAS SOPS 172007 HAS SOUS 130172 HAS SOUPS 118523 WITH SCORE 118707.295
AT ITER 1456 NEW BEST:: SOT 373064 SOS 183821 HAS SOPS 171674 HAS SOUS 129863 HAS SOUPS 118355 WITH SCORE 118538.821
AT ITER 1462 NEW BEST:: SOT 373097 SOS 183802 HAS SOPS 171605 HAS SOUS 129844 HAS SOUPS 118286 WITH SCORE 118469.802
AT ITER 1473 NEW BEST:: SOT 372830 SOS 183445 HAS SOPS 171248 HAS SOUS 129754 HAS SOUPS 118196 WITH SCORE 118379.445
AT ITER 1475 NEW BEST:: SOT 372856 SOS 183539 HAS SOPS 171201 HAS SOUS 129848 HAS SOUPS 118149 WITH SCORE 118332.539
AT ITER 1481 NEW BEST:: SOT 372856 SOS 183536 HAS SOPS 171195 HAS SOUS 129845 HAS SOUPS 118143 WITH SCORE 118326.536
AT ITER 1483 NEW BEST:: SOT 372876 SOS 183443 HAS SOPS 171102 HAS SOUS 129832 HAS SOUPS 118130 WITH SCORE 118313.443
AT ITER 1486 NEW BEST:: SOT 372798 SOS 183365 HAS SOPS 171024 HAS SOUS 129754 HAS SOUPS 118052 WITH SCORE 118235.365
AT ITER 1487 NEW BEST:: SOT 372779 SOS 183346 HAS SOPS 171005 HAS SOUS 129746 HAS SOUPS 118044 WITH SCORE 118227.346
AT ITER 1490 NEW BEST:: SOT 372779 SOS 182922 HAS SOPS 170581 HAS SOUS 129534 HAS SOUPS 117832 WITH SCORE 118014.922
AT ITER 1491 NEW BEST:: SOT 372779 SOS 182942 HAS SOPS 170581 HAS SOUS 129544 HAS SOUPS 117822 WITH SCORE 118004.942
AT ITER 1500 NEW BEST:: SOT 372985 SOS 182384 HAS SOPS 170194 HAS SOUS 129165 HAS SOUPS 117614 WITH SCORE 117796.384
AT ITER 1505 NEW BEST:: SOT 372964 SOS 182363 HAS SOPS 170173 HAS SOUS 129165 HAS SOUPS 117614 WITH SCORE 117796.363
AT ITER 1509 NEW BEST:: SOT 374600 SOS 183804 HAS SOPS 171614 HAS SOUS 128938 HAS SOUPS 117387 WITH SCORE 117570.804
AT ITER 1518 NEW BEST:: SOT 374560 SOS 183764 HAS SOPS 171574 HAS SOUS 128857 HAS SOUPS 117306 WITH SCORE 117489.764
AT ITER 1522 NEW BEST:: SOT 374715 SOS 183918 HAS SOPS 171389 HAS SOUS 129011 HAS SOUPS 117121 WITH SCORE 117304.918
AT ITER 1525 NEW BEST:: SOT 374650 SOS 183853 HAS SOPS 171324 HAS SOUS 128946 HAS SOUPS 117056 WITH SCORE 117239.853
AT ITER 1531 NEW BEST:: SOT 374650 SOS 183723 HAS SOPS 171194 HAS SOUS 128881 HAS SOUPS 116991 WITH SCORE 117174.723
AT ITER 1534 NEW BEST:: SOT 374632 SOS 183705 HAS SOPS 171176 HAS SOUS 128869 HAS SOUPS 116979 WITH SCORE 117162.705
AT ITER 1537 NEW BEST:: SOT 374307 SOS 183158 HAS SOPS 170594 HAS SOUS 128580 HAS SOUPS 116655 WITH SCORE 116838.158
AT ITER 1542 NEW BEST:: SOT 374284 SOS 183135 HAS SOPS 170571 HAS SOUS 128580 HAS SOUPS 116655 WITH SCORE 116838.135
AT ITER 1546 NEW BEST:: SOT 374246 SOS 183059 HAS SOPS 170476 HAS SOUS 128542 HAS SOUPS 116598 WITH SCORE 116781.059
AT ITER 1553 NEW BEST:: SOT 374204 SOS 183017 HAS SOPS 170434 HAS SOUS 128500 HAS SOUPS 116556 WITH SCORE 116739.017
AT ITER 1559 NEW BEST:: SOT 373075 SOS 181997 HAS SOPS 169239 HAS SOUS 127942 HAS SOUPS 115890 WITH SCORE 116071.997
AT ITER 1569 NEW BEST:: SOT 373035 SOS 181957 HAS SOPS 169199 HAS SOUS 127942 HAS SOUPS 115890 WITH SCORE 116071.957
AT ITER 1573 NEW BEST:: SOT 372914 SOS 181899 HAS SOPS 169133 HAS SOUS 127888 HAS SOUPS 115828 WITH SCORE 116009.899
AT ITER 1576 NEW BEST:: SOT 372913 SOS 181884 HAS SOPS 169117 HAS SOUS 127873 HAS SOUPS 115812 WITH SCORE 115993.884
AT ITER 1592 NEW BEST:: SOT 372817 SOS 181724 HAS SOPS 168957 HAS SOUS 127744 HAS SOUPS 115683 WITH SCORE 115864.724
AT ITER 1594 NEW BEST:: SOT 372299 SOS 181243 HAS SOPS 168439 HAS SOUS 127411 HAS SOUPS 115313 WITH SCORE 115494.243
AT ITER 1596 NEW BEST:: SOT 372284 SOS 181218 HAS SOPS 168414 HAS SOUS 127386 HAS SOUPS 115288 WITH SCORE 115469.218
AT ITER 1613 NEW BEST:: SOT 371825 SOS 178681 HAS SOPS 165685 HAS SOUS 126886 HAS SOUPS 114631 WITH SCORE 114809.681
AT ITER 1619 NEW BEST:: SOT 371579 SOS 178247 HAS SOPS 165251 HAS SOUS 126408 HAS SOUPS 114153 WITH SCORE 114331.247
AT ITER 1620 NEW BEST:: SOT 371207 SOS 178305 HAS SOPS 165309 HAS SOUS 126047 HAS SOUPS 113792 WITH SCORE 113970.305
AT ITER 1622 NEW BEST:: SOT 371064 SOS 178148 HAS SOPS 165152 HAS SOUS 125890 HAS SOUPS 113635 WITH SCORE 113813.148
AT ITER 1631 NEW BEST:: SOT 371002 SOS 178501 HAS SOPS 165274 HAS SOUS 126047 HAS SOUPS 113561 WITH SCORE 113739.501
AT ITER 1634 NEW BEST:: SOT 371002 SOS 178288 HAS SOPS 165061 HAS SOUS 125905 HAS SOUPS 113419 WITH SCORE 113597.288
AT ITER 1635 NEW BEST:: SOT 370943 SOS 178229 HAS SOPS 165002 HAS SOUS 125799 HAS SOUPS 113313 WITH SCORE 113491.229
AT ITER 1664 NEW BEST:: SOT 370943 SOS 178241 HAS SOPS 164987 HAS SOUS 125811 HAS SOUPS 113298 WITH SCORE 113476.241
AT ITER 1667 NEW BEST:: SOT 370780 SOS 178078 HAS SOPS 164824 HAS SOUS 125596 HAS SOUPS 113083 WITH SCORE 113261.078
AT ITER 1668 NEW BEST:: SOT 370802 SOS 178056 HAS SOPS 164802 HAS SOUS 125596 HAS SOUPS 113083 WITH SCORE 113261.056
AT ITER 1675 NEW BEST:: SOT 370770 SOS 178024 HAS SOPS 164802 HAS SOUS 125532 HAS SOUPS 113051 WITH SCORE 113229.024
AT ITER 1677 NEW BEST:: SOT 370672 SOS 177877 HAS SOPS 164655 HAS SOUS 125434 HAS SOUPS 112953 WITH SCORE 113130.877
AT ITER 1679 NEW BEST:: SOT 370658 SOS 177807 HAS SOPS 164599 HAS SOUS 125378 HAS SOUPS 112911 WITH SCORE 113088.807
AT ITER 1681 NEW BEST:: SOT 370634 SOS 177735 HAS SOPS 164539 HAS SOUS 125330 HAS SOUPS 112875 WITH SCORE 113052.735
AT ITER 1683 NEW BEST:: SOT 370634 SOS 177709 HAS SOPS 164513 HAS SOUS 125330 HAS SOUPS 112875 WITH SCORE 113052.709
AT ITER 1688 NEW BEST:: SOT 370569 SOS 177682 HAS SOPS 164486 HAS SOUS 125316 HAS SOUPS 112861 WITH SCORE 113038.682
AT ITER 1691 NEW BEST:: SOT 370681 SOS 177946 HAS SOPS 164501 HAS SOUS 125532 HAS SOUPS 112828 WITH SCORE 113005.946
AT ITER 1702 NEW BEST:: SOT 370516 SOS 177683 HAS SOPS 164238 HAS SOUS 125269 HAS SOUPS 112565 WITH SCORE 112742.683
AT ITER 1703 NEW BEST:: SOT 370517 SOS 177699 HAS SOPS 164254 HAS SOUS 125217 HAS SOUPS 112513 WITH SCORE 112690.699
AT ITER 1704 NEW BEST:: SOT 370263 SOS 177445 HAS SOPS 164000 HAS SOUS 125122 HAS SOUPS 112418 WITH SCORE 112595.445
AT ITER 1711 NEW BEST:: SOT 370260 SOS 177442 HAS SOPS 163997 HAS SOUS 125119 HAS SOUPS 112415 WITH SCORE 112592.442
AT ITER 1712 NEW BEST:: SOT 370260 SOS 177431 HAS SOPS 163918 HAS SOUS 125108 HAS SOUPS 112336 WITH SCORE 112513.431
AT ITER 1717 NEW BEST:: SOT 370226 SOS 177343 HAS SOPS 163752 HAS SOUS 125020 HAS SOUPS 112170 WITH SCORE 112347.343
AT ITER 1724 NEW BEST:: SOT 370172 SOS 177175 HAS SOPS 163617 HAS SOUS 124906 HAS SOUPS 112089 WITH SCORE 112266.175
AT ITER 1731 NEW BEST:: SOT 370147 SOS 177100 HAS SOPS 163542 HAS SOUS 124881 HAS SOUPS 112064 WITH SCORE 112241.1
AT ITER 1733 NEW BEST:: SOT 370091 SOS 177029 HAS SOPS 163473 HAS SOUS 124820 HAS SOUPS 112005 WITH SCORE 112182.029
AT ITER 1736 NEW BEST:: SOT 370074 SOS 177028 HAS SOPS 163455 HAS SOUS 124819 HAS SOUPS 111987 WITH SCORE 112164.028
AT ITER 1758 NEW BEST:: SOT 370133 SOS 176668 HAS SOPS 163095 HAS SOUS 124651 HAS SOUPS 111819 WITH SCORE 111995.668
AT ITER 1761 NEW BEST:: SOT 370132 SOS 176556 HAS SOPS 163056 HAS SOUS 124576 HAS SOUPS 111817 WITH SCORE 111993.556
AT ITER 1767 NEW BEST:: SOT 370453 SOS 176877 HAS SOPS 163196 HAS SOUS 124313 HAS SOUPS 111554 WITH SCORE 111730.877
AT ITER 1770 NEW BEST:: SOT 370258 SOS 176403 HAS SOPS 162722 HAS SOUS 123915 HAS SOUPS 111156 WITH SCORE 111332.403
AT ITER 1773 NEW BEST:: SOT 370258 SOS 176310 HAS SOPS 162629 HAS SOUS 123853 HAS SOUPS 111094 WITH SCORE 111270.31
AT ITER 1784 NEW BEST:: SOT 370070 SOS 176122 HAS SOPS 162441 HAS SOUS 123665 HAS SOUPS 110906 WITH SCORE 111082.122
AT ITER 1791 NEW BEST:: SOT 370038 SOS 176090 HAS SOPS 162409 HAS SOUS 123665 HAS SOUPS 110906 WITH SCORE 111082.09
AT ITER 1792 NEW BEST:: SOT 369643 SOS 175669 HAS SOPS 161988 HAS SOUS 123257 HAS SOUPS 110498 WITH SCORE 110673.669
AT ITER 1793 NEW BEST:: SOT 369490 SOS 175524 HAS SOPS 161718 HAS SOUS 123237 HAS SOUPS 110353 WITH SCORE 110528.524
AT ITER 1794 NEW BEST:: SOT 369490 SOS 175552 HAS SOPS 161707 HAS SOUS 123265 HAS SOUPS 110342 WITH SCORE 110517.552
AT ITER 1798 NEW BEST:: SOT 369498 SOS 175512 HAS SOPS 161667 HAS SOUS 123257 HAS SOUPS 110334 WITH SCORE 110509.512
AT ITER 1803 NEW BEST:: SOT 369468 SOS 175492 HAS SOPS 161637 HAS SOUS 123247 HAS SOUPS 110319 WITH SCORE 110494.492
AT ITER 1816 NEW BEST:: SOT 369393 SOS 175367 HAS SOPS 161512 HAS SOUS 123147 HAS SOUPS 110219 WITH SCORE 110394.367
AT ITER 1820 NEW BEST:: SOT 369277 SOS 175250 HAS SOPS 161395 HAS SOUS 123088 HAS SOUPS 110160 WITH SCORE 110335.25
AT ITER 1833 NEW BEST:: SOT 369277 SOS 174932 HAS SOPS 161077 HAS SOUS 123056 HAS SOUPS 110128 WITH SCORE 110302.932
AT ITER 1842 NEW BEST:: SOT 369062 SOS 174554 HAS SOPS 160699 HAS SOUS 122634 HAS SOUPS 109706 WITH SCORE 109880.554
AT ITER 1845 NEW BEST:: SOT 369028 SOS 174550 HAS SOPS 160695 HAS SOUS 122600 HAS SOUPS 109672 WITH SCORE 109846.55
AT ITER 1850 NEW BEST:: SOT 368813 SOS 174136 HAS SOPS 160145 HAS SOUS 122498 HAS SOUPS 109502 WITH SCORE 109676.136
AT ITER 1855 NEW BEST:: SOT 368773 SOS 174096 HAS SOPS 160105 HAS SOUS 122478 HAS SOUPS 109482 WITH SCORE 109656.096
AT ITER 1868 NEW BEST:: SOT 368724 SOS 173993 HAS SOPS 160007 HAS SOUS 122472 HAS SOUPS 109479 WITH SCORE 109652.993
AT ITER 1878 NEW BEST:: SOT 368492 SOS 173549 HAS SOPS 159706 HAS SOUS 122028 HAS SOUPS 109178 WITH SCORE 109351.549
AT ITER 1887 NEW BEST:: SOT 368547 SOS 173213 HAS SOPS 159370 HAS SOUS 121899 HAS SOUPS 109049 WITH SCORE 109222.213
AT ITER 1893 NEW BEST:: SOT 368474 SOS 173164 HAS SOPS 159199 HAS SOUS 121962 HAS SOUPS 108990 WITH SCORE 109163.164
AT ITER 1905 NEW BEST:: SOT 368531 SOS 173164 HAS SOPS 159212 HAS SOUS 121931 HAS SOUPS 108959 WITH SCORE 109132.164
AT ITER 1911 NEW BEST:: SOT 368360 SOS 173014 HAS SOPS 159062 HAS SOUS 121916 HAS SOUPS 108944 WITH SCORE 109117.014
AT ITER 1919 NEW BEST:: SOT 368231 SOS 172701 HAS SOPS 158795 HAS SOUS 121695 HAS SOUPS 108769 WITH SCORE 108941.701
AT ITER 1920 NEW BEST:: SOT 368215 SOS 171442 HAS SOPS 157536 HAS SOUS 121671 HAS SOUPS 108745 WITH SCORE 108916.442
AT ITER 1924 NEW BEST:: SOT 368155 SOS 171372 HAS SOPS 157456 HAS SOUS 121631 HAS SOUPS 108705 WITH SCORE 108876.372
AT ITER 1929 NEW BEST:: SOT 367955 SOS 170968 HAS SOPS 157232 HAS SOUS 121227 HAS SOUPS 108481 WITH SCORE 108651.968
AT ITER 1932 NEW BEST:: SOT 367999 SOS 170605 HAS SOPS 157041 HAS SOUS 121010 HAS SOUPS 108436 WITH SCORE 108606.605
AT ITER 1944 NEW BEST:: SOT 367999 SOS 170132 HAS SOPS 156568 HAS SOUS 120885 HAS SOUPS 108311 WITH SCORE 108481.132
AT ITER 1945 NEW BEST:: SOT 367989 SOS 170130 HAS SOPS 156566 HAS SOUS 120883 HAS SOUPS 108309 WITH SCORE 108479.13
AT ITER 1954 NEW BEST:: SOT 367961 SOS 170102 HAS SOPS 156538 HAS SOUS 120883 HAS SOUPS 108309 WITH SCORE 108479.102
AT ITER 1962 NEW BEST:: SOT 367901 SOS 170070 HAS SOPS 156447 HAS SOUS 120857 HAS SOUPS 108224 WITH SCORE 108394.07
AT ITER 1963 NEW BEST:: SOT 367784 SOS 169945 HAS SOPS 156459 HAS SOUS 120646 HAS SOUPS 108150 WITH SCORE 108319.945
AT ITER 1968 NEW BEST:: SOT 367784 SOS 169945 HAS SOPS 156459 HAS SOUS 120613 HAS SOUPS 108117 WITH SCORE 108286.945
AT ITER 1980 NEW BEST:: SOT 367738 SOS 170153 HAS SOPS 156429 HAS SOUS 120681 HAS SOUPS 107947 WITH SCORE 108117.153
AT ITER 1981 NEW BEST:: SOT 367718 SOS 170143 HAS SOPS 156409 HAS SOUS 120681 HAS SOUPS 107937 WITH SCORE 108107.143
AT ITER 2018 NEW BEST:: SOT 368200 SOS 170465 HAS SOPS 156553 HAS SOUS 120842 HAS SOUPS 107920 WITH SCORE 108090.465
AT ITER 2021 NEW BEST:: SOT 368147 SOS 170342 HAS SOPS 156430 HAS SOUS 120789 HAS SOUPS 107867 WITH SCORE 108037.342
AT ITER 2036 NEW BEST:: SOT 368184 SOS 170121 HAS SOPS 156209 HAS SOUS 120667 HAS SOUPS 107745 WITH SCORE 107915.121
AT ITER 2037 NEW BEST:: SOT 368033 SOS 169494 HAS SOPS 155582 HAS SOUS 120377 HAS SOUPS 107455 WITH SCORE 107624.494
AT ITER 2043 NEW BEST:: SOT 367934 SOS 169134 HAS SOPS 155222 HAS SOUS 120222 HAS SOUPS 107300 WITH SCORE 107469.134
AT ITER 2048 NEW BEST:: SOT 367913 SOS 169106 HAS SOPS 155201 HAS SOUS 120201 HAS SOUPS 107286 WITH SCORE 107455.106
AT ITER 2071 NEW BEST:: SOT 367880 SOS 169289 HAS SOPS 155130 HAS SOUS 120384 HAS SOUPS 107215 WITH SCORE 107384.289
AT ITER 2073 NEW BEST:: SOT 367877 SOS 169305 HAS SOPS 155146 HAS SOUS 120273 HAS SOUPS 107104 WITH SCORE 107273.305
AT ITER 2078 NEW BEST:: SOT 367859 SOS 169269 HAS SOPS 155110 HAS SOUS 120237 HAS SOUPS 107068 WITH SCORE 107237.269
AT ITER 2082 NEW BEST:: SOT 367801 SOS 169173 HAS SOPS 155014 HAS SOUS 120141 HAS SOUPS 106972 WITH SCORE 107141.173
AT ITER 2083 NEW BEST:: SOT 367479 SOS 168783 HAS SOPS 154624 HAS SOUS 119677 HAS SOUPS 106508 WITH SCORE 106676.783
AT ITER 2105 NEW BEST:: SOT 367479 SOS 168812 HAS SOPS 154624 HAS SOUS 119677 HAS SOUPS 106479 WITH SCORE 106647.812
AT ITER 2107 NEW BEST:: SOT 367501 SOS 168556 HAS SOPS 154514 HAS SOUS 119497 HAS SOUPS 106445 WITH SCORE 106613.556
AT ITER 2129 NEW BEST:: SOT 367470 SOS 168525 HAS SOPS 154483 HAS SOUS 119480 HAS SOUPS 106428 WITH SCORE 106596.525
AT ITER 2132 NEW BEST:: SOT 367419 SOS 168233 HAS SOPS 154191 HAS SOUS 119386 HAS SOUPS 106334 WITH SCORE 106502.233
AT ITER 2134 NEW BEST:: SOT 367419 SOS 168209 HAS SOPS 154167 HAS SOUS 119362 HAS SOUPS 106310 WITH SCORE 106478.209
AT ITER 2135 NEW BEST:: SOT 367251 SOS 168012 HAS SOPS 154054 HAS SOUS 119249 HAS SOUPS 106281 WITH SCORE 106449.012
AT ITER 2137 NEW BEST:: SOT 367262 SOS 168023 HAS SOPS 154049 HAS SOUS 119260 HAS SOUPS 106276 WITH SCORE 106444.023
AT ITER 2149 NEW BEST:: SOT 366851 SOS 167651 HAS SOPS 153677 HAS SOUS 119213 HAS SOUPS 106229 WITH SCORE 106396.651
AT ITER 2158 NEW BEST:: SOT 366487 SOS 167283 HAS SOPS 153309 HAS SOUS 119027 HAS SOUPS 106043 WITH SCORE 106210.283
AT ITER 2163 NEW BEST:: SOT 366252 SOS 167266 HAS SOPS 153237 HAS SOUS 119037 HAS SOUPS 106015 WITH SCORE 106182.266
AT ITER 2181 NEW BEST:: SOT 366240 SOS 167181 HAS SOPS 153160 HAS SOUS 118952 HAS SOUPS 105938 WITH SCORE 106105.181
AT ITER 2182 NEW BEST:: SOT 366228 SOS 167169 HAS SOPS 153148 HAS SOUS 118946 HAS SOUPS 105932 WITH SCORE 106099.169
AT ITER 2189 NEW BEST:: SOT 366180 SOS 167121 HAS SOPS 153100 HAS SOUS 118898 HAS SOUPS 105884 WITH SCORE 106051.121
AT ITER 2195 NEW BEST:: SOT 366133 SOS 166980 HAS SOPS 152959 HAS SOUS 118851 HAS SOUPS 105837 WITH SCORE 106003.98
AT ITER 2198 NEW BEST:: SOT 366152 SOS 167507 HAS SOPS 153039 HAS SOUS 119157 HAS SOUPS 105696 WITH SCORE 105863.507
AT ITER 2199 NEW BEST:: SOT 366142 SOS 167496 HAS SOPS 153028 HAS SOUS 119155 HAS SOUPS 105694 WITH SCORE 105861.496
AT ITER 2202 NEW BEST:: SOT 365976 SOS 167322 HAS SOPS 152854 HAS SOUS 119064 HAS SOUPS 105603 WITH SCORE 105770.322
AT ITER 2212 NEW BEST:: SOT 365812 SOS 166994 HAS SOPS 152657 HAS SOUS 118981 HAS SOUPS 105570 WITH SCORE 105736.994
AT ITER 2213 NEW BEST:: SOT 363231 SOS 164775 HAS SOPS 150146 HAS SOUS 117840 HAS SOUPS 104137 WITH SCORE 104301.775
AT ITER 2216 NEW BEST:: SOT 362987 SOS 164340 HAS SOPS 149810 HAS SOUS 117497 HAS SOUPS 103893 WITH SCORE 104057.34
AT ITER 2217 NEW BEST:: SOT 362903 SOS 164276 HAS SOPS 149672 HAS SOUS 117547 HAS SOUPS 103869 WITH SCORE 104033.276
AT ITER 2220 NEW BEST:: SOT 362904 SOS 164277 HAS SOPS 149673 HAS SOUS 117524 HAS SOUPS 103846 WITH SCORE 104010.277
AT ITER 2221 NEW BEST:: SOT 362865 SOS 164160 HAS SOPS 149556 HAS SOUS 117485 HAS SOUPS 103807 WITH SCORE 103971.16
AT ITER 2223 NEW BEST:: SOT 362806 SOS 163968 HAS SOPS 149364 HAS SOUS 117426 HAS SOUPS 103748 WITH SCORE 103911.968
AT ITER 2233 NEW BEST:: SOT 362766 SOS 163708 HAS SOPS 149104 HAS SOUS 117386 HAS SOUPS 103708 WITH SCORE 103871.708
AT ITER 2238 NEW BEST:: SOT 362730 SOS 163672 HAS SOPS 149068 HAS SOUS 117368 HAS SOUPS 103690 WITH SCORE 103853.672
AT ITER 2261 NEW BEST:: SOT 362783 SOS 163725 HAS SOPS 148818 HAS SOUS 117421 HAS SOUPS 103440 WITH SCORE 103603.725
AT ITER 2270 NEW BEST:: SOT 362783 SOS 163725 HAS SOPS 148818 HAS SOUS 117394 HAS SOUPS 103413 WITH SCORE 103576.725
AT ITER 2289 NEW BEST:: SOT 362771 SOS 163687 HAS SOPS 148794 HAS SOUS 117368 HAS SOUPS 103401 WITH SCORE 103564.687
AT ITER 2300 NEW BEST:: SOT 362423 SOS 163507 HAS SOPS 148446 HAS SOUS 117448 HAS SOUPS 103313 WITH SCORE 103476.507
AT ITER 2305 NEW BEST:: SOT 362377 SOS 163461 HAS SOPS 148377 HAS SOUS 117425 HAS SOUPS 103267 WITH SCORE 103430.461
AT ITER 2314 NEW BEST:: SOT 362279 SOS 163439 HAS SOPS 148279 HAS SOUS 117439 HAS SOUPS 103205 WITH SCORE 103368.439
AT ITER 2325 NEW BEST:: SOT 361947 SOS 163068 HAS SOPS 147908 HAS SOUS 117245 HAS SOUPS 103011 WITH SCORE 103174.068
AT ITER 2337 NEW BEST:: SOT 361915 SOS 162988 HAS SOPS 147860 HAS SOUS 117213 HAS SOUPS 102995 WITH SCORE 103157.988
AT ITER 2341 NEW BEST:: SOT 361842 SOS 162919 HAS SOPS 147791 HAS SOUS 117184 HAS SOUPS 102966 WITH SCORE 103128.919
AT ITER 2360 NEW BEST:: SOT 361820 SOS 162875 HAS SOPS 147747 HAS SOUS 117162 HAS SOUPS 102944 WITH SCORE 103106.875
AT ITER 2365 NEW BEST:: SOT 360099 SOS 161204 HAS SOPS 146076 HAS SOUS 117051 HAS SOUPS 102833 WITH SCORE 102994.204
AT ITER 2372 NEW BEST:: SOT 360045 SOS 161248 HAS SOPS 146120 HAS SOUS 117005 HAS SOUPS 102787 WITH SCORE 102948.248
AT ITER 2377 NEW BEST:: SOT 360289 SOS 161497 HAS SOPS 146451 HAS SOUS 116971 HAS SOUPS 102753 WITH SCORE 102914.497
AT ITER 2383 NEW BEST:: SOT 360315 SOS 161483 HAS SOPS 146330 HAS SOUS 117072 HAS SOUPS 102730 WITH SCORE 102891.483
AT ITER 2393 NEW BEST:: SOT 360171 SOS 161339 HAS SOPS 146330 HAS SOUS 116928 HAS SOUPS 102730 WITH SCORE 102891.339
AT ITER 2415 NEW BEST:: SOT 360171 SOS 157547 HAS SOPS 142538 HAS SOUS 116756 HAS SOUPS 102558 WITH SCORE 102715.547
AT ITER 2431 NEW BEST:: SOT 360079 SOS 157391 HAS SOPS 142446 HAS SOUS 116600 HAS SOUPS 102466 WITH SCORE 102623.391
AT ITER 2443 NEW BEST:: SOT 360079 SOS 157337 HAS SOPS 142446 HAS SOUS 116546 HAS SOUPS 102466 WITH SCORE 102623.337
AT ITER 2445 NEW BEST:: SOT 360045 SOS 157303 HAS SOPS 142412 HAS SOUS 116512 HAS SOUPS 102432 WITH SCORE 102589.303
AT ITER 2452 NEW BEST:: SOT 360083 SOS 157339 HAS SOPS 142448 HAS SOUS 116509 HAS SOUPS 102429 WITH SCORE 102586.339
AT ITER 2454 NEW BEST:: SOT 360107 SOS 157325 HAS SOPS 142434 HAS SOUS 116452 HAS SOUPS 102372 WITH SCORE 102529.325
AT ITER 2455 NEW BEST:: SOT 360065 SOS 157181 HAS SOPS 142350 HAS SOUS 116308 HAS SOUPS 102288 WITH SCORE 102445.181
AT ITER 2460 NEW BEST:: SOT 360097 SOS 157213 HAS SOPS 142382 HAS SOUS 116259 HAS SOUPS 102239 WITH SCORE 102396.213
AT ITER 2476 NEW BEST:: SOT 360075 SOS 157147 HAS SOPS 142316 HAS SOUS 116237 HAS SOUPS 102217 WITH SCORE 102374.147
AT ITER 2482 NEW BEST:: SOT 360075 SOS 155862 HAS SOPS 141031 HAS SOUS 116077 HAS SOUPS 102057 WITH SCORE 102212.862
AT ITER 2490 NEW BEST:: SOT 360075 SOS 155815 HAS SOPS 140984 HAS SOUS 116030 HAS SOUPS 102010 WITH SCORE 102165.815
AT ITER 2496 NEW BEST:: SOT 359995 SOS 155500 HAS SOPS 140669 HAS SOUS 115857 HAS SOUPS 101837 WITH SCORE 101992.5
AT ITER 2506 NEW BEST:: SOT 359980 SOS 155485 HAS SOPS 140639 HAS SOUS 115857 HAS SOUPS 101822 WITH SCORE 101977.485
AT ITER 2510 NEW BEST:: SOT 360100 SOS 155725 HAS SOPS 140629 HAS SOUS 116097 HAS SOUPS 101812 WITH SCORE 101967.725
AT ITER 2519 NEW BEST:: SOT 360152 SOS 155248 HAS SOPS 140193 HAS SOUS 115789 HAS SOUPS 101545 WITH SCORE 101700.248
AT ITER 2529 NEW BEST:: SOT 360195 SOS 155233 HAS SOPS 140178 HAS SOUS 115788 HAS SOUPS 101544 WITH SCORE 101699.233
AT ITER 2558 NEW BEST:: SOT 360540 SOS 155305 HAS SOPS 140328 HAS SOUS 115612 HAS SOUPS 101446 WITH SCORE 101601.305
AT ITER 2560 NEW BEST:: SOT 360535 SOS 155300 HAS SOPS 140323 HAS SOUS 115506 HAS SOUPS 101340 WITH SCORE 101495.3
AT ITER 2562 NEW BEST:: SOT 360523 SOS 155288 HAS SOPS 140311 HAS SOUS 115494 HAS SOUPS 101328 WITH SCORE 101483.288
AT ITER 2563 NEW BEST:: SOT 360523 SOS 155284 HAS SOPS 140309 HAS SOUS 115492 HAS SOUPS 101328 WITH SCORE 101483.284
AT ITER 2574 NEW BEST:: SOT 360462 SOS 155251 HAS SOPS 140203 HAS SOUS 115489 HAS SOUPS 101252 WITH SCORE 101407.251
AT ITER 2589 NEW BEST:: SOT 360463 SOS 155181 HAS SOPS 140130 HAS SOUS 115419 HAS SOUPS 101179 WITH SCORE 101334.181
AT ITER 2601 NEW BEST:: SOT 360657 SOS 155498 HAS SOPS 140189 HAS SOUS 115582 HAS SOUPS 101084 WITH SCORE 101239.498
AT ITER 2606 NEW BEST:: SOT 360600 SOS 155441 HAS SOPS 140132 HAS SOUS 115525 HAS SOUPS 101027 WITH SCORE 101182.441
AT ITER 2613 NEW BEST:: SOT 360567 SOS 155392 HAS SOPS 140050 HAS SOUS 115476 HAS SOUPS 100945 WITH SCORE 101100.392
AT ITER 2617 NEW BEST:: SOT 360529 SOS 155339 HAS SOPS 139997 HAS SOUS 115419 HAS SOUPS 100888 WITH SCORE 101043.339
AT ITER 2619 NEW BEST:: SOT 360516 SOS 155180 HAS SOPS 139838 HAS SOUS 115310 HAS SOUPS 100779 WITH SCORE 100934.18
AT ITER 2658 NEW BEST:: SOT 360376 SOS 154970 HAS SOPS 139628 HAS SOUS 115170 HAS SOUPS 100639 WITH SCORE 100793.97
AT ITER 2670 NEW BEST:: SOT 360222 SOS 154951 HAS SOPS 139609 HAS SOUS 115151 HAS SOUPS 100620 WITH SCORE 100774.951
AT ITER 2676 NEW BEST:: SOT 360185 SOS 154311 HAS SOPS 138969 HAS SOUS 114870 HAS SOUPS 100339 WITH SCORE 100493.311
AT ITER 2678 NEW BEST:: SOT 360248 SOS 154445 HAS SOPS 139017 HAS SOUS 114941 HAS SOUPS 100324 WITH SCORE 100478.445
AT ITER 2701 NEW BEST:: SOT 360084 SOS 154298 HAS SOPS 138870 HAS SOUS 114791 HAS SOUPS 100174 WITH SCORE 100328.298
AT ITER 2704 NEW BEST:: SOT 359976 SOS 154190 HAS SOPS 138762 HAS SOUS 114727 HAS SOUPS 100110 WITH SCORE 100264.19
AT ITER 2709 NEW BEST:: SOT 359948 SOS 154162 HAS SOPS 138734 HAS SOUS 114699 HAS SOUPS 100082 WITH SCORE 100236.162
AT ITER 2711 NEW BEST:: SOT 359972 SOS 154151 HAS SOPS 138723 HAS SOUS 114694 HAS SOUPS 100077 WITH SCORE 100231.151
AT ITER 2719 NEW BEST:: SOT 359957 SOS 154091 HAS SOPS 138678 HAS SOUS 114664 HAS SOUPS 100062 WITH SCORE 100216.091
AT ITER 2722 NEW BEST:: SOT 359852 SOS 153870 HAS SOPS 138457 HAS SOUS 114658 HAS SOUPS 100056 WITH SCORE 100209.87
AT ITER 2748 NEW BEST:: SOT 359843 SOS 153861 HAS SOPS 138439 HAS SOUS 114649 HAS SOUPS 100038 WITH SCORE 100191.861
AT ITER 2753 NEW BEST:: SOT 359814 SOS 153832 HAS SOPS 138410 HAS SOUS 114649 HAS SOUPS 100038 WITH SCORE 100191.832
AT ITER 2755 NEW BEST:: SOT 359843 SOS 153566 HAS SOPS 138223 HAS SOUS 114530 HAS SOUPS 99998 WITH SCORE 100151.566
AT ITER 2759 NEW BEST:: SOT 359781 SOS 153496 HAS SOPS 138153 HAS SOUS 114460 HAS SOUPS 99928 WITH SCORE 100081.496
AT ITER 2764 NEW BEST:: SOT 359707 SOS 153348 HAS SOPS 137968 HAS SOUS 114386 HAS SOUPS 99817 WITH SCORE 99970.348
AT ITER 2766 NEW BEST:: SOT 359707 SOS 153357 HAS SOPS 137977 HAS SOUS 114385 HAS SOUPS 99816 WITH SCORE 99969.357
AT ITER 2771 NEW BEST:: SOT 359707 SOS 153321 HAS SOPS 137941 HAS SOUS 114349 HAS SOUPS 99780 WITH SCORE 99933.321
AT ITER 2778 NEW BEST:: SOT 359703 SOS 153317 HAS SOPS 137937 HAS SOUS 114345 HAS SOUPS 99776 WITH SCORE 99929.317
AT ITER 2799 NEW BEST:: SOT 359692 SOS 153287 HAS SOPS 137915 HAS SOUS 114326 HAS SOUPS 99765 WITH SCORE 99918.287
AT ITER 2809 NEW BEST:: SOT 359392 SOS 152945 HAS SOPS 137573 HAS SOUS 113984 HAS SOUPS 99423 WITH SCORE 99575.945
AT ITER 2814 NEW BEST:: SOT 359312 SOS 152785 HAS SOPS 137453 HAS SOUS 113887 HAS SOUPS 99343 WITH SCORE 99495.785
AT ITER 2842 NEW BEST:: SOT 359138 SOS 152611 HAS SOPS 137279 HAS SOUS 113684 HAS SOUPS 99140 WITH SCORE 99292.611
AT ITER 2843 NEW BEST:: SOT 359088 SOS 152386 HAS SOPS 137054 HAS SOUS 113634 HAS SOUPS 99090 WITH SCORE 99242.386
AT ITER 2859 NEW BEST:: SOT 359026 SOS 152400 HAS SOPS 136991 HAS SOUS 113648 HAS SOUPS 99027 WITH SCORE 99179.4
AT ITER 2864 NEW BEST:: SOT 359057 SOS 152682 HAS SOPS 137035 HAS SOUS 113852 HAS SOUPS 98993 WITH SCORE 99145.682
AT ITER 2870 NEW BEST:: SOT 359037 SOS 152624 HAS SOPS 136956 HAS SOUS 113858 HAS SOUPS 98978 WITH SCORE 99130.624
AT ITER 2882 NEW BEST:: SOT 359010 SOS 152645 HAS SOPS 136977 HAS SOUS 113852 HAS SOUPS 98972 WITH SCORE 99124.645
AT ITER 2888 NEW BEST:: SOT 358839 SOS 152393 HAS SOPS 136646 HAS SOUS 113741 HAS SOUPS 98782 WITH SCORE 98934.393
AT ITER 2899 NEW BEST:: SOT 358821 SOS 151443 HAS SOPS 135492 HAS SOUS 113918 HAS SOUPS 98755 WITH SCORE 98906.443
AT ITER 2900 NEW BEST:: SOT 358901 SOS 151519 HAS SOPS 135568 HAS SOUS 113874 HAS SOUPS 98711 WITH SCORE 98862.519
AT ITER 2901 NEW BEST:: SOT 358865 SOS 151512 HAS SOPS 135561 HAS SOUS 113734 HAS SOUPS 98571 WITH SCORE 98722.512
AT ITER 2916 NEW BEST:: SOT 358878 SOS 151259 HAS SOPS 135308 HAS SOUS 113720 HAS SOUPS 98557 WITH SCORE 98708.259
AT ITER 2918 NEW BEST:: SOT 358815 SOS 151196 HAS SOPS 135245 HAS SOUS 113706 HAS SOUPS 98543 WITH SCORE 98694.196
AT ITER 2921 NEW BEST:: SOT 358286 SOS 150699 HAS SOPS 134748 HAS SOUS 113687 HAS SOUPS 98524 WITH SCORE 98674.699
AT ITER 2922 NEW BEST:: SOT 358176 SOS 150472 HAS SOPS 134521 HAS SOUS 113577 HAS SOUPS 98414 WITH SCORE 98564.472
AT ITER 2923 NEW BEST:: SOT 358109 SOS 150405 HAS SOPS 134387 HAS SOUS 113510 HAS SOUPS 98280 WITH SCORE 98430.405
AT ITER 2929 NEW BEST:: SOT 358109 SOS 150354 HAS SOPS 134336 HAS SOUS 113459 HAS SOUPS 98229 WITH SCORE 98379.354
AT ITER 2947 NEW BEST:: SOT 358069 SOS 150314 HAS SOPS 134296 HAS SOUS 113419 HAS SOUPS 98189 WITH SCORE 98339.314
AT ITER 2951 NEW BEST:: SOT 358046 SOS 150291 HAS SOPS 134273 HAS SOUS 113382 HAS SOUPS 98152 WITH SCORE 98302.291
AT ITER 2952 NEW BEST:: SOT 358020 SOS 150226 HAS SOPS 134221 HAS SOUS 113343 HAS SOUPS 98126 WITH SCORE 98276.226
AT ITER 2953 NEW BEST:: SOT 358017 SOS 150212 HAS SOPS 134207 HAS SOUS 113336 HAS SOUPS 98119 WITH SCORE 98269.212
AT ITER 2955 NEW BEST:: SOT 357817 SOS 144805 HAS SOPS 129000 HAS SOUS 112925 HAS SOUPS 97908 WITH SCORE 98052.805
AT ITER 2960 NEW BEST:: SOT 357888 SOS 144714 HAS SOPS 128909 HAS SOUS 112905 HAS SOUPS 97888 WITH SCORE 98032.714
AT ITER 2964 NEW BEST:: SOT 357706 SOS 144532 HAS SOPS 128727 HAS SOUS 112723 HAS SOUPS 97706 WITH SCORE 97850.532
AT ITER 2967 NEW BEST:: SOT 357610 SOS 144435 HAS SOPS 128630 HAS SOUS 112701 HAS SOUPS 97684 WITH SCORE 97828.435
AT ITER 2968 NEW BEST:: SOT 357532 SOS 144368 HAS SOPS 128563 HAS SOUS 112623 HAS SOUPS 97606 WITH SCORE 97750.368
AT ITER 2994 NEW BEST:: SOT 357532 SOS 144357 HAS SOPS 128563 HAS SOUS 112612 HAS SOUPS 97606 WITH SCORE 97750.357
AT ITER 2996 NEW BEST:: SOT 357532 SOS 144135 HAS SOPS 128341 HAS SOUS 112595 HAS SOUPS 97589 WITH SCORE 97733.135
AT ITER 3009 NEW BEST:: SOT 357488 SOS 143991 HAS SOPS 128197 HAS SOUS 112483 HAS SOUPS 97477 WITH SCORE 97620.991
AT ITER 3017 NEW BEST:: SOT 357356 SOS 143787 HAS SOPS 127993 HAS SOUS 112351 HAS SOUPS 97345 WITH SCORE 97488.787
AT ITER 3025 NEW BEST:: SOT 357315 SOS 143623 HAS SOPS 127829 HAS SOUS 112228 HAS SOUPS 97222 WITH SCORE 97365.623
AT ITER 3040 NEW BEST:: SOT 357315 SOS 143633 HAS SOPS 127839 HAS SOUS 112202 HAS SOUPS 97196 WITH SCORE 97339.633
AT ITER 3041 NEW BEST:: SOT 357307 SOS 143625 HAS SOPS 127831 HAS SOUS 112180 HAS SOUPS 97174 WITH SCORE 97317.625
AT ITER 3051 NEW BEST:: SOT 356966 SOS 143301 HAS SOPS 127399 HAS SOUS 111917 HAS SOUPS 96803 WITH SCORE 96946.301
AT ITER 3070 NEW BEST:: SOT 356898 SOS 143165 HAS SOPS 127263 HAS SOUS 111781 HAS SOUPS 96667 WITH SCORE 96810.165
AT ITER 3071 NEW BEST:: SOT 356856 SOS 143147 HAS SOPS 127245 HAS SOUS 111763 HAS SOUPS 96649 WITH SCORE 96792.147
AT ITER 3084 NEW BEST:: SOT 356843 SOS 143076 HAS SOPS 127219 HAS SOUS 111737 HAS SOUPS 96623 WITH SCORE 96766.076
AT ITER 3112 NEW BEST:: SOT 356833 SOS 143051 HAS SOPS 127194 HAS SOUS 111722 HAS SOUPS 96608 WITH SCORE 96751.051
AT ITER 3131 NEW BEST:: SOT 356755 SOS 142713 HAS SOPS 126999 HAS SOUS 111462 HAS SOUPS 96491 WITH SCORE 96633.713
AT ITER 3139 NEW BEST:: SOT 356681 SOS 142602 HAS SOPS 126888 HAS SOUS 111314 HAS SOUPS 96343 WITH SCORE 96485.602
AT ITER 3147 NEW BEST:: SOT 356675 SOS 142596 HAS SOPS 126882 HAS SOUS 111308 HAS SOUPS 96337 WITH SCORE 96479.596
AT ITER 3151 NEW BEST:: SOT 356595 SOS 142516 HAS SOPS 126802 HAS SOUS 111294 HAS SOUPS 96323 WITH SCORE 96465.516
AT ITER 3152 NEW BEST:: SOT 356332 SOS 142317 HAS SOPS 126603 HAS SOUS 111062 HAS SOUPS 96091 WITH SCORE 96233.317
AT ITER 3160 NEW BEST:: SOT 356158 SOS 142067 HAS SOPS 126353 HAS SOUS 110971 HAS SOUPS 96000 WITH SCORE 96142.067
AT ITER 3178 NEW BEST:: SOT 355967 SOS 141688 HAS SOPS 125974 HAS SOUS 110785 HAS SOUPS 95814 WITH SCORE 95955.688
AT ITER 3194 NEW BEST:: SOT 355992 SOS 141713 HAS SOPS 125842 HAS SOUS 110810 HAS SOUPS 95682 WITH SCORE 95823.713
AT ITER 3203 NEW BEST:: SOT 355947 SOS 141713 HAS SOPS 125842 HAS SOUS 110765 HAS SOUPS 95637 WITH SCORE 95778.713
AT ITER 3233 NEW BEST:: SOT 355938 SOS 141704 HAS SOPS 125833 HAS SOUS 110756 HAS SOUPS 95628 WITH SCORE 95769.704
AT ITER 3237 NEW BEST:: SOT 355905 SOS 141647 HAS SOPS 125776 HAS SOUS 110649 HAS SOUPS 95521 WITH SCORE 95662.647
AT ITER 3268 NEW BEST:: SOT 355905 SOS 141619 HAS SOPS 125762 HAS SOUS 110621 HAS SOUPS 95493 WITH SCORE 95634.619
AT ITER 3270 NEW BEST:: SOT 355746 SOS 141460 HAS SOPS 125603 HAS SOUS 110527 HAS SOUPS 95399 WITH SCORE 95540.46
AT ITER 3275 NEW BEST:: SOT 355864 SOS 141522 HAS SOPS 125665 HAS SOUS 110486 HAS SOUPS 95358 WITH SCORE 95499.522
AT ITER 3283 NEW BEST:: SOT 355822 SOS 141455 HAS SOPS 125598 HAS SOUS 110472 HAS SOUPS 95344 WITH SCORE 95485.455
AT ITER 3289 NEW BEST:: SOT 355718 SOS 141349 HAS SOPS 125492 HAS SOUS 110367 HAS SOUPS 95239 WITH SCORE 95380.349
AT ITER 3291 NEW BEST:: SOT 355652 SOS 141309 HAS SOPS 125369 HAS SOUS 110384 HAS SOUPS 95173 WITH SCORE 95314.309
AT ITER 3293 NEW BEST:: SOT 355563 SOS 141318 HAS SOPS 125260 HAS SOUS 110413 HAS SOUPS 95084 WITH SCORE 95225.318
AT ITER 3296 NEW BEST:: SOT 355515 SOS 141270 HAS SOPS 125260 HAS SOUS 110365 HAS SOUPS 95084 WITH SCORE 95225.27
AT ITER 3306 NEW BEST:: SOT 355504 SOS 141248 HAS SOPS 125249 HAS SOUS 110343 HAS SOUPS 95073 WITH SCORE 95214.248
AT ITER 3319 NEW BEST:: SOT 355502 SOS 141241 HAS SOPS 125242 HAS SOUS 110338 HAS SOUPS 95068 WITH SCORE 95209.241
AT ITER 3325 NEW BEST:: SOT 355506 SOS 141063 HAS SOPS 125191 HAS SOUS 110156 HAS SOUPS 95013 WITH SCORE 95154.063
AT ITER 3335 NEW BEST:: SOT 355492 SOS 141019 HAS SOPS 125147 HAS SOUS 110137 HAS SOUPS 94994 WITH SCORE 95135.019
AT ITER 3347 NEW BEST:: SOT 355469 SOS 140987 HAS SOPS 125115 HAS SOUS 110132 HAS SOUPS 94989 WITH SCORE 95129.987
AT ITER 3349 NEW BEST:: SOT 355436 SOS 140954 HAS SOPS 125082 HAS SOUS 110099 HAS SOUPS 94956 WITH SCORE 95096.954
AT ITER 3376 NEW BEST:: SOT 355413 SOS 140839 HAS SOPS 124990 HAS SOUS 110030 HAS SOUPS 94910 WITH SCORE 95050.839
AT ITER 3383 NEW BEST:: SOT 356194 SOS 140570 HAS SOPS 124721 HAS SOUS 110011 HAS SOUPS 94891 WITH SCORE 95031.57
AT ITER 3408 NEW BEST:: SOT 355654 SOS 140126 HAS SOPS 124277 HAS SOUS 110002 HAS SOUPS 94882 WITH SCORE 95022.126
AT ITER 3422 NEW BEST:: SOT 355654 SOS 140104 HAS SOPS 124277 HAS SOUS 109980 HAS SOUPS 94882 WITH SCORE 95022.104
AT ITER 3424 NEW BEST:: SOT 355662 SOS 139978 HAS SOPS 124151 HAS SOUS 109939 HAS SOUPS 94841 WITH SCORE 94980.978
AT ITER 3433 NEW BEST:: SOT 355356 SOS 139672 HAS SOPS 123972 HAS SOUS 109725 HAS SOUPS 94754 WITH SCORE 94893.672
AT ITER 3442 NEW BEST:: SOT 355227 SOS 139002 HAS SOPS 123423 HAS SOUS 109332 HAS SOUPS 94482 WITH SCORE 94621.002
AT ITER 3448 NEW BEST:: SOT 355227 SOS 138999 HAS SOPS 123423 HAS SOUS 109329 HAS SOUPS 94482 WITH SCORE 94620.999
AT ITER 3451 NEW BEST:: SOT 355221 SOS 139024 HAS SOPS 123448 HAS SOUS 109314 HAS SOUPS 94467 WITH SCORE 94606.024
AT ITER 3464 NEW BEST:: SOT 355216 SOS 139019 HAS SOPS 123443 HAS SOUS 109309 HAS SOUPS 94462 WITH SCORE 94601.019
AT ITER 3466 NEW BEST:: SOT 355176 SOS 138879 HAS SOPS 123303 HAS SOUS 109275 HAS SOUPS 94428 WITH SCORE 94566.879
AT ITER 3478 NEW BEST:: SOT 355176 SOS 138867 HAS SOPS 123291 HAS SOUS 109263 HAS SOUPS 94416 WITH SCORE 94554.867
AT ITER 3483 NEW BEST:: SOT 355216 SOS 138847 HAS SOPS 123291 HAS SOUS 109243 HAS SOUPS 94416 WITH SCORE 94554.847
AT ITER 3509 NEW BEST:: SOT 355212 SOS 138806 HAS SOPS 123250 HAS SOUS 109230 HAS SOUPS 94403 WITH SCORE 94541.806
AT ITER 3513 NEW BEST:: SOT 355061 SOS 138813 HAS SOPS 123072 HAS SOUS 109332 HAS SOUPS 94320 WITH SCORE 94458.813
AT ITER 3517 NEW BEST:: SOT 354998 SOS 138750 HAS SOPS 123009 HAS SOUS 109269 HAS SOUPS 94257 WITH SCORE 94395.75
AT ITER 3527 NEW BEST:: SOT 354991 SOS 138737 HAS SOPS 122921 HAS SOUS 109256 HAS SOUPS 94169 WITH SCORE 94307.737
AT ITER 3552 NEW BEST:: SOT 355054 SOS 138631 HAS SOPS 122815 HAS SOUS 109186 HAS SOUPS 94099 WITH SCORE 94237.631
AT ITER 3555 NEW BEST:: SOT 355034 SOS 138591 HAS SOPS 122795 HAS SOUS 109146 HAS SOUPS 94079 WITH SCORE 94217.591
AT ITER 3564 NEW BEST:: SOT 355028 SOS 138637 HAS SOPS 122780 HAS SOUS 109198 HAS SOUPS 94070 WITH SCORE 94208.637
AT ITER 3567 NEW BEST:: SOT 355050 SOS 138659 HAS SOPS 122687 HAS SOUS 109220 HAS SOUPS 93977 WITH SCORE 94115.659
AT ITER 3568 NEW BEST:: SOT 355076 SOS 138711 HAS SOPS 122726 HAS SOUS 109207 HAS SOUPS 93964 WITH SCORE 94102.711
AT ITER 3572 NEW BEST:: SOT 355138 SOS 138657 HAS SOPS 122533 HAS SOUS 109327 HAS SOUPS 93945 WITH SCORE 94083.657
AT ITER 3574 NEW BEST:: SOT 355064 SOS 138620 HAS SOPS 122385 HAS SOUS 109327 HAS SOUPS 93834 WITH SCORE 93972.62
AT ITER 3593 NEW BEST:: SOT 355064 SOS 138616 HAS SOPS 122385 HAS SOUS 109323 HAS SOUPS 93834 WITH SCORE 93972.616
AT ITER 3596 NEW BEST:: SOT 355018 SOS 138650 HAS SOPS 122419 HAS SOUS 109322 HAS SOUPS 93833 WITH SCORE 93971.65
AT ITER 3607 NEW BEST:: SOT 355009 SOS 138554 HAS SOPS 122323 HAS SOUS 109256 HAS SOUPS 93767 WITH SCORE 93905.554
AT ITER 3617 NEW BEST:: SOT 354961 SOS 138402 HAS SOPS 122171 HAS SOUS 109163 HAS SOUPS 93674 WITH SCORE 93812.402
AT ITER 3622 NEW BEST:: SOT 355026 SOS 138467 HAS SOPS 122125 HAS SOUS 109228 HAS SOUPS 93628 WITH SCORE 93766.467
AT ITER 3624 NEW BEST:: SOT 355006 SOS 138447 HAS SOPS 122105 HAS SOUS 109208 HAS SOUPS 93608 WITH SCORE 93746.447
AT ITER 3636 NEW BEST:: SOT 354925 SOS 138264 HAS SOPS 121922 HAS SOUS 109180 HAS SOUPS 93580 WITH SCORE 93718.264
AT ITER 3648 NEW BEST:: SOT 354965 SOS 138485 HAS SOPS 121890 HAS SOUS 109401 HAS SOUPS 93548 WITH SCORE 93686.485
AT ITER 3650 NEW BEST:: SOT 355050 SOS 138570 HAS SOPS 121975 HAS SOUS 109378 HAS SOUPS 93525 WITH SCORE 93663.57
AT ITER 3659 NEW BEST:: SOT 354922 SOS 138090 HAS SOPS 121668 HAS SOUS 108980 HAS SOUPS 93300 WITH SCORE 93438.09
AT ITER 3662 NEW BEST:: SOT 354893 SOS 138050 HAS SOPS 121628 HAS SOUS 108951 HAS SOUPS 93271 WITH SCORE 93409.05
AT ITER 3666 NEW BEST:: SOT 354771 SOS 138123 HAS SOPS 121701 HAS SOUS 108932 HAS SOUPS 93252 WITH SCORE 93390.123
AT ITER 3680 NEW BEST:: SOT 354700 SOS 137600 HAS SOPS 121178 HAS SOUS 108779 HAS SOUPS 93099 WITH SCORE 93236.6
AT ITER 3691 NEW BEST:: SOT 354698 SOS 137508 HAS SOPS 121086 HAS SOUS 108757 HAS SOUPS 93077 WITH SCORE 93214.508
AT ITER 3701 NEW BEST:: SOT 354492 SOS 137171 HAS SOPS 120749 HAS SOUS 108599 HAS SOUPS 92919 WITH SCORE 93056.171
AT ITER 3708 NEW BEST:: SOT 354448 SOS 137034 HAS SOPS 120612 HAS SOUS 108462 HAS SOUPS 92782 WITH SCORE 92919.034
AT ITER 3717 NEW BEST:: SOT 354216 SOS 136892 HAS SOPS 120330 HAS SOUS 108389 HAS SOUPS 92569 WITH SCORE 92705.892
AT ITER 3724 NEW BEST:: SOT 354216 SOS 136905 HAS SOPS 120323 HAS SOUS 108402 HAS SOUPS 92562 WITH SCORE 92698.905
AT ITER 3727 NEW BEST:: SOT 354204 SOS 136869 HAS SOPS 120287 HAS SOUS 108378 HAS SOUPS 92538 WITH SCORE 92674.869
AT ITER 3729 NEW BEST:: SOT 354204 SOS 136869 HAS SOPS 120273 HAS SOUS 108350 HAS SOUPS 92510 WITH SCORE 92646.869
AT ITER 3743 NEW BEST:: SOT 354052 SOS 136660 HAS SOPS 120064 HAS SOUS 108141 HAS SOUPS 92301 WITH SCORE 92437.66
AT ITER 3773 NEW BEST:: SOT 353926 SOS 136593 HAS SOPS 119997 HAS SOUS 108134 HAS SOUPS 92294 WITH SCORE 92430.593
AT ITER 3781 NEW BEST:: SOT 353920 SOS 136642 HAS SOPS 120046 HAS SOUS 108130 HAS SOUPS 92290 WITH SCORE 92426.642
AT ITER 3784 NEW BEST:: SOT 353668 SOS 136390 HAS SOPS 119794 HAS SOUS 108004 HAS SOUPS 92164 WITH SCORE 92300.39
AT ITER 3786 NEW BEST:: SOT 353668 SOS 136332 HAS SOPS 119736 HAS SOUS 107989 HAS SOUPS 92149 WITH SCORE 92285.332
AT ITER 3795 NEW BEST:: SOT 353574 SOS 136238 HAS SOPS 119642 HAS SOUS 107849 HAS SOUPS 92009 WITH SCORE 92145.238
AT ITER 3801 NEW BEST:: SOT 353572 SOS 136236 HAS SOPS 119640 HAS SOUS 107847 HAS SOUPS 92007 WITH SCORE 92143.236
AT ITER 3829 NEW BEST:: SOT 353570 SOS 136238 HAS SOPS 119642 HAS SOUS 107754 HAS SOUPS 91914 WITH SCORE 92050.238
AT ITER 3838 NEW BEST:: SOT 353570 SOS 136232 HAS SOPS 119636 HAS SOUS 107754 HAS SOUPS 91914 WITH SCORE 92050.232
AT ITER 3849 NEW BEST:: SOT 353680 SOS 136278 HAS SOPS 119682 HAS SOUS 107690 HAS SOUPS 91850 WITH SCORE 91986.278
AT ITER 3869 NEW BEST:: SOT 353741 SOS 136399 HAS SOPS 119742 HAS SOUS 107749 HAS SOUPS 91848 WITH SCORE 91984.399
AT ITER 3892 NEW BEST:: SOT 353728 SOS 136386 HAS SOPS 119729 HAS SOUS 107749 HAS SOUPS 91848 WITH SCORE 91984.386
AT ITER 3897 NEW BEST:: SOT 355672 SOS 138203 HAS SOPS 121546 HAS SOUS 107742 HAS SOUPS 91841 WITH SCORE 91979.203
AT ITER 3898 NEW BEST:: SOT 355662 SOS 138193 HAS SOPS 121536 HAS SOUS 107737 HAS SOUPS 91836 WITH SCORE 91974.193
AT ITER 3902 NEW BEST:: SOT 355662 SOS 138145 HAS SOPS 121488 HAS SOUS 107737 HAS SOUPS 91836 WITH SCORE 91974.145
AT ITER 3908 NEW BEST:: SOT 355709 SOS 138155 HAS SOPS 121498 HAS SOUS 107706 HAS SOUPS 91805 WITH SCORE 91943.155
AT ITER 3918 NEW BEST:: SOT 355749 SOS 137995 HAS SOPS 121338 HAS SOUS 107674 HAS SOUPS 91773 WITH SCORE 91910.995
AT ITER 3925 NEW BEST:: SOT 355695 SOS 137914 HAS SOPS 121257 HAS SOUS 107647 HAS SOUPS 91746 WITH SCORE 91883.914
AT ITER 3931 NEW BEST:: SOT 355678 SOS 137888 HAS SOPS 121231 HAS SOUS 107621 HAS SOUPS 91720 WITH SCORE 91857.888
AT ITER 3932 NEW BEST:: SOT 355572 SOS 138078 HAS SOPS 121069 HAS SOUS 107857 HAS SOUPS 91604 WITH SCORE 91742.078
AT ITER 3936 NEW BEST:: SOT 355398 SOS 137684 HAS SOPS 120675 HAS SOUS 107619 HAS SOUPS 91366 WITH SCORE 91503.684
AT ITER 3939 NEW BEST:: SOT 355418 SOS 137802 HAS SOPS 120746 HAS SOUS 107639 HAS SOUPS 91339 WITH SCORE 91476.802
AT ITER 3954 NEW BEST:: SOT 355397 SOS 137781 HAS SOPS 120725 HAS SOUS 107618 HAS SOUPS 91318 WITH SCORE 91455.781
AT ITER 3967 NEW BEST:: SOT 356186 SOS 138570 HAS SOPS 121543 HAS SOUS 107552 HAS SOUPS 91281 WITH SCORE 91419.57
AT ITER 3968 NEW BEST:: SOT 356068 SOS 138501 HAS SOPS 121419 HAS SOUS 107483 HAS SOUPS 91157 WITH SCORE 91295.501
AT ITER 3982 NEW BEST:: SOT 356044 SOS 138477 HAS SOPS 121395 HAS SOUS 107459 HAS SOUPS 91133 WITH SCORE 91271.477
AT ITER 4002 NEW BEST:: SOT 356011 SOS 138317 HAS SOPS 121235 HAS SOUS 107299 HAS SOUPS 90973 WITH SCORE 91111.317
AT ITER 4017 NEW BEST:: SOT 356010 SOS 138316 HAS SOPS 121234 HAS SOUS 107298 HAS SOUPS 90972 WITH SCORE 91110.316
AT ITER 4020 NEW BEST:: SOT 355939 SOS 138078 HAS SOPS 120996 HAS SOUS 107298 HAS SOUPS 90972 WITH SCORE 91110.078
AT ITER 4023 NEW BEST:: SOT 355605 SOS 137770 HAS SOPS 120778 HAS SOUS 107070 HAS SOUPS 90834 WITH SCORE 90971.77
AT ITER 4034 NEW BEST:: SOT 355607 SOS 137739 HAS SOPS 120728 HAS SOUS 107039 HAS SOUPS 90784 WITH SCORE 90921.739
AT ITER 4037 NEW BEST:: SOT 355584 SOS 137716 HAS SOPS 120705 HAS SOUS 107016 HAS SOUPS 90761 WITH SCORE 90898.716
AT ITER 4050 NEW BEST:: SOT 355591 SOS 137795 HAS SOPS 120961 HAS SOUS 106811 HAS SOUPS 90733 WITH SCORE 90870.795
AT ITER 4054 NEW BEST:: SOT 355585 SOS 137789 HAS SOPS 120952 HAS SOUS 106802 HAS SOUPS 90721 WITH SCORE 90858.789
AT ITER 4069 NEW BEST:: SOT 355585 SOS 137742 HAS SOPS 120905 HAS SOUS 106755 HAS SOUPS 90674 WITH SCORE 90811.742
AT ITER 4101 NEW BEST:: SOT 355638 SOS 137468 HAS SOPS 120706 HAS SOUS 106584 HAS SOUPS 90578 WITH SCORE 90715.468
AT ITER 4126 NEW BEST:: SOT 355530 SOS 137360 HAS SOPS 120490 HAS SOUS 106584 HAS SOUPS 90470 WITH SCORE 90607.36
AT ITER 4136 NEW BEST:: SOT 355514 SOS 137328 HAS SOPS 120458 HAS SOUS 106560 HAS SOUPS 90446 WITH SCORE 90583.328
AT ITER 4143 NEW BEST:: SOT 355420 SOS 137046 HAS SOPS 120223 HAS SOUS 106372 HAS SOUPS 90305 WITH SCORE 90442.046
AT ITER 4153 NEW BEST:: SOT 355316 SOS 136942 HAS SOPS 120119 HAS SOUS 106252 HAS SOUPS 90185 WITH SCORE 90321.942
AT ITER 4182 NEW BEST:: SOT 355304 SOS 136991 HAS SOPS 120168 HAS SOUS 106240 HAS SOUPS 90173 WITH SCORE 90309.991
AT ITER 4191 NEW BEST:: SOT 355223 SOS 136898 HAS SOPS 120075 HAS SOUS 106181 HAS SOUPS 90114 WITH SCORE 90250.898
AT ITER 4201 NEW BEST:: SOT 355223 SOS 136892 HAS SOPS 120069 HAS SOUS 106175 HAS SOUPS 90108 WITH SCORE 90244.892
AT ITER 4204 NEW BEST:: SOT 355212 SOS 136854 HAS SOPS 120058 HAS SOUS 106137 HAS SOUPS 90097 WITH SCORE 90233.854
AT ITER 4214 NEW BEST:: SOT 355221 SOS 136604 HAS SOPS 119917 HAS SOUS 105878 HAS SOUPS 89947 WITH SCORE 90083.604
AT ITER 4219 NEW BEST:: SOT 355535 SOS 136610 HAS SOPS 119811 HAS SOUS 105860 HAS SOUPS 89873 WITH SCORE 90009.61
AT ITER 4233 NEW BEST:: SOT 355516 SOS 136591 HAS SOPS 119773 HAS SOUS 105841 HAS SOUPS 89835 WITH SCORE 89971.591
AT ITER 4243 NEW BEST:: SOT 355380 SOS 136455 HAS SOPS 119637 HAS SOUS 105776 HAS SOUPS 89770 WITH SCORE 89906.455
AT ITER 4254 NEW BEST:: SOT 355333 SOS 136140 HAS SOPS 119322 HAS SOUS 105729 HAS SOUPS 89723 WITH SCORE 89859.14
AT ITER 4277 NEW BEST:: SOT 355333 SOS 136014 HAS SOPS 119196 HAS SOUS 105666 HAS SOUPS 89660 WITH SCORE 89796.014
AT ITER 4287 NEW BEST:: SOT 355384 SOS 136041 HAS SOPS 119223 HAS SOUS 105664 HAS SOUPS 89658 WITH SCORE 89794.041
AT ITER 4300 NEW BEST:: SOT 355350 SOS 135939 HAS SOPS 119138 HAS SOUS 105596 HAS SOUPS 89607 WITH SCORE 89742.939
AT ITER 4328 NEW BEST:: SOT 355294 SOS 135883 HAS SOPS 119026 HAS SOUS 105577 HAS SOUPS 89532 WITH SCORE 89667.883
AT ITER 4343 NEW BEST:: SOT 355111 SOS 136277 HAS SOPS 119420 HAS SOUS 105542 HAS SOUPS 89497 WITH SCORE 89633.277
AT ITER 4354 NEW BEST:: SOT 355111 SOS 136263 HAS SOPS 119406 HAS SOUS 105535 HAS SOUPS 89490 WITH SCORE 89626.263
AT ITER 4366 NEW BEST:: SOT 355035 SOS 136002 HAS SOPS 119265 HAS SOUS 105392 HAS SOUPS 89467 WITH SCORE 89603.002
AT ITER 4368 NEW BEST:: SOT 354919 SOS 135943 HAS SOPS 119108 HAS SOUS 105334 HAS SOUPS 89311 WITH SCORE 89446.943
AT ITER 4369 NEW BEST:: SOT 354862 SOS 135886 HAS SOPS 119051 HAS SOUS 105277 HAS SOUPS 89254 WITH SCORE 89389.886
AT ITER 4383 NEW BEST:: SOT 354884 SOS 135799 HAS SOPS 119030 HAS SOUS 105191 HAS SOUPS 89234 WITH SCORE 89369.799
AT ITER 4392 NEW BEST:: SOT 354806 SOS 135571 HAS SOPS 118900 HAS SOUS 105015 HAS SOUPS 89156 WITH SCORE 89291.571
AT ITER 4393 NEW BEST:: SOT 354795 SOS 135505 HAS SOPS 118834 HAS SOUS 104993 HAS SOUPS 89134 WITH SCORE 89269.505
AT ITER 4398 NEW BEST:: SOT 354779 SOS 135465 HAS SOPS 118811 HAS SOUS 104969 HAS SOUPS 89127 WITH SCORE 89262.465
AT ITER 4405 NEW BEST:: SOT 354716 SOS 135375 HAS SOPS 118700 HAS SOUS 104921 HAS SOUPS 89058 WITH SCORE 89193.375
AT ITER 4409 NEW BEST:: SOT 354258 SOS 134922 HAS SOPS 118164 HAS SOUS 104455 HAS SOUPS 88509 WITH SCORE 88643.922
AT ITER 4422 NEW BEST:: SOT 354192 SOS 134900 HAS SOPS 118142 HAS SOUS 104455 HAS SOUPS 88509 WITH SCORE 88643.9
AT ITER 4430 NEW BEST:: SOT 354142 SOS 134879 HAS SOPS 118071 HAS SOUS 104434 HAS SOUPS 88438 WITH SCORE 88572.879
AT ITER 4431 NEW BEST:: SOT 354138 SOS 134767 HAS SOPS 118023 HAS SOUS 104322 HAS SOUPS 88390 WITH SCORE 88524.767
AT ITER 4436 NEW BEST:: SOT 354106 SOS 134865 HAS SOPS 118121 HAS SOUS 104164 HAS SOUPS 88232 WITH SCORE 88366.865
AT ITER 4440 NEW BEST:: SOT 354112 SOS 134841 HAS SOPS 118097 HAS SOUS 104164 HAS SOUPS 88232 WITH SCORE 88366.841
AT ITER 4447 NEW BEST:: SOT 354088 SOS 134679 HAS SOPS 118003 HAS SOUS 104026 HAS SOUPS 88162 WITH SCORE 88296.679
AT ITER 4451 NEW BEST:: SOT 354082 SOS 134723 HAS SOPS 118044 HAS SOUS 104011 HAS SOUPS 88144 WITH SCORE 88278.723
AT ITER 4454 NEW BEST:: SOT 354082 SOS 134703 HAS SOPS 118024 HAS SOUS 104000 HAS SOUPS 88133 WITH SCORE 88267.703
AT ITER 4468 NEW BEST:: SOT 353728 SOS 134320 HAS SOPS 117567 HAS SOUS 103757 HAS SOUPS 87816 WITH SCORE 87950.32
AT ITER 4481 NEW BEST:: SOT 353728 SOS 134244 HAS SOPS 117529 HAS SOUS 103681 HAS SOUPS 87778 WITH SCORE 87912.244
AT ITER 4491 NEW BEST:: SOT 353646 SOS 134112 HAS SOPS 117331 HAS SOUS 103665 HAS SOUPS 87696 WITH SCORE 87830.112
AT ITER 4493 NEW BEST:: SOT 353640 SOS 134102 HAS SOPS 117321 HAS SOUS 103659 HAS SOUPS 87690 WITH SCORE 87824.102
AT ITER 4498 NEW BEST:: SOT 353584 SOS 134026 HAS SOPS 117245 HAS SOUS 103602 HAS SOUPS 87633 WITH SCORE 87767.026
AT ITER 4507 NEW BEST:: SOT 353482 SOS 133869 HAS SOPS 117100 HAS SOUS 103445 HAS SOUPS 87488 WITH SCORE 87621.869
AT ITER 4541 NEW BEST:: SOT 353482 SOS 133869 HAS SOPS 117100 HAS SOUS 103427 HAS SOUPS 87470 WITH SCORE 87603.869
AT ITER 4561 NEW BEST:: SOT 353466 SOS 133698 HAS SOPS 117060 HAS SOUS 103272 HAS SOUPS 87446 WITH SCORE 87579.698
AT ITER 4582 NEW BEST:: SOT 353430 SOS 133662 HAS SOPS 117024 HAS SOUS 103254 HAS SOUPS 87428 WITH SCORE 87561.662
AT ITER 4585 NEW BEST:: SOT 353370 SOS 133686 HAS SOPS 117033 HAS SOUS 103248 HAS SOUPS 87407 WITH SCORE 87540.686
AT ITER 4590 NEW BEST:: SOT 353355 SOS 133671 HAS SOPS 117005 HAS SOUS 103233 HAS SOUPS 87379 WITH SCORE 87512.671
AT ITER 4605 NEW BEST:: SOT 353349 SOS 133665 HAS SOPS 116999 HAS SOUS 103230 HAS SOUPS 87376 WITH SCORE 87509.665
AT ITER 4616 NEW BEST:: SOT 353299 SOS 133540 HAS SOPS 116899 HAS SOUS 103155 HAS SOUPS 87326 WITH SCORE 87459.54
AT ITER 4621 NEW BEST:: SOT 353294 SOS 133535 HAS SOPS 116894 HAS SOUS 103150 HAS SOUPS 87321 WITH SCORE 87454.535
AT ITER 4623 NEW BEST:: SOT 353294 SOS 133470 HAS SOPS 116829 HAS SOUS 103085 HAS SOUPS 87256 WITH SCORE 87389.47
AT ITER 4625 NEW BEST:: SOT 353452 SOS 133469 HAS SOPS 116828 HAS SOUS 103084 HAS SOUPS 87255 WITH SCORE 87388.469
AT ITER 4627 NEW BEST:: SOT 353434 SOS 133433 HAS SOPS 116792 HAS SOUS 103066 HAS SOUPS 87237 WITH SCORE 87370.433
AT ITER 4637 NEW BEST:: SOT 353424 SOS 133423 HAS SOPS 116782 HAS SOUS 103056 HAS SOUPS 87227 WITH SCORE 87360.423
AT ITER 4646 NEW BEST:: SOT 353424 SOS 133414 HAS SOPS 116773 HAS SOUS 103029 HAS SOUPS 87200 WITH SCORE 87333.414
AT ITER 4647 NEW BEST:: SOT 353406 SOS 133396 HAS SOPS 116737 HAS SOUS 103029 HAS SOUPS 87182 WITH SCORE 87315.396
AT ITER 4649 NEW BEST:: SOT 353542 SOS 133692 HAS SOPS 117056 HAS SOUS 102920 HAS SOUPS 87096 WITH SCORE 87229.692
AT ITER 4652 NEW BEST:: SOT 353385 SOS 133651 HAS SOPS 116867 HAS SOUS 102828 HAS SOUPS 86856 WITH SCORE 86989.651
AT ITER 4659 NEW BEST:: SOT 353380 SOS 133646 HAS SOPS 116862 HAS SOUS 102818 HAS SOUPS 86846 WITH SCORE 86979.646
AT ITER 4661 NEW BEST:: SOT 353349 SOS 133342 HAS SOPS 116726 HAS SOUS 102588 HAS SOUPS 86784 WITH SCORE 86917.342
AT ITER 4665 NEW BEST:: SOT 353315 SOS 133296 HAS SOPS 116631 HAS SOUS 102542 HAS SOUPS 86689 WITH SCORE 86822.296
AT ITER 4667 NEW BEST:: SOT 353200 SOS 133079 HAS SOPS 116414 HAS SOUS 102325 HAS SOUPS 86472 WITH SCORE 86605.079
AT ITER 4681 NEW BEST:: SOT 353200 SOS 133061 HAS SOPS 116396 HAS SOUS 102307 HAS SOUPS 86454 WITH SCORE 86587.061
AT ITER 4703 NEW BEST:: SOT 353204 SOS 133071 HAS SOPS 116406 HAS SOUS 102302 HAS SOUPS 86449 WITH SCORE 86582.071
AT ITER 4710 NEW BEST:: SOT 352954 SOS 132721 HAS SOPS 116056 HAS SOUS 101952 HAS SOUPS 86099 WITH SCORE 86231.721
AT ITER 4734 NEW BEST:: SOT 352939 SOS 132706 HAS SOPS 116041 HAS SOUS 101937 HAS SOUPS 86084 WITH SCORE 86216.706
AT ITER 4741 NEW BEST:: SOT 352940 SOS 132703 HAS SOPS 116038 HAS SOUS 101937 HAS SOUPS 86084 WITH SCORE 86216.703
AT ITER 4749 NEW BEST:: SOT 352856 SOS 132619 HAS SOPS 115954 HAS SOUS 101853 HAS SOUPS 86000 WITH SCORE 86132.619
AT ITER 4763 NEW BEST:: SOT 352862 SOS 132616 HAS SOPS 115951 HAS SOUS 101844 HAS SOUPS 85991 WITH SCORE 86123.616
AT ITER 4767 NEW BEST:: SOT 352862 SOS 132616 HAS SOPS 115878 HAS SOUS 101916 HAS SOUPS 85990 WITH SCORE 86122.616
AT ITER 4773 NEW BEST:: SOT 352734 SOS 132462 HAS SOPS 115724 HAS SOUS 101762 HAS SOUPS 85836 WITH SCORE 85968.462
AT ITER 4787 NEW BEST:: SOT 352734 SOS 132539 HAS SOPS 115801 HAS SOUS 101760 HAS SOUPS 85834 WITH SCORE 85966.539
AT ITER 4793 NEW BEST:: SOT 352724 SOS 132529 HAS SOPS 115781 HAS SOUS 101750 HAS SOUPS 85814 WITH SCORE 85946.529
AT ITER 4794 NEW BEST:: SOT 352674 SOS 132380 HAS SOPS 115679 HAS SOUS 101651 HAS SOUPS 85762 WITH SCORE 85894.38
AT ITER 4801 NEW BEST:: SOT 352589 SOS 132246 HAS SOPS 115545 HAS SOUS 101576 HAS SOUPS 85687 WITH SCORE 85819.246
AT ITER 4849 NEW BEST:: SOT 352561 SOS 132176 HAS SOPS 115475 HAS SOUS 101534 HAS SOUPS 85645 WITH SCORE 85777.176
AT ITER 4886 NEW BEST:: SOT 352401 SOS 131996 HAS SOPS 115334 HAS SOUS 101354 HAS SOUPS 85504 WITH SCORE 85635.996
AT ITER 4890 NEW BEST:: SOT 352157 SOS 132280 HAS SOPS 115505 HAS SOUS 101377 HAS SOUPS 85414 WITH SCORE 85546.28
AT ITER 4899 NEW BEST:: SOT 352123 SOS 132208 HAS SOPS 115433 HAS SOUS 101339 HAS SOUPS 85376 WITH SCORE 85508.208
AT ITER 4917 NEW BEST:: SOT 352117 SOS 132199 HAS SOPS 115424 HAS SOUS 101330 HAS SOUPS 85367 WITH SCORE 85499.199
AT ITER 4929 NEW BEST:: SOT 352117 SOS 132164 HAS SOPS 115389 HAS SOUS 101295 HAS SOUPS 85332 WITH SCORE 85464.164
AT ITER 4935 NEW BEST:: SOT 352100 SOS 132147 HAS SOPS 115372 HAS SOUS 101278 HAS SOUPS 85315 WITH SCORE 85447.147
AT ITER 4949 NEW BEST:: SOT 351975 SOS 132393 HAS SOPS 115393 HAS SOUS 101425 HAS SOUPS 85237 WITH SCORE 85369.393
AT ITER 4957 NEW BEST:: SOT 351975 SOS 132387 HAS SOPS 115387 HAS SOUS 101422 HAS SOUPS 85234 WITH SCORE 85366.387
AT ITER 4983 NEW BEST:: SOT 351975 SOS 132363 HAS SOPS 115363 HAS SOUS 101398 HAS SOUPS 85210 WITH SCORE 85342.363
AT ITER 4984 NEW BEST:: SOT 351961 SOS 132236 HAS SOPS 115236 HAS SOUS 101377 HAS SOUPS 85189 WITH SCORE 85321.236
AT ITER 4987 NEW BEST:: SOT 351985 SOS 131759 HAS SOPS 114759 HAS SOUS 101201 HAS SOUPS 85013 WITH SCORE 85144.759
AT ITER 4988 NEW BEST:: SOT 351907 SOS 131713 HAS SOPS 114627 HAS SOUS 101155 HAS SOUPS 84881 WITH SCORE 85012.713
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Parking-PT-832-CTLCardinality-00 (AG( ( potential( ( 1 ) <= (tk(P178)) ) | (! (! potential( (tk(P694)) <= (tk(P370)) ))) )))
PROPERTY: Parking-PT-832-CTLCardinality-01 ( (AU( potential( (tk(P602)) <= (tk(P361)) ),( potential( (tk(P574)) <= (tk(P300)) ) & potential( ( 2 ) <= (tk(P324)) ) ) )) & potential( (tk(P431)) <= (tk(P407)) ) )
PROPERTY: Parking-PT-832-CTLCardinality-02 ( (AX( (EG( potential( (tk(P422)) <= (tk(P690)) ))))) & (EG( (AF(potential( ( 3 ) <= (tk(P299)) ))))) )
PROPERTY: Parking-PT-832-CTLCardinality-03 ( ( potential( (tk(P101)) <= (tk(P357)) ) & (AF(( potential( ( 1 ) <= (tk(P333)) ) | potential( ( 1 ) <= (tk(P564)) ) ))) ) | (AX( ( potential( (tk(P575)) <= (tk(P481)) ) & ( potential( (tk(P644)) <= (tk(P464)) ) | potential( (tk(P564)) <= (tk(P600)) ) ) ))) )
PROPERTY: Parking-PT-832-CTLCardinality-04 ( (AU( ( potential( ( 2 ) <= (tk(P354)) ) | potential( (tk(P251)) <= (tk(P196)) ) ),( potential( ( 1 ) <= (tk(P538)) ) | potential( (tk(P657)) <= (tk(P355)) ) ) )) & ( (! (AG( potential( (tk(P599)) <= (tk(P74)) )))) & (AF((! potential( (tk(P527)) <= (tk(P197)) )))) ) )
PROPERTY: Parking-PT-832-CTLCardinality-05 (AG( ( (! ( potential( (tk(P630)) <= (tk(P385)) ) | potential( (tk(P52)) <= (tk(P67)) ) )) | (AF(potential( (tk(P593)) <= (tk(P436)) ))) )))
PROPERTY: Parking-PT-832-CTLCardinality-06 (! ( potential( (tk(P173)) <= (tk(P641)) ) & (AU( potential( (tk(P571)) <= (tk(P175)) ),potential( ( 1 ) <= (tk(P135)) ) )) ))
PROPERTY: Parking-PT-832-CTLCardinality-07 (AF(potential( ( 3 ) <= (tk(P562)) )))
PROPERTY: Parking-PT-832-CTLCardinality-08 (EG( (! ( ( potential( ( 3 ) <= (tk(P555)) ) & potential( ( 1 ) <= (tk(P654)) ) ) & ( potential( (tk(P48)) <= (tk(P97)) ) & potential( (tk(P664)) <= (tk(P451)) ) ) ))))
PROPERTY: Parking-PT-832-CTLCardinality-09 ( (EG( potential( (tk(P655)) <= (tk(P716)) ))) | ( (! ( ( potential( ( 3 ) <= (tk(P491)) ) | potential( (tk(P181)) <= (tk(P333)) ) ) | (! potential( ( 1 ) <= (tk(P281)) )) )) | ( ( potential( ( 2 ) <= (tk(P174)) ) & potential( (tk(P109)) <= (tk(P612)) ) ) | (AG( potential( ( 1 ) <= (tk(P582)) ))) ) ) )
PROPERTY: Parking-PT-832-CTLCardinality-10 ( potential( (tk(P514)) <= (tk(P152)) ) & (EG( potential( (tk(P229)) <= (tk(P198)) ))) )
PROPERTY: Parking-PT-832-CTLCardinality-11 (EU( ( ( potential( ( 3 ) <= (tk(P576)) ) | potential( ( 2 ) <= (tk(P578)) ) ) | ( potential( (tk(P274)) <= (tk(P585)) ) & potential( (tk(P544)) <= (tk(P618)) ) ) ),(! (! potential( ( 2 ) <= (tk(P75)) ))) ))
PROPERTY: Parking-PT-832-CTLCardinality-12 (EG( potential( (tk(P154)) <= (tk(P374)) )))
PROPERTY: Parking-PT-832-CTLCardinality-13 (EF(potential( ( 2 ) <= (tk(P336)) )))
PROPERTY: Parking-PT-832-CTLCardinality-14 (EG( ( ( ( potential( (tk(P682)) <= (tk(P257)) ) & potential( (tk(P700)) <= (tk(P123)) ) ) | (! potential( ( 2 ) <= (tk(P562)) )) ) & (AF(potential( ( 2 ) <= (tk(P9)) ))) )))
PROPERTY: Parking-PT-832-CTLCardinality-15 (AU( potential( (tk(P630)) <= (tk(P464)) ),potential( ( 3 ) <= (tk(P720)) ) ))

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Parking-PT-832, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250700547"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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