About the Execution of Smart for PolyORBLF-COL-S02J04T08
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
168.216 | 67175.00 | 66035.00 | 1005.50 | 16693 31534 10 62 | normal |
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.r291-tall-167873942800360.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 smart
Input is PolyORBLF-COL-S02J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942800360
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 680K
-rw-r--r-- 1 mcc users 7.2K Feb 26 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 13:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 13:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 172K Feb 26 13:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 26 13:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K 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 1678788221590
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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S02J04T08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 10:03:44] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 10:03:44] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 10:03:44] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 10:03:45] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 10:03:45] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1124 ms
[2023-03-14 10:03:45] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 614 PT places and 1300.0 transition bindings in 67 ms.
[2023-03-14 10:03:46] [INFO ] Unfolded HLPN to a Petri net with 614 places and 1242 transitions 5732 arcs in 88 ms.
[2023-03-14 10:03:46] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 128 transitions
Reduce isomorphic transitions removed 128 transitions.
[2023-03-14 10:03:46] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 614 places, 1114 transitions and 4836 arcs took 28 ms.
Total runtime 1688 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J04T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 614 places, 1114 transitions, 4836 arcs.
AT ITER 0 NEW BEST:: SOT 425100 SOS 235381 HAS SOPS 231781 HAS SOUS 167254 HAS SOUPS 166654 WITH SCORE 166889.381
AT ITER 2 NEW BEST:: SOT 425100 SOS 235265 HAS SOPS 231736 HAS SOUS 167208 HAS SOUPS 166609 WITH SCORE 166844.265
AT ITER 4 NEW BEST:: SOT 423618 SOS 233488 HAS SOPS 229959 HAS SOUS 166797 HAS SOUPS 166198 WITH SCORE 166431.488
AT ITER 10 NEW BEST:: SOT 423258 SOS 233266 HAS SOPS 229737 HAS SOUS 166575 HAS SOUPS 165976 WITH SCORE 166209.266
AT ITER 14 NEW BEST:: SOT 423258 SOS 233235 HAS SOPS 229675 HAS SOUS 166569 HAS SOUPS 165945 WITH SCORE 166178.235
AT ITER 15 NEW BEST:: SOT 422674 SOS 232705 HAS SOPS 229145 HAS SOUS 166407 HAS SOUPS 165783 WITH SCORE 166015.705
AT ITER 17 NEW BEST:: SOT 422463 SOS 232622 HAS SOPS 229062 HAS SOUS 166321 HAS SOUPS 165697 WITH SCORE 165929.622
AT ITER 19 NEW BEST:: SOT 422520 SOS 232892 HAS SOPS 229332 HAS SOUS 165717 HAS SOUPS 165093 WITH SCORE 165325.892
AT ITER 23 NEW BEST:: SOT 421496 SOS 232179 HAS SOPS 228619 HAS SOUS 164807 HAS SOUPS 164183 WITH SCORE 164415.179
AT ITER 28 NEW BEST:: SOT 421446 SOS 232039 HAS SOPS 228479 HAS SOUS 164747 HAS SOUPS 164123 WITH SCORE 164355.039
AT ITER 29 NEW BEST:: SOT 421386 SOS 231915 HAS SOPS 228355 HAS SOUS 164560 HAS SOUPS 163936 WITH SCORE 164167.915
AT ITER 32 NEW BEST:: SOT 421386 SOS 231906 HAS SOPS 228346 HAS SOUS 164560 HAS SOUPS 163936 WITH SCORE 164167.906
AT ITER 37 NEW BEST:: SOT 421183 SOS 230803 HAS SOPS 227243 HAS SOUS 164335 HAS SOUPS 163711 WITH SCORE 163941.803
AT ITER 40 NEW BEST:: SOT 421005 SOS 230564 HAS SOPS 227004 HAS SOUS 164225 HAS SOUPS 163601 WITH SCORE 163831.564
AT ITER 43 NEW BEST:: SOT 420982 SOS 230311 HAS SOPS 226751 HAS SOUS 164156 HAS SOUPS 163532 WITH SCORE 163762.311
AT ITER 45 NEW BEST:: SOT 420939 SOS 230234 HAS SOPS 226674 HAS SOUS 164079 HAS SOUPS 163455 WITH SCORE 163685.234
AT ITER 47 NEW BEST:: SOT 420933 SOS 229984 HAS SOPS 226424 HAS SOUS 164000 HAS SOUPS 163376 WITH SCORE 163605.984
AT ITER 48 NEW BEST:: SOT 420873 SOS 228659 HAS SOPS 225099 HAS SOUS 163339 HAS SOUPS 162715 WITH SCORE 162943.659
AT ITER 52 NEW BEST:: SOT 420865 SOS 228619 HAS SOPS 225059 HAS SOUS 163299 HAS SOUPS 162675 WITH SCORE 162903.619
AT ITER 58 NEW BEST:: SOT 420865 SOS 228619 HAS SOPS 225059 HAS SOUS 163298 HAS SOUPS 162674 WITH SCORE 162902.619
AT ITER 60 NEW BEST:: SOT 420583 SOS 228431 HAS SOPS 224871 HAS SOUS 163094 HAS SOUPS 162470 WITH SCORE 162698.431
AT ITER 65 NEW BEST:: SOT 420569 SOS 228417 HAS SOPS 224857 HAS SOUS 163035 HAS SOUPS 162411 WITH SCORE 162639.417
AT ITER 73 NEW BEST:: SOT 420350 SOS 228139 HAS SOPS 224579 HAS SOUS 162429 HAS SOUPS 161805 WITH SCORE 162033.139
AT ITER 75 NEW BEST:: SOT 420283 SOS 228072 HAS SOPS 224512 HAS SOUS 162385 HAS SOUPS 161761 WITH SCORE 161989.072
AT ITER 76 NEW BEST:: SOT 420188 SOS 227875 HAS SOPS 224315 HAS SOUS 162188 HAS SOUPS 161564 WITH SCORE 161791.875
AT ITER 79 NEW BEST:: SOT 420198 SOS 227575 HAS SOPS 224015 HAS SOUS 161564 HAS SOUPS 160940 WITH SCORE 161167.575
AT ITER 89 NEW BEST:: SOT 420088 SOS 227392 HAS SOPS 223832 HAS SOUS 161379 HAS SOUPS 160755 WITH SCORE 160982.392
AT ITER 95 NEW BEST:: SOT 420088 SOS 227422 HAS SOPS 223862 HAS SOUS 161345 HAS SOUPS 160721 WITH SCORE 160948.422
AT ITER 99 NEW BEST:: SOT 420277 SOS 228054 HAS SOPS 224494 HAS SOUS 161250 HAS SOUPS 160626 WITH SCORE 160854.054
AT ITER 100 NEW BEST:: SOT 420277 SOS 226785 HAS SOPS 223225 HAS SOUS 161162 HAS SOUPS 160538 WITH SCORE 160764.785
AT ITER 104 NEW BEST:: SOT 420296 SOS 225664 HAS SOPS 222104 HAS SOUS 161105 HAS SOUPS 160481 WITH SCORE 160706.664
AT ITER 112 NEW BEST:: SOT 420243 SOS 225616 HAS SOPS 222056 HAS SOUS 161056 HAS SOUPS 160432 WITH SCORE 160657.616
AT ITER 121 NEW BEST:: SOT 420243 SOS 225642 HAS SOPS 222082 HAS SOUS 161030 HAS SOUPS 160406 WITH SCORE 160631.642
AT ITER 133 NEW BEST:: SOT 419763 SOS 225345 HAS SOPS 221785 HAS SOUS 161018 HAS SOUPS 160394 WITH SCORE 160619.345
AT ITER 138 NEW BEST:: SOT 419799 SOS 225319 HAS SOPS 221759 HAS SOUS 160992 HAS SOUPS 160368 WITH SCORE 160593.319
AT ITER 146 NEW BEST:: SOT 419739 SOS 224902 HAS SOPS 221342 HAS SOUS 160697 HAS SOUPS 160073 WITH SCORE 160297.902
AT ITER 147 NEW BEST:: SOT 419739 SOS 224895 HAS SOPS 221335 HAS SOUS 160690 HAS SOUPS 160066 WITH SCORE 160290.895
AT ITER 152 NEW BEST:: SOT 419739 SOS 224886 HAS SOPS 221326 HAS SOUS 160681 HAS SOUPS 160057 WITH SCORE 160281.886
AT ITER 156 NEW BEST:: SOT 419725 SOS 224806 HAS SOPS 221246 HAS SOUS 160601 HAS SOUPS 159977 WITH SCORE 160201.806
AT ITER 162 NEW BEST:: SOT 419359 SOS 224518 HAS SOPS 220958 HAS SOUS 160297 HAS SOUPS 159673 WITH SCORE 159897.518
AT ITER 164 NEW BEST:: SOT 419336 SOS 224495 HAS SOPS 220935 HAS SOUS 160262 HAS SOUPS 159638 WITH SCORE 159862.495
AT ITER 170 NEW BEST:: SOT 419166 SOS 224245 HAS SOPS 220685 HAS SOUS 159947 HAS SOUPS 159323 WITH SCORE 159547.245
AT ITER 175 NEW BEST:: SOT 419163 SOS 224220 HAS SOPS 220660 HAS SOUS 159941 HAS SOUPS 159317 WITH SCORE 159541.22
AT ITER 186 NEW BEST:: SOT 419138 SOS 224170 HAS SOPS 220610 HAS SOUS 159795 HAS SOUPS 159171 WITH SCORE 159395.17
AT ITER 187 NEW BEST:: SOT 419076 SOS 224068 HAS SOPS 220508 HAS SOUS 159561 HAS SOUPS 158937 WITH SCORE 159161.068
AT ITER 194 NEW BEST:: SOT 419170 SOS 224167 HAS SOPS 220607 HAS SOUS 159162 HAS SOUPS 158538 WITH SCORE 158762.167
AT ITER 195 NEW BEST:: SOT 418986 SOS 223698 HAS SOPS 220138 HAS SOUS 159117 HAS SOUPS 158493 WITH SCORE 158716.698
AT ITER 199 NEW BEST:: SOT 418879 SOS 223377 HAS SOPS 219817 HAS SOUS 158996 HAS SOUPS 158372 WITH SCORE 158595.377
AT ITER 200 NEW BEST:: SOT 418617 SOS 222852 HAS SOPS 219292 HAS SOUS 158572 HAS SOUPS 157948 WITH SCORE 158170.852
AT ITER 205 NEW BEST:: SOT 418670 SOS 222875 HAS SOPS 219315 HAS SOUS 158228 HAS SOUPS 157604 WITH SCORE 157826.875
AT ITER 210 NEW BEST:: SOT 418602 SOS 222807 HAS SOPS 219247 HAS SOUS 157663 HAS SOUPS 157039 WITH SCORE 157261.807
AT ITER 217 NEW BEST:: SOT 419252 SOS 223199 HAS SOPS 219639 HAS SOUS 157531 HAS SOUPS 156907 WITH SCORE 157130.199
AT ITER 219 NEW BEST:: SOT 419443 SOS 222892 HAS SOPS 219332 HAS SOUS 157174 HAS SOUPS 156550 WITH SCORE 156772.892
AT ITER 223 NEW BEST:: SOT 418920 SOS 222545 HAS SOPS 218985 HAS SOUS 156749 HAS SOUPS 156125 WITH SCORE 156347.545
AT ITER 247 NEW BEST:: SOT 418874 SOS 222476 HAS SOPS 218916 HAS SOUS 156634 HAS SOUPS 156010 WITH SCORE 156232.476
AT ITER 251 NEW BEST:: SOT 418610 SOS 222148 HAS SOPS 218588 HAS SOUS 155137 HAS SOUPS 154513 WITH SCORE 154735.148
AT ITER 252 NEW BEST:: SOT 418629 SOS 222202 HAS SOPS 218642 HAS SOUS 154860 HAS SOUPS 154236 WITH SCORE 154458.202
AT ITER 256 NEW BEST:: SOT 418471 SOS 222149 HAS SOPS 218654 HAS SOUS 154812 HAS SOUPS 154188 WITH SCORE 154410.149
AT ITER 262 NEW BEST:: SOT 418447 SOS 222125 HAS SOPS 218630 HAS SOUS 154766 HAS SOUPS 154142 WITH SCORE 154364.125
AT ITER 272 NEW BEST:: SOT 418564 SOS 222214 HAS SOPS 218719 HAS SOUS 154651 HAS SOUPS 154027 WITH SCORE 154249.214
AT ITER 273 NEW BEST:: SOT 418624 SOS 220178 HAS SOPS 216683 HAS SOUS 153750 HAS SOUPS 153126 WITH SCORE 153346.178
AT ITER 279 NEW BEST:: SOT 418425 SOS 219920 HAS SOPS 216425 HAS SOUS 152936 HAS SOUPS 152312 WITH SCORE 152531.92
AT ITER 280 NEW BEST:: SOT 418064 SOS 219617 HAS SOPS 216122 HAS SOUS 152515 HAS SOUPS 151891 WITH SCORE 152110.617
AT ITER 282 NEW BEST:: SOT 417998 SOS 219365 HAS SOPS 215870 HAS SOUS 152377 HAS SOUPS 151753 WITH SCORE 151972.365
AT ITER 286 NEW BEST:: SOT 417881 SOS 219248 HAS SOPS 215753 HAS SOUS 152190 HAS SOUPS 151566 WITH SCORE 151785.248
AT ITER 307 NEW BEST:: SOT 417821 SOS 219065 HAS SOPS 215570 HAS SOUS 152184 HAS SOUPS 151560 WITH SCORE 151779.065
AT ITER 313 NEW BEST:: SOT 417468 SOS 218796 HAS SOPS 215301 HAS SOUS 151866 HAS SOUPS 151242 WITH SCORE 151460.796
AT ITER 314 NEW BEST:: SOT 417434 SOS 218745 HAS SOPS 215250 HAS SOUS 151781 HAS SOUPS 151157 WITH SCORE 151375.745
AT ITER 316 NEW BEST:: SOT 417287 SOS 218537 HAS SOPS 215042 HAS SOUS 151315 HAS SOUPS 150691 WITH SCORE 150909.537
AT ITER 318 NEW BEST:: SOT 416850 SOS 218288 HAS SOPS 214793 HAS SOUS 151008 HAS SOUPS 150384 WITH SCORE 150602.288
AT ITER 328 NEW BEST:: SOT 416542 SOS 218105 HAS SOPS 214610 HAS SOUS 150815 HAS SOUPS 150191 WITH SCORE 150409.105
AT ITER 343 NEW BEST:: SOT 416139 SOS 217765 HAS SOPS 214270 HAS SOUS 150454 HAS SOUPS 149830 WITH SCORE 150047.765
AT ITER 348 NEW BEST:: SOT 416004 SOS 217630 HAS SOPS 214135 HAS SOUS 150340 HAS SOUPS 149716 WITH SCORE 149933.63
AT ITER 352 NEW BEST:: SOT 415905 SOS 217285 HAS SOPS 213790 HAS SOUS 150224 HAS SOUPS 149600 WITH SCORE 149817.285
AT ITER 355 NEW BEST:: SOT 415826 SOS 216890 HAS SOPS 213395 HAS SOUS 150066 HAS SOUPS 149442 WITH SCORE 149658.89
AT ITER 359 NEW BEST:: SOT 415796 SOS 216820 HAS SOPS 213325 HAS SOUS 149996 HAS SOUPS 149372 WITH SCORE 149588.82
AT ITER 368 NEW BEST:: SOT 415723 SOS 216747 HAS SOPS 213252 HAS SOUS 149914 HAS SOUPS 149290 WITH SCORE 149506.747
AT ITER 369 NEW BEST:: SOT 415850 SOS 216823 HAS SOPS 213328 HAS SOUS 149052 HAS SOUPS 148428 WITH SCORE 148644.823
AT ITER 371 NEW BEST:: SOT 415469 SOS 216511 HAS SOPS 213016 HAS SOUS 148655 HAS SOUPS 148031 WITH SCORE 148247.511
AT ITER 389 NEW BEST:: SOT 415376 SOS 216139 HAS SOPS 212644 HAS SOUS 148608 HAS SOUPS 147984 WITH SCORE 148200.139
AT ITER 395 NEW BEST:: SOT 415267 SOS 216086 HAS SOPS 212591 HAS SOUS 148507 HAS SOUPS 147883 WITH SCORE 148099.086
AT ITER 397 NEW BEST:: SOT 415357 SOS 216399 HAS SOPS 212904 HAS SOUS 148395 HAS SOUPS 147771 WITH SCORE 147987.399
AT ITER 398 NEW BEST:: SOT 415333 SOS 216295 HAS SOPS 212800 HAS SOUS 148355 HAS SOUPS 147731 WITH SCORE 147947.295
AT ITER 401 NEW BEST:: SOT 413113 SOS 214276 HAS SOPS 210781 HAS SOUS 146184 HAS SOUPS 145560 WITH SCORE 145774.276
AT ITER 411 NEW BEST:: SOT 411729 SOS 217468 HAS SOPS 212371 HAS SOUS 145211 HAS SOUPS 144371 WITH SCORE 144588.468
AT ITER 416 NEW BEST:: SOT 411754 SOS 217500 HAS SOPS 212403 HAS SOUS 144563 HAS SOUPS 143723 WITH SCORE 143940.5
AT ITER 417 NEW BEST:: SOT 411634 SOS 217320 HAS SOPS 212223 HAS SOUS 144383 HAS SOUPS 143543 WITH SCORE 143760.32
AT ITER 422 NEW BEST:: SOT 411627 SOS 217298 HAS SOPS 212201 HAS SOUS 144361 HAS SOUPS 143521 WITH SCORE 143738.298
AT ITER 426 NEW BEST:: SOT 411492 SOS 216758 HAS SOPS 211661 HAS SOUS 144232 HAS SOUPS 143392 WITH SCORE 143608.758
AT ITER 435 NEW BEST:: SOT 411385 SOS 216724 HAS SOPS 211627 HAS SOUS 144198 HAS SOUPS 143358 WITH SCORE 143574.724
AT ITER 444 NEW BEST:: SOT 411055 SOS 216504 HAS SOPS 211407 HAS SOUS 143954 HAS SOUPS 143114 WITH SCORE 143330.504
AT ITER 449 NEW BEST:: SOT 410972 SOS 216470 HAS SOPS 211373 HAS SOUS 143920 HAS SOUPS 143080 WITH SCORE 143296.47
AT ITER 458 NEW BEST:: SOT 410891 SOS 216146 HAS SOPS 211049 HAS SOUS 143808 HAS SOUPS 142968 WITH SCORE 143184.146
AT ITER 461 NEW BEST:: SOT 410890 SOS 216145 HAS SOPS 211048 HAS SOUS 143716 HAS SOUPS 142876 WITH SCORE 143092.145
AT ITER 462 NEW BEST:: SOT 410530 SOS 217013 HAS SOPS 211773 HAS SOUS 143744 HAS SOUPS 142845 WITH SCORE 143062.013
AT ITER 479 NEW BEST:: SOT 410236 SOS 216760 HAS SOPS 211520 HAS SOUS 143516 HAS SOUPS 142617 WITH SCORE 142833.76
AT ITER 484 NEW BEST:: SOT 410179 SOS 216722 HAS SOPS 211482 HAS SOUS 143477 HAS SOUPS 142578 WITH SCORE 142794.722
AT ITER 495 NEW BEST:: SOT 410050 SOS 216529 HAS SOPS 211362 HAS SOUS 143348 HAS SOUPS 142449 WITH SCORE 142665.529
AT ITER 501 NEW BEST:: SOT 409601 SOS 216175 HAS SOPS 211008 HAS SOUS 143012 HAS SOUPS 142113 WITH SCORE 142329.175
AT ITER 506 NEW BEST:: SOT 409601 SOS 216181 HAS SOPS 211014 HAS SOUS 143004 HAS SOUPS 142105 WITH SCORE 142321.181
AT ITER 508 NEW BEST:: SOT 409491 SOS 215961 HAS SOPS 210794 HAS SOUS 142839 HAS SOUPS 141940 WITH SCORE 142155.961
AT ITER 515 NEW BEST:: SOT 408114 SOS 216118 HAS SOPS 209049 HAS SOUS 141705 HAS SOUPS 140539 WITH SCORE 140755.118
AT ITER 518 NEW BEST:: SOT 408115 SOS 216035 HAS SOPS 208921 HAS SOUS 141678 HAS SOUPS 140495 WITH SCORE 140711.035
AT ITER 526 NEW BEST:: SOT 407872 SOS 215434 HAS SOPS 208320 HAS SOUS 141328 HAS SOUPS 140145 WITH SCORE 140360.434
AT ITER 532 NEW BEST:: SOT 407852 SOS 215226 HAS SOPS 208112 HAS SOUS 141120 HAS SOUPS 139937 WITH SCORE 140152.226
AT ITER 536 NEW BEST:: SOT 407838 SOS 215212 HAS SOPS 208098 HAS SOUS 141098 HAS SOUPS 139915 WITH SCORE 140130.212
AT ITER 541 NEW BEST:: SOT 407811 SOS 215390 HAS SOPS 208276 HAS SOUS 140951 HAS SOUPS 139768 WITH SCORE 139983.39
AT ITER 542 NEW BEST:: SOT 407527 SOS 215106 HAS SOPS 207992 HAS SOUS 140667 HAS SOUPS 139484 WITH SCORE 139699.106
AT ITER 545 NEW BEST:: SOT 407527 SOS 214314 HAS SOPS 207200 HAS SOUS 140666 HAS SOUPS 139483 WITH SCORE 139697.314
AT ITER 549 NEW BEST:: SOT 407455 SOS 214140 HAS SOPS 207026 HAS SOUS 140563 HAS SOUPS 139380 WITH SCORE 139594.14
AT ITER 554 NEW BEST:: SOT 407410 SOS 214065 HAS SOPS 206951 HAS SOUS 140488 HAS SOUPS 139305 WITH SCORE 139519.065
AT ITER 559 NEW BEST:: SOT 406415 SOS 213273 HAS SOPS 206415 HAS SOUS 139557 HAS SOUPS 138406 WITH SCORE 138619.273
AT ITER 560 NEW BEST:: SOT 406368 SOS 213222 HAS SOPS 206364 HAS SOUS 138954 HAS SOUPS 137803 WITH SCORE 138016.222
AT ITER 571 NEW BEST:: SOT 406368 SOS 213174 HAS SOPS 206316 HAS SOUS 138948 HAS SOUPS 137797 WITH SCORE 138010.174
AT ITER 573 NEW BEST:: SOT 406168 SOS 213153 HAS SOPS 206365 HAS SOUS 138784 HAS SOUPS 137633 WITH SCORE 137846.153
AT ITER 584 NEW BEST:: SOT 406259 SOS 213103 HAS SOPS 206270 HAS SOUS 138780 HAS SOUPS 137629 WITH SCORE 137842.103
AT ITER 585 NEW BEST:: SOT 406151 SOS 212538 HAS SOPS 205705 HAS SOUS 138672 HAS SOUPS 137521 WITH SCORE 137733.538
AT ITER 593 NEW BEST:: SOT 406382 SOS 212617 HAS SOPS 205784 HAS SOUS 137117 HAS SOUPS 135966 WITH SCORE 136178.617
AT ITER 594 NEW BEST:: SOT 406428 SOS 212571 HAS SOPS 205738 HAS SOUS 136749 HAS SOUPS 135598 WITH SCORE 135810.571
AT ITER 597 NEW BEST:: SOT 406428 SOS 213439 HAS SOPS 206606 HAS SOUS 136742 HAS SOUPS 135591 WITH SCORE 135804.439
AT ITER 602 NEW BEST:: SOT 406428 SOS 213015 HAS SOPS 206182 HAS SOUS 136027 HAS SOUPS 134876 WITH SCORE 135089.015
AT ITER 606 NEW BEST:: SOT 406354 SOS 212894 HAS SOPS 206153 HAS SOUS 135842 HAS SOUPS 134691 WITH SCORE 134903.894
AT ITER 621 NEW BEST:: SOT 406505 SOS 212883 HAS SOPS 206142 HAS SOUS 135145 HAS SOUPS 133994 WITH SCORE 134206.883
AT ITER 638 NEW BEST:: SOT 406497 SOS 212875 HAS SOPS 206134 HAS SOUS 135113 HAS SOUPS 133962 WITH SCORE 134174.875
AT ITER 647 NEW BEST:: SOT 406444 SOS 212769 HAS SOPS 206028 HAS SOUS 134953 HAS SOUPS 133802 WITH SCORE 134014.769
AT ITER 651 NEW BEST:: SOT 406518 SOS 212843 HAS SOPS 206102 HAS SOUS 134944 HAS SOUPS 133793 WITH SCORE 134005.843
AT ITER 680 NEW BEST:: SOT 406518 SOS 211556 HAS SOPS 204815 HAS SOUS 134749 HAS SOUPS 133598 WITH SCORE 133809.556
AT ITER 690 NEW BEST:: SOT 406419 SOS 211569 HAS SOPS 204828 HAS SOUS 134658 HAS SOUPS 133507 WITH SCORE 133718.569
AT ITER 692 NEW BEST:: SOT 406355 SOS 211505 HAS SOPS 204764 HAS SOUS 134590 HAS SOUPS 133439 WITH SCORE 133650.505
AT ITER 703 NEW BEST:: SOT 406355 SOS 211505 HAS SOPS 204764 HAS SOUS 134556 HAS SOUPS 133405 WITH SCORE 133616.505
AT ITER 707 NEW BEST:: SOT 406316 SOS 211516 HAS SOPS 204775 HAS SOUS 134496 HAS SOUPS 133345 WITH SCORE 133556.516
AT ITER 709 NEW BEST:: SOT 406268 SOS 211409 HAS SOPS 204668 HAS SOUS 134459 HAS SOUPS 133308 WITH SCORE 133519.409
AT ITER 719 NEW BEST:: SOT 406290 SOS 211507 HAS SOPS 204766 HAS SOUS 134419 HAS SOUPS 133268 WITH SCORE 133479.507
AT ITER 727 NEW BEST:: SOT 406304 SOS 211521 HAS SOPS 204780 HAS SOUS 134405 HAS SOUPS 133254 WITH SCORE 133465.521
AT ITER 728 NEW BEST:: SOT 406245 SOS 211320 HAS SOPS 204579 HAS SOUS 134326 HAS SOUPS 133175 WITH SCORE 133386.32
AT ITER 729 NEW BEST:: SOT 406212 SOS 211279 HAS SOPS 204538 HAS SOUS 134285 HAS SOUPS 133134 WITH SCORE 133345.279
AT ITER 730 NEW BEST:: SOT 406177 SOS 211244 HAS SOPS 204503 HAS SOUS 134003 HAS SOUPS 132852 WITH SCORE 133063.244
AT ITER 742 NEW BEST:: SOT 406072 SOS 210776 HAS SOPS 204035 HAS SOUS 133914 HAS SOUPS 132763 WITH SCORE 132973.776
AT ITER 746 NEW BEST:: SOT 406064 SOS 210760 HAS SOPS 204019 HAS SOUS 133906 HAS SOUPS 132755 WITH SCORE 132965.76
AT ITER 753 NEW BEST:: SOT 406064 SOS 210760 HAS SOPS 204019 HAS SOUS 133862 HAS SOUPS 132711 WITH SCORE 132921.76
AT ITER 757 NEW BEST:: SOT 406064 SOS 210761 HAS SOPS 204020 HAS SOUS 133860 HAS SOUPS 132709 WITH SCORE 132919.761
AT ITER 759 NEW BEST:: SOT 406064 SOS 209093 HAS SOPS 202895 HAS SOUS 133745 HAS SOUPS 132634 WITH SCORE 132843.093
AT ITER 771 NEW BEST:: SOT 405938 SOS 208706 HAS SOPS 202508 HAS SOUS 133568 HAS SOUPS 132457 WITH SCORE 132665.706
AT ITER 772 NEW BEST:: SOT 405905 SOS 208673 HAS SOPS 202492 HAS SOUS 133515 HAS SOUPS 132404 WITH SCORE 132612.673
AT ITER 782 NEW BEST:: SOT 406237 SOS 208898 HAS SOPS 202717 HAS SOUS 132228 HAS SOUPS 131117 WITH SCORE 131325.898
AT ITER 783 NEW BEST:: SOT 406154 SOS 208732 HAS SOPS 202551 HAS SOUS 132062 HAS SOUPS 130951 WITH SCORE 131159.732
AT ITER 792 NEW BEST:: SOT 406517 SOS 208681 HAS SOPS 202500 HAS SOUS 131300 HAS SOUPS 130189 WITH SCORE 130397.681
AT ITER 793 NEW BEST:: SOT 406517 SOS 208681 HAS SOPS 202497 HAS SOUS 131300 HAS SOUPS 130186 WITH SCORE 130394.681
AT ITER 798 NEW BEST:: SOT 406444 SOS 208422 HAS SOPS 202238 HAS SOUS 131175 HAS SOUPS 130061 WITH SCORE 130269.422
AT ITER 815 NEW BEST:: SOT 406444 SOS 208440 HAS SOPS 202256 HAS SOUS 131054 HAS SOUPS 129940 WITH SCORE 130148.44
AT ITER 816 NEW BEST:: SOT 406463 SOS 208510 HAS SOPS 202326 HAS SOUS 130955 HAS SOUPS 129841 WITH SCORE 130049.51
AT ITER 817 NEW BEST:: SOT 406463 SOS 208551 HAS SOPS 202367 HAS SOUS 130945 HAS SOUPS 129831 WITH SCORE 130039.551
AT ITER 820 NEW BEST:: SOT 406477 SOS 208600 HAS SOPS 202416 HAS SOUS 130940 HAS SOUPS 129826 WITH SCORE 130034.6
AT ITER 826 NEW BEST:: SOT 406418 SOS 208482 HAS SOPS 202298 HAS SOUS 130881 HAS SOUPS 129767 WITH SCORE 129975.482
AT ITER 834 NEW BEST:: SOT 406165 SOS 208141 HAS SOPS 201957 HAS SOUS 130287 HAS SOUPS 129173 WITH SCORE 129381.141
AT ITER 837 NEW BEST:: SOT 406165 SOS 208141 HAS SOPS 201957 HAS SOUS 130279 HAS SOUPS 129165 WITH SCORE 129373.141
AT ITER 846 NEW BEST:: SOT 406157 SOS 208088 HAS SOPS 201904 HAS SOUS 130226 HAS SOUPS 129112 WITH SCORE 129320.088
AT ITER 848 NEW BEST:: SOT 405714 SOS 207778 HAS SOPS 201594 HAS SOUS 129821 HAS SOUPS 128707 WITH SCORE 128914.778
AT ITER 856 NEW BEST:: SOT 405644 SOS 206941 HAS SOPS 200833 HAS SOUS 129718 HAS SOUPS 128604 WITH SCORE 128810.941
AT ITER 860 NEW BEST:: SOT 405594 SOS 206891 HAS SOPS 200783 HAS SOUS 129615 HAS SOUPS 128501 WITH SCORE 128707.891
AT ITER 869 NEW BEST:: SOT 405577 SOS 206857 HAS SOPS 200749 HAS SOUS 129581 HAS SOUPS 128467 WITH SCORE 128673.857
AT ITER 878 NEW BEST:: SOT 405153 SOS 206357 HAS SOPS 200249 HAS SOUS 129081 HAS SOUPS 127967 WITH SCORE 128173.357
AT ITER 884 NEW BEST:: SOT 404665 SOS 205846 HAS SOPS 199738 HAS SOUS 129068 HAS SOUPS 127954 WITH SCORE 128159.846
AT ITER 899 NEW BEST:: SOT 404579 SOS 205760 HAS SOPS 199652 HAS SOUS 128877 HAS SOUPS 127763 WITH SCORE 127968.76
AT ITER 909 NEW BEST:: SOT 404540 SOS 205871 HAS SOPS 199885 HAS SOUS 128865 HAS SOUPS 127751 WITH SCORE 127956.871
AT ITER 912 NEW BEST:: SOT 404540 SOS 205131 HAS SOPS 199145 HAS SOUS 128865 HAS SOUPS 127751 WITH SCORE 127956.131
AT ITER 918 NEW BEST:: SOT 404334 SOS 204925 HAS SOPS 197987 HAS SOUS 128692 HAS SOUPS 127458 WITH SCORE 127662.925
AT ITER 924 NEW BEST:: SOT 404312 SOS 204903 HAS SOPS 197965 HAS SOUS 128692 HAS SOUPS 127458 WITH SCORE 127662.903
AT ITER 930 NEW BEST:: SOT 403554 SOS 204050 HAS SOPS 197112 HAS SOUS 128033 HAS SOUPS 126799 WITH SCORE 127003.05
AT ITER 932 NEW BEST:: SOT 403530 SOS 204026 HAS SOPS 197088 HAS SOUS 127977 HAS SOUPS 126743 WITH SCORE 126947.026
AT ITER 933 NEW BEST:: SOT 402381 SOS 202877 HAS SOPS 195939 HAS SOUS 126308 HAS SOUPS 125074 WITH SCORE 125276.877
AT ITER 936 NEW BEST:: SOT 402388 SOS 202658 HAS SOPS 195720 HAS SOUS 126272 HAS SOUPS 125038 WITH SCORE 125240.658
AT ITER 949 NEW BEST:: SOT 401941 SOS 202211 HAS SOPS 195273 HAS SOUS 126057 HAS SOUPS 124823 WITH SCORE 125025.211
AT ITER 952 NEW BEST:: SOT 401941 SOS 202156 HAS SOPS 195218 HAS SOUS 126009 HAS SOUPS 124775 WITH SCORE 124977.156
AT ITER 954 NEW BEST:: SOT 401909 SOS 202102 HAS SOPS 195164 HAS SOUS 125955 HAS SOUPS 124721 WITH SCORE 124923.102
AT ITER 957 NEW BEST:: SOT 401909 SOS 202045 HAS SOPS 195107 HAS SOUS 125918 HAS SOUPS 124684 WITH SCORE 124886.045
AT ITER 958 NEW BEST:: SOT 402075 SOS 202024 HAS SOPS 195086 HAS SOUS 125897 HAS SOUPS 124663 WITH SCORE 124865.024
AT ITER 974 NEW BEST:: SOT 401870 SOS 201768 HAS SOPS 194893 HAS SOUS 125754 HAS SOUPS 124520 WITH SCORE 124721.768
AT ITER 975 NEW BEST:: SOT 401867 SOS 201748 HAS SOPS 194873 HAS SOUS 125748 HAS SOUPS 124514 WITH SCORE 124715.748
AT ITER 993 NEW BEST:: SOT 401793 SOS 201674 HAS SOPS 194799 HAS SOUS 125674 HAS SOUPS 124440 WITH SCORE 124641.674
AT ITER 994 NEW BEST:: SOT 401756 SOS 201477 HAS SOPS 194602 HAS SOUS 125506 HAS SOUPS 124272 WITH SCORE 124473.477
AT ITER 995 NEW BEST:: SOT 401749 SOS 201322 HAS SOPS 194516 HAS SOUS 125420 HAS SOUPS 124186 WITH SCORE 124387.322
AT ITER 999 NEW BEST:: SOT 400771 SOS 217297 HAS SOPS 211875 HAS SOUS 125106 HAS SOUPS 124045 WITH SCORE 124262.297
AT ITER 1021 NEW BEST:: SOT 400821 SOS 218705 HAS SOPS 213283 HAS SOUS 124988 HAS SOUPS 123927 WITH SCORE 124145.705
AT ITER 1025 NEW BEST:: SOT 400766 SOS 218612 HAS SOPS 213241 HAS SOUS 124980 HAS SOUPS 123919 WITH SCORE 124137.612
AT ITER 1026 NEW BEST:: SOT 400766 SOS 218561 HAS SOPS 213176 HAS SOUS 124966 HAS SOUPS 123905 WITH SCORE 124123.561
AT ITER 1038 NEW BEST:: SOT 400823 SOS 218665 HAS SOPS 213280 HAS SOUS 124723 HAS SOUPS 123662 WITH SCORE 123880.665
AT ITER 1059 NEW BEST:: SOT 400829 SOS 217826 HAS SOPS 212441 HAS SOUS 124647 HAS SOUPS 123586 WITH SCORE 123803.826
AT ITER 1078 NEW BEST:: SOT 400599 SOS 217572 HAS SOPS 212187 HAS SOUS 124443 HAS SOUPS 123382 WITH SCORE 123599.572
AT ITER 1084 NEW BEST:: SOT 400599 SOS 217536 HAS SOPS 212151 HAS SOUS 124443 HAS SOUPS 123382 WITH SCORE 123599.536
AT ITER 1101 NEW BEST:: SOT 400568 SOS 217505 HAS SOPS 212120 HAS SOUS 124381 HAS SOUPS 123320 WITH SCORE 123537.505
AT ITER 1102 NEW BEST:: SOT 400536 SOS 217441 HAS SOPS 212040 HAS SOUS 124317 HAS SOUPS 123256 WITH SCORE 123473.441
AT ITER 1104 NEW BEST:: SOT 400491 SOS 217650 HAS SOPS 212249 HAS SOUS 124227 HAS SOUPS 123166 WITH SCORE 123383.65
AT ITER 1109 NEW BEST:: SOT 400459 SOS 217458 HAS SOPS 212057 HAS SOUS 124179 HAS SOUPS 123118 WITH SCORE 123335.458
AT ITER 1111 NEW BEST:: SOT 400409 SOS 217458 HAS SOPS 212057 HAS SOUS 124079 HAS SOUPS 123018 WITH SCORE 123235.458
AT ITER 1116 NEW BEST:: SOT 399601 SOS 217298 HAS SOPS 211249 HAS SOUS 124113 HAS SOUPS 122971 WITH SCORE 123188.298
AT ITER 1118 NEW BEST:: SOT 399525 SOS 216727 HAS SOPS 210678 HAS SOUS 124039 HAS SOUPS 122897 WITH SCORE 123113.727
AT ITER 1132 NEW BEST:: SOT 399519 SOS 216825 HAS SOPS 210776 HAS SOUS 123985 HAS SOUPS 122843 WITH SCORE 123059.825
AT ITER 1138 NEW BEST:: SOT 399509 SOS 216792 HAS SOPS 210743 HAS SOUS 123964 HAS SOUPS 122822 WITH SCORE 123038.792
AT ITER 1145 NEW BEST:: SOT 400047 SOS 216867 HAS SOPS 210818 HAS SOUS 123216 HAS SOUPS 122074 WITH SCORE 122290.867
AT ITER 1161 NEW BEST:: SOT 400013 SOS 216794 HAS SOPS 210745 HAS SOUS 123148 HAS SOUPS 122006 WITH SCORE 122222.794
AT ITER 1164 NEW BEST:: SOT 398009 SOS 216727 HAS SOPS 209054 HAS SOUS 122595 HAS SOUPS 121250 WITH SCORE 121466.727
AT ITER 1198 NEW BEST:: SOT 397919 SOS 216896 HAS SOPS 209223 HAS SOUS 122535 HAS SOUPS 121190 WITH SCORE 121406.896
AT ITER 1200 NEW BEST:: SOT 397888 SOS 215476 HAS SOPS 207803 HAS SOUS 122376 HAS SOUPS 121031 WITH SCORE 121246.476
AT ITER 1203 NEW BEST:: SOT 397883 SOS 215477 HAS SOPS 207804 HAS SOUS 122366 HAS SOUPS 121021 WITH SCORE 121236.477
AT ITER 1205 NEW BEST:: SOT 397721 SOS 214898 HAS SOPS 207225 HAS SOUS 122167 HAS SOUPS 120822 WITH SCORE 121036.898
AT ITER 1219 NEW BEST:: SOT 397677 SOS 214854 HAS SOPS 207181 HAS SOUS 122079 HAS SOUPS 120734 WITH SCORE 120948.854
AT ITER 1254 NEW BEST:: SOT 397663 SOS 214826 HAS SOPS 207153 HAS SOUS 122051 HAS SOUPS 120706 WITH SCORE 120920.826
AT ITER 1265 NEW BEST:: SOT 397717 SOS 215341 HAS SOPS 207668 HAS SOUS 122049 HAS SOUPS 120704 WITH SCORE 120919.341
AT ITER 1282 NEW BEST:: SOT 397508 SOS 215096 HAS SOPS 207423 HAS SOUS 121883 HAS SOUPS 120538 WITH SCORE 120753.096
AT ITER 1288 NEW BEST:: SOT 397197 SOS 217318 HAS SOPS 209645 HAS SOUS 121850 HAS SOUPS 120505 WITH SCORE 120722.318
AT ITER 1290 NEW BEST:: SOT 396802 SOS 216529 HAS SOPS 208856 HAS SOUS 121731 HAS SOUPS 120386 WITH SCORE 120602.529
AT ITER 1293 NEW BEST:: SOT 396955 SOS 216732 HAS SOPS 209059 HAS SOUS 121597 HAS SOUPS 120252 WITH SCORE 120468.732
AT ITER 1296 NEW BEST:: SOT 396386 SOS 216338 HAS SOPS 208665 HAS SOUS 121264 HAS SOUPS 119919 WITH SCORE 120135.338
AT ITER 1313 NEW BEST:: SOT 395851 SOS 216019 HAS SOPS 208346 HAS SOUS 120807 HAS SOUPS 119462 WITH SCORE 119678.019
AT ITER 1319 NEW BEST:: SOT 395857 SOS 216007 HAS SOPS 208334 HAS SOUS 120549 HAS SOUPS 119204 WITH SCORE 119420.007
AT ITER 1326 NEW BEST:: SOT 395857 SOS 216007 HAS SOPS 208304 HAS SOUS 120519 HAS SOUPS 119174 WITH SCORE 119390.007
AT ITER 1333 NEW BEST:: SOT 395846 SOS 215996 HAS SOPS 208293 HAS SOUS 120508 HAS SOUPS 119163 WITH SCORE 119378.996
AT ITER 1335 NEW BEST:: SOT 395793 SOS 215850 HAS SOPS 208147 HAS SOUS 120380 HAS SOUPS 119035 WITH SCORE 119250.85
AT ITER 1338 NEW BEST:: SOT 395707 SOS 215638 HAS SOPS 207935 HAS SOUS 120260 HAS SOUPS 118915 WITH SCORE 119130.638
AT ITER 1351 NEW BEST:: SOT 395482 SOS 215690 HAS SOPS 208048 HAS SOUS 120184 HAS SOUPS 118839 WITH SCORE 119054.69
AT ITER 1352 NEW BEST:: SOT 395478 SOS 215686 HAS SOPS 208044 HAS SOUS 120184 HAS SOUPS 118839 WITH SCORE 119054.686
AT ITER 1361 NEW BEST:: SOT 395483 SOS 215570 HAS SOPS 207928 HAS SOUS 120068 HAS SOUPS 118723 WITH SCORE 118938.57
AT ITER 1365 NEW BEST:: SOT 395483 SOS 215569 HAS SOPS 207927 HAS SOUS 120067 HAS SOUPS 118722 WITH SCORE 118937.569
AT ITER 1368 NEW BEST:: SOT 395375 SOS 215461 HAS SOPS 207819 HAS SOUS 119919 HAS SOUPS 118574 WITH SCORE 118789.461
AT ITER 1372 NEW BEST:: SOT 395309 SOS 215527 HAS SOPS 207951 HAS SOUS 119917 HAS SOUPS 118572 WITH SCORE 118787.527
AT ITER 1375 NEW BEST:: SOT 395309 SOS 215451 HAS SOPS 207875 HAS SOUS 119917 HAS SOUPS 118572 WITH SCORE 118787.451
AT ITER 1397 NEW BEST:: SOT 395090 SOS 214732 HAS SOPS 207156 HAS SOUS 119587 HAS SOUPS 118242 WITH SCORE 118456.732
AT ITER 1411 NEW BEST:: SOT 395085 SOS 214727 HAS SOPS 207151 HAS SOUS 119582 HAS SOUPS 118237 WITH SCORE 118451.727
AT ITER 1413 NEW BEST:: SOT 395064 SOS 214566 HAS SOPS 206990 HAS SOUS 119456 HAS SOUPS 118111 WITH SCORE 118325.566
AT ITER 1420 NEW BEST:: SOT 395064 SOS 214626 HAS SOPS 207050 HAS SOUS 119438 HAS SOUPS 118093 WITH SCORE 118307.626
AT ITER 1432 NEW BEST:: SOT 395064 SOS 214738 HAS SOPS 207162 HAS SOUS 119410 HAS SOUPS 118065 WITH SCORE 118279.738
AT ITER 1435 NEW BEST:: SOT 395158 SOS 214888 HAS SOPS 207312 HAS SOUS 119125 HAS SOUPS 117780 WITH SCORE 117994.888
AT ITER 1436 NEW BEST:: SOT 395113 SOS 214886 HAS SOPS 207310 HAS SOUS 119123 HAS SOUPS 117778 WITH SCORE 117992.886
AT ITER 1439 NEW BEST:: SOT 395174 SOS 214946 HAS SOPS 207370 HAS SOUS 119099 HAS SOUPS 117754 WITH SCORE 117968.946
AT ITER 1443 NEW BEST:: SOT 395103 SOS 214876 HAS SOPS 207300 HAS SOUS 118940 HAS SOUPS 117595 WITH SCORE 117809.876
AT ITER 1445 NEW BEST:: SOT 394995 SOS 214660 HAS SOPS 207084 HAS SOUS 118724 HAS SOUPS 117379 WITH SCORE 117593.66
AT ITER 1452 NEW BEST:: SOT 394974 SOS 214639 HAS SOPS 207063 HAS SOUS 118682 HAS SOUPS 117337 WITH SCORE 117551.639
AT ITER 1459 NEW BEST:: SOT 394560 SOS 214225 HAS SOPS 206649 HAS SOUS 118250 HAS SOUPS 116905 WITH SCORE 117119.225
AT ITER 1464 NEW BEST:: SOT 394012 SOS 213609 HAS SOPS 206033 HAS SOUS 117664 HAS SOUPS 116319 WITH SCORE 116532.609
AT ITER 1471 NEW BEST:: SOT 393703 SOS 213411 HAS SOPS 205835 HAS SOUS 117458 HAS SOUPS 116113 WITH SCORE 116326.411
AT ITER 1478 NEW BEST:: SOT 393425 SOS 213381 HAS SOPS 205805 HAS SOUS 117313 HAS SOUPS 115968 WITH SCORE 116181.381
AT ITER 1497 NEW BEST:: SOT 393272 SOS 213176 HAS SOPS 205600 HAS SOUS 117085 HAS SOUPS 115740 WITH SCORE 115953.176
AT ITER 1501 NEW BEST:: SOT 393272 SOS 213160 HAS SOPS 205584 HAS SOUS 117085 HAS SOUPS 115740 WITH SCORE 115953.16
AT ITER 1527 NEW BEST:: SOT 393279 SOS 212504 HAS SOPS 204928 HAS SOUS 116918 HAS SOUPS 115573 WITH SCORE 115785.504
AT ITER 1529 NEW BEST:: SOT 393214 SOS 212458 HAS SOPS 204847 HAS SOUS 116824 HAS SOUPS 115444 WITH SCORE 115656.458
AT ITER 1534 NEW BEST:: SOT 393172 SOS 212384 HAS SOPS 204773 HAS SOUS 116671 HAS SOUPS 115291 WITH SCORE 115503.384
AT ITER 1542 NEW BEST:: SOT 392809 SOS 212008 HAS SOPS 204397 HAS SOUS 116463 HAS SOUPS 115083 WITH SCORE 115295.008
AT ITER 1562 NEW BEST:: SOT 392775 SOS 211978 HAS SOPS 204367 HAS SOUS 116413 HAS SOUPS 115033 WITH SCORE 115244.978
AT ITER 1564 NEW BEST:: SOT 392506 SOS 211790 HAS SOPS 204242 HAS SOUS 116313 HAS SOUPS 114933 WITH SCORE 115144.79
AT ITER 1567 NEW BEST:: SOT 391602 SOS 210478 HAS SOPS 202930 HAS SOUS 115955 HAS SOUPS 114575 WITH SCORE 114785.478
AT ITER 1569 NEW BEST:: SOT 391378 SOS 210361 HAS SOPS 202876 HAS SOUS 115692 HAS SOUPS 114312 WITH SCORE 114522.361
AT ITER 1572 NEW BEST:: SOT 391617 SOS 210348 HAS SOPS 202863 HAS SOUS 115494 HAS SOUPS 114114 WITH SCORE 114324.348
AT ITER 1574 NEW BEST:: SOT 391614 SOS 210348 HAS SOPS 202863 HAS SOUS 115491 HAS SOUPS 114111 WITH SCORE 114321.348
AT ITER 1586 NEW BEST:: SOT 391379 SOS 210082 HAS SOPS 202597 HAS SOUS 115225 HAS SOUPS 113845 WITH SCORE 114055.082
AT ITER 1592 NEW BEST:: SOT 391379 SOS 210107 HAS SOPS 202622 HAS SOUS 115220 HAS SOUPS 113840 WITH SCORE 114050.107
AT ITER 1594 NEW BEST:: SOT 391349 SOS 210077 HAS SOPS 202592 HAS SOUS 115190 HAS SOUPS 113810 WITH SCORE 114020.077
AT ITER 1600 NEW BEST:: SOT 391253 SOS 209949 HAS SOPS 202464 HAS SOUS 115062 HAS SOUPS 113682 WITH SCORE 113891.949
AT ITER 1604 NEW BEST:: SOT 391214 SOS 209871 HAS SOPS 202386 HAS SOUS 114966 HAS SOUPS 113586 WITH SCORE 113795.871
AT ITER 1616 NEW BEST:: SOT 391113 SOS 210022 HAS SOPS 202572 HAS SOUS 114900 HAS SOUPS 113520 WITH SCORE 113730.022
AT ITER 1617 NEW BEST:: SOT 391085 SOS 209980 HAS SOPS 202530 HAS SOUS 114872 HAS SOUPS 113492 WITH SCORE 113701.98
AT ITER 1650 NEW BEST:: SOT 391085 SOS 209980 HAS SOPS 202530 HAS SOUS 114833 HAS SOUPS 113453 WITH SCORE 113662.98
AT ITER 1666 NEW BEST:: SOT 391135 SOS 209527 HAS SOPS 202077 HAS SOUS 114832 HAS SOUPS 113452 WITH SCORE 113661.527
AT ITER 1668 NEW BEST:: SOT 391116 SOS 209515 HAS SOPS 202065 HAS SOUS 114823 HAS SOUPS 113443 WITH SCORE 113652.515
AT ITER 1675 NEW BEST:: SOT 391030 SOS 209429 HAS SOPS 201990 HAS SOUS 114790 HAS SOUPS 113410 WITH SCORE 113619.429
AT ITER 1679 NEW BEST:: SOT 391030 SOS 209411 HAS SOPS 201972 HAS SOUS 114790 HAS SOUPS 113410 WITH SCORE 113619.411
AT ITER 1694 NEW BEST:: SOT 390911 SOS 209251 HAS SOPS 201812 HAS SOUS 114724 HAS SOUPS 113344 WITH SCORE 113553.251
AT ITER 1716 NEW BEST:: SOT 390911 SOS 209237 HAS SOPS 201798 HAS SOUS 114710 HAS SOUPS 113330 WITH SCORE 113539.237
AT ITER 1731 NEW BEST:: SOT 391080 SOS 209306 HAS SOPS 201867 HAS SOUS 114533 HAS SOUPS 113153 WITH SCORE 113362.306
AT ITER 1738 NEW BEST:: SOT 391019 SOS 209291 HAS SOPS 201852 HAS SOUS 114519 HAS SOUPS 113139 WITH SCORE 113348.291
AT ITER 1741 NEW BEST:: SOT 391006 SOS 209177 HAS SOPS 201738 HAS SOUS 114493 HAS SOUPS 113113 WITH SCORE 113322.177
AT ITER 1754 NEW BEST:: SOT 391025 SOS 209160 HAS SOPS 201688 HAS SOUS 114493 HAS SOUPS 113113 WITH SCORE 113322.16
AT ITER 1763 NEW BEST:: SOT 390890 SOS 209217 HAS SOPS 201745 HAS SOUS 114239 HAS SOUPS 112859 WITH SCORE 113068.217
AT ITER 1766 NEW BEST:: SOT 390885 SOS 209172 HAS SOPS 201705 HAS SOUS 114234 HAS SOUPS 112854 WITH SCORE 113063.172
AT ITER 1767 NEW BEST:: SOT 390885 SOS 209255 HAS SOPS 201788 HAS SOUS 114220 HAS SOUPS 112840 WITH SCORE 113049.255
AT ITER 1774 NEW BEST:: SOT 390877 SOS 209247 HAS SOPS 201780 HAS SOUS 114208 HAS SOUPS 112828 WITH SCORE 113037.247
AT ITER 1783 NEW BEST:: SOT 390696 SOS 208738 HAS SOPS 201271 HAS SOUS 113969 HAS SOUPS 112589 WITH SCORE 112797.738
AT ITER 1808 NEW BEST:: SOT 390705 SOS 208747 HAS SOPS 201280 HAS SOUS 113945 HAS SOUPS 112565 WITH SCORE 112773.747
AT ITER 1812 NEW BEST:: SOT 390512 SOS 208531 HAS SOPS 201064 HAS SOUS 113794 HAS SOUPS 112414 WITH SCORE 112622.531
AT ITER 1813 NEW BEST:: SOT 390622 SOS 208641 HAS SOPS 201174 HAS SOUS 113402 HAS SOUPS 112022 WITH SCORE 112230.641
AT ITER 1820 NEW BEST:: SOT 390288 SOS 208210 HAS SOPS 200743 HAS SOUS 113229 HAS SOUPS 111849 WITH SCORE 112057.21
AT ITER 1824 NEW BEST:: SOT 390185 SOS 208177 HAS SOPS 200710 HAS SOUS 113085 HAS SOUPS 111705 WITH SCORE 111913.177
AT ITER 1845 NEW BEST:: SOT 390212 SOS 208162 HAS SOPS 200695 HAS SOUS 113079 HAS SOUPS 111699 WITH SCORE 111907.162
AT ITER 1847 NEW BEST:: SOT 390095 SOS 207807 HAS SOPS 200340 HAS SOUS 112935 HAS SOUPS 111555 WITH SCORE 111762.807
AT ITER 1851 NEW BEST:: SOT 390060 SOS 207808 HAS SOPS 200341 HAS SOUS 112853 HAS SOUPS 111473 WITH SCORE 111680.808
AT ITER 1854 NEW BEST:: SOT 390057 SOS 207805 HAS SOPS 200338 HAS SOUS 112834 HAS SOUPS 111454 WITH SCORE 111661.805
AT ITER 1874 NEW BEST:: SOT 389931 SOS 207637 HAS SOPS 200170 HAS SOUS 112624 HAS SOUPS 111244 WITH SCORE 111451.637
AT ITER 1878 NEW BEST:: SOT 390032 SOS 207515 HAS SOPS 200048 HAS SOUS 112586 HAS SOUPS 111206 WITH SCORE 111413.515
AT ITER 1887 NEW BEST:: SOT 390025 SOS 207508 HAS SOPS 200041 HAS SOUS 112572 HAS SOUPS 111192 WITH SCORE 111399.508
AT ITER 1889 NEW BEST:: SOT 390020 SOS 207521 HAS SOPS 200054 HAS SOUS 112562 HAS SOUPS 111182 WITH SCORE 111389.521
AT ITER 1898 NEW BEST:: SOT 389988 SOS 207325 HAS SOPS 199858 HAS SOUS 112370 HAS SOUPS 110990 WITH SCORE 111197.325
AT ITER 1902 NEW BEST:: SOT 389777 SOS 207191 HAS SOPS 199724 HAS SOUS 112091 HAS SOUPS 110711 WITH SCORE 110918.191
AT ITER 1903 NEW BEST:: SOT 389765 SOS 207143 HAS SOPS 199676 HAS SOUS 112091 HAS SOUPS 110711 WITH SCORE 110918.143
AT ITER 1913 NEW BEST:: SOT 389765 SOS 207143 HAS SOPS 199676 HAS SOUS 112081 HAS SOUPS 110701 WITH SCORE 110908.143
AT ITER 1926 NEW BEST:: SOT 389757 SOS 207127 HAS SOPS 199660 HAS SOUS 112081 HAS SOUPS 110701 WITH SCORE 110908.127
AT ITER 1933 NEW BEST:: SOT 389916 SOS 207420 HAS SOPS 199953 HAS SOUS 111566 HAS SOUPS 110186 WITH SCORE 110393.42
AT ITER 1934 NEW BEST:: SOT 389794 SOS 207345 HAS SOPS 199878 HAS SOUS 111499 HAS SOUPS 110119 WITH SCORE 110326.345
AT ITER 1935 NEW BEST:: SOT 389771 SOS 207288 HAS SOPS 199821 HAS SOUS 111489 HAS SOUPS 110109 WITH SCORE 110316.288
AT ITER 1937 NEW BEST:: SOT 389723 SOS 207224 HAS SOPS 199757 HAS SOUS 111412 HAS SOUPS 110032 WITH SCORE 110239.224
AT ITER 1950 NEW BEST:: SOT 389720 SOS 206645 HAS SOPS 199533 HAS SOUS 111364 HAS SOUPS 110025 WITH SCORE 110231.645
AT ITER 1961 NEW BEST:: SOT 389579 SOS 206607 HAS SOPS 199555 HAS SOUS 111342 HAS SOUPS 110003 WITH SCORE 110209.607
AT ITER 1968 NEW BEST:: SOT 389564 SOS 206577 HAS SOPS 199525 HAS SOUS 111312 HAS SOUPS 109973 WITH SCORE 110179.577
AT ITER 1979 NEW BEST:: SOT 389583 SOS 206536 HAS SOPS 199468 HAS SOUS 111292 HAS SOUPS 109953 WITH SCORE 110159.536
AT ITER 1994 NEW BEST:: SOT 389019 SOS 206348 HAS SOPS 198904 HAS SOUS 110634 HAS SOUPS 109248 WITH SCORE 109454.348
AT ITER 2002 NEW BEST:: SOT 389019 SOS 206294 HAS SOPS 198850 HAS SOUS 110634 HAS SOUPS 109248 WITH SCORE 109454.294
AT ITER 2006 NEW BEST:: SOT 388943 SOS 206279 HAS SOPS 198835 HAS SOUS 110558 HAS SOUPS 109172 WITH SCORE 109378.279
AT ITER 2009 NEW BEST:: SOT 388981 SOS 206277 HAS SOPS 198768 HAS SOUS 110541 HAS SOUPS 109155 WITH SCORE 109361.277
AT ITER 2049 NEW BEST:: SOT 389045 SOS 205992 HAS SOPS 198483 HAS SOUS 110460 HAS SOUPS 109074 WITH SCORE 109279.992
AT ITER 2054 NEW BEST:: SOT 389017 SOS 205936 HAS SOPS 198427 HAS SOUS 110390 HAS SOUPS 109004 WITH SCORE 109209.936
AT ITER 2097 NEW BEST:: SOT 389017 SOS 205936 HAS SOPS 198427 HAS SOUS 110378 HAS SOUPS 108992 WITH SCORE 109197.936
AT ITER 2110 NEW BEST:: SOT 389017 SOS 205935 HAS SOPS 198426 HAS SOUS 110378 HAS SOUPS 108992 WITH SCORE 109197.935
AT ITER 2124 NEW BEST:: SOT 388930 SOS 205252 HAS SOPS 197684 HAS SOUS 110140 HAS SOUPS 108754 WITH SCORE 108959.252
AT ITER 2139 NEW BEST:: SOT 388976 SOS 205523 HAS SOPS 197955 HAS SOUS 110116 HAS SOUPS 108730 WITH SCORE 108935.523
AT ITER 2141 NEW BEST:: SOT 388942 SOS 205489 HAS SOPS 197921 HAS SOUS 110051 HAS SOUPS 108665 WITH SCORE 108870.489
AT ITER 2146 NEW BEST:: SOT 388904 SOS 205374 HAS SOPS 197806 HAS SOUS 109972 HAS SOUPS 108586 WITH SCORE 108791.374
AT ITER 2150 NEW BEST:: SOT 388627 SOS 205005 HAS SOPS 197437 HAS SOUS 109544 HAS SOUPS 108158 WITH SCORE 108363.005
AT ITER 2157 NEW BEST:: SOT 388591 SOS 204981 HAS SOPS 197413 HAS SOUS 109484 HAS SOUPS 108098 WITH SCORE 108302.981
AT ITER 2160 NEW BEST:: SOT 388397 SOS 204811 HAS SOPS 197243 HAS SOUS 109394 HAS SOUPS 108008 WITH SCORE 108212.811
AT ITER 2164 NEW BEST:: SOT 388387 SOS 204806 HAS SOPS 197167 HAS SOUS 109321 HAS SOUPS 107935 WITH SCORE 108139.806
AT ITER 2170 NEW BEST:: SOT 388235 SOS 205131 HAS SOPS 197004 HAS SOUS 109187 HAS SOUPS 107740 WITH SCORE 107945.131
AT ITER 2187 NEW BEST:: SOT 388215 SOS 205332 HAS SOPS 197205 HAS SOUS 109168 HAS SOUPS 107721 WITH SCORE 107926.332
AT ITER 2196 NEW BEST:: SOT 388177 SOS 205358 HAS SOPS 197231 HAS SOUS 109092 HAS SOUPS 107645 WITH SCORE 107850.358
AT ITER 2209 NEW BEST:: SOT 388177 SOS 204732 HAS SOPS 196605 HAS SOUS 109012 HAS SOUPS 107565 WITH SCORE 107769.732
AT ITER 2223 NEW BEST:: SOT 388177 SOS 204738 HAS SOPS 196611 HAS SOUS 109000 HAS SOUPS 107553 WITH SCORE 107757.738
AT ITER 2226 NEW BEST:: SOT 388134 SOS 204652 HAS SOPS 196525 HAS SOUS 108938 HAS SOUPS 107491 WITH SCORE 107695.652
AT ITER 2227 NEW BEST:: SOT 388086 SOS 204333 HAS SOPS 196206 HAS SOUS 108838 HAS SOUPS 107391 WITH SCORE 107595.333
AT ITER 2229 NEW BEST:: SOT 388049 SOS 204078 HAS SOPS 195951 HAS SOUS 108764 HAS SOUPS 107317 WITH SCORE 107521.078
AT ITER 2238 NEW BEST:: SOT 388045 SOS 204264 HAS SOPS 196137 HAS SOUS 108726 HAS SOUPS 107279 WITH SCORE 107483.264
AT ITER 2243 NEW BEST:: SOT 388015 SOS 204432 HAS SOPS 196305 HAS SOUS 108640 HAS SOUPS 107193 WITH SCORE 107397.432
AT ITER 2259 NEW BEST:: SOT 387864 SOS 204200 HAS SOPS 196073 HAS SOUS 108520 HAS SOUPS 107073 WITH SCORE 107277.2
AT ITER 2266 NEW BEST:: SOT 387848 SOS 203781 HAS SOPS 195654 HAS SOUS 108427 HAS SOUPS 106980 WITH SCORE 107183.781
AT ITER 2294 NEW BEST:: SOT 387805 SOS 203867 HAS SOPS 195740 HAS SOUS 108415 HAS SOUPS 106968 WITH SCORE 107171.867
AT ITER 2301 NEW BEST:: SOT 387783 SOS 203845 HAS SOPS 195718 HAS SOUS 108393 HAS SOUPS 106946 WITH SCORE 107149.845
AT ITER 2307 NEW BEST:: SOT 387749 SOS 203549 HAS SOPS 195422 HAS SOUS 108341 HAS SOUPS 106894 WITH SCORE 107097.549
AT ITER 2309 NEW BEST:: SOT 387750 SOS 203604 HAS SOPS 195470 HAS SOUS 108222 HAS SOUPS 106775 WITH SCORE 106978.604
AT ITER 2313 NEW BEST:: SOT 387675 SOS 203251 HAS SOPS 195117 HAS SOUS 108102 HAS SOUPS 106655 WITH SCORE 106858.251
AT ITER 2339 NEW BEST:: SOT 387672 SOS 203234 HAS SOPS 195100 HAS SOUS 108069 HAS SOUPS 106622 WITH SCORE 106825.234
AT ITER 2372 NEW BEST:: SOT 387573 SOS 203135 HAS SOPS 195001 HAS SOUS 107766 HAS SOUPS 106319 WITH SCORE 106522.135
AT ITER 2406 NEW BEST:: SOT 387473 SOS 203087 HAS SOPS 194953 HAS SOUS 107670 HAS SOUPS 106223 WITH SCORE 106426.087
AT ITER 2415 NEW BEST:: SOT 387463 SOS 203077 HAS SOPS 194943 HAS SOUS 107655 HAS SOUPS 106208 WITH SCORE 106411.077
AT ITER 2445 NEW BEST:: SOT 387327 SOS 202941 HAS SOPS 194807 HAS SOUS 107513 HAS SOUPS 106066 WITH SCORE 106268.941
AT ITER 2446 NEW BEST:: SOT 386176 SOS 202342 HAS SOPS 194208 HAS SOUS 107073 HAS SOUPS 105626 WITH SCORE 105828.342
AT ITER 2457 NEW BEST:: SOT 386171 SOS 202342 HAS SOPS 194203 HAS SOUS 107073 HAS SOUPS 105621 WITH SCORE 105823.342
AT ITER 2471 NEW BEST:: SOT 386171 SOS 202822 HAS SOPS 194683 HAS SOUS 106993 HAS SOUPS 105541 WITH SCORE 105743.822
AT ITER 2472 NEW BEST:: SOT 386040 SOS 202873 HAS SOPS 194734 HAS SOUS 106968 HAS SOUPS 105516 WITH SCORE 105718.873
AT ITER 2473 NEW BEST:: SOT 385997 SOS 202833 HAS SOPS 194694 HAS SOUS 106831 HAS SOUPS 105379 WITH SCORE 105581.833
AT ITER 2482 NEW BEST:: SOT 385997 SOS 202833 HAS SOPS 194694 HAS SOUS 106814 HAS SOUPS 105362 WITH SCORE 105564.833
AT ITER 2484 NEW BEST:: SOT 385980 SOS 202782 HAS SOPS 194643 HAS SOUS 106803 HAS SOUPS 105351 WITH SCORE 105553.782
AT ITER 2493 NEW BEST:: SOT 385959 SOS 202761 HAS SOPS 194622 HAS SOUS 106773 HAS SOUPS 105321 WITH SCORE 105523.761
AT ITER 2525 NEW BEST:: SOT 385859 SOS 202661 HAS SOPS 194522 HAS SOUS 106573 HAS SOUPS 105121 WITH SCORE 105323.661
AT ITER 2554 NEW BEST:: SOT 385854 SOS 202671 HAS SOPS 194532 HAS SOUS 106533 HAS SOUPS 105081 WITH SCORE 105283.671
AT ITER 2559 NEW BEST:: SOT 385818 SOS 202635 HAS SOPS 194496 HAS SOUS 106395 HAS SOUPS 104943 WITH SCORE 105145.635
AT ITER 2564 NEW BEST:: SOT 385533 SOS 202178 HAS SOPS 193790 HAS SOUS 106292 HAS SOUPS 104840 WITH SCORE 105042.178
AT ITER 2580 NEW BEST:: SOT 385533 SOS 202141 HAS SOPS 193727 HAS SOUS 106266 HAS SOUPS 104814 WITH SCORE 105016.141
AT ITER 2592 NEW BEST:: SOT 385515 SOS 202105 HAS SOPS 193683 HAS SOUS 106240 HAS SOUPS 104788 WITH SCORE 104990.105
AT ITER 2593 NEW BEST:: SOT 385507 SOS 202074 HAS SOPS 193652 HAS SOUS 106224 HAS SOUPS 104772 WITH SCORE 104974.074
AT ITER 2603 NEW BEST:: SOT 385491 SOS 202042 HAS SOPS 193620 HAS SOUS 106208 HAS SOUPS 104756 WITH SCORE 104958.042
AT ITER 2609 NEW BEST:: SOT 385701 SOS 202023 HAS SOPS 193601 HAS SOUS 106148 HAS SOUPS 104696 WITH SCORE 104898.023
AT ITER 2623 NEW BEST:: SOT 385587 SOS 201909 HAS SOPS 193487 HAS SOUS 105965 HAS SOUPS 104513 WITH SCORE 104714.909
AT ITER 2635 NEW BEST:: SOT 385562 SOS 201832 HAS SOPS 193410 HAS SOUS 105953 HAS SOUPS 104501 WITH SCORE 104702.832
AT ITER 2640 NEW BEST:: SOT 385551 SOS 200881 HAS SOPS 192459 HAS SOUS 105832 HAS SOUPS 104380 WITH SCORE 104580.881
AT ITER 2642 NEW BEST:: SOT 385551 SOS 200862 HAS SOPS 192440 HAS SOUS 105832 HAS SOUPS 104380 WITH SCORE 104580.862
AT ITER 2659 NEW BEST:: SOT 385551 SOS 200783 HAS SOPS 192361 HAS SOUS 105832 HAS SOUPS 104380 WITH SCORE 104580.783
AT ITER 2667 NEW BEST:: SOT 385100 SOS 200350 HAS SOPS 191928 HAS SOUS 105414 HAS SOUPS 103962 WITH SCORE 104162.35
AT ITER 2670 NEW BEST:: SOT 384881 SOS 200261 HAS SOPS 191839 HAS SOUS 105384 HAS SOUPS 103932 WITH SCORE 104132.261
AT ITER 2671 NEW BEST:: SOT 384881 SOS 200229 HAS SOPS 191807 HAS SOUS 105384 HAS SOUPS 103932 WITH SCORE 104132.229
AT ITER 2681 NEW BEST:: SOT 384881 SOS 200135 HAS SOPS 191739 HAS SOUS 105384 HAS SOUPS 103932 WITH SCORE 104132.135
AT ITER 2692 NEW BEST:: SOT 384860 SOS 200093 HAS SOPS 191697 HAS SOUS 105342 HAS SOUPS 103890 WITH SCORE 104090.093
AT ITER 2719 NEW BEST:: SOT 384566 SOS 199992 HAS SOPS 191596 HAS SOUS 105296 HAS SOUPS 103844 WITH SCORE 104043.992
AT ITER 2734 NEW BEST:: SOT 384531 SOS 199964 HAS SOPS 191568 HAS SOUS 105268 HAS SOUPS 103816 WITH SCORE 104015.964
AT ITER 2754 NEW BEST:: SOT 384464 SOS 199571 HAS SOPS 191175 HAS SOUS 104876 HAS SOUPS 103424 WITH SCORE 103623.571
AT ITER 2773 NEW BEST:: SOT 384470 SOS 199574 HAS SOPS 191192 HAS SOUS 104820 HAS SOUPS 103368 WITH SCORE 103567.574
AT ITER 2794 NEW BEST:: SOT 384470 SOS 199501 HAS SOPS 191119 HAS SOUS 104820 HAS SOUPS 103368 WITH SCORE 103567.501
AT ITER 2817 NEW BEST:: SOT 384470 SOS 199501 HAS SOPS 191119 HAS SOUS 104794 HAS SOUPS 103342 WITH SCORE 103541.501
AT ITER 2857 NEW BEST:: SOT 384446 SOS 199477 HAS SOPS 191095 HAS SOUS 104746 HAS SOUPS 103294 WITH SCORE 103493.477
AT ITER 2859 NEW BEST:: SOT 384414 SOS 199429 HAS SOPS 191047 HAS SOUS 104706 HAS SOUPS 103254 WITH SCORE 103453.429
AT ITER 2870 NEW BEST:: SOT 384376 SOS 199277 HAS SOPS 190895 HAS SOUS 104640 HAS SOUPS 103188 WITH SCORE 103387.277
AT ITER 2874 NEW BEST:: SOT 384372 SOS 199169 HAS SOPS 190787 HAS SOUS 104500 HAS SOUPS 103048 WITH SCORE 103247.169
AT ITER 2876 NEW BEST:: SOT 384372 SOS 199160 HAS SOPS 190778 HAS SOUS 104491 HAS SOUPS 103039 WITH SCORE 103238.16
AT ITER 2892 NEW BEST:: SOT 384242 SOS 199036 HAS SOPS 190654 HAS SOUS 104361 HAS SOUPS 102909 WITH SCORE 103108.036
AT ITER 2902 NEW BEST:: SOT 384245 SOS 199039 HAS SOPS 190657 HAS SOUS 104336 HAS SOUPS 102884 WITH SCORE 103083.039
AT ITER 2904 NEW BEST:: SOT 384139 SOS 197775 HAS SOPS 189862 HAS SOUS 103956 HAS SOUPS 102557 WITH SCORE 102754.775
AT ITER 2913 NEW BEST:: SOT 383951 SOS 197551 HAS SOPS 189638 HAS SOUS 103558 HAS SOUPS 102159 WITH SCORE 102356.551
AT ITER 2942 NEW BEST:: SOT 383609 SOS 197209 HAS SOPS 189296 HAS SOUS 103194 HAS SOUPS 101795 WITH SCORE 101992.209
AT ITER 2944 NEW BEST:: SOT 383602 SOS 197202 HAS SOPS 189289 HAS SOUS 103187 HAS SOUPS 101788 WITH SCORE 101985.202
AT ITER 2951 NEW BEST:: SOT 383570 SOS 197202 HAS SOPS 189289 HAS SOUS 103123 HAS SOUPS 101724 WITH SCORE 101921.202
AT ITER 2955 NEW BEST:: SOT 383481 SOS 197147 HAS SOPS 189234 HAS SOUS 103075 HAS SOUPS 101676 WITH SCORE 101873.147
AT ITER 2978 NEW BEST:: SOT 383468 SOS 197082 HAS SOPS 189169 HAS SOUS 103053 HAS SOUPS 101654 WITH SCORE 101851.082
AT ITER 2996 NEW BEST:: SOT 383648 SOS 197262 HAS SOPS 189349 HAS SOUS 102978 HAS SOUPS 101579 WITH SCORE 101776.262
AT ITER 3004 NEW BEST:: SOT 383544 SOS 197040 HAS SOPS 189127 HAS SOUS 102770 HAS SOUPS 101371 WITH SCORE 101568.04
AT ITER 3031 NEW BEST:: SOT 383683 SOS 197333 HAS SOPS 189420 HAS SOUS 102751 HAS SOUPS 101352 WITH SCORE 101549.333
AT ITER 3043 NEW BEST:: SOT 383632 SOS 197790 HAS SOPS 189877 HAS SOUS 102715 HAS SOUPS 101316 WITH SCORE 101513.79
AT ITER 3050 NEW BEST:: SOT 383598 SOS 197758 HAS SOPS 189813 HAS SOUS 102689 HAS SOUPS 101258 WITH SCORE 101455.758
AT ITER 3069 NEW BEST:: SOT 383597 SOS 197757 HAS SOPS 189812 HAS SOUS 102620 HAS SOUPS 101189 WITH SCORE 101386.757
AT ITER 3090 NEW BEST:: SOT 383551 SOS 197686 HAS SOPS 189741 HAS SOUS 102549 HAS SOUPS 101118 WITH SCORE 101315.686
AT ITER 3096 NEW BEST:: SOT 383543 SOS 197709 HAS SOPS 189764 HAS SOUS 102507 HAS SOUPS 101076 WITH SCORE 101273.709
AT ITER 3149 NEW BEST:: SOT 383411 SOS 199103 HAS SOPS 191158 HAS SOUS 102461 HAS SOUPS 101030 WITH SCORE 101229.103
AT ITER 3153 NEW BEST:: SOT 383411 SOS 199102 HAS SOPS 191158 HAS SOUS 102457 HAS SOUPS 101026 WITH SCORE 101225.102
AT ITER 3182 NEW BEST:: SOT 383389 SOS 199126 HAS SOPS 191182 HAS SOUS 102413 HAS SOUPS 100982 WITH SCORE 101181.126
AT ITER 3190 NEW BEST:: SOT 383398 SOS 198995 HAS SOPS 191051 HAS SOUS 102406 HAS SOUPS 100975 WITH SCORE 101173.995
AT ITER 3202 NEW BEST:: SOT 383392 SOS 198986 HAS SOPS 191045 HAS SOUS 102385 HAS SOUPS 100954 WITH SCORE 101152.986
AT ITER 3224 NEW BEST:: SOT 383594 SOS 199202 HAS SOPS 191261 HAS SOUS 102381 HAS SOUPS 100950 WITH SCORE 101149.202
AT ITER 3260 NEW BEST:: SOT 383586 SOS 199202 HAS SOPS 191261 HAS SOUS 102357 HAS SOUPS 100926 WITH SCORE 101125.202
AT ITER 3262 NEW BEST:: SOT 383473 SOS 198987 HAS SOPS 191046 HAS SOUS 102281 HAS SOUPS 100850 WITH SCORE 101048.987
AT ITER 3283 NEW BEST:: SOT 383473 SOS 198822 HAS SOPS 190881 HAS SOUS 102281 HAS SOUPS 100850 WITH SCORE 101048.822
AT ITER 3288 NEW BEST:: SOT 383428 SOS 198722 HAS SOPS 190781 HAS SOUS 102259 HAS SOUPS 100828 WITH SCORE 101026.722
AT ITER 3292 NEW BEST:: SOT 383414 SOS 198683 HAS SOPS 190742 HAS SOUS 102221 HAS SOUPS 100790 WITH SCORE 100988.683
AT ITER 3319 NEW BEST:: SOT 383376 SOS 198440 HAS SOPS 190499 HAS SOUS 102087 HAS SOUPS 100656 WITH SCORE 100854.44
AT ITER 3324 NEW BEST:: SOT 383306 SOS 198381 HAS SOPS 190451 HAS SOUS 102062 HAS SOUPS 100631 WITH SCORE 100829.381
AT ITER 3340 NEW BEST:: SOT 383229 SOS 198227 HAS SOPS 190297 HAS SOUS 101908 HAS SOUPS 100477 WITH SCORE 100675.227
AT ITER 3342 NEW BEST:: SOT 383221 SOS 198219 HAS SOPS 190289 HAS SOUS 101900 HAS SOUPS 100469 WITH SCORE 100667.219
AT ITER 3343 NEW BEST:: SOT 383043 SOS 198022 HAS SOPS 190092 HAS SOUS 101671 HAS SOUPS 100240 WITH SCORE 100438.022
AT ITER 3358 NEW BEST:: SOT 383043 SOS 197989 HAS SOPS 190059 HAS SOUS 101660 HAS SOUPS 100229 WITH SCORE 100426.989
AT ITER 3361 NEW BEST:: SOT 382857 SOS 197837 HAS SOPS 189907 HAS SOUS 101573 HAS SOUPS 100142 WITH SCORE 100339.837
AT ITER 3385 NEW BEST:: SOT 382845 SOS 197825 HAS SOPS 189895 HAS SOUS 101555 HAS SOUPS 100124 WITH SCORE 100321.825
AT ITER 3400 NEW BEST:: SOT 382797 SOS 197777 HAS SOPS 189847 HAS SOUS 101503 HAS SOUPS 100072 WITH SCORE 100269.777
AT ITER 3401 NEW BEST:: SOT 382738 SOS 199339 HAS SOPS 191409 HAS SOUS 101498 HAS SOUPS 100067 WITH SCORE 100266.339
AT ITER 3426 NEW BEST:: SOT 382841 SOS 199535 HAS SOPS 191605 HAS SOUS 101389 HAS SOUPS 99958 WITH SCORE 100157.535
AT ITER 3451 NEW BEST:: SOT 382811 SOS 199538 HAS SOPS 191608 HAS SOUS 101362 HAS SOUPS 99931 WITH SCORE 100130.538
AT ITER 3474 NEW BEST:: SOT 382798 SOS 199606 HAS SOPS 191686 HAS SOUS 101246 HAS SOUPS 99815 WITH SCORE 100014.606
AT ITER 3510 NEW BEST:: SOT 382784 SOS 199586 HAS SOPS 191666 HAS SOUS 101233 HAS SOUPS 99802 WITH SCORE 100001.586
AT ITER 3514 NEW BEST:: SOT 382749 SOS 199570 HAS SOPS 191650 HAS SOUS 101109 HAS SOUPS 99678 WITH SCORE 99877.57
AT ITER 3542 NEW BEST:: SOT 382738 SOS 199562 HAS SOPS 191642 HAS SOUS 101068 HAS SOUPS 99637 WITH SCORE 99836.562
AT ITER 3568 NEW BEST:: SOT 382700 SOS 199513 HAS SOPS 191593 HAS SOUS 101051 HAS SOUPS 99620 WITH SCORE 99819.513
AT ITER 3571 NEW BEST:: SOT 382698 SOS 199517 HAS SOPS 191593 HAS SOUS 101047 HAS SOUPS 99616 WITH SCORE 99815.517
AT ITER 3575 NEW BEST:: SOT 382684 SOS 199483 HAS SOPS 191559 HAS SOUS 101035 HAS SOUPS 99604 WITH SCORE 99803.483
AT ITER 3585 NEW BEST:: SOT 382589 SOS 199139 HAS SOPS 191215 HAS SOUS 100903 HAS SOUPS 99472 WITH SCORE 99671.139
AT ITER 3601 NEW BEST:: SOT 382585 SOS 199103 HAS SOPS 191179 HAS SOUS 100899 HAS SOUPS 99468 WITH SCORE 99667.103
AT ITER 3607 NEW BEST:: SOT 382546 SOS 199064 HAS SOPS 191140 HAS SOUS 100838 HAS SOUPS 99407 WITH SCORE 99606.064
AT ITER 3635 NEW BEST:: SOT 382537 SOS 199055 HAS SOPS 191129 HAS SOUS 100826 HAS SOUPS 99395 WITH SCORE 99594.055
AT ITER 3642 NEW BEST:: SOT 382518 SOS 199036 HAS SOPS 191110 HAS SOUS 100807 HAS SOUPS 99376 WITH SCORE 99575.036
AT ITER 3664 NEW BEST:: SOT 382470 SOS 198847 HAS SOPS 190921 HAS SOUS 100666 HAS SOUPS 99235 WITH SCORE 99433.847
AT ITER 3667 NEW BEST:: SOT 382413 SOS 198771 HAS SOPS 190845 HAS SOUS 100590 HAS SOUPS 99159 WITH SCORE 99357.771
AT ITER 3684 NEW BEST:: SOT 382366 SOS 198994 HAS SOPS 191074 HAS SOUS 100585 HAS SOUPS 99154 WITH SCORE 99352.994
AT ITER 3691 NEW BEST:: SOT 382360 SOS 198988 HAS SOPS 191074 HAS SOUS 100573 HAS SOUPS 99148 WITH SCORE 99346.988
AT ITER 3725 NEW BEST:: SOT 381528 SOS 198347 HAS SOPS 190433 HAS SOUS 100548 HAS SOUPS 99123 WITH SCORE 99321.347
AT ITER 3727 NEW BEST:: SOT 381548 SOS 198367 HAS SOPS 190453 HAS SOUS 100480 HAS SOUPS 99055 WITH SCORE 99253.367
AT ITER 3729 NEW BEST:: SOT 381422 SOS 198115 HAS SOPS 190201 HAS SOUS 100228 HAS SOUPS 98803 WITH SCORE 99001.115
AT ITER 3745 NEW BEST:: SOT 381448 SOS 198074 HAS SOPS 190160 HAS SOUS 100213 HAS SOUPS 98788 WITH SCORE 98986.074
AT ITER 3748 NEW BEST:: SOT 381433 SOS 198049 HAS SOPS 190135 HAS SOUS 100188 HAS SOUPS 98763 WITH SCORE 98961.049
AT ITER 3762 NEW BEST:: SOT 381433 SOS 197864 HAS SOPS 189950 HAS SOUS 100183 HAS SOUPS 98758 WITH SCORE 98955.864
AT ITER 3765 NEW BEST:: SOT 381392 SOS 197819 HAS SOPS 189905 HAS SOUS 100102 HAS SOUPS 98677 WITH SCORE 98874.819
AT ITER 3777 NEW BEST:: SOT 381401 SOS 197838 HAS SOPS 189924 HAS SOUS 100097 HAS SOUPS 98672 WITH SCORE 98869.838
AT ITER 3798 NEW BEST:: SOT 381269 SOS 197718 HAS SOPS 189804 HAS SOUS 99863 HAS SOUPS 98438 WITH SCORE 98635.718
AT ITER 3802 NEW BEST:: SOT 381247 SOS 197480 HAS SOPS 189566 HAS SOUS 99860 HAS SOUPS 98435 WITH SCORE 98632.48
AT ITER 3811 NEW BEST:: SOT 381059 SOS 197566 HAS SOPS 189699 HAS SOUS 99724 HAS SOUPS 98299 WITH SCORE 98496.566
AT ITER 3814 NEW BEST:: SOT 381053 SOS 197554 HAS SOPS 189687 HAS SOUS 99712 HAS SOUPS 98287 WITH SCORE 98484.554
AT ITER 3820 NEW BEST:: SOT 381053 SOS 197450 HAS SOPS 189585 HAS SOUS 99662 HAS SOUPS 98237 WITH SCORE 98434.45
AT ITER 3842 NEW BEST:: SOT 381035 SOS 197431 HAS SOPS 189566 HAS SOUS 99644 HAS SOUPS 98219 WITH SCORE 98416.431
AT ITER 3856 NEW BEST:: SOT 381016 SOS 197412 HAS SOPS 189547 HAS SOUS 99606 HAS SOUPS 98181 WITH SCORE 98378.412
AT ITER 3872 NEW BEST:: SOT 381120 SOS 197516 HAS SOPS 189651 HAS SOUS 99589 HAS SOUPS 98164 WITH SCORE 98361.516
AT ITER 3897 NEW BEST:: SOT 381045 SOS 197441 HAS SOPS 189584 HAS SOUS 99447 HAS SOUPS 98022 WITH SCORE 98219.441
AT ITER 3898 NEW BEST:: SOT 381075 SOS 197469 HAS SOPS 189612 HAS SOUS 99389 HAS SOUPS 97964 WITH SCORE 98161.469
AT ITER 3902 NEW BEST:: SOT 381081 SOS 197477 HAS SOPS 189620 HAS SOUS 99379 HAS SOUPS 97954 WITH SCORE 98151.477
AT ITER 3907 NEW BEST:: SOT 381075 SOS 197465 HAS SOPS 189608 HAS SOUS 99367 HAS SOUPS 97942 WITH SCORE 98139.465
AT ITER 3924 NEW BEST:: SOT 381036 SOS 197504 HAS SOPS 189684 HAS SOUS 99365 HAS SOUPS 97940 WITH SCORE 98137.504
AT ITER 3925 NEW BEST:: SOT 381011 SOS 197479 HAS SOPS 189659 HAS SOUS 99197 HAS SOUPS 97772 WITH SCORE 97969.479
AT ITER 3929 NEW BEST:: SOT 381011 SOS 197567 HAS SOPS 189747 HAS SOUS 99125 HAS SOUPS 97700 WITH SCORE 97897.567
AT ITER 3937 NEW BEST:: SOT 381013 SOS 197505 HAS SOPS 189685 HAS SOUS 99063 HAS SOUPS 97638 WITH SCORE 97835.505
AT ITER 3945 NEW BEST:: SOT 380999 SOS 197303 HAS SOPS 189535 HAS SOUS 99035 HAS SOUPS 97610 WITH SCORE 97807.303
AT ITER 3963 NEW BEST:: SOT 380997 SOS 197388 HAS SOPS 189620 HAS SOUS 99031 HAS SOUPS 97606 WITH SCORE 97803.388
AT ITER 3964 NEW BEST:: SOT 380783 SOS 197187 HAS SOPS 189419 HAS SOUS 98787 HAS SOUPS 97362 WITH SCORE 97559.187
AT ITER 3972 NEW BEST:: SOT 380651 SOS 197112 HAS SOPS 189344 HAS SOUS 98777 HAS SOUPS 97352 WITH SCORE 97549.112
AT ITER 3977 NEW BEST:: SOT 380717 SOS 197178 HAS SOPS 189410 HAS SOUS 98650 HAS SOUPS 97225 WITH SCORE 97422.178
AT ITER 3982 NEW BEST:: SOT 380729 SOS 197198 HAS SOPS 189430 HAS SOUS 98550 HAS SOUPS 97125 WITH SCORE 97322.198
AT ITER 4005 NEW BEST:: SOT 380734 SOS 197286 HAS SOPS 189518 HAS SOUS 98511 HAS SOUPS 97086 WITH SCORE 97283.286
AT ITER 4017 NEW BEST:: SOT 380734 SOS 197268 HAS SOPS 189492 HAS SOUS 98494 HAS SOUPS 97069 WITH SCORE 97266.268
AT ITER 4023 NEW BEST:: SOT 380790 SOS 197324 HAS SOPS 189548 HAS SOUS 98482 HAS SOUPS 97057 WITH SCORE 97254.324
AT ITER 4039 NEW BEST:: SOT 380759 SOS 197197 HAS SOPS 189421 HAS SOUS 98420 HAS SOUPS 96995 WITH SCORE 97192.197
AT ITER 4082 NEW BEST:: SOT 380751 SOS 197103 HAS SOPS 189327 HAS SOUS 98404 HAS SOUPS 96979 WITH SCORE 97176.103
AT ITER 4109 NEW BEST:: SOT 380736 SOS 197073 HAS SOPS 189297 HAS SOUS 98374 HAS SOUPS 96949 WITH SCORE 97146.073
AT ITER 4145 NEW BEST:: SOT 380736 SOS 197130 HAS SOPS 189354 HAS SOUS 98334 HAS SOUPS 96909 WITH SCORE 97106.13
AT ITER 4161 NEW BEST:: SOT 380648 SOS 196568 HAS SOPS 188792 HAS SOUS 98313 HAS SOUPS 96888 WITH SCORE 97084.568
AT ITER 4189 NEW BEST:: SOT 380648 SOS 196526 HAS SOPS 188750 HAS SOUS 98313 HAS SOUPS 96888 WITH SCORE 97084.526
AT ITER 4220 NEW BEST:: SOT 380648 SOS 196349 HAS SOPS 188573 HAS SOUS 98313 HAS SOUPS 96888 WITH SCORE 97084.349
AT ITER 4222 NEW BEST:: SOT 380662 SOS 196355 HAS SOPS 188587 HAS SOUS 98304 HAS SOUPS 96883 WITH SCORE 97079.355
AT ITER 4229 NEW BEST:: SOT 380631 SOS 196324 HAS SOPS 188549 HAS SOUS 98260 HAS SOUPS 96839 WITH SCORE 97035.324
AT ITER 4236 NEW BEST:: SOT 380631 SOS 196296 HAS SOPS 188521 HAS SOUS 98232 HAS SOUPS 96811 WITH SCORE 97007.296
AT ITER 4239 NEW BEST:: SOT 380629 SOS 196294 HAS SOPS 188519 HAS SOUS 98226 HAS SOUPS 96805 WITH SCORE 97001.294
AT ITER 4260 NEW BEST:: SOT 380546 SOS 196008 HAS SOPS 188233 HAS SOUS 98133 HAS SOUPS 96712 WITH SCORE 96908.008
AT ITER 4269 NEW BEST:: SOT 380485 SOS 195891 HAS SOPS 188116 HAS SOUS 98014 HAS SOUPS 96593 WITH SCORE 96788.891
AT ITER 4273 NEW BEST:: SOT 380466 SOS 195760 HAS SOPS 187985 HAS SOUS 97920 HAS SOUPS 96499 WITH SCORE 96694.76
AT ITER 4284 NEW BEST:: SOT 380440 SOS 195760 HAS SOPS 187985 HAS SOUS 97868 HAS SOUPS 96447 WITH SCORE 96642.76
AT ITER 4301 NEW BEST:: SOT 380418 SOS 195716 HAS SOPS 187941 HAS SOUS 97824 HAS SOUPS 96403 WITH SCORE 96598.716
AT ITER 4302 NEW BEST:: SOT 380401 SOS 195733 HAS SOPS 187958 HAS SOUS 97807 HAS SOUPS 96386 WITH SCORE 96581.733
AT ITER 4310 NEW BEST:: SOT 380378 SOS 195710 HAS SOPS 187935 HAS SOUS 97805 HAS SOUPS 96384 WITH SCORE 96579.71
AT ITER 4334 NEW BEST:: SOT 380370 SOS 195702 HAS SOPS 187927 HAS SOUS 97797 HAS SOUPS 96376 WITH SCORE 96571.702
AT ITER 4352 NEW BEST:: SOT 380306 SOS 195671 HAS SOPS 187881 HAS SOUS 97715 HAS SOUPS 96294 WITH SCORE 96489.671
AT ITER 4353 NEW BEST:: SOT 380003 SOS 196320 HAS SOPS 188160 HAS SOUS 97411 HAS SOUPS 95980 WITH SCORE 96176.32
AT ITER 4367 NEW BEST:: SOT 380017 SOS 196334 HAS SOPS 188174 HAS SOUS 97377 HAS SOUPS 95946 WITH SCORE 96142.334
AT ITER 4420 NEW BEST:: SOT 380015 SOS 196332 HAS SOPS 188172 HAS SOUS 97376 HAS SOUPS 95945 WITH SCORE 96141.332
AT ITER 4423 NEW BEST:: SOT 380015 SOS 196308 HAS SOPS 188148 HAS SOUS 97284 HAS SOUPS 95853 WITH SCORE 96049.308
AT ITER 4446 NEW BEST:: SOT 379840 SOS 196050 HAS SOPS 187890 HAS SOUS 97026 HAS SOUPS 95595 WITH SCORE 95791.05
AT ITER 4448 NEW BEST:: SOT 379829 SOS 196013 HAS SOPS 187853 HAS SOUS 97024 HAS SOUPS 95593 WITH SCORE 95789.013
AT ITER 4455 NEW BEST:: SOT 379814 SOS 195998 HAS SOPS 187862 HAS SOUS 97006 HAS SOUPS 95576 WITH SCORE 95771.998
AT ITER 4463 NEW BEST:: SOT 379763 SOS 195953 HAS SOPS 187817 HAS SOUS 96961 HAS SOUPS 95531 WITH SCORE 95726.953
AT ITER 4486 NEW BEST:: SOT 379763 SOS 195983 HAS SOPS 187787 HAS SOUS 96931 HAS SOUPS 95501 WITH SCORE 95696.983
AT ITER 4522 NEW BEST:: SOT 379741 SOS 195961 HAS SOPS 187765 HAS SOUS 96888 HAS SOUPS 95458 WITH SCORE 95653.961
AT ITER 4555 NEW BEST:: SOT 379753 SOS 196051 HAS SOPS 187855 HAS SOUS 96862 HAS SOUPS 95432 WITH SCORE 95628.051
AT ITER 4566 NEW BEST:: SOT 379708 SOS 196474 HAS SOPS 188278 HAS SOUS 96721 HAS SOUPS 95291 WITH SCORE 95487.474
AT ITER 4567 NEW BEST:: SOT 379708 SOS 196461 HAS SOPS 188265 HAS SOUS 96719 HAS SOUPS 95289 WITH SCORE 95485.461
AT ITER 4573 NEW BEST:: SOT 379714 SOS 196334 HAS SOPS 188138 HAS SOUS 96714 HAS SOUPS 95284 WITH SCORE 95480.334
AT ITER 4582 NEW BEST:: SOT 379564 SOS 196181 HAS SOPS 187985 HAS SOUS 96561 HAS SOUPS 95131 WITH SCORE 95327.181
AT ITER 4591 NEW BEST:: SOT 379530 SOS 196147 HAS SOPS 187951 HAS SOUS 96378 HAS SOUPS 94948 WITH SCORE 95144.147
AT ITER 4620 NEW BEST:: SOT 379518 SOS 196069 HAS SOPS 187873 HAS SOUS 96340 HAS SOUPS 94910 WITH SCORE 95106.069
AT ITER 4621 NEW BEST:: SOT 379476 SOS 196027 HAS SOPS 187831 HAS SOUS 96320 HAS SOUPS 94890 WITH SCORE 95086.027
AT ITER 4627 NEW BEST:: SOT 379476 SOS 196027 HAS SOPS 187831 HAS SOUS 96310 HAS SOUPS 94880 WITH SCORE 95076.027
AT ITER 4629 NEW BEST:: SOT 379540 SOS 196016 HAS SOPS 187820 HAS SOUS 96303 HAS SOUPS 94873 WITH SCORE 95069.016
AT ITER 4640 NEW BEST:: SOT 379297 SOS 195764 HAS SOPS 187568 HAS SOUS 96164 HAS SOUPS 94734 WITH SCORE 94929.764
AT ITER 4660 NEW BEST:: SOT 379283 SOS 195720 HAS SOPS 187524 HAS SOUS 96136 HAS SOUPS 94706 WITH SCORE 94901.72
AT ITER 4666 NEW BEST:: SOT 379284 SOS 195713 HAS SOPS 187517 HAS SOUS 96130 HAS SOUPS 94700 WITH SCORE 94895.713
AT ITER 4688 NEW BEST:: SOT 379250 SOS 195679 HAS SOPS 187508 HAS SOUS 96112 HAS SOUPS 94682 WITH SCORE 94877.679
AT ITER 4698 NEW BEST:: SOT 379329 SOS 195860 HAS SOPS 187689 HAS SOUS 96083 HAS SOUPS 94653 WITH SCORE 94848.86
AT ITER 4710 NEW BEST:: SOT 379316 SOS 195860 HAS SOPS 187689 HAS SOUS 96070 HAS SOUPS 94640 WITH SCORE 94835.86
AT ITER 4724 NEW BEST:: SOT 379303 SOS 195864 HAS SOPS 187693 HAS SOUS 96064 HAS SOUPS 94634 WITH SCORE 94829.864
AT ITER 4725 NEW BEST:: SOT 379208 SOS 195769 HAS SOPS 187598 HAS SOUS 95965 HAS SOUPS 94535 WITH SCORE 94730.769
AT ITER 4738 NEW BEST:: SOT 378962 SOS 195814 HAS SOPS 187643 HAS SOUS 95764 HAS SOUPS 94334 WITH SCORE 94529.814
AT ITER 4752 NEW BEST:: SOT 378945 SOS 195779 HAS SOPS 187608 HAS SOUS 95714 HAS SOUPS 94284 WITH SCORE 94479.779
AT ITER 4754 NEW BEST:: SOT 378983 SOS 195855 HAS SOPS 187684 HAS SOUS 95410 HAS SOUPS 93980 WITH SCORE 94175.855
AT ITER 4831 NEW BEST:: SOT 378904 SOS 196099 HAS SOPS 187928 HAS SOUS 94954 HAS SOUPS 93524 WITH SCORE 93720.099
AT ITER 4862 NEW BEST:: SOT 378909 SOS 196185 HAS SOPS 188014 HAS SOUS 94915 HAS SOUPS 93485 WITH SCORE 93681.185
AT ITER 4864 NEW BEST:: SOT 378909 SOS 196101 HAS SOPS 187930 HAS SOUS 94873 HAS SOUPS 93443 WITH SCORE 93639.101
AT ITER 4870 NEW BEST:: SOT 378867 SOS 196059 HAS SOPS 187888 HAS SOUS 94831 HAS SOUPS 93401 WITH SCORE 93597.059
AT ITER 4875 NEW BEST:: SOT 378806 SOS 195937 HAS SOPS 187766 HAS SOUS 94709 HAS SOUPS 93279 WITH SCORE 93474.937
AT ITER 4943 NEW BEST:: SOT 378695 SOS 195846 HAS SOPS 187675 HAS SOUS 94670 HAS SOUPS 93240 WITH SCORE 93435.846
AT ITER 4974 NEW BEST:: SOT 378657 SOS 195973 HAS SOPS 187802 HAS SOUS 94579 HAS SOUPS 93149 WITH SCORE 93344.973
AT ITER 4980 NEW BEST:: SOT 378647 SOS 195963 HAS SOPS 187792 HAS SOUS 94569 HAS SOUPS 93139 WITH SCORE 93334.963
AT ITER 4987 NEW BEST:: SOT 378630 SOS 195929 HAS SOPS 187758 HAS SOUS 94560 HAS SOUPS 93130 WITH SCORE 93325.929
AT ITER 4995 NEW BEST:: SOT 378616 SOS 195823 HAS SOPS 187662 HAS SOUS 94532 HAS SOUPS 93102 WITH SCORE 93297.823
AT ITER 5005 NEW BEST:: SOT 378621 SOS 195817 HAS SOPS 187645 HAS SOUS 94466 HAS SOUPS 93036 WITH SCORE 93231.817
AT ITER 5009 NEW BEST:: SOT 378693 SOS 195777 HAS SOPS 187605 HAS SOUS 94424 HAS SOUPS 92994 WITH SCORE 93189.777
AT ITER 5022 NEW BEST:: SOT 378692 SOS 195776 HAS SOPS 187604 HAS SOUS 94423 HAS SOUPS 92993 WITH SCORE 93188.776
AT ITER 5028 NEW BEST:: SOT 378691 SOS 195813 HAS SOPS 187641 HAS SOUS 94388 HAS SOUPS 92958 WITH SCORE 93153.813
AT ITER 5048 NEW BEST:: SOT 378639 SOS 195760 HAS SOPS 187585 HAS SOUS 94332 HAS SOUPS 92902 WITH SCORE 93097.76
AT ITER 5063 NEW BEST:: SOT 378625 SOS 195507 HAS SOPS 187308 HAS SOUS 94231 HAS SOUPS 92801 WITH SCORE 92996.507
AT ITER 5071 NEW BEST:: SOT 378616 SOS 195498 HAS SOPS 187299 HAS SOUS 94196 HAS SOUPS 92766 WITH SCORE 92961.498
AT ITER 5081 NEW BEST:: SOT 378635 SOS 195517 HAS SOPS 187287 HAS SOUS 94195 HAS SOUPS 92742 WITH SCORE 92937.517
AT ITER 5092 NEW BEST:: SOT 378616 SOS 195498 HAS SOPS 187281 HAS SOUS 94148 HAS SOUPS 92708 WITH SCORE 92903.498
AT ITER 5100 NEW BEST:: SOT 378602 SOS 195484 HAS SOPS 187267 HAS SOUS 94136 HAS SOUPS 92696 WITH SCORE 92891.484
AT ITER 5109 NEW BEST:: SOT 378546 SOS 195316 HAS SOPS 187099 HAS SOUS 94066 HAS SOUPS 92626 WITH SCORE 92821.316
AT ITER 5125 NEW BEST:: SOT 378498 SOS 195244 HAS SOPS 187027 HAS SOUS 93994 HAS SOUPS 92554 WITH SCORE 92749.244
AT ITER 5162 NEW BEST:: SOT 378505 SOS 195312 HAS SOPS 187095 HAS SOUS 93954 HAS SOUPS 92514 WITH SCORE 92709.312
AT ITER 5173 NEW BEST:: SOT 378504 SOS 195307 HAS SOPS 187090 HAS SOUS 93952 HAS SOUPS 92512 WITH SCORE 92707.307
AT ITER 5174 NEW BEST:: SOT 378405 SOS 195241 HAS SOPS 187024 HAS SOUS 93823 HAS SOUPS 92383 WITH SCORE 92578.241
AT ITER 5190 NEW BEST:: SOT 378405 SOS 195241 HAS SOPS 187024 HAS SOUS 93795 HAS SOUPS 92355 WITH SCORE 92550.241
AT ITER 5203 NEW BEST:: SOT 378282 SOS 195170 HAS SOPS 186953 HAS SOUS 93446 HAS SOUPS 92006 WITH SCORE 92201.17
AT ITER 5237 NEW BEST:: SOT 378061 SOS 194950 HAS SOPS 186733 HAS SOUS 93236 HAS SOUPS 91796 WITH SCORE 91990.95
AT ITER 5261 NEW BEST:: SOT 378053 SOS 194934 HAS SOPS 186717 HAS SOUS 93220 HAS SOUPS 91780 WITH SCORE 91974.934
AT ITER 5265 NEW BEST:: SOT 378050 SOS 194923 HAS SOPS 186706 HAS SOUS 93214 HAS SOUPS 91774 WITH SCORE 91968.923
AT ITER 5314 NEW BEST:: SOT 377984 SOS 194824 HAS SOPS 186607 HAS SOUS 93171 HAS SOUPS 91731 WITH SCORE 91925.824
AT ITER 5330 NEW BEST:: SOT 377914 SOS 194754 HAS SOPS 186537 HAS SOUS 93133 HAS SOUPS 91693 WITH SCORE 91887.754
AT ITER 5335 NEW BEST:: SOT 377778 SOS 194618 HAS SOPS 186400 HAS SOUS 92962 HAS SOUPS 91522 WITH SCORE 91716.618
AT ITER 5377 NEW BEST:: SOT 377742 SOS 194593 HAS SOPS 186375 HAS SOUS 92937 HAS SOUPS 91497 WITH SCORE 91691.593
AT ITER 5403 NEW BEST:: SOT 377714 SOS 194565 HAS SOPS 186347 HAS SOUS 92909 HAS SOUPS 91469 WITH SCORE 91663.565
AT ITER 5449 NEW BEST:: SOT 377698 SOS 194533 HAS SOPS 186315 HAS SOUS 92893 HAS SOUPS 91453 WITH SCORE 91647.533
AT ITER 5452 NEW BEST:: SOT 377681 SOS 194499 HAS SOPS 186281 HAS SOUS 92859 HAS SOUPS 91419 WITH SCORE 91613.499
AT ITER 5469 NEW BEST:: SOT 377745 SOS 194563 HAS SOPS 186345 HAS SOUS 92851 HAS SOUPS 91411 WITH SCORE 91605.563
AT ITER 5507 NEW BEST:: SOT 377745 SOS 194551 HAS SOPS 186333 HAS SOUS 92839 HAS SOUPS 91399 WITH SCORE 91593.551
AT ITER 5532 NEW BEST:: SOT 377734 SOS 194283 HAS SOPS 186065 HAS SOUS 92815 HAS SOUPS 91375 WITH SCORE 91569.283
AT ITER 5535 NEW BEST:: SOT 377734 SOS 194282 HAS SOPS 186064 HAS SOUS 92815 HAS SOUPS 91375 WITH SCORE 91569.282
AT ITER 5583 NEW BEST:: SOT 377727 SOS 194275 HAS SOPS 186071 HAS SOUS 92809 HAS SOUPS 91369 WITH SCORE 91563.275
AT ITER 5605 NEW BEST:: SOT 377607 SOS 194214 HAS SOPS 186010 HAS SOUS 92675 HAS SOUPS 91235 WITH SCORE 91429.214
AT ITER 5609 NEW BEST:: SOT 377586 SOS 194073 HAS SOPS 185869 HAS SOUS 92651 HAS SOUPS 91211 WITH SCORE 91405.073
AT ITER 5676 NEW BEST:: SOT 377559 SOS 193974 HAS SOPS 185770 HAS SOUS 92615 HAS SOUPS 91175 WITH SCORE 91368.974
AT ITER 5678 NEW BEST:: SOT 377551 SOS 193966 HAS SOPS 185682 HAS SOUS 92607 HAS SOUPS 91151 WITH SCORE 91344.966
AT ITER 5679 NEW BEST:: SOT 377549 SOS 193964 HAS SOPS 185680 HAS SOUS 92587 HAS SOUPS 91131 WITH SCORE 91324.964
AT ITER 5688 NEW BEST:: SOT 377516 SOS 194042 HAS SOPS 185758 HAS SOUS 92554 HAS SOUPS 91098 WITH SCORE 91292.042
AT ITER 5699 NEW BEST:: SOT 377531 SOS 194135 HAS SOPS 185851 HAS SOUS 92542 HAS SOUPS 91086 WITH SCORE 91280.135
AT ITER 5712 NEW BEST:: SOT 377516 SOS 194120 HAS SOPS 185836 HAS SOUS 92497 HAS SOUPS 91041 WITH SCORE 91235.12
AT ITER 5736 NEW BEST:: SOT 377516 SOS 194121 HAS SOPS 185835 HAS SOUS 92496 HAS SOUPS 91040 WITH SCORE 91234.121
AT ITER 5741 NEW BEST:: SOT 377450 SOS 194107 HAS SOPS 185821 HAS SOUS 92482 HAS SOUPS 91026 WITH SCORE 91220.107
AT ITER 5769 NEW BEST:: SOT 377347 SOS 194017 HAS SOPS 185731 HAS SOUS 92330 HAS SOUPS 90874 WITH SCORE 91068.017
AT ITER 5774 NEW BEST:: SOT 377338 SOS 194064 HAS SOPS 185778 HAS SOUS 92321 HAS SOUPS 90865 WITH SCORE 91059.064
AT ITER 5776 NEW BEST:: SOT 376919 SOS 193960 HAS SOPS 185674 HAS SOUS 92282 HAS SOUPS 90826 WITH SCORE 91019.96
AT ITER 5788 NEW BEST:: SOT 376903 SOS 193944 HAS SOPS 185658 HAS SOUS 92189 HAS SOUPS 90733 WITH SCORE 90926.944
AT ITER 5856 NEW BEST:: SOT 376542 SOS 193771 HAS SOPS 185485 HAS SOUS 91795 HAS SOUPS 90339 WITH SCORE 90532.771
AT ITER 5862 NEW BEST:: SOT 376511 SOS 193740 HAS SOPS 185454 HAS SOUS 91747 HAS SOUPS 90291 WITH SCORE 90484.74
AT ITER 5868 NEW BEST:: SOT 376493 SOS 193740 HAS SOPS 185454 HAS SOUS 91705 HAS SOUPS 90249 WITH SCORE 90442.74
AT ITER 5875 NEW BEST:: SOT 376622 SOS 194204 HAS SOPS 185918 HAS SOUS 91681 HAS SOUPS 90225 WITH SCORE 90419.204
AT ITER 5889 NEW BEST:: SOT 376546 SOS 194090 HAS SOPS 185804 HAS SOUS 91567 HAS SOUPS 90111 WITH SCORE 90305.09
AT ITER 5901 NEW BEST:: SOT 376536 SOS 194080 HAS SOPS 185794 HAS SOUS 91558 HAS SOUPS 90102 WITH SCORE 90296.08
AT ITER 5916 NEW BEST:: SOT 376504 SOS 194077 HAS SOPS 185791 HAS SOUS 91380 HAS SOUPS 89924 WITH SCORE 90118.077
AT ITER 5950 NEW BEST:: SOT 376423 SOS 194071 HAS SOPS 185785 HAS SOUS 91335 HAS SOUPS 89879 WITH SCORE 90073.071
AT ITER 5969 NEW BEST:: SOT 376375 SOS 194023 HAS SOPS 185737 HAS SOUS 91244 HAS SOUPS 89788 WITH SCORE 89982.023
AT ITER 5973 NEW BEST:: SOT 376355 SOS 193978 HAS SOPS 185692 HAS SOUS 91220 HAS SOUPS 89764 WITH SCORE 89957.978
AT ITER 5999 NEW BEST:: SOT 376333 SOS 194094 HAS SOPS 185808 HAS SOUS 91108 HAS SOUPS 89652 WITH SCORE 89846.094
AT ITER 6101 NEW BEST:: SOT 376319 SOS 194080 HAS SOPS 185794 HAS SOUS 91096 HAS SOUPS 89640 WITH SCORE 89834.08
AT ITER 6120 NEW BEST:: SOT 376280 SOS 194041 HAS SOPS 185755 HAS SOUS 91044 HAS SOUPS 89588 WITH SCORE 89782.041
AT ITER 6135 NEW BEST:: SOT 376267 SOS 193900 HAS SOPS 185614 HAS SOUS 91016 HAS SOUPS 89560 WITH SCORE 89753.9
AT ITER 6141 NEW BEST:: SOT 376233 SOS 193834 HAS SOPS 185548 HAS SOUS 90965 HAS SOUPS 89509 WITH SCORE 89702.834
AT ITER 6150 NEW BEST:: SOT 376233 SOS 193834 HAS SOPS 185548 HAS SOUS 90940 HAS SOUPS 89484 WITH SCORE 89677.834
AT ITER 6155 NEW BEST:: SOT 376228 SOS 193836 HAS SOPS 185550 HAS SOUS 90937 HAS SOUPS 89481 WITH SCORE 89674.836
AT ITER 6162 NEW BEST:: SOT 376228 SOS 193760 HAS SOPS 185474 HAS SOUS 90861 HAS SOUPS 89405 WITH SCORE 89598.76
AT ITER 6165 NEW BEST:: SOT 376227 SOS 193759 HAS SOPS 185473 HAS SOUS 90859 HAS SOUPS 89403 WITH SCORE 89596.759
AT ITER 6170 NEW BEST:: SOT 376174 SOS 193653 HAS SOPS 185367 HAS SOUS 90753 HAS SOUPS 89297 WITH SCORE 89490.653
AT ITER 6204 NEW BEST:: SOT 375807 SOS 194550 HAS SOPS 186264 HAS SOUS 90614 HAS SOUPS 89158 WITH SCORE 89352.55
AT ITER 6209 NEW BEST:: SOT 375801 SOS 194544 HAS SOPS 186258 HAS SOUS 90602 HAS SOUPS 89146 WITH SCORE 89340.544
AT ITER 6226 NEW BEST:: SOT 375794 SOS 194537 HAS SOPS 186264 HAS SOUS 90573 HAS SOUPS 89127 WITH SCORE 89321.537
AT ITER 6252 NEW BEST:: SOT 375778 SOS 194490 HAS SOPS 186217 HAS SOUS 90548 HAS SOUPS 89102 WITH SCORE 89296.49
AT ITER 6278 NEW BEST:: SOT 375778 SOS 194437 HAS SOPS 186164 HAS SOUS 90547 HAS SOUPS 89101 WITH SCORE 89295.437
AT ITER 6296 NEW BEST:: SOT 375715 SOS 194453 HAS SOPS 186180 HAS SOUS 90317 HAS SOUPS 88871 WITH SCORE 89065.453
AT ITER 6329 NEW BEST:: SOT 375693 SOS 194409 HAS SOPS 186136 HAS SOUS 90273 HAS SOUPS 88827 WITH SCORE 89021.409
AT ITER 6340 NEW BEST:: SOT 375704 SOS 194441 HAS SOPS 186168 HAS SOUS 90178 HAS SOUPS 88732 WITH SCORE 88926.441
AT ITER 6342 NEW BEST:: SOT 375648 SOS 194385 HAS SOPS 186112 HAS SOUS 89997 HAS SOUPS 88551 WITH SCORE 88745.385
AT ITER 6351 NEW BEST:: SOT 375578 SOS 193500 HAS SOPS 185227 HAS SOUS 89954 HAS SOUPS 88508 WITH SCORE 88701.5
AT ITER 6353 NEW BEST:: SOT 375576 SOS 193568 HAS SOPS 185295 HAS SOUS 89793 HAS SOUPS 88347 WITH SCORE 88540.568
AT ITER 6393 NEW BEST:: SOT 375542 SOS 193585 HAS SOPS 185305 HAS SOUS 89752 HAS SOUPS 88306 WITH SCORE 88499.585
AT ITER 6397 NEW BEST:: SOT 375532 SOS 193575 HAS SOPS 185295 HAS SOUS 89660 HAS SOUPS 88214 WITH SCORE 88407.575
AT ITER 6401 NEW BEST:: SOT 375531 SOS 193406 HAS SOPS 185173 HAS SOUS 89603 HAS SOUPS 88173 WITH SCORE 88366.406
AT ITER 6402 NEW BEST:: SOT 375520 SOS 193402 HAS SOPS 185169 HAS SOUS 89599 HAS SOUPS 88169 WITH SCORE 88362.402
AT ITER 6405 NEW BEST:: SOT 375510 SOS 193367 HAS SOPS 185134 HAS SOUS 89579 HAS SOUPS 88149 WITH SCORE 88342.367
AT ITER 6443 NEW BEST:: SOT 375488 SOS 193344 HAS SOPS 185111 HAS SOUS 89535 HAS SOUPS 88105 WITH SCORE 88298.344
AT ITER 6449 NEW BEST:: SOT 375481 SOS 193328 HAS SOPS 185095 HAS SOUS 89495 HAS SOUPS 88065 WITH SCORE 88258.328
AT ITER 6452 NEW BEST:: SOT 375488 SOS 193342 HAS SOPS 185109 HAS SOUS 89425 HAS SOUPS 87995 WITH SCORE 88188.342
AT ITER 6461 NEW BEST:: SOT 375412 SOS 193152 HAS SOPS 184919 HAS SOUS 89311 HAS SOUPS 87881 WITH SCORE 88074.152
AT ITER 6546 NEW BEST:: SOT 375295 SOS 192824 HAS SOPS 184591 HAS SOUS 89059 HAS SOUPS 87629 WITH SCORE 87821.824
AT ITER 6552 NEW BEST:: SOT 375133 SOS 192662 HAS SOPS 184429 HAS SOUS 89002 HAS SOUPS 87572 WITH SCORE 87764.662
AT ITER 6571 NEW BEST:: SOT 375067 SOS 192604 HAS SOPS 184371 HAS SOUS 88909 HAS SOUPS 87479 WITH SCORE 87671.604
AT ITER 6579 NEW BEST:: SOT 375061 SOS 192592 HAS SOPS 184359 HAS SOUS 88903 HAS SOUPS 87473 WITH SCORE 87665.592
AT ITER 6602 NEW BEST:: SOT 375092 SOS 192623 HAS SOPS 184390 HAS SOUS 88884 HAS SOUPS 87454 WITH SCORE 87646.623
AT ITER 6665 NEW BEST:: SOT 375099 SOS 192772 HAS SOPS 184539 HAS SOUS 88853 HAS SOUPS 87423 WITH SCORE 87615.772
AT ITER 6692 NEW BEST:: SOT 375099 SOS 192764 HAS SOPS 184531 HAS SOUS 88853 HAS SOUPS 87423 WITH SCORE 87615.764
AT ITER 6699 NEW BEST:: SOT 375078 SOS 192335 HAS SOPS 184102 HAS SOUS 88773 HAS SOUPS 87343 WITH SCORE 87535.335
AT ITER 6725 NEW BEST:: SOT 375114 SOS 192280 HAS SOPS 184047 HAS SOUS 88692 HAS SOUPS 87262 WITH SCORE 87454.28
AT ITER 6744 NEW BEST:: SOT 375064 SOS 192230 HAS SOPS 183997 HAS SOUS 88642 HAS SOUPS 87212 WITH SCORE 87404.23
AT ITER 6748 NEW BEST:: SOT 375072 SOS 192238 HAS SOPS 183986 HAS SOUS 88620 HAS SOUPS 87190 WITH SCORE 87382.238
AT ITER 6754 NEW BEST:: SOT 374962 SOS 191979 HAS SOPS 183727 HAS SOUS 88578 HAS SOUPS 87148 WITH SCORE 87339.979
AT ITER 6776 NEW BEST:: SOT 374962 SOS 191988 HAS SOPS 183736 HAS SOUS 88569 HAS SOUPS 87139 WITH SCORE 87330.988
AT ITER 6780 NEW BEST:: SOT 374962 SOS 191988 HAS SOPS 183736 HAS SOUS 88472 HAS SOUPS 87042 WITH SCORE 87233.988
AT ITER 6789 NEW BEST:: SOT 374805 SOS 191961 HAS SOPS 183709 HAS SOUS 88308 HAS SOUPS 86878 WITH SCORE 87069.961
AT ITER 6800 NEW BEST:: SOT 374798 SOS 191948 HAS SOPS 183696 HAS SOUS 88294 HAS SOUPS 86864 WITH SCORE 87055.948
AT ITER 6810 NEW BEST:: SOT 374787 SOS 191926 HAS SOPS 183674 HAS SOUS 88283 HAS SOUPS 86853 WITH SCORE 87044.926
AT ITER 6828 NEW BEST:: SOT 374610 SOS 191771 HAS SOPS 183519 HAS SOUS 88281 HAS SOUPS 86851 WITH SCORE 87042.771
AT ITER 6855 NEW BEST:: SOT 374610 SOS 191761 HAS SOPS 183509 HAS SOUS 88271 HAS SOUPS 86841 WITH SCORE 87032.761
AT ITER 6861 NEW BEST:: SOT 374610 SOS 191761 HAS SOPS 183509 HAS SOUS 88270 HAS SOUPS 86840 WITH SCORE 87031.761
AT ITER 6873 NEW BEST:: SOT 374655 SOS 191735 HAS SOPS 183483 HAS SOUS 88248 HAS SOUPS 86818 WITH SCORE 87009.735
AT ITER 6879 NEW BEST:: SOT 374742 SOS 191822 HAS SOPS 183570 HAS SOUS 88178 HAS SOUPS 86748 WITH SCORE 86939.822
AT ITER 6964 NEW BEST:: SOT 374749 SOS 191814 HAS SOPS 183562 HAS SOUS 88153 HAS SOUPS 86723 WITH SCORE 86914.814
AT ITER 6998 NEW BEST:: SOT 374877 SOS 191621 HAS SOPS 183279 HAS SOUS 87935 HAS SOUPS 86505 WITH SCORE 86696.621
AT ITER 7006 NEW BEST:: SOT 374815 SOS 191466 HAS SOPS 183124 HAS SOUS 87747 HAS SOUPS 86317 WITH SCORE 86508.466
AT ITER 7014 NEW BEST:: SOT 374814 SOS 191465 HAS SOPS 183123 HAS SOUS 87745 HAS SOUPS 86315 WITH SCORE 86506.465
AT ITER 7058 NEW BEST:: SOT 374839 SOS 191461 HAS SOPS 183119 HAS SOUS 87712 HAS SOUPS 86282 WITH SCORE 86473.461
AT ITER 7085 NEW BEST:: SOT 374839 SOS 191461 HAS SOPS 183119 HAS SOUS 87564 HAS SOUPS 86134 WITH SCORE 86325.461
AT ITER 7102 NEW BEST:: SOT 374711 SOS 191296 HAS SOPS 182954 HAS SOUS 87435 HAS SOUPS 86005 WITH SCORE 86196.296
AT ITER 7119 NEW BEST:: SOT 374709 SOS 191294 HAS SOPS 182952 HAS SOUS 87433 HAS SOUPS 86003 WITH SCORE 86194.294
AT ITER 7152 NEW BEST:: SOT 374699 SOS 191295 HAS SOPS 182953 HAS SOUS 87402 HAS SOUPS 85972 WITH SCORE 86163.295
AT ITER 7156 NEW BEST:: SOT 374755 SOS 191365 HAS SOPS 183023 HAS SOUS 87332 HAS SOUPS 85902 WITH SCORE 86093.365
AT ITER 7160 NEW BEST:: SOT 374629 SOS 191239 HAS SOPS 182897 HAS SOUS 87206 HAS SOUPS 85776 WITH SCORE 85967.239
AT ITER 7175 NEW BEST:: SOT 374629 SOS 191262 HAS SOPS 182920 HAS SOUS 87198 HAS SOUPS 85768 WITH SCORE 85959.262
AT ITER 7201 NEW BEST:: SOT 374629 SOS 191218 HAS SOPS 182876 HAS SOUS 87163 HAS SOUPS 85733 WITH SCORE 85924.218
AT ITER 7219 NEW BEST:: SOT 374652 SOS 191099 HAS SOPS 182757 HAS SOUS 87156 HAS SOUPS 85726 WITH SCORE 85917.099
AT ITER 7222 NEW BEST:: SOT 374581 SOS 191049 HAS SOPS 182707 HAS SOUS 87003 HAS SOUPS 85573 WITH SCORE 85764.049
AT ITER 7237 NEW BEST:: SOT 374543 SOS 191011 HAS SOPS 182669 HAS SOUS 86992 HAS SOUPS 85562 WITH SCORE 85753.011
AT ITER 7248 NEW BEST:: SOT 374662 SOS 190904 HAS SOPS 182562 HAS SOUS 86885 HAS SOUPS 85455 WITH SCORE 85645.904
AT ITER 7310 NEW BEST:: SOT 374630 SOS 190776 HAS SOPS 182434 HAS SOUS 86853 HAS SOUPS 85423 WITH SCORE 85613.776
AT ITER 7343 NEW BEST:: SOT 374512 SOS 191628 HAS SOPS 183286 HAS SOUS 86824 HAS SOUPS 85394 WITH SCORE 85585.628
AT ITER 7344 NEW BEST:: SOT 374635 SOS 191751 HAS SOPS 183409 HAS SOUS 86777 HAS SOUPS 85347 WITH SCORE 85538.751
AT ITER 7349 NEW BEST:: SOT 374625 SOS 191675 HAS SOPS 183333 HAS SOUS 86757 HAS SOUPS 85327 WITH SCORE 85518.675
AT ITER 7368 NEW BEST:: SOT 374612 SOS 191662 HAS SOPS 183320 HAS SOUS 86736 HAS SOUPS 85306 WITH SCORE 85497.662
AT ITER 7384 NEW BEST:: SOT 374578 SOS 191633 HAS SOPS 183291 HAS SOUS 86707 HAS SOUPS 85277 WITH SCORE 85468.633
AT ITER 7393 NEW BEST:: SOT 374578 SOS 191633 HAS SOPS 183291 HAS SOUS 86700 HAS SOUPS 85270 WITH SCORE 85461.633
AT ITER 7428 NEW BEST:: SOT 374474 SOS 191472 HAS SOPS 183205 HAS SOUS 86654 HAS SOUPS 85224 WITH SCORE 85415.472
AT ITER 7445 NEW BEST:: SOT 374429 SOS 191427 HAS SOPS 183160 HAS SOUS 86517 HAS SOUPS 85087 WITH SCORE 85278.427
AT ITER 7446 NEW BEST:: SOT 374422 SOS 191210 HAS SOPS 182943 HAS SOUS 86476 HAS SOUPS 85046 WITH SCORE 85237.21
AT ITER 7485 NEW BEST:: SOT 374262 SOS 190970 HAS SOPS 182703 HAS SOUS 86236 HAS SOUPS 84806 WITH SCORE 84996.97
AT ITER 7497 NEW BEST:: SOT 374260 SOS 191249 HAS SOPS 182982 HAS SOUS 86091 HAS SOUPS 84661 WITH SCORE 84852.249
AT ITER 7500 NEW BEST:: SOT 374235 SOS 191238 HAS SOPS 182971 HAS SOUS 86080 HAS SOUPS 84650 WITH SCORE 84841.238
AT ITER 7563 NEW BEST:: SOT 374194 SOS 191180 HAS SOPS 182913 HAS SOUS 85974 HAS SOUPS 84544 WITH SCORE 84735.18
AT ITER 7595 NEW BEST:: SOT 374188 SOS 191343 HAS SOPS 183004 HAS SOUS 85982 HAS SOUPS 84543 WITH SCORE 84734.343
AT ITER 7620 NEW BEST:: SOT 374136 SOS 191296 HAS SOPS 182957 HAS SOUS 85843 HAS SOUPS 84404 WITH SCORE 84595.296
AT ITER 7641 NEW BEST:: SOT 374146 SOS 191311 HAS SOPS 182972 HAS SOUS 85818 HAS SOUPS 84379 WITH SCORE 84570.311
AT ITER 7688 NEW BEST:: SOT 374144 SOS 191309 HAS SOPS 182972 HAS SOUS 85818 HAS SOUPS 84379 WITH SCORE 84570.309
AT ITER 7697 NEW BEST:: SOT 374167 SOS 183848 HAS SOPS 175511 HAS SOUS 85765 HAS SOUPS 84326 WITH SCORE 84509.848
AT ITER 7732 NEW BEST:: SOT 374167 SOS 183848 HAS SOPS 175511 HAS SOUS 85762 HAS SOUPS 84323 WITH SCORE 84506.848
AT ITER 7796 NEW BEST:: SOT 374164 SOS 183801 HAS SOPS 175467 HAS SOUS 85740 HAS SOUPS 84301 WITH SCORE 84484.801
AT ITER 7819 NEW BEST:: SOT 374158 SOS 183795 HAS SOPS 175461 HAS SOUS 85706 HAS SOUPS 84267 WITH SCORE 84450.795
AT ITER 7848 NEW BEST:: SOT 374161 SOS 183798 HAS SOPS 175464 HAS SOUS 85687 HAS SOUPS 84248 WITH SCORE 84431.798
AT ITER 7869 NEW BEST:: SOT 374182 SOS 183860 HAS SOPS 175526 HAS SOUS 85642 HAS SOUPS 84203 WITH SCORE 84386.86
AT ITER 7873 NEW BEST:: SOT 374157 SOS 183835 HAS SOPS 175501 HAS SOUS 85610 HAS SOUPS 84171 WITH SCORE 84354.835
AT ITER 7904 NEW BEST:: SOT 374003 SOS 183788 HAS SOPS 175454 HAS SOUS 85404 HAS SOUPS 83965 WITH SCORE 84148.788
AT ITER 7962 NEW BEST:: SOT 373705 SOS 183532 HAS SOPS 175198 HAS SOUS 85171 HAS SOUPS 83732 WITH SCORE 83915.532
AT ITER 8037 NEW BEST:: SOT 373701 SOS 183524 HAS SOPS 175190 HAS SOUS 85166 HAS SOUPS 83727 WITH SCORE 83910.524
AT ITER 8046 NEW BEST:: SOT 373690 SOS 183513 HAS SOPS 175185 HAS SOUS 85137 HAS SOUPS 83698 WITH SCORE 83881.513
AT ITER 8085 NEW BEST:: SOT 373689 SOS 183512 HAS SOPS 175184 HAS SOUS 85135 HAS SOUPS 83696 WITH SCORE 83879.512
AT ITER 8103 NEW BEST:: SOT 373689 SOS 183512 HAS SOPS 175184 HAS SOUS 85134 HAS SOUPS 83695 WITH SCORE 83878.512
AT ITER 8152 NEW BEST:: SOT 373691 SOS 183516 HAS SOPS 175188 HAS SOUS 85127 HAS SOUPS 83688 WITH SCORE 83871.516
AT ITER 8168 NEW BEST:: SOT 373707 SOS 183637 HAS SOPS 175309 HAS SOUS 85124 HAS SOUPS 83685 WITH SCORE 83868.637
AT ITER 8183 NEW BEST:: SOT 373693 SOS 183623 HAS SOPS 175295 HAS SOUS 85096 HAS SOUPS 83657 WITH SCORE 83840.623
AT ITER 8201 NEW BEST:: SOT 373607 SOS 183553 HAS SOPS 175225 HAS SOUS 84919 HAS SOUPS 83480 WITH SCORE 83663.553
AT ITER 8212 NEW BEST:: SOT 373592 SOS 183542 HAS SOPS 175214 HAS SOUS 84908 HAS SOUPS 83469 WITH SCORE 83652.542
AT ITER 8282 NEW BEST:: SOT 373613 SOS 183509 HAS SOPS 175181 HAS SOUS 84875 HAS SOUPS 83436 WITH SCORE 83619.509
AT ITER 8292 NEW BEST:: SOT 373617 SOS 183505 HAS SOPS 175177 HAS SOUS 84871 HAS SOUPS 83432 WITH SCORE 83615.505
AT ITER 8301 NEW BEST:: SOT 373577 SOS 183435 HAS SOPS 175107 HAS SOUS 84821 HAS SOUPS 83382 WITH SCORE 83565.435
AT ITER 8314 NEW BEST:: SOT 373566 SOS 183210 HAS SOPS 174882 HAS SOUS 84805 HAS SOUPS 83366 WITH SCORE 83549.21
AT ITER 8332 NEW BEST:: SOT 373556 SOS 183200 HAS SOPS 174872 HAS SOUS 84792 HAS SOUPS 83353 WITH SCORE 83536.2
AT ITER 8343 NEW BEST:: SOT 373551 SOS 183445 HAS SOPS 175117 HAS SOUS 84787 HAS SOUPS 83348 WITH SCORE 83531.445
AT ITER 8393 NEW BEST:: SOT 373525 SOS 183546 HAS SOPS 175218 HAS SOUS 84694 HAS SOUPS 83255 WITH SCORE 83438.546
AT ITER 8395 NEW BEST:: SOT 373501 SOS 183526 HAS SOPS 175198 HAS SOUS 84674 HAS SOUPS 83235 WITH SCORE 83418.526
AT ITER 8399 NEW BEST:: SOT 373437 SOS 183462 HAS SOPS 175134 HAS SOUS 84642 HAS SOUPS 83203 WITH SCORE 83386.462
AT ITER 8411 NEW BEST:: SOT 373434 SOS 183448 HAS SOPS 175120 HAS SOUS 84632 HAS SOUPS 83193 WITH SCORE 83376.448
AT ITER 8432 NEW BEST:: SOT 373439 SOS 183429 HAS SOPS 175101 HAS SOUS 84613 HAS SOUPS 83174 WITH SCORE 83357.429
AT ITER 8447 NEW BEST:: SOT 373428 SOS 183513 HAS SOPS 175185 HAS SOUS 84557 HAS SOUPS 83118 WITH SCORE 83301.513
AT ITER 8488 NEW BEST:: SOT 373354 SOS 183439 HAS SOPS 175111 HAS SOUS 84521 HAS SOUPS 83082 WITH SCORE 83265.439
AT ITER 8546 NEW BEST:: SOT 373338 SOS 183423 HAS SOPS 175095 HAS SOUS 84485 HAS SOUPS 83046 WITH SCORE 83229.423
AT ITER 8563 NEW BEST:: SOT 373332 SOS 183393 HAS SOPS 175065 HAS SOUS 84474 HAS SOUPS 83035 WITH SCORE 83218.393
AT ITER 8585 NEW BEST:: SOT 373275 SOS 183450 HAS SOPS 175122 HAS SOUS 84417 HAS SOUPS 82978 WITH SCORE 83161.45
AT ITER 8641 NEW BEST:: SOT 373279 SOS 183456 HAS SOPS 175128 HAS SOUS 84415 HAS SOUPS 82976 WITH SCORE 83159.456
AT ITER 8660 NEW BEST:: SOT 373276 SOS 183447 HAS SOPS 175119 HAS SOUS 84409 HAS SOUPS 82970 WITH SCORE 83153.447
AT ITER 8678 NEW BEST:: SOT 373316 SOS 183124 HAS SOPS 174796 HAS SOUS 84406 HAS SOUPS 82967 WITH SCORE 83150.124
AT ITER 8682 NEW BEST:: SOT 373310 SOS 183118 HAS SOPS 174790 HAS SOUS 84400 HAS SOUPS 82961 WITH SCORE 83144.118
AT ITER 8691 NEW BEST:: SOT 373310 SOS 183081 HAS SOPS 174753 HAS SOUS 84400 HAS SOUPS 82961 WITH SCORE 83144.081
AT ITER 8699 NEW BEST:: SOT 373317 SOS 183088 HAS SOPS 174760 HAS SOUS 84390 HAS SOUPS 82951 WITH SCORE 83134.088
AT ITER 8714 NEW BEST:: SOT 373358 SOS 183222 HAS SOPS 174894 HAS SOUS 84359 HAS SOUPS 82920 WITH SCORE 83103.222
AT ITER 8721 NEW BEST:: SOT 373360 SOS 183224 HAS SOPS 174896 HAS SOUS 84351 HAS SOUPS 82912 WITH SCORE 83095.224
AT ITER 8729 NEW BEST:: SOT 373351 SOS 183215 HAS SOPS 174887 HAS SOUS 84330 HAS SOUPS 82891 WITH SCORE 83074.215
AT ITER 8799 NEW BEST:: SOT 373347 SOS 183253 HAS SOPS 174925 HAS SOUS 84322 HAS SOUPS 82883 WITH SCORE 83066.253
AT ITER 8812 NEW BEST:: SOT 373347 SOS 183033 HAS SOPS 174705 HAS SOUS 84278 HAS SOUPS 82839 WITH SCORE 83022.033
AT ITER 8847 NEW BEST:: SOT 373322 SOS 183034 HAS SOPS 174706 HAS SOUS 84260 HAS SOUPS 82821 WITH SCORE 83004.034
AT ITER 8853 NEW BEST:: SOT 373324 SOS 183044 HAS SOPS 174708 HAS SOUS 84256 HAS SOUPS 82817 WITH SCORE 83000.044
AT ITER 8864 NEW BEST:: SOT 373381 SOS 183275 HAS SOPS 174939 HAS SOUS 84254 HAS SOUPS 82815 WITH SCORE 82998.275
AT ITER 8905 NEW BEST:: SOT 373360 SOS 183254 HAS SOPS 174918 HAS SOUS 84212 HAS SOUPS 82773 WITH SCORE 82956.254
AT ITER 8912 NEW BEST:: SOT 373372 SOS 183278 HAS SOPS 174942 HAS SOUS 84193 HAS SOUPS 82754 WITH SCORE 82937.278
AT ITER 8974 NEW BEST:: SOT 373393 SOS 183653 HAS SOPS 175317 HAS SOUS 84170 HAS SOUPS 82731 WITH SCORE 82914.653
AT ITER 9000 NEW BEST:: SOT 373384 SOS 183717 HAS SOPS 175381 HAS SOUS 84115 HAS SOUPS 82676 WITH SCORE 82859.717
AT ITER 9037 NEW BEST:: SOT 373019 SOS 183334 HAS SOPS 174998 HAS SOUS 83732 HAS SOUPS 82293 WITH SCORE 82476.334
AT ITER 9094 NEW BEST:: SOT 373013 SOS 183340 HAS SOPS 175010 HAS SOUS 83730 HAS SOUPS 82291 WITH SCORE 82474.34
AT ITER 9106 NEW BEST:: SOT 373009 SOS 183910 HAS SOPS 175580 HAS SOUS 83590 HAS SOUPS 82151 WITH SCORE 82334.91
AT ITER 9178 NEW BEST:: SOT 373009 SOS 183919 HAS SOPS 175547 HAS SOUS 83557 HAS SOUPS 82118 WITH SCORE 82301.919
AT ITER 9211 NEW BEST:: SOT 372964 SOS 183736 HAS SOPS 175364 HAS SOUS 83502 HAS SOUPS 82063 WITH SCORE 82246.736
AT ITER 9224 NEW BEST:: SOT 372894 SOS 183666 HAS SOPS 175294 HAS SOUS 83482 HAS SOUPS 82043 WITH SCORE 82226.666
AT ITER 9255 NEW BEST:: SOT 372963 SOS 183735 HAS SOPS 175363 HAS SOUS 83440 HAS SOUPS 82001 WITH SCORE 82184.735
AT ITER 9271 NEW BEST:: SOT 372571 SOS 183523 HAS SOPS 175151 HAS SOUS 83370 HAS SOUPS 81931 WITH SCORE 82114.523
AT ITER 9281 NEW BEST:: SOT 372561 SOS 183513 HAS SOPS 175131 HAS SOUS 83350 HAS SOUPS 81911 WITH SCORE 82094.513
AT ITER 9308 NEW BEST:: SOT 372547 SOS 183499 HAS SOPS 175117 HAS SOUS 83336 HAS SOUPS 81897 WITH SCORE 82080.499
AT ITER 9370 NEW BEST:: SOT 372547 SOS 183481 HAS SOPS 175099 HAS SOUS 83336 HAS SOUPS 81897 WITH SCORE 82080.481
AT ITER 9388 NEW BEST:: SOT 372386 SOS 183309 HAS SOPS 174927 HAS SOUS 83246 HAS SOUPS 81807 WITH SCORE 81990.309
AT ITER 9432 NEW BEST:: SOT 372351 SOS 183241 HAS SOPS 174859 HAS SOUS 83178 HAS SOUPS 81739 WITH SCORE 81922.241
AT ITER 9439 NEW BEST:: SOT 372350 SOS 183241 HAS SOPS 174859 HAS SOUS 83177 HAS SOUPS 81738 WITH SCORE 81921.241
AT ITER 9451 NEW BEST:: SOT 372366 SOS 183213 HAS SOPS 174831 HAS SOUS 83149 HAS SOUPS 81710 WITH SCORE 81893.213
AT ITER 9480 NEW BEST:: SOT 372336 SOS 183029 HAS SOPS 174647 HAS SOUS 83102 HAS SOUPS 81663 WITH SCORE 81846.029
AT ITER 9488 NEW BEST:: SOT 372350 SOS 183001 HAS SOPS 174619 HAS SOUS 83095 HAS SOUPS 81656 WITH SCORE 81839.001
AT ITER 9522 NEW BEST:: SOT 372399 SOS 183009 HAS SOPS 174627 HAS SOUS 83050 HAS SOUPS 81611 WITH SCORE 81794.009
AT ITER 9539 NEW BEST:: SOT 372416 SOS 182948 HAS SOPS 174572 HAS SOUS 83049 HAS SOUPS 81610 WITH SCORE 81792.948
AT ITER 9542 NEW BEST:: SOT 372391 SOS 182941 HAS SOPS 174565 HAS SOUS 83026 HAS SOUPS 81587 WITH SCORE 81769.941
AT ITER 9592 NEW BEST:: SOT 372391 SOS 182971 HAS SOPS 174595 HAS SOUS 83006 HAS SOUPS 81567 WITH SCORE 81749.971
AT ITER 9598 NEW BEST:: SOT 372374 SOS 183311 HAS SOPS 174935 HAS SOUS 82972 HAS SOUPS 81533 WITH SCORE 81716.311
AT ITER 9603 NEW BEST:: SOT 372373 SOS 183309 HAS SOPS 174933 HAS SOUS 82970 HAS SOUPS 81531 WITH SCORE 81714.309
AT ITER 9642 NEW BEST:: SOT 372337 SOS 183291 HAS SOPS 174915 HAS SOUS 82924 HAS SOUPS 81485 WITH SCORE 81668.291
AT ITER 9653 NEW BEST:: SOT 372388 SOS 183320 HAS SOPS 174944 HAS SOUS 82816 HAS SOUPS 81377 WITH SCORE 81560.32
AT ITER 9741 NEW BEST:: SOT 372319 SOS 182619 HAS SOPS 174243 HAS SOUS 82735 HAS SOUPS 81296 WITH SCORE 81478.619
AT ITER 9797 NEW BEST:: SOT 372296 SOS 182596 HAS SOPS 174204 HAS SOUS 82714 HAS SOUPS 81264 WITH SCORE 81446.596
AT ITER 9806 NEW BEST:: SOT 372403 SOS 182777 HAS SOPS 174385 HAS SOUS 82595 HAS SOUPS 81145 WITH SCORE 81327.777
AT ITER 9824 NEW BEST:: SOT 372393 SOS 182784 HAS SOPS 174392 HAS SOUS 82562 HAS SOUPS 81112 WITH SCORE 81294.784
AT ITER 9839 NEW BEST:: SOT 372282 SOS 182673 HAS SOPS 174281 HAS SOUS 82535 HAS SOUPS 81085 WITH SCORE 81267.673
AT ITER 9853 NEW BEST:: SOT 372246 SOS 182637 HAS SOPS 174245 HAS SOUS 82499 HAS SOUPS 81049 WITH SCORE 81231.637
AT ITER 9882 NEW BEST:: SOT 372243 SOS 182617 HAS SOPS 174222 HAS SOUS 82473 HAS SOUPS 81023 WITH SCORE 81205.617
AT ITER 9898 NEW BEST:: SOT 372243 SOS 182593 HAS SOPS 174198 HAS SOUS 82434 HAS SOUPS 80984 WITH SCORE 81166.593
AT ITER 9904 NEW BEST:: SOT 372182 SOS 182544 HAS SOPS 174149 HAS SOUS 82386 HAS SOUPS 80936 WITH SCORE 81118.544
AT ITER 9918 NEW BEST:: SOT 371866 SOS 182250 HAS SOPS 173855 HAS SOUS 82025 HAS SOUPS 80575 WITH SCORE 80757.25
AT ITER 9922 NEW BEST:: SOT 371619 SOS 184600 HAS SOPS 176038 HAS SOUS 82005 HAS SOUPS 80555 WITH SCORE 80739.6
AT ITER 9960 NEW BEST:: SOT 371548 SOS 184610 HAS SOPS 176048 HAS SOUS 81892 HAS SOUPS 80442 WITH SCORE 80626.61
AT ITER 9988 NEW BEST:: SOT 371578 SOS 184719 HAS SOPS 176157 HAS SOUS 81884 HAS SOUPS 80434 WITH SCORE 80618.719
STATE_SPACE STATES 16693 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 62 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 31534 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678788288765
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S02J04T08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is PolyORBLF-COL-S02J04T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942800360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J04T08.tgz
mv PolyORBLF-COL-S02J04T08 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 '
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 ;