Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696701216.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is UtilityControlRoom-PT-Z4T4N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696701216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 39K Feb 26 14:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 204K Feb 26 14:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 99K Feb 26 14:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 405K Feb 26 14:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 57K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 296K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 123K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 474K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 255K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679193835831

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-PT-Z4T4N08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 302 places, 600 transitions, 1928 arcs.
AT ITER 0 NEW BEST:: SOT 150683 SOS 120580 HAS SOPS 120580 HAS SOUS 71425 HAS SOUPS 71425 WITH SCORE 71545.58
AT ITER 1 NEW BEST:: SOT 150596 SOS 120406 HAS SOPS 120406 HAS SOUS 71338 HAS SOUPS 71338 WITH SCORE 71458.406
AT ITER 2 NEW BEST:: SOT 150577 SOS 120060 HAS SOPS 120060 HAS SOUS 71223 HAS SOUPS 71223 WITH SCORE 71343.06
AT ITER 3 NEW BEST:: SOT 150430 SOS 119870 HAS SOPS 119870 HAS SOUS 71033 HAS SOUPS 71033 WITH SCORE 71152.87
AT ITER 4 NEW BEST:: SOT 150307 SOS 119624 HAS SOPS 119624 HAS SOUS 70466 HAS SOUPS 70466 WITH SCORE 70585.624
AT ITER 5 NEW BEST:: SOT 149717 SOS 119430 HAS SOPS 119430 HAS SOUS 69570 HAS SOUPS 69570 WITH SCORE 69689.43
AT ITER 9 NEW BEST:: SOT 149698 SOS 119365 HAS SOPS 119365 HAS SOUS 69552 HAS SOUPS 69552 WITH SCORE 69671.365
AT ITER 10 NEW BEST:: SOT 149704 SOS 118913 HAS SOPS 118913 HAS SOUS 69442 HAS SOUPS 69442 WITH SCORE 69560.913
AT ITER 15 NEW BEST:: SOT 149706 SOS 118513 HAS SOPS 118513 HAS SOUS 69343 HAS SOUPS 69343 WITH SCORE 69461.513
AT ITER 16 NEW BEST:: SOT 149571 SOS 116389 HAS SOPS 116389 HAS SOUS 69163 HAS SOUPS 69163 WITH SCORE 69279.389
AT ITER 18 NEW BEST:: SOT 149557 SOS 116361 HAS SOPS 116361 HAS SOUS 69157 HAS SOUPS 69157 WITH SCORE 69273.361
AT ITER 19 NEW BEST:: SOT 149367 SOS 116171 HAS SOPS 116171 HAS SOUS 68955 HAS SOUPS 68955 WITH SCORE 69071.171
AT ITER 20 NEW BEST:: SOT 149354 SOS 115918 HAS SOPS 115918 HAS SOUS 68612 HAS SOUPS 68612 WITH SCORE 68727.918
AT ITER 21 NEW BEST:: SOT 149183 SOS 115747 HAS SOPS 115747 HAS SOUS 68436 HAS SOUPS 68436 WITH SCORE 68551.747
AT ITER 24 NEW BEST:: SOT 149164 SOS 115465 HAS SOPS 115465 HAS SOUS 68337 HAS SOUPS 68337 WITH SCORE 68452.465
AT ITER 27 NEW BEST:: SOT 149173 SOS 115481 HAS SOPS 115481 HAS SOUS 68234 HAS SOUPS 68234 WITH SCORE 68349.481
AT ITER 28 NEW BEST:: SOT 149180 SOS 115337 HAS SOPS 115337 HAS SOUS 68185 HAS SOUPS 68185 WITH SCORE 68300.337
AT ITER 29 NEW BEST:: SOT 149183 SOS 115056 HAS SOPS 115056 HAS SOUS 67584 HAS SOUPS 67584 WITH SCORE 67699.056
AT ITER 30 NEW BEST:: SOT 148795 SOS 114393 HAS SOPS 114393 HAS SOUS 67018 HAS SOUPS 67018 WITH SCORE 67132.393
AT ITER 32 NEW BEST:: SOT 148795 SOS 114393 HAS SOPS 114393 HAS SOUS 67006 HAS SOUPS 67006 WITH SCORE 67120.393
AT ITER 34 NEW BEST:: SOT 148749 SOS 114209 HAS SOPS 114209 HAS SOUS 66776 HAS SOUPS 66776 WITH SCORE 66890.209
AT ITER 35 NEW BEST:: SOT 148713 SOS 114363 HAS SOPS 114363 HAS SOUS 66640 HAS SOUPS 66640 WITH SCORE 66754.363
AT ITER 38 NEW BEST:: SOT 148713 SOS 114325 HAS SOPS 114325 HAS SOUS 66634 HAS SOUPS 66634 WITH SCORE 66748.325
AT ITER 39 NEW BEST:: SOT 148536 SOS 113996 HAS SOPS 113996 HAS SOUS 65945 HAS SOUPS 65945 WITH SCORE 66058.996
AT ITER 41 NEW BEST:: SOT 148504 SOS 113970 HAS SOPS 113970 HAS SOUS 65744 HAS SOUPS 65744 WITH SCORE 65857.97
AT ITER 42 NEW BEST:: SOT 148504 SOS 113944 HAS SOPS 113944 HAS SOUS 65744 HAS SOUPS 65744 WITH SCORE 65857.944
AT ITER 43 NEW BEST:: SOT 148504 SOS 114025 HAS SOPS 114025 HAS SOUS 65606 HAS SOUPS 65606 WITH SCORE 65720.025
AT ITER 45 NEW BEST:: SOT 148413 SOS 113934 HAS SOPS 113934 HAS SOUS 65492 HAS SOUPS 65492 WITH SCORE 65605.934
AT ITER 46 NEW BEST:: SOT 148368 SOS 113707 HAS SOPS 113707 HAS SOUS 65194 HAS SOUPS 65194 WITH SCORE 65307.707
AT ITER 47 NEW BEST:: SOT 148368 SOS 113707 HAS SOPS 113707 HAS SOUS 65191 HAS SOUPS 65191 WITH SCORE 65304.707
AT ITER 49 NEW BEST:: SOT 148280 SOS 113619 HAS SOPS 113619 HAS SOUS 65099 HAS SOUPS 65099 WITH SCORE 65212.619
AT ITER 50 NEW BEST:: SOT 148151 SOS 113490 HAS SOPS 113490 HAS SOUS 65070 HAS SOUPS 65070 WITH SCORE 65183.49
AT ITER 51 NEW BEST:: SOT 148151 SOS 113500 HAS SOPS 113500 HAS SOUS 65068 HAS SOUPS 65068 WITH SCORE 65181.5
AT ITER 53 NEW BEST:: SOT 147964 SOS 113100 HAS SOPS 113100 HAS SOUS 64381 HAS SOUPS 64381 WITH SCORE 64494.1
AT ITER 55 NEW BEST:: SOT 147830 SOS 112966 HAS SOPS 112966 HAS SOUS 64235 HAS SOUPS 64235 WITH SCORE 64347.966
AT ITER 58 NEW BEST:: SOT 147817 SOS 112736 HAS SOPS 112736 HAS SOUS 63929 HAS SOUPS 63929 WITH SCORE 64041.736
AT ITER 61 NEW BEST:: SOT 147797 SOS 112658 HAS SOPS 112658 HAS SOUS 63923 HAS SOUPS 63923 WITH SCORE 64035.658
AT ITER 62 NEW BEST:: SOT 147797 SOS 112658 HAS SOPS 112658 HAS SOUS 63918 HAS SOUPS 63918 WITH SCORE 64030.658
AT ITER 64 NEW BEST:: SOT 147909 SOS 111528 HAS SOPS 111528 HAS SOUS 63903 HAS SOUPS 63903 WITH SCORE 64014.528
AT ITER 69 NEW BEST:: SOT 148021 SOS 111434 HAS SOPS 111434 HAS SOUS 63521 HAS SOUPS 63521 WITH SCORE 63632.434
AT ITER 71 NEW BEST:: SOT 148001 SOS 111454 HAS SOPS 111454 HAS SOUS 63441 HAS SOUPS 63441 WITH SCORE 63552.454
AT ITER 72 NEW BEST:: SOT 147980 SOS 111112 HAS SOPS 111112 HAS SOUS 62987 HAS SOUPS 62987 WITH SCORE 63098.112
AT ITER 74 NEW BEST:: SOT 147844 SOS 110917 HAS SOPS 110917 HAS SOUS 62708 HAS SOUPS 62708 WITH SCORE 62818.917
AT ITER 75 NEW BEST:: SOT 147813 SOS 110597 HAS SOPS 110597 HAS SOUS 62249 HAS SOUPS 62249 WITH SCORE 62359.597
AT ITER 83 NEW BEST:: SOT 147828 SOS 110443 HAS SOPS 110443 HAS SOUS 62042 HAS SOUPS 62042 WITH SCORE 62152.443
AT ITER 84 NEW BEST:: SOT 147844 SOS 110122 HAS SOPS 110122 HAS SOUS 61624 HAS SOUPS 61624 WITH SCORE 61734.122
AT ITER 88 NEW BEST:: SOT 147726 SOS 105152 HAS SOPS 105152 HAS SOUS 59212 HAS SOUPS 59212 WITH SCORE 59317.152
AT ITER 90 NEW BEST:: SOT 147777 SOS 105131 HAS SOPS 105131 HAS SOUS 59200 HAS SOUPS 59200 WITH SCORE 59305.131
AT ITER 93 NEW BEST:: SOT 147777 SOS 105279 HAS SOPS 105279 HAS SOUS 59196 HAS SOUPS 59196 WITH SCORE 59301.279
AT ITER 95 NEW BEST:: SOT 147609 SOS 104691 HAS SOPS 104691 HAS SOUS 57901 HAS SOUPS 57901 WITH SCORE 58005.691
AT ITER 97 NEW BEST:: SOT 147758 SOS 105026 HAS SOPS 105026 HAS SOUS 57755 HAS SOUPS 57755 WITH SCORE 57860.026
AT ITER 99 NEW BEST:: SOT 147695 SOS 104987 HAS SOPS 104987 HAS SOUS 57726 HAS SOUPS 57726 WITH SCORE 57830.987
AT ITER 103 NEW BEST:: SOT 147695 SOS 104961 HAS SOPS 104961 HAS SOUS 57726 HAS SOUPS 57726 WITH SCORE 57830.961
AT ITER 112 NEW BEST:: SOT 147585 SOS 104762 HAS SOPS 104762 HAS SOUS 57468 HAS SOUPS 57468 WITH SCORE 57572.762
AT ITER 116 NEW BEST:: SOT 147639 SOS 104578 HAS SOPS 104578 HAS SOUS 57430 HAS SOUPS 57430 WITH SCORE 57534.578
AT ITER 118 NEW BEST:: SOT 147543 SOS 104572 HAS SOPS 104572 HAS SOUS 57272 HAS SOUPS 57272 WITH SCORE 57376.572
AT ITER 126 NEW BEST:: SOT 147543 SOS 104572 HAS SOPS 104572 HAS SOUS 57268 HAS SOUPS 57268 WITH SCORE 57372.572
AT ITER 128 NEW BEST:: SOT 147597 SOS 104715 HAS SOPS 104715 HAS SOUS 57227 HAS SOUPS 57227 WITH SCORE 57331.715
AT ITER 130 NEW BEST:: SOT 147513 SOS 104632 HAS SOPS 104632 HAS SOUS 57131 HAS SOUPS 57131 WITH SCORE 57235.632
AT ITER 134 NEW BEST:: SOT 147513 SOS 104632 HAS SOPS 104632 HAS SOUS 57127 HAS SOUPS 57127 WITH SCORE 57231.632
AT ITER 136 NEW BEST:: SOT 147513 SOS 104632 HAS SOPS 104632 HAS SOUS 57115 HAS SOUPS 57115 WITH SCORE 57219.632
AT ITER 137 NEW BEST:: SOT 147501 SOS 104543 HAS SOPS 104543 HAS SOUS 56692 HAS SOUPS 56692 WITH SCORE 56796.543
AT ITER 138 NEW BEST:: SOT 147384 SOS 104345 HAS SOPS 104345 HAS SOUS 56672 HAS SOUPS 56672 WITH SCORE 56776.345
AT ITER 140 NEW BEST:: SOT 147070 SOS 104028 HAS SOPS 104028 HAS SOUS 56053 HAS SOUPS 56053 WITH SCORE 56157.028
AT ITER 141 NEW BEST:: SOT 147019 SOS 103820 HAS SOPS 103820 HAS SOUS 55917 HAS SOUPS 55917 WITH SCORE 56020.82
AT ITER 142 NEW BEST:: SOT 147019 SOS 103378 HAS SOPS 103378 HAS SOUS 55735 HAS SOUPS 55735 WITH SCORE 55838.378
AT ITER 145 NEW BEST:: SOT 147082 SOS 103334 HAS SOPS 103334 HAS SOUS 55718 HAS SOUPS 55718 WITH SCORE 55821.334
AT ITER 149 NEW BEST:: SOT 128723 SOS 85884 HAS SOPS 85884 HAS SOUS 45632 HAS SOUPS 45632 WITH SCORE 45717.884
AT ITER 152 NEW BEST:: SOT 128664 SOS 85884 HAS SOPS 85884 HAS SOUS 45455 HAS SOUPS 45455 WITH SCORE 45540.884
AT ITER 155 NEW BEST:: SOT 128664 SOS 85884 HAS SOPS 85884 HAS SOUS 45447 HAS SOUPS 45447 WITH SCORE 45532.884
AT ITER 160 NEW BEST:: SOT 128664 SOS 85867 HAS SOPS 85867 HAS SOUS 45428 HAS SOUPS 45428 WITH SCORE 45513.867
AT ITER 161 NEW BEST:: SOT 128658 SOS 85861 HAS SOPS 85861 HAS SOUS 45416 HAS SOUPS 45416 WITH SCORE 45501.861
AT ITER 162 NEW BEST:: SOT 128545 SOS 85814 HAS SOPS 85814 HAS SOUS 44986 HAS SOUPS 44986 WITH SCORE 45071.814
AT ITER 165 NEW BEST:: SOT 128428 SOS 85939 HAS SOPS 85939 HAS SOUS 44948 HAS SOUPS 44948 WITH SCORE 45033.939
AT ITER 167 NEW BEST:: SOT 128342 SOS 83524 HAS SOPS 83524 HAS SOUS 44435 HAS SOUPS 44435 WITH SCORE 44518.524
AT ITER 168 NEW BEST:: SOT 128254 SOS 83431 HAS SOPS 83431 HAS SOUS 44257 HAS SOUPS 44257 WITH SCORE 44340.431
AT ITER 172 NEW BEST:: SOT 128207 SOS 83491 HAS SOPS 83491 HAS SOUS 44056 HAS SOUPS 44056 WITH SCORE 44139.491
AT ITER 175 NEW BEST:: SOT 128136 SOS 83562 HAS SOPS 83562 HAS SOUS 43985 HAS SOUPS 43985 WITH SCORE 44068.562
AT ITER 177 NEW BEST:: SOT 128136 SOS 83674 HAS SOPS 83674 HAS SOUS 43977 HAS SOUPS 43977 WITH SCORE 44060.674
AT ITER 179 NEW BEST:: SOT 128136 SOS 83418 HAS SOPS 83418 HAS SOUS 43756 HAS SOUPS 43756 WITH SCORE 43839.418
AT ITER 182 NEW BEST:: SOT 128132 SOS 83195 HAS SOPS 83195 HAS SOUS 43584 HAS SOUPS 43584 WITH SCORE 43667.195
AT ITER 183 NEW BEST:: SOT 128099 SOS 82570 HAS SOPS 82570 HAS SOUS 43329 HAS SOUPS 43329 WITH SCORE 43411.57
AT ITER 187 NEW BEST:: SOT 127448 SOS 81991 HAS SOPS 81991 HAS SOUS 42969 HAS SOUPS 42969 WITH SCORE 43050.991
AT ITER 190 NEW BEST:: SOT 127463 SOS 81640 HAS SOPS 81640 HAS SOUS 42875 HAS SOUPS 42875 WITH SCORE 42956.64
AT ITER 199 NEW BEST:: SOT 127360 SOS 81489 HAS SOPS 81489 HAS SOUS 42688 HAS SOUPS 42688 WITH SCORE 42769.489
AT ITER 200 NEW BEST:: SOT 127421 SOS 81691 HAS SOPS 81691 HAS SOUS 42658 HAS SOUPS 42658 WITH SCORE 42739.691
AT ITER 206 NEW BEST:: SOT 127260 SOS 81460 HAS SOPS 81460 HAS SOUS 42398 HAS SOUPS 42398 WITH SCORE 42479.46
AT ITER 208 NEW BEST:: SOT 127435 SOS 81636 HAS SOPS 81636 HAS SOUS 42372 HAS SOUPS 42372 WITH SCORE 42453.636
AT ITER 210 NEW BEST:: SOT 127393 SOS 81594 HAS SOPS 81594 HAS SOUS 42266 HAS SOUPS 42266 WITH SCORE 42347.594
AT ITER 211 NEW BEST:: SOT 127393 SOS 81586 HAS SOPS 81586 HAS SOUS 42266 HAS SOUPS 42266 WITH SCORE 42347.586
AT ITER 212 NEW BEST:: SOT 127285 SOS 81394 HAS SOPS 81394 HAS SOUS 42070 HAS SOUPS 42070 WITH SCORE 42151.394
AT ITER 215 NEW BEST:: SOT 127270 SOS 80929 HAS SOPS 80929 HAS SOUS 41790 HAS SOUPS 41790 WITH SCORE 41870.929
AT ITER 221 NEW BEST:: SOT 127220 SOS 80973 HAS SOPS 80973 HAS SOUS 41751 HAS SOUPS 41751 WITH SCORE 41831.973
AT ITER 229 NEW BEST:: SOT 127117 SOS 80601 HAS SOPS 80601 HAS SOUS 41213 HAS SOUPS 41213 WITH SCORE 41293.601
AT ITER 231 NEW BEST:: SOT 127083 SOS 80614 HAS SOPS 80614 HAS SOUS 41178 HAS SOUPS 41178 WITH SCORE 41258.614
AT ITER 234 NEW BEST:: SOT 127032 SOS 80464 HAS SOPS 80464 HAS SOUS 41127 HAS SOUPS 41127 WITH SCORE 41207.464
AT ITER 242 NEW BEST:: SOT 127056 SOS 81276 HAS SOPS 81276 HAS SOUS 41027 HAS SOUPS 41027 WITH SCORE 41108.276
AT ITER 244 NEW BEST:: SOT 127056 SOS 81276 HAS SOPS 81276 HAS SOUS 41019 HAS SOUPS 41019 WITH SCORE 41100.276
AT ITER 246 NEW BEST:: SOT 127004 SOS 81092 HAS SOPS 81092 HAS SOUS 40841 HAS SOUPS 40841 WITH SCORE 40922.092
AT ITER 249 NEW BEST:: SOT 127004 SOS 81099 HAS SOPS 81099 HAS SOUS 40834 HAS SOUPS 40834 WITH SCORE 40915.099
AT ITER 250 NEW BEST:: SOT 126977 SOS 81071 HAS SOPS 81071 HAS SOUS 40801 HAS SOUPS 40801 WITH SCORE 40882.071
AT ITER 252 NEW BEST:: SOT 126774 SOS 80566 HAS SOPS 80566 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40610.566
AT ITER 259 NEW BEST:: SOT 126710 SOS 80392 HAS SOPS 80392 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40498.392
AT ITER 269 NEW BEST:: SOT 126690 SOS 80372 HAS SOPS 80372 HAS SOUS 40374 HAS SOUPS 40374 WITH SCORE 40454.372
AT ITER 272 NEW BEST:: SOT 126695 SOS 80362 HAS SOPS 80362 HAS SOUS 40369 HAS SOUPS 40369 WITH SCORE 40449.362
AT ITER 273 NEW BEST:: SOT 127727 SOS 75415 HAS SOPS 75415 HAS SOUS 39544 HAS SOUPS 39544 WITH SCORE 39619.415
AT ITER 275 NEW BEST:: SOT 127633 SOS 75321 HAS SOPS 75321 HAS SOUS 39429 HAS SOUPS 39429 WITH SCORE 39504.321
AT ITER 278 NEW BEST:: SOT 127536 SOS 75127 HAS SOPS 75127 HAS SOUS 39280 HAS SOUPS 39280 WITH SCORE 39355.127
AT ITER 280 NEW BEST:: SOT 127762 SOS 74801 HAS SOPS 74801 HAS SOUS 39215 HAS SOUPS 39215 WITH SCORE 39289.801
AT ITER 285 NEW BEST:: SOT 127762 SOS 74769 HAS SOPS 74769 HAS SOUS 39199 HAS SOUPS 39199 WITH SCORE 39273.769
AT ITER 290 NEW BEST:: SOT 127762 SOS 74737 HAS SOPS 74737 HAS SOUS 39147 HAS SOUPS 39147 WITH SCORE 39221.737
AT ITER 292 NEW BEST:: SOT 127767 SOS 74531 HAS SOPS 74531 HAS SOUS 38963 HAS SOUPS 38963 WITH SCORE 39037.531
AT ITER 299 NEW BEST:: SOT 127765 SOS 74515 HAS SOPS 74515 HAS SOUS 38876 HAS SOUPS 38876 WITH SCORE 38950.515
AT ITER 300 NEW BEST:: SOT 127707 SOS 74457 HAS SOPS 74457 HAS SOUS 38836 HAS SOUPS 38836 WITH SCORE 38910.457
AT ITER 303 NEW BEST:: SOT 127689 SOS 74383 HAS SOPS 74383 HAS SOUS 38800 HAS SOUPS 38800 WITH SCORE 38874.383
AT ITER 306 NEW BEST:: SOT 127689 SOS 74369 HAS SOPS 74369 HAS SOUS 38800 HAS SOUPS 38800 WITH SCORE 38874.369
AT ITER 308 NEW BEST:: SOT 127671 SOS 74351 HAS SOPS 74351 HAS SOUS 38791 HAS SOUPS 38791 WITH SCORE 38865.351
AT ITER 312 NEW BEST:: SOT 127671 SOS 74319 HAS SOPS 74319 HAS SOUS 38790 HAS SOUPS 38790 WITH SCORE 38864.319
AT ITER 314 NEW BEST:: SOT 127728 SOS 74114 HAS SOPS 74114 HAS SOUS 38776 HAS SOUPS 38776 WITH SCORE 38850.114
AT ITER 318 NEW BEST:: SOT 127705 SOS 74150 HAS SOPS 74150 HAS SOUS 38753 HAS SOUPS 38753 WITH SCORE 38827.15
AT ITER 321 NEW BEST:: SOT 127813 SOS 74428 HAS SOPS 74428 HAS SOUS 38644 HAS SOUPS 38644 WITH SCORE 38718.428
AT ITER 323 NEW BEST:: SOT 127778 SOS 74143 HAS SOPS 74143 HAS SOUS 38542 HAS SOUPS 38542 WITH SCORE 38616.143
AT ITER 325 NEW BEST:: SOT 127778 SOS 74154 HAS SOPS 74154 HAS SOUS 38531 HAS SOUPS 38531 WITH SCORE 38605.154
AT ITER 327 NEW BEST:: SOT 126415 SOS 72791 HAS SOPS 72791 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37798.791
AT ITER 329 NEW BEST:: SOT 126414 SOS 72790 HAS SOPS 72790 HAS SOUS 37724 HAS SOUPS 37724 WITH SCORE 37796.79
AT ITER 331 NEW BEST:: SOT 126294 SOS 72740 HAS SOPS 72740 HAS SOUS 37534 HAS SOUPS 37534 WITH SCORE 37606.74
AT ITER 336 NEW BEST:: SOT 126132 SOS 72520 HAS SOPS 72520 HAS SOUS 37426 HAS SOUPS 37426 WITH SCORE 37498.52
AT ITER 343 NEW BEST:: SOT 126046 SOS 72434 HAS SOPS 72434 HAS SOUS 37338 HAS SOUPS 37338 WITH SCORE 37410.434
AT ITER 344 NEW BEST:: SOT 126036 SOS 72140 HAS SOPS 72140 HAS SOUS 37194 HAS SOUPS 37194 WITH SCORE 37266.14
AT ITER 347 NEW BEST:: SOT 125977 SOS 72457 HAS SOPS 72457 HAS SOUS 37175 HAS SOUPS 37175 WITH SCORE 37247.457
AT ITER 349 NEW BEST:: SOT 125968 SOS 72409 HAS SOPS 72409 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37238.409
AT ITER 355 NEW BEST:: SOT 125979 SOS 72420 HAS SOPS 72420 HAS SOUS 37153 HAS SOUPS 37153 WITH SCORE 37225.42
AT ITER 360 NEW BEST:: SOT 126598 SOS 72348 HAS SOPS 72348 HAS SOUS 37090 HAS SOUPS 37090 WITH SCORE 37162.348
AT ITER 368 NEW BEST:: SOT 126575 SOS 72337 HAS SOPS 72337 HAS SOUS 37054 HAS SOUPS 37054 WITH SCORE 37126.337
AT ITER 371 NEW BEST:: SOT 126575 SOS 72287 HAS SOPS 72287 HAS SOUS 37030 HAS SOUPS 37030 WITH SCORE 37102.287
AT ITER 375 NEW BEST:: SOT 126582 SOS 72134 HAS SOPS 72134 HAS SOUS 36964 HAS SOUPS 36964 WITH SCORE 37036.134
AT ITER 376 NEW BEST:: SOT 126334 SOS 72202 HAS SOPS 72202 HAS SOUS 36890 HAS SOUPS 36890 WITH SCORE 36962.202
AT ITER 378 NEW BEST:: SOT 126302 SOS 72098 HAS SOPS 72098 HAS SOUS 36834 HAS SOUPS 36834 WITH SCORE 36906.098
AT ITER 381 NEW BEST:: SOT 126305 SOS 72174 HAS SOPS 72174 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36880.174
AT ITER 383 NEW BEST:: SOT 126310 SOS 72103 HAS SOPS 72103 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36878.103
AT ITER 384 NEW BEST:: SOT 126295 SOS 71960 HAS SOPS 71960 HAS SOUS 36739 HAS SOUPS 36739 WITH SCORE 36810.96
AT ITER 386 NEW BEST:: SOT 126299 SOS 71964 HAS SOPS 71964 HAS SOUS 36730 HAS SOUPS 36730 WITH SCORE 36801.964
AT ITER 387 NEW BEST:: SOT 126255 SOS 71920 HAS SOPS 71920 HAS SOUS 36675 HAS SOUPS 36675 WITH SCORE 36746.92
AT ITER 394 NEW BEST:: SOT 126255 SOS 71920 HAS SOPS 71920 HAS SOUS 36671 HAS SOUPS 36671 WITH SCORE 36742.92
AT ITER 399 NEW BEST:: SOT 126165 SOS 71685 HAS SOPS 71685 HAS SOUS 36664 HAS SOUPS 36664 WITH SCORE 36735.685
AT ITER 411 NEW BEST:: SOT 126079 SOS 71599 HAS SOPS 71599 HAS SOUS 36578 HAS SOUPS 36578 WITH SCORE 36649.599
AT ITER 412 NEW BEST:: SOT 126053 SOS 71573 HAS SOPS 71573 HAS SOUS 36508 HAS SOUPS 36508 WITH SCORE 36579.573
AT ITER 414 NEW BEST:: SOT 126039 SOS 71422 HAS SOPS 71422 HAS SOUS 36468 HAS SOUPS 36468 WITH SCORE 36539.422
AT ITER 416 NEW BEST:: SOT 125989 SOS 71408 HAS SOPS 71408 HAS SOUS 36357 HAS SOUPS 36357 WITH SCORE 36428.408
AT ITER 418 NEW BEST:: SOT 125989 SOS 71344 HAS SOPS 71344 HAS SOUS 36353 HAS SOUPS 36353 WITH SCORE 36424.344
AT ITER 419 NEW BEST:: SOT 125964 SOS 71197 HAS SOPS 71197 HAS SOUS 36302 HAS SOUPS 36302 WITH SCORE 36373.197
AT ITER 422 NEW BEST:: SOT 125938 SOS 71233 HAS SOPS 71233 HAS SOUS 36250 HAS SOUPS 36250 WITH SCORE 36321.233
AT ITER 428 NEW BEST:: SOT 125938 SOS 71227 HAS SOPS 71227 HAS SOUS 36247 HAS SOUPS 36247 WITH SCORE 36318.227
AT ITER 431 NEW BEST:: SOT 125931 SOS 71137 HAS SOPS 71137 HAS SOUS 36240 HAS SOUPS 36240 WITH SCORE 36311.137
AT ITER 432 NEW BEST:: SOT 125872 SOS 71078 HAS SOPS 71078 HAS SOUS 36140 HAS SOUPS 36140 WITH SCORE 36211.078
AT ITER 435 NEW BEST:: SOT 125665 SOS 70871 HAS SOPS 70871 HAS SOUS 36039 HAS SOUPS 36039 WITH SCORE 36109.871
AT ITER 437 NEW BEST:: SOT 125689 SOS 70413 HAS SOPS 70413 HAS SOUS 35957 HAS SOUPS 35957 WITH SCORE 36027.413
AT ITER 441 NEW BEST:: SOT 125710 SOS 70245 HAS SOPS 70245 HAS SOUS 35921 HAS SOUPS 35921 WITH SCORE 35991.245
AT ITER 444 NEW BEST:: SOT 125592 SOS 70127 HAS SOPS 70127 HAS SOUS 35773 HAS SOUPS 35773 WITH SCORE 35843.127
AT ITER 451 NEW BEST:: SOT 125600 SOS 70120 HAS SOPS 70120 HAS SOUS 35566 HAS SOUPS 35566 WITH SCORE 35636.12
AT ITER 455 NEW BEST:: SOT 125148 SOS 69668 HAS SOPS 69668 HAS SOUS 35368 HAS SOUPS 35368 WITH SCORE 35437.668
AT ITER 456 NEW BEST:: SOT 125086 SOS 69544 HAS SOPS 69544 HAS SOUS 35244 HAS SOUPS 35244 WITH SCORE 35313.544
AT ITER 457 NEW BEST:: SOT 125097 SOS 69536 HAS SOPS 69536 HAS SOUS 35188 HAS SOUPS 35188 WITH SCORE 35257.536
AT ITER 461 NEW BEST:: SOT 125097 SOS 69536 HAS SOPS 69536 HAS SOUS 35144 HAS SOUPS 35144 WITH SCORE 35213.536
AT ITER 463 NEW BEST:: SOT 125100 SOS 69622 HAS SOPS 69622 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35211.622
AT ITER 467 NEW BEST:: SOT 125115 SOS 69625 HAS SOPS 69625 HAS SOUS 35136 HAS SOUPS 35136 WITH SCORE 35205.625
AT ITER 469 NEW BEST:: SOT 125102 SOS 69638 HAS SOPS 69638 HAS SOUS 35123 HAS SOUPS 35123 WITH SCORE 35192.638
AT ITER 474 NEW BEST:: SOT 125043 SOS 69579 HAS SOPS 69579 HAS SOUS 35110 HAS SOUPS 35110 WITH SCORE 35179.579
AT ITER 475 NEW BEST:: SOT 124960 SOS 69386 HAS SOPS 69386 HAS SOUS 35035 HAS SOUPS 35035 WITH SCORE 35104.386
AT ITER 476 NEW BEST:: SOT 124921 SOS 69376 HAS SOPS 69376 HAS SOUS 35006 HAS SOUPS 35006 WITH SCORE 35075.376
AT ITER 477 NEW BEST:: SOT 124871 SOS 69276 HAS SOPS 69276 HAS SOUS 34956 HAS SOUPS 34956 WITH SCORE 35025.276
AT ITER 480 NEW BEST:: SOT 124526 SOS 68969 HAS SOPS 68969 HAS SOUS 34955 HAS SOUPS 34955 WITH SCORE 35023.969
AT ITER 489 NEW BEST:: SOT 124467 SOS 68910 HAS SOPS 68910 HAS SOUS 34816 HAS SOUPS 34816 WITH SCORE 34884.91
AT ITER 495 NEW BEST:: SOT 124467 SOS 68886 HAS SOPS 68886 HAS SOUS 34725 HAS SOUPS 34725 WITH SCORE 34793.886
AT ITER 497 NEW BEST:: SOT 124467 SOS 68886 HAS SOPS 68886 HAS SOUS 34712 HAS SOUPS 34712 WITH SCORE 34780.886
AT ITER 498 NEW BEST:: SOT 124336 SOS 68549 HAS SOPS 68549 HAS SOUS 34667 HAS SOUPS 34667 WITH SCORE 34735.549
AT ITER 508 NEW BEST:: SOT 124506 SOS 68089 HAS SOPS 68089 HAS SOUS 34515 HAS SOUPS 34515 WITH SCORE 34583.089
AT ITER 509 NEW BEST:: SOT 124508 SOS 68057 HAS SOPS 68057 HAS SOUS 34507 HAS SOUPS 34507 WITH SCORE 34575.057
AT ITER 510 NEW BEST:: SOT 124397 SOS 67807 HAS SOPS 67807 HAS SOUS 34352 HAS SOUPS 34352 WITH SCORE 34419.807
AT ITER 521 NEW BEST:: SOT 124394 SOS 67805 HAS SOPS 67805 HAS SOUS 34349 HAS SOUPS 34349 WITH SCORE 34416.805
AT ITER 523 NEW BEST:: SOT 123384 SOS 68181 HAS SOPS 68181 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34244.181
AT ITER 525 NEW BEST:: SOT 123367 SOS 68236 HAS SOPS 68236 HAS SOUS 34043 HAS SOUPS 34043 WITH SCORE 34111.236
AT ITER 526 NEW BEST:: SOT 123327 SOS 68176 HAS SOPS 68176 HAS SOUS 34036 HAS SOUPS 34036 WITH SCORE 34104.176
AT ITER 527 NEW BEST:: SOT 123269 SOS 68132 HAS SOPS 68132 HAS SOUS 33956 HAS SOUPS 33956 WITH SCORE 34024.132
AT ITER 536 NEW BEST:: SOT 123172 SOS 68021 HAS SOPS 68021 HAS SOUS 33927 HAS SOUPS 33927 WITH SCORE 33995.021
AT ITER 539 NEW BEST:: SOT 123172 SOS 67869 HAS SOPS 67869 HAS SOUS 33915 HAS SOUPS 33915 WITH SCORE 33982.869
AT ITER 543 NEW BEST:: SOT 123137 SOS 67843 HAS SOPS 67843 HAS SOUS 33911 HAS SOUPS 33911 WITH SCORE 33978.843
AT ITER 548 NEW BEST:: SOT 123137 SOS 67806 HAS SOPS 67806 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33943.806
AT ITER 549 NEW BEST:: SOT 123137 SOS 67838 HAS SOPS 67838 HAS SOUS 33839 HAS SOUPS 33839 WITH SCORE 33906.838
AT ITER 555 NEW BEST:: SOT 123177 SOS 67904 HAS SOPS 67904 HAS SOUS 33813 HAS SOUPS 33813 WITH SCORE 33880.904
AT ITER 564 NEW BEST:: SOT 122016 SOS 68735 HAS SOPS 68735 HAS SOUS 33760 HAS SOUPS 33760 WITH SCORE 33828.735
AT ITER 565 NEW BEST:: SOT 121868 SOS 68418 HAS SOPS 68418 HAS SOUS 33657 HAS SOUPS 33657 WITH SCORE 33725.418
AT ITER 567 NEW BEST:: SOT 122039 SOS 68477 HAS SOPS 68477 HAS SOUS 33548 HAS SOUPS 33548 WITH SCORE 33616.477
AT ITER 580 NEW BEST:: SOT 122030 SOS 68399 HAS SOPS 68399 HAS SOUS 33530 HAS SOUPS 33530 WITH SCORE 33598.399
AT ITER 581 NEW BEST:: SOT 121986 SOS 68355 HAS SOPS 68355 HAS SOUS 33471 HAS SOUPS 33471 WITH SCORE 33539.355
AT ITER 589 NEW BEST:: SOT 121984 SOS 68344 HAS SOPS 68344 HAS SOUS 33462 HAS SOUPS 33462 WITH SCORE 33530.344
AT ITER 592 NEW BEST:: SOT 122009 SOS 68973 HAS SOPS 68973 HAS SOUS 33419 HAS SOUPS 33419 WITH SCORE 33487.973
AT ITER 595 NEW BEST:: SOT 121963 SOS 68970 HAS SOPS 68970 HAS SOUS 33350 HAS SOUPS 33350 WITH SCORE 33418.97
AT ITER 598 NEW BEST:: SOT 121876 SOS 69001 HAS SOPS 69001 HAS SOUS 33186 HAS SOUPS 33186 WITH SCORE 33255.001
AT ITER 602 NEW BEST:: SOT 121831 SOS 68940 HAS SOPS 68940 HAS SOUS 33119 HAS SOUPS 33119 WITH SCORE 33187.94
AT ITER 610 NEW BEST:: SOT 121807 SOS 68868 HAS SOPS 68868 HAS SOUS 33071 HAS SOUPS 33071 WITH SCORE 33139.868
AT ITER 611 NEW BEST:: SOT 121846 SOS 68994 HAS SOPS 68994 HAS SOUS 33026 HAS SOUPS 33026 WITH SCORE 33094.994
AT ITER 613 NEW BEST:: SOT 121956 SOS 69104 HAS SOPS 69104 HAS SOUS 32872 HAS SOUPS 32872 WITH SCORE 32941.104
AT ITER 618 NEW BEST:: SOT 121956 SOS 69104 HAS SOPS 69104 HAS SOUS 32861 HAS SOUPS 32861 WITH SCORE 32930.104
AT ITER 633 NEW BEST:: SOT 122030 SOS 67860 HAS SOPS 67860 HAS SOUS 32511 HAS SOUPS 32511 WITH SCORE 32578.86
AT ITER 637 NEW BEST:: SOT 122022 SOS 67604 HAS SOPS 67604 HAS SOUS 32475 HAS SOUPS 32475 WITH SCORE 32542.604
AT ITER 638 NEW BEST:: SOT 121944 SOS 67526 HAS SOPS 67526 HAS SOUS 32335 HAS SOUPS 32335 WITH SCORE 32402.526
AT ITER 640 NEW BEST:: SOT 121957 SOS 67543 HAS SOPS 67543 HAS SOUS 32330 HAS SOUPS 32330 WITH SCORE 32397.543
AT ITER 641 NEW BEST:: SOT 121803 SOS 67395 HAS SOPS 67395 HAS SOUS 32266 HAS SOUPS 32266 WITH SCORE 32333.395
AT ITER 643 NEW BEST:: SOT 121773 SOS 67365 HAS SOPS 67365 HAS SOUS 32251 HAS SOUPS 32251 WITH SCORE 32318.365
AT ITER 644 NEW BEST:: SOT 121669 SOS 67005 HAS SOPS 67005 HAS SOUS 32045 HAS SOUPS 32045 WITH SCORE 32112.005
AT ITER 648 NEW BEST:: SOT 121801 SOS 67137 HAS SOPS 67137 HAS SOUS 32033 HAS SOUPS 32033 WITH SCORE 32100.137
AT ITER 649 NEW BEST:: SOT 121741 SOS 67077 HAS SOPS 67077 HAS SOUS 31943 HAS SOUPS 31943 WITH SCORE 32010.077
AT ITER 655 NEW BEST:: SOT 121741 SOS 67082 HAS SOPS 67082 HAS SOUS 31938 HAS SOUPS 31938 WITH SCORE 32005.082
AT ITER 674 NEW BEST:: SOT 121741 SOS 66969 HAS SOPS 66969 HAS SOUS 31926 HAS SOUPS 31926 WITH SCORE 31992.969
AT ITER 676 NEW BEST:: SOT 121029 SOS 66691 HAS SOPS 66691 HAS SOUS 31575 HAS SOUPS 31575 WITH SCORE 31641.691
AT ITER 678 NEW BEST:: SOT 121018 SOS 66832 HAS SOPS 66832 HAS SOUS 31553 HAS SOUPS 31553 WITH SCORE 31619.832
AT ITER 688 NEW BEST:: SOT 120984 SOS 66798 HAS SOPS 66798 HAS SOUS 31486 HAS SOUPS 31486 WITH SCORE 31552.798
AT ITER 693 NEW BEST:: SOT 121044 SOS 67357 HAS SOPS 67357 HAS SOUS 31396 HAS SOUPS 31396 WITH SCORE 31463.357
AT ITER 695 NEW BEST:: SOT 121044 SOS 67259 HAS SOPS 67259 HAS SOUS 31396 HAS SOUPS 31396 WITH SCORE 31463.259
AT ITER 697 NEW BEST:: SOT 121068 SOS 67363 HAS SOPS 67363 HAS SOUS 31388 HAS SOUPS 31388 WITH SCORE 31455.363
AT ITER 705 NEW BEST:: SOT 120914 SOS 67209 HAS SOPS 67209 HAS SOUS 31353 HAS SOUPS 31353 WITH SCORE 31420.209
AT ITER 706 NEW BEST:: SOT 120924 SOS 67219 HAS SOPS 67219 HAS SOUS 31242 HAS SOUPS 31242 WITH SCORE 31309.219
AT ITER 709 NEW BEST:: SOT 120913 SOS 67197 HAS SOPS 67197 HAS SOUS 31220 HAS SOUPS 31220 WITH SCORE 31287.197
AT ITER 714 NEW BEST:: SOT 120904 SOS 67179 HAS SOPS 67179 HAS SOUS 31202 HAS SOUPS 31202 WITH SCORE 31269.179
AT ITER 718 NEW BEST:: SOT 120892 SOS 67165 HAS SOPS 67165 HAS SOUS 31190 HAS SOUPS 31190 WITH SCORE 31257.165
AT ITER 720 NEW BEST:: SOT 120962 SOS 65878 HAS SOPS 65878 HAS SOUS 31042 HAS SOUPS 31042 WITH SCORE 31107.878
AT ITER 721 NEW BEST:: SOT 120979 SOS 65843 HAS SOPS 65843 HAS SOUS 31001 HAS SOUPS 31001 WITH SCORE 31066.843
AT ITER 726 NEW BEST:: SOT 120977 SOS 65841 HAS SOPS 65841 HAS SOUS 30997 HAS SOUPS 30997 WITH SCORE 31062.841
AT ITER 730 NEW BEST:: SOT 121026 SOS 65905 HAS SOPS 65905 HAS SOUS 30976 HAS SOUPS 30976 WITH SCORE 31041.905
AT ITER 731 NEW BEST:: SOT 120993 SOS 65926 HAS SOPS 65926 HAS SOUS 30973 HAS SOUPS 30973 WITH SCORE 31038.926
AT ITER 736 NEW BEST:: SOT 121029 SOS 65726 HAS SOPS 65726 HAS SOUS 30811 HAS SOUPS 30811 WITH SCORE 30876.726
AT ITER 739 NEW BEST:: SOT 121283 SOS 65429 HAS SOPS 65429 HAS SOUS 30744 HAS SOUPS 30744 WITH SCORE 30809.429
AT ITER 743 NEW BEST:: SOT 121248 SOS 65383 HAS SOPS 65383 HAS SOUS 30685 HAS SOUPS 30685 WITH SCORE 30750.383
AT ITER 753 NEW BEST:: SOT 121073 SOS 65208 HAS SOPS 65208 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30668.208
AT ITER 757 NEW BEST:: SOT 121073 SOS 65181 HAS SOPS 65181 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30668.181
AT ITER 767 NEW BEST:: SOT 121073 SOS 65133 HAS SOPS 65133 HAS SOUS 30593 HAS SOUPS 30593 WITH SCORE 30658.133
AT ITER 775 NEW BEST:: SOT 121032 SOS 65003 HAS SOPS 65003 HAS SOUS 30552 HAS SOUPS 30552 WITH SCORE 30617.003
AT ITER 776 NEW BEST:: SOT 120879 SOS 65023 HAS SOPS 65023 HAS SOUS 30486 HAS SOUPS 30486 WITH SCORE 30551.023
AT ITER 778 NEW BEST:: SOT 120879 SOS 65023 HAS SOPS 65023 HAS SOUS 30436 HAS SOUPS 30436 WITH SCORE 30501.023
AT ITER 784 NEW BEST:: SOT 120949 SOS 65014 HAS SOPS 65014 HAS SOUS 30378 HAS SOUPS 30378 WITH SCORE 30443.014
AT ITER 791 NEW BEST:: SOT 120908 SOS 64952 HAS SOPS 64952 HAS SOUS 30337 HAS SOUPS 30337 WITH SCORE 30401.952
AT ITER 793 NEW BEST:: SOT 120904 SOS 64958 HAS SOPS 64958 HAS SOUS 30323 HAS SOUPS 30323 WITH SCORE 30387.958
AT ITER 797 NEW BEST:: SOT 120805 SOS 64822 HAS SOPS 64822 HAS SOUS 30198 HAS SOUPS 30198 WITH SCORE 30262.822
AT ITER 804 NEW BEST:: SOT 120790 SOS 64769 HAS SOPS 64769 HAS SOUS 30191 HAS SOUPS 30191 WITH SCORE 30255.769
AT ITER 812 NEW BEST:: SOT 120721 SOS 64562 HAS SOPS 64562 HAS SOUS 30122 HAS SOUPS 30122 WITH SCORE 30186.562
AT ITER 825 NEW BEST:: SOT 120681 SOS 64522 HAS SOPS 64522 HAS SOUS 30106 HAS SOUPS 30106 WITH SCORE 30170.522
AT ITER 827 NEW BEST:: SOT 120656 SOS 64482 HAS SOPS 64482 HAS SOUS 30086 HAS SOUPS 30086 WITH SCORE 30150.482
AT ITER 829 NEW BEST:: SOT 120648 SOS 64634 HAS SOPS 64634 HAS SOUS 30024 HAS SOUPS 30024 WITH SCORE 30088.634
AT ITER 830 NEW BEST:: SOT 120603 SOS 64719 HAS SOPS 64719 HAS SOUS 30004 HAS SOUPS 30004 WITH SCORE 30068.719
AT ITER 833 NEW BEST:: SOT 120587 SOS 64687 HAS SOPS 64687 HAS SOUS 29988 HAS SOUPS 29988 WITH SCORE 30052.687
AT ITER 838 NEW BEST:: SOT 120507 SOS 64515 HAS SOPS 64515 HAS SOUS 29878 HAS SOUPS 29878 WITH SCORE 29942.515
AT ITER 841 NEW BEST:: SOT 120529 SOS 64296 HAS SOPS 64296 HAS SOUS 29862 HAS SOUPS 29862 WITH SCORE 29926.296
AT ITER 846 NEW BEST:: SOT 120508 SOS 64260 HAS SOPS 64260 HAS SOUS 29820 HAS SOUPS 29820 WITH SCORE 29884.26
AT ITER 851 NEW BEST:: SOT 120508 SOS 64242 HAS SOPS 64242 HAS SOUS 29802 HAS SOUPS 29802 WITH SCORE 29866.242
AT ITER 860 NEW BEST:: SOT 120508 SOS 64245 HAS SOPS 64245 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29865.245
AT ITER 862 NEW BEST:: SOT 120422 SOS 64159 HAS SOPS 64159 HAS SOUS 29654 HAS SOUPS 29654 WITH SCORE 29718.159
AT ITER 867 NEW BEST:: SOT 120421 SOS 64040 HAS SOPS 64040 HAS SOUS 29495 HAS SOUPS 29495 WITH SCORE 29559.04
AT ITER 875 NEW BEST:: SOT 120339 SOS 63910 HAS SOPS 63910 HAS SOUS 29299 HAS SOUPS 29299 WITH SCORE 29362.91
AT ITER 886 NEW BEST:: SOT 120339 SOS 63758 HAS SOPS 63758 HAS SOUS 29261 HAS SOUPS 29261 WITH SCORE 29324.758
AT ITER 895 NEW BEST:: SOT 120259 SOS 63475 HAS SOPS 63475 HAS SOUS 28955 HAS SOUPS 28955 WITH SCORE 29018.475
AT ITER 901 NEW BEST:: SOT 120236 SOS 63444 HAS SOPS 63444 HAS SOUS 28917 HAS SOUPS 28917 WITH SCORE 28980.444
AT ITER 910 NEW BEST:: SOT 120242 SOS 63450 HAS SOPS 63450 HAS SOUS 28904 HAS SOUPS 28904 WITH SCORE 28967.45
AT ITER 914 NEW BEST:: SOT 120242 SOS 63446 HAS SOPS 63446 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28965.446
AT ITER 919 NEW BEST:: SOT 120482 SOS 63513 HAS SOPS 63513 HAS SOUS 28858 HAS SOUPS 28858 WITH SCORE 28921.513
AT ITER 923 NEW BEST:: SOT 120482 SOS 63420 HAS SOPS 63420 HAS SOUS 28858 HAS SOUPS 28858 WITH SCORE 28921.42
AT ITER 928 NEW BEST:: SOT 120435 SOS 63246 HAS SOPS 63246 HAS SOUS 28811 HAS SOUPS 28811 WITH SCORE 28874.246
AT ITER 935 NEW BEST:: SOT 120534 SOS 63403 HAS SOPS 63403 HAS SOUS 28793 HAS SOUPS 28793 WITH SCORE 28856.403
AT ITER 947 NEW BEST:: SOT 120532 SOS 63243 HAS SOPS 63243 HAS SOUS 28793 HAS SOUPS 28793 WITH SCORE 28856.243
AT ITER 948 NEW BEST:: SOT 120533 SOS 63185 HAS SOPS 63185 HAS SOUS 28771 HAS SOUPS 28771 WITH SCORE 28834.185
AT ITER 962 NEW BEST:: SOT 120619 SOS 63333 HAS SOPS 63333 HAS SOUS 28709 HAS SOUPS 28709 WITH SCORE 28772.333
AT ITER 965 NEW BEST:: SOT 120289 SOS 63003 HAS SOPS 63003 HAS SOUS 28665 HAS SOUPS 28665 WITH SCORE 28728.003
AT ITER 968 NEW BEST:: SOT 120267 SOS 63331 HAS SOPS 63331 HAS SOUS 28655 HAS SOUPS 28655 WITH SCORE 28718.331
AT ITER 971 NEW BEST:: SOT 120279 SOS 63437 HAS SOPS 63437 HAS SOUS 28633 HAS SOUPS 28633 WITH SCORE 28696.437
AT ITER 976 NEW BEST:: SOT 119970 SOS 63187 HAS SOPS 63187 HAS SOUS 28511 HAS SOUPS 28511 WITH SCORE 28574.187
AT ITER 984 NEW BEST:: SOT 119971 SOS 63163 HAS SOPS 63163 HAS SOUS 28499 HAS SOUPS 28499 WITH SCORE 28562.163
AT ITER 990 NEW BEST:: SOT 119966 SOS 63112 HAS SOPS 63112 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28550.112
AT ITER 1004 NEW BEST:: SOT 119966 SOS 63112 HAS SOPS 63112 HAS SOUS 28486 HAS SOUPS 28486 WITH SCORE 28549.112
AT ITER 1011 NEW BEST:: SOT 119897 SOS 63110 HAS SOPS 63110 HAS SOUS 28249 HAS SOUPS 28249 WITH SCORE 28312.11
AT ITER 1019 NEW BEST:: SOT 119918 SOS 63052 HAS SOPS 63052 HAS SOUS 28194 HAS SOUPS 28194 WITH SCORE 28257.052
AT ITER 1026 NEW BEST:: SOT 119894 SOS 63000 HAS SOPS 63000 HAS SOUS 28156 HAS SOUPS 28156 WITH SCORE 28219.0
AT ITER 1030 NEW BEST:: SOT 119878 SOS 62984 HAS SOPS 62984 HAS SOUS 28142 HAS SOUPS 28142 WITH SCORE 28204.984
AT ITER 1040 NEW BEST:: SOT 119868 SOS 63072 HAS SOPS 63072 HAS SOUS 28122 HAS SOUPS 28122 WITH SCORE 28185.072
AT ITER 1046 NEW BEST:: SOT 119091 SOS 63435 HAS SOPS 63435 HAS SOUS 27823 HAS SOUPS 27823 WITH SCORE 27886.435
AT ITER 1049 NEW BEST:: SOT 119077 SOS 63337 HAS SOPS 63337 HAS SOUS 27767 HAS SOUPS 27767 WITH SCORE 27830.337
AT ITER 1053 NEW BEST:: SOT 119065 SOS 63325 HAS SOPS 63325 HAS SOUS 27763 HAS SOUPS 27763 WITH SCORE 27826.325
AT ITER 1069 NEW BEST:: SOT 119065 SOS 63325 HAS SOPS 63325 HAS SOUS 27755 HAS SOUPS 27755 WITH SCORE 27818.325
AT ITER 1074 NEW BEST:: SOT 119135 SOS 63371 HAS SOPS 63371 HAS SOUS 27669 HAS SOUPS 27669 WITH SCORE 27732.371
AT ITER 1077 NEW BEST:: SOT 119136 SOS 63427 HAS SOPS 63427 HAS SOUS 27662 HAS SOUPS 27662 WITH SCORE 27725.427
AT ITER 1082 NEW BEST:: SOT 118892 SOS 63189 HAS SOPS 63189 HAS SOUS 27497 HAS SOUPS 27497 WITH SCORE 27560.189
AT ITER 1105 NEW BEST:: SOT 118839 SOS 63053 HAS SOPS 63053 HAS SOUS 27444 HAS SOUPS 27444 WITH SCORE 27507.053
AT ITER 1108 NEW BEST:: SOT 118802 SOS 62566 HAS SOPS 62566 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27491.566
AT ITER 1113 NEW BEST:: SOT 118677 SOS 62485 HAS SOPS 62485 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27486.485
AT ITER 1114 NEW BEST:: SOT 118677 SOS 62469 HAS SOPS 62469 HAS SOUS 27412 HAS SOUPS 27412 WITH SCORE 27474.469
AT ITER 1130 NEW BEST:: SOT 118673 SOS 62403 HAS SOPS 62403 HAS SOUS 27337 HAS SOUPS 27337 WITH SCORE 27399.403
AT ITER 1145 NEW BEST:: SOT 118643 SOS 62373 HAS SOPS 62373 HAS SOUS 27307 HAS SOUPS 27307 WITH SCORE 27369.373
AT ITER 1148 NEW BEST:: SOT 118635 SOS 62365 HAS SOPS 62365 HAS SOUS 27297 HAS SOUPS 27297 WITH SCORE 27359.365
AT ITER 1153 NEW BEST:: SOT 118451 SOS 62175 HAS SOPS 62175 HAS SOUS 27110 HAS SOUPS 27110 WITH SCORE 27172.175
AT ITER 1154 NEW BEST:: SOT 118411 SOS 62095 HAS SOPS 62095 HAS SOUS 27070 HAS SOUPS 27070 WITH SCORE 27132.095
AT ITER 1160 NEW BEST:: SOT 118455 SOS 59954 HAS SOPS 59954 HAS SOUS 26865 HAS SOUPS 26865 WITH SCORE 26924.954
AT ITER 1162 NEW BEST:: SOT 118521 SOS 60050 HAS SOPS 60050 HAS SOUS 26706 HAS SOUPS 26706 WITH SCORE 26766.05
AT ITER 1176 NEW BEST:: SOT 118499 SOS 60006 HAS SOPS 60006 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26744.006
AT ITER 1179 NEW BEST:: SOT 118464 SOS 59866 HAS SOPS 59866 HAS SOUS 26649 HAS SOUPS 26649 WITH SCORE 26708.866
AT ITER 1180 NEW BEST:: SOT 118442 SOS 59844 HAS SOPS 59844 HAS SOUS 26612 HAS SOUPS 26612 WITH SCORE 26671.844
AT ITER 1182 NEW BEST:: SOT 118442 SOS 59844 HAS SOPS 59844 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26656.844
AT ITER 1189 NEW BEST:: SOT 118408 SOS 59810 HAS SOPS 59810 HAS SOUS 26517 HAS SOUPS 26517 WITH SCORE 26576.81
AT ITER 1191 NEW BEST:: SOT 118403 SOS 59916 HAS SOPS 59916 HAS SOUS 26480 HAS SOUPS 26480 WITH SCORE 26539.916
AT ITER 1194 NEW BEST:: SOT 118383 SOS 59896 HAS SOPS 59896 HAS SOUS 26458 HAS SOUPS 26458 WITH SCORE 26517.896
AT ITER 1205 NEW BEST:: SOT 118383 SOS 59886 HAS SOPS 59886 HAS SOUS 26458 HAS SOUPS 26458 WITH SCORE 26517.886
AT ITER 1209 NEW BEST:: SOT 118180 SOS 59683 HAS SOPS 59683 HAS SOUS 26452 HAS SOUPS 26452 WITH SCORE 26511.683
AT ITER 1216 NEW BEST:: SOT 118144 SOS 59509 HAS SOPS 59509 HAS SOUS 26422 HAS SOUPS 26422 WITH SCORE 26481.509
AT ITER 1217 NEW BEST:: SOT 118144 SOS 59471 HAS SOPS 59471 HAS SOUS 26403 HAS SOUPS 26403 WITH SCORE 26462.471
AT ITER 1218 NEW BEST:: SOT 118136 SOS 59463 HAS SOPS 59463 HAS SOUS 26318 HAS SOUPS 26318 WITH SCORE 26377.463
AT ITER 1221 NEW BEST:: SOT 118132 SOS 59467 HAS SOPS 59467 HAS SOUS 26310 HAS SOUPS 26310 WITH SCORE 26369.467
AT ITER 1222 NEW BEST:: SOT 118127 SOS 59457 HAS SOPS 59457 HAS SOUS 26281 HAS SOUPS 26281 WITH SCORE 26340.457
AT ITER 1228 NEW BEST:: SOT 118214 SOS 59544 HAS SOPS 59544 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26316.544
AT ITER 1236 NEW BEST:: SOT 118199 SOS 59532 HAS SOPS 59532 HAS SOUS 26254 HAS SOUPS 26254 WITH SCORE 26313.532
AT ITER 1238 NEW BEST:: SOT 117990 SOS 59384 HAS SOPS 59384 HAS SOUS 26233 HAS SOUPS 26233 WITH SCORE 26292.384
AT ITER 1240 NEW BEST:: SOT 117939 SOS 59316 HAS SOPS 59316 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26241.316
AT ITER 1245 NEW BEST:: SOT 117909 SOS 59215 HAS SOPS 59215 HAS SOUS 26171 HAS SOUPS 26171 WITH SCORE 26230.215
AT ITER 1260 NEW BEST:: SOT 117888 SOS 59173 HAS SOPS 59173 HAS SOUS 26150 HAS SOUPS 26150 WITH SCORE 26209.173
AT ITER 1262 NEW BEST:: SOT 117837 SOS 58870 HAS SOPS 58870 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26179.87
AT ITER 1264 NEW BEST:: SOT 117945 SOS 58993 HAS SOPS 58993 HAS SOUS 25934 HAS SOUPS 25934 WITH SCORE 25992.993
AT ITER 1266 NEW BEST:: SOT 117934 SOS 58975 HAS SOPS 58975 HAS SOUS 25914 HAS SOUPS 25914 WITH SCORE 25972.975
AT ITER 1288 NEW BEST:: SOT 117922 SOS 58971 HAS SOPS 58971 HAS SOUS 25912 HAS SOUPS 25912 WITH SCORE 25970.971
AT ITER 1296 NEW BEST:: SOT 117917 SOS 59009 HAS SOPS 59009 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25961.009
AT ITER 1298 NEW BEST:: SOT 117914 SOS 59006 HAS SOPS 59006 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25961.006
AT ITER 1307 NEW BEST:: SOT 117902 SOS 58994 HAS SOPS 58994 HAS SOUS 25890 HAS SOUPS 25890 WITH SCORE 25948.994
AT ITER 1315 NEW BEST:: SOT 117696 SOS 58038 HAS SOPS 58038 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25610.038
AT ITER 1320 NEW BEST:: SOT 117648 SOS 57912 HAS SOPS 57912 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 25587.912
AT ITER 1327 NEW BEST:: SOT 117648 SOS 57910 HAS SOPS 57910 HAS SOUS 25528 HAS SOUPS 25528 WITH SCORE 25585.91
AT ITER 1329 NEW BEST:: SOT 116476 SOS 58829 HAS SOPS 58829 HAS SOUS 25131 HAS SOUPS 25131 WITH SCORE 25189.829
AT ITER 1335 NEW BEST:: SOT 116467 SOS 58838 HAS SOPS 58838 HAS SOUS 25122 HAS SOUPS 25122 WITH SCORE 25180.838
AT ITER 1342 NEW BEST:: SOT 116484 SOS 58883 HAS SOPS 58883 HAS SOUS 25117 HAS SOUPS 25117 WITH SCORE 25175.883
AT ITER 1352 NEW BEST:: SOT 116403 SOS 58210 HAS SOPS 58210 HAS SOUS 25024 HAS SOUPS 25024 WITH SCORE 25082.21
AT ITER 1373 NEW BEST:: SOT 116363 SOS 58170 HAS SOPS 58170 HAS SOUS 24925 HAS SOUPS 24925 WITH SCORE 24983.17
AT ITER 1375 NEW BEST:: SOT 116356 SOS 58156 HAS SOPS 58156 HAS SOUS 24918 HAS SOUPS 24918 WITH SCORE 24976.156
AT ITER 1384 NEW BEST:: SOT 116303 SOS 58066 HAS SOPS 58066 HAS SOUS 24850 HAS SOUPS 24850 WITH SCORE 24908.066
AT ITER 1388 NEW BEST:: SOT 116303 SOS 58066 HAS SOPS 58066 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24873.066
AT ITER 1392 NEW BEST:: SOT 116214 SOS 57977 HAS SOPS 57977 HAS SOUS 24774 HAS SOUPS 24774 WITH SCORE 24831.977
AT ITER 1408 NEW BEST:: SOT 116208 SOS 57971 HAS SOPS 57971 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24825.971
AT ITER 1426 NEW BEST:: SOT 116160 SOS 57713 HAS SOPS 57713 HAS SOUS 24687 HAS SOUPS 24687 WITH SCORE 24744.713
AT ITER 1434 NEW BEST:: SOT 116160 SOS 57680 HAS SOPS 57680 HAS SOUS 24687 HAS SOUPS 24687 WITH SCORE 24744.68
AT ITER 1436 NEW BEST:: SOT 116118 SOS 57481 HAS SOPS 57481 HAS SOUS 24632 HAS SOUPS 24632 WITH SCORE 24689.481
AT ITER 1447 NEW BEST:: SOT 116116 SOS 57585 HAS SOPS 57585 HAS SOUS 24622 HAS SOUPS 24622 WITH SCORE 24679.585
AT ITER 1457 NEW BEST:: SOT 116083 SOS 57568 HAS SOPS 57568 HAS SOUS 24555 HAS SOUPS 24555 WITH SCORE 24612.568
AT ITER 1465 NEW BEST:: SOT 116073 SOS 57677 HAS SOPS 57677 HAS SOUS 24538 HAS SOUPS 24538 WITH SCORE 24595.677
AT ITER 1471 NEW BEST:: SOT 116047 SOS 57802 HAS SOPS 57802 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24593.802
AT ITER 1483 NEW BEST:: SOT 115477 SOS 57277 HAS SOPS 57277 HAS SOUS 24274 HAS SOUPS 24274 WITH SCORE 24331.277
AT ITER 1497 NEW BEST:: SOT 115455 SOS 57255 HAS SOPS 57255 HAS SOUS 24252 HAS SOUPS 24252 WITH SCORE 24309.255
AT ITER 1513 NEW BEST:: SOT 115447 SOS 57247 HAS SOPS 57247 HAS SOUS 24240 HAS SOUPS 24240 WITH SCORE 24297.247
AT ITER 1526 NEW BEST:: SOT 115438 SOS 57256 HAS SOPS 57256 HAS SOUS 24222 HAS SOUPS 24222 WITH SCORE 24279.256
AT ITER 1527 NEW BEST:: SOT 115438 SOS 57256 HAS SOPS 57256 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24276.256
AT ITER 1541 NEW BEST:: SOT 115431 SOS 57242 HAS SOPS 57242 HAS SOUS 24212 HAS SOUPS 24212 WITH SCORE 24269.242
AT ITER 1542 NEW BEST:: SOT 115391 SOS 57202 HAS SOPS 57202 HAS SOUS 24152 HAS SOUPS 24152 WITH SCORE 24209.202
AT ITER 1552 NEW BEST:: SOT 115311 SOS 57122 HAS SOPS 57122 HAS SOUS 24131 HAS SOUPS 24131 WITH SCORE 24188.122
AT ITER 1553 NEW BEST:: SOT 115171 SOS 56850 HAS SOPS 56850 HAS SOUS 23990 HAS SOUPS 23990 WITH SCORE 24046.85
AT ITER 1586 NEW BEST:: SOT 115088 SOS 56902 HAS SOPS 56902 HAS SOUS 23841 HAS SOUPS 23841 WITH SCORE 23897.902
AT ITER 1601 NEW BEST:: SOT 115088 SOS 56893 HAS SOPS 56893 HAS SOUS 23841 HAS SOUPS 23841 WITH SCORE 23897.893
AT ITER 1610 NEW BEST:: SOT 115057 SOS 56843 HAS SOPS 56843 HAS SOUS 23809 HAS SOUPS 23809 WITH SCORE 23865.843
AT ITER 1611 NEW BEST:: SOT 115042 SOS 56828 HAS SOPS 56828 HAS SOUS 23803 HAS SOUPS 23803 WITH SCORE 23859.828
AT ITER 1617 NEW BEST:: SOT 115042 SOS 56872 HAS SOPS 56872 HAS SOUS 23794 HAS SOUPS 23794 WITH SCORE 23850.872
AT ITER 1623 NEW BEST:: SOT 115097 SOS 56927 HAS SOPS 56927 HAS SOUS 23780 HAS SOUPS 23780 WITH SCORE 23836.927
AT ITER 1631 NEW BEST:: SOT 115010 SOS 56840 HAS SOPS 56840 HAS SOUS 23743 HAS SOUPS 23743 WITH SCORE 23799.84
AT ITER 1634 NEW BEST:: SOT 115009 SOS 56838 HAS SOPS 56838 HAS SOUS 23742 HAS SOUPS 23742 WITH SCORE 23798.838
AT ITER 1636 NEW BEST:: SOT 115019 SOS 56653 HAS SOPS 56653 HAS SOUS 23742 HAS SOUPS 23742 WITH SCORE 23798.653
AT ITER 1646 NEW BEST:: SOT 114906 SOS 56540 HAS SOPS 56540 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23786.54
AT ITER 1651 NEW BEST:: SOT 114850 SOS 56484 HAS SOPS 56484 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23760.484
AT ITER 1665 NEW BEST:: SOT 114822 SOS 56479 HAS SOPS 56479 HAS SOUS 23665 HAS SOUPS 23665 WITH SCORE 23721.479
AT ITER 1676 NEW BEST:: SOT 114684 SOS 56409 HAS SOPS 56409 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23654.409
AT ITER 1694 NEW BEST:: SOT 114652 SOS 56381 HAS SOPS 56381 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23586.381
AT ITER 1705 NEW BEST:: SOT 114624 SOS 56204 HAS SOPS 56204 HAS SOUS 23514 HAS SOUPS 23514 WITH SCORE 23570.204
AT ITER 1709 NEW BEST:: SOT 114926 SOS 56545 HAS SOPS 56545 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23553.545
AT ITER 1710 NEW BEST:: SOT 114925 SOS 56541 HAS SOPS 56541 HAS SOUS 23496 HAS SOUPS 23496 WITH SCORE 23552.541
AT ITER 1711 NEW BEST:: SOT 114917 SOS 56525 HAS SOPS 56525 HAS SOUS 23484 HAS SOUPS 23484 WITH SCORE 23540.525
AT ITER 1715 NEW BEST:: SOT 114798 SOS 56448 HAS SOPS 56448 HAS SOUS 23425 HAS SOUPS 23425 WITH SCORE 23481.448
AT ITER 1719 NEW BEST:: SOT 114705 SOS 56219 HAS SOPS 56219 HAS SOUS 23341 HAS SOUPS 23341 WITH SCORE 23397.219
AT ITER 1720 NEW BEST:: SOT 114661 SOS 56165 HAS SOPS 56165 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23343.165
AT ITER 1722 NEW BEST:: SOT 114655 SOS 56159 HAS SOPS 56159 HAS SOUS 23284 HAS SOUPS 23284 WITH SCORE 23340.159
AT ITER 1726 NEW BEST:: SOT 114655 SOS 56114 HAS SOPS 56114 HAS SOUS 23278 HAS SOUPS 23278 WITH SCORE 23334.114
AT ITER 1727 NEW BEST:: SOT 114683 SOS 55931 HAS SOPS 55931 HAS SOUS 23278 HAS SOUPS 23278 WITH SCORE 23333.931
AT ITER 1741 NEW BEST:: SOT 114685 SOS 55935 HAS SOPS 55935 HAS SOUS 23253 HAS SOUPS 23253 WITH SCORE 23308.935
AT ITER 1756 NEW BEST:: SOT 114684 SOS 56017 HAS SOPS 56017 HAS SOUS 23244 HAS SOUPS 23244 WITH SCORE 23300.017
AT ITER 1758 NEW BEST:: SOT 114690 SOS 56015 HAS SOPS 56015 HAS SOUS 23196 HAS SOUPS 23196 WITH SCORE 23252.015
AT ITER 1773 NEW BEST:: SOT 114687 SOS 56012 HAS SOPS 56012 HAS SOUS 23193 HAS SOUPS 23193 WITH SCORE 23249.012
AT ITER 1776 NEW BEST:: SOT 114674 SOS 56086 HAS SOPS 56086 HAS SOUS 23167 HAS SOUPS 23167 WITH SCORE 23223.086
AT ITER 1779 NEW BEST:: SOT 114669 SOS 56109 HAS SOPS 56109 HAS SOUS 23157 HAS SOUPS 23157 WITH SCORE 23213.109
AT ITER 1785 NEW BEST:: SOT 114572 SOS 56042 HAS SOPS 56042 HAS SOUS 22989 HAS SOUPS 22989 WITH SCORE 23045.042
AT ITER 1790 NEW BEST:: SOT 114525 SOS 56002 HAS SOPS 56002 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22998.002
AT ITER 1797 NEW BEST:: SOT 114083 SOS 56299 HAS SOPS 56299 HAS SOUS 22742 HAS SOUPS 22742 WITH SCORE 22798.299
AT ITER 1806 NEW BEST:: SOT 114070 SOS 56311 HAS SOPS 56311 HAS SOUS 22729 HAS SOUPS 22729 WITH SCORE 22785.311
AT ITER 1808 NEW BEST:: SOT 114070 SOS 56247 HAS SOPS 56247 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22769.247
AT ITER 1811 NEW BEST:: SOT 113884 SOS 56061 HAS SOPS 56061 HAS SOUS 22646 HAS SOUPS 22646 WITH SCORE 22702.061
AT ITER 1819 NEW BEST:: SOT 113776 SOS 55953 HAS SOPS 55953 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22673.953
AT ITER 1823 NEW BEST:: SOT 113772 SOS 55949 HAS SOPS 55949 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22673.949
AT ITER 1825 NEW BEST:: SOT 113771 SOS 55948 HAS SOPS 55948 HAS SOUS 22613 HAS SOUPS 22613 WITH SCORE 22668.948
AT ITER 1831 NEW BEST:: SOT 113713 SOS 55890 HAS SOPS 55890 HAS SOUS 22540 HAS SOUPS 22540 WITH SCORE 22595.89
AT ITER 1835 NEW BEST:: SOT 113723 SOS 55795 HAS SOPS 55795 HAS SOUS 22533 HAS SOUPS 22533 WITH SCORE 22588.795
AT ITER 1838 NEW BEST:: SOT 113720 SOS 55977 HAS SOPS 55977 HAS SOUS 22491 HAS SOUPS 22491 WITH SCORE 22546.977
AT ITER 1839 NEW BEST:: SOT 113671 SOS 55982 HAS SOPS 55982 HAS SOUS 22433 HAS SOUPS 22433 WITH SCORE 22488.982
AT ITER 1844 NEW BEST:: SOT 113671 SOS 55984 HAS SOPS 55984 HAS SOUS 22432 HAS SOUPS 22432 WITH SCORE 22487.984
AT ITER 1847 NEW BEST:: SOT 113659 SOS 55962 HAS SOPS 55962 HAS SOUS 22413 HAS SOUPS 22413 WITH SCORE 22468.962
AT ITER 1859 NEW BEST:: SOT 113656 SOS 55956 HAS SOPS 55956 HAS SOUS 22410 HAS SOUPS 22410 WITH SCORE 22465.956
AT ITER 1863 NEW BEST:: SOT 113648 SOS 55986 HAS SOPS 55986 HAS SOUS 22402 HAS SOUPS 22402 WITH SCORE 22457.986
AT ITER 1873 NEW BEST:: SOT 113633 SOS 56016 HAS SOPS 56016 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22443.016
AT ITER 1877 NEW BEST:: SOT 113605 SOS 55988 HAS SOPS 55988 HAS SOUS 22383 HAS SOUPS 22383 WITH SCORE 22438.988
AT ITER 1886 NEW BEST:: SOT 113571 SOS 55954 HAS SOPS 55954 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22390.954
AT ITER 1905 NEW BEST:: SOT 113499 SOS 55882 HAS SOPS 55882 HAS SOUS 22286 HAS SOUPS 22286 WITH SCORE 22341.882
AT ITER 1936 NEW BEST:: SOT 113503 SOS 55882 HAS SOPS 55882 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22330.882
AT ITER 1944 NEW BEST:: SOT 113499 SOS 55878 HAS SOPS 55878 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22326.878
AT ITER 1951 NEW BEST:: SOT 113499 SOS 55832 HAS SOPS 55832 HAS SOUS 22248 HAS SOUPS 22248 WITH SCORE 22303.832
AT ITER 1953 NEW BEST:: SOT 113476 SOS 55620 HAS SOPS 55620 HAS SOUS 22233 HAS SOUPS 22233 WITH SCORE 22288.62
AT ITER 1961 NEW BEST:: SOT 113448 SOS 55582 HAS SOPS 55582 HAS SOUS 22191 HAS SOUPS 22191 WITH SCORE 22246.582
AT ITER 1962 NEW BEST:: SOT 113419 SOS 55441 HAS SOPS 55441 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22138.441
AT ITER 1981 NEW BEST:: SOT 113440 SOS 55444 HAS SOPS 55444 HAS SOUS 22082 HAS SOUPS 22082 WITH SCORE 22137.444
AT ITER 2009 NEW BEST:: SOT 113387 SOS 55328 HAS SOPS 55328 HAS SOUS 22009 HAS SOUPS 22009 WITH SCORE 22064.328
AT ITER 2030 NEW BEST:: SOT 113337 SOS 55278 HAS SOPS 55278 HAS SOUS 21966 HAS SOUPS 21966 WITH SCORE 22021.278
AT ITER 2046 NEW BEST:: SOT 113323 SOS 55264 HAS SOPS 55264 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 22007.264
AT ITER 2049 NEW BEST:: SOT 113323 SOS 55264 HAS SOPS 55264 HAS SOUS 21903 HAS SOUPS 21903 WITH SCORE 21958.264
AT ITER 2050 NEW BEST:: SOT 113311 SOS 55252 HAS SOPS 55252 HAS SOUS 21877 HAS SOUPS 21877 WITH SCORE 21932.252
AT ITER 2053 NEW BEST:: SOT 113353 SOS 55284 HAS SOPS 55284 HAS SOUS 21830 HAS SOUPS 21830 WITH SCORE 21885.284
AT ITER 2067 NEW BEST:: SOT 113255 SOS 56655 HAS SOPS 56655 HAS SOUS 21782 HAS SOUPS 21782 WITH SCORE 21838.655
AT ITER 2111 NEW BEST:: SOT 113255 SOS 56655 HAS SOPS 56655 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21819.655
AT ITER 2112 NEW BEST:: SOT 113254 SOS 56662 HAS SOPS 56662 HAS SOUS 21753 HAS SOUPS 21753 WITH SCORE 21809.662
AT ITER 2118 NEW BEST:: SOT 113253 SOS 56663 HAS SOPS 56663 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21808.663
AT ITER 2119 NEW BEST:: SOT 113253 SOS 56618 HAS SOPS 56618 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21808.618
AT ITER 2120 NEW BEST:: SOT 113335 SOS 56534 HAS SOPS 56534 HAS SOUS 21658 HAS SOUPS 21658 WITH SCORE 21714.534
AT ITER 2142 NEW BEST:: SOT 113226 SOS 56432 HAS SOPS 56432 HAS SOUS 21615 HAS SOUPS 21615 WITH SCORE 21671.432
AT ITER 2156 NEW BEST:: SOT 113198 SOS 56284 HAS SOPS 56284 HAS SOUS 21579 HAS SOUPS 21579 WITH SCORE 21635.284
AT ITER 2164 NEW BEST:: SOT 112970 SOS 56236 HAS SOPS 56236 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21513.236
AT ITER 2168 NEW BEST:: SOT 112970 SOS 56236 HAS SOPS 56236 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21510.236
AT ITER 2171 NEW BEST:: SOT 112970 SOS 56236 HAS SOPS 56236 HAS SOUS 21449 HAS SOUPS 21449 WITH SCORE 21505.236
AT ITER 2191 NEW BEST:: SOT 112886 SOS 56102 HAS SOPS 56102 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21453.102
AT ITER 2194 NEW BEST:: SOT 112862 SOS 56078 HAS SOPS 56078 HAS SOUS 21373 HAS SOUPS 21373 WITH SCORE 21429.078
AT ITER 2231 NEW BEST:: SOT 112782 SOS 56008 HAS SOPS 56008 HAS SOUS 21364 HAS SOUPS 21364 WITH SCORE 21420.008
AT ITER 2234 NEW BEST:: SOT 112764 SOS 55990 HAS SOPS 55990 HAS SOUS 21346 HAS SOUPS 21346 WITH SCORE 21401.99
AT ITER 2262 NEW BEST:: SOT 112764 SOS 55990 HAS SOPS 55990 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21397.99
AT ITER 2270 NEW BEST:: SOT 112752 SOS 55805 HAS SOPS 55805 HAS SOUS 21299 HAS SOUPS 21299 WITH SCORE 21354.805
AT ITER 2276 NEW BEST:: SOT 112752 SOS 55819 HAS SOPS 55819 HAS SOUS 21292 HAS SOUPS 21292 WITH SCORE 21347.819
AT ITER 2281 NEW BEST:: SOT 112717 SOS 55401 HAS SOPS 55401 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21331.401
AT ITER 2309 NEW BEST:: SOT 112678 SOS 55337 HAS SOPS 55337 HAS SOUS 21246 HAS SOUPS 21246 WITH SCORE 21301.337
AT ITER 2328 NEW BEST:: SOT 112542 SOS 55186 HAS SOPS 55186 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21271.186
AT ITER 2333 NEW BEST:: SOT 112551 SOS 55119 HAS SOPS 55119 HAS SOUS 21187 HAS SOUPS 21187 WITH SCORE 21242.119
AT ITER 2347 NEW BEST:: SOT 112561 SOS 55118 HAS SOPS 55118 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21241.118
AT ITER 2357 NEW BEST:: SOT 112553 SOS 55102 HAS SOPS 55102 HAS SOUS 21178 HAS SOUPS 21178 WITH SCORE 21233.102
AT ITER 2360 NEW BEST:: SOT 112546 SOS 55080 HAS SOPS 55080 HAS SOUS 21169 HAS SOUPS 21169 WITH SCORE 21224.08
AT ITER 2365 NEW BEST:: SOT 112549 SOS 55074 HAS SOPS 55074 HAS SOUS 21163 HAS SOUPS 21163 WITH SCORE 21218.074
AT ITER 2368 NEW BEST:: SOT 112500 SOS 55024 HAS SOPS 55024 HAS SOUS 21102 HAS SOUPS 21102 WITH SCORE 21157.024
AT ITER 2375 NEW BEST:: SOT 112435 SOS 54907 HAS SOPS 54907 HAS SOUS 21076 HAS SOUPS 21076 WITH SCORE 21130.907
AT ITER 2393 NEW BEST:: SOT 112519 SOS 54991 HAS SOPS 54991 HAS SOUS 21010 HAS SOUPS 21010 WITH SCORE 21064.991
AT ITER 2408 NEW BEST:: SOT 112519 SOS 55033 HAS SOPS 55033 HAS SOUS 21006 HAS SOUPS 21006 WITH SCORE 21061.033
AT ITER 2427 NEW BEST:: SOT 112519 SOS 55033 HAS SOPS 55033 HAS SOUS 21000 HAS SOUPS 21000 WITH SCORE 21055.033
AT ITER 2446 NEW BEST:: SOT 112517 SOS 55031 HAS SOPS 55031 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20997.031
AT ITER 2470 NEW BEST:: SOT 112537 SOS 55030 HAS SOPS 55030 HAS SOUS 20905 HAS SOUPS 20905 WITH SCORE 20960.03
AT ITER 2471 NEW BEST:: SOT 112485 SOS 54862 HAS SOPS 54862 HAS SOUS 20904 HAS SOUPS 20904 WITH SCORE 20958.862
AT ITER 2508 NEW BEST:: SOT 112473 SOS 54850 HAS SOPS 54850 HAS SOUS 20886 HAS SOUPS 20886 WITH SCORE 20940.85
AT ITER 2516 NEW BEST:: SOT 112548 SOS 54682 HAS SOPS 54682 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20826.682
AT ITER 2527 NEW BEST:: SOT 112545 SOS 54679 HAS SOPS 54679 HAS SOUS 20769 HAS SOUPS 20769 WITH SCORE 20823.679
AT ITER 2532 NEW BEST:: SOT 112485 SOS 54619 HAS SOPS 54619 HAS SOUS 20709 HAS SOUPS 20709 WITH SCORE 20763.619
AT ITER 2533 NEW BEST:: SOT 112515 SOS 54649 HAS SOPS 54649 HAS SOUS 20695 HAS SOUPS 20695 WITH SCORE 20749.649
AT ITER 2560 NEW BEST:: SOT 112502 SOS 54651 HAS SOPS 54651 HAS SOUS 20680 HAS SOUPS 20680 WITH SCORE 20734.651
AT ITER 2564 NEW BEST:: SOT 112502 SOS 54633 HAS SOPS 54633 HAS SOUS 20680 HAS SOUPS 20680 WITH SCORE 20734.633
AT ITER 2575 NEW BEST:: SOT 112469 SOS 54599 HAS SOPS 54599 HAS SOUS 20647 HAS SOUPS 20647 WITH SCORE 20701.599
AT ITER 2649 NEW BEST:: SOT 112306 SOS 54390 HAS SOPS 54390 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20679.39
AT ITER 2663 NEW BEST:: SOT 112306 SOS 54198 HAS SOPS 54198 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20679.198
AT ITER 2668 NEW BEST:: SOT 112163 SOS 54258 HAS SOPS 54258 HAS SOUS 20601 HAS SOUPS 20601 WITH SCORE 20655.258
AT ITER 2670 NEW BEST:: SOT 112130 SOS 54214 HAS SOPS 54214 HAS SOUS 20561 HAS SOUPS 20561 WITH SCORE 20615.214
AT ITER 2698 NEW BEST:: SOT 112127 SOS 54208 HAS SOPS 54208 HAS SOUS 20561 HAS SOUPS 20561 WITH SCORE 20615.208
AT ITER 2709 NEW BEST:: SOT 112154 SOS 54222 HAS SOPS 54222 HAS SOUS 20526 HAS SOUPS 20526 WITH SCORE 20580.222
AT ITER 2737 NEW BEST:: SOT 112146 SOS 54186 HAS SOPS 54186 HAS SOUS 20508 HAS SOUPS 20508 WITH SCORE 20562.186
AT ITER 2741 NEW BEST:: SOT 112084 SOS 54131 HAS SOPS 54131 HAS SOUS 20496 HAS SOUPS 20496 WITH SCORE 20550.131
AT ITER 2792 NEW BEST:: SOT 112082 SOS 54119 HAS SOPS 54119 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20544.119
AT ITER 2797 NEW BEST:: SOT 112080 SOS 54200 HAS SOPS 54200 HAS SOUS 20488 HAS SOUPS 20488 WITH SCORE 20542.2
AT ITER 2799 NEW BEST:: SOT 112080 SOS 54194 HAS SOPS 54194 HAS SOUS 20477 HAS SOUPS 20477 WITH SCORE 20531.194
AT ITER 2817 NEW BEST:: SOT 111914 SOS 54028 HAS SOPS 54028 HAS SOUS 20310 HAS SOUPS 20310 WITH SCORE 20364.028
AT ITER 2830 NEW BEST:: SOT 111839 SOS 53953 HAS SOPS 53953 HAS SOUS 20257 HAS SOUPS 20257 WITH SCORE 20310.953
AT ITER 2843 NEW BEST:: SOT 111772 SOS 53765 HAS SOPS 53765 HAS SOUS 20190 HAS SOUPS 20190 WITH SCORE 20243.765
AT ITER 2844 NEW BEST:: SOT 111740 SOS 53742 HAS SOPS 53742 HAS SOUS 20167 HAS SOUPS 20167 WITH SCORE 20220.742
AT ITER 2850 NEW BEST:: SOT 111635 SOS 53584 HAS SOPS 53584 HAS SOUS 20062 HAS SOUPS 20062 WITH SCORE 20115.584
AT ITER 2856 NEW BEST:: SOT 111634 SOS 53594 HAS SOPS 53594 HAS SOUS 20060 HAS SOUPS 20060 WITH SCORE 20113.594
AT ITER 2871 NEW BEST:: SOT 111592 SOS 53606 HAS SOPS 53606 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20066.606
AT ITER 2877 NEW BEST:: SOT 111485 SOS 53468 HAS SOPS 53468 HAS SOUS 19945 HAS SOUPS 19945 WITH SCORE 19998.468
AT ITER 2887 NEW BEST:: SOT 111521 SOS 53495 HAS SOPS 53495 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19959.495
AT ITER 2918 NEW BEST:: SOT 111380 SOS 53354 HAS SOPS 53354 HAS SOUS 19846 HAS SOUPS 19846 WITH SCORE 19899.354
AT ITER 2947 NEW BEST:: SOT 111365 SOS 53324 HAS SOPS 53324 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19884.324
AT ITER 2971 NEW BEST:: SOT 111363 SOS 53322 HAS SOPS 53322 HAS SOUS 19818 HAS SOUPS 19818 WITH SCORE 19871.322
AT ITER 2985 NEW BEST:: SOT 111351 SOS 53184 HAS SOPS 53184 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19847.184
AT ITER 3001 NEW BEST:: SOT 111037 SOS 52886 HAS SOPS 52886 HAS SOUS 19774 HAS SOUPS 19774 WITH SCORE 19826.886
AT ITER 3033 NEW BEST:: SOT 111035 SOS 52791 HAS SOPS 52791 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19821.791
AT ITER 3041 NEW BEST:: SOT 111010 SOS 52697 HAS SOPS 52697 HAS SOUS 19744 HAS SOUPS 19744 WITH SCORE 19796.697
AT ITER 3098 NEW BEST:: SOT 111010 SOS 52683 HAS SOPS 52683 HAS SOUS 19737 HAS SOUPS 19737 WITH SCORE 19789.683
AT ITER 3104 NEW BEST:: SOT 111010 SOS 52681 HAS SOPS 52681 HAS SOUS 19733 HAS SOUPS 19733 WITH SCORE 19785.681
AT ITER 3110 NEW BEST:: SOT 111006 SOS 52673 HAS SOPS 52673 HAS SOUS 19729 HAS SOUPS 19729 WITH SCORE 19781.673
AT ITER 3130 NEW BEST:: SOT 111000 SOS 52673 HAS SOPS 52673 HAS SOUS 19723 HAS SOUPS 19723 WITH SCORE 19775.673
AT ITER 3152 NEW BEST:: SOT 110961 SOS 52444 HAS SOPS 52444 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19676.444
AT ITER 3156 NEW BEST:: SOT 110980 SOS 52425 HAS SOPS 52425 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19676.425
AT ITER 3196 NEW BEST:: SOT 110980 SOS 52393 HAS SOPS 52393 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19676.393
AT ITER 3236 NEW BEST:: SOT 110980 SOS 52393 HAS SOPS 52393 HAS SOUS 19615 HAS SOUPS 19615 WITH SCORE 19667.393
AT ITER 3240 NEW BEST:: SOT 110755 SOS 52084 HAS SOPS 52084 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19598.084
AT ITER 3244 NEW BEST:: SOT 110748 SOS 52080 HAS SOPS 52080 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19589.08
AT ITER 3249 NEW BEST:: SOT 110748 SOS 52080 HAS SOPS 52080 HAS SOUS 19531 HAS SOUPS 19531 WITH SCORE 19583.08
AT ITER 3266 NEW BEST:: SOT 110738 SOS 52070 HAS SOPS 52070 HAS SOUS 19521 HAS SOUPS 19521 WITH SCORE 19573.07
AT ITER 3269 NEW BEST:: SOT 110738 SOS 52070 HAS SOPS 52070 HAS SOUS 19513 HAS SOUPS 19513 WITH SCORE 19565.07
AT ITER 3283 NEW BEST:: SOT 110737 SOS 52069 HAS SOPS 52069 HAS SOUS 19492 HAS SOUPS 19492 WITH SCORE 19544.069
AT ITER 3295 NEW BEST:: SOT 110730 SOS 52062 HAS SOPS 52062 HAS SOUS 19475 HAS SOUPS 19475 WITH SCORE 19527.062
AT ITER 3302 NEW BEST:: SOT 110711 SOS 52038 HAS SOPS 52038 HAS SOUS 19463 HAS SOUPS 19463 WITH SCORE 19515.038
AT ITER 3334 NEW BEST:: SOT 110711 SOS 52034 HAS SOPS 52034 HAS SOUS 19461 HAS SOUPS 19461 WITH SCORE 19513.034
AT ITER 3355 NEW BEST:: SOT 110754 SOS 52076 HAS SOPS 52076 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19494.076
AT ITER 3362 NEW BEST:: SOT 110768 SOS 52090 HAS SOPS 52090 HAS SOUS 19428 HAS SOUPS 19428 WITH SCORE 19480.09
AT ITER 3379 NEW BEST:: SOT 110746 SOS 52079 HAS SOPS 52079 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19469.079
AT ITER 3408 NEW BEST:: SOT 110734 SOS 52061 HAS SOPS 52061 HAS SOUS 19393 HAS SOUPS 19393 WITH SCORE 19445.061
AT ITER 3410 NEW BEST:: SOT 110732 SOS 52059 HAS SOPS 52059 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19443.059
AT ITER 3412 NEW BEST:: SOT 110718 SOS 52045 HAS SOPS 52045 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19408.045
AT ITER 3450 NEW BEST:: SOT 110710 SOS 52029 HAS SOPS 52029 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19392.029
AT ITER 3461 NEW BEST:: SOT 110674 SOS 51957 HAS SOPS 51957 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19319.957
AT ITER 3463 NEW BEST:: SOT 110664 SOS 51947 HAS SOPS 51947 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19309.947
AT ITER 3469 NEW BEST:: SOT 110640 SOS 51485 HAS SOPS 51485 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19247.485
AT ITER 3480 NEW BEST:: SOT 110640 SOS 51441 HAS SOPS 51441 HAS SOUS 19150 HAS SOUPS 19150 WITH SCORE 19201.441
AT ITER 3518 NEW BEST:: SOT 110646 SOS 51463 HAS SOPS 51463 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19191.463
AT ITER 3527 NEW BEST:: SOT 110642 SOS 51419 HAS SOPS 51419 HAS SOUS 19129 HAS SOUPS 19129 WITH SCORE 19180.419
AT ITER 3567 NEW BEST:: SOT 110638 SOS 51411 HAS SOPS 51411 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19176.411
AT ITER 3598 NEW BEST:: SOT 110624 SOS 51390 HAS SOPS 51390 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19148.39
AT ITER 3600 NEW BEST:: SOT 110624 SOS 51378 HAS SOPS 51378 HAS SOUS 19091 HAS SOUPS 19091 WITH SCORE 19142.378
AT ITER 3601 NEW BEST:: SOT 110622 SOS 51382 HAS SOPS 51382 HAS SOUS 19089 HAS SOUPS 19089 WITH SCORE 19140.382
AT ITER 3614 NEW BEST:: SOT 110593 SOS 51277 HAS SOPS 51277 HAS SOUS 19079 HAS SOUPS 19079 WITH SCORE 19130.277
AT ITER 3618 NEW BEST:: SOT 110517 SOS 51201 HAS SOPS 51201 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 19018.201
AT ITER 3648 NEW BEST:: SOT 110533 SOS 51209 HAS SOPS 51209 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18998.209
AT ITER 3654 NEW BEST:: SOT 110519 SOS 51153 HAS SOPS 51153 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18984.153
AT ITER 3672 NEW BEST:: SOT 110517 SOS 51158 HAS SOPS 51158 HAS SOUS 18929 HAS SOUPS 18929 WITH SCORE 18980.158
AT ITER 3676 NEW BEST:: SOT 110508 SOS 51146 HAS SOPS 51146 HAS SOUS 18916 HAS SOUPS 18916 WITH SCORE 18967.146
AT ITER 3690 NEW BEST:: SOT 110512 SOS 51138 HAS SOPS 51138 HAS SOUS 18908 HAS SOUPS 18908 WITH SCORE 18959.138
AT ITER 3707 NEW BEST:: SOT 110465 SOS 50987 HAS SOPS 50987 HAS SOUS 18890 HAS SOUPS 18890 WITH SCORE 18940.987
AT ITER 3718 NEW BEST:: SOT 110467 SOS 50985 HAS SOPS 50985 HAS SOUS 18888 HAS SOUPS 18888 WITH SCORE 18938.985
AT ITER 3723 NEW BEST:: SOT 110471 SOS 50534 HAS SOPS 50534 HAS SOUS 18879 HAS SOUPS 18879 WITH SCORE 18929.534
AT ITER 3733 NEW BEST:: SOT 110477 SOS 50540 HAS SOPS 50540 HAS SOUS 18873 HAS SOUPS 18873 WITH SCORE 18923.54
AT ITER 3749 NEW BEST:: SOT 110477 SOS 50532 HAS SOPS 50532 HAS SOUS 18872 HAS SOUPS 18872 WITH SCORE 18922.532
AT ITER 3750 NEW BEST:: SOT 110477 SOS 50528 HAS SOPS 50528 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18918.528
AT ITER 3760 NEW BEST:: SOT 110460 SOS 50511 HAS SOPS 50511 HAS SOUS 18849 HAS SOUPS 18849 WITH SCORE 18899.511
AT ITER 3776 NEW BEST:: SOT 110460 SOS 50551 HAS SOPS 50551 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18879.551
AT ITER 3782 NEW BEST:: SOT 110440 SOS 50531 HAS SOPS 50531 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18858.531
AT ITER 3805 NEW BEST:: SOT 110374 SOS 50458 HAS SOPS 50458 HAS SOUS 18799 HAS SOUPS 18799 WITH SCORE 18849.458
AT ITER 3808 NEW BEST:: SOT 110354 SOS 50438 HAS SOPS 50438 HAS SOUS 18777 HAS SOUPS 18777 WITH SCORE 18827.438
AT ITER 3865 NEW BEST:: SOT 110324 SOS 50408 HAS SOPS 50408 HAS SOUS 18746 HAS SOUPS 18746 WITH SCORE 18796.408
AT ITER 3893 NEW BEST:: SOT 110247 SOS 50343 HAS SOPS 50343 HAS SOUS 18737 HAS SOUPS 18737 WITH SCORE 18787.343
AT ITER 3896 NEW BEST:: SOT 110242 SOS 50360 HAS SOPS 50360 HAS SOUS 18727 HAS SOUPS 18727 WITH SCORE 18777.36
AT ITER 3907 NEW BEST:: SOT 110299 SOS 50327 HAS SOPS 50327 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18771.327
AT ITER 3908 NEW BEST:: SOT 110314 SOS 50383 HAS SOPS 50383 HAS SOUS 18714 HAS SOUPS 18714 WITH SCORE 18764.383
AT ITER 3916 NEW BEST:: SOT 110310 SOS 50311 HAS SOPS 50311 HAS SOUS 18674 HAS SOUPS 18674 WITH SCORE 18724.311
AT ITER 3926 NEW BEST:: SOT 110279 SOS 50280 HAS SOPS 50280 HAS SOUS 18661 HAS SOUPS 18661 WITH SCORE 18711.28
AT ITER 3928 NEW BEST:: SOT 110279 SOS 50266 HAS SOPS 50266 HAS SOUS 18623 HAS SOUPS 18623 WITH SCORE 18673.266
AT ITER 3934 NEW BEST:: SOT 110281 SOS 50297 HAS SOPS 50297 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18668.297
AT ITER 3941 NEW BEST:: SOT 110284 SOS 50299 HAS SOPS 50299 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18651.299
AT ITER 3966 NEW BEST:: SOT 110251 SOS 50296 HAS SOPS 50296 HAS SOUS 18598 HAS SOUPS 18598 WITH SCORE 18648.296
AT ITER 3969 NEW BEST:: SOT 110245 SOS 50260 HAS SOPS 50260 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18632.26
AT ITER 3974 NEW BEST:: SOT 110249 SOS 50316 HAS SOPS 50316 HAS SOUS 18570 HAS SOUPS 18570 WITH SCORE 18620.316
AT ITER 4041 NEW BEST:: SOT 110255 SOS 50236 HAS SOPS 50236 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18618.236
AT ITER 4049 NEW BEST:: SOT 110173 SOS 50154 HAS SOPS 50154 HAS SOUS 18490 HAS SOUPS 18490 WITH SCORE 18540.154
AT ITER 4082 NEW BEST:: SOT 110151 SOS 50171 HAS SOPS 50171 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18535.171
AT ITER 4093 NEW BEST:: SOT 110207 SOS 50122 HAS SOPS 50122 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18525.122
AT ITER 4151 NEW BEST:: SOT 110207 SOS 50090 HAS SOPS 50090 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18479.09
AT ITER 4194 NEW BEST:: SOT 110196 SOS 50079 HAS SOPS 50079 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18468.079
AT ITER 4251 NEW BEST:: SOT 110138 SOS 50021 HAS SOPS 50021 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18468.021
AT ITER 4325 NEW BEST:: SOT 110144 SOS 50030 HAS SOPS 50030 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18462.03
AT ITER 4338 NEW BEST:: SOT 110128 SOS 50014 HAS SOPS 50014 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18462.014
AT ITER 4343 NEW BEST:: SOT 110129 SOS 50015 HAS SOPS 50015 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18461.015
AT ITER 4385 NEW BEST:: SOT 110129 SOS 50015 HAS SOPS 50015 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18444.015
AT ITER 4388 NEW BEST:: SOT 110129 SOS 49961 HAS SOPS 49961 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18443.961
AT ITER 4405 NEW BEST:: SOT 110030 SOS 49890 HAS SOPS 49890 HAS SOUS 18381 HAS SOUPS 18381 WITH SCORE 18430.89
AT ITER 4410 NEW BEST:: SOT 110035 SOS 49895 HAS SOPS 49895 HAS SOUS 18365 HAS SOUPS 18365 WITH SCORE 18414.895
AT ITER 4431 NEW BEST:: SOT 110035 SOS 49895 HAS SOPS 49895 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18401.895
AT ITER 4437 NEW BEST:: SOT 110028 SOS 49911 HAS SOPS 49911 HAS SOUS 18345 HAS SOUPS 18345 WITH SCORE 18394.911
AT ITER 4476 NEW BEST:: SOT 110038 SOS 49921 HAS SOPS 49921 HAS SOUS 18319 HAS SOUPS 18319 WITH SCORE 18368.921
AT ITER 4478 NEW BEST:: SOT 110038 SOS 49921 HAS SOPS 49921 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18348.921
AT ITER 4518 NEW BEST:: SOT 110067 SOS 49950 HAS SOPS 49950 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18335.95
AT ITER 4535 NEW BEST:: SOT 110031 SOS 49914 HAS SOPS 49914 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18299.914
AT ITER 4552 NEW BEST:: SOT 110057 SOS 49879 HAS SOPS 49879 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18280.879
AT ITER 4555 NEW BEST:: SOT 110049 SOS 49871 HAS SOPS 49871 HAS SOUS 18227 HAS SOUPS 18227 WITH SCORE 18276.871
AT ITER 4556 NEW BEST:: SOT 110031 SOS 49853 HAS SOPS 49853 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18264.853
AT ITER 4567 NEW BEST:: SOT 110031 SOS 49817 HAS SOPS 49817 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18264.817
AT ITER 4607 NEW BEST:: SOT 110011 SOS 49795 HAS SOPS 49795 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18257.795
AT ITER 4665 NEW BEST:: SOT 109991 SOS 49739 HAS SOPS 49739 HAS SOUS 18196 HAS SOUPS 18196 WITH SCORE 18245.739
AT ITER 4715 NEW BEST:: SOT 110001 SOS 49749 HAS SOPS 49749 HAS SOUS 18194 HAS SOUPS 18194 WITH SCORE 18243.749
AT ITER 4722 NEW BEST:: SOT 110001 SOS 49729 HAS SOPS 49729 HAS SOUS 18194 HAS SOUPS 18194 WITH SCORE 18243.729
AT ITER 4731 NEW BEST:: SOT 109999 SOS 49706 HAS SOPS 49706 HAS SOUS 18178 HAS SOUPS 18178 WITH SCORE 18227.706
AT ITER 4775 NEW BEST:: SOT 110083 SOS 49790 HAS SOPS 49790 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18219.79
AT ITER 4791 NEW BEST:: SOT 110079 SOS 49786 HAS SOPS 49786 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18211.786
AT ITER 4862 NEW BEST:: SOT 110079 SOS 49786 HAS SOPS 49786 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18209.786
AT ITER 4878 NEW BEST:: SOT 110080 SOS 49774 HAS SOPS 49774 HAS SOUS 18154 HAS SOUPS 18154 WITH SCORE 18203.774
AT ITER 4905 NEW BEST:: SOT 110089 SOS 49769 HAS SOPS 49769 HAS SOUS 18147 HAS SOUPS 18147 WITH SCORE 18196.769
AT ITER 4912 NEW BEST:: SOT 110069 SOS 49749 HAS SOPS 49749 HAS SOUS 18108 HAS SOUPS 18108 WITH SCORE 18157.749
AT ITER 4930 NEW BEST:: SOT 110059 SOS 49739 HAS SOPS 49739 HAS SOUS 18098 HAS SOUPS 18098 WITH SCORE 18147.739
AT ITER 4945 NEW BEST:: SOT 110041 SOS 49721 HAS SOPS 49721 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18137.721
AT ITER 4993 NEW BEST:: SOT 110039 SOS 49717 HAS SOPS 49717 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18135.717
AT ITER 5044 NEW BEST:: SOT 110031 SOS 49693 HAS SOPS 49693 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18135.693
AT ITER 5059 NEW BEST:: SOT 110031 SOS 49693 HAS SOPS 49693 HAS SOUS 18083 HAS SOUPS 18083 WITH SCORE 18132.693
AT ITER 5081 NEW BEST:: SOT 110022 SOS 49587 HAS SOPS 49587 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18107.587
AT ITER 5120 NEW BEST:: SOT 110016 SOS 49557 HAS SOPS 49557 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18101.557
AT ITER 5193 NEW BEST:: SOT 110017 SOS 49558 HAS SOPS 49558 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18100.558
AT ITER 5223 NEW BEST:: SOT 110048 SOS 49589 HAS SOPS 49589 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18050.589
AT ITER 5234 NEW BEST:: SOT 110015 SOS 49601 HAS SOPS 49601 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18048.601
AT ITER 5247 NEW BEST:: SOT 110015 SOS 49601 HAS SOPS 49601 HAS SOUS 17998 HAS SOUPS 17998 WITH SCORE 18047.601
AT ITER 5249 NEW BEST:: SOT 110011 SOS 49589 HAS SOPS 49589 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18042.589
AT ITER 5255 NEW BEST:: SOT 110011 SOS 49581 HAS SOPS 49581 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18042.581
AT ITER 5273 NEW BEST:: SOT 110051 SOS 49621 HAS SOPS 49621 HAS SOUS 17958 HAS SOUPS 17958 WITH SCORE 18007.621
AT ITER 5286 NEW BEST:: SOT 110051 SOS 49621 HAS SOPS 49621 HAS SOUS 17949 HAS SOUPS 17949 WITH SCORE 17998.621
AT ITER 5324 NEW BEST:: SOT 110051 SOS 49615 HAS SOPS 49615 HAS SOUS 17949 HAS SOUPS 17949 WITH SCORE 17998.615
AT ITER 5431 NEW BEST:: SOT 110049 SOS 49613 HAS SOPS 49613 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17992.613
AT ITER 5437 NEW BEST:: SOT 110082 SOS 49646 HAS SOPS 49646 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17987.646
AT ITER 5438 NEW BEST:: SOT 110089 SOS 49632 HAS SOPS 49632 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17987.632
AT ITER 5450 NEW BEST:: SOT 110119 SOS 49658 HAS SOPS 49658 HAS SOUS 17926 HAS SOUPS 17926 WITH SCORE 17975.658
AT ITER 5499 NEW BEST:: SOT 110085 SOS 49624 HAS SOPS 49624 HAS SOUS 17892 HAS SOUPS 17892 WITH SCORE 17941.624
AT ITER 5527 NEW BEST:: SOT 110085 SOS 49590 HAS SOPS 49590 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17924.59
AT ITER 5547 NEW BEST:: SOT 110079 SOS 49584 HAS SOPS 49584 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17918.584
AT ITER 5576 NEW BEST:: SOT 110062 SOS 49560 HAS SOPS 49560 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17866.56
AT ITER 5619 NEW BEST:: SOT 110059 SOS 49560 HAS SOPS 49560 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17860.56
AT ITER 5652 NEW BEST:: SOT 110047 SOS 49536 HAS SOPS 49536 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17848.536
AT ITER 5665 NEW BEST:: SOT 110029 SOS 49482 HAS SOPS 49482 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17830.482
AT ITER 5880 NEW BEST:: SOT 110046 SOS 49124 HAS SOPS 49124 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17738.124
AT ITER 5896 NEW BEST:: SOT 110046 SOS 49124 HAS SOPS 49124 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17737.124
AT ITER 5899 NEW BEST:: SOT 110169 SOS 49247 HAS SOPS 49247 HAS SOUS 17657 HAS SOUPS 17657 WITH SCORE 17706.247
AT ITER 5935 NEW BEST:: SOT 110158 SOS 49212 HAS SOPS 49212 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17689.212
AT ITER 5937 NEW BEST:: SOT 110161 SOS 49233 HAS SOPS 49233 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17681.233
AT ITER 5939 NEW BEST:: SOT 110148 SOS 49246 HAS SOPS 49246 HAS SOUS 17624 HAS SOUPS 17624 WITH SCORE 17673.246
AT ITER 5943 NEW BEST:: SOT 110031 SOS 49042 HAS SOPS 49042 HAS SOUS 17578 HAS SOUPS 17578 WITH SCORE 17627.042
AT ITER 5967 NEW BEST:: SOT 110029 SOS 49040 HAS SOPS 49040 HAS SOUS 17578 HAS SOUPS 17578 WITH SCORE 17627.04
AT ITER 5986 NEW BEST:: SOT 110021 SOS 49016 HAS SOPS 49016 HAS SOUS 17566 HAS SOUPS 17566 WITH SCORE 17615.016
AT ITER 6020 NEW BEST:: SOT 109998 SOS 48993 HAS SOPS 48993 HAS SOUS 17550 HAS SOUPS 17550 WITH SCORE 17598.993
AT ITER 6031 NEW BEST:: SOT 109979 SOS 48967 HAS SOPS 48967 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17579.967
AT ITER 6067 NEW BEST:: SOT 109969 SOS 48957 HAS SOPS 48957 HAS SOUS 17521 HAS SOUPS 17521 WITH SCORE 17569.957
AT ITER 6068 NEW BEST:: SOT 109943 SOS 48973 HAS SOPS 48973 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17567.973
AT ITER 6224 NEW BEST:: SOT 109943 SOS 48973 HAS SOPS 48973 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17565.973
AT ITER 6237 NEW BEST:: SOT 109946 SOS 48939 HAS SOPS 48939 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17565.939
AT ITER 6283 NEW BEST:: SOT 109944 SOS 48937 HAS SOPS 48937 HAS SOUS 17514 HAS SOUPS 17514 WITH SCORE 17562.937
AT ITER 6285 NEW BEST:: SOT 109941 SOS 48928 HAS SOPS 48928 HAS SOUS 17511 HAS SOUPS 17511 WITH SCORE 17559.928
AT ITER 6381 NEW BEST:: SOT 109971 SOS 48958 HAS SOPS 48958 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17529.958
AT ITER 6394 NEW BEST:: SOT 109967 SOS 48954 HAS SOPS 48954 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17516.954
AT ITER 6398 NEW BEST:: SOT 109968 SOS 48955 HAS SOPS 48955 HAS SOUS 17463 HAS SOUPS 17463 WITH SCORE 17511.955
AT ITER 6402 NEW BEST:: SOT 109960 SOS 48939 HAS SOPS 48939 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17509.939
AT ITER 6489 NEW BEST:: SOT 109997 SOS 48918 HAS SOPS 48918 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17509.918
AT ITER 6503 NEW BEST:: SOT 109991 SOS 48900 HAS SOPS 48900 HAS SOUS 17458 HAS SOUPS 17458 WITH SCORE 17506.9
AT ITER 6559 NEW BEST:: SOT 109985 SOS 48876 HAS SOPS 48876 HAS SOUS 17454 HAS SOUPS 17454 WITH SCORE 17502.876
AT ITER 6580 NEW BEST:: SOT 109887 SOS 48778 HAS SOPS 48778 HAS SOUS 17438 HAS SOUPS 17438 WITH SCORE 17486.778
AT ITER 6590 NEW BEST:: SOT 109887 SOS 48783 HAS SOPS 48783 HAS SOUS 17433 HAS SOUPS 17433 WITH SCORE 17481.783
AT ITER 6627 NEW BEST:: SOT 109885 SOS 48770 HAS SOPS 48770 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17477.77
AT ITER 6629 NEW BEST:: SOT 109903 SOS 48956 HAS SOPS 48956 HAS SOUS 17415 HAS SOUPS 17415 WITH SCORE 17463.956
AT ITER 6682 NEW BEST:: SOT 109859 SOS 48868 HAS SOPS 48868 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17427.868
AT ITER 6684 NEW BEST:: SOT 109845 SOS 48876 HAS SOPS 48876 HAS SOUS 17351 HAS SOUPS 17351 WITH SCORE 17399.876
AT ITER 6694 NEW BEST:: SOT 109855 SOS 48796 HAS SOPS 48796 HAS SOUS 17343 HAS SOUPS 17343 WITH SCORE 17391.796
AT ITER 6698 NEW BEST:: SOT 109840 SOS 48786 HAS SOPS 48786 HAS SOUS 17318 HAS SOUPS 17318 WITH SCORE 17366.786
AT ITER 6699 NEW BEST:: SOT 109842 SOS 48776 HAS SOPS 48776 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17363.776
AT ITER 6709 NEW BEST:: SOT 109838 SOS 48819 HAS SOPS 48819 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17344.819
AT ITER 6710 NEW BEST:: SOT 109923 SOS 48944 HAS SOPS 48944 HAS SOUS 17293 HAS SOUPS 17293 WITH SCORE 17341.944
AT ITER 6713 NEW BEST:: SOT 109918 SOS 48934 HAS SOPS 48934 HAS SOUS 17293 HAS SOUPS 17293 WITH SCORE 17341.934
AT ITER 6741 NEW BEST:: SOT 109890 SOS 48894 HAS SOPS 48894 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17293.894
AT ITER 6742 NEW BEST:: SOT 109890 SOS 48884 HAS SOPS 48884 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17293.884
AT ITER 6839 NEW BEST:: SOT 109880 SOS 48854 HAS SOPS 48854 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17283.854
AT ITER 6878 NEW BEST:: SOT 109878 SOS 48852 HAS SOPS 48852 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17281.852
AT ITER 6908 NEW BEST:: SOT 109879 SOS 48844 HAS SOPS 48844 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17273.844
AT ITER 6931 NEW BEST:: SOT 109862 SOS 48844 HAS SOPS 48844 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17239.844
AT ITER 6948 NEW BEST:: SOT 109877 SOS 48654 HAS SOPS 48654 HAS SOUS 17191 HAS SOUPS 17191 WITH SCORE 17239.654
AT ITER 6974 NEW BEST:: SOT 109874 SOS 48648 HAS SOPS 48648 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17221.648
AT ITER 7024 NEW BEST:: SOT 109842 SOS 48599 HAS SOPS 48599 HAS SOUS 17121 HAS SOUPS 17121 WITH SCORE 17169.599
AT ITER 7051 NEW BEST:: SOT 109801 SOS 48558 HAS SOPS 48558 HAS SOUS 17114 HAS SOUPS 17114 WITH SCORE 17162.558
AT ITER 7060 NEW BEST:: SOT 109845 SOS 48602 HAS SOPS 48602 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17161.602
AT ITER 7065 NEW BEST:: SOT 109832 SOS 48549 HAS SOPS 48549 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17154.549
AT ITER 7074 NEW BEST:: SOT 109827 SOS 48524 HAS SOPS 48524 HAS SOUS 17101 HAS SOUPS 17101 WITH SCORE 17149.524
AT ITER 7079 NEW BEST:: SOT 109750 SOS 48481 HAS SOPS 48481 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17129.481
AT ITER 7110 NEW BEST:: SOT 109728 SOS 48457 HAS SOPS 48457 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17097.457
AT ITER 7137 NEW BEST:: SOT 109679 SOS 48408 HAS SOPS 48408 HAS SOUS 17025 HAS SOUPS 17025 WITH SCORE 17073.408
AT ITER 7212 NEW BEST:: SOT 109677 SOS 48408 HAS SOPS 48408 HAS SOUS 17023 HAS SOUPS 17023 WITH SCORE 17071.408
AT ITER 7260 NEW BEST:: SOT 109684 SOS 48402 HAS SOPS 48402 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17068.402
AT ITER 7303 NEW BEST:: SOT 109618 SOS 48336 HAS SOPS 48336 HAS SOUS 16904 HAS SOUPS 16904 WITH SCORE 16952.336
AT ITER 7348 NEW BEST:: SOT 109602 SOS 48320 HAS SOPS 48320 HAS SOUS 16858 HAS SOUPS 16858 WITH SCORE 16906.32
AT ITER 7503 NEW BEST:: SOT 109596 SOS 48314 HAS SOPS 48314 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16902.314
AT ITER 7594 NEW BEST:: SOT 109590 SOS 48276 HAS SOPS 48276 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16896.276
AT ITER 7671 NEW BEST:: SOT 109586 SOS 48272 HAS SOPS 48272 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16893.272
AT ITER 7697 NEW BEST:: SOT 109571 SOS 48236 HAS SOPS 48236 HAS SOUS 16809 HAS SOUPS 16809 WITH SCORE 16857.236
AT ITER 7735 NEW BEST:: SOT 109566 SOS 48231 HAS SOPS 48231 HAS SOUS 16807 HAS SOUPS 16807 WITH SCORE 16855.231
AT ITER 7737 NEW BEST:: SOT 109528 SOS 48179 HAS SOPS 48179 HAS SOUS 16797 HAS SOUPS 16797 WITH SCORE 16845.179
AT ITER 7786 NEW BEST:: SOT 109528 SOS 48165 HAS SOPS 48165 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16831.165
AT ITER 7866 NEW BEST:: SOT 109524 SOS 48149 HAS SOPS 48149 HAS SOUS 16775 HAS SOUPS 16775 WITH SCORE 16823.149
AT ITER 7891 NEW BEST:: SOT 109490 SOS 48103 HAS SOPS 48103 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16783.103
AT ITER 7924 NEW BEST:: SOT 109532 SOS 48069 HAS SOPS 48069 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16756.069
AT ITER 8009 NEW BEST:: SOT 109532 SOS 48069 HAS SOPS 48069 HAS SOUS 16696 HAS SOUPS 16696 WITH SCORE 16744.069
AT ITER 8181 NEW BEST:: SOT 109536 SOS 48065 HAS SOPS 48065 HAS SOUS 16675 HAS SOUPS 16675 WITH SCORE 16723.065
AT ITER 8189 NEW BEST:: SOT 109552 SOS 48081 HAS SOPS 48081 HAS SOUS 16661 HAS SOUPS 16661 WITH SCORE 16709.081
AT ITER 8232 NEW BEST:: SOT 109553 SOS 48085 HAS SOPS 48085 HAS SOUS 16657 HAS SOUPS 16657 WITH SCORE 16705.085
AT ITER 8245 NEW BEST:: SOT 109553 SOS 48083 HAS SOPS 48083 HAS SOUS 16657 HAS SOUPS 16657 WITH SCORE 16705.083
AT ITER 8271 NEW BEST:: SOT 109525 SOS 48077 HAS SOPS 48077 HAS SOUS 16657 HAS SOUPS 16657 WITH SCORE 16705.077
AT ITER 8366 NEW BEST:: SOT 109525 SOS 48072 HAS SOPS 48072 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16695.072
AT ITER 8502 NEW BEST:: SOT 109519 SOS 48059 HAS SOPS 48059 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16689.059
AT ITER 8535 NEW BEST:: SOT 109507 SOS 48047 HAS SOPS 48047 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16689.047
AT ITER 8560 NEW BEST:: SOT 109501 SOS 48041 HAS SOPS 48041 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16689.041
AT ITER 8573 NEW BEST:: SOT 109489 SOS 48029 HAS SOPS 48029 HAS SOUS 16629 HAS SOUPS 16629 WITH SCORE 16677.029
AT ITER 8579 NEW BEST:: SOT 109411 SOS 47951 HAS SOPS 47951 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16662.951
AT ITER 8723 NEW BEST:: SOT 109412 SOS 47950 HAS SOPS 47950 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16662.95
AT ITER 8744 NEW BEST:: SOT 109410 SOS 47945 HAS SOPS 47945 HAS SOUS 16612 HAS SOUPS 16612 WITH SCORE 16659.945
AT ITER 8752 NEW BEST:: SOT 109405 SOS 47940 HAS SOPS 47940 HAS SOUS 16610 HAS SOUPS 16610 WITH SCORE 16657.94
AT ITER 8759 NEW BEST:: SOT 109401 SOS 47936 HAS SOPS 47936 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16652.936
AT ITER 8794 NEW BEST:: SOT 109381 SOS 47910 HAS SOPS 47910 HAS SOUS 16603 HAS SOUPS 16603 WITH SCORE 16650.91
AT ITER 8808 NEW BEST:: SOT 109354 SOS 47883 HAS SOPS 47883 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16644.883
AT ITER 8917 NEW BEST:: SOT 109352 SOS 47881 HAS SOPS 47881 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16644.881
AT ITER 8939 NEW BEST:: SOT 109352 SOS 47853 HAS SOPS 47853 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16636.853
AT ITER 9058 NEW BEST:: SOT 109352 SOS 47832 HAS SOPS 47832 HAS SOUS 16589 HAS SOUPS 16589 WITH SCORE 16636.832
AT ITER 9090 NEW BEST:: SOT 109342 SOS 47812 HAS SOPS 47812 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16626.812
AT ITER 9099 NEW BEST:: SOT 109334 SOS 47796 HAS SOPS 47796 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16618.796
AT ITER 9121 NEW BEST:: SOT 109297 SOS 47666 HAS SOPS 47666 HAS SOUS 16542 HAS SOUPS 16542 WITH SCORE 16589.666
AT ITER 9146 NEW BEST:: SOT 109292 SOS 47587 HAS SOPS 47587 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16584.587
AT ITER 9175 NEW BEST:: SOT 109292 SOS 47494 HAS SOPS 47494 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16584.494
AT ITER 9188 NEW BEST:: SOT 109296 SOS 47533 HAS SOPS 47533 HAS SOUS 16530 HAS SOUPS 16530 WITH SCORE 16577.533
AT ITER 9200 NEW BEST:: SOT 109294 SOS 47531 HAS SOPS 47531 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16575.531
AT ITER 9243 NEW BEST:: SOT 109294 SOS 47533 HAS SOPS 47533 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16574.533
AT ITER 9281 NEW BEST:: SOT 109294 SOS 47513 HAS SOPS 47513 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16564.513
AT ITER 9293 NEW BEST:: SOT 109255 SOS 47474 HAS SOPS 47474 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16556.474
AT ITER 9300 NEW BEST:: SOT 109245 SOS 47521 HAS SOPS 47521 HAS SOUS 16500 HAS SOUPS 16500 WITH SCORE 16547.521
AT ITER 9319 NEW BEST:: SOT 109250 SOS 47511 HAS SOPS 47511 HAS SOUS 16500 HAS SOUPS 16500 WITH SCORE 16547.511
AT ITER 9362 NEW BEST:: SOT 109246 SOS 47507 HAS SOPS 47507 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16543.507
AT ITER 9546 NEW BEST:: SOT 109241 SOS 47527 HAS SOPS 47527 HAS SOUS 16486 HAS SOUPS 16486 WITH SCORE 16533.527
AT ITER 9556 NEW BEST:: SOT 109235 SOS 47521 HAS SOPS 47521 HAS SOUS 16486 HAS SOUPS 16486 WITH SCORE 16533.521
AT ITER 9562 NEW BEST:: SOT 109231 SOS 47517 HAS SOPS 47517 HAS SOUS 16486 HAS SOUPS 16486 WITH SCORE 16533.517
AT ITER 9564 NEW BEST:: SOT 109239 SOS 47493 HAS SOPS 47493 HAS SOUS 16486 HAS SOUPS 16486 WITH SCORE 16533.493
AT ITER 9594 NEW BEST:: SOT 109224 SOS 47463 HAS SOPS 47463 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16518.463
AT ITER 9623 NEW BEST:: SOT 109215 SOS 47397 HAS SOPS 47397 HAS SOUS 16469 HAS SOUPS 16469 WITH SCORE 16516.397
AT ITER 9627 NEW BEST:: SOT 109214 SOS 47378 HAS SOPS 47378 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16508.378
AT ITER 9716 NEW BEST:: SOT 109166 SOS 47330 HAS SOPS 47330 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16436.33
AT ITER 9767 NEW BEST:: SOT 109167 SOS 47347 HAS SOPS 47347 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16433.347
AT ITER 9835 NEW BEST:: SOT 109140 SOS 47273 HAS SOPS 47273 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16406.273
AT ITER 9858 NEW BEST:: SOT 109129 SOS 47199 HAS SOPS 47199 HAS SOUS 16316 HAS SOUPS 16316 WITH SCORE 16363.199
AT ITER 9870 NEW BEST:: SOT 109122 SOS 47192 HAS SOPS 47192 HAS SOUS 16316 HAS SOUPS 16316 WITH SCORE 16363.192
AT ITER 9886 NEW BEST:: SOT 109120 SOS 47153 HAS SOPS 47153 HAS SOUS 16313 HAS SOUPS 16313 WITH SCORE 16360.153
AT ITER 9921 NEW BEST:: SOT 109112 SOS 47127 HAS SOPS 47127 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16351.127
AT ITER 9966 NEW BEST:: SOT 109107 SOS 47117 HAS SOPS 47117 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16351.117
AT ITER 9996 NEW BEST:: SOT 109105 SOS 47115 HAS SOPS 47115 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16349.115
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6247808 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153492 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is UtilityControlRoom-PT-Z4T4N08, 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 r483-tall-167912696701216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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