Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200584.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 4.3K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 161K 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 1590869257976

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

Filename model.pnml
Petri model created: 650 places, 580 transitions, 1709 arcs.
AT ITER 0 NEW BEST:: SOT 238524 SOS 92850 HAS SOPS 92850 HAS SOUS 90208 HAS SOUPS 90208 WITH SCORE 90300.85
AT ITER 17 NEW BEST:: SOT 238548 SOS 92894 HAS SOPS 92894 HAS SOUS 90207 HAS SOUPS 90207 WITH SCORE 90299.894
AT ITER 20 NEW BEST:: SOT 238508 SOS 92623 HAS SOPS 92623 HAS SOUS 89936 HAS SOUPS 89936 WITH SCORE 90028.623
AT ITER 22 NEW BEST:: SOT 238508 SOS 92623 HAS SOPS 92623 HAS SOUS 89767 HAS SOUPS 89767 WITH SCORE 89859.623
AT ITER 27 NEW BEST:: SOT 238449 SOS 92733 HAS SOPS 92733 HAS SOUS 89765 HAS SOUPS 89765 WITH SCORE 89857.733
AT ITER 28 NEW BEST:: SOT 238449 SOS 92605 HAS SOPS 92605 HAS SOUS 89637 HAS SOUPS 89637 WITH SCORE 89729.605
AT ITER 33 NEW BEST:: SOT 238449 SOS 92489 HAS SOPS 92489 HAS SOUS 89521 HAS SOUPS 89521 WITH SCORE 89613.489
AT ITER 34 NEW BEST:: SOT 238449 SOS 92488 HAS SOPS 92488 HAS SOUS 89520 HAS SOUPS 89520 WITH SCORE 89612.488
AT ITER 43 NEW BEST:: SOT 238449 SOS 92436 HAS SOPS 92436 HAS SOUS 89468 HAS SOUPS 89468 WITH SCORE 89560.436
AT ITER 54 NEW BEST:: SOT 238449 SOS 92434 HAS SOPS 92434 HAS SOUS 89468 HAS SOUPS 89468 WITH SCORE 89560.434
AT ITER 57 NEW BEST:: SOT 238449 SOS 92333 HAS SOPS 92333 HAS SOUS 89367 HAS SOUPS 89367 WITH SCORE 89459.333
AT ITER 71 NEW BEST:: SOT 238447 SOS 92351 HAS SOPS 92351 HAS SOUS 89363 HAS SOUPS 89363 WITH SCORE 89455.351
AT ITER 73 NEW BEST:: SOT 238429 SOS 92333 HAS SOPS 92333 HAS SOUS 89363 HAS SOUPS 89363 WITH SCORE 89455.333
AT ITER 80 NEW BEST:: SOT 238316 SOS 92005 HAS SOPS 92005 HAS SOUS 89035 HAS SOUPS 89035 WITH SCORE 89127.005
AT ITER 97 NEW BEST:: SOT 231851 SOS 88246 HAS SOPS 88246 HAS SOUS 82745 HAS SOUPS 82745 WITH SCORE 82833.246
AT ITER 106 NEW BEST:: SOT 231692 SOS 87990 HAS SOPS 87990 HAS SOUS 82572 HAS SOUPS 82572 WITH SCORE 82659.99
AT ITER 108 NEW BEST:: SOT 231608 SOS 87944 HAS SOPS 87944 HAS SOUS 82526 HAS SOUPS 82526 WITH SCORE 82613.944
AT ITER 111 NEW BEST:: SOT 230647 SOS 87046 HAS SOPS 87046 HAS SOUS 81628 HAS SOUPS 81628 WITH SCORE 81715.046
AT ITER 118 NEW BEST:: SOT 230433 SOS 86799 HAS SOPS 86799 HAS SOUS 81414 HAS SOUPS 81414 WITH SCORE 81500.799
AT ITER 122 NEW BEST:: SOT 230490 SOS 86856 HAS SOPS 86856 HAS SOUS 81362 HAS SOUPS 81362 WITH SCORE 81448.856
AT ITER 123 NEW BEST:: SOT 230453 SOS 86836 HAS SOPS 86836 HAS SOUS 81325 HAS SOUPS 81325 WITH SCORE 81411.836
AT ITER 127 NEW BEST:: SOT 230256 SOS 91675 HAS SOPS 91675 HAS SOUS 81275 HAS SOUPS 81275 WITH SCORE 81366.675
AT ITER 136 NEW BEST:: SOT 230253 SOS 91669 HAS SOPS 91669 HAS SOUS 81269 HAS SOUPS 81269 WITH SCORE 81360.669
AT ITER 145 NEW BEST:: SOT 230196 SOS 91555 HAS SOPS 91555 HAS SOUS 81212 HAS SOUPS 81212 WITH SCORE 81303.555
AT ITER 156 NEW BEST:: SOT 230196 SOS 91555 HAS SOPS 91555 HAS SOUS 81172 HAS SOUPS 81172 WITH SCORE 81263.555
AT ITER 175 NEW BEST:: SOT 230196 SOS 91471 HAS SOPS 91471 HAS SOUS 81088 HAS SOUPS 81088 WITH SCORE 81179.471
AT ITER 176 NEW BEST:: SOT 229517 SOS 91147 HAS SOPS 91147 HAS SOUS 80401 HAS SOUPS 80401 WITH SCORE 80492.147
AT ITER 184 NEW BEST:: SOT 229369 SOS 91041 HAS SOPS 91041 HAS SOUS 80380 HAS SOUPS 80380 WITH SCORE 80471.041
AT ITER 188 NEW BEST:: SOT 229368 SOS 90909 HAS SOPS 90909 HAS SOUS 80378 HAS SOUPS 80378 WITH SCORE 80468.909
AT ITER 189 NEW BEST:: SOT 229368 SOS 90909 HAS SOPS 90909 HAS SOUS 80298 HAS SOUPS 80298 WITH SCORE 80388.909
AT ITER 206 NEW BEST:: SOT 229368 SOS 91093 HAS SOPS 91093 HAS SOUS 80227 HAS SOUPS 80227 WITH SCORE 80318.093
AT ITER 216 NEW BEST:: SOT 226003 SOS 88658 HAS SOPS 88658 HAS SOUS 77092 HAS SOUPS 77092 WITH SCORE 77180.658
AT ITER 221 NEW BEST:: SOT 226005 SOS 88509 HAS SOPS 88509 HAS SOUS 76943 HAS SOUPS 76943 WITH SCORE 77031.509
AT ITER 223 NEW BEST:: SOT 226005 SOS 88483 HAS SOPS 88483 HAS SOUS 76917 HAS SOUPS 76917 WITH SCORE 77005.483
AT ITER 239 NEW BEST:: SOT 222518 SOS 85408 HAS SOPS 85408 HAS SOUS 73690 HAS SOUPS 73690 WITH SCORE 73775.408
AT ITER 243 NEW BEST:: SOT 222690 SOS 85293 HAS SOPS 85293 HAS SOUS 73575 HAS SOUPS 73575 WITH SCORE 73660.293
AT ITER 246 NEW BEST:: SOT 222689 SOS 85239 HAS SOPS 85239 HAS SOUS 73468 HAS SOUPS 73468 WITH SCORE 73553.239
AT ITER 254 NEW BEST:: SOT 222654 SOS 85212 HAS SOPS 85212 HAS SOUS 73441 HAS SOUPS 73441 WITH SCORE 73526.212
AT ITER 257 NEW BEST:: SOT 222648 SOS 85206 HAS SOPS 85206 HAS SOUS 73435 HAS SOUPS 73435 WITH SCORE 73520.206
AT ITER 261 NEW BEST:: SOT 222409 SOS 85038 HAS SOPS 85038 HAS SOUS 73435 HAS SOUPS 73435 WITH SCORE 73520.038
AT ITER 266 NEW BEST:: SOT 222407 SOS 84868 HAS SOPS 84868 HAS SOUS 73372 HAS SOUPS 73372 WITH SCORE 73456.868
AT ITER 267 NEW BEST:: SOT 222432 SOS 84834 HAS SOPS 84834 HAS SOUS 73338 HAS SOUPS 73338 WITH SCORE 73422.834
AT ITER 280 NEW BEST:: SOT 222305 SOS 84558 HAS SOPS 84558 HAS SOUS 73111 HAS SOUPS 73111 WITH SCORE 73195.558
AT ITER 284 NEW BEST:: SOT 222201 SOS 84356 HAS SOPS 84356 HAS SOUS 72974 HAS SOUPS 72974 WITH SCORE 73058.356
AT ITER 285 NEW BEST:: SOT 222263 SOS 84373 HAS SOPS 84373 HAS SOUS 72884 HAS SOUPS 72884 WITH SCORE 72968.373
AT ITER 287 NEW BEST:: SOT 222112 SOS 84160 HAS SOPS 84160 HAS SOUS 72742 HAS SOUPS 72742 WITH SCORE 72826.16
AT ITER 293 NEW BEST:: SOT 222099 SOS 84147 HAS SOPS 84147 HAS SOUS 72742 HAS SOUPS 72742 WITH SCORE 72826.147
AT ITER 295 NEW BEST:: SOT 221926 SOS 83902 HAS SOPS 83902 HAS SOUS 72536 HAS SOUPS 72536 WITH SCORE 72619.902
AT ITER 297 NEW BEST:: SOT 221821 SOS 83700 HAS SOPS 83700 HAS SOUS 72400 HAS SOUPS 72400 WITH SCORE 72483.7
AT ITER 302 NEW BEST:: SOT 221811 SOS 83689 HAS SOPS 83689 HAS SOUS 72398 HAS SOUPS 72398 WITH SCORE 72481.689
AT ITER 304 NEW BEST:: SOT 221593 SOS 83471 HAS SOPS 83471 HAS SOUS 72180 HAS SOUPS 72180 WITH SCORE 72263.471
AT ITER 308 NEW BEST:: SOT 221158 SOS 82866 HAS SOPS 82866 HAS SOUS 71638 HAS SOUPS 71638 WITH SCORE 71720.866
AT ITER 320 NEW BEST:: SOT 221068 SOS 82686 HAS SOPS 82686 HAS SOUS 71547 HAS SOUPS 71547 WITH SCORE 71629.686
AT ITER 327 NEW BEST:: SOT 220977 SOS 82430 HAS SOPS 82430 HAS SOUS 71382 HAS SOUPS 71382 WITH SCORE 71464.43
AT ITER 331 NEW BEST:: SOT 220896 SOS 82349 HAS SOPS 82349 HAS SOUS 71301 HAS SOUPS 71301 WITH SCORE 71383.349
AT ITER 341 NEW BEST:: SOT 220973 SOS 82122 HAS SOPS 82122 HAS SOUS 71195 HAS SOUPS 71195 WITH SCORE 71277.122
AT ITER 344 NEW BEST:: SOT 220824 SOS 82069 HAS SOPS 82069 HAS SOUS 71142 HAS SOUPS 71142 WITH SCORE 71224.069
AT ITER 365 NEW BEST:: SOT 220824 SOS 82069 HAS SOPS 82069 HAS SOUS 71138 HAS SOUPS 71138 WITH SCORE 71220.069
AT ITER 366 NEW BEST:: SOT 220799 SOS 82018 HAS SOPS 82018 HAS SOUS 71061 HAS SOUPS 71061 WITH SCORE 71143.018
AT ITER 367 NEW BEST:: SOT 220799 SOS 82017 HAS SOPS 82017 HAS SOUS 71060 HAS SOUPS 71060 WITH SCORE 71142.017
AT ITER 368 NEW BEST:: SOT 220913 SOS 82141 HAS SOPS 82141 HAS SOUS 70962 HAS SOUPS 70962 WITH SCORE 71044.141
AT ITER 372 NEW BEST:: SOT 220913 SOS 82136 HAS SOPS 82136 HAS SOUS 70961 HAS SOUPS 70961 WITH SCORE 71043.136
AT ITER 373 NEW BEST:: SOT 220896 SOS 82072 HAS SOPS 82072 HAS SOUS 70897 HAS SOUPS 70897 WITH SCORE 70979.072
AT ITER 386 NEW BEST:: SOT 220933 SOS 81982 HAS SOPS 81982 HAS SOUS 70866 HAS SOUPS 70866 WITH SCORE 70947.982
AT ITER 395 NEW BEST:: SOT 220732 SOS 81781 HAS SOPS 81781 HAS SOUS 70866 HAS SOUPS 70866 WITH SCORE 70947.781
AT ITER 398 NEW BEST:: SOT 220732 SOS 81738 HAS SOPS 81738 HAS SOUS 70823 HAS SOUPS 70823 WITH SCORE 70904.738
AT ITER 419 NEW BEST:: SOT 220817 SOS 81823 HAS SOPS 81823 HAS SOUS 70768 HAS SOUPS 70768 WITH SCORE 70849.823
AT ITER 422 NEW BEST:: SOT 220817 SOS 81818 HAS SOPS 81818 HAS SOUS 70763 HAS SOUPS 70763 WITH SCORE 70844.818
AT ITER 437 NEW BEST:: SOT 220609 SOS 81511 HAS SOPS 81511 HAS SOUS 70555 HAS SOUPS 70555 WITH SCORE 70636.511
AT ITER 451 NEW BEST:: SOT 220716 SOS 81461 HAS SOPS 81461 HAS SOUS 70505 HAS SOUPS 70505 WITH SCORE 70586.461
AT ITER 464 NEW BEST:: SOT 220613 SOS 81358 HAS SOPS 81358 HAS SOUS 70401 HAS SOUPS 70401 WITH SCORE 70482.358
AT ITER 473 NEW BEST:: SOT 220581 SOS 81294 HAS SOPS 81294 HAS SOUS 70337 HAS SOUPS 70337 WITH SCORE 70418.294
AT ITER 477 NEW BEST:: SOT 220766 SOS 81419 HAS SOPS 81419 HAS SOUS 70258 HAS SOUPS 70258 WITH SCORE 70339.419
AT ITER 510 NEW BEST:: SOT 220622 SOS 81385 HAS SOPS 81385 HAS SOUS 70224 HAS SOUPS 70224 WITH SCORE 70305.385
AT ITER 514 NEW BEST:: SOT 220601 SOS 81370 HAS SOPS 81370 HAS SOUS 70201 HAS SOUPS 70201 WITH SCORE 70282.37
AT ITER 516 NEW BEST:: SOT 220605 SOS 81245 HAS SOPS 81245 HAS SOUS 70116 HAS SOUPS 70116 WITH SCORE 70197.245
AT ITER 522 NEW BEST:: SOT 220553 SOS 81140 HAS SOPS 81140 HAS SOUS 70115 HAS SOUPS 70115 WITH SCORE 70196.14
AT ITER 534 NEW BEST:: SOT 220512 SOS 81099 HAS SOPS 81099 HAS SOUS 70074 HAS SOUPS 70074 WITH SCORE 70155.099
AT ITER 538 NEW BEST:: SOT 220310 SOS 80690 HAS SOPS 80690 HAS SOUS 69665 HAS SOUPS 69665 WITH SCORE 69745.69
AT ITER 551 NEW BEST:: SOT 220296 SOS 80545 HAS SOPS 80545 HAS SOUS 69520 HAS SOUPS 69520 WITH SCORE 69600.545
AT ITER 563 NEW BEST:: SOT 220239 SOS 80392 HAS SOPS 80392 HAS SOUS 69367 HAS SOUPS 69367 WITH SCORE 69447.392
AT ITER 566 NEW BEST:: SOT 220241 SOS 80390 HAS SOPS 80390 HAS SOUS 69366 HAS SOUPS 69366 WITH SCORE 69446.39
AT ITER 580 NEW BEST:: SOT 220170 SOS 80319 HAS SOPS 80319 HAS SOUS 69295 HAS SOUPS 69295 WITH SCORE 69375.319
AT ITER 596 NEW BEST:: SOT 220168 SOS 80317 HAS SOPS 80317 HAS SOUS 69293 HAS SOUPS 69293 WITH SCORE 69373.317
AT ITER 610 NEW BEST:: SOT 220109 SOS 80256 HAS SOPS 80256 HAS SOUS 69289 HAS SOUPS 69289 WITH SCORE 69369.256
AT ITER 632 NEW BEST:: SOT 220103 SOS 80244 HAS SOPS 80244 HAS SOUS 69277 HAS SOUPS 69277 WITH SCORE 69357.244
AT ITER 634 NEW BEST:: SOT 219943 SOS 79925 HAS SOPS 79925 HAS SOUS 69091 HAS SOUPS 69091 WITH SCORE 69170.925
AT ITER 650 NEW BEST:: SOT 219919 SOS 79757 HAS SOPS 79757 HAS SOUS 69013 HAS SOUPS 69013 WITH SCORE 69092.757
AT ITER 651 NEW BEST:: SOT 219849 SOS 79687 HAS SOPS 79687 HAS SOUS 68943 HAS SOUPS 68943 WITH SCORE 69022.687
AT ITER 656 NEW BEST:: SOT 219712 SOS 79384 HAS SOPS 79384 HAS SOUS 68691 HAS SOUPS 68691 WITH SCORE 68770.384
AT ITER 658 NEW BEST:: SOT 219489 SOS 78938 HAS SOPS 78938 HAS SOUS 68470 HAS SOUPS 68470 WITH SCORE 68548.938
AT ITER 669 NEW BEST:: SOT 219489 SOS 78926 HAS SOPS 78926 HAS SOUS 68458 HAS SOUPS 68458 WITH SCORE 68536.926
AT ITER 679 NEW BEST:: SOT 219489 SOS 78882 HAS SOPS 78882 HAS SOUS 68456 HAS SOUPS 68456 WITH SCORE 68534.882
AT ITER 682 NEW BEST:: SOT 219432 SOS 78845 HAS SOPS 78845 HAS SOUS 68419 HAS SOUPS 68419 WITH SCORE 68497.845
AT ITER 687 NEW BEST:: SOT 219369 SOS 78787 HAS SOPS 78787 HAS SOUS 68419 HAS SOUPS 68419 WITH SCORE 68497.787
AT ITER 708 NEW BEST:: SOT 219369 SOS 78782 HAS SOPS 78782 HAS SOUS 68414 HAS SOUPS 68414 WITH SCORE 68492.782
AT ITER 737 NEW BEST:: SOT 219360 SOS 78766 HAS SOPS 78766 HAS SOUS 68398 HAS SOUPS 68398 WITH SCORE 68476.766
AT ITER 745 NEW BEST:: SOT 219319 SOS 78695 HAS SOPS 78695 HAS SOUS 68390 HAS SOUPS 68390 WITH SCORE 68468.695
AT ITER 746 NEW BEST:: SOT 219319 SOS 78671 HAS SOPS 78671 HAS SOUS 68366 HAS SOUPS 68366 WITH SCORE 68444.671
AT ITER 750 NEW BEST:: SOT 219228 SOS 78580 HAS SOPS 78580 HAS SOUS 68275 HAS SOUPS 68275 WITH SCORE 68353.58
AT ITER 766 NEW BEST:: SOT 219340 SOS 78480 HAS SOPS 78480 HAS SOUS 68175 HAS SOUPS 68175 WITH SCORE 68253.48
AT ITER 772 NEW BEST:: SOT 219162 SOS 78211 HAS SOPS 78211 HAS SOUS 67906 HAS SOUPS 67906 WITH SCORE 67984.211
AT ITER 774 NEW BEST:: SOT 219161 SOS 78210 HAS SOPS 78210 HAS SOUS 67905 HAS SOUPS 67905 WITH SCORE 67983.21
AT ITER 777 NEW BEST:: SOT 219138 SOS 78026 HAS SOPS 78026 HAS SOUS 67568 HAS SOUPS 67568 WITH SCORE 67646.026
AT ITER 779 NEW BEST:: SOT 219109 SOS 77997 HAS SOPS 77997 HAS SOUS 67539 HAS SOUPS 67539 WITH SCORE 67616.997
AT ITER 780 NEW BEST:: SOT 218992 SOS 77935 HAS SOPS 77935 HAS SOUS 67477 HAS SOUPS 67477 WITH SCORE 67554.935
AT ITER 789 NEW BEST:: SOT 218996 SOS 77534 HAS SOPS 77534 HAS SOUS 66873 HAS SOUPS 66873 WITH SCORE 66950.534
AT ITER 814 NEW BEST:: SOT 218990 SOS 77349 HAS SOPS 77349 HAS SOUS 66694 HAS SOUPS 66694 WITH SCORE 66771.349
AT ITER 818 NEW BEST:: SOT 218867 SOS 77217 HAS SOPS 77217 HAS SOUS 66562 HAS SOUPS 66562 WITH SCORE 66639.217
AT ITER 823 NEW BEST:: SOT 218849 SOS 77199 HAS SOPS 77199 HAS SOUS 66544 HAS SOUPS 66544 WITH SCORE 66621.199
AT ITER 828 NEW BEST:: SOT 218213 SOS 76569 HAS SOPS 76569 HAS SOUS 65914 HAS SOUPS 65914 WITH SCORE 65990.569
AT ITER 829 NEW BEST:: SOT 218212 SOS 76548 HAS SOPS 76548 HAS SOUS 65893 HAS SOUPS 65893 WITH SCORE 65969.548
AT ITER 831 NEW BEST:: SOT 218185 SOS 76494 HAS SOPS 76494 HAS SOUS 65839 HAS SOUPS 65839 WITH SCORE 65915.494
AT ITER 832 NEW BEST:: SOT 218106 SOS 76409 HAS SOPS 76409 HAS SOUS 65833 HAS SOUPS 65833 WITH SCORE 65909.409
AT ITER 834 NEW BEST:: SOT 218116 SOS 76413 HAS SOPS 76413 HAS SOUS 65725 HAS SOUPS 65725 WITH SCORE 65801.413
AT ITER 837 NEW BEST:: SOT 217963 SOS 76264 HAS SOPS 76264 HAS SOUS 65725 HAS SOUPS 65725 WITH SCORE 65801.264
AT ITER 840 NEW BEST:: SOT 217907 SOS 76152 HAS SOPS 76152 HAS SOUS 65613 HAS SOUPS 65613 WITH SCORE 65689.152
AT ITER 848 NEW BEST:: SOT 217895 SOS 76138 HAS SOPS 76138 HAS SOUS 65599 HAS SOUPS 65599 WITH SCORE 65675.138
AT ITER 866 NEW BEST:: SOT 217910 SOS 76069 HAS SOPS 76069 HAS SOUS 65530 HAS SOUPS 65530 WITH SCORE 65606.069
AT ITER 867 NEW BEST:: SOT 217910 SOS 76069 HAS SOPS 76069 HAS SOUS 65471 HAS SOUPS 65471 WITH SCORE 65547.069
AT ITER 874 NEW BEST:: SOT 217952 SOS 75908 HAS SOPS 75908 HAS SOUS 65393 HAS SOUPS 65393 WITH SCORE 65468.908
AT ITER 891 NEW BEST:: SOT 217904 SOS 75764 HAS SOPS 75764 HAS SOUS 65249 HAS SOUPS 65249 WITH SCORE 65324.764
AT ITER 902 NEW BEST:: SOT 217879 SOS 75718 HAS SOPS 75718 HAS SOUS 65203 HAS SOUPS 65203 WITH SCORE 65278.718
AT ITER 904 NEW BEST:: SOT 217939 SOS 75595 HAS SOPS 75595 HAS SOUS 65190 HAS SOUPS 65190 WITH SCORE 65265.595
AT ITER 907 NEW BEST:: SOT 217803 SOS 75573 HAS SOPS 75573 HAS SOUS 65168 HAS SOUPS 65168 WITH SCORE 65243.573
AT ITER 919 NEW BEST:: SOT 217740 SOS 75552 HAS SOPS 75552 HAS SOUS 65105 HAS SOUPS 65105 WITH SCORE 65180.552
AT ITER 925 NEW BEST:: SOT 217705 SOS 75486 HAS SOPS 75486 HAS SOUS 65039 HAS SOUPS 65039 WITH SCORE 65114.486
AT ITER 938 NEW BEST:: SOT 217701 SOS 75391 HAS SOPS 75391 HAS SOUS 65028 HAS SOUPS 65028 WITH SCORE 65103.391
AT ITER 946 NEW BEST:: SOT 217691 SOS 75371 HAS SOPS 75371 HAS SOUS 65008 HAS SOUPS 65008 WITH SCORE 65083.371
AT ITER 949 NEW BEST:: SOT 217661 SOS 75371 HAS SOPS 75371 HAS SOUS 65007 HAS SOUPS 65007 WITH SCORE 65082.371
AT ITER 961 NEW BEST:: SOT 217496 SOS 75101 HAS SOPS 75101 HAS SOUS 64804 HAS SOUPS 64804 WITH SCORE 64879.101
AT ITER 982 NEW BEST:: SOT 217374 SOS 75022 HAS SOPS 75022 HAS SOUS 64687 HAS SOUPS 64687 WITH SCORE 64762.022
AT ITER 984 NEW BEST:: SOT 217352 SOS 74978 HAS SOPS 74978 HAS SOUS 64665 HAS SOUPS 64665 WITH SCORE 64739.978
AT ITER 985 NEW BEST:: SOT 217351 SOS 74977 HAS SOPS 74977 HAS SOUS 64664 HAS SOUPS 64664 WITH SCORE 64738.977
AT ITER 999 NEW BEST:: SOT 217378 SOS 74946 HAS SOPS 74946 HAS SOUS 64633 HAS SOUPS 64633 WITH SCORE 64707.946
AT ITER 1010 NEW BEST:: SOT 217322 SOS 74834 HAS SOPS 74834 HAS SOUS 64576 HAS SOUPS 64576 WITH SCORE 64650.834
AT ITER 1018 NEW BEST:: SOT 217350 SOS 74795 HAS SOPS 74795 HAS SOUS 64537 HAS SOUPS 64537 WITH SCORE 64611.795
AT ITER 1019 NEW BEST:: SOT 217350 SOS 74794 HAS SOPS 74794 HAS SOUS 64536 HAS SOUPS 64536 WITH SCORE 64610.794
AT ITER 1023 NEW BEST:: SOT 217262 SOS 74712 HAS SOPS 74712 HAS SOUS 64454 HAS SOUPS 64454 WITH SCORE 64528.712
AT ITER 1024 NEW BEST:: SOT 217260 SOS 74708 HAS SOPS 74708 HAS SOUS 64450 HAS SOUPS 64450 WITH SCORE 64524.708
AT ITER 1026 NEW BEST:: SOT 217256 SOS 74704 HAS SOPS 74704 HAS SOUS 64446 HAS SOUPS 64446 WITH SCORE 64520.704
AT ITER 1028 NEW BEST:: SOT 217286 SOS 74688 HAS SOPS 74688 HAS SOUS 64430 HAS SOUPS 64430 WITH SCORE 64504.688
AT ITER 1036 NEW BEST:: SOT 217284 SOS 74684 HAS SOPS 74684 HAS SOUS 64405 HAS SOUPS 64405 WITH SCORE 64479.684
AT ITER 1041 NEW BEST:: SOT 217338 SOS 74652 HAS SOPS 74652 HAS SOUS 64373 HAS SOUPS 64373 WITH SCORE 64447.652
AT ITER 1045 NEW BEST:: SOT 217338 SOS 74652 HAS SOPS 74652 HAS SOUS 64372 HAS SOUPS 64372 WITH SCORE 64446.652
AT ITER 1053 NEW BEST:: SOT 217336 SOS 74650 HAS SOPS 74650 HAS SOUS 64370 HAS SOUPS 64370 WITH SCORE 64444.65
AT ITER 1056 NEW BEST:: SOT 217232 SOS 74492 HAS SOPS 74492 HAS SOUS 64212 HAS SOUPS 64212 WITH SCORE 64286.492
AT ITER 1065 NEW BEST:: SOT 217220 SOS 74474 HAS SOPS 74474 HAS SOUS 64194 HAS SOUPS 64194 WITH SCORE 64268.474
AT ITER 1086 NEW BEST:: SOT 217219 SOS 74447 HAS SOPS 74447 HAS SOUS 64141 HAS SOUPS 64141 WITH SCORE 64215.447
AT ITER 1098 NEW BEST:: SOT 217203 SOS 74423 HAS SOPS 74423 HAS SOUS 64117 HAS SOUPS 64117 WITH SCORE 64191.423
AT ITER 1100 NEW BEST:: SOT 216864 SOS 76859 HAS SOPS 76859 HAS SOUS 63828 HAS SOUPS 63828 WITH SCORE 63904.859
AT ITER 1101 NEW BEST:: SOT 216836 SOS 76819 HAS SOPS 76819 HAS SOUS 63788 HAS SOUPS 63788 WITH SCORE 63864.819
AT ITER 1110 NEW BEST:: SOT 216739 SOS 76720 HAS SOPS 76720 HAS SOUS 63689 HAS SOUPS 63689 WITH SCORE 63765.72
AT ITER 1111 NEW BEST:: SOT 216739 SOS 76710 HAS SOPS 76710 HAS SOUS 63669 HAS SOUPS 63669 WITH SCORE 63745.71
AT ITER 1116 NEW BEST:: SOT 216727 SOS 76698 HAS SOPS 76698 HAS SOUS 63657 HAS SOUPS 63657 WITH SCORE 63733.698
AT ITER 1153 NEW BEST:: SOT 216712 SOS 76683 HAS SOPS 76683 HAS SOUS 63657 HAS SOUPS 63657 WITH SCORE 63733.683
AT ITER 1155 NEW BEST:: SOT 216712 SOS 76683 HAS SOPS 76683 HAS SOUS 63627 HAS SOUPS 63627 WITH SCORE 63703.683
AT ITER 1158 NEW BEST:: SOT 216694 SOS 76647 HAS SOPS 76647 HAS SOUS 63591 HAS SOUPS 63591 WITH SCORE 63667.647
AT ITER 1164 NEW BEST:: SOT 216591 SOS 76645 HAS SOPS 76645 HAS SOUS 63589 HAS SOUPS 63589 WITH SCORE 63665.645
AT ITER 1199 NEW BEST:: SOT 216575 SOS 76666 HAS SOPS 76666 HAS SOUS 63521 HAS SOUPS 63521 WITH SCORE 63597.666
AT ITER 1215 NEW BEST:: SOT 216497 SOS 76372 HAS SOPS 76372 HAS SOUS 63227 HAS SOUPS 63227 WITH SCORE 63303.372
AT ITER 1221 NEW BEST:: SOT 216489 SOS 76356 HAS SOPS 76356 HAS SOUS 63211 HAS SOUPS 63211 WITH SCORE 63287.356
AT ITER 1234 NEW BEST:: SOT 216442 SOS 76262 HAS SOPS 76262 HAS SOUS 63164 HAS SOUPS 63164 WITH SCORE 63240.262
AT ITER 1240 NEW BEST:: SOT 216443 SOS 76246 HAS SOPS 76246 HAS SOUS 63148 HAS SOUPS 63148 WITH SCORE 63224.246
AT ITER 1250 NEW BEST:: SOT 216443 SOS 76095 HAS SOPS 76095 HAS SOUS 62997 HAS SOUPS 62997 WITH SCORE 63073.095
AT ITER 1257 NEW BEST:: SOT 216373 SOS 75938 HAS SOPS 75938 HAS SOUS 62840 HAS SOUPS 62840 WITH SCORE 62915.938
AT ITER 1261 NEW BEST:: SOT 216295 SOS 75704 HAS SOPS 75704 HAS SOUS 62606 HAS SOUPS 62606 WITH SCORE 62681.704
AT ITER 1270 NEW BEST:: SOT 216295 SOS 75691 HAS SOPS 75691 HAS SOUS 62593 HAS SOUPS 62593 WITH SCORE 62668.691
AT ITER 1271 NEW BEST:: SOT 216235 SOS 75611 HAS SOPS 75611 HAS SOUS 62513 HAS SOUPS 62513 WITH SCORE 62588.611
AT ITER 1282 NEW BEST:: SOT 216107 SOS 75476 HAS SOPS 75476 HAS SOUS 62487 HAS SOUPS 62487 WITH SCORE 62562.476
AT ITER 1289 NEW BEST:: SOT 216178 SOS 75412 HAS SOPS 75412 HAS SOUS 62423 HAS SOUPS 62423 WITH SCORE 62498.412
AT ITER 1291 NEW BEST:: SOT 216049 SOS 75102 HAS SOPS 75102 HAS SOUS 62092 HAS SOUPS 62092 WITH SCORE 62167.102
AT ITER 1295 NEW BEST:: SOT 215989 SOS 75056 HAS SOPS 75056 HAS SOUS 62046 HAS SOUPS 62046 WITH SCORE 62121.056
AT ITER 1300 NEW BEST:: SOT 215933 SOS 74760 HAS SOPS 74760 HAS SOUS 61821 HAS SOUPS 61821 WITH SCORE 61895.76
AT ITER 1301 NEW BEST:: SOT 215932 SOS 74759 HAS SOPS 74759 HAS SOUS 61820 HAS SOUPS 61820 WITH SCORE 61894.759
AT ITER 1316 NEW BEST:: SOT 215904 SOS 74703 HAS SOPS 74703 HAS SOUS 61764 HAS SOUPS 61764 WITH SCORE 61838.703
AT ITER 1318 NEW BEST:: SOT 215876 SOS 74632 HAS SOPS 74632 HAS SOUS 61733 HAS SOUPS 61733 WITH SCORE 61807.632
AT ITER 1329 NEW BEST:: SOT 215814 SOS 74520 HAS SOPS 74520 HAS SOUS 61719 HAS SOUPS 61719 WITH SCORE 61793.52
AT ITER 1344 NEW BEST:: SOT 215804 SOS 74492 HAS SOPS 74492 HAS SOUS 61691 HAS SOUPS 61691 WITH SCORE 61765.492
AT ITER 1350 NEW BEST:: SOT 215632 SOS 74230 HAS SOPS 74230 HAS SOUS 61429 HAS SOUPS 61429 WITH SCORE 61503.23
AT ITER 1355 NEW BEST:: SOT 215632 SOS 73907 HAS SOPS 73907 HAS SOUS 61301 HAS SOUPS 61301 WITH SCORE 61374.907
AT ITER 1368 NEW BEST:: SOT 215771 SOS 73868 HAS SOPS 73868 HAS SOUS 61262 HAS SOUPS 61262 WITH SCORE 61335.868
AT ITER 1389 NEW BEST:: SOT 215659 SOS 73676 HAS SOPS 73676 HAS SOUS 61182 HAS SOUPS 61182 WITH SCORE 61255.676
AT ITER 1398 NEW BEST:: SOT 215659 SOS 73675 HAS SOPS 73675 HAS SOUS 61181 HAS SOUPS 61181 WITH SCORE 61254.675
AT ITER 1400 NEW BEST:: SOT 215668 SOS 73373 HAS SOPS 73373 HAS SOUS 60993 HAS SOUPS 60993 WITH SCORE 61066.373
AT ITER 1437 NEW BEST:: SOT 215662 SOS 73359 HAS SOPS 73359 HAS SOUS 60981 HAS SOUPS 60981 WITH SCORE 61054.359
AT ITER 1445 NEW BEST:: SOT 215588 SOS 73303 HAS SOPS 73303 HAS SOUS 60975 HAS SOUPS 60975 WITH SCORE 61048.303
AT ITER 1449 NEW BEST:: SOT 215586 SOS 73299 HAS SOPS 73299 HAS SOUS 60971 HAS SOUPS 60971 WITH SCORE 61044.299
AT ITER 1459 NEW BEST:: SOT 215346 SOS 73119 HAS SOPS 73119 HAS SOUS 60791 HAS SOUPS 60791 WITH SCORE 60864.119
AT ITER 1466 NEW BEST:: SOT 215373 SOS 73102 HAS SOPS 73102 HAS SOUS 60781 HAS SOUPS 60781 WITH SCORE 60854.102
AT ITER 1470 NEW BEST:: SOT 215361 SOS 73078 HAS SOPS 73078 HAS SOUS 60769 HAS SOUPS 60769 WITH SCORE 60842.078
AT ITER 1482 NEW BEST:: SOT 215373 SOS 73102 HAS SOPS 73102 HAS SOUS 60741 HAS SOUPS 60741 WITH SCORE 60814.102
AT ITER 1492 NEW BEST:: SOT 215361 SOS 73010 HAS SOPS 73010 HAS SOUS 60637 HAS SOUPS 60637 WITH SCORE 60710.01
AT ITER 1493 NEW BEST:: SOT 215303 SOS 72952 HAS SOPS 72952 HAS SOUS 60579 HAS SOUPS 60579 WITH SCORE 60651.952
AT ITER 1503 NEW BEST:: SOT 215377 SOS 73014 HAS SOPS 73014 HAS SOUS 60568 HAS SOUPS 60568 WITH SCORE 60641.014
AT ITER 1504 NEW BEST:: SOT 215199 SOS 72708 HAS SOPS 72708 HAS SOUS 60380 HAS SOUPS 60380 WITH SCORE 60452.708
AT ITER 1520 NEW BEST:: SOT 215199 SOS 72682 HAS SOPS 72682 HAS SOUS 60354 HAS SOUPS 60354 WITH SCORE 60426.682
AT ITER 1533 NEW BEST:: SOT 215178 SOS 72653 HAS SOPS 72653 HAS SOUS 60325 HAS SOUPS 60325 WITH SCORE 60397.653
AT ITER 1534 NEW BEST:: SOT 215305 SOS 72482 HAS SOPS 72482 HAS SOUS 60155 HAS SOUPS 60155 WITH SCORE 60227.482
AT ITER 1540 NEW BEST:: SOT 215442 SOS 72400 HAS SOPS 72400 HAS SOUS 60126 HAS SOUPS 60126 WITH SCORE 60198.4
AT ITER 1550 NEW BEST:: SOT 215442 SOS 72188 HAS SOPS 72188 HAS SOUS 60101 HAS SOUPS 60101 WITH SCORE 60173.188
AT ITER 1567 NEW BEST:: SOT 215390 SOS 72084 HAS SOPS 72084 HAS SOUS 59997 HAS SOUPS 59997 WITH SCORE 60069.084
AT ITER 1569 NEW BEST:: SOT 215348 SOS 72000 HAS SOPS 72000 HAS SOUS 59866 HAS SOUPS 59866 WITH SCORE 59938.0
AT ITER 1580 NEW BEST:: SOT 215319 SOS 71971 HAS SOPS 71971 HAS SOUS 59837 HAS SOUPS 59837 WITH SCORE 59908.971
AT ITER 1584 NEW BEST:: SOT 215266 SOS 71922 HAS SOPS 71922 HAS SOUS 59788 HAS SOUPS 59788 WITH SCORE 59859.922
AT ITER 1596 NEW BEST:: SOT 215190 SOS 71770 HAS SOPS 71770 HAS SOUS 59712 HAS SOUPS 59712 WITH SCORE 59783.77
AT ITER 1603 NEW BEST:: SOT 215239 SOS 71819 HAS SOPS 71819 HAS SOUS 59685 HAS SOUPS 59685 WITH SCORE 59756.819
AT ITER 1605 NEW BEST:: SOT 215239 SOS 71819 HAS SOPS 71819 HAS SOUS 59666 HAS SOUPS 59666 WITH SCORE 59737.819
AT ITER 1608 NEW BEST:: SOT 215154 SOS 71685 HAS SOPS 71685 HAS SOUS 59532 HAS SOUPS 59532 WITH SCORE 59603.685
AT ITER 1609 NEW BEST:: SOT 215139 SOS 71655 HAS SOPS 71655 HAS SOUS 59502 HAS SOUPS 59502 WITH SCORE 59573.655
AT ITER 1634 NEW BEST:: SOT 214976 SOS 71354 HAS SOPS 71354 HAS SOUS 59201 HAS SOUPS 59201 WITH SCORE 59272.354
AT ITER 1651 NEW BEST:: SOT 214896 SOS 71274 HAS SOPS 71274 HAS SOUS 59201 HAS SOUPS 59201 WITH SCORE 59272.274
AT ITER 1652 NEW BEST:: SOT 214883 SOS 71231 HAS SOPS 71231 HAS SOUS 59175 HAS SOUPS 59175 WITH SCORE 59246.231
AT ITER 1670 NEW BEST:: SOT 214904 SOS 71110 HAS SOPS 71110 HAS SOUS 59054 HAS SOUPS 59054 WITH SCORE 59125.11
AT ITER 1677 NEW BEST:: SOT 214878 SOS 71102 HAS SOPS 71102 HAS SOUS 59046 HAS SOUPS 59046 WITH SCORE 59117.102
AT ITER 1682 NEW BEST:: SOT 214799 SOS 70944 HAS SOPS 70944 HAS SOUS 58890 HAS SOUPS 58890 WITH SCORE 58960.944
AT ITER 1687 NEW BEST:: SOT 214755 SOS 70768 HAS SOPS 70768 HAS SOUS 58744 HAS SOUPS 58744 WITH SCORE 58814.768
AT ITER 1694 NEW BEST:: SOT 214640 SOS 70653 HAS SOPS 70653 HAS SOUS 58629 HAS SOUPS 58629 WITH SCORE 58699.653
AT ITER 1697 NEW BEST:: SOT 214433 SOS 70354 HAS SOPS 70354 HAS SOUS 58330 HAS SOUPS 58330 WITH SCORE 58400.354
AT ITER 1704 NEW BEST:: SOT 214325 SOS 70172 HAS SOPS 70172 HAS SOUS 58252 HAS SOUPS 58252 WITH SCORE 58322.172
AT ITER 1708 NEW BEST:: SOT 214305 SOS 70151 HAS SOPS 70151 HAS SOUS 58251 HAS SOUPS 58251 WITH SCORE 58321.151
AT ITER 1717 NEW BEST:: SOT 214298 SOS 70137 HAS SOPS 70137 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58314.137
AT ITER 1720 NEW BEST:: SOT 214274 SOS 70095 HAS SOPS 70095 HAS SOUS 58202 HAS SOUPS 58202 WITH SCORE 58272.095
AT ITER 1732 NEW BEST:: SOT 214253 SOS 70074 HAS SOPS 70074 HAS SOUS 58181 HAS SOUPS 58181 WITH SCORE 58251.074
AT ITER 1735 NEW BEST:: SOT 214238 SOS 70057 HAS SOPS 70057 HAS SOUS 58164 HAS SOUPS 58164 WITH SCORE 58234.057
AT ITER 1745 NEW BEST:: SOT 214157 SOS 70038 HAS SOPS 70038 HAS SOUS 58145 HAS SOUPS 58145 WITH SCORE 58215.038
AT ITER 1757 NEW BEST:: SOT 214065 SOS 69854 HAS SOPS 69854 HAS SOUS 57961 HAS SOUPS 57961 WITH SCORE 58030.854
AT ITER 1769 NEW BEST:: SOT 214098 SOS 69825 HAS SOPS 69825 HAS SOUS 57837 HAS SOUPS 57837 WITH SCORE 57906.825
AT ITER 1771 NEW BEST:: SOT 214052 SOS 69778 HAS SOPS 69778 HAS SOUS 57835 HAS SOUPS 57835 WITH SCORE 57904.778
AT ITER 1777 NEW BEST:: SOT 214066 SOS 69792 HAS SOPS 69792 HAS SOUS 57800 HAS SOUPS 57800 WITH SCORE 57869.792
AT ITER 1778 NEW BEST:: SOT 213963 SOS 69949 HAS SOPS 69949 HAS SOUS 57762 HAS SOUPS 57762 WITH SCORE 57831.949
AT ITER 1783 NEW BEST:: SOT 213968 SOS 69920 HAS SOPS 69920 HAS SOUS 57733 HAS SOUPS 57733 WITH SCORE 57802.92
AT ITER 1807 NEW BEST:: SOT 214134 SOS 69864 HAS SOPS 69864 HAS SOUS 57677 HAS SOUPS 57677 WITH SCORE 57746.864
AT ITER 1833 NEW BEST:: SOT 214089 SOS 69835 HAS SOPS 69835 HAS SOUS 57648 HAS SOUPS 57648 WITH SCORE 57717.835
AT ITER 1840 NEW BEST:: SOT 214078 SOS 69854 HAS SOPS 69854 HAS SOUS 57566 HAS SOUPS 57566 WITH SCORE 57635.854
AT ITER 1842 NEW BEST:: SOT 213920 SOS 69628 HAS SOPS 69628 HAS SOUS 57430 HAS SOUPS 57430 WITH SCORE 57499.628
AT ITER 1847 NEW BEST:: SOT 214007 SOS 69623 HAS SOPS 69623 HAS SOUS 57246 HAS SOUPS 57246 WITH SCORE 57315.623
AT ITER 1848 NEW BEST:: SOT 213930 SOS 69546 HAS SOPS 69546 HAS SOUS 57161 HAS SOUPS 57161 WITH SCORE 57230.546
AT ITER 1851 NEW BEST:: SOT 213824 SOS 69334 HAS SOPS 69334 HAS SOUS 56958 HAS SOUPS 56958 WITH SCORE 57027.334
AT ITER 1859 NEW BEST:: SOT 213766 SOS 69250 HAS SOPS 69250 HAS SOUS 56792 HAS SOUPS 56792 WITH SCORE 56861.25
AT ITER 1875 NEW BEST:: SOT 213765 SOS 69248 HAS SOPS 69248 HAS SOUS 56790 HAS SOUPS 56790 WITH SCORE 56859.248
AT ITER 1889 NEW BEST:: SOT 213734 SOS 69223 HAS SOPS 69223 HAS SOUS 56765 HAS SOUPS 56765 WITH SCORE 56834.223
AT ITER 1899 NEW BEST:: SOT 213718 SOS 69185 HAS SOPS 69185 HAS SOUS 56727 HAS SOUPS 56727 WITH SCORE 56796.185
AT ITER 1908 NEW BEST:: SOT 213718 SOS 69184 HAS SOPS 69184 HAS SOUS 56726 HAS SOUPS 56726 WITH SCORE 56795.184
AT ITER 1909 NEW BEST:: SOT 213656 SOS 69060 HAS SOPS 69060 HAS SOUS 56662 HAS SOUPS 56662 WITH SCORE 56731.06
AT ITER 1922 NEW BEST:: SOT 213653 SOS 68980 HAS SOPS 68980 HAS SOUS 56582 HAS SOUPS 56582 WITH SCORE 56650.98
AT ITER 1930 NEW BEST:: SOT 213500 SOS 68674 HAS SOPS 68674 HAS SOUS 56518 HAS SOUPS 56518 WITH SCORE 56586.674
AT ITER 1937 NEW BEST:: SOT 213499 SOS 68672 HAS SOPS 68672 HAS SOUS 56516 HAS SOUPS 56516 WITH SCORE 56584.672
AT ITER 1941 NEW BEST:: SOT 213403 SOS 68576 HAS SOPS 68576 HAS SOUS 56420 HAS SOUPS 56420 WITH SCORE 56488.576
AT ITER 1947 NEW BEST:: SOT 213403 SOS 68564 HAS SOPS 68564 HAS SOUS 56408 HAS SOUPS 56408 WITH SCORE 56476.564
AT ITER 1978 NEW BEST:: SOT 213403 SOS 68543 HAS SOPS 68543 HAS SOUS 56387 HAS SOUPS 56387 WITH SCORE 56455.543
AT ITER 1994 NEW BEST:: SOT 213293 SOS 68323 HAS SOPS 68323 HAS SOUS 56167 HAS SOUPS 56167 WITH SCORE 56235.323
AT ITER 2003 NEW BEST:: SOT 213266 SOS 68129 HAS SOPS 68129 HAS SOUS 56004 HAS SOUPS 56004 WITH SCORE 56072.129
AT ITER 2009 NEW BEST:: SOT 213309 SOS 68174 HAS SOPS 68174 HAS SOUS 55922 HAS SOUPS 55922 WITH SCORE 55990.174
AT ITER 2013 NEW BEST:: SOT 213297 SOS 68156 HAS SOPS 68156 HAS SOUS 55910 HAS SOUPS 55910 WITH SCORE 55978.156
AT ITER 2047 NEW BEST:: SOT 213288 SOS 68147 HAS SOPS 68147 HAS SOUS 55830 HAS SOUPS 55830 WITH SCORE 55898.147
AT ITER 2051 NEW BEST:: SOT 213088 SOS 67947 HAS SOPS 67947 HAS SOUS 55700 HAS SOUPS 55700 WITH SCORE 55767.947
AT ITER 2056 NEW BEST:: SOT 213079 SOS 67929 HAS SOPS 67929 HAS SOUS 55682 HAS SOUPS 55682 WITH SCORE 55749.929
AT ITER 2063 NEW BEST:: SOT 213021 SOS 67871 HAS SOPS 67871 HAS SOUS 55624 HAS SOUPS 55624 WITH SCORE 55691.871
AT ITER 2078 NEW BEST:: SOT 213019 SOS 67686 HAS SOPS 67686 HAS SOUS 55439 HAS SOUPS 55439 WITH SCORE 55506.686
AT ITER 2080 NEW BEST:: SOT 212943 SOS 67625 HAS SOPS 67625 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55445.625
AT ITER 2122 NEW BEST:: SOT 212946 SOS 67606 HAS SOPS 67606 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55445.606
AT ITER 2125 NEW BEST:: SOT 212935 SOS 67484 HAS SOPS 67484 HAS SOUS 55256 HAS SOUPS 55256 WITH SCORE 55323.484
AT ITER 2156 NEW BEST:: SOT 212970 SOS 67431 HAS SOPS 67431 HAS SOUS 55203 HAS SOUPS 55203 WITH SCORE 55270.431
AT ITER 2175 NEW BEST:: SOT 212919 SOS 67380 HAS SOPS 67380 HAS SOUS 55152 HAS SOUPS 55152 WITH SCORE 55219.38
AT ITER 2177 NEW BEST:: SOT 212919 SOS 67245 HAS SOPS 67245 HAS SOUS 55099 HAS SOUPS 55099 WITH SCORE 55166.245
AT ITER 2182 NEW BEST:: SOT 212851 SOS 67109 HAS SOPS 67109 HAS SOUS 55017 HAS SOUPS 55017 WITH SCORE 55084.109
AT ITER 2184 NEW BEST:: SOT 212851 SOS 67106 HAS SOPS 67106 HAS SOUS 55014 HAS SOUPS 55014 WITH SCORE 55081.106
AT ITER 2202 NEW BEST:: SOT 212851 SOS 67106 HAS SOPS 67106 HAS SOUS 54994 HAS SOUPS 54994 WITH SCORE 55061.106
AT ITER 2204 NEW BEST:: SOT 212838 SOS 67103 HAS SOPS 67103 HAS SOUS 54991 HAS SOUPS 54991 WITH SCORE 55058.103
AT ITER 2208 NEW BEST:: SOT 212835 SOS 67091 HAS SOPS 67091 HAS SOUS 54979 HAS SOUPS 54979 WITH SCORE 55046.091
AT ITER 2257 NEW BEST:: SOT 212747 SOS 66915 HAS SOPS 66915 HAS SOUS 54803 HAS SOUPS 54803 WITH SCORE 54869.915
AT ITER 2279 NEW BEST:: SOT 212746 SOS 66913 HAS SOPS 66913 HAS SOUS 54801 HAS SOUPS 54801 WITH SCORE 54867.913
AT ITER 2290 NEW BEST:: SOT 212746 SOS 66882 HAS SOPS 66882 HAS SOUS 54770 HAS SOUPS 54770 WITH SCORE 54836.882
AT ITER 2294 NEW BEST:: SOT 212689 SOS 66825 HAS SOPS 66825 HAS SOUS 54770 HAS SOUPS 54770 WITH SCORE 54836.825
AT ITER 2348 NEW BEST:: SOT 212650 SOS 66818 HAS SOPS 66818 HAS SOUS 54763 HAS SOUPS 54763 WITH SCORE 54829.818
AT ITER 2355 NEW BEST:: SOT 212558 SOS 66634 HAS SOPS 66634 HAS SOUS 54579 HAS SOUPS 54579 WITH SCORE 54645.634
AT ITER 2394 NEW BEST:: SOT 212418 SOS 66443 HAS SOPS 66443 HAS SOUS 54439 HAS SOUPS 54439 WITH SCORE 54505.443
AT ITER 2404 NEW BEST:: SOT 212417 SOS 66441 HAS SOPS 66441 HAS SOUS 54437 HAS SOUPS 54437 WITH SCORE 54503.441
AT ITER 2422 NEW BEST:: SOT 212417 SOS 66439 HAS SOPS 66439 HAS SOUS 54435 HAS SOUPS 54435 WITH SCORE 54501.439
AT ITER 2430 NEW BEST:: SOT 212399 SOS 66421 HAS SOPS 66421 HAS SOUS 54400 HAS SOUPS 54400 WITH SCORE 54466.421
AT ITER 2439 NEW BEST:: SOT 212374 SOS 66371 HAS SOPS 66371 HAS SOUS 54381 HAS SOUPS 54381 WITH SCORE 54447.371
AT ITER 2443 NEW BEST:: SOT 212400 SOS 66339 HAS SOPS 66339 HAS SOUS 54319 HAS SOUPS 54319 WITH SCORE 54385.339
AT ITER 2444 NEW BEST:: SOT 212229 SOS 66328 HAS SOPS 66328 HAS SOUS 54308 HAS SOUPS 54308 WITH SCORE 54374.328
AT ITER 2464 NEW BEST:: SOT 212200 SOS 66072 HAS SOPS 66072 HAS SOUS 54052 HAS SOUPS 54052 WITH SCORE 54118.072
AT ITER 2465 NEW BEST:: SOT 212200 SOS 66048 HAS SOPS 66048 HAS SOUS 54029 HAS SOUPS 54029 WITH SCORE 54095.048
AT ITER 2467 NEW BEST:: SOT 212200 SOS 66048 HAS SOPS 66048 HAS SOUS 54004 HAS SOUPS 54004 WITH SCORE 54070.048
AT ITER 2476 NEW BEST:: SOT 212289 SOS 66082 HAS SOPS 66082 HAS SOUS 53984 HAS SOUPS 53984 WITH SCORE 54050.082
AT ITER 2506 NEW BEST:: SOT 212290 SOS 66010 HAS SOPS 66010 HAS SOUS 53912 HAS SOUPS 53912 WITH SCORE 53978.01
AT ITER 2516 NEW BEST:: SOT 212231 SOS 65915 HAS SOPS 65915 HAS SOUS 53794 HAS SOUPS 53794 WITH SCORE 53859.915
AT ITER 2518 NEW BEST:: SOT 212222 SOS 65897 HAS SOPS 65897 HAS SOUS 53785 HAS SOUPS 53785 WITH SCORE 53850.897
AT ITER 2537 NEW BEST:: SOT 212222 SOS 65767 HAS SOPS 65767 HAS SOUS 53784 HAS SOUPS 53784 WITH SCORE 53849.767
AT ITER 2540 NEW BEST:: SOT 212215 SOS 65740 HAS SOPS 65740 HAS SOUS 53757 HAS SOUPS 53757 WITH SCORE 53822.74
AT ITER 2546 NEW BEST:: SOT 212131 SOS 65656 HAS SOPS 65656 HAS SOUS 53673 HAS SOUPS 53673 WITH SCORE 53738.656
AT ITER 2551 NEW BEST:: SOT 212151 SOS 65689 HAS SOPS 65689 HAS SOUS 53576 HAS SOUPS 53576 WITH SCORE 53641.689
AT ITER 2592 NEW BEST:: SOT 212075 SOS 65614 HAS SOPS 65614 HAS SOUS 53501 HAS SOUPS 53501 WITH SCORE 53566.614
AT ITER 2624 NEW BEST:: SOT 211898 SOS 65437 HAS SOPS 65437 HAS SOUS 53501 HAS SOUPS 53501 WITH SCORE 53566.437
AT ITER 2631 NEW BEST:: SOT 211855 SOS 65351 HAS SOPS 65351 HAS SOUS 53415 HAS SOUPS 53415 WITH SCORE 53480.351
AT ITER 2633 NEW BEST:: SOT 211827 SOS 65237 HAS SOPS 65237 HAS SOUS 53301 HAS SOUPS 53301 WITH SCORE 53366.237
AT ITER 2641 NEW BEST:: SOT 211808 SOS 65199 HAS SOPS 65199 HAS SOUS 53282 HAS SOUPS 53282 WITH SCORE 53347.199
AT ITER 2654 NEW BEST:: SOT 211785 SOS 65167 HAS SOPS 65167 HAS SOUS 53250 HAS SOUPS 53250 WITH SCORE 53315.167
AT ITER 2660 NEW BEST:: SOT 211783 SOS 65164 HAS SOPS 65164 HAS SOUS 53248 HAS SOUPS 53248 WITH SCORE 53313.164
AT ITER 2685 NEW BEST:: SOT 211841 SOS 65145 HAS SOPS 65145 HAS SOUS 53229 HAS SOUPS 53229 WITH SCORE 53294.145
AT ITER 2701 NEW BEST:: SOT 211845 SOS 65101 HAS SOPS 65101 HAS SOUS 53216 HAS SOUPS 53216 WITH SCORE 53281.101
AT ITER 2711 NEW BEST:: SOT 211845 SOS 65071 HAS SOPS 65071 HAS SOUS 53216 HAS SOUPS 53216 WITH SCORE 53281.071
AT ITER 2730 NEW BEST:: SOT 211812 SOS 65038 HAS SOPS 65038 HAS SOUS 53216 HAS SOUPS 53216 WITH SCORE 53281.038
AT ITER 2736 NEW BEST:: SOT 211812 SOS 64961 HAS SOPS 64961 HAS SOUS 53178 HAS SOUPS 53178 WITH SCORE 53242.961
AT ITER 2739 NEW BEST:: SOT 211775 SOS 64960 HAS SOPS 64960 HAS SOUS 53177 HAS SOUPS 53177 WITH SCORE 53241.96
AT ITER 2744 NEW BEST:: SOT 211705 SOS 64820 HAS SOPS 64820 HAS SOUS 53107 HAS SOUPS 53107 WITH SCORE 53171.82
AT ITER 2747 NEW BEST:: SOT 211645 SOS 64700 HAS SOPS 64700 HAS SOUS 53057 HAS SOUPS 53057 WITH SCORE 53121.7
AT ITER 2754 NEW BEST:: SOT 211629 SOS 64684 HAS SOPS 64684 HAS SOUS 53041 HAS SOUPS 53041 WITH SCORE 53105.684
AT ITER 2758 NEW BEST:: SOT 211328 SOS 79346 HAS SOPS 79346 HAS SOUS 52970 HAS SOUPS 52970 WITH SCORE 53049.346
AT ITER 2776 NEW BEST:: SOT 211328 SOS 79336 HAS SOPS 79336 HAS SOUS 52954 HAS SOUPS 52954 WITH SCORE 53033.336
AT ITER 2787 NEW BEST:: SOT 211296 SOS 79211 HAS SOPS 79211 HAS SOUS 52890 HAS SOUPS 52890 WITH SCORE 52969.211
AT ITER 2817 NEW BEST:: SOT 211296 SOS 79113 HAS SOPS 79113 HAS SOUS 52738 HAS SOUPS 52738 WITH SCORE 52817.113
AT ITER 2857 NEW BEST:: SOT 211263 SOS 79047 HAS SOPS 79047 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52751.047
AT ITER 2878 NEW BEST:: SOT 211262 SOS 79045 HAS SOPS 79045 HAS SOUS 52671 HAS SOUPS 52671 WITH SCORE 52750.045
AT ITER 2887 NEW BEST:: SOT 211253 SOS 79017 HAS SOPS 79017 HAS SOUS 52653 HAS SOUPS 52653 WITH SCORE 52732.017
AT ITER 2908 NEW BEST:: SOT 211231 SOS 78995 HAS SOPS 78995 HAS SOUS 52631 HAS SOUPS 52631 WITH SCORE 52709.995
AT ITER 2919 NEW BEST:: SOT 211259 SOS 78916 HAS SOPS 78916 HAS SOUS 52552 HAS SOUPS 52552 WITH SCORE 52630.916
AT ITER 2924 NEW BEST:: SOT 211251 SOS 78908 HAS SOPS 78908 HAS SOUS 52544 HAS SOUPS 52544 WITH SCORE 52622.908
AT ITER 2940 NEW BEST:: SOT 211215 SOS 78836 HAS SOPS 78836 HAS SOUS 52472 HAS SOUPS 52472 WITH SCORE 52550.836
AT ITER 2943 NEW BEST:: SOT 211209 SOS 78827 HAS SOPS 78827 HAS SOUS 52466 HAS SOUPS 52466 WITH SCORE 52544.827
AT ITER 2955 NEW BEST:: SOT 211179 SOS 78767 HAS SOPS 78767 HAS SOUS 52406 HAS SOUPS 52406 WITH SCORE 52484.767
AT ITER 2957 NEW BEST:: SOT 211179 SOS 78767 HAS SOPS 78767 HAS SOUS 52405 HAS SOUPS 52405 WITH SCORE 52483.767
AT ITER 2969 NEW BEST:: SOT 211179 SOS 78767 HAS SOPS 78767 HAS SOUS 52376 HAS SOUPS 52376 WITH SCORE 52454.767
AT ITER 2970 NEW BEST:: SOT 210955 SOS 78543 HAS SOPS 78543 HAS SOUS 52218 HAS SOUPS 52218 WITH SCORE 52296.543
AT ITER 2972 NEW BEST:: SOT 210816 SOS 78347 HAS SOPS 78347 HAS SOUS 52041 HAS SOUPS 52041 WITH SCORE 52119.347
AT ITER 2999 NEW BEST:: SOT 210794 SOS 78334 HAS SOPS 78334 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52106.334
AT ITER 3013 NEW BEST:: SOT 210814 SOS 78347 HAS SOPS 78347 HAS SOUS 52014 HAS SOUPS 52014 WITH SCORE 52092.347
AT ITER 3063 NEW BEST:: SOT 210806 SOS 78321 HAS SOPS 78321 HAS SOUS 51988 HAS SOUPS 51988 WITH SCORE 52066.321
AT ITER 3073 NEW BEST:: SOT 210758 SOS 78249 HAS SOPS 78249 HAS SOUS 51940 HAS SOUPS 51940 WITH SCORE 52018.249
AT ITER 3081 NEW BEST:: SOT 210724 SOS 78182 HAS SOPS 78182 HAS SOUS 51890 HAS SOUPS 51890 WITH SCORE 51968.182
AT ITER 3139 NEW BEST:: SOT 210724 SOS 78146 HAS SOPS 78146 HAS SOUS 51854 HAS SOUPS 51854 WITH SCORE 51932.146
AT ITER 3147 NEW BEST:: SOT 210551 SOS 77507 HAS SOPS 77507 HAS SOUS 51388 HAS SOUPS 51388 WITH SCORE 51465.507
AT ITER 3148 NEW BEST:: SOT 210541 SOS 77493 HAS SOPS 77493 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51451.493
AT ITER 3152 NEW BEST:: SOT 210489 SOS 77362 HAS SOPS 77362 HAS SOUS 51362 HAS SOUPS 51362 WITH SCORE 51439.362
AT ITER 3156 NEW BEST:: SOT 210515 SOS 77310 HAS SOPS 77310 HAS SOUS 51310 HAS SOUPS 51310 WITH SCORE 51387.31
AT ITER 3172 NEW BEST:: SOT 210521 SOS 77241 HAS SOPS 77241 HAS SOUS 51229 HAS SOUPS 51229 WITH SCORE 51306.241
AT ITER 3184 NEW BEST:: SOT 210479 SOS 77186 HAS SOPS 77186 HAS SOUS 51174 HAS SOUPS 51174 WITH SCORE 51251.186
AT ITER 3207 NEW BEST:: SOT 210513 SOS 77065 HAS SOPS 77065 HAS SOUS 51053 HAS SOUPS 51053 WITH SCORE 51130.065
AT ITER 3214 NEW BEST:: SOT 210435 SOS 76909 HAS SOPS 76909 HAS SOUS 51009 HAS SOUPS 51009 WITH SCORE 51085.909
AT ITER 3223 NEW BEST:: SOT 210382 SOS 76843 HAS SOPS 76843 HAS SOUS 50997 HAS SOUPS 50997 WITH SCORE 51073.843
AT ITER 3255 NEW BEST:: SOT 210365 SOS 76769 HAS SOPS 76769 HAS SOUS 50923 HAS SOUPS 50923 WITH SCORE 50999.769
AT ITER 3308 NEW BEST:: SOT 210374 SOS 76787 HAS SOPS 76787 HAS SOUS 50861 HAS SOUPS 50861 WITH SCORE 50937.787
AT ITER 3328 NEW BEST:: SOT 210223 SOS 76689 HAS SOPS 76689 HAS SOUS 50710 HAS SOUPS 50710 WITH SCORE 50786.689
AT ITER 3336 NEW BEST:: SOT 210179 SOS 76581 HAS SOPS 76581 HAS SOUS 50664 HAS SOUPS 50664 WITH SCORE 50740.581
AT ITER 3354 NEW BEST:: SOT 210168 SOS 76559 HAS SOPS 76559 HAS SOUS 50653 HAS SOUPS 50653 WITH SCORE 50729.559
AT ITER 3378 NEW BEST:: SOT 210015 SOS 76455 HAS SOPS 76455 HAS SOUS 50510 HAS SOUPS 50510 WITH SCORE 50586.455
AT ITER 3388 NEW BEST:: SOT 209982 SOS 76422 HAS SOPS 76422 HAS SOUS 50477 HAS SOUPS 50477 WITH SCORE 50553.422
AT ITER 3399 NEW BEST:: SOT 209975 SOS 76417 HAS SOPS 76417 HAS SOUS 50463 HAS SOUPS 50463 WITH SCORE 50539.417
AT ITER 3403 NEW BEST:: SOT 209877 SOS 76319 HAS SOPS 76319 HAS SOUS 50463 HAS SOUPS 50463 WITH SCORE 50539.319
AT ITER 3423 NEW BEST:: SOT 209868 SOS 76310 HAS SOPS 76310 HAS SOUS 50454 HAS SOUPS 50454 WITH SCORE 50530.31
AT ITER 3432 NEW BEST:: SOT 209867 SOS 76308 HAS SOPS 76308 HAS SOUS 50452 HAS SOUPS 50452 WITH SCORE 50528.308
AT ITER 3433 NEW BEST:: SOT 209875 SOS 76234 HAS SOPS 76234 HAS SOUS 50378 HAS SOUPS 50378 WITH SCORE 50454.234
AT ITER 3444 NEW BEST:: SOT 209847 SOS 76178 HAS SOPS 76178 HAS SOUS 50322 HAS SOUPS 50322 WITH SCORE 50398.178
AT ITER 3446 NEW BEST:: SOT 209849 SOS 76140 HAS SOPS 76140 HAS SOUS 50219 HAS SOUPS 50219 WITH SCORE 50295.14
AT ITER 3449 NEW BEST:: SOT 209849 SOS 76065 HAS SOPS 76065 HAS SOUS 50172 HAS SOUPS 50172 WITH SCORE 50248.065
AT ITER 3455 NEW BEST:: SOT 209847 SOS 76041 HAS SOPS 76041 HAS SOUS 50148 HAS SOUPS 50148 WITH SCORE 50224.041
AT ITER 3488 NEW BEST:: SOT 209864 SOS 76039 HAS SOPS 76039 HAS SOUS 50146 HAS SOUPS 50146 WITH SCORE 50222.039
AT ITER 3496 NEW BEST:: SOT 209827 SOS 76004 HAS SOPS 76004 HAS SOUS 50111 HAS SOUPS 50111 WITH SCORE 50187.004
AT ITER 3497 NEW BEST:: SOT 209795 SOS 75940 HAS SOPS 75940 HAS SOUS 50044 HAS SOUPS 50044 WITH SCORE 50119.94
AT ITER 3499 NEW BEST:: SOT 209676 SOS 76206 HAS SOPS 76206 HAS SOUS 49910 HAS SOUPS 49910 WITH SCORE 49986.206
AT ITER 3515 NEW BEST:: SOT 209677 SOS 76178 HAS SOPS 76178 HAS SOUS 49882 HAS SOUPS 49882 WITH SCORE 49958.178
AT ITER 3537 NEW BEST:: SOT 209610 SOS 76044 HAS SOPS 76044 HAS SOUS 49748 HAS SOUPS 49748 WITH SCORE 49824.044
AT ITER 3583 NEW BEST:: SOT 209581 SOS 76014 HAS SOPS 76014 HAS SOUS 49746 HAS SOUPS 49746 WITH SCORE 49822.014
AT ITER 3587 NEW BEST:: SOT 209547 SOS 75946 HAS SOPS 75946 HAS SOUS 49629 HAS SOUPS 49629 WITH SCORE 49704.946
AT ITER 3602 NEW BEST:: SOT 209521 SOS 75894 HAS SOPS 75894 HAS SOUS 49577 HAS SOUPS 49577 WITH SCORE 49652.894
AT ITER 3604 NEW BEST:: SOT 209528 SOS 75800 HAS SOPS 75800 HAS SOUS 49555 HAS SOUPS 49555 WITH SCORE 49630.8
AT ITER 3611 NEW BEST:: SOT 209528 SOS 75774 HAS SOPS 75774 HAS SOUS 49529 HAS SOUPS 49529 WITH SCORE 49604.774
AT ITER 3613 NEW BEST:: SOT 209446 SOS 75692 HAS SOPS 75692 HAS SOUS 49529 HAS SOUPS 49529 WITH SCORE 49604.692
AT ITER 3614 NEW BEST:: SOT 209496 SOS 75685 HAS SOPS 75685 HAS SOUS 49522 HAS SOUPS 49522 WITH SCORE 49597.685
AT ITER 3621 NEW BEST:: SOT 209471 SOS 75620 HAS SOPS 75620 HAS SOUS 49475 HAS SOUPS 49475 WITH SCORE 49550.62
AT ITER 3627 NEW BEST:: SOT 209467 SOS 75630 HAS SOPS 75630 HAS SOUS 49472 HAS SOUPS 49472 WITH SCORE 49547.63
AT ITER 3637 NEW BEST:: SOT 209478 SOS 75646 HAS SOPS 75646 HAS SOUS 49438 HAS SOUPS 49438 WITH SCORE 49513.646
AT ITER 3646 NEW BEST:: SOT 209477 SOS 75645 HAS SOPS 75645 HAS SOUS 49437 HAS SOUPS 49437 WITH SCORE 49512.645
AT ITER 3648 NEW BEST:: SOT 209433 SOS 75601 HAS SOPS 75601 HAS SOUS 49415 HAS SOUPS 49415 WITH SCORE 49490.601
AT ITER 3653 NEW BEST:: SOT 209373 SOS 75524 HAS SOPS 75524 HAS SOUS 49266 HAS SOUPS 49266 WITH SCORE 49341.524
AT ITER 3662 NEW BEST:: SOT 209368 SOS 75519 HAS SOPS 75519 HAS SOUS 49261 HAS SOUPS 49261 WITH SCORE 49336.519
AT ITER 3681 NEW BEST:: SOT 209359 SOS 75501 HAS SOPS 75501 HAS SOUS 49243 HAS SOUPS 49243 WITH SCORE 49318.501
AT ITER 3741 NEW BEST:: SOT 209453 SOS 75568 HAS SOPS 75568 HAS SOUS 49242 HAS SOUPS 49242 WITH SCORE 49317.568
AT ITER 3785 NEW BEST:: SOT 209377 SOS 75420 HAS SOPS 75420 HAS SOUS 49100 HAS SOUPS 49100 WITH SCORE 49175.42
AT ITER 3813 NEW BEST:: SOT 209472 SOS 75392 HAS SOPS 75392 HAS SOUS 49072 HAS SOUPS 49072 WITH SCORE 49147.392
AT ITER 3836 NEW BEST:: SOT 209474 SOS 75384 HAS SOPS 75384 HAS SOUS 49064 HAS SOUPS 49064 WITH SCORE 49139.384
AT ITER 3848 NEW BEST:: SOT 209449 SOS 75354 HAS SOPS 75354 HAS SOUS 49034 HAS SOUPS 49034 WITH SCORE 49109.354
AT ITER 3849 NEW BEST:: SOT 209449 SOS 75250 HAS SOPS 75250 HAS SOUS 49028 HAS SOUPS 49028 WITH SCORE 49103.25
AT ITER 3857 NEW BEST:: SOT 209428 SOS 75213 HAS SOPS 75213 HAS SOUS 48991 HAS SOUPS 48991 WITH SCORE 49066.213
AT ITER 3870 NEW BEST:: SOT 209389 SOS 75095 HAS SOPS 75095 HAS SOUS 48927 HAS SOUPS 48927 WITH SCORE 49002.095
AT ITER 3898 NEW BEST:: SOT 209389 SOS 73726 HAS SOPS 73726 HAS SOUS 48926 HAS SOUPS 48926 WITH SCORE 48999.726
AT ITER 3936 NEW BEST:: SOT 209389 SOS 73725 HAS SOPS 73725 HAS SOUS 48925 HAS SOUPS 48925 WITH SCORE 48998.725
AT ITER 3950 NEW BEST:: SOT 209492 SOS 73828 HAS SOPS 73828 HAS SOUS 48907 HAS SOUPS 48907 WITH SCORE 48980.828
AT ITER 3978 NEW BEST:: SOT 209493 SOS 73816 HAS SOPS 73816 HAS SOUS 48895 HAS SOUPS 48895 WITH SCORE 48968.816
AT ITER 3981 NEW BEST:: SOT 209293 SOS 73605 HAS SOPS 73605 HAS SOUS 48684 HAS SOUPS 48684 WITH SCORE 48757.605
AT ITER 3988 NEW BEST:: SOT 209276 SOS 73571 HAS SOPS 73571 HAS SOUS 48650 HAS SOUPS 48650 WITH SCORE 48723.571
AT ITER 4000 NEW BEST:: SOT 209276 SOS 73559 HAS SOPS 73559 HAS SOUS 48638 HAS SOUPS 48638 WITH SCORE 48711.559
AT ITER 4003 NEW BEST:: SOT 209270 SOS 73554 HAS SOPS 73554 HAS SOUS 48633 HAS SOUPS 48633 WITH SCORE 48706.554
AT ITER 4012 NEW BEST:: SOT 209270 SOS 73516 HAS SOPS 73516 HAS SOUS 48620 HAS SOUPS 48620 WITH SCORE 48693.516
AT ITER 4036 NEW BEST:: SOT 209270 SOS 73495 HAS SOPS 73495 HAS SOUS 48599 HAS SOUPS 48599 WITH SCORE 48672.495
AT ITER 4067 NEW BEST:: SOT 209245 SOS 73470 HAS SOPS 73470 HAS SOUS 48574 HAS SOUPS 48574 WITH SCORE 48647.47
AT ITER 4109 NEW BEST:: SOT 209314 SOS 73467 HAS SOPS 73467 HAS SOUS 48571 HAS SOUPS 48571 WITH SCORE 48644.467
AT ITER 4111 NEW BEST:: SOT 209279 SOS 73460 HAS SOPS 73460 HAS SOUS 48564 HAS SOUPS 48564 WITH SCORE 48637.46
AT ITER 4121 NEW BEST:: SOT 209267 SOS 73424 HAS SOPS 73424 HAS SOUS 48528 HAS SOUPS 48528 WITH SCORE 48601.424
AT ITER 4154 NEW BEST:: SOT 209288 SOS 73445 HAS SOPS 73445 HAS SOUS 48518 HAS SOUPS 48518 WITH SCORE 48591.445
AT ITER 4168 NEW BEST:: SOT 209180 SOS 73251 HAS SOPS 73251 HAS SOUS 48324 HAS SOUPS 48324 WITH SCORE 48397.251
AT ITER 4171 NEW BEST:: SOT 209177 SOS 73249 HAS SOPS 73249 HAS SOUS 48322 HAS SOUPS 48322 WITH SCORE 48395.249
AT ITER 4173 NEW BEST:: SOT 209177 SOS 73210 HAS SOPS 73210 HAS SOUS 48283 HAS SOUPS 48283 WITH SCORE 48356.21
AT ITER 4181 NEW BEST:: SOT 209186 SOS 73201 HAS SOPS 73201 HAS SOUS 48283 HAS SOUPS 48283 WITH SCORE 48356.201
AT ITER 4204 NEW BEST:: SOT 209183 SOS 73198 HAS SOPS 73198 HAS SOUS 48280 HAS SOUPS 48280 WITH SCORE 48353.198
AT ITER 4227 NEW BEST:: SOT 209183 SOS 73184 HAS SOPS 73184 HAS SOUS 48280 HAS SOUPS 48280 WITH SCORE 48353.184
AT ITER 4229 NEW BEST:: SOT 209183 SOS 73184 HAS SOPS 73184 HAS SOUS 48267 HAS SOUPS 48267 WITH SCORE 48340.184
AT ITER 4259 NEW BEST:: SOT 209182 SOS 73180 HAS SOPS 73180 HAS SOUS 48263 HAS SOUPS 48263 WITH SCORE 48336.18
AT ITER 4266 NEW BEST:: SOT 209059 SOS 73005 HAS SOPS 73005 HAS SOUS 48088 HAS SOUPS 48088 WITH SCORE 48161.005
AT ITER 4268 NEW BEST:: SOT 209026 SOS 72768 HAS SOPS 72768 HAS SOUS 47930 HAS SOUPS 47930 WITH SCORE 48002.768
AT ITER 4277 NEW BEST:: SOT 208919 SOS 72661 HAS SOPS 72661 HAS SOUS 47823 HAS SOUPS 47823 WITH SCORE 47895.661
AT ITER 4282 NEW BEST:: SOT 208916 SOS 72646 HAS SOPS 72646 HAS SOUS 47821 HAS SOUPS 47821 WITH SCORE 47893.646
AT ITER 4286 NEW BEST:: SOT 208886 SOS 72611 HAS SOPS 72611 HAS SOUS 47799 HAS SOUPS 47799 WITH SCORE 47871.611
AT ITER 4291 NEW BEST:: SOT 208862 SOS 72597 HAS SOPS 72597 HAS SOUS 47785 HAS SOUPS 47785 WITH SCORE 47857.597
AT ITER 4308 NEW BEST:: SOT 208857 SOS 72576 HAS SOPS 72576 HAS SOUS 47780 HAS SOUPS 47780 WITH SCORE 47852.576
AT ITER 4325 NEW BEST:: SOT 208853 SOS 72564 HAS SOPS 72564 HAS SOUS 47768 HAS SOUPS 47768 WITH SCORE 47840.564
AT ITER 4389 NEW BEST:: SOT 208851 SOS 72560 HAS SOPS 72560 HAS SOUS 47729 HAS SOUPS 47729 WITH SCORE 47801.56
AT ITER 4396 NEW BEST:: SOT 208851 SOS 72584 HAS SOPS 72584 HAS SOUS 47725 HAS SOUPS 47725 WITH SCORE 47797.584
AT ITER 4415 NEW BEST:: SOT 208831 SOS 72544 HAS SOPS 72544 HAS SOUS 47705 HAS SOUPS 47705 WITH SCORE 47777.544
AT ITER 4433 NEW BEST:: SOT 208825 SOS 72532 HAS SOPS 72532 HAS SOUS 47693 HAS SOUPS 47693 WITH SCORE 47765.532
AT ITER 4454 NEW BEST:: SOT 208825 SOS 72513 HAS SOPS 72513 HAS SOUS 47674 HAS SOUPS 47674 WITH SCORE 47746.513
AT ITER 4458 NEW BEST:: SOT 208824 SOS 72511 HAS SOPS 72511 HAS SOUS 47672 HAS SOUPS 47672 WITH SCORE 47744.511
AT ITER 4466 NEW BEST:: SOT 208824 SOS 72535 HAS SOPS 72535 HAS SOUS 47660 HAS SOUPS 47660 WITH SCORE 47732.535
AT ITER 4481 NEW BEST:: SOT 208824 SOS 72459 HAS SOPS 72459 HAS SOUS 47643 HAS SOUPS 47643 WITH SCORE 47715.459
AT ITER 4529 NEW BEST:: SOT 208814 SOS 72439 HAS SOPS 72439 HAS SOUS 47623 HAS SOUPS 47623 WITH SCORE 47695.439
AT ITER 4539 NEW BEST:: SOT 208699 SOS 72381 HAS SOPS 72381 HAS SOUS 47565 HAS SOUPS 47565 WITH SCORE 47637.381
AT ITER 4540 NEW BEST:: SOT 208569 SOS 72241 HAS SOPS 72241 HAS SOUS 47385 HAS SOUPS 47385 WITH SCORE 47457.241
AT ITER 4547 NEW BEST:: SOT 208569 SOS 71949 HAS SOPS 71949 HAS SOUS 47385 HAS SOUPS 47385 WITH SCORE 47456.949
AT ITER 4550 NEW BEST:: SOT 208569 SOS 71930 HAS SOPS 71930 HAS SOUS 47366 HAS SOUPS 47366 WITH SCORE 47437.93
AT ITER 4571 NEW BEST:: SOT 208566 SOS 71924 HAS SOPS 71924 HAS SOUS 47363 HAS SOUPS 47363 WITH SCORE 47434.924
AT ITER 4581 NEW BEST:: SOT 208562 SOS 71916 HAS SOPS 71916 HAS SOUS 47355 HAS SOUPS 47355 WITH SCORE 47426.916
AT ITER 4589 NEW BEST:: SOT 208541 SOS 71895 HAS SOPS 71895 HAS SOUS 47334 HAS SOUPS 47334 WITH SCORE 47405.895
AT ITER 4590 NEW BEST:: SOT 208465 SOS 71819 HAS SOPS 71819 HAS SOUS 47257 HAS SOUPS 47257 WITH SCORE 47328.819
AT ITER 4632 NEW BEST:: SOT 208465 SOS 71812 HAS SOPS 71812 HAS SOUS 47250 HAS SOUPS 47250 WITH SCORE 47321.812
AT ITER 4674 NEW BEST:: SOT 208451 SOS 71770 HAS SOPS 71770 HAS SOUS 47222 HAS SOUPS 47222 WITH SCORE 47293.77
AT ITER 4678 NEW BEST:: SOT 208321 SOS 71510 HAS SOPS 71510 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47257.51
AT ITER 4695 NEW BEST:: SOT 208389 SOS 71478 HAS SOPS 71478 HAS SOUS 47154 HAS SOUPS 47154 WITH SCORE 47225.478
AT ITER 4744 NEW BEST:: SOT 208452 SOS 71501 HAS SOPS 71501 HAS SOUS 47074 HAS SOUPS 47074 WITH SCORE 47145.501
AT ITER 4767 NEW BEST:: SOT 208441 SOS 71500 HAS SOPS 71500 HAS SOUS 47073 HAS SOUPS 47073 WITH SCORE 47144.5
AT ITER 4783 NEW BEST:: SOT 208296 SOS 71327 HAS SOPS 71327 HAS SOUS 47017 HAS SOUPS 47017 WITH SCORE 47088.327
AT ITER 4838 NEW BEST:: SOT 208277 SOS 71275 HAS SOPS 71275 HAS SOUS 46965 HAS SOUPS 46965 WITH SCORE 47036.275
AT ITER 4841 NEW BEST:: SOT 208277 SOS 71282 HAS SOPS 71282 HAS SOUS 46964 HAS SOUPS 46964 WITH SCORE 47035.282
AT ITER 4845 NEW BEST:: SOT 208218 SOS 71164 HAS SOPS 71164 HAS SOUS 46846 HAS SOUPS 46846 WITH SCORE 46917.164
AT ITER 4855 NEW BEST:: SOT 208191 SOS 71148 HAS SOPS 71148 HAS SOUS 46830 HAS SOUPS 46830 WITH SCORE 46901.148
AT ITER 4878 NEW BEST:: SOT 208212 SOS 71144 HAS SOPS 71144 HAS SOUS 46826 HAS SOUPS 46826 WITH SCORE 46897.144
AT ITER 4924 NEW BEST:: SOT 208128 SOS 70976 HAS SOPS 70976 HAS SOUS 46660 HAS SOUPS 46660 WITH SCORE 46730.976
AT ITER 4941 NEW BEST:: SOT 208095 SOS 70943 HAS SOPS 70943 HAS SOUS 46642 HAS SOUPS 46642 WITH SCORE 46712.943
AT ITER 4985 NEW BEST:: SOT 207933 SOS 70589 HAS SOPS 70589 HAS SOUS 46534 HAS SOUPS 46534 WITH SCORE 46604.589
AT ITER 5001 NEW BEST:: SOT 207920 SOS 70576 HAS SOPS 70576 HAS SOUS 46534 HAS SOUPS 46534 WITH SCORE 46604.576
AT ITER 5004 NEW BEST:: SOT 207857 SOS 70480 HAS SOPS 70480 HAS SOUS 46438 HAS SOUPS 46438 WITH SCORE 46508.48
AT ITER 5012 NEW BEST:: SOT 207857 SOS 70480 HAS SOPS 70480 HAS SOUS 46433 HAS SOUPS 46433 WITH SCORE 46503.48
AT ITER 5017 NEW BEST:: SOT 207998 SOS 70612 HAS SOPS 70612 HAS SOUS 46405 HAS SOUPS 46405 WITH SCORE 46475.612
AT ITER 5037 NEW BEST:: SOT 207997 SOS 70610 HAS SOPS 70610 HAS SOUS 46403 HAS SOUPS 46403 WITH SCORE 46473.61
AT ITER 5079 NEW BEST:: SOT 207997 SOS 70595 HAS SOPS 70595 HAS SOUS 46403 HAS SOUPS 46403 WITH SCORE 46473.595
AT ITER 5104 NEW BEST:: SOT 207996 SOS 70594 HAS SOPS 70594 HAS SOUS 46402 HAS SOUPS 46402 WITH SCORE 46472.594
AT ITER 5115 NEW BEST:: SOT 207987 SOS 70576 HAS SOPS 70576 HAS SOUS 46377 HAS SOUPS 46377 WITH SCORE 46447.576
AT ITER 5119 NEW BEST:: SOT 207790 SOS 70379 HAS SOPS 70379 HAS SOUS 46307 HAS SOUPS 46307 WITH SCORE 46377.379
AT ITER 5125 NEW BEST:: SOT 207793 SOS 70379 HAS SOPS 70379 HAS SOUS 46304 HAS SOUPS 46304 WITH SCORE 46374.379
AT ITER 5132 NEW BEST:: SOT 207769 SOS 70326 HAS SOPS 70326 HAS SOUS 46168 HAS SOUPS 46168 WITH SCORE 46238.326
AT ITER 5133 NEW BEST:: SOT 207793 SOS 70282 HAS SOPS 70282 HAS SOUS 46124 HAS SOUPS 46124 WITH SCORE 46194.282
AT ITER 5172 NEW BEST:: SOT 207858 SOS 70347 HAS SOPS 70347 HAS SOUS 46113 HAS SOUPS 46113 WITH SCORE 46183.347
AT ITER 5180 NEW BEST:: SOT 207805 SOS 70241 HAS SOPS 70241 HAS SOUS 46069 HAS SOUPS 46069 WITH SCORE 46139.241
AT ITER 5201 NEW BEST:: SOT 207820 SOS 70236 HAS SOPS 70236 HAS SOUS 46064 HAS SOUPS 46064 WITH SCORE 46134.236
AT ITER 5208 NEW BEST:: SOT 207580 SOS 70004 HAS SOPS 70004 HAS SOUS 45991 HAS SOUPS 45991 WITH SCORE 46061.004
AT ITER 5238 NEW BEST:: SOT 207553 SOS 69977 HAS SOPS 69977 HAS SOUS 45991 HAS SOUPS 45991 WITH SCORE 46060.977
AT ITER 5240 NEW BEST:: SOT 207472 SOS 69884 HAS SOPS 69884 HAS SOUS 45968 HAS SOUPS 45968 WITH SCORE 46037.884
AT ITER 5255 NEW BEST:: SOT 207441 SOS 69822 HAS SOPS 69822 HAS SOUS 45937 HAS SOUPS 45937 WITH SCORE 46006.822
AT ITER 5262 NEW BEST:: SOT 207441 SOS 69810 HAS SOPS 69810 HAS SOUS 45925 HAS SOUPS 45925 WITH SCORE 45994.81
AT ITER 5308 NEW BEST:: SOT 207151 SOS 69472 HAS SOPS 69472 HAS SOUS 45872 HAS SOUPS 45872 WITH SCORE 45941.472
AT ITER 5312 NEW BEST:: SOT 207192 SOS 69491 HAS SOPS 69491 HAS SOUS 45828 HAS SOUPS 45828 WITH SCORE 45897.491
AT ITER 5313 NEW BEST:: SOT 207054 SOS 69350 HAS SOPS 69350 HAS SOUS 45809 HAS SOUPS 45809 WITH SCORE 45878.35
AT ITER 5316 NEW BEST:: SOT 207078 SOS 69314 HAS SOPS 69314 HAS SOUS 45802 HAS SOUPS 45802 WITH SCORE 45871.314
AT ITER 5399 NEW BEST:: SOT 207071 SOS 69300 HAS SOPS 69300 HAS SOUS 45793 HAS SOUPS 45793 WITH SCORE 45862.3
AT ITER 5444 NEW BEST:: SOT 207033 SOS 69253 HAS SOPS 69253 HAS SOUS 45746 HAS SOUPS 45746 WITH SCORE 45815.253
AT ITER 5459 NEW BEST:: SOT 207028 SOS 69248 HAS SOPS 69248 HAS SOUS 45741 HAS SOUPS 45741 WITH SCORE 45810.248
AT ITER 5460 NEW BEST:: SOT 206992 SOS 69212 HAS SOPS 69212 HAS SOUS 45705 HAS SOUPS 45705 WITH SCORE 45774.212
AT ITER 5468 NEW BEST:: SOT 207008 SOS 69244 HAS SOPS 69244 HAS SOUS 45692 HAS SOUPS 45692 WITH SCORE 45761.244
AT ITER 5484 NEW BEST:: SOT 206987 SOS 69228 HAS SOPS 69228 HAS SOUS 45676 HAS SOUPS 45676 WITH SCORE 45745.228
AT ITER 5506 NEW BEST:: SOT 206962 SOS 69178 HAS SOPS 69178 HAS SOUS 45626 HAS SOUPS 45626 WITH SCORE 45695.178
AT ITER 5557 NEW BEST:: SOT 206758 SOS 68975 HAS SOPS 68975 HAS SOUS 45423 HAS SOUPS 45423 WITH SCORE 45491.975
AT ITER 5576 NEW BEST:: SOT 206745 SOS 69001 HAS SOPS 69001 HAS SOUS 45410 HAS SOUPS 45410 WITH SCORE 45479.001
AT ITER 5623 NEW BEST:: SOT 206720 SOS 68882 HAS SOPS 68882 HAS SOUS 45291 HAS SOUPS 45291 WITH SCORE 45359.882
AT ITER 5643 NEW BEST:: SOT 206678 SOS 68840 HAS SOPS 68840 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45317.84
AT ITER 5667 NEW BEST:: SOT 206678 SOS 68766 HAS SOPS 68766 HAS SOUS 45222 HAS SOUPS 45222 WITH SCORE 45290.766
AT ITER 5681 NEW BEST:: SOT 206662 SOS 68734 HAS SOPS 68734 HAS SOUS 45206 HAS SOUPS 45206 WITH SCORE 45274.734
AT ITER 5687 NEW BEST:: SOT 206643 SOS 68733 HAS SOPS 68733 HAS SOUS 45205 HAS SOUPS 45205 WITH SCORE 45273.733
AT ITER 5689 NEW BEST:: SOT 206646 SOS 68608 HAS SOPS 68608 HAS SOUS 45132 HAS SOUPS 45132 WITH SCORE 45200.608
AT ITER 5718 NEW BEST:: SOT 206577 SOS 68510 HAS SOPS 68510 HAS SOUS 45103 HAS SOUPS 45103 WITH SCORE 45171.51
AT ITER 5758 NEW BEST:: SOT 206553 SOS 68484 HAS SOPS 68484 HAS SOUS 45077 HAS SOUPS 45077 WITH SCORE 45145.484
AT ITER 5760 NEW BEST:: SOT 206498 SOS 68429 HAS SOPS 68429 HAS SOUS 45022 HAS SOUPS 45022 WITH SCORE 45090.429
AT ITER 5765 NEW BEST:: SOT 206464 SOS 68335 HAS SOPS 68335 HAS SOUS 44962 HAS SOUPS 44962 WITH SCORE 45030.335
AT ITER 5767 NEW BEST:: SOT 206352 SOS 68221 HAS SOPS 68221 HAS SOUS 44848 HAS SOUPS 44848 WITH SCORE 44916.221
AT ITER 5794 NEW BEST:: SOT 206345 SOS 68207 HAS SOPS 68207 HAS SOUS 44841 HAS SOUPS 44841 WITH SCORE 44909.207
AT ITER 5819 NEW BEST:: SOT 206373 SOS 60731 HAS SOPS 60731 HAS SOUS 44842 HAS SOUPS 44842 WITH SCORE 44902.731
AT ITER 5821 NEW BEST:: SOT 206324 SOS 60682 HAS SOPS 60682 HAS SOUS 44842 HAS SOUPS 44842 WITH SCORE 44902.682
AT ITER 5823 NEW BEST:: SOT 206318 SOS 60670 HAS SOPS 60670 HAS SOUS 44830 HAS SOUPS 44830 WITH SCORE 44890.67
AT ITER 5829 NEW BEST:: SOT 206320 SOS 60639 HAS SOPS 60639 HAS SOUS 44750 HAS SOUPS 44750 WITH SCORE 44810.639
AT ITER 5839 NEW BEST:: SOT 206323 SOS 60645 HAS SOPS 60645 HAS SOUS 44691 HAS SOUPS 44691 WITH SCORE 44751.645
AT ITER 5851 NEW BEST:: SOT 206306 SOS 60618 HAS SOPS 60618 HAS SOUS 44664 HAS SOUPS 44664 WITH SCORE 44724.618
AT ITER 5876 NEW BEST:: SOT 206332 SOS 60603 HAS SOPS 60603 HAS SOUS 44649 HAS SOUPS 44649 WITH SCORE 44709.603
AT ITER 5901 NEW BEST:: SOT 206313 SOS 60546 HAS SOPS 60546 HAS SOUS 44611 HAS SOUPS 44611 WITH SCORE 44671.546
AT ITER 5918 NEW BEST:: SOT 206306 SOS 60514 HAS SOPS 60514 HAS SOUS 44611 HAS SOUPS 44611 WITH SCORE 44671.514
AT ITER 5945 NEW BEST:: SOT 206272 SOS 60460 HAS SOPS 60460 HAS SOUS 44557 HAS SOUPS 44557 WITH SCORE 44617.46
AT ITER 5958 NEW BEST:: SOT 206228 SOS 60394 HAS SOPS 60394 HAS SOUS 44513 HAS SOUPS 44513 WITH SCORE 44573.394
AT ITER 5971 NEW BEST:: SOT 206183 SOS 60349 HAS SOPS 60349 HAS SOUS 44459 HAS SOUPS 44459 WITH SCORE 44519.349
AT ITER 5974 NEW BEST:: SOT 206179 SOS 60341 HAS SOPS 60341 HAS SOUS 44451 HAS SOUPS 44451 WITH SCORE 44511.341
AT ITER 5982 NEW BEST:: SOT 206172 SOS 60327 HAS SOPS 60327 HAS SOUS 44414 HAS SOUPS 44414 WITH SCORE 44474.327
AT ITER 6011 NEW BEST:: SOT 206079 SOS 60234 HAS SOPS 60234 HAS SOUS 44414 HAS SOUPS 44414 WITH SCORE 44474.234
AT ITER 6063 NEW BEST:: SOT 206058 SOS 60202 HAS SOPS 60202 HAS SOUS 44382 HAS SOUPS 44382 WITH SCORE 44442.202
AT ITER 6087 NEW BEST:: SOT 206057 SOS 60200 HAS SOPS 60200 HAS SOUS 44380 HAS SOUPS 44380 WITH SCORE 44440.2
AT ITER 6116 NEW BEST:: SOT 206057 SOS 60195 HAS SOPS 60195 HAS SOUS 44375 HAS SOUPS 44375 WITH SCORE 44435.195
AT ITER 6117 NEW BEST:: SOT 205922 SOS 60021 HAS SOPS 60021 HAS SOUS 44331 HAS SOUPS 44331 WITH SCORE 44391.021
AT ITER 6126 NEW BEST:: SOT 205921 SOS 60020 HAS SOPS 60020 HAS SOUS 44330 HAS SOUPS 44330 WITH SCORE 44390.02
AT ITER 6153 NEW BEST:: SOT 205911 SOS 59957 HAS SOPS 59957 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44326.957
AT ITER 6177 NEW BEST:: SOT 205910 SOS 59955 HAS SOPS 59955 HAS SOUS 44265 HAS SOUPS 44265 WITH SCORE 44324.955
AT ITER 6215 NEW BEST:: SOT 205853 SOS 59910 HAS SOPS 59910 HAS SOUS 44220 HAS SOUPS 44220 WITH SCORE 44279.91
AT ITER 6222 NEW BEST:: SOT 205853 SOS 59906 HAS SOPS 59906 HAS SOUS 44216 HAS SOUPS 44216 WITH SCORE 44275.906
AT ITER 6223 NEW BEST:: SOT 205798 SOS 59796 HAS SOPS 59796 HAS SOUS 44175 HAS SOUPS 44175 WITH SCORE 44234.796
AT ITER 6267 NEW BEST:: SOT 205791 SOS 59792 HAS SOPS 59792 HAS SOUS 44171 HAS SOUPS 44171 WITH SCORE 44230.792
AT ITER 6272 NEW BEST:: SOT 205779 SOS 59780 HAS SOPS 59780 HAS SOUS 44159 HAS SOUPS 44159 WITH SCORE 44218.78
AT ITER 6329 NEW BEST:: SOT 205763 SOS 59764 HAS SOPS 59764 HAS SOUS 44143 HAS SOUPS 44143 WITH SCORE 44202.764
AT ITER 6351 NEW BEST:: SOT 205755 SOS 59748 HAS SOPS 59748 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44194.748
AT ITER 6362 NEW BEST:: SOT 205750 SOS 59743 HAS SOPS 59743 HAS SOUS 44130 HAS SOUPS 44130 WITH SCORE 44189.743
AT ITER 6374 NEW BEST:: SOT 205747 SOS 59740 HAS SOPS 59740 HAS SOUS 44124 HAS SOUPS 44124 WITH SCORE 44183.74
AT ITER 6378 NEW BEST:: SOT 205722 SOS 59672 HAS SOPS 59672 HAS SOUS 44099 HAS SOUPS 44099 WITH SCORE 44158.672
AT ITER 6379 NEW BEST:: SOT 205634 SOS 59584 HAS SOPS 59584 HAS SOUS 44011 HAS SOUPS 44011 WITH SCORE 44070.584
AT ITER 6416 NEW BEST:: SOT 205587 SOS 59544 HAS SOPS 59544 HAS SOUS 43998 HAS SOUPS 43998 WITH SCORE 44057.544
AT ITER 6422 NEW BEST:: SOT 205539 SOS 59496 HAS SOPS 59496 HAS SOUS 43950 HAS SOUPS 43950 WITH SCORE 44009.496
AT ITER 6471 NEW BEST:: SOT 205536 SOS 59490 HAS SOPS 59490 HAS SOUS 43944 HAS SOUPS 43944 WITH SCORE 44003.49
AT ITER 6475 NEW BEST:: SOT 205559 SOS 59466 HAS SOPS 59466 HAS SOUS 43920 HAS SOUPS 43920 WITH SCORE 43979.466
AT ITER 6480 NEW BEST:: SOT 205552 SOS 59459 HAS SOPS 59459 HAS SOUS 43913 HAS SOUPS 43913 WITH SCORE 43972.459
AT ITER 6551 NEW BEST:: SOT 205549 SOS 59453 HAS SOPS 59453 HAS SOUS 43910 HAS SOUPS 43910 WITH SCORE 43969.453
AT ITER 6558 NEW BEST:: SOT 205564 SOS 59459 HAS SOPS 59459 HAS SOUS 43901 HAS SOUPS 43901 WITH SCORE 43960.459
AT ITER 6569 NEW BEST:: SOT 205562 SOS 59455 HAS SOPS 59455 HAS SOUS 43897 HAS SOUPS 43897 WITH SCORE 43956.455
AT ITER 6607 NEW BEST:: SOT 205562 SOS 59455 HAS SOPS 59455 HAS SOUS 43851 HAS SOUPS 43851 WITH SCORE 43910.455
AT ITER 6622 NEW BEST:: SOT 205542 SOS 59435 HAS SOPS 59435 HAS SOUS 43831 HAS SOUPS 43831 WITH SCORE 43890.435
AT ITER 6654 NEW BEST:: SOT 205516 SOS 59409 HAS SOPS 59409 HAS SOUS 43806 HAS SOUPS 43806 WITH SCORE 43865.409
AT ITER 6683 NEW BEST:: SOT 205382 SOS 59238 HAS SOPS 59238 HAS SOUS 43635 HAS SOUPS 43635 WITH SCORE 43694.238
AT ITER 6684 NEW BEST:: SOT 205382 SOS 59234 HAS SOPS 59234 HAS SOUS 43631 HAS SOUPS 43631 WITH SCORE 43690.234
AT ITER 6687 NEW BEST:: SOT 205368 SOS 59131 HAS SOPS 59131 HAS SOUS 43499 HAS SOUPS 43499 WITH SCORE 43558.131
AT ITER 6733 NEW BEST:: SOT 205315 SOS 59025 HAS SOPS 59025 HAS SOUS 43393 HAS SOUPS 43393 WITH SCORE 43452.025
AT ITER 6735 NEW BEST:: SOT 205298 SOS 59008 HAS SOPS 59008 HAS SOUS 43381 HAS SOUPS 43381 WITH SCORE 43440.008
AT ITER 6743 NEW BEST:: SOT 205284 SOS 58980 HAS SOPS 58980 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43425.98
AT ITER 6747 NEW BEST:: SOT 205284 SOS 58980 HAS SOPS 58980 HAS SOUS 43346 HAS SOUPS 43346 WITH SCORE 43404.98
AT ITER 6778 NEW BEST:: SOT 205277 SOS 58973 HAS SOPS 58973 HAS SOUS 43339 HAS SOUPS 43339 WITH SCORE 43397.973
AT ITER 6787 NEW BEST:: SOT 205276 SOS 58971 HAS SOPS 58971 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43395.971
AT ITER 6847 NEW BEST:: SOT 205276 SOS 58969 HAS SOPS 58969 HAS SOUS 43335 HAS SOUPS 43335 WITH SCORE 43393.969
AT ITER 6935 NEW BEST:: SOT 205276 SOS 58964 HAS SOPS 58964 HAS SOUS 43330 HAS SOUPS 43330 WITH SCORE 43388.964
AT ITER 6946 NEW BEST:: SOT 205275 SOS 58953 HAS SOPS 58953 HAS SOUS 43309 HAS SOUPS 43309 WITH SCORE 43367.953
AT ITER 6953 NEW BEST:: SOT 205254 SOS 58911 HAS SOPS 58911 HAS SOUS 43267 HAS SOUPS 43267 WITH SCORE 43325.911
AT ITER 6966 NEW BEST:: SOT 205239 SOS 58908 HAS SOPS 58908 HAS SOUS 43264 HAS SOUPS 43264 WITH SCORE 43322.908
AT ITER 6979 NEW BEST:: SOT 205239 SOS 58903 HAS SOPS 58903 HAS SOUS 43259 HAS SOUPS 43259 WITH SCORE 43317.903
AT ITER 6993 NEW BEST:: SOT 205241 SOS 58890 HAS SOPS 58890 HAS SOUS 43246 HAS SOUPS 43246 WITH SCORE 43304.89
AT ITER 7032 NEW BEST:: SOT 205333 SOS 58854 HAS SOPS 58854 HAS SOUS 43210 HAS SOUPS 43210 WITH SCORE 43268.854
AT ITER 7040 NEW BEST:: SOT 205347 SOS 58882 HAS SOPS 58882 HAS SOUS 43134 HAS SOUPS 43134 WITH SCORE 43192.882
AT ITER 7046 NEW BEST:: SOT 205339 SOS 58874 HAS SOPS 58874 HAS SOUS 43126 HAS SOUPS 43126 WITH SCORE 43184.874
AT ITER 7088 NEW BEST:: SOT 205342 SOS 58864 HAS SOPS 58864 HAS SOUS 43116 HAS SOUPS 43116 WITH SCORE 43174.864
AT ITER 7124 NEW BEST:: SOT 205339 SOS 58858 HAS SOPS 58858 HAS SOUS 43113 HAS SOUPS 43113 WITH SCORE 43171.858
AT ITER 7163 NEW BEST:: SOT 205339 SOS 58835 HAS SOPS 58835 HAS SOUS 43090 HAS SOUPS 43090 WITH SCORE 43148.835
AT ITER 7171 NEW BEST:: SOT 205223 SOS 58702 HAS SOPS 58702 HAS SOUS 43076 HAS SOUPS 43076 WITH SCORE 43134.702
AT ITER 7210 NEW BEST:: SOT 205177 SOS 58610 HAS SOPS 58610 HAS SOUS 42984 HAS SOUPS 42984 WITH SCORE 43042.61
AT ITER 7221 NEW BEST:: SOT 205167 SOS 58590 HAS SOPS 58590 HAS SOUS 42964 HAS SOUPS 42964 WITH SCORE 43022.59
AT ITER 7229 NEW BEST:: SOT 205167 SOS 58590 HAS SOPS 58590 HAS SOUS 42937 HAS SOUPS 42937 WITH SCORE 42995.59
AT ITER 7258 NEW BEST:: SOT 205146 SOS 58569 HAS SOPS 58569 HAS SOUS 42916 HAS SOUPS 42916 WITH SCORE 42974.569
AT ITER 7301 NEW BEST:: SOT 205046 SOS 58593 HAS SOPS 58593 HAS SOUS 42818 HAS SOUPS 42818 WITH SCORE 42876.593
AT ITER 7362 NEW BEST:: SOT 205024 SOS 58549 HAS SOPS 58549 HAS SOUS 42774 HAS SOUPS 42774 WITH SCORE 42832.549
AT ITER 7419 NEW BEST:: SOT 205005 SOS 58511 HAS SOPS 58511 HAS SOUS 42755 HAS SOUPS 42755 WITH SCORE 42813.511
AT ITER 7435 NEW BEST:: SOT 204981 SOS 58468 HAS SOPS 58468 HAS SOUS 42712 HAS SOUPS 42712 WITH SCORE 42770.468
AT ITER 7438 NEW BEST:: SOT 205013 SOS 58469 HAS SOPS 58469 HAS SOUS 42674 HAS SOUPS 42674 WITH SCORE 42732.469
AT ITER 7502 NEW BEST:: SOT 204999 SOS 58138 HAS SOPS 58138 HAS SOUS 42673 HAS SOUPS 42673 WITH SCORE 42731.138
AT ITER 7525 NEW BEST:: SOT 204997 SOS 58116 HAS SOPS 58116 HAS SOUS 42669 HAS SOUPS 42669 WITH SCORE 42727.116
AT ITER 7526 NEW BEST:: SOT 204858 SOS 57916 HAS SOPS 57916 HAS SOUS 42547 HAS SOUPS 42547 WITH SCORE 42604.916
AT ITER 7537 NEW BEST:: SOT 204922 SOS 57541 HAS SOPS 57541 HAS SOUS 42439 HAS SOUPS 42439 WITH SCORE 42496.541
AT ITER 7617 NEW BEST:: SOT 204920 SOS 57537 HAS SOPS 57537 HAS SOUS 42435 HAS SOUPS 42435 WITH SCORE 42492.537
AT ITER 7649 NEW BEST:: SOT 204916 SOS 57529 HAS SOPS 57529 HAS SOUS 42423 HAS SOUPS 42423 WITH SCORE 42480.529
AT ITER 7676 NEW BEST:: SOT 204856 SOS 57469 HAS SOPS 57469 HAS SOUS 42363 HAS SOUPS 42363 WITH SCORE 42420.469
AT ITER 7680 NEW BEST:: SOT 204847 SOS 57460 HAS SOPS 57460 HAS SOUS 42354 HAS SOUPS 42354 WITH SCORE 42411.46
AT ITER 7696 NEW BEST:: SOT 204829 SOS 57424 HAS SOPS 57424 HAS SOUS 42318 HAS SOUPS 42318 WITH SCORE 42375.424
AT ITER 7735 NEW BEST:: SOT 204838 SOS 57418 HAS SOPS 57418 HAS SOUS 42311 HAS SOUPS 42311 WITH SCORE 42368.418
AT ITER 7794 NEW BEST:: SOT 204829 SOS 57391 HAS SOPS 57391 HAS SOUS 42293 HAS SOUPS 42293 WITH SCORE 42350.391
AT ITER 7799 NEW BEST:: SOT 204819 SOS 57376 HAS SOPS 57376 HAS SOUS 42283 HAS SOUPS 42283 WITH SCORE 42340.376
AT ITER 7803 NEW BEST:: SOT 204779 SOS 57336 HAS SOPS 57336 HAS SOUS 42243 HAS SOUPS 42243 WITH SCORE 42300.336
AT ITER 7806 NEW BEST:: SOT 204779 SOS 57336 HAS SOPS 57336 HAS SOUS 42234 HAS SOUPS 42234 WITH SCORE 42291.336
AT ITER 7827 NEW BEST:: SOT 204782 SOS 57334 HAS SOPS 57334 HAS SOUS 42232 HAS SOUPS 42232 WITH SCORE 42289.334
AT ITER 7830 NEW BEST:: SOT 204782 SOS 57332 HAS SOPS 57332 HAS SOUS 42230 HAS SOUPS 42230 WITH SCORE 42287.332
AT ITER 7835 NEW BEST:: SOT 204767 SOS 57209 HAS SOPS 57209 HAS SOUS 42161 HAS SOUPS 42161 WITH SCORE 42218.209
AT ITER 7852 NEW BEST:: SOT 204763 SOS 57201 HAS SOPS 57201 HAS SOUS 42153 HAS SOUPS 42153 WITH SCORE 42210.201
AT ITER 7874 NEW BEST:: SOT 204761 SOS 57199 HAS SOPS 57199 HAS SOUS 42151 HAS SOUPS 42151 WITH SCORE 42208.199
AT ITER 7890 NEW BEST:: SOT 204713 SOS 57173 HAS SOPS 57173 HAS SOUS 42125 HAS SOUPS 42125 WITH SCORE 42182.173
AT ITER 7911 NEW BEST:: SOT 204708 SOS 57151 HAS SOPS 57151 HAS SOUS 42112 HAS SOUPS 42112 WITH SCORE 42169.151
AT ITER 7916 NEW BEST:: SOT 204712 SOS 57149 HAS SOPS 57149 HAS SOUS 42110 HAS SOUPS 42110 WITH SCORE 42167.149
AT ITER 7931 NEW BEST:: SOT 204712 SOS 57131 HAS SOPS 57131 HAS SOUS 42101 HAS SOUPS 42101 WITH SCORE 42158.131
AT ITER 7934 NEW BEST:: SOT 204792 SOS 57208 HAS SOPS 57208 HAS SOUS 42095 HAS SOUPS 42095 WITH SCORE 42152.208
AT ITER 7935 NEW BEST:: SOT 204750 SOS 57124 HAS SOPS 57124 HAS SOUS 42011 HAS SOUPS 42011 WITH SCORE 42068.124
AT ITER 7965 NEW BEST:: SOT 204749 SOS 57123 HAS SOPS 57123 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42067.123
AT ITER 7980 NEW BEST:: SOT 204721 SOS 57118 HAS SOPS 57118 HAS SOUS 42005 HAS SOUPS 42005 WITH SCORE 42062.118
AT ITER 8007 NEW BEST:: SOT 204726 SOS 57128 HAS SOPS 57128 HAS SOUS 41997 HAS SOUPS 41997 WITH SCORE 42054.128
AT ITER 8027 NEW BEST:: SOT 204716 SOS 57118 HAS SOPS 57118 HAS SOUS 41987 HAS SOUPS 41987 WITH SCORE 42044.118
AT ITER 8038 NEW BEST:: SOT 204716 SOS 57107 HAS SOPS 57107 HAS SOUS 41976 HAS SOUPS 41976 WITH SCORE 42033.107
AT ITER 8066 NEW BEST:: SOT 204705 SOS 57096 HAS SOPS 57096 HAS SOUS 41965 HAS SOUPS 41965 WITH SCORE 42022.096
AT ITER 8077 NEW BEST:: SOT 204681 SOS 57024 HAS SOPS 57024 HAS SOUS 41907 HAS SOUPS 41907 WITH SCORE 41964.024
AT ITER 8107 NEW BEST:: SOT 204681 SOS 57017 HAS SOPS 57017 HAS SOUS 41900 HAS SOUPS 41900 WITH SCORE 41957.017
AT ITER 8153 NEW BEST:: SOT 204656 SOS 56992 HAS SOPS 56992 HAS SOUS 41851 HAS SOUPS 41851 WITH SCORE 41907.992
AT ITER 8185 NEW BEST:: SOT 204656 SOS 56950 HAS SOPS 56950 HAS SOUS 41809 HAS SOUPS 41809 WITH SCORE 41865.95
AT ITER 8193 NEW BEST:: SOT 204648 SOS 56862 HAS SOPS 56862 HAS SOUS 41721 HAS SOUPS 41721 WITH SCORE 41777.862
AT ITER 8197 NEW BEST:: SOT 204648 SOS 56805 HAS SOPS 56805 HAS SOUS 41664 HAS SOUPS 41664 WITH SCORE 41720.805
AT ITER 8214 NEW BEST:: SOT 204648 SOS 56781 HAS SOPS 56781 HAS SOUS 41640 HAS SOUPS 41640 WITH SCORE 41696.781
AT ITER 8274 NEW BEST:: SOT 204642 SOS 56769 HAS SOPS 56769 HAS SOUS 41628 HAS SOUPS 41628 WITH SCORE 41684.769
AT ITER 8275 NEW BEST:: SOT 204640 SOS 56778 HAS SOPS 56778 HAS SOUS 41624 HAS SOUPS 41624 WITH SCORE 41680.778
AT ITER 8316 NEW BEST:: SOT 204559 SOS 56736 HAS SOPS 56736 HAS SOUS 41551 HAS SOUPS 41551 WITH SCORE 41607.736
AT ITER 8323 NEW BEST:: SOT 204499 SOS 56646 HAS SOPS 56646 HAS SOUS 41482 HAS SOUPS 41482 WITH SCORE 41538.646
AT ITER 8345 NEW BEST:: SOT 204477 SOS 56600 HAS SOPS 56600 HAS SOUS 41439 HAS SOUPS 41439 WITH SCORE 41495.6
AT ITER 8389 NEW BEST:: SOT 204409 SOS 56532 HAS SOPS 56532 HAS SOUS 41371 HAS SOUPS 41371 WITH SCORE 41427.532
AT ITER 8442 NEW BEST:: SOT 204409 SOS 56493 HAS SOPS 56493 HAS SOUS 41332 HAS SOUPS 41332 WITH SCORE 41388.493
AT ITER 8466 NEW BEST:: SOT 204302 SOS 57554 HAS SOPS 57554 HAS SOUS 41330 HAS SOUPS 41330 WITH SCORE 41387.554
AT ITER 8471 NEW BEST:: SOT 204234 SOS 57452 HAS SOPS 57452 HAS SOUS 41260 HAS SOUPS 41260 WITH SCORE 41317.452
AT ITER 8514 NEW BEST:: SOT 204227 SOS 57450 HAS SOPS 57450 HAS SOUS 41258 HAS SOUPS 41258 WITH SCORE 41315.45
AT ITER 8546 NEW BEST:: SOT 204227 SOS 57429 HAS SOPS 57429 HAS SOUS 41237 HAS SOUPS 41237 WITH SCORE 41294.429
AT ITER 8551 NEW BEST:: SOT 204219 SOS 57421 HAS SOPS 57421 HAS SOUS 41229 HAS SOUPS 41229 WITH SCORE 41286.421
AT ITER 8556 NEW BEST:: SOT 204204 SOS 57399 HAS SOPS 57399 HAS SOUS 41215 HAS SOUPS 41215 WITH SCORE 41272.399
AT ITER 8595 NEW BEST:: SOT 204204 SOS 57382 HAS SOPS 57382 HAS SOUS 41198 HAS SOUPS 41198 WITH SCORE 41255.382
AT ITER 8611 NEW BEST:: SOT 204189 SOS 57364 HAS SOPS 57364 HAS SOUS 41180 HAS SOUPS 41180 WITH SCORE 41237.364
AT ITER 8612 NEW BEST:: SOT 204161 SOS 57317 HAS SOPS 57317 HAS SOUS 41158 HAS SOUPS 41158 WITH SCORE 41215.317
AT ITER 8629 NEW BEST:: SOT 204142 SOS 57279 HAS SOPS 57279 HAS SOUS 41145 HAS SOUPS 41145 WITH SCORE 41202.279
AT ITER 8630 NEW BEST:: SOT 204134 SOS 57263 HAS SOPS 57263 HAS SOUS 41138 HAS SOUPS 41138 WITH SCORE 41195.263
AT ITER 8648 NEW BEST:: SOT 204134 SOS 57261 HAS SOPS 57261 HAS SOUS 41136 HAS SOUPS 41136 WITH SCORE 41193.261
AT ITER 8661 NEW BEST:: SOT 204126 SOS 57245 HAS SOPS 57245 HAS SOUS 41120 HAS SOUPS 41120 WITH SCORE 41177.245
AT ITER 8665 NEW BEST:: SOT 204124 SOS 57241 HAS SOPS 57241 HAS SOUS 41116 HAS SOUPS 41116 WITH SCORE 41173.241
AT ITER 8713 NEW BEST:: SOT 204104 SOS 57211 HAS SOPS 57211 HAS SOUS 41096 HAS SOUPS 41096 WITH SCORE 41153.211
AT ITER 8726 NEW BEST:: SOT 204104 SOS 57198 HAS SOPS 57198 HAS SOUS 41083 HAS SOUPS 41083 WITH SCORE 41140.198
AT ITER 8728 NEW BEST:: SOT 204179 SOS 57194 HAS SOPS 57194 HAS SOUS 41079 HAS SOUPS 41079 WITH SCORE 41136.194
AT ITER 8733 NEW BEST:: SOT 204171 SOS 57178 HAS SOPS 57178 HAS SOUS 41063 HAS SOUPS 41063 WITH SCORE 41120.178
AT ITER 8735 NEW BEST:: SOT 204171 SOS 57154 HAS SOPS 57154 HAS SOUS 41039 HAS SOUPS 41039 WITH SCORE 41096.154
AT ITER 8740 NEW BEST:: SOT 204132 SOS 57115 HAS SOPS 57115 HAS SOUS 41000 HAS SOUPS 41000 WITH SCORE 41057.115
AT ITER 8754 NEW BEST:: SOT 204154 SOS 57136 HAS SOPS 57136 HAS SOUS 40996 HAS SOUPS 40996 WITH SCORE 41053.136
AT ITER 8806 NEW BEST:: SOT 204113 SOS 57095 HAS SOPS 57095 HAS SOUS 40955 HAS SOUPS 40955 WITH SCORE 41012.095
AT ITER 8842 NEW BEST:: SOT 204107 SOS 57083 HAS SOPS 57083 HAS SOUS 40949 HAS SOUPS 40949 WITH SCORE 41006.083
AT ITER 8867 NEW BEST:: SOT 204116 SOS 57090 HAS SOPS 57090 HAS SOUS 40945 HAS SOUPS 40945 WITH SCORE 41002.09
AT ITER 8939 NEW BEST:: SOT 204164 SOS 57024 HAS SOPS 57024 HAS SOUS 40936 HAS SOUPS 40936 WITH SCORE 40993.024
AT ITER 8995 NEW BEST:: SOT 204138 SOS 56998 HAS SOPS 56998 HAS SOUS 40936 HAS SOUPS 40936 WITH SCORE 40992.998
AT ITER 8997 NEW BEST:: SOT 204134 SOS 56910 HAS SOPS 56910 HAS SOUS 40916 HAS SOUPS 40916 WITH SCORE 40972.91
AT ITER 9012 NEW BEST:: SOT 204358 SOS 57131 HAS SOPS 57131 HAS SOUS 40910 HAS SOUPS 40910 WITH SCORE 40967.131
AT ITER 9034 NEW BEST:: SOT 204342 SOS 57115 HAS SOPS 57115 HAS SOUS 40910 HAS SOUPS 40910 WITH SCORE 40967.115
AT ITER 9126 NEW BEST:: SOT 204295 SOS 57029 HAS SOPS 57029 HAS SOUS 40824 HAS SOUPS 40824 WITH SCORE 40881.029
AT ITER 9130 NEW BEST:: SOT 204296 SOS 57035 HAS SOPS 57035 HAS SOUS 40815 HAS SOUPS 40815 WITH SCORE 40872.035
AT ITER 9146 NEW BEST:: SOT 204280 SOS 57019 HAS SOPS 57019 HAS SOUS 40799 HAS SOUPS 40799 WITH SCORE 40856.019
AT ITER 9159 NEW BEST:: SOT 204279 SOS 57018 HAS SOPS 57018 HAS SOUS 40798 HAS SOUPS 40798 WITH SCORE 40855.018
AT ITER 9205 NEW BEST:: SOT 204277 SOS 57016 HAS SOPS 57016 HAS SOUS 40796 HAS SOUPS 40796 WITH SCORE 40853.016
AT ITER 9231 NEW BEST:: SOT 204212 SOS 56924 HAS SOPS 56924 HAS SOUS 40704 HAS SOUPS 40704 WITH SCORE 40760.924
AT ITER 9243 NEW BEST:: SOT 204200 SOS 56900 HAS SOPS 56900 HAS SOUS 40701 HAS SOUPS 40701 WITH SCORE 40757.9
AT ITER 9254 NEW BEST:: SOT 204200 SOS 56894 HAS SOPS 56894 HAS SOUS 40698 HAS SOUPS 40698 WITH SCORE 40754.894
AT ITER 9287 NEW BEST:: SOT 204202 SOS 56876 HAS SOPS 56876 HAS SOUS 40680 HAS SOUPS 40680 WITH SCORE 40736.876
AT ITER 9292 NEW BEST:: SOT 204199 SOS 56885 HAS SOPS 56885 HAS SOUS 40674 HAS SOUPS 40674 WITH SCORE 40730.885
AT ITER 9296 NEW BEST:: SOT 204175 SOS 56869 HAS SOPS 56869 HAS SOUS 40658 HAS SOUPS 40658 WITH SCORE 40714.869
AT ITER 9300 NEW BEST:: SOT 204093 SOS 56705 HAS SOPS 56705 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40632.705
AT ITER 9360 NEW BEST:: SOT 204065 SOS 56666 HAS SOPS 56666 HAS SOUS 40537 HAS SOUPS 40537 WITH SCORE 40593.666
AT ITER 9377 NEW BEST:: SOT 204065 SOS 56661 HAS SOPS 56661 HAS SOUS 40532 HAS SOUPS 40532 WITH SCORE 40588.661
AT ITER 9403 NEW BEST:: SOT 204047 SOS 56659 HAS SOPS 56659 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40586.659
AT ITER 9411 NEW BEST:: SOT 204046 SOS 56657 HAS SOPS 56657 HAS SOUS 40528 HAS SOUPS 40528 WITH SCORE 40584.657
AT ITER 9413 NEW BEST:: SOT 204044 SOS 56653 HAS SOPS 56653 HAS SOUS 40524 HAS SOUPS 40524 WITH SCORE 40580.653
AT ITER 9502 NEW BEST:: SOT 204032 SOS 56629 HAS SOPS 56629 HAS SOUS 40511 HAS SOUPS 40511 WITH SCORE 40567.629
AT ITER 9581 NEW BEST:: SOT 204005 SOS 56602 HAS SOPS 56602 HAS SOUS 40484 HAS SOUPS 40484 WITH SCORE 40540.602
AT ITER 9613 NEW BEST:: SOT 203997 SOS 56614 HAS SOPS 56614 HAS SOUS 40461 HAS SOUPS 40461 WITH SCORE 40517.614
AT ITER 9619 NEW BEST:: SOT 204018 SOS 56572 HAS SOPS 56572 HAS SOUS 40448 HAS SOUPS 40448 WITH SCORE 40504.572
AT ITER 9640 NEW BEST:: SOT 204410 SOS 56554 HAS SOPS 56554 HAS SOUS 40430 HAS SOUPS 40430 WITH SCORE 40486.554
AT ITER 9651 NEW BEST:: SOT 204408 SOS 56523 HAS SOPS 56523 HAS SOUS 40411 HAS SOUPS 40411 WITH SCORE 40467.523
AT ITER 9744 NEW BEST:: SOT 204437 SOS 56490 HAS SOPS 56490 HAS SOUS 40394 HAS SOUPS 40394 WITH SCORE 40450.49
AT ITER 9772 NEW BEST:: SOT 204370 SOS 56423 HAS SOPS 56423 HAS SOUS 40394 HAS SOUPS 40394 WITH SCORE 40450.423
AT ITER 9782 NEW BEST:: SOT 204364 SOS 56417 HAS SOPS 56417 HAS SOUS 40388 HAS SOUPS 40388 WITH SCORE 40444.417
AT ITER 9816 NEW BEST:: SOT 204334 SOS 56387 HAS SOPS 56387 HAS SOUS 40358 HAS SOUPS 40358 WITH SCORE 40414.387
AT ITER 9918 NEW BEST:: SOT 204074 SOS 56119 HAS SOPS 56119 HAS SOUS 40115 HAS SOUPS 40115 WITH SCORE 40171.119
AT ITER 9938 NEW BEST:: SOT 204071 SOS 56113 HAS SOPS 56113 HAS SOUS 40112 HAS SOUPS 40112 WITH SCORE 40168.113
AT ITER 9941 NEW BEST:: SOT 204046 SOS 56108 HAS SOPS 56108 HAS SOUS 40107 HAS SOUPS 40107 WITH SCORE 40163.108
AT ITER 9978 NEW BEST:: SOT 204000 SOS 56066 HAS SOPS 56066 HAS SOUS 40065 HAS SOUPS 40065 WITH SCORE 40121.066

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="BusinessProcesses-PT-17"
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 BusinessProcesses-PT-17, 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 r018-oct2-158897680200584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-17.tgz
mv BusinessProcesses-PT-17 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 ;