Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355100656.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBNT-PT-S05J40, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 19K Apr 12 06:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Apr 12 06:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 68K Apr 11 05:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 214K Apr 11 05:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 69K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 215K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Apr 10 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 10 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 9 18:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Apr 9 18:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.5K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.9K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 24 05:37 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 1589646274061

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J40
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 629 places, 1590 transitions, 10704 arcs.
AT ITER 0 NEW BEST:: SOT 704204 SOS 339233 HAS SOPS 339233 HAS SOUS 185175 HAS SOUPS 185175 WITH SCORE 185514.233
AT ITER 6 NEW BEST:: SOT 704133 SOS 339226 HAS SOPS 339226 HAS SOUS 185148 HAS SOUPS 185148 WITH SCORE 185487.226
AT ITER 11 NEW BEST:: SOT 704313 SOS 339284 HAS SOPS 339284 HAS SOUS 184750 HAS SOUPS 184750 WITH SCORE 185089.284
AT ITER 17 NEW BEST:: SOT 704385 SOS 339396 HAS SOPS 339396 HAS SOUS 184622 HAS SOUPS 184622 WITH SCORE 184961.396
AT ITER 27 NEW BEST:: SOT 704361 SOS 339443 HAS SOPS 339443 HAS SOUS 184621 HAS SOUPS 184621 WITH SCORE 184960.443
AT ITER 28 NEW BEST:: SOT 704303 SOS 339286 HAS SOPS 339286 HAS SOUS 184068 HAS SOUPS 184068 WITH SCORE 184407.286
AT ITER 36 NEW BEST:: SOT 704280 SOS 339217 HAS SOPS 339217 HAS SOUS 183815 HAS SOUPS 183815 WITH SCORE 184154.217
AT ITER 46 NEW BEST:: SOT 704280 SOS 339217 HAS SOPS 339217 HAS SOUS 183793 HAS SOUPS 183793 WITH SCORE 184132.217
AT ITER 59 NEW BEST:: SOT 704173 SOS 338988 HAS SOPS 338988 HAS SOUS 183076 HAS SOUPS 183076 WITH SCORE 183414.988
AT ITER 65 NEW BEST:: SOT 704173 SOS 338866 HAS SOPS 338866 HAS SOUS 182466 HAS SOUPS 182466 WITH SCORE 182804.866
AT ITER 66 NEW BEST:: SOT 704477 SOS 339048 HAS SOPS 339048 HAS SOUS 182210 HAS SOUPS 182210 WITH SCORE 182549.048
AT ITER 71 NEW BEST:: SOT 704403 SOS 338875 HAS SOPS 338875 HAS SOUS 181641 HAS SOUPS 181641 WITH SCORE 181979.875
AT ITER 73 NEW BEST:: SOT 704367 SOS 338839 HAS SOPS 338839 HAS SOUS 181605 HAS SOUPS 181605 WITH SCORE 181943.839
AT ITER 94 NEW BEST:: SOT 704307 SOS 338657 HAS SOPS 338657 HAS SOUS 180941 HAS SOUPS 180941 WITH SCORE 181279.657
AT ITER 95 NEW BEST:: SOT 704246 SOS 338578 HAS SOPS 338578 HAS SOUS 180790 HAS SOUPS 180790 WITH SCORE 181128.578
AT ITER 98 NEW BEST:: SOT 704176 SOS 338508 HAS SOPS 338508 HAS SOUS 180670 HAS SOUPS 180670 WITH SCORE 181008.508
AT ITER 101 NEW BEST:: SOT 704288 SOS 338498 HAS SOPS 338498 HAS SOUS 180202 HAS SOUPS 180202 WITH SCORE 180540.498
AT ITER 104 NEW BEST:: SOT 704289 SOS 338367 HAS SOPS 338367 HAS SOUS 179553 HAS SOUPS 179553 WITH SCORE 179891.367
AT ITER 116 NEW BEST:: SOT 704404 SOS 338411 HAS SOPS 338411 HAS SOUS 179405 HAS SOUPS 179405 WITH SCORE 179743.411
AT ITER 125 NEW BEST:: SOT 704404 SOS 338411 HAS SOPS 338411 HAS SOUS 179235 HAS SOUPS 179235 WITH SCORE 179573.411
AT ITER 136 NEW BEST:: SOT 704410 SOS 338317 HAS SOPS 338317 HAS SOUS 178720 HAS SOUPS 178720 WITH SCORE 179058.317
AT ITER 139 NEW BEST:: SOT 704286 SOS 338330 HAS SOPS 338330 HAS SOUS 178705 HAS SOUPS 178705 WITH SCORE 179043.33
AT ITER 150 NEW BEST:: SOT 704232 SOS 338276 HAS SOPS 338276 HAS SOUS 178651 HAS SOUPS 178651 WITH SCORE 178989.276
AT ITER 153 NEW BEST:: SOT 704232 SOS 338276 HAS SOPS 338276 HAS SOUS 178594 HAS SOUPS 178594 WITH SCORE 178932.276
AT ITER 155 NEW BEST:: SOT 704152 SOS 338196 HAS SOPS 338196 HAS SOUS 178514 HAS SOUPS 178514 WITH SCORE 178852.196
AT ITER 158 NEW BEST:: SOT 704152 SOS 338196 HAS SOPS 338196 HAS SOUS 178442 HAS SOUPS 178442 WITH SCORE 178780.196
AT ITER 160 NEW BEST:: SOT 704157 SOS 338079 HAS SOPS 338079 HAS SOUS 177969 HAS SOUPS 177969 WITH SCORE 178307.079
AT ITER 161 NEW BEST:: SOT 704157 SOS 338079 HAS SOPS 338079 HAS SOUS 177738 HAS SOUPS 177738 WITH SCORE 178076.079
AT ITER 167 NEW BEST:: SOT 704157 SOS 338072 HAS SOPS 338072 HAS SOUS 177703 HAS SOUPS 177703 WITH SCORE 178041.072
AT ITER 175 NEW BEST:: SOT 704165 SOS 338326 HAS SOPS 338326 HAS SOUS 177593 HAS SOUPS 177593 WITH SCORE 177931.326
AT ITER 176 NEW BEST:: SOT 704165 SOS 338315 HAS SOPS 338315 HAS SOUS 177538 HAS SOUPS 177538 WITH SCORE 177876.315
AT ITER 178 NEW BEST:: SOT 704151 SOS 338301 HAS SOPS 338301 HAS SOUS 177524 HAS SOUPS 177524 WITH SCORE 177862.301
AT ITER 180 NEW BEST:: SOT 704151 SOS 338301 HAS SOPS 338301 HAS SOUS 177398 HAS SOUPS 177398 WITH SCORE 177736.301
AT ITER 184 NEW BEST:: SOT 704086 SOS 338325 HAS SOPS 338325 HAS SOUS 177397 HAS SOUPS 177397 WITH SCORE 177735.325
AT ITER 188 NEW BEST:: SOT 704086 SOS 338288 HAS SOPS 338288 HAS SOUS 177212 HAS SOUPS 177212 WITH SCORE 177550.288
AT ITER 202 NEW BEST:: SOT 704039 SOS 338318 HAS SOPS 338318 HAS SOUS 177211 HAS SOUPS 177211 WITH SCORE 177549.318
AT ITER 204 NEW BEST:: SOT 704039 SOS 338318 HAS SOPS 338318 HAS SOUS 177205 HAS SOUPS 177205 WITH SCORE 177543.318
AT ITER 211 NEW BEST:: SOT 704039 SOS 338318 HAS SOPS 338318 HAS SOUS 177159 HAS SOUPS 177159 WITH SCORE 177497.318
AT ITER 220 NEW BEST:: SOT 704036 SOS 338319 HAS SOPS 338319 HAS SOUS 177155 HAS SOUPS 177155 WITH SCORE 177493.319
AT ITER 225 NEW BEST:: SOT 703969 SOS 338320 HAS SOPS 338320 HAS SOUS 177116 HAS SOUPS 177116 WITH SCORE 177454.32
AT ITER 232 NEW BEST:: SOT 703810 SOS 338161 HAS SOPS 338161 HAS SOUS 176957 HAS SOUPS 176957 WITH SCORE 177295.161
AT ITER 235 NEW BEST:: SOT 703794 SOS 338145 HAS SOPS 338145 HAS SOUS 176941 HAS SOUPS 176941 WITH SCORE 177279.145
AT ITER 241 NEW BEST:: SOT 703706 SOS 338126 HAS SOPS 338126 HAS SOUS 176819 HAS SOUPS 176819 WITH SCORE 177157.126
AT ITER 258 NEW BEST:: SOT 703684 SOS 338094 HAS SOPS 338094 HAS SOUS 176655 HAS SOUPS 176655 WITH SCORE 176993.094
AT ITER 276 NEW BEST:: SOT 703614 SOS 338089 HAS SOPS 338089 HAS SOUS 176632 HAS SOUPS 176632 WITH SCORE 176970.089
AT ITER 277 NEW BEST:: SOT 703474 SOS 338218 HAS SOPS 338218 HAS SOUS 176611 HAS SOUPS 176611 WITH SCORE 176949.218
AT ITER 295 NEW BEST:: SOT 703413 SOS 338096 HAS SOPS 338096 HAS SOUS 176489 HAS SOUPS 176489 WITH SCORE 176827.096
AT ITER 305 NEW BEST:: SOT 703224 SOS 337873 HAS SOPS 337873 HAS SOUS 176270 HAS SOUPS 176270 WITH SCORE 176607.873
AT ITER 308 NEW BEST:: SOT 703310 SOS 337900 HAS SOPS 337900 HAS SOUS 176064 HAS SOUPS 176064 WITH SCORE 176401.9
AT ITER 311 NEW BEST:: SOT 703366 SOS 337878 HAS SOPS 337878 HAS SOUS 175923 HAS SOUPS 175923 WITH SCORE 176260.878
AT ITER 314 NEW BEST:: SOT 686410 SOS 332857 HAS SOPS 332857 HAS SOUS 159397 HAS SOUPS 159397 WITH SCORE 159729.857
AT ITER 325 NEW BEST:: SOT 686332 SOS 332779 HAS SOPS 332779 HAS SOUS 159319 HAS SOUPS 159319 WITH SCORE 159651.779
AT ITER 347 NEW BEST:: SOT 686248 SOS 332727 HAS SOPS 332727 HAS SOUS 159275 HAS SOUPS 159275 WITH SCORE 159607.727
AT ITER 355 NEW BEST:: SOT 686257 SOS 332745 HAS SOPS 332745 HAS SOUS 159242 HAS SOUPS 159242 WITH SCORE 159574.745
AT ITER 360 NEW BEST:: SOT 686257 SOS 332745 HAS SOPS 332745 HAS SOUS 159091 HAS SOUPS 159091 WITH SCORE 159423.745
AT ITER 377 NEW BEST:: SOT 686191 SOS 332679 HAS SOPS 332679 HAS SOUS 158820 HAS SOUPS 158820 WITH SCORE 159152.679
AT ITER 382 NEW BEST:: SOT 686133 SOS 332656 HAS SOPS 332656 HAS SOUS 158794 HAS SOUPS 158794 WITH SCORE 159126.656
AT ITER 393 NEW BEST:: SOT 587383 SOS 234396 HAS SOPS 234396 HAS SOUS 143589 HAS SOUPS 143589 WITH SCORE 143823.396
AT ITER 395 NEW BEST:: SOT 587323 SOS 234336 HAS SOPS 234336 HAS SOUS 143109 HAS SOUPS 143109 WITH SCORE 143343.336
AT ITER 408 NEW BEST:: SOT 587331 SOS 234563 HAS SOPS 234563 HAS SOUS 142990 HAS SOUPS 142990 WITH SCORE 143224.563
AT ITER 423 NEW BEST:: SOT 587229 SOS 234401 HAS SOPS 234401 HAS SOUS 142383 HAS SOUPS 142383 WITH SCORE 142617.401
AT ITER 439 NEW BEST:: SOT 587115 SOS 234287 HAS SOPS 234287 HAS SOUS 142269 HAS SOUPS 142269 WITH SCORE 142503.287
AT ITER 449 NEW BEST:: SOT 587050 SOS 234202 HAS SOPS 234202 HAS SOUS 142084 HAS SOUPS 142084 WITH SCORE 142318.202
AT ITER 466 NEW BEST:: SOT 586998 SOS 234149 HAS SOPS 234149 HAS SOUS 142031 HAS SOUPS 142031 WITH SCORE 142265.149
AT ITER 467 NEW BEST:: SOT 586958 SOS 234099 HAS SOPS 234099 HAS SOUS 141941 HAS SOUPS 141941 WITH SCORE 142175.099
AT ITER 472 NEW BEST:: SOT 586861 SOS 233921 HAS SOPS 233921 HAS SOUS 141234 HAS SOUPS 141234 WITH SCORE 141467.921
AT ITER 483 NEW BEST:: SOT 586827 SOS 233903 HAS SOPS 233903 HAS SOUS 141154 HAS SOUPS 141154 WITH SCORE 141387.903
AT ITER 489 NEW BEST:: SOT 586772 SOS 233827 HAS SOPS 233827 HAS SOUS 140994 HAS SOUPS 140994 WITH SCORE 141227.827
AT ITER 491 NEW BEST:: SOT 586771 SOS 233826 HAS SOPS 233826 HAS SOUS 140993 HAS SOUPS 140993 WITH SCORE 141226.826
AT ITER 508 NEW BEST:: SOT 586809 SOS 233864 HAS SOPS 233864 HAS SOUS 140863 HAS SOUPS 140863 WITH SCORE 141096.864
AT ITER 514 NEW BEST:: SOT 586809 SOS 233864 HAS SOPS 233864 HAS SOUS 140805 HAS SOUPS 140805 WITH SCORE 141038.864
AT ITER 517 NEW BEST:: SOT 586809 SOS 233864 HAS SOPS 233864 HAS SOUS 140731 HAS SOUPS 140731 WITH SCORE 140964.864
AT ITER 522 NEW BEST:: SOT 586809 SOS 233791 HAS SOPS 233791 HAS SOUS 140731 HAS SOUPS 140731 WITH SCORE 140964.791
AT ITER 525 NEW BEST:: SOT 586809 SOS 233791 HAS SOPS 233791 HAS SOUS 140726 HAS SOUPS 140726 WITH SCORE 140959.791
AT ITER 527 NEW BEST:: SOT 586801 SOS 233783 HAS SOPS 233783 HAS SOUS 140718 HAS SOUPS 140718 WITH SCORE 140951.783
AT ITER 535 NEW BEST:: SOT 586744 SOS 233804 HAS SOPS 233804 HAS SOUS 140697 HAS SOUPS 140697 WITH SCORE 140930.804
AT ITER 542 NEW BEST:: SOT 586598 SOS 233577 HAS SOPS 233577 HAS SOUS 139941 HAS SOUPS 139941 WITH SCORE 140174.577
AT ITER 545 NEW BEST:: SOT 586418 SOS 233316 HAS SOPS 233316 HAS SOUS 139261 HAS SOUPS 139261 WITH SCORE 139494.316
AT ITER 553 NEW BEST:: SOT 586418 SOS 233316 HAS SOPS 233316 HAS SOUS 139249 HAS SOUPS 139249 WITH SCORE 139482.316
AT ITER 558 NEW BEST:: SOT 586412 SOS 233310 HAS SOPS 233310 HAS SOUS 139243 HAS SOUPS 139243 WITH SCORE 139476.31
AT ITER 559 NEW BEST:: SOT 586470 SOS 233368 HAS SOPS 233368 HAS SOUS 138609 HAS SOUPS 138609 WITH SCORE 138842.368
AT ITER 560 NEW BEST:: SOT 586370 SOS 233268 HAS SOPS 233268 HAS SOUS 138509 HAS SOUPS 138509 WITH SCORE 138742.268
AT ITER 561 NEW BEST:: SOT 586350 SOS 233248 HAS SOPS 233248 HAS SOUS 138485 HAS SOUPS 138485 WITH SCORE 138718.248
AT ITER 562 NEW BEST:: SOT 586335 SOS 233233 HAS SOPS 233233 HAS SOUS 138418 HAS SOUPS 138418 WITH SCORE 138651.233
AT ITER 563 NEW BEST:: SOT 586339 SOS 233237 HAS SOPS 233237 HAS SOUS 138036 HAS SOUPS 138036 WITH SCORE 138269.237
AT ITER 579 NEW BEST:: SOT 586069 SOS 232888 HAS SOPS 232888 HAS SOUS 137264 HAS SOUPS 137264 WITH SCORE 137496.888
AT ITER 584 NEW BEST:: SOT 586086 SOS 232888 HAS SOPS 232888 HAS SOUS 137261 HAS SOUPS 137261 WITH SCORE 137493.888
AT ITER 589 NEW BEST:: SOT 586025 SOS 232827 HAS SOPS 232827 HAS SOUS 137035 HAS SOUPS 137035 WITH SCORE 137267.827
AT ITER 598 NEW BEST:: SOT 586405 SOS 233207 HAS SOPS 233207 HAS SOUS 136727 HAS SOUPS 136727 WITH SCORE 136960.207
AT ITER 599 NEW BEST:: SOT 586277 SOS 233060 HAS SOPS 233060 HAS SOUS 136484 HAS SOUPS 136484 WITH SCORE 136717.06
AT ITER 602 NEW BEST:: SOT 586199 SOS 232904 HAS SOPS 232904 HAS SOUS 135811 HAS SOUPS 135811 WITH SCORE 136043.904
AT ITER 603 NEW BEST:: SOT 586159 SOS 232960 HAS SOPS 232960 HAS SOUS 135718 HAS SOUPS 135718 WITH SCORE 135950.96
AT ITER 606 NEW BEST:: SOT 586145 SOS 232925 HAS SOPS 232925 HAS SOUS 135382 HAS SOUPS 135382 WITH SCORE 135614.925
AT ITER 615 NEW BEST:: SOT 586125 SOS 232939 HAS SOPS 232939 HAS SOUS 135377 HAS SOUPS 135377 WITH SCORE 135609.939
AT ITER 622 NEW BEST:: SOT 586064 SOS 232817 HAS SOPS 232817 HAS SOUS 135255 HAS SOUPS 135255 WITH SCORE 135487.817
AT ITER 625 NEW BEST:: SOT 586044 SOS 232777 HAS SOPS 232777 HAS SOUS 135215 HAS SOUPS 135215 WITH SCORE 135447.777
AT ITER 626 NEW BEST:: SOT 586052 SOS 232942 HAS SOPS 232942 HAS SOUS 135081 HAS SOUPS 135081 WITH SCORE 135313.942
AT ITER 631 NEW BEST:: SOT 586045 SOS 232935 HAS SOPS 232935 HAS SOUS 135074 HAS SOUPS 135074 WITH SCORE 135306.935
AT ITER 639 NEW BEST:: SOT 586019 SOS 232895 HAS SOPS 232895 HAS SOUS 135034 HAS SOUPS 135034 WITH SCORE 135266.895
AT ITER 656 NEW BEST:: SOT 585922 SOS 232798 HAS SOPS 232798 HAS SOUS 134848 HAS SOUPS 134848 WITH SCORE 135080.798
AT ITER 669 NEW BEST:: SOT 585719 SOS 232521 HAS SOPS 232521 HAS SOUS 134079 HAS SOUPS 134079 WITH SCORE 134311.521
AT ITER 673 NEW BEST:: SOT 585520 SOS 232241 HAS SOPS 232241 HAS SOUS 133594 HAS SOUPS 133594 WITH SCORE 133826.241
AT ITER 675 NEW BEST:: SOT 585520 SOS 232241 HAS SOPS 232241 HAS SOUS 133369 HAS SOUPS 133369 WITH SCORE 133601.241
AT ITER 679 NEW BEST:: SOT 585520 SOS 232224 HAS SOPS 232224 HAS SOUS 133314 HAS SOUPS 133314 WITH SCORE 133546.224
AT ITER 681 NEW BEST:: SOT 585508 SOS 232212 HAS SOPS 232212 HAS SOUS 133302 HAS SOUPS 133302 WITH SCORE 133534.212
AT ITER 682 NEW BEST:: SOT 585506 SOS 232210 HAS SOPS 232210 HAS SOUS 133300 HAS SOUPS 133300 WITH SCORE 133532.21
AT ITER 707 NEW BEST:: SOT 585459 SOS 232116 HAS SOPS 232116 HAS SOUS 132813 HAS SOUPS 132813 WITH SCORE 133045.116
AT ITER 720 NEW BEST:: SOT 585459 SOS 231903 HAS SOPS 231903 HAS SOUS 132706 HAS SOUPS 132706 WITH SCORE 132937.903
AT ITER 730 NEW BEST:: SOT 585353 SOS 231797 HAS SOPS 231797 HAS SOUS 132600 HAS SOUPS 132600 WITH SCORE 132831.797
AT ITER 740 NEW BEST:: SOT 585315 SOS 231759 HAS SOPS 231759 HAS SOUS 132513 HAS SOUPS 132513 WITH SCORE 132744.759
AT ITER 753 NEW BEST:: SOT 585297 SOS 231741 HAS SOPS 231741 HAS SOUS 131531 HAS SOUPS 131531 WITH SCORE 131762.741
AT ITER 754 NEW BEST:: SOT 585305 SOS 231771 HAS SOPS 231771 HAS SOUS 131362 HAS SOUPS 131362 WITH SCORE 131593.771
AT ITER 761 NEW BEST:: SOT 585277 SOS 231622 HAS SOPS 231622 HAS SOUS 131351 HAS SOUPS 131351 WITH SCORE 131582.622
AT ITER 764 NEW BEST:: SOT 585231 SOS 231577 HAS SOPS 231577 HAS SOUS 131306 HAS SOUPS 131306 WITH SCORE 131537.577
AT ITER 799 NEW BEST:: SOT 585180 SOS 231574 HAS SOPS 231574 HAS SOUS 131277 HAS SOUPS 131277 WITH SCORE 131508.574
AT ITER 802 NEW BEST:: SOT 585180 SOS 231574 HAS SOPS 231574 HAS SOUS 131037 HAS SOUPS 131037 WITH SCORE 131268.574
AT ITER 805 NEW BEST:: SOT 585180 SOS 231574 HAS SOPS 231574 HAS SOUS 130891 HAS SOUPS 130891 WITH SCORE 131122.574
AT ITER 811 NEW BEST:: SOT 585186 SOS 231574 HAS SOPS 231574 HAS SOUS 130632 HAS SOUPS 130632 WITH SCORE 130863.574
AT ITER 819 NEW BEST:: SOT 584747 SOS 231135 HAS SOPS 231135 HAS SOUS 130193 HAS SOUPS 130193 WITH SCORE 130424.135
AT ITER 821 NEW BEST:: SOT 584654 SOS 231042 HAS SOPS 231042 HAS SOUS 130097 HAS SOUPS 130097 WITH SCORE 130328.042
AT ITER 823 NEW BEST:: SOT 584654 SOS 231042 HAS SOPS 231042 HAS SOUS 130027 HAS SOUPS 130027 WITH SCORE 130258.042
AT ITER 829 NEW BEST:: SOT 584642 SOS 231030 HAS SOPS 231030 HAS SOUS 130014 HAS SOUPS 130014 WITH SCORE 130245.03
AT ITER 833 NEW BEST:: SOT 584678 SOS 231043 HAS SOPS 231043 HAS SOUS 129760 HAS SOUPS 129760 WITH SCORE 129991.043
AT ITER 834 NEW BEST:: SOT 584678 SOS 231043 HAS SOPS 231043 HAS SOUS 129720 HAS SOUPS 129720 WITH SCORE 129951.043
AT ITER 835 NEW BEST:: SOT 584502 SOS 230847 HAS SOPS 230847 HAS SOUS 129239 HAS SOUPS 129239 WITH SCORE 129469.847
AT ITER 854 NEW BEST:: SOT 584489 SOS 230903 HAS SOPS 230903 HAS SOUS 129227 HAS SOUPS 129227 WITH SCORE 129457.903
AT ITER 856 NEW BEST:: SOT 584459 SOS 230917 HAS SOPS 230917 HAS SOUS 129220 HAS SOUPS 129220 WITH SCORE 129450.917
AT ITER 861 NEW BEST:: SOT 584459 SOS 230896 HAS SOPS 230896 HAS SOUS 129220 HAS SOUPS 129220 WITH SCORE 129450.896
AT ITER 863 NEW BEST:: SOT 584315 SOS 230472 HAS SOPS 230472 HAS SOUS 128972 HAS SOUPS 128972 WITH SCORE 129202.472
AT ITER 867 NEW BEST:: SOT 584282 SOS 230439 HAS SOPS 230439 HAS SOUS 128783 HAS SOUPS 128783 WITH SCORE 129013.439
AT ITER 875 NEW BEST:: SOT 584280 SOS 230437 HAS SOPS 230437 HAS SOUS 128781 HAS SOUPS 128781 WITH SCORE 129011.437
AT ITER 883 NEW BEST:: SOT 584251 SOS 230408 HAS SOPS 230408 HAS SOUS 128607 HAS SOUPS 128607 WITH SCORE 128837.408
AT ITER 899 NEW BEST:: SOT 529828 SOS 213713 HAS SOPS 213713 HAS SOUS 122722 HAS SOUPS 122722 WITH SCORE 122935.713
AT ITER 905 NEW BEST:: SOT 529943 SOS 213828 HAS SOPS 213828 HAS SOUS 122453 HAS SOUPS 122453 WITH SCORE 122666.828
AT ITER 911 NEW BEST:: SOT 529943 SOS 213828 HAS SOPS 213828 HAS SOUS 122427 HAS SOUPS 122427 WITH SCORE 122640.828
AT ITER 916 NEW BEST:: SOT 529902 SOS 213806 HAS SOPS 213806 HAS SOUS 122325 HAS SOUPS 122325 WITH SCORE 122538.806
AT ITER 917 NEW BEST:: SOT 529880 SOS 213784 HAS SOPS 213784 HAS SOUS 122095 HAS SOUPS 122095 WITH SCORE 122308.784
AT ITER 928 NEW BEST:: SOT 529793 SOS 213701 HAS SOPS 213666 HAS SOUS 121984 HAS SOUPS 121977 WITH SCORE 122190.701
AT ITER 930 NEW BEST:: SOT 529793 SOS 213698 HAS SOPS 213663 HAS SOUS 121978 HAS SOUPS 121971 WITH SCORE 122184.698
AT ITER 949 NEW BEST:: SOT 529543 SOS 213448 HAS SOPS 213413 HAS SOUS 121728 HAS SOUPS 121721 WITH SCORE 121934.448
AT ITER 955 NEW BEST:: SOT 529472 SOS 213431 HAS SOPS 213396 HAS SOUS 121688 HAS SOUPS 121681 WITH SCORE 121894.431
AT ITER 962 NEW BEST:: SOT 529472 SOS 213422 HAS SOPS 213387 HAS SOUS 121688 HAS SOUPS 121681 WITH SCORE 121894.422
AT ITER 965 NEW BEST:: SOT 529472 SOS 213422 HAS SOPS 213387 HAS SOUS 121615 HAS SOUPS 121608 WITH SCORE 121821.422
AT ITER 966 NEW BEST:: SOT 529407 SOS 213357 HAS SOPS 213322 HAS SOUS 121548 HAS SOUPS 121541 WITH SCORE 121754.357
AT ITER 968 NEW BEST:: SOT 529407 SOS 213328 HAS SOPS 213293 HAS SOUS 121522 HAS SOUPS 121515 WITH SCORE 121728.328
AT ITER 1007 NEW BEST:: SOT 529407 SOS 213328 HAS SOPS 213293 HAS SOUS 121486 HAS SOUPS 121479 WITH SCORE 121692.328
AT ITER 1025 NEW BEST:: SOT 529294 SOS 213215 HAS SOPS 213180 HAS SOUS 121373 HAS SOUPS 121366 WITH SCORE 121579.215
AT ITER 1031 NEW BEST:: SOT 529244 SOS 213165 HAS SOPS 213130 HAS SOUS 121223 HAS SOUPS 121216 WITH SCORE 121429.165
AT ITER 1033 NEW BEST:: SOT 529196 SOS 213117 HAS SOPS 213082 HAS SOUS 121107 HAS SOUPS 121100 WITH SCORE 121313.117
AT ITER 1039 NEW BEST:: SOT 529018 SOS 212939 HAS SOPS 212904 HAS SOUS 120711 HAS SOUPS 120704 WITH SCORE 120916.939
AT ITER 1049 NEW BEST:: SOT 528790 SOS 212711 HAS SOPS 212676 HAS SOUS 120398 HAS SOUPS 120391 WITH SCORE 120603.711
AT ITER 1066 NEW BEST:: SOT 528790 SOS 212711 HAS SOPS 212676 HAS SOUS 120194 HAS SOUPS 120187 WITH SCORE 120399.711
AT ITER 1068 NEW BEST:: SOT 528698 SOS 212619 HAS SOPS 212584 HAS SOUS 120076 HAS SOUPS 120069 WITH SCORE 120281.619
AT ITER 1071 NEW BEST:: SOT 528662 SOS 212583 HAS SOPS 212548 HAS SOUS 120040 HAS SOUPS 120033 WITH SCORE 120245.583
AT ITER 1077 NEW BEST:: SOT 528592 SOS 212513 HAS SOPS 212478 HAS SOUS 119970 HAS SOUPS 119963 WITH SCORE 120175.513
AT ITER 1083 NEW BEST:: SOT 528409 SOS 212330 HAS SOPS 212295 HAS SOUS 119367 HAS SOUPS 119360 WITH SCORE 119572.33
AT ITER 1086 NEW BEST:: SOT 528409 SOS 212328 HAS SOPS 212293 HAS SOUS 119367 HAS SOUPS 119360 WITH SCORE 119572.328
AT ITER 1101 NEW BEST:: SOT 528319 SOS 211991 HAS SOPS 211956 HAS SOUS 119051 HAS SOUPS 119044 WITH SCORE 119255.991
AT ITER 1112 NEW BEST:: SOT 528302 SOS 211974 HAS SOPS 211939 HAS SOUS 119034 HAS SOUPS 119027 WITH SCORE 119238.974
AT ITER 1121 NEW BEST:: SOT 528342 SOS 212014 HAS SOPS 211979 HAS SOUS 118914 HAS SOUPS 118907 WITH SCORE 119119.014
AT ITER 1127 NEW BEST:: SOT 528549 SOS 212221 HAS SOPS 212186 HAS SOUS 118640 HAS SOUPS 118633 WITH SCORE 118845.221
AT ITER 1152 NEW BEST:: SOT 528549 SOS 212221 HAS SOPS 212186 HAS SOUS 118450 HAS SOUPS 118443 WITH SCORE 118655.221
AT ITER 1166 NEW BEST:: SOT 528525 SOS 212197 HAS SOPS 212162 HAS SOUS 118306 HAS SOUPS 118299 WITH SCORE 118511.197
AT ITER 1167 NEW BEST:: SOT 528287 SOS 211959 HAS SOPS 211924 HAS SOUS 118154 HAS SOUPS 118147 WITH SCORE 118358.959
AT ITER 1170 NEW BEST:: SOT 528287 SOS 211925 HAS SOPS 211890 HAS SOUS 118144 HAS SOUPS 118137 WITH SCORE 118348.925
AT ITER 1172 NEW BEST:: SOT 528266 SOS 211904 HAS SOPS 211869 HAS SOUS 117647 HAS SOUPS 117640 WITH SCORE 117851.904
AT ITER 1184 NEW BEST:: SOT 527991 SOS 211629 HAS SOPS 211594 HAS SOUS 116457 HAS SOUPS 116450 WITH SCORE 116661.629
AT ITER 1189 NEW BEST:: SOT 527929 SOS 211585 HAS SOPS 211550 HAS SOUS 116395 HAS SOUPS 116388 WITH SCORE 116599.585
AT ITER 1192 NEW BEST:: SOT 528155 SOS 211811 HAS SOPS 211776 HAS SOUS 116321 HAS SOUPS 116314 WITH SCORE 116525.811
AT ITER 1194 NEW BEST:: SOT 526757 SOS 210672 HAS SOPS 210644 HAS SOUS 114889 HAS SOUPS 114882 WITH SCORE 115092.672
AT ITER 1199 NEW BEST:: SOT 526699 SOS 210614 HAS SOPS 210586 HAS SOUS 114698 HAS SOUPS 114691 WITH SCORE 114901.614
AT ITER 1200 NEW BEST:: SOT 526667 SOS 210582 HAS SOPS 210554 HAS SOUS 114658 HAS SOUPS 114651 WITH SCORE 114861.582
AT ITER 1206 NEW BEST:: SOT 526403 SOS 211006 HAS SOPS 210978 HAS SOUS 114653 HAS SOUPS 114646 WITH SCORE 114857.006
AT ITER 1208 NEW BEST:: SOT 526426 SOS 211029 HAS SOPS 211001 HAS SOUS 114633 HAS SOUPS 114626 WITH SCORE 114837.029
AT ITER 1209 NEW BEST:: SOT 526426 SOS 211029 HAS SOPS 211001 HAS SOUS 114593 HAS SOUPS 114586 WITH SCORE 114797.029
AT ITER 1213 NEW BEST:: SOT 526426 SOS 210993 HAS SOPS 210965 HAS SOUS 114572 HAS SOUPS 114565 WITH SCORE 114775.993
AT ITER 1214 NEW BEST:: SOT 526409 SOS 210976 HAS SOPS 210948 HAS SOUS 114555 HAS SOUPS 114548 WITH SCORE 114758.976
AT ITER 1217 NEW BEST:: SOT 526409 SOS 210976 HAS SOPS 210948 HAS SOUS 114446 HAS SOUPS 114439 WITH SCORE 114649.976
AT ITER 1218 NEW BEST:: SOT 526470 SOS 211037 HAS SOPS 211009 HAS SOUS 113787 HAS SOUPS 113780 WITH SCORE 113991.037
AT ITER 1221 NEW BEST:: SOT 526294 SOS 210863 HAS SOPS 210835 HAS SOUS 113611 HAS SOUPS 113604 WITH SCORE 113814.863
AT ITER 1245 NEW BEST:: SOT 526294 SOS 210863 HAS SOPS 210835 HAS SOUS 113602 HAS SOUPS 113595 WITH SCORE 113805.863
AT ITER 1263 NEW BEST:: SOT 526294 SOS 210778 HAS SOPS 210750 HAS SOUS 113297 HAS SOUPS 113290 WITH SCORE 113500.778
AT ITER 1268 NEW BEST:: SOT 526136 SOS 210270 HAS SOPS 210235 HAS SOUS 113170 HAS SOUPS 113163 WITH SCORE 113373.27
AT ITER 1293 NEW BEST:: SOT 526014 SOS 210148 HAS SOPS 210113 HAS SOUS 113048 HAS SOUPS 113041 WITH SCORE 113251.148
AT ITER 1295 NEW BEST:: SOT 526250 SOS 210384 HAS SOPS 210349 HAS SOUS 112808 HAS SOUPS 112801 WITH SCORE 113011.384
AT ITER 1301 NEW BEST:: SOT 526209 SOS 210261 HAS SOPS 210226 HAS SOUS 112765 HAS SOUPS 112758 WITH SCORE 112968.261
AT ITER 1312 NEW BEST:: SOT 526378 SOS 210430 HAS SOPS 210395 HAS SOUS 112655 HAS SOUPS 112648 WITH SCORE 112858.43
AT ITER 1313 NEW BEST:: SOT 526265 SOS 210317 HAS SOPS 210282 HAS SOUS 112297 HAS SOUPS 112290 WITH SCORE 112500.317
AT ITER 1314 NEW BEST:: SOT 526265 SOS 210317 HAS SOPS 210282 HAS SOUS 112107 HAS SOUPS 112100 WITH SCORE 112310.317
AT ITER 1321 NEW BEST:: SOT 526265 SOS 210317 HAS SOPS 210282 HAS SOUS 112047 HAS SOUPS 112040 WITH SCORE 112250.317
AT ITER 1330 NEW BEST:: SOT 526255 SOS 210302 HAS SOPS 210267 HAS SOUS 112029 HAS SOUPS 112022 WITH SCORE 112232.302
AT ITER 1334 NEW BEST:: SOT 526394 SOS 210441 HAS SOPS 210406 HAS SOUS 111807 HAS SOUPS 111800 WITH SCORE 112010.441
AT ITER 1336 NEW BEST:: SOT 526354 SOS 210401 HAS SOPS 210366 HAS SOUS 111680 HAS SOUPS 111673 WITH SCORE 111883.401
AT ITER 1342 NEW BEST:: SOT 526364 SOS 210411 HAS SOPS 210376 HAS SOUS 111646 HAS SOUPS 111639 WITH SCORE 111849.411
AT ITER 1351 NEW BEST:: SOT 526441 SOS 210488 HAS SOPS 210453 HAS SOUS 111643 HAS SOUPS 111636 WITH SCORE 111846.488
AT ITER 1360 NEW BEST:: SOT 526308 SOS 210355 HAS SOPS 210320 HAS SOUS 110905 HAS SOUPS 110898 WITH SCORE 111108.355
AT ITER 1365 NEW BEST:: SOT 526308 SOS 210349 HAS SOPS 210314 HAS SOUS 110899 HAS SOUPS 110892 WITH SCORE 111102.349
AT ITER 1366 NEW BEST:: SOT 526294 SOS 210349 HAS SOPS 210314 HAS SOUS 110885 HAS SOUPS 110878 WITH SCORE 111088.349
AT ITER 1370 NEW BEST:: SOT 526294 SOS 210349 HAS SOPS 210314 HAS SOUS 110884 HAS SOUPS 110877 WITH SCORE 111087.349
AT ITER 1375 NEW BEST:: SOT 526215 SOS 210311 HAS SOPS 210276 HAS SOUS 110783 HAS SOUPS 110776 WITH SCORE 110986.311
AT ITER 1392 NEW BEST:: SOT 526172 SOS 210350 HAS SOPS 210315 HAS SOUS 110714 HAS SOUPS 110707 WITH SCORE 110917.35
AT ITER 1393 NEW BEST:: SOT 526161 SOS 210339 HAS SOPS 210304 HAS SOUS 110681 HAS SOUPS 110674 WITH SCORE 110884.339
AT ITER 1395 NEW BEST:: SOT 526009 SOS 210187 HAS SOPS 210152 HAS SOUS 110029 HAS SOUPS 110022 WITH SCORE 110232.187
AT ITER 1411 NEW BEST:: SOT 526009 SOS 210187 HAS SOPS 210152 HAS SOUS 110019 HAS SOUPS 110012 WITH SCORE 110222.187
AT ITER 1422 NEW BEST:: SOT 526003 SOS 210181 HAS SOPS 210146 HAS SOUS 110013 HAS SOUPS 110006 WITH SCORE 110216.181
AT ITER 1423 NEW BEST:: SOT 526017 SOS 210459 HAS SOPS 210424 HAS SOUS 109844 HAS SOUPS 109837 WITH SCORE 110047.459
AT ITER 1425 NEW BEST:: SOT 525984 SOS 210456 HAS SOPS 210421 HAS SOUS 109838 HAS SOUPS 109831 WITH SCORE 110041.456
AT ITER 1454 NEW BEST:: SOT 525959 SOS 210308 HAS SOPS 210273 HAS SOUS 109772 HAS SOUPS 109765 WITH SCORE 109975.308
AT ITER 1458 NEW BEST:: SOT 525959 SOS 210308 HAS SOPS 210273 HAS SOUS 109437 HAS SOUPS 109430 WITH SCORE 109640.308
AT ITER 1460 NEW BEST:: SOT 526046 SOS 210395 HAS SOPS 210360 HAS SOUS 108653 HAS SOUPS 108646 WITH SCORE 108856.395
AT ITER 1461 NEW BEST:: SOT 526046 SOS 210395 HAS SOPS 210360 HAS SOUS 108551 HAS SOUPS 108544 WITH SCORE 108754.395
AT ITER 1477 NEW BEST:: SOT 526065 SOS 210414 HAS SOPS 210379 HAS SOUS 108419 HAS SOUPS 108412 WITH SCORE 108622.414
AT ITER 1481 NEW BEST:: SOT 526067 SOS 210416 HAS SOPS 210381 HAS SOUS 108151 HAS SOUPS 108144 WITH SCORE 108354.416
AT ITER 1489 NEW BEST:: SOT 525991 SOS 210340 HAS SOPS 210305 HAS SOUS 107865 HAS SOUPS 107858 WITH SCORE 108068.34
AT ITER 1492 NEW BEST:: SOT 525991 SOS 210340 HAS SOPS 210305 HAS SOUS 107679 HAS SOUPS 107672 WITH SCORE 107882.34
AT ITER 1506 NEW BEST:: SOT 525991 SOS 210340 HAS SOPS 210305 HAS SOUS 107667 HAS SOUPS 107660 WITH SCORE 107870.34
AT ITER 1515 NEW BEST:: SOT 525813 SOS 210162 HAS SOPS 210127 HAS SOUS 107491 HAS SOUPS 107484 WITH SCORE 107694.162
AT ITER 1531 NEW BEST:: SOT 525601 SOS 209738 HAS SOPS 209703 HAS SOUS 107067 HAS SOUPS 107060 WITH SCORE 107269.738
AT ITER 1548 NEW BEST:: SOT 525567 SOS 209704 HAS SOPS 209669 HAS SOUS 107033 HAS SOUPS 107026 WITH SCORE 107235.704
AT ITER 1555 NEW BEST:: SOT 525519 SOS 209656 HAS SOPS 209621 HAS SOUS 106969 HAS SOUPS 106962 WITH SCORE 107171.656
AT ITER 1561 NEW BEST:: SOT 525464 SOS 209601 HAS SOPS 209566 HAS SOUS 106834 HAS SOUPS 106827 WITH SCORE 107036.601
AT ITER 1572 NEW BEST:: SOT 525464 SOS 209601 HAS SOPS 209566 HAS SOUS 106653 HAS SOUPS 106646 WITH SCORE 106855.601
AT ITER 1578 NEW BEST:: SOT 525431 SOS 209568 HAS SOPS 209533 HAS SOUS 106620 HAS SOUPS 106613 WITH SCORE 106822.568
AT ITER 1605 NEW BEST:: SOT 525323 SOS 209460 HAS SOPS 209425 HAS SOUS 106512 HAS SOUPS 106505 WITH SCORE 106714.46
AT ITER 1609 NEW BEST:: SOT 525381 SOS 209570 HAS SOPS 209535 HAS SOUS 106482 HAS SOUPS 106475 WITH SCORE 106684.57
AT ITER 1614 NEW BEST:: SOT 525373 SOS 209538 HAS SOPS 209503 HAS SOUS 106457 HAS SOUPS 106450 WITH SCORE 106659.538
AT ITER 1617 NEW BEST:: SOT 525373 SOS 209241 HAS SOPS 209206 HAS SOUS 106430 HAS SOUPS 106423 WITH SCORE 106632.241
AT ITER 1618 NEW BEST:: SOT 525371 SOS 209239 HAS SOPS 209204 HAS SOUS 106404 HAS SOUPS 106397 WITH SCORE 106606.239
AT ITER 1635 NEW BEST:: SOT 525321 SOS 209189 HAS SOPS 209154 HAS SOUS 106352 HAS SOUPS 106345 WITH SCORE 106554.189
AT ITER 1665 NEW BEST:: SOT 525310 SOS 209178 HAS SOPS 209143 HAS SOUS 106261 HAS SOUPS 106254 WITH SCORE 106463.178
AT ITER 1685 NEW BEST:: SOT 525285 SOS 209153 HAS SOPS 209118 HAS SOUS 106108 HAS SOUPS 106101 WITH SCORE 106310.153
AT ITER 1691 NEW BEST:: SOT 525285 SOS 209153 HAS SOPS 209118 HAS SOUS 106097 HAS SOUPS 106090 WITH SCORE 106299.153
AT ITER 1709 NEW BEST:: SOT 525285 SOS 209153 HAS SOPS 209118 HAS SOUS 106082 HAS SOUPS 106075 WITH SCORE 106284.153
AT ITER 1711 NEW BEST:: SOT 525305 SOS 209173 HAS SOPS 209138 HAS SOUS 106029 HAS SOUPS 106022 WITH SCORE 106231.173
AT ITER 1712 NEW BEST:: SOT 525305 SOS 209173 HAS SOPS 209138 HAS SOUS 106028 HAS SOUPS 106021 WITH SCORE 106230.173
AT ITER 1734 NEW BEST:: SOT 525305 SOS 209145 HAS SOPS 209110 HAS SOUS 106012 HAS SOUPS 106005 WITH SCORE 106214.145
AT ITER 1735 NEW BEST:: SOT 525373 SOS 209213 HAS SOPS 209178 HAS SOUS 105565 HAS SOUPS 105558 WITH SCORE 105767.213
AT ITER 1736 NEW BEST:: SOT 525319 SOS 209314 HAS SOPS 209279 HAS SOUS 105545 HAS SOUPS 105538 WITH SCORE 105747.314
AT ITER 1737 NEW BEST:: SOT 525167 SOS 209162 HAS SOPS 209127 HAS SOUS 105311 HAS SOUPS 105304 WITH SCORE 105513.162
AT ITER 1740 NEW BEST:: SOT 525052 SOS 209047 HAS SOPS 209012 HAS SOUS 105143 HAS SOUPS 105136 WITH SCORE 105345.047
AT ITER 1747 NEW BEST:: SOT 525009 SOS 209064 HAS SOPS 209029 HAS SOUS 105100 HAS SOUPS 105093 WITH SCORE 105302.064
AT ITER 1751 NEW BEST:: SOT 525359 SOS 209414 HAS SOPS 209379 HAS SOUS 105005 HAS SOUPS 104998 WITH SCORE 105207.414
AT ITER 1752 NEW BEST:: SOT 525328 SOS 209383 HAS SOPS 209348 HAS SOUS 105000 HAS SOUPS 104993 WITH SCORE 105202.383
AT ITER 1770 NEW BEST:: SOT 525248 SOS 209303 HAS SOPS 209268 HAS SOUS 104920 HAS SOUPS 104913 WITH SCORE 105122.303
AT ITER 1796 NEW BEST:: SOT 525238 SOS 209301 HAS SOPS 209266 HAS SOUS 104887 HAS SOUPS 104880 WITH SCORE 105089.301
AT ITER 1809 NEW BEST:: SOT 525353 SOS 209431 HAS SOPS 209396 HAS SOUS 104885 HAS SOUPS 104878 WITH SCORE 105087.431
AT ITER 1823 NEW BEST:: SOT 525338 SOS 209416 HAS SOPS 209381 HAS SOUS 104884 HAS SOUPS 104877 WITH SCORE 105086.416
AT ITER 1826 NEW BEST:: SOT 525338 SOS 209416 HAS SOPS 209381 HAS SOUS 104868 HAS SOUPS 104861 WITH SCORE 105070.416
AT ITER 1832 NEW BEST:: SOT 525314 SOS 209392 HAS SOPS 209357 HAS SOUS 104789 HAS SOUPS 104782 WITH SCORE 104991.392
AT ITER 1838 NEW BEST:: SOT 525314 SOS 209392 HAS SOPS 209357 HAS SOUS 104782 HAS SOUPS 104775 WITH SCORE 104984.392
AT ITER 1883 NEW BEST:: SOT 525264 SOS 209367 HAS SOPS 209332 HAS SOUS 104732 HAS SOUPS 104725 WITH SCORE 104934.367
AT ITER 1890 NEW BEST:: SOT 525130 SOS 209233 HAS SOPS 209198 HAS SOUS 104598 HAS SOUPS 104591 WITH SCORE 104800.233
AT ITER 1900 NEW BEST:: SOT 525178 SOS 209281 HAS SOPS 209246 HAS SOUS 104553 HAS SOUPS 104546 WITH SCORE 104755.281
AT ITER 1906 NEW BEST:: SOT 525170 SOS 209265 HAS SOPS 209230 HAS SOUS 104537 HAS SOUPS 104530 WITH SCORE 104739.265
AT ITER 1916 NEW BEST:: SOT 525162 SOS 209257 HAS SOPS 209222 HAS SOUS 104525 HAS SOUPS 104518 WITH SCORE 104727.257
AT ITER 1924 NEW BEST:: SOT 525096 SOS 209191 HAS SOPS 209156 HAS SOUS 104459 HAS SOUPS 104452 WITH SCORE 104661.191
AT ITER 1926 NEW BEST:: SOT 525096 SOS 209191 HAS SOPS 209156 HAS SOUS 104322 HAS SOUPS 104315 WITH SCORE 104524.191
AT ITER 1934 NEW BEST:: SOT 525017 SOS 209191 HAS SOPS 209156 HAS SOUS 104241 HAS SOUPS 104234 WITH SCORE 104443.191
AT ITER 1936 NEW BEST:: SOT 525017 SOS 209191 HAS SOPS 209156 HAS SOUS 104201 HAS SOUPS 104194 WITH SCORE 104403.191
AT ITER 1945 NEW BEST:: SOT 524975 SOS 209149 HAS SOPS 209114 HAS SOUS 104159 HAS SOUPS 104152 WITH SCORE 104361.149
AT ITER 1951 NEW BEST:: SOT 524905 SOS 209079 HAS SOPS 209044 HAS SOUS 103914 HAS SOUPS 103907 WITH SCORE 104116.079
AT ITER 1954 NEW BEST:: SOT 524969 SOS 209143 HAS SOPS 209108 HAS SOUS 103737 HAS SOUPS 103730 WITH SCORE 103939.143
AT ITER 1966 NEW BEST:: SOT 524989 SOS 209163 HAS SOPS 209128 HAS SOUS 103370 HAS SOUPS 103363 WITH SCORE 103572.163
AT ITER 1976 NEW BEST:: SOT 524941 SOS 209115 HAS SOPS 209080 HAS SOUS 103322 HAS SOUPS 103315 WITH SCORE 103524.115
AT ITER 1980 NEW BEST:: SOT 524685 SOS 208859 HAS SOPS 208824 HAS SOUS 103034 HAS SOUPS 103027 WITH SCORE 103235.859
AT ITER 1981 NEW BEST:: SOT 524685 SOS 208826 HAS SOPS 208791 HAS SOUS 103034 HAS SOUPS 103027 WITH SCORE 103235.826
AT ITER 1987 NEW BEST:: SOT 524608 SOS 208749 HAS SOPS 208714 HAS SOUS 102572 HAS SOUPS 102565 WITH SCORE 102773.749
AT ITER 1988 NEW BEST:: SOT 524600 SOS 208741 HAS SOPS 208706 HAS SOUS 102556 HAS SOUPS 102549 WITH SCORE 102757.741
AT ITER 1992 NEW BEST:: SOT 524544 SOS 208783 HAS SOPS 208748 HAS SOUS 102457 HAS SOUPS 102450 WITH SCORE 102658.783
AT ITER 2016 NEW BEST:: SOT 524586 SOS 208825 HAS SOPS 208790 HAS SOUS 102437 HAS SOUPS 102430 WITH SCORE 102638.825
AT ITER 2018 NEW BEST:: SOT 524652 SOS 208801 HAS SOPS 208766 HAS SOUS 102419 HAS SOUPS 102412 WITH SCORE 102620.801
AT ITER 2024 NEW BEST:: SOT 524606 SOS 208755 HAS SOPS 208720 HAS SOUS 102373 HAS SOUPS 102366 WITH SCORE 102574.755
AT ITER 2032 NEW BEST:: SOT 524802 SOS 208951 HAS SOPS 208916 HAS SOUS 102338 HAS SOUPS 102331 WITH SCORE 102539.951
AT ITER 2042 NEW BEST:: SOT 524742 SOS 208891 HAS SOPS 208856 HAS SOUS 102278 HAS SOUPS 102271 WITH SCORE 102479.891
AT ITER 2049 NEW BEST:: SOT 524726 SOS 209119 HAS SOPS 209084 HAS SOUS 102226 HAS SOUPS 102219 WITH SCORE 102428.119
AT ITER 2071 NEW BEST:: SOT 524726 SOS 208976 HAS SOPS 208941 HAS SOUS 102186 HAS SOUPS 102179 WITH SCORE 102387.976
AT ITER 2102 NEW BEST:: SOT 524694 SOS 208944 HAS SOPS 208909 HAS SOUS 102026 HAS SOUPS 102019 WITH SCORE 102227.944
AT ITER 2110 NEW BEST:: SOT 524694 SOS 208951 HAS SOPS 208916 HAS SOUS 102019 HAS SOUPS 102012 WITH SCORE 102220.951
AT ITER 2120 NEW BEST:: SOT 524694 SOS 208951 HAS SOPS 208916 HAS SOUS 101894 HAS SOUPS 101887 WITH SCORE 102095.951
AT ITER 2124 NEW BEST:: SOT 524679 SOS 208936 HAS SOPS 208901 HAS SOUS 101879 HAS SOUPS 101872 WITH SCORE 102080.936
AT ITER 2129 NEW BEST:: SOT 524665 SOS 208922 HAS SOPS 208887 HAS SOUS 101865 HAS SOUPS 101858 WITH SCORE 102066.922
AT ITER 2131 NEW BEST:: SOT 524773 SOS 208882 HAS SOPS 208847 HAS SOUS 101825 HAS SOUPS 101818 WITH SCORE 102026.882
AT ITER 2139 NEW BEST:: SOT 524649 SOS 209061 HAS SOPS 209026 HAS SOUS 101753 HAS SOUPS 101746 WITH SCORE 101955.061
AT ITER 2169 NEW BEST:: SOT 524687 SOS 209099 HAS SOPS 209064 HAS SOUS 101725 HAS SOUPS 101718 WITH SCORE 101927.099
AT ITER 2172 NEW BEST:: SOT 524669 SOS 209081 HAS SOPS 209046 HAS SOUS 101707 HAS SOUPS 101700 WITH SCORE 101909.081
AT ITER 2176 NEW BEST:: SOT 524683 SOS 209095 HAS SOPS 209060 HAS SOUS 101530 HAS SOUPS 101523 WITH SCORE 101732.095
AT ITER 2178 NEW BEST:: SOT 524683 SOS 209095 HAS SOPS 209060 HAS SOUS 101527 HAS SOUPS 101520 WITH SCORE 101729.095
AT ITER 2185 NEW BEST:: SOT 524677 SOS 209089 HAS SOPS 209054 HAS SOUS 101519 HAS SOUPS 101512 WITH SCORE 101721.089
AT ITER 2191 NEW BEST:: SOT 524677 SOS 208886 HAS SOPS 208851 HAS SOUS 101450 HAS SOUPS 101443 WITH SCORE 101651.886
AT ITER 2196 NEW BEST:: SOT 524677 SOS 208886 HAS SOPS 208851 HAS SOUS 101432 HAS SOUPS 101425 WITH SCORE 101633.886
AT ITER 2202 NEW BEST:: SOT 524677 SOS 208886 HAS SOPS 208851 HAS SOUS 101429 HAS SOUPS 101422 WITH SCORE 101630.886
AT ITER 2205 NEW BEST:: SOT 524666 SOS 208875 HAS SOPS 208840 HAS SOUS 101418 HAS SOUPS 101411 WITH SCORE 101619.875
AT ITER 2219 NEW BEST:: SOT 524652 SOS 208861 HAS SOPS 208826 HAS SOUS 101404 HAS SOUPS 101397 WITH SCORE 101605.861
AT ITER 2229 NEW BEST:: SOT 524640 SOS 208849 HAS SOPS 208814 HAS SOUS 101392 HAS SOUPS 101385 WITH SCORE 101593.849
AT ITER 2244 NEW BEST:: SOT 524640 SOS 208849 HAS SOPS 208814 HAS SOUS 101373 HAS SOUPS 101366 WITH SCORE 101574.849
AT ITER 2245 NEW BEST:: SOT 524619 SOS 208828 HAS SOPS 208793 HAS SOUS 101347 HAS SOUPS 101340 WITH SCORE 101548.828
AT ITER 2250 NEW BEST:: SOT 524618 SOS 208827 HAS SOPS 208792 HAS SOUS 101310 HAS SOUPS 101303 WITH SCORE 101511.827
AT ITER 2255 NEW BEST:: SOT 524618 SOS 208827 HAS SOPS 208792 HAS SOUS 101234 HAS SOUPS 101227 WITH SCORE 101435.827
AT ITER 2257 NEW BEST:: SOT 524421 SOS 208630 HAS SOPS 208595 HAS SOUS 100990 HAS SOUPS 100983 WITH SCORE 101191.63
AT ITER 2269 NEW BEST:: SOT 524421 SOS 208630 HAS SOPS 208595 HAS SOUS 100961 HAS SOUPS 100954 WITH SCORE 101162.63
AT ITER 2274 NEW BEST:: SOT 524314 SOS 208523 HAS SOPS 208488 HAS SOUS 100854 HAS SOUPS 100847 WITH SCORE 101055.523
AT ITER 2276 NEW BEST:: SOT 520448 SOS 207823 HAS SOPS 207788 HAS SOUS 96991 HAS SOUPS 96984 WITH SCORE 97191.823
AT ITER 2279 NEW BEST:: SOT 520409 SOS 207784 HAS SOPS 207749 HAS SOUS 96757 HAS SOUPS 96750 WITH SCORE 96957.784
AT ITER 2288 NEW BEST:: SOT 519159 SOS 206534 HAS SOPS 206499 HAS SOUS 95502 HAS SOUPS 95495 WITH SCORE 95701.534
AT ITER 2307 NEW BEST:: SOT 519128 SOS 206503 HAS SOPS 206468 HAS SOUS 95463 HAS SOUPS 95456 WITH SCORE 95662.503
AT ITER 2309 NEW BEST:: SOT 519098 SOS 206473 HAS SOPS 206438 HAS SOUS 95403 HAS SOUPS 95396 WITH SCORE 95602.473
AT ITER 2341 NEW BEST:: SOT 519093 SOS 206468 HAS SOPS 206433 HAS SOUS 95398 HAS SOUPS 95391 WITH SCORE 95597.468
AT ITER 2362 NEW BEST:: SOT 519081 SOS 206610 HAS SOPS 206575 HAS SOUS 95374 HAS SOUPS 95367 WITH SCORE 95573.61
AT ITER 2367 NEW BEST:: SOT 519076 SOS 206583 HAS SOPS 206548 HAS SOUS 95307 HAS SOUPS 95300 WITH SCORE 95506.583
AT ITER 2383 NEW BEST:: SOT 519071 SOS 206589 HAS SOPS 206554 HAS SOUS 95302 HAS SOUPS 95295 WITH SCORE 95501.589
AT ITER 2387 NEW BEST:: SOT 519012 SOS 206530 HAS SOPS 206495 HAS SOUS 95292 HAS SOUPS 95285 WITH SCORE 95491.53
AT ITER 2406 NEW BEST:: SOT 518980 SOS 206498 HAS SOPS 206463 HAS SOUS 95260 HAS SOUPS 95253 WITH SCORE 95459.498
AT ITER 2412 NEW BEST:: SOT 518980 SOS 206498 HAS SOPS 206463 HAS SOUS 95236 HAS SOUPS 95229 WITH SCORE 95435.498
AT ITER 2420 NEW BEST:: SOT 518857 SOS 206447 HAS SOPS 206412 HAS SOUS 95134 HAS SOUPS 95127 WITH SCORE 95333.447
AT ITER 2429 NEW BEST:: SOT 518857 SOS 206447 HAS SOPS 206412 HAS SOUS 94929 HAS SOUPS 94922 WITH SCORE 95128.447
AT ITER 2433 NEW BEST:: SOT 518857 SOS 206447 HAS SOPS 206412 HAS SOUS 94904 HAS SOUPS 94897 WITH SCORE 95103.447
AT ITER 2436 NEW BEST:: SOT 518755 SOS 206345 HAS SOPS 206310 HAS SOUS 94751 HAS SOUPS 94744 WITH SCORE 94950.345
AT ITER 2439 NEW BEST:: SOT 518751 SOS 206341 HAS SOPS 206306 HAS SOUS 94747 HAS SOUPS 94740 WITH SCORE 94946.341
AT ITER 2441 NEW BEST:: SOT 518712 SOS 206339 HAS SOPS 206304 HAS SOUS 94708 HAS SOUPS 94701 WITH SCORE 94907.339
AT ITER 2450 NEW BEST:: SOT 518697 SOS 206326 HAS SOPS 206291 HAS SOUS 94693 HAS SOUPS 94686 WITH SCORE 94892.326
AT ITER 2460 NEW BEST:: SOT 518731 SOS 206360 HAS SOPS 206325 HAS SOUS 94575 HAS SOUPS 94568 WITH SCORE 94774.36
AT ITER 2462 NEW BEST:: SOT 518619 SOS 206248 HAS SOPS 206213 HAS SOUS 94351 HAS SOUPS 94344 WITH SCORE 94550.248
AT ITER 2477 NEW BEST:: SOT 518504 SOS 206133 HAS SOPS 206098 HAS SOUS 94100 HAS SOUPS 94093 WITH SCORE 94299.133
AT ITER 2485 NEW BEST:: SOT 518498 SOS 206127 HAS SOPS 206092 HAS SOUS 94097 HAS SOUPS 94090 WITH SCORE 94296.127
AT ITER 2496 NEW BEST:: SOT 518528 SOS 206157 HAS SOPS 206122 HAS SOUS 94043 HAS SOUPS 94036 WITH SCORE 94242.157
AT ITER 2499 NEW BEST:: SOT 518524 SOS 206149 HAS SOPS 206114 HAS SOUS 94035 HAS SOUPS 94028 WITH SCORE 94234.149
AT ITER 2528 NEW BEST:: SOT 518494 SOS 206144 HAS SOPS 206109 HAS SOUS 94014 HAS SOUPS 94007 WITH SCORE 94213.144
AT ITER 2582 NEW BEST:: SOT 518528 SOS 206178 HAS SOPS 206143 HAS SOUS 93969 HAS SOUPS 93962 WITH SCORE 94168.178
AT ITER 2611 NEW BEST:: SOT 518345 SOS 206140 HAS SOPS 206105 HAS SOUS 93879 HAS SOUPS 93872 WITH SCORE 94078.14
AT ITER 2634 NEW BEST:: SOT 518291 SOS 206086 HAS SOPS 206051 HAS SOUS 93804 HAS SOUPS 93797 WITH SCORE 94003.086
AT ITER 2668 NEW BEST:: SOT 518302 SOS 206076 HAS SOPS 206041 HAS SOUS 93752 HAS SOUPS 93745 WITH SCORE 93951.076
AT ITER 2671 NEW BEST:: SOT 518293 SOS 206067 HAS SOPS 206032 HAS SOUS 93623 HAS SOUPS 93616 WITH SCORE 93822.067
AT ITER 2699 NEW BEST:: SOT 518270 SOS 206041 HAS SOPS 206006 HAS SOUS 93491 HAS SOUPS 93484 WITH SCORE 93690.041
AT ITER 2700 NEW BEST:: SOT 518302 SOS 205915 HAS SOPS 205880 HAS SOUS 93486 HAS SOUPS 93479 WITH SCORE 93684.915
AT ITER 2714 NEW BEST:: SOT 518262 SOS 205875 HAS SOPS 205840 HAS SOUS 93016 HAS SOUPS 93009 WITH SCORE 93214.875
AT ITER 2719 NEW BEST:: SOT 518232 SOS 205875 HAS SOPS 205840 HAS SOUS 92716 HAS SOUPS 92709 WITH SCORE 92914.875
AT ITER 2722 NEW BEST:: SOT 518268 SOS 205911 HAS SOPS 205876 HAS SOUS 92603 HAS SOUPS 92596 WITH SCORE 92801.911
AT ITER 2727 NEW BEST:: SOT 518257 SOS 205900 HAS SOPS 205865 HAS SOUS 92592 HAS SOUPS 92585 WITH SCORE 92790.9
AT ITER 2729 NEW BEST:: SOT 518328 SOS 205971 HAS SOPS 205936 HAS SOUS 92402 HAS SOUPS 92395 WITH SCORE 92600.971
AT ITER 2741 NEW BEST:: SOT 518287 SOS 205930 HAS SOPS 205895 HAS SOUS 92380 HAS SOUPS 92373 WITH SCORE 92578.93
AT ITER 2748 NEW BEST:: SOT 518359 SOS 206002 HAS SOPS 205967 HAS SOUS 92335 HAS SOUPS 92328 WITH SCORE 92534.002
AT ITER 2776 NEW BEST:: SOT 518350 SOS 205993 HAS SOPS 205958 HAS SOUS 92292 HAS SOUPS 92285 WITH SCORE 92490.993
AT ITER 2780 NEW BEST:: SOT 518330 SOS 205973 HAS SOPS 205938 HAS SOUS 92272 HAS SOUPS 92265 WITH SCORE 92470.973
AT ITER 2791 NEW BEST:: SOT 518311 SOS 205958 HAS SOPS 205923 HAS SOUS 92217 HAS SOUPS 92210 WITH SCORE 92415.958
AT ITER 2796 NEW BEST:: SOT 518305 SOS 205952 HAS SOPS 205917 HAS SOUS 92206 HAS SOUPS 92199 WITH SCORE 92404.952
AT ITER 2813 NEW BEST:: SOT 518305 SOS 205924 HAS SOPS 205889 HAS SOUS 92199 HAS SOUPS 92192 WITH SCORE 92397.924
AT ITER 2818 NEW BEST:: SOT 518192 SOS 205811 HAS SOPS 205776 HAS SOUS 92086 HAS SOUPS 92079 WITH SCORE 92284.811
AT ITER 2840 NEW BEST:: SOT 518194 SOS 205813 HAS SOPS 205778 HAS SOUS 91488 HAS SOUPS 91481 WITH SCORE 91686.813
AT ITER 2851 NEW BEST:: SOT 518116 SOS 205735 HAS SOPS 205700 HAS SOUS 91030 HAS SOUPS 91023 WITH SCORE 91228.735
AT ITER 2856 NEW BEST:: SOT 517983 SOS 205602 HAS SOPS 205567 HAS SOUS 90897 HAS SOUPS 90890 WITH SCORE 91095.602
AT ITER 2880 NEW BEST:: SOT 517966 SOS 205585 HAS SOPS 205550 HAS SOUS 90865 HAS SOUPS 90858 WITH SCORE 91063.585
AT ITER 2884 NEW BEST:: SOT 517899 SOS 205518 HAS SOPS 205483 HAS SOUS 90686 HAS SOUPS 90679 WITH SCORE 90884.518
AT ITER 2890 NEW BEST:: SOT 517899 SOS 205513 HAS SOPS 205478 HAS SOUS 90625 HAS SOUPS 90618 WITH SCORE 90823.513
AT ITER 2895 NEW BEST:: SOT 517884 SOS 205498 HAS SOPS 205463 HAS SOUS 90600 HAS SOUPS 90593 WITH SCORE 90798.498
AT ITER 2913 NEW BEST:: SOT 517846 SOS 205394 HAS SOPS 205359 HAS SOUS 90562 HAS SOUPS 90555 WITH SCORE 90760.394
AT ITER 2920 NEW BEST:: SOT 517706 SOS 205254 HAS SOPS 205219 HAS SOUS 90422 HAS SOUPS 90415 WITH SCORE 90620.254
AT ITER 2924 NEW BEST:: SOT 517742 SOS 205208 HAS SOPS 205173 HAS SOUS 90376 HAS SOUPS 90369 WITH SCORE 90574.208
AT ITER 2933 NEW BEST:: SOT 517728 SOS 205194 HAS SOPS 205159 HAS SOUS 90317 HAS SOUPS 90310 WITH SCORE 90515.194
AT ITER 2941 NEW BEST:: SOT 517728 SOS 205150 HAS SOPS 205115 HAS SOUS 90317 HAS SOUPS 90310 WITH SCORE 90515.15
AT ITER 2954 NEW BEST:: SOT 517728 SOS 205150 HAS SOPS 205115 HAS SOUS 90257 HAS SOUPS 90250 WITH SCORE 90455.15
AT ITER 2962 NEW BEST:: SOT 517716 SOS 205138 HAS SOPS 205103 HAS SOUS 90233 HAS SOUPS 90226 WITH SCORE 90431.138
AT ITER 3017 NEW BEST:: SOT 517707 SOS 205120 HAS SOPS 205085 HAS SOUS 90226 HAS SOUPS 90219 WITH SCORE 90424.12
AT ITER 3058 NEW BEST:: SOT 517663 SOS 205076 HAS SOPS 205041 HAS SOUS 90150 HAS SOUPS 90143 WITH SCORE 90348.076
AT ITER 3060 NEW BEST:: SOT 517700 SOS 205113 HAS SOPS 205078 HAS SOUS 90099 HAS SOUPS 90092 WITH SCORE 90297.113
AT ITER 3064 NEW BEST:: SOT 517707 SOS 205090 HAS SOPS 205055 HAS SOUS 90088 HAS SOUPS 90081 WITH SCORE 90286.09
AT ITER 3088 NEW BEST:: SOT 517656 SOS 205039 HAS SOPS 205004 HAS SOUS 89807 HAS SOUPS 89800 WITH SCORE 90005.039
AT ITER 3104 NEW BEST:: SOT 517652 SOS 205035 HAS SOPS 205000 HAS SOUS 89783 HAS SOUPS 89776 WITH SCORE 89981.035
AT ITER 3113 NEW BEST:: SOT 517664 SOS 205047 HAS SOPS 205012 HAS SOUS 89779 HAS SOUPS 89772 WITH SCORE 89977.047
AT ITER 3123 NEW BEST:: SOT 517633 SOS 205016 HAS SOPS 204981 HAS SOUS 89748 HAS SOUPS 89741 WITH SCORE 89946.016
AT ITER 3133 NEW BEST:: SOT 517606 SOS 204989 HAS SOPS 204954 HAS SOUS 89710 HAS SOUPS 89703 WITH SCORE 89907.989
AT ITER 3134 NEW BEST:: SOT 517591 SOS 205057 HAS SOPS 205022 HAS SOUS 89692 HAS SOUPS 89685 WITH SCORE 89890.057
AT ITER 3140 NEW BEST:: SOT 517579 SOS 205045 HAS SOPS 205010 HAS SOUS 89421 HAS SOUPS 89414 WITH SCORE 89619.045
AT ITER 3149 NEW BEST:: SOT 517569 SOS 205035 HAS SOPS 205000 HAS SOUS 89411 HAS SOUPS 89404 WITH SCORE 89609.035
AT ITER 3158 NEW BEST:: SOT 517565 SOS 205027 HAS SOPS 204992 HAS SOUS 89403 HAS SOUPS 89396 WITH SCORE 89601.027
AT ITER 3165 NEW BEST:: SOT 517481 SOS 204943 HAS SOPS 204908 HAS SOUS 89186 HAS SOUPS 89179 WITH SCORE 89383.943
AT ITER 3173 NEW BEST:: SOT 517445 SOS 204861 HAS SOPS 204826 HAS SOUS 89114 HAS SOUPS 89107 WITH SCORE 89311.861
AT ITER 3176 NEW BEST:: SOT 517445 SOS 204861 HAS SOPS 204826 HAS SOUS 88944 HAS SOUPS 88937 WITH SCORE 89141.861
AT ITER 3179 NEW BEST:: SOT 517445 SOS 204861 HAS SOPS 204826 HAS SOUS 88918 HAS SOUPS 88911 WITH SCORE 89115.861
AT ITER 3208 NEW BEST:: SOT 517445 SOS 204861 HAS SOPS 204826 HAS SOUS 88879 HAS SOUPS 88872 WITH SCORE 89076.861
AT ITER 3233 NEW BEST:: SOT 517420 SOS 204836 HAS SOPS 204801 HAS SOUS 88729 HAS SOUPS 88722 WITH SCORE 88926.836
AT ITER 3235 NEW BEST:: SOT 517412 SOS 204342 HAS SOPS 204307 HAS SOUS 88721 HAS SOUPS 88714 WITH SCORE 88918.342
AT ITER 3247 NEW BEST:: SOT 517378 SOS 204308 HAS SOPS 204273 HAS SOUS 88687 HAS SOUPS 88680 WITH SCORE 88884.308
AT ITER 3254 NEW BEST:: SOT 517376 SOS 204306 HAS SOPS 204271 HAS SOUS 88672 HAS SOUPS 88665 WITH SCORE 88869.306
AT ITER 3257 NEW BEST:: SOT 517355 SOS 204285 HAS SOPS 204250 HAS SOUS 88491 HAS SOUPS 88484 WITH SCORE 88688.285
AT ITER 3261 NEW BEST:: SOT 517383 SOS 204313 HAS SOPS 204278 HAS SOUS 88472 HAS SOUPS 88465 WITH SCORE 88669.313
AT ITER 3268 NEW BEST:: SOT 517319 SOS 204264 HAS SOPS 204229 HAS SOUS 88344 HAS SOUPS 88337 WITH SCORE 88541.264
AT ITER 3269 NEW BEST:: SOT 517384 SOS 204329 HAS SOPS 204294 HAS SOUS 88341 HAS SOUPS 88334 WITH SCORE 88538.329
AT ITER 3289 NEW BEST:: SOT 517379 SOS 204324 HAS SOPS 204289 HAS SOUS 88336 HAS SOUPS 88329 WITH SCORE 88533.324
AT ITER 3331 NEW BEST:: SOT 517364 SOS 204255 HAS SOPS 204220 HAS SOUS 88267 HAS SOUPS 88260 WITH SCORE 88464.255
AT ITER 3335 NEW BEST:: SOT 517262 SOS 204153 HAS SOPS 204118 HAS SOUS 88098 HAS SOUPS 88091 WITH SCORE 88295.153
AT ITER 3350 NEW BEST:: SOT 517254 SOS 204145 HAS SOPS 204110 HAS SOUS 88085 HAS SOUPS 88078 WITH SCORE 88282.145
AT ITER 3361 NEW BEST:: SOT 517270 SOS 204161 HAS SOPS 204126 HAS SOUS 88067 HAS SOUPS 88060 WITH SCORE 88264.161
AT ITER 3362 NEW BEST:: SOT 517242 SOS 204133 HAS SOPS 204098 HAS SOUS 88039 HAS SOUPS 88032 WITH SCORE 88236.133
AT ITER 3376 NEW BEST:: SOT 517118 SOS 204042 HAS SOPS 204007 HAS SOUS 87866 HAS SOUPS 87859 WITH SCORE 88063.042
AT ITER 3387 NEW BEST:: SOT 517065 SOS 203989 HAS SOPS 203954 HAS SOUS 87781 HAS SOUPS 87774 WITH SCORE 87977.989
AT ITER 3389 NEW BEST:: SOT 517065 SOS 203953 HAS SOPS 203918 HAS SOUS 87775 HAS SOUPS 87768 WITH SCORE 87971.953
AT ITER 3399 NEW BEST:: SOT 517058 SOS 203946 HAS SOPS 203911 HAS SOUS 87652 HAS SOUPS 87645 WITH SCORE 87848.946
AT ITER 3407 NEW BEST:: SOT 517055 SOS 203943 HAS SOPS 203908 HAS SOUS 87649 HAS SOUPS 87642 WITH SCORE 87845.943
AT ITER 3411 NEW BEST:: SOT 517055 SOS 203943 HAS SOPS 203908 HAS SOUS 87626 HAS SOUPS 87619 WITH SCORE 87822.943
AT ITER 3431 NEW BEST:: SOT 516950 SOS 203838 HAS SOPS 203803 HAS SOUS 87134 HAS SOUPS 87127 WITH SCORE 87330.838
AT ITER 3435 NEW BEST:: SOT 516841 SOS 203729 HAS SOPS 203694 HAS SOUS 86935 HAS SOUPS 86928 WITH SCORE 87131.729
AT ITER 3441 NEW BEST:: SOT 516847 SOS 203768 HAS SOPS 203733 HAS SOUS 86819 HAS SOUPS 86812 WITH SCORE 87015.768
AT ITER 3468 NEW BEST:: SOT 516826 SOS 203747 HAS SOPS 203712 HAS SOUS 86687 HAS SOUPS 86680 WITH SCORE 86883.747
AT ITER 3482 NEW BEST:: SOT 516639 SOS 203560 HAS SOPS 203525 HAS SOUS 86365 HAS SOUPS 86358 WITH SCORE 86561.56
AT ITER 3489 NEW BEST:: SOT 516629 SOS 203583 HAS SOPS 203548 HAS SOUS 86345 HAS SOUPS 86338 WITH SCORE 86541.583
AT ITER 3491 NEW BEST:: SOT 516599 SOS 203553 HAS SOPS 203518 HAS SOUS 86302 HAS SOUPS 86295 WITH SCORE 86498.553
AT ITER 3498 NEW BEST:: SOT 516563 SOS 203650 HAS SOPS 203615 HAS SOUS 86089 HAS SOUPS 86082 WITH SCORE 86285.65
AT ITER 3501 NEW BEST:: SOT 516552 SOS 203639 HAS SOPS 203604 HAS SOUS 86077 HAS SOUPS 86070 WITH SCORE 86273.639
AT ITER 3507 NEW BEST:: SOT 516552 SOS 203629 HAS SOPS 203594 HAS SOUS 86064 HAS SOUPS 86057 WITH SCORE 86260.629
AT ITER 3509 NEW BEST:: SOT 516619 SOS 203696 HAS SOPS 203661 HAS SOUS 86049 HAS SOUPS 86042 WITH SCORE 86245.696
AT ITER 3546 NEW BEST:: SOT 516619 SOS 203696 HAS SOPS 203661 HAS SOUS 86041 HAS SOUPS 86034 WITH SCORE 86237.696
AT ITER 3583 NEW BEST:: SOT 516619 SOS 203696 HAS SOPS 203661 HAS SOUS 85997 HAS SOUPS 85990 WITH SCORE 86193.696
AT ITER 3584 NEW BEST:: SOT 516700 SOS 203835 HAS SOPS 203800 HAS SOUS 85982 HAS SOUPS 85975 WITH SCORE 86178.835
AT ITER 3611 NEW BEST:: SOT 516628 SOS 203810 HAS SOPS 203775 HAS SOUS 85895 HAS SOUPS 85888 WITH SCORE 86091.81
AT ITER 3624 NEW BEST:: SOT 516436 SOS 203618 HAS SOPS 203583 HAS SOUS 85549 HAS SOUPS 85542 WITH SCORE 85745.618
AT ITER 3635 NEW BEST:: SOT 516436 SOS 203618 HAS SOPS 203583 HAS SOUS 85548 HAS SOUPS 85541 WITH SCORE 85744.618
AT ITER 3638 NEW BEST:: SOT 516345 SOS 203527 HAS SOPS 203492 HAS SOUS 85132 HAS SOUPS 85125 WITH SCORE 85328.527
AT ITER 3639 NEW BEST:: SOT 516350 SOS 203532 HAS SOPS 203497 HAS SOUS 85090 HAS SOUPS 85083 WITH SCORE 85286.532
AT ITER 3668 NEW BEST:: SOT 516369 SOS 203266 HAS SOPS 203231 HAS SOUS 85071 HAS SOUPS 85064 WITH SCORE 85267.266
AT ITER 3670 NEW BEST:: SOT 516169 SOS 203071 HAS SOPS 203036 HAS SOUS 84802 HAS SOUPS 84795 WITH SCORE 84998.071
AT ITER 3675 NEW BEST:: SOT 516210 SOS 203062 HAS SOPS 203027 HAS SOUS 84793 HAS SOUPS 84786 WITH SCORE 84989.062
AT ITER 3686 NEW BEST:: SOT 516210 SOS 203062 HAS SOPS 203027 HAS SOUS 84733 HAS SOUPS 84726 WITH SCORE 84929.062
AT ITER 3691 NEW BEST:: SOT 516181 SOS 203058 HAS SOPS 203023 HAS SOUS 84721 HAS SOUPS 84714 WITH SCORE 84917.058
AT ITER 3694 NEW BEST:: SOT 516169 SOS 203046 HAS SOPS 203011 HAS SOUS 84697 HAS SOUPS 84690 WITH SCORE 84893.046
AT ITER 3698 NEW BEST:: SOT 516164 SOS 202879 HAS SOPS 202844 HAS SOUS 84633 HAS SOUPS 84626 WITH SCORE 84828.879
AT ITER 3718 NEW BEST:: SOT 516054 SOS 202769 HAS SOPS 202734 HAS SOUS 84511 HAS SOUPS 84504 WITH SCORE 84706.769
AT ITER 3730 NEW BEST:: SOT 516022 SOS 202737 HAS SOPS 202702 HAS SOUS 84403 HAS SOUPS 84396 WITH SCORE 84598.737
AT ITER 3766 NEW BEST:: SOT 515936 SOS 202651 HAS SOPS 202616 HAS SOUS 84271 HAS SOUPS 84264 WITH SCORE 84466.651
AT ITER 3787 NEW BEST:: SOT 515932 SOS 202623 HAS SOPS 202588 HAS SOUS 84243 HAS SOUPS 84236 WITH SCORE 84438.623
AT ITER 3789 NEW BEST:: SOT 515932 SOS 202623 HAS SOPS 202588 HAS SOUS 84227 HAS SOUPS 84220 WITH SCORE 84422.623
AT ITER 3790 NEW BEST:: SOT 515871 SOS 202562 HAS SOPS 202527 HAS SOUS 84227 HAS SOUPS 84220 WITH SCORE 84422.562
AT ITER 3796 NEW BEST:: SOT 515862 SOS 202553 HAS SOPS 202518 HAS SOUS 84224 HAS SOUPS 84217 WITH SCORE 84419.553
AT ITER 3812 NEW BEST:: SOT 515862 SOS 202553 HAS SOPS 202518 HAS SOUS 84222 HAS SOUPS 84215 WITH SCORE 84417.553
AT ITER 3819 NEW BEST:: SOT 515862 SOS 202553 HAS SOPS 202518 HAS SOUS 84218 HAS SOUPS 84211 WITH SCORE 84413.553
AT ITER 3834 NEW BEST:: SOT 515862 SOS 202552 HAS SOPS 202517 HAS SOUS 84217 HAS SOUPS 84210 WITH SCORE 84412.552
AT ITER 3849 NEW BEST:: SOT 515886 SOS 202576 HAS SOPS 202541 HAS SOUS 83966 HAS SOUPS 83959 WITH SCORE 84161.576
AT ITER 3868 NEW BEST:: SOT 515917 SOS 202607 HAS SOPS 202572 HAS SOUS 83904 HAS SOUPS 83897 WITH SCORE 84099.607
AT ITER 3869 NEW BEST:: SOT 515859 SOS 202549 HAS SOPS 202514 HAS SOUS 83788 HAS SOUPS 83781 WITH SCORE 83983.549
AT ITER 3876 NEW BEST:: SOT 515818 SOS 202508 HAS SOPS 202473 HAS SOUS 83714 HAS SOUPS 83707 WITH SCORE 83909.508
AT ITER 3880 NEW BEST:: SOT 515815 SOS 202505 HAS SOPS 202470 HAS SOUS 83687 HAS SOUPS 83680 WITH SCORE 83882.505
AT ITER 3882 NEW BEST:: SOT 515685 SOS 202375 HAS SOPS 202340 HAS SOUS 83439 HAS SOUPS 83432 WITH SCORE 83634.375
AT ITER 3884 NEW BEST:: SOT 515687 SOS 202276 HAS SOPS 202241 HAS SOUS 83412 HAS SOUPS 83405 WITH SCORE 83607.276
AT ITER 3888 NEW BEST:: SOT 515709 SOS 202379 HAS SOPS 202344 HAS SOUS 83305 HAS SOUPS 83298 WITH SCORE 83500.379
AT ITER 3911 NEW BEST:: SOT 515709 SOS 202363 HAS SOPS 202328 HAS SOUS 83305 HAS SOUPS 83298 WITH SCORE 83500.363
AT ITER 3920 NEW BEST:: SOT 515711 SOS 202365 HAS SOPS 202330 HAS SOUS 83225 HAS SOUPS 83218 WITH SCORE 83420.365
AT ITER 3921 NEW BEST:: SOT 515593 SOS 202247 HAS SOPS 202212 HAS SOUS 82962 HAS SOUPS 82955 WITH SCORE 83157.247
AT ITER 3927 NEW BEST:: SOT 515593 SOS 202247 HAS SOPS 202212 HAS SOUS 82919 HAS SOUPS 82912 WITH SCORE 83114.247
AT ITER 3931 NEW BEST:: SOT 515593 SOS 202232 HAS SOPS 202197 HAS SOUS 82894 HAS SOUPS 82887 WITH SCORE 83089.232
AT ITER 3991 NEW BEST:: SOT 515593 SOS 202232 HAS SOPS 202197 HAS SOUS 82887 HAS SOUPS 82880 WITH SCORE 83082.232
AT ITER 3998 NEW BEST:: SOT 515564 SOS 202203 HAS SOPS 202168 HAS SOUS 82864 HAS SOUPS 82857 WITH SCORE 83059.203
AT ITER 4004 NEW BEST:: SOT 515519 SOS 202007 HAS SOPS 201972 HAS SOUS 82759 HAS SOUPS 82752 WITH SCORE 82954.007
AT ITER 4029 NEW BEST:: SOT 515522 SOS 202010 HAS SOPS 201975 HAS SOUS 82732 HAS SOUPS 82725 WITH SCORE 82927.01
AT ITER 4094 NEW BEST:: SOT 515567 SOS 201943 HAS SOPS 201908 HAS SOUS 82593 HAS SOUPS 82586 WITH SCORE 82787.943
AT ITER 4132 NEW BEST:: SOT 515561 SOS 201937 HAS SOPS 201902 HAS SOUS 82581 HAS SOUPS 82574 WITH SCORE 82775.937
AT ITER 4146 NEW BEST:: SOT 515561 SOS 201937 HAS SOPS 201902 HAS SOUS 82519 HAS SOUPS 82512 WITH SCORE 82713.937
AT ITER 4154 NEW BEST:: SOT 515541 SOS 201917 HAS SOPS 201882 HAS SOUS 82474 HAS SOUPS 82467 WITH SCORE 82668.917
AT ITER 4161 NEW BEST:: SOT 515511 SOS 187457 HAS SOPS 187422 HAS SOUS 82313 HAS SOUPS 82306 WITH SCORE 82493.457
AT ITER 4163 NEW BEST:: SOT 515494 SOS 187440 HAS SOPS 187405 HAS SOUS 82261 HAS SOUPS 82254 WITH SCORE 82441.44
AT ITER 4166 NEW BEST:: SOT 515559 SOS 187453 HAS SOPS 187418 HAS SOUS 82219 HAS SOUPS 82212 WITH SCORE 82399.453
AT ITER 4169 NEW BEST:: SOT 515548 SOS 187442 HAS SOPS 187407 HAS SOUS 82208 HAS SOUPS 82201 WITH SCORE 82388.442
AT ITER 4192 NEW BEST:: SOT 515458 SOS 187470 HAS SOPS 187435 HAS SOUS 82078 HAS SOUPS 82071 WITH SCORE 82258.47
AT ITER 4209 NEW BEST:: SOT 515440 SOS 187452 HAS SOPS 187417 HAS SOUS 82009 HAS SOUPS 82002 WITH SCORE 82189.452
AT ITER 4237 NEW BEST:: SOT 515440 SOS 187452 HAS SOPS 187417 HAS SOUS 81981 HAS SOUPS 81974 WITH SCORE 82161.452
AT ITER 4274 NEW BEST:: SOT 515440 SOS 187452 HAS SOPS 187417 HAS SOUS 81873 HAS SOUPS 81866 WITH SCORE 82053.452
AT ITER 4283 NEW BEST:: SOT 515377 SOS 187389 HAS SOPS 187354 HAS SOUS 81708 HAS SOUPS 81701 WITH SCORE 81888.389
AT ITER 4285 NEW BEST:: SOT 515335 SOS 187347 HAS SOPS 187312 HAS SOUS 81520 HAS SOUPS 81513 WITH SCORE 81700.347
AT ITER 4286 NEW BEST:: SOT 515342 SOS 187337 HAS SOPS 187302 HAS SOUS 81500 HAS SOUPS 81493 WITH SCORE 81680.337
AT ITER 4294 NEW BEST:: SOT 515332 SOS 187327 HAS SOPS 187292 HAS SOUS 81490 HAS SOUPS 81483 WITH SCORE 81670.327
AT ITER 4297 NEW BEST:: SOT 515264 SOS 187259 HAS SOPS 187224 HAS SOUS 81360 HAS SOUPS 81353 WITH SCORE 81540.259
AT ITER 4314 NEW BEST:: SOT 515293 SOS 187288 HAS SOPS 187253 HAS SOUS 81189 HAS SOUPS 81182 WITH SCORE 81369.288
AT ITER 4326 NEW BEST:: SOT 515259 SOS 187402 HAS SOPS 187367 HAS SOUS 81078 HAS SOUPS 81071 WITH SCORE 81258.402
AT ITER 4337 NEW BEST:: SOT 515253 SOS 187396 HAS SOPS 187361 HAS SOUS 81070 HAS SOUPS 81063 WITH SCORE 81250.396
AT ITER 4338 NEW BEST:: SOT 515253 SOS 187396 HAS SOPS 187361 HAS SOUS 81041 HAS SOUPS 81034 WITH SCORE 81221.396
AT ITER 4369 NEW BEST:: SOT 515277 SOS 187420 HAS SOPS 187385 HAS SOUS 80845 HAS SOUPS 80838 WITH SCORE 81025.42
AT ITER 4389 NEW BEST:: SOT 515233 SOS 187376 HAS SOPS 187341 HAS SOUS 80831 HAS SOUPS 80824 WITH SCORE 81011.376
AT ITER 4434 NEW BEST:: SOT 515281 SOS 187424 HAS SOPS 187389 HAS SOUS 80565 HAS SOUPS 80558 WITH SCORE 80745.424
AT ITER 4462 NEW BEST:: SOT 515281 SOS 187394 HAS SOPS 187359 HAS SOUS 80515 HAS SOUPS 80508 WITH SCORE 80695.394
AT ITER 4492 NEW BEST:: SOT 515282 SOS 187385 HAS SOPS 187350 HAS SOUS 80497 HAS SOUPS 80490 WITH SCORE 80677.385
AT ITER 4514 NEW BEST:: SOT 515194 SOS 187333 HAS SOPS 187298 HAS SOUS 80393 HAS SOUPS 80386 WITH SCORE 80573.333
AT ITER 4530 NEW BEST:: SOT 515223 SOS 188871 HAS SOPS 188836 HAS SOUS 80380 HAS SOUPS 80373 WITH SCORE 80561.871
AT ITER 4550 NEW BEST:: SOT 515220 SOS 188868 HAS SOPS 188833 HAS SOUS 80371 HAS SOUPS 80364 WITH SCORE 80552.868
AT ITER 4551 NEW BEST:: SOT 515210 SOS 188853 HAS SOPS 188818 HAS SOUS 80341 HAS SOUPS 80334 WITH SCORE 80522.853
AT ITER 4561 NEW BEST:: SOT 515167 SOS 188810 HAS SOPS 188775 HAS SOUS 80248 HAS SOUPS 80241 WITH SCORE 80429.81
AT ITER 4562 NEW BEST:: SOT 515143 SOS 188786 HAS SOPS 188751 HAS SOUS 80224 HAS SOUPS 80217 WITH SCORE 80405.786
AT ITER 4566 NEW BEST:: SOT 515117 SOS 188760 HAS SOPS 188725 HAS SOUS 80156 HAS SOUPS 80149 WITH SCORE 80337.76
AT ITER 4571 NEW BEST:: SOT 515110 SOS 188753 HAS SOPS 188718 HAS SOUS 80142 HAS SOUPS 80135 WITH SCORE 80323.753
AT ITER 4590 NEW BEST:: SOT 515056 SOS 188699 HAS SOPS 188664 HAS SOUS 80055 HAS SOUPS 80048 WITH SCORE 80236.699
AT ITER 4644 NEW BEST:: SOT 515018 SOS 188661 HAS SOPS 188626 HAS SOUS 79876 HAS SOUPS 79869 WITH SCORE 80057.661
AT ITER 4713 NEW BEST:: SOT 515013 SOS 188624 HAS SOPS 188589 HAS SOUS 79839 HAS SOUPS 79832 WITH SCORE 80020.624
AT ITER 4736 NEW BEST:: SOT 514926 SOS 188537 HAS SOPS 188502 HAS SOUS 79699 HAS SOUPS 79692 WITH SCORE 79880.537
AT ITER 4742 NEW BEST:: SOT 514916 SOS 188527 HAS SOPS 188492 HAS SOUS 79689 HAS SOUPS 79682 WITH SCORE 79870.527
AT ITER 4743 NEW BEST:: SOT 514923 SOS 188534 HAS SOPS 188499 HAS SOUS 79666 HAS SOUPS 79659 WITH SCORE 79847.534
AT ITER 4752 NEW BEST:: SOT 514967 SOS 188578 HAS SOPS 188543 HAS SOUS 79618 HAS SOUPS 79611 WITH SCORE 79799.578
AT ITER 4759 NEW BEST:: SOT 514967 SOS 188486 HAS SOPS 188451 HAS SOUS 79572 HAS SOUPS 79565 WITH SCORE 79753.486
AT ITER 4778 NEW BEST:: SOT 514848 SOS 188367 HAS SOPS 188332 HAS SOUS 79564 HAS SOUPS 79557 WITH SCORE 79745.367
AT ITER 4787 NEW BEST:: SOT 514838 SOS 188357 HAS SOPS 188322 HAS SOUS 79559 HAS SOUPS 79552 WITH SCORE 79740.357
AT ITER 4788 NEW BEST:: SOT 514785 SOS 188304 HAS SOPS 188269 HAS SOUS 79452 HAS SOUPS 79445 WITH SCORE 79633.304
AT ITER 4802 NEW BEST:: SOT 514776 SOS 188286 HAS SOPS 188251 HAS SOUS 79446 HAS SOUPS 79439 WITH SCORE 79627.286
AT ITER 4810 NEW BEST:: SOT 514737 SOS 188247 HAS SOPS 188212 HAS SOUS 79407 HAS SOUPS 79400 WITH SCORE 79588.247
AT ITER 4816 NEW BEST:: SOT 514697 SOS 188238 HAS SOPS 188203 HAS SOUS 79389 HAS SOUPS 79382 WITH SCORE 79570.238
AT ITER 4842 NEW BEST:: SOT 514697 SOS 184159 HAS SOPS 184124 HAS SOUS 79389 HAS SOUPS 79382 WITH SCORE 79566.159
AT ITER 4845 NEW BEST:: SOT 514627 SOS 184089 HAS SOPS 184054 HAS SOUS 79319 HAS SOUPS 79312 WITH SCORE 79496.089
AT ITER 4848 NEW BEST:: SOT 514612 SOS 184074 HAS SOPS 184039 HAS SOUS 79304 HAS SOUPS 79297 WITH SCORE 79481.074
AT ITER 4863 NEW BEST:: SOT 514597 SOS 184059 HAS SOPS 184024 HAS SOUS 79274 HAS SOUPS 79267 WITH SCORE 79451.059
AT ITER 4873 NEW BEST:: SOT 514576 SOS 184031 HAS SOPS 183996 HAS SOUS 79248 HAS SOUPS 79241 WITH SCORE 79425.031
AT ITER 4888 NEW BEST:: SOT 514573 SOS 184028 HAS SOPS 183993 HAS SOUS 79245 HAS SOUPS 79238 WITH SCORE 79422.028
AT ITER 4893 NEW BEST:: SOT 514547 SOS 184002 HAS SOPS 183967 HAS SOUS 79219 HAS SOUPS 79212 WITH SCORE 79396.002
AT ITER 4909 NEW BEST:: SOT 514547 SOS 184002 HAS SOPS 183967 HAS SOUS 79208 HAS SOUPS 79201 WITH SCORE 79385.002
AT ITER 4910 NEW BEST:: SOT 514541 SOS 183996 HAS SOPS 183961 HAS SOUS 79202 HAS SOUPS 79195 WITH SCORE 79378.996
AT ITER 4945 NEW BEST:: SOT 514589 SOS 183660 HAS SOPS 183625 HAS SOUS 79147 HAS SOUPS 79140 WITH SCORE 79323.66
AT ITER 4950 NEW BEST:: SOT 514589 SOS 183660 HAS SOPS 183625 HAS SOUS 79045 HAS SOUPS 79038 WITH SCORE 79221.66
AT ITER 4954 NEW BEST:: SOT 514604 SOS 183675 HAS SOPS 183640 HAS SOUS 79030 HAS SOUPS 79023 WITH SCORE 79206.675
AT ITER 4972 NEW BEST:: SOT 514591 SOS 183662 HAS SOPS 183627 HAS SOUS 79017 HAS SOUPS 79010 WITH SCORE 79193.662
AT ITER 4985 NEW BEST:: SOT 514552 SOS 183584 HAS SOPS 183549 HAS SOUS 78939 HAS SOUPS 78932 WITH SCORE 79115.584
AT ITER 4986 NEW BEST:: SOT 514541 SOS 183573 HAS SOPS 183538 HAS SOUS 78928 HAS SOUPS 78921 WITH SCORE 79104.573
AT ITER 4992 NEW BEST:: SOT 514475 SOS 183441 HAS SOPS 183406 HAS SOUS 78796 HAS SOUPS 78789 WITH SCORE 78972.441
AT ITER 4995 NEW BEST:: SOT 514559 SOS 183525 HAS SOPS 183490 HAS SOUS 78769 HAS SOUPS 78762 WITH SCORE 78945.525
AT ITER 5002 NEW BEST:: SOT 514439 SOS 183405 HAS SOPS 183370 HAS SOUS 78585 HAS SOUPS 78578 WITH SCORE 78761.405
AT ITER 5049 NEW BEST:: SOT 514397 SOS 183349 HAS SOPS 183314 HAS SOUS 78529 HAS SOUPS 78522 WITH SCORE 78705.349
AT ITER 5101 NEW BEST:: SOT 514418 SOS 183370 HAS SOPS 183335 HAS SOUS 78401 HAS SOUPS 78394 WITH SCORE 78577.37
AT ITER 5103 NEW BEST:: SOT 514378 SOS 183330 HAS SOPS 183295 HAS SOUS 78321 HAS SOUPS 78314 WITH SCORE 78497.33
AT ITER 5119 NEW BEST:: SOT 514360 SOS 183312 HAS SOPS 183277 HAS SOUS 78285 HAS SOUPS 78278 WITH SCORE 78461.312
AT ITER 5123 NEW BEST:: SOT 514338 SOS 183211 HAS SOPS 183176 HAS SOUS 78241 HAS SOUPS 78234 WITH SCORE 78417.211
AT ITER 5126 NEW BEST:: SOT 514338 SOS 183288 HAS SOPS 183253 HAS SOUS 78210 HAS SOUPS 78203 WITH SCORE 78386.288
AT ITER 5142 NEW BEST:: SOT 514291 SOS 183241 HAS SOPS 183206 HAS SOUS 78142 HAS SOUPS 78135 WITH SCORE 78318.241
AT ITER 5166 NEW BEST:: SOT 514230 SOS 183180 HAS SOPS 183145 HAS SOUS 77995 HAS SOUPS 77988 WITH SCORE 78171.18
AT ITER 5202 NEW BEST:: SOT 514208 SOS 183158 HAS SOPS 183123 HAS SOUS 77962 HAS SOUPS 77955 WITH SCORE 78138.158
AT ITER 5206 NEW BEST:: SOT 514208 SOS 183158 HAS SOPS 183123 HAS SOUS 77953 HAS SOUPS 77946 WITH SCORE 78129.158
AT ITER 5215 NEW BEST:: SOT 514185 SOS 183135 HAS SOPS 183100 HAS SOUS 77907 HAS SOUPS 77900 WITH SCORE 78083.135
AT ITER 5221 NEW BEST:: SOT 514155 SOS 183105 HAS SOPS 183070 HAS SOUS 77861 HAS SOUPS 77854 WITH SCORE 78037.105
AT ITER 5225 NEW BEST:: SOT 514153 SOS 183114 HAS SOPS 183079 HAS SOUS 77849 HAS SOUPS 77842 WITH SCORE 78025.114
AT ITER 5228 NEW BEST:: SOT 514139 SOS 183100 HAS SOPS 183065 HAS SOUS 77822 HAS SOUPS 77815 WITH SCORE 77998.1
AT ITER 5241 NEW BEST:: SOT 514100 SOS 183164 HAS SOPS 183129 HAS SOUS 77792 HAS SOUPS 77785 WITH SCORE 77968.164
AT ITER 5257 NEW BEST:: SOT 514066 SOS 183130 HAS SOPS 183095 HAS SOUS 77608 HAS SOUPS 77601 WITH SCORE 77784.13
AT ITER 5276 NEW BEST:: SOT 514053 SOS 183127 HAS SOPS 183092 HAS SOUS 77602 HAS SOUPS 77595 WITH SCORE 77778.127
AT ITER 5283 NEW BEST:: SOT 514051 SOS 183125 HAS SOPS 183090 HAS SOUS 77577 HAS SOUPS 77570 WITH SCORE 77753.125
AT ITER 5313 NEW BEST:: SOT 514054 SOS 183128 HAS SOPS 183093 HAS SOUS 77439 HAS SOUPS 77432 WITH SCORE 77615.128
AT ITER 5318 NEW BEST:: SOT 514052 SOS 183126 HAS SOPS 183091 HAS SOUS 77435 HAS SOUPS 77428 WITH SCORE 77611.126
AT ITER 5321 NEW BEST:: SOT 514027 SOS 183101 HAS SOPS 183066 HAS SOUS 77354 HAS SOUPS 77347 WITH SCORE 77530.101
AT ITER 5337 NEW BEST:: SOT 514016 SOS 183079 HAS SOPS 183044 HAS SOUS 77332 HAS SOUPS 77325 WITH SCORE 77508.079
AT ITER 5407 NEW BEST:: SOT 514017 SOS 183080 HAS SOPS 183045 HAS SOUS 77323 HAS SOUPS 77316 WITH SCORE 77499.08
AT ITER 5410 NEW BEST:: SOT 513989 SOS 183052 HAS SOPS 183017 HAS SOUS 77295 HAS SOUPS 77288 WITH SCORE 77471.052
AT ITER 5418 NEW BEST:: SOT 513989 SOS 183052 HAS SOPS 183017 HAS SOUS 77292 HAS SOUPS 77285 WITH SCORE 77468.052
AT ITER 5433 NEW BEST:: SOT 513988 SOS 183051 HAS SOPS 183016 HAS SOUS 77291 HAS SOUPS 77284 WITH SCORE 77467.051
AT ITER 5442 NEW BEST:: SOT 513963 SOS 183041 HAS SOPS 183006 HAS SOUS 77272 HAS SOUPS 77265 WITH SCORE 77448.041
AT ITER 5450 NEW BEST:: SOT 513956 SOS 183034 HAS SOPS 182999 HAS SOUS 77258 HAS SOUPS 77251 WITH SCORE 77434.034
AT ITER 5459 NEW BEST:: SOT 513891 SOS 182969 HAS SOPS 182934 HAS SOUS 76998 HAS SOUPS 76991 WITH SCORE 77173.969
AT ITER 5488 NEW BEST:: SOT 513821 SOS 182899 HAS SOPS 182864 HAS SOUS 76838 HAS SOUPS 76831 WITH SCORE 77013.899
AT ITER 5493 NEW BEST:: SOT 513806 SOS 182884 HAS SOPS 182849 HAS SOUS 76789 HAS SOUPS 76782 WITH SCORE 76964.884
AT ITER 5551 NEW BEST:: SOT 513798 SOS 182876 HAS SOPS 182841 HAS SOUS 76789 HAS SOUPS 76782 WITH SCORE 76964.876
AT ITER 5582 NEW BEST:: SOT 513754 SOS 182832 HAS SOPS 182797 HAS SOUS 76683 HAS SOUPS 76676 WITH SCORE 76858.832
AT ITER 5591 NEW BEST:: SOT 513673 SOS 182751 HAS SOPS 182716 HAS SOUS 76556 HAS SOUPS 76549 WITH SCORE 76731.751
AT ITER 5597 NEW BEST:: SOT 513703 SOS 182781 HAS SOPS 182746 HAS SOUS 76545 HAS SOUPS 76538 WITH SCORE 76720.781
AT ITER 5600 NEW BEST:: SOT 513690 SOS 182768 HAS SOPS 182733 HAS SOUS 76391 HAS SOUPS 76384 WITH SCORE 76566.768
AT ITER 5610 NEW BEST:: SOT 513698 SOS 182881 HAS SOPS 182846 HAS SOUS 76370 HAS SOUPS 76363 WITH SCORE 76545.881
AT ITER 5662 NEW BEST:: SOT 513698 SOS 182849 HAS SOPS 182814 HAS SOUS 76355 HAS SOUPS 76348 WITH SCORE 76530.849
AT ITER 5663 NEW BEST:: SOT 513688 SOS 182839 HAS SOPS 182804 HAS SOUS 76319 HAS SOUPS 76312 WITH SCORE 76494.839
AT ITER 5675 NEW BEST:: SOT 513668 SOS 182819 HAS SOPS 182784 HAS SOUS 76285 HAS SOUPS 76278 WITH SCORE 76460.819
AT ITER 5679 NEW BEST:: SOT 513613 SOS 182764 HAS SOPS 182729 HAS SOUS 76208 HAS SOUPS 76201 WITH SCORE 76383.764
AT ITER 5705 NEW BEST:: SOT 513606 SOS 182757 HAS SOPS 182722 HAS SOUS 76194 HAS SOUPS 76187 WITH SCORE 76369.757
AT ITER 5708 NEW BEST:: SOT 513614 SOS 182765 HAS SOPS 182730 HAS SOUS 76185 HAS SOUPS 76178 WITH SCORE 76360.765
AT ITER 5727 NEW BEST:: SOT 513634 SOS 182805 HAS SOPS 182770 HAS SOUS 76166 HAS SOUPS 76159 WITH SCORE 76341.805
AT ITER 5740 NEW BEST:: SOT 513630 SOS 182801 HAS SOPS 182766 HAS SOUS 76143 HAS SOUPS 76136 WITH SCORE 76318.801
AT ITER 5754 NEW BEST:: SOT 513577 SOS 182748 HAS SOPS 182713 HAS SOUS 76123 HAS SOUPS 76116 WITH SCORE 76298.748
AT ITER 5763 NEW BEST:: SOT 513563 SOS 182734 HAS SOPS 182699 HAS SOUS 76095 HAS SOUPS 76088 WITH SCORE 76270.734
AT ITER 5778 NEW BEST:: SOT 513509 SOS 182680 HAS SOPS 182645 HAS SOUS 76042 HAS SOUPS 76035 WITH SCORE 76217.68
AT ITER 5790 NEW BEST:: SOT 513521 SOS 182692 HAS SOPS 182657 HAS SOUS 75985 HAS SOUPS 75978 WITH SCORE 76160.692
AT ITER 5807 NEW BEST:: SOT 513505 SOS 182676 HAS SOPS 182641 HAS SOUS 75969 HAS SOUPS 75962 WITH SCORE 76144.676
AT ITER 5817 NEW BEST:: SOT 513417 SOS 182528 HAS SOPS 182493 HAS SOUS 75898 HAS SOUPS 75891 WITH SCORE 76073.528
AT ITER 5821 NEW BEST:: SOT 513417 SOS 182540 HAS SOPS 182505 HAS SOUS 75886 HAS SOUPS 75879 WITH SCORE 76061.54
AT ITER 5829 NEW BEST:: SOT 513424 SOS 182547 HAS SOPS 182512 HAS SOUS 75872 HAS SOUPS 75865 WITH SCORE 76047.547
AT ITER 5835 NEW BEST:: SOT 513343 SOS 182466 HAS SOPS 182431 HAS SOUS 75870 HAS SOUPS 75863 WITH SCORE 76045.466
AT ITER 5840 NEW BEST:: SOT 513266 SOS 182389 HAS SOPS 182354 HAS SOUS 75864 HAS SOUPS 75857 WITH SCORE 76039.389
AT ITER 5854 NEW BEST:: SOT 513264 SOS 182387 HAS SOPS 182352 HAS SOUS 75860 HAS SOUPS 75853 WITH SCORE 76035.387
AT ITER 5870 NEW BEST:: SOT 513235 SOS 182358 HAS SOPS 182323 HAS SOUS 75680 HAS SOUPS 75673 WITH SCORE 75855.358
AT ITER 5885 NEW BEST:: SOT 513256 SOS 182379 HAS SOPS 182344 HAS SOUS 75567 HAS SOUPS 75560 WITH SCORE 75742.379
AT ITER 5896 NEW BEST:: SOT 513251 SOS 182374 HAS SOPS 182339 HAS SOUS 75541 HAS SOUPS 75534 WITH SCORE 75716.374
AT ITER 5912 NEW BEST:: SOT 513251 SOS 182379 HAS SOPS 182344 HAS SOUS 75536 HAS SOUPS 75529 WITH SCORE 75711.379
AT ITER 5930 NEW BEST:: SOT 513274 SOS 182369 HAS SOPS 182334 HAS SOUS 75526 HAS SOUPS 75519 WITH SCORE 75701.369
AT ITER 5941 NEW BEST:: SOT 513273 SOS 182368 HAS SOPS 182333 HAS SOUS 75525 HAS SOUPS 75518 WITH SCORE 75700.368
AT ITER 5946 NEW BEST:: SOT 513273 SOS 182368 HAS SOPS 182333 HAS SOUS 75507 HAS SOUPS 75500 WITH SCORE 75682.368
AT ITER 5959 NEW BEST:: SOT 513297 SOS 182392 HAS SOPS 182357 HAS SOUS 75435 HAS SOUPS 75428 WITH SCORE 75610.392
AT ITER 6017 NEW BEST:: SOT 513284 SOS 182330 HAS SOPS 182295 HAS SOUS 75373 HAS SOUPS 75366 WITH SCORE 75548.33
AT ITER 6032 NEW BEST:: SOT 513270 SOS 182316 HAS SOPS 182281 HAS SOUS 75351 HAS SOUPS 75344 WITH SCORE 75526.316
AT ITER 6093 NEW BEST:: SOT 513270 SOS 182316 HAS SOPS 182281 HAS SOUS 75342 HAS SOUPS 75335 WITH SCORE 75517.316
AT ITER 6094 NEW BEST:: SOT 513216 SOS 182262 HAS SOPS 182227 HAS SOUS 75180 HAS SOUPS 75173 WITH SCORE 75355.262
AT ITER 6118 NEW BEST:: SOT 513204 SOS 182250 HAS SOPS 182215 HAS SOUS 75153 HAS SOUPS 75146 WITH SCORE 75328.25
AT ITER 6140 NEW BEST:: SOT 513226 SOS 182230 HAS SOPS 182195 HAS SOUS 75138 HAS SOUPS 75131 WITH SCORE 75313.23
AT ITER 6144 NEW BEST:: SOT 513208 SOS 182212 HAS SOPS 182177 HAS SOUS 75090 HAS SOUPS 75083 WITH SCORE 75265.212
AT ITER 6161 NEW BEST:: SOT 513237 SOS 182206 HAS SOPS 182171 HAS SOUS 74969 HAS SOUPS 74962 WITH SCORE 75144.206
AT ITER 6178 NEW BEST:: SOT 513226 SOS 182195 HAS SOPS 182160 HAS SOUS 74934 HAS SOUPS 74927 WITH SCORE 75109.195
AT ITER 6215 NEW BEST:: SOT 513243 SOS 182212 HAS SOPS 182177 HAS SOUS 74900 HAS SOUPS 74893 WITH SCORE 75075.212
AT ITER 6240 NEW BEST:: SOT 513188 SOS 182191 HAS SOPS 182156 HAS SOUS 74882 HAS SOUPS 74875 WITH SCORE 75057.191
AT ITER 6243 NEW BEST:: SOT 513167 SOS 182170 HAS SOPS 182135 HAS SOUS 74858 HAS SOUPS 74851 WITH SCORE 75033.17
AT ITER 6262 NEW BEST:: SOT 513156 SOS 182159 HAS SOPS 182124 HAS SOUS 74847 HAS SOUPS 74840 WITH SCORE 75022.159
AT ITER 6308 NEW BEST:: SOT 513124 SOS 182127 HAS SOPS 182092 HAS SOUS 74799 HAS SOUPS 74792 WITH SCORE 74974.127
AT ITER 6352 NEW BEST:: SOT 513111 SOS 182108 HAS SOPS 182073 HAS SOUS 74752 HAS SOUPS 74745 WITH SCORE 74927.108
AT ITER 6354 NEW BEST:: SOT 513136 SOS 182076 HAS SOPS 182041 HAS SOUS 74730 HAS SOUPS 74723 WITH SCORE 74905.076
AT ITER 6380 NEW BEST:: SOT 513130 SOS 182070 HAS SOPS 182035 HAS SOUS 74718 HAS SOUPS 74711 WITH SCORE 74893.07
AT ITER 6442 NEW BEST:: SOT 513081 SOS 182133 HAS SOPS 182098 HAS SOUS 74651 HAS SOUPS 74644 WITH SCORE 74826.133
AT ITER 6447 NEW BEST:: SOT 513073 SOS 178758 HAS SOPS 178723 HAS SOUS 74612 HAS SOUPS 74605 WITH SCORE 74783.758
AT ITER 6462 NEW BEST:: SOT 513054 SOS 178739 HAS SOPS 178704 HAS SOUS 74559 HAS SOUPS 74552 WITH SCORE 74730.739
AT ITER 6518 NEW BEST:: SOT 513040 SOS 178692 HAS SOPS 178657 HAS SOUS 74512 HAS SOUPS 74505 WITH SCORE 74683.692
AT ITER 6520 NEW BEST:: SOT 512996 SOS 178648 HAS SOPS 178613 HAS SOUS 74316 HAS SOUPS 74309 WITH SCORE 74487.648
AT ITER 6526 NEW BEST:: SOT 512936 SOS 178588 HAS SOPS 178553 HAS SOUS 74168 HAS SOUPS 74161 WITH SCORE 74339.588
AT ITER 6533 NEW BEST:: SOT 512854 SOS 178506 HAS SOPS 178471 HAS SOUS 74004 HAS SOUPS 73997 WITH SCORE 74175.506
AT ITER 6535 NEW BEST:: SOT 512850 SOS 178502 HAS SOPS 178467 HAS SOUS 74000 HAS SOUPS 73993 WITH SCORE 74171.502
AT ITER 6554 NEW BEST:: SOT 512845 SOS 178497 HAS SOPS 178462 HAS SOUS 73985 HAS SOUPS 73978 WITH SCORE 74156.497
AT ITER 6558 NEW BEST:: SOT 512829 SOS 178481 HAS SOPS 178446 HAS SOUS 73965 HAS SOUPS 73958 WITH SCORE 74136.481
AT ITER 6622 NEW BEST:: SOT 512766 SOS 178413 HAS SOPS 178378 HAS SOUS 73903 HAS SOUPS 73896 WITH SCORE 74074.413
AT ITER 6630 NEW BEST:: SOT 512762 SOS 178410 HAS SOPS 178375 HAS SOUS 73895 HAS SOUPS 73888 WITH SCORE 74066.41
AT ITER 6633 NEW BEST:: SOT 512749 SOS 178397 HAS SOPS 178362 HAS SOUS 73882 HAS SOUPS 73875 WITH SCORE 74053.397
AT ITER 6664 NEW BEST:: SOT 512736 SOS 178384 HAS SOPS 178349 HAS SOUS 73813 HAS SOUPS 73806 WITH SCORE 73984.384
AT ITER 6686 NEW BEST:: SOT 512486 SOS 180862 HAS SOPS 180827 HAS SOUS 73796 HAS SOUPS 73789 WITH SCORE 73969.862
AT ITER 6734 NEW BEST:: SOT 512479 SOS 180855 HAS SOPS 180820 HAS SOUS 73784 HAS SOUPS 73777 WITH SCORE 73957.855
AT ITER 6750 NEW BEST:: SOT 512432 SOS 180808 HAS SOPS 180773 HAS SOUS 73756 HAS SOUPS 73749 WITH SCORE 73929.808
AT ITER 6805 NEW BEST:: SOT 512365 SOS 180651 HAS SOPS 180616 HAS SOUS 73671 HAS SOUPS 73664 WITH SCORE 73844.651
AT ITER 6806 NEW BEST:: SOT 512362 SOS 180634 HAS SOPS 180599 HAS SOUS 73641 HAS SOUPS 73634 WITH SCORE 73814.634
AT ITER 6813 NEW BEST:: SOT 512345 SOS 180748 HAS SOPS 180713 HAS SOUS 73615 HAS SOUPS 73608 WITH SCORE 73788.748
AT ITER 6831 NEW BEST:: SOT 512295 SOS 180757 HAS SOPS 180722 HAS SOUS 73559 HAS SOUPS 73552 WITH SCORE 73732.757
AT ITER 6852 NEW BEST:: SOT 512232 SOS 180588 HAS SOPS 180553 HAS SOUS 73407 HAS SOUPS 73400 WITH SCORE 73580.588
AT ITER 6894 NEW BEST:: SOT 512229 SOS 180585 HAS SOPS 180550 HAS SOUS 73404 HAS SOUPS 73397 WITH SCORE 73577.585
AT ITER 6898 NEW BEST:: SOT 512214 SOS 180570 HAS SOPS 180535 HAS SOUS 73359 HAS SOUPS 73352 WITH SCORE 73532.57
AT ITER 6903 NEW BEST:: SOT 512214 SOS 180570 HAS SOPS 180535 HAS SOUS 73352 HAS SOUPS 73345 WITH SCORE 73525.57
AT ITER 6924 NEW BEST:: SOT 512199 SOS 180555 HAS SOPS 180520 HAS SOUS 73277 HAS SOUPS 73270 WITH SCORE 73450.555
AT ITER 7004 NEW BEST:: SOT 512067 SOS 180423 HAS SOPS 180388 HAS SOUS 73104 HAS SOUPS 73097 WITH SCORE 73277.423
AT ITER 7123 NEW BEST:: SOT 512065 SOS 180421 HAS SOPS 180386 HAS SOUS 73102 HAS SOUPS 73095 WITH SCORE 73275.421
AT ITER 7129 NEW BEST:: SOT 512070 SOS 180401 HAS SOPS 180366 HAS SOUS 73084 HAS SOUPS 73077 WITH SCORE 73257.401
AT ITER 7142 NEW BEST:: SOT 512069 SOS 180400 HAS SOPS 180365 HAS SOUS 73077 HAS SOUPS 73070 WITH SCORE 73250.4
AT ITER 7145 NEW BEST:: SOT 512073 SOS 180404 HAS SOPS 180369 HAS SOUS 73076 HAS SOUPS 73069 WITH SCORE 73249.404
AT ITER 7154 NEW BEST:: SOT 512053 SOS 180384 HAS SOPS 180349 HAS SOUS 73012 HAS SOUPS 73005 WITH SCORE 73185.384
AT ITER 7173 NEW BEST:: SOT 512064 SOS 180381 HAS SOPS 180346 HAS SOUS 73006 HAS SOUPS 72999 WITH SCORE 73179.381
AT ITER 7194 NEW BEST:: SOT 512008 SOS 180325 HAS SOPS 180290 HAS SOUS 72892 HAS SOUPS 72885 WITH SCORE 73065.325
AT ITER 7251 NEW BEST:: SOT 512009 SOS 180326 HAS SOPS 180291 HAS SOUS 72846 HAS SOUPS 72839 WITH SCORE 73019.326
AT ITER 7270 NEW BEST:: SOT 511984 SOS 180301 HAS SOPS 180266 HAS SOUS 72820 HAS SOUPS 72813 WITH SCORE 72993.301
AT ITER 7271 NEW BEST:: SOT 511975 SOS 180300 HAS SOPS 180265 HAS SOUS 72818 HAS SOUPS 72811 WITH SCORE 72991.3
AT ITER 7276 NEW BEST:: SOT 511885 SOS 180210 HAS SOPS 180175 HAS SOUS 72662 HAS SOUPS 72655 WITH SCORE 72835.21
AT ITER 7304 NEW BEST:: SOT 511862 SOS 180187 HAS SOPS 180152 HAS SOUS 72632 HAS SOUPS 72625 WITH SCORE 72805.187
AT ITER 7318 NEW BEST:: SOT 511859 SOS 180183 HAS SOPS 180148 HAS SOUS 72628 HAS SOUPS 72621 WITH SCORE 72801.183
AT ITER 7324 NEW BEST:: SOT 511855 SOS 180179 HAS SOPS 180144 HAS SOUS 72577 HAS SOUPS 72570 WITH SCORE 72750.179
AT ITER 7346 NEW BEST:: SOT 511855 SOS 180179 HAS SOPS 180144 HAS SOUS 72574 HAS SOUPS 72567 WITH SCORE 72747.179
AT ITER 7348 NEW BEST:: SOT 511850 SOS 180174 HAS SOPS 180139 HAS SOUS 72549 HAS SOUPS 72542 WITH SCORE 72722.174
AT ITER 7381 NEW BEST:: SOT 511818 SOS 180179 HAS SOPS 180144 HAS SOUS 72536 HAS SOUPS 72529 WITH SCORE 72709.179
AT ITER 7428 NEW BEST:: SOT 511810 SOS 180171 HAS SOPS 180136 HAS SOUS 72528 HAS SOUPS 72521 WITH SCORE 72701.171
AT ITER 7432 NEW BEST:: SOT 511796 SOS 180171 HAS SOPS 180136 HAS SOUS 72500 HAS SOUPS 72493 WITH SCORE 72673.171
AT ITER 7495 NEW BEST:: SOT 511830 SOS 180205 HAS SOPS 180170 HAS SOUS 72490 HAS SOUPS 72483 WITH SCORE 72663.205
AT ITER 7528 NEW BEST:: SOT 511800 SOS 180175 HAS SOPS 180140 HAS SOUS 72310 HAS SOUPS 72303 WITH SCORE 72483.175
AT ITER 7562 NEW BEST:: SOT 511801 SOS 180176 HAS SOPS 180141 HAS SOUS 72309 HAS SOUPS 72302 WITH SCORE 72482.176
AT ITER 7583 NEW BEST:: SOT 511765 SOS 179927 HAS SOPS 179892 HAS SOUS 72182 HAS SOUPS 72175 WITH SCORE 72354.927
AT ITER 7593 NEW BEST:: SOT 511763 SOS 179925 HAS SOPS 179890 HAS SOUS 72180 HAS SOUPS 72173 WITH SCORE 72352.925
AT ITER 7621 NEW BEST:: SOT 511738 SOS 179900 HAS SOPS 179865 HAS SOUS 72142 HAS SOUPS 72135 WITH SCORE 72314.9
AT ITER 7627 NEW BEST:: SOT 511716 SOS 179889 HAS SOPS 179854 HAS SOUS 72120 HAS SOUPS 72113 WITH SCORE 72292.889
AT ITER 7639 NEW BEST:: SOT 511678 SOS 179851 HAS SOPS 179816 HAS SOUS 72013 HAS SOUPS 72006 WITH SCORE 72185.851
AT ITER 7657 NEW BEST:: SOT 510175 SOS 183269 HAS SOPS 183234 HAS SOUS 70475 HAS SOUPS 70468 WITH SCORE 70651.269
AT ITER 7670 NEW BEST:: SOT 510120 SOS 183214 HAS SOPS 183179 HAS SOUS 70410 HAS SOUPS 70403 WITH SCORE 70586.214
AT ITER 7687 NEW BEST:: SOT 510107 SOS 183201 HAS SOPS 183166 HAS SOUS 70397 HAS SOUPS 70390 WITH SCORE 70573.201
AT ITER 7742 NEW BEST:: SOT 510102 SOS 183196 HAS SOPS 183161 HAS SOUS 70387 HAS SOUPS 70380 WITH SCORE 70563.196
AT ITER 7786 NEW BEST:: SOT 510127 SOS 183233 HAS SOPS 183198 HAS SOUS 70354 HAS SOUPS 70347 WITH SCORE 70530.233
AT ITER 7796 NEW BEST:: SOT 510127 SOS 183233 HAS SOPS 183198 HAS SOUS 70288 HAS SOUPS 70281 WITH SCORE 70464.233
AT ITER 7858 NEW BEST:: SOT 510089 SOS 183195 HAS SOPS 183160 HAS SOUS 70238 HAS SOUPS 70231 WITH SCORE 70414.195
AT ITER 7875 NEW BEST:: SOT 510089 SOS 183189 HAS SOPS 183154 HAS SOUS 70232 HAS SOUPS 70225 WITH SCORE 70408.189
AT ITER 7887 NEW BEST:: SOT 510085 SOS 183185 HAS SOPS 183150 HAS SOUS 70228 HAS SOUPS 70221 WITH SCORE 70404.185
AT ITER 7898 NEW BEST:: SOT 510079 SOS 183179 HAS SOPS 183144 HAS SOUS 70198 HAS SOUPS 70191 WITH SCORE 70374.179
AT ITER 7915 NEW BEST:: SOT 510076 SOS 183176 HAS SOPS 183141 HAS SOUS 70195 HAS SOUPS 70188 WITH SCORE 70371.176
AT ITER 7918 NEW BEST:: SOT 510070 SOS 183170 HAS SOPS 183135 HAS SOUS 70189 HAS SOUPS 70182 WITH SCORE 70365.17
AT ITER 7941 NEW BEST:: SOT 510017 SOS 183117 HAS SOPS 183082 HAS SOUS 70114 HAS SOUPS 70107 WITH SCORE 70290.117
AT ITER 7942 NEW BEST:: SOT 510016 SOS 183116 HAS SOPS 183081 HAS SOUS 70113 HAS SOUPS 70106 WITH SCORE 70289.116
AT ITER 7960 NEW BEST:: SOT 510012 SOS 183112 HAS SOPS 183077 HAS SOUS 70079 HAS SOUPS 70072 WITH SCORE 70255.112
AT ITER 7973 NEW BEST:: SOT 510066 SOS 183166 HAS SOPS 183131 HAS SOUS 70073 HAS SOUPS 70066 WITH SCORE 70249.166
AT ITER 8046 NEW BEST:: SOT 510042 SOS 183142 HAS SOPS 183107 HAS SOUS 70040 HAS SOUPS 70033 WITH SCORE 70216.142
AT ITER 8056 NEW BEST:: SOT 510026 SOS 183126 HAS SOPS 183091 HAS SOUS 69964 HAS SOUPS 69957 WITH SCORE 70140.126
AT ITER 8076 NEW BEST:: SOT 510017 SOS 183117 HAS SOPS 183082 HAS SOUS 69919 HAS SOUPS 69912 WITH SCORE 70095.117
AT ITER 8185 NEW BEST:: SOT 510034 SOS 183073 HAS SOPS 183038 HAS SOUS 69907 HAS SOUPS 69900 WITH SCORE 70083.073
AT ITER 8203 NEW BEST:: SOT 510016 SOS 183055 HAS SOPS 183020 HAS SOUS 69901 HAS SOUPS 69894 WITH SCORE 70077.055
AT ITER 8213 NEW BEST:: SOT 509991 SOS 183030 HAS SOPS 182995 HAS SOUS 69855 HAS SOUPS 69848 WITH SCORE 70031.03
AT ITER 8238 NEW BEST:: SOT 509940 SOS 182979 HAS SOPS 182944 HAS SOUS 69784 HAS SOUPS 69777 WITH SCORE 69959.979
AT ITER 8240 NEW BEST:: SOT 509947 SOS 182986 HAS SOPS 182951 HAS SOUS 69770 HAS SOUPS 69763 WITH SCORE 69945.986
AT ITER 8296 NEW BEST:: SOT 509940 SOS 182972 HAS SOPS 182937 HAS SOUS 69756 HAS SOUPS 69749 WITH SCORE 69931.972
AT ITER 8306 NEW BEST:: SOT 509918 SOS 182961 HAS SOPS 182926 HAS SOUS 69734 HAS SOUPS 69727 WITH SCORE 69909.961
AT ITER 8330 NEW BEST:: SOT 509916 SOS 182950 HAS SOPS 182915 HAS SOUS 69730 HAS SOUPS 69723 WITH SCORE 69905.95
AT ITER 8338 NEW BEST:: SOT 509852 SOS 182950 HAS SOPS 182915 HAS SOUS 69602 HAS SOUPS 69595 WITH SCORE 69777.95
AT ITER 8364 NEW BEST:: SOT 509809 SOS 182864 HAS SOPS 182829 HAS SOUS 69550 HAS SOUPS 69543 WITH SCORE 69725.864
AT ITER 8393 NEW BEST:: SOT 509751 SOS 182806 HAS SOPS 182771 HAS SOUS 69484 HAS SOUPS 69477 WITH SCORE 69659.806
AT ITER 8411 NEW BEST:: SOT 509751 SOS 182806 HAS SOPS 182771 HAS SOUS 69480 HAS SOUPS 69473 WITH SCORE 69655.806
AT ITER 8442 NEW BEST:: SOT 509737 SOS 181220 HAS SOPS 181192 HAS SOUS 69470 HAS SOUPS 69463 WITH SCORE 69644.22
AT ITER 8444 NEW BEST:: SOT 509713 SOS 181196 HAS SOPS 181168 HAS SOUS 69424 HAS SOUPS 69417 WITH SCORE 69598.196
AT ITER 8478 NEW BEST:: SOT 509713 SOS 181170 HAS SOPS 181142 HAS SOUS 69424 HAS SOUPS 69417 WITH SCORE 69598.17
AT ITER 8494 NEW BEST:: SOT 509702 SOS 181159 HAS SOPS 181131 HAS SOUS 69413 HAS SOUPS 69406 WITH SCORE 69587.159
AT ITER 8533 NEW BEST:: SOT 509688 SOS 181145 HAS SOPS 181117 HAS SOUS 69364 HAS SOUPS 69357 WITH SCORE 69538.145
AT ITER 8633 NEW BEST:: SOT 509705 SOS 181162 HAS SOPS 181134 HAS SOUS 69348 HAS SOUPS 69341 WITH SCORE 69522.162
AT ITER 8681 NEW BEST:: SOT 509674 SOS 181379 HAS SOPS 181351 HAS SOUS 69286 HAS SOUPS 69279 WITH SCORE 69460.379
AT ITER 8702 NEW BEST:: SOT 509639 SOS 181319 HAS SOPS 181291 HAS SOUS 69270 HAS SOUPS 69263 WITH SCORE 69444.319
AT ITER 8710 NEW BEST:: SOT 509636 SOS 181316 HAS SOPS 181288 HAS SOUS 69267 HAS SOUPS 69260 WITH SCORE 69441.316
AT ITER 8713 NEW BEST:: SOT 509616 SOS 181296 HAS SOPS 181268 HAS SOUS 69245 HAS SOUPS 69238 WITH SCORE 69419.296
AT ITER 8735 NEW BEST:: SOT 509840 SOS 181520 HAS SOPS 181492 HAS SOUS 69198 HAS SOUPS 69191 WITH SCORE 69372.52
AT ITER 8781 NEW BEST:: SOT 509891 SOS 182210 HAS SOPS 181714 HAS SOUS 69283 HAS SOUPS 69177 WITH SCORE 69359.21
AT ITER 8793 NEW BEST:: SOT 509888 SOS 182207 HAS SOPS 181711 HAS SOUS 69277 HAS SOUPS 69171 WITH SCORE 69353.207
AT ITER 8819 NEW BEST:: SOT 509911 SOS 182230 HAS SOPS 181734 HAS SOUS 69267 HAS SOUPS 69161 WITH SCORE 69343.23
AT ITER 8825 NEW BEST:: SOT 509888 SOS 182184 HAS SOPS 181688 HAS SOUS 69226 HAS SOUPS 69120 WITH SCORE 69302.184
AT ITER 8836 NEW BEST:: SOT 509853 SOS 182047 HAS SOPS 181551 HAS SOUS 69212 HAS SOUPS 69106 WITH SCORE 69288.047
AT ITER 8864 NEW BEST:: SOT 509863 SOS 182057 HAS SOPS 181561 HAS SOUS 69177 HAS SOUPS 69071 WITH SCORE 69253.057
AT ITER 8871 NEW BEST:: SOT 509456 SOS 181445 HAS SOPS 180949 HAS SOUS 68996 HAS SOUPS 68890 WITH SCORE 69071.445
AT ITER 8920 NEW BEST:: SOT 509442 SOS 181431 HAS SOPS 180935 HAS SOUS 68982 HAS SOUPS 68876 WITH SCORE 69057.431
AT ITER 8926 NEW BEST:: SOT 509391 SOS 181547 HAS SOPS 181051 HAS SOUS 68880 HAS SOUPS 68774 WITH SCORE 68955.547
AT ITER 8933 NEW BEST:: SOT 509303 SOS 181459 HAS SOPS 180963 HAS SOUS 68722 HAS SOUPS 68616 WITH SCORE 68797.459
AT ITER 8938 NEW BEST:: SOT 509239 SOS 181395 HAS SOPS 180899 HAS SOUS 68636 HAS SOUPS 68530 WITH SCORE 68711.395
AT ITER 8945 NEW BEST:: SOT 509189 SOS 181345 HAS SOPS 180849 HAS SOUS 68561 HAS SOUPS 68455 WITH SCORE 68636.345
AT ITER 8995 NEW BEST:: SOT 509141 SOS 181297 HAS SOPS 180801 HAS SOUS 68513 HAS SOUPS 68407 WITH SCORE 68588.297
AT ITER 8998 NEW BEST:: SOT 509030 SOS 181075 HAS SOPS 180579 HAS SOUS 68291 HAS SOUPS 68185 WITH SCORE 68366.075
AT ITER 9003 NEW BEST:: SOT 509012 SOS 181057 HAS SOPS 180561 HAS SOUS 68271 HAS SOUPS 68165 WITH SCORE 68346.057
AT ITER 9025 NEW BEST:: SOT 509005 SOS 181100 HAS SOPS 180604 HAS SOUS 68264 HAS SOUPS 68158 WITH SCORE 68339.1
AT ITER 9069 NEW BEST:: SOT 509041 SOS 181136 HAS SOPS 180640 HAS SOUS 68193 HAS SOUPS 68087 WITH SCORE 68268.136
AT ITER 9078 NEW BEST:: SOT 508985 SOS 181115 HAS SOPS 180619 HAS SOUS 68176 HAS SOUPS 68070 WITH SCORE 68251.115
AT ITER 9097 NEW BEST:: SOT 508981 SOS 181016 HAS SOPS 180520 HAS SOUS 68160 HAS SOUPS 68054 WITH SCORE 68235.016
AT ITER 9101 NEW BEST:: SOT 508978 SOS 181010 HAS SOPS 180514 HAS SOUS 68154 HAS SOUPS 68048 WITH SCORE 68229.01
AT ITER 9177 NEW BEST:: SOT 508968 SOS 180973 HAS SOPS 180477 HAS SOUS 68091 HAS SOUPS 67985 WITH SCORE 68165.973
AT ITER 9261 NEW BEST:: SOT 508943 SOS 180975 HAS SOPS 180479 HAS SOUS 68080 HAS SOUPS 67974 WITH SCORE 68154.975
AT ITER 9284 NEW BEST:: SOT 508874 SOS 180906 HAS SOPS 180410 HAS SOUS 67982 HAS SOUPS 67876 WITH SCORE 68056.906
AT ITER 9330 NEW BEST:: SOT 508881 SOS 180913 HAS SOPS 180417 HAS SOUS 67968 HAS SOUPS 67862 WITH SCORE 68042.913
AT ITER 9359 NEW BEST:: SOT 508848 SOS 180880 HAS SOPS 180384 HAS SOUS 67759 HAS SOUPS 67653 WITH SCORE 67833.88
AT ITER 9360 NEW BEST:: SOT 508790 SOS 180989 HAS SOPS 180493 HAS SOUS 67736 HAS SOUPS 67630 WITH SCORE 67810.989
AT ITER 9398 NEW BEST:: SOT 508786 SOS 180985 HAS SOPS 180489 HAS SOUS 67732 HAS SOUPS 67626 WITH SCORE 67806.985
AT ITER 9404 NEW BEST:: SOT 508764 SOS 180963 HAS SOPS 180467 HAS SOUS 67708 HAS SOUPS 67602 WITH SCORE 67782.963
AT ITER 9415 NEW BEST:: SOT 508764 SOS 180963 HAS SOPS 180467 HAS SOUS 67706 HAS SOUPS 67600 WITH SCORE 67780.963
AT ITER 9426 NEW BEST:: SOT 508745 SOS 180944 HAS SOPS 180448 HAS SOUS 67592 HAS SOUPS 67486 WITH SCORE 67666.944
AT ITER 9437 NEW BEST:: SOT 508685 SOS 180843 HAS SOPS 180347 HAS SOUS 67567 HAS SOUPS 67461 WITH SCORE 67641.843
AT ITER 9438 NEW BEST:: SOT 508679 SOS 180837 HAS SOPS 180341 HAS SOUS 67561 HAS SOUPS 67455 WITH SCORE 67635.837
AT ITER 9451 NEW BEST:: SOT 508679 SOS 180837 HAS SOPS 180341 HAS SOUS 67536 HAS SOUPS 67430 WITH SCORE 67610.837
AT ITER 9519 NEW BEST:: SOT 508667 SOS 180825 HAS SOPS 180329 HAS SOUS 67512 HAS SOUPS 67406 WITH SCORE 67586.825
AT ITER 9549 NEW BEST:: SOT 508642 SOS 180775 HAS SOPS 180279 HAS SOUS 67462 HAS SOUPS 67356 WITH SCORE 67536.775
AT ITER 9550 NEW BEST:: SOT 508642 SOS 180751 HAS SOPS 180255 HAS SOUS 67414 HAS SOUPS 67308 WITH SCORE 67488.751
AT ITER 9589 NEW BEST:: SOT 508251 SOS 180360 HAS SOPS 179864 HAS SOUS 67151 HAS SOUPS 67045 WITH SCORE 67225.36
AT ITER 9598 NEW BEST:: SOT 508251 SOS 180382 HAS SOPS 179886 HAS SOUS 67147 HAS SOUPS 67041 WITH SCORE 67221.382
AT ITER 9640 NEW BEST:: SOT 508239 SOS 180370 HAS SOPS 179874 HAS SOUS 67123 HAS SOUPS 67017 WITH SCORE 67197.37
AT ITER 9669 NEW BEST:: SOT 508011 SOS 180142 HAS SOPS 179646 HAS SOUS 67097 HAS SOUPS 66991 WITH SCORE 67171.142
AT ITER 9677 NEW BEST:: SOT 508018 SOS 180149 HAS SOPS 179653 HAS SOUS 67035 HAS SOUPS 66929 WITH SCORE 67109.149
AT ITER 9692 NEW BEST:: SOT 507990 SOS 180121 HAS SOPS 179625 HAS SOUS 66979 HAS SOUPS 66873 WITH SCORE 67053.121
AT ITER 9694 NEW BEST:: SOT 507989 SOS 180120 HAS SOPS 179624 HAS SOUS 66978 HAS SOUPS 66872 WITH SCORE 67052.12
AT ITER 9698 NEW BEST:: SOT 507936 SOS 180111 HAS SOPS 179615 HAS SOUS 66953 HAS SOUPS 66847 WITH SCORE 67027.111
AT ITER 9701 NEW BEST:: SOT 507921 SOS 180096 HAS SOPS 179600 HAS SOUS 66938 HAS SOUPS 66832 WITH SCORE 67012.096
AT ITER 9760 NEW BEST:: SOT 507904 SOS 180079 HAS SOPS 179583 HAS SOUS 66913 HAS SOUPS 66807 WITH SCORE 66987.079
AT ITER 9799 NEW BEST:: SOT 507964 SOS 180562 HAS SOPS 180023 HAS SOUS 66915 HAS SOUPS 66766 WITH SCORE 66946.562
AT ITER 9836 NEW BEST:: SOT 506715 SOS 179313 HAS SOPS 178774 HAS SOUS 65560 HAS SOUPS 65411 WITH SCORE 65590.313
AT ITER 9839 NEW BEST:: SOT 506712 SOS 179310 HAS SOPS 178771 HAS SOUS 65554 HAS SOUPS 65405 WITH SCORE 65584.31
AT ITER 9850 NEW BEST:: SOT 506698 SOS 179296 HAS SOPS 178757 HAS SOUS 65540 HAS SOUPS 65391 WITH SCORE 65570.296
AT ITER 9874 NEW BEST:: SOT 506690 SOS 179288 HAS SOPS 178749 HAS SOUS 65531 HAS SOUPS 65382 WITH SCORE 65561.288
AT ITER 9875 NEW BEST:: SOT 506687 SOS 179285 HAS SOPS 178746 HAS SOUS 65521 HAS SOUPS 65372 WITH SCORE 65551.285
AT ITER 9940 NEW BEST:: SOT 506639 SOS 179250 HAS SOPS 178711 HAS SOUS 65437 HAS SOUPS 65288 WITH SCORE 65467.25
AT ITER 9944 NEW BEST:: SOT 506622 SOS 177594 HAS SOPS 177055 HAS SOUS 65366 HAS SOUPS 65217 WITH SCORE 65394.594
AT ITER 9976 NEW BEST:: SOT 506616 SOS 177588 HAS SOPS 177049 HAS SOUS 65348 HAS SOUPS 65199 WITH SCORE 65376.588

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S05J40"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S05J40, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961355100656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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