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-158961250500411.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 NoC3x3-PT-6A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500411
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 20:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 04:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 297K 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 NoC3x3-PT-6A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-6A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642361510

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6A
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: 512 places, 1117 transitions, 4279 arcs.
AT ITER 0 NEW BEST:: SOT 478346 SOS 366324 HAS SOPS 364211 HAS SOUS 253989 HAS SOUPS 252745 WITH SCORE 253111.324
AT ITER 4 NEW BEST:: SOT 478346 SOS 366358 HAS SOPS 364245 HAS SOUS 253819 HAS SOUPS 252575 WITH SCORE 252941.358
AT ITER 9 NEW BEST:: SOT 478345 SOS 366357 HAS SOPS 364244 HAS SOUS 253687 HAS SOUPS 252443 WITH SCORE 252809.357
AT ITER 12 NEW BEST:: SOT 477814 SOS 365999 HAS SOPS 363886 HAS SOUS 253198 HAS SOUPS 251954 WITH SCORE 252319.999
AT ITER 15 NEW BEST:: SOT 477814 SOS 365827 HAS SOPS 363714 HAS SOUS 253198 HAS SOUPS 251954 WITH SCORE 252319.827
AT ITER 17 NEW BEST:: SOT 477423 SOS 365470 HAS SOPS 363357 HAS SOUS 252825 HAS SOUPS 251581 WITH SCORE 251946.47
AT ITER 19 NEW BEST:: SOT 476060 SOS 363958 HAS SOPS 361845 HAS SOUS 251067 HAS SOUPS 249823 WITH SCORE 250186.958
AT ITER 21 NEW BEST:: SOT 476007 SOS 363440 HAS SOPS 361327 HAS SOUS 251014 HAS SOUPS 249770 WITH SCORE 250133.44
AT ITER 23 NEW BEST:: SOT 474672 SOS 363225 HAS SOPS 361112 HAS SOUS 250415 HAS SOUPS 249171 WITH SCORE 249534.225
AT ITER 24 NEW BEST:: SOT 474672 SOS 363279 HAS SOPS 361166 HAS SOUS 250344 HAS SOUPS 249100 WITH SCORE 249463.279
AT ITER 25 NEW BEST:: SOT 474274 SOS 362903 HAS SOPS 360790 HAS SOUS 249796 HAS SOUPS 248552 WITH SCORE 248914.903
AT ITER 27 NEW BEST:: SOT 473454 SOS 362107 HAS SOPS 359994 HAS SOUS 249000 HAS SOUPS 247756 WITH SCORE 248118.107
AT ITER 33 NEW BEST:: SOT 473018 SOS 361671 HAS SOPS 359558 HAS SOUS 248452 HAS SOUPS 247208 WITH SCORE 247569.671
AT ITER 34 NEW BEST:: SOT 473034 SOS 361687 HAS SOPS 359574 HAS SOUS 248420 HAS SOUPS 247176 WITH SCORE 247537.687
AT ITER 41 NEW BEST:: SOT 473007 SOS 361687 HAS SOPS 359574 HAS SOUS 248393 HAS SOUPS 247149 WITH SCORE 247510.687
AT ITER 42 NEW BEST:: SOT 473089 SOS 362333 HAS SOPS 360220 HAS SOUS 247883 HAS SOUPS 246639 WITH SCORE 247001.333
AT ITER 44 NEW BEST:: SOT 473053 SOS 362422 HAS SOPS 360309 HAS SOUS 247857 HAS SOUPS 246613 WITH SCORE 246975.422
AT ITER 46 NEW BEST:: SOT 473064 SOS 362573 HAS SOPS 360460 HAS SOUS 247616 HAS SOUPS 246372 WITH SCORE 246734.573
AT ITER 50 NEW BEST:: SOT 473051 SOS 362573 HAS SOPS 360460 HAS SOUS 247564 HAS SOUPS 246320 WITH SCORE 246682.573
AT ITER 51 NEW BEST:: SOT 472998 SOS 362695 HAS SOPS 360582 HAS SOUS 247463 HAS SOUPS 246219 WITH SCORE 246581.695
AT ITER 52 NEW BEST:: SOT 472995 SOS 362663 HAS SOPS 360550 HAS SOUS 247338 HAS SOUPS 246094 WITH SCORE 246456.663
AT ITER 53 NEW BEST:: SOT 469097 SOS 359282 HAS SOPS 357169 HAS SOUS 242515 HAS SOUPS 241271 WITH SCORE 241630.282
AT ITER 56 NEW BEST:: SOT 469022 SOS 359116 HAS SOPS 357003 HAS SOUS 242437 HAS SOUPS 241193 WITH SCORE 241552.116
AT ITER 59 NEW BEST:: SOT 469152 SOS 359294 HAS SOPS 357286 HAS SOUS 242201 HAS SOUPS 241032 WITH SCORE 241391.294
AT ITER 60 NEW BEST:: SOT 469136 SOS 359294 HAS SOPS 357286 HAS SOUS 242153 HAS SOUPS 240984 WITH SCORE 241343.294
AT ITER 74 NEW BEST:: SOT 469102 SOS 359226 HAS SOPS 357218 HAS SOUS 242051 HAS SOUPS 240882 WITH SCORE 241241.226
AT ITER 77 NEW BEST:: SOT 469107 SOS 359231 HAS SOPS 357223 HAS SOUS 241824 HAS SOUPS 240655 WITH SCORE 241014.231
AT ITER 79 NEW BEST:: SOT 468890 SOS 359014 HAS SOPS 357006 HAS SOUS 241607 HAS SOUPS 240438 WITH SCORE 240797.014
AT ITER 81 NEW BEST:: SOT 467307 SOS 357488 HAS SOPS 355480 HAS SOUS 240074 HAS SOUPS 238905 WITH SCORE 239262.488
AT ITER 83 NEW BEST:: SOT 467289 SOS 357470 HAS SOPS 355462 HAS SOUS 240038 HAS SOUPS 238869 WITH SCORE 239226.47
AT ITER 84 NEW BEST:: SOT 467206 SOS 356895 HAS SOPS 354887 HAS SOUS 239792 HAS SOUPS 238623 WITH SCORE 238979.895
AT ITER 87 NEW BEST:: SOT 465699 SOS 355705 HAS SOPS 353697 HAS SOUS 238420 HAS SOUPS 237251 WITH SCORE 237606.705
AT ITER 90 NEW BEST:: SOT 464042 SOS 353713 HAS SOPS 351705 HAS SOUS 236645 HAS SOUPS 235476 WITH SCORE 235829.713
AT ITER 91 NEW BEST:: SOT 460035 SOS 350122 HAS SOPS 348114 HAS SOUS 232850 HAS SOUPS 231681 WITH SCORE 232031.122
AT ITER 95 NEW BEST:: SOT 460035 SOS 349985 HAS SOPS 347977 HAS SOUS 232848 HAS SOUPS 231679 WITH SCORE 232028.985
AT ITER 97 NEW BEST:: SOT 458995 SOS 349012 HAS SOPS 347004 HAS SOUS 231484 HAS SOUPS 230315 WITH SCORE 230664.012
AT ITER 99 NEW BEST:: SOT 458709 SOS 348858 HAS SOPS 346850 HAS SOUS 230352 HAS SOUPS 229183 WITH SCORE 229531.858
AT ITER 101 NEW BEST:: SOT 458728 SOS 348457 HAS SOPS 346449 HAS SOUS 230337 HAS SOUPS 229168 WITH SCORE 229516.457
AT ITER 104 NEW BEST:: SOT 458556 SOS 348430 HAS SOPS 346422 HAS SOUS 230166 HAS SOUPS 228997 WITH SCORE 229345.43
AT ITER 105 NEW BEST:: SOT 458572 SOS 348684 HAS SOPS 346676 HAS SOUS 229738 HAS SOUPS 228569 WITH SCORE 228917.684
AT ITER 107 NEW BEST:: SOT 458906 SOS 348053 HAS SOPS 346082 HAS SOUS 229064 HAS SOUPS 227922 WITH SCORE 228270.053
AT ITER 112 NEW BEST:: SOT 457578 SOS 346809 HAS SOPS 344838 HAS SOUS 227676 HAS SOUPS 226534 WITH SCORE 226880.809
AT ITER 113 NEW BEST:: SOT 456774 SOS 346196 HAS SOPS 344225 HAS SOUS 227214 HAS SOUPS 226072 WITH SCORE 226418.196
AT ITER 114 NEW BEST:: SOT 456774 SOS 345626 HAS SOPS 343655 HAS SOUS 227161 HAS SOUPS 226019 WITH SCORE 226364.626
AT ITER 115 NEW BEST:: SOT 456667 SOS 345655 HAS SOPS 343362 HAS SOUS 226893 HAS SOUPS 225528 WITH SCORE 225873.655
AT ITER 116 NEW BEST:: SOT 456615 SOS 345653 HAS SOPS 343360 HAS SOUS 226837 HAS SOUPS 225472 WITH SCORE 225817.653
AT ITER 120 NEW BEST:: SOT 454468 SOS 345069 HAS SOPS 342776 HAS SOUS 225295 HAS SOUPS 223930 WITH SCORE 224275.069
AT ITER 122 NEW BEST:: SOT 454467 SOS 345068 HAS SOPS 342775 HAS SOUS 225232 HAS SOUPS 223867 WITH SCORE 224212.068
AT ITER 123 NEW BEST:: SOT 453852 SOS 344944 HAS SOPS 342651 HAS SOUS 224421 HAS SOUPS 223056 WITH SCORE 223400.944
AT ITER 127 NEW BEST:: SOT 452726 SOS 344193 HAS SOPS 341900 HAS SOUS 223768 HAS SOUPS 222403 WITH SCORE 222747.193
AT ITER 128 NEW BEST:: SOT 448028 SOS 339495 HAS SOPS 337202 HAS SOUS 219068 HAS SOUPS 217703 WITH SCORE 218042.495
AT ITER 131 NEW BEST:: SOT 447752 SOS 339219 HAS SOPS 336926 HAS SOUS 218240 HAS SOUPS 216875 WITH SCORE 217214.219
AT ITER 133 NEW BEST:: SOT 447692 SOS 339099 HAS SOPS 336806 HAS SOUS 218116 HAS SOUPS 216751 WITH SCORE 217090.099
AT ITER 138 NEW BEST:: SOT 447681 SOS 338999 HAS SOPS 336649 HAS SOUS 218000 HAS SOUPS 216629 WITH SCORE 216967.999
AT ITER 140 NEW BEST:: SOT 444883 SOS 336201 HAS SOPS 333851 HAS SOUS 215202 HAS SOUPS 213831 WITH SCORE 214167.201
AT ITER 143 NEW BEST:: SOT 443454 SOS 336031 HAS SOPS 333681 HAS SOUS 214090 HAS SOUPS 212719 WITH SCORE 213055.031
AT ITER 144 NEW BEST:: SOT 442814 SOS 335301 HAS SOPS 332951 HAS SOUS 213453 HAS SOUPS 212082 WITH SCORE 212417.301
AT ITER 148 NEW BEST:: SOT 442649 SOS 335136 HAS SOPS 332786 HAS SOUS 213358 HAS SOUPS 211987 WITH SCORE 212322.136
AT ITER 150 NEW BEST:: SOT 442173 SOS 334660 HAS SOPS 332310 HAS SOUS 212550 HAS SOUPS 211179 WITH SCORE 211513.66
AT ITER 159 NEW BEST:: SOT 442169 SOS 334652 HAS SOPS 332302 HAS SOUS 212538 HAS SOUPS 211167 WITH SCORE 211501.652
AT ITER 167 NEW BEST:: SOT 441621 SOS 334104 HAS SOPS 331754 HAS SOUS 211976 HAS SOUPS 210605 WITH SCORE 210939.104
AT ITER 168 NEW BEST:: SOT 441458 SOS 333941 HAS SOPS 331591 HAS SOUS 211811 HAS SOUPS 210440 WITH SCORE 210773.941
AT ITER 170 NEW BEST:: SOT 441349 SOS 333791 HAS SOPS 331441 HAS SOUS 211518 HAS SOUPS 210147 WITH SCORE 210480.791
AT ITER 171 NEW BEST:: SOT 440390 SOS 333101 HAS SOPS 330764 HAS SOUS 210421 HAS SOUPS 209063 WITH SCORE 209396.101
AT ITER 179 NEW BEST:: SOT 440268 SOS 332941 HAS SOPS 330604 HAS SOUS 210006 HAS SOUPS 208648 WITH SCORE 208980.941
AT ITER 180 NEW BEST:: SOT 439802 SOS 332475 HAS SOPS 330138 HAS SOUS 209579 HAS SOUPS 208221 WITH SCORE 208553.475
AT ITER 184 NEW BEST:: SOT 439838 SOS 332494 HAS SOPS 330157 HAS SOUS 209563 HAS SOUPS 208205 WITH SCORE 208537.494
AT ITER 188 NEW BEST:: SOT 439655 SOS 332622 HAS SOPS 330285 HAS SOUS 209516 HAS SOUPS 208158 WITH SCORE 208490.622
AT ITER 190 NEW BEST:: SOT 439647 SOS 332614 HAS SOPS 330277 HAS SOUS 209478 HAS SOUPS 208120 WITH SCORE 208452.614
AT ITER 191 NEW BEST:: SOT 439600 SOS 332410 HAS SOPS 330073 HAS SOUS 209126 HAS SOUPS 207768 WITH SCORE 208100.41
AT ITER 192 NEW BEST:: SOT 439598 SOS 332408 HAS SOPS 330071 HAS SOUS 209122 HAS SOUPS 207764 WITH SCORE 208096.408
AT ITER 195 NEW BEST:: SOT 437683 SOS 330623 HAS SOPS 328286 HAS SOUS 206946 HAS SOUPS 205588 WITH SCORE 205918.623
AT ITER 197 NEW BEST:: SOT 437586 SOS 330526 HAS SOPS 328189 HAS SOUS 206937 HAS SOUPS 205579 WITH SCORE 205909.526
AT ITER 198 NEW BEST:: SOT 437582 SOS 330544 HAS SOPS 327906 HAS SOUS 206758 HAS SOUPS 205226 WITH SCORE 205556.544
AT ITER 202 NEW BEST:: SOT 435041 SOS 328121 HAS SOPS 325483 HAS SOUS 204247 HAS SOUPS 202715 WITH SCORE 203043.121
AT ITER 205 NEW BEST:: SOT 435017 SOS 328097 HAS SOPS 325459 HAS SOUS 204194 HAS SOUPS 202662 WITH SCORE 202990.097
AT ITER 210 NEW BEST:: SOT 435011 SOS 328091 HAS SOPS 325453 HAS SOUS 204192 HAS SOUPS 202660 WITH SCORE 202988.091
AT ITER 212 NEW BEST:: SOT 434849 SOS 328727 HAS SOPS 326089 HAS SOUS 203769 HAS SOUPS 202237 WITH SCORE 202565.727
AT ITER 214 NEW BEST:: SOT 435017 SOS 328498 HAS SOPS 325860 HAS SOUS 203626 HAS SOUPS 202094 WITH SCORE 202422.498
AT ITER 224 NEW BEST:: SOT 434709 SOS 328190 HAS SOPS 325552 HAS SOUS 203340 HAS SOUPS 201808 WITH SCORE 202136.19
AT ITER 226 NEW BEST:: SOT 433858 SOS 327400 HAS SOPS 324762 HAS SOUS 202507 HAS SOUPS 200975 WITH SCORE 201302.4
AT ITER 228 NEW BEST:: SOT 433691 SOS 327127 HAS SOPS 324489 HAS SOUS 202340 HAS SOUPS 200808 WITH SCORE 201135.127
AT ITER 231 NEW BEST:: SOT 433527 SOS 326963 HAS SOPS 324325 HAS SOUS 201592 HAS SOUPS 200060 WITH SCORE 200386.963
AT ITER 233 NEW BEST:: SOT 433515 SOS 326945 HAS SOPS 324307 HAS SOUS 201573 HAS SOUPS 200041 WITH SCORE 200367.945
AT ITER 237 NEW BEST:: SOT 433446 SOS 326807 HAS SOPS 324199 HAS SOUS 201481 HAS SOUPS 199979 WITH SCORE 200305.807
AT ITER 238 NEW BEST:: SOT 434348 SOS 327242 HAS SOPS 324649 HAS SOUS 200665 HAS SOUPS 199178 WITH SCORE 199505.242
AT ITER 242 NEW BEST:: SOT 434325 SOS 327242 HAS SOPS 324649 HAS SOUS 200664 HAS SOUPS 199177 WITH SCORE 199504.242
AT ITER 243 NEW BEST:: SOT 434040 SOS 326937 HAS SOPS 324344 HAS SOUS 200247 HAS SOUPS 198760 WITH SCORE 199086.937
AT ITER 246 NEW BEST:: SOT 434040 SOS 327120 HAS SOPS 324527 HAS SOUS 200229 HAS SOUPS 198742 WITH SCORE 199069.12
AT ITER 247 NEW BEST:: SOT 433990 SOS 327045 HAS SOPS 324452 HAS SOUS 200229 HAS SOUPS 198742 WITH SCORE 199069.045
AT ITER 248 NEW BEST:: SOT 434045 SOS 326708 HAS SOPS 324115 HAS SOUS 200141 HAS SOUPS 198654 WITH SCORE 198980.708
AT ITER 251 NEW BEST:: SOT 433894 SOS 326557 HAS SOPS 323964 HAS SOUS 200018 HAS SOUPS 198531 WITH SCORE 198857.557
AT ITER 253 NEW BEST:: SOT 433647 SOS 326176 HAS SOPS 323583 HAS SOUS 199634 HAS SOUPS 198147 WITH SCORE 198473.176
AT ITER 255 NEW BEST:: SOT 433407 SOS 325834 HAS SOPS 323241 HAS SOUS 199292 HAS SOUPS 197805 WITH SCORE 198130.834
AT ITER 262 NEW BEST:: SOT 433075 SOS 325502 HAS SOPS 322909 HAS SOUS 198960 HAS SOUPS 197473 WITH SCORE 197798.502
AT ITER 265 NEW BEST:: SOT 432967 SOS 325392 HAS SOPS 322799 HAS SOUS 198959 HAS SOUPS 197472 WITH SCORE 197797.392
AT ITER 272 NEW BEST:: SOT 433063 SOS 324278 HAS SOPS 321940 HAS SOUS 198863 HAS SOUPS 197463 WITH SCORE 197787.278
AT ITER 274 NEW BEST:: SOT 432543 SOS 324114 HAS SOPS 321776 HAS SOUS 198822 HAS SOUPS 197422 WITH SCORE 197746.114
AT ITER 279 NEW BEST:: SOT 432810 SOS 324771 HAS SOPS 322433 HAS SOUS 198787 HAS SOUPS 197387 WITH SCORE 197711.771
AT ITER 280 NEW BEST:: SOT 426726 SOS 318686 HAS SOPS 316348 HAS SOUS 192397 HAS SOUPS 190997 WITH SCORE 191315.686
AT ITER 286 NEW BEST:: SOT 426699 SOS 318626 HAS SOPS 316288 HAS SOUS 192337 HAS SOUPS 190937 WITH SCORE 191255.626
AT ITER 288 NEW BEST:: SOT 426009 SOS 317888 HAS SOPS 315557 HAS SOUS 191329 HAS SOUPS 189929 WITH SCORE 190246.888
AT ITER 291 NEW BEST:: SOT 425706 SOS 317484 HAS SOPS 315153 HAS SOUS 191124 HAS SOUPS 189724 WITH SCORE 190041.484
AT ITER 292 NEW BEST:: SOT 425121 SOS 316704 HAS SOPS 314373 HAS SOUS 190620 HAS SOUPS 189220 WITH SCORE 189536.704
AT ITER 293 NEW BEST:: SOT 425245 SOS 316902 HAS SOPS 314571 HAS SOUS 190526 HAS SOUPS 189126 WITH SCORE 189442.902
AT ITER 298 NEW BEST:: SOT 423001 SOS 315519 HAS SOPS 313188 HAS SOUS 188855 HAS SOUPS 187455 WITH SCORE 187770.519
AT ITER 299 NEW BEST:: SOT 422885 SOS 315403 HAS SOPS 313072 HAS SOUS 188737 HAS SOUPS 187337 WITH SCORE 187652.403
AT ITER 300 NEW BEST:: SOT 422885 SOS 315403 HAS SOPS 313072 HAS SOUS 188515 HAS SOUPS 187115 WITH SCORE 187430.403
AT ITER 301 NEW BEST:: SOT 422868 SOS 315301 HAS SOPS 312970 HAS SOUS 188446 HAS SOUPS 187046 WITH SCORE 187361.301
AT ITER 302 NEW BEST:: SOT 422854 SOS 315280 HAS SOPS 312949 HAS SOUS 188411 HAS SOUPS 187011 WITH SCORE 187326.28
AT ITER 309 NEW BEST:: SOT 422854 SOS 315367 HAS SOPS 313036 HAS SOUS 188324 HAS SOUPS 186924 WITH SCORE 187239.367
AT ITER 318 NEW BEST:: SOT 423285 SOS 315732 HAS SOPS 313401 HAS SOUS 187751 HAS SOUPS 186351 WITH SCORE 186666.732
AT ITER 328 NEW BEST:: SOT 422782 SOS 315229 HAS SOPS 312898 HAS SOUS 187212 HAS SOUPS 185812 WITH SCORE 186127.229
AT ITER 334 NEW BEST:: SOT 422674 SOS 315218 HAS SOPS 312887 HAS SOUS 186643 HAS SOUPS 185243 WITH SCORE 185558.218
AT ITER 338 NEW BEST:: SOT 423031 SOS 315601 HAS SOPS 313306 HAS SOUS 186458 HAS SOUPS 185094 WITH SCORE 185409.601
AT ITER 344 NEW BEST:: SOT 422823 SOS 315393 HAS SOPS 313098 HAS SOUS 186250 HAS SOUPS 184886 WITH SCORE 185201.393
AT ITER 346 NEW BEST:: SOT 420526 SOS 313417 HAS SOPS 311122 HAS SOUS 184155 HAS SOUPS 182791 WITH SCORE 183104.417
AT ITER 351 NEW BEST:: SOT 419741 SOS 312694 HAS SOPS 310399 HAS SOUS 183130 HAS SOUPS 181766 WITH SCORE 182078.694
AT ITER 354 NEW BEST:: SOT 419525 SOS 312478 HAS SOPS 310183 HAS SOUS 182652 HAS SOUPS 181288 WITH SCORE 181600.478
AT ITER 358 NEW BEST:: SOT 419573 SOS 312461 HAS SOPS 310166 HAS SOUS 182630 HAS SOUPS 181266 WITH SCORE 181578.461
AT ITER 359 NEW BEST:: SOT 418921 SOS 312144 HAS SOPS 309849 HAS SOUS 182186 HAS SOUPS 180822 WITH SCORE 181134.144
AT ITER 360 NEW BEST:: SOT 418921 SOS 312182 HAS SOPS 309887 HAS SOUS 181926 HAS SOUPS 180562 WITH SCORE 180874.182
AT ITER 361 NEW BEST:: SOT 416354 SOS 310126 HAS SOPS 307831 HAS SOUS 179756 HAS SOUPS 178392 WITH SCORE 178702.126
AT ITER 364 NEW BEST:: SOT 416350 SOS 310124 HAS SOPS 307829 HAS SOUS 179750 HAS SOUPS 178386 WITH SCORE 178696.124
AT ITER 365 NEW BEST:: SOT 415664 SOS 309438 HAS SOPS 307143 HAS SOUS 179066 HAS SOUPS 177702 WITH SCORE 178011.438
AT ITER 377 NEW BEST:: SOT 415659 SOS 309359 HAS SOPS 307064 HAS SOUS 179061 HAS SOUPS 177697 WITH SCORE 178006.359
AT ITER 379 NEW BEST:: SOT 415659 SOS 309374 HAS SOPS 307079 HAS SOUS 179058 HAS SOUPS 177694 WITH SCORE 178003.374
AT ITER 384 NEW BEST:: SOT 414795 SOS 309059 HAS SOPS 306764 HAS SOUS 178695 HAS SOUPS 177331 WITH SCORE 177640.059
AT ITER 386 NEW BEST:: SOT 414779 SOS 309043 HAS SOPS 306748 HAS SOUS 178605 HAS SOUPS 177241 WITH SCORE 177550.043
AT ITER 387 NEW BEST:: SOT 414749 SOS 309013 HAS SOPS 306688 HAS SOUS 178605 HAS SOUPS 177211 WITH SCORE 177520.013
AT ITER 389 NEW BEST:: SOT 414344 SOS 308442 HAS SOPS 306117 HAS SOUS 178304 HAS SOUPS 176910 WITH SCORE 177218.442
AT ITER 392 NEW BEST:: SOT 414317 SOS 308415 HAS SOPS 306090 HAS SOUS 178196 HAS SOUPS 176802 WITH SCORE 177110.415
AT ITER 394 NEW BEST:: SOT 413702 SOS 305673 HAS SOPS 303348 HAS SOUS 178078 HAS SOUPS 176684 WITH SCORE 176989.673
AT ITER 400 NEW BEST:: SOT 410337 SOS 302511 HAS SOPS 300290 HAS SOUS 174750 HAS SOUPS 173356 WITH SCORE 173658.511
AT ITER 402 NEW BEST:: SOT 410249 SOS 302423 HAS SOPS 300202 HAS SOUS 174750 HAS SOUPS 173356 WITH SCORE 173658.423
AT ITER 405 NEW BEST:: SOT 410241 SOS 302415 HAS SOPS 300194 HAS SOUS 174742 HAS SOUPS 173348 WITH SCORE 173650.415
AT ITER 417 NEW BEST:: SOT 410109 SOS 302283 HAS SOPS 300062 HAS SOUS 174742 HAS SOUPS 173348 WITH SCORE 173650.283
AT ITER 418 NEW BEST:: SOT 408710 SOS 300838 HAS SOPS 298617 HAS SOUS 173297 HAS SOUPS 171903 WITH SCORE 172203.838
AT ITER 421 NEW BEST:: SOT 406413 SOS 299632 HAS SOPS 297411 HAS SOUS 172010 HAS SOUPS 170616 WITH SCORE 170915.632
AT ITER 422 NEW BEST:: SOT 404944 SOS 299021 HAS SOPS 296800 HAS SOUS 171198 HAS SOUPS 169804 WITH SCORE 170103.021
AT ITER 431 NEW BEST:: SOT 404560 SOS 298708 HAS SOPS 296487 HAS SOUS 171157 HAS SOUPS 169763 WITH SCORE 170061.708
AT ITER 433 NEW BEST:: SOT 404073 SOS 298221 HAS SOPS 296000 HAS SOUS 170834 HAS SOUPS 169440 WITH SCORE 169738.221
AT ITER 435 NEW BEST:: SOT 403837 SOS 296982 HAS SOPS 294761 HAS SOUS 170771 HAS SOUPS 169377 WITH SCORE 169673.982
AT ITER 447 NEW BEST:: SOT 404124 SOS 296963 HAS SOPS 294285 HAS SOUS 170668 HAS SOUPS 169105 WITH SCORE 169401.963
AT ITER 452 NEW BEST:: SOT 404094 SOS 296943 HAS SOPS 294265 HAS SOUS 170648 HAS SOUPS 169085 WITH SCORE 169381.943
AT ITER 453 NEW BEST:: SOT 403600 SOS 296332 HAS SOPS 293654 HAS SOUS 170245 HAS SOUPS 168682 WITH SCORE 168978.332
AT ITER 460 NEW BEST:: SOT 403558 SOS 296276 HAS SOPS 293598 HAS SOUS 170188 HAS SOUPS 168625 WITH SCORE 168921.276
AT ITER 461 NEW BEST:: SOT 403555 SOS 296251 HAS SOPS 293589 HAS SOUS 170162 HAS SOUPS 168599 WITH SCORE 168895.251
AT ITER 468 NEW BEST:: SOT 403555 SOS 296248 HAS SOPS 293586 HAS SOUS 170162 HAS SOUPS 168599 WITH SCORE 168895.248
AT ITER 475 NEW BEST:: SOT 403519 SOS 296221 HAS SOPS 293559 HAS SOUS 170135 HAS SOUPS 168572 WITH SCORE 168868.221
AT ITER 479 NEW BEST:: SOT 403519 SOS 296481 HAS SOPS 293819 HAS SOUS 169928 HAS SOUPS 168365 WITH SCORE 168661.481
AT ITER 482 NEW BEST:: SOT 403517 SOS 296491 HAS SOPS 293829 HAS SOUS 169924 HAS SOUPS 168361 WITH SCORE 168657.491
AT ITER 484 NEW BEST:: SOT 403182 SOS 296063 HAS SOPS 293401 HAS SOUS 169842 HAS SOUPS 168279 WITH SCORE 168575.063
AT ITER 485 NEW BEST:: SOT 403333 SOS 296262 HAS SOPS 293600 HAS SOUS 169601 HAS SOUPS 168038 WITH SCORE 168334.262
AT ITER 486 NEW BEST:: SOT 403232 SOS 295648 HAS SOPS 292986 HAS SOUS 169542 HAS SOUPS 167979 WITH SCORE 168274.648
AT ITER 489 NEW BEST:: SOT 402681 SOS 295195 HAS SOPS 292533 HAS SOUS 168515 HAS SOUPS 166952 WITH SCORE 167247.195
AT ITER 490 NEW BEST:: SOT 402681 SOS 294791 HAS SOPS 292291 HAS SOUS 168430 HAS SOUPS 166921 WITH SCORE 167215.791
AT ITER 494 NEW BEST:: SOT 402087 SOS 294197 HAS SOPS 291697 HAS SOUS 168309 HAS SOUPS 166800 WITH SCORE 167094.197
AT ITER 495 NEW BEST:: SOT 402097 SOS 294206 HAS SOPS 291706 HAS SOUS 168109 HAS SOUPS 166600 WITH SCORE 166894.206
AT ITER 496 NEW BEST:: SOT 402040 SOS 294149 HAS SOPS 291649 HAS SOUS 168106 HAS SOUPS 166597 WITH SCORE 166891.149
AT ITER 497 NEW BEST:: SOT 401746 SOS 293925 HAS SOPS 291425 HAS SOUS 167400 HAS SOUPS 165891 WITH SCORE 166184.925
AT ITER 502 NEW BEST:: SOT 401793 SOS 293972 HAS SOPS 291425 HAS SOUS 167259 HAS SOUPS 165750 WITH SCORE 166043.972
AT ITER 504 NEW BEST:: SOT 401956 SOS 294194 HAS SOPS 291647 HAS SOUS 167218 HAS SOUPS 165709 WITH SCORE 166003.194
AT ITER 509 NEW BEST:: SOT 401968 SOS 294218 HAS SOPS 291613 HAS SOUS 167234 HAS SOUPS 165681 WITH SCORE 165975.218
AT ITER 510 NEW BEST:: SOT 401946 SOS 294178 HAS SOPS 291573 HAS SOUS 167190 HAS SOUPS 165637 WITH SCORE 165931.178
AT ITER 511 NEW BEST:: SOT 401908 SOS 294020 HAS SOPS 291415 HAS SOUS 167064 HAS SOUPS 165511 WITH SCORE 165805.02
AT ITER 519 NEW BEST:: SOT 401908 SOS 293964 HAS SOPS 291359 HAS SOUS 167064 HAS SOUPS 165511 WITH SCORE 165804.964
AT ITER 521 NEW BEST:: SOT 401908 SOS 293807 HAS SOPS 291202 HAS SOUS 167062 HAS SOUPS 165509 WITH SCORE 165802.807
AT ITER 533 NEW BEST:: SOT 401744 SOS 293643 HAS SOPS 291038 HAS SOUS 166898 HAS SOUPS 165345 WITH SCORE 165638.643
AT ITER 540 NEW BEST:: SOT 401438 SOS 293215 HAS SOPS 290610 HAS SOUS 166348 HAS SOUPS 164795 WITH SCORE 165088.215
AT ITER 543 NEW BEST:: SOT 401030 SOS 292807 HAS SOPS 290202 HAS SOUS 165880 HAS SOUPS 164327 WITH SCORE 164619.807
AT ITER 545 NEW BEST:: SOT 401014 SOS 292791 HAS SOPS 290186 HAS SOUS 165851 HAS SOUPS 164298 WITH SCORE 164590.791
AT ITER 551 NEW BEST:: SOT 399004 SOS 291280 HAS SOPS 288675 HAS SOUS 163665 HAS SOUPS 162112 WITH SCORE 162403.28
AT ITER 552 NEW BEST:: SOT 398943 SOS 290914 HAS SOPS 288309 HAS SOUS 163663 HAS SOUPS 162110 WITH SCORE 162400.914
AT ITER 556 NEW BEST:: SOT 398843 SOS 291004 HAS SOPS 288399 HAS SOUS 163255 HAS SOUPS 161702 WITH SCORE 161993.004
AT ITER 560 NEW BEST:: SOT 398807 SOS 290966 HAS SOPS 288361 HAS SOUS 163255 HAS SOUPS 161702 WITH SCORE 161992.966
AT ITER 561 NEW BEST:: SOT 398807 SOS 290990 HAS SOPS 288385 HAS SOUS 163249 HAS SOUPS 161696 WITH SCORE 161986.99
AT ITER 562 NEW BEST:: SOT 398807 SOS 290990 HAS SOPS 288385 HAS SOUS 163176 HAS SOUPS 161623 WITH SCORE 161913.99
AT ITER 568 NEW BEST:: SOT 398666 SOS 290819 HAS SOPS 288178 HAS SOUS 163014 HAS SOUPS 161425 WITH SCORE 161715.819
AT ITER 570 NEW BEST:: SOT 398608 SOS 290721 HAS SOPS 288080 HAS SOUS 163011 HAS SOUPS 161422 WITH SCORE 161712.721
AT ITER 571 NEW BEST:: SOT 398534 SOS 290647 HAS SOPS 287969 HAS SOUS 162937 HAS SOUPS 161311 WITH SCORE 161601.647
AT ITER 585 NEW BEST:: SOT 398534 SOS 290668 HAS SOPS 287957 HAS SOUS 162969 HAS SOUPS 161310 WITH SCORE 161600.668
AT ITER 587 NEW BEST:: SOT 398729 SOS 290656 HAS SOPS 287753 HAS SOUS 162803 HAS SOUPS 161080 WITH SCORE 161370.656
AT ITER 596 NEW BEST:: SOT 398729 SOS 290656 HAS SOPS 287753 HAS SOUS 162677 HAS SOUPS 160954 WITH SCORE 161244.656
AT ITER 605 NEW BEST:: SOT 398487 SOS 290414 HAS SOPS 287511 HAS SOUS 162633 HAS SOUPS 160910 WITH SCORE 161200.414
AT ITER 613 NEW BEST:: SOT 398527 SOS 290481 HAS SOPS 287578 HAS SOUS 162585 HAS SOUPS 160862 WITH SCORE 161152.481
AT ITER 617 NEW BEST:: SOT 398333 SOS 290287 HAS SOPS 287384 HAS SOUS 162449 HAS SOUPS 160726 WITH SCORE 161016.287
AT ITER 620 NEW BEST:: SOT 398333 SOS 290317 HAS SOPS 287414 HAS SOUS 162431 HAS SOUPS 160708 WITH SCORE 160998.317
AT ITER 626 NEW BEST:: SOT 398065 SOS 290049 HAS SOPS 287079 HAS SOUS 161962 HAS SOUPS 160172 WITH SCORE 160462.049
AT ITER 629 NEW BEST:: SOT 398065 SOS 290054 HAS SOPS 287084 HAS SOUS 161961 HAS SOUPS 160171 WITH SCORE 160461.054
AT ITER 631 NEW BEST:: SOT 397803 SOS 289771 HAS SOPS 286801 HAS SOUS 161602 HAS SOUPS 159812 WITH SCORE 160101.771
AT ITER 632 NEW BEST:: SOT 396897 SOS 289272 HAS SOPS 286302 HAS SOUS 160835 HAS SOUPS 159045 WITH SCORE 159334.272
AT ITER 634 NEW BEST:: SOT 396769 SOS 289060 HAS SOPS 286090 HAS SOUS 160644 HAS SOUPS 158854 WITH SCORE 159143.06
AT ITER 635 NEW BEST:: SOT 396582 SOS 288873 HAS SOPS 285903 HAS SOUS 160440 HAS SOUPS 158650 WITH SCORE 158938.873
AT ITER 642 NEW BEST:: SOT 396582 SOS 288162 HAS SOPS 285192 HAS SOUS 160395 HAS SOUPS 158605 WITH SCORE 158893.162
AT ITER 644 NEW BEST:: SOT 396908 SOS 288691 HAS SOPS 285518 HAS SOUS 160312 HAS SOUPS 158319 WITH SCORE 158607.691
AT ITER 647 NEW BEST:: SOT 396917 SOS 286466 HAS SOPS 283428 HAS SOUS 160009 HAS SOUPS 158082 WITH SCORE 158368.466
AT ITER 648 NEW BEST:: SOT 396426 SOS 284919 HAS SOPS 281881 HAS SOUS 159369 HAS SOUPS 157442 WITH SCORE 157726.919
AT ITER 649 NEW BEST:: SOT 396426 SOS 284905 HAS SOPS 281867 HAS SOUS 159368 HAS SOUPS 157441 WITH SCORE 157725.905
AT ITER 654 NEW BEST:: SOT 396102 SOS 284867 HAS SOPS 281829 HAS SOUS 158756 HAS SOUPS 156829 WITH SCORE 157113.867
AT ITER 656 NEW BEST:: SOT 396083 SOS 284849 HAS SOPS 281811 HAS SOUS 158715 HAS SOUPS 156788 WITH SCORE 157072.849
AT ITER 667 NEW BEST:: SOT 396281 SOS 284334 HAS SOPS 281337 HAS SOUS 158656 HAS SOUPS 156770 WITH SCORE 157054.334
AT ITER 668 NEW BEST:: SOT 396373 SOS 284546 HAS SOPS 281549 HAS SOUS 158648 HAS SOUPS 156762 WITH SCORE 157046.546
AT ITER 669 NEW BEST:: SOT 396063 SOS 284236 HAS SOPS 281239 HAS SOUS 158638 HAS SOUPS 156752 WITH SCORE 157036.236
AT ITER 672 NEW BEST:: SOT 395711 SOS 283684 HAS SOPS 280687 HAS SOUS 157932 HAS SOUPS 156046 WITH SCORE 156329.684
AT ITER 684 NEW BEST:: SOT 395504 SOS 282764 HAS SOPS 279767 HAS SOUS 157871 HAS SOUPS 155985 WITH SCORE 156267.764
AT ITER 688 NEW BEST:: SOT 395354 SOS 282614 HAS SOPS 279617 HAS SOUS 157721 HAS SOUPS 155835 WITH SCORE 156117.614
AT ITER 691 NEW BEST:: SOT 395088 SOS 281983 HAS SOPS 278986 HAS SOUS 157246 HAS SOUPS 155360 WITH SCORE 155641.983
AT ITER 692 NEW BEST:: SOT 395032 SOS 281927 HAS SOPS 278930 HAS SOUS 157100 HAS SOUPS 155214 WITH SCORE 155495.927
AT ITER 693 NEW BEST:: SOT 395039 SOS 281934 HAS SOPS 278937 HAS SOUS 157035 HAS SOUPS 155149 WITH SCORE 155430.934
AT ITER 694 NEW BEST:: SOT 394639 SOS 281630 HAS SOPS 278633 HAS SOUS 156509 HAS SOUPS 154623 WITH SCORE 154904.63
AT ITER 696 NEW BEST:: SOT 394693 SOS 281978 HAS SOPS 278981 HAS SOUS 156483 HAS SOUPS 154597 WITH SCORE 154878.978
AT ITER 700 NEW BEST:: SOT 394591 SOS 281875 HAS SOPS 278878 HAS SOUS 156405 HAS SOUPS 154519 WITH SCORE 154800.875
AT ITER 703 NEW BEST:: SOT 394696 SOS 281980 HAS SOPS 278983 HAS SOUS 156322 HAS SOUPS 154436 WITH SCORE 154717.98
AT ITER 704 NEW BEST:: SOT 394906 SOS 282190 HAS SOPS 279193 HAS SOUS 156182 HAS SOUPS 154296 WITH SCORE 154578.19
AT ITER 709 NEW BEST:: SOT 394906 SOS 282174 HAS SOPS 279171 HAS SOUS 156182 HAS SOUPS 154294 WITH SCORE 154576.174
AT ITER 711 NEW BEST:: SOT 394700 SOS 281756 HAS SOPS 278753 HAS SOUS 155975 HAS SOUPS 154087 WITH SCORE 154368.756
AT ITER 725 NEW BEST:: SOT 394660 SOS 281692 HAS SOPS 278681 HAS SOUS 155935 HAS SOUPS 154047 WITH SCORE 154328.692
AT ITER 726 NEW BEST:: SOT 394485 SOS 281470 HAS SOPS 278459 HAS SOUS 155666 HAS SOUPS 153778 WITH SCORE 154059.47
AT ITER 729 NEW BEST:: SOT 394304 SOS 281289 HAS SOPS 278278 HAS SOUS 155485 HAS SOUPS 153597 WITH SCORE 153878.289
AT ITER 731 NEW BEST:: SOT 394255 SOS 281166 HAS SOPS 278155 HAS SOUS 155364 HAS SOUPS 153476 WITH SCORE 153757.166
AT ITER 743 NEW BEST:: SOT 394420 SOS 282301 HAS SOPS 279278 HAS SOUS 155367 HAS SOUPS 153467 WITH SCORE 153749.301
AT ITER 745 NEW BEST:: SOT 394157 SOS 282025 HAS SOPS 279002 HAS SOUS 155309 HAS SOUPS 153409 WITH SCORE 153691.025
AT ITER 752 NEW BEST:: SOT 393904 SOS 281196 HAS SOPS 278173 HAS SOUS 154889 HAS SOUPS 152989 WITH SCORE 153270.196
AT ITER 755 NEW BEST:: SOT 393505 SOS 280846 HAS SOPS 277823 HAS SOUS 154495 HAS SOUPS 152595 WITH SCORE 152875.846
AT ITER 776 NEW BEST:: SOT 393245 SOS 281093 HAS SOPS 278070 HAS SOUS 154477 HAS SOUPS 152577 WITH SCORE 152858.093
AT ITER 781 NEW BEST:: SOT 393245 SOS 281099 HAS SOPS 278076 HAS SOUS 154473 HAS SOUPS 152573 WITH SCORE 152854.099
AT ITER 782 NEW BEST:: SOT 393245 SOS 280953 HAS SOPS 277930 HAS SOUS 154447 HAS SOUPS 152547 WITH SCORE 152827.953
AT ITER 784 NEW BEST:: SOT 393243 SOS 280910 HAS SOPS 277887 HAS SOUS 154402 HAS SOUPS 152502 WITH SCORE 152782.91
AT ITER 796 NEW BEST:: SOT 392534 SOS 280179 HAS SOPS 277156 HAS SOUS 153928 HAS SOUPS 152028 WITH SCORE 152308.179
AT ITER 798 NEW BEST:: SOT 392534 SOS 280227 HAS SOPS 277204 HAS SOUS 153914 HAS SOUPS 152014 WITH SCORE 152294.227
AT ITER 801 NEW BEST:: SOT 392712 SOS 280049 HAS SOPS 277025 HAS SOUS 153217 HAS SOUPS 151316 WITH SCORE 151596.049
AT ITER 802 NEW BEST:: SOT 393150 SOS 281000 HAS SOPS 277976 HAS SOUS 152946 HAS SOUPS 151045 WITH SCORE 151326.0
AT ITER 804 NEW BEST:: SOT 393246 SOS 280583 HAS SOPS 277559 HAS SOUS 152936 HAS SOUPS 151035 WITH SCORE 151315.583
AT ITER 808 NEW BEST:: SOT 393246 SOS 279567 HAS SOPS 276061 HAS SOUS 153310 HAS SOUPS 150967 WITH SCORE 151246.567
AT ITER 811 NEW BEST:: SOT 391787 SOS 278082 HAS SOPS 274576 HAS SOUS 152052 HAS SOUPS 149709 WITH SCORE 149987.082
AT ITER 812 NEW BEST:: SOT 391509 SOS 277804 HAS SOPS 274298 HAS SOUS 151800 HAS SOUPS 149457 WITH SCORE 149734.804
AT ITER 813 NEW BEST:: SOT 390991 SOS 277803 HAS SOPS 274297 HAS SOUS 151335 HAS SOUPS 148992 WITH SCORE 149269.803
AT ITER 814 NEW BEST:: SOT 391276 SOS 278088 HAS SOPS 274582 HAS SOUS 151056 HAS SOUPS 148713 WITH SCORE 148991.088
AT ITER 816 NEW BEST:: SOT 390277 SOS 277808 HAS SOPS 274302 HAS SOUS 150158 HAS SOUPS 147815 WITH SCORE 148092.808
AT ITER 819 NEW BEST:: SOT 390275 SOS 277840 HAS SOPS 274334 HAS SOUS 150120 HAS SOUPS 147777 WITH SCORE 148054.84
AT ITER 823 NEW BEST:: SOT 390272 SOS 277837 HAS SOPS 274331 HAS SOUS 150108 HAS SOUPS 147765 WITH SCORE 148042.837
AT ITER 827 NEW BEST:: SOT 390275 SOS 277587 HAS SOPS 274201 HAS SOUS 149802 HAS SOUPS 147552 WITH SCORE 147829.587
AT ITER 832 NEW BEST:: SOT 390062 SOS 277428 HAS SOPS 274042 HAS SOUS 149671 HAS SOUPS 147421 WITH SCORE 147698.428
AT ITER 833 NEW BEST:: SOT 388536 SOS 276105 HAS SOPS 272719 HAS SOUS 148349 HAS SOUPS 146099 WITH SCORE 146375.105
AT ITER 838 NEW BEST:: SOT 388566 SOS 275926 HAS SOPS 272637 HAS SOUS 148193 HAS SOUPS 146004 WITH SCORE 146279.926
AT ITER 841 NEW BEST:: SOT 388564 SOS 275936 HAS SOPS 272647 HAS SOUS 148191 HAS SOUPS 146002 WITH SCORE 146277.936
AT ITER 846 NEW BEST:: SOT 388564 SOS 275803 HAS SOPS 272514 HAS SOUS 148191 HAS SOUPS 146002 WITH SCORE 146277.803
AT ITER 847 NEW BEST:: SOT 388564 SOS 275279 HAS SOPS 271990 HAS SOUS 148191 HAS SOUPS 146002 WITH SCORE 146277.279
AT ITER 856 NEW BEST:: SOT 388564 SOS 275279 HAS SOPS 271990 HAS SOUS 148021 HAS SOUPS 145832 WITH SCORE 146107.279
AT ITER 861 NEW BEST:: SOT 388486 SOS 275201 HAS SOPS 271912 HAS SOUS 147976 HAS SOUPS 145787 WITH SCORE 146062.201
AT ITER 863 NEW BEST:: SOT 388468 SOS 275181 HAS SOPS 271892 HAS SOUS 147975 HAS SOUPS 145786 WITH SCORE 146061.181
AT ITER 868 NEW BEST:: SOT 388047 SOS 274760 HAS SOPS 271471 HAS SOUS 147837 HAS SOUPS 145648 WITH SCORE 145922.76
AT ITER 872 NEW BEST:: SOT 388047 SOS 274770 HAS SOPS 271481 HAS SOUS 147827 HAS SOUPS 145638 WITH SCORE 145912.77
AT ITER 878 NEW BEST:: SOT 387889 SOS 274612 HAS SOPS 271323 HAS SOUS 147781 HAS SOUPS 145592 WITH SCORE 145866.612
AT ITER 886 NEW BEST:: SOT 387803 SOS 274329 HAS SOPS 271040 HAS SOUS 147398 HAS SOUPS 145209 WITH SCORE 145483.329
AT ITER 891 NEW BEST:: SOT 387777 SOS 274303 HAS SOPS 271014 HAS SOUS 147368 HAS SOUPS 145179 WITH SCORE 145453.303
AT ITER 894 NEW BEST:: SOT 387465 SOS 273975 HAS SOPS 270686 HAS SOUS 147014 HAS SOUPS 144825 WITH SCORE 145098.975
AT ITER 903 NEW BEST:: SOT 385680 SOS 272658 HAS SOPS 269369 HAS SOUS 145316 HAS SOUPS 143127 WITH SCORE 143399.658
AT ITER 906 NEW BEST:: SOT 385390 SOS 272368 HAS SOPS 269079 HAS SOUS 145020 HAS SOUPS 142831 WITH SCORE 143103.368
AT ITER 907 NEW BEST:: SOT 385483 SOS 272356 HAS SOPS 269067 HAS SOUS 144919 HAS SOUPS 142730 WITH SCORE 143002.356
AT ITER 909 NEW BEST:: SOT 385504 SOS 272377 HAS SOPS 269088 HAS SOUS 144693 HAS SOUPS 142504 WITH SCORE 142776.377
AT ITER 913 NEW BEST:: SOT 385621 SOS 271852 HAS SOPS 268563 HAS SOUS 144615 HAS SOUPS 142426 WITH SCORE 142697.852
AT ITER 914 NEW BEST:: SOT 385472 SOS 270960 HAS SOPS 267671 HAS SOUS 144328 HAS SOUPS 142139 WITH SCORE 142409.96
AT ITER 920 NEW BEST:: SOT 385480 SOS 271661 HAS SOPS 268372 HAS SOUS 144105 HAS SOUPS 141916 WITH SCORE 142187.661
AT ITER 926 NEW BEST:: SOT 385345 SOS 271486 HAS SOPS 268197 HAS SOUS 143969 HAS SOUPS 141780 WITH SCORE 142051.486
AT ITER 932 NEW BEST:: SOT 385379 SOS 271542 HAS SOPS 268253 HAS SOUS 143967 HAS SOUPS 141778 WITH SCORE 142049.542
AT ITER 936 NEW BEST:: SOT 385379 SOS 271687 HAS SOPS 268415 HAS SOUS 143919 HAS SOUPS 141669 WITH SCORE 141940.687
AT ITER 937 NEW BEST:: SOT 385362 SOS 272668 HAS SOPS 269486 HAS SOUS 143787 HAS SOUPS 141627 WITH SCORE 141899.668
AT ITER 938 NEW BEST:: SOT 385304 SOS 272610 HAS SOPS 269421 HAS SOUS 143729 HAS SOUPS 141562 WITH SCORE 141834.61
AT ITER 940 NEW BEST:: SOT 385304 SOS 272249 HAS SOPS 269060 HAS SOUS 143568 HAS SOUPS 141401 WITH SCORE 141673.249
AT ITER 944 NEW BEST:: SOT 385124 SOS 272009 HAS SOPS 268820 HAS SOUS 143448 HAS SOUPS 141281 WITH SCORE 141553.009
AT ITER 949 NEW BEST:: SOT 384761 SOS 271479 HAS SOPS 268457 HAS SOUS 142996 HAS SOUPS 140996 WITH SCORE 141267.479
AT ITER 951 NEW BEST:: SOT 384740 SOS 271458 HAS SOPS 268436 HAS SOUS 142843 HAS SOUPS 140843 WITH SCORE 141114.458
AT ITER 959 NEW BEST:: SOT 384602 SOS 271307 HAS SOPS 268285 HAS SOUS 142630 HAS SOUPS 140630 WITH SCORE 140901.307
AT ITER 965 NEW BEST:: SOT 384352 SOS 271057 HAS SOPS 268035 HAS SOUS 142249 HAS SOUPS 140249 WITH SCORE 140520.057
AT ITER 966 NEW BEST:: SOT 384324 SOS 271017 HAS SOPS 267995 HAS SOUS 142215 HAS SOUPS 140215 WITH SCORE 140486.017
AT ITER 969 NEW BEST:: SOT 384220 SOS 270909 HAS SOPS 267887 HAS SOUS 142172 HAS SOUPS 140172 WITH SCORE 140442.909
AT ITER 973 NEW BEST:: SOT 383878 SOS 270303 HAS SOPS 267281 HAS SOUS 141975 HAS SOUPS 139975 WITH SCORE 140245.303
AT ITER 975 NEW BEST:: SOT 383806 SOS 270231 HAS SOPS 267209 HAS SOUS 141931 HAS SOUPS 139931 WITH SCORE 140201.231
AT ITER 977 NEW BEST:: SOT 383300 SOS 269674 HAS SOPS 266652 HAS SOUS 141724 HAS SOUPS 139724 WITH SCORE 139993.674
AT ITER 979 NEW BEST:: SOT 383216 SOS 269590 HAS SOPS 266568 HAS SOUS 141586 HAS SOUPS 139586 WITH SCORE 139855.59
AT ITER 980 NEW BEST:: SOT 382489 SOS 266194 HAS SOPS 263172 HAS SOUS 141521 HAS SOUPS 139521 WITH SCORE 139787.194
AT ITER 982 NEW BEST:: SOT 382328 SOS 266020 HAS SOPS 262998 HAS SOUS 141334 HAS SOUPS 139334 WITH SCORE 139600.02
AT ITER 983 NEW BEST:: SOT 382396 SOS 266240 HAS SOPS 263218 HAS SOUS 141182 HAS SOUPS 139182 WITH SCORE 139448.24
AT ITER 991 NEW BEST:: SOT 382442 SOS 266286 HAS SOPS 263264 HAS SOUS 141058 HAS SOUPS 139058 WITH SCORE 139324.286
AT ITER 998 NEW BEST:: SOT 382088 SOS 265932 HAS SOPS 262910 HAS SOUS 140788 HAS SOUPS 138788 WITH SCORE 139053.932
AT ITER 1002 NEW BEST:: SOT 382126 SOS 266372 HAS SOPS 263350 HAS SOUS 140408 HAS SOUPS 138408 WITH SCORE 138674.372
AT ITER 1006 NEW BEST:: SOT 382405 SOS 266903 HAS SOPS 263881 HAS SOUS 140132 HAS SOUPS 138132 WITH SCORE 138398.903
AT ITER 1014 NEW BEST:: SOT 382405 SOS 266972 HAS SOPS 263950 HAS SOUS 140003 HAS SOUPS 138003 WITH SCORE 138269.972
AT ITER 1016 NEW BEST:: SOT 381144 SOS 266086 HAS SOPS 263282 HAS SOUS 138619 HAS SOUPS 136837 WITH SCORE 137103.086
AT ITER 1025 NEW BEST:: SOT 381232 SOS 266286 HAS SOPS 263482 HAS SOUS 138539 HAS SOUPS 136757 WITH SCORE 137023.286
AT ITER 1030 NEW BEST:: SOT 381317 SOS 266306 HAS SOPS 263502 HAS SOUS 138270 HAS SOUPS 136488 WITH SCORE 136754.306
AT ITER 1035 NEW BEST:: SOT 381317 SOS 266290 HAS SOPS 263470 HAS SOUS 138278 HAS SOUPS 136488 WITH SCORE 136754.29
AT ITER 1038 NEW BEST:: SOT 381275 SOS 266500 HAS SOPS 263680 HAS SOUS 138256 HAS SOUPS 136466 WITH SCORE 136732.5
AT ITER 1043 NEW BEST:: SOT 381064 SOS 266281 HAS SOPS 263461 HAS SOUS 138018 HAS SOUPS 136228 WITH SCORE 136494.281
AT ITER 1051 NEW BEST:: SOT 381064 SOS 266390 HAS SOPS 263570 HAS SOUS 137978 HAS SOUPS 136188 WITH SCORE 136454.39
AT ITER 1052 NEW BEST:: SOT 380985 SOS 266176 HAS SOPS 263096 HAS SOUS 137967 HAS SOUPS 135917 WITH SCORE 136183.176
AT ITER 1076 NEW BEST:: SOT 380985 SOS 266160 HAS SOPS 263080 HAS SOUS 137959 HAS SOUPS 135909 WITH SCORE 136175.16
AT ITER 1078 NEW BEST:: SOT 380910 SOS 266085 HAS SOPS 263005 HAS SOUS 137906 HAS SOUPS 135856 WITH SCORE 136122.085
AT ITER 1080 NEW BEST:: SOT 381319 SOS 266256 HAS SOPS 263176 HAS SOUS 137904 HAS SOUPS 135854 WITH SCORE 136120.256
AT ITER 1083 NEW BEST:: SOT 381260 SOS 266197 HAS SOPS 263117 HAS SOUS 137895 HAS SOUPS 135845 WITH SCORE 136111.197
AT ITER 1087 NEW BEST:: SOT 381260 SOS 265915 HAS SOPS 263015 HAS SOUS 137835 HAS SOUPS 135845 WITH SCORE 136110.915
AT ITER 1088 NEW BEST:: SOT 381361 SOS 266050 HAS SOPS 263150 HAS SOUS 137801 HAS SOUPS 135811 WITH SCORE 136077.05
AT ITER 1093 NEW BEST:: SOT 381370 SOS 265919 HAS SOPS 263019 HAS SOUS 137758 HAS SOUPS 135768 WITH SCORE 136033.919
AT ITER 1095 NEW BEST:: SOT 381406 SOS 265962 HAS SOPS 263062 HAS SOUS 137568 HAS SOUPS 135578 WITH SCORE 135843.962
AT ITER 1097 NEW BEST:: SOT 381033 SOS 265533 HAS SOPS 262633 HAS SOUS 137126 HAS SOUPS 135136 WITH SCORE 135401.533
AT ITER 1098 NEW BEST:: SOT 381043 SOS 265355 HAS SOPS 262455 HAS SOUS 137095 HAS SOUPS 135105 WITH SCORE 135370.355
AT ITER 1103 NEW BEST:: SOT 380965 SOS 265277 HAS SOPS 262377 HAS SOUS 137017 HAS SOUPS 135027 WITH SCORE 135292.277
AT ITER 1107 NEW BEST:: SOT 380965 SOS 265197 HAS SOPS 262297 HAS SOUS 136937 HAS SOUPS 134947 WITH SCORE 135212.197
AT ITER 1108 NEW BEST:: SOT 380965 SOS 265148 HAS SOPS 262248 HAS SOUS 136838 HAS SOUPS 134848 WITH SCORE 135113.148
AT ITER 1114 NEW BEST:: SOT 380824 SOS 265007 HAS SOPS 262107 HAS SOUS 136469 HAS SOUPS 134479 WITH SCORE 134744.007
AT ITER 1115 NEW BEST:: SOT 380821 SOS 265004 HAS SOPS 262104 HAS SOUS 136466 HAS SOUPS 134476 WITH SCORE 134741.004
AT ITER 1118 NEW BEST:: SOT 380664 SOS 264989 HAS SOPS 262089 HAS SOUS 135553 HAS SOUPS 133563 WITH SCORE 133827.989
AT ITER 1124 NEW BEST:: SOT 380685 SOS 264805 HAS SOPS 261905 HAS SOUS 135444 HAS SOUPS 133454 WITH SCORE 133718.805
AT ITER 1127 NEW BEST:: SOT 380618 SOS 264855 HAS SOPS 261955 HAS SOUS 135431 HAS SOUPS 133441 WITH SCORE 133705.855
AT ITER 1128 NEW BEST:: SOT 380088 SOS 264069 HAS SOPS 261170 HAS SOUS 135261 HAS SOUPS 133271 WITH SCORE 133535.069
AT ITER 1133 NEW BEST:: SOT 380022 SOS 264003 HAS SOPS 261104 HAS SOUS 135075 HAS SOUPS 133085 WITH SCORE 133349.003
AT ITER 1134 NEW BEST:: SOT 379674 SOS 263342 HAS SOPS 260443 HAS SOUS 135060 HAS SOUPS 133070 WITH SCORE 133333.342
AT ITER 1136 NEW BEST:: SOT 379109 SOS 262889 HAS SOPS 260023 HAS SOUS 134543 HAS SOUPS 132586 WITH SCORE 132848.889
AT ITER 1137 NEW BEST:: SOT 379136 SOS 262842 HAS SOPS 259976 HAS SOUS 134431 HAS SOUPS 132474 WITH SCORE 132736.842
AT ITER 1139 NEW BEST:: SOT 379115 SOS 262821 HAS SOPS 259955 HAS SOUS 134419 HAS SOUPS 132462 WITH SCORE 132724.821
AT ITER 1143 NEW BEST:: SOT 379050 SOS 262756 HAS SOPS 259890 HAS SOUS 134298 HAS SOUPS 132341 WITH SCORE 132603.756
AT ITER 1145 NEW BEST:: SOT 379050 SOS 262746 HAS SOPS 259880 HAS SOUS 134268 HAS SOUPS 132311 WITH SCORE 132573.746
AT ITER 1148 NEW BEST:: SOT 378828 SOS 262374 HAS SOPS 259508 HAS SOUS 133848 HAS SOUPS 131891 WITH SCORE 132153.374
AT ITER 1154 NEW BEST:: SOT 378704 SOS 262250 HAS SOPS 259384 HAS SOUS 133847 HAS SOUPS 131890 WITH SCORE 132152.25
AT ITER 1178 NEW BEST:: SOT 378602 SOS 261882 HAS SOPS 259016 HAS SOUS 133772 HAS SOUPS 131815 WITH SCORE 132076.882
AT ITER 1180 NEW BEST:: SOT 378238 SOS 262410 HAS SOPS 259855 HAS SOUS 133176 HAS SOUPS 131461 WITH SCORE 131723.41
AT ITER 1182 NEW BEST:: SOT 378238 SOS 262476 HAS SOPS 259921 HAS SOUS 133114 HAS SOUPS 131399 WITH SCORE 131661.476
AT ITER 1188 NEW BEST:: SOT 378305 SOS 262526 HAS SOPS 259971 HAS SOUS 133111 HAS SOUPS 131396 WITH SCORE 131658.526
AT ITER 1192 NEW BEST:: SOT 377180 SOS 262586 HAS SOPS 260031 HAS SOUS 133110 HAS SOUPS 131395 WITH SCORE 131657.586
AT ITER 1210 NEW BEST:: SOT 377469 SOS 263313 HAS SOPS 260758 HAS SOUS 132922 HAS SOUPS 131207 WITH SCORE 131470.313
AT ITER 1216 NEW BEST:: SOT 377469 SOS 263265 HAS SOPS 260710 HAS SOUS 132914 HAS SOUPS 131199 WITH SCORE 131462.265
AT ITER 1217 NEW BEST:: SOT 377343 SOS 263139 HAS SOPS 260584 HAS SOUS 132767 HAS SOUPS 131052 WITH SCORE 131315.139
AT ITER 1222 NEW BEST:: SOT 377343 SOS 263140 HAS SOPS 260585 HAS SOUS 132765 HAS SOUPS 131050 WITH SCORE 131313.14
AT ITER 1229 NEW BEST:: SOT 376996 SOS 262654 HAS SOPS 260099 HAS SOUS 132163 HAS SOUPS 130448 WITH SCORE 130710.654
AT ITER 1252 NEW BEST:: SOT 376988 SOS 262646 HAS SOPS 260091 HAS SOUS 132154 HAS SOUPS 130439 WITH SCORE 130701.646
AT ITER 1266 NEW BEST:: SOT 376978 SOS 262656 HAS SOPS 260101 HAS SOUS 132138 HAS SOUPS 130423 WITH SCORE 130685.656
AT ITER 1274 NEW BEST:: SOT 377203 SOS 262881 HAS SOPS 260326 HAS SOUS 131852 HAS SOUPS 130137 WITH SCORE 130399.881
AT ITER 1280 NEW BEST:: SOT 377147 SOS 262825 HAS SOPS 260270 HAS SOUS 131782 HAS SOUPS 130067 WITH SCORE 130329.825
AT ITER 1284 NEW BEST:: SOT 376926 SOS 262678 HAS SOPS 260123 HAS SOUS 131552 HAS SOUPS 129837 WITH SCORE 130099.678
AT ITER 1289 NEW BEST:: SOT 376568 SOS 261881 HAS SOPS 259326 HAS SOUS 131270 HAS SOUPS 129555 WITH SCORE 129816.881
AT ITER 1305 NEW BEST:: SOT 376243 SOS 261393 HAS SOPS 258854 HAS SOUS 130696 HAS SOUPS 128997 WITH SCORE 129258.393
AT ITER 1306 NEW BEST:: SOT 376183 SOS 261303 HAS SOPS 258644 HAS SOUS 130636 HAS SOUPS 128817 WITH SCORE 129078.303
AT ITER 1319 NEW BEST:: SOT 376119 SOS 261276 HAS SOPS 258617 HAS SOUS 130551 HAS SOUPS 128732 WITH SCORE 128993.276
AT ITER 1330 NEW BEST:: SOT 376063 SOS 261213 HAS SOPS 258561 HAS SOUS 130488 HAS SOUPS 128676 WITH SCORE 128937.213
AT ITER 1341 NEW BEST:: SOT 376063 SOS 260961 HAS SOPS 258393 HAS SOUS 130234 HAS SOUPS 128506 WITH SCORE 128766.961
AT ITER 1348 NEW BEST:: SOT 375832 SOS 260730 HAS SOPS 258162 HAS SOUS 129851 HAS SOUPS 128123 WITH SCORE 128383.73
AT ITER 1351 NEW BEST:: SOT 375771 SOS 260669 HAS SOPS 258101 HAS SOUS 129790 HAS SOUPS 128062 WITH SCORE 128322.669
AT ITER 1354 NEW BEST:: SOT 375769 SOS 260669 HAS SOPS 258101 HAS SOUS 129784 HAS SOUPS 128056 WITH SCORE 128316.669
AT ITER 1367 NEW BEST:: SOT 375653 SOS 260495 HAS SOPS 257927 HAS SOUS 129552 HAS SOUPS 127824 WITH SCORE 128084.495
AT ITER 1371 NEW BEST:: SOT 375384 SOS 260710 HAS SOPS 257991 HAS SOUS 129303 HAS SOUPS 127424 WITH SCORE 127684.71
AT ITER 1373 NEW BEST:: SOT 375372 SOS 260698 HAS SOPS 257979 HAS SOUS 129274 HAS SOUPS 127395 WITH SCORE 127655.698
AT ITER 1379 NEW BEST:: SOT 375177 SOS 260482 HAS SOPS 257763 HAS SOUS 129016 HAS SOUPS 127137 WITH SCORE 127397.482
AT ITER 1380 NEW BEST:: SOT 375174 SOS 259663 HAS SOPS 256731 HAS SOUS 128698 HAS SOUPS 126693 WITH SCORE 126952.663
AT ITER 1392 NEW BEST:: SOT 374778 SOS 258667 HAS SOPS 255735 HAS SOUS 128646 HAS SOUPS 126641 WITH SCORE 126899.667
AT ITER 1393 NEW BEST:: SOT 374778 SOS 258779 HAS SOPS 255661 HAS SOUS 128533 HAS SOUPS 126271 WITH SCORE 126529.779
AT ITER 1394 NEW BEST:: SOT 374779 SOS 258877 HAS SOPS 255759 HAS SOUS 128532 HAS SOUPS 126270 WITH SCORE 126528.877
AT ITER 1395 NEW BEST:: SOT 374779 SOS 258915 HAS SOPS 255797 HAS SOUS 128519 HAS SOUPS 126257 WITH SCORE 126515.915
AT ITER 1398 NEW BEST:: SOT 374752 SOS 258710 HAS SOPS 255609 HAS SOUS 128400 HAS SOUPS 126155 WITH SCORE 126413.71
AT ITER 1399 NEW BEST:: SOT 374509 SOS 258467 HAS SOPS 255366 HAS SOUS 128280 HAS SOUPS 126035 WITH SCORE 126293.467
AT ITER 1412 NEW BEST:: SOT 374477 SOS 258435 HAS SOPS 255334 HAS SOUS 128256 HAS SOUPS 126011 WITH SCORE 126269.435
AT ITER 1415 NEW BEST:: SOT 374244 SOS 257774 HAS SOPS 254673 HAS SOUS 128023 HAS SOUPS 125778 WITH SCORE 126035.774
AT ITER 1419 NEW BEST:: SOT 374244 SOS 258934 HAS SOPS 255833 HAS SOUS 128006 HAS SOUPS 125761 WITH SCORE 126019.934
AT ITER 1423 NEW BEST:: SOT 374210 SOS 258808 HAS SOPS 255707 HAS SOUS 128001 HAS SOUPS 125756 WITH SCORE 126014.808
AT ITER 1427 NEW BEST:: SOT 374292 SOS 258848 HAS SOPS 255747 HAS SOUS 127717 HAS SOUPS 125472 WITH SCORE 125730.848
AT ITER 1436 NEW BEST:: SOT 374138 SOS 258684 HAS SOPS 255583 HAS SOUS 127582 HAS SOUPS 125337 WITH SCORE 125595.684
AT ITER 1437 NEW BEST:: SOT 374087 SOS 258633 HAS SOPS 255532 HAS SOUS 127561 HAS SOUPS 125316 WITH SCORE 125574.633
AT ITER 1439 NEW BEST:: SOT 373902 SOS 258448 HAS SOPS 255347 HAS SOUS 127439 HAS SOUPS 125194 WITH SCORE 125452.448
AT ITER 1443 NEW BEST:: SOT 373691 SOS 258399 HAS SOPS 255298 HAS SOUS 127323 HAS SOUPS 125078 WITH SCORE 125336.399
AT ITER 1445 NEW BEST:: SOT 373697 SOS 258429 HAS SOPS 255328 HAS SOUS 127305 HAS SOUPS 125060 WITH SCORE 125318.429
AT ITER 1460 NEW BEST:: SOT 373693 SOS 258425 HAS SOPS 255324 HAS SOUS 127247 HAS SOUPS 125002 WITH SCORE 125260.425
AT ITER 1463 NEW BEST:: SOT 373693 SOS 258096 HAS SOPS 254995 HAS SOUS 127231 HAS SOUPS 124986 WITH SCORE 125244.096
AT ITER 1467 NEW BEST:: SOT 373901 SOS 258304 HAS SOPS 255203 HAS SOUS 127114 HAS SOUPS 124869 WITH SCORE 125127.304
AT ITER 1474 NEW BEST:: SOT 373862 SOS 258265 HAS SOPS 255164 HAS SOUS 127075 HAS SOUPS 124830 WITH SCORE 125088.265
AT ITER 1485 NEW BEST:: SOT 373976 SOS 258379 HAS SOPS 255278 HAS SOUS 127053 HAS SOUPS 124808 WITH SCORE 125066.379
AT ITER 1486 NEW BEST:: SOT 373854 SOS 258257 HAS SOPS 255156 HAS SOUS 127006 HAS SOUPS 124761 WITH SCORE 125019.257
AT ITER 1489 NEW BEST:: SOT 373896 SOS 258383 HAS SOPS 255282 HAS SOUS 126922 HAS SOUPS 124677 WITH SCORE 124935.383
AT ITER 1501 NEW BEST:: SOT 373908 SOS 258395 HAS SOPS 255294 HAS SOUS 126903 HAS SOUPS 124658 WITH SCORE 124916.395
AT ITER 1502 NEW BEST:: SOT 373755 SOS 258140 HAS SOPS 255039 HAS SOUS 126899 HAS SOUPS 124654 WITH SCORE 124912.14
AT ITER 1505 NEW BEST:: SOT 373500 SOS 258055 HAS SOPS 254954 HAS SOUS 126644 HAS SOUPS 124399 WITH SCORE 124657.055
AT ITER 1513 NEW BEST:: SOT 373458 SOS 258007 HAS SOPS 254906 HAS SOUS 126584 HAS SOUPS 124339 WITH SCORE 124597.007
AT ITER 1517 NEW BEST:: SOT 373405 SOS 257954 HAS SOPS 254853 HAS SOUS 126450 HAS SOUPS 124205 WITH SCORE 124462.954
AT ITER 1519 NEW BEST:: SOT 372924 SOS 257473 HAS SOPS 254372 HAS SOUS 125913 HAS SOUPS 123668 WITH SCORE 123925.473
AT ITER 1527 NEW BEST:: SOT 372924 SOS 257616 HAS SOPS 254515 HAS SOUS 125774 HAS SOUPS 123529 WITH SCORE 123786.616
AT ITER 1531 NEW BEST:: SOT 372800 SOS 257492 HAS SOPS 254391 HAS SOUS 125719 HAS SOUPS 123474 WITH SCORE 123731.492
AT ITER 1534 NEW BEST:: SOT 372457 SOS 257120 HAS SOPS 254019 HAS SOUS 125631 HAS SOUPS 123386 WITH SCORE 123643.12
AT ITER 1539 NEW BEST:: SOT 372444 SOS 257083 HAS SOPS 253982 HAS SOUS 125594 HAS SOUPS 123349 WITH SCORE 123606.083
AT ITER 1555 NEW BEST:: SOT 372390 SOS 257029 HAS SOPS 253928 HAS SOUS 125570 HAS SOUPS 123325 WITH SCORE 123582.029
AT ITER 1559 NEW BEST:: SOT 372382 SOS 257021 HAS SOPS 253920 HAS SOUS 125562 HAS SOUPS 123317 WITH SCORE 123574.021
AT ITER 1561 NEW BEST:: SOT 372464 SOS 256252 HAS SOPS 253151 HAS SOUS 125250 HAS SOUPS 123005 WITH SCORE 123261.252
AT ITER 1573 NEW BEST:: SOT 372508 SOS 256296 HAS SOPS 253195 HAS SOUS 125212 HAS SOUPS 122967 WITH SCORE 123223.296
AT ITER 1575 NEW BEST:: SOT 371995 SOS 255783 HAS SOPS 252682 HAS SOUS 124921 HAS SOUPS 122676 WITH SCORE 122931.783
AT ITER 1582 NEW BEST:: SOT 371797 SOS 255068 HAS SOPS 251933 HAS SOUS 124547 HAS SOUPS 122302 WITH SCORE 122557.068
AT ITER 1591 NEW BEST:: SOT 371787 SOS 255121 HAS SOPS 251986 HAS SOUS 124539 HAS SOUPS 122294 WITH SCORE 122549.121
AT ITER 1595 NEW BEST:: SOT 371787 SOS 255101 HAS SOPS 251966 HAS SOUS 124534 HAS SOUPS 122289 WITH SCORE 122544.101
AT ITER 1604 NEW BEST:: SOT 371633 SOS 254859 HAS SOPS 251682 HAS SOUS 124471 HAS SOUPS 122184 WITH SCORE 122438.859
AT ITER 1626 NEW BEST:: SOT 371546 SOS 254772 HAS SOPS 251569 HAS SOUS 124255 HAS SOUPS 121942 WITH SCORE 122196.772
AT ITER 1627 NEW BEST:: SOT 371546 SOS 254015 HAS SOPS 250812 HAS SOUS 124187 HAS SOUPS 121874 WITH SCORE 122128.015
AT ITER 1634 NEW BEST:: SOT 370941 SOS 253242 HAS SOPS 250039 HAS SOUS 123642 HAS SOUPS 121329 WITH SCORE 121582.242
AT ITER 1638 NEW BEST:: SOT 370411 SOS 253765 HAS SOPS 251169 HAS SOUS 123312 HAS SOUPS 121216 WITH SCORE 121469.765
AT ITER 1659 NEW BEST:: SOT 370311 SOS 253665 HAS SOPS 251069 HAS SOUS 123203 HAS SOUPS 121107 WITH SCORE 121360.665
AT ITER 1673 NEW BEST:: SOT 370325 SOS 253867 HAS SOPS 251271 HAS SOUS 123090 HAS SOUPS 120994 WITH SCORE 121247.867
AT ITER 1684 NEW BEST:: SOT 370301 SOS 253821 HAS SOPS 251225 HAS SOUS 123044 HAS SOUPS 120948 WITH SCORE 121201.821
AT ITER 1688 NEW BEST:: SOT 370180 SOS 251414 HAS SOPS 248750 HAS SOUS 123067 HAS SOUPS 120903 WITH SCORE 121154.414
AT ITER 1698 NEW BEST:: SOT 370172 SOS 251390 HAS SOPS 248726 HAS SOUS 123047 HAS SOUPS 120883 WITH SCORE 121134.39
AT ITER 1702 NEW BEST:: SOT 370172 SOS 251440 HAS SOPS 248776 HAS SOUS 123022 HAS SOUPS 120858 WITH SCORE 121109.44
AT ITER 1703 NEW BEST:: SOT 370006 SOS 251274 HAS SOPS 248610 HAS SOUS 122735 HAS SOUPS 120571 WITH SCORE 120822.274
AT ITER 1723 NEW BEST:: SOT 370000 SOS 251268 HAS SOPS 248604 HAS SOUS 122729 HAS SOUPS 120565 WITH SCORE 120816.268
AT ITER 1729 NEW BEST:: SOT 369591 SOS 252448 HAS SOPS 249784 HAS SOUS 122233 HAS SOUPS 120069 WITH SCORE 120321.448
AT ITER 1734 NEW BEST:: SOT 369588 SOS 252445 HAS SOPS 249781 HAS SOUS 122221 HAS SOUPS 120057 WITH SCORE 120309.445
AT ITER 1739 NEW BEST:: SOT 369564 SOS 252421 HAS SOPS 249757 HAS SOUS 122175 HAS SOUPS 120011 WITH SCORE 120263.421
AT ITER 1745 NEW BEST:: SOT 369428 SOS 252233 HAS SOPS 249361 HAS SOUS 121844 HAS SOUPS 119472 WITH SCORE 119724.233
AT ITER 1746 NEW BEST:: SOT 368996 SOS 251781 HAS SOPS 248909 HAS SOUS 121303 HAS SOUPS 118931 WITH SCORE 119182.781
AT ITER 1749 NEW BEST:: SOT 368996 SOS 251781 HAS SOPS 248909 HAS SOUS 121270 HAS SOUPS 118898 WITH SCORE 119149.781
AT ITER 1772 NEW BEST:: SOT 368934 SOS 251701 HAS SOPS 248829 HAS SOUS 121190 HAS SOUPS 118818 WITH SCORE 119069.701
AT ITER 1777 NEW BEST:: SOT 368929 SOS 251711 HAS SOPS 248839 HAS SOUS 121185 HAS SOUPS 118813 WITH SCORE 119064.711
AT ITER 1779 NEW BEST:: SOT 368929 SOS 251676 HAS SOPS 248804 HAS SOUS 121097 HAS SOUPS 118725 WITH SCORE 118976.676
AT ITER 1783 NEW BEST:: SOT 368893 SOS 252653 HAS SOPS 249815 HAS SOUS 120954 HAS SOUPS 118582 WITH SCORE 118834.653
AT ITER 1792 NEW BEST:: SOT 368893 SOS 252274 HAS SOPS 249436 HAS SOUS 120911 HAS SOUPS 118539 WITH SCORE 118791.274
AT ITER 1796 NEW BEST:: SOT 368738 SOS 252119 HAS SOPS 249281 HAS SOUS 120725 HAS SOUPS 118353 WITH SCORE 118605.119
AT ITER 1798 NEW BEST:: SOT 368790 SOS 250973 HAS SOPS 248135 HAS SOUS 120658 HAS SOUPS 118286 WITH SCORE 118536.973
AT ITER 1799 NEW BEST:: SOT 368688 SOS 250803 HAS SOPS 247965 HAS SOUS 120505 HAS SOUPS 118133 WITH SCORE 118383.803
AT ITER 1812 NEW BEST:: SOT 368830 SOS 251093 HAS SOPS 248232 HAS SOUS 120492 HAS SOUPS 118120 WITH SCORE 118371.093
AT ITER 1813 NEW BEST:: SOT 368830 SOS 251007 HAS SOPS 248146 HAS SOUS 120492 HAS SOUPS 118120 WITH SCORE 118371.007
AT ITER 1820 NEW BEST:: SOT 368816 SOS 251902 HAS SOPS 249041 HAS SOUS 120362 HAS SOUPS 117990 WITH SCORE 118241.902
AT ITER 1821 NEW BEST:: SOT 368808 SOS 251894 HAS SOPS 249033 HAS SOUS 120351 HAS SOUPS 117979 WITH SCORE 118230.894
AT ITER 1831 NEW BEST:: SOT 368836 SOS 250158 HAS SOPS 247264 HAS SOUS 120223 HAS SOUPS 117818 WITH SCORE 118068.158
AT ITER 1838 NEW BEST:: SOT 368692 SOS 249550 HAS SOPS 246656 HAS SOUS 120106 HAS SOUPS 117701 WITH SCORE 117950.55
AT ITER 1847 NEW BEST:: SOT 368548 SOS 249406 HAS SOPS 246512 HAS SOUS 119962 HAS SOUPS 117557 WITH SCORE 117806.406
AT ITER 1848 NEW BEST:: SOT 368468 SOS 249326 HAS SOPS 246432 HAS SOUS 119818 HAS SOUPS 117413 WITH SCORE 117662.326
AT ITER 1858 NEW BEST:: SOT 368399 SOS 249257 HAS SOPS 246363 HAS SOUS 119794 HAS SOUPS 117389 WITH SCORE 117638.257
AT ITER 1876 NEW BEST:: SOT 368425 SOS 249283 HAS SOPS 246389 HAS SOUS 119629 HAS SOUPS 117224 WITH SCORE 117473.283
AT ITER 1907 NEW BEST:: SOT 368449 SOS 249251 HAS SOPS 246343 HAS SOUS 119620 HAS SOUPS 117201 WITH SCORE 117450.251
AT ITER 1917 NEW BEST:: SOT 368472 SOS 248845 HAS SOPS 245937 HAS SOUS 119520 HAS SOUPS 117101 WITH SCORE 117349.845
AT ITER 1921 NEW BEST:: SOT 368472 SOS 248825 HAS SOPS 245917 HAS SOUS 119493 HAS SOUPS 117074 WITH SCORE 117322.825
AT ITER 1926 NEW BEST:: SOT 368800 SOS 249338 HAS SOPS 246430 HAS SOUS 119429 HAS SOUPS 117010 WITH SCORE 117259.338
AT ITER 1930 NEW BEST:: SOT 368800 SOS 249338 HAS SOPS 246422 HAS SOUS 119433 HAS SOUPS 117006 WITH SCORE 117255.338
AT ITER 1935 NEW BEST:: SOT 368732 SOS 249352 HAS SOPS 246436 HAS SOUS 119429 HAS SOUPS 117002 WITH SCORE 117251.352
AT ITER 1939 NEW BEST:: SOT 368727 SOS 249347 HAS SOPS 246431 HAS SOUS 119417 HAS SOUPS 116990 WITH SCORE 117239.347
AT ITER 1945 NEW BEST:: SOT 368369 SOS 248564 HAS SOPS 245648 HAS SOUS 119045 HAS SOUPS 116618 WITH SCORE 116866.564
AT ITER 1952 NEW BEST:: SOT 368153 SOS 248115 HAS SOPS 245199 HAS SOUS 118580 HAS SOUPS 116153 WITH SCORE 116401.115
AT ITER 1953 NEW BEST:: SOT 368081 SOS 248043 HAS SOPS 245127 HAS SOUS 118493 HAS SOUPS 116066 WITH SCORE 116314.043
AT ITER 1955 NEW BEST:: SOT 368014 SOS 247938 HAS SOPS 245022 HAS SOUS 118466 HAS SOUPS 116039 WITH SCORE 116286.938
AT ITER 1975 NEW BEST:: SOT 367880 SOS 247800 HAS SOPS 244884 HAS SOUS 118399 HAS SOUPS 115972 WITH SCORE 116219.8
AT ITER 1980 NEW BEST:: SOT 367880 SOS 247568 HAS SOPS 244652 HAS SOUS 118399 HAS SOUPS 115972 WITH SCORE 116219.568
AT ITER 1981 NEW BEST:: SOT 367880 SOS 246990 HAS SOPS 243918 HAS SOUS 118344 HAS SOUPS 115864 WITH SCORE 116110.99
AT ITER 1985 NEW BEST:: SOT 367965 SOS 246945 HAS SOPS 243873 HAS SOUS 118168 HAS SOUPS 115688 WITH SCORE 115934.945
AT ITER 1996 NEW BEST:: SOT 367889 SOS 246592 HAS SOPS 243520 HAS SOUS 118107 HAS SOUPS 115627 WITH SCORE 115873.592
AT ITER 2002 NEW BEST:: SOT 367874 SOS 246572 HAS SOPS 243500 HAS SOUS 118052 HAS SOUPS 115572 WITH SCORE 115818.572
AT ITER 2007 NEW BEST:: SOT 367756 SOS 246435 HAS SOPS 243363 HAS SOUS 117940 HAS SOUPS 115460 WITH SCORE 115706.435
AT ITER 2024 NEW BEST:: SOT 367684 SOS 246339 HAS SOPS 243267 HAS SOUS 117820 HAS SOUPS 115340 WITH SCORE 115586.339
AT ITER 2027 NEW BEST:: SOT 367152 SOS 245465 HAS SOPS 242735 HAS SOUS 117423 HAS SOUPS 115209 WITH SCORE 115454.465
AT ITER 2030 NEW BEST:: SOT 367090 SOS 245403 HAS SOPS 242673 HAS SOUS 117327 HAS SOUPS 115113 WITH SCORE 115358.403
AT ITER 2039 NEW BEST:: SOT 366934 SOS 244796 HAS SOPS 242066 HAS SOUS 117311 HAS SOUPS 115097 WITH SCORE 115341.796
AT ITER 2041 NEW BEST:: SOT 366934 SOS 244481 HAS SOPS 241751 HAS SOUS 117311 HAS SOUPS 115097 WITH SCORE 115341.481
AT ITER 2043 NEW BEST:: SOT 367074 SOS 244621 HAS SOPS 241891 HAS SOUS 117275 HAS SOUPS 115061 WITH SCORE 115305.621
AT ITER 2063 NEW BEST:: SOT 366934 SOS 244481 HAS SOPS 241751 HAS SOUS 117154 HAS SOUPS 114940 WITH SCORE 115184.481
AT ITER 2065 NEW BEST:: SOT 366910 SOS 244457 HAS SOPS 241727 HAS SOUS 117130 HAS SOUPS 114916 WITH SCORE 115160.457
AT ITER 2067 NEW BEST:: SOT 366580 SOS 243467 HAS SOPS 240671 HAS SOUS 116866 HAS SOUPS 114586 WITH SCORE 114829.467
AT ITER 2078 NEW BEST:: SOT 366474 SOS 242989 HAS SOPS 240065 HAS SOUS 116753 HAS SOUPS 114345 WITH SCORE 114587.989
AT ITER 2087 NEW BEST:: SOT 366248 SOS 242591 HAS SOPS 239667 HAS SOUS 116104 HAS SOUPS 113696 WITH SCORE 113938.591
AT ITER 2099 NEW BEST:: SOT 366037 SOS 242380 HAS SOPS 239456 HAS SOUS 115893 HAS SOUPS 113485 WITH SCORE 113727.38
AT ITER 2121 NEW BEST:: SOT 365954 SOS 242444 HAS SOPS 239520 HAS SOUS 115847 HAS SOUPS 113439 WITH SCORE 113681.444
AT ITER 2134 NEW BEST:: SOT 365734 SOS 242308 HAS SOPS 239384 HAS SOUS 115702 HAS SOUPS 113294 WITH SCORE 113536.308
AT ITER 2137 NEW BEST:: SOT 365734 SOS 241022 HAS SOPS 238098 HAS SOUS 115586 HAS SOUPS 113178 WITH SCORE 113419.022
AT ITER 2138 NEW BEST:: SOT 365659 SOS 240947 HAS SOPS 238023 HAS SOUS 115369 HAS SOUPS 112961 WITH SCORE 113201.947
AT ITER 2141 NEW BEST:: SOT 365635 SOS 240786 HAS SOPS 237862 HAS SOUS 115125 HAS SOUPS 112717 WITH SCORE 112957.786
AT ITER 2147 NEW BEST:: SOT 365641 SOS 240792 HAS SOPS 237868 HAS SOUS 115014 HAS SOUPS 112606 WITH SCORE 112846.792
AT ITER 2152 NEW BEST:: SOT 365550 SOS 241176 HAS SOPS 238252 HAS SOUS 114961 HAS SOUPS 112553 WITH SCORE 112794.176
AT ITER 2156 NEW BEST:: SOT 365544 SOS 241164 HAS SOPS 238240 HAS SOUS 114943 HAS SOUPS 112535 WITH SCORE 112776.164
AT ITER 2164 NEW BEST:: SOT 365256 SOS 240876 HAS SOPS 237952 HAS SOUS 114667 HAS SOUPS 112259 WITH SCORE 112499.876
AT ITER 2180 NEW BEST:: SOT 365126 SOS 240746 HAS SOPS 237822 HAS SOUS 114472 HAS SOUPS 112064 WITH SCORE 112304.746
AT ITER 2186 NEW BEST:: SOT 365054 SOS 240988 HAS SOPS 238064 HAS SOUS 114343 HAS SOUPS 111935 WITH SCORE 112175.988
AT ITER 2187 NEW BEST:: SOT 364908 SOS 240842 HAS SOPS 237918 HAS SOUS 114165 HAS SOUPS 111757 WITH SCORE 111997.842
AT ITER 2190 NEW BEST:: SOT 364908 SOS 240942 HAS SOPS 238018 HAS SOUS 113960 HAS SOUPS 111552 WITH SCORE 111792.942
AT ITER 2191 NEW BEST:: SOT 364533 SOS 240186 HAS SOPS 237031 HAS SOUS 113720 HAS SOUPS 111312 WITH SCORE 111552.186
AT ITER 2193 NEW BEST:: SOT 365196 SOS 241040 HAS SOPS 237694 HAS SOUS 113875 HAS SOUPS 111276 WITH SCORE 111517.04
AT ITER 2196 NEW BEST:: SOT 365023 SOS 240777 HAS SOPS 237431 HAS SOUS 113522 HAS SOUPS 110923 WITH SCORE 111163.777
AT ITER 2210 NEW BEST:: SOT 364971 SOS 240725 HAS SOPS 237379 HAS SOUS 113460 HAS SOUPS 110861 WITH SCORE 111101.725
AT ITER 2216 NEW BEST:: SOT 364996 SOS 240794 HAS SOPS 237448 HAS SOUS 113322 HAS SOUPS 110723 WITH SCORE 110963.794
AT ITER 2220 NEW BEST:: SOT 364768 SOS 240602 HAS SOPS 237256 HAS SOUS 113068 HAS SOUPS 110469 WITH SCORE 110709.602
AT ITER 2233 NEW BEST:: SOT 364667 SOS 240042 HAS SOPS 236696 HAS SOUS 112978 HAS SOUPS 110379 WITH SCORE 110619.042
AT ITER 2236 NEW BEST:: SOT 364414 SOS 239777 HAS SOPS 236431 HAS SOUS 112921 HAS SOUPS 110322 WITH SCORE 110561.777
AT ITER 2239 NEW BEST:: SOT 364246 SOS 239546 HAS SOPS 236200 HAS SOUS 112814 HAS SOUPS 110215 WITH SCORE 110454.546
AT ITER 2240 NEW BEST:: SOT 364242 SOS 239542 HAS SOPS 236196 HAS SOUS 112810 HAS SOUPS 110211 WITH SCORE 110450.542
AT ITER 2245 NEW BEST:: SOT 364242 SOS 239562 HAS SOPS 236216 HAS SOUS 112798 HAS SOUPS 110199 WITH SCORE 110438.562
AT ITER 2250 NEW BEST:: SOT 364189 SOS 239457 HAS SOPS 236111 HAS SOUS 112797 HAS SOUPS 110198 WITH SCORE 110437.457
AT ITER 2253 NEW BEST:: SOT 363991 SOS 239584 HAS SOPS 236238 HAS SOUS 112205 HAS SOUPS 109606 WITH SCORE 109845.584
AT ITER 2257 NEW BEST:: SOT 363764 SOS 239328 HAS SOPS 235982 HAS SOUS 112044 HAS SOUPS 109445 WITH SCORE 109684.328
AT ITER 2258 NEW BEST:: SOT 362863 SOS 239870 HAS SOPS 236611 HAS SOUS 111834 HAS SOUPS 109322 WITH SCORE 109561.87
AT ITER 2276 NEW BEST:: SOT 362818 SOS 239825 HAS SOPS 236566 HAS SOUS 111774 HAS SOUPS 109262 WITH SCORE 109501.825
AT ITER 2281 NEW BEST:: SOT 362673 SOS 239656 HAS SOPS 236397 HAS SOUS 111351 HAS SOUPS 108839 WITH SCORE 109078.656
AT ITER 2283 NEW BEST:: SOT 362430 SOS 238555 HAS SOPS 235296 HAS SOUS 111265 HAS SOUPS 108753 WITH SCORE 108991.555
AT ITER 2284 NEW BEST:: SOT 362140 SOS 238220 HAS SOPS 234961 HAS SOUS 111146 HAS SOUPS 108634 WITH SCORE 108872.22
AT ITER 2301 NEW BEST:: SOT 362060 SOS 238113 HAS SOPS 234854 HAS SOUS 111105 HAS SOUPS 108593 WITH SCORE 108831.113
AT ITER 2304 NEW BEST:: SOT 361904 SOS 237920 HAS SOPS 234661 HAS SOUS 110978 HAS SOUPS 108466 WITH SCORE 108703.92
AT ITER 2313 NEW BEST:: SOT 362059 SOS 238075 HAS SOPS 234816 HAS SOUS 110899 HAS SOUPS 108387 WITH SCORE 108625.075
AT ITER 2321 NEW BEST:: SOT 362009 SOS 238066 HAS SOPS 234807 HAS SOUS 110895 HAS SOUPS 108383 WITH SCORE 108621.066
AT ITER 2344 NEW BEST:: SOT 361486 SOS 237822 HAS SOPS 234563 HAS SOUS 110767 HAS SOUPS 108255 WITH SCORE 108492.822
AT ITER 2366 NEW BEST:: SOT 361486 SOS 237915 HAS SOPS 234689 HAS SOUS 110608 HAS SOUPS 108129 WITH SCORE 108366.915
AT ITER 2379 NEW BEST:: SOT 361486 SOS 237559 HAS SOPS 234333 HAS SOUS 110582 HAS SOUPS 108103 WITH SCORE 108340.559
AT ITER 2407 NEW BEST:: SOT 361441 SOS 237487 HAS SOPS 234261 HAS SOUS 110518 HAS SOUPS 108039 WITH SCORE 108276.487
AT ITER 2409 NEW BEST:: SOT 361420 SOS 237487 HAS SOPS 234219 HAS SOUS 110503 HAS SOUPS 107982 WITH SCORE 108219.487
AT ITER 2412 NEW BEST:: SOT 361368 SOS 237435 HAS SOPS 234167 HAS SOUS 110483 HAS SOUPS 107962 WITH SCORE 108199.435
AT ITER 2420 NEW BEST:: SOT 361421 SOS 237792 HAS SOPS 234524 HAS SOUS 110460 HAS SOUPS 107939 WITH SCORE 108176.792
AT ITER 2422 NEW BEST:: SOT 361396 SOS 237757 HAS SOPS 234489 HAS SOUS 110440 HAS SOUPS 107919 WITH SCORE 108156.757
AT ITER 2424 NEW BEST:: SOT 361393 SOS 237754 HAS SOPS 234472 HAS SOUS 110414 HAS SOUPS 107893 WITH SCORE 108130.754
AT ITER 2427 NEW BEST:: SOT 361279 SOS 236850 HAS SOPS 233568 HAS SOUS 110395 HAS SOUPS 107874 WITH SCORE 108110.85
AT ITER 2446 NEW BEST:: SOT 361241 SOS 236831 HAS SOPS 233549 HAS SOUS 110357 HAS SOUPS 107836 WITH SCORE 108072.831
AT ITER 2455 NEW BEST:: SOT 361214 SOS 236795 HAS SOPS 233513 HAS SOUS 110269 HAS SOUPS 107748 WITH SCORE 107984.795
AT ITER 2464 NEW BEST:: SOT 361292 SOS 236873 HAS SOPS 233591 HAS SOUS 110195 HAS SOUPS 107674 WITH SCORE 107910.873
AT ITER 2480 NEW BEST:: SOT 361112 SOS 236382 HAS SOPS 233055 HAS SOUS 110011 HAS SOUPS 107445 WITH SCORE 107681.382
AT ITER 2481 NEW BEST:: SOT 361044 SOS 236457 HAS SOPS 233130 HAS SOUS 109747 HAS SOUPS 107181 WITH SCORE 107417.457
AT ITER 2498 NEW BEST:: SOT 360967 SOS 236203 HAS SOPS 232876 HAS SOUS 109697 HAS SOUPS 107131 WITH SCORE 107367.203
AT ITER 2500 NEW BEST:: SOT 360761 SOS 235791 HAS SOPS 232464 HAS SOUS 109411 HAS SOUPS 106845 WITH SCORE 107080.791
AT ITER 2505 NEW BEST:: SOT 360789 SOS 235819 HAS SOPS 232492 HAS SOUS 109327 HAS SOUPS 106761 WITH SCORE 106996.819
AT ITER 2510 NEW BEST:: SOT 360737 SOS 235707 HAS SOPS 232380 HAS SOUS 109136 HAS SOUPS 106570 WITH SCORE 106805.707
AT ITER 2537 NEW BEST:: SOT 360780 SOS 235402 HAS SOPS 232075 HAS SOUS 108761 HAS SOUPS 106195 WITH SCORE 106430.402
AT ITER 2539 NEW BEST:: SOT 360993 SOS 236140 HAS SOPS 232813 HAS SOUS 108734 HAS SOUPS 106168 WITH SCORE 106404.14
AT ITER 2542 NEW BEST:: SOT 360917 SOS 236167 HAS SOPS 232840 HAS SOUS 108660 HAS SOUPS 106094 WITH SCORE 106330.167
AT ITER 2543 NEW BEST:: SOT 360880 SOS 236130 HAS SOPS 232803 HAS SOUS 108660 HAS SOUPS 106094 WITH SCORE 106330.13
AT ITER 2544 NEW BEST:: SOT 360882 SOS 236176 HAS SOPS 232849 HAS SOUS 108620 HAS SOUPS 106054 WITH SCORE 106290.176
AT ITER 2549 NEW BEST:: SOT 360876 SOS 236140 HAS SOPS 232813 HAS SOUS 108370 HAS SOUPS 105804 WITH SCORE 106040.14
AT ITER 2562 NEW BEST:: SOT 360586 SOS 235391 HAS SOPS 232000 HAS SOUS 108294 HAS SOUPS 105664 WITH SCORE 105899.391
AT ITER 2575 NEW BEST:: SOT 360518 SOS 235202 HAS SOPS 231811 HAS SOUS 108161 HAS SOUPS 105531 WITH SCORE 105766.202
AT ITER 2576 NEW BEST:: SOT 360518 SOS 235070 HAS SOPS 231679 HAS SOUS 108103 HAS SOUPS 105473 WITH SCORE 105708.07
AT ITER 2579 NEW BEST:: SOT 360152 SOS 234704 HAS SOPS 231313 HAS SOUS 107616 HAS SOUPS 104986 WITH SCORE 105220.704
AT ITER 2580 NEW BEST:: SOT 360247 SOS 234663 HAS SOPS 231272 HAS SOUS 107562 HAS SOUPS 104932 WITH SCORE 105166.663
AT ITER 2585 NEW BEST:: SOT 360075 SOS 234349 HAS SOPS 230958 HAS SOUS 107284 HAS SOUPS 104654 WITH SCORE 104888.349
AT ITER 2587 NEW BEST:: SOT 360044 SOS 234063 HAS SOPS 230672 HAS SOUS 107283 HAS SOUPS 104653 WITH SCORE 104887.063
AT ITER 2590 NEW BEST:: SOT 360019 SOS 233475 HAS SOPS 229810 HAS SOUS 107240 HAS SOUPS 104381 WITH SCORE 104614.475
AT ITER 2596 NEW BEST:: SOT 359675 SOS 232821 HAS SOPS 229156 HAS SOUS 106991 HAS SOUPS 104132 WITH SCORE 104364.821
AT ITER 2603 NEW BEST:: SOT 359673 SOS 232819 HAS SOPS 229154 HAS SOUS 106987 HAS SOUPS 104128 WITH SCORE 104360.819
AT ITER 2605 NEW BEST:: SOT 359662 SOS 232484 HAS SOPS 228819 HAS SOUS 106947 HAS SOUPS 104088 WITH SCORE 104320.484
AT ITER 2607 NEW BEST:: SOT 359584 SOS 232399 HAS SOPS 228734 HAS SOUS 106874 HAS SOUPS 104015 WITH SCORE 104247.399
AT ITER 2609 NEW BEST:: SOT 359523 SOS 232298 HAS SOPS 228633 HAS SOUS 106716 HAS SOUPS 103857 WITH SCORE 104089.298
AT ITER 2613 NEW BEST:: SOT 359508 SOS 232103 HAS SOPS 228438 HAS SOUS 106716 HAS SOUPS 103857 WITH SCORE 104089.103
AT ITER 2619 NEW BEST:: SOT 359167 SOS 231790 HAS SOPS 227873 HAS SOUS 106552 HAS SOUPS 103607 WITH SCORE 103838.79
AT ITER 2626 NEW BEST:: SOT 359050 SOS 231551 HAS SOPS 227634 HAS SOUS 106532 HAS SOUPS 103587 WITH SCORE 103818.551
AT ITER 2637 NEW BEST:: SOT 359136 SOS 231637 HAS SOPS 227720 HAS SOUS 106475 HAS SOUPS 103530 WITH SCORE 103761.637
AT ITER 2648 NEW BEST:: SOT 358982 SOS 231483 HAS SOPS 227566 HAS SOUS 106309 HAS SOUPS 103364 WITH SCORE 103595.483
AT ITER 2650 NEW BEST:: SOT 358923 SOS 231910 HAS SOPS 227853 HAS SOUS 106242 HAS SOUPS 103194 WITH SCORE 103425.91
AT ITER 2654 NEW BEST:: SOT 358918 SOS 231864 HAS SOPS 227901 HAS SOUS 106203 HAS SOUPS 103179 WITH SCORE 103410.864
AT ITER 2655 NEW BEST:: SOT 358969 SOS 231707 HAS SOPS 227744 HAS SOUS 106194 HAS SOUPS 103170 WITH SCORE 103401.707
AT ITER 2668 NEW BEST:: SOT 358925 SOS 231784 HAS SOPS 227821 HAS SOUS 106091 HAS SOUPS 103067 WITH SCORE 103298.784
AT ITER 2673 NEW BEST:: SOT 358919 SOS 231778 HAS SOPS 227815 HAS SOUS 106073 HAS SOUPS 103049 WITH SCORE 103280.778
AT ITER 2676 NEW BEST:: SOT 358803 SOS 231699 HAS SOPS 227736 HAS SOUS 105992 HAS SOUPS 102968 WITH SCORE 103199.699
AT ITER 2686 NEW BEST:: SOT 358779 SOS 231675 HAS SOPS 227712 HAS SOUS 105991 HAS SOUPS 102967 WITH SCORE 103198.675
AT ITER 2690 NEW BEST:: SOT 358779 SOS 231878 HAS SOPS 227825 HAS SOUS 106031 HAS SOUPS 102962 WITH SCORE 103193.878
AT ITER 2692 NEW BEST:: SOT 358779 SOS 231843 HAS SOPS 227748 HAS SOUS 106038 HAS SOUPS 102927 WITH SCORE 103158.843
AT ITER 2695 NEW BEST:: SOT 358704 SOS 231618 HAS SOPS 227498 HAS SOUS 105913 HAS SOUPS 102777 WITH SCORE 103008.618
AT ITER 2704 NEW BEST:: SOT 358700 SOS 231614 HAS SOPS 227494 HAS SOUS 105899 HAS SOUPS 102763 WITH SCORE 102994.614
AT ITER 2713 NEW BEST:: SOT 358259 SOS 230336 HAS SOPS 226322 HAS SOUS 105413 HAS SOUPS 102383 WITH SCORE 102613.336
AT ITER 2726 NEW BEST:: SOT 358146 SOS 230189 HAS SOPS 226175 HAS SOUS 105173 HAS SOUPS 102143 WITH SCORE 102373.189
AT ITER 2727 NEW BEST:: SOT 358253 SOS 230199 HAS SOPS 226185 HAS SOUS 105054 HAS SOUPS 102024 WITH SCORE 102254.199
AT ITER 2730 NEW BEST:: SOT 358253 SOS 230111 HAS SOPS 226097 HAS SOUS 105054 HAS SOUPS 102024 WITH SCORE 102254.111
AT ITER 2736 NEW BEST:: SOT 358400 SOS 230061 HAS SOPS 226047 HAS SOUS 104932 HAS SOUPS 101902 WITH SCORE 102132.061
AT ITER 2746 NEW BEST:: SOT 358262 SOS 229977 HAS SOPS 225963 HAS SOUS 104874 HAS SOUPS 101844 WITH SCORE 102073.977
AT ITER 2757 NEW BEST:: SOT 358262 SOS 229962 HAS SOPS 225956 HAS SOUS 104870 HAS SOUPS 101844 WITH SCORE 102073.962
AT ITER 2761 NEW BEST:: SOT 358199 SOS 229843 HAS SOPS 225837 HAS SOUS 104822 HAS SOUPS 101796 WITH SCORE 102025.843
AT ITER 2768 NEW BEST:: SOT 358561 SOS 230244 HAS SOPS 226238 HAS SOUS 104719 HAS SOUPS 101693 WITH SCORE 101923.244
AT ITER 2770 NEW BEST:: SOT 358561 SOS 230220 HAS SOPS 226208 HAS SOUS 104713 HAS SOUPS 101681 WITH SCORE 101911.22
AT ITER 2775 NEW BEST:: SOT 358436 SOS 230095 HAS SOPS 226083 HAS SOUS 104663 HAS SOUPS 101631 WITH SCORE 101861.095
AT ITER 2776 NEW BEST:: SOT 358421 SOS 230031 HAS SOPS 226004 HAS SOUS 104611 HAS SOUPS 101564 WITH SCORE 101794.031
AT ITER 2789 NEW BEST:: SOT 358404 SOS 229980 HAS SOPS 225953 HAS SOUS 104611 HAS SOUPS 101564 WITH SCORE 101793.98
AT ITER 2793 NEW BEST:: SOT 357871 SOS 229213 HAS SOPS 225186 HAS SOUS 104503 HAS SOUPS 101456 WITH SCORE 101685.213
AT ITER 2796 NEW BEST:: SOT 358108 SOS 229525 HAS SOPS 225498 HAS SOUS 103905 HAS SOUPS 100858 WITH SCORE 101087.525
AT ITER 2799 NEW BEST:: SOT 358108 SOS 229525 HAS SOPS 225498 HAS SOUS 103885 HAS SOUPS 100838 WITH SCORE 101067.525
AT ITER 2804 NEW BEST:: SOT 358123 SOS 229544 HAS SOPS 225517 HAS SOUS 103578 HAS SOUPS 100531 WITH SCORE 100760.544
AT ITER 2805 NEW BEST:: SOT 358063 SOS 229484 HAS SOPS 225457 HAS SOUS 103463 HAS SOUPS 100416 WITH SCORE 100645.484
AT ITER 2821 NEW BEST:: SOT 358010 SOS 229216 HAS SOPS 225209 HAS SOUS 103452 HAS SOUPS 100405 WITH SCORE 100634.216
AT ITER 2840 NEW BEST:: SOT 357984 SOS 229190 HAS SOPS 225183 HAS SOUS 103426 HAS SOUPS 100379 WITH SCORE 100608.19
AT ITER 2852 NEW BEST:: SOT 357855 SOS 229061 HAS SOPS 225054 HAS SOUS 103307 HAS SOUPS 100260 WITH SCORE 100489.061
AT ITER 2859 NEW BEST:: SOT 357783 SOS 228989 HAS SOPS 224982 HAS SOUS 103215 HAS SOUPS 100168 WITH SCORE 100396.989
AT ITER 2870 NEW BEST:: SOT 357213 SOS 227831 HAS SOPS 223944 HAS SOUS 103082 HAS SOUPS 100155 WITH SCORE 100382.831
AT ITER 2871 NEW BEST:: SOT 356875 SOS 227515 HAS SOPS 223663 HAS SOUS 102596 HAS SOUPS 99704 WITH SCORE 99931.515
AT ITER 2890 NEW BEST:: SOT 356918 SOS 227456 HAS SOPS 223604 HAS SOUS 102550 HAS SOUPS 99658 WITH SCORE 99885.456
AT ITER 2893 NEW BEST:: SOT 356873 SOS 227389 HAS SOPS 223537 HAS SOUS 102483 HAS SOUPS 99591 WITH SCORE 99818.389
AT ITER 2909 NEW BEST:: SOT 356873 SOS 227364 HAS SOPS 223512 HAS SOUS 102483 HAS SOUPS 99591 WITH SCORE 99818.364
AT ITER 2918 NEW BEST:: SOT 356659 SOS 226770 HAS SOPS 222847 HAS SOUS 102284 HAS SOUPS 99321 WITH SCORE 99547.77
AT ITER 2930 NEW BEST:: SOT 356659 SOS 227040 HAS SOPS 223117 HAS SOUS 102265 HAS SOUPS 99302 WITH SCORE 99529.04
AT ITER 2949 NEW BEST:: SOT 356609 SOS 226990 HAS SOPS 223067 HAS SOUS 102203 HAS SOUPS 99240 WITH SCORE 99466.99
AT ITER 2951 NEW BEST:: SOT 356609 SOS 226868 HAS SOPS 222945 HAS SOUS 102020 HAS SOUPS 99057 WITH SCORE 99283.868
AT ITER 2957 NEW BEST:: SOT 356880 SOS 227085 HAS SOPS 223162 HAS SOUS 101893 HAS SOUPS 98930 WITH SCORE 99157.085
AT ITER 2979 NEW BEST:: SOT 356696 SOS 226839 HAS SOPS 222916 HAS SOUS 101846 HAS SOUPS 98883 WITH SCORE 99109.839
AT ITER 3008 NEW BEST:: SOT 356518 SOS 226661 HAS SOPS 222738 HAS SOUS 101620 HAS SOUPS 98657 WITH SCORE 98883.661
AT ITER 3013 NEW BEST:: SOT 356302 SOS 226271 HAS SOPS 222348 HAS SOUS 101302 HAS SOUPS 98339 WITH SCORE 98565.271
AT ITER 3017 NEW BEST:: SOT 356344 SOS 226325 HAS SOPS 222427 HAS SOUS 101153 HAS SOUPS 98190 WITH SCORE 98416.325
AT ITER 3029 NEW BEST:: SOT 356344 SOS 226069 HAS SOPS 222171 HAS SOUS 101020 HAS SOUPS 98057 WITH SCORE 98283.069
AT ITER 3047 NEW BEST:: SOT 356355 SOS 226076 HAS SOPS 222174 HAS SOUS 101019 HAS SOUPS 98052 WITH SCORE 98278.076
AT ITER 3057 NEW BEST:: SOT 356376 SOS 225964 HAS SOPS 222062 HAS SOUS 100933 HAS SOUPS 97966 WITH SCORE 98191.964
AT ITER 3064 NEW BEST:: SOT 356392 SOS 225995 HAS SOPS 222088 HAS SOUS 100937 HAS SOUPS 97965 WITH SCORE 98190.995
AT ITER 3075 NEW BEST:: SOT 356377 SOS 225980 HAS SOPS 222073 HAS SOUS 100902 HAS SOUPS 97930 WITH SCORE 98155.98
AT ITER 3079 NEW BEST:: SOT 356147 SOS 225596 HAS SOPS 221689 HAS SOUS 100650 HAS SOUPS 97678 WITH SCORE 97903.596
AT ITER 3082 NEW BEST:: SOT 356169 SOS 225541 HAS SOPS 221634 HAS SOUS 100596 HAS SOUPS 97624 WITH SCORE 97849.541
AT ITER 3097 NEW BEST:: SOT 356069 SOS 225261 HAS SOPS 221209 HAS SOUS 100168 HAS SOUPS 97051 WITH SCORE 97276.261
AT ITER 3115 NEW BEST:: SOT 356123 SOS 225315 HAS SOPS 221263 HAS SOUS 99976 HAS SOUPS 96859 WITH SCORE 97084.315
AT ITER 3119 NEW BEST:: SOT 356094 SOS 225274 HAS SOPS 221222 HAS SOUS 99947 HAS SOUPS 96830 WITH SCORE 97055.274
AT ITER 3135 NEW BEST:: SOT 356099 SOS 225271 HAS SOPS 221177 HAS SOUS 99922 HAS SOUPS 96763 WITH SCORE 96988.271
AT ITER 3136 NEW BEST:: SOT 355940 SOS 225163 HAS SOPS 221069 HAS SOUS 99876 HAS SOUPS 96717 WITH SCORE 96942.163
AT ITER 3149 NEW BEST:: SOT 355940 SOS 225140 HAS SOPS 221046 HAS SOUS 99876 HAS SOUPS 96717 WITH SCORE 96942.14
AT ITER 3173 NEW BEST:: SOT 355307 SOS 226110 HAS SOPS 222016 HAS SOUS 99542 HAS SOUPS 96383 WITH SCORE 96609.11
AT ITER 3187 NEW BEST:: SOT 355233 SOS 226020 HAS SOPS 221926 HAS SOUS 99505 HAS SOUPS 96346 WITH SCORE 96572.02
AT ITER 3188 NEW BEST:: SOT 355208 SOS 226013 HAS SOPS 221919 HAS SOUS 99430 HAS SOUPS 96271 WITH SCORE 96497.013
AT ITER 3195 NEW BEST:: SOT 355232 SOS 226058 HAS SOPS 221964 HAS SOUS 99428 HAS SOUPS 96269 WITH SCORE 96495.058
AT ITER 3206 NEW BEST:: SOT 355226 SOS 226121 HAS SOPS 222027 HAS SOUS 99419 HAS SOUPS 96260 WITH SCORE 96486.121
AT ITER 3224 NEW BEST:: SOT 354981 SOS 225820 HAS SOPS 221726 HAS SOUS 99339 HAS SOUPS 96180 WITH SCORE 96405.82
AT ITER 3232 NEW BEST:: SOT 355005 SOS 225744 HAS SOPS 221650 HAS SOUS 99334 HAS SOUPS 96175 WITH SCORE 96400.744
AT ITER 3234 NEW BEST:: SOT 355005 SOS 225175 HAS SOPS 221081 HAS SOUS 99304 HAS SOUPS 96145 WITH SCORE 96370.175
AT ITER 3245 NEW BEST:: SOT 353099 SOS 223239 HAS SOPS 219145 HAS SOUS 99129 HAS SOUPS 95970 WITH SCORE 96193.239
AT ITER 3249 NEW BEST:: SOT 353092 SOS 223232 HAS SOPS 219138 HAS SOUS 99108 HAS SOUPS 95949 WITH SCORE 96172.232
AT ITER 3252 NEW BEST:: SOT 353064 SOS 223225 HAS SOPS 219131 HAS SOUS 99087 HAS SOUPS 95928 WITH SCORE 96151.225
AT ITER 3255 NEW BEST:: SOT 353024 SOS 223145 HAS SOPS 219061 HAS SOUS 99027 HAS SOUPS 95878 WITH SCORE 96101.145
AT ITER 3261 NEW BEST:: SOT 353092 SOS 222790 HAS SOPS 218793 HAS SOUS 98873 HAS SOUPS 95811 WITH SCORE 96033.79
AT ITER 3262 NEW BEST:: SOT 353185 SOS 222883 HAS SOPS 218886 HAS SOUS 98760 HAS SOUPS 95698 WITH SCORE 95920.883
AT ITER 3265 NEW BEST:: SOT 353167 SOS 222811 HAS SOPS 218814 HAS SOUS 98715 HAS SOUPS 95653 WITH SCORE 95875.811
AT ITER 3279 NEW BEST:: SOT 353084 SOS 222674 HAS SOPS 218677 HAS SOUS 98362 HAS SOUPS 95300 WITH SCORE 95522.674
AT ITER 3281 NEW BEST:: SOT 352818 SOS 222349 HAS SOPS 218352 HAS SOUS 98102 HAS SOUPS 95040 WITH SCORE 95262.349
AT ITER 3288 NEW BEST:: SOT 352818 SOS 222349 HAS SOPS 218352 HAS SOUS 98101 HAS SOUPS 95039 WITH SCORE 95261.349
AT ITER 3292 NEW BEST:: SOT 352650 SOS 222153 HAS SOPS 218156 HAS SOUS 98017 HAS SOUPS 94955 WITH SCORE 95177.153
AT ITER 3295 NEW BEST:: SOT 352492 SOS 221995 HAS SOPS 217998 HAS SOUS 97976 HAS SOUPS 94914 WITH SCORE 95135.995
AT ITER 3318 NEW BEST:: SOT 352492 SOS 221919 HAS SOPS 217958 HAS SOUS 97959 HAS SOUPS 94909 WITH SCORE 95130.919
AT ITER 3329 NEW BEST:: SOT 352640 SOS 221947 HAS SOPS 217986 HAS SOUS 97924 HAS SOUPS 94874 WITH SCORE 95095.947
AT ITER 3333 NEW BEST:: SOT 352596 SOS 221787 HAS SOPS 217942 HAS SOUS 97784 HAS SOUPS 94850 WITH SCORE 95071.787
AT ITER 3340 NEW BEST:: SOT 352580 SOS 221771 HAS SOPS 217926 HAS SOUS 97768 HAS SOUPS 94834 WITH SCORE 95055.771
AT ITER 3357 NEW BEST:: SOT 352560 SOS 221751 HAS SOPS 217906 HAS SOUS 97637 HAS SOUPS 94703 WITH SCORE 94924.751
AT ITER 3371 NEW BEST:: SOT 352261 SOS 221377 HAS SOPS 217532 HAS SOUS 97591 HAS SOUPS 94657 WITH SCORE 94878.377
AT ITER 3398 NEW BEST:: SOT 352488 SOS 220843 HAS SOPS 216998 HAS SOUS 97473 HAS SOUPS 94539 WITH SCORE 94759.843
AT ITER 3404 NEW BEST:: SOT 352315 SOS 220508 HAS SOPS 216663 HAS SOUS 97138 HAS SOUPS 94204 WITH SCORE 94424.508
AT ITER 3407 NEW BEST:: SOT 352391 SOS 220648 HAS SOPS 216803 HAS SOUS 96953 HAS SOUPS 94019 WITH SCORE 94239.648
AT ITER 3411 NEW BEST:: SOT 352413 SOS 220634 HAS SOPS 216789 HAS SOUS 96948 HAS SOUPS 94014 WITH SCORE 94234.634
AT ITER 3420 NEW BEST:: SOT 352399 SOS 220600 HAS SOPS 216755 HAS SOUS 96935 HAS SOUPS 94001 WITH SCORE 94221.6
AT ITER 3449 NEW BEST:: SOT 352231 SOS 220648 HAS SOPS 216822 HAS SOUS 96848 HAS SOUPS 93914 WITH SCORE 94134.648
AT ITER 3459 NEW BEST:: SOT 352228 SOS 220645 HAS SOPS 216819 HAS SOUS 96845 HAS SOUPS 93911 WITH SCORE 94131.645
AT ITER 3468 NEW BEST:: SOT 352115 SOS 220501 HAS SOPS 216619 HAS SOUS 96850 HAS SOUPS 93887 WITH SCORE 94107.501
AT ITER 3475 NEW BEST:: SOT 352094 SOS 220796 HAS SOPS 216914 HAS SOUS 96742 HAS SOUPS 93779 WITH SCORE 93999.796
AT ITER 3476 NEW BEST:: SOT 352124 SOS 220826 HAS SOPS 216944 HAS SOUS 96737 HAS SOUPS 93774 WITH SCORE 93994.826
AT ITER 3503 NEW BEST:: SOT 352079 SOS 220772 HAS SOPS 216800 HAS SOUS 96782 HAS SOUPS 93774 WITH SCORE 93994.772
AT ITER 3504 NEW BEST:: SOT 352014 SOS 220707 HAS SOPS 216735 HAS SOUS 96717 HAS SOUPS 93709 WITH SCORE 93929.707
AT ITER 3510 NEW BEST:: SOT 352001 SOS 220636 HAS SOPS 216664 HAS SOUS 96675 HAS SOUPS 93667 WITH SCORE 93887.636
AT ITER 3519 NEW BEST:: SOT 352007 SOS 220838 HAS SOPS 216866 HAS SOUS 96589 HAS SOUPS 93581 WITH SCORE 93801.838
AT ITER 3523 NEW BEST:: SOT 351994 SOS 220825 HAS SOPS 216853 HAS SOUS 96563 HAS SOUPS 93555 WITH SCORE 93775.825
AT ITER 3524 NEW BEST:: SOT 351457 SOS 220072 HAS SOPS 216316 HAS SOUS 95664 HAS SOUPS 92872 WITH SCORE 93092.072
AT ITER 3532 NEW BEST:: SOT 351361 SOS 219924 HAS SOPS 216168 HAS SOUS 95574 HAS SOUPS 92782 WITH SCORE 93001.924
AT ITER 3535 NEW BEST:: SOT 351361 SOS 219930 HAS SOPS 216174 HAS SOUS 95556 HAS SOUPS 92764 WITH SCORE 92983.93
AT ITER 3537 NEW BEST:: SOT 351040 SOS 219609 HAS SOPS 215853 HAS SOUS 95421 HAS SOUPS 92629 WITH SCORE 92848.609
AT ITER 3541 NEW BEST:: SOT 351152 SOS 220598 HAS SOPS 216842 HAS SOUS 95377 HAS SOUPS 92585 WITH SCORE 92805.598
AT ITER 3545 NEW BEST:: SOT 351271 SOS 220717 HAS SOPS 216961 HAS SOUS 95204 HAS SOUPS 92412 WITH SCORE 92632.717
AT ITER 3547 NEW BEST:: SOT 351292 SOS 220738 HAS SOPS 216982 HAS SOUS 95200 HAS SOUPS 92408 WITH SCORE 92628.738
AT ITER 3564 NEW BEST:: SOT 351357 SOS 220341 HAS SOPS 216522 HAS SOUS 95082 HAS SOUPS 92227 WITH SCORE 92447.341
AT ITER 3579 NEW BEST:: SOT 351458 SOS 220442 HAS SOPS 216623 HAS SOUS 95051 HAS SOUPS 92196 WITH SCORE 92416.442
AT ITER 3583 NEW BEST:: SOT 351454 SOS 220193 HAS SOPS 216339 HAS SOUS 94908 HAS SOUPS 92018 WITH SCORE 92238.193
AT ITER 3600 NEW BEST:: SOT 351368 SOS 220020 HAS SOPS 216166 HAS SOUS 94776 HAS SOUPS 91886 WITH SCORE 92106.02
AT ITER 3635 NEW BEST:: SOT 351358 SOS 220010 HAS SOPS 216156 HAS SOUS 94766 HAS SOUPS 91876 WITH SCORE 92096.01
AT ITER 3640 NEW BEST:: SOT 351351 SOS 219993 HAS SOPS 216139 HAS SOUS 94752 HAS SOUPS 91862 WITH SCORE 92081.993
AT ITER 3643 NEW BEST:: SOT 351361 SOS 220033 HAS SOPS 216179 HAS SOUS 94732 HAS SOUPS 91842 WITH SCORE 92062.033
AT ITER 3658 NEW BEST:: SOT 351574 SOS 220246 HAS SOPS 216392 HAS SOUS 94713 HAS SOUPS 91823 WITH SCORE 92043.246
AT ITER 3663 NEW BEST:: SOT 350569 SOS 219093 HAS SOPS 215239 HAS SOUS 94026 HAS SOUPS 91136 WITH SCORE 91355.093
AT ITER 3664 NEW BEST:: SOT 350569 SOS 218992 HAS SOPS 215138 HAS SOUS 93997 HAS SOUPS 91107 WITH SCORE 91325.992
AT ITER 3689 NEW BEST:: SOT 350543 SOS 218858 HAS SOPS 215004 HAS SOUS 93890 HAS SOUPS 91000 WITH SCORE 91218.858
AT ITER 3717 NEW BEST:: SOT 350535 SOS 218848 HAS SOPS 214994 HAS SOUS 93886 HAS SOUPS 90996 WITH SCORE 91214.848
AT ITER 3728 NEW BEST:: SOT 350270 SOS 218546 HAS SOPS 214692 HAS SOUS 93664 HAS SOUPS 90774 WITH SCORE 90992.546
AT ITER 3737 NEW BEST:: SOT 350173 SOS 218449 HAS SOPS 214595 HAS SOUS 93567 HAS SOUPS 90677 WITH SCORE 90895.449
AT ITER 3762 NEW BEST:: SOT 350173 SOS 218291 HAS SOPS 214437 HAS SOUS 93567 HAS SOUPS 90677 WITH SCORE 90895.291
AT ITER 3765 NEW BEST:: SOT 350186 SOS 218274 HAS SOPS 214420 HAS SOUS 93548 HAS SOUPS 90658 WITH SCORE 90876.274
AT ITER 3767 NEW BEST:: SOT 350118 SOS 218206 HAS SOPS 214352 HAS SOUS 93442 HAS SOUPS 90552 WITH SCORE 90770.206
AT ITER 3769 NEW BEST:: SOT 350133 SOS 217868 HAS SOPS 214014 HAS SOUS 93129 HAS SOUPS 90239 WITH SCORE 90456.868
AT ITER 3788 NEW BEST:: SOT 349663 SOS 216786 HAS SOPS 213056 HAS SOUS 92945 HAS SOUPS 90055 WITH SCORE 90271.786
AT ITER 3796 NEW BEST:: SOT 349500 SOS 216473 HAS SOPS 212790 HAS SOUS 92666 HAS SOUPS 89823 WITH SCORE 90039.473
AT ITER 3797 NEW BEST:: SOT 349466 SOS 216439 HAS SOPS 212756 HAS SOUS 92569 HAS SOUPS 89726 WITH SCORE 89942.439
AT ITER 3801 NEW BEST:: SOT 349829 SOS 216802 HAS SOPS 213119 HAS SOUS 92387 HAS SOUPS 89544 WITH SCORE 89760.802
AT ITER 3815 NEW BEST:: SOT 349785 SOS 216750 HAS SOPS 213067 HAS SOUS 92347 HAS SOUPS 89504 WITH SCORE 89720.75
AT ITER 3823 NEW BEST:: SOT 349785 SOS 216654 HAS SOPS 212971 HAS SOUS 92347 HAS SOUPS 89504 WITH SCORE 89720.654
AT ITER 3840 NEW BEST:: SOT 349741 SOS 216610 HAS SOPS 212927 HAS SOUS 92287 HAS SOUPS 89444 WITH SCORE 89660.61
AT ITER 3841 NEW BEST:: SOT 349621 SOS 216435 HAS SOPS 212752 HAS SOUS 92167 HAS SOUPS 89324 WITH SCORE 89540.435
AT ITER 3862 NEW BEST:: SOT 349607 SOS 216187 HAS SOPS 212504 HAS SOUS 92103 HAS SOUPS 89260 WITH SCORE 89476.187
AT ITER 3875 NEW BEST:: SOT 349573 SOS 216013 HAS SOPS 212330 HAS SOUS 91657 HAS SOUPS 88814 WITH SCORE 89030.013
AT ITER 3878 NEW BEST:: SOT 349537 SOS 215977 HAS SOPS 212294 HAS SOUS 91588 HAS SOUPS 88745 WITH SCORE 88960.977
AT ITER 3897 NEW BEST:: SOT 349380 SOS 215820 HAS SOPS 212137 HAS SOUS 91566 HAS SOUPS 88723 WITH SCORE 88938.82
AT ITER 3927 NEW BEST:: SOT 349380 SOS 216080 HAS SOPS 212397 HAS SOUS 91537 HAS SOUPS 88694 WITH SCORE 88910.08
AT ITER 3942 NEW BEST:: SOT 349430 SOS 215664 HAS SOPS 211981 HAS SOUS 90850 HAS SOUPS 88007 WITH SCORE 88222.664
AT ITER 3947 NEW BEST:: SOT 349354 SOS 215798 HAS SOPS 212115 HAS SOUS 90740 HAS SOUPS 87897 WITH SCORE 88112.798
AT ITER 3954 NEW BEST:: SOT 349322 SOS 215766 HAS SOPS 212083 HAS SOUS 90708 HAS SOUPS 87865 WITH SCORE 88080.766
AT ITER 3967 NEW BEST:: SOT 349333 SOS 215656 HAS SOPS 211973 HAS SOUS 90628 HAS SOUPS 87785 WITH SCORE 88000.656
AT ITER 3979 NEW BEST:: SOT 349354 SOS 215677 HAS SOPS 211994 HAS SOUS 90595 HAS SOUPS 87752 WITH SCORE 87967.677
AT ITER 3995 NEW BEST:: SOT 349296 SOS 215619 HAS SOPS 211936 HAS SOUS 90537 HAS SOUPS 87694 WITH SCORE 87909.619
AT ITER 4032 NEW BEST:: SOT 349318 SOS 215765 HAS SOPS 212082 HAS SOUS 90481 HAS SOUPS 87638 WITH SCORE 87853.765
AT ITER 4035 NEW BEST:: SOT 349318 SOS 215675 HAS SOPS 212023 HAS SOUS 90409 HAS SOUPS 87597 WITH SCORE 87812.675
AT ITER 4039 NEW BEST:: SOT 349252 SOS 215541 HAS SOPS 211889 HAS SOUS 90278 HAS SOUPS 87466 WITH SCORE 87681.541
AT ITER 4066 NEW BEST:: SOT 349207 SOS 215497 HAS SOPS 211845 HAS SOUS 90273 HAS SOUPS 87461 WITH SCORE 87676.497
AT ITER 4079 NEW BEST:: SOT 349263 SOS 215553 HAS SOPS 211789 HAS SOUS 90329 HAS SOUPS 87405 WITH SCORE 87620.553
AT ITER 4087 NEW BEST:: SOT 349183 SOS 215473 HAS SOPS 211709 HAS SOUS 90309 HAS SOUPS 87385 WITH SCORE 87600.473
AT ITER 4090 NEW BEST:: SOT 349179 SOS 215469 HAS SOPS 211705 HAS SOUS 90289 HAS SOUPS 87365 WITH SCORE 87580.469
AT ITER 4097 NEW BEST:: SOT 349336 SOS 215535 HAS SOPS 211771 HAS SOUS 90083 HAS SOUPS 87159 WITH SCORE 87374.535
AT ITER 4118 NEW BEST:: SOT 349306 SOS 215505 HAS SOPS 211741 HAS SOUS 90063 HAS SOUPS 87139 WITH SCORE 87354.505
AT ITER 4122 NEW BEST:: SOT 349306 SOS 215269 HAS SOPS 211505 HAS SOUS 90063 HAS SOUPS 87139 WITH SCORE 87354.269
AT ITER 4135 NEW BEST:: SOT 349306 SOS 215080 HAS SOPS 211316 HAS SOUS 90042 HAS SOUPS 87118 WITH SCORE 87333.08
AT ITER 4141 NEW BEST:: SOT 348971 SOS 214382 HAS SOPS 210618 HAS SOUS 89699 HAS SOUPS 86775 WITH SCORE 86989.382
AT ITER 4152 NEW BEST:: SOT 348971 SOS 214379 HAS SOPS 210615 HAS SOUS 89502 HAS SOUPS 86578 WITH SCORE 86792.379
AT ITER 4183 NEW BEST:: SOT 348892 SOS 214387 HAS SOPS 210623 HAS SOUS 89421 HAS SOUPS 86497 WITH SCORE 86711.387
AT ITER 4186 NEW BEST:: SOT 348843 SOS 214342 HAS SOPS 210578 HAS SOUS 89376 HAS SOUPS 86452 WITH SCORE 86666.342
AT ITER 4187 NEW BEST:: SOT 349114 SOS 214613 HAS SOPS 210849 HAS SOUS 89366 HAS SOUPS 86442 WITH SCORE 86656.613
AT ITER 4188 NEW BEST:: SOT 348971 SOS 214474 HAS SOPS 210710 HAS SOUS 89347 HAS SOUPS 86423 WITH SCORE 86637.474
AT ITER 4190 NEW BEST:: SOT 348840 SOS 214296 HAS SOPS 210532 HAS SOUS 89119 HAS SOUPS 86195 WITH SCORE 86409.296
AT ITER 4248 NEW BEST:: SOT 348837 SOS 214293 HAS SOPS 210529 HAS SOUS 89110 HAS SOUPS 86186 WITH SCORE 86400.293
AT ITER 4257 NEW BEST:: SOT 348729 SOS 214239 HAS SOPS 210475 HAS SOUS 89056 HAS SOUPS 86132 WITH SCORE 86346.239
AT ITER 4258 NEW BEST:: SOT 348659 SOS 214123 HAS SOPS 210359 HAS SOUS 88934 HAS SOUPS 86010 WITH SCORE 86224.123
AT ITER 4262 NEW BEST:: SOT 348402 SOS 213779 HAS SOPS 210015 HAS SOUS 88671 HAS SOUPS 85747 WITH SCORE 85960.779
AT ITER 4264 NEW BEST:: SOT 348404 SOS 213761 HAS SOPS 209997 HAS SOUS 88671 HAS SOUPS 85747 WITH SCORE 85960.761
AT ITER 4273 NEW BEST:: SOT 348292 SOS 213649 HAS SOPS 209885 HAS SOUS 88651 HAS SOUPS 85727 WITH SCORE 85940.649
AT ITER 4276 NEW BEST:: SOT 348286 SOS 213643 HAS SOPS 209879 HAS SOUS 88648 HAS SOUPS 85724 WITH SCORE 85937.643
AT ITER 4299 NEW BEST:: SOT 348218 SOS 213575 HAS SOPS 209811 HAS SOUS 88587 HAS SOUPS 85663 WITH SCORE 85876.575
AT ITER 4301 NEW BEST:: SOT 348198 SOS 213555 HAS SOPS 209793 HAS SOUS 88565 HAS SOUPS 85643 WITH SCORE 85856.555
AT ITER 4321 NEW BEST:: SOT 348288 SOS 213397 HAS SOPS 209744 HAS SOUS 88439 HAS SOUPS 85515 WITH SCORE 85728.397
AT ITER 4324 NEW BEST:: SOT 348393 SOS 213331 HAS SOPS 209678 HAS SOUS 88430 HAS SOUPS 85506 WITH SCORE 85719.331
AT ITER 4325 NEW BEST:: SOT 348268 SOS 213170 HAS SOPS 209517 HAS SOUS 88235 HAS SOUPS 85311 WITH SCORE 85524.17
AT ITER 4326 NEW BEST:: SOT 348281 SOS 213052 HAS SOPS 209444 HAS SOUS 88158 HAS SOUPS 85279 WITH SCORE 85492.052
AT ITER 4334 NEW BEST:: SOT 348266 SOS 212988 HAS SOPS 209414 HAS SOUS 88045 HAS SOUPS 85200 WITH SCORE 85412.988
AT ITER 4335 NEW BEST:: SOT 348266 SOS 213095 HAS SOPS 209521 HAS SOUS 87990 HAS SOUPS 85145 WITH SCORE 85358.095
AT ITER 4347 NEW BEST:: SOT 347856 SOS 212157 HAS SOPS 208583 HAS SOUS 87718 HAS SOUPS 84873 WITH SCORE 85085.157
AT ITER 4363 NEW BEST:: SOT 347884 SOS 211756 HAS SOPS 208182 HAS SOUS 87653 HAS SOUPS 84808 WITH SCORE 85019.756
AT ITER 4405 NEW BEST:: SOT 347831 SOS 211703 HAS SOPS 208129 HAS SOUS 87595 HAS SOUPS 84750 WITH SCORE 84961.703
AT ITER 4414 NEW BEST:: SOT 347770 SOS 211642 HAS SOPS 208068 HAS SOUS 87554 HAS SOUPS 84709 WITH SCORE 84920.642
AT ITER 4420 NEW BEST:: SOT 347708 SOS 211580 HAS SOPS 208006 HAS SOUS 87554 HAS SOUPS 84709 WITH SCORE 84920.58
AT ITER 4438 NEW BEST:: SOT 347690 SOS 211562 HAS SOPS 207988 HAS SOUS 87548 HAS SOUPS 84703 WITH SCORE 84914.562
AT ITER 4439 NEW BEST:: SOT 347561 SOS 210816 HAS SOPS 207242 HAS SOUS 87359 HAS SOUPS 84514 WITH SCORE 84724.816
AT ITER 4445 NEW BEST:: SOT 347483 SOS 210738 HAS SOPS 207164 HAS SOUS 87311 HAS SOUPS 84466 WITH SCORE 84676.738
AT ITER 4446 NEW BEST:: SOT 347493 SOS 210719 HAS SOPS 207145 HAS SOUS 87304 HAS SOUPS 84459 WITH SCORE 84669.719
AT ITER 4462 NEW BEST:: SOT 347349 SOS 210990 HAS SOPS 207416 HAS SOUS 87181 HAS SOUPS 84336 WITH SCORE 84546.99
AT ITER 4470 NEW BEST:: SOT 347145 SOS 210676 HAS SOPS 207102 HAS SOUS 86899 HAS SOUPS 84054 WITH SCORE 84264.676
AT ITER 4489 NEW BEST:: SOT 347126 SOS 210657 HAS SOPS 207083 HAS SOUS 86770 HAS SOUPS 83925 WITH SCORE 84135.657
AT ITER 4492 NEW BEST:: SOT 347154 SOS 210657 HAS SOPS 207083 HAS SOUS 86742 HAS SOUPS 83897 WITH SCORE 84107.657
AT ITER 4493 NEW BEST:: SOT 347115 SOS 210560 HAS SOPS 206986 HAS SOUS 86464 HAS SOUPS 83619 WITH SCORE 83829.56
AT ITER 4504 NEW BEST:: SOT 347035 SOS 210480 HAS SOPS 206906 HAS SOUS 86388 HAS SOUPS 83543 WITH SCORE 83753.48
AT ITER 4505 NEW BEST:: SOT 347033 SOS 210478 HAS SOPS 206904 HAS SOUS 86386 HAS SOUPS 83541 WITH SCORE 83751.478
AT ITER 4526 NEW BEST:: SOT 346860 SOS 210607 HAS SOPS 207033 HAS SOUS 86278 HAS SOUPS 83433 WITH SCORE 83643.607
AT ITER 4527 NEW BEST:: SOT 346865 SOS 210617 HAS SOPS 207043 HAS SOUS 86274 HAS SOUPS 83429 WITH SCORE 83639.617
AT ITER 4532 NEW BEST:: SOT 346865 SOS 210148 HAS SOPS 206574 HAS SOUS 86260 HAS SOUPS 83415 WITH SCORE 83625.148
AT ITER 4543 NEW BEST:: SOT 346977 SOS 210128 HAS SOPS 206554 HAS SOUS 86193 HAS SOUPS 83348 WITH SCORE 83558.128
AT ITER 4579 NEW BEST:: SOT 346977 SOS 209866 HAS SOPS 206292 HAS SOUS 86169 HAS SOUPS 83324 WITH SCORE 83533.866
AT ITER 4603 NEW BEST:: SOT 346945 SOS 209836 HAS SOPS 206260 HAS SOUS 86121 HAS SOUPS 83274 WITH SCORE 83483.836
AT ITER 4615 NEW BEST:: SOT 346945 SOS 209477 HAS SOPS 205901 HAS SOUS 85902 HAS SOUPS 83055 WITH SCORE 83264.477
AT ITER 4627 NEW BEST:: SOT 346919 SOS 209451 HAS SOPS 205875 HAS SOUS 85850 HAS SOUPS 83003 WITH SCORE 83212.451
AT ITER 4633 NEW BEST:: SOT 346879 SOS 209411 HAS SOPS 205835 HAS SOUS 85833 HAS SOUPS 82986 WITH SCORE 83195.411
AT ITER 4637 NEW BEST:: SOT 346922 SOS 209411 HAS SOPS 205835 HAS SOUS 85790 HAS SOUPS 82943 WITH SCORE 83152.411
AT ITER 4640 NEW BEST:: SOT 346956 SOS 209445 HAS SOPS 205869 HAS SOUS 85777 HAS SOUPS 82930 WITH SCORE 83139.445
AT ITER 4667 NEW BEST:: SOT 346944 SOS 209327 HAS SOPS 205782 HAS SOUS 85731 HAS SOUPS 82915 WITH SCORE 83124.327
AT ITER 4669 NEW BEST:: SOT 347078 SOS 209461 HAS SOPS 205916 HAS SOUS 85728 HAS SOUPS 82912 WITH SCORE 83121.461
AT ITER 4675 NEW BEST:: SOT 347026 SOS 209403 HAS SOPS 205858 HAS SOUS 85694 HAS SOUPS 82878 WITH SCORE 83087.403
AT ITER 4694 NEW BEST:: SOT 346910 SOS 209287 HAS SOPS 205742 HAS SOUS 85659 HAS SOUPS 82843 WITH SCORE 83052.287
AT ITER 4697 NEW BEST:: SOT 346963 SOS 209421 HAS SOPS 205876 HAS SOUS 85653 HAS SOUPS 82837 WITH SCORE 83046.421
AT ITER 4701 NEW BEST:: SOT 346953 SOS 209411 HAS SOPS 205866 HAS SOUS 85520 HAS SOUPS 82704 WITH SCORE 82913.411
AT ITER 4722 NEW BEST:: SOT 346592 SOS 208354 HAS SOPS 204809 HAS SOUS 85492 HAS SOUPS 82676 WITH SCORE 82884.354
AT ITER 4750 NEW BEST:: SOT 346505 SOS 208221 HAS SOPS 204676 HAS SOUS 85271 HAS SOUPS 82455 WITH SCORE 82663.221
AT ITER 4755 NEW BEST:: SOT 346521 SOS 208053 HAS SOPS 204508 HAS SOUS 85263 HAS SOUPS 82447 WITH SCORE 82655.053
AT ITER 4762 NEW BEST:: SOT 346521 SOS 208021 HAS SOPS 204476 HAS SOUS 85260 HAS SOUPS 82444 WITH SCORE 82652.021
AT ITER 4801 NEW BEST:: SOT 346445 SOS 207891 HAS SOPS 204346 HAS SOUS 85133 HAS SOUPS 82317 WITH SCORE 82524.891
AT ITER 4802 NEW BEST:: SOT 346413 SOS 207929 HAS SOPS 204384 HAS SOUS 85000 HAS SOUPS 82184 WITH SCORE 82391.929
AT ITER 4804 NEW BEST:: SOT 346409 SOS 207924 HAS SOPS 204379 HAS SOUS 84993 HAS SOUPS 82177 WITH SCORE 82384.924
AT ITER 4805 NEW BEST:: SOT 347254 SOS 206267 HAS SOPS 202471 HAS SOUS 84884 HAS SOUPS 81920 WITH SCORE 82126.267
AT ITER 4815 NEW BEST:: SOT 346999 SOS 206561 HAS SOPS 202734 HAS SOUS 84851 HAS SOUPS 81856 WITH SCORE 82062.561
AT ITER 4823 NEW BEST:: SOT 346891 SOS 206560 HAS SOPS 202733 HAS SOUS 84675 HAS SOUPS 81680 WITH SCORE 81886.56
AT ITER 4824 NEW BEST:: SOT 346849 SOS 206518 HAS SOPS 202691 HAS SOUS 84608 HAS SOUPS 81613 WITH SCORE 81819.518
AT ITER 4832 NEW BEST:: SOT 346834 SOS 206581 HAS SOPS 202643 HAS SOUS 84579 HAS SOUPS 81584 WITH SCORE 81790.581
AT ITER 4836 NEW BEST:: SOT 346848 SOS 206595 HAS SOPS 202657 HAS SOUS 84521 HAS SOUPS 81526 WITH SCORE 81732.595
AT ITER 4860 NEW BEST:: SOT 346805 SOS 206101 HAS SOPS 202163 HAS SOUS 84357 HAS SOUPS 81362 WITH SCORE 81568.101
AT ITER 4870 NEW BEST:: SOT 346802 SOS 206044 HAS SOPS 202106 HAS SOUS 84348 HAS SOUPS 81353 WITH SCORE 81559.044
AT ITER 4877 NEW BEST:: SOT 346624 SOS 205866 HAS SOPS 201928 HAS SOUS 84170 HAS SOUPS 81175 WITH SCORE 81380.866
AT ITER 4882 NEW BEST:: SOT 346678 SOS 205764 HAS SOPS 201826 HAS SOUS 83912 HAS SOUPS 80917 WITH SCORE 81122.764
AT ITER 4890 NEW BEST:: SOT 346596 SOS 205682 HAS SOPS 201744 HAS SOUS 83748 HAS SOUPS 80753 WITH SCORE 80958.682
AT ITER 4916 NEW BEST:: SOT 346592 SOS 205678 HAS SOPS 201740 HAS SOUS 83698 HAS SOUPS 80703 WITH SCORE 80908.678
AT ITER 4917 NEW BEST:: SOT 346660 SOS 205992 HAS SOPS 202054 HAS SOUS 83685 HAS SOUPS 80690 WITH SCORE 80895.992
AT ITER 4921 NEW BEST:: SOT 346529 SOS 205854 HAS SOPS 201916 HAS SOUS 83484 HAS SOUPS 80489 WITH SCORE 80694.854
AT ITER 4923 NEW BEST:: SOT 346202 SOS 205479 HAS SOPS 201541 HAS SOUS 83324 HAS SOUPS 80329 WITH SCORE 80534.479
AT ITER 4926 NEW BEST:: SOT 346160 SOS 205423 HAS SOPS 201485 HAS SOUS 83282 HAS SOUPS 80287 WITH SCORE 80492.423
AT ITER 4968 NEW BEST:: SOT 346115 SOS 205379 HAS SOPS 201426 HAS SOUS 83245 HAS SOUPS 80235 WITH SCORE 80440.379
AT ITER 4972 NEW BEST:: SOT 346099 SOS 205424 HAS SOPS 201471 HAS SOUS 83242 HAS SOUPS 80232 WITH SCORE 80437.424
AT ITER 4992 NEW BEST:: SOT 346030 SOS 205355 HAS SOPS 201402 HAS SOUS 83217 HAS SOUPS 80207 WITH SCORE 80412.355
AT ITER 4993 NEW BEST:: SOT 345965 SOS 205295 HAS SOPS 201342 HAS SOUS 83187 HAS SOUPS 80177 WITH SCORE 80382.295
AT ITER 4999 NEW BEST:: SOT 345791 SOS 205121 HAS SOPS 201168 HAS SOUS 83047 HAS SOUPS 80037 WITH SCORE 80242.121
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-6A-CTLCardinality-00 (EF((EX( ( potential( ( 1 ) <= (tk(P184)) ) & potential( ( 1 ) <= (tk(P358)) ) )))))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-01 ( (AF(( ( potential( (tk(P208)) <= (tk(P267)) ) & potential( (tk(P129)) <= (tk(P302)) ) ) & (! potential( (tk(P219)) <= (tk(P172)) )) ))) & (AX( ( ( potential( (tk(P104)) <= (tk(P55)) ) | potential( (tk(P293)) <= (tk(P313)) ) ) | ( potential( ( 2 ) <= (tk(P259)) ) & potential( ( 3 ) <= (tk(P192)) ) ) ))) )
PROPERTY: NoC3x3-PT-6A-CTLCardinality-02 (! (AF(( ( potential( ( 3 ) <= (tk(P79)) ) & potential( ( 3 ) <= (tk(P476)) ) ) & (! potential( (tk(P353)) <= (tk(P199)) )) ))))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-03 (EU( (AF(potential( (tk(P228)) <= (tk(P120)) ))),( ( potential( ( 3 ) <= (tk(P420)) ) | potential( ( 1 ) <= (tk(P298)) ) ) & ( potential( ( 3 ) <= (tk(P508)) ) | potential( ( 2 ) <= (tk(P290)) ) ) ) ))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-04 ( ( ( ( ( potential( ( 2 ) <= (tk(P34)) ) & potential( (tk(P445)) <= (tk(P480)) ) ) | ( potential( ( 3 ) <= (tk(P453)) ) & potential( (tk(P124)) <= (tk(P186)) ) ) ) | ( ( potential( ( 1 ) <= (tk(P270)) ) | potential( (tk(P359)) <= (tk(P293)) ) ) | ( potential( ( 1 ) <= (tk(P222)) ) | potential( ( 3 ) <= (tk(P44)) ) ) ) ) & ( (AG( potential( (tk(P403)) <= (tk(P196)) ))) & (EF(potential( (tk(P258)) <= (tk(P440)) ))) ) ) | potential( ( 3 ) <= (tk(P41)) ) )
PROPERTY: NoC3x3-PT-6A-CTLCardinality-05 (AG( ( potential( (tk(P458)) <= (tk(P285)) ) & ( ( potential( (tk(P472)) <= (tk(P459)) ) & potential( (tk(P74)) <= (tk(P504)) ) ) & ( potential( ( 1 ) <= (tk(P372)) ) | potential( (tk(P60)) <= (tk(P159)) ) ) ) )))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-06 (EF((AX( ( potential( ( 2 ) <= (tk(P393)) ) | potential( ( 1 ) <= (tk(P21)) ) )))))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-07 (! (EF((EF(potential( ( 3 ) <= (tk(P21)) ))))))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-08 (EU( (! ( potential( ( 3 ) <= (tk(P222)) ) & potential( (tk(P299)) <= (tk(P79)) ) )),(! ( potential( (tk(P465)) <= (tk(P4)) ) | potential( ( 3 ) <= (tk(P278)) ) )) ))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-09 (EU( ( potential( (tk(P375)) <= (tk(P21)) ) | ( potential( (tk(P339)) <= (tk(P248)) ) & potential( (tk(P511)) <= (tk(P498)) ) ) ),(EG( potential( ( 1 ) <= (tk(P274)) ))) ))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-10 (AG( (! (EF(potential( ( 2 ) <= (tk(P409)) ))))))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-11 (! (EF(( potential( ( 1 ) <= (tk(P64)) ) & (! potential( (tk(P154)) <= (tk(P40)) )) ))))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-12 (AF((AU( potential( (tk(P335)) <= (tk(P507)) ),potential( ( 2 ) <= (tk(P263)) ) ))))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-13 (AG( ( (AG( potential( (tk(P179)) <= (tk(P143)) ))) | (AX( potential( (tk(P424)) <= (tk(P431)) ))) )))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-14 (! (AU( potential( (tk(P332)) <= (tk(P421)) ),(! potential( (tk(P426)) <= (tk(P394)) )) )))
PROPERTY: NoC3x3-PT-6A-CTLCardinality-15 (! (AG( (EF(potential( ( 3 ) <= (tk(P365)) ))))))

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="NoC3x3-PT-6A"
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 NoC3x3-PT-6A, 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-158961250500411"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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