Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912710200216.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Sudoku-PT-AN07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710200216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 104K Feb 26 08:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 504K Feb 26 08:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 291K Feb 26 08:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Feb 26 08:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 385K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 137K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 507K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 380K Feb 26 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.0M Feb 26 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 577K Feb 26 08:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 26 08:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 204K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679226075364

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Sudoku-PT-AN07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 11:41:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 11:41:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 11:41:17] [INFO ] Load time of PNML (sax parser for PT used): 74 ms
[2023-03-19 11:41:17] [INFO ] Transformed 490 places.
[2023-03-19 11:41:17] [INFO ] Transformed 343 transitions.
[2023-03-19 11:41:17] [INFO ] Parsed PT model containing 490 places and 343 transitions and 1372 arcs in 146 ms.
[2023-03-19 11:41:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 490 places, 343 transitions and 1372 arcs took 7 ms.
Total runtime 189 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN07
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 490 places, 343 transitions, 1372 arcs.
AT ITER 0 NEW BEST:: SOT 123907 SOS 63143 HAS SOPS 63143 HAS SOUS 63143 HAS SOUPS 63143 WITH SCORE 63206.143
AT ITER 2 NEW BEST:: SOT 123785 SOS 63021 HAS SOPS 63021 HAS SOUS 63021 HAS SOUPS 63021 WITH SCORE 63084.021
AT ITER 10 NEW BEST:: SOT 123581 SOS 62919 HAS SOPS 62919 HAS SOUS 62851 HAS SOUPS 62851 WITH SCORE 62913.919
AT ITER 13 NEW BEST:: SOT 123435 SOS 62871 HAS SOPS 62871 HAS SOUS 62756 HAS SOUPS 62756 WITH SCORE 62818.871
AT ITER 14 NEW BEST:: SOT 123363 SOS 62822 HAS SOPS 62822 HAS SOUS 62684 HAS SOUPS 62684 WITH SCORE 62746.822
AT ITER 21 NEW BEST:: SOT 123381 SOS 62860 HAS SOPS 62860 HAS SOUS 62668 HAS SOUPS 62668 WITH SCORE 62730.86
AT ITER 34 NEW BEST:: SOT 123377 SOS 63188 HAS SOPS 63188 HAS SOUS 62664 HAS SOUPS 62664 WITH SCORE 62727.188
AT ITER 39 NEW BEST:: SOT 123377 SOS 63159 HAS SOPS 63159 HAS SOUS 62664 HAS SOUPS 62664 WITH SCORE 62727.159
AT ITER 41 NEW BEST:: SOT 123359 SOS 63398 HAS SOPS 63398 HAS SOUS 62654 HAS SOUPS 62654 WITH SCORE 62717.398
AT ITER 42 NEW BEST:: SOT 123341 SOS 63380 HAS SOPS 63380 HAS SOUS 62636 HAS SOUPS 62636 WITH SCORE 62699.38
AT ITER 45 NEW BEST:: SOT 123197 SOS 63236 HAS SOPS 63236 HAS SOUS 62492 HAS SOUPS 62492 WITH SCORE 62555.236
AT ITER 53 NEW BEST:: SOT 123051 SOS 63162 HAS SOPS 63162 HAS SOUS 62418 HAS SOUPS 62418 WITH SCORE 62481.162
AT ITER 56 NEW BEST:: SOT 122870 SOS 63288 HAS SOPS 63288 HAS SOUS 62279 HAS SOUPS 62279 WITH SCORE 62342.288
AT ITER 58 NEW BEST:: SOT 122712 SOS 63290 HAS SOPS 63290 HAS SOUS 62174 HAS SOUPS 62174 WITH SCORE 62237.29
AT ITER 60 NEW BEST:: SOT 122788 SOS 63255 HAS SOPS 63255 HAS SOUS 62130 HAS SOUPS 62130 WITH SCORE 62193.255
AT ITER 63 NEW BEST:: SOT 122665 SOS 63195 HAS SOPS 63195 HAS SOUS 62070 HAS SOUPS 62070 WITH SCORE 62133.195
AT ITER 70 NEW BEST:: SOT 122509 SOS 63039 HAS SOPS 63039 HAS SOUS 61914 HAS SOUPS 61914 WITH SCORE 61977.039
AT ITER 72 NEW BEST:: SOT 122509 SOS 62991 HAS SOPS 62991 HAS SOUS 61914 HAS SOUPS 61914 WITH SCORE 61976.991
AT ITER 73 NEW BEST:: SOT 122475 SOS 62978 HAS SOPS 62978 HAS SOUS 61910 HAS SOUPS 61910 WITH SCORE 61972.978
AT ITER 76 NEW BEST:: SOT 122475 SOS 62933 HAS SOPS 62933 HAS SOUS 61865 HAS SOUPS 61865 WITH SCORE 61927.933
AT ITER 87 NEW BEST:: SOT 122500 SOS 62927 HAS SOPS 62927 HAS SOUS 61831 HAS SOUPS 61831 WITH SCORE 61893.927
AT ITER 93 NEW BEST:: SOT 122356 SOS 62845 HAS SOPS 62845 HAS SOUS 61715 HAS SOUPS 61715 WITH SCORE 61777.845
AT ITER 104 NEW BEST:: SOT 122238 SOS 62727 HAS SOPS 62727 HAS SOUS 61597 HAS SOUPS 61597 WITH SCORE 61659.727
AT ITER 113 NEW BEST:: SOT 122238 SOS 62708 HAS SOPS 62708 HAS SOUS 61575 HAS SOUPS 61575 WITH SCORE 61637.708
AT ITER 115 NEW BEST:: SOT 122238 SOS 62647 HAS SOPS 62647 HAS SOUS 61575 HAS SOUPS 61575 WITH SCORE 61637.647
AT ITER 119 NEW BEST:: SOT 122112 SOS 62842 HAS SOPS 62842 HAS SOUS 61563 HAS SOUPS 61563 WITH SCORE 61625.842
AT ITER 126 NEW BEST:: SOT 122092 SOS 62847 HAS SOPS 62847 HAS SOUS 61543 HAS SOUPS 61543 WITH SCORE 61605.847
AT ITER 137 NEW BEST:: SOT 122002 SOS 62823 HAS SOPS 62823 HAS SOUS 61493 HAS SOUPS 61493 WITH SCORE 61555.823
AT ITER 152 NEW BEST:: SOT 122051 SOS 62831 HAS SOPS 62831 HAS SOUS 61462 HAS SOUPS 61462 WITH SCORE 61524.831
AT ITER 153 NEW BEST:: SOT 122047 SOS 62796 HAS SOPS 62796 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61490.796
AT ITER 157 NEW BEST:: SOT 122030 SOS 62756 HAS SOPS 62756 HAS SOUS 61364 HAS SOUPS 61364 WITH SCORE 61426.756
AT ITER 180 NEW BEST:: SOT 122017 SOS 62743 HAS SOPS 62743 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61413.743
AT ITER 183 NEW BEST:: SOT 122017 SOS 62730 HAS SOPS 62730 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61413.73
AT ITER 185 NEW BEST:: SOT 122013 SOS 62743 HAS SOPS 62743 HAS SOUS 61350 HAS SOUPS 61350 WITH SCORE 61412.743
AT ITER 186 NEW BEST:: SOT 122009 SOS 63130 HAS SOPS 63130 HAS SOUS 61346 HAS SOUPS 61346 WITH SCORE 61409.13
AT ITER 187 NEW BEST:: SOT 122009 SOS 63096 HAS SOPS 63096 HAS SOUS 61346 HAS SOUPS 61346 WITH SCORE 61409.096
AT ITER 191 NEW BEST:: SOT 122050 SOS 63144 HAS SOPS 63144 HAS SOUS 61343 HAS SOUPS 61343 WITH SCORE 61406.144
AT ITER 192 NEW BEST:: SOT 122047 SOS 63141 HAS SOPS 63141 HAS SOUS 61340 HAS SOUPS 61340 WITH SCORE 61403.141
AT ITER 195 NEW BEST:: SOT 122024 SOS 63149 HAS SOPS 63149 HAS SOUS 61317 HAS SOUPS 61317 WITH SCORE 61380.149
AT ITER 198 NEW BEST:: SOT 122024 SOS 63133 HAS SOPS 63133 HAS SOUS 61317 HAS SOUPS 61317 WITH SCORE 61380.133
AT ITER 199 NEW BEST:: SOT 122092 SOS 63159 HAS SOPS 63159 HAS SOUS 61311 HAS SOUPS 61311 WITH SCORE 61374.159
AT ITER 206 NEW BEST:: SOT 122123 SOS 63195 HAS SOPS 63195 HAS SOUS 61307 HAS SOUPS 61307 WITH SCORE 61370.195
AT ITER 210 NEW BEST:: SOT 122101 SOS 63292 HAS SOPS 63292 HAS SOUS 61297 HAS SOUPS 61297 WITH SCORE 61360.292
AT ITER 220 NEW BEST:: SOT 121935 SOS 63379 HAS SOPS 63379 HAS SOUS 61189 HAS SOUPS 61189 WITH SCORE 61252.379
AT ITER 225 NEW BEST:: SOT 121857 SOS 63383 HAS SOPS 63383 HAS SOUS 61127 HAS SOUPS 61127 WITH SCORE 61190.383
AT ITER 226 NEW BEST:: SOT 121857 SOS 63329 HAS SOPS 63329 HAS SOUS 61117 HAS SOUPS 61117 WITH SCORE 61180.329
AT ITER 230 NEW BEST:: SOT 121838 SOS 63310 HAS SOPS 63310 HAS SOUS 61098 HAS SOUPS 61098 WITH SCORE 61161.31
AT ITER 235 NEW BEST:: SOT 121658 SOS 63425 HAS SOPS 63425 HAS SOUS 61080 HAS SOUPS 61080 WITH SCORE 61143.425
AT ITER 241 NEW BEST:: SOT 121673 SOS 63441 HAS SOPS 63441 HAS SOUS 61042 HAS SOUPS 61042 WITH SCORE 61105.441
AT ITER 243 NEW BEST:: SOT 121532 SOS 63329 HAS SOPS 63329 HAS SOUS 60930 HAS SOUPS 60930 WITH SCORE 60993.329
AT ITER 245 NEW BEST:: SOT 121378 SOS 64081 HAS SOPS 64081 HAS SOUS 60874 HAS SOUPS 60874 WITH SCORE 60938.081
AT ITER 258 NEW BEST:: SOT 121378 SOS 64032 HAS SOPS 64032 HAS SOUS 60851 HAS SOUPS 60851 WITH SCORE 60915.032
AT ITER 264 NEW BEST:: SOT 121333 SOS 64003 HAS SOPS 64003 HAS SOUS 60822 HAS SOUPS 60822 WITH SCORE 60886.003
AT ITER 265 NEW BEST:: SOT 121379 SOS 64009 HAS SOPS 64009 HAS SOUS 60798 HAS SOUPS 60798 WITH SCORE 60862.009
AT ITER 270 NEW BEST:: SOT 121379 SOS 63908 HAS SOPS 63908 HAS SOUS 60798 HAS SOUPS 60798 WITH SCORE 60861.908
AT ITER 272 NEW BEST:: SOT 121428 SOS 63845 HAS SOPS 63845 HAS SOUS 60725 HAS SOUPS 60725 WITH SCORE 60788.845
AT ITER 275 NEW BEST:: SOT 121410 SOS 63698 HAS SOPS 63698 HAS SOUS 60652 HAS SOUPS 60652 WITH SCORE 60715.698
AT ITER 278 NEW BEST:: SOT 121295 SOS 63698 HAS SOPS 63698 HAS SOUS 60555 HAS SOUPS 60555 WITH SCORE 60618.698
AT ITER 279 NEW BEST:: SOT 121332 SOS 63785 HAS SOPS 63785 HAS SOUS 60528 HAS SOUPS 60528 WITH SCORE 60591.785
AT ITER 280 NEW BEST:: SOT 121282 SOS 63755 HAS SOPS 63755 HAS SOUS 60478 HAS SOUPS 60478 WITH SCORE 60541.755
AT ITER 286 NEW BEST:: SOT 121321 SOS 63768 HAS SOPS 63768 HAS SOUS 60465 HAS SOUPS 60465 WITH SCORE 60528.768
AT ITER 289 NEW BEST:: SOT 121281 SOS 63776 HAS SOPS 63776 HAS SOUS 60425 HAS SOUPS 60425 WITH SCORE 60488.776
AT ITER 292 NEW BEST:: SOT 121279 SOS 63774 HAS SOPS 63774 HAS SOUS 60423 HAS SOUPS 60423 WITH SCORE 60486.774
AT ITER 294 NEW BEST:: SOT 121266 SOS 63680 HAS SOPS 63680 HAS SOUS 60329 HAS SOUPS 60329 WITH SCORE 60392.68
AT ITER 295 NEW BEST:: SOT 121226 SOS 63592 HAS SOPS 63592 HAS SOUS 60310 HAS SOUPS 60310 WITH SCORE 60373.592
AT ITER 299 NEW BEST:: SOT 121083 SOS 63544 HAS SOPS 63544 HAS SOUS 60262 HAS SOUPS 60262 WITH SCORE 60325.544
AT ITER 311 NEW BEST:: SOT 121083 SOS 63529 HAS SOPS 63529 HAS SOUS 60262 HAS SOUPS 60262 WITH SCORE 60325.529
AT ITER 313 NEW BEST:: SOT 121118 SOS 63451 HAS SOPS 63451 HAS SOUS 60147 HAS SOUPS 60147 WITH SCORE 60210.451
AT ITER 316 NEW BEST:: SOT 120992 SOS 63637 HAS SOPS 63637 HAS SOUS 60021 HAS SOUPS 60021 WITH SCORE 60084.637
AT ITER 319 NEW BEST:: SOT 120992 SOS 63612 HAS SOPS 63612 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60072.612
AT ITER 321 NEW BEST:: SOT 120992 SOS 63575 HAS SOPS 63575 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60072.575
AT ITER 329 NEW BEST:: SOT 120992 SOS 63540 HAS SOPS 63540 HAS SOUS 60009 HAS SOUPS 60009 WITH SCORE 60072.54
AT ITER 334 NEW BEST:: SOT 120845 SOS 63624 HAS SOPS 63624 HAS SOUS 59872 HAS SOUPS 59872 WITH SCORE 59935.624
AT ITER 341 NEW BEST:: SOT 120874 SOS 63579 HAS SOPS 63579 HAS SOUS 59868 HAS SOUPS 59868 WITH SCORE 59931.579
AT ITER 347 NEW BEST:: SOT 120874 SOS 63540 HAS SOPS 63540 HAS SOUS 59868 HAS SOUPS 59868 WITH SCORE 59931.54
AT ITER 349 NEW BEST:: SOT 120874 SOS 63486 HAS SOPS 63486 HAS SOUS 59868 HAS SOUPS 59868 WITH SCORE 59931.486
AT ITER 350 NEW BEST:: SOT 120874 SOS 63347 HAS SOPS 63347 HAS SOUS 59863 HAS SOUPS 59863 WITH SCORE 59926.347
AT ITER 357 NEW BEST:: SOT 120874 SOS 63276 HAS SOPS 63276 HAS SOUS 59819 HAS SOUPS 59819 WITH SCORE 59882.276
AT ITER 358 NEW BEST:: SOT 120870 SOS 63272 HAS SOPS 63272 HAS SOUS 59815 HAS SOUPS 59815 WITH SCORE 59878.272
AT ITER 363 NEW BEST:: SOT 120835 SOS 63196 HAS SOPS 63196 HAS SOUS 59782 HAS SOUPS 59782 WITH SCORE 59845.196
AT ITER 367 NEW BEST:: SOT 120812 SOS 63150 HAS SOPS 63150 HAS SOUS 59765 HAS SOUPS 59765 WITH SCORE 59828.15
AT ITER 369 NEW BEST:: SOT 120717 SOS 63091 HAS SOPS 63091 HAS SOUS 59706 HAS SOUPS 59706 WITH SCORE 59769.091
AT ITER 374 NEW BEST:: SOT 120709 SOS 63321 HAS SOPS 63321 HAS SOUS 59698 HAS SOUPS 59698 WITH SCORE 59761.321
AT ITER 383 NEW BEST:: SOT 120709 SOS 63281 HAS SOPS 63281 HAS SOUS 59698 HAS SOUPS 59698 WITH SCORE 59761.281
AT ITER 399 NEW BEST:: SOT 120641 SOS 63388 HAS SOPS 63388 HAS SOUS 59677 HAS SOUPS 59677 WITH SCORE 59740.388
AT ITER 411 NEW BEST:: SOT 120616 SOS 63294 HAS SOPS 63294 HAS SOUS 59639 HAS SOUPS 59639 WITH SCORE 59702.294
AT ITER 425 NEW BEST:: SOT 120525 SOS 63245 HAS SOPS 63245 HAS SOUS 59634 HAS SOUPS 59634 WITH SCORE 59697.245
AT ITER 426 NEW BEST:: SOT 120407 SOS 63444 HAS SOPS 63444 HAS SOUS 59577 HAS SOUPS 59577 WITH SCORE 59640.444
AT ITER 433 NEW BEST:: SOT 120392 SOS 63426 HAS SOPS 63426 HAS SOUS 59565 HAS SOUPS 59565 WITH SCORE 59628.426
AT ITER 434 NEW BEST:: SOT 120391 SOS 63425 HAS SOPS 63425 HAS SOUS 59564 HAS SOUPS 59564 WITH SCORE 59627.425
AT ITER 435 NEW BEST:: SOT 120270 SOS 63399 HAS SOPS 63399 HAS SOUS 59497 HAS SOUPS 59497 WITH SCORE 59560.399
AT ITER 442 NEW BEST:: SOT 120131 SOS 63844 HAS SOPS 63844 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59502.844
AT ITER 447 NEW BEST:: SOT 120131 SOS 63841 HAS SOPS 63841 HAS SOUS 59439 HAS SOUPS 59439 WITH SCORE 59502.841
AT ITER 451 NEW BEST:: SOT 120070 SOS 63832 HAS SOPS 63832 HAS SOUS 59430 HAS SOUPS 59430 WITH SCORE 59493.832
AT ITER 457 NEW BEST:: SOT 119893 SOS 64955 HAS SOPS 64955 HAS SOUS 59411 HAS SOUPS 59411 WITH SCORE 59475.955
AT ITER 461 NEW BEST:: SOT 119714 SOS 64846 HAS SOPS 64846 HAS SOUS 59372 HAS SOUPS 59372 WITH SCORE 59436.846
AT ITER 469 NEW BEST:: SOT 119714 SOS 64846 HAS SOPS 64846 HAS SOUS 59352 HAS SOUPS 59352 WITH SCORE 59416.846
AT ITER 479 NEW BEST:: SOT 119754 SOS 64547 HAS SOPS 64547 HAS SOUS 59304 HAS SOUPS 59304 WITH SCORE 59368.547
AT ITER 480 NEW BEST:: SOT 119757 SOS 64571 HAS SOPS 64571 HAS SOUS 59293 HAS SOUPS 59293 WITH SCORE 59357.571
AT ITER 481 NEW BEST:: SOT 119768 SOS 64625 HAS SOPS 64625 HAS SOUS 59276 HAS SOUPS 59276 WITH SCORE 59340.625
AT ITER 486 NEW BEST:: SOT 119656 SOS 64556 HAS SOPS 64556 HAS SOUS 59179 HAS SOUPS 59179 WITH SCORE 59243.556
AT ITER 497 NEW BEST:: SOT 119561 SOS 64956 HAS SOPS 64956 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59183.956
AT ITER 500 NEW BEST:: SOT 119561 SOS 64930 HAS SOPS 64930 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59183.93
AT ITER 504 NEW BEST:: SOT 119561 SOS 64880 HAS SOPS 64880 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59183.88
AT ITER 518 NEW BEST:: SOT 119561 SOS 64850 HAS SOPS 64850 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59183.85
AT ITER 523 NEW BEST:: SOT 119561 SOS 64314 HAS SOPS 64314 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59183.314
AT ITER 526 NEW BEST:: SOT 119561 SOS 64297 HAS SOPS 64297 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59183.297
AT ITER 532 NEW BEST:: SOT 119569 SOS 64265 HAS SOPS 64265 HAS SOUS 59081 HAS SOUPS 59081 WITH SCORE 59145.265
AT ITER 540 NEW BEST:: SOT 119554 SOS 64250 HAS SOPS 64250 HAS SOUS 59066 HAS SOUPS 59066 WITH SCORE 59130.25
AT ITER 547 NEW BEST:: SOT 119454 SOS 64196 HAS SOPS 64196 HAS SOUS 59030 HAS SOUPS 59030 WITH SCORE 59094.196
AT ITER 552 NEW BEST:: SOT 119484 SOS 64190 HAS SOPS 64190 HAS SOUS 58988 HAS SOUPS 58988 WITH SCORE 59052.19
AT ITER 555 NEW BEST:: SOT 119484 SOS 64104 HAS SOPS 64104 HAS SOUS 58958 HAS SOUPS 58958 WITH SCORE 59022.104
AT ITER 561 NEW BEST:: SOT 119450 SOS 64330 HAS SOPS 64330 HAS SOUS 58950 HAS SOUPS 58950 WITH SCORE 59014.33
AT ITER 562 NEW BEST:: SOT 119365 SOS 65008 HAS SOPS 65008 HAS SOUS 58915 HAS SOUPS 58915 WITH SCORE 58980.008
AT ITER 564 NEW BEST:: SOT 119256 SOS 65067 HAS SOPS 65067 HAS SOUS 58873 HAS SOUPS 58873 WITH SCORE 58938.067
AT ITER 567 NEW BEST:: SOT 119256 SOS 65033 HAS SOPS 65033 HAS SOUS 58873 HAS SOUPS 58873 WITH SCORE 58938.033
AT ITER 569 NEW BEST:: SOT 118982 SOS 64888 HAS SOPS 64888 HAS SOUS 58598 HAS SOUPS 58598 WITH SCORE 58662.888
AT ITER 572 NEW BEST:: SOT 118744 SOS 64743 HAS SOPS 64743 HAS SOUS 58481 HAS SOUPS 58481 WITH SCORE 58545.743
AT ITER 576 NEW BEST:: SOT 118736 SOS 64735 HAS SOPS 64735 HAS SOUS 58471 HAS SOUPS 58471 WITH SCORE 58535.735
AT ITER 578 NEW BEST:: SOT 118621 SOS 65247 HAS SOPS 65247 HAS SOUS 58424 HAS SOUPS 58424 WITH SCORE 58489.247
AT ITER 585 NEW BEST:: SOT 118554 SOS 65426 HAS SOPS 65426 HAS SOUS 58406 HAS SOUPS 58406 WITH SCORE 58471.426
AT ITER 594 NEW BEST:: SOT 118567 SOS 65400 HAS SOPS 65400 HAS SOUS 58329 HAS SOUPS 58329 WITH SCORE 58394.4
AT ITER 597 NEW BEST:: SOT 118595 SOS 65317 HAS SOPS 65317 HAS SOUS 58322 HAS SOUPS 58322 WITH SCORE 58387.317
AT ITER 602 NEW BEST:: SOT 118595 SOS 65263 HAS SOPS 65263 HAS SOUS 58322 HAS SOUPS 58322 WITH SCORE 58387.263
AT ITER 604 NEW BEST:: SOT 118586 SOS 65254 HAS SOPS 65254 HAS SOUS 58313 HAS SOUPS 58313 WITH SCORE 58378.254
AT ITER 613 NEW BEST:: SOT 118540 SOS 65208 HAS SOPS 65208 HAS SOUS 58251 HAS SOUPS 58251 WITH SCORE 58316.208
AT ITER 623 NEW BEST:: SOT 118540 SOS 65107 HAS SOPS 65107 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58309.107
AT ITER 631 NEW BEST:: SOT 118540 SOS 65082 HAS SOPS 65082 HAS SOUS 58210 HAS SOUPS 58210 WITH SCORE 58275.082
AT ITER 642 NEW BEST:: SOT 118540 SOS 65163 HAS SOPS 65163 HAS SOUS 58201 HAS SOUPS 58201 WITH SCORE 58266.163
AT ITER 645 NEW BEST:: SOT 118540 SOS 64822 HAS SOPS 64822 HAS SOUS 58201 HAS SOUPS 58201 WITH SCORE 58265.822
AT ITER 651 NEW BEST:: SOT 118540 SOS 64811 HAS SOPS 64811 HAS SOUS 58201 HAS SOUPS 58201 WITH SCORE 58265.811
AT ITER 663 NEW BEST:: SOT 118540 SOS 64865 HAS SOPS 64865 HAS SOUS 58173 HAS SOUPS 58173 WITH SCORE 58237.865
AT ITER 665 NEW BEST:: SOT 118473 SOS 64763 HAS SOPS 64763 HAS SOUS 58101 HAS SOUPS 58101 WITH SCORE 58165.763
AT ITER 666 NEW BEST:: SOT 118473 SOS 64722 HAS SOPS 64722 HAS SOUS 58069 HAS SOUPS 58069 WITH SCORE 58133.722
AT ITER 667 NEW BEST:: SOT 118473 SOS 64682 HAS SOPS 64682 HAS SOUS 58069 HAS SOUPS 58069 WITH SCORE 58133.682
AT ITER 670 NEW BEST:: SOT 118473 SOS 64559 HAS SOPS 64559 HAS SOUS 58069 HAS SOUPS 58069 WITH SCORE 58133.559
AT ITER 673 NEW BEST:: SOT 118416 SOS 64521 HAS SOPS 64521 HAS SOUS 57962 HAS SOUPS 57962 WITH SCORE 58026.521
AT ITER 676 NEW BEST:: SOT 118416 SOS 64430 HAS SOPS 64430 HAS SOUS 57962 HAS SOUPS 57962 WITH SCORE 58026.43
AT ITER 693 NEW BEST:: SOT 118416 SOS 64453 HAS SOPS 64453 HAS SOUS 57942 HAS SOUPS 57942 WITH SCORE 58006.453
AT ITER 698 NEW BEST:: SOT 118360 SOS 64426 HAS SOPS 64426 HAS SOUS 57915 HAS SOUPS 57915 WITH SCORE 57979.426
AT ITER 714 NEW BEST:: SOT 118360 SOS 64395 HAS SOPS 64395 HAS SOUS 57849 HAS SOUPS 57849 WITH SCORE 57913.395
AT ITER 715 NEW BEST:: SOT 118360 SOS 64360 HAS SOPS 64360 HAS SOUS 57849 HAS SOUPS 57849 WITH SCORE 57913.36
AT ITER 718 NEW BEST:: SOT 117996 SOS 64225 HAS SOPS 64225 HAS SOUS 57562 HAS SOUPS 57562 WITH SCORE 57626.225
AT ITER 725 NEW BEST:: SOT 117981 SOS 64210 HAS SOPS 64210 HAS SOUS 57547 HAS SOUPS 57547 WITH SCORE 57611.21
AT ITER 727 NEW BEST:: SOT 117981 SOS 64106 HAS SOPS 64106 HAS SOUS 57547 HAS SOUPS 57547 WITH SCORE 57611.106
AT ITER 729 NEW BEST:: SOT 117818 SOS 64058 HAS SOPS 64058 HAS SOUS 57466 HAS SOUPS 57466 WITH SCORE 57530.058
AT ITER 747 NEW BEST:: SOT 117818 SOS 64056 HAS SOPS 64056 HAS SOUS 57464 HAS SOUPS 57464 WITH SCORE 57528.056
AT ITER 750 NEW BEST:: SOT 117818 SOS 63918 HAS SOPS 63918 HAS SOUS 57464 HAS SOUPS 57464 WITH SCORE 57527.918
AT ITER 765 NEW BEST:: SOT 117818 SOS 63880 HAS SOPS 63880 HAS SOUS 57417 HAS SOUPS 57417 WITH SCORE 57480.88
AT ITER 774 NEW BEST:: SOT 117818 SOS 63855 HAS SOPS 63855 HAS SOUS 57399 HAS SOUPS 57399 WITH SCORE 57462.855
AT ITER 782 NEW BEST:: SOT 117719 SOS 63756 HAS SOPS 63756 HAS SOUS 57221 HAS SOUPS 57221 WITH SCORE 57284.756
AT ITER 783 NEW BEST:: SOT 117508 SOS 63644 HAS SOPS 63644 HAS SOUS 57179 HAS SOUPS 57179 WITH SCORE 57242.644
AT ITER 791 NEW BEST:: SOT 117368 SOS 63753 HAS SOPS 63753 HAS SOUS 57085 HAS SOUPS 57085 WITH SCORE 57148.753
AT ITER 807 NEW BEST:: SOT 117368 SOS 63634 HAS SOPS 63634 HAS SOUS 57062 HAS SOUPS 57062 WITH SCORE 57125.634
AT ITER 823 NEW BEST:: SOT 117381 SOS 63605 HAS SOPS 63605 HAS SOUS 57021 HAS SOUPS 57021 WITH SCORE 57084.605
AT ITER 832 NEW BEST:: SOT 117453 SOS 63697 HAS SOPS 63697 HAS SOUS 56990 HAS SOUPS 56990 WITH SCORE 57053.697
AT ITER 833 NEW BEST:: SOT 117451 SOS 63695 HAS SOPS 63695 HAS SOUS 56988 HAS SOUPS 56988 WITH SCORE 57051.695
AT ITER 853 NEW BEST:: SOT 117451 SOS 63625 HAS SOPS 63625 HAS SOUS 56988 HAS SOUPS 56988 WITH SCORE 57051.625
AT ITER 862 NEW BEST:: SOT 117401 SOS 63593 HAS SOPS 63593 HAS SOUS 56978 HAS SOUPS 56978 WITH SCORE 57041.593
AT ITER 873 NEW BEST:: SOT 117443 SOS 63597 HAS SOPS 63597 HAS SOUS 56903 HAS SOUPS 56903 WITH SCORE 56966.597
AT ITER 894 NEW BEST:: SOT 117441 SOS 63561 HAS SOPS 63561 HAS SOUS 56896 HAS SOUPS 56896 WITH SCORE 56959.561
AT ITER 916 NEW BEST:: SOT 117421 SOS 63537 HAS SOPS 63537 HAS SOUS 56829 HAS SOUPS 56829 WITH SCORE 56892.537
AT ITER 922 NEW BEST:: SOT 117400 SOS 64038 HAS SOPS 64038 HAS SOUS 56808 HAS SOUPS 56808 WITH SCORE 56872.038
AT ITER 924 NEW BEST:: SOT 117350 SOS 63989 HAS SOPS 63989 HAS SOUS 56759 HAS SOUPS 56759 WITH SCORE 56822.989
AT ITER 927 NEW BEST:: SOT 117282 SOS 63984 HAS SOPS 63984 HAS SOUS 56754 HAS SOUPS 56754 WITH SCORE 56817.984
AT ITER 949 NEW BEST:: SOT 117282 SOS 63938 HAS SOPS 63938 HAS SOUS 56722 HAS SOUPS 56722 WITH SCORE 56785.938
AT ITER 950 NEW BEST:: SOT 117282 SOS 63888 HAS SOPS 63888 HAS SOUS 56676 HAS SOUPS 56676 WITH SCORE 56739.888
AT ITER 983 NEW BEST:: SOT 117260 SOS 63908 HAS SOPS 63908 HAS SOUS 56654 HAS SOUPS 56654 WITH SCORE 56717.908
AT ITER 989 NEW BEST:: SOT 117050 SOS 63787 HAS SOPS 63787 HAS SOUS 56502 HAS SOUPS 56502 WITH SCORE 56565.787
AT ITER 993 NEW BEST:: SOT 116990 SOS 63847 HAS SOPS 63847 HAS SOUS 56442 HAS SOUPS 56442 WITH SCORE 56505.847
AT ITER 998 NEW BEST:: SOT 116989 SOS 63804 HAS SOPS 63804 HAS SOUS 56399 HAS SOUPS 56399 WITH SCORE 56462.804
AT ITER 999 NEW BEST:: SOT 116937 SOS 63770 HAS SOPS 63770 HAS SOUS 56365 HAS SOUPS 56365 WITH SCORE 56428.77
AT ITER 1005 NEW BEST:: SOT 116937 SOS 63712 HAS SOPS 63712 HAS SOUS 56365 HAS SOUPS 56365 WITH SCORE 56428.712
AT ITER 1012 NEW BEST:: SOT 116878 SOS 63653 HAS SOPS 63653 HAS SOUS 56306 HAS SOUPS 56306 WITH SCORE 56369.653
AT ITER 1019 NEW BEST:: SOT 116876 SOS 63795 HAS SOPS 63795 HAS SOUS 56304 HAS SOUPS 56304 WITH SCORE 56367.795
AT ITER 1023 NEW BEST:: SOT 116654 SOS 63678 HAS SOPS 63678 HAS SOUS 56135 HAS SOUPS 56135 WITH SCORE 56198.678
AT ITER 1024 NEW BEST:: SOT 116654 SOS 63636 HAS SOPS 63636 HAS SOUS 56135 HAS SOUPS 56135 WITH SCORE 56198.636
AT ITER 1025 NEW BEST:: SOT 116563 SOS 63610 HAS SOPS 63610 HAS SOUS 56109 HAS SOUPS 56109 WITH SCORE 56172.61
AT ITER 1057 NEW BEST:: SOT 116606 SOS 63685 HAS SOPS 63685 HAS SOUS 56091 HAS SOUPS 56091 WITH SCORE 56154.685
AT ITER 1069 NEW BEST:: SOT 116609 SOS 63672 HAS SOPS 63672 HAS SOUS 56078 HAS SOUPS 56078 WITH SCORE 56141.672
AT ITER 1106 NEW BEST:: SOT 116606 SOS 63678 HAS SOPS 63678 HAS SOUS 56077 HAS SOUPS 56077 WITH SCORE 56140.678
AT ITER 1107 NEW BEST:: SOT 116533 SOS 63673 HAS SOPS 63673 HAS SOUS 56072 HAS SOUPS 56072 WITH SCORE 56135.673
AT ITER 1120 NEW BEST:: SOT 116533 SOS 63672 HAS SOPS 63672 HAS SOUS 56054 HAS SOUPS 56054 WITH SCORE 56117.672
AT ITER 1121 NEW BEST:: SOT 116423 SOS 63672 HAS SOPS 63672 HAS SOUS 56004 HAS SOUPS 56004 WITH SCORE 56067.672
AT ITER 1132 NEW BEST:: SOT 116187 SOS 63557 HAS SOPS 63557 HAS SOUS 56000 HAS SOUPS 56000 WITH SCORE 56063.557
AT ITER 1139 NEW BEST:: SOT 116038 SOS 63463 HAS SOPS 63463 HAS SOUS 55906 HAS SOUPS 55906 WITH SCORE 55969.463
AT ITER 1149 NEW BEST:: SOT 115678 SOS 63252 HAS SOPS 63252 HAS SOUS 55784 HAS SOUPS 55784 WITH SCORE 55847.252
AT ITER 1150 NEW BEST:: SOT 115427 SOS 63091 HAS SOPS 63091 HAS SOUS 55744 HAS SOUPS 55744 WITH SCORE 55807.091
AT ITER 1151 NEW BEST:: SOT 115321 SOS 62998 HAS SOPS 62998 HAS SOUS 55681 HAS SOUPS 55681 WITH SCORE 55743.998
AT ITER 1153 NEW BEST:: SOT 115299 SOS 62976 HAS SOPS 62976 HAS SOUS 55621 HAS SOUPS 55621 WITH SCORE 55683.976
AT ITER 1155 NEW BEST:: SOT 115367 SOS 62925 HAS SOPS 62925 HAS SOUS 55559 HAS SOUPS 55559 WITH SCORE 55621.925
AT ITER 1168 NEW BEST:: SOT 115253 SOS 62822 HAS SOPS 62822 HAS SOUS 55456 HAS SOUPS 55456 WITH SCORE 55518.822
AT ITER 1173 NEW BEST:: SOT 115207 SOS 62779 HAS SOPS 62779 HAS SOUS 55410 HAS SOUPS 55410 WITH SCORE 55472.779
AT ITER 1184 NEW BEST:: SOT 115172 SOS 62845 HAS SOPS 62845 HAS SOUS 55371 HAS SOUPS 55371 WITH SCORE 55433.845
AT ITER 1186 NEW BEST:: SOT 115147 SOS 62820 HAS SOPS 62820 HAS SOUS 55346 HAS SOUPS 55346 WITH SCORE 55408.82
AT ITER 1200 NEW BEST:: SOT 115146 SOS 62819 HAS SOPS 62819 HAS SOUS 55345 HAS SOUPS 55345 WITH SCORE 55407.819
AT ITER 1208 NEW BEST:: SOT 115094 SOS 62793 HAS SOPS 62793 HAS SOUS 55319 HAS SOUPS 55319 WITH SCORE 55381.793
AT ITER 1210 NEW BEST:: SOT 115094 SOS 62778 HAS SOPS 62778 HAS SOUS 55319 HAS SOUPS 55319 WITH SCORE 55381.778
AT ITER 1245 NEW BEST:: SOT 115150 SOS 62905 HAS SOPS 62905 HAS SOUS 55264 HAS SOUPS 55264 WITH SCORE 55326.905
AT ITER 1256 NEW BEST:: SOT 115103 SOS 62890 HAS SOPS 62890 HAS SOUS 55235 HAS SOUPS 55235 WITH SCORE 55297.89
AT ITER 1262 NEW BEST:: SOT 114997 SOS 62784 HAS SOPS 62784 HAS SOUS 55129 HAS SOUPS 55129 WITH SCORE 55191.784
AT ITER 1266 NEW BEST:: SOT 114997 SOS 62771 HAS SOPS 62771 HAS SOUS 55129 HAS SOUPS 55129 WITH SCORE 55191.771
AT ITER 1269 NEW BEST:: SOT 114962 SOS 62736 HAS SOPS 62736 HAS SOUS 55111 HAS SOUPS 55111 WITH SCORE 55173.736
AT ITER 1291 NEW BEST:: SOT 114960 SOS 62734 HAS SOPS 62734 HAS SOUS 55109 HAS SOUPS 55109 WITH SCORE 55171.734
AT ITER 1309 NEW BEST:: SOT 114801 SOS 62704 HAS SOPS 62704 HAS SOUS 55079 HAS SOUPS 55079 WITH SCORE 55141.704
AT ITER 1320 NEW BEST:: SOT 114766 SOS 62678 HAS SOPS 62678 HAS SOUS 54968 HAS SOUPS 54968 WITH SCORE 55030.678
AT ITER 1339 NEW BEST:: SOT 114775 SOS 62628 HAS SOPS 62628 HAS SOUS 54914 HAS SOUPS 54914 WITH SCORE 54976.628
AT ITER 1343 NEW BEST:: SOT 114775 SOS 62582 HAS SOPS 62582 HAS SOUS 54783 HAS SOUPS 54783 WITH SCORE 54845.582
AT ITER 1359 NEW BEST:: SOT 114683 SOS 62714 HAS SOPS 62714 HAS SOUS 54743 HAS SOUPS 54743 WITH SCORE 54805.714
AT ITER 1360 NEW BEST:: SOT 114683 SOS 62706 HAS SOPS 62706 HAS SOUS 54735 HAS SOUPS 54735 WITH SCORE 54797.706
AT ITER 1371 NEW BEST:: SOT 114683 SOS 62534 HAS SOPS 62534 HAS SOUS 54726 HAS SOUPS 54726 WITH SCORE 54788.534
AT ITER 1373 NEW BEST:: SOT 114655 SOS 62558 HAS SOPS 62558 HAS SOUS 54703 HAS SOUPS 54703 WITH SCORE 54765.558
AT ITER 1377 NEW BEST:: SOT 114631 SOS 62540 HAS SOPS 62540 HAS SOUS 54691 HAS SOUPS 54691 WITH SCORE 54753.54
AT ITER 1383 NEW BEST:: SOT 114374 SOS 62414 HAS SOPS 62414 HAS SOUS 54557 HAS SOUPS 54557 WITH SCORE 54619.414
AT ITER 1384 NEW BEST:: SOT 114369 SOS 62464 HAS SOPS 62464 HAS SOUS 54552 HAS SOUPS 54552 WITH SCORE 54614.464
AT ITER 1403 NEW BEST:: SOT 114363 SOS 62458 HAS SOPS 62458 HAS SOUS 54522 HAS SOUPS 54522 WITH SCORE 54584.458
AT ITER 1405 NEW BEST:: SOT 114363 SOS 62438 HAS SOPS 62438 HAS SOUS 54515 HAS SOUPS 54515 WITH SCORE 54577.438
AT ITER 1435 NEW BEST:: SOT 114363 SOS 62428 HAS SOPS 62428 HAS SOUS 54502 HAS SOUPS 54502 WITH SCORE 54564.428
AT ITER 1436 NEW BEST:: SOT 114314 SOS 62426 HAS SOPS 62426 HAS SOUS 54500 HAS SOUPS 54500 WITH SCORE 54562.426
AT ITER 1438 NEW BEST:: SOT 114156 SOS 62656 HAS SOPS 62656 HAS SOUS 54442 HAS SOUPS 54442 WITH SCORE 54504.656
AT ITER 1470 NEW BEST:: SOT 114156 SOS 62641 HAS SOPS 62641 HAS SOUS 54442 HAS SOUPS 54442 WITH SCORE 54504.641
AT ITER 1496 NEW BEST:: SOT 113993 SOS 62542 HAS SOPS 62542 HAS SOUS 54343 HAS SOUPS 54343 WITH SCORE 54405.542
AT ITER 1500 NEW BEST:: SOT 113958 SOS 62534 HAS SOPS 62534 HAS SOUS 54276 HAS SOUPS 54276 WITH SCORE 54338.534
AT ITER 1520 NEW BEST:: SOT 113938 SOS 62514 HAS SOPS 62514 HAS SOUS 54274 HAS SOUPS 54274 WITH SCORE 54336.514
AT ITER 1524 NEW BEST:: SOT 113886 SOS 62462 HAS SOPS 62462 HAS SOUS 54222 HAS SOUPS 54222 WITH SCORE 54284.462
AT ITER 1532 NEW BEST:: SOT 113886 SOS 62371 HAS SOPS 62371 HAS SOUS 54220 HAS SOUPS 54220 WITH SCORE 54282.371
AT ITER 1536 NEW BEST:: SOT 113856 SOS 62425 HAS SOPS 62425 HAS SOUS 54143 HAS SOUPS 54143 WITH SCORE 54205.425
AT ITER 1540 NEW BEST:: SOT 113856 SOS 61709 HAS SOPS 61709 HAS SOUS 54143 HAS SOUPS 54143 WITH SCORE 54204.709
AT ITER 1542 NEW BEST:: SOT 113828 SOS 61689 HAS SOPS 61689 HAS SOUS 54123 HAS SOUPS 54123 WITH SCORE 54184.689
AT ITER 1547 NEW BEST:: SOT 113828 SOS 61752 HAS SOPS 61752 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54168.752
AT ITER 1553 NEW BEST:: SOT 113765 SOS 61718 HAS SOPS 61718 HAS SOUS 54073 HAS SOUPS 54073 WITH SCORE 54134.718
AT ITER 1557 NEW BEST:: SOT 113759 SOS 61756 HAS SOPS 61756 HAS SOUS 54067 HAS SOUPS 54067 WITH SCORE 54128.756
AT ITER 1563 NEW BEST:: SOT 113759 SOS 61713 HAS SOPS 61713 HAS SOUS 54067 HAS SOUPS 54067 WITH SCORE 54128.713
AT ITER 1564 NEW BEST:: SOT 113910 SOS 61802 HAS SOPS 61802 HAS SOUS 54061 HAS SOUPS 54061 WITH SCORE 54122.802
AT ITER 1565 NEW BEST:: SOT 113910 SOS 61726 HAS SOPS 61726 HAS SOUS 54058 HAS SOUPS 54058 WITH SCORE 54119.726
AT ITER 1566 NEW BEST:: SOT 113937 SOS 61753 HAS SOPS 61753 HAS SOUS 54042 HAS SOUPS 54042 WITH SCORE 54103.753
AT ITER 1568 NEW BEST:: SOT 113937 SOS 61753 HAS SOPS 61753 HAS SOUS 54034 HAS SOUPS 54034 WITH SCORE 54095.753
AT ITER 1580 NEW BEST:: SOT 113606 SOS 61916 HAS SOPS 61916 HAS SOUS 53927 HAS SOUPS 53927 WITH SCORE 53988.916
AT ITER 1593 NEW BEST:: SOT 113606 SOS 61969 HAS SOPS 61969 HAS SOUS 53925 HAS SOUPS 53925 WITH SCORE 53986.969
AT ITER 1603 NEW BEST:: SOT 113606 SOS 61963 HAS SOPS 61963 HAS SOUS 53919 HAS SOUPS 53919 WITH SCORE 53980.963
AT ITER 1605 NEW BEST:: SOT 113606 SOS 61962 HAS SOPS 61962 HAS SOUS 53919 HAS SOUPS 53919 WITH SCORE 53980.962
AT ITER 1611 NEW BEST:: SOT 113606 SOS 62003 HAS SOPS 62003 HAS SOUS 53913 HAS SOUPS 53913 WITH SCORE 53975.003
AT ITER 1618 NEW BEST:: SOT 113606 SOS 61988 HAS SOPS 61988 HAS SOUS 53913 HAS SOUPS 53913 WITH SCORE 53974.988
AT ITER 1631 NEW BEST:: SOT 113300 SOS 61781 HAS SOPS 61781 HAS SOUS 53627 HAS SOUPS 53627 WITH SCORE 53688.781
AT ITER 1636 NEW BEST:: SOT 113224 SOS 61747 HAS SOPS 61747 HAS SOUS 53580 HAS SOUPS 53580 WITH SCORE 53641.747
AT ITER 1639 NEW BEST:: SOT 113098 SOS 61719 HAS SOPS 61719 HAS SOUS 53563 HAS SOUPS 53563 WITH SCORE 53624.719
AT ITER 1667 NEW BEST:: SOT 113040 SOS 61696 HAS SOPS 61696 HAS SOUS 53540 HAS SOUPS 53540 WITH SCORE 53601.696
AT ITER 1676 NEW BEST:: SOT 112982 SOS 61740 HAS SOPS 61740 HAS SOUS 53508 HAS SOUPS 53508 WITH SCORE 53569.74
AT ITER 1716 NEW BEST:: SOT 112974 SOS 61715 HAS SOPS 61715 HAS SOUS 53485 HAS SOUPS 53485 WITH SCORE 53546.715
AT ITER 1727 NEW BEST:: SOT 112974 SOS 61709 HAS SOPS 61709 HAS SOUS 53485 HAS SOUPS 53485 WITH SCORE 53546.709
AT ITER 1729 NEW BEST:: SOT 112974 SOS 61709 HAS SOPS 61709 HAS SOUS 53471 HAS SOUPS 53471 WITH SCORE 53532.709
AT ITER 1755 NEW BEST:: SOT 112993 SOS 61728 HAS SOPS 61728 HAS SOUS 53461 HAS SOUPS 53461 WITH SCORE 53522.728
AT ITER 1757 NEW BEST:: SOT 112999 SOS 61639 HAS SOPS 61639 HAS SOUS 53413 HAS SOUPS 53413 WITH SCORE 53474.639
AT ITER 1762 NEW BEST:: SOT 112940 SOS 61701 HAS SOPS 61701 HAS SOUS 53354 HAS SOUPS 53354 WITH SCORE 53415.701
AT ITER 1781 NEW BEST:: SOT 112866 SOS 61687 HAS SOPS 61687 HAS SOUS 53340 HAS SOUPS 53340 WITH SCORE 53401.687
AT ITER 1782 NEW BEST:: SOT 112866 SOS 61687 HAS SOPS 61687 HAS SOUS 53292 HAS SOUPS 53292 WITH SCORE 53353.687
AT ITER 1785 NEW BEST:: SOT 112848 SOS 61669 HAS SOPS 61669 HAS SOUS 53282 HAS SOUPS 53282 WITH SCORE 53343.669
AT ITER 1790 NEW BEST:: SOT 112848 SOS 61741 HAS SOPS 61741 HAS SOUS 53280 HAS SOUPS 53280 WITH SCORE 53341.741
AT ITER 1793 NEW BEST:: SOT 112848 SOS 61731 HAS SOPS 61731 HAS SOUS 53280 HAS SOUPS 53280 WITH SCORE 53341.731
AT ITER 1801 NEW BEST:: SOT 112876 SOS 61827 HAS SOPS 61827 HAS SOUS 53272 HAS SOUPS 53272 WITH SCORE 53333.827
AT ITER 1809 NEW BEST:: SOT 112876 SOS 61807 HAS SOPS 61807 HAS SOUS 53262 HAS SOUPS 53262 WITH SCORE 53323.807
AT ITER 1821 NEW BEST:: SOT 112876 SOS 61805 HAS SOPS 61805 HAS SOUS 53262 HAS SOUPS 53262 WITH SCORE 53323.805
AT ITER 1836 NEW BEST:: SOT 112860 SOS 61789 HAS SOPS 61789 HAS SOUS 53246 HAS SOUPS 53246 WITH SCORE 53307.789
AT ITER 1838 NEW BEST:: SOT 112719 SOS 61703 HAS SOPS 61703 HAS SOUS 53160 HAS SOUPS 53160 WITH SCORE 53221.703
AT ITER 1845 NEW BEST:: SOT 112708 SOS 61692 HAS SOPS 61692 HAS SOUS 53149 HAS SOUPS 53149 WITH SCORE 53210.692
AT ITER 1859 NEW BEST:: SOT 112708 SOS 61679 HAS SOPS 61679 HAS SOUS 53149 HAS SOUPS 53149 WITH SCORE 53210.679
AT ITER 1867 NEW BEST:: SOT 112707 SOS 61600 HAS SOPS 61600 HAS SOUS 53112 HAS SOUPS 53112 WITH SCORE 53173.6
AT ITER 1879 NEW BEST:: SOT 112729 SOS 61390 HAS SOPS 61390 HAS SOUS 53076 HAS SOUPS 53076 WITH SCORE 53137.39
AT ITER 1897 NEW BEST:: SOT 112729 SOS 61271 HAS SOPS 61271 HAS SOUS 53073 HAS SOUPS 53073 WITH SCORE 53134.271
AT ITER 1907 NEW BEST:: SOT 112729 SOS 61247 HAS SOPS 61247 HAS SOUS 53073 HAS SOUPS 53073 WITH SCORE 53134.247
AT ITER 1918 NEW BEST:: SOT 112726 SOS 61270 HAS SOPS 61270 HAS SOUS 53066 HAS SOUPS 53066 WITH SCORE 53127.27
AT ITER 1945 NEW BEST:: SOT 112533 SOS 61076 HAS SOPS 61076 HAS SOUS 52889 HAS SOUPS 52889 WITH SCORE 52950.076
AT ITER 1953 NEW BEST:: SOT 112650 SOS 60896 HAS SOPS 60896 HAS SOUS 52836 HAS SOUPS 52836 WITH SCORE 52896.896
AT ITER 1964 NEW BEST:: SOT 112541 SOS 60873 HAS SOPS 60873 HAS SOUS 52813 HAS SOUPS 52813 WITH SCORE 52873.873
AT ITER 1966 NEW BEST:: SOT 112526 SOS 60858 HAS SOPS 60858 HAS SOUS 52798 HAS SOUPS 52798 WITH SCORE 52858.858
AT ITER 1971 NEW BEST:: SOT 112524 SOS 60856 HAS SOPS 60856 HAS SOUS 52798 HAS SOUPS 52798 WITH SCORE 52858.856
AT ITER 1977 NEW BEST:: SOT 112452 SOS 60784 HAS SOPS 60784 HAS SOUS 52726 HAS SOUPS 52726 WITH SCORE 52786.784
AT ITER 1980 NEW BEST:: SOT 112391 SOS 60723 HAS SOPS 60723 HAS SOUS 52710 HAS SOUPS 52710 WITH SCORE 52770.723
AT ITER 1986 NEW BEST:: SOT 112358 SOS 60690 HAS SOPS 60690 HAS SOUS 52677 HAS SOUPS 52677 WITH SCORE 52737.69
AT ITER 1997 NEW BEST:: SOT 112358 SOS 60637 HAS SOPS 60637 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52726.637
AT ITER 2021 NEW BEST:: SOT 112301 SOS 60668 HAS SOPS 60668 HAS SOUS 52567 HAS SOUPS 52567 WITH SCORE 52627.668
AT ITER 2025 NEW BEST:: SOT 112238 SOS 60605 HAS SOPS 60605 HAS SOUS 52514 HAS SOUPS 52514 WITH SCORE 52574.605
AT ITER 2028 NEW BEST:: SOT 112232 SOS 60608 HAS SOPS 60608 HAS SOUS 52508 HAS SOUPS 52508 WITH SCORE 52568.608
AT ITER 2030 NEW BEST:: SOT 112204 SOS 60508 HAS SOPS 60508 HAS SOUS 52457 HAS SOUPS 52457 WITH SCORE 52517.508
AT ITER 2038 NEW BEST:: SOT 112204 SOS 60508 HAS SOPS 60508 HAS SOUS 52410 HAS SOUPS 52410 WITH SCORE 52470.508
AT ITER 2044 NEW BEST:: SOT 112204 SOS 60463 HAS SOPS 60463 HAS SOUS 52407 HAS SOUPS 52407 WITH SCORE 52467.463
AT ITER 2061 NEW BEST:: SOT 112108 SOS 60404 HAS SOPS 60404 HAS SOUS 52328 HAS SOUPS 52328 WITH SCORE 52388.404
AT ITER 2062 NEW BEST:: SOT 111996 SOS 60292 HAS SOPS 60292 HAS SOUS 52216 HAS SOUPS 52216 WITH SCORE 52276.292
AT ITER 2063 NEW BEST:: SOT 111996 SOS 60318 HAS SOPS 60318 HAS SOUS 52208 HAS SOUPS 52208 WITH SCORE 52268.318
AT ITER 2070 NEW BEST:: SOT 111826 SOS 60151 HAS SOPS 60151 HAS SOUS 52041 HAS SOUPS 52041 WITH SCORE 52101.151
AT ITER 2074 NEW BEST:: SOT 111752 SOS 60114 HAS SOPS 60114 HAS SOUS 52004 HAS SOUPS 52004 WITH SCORE 52064.114
AT ITER 2083 NEW BEST:: SOT 111541 SOS 60021 HAS SOPS 60021 HAS SOUS 51907 HAS SOUPS 51907 WITH SCORE 51967.021
AT ITER 2084 NEW BEST:: SOT 111541 SOS 60015 HAS SOPS 60015 HAS SOUS 51907 HAS SOUPS 51907 WITH SCORE 51967.015
AT ITER 2094 NEW BEST:: SOT 111541 SOS 59999 HAS SOPS 59999 HAS SOUS 51907 HAS SOUPS 51907 WITH SCORE 51966.999
AT ITER 2096 NEW BEST:: SOT 111515 SOS 59973 HAS SOPS 59973 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 51940.973
AT ITER 2105 NEW BEST:: SOT 111476 SOS 59906 HAS SOPS 59906 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 51940.906
AT ITER 2111 NEW BEST:: SOT 111453 SOS 59929 HAS SOPS 59929 HAS SOUS 51873 HAS SOUPS 51873 WITH SCORE 51932.929
AT ITER 2117 NEW BEST:: SOT 111453 SOS 59913 HAS SOPS 59913 HAS SOUS 51873 HAS SOUPS 51873 WITH SCORE 51932.913
AT ITER 2120 NEW BEST:: SOT 111441 SOS 59941 HAS SOPS 59941 HAS SOUS 51844 HAS SOUPS 51844 WITH SCORE 51903.941
AT ITER 2122 NEW BEST:: SOT 111354 SOS 60134 HAS SOPS 60134 HAS SOUS 51840 HAS SOUPS 51840 WITH SCORE 51900.134
AT ITER 2123 NEW BEST:: SOT 111354 SOS 60113 HAS SOPS 60113 HAS SOUS 51819 HAS SOUPS 51819 WITH SCORE 51879.113
AT ITER 2125 NEW BEST:: SOT 110942 SOS 59878 HAS SOPS 59878 HAS SOUS 51691 HAS SOUPS 51691 WITH SCORE 51750.878
AT ITER 2126 NEW BEST:: SOT 110944 SOS 59862 HAS SOPS 59862 HAS SOUS 51622 HAS SOUPS 51622 WITH SCORE 51681.862
AT ITER 2135 NEW BEST:: SOT 110944 SOS 59842 HAS SOPS 59842 HAS SOUS 51609 HAS SOUPS 51609 WITH SCORE 51668.842
AT ITER 2138 NEW BEST:: SOT 110813 SOS 59753 HAS SOPS 59753 HAS SOUS 51520 HAS SOUPS 51520 WITH SCORE 51579.753
AT ITER 2175 NEW BEST:: SOT 110773 SOS 59758 HAS SOPS 59758 HAS SOUS 51463 HAS SOUPS 51463 WITH SCORE 51522.758
AT ITER 2195 NEW BEST:: SOT 110765 SOS 59782 HAS SOPS 59782 HAS SOUS 51455 HAS SOUPS 51455 WITH SCORE 51514.782
AT ITER 2207 NEW BEST:: SOT 110765 SOS 59777 HAS SOPS 59777 HAS SOUS 51417 HAS SOUPS 51417 WITH SCORE 51476.777
AT ITER 2219 NEW BEST:: SOT 110755 SOS 59767 HAS SOPS 59767 HAS SOUS 51407 HAS SOUPS 51407 WITH SCORE 51466.767
AT ITER 2230 NEW BEST:: SOT 110719 SOS 59740 HAS SOPS 59740 HAS SOUS 51380 HAS SOUPS 51380 WITH SCORE 51439.74
AT ITER 2231 NEW BEST:: SOT 110719 SOS 59747 HAS SOPS 59747 HAS SOUS 51376 HAS SOUPS 51376 WITH SCORE 51435.747
AT ITER 2237 NEW BEST:: SOT 110719 SOS 59747 HAS SOPS 59747 HAS SOUS 51369 HAS SOUPS 51369 WITH SCORE 51428.747
AT ITER 2241 NEW BEST:: SOT 110682 SOS 59819 HAS SOPS 59819 HAS SOUS 51333 HAS SOUPS 51333 WITH SCORE 51392.819
AT ITER 2242 NEW BEST:: SOT 110626 SOS 59763 HAS SOPS 59763 HAS SOUS 51277 HAS SOUPS 51277 WITH SCORE 51336.763
AT ITER 2256 NEW BEST:: SOT 110626 SOS 59761 HAS SOPS 59761 HAS SOUS 51277 HAS SOUPS 51277 WITH SCORE 51336.761
AT ITER 2261 NEW BEST:: SOT 110511 SOS 59738 HAS SOPS 59738 HAS SOUS 51254 HAS SOUPS 51254 WITH SCORE 51313.738
AT ITER 2287 NEW BEST:: SOT 110327 SOS 59627 HAS SOPS 59627 HAS SOUS 51156 HAS SOUPS 51156 WITH SCORE 51215.627
AT ITER 2295 NEW BEST:: SOT 110281 SOS 59857 HAS SOPS 59857 HAS SOUS 51110 HAS SOUPS 51110 WITH SCORE 51169.857
AT ITER 2303 NEW BEST:: SOT 110280 SOS 59852 HAS SOPS 59852 HAS SOUS 51107 HAS SOUPS 51107 WITH SCORE 51166.852
AT ITER 2317 NEW BEST:: SOT 110281 SOS 59846 HAS SOPS 59846 HAS SOUS 51101 HAS SOUPS 51101 WITH SCORE 51160.846
AT ITER 2322 NEW BEST:: SOT 110281 SOS 59780 HAS SOPS 59780 HAS SOUS 51093 HAS SOUPS 51093 WITH SCORE 51152.78
AT ITER 2330 NEW BEST:: SOT 110155 SOS 59743 HAS SOPS 59743 HAS SOUS 50977 HAS SOUPS 50977 WITH SCORE 51036.743
AT ITER 2331 NEW BEST:: SOT 110155 SOS 59743 HAS SOPS 59743 HAS SOUS 50962 HAS SOUPS 50962 WITH SCORE 51021.743
AT ITER 2348 NEW BEST:: SOT 109880 SOS 59637 HAS SOPS 59637 HAS SOUS 50810 HAS SOUPS 50810 WITH SCORE 50869.637
AT ITER 2359 NEW BEST:: SOT 109972 SOS 59842 HAS SOPS 59842 HAS SOUS 50807 HAS SOUPS 50807 WITH SCORE 50866.842
AT ITER 2372 NEW BEST:: SOT 109961 SOS 59853 HAS SOPS 59853 HAS SOUS 50785 HAS SOUPS 50785 WITH SCORE 50844.853
AT ITER 2382 NEW BEST:: SOT 109886 SOS 59778 HAS SOPS 59778 HAS SOUS 50670 HAS SOUPS 50670 WITH SCORE 50729.778
AT ITER 2383 NEW BEST:: SOT 109880 SOS 59771 HAS SOPS 59771 HAS SOUS 50658 HAS SOUPS 50658 WITH SCORE 50717.771
AT ITER 2385 NEW BEST:: SOT 109880 SOS 59757 HAS SOPS 59757 HAS SOUS 50618 HAS SOUPS 50618 WITH SCORE 50677.757
AT ITER 2393 NEW BEST:: SOT 109796 SOS 59673 HAS SOPS 59673 HAS SOUS 50534 HAS SOUPS 50534 WITH SCORE 50593.673
AT ITER 2406 NEW BEST:: SOT 109782 SOS 59910 HAS SOPS 59910 HAS SOUS 50518 HAS SOUPS 50518 WITH SCORE 50577.91
AT ITER 2429 NEW BEST:: SOT 109782 SOS 59899 HAS SOPS 59899 HAS SOUS 50518 HAS SOUPS 50518 WITH SCORE 50577.899
AT ITER 2444 NEW BEST:: SOT 109770 SOS 59890 HAS SOPS 59890 HAS SOUS 50506 HAS SOUPS 50506 WITH SCORE 50565.89
AT ITER 2450 NEW BEST:: SOT 109770 SOS 59882 HAS SOPS 59882 HAS SOUS 50506 HAS SOUPS 50506 WITH SCORE 50565.882
AT ITER 2452 NEW BEST:: SOT 109759 SOS 59871 HAS SOPS 59871 HAS SOUS 50495 HAS SOUPS 50495 WITH SCORE 50554.871
AT ITER 2459 NEW BEST:: SOT 109741 SOS 59861 HAS SOPS 59861 HAS SOUS 50492 HAS SOUPS 50492 WITH SCORE 50551.861
AT ITER 2474 NEW BEST:: SOT 109667 SOS 59787 HAS SOPS 59787 HAS SOUS 50392 HAS SOUPS 50392 WITH SCORE 50451.787
AT ITER 2489 NEW BEST:: SOT 109656 SOS 59768 HAS SOPS 59768 HAS SOUS 50355 HAS SOUPS 50355 WITH SCORE 50414.768
AT ITER 2493 NEW BEST:: SOT 109560 SOS 60170 HAS SOPS 60170 HAS SOUS 50264 HAS SOUPS 50264 WITH SCORE 50324.17
AT ITER 2504 NEW BEST:: SOT 109501 SOS 60111 HAS SOPS 60111 HAS SOUS 50205 HAS SOUPS 50205 WITH SCORE 50265.111
AT ITER 2505 NEW BEST:: SOT 109490 SOS 60100 HAS SOPS 60100 HAS SOUS 50084 HAS SOUPS 50084 WITH SCORE 50144.1
AT ITER 2528 NEW BEST:: SOT 109328 SOS 60254 HAS SOPS 60254 HAS SOUS 49967 HAS SOUPS 49967 WITH SCORE 50027.254
AT ITER 2529 NEW BEST:: SOT 109236 SOS 60220 HAS SOPS 60220 HAS SOUS 49904 HAS SOUPS 49904 WITH SCORE 49964.22
AT ITER 2537 NEW BEST:: SOT 109236 SOS 60153 HAS SOPS 60153 HAS SOUS 49904 HAS SOUPS 49904 WITH SCORE 49964.153
AT ITER 2544 NEW BEST:: SOT 109236 SOS 60067 HAS SOPS 60067 HAS SOUS 49904 HAS SOUPS 49904 WITH SCORE 49964.067
AT ITER 2557 NEW BEST:: SOT 109236 SOS 60067 HAS SOPS 60067 HAS SOUS 49844 HAS SOUPS 49844 WITH SCORE 49904.067
AT ITER 2581 NEW BEST:: SOT 109173 SOS 60025 HAS SOPS 60025 HAS SOUS 49813 HAS SOUPS 49813 WITH SCORE 49873.025
AT ITER 2614 NEW BEST:: SOT 109173 SOS 60019 HAS SOPS 60019 HAS SOUS 49813 HAS SOUPS 49813 WITH SCORE 49873.019
AT ITER 2615 NEW BEST:: SOT 108805 SOS 60364 HAS SOPS 60364 HAS SOUS 49770 HAS SOUPS 49770 WITH SCORE 49830.364
AT ITER 2622 NEW BEST:: SOT 108789 SOS 60348 HAS SOPS 60348 HAS SOUS 49754 HAS SOUPS 49754 WITH SCORE 49814.348
AT ITER 2635 NEW BEST:: SOT 108789 SOS 60328 HAS SOPS 60328 HAS SOUS 49725 HAS SOUPS 49725 WITH SCORE 49785.328
AT ITER 2642 NEW BEST:: SOT 108779 SOS 60323 HAS SOPS 60323 HAS SOUS 49720 HAS SOUPS 49720 WITH SCORE 49780.323
AT ITER 2643 NEW BEST:: SOT 108746 SOS 60301 HAS SOPS 60301 HAS SOUS 49708 HAS SOUPS 49708 WITH SCORE 49768.301
AT ITER 2645 NEW BEST:: SOT 108746 SOS 60268 HAS SOPS 60268 HAS SOUS 49708 HAS SOUPS 49708 WITH SCORE 49768.268
AT ITER 2667 NEW BEST:: SOT 108561 SOS 60761 HAS SOPS 60761 HAS SOUS 49636 HAS SOUPS 49636 WITH SCORE 49696.761
AT ITER 2672 NEW BEST:: SOT 108518 SOS 60902 HAS SOPS 60902 HAS SOUS 49593 HAS SOUPS 49593 WITH SCORE 49653.902
AT ITER 2683 NEW BEST:: SOT 108235 SOS 60745 HAS SOPS 60745 HAS SOUS 49521 HAS SOUPS 49521 WITH SCORE 49581.745
AT ITER 2685 NEW BEST:: SOT 108219 SOS 60733 HAS SOPS 60733 HAS SOUS 49509 HAS SOUPS 49509 WITH SCORE 49569.733
AT ITER 2709 NEW BEST:: SOT 108131 SOS 61182 HAS SOPS 61182 HAS SOUS 49443 HAS SOUPS 49443 WITH SCORE 49504.182
AT ITER 2712 NEW BEST:: SOT 108189 SOS 61187 HAS SOPS 61187 HAS SOUS 49418 HAS SOUPS 49418 WITH SCORE 49479.187
AT ITER 2728 NEW BEST:: SOT 108240 SOS 61130 HAS SOPS 61130 HAS SOUS 49369 HAS SOUPS 49369 WITH SCORE 49430.13
AT ITER 2744 NEW BEST:: SOT 108222 SOS 61112 HAS SOPS 61112 HAS SOUS 49351 HAS SOUPS 49351 WITH SCORE 49412.112
AT ITER 2750 NEW BEST:: SOT 108222 SOS 61112 HAS SOPS 61112 HAS SOUS 49310 HAS SOUPS 49310 WITH SCORE 49371.112
AT ITER 2763 NEW BEST:: SOT 108167 SOS 61087 HAS SOPS 61087 HAS SOUS 49264 HAS SOUPS 49264 WITH SCORE 49325.087
AT ITER 2795 NEW BEST:: SOT 108167 SOS 61083 HAS SOPS 61083 HAS SOUS 49264 HAS SOUPS 49264 WITH SCORE 49325.083
AT ITER 2799 NEW BEST:: SOT 108032 SOS 60948 HAS SOPS 60948 HAS SOUS 49129 HAS SOUPS 49129 WITH SCORE 49189.948
AT ITER 2808 NEW BEST:: SOT 108032 SOS 60695 HAS SOPS 60695 HAS SOUS 49126 HAS SOUPS 49126 WITH SCORE 49186.695
AT ITER 2815 NEW BEST:: SOT 107886 SOS 61373 HAS SOPS 61373 HAS SOUS 49048 HAS SOUPS 49048 WITH SCORE 49109.373
AT ITER 2826 NEW BEST:: SOT 107846 SOS 61348 HAS SOPS 61348 HAS SOUS 49023 HAS SOUPS 49023 WITH SCORE 49084.348
AT ITER 2861 NEW BEST:: SOT 107846 SOS 61359 HAS SOPS 61359 HAS SOUS 49022 HAS SOUPS 49022 WITH SCORE 49083.359
AT ITER 2873 NEW BEST:: SOT 107777 SOS 61368 HAS SOPS 61368 HAS SOUS 49002 HAS SOUPS 49002 WITH SCORE 49063.368
AT ITER 2879 NEW BEST:: SOT 107732 SOS 61552 HAS SOPS 61552 HAS SOUS 48987 HAS SOUPS 48987 WITH SCORE 49048.552
AT ITER 2904 NEW BEST:: SOT 107732 SOS 61551 HAS SOPS 61551 HAS SOUS 48987 HAS SOUPS 48987 WITH SCORE 49048.551
AT ITER 2943 NEW BEST:: SOT 107732 SOS 61525 HAS SOPS 61525 HAS SOUS 48987 HAS SOUPS 48987 WITH SCORE 49048.525
AT ITER 2948 NEW BEST:: SOT 107722 SOS 61515 HAS SOPS 61515 HAS SOUS 48977 HAS SOUPS 48977 WITH SCORE 49038.515
AT ITER 2955 NEW BEST:: SOT 107703 SOS 61496 HAS SOPS 61496 HAS SOUS 48958 HAS SOUPS 48958 WITH SCORE 49019.496
AT ITER 2976 NEW BEST:: SOT 107675 SOS 61491 HAS SOPS 61491 HAS SOUS 48953 HAS SOUPS 48953 WITH SCORE 49014.491
AT ITER 2981 NEW BEST:: SOT 107638 SOS 61619 HAS SOPS 61619 HAS SOUS 48935 HAS SOUPS 48935 WITH SCORE 48996.619
AT ITER 2990 NEW BEST:: SOT 107638 SOS 61619 HAS SOPS 61619 HAS SOUS 48926 HAS SOUPS 48926 WITH SCORE 48987.619
AT ITER 3000 NEW BEST:: SOT 107629 SOS 61570 HAS SOPS 61570 HAS SOUS 48886 HAS SOUPS 48886 WITH SCORE 48947.57
AT ITER 3017 NEW BEST:: SOT 107625 SOS 61568 HAS SOPS 61568 HAS SOUS 48884 HAS SOUPS 48884 WITH SCORE 48945.568
AT ITER 3018 NEW BEST:: SOT 107416 SOS 61370 HAS SOPS 61370 HAS SOUS 48686 HAS SOUPS 48686 WITH SCORE 48747.37
AT ITER 3022 NEW BEST:: SOT 107392 SOS 61346 HAS SOPS 61346 HAS SOUS 48662 HAS SOUPS 48662 WITH SCORE 48723.346
AT ITER 3032 NEW BEST:: SOT 107329 SOS 61312 HAS SOPS 61312 HAS SOUS 48628 HAS SOUPS 48628 WITH SCORE 48689.312
AT ITER 3043 NEW BEST:: SOT 107133 SOS 61371 HAS SOPS 61371 HAS SOUS 48545 HAS SOUPS 48545 WITH SCORE 48606.371
AT ITER 3052 NEW BEST:: SOT 107194 SOS 60682 HAS SOPS 60682 HAS SOUS 48456 HAS SOUPS 48456 WITH SCORE 48516.682
AT ITER 3055 NEW BEST:: SOT 107227 SOS 60684 HAS SOPS 60684 HAS SOUS 48434 HAS SOUPS 48434 WITH SCORE 48494.684
AT ITER 3088 NEW BEST:: SOT 107226 SOS 60683 HAS SOPS 60683 HAS SOUS 48433 HAS SOUPS 48433 WITH SCORE 48493.683
AT ITER 3089 NEW BEST:: SOT 107226 SOS 60680 HAS SOPS 60680 HAS SOUS 48433 HAS SOUPS 48433 WITH SCORE 48493.68
AT ITER 3133 NEW BEST:: SOT 107226 SOS 60651 HAS SOPS 60651 HAS SOUS 48394 HAS SOUPS 48394 WITH SCORE 48454.651
AT ITER 3137 NEW BEST:: SOT 107048 SOS 60802 HAS SOPS 60802 HAS SOUS 48324 HAS SOUPS 48324 WITH SCORE 48384.802
AT ITER 3143 NEW BEST:: SOT 106929 SOS 60743 HAS SOPS 60743 HAS SOUS 48255 HAS SOUPS 48255 WITH SCORE 48315.743
AT ITER 3144 NEW BEST:: SOT 106925 SOS 60739 HAS SOPS 60739 HAS SOUS 48251 HAS SOUPS 48251 WITH SCORE 48311.739
AT ITER 3145 NEW BEST:: SOT 106927 SOS 60721 HAS SOPS 60721 HAS SOUS 48218 HAS SOUPS 48218 WITH SCORE 48278.721
AT ITER 3156 NEW BEST:: SOT 106917 SOS 60711 HAS SOPS 60711 HAS SOUS 48208 HAS SOUPS 48208 WITH SCORE 48268.711
AT ITER 3162 NEW BEST:: SOT 106917 SOS 60711 HAS SOPS 60711 HAS SOUS 48201 HAS SOUPS 48201 WITH SCORE 48261.711
AT ITER 3180 NEW BEST:: SOT 106874 SOS 60881 HAS SOPS 60881 HAS SOUS 48160 HAS SOUPS 48160 WITH SCORE 48220.881
AT ITER 3181 NEW BEST:: SOT 106892 SOS 60798 HAS SOPS 60798 HAS SOUS 48155 HAS SOUPS 48155 WITH SCORE 48215.798
AT ITER 3187 NEW BEST:: SOT 106892 SOS 60777 HAS SOPS 60777 HAS SOUS 48155 HAS SOUPS 48155 WITH SCORE 48215.777
AT ITER 3218 NEW BEST:: SOT 106886 SOS 60765 HAS SOPS 60765 HAS SOUS 48143 HAS SOUPS 48143 WITH SCORE 48203.765
AT ITER 3227 NEW BEST:: SOT 106886 SOS 60743 HAS SOPS 60743 HAS SOUS 48143 HAS SOUPS 48143 WITH SCORE 48203.743
AT ITER 3230 NEW BEST:: SOT 106863 SOS 60720 HAS SOPS 60720 HAS SOUS 48120 HAS SOUPS 48120 WITH SCORE 48180.72
AT ITER 3249 NEW BEST:: SOT 106859 SOS 60716 HAS SOPS 60716 HAS SOUS 48116 HAS SOUPS 48116 WITH SCORE 48176.716
AT ITER 3253 NEW BEST:: SOT 106813 SOS 60670 HAS SOPS 60670 HAS SOUS 48070 HAS SOUPS 48070 WITH SCORE 48130.67
AT ITER 3270 NEW BEST:: SOT 106760 SOS 60647 HAS SOPS 60647 HAS SOUS 48047 HAS SOUPS 48047 WITH SCORE 48107.647
AT ITER 3289 NEW BEST:: SOT 106760 SOS 60639 HAS SOPS 60639 HAS SOUS 48047 HAS SOUPS 48047 WITH SCORE 48107.639
AT ITER 3295 NEW BEST:: SOT 106724 SOS 60603 HAS SOPS 60603 HAS SOUS 48011 HAS SOUPS 48011 WITH SCORE 48071.603
AT ITER 3311 NEW BEST:: SOT 106721 SOS 60600 HAS SOPS 60600 HAS SOUS 48008 HAS SOUPS 48008 WITH SCORE 48068.6
AT ITER 3317 NEW BEST:: SOT 106714 SOS 60607 HAS SOPS 60607 HAS SOUS 48003 HAS SOUPS 48003 WITH SCORE 48063.607
AT ITER 3321 NEW BEST:: SOT 106713 SOS 60606 HAS SOPS 60606 HAS SOUS 48002 HAS SOUPS 48002 WITH SCORE 48062.606
AT ITER 3324 NEW BEST:: SOT 106677 SOS 60570 HAS SOPS 60570 HAS SOUS 47966 HAS SOUPS 47966 WITH SCORE 48026.57
AT ITER 3338 NEW BEST:: SOT 106645 SOS 60538 HAS SOPS 60538 HAS SOUS 47934 HAS SOUPS 47934 WITH SCORE 47994.538
AT ITER 3339 NEW BEST:: SOT 106640 SOS 60533 HAS SOPS 60533 HAS SOUS 47929 HAS SOUPS 47929 WITH SCORE 47989.533
AT ITER 3346 NEW BEST:: SOT 106583 SOS 60476 HAS SOPS 60476 HAS SOUS 47872 HAS SOUPS 47872 WITH SCORE 47932.476
AT ITER 3349 NEW BEST:: SOT 106566 SOS 60544 HAS SOPS 60544 HAS SOUS 47857 HAS SOUPS 47857 WITH SCORE 47917.544
AT ITER 3354 NEW BEST:: SOT 106566 SOS 60513 HAS SOPS 60513 HAS SOUS 47773 HAS SOUPS 47773 WITH SCORE 47833.513
AT ITER 3360 NEW BEST:: SOT 106556 SOS 60503 HAS SOPS 60503 HAS SOUS 47763 HAS SOUPS 47763 WITH SCORE 47823.503
AT ITER 3361 NEW BEST:: SOT 106499 SOS 60424 HAS SOPS 60424 HAS SOUS 47658 HAS SOUPS 47658 WITH SCORE 47718.424
AT ITER 3362 NEW BEST:: SOT 106464 SOS 60389 HAS SOPS 60389 HAS SOUS 47623 HAS SOUPS 47623 WITH SCORE 47683.389
AT ITER 3381 NEW BEST:: SOT 106464 SOS 60441 HAS SOPS 60441 HAS SOUS 47616 HAS SOUPS 47616 WITH SCORE 47676.441
AT ITER 3390 NEW BEST:: SOT 106450 SOS 60427 HAS SOPS 60427 HAS SOUS 47582 HAS SOUPS 47582 WITH SCORE 47642.427
AT ITER 3397 NEW BEST:: SOT 106438 SOS 60415 HAS SOPS 60415 HAS SOUS 47570 HAS SOUPS 47570 WITH SCORE 47630.415
AT ITER 3410 NEW BEST:: SOT 106252 SOS 60240 HAS SOPS 60240 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47522.24
AT ITER 3420 NEW BEST:: SOT 106252 SOS 60139 HAS SOPS 60139 HAS SOUS 47462 HAS SOUPS 47462 WITH SCORE 47522.139
AT ITER 3439 NEW BEST:: SOT 106218 SOS 60305 HAS SOPS 60305 HAS SOUS 47428 HAS SOUPS 47428 WITH SCORE 47488.305
AT ITER 3442 NEW BEST:: SOT 106179 SOS 60109 HAS SOPS 60109 HAS SOUS 47334 HAS SOUPS 47334 WITH SCORE 47394.109
AT ITER 3450 NEW BEST:: SOT 106100 SOS 60249 HAS SOPS 60249 HAS SOUS 47282 HAS SOUPS 47282 WITH SCORE 47342.249
AT ITER 3469 NEW BEST:: SOT 106050 SOS 60199 HAS SOPS 60199 HAS SOUS 47232 HAS SOUPS 47232 WITH SCORE 47292.199
AT ITER 3474 NEW BEST:: SOT 106057 SOS 60225 HAS SOPS 60225 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47277.225
AT ITER 3483 NEW BEST:: SOT 106057 SOS 60202 HAS SOPS 60202 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47277.202
AT ITER 3490 NEW BEST:: SOT 106028 SOS 60225 HAS SOPS 60225 HAS SOUS 47188 HAS SOUPS 47188 WITH SCORE 47248.225
AT ITER 3516 NEW BEST:: SOT 106022 SOS 60193 HAS SOPS 60193 HAS SOUS 47156 HAS SOUPS 47156 WITH SCORE 47216.193
AT ITER 3528 NEW BEST:: SOT 106018 SOS 60189 HAS SOPS 60189 HAS SOUS 47152 HAS SOUPS 47152 WITH SCORE 47212.189
AT ITER 3570 NEW BEST:: SOT 106018 SOS 60147 HAS SOPS 60147 HAS SOUS 47152 HAS SOUPS 47152 WITH SCORE 47212.147
AT ITER 3601 NEW BEST:: SOT 106000 SOS 60174 HAS SOPS 60174 HAS SOUS 47134 HAS SOUPS 47134 WITH SCORE 47194.174
AT ITER 3603 NEW BEST:: SOT 105974 SOS 60148 HAS SOPS 60148 HAS SOUS 47108 HAS SOUPS 47108 WITH SCORE 47168.148
AT ITER 3605 NEW BEST:: SOT 105967 SOS 60141 HAS SOPS 60141 HAS SOUS 47086 HAS SOUPS 47086 WITH SCORE 47146.141
AT ITER 3634 NEW BEST:: SOT 106010 SOS 60184 HAS SOPS 60184 HAS SOUS 47085 HAS SOUPS 47085 WITH SCORE 47145.184
AT ITER 3636 NEW BEST:: SOT 106009 SOS 60183 HAS SOPS 60183 HAS SOUS 47065 HAS SOUPS 47065 WITH SCORE 47125.183
AT ITER 3639 NEW BEST:: SOT 106009 SOS 60149 HAS SOPS 60149 HAS SOUS 47065 HAS SOUPS 47065 WITH SCORE 47125.149
AT ITER 3651 NEW BEST:: SOT 106009 SOS 60123 HAS SOPS 60123 HAS SOUS 47039 HAS SOUPS 47039 WITH SCORE 47099.123
AT ITER 3654 NEW BEST:: SOT 105962 SOS 59997 HAS SOPS 59997 HAS SOUS 47035 HAS SOUPS 47035 WITH SCORE 47094.997
AT ITER 3658 NEW BEST:: SOT 105988 SOS 60023 HAS SOPS 60023 HAS SOUS 47033 HAS SOUPS 47033 WITH SCORE 47093.023
AT ITER 3712 NEW BEST:: SOT 105824 SOS 60025 HAS SOPS 60025 HAS SOUS 46985 HAS SOUPS 46985 WITH SCORE 47045.025
AT ITER 3725 NEW BEST:: SOT 105779 SOS 59992 HAS SOPS 59992 HAS SOUS 46952 HAS SOUPS 46952 WITH SCORE 47011.992
AT ITER 3741 NEW BEST:: SOT 105744 SOS 59957 HAS SOPS 59957 HAS SOUS 46903 HAS SOUPS 46903 WITH SCORE 46962.957
AT ITER 3753 NEW BEST:: SOT 105740 SOS 59953 HAS SOPS 59953 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46958.953
AT ITER 3762 NEW BEST:: SOT 105740 SOS 59916 HAS SOPS 59916 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46958.916
AT ITER 3784 NEW BEST:: SOT 105735 SOS 59911 HAS SOPS 59911 HAS SOUS 46894 HAS SOUPS 46894 WITH SCORE 46953.911
AT ITER 3789 NEW BEST:: SOT 105592 SOS 59808 HAS SOPS 59808 HAS SOUS 46789 HAS SOUPS 46789 WITH SCORE 46848.808
AT ITER 3796 NEW BEST:: SOT 105592 SOS 59784 HAS SOPS 59784 HAS SOUS 46789 HAS SOUPS 46789 WITH SCORE 46848.784
AT ITER 3823 NEW BEST:: SOT 105592 SOS 59784 HAS SOPS 59784 HAS SOUS 46784 HAS SOUPS 46784 WITH SCORE 46843.784
AT ITER 3837 NEW BEST:: SOT 105481 SOS 59673 HAS SOPS 59673 HAS SOUS 46673 HAS SOUPS 46673 WITH SCORE 46732.673
AT ITER 3846 NEW BEST:: SOT 105493 SOS 59685 HAS SOPS 59685 HAS SOUS 46612 HAS SOUPS 46612 WITH SCORE 46671.685
AT ITER 3888 NEW BEST:: SOT 105493 SOS 59672 HAS SOPS 59672 HAS SOUS 46599 HAS SOUPS 46599 WITH SCORE 46658.672
AT ITER 3898 NEW BEST:: SOT 105493 SOS 59664 HAS SOPS 59664 HAS SOUS 46599 HAS SOUPS 46599 WITH SCORE 46658.664
AT ITER 3910 NEW BEST:: SOT 105486 SOS 59596 HAS SOPS 59596 HAS SOUS 46565 HAS SOUPS 46565 WITH SCORE 46624.596
AT ITER 3932 NEW BEST:: SOT 105390 SOS 59830 HAS SOPS 59830 HAS SOUS 46511 HAS SOUPS 46511 WITH SCORE 46570.83
AT ITER 3938 NEW BEST:: SOT 105382 SOS 59822 HAS SOPS 59822 HAS SOUS 46503 HAS SOUPS 46503 WITH SCORE 46562.822
AT ITER 3939 NEW BEST:: SOT 105366 SOS 59806 HAS SOPS 59806 HAS SOUS 46487 HAS SOUPS 46487 WITH SCORE 46546.806
AT ITER 3950 NEW BEST:: SOT 105354 SOS 59779 HAS SOPS 59779 HAS SOUS 46452 HAS SOUPS 46452 WITH SCORE 46511.779
AT ITER 3959 NEW BEST:: SOT 105349 SOS 59778 HAS SOPS 59778 HAS SOUS 46451 HAS SOUPS 46451 WITH SCORE 46510.778
AT ITER 3968 NEW BEST:: SOT 105336 SOS 59777 HAS SOPS 59777 HAS SOUS 46450 HAS SOUPS 46450 WITH SCORE 46509.777
AT ITER 4001 NEW BEST:: SOT 105221 SOS 59662 HAS SOPS 59662 HAS SOUS 46319 HAS SOUPS 46319 WITH SCORE 46378.662
AT ITER 4003 NEW BEST:: SOT 105187 SOS 59628 HAS SOPS 59628 HAS SOUS 46285 HAS SOUPS 46285 WITH SCORE 46344.628
AT ITER 4020 NEW BEST:: SOT 105183 SOS 59624 HAS SOPS 59624 HAS SOUS 46281 HAS SOUPS 46281 WITH SCORE 46340.624
AT ITER 4051 NEW BEST:: SOT 105071 SOS 59544 HAS SOPS 59544 HAS SOUS 46201 HAS SOUPS 46201 WITH SCORE 46260.544
AT ITER 4070 NEW BEST:: SOT 105083 SOS 59544 HAS SOPS 59544 HAS SOUS 46199 HAS SOUPS 46199 WITH SCORE 46258.544
AT ITER 4078 NEW BEST:: SOT 105083 SOS 59577 HAS SOPS 59577 HAS SOUS 46182 HAS SOUPS 46182 WITH SCORE 46241.577
AT ITER 4086 NEW BEST:: SOT 105050 SOS 59544 HAS SOPS 59544 HAS SOUS 46149 HAS SOUPS 46149 WITH SCORE 46208.544
AT ITER 4099 NEW BEST:: SOT 105050 SOS 59520 HAS SOPS 59520 HAS SOUS 46130 HAS SOUPS 46130 WITH SCORE 46189.52
AT ITER 4106 NEW BEST:: SOT 105050 SOS 59486 HAS SOPS 59486 HAS SOUS 46130 HAS SOUPS 46130 WITH SCORE 46189.486
AT ITER 4110 NEW BEST:: SOT 104904 SOS 59340 HAS SOPS 59340 HAS SOUS 46038 HAS SOUPS 46038 WITH SCORE 46097.34
AT ITER 4120 NEW BEST:: SOT 104894 SOS 59358 HAS SOPS 59358 HAS SOUS 46028 HAS SOUPS 46028 WITH SCORE 46087.358
AT ITER 4137 NEW BEST:: SOT 104718 SOS 59415 HAS SOPS 59415 HAS SOUS 45939 HAS SOUPS 45939 WITH SCORE 45998.415
AT ITER 4149 NEW BEST:: SOT 104640 SOS 59373 HAS SOPS 59373 HAS SOUS 45897 HAS SOUPS 45897 WITH SCORE 45956.373
AT ITER 4155 NEW BEST:: SOT 104636 SOS 59411 HAS SOPS 59411 HAS SOUS 45893 HAS SOUPS 45893 WITH SCORE 45952.411
AT ITER 4183 NEW BEST:: SOT 104633 SOS 59408 HAS SOPS 59408 HAS SOUS 45890 HAS SOUPS 45890 WITH SCORE 45949.408
AT ITER 4191 NEW BEST:: SOT 104665 SOS 59426 HAS SOPS 59426 HAS SOUS 45882 HAS SOUPS 45882 WITH SCORE 45941.426
AT ITER 4199 NEW BEST:: SOT 104665 SOS 59410 HAS SOPS 59410 HAS SOUS 45880 HAS SOUPS 45880 WITH SCORE 45939.41
AT ITER 4203 NEW BEST:: SOT 104654 SOS 59399 HAS SOPS 59399 HAS SOUS 45869 HAS SOUPS 45869 WITH SCORE 45928.399
AT ITER 4206 NEW BEST:: SOT 104653 SOS 59401 HAS SOPS 59401 HAS SOUS 45864 HAS SOUPS 45864 WITH SCORE 45923.401
AT ITER 4219 NEW BEST:: SOT 104653 SOS 59401 HAS SOPS 59401 HAS SOUS 45842 HAS SOUPS 45842 WITH SCORE 45901.401
AT ITER 4233 NEW BEST:: SOT 104645 SOS 59393 HAS SOPS 59393 HAS SOUS 45834 HAS SOUPS 45834 WITH SCORE 45893.393
AT ITER 4248 NEW BEST:: SOT 104645 SOS 59369 HAS SOPS 59369 HAS SOUS 45822 HAS SOUPS 45822 WITH SCORE 45881.369
AT ITER 4249 NEW BEST:: SOT 104633 SOS 59357 HAS SOPS 59357 HAS SOUS 45810 HAS SOUPS 45810 WITH SCORE 45869.357
AT ITER 4256 NEW BEST:: SOT 104633 SOS 59279 HAS SOPS 59279 HAS SOUS 45810 HAS SOUPS 45810 WITH SCORE 45869.279
AT ITER 4260 NEW BEST:: SOT 104633 SOS 59279 HAS SOPS 59279 HAS SOUS 45792 HAS SOUPS 45792 WITH SCORE 45851.279
AT ITER 4262 NEW BEST:: SOT 104633 SOS 59213 HAS SOPS 59213 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45846.213
AT ITER 4301 NEW BEST:: SOT 104633 SOS 59174 HAS SOPS 59174 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45846.174
AT ITER 4307 NEW BEST:: SOT 104632 SOS 59173 HAS SOPS 59173 HAS SOUS 45786 HAS SOUPS 45786 WITH SCORE 45845.173
AT ITER 4308 NEW BEST:: SOT 104614 SOS 59155 HAS SOPS 59155 HAS SOUS 45768 HAS SOUPS 45768 WITH SCORE 45827.155
AT ITER 4321 NEW BEST:: SOT 104614 SOS 59155 HAS SOPS 59155 HAS SOUS 45759 HAS SOUPS 45759 WITH SCORE 45818.155
AT ITER 4332 NEW BEST:: SOT 104560 SOS 59621 HAS SOPS 59621 HAS SOUS 45747 HAS SOUPS 45747 WITH SCORE 45806.621
AT ITER 4352 NEW BEST:: SOT 104546 SOS 59607 HAS SOPS 59607 HAS SOUS 45731 HAS SOUPS 45731 WITH SCORE 45790.607
AT ITER 4374 NEW BEST:: SOT 104393 SOS 59496 HAS SOPS 59496 HAS SOUS 45638 HAS SOUPS 45638 WITH SCORE 45697.496
AT ITER 4385 NEW BEST:: SOT 104393 SOS 59456 HAS SOPS 59456 HAS SOUS 45635 HAS SOUPS 45635 WITH SCORE 45694.456
AT ITER 4394 NEW BEST:: SOT 104393 SOS 59126 HAS SOPS 59126 HAS SOUS 45623 HAS SOUPS 45623 WITH SCORE 45682.126
AT ITER 4407 NEW BEST:: SOT 104376 SOS 59109 HAS SOPS 59109 HAS SOUS 45606 HAS SOUPS 45606 WITH SCORE 45665.109
AT ITER 4411 NEW BEST:: SOT 104376 SOS 59109 HAS SOPS 59109 HAS SOUS 45548 HAS SOUPS 45548 WITH SCORE 45607.109
AT ITER 4426 NEW BEST:: SOT 104362 SOS 58954 HAS SOPS 58954 HAS SOUS 45544 HAS SOUPS 45544 WITH SCORE 45602.954
AT ITER 4454 NEW BEST:: SOT 104362 SOS 58859 HAS SOPS 58859 HAS SOUS 45544 HAS SOUPS 45544 WITH SCORE 45602.859
AT ITER 4482 NEW BEST:: SOT 104361 SOS 58858 HAS SOPS 58858 HAS SOUS 45543 HAS SOUPS 45543 WITH SCORE 45601.858
AT ITER 4486 NEW BEST:: SOT 104361 SOS 58976 HAS SOPS 58976 HAS SOUS 45522 HAS SOUPS 45522 WITH SCORE 45580.976
AT ITER 4489 NEW BEST:: SOT 104361 SOS 58827 HAS SOPS 58827 HAS SOUS 45522 HAS SOUPS 45522 WITH SCORE 45580.827
AT ITER 4490 NEW BEST:: SOT 104361 SOS 58795 HAS SOPS 58795 HAS SOUS 45522 HAS SOUPS 45522 WITH SCORE 45580.795
AT ITER 4491 NEW BEST:: SOT 104230 SOS 59041 HAS SOPS 59041 HAS SOUS 45492 HAS SOUPS 45492 WITH SCORE 45551.041
AT ITER 4521 NEW BEST:: SOT 104258 SOS 59051 HAS SOPS 59051 HAS SOUS 45481 HAS SOUPS 45481 WITH SCORE 45540.051
AT ITER 4562 NEW BEST:: SOT 104240 SOS 59033 HAS SOPS 59033 HAS SOUS 45463 HAS SOUPS 45463 WITH SCORE 45522.033
AT ITER 4565 NEW BEST:: SOT 104229 SOS 59022 HAS SOPS 59022 HAS SOUS 45452 HAS SOUPS 45452 WITH SCORE 45511.022
AT ITER 4586 NEW BEST:: SOT 104211 SOS 59004 HAS SOPS 59004 HAS SOUS 45434 HAS SOUPS 45434 WITH SCORE 45493.004
AT ITER 4588 NEW BEST:: SOT 104207 SOS 59000 HAS SOPS 59000 HAS SOUS 45430 HAS SOUPS 45430 WITH SCORE 45489.0
AT ITER 4600 NEW BEST:: SOT 104207 SOS 58810 HAS SOPS 58810 HAS SOUS 45430 HAS SOUPS 45430 WITH SCORE 45488.81
AT ITER 4609 NEW BEST:: SOT 104207 SOS 58802 HAS SOPS 58802 HAS SOUS 45421 HAS SOUPS 45421 WITH SCORE 45479.802
AT ITER 4617 NEW BEST:: SOT 104204 SOS 58799 HAS SOPS 58799 HAS SOUS 45414 HAS SOUPS 45414 WITH SCORE 45472.799
AT ITER 4620 NEW BEST:: SOT 104150 SOS 58637 HAS SOPS 58637 HAS SOUS 45387 HAS SOUPS 45387 WITH SCORE 45445.637
AT ITER 4629 NEW BEST:: SOT 103974 SOS 58498 HAS SOPS 58498 HAS SOUS 45252 HAS SOUPS 45252 WITH SCORE 45310.498
AT ITER 4638 NEW BEST:: SOT 103961 SOS 58485 HAS SOPS 58485 HAS SOUS 45239 HAS SOUPS 45239 WITH SCORE 45297.485
AT ITER 4653 NEW BEST:: SOT 103941 SOS 58465 HAS SOPS 58465 HAS SOUS 45219 HAS SOUPS 45219 WITH SCORE 45277.465
AT ITER 4660 NEW BEST:: SOT 103885 SOS 58463 HAS SOPS 58463 HAS SOUS 45201 HAS SOUPS 45201 WITH SCORE 45259.463
AT ITER 4678 NEW BEST:: SOT 103844 SOS 58422 HAS SOPS 58422 HAS SOUS 45160 HAS SOUPS 45160 WITH SCORE 45218.422
AT ITER 4702 NEW BEST:: SOT 103842 SOS 58420 HAS SOPS 58420 HAS SOUS 45158 HAS SOUPS 45158 WITH SCORE 45216.42
AT ITER 4710 NEW BEST:: SOT 103842 SOS 58418 HAS SOPS 58418 HAS SOUS 45158 HAS SOUPS 45158 WITH SCORE 45216.418
AT ITER 4729 NEW BEST:: SOT 103662 SOS 58601 HAS SOPS 58601 HAS SOUS 45051 HAS SOUPS 45051 WITH SCORE 45109.601
AT ITER 4748 NEW BEST:: SOT 103640 SOS 58491 HAS SOPS 58491 HAS SOUS 45032 HAS SOUPS 45032 WITH SCORE 45090.491
AT ITER 4750 NEW BEST:: SOT 103622 SOS 58488 HAS SOPS 58488 HAS SOUS 45029 HAS SOUPS 45029 WITH SCORE 45087.488
AT ITER 4767 NEW BEST:: SOT 103604 SOS 58470 HAS SOPS 58470 HAS SOUS 44975 HAS SOUPS 44975 WITH SCORE 45033.47
AT ITER 4789 NEW BEST:: SOT 103604 SOS 58464 HAS SOPS 58464 HAS SOUS 44975 HAS SOUPS 44975 WITH SCORE 45033.464
AT ITER 4791 NEW BEST:: SOT 103651 SOS 58495 HAS SOPS 58495 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 45000.495
AT ITER 4798 NEW BEST:: SOT 103640 SOS 58867 HAS SOPS 58867 HAS SOUS 44931 HAS SOUPS 44931 WITH SCORE 44989.867
AT ITER 4810 NEW BEST:: SOT 103640 SOS 58867 HAS SOPS 58867 HAS SOUS 44882 HAS SOUPS 44882 WITH SCORE 44940.867
AT ITER 4811 NEW BEST:: SOT 103596 SOS 58879 HAS SOPS 58879 HAS SOUS 44869 HAS SOUPS 44869 WITH SCORE 44927.879
AT ITER 4834 NEW BEST:: SOT 103569 SOS 58857 HAS SOPS 58857 HAS SOUS 44818 HAS SOUPS 44818 WITH SCORE 44876.857
AT ITER 4877 NEW BEST:: SOT 103528 SOS 58718 HAS SOPS 58718 HAS SOUS 44777 HAS SOUPS 44777 WITH SCORE 44835.718
AT ITER 4892 NEW BEST:: SOT 103499 SOS 58716 HAS SOPS 58716 HAS SOUS 44775 HAS SOUPS 44775 WITH SCORE 44833.716
AT ITER 4898 NEW BEST:: SOT 103499 SOS 58696 HAS SOPS 58696 HAS SOUS 44775 HAS SOUPS 44775 WITH SCORE 44833.696
AT ITER 4906 NEW BEST:: SOT 103484 SOS 58681 HAS SOPS 58681 HAS SOUS 44760 HAS SOUPS 44760 WITH SCORE 44818.681
AT ITER 4916 NEW BEST:: SOT 103484 SOS 58663 HAS SOPS 58663 HAS SOUS 44744 HAS SOUPS 44744 WITH SCORE 44802.663
AT ITER 4923 NEW BEST:: SOT 103483 SOS 58662 HAS SOPS 58662 HAS SOUS 44743 HAS SOUPS 44743 WITH SCORE 44801.662
AT ITER 4928 NEW BEST:: SOT 103483 SOS 58647 HAS SOPS 58647 HAS SOUS 44743 HAS SOUPS 44743 WITH SCORE 44801.647
AT ITER 4951 NEW BEST:: SOT 103475 SOS 58627 HAS SOPS 58627 HAS SOUS 44730 HAS SOUPS 44730 WITH SCORE 44788.627
AT ITER 4963 NEW BEST:: SOT 103475 SOS 58617 HAS SOPS 58617 HAS SOUS 44730 HAS SOUPS 44730 WITH SCORE 44788.617
AT ITER 4993 NEW BEST:: SOT 103475 SOS 58418 HAS SOPS 58418 HAS SOUS 44708 HAS SOUPS 44708 WITH SCORE 44766.418
AT ITER 5007 NEW BEST:: SOT 103475 SOS 58418 HAS SOPS 58418 HAS SOUS 44707 HAS SOUPS 44707 WITH SCORE 44765.418
AT ITER 5014 NEW BEST:: SOT 103474 SOS 58348 HAS SOPS 58348 HAS SOUS 44637 HAS SOUPS 44637 WITH SCORE 44695.348
AT ITER 5053 NEW BEST:: SOT 103444 SOS 58332 HAS SOPS 58332 HAS SOUS 44617 HAS SOUPS 44617 WITH SCORE 44675.332
AT ITER 5090 NEW BEST:: SOT 103444 SOS 58317 HAS SOPS 58317 HAS SOUS 44617 HAS SOUPS 44617 WITH SCORE 44675.317
AT ITER 5092 NEW BEST:: SOT 103430 SOS 58347 HAS SOPS 58347 HAS SOUS 44603 HAS SOUPS 44603 WITH SCORE 44661.347
AT ITER 5111 NEW BEST:: SOT 103430 SOS 58287 HAS SOPS 58287 HAS SOUS 44602 HAS SOUPS 44602 WITH SCORE 44660.287
AT ITER 5118 NEW BEST:: SOT 103430 SOS 58283 HAS SOPS 58283 HAS SOUS 44602 HAS SOUPS 44602 WITH SCORE 44660.283
AT ITER 5143 NEW BEST:: SOT 103436 SOS 58286 HAS SOPS 58286 HAS SOUS 44597 HAS SOUPS 44597 WITH SCORE 44655.286
AT ITER 5166 NEW BEST:: SOT 103308 SOS 58277 HAS SOPS 58277 HAS SOUS 44524 HAS SOUPS 44524 WITH SCORE 44582.277
AT ITER 5228 NEW BEST:: SOT 103308 SOS 58341 HAS SOPS 58341 HAS SOUS 44518 HAS SOUPS 44518 WITH SCORE 44576.341
AT ITER 5230 NEW BEST:: SOT 103308 SOS 58329 HAS SOPS 58329 HAS SOUS 44477 HAS SOUPS 44477 WITH SCORE 44535.329
AT ITER 5238 NEW BEST:: SOT 103294 SOS 58315 HAS SOPS 58315 HAS SOUS 44463 HAS SOUPS 44463 WITH SCORE 44521.315
AT ITER 5309 NEW BEST:: SOT 103249 SOS 58282 HAS SOPS 58282 HAS SOUS 44438 HAS SOUPS 44438 WITH SCORE 44496.282
AT ITER 5368 NEW BEST:: SOT 103249 SOS 58278 HAS SOPS 58278 HAS SOUS 44438 HAS SOUPS 44438 WITH SCORE 44496.278
AT ITER 5385 NEW BEST:: SOT 103246 SOS 58275 HAS SOPS 58275 HAS SOUS 44432 HAS SOUPS 44432 WITH SCORE 44490.275
AT ITER 5391 NEW BEST:: SOT 103246 SOS 58273 HAS SOPS 58273 HAS SOUS 44432 HAS SOUPS 44432 WITH SCORE 44490.273
AT ITER 5394 NEW BEST:: SOT 103138 SOS 58180 HAS SOPS 58180 HAS SOUS 44372 HAS SOUPS 44372 WITH SCORE 44430.18
AT ITER 5422 NEW BEST:: SOT 103138 SOS 58180 HAS SOPS 58180 HAS SOUS 44364 HAS SOUPS 44364 WITH SCORE 44422.18
AT ITER 5433 NEW BEST:: SOT 103200 SOS 58221 HAS SOPS 58221 HAS SOUS 44344 HAS SOUPS 44344 WITH SCORE 44402.221
AT ITER 5435 NEW BEST:: SOT 103198 SOS 58219 HAS SOPS 58219 HAS SOUS 44338 HAS SOUPS 44338 WITH SCORE 44396.219
AT ITER 5461 NEW BEST:: SOT 103198 SOS 58262 HAS SOPS 58262 HAS SOUS 44314 HAS SOUPS 44314 WITH SCORE 44372.262
AT ITER 5468 NEW BEST:: SOT 103198 SOS 58204 HAS SOPS 58204 HAS SOUS 44314 HAS SOUPS 44314 WITH SCORE 44372.204
AT ITER 5469 NEW BEST:: SOT 103192 SOS 58201 HAS SOPS 58201 HAS SOUS 44311 HAS SOUPS 44311 WITH SCORE 44369.201
AT ITER 5480 NEW BEST:: SOT 103190 SOS 58203 HAS SOPS 58203 HAS SOUS 44307 HAS SOUPS 44307 WITH SCORE 44365.203
AT ITER 5488 NEW BEST:: SOT 103155 SOS 58096 HAS SOPS 58096 HAS SOUS 44299 HAS SOUPS 44299 WITH SCORE 44357.096
AT ITER 5496 NEW BEST:: SOT 103111 SOS 58052 HAS SOPS 58052 HAS SOUS 44274 HAS SOUPS 44274 WITH SCORE 44332.052
AT ITER 5509 NEW BEST:: SOT 103095 SOS 58052 HAS SOPS 58052 HAS SOUS 44258 HAS SOUPS 44258 WITH SCORE 44316.052
AT ITER 5541 NEW BEST:: SOT 103087 SOS 58046 HAS SOPS 58046 HAS SOUS 44254 HAS SOUPS 44254 WITH SCORE 44312.046
AT ITER 5557 NEW BEST:: SOT 103087 SOS 58046 HAS SOPS 58046 HAS SOUS 44249 HAS SOUPS 44249 WITH SCORE 44307.046
AT ITER 5570 NEW BEST:: SOT 102846 SOS 58167 HAS SOPS 58167 HAS SOUS 44248 HAS SOUPS 44248 WITH SCORE 44306.167
AT ITER 5577 NEW BEST:: SOT 102829 SOS 58150 HAS SOPS 58150 HAS SOUS 44216 HAS SOUPS 44216 WITH SCORE 44274.15
AT ITER 5580 NEW BEST:: SOT 102825 SOS 58146 HAS SOPS 58146 HAS SOUS 44212 HAS SOUPS 44212 WITH SCORE 44270.146
AT ITER 5593 NEW BEST:: SOT 102825 SOS 58130 HAS SOPS 58130 HAS SOUS 44208 HAS SOUPS 44208 WITH SCORE 44266.13
AT ITER 5603 NEW BEST:: SOT 102791 SOS 58070 HAS SOPS 58070 HAS SOUS 44184 HAS SOUPS 44184 WITH SCORE 44242.07
AT ITER 5605 NEW BEST:: SOT 102850 SOS 58039 HAS SOPS 58039 HAS SOUS 44144 HAS SOUPS 44144 WITH SCORE 44202.039
AT ITER 5635 NEW BEST:: SOT 102636 SOS 58153 HAS SOPS 58153 HAS SOUS 44108 HAS SOUPS 44108 WITH SCORE 44166.153
AT ITER 5640 NEW BEST:: SOT 102636 SOS 58149 HAS SOPS 58149 HAS SOUS 44108 HAS SOUPS 44108 WITH SCORE 44166.149
AT ITER 5641 NEW BEST:: SOT 102636 SOS 58081 HAS SOPS 58081 HAS SOUS 44091 HAS SOUPS 44091 WITH SCORE 44149.081
AT ITER 5682 NEW BEST:: SOT 102622 SOS 58067 HAS SOPS 58067 HAS SOUS 44077 HAS SOUPS 44077 WITH SCORE 44135.067
AT ITER 5687 NEW BEST:: SOT 102574 SOS 58019 HAS SOPS 58019 HAS SOUS 44002 HAS SOUPS 44002 WITH SCORE 44060.019
AT ITER 5718 NEW BEST:: SOT 102574 SOS 58019 HAS SOPS 58019 HAS SOUS 43993 HAS SOUPS 43993 WITH SCORE 44051.019
AT ITER 5750 NEW BEST:: SOT 102573 SOS 58018 HAS SOPS 58018 HAS SOUS 43992 HAS SOUPS 43992 WITH SCORE 44050.018
AT ITER 5757 NEW BEST:: SOT 102558 SOS 58003 HAS SOPS 58003 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44015.003
AT ITER 5786 NEW BEST:: SOT 102558 SOS 58000 HAS SOPS 58000 HAS SOUS 43954 HAS SOUPS 43954 WITH SCORE 44012.0
AT ITER 5818 NEW BEST:: SOT 102558 SOS 57997 HAS SOPS 57997 HAS SOUS 43946 HAS SOUPS 43946 WITH SCORE 44003.997
AT ITER 5824 NEW BEST:: SOT 102554 SOS 57993 HAS SOPS 57993 HAS SOUS 43942 HAS SOUPS 43942 WITH SCORE 43999.993
AT ITER 5837 NEW BEST:: SOT 102548 SOS 57987 HAS SOPS 57987 HAS SOUS 43936 HAS SOUPS 43936 WITH SCORE 43993.987
AT ITER 5838 NEW BEST:: SOT 102530 SOS 57987 HAS SOPS 57987 HAS SOUS 43924 HAS SOUPS 43924 WITH SCORE 43981.987
AT ITER 5859 NEW BEST:: SOT 102530 SOS 57956 HAS SOPS 57956 HAS SOUS 43924 HAS SOUPS 43924 WITH SCORE 43981.956
AT ITER 5861 NEW BEST:: SOT 102530 SOS 57962 HAS SOPS 57962 HAS SOUS 43881 HAS SOUPS 43881 WITH SCORE 43938.962
AT ITER 5878 NEW BEST:: SOT 102593 SOS 58022 HAS SOPS 58022 HAS SOUS 43869 HAS SOUPS 43869 WITH SCORE 43927.022
AT ITER 5879 NEW BEST:: SOT 102593 SOS 58004 HAS SOPS 58004 HAS SOUS 43869 HAS SOUPS 43869 WITH SCORE 43927.004
AT ITER 5927 NEW BEST:: SOT 102590 SOS 57996 HAS SOPS 57996 HAS SOUS 43859 HAS SOUPS 43859 WITH SCORE 43916.996
AT ITER 5933 NEW BEST:: SOT 102607 SOS 57873 HAS SOPS 57873 HAS SOUS 43857 HAS SOUPS 43857 WITH SCORE 43914.873
AT ITER 5964 NEW BEST:: SOT 102529 SOS 57902 HAS SOPS 57902 HAS SOUS 43852 HAS SOUPS 43852 WITH SCORE 43909.902
AT ITER 5972 NEW BEST:: SOT 102481 SOS 57875 HAS SOPS 57875 HAS SOUS 43842 HAS SOUPS 43842 WITH SCORE 43899.875
AT ITER 5975 NEW BEST:: SOT 102409 SOS 57828 HAS SOPS 57828 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 43891.828
AT ITER 6009 NEW BEST:: SOT 102409 SOS 57801 HAS SOPS 57801 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 43891.801
AT ITER 6011 NEW BEST:: SOT 102396 SOS 57792 HAS SOPS 57792 HAS SOUS 43827 HAS SOUPS 43827 WITH SCORE 43884.792
AT ITER 6059 NEW BEST:: SOT 102381 SOS 57777 HAS SOPS 57777 HAS SOUS 43812 HAS SOUPS 43812 WITH SCORE 43869.777
AT ITER 6082 NEW BEST:: SOT 102421 SOS 57817 HAS SOPS 57817 HAS SOUS 43810 HAS SOUPS 43810 WITH SCORE 43867.817
AT ITER 6142 NEW BEST:: SOT 102413 SOS 57793 HAS SOPS 57793 HAS SOUS 43800 HAS SOUPS 43800 WITH SCORE 43857.793
AT ITER 6171 NEW BEST:: SOT 102413 SOS 57761 HAS SOPS 57761 HAS SOUS 43800 HAS SOUPS 43800 WITH SCORE 43857.761
AT ITER 6185 NEW BEST:: SOT 102449 SOS 57754 HAS SOPS 57754 HAS SOUS 43745 HAS SOUPS 43745 WITH SCORE 43802.754
AT ITER 6191 NEW BEST:: SOT 102449 SOS 57744 HAS SOPS 57744 HAS SOUS 43738 HAS SOUPS 43738 WITH SCORE 43795.744
AT ITER 6193 NEW BEST:: SOT 102447 SOS 57742 HAS SOPS 57742 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43793.742
AT ITER 6208 NEW BEST:: SOT 102447 SOS 57773 HAS SOPS 57773 HAS SOUS 43733 HAS SOUPS 43733 WITH SCORE 43790.773
AT ITER 6250 NEW BEST:: SOT 102415 SOS 58121 HAS SOPS 58121 HAS SOUS 43708 HAS SOUPS 43708 WITH SCORE 43766.121
AT ITER 6262 NEW BEST:: SOT 102415 SOS 58102 HAS SOPS 58102 HAS SOUS 43708 HAS SOUPS 43708 WITH SCORE 43766.102
AT ITER 6270 NEW BEST:: SOT 102413 SOS 58092 HAS SOPS 58092 HAS SOUS 43704 HAS SOUPS 43704 WITH SCORE 43762.092
AT ITER 6287 NEW BEST:: SOT 102401 SOS 58080 HAS SOPS 58080 HAS SOUS 43692 HAS SOUPS 43692 WITH SCORE 43750.08
AT ITER 6299 NEW BEST:: SOT 102402 SOS 58099 HAS SOPS 58099 HAS SOUS 43659 HAS SOUPS 43659 WITH SCORE 43717.099
AT ITER 6342 NEW BEST:: SOT 102388 SOS 58085 HAS SOPS 58085 HAS SOUS 43633 HAS SOUPS 43633 WITH SCORE 43691.085
AT ITER 6346 NEW BEST:: SOT 102388 SOS 58067 HAS SOPS 58067 HAS SOUS 43633 HAS SOUPS 43633 WITH SCORE 43691.067
AT ITER 6366 NEW BEST:: SOT 102354 SOS 58043 HAS SOPS 58043 HAS SOUS 43624 HAS SOUPS 43624 WITH SCORE 43682.043
AT ITER 6372 NEW BEST:: SOT 102354 SOS 58043 HAS SOPS 58043 HAS SOUS 43616 HAS SOUPS 43616 WITH SCORE 43674.043
AT ITER 6387 NEW BEST:: SOT 102354 SOS 58001 HAS SOPS 58001 HAS SOUS 43616 HAS SOUPS 43616 WITH SCORE 43674.001
AT ITER 6404 NEW BEST:: SOT 102349 SOS 57996 HAS SOPS 57996 HAS SOUS 43605 HAS SOUPS 43605 WITH SCORE 43662.996
AT ITER 6418 NEW BEST:: SOT 102349 SOS 57974 HAS SOPS 57974 HAS SOUS 43605 HAS SOUPS 43605 WITH SCORE 43662.974
AT ITER 6455 NEW BEST:: SOT 102214 SOS 57908 HAS SOPS 57908 HAS SOUS 43605 HAS SOUPS 43605 WITH SCORE 43662.908
AT ITER 6465 NEW BEST:: SOT 102223 SOS 57905 HAS SOPS 57905 HAS SOUS 43516 HAS SOUPS 43516 WITH SCORE 43573.905
AT ITER 6507 NEW BEST:: SOT 102199 SOS 57877 HAS SOPS 57877 HAS SOUS 43483 HAS SOUPS 43483 WITH SCORE 43540.877
AT ITER 6535 NEW BEST:: SOT 102167 SOS 57855 HAS SOPS 57855 HAS SOUS 43461 HAS SOUPS 43461 WITH SCORE 43518.855
AT ITER 6570 NEW BEST:: SOT 102182 SOS 57690 HAS SOPS 57690 HAS SOUS 43386 HAS SOUPS 43386 WITH SCORE 43443.69
AT ITER 6575 NEW BEST:: SOT 102173 SOS 57702 HAS SOPS 57702 HAS SOUS 43377 HAS SOUPS 43377 WITH SCORE 43434.702
AT ITER 6581 NEW BEST:: SOT 102096 SOS 57625 HAS SOPS 57625 HAS SOUS 43300 HAS SOUPS 43300 WITH SCORE 43357.625
AT ITER 6604 NEW BEST:: SOT 102089 SOS 57618 HAS SOPS 57618 HAS SOUS 43293 HAS SOUPS 43293 WITH SCORE 43350.618
AT ITER 6639 NEW BEST:: SOT 102089 SOS 57618 HAS SOPS 57618 HAS SOUS 43287 HAS SOUPS 43287 WITH SCORE 43344.618
AT ITER 6667 NEW BEST:: SOT 101988 SOS 57607 HAS SOPS 57607 HAS SOUS 43284 HAS SOUPS 43284 WITH SCORE 43341.607
AT ITER 6686 NEW BEST:: SOT 101965 SOS 57474 HAS SOPS 57474 HAS SOUS 43258 HAS SOUPS 43258 WITH SCORE 43315.474
AT ITER 6714 NEW BEST:: SOT 101963 SOS 57472 HAS SOPS 57472 HAS SOUS 43256 HAS SOUPS 43256 WITH SCORE 43313.472
AT ITER 6727 NEW BEST:: SOT 101969 SOS 57472 HAS SOPS 57472 HAS SOUS 43232 HAS SOUPS 43232 WITH SCORE 43289.472
AT ITER 6735 NEW BEST:: SOT 101961 SOS 57464 HAS SOPS 57464 HAS SOUS 43192 HAS SOUPS 43192 WITH SCORE 43249.464
AT ITER 6762 NEW BEST:: SOT 101961 SOS 57457 HAS SOPS 57457 HAS SOUS 43192 HAS SOUPS 43192 WITH SCORE 43249.457
AT ITER 6801 NEW BEST:: SOT 101944 SOS 57755 HAS SOPS 57755 HAS SOUS 43183 HAS SOUPS 43183 WITH SCORE 43240.755
AT ITER 6831 NEW BEST:: SOT 101910 SOS 57721 HAS SOPS 57721 HAS SOUS 43126 HAS SOUPS 43126 WITH SCORE 43183.721
AT ITER 6857 NEW BEST:: SOT 101880 SOS 57691 HAS SOPS 57691 HAS SOUS 43055 HAS SOUPS 43055 WITH SCORE 43112.691
AT ITER 6874 NEW BEST:: SOT 101884 SOS 57695 HAS SOPS 57695 HAS SOUS 43052 HAS SOUPS 43052 WITH SCORE 43109.695
AT ITER 6878 NEW BEST:: SOT 101859 SOS 57708 HAS SOPS 57708 HAS SOUS 43035 HAS SOUPS 43035 WITH SCORE 43092.708
AT ITER 6893 NEW BEST:: SOT 101859 SOS 57692 HAS SOPS 57692 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43087.692
AT ITER 6903 NEW BEST:: SOT 101870 SOS 57690 HAS SOPS 57690 HAS SOUS 43028 HAS SOUPS 43028 WITH SCORE 43085.69
AT ITER 6925 NEW BEST:: SOT 101848 SOS 57712 HAS SOPS 57712 HAS SOUS 43017 HAS SOUPS 43017 WITH SCORE 43074.712
AT ITER 6952 NEW BEST:: SOT 101848 SOS 57661 HAS SOPS 57661 HAS SOUS 43017 HAS SOUPS 43017 WITH SCORE 43074.661
AT ITER 7002 NEW BEST:: SOT 101874 SOS 57678 HAS SOPS 57678 HAS SOUS 43016 HAS SOUPS 43016 WITH SCORE 43073.678
AT ITER 7017 NEW BEST:: SOT 101874 SOS 57673 HAS SOPS 57673 HAS SOUS 43016 HAS SOUPS 43016 WITH SCORE 43073.673
AT ITER 7049 NEW BEST:: SOT 101857 SOS 57656 HAS SOPS 57656 HAS SOUS 42999 HAS SOUPS 42999 WITH SCORE 43056.656
AT ITER 7073 NEW BEST:: SOT 101857 SOS 57616 HAS SOPS 57616 HAS SOUS 42997 HAS SOUPS 42997 WITH SCORE 43054.616
AT ITER 7082 NEW BEST:: SOT 101843 SOS 57602 HAS SOPS 57602 HAS SOUS 42983 HAS SOUPS 42983 WITH SCORE 43040.602
AT ITER 7102 NEW BEST:: SOT 101891 SOS 57571 HAS SOPS 57571 HAS SOUS 42983 HAS SOUPS 42983 WITH SCORE 43040.571
AT ITER 7136 NEW BEST:: SOT 101888 SOS 57568 HAS SOPS 57568 HAS SOUS 42980 HAS SOUPS 42980 WITH SCORE 43037.568
AT ITER 7154 NEW BEST:: SOT 101888 SOS 57436 HAS SOPS 57436 HAS SOUS 42980 HAS SOUPS 42980 WITH SCORE 43037.436
AT ITER 7166 NEW BEST:: SOT 101887 SOS 57435 HAS SOPS 57435 HAS SOUS 42979 HAS SOUPS 42979 WITH SCORE 43036.435
AT ITER 7184 NEW BEST:: SOT 101825 SOS 57379 HAS SOPS 57379 HAS SOUS 42955 HAS SOUPS 42955 WITH SCORE 43012.379
AT ITER 7224 NEW BEST:: SOT 101818 SOS 57475 HAS SOPS 57475 HAS SOUS 42948 HAS SOUPS 42948 WITH SCORE 43005.475
AT ITER 7225 NEW BEST:: SOT 101837 SOS 57480 HAS SOPS 57480 HAS SOUS 42932 HAS SOUPS 42932 WITH SCORE 42989.48
AT ITER 7229 NEW BEST:: SOT 101837 SOS 57480 HAS SOPS 57480 HAS SOUS 42913 HAS SOUPS 42913 WITH SCORE 42970.48
AT ITER 7264 NEW BEST:: SOT 101822 SOS 57465 HAS SOPS 57465 HAS SOUS 42898 HAS SOUPS 42898 WITH SCORE 42955.465
AT ITER 7276 NEW BEST:: SOT 101809 SOS 57452 HAS SOPS 57452 HAS SOUS 42885 HAS SOUPS 42885 WITH SCORE 42942.452
AT ITER 7282 NEW BEST:: SOT 101803 SOS 57446 HAS SOPS 57446 HAS SOUS 42881 HAS SOUPS 42881 WITH SCORE 42938.446
AT ITER 7301 NEW BEST:: SOT 101798 SOS 57441 HAS SOPS 57441 HAS SOUS 42876 HAS SOUPS 42876 WITH SCORE 42933.441
AT ITER 7302 NEW BEST:: SOT 101780 SOS 57423 HAS SOPS 57423 HAS SOUS 42858 HAS SOUPS 42858 WITH SCORE 42915.423
AT ITER 7329 NEW BEST:: SOT 101773 SOS 57402 HAS SOPS 57402 HAS SOUS 42805 HAS SOUPS 42805 WITH SCORE 42862.402
AT ITER 7336 NEW BEST:: SOT 101762 SOS 57391 HAS SOPS 57391 HAS SOUS 42794 HAS SOUPS 42794 WITH SCORE 42851.391
AT ITER 7347 NEW BEST:: SOT 101762 SOS 57360 HAS SOPS 57360 HAS SOUS 42794 HAS SOUPS 42794 WITH SCORE 42851.36
AT ITER 7374 NEW BEST:: SOT 101665 SOS 57553 HAS SOPS 57553 HAS SOUS 42754 HAS SOUPS 42754 WITH SCORE 42811.553
AT ITER 7403 NEW BEST:: SOT 101665 SOS 57521 HAS SOPS 57521 HAS SOUS 42747 HAS SOUPS 42747 WITH SCORE 42804.521
AT ITER 7406 NEW BEST:: SOT 101592 SOS 57513 HAS SOPS 57513 HAS SOUS 42715 HAS SOUPS 42715 WITH SCORE 42772.513
AT ITER 7416 NEW BEST:: SOT 101592 SOS 57571 HAS SOPS 57571 HAS SOUS 42696 HAS SOUPS 42696 WITH SCORE 42753.571
AT ITER 7448 NEW BEST:: SOT 101547 SOS 57556 HAS SOPS 57556 HAS SOUS 42669 HAS SOUPS 42669 WITH SCORE 42726.556
AT ITER 7451 NEW BEST:: SOT 101533 SOS 57542 HAS SOPS 57542 HAS SOUS 42655 HAS SOUPS 42655 WITH SCORE 42712.542
AT ITER 7486 NEW BEST:: SOT 101545 SOS 57533 HAS SOPS 57533 HAS SOUS 42587 HAS SOUPS 42587 WITH SCORE 42644.533
AT ITER 7499 NEW BEST:: SOT 101534 SOS 57397 HAS SOPS 57397 HAS SOUS 42518 HAS SOUPS 42518 WITH SCORE 42575.397
AT ITER 7503 NEW BEST:: SOT 101531 SOS 57394 HAS SOPS 57394 HAS SOUS 42515 HAS SOUPS 42515 WITH SCORE 42572.394
AT ITER 7527 NEW BEST:: SOT 101531 SOS 57394 HAS SOPS 57394 HAS SOUS 42513 HAS SOUPS 42513 WITH SCORE 42570.394
AT ITER 7549 NEW BEST:: SOT 101531 SOS 57394 HAS SOPS 57394 HAS SOUS 42505 HAS SOUPS 42505 WITH SCORE 42562.394
AT ITER 7554 NEW BEST:: SOT 101531 SOS 57321 HAS SOPS 57321 HAS SOUS 42505 HAS SOUPS 42505 WITH SCORE 42562.321
AT ITER 7584 NEW BEST:: SOT 101531 SOS 57325 HAS SOPS 57325 HAS SOUS 42495 HAS SOUPS 42495 WITH SCORE 42552.325
AT ITER 7591 NEW BEST:: SOT 101531 SOS 57325 HAS SOPS 57325 HAS SOUS 42492 HAS SOUPS 42492 WITH SCORE 42549.325
AT ITER 7599 NEW BEST:: SOT 101611 SOS 57151 HAS SOPS 57151 HAS SOUS 42487 HAS SOUPS 42487 WITH SCORE 42544.151
AT ITER 7649 NEW BEST:: SOT 101610 SOS 57150 HAS SOPS 57150 HAS SOUS 42486 HAS SOUPS 42486 WITH SCORE 42543.15
AT ITER 7675 NEW BEST:: SOT 101602 SOS 57142 HAS SOPS 57142 HAS SOUS 42473 HAS SOUPS 42473 WITH SCORE 42530.142
AT ITER 7707 NEW BEST:: SOT 101599 SOS 57139 HAS SOPS 57139 HAS SOUS 42470 HAS SOUPS 42470 WITH SCORE 42527.139
AT ITER 7768 NEW BEST:: SOT 101599 SOS 57118 HAS SOPS 57118 HAS SOUS 42461 HAS SOUPS 42461 WITH SCORE 42518.118
AT ITER 7814 NEW BEST:: SOT 101575 SOS 57094 HAS SOPS 57094 HAS SOUS 42411 HAS SOUPS 42411 WITH SCORE 42468.094
AT ITER 7842 NEW BEST:: SOT 101575 SOS 57077 HAS SOPS 57077 HAS SOUS 42396 HAS SOUPS 42396 WITH SCORE 42453.077
AT ITER 7865 NEW BEST:: SOT 101579 SOS 57078 HAS SOPS 57078 HAS SOUS 42394 HAS SOUPS 42394 WITH SCORE 42451.078
AT ITER 7873 NEW BEST:: SOT 101585 SOS 57060 HAS SOPS 57060 HAS SOUS 42389 HAS SOUPS 42389 WITH SCORE 42446.06
AT ITER 7890 NEW BEST:: SOT 101585 SOS 57060 HAS SOPS 57060 HAS SOUS 42379 HAS SOUPS 42379 WITH SCORE 42436.06
AT ITER 7915 NEW BEST:: SOT 101534 SOS 57009 HAS SOPS 57009 HAS SOUS 42377 HAS SOUPS 42377 WITH SCORE 42434.009
AT ITER 7923 NEW BEST:: SOT 101546 SOS 56961 HAS SOPS 56961 HAS SOUS 42374 HAS SOUPS 42374 WITH SCORE 42430.961
AT ITER 7972 NEW BEST:: SOT 101570 SOS 56962 HAS SOPS 56962 HAS SOUS 42365 HAS SOUPS 42365 WITH SCORE 42421.962
AT ITER 7987 NEW BEST:: SOT 101567 SOS 56959 HAS SOPS 56959 HAS SOUS 42362 HAS SOUPS 42362 WITH SCORE 42418.959
AT ITER 7996 NEW BEST:: SOT 101567 SOS 56942 HAS SOPS 56942 HAS SOUS 42362 HAS SOUPS 42362 WITH SCORE 42418.942
AT ITER 8051 NEW BEST:: SOT 101515 SOS 56988 HAS SOPS 56988 HAS SOUS 42359 HAS SOUPS 42359 WITH SCORE 42415.988
AT ITER 8096 NEW BEST:: SOT 101515 SOS 56988 HAS SOPS 56988 HAS SOUS 42342 HAS SOUPS 42342 WITH SCORE 42398.988
AT ITER 8098 NEW BEST:: SOT 101515 SOS 56988 HAS SOPS 56988 HAS SOUS 42337 HAS SOUPS 42337 WITH SCORE 42393.988
AT ITER 8108 NEW BEST:: SOT 101515 SOS 56956 HAS SOPS 56956 HAS SOUS 42337 HAS SOUPS 42337 WITH SCORE 42393.956
AT ITER 8111 NEW BEST:: SOT 101504 SOS 56945 HAS SOPS 56945 HAS SOUS 42312 HAS SOUPS 42312 WITH SCORE 42368.945
AT ITER 8165 NEW BEST:: SOT 101496 SOS 56937 HAS SOPS 56937 HAS SOUS 42293 HAS SOUPS 42293 WITH SCORE 42349.937
AT ITER 8176 NEW BEST:: SOT 101493 SOS 56934 HAS SOPS 56934 HAS SOUS 42290 HAS SOUPS 42290 WITH SCORE 42346.934
AT ITER 8204 NEW BEST:: SOT 101489 SOS 56930 HAS SOPS 56930 HAS SOUS 42286 HAS SOUPS 42286 WITH SCORE 42342.93
AT ITER 8238 NEW BEST:: SOT 101446 SOS 56887 HAS SOPS 56887 HAS SOUS 42270 HAS SOUPS 42270 WITH SCORE 42326.887
AT ITER 8247 NEW BEST:: SOT 101445 SOS 56885 HAS SOPS 56885 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42324.885
AT ITER 8252 NEW BEST:: SOT 101445 SOS 56870 HAS SOPS 56870 HAS SOUS 42268 HAS SOUPS 42268 WITH SCORE 42324.87
AT ITER 8286 NEW BEST:: SOT 101440 SOS 56865 HAS SOPS 56865 HAS SOUS 42263 HAS SOUPS 42263 WITH SCORE 42319.865
AT ITER 8326 NEW BEST:: SOT 101421 SOS 56848 HAS SOPS 56848 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42277.848
AT ITER 8342 NEW BEST:: SOT 101278 SOS 56705 HAS SOPS 56705 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42277.705
AT ITER 8347 NEW BEST:: SOT 101343 SOS 56718 HAS SOPS 56718 HAS SOUS 42137 HAS SOUPS 42137 WITH SCORE 42193.718
AT ITER 8361 NEW BEST:: SOT 101388 SOS 56753 HAS SOPS 56753 HAS SOUS 42123 HAS SOUPS 42123 WITH SCORE 42179.753
AT ITER 8417 NEW BEST:: SOT 101256 SOS 56709 HAS SOPS 56709 HAS SOUS 42033 HAS SOUPS 42033 WITH SCORE 42089.709
AT ITER 8455 NEW BEST:: SOT 101247 SOS 56663 HAS SOPS 56663 HAS SOUS 41987 HAS SOUPS 41987 WITH SCORE 42043.663
AT ITER 8465 NEW BEST:: SOT 101257 SOS 56673 HAS SOPS 56673 HAS SOUS 41986 HAS SOUPS 41986 WITH SCORE 42042.673
AT ITER 8491 NEW BEST:: SOT 101237 SOS 56653 HAS SOPS 56653 HAS SOUS 41966 HAS SOUPS 41966 WITH SCORE 42022.653
AT ITER 8542 NEW BEST:: SOT 101237 SOS 56653 HAS SOPS 56653 HAS SOUS 41963 HAS SOUPS 41963 WITH SCORE 42019.653
AT ITER 8577 NEW BEST:: SOT 101259 SOS 56675 HAS SOPS 56675 HAS SOUS 41959 HAS SOUPS 41959 WITH SCORE 42015.675
AT ITER 8604 NEW BEST:: SOT 101260 SOS 56672 HAS SOPS 56672 HAS SOUS 41959 HAS SOUPS 41959 WITH SCORE 42015.672
AT ITER 8616 NEW BEST:: SOT 101166 SOS 56622 HAS SOPS 56622 HAS SOUS 41955 HAS SOUPS 41955 WITH SCORE 42011.622
AT ITER 8622 NEW BEST:: SOT 101165 SOS 56621 HAS SOPS 56621 HAS SOUS 41954 HAS SOUPS 41954 WITH SCORE 42010.621
AT ITER 8624 NEW BEST:: SOT 101081 SOS 56613 HAS SOPS 56613 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41951.613
AT ITER 8658 NEW BEST:: SOT 101081 SOS 56610 HAS SOPS 56610 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41951.61
AT ITER 8666 NEW BEST:: SOT 101081 SOS 56599 HAS SOPS 56599 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41951.599
AT ITER 8681 NEW BEST:: SOT 101005 SOS 56792 HAS SOPS 56792 HAS SOUS 41883 HAS SOUPS 41883 WITH SCORE 41939.792
AT ITER 8785 NEW BEST:: SOT 101002 SOS 56789 HAS SOPS 56789 HAS SOUS 41880 HAS SOUPS 41880 WITH SCORE 41936.789
AT ITER 8832 NEW BEST:: SOT 101002 SOS 56787 HAS SOPS 56787 HAS SOUS 41880 HAS SOUPS 41880 WITH SCORE 41936.787
AT ITER 8848 NEW BEST:: SOT 100997 SOS 56792 HAS SOPS 56792 HAS SOUS 41875 HAS SOUPS 41875 WITH SCORE 41931.792
AT ITER 8868 NEW BEST:: SOT 100898 SOS 56779 HAS SOPS 56779 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41888.779
AT ITER 8873 NEW BEST:: SOT 100886 SOS 56767 HAS SOPS 56767 HAS SOUS 41820 HAS SOUPS 41820 WITH SCORE 41876.767
AT ITER 8894 NEW BEST:: SOT 100886 SOS 56561 HAS SOPS 56561 HAS SOUS 41820 HAS SOUPS 41820 WITH SCORE 41876.561
AT ITER 8909 NEW BEST:: SOT 100832 SOS 56507 HAS SOPS 56507 HAS SOUS 41717 HAS SOUPS 41717 WITH SCORE 41773.507
AT ITER 8910 NEW BEST:: SOT 100812 SOS 56487 HAS SOPS 56487 HAS SOUS 41714 HAS SOUPS 41714 WITH SCORE 41770.487
AT ITER 8918 NEW BEST:: SOT 100811 SOS 56486 HAS SOPS 56486 HAS SOUS 41713 HAS SOUPS 41713 WITH SCORE 41769.486
AT ITER 8955 NEW BEST:: SOT 100793 SOS 56513 HAS SOPS 56513 HAS SOUS 41704 HAS SOUPS 41704 WITH SCORE 41760.513
AT ITER 9013 NEW BEST:: SOT 100794 SOS 56514 HAS SOPS 56514 HAS SOUS 41670 HAS SOUPS 41670 WITH SCORE 41726.514
AT ITER 9034 NEW BEST:: SOT 100789 SOS 56509 HAS SOPS 56509 HAS SOUS 41665 HAS SOUPS 41665 WITH SCORE 41721.509
AT ITER 9050 NEW BEST:: SOT 100757 SOS 56493 HAS SOPS 56493 HAS SOUS 41664 HAS SOUPS 41664 WITH SCORE 41720.493
AT ITER 9129 NEW BEST:: SOT 100757 SOS 56493 HAS SOPS 56493 HAS SOUS 41659 HAS SOUPS 41659 WITH SCORE 41715.493
AT ITER 9144 NEW BEST:: SOT 100757 SOS 56493 HAS SOPS 56493 HAS SOUS 41653 HAS SOUPS 41653 WITH SCORE 41709.493
AT ITER 9195 NEW BEST:: SOT 100741 SOS 56465 HAS SOPS 56465 HAS SOUS 41646 HAS SOUPS 41646 WITH SCORE 41702.465
AT ITER 9196 NEW BEST:: SOT 100717 SOS 56441 HAS SOPS 56441 HAS SOUS 41622 HAS SOUPS 41622 WITH SCORE 41678.441
AT ITER 9198 NEW BEST:: SOT 100703 SOS 56439 HAS SOPS 56439 HAS SOUS 41615 HAS SOUPS 41615 WITH SCORE 41671.439
AT ITER 9217 NEW BEST:: SOT 100702 SOS 56438 HAS SOPS 56438 HAS SOUS 41614 HAS SOUPS 41614 WITH SCORE 41670.438
AT ITER 9222 NEW BEST:: SOT 100702 SOS 56438 HAS SOPS 56438 HAS SOUS 41613 HAS SOUPS 41613 WITH SCORE 41669.438
AT ITER 9233 NEW BEST:: SOT 100702 SOS 56371 HAS SOPS 56371 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41662.371
AT ITER 9250 NEW BEST:: SOT 100702 SOS 56356 HAS SOPS 56356 HAS SOUS 41591 HAS SOUPS 41591 WITH SCORE 41647.356
AT ITER 9307 NEW BEST:: SOT 100702 SOS 56356 HAS SOPS 56356 HAS SOUS 41585 HAS SOUPS 41585 WITH SCORE 41641.356
AT ITER 9316 NEW BEST:: SOT 100702 SOS 56390 HAS SOPS 56390 HAS SOUS 41580 HAS SOUPS 41580 WITH SCORE 41636.39
AT ITER 9340 NEW BEST:: SOT 100678 SOS 56366 HAS SOPS 56366 HAS SOUS 41556 HAS SOUPS 41556 WITH SCORE 41612.366
AT ITER 9352 NEW BEST:: SOT 100696 SOS 56370 HAS SOPS 56370 HAS SOUS 41529 HAS SOUPS 41529 WITH SCORE 41585.37
AT ITER 9414 NEW BEST:: SOT 100694 SOS 56376 HAS SOPS 56376 HAS SOUS 41527 HAS SOUPS 41527 WITH SCORE 41583.376
AT ITER 9433 NEW BEST:: SOT 100709 SOS 56375 HAS SOPS 56375 HAS SOUS 41526 HAS SOUPS 41526 WITH SCORE 41582.375
AT ITER 9441 NEW BEST:: SOT 100693 SOS 56391 HAS SOPS 56391 HAS SOUS 41515 HAS SOUPS 41515 WITH SCORE 41571.391
AT ITER 9463 NEW BEST:: SOT 100624 SOS 56504 HAS SOPS 56504 HAS SOUS 41502 HAS SOUPS 41502 WITH SCORE 41558.504
AT ITER 9477 NEW BEST:: SOT 100621 SOS 56501 HAS SOPS 56501 HAS SOUS 41484 HAS SOUPS 41484 WITH SCORE 41540.501
AT ITER 9486 NEW BEST:: SOT 100618 SOS 56498 HAS SOPS 56498 HAS SOUS 41481 HAS SOUPS 41481 WITH SCORE 41537.498
AT ITER 9524 NEW BEST:: SOT 100610 SOS 56490 HAS SOPS 56490 HAS SOUS 41473 HAS SOUPS 41473 WITH SCORE 41529.49
AT ITER 9548 NEW BEST:: SOT 100610 SOS 56490 HAS SOPS 56490 HAS SOUS 41472 HAS SOUPS 41472 WITH SCORE 41528.49
AT ITER 9564 NEW BEST:: SOT 100605 SOS 56485 HAS SOPS 56485 HAS SOUS 41467 HAS SOUPS 41467 WITH SCORE 41523.485
AT ITER 9597 NEW BEST:: SOT 100594 SOS 56485 HAS SOPS 56485 HAS SOUS 41455 HAS SOUPS 41455 WITH SCORE 41511.485
AT ITER 9613 NEW BEST:: SOT 100594 SOS 56452 HAS SOPS 56452 HAS SOUS 41455 HAS SOUPS 41455 WITH SCORE 41511.452
AT ITER 9682 NEW BEST:: SOT 100598 SOS 56446 HAS SOPS 56446 HAS SOUS 41449 HAS SOUPS 41449 WITH SCORE 41505.446
AT ITER 9720 NEW BEST:: SOT 100598 SOS 56440 HAS SOPS 56440 HAS SOUS 41431 HAS SOUPS 41431 WITH SCORE 41487.44
AT ITER 9745 NEW BEST:: SOT 100583 SOS 56434 HAS SOPS 56434 HAS SOUS 41382 HAS SOUPS 41382 WITH SCORE 41438.434
AT ITER 9749 NEW BEST:: SOT 100583 SOS 56431 HAS SOPS 56431 HAS SOUS 41382 HAS SOUPS 41382 WITH SCORE 41438.431
AT ITER 9796 NEW BEST:: SOT 100569 SOS 56417 HAS SOPS 56417 HAS SOUS 41354 HAS SOUPS 41354 WITH SCORE 41410.417
AT ITER 9818 NEW BEST:: SOT 100569 SOS 56417 HAS SOPS 56417 HAS SOUS 41344 HAS SOUPS 41344 WITH SCORE 41400.417
AT ITER 9844 NEW BEST:: SOT 100569 SOS 56417 HAS SOPS 56417 HAS SOUS 41295 HAS SOUPS 41295 WITH SCORE 41351.417
AT ITER 9906 NEW BEST:: SOT 100575 SOS 56389 HAS SOPS 56389 HAS SOUS 41284 HAS SOUPS 41284 WITH SCORE 41340.389
AT ITER 9986 NEW BEST:: SOT 100567 SOS 56371 HAS SOPS 56371 HAS SOUS 41243 HAS SOUPS 41243 WITH SCORE 41299.371
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6806492 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114312 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="Sudoku-PT-AN07"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is Sudoku-PT-AN07, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912710200216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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