About the Execution of Smart+red for Medical-PT-12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3461.472 | 3600000.00 | 3636689.00 | 8503.70 | [undef] | Time out reached |
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.r235-tall-167856422200696.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is Medical-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422200696
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.8K Feb 25 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 25 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678682394924
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=Medical-PT-12
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 04:39:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 04:39:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 04:39:56] [INFO ] Load time of PNML (sax parser for PT used): 235 ms
[2023-03-13 04:39:56] [INFO ] Transformed 312 places.
[2023-03-13 04:39:56] [INFO ] Transformed 5431 transitions.
[2023-03-13 04:39:56] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 333 ms.
[2023-03-13 04:39:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 64 ms.
Total runtime 424 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 12
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 1 NEW BEST:: SOT 1169527 SOS 638891 HAS SOPS 635795 HAS SOUS 252199 HAS SOUPS 249382 WITH SCORE 250020.891
AT ITER 3 NEW BEST:: SOT 1169527 SOS 640283 HAS SOPS 637187 HAS SOUS 251972 HAS SOUPS 249155 WITH SCORE 249795.283
AT ITER 10 NEW BEST:: SOT 1169527 SOS 640283 HAS SOPS 637187 HAS SOUS 251957 HAS SOUPS 249140 WITH SCORE 249780.283
AT ITER 12 NEW BEST:: SOT 1154080 SOS 699063 HAS SOPS 695967 HAS SOUS 236734 HAS SOUPS 233917 WITH SCORE 234616.063
AT ITER 15 NEW BEST:: SOT 1154080 SOS 699855 HAS SOPS 696759 HAS SOUS 236676 HAS SOUPS 233859 WITH SCORE 234558.855
AT ITER 16 NEW BEST:: SOT 1154083 SOS 699922 HAS SOPS 696762 HAS SOUS 235600 HAS SOUPS 232729 WITH SCORE 233428.922
AT ITER 21 NEW BEST:: SOT 1154083 SOS 699922 HAS SOPS 696762 HAS SOUS 235245 HAS SOUPS 232374 WITH SCORE 233073.922
AT ITER 24 NEW BEST:: SOT 1153902 SOS 699429 HAS SOPS 696269 HAS SOUS 234971 HAS SOUPS 232100 WITH SCORE 232799.429
AT ITER 25 NEW BEST:: SOT 1153224 SOS 698703 HAS SOPS 695591 HAS SOUS 233336 HAS SOUPS 230498 WITH SCORE 231196.703
AT ITER 29 NEW BEST:: SOT 1153054 SOS 698533 HAS SOPS 695421 HAS SOUS 232913 HAS SOUPS 230075 WITH SCORE 230773.533
AT ITER 43 NEW BEST:: SOT 1153553 SOS 699622 HAS SOPS 696520 HAS SOUS 230750 HAS SOUPS 227912 WITH SCORE 228611.622
AT ITER 48 NEW BEST:: SOT 1129817 SOS 676338 HAS SOPS 674392 HAS SOUS 205281 HAS SOUPS 203565 WITH SCORE 204241.338
AT ITER 55 NEW BEST:: SOT 1129925 SOS 676494 HAS SOPS 674548 HAS SOUS 205222 HAS SOUPS 203506 WITH SCORE 204182.494
AT ITER 57 NEW BEST:: SOT 1129397 SOS 602941 HAS SOPS 600995 HAS SOUS 204790 HAS SOUPS 203074 WITH SCORE 203676.941
AT ITER 61 NEW BEST:: SOT 1129397 SOS 603661 HAS SOPS 601715 HAS SOUS 204652 HAS SOUPS 202936 WITH SCORE 203539.661
AT ITER 66 NEW BEST:: SOT 1129377 SOS 603641 HAS SOPS 601695 HAS SOUS 204170 HAS SOUPS 202454 WITH SCORE 203057.641
AT ITER 70 NEW BEST:: SOT 1128006 SOS 602270 HAS SOPS 600324 HAS SOUS 203717 HAS SOUPS 202001 WITH SCORE 202603.27
AT ITER 73 NEW BEST:: SOT 1129006 SOS 603228 HAS SOPS 601324 HAS SOUS 200650 HAS SOUPS 198956 WITH SCORE 199559.228
AT ITER 93 NEW BEST:: SOT 1128865 SOS 605442 HAS SOPS 603538 HAS SOUS 200046 HAS SOUPS 198352 WITH SCORE 198957.442
AT ITER 94 NEW BEST:: SOT 1128845 SOS 605422 HAS SOPS 603518 HAS SOUS 199553 HAS SOUPS 197859 WITH SCORE 198464.422
AT ITER 96 NEW BEST:: SOT 1128845 SOS 605422 HAS SOPS 603518 HAS SOUS 199550 HAS SOUPS 197856 WITH SCORE 198461.422
AT ITER 103 NEW BEST:: SOT 1128765 SOS 605342 HAS SOPS 603438 HAS SOUS 199265 HAS SOUPS 197571 WITH SCORE 198176.342
AT ITER 111 NEW BEST:: SOT 1128907 SOS 605484 HAS SOPS 603580 HAS SOUS 198825 HAS SOUPS 197131 WITH SCORE 197736.484
AT ITER 117 NEW BEST:: SOT 1129027 SOS 605599 HAS SOPS 603732 HAS SOUS 196836 HAS SOUPS 195156 WITH SCORE 195761.599
AT ITER 124 NEW BEST:: SOT 1129002 SOS 605542 HAS SOPS 603707 HAS SOUS 196611 HAS SOUPS 194947 WITH SCORE 195552.542
AT ITER 128 NEW BEST:: SOT 1130967 SOS 607471 HAS SOPS 605672 HAS SOUS 194087 HAS SOUPS 192442 WITH SCORE 193049.471
AT ITER 138 NEW BEST:: SOT 1132742 SOS 611502 HAS SOPS 609703 HAS SOUS 193917 HAS SOUPS 192272 WITH SCORE 192883.502
AT ITER 142 NEW BEST:: SOT 1132603 SOS 611327 HAS SOPS 609564 HAS SOUS 191966 HAS SOUPS 190342 WITH SCORE 190953.327
AT ITER 146 NEW BEST:: SOT 1132677 SOS 611401 HAS SOPS 609638 HAS SOUS 191663 HAS SOUPS 190039 WITH SCORE 190650.401
AT ITER 153 NEW BEST:: SOT 1132677 SOS 611401 HAS SOPS 609638 HAS SOUS 191492 HAS SOUPS 189868 WITH SCORE 190479.401
AT ITER 155 NEW BEST:: SOT 1132715 SOS 611441 HAS SOPS 609704 HAS SOUS 189268 HAS SOUPS 187658 WITH SCORE 188269.441
AT ITER 160 NEW BEST:: SOT 1131132 SOS 609858 HAS SOPS 608121 HAS SOUS 188391 HAS SOUPS 186781 WITH SCORE 187390.858
AT ITER 173 NEW BEST:: SOT 1131132 SOS 609438 HAS SOPS 607701 HAS SOUS 188391 HAS SOUPS 186781 WITH SCORE 187390.438
AT ITER 174 NEW BEST:: SOT 1130555 SOS 606617 HAS SOPS 604880 HAS SOUS 187893 HAS SOUPS 186283 WITH SCORE 186889.617
AT ITER 177 NEW BEST:: SOT 1130555 SOS 606617 HAS SOPS 604880 HAS SOUS 187888 HAS SOUPS 186278 WITH SCORE 186884.617
AT ITER 184 NEW BEST:: SOT 1129856 SOS 609470 HAS SOPS 607733 HAS SOUS 187421 HAS SOUPS 185811 WITH SCORE 186420.47
AT ITER 188 NEW BEST:: SOT 1127900 SOS 615798 HAS SOPS 613693 HAS SOUS 186285 HAS SOUPS 184577 WITH SCORE 185192.798
AT ITER 191 NEW BEST:: SOT 1127900 SOS 615798 HAS SOPS 613693 HAS SOUS 186279 HAS SOUPS 184571 WITH SCORE 185186.798
AT ITER 192 NEW BEST:: SOT 1127900 SOS 615614 HAS SOPS 613509 HAS SOUS 186271 HAS SOUPS 184563 WITH SCORE 185178.614
AT ITER 193 NEW BEST:: SOT 1127909 SOS 615712 HAS SOPS 613584 HAS SOUS 185943 HAS SOUPS 184237 WITH SCORE 184852.712
AT ITER 195 NEW BEST:: SOT 1127941 SOS 616512 HAS SOPS 614384 HAS SOUS 185751 HAS SOUPS 184045 WITH SCORE 184661.512
AT ITER 208 NEW BEST:: SOT 1126463 SOS 615034 HAS SOPS 612906 HAS SOUS 185172 HAS SOUPS 183466 WITH SCORE 184081.034
AT ITER 214 NEW BEST:: SOT 1126283 SOS 614900 HAS SOPS 612762 HAS SOUS 184486 HAS SOUPS 182778 WITH SCORE 183392.9
AT ITER 216 NEW BEST:: SOT 1126356 SOS 616868 HAS SOPS 614730 HAS SOUS 183958 HAS SOUPS 182250 WITH SCORE 182866.868
AT ITER 223 NEW BEST:: SOT 1126356 SOS 616500 HAS SOPS 614362 HAS SOUS 183942 HAS SOUPS 182234 WITH SCORE 182850.5
AT ITER 228 NEW BEST:: SOT 1126356 SOS 616500 HAS SOPS 614362 HAS SOUS 183673 HAS SOUPS 181965 WITH SCORE 182581.5
AT ITER 233 NEW BEST:: SOT 1126405 SOS 617893 HAS SOPS 615755 HAS SOUS 182559 HAS SOUPS 180851 WITH SCORE 181468.893
AT ITER 248 NEW BEST:: SOT 1126896 SOS 618384 HAS SOPS 616246 HAS SOUS 182430 HAS SOUPS 180722 WITH SCORE 181340.384
AT ITER 250 NEW BEST:: SOT 1126383 SOS 617662 HAS SOPS 615179 HAS SOUS 181917 HAS SOUPS 179914 WITH SCORE 180531.662
AT ITER 251 NEW BEST:: SOT 1127407 SOS 618575 HAS SOPS 616203 HAS SOUS 180690 HAS SOUPS 178741 WITH SCORE 179359.575
AT ITER 257 NEW BEST:: SOT 1126317 SOS 622091 HAS SOPS 619719 HAS SOUS 179899 HAS SOUPS 177950 WITH SCORE 178572.091
AT ITER 261 NEW BEST:: SOT 1125283 SOS 622132 HAS SOPS 619913 HAS SOUS 179133 HAS SOUPS 177296 WITH SCORE 177918.132
AT ITER 263 NEW BEST:: SOT 1125283 SOS 622149 HAS SOPS 619947 HAS SOUS 178919 HAS SOUPS 177094 WITH SCORE 177716.149
AT ITER 271 NEW BEST:: SOT 1125107 SOS 622086 HAS SOPS 619873 HAS SOUS 178858 HAS SOUPS 177026 WITH SCORE 177648.086
AT ITER 274 NEW BEST:: SOT 1125107 SOS 622086 HAS SOPS 619873 HAS SOUS 177307 HAS SOUPS 175475 WITH SCORE 176097.086
AT ITER 283 NEW BEST:: SOT 1125107 SOS 622121 HAS SOPS 619921 HAS SOUS 176912 HAS SOUPS 175080 WITH SCORE 175702.121
AT ITER 286 NEW BEST:: SOT 1125244 SOS 628057 HAS SOPS 625857 HAS SOUS 176804 HAS SOUPS 174972 WITH SCORE 175600.057
AT ITER 293 NEW BEST:: SOT 1124652 SOS 627401 HAS SOPS 625265 HAS SOUS 175635 HAS SOUPS 173828 WITH SCORE 174455.401
AT ITER 296 NEW BEST:: SOT 1124608 SOS 627355 HAS SOPS 625225 HAS SOUS 175541 HAS SOUPS 173736 WITH SCORE 174363.355
AT ITER 301 NEW BEST:: SOT 1124608 SOS 628620 HAS SOPS 626490 HAS SOUS 175374 HAS SOUPS 173569 WITH SCORE 174197.62
AT ITER 302 NEW BEST:: SOT 1125330 SOS 631094 HAS SOPS 628964 HAS SOUS 173729 HAS SOUPS 171924 WITH SCORE 172555.094
AT ITER 303 NEW BEST:: SOT 1125727 SOS 637787 HAS SOPS 635657 HAS SOUS 172919 HAS SOUPS 171114 WITH SCORE 171751.787
AT ITER 307 NEW BEST:: SOT 1125727 SOS 638123 HAS SOPS 635993 HAS SOUS 172905 HAS SOUPS 171100 WITH SCORE 171738.123
AT ITER 308 NEW BEST:: SOT 1125602 SOS 637998 HAS SOPS 635868 HAS SOUS 172636 HAS SOUPS 170831 WITH SCORE 171468.998
AT ITER 309 NEW BEST:: SOT 1125602 SOS 637199 HAS SOPS 635069 HAS SOUS 172636 HAS SOUPS 170831 WITH SCORE 171468.199
AT ITER 312 NEW BEST:: SOT 1125629 SOS 637226 HAS SOPS 635096 HAS SOUS 172270 HAS SOUPS 170465 WITH SCORE 171102.226
AT ITER 313 NEW BEST:: SOT 1124841 SOS 636702 HAS SOPS 634572 HAS SOUS 171527 HAS SOUPS 169722 WITH SCORE 170358.702
AT ITER 326 NEW BEST:: SOT 1124841 SOS 638059 HAS SOPS 635929 HAS SOUS 171360 HAS SOUPS 169555 WITH SCORE 170193.059
AT ITER 331 NEW BEST:: SOT 1125503 SOS 638714 HAS SOPS 636591 HAS SOUS 171046 HAS SOUPS 169248 WITH SCORE 169886.714
AT ITER 332 NEW BEST:: SOT 1125518 SOS 639074 HAS SOPS 636951 HAS SOUS 170996 HAS SOUPS 169198 WITH SCORE 169837.074
AT ITER 335 NEW BEST:: SOT 1125451 SOS 638970 HAS SOPS 636838 HAS SOUS 170882 HAS SOUPS 169075 WITH SCORE 169713.97
AT ITER 355 NEW BEST:: SOT 1127452 SOS 745445 HAS SOPS 743313 HAS SOUS 170485 HAS SOUPS 168678 WITH SCORE 169423.445
AT ITER 356 NEW BEST:: SOT 1126178 SOS 748070 HAS SOPS 745938 HAS SOUS 169340 HAS SOUPS 167533 WITH SCORE 168281.07
AT ITER 359 NEW BEST:: SOT 1125411 SOS 749654 HAS SOPS 747524 HAS SOUS 169009 HAS SOUPS 167202 WITH SCORE 167951.654
AT ITER 361 NEW BEST:: SOT 1125411 SOS 750547 HAS SOPS 748417 HAS SOUS 168952 HAS SOUPS 167145 WITH SCORE 167895.547
AT ITER 369 NEW BEST:: SOT 1125391 SOS 750527 HAS SOPS 748397 HAS SOUS 168499 HAS SOUPS 166692 WITH SCORE 167442.527
AT ITER 373 NEW BEST:: SOT 1127901 SOS 755437 HAS SOPS 753307 HAS SOUS 168226 HAS SOUPS 166419 WITH SCORE 167174.437
AT ITER 376 NEW BEST:: SOT 1128498 SOS 756658 HAS SOPS 754528 HAS SOUS 167258 HAS SOUPS 165451 WITH SCORE 166207.658
AT ITER 383 NEW BEST:: SOT 1128656 SOS 756886 HAS SOPS 754756 HAS SOUS 166812 HAS SOUPS 165005 WITH SCORE 165761.886
AT ITER 385 NEW BEST:: SOT 1128024 SOS 760208 HAS SOPS 758078 HAS SOUS 166702 HAS SOUPS 164895 WITH SCORE 165655.208
AT ITER 388 NEW BEST:: SOT 1129063 SOS 760950 HAS SOPS 758820 HAS SOUS 166100 HAS SOUPS 164293 WITH SCORE 165053.95
AT ITER 396 NEW BEST:: SOT 1129063 SOS 760953 HAS SOPS 758823 HAS SOUS 166088 HAS SOUPS 164281 WITH SCORE 165041.953
AT ITER 404 NEW BEST:: SOT 1129055 SOS 760489 HAS SOPS 758359 HAS SOUS 166085 HAS SOUPS 164278 WITH SCORE 165038.489
AT ITER 407 NEW BEST:: SOT 1129086 SOS 785504 HAS SOPS 783374 HAS SOUS 165873 HAS SOUPS 164066 WITH SCORE 164851.504
AT ITER 410 NEW BEST:: SOT 1129133 SOS 785887 HAS SOPS 783757 HAS SOUS 165650 HAS SOUPS 163843 WITH SCORE 164628.887
AT ITER 416 NEW BEST:: SOT 1129224 SOS 785978 HAS SOPS 783848 HAS SOUS 165566 HAS SOUPS 163759 WITH SCORE 164544.978
AT ITER 417 NEW BEST:: SOT 1128711 SOS 787567 HAS SOPS 785458 HAS SOUS 164981 HAS SOUPS 163189 WITH SCORE 163976.567
AT ITER 426 NEW BEST:: SOT 1128384 SOS 787469 HAS SOPS 785443 HAS SOUS 164484 HAS SOUPS 162742 WITH SCORE 163529.469
AT ITER 439 NEW BEST:: SOT 1129350 SOS 790741 HAS SOPS 788715 HAS SOUS 163868 HAS SOUPS 162126 WITH SCORE 162916.741
AT ITER 444 NEW BEST:: SOT 1129432 SOS 795803 HAS SOPS 793777 HAS SOUS 162620 HAS SOUPS 160878 WITH SCORE 161673.803
AT ITER 458 NEW BEST:: SOT 1129432 SOS 795803 HAS SOPS 793777 HAS SOUS 162616 HAS SOUPS 160874 WITH SCORE 161669.803
AT ITER 469 NEW BEST:: SOT 1129432 SOS 795803 HAS SOPS 793777 HAS SOUS 162536 HAS SOUPS 160794 WITH SCORE 161589.803
AT ITER 471 NEW BEST:: SOT 1129432 SOS 795803 HAS SOPS 793777 HAS SOUS 162457 HAS SOUPS 160715 WITH SCORE 161510.803
AT ITER 473 NEW BEST:: SOT 1129417 SOS 795788 HAS SOPS 793762 HAS SOUS 161927 HAS SOUPS 160185 WITH SCORE 160980.788
AT ITER 477 NEW BEST:: SOT 1129390 SOS 795761 HAS SOPS 793735 HAS SOUS 161325 HAS SOUPS 159583 WITH SCORE 160378.761
AT ITER 485 NEW BEST:: SOT 1129415 SOS 795906 HAS SOPS 793880 HAS SOUS 161209 HAS SOUPS 159467 WITH SCORE 160262.906
AT ITER 494 NEW BEST:: SOT 1129415 SOS 795906 HAS SOPS 793880 HAS SOUS 160637 HAS SOUPS 158895 WITH SCORE 159690.906
AT ITER 496 NEW BEST:: SOT 1129400 SOS 795891 HAS SOPS 793865 HAS SOUS 160607 HAS SOUPS 158865 WITH SCORE 159660.891
AT ITER 503 NEW BEST:: SOT 1130778 SOS 797115 HAS SOPS 795091 HAS SOUS 158881 HAS SOUPS 157139 WITH SCORE 157936.115
AT ITER 511 NEW BEST:: SOT 1130982 SOS 797383 HAS SOPS 795359 HAS SOUS 158727 HAS SOUPS 156985 WITH SCORE 157782.383
AT ITER 515 NEW BEST:: SOT 1130982 SOS 797311 HAS SOPS 795287 HAS SOUS 158727 HAS SOUPS 156985 WITH SCORE 157782.311
AT ITER 516 NEW BEST:: SOT 1131000 SOS 798175 HAS SOPS 796151 HAS SOUS 158680 HAS SOUPS 156938 WITH SCORE 157736.175
AT ITER 518 NEW BEST:: SOT 1131022 SOS 799231 HAS SOPS 797207 HAS SOUS 158413 HAS SOUPS 156671 WITH SCORE 157470.231
AT ITER 526 NEW BEST:: SOT 1131016 SOS 799233 HAS SOPS 797209 HAS SOUS 158390 HAS SOUPS 156648 WITH SCORE 157447.233
AT ITER 529 NEW BEST:: SOT 1131004 SOS 799221 HAS SOPS 797197 HAS SOUS 158366 HAS SOUPS 156624 WITH SCORE 157423.221
AT ITER 548 NEW BEST:: SOT 1130484 SOS 803963 HAS SOPS 801939 HAS SOUS 157591 HAS SOUPS 155849 WITH SCORE 156652.963
AT ITER 550 NEW BEST:: SOT 1130296 SOS 803809 HAS SOPS 801801 HAS SOUS 156251 HAS SOUPS 154514 WITH SCORE 155317.809
AT ITER 551 NEW BEST:: SOT 1130296 SOS 802184 HAS SOPS 800176 HAS SOUS 156121 HAS SOUPS 154384 WITH SCORE 155186.184
AT ITER 554 NEW BEST:: SOT 1131154 SOS 802998 HAS SOPS 801034 HAS SOUS 155399 HAS SOUPS 153706 WITH SCORE 154508.998
AT ITER 556 NEW BEST:: SOT 1131114 SOS 802958 HAS SOPS 800994 HAS SOUS 155174 HAS SOUPS 153481 WITH SCORE 154283.958
AT ITER 584 NEW BEST:: SOT 1130754 SOS 803838 HAS SOPS 801874 HAS SOUS 154937 HAS SOUPS 153244 WITH SCORE 154047.838
AT ITER 587 NEW BEST:: SOT 1130579 SOS 803663 HAS SOPS 801699 HAS SOUS 154426 HAS SOUPS 152733 WITH SCORE 153536.663
AT ITER 592 NEW BEST:: SOT 1129958 SOS 805344 HAS SOPS 803380 HAS SOUS 154043 HAS SOUPS 152350 WITH SCORE 153155.344
AT ITER 595 NEW BEST:: SOT 1129915 SOS 805301 HAS SOPS 803337 HAS SOUS 153957 HAS SOUPS 152264 WITH SCORE 153069.301
AT ITER 602 NEW BEST:: SOT 1129591 SOS 805573 HAS SOPS 803609 HAS SOUS 153835 HAS SOUPS 152142 WITH SCORE 152947.573
AT ITER 605 NEW BEST:: SOT 1132454 SOS 812342 HAS SOPS 810404 HAS SOUS 153559 HAS SOUPS 151891 WITH SCORE 152703.342
AT ITER 611 NEW BEST:: SOT 1132462 SOS 812350 HAS SOPS 810412 HAS SOUS 153426 HAS SOUPS 151758 WITH SCORE 152570.35
AT ITER 630 NEW BEST:: SOT 1133400 SOS 813288 HAS SOPS 811350 HAS SOUS 153305 HAS SOUPS 151637 WITH SCORE 152450.288
AT ITER 634 NEW BEST:: SOT 1134360 SOS 814364 HAS SOPS 812426 HAS SOUS 152607 HAS SOUPS 150939 WITH SCORE 151753.364
AT ITER 637 NEW BEST:: SOT 1133811 SOS 817145 HAS SOPS 815139 HAS SOUS 152270 HAS SOUPS 150542 WITH SCORE 151359.145
AT ITER 639 NEW BEST:: SOT 1133377 SOS 816628 HAS SOPS 814622 HAS SOUS 151838 HAS SOUPS 150110 WITH SCORE 150926.628
AT ITER 644 NEW BEST:: SOT 1133384 SOS 818391 HAS SOPS 816385 HAS SOUS 151737 HAS SOUPS 150009 WITH SCORE 150827.391
AT ITER 653 NEW BEST:: SOT 1131792 SOS 816799 HAS SOPS 814793 HAS SOUS 151386 HAS SOUPS 149658 WITH SCORE 150474.799
AT ITER 657 NEW BEST:: SOT 1132132 SOS 819327 HAS SOPS 817321 HAS SOUS 151124 HAS SOUPS 149396 WITH SCORE 150215.327
AT ITER 660 NEW BEST:: SOT 1134171 SOS 825868 HAS SOPS 824176 HAS SOUS 150702 HAS SOUPS 149288 WITH SCORE 150113.868
AT ITER 666 NEW BEST:: SOT 1134168 SOS 825865 HAS SOPS 824173 HAS SOUS 150694 HAS SOUPS 149280 WITH SCORE 150105.865
AT ITER 671 NEW BEST:: SOT 1134111 SOS 825808 HAS SOPS 824116 HAS SOUS 150637 HAS SOUPS 149223 WITH SCORE 150048.808
AT ITER 681 NEW BEST:: SOT 1133362 SOS 825059 HAS SOPS 823367 HAS SOUS 150050 HAS SOUPS 148636 WITH SCORE 149461.059
AT ITER 696 NEW BEST:: SOT 1133325 SOS 823547 HAS SOPS 821855 HAS SOUS 149950 HAS SOUPS 148536 WITH SCORE 149359.547
AT ITER 704 NEW BEST:: SOT 1133150 SOS 826252 HAS SOPS 824560 HAS SOUS 147316 HAS SOUPS 145902 WITH SCORE 146728.252
AT ITER 736 NEW BEST:: SOT 1133960 SOS 826627 HAS SOPS 824935 HAS SOUS 146882 HAS SOUPS 145468 WITH SCORE 146294.627
AT ITER 740 NEW BEST:: SOT 1132129 SOS 824796 HAS SOPS 823104 HAS SOUS 146063 HAS SOUPS 144649 WITH SCORE 145473.796
AT ITER 745 NEW BEST:: SOT 1132129 SOS 824520 HAS SOPS 822828 HAS SOUS 146051 HAS SOUPS 144637 WITH SCORE 145461.52
AT ITER 765 NEW BEST:: SOT 1132128 SOS 824519 HAS SOPS 822827 HAS SOUS 146049 HAS SOUPS 144635 WITH SCORE 145459.519
AT ITER 774 NEW BEST:: SOT 1132128 SOS 824453 HAS SOPS 822761 HAS SOUS 146043 HAS SOUPS 144629 WITH SCORE 145453.453
AT ITER 793 NEW BEST:: SOT 1132413 SOS 824738 HAS SOPS 823046 HAS SOUS 145886 HAS SOUPS 144472 WITH SCORE 145296.738
AT ITER 818 NEW BEST:: SOT 1132396 SOS 824721 HAS SOPS 823029 HAS SOUS 145772 HAS SOUPS 144358 WITH SCORE 145182.721
AT ITER 820 NEW BEST:: SOT 1132396 SOS 824769 HAS SOPS 823125 HAS SOUS 145580 HAS SOUPS 144214 WITH SCORE 145038.769
AT ITER 836 NEW BEST:: SOT 1133023 SOS 825395 HAS SOPS 823752 HAS SOUS 144686 HAS SOUPS 143321 WITH SCORE 144146.395
AT ITER 837 NEW BEST:: SOT 1132979 SOS 825351 HAS SOPS 823708 HAS SOUS 144654 HAS SOUPS 143289 WITH SCORE 144114.351
AT ITER 841 NEW BEST:: SOT 1132979 SOS 824967 HAS SOPS 823324 HAS SOUS 144654 HAS SOUPS 143289 WITH SCORE 144113.967
AT ITER 842 NEW BEST:: SOT 1132257 SOS 828379 HAS SOPS 826736 HAS SOUS 144457 HAS SOUPS 143092 WITH SCORE 143920.379
AT ITER 843 NEW BEST:: SOT 1131952 SOS 828074 HAS SOPS 826431 HAS SOUS 143830 HAS SOUPS 142465 WITH SCORE 143293.074
AT ITER 854 NEW BEST:: SOT 1132929 SOS 829051 HAS SOPS 827408 HAS SOUS 143742 HAS SOUPS 142377 WITH SCORE 143206.051
AT ITER 864 NEW BEST:: SOT 1133039 SOS 829161 HAS SOPS 827518 HAS SOUS 143639 HAS SOUPS 142274 WITH SCORE 143103.161
AT ITER 868 NEW BEST:: SOT 1132850 SOS 828972 HAS SOPS 827329 HAS SOUS 143523 HAS SOUPS 142158 WITH SCORE 142986.972
AT ITER 874 NEW BEST:: SOT 1132823 SOS 828945 HAS SOPS 827302 HAS SOUS 143503 HAS SOUPS 142138 WITH SCORE 142966.945
AT ITER 876 NEW BEST:: SOT 1132825 SOS 828947 HAS SOPS 827304 HAS SOUS 143457 HAS SOUPS 142092 WITH SCORE 142920.947
AT ITER 880 NEW BEST:: SOT 1131974 SOS 828096 HAS SOPS 826453 HAS SOUS 142433 HAS SOUPS 141068 WITH SCORE 141896.096
AT ITER 884 NEW BEST:: SOT 1132679 SOS 828801 HAS SOPS 827158 HAS SOUS 140156 HAS SOUPS 138791 WITH SCORE 139619.801
AT ITER 901 NEW BEST:: SOT 1132718 SOS 828840 HAS SOPS 827197 HAS SOUS 139314 HAS SOUPS 137949 WITH SCORE 138777.84
AT ITER 904 NEW BEST:: SOT 1135568 SOS 831654 HAS SOPS 830047 HAS SOUS 139233 HAS SOUPS 137901 WITH SCORE 138732.654
AT ITER 906 NEW BEST:: SOT 1136881 SOS 835967 HAS SOPS 834360 HAS SOUS 138903 HAS SOUPS 137571 WITH SCORE 138406.967
AT ITER 910 NEW BEST:: SOT 1136881 SOS 835985 HAS SOPS 834378 HAS SOUS 138885 HAS SOUPS 137553 WITH SCORE 138388.985
AT ITER 929 NEW BEST:: SOT 1136889 SOS 835809 HAS SOPS 834218 HAS SOUS 138865 HAS SOUPS 137537 WITH SCORE 138372.809
AT ITER 937 NEW BEST:: SOT 1137837 SOS 837547 HAS SOPS 835956 HAS SOUS 137023 HAS SOUPS 135695 WITH SCORE 136532.547
AT ITER 953 NEW BEST:: SOT 1137444 SOS 837220 HAS SOPS 835651 HAS SOUS 136594 HAS SOUPS 135288 WITH SCORE 136125.22
AT ITER 955 NEW BEST:: SOT 1137444 SOS 837127 HAS SOPS 835558 HAS SOUS 136594 HAS SOUPS 135288 WITH SCORE 136125.127
AT ITER 973 NEW BEST:: SOT 1137354 SOS 837037 HAS SOPS 835468 HAS SOUS 136504 HAS SOUPS 135198 WITH SCORE 136035.037
AT ITER 977 NEW BEST:: SOT 1137240 SOS 837091 HAS SOPS 835522 HAS SOUS 135604 HAS SOUPS 134298 WITH SCORE 135135.091
AT ITER 979 NEW BEST:: SOT 1136185 SOS 837253 HAS SOPS 835684 HAS SOUS 134887 HAS SOUPS 133581 WITH SCORE 134418.253
AT ITER 980 NEW BEST:: SOT 1136185 SOS 826867 HAS SOPS 825298 HAS SOUS 134887 HAS SOUPS 133581 WITH SCORE 134407.867
AT ITER 982 NEW BEST:: SOT 1136185 SOS 832352 HAS SOPS 830783 HAS SOUS 134874 HAS SOUPS 133568 WITH SCORE 134400.352
AT ITER 987 NEW BEST:: SOT 1135863 SOS 832030 HAS SOPS 830461 HAS SOUS 134805 HAS SOUPS 133499 WITH SCORE 134331.03
AT ITER 989 NEW BEST:: SOT 1135499 SOS 831666 HAS SOPS 830097 HAS SOUS 134761 HAS SOUPS 133455 WITH SCORE 134286.666
AT ITER 999 NEW BEST:: SOT 1135457 SOS 831624 HAS SOPS 829998 HAS SOUS 134791 HAS SOUPS 133428 WITH SCORE 134259.624
AT ITER 1012 NEW BEST:: SOT 1135457 SOS 830424 HAS SOPS 828798 HAS SOUS 134741 HAS SOUPS 133378 WITH SCORE 134208.424
AT ITER 1013 NEW BEST:: SOT 1134415 SOS 829569 HAS SOPS 827904 HAS SOUS 134759 HAS SOUPS 133365 WITH SCORE 134194.569
AT ITER 1019 NEW BEST:: SOT 1134367 SOS 829525 HAS SOPS 827860 HAS SOUS 134705 HAS SOUPS 133311 WITH SCORE 134140.525
AT ITER 1023 NEW BEST:: SOT 1134097 SOS 829215 HAS SOPS 827590 HAS SOUS 134068 HAS SOUPS 132709 WITH SCORE 133538.215
AT ITER 1028 NEW BEST:: SOT 1134097 SOS 829839 HAS SOPS 828214 HAS SOUS 133955 HAS SOUPS 132596 WITH SCORE 133425.839
AT ITER 1032 NEW BEST:: SOT 1137417 SOS 837287 HAS SOPS 835662 HAS SOUS 133671 HAS SOUPS 132312 WITH SCORE 133149.287
AT ITER 1036 NEW BEST:: SOT 1137168 SOS 837038 HAS SOPS 835413 HAS SOUS 133153 HAS SOUPS 131794 WITH SCORE 132631.038
AT ITER 1037 NEW BEST:: SOT 1138409 SOS 838279 HAS SOPS 836654 HAS SOUS 133077 HAS SOUPS 131718 WITH SCORE 132556.279
AT ITER 1043 NEW BEST:: SOT 1138460 SOS 837828 HAS SOPS 836134 HAS SOUS 133141 HAS SOUPS 131713 WITH SCORE 132550.828
AT ITER 1049 NEW BEST:: SOT 1137055 SOS 836423 HAS SOPS 834729 HAS SOUS 131476 HAS SOUPS 130048 WITH SCORE 130884.423
AT ITER 1060 NEW BEST:: SOT 1136830 SOS 836198 HAS SOPS 834504 HAS SOUS 131177 HAS SOUPS 129749 WITH SCORE 130585.198
AT ITER 1092 NEW BEST:: SOT 1136820 SOS 836188 HAS SOPS 834494 HAS SOUS 131074 HAS SOUPS 129646 WITH SCORE 130482.188
AT ITER 1093 NEW BEST:: SOT 1136805 SOS 836173 HAS SOPS 834479 HAS SOUS 130982 HAS SOUPS 129554 WITH SCORE 130390.173
AT ITER 1096 NEW BEST:: SOT 1136805 SOS 836029 HAS SOPS 834335 HAS SOUS 130982 HAS SOUPS 129554 WITH SCORE 130390.029
AT ITER 1100 NEW BEST:: SOT 1136805 SOS 807539 HAS SOPS 805845 HAS SOUS 130982 HAS SOUPS 129554 WITH SCORE 130361.539
AT ITER 1114 NEW BEST:: SOT 1136670 SOS 807404 HAS SOPS 805710 HAS SOUS 129916 HAS SOUPS 128488 WITH SCORE 129295.404
AT ITER 1117 NEW BEST:: SOT 1136886 SOS 808436 HAS SOPS 806742 HAS SOUS 129779 HAS SOUPS 128351 WITH SCORE 129159.436
AT ITER 1123 NEW BEST:: SOT 1138426 SOS 812810 HAS SOPS 811168 HAS SOUS 129584 HAS SOUPS 128208 WITH SCORE 129020.81
AT ITER 1125 NEW BEST:: SOT 1139145 SOS 813670 HAS SOPS 812051 HAS SOUS 129348 HAS SOUPS 127995 WITH SCORE 128808.67
AT ITER 1135 NEW BEST:: SOT 1138850 SOS 813375 HAS SOPS 811756 HAS SOUS 129307 HAS SOUPS 127954 WITH SCORE 128767.375
AT ITER 1143 NEW BEST:: SOT 1138760 SOS 813285 HAS SOPS 811666 HAS SOUS 128862 HAS SOUPS 127509 WITH SCORE 128322.285
AT ITER 1153 NEW BEST:: SOT 1138760 SOS 813193 HAS SOPS 811574 HAS SOUS 128822 HAS SOUPS 127469 WITH SCORE 128282.193
AT ITER 1154 NEW BEST:: SOT 1136149 SOS 810582 HAS SOPS 808963 HAS SOUS 128132 HAS SOUPS 126779 WITH SCORE 127589.582
AT ITER 1161 NEW BEST:: SOT 1136701 SOS 811121 HAS SOPS 809515 HAS SOUS 128038 HAS SOUPS 126698 WITH SCORE 127509.121
AT ITER 1166 NEW BEST:: SOT 1136426 SOS 810846 HAS SOPS 809240 HAS SOUS 127733 HAS SOUPS 126393 WITH SCORE 127203.846
AT ITER 1170 NEW BEST:: SOT 1136130 SOS 810550 HAS SOPS 808944 HAS SOUS 127616 HAS SOUPS 126276 WITH SCORE 127086.55
AT ITER 1180 NEW BEST:: SOT 1135765 SOS 810185 HAS SOPS 808579 HAS SOUS 127422 HAS SOUPS 126082 WITH SCORE 126892.185
AT ITER 1199 NEW BEST:: SOT 1136242 SOS 804940 HAS SOPS 803600 HAS SOUS 126493 HAS SOUPS 125209 WITH SCORE 126013.94
AT ITER 1209 NEW BEST:: SOT 1136337 SOS 805035 HAS SOPS 803695 HAS SOUS 124277 HAS SOUPS 122993 WITH SCORE 123798.035
AT ITER 1212 NEW BEST:: SOT 1135928 SOS 804626 HAS SOPS 803286 HAS SOUS 124192 HAS SOUPS 122908 WITH SCORE 123712.626
AT ITER 1223 NEW BEST:: SOT 1135792 SOS 804490 HAS SOPS 803150 HAS SOUS 124103 HAS SOUPS 122819 WITH SCORE 123623.49
AT ITER 1231 NEW BEST:: SOT 1135835 SOS 804533 HAS SOPS 803193 HAS SOUS 123114 HAS SOUPS 121830 WITH SCORE 122634.533
AT ITER 1235 NEW BEST:: SOT 1135833 SOS 804553 HAS SOPS 803191 HAS SOUS 123112 HAS SOUPS 121806 WITH SCORE 122610.553
AT ITER 1249 NEW BEST:: SOT 1135034 SOS 803768 HAS SOPS 802392 HAS SOUS 122829 HAS SOUPS 121509 WITH SCORE 122312.768
AT ITER 1251 NEW BEST:: SOT 1134299 SOS 803349 HAS SOPS 801973 HAS SOUS 122327 HAS SOUPS 121007 WITH SCORE 121810.349
AT ITER 1254 NEW BEST:: SOT 1134256 SOS 803051 HAS SOPS 801262 HAS SOUS 122380 HAS SOUPS 120647 WITH SCORE 121450.051
AT ITER 1258 NEW BEST:: SOT 1133606 SOS 802401 HAS SOPS 800612 HAS SOUS 121691 HAS SOUPS 119958 WITH SCORE 120760.401
AT ITER 1259 NEW BEST:: SOT 1133622 SOS 802417 HAS SOPS 800628 HAS SOUS 121372 HAS SOUPS 119639 WITH SCORE 120441.417
AT ITER 1269 NEW BEST:: SOT 1133344 SOS 802883 HAS SOPS 801094 HAS SOUS 119336 HAS SOUPS 117603 WITH SCORE 118405.883
AT ITER 1276 NEW BEST:: SOT 1133344 SOS 807539 HAS SOPS 805750 HAS SOUS 119302 HAS SOUPS 117569 WITH SCORE 118376.539
AT ITER 1290 NEW BEST:: SOT 1132827 SOS 806833 HAS SOPS 805044 HAS SOUS 118395 HAS SOUPS 116662 WITH SCORE 117468.833
AT ITER 1302 NEW BEST:: SOT 1133086 SOS 807092 HAS SOPS 805303 HAS SOUS 118263 HAS SOUPS 116530 WITH SCORE 117337.092
AT ITER 1304 NEW BEST:: SOT 1133121 SOS 809230 HAS SOPS 807504 HAS SOUS 117965 HAS SOUPS 116295 WITH SCORE 117104.23
AT ITER 1313 NEW BEST:: SOT 1133123 SOS 809232 HAS SOPS 807506 HAS SOUS 117817 HAS SOUPS 116147 WITH SCORE 116956.232
AT ITER 1314 NEW BEST:: SOT 1133485 SOS 809882 HAS SOPS 808156 HAS SOUS 117500 HAS SOUPS 115830 WITH SCORE 116639.882
AT ITER 1329 NEW BEST:: SOT 1132951 SOS 812205 HAS SOPS 810479 HAS SOUS 115206 HAS SOUPS 113536 WITH SCORE 114348.205
AT ITER 1354 NEW BEST:: SOT 1132951 SOS 813447 HAS SOPS 811775 HAS SOUS 114986 HAS SOUPS 113370 WITH SCORE 114183.447
AT ITER 1358 NEW BEST:: SOT 1132951 SOS 813416 HAS SOPS 811775 HAS SOUS 114579 HAS SOUPS 112994 WITH SCORE 113807.416
AT ITER 1367 NEW BEST:: SOT 1132951 SOS 813416 HAS SOPS 811775 HAS SOUS 114563 HAS SOUPS 112978 WITH SCORE 113791.416
AT ITER 1385 NEW BEST:: SOT 1132951 SOS 814232 HAS SOPS 812591 HAS SOUS 114512 HAS SOUPS 112927 WITH SCORE 113741.232
AT ITER 1398 NEW BEST:: SOT 1132862 SOS 814185 HAS SOPS 812558 HAS SOUS 114393 HAS SOUPS 112822 WITH SCORE 113636.185
AT ITER 1400 NEW BEST:: SOT 1132909 SOS 814665 HAS SOPS 813069 HAS SOUS 114165 HAS SOUPS 112609 WITH SCORE 113423.665
AT ITER 1407 NEW BEST:: SOT 1132909 SOS 824787 HAS SOPS 823191 HAS SOUS 114117 HAS SOUPS 112561 WITH SCORE 113385.787
AT ITER 1414 NEW BEST:: SOT 1132909 SOS 824751 HAS SOPS 823155 HAS SOUS 114068 HAS SOUPS 112512 WITH SCORE 113336.751
AT ITER 1426 NEW BEST:: SOT 1132909 SOS 824498 HAS SOPS 822902 HAS SOUS 114068 HAS SOUPS 112512 WITH SCORE 113336.498
AT ITER 1433 NEW BEST:: SOT 1132909 SOS 823425 HAS SOPS 821829 HAS SOUS 114031 HAS SOUPS 112475 WITH SCORE 113298.425
AT ITER 1437 NEW BEST:: SOT 1132858 SOS 823374 HAS SOPS 821778 HAS SOUS 113925 HAS SOUPS 112369 WITH SCORE 113192.374
AT ITER 1440 NEW BEST:: SOT 1132848 SOS 823364 HAS SOPS 821768 HAS SOUS 113915 HAS SOUPS 112359 WITH SCORE 113182.364
AT ITER 1443 NEW BEST:: SOT 1132838 SOS 823354 HAS SOPS 821758 HAS SOUS 113891 HAS SOUPS 112335 WITH SCORE 113158.354
AT ITER 1450 NEW BEST:: SOT 1132560 SOS 823264 HAS SOPS 821676 HAS SOUS 113662 HAS SOUPS 112114 WITH SCORE 112937.264
AT ITER 1453 NEW BEST:: SOT 1133393 SOS 824097 HAS SOPS 822509 HAS SOUS 113070 HAS SOUPS 111522 WITH SCORE 112346.097
AT ITER 1454 NEW BEST:: SOT 1133442 SOS 824146 HAS SOPS 822558 HAS SOUS 113026 HAS SOUPS 111478 WITH SCORE 112302.146
AT ITER 1460 NEW BEST:: SOT 1133442 SOS 824156 HAS SOPS 822558 HAS SOUS 113026 HAS SOUPS 111468 WITH SCORE 112292.156
AT ITER 1474 NEW BEST:: SOT 1134392 SOS 825106 HAS SOPS 823508 HAS SOUS 112385 HAS SOUPS 110827 WITH SCORE 111652.106
AT ITER 1477 NEW BEST:: SOT 1134256 SOS 824970 HAS SOPS 823372 HAS SOUS 112322 HAS SOUPS 110764 WITH SCORE 111588.97
AT ITER 1482 NEW BEST:: SOT 1134249 SOS 805761 HAS SOPS 803679 HAS SOUS 112187 HAS SOUPS 110629 WITH SCORE 111434.761
AT ITER 1484 NEW BEST:: SOT 1135555 SOS 807067 HAS SOPS 804985 HAS SOUS 111733 HAS SOUPS 110175 WITH SCORE 110982.067
AT ITER 1489 NEW BEST:: SOT 1135570 SOS 808568 HAS SOPS 806486 HAS SOUS 111688 HAS SOUPS 110130 WITH SCORE 110938.568
AT ITER 1493 NEW BEST:: SOT 1135570 SOS 808678 HAS SOPS 806596 HAS SOUS 111683 HAS SOUPS 110125 WITH SCORE 110933.678
AT ITER 1496 NEW BEST:: SOT 1135570 SOS 807574 HAS SOPS 805492 HAS SOUS 111683 HAS SOUPS 110125 WITH SCORE 110932.574
AT ITER 1503 NEW BEST:: SOT 1136129 SOS 805967 HAS SOPS 803885 HAS SOUS 110457 HAS SOUPS 108899 WITH SCORE 109704.967
AT ITER 1513 NEW BEST:: SOT 1137308 SOS 807146 HAS SOPS 805064 HAS SOUS 109784 HAS SOUPS 108226 WITH SCORE 109033.146
AT ITER 1520 NEW BEST:: SOT 1137255 SOS 807409 HAS SOPS 805327 HAS SOUS 109760 HAS SOUPS 108202 WITH SCORE 109009.409
AT ITER 1535 NEW BEST:: SOT 1136856 SOS 807010 HAS SOPS 804928 HAS SOUS 108944 HAS SOUPS 107386 WITH SCORE 108193.01
AT ITER 1536 NEW BEST:: SOT 1136472 SOS 806242 HAS SOPS 804160 HAS SOUS 108944 HAS SOUPS 107386 WITH SCORE 108192.242
AT ITER 1539 NEW BEST:: SOT 1136521 SOS 811607 HAS SOPS 809597 HAS SOUS 106427 HAS SOUPS 104925 WITH SCORE 105736.607
AT ITER 1544 NEW BEST:: SOT 1136521 SOS 811711 HAS SOPS 809701 HAS SOUS 106300 HAS SOUPS 104798 WITH SCORE 105609.711
AT ITER 1560 NEW BEST:: SOT 1136718 SOS 811567 HAS SOPS 809597 HAS SOUS 106004 HAS SOUPS 104526 WITH SCORE 105337.567
AT ITER 1599 NEW BEST:: SOT 1137482 SOS 812318 HAS SOPS 810361 HAS SOUS 105108 HAS SOUPS 103643 WITH SCORE 104455.318
AT ITER 1604 NEW BEST:: SOT 1137471 SOS 812307 HAS SOPS 810350 HAS SOUS 105085 HAS SOUPS 103620 WITH SCORE 104432.307
AT ITER 1607 NEW BEST:: SOT 1137471 SOS 812297 HAS SOPS 810340 HAS SOUS 105080 HAS SOUPS 103615 WITH SCORE 104427.297
AT ITER 1609 NEW BEST:: SOT 1137471 SOS 812885 HAS SOPS 810928 HAS SOUS 105037 HAS SOUPS 103572 WITH SCORE 104384.885
AT ITER 1614 NEW BEST:: SOT 1137471 SOS 812077 HAS SOPS 810160 HAS SOUS 105026 HAS SOUPS 103569 WITH SCORE 104381.077
AT ITER 1615 NEW BEST:: SOT 1136637 SOS 811243 HAS SOPS 809326 HAS SOUS 104875 HAS SOUPS 103418 WITH SCORE 104229.243
AT ITER 1627 NEW BEST:: SOT 1136589 SOS 811195 HAS SOPS 809278 HAS SOUS 104812 HAS SOUPS 103355 WITH SCORE 104166.195
AT ITER 1628 NEW BEST:: SOT 1136088 SOS 811730 HAS SOPS 809813 HAS SOUS 104272 HAS SOUPS 102815 WITH SCORE 103626.73
AT ITER 1633 NEW BEST:: SOT 1136090 SOS 811972 HAS SOPS 810055 HAS SOUS 104094 HAS SOUPS 102637 WITH SCORE 103448.972
AT ITER 1634 NEW BEST:: SOT 1136090 SOS 812884 HAS SOPS 810967 HAS SOUS 104056 HAS SOUPS 102599 WITH SCORE 103411.884
AT ITER 1635 NEW BEST:: SOT 1134586 SOS 812021 HAS SOPS 809775 HAS SOUS 104247 HAS SOUPS 102461 WITH SCORE 103273.021
AT ITER 1636 NEW BEST:: SOT 1131465 SOS 806066 HAS SOPS 803768 HAS SOUS 104039 HAS SOUPS 102201 WITH SCORE 103007.066
AT ITER 1644 NEW BEST:: SOT 1131499 SOS 806100 HAS SOPS 803802 HAS SOUS 103892 HAS SOUPS 102054 WITH SCORE 102860.1
AT ITER 1647 NEW BEST:: SOT 1131499 SOS 806088 HAS SOPS 803802 HAS SOUS 103776 HAS SOUPS 101950 WITH SCORE 102756.088
AT ITER 1658 NEW BEST:: SOT 1131615 SOS 806204 HAS SOPS 803918 HAS SOUS 103292 HAS SOUPS 101466 WITH SCORE 102272.204
AT ITER 1683 NEW BEST:: SOT 1131406 SOS 805995 HAS SOPS 803709 HAS SOUS 102931 HAS SOUPS 101105 WITH SCORE 101910.995
AT ITER 1690 NEW BEST:: SOT 1130896 SOS 805497 HAS SOPS 803199 HAS SOUS 102760 HAS SOUPS 100922 WITH SCORE 101727.497
AT ITER 1692 NEW BEST:: SOT 1131334 SOS 805935 HAS SOPS 803637 HAS SOUS 102412 HAS SOUPS 100574 WITH SCORE 101379.935
AT ITER 1718 NEW BEST:: SOT 1131094 SOS 800543 HAS SOPS 798237 HAS SOUS 102402 HAS SOUPS 100564 WITH SCORE 101364.543
AT ITER 1727 NEW BEST:: SOT 1131095 SOS 802056 HAS SOPS 799750 HAS SOUS 102341 HAS SOUPS 100503 WITH SCORE 101305.056
AT ITER 1739 NEW BEST:: SOT 1131073 SOS 801818 HAS SOPS 799512 HAS SOUS 102339 HAS SOUPS 100501 WITH SCORE 101302.818
AT ITER 1745 NEW BEST:: SOT 1130052 SOS 800797 HAS SOPS 798491 HAS SOUS 101335 HAS SOUPS 99497 WITH SCORE 100297.797
AT ITER 1758 NEW BEST:: SOT 1129050 SOS 799418 HAS SOPS 797129 HAS SOUS 99415 HAS SOUPS 97586 WITH SCORE 98385.418
AT ITER 1775 NEW BEST:: SOT 1129050 SOS 799636 HAS SOPS 797325 HAS SOUS 99345 HAS SOUPS 97494 WITH SCORE 98293.636
AT ITER 1786 NEW BEST:: SOT 1128914 SOS 799500 HAS SOPS 797065 HAS SOUS 99324 HAS SOUPS 97349 WITH SCORE 98148.5
AT ITER 1795 NEW BEST:: SOT 1128899 SOS 799485 HAS SOPS 797050 HAS SOUS 99306 HAS SOUPS 97331 WITH SCORE 98130.485
AT ITER 1817 NEW BEST:: SOT 1128899 SOS 799485 HAS SOPS 797050 HAS SOUS 98910 HAS SOUPS 96935 WITH SCORE 97734.485
AT ITER 1822 NEW BEST:: SOT 1128855 SOS 799441 HAS SOPS 797006 HAS SOUS 98866 HAS SOUPS 96891 WITH SCORE 97690.441
AT ITER 1826 NEW BEST:: SOT 1128915 SOS 799501 HAS SOPS 797066 HAS SOUS 98778 HAS SOUPS 96803 WITH SCORE 97602.501
AT ITER 1834 NEW BEST:: SOT 1128991 SOS 799913 HAS SOPS 797478 HAS SOUS 98556 HAS SOUPS 96581 WITH SCORE 97380.913
AT ITER 1845 NEW BEST:: SOT 1128924 SOS 799846 HAS SOPS 797411 HAS SOUS 98523 HAS SOUPS 96548 WITH SCORE 97347.846
AT ITER 1848 NEW BEST:: SOT 1127644 SOS 796178 HAS SOPS 793743 HAS SOUS 97339 HAS SOUPS 95364 WITH SCORE 96160.178
AT ITER 1854 NEW BEST:: SOT 1127644 SOS 796441 HAS SOPS 794023 HAS SOUS 97292 HAS SOUPS 95334 WITH SCORE 96130.441
AT ITER 1859 NEW BEST:: SOT 1127652 SOS 795554 HAS SOPS 793387 HAS SOUS 96703 HAS SOUPS 94796 WITH SCORE 95591.554
AT ITER 1911 NEW BEST:: SOT 1127618 SOS 795928 HAS SOPS 793761 HAS SOUS 96676 HAS SOUPS 94769 WITH SCORE 95564.928
AT ITER 1915 NEW BEST:: SOT 1127618 SOS 797248 HAS SOPS 795081 HAS SOUS 96646 HAS SOUPS 94739 WITH SCORE 95536.248
AT ITER 1921 NEW BEST:: SOT 1127618 SOS 797238 HAS SOPS 795064 HAS SOUS 96650 HAS SOUPS 94736 WITH SCORE 95533.238
AT ITER 1935 NEW BEST:: SOT 1127618 SOS 794286 HAS SOPS 792112 HAS SOUS 96650 HAS SOUPS 94736 WITH SCORE 95530.286
AT ITER 1940 NEW BEST:: SOT 1127945 SOS 798294 HAS SOPS 796149 HAS SOUS 95894 HAS SOUPS 94009 WITH SCORE 94807.294
AT ITER 1947 NEW BEST:: SOT 1128006 SOS 798355 HAS SOPS 796210 HAS SOUS 95061 HAS SOUPS 93176 WITH SCORE 93974.355
AT ITER 1981 NEW BEST:: SOT 1129223 SOS 799572 HAS SOPS 797427 HAS SOUS 94844 HAS SOUPS 92959 WITH SCORE 93758.572
AT ITER 1987 NEW BEST:: SOT 1128589 SOS 799282 HAS SOPS 797137 HAS SOUS 94445 HAS SOUPS 92560 WITH SCORE 93359.282
AT ITER 1990 NEW BEST:: SOT 1128572 SOS 799265 HAS SOPS 797120 HAS SOUS 94353 HAS SOUPS 92468 WITH SCORE 93267.265
AT ITER 1995 NEW BEST:: SOT 1128572 SOS 798689 HAS SOPS 796544 HAS SOUS 94353 HAS SOUPS 92468 WITH SCORE 93266.689
AT ITER 2043 NEW BEST:: SOT 1128530 SOS 798647 HAS SOPS 796502 HAS SOUS 94250 HAS SOUPS 92365 WITH SCORE 93163.647
AT ITER 2063 NEW BEST:: SOT 1128067 SOS 798184 HAS SOPS 796039 HAS SOUS 94222 HAS SOUPS 92337 WITH SCORE 93135.184
AT ITER 2080 NEW BEST:: SOT 1128067 SOS 800118 HAS SOPS 797973 HAS SOUS 94220 HAS SOUPS 92335 WITH SCORE 93135.118
AT ITER 2112 NEW BEST:: SOT 1127766 SOS 799817 HAS SOPS 797672 HAS SOUS 93791 HAS SOUPS 91906 WITH SCORE 92705.817
AT ITER 2123 NEW BEST:: SOT 1127751 SOS 799730 HAS SOPS 797585 HAS SOUS 93761 HAS SOUPS 91876 WITH SCORE 92675.73
AT ITER 2156 NEW BEST:: SOT 1127751 SOS 800280 HAS SOPS 798135 HAS SOUS 93736 HAS SOUPS 91851 WITH SCORE 92651.28
AT ITER 2181 NEW BEST:: SOT 1130249 SOS 802778 HAS SOPS 800633 HAS SOUS 93686 HAS SOUPS 91801 WITH SCORE 92603.778
AT ITER 2186 NEW BEST:: SOT 1130249 SOS 802753 HAS SOPS 800633 HAS SOUS 93644 HAS SOUPS 91784 WITH SCORE 92586.753
AT ITER 2189 NEW BEST:: SOT 1130391 SOS 802895 HAS SOPS 800775 HAS SOUS 93511 HAS SOUPS 91651 WITH SCORE 92453.895
AT ITER 2203 NEW BEST:: SOT 1130312 SOS 802832 HAS SOPS 800687 HAS SOUS 93467 HAS SOUPS 91582 WITH SCORE 92384.832
AT ITER 2209 NEW BEST:: SOT 1130312 SOS 803696 HAS SOPS 801551 HAS SOUS 92891 HAS SOUPS 91006 WITH SCORE 91809.696
AT ITER 2217 NEW BEST:: SOT 1130354 SOS 803738 HAS SOPS 801593 HAS SOUS 92814 HAS SOUPS 90929 WITH SCORE 91732.738
AT ITER 2218 NEW BEST:: SOT 1130514 SOS 803898 HAS SOPS 801753 HAS SOUS 92755 HAS SOUPS 90870 WITH SCORE 91673.898
AT ITER 2250 NEW BEST:: SOT 1130515 SOS 799402 HAS SOPS 797482 HAS SOUS 92340 HAS SOUPS 90472 WITH SCORE 91271.402
AT ITER 2252 NEW BEST:: SOT 1130520 SOS 801203 HAS SOPS 799306 HAS SOUS 92197 HAS SOUPS 90352 WITH SCORE 91153.203
AT ITER 2253 NEW BEST:: SOT 1130005 SOS 800688 HAS SOPS 798469 HAS SOUS 92507 HAS SOUPS 90340 WITH SCORE 91140.688
AT ITER 2254 NEW BEST:: SOT 1129932 SOS 800615 HAS SOPS 798396 HAS SOUS 92357 HAS SOUPS 90190 WITH SCORE 90990.615
AT ITER 2257 NEW BEST:: SOT 1129275 SOS 799958 HAS SOPS 797739 HAS SOUS 92160 HAS SOUPS 89993 WITH SCORE 90792.958
AT ITER 2280 NEW BEST:: SOT 1129272 SOS 799883 HAS SOPS 797664 HAS SOUS 92157 HAS SOUPS 89990 WITH SCORE 90789.883
AT ITER 2285 NEW BEST:: SOT 1129272 SOS 795876 HAS SOPS 793650 HAS SOUS 92149 HAS SOUPS 89975 WITH SCORE 90770.876
AT ITER 2303 NEW BEST:: SOT 1129327 SOS 795931 HAS SOPS 793705 HAS SOUS 92135 HAS SOUPS 89961 WITH SCORE 90756.931
AT ITER 2313 NEW BEST:: SOT 1129363 SOS 795967 HAS SOPS 793741 HAS SOUS 92098 HAS SOUPS 89924 WITH SCORE 90719.967
AT ITER 2350 NEW BEST:: SOT 1128655 SOS 795259 HAS SOPS 793033 HAS SOUS 91634 HAS SOUPS 89460 WITH SCORE 90255.259
AT ITER 2353 NEW BEST:: SOT 1128689 SOS 795293 HAS SOPS 793067 HAS SOUS 91626 HAS SOUPS 89452 WITH SCORE 90247.293
AT ITER 2365 NEW BEST:: SOT 1128646 SOS 795250 HAS SOPS 793024 HAS SOUS 91611 HAS SOUPS 89437 WITH SCORE 90232.25
AT ITER 2376 NEW BEST:: SOT 1128446 SOS 795050 HAS SOPS 792824 HAS SOUS 91520 HAS SOUPS 89346 WITH SCORE 90141.05
AT ITER 2382 NEW BEST:: SOT 1128446 SOS 794234 HAS SOPS 792008 HAS SOUS 91520 HAS SOUPS 89346 WITH SCORE 90140.234
AT ITER 2384 NEW BEST:: SOT 1128877 SOS 794707 HAS SOPS 792481 HAS SOUS 91384 HAS SOUPS 89210 WITH SCORE 90004.707
AT ITER 2395 NEW BEST:: SOT 1127996 SOS 793694 HAS SOPS 791468 HAS SOUS 91361 HAS SOUPS 89187 WITH SCORE 89980.694
AT ITER 2410 NEW BEST:: SOT 1127996 SOS 792350 HAS SOPS 790124 HAS SOUS 91361 HAS SOUPS 89187 WITH SCORE 89979.35
AT ITER 2414 NEW BEST:: SOT 1127996 SOS 791822 HAS SOPS 789596 HAS SOUS 91361 HAS SOUPS 89187 WITH SCORE 89978.822
AT ITER 2420 NEW BEST:: SOT 1128090 SOS 793360 HAS SOPS 791134 HAS SOUS 91215 HAS SOUPS 89041 WITH SCORE 89834.36
AT ITER 2422 NEW BEST:: SOT 1127620 SOS 794456 HAS SOPS 792230 HAS SOUS 90810 HAS SOUPS 88636 WITH SCORE 89430.456
AT ITER 2426 NEW BEST:: SOT 1127620 SOS 794310 HAS SOPS 792066 HAS SOUS 90823 HAS SOUPS 88631 WITH SCORE 89425.31
AT ITER 2448 NEW BEST:: SOT 1127347 SOS 794037 HAS SOPS 791793 HAS SOUS 90710 HAS SOUPS 88518 WITH SCORE 89312.037
AT ITER 2455 NEW BEST:: SOT 1126973 SOS 796345 HAS SOPS 794101 HAS SOUS 88741 HAS SOUPS 86549 WITH SCORE 87345.345
AT ITER 2456 NEW BEST:: SOT 1126973 SOS 794451 HAS SOPS 792207 HAS SOUS 88739 HAS SOUPS 86547 WITH SCORE 87341.451
AT ITER 2459 NEW BEST:: SOT 1126972 SOS 794450 HAS SOPS 792206 HAS SOUS 88738 HAS SOUPS 86546 WITH SCORE 87340.45
AT ITER 2478 NEW BEST:: SOT 1126972 SOS 794450 HAS SOPS 792206 HAS SOUS 88697 HAS SOUPS 86505 WITH SCORE 87299.45
AT ITER 2495 NEW BEST:: SOT 1126972 SOS 794450 HAS SOPS 792206 HAS SOUS 88677 HAS SOUPS 86485 WITH SCORE 87279.45
AT ITER 2502 NEW BEST:: SOT 1126972 SOS 795416 HAS SOPS 793172 HAS SOUS 88635 HAS SOUPS 86443 WITH SCORE 87238.416
AT ITER 2514 NEW BEST:: SOT 1126972 SOS 795416 HAS SOPS 793172 HAS SOUS 88623 HAS SOUPS 86431 WITH SCORE 87226.416
AT ITER 2517 NEW BEST:: SOT 1126972 SOS 795554 HAS SOPS 793310 HAS SOUS 88590 HAS SOUPS 86398 WITH SCORE 87193.554
AT ITER 2556 NEW BEST:: SOT 1127767 SOS 796749 HAS SOPS 794505 HAS SOUS 87957 HAS SOUPS 85765 WITH SCORE 86561.749
AT ITER 2586 NEW BEST:: SOT 1127771 SOS 799055 HAS SOPS 796853 HAS SOUS 87842 HAS SOUPS 85692 WITH SCORE 86491.055
AT ITER 2589 NEW BEST:: SOT 1127200 SOS 803418 HAS SOPS 801216 HAS SOUS 87425 HAS SOUPS 85275 WITH SCORE 86078.418
AT ITER 2607 NEW BEST:: SOT 1126926 SOS 803144 HAS SOPS 800942 HAS SOUS 86849 HAS SOUPS 84699 WITH SCORE 85502.144
AT ITER 2608 NEW BEST:: SOT 1126926 SOS 801612 HAS SOPS 799478 HAS SOUS 86769 HAS SOUPS 84687 WITH SCORE 85488.612
AT ITER 2610 NEW BEST:: SOT 1126748 SOS 801375 HAS SOPS 799241 HAS SOUS 86399 HAS SOUPS 84317 WITH SCORE 85118.375
AT ITER 2615 NEW BEST:: SOT 1125900 SOS 800527 HAS SOPS 798393 HAS SOUS 86115 HAS SOUPS 84033 WITH SCORE 84833.527
AT ITER 2631 NEW BEST:: SOT 1125974 SOS 800601 HAS SOPS 798467 HAS SOUS 85979 HAS SOUPS 83897 WITH SCORE 84697.601
AT ITER 2646 NEW BEST:: SOT 1126039 SOS 800666 HAS SOPS 798532 HAS SOUS 85978 HAS SOUPS 83896 WITH SCORE 84696.666
AT ITER 2647 NEW BEST:: SOT 1125853 SOS 800488 HAS SOPS 798346 HAS SOUS 85790 HAS SOUPS 83700 WITH SCORE 84500.488
AT ITER 2660 NEW BEST:: SOT 1125325 SOS 799960 HAS SOPS 797818 HAS SOUS 85478 HAS SOUPS 83388 WITH SCORE 84187.96
AT ITER 2682 NEW BEST:: SOT 1125325 SOS 800056 HAS SOPS 797914 HAS SOUS 84226 HAS SOUPS 82136 WITH SCORE 82936.056
AT ITER 2690 NEW BEST:: SOT 1125325 SOS 814923 HAS SOPS 812852 HAS SOUS 84173 HAS SOUPS 82110 WITH SCORE 82924.923
AT ITER 2694 NEW BEST:: SOT 1125305 SOS 814903 HAS SOPS 812832 HAS SOUS 84143 HAS SOUPS 82080 WITH SCORE 82894.903
AT ITER 2702 NEW BEST:: SOT 1125305 SOS 816311 HAS SOPS 814240 HAS SOUS 84111 HAS SOUPS 82048 WITH SCORE 82864.311
AT ITER 2713 NEW BEST:: SOT 1125305 SOS 803303 HAS SOPS 801232 HAS SOUS 84111 HAS SOUPS 82048 WITH SCORE 82851.303
AT ITER 2725 NEW BEST:: SOT 1125234 SOS 803232 HAS SOPS 801161 HAS SOUS 83969 HAS SOUPS 81906 WITH SCORE 82709.232
AT ITER 2735 NEW BEST:: SOT 1125234 SOS 809568 HAS SOPS 807497 HAS SOUS 83948 HAS SOUPS 81885 WITH SCORE 82694.568
AT ITER 2765 NEW BEST:: SOT 1125234 SOS 805824 HAS SOPS 803753 HAS SOUS 83948 HAS SOUPS 81885 WITH SCORE 82690.824
AT ITER 2785 NEW BEST:: SOT 1124680 SOS 805270 HAS SOPS 803199 HAS SOUS 83471 HAS SOUPS 81408 WITH SCORE 82213.27
AT ITER 2792 NEW BEST:: SOT 1124914 SOS 805504 HAS SOPS 803433 HAS SOUS 83349 HAS SOUPS 81286 WITH SCORE 82091.504
AT ITER 2806 NEW BEST:: SOT 1124914 SOS 807088 HAS SOPS 805017 HAS SOUS 83316 HAS SOUPS 81253 WITH SCORE 82060.088
AT ITER 2807 NEW BEST:: SOT 1124755 SOS 806929 HAS SOPS 804858 HAS SOUS 83069 HAS SOUPS 81006 WITH SCORE 81812.929
AT ITER 2808 NEW BEST:: SOT 1124790 SOS 806964 HAS SOPS 804893 HAS SOUS 83055 HAS SOUPS 80992 WITH SCORE 81798.964
AT ITER 2810 NEW BEST:: SOT 1124789 SOS 806940 HAS SOPS 804869 HAS SOUS 83054 HAS SOUPS 80991 WITH SCORE 81797.94
AT ITER 2821 NEW BEST:: SOT 1124789 SOS 806760 HAS SOPS 804689 HAS SOUS 83054 HAS SOUPS 80991 WITH SCORE 81797.76
AT ITER 2837 NEW BEST:: SOT 1124799 SOS 806770 HAS SOPS 804699 HAS SOUS 83028 HAS SOUPS 80965 WITH SCORE 81771.77
AT ITER 2841 NEW BEST:: SOT 1124716 SOS 806687 HAS SOPS 804616 HAS SOUS 83023 HAS SOUPS 80960 WITH SCORE 81766.687
AT ITER 2858 NEW BEST:: SOT 1124548 SOS 806519 HAS SOPS 804448 HAS SOUS 83018 HAS SOUPS 80955 WITH SCORE 81761.519
AT ITER 2862 NEW BEST:: SOT 1124791 SOS 806762 HAS SOPS 804853 HAS SOUS 82811 HAS SOUPS 80910 WITH SCORE 81716.762
AT ITER 2886 NEW BEST:: SOT 1124791 SOS 805994 HAS SOPS 804085 HAS SOUS 82811 HAS SOUPS 80910 WITH SCORE 81715.994
AT ITER 2895 NEW BEST:: SOT 1124791 SOS 804698 HAS SOPS 802789 HAS SOUS 82811 HAS SOUPS 80910 WITH SCORE 81714.698
AT ITER 2910 NEW BEST:: SOT 1124952 SOS 804859 HAS SOPS 802950 HAS SOUS 82753 HAS SOUPS 80852 WITH SCORE 81656.859
AT ITER 2921 NEW BEST:: SOT 1123688 SOS 805385 HAS SOPS 803476 HAS SOUS 82546 HAS SOUPS 80645 WITH SCORE 81450.385
AT ITER 2928 NEW BEST:: SOT 1123688 SOS 805361 HAS SOPS 803452 HAS SOUS 82546 HAS SOUPS 80645 WITH SCORE 81450.361
AT ITER 2933 NEW BEST:: SOT 1123914 SOS 805587 HAS SOPS 803678 HAS SOUS 82479 HAS SOUPS 80578 WITH SCORE 81383.587
AT ITER 2940 NEW BEST:: SOT 1123914 SOS 786047 HAS SOPS 784138 HAS SOUS 82445 HAS SOUPS 80544 WITH SCORE 81330.047
AT ITER 2954 NEW BEST:: SOT 1124089 SOS 786222 HAS SOPS 784313 HAS SOUS 82278 HAS SOUPS 80377 WITH SCORE 81163.222
AT ITER 2963 NEW BEST:: SOT 1122609 SOS 725153 HAS SOPS 723165 HAS SOUS 82030 HAS SOUPS 80050 WITH SCORE 80775.153
AT ITER 2966 NEW BEST:: SOT 1122585 SOS 725129 HAS SOPS 723141 HAS SOUS 81988 HAS SOUPS 80008 WITH SCORE 80733.129
AT ITER 2981 NEW BEST:: SOT 1122738 SOS 725282 HAS SOPS 723339 HAS SOUS 81517 HAS SOUPS 79582 WITH SCORE 80307.282
AT ITER 3005 NEW BEST:: SOT 1122695 SOS 728547 HAS SOPS 726604 HAS SOUS 81481 HAS SOUPS 79546 WITH SCORE 80274.547
AT ITER 3010 NEW BEST:: SOT 1122695 SOS 728379 HAS SOPS 726436 HAS SOUS 81474 HAS SOUPS 79539 WITH SCORE 80267.379
AT ITER 3039 NEW BEST:: SOT 1122727 SOS 728411 HAS SOPS 726468 HAS SOUS 81430 HAS SOUPS 79495 WITH SCORE 80223.411
AT ITER 3045 NEW BEST:: SOT 1122811 SOS 728495 HAS SOPS 726552 HAS SOUS 81075 HAS SOUPS 79140 WITH SCORE 79868.495
AT ITER 3047 NEW BEST:: SOT 1122072 SOS 727269 HAS SOPS 725326 HAS SOUS 80640 HAS SOUPS 78705 WITH SCORE 79432.269
AT ITER 3056 NEW BEST:: SOT 1122072 SOS 728017 HAS SOPS 726074 HAS SOUS 80608 HAS SOUPS 78673 WITH SCORE 79401.017
AT ITER 3063 NEW BEST:: SOT 1121297 SOS 722072 HAS SOPS 720101 HAS SOUS 80571 HAS SOUPS 78608 WITH SCORE 79330.072
AT ITER 3069 NEW BEST:: SOT 1121297 SOS 722897 HAS SOPS 720893 HAS SOUS 80584 HAS SOUPS 78588 WITH SCORE 79310.897
AT ITER 3070 NEW BEST:: SOT 1121412 SOS 723012 HAS SOPS 721008 HAS SOUS 80270 HAS SOUPS 78274 WITH SCORE 78997.012
AT ITER 3087 NEW BEST:: SOT 1121412 SOS 723081 HAS SOPS 721080 HAS SOUS 80261 HAS SOUPS 78268 WITH SCORE 78991.081
AT ITER 3092 NEW BEST:: SOT 1121345 SOS 722974 HAS SOPS 720970 HAS SOUS 80222 HAS SOUPS 78226 WITH SCORE 78948.974
AT ITER 3101 NEW BEST:: SOT 1121270 SOS 722899 HAS SOPS 720895 HAS SOUS 80118 HAS SOUPS 78122 WITH SCORE 78844.899
AT ITER 3113 NEW BEST:: SOT 1121192 SOS 722821 HAS SOPS 720817 HAS SOUS 80117 HAS SOUPS 78121 WITH SCORE 78843.821
AT ITER 3153 NEW BEST:: SOT 1121156 SOS 722745 HAS SOPS 720741 HAS SOUS 80116 HAS SOUPS 78120 WITH SCORE 78842.745
AT ITER 3156 NEW BEST:: SOT 1121172 SOS 723409 HAS SOPS 721405 HAS SOUS 79820 HAS SOUPS 77824 WITH SCORE 78547.409
AT ITER 3205 NEW BEST:: SOT 1121220 SOS 723457 HAS SOPS 721453 HAS SOUS 79721 HAS SOUPS 77725 WITH SCORE 78448.457
AT ITER 3227 NEW BEST:: SOT 1121220 SOS 722307 HAS SOPS 720301 HAS SOUS 79721 HAS SOUPS 77723 WITH SCORE 78445.307
AT ITER 3241 NEW BEST:: SOT 1121220 SOS 724813 HAS SOPS 722807 HAS SOUS 79714 HAS SOUPS 77716 WITH SCORE 78440.813
AT ITER 3250 NEW BEST:: SOT 1121220 SOS 724789 HAS SOPS 722783 HAS SOUS 79714 HAS SOUPS 77716 WITH SCORE 78440.789
AT ITER 3287 NEW BEST:: SOT 1121248 SOS 724987 HAS SOPS 722981 HAS SOUS 79022 HAS SOUPS 77024 WITH SCORE 77748.987
AT ITER 3289 NEW BEST:: SOT 1123019 SOS 726758 HAS SOPS 724752 HAS SOUS 78718 HAS SOUPS 76720 WITH SCORE 77446.758
AT ITER 3293 NEW BEST:: SOT 1122610 SOS 732127 HAS SOPS 730121 HAS SOUS 78628 HAS SOUPS 76630 WITH SCORE 77362.127
AT ITER 3309 NEW BEST:: SOT 1122599 SOS 732116 HAS SOPS 730110 HAS SOUS 78617 HAS SOUPS 76619 WITH SCORE 77351.116
AT ITER 3333 NEW BEST:: SOT 1122599 SOS 731828 HAS SOPS 729822 HAS SOUS 78617 HAS SOUPS 76619 WITH SCORE 77350.828
AT ITER 3351 NEW BEST:: SOT 1122588 SOS 732206 HAS SOPS 730200 HAS SOUS 78611 HAS SOUPS 76613 WITH SCORE 77345.206
AT ITER 3353 NEW BEST:: SOT 1122702 SOS 732320 HAS SOPS 730314 HAS SOUS 78515 HAS SOUPS 76517 WITH SCORE 77249.32
AT ITER 3356 NEW BEST:: SOT 1122332 SOS 731954 HAS SOPS 729944 HAS SOUS 78234 HAS SOUPS 76232 WITH SCORE 76963.954
AT ITER 3399 NEW BEST:: SOT 1122541 SOS 732163 HAS SOPS 730153 HAS SOUS 78158 HAS SOUPS 76156 WITH SCORE 76888.163
AT ITER 3414 NEW BEST:: SOT 1122542 SOS 732164 HAS SOPS 730154 HAS SOUS 78150 HAS SOUPS 76148 WITH SCORE 76880.164
AT ITER 3417 NEW BEST:: SOT 1122542 SOS 732313 HAS SOPS 730279 HAS SOUS 78150 HAS SOUPS 76124 WITH SCORE 76856.313
AT ITER 3418 NEW BEST:: SOT 1122542 SOS 731977 HAS SOPS 729943 HAS SOUS 78150 HAS SOUPS 76124 WITH SCORE 76855.977
AT ITER 3422 NEW BEST:: SOT 1123147 SOS 732582 HAS SOPS 730548 HAS SOUS 78075 HAS SOUPS 76049 WITH SCORE 76781.582
AT ITER 3488 NEW BEST:: SOT 1123336 SOS 732771 HAS SOPS 730737 HAS SOUS 78035 HAS SOUPS 76009 WITH SCORE 76741.771
AT ITER 3495 NEW BEST:: SOT 1123274 SOS 732709 HAS SOPS 730675 HAS SOUS 77998 HAS SOUPS 75972 WITH SCORE 76704.709
AT ITER 3500 NEW BEST:: SOT 1123653 SOS 733088 HAS SOPS 731054 HAS SOUS 77718 HAS SOUPS 75692 WITH SCORE 76425.088
AT ITER 3529 NEW BEST:: SOT 1123510 SOS 732945 HAS SOPS 730911 HAS SOUS 77545 HAS SOUPS 75519 WITH SCORE 76251.945
AT ITER 3549 NEW BEST:: SOT 1123510 SOS 732773 HAS SOPS 730739 HAS SOUS 77538 HAS SOUPS 75512 WITH SCORE 76244.773
AT ITER 3560 NEW BEST:: SOT 1123510 SOS 731885 HAS SOPS 729851 HAS SOUS 77538 HAS SOUPS 75512 WITH SCORE 76243.885
AT ITER 3588 NEW BEST:: SOT 1123507 SOS 731882 HAS SOPS 729848 HAS SOUS 77136 HAS SOUPS 75110 WITH SCORE 75841.882
AT ITER 3593 NEW BEST:: SOT 1123507 SOS 731882 HAS SOPS 729852 HAS SOUS 77082 HAS SOUPS 75060 WITH SCORE 75791.882
AT ITER 3597 NEW BEST:: SOT 1123507 SOS 730732 HAS SOPS 728702 HAS SOUS 77082 HAS SOUPS 75060 WITH SCORE 75790.732
AT ITER 3607 NEW BEST:: SOT 1123641 SOS 731560 HAS SOPS 729532 HAS SOUS 76420 HAS SOUPS 74400 WITH SCORE 75131.56
AT ITER 3641 NEW BEST:: SOT 1123654 SOS 731573 HAS SOPS 729545 HAS SOUS 76390 HAS SOUPS 74370 WITH SCORE 75101.573
AT ITER 3644 NEW BEST:: SOT 1123632 SOS 731551 HAS SOPS 729523 HAS SOUS 76381 HAS SOUPS 74361 WITH SCORE 75092.551
AT ITER 3645 NEW BEST:: SOT 1123462 SOS 731381 HAS SOPS 729353 HAS SOUS 76131 HAS SOUPS 74111 WITH SCORE 74842.381
AT ITER 3646 NEW BEST:: SOT 1123458 SOS 731377 HAS SOPS 729349 HAS SOUS 76131 HAS SOUPS 74111 WITH SCORE 74842.377
AT ITER 3694 NEW BEST:: SOT 1123458 SOS 731281 HAS SOPS 729253 HAS SOUS 76131 HAS SOUPS 74111 WITH SCORE 74842.281
AT ITER 3743 NEW BEST:: SOT 1123071 SOS 730894 HAS SOPS 728866 HAS SOUS 76053 HAS SOUPS 74033 WITH SCORE 74763.894
AT ITER 3749 NEW BEST:: SOT 1123222 SOS 731045 HAS SOPS 729017 HAS SOUS 75726 HAS SOUPS 73706 WITH SCORE 74437.045
AT ITER 3769 NEW BEST:: SOT 1123222 SOS 731045 HAS SOPS 729017 HAS SOUS 75707 HAS SOUPS 73687 WITH SCORE 74418.045
AT ITER 3770 NEW BEST:: SOT 1123192 SOS 731015 HAS SOPS 728987 HAS SOUS 75677 HAS SOUPS 73657 WITH SCORE 74388.015
AT ITER 3772 NEW BEST:: SOT 1123054 SOS 730877 HAS SOPS 728849 HAS SOUS 75539 HAS SOUPS 73519 WITH SCORE 74249.877
AT ITER 3776 NEW BEST:: SOT 1123189 SOS 731012 HAS SOPS 728984 HAS SOUS 75405 HAS SOUPS 73385 WITH SCORE 74116.012
AT ITER 3793 NEW BEST:: SOT 1122853 SOS 730340 HAS SOPS 728312 HAS SOUS 75405 HAS SOUPS 73385 WITH SCORE 74115.34
AT ITER 3807 NEW BEST:: SOT 1122853 SOS 730340 HAS SOPS 728312 HAS SOUS 75390 HAS SOUPS 73370 WITH SCORE 74100.34
AT ITER 3810 NEW BEST:: SOT 1122853 SOS 730436 HAS SOPS 728408 HAS SOUS 75386 HAS SOUPS 73366 WITH SCORE 74096.436
AT ITER 3847 NEW BEST:: SOT 1122853 SOS 730348 HAS SOPS 728320 HAS SOUS 75359 HAS SOUPS 73339 WITH SCORE 74069.348
AT ITER 3873 NEW BEST:: SOT 1122807 SOS 730302 HAS SOPS 728274 HAS SOUS 75313 HAS SOUPS 73293 WITH SCORE 74023.302
AT ITER 3894 NEW BEST:: SOT 1122803 SOS 730298 HAS SOPS 728270 HAS SOUS 75309 HAS SOUPS 73289 WITH SCORE 74019.298
AT ITER 3901 NEW BEST:: SOT 1122319 SOS 733164 HAS SOPS 731136 HAS SOUS 74992 HAS SOUPS 72972 WITH SCORE 73705.164
AT ITER 3904 NEW BEST:: SOT 1122319 SOS 733440 HAS SOPS 731424 HAS SOUS 74940 HAS SOUPS 72932 WITH SCORE 73665.44
AT ITER 3929 NEW BEST:: SOT 1122319 SOS 733854 HAS SOPS 731838 HAS SOUS 74931 HAS SOUPS 72923 WITH SCORE 73656.854
AT ITER 3930 NEW BEST:: SOT 1122319 SOS 733182 HAS SOPS 731166 HAS SOUS 74931 HAS SOUPS 72923 WITH SCORE 73656.182
AT ITER 3956 NEW BEST:: SOT 1119593 SOS 730456 HAS SOPS 728440 HAS SOUS 74479 HAS SOUPS 72471 WITH SCORE 73201.456
AT ITER 3963 NEW BEST:: SOT 1119593 SOS 730456 HAS SOPS 728440 HAS SOUS 74452 HAS SOUPS 72444 WITH SCORE 73174.456
AT ITER 3972 NEW BEST:: SOT 1119168 SOS 730031 HAS SOPS 728015 HAS SOUS 74405 HAS SOUPS 72397 WITH SCORE 73127.031
AT ITER 3978 NEW BEST:: SOT 1119271 SOS 730134 HAS SOPS 728118 HAS SOUS 74246 HAS SOUPS 72238 WITH SCORE 72968.134
AT ITER 3997 NEW BEST:: SOT 1119298 SOS 730161 HAS SOPS 728145 HAS SOUS 74171 HAS SOUPS 72163 WITH SCORE 72893.161
AT ITER 4002 NEW BEST:: SOT 1119157 SOS 725043 HAS SOPS 723063 HAS SOUS 74012 HAS SOUPS 72040 WITH SCORE 72765.043
AT ITER 4007 NEW BEST:: SOT 1119119 SOS 725047 HAS SOPS 723067 HAS SOUS 73953 HAS SOUPS 71981 WITH SCORE 72706.047
AT ITER 4016 NEW BEST:: SOT 1119110 SOS 725038 HAS SOPS 723058 HAS SOUS 73935 HAS SOUPS 71963 WITH SCORE 72688.038
AT ITER 4026 NEW BEST:: SOT 1119110 SOS 724486 HAS SOPS 722506 HAS SOUS 73935 HAS SOUPS 71963 WITH SCORE 72687.486
AT ITER 4049 NEW BEST:: SOT 1119108 SOS 724475 HAS SOPS 722504 HAS SOUS 73915 HAS SOUPS 71952 WITH SCORE 72676.475
AT ITER 4074 NEW BEST:: SOT 1119204 SOS 724568 HAS SOPS 722600 HAS SOUS 73834 HAS SOUPS 71874 WITH SCORE 72598.568
AT ITER 4086 NEW BEST:: SOT 1119222 SOS 724586 HAS SOPS 722618 HAS SOUS 73604 HAS SOUPS 71644 WITH SCORE 72368.586
AT ITER 4124 NEW BEST:: SOT 1119459 SOS 725327 HAS SOPS 723464 HAS SOUS 73404 HAS SOUPS 71549 WITH SCORE 72274.327
AT ITER 4142 NEW BEST:: SOT 1119452 SOS 725292 HAS SOPS 723527 HAS SOUS 73280 HAS SOUPS 71523 WITH SCORE 72248.292
AT ITER 4212 NEW BEST:: SOT 1119276 SOS 725116 HAS SOPS 723351 HAS SOUS 73056 HAS SOUPS 71299 WITH SCORE 72024.116
AT ITER 4222 NEW BEST:: SOT 1119258 SOS 725098 HAS SOPS 723333 HAS SOUS 73038 HAS SOUPS 71281 WITH SCORE 72006.098
AT ITER 4230 NEW BEST:: SOT 1119258 SOS 724258 HAS SOPS 722493 HAS SOUS 73003 HAS SOUPS 71246 WITH SCORE 71970.258
AT ITER 4301 NEW BEST:: SOT 1119258 SOS 723898 HAS SOPS 722133 HAS SOUS 73003 HAS SOUPS 71246 WITH SCORE 71969.898
AT ITER 4317 NEW BEST:: SOT 1119257 SOS 723887 HAS SOPS 722122 HAS SOUS 73000 HAS SOUPS 71243 WITH SCORE 71966.887
AT ITER 4324 NEW BEST:: SOT 1119257 SOS 723815 HAS SOPS 722050 HAS SOUS 73000 HAS SOUPS 71243 WITH SCORE 71966.815
AT ITER 4358 NEW BEST:: SOT 1119257 SOS 723815 HAS SOPS 722050 HAS SOUS 72912 HAS SOUPS 71155 WITH SCORE 71878.815
AT ITER 4359 NEW BEST:: SOT 1119257 SOS 723058 HAS SOPS 721293 HAS SOUS 72912 HAS SOUPS 71155 WITH SCORE 71878.058
AT ITER 4391 NEW BEST:: SOT 1119219 SOS 723020 HAS SOPS 721255 HAS SOUS 72828 HAS SOUPS 71071 WITH SCORE 71794.02
AT ITER 4393 NEW BEST:: SOT 1119131 SOS 722932 HAS SOPS 721167 HAS SOUS 72824 HAS SOUPS 71067 WITH SCORE 71789.932
AT ITER 4407 NEW BEST:: SOT 1119131 SOS 722068 HAS SOPS 720303 HAS SOUS 72824 HAS SOUPS 71067 WITH SCORE 71789.068
AT ITER 4434 NEW BEST:: SOT 1119846 SOS 722783 HAS SOPS 721018 HAS SOUS 72544 HAS SOUPS 70787 WITH SCORE 71509.783
AT ITER 4446 NEW BEST:: SOT 1118482 SOS 720363 HAS SOPS 718478 HAS SOUS 72644 HAS SOUPS 70767 WITH SCORE 71487.363
AT ITER 4448 NEW BEST:: SOT 1118482 SOS 720291 HAS SOPS 718406 HAS SOUS 72644 HAS SOUPS 70767 WITH SCORE 71487.291
AT ITER 4455 NEW BEST:: SOT 1118482 SOS 720153 HAS SOPS 718262 HAS SOUS 72644 HAS SOUPS 70761 WITH SCORE 71481.153
AT ITER 4481 NEW BEST:: SOT 1120755 SOS 722426 HAS SOPS 720535 HAS SOUS 72616 HAS SOUPS 70733 WITH SCORE 71455.426
AT ITER 4483 NEW BEST:: SOT 1120467 SOS 722138 HAS SOPS 720247 HAS SOUS 72463 HAS SOUPS 70580 WITH SCORE 71302.138
AT ITER 4510 NEW BEST:: SOT 1120548 SOS 722205 HAS SOPS 720328 HAS SOUS 72420 HAS SOUPS 70551 WITH SCORE 71273.205
AT ITER 4511 NEW BEST:: SOT 1120548 SOS 713565 HAS SOPS 711688 HAS SOUS 72405 HAS SOUPS 70536 WITH SCORE 71249.565
AT ITER 4518 NEW BEST:: SOT 1120716 SOS 717243 HAS SOPS 715374 HAS SOUS 72129 HAS SOUPS 70268 WITH SCORE 70985.243
AT ITER 4528 NEW BEST:: SOT 1120720 SOS 717247 HAS SOPS 715378 HAS SOUS 72118 HAS SOUPS 70257 WITH SCORE 70974.247
AT ITER 4554 NEW BEST:: SOT 1118159 SOS 714292 HAS SOPS 712423 HAS SOUS 69567 HAS SOUPS 67706 WITH SCORE 68420.292
AT ITER 4562 NEW BEST:: SOT 1118109 SOS 714242 HAS SOPS 712373 HAS SOUS 69512 HAS SOUPS 67651 WITH SCORE 68365.242
AT ITER 4602 NEW BEST:: SOT 1118109 SOS 714170 HAS SOPS 712301 HAS SOUS 69512 HAS SOUPS 67651 WITH SCORE 68365.17
AT ITER 4605 NEW BEST:: SOT 1118109 SOS 714143 HAS SOPS 712274 HAS SOUS 69511 HAS SOUPS 67650 WITH SCORE 68364.143
AT ITER 4626 NEW BEST:: SOT 1118355 SOS 714389 HAS SOPS 712520 HAS SOUS 69456 HAS SOUPS 67595 WITH SCORE 68309.389
AT ITER 4646 NEW BEST:: SOT 1118355 SOS 714269 HAS SOPS 712400 HAS SOUS 69456 HAS SOUPS 67595 WITH SCORE 68309.269
AT ITER 4677 NEW BEST:: SOT 1118355 SOS 714269 HAS SOPS 712400 HAS SOUS 69450 HAS SOUPS 67589 WITH SCORE 68303.269
AT ITER 4680 NEW BEST:: SOT 1118355 SOS 714269 HAS SOPS 712400 HAS SOUS 69445 HAS SOUPS 67584 WITH SCORE 68298.269
AT ITER 4688 NEW BEST:: SOT 1118337 SOS 714251 HAS SOPS 712382 HAS SOUS 69425 HAS SOUPS 67564 WITH SCORE 68278.251
AT ITER 4694 NEW BEST:: SOT 1118276 SOS 714190 HAS SOPS 712321 HAS SOUS 69299 HAS SOUPS 67438 WITH SCORE 68152.19
AT ITER 4695 NEW BEST:: SOT 1118267 SOS 714181 HAS SOPS 712312 HAS SOUS 69290 HAS SOUPS 67429 WITH SCORE 68143.181
AT ITER 4720 NEW BEST:: SOT 1118285 SOS 714203 HAS SOPS 712334 HAS SOUS 69287 HAS SOUPS 67426 WITH SCORE 68140.203
AT ITER 4730 NEW BEST:: SOT 1118437 SOS 718987 HAS SOPS 717118 HAS SOUS 69209 HAS SOUPS 67348 WITH SCORE 68066.987
AT ITER 4731 NEW BEST:: SOT 1118437 SOS 719080 HAS SOPS 717211 HAS SOUS 69208 HAS SOUPS 67347 WITH SCORE 68066.08
AT ITER 4738 NEW BEST:: SOT 1118359 SOS 719002 HAS SOPS 717133 HAS SOUS 69047 HAS SOUPS 67186 WITH SCORE 67905.002
AT ITER 4739 NEW BEST:: SOT 1118965 SOS 719608 HAS SOPS 717739 HAS SOUS 69009 HAS SOUPS 67148 WITH SCORE 67867.608
AT ITER 4756 NEW BEST:: SOT 1118608 SOS 719251 HAS SOPS 717382 HAS SOUS 68596 HAS SOUPS 66735 WITH SCORE 67454.251
AT ITER 4776 NEW BEST:: SOT 1118608 SOS 718963 HAS SOPS 717094 HAS SOUS 68596 HAS SOUPS 66735 WITH SCORE 67453.963
AT ITER 4822 NEW BEST:: SOT 1118565 SOS 718920 HAS SOPS 717051 HAS SOUS 68534 HAS SOUPS 66673 WITH SCORE 67391.92
AT ITER 4837 NEW BEST:: SOT 1118565 SOS 718986 HAS SOPS 717117 HAS SOUS 68531 HAS SOUPS 66670 WITH SCORE 67388.986
AT ITER 4864 NEW BEST:: SOT 1118565 SOS 722643 HAS SOPS 720790 HAS SOUS 68500 HAS SOUPS 66655 WITH SCORE 67377.643
AT ITER 4870 NEW BEST:: SOT 1118692 SOS 722872 HAS SOPS 721019 HAS SOUS 68455 HAS SOUPS 66610 WITH SCORE 67332.872
AT ITER 4875 NEW BEST:: SOT 1118692 SOS 722848 HAS SOPS 720995 HAS SOUS 68455 HAS SOUPS 66610 WITH SCORE 67332.848
AT ITER 4920 NEW BEST:: SOT 1118668 SOS 722824 HAS SOPS 720971 HAS SOUS 68392 HAS SOUPS 66547 WITH SCORE 67269.824
AT ITER 4927 NEW BEST:: SOT 1118668 SOS 721946 HAS SOPS 720093 HAS SOUS 68374 HAS SOUPS 66529 WITH SCORE 67250.946
AT ITER 4949 NEW BEST:: SOT 1119487 SOS 723269 HAS SOPS 721421 HAS SOUS 68281 HAS SOUPS 66441 WITH SCORE 67164.269
AT ITER 4967 NEW BEST:: SOT 1119487 SOS 723489 HAS SOPS 721641 HAS SOUS 68271 HAS SOUPS 66431 WITH SCORE 67154.489
AT ITER 4969 NEW BEST:: SOT 1119502 SOS 723504 HAS SOPS 721656 HAS SOUS 68248 HAS SOUPS 66408 WITH SCORE 67131.504
AT ITER 4995 NEW BEST:: SOT 1119472 SOS 723450 HAS SOPS 721602 HAS SOUS 68236 HAS SOUPS 66396 WITH SCORE 67119.45
AT ITER 5017 NEW BEST:: SOT 1119472 SOS 722763 HAS SOPS 720913 HAS SOUS 68236 HAS SOUPS 66394 WITH SCORE 67116.763
AT ITER 5019 NEW BEST:: SOT 1119496 SOS 722931 HAS SOPS 721017 HAS SOUS 68266 HAS SOUPS 66360 WITH SCORE 67082.931
AT ITER 5043 NEW BEST:: SOT 1119199 SOS 722632 HAS SOPS 720720 HAS SOUS 67601 HAS SOUPS 65697 WITH SCORE 66419.632
AT ITER 5051 NEW BEST:: SOT 1119199 SOS 722632 HAS SOPS 720720 HAS SOUS 67586 HAS SOUPS 65682 WITH SCORE 66404.632
AT ITER 5145 NEW BEST:: SOT 1119179 SOS 722612 HAS SOPS 720700 HAS SOUS 67516 HAS SOUPS 65612 WITH SCORE 66334.612
AT ITER 5163 NEW BEST:: SOT 1119168 SOS 722607 HAS SOPS 720695 HAS SOUS 67494 HAS SOUPS 65590 WITH SCORE 66312.607
AT ITER 5174 NEW BEST:: SOT 1119216 SOS 722427 HAS SOPS 720515 HAS SOUS 67482 HAS SOUPS 65578 WITH SCORE 66300.427
AT ITER 5178 NEW BEST:: SOT 1119216 SOS 714171 HAS SOPS 712259 HAS SOUS 67482 HAS SOUPS 65578 WITH SCORE 66292.171
AT ITER 5191 NEW BEST:: SOT 1119146 SOS 714101 HAS SOPS 712189 HAS SOUS 67457 HAS SOUPS 65553 WITH SCORE 66267.101
AT ITER 5217 NEW BEST:: SOT 1119132 SOS 714087 HAS SOPS 712175 HAS SOUS 67429 HAS SOUPS 65525 WITH SCORE 66239.087
AT ITER 5227 NEW BEST:: SOT 1119137 SOS 714092 HAS SOPS 712180 HAS SOUS 67418 HAS SOUPS 65514 WITH SCORE 66228.092
AT ITER 5230 NEW BEST:: SOT 1119179 SOS 714081 HAS SOPS 712318 HAS SOUS 66945 HAS SOUPS 65190 WITH SCORE 65904.081
AT ITER 5244 NEW BEST:: SOT 1119668 SOS 714570 HAS SOPS 712807 HAS SOUS 66830 HAS SOUPS 65075 WITH SCORE 65789.57
AT ITER 5246 NEW BEST:: SOT 1119552 SOS 714454 HAS SOPS 712691 HAS SOUS 66807 HAS SOUPS 65052 WITH SCORE 65766.454
AT ITER 5261 NEW BEST:: SOT 1119552 SOS 716302 HAS SOPS 714539 HAS SOUS 66800 HAS SOUPS 65045 WITH SCORE 65761.302
AT ITER 5289 NEW BEST:: SOT 1119552 SOS 716230 HAS SOPS 714467 HAS SOUS 66800 HAS SOUPS 65045 WITH SCORE 65761.23
AT ITER 5307 NEW BEST:: SOT 1119552 SOS 715592 HAS SOPS 713829 HAS SOUS 66800 HAS SOUPS 65045 WITH SCORE 65760.592
AT ITER 5343 NEW BEST:: SOT 1119552 SOS 715552 HAS SOPS 713789 HAS SOUS 66780 HAS SOUPS 65025 WITH SCORE 65740.552
AT ITER 5376 NEW BEST:: SOT 1119551 SOS 715551 HAS SOPS 713788 HAS SOUS 66779 HAS SOUPS 65024 WITH SCORE 65739.551
AT ITER 5411 NEW BEST:: SOT 1119783 SOS 715783 HAS SOPS 714020 HAS SOUS 66759 HAS SOUPS 65004 WITH SCORE 65719.783
AT ITER 5412 NEW BEST:: SOT 1119783 SOS 716047 HAS SOPS 714284 HAS SOUS 66755 HAS SOUPS 65000 WITH SCORE 65716.047
AT ITER 5429 NEW BEST:: SOT 1119783 SOS 716039 HAS SOPS 714276 HAS SOUS 66751 HAS SOUPS 64996 WITH SCORE 65712.039
AT ITER 5435 NEW BEST:: SOT 1119783 SOS 716039 HAS SOPS 714276 HAS SOUS 66748 HAS SOUPS 64993 WITH SCORE 65709.039
AT ITER 5444 NEW BEST:: SOT 1119784 SOS 716040 HAS SOPS 714277 HAS SOUS 66743 HAS SOUPS 64988 WITH SCORE 65704.04
AT ITER 5455 NEW BEST:: SOT 1119762 SOS 716018 HAS SOPS 714255 HAS SOUS 66721 HAS SOUPS 64966 WITH SCORE 65682.018
AT ITER 5497 NEW BEST:: SOT 1119995 SOS 716251 HAS SOPS 714488 HAS SOUS 66664 HAS SOUPS 64909 WITH SCORE 65625.251
AT ITER 5554 NEW BEST:: SOT 1119995 SOS 716159 HAS SOPS 714396 HAS SOUS 66664 HAS SOUPS 64909 WITH SCORE 65625.159
AT ITER 5571 NEW BEST:: SOT 1120545 SOS 717165 HAS SOPS 715427 HAS SOUS 66614 HAS SOUPS 64884 WITH SCORE 65601.165
AT ITER 5596 NEW BEST:: SOT 1120545 SOS 717165 HAS SOPS 715427 HAS SOUS 66607 HAS SOUPS 64877 WITH SCORE 65594.165
AT ITER 5691 NEW BEST:: SOT 1120259 SOS 716879 HAS SOPS 715141 HAS SOUS 66596 HAS SOUPS 64866 WITH SCORE 65582.879
AT ITER 5711 NEW BEST:: SOT 1119684 SOS 716246 HAS SOPS 714508 HAS SOUS 66579 HAS SOUPS 64849 WITH SCORE 65565.246
AT ITER 5716 NEW BEST:: SOT 1119684 SOS 716150 HAS SOPS 714412 HAS SOUS 66579 HAS SOUPS 64849 WITH SCORE 65565.15
AT ITER 5743 NEW BEST:: SOT 1118593 SOS 715037 HAS SOPS 713277 HAS SOUS 66575 HAS SOUPS 64823 WITH SCORE 65538.037
AT ITER 5780 NEW BEST:: SOT 1118593 SOS 714729 HAS SOPS 712969 HAS SOUS 66575 HAS SOUPS 64823 WITH SCORE 65537.729
AT ITER 5799 NEW BEST:: SOT 1118368 SOS 711039 HAS SOPS 709279 HAS SOUS 66557 HAS SOUPS 64805 WITH SCORE 65516.039
AT ITER 5832 NEW BEST:: SOT 1118100 SOS 710771 HAS SOPS 709011 HAS SOUS 66364 HAS SOUPS 64612 WITH SCORE 65322.771
AT ITER 5864 NEW BEST:: SOT 1118100 SOS 710337 HAS SOPS 708577 HAS SOUS 66364 HAS SOUPS 64612 WITH SCORE 65322.337
AT ITER 5866 NEW BEST:: SOT 1118080 SOS 710221 HAS SOPS 708477 HAS SOUS 66340 HAS SOUPS 64604 WITH SCORE 65314.221
AT ITER 5876 NEW BEST:: SOT 1118089 SOS 710230 HAS SOPS 708486 HAS SOUS 66337 HAS SOUPS 64601 WITH SCORE 65311.23
AT ITER 5885 NEW BEST:: SOT 1118091 SOS 710232 HAS SOPS 708488 HAS SOUS 66325 HAS SOUPS 64589 WITH SCORE 65299.232
AT ITER 5898 NEW BEST:: SOT 1118301 SOS 710442 HAS SOPS 708698 HAS SOUS 66268 HAS SOUPS 64532 WITH SCORE 65242.442
AT ITER 5954 NEW BEST:: SOT 1118254 SOS 710395 HAS SOPS 708651 HAS SOUS 66226 HAS SOUPS 64490 WITH SCORE 65200.395
AT ITER 5986 NEW BEST:: SOT 1118106 SOS 710247 HAS SOPS 708503 HAS SOUS 66098 HAS SOUPS 64362 WITH SCORE 65072.247
AT ITER 6024 NEW BEST:: SOT 1118073 SOS 710214 HAS SOPS 708470 HAS SOUS 66060 HAS SOUPS 64324 WITH SCORE 65034.214
AT ITER 6054 NEW BEST:: SOT 1118073 SOS 709350 HAS SOPS 707606 HAS SOUS 66060 HAS SOUPS 64324 WITH SCORE 65033.35
AT ITER 6084 NEW BEST:: SOT 1118073 SOS 711654 HAS SOPS 709910 HAS SOUS 66012 HAS SOUPS 64276 WITH SCORE 64987.654
AT ITER 6085 NEW BEST:: SOT 1118073 SOS 711294 HAS SOPS 709550 HAS SOUS 65997 HAS SOUPS 64261 WITH SCORE 64972.294
AT ITER 6095 NEW BEST:: SOT 1118073 SOS 712254 HAS SOPS 710510 HAS SOUS 65977 HAS SOUPS 64241 WITH SCORE 64953.254
AT ITER 6143 NEW BEST:: SOT 1118073 SOS 712206 HAS SOPS 710462 HAS SOUS 65977 HAS SOUPS 64241 WITH SCORE 64953.206
AT ITER 6152 NEW BEST:: SOT 1119554 SOS 713879 HAS SOPS 712135 HAS SOUS 65905 HAS SOUPS 64169 WITH SCORE 64882.879
AT ITER 6246 NEW BEST:: SOT 1119524 SOS 719753 HAS SOPS 718009 HAS SOUS 65866 HAS SOUPS 64130 WITH SCORE 64849.753
AT ITER 6250 NEW BEST:: SOT 1119524 SOS 720089 HAS SOPS 718345 HAS SOUS 65602 HAS SOUPS 63866 WITH SCORE 64586.089
AT ITER 6286 NEW BEST:: SOT 1119524 SOS 717534 HAS SOPS 715790 HAS SOUS 65597 HAS SOUPS 63861 WITH SCORE 64578.534
AT ITER 6296 NEW BEST:: SOT 1119454 SOS 717464 HAS SOPS 715720 HAS SOUS 65567 HAS SOUPS 63831 WITH SCORE 64548.464
AT ITER 6358 NEW BEST:: SOT 1119456 SOS 717460 HAS SOPS 715718 HAS SOUS 65527 HAS SOUPS 63792 WITH SCORE 64509.46
AT ITER 6377 NEW BEST:: SOT 1119256 SOS 717068 HAS SOPS 715316 HAS SOUS 65519 HAS SOUPS 63774 WITH SCORE 64491.068
AT ITER 6406 NEW BEST:: SOT 1119258 SOS 717130 HAS SOPS 715378 HAS SOUS 65487 HAS SOUPS 63742 WITH SCORE 64459.13
AT ITER 6413 NEW BEST:: SOT 1118725 SOS 716597 HAS SOPS 714845 HAS SOUS 65141 HAS SOUPS 63396 WITH SCORE 64112.597
AT ITER 6447 NEW BEST:: SOT 1118725 SOS 717221 HAS SOPS 715469 HAS SOUS 65100 HAS SOUPS 63355 WITH SCORE 64072.221
AT ITER 6455 NEW BEST:: SOT 1118645 SOS 717141 HAS SOPS 715389 HAS SOUS 65090 HAS SOUPS 63345 WITH SCORE 64062.141
AT ITER 6465 NEW BEST:: SOT 1118645 SOS 716709 HAS SOPS 714957 HAS SOUS 65090 HAS SOUPS 63345 WITH SCORE 64061.709
AT ITER 6470 NEW BEST:: SOT 1118624 SOS 716688 HAS SOPS 714936 HAS SOUS 65090 HAS SOUPS 63345 WITH SCORE 64061.688
AT ITER 6500 NEW BEST:: SOT 1118624 SOS 716640 HAS SOPS 714888 HAS SOUS 65090 HAS SOUPS 63345 WITH SCORE 64061.64
AT ITER 6508 NEW BEST:: SOT 1118624 SOS 716962 HAS SOPS 715210 HAS SOUS 65083 HAS SOUPS 63338 WITH SCORE 64054.962
AT ITER 6527 NEW BEST:: SOT 1118825 SOS 717163 HAS SOPS 715411 HAS SOUS 65039 HAS SOUPS 63294 WITH SCORE 64011.163
AT ITER 6530 NEW BEST:: SOT 1118823 SOS 717809 HAS SOPS 716057 HAS SOUS 65037 HAS SOUPS 63292 WITH SCORE 64009.809
AT ITER 6543 NEW BEST:: SOT 1118859 SOS 717898 HAS SOPS 716151 HAS SOUS 64825 HAS SOUPS 63085 WITH SCORE 63802.898
AT ITER 6612 NEW BEST:: SOT 1118086 SOS 708646 HAS SOPS 706899 HAS SOUS 64774 HAS SOUPS 63034 WITH SCORE 63742.646
AT ITER 6622 NEW BEST:: SOT 1118062 SOS 708622 HAS SOPS 706875 HAS SOUS 64772 HAS SOUPS 63032 WITH SCORE 63740.622
AT ITER 6651 NEW BEST:: SOT 1117782 SOS 708282 HAS SOPS 706535 HAS SOUS 64744 HAS SOUPS 63004 WITH SCORE 63712.282
AT ITER 6678 NEW BEST:: SOT 1117782 SOS 707610 HAS SOPS 705863 HAS SOUS 64744 HAS SOUPS 63004 WITH SCORE 63711.61
AT ITER 6713 NEW BEST:: SOT 1117780 SOS 708280 HAS SOPS 706533 HAS SOUS 64742 HAS SOUPS 63002 WITH SCORE 63710.28
AT ITER 6722 NEW BEST:: SOT 1117780 SOS 708280 HAS SOPS 706533 HAS SOUS 64550 HAS SOUPS 62810 WITH SCORE 63518.28
AT ITER 6732 NEW BEST:: SOT 1118494 SOS 708994 HAS SOPS 707247 HAS SOUS 64477 HAS SOUPS 62737 WITH SCORE 63445.994
AT ITER 6754 NEW BEST:: SOT 1118521 SOS 690900 HAS SOPS 689069 HAS SOUS 64488 HAS SOUPS 62727 WITH SCORE 63417.9
AT ITER 6769 NEW BEST:: SOT 1118541 SOS 690920 HAS SOPS 689089 HAS SOUS 64458 HAS SOUPS 62697 WITH SCORE 63387.92
AT ITER 6793 NEW BEST:: SOT 1118541 SOS 690512 HAS SOPS 688681 HAS SOUS 64458 HAS SOUPS 62697 WITH SCORE 63387.512
AT ITER 6805 NEW BEST:: SOT 1118541 SOS 690344 HAS SOPS 688513 HAS SOUS 64458 HAS SOUPS 62697 WITH SCORE 63387.344
AT ITER 6816 NEW BEST:: SOT 1118319 SOS 690122 HAS SOPS 688291 HAS SOUS 64326 HAS SOUPS 62565 WITH SCORE 63255.122
AT ITER 6889 NEW BEST:: SOT 1118319 SOS 689474 HAS SOPS 687643 HAS SOUS 64326 HAS SOUPS 62565 WITH SCORE 63254.474
AT ITER 6890 NEW BEST:: SOT 1118205 SOS 689360 HAS SOPS 687529 HAS SOUS 63996 HAS SOUPS 62235 WITH SCORE 62924.36
AT ITER 7039 NEW BEST:: SOT 1118678 SOS 692130 HAS SOPS 690299 HAS SOUS 63796 HAS SOUPS 62035 WITH SCORE 62727.13
AT ITER 7056 NEW BEST:: SOT 1118683 SOS 692135 HAS SOPS 690304 HAS SOUS 63633 HAS SOUPS 61872 WITH SCORE 62564.135
AT ITER 7073 NEW BEST:: SOT 1118661 SOS 692093 HAS SOPS 690262 HAS SOUS 63612 HAS SOUPS 61851 WITH SCORE 62543.093
AT ITER 7077 NEW BEST:: SOT 1118947 SOS 692368 HAS SOPS 690548 HAS SOUS 63464 HAS SOUPS 61714 WITH SCORE 62406.368
AT ITER 7078 NEW BEST:: SOT 1118533 SOS 691948 HAS SOPS 690128 HAS SOUS 63420 HAS SOUPS 61670 WITH SCORE 62361.948
AT ITER 7126 NEW BEST:: SOT 1118533 SOS 691940 HAS SOPS 690120 HAS SOUS 63418 HAS SOUPS 61668 WITH SCORE 62359.94
AT ITER 7182 NEW BEST:: SOT 1118372 SOS 691779 HAS SOPS 689959 HAS SOUS 63356 HAS SOUPS 61606 WITH SCORE 62297.779
AT ITER 7184 NEW BEST:: SOT 1118388 SOS 691795 HAS SOPS 689975 HAS SOUS 63015 HAS SOUPS 61265 WITH SCORE 61956.795
AT ITER 7188 NEW BEST:: SOT 1118768 SOS 692175 HAS SOPS 690355 HAS SOUS 62637 HAS SOUPS 60887 WITH SCORE 61579.175
AT ITER 7216 NEW BEST:: SOT 1118795 SOS 692202 HAS SOPS 690382 HAS SOUS 62598 HAS SOUPS 60848 WITH SCORE 61540.202
AT ITER 7250 NEW BEST:: SOT 1118795 SOS 692202 HAS SOPS 690382 HAS SOUS 62591 HAS SOUPS 60841 WITH SCORE 61533.202
AT ITER 7274 NEW BEST:: SOT 1118795 SOS 691696 HAS SOPS 689876 HAS SOUS 62591 HAS SOUPS 60841 WITH SCORE 61532.696
AT ITER 7330 NEW BEST:: SOT 1118797 SOS 693199 HAS SOPS 691379 HAS SOUS 62584 HAS SOUPS 60834 WITH SCORE 61527.199
AT ITER 7338 NEW BEST:: SOT 1118797 SOS 693199 HAS SOPS 691379 HAS SOUS 62556 HAS SOUPS 60806 WITH SCORE 61499.199
AT ITER 7367 NEW BEST:: SOT 1118797 SOS 693175 HAS SOPS 691355 HAS SOUS 62556 HAS SOUPS 60806 WITH SCORE 61499.175
AT ITER 7391 NEW BEST:: SOT 1118797 SOS 693087 HAS SOPS 691267 HAS SOUS 62556 HAS SOUPS 60806 WITH SCORE 61499.087
AT ITER 7405 NEW BEST:: SOT 1118804 SOS 693094 HAS SOPS 691274 HAS SOUS 62395 HAS SOUPS 60645 WITH SCORE 61338.094
AT ITER 7468 NEW BEST:: SOT 1118804 SOS 692518 HAS SOPS 690698 HAS SOUS 62395 HAS SOUPS 60645 WITH SCORE 61337.518
AT ITER 7476 NEW BEST:: SOT 1118790 SOS 692504 HAS SOPS 690684 HAS SOUS 62387 HAS SOUPS 60637 WITH SCORE 61329.504
AT ITER 7480 NEW BEST:: SOT 1118790 SOS 693054 HAS SOPS 691234 HAS SOUS 62362 HAS SOUPS 60612 WITH SCORE 61305.054
AT ITER 7513 NEW BEST:: SOT 1118788 SOS 693052 HAS SOPS 691232 HAS SOUS 62357 HAS SOUPS 60607 WITH SCORE 61300.052
AT ITER 7577 NEW BEST:: SOT 1118794 SOS 693058 HAS SOPS 691238 HAS SOUS 62267 HAS SOUPS 60517 WITH SCORE 61210.058
AT ITER 7580 NEW BEST:: SOT 1118794 SOS 692290 HAS SOPS 690470 HAS SOUS 62267 HAS SOUPS 60517 WITH SCORE 61209.29
AT ITER 7627 NEW BEST:: SOT 1118767 SOS 692256 HAS SOPS 690436 HAS SOUS 62233 HAS SOUPS 60483 WITH SCORE 61175.256
AT ITER 7629 NEW BEST:: SOT 1118771 SOS 692260 HAS SOPS 690440 HAS SOUS 62194 HAS SOUPS 60444 WITH SCORE 61136.26
AT ITER 7632 NEW BEST:: SOT 1118771 SOS 692140 HAS SOPS 690320 HAS SOUS 62194 HAS SOUPS 60444 WITH SCORE 61136.14
AT ITER 7681 NEW BEST:: SOT 1118770 SOS 692139 HAS SOPS 690319 HAS SOUS 62191 HAS SOUPS 60441 WITH SCORE 61133.139
AT ITER 7716 NEW BEST:: SOT 1118775 SOS 701840 HAS SOPS 700104 HAS SOUS 62073 HAS SOUPS 60344 WITH SCORE 61045.84
AT ITER 7733 NEW BEST:: SOT 1118604 SOS 702104 HAS SOPS 700368 HAS SOUS 62049 HAS SOUPS 60320 WITH SCORE 61022.104
AT ITER 7739 NEW BEST:: SOT 1118604 SOS 701912 HAS SOPS 700176 HAS SOUS 62049 HAS SOUPS 60320 WITH SCORE 61021.912
AT ITER 7774 NEW BEST:: SOT 1118742 SOS 702050 HAS SOPS 700314 HAS SOUS 62043 HAS SOUPS 60314 WITH SCORE 61016.05
AT ITER 7816 NEW BEST:: SOT 1118719 SOS 702027 HAS SOPS 700291 HAS SOUS 62020 HAS SOUPS 60291 WITH SCORE 60993.027
AT ITER 7823 NEW BEST:: SOT 1118675 SOS 702517 HAS SOPS 700781 HAS SOUS 61985 HAS SOUPS 60256 WITH SCORE 60958.517
AT ITER 7847 NEW BEST:: SOT 1118675 SOS 702517 HAS SOPS 700781 HAS SOUS 61964 HAS SOUPS 60235 WITH SCORE 60937.517
AT ITER 7860 NEW BEST:: SOT 1118701 SOS 702663 HAS SOPS 700882 HAS SOUS 61995 HAS SOUPS 60221 WITH SCORE 60923.663
AT ITER 7862 NEW BEST:: SOT 1118701 SOS 702591 HAS SOPS 700810 HAS SOUS 61995 HAS SOUPS 60221 WITH SCORE 60923.591
AT ITER 7863 NEW BEST:: SOT 1118701 SOS 702591 HAS SOPS 700810 HAS SOUS 61968 HAS SOUPS 60194 WITH SCORE 60896.591
AT ITER 7905 NEW BEST:: SOT 1118451 SOS 700891 HAS SOPS 699110 HAS SOUS 61872 HAS SOUPS 60098 WITH SCORE 60798.891
AT ITER 7930 NEW BEST:: SOT 1118474 SOS 700914 HAS SOPS 699133 HAS SOUS 61865 HAS SOUPS 60091 WITH SCORE 60791.914
AT ITER 7968 NEW BEST:: SOT 1118494 SOS 700157 HAS SOPS 698348 HAS SOUS 61885 HAS SOUPS 60083 WITH SCORE 60783.157
AT ITER 7980 NEW BEST:: SOT 1118473 SOS 700136 HAS SOPS 698327 HAS SOUS 61864 HAS SOUPS 60062 WITH SCORE 60762.136
AT ITER 8026 NEW BEST:: SOT 1118410 SOS 700721 HAS SOPS 698912 HAS SOUS 61770 HAS SOUPS 59968 WITH SCORE 60668.721
AT ITER 8042 NEW BEST:: SOT 1118385 SOS 700696 HAS SOPS 698887 HAS SOUS 61770 HAS SOUPS 59968 WITH SCORE 60668.696
AT ITER 8055 NEW BEST:: SOT 1118082 SOS 696752 HAS SOPS 694895 HAS SOUS 61635 HAS SOUPS 59785 WITH SCORE 60481.752
AT ITER 8061 NEW BEST:: SOT 1117969 SOS 696639 HAS SOPS 694782 HAS SOUS 61445 HAS SOUPS 59595 WITH SCORE 60291.639
AT ITER 8064 NEW BEST:: SOT 1117969 SOS 685929 HAS SOPS 684072 HAS SOUS 61424 HAS SOUPS 59574 WITH SCORE 60259.929
AT ITER 8124 NEW BEST:: SOT 1117969 SOS 685944 HAS SOPS 684092 HAS SOUS 61391 HAS SOUPS 59546 WITH SCORE 60231.944
AT ITER 8148 NEW BEST:: SOT 1118048 SOS 686023 HAS SOPS 684171 HAS SOUS 61343 HAS SOUPS 59498 WITH SCORE 60184.023
AT ITER 8159 NEW BEST:: SOT 1118048 SOS 685783 HAS SOPS 683931 HAS SOUS 61343 HAS SOUPS 59498 WITH SCORE 60183.783
AT ITER 8224 NEW BEST:: SOT 1117845 SOS 685580 HAS SOPS 683728 HAS SOUS 61229 HAS SOUPS 59384 WITH SCORE 60069.58
AT ITER 8258 NEW BEST:: SOT 1117845 SOS 685004 HAS SOPS 683152 HAS SOUS 61229 HAS SOUPS 59384 WITH SCORE 60069.004
AT ITER 8267 NEW BEST:: SOT 1117824 SOS 684983 HAS SOPS 683131 HAS SOUS 61208 HAS SOUPS 59363 WITH SCORE 60047.983
AT ITER 8305 NEW BEST:: SOT 1118967 SOS 686126 HAS SOPS 684274 HAS SOUS 61008 HAS SOUPS 59163 WITH SCORE 59849.126
AT ITER 8319 NEW BEST:: SOT 1119023 SOS 686182 HAS SOPS 684330 HAS SOUS 60999 HAS SOUPS 59154 WITH SCORE 59840.182
AT ITER 8368 NEW BEST:: SOT 1118977 SOS 686136 HAS SOPS 684284 HAS SOUS 60878 HAS SOUPS 59033 WITH SCORE 59719.136
AT ITER 8390 NEW BEST:: SOT 1118977 SOS 685872 HAS SOPS 684020 HAS SOUS 60867 HAS SOUPS 59022 WITH SCORE 59707.872
AT ITER 8431 NEW BEST:: SOT 1118966 SOS 685861 HAS SOPS 684009 HAS SOUS 60844 HAS SOUPS 58999 WITH SCORE 59684.861
AT ITER 8450 NEW BEST:: SOT 1118964 SOS 685857 HAS SOPS 684005 HAS SOUS 60842 HAS SOUPS 58997 WITH SCORE 59682.857
AT ITER 8464 NEW BEST:: SOT 1118714 SOS 679837 HAS SOPS 677985 HAS SOUS 60822 HAS SOUPS 58977 WITH SCORE 59656.837
AT ITER 8537 NEW BEST:: SOT 1118698 SOS 679821 HAS SOPS 677969 HAS SOUS 60786 HAS SOUPS 58941 WITH SCORE 59620.821
AT ITER 8572 NEW BEST:: SOT 1118656 SOS 679779 HAS SOPS 677927 HAS SOUS 60725 HAS SOUPS 58880 WITH SCORE 59559.779
AT ITER 8580 NEW BEST:: SOT 1118656 SOS 679659 HAS SOPS 677807 HAS SOUS 60725 HAS SOUPS 58880 WITH SCORE 59559.659
AT ITER 8583 NEW BEST:: SOT 1118742 SOS 676200 HAS SOPS 674348 HAS SOUS 60508 HAS SOUPS 58663 WITH SCORE 59339.2
AT ITER 8599 NEW BEST:: SOT 1118742 SOS 676128 HAS SOPS 674276 HAS SOUS 60508 HAS SOUPS 58663 WITH SCORE 59339.128
AT ITER 8676 NEW BEST:: SOT 1118742 SOS 675552 HAS SOPS 673700 HAS SOUS 60508 HAS SOUPS 58663 WITH SCORE 59338.552
AT ITER 8698 NEW BEST:: SOT 1118742 SOS 674976 HAS SOPS 673124 HAS SOUS 60508 HAS SOUPS 58663 WITH SCORE 59337.976
AT ITER 8733 NEW BEST:: SOT 1118742 SOS 674640 HAS SOPS 672788 HAS SOUS 60508 HAS SOUPS 58663 WITH SCORE 59337.64
AT ITER 8735 NEW BEST:: SOT 1118800 SOS 674698 HAS SOPS 672846 HAS SOUS 60394 HAS SOUPS 58549 WITH SCORE 59223.698
AT ITER 8739 NEW BEST:: SOT 1118711 SOS 674609 HAS SOPS 672757 HAS SOUS 60254 HAS SOUPS 58409 WITH SCORE 59083.609
AT ITER 8821 NEW BEST:: SOT 1118711 SOS 674582 HAS SOPS 672730 HAS SOUS 60227 HAS SOUPS 58382 WITH SCORE 59056.582
AT ITER 8905 NEW BEST:: SOT 1118291 SOS 673730 HAS SOPS 671838 HAS SOUS 60239 HAS SOUPS 58354 WITH SCORE 59027.73
AT ITER 8925 NEW BEST:: SOT 1118291 SOS 673730 HAS SOPS 671838 HAS SOUS 60214 HAS SOUPS 58329 WITH SCORE 59002.73
AT ITER 8953 NEW BEST:: SOT 1118226 SOS 673665 HAS SOPS 671773 HAS SOUS 60149 HAS SOUPS 58264 WITH SCORE 58937.665
AT ITER 8956 NEW BEST:: SOT 1118214 SOS 673653 HAS SOPS 671761 HAS SOUS 60122 HAS SOUPS 58237 WITH SCORE 58910.653
AT ITER 8975 NEW BEST:: SOT 1117854 SOS 672909 HAS SOPS 670992 HAS SOUS 60130 HAS SOUPS 58220 WITH SCORE 58892.909
AT ITER 8981 NEW BEST:: SOT 1117854 SOS 657477 HAS SOPS 655560 HAS SOUS 60123 HAS SOUPS 58213 WITH SCORE 58870.477
AT ITER 9084 NEW BEST:: SOT 1117838 SOS 657461 HAS SOPS 655544 HAS SOUS 60116 HAS SOUPS 58206 WITH SCORE 58863.461
AT ITER 9148 NEW BEST:: SOT 1117836 SOS 657963 HAS SOPS 656046 HAS SOUS 60114 HAS SOUPS 58204 WITH SCORE 58861.963
AT ITER 9168 NEW BEST:: SOT 1117836 SOS 657963 HAS SOPS 656046 HAS SOUS 60108 HAS SOUPS 58198 WITH SCORE 58855.963
AT ITER 9272 NEW BEST:: SOT 1117836 SOS 657963 HAS SOPS 656046 HAS SOUS 60100 HAS SOUPS 58190 WITH SCORE 58847.963
AT ITER 9339 NEW BEST:: SOT 1118367 SOS 658494 HAS SOPS 656577 HAS SOUS 59746 HAS SOUPS 57836 WITH SCORE 58494.494
AT ITER 9365 NEW BEST:: SOT 1118372 SOS 655204 HAS SOPS 653287 HAS SOUS 59744 HAS SOUPS 57834 WITH SCORE 58489.204
AT ITER 9387 NEW BEST:: SOT 1118372 SOS 652264 HAS SOPS 650347 HAS SOUS 59736 HAS SOUPS 57826 WITH SCORE 58478.264
AT ITER 9426 NEW BEST:: SOT 1118352 SOS 652244 HAS SOPS 650327 HAS SOUS 59674 HAS SOUPS 57764 WITH SCORE 58416.244
AT ITER 9537 NEW BEST:: SOT 1118069 SOS 651961 HAS SOPS 650044 HAS SOUS 59565 HAS SOUPS 57655 WITH SCORE 58306.961
AT ITER 9584 NEW BEST:: SOT 1118067 SOS 651959 HAS SOPS 650042 HAS SOUS 59543 HAS SOUPS 57633 WITH SCORE 58284.959
AT ITER 9595 NEW BEST:: SOT 1118067 SOS 651503 HAS SOPS 649586 HAS SOUS 59543 HAS SOUPS 57633 WITH SCORE 58284.503
AT ITER 9605 NEW BEST:: SOT 1118145 SOS 651581 HAS SOPS 649664 HAS SOUS 59513 HAS SOUPS 57603 WITH SCORE 58254.581
AT ITER 9648 NEW BEST:: SOT 1117946 SOS 651322 HAS SOPS 649405 HAS SOUS 59465 HAS SOUPS 57555 WITH SCORE 58206.322
AT ITER 9786 NEW BEST:: SOT 1117178 SOS 649786 HAS SOPS 647869 HAS SOUS 59465 HAS SOUPS 57555 WITH SCORE 58204.786
AT ITER 9798 NEW BEST:: SOT 1117178 SOS 649786 HAS SOPS 647869 HAS SOUS 59452 HAS SOUPS 57542 WITH SCORE 58191.786
AT ITER 9817 NEW BEST:: SOT 1117178 SOS 649786 HAS SOPS 647869 HAS SOUS 59436 HAS SOUPS 57526 WITH SCORE 58175.786
AT ITER 9888 NEW BEST:: SOT 1117178 SOS 649786 HAS SOPS 647869 HAS SOUS 59417 HAS SOUPS 57507 WITH SCORE 58156.786
AT ITER 9906 NEW BEST:: SOT 1117133 SOS 649741 HAS SOPS 647824 HAS SOUS 59373 HAS SOUPS 57463 WITH SCORE 58112.741
AT ITER 9988 NEW BEST:: SOT 1117088 SOS 649696 HAS SOPS 647779 HAS SOUS 59288 HAS SOUPS 57378 WITH SCORE 58027.696
AT ITER 9997 NEW BEST:: SOT 1117093 SOS 649701 HAS SOPS 647784 HAS SOUS 59278 HAS SOUPS 57368 WITH SCORE 58017.701
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12699724 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16112676 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="Medical-PT-12"
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 Medical-PT-12, 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 r235-tall-167856422200696"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Medical-PT-12.tgz
mv Medical-PT-12 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;