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.r011-oct2-167813599600040.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599600040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 896K
-rw-r--r-- 1 mcc users 6.4K Feb 26 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 13:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 13:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 108K Feb 26 13:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 417K Mar 5 18:22 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 1678719251217

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-02b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 14:54:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 14:54:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 14:54:13] [INFO ] Load time of PNML (sax parser for PT used): 116 ms
[2023-03-13 14:54:13] [INFO ] Transformed 1242 places.
[2023-03-13 14:54:13] [INFO ] Transformed 1621 transitions.
[2023-03-13 14:54:13] [INFO ] Found NUPN structural information;
[2023-03-13 14:54:13] [INFO ] Parsed PT model containing 1242 places and 1621 transitions and 5041 arcs in 197 ms.
[2023-03-13 14:54:13] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1242 places, 1621 transitions and 5041 arcs took 22 ms.
Total runtime 257 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1242 places, 1621 transitions, 5041 arcs.
AT ITER 0 NEW BEST:: SOT 1196856 SOS 402698 HAS SOPS 402698 HAS SOUS 312631 HAS SOUPS 312631 WITH SCORE 313033.698
AT ITER 3 NEW BEST:: SOT 1196856 SOS 402567 HAS SOPS 402567 HAS SOUS 312430 HAS SOUPS 312430 WITH SCORE 312832.567
AT ITER 7 NEW BEST:: SOT 1196692 SOS 403715 HAS SOPS 403715 HAS SOUS 312266 HAS SOUPS 312266 WITH SCORE 312669.715
AT ITER 10 NEW BEST:: SOT 1196613 SOS 403079 HAS SOPS 403079 HAS SOUS 312104 HAS SOUPS 312104 WITH SCORE 312507.079
AT ITER 25 NEW BEST:: SOT 1192732 SOS 406734 HAS SOPS 406734 HAS SOUS 309130 HAS SOUPS 309130 WITH SCORE 309536.734
AT ITER 31 NEW BEST:: SOT 1192631 SOS 406532 HAS SOPS 406532 HAS SOUS 308888 HAS SOUPS 308888 WITH SCORE 309294.532
AT ITER 40 NEW BEST:: SOT 1192345 SOS 406101 HAS SOPS 406101 HAS SOUS 308457 HAS SOUPS 308457 WITH SCORE 308863.101
AT ITER 42 NEW BEST:: SOT 1192345 SOS 406032 HAS SOPS 406032 HAS SOUS 308457 HAS SOUPS 308457 WITH SCORE 308863.032
AT ITER 45 NEW BEST:: SOT 1192215 SOS 405772 HAS SOPS 405772 HAS SOUS 308197 HAS SOUPS 308197 WITH SCORE 308602.772
AT ITER 50 NEW BEST:: SOT 1192121 SOS 405593 HAS SOPS 405593 HAS SOUS 308131 HAS SOUPS 308131 WITH SCORE 308536.593
AT ITER 55 NEW BEST:: SOT 1192121 SOS 405365 HAS SOPS 405365 HAS SOUS 308123 HAS SOUPS 308123 WITH SCORE 308528.365
AT ITER 66 NEW BEST:: SOT 1192121 SOS 405297 HAS SOPS 405297 HAS SOUS 308122 HAS SOUPS 308122 WITH SCORE 308527.297
AT ITER 67 NEW BEST:: SOT 1192119 SOS 405284 HAS SOPS 405284 HAS SOUS 308109 HAS SOUPS 308109 WITH SCORE 308514.284
AT ITER 69 NEW BEST:: SOT 1192119 SOS 405153 HAS SOPS 405153 HAS SOUS 307978 HAS SOUPS 307978 WITH SCORE 308383.153
AT ITER 82 NEW BEST:: SOT 1192119 SOS 405349 HAS SOPS 405349 HAS SOUS 307964 HAS SOUPS 307964 WITH SCORE 308369.349
AT ITER 84 NEW BEST:: SOT 1191843 SOS 405064 HAS SOPS 405064 HAS SOUS 307671 HAS SOUPS 307671 WITH SCORE 308076.064
AT ITER 90 NEW BEST:: SOT 1191146 SOS 403551 HAS SOPS 403551 HAS SOUS 307018 HAS SOUPS 307018 WITH SCORE 307421.551
AT ITER 117 NEW BEST:: SOT 1191146 SOS 403337 HAS SOPS 403337 HAS SOUS 306944 HAS SOUPS 306944 WITH SCORE 307347.337
AT ITER 129 NEW BEST:: SOT 1191146 SOS 403212 HAS SOPS 403212 HAS SOUS 306944 HAS SOUPS 306944 WITH SCORE 307347.212
AT ITER 139 NEW BEST:: SOT 1191048 SOS 403122 HAS SOPS 403122 HAS SOUS 306910 HAS SOUPS 306910 WITH SCORE 307313.122
AT ITER 149 NEW BEST:: SOT 1190436 SOS 402890 HAS SOPS 402890 HAS SOUS 306678 HAS SOUPS 306678 WITH SCORE 307080.89
AT ITER 155 NEW BEST:: SOT 1190346 SOS 403125 HAS SOPS 403125 HAS SOUS 306634 HAS SOUPS 306634 WITH SCORE 307037.125
AT ITER 160 NEW BEST:: SOT 1190278 SOS 403100 HAS SOPS 403100 HAS SOUS 306632 HAS SOUPS 306632 WITH SCORE 307035.1
AT ITER 164 NEW BEST:: SOT 1189978 SOS 402800 HAS SOPS 402800 HAS SOUS 306332 HAS SOUPS 306332 WITH SCORE 306734.8
AT ITER 167 NEW BEST:: SOT 1189921 SOS 402724 HAS SOPS 402724 HAS SOUS 306256 HAS SOUPS 306256 WITH SCORE 306658.724
AT ITER 170 NEW BEST:: SOT 1189834 SOS 402550 HAS SOPS 402550 HAS SOUS 306082 HAS SOUPS 306082 WITH SCORE 306484.55
AT ITER 174 NEW BEST:: SOT 1189342 SOS 402550 HAS SOPS 402550 HAS SOUS 305754 HAS SOUPS 305754 WITH SCORE 306156.55
AT ITER 178 NEW BEST:: SOT 1189200 SOS 402525 HAS SOPS 402525 HAS SOUS 305729 HAS SOUPS 305729 WITH SCORE 306131.525
AT ITER 199 NEW BEST:: SOT 1188251 SOS 401496 HAS SOPS 401496 HAS SOUS 304577 HAS SOUPS 304577 WITH SCORE 304978.496
AT ITER 205 NEW BEST:: SOT 1188251 SOS 401448 HAS SOPS 401448 HAS SOUS 304571 HAS SOUPS 304571 WITH SCORE 304972.448
AT ITER 209 NEW BEST:: SOT 1188250 SOS 401446 HAS SOPS 401446 HAS SOUS 304566 HAS SOUPS 304566 WITH SCORE 304967.446
AT ITER 210 NEW BEST:: SOT 1188242 SOS 401430 HAS SOPS 401430 HAS SOUS 304550 HAS SOUPS 304550 WITH SCORE 304951.43
AT ITER 215 NEW BEST:: SOT 1188048 SOS 401389 HAS SOPS 401389 HAS SOUS 304505 HAS SOUPS 304505 WITH SCORE 304906.389
AT ITER 223 NEW BEST:: SOT 1184268 SOS 398111 HAS SOPS 398111 HAS SOUS 304504 HAS SOUPS 304504 WITH SCORE 304902.111
AT ITER 230 NEW BEST:: SOT 1184341 SOS 398198 HAS SOPS 398198 HAS SOUS 304500 HAS SOUPS 304500 WITH SCORE 304898.198
AT ITER 233 NEW BEST:: SOT 1184241 SOS 397836 HAS SOPS 397836 HAS SOUS 304300 HAS SOUPS 304300 WITH SCORE 304697.836
AT ITER 238 NEW BEST:: SOT 1184062 SOS 397601 HAS SOPS 397601 HAS SOUS 304065 HAS SOUPS 304065 WITH SCORE 304462.601
AT ITER 249 NEW BEST:: SOT 1183645 SOS 397323 HAS SOPS 397323 HAS SOUS 303787 HAS SOUPS 303787 WITH SCORE 304184.323
AT ITER 266 NEW BEST:: SOT 1183540 SOS 396945 HAS SOPS 396945 HAS SOUS 303577 HAS SOUPS 303577 WITH SCORE 303973.945
AT ITER 290 NEW BEST:: SOT 1183576 SOS 397017 HAS SOPS 397017 HAS SOUS 303475 HAS SOUPS 303475 WITH SCORE 303872.017
AT ITER 298 NEW BEST:: SOT 1183072 SOS 396651 HAS SOPS 396651 HAS SOUS 303109 HAS SOUPS 303109 WITH SCORE 303505.651
AT ITER 304 NEW BEST:: SOT 1183072 SOS 396555 HAS SOPS 396555 HAS SOUS 303109 HAS SOUPS 303109 WITH SCORE 303505.555
AT ITER 305 NEW BEST:: SOT 1182978 SOS 396975 HAS SOPS 396975 HAS SOUS 303032 HAS SOUPS 303032 WITH SCORE 303428.975
AT ITER 310 NEW BEST:: SOT 1182978 SOS 396955 HAS SOPS 396955 HAS SOUS 303012 HAS SOUPS 303012 WITH SCORE 303408.955
AT ITER 312 NEW BEST:: SOT 1182971 SOS 396953 HAS SOPS 396953 HAS SOUS 303010 HAS SOUPS 303010 WITH SCORE 303406.953
AT ITER 333 NEW BEST:: SOT 1181374 SOS 399974 HAS SOPS 399974 HAS SOUS 302096 HAS SOUPS 302096 WITH SCORE 302495.974
AT ITER 341 NEW BEST:: SOT 1181244 SOS 401658 HAS SOPS 401658 HAS SOUS 302079 HAS SOUPS 302079 WITH SCORE 302480.658
AT ITER 344 NEW BEST:: SOT 1181104 SOS 401727 HAS SOPS 401727 HAS SOUS 302020 HAS SOUPS 302020 WITH SCORE 302421.727
AT ITER 349 NEW BEST:: SOT 1181103 SOS 401721 HAS SOPS 401721 HAS SOUS 302014 HAS SOUPS 302014 WITH SCORE 302415.721
AT ITER 353 NEW BEST:: SOT 1181103 SOS 401719 HAS SOPS 401719 HAS SOUS 301886 HAS SOUPS 301886 WITH SCORE 302287.719
AT ITER 354 NEW BEST:: SOT 1180952 SOS 401575 HAS SOPS 401575 HAS SOUS 301742 HAS SOUPS 301742 WITH SCORE 302143.575
AT ITER 363 NEW BEST:: SOT 1180637 SOS 401162 HAS SOPS 401162 HAS SOUS 301122 HAS SOUPS 301122 WITH SCORE 301523.162
AT ITER 364 NEW BEST:: SOT 1180637 SOS 401389 HAS SOPS 401389 HAS SOUS 301117 HAS SOUPS 301117 WITH SCORE 301518.389
AT ITER 366 NEW BEST:: SOT 1180640 SOS 401362 HAS SOPS 401362 HAS SOUS 301090 HAS SOUPS 301090 WITH SCORE 301491.362
AT ITER 369 NEW BEST:: SOT 1180640 SOS 401360 HAS SOPS 401360 HAS SOUS 301088 HAS SOUPS 301088 WITH SCORE 301489.36
AT ITER 398 NEW BEST:: SOT 1180610 SOS 401305 HAS SOPS 401305 HAS SOUS 301033 HAS SOUPS 301033 WITH SCORE 301434.305
AT ITER 399 NEW BEST:: SOT 1180486 SOS 401615 HAS SOPS 401615 HAS SOUS 300971 HAS SOUPS 300971 WITH SCORE 301372.615
AT ITER 401 NEW BEST:: SOT 1180407 SOS 401351 HAS SOPS 401351 HAS SOUS 300585 HAS SOUPS 300585 WITH SCORE 300986.351
AT ITER 412 NEW BEST:: SOT 1178884 SOS 401538 HAS SOPS 401538 HAS SOUS 299637 HAS SOUPS 299637 WITH SCORE 300038.538
AT ITER 416 NEW BEST:: SOT 1178821 SOS 401412 HAS SOPS 401412 HAS SOUS 299511 HAS SOUPS 299511 WITH SCORE 299912.412
AT ITER 431 NEW BEST:: SOT 1178774 SOS 401572 HAS SOPS 401572 HAS SOUS 299509 HAS SOUPS 299509 WITH SCORE 299910.572
AT ITER 448 NEW BEST:: SOT 1178774 SOS 401326 HAS SOPS 401326 HAS SOUS 299473 HAS SOUPS 299473 WITH SCORE 299874.326
AT ITER 452 NEW BEST:: SOT 1178826 SOS 401407 HAS SOPS 401407 HAS SOUS 299471 HAS SOUPS 299471 WITH SCORE 299872.407
AT ITER 458 NEW BEST:: SOT 1178649 SOS 401174 HAS SOPS 401174 HAS SOUS 299238 HAS SOUPS 299238 WITH SCORE 299639.174
AT ITER 464 NEW BEST:: SOT 1178618 SOS 401135 HAS SOPS 401135 HAS SOUS 299206 HAS SOUPS 299206 WITH SCORE 299607.135
AT ITER 479 NEW BEST:: SOT 1178510 SOS 400943 HAS SOPS 400943 HAS SOUS 299076 HAS SOUPS 299076 WITH SCORE 299476.943
AT ITER 494 NEW BEST:: SOT 1177086 SOS 401217 HAS SOPS 401217 HAS SOUS 297858 HAS SOUPS 297858 WITH SCORE 298259.217
AT ITER 519 NEW BEST:: SOT 1177131 SOS 402553 HAS SOPS 402553 HAS SOUS 297678 HAS SOUPS 297678 WITH SCORE 298080.553
AT ITER 527 NEW BEST:: SOT 1177017 SOS 402468 HAS SOPS 402468 HAS SOUS 297668 HAS SOUPS 297668 WITH SCORE 298070.468
AT ITER 547 NEW BEST:: SOT 1177004 SOS 402455 HAS SOPS 402455 HAS SOUS 297653 HAS SOUPS 297653 WITH SCORE 298055.455
AT ITER 590 NEW BEST:: SOT 1173925 SOS 399399 HAS SOPS 399399 HAS SOUS 294597 HAS SOUPS 294597 WITH SCORE 294996.399
AT ITER 592 NEW BEST:: SOT 1173749 SOS 398952 HAS SOPS 398952 HAS SOUS 294419 HAS SOUPS 294419 WITH SCORE 294817.952
AT ITER 602 NEW BEST:: SOT 1173655 SOS 398634 HAS SOPS 398634 HAS SOUS 294337 HAS SOUPS 294337 WITH SCORE 294735.634
AT ITER 604 NEW BEST:: SOT 1173649 SOS 398625 HAS SOPS 398625 HAS SOUS 294331 HAS SOUPS 294331 WITH SCORE 294729.625
AT ITER 607 NEW BEST:: SOT 1173649 SOS 398479 HAS SOPS 398479 HAS SOUS 294295 HAS SOUPS 294295 WITH SCORE 294693.479
AT ITER 611 NEW BEST:: SOT 1173707 SOS 398302 HAS SOPS 398302 HAS SOUS 294118 HAS SOUPS 294118 WITH SCORE 294516.302
AT ITER 617 NEW BEST:: SOT 1173606 SOS 397977 HAS SOPS 397977 HAS SOUS 293900 HAS SOUPS 293900 WITH SCORE 294297.977
AT ITER 631 NEW BEST:: SOT 1173446 SOS 397657 HAS SOPS 397657 HAS SOUS 293580 HAS SOUPS 293580 WITH SCORE 293977.657
AT ITER 647 NEW BEST:: SOT 1173398 SOS 397636 HAS SOPS 397636 HAS SOUS 293484 HAS SOUPS 293484 WITH SCORE 293881.636
AT ITER 649 NEW BEST:: SOT 1173485 SOS 397427 HAS SOPS 397427 HAS SOUS 293275 HAS SOUPS 293275 WITH SCORE 293672.427
AT ITER 655 NEW BEST:: SOT 1173485 SOS 397420 HAS SOPS 397420 HAS SOUS 293274 HAS SOUPS 293274 WITH SCORE 293671.42
AT ITER 659 NEW BEST:: SOT 1173421 SOS 397340 HAS SOPS 397340 HAS SOUS 293200 HAS SOUPS 293200 WITH SCORE 293597.34
AT ITER 663 NEW BEST:: SOT 1173421 SOS 397332 HAS SOPS 397332 HAS SOUS 293199 HAS SOUPS 293199 WITH SCORE 293596.332
AT ITER 667 NEW BEST:: SOT 1173421 SOS 397277 HAS SOPS 397277 HAS SOUS 293143 HAS SOUPS 293143 WITH SCORE 293540.277
AT ITER 675 NEW BEST:: SOT 1173420 SOS 397737 HAS SOPS 397737 HAS SOUS 293141 HAS SOUPS 293141 WITH SCORE 293538.737
AT ITER 682 NEW BEST:: SOT 1173392 SOS 397686 HAS SOPS 397686 HAS SOUS 293066 HAS SOUPS 293066 WITH SCORE 293463.686
AT ITER 685 NEW BEST:: SOT 1173392 SOS 397685 HAS SOPS 397685 HAS SOUS 293065 HAS SOUPS 293065 WITH SCORE 293462.685
AT ITER 710 NEW BEST:: SOT 1173307 SOS 397534 HAS SOPS 397534 HAS SOUS 292300 HAS SOUPS 292300 WITH SCORE 292697.534
AT ITER 712 NEW BEST:: SOT 1173263 SOS 397183 HAS SOPS 397183 HAS SOUS 292194 HAS SOUPS 292194 WITH SCORE 292591.183
AT ITER 716 NEW BEST:: SOT 1173077 SOS 396993 HAS SOPS 396993 HAS SOUS 291991 HAS SOUPS 291991 WITH SCORE 292387.993
AT ITER 726 NEW BEST:: SOT 1173077 SOS 397033 HAS SOPS 397033 HAS SOUS 291948 HAS SOUPS 291948 WITH SCORE 292345.033
AT ITER 728 NEW BEST:: SOT 1173077 SOS 396082 HAS SOPS 396082 HAS SOUS 291838 HAS SOUPS 291838 WITH SCORE 292234.082
AT ITER 746 NEW BEST:: SOT 1173077 SOS 396082 HAS SOPS 396082 HAS SOUS 291832 HAS SOUPS 291832 WITH SCORE 292228.082
AT ITER 753 NEW BEST:: SOT 1173086 SOS 395995 HAS SOPS 395995 HAS SOUS 291752 HAS SOUPS 291752 WITH SCORE 292147.995
AT ITER 754 NEW BEST:: SOT 1173086 SOS 395984 HAS SOPS 395984 HAS SOUS 291752 HAS SOUPS 291752 WITH SCORE 292147.984
AT ITER 757 NEW BEST:: SOT 1173086 SOS 395978 HAS SOPS 395978 HAS SOUS 291752 HAS SOUPS 291752 WITH SCORE 292147.978
AT ITER 762 NEW BEST:: SOT 1173052 SOS 395944 HAS SOPS 395944 HAS SOUS 291717 HAS SOUPS 291717 WITH SCORE 292112.944
AT ITER 769 NEW BEST:: SOT 1172923 SOS 395858 HAS SOPS 395858 HAS SOUS 291631 HAS SOUPS 291631 WITH SCORE 292026.858
AT ITER 782 NEW BEST:: SOT 1172935 SOS 395995 HAS SOPS 395995 HAS SOUS 291579 HAS SOUPS 291579 WITH SCORE 291974.995
AT ITER 805 NEW BEST:: SOT 1172935 SOS 395881 HAS SOPS 395881 HAS SOUS 291579 HAS SOUPS 291579 WITH SCORE 291974.881
AT ITER 812 NEW BEST:: SOT 1172849 SOS 395545 HAS SOPS 395545 HAS SOUS 291243 HAS SOUPS 291243 WITH SCORE 291638.545
AT ITER 816 NEW BEST:: SOT 1172849 SOS 395674 HAS SOPS 395674 HAS SOUS 291242 HAS SOUPS 291242 WITH SCORE 291637.674
AT ITER 817 NEW BEST:: SOT 1172848 SOS 395352 HAS SOPS 395352 HAS SOUS 291240 HAS SOUPS 291240 WITH SCORE 291635.352
AT ITER 823 NEW BEST:: SOT 1172392 SOS 395010 HAS SOPS 395010 HAS SOUS 290898 HAS SOUPS 290898 WITH SCORE 291293.01
AT ITER 832 NEW BEST:: SOT 1167597 SOS 390606 HAS SOPS 390606 HAS SOUS 290555 HAS SOUPS 290555 WITH SCORE 290945.606
AT ITER 835 NEW BEST:: SOT 1166815 SOS 391322 HAS SOPS 391322 HAS SOUS 290239 HAS SOUPS 290239 WITH SCORE 290630.322
AT ITER 844 NEW BEST:: SOT 1166811 SOS 391314 HAS SOPS 391314 HAS SOUS 290231 HAS SOUPS 290231 WITH SCORE 290622.314
AT ITER 846 NEW BEST:: SOT 1166757 SOS 391784 HAS SOPS 391784 HAS SOUS 289625 HAS SOUPS 289625 WITH SCORE 290016.784
AT ITER 861 NEW BEST:: SOT 1166609 SOS 391574 HAS SOPS 391574 HAS SOUS 289349 HAS SOUPS 289349 WITH SCORE 289740.574
AT ITER 863 NEW BEST:: SOT 1166303 SOS 391262 HAS SOPS 391262 HAS SOUS 289037 HAS SOUPS 289037 WITH SCORE 289428.262
AT ITER 878 NEW BEST:: SOT 1166051 SOS 390610 HAS SOPS 390610 HAS SOUS 288371 HAS SOUPS 288371 WITH SCORE 288761.61
AT ITER 887 NEW BEST:: SOT 1166051 SOS 391070 HAS SOPS 391070 HAS SOUS 288308 HAS SOUPS 288308 WITH SCORE 288699.07
AT ITER 898 NEW BEST:: SOT 1166041 SOS 391060 HAS SOPS 391060 HAS SOUS 288288 HAS SOUPS 288288 WITH SCORE 288679.06
AT ITER 920 NEW BEST:: SOT 1166013 SOS 390955 HAS SOPS 390955 HAS SOUS 288269 HAS SOUPS 288269 WITH SCORE 288659.955
AT ITER 922 NEW BEST:: SOT 1165948 SOS 390905 HAS SOPS 390905 HAS SOUS 288256 HAS SOUPS 288256 WITH SCORE 288646.905
AT ITER 937 NEW BEST:: SOT 1165926 SOS 390883 HAS SOPS 390883 HAS SOUS 288110 HAS SOUPS 288110 WITH SCORE 288500.883
AT ITER 956 NEW BEST:: SOT 1165809 SOS 390649 HAS SOPS 390649 HAS SOUS 287876 HAS SOUPS 287876 WITH SCORE 288266.649
AT ITER 988 NEW BEST:: SOT 1165804 SOS 390994 HAS SOPS 390994 HAS SOUS 287864 HAS SOUPS 287864 WITH SCORE 288254.994
AT ITER 994 NEW BEST:: SOT 1166072 SOS 391116 HAS SOPS 391116 HAS SOUS 287592 HAS SOUPS 287592 WITH SCORE 287983.116
AT ITER 996 NEW BEST:: SOT 1166072 SOS 390942 HAS SOPS 390942 HAS SOUS 287505 HAS SOUPS 287505 WITH SCORE 287895.942
AT ITER 1008 NEW BEST:: SOT 1165762 SOS 390554 HAS SOPS 390554 HAS SOUS 287363 HAS SOUPS 287363 WITH SCORE 287753.554
AT ITER 1012 NEW BEST:: SOT 1165763 SOS 390474 HAS SOPS 390474 HAS SOUS 287283 HAS SOUPS 287283 WITH SCORE 287673.474
AT ITER 1013 NEW BEST:: SOT 1165057 SOS 389515 HAS SOPS 389515 HAS SOUS 286694 HAS SOUPS 286694 WITH SCORE 287083.515
AT ITER 1021 NEW BEST:: SOT 1165070 SOS 389443 HAS SOPS 389443 HAS SOUS 286692 HAS SOUPS 286692 WITH SCORE 287081.443
AT ITER 1026 NEW BEST:: SOT 1164955 SOS 389328 HAS SOPS 389328 HAS SOUS 286587 HAS SOUPS 286587 WITH SCORE 286976.328
AT ITER 1038 NEW BEST:: SOT 1164954 SOS 389326 HAS SOPS 389326 HAS SOUS 286585 HAS SOUPS 286585 WITH SCORE 286974.326
AT ITER 1042 NEW BEST:: SOT 1164953 SOS 389324 HAS SOPS 389324 HAS SOUS 286583 HAS SOUPS 286583 WITH SCORE 286972.324
AT ITER 1072 NEW BEST:: SOT 1164953 SOS 388800 HAS SOPS 388800 HAS SOUS 286583 HAS SOUPS 286583 WITH SCORE 286971.8
AT ITER 1073 NEW BEST:: SOT 1164894 SOS 388687 HAS SOPS 388687 HAS SOUS 286465 HAS SOUPS 286465 WITH SCORE 286853.687
AT ITER 1085 NEW BEST:: SOT 1164894 SOS 388656 HAS SOPS 388656 HAS SOUS 286465 HAS SOUPS 286465 WITH SCORE 286853.656
AT ITER 1103 NEW BEST:: SOT 1164894 SOS 388655 HAS SOPS 388655 HAS SOUS 286464 HAS SOUPS 286464 WITH SCORE 286852.655
AT ITER 1108 NEW BEST:: SOT 1164808 SOS 388590 HAS SOPS 388590 HAS SOUS 286418 HAS SOUPS 286418 WITH SCORE 286806.59
AT ITER 1124 NEW BEST:: SOT 1164295 SOS 387056 HAS SOPS 387056 HAS SOUS 285699 HAS SOUPS 285699 WITH SCORE 286086.056
AT ITER 1138 NEW BEST:: SOT 1164220 SOS 386831 HAS SOPS 386831 HAS SOUS 285474 HAS SOUPS 285474 WITH SCORE 285860.831
AT ITER 1142 NEW BEST:: SOT 1164053 SOS 386687 HAS SOPS 386687 HAS SOUS 285330 HAS SOUPS 285330 WITH SCORE 285716.687
AT ITER 1152 NEW BEST:: SOT 1164011 SOS 386603 HAS SOPS 386603 HAS SOUS 285246 HAS SOUPS 285246 WITH SCORE 285632.603
AT ITER 1156 NEW BEST:: SOT 1163919 SOS 386419 HAS SOPS 386419 HAS SOUS 285062 HAS SOUPS 285062 WITH SCORE 285448.419
AT ITER 1183 NEW BEST:: SOT 1163842 SOS 386188 HAS SOPS 386188 HAS SOUS 284908 HAS SOUPS 284908 WITH SCORE 285294.188
AT ITER 1187 NEW BEST:: SOT 1163842 SOS 386010 HAS SOPS 386010 HAS SOUS 284853 HAS SOUPS 284853 WITH SCORE 285239.01
AT ITER 1195 NEW BEST:: SOT 1163842 SOS 385995 HAS SOPS 385995 HAS SOUS 284851 HAS SOUPS 284851 WITH SCORE 285236.995
AT ITER 1212 NEW BEST:: SOT 1163770 SOS 385779 HAS SOPS 385779 HAS SOUS 284777 HAS SOUPS 284777 WITH SCORE 285162.779
AT ITER 1229 NEW BEST:: SOT 1163533 SOS 385547 HAS SOPS 385547 HAS SOUS 284545 HAS SOUPS 284545 WITH SCORE 284930.547
AT ITER 1232 NEW BEST:: SOT 1164252 SOS 386355 HAS SOPS 386355 HAS SOUS 284476 HAS SOUPS 284476 WITH SCORE 284862.355
AT ITER 1270 NEW BEST:: SOT 1164256 SOS 386357 HAS SOPS 386357 HAS SOUS 284472 HAS SOUPS 284472 WITH SCORE 284858.357
AT ITER 1274 NEW BEST:: SOT 1164278 SOS 386523 HAS SOPS 386523 HAS SOUS 283711 HAS SOUPS 283711 WITH SCORE 284097.523
AT ITER 1276 NEW BEST:: SOT 1164147 SOS 386363 HAS SOPS 386363 HAS SOUS 282735 HAS SOUPS 282735 WITH SCORE 283121.363
AT ITER 1282 NEW BEST:: SOT 1162828 SOS 388661 HAS SOPS 388661 HAS SOUS 282504 HAS SOUPS 282504 WITH SCORE 282892.661
AT ITER 1290 NEW BEST:: SOT 1162828 SOS 389037 HAS SOPS 389037 HAS SOUS 282497 HAS SOUPS 282497 WITH SCORE 282886.037
AT ITER 1300 NEW BEST:: SOT 1162856 SOS 389093 HAS SOPS 389093 HAS SOUS 282472 HAS SOUPS 282472 WITH SCORE 282861.093
AT ITER 1303 NEW BEST:: SOT 1162824 SOS 388879 HAS SOPS 388879 HAS SOUS 282439 HAS SOUPS 282439 WITH SCORE 282827.879
AT ITER 1308 NEW BEST:: SOT 1162703 SOS 387881 HAS SOPS 387881 HAS SOUS 282401 HAS SOUPS 282401 WITH SCORE 282788.881
AT ITER 1318 NEW BEST:: SOT 1161874 SOS 386904 HAS SOPS 386904 HAS SOUS 282394 HAS SOUPS 282394 WITH SCORE 282780.904
AT ITER 1325 NEW BEST:: SOT 1161760 SOS 386830 HAS SOPS 386830 HAS SOUS 282320 HAS SOUPS 282320 WITH SCORE 282706.83
AT ITER 1341 NEW BEST:: SOT 1161754 SOS 386818 HAS SOPS 386818 HAS SOUS 282296 HAS SOUPS 282296 WITH SCORE 282682.818
AT ITER 1366 NEW BEST:: SOT 1161671 SOS 386092 HAS SOPS 386092 HAS SOUS 282062 HAS SOUPS 282062 WITH SCORE 282448.092
AT ITER 1374 NEW BEST:: SOT 1161646 SOS 386066 HAS SOPS 386066 HAS SOUS 282033 HAS SOUPS 282033 WITH SCORE 282419.066
AT ITER 1384 NEW BEST:: SOT 1161400 SOS 386049 HAS SOPS 386049 HAS SOUS 281770 HAS SOUPS 281770 WITH SCORE 282156.049
AT ITER 1389 NEW BEST:: SOT 1161187 SOS 385711 HAS SOPS 385711 HAS SOUS 281432 HAS SOUPS 281432 WITH SCORE 281817.711
AT ITER 1405 NEW BEST:: SOT 1161187 SOS 385640 HAS SOPS 385640 HAS SOUS 281361 HAS SOUPS 281361 WITH SCORE 281746.64
AT ITER 1443 NEW BEST:: SOT 1160895 SOS 385515 HAS SOPS 385515 HAS SOUS 281236 HAS SOUPS 281236 WITH SCORE 281621.515
AT ITER 1444 NEW BEST:: SOT 1160836 SOS 385866 HAS SOPS 385866 HAS SOUS 281152 HAS SOUPS 281152 WITH SCORE 281537.866
AT ITER 1467 NEW BEST:: SOT 1160826 SOS 385121 HAS SOPS 385121 HAS SOUS 280979 HAS SOUPS 280979 WITH SCORE 281364.121
AT ITER 1470 NEW BEST:: SOT 1160790 SOS 384702 HAS SOPS 384702 HAS SOUS 280786 HAS SOUPS 280786 WITH SCORE 281170.702
AT ITER 1475 NEW BEST:: SOT 1160772 SOS 384629 HAS SOPS 384629 HAS SOUS 280767 HAS SOUPS 280767 WITH SCORE 281151.629
AT ITER 1482 NEW BEST:: SOT 1160863 SOS 384409 HAS SOPS 384409 HAS SOUS 280763 HAS SOUPS 280763 WITH SCORE 281147.409
AT ITER 1489 NEW BEST:: SOT 1160835 SOS 384430 HAS SOPS 384430 HAS SOUS 280686 HAS SOUPS 280686 WITH SCORE 281070.43
AT ITER 1510 NEW BEST:: SOT 1161036 SOS 384318 HAS SOPS 384318 HAS SOUS 280579 HAS SOUPS 280579 WITH SCORE 280963.318
AT ITER 1516 NEW BEST:: SOT 1160957 SOS 384274 HAS SOPS 384274 HAS SOUS 280535 HAS SOUPS 280535 WITH SCORE 280919.274
AT ITER 1529 NEW BEST:: SOT 1160581 SOS 384399 HAS SOPS 384399 HAS SOUS 280244 HAS SOUPS 280244 WITH SCORE 280628.399
AT ITER 1539 NEW BEST:: SOT 1160580 SOS 384350 HAS SOPS 384350 HAS SOUS 280223 HAS SOUPS 280223 WITH SCORE 280607.35
AT ITER 1564 NEW BEST:: SOT 1160579 SOS 384341 HAS SOPS 384341 HAS SOUS 280214 HAS SOUPS 280214 WITH SCORE 280598.341
AT ITER 1572 NEW BEST:: SOT 1160366 SOS 384128 HAS SOPS 384128 HAS SOUS 280001 HAS SOUPS 280001 WITH SCORE 280385.128
AT ITER 1581 NEW BEST:: SOT 1160327 SOS 384011 HAS SOPS 384011 HAS SOUS 279922 HAS SOUPS 279922 WITH SCORE 280306.011
AT ITER 1585 NEW BEST:: SOT 1160362 SOS 383443 HAS SOPS 383443 HAS SOUS 279624 HAS SOUPS 279624 WITH SCORE 280007.443
AT ITER 1587 NEW BEST:: SOT 1160362 SOS 383031 HAS SOPS 383031 HAS SOUS 279418 HAS SOUPS 279418 WITH SCORE 279801.031
AT ITER 1618 NEW BEST:: SOT 1160360 SOS 383027 HAS SOPS 383027 HAS SOUS 279414 HAS SOUPS 279414 WITH SCORE 279797.027
AT ITER 1627 NEW BEST:: SOT 1160315 SOS 382982 HAS SOPS 382982 HAS SOUS 279356 HAS SOUPS 279356 WITH SCORE 279738.982
AT ITER 1634 NEW BEST:: SOT 1160293 SOS 382980 HAS SOPS 382980 HAS SOUS 279333 HAS SOUPS 279333 WITH SCORE 279715.98
AT ITER 1637 NEW BEST:: SOT 1160285 SOS 382972 HAS SOPS 382972 HAS SOUS 279317 HAS SOUPS 279317 WITH SCORE 279699.972
AT ITER 1647 NEW BEST:: SOT 1160570 SOS 383312 HAS SOPS 383312 HAS SOUS 278793 HAS SOUPS 278793 WITH SCORE 279176.312
AT ITER 1650 NEW BEST:: SOT 1160570 SOS 383281 HAS SOPS 383281 HAS SOUS 278762 HAS SOUPS 278762 WITH SCORE 279145.281
AT ITER 1660 NEW BEST:: SOT 1160479 SOS 383008 HAS SOPS 383008 HAS SOUS 278489 HAS SOUPS 278489 WITH SCORE 278872.008
AT ITER 1674 NEW BEST:: SOT 1160160 SOS 382644 HAS SOPS 382644 HAS SOUS 278125 HAS SOUPS 278125 WITH SCORE 278507.644
AT ITER 1690 NEW BEST:: SOT 1160103 SOS 382541 HAS SOPS 382541 HAS SOUS 278021 HAS SOUPS 278021 WITH SCORE 278403.541
AT ITER 1696 NEW BEST:: SOT 1160103 SOS 382498 HAS SOPS 382498 HAS SOUS 278021 HAS SOUPS 278021 WITH SCORE 278403.498
AT ITER 1697 NEW BEST:: SOT 1160102 SOS 382496 HAS SOPS 382496 HAS SOUS 278019 HAS SOUPS 278019 WITH SCORE 278401.496
AT ITER 1701 NEW BEST:: SOT 1160017 SOS 382326 HAS SOPS 382326 HAS SOUS 277849 HAS SOUPS 277849 WITH SCORE 278231.326
AT ITER 1730 NEW BEST:: SOT 1159491 SOS 381973 HAS SOPS 381973 HAS SOUS 277553 HAS SOUPS 277553 WITH SCORE 277934.973
AT ITER 1737 NEW BEST:: SOT 1159490 SOS 381765 HAS SOPS 381765 HAS SOUS 277551 HAS SOUPS 277551 WITH SCORE 277932.765
AT ITER 1738 NEW BEST:: SOT 1159490 SOS 381763 HAS SOPS 381763 HAS SOUS 277547 HAS SOUPS 277547 WITH SCORE 277928.763
AT ITER 1746 NEW BEST:: SOT 1159541 SOS 381789 HAS SOPS 381789 HAS SOUS 277479 HAS SOUPS 277479 WITH SCORE 277860.789
AT ITER 1748 NEW BEST:: SOT 1158037 SOS 380728 HAS SOPS 380728 HAS SOUS 276129 HAS SOUPS 276129 WITH SCORE 276509.728
AT ITER 1759 NEW BEST:: SOT 1158016 SOS 380686 HAS SOPS 380686 HAS SOUS 276087 HAS SOUPS 276087 WITH SCORE 276467.686
AT ITER 1765 NEW BEST:: SOT 1157810 SOS 380264 HAS SOPS 380264 HAS SOUS 276023 HAS SOUPS 276023 WITH SCORE 276403.264
AT ITER 1776 NEW BEST:: SOT 1157692 SOS 380264 HAS SOPS 380264 HAS SOUS 275957 HAS SOUPS 275957 WITH SCORE 276337.264
AT ITER 1782 NEW BEST:: SOT 1157635 SOS 380207 HAS SOPS 380207 HAS SOUS 275900 HAS SOUPS 275900 WITH SCORE 276280.207
AT ITER 1785 NEW BEST:: SOT 1157582 SOS 379864 HAS SOPS 379864 HAS SOUS 275884 HAS SOUPS 275884 WITH SCORE 276263.864
AT ITER 1796 NEW BEST:: SOT 1157604 SOS 379860 HAS SOPS 379860 HAS SOUS 275879 HAS SOUPS 275879 WITH SCORE 276258.86
AT ITER 1798 NEW BEST:: SOT 1160386 SOS 382783 HAS SOPS 382783 HAS SOUS 274211 HAS SOUPS 274211 WITH SCORE 274593.783
AT ITER 1800 NEW BEST:: SOT 1160386 SOS 382781 HAS SOPS 382781 HAS SOUS 274209 HAS SOUPS 274209 WITH SCORE 274591.781
AT ITER 1802 NEW BEST:: SOT 1159884 SOS 383432 HAS SOPS 383432 HAS SOUS 274014 HAS SOUPS 274014 WITH SCORE 274397.432
AT ITER 1808 NEW BEST:: SOT 1159277 SOS 384793 HAS SOPS 384793 HAS SOUS 273756 HAS SOUPS 273756 WITH SCORE 274140.793
AT ITER 1812 NEW BEST:: SOT 1160223 SOS 388685 HAS SOPS 388685 HAS SOUS 269934 HAS SOUPS 269934 WITH SCORE 270322.685
AT ITER 1814 NEW BEST:: SOT 1160163 SOS 388492 HAS SOPS 388492 HAS SOUS 269789 HAS SOUPS 269789 WITH SCORE 270177.492
AT ITER 1815 NEW BEST:: SOT 1160166 SOS 388466 HAS SOPS 388466 HAS SOUS 269779 HAS SOUPS 269779 WITH SCORE 270167.466
AT ITER 1819 NEW BEST:: SOT 1160166 SOS 387453 HAS SOPS 387453 HAS SOUS 269779 HAS SOUPS 269779 WITH SCORE 270166.453
AT ITER 1845 NEW BEST:: SOT 1160123 SOS 387367 HAS SOPS 387367 HAS SOUS 269693 HAS SOUPS 269693 WITH SCORE 270080.367
AT ITER 1851 NEW BEST:: SOT 1160035 SOS 387279 HAS SOPS 387279 HAS SOUS 269605 HAS SOUPS 269605 WITH SCORE 269992.279
AT ITER 1857 NEW BEST:: SOT 1160035 SOS 387279 HAS SOPS 387279 HAS SOUS 269457 HAS SOUPS 269457 WITH SCORE 269844.279
AT ITER 1866 NEW BEST:: SOT 1159951 SOS 384751 HAS SOPS 384751 HAS SOUS 269289 HAS SOUPS 269289 WITH SCORE 269673.751
AT ITER 1868 NEW BEST:: SOT 1159359 SOS 384451 HAS SOPS 384451 HAS SOUS 268696 HAS SOUPS 268696 WITH SCORE 269080.451
AT ITER 1897 NEW BEST:: SOT 1159187 SOS 384319 HAS SOPS 384319 HAS SOUS 268564 HAS SOUPS 268564 WITH SCORE 268948.319
AT ITER 1912 NEW BEST:: SOT 1159037 SOS 384996 HAS SOPS 384996 HAS SOUS 268496 HAS SOUPS 268496 WITH SCORE 268880.996
AT ITER 1920 NEW BEST:: SOT 1158682 SOS 384329 HAS SOPS 384329 HAS SOUS 267829 HAS SOUPS 267829 WITH SCORE 268213.329
AT ITER 1934 NEW BEST:: SOT 1158682 SOS 384257 HAS SOPS 384257 HAS SOUS 267757 HAS SOUPS 267757 WITH SCORE 268141.257
AT ITER 1938 NEW BEST:: SOT 1158421 SOS 383723 HAS SOPS 383723 HAS SOUS 267484 HAS SOUPS 267484 WITH SCORE 267867.723
AT ITER 1940 NEW BEST:: SOT 1157000 SOS 382360 HAS SOPS 382360 HAS SOUS 266132 HAS SOUPS 266132 WITH SCORE 266514.36
AT ITER 1968 NEW BEST:: SOT 1157296 SOS 379375 HAS SOPS 379375 HAS SOUS 266010 HAS SOUPS 266010 WITH SCORE 266389.375
AT ITER 1974 NEW BEST:: SOT 1157287 SOS 379357 HAS SOPS 379357 HAS SOUS 265992 HAS SOUPS 265992 WITH SCORE 266371.357
AT ITER 1995 NEW BEST:: SOT 1157221 SOS 379221 HAS SOPS 379221 HAS SOUS 265856 HAS SOUPS 265856 WITH SCORE 266235.221
AT ITER 1997 NEW BEST:: SOT 1157222 SOS 379438 HAS SOPS 379438 HAS SOUS 265849 HAS SOUPS 265849 WITH SCORE 266228.438
AT ITER 2009 NEW BEST:: SOT 1157218 SOS 379434 HAS SOPS 379434 HAS SOUS 265845 HAS SOUPS 265845 WITH SCORE 266224.434
AT ITER 2021 NEW BEST:: SOT 1156828 SOS 379846 HAS SOPS 379846 HAS SOUS 265705 HAS SOUPS 265705 WITH SCORE 266084.846
AT ITER 2026 NEW BEST:: SOT 1156828 SOS 379637 HAS SOPS 379637 HAS SOUS 265658 HAS SOUPS 265658 WITH SCORE 266037.637
AT ITER 2039 NEW BEST:: SOT 1157145 SOS 375746 HAS SOPS 375746 HAS SOUS 265607 HAS SOUPS 265607 WITH SCORE 265982.746
AT ITER 2057 NEW BEST:: SOT 1157029 SOS 375629 HAS SOPS 375629 HAS SOUS 265553 HAS SOUPS 265553 WITH SCORE 265928.629
AT ITER 2058 NEW BEST:: SOT 1157029 SOS 374807 HAS SOPS 374807 HAS SOUS 265553 HAS SOUPS 265553 WITH SCORE 265927.807
AT ITER 2070 NEW BEST:: SOT 1157028 SOS 374700 HAS SOPS 374700 HAS SOUS 265551 HAS SOUPS 265551 WITH SCORE 265925.7
AT ITER 2071 NEW BEST:: SOT 1156692 SOS 374682 HAS SOPS 374682 HAS SOUS 265533 HAS SOUPS 265533 WITH SCORE 265907.682
AT ITER 2079 NEW BEST:: SOT 1160987 SOS 383207 HAS SOPS 383207 HAS SOUS 265148 HAS SOUPS 265148 WITH SCORE 265531.207
AT ITER 2093 NEW BEST:: SOT 1160987 SOS 383464 HAS SOPS 383464 HAS SOUS 265132 HAS SOUPS 265132 WITH SCORE 265515.464
AT ITER 2096 NEW BEST:: SOT 1159466 SOS 382797 HAS SOPS 382797 HAS SOUS 263921 HAS SOUPS 263921 WITH SCORE 264303.797
AT ITER 2125 NEW BEST:: SOT 1159331 SOS 382620 HAS SOPS 382620 HAS SOUS 263732 HAS SOUPS 263732 WITH SCORE 264114.62
AT ITER 2129 NEW BEST:: SOT 1159081 SOS 382119 HAS SOPS 382119 HAS SOUS 263232 HAS SOUPS 263232 WITH SCORE 263614.119
AT ITER 2132 NEW BEST:: SOT 1159024 SOS 382069 HAS SOPS 382069 HAS SOUS 263182 HAS SOUPS 263182 WITH SCORE 263564.069
AT ITER 2138 NEW BEST:: SOT 1159045 SOS 382028 HAS SOPS 382028 HAS SOUS 263141 HAS SOUPS 263141 WITH SCORE 263523.028
AT ITER 2148 NEW BEST:: SOT 1158789 SOS 380776 HAS SOPS 380776 HAS SOUS 262688 HAS SOUPS 262688 WITH SCORE 263068.776
AT ITER 2166 NEW BEST:: SOT 1158733 SOS 380692 HAS SOPS 380692 HAS SOUS 262604 HAS SOUPS 262604 WITH SCORE 262984.692
AT ITER 2179 NEW BEST:: SOT 1158617 SOS 380460 HAS SOPS 380460 HAS SOUS 262372 HAS SOUPS 262372 WITH SCORE 262752.46
AT ITER 2186 NEW BEST:: SOT 1158576 SOS 380409 HAS SOPS 380409 HAS SOUS 262321 HAS SOUPS 262321 WITH SCORE 262701.409
AT ITER 2188 NEW BEST:: SOT 1158519 SOS 380245 HAS SOPS 380245 HAS SOUS 262264 HAS SOUPS 262264 WITH SCORE 262644.245
AT ITER 2199 NEW BEST:: SOT 1158519 SOS 378585 HAS SOPS 378585 HAS SOUS 262264 HAS SOUPS 262264 WITH SCORE 262642.585
AT ITER 2214 NEW BEST:: SOT 1158422 SOS 378294 HAS SOPS 378294 HAS SOUS 261973 HAS SOUPS 261973 WITH SCORE 262351.294
AT ITER 2215 NEW BEST:: SOT 1158541 SOS 378427 HAS SOPS 378427 HAS SOUS 261746 HAS SOUPS 261746 WITH SCORE 262124.427
AT ITER 2225 NEW BEST:: SOT 1158131 SOS 378136 HAS SOPS 378136 HAS SOUS 261442 HAS SOUPS 261442 WITH SCORE 261820.136
AT ITER 2232 NEW BEST:: SOT 1158130 SOS 378134 HAS SOPS 378134 HAS SOUS 261440 HAS SOUPS 261440 WITH SCORE 261818.134
AT ITER 2235 NEW BEST:: SOT 1157965 SOS 377798 HAS SOPS 377798 HAS SOUS 260774 HAS SOUPS 260774 WITH SCORE 261151.798
AT ITER 2241 NEW BEST:: SOT 1157973 SOS 377877 HAS SOPS 377877 HAS SOUS 260761 HAS SOUPS 260761 WITH SCORE 261138.877
AT ITER 2242 NEW BEST:: SOT 1157905 SOS 377675 HAS SOPS 377675 HAS SOUS 260617 HAS SOUPS 260617 WITH SCORE 260994.675
AT ITER 2259 NEW BEST:: SOT 1157887 SOS 377621 HAS SOPS 377621 HAS SOUS 260581 HAS SOUPS 260581 WITH SCORE 260958.621
AT ITER 2272 NEW BEST:: SOT 1157887 SOS 377459 HAS SOPS 377459 HAS SOUS 260581 HAS SOUPS 260581 WITH SCORE 260958.459
AT ITER 2277 NEW BEST:: SOT 1157763 SOS 377211 HAS SOPS 377211 HAS SOUS 260363 HAS SOUPS 260363 WITH SCORE 260740.211
AT ITER 2286 NEW BEST:: SOT 1157689 SOS 376958 HAS SOPS 376958 HAS SOUS 260286 HAS SOUPS 260286 WITH SCORE 260662.958
AT ITER 2308 NEW BEST:: SOT 1157686 SOS 376955 HAS SOPS 376955 HAS SOUS 260283 HAS SOUPS 260283 WITH SCORE 260659.955
AT ITER 2323 NEW BEST:: SOT 1157685 SOS 376953 HAS SOPS 376953 HAS SOUS 260281 HAS SOUPS 260281 WITH SCORE 260657.953
AT ITER 2369 NEW BEST:: SOT 1157599 SOS 376781 HAS SOPS 376781 HAS SOUS 260109 HAS SOUPS 260109 WITH SCORE 260485.781
AT ITER 2383 NEW BEST:: SOT 1157599 SOS 376781 HAS SOPS 376781 HAS SOUS 259905 HAS SOUPS 259905 WITH SCORE 260281.781
AT ITER 2389 NEW BEST:: SOT 1157207 SOS 376155 HAS SOPS 376155 HAS SOUS 259189 HAS SOUPS 259189 WITH SCORE 259565.155
AT ITER 2395 NEW BEST:: SOT 1157207 SOS 376282 HAS SOPS 376282 HAS SOUS 258159 HAS SOUPS 258159 WITH SCORE 258535.282
AT ITER 2421 NEW BEST:: SOT 1157200 SOS 376092 HAS SOPS 376092 HAS SOUS 257992 HAS SOUPS 257992 WITH SCORE 258368.092
AT ITER 2426 NEW BEST:: SOT 1157142 SOS 376002 HAS SOPS 376002 HAS SOUS 257902 HAS SOUPS 257902 WITH SCORE 258278.002
AT ITER 2429 NEW BEST:: SOT 1157142 SOS 375790 HAS SOPS 375790 HAS SOUS 257690 HAS SOUPS 257690 WITH SCORE 258065.79
AT ITER 2441 NEW BEST:: SOT 1157024 SOS 376159 HAS SOPS 376159 HAS SOUS 257661 HAS SOUPS 257661 WITH SCORE 258037.159
AT ITER 2448 NEW BEST:: SOT 1156987 SOS 377394 HAS SOPS 377394 HAS SOUS 257553 HAS SOUPS 257553 WITH SCORE 257930.394
AT ITER 2458 NEW BEST:: SOT 1156987 SOS 377278 HAS SOPS 377278 HAS SOUS 257437 HAS SOUPS 257437 WITH SCORE 257814.278
AT ITER 2459 NEW BEST:: SOT 1156987 SOS 377161 HAS SOPS 377161 HAS SOUS 257421 HAS SOUPS 257421 WITH SCORE 257798.161
AT ITER 2463 NEW BEST:: SOT 1156873 SOS 377106 HAS SOPS 377106 HAS SOUS 257366 HAS SOUPS 257366 WITH SCORE 257743.106
AT ITER 2465 NEW BEST:: SOT 1156775 SOS 377018 HAS SOPS 377018 HAS SOUS 257278 HAS SOUPS 257278 WITH SCORE 257655.018
AT ITER 2491 NEW BEST:: SOT 1156653 SOS 376717 HAS SOPS 376717 HAS SOUS 257162 HAS SOUPS 257162 WITH SCORE 257538.717
AT ITER 2493 NEW BEST:: SOT 1156501 SOS 376506 HAS SOPS 376506 HAS SOUS 256917 HAS SOUPS 256917 WITH SCORE 257293.506
AT ITER 2497 NEW BEST:: SOT 1156468 SOS 376440 HAS SOPS 376440 HAS SOUS 256851 HAS SOUPS 256851 WITH SCORE 257227.44
AT ITER 2498 NEW BEST:: SOT 1156409 SOS 376331 HAS SOPS 376331 HAS SOUS 256742 HAS SOUPS 256742 WITH SCORE 257118.331
AT ITER 2505 NEW BEST:: SOT 1156408 SOS 376329 HAS SOPS 376329 HAS SOUS 256740 HAS SOUPS 256740 WITH SCORE 257116.329
AT ITER 2511 NEW BEST:: SOT 1156323 SOS 375309 HAS SOPS 375309 HAS SOUS 256570 HAS SOUPS 256570 WITH SCORE 256945.309
AT ITER 2518 NEW BEST:: SOT 1156169 SOS 375361 HAS SOPS 375361 HAS SOUS 256506 HAS SOUPS 256506 WITH SCORE 256881.361
AT ITER 2572 NEW BEST:: SOT 1156103 SOS 375229 HAS SOPS 375229 HAS SOUS 256361 HAS SOUPS 256361 WITH SCORE 256736.229
AT ITER 2587 NEW BEST:: SOT 1156103 SOS 375201 HAS SOPS 375201 HAS SOUS 256361 HAS SOUPS 256361 WITH SCORE 256736.201
AT ITER 2592 NEW BEST:: SOT 1156094 SOS 375192 HAS SOPS 375192 HAS SOUS 256343 HAS SOUPS 256343 WITH SCORE 256718.192
AT ITER 2611 NEW BEST:: SOT 1155894 SOS 375172 HAS SOPS 375172 HAS SOUS 256343 HAS SOUPS 256343 WITH SCORE 256718.172
AT ITER 2616 NEW BEST:: SOT 1155884 SOS 375119 HAS SOPS 375119 HAS SOUS 256314 HAS SOUPS 256314 WITH SCORE 256689.119
AT ITER 2628 NEW BEST:: SOT 1155922 SOS 375195 HAS SOPS 375195 HAS SOUS 256235 HAS SOUPS 256235 WITH SCORE 256610.195
AT ITER 2651 NEW BEST:: SOT 1155743 SOS 374658 HAS SOPS 374658 HAS SOUS 255877 HAS SOUPS 255877 WITH SCORE 256251.658
AT ITER 2657 NEW BEST:: SOT 1155784 SOS 374614 HAS SOPS 374614 HAS SOUS 255833 HAS SOUPS 255833 WITH SCORE 256207.614
AT ITER 2672 NEW BEST:: SOT 1155474 SOS 375236 HAS SOPS 375236 HAS SOUS 255794 HAS SOUPS 255794 WITH SCORE 256169.236
AT ITER 2686 NEW BEST:: SOT 1155318 SOS 375080 HAS SOPS 375080 HAS SOUS 255638 HAS SOUPS 255638 WITH SCORE 256013.08
AT ITER 2689 NEW BEST:: SOT 1155349 SOS 375019 HAS SOPS 375019 HAS SOUS 255554 HAS SOUPS 255554 WITH SCORE 255929.019
AT ITER 2692 NEW BEST:: SOT 1155099 SOS 374929 HAS SOPS 374929 HAS SOUS 255441 HAS SOUPS 255441 WITH SCORE 255815.929
AT ITER 2696 NEW BEST:: SOT 1155016 SOS 374800 HAS SOPS 374800 HAS SOUS 255311 HAS SOUPS 255311 WITH SCORE 255685.8
AT ITER 2698 NEW BEST:: SOT 1154852 SOS 374495 HAS SOPS 374495 HAS SOUS 255194 HAS SOUPS 255194 WITH SCORE 255568.495
AT ITER 2729 NEW BEST:: SOT 1154851 SOS 374457 HAS SOPS 374457 HAS SOUS 255155 HAS SOUPS 255155 WITH SCORE 255529.457
AT ITER 2738 NEW BEST:: SOT 1154789 SOS 374395 HAS SOPS 374395 HAS SOUS 255091 HAS SOUPS 255091 WITH SCORE 255465.395
AT ITER 2754 NEW BEST:: SOT 1154780 SOS 374314 HAS SOPS 374314 HAS SOUS 255069 HAS SOUPS 255069 WITH SCORE 255443.314
AT ITER 2778 NEW BEST:: SOT 1154708 SOS 374127 HAS SOPS 374127 HAS SOUS 254881 HAS SOUPS 254881 WITH SCORE 255255.127
AT ITER 2789 NEW BEST:: SOT 1154708 SOS 374095 HAS SOPS 374095 HAS SOUS 254877 HAS SOUPS 254877 WITH SCORE 255251.095
AT ITER 2801 NEW BEST:: SOT 1154385 SOS 373772 HAS SOPS 373772 HAS SOUS 254554 HAS SOUPS 254554 WITH SCORE 254927.772
AT ITER 2829 NEW BEST:: SOT 1154336 SOS 373673 HAS SOPS 373673 HAS SOUS 254455 HAS SOUPS 254455 WITH SCORE 254828.673
AT ITER 2833 NEW BEST:: SOT 1154336 SOS 373672 HAS SOPS 373672 HAS SOUS 254454 HAS SOUPS 254454 WITH SCORE 254827.672
AT ITER 2836 NEW BEST:: SOT 1153996 SOS 373358 HAS SOPS 373358 HAS SOUS 254408 HAS SOUPS 254408 WITH SCORE 254781.358
AT ITER 2851 NEW BEST:: SOT 1153865 SOS 373087 HAS SOPS 373087 HAS SOUS 254274 HAS SOUPS 254274 WITH SCORE 254647.087
AT ITER 2905 NEW BEST:: SOT 1153642 SOS 372496 HAS SOPS 372496 HAS SOUS 253774 HAS SOUPS 253774 WITH SCORE 254146.496
AT ITER 2915 NEW BEST:: SOT 1153628 SOS 372482 HAS SOPS 372482 HAS SOUS 253774 HAS SOUPS 253774 WITH SCORE 254146.482
AT ITER 2927 NEW BEST:: SOT 1153572 SOS 372370 HAS SOPS 372370 HAS SOUS 253662 HAS SOUPS 253662 WITH SCORE 254034.37
AT ITER 2932 NEW BEST:: SOT 1153521 SOS 372337 HAS SOPS 372337 HAS SOUS 253629 HAS SOUPS 253629 WITH SCORE 254001.337
AT ITER 2939 NEW BEST:: SOT 1153504 SOS 372293 HAS SOPS 372293 HAS SOUS 253585 HAS SOUPS 253585 WITH SCORE 253957.293
AT ITER 2940 NEW BEST:: SOT 1153332 SOS 372121 HAS SOPS 372121 HAS SOUS 253359 HAS SOUPS 253359 WITH SCORE 253731.121
AT ITER 2949 NEW BEST:: SOT 1153448 SOS 371901 HAS SOPS 371901 HAS SOUS 253340 HAS SOUPS 253340 WITH SCORE 253711.901
AT ITER 2971 NEW BEST:: SOT 1153598 SOS 371705 HAS SOPS 371705 HAS SOUS 253186 HAS SOUPS 253186 WITH SCORE 253557.705
AT ITER 2974 NEW BEST:: SOT 1149634 SOS 368235 HAS SOPS 368235 HAS SOUS 253163 HAS SOUPS 253163 WITH SCORE 253531.235
AT ITER 3005 NEW BEST:: SOT 1149593 SOS 368068 HAS SOPS 368068 HAS SOUS 252996 HAS SOUPS 252996 WITH SCORE 253364.068
AT ITER 3013 NEW BEST:: SOT 1149510 SOS 367941 HAS SOPS 367941 HAS SOUS 252869 HAS SOUPS 252869 WITH SCORE 253236.941
AT ITER 3014 NEW BEST:: SOT 1149519 SOS 367938 HAS SOPS 367938 HAS SOUS 252866 HAS SOUPS 252866 WITH SCORE 253233.938
AT ITER 3015 NEW BEST:: SOT 1149446 SOS 367844 HAS SOPS 367844 HAS SOUS 252699 HAS SOUPS 252699 WITH SCORE 253066.844
AT ITER 3051 NEW BEST:: SOT 1149459 SOS 367774 HAS SOPS 367774 HAS SOUS 252629 HAS SOUPS 252629 WITH SCORE 252996.774
AT ITER 3078 NEW BEST:: SOT 1149450 SOS 367641 HAS SOPS 367641 HAS SOUS 252589 HAS SOUPS 252589 WITH SCORE 252956.641
AT ITER 3096 NEW BEST:: SOT 1149319 SOS 367131 HAS SOPS 367131 HAS SOUS 252079 HAS SOUPS 252079 WITH SCORE 252446.131
AT ITER 3098 NEW BEST:: SOT 1149260 SOS 365743 HAS SOPS 365743 HAS SOUS 252041 HAS SOUPS 252041 WITH SCORE 252406.743
AT ITER 3121 NEW BEST:: SOT 1149260 SOS 365691 HAS SOPS 365691 HAS SOUS 251989 HAS SOUPS 251989 WITH SCORE 252354.691
AT ITER 3123 NEW BEST:: SOT 1149105 SOS 365536 HAS SOPS 365536 HAS SOUS 251834 HAS SOUPS 251834 WITH SCORE 252199.536
AT ITER 3126 NEW BEST:: SOT 1149130 SOS 365507 HAS SOPS 365507 HAS SOUS 251805 HAS SOUPS 251805 WITH SCORE 252170.507
AT ITER 3150 NEW BEST:: SOT 1149065 SOS 365320 HAS SOPS 365320 HAS SOUS 251562 HAS SOUPS 251562 WITH SCORE 251927.32
AT ITER 3156 NEW BEST:: SOT 1149052 SOS 365242 HAS SOPS 365242 HAS SOUS 251523 HAS SOUPS 251523 WITH SCORE 251888.242
AT ITER 3163 NEW BEST:: SOT 1149052 SOS 365241 HAS SOPS 365241 HAS SOUS 251522 HAS SOUPS 251522 WITH SCORE 251887.241
AT ITER 3177 NEW BEST:: SOT 1149051 SOS 365239 HAS SOPS 365239 HAS SOUS 251520 HAS SOUPS 251520 WITH SCORE 251885.239
AT ITER 3188 NEW BEST:: SOT 1148955 SOS 365120 HAS SOPS 365120 HAS SOUS 251419 HAS SOUPS 251419 WITH SCORE 251784.12
AT ITER 3222 NEW BEST:: SOT 1148790 SOS 364970 HAS SOPS 364970 HAS SOUS 251269 HAS SOUPS 251269 WITH SCORE 251633.97
AT ITER 3228 NEW BEST:: SOT 1148797 SOS 364971 HAS SOPS 364971 HAS SOUS 251263 HAS SOUPS 251263 WITH SCORE 251627.971
AT ITER 3252 NEW BEST:: SOT 1148699 SOS 365890 HAS SOPS 365890 HAS SOUS 251210 HAS SOUPS 251210 WITH SCORE 251575.89
AT ITER 3266 NEW BEST:: SOT 1147792 SOS 364760 HAS SOPS 364760 HAS SOUS 250080 HAS SOUPS 250080 WITH SCORE 250444.76
AT ITER 3273 NEW BEST:: SOT 1147791 SOS 364758 HAS SOPS 364758 HAS SOUS 250078 HAS SOUPS 250078 WITH SCORE 250442.758
AT ITER 3281 NEW BEST:: SOT 1147806 SOS 364744 HAS SOPS 364744 HAS SOUS 249973 HAS SOUPS 249973 WITH SCORE 250337.744
AT ITER 3283 NEW BEST:: SOT 1147489 SOS 364696 HAS SOPS 364696 HAS SOUS 249681 HAS SOUPS 249681 WITH SCORE 250045.696
AT ITER 3310 NEW BEST:: SOT 1147653 SOS 364643 HAS SOPS 364643 HAS SOUS 249628 HAS SOUPS 249628 WITH SCORE 249992.643
AT ITER 3313 NEW BEST:: SOT 1147648 SOS 364590 HAS SOPS 364590 HAS SOUS 249475 HAS SOUPS 249475 WITH SCORE 249839.59
AT ITER 3328 NEW BEST:: SOT 1147598 SOS 366404 HAS SOPS 366404 HAS SOUS 249375 HAS SOUPS 249375 WITH SCORE 249741.404
AT ITER 3334 NEW BEST:: SOT 1147614 SOS 366412 HAS SOPS 366412 HAS SOUS 249203 HAS SOUPS 249203 WITH SCORE 249569.412
AT ITER 3336 NEW BEST:: SOT 1145384 SOS 364150 HAS SOPS 364150 HAS SOUS 246941 HAS SOUPS 246941 WITH SCORE 247305.15
AT ITER 3357 NEW BEST:: SOT 1145316 SOS 364149 HAS SOPS 364149 HAS SOUS 246920 HAS SOUPS 246920 WITH SCORE 247284.149
AT ITER 3360 NEW BEST:: SOT 1145070 SOS 363551 HAS SOPS 363551 HAS SOUS 246344 HAS SOUPS 246344 WITH SCORE 246707.551
AT ITER 3372 NEW BEST:: SOT 1145070 SOS 363551 HAS SOPS 363551 HAS SOUS 246197 HAS SOUPS 246197 WITH SCORE 246560.551
AT ITER 3380 NEW BEST:: SOT 1144999 SOS 364484 HAS SOPS 364484 HAS SOUS 246140 HAS SOUPS 246140 WITH SCORE 246504.484
AT ITER 3385 NEW BEST:: SOT 1144850 SOS 364469 HAS SOPS 364469 HAS SOUS 246121 HAS SOUPS 246121 WITH SCORE 246485.469
AT ITER 3388 NEW BEST:: SOT 1144710 SOS 364399 HAS SOPS 364399 HAS SOUS 245981 HAS SOUPS 245981 WITH SCORE 246345.399
AT ITER 3456 NEW BEST:: SOT 1144861 SOS 364392 HAS SOPS 364392 HAS SOUS 245973 HAS SOUPS 245973 WITH SCORE 246337.392
AT ITER 3467 NEW BEST:: SOT 1144854 SOS 364094 HAS SOPS 364094 HAS SOUS 245970 HAS SOUPS 245970 WITH SCORE 246334.094
AT ITER 3491 NEW BEST:: SOT 1144743 SOS 363966 HAS SOPS 363966 HAS SOUS 245842 HAS SOUPS 245842 WITH SCORE 246205.966
AT ITER 3498 NEW BEST:: SOT 1144743 SOS 363912 HAS SOPS 363912 HAS SOUS 245842 HAS SOUPS 245842 WITH SCORE 246205.912
AT ITER 3500 NEW BEST:: SOT 1144743 SOS 363993 HAS SOPS 363993 HAS SOUS 245761 HAS SOUPS 245761 WITH SCORE 246124.993
AT ITER 3555 NEW BEST:: SOT 1144743 SOS 363831 HAS SOPS 363831 HAS SOUS 245725 HAS SOUPS 245725 WITH SCORE 246088.831
AT ITER 3569 NEW BEST:: SOT 1144743 SOS 363979 HAS SOPS 363979 HAS SOUS 245686 HAS SOUPS 245686 WITH SCORE 246049.979
AT ITER 3573 NEW BEST:: SOT 1144790 SOS 363898 HAS SOPS 363898 HAS SOUS 245600 HAS SOUPS 245600 WITH SCORE 245963.898
AT ITER 3578 NEW BEST:: SOT 1144779 SOS 363876 HAS SOPS 363876 HAS SOUS 245578 HAS SOUPS 245578 WITH SCORE 245941.876
AT ITER 3582 NEW BEST:: SOT 1144537 SOS 363889 HAS SOPS 363889 HAS SOUS 245434 HAS SOUPS 245434 WITH SCORE 245797.889
AT ITER 3587 NEW BEST:: SOT 1144535 SOS 363887 HAS SOPS 363887 HAS SOUS 245432 HAS SOUPS 245432 WITH SCORE 245795.887
AT ITER 3602 NEW BEST:: SOT 1144535 SOS 363858 HAS SOPS 363858 HAS SOUS 245432 HAS SOUPS 245432 WITH SCORE 245795.858
AT ITER 3604 NEW BEST:: SOT 1144452 SOS 364841 HAS SOPS 364841 HAS SOUS 245266 HAS SOUPS 245266 WITH SCORE 245630.841
AT ITER 3609 NEW BEST:: SOT 1144263 SOS 362262 HAS SOPS 362262 HAS SOUS 244950 HAS SOUPS 244950 WITH SCORE 245312.262
AT ITER 3623 NEW BEST:: SOT 1144324 SOS 362096 HAS SOPS 362096 HAS SOUS 244852 HAS SOUPS 244852 WITH SCORE 245214.096
AT ITER 3634 NEW BEST:: SOT 1144324 SOS 362050 HAS SOPS 362050 HAS SOUS 244806 HAS SOUPS 244806 WITH SCORE 245168.05
AT ITER 3645 NEW BEST:: SOT 1144324 SOS 362136 HAS SOPS 362136 HAS SOUS 244668 HAS SOUPS 244668 WITH SCORE 245030.136
AT ITER 3653 NEW BEST:: SOT 1144270 SOS 362237 HAS SOPS 362237 HAS SOUS 244560 HAS SOUPS 244560 WITH SCORE 244922.237
AT ITER 3665 NEW BEST:: SOT 1144212 SOS 362208 HAS SOPS 362208 HAS SOUS 244531 HAS SOUPS 244531 WITH SCORE 244893.208
AT ITER 3675 NEW BEST:: SOT 1144209 SOS 364737 HAS SOPS 364737 HAS SOUS 244525 HAS SOUPS 244525 WITH SCORE 244889.737
AT ITER 3684 NEW BEST:: SOT 1144209 SOS 364637 HAS SOPS 364637 HAS SOUS 244425 HAS SOUPS 244425 WITH SCORE 244789.637
AT ITER 3688 NEW BEST:: SOT 1144024 SOS 364482 HAS SOPS 364482 HAS SOUS 244270 HAS SOUPS 244270 WITH SCORE 244634.482
AT ITER 3693 NEW BEST:: SOT 1144844 SOS 365045 HAS SOPS 365045 HAS SOUS 243812 HAS SOUPS 243812 WITH SCORE 244177.045
AT ITER 3714 NEW BEST:: SOT 1144595 SOS 364769 HAS SOPS 364769 HAS SOUS 243514 HAS SOUPS 243514 WITH SCORE 243878.769
AT ITER 3716 NEW BEST:: SOT 1144721 SOS 364680 HAS SOPS 364680 HAS SOUS 243425 HAS SOUPS 243425 WITH SCORE 243789.68
AT ITER 3720 NEW BEST:: SOT 1144721 SOS 364630 HAS SOPS 364630 HAS SOUS 243375 HAS SOUPS 243375 WITH SCORE 243739.63
AT ITER 3729 NEW BEST:: SOT 1144720 SOS 364629 HAS SOPS 364629 HAS SOUS 243374 HAS SOUPS 243374 WITH SCORE 243738.629
AT ITER 3741 NEW BEST:: SOT 1144546 SOS 364555 HAS SOPS 364555 HAS SOUS 243300 HAS SOUPS 243300 WITH SCORE 243664.555
AT ITER 3759 NEW BEST:: SOT 1144464 SOS 364473 HAS SOPS 364473 HAS SOUS 243178 HAS SOUPS 243178 WITH SCORE 243542.473
AT ITER 3761 NEW BEST:: SOT 1144462 SOS 364316 HAS SOPS 364316 HAS SOUS 243173 HAS SOUPS 243173 WITH SCORE 243537.316
AT ITER 3798 NEW BEST:: SOT 1144439 SOS 364267 HAS SOPS 364267 HAS SOUS 243124 HAS SOUPS 243124 WITH SCORE 243488.267
AT ITER 3802 NEW BEST:: SOT 1144425 SOS 364252 HAS SOPS 364252 HAS SOUS 243109 HAS SOUPS 243109 WITH SCORE 243473.252
AT ITER 3812 NEW BEST:: SOT 1143641 SOS 363392 HAS SOPS 363392 HAS SOUS 242681 HAS SOUPS 242681 WITH SCORE 243044.392
AT ITER 3816 NEW BEST:: SOT 1143577 SOS 363410 HAS SOPS 363410 HAS SOUS 242542 HAS SOUPS 242542 WITH SCORE 242905.41
AT ITER 3829 NEW BEST:: SOT 1143576 SOS 363297 HAS SOPS 363297 HAS SOUS 242429 HAS SOUPS 242429 WITH SCORE 242792.297
AT ITER 3876 NEW BEST:: SOT 1143565 SOS 363275 HAS SOPS 363275 HAS SOUS 242407 HAS SOUPS 242407 WITH SCORE 242770.275
AT ITER 3894 NEW BEST:: SOT 1143370 SOS 362857 HAS SOPS 362857 HAS SOUS 242172 HAS SOUPS 242172 WITH SCORE 242534.857
AT ITER 3931 NEW BEST:: SOT 1143405 SOS 362728 HAS SOPS 362728 HAS SOUS 242060 HAS SOUPS 242060 WITH SCORE 242422.728
AT ITER 3946 NEW BEST:: SOT 1143346 SOS 362669 HAS SOPS 362669 HAS SOUS 242005 HAS SOUPS 242005 WITH SCORE 242367.669
AT ITER 3978 NEW BEST:: SOT 1143344 SOS 362665 HAS SOPS 362665 HAS SOUS 242001 HAS SOUPS 242001 WITH SCORE 242363.665
AT ITER 3997 NEW BEST:: SOT 1143237 SOS 362558 HAS SOPS 362558 HAS SOUS 241787 HAS SOUPS 241787 WITH SCORE 242149.558
AT ITER 4028 NEW BEST:: SOT 1143242 SOS 361259 HAS SOPS 361259 HAS SOUS 241676 HAS SOUPS 241676 WITH SCORE 242037.259
AT ITER 4035 NEW BEST:: SOT 1143242 SOS 361217 HAS SOPS 361217 HAS SOUS 241634 HAS SOUPS 241634 WITH SCORE 241995.217
AT ITER 4058 NEW BEST:: SOT 1139890 SOS 359463 HAS SOPS 359463 HAS SOUS 239846 HAS SOUPS 239846 WITH SCORE 240205.463
AT ITER 4070 NEW BEST:: SOT 1139842 SOS 359167 HAS SOPS 359167 HAS SOUS 239502 HAS SOUPS 239502 WITH SCORE 239861.167
AT ITER 4072 NEW BEST:: SOT 1139714 SOS 359070 HAS SOPS 359070 HAS SOUS 239298 HAS SOUPS 239298 WITH SCORE 239657.07
AT ITER 4098 NEW BEST:: SOT 1139462 SOS 358842 HAS SOPS 358842 HAS SOUS 239070 HAS SOUPS 239070 WITH SCORE 239428.842
AT ITER 4099 NEW BEST:: SOT 1139419 SOS 358711 HAS SOPS 358711 HAS SOUS 238939 HAS SOUPS 238939 WITH SCORE 239297.711
AT ITER 4111 NEW BEST:: SOT 1139604 SOS 358889 HAS SOPS 358889 HAS SOUS 238770 HAS SOUPS 238770 WITH SCORE 239128.889
AT ITER 4127 NEW BEST:: SOT 1139604 SOS 358798 HAS SOPS 358798 HAS SOUS 238770 HAS SOUPS 238770 WITH SCORE 239128.798
AT ITER 4131 NEW BEST:: SOT 1139433 SOS 358960 HAS SOPS 358960 HAS SOUS 238641 HAS SOUPS 238641 WITH SCORE 238999.96
AT ITER 4136 NEW BEST:: SOT 1139301 SOS 358285 HAS SOPS 358285 HAS SOUS 238311 HAS SOUPS 238311 WITH SCORE 238669.285
AT ITER 4156 NEW BEST:: SOT 1139076 SOS 358201 HAS SOPS 358201 HAS SOUS 237992 HAS SOUPS 237992 WITH SCORE 238350.201
AT ITER 4166 NEW BEST:: SOT 1139075 SOS 358237 HAS SOPS 358237 HAS SOUS 237990 HAS SOUPS 237990 WITH SCORE 238348.237
AT ITER 4174 NEW BEST:: SOT 1136131 SOS 357197 HAS SOPS 357197 HAS SOUS 236921 HAS SOUPS 236921 WITH SCORE 237278.197
AT ITER 4176 NEW BEST:: SOT 1136131 SOS 357157 HAS SOPS 357157 HAS SOUS 236881 HAS SOUPS 236881 WITH SCORE 237238.157
AT ITER 4199 NEW BEST:: SOT 1135960 SOS 356765 HAS SOPS 356765 HAS SOUS 236489 HAS SOUPS 236489 WITH SCORE 236845.765
AT ITER 4202 NEW BEST:: SOT 1135935 SOS 356716 HAS SOPS 356716 HAS SOUS 236463 HAS SOUPS 236463 WITH SCORE 236819.716
AT ITER 4203 NEW BEST:: SOT 1135935 SOS 356708 HAS SOPS 356708 HAS SOUS 236463 HAS SOUPS 236463 WITH SCORE 236819.708
AT ITER 4204 NEW BEST:: SOT 1135934 SOS 356707 HAS SOPS 356707 HAS SOUS 236458 HAS SOUPS 236458 WITH SCORE 236814.707
AT ITER 4300 NEW BEST:: SOT 1135934 SOS 356671 HAS SOPS 356671 HAS SOUS 236422 HAS SOUPS 236422 WITH SCORE 236778.671
AT ITER 4302 NEW BEST:: SOT 1135933 SOS 356668 HAS SOPS 356668 HAS SOUS 236419 HAS SOUPS 236419 WITH SCORE 236775.668
AT ITER 4314 NEW BEST:: SOT 1135673 SOS 356521 HAS SOPS 356521 HAS SOUS 236272 HAS SOUPS 236272 WITH SCORE 236628.521
AT ITER 4320 NEW BEST:: SOT 1135613 SOS 356312 HAS SOPS 356312 HAS SOUS 236063 HAS SOUPS 236063 WITH SCORE 236419.312
AT ITER 4360 NEW BEST:: SOT 1135613 SOS 356202 HAS SOPS 356202 HAS SOUS 236063 HAS SOUPS 236063 WITH SCORE 236419.202
AT ITER 4362 NEW BEST:: SOT 1135613 SOS 356200 HAS SOPS 356200 HAS SOUS 236062 HAS SOUPS 236062 WITH SCORE 236418.2
AT ITER 4372 NEW BEST:: SOT 1135540 SOS 356187 HAS SOPS 356187 HAS SOUS 235977 HAS SOUPS 235977 WITH SCORE 236333.187
AT ITER 4383 NEW BEST:: SOT 1135467 SOS 356041 HAS SOPS 356041 HAS SOUS 235805 HAS SOUPS 235805 WITH SCORE 236161.041
AT ITER 4391 NEW BEST:: SOT 1135393 SOS 355967 HAS SOPS 355967 HAS SOUS 235067 HAS SOUPS 235067 WITH SCORE 235422.967
AT ITER 4410 NEW BEST:: SOT 1135344 SOS 355938 HAS SOPS 355938 HAS SOUS 235022 HAS SOUPS 235022 WITH SCORE 235377.938
AT ITER 4416 NEW BEST:: SOT 1135334 SOS 356075 HAS SOPS 356075 HAS SOUS 234911 HAS SOUPS 234911 WITH SCORE 235267.075
AT ITER 4437 NEW BEST:: SOT 1134668 SOS 355363 HAS SOPS 355363 HAS SOUS 234495 HAS SOUPS 234495 WITH SCORE 234850.363
AT ITER 4465 NEW BEST:: SOT 1134652 SOS 355331 HAS SOPS 355331 HAS SOUS 234463 HAS SOUPS 234463 WITH SCORE 234818.331
AT ITER 4469 NEW BEST:: SOT 1134652 SOS 355229 HAS SOPS 355229 HAS SOUS 234463 HAS SOUPS 234463 WITH SCORE 234818.229
AT ITER 4492 NEW BEST:: SOT 1134588 SOS 355265 HAS SOPS 355265 HAS SOUS 234403 HAS SOUPS 234403 WITH SCORE 234758.265
AT ITER 4526 NEW BEST:: SOT 1134588 SOS 355177 HAS SOPS 355177 HAS SOUS 234403 HAS SOUPS 234403 WITH SCORE 234758.177
AT ITER 4527 NEW BEST:: SOT 1134587 SOS 355174 HAS SOPS 355174 HAS SOUS 234401 HAS SOUPS 234401 WITH SCORE 234756.174
AT ITER 4561 NEW BEST:: SOT 1134665 SOS 355002 HAS SOPS 355002 HAS SOUS 234261 HAS SOUPS 234261 WITH SCORE 234616.002
AT ITER 4573 NEW BEST:: SOT 1134665 SOS 355000 HAS SOPS 355000 HAS SOUS 234259 HAS SOUPS 234259 WITH SCORE 234614.0
AT ITER 4576 NEW BEST:: SOT 1134665 SOS 354990 HAS SOPS 354990 HAS SOUS 234249 HAS SOUPS 234249 WITH SCORE 234603.99
AT ITER 4627 NEW BEST:: SOT 1134632 SOS 354924 HAS SOPS 354924 HAS SOUS 234183 HAS SOUPS 234183 WITH SCORE 234537.924
AT ITER 4634 NEW BEST:: SOT 1134632 SOS 354612 HAS SOPS 354612 HAS SOUS 234157 HAS SOUPS 234157 WITH SCORE 234511.612
AT ITER 4642 NEW BEST:: SOT 1134490 SOS 356209 HAS SOPS 356209 HAS SOUS 234143 HAS SOUPS 234143 WITH SCORE 234499.209
AT ITER 4647 NEW BEST:: SOT 1134380 SOS 356209 HAS SOPS 356209 HAS SOUS 234033 HAS SOUPS 234033 WITH SCORE 234389.209
AT ITER 4660 NEW BEST:: SOT 1134381 SOS 356156 HAS SOPS 356156 HAS SOUS 234026 HAS SOUPS 234026 WITH SCORE 234382.156
AT ITER 4661 NEW BEST:: SOT 1134382 SOS 356101 HAS SOPS 356101 HAS SOUS 233971 HAS SOUPS 233971 WITH SCORE 234327.101
AT ITER 4665 NEW BEST:: SOT 1134364 SOS 356065 HAS SOPS 356065 HAS SOUS 233878 HAS SOUPS 233878 WITH SCORE 234234.065
AT ITER 4693 NEW BEST:: SOT 1134336 SOS 356036 HAS SOPS 356036 HAS SOUS 233849 HAS SOUPS 233849 WITH SCORE 234205.036
AT ITER 4705 NEW BEST:: SOT 1134511 SOS 355843 HAS SOPS 355843 HAS SOUS 233706 HAS SOUPS 233706 WITH SCORE 234061.843
AT ITER 4727 NEW BEST:: SOT 1134322 SOS 355815 HAS SOPS 355815 HAS SOUS 233678 HAS SOUPS 233678 WITH SCORE 234033.815
AT ITER 4744 NEW BEST:: SOT 1134322 SOS 355718 HAS SOPS 355718 HAS SOUS 233581 HAS SOUPS 233581 WITH SCORE 233936.718
AT ITER 4791 NEW BEST:: SOT 1134322 SOS 355718 HAS SOPS 355718 HAS SOUS 233571 HAS SOUPS 233571 WITH SCORE 233926.718
AT ITER 4818 NEW BEST:: SOT 1134319 SOS 355570 HAS SOPS 355570 HAS SOUS 233423 HAS SOUPS 233423 WITH SCORE 233778.57
AT ITER 4878 NEW BEST:: SOT 1134318 SOS 355569 HAS SOPS 355569 HAS SOUS 233422 HAS SOUPS 233422 WITH SCORE 233777.569
AT ITER 4892 NEW BEST:: SOT 1134230 SOS 355414 HAS SOPS 355414 HAS SOUS 233267 HAS SOUPS 233267 WITH SCORE 233622.414
AT ITER 4907 NEW BEST:: SOT 1134021 SOS 354976 HAS SOPS 354976 HAS SOUS 232829 HAS SOUPS 232829 WITH SCORE 233183.976
AT ITER 4913 NEW BEST:: SOT 1134021 SOS 354976 HAS SOPS 354976 HAS SOUS 232828 HAS SOUPS 232828 WITH SCORE 233182.976
AT ITER 4918 NEW BEST:: SOT 1134093 SOS 354783 HAS SOPS 354783 HAS SOUS 232635 HAS SOUPS 232635 WITH SCORE 232989.783
AT ITER 4924 NEW BEST:: SOT 1134039 SOS 354616 HAS SOPS 354616 HAS SOUS 232468 HAS SOUPS 232468 WITH SCORE 232822.616
AT ITER 4953 NEW BEST:: SOT 1134039 SOS 354598 HAS SOPS 354598 HAS SOUS 232468 HAS SOUPS 232468 WITH SCORE 232822.598
AT ITER 4961 NEW BEST:: SOT 1134003 SOS 354451 HAS SOPS 354451 HAS SOUS 232403 HAS SOUPS 232403 WITH SCORE 232757.451
AT ITER 4982 NEW BEST:: SOT 1134006 SOS 354197 HAS SOPS 354197 HAS SOUS 232344 HAS SOUPS 232344 WITH SCORE 232698.197
AT ITER 4985 NEW BEST:: SOT 1134006 SOS 354167 HAS SOPS 354167 HAS SOUS 232314 HAS SOUPS 232314 WITH SCORE 232668.167
AT ITER 4998 NEW BEST:: SOT 1134045 SOS 355162 HAS SOPS 355162 HAS SOUS 232309 HAS SOUPS 232309 WITH SCORE 232664.162
AT ITER 5006 NEW BEST:: SOT 1134045 SOS 355151 HAS SOPS 355151 HAS SOUS 232298 HAS SOUPS 232298 WITH SCORE 232653.151
AT ITER 5039 NEW BEST:: SOT 1134037 SOS 355143 HAS SOPS 355143 HAS SOUS 232290 HAS SOUPS 232290 WITH SCORE 232645.143
AT ITER 5071 NEW BEST:: SOT 1132224 SOS 353330 HAS SOPS 353330 HAS SOUS 230477 HAS SOUPS 230477 WITH SCORE 230830.33
AT ITER 5092 NEW BEST:: SOT 1132201 SOS 353307 HAS SOPS 353307 HAS SOUS 230465 HAS SOUPS 230465 WITH SCORE 230818.307
AT ITER 5098 NEW BEST:: SOT 1132200 SOS 353305 HAS SOPS 353305 HAS SOUS 230463 HAS SOUPS 230463 WITH SCORE 230816.305
AT ITER 5104 NEW BEST:: SOT 1132141 SOS 353128 HAS SOPS 353128 HAS SOUS 230345 HAS SOUPS 230345 WITH SCORE 230698.128
AT ITER 5124 NEW BEST:: SOT 1132124 SOS 353111 HAS SOPS 353111 HAS SOUS 230328 HAS SOUPS 230328 WITH SCORE 230681.111
AT ITER 5131 NEW BEST:: SOT 1132002 SOS 352989 HAS SOPS 352989 HAS SOUS 229840 HAS SOUPS 229840 WITH SCORE 230192.989
AT ITER 5138 NEW BEST:: SOT 1131889 SOS 352873 HAS SOPS 352873 HAS SOUS 229724 HAS SOUPS 229724 WITH SCORE 230076.873
AT ITER 5157 NEW BEST:: SOT 1131889 SOS 352851 HAS SOPS 352851 HAS SOUS 229702 HAS SOUPS 229702 WITH SCORE 230054.851
AT ITER 5163 NEW BEST:: SOT 1131888 SOS 352850 HAS SOPS 352850 HAS SOUS 229700 HAS SOUPS 229700 WITH SCORE 230052.85
AT ITER 5224 NEW BEST:: SOT 1131756 SOS 352585 HAS SOPS 352585 HAS SOUS 229435 HAS SOUPS 229435 WITH SCORE 229787.585
AT ITER 5225 NEW BEST:: SOT 1131755 SOS 352575 HAS SOPS 352575 HAS SOUS 229425 HAS SOUPS 229425 WITH SCORE 229777.575
AT ITER 5228 NEW BEST:: SOT 1131755 SOS 352575 HAS SOPS 352575 HAS SOUS 229415 HAS SOUPS 229415 WITH SCORE 229767.575
AT ITER 5229 NEW BEST:: SOT 1131720 SOS 352505 HAS SOPS 352505 HAS SOUS 229297 HAS SOUPS 229297 WITH SCORE 229649.505
AT ITER 5247 NEW BEST:: SOT 1131609 SOS 353508 HAS SOPS 353508 HAS SOUS 229165 HAS SOUPS 229165 WITH SCORE 229518.508
AT ITER 5251 NEW BEST:: SOT 1131590 SOS 353530 HAS SOPS 353530 HAS SOUS 229127 HAS SOUPS 229127 WITH SCORE 229480.53
AT ITER 5297 NEW BEST:: SOT 1131277 SOS 354362 HAS SOPS 354362 HAS SOUS 229116 HAS SOUPS 229116 WITH SCORE 229470.362
AT ITER 5300 NEW BEST:: SOT 1131254 SOS 354348 HAS SOPS 354348 HAS SOUS 228846 HAS SOUPS 228846 WITH SCORE 229200.348
AT ITER 5330 NEW BEST:: SOT 1131232 SOS 354326 HAS SOPS 354326 HAS SOUS 228824 HAS SOUPS 228824 WITH SCORE 229178.326
AT ITER 5337 NEW BEST:: SOT 1131386 SOS 354284 HAS SOPS 354284 HAS SOUS 228782 HAS SOUPS 228782 WITH SCORE 229136.284
AT ITER 5344 NEW BEST:: SOT 1131885 SOS 354183 HAS SOPS 354183 HAS SOUS 228007 HAS SOUPS 228007 WITH SCORE 228361.183
AT ITER 5358 NEW BEST:: SOT 1131911 SOS 354167 HAS SOPS 354167 HAS SOUS 227991 HAS SOUPS 227991 WITH SCORE 228345.167
AT ITER 5376 NEW BEST:: SOT 1131911 SOS 354158 HAS SOPS 354158 HAS SOUS 227982 HAS SOUPS 227982 WITH SCORE 228336.158
AT ITER 5402 NEW BEST:: SOT 1131899 SOS 354146 HAS SOPS 354146 HAS SOUS 227965 HAS SOUPS 227965 WITH SCORE 228319.146
AT ITER 5405 NEW BEST:: SOT 1132150 SOS 354036 HAS SOPS 354036 HAS SOUS 227918 HAS SOUPS 227918 WITH SCORE 228272.036
AT ITER 5411 NEW BEST:: SOT 1132258 SOS 354144 HAS SOPS 354144 HAS SOUS 227888 HAS SOUPS 227888 WITH SCORE 228242.144
AT ITER 5413 NEW BEST:: SOT 1132258 SOS 353822 HAS SOPS 353822 HAS SOUS 227888 HAS SOUPS 227888 WITH SCORE 228241.822
AT ITER 5426 NEW BEST:: SOT 1132249 SOS 353813 HAS SOPS 353813 HAS SOUS 227879 HAS SOUPS 227879 WITH SCORE 228232.813
AT ITER 5440 NEW BEST:: SOT 1132191 SOS 353696 HAS SOPS 353696 HAS SOUS 227762 HAS SOUPS 227762 WITH SCORE 228115.696
AT ITER 5451 NEW BEST:: SOT 1132167 SOS 353648 HAS SOPS 353648 HAS SOUS 227714 HAS SOUPS 227714 WITH SCORE 228067.648
AT ITER 5452 NEW BEST:: SOT 1132199 SOS 353603 HAS SOPS 353603 HAS SOUS 227662 HAS SOUPS 227662 WITH SCORE 228015.603
AT ITER 5469 NEW BEST:: SOT 1132120 SOS 353445 HAS SOPS 353445 HAS SOUS 227504 HAS SOUPS 227504 WITH SCORE 227857.445
AT ITER 5526 NEW BEST:: SOT 1131769 SOS 353051 HAS SOPS 353051 HAS SOUS 227459 HAS SOUPS 227459 WITH SCORE 227812.051
AT ITER 5539 NEW BEST:: SOT 1131763 SOS 353039 HAS SOPS 353039 HAS SOUS 227447 HAS SOUPS 227447 WITH SCORE 227800.039
AT ITER 5565 NEW BEST:: SOT 1131750 SOS 353026 HAS SOPS 353026 HAS SOUS 227434 HAS SOUPS 227434 WITH SCORE 227787.026
AT ITER 5567 NEW BEST:: SOT 1131709 SOS 352889 HAS SOPS 352889 HAS SOUS 227352 HAS SOUPS 227352 WITH SCORE 227704.889
AT ITER 5583 NEW BEST:: SOT 1131639 SOS 352749 HAS SOPS 352749 HAS SOUS 227212 HAS SOUPS 227212 WITH SCORE 227564.749
AT ITER 5602 NEW BEST:: SOT 1131566 SOS 352676 HAS SOPS 352676 HAS SOUS 227139 HAS SOUPS 227139 WITH SCORE 227491.676
AT ITER 5613 NEW BEST:: SOT 1131566 SOS 352585 HAS SOPS 352585 HAS SOUS 226957 HAS SOUPS 226957 WITH SCORE 227309.585
AT ITER 5633 NEW BEST:: SOT 1131566 SOS 352550 HAS SOPS 352550 HAS SOUS 226957 HAS SOUPS 226957 WITH SCORE 227309.55
AT ITER 5634 NEW BEST:: SOT 1131566 SOS 352508 HAS SOPS 352508 HAS SOUS 226915 HAS SOUPS 226915 WITH SCORE 227267.508
AT ITER 5643 NEW BEST:: SOT 1131564 SOS 352484 HAS SOPS 352484 HAS SOUS 226911 HAS SOUPS 226911 WITH SCORE 227263.484
AT ITER 5689 NEW BEST:: SOT 1131564 SOS 352481 HAS SOPS 352481 HAS SOUS 226908 HAS SOUPS 226908 WITH SCORE 227260.481
AT ITER 5694 NEW BEST:: SOT 1131543 SOS 352462 HAS SOPS 352462 HAS SOUS 226889 HAS SOUPS 226889 WITH SCORE 227241.462
AT ITER 5717 NEW BEST:: SOT 1131914 SOS 351126 HAS SOPS 351126 HAS SOUS 226857 HAS SOUPS 226857 WITH SCORE 227208.126
AT ITER 5731 NEW BEST:: SOT 1131839 SOS 351009 HAS SOPS 351009 HAS SOUS 226741 HAS SOUPS 226741 WITH SCORE 227092.009
AT ITER 5737 NEW BEST:: SOT 1131910 SOS 348221 HAS SOPS 348221 HAS SOUS 226403 HAS SOUPS 226403 WITH SCORE 226751.221
AT ITER 5746 NEW BEST:: SOT 1131949 SOS 347783 HAS SOPS 347783 HAS SOUS 226375 HAS SOUPS 226375 WITH SCORE 226722.783
AT ITER 5756 NEW BEST:: SOT 1131938 SOS 347761 HAS SOPS 347761 HAS SOUS 226353 HAS SOUPS 226353 WITH SCORE 226700.761
AT ITER 5765 NEW BEST:: SOT 1131862 SOS 347481 HAS SOPS 347481 HAS SOUS 226201 HAS SOUPS 226201 WITH SCORE 226548.481
AT ITER 5768 NEW BEST:: SOT 1131862 SOS 346546 HAS SOPS 346546 HAS SOUS 226201 HAS SOUPS 226201 WITH SCORE 226547.546
AT ITER 5788 NEW BEST:: SOT 1131834 SOS 346490 HAS SOPS 346490 HAS SOUS 226145 HAS SOUPS 226145 WITH SCORE 226491.49
AT ITER 5808 NEW BEST:: SOT 1131814 SOS 346336 HAS SOPS 346336 HAS SOUS 226087 HAS SOUPS 226087 WITH SCORE 226433.336
AT ITER 5814 NEW BEST:: SOT 1131841 SOS 346362 HAS SOPS 346362 HAS SOUS 226075 HAS SOUPS 226075 WITH SCORE 226421.362
AT ITER 5884 NEW BEST:: SOT 1131839 SOS 346354 HAS SOPS 346354 HAS SOUS 226071 HAS SOUPS 226071 WITH SCORE 226417.354
AT ITER 5893 NEW BEST:: SOT 1131810 SOS 346296 HAS SOPS 346296 HAS SOUS 226013 HAS SOUPS 226013 WITH SCORE 226359.296
AT ITER 5904 NEW BEST:: SOT 1131756 SOS 346239 HAS SOPS 346239 HAS SOUS 225941 HAS SOUPS 225941 WITH SCORE 226287.239
AT ITER 5908 NEW BEST:: SOT 1131748 SOS 346014 HAS SOPS 346014 HAS SOUS 225933 HAS SOUPS 225933 WITH SCORE 226279.014
AT ITER 5925 NEW BEST:: SOT 1131653 SOS 345946 HAS SOPS 345946 HAS SOUS 225926 HAS SOUPS 225926 WITH SCORE 226271.946
AT ITER 5944 NEW BEST:: SOT 1131657 SOS 345821 HAS SOPS 345821 HAS SOUS 225820 HAS SOUPS 225820 WITH SCORE 226165.821
AT ITER 5950 NEW BEST:: SOT 1131656 SOS 345820 HAS SOPS 345820 HAS SOUS 225819 HAS SOUPS 225819 WITH SCORE 226164.82
AT ITER 5953 NEW BEST:: SOT 1131656 SOS 345807 HAS SOPS 345807 HAS SOUS 225815 HAS SOUPS 225815 WITH SCORE 226160.807
AT ITER 5963 NEW BEST:: SOT 1131573 SOS 345487 HAS SOPS 345487 HAS SOUS 225495 HAS SOUPS 225495 WITH SCORE 225840.487
AT ITER 5970 NEW BEST:: SOT 1131423 SOS 345187 HAS SOPS 345187 HAS SOUS 225195 HAS SOUPS 225195 WITH SCORE 225540.187
AT ITER 5971 NEW BEST:: SOT 1131387 SOS 345133 HAS SOPS 345133 HAS SOUS 225141 HAS SOUPS 225141 WITH SCORE 225486.133
AT ITER 5976 NEW BEST:: SOT 1131313 SOS 344994 HAS SOPS 344994 HAS SOUS 225002 HAS SOUPS 225002 WITH SCORE 225346.994
AT ITER 5977 NEW BEST:: SOT 1131307 SOS 344952 HAS SOPS 344952 HAS SOUS 224990 HAS SOUPS 224990 WITH SCORE 225334.952
AT ITER 5985 NEW BEST:: SOT 1131306 SOS 344950 HAS SOPS 344950 HAS SOUS 224988 HAS SOUPS 224988 WITH SCORE 225332.95
AT ITER 5987 NEW BEST:: SOT 1131306 SOS 344887 HAS SOPS 344887 HAS SOUS 224980 HAS SOUPS 224980 WITH SCORE 225324.887
AT ITER 5991 NEW BEST:: SOT 1131230 SOS 344739 HAS SOPS 344739 HAS SOUS 224891 HAS SOUPS 224891 WITH SCORE 225235.739
AT ITER 6012 NEW BEST:: SOT 1131082 SOS 344611 HAS SOPS 344611 HAS SOUS 224836 HAS SOUPS 224836 WITH SCORE 225180.611
AT ITER 6025 NEW BEST:: SOT 1130073 SOS 350721 HAS SOPS 350721 HAS SOUS 224530 HAS SOUPS 224530 WITH SCORE 224880.721
AT ITER 6034 NEW BEST:: SOT 1130011 SOS 350462 HAS SOPS 350462 HAS SOUS 224395 HAS SOUPS 224395 WITH SCORE 224745.462
AT ITER 6037 NEW BEST:: SOT 1129930 SOS 350327 HAS SOPS 350327 HAS SOUS 224341 HAS SOUPS 224341 WITH SCORE 224691.327
AT ITER 6044 NEW BEST:: SOT 1130915 SOS 348947 HAS SOPS 348947 HAS SOUS 223831 HAS SOUPS 223831 WITH SCORE 224179.947
AT ITER 6055 NEW BEST:: SOT 1130800 SOS 348189 HAS SOPS 348189 HAS SOUS 223650 HAS SOUPS 223650 WITH SCORE 223998.189
AT ITER 6060 NEW BEST:: SOT 1130653 SOS 347794 HAS SOPS 347794 HAS SOUS 223454 HAS SOUPS 223454 WITH SCORE 223801.794
AT ITER 6063 NEW BEST:: SOT 1130627 SOS 347864 HAS SOPS 347864 HAS SOUS 223434 HAS SOUPS 223434 WITH SCORE 223781.864
AT ITER 6077 NEW BEST:: SOT 1130358 SOS 347474 HAS SOPS 347474 HAS SOUS 223212 HAS SOUPS 223212 WITH SCORE 223559.474
AT ITER 6097 NEW BEST:: SOT 1130413 SOS 346873 HAS SOPS 346873 HAS SOUS 223192 HAS SOUPS 223192 WITH SCORE 223538.873
AT ITER 6109 NEW BEST:: SOT 1130413 SOS 346873 HAS SOPS 346873 HAS SOUS 223167 HAS SOUPS 223167 WITH SCORE 223513.873
AT ITER 6115 NEW BEST:: SOT 1129958 SOS 346408 HAS SOPS 346408 HAS SOUS 223167 HAS SOUPS 223167 WITH SCORE 223513.408
AT ITER 6140 NEW BEST:: SOT 1129958 SOS 346380 HAS SOPS 346380 HAS SOUS 223139 HAS SOUPS 223139 WITH SCORE 223485.38
AT ITER 6145 NEW BEST:: SOT 1129905 SOS 346165 HAS SOPS 346165 HAS SOUS 223023 HAS SOUPS 223023 WITH SCORE 223369.165
AT ITER 6157 NEW BEST:: SOT 1129904 SOS 346226 HAS SOPS 346226 HAS SOUS 222966 HAS SOUPS 222966 WITH SCORE 223312.226
AT ITER 6163 NEW BEST:: SOT 1129695 SOS 345941 HAS SOPS 345941 HAS SOUS 222813 HAS SOUPS 222813 WITH SCORE 223158.941
AT ITER 6167 NEW BEST:: SOT 1129687 SOS 345893 HAS SOPS 345893 HAS SOUS 222797 HAS SOUPS 222797 WITH SCORE 223142.893
AT ITER 6168 NEW BEST:: SOT 1129652 SOS 345870 HAS SOPS 345870 HAS SOUS 222718 HAS SOUPS 222718 WITH SCORE 223063.87
AT ITER 6200 NEW BEST:: SOT 1129651 SOS 345988 HAS SOPS 345988 HAS SOUS 222716 HAS SOUPS 222716 WITH SCORE 223061.988
AT ITER 6204 NEW BEST:: SOT 1129592 SOS 345902 HAS SOPS 345902 HAS SOUS 222630 HAS SOUPS 222630 WITH SCORE 222975.902
AT ITER 6208 NEW BEST:: SOT 1129592 SOS 344368 HAS SOPS 344368 HAS SOUS 222244 HAS SOUPS 222244 WITH SCORE 222588.368
AT ITER 6219 NEW BEST:: SOT 1129461 SOS 344164 HAS SOPS 344164 HAS SOUS 222040 HAS SOUPS 222040 WITH SCORE 222384.164
AT ITER 6221 NEW BEST:: SOT 1129393 SOS 344119 HAS SOPS 344119 HAS SOUS 221995 HAS SOUPS 221995 WITH SCORE 222339.119
AT ITER 6232 NEW BEST:: SOT 1129436 SOS 344198 HAS SOPS 344198 HAS SOUS 221923 HAS SOUPS 221923 WITH SCORE 222267.198
AT ITER 6265 NEW BEST:: SOT 1129436 SOS 344193 HAS SOPS 344193 HAS SOUS 221918 HAS SOUPS 221918 WITH SCORE 222262.193
AT ITER 6274 NEW BEST:: SOT 1129123 SOS 343880 HAS SOPS 343880 HAS SOUS 221562 HAS SOUPS 221562 WITH SCORE 221905.88
AT ITER 6286 NEW BEST:: SOT 1129123 SOS 343880 HAS SOPS 343880 HAS SOUS 221550 HAS SOUPS 221550 WITH SCORE 221893.88
AT ITER 6287 NEW BEST:: SOT 1129104 SOS 343854 HAS SOPS 343854 HAS SOUS 221524 HAS SOUPS 221524 WITH SCORE 221867.854
AT ITER 6295 NEW BEST:: SOT 1128919 SOS 345519 HAS SOPS 345519 HAS SOUS 221339 HAS SOUPS 221339 WITH SCORE 221684.519
AT ITER 6313 NEW BEST:: SOT 1129026 SOS 345656 HAS SOPS 345656 HAS SOUS 221188 HAS SOUPS 221188 WITH SCORE 221533.656
AT ITER 6343 NEW BEST:: SOT 1128689 SOS 345406 HAS SOPS 345406 HAS SOUS 221056 HAS SOUPS 221056 WITH SCORE 221401.406
AT ITER 6362 NEW BEST:: SOT 1128648 SOS 345368 HAS SOPS 345368 HAS SOUS 220974 HAS SOUPS 220974 WITH SCORE 221319.368
AT ITER 6365 NEW BEST:: SOT 1128607 SOS 345235 HAS SOPS 345235 HAS SOUS 220892 HAS SOUPS 220892 WITH SCORE 221237.235
AT ITER 6367 NEW BEST:: SOT 1128577 SOS 345175 HAS SOPS 345175 HAS SOUS 220862 HAS SOUPS 220862 WITH SCORE 221207.175
AT ITER 6388 NEW BEST:: SOT 1128570 SOS 345161 HAS SOPS 345161 HAS SOUS 220841 HAS SOUPS 220841 WITH SCORE 221186.161
AT ITER 6396 NEW BEST:: SOT 1128570 SOS 345146 HAS SOPS 345146 HAS SOUS 220841 HAS SOUPS 220841 WITH SCORE 221186.146
AT ITER 6401 NEW BEST:: SOT 1128570 SOS 345119 HAS SOPS 345119 HAS SOUS 220814 HAS SOUPS 220814 WITH SCORE 221159.119
AT ITER 6422 NEW BEST:: SOT 1128549 SOS 345078 HAS SOPS 345078 HAS SOUS 220772 HAS SOUPS 220772 WITH SCORE 221117.078
AT ITER 6430 NEW BEST:: SOT 1128716 SOS 343364 HAS SOPS 343364 HAS SOUS 219660 HAS SOUPS 219660 WITH SCORE 220003.364
AT ITER 6435 NEW BEST:: SOT 1128716 SOS 343160 HAS SOPS 343160 HAS SOUS 219252 HAS SOUPS 219252 WITH SCORE 219595.16
AT ITER 6475 NEW BEST:: SOT 1127870 SOS 343707 HAS SOPS 343707 HAS SOUS 218425 HAS SOUPS 218425 WITH SCORE 218768.707
AT ITER 6481 NEW BEST:: SOT 1127801 SOS 343890 HAS SOPS 343890 HAS SOUS 218373 HAS SOUPS 218373 WITH SCORE 218716.89
AT ITER 6483 NEW BEST:: SOT 1127710 SOS 343351 HAS SOPS 343351 HAS SOUS 218288 HAS SOUPS 218288 WITH SCORE 218631.351
AT ITER 6504 NEW BEST:: SOT 1127710 SOS 343338 HAS SOPS 343338 HAS SOUS 218275 HAS SOUPS 218275 WITH SCORE 218618.338
AT ITER 6505 NEW BEST:: SOT 1127710 SOS 343489 HAS SOPS 343489 HAS SOUS 218259 HAS SOUPS 218259 WITH SCORE 218602.489
AT ITER 6523 NEW BEST:: SOT 1127709 SOS 343487 HAS SOPS 343487 HAS SOUS 218257 HAS SOUPS 218257 WITH SCORE 218600.487
AT ITER 6541 NEW BEST:: SOT 1127669 SOS 343446 HAS SOPS 343446 HAS SOUS 218216 HAS SOUPS 218216 WITH SCORE 218559.446
AT ITER 6566 NEW BEST:: SOT 1127607 SOS 343188 HAS SOPS 343188 HAS SOUS 217946 HAS SOUPS 217946 WITH SCORE 218289.188
AT ITER 6571 NEW BEST:: SOT 1127298 SOS 343541 HAS SOPS 343541 HAS SOUS 217610 HAS SOUPS 217610 WITH SCORE 217953.541
AT ITER 6621 NEW BEST:: SOT 1127273 SOS 343564 HAS SOPS 343564 HAS SOUS 217608 HAS SOUPS 217608 WITH SCORE 217951.564
AT ITER 6633 NEW BEST:: SOT 1127255 SOS 343546 HAS SOPS 343546 HAS SOUS 217566 HAS SOUPS 217566 WITH SCORE 217909.546
AT ITER 6647 NEW BEST:: SOT 1127255 SOS 343622 HAS SOPS 343622 HAS SOUS 217561 HAS SOUPS 217561 WITH SCORE 217904.622
AT ITER 6678 NEW BEST:: SOT 1127241 SOS 343594 HAS SOPS 343594 HAS SOUS 217533 HAS SOUPS 217533 WITH SCORE 217876.594
AT ITER 6681 NEW BEST:: SOT 1127243 SOS 343585 HAS SOPS 343585 HAS SOUS 217524 HAS SOUPS 217524 WITH SCORE 217867.585
AT ITER 6682 NEW BEST:: SOT 1127171 SOS 343464 HAS SOPS 343464 HAS SOUS 217403 HAS SOUPS 217403 WITH SCORE 217746.464
AT ITER 6698 NEW BEST:: SOT 1127118 SOS 343314 HAS SOPS 343314 HAS SOUS 217306 HAS SOUPS 217306 WITH SCORE 217649.314
AT ITER 6704 NEW BEST:: SOT 1127118 SOS 343284 HAS SOPS 343284 HAS SOUS 217306 HAS SOUPS 217306 WITH SCORE 217649.284
AT ITER 6716 NEW BEST:: SOT 1127118 SOS 343282 HAS SOPS 343282 HAS SOUS 217304 HAS SOUPS 217304 WITH SCORE 217647.282
AT ITER 6731 NEW BEST:: SOT 1127142 SOS 343390 HAS SOPS 343390 HAS SOUS 217280 HAS SOUPS 217280 WITH SCORE 217623.39
AT ITER 6743 NEW BEST:: SOT 1127147 SOS 343459 HAS SOPS 343459 HAS SOUS 217221 HAS SOUPS 217221 WITH SCORE 217564.459
AT ITER 6746 NEW BEST:: SOT 1127002 SOS 343388 HAS SOPS 343388 HAS SOUS 217150 HAS SOUPS 217150 WITH SCORE 217493.388
AT ITER 6758 NEW BEST:: SOT 1126971 SOS 343388 HAS SOPS 343388 HAS SOUS 217119 HAS SOUPS 217119 WITH SCORE 217462.388
AT ITER 6777 NEW BEST:: SOT 1126971 SOS 343380 HAS SOPS 343380 HAS SOUS 217111 HAS SOUPS 217111 WITH SCORE 217454.38
AT ITER 6783 NEW BEST:: SOT 1126932 SOS 343368 HAS SOPS 343368 HAS SOUS 217093 HAS SOUPS 217093 WITH SCORE 217436.368
AT ITER 6805 NEW BEST:: SOT 1126952 SOS 343365 HAS SOPS 343365 HAS SOUS 217090 HAS SOUPS 217090 WITH SCORE 217433.365
AT ITER 6808 NEW BEST:: SOT 1126936 SOS 343349 HAS SOPS 343349 HAS SOUS 217058 HAS SOUPS 217058 WITH SCORE 217401.349
AT ITER 6811 NEW BEST:: SOT 1126898 SOS 343240 HAS SOPS 343240 HAS SOUS 216949 HAS SOUPS 216949 WITH SCORE 217292.24
AT ITER 6833 NEW BEST:: SOT 1126780 SOS 343036 HAS SOPS 343036 HAS SOUS 216843 HAS SOUPS 216843 WITH SCORE 217186.036
AT ITER 6841 NEW BEST:: SOT 1126826 SOS 342316 HAS SOPS 342316 HAS SOUS 216665 HAS SOUPS 216665 WITH SCORE 217007.316
AT ITER 6854 NEW BEST:: SOT 1126893 SOS 342455 HAS SOPS 342455 HAS SOUS 216140 HAS SOUPS 216140 WITH SCORE 216482.455
AT ITER 6857 NEW BEST:: SOT 1126820 SOS 342309 HAS SOPS 342309 HAS SOUS 216088 HAS SOUPS 216088 WITH SCORE 216430.309
AT ITER 6862 NEW BEST:: SOT 1126729 SOS 342218 HAS SOPS 342218 HAS SOUS 215906 HAS SOUPS 215906 WITH SCORE 216248.218
AT ITER 6906 NEW BEST:: SOT 1126711 SOS 341675 HAS SOPS 341675 HAS SOUS 215805 HAS SOUPS 215805 WITH SCORE 216146.675
AT ITER 6942 NEW BEST:: SOT 1126673 SOS 341636 HAS SOPS 341636 HAS SOUS 215766 HAS SOUPS 215766 WITH SCORE 216107.636
AT ITER 6962 NEW BEST:: SOT 1126672 SOS 341634 HAS SOPS 341634 HAS SOUS 215764 HAS SOUPS 215764 WITH SCORE 216105.634
AT ITER 6974 NEW BEST:: SOT 1126618 SOS 341562 HAS SOPS 341562 HAS SOUS 215692 HAS SOUPS 215692 WITH SCORE 216033.562
AT ITER 6987 NEW BEST:: SOT 1126880 SOS 342517 HAS SOPS 342517 HAS SOUS 215444 HAS SOUPS 215444 WITH SCORE 215786.517
AT ITER 6990 NEW BEST:: SOT 1126879 SOS 342464 HAS SOPS 342464 HAS SOUS 215442 HAS SOUPS 215442 WITH SCORE 215784.464
AT ITER 6994 NEW BEST:: SOT 1126790 SOS 342283 HAS SOPS 342283 HAS SOUS 215261 HAS SOUPS 215261 WITH SCORE 215603.283
AT ITER 7004 NEW BEST:: SOT 1126737 SOS 342436 HAS SOPS 342436 HAS SOUS 215174 HAS SOUPS 215174 WITH SCORE 215516.436
AT ITER 7008 NEW BEST:: SOT 1126737 SOS 342246 HAS SOPS 342246 HAS SOUS 214984 HAS SOUPS 214984 WITH SCORE 215326.246
AT ITER 7016 NEW BEST:: SOT 1126737 SOS 342246 HAS SOPS 342246 HAS SOUS 214922 HAS SOUPS 214922 WITH SCORE 215264.246
AT ITER 7042 NEW BEST:: SOT 1126737 SOS 342144 HAS SOPS 342144 HAS SOUS 214820 HAS SOUPS 214820 WITH SCORE 215162.144
AT ITER 7065 NEW BEST:: SOT 1126737 SOS 342209 HAS SOPS 342209 HAS SOUS 214781 HAS SOUPS 214781 WITH SCORE 215123.209
AT ITER 7075 NEW BEST:: SOT 1126733 SOS 342201 HAS SOPS 342201 HAS SOUS 214773 HAS SOUPS 214773 WITH SCORE 215115.201
AT ITER 7087 NEW BEST:: SOT 1126582 SOS 342050 HAS SOPS 342050 HAS SOUS 214576 HAS SOUPS 214576 WITH SCORE 214918.05
AT ITER 7099 NEW BEST:: SOT 1126497 SOS 341540 HAS SOPS 341540 HAS SOUS 214321 HAS SOUPS 214321 WITH SCORE 214662.54
AT ITER 7128 NEW BEST:: SOT 1126308 SOS 341465 HAS SOPS 341465 HAS SOUS 214142 HAS SOUPS 214142 WITH SCORE 214483.465
AT ITER 7152 NEW BEST:: SOT 1126305 SOS 341459 HAS SOPS 341459 HAS SOUS 214136 HAS SOUPS 214136 WITH SCORE 214477.459
AT ITER 7153 NEW BEST:: SOT 1126305 SOS 341457 HAS SOPS 341457 HAS SOUS 214086 HAS SOUPS 214086 WITH SCORE 214427.457
AT ITER 7156 NEW BEST:: SOT 1126304 SOS 341433 HAS SOPS 341433 HAS SOUS 214039 HAS SOUPS 214039 WITH SCORE 214380.433
AT ITER 7166 NEW BEST:: SOT 1126298 SOS 341437 HAS SOPS 341437 HAS SOUS 214038 HAS SOUPS 214038 WITH SCORE 214379.437
AT ITER 7182 NEW BEST:: SOT 1126298 SOS 341424 HAS SOPS 341424 HAS SOUS 214022 HAS SOUPS 214022 WITH SCORE 214363.424
AT ITER 7224 NEW BEST:: SOT 1125844 SOS 340978 HAS SOPS 340978 HAS SOUS 213471 HAS SOUPS 213471 WITH SCORE 213811.978
AT ITER 7228 NEW BEST:: SOT 1125710 SOS 340820 HAS SOPS 340820 HAS SOUS 213313 HAS SOUPS 213313 WITH SCORE 213653.82
AT ITER 7246 NEW BEST:: SOT 1125709 SOS 340819 HAS SOPS 340819 HAS SOUS 213312 HAS SOUPS 213312 WITH SCORE 213652.819
AT ITER 7258 NEW BEST:: SOT 1125690 SOS 340691 HAS SOPS 340691 HAS SOUS 213238 HAS SOUPS 213238 WITH SCORE 213578.691
AT ITER 7274 NEW BEST:: SOT 1125619 SOS 340619 HAS SOPS 340619 HAS SOUS 213095 HAS SOUPS 213095 WITH SCORE 213435.619
AT ITER 7283 NEW BEST:: SOT 1125619 SOS 340578 HAS SOPS 340578 HAS SOUS 213095 HAS SOUPS 213095 WITH SCORE 213435.578
AT ITER 7293 NEW BEST:: SOT 1125581 SOS 340534 HAS SOPS 340534 HAS SOUS 213051 HAS SOUPS 213051 WITH SCORE 213391.534
AT ITER 7294 NEW BEST:: SOT 1125656 SOS 340122 HAS SOPS 340122 HAS SOUS 213037 HAS SOUPS 213037 WITH SCORE 213377.122
AT ITER 7298 NEW BEST:: SOT 1125656 SOS 340122 HAS SOPS 340122 HAS SOUS 212995 HAS SOUPS 212995 WITH SCORE 213335.122
AT ITER 7306 NEW BEST:: SOT 1125656 SOS 340038 HAS SOPS 340038 HAS SOUS 212911 HAS SOUPS 212911 WITH SCORE 213251.038
AT ITER 7328 NEW BEST:: SOT 1125598 SOS 339980 HAS SOPS 339980 HAS SOUS 212737 HAS SOUPS 212737 WITH SCORE 213076.98
AT ITER 7329 NEW BEST:: SOT 1125492 SOS 338074 HAS SOPS 338074 HAS SOUS 212468 HAS SOUPS 212468 WITH SCORE 212806.074
AT ITER 7377 NEW BEST:: SOT 1125492 SOS 337924 HAS SOPS 337924 HAS SOUS 212468 HAS SOUPS 212468 WITH SCORE 212805.924
AT ITER 7385 NEW BEST:: SOT 1125467 SOS 337874 HAS SOPS 337874 HAS SOUS 212418 HAS SOUPS 212418 WITH SCORE 212755.874
AT ITER 7395 NEW BEST:: SOT 1125424 SOS 337831 HAS SOPS 337831 HAS SOUS 212342 HAS SOUPS 212342 WITH SCORE 212679.831
AT ITER 7418 NEW BEST:: SOT 1125374 SOS 337331 HAS SOPS 337331 HAS SOUS 212242 HAS SOUPS 212242 WITH SCORE 212579.331
AT ITER 7433 NEW BEST:: SOT 1125374 SOS 337394 HAS SOPS 337394 HAS SOUS 211801 HAS SOUPS 211801 WITH SCORE 212138.394
AT ITER 7463 NEW BEST:: SOT 1125370 SOS 337386 HAS SOPS 337386 HAS SOUS 211793 HAS SOUPS 211793 WITH SCORE 212130.386
AT ITER 7480 NEW BEST:: SOT 1125361 SOS 337369 HAS SOPS 337369 HAS SOUS 211721 HAS SOUPS 211721 WITH SCORE 212058.369
AT ITER 7506 NEW BEST:: SOT 1125268 SOS 337272 HAS SOPS 337272 HAS SOUS 211624 HAS SOUPS 211624 WITH SCORE 211961.272
AT ITER 7523 NEW BEST:: SOT 1125225 SOS 337229 HAS SOPS 337229 HAS SOUS 211581 HAS SOUPS 211581 WITH SCORE 211918.229
AT ITER 7532 NEW BEST:: SOT 1125228 SOS 337227 HAS SOPS 337227 HAS SOUS 211579 HAS SOUPS 211579 WITH SCORE 211916.227
AT ITER 7541 NEW BEST:: SOT 1125249 SOS 337381 HAS SOPS 337381 HAS SOUS 211354 HAS SOUPS 211354 WITH SCORE 211691.381
AT ITER 7553 NEW BEST:: SOT 1125125 SOS 337298 HAS SOPS 337298 HAS SOUS 211186 HAS SOUPS 211186 WITH SCORE 211523.298
AT ITER 7554 NEW BEST:: SOT 1125125 SOS 337290 HAS SOPS 337290 HAS SOUS 211178 HAS SOUPS 211178 WITH SCORE 211515.29
AT ITER 7559 NEW BEST:: SOT 1125125 SOS 337020 HAS SOPS 337020 HAS SOUS 210908 HAS SOUPS 210908 WITH SCORE 211245.02
AT ITER 7598 NEW BEST:: SOT 1125131 SOS 336831 HAS SOPS 336831 HAS SOUS 210826 HAS SOUPS 210826 WITH SCORE 211162.831
AT ITER 7656 NEW BEST:: SOT 1125131 SOS 336828 HAS SOPS 336828 HAS SOUS 210826 HAS SOUPS 210826 WITH SCORE 211162.828
AT ITER 7672 NEW BEST:: SOT 1125732 SOS 337237 HAS SOPS 337237 HAS SOUS 210572 HAS SOUPS 210572 WITH SCORE 210909.237
AT ITER 7678 NEW BEST:: SOT 1125731 SOS 337236 HAS SOPS 337236 HAS SOUS 210548 HAS SOUPS 210548 WITH SCORE 210885.236
AT ITER 7694 NEW BEST:: SOT 1125669 SOS 337267 HAS SOPS 337267 HAS SOUS 210486 HAS SOUPS 210486 WITH SCORE 210823.267
AT ITER 7719 NEW BEST:: SOT 1125698 SOS 337266 HAS SOPS 337266 HAS SOUS 210484 HAS SOUPS 210484 WITH SCORE 210821.266
AT ITER 7728 NEW BEST:: SOT 1125661 SOS 337192 HAS SOPS 337192 HAS SOUS 210410 HAS SOUPS 210410 WITH SCORE 210747.192
AT ITER 7757 NEW BEST:: SOT 1125541 SOS 337072 HAS SOPS 337072 HAS SOUS 210290 HAS SOUPS 210290 WITH SCORE 210627.072
AT ITER 7759 NEW BEST:: SOT 1125431 SOS 336852 HAS SOPS 336852 HAS SOUS 210070 HAS SOUPS 210070 WITH SCORE 210406.852
AT ITER 7769 NEW BEST:: SOT 1125431 SOS 336828 HAS SOPS 336828 HAS SOUS 210046 HAS SOUPS 210046 WITH SCORE 210382.828
AT ITER 7831 NEW BEST:: SOT 1125430 SOS 336743 HAS SOPS 336743 HAS SOUS 210044 HAS SOUPS 210044 WITH SCORE 210380.743
AT ITER 7838 NEW BEST:: SOT 1125515 SOS 336686 HAS SOPS 336686 HAS SOUS 209987 HAS SOUPS 209987 WITH SCORE 210323.686
AT ITER 7866 NEW BEST:: SOT 1125514 SOS 336684 HAS SOPS 336684 HAS SOUS 209985 HAS SOUPS 209985 WITH SCORE 210321.684
AT ITER 7880 NEW BEST:: SOT 1125424 SOS 337044 HAS SOPS 337044 HAS SOUS 209943 HAS SOUPS 209943 WITH SCORE 210280.044
AT ITER 7884 NEW BEST:: SOT 1125424 SOS 336970 HAS SOPS 336970 HAS SOUS 209943 HAS SOUPS 209943 WITH SCORE 210279.97
AT ITER 7889 NEW BEST:: SOT 1125424 SOS 336400 HAS SOPS 336400 HAS SOUS 209943 HAS SOUPS 209943 WITH SCORE 210279.4
AT ITER 7891 NEW BEST:: SOT 1125252 SOS 336224 HAS SOPS 336224 HAS SOUS 209928 HAS SOUPS 209928 WITH SCORE 210264.224
AT ITER 7895 NEW BEST:: SOT 1125098 SOS 336033 HAS SOPS 336033 HAS SOUS 209737 HAS SOUPS 209737 WITH SCORE 210073.033
AT ITER 7896 NEW BEST:: SOT 1125098 SOS 335984 HAS SOPS 335984 HAS SOUS 209688 HAS SOUPS 209688 WITH SCORE 210023.984
AT ITER 7927 NEW BEST:: SOT 1125025 SOS 335934 HAS SOPS 335934 HAS SOUS 209638 HAS SOUPS 209638 WITH SCORE 209973.934
AT ITER 7946 NEW BEST:: SOT 1125025 SOS 335855 HAS SOPS 335855 HAS SOUS 209559 HAS SOUPS 209559 WITH SCORE 209894.855
AT ITER 7960 NEW BEST:: SOT 1124911 SOS 335721 HAS SOPS 335721 HAS SOUS 209427 HAS SOUPS 209427 WITH SCORE 209762.721
AT ITER 7966 NEW BEST:: SOT 1124779 SOS 334959 HAS SOPS 334959 HAS SOUS 209163 HAS SOUPS 209163 WITH SCORE 209497.959
AT ITER 7969 NEW BEST:: SOT 1124765 SOS 334945 HAS SOPS 334945 HAS SOUS 209149 HAS SOUPS 209149 WITH SCORE 209483.945
AT ITER 7972 NEW BEST:: SOT 1124299 SOS 334479 HAS SOPS 334479 HAS SOUS 208683 HAS SOUPS 208683 WITH SCORE 209017.479
AT ITER 7990 NEW BEST:: SOT 1124283 SOS 334452 HAS SOPS 334452 HAS SOUS 208656 HAS SOUPS 208656 WITH SCORE 208990.452
AT ITER 7995 NEW BEST:: SOT 1124275 SOS 334444 HAS SOPS 334444 HAS SOUS 208640 HAS SOUPS 208640 WITH SCORE 208974.444
AT ITER 8006 NEW BEST:: SOT 1124270 SOS 334339 HAS SOPS 334339 HAS SOUS 208349 HAS SOUPS 208349 WITH SCORE 208683.339
AT ITER 8015 NEW BEST:: SOT 1124259 SOS 334287 HAS SOPS 334287 HAS SOUS 208297 HAS SOUPS 208297 WITH SCORE 208631.287
AT ITER 8053 NEW BEST:: SOT 1124096 SOS 334245 HAS SOPS 334245 HAS SOUS 208247 HAS SOUPS 208247 WITH SCORE 208581.245
AT ITER 8069 NEW BEST:: SOT 1124050 SOS 334215 HAS SOPS 334215 HAS SOUS 208217 HAS SOUPS 208217 WITH SCORE 208551.215
AT ITER 8082 NEW BEST:: SOT 1124008 SOS 334168 HAS SOPS 334168 HAS SOUS 208208 HAS SOUPS 208208 WITH SCORE 208542.168
AT ITER 8099 NEW BEST:: SOT 1123863 SOS 333878 HAS SOPS 333878 HAS SOUS 207918 HAS SOUPS 207918 WITH SCORE 208251.878
AT ITER 8103 NEW BEST:: SOT 1123829 SOS 333844 HAS SOPS 333844 HAS SOUS 207859 HAS SOUPS 207859 WITH SCORE 208192.844
AT ITER 8115 NEW BEST:: SOT 1123829 SOS 333833 HAS SOPS 333833 HAS SOUS 207859 HAS SOUPS 207859 WITH SCORE 208192.833
AT ITER 8135 NEW BEST:: SOT 1123829 SOS 333809 HAS SOPS 333809 HAS SOUS 207859 HAS SOUPS 207859 WITH SCORE 208192.809
AT ITER 8147 NEW BEST:: SOT 1123835 SOS 333862 HAS SOPS 333862 HAS SOUS 207818 HAS SOUPS 207818 WITH SCORE 208151.862
AT ITER 8160 NEW BEST:: SOT 1123831 SOS 333854 HAS SOPS 333854 HAS SOUS 207810 HAS SOUPS 207810 WITH SCORE 208143.854
AT ITER 8166 NEW BEST:: SOT 1123831 SOS 333834 HAS SOPS 333834 HAS SOUS 207808 HAS SOUPS 207808 WITH SCORE 208141.834
AT ITER 8171 NEW BEST:: SOT 1123783 SOS 333738 HAS SOPS 333738 HAS SOUS 207712 HAS SOUPS 207712 WITH SCORE 208045.738
AT ITER 8195 NEW BEST:: SOT 1123740 SOS 333695 HAS SOPS 333695 HAS SOUS 207669 HAS SOUPS 207669 WITH SCORE 208002.695
AT ITER 8204 NEW BEST:: SOT 1123718 SOS 333593 HAS SOPS 333593 HAS SOUS 207567 HAS SOUPS 207567 WITH SCORE 207900.593
AT ITER 8232 NEW BEST:: SOT 1123713 SOS 333603 HAS SOPS 333603 HAS SOUS 207517 HAS SOUPS 207517 WITH SCORE 207850.603
AT ITER 8248 NEW BEST:: SOT 1123713 SOS 333537 HAS SOPS 333537 HAS SOUS 207517 HAS SOUPS 207517 WITH SCORE 207850.537
AT ITER 8257 NEW BEST:: SOT 1123705 SOS 333521 HAS SOPS 333521 HAS SOUS 207501 HAS SOUPS 207501 WITH SCORE 207834.521
AT ITER 8284 NEW BEST:: SOT 1123712 SOS 333276 HAS SOPS 333276 HAS SOUS 207445 HAS SOUPS 207445 WITH SCORE 207778.276
AT ITER 8307 NEW BEST:: SOT 1123665 SOS 333229 HAS SOPS 333229 HAS SOUS 207351 HAS SOUPS 207351 WITH SCORE 207684.229
AT ITER 8326 NEW BEST:: SOT 1123489 SOS 332919 HAS SOPS 332919 HAS SOUS 207201 HAS SOUPS 207201 WITH SCORE 207533.919
AT ITER 8338 NEW BEST:: SOT 1123488 SOS 332939 HAS SOPS 332939 HAS SOUS 207199 HAS SOUPS 207199 WITH SCORE 207531.939
AT ITER 8377 NEW BEST:: SOT 1123482 SOS 332887 HAS SOPS 332887 HAS SOUS 207147 HAS SOUPS 207147 WITH SCORE 207479.887
AT ITER 8409 NEW BEST:: SOT 1123481 SOS 332885 HAS SOPS 332885 HAS SOUS 207145 HAS SOUPS 207145 WITH SCORE 207477.885
AT ITER 8415 NEW BEST:: SOT 1123480 SOS 332884 HAS SOPS 332884 HAS SOUS 207143 HAS SOUPS 207143 WITH SCORE 207475.884
AT ITER 8422 NEW BEST:: SOT 1123436 SOS 332671 HAS SOPS 332671 HAS SOUS 206963 HAS SOUPS 206963 WITH SCORE 207295.671
AT ITER 8429 NEW BEST:: SOT 1123441 SOS 332853 HAS SOPS 332853 HAS SOUS 206948 HAS SOUPS 206948 WITH SCORE 207280.853
AT ITER 8431 NEW BEST:: SOT 1123486 SOS 332898 HAS SOPS 332898 HAS SOUS 206946 HAS SOUPS 206946 WITH SCORE 207278.898
AT ITER 8452 NEW BEST:: SOT 1123486 SOS 332798 HAS SOPS 332798 HAS SOUS 206743 HAS SOUPS 206743 WITH SCORE 207075.798
AT ITER 8474 NEW BEST:: SOT 1123330 SOS 332565 HAS SOPS 332565 HAS SOUS 206510 HAS SOUPS 206510 WITH SCORE 206842.565
AT ITER 8477 NEW BEST:: SOT 1123234 SOS 332318 HAS SOPS 332318 HAS SOUS 206318 HAS SOUPS 206318 WITH SCORE 206650.318
AT ITER 8489 NEW BEST:: SOT 1123205 SOS 331908 HAS SOPS 331908 HAS SOUS 206271 HAS SOUPS 206271 WITH SCORE 206602.908
AT ITER 8496 NEW BEST:: SOT 1123185 SOS 331888 HAS SOPS 331888 HAS SOUS 206251 HAS SOUPS 206251 WITH SCORE 206582.888
AT ITER 8532 NEW BEST:: SOT 1123185 SOS 331888 HAS SOPS 331888 HAS SOUS 206242 HAS SOUPS 206242 WITH SCORE 206573.888
AT ITER 8539 NEW BEST:: SOT 1122585 SOS 331311 HAS SOPS 331311 HAS SOUS 206010 HAS SOUPS 206010 WITH SCORE 206341.311
AT ITER 8541 NEW BEST:: SOT 1122585 SOS 331311 HAS SOPS 331311 HAS SOUS 206006 HAS SOUPS 206006 WITH SCORE 206337.311
AT ITER 8571 NEW BEST:: SOT 1122585 SOS 331167 HAS SOPS 331167 HAS SOUS 205862 HAS SOUPS 205862 WITH SCORE 206193.167
AT ITER 8614 NEW BEST:: SOT 1122574 SOS 331145 HAS SOPS 331145 HAS SOUS 205838 HAS SOUPS 205838 WITH SCORE 206169.145
AT ITER 8625 NEW BEST:: SOT 1122556 SOS 331109 HAS SOPS 331109 HAS SOUS 205825 HAS SOUPS 205825 WITH SCORE 206156.109
AT ITER 8627 NEW BEST:: SOT 1122535 SOS 331695 HAS SOPS 331695 HAS SOUS 205803 HAS SOUPS 205803 WITH SCORE 206134.695
AT ITER 8635 NEW BEST:: SOT 1122550 SOS 331635 HAS SOPS 331635 HAS SOUS 205803 HAS SOUPS 205803 WITH SCORE 206134.635
AT ITER 8680 NEW BEST:: SOT 1122347 SOS 328251 HAS SOPS 328251 HAS SOUS 205330 HAS SOUPS 205330 WITH SCORE 205658.251
AT ITER 8685 NEW BEST:: SOT 1122330 SOS 328290 HAS SOPS 328290 HAS SOUS 205313 HAS SOUPS 205313 WITH SCORE 205641.29
AT ITER 8692 NEW BEST:: SOT 1122325 SOS 328427 HAS SOPS 328427 HAS SOUS 205296 HAS SOUPS 205296 WITH SCORE 205624.427
AT ITER 8706 NEW BEST:: SOT 1122217 SOS 328205 HAS SOPS 328205 HAS SOUS 205185 HAS SOUPS 205185 WITH SCORE 205513.205
AT ITER 8718 NEW BEST:: SOT 1122182 SOS 328195 HAS SOPS 328195 HAS SOUS 205175 HAS SOUPS 205175 WITH SCORE 205503.195
AT ITER 8739 NEW BEST:: SOT 1122157 SOS 328145 HAS SOPS 328145 HAS SOUS 205150 HAS SOUPS 205150 WITH SCORE 205478.145
AT ITER 8754 NEW BEST:: SOT 1122108 SOS 328065 HAS SOPS 328065 HAS SOUS 204976 HAS SOUPS 204976 WITH SCORE 205304.065
AT ITER 8800 NEW BEST:: SOT 1122108 SOS 328069 HAS SOPS 328069 HAS SOUS 204958 HAS SOUPS 204958 WITH SCORE 205286.069
AT ITER 8805 NEW BEST:: SOT 1121903 SOS 328062 HAS SOPS 328062 HAS SOUS 204828 HAS SOUPS 204828 WITH SCORE 205156.062
AT ITER 8815 NEW BEST:: SOT 1121886 SOS 328028 HAS SOPS 328028 HAS SOUS 204794 HAS SOUPS 204794 WITH SCORE 205122.028
AT ITER 8819 NEW BEST:: SOT 1121886 SOS 327276 HAS SOPS 327276 HAS SOUS 204718 HAS SOUPS 204718 WITH SCORE 205045.276
AT ITER 8825 NEW BEST:: SOT 1121882 SOS 327194 HAS SOPS 327194 HAS SOUS 204636 HAS SOUPS 204636 WITH SCORE 204963.194
AT ITER 8849 NEW BEST:: SOT 1121814 SOS 327157 HAS SOPS 327157 HAS SOUS 203807 HAS SOUPS 203807 WITH SCORE 204134.157
AT ITER 8876 NEW BEST:: SOT 1121700 SOS 327103 HAS SOPS 327103 HAS SOUS 203677 HAS SOUPS 203677 WITH SCORE 204004.103
AT ITER 8897 NEW BEST:: SOT 1121714 SOS 327101 HAS SOPS 327101 HAS SOUS 203675 HAS SOUPS 203675 WITH SCORE 204002.101
AT ITER 8904 NEW BEST:: SOT 1121525 SOS 326896 HAS SOPS 326896 HAS SOUS 203576 HAS SOUPS 203576 WITH SCORE 203902.896
AT ITER 8908 NEW BEST:: SOT 1121525 SOS 326855 HAS SOPS 326855 HAS SOUS 203535 HAS SOUPS 203535 WITH SCORE 203861.855
AT ITER 8946 NEW BEST:: SOT 1121525 SOS 326852 HAS SOPS 326852 HAS SOUS 203513 HAS SOUPS 203513 WITH SCORE 203839.852
AT ITER 8982 NEW BEST:: SOT 1121554 SOS 326910 HAS SOPS 326910 HAS SOUS 203495 HAS SOUPS 203495 WITH SCORE 203821.91
AT ITER 9015 NEW BEST:: SOT 1121554 SOS 327823 HAS SOPS 327823 HAS SOUS 203477 HAS SOUPS 203477 WITH SCORE 203804.823
AT ITER 9019 NEW BEST:: SOT 1121537 SOS 327789 HAS SOPS 327789 HAS SOUS 203443 HAS SOUPS 203443 WITH SCORE 203770.789
AT ITER 9046 NEW BEST:: SOT 1121491 SOS 327657 HAS SOPS 327657 HAS SOUS 203324 HAS SOUPS 203324 WITH SCORE 203651.657
AT ITER 9047 NEW BEST:: SOT 1121396 SOS 327546 HAS SOPS 327546 HAS SOUS 203143 HAS SOUPS 203143 WITH SCORE 203470.546
AT ITER 9056 NEW BEST:: SOT 1121293 SOS 327443 HAS SOPS 327443 HAS SOUS 203040 HAS SOUPS 203040 WITH SCORE 203367.443
AT ITER 9087 NEW BEST:: SOT 1121099 SOS 327512 HAS SOPS 327512 HAS SOUS 202846 HAS SOUPS 202846 WITH SCORE 203173.512
AT ITER 9108 NEW BEST:: SOT 1121097 SOS 327508 HAS SOPS 327508 HAS SOUS 202842 HAS SOUPS 202842 WITH SCORE 203169.508
AT ITER 9111 NEW BEST:: SOT 1121033 SOS 327553 HAS SOPS 327553 HAS SOUS 202823 HAS SOUPS 202823 WITH SCORE 203150.553
AT ITER 9138 NEW BEST:: SOT 1120944 SOS 327454 HAS SOPS 327454 HAS SOUS 202644 HAS SOUPS 202644 WITH SCORE 202971.454
AT ITER 9141 NEW BEST:: SOT 1120866 SOS 327283 HAS SOPS 327283 HAS SOUS 202420 HAS SOUPS 202420 WITH SCORE 202747.283
AT ITER 9142 NEW BEST:: SOT 1120833 SOS 327249 HAS SOPS 327249 HAS SOUS 202386 HAS SOUPS 202386 WITH SCORE 202713.249
AT ITER 9143 NEW BEST:: SOT 1120823 SOS 327229 HAS SOPS 327229 HAS SOUS 202366 HAS SOUPS 202366 WITH SCORE 202693.229
AT ITER 9147 NEW BEST:: SOT 1120660 SOS 327189 HAS SOPS 327189 HAS SOUS 202346 HAS SOUPS 202346 WITH SCORE 202673.189
AT ITER 9172 NEW BEST:: SOT 1120660 SOS 327186 HAS SOPS 327186 HAS SOUS 202343 HAS SOUPS 202343 WITH SCORE 202670.186
AT ITER 9195 NEW BEST:: SOT 1120628 SOS 327122 HAS SOPS 327122 HAS SOUS 202295 HAS SOUPS 202295 WITH SCORE 202622.122
AT ITER 9209 NEW BEST:: SOT 1120634 SOS 327053 HAS SOPS 327053 HAS SOUS 202268 HAS SOUPS 202268 WITH SCORE 202595.053
AT ITER 9218 NEW BEST:: SOT 1120634 SOS 327045 HAS SOPS 327045 HAS SOUS 202268 HAS SOUPS 202268 WITH SCORE 202595.045
AT ITER 9221 NEW BEST:: SOT 1120634 SOS 327081 HAS SOPS 327081 HAS SOUS 202016 HAS SOUPS 202016 WITH SCORE 202343.081
AT ITER 9223 NEW BEST:: SOT 1120632 SOS 327065 HAS SOPS 327065 HAS SOUS 202010 HAS SOUPS 202010 WITH SCORE 202337.065
AT ITER 9260 NEW BEST:: SOT 1120564 SOS 326929 HAS SOPS 326929 HAS SOUS 201928 HAS SOUPS 201928 WITH SCORE 202254.929
AT ITER 9279 NEW BEST:: SOT 1120573 SOS 326952 HAS SOPS 326952 HAS SOUS 201888 HAS SOUPS 201888 WITH SCORE 202214.952
AT ITER 9282 NEW BEST:: SOT 1120216 SOS 326742 HAS SOPS 326742 HAS SOUS 201678 HAS SOUPS 201678 WITH SCORE 202004.742
AT ITER 9294 NEW BEST:: SOT 1120140 SOS 326646 HAS SOPS 326646 HAS SOUS 201582 HAS SOUPS 201582 WITH SCORE 201908.646
AT ITER 9299 NEW BEST:: SOT 1120112 SOS 326644 HAS SOPS 326644 HAS SOUS 201558 HAS SOUPS 201558 WITH SCORE 201884.644
AT ITER 9305 NEW BEST:: SOT 1120015 SOS 324898 HAS SOPS 324898 HAS SOUS 201166 HAS SOUPS 201166 WITH SCORE 201490.898
AT ITER 9313 NEW BEST:: SOT 1120015 SOS 324711 HAS SOPS 324711 HAS SOUS 200979 HAS SOUPS 200979 WITH SCORE 201303.711
AT ITER 9332 NEW BEST:: SOT 1119969 SOS 323428 HAS SOPS 323428 HAS SOUS 200667 HAS SOUPS 200667 WITH SCORE 200990.428
AT ITER 9353 NEW BEST:: SOT 1119965 SOS 323411 HAS SOPS 323411 HAS SOUS 200650 HAS SOUPS 200650 WITH SCORE 200973.411
AT ITER 9414 NEW BEST:: SOT 1120013 SOS 323272 HAS SOPS 323272 HAS SOUS 200511 HAS SOUPS 200511 WITH SCORE 200834.272
AT ITER 9432 NEW BEST:: SOT 1119953 SOS 323168 HAS SOPS 323168 HAS SOUS 200431 HAS SOUPS 200431 WITH SCORE 200754.168
AT ITER 9447 NEW BEST:: SOT 1119953 SOS 323127 HAS SOPS 323127 HAS SOUS 200390 HAS SOUPS 200390 WITH SCORE 200713.127
AT ITER 9463 NEW BEST:: SOT 1119917 SOS 323067 HAS SOPS 323067 HAS SOUS 200342 HAS SOUPS 200342 WITH SCORE 200665.067
AT ITER 9516 NEW BEST:: SOT 1119925 SOS 323052 HAS SOPS 323052 HAS SOUS 200327 HAS SOUPS 200327 WITH SCORE 200650.052
AT ITER 9524 NEW BEST:: SOT 1119880 SOS 323007 HAS SOPS 323007 HAS SOUS 200282 HAS SOUPS 200282 WITH SCORE 200605.007
AT ITER 9540 NEW BEST:: SOT 1119875 SOS 322997 HAS SOPS 322997 HAS SOUS 200272 HAS SOUPS 200272 WITH SCORE 200594.997
AT ITER 9541 NEW BEST:: SOT 1119827 SOS 323009 HAS SOPS 323009 HAS SOUS 200194 HAS SOUPS 200194 WITH SCORE 200517.009
AT ITER 9549 NEW BEST:: SOT 1119800 SOS 323599 HAS SOPS 323599 HAS SOUS 199846 HAS SOUPS 199846 WITH SCORE 200169.599
AT ITER 9553 NEW BEST:: SOT 1119664 SOS 323327 HAS SOPS 323327 HAS SOUS 199574 HAS SOUPS 199574 WITH SCORE 199897.327
AT ITER 9564 NEW BEST:: SOT 1119735 SOS 323391 HAS SOPS 323391 HAS SOUS 199480 HAS SOUPS 199480 WITH SCORE 199803.391
AT ITER 9569 NEW BEST:: SOT 1119676 SOS 323441 HAS SOPS 323441 HAS SOUS 199362 HAS SOUPS 199362 WITH SCORE 199685.441
AT ITER 9600 NEW BEST:: SOT 1119659 SOS 323407 HAS SOPS 323407 HAS SOUS 199328 HAS SOUPS 199328 WITH SCORE 199651.407
AT ITER 9609 NEW BEST:: SOT 1119617 SOS 323323 HAS SOPS 323323 HAS SOUS 199244 HAS SOUPS 199244 WITH SCORE 199567.323
AT ITER 9613 NEW BEST:: SOT 1119563 SOS 323215 HAS SOPS 323215 HAS SOUS 199116 HAS SOUPS 199116 WITH SCORE 199439.215
AT ITER 9632 NEW BEST:: SOT 1119624 SOS 323116 HAS SOPS 323116 HAS SOUS 199074 HAS SOUPS 199074 WITH SCORE 199397.116
AT ITER 9668 NEW BEST:: SOT 1119439 SOS 322542 HAS SOPS 322542 HAS SOUS 198996 HAS SOUPS 198996 WITH SCORE 199318.542
AT ITER 9678 NEW BEST:: SOT 1119439 SOS 322531 HAS SOPS 322531 HAS SOUS 198853 HAS SOUPS 198853 WITH SCORE 199175.531
AT ITER 9707 NEW BEST:: SOT 1119439 SOS 322489 HAS SOPS 322489 HAS SOUS 198853 HAS SOUPS 198853 WITH SCORE 199175.489
AT ITER 9724 NEW BEST:: SOT 1119439 SOS 322474 HAS SOPS 322474 HAS SOUS 198853 HAS SOUPS 198853 WITH SCORE 199175.474
AT ITER 9757 NEW BEST:: SOT 1119439 SOS 322458 HAS SOPS 322458 HAS SOUS 198837 HAS SOUPS 198837 WITH SCORE 199159.458
AT ITER 9766 NEW BEST:: SOT 1119455 SOS 322425 HAS SOPS 322425 HAS SOUS 198804 HAS SOUPS 198804 WITH SCORE 199126.425
AT ITER 9770 NEW BEST:: SOT 1119475 SOS 322331 HAS SOPS 322331 HAS SOUS 198710 HAS SOUPS 198710 WITH SCORE 199032.331
AT ITER 9786 NEW BEST:: SOT 1119584 SOS 322279 HAS SOPS 322279 HAS SOUS 198658 HAS SOUPS 198658 WITH SCORE 198980.279
AT ITER 9799 NEW BEST:: SOT 1119554 SOS 322219 HAS SOPS 322219 HAS SOUS 198598 HAS SOUPS 198598 WITH SCORE 198920.219
AT ITER 9832 NEW BEST:: SOT 1119519 SOS 322149 HAS SOPS 322149 HAS SOUS 198528 HAS SOUPS 198528 WITH SCORE 198850.149
AT ITER 9843 NEW BEST:: SOT 1119505 SOS 322037 HAS SOPS 322037 HAS SOUS 198486 HAS SOUPS 198486 WITH SCORE 198808.037
AT ITER 9873 NEW BEST:: SOT 1119505 SOS 321992 HAS SOPS 321992 HAS SOUS 198396 HAS SOUPS 198396 WITH SCORE 198717.992
AT ITER 9879 NEW BEST:: SOT 1119486 SOS 321511 HAS SOPS 321511 HAS SOUS 198342 HAS SOUPS 198342 WITH SCORE 198663.511
AT ITER 9920 NEW BEST:: SOT 1119413 SOS 321438 HAS SOPS 321438 HAS SOUS 198269 HAS SOUPS 198269 WITH SCORE 198590.438
AT ITER 9928 NEW BEST:: SOT 1119363 SOS 321364 HAS SOPS 321364 HAS SOUS 198195 HAS SOUPS 198195 WITH SCORE 198516.364
AT ITER 9932 NEW BEST:: SOT 1119363 SOS 321319 HAS SOPS 321319 HAS SOUS 198150 HAS SOUPS 198150 WITH SCORE 198471.319
AT ITER 9950 NEW BEST:: SOT 1119363 SOS 321006 HAS SOPS 321006 HAS SOUS 198150 HAS SOUPS 198150 WITH SCORE 198471.006
AT ITER 9987 NEW BEST:: SOT 1118569 SOS 320219 HAS SOPS 320219 HAS SOUS 197451 HAS SOUPS 197451 WITH SCORE 197771.219
AT ITER 9992 NEW BEST:: SOT 1118548 SOS 319907 HAS SOPS 319907 HAS SOUS 197374 HAS SOUPS 197374 WITH SCORE 197693.907
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 11714480 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16124200 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-02b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-02b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599600040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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