About the Execution of smart for NoC3x3-PT-5A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.720 | 3600000.00 | 3600049.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500396.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NoC3x3-PT-5A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500396
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 04:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 6 04:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 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 248K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-5A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589641527468
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 417 places, 933 transitions, 3585 arcs.
AT ITER 0 NEW BEST:: SOT 315375 SOS 247722 HAS SOPS 247085 HAS SOUS 169121 HAS SOUPS 168739 WITH SCORE 168986.722
AT ITER 1 NEW BEST:: SOT 314506 SOS 246745 HAS SOPS 246108 HAS SOUS 168192 HAS SOUPS 167810 WITH SCORE 168056.745
AT ITER 3 NEW BEST:: SOT 313152 SOS 245391 HAS SOPS 244754 HAS SOUS 166720 HAS SOUPS 166338 WITH SCORE 166583.391
AT ITER 6 NEW BEST:: SOT 312657 SOS 244896 HAS SOPS 244259 HAS SOUS 166196 HAS SOUPS 165814 WITH SCORE 166058.896
AT ITER 7 NEW BEST:: SOT 312634 SOS 244813 HAS SOPS 244136 HAS SOUS 166117 HAS SOUPS 165695 WITH SCORE 165939.813
AT ITER 8 NEW BEST:: SOT 312634 SOS 244656 HAS SOPS 243979 HAS SOUS 166067 HAS SOUPS 165645 WITH SCORE 165889.656
AT ITER 10 NEW BEST:: SOT 312292 SOS 244237 HAS SOPS 243560 HAS SOUS 165668 HAS SOUPS 165246 WITH SCORE 165490.237
AT ITER 28 NEW BEST:: SOT 312096 SOS 244312 HAS SOPS 243635 HAS SOUS 165639 HAS SOUPS 165217 WITH SCORE 165461.312
AT ITER 29 NEW BEST:: SOT 312089 SOS 244305 HAS SOPS 243628 HAS SOUS 165598 HAS SOUPS 165176 WITH SCORE 165420.305
AT ITER 31 NEW BEST:: SOT 312321 SOS 244575 HAS SOPS 243944 HAS SOUS 165277 HAS SOUPS 164888 WITH SCORE 165132.575
AT ITER 35 NEW BEST:: SOT 312276 SOS 244395 HAS SOPS 243764 HAS SOUS 165232 HAS SOUPS 164843 WITH SCORE 165087.395
AT ITER 37 NEW BEST:: SOT 312142 SOS 243992 HAS SOPS 243361 HAS SOUS 165135 HAS SOUPS 164746 WITH SCORE 164989.992
AT ITER 38 NEW BEST:: SOT 311531 SOS 242831 HAS SOPS 242200 HAS SOUS 164785 HAS SOUPS 164396 WITH SCORE 164638.831
AT ITER 39 NEW BEST:: SOT 311621 SOS 243012 HAS SOPS 242381 HAS SOUS 164782 HAS SOUPS 164393 WITH SCORE 164636.012
AT ITER 40 NEW BEST:: SOT 311621 SOS 242529 HAS SOPS 241898 HAS SOUS 164600 HAS SOUPS 164211 WITH SCORE 164453.529
AT ITER 42 NEW BEST:: SOT 311507 SOS 241044 HAS SOPS 240413 HAS SOUS 164316 HAS SOUPS 163927 WITH SCORE 164168.044
AT ITER 43 NEW BEST:: SOT 312102 SOS 240751 HAS SOPS 240120 HAS SOUS 163976 HAS SOUPS 163587 WITH SCORE 163827.751
AT ITER 44 NEW BEST:: SOT 309944 SOS 239553 HAS SOPS 238922 HAS SOUS 162587 HAS SOUPS 162198 WITH SCORE 162437.553
AT ITER 50 NEW BEST:: SOT 309730 SOS 238816 HAS SOPS 238185 HAS SOUS 162009 HAS SOUPS 161620 WITH SCORE 161858.816
AT ITER 52 NEW BEST:: SOT 309730 SOS 238755 HAS SOPS 238124 HAS SOUS 162009 HAS SOUPS 161620 WITH SCORE 161858.755
AT ITER 53 NEW BEST:: SOT 309932 SOS 238709 HAS SOPS 237876 HAS SOUS 162103 HAS SOUPS 161512 WITH SCORE 161750.709
AT ITER 54 NEW BEST:: SOT 309301 SOS 238007 HAS SOPS 237174 HAS SOUS 161493 HAS SOUPS 160902 WITH SCORE 161140.007
AT ITER 61 NEW BEST:: SOT 309277 SOS 237968 HAS SOPS 237135 HAS SOUS 161484 HAS SOUPS 160893 WITH SCORE 161130.968
AT ITER 63 NEW BEST:: SOT 309277 SOS 238082 HAS SOPS 237249 HAS SOUS 161483 HAS SOUPS 160892 WITH SCORE 161130.082
AT ITER 66 NEW BEST:: SOT 308928 SOS 237733 HAS SOPS 236900 HAS SOUS 160999 HAS SOUPS 160408 WITH SCORE 160645.733
AT ITER 67 NEW BEST:: SOT 309079 SOS 236929 HAS SOPS 236096 HAS SOUS 160837 HAS SOUPS 160246 WITH SCORE 160482.929
AT ITER 70 NEW BEST:: SOT 308153 SOS 236027 HAS SOPS 235194 HAS SOUS 160079 HAS SOUPS 159488 WITH SCORE 159724.027
AT ITER 77 NEW BEST:: SOT 308195 SOS 236088 HAS SOPS 235255 HAS SOUS 160070 HAS SOUPS 159479 WITH SCORE 159715.088
AT ITER 80 NEW BEST:: SOT 308183 SOS 236070 HAS SOPS 235237 HAS SOUS 160058 HAS SOUPS 159467 WITH SCORE 159703.07
AT ITER 83 NEW BEST:: SOT 306748 SOS 234840 HAS SOPS 234007 HAS SOUS 158905 HAS SOUPS 158314 WITH SCORE 158548.84
AT ITER 84 NEW BEST:: SOT 306748 SOS 234207 HAS SOPS 233331 HAS SOUS 158842 HAS SOUPS 158219 WITH SCORE 158453.207
AT ITER 86 NEW BEST:: SOT 306748 SOS 233869 HAS SOPS 232993 HAS SOUS 158753 HAS SOUPS 158130 WITH SCORE 158363.869
AT ITER 87 NEW BEST:: SOT 305951 SOS 232333 HAS SOPS 231457 HAS SOUS 157697 HAS SOUPS 157074 WITH SCORE 157306.333
AT ITER 88 NEW BEST:: SOT 305768 SOS 232434 HAS SOPS 231599 HAS SOUS 157471 HAS SOUPS 156889 WITH SCORE 157121.434
AT ITER 91 NEW BEST:: SOT 305592 SOS 232082 HAS SOPS 231247 HAS SOUS 157471 HAS SOUPS 156889 WITH SCORE 157121.082
AT ITER 93 NEW BEST:: SOT 305510 SOS 231878 HAS SOPS 231043 HAS SOUS 157407 HAS SOUPS 156825 WITH SCORE 157056.878
AT ITER 96 NEW BEST:: SOT 302712 SOS 229422 HAS SOPS 228598 HAS SOUS 153965 HAS SOUPS 153394 WITH SCORE 153623.422
AT ITER 97 NEW BEST:: SOT 302439 SOS 229312 HAS SOPS 228488 HAS SOUS 153955 HAS SOUPS 153384 WITH SCORE 153613.312
AT ITER 98 NEW BEST:: SOT 302674 SOS 229493 HAS SOPS 228706 HAS SOUS 153803 HAS SOUPS 153255 WITH SCORE 153484.493
AT ITER 100 NEW BEST:: SOT 302693 SOS 229512 HAS SOPS 228725 HAS SOUS 153708 HAS SOUPS 153160 WITH SCORE 153389.512
AT ITER 103 NEW BEST:: SOT 302769 SOS 229345 HAS SOPS 228573 HAS SOUS 153608 HAS SOUPS 153075 WITH SCORE 153304.345
AT ITER 106 NEW BEST:: SOT 301447 SOS 227848 HAS SOPS 227076 HAS SOUS 152103 HAS SOUPS 151570 WITH SCORE 151797.848
AT ITER 108 NEW BEST:: SOT 300623 SOS 227064 HAS SOPS 226292 HAS SOUS 151277 HAS SOUPS 150744 WITH SCORE 150971.064
AT ITER 109 NEW BEST:: SOT 300670 SOS 227196 HAS SOPS 226424 HAS SOUS 151211 HAS SOUPS 150678 WITH SCORE 150905.196
AT ITER 116 NEW BEST:: SOT 300297 SOS 226575 HAS SOPS 225803 HAS SOUS 150786 HAS SOUPS 150253 WITH SCORE 150479.575
AT ITER 118 NEW BEST:: SOT 300130 SOS 226039 HAS SOPS 225267 HAS SOUS 150520 HAS SOUPS 149987 WITH SCORE 150213.039
AT ITER 120 NEW BEST:: SOT 299259 SOS 225169 HAS SOPS 224397 HAS SOUS 149552 HAS SOUPS 149019 WITH SCORE 149244.169
AT ITER 126 NEW BEST:: SOT 298780 SOS 224713 HAS SOPS 223941 HAS SOUS 149058 HAS SOUPS 148525 WITH SCORE 148749.713
AT ITER 127 NEW BEST:: SOT 297725 SOS 223658 HAS SOPS 222886 HAS SOUS 148268 HAS SOUPS 147735 WITH SCORE 147958.658
AT ITER 131 NEW BEST:: SOT 297818 SOS 223829 HAS SOPS 223018 HAS SOUS 148238 HAS SOUPS 147666 WITH SCORE 147889.829
AT ITER 132 NEW BEST:: SOT 297969 SOS 223980 HAS SOPS 223169 HAS SOUS 148201 HAS SOUPS 147629 WITH SCORE 147852.98
AT ITER 133 NEW BEST:: SOT 297976 SOS 223966 HAS SOPS 223155 HAS SOUS 148180 HAS SOUPS 147608 WITH SCORE 147831.966
AT ITER 137 NEW BEST:: SOT 297976 SOS 224027 HAS SOPS 223216 HAS SOUS 147997 HAS SOUPS 147425 WITH SCORE 147649.027
AT ITER 139 NEW BEST:: SOT 297957 SOS 223914 HAS SOPS 223103 HAS SOUS 147812 HAS SOUPS 147240 WITH SCORE 147463.914
AT ITER 140 NEW BEST:: SOT 297782 SOS 222960 HAS SOPS 222149 HAS SOUS 147511 HAS SOUPS 146939 WITH SCORE 147161.96
AT ITER 141 NEW BEST:: SOT 297808 SOS 222986 HAS SOPS 222175 HAS SOUS 147435 HAS SOUPS 146863 WITH SCORE 147085.986
AT ITER 142 NEW BEST:: SOT 297413 SOS 222533 HAS SOPS 221722 HAS SOUS 147250 HAS SOUPS 146678 WITH SCORE 146900.533
AT ITER 148 NEW BEST:: SOT 297409 SOS 222527 HAS SOPS 221716 HAS SOUS 147244 HAS SOUPS 146672 WITH SCORE 146894.527
AT ITER 149 NEW BEST:: SOT 297341 SOS 222459 HAS SOPS 221648 HAS SOUS 147196 HAS SOUPS 146624 WITH SCORE 146846.459
AT ITER 153 NEW BEST:: SOT 297190 SOS 222308 HAS SOPS 221497 HAS SOUS 147077 HAS SOUPS 146505 WITH SCORE 146727.308
AT ITER 154 NEW BEST:: SOT 297141 SOS 222286 HAS SOPS 221475 HAS SOUS 147021 HAS SOUPS 146449 WITH SCORE 146671.286
AT ITER 155 NEW BEST:: SOT 297036 SOS 222076 HAS SOPS 221265 HAS SOUS 146496 HAS SOUPS 145924 WITH SCORE 146146.076
AT ITER 159 NEW BEST:: SOT 296922 SOS 221966 HAS SOPS 221155 HAS SOUS 146077 HAS SOUPS 145505 WITH SCORE 145726.966
AT ITER 166 NEW BEST:: SOT 295778 SOS 221142 HAS SOPS 220331 HAS SOUS 145124 HAS SOUPS 144552 WITH SCORE 144773.142
AT ITER 171 NEW BEST:: SOT 295084 SOS 220488 HAS SOPS 219677 HAS SOUS 144428 HAS SOUPS 143856 WITH SCORE 144076.488
AT ITER 172 NEW BEST:: SOT 295150 SOS 220467 HAS SOPS 219656 HAS SOUS 144271 HAS SOUPS 143699 WITH SCORE 143919.467
AT ITER 174 NEW BEST:: SOT 294301 SOS 219618 HAS SOPS 218807 HAS SOUS 143277 HAS SOUPS 142705 WITH SCORE 142924.618
AT ITER 177 NEW BEST:: SOT 294328 SOS 219933 HAS SOPS 219162 HAS SOUS 143185 HAS SOUPS 142653 WITH SCORE 142872.933
AT ITER 181 NEW BEST:: SOT 294328 SOS 218968 HAS SOPS 218197 HAS SOUS 143117 HAS SOUPS 142585 WITH SCORE 142803.968
AT ITER 195 NEW BEST:: SOT 294269 SOS 218593 HAS SOPS 217822 HAS SOUS 142074 HAS SOUPS 141542 WITH SCORE 141760.593
AT ITER 197 NEW BEST:: SOT 294266 SOS 218584 HAS SOPS 217813 HAS SOUS 142065 HAS SOUPS 141533 WITH SCORE 141751.584
AT ITER 198 NEW BEST:: SOT 294266 SOS 218641 HAS SOPS 217870 HAS SOUS 142027 HAS SOUPS 141495 WITH SCORE 141713.641
AT ITER 200 NEW BEST:: SOT 294187 SOS 218614 HAS SOPS 217843 HAS SOUS 141864 HAS SOUPS 141332 WITH SCORE 141550.614
AT ITER 202 NEW BEST:: SOT 293452 SOS 217628 HAS SOPS 216857 HAS SOUS 141404 HAS SOUPS 140872 WITH SCORE 141089.628
AT ITER 207 NEW BEST:: SOT 292992 SOS 216868 HAS SOPS 216097 HAS SOUS 141101 HAS SOUPS 140569 WITH SCORE 140785.868
AT ITER 210 NEW BEST:: SOT 292242 SOS 216118 HAS SOPS 215347 HAS SOUS 140383 HAS SOUPS 139851 WITH SCORE 140067.118
AT ITER 220 NEW BEST:: SOT 291412 SOS 214338 HAS SOPS 213567 HAS SOUS 139355 HAS SOUPS 138823 WITH SCORE 139037.338
AT ITER 225 NEW BEST:: SOT 291313 SOS 214307 HAS SOPS 213536 HAS SOUS 139263 HAS SOUPS 138731 WITH SCORE 138945.307
AT ITER 229 NEW BEST:: SOT 291328 SOS 214307 HAS SOPS 213536 HAS SOUS 139218 HAS SOUPS 138686 WITH SCORE 138900.307
AT ITER 238 NEW BEST:: SOT 290567 SOS 215686 HAS SOPS 214916 HAS SOUS 138898 HAS SOUPS 138367 WITH SCORE 138582.686
AT ITER 243 NEW BEST:: SOT 290614 SOS 215733 HAS SOPS 214963 HAS SOUS 138893 HAS SOUPS 138362 WITH SCORE 138577.733
AT ITER 245 NEW BEST:: SOT 290473 SOS 215592 HAS SOPS 214822 HAS SOUS 138636 HAS SOUPS 138105 WITH SCORE 138320.592
AT ITER 248 NEW BEST:: SOT 290466 SOS 214835 HAS SOPS 214065 HAS SOUS 138401 HAS SOUPS 137870 WITH SCORE 138084.835
AT ITER 251 NEW BEST:: SOT 288094 SOS 212463 HAS SOPS 211693 HAS SOUS 136053 HAS SOUPS 135522 WITH SCORE 135734.463
AT ITER 259 NEW BEST:: SOT 288325 SOS 211830 HAS SOPS 210955 HAS SOUS 135956 HAS SOUPS 135353 WITH SCORE 135564.83
AT ITER 260 NEW BEST:: SOT 288325 SOS 211658 HAS SOPS 210783 HAS SOUS 135956 HAS SOUPS 135353 WITH SCORE 135564.658
AT ITER 265 NEW BEST:: SOT 288325 SOS 211554 HAS SOPS 210679 HAS SOUS 135956 HAS SOUPS 135353 WITH SCORE 135564.554
AT ITER 266 NEW BEST:: SOT 288257 SOS 211428 HAS SOPS 210553 HAS SOUS 135786 HAS SOUPS 135183 WITH SCORE 135394.428
AT ITER 272 NEW BEST:: SOT 288191 SOS 211406 HAS SOPS 210531 HAS SOUS 135681 HAS SOUPS 135078 WITH SCORE 135289.406
AT ITER 274 NEW BEST:: SOT 287965 SOS 211067 HAS SOPS 210192 HAS SOUS 135388 HAS SOUPS 134785 WITH SCORE 134996.067
AT ITER 276 NEW BEST:: SOT 287964 SOS 211066 HAS SOPS 210191 HAS SOUS 135349 HAS SOUPS 134746 WITH SCORE 134957.066
AT ITER 281 NEW BEST:: SOT 287794 SOS 210879 HAS SOPS 210004 HAS SOUS 135264 HAS SOUPS 134661 WITH SCORE 134871.879
AT ITER 282 NEW BEST:: SOT 287785 SOS 210444 HAS SOPS 209569 HAS SOUS 135184 HAS SOUPS 134581 WITH SCORE 134791.444
AT ITER 283 NEW BEST:: SOT 287802 SOS 210490 HAS SOPS 209429 HAS SOUS 135034 HAS SOUPS 134290 WITH SCORE 134500.49
AT ITER 296 NEW BEST:: SOT 287800 SOS 210488 HAS SOPS 209427 HAS SOUS 135031 HAS SOUPS 134287 WITH SCORE 134497.488
AT ITER 298 NEW BEST:: SOT 287413 SOS 210062 HAS SOPS 209001 HAS SOUS 134605 HAS SOUPS 133861 WITH SCORE 134071.062
AT ITER 299 NEW BEST:: SOT 287343 SOS 209796 HAS SOPS 208735 HAS SOUS 134534 HAS SOUPS 133790 WITH SCORE 133999.796
AT ITER 301 NEW BEST:: SOT 287179 SOS 209632 HAS SOPS 208571 HAS SOUS 134466 HAS SOUPS 133722 WITH SCORE 133931.632
AT ITER 304 NEW BEST:: SOT 287179 SOS 209685 HAS SOPS 208744 HAS SOUS 134422 HAS SOUPS 133712 WITH SCORE 133921.685
AT ITER 311 NEW BEST:: SOT 286584 SOS 207508 HAS SOPS 206528 HAS SOUS 133594 HAS SOUPS 132845 WITH SCORE 133052.508
AT ITER 313 NEW BEST:: SOT 286689 SOS 207613 HAS SOPS 206633 HAS SOUS 133405 HAS SOUPS 132656 WITH SCORE 132863.613
AT ITER 317 NEW BEST:: SOT 286644 SOS 207568 HAS SOPS 206588 HAS SOUS 133339 HAS SOUPS 132590 WITH SCORE 132797.568
AT ITER 320 NEW BEST:: SOT 286195 SOS 206508 HAS SOPS 205525 HAS SOUS 133338 HAS SOUPS 132586 WITH SCORE 132792.508
AT ITER 324 NEW BEST:: SOT 286209 SOS 206536 HAS SOPS 205553 HAS SOUS 133305 HAS SOUPS 132553 WITH SCORE 132759.536
AT ITER 326 NEW BEST:: SOT 286117 SOS 206458 HAS SOPS 205475 HAS SOUS 133236 HAS SOUPS 132484 WITH SCORE 132690.458
AT ITER 331 NEW BEST:: SOT 286056 SOS 206247 HAS SOPS 205264 HAS SOUS 132926 HAS SOUPS 132174 WITH SCORE 132380.247
AT ITER 342 NEW BEST:: SOT 286134 SOS 206456 HAS SOPS 205473 HAS SOUS 132875 HAS SOUPS 132123 WITH SCORE 132329.456
AT ITER 344 NEW BEST:: SOT 286127 SOS 206424 HAS SOPS 205441 HAS SOUS 132768 HAS SOUPS 132016 WITH SCORE 132222.424
AT ITER 346 NEW BEST:: SOT 284969 SOS 205800 HAS SOPS 204817 HAS SOUS 131691 HAS SOUPS 130939 WITH SCORE 131144.8
AT ITER 353 NEW BEST:: SOT 283611 SOS 204214 HAS SOPS 203231 HAS SOUS 130346 HAS SOUPS 129594 WITH SCORE 129798.214
AT ITER 354 NEW BEST:: SOT 283446 SOS 203983 HAS SOPS 202958 HAS SOUS 130004 HAS SOUPS 129252 WITH SCORE 129455.983
AT ITER 355 NEW BEST:: SOT 283476 SOS 203935 HAS SOPS 202910 HAS SOUS 129875 HAS SOUPS 129123 WITH SCORE 129326.935
AT ITER 357 NEW BEST:: SOT 283476 SOS 203844 HAS SOPS 202819 HAS SOUS 129862 HAS SOUPS 129110 WITH SCORE 129313.844
AT ITER 359 NEW BEST:: SOT 283521 SOS 203889 HAS SOPS 202864 HAS SOUS 129822 HAS SOUPS 129070 WITH SCORE 129273.889
AT ITER 360 NEW BEST:: SOT 282356 SOS 202577 HAS SOPS 201552 HAS SOUS 128636 HAS SOUPS 127884 WITH SCORE 128086.577
AT ITER 362 NEW BEST:: SOT 282327 SOS 202548 HAS SOPS 201523 HAS SOUS 128585 HAS SOUPS 127833 WITH SCORE 128035.548
AT ITER 364 NEW BEST:: SOT 282049 SOS 202270 HAS SOPS 201245 HAS SOUS 128306 HAS SOUPS 127554 WITH SCORE 127756.27
AT ITER 371 NEW BEST:: SOT 281957 SOS 202111 HAS SOPS 201098 HAS SOUS 128172 HAS SOUPS 127420 WITH SCORE 127622.111
AT ITER 374 NEW BEST:: SOT 281947 SOS 202091 HAS SOPS 201074 HAS SOUS 128152 HAS SOUPS 127396 WITH SCORE 127598.091
AT ITER 378 NEW BEST:: SOT 281940 SOS 202074 HAS SOPS 201057 HAS SOUS 128092 HAS SOUPS 127336 WITH SCORE 127538.074
AT ITER 379 NEW BEST:: SOT 281940 SOS 202042 HAS SOPS 201025 HAS SOUS 127983 HAS SOUPS 127227 WITH SCORE 127429.042
AT ITER 381 NEW BEST:: SOT 281996 SOS 202257 HAS SOPS 201240 HAS SOUS 127853 HAS SOUPS 127097 WITH SCORE 127299.257
AT ITER 383 NEW BEST:: SOT 282101 SOS 201940 HAS SOPS 200923 HAS SOUS 127590 HAS SOUPS 126834 WITH SCORE 127035.94
AT ITER 384 NEW BEST:: SOT 281937 SOS 201300 HAS SOPS 200283 HAS SOUS 127307 HAS SOUPS 126551 WITH SCORE 126752.3
AT ITER 390 NEW BEST:: SOT 281937 SOS 201283 HAS SOPS 200266 HAS SOUS 127301 HAS SOUPS 126545 WITH SCORE 126746.283
AT ITER 392 NEW BEST:: SOT 279023 SOS 200101 HAS SOPS 199093 HAS SOUS 124613 HAS SOUPS 123866 WITH SCORE 124066.101
AT ITER 396 NEW BEST:: SOT 279051 SOS 199988 HAS SOPS 198980 HAS SOUS 124562 HAS SOUPS 123815 WITH SCORE 124014.988
AT ITER 397 NEW BEST:: SOT 278948 SOS 199624 HAS SOPS 198616 HAS SOUS 124386 HAS SOUPS 123639 WITH SCORE 123838.624
AT ITER 401 NEW BEST:: SOT 278915 SOS 199152 HAS SOPS 198065 HAS SOUS 124247 HAS SOUPS 123421 WITH SCORE 123620.152
AT ITER 404 NEW BEST:: SOT 278907 SOS 199140 HAS SOPS 198053 HAS SOUS 124229 HAS SOUPS 123403 WITH SCORE 123602.14
AT ITER 408 NEW BEST:: SOT 278508 SOS 198819 HAS SOPS 197732 HAS SOUS 123860 HAS SOUPS 123034 WITH SCORE 123232.819
AT ITER 412 NEW BEST:: SOT 278412 SOS 198499 HAS SOPS 197412 HAS SOUS 123842 HAS SOUPS 123016 WITH SCORE 123214.499
AT ITER 416 NEW BEST:: SOT 278390 SOS 198477 HAS SOPS 197390 HAS SOUS 123822 HAS SOUPS 122996 WITH SCORE 123194.477
AT ITER 420 NEW BEST:: SOT 278911 SOS 199418 HAS SOPS 198331 HAS SOUS 123412 HAS SOUPS 122586 WITH SCORE 122785.418
AT ITER 428 NEW BEST:: SOT 278529 SOS 199036 HAS SOPS 197949 HAS SOUS 122952 HAS SOUPS 122126 WITH SCORE 122325.036
AT ITER 435 NEW BEST:: SOT 278425 SOS 198776 HAS SOPS 197689 HAS SOUS 122900 HAS SOUPS 122074 WITH SCORE 122272.776
AT ITER 437 NEW BEST:: SOT 278002 SOS 198569 HAS SOPS 197482 HAS SOUS 122151 HAS SOUPS 121325 WITH SCORE 121523.569
AT ITER 445 NEW BEST:: SOT 277920 SOS 198487 HAS SOPS 197400 HAS SOUS 121946 HAS SOUPS 121120 WITH SCORE 121318.487
AT ITER 446 NEW BEST:: SOT 277646 SOS 198278 HAS SOPS 197191 HAS SOUS 121733 HAS SOUPS 120907 WITH SCORE 121105.278
AT ITER 448 NEW BEST:: SOT 277646 SOS 198114 HAS SOPS 197027 HAS SOUS 121651 HAS SOUPS 120825 WITH SCORE 121023.114
AT ITER 450 NEW BEST:: SOT 277626 SOS 198019 HAS SOPS 196932 HAS SOUS 121256 HAS SOUPS 120430 WITH SCORE 120628.019
AT ITER 470 NEW BEST:: SOT 276646 SOS 196366 HAS SOPS 195030 HAS SOUS 120010 HAS SOUPS 118935 WITH SCORE 119131.366
AT ITER 482 NEW BEST:: SOT 276842 SOS 196802 HAS SOPS 195466 HAS SOUS 119665 HAS SOUPS 118590 WITH SCORE 118786.802
AT ITER 488 NEW BEST:: SOT 276806 SOS 196616 HAS SOPS 195283 HAS SOUS 119632 HAS SOUPS 118560 WITH SCORE 118756.616
AT ITER 495 NEW BEST:: SOT 276806 SOS 196583 HAS SOPS 195250 HAS SOUS 119588 HAS SOUPS 118516 WITH SCORE 118712.583
AT ITER 500 NEW BEST:: SOT 276755 SOS 196532 HAS SOPS 195199 HAS SOUS 119517 HAS SOUPS 118445 WITH SCORE 118641.532
AT ITER 503 NEW BEST:: SOT 276752 SOS 196529 HAS SOPS 195196 HAS SOUS 119510 HAS SOUPS 118438 WITH SCORE 118634.529
AT ITER 506 NEW BEST:: SOT 276488 SOS 196265 HAS SOPS 194932 HAS SOUS 119104 HAS SOUPS 118032 WITH SCORE 118228.265
AT ITER 507 NEW BEST:: SOT 276323 SOS 195964 HAS SOPS 194631 HAS SOUS 118631 HAS SOUPS 117559 WITH SCORE 117754.964
AT ITER 510 NEW BEST:: SOT 275263 SOS 196093 HAS SOPS 194760 HAS SOUS 117162 HAS SOUPS 116090 WITH SCORE 116286.093
AT ITER 513 NEW BEST:: SOT 275088 SOS 196136 HAS SOPS 194803 HAS SOUS 116999 HAS SOUPS 115927 WITH SCORE 116123.136
AT ITER 518 NEW BEST:: SOT 274872 SOS 196146 HAS SOPS 194813 HAS SOUS 116744 HAS SOUPS 115672 WITH SCORE 115868.146
AT ITER 521 NEW BEST:: SOT 274737 SOS 196011 HAS SOPS 194678 HAS SOUS 116608 HAS SOUPS 115536 WITH SCORE 115732.011
AT ITER 524 NEW BEST:: SOT 274513 SOS 195813 HAS SOPS 194480 HAS SOUS 116493 HAS SOUPS 115421 WITH SCORE 115616.813
AT ITER 529 NEW BEST:: SOT 274509 SOS 195809 HAS SOPS 194476 HAS SOUS 116489 HAS SOUPS 115417 WITH SCORE 115612.809
AT ITER 532 NEW BEST:: SOT 274503 SOS 195803 HAS SOPS 194470 HAS SOUS 116483 HAS SOUPS 115411 WITH SCORE 115606.803
AT ITER 534 NEW BEST:: SOT 272051 SOS 194041 HAS SOPS 192962 HAS SOUS 114580 HAS SOUPS 113762 WITH SCORE 113956.041
AT ITER 535 NEW BEST:: SOT 271733 SOS 192527 HAS SOPS 191448 HAS SOUS 114396 HAS SOUPS 113578 WITH SCORE 113770.527
AT ITER 538 NEW BEST:: SOT 270723 SOS 191517 HAS SOPS 190438 HAS SOUS 113526 HAS SOUPS 112708 WITH SCORE 112899.517
AT ITER 540 NEW BEST:: SOT 270771 SOS 191557 HAS SOPS 190478 HAS SOUS 113491 HAS SOUPS 112673 WITH SCORE 112864.557
AT ITER 546 NEW BEST:: SOT 270840 SOS 191376 HAS SOPS 190297 HAS SOUS 113410 HAS SOUPS 112592 WITH SCORE 112783.376
AT ITER 561 NEW BEST:: SOT 270702 SOS 190824 HAS SOPS 189745 HAS SOUS 113272 HAS SOUPS 112454 WITH SCORE 112644.824
AT ITER 565 NEW BEST:: SOT 270702 SOS 190824 HAS SOPS 189745 HAS SOUS 113194 HAS SOUPS 112376 WITH SCORE 112566.824
AT ITER 569 NEW BEST:: SOT 270694 SOS 190800 HAS SOPS 189721 HAS SOUS 113154 HAS SOUPS 112336 WITH SCORE 112526.8
AT ITER 574 NEW BEST:: SOT 270558 SOS 190580 HAS SOPS 189637 HAS SOUS 113010 HAS SOUPS 112328 WITH SCORE 112518.58
AT ITER 585 NEW BEST:: SOT 270243 SOS 190265 HAS SOPS 189322 HAS SOUS 112539 HAS SOUPS 111857 WITH SCORE 112047.265
AT ITER 607 NEW BEST:: SOT 270113 SOS 189683 HAS SOPS 188740 HAS SOUS 112237 HAS SOUPS 111555 WITH SCORE 111744.683
AT ITER 610 NEW BEST:: SOT 270102 SOS 189693 HAS SOPS 188750 HAS SOUS 112219 HAS SOUPS 111537 WITH SCORE 111726.693
AT ITER 614 NEW BEST:: SOT 270079 SOS 189675 HAS SOPS 188732 HAS SOUS 112188 HAS SOUPS 111506 WITH SCORE 111695.675
AT ITER 629 NEW BEST:: SOT 270057 SOS 189653 HAS SOPS 188710 HAS SOUS 112100 HAS SOUPS 111418 WITH SCORE 111607.653
AT ITER 630 NEW BEST:: SOT 269994 SOS 189400 HAS SOPS 188457 HAS SOUS 111694 HAS SOUPS 111012 WITH SCORE 111201.4
AT ITER 637 NEW BEST:: SOT 269876 SOS 189282 HAS SOPS 188339 HAS SOUS 111458 HAS SOUPS 110776 WITH SCORE 110965.282
AT ITER 638 NEW BEST:: SOT 270068 SOS 189802 HAS SOPS 188859 HAS SOUS 111450 HAS SOUPS 110768 WITH SCORE 110957.802
AT ITER 639 NEW BEST:: SOT 270016 SOS 189677 HAS SOPS 188734 HAS SOUS 111398 HAS SOUPS 110716 WITH SCORE 110905.677
AT ITER 645 NEW BEST:: SOT 269786 SOS 189447 HAS SOPS 188504 HAS SOUS 111249 HAS SOUPS 110567 WITH SCORE 110756.447
AT ITER 648 NEW BEST:: SOT 269774 SOS 188197 HAS SOPS 187254 HAS SOUS 110756 HAS SOUPS 110074 WITH SCORE 110262.197
AT ITER 654 NEW BEST:: SOT 269323 SOS 187736 HAS SOPS 186793 HAS SOUS 110556 HAS SOUPS 109874 WITH SCORE 110061.736
AT ITER 656 NEW BEST:: SOT 269096 SOS 187432 HAS SOPS 186489 HAS SOUS 110029 HAS SOUPS 109347 WITH SCORE 109534.432
AT ITER 659 NEW BEST:: SOT 268958 SOS 187248 HAS SOPS 186305 HAS SOUS 109977 HAS SOUPS 109295 WITH SCORE 109482.248
AT ITER 660 NEW BEST:: SOT 268926 SOS 187216 HAS SOPS 186273 HAS SOUS 109867 HAS SOUPS 109185 WITH SCORE 109372.216
AT ITER 663 NEW BEST:: SOT 268765 SOS 187055 HAS SOPS 186112 HAS SOUS 109721 HAS SOUPS 109039 WITH SCORE 109226.055
AT ITER 668 NEW BEST:: SOT 268750 SOS 186898 HAS SOPS 185955 HAS SOUS 109703 HAS SOUPS 109021 WITH SCORE 109207.898
AT ITER 673 NEW BEST:: SOT 268752 SOS 186896 HAS SOPS 185953 HAS SOUS 109701 HAS SOUPS 109019 WITH SCORE 109205.896
AT ITER 682 NEW BEST:: SOT 268738 SOS 186896 HAS SOPS 185953 HAS SOUS 109659 HAS SOUPS 108977 WITH SCORE 109163.896
AT ITER 683 NEW BEST:: SOT 268544 SOS 186694 HAS SOPS 185751 HAS SOUS 109627 HAS SOUPS 108945 WITH SCORE 109131.694
AT ITER 685 NEW BEST:: SOT 268315 SOS 186311 HAS SOPS 185697 HAS SOUS 109354 HAS SOUPS 108881 WITH SCORE 109067.311
AT ITER 688 NEW BEST:: SOT 267739 SOS 185735 HAS SOPS 185121 HAS SOUS 108992 HAS SOUPS 108519 WITH SCORE 108704.735
AT ITER 690 NEW BEST:: SOT 267050 SOS 185046 HAS SOPS 184432 HAS SOUS 108193 HAS SOUPS 107720 WITH SCORE 107905.046
AT ITER 697 NEW BEST:: SOT 267058 SOS 185055 HAS SOPS 184441 HAS SOUS 108137 HAS SOUPS 107664 WITH SCORE 107849.055
AT ITER 706 NEW BEST:: SOT 266921 SOS 184918 HAS SOPS 184304 HAS SOUS 108119 HAS SOUPS 107646 WITH SCORE 107830.918
AT ITER 707 NEW BEST:: SOT 266909 SOS 184906 HAS SOPS 184292 HAS SOUS 108095 HAS SOUPS 107622 WITH SCORE 107806.906
AT ITER 709 NEW BEST:: SOT 267013 SOS 185060 HAS SOPS 184492 HAS SOUS 108040 HAS SOUPS 107613 WITH SCORE 107798.06
AT ITER 721 NEW BEST:: SOT 266964 SOS 185004 HAS SOPS 184436 HAS SOUS 107956 HAS SOUPS 107529 WITH SCORE 107714.004
AT ITER 730 NEW BEST:: SOT 266964 SOS 185001 HAS SOPS 184433 HAS SOUS 107956 HAS SOUPS 107529 WITH SCORE 107714.001
AT ITER 735 NEW BEST:: SOT 266954 SOS 184991 HAS SOPS 184423 HAS SOUS 107926 HAS SOUPS 107499 WITH SCORE 107683.991
AT ITER 762 NEW BEST:: SOT 266954 SOS 185127 HAS SOPS 184559 HAS SOUS 107858 HAS SOUPS 107431 WITH SCORE 107616.127
AT ITER 764 NEW BEST:: SOT 266919 SOS 185092 HAS SOPS 184524 HAS SOUS 107737 HAS SOUPS 107310 WITH SCORE 107495.092
AT ITER 767 NEW BEST:: SOT 266858 SOS 185047 HAS SOPS 184531 HAS SOUS 107627 HAS SOUPS 107252 WITH SCORE 107437.047
AT ITER 774 NEW BEST:: SOT 266761 SOS 184960 HAS SOPS 184444 HAS SOUS 107601 HAS SOUPS 107226 WITH SCORE 107410.96
AT ITER 775 NEW BEST:: SOT 266299 SOS 184769 HAS SOPS 184311 HAS SOUS 107451 HAS SOUPS 107107 WITH SCORE 107291.769
AT ITER 782 NEW BEST:: SOT 266027 SOS 184516 HAS SOPS 184058 HAS SOUS 107415 HAS SOUPS 107071 WITH SCORE 107255.516
AT ITER 784 NEW BEST:: SOT 265003 SOS 183492 HAS SOPS 183034 HAS SOUS 106313 HAS SOUPS 105969 WITH SCORE 106152.492
AT ITER 785 NEW BEST:: SOT 264443 SOS 182483 HAS SOPS 182025 HAS SOUS 105703 HAS SOUPS 105359 WITH SCORE 105541.483
AT ITER 788 NEW BEST:: SOT 264441 SOS 182481 HAS SOPS 182023 HAS SOUS 105701 HAS SOUPS 105357 WITH SCORE 105539.481
AT ITER 794 NEW BEST:: SOT 265765 SOS 183603 HAS SOPS 183217 HAS SOUS 105400 HAS SOUPS 105094 WITH SCORE 105277.603
AT ITER 796 NEW BEST:: SOT 265807 SOS 183406 HAS SOPS 183020 HAS SOUS 105241 HAS SOUPS 104935 WITH SCORE 105118.406
AT ITER 804 NEW BEST:: SOT 265080 SOS 182362 HAS SOPS 181976 HAS SOUS 104687 HAS SOUPS 104381 WITH SCORE 104563.362
AT ITER 810 NEW BEST:: SOT 265065 SOS 182347 HAS SOPS 181961 HAS SOUS 104642 HAS SOUPS 104336 WITH SCORE 104518.347
AT ITER 816 NEW BEST:: SOT 265607 SOS 182897 HAS SOPS 181853 HAS SOUS 105203 HAS SOUPS 104239 WITH SCORE 104421.897
AT ITER 817 NEW BEST:: SOT 265457 SOS 181258 HAS SOPS 179524 HAS SOUS 104556 HAS SOUPS 103578 WITH SCORE 103759.258
AT ITER 819 NEW BEST:: SOT 265362 SOS 181141 HAS SOPS 179407 HAS SOUS 104391 HAS SOUPS 103413 WITH SCORE 103594.141
AT ITER 820 NEW BEST:: SOT 265290 SOS 180398 HAS SOPS 178547 HAS SOUS 104121 HAS SOUPS 103045 WITH SCORE 103225.398
AT ITER 823 NEW BEST:: SOT 265340 SOS 179821 HAS SOPS 177970 HAS SOUS 104048 HAS SOUPS 102972 WITH SCORE 103151.821
AT ITER 833 NEW BEST:: SOT 265272 SOS 179725 HAS SOPS 177874 HAS SOUS 103969 HAS SOUPS 102893 WITH SCORE 103072.725
AT ITER 836 NEW BEST:: SOT 264780 SOS 179687 HAS SOPS 177836 HAS SOUS 103587 HAS SOUPS 102511 WITH SCORE 102690.687
AT ITER 839 NEW BEST:: SOT 264780 SOS 178938 HAS SOPS 177087 HAS SOUS 103373 HAS SOUPS 102297 WITH SCORE 102475.938
AT ITER 842 NEW BEST:: SOT 264545 SOS 178529 HAS SOPS 176678 HAS SOUS 103021 HAS SOUPS 101945 WITH SCORE 102123.529
AT ITER 849 NEW BEST:: SOT 264539 SOS 178523 HAS SOPS 176672 HAS SOUS 102995 HAS SOUPS 101919 WITH SCORE 102097.523
AT ITER 851 NEW BEST:: SOT 264466 SOS 178450 HAS SOPS 176599 HAS SOUS 102843 HAS SOUPS 101767 WITH SCORE 101945.45
AT ITER 853 NEW BEST:: SOT 264518 SOS 178676 HAS SOPS 176789 HAS SOUS 102817 HAS SOUPS 101705 WITH SCORE 101883.676
AT ITER 874 NEW BEST:: SOT 264518 SOS 178636 HAS SOPS 176729 HAS SOUS 102823 HAS SOUPS 101705 WITH SCORE 101883.636
AT ITER 876 NEW BEST:: SOT 264171 SOS 178289 HAS SOPS 176382 HAS SOUS 102614 HAS SOUPS 101496 WITH SCORE 101674.289
AT ITER 886 NEW BEST:: SOT 264181 SOS 178288 HAS SOPS 176381 HAS SOUS 102604 HAS SOUPS 101486 WITH SCORE 101664.288
AT ITER 896 NEW BEST:: SOT 263742 SOS 178115 HAS SOPS 176271 HAS SOUS 102067 HAS SOUPS 101012 WITH SCORE 101190.115
AT ITER 902 NEW BEST:: SOT 263580 SOS 178001 HAS SOPS 176157 HAS SOUS 101948 HAS SOUPS 100893 WITH SCORE 101071.001
AT ITER 912 NEW BEST:: SOT 262541 SOS 177045 HAS SOPS 175201 HAS SOUS 100737 HAS SOUPS 99682 WITH SCORE 99859.045
AT ITER 916 NEW BEST:: SOT 262496 SOS 176948 HAS SOPS 175123 HAS SOUS 100701 HAS SOUPS 99665 WITH SCORE 99841.948
AT ITER 918 NEW BEST:: SOT 262360 SOS 176812 HAS SOPS 174987 HAS SOUS 100650 HAS SOUPS 99614 WITH SCORE 99790.812
AT ITER 919 NEW BEST:: SOT 262360 SOS 176914 HAS SOPS 175033 HAS SOUS 100643 HAS SOUPS 99579 WITH SCORE 99755.914
AT ITER 922 NEW BEST:: SOT 262356 SOS 176908 HAS SOPS 175027 HAS SOUS 100633 HAS SOUPS 99569 WITH SCORE 99745.908
AT ITER 925 NEW BEST:: SOT 262196 SOS 176751 HAS SOPS 174870 HAS SOUS 100329 HAS SOUPS 99265 WITH SCORE 99441.751
AT ITER 931 NEW BEST:: SOT 262164 SOS 176707 HAS SOPS 174826 HAS SOUS 100241 HAS SOUPS 99177 WITH SCORE 99353.707
AT ITER 938 NEW BEST:: SOT 262087 SOS 176537 HAS SOPS 174656 HAS SOUS 100147 HAS SOUPS 99083 WITH SCORE 99259.537
AT ITER 940 NEW BEST:: SOT 262087 SOS 176401 HAS SOPS 174520 HAS SOUS 100121 HAS SOUPS 99057 WITH SCORE 99233.401
AT ITER 951 NEW BEST:: SOT 261963 SOS 176277 HAS SOPS 174396 HAS SOUS 100083 HAS SOUPS 99019 WITH SCORE 99195.277
AT ITER 952 NEW BEST:: SOT 261913 SOS 176227 HAS SOPS 174346 HAS SOUS 99970 HAS SOUPS 98906 WITH SCORE 99082.227
AT ITER 953 NEW BEST:: SOT 261908 SOS 176369 HAS SOPS 174488 HAS SOUS 99899 HAS SOUPS 98835 WITH SCORE 99011.369
AT ITER 958 NEW BEST:: SOT 261604 SOS 176065 HAS SOPS 174184 HAS SOUS 99562 HAS SOUPS 98498 WITH SCORE 98674.065
AT ITER 960 NEW BEST:: SOT 261666 SOS 175401 HAS SOPS 173520 HAS SOUS 99402 HAS SOUPS 98338 WITH SCORE 98513.401
AT ITER 968 NEW BEST:: SOT 261636 SOS 175367 HAS SOPS 173486 HAS SOUS 99368 HAS SOUPS 98304 WITH SCORE 98479.367
AT ITER 970 NEW BEST:: SOT 261636 SOS 175233 HAS SOPS 173352 HAS SOUS 99260 HAS SOUPS 98196 WITH SCORE 98371.233
AT ITER 977 NEW BEST:: SOT 261637 SOS 175230 HAS SOPS 173350 HAS SOUS 99258 HAS SOUPS 98195 WITH SCORE 98370.23
AT ITER 978 NEW BEST:: SOT 260512 SOS 174258 HAS SOPS 172378 HAS SOUS 98484 HAS SOUPS 97421 WITH SCORE 97595.258
AT ITER 979 NEW BEST:: SOT 260469 SOS 174190 HAS SOPS 172310 HAS SOUS 98432 HAS SOUPS 97369 WITH SCORE 97543.19
AT ITER 981 NEW BEST:: SOT 260409 SOS 174130 HAS SOPS 172250 HAS SOUS 98367 HAS SOUPS 97304 WITH SCORE 97478.13
AT ITER 982 NEW BEST:: SOT 260385 SOS 174092 HAS SOPS 172212 HAS SOUS 98357 HAS SOUPS 97294 WITH SCORE 97468.092
AT ITER 988 NEW BEST:: SOT 260899 SOS 175003 HAS SOPS 173149 HAS SOUS 98206 HAS SOUPS 97167 WITH SCORE 97342.003
AT ITER 991 NEW BEST:: SOT 260598 SOS 174601 HAS SOPS 172747 HAS SOUS 97808 HAS SOUPS 96769 WITH SCORE 96943.601
AT ITER 995 NEW BEST:: SOT 260598 SOS 174601 HAS SOPS 172747 HAS SOUS 97804 HAS SOUPS 96765 WITH SCORE 96939.601
AT ITER 1009 NEW BEST:: SOT 260550 SOS 174553 HAS SOPS 172699 HAS SOUS 97720 HAS SOUPS 96681 WITH SCORE 96855.553
AT ITER 1021 NEW BEST:: SOT 260511 SOS 174514 HAS SOPS 172660 HAS SOUS 97603 HAS SOUPS 96564 WITH SCORE 96738.514
AT ITER 1025 NEW BEST:: SOT 259967 SOS 176033 HAS SOPS 174179 HAS SOUS 97543 HAS SOUPS 96504 WITH SCORE 96680.033
AT ITER 1032 NEW BEST:: SOT 259671 SOS 172155 HAS SOPS 170301 HAS SOUS 97412 HAS SOUPS 96373 WITH SCORE 96545.155
AT ITER 1036 NEW BEST:: SOT 259372 SOS 171894 HAS SOPS 170040 HAS SOUS 97246 HAS SOUPS 96207 WITH SCORE 96378.894
AT ITER 1048 NEW BEST:: SOT 259364 SOS 171902 HAS SOPS 170048 HAS SOUS 97238 HAS SOUPS 96199 WITH SCORE 96370.902
AT ITER 1062 NEW BEST:: SOT 259311 SOS 171849 HAS SOPS 169995 HAS SOUS 97185 HAS SOUPS 96146 WITH SCORE 96317.849
AT ITER 1066 NEW BEST:: SOT 258622 SOS 171160 HAS SOPS 169306 HAS SOUS 96496 HAS SOUPS 95457 WITH SCORE 95628.16
AT ITER 1071 NEW BEST:: SOT 257731 SOS 170491 HAS SOPS 168637 HAS SOUS 95957 HAS SOUPS 94918 WITH SCORE 95088.491
AT ITER 1076 NEW BEST:: SOT 257719 SOS 170503 HAS SOPS 168649 HAS SOUS 95952 HAS SOUPS 94913 WITH SCORE 95083.503
AT ITER 1078 NEW BEST:: SOT 257521 SOS 170379 HAS SOPS 168525 HAS SOUS 95799 HAS SOUPS 94760 WITH SCORE 94930.379
AT ITER 1083 NEW BEST:: SOT 257441 SOS 170299 HAS SOPS 168445 HAS SOUS 95719 HAS SOUPS 94680 WITH SCORE 94850.299
AT ITER 1084 NEW BEST:: SOT 257397 SOS 170255 HAS SOPS 168401 HAS SOUS 95543 HAS SOUPS 94504 WITH SCORE 94674.255
AT ITER 1091 NEW BEST:: SOT 257274 SOS 170100 HAS SOPS 168246 HAS SOUS 95382 HAS SOUPS 94343 WITH SCORE 94513.1
AT ITER 1095 NEW BEST:: SOT 257202 SOS 169952 HAS SOPS 168098 HAS SOUS 95131 HAS SOUPS 94092 WITH SCORE 94261.952
AT ITER 1102 NEW BEST:: SOT 256887 SOS 169504 HAS SOPS 167650 HAS SOUS 94566 HAS SOUPS 93527 WITH SCORE 93696.504
AT ITER 1111 NEW BEST:: SOT 256740 SOS 169357 HAS SOPS 167503 HAS SOUS 94435 HAS SOUPS 93396 WITH SCORE 93565.357
AT ITER 1116 NEW BEST:: SOT 256631 SOS 168729 HAS SOPS 166875 HAS SOUS 94339 HAS SOUPS 93300 WITH SCORE 93468.729
AT ITER 1117 NEW BEST:: SOT 256519 SOS 168617 HAS SOPS 166763 HAS SOUS 94296 HAS SOUPS 93257 WITH SCORE 93425.617
AT ITER 1124 NEW BEST:: SOT 256843 SOS 169860 HAS SOPS 168006 HAS SOUS 94082 HAS SOUPS 93043 WITH SCORE 93212.86
AT ITER 1132 NEW BEST:: SOT 256631 SOS 169648 HAS SOPS 167794 HAS SOUS 93700 HAS SOUPS 92661 WITH SCORE 92830.648
AT ITER 1146 NEW BEST:: SOT 256285 SOS 168881 HAS SOPS 167002 HAS SOUS 93723 HAS SOUPS 92659 WITH SCORE 92827.881
AT ITER 1153 NEW BEST:: SOT 256285 SOS 168877 HAS SOPS 167001 HAS SOUS 93722 HAS SOUPS 92659 WITH SCORE 92827.877
AT ITER 1154 NEW BEST:: SOT 255930 SOS 168841 HAS SOPS 167255 HAS SOUS 93431 HAS SOUPS 92513 WITH SCORE 92681.841
AT ITER 1156 NEW BEST:: SOT 255918 SOS 168760 HAS SOPS 167174 HAS SOUS 93217 HAS SOUPS 92299 WITH SCORE 92467.76
AT ITER 1157 NEW BEST:: SOT 255384 SOS 168160 HAS SOPS 166574 HAS SOUS 92514 HAS SOUPS 91596 WITH SCORE 91764.16
AT ITER 1158 NEW BEST:: SOT 255384 SOS 168879 HAS SOPS 167293 HAS SOUS 92304 HAS SOUPS 91386 WITH SCORE 91554.879
AT ITER 1159 NEW BEST:: SOT 255384 SOS 168879 HAS SOPS 167293 HAS SOUS 92289 HAS SOUPS 91371 WITH SCORE 91539.879
AT ITER 1178 NEW BEST:: SOT 255451 SOS 168950 HAS SOPS 167364 HAS SOUS 92238 HAS SOUPS 91320 WITH SCORE 91488.95
AT ITER 1179 NEW BEST:: SOT 255128 SOS 168693 HAS SOPS 167107 HAS SOUS 92143 HAS SOUPS 91225 WITH SCORE 91393.693
AT ITER 1184 NEW BEST:: SOT 255128 SOS 168807 HAS SOPS 167221 HAS SOUS 91953 HAS SOUPS 91035 WITH SCORE 91203.807
AT ITER 1185 NEW BEST:: SOT 255116 SOS 168795 HAS SOPS 167209 HAS SOUS 91941 HAS SOUPS 91023 WITH SCORE 91191.795
AT ITER 1187 NEW BEST:: SOT 254698 SOS 168377 HAS SOPS 166791 HAS SOUS 91605 HAS SOUPS 90687 WITH SCORE 90855.377
AT ITER 1192 NEW BEST:: SOT 254900 SOS 168386 HAS SOPS 166800 HAS SOUS 91317 HAS SOUPS 90399 WITH SCORE 90567.386
AT ITER 1200 NEW BEST:: SOT 254669 SOS 168155 HAS SOPS 166569 HAS SOUS 90939 HAS SOUPS 90021 WITH SCORE 90189.155
AT ITER 1201 NEW BEST:: SOT 254665 SOS 168151 HAS SOPS 166565 HAS SOUS 90939 HAS SOUPS 90021 WITH SCORE 90189.151
AT ITER 1204 NEW BEST:: SOT 254711 SOS 168240 HAS SOPS 166603 HAS SOUS 90831 HAS SOUPS 89913 WITH SCORE 90081.24
AT ITER 1208 NEW BEST:: SOT 254663 SOS 168222 HAS SOPS 166585 HAS SOUS 90827 HAS SOUPS 89909 WITH SCORE 90077.222
AT ITER 1209 NEW BEST:: SOT 254649 SOS 168304 HAS SOPS 166667 HAS SOUS 90765 HAS SOUPS 89847 WITH SCORE 90015.304
AT ITER 1213 NEW BEST:: SOT 254633 SOS 168288 HAS SOPS 166651 HAS SOUS 90749 HAS SOUPS 89831 WITH SCORE 89999.288
AT ITER 1230 NEW BEST:: SOT 254745 SOS 168400 HAS SOPS 166763 HAS SOUS 90673 HAS SOUPS 89755 WITH SCORE 89923.4
AT ITER 1234 NEW BEST:: SOT 254786 SOS 168344 HAS SOPS 166707 HAS SOUS 90672 HAS SOUPS 89754 WITH SCORE 89922.344
AT ITER 1237 NEW BEST:: SOT 254674 SOS 168092 HAS SOPS 166376 HAS SOUS 90429 HAS SOUPS 89432 WITH SCORE 89600.092
AT ITER 1253 NEW BEST:: SOT 254697 SOS 168137 HAS SOPS 166303 HAS SOUS 90338 HAS SOUPS 89223 WITH SCORE 89391.137
AT ITER 1258 NEW BEST:: SOT 254688 SOS 167523 HAS SOPS 165689 HAS SOUS 90133 HAS SOUPS 89018 WITH SCORE 89185.523
AT ITER 1260 NEW BEST:: SOT 254049 SOS 167179 HAS SOPS 165387 HAS SOUS 89685 HAS SOUPS 88594 WITH SCORE 88761.179
AT ITER 1269 NEW BEST:: SOT 253992 SOS 167122 HAS SOPS 165330 HAS SOUS 89615 HAS SOUPS 88524 WITH SCORE 88691.122
AT ITER 1271 NEW BEST:: SOT 253895 SOS 167101 HAS SOPS 165309 HAS SOUS 89602 HAS SOUPS 88511 WITH SCORE 88678.101
AT ITER 1281 NEW BEST:: SOT 253609 SOS 166838 HAS SOPS 165046 HAS SOUS 89349 HAS SOUPS 88258 WITH SCORE 88424.838
AT ITER 1284 NEW BEST:: SOT 253447 SOS 166770 HAS SOPS 164978 HAS SOUS 89236 HAS SOUPS 88145 WITH SCORE 88311.77
AT ITER 1288 NEW BEST:: SOT 253439 SOS 166182 HAS SOPS 164714 HAS SOUS 88940 HAS SOUPS 88011 WITH SCORE 88177.182
AT ITER 1290 NEW BEST:: SOT 253479 SOS 165267 HAS SOPS 163779 HAS SOUS 88514 HAS SOUPS 87565 WITH SCORE 87730.267
AT ITER 1297 NEW BEST:: SOT 254261 SOS 165821 HAS SOPS 164070 HAS SOUS 88766 HAS SOUPS 87554 WITH SCORE 87719.821
AT ITER 1303 NEW BEST:: SOT 254094 SOS 165654 HAS SOPS 163903 HAS SOUS 88648 HAS SOUPS 87436 WITH SCORE 87601.654
AT ITER 1310 NEW BEST:: SOT 253896 SOS 164789 HAS SOPS 163038 HAS SOUS 88491 HAS SOUPS 87279 WITH SCORE 87443.789
AT ITER 1324 NEW BEST:: SOT 253665 SOS 164558 HAS SOPS 162807 HAS SOUS 88026 HAS SOUPS 86814 WITH SCORE 86978.558
AT ITER 1334 NEW BEST:: SOT 254651 SOS 164424 HAS SOPS 162710 HAS SOUS 87619 HAS SOUPS 86422 WITH SCORE 86586.424
AT ITER 1342 NEW BEST:: SOT 254420 SOS 163919 HAS SOPS 162205 HAS SOUS 87541 HAS SOUPS 86344 WITH SCORE 86507.919
AT ITER 1346 NEW BEST:: SOT 254420 SOS 163899 HAS SOPS 162185 HAS SOUS 87536 HAS SOUPS 86339 WITH SCORE 86502.899
AT ITER 1348 NEW BEST:: SOT 254376 SOS 163855 HAS SOPS 162141 HAS SOUS 87492 HAS SOUPS 86295 WITH SCORE 86458.855
AT ITER 1352 NEW BEST:: SOT 254257 SOS 163736 HAS SOPS 162022 HAS SOUS 87373 HAS SOUPS 86176 WITH SCORE 86339.736
AT ITER 1354 NEW BEST:: SOT 254201 SOS 163613 HAS SOPS 161899 HAS SOUS 87283 HAS SOUPS 86086 WITH SCORE 86249.613
AT ITER 1357 NEW BEST:: SOT 253885 SOS 163398 HAS SOPS 161821 HAS SOUS 87074 HAS SOUPS 86014 WITH SCORE 86177.398
AT ITER 1358 NEW BEST:: SOT 253622 SOS 163782 HAS SOPS 162196 HAS SOUS 87146 HAS SOUPS 85999 WITH SCORE 86162.782
AT ITER 1365 NEW BEST:: SOT 253054 SOS 163214 HAS SOPS 161628 HAS SOUS 86578 HAS SOUPS 85431 WITH SCORE 85594.214
AT ITER 1369 NEW BEST:: SOT 253016 SOS 163191 HAS SOPS 161590 HAS SOUS 86540 HAS SOUPS 85378 WITH SCORE 85541.191
AT ITER 1372 NEW BEST:: SOT 253050 SOS 163225 HAS SOPS 161624 HAS SOUS 86534 HAS SOUPS 85372 WITH SCORE 85535.225
AT ITER 1374 NEW BEST:: SOT 253026 SOS 163195 HAS SOPS 161594 HAS SOUS 86522 HAS SOUPS 85360 WITH SCORE 85523.195
AT ITER 1375 NEW BEST:: SOT 252714 SOS 162883 HAS SOPS 161282 HAS SOUS 86452 HAS SOUPS 85290 WITH SCORE 85452.883
AT ITER 1376 NEW BEST:: SOT 252752 SOS 162895 HAS SOPS 161294 HAS SOUS 86314 HAS SOUPS 85152 WITH SCORE 85314.895
AT ITER 1389 NEW BEST:: SOT 252684 SOS 162827 HAS SOPS 161226 HAS SOUS 86165 HAS SOUPS 85003 WITH SCORE 85165.827
AT ITER 1391 NEW BEST:: SOT 252683 SOS 162149 HAS SOPS 160548 HAS SOUS 86121 HAS SOUPS 84959 WITH SCORE 85121.149
AT ITER 1399 NEW BEST:: SOT 251630 SOS 160380 HAS SOPS 158779 HAS SOUS 84842 HAS SOUPS 83680 WITH SCORE 83840.38
AT ITER 1404 NEW BEST:: SOT 251491 SOS 159350 HAS SOPS 157749 HAS SOUS 84755 HAS SOUPS 83593 WITH SCORE 83752.35
AT ITER 1415 NEW BEST:: SOT 251491 SOS 159350 HAS SOPS 157749 HAS SOUS 84741 HAS SOUPS 83579 WITH SCORE 83738.35
AT ITER 1424 NEW BEST:: SOT 251483 SOS 159302 HAS SOPS 157701 HAS SOUS 84737 HAS SOUPS 83575 WITH SCORE 83734.302
AT ITER 1426 NEW BEST:: SOT 251483 SOS 159272 HAS SOPS 157671 HAS SOUS 84737 HAS SOUPS 83575 WITH SCORE 83734.272
AT ITER 1435 NEW BEST:: SOT 251497 SOS 159346 HAS SOPS 157745 HAS SOUS 84734 HAS SOUPS 83572 WITH SCORE 83731.346
AT ITER 1440 NEW BEST:: SOT 251510 SOS 159294 HAS SOPS 157680 HAS SOUS 84734 HAS SOUPS 83559 WITH SCORE 83718.294
AT ITER 1447 NEW BEST:: SOT 251278 SOS 159062 HAS SOPS 157448 HAS SOUS 84376 HAS SOUPS 83201 WITH SCORE 83360.062
AT ITER 1467 NEW BEST:: SOT 251215 SOS 159127 HAS SOPS 157513 HAS SOUS 84292 HAS SOUPS 83117 WITH SCORE 83276.127
AT ITER 1469 NEW BEST:: SOT 251212 SOS 159123 HAS SOPS 157509 HAS SOUS 84289 HAS SOUPS 83114 WITH SCORE 83273.123
AT ITER 1470 NEW BEST:: SOT 250853 SOS 157911 HAS SOPS 156297 HAS SOUS 83828 HAS SOUPS 82653 WITH SCORE 82810.911
AT ITER 1474 NEW BEST:: SOT 250625 SOS 157683 HAS SOPS 156069 HAS SOUS 83656 HAS SOUPS 82481 WITH SCORE 82638.683
AT ITER 1475 NEW BEST:: SOT 250625 SOS 157742 HAS SOPS 156128 HAS SOUS 83640 HAS SOUPS 82465 WITH SCORE 82622.742
AT ITER 1478 NEW BEST:: SOT 250608 SOS 157729 HAS SOPS 156115 HAS SOUS 83590 HAS SOUPS 82415 WITH SCORE 82572.729
AT ITER 1483 NEW BEST:: SOT 250620 SOS 157741 HAS SOPS 156127 HAS SOUS 83558 HAS SOUPS 82383 WITH SCORE 82540.741
AT ITER 1485 NEW BEST:: SOT 250551 SOS 157740 HAS SOPS 156137 HAS SOUS 83541 HAS SOUPS 82377 WITH SCORE 82534.74
AT ITER 1487 NEW BEST:: SOT 250539 SOS 157698 HAS SOPS 156095 HAS SOUS 83538 HAS SOUPS 82374 WITH SCORE 82531.698
AT ITER 1513 NEW BEST:: SOT 250617 SOS 157907 HAS SOPS 156313 HAS SOUS 83415 HAS SOUPS 82260 WITH SCORE 82417.907
AT ITER 1521 NEW BEST:: SOT 250630 SOS 157920 HAS SOPS 156326 HAS SOUS 83402 HAS SOUPS 82247 WITH SCORE 82404.92
AT ITER 1536 NEW BEST:: SOT 250664 SOS 157988 HAS SOPS 156360 HAS SOUS 83368 HAS SOUPS 82179 WITH SCORE 82336.988
AT ITER 1541 NEW BEST:: SOT 250749 SOS 157919 HAS SOPS 156291 HAS SOUS 83200 HAS SOUPS 82011 WITH SCORE 82168.919
AT ITER 1551 NEW BEST:: SOT 250711 SOS 157881 HAS SOPS 156253 HAS SOUS 83152 HAS SOUPS 81963 WITH SCORE 82120.881
AT ITER 1554 NEW BEST:: SOT 250729 SOS 157678 HAS SOPS 156050 HAS SOUS 83008 HAS SOUPS 81819 WITH SCORE 81976.678
AT ITER 1557 NEW BEST:: SOT 250687 SOS 157957 HAS SOPS 156329 HAS SOUS 82812 HAS SOUPS 81623 WITH SCORE 81780.957
AT ITER 1560 NEW BEST:: SOT 250701 SOS 157968 HAS SOPS 156340 HAS SOUS 82786 HAS SOUPS 81597 WITH SCORE 81754.968
AT ITER 1566 NEW BEST:: SOT 250689 SOS 157956 HAS SOPS 156328 HAS SOUS 82774 HAS SOUPS 81585 WITH SCORE 81742.956
AT ITER 1577 NEW BEST:: SOT 250082 SOS 157301 HAS SOPS 155673 HAS SOUS 82131 HAS SOUPS 80942 WITH SCORE 81099.301
AT ITER 1585 NEW BEST:: SOT 248751 SOS 156776 HAS SOPS 155148 HAS SOUS 81307 HAS SOUPS 80118 WITH SCORE 80274.776
AT ITER 1592 NEW BEST:: SOT 248697 SOS 156760 HAS SOPS 155132 HAS SOUS 81007 HAS SOUPS 79818 WITH SCORE 79974.76
AT ITER 1593 NEW BEST:: SOT 248688 SOS 156688 HAS SOPS 155060 HAS SOUS 80948 HAS SOUPS 79759 WITH SCORE 79915.688
AT ITER 1595 NEW BEST:: SOT 248685 SOS 156952 HAS SOPS 155324 HAS SOUS 80916 HAS SOUPS 79727 WITH SCORE 79883.952
AT ITER 1597 NEW BEST:: SOT 248682 SOS 156949 HAS SOPS 155321 HAS SOUS 80913 HAS SOUPS 79724 WITH SCORE 79880.949
AT ITER 1599 NEW BEST:: SOT 248570 SOS 156617 HAS SOPS 154929 HAS SOUS 80741 HAS SOUPS 79552 WITH SCORE 79708.617
AT ITER 1603 NEW BEST:: SOT 248334 SOS 155915 HAS SOPS 154227 HAS SOUS 80468 HAS SOUPS 79279 WITH SCORE 79434.915
AT ITER 1612 NEW BEST:: SOT 248334 SOS 155859 HAS SOPS 154171 HAS SOUS 80458 HAS SOUPS 79269 WITH SCORE 79424.859
AT ITER 1613 NEW BEST:: SOT 248322 SOS 155847 HAS SOPS 154159 HAS SOUS 80398 HAS SOUPS 79209 WITH SCORE 79364.847
AT ITER 1614 NEW BEST:: SOT 248387 SOS 155865 HAS SOPS 154177 HAS SOUS 80328 HAS SOUPS 79139 WITH SCORE 79294.865
AT ITER 1615 NEW BEST:: SOT 248390 SOS 155868 HAS SOPS 154180 HAS SOUS 80306 HAS SOUPS 79117 WITH SCORE 79272.868
AT ITER 1621 NEW BEST:: SOT 248203 SOS 155961 HAS SOPS 154382 HAS SOUS 80070 HAS SOUPS 78990 WITH SCORE 79145.961
AT ITER 1637 NEW BEST:: SOT 248205 SOS 156025 HAS SOPS 154446 HAS SOUS 80045 HAS SOUPS 78965 WITH SCORE 79121.025
AT ITER 1654 NEW BEST:: SOT 248071 SOS 157208 HAS SOPS 155629 HAS SOUS 79865 HAS SOUPS 78785 WITH SCORE 78942.208
AT ITER 1657 NEW BEST:: SOT 247993 SOS 156697 HAS SOPS 155118 HAS SOUS 79840 HAS SOUPS 78760 WITH SCORE 78916.697
AT ITER 1658 NEW BEST:: SOT 248103 SOS 156969 HAS SOPS 155390 HAS SOUS 79826 HAS SOUPS 78746 WITH SCORE 78902.969
AT ITER 1668 NEW BEST:: SOT 248077 SOS 156801 HAS SOPS 155222 HAS SOUS 79804 HAS SOUPS 78724 WITH SCORE 78880.801
AT ITER 1672 NEW BEST:: SOT 247989 SOS 156525 HAS SOPS 154946 HAS SOUS 79530 HAS SOUPS 78450 WITH SCORE 78606.525
AT ITER 1687 NEW BEST:: SOT 247903 SOS 156421 HAS SOPS 154842 HAS SOUS 79400 HAS SOUPS 78320 WITH SCORE 78476.421
AT ITER 1690 NEW BEST:: SOT 247898 SOS 156353 HAS SOPS 154774 HAS SOUS 79353 HAS SOUPS 78273 WITH SCORE 78429.353
AT ITER 1695 NEW BEST:: SOT 247711 SOS 155754 HAS SOPS 154070 HAS SOUS 79031 HAS SOUPS 77846 WITH SCORE 78001.754
AT ITER 1711 NEW BEST:: SOT 247776 SOS 155819 HAS SOPS 154135 HAS SOUS 78994 HAS SOUPS 77809 WITH SCORE 77964.819
AT ITER 1717 NEW BEST:: SOT 247886 SOS 155569 HAS SOPS 153852 HAS SOUS 78956 HAS SOUPS 77771 WITH SCORE 77926.569
AT ITER 1754 NEW BEST:: SOT 247282 SOS 155535 HAS SOPS 153818 HAS SOUS 78299 HAS SOUPS 77114 WITH SCORE 77269.535
AT ITER 1762 NEW BEST:: SOT 247244 SOS 154931 HAS SOPS 153086 HAS SOUS 78378 HAS SOUPS 77065 WITH SCORE 77219.931
AT ITER 1773 NEW BEST:: SOT 247219 SOS 154886 HAS SOPS 153041 HAS SOUS 78335 HAS SOUPS 77022 WITH SCORE 77176.886
AT ITER 1785 NEW BEST:: SOT 247308 SOS 154899 HAS SOPS 153054 HAS SOUS 78192 HAS SOUPS 76879 WITH SCORE 77033.899
AT ITER 1795 NEW BEST:: SOT 247266 SOS 154789 HAS SOPS 152944 HAS SOUS 78082 HAS SOUPS 76769 WITH SCORE 76923.789
AT ITER 1799 NEW BEST:: SOT 247122 SOS 154627 HAS SOPS 152782 HAS SOUS 77920 HAS SOUPS 76607 WITH SCORE 76761.627
AT ITER 1815 NEW BEST:: SOT 247070 SOS 154575 HAS SOPS 152730 HAS SOUS 77874 HAS SOUPS 76561 WITH SCORE 76715.575
AT ITER 1821 NEW BEST:: SOT 246902 SOS 154007 HAS SOPS 152162 HAS SOUS 77344 HAS SOUPS 76031 WITH SCORE 76185.007
AT ITER 1834 NEW BEST:: SOT 246869 SOS 153893 HAS SOPS 152048 HAS SOUS 77254 HAS SOUPS 75941 WITH SCORE 76094.893
AT ITER 1844 NEW BEST:: SOT 246798 SOS 153822 HAS SOPS 151977 HAS SOUS 77239 HAS SOUPS 75926 WITH SCORE 76079.822
AT ITER 1845 NEW BEST:: SOT 246796 SOS 153820 HAS SOPS 151975 HAS SOUS 77237 HAS SOUPS 75924 WITH SCORE 76077.82
AT ITER 1849 NEW BEST:: SOT 246796 SOS 153876 HAS SOPS 152031 HAS SOUS 77185 HAS SOUPS 75872 WITH SCORE 76025.876
AT ITER 1851 NEW BEST:: SOT 246421 SOS 153439 HAS SOPS 151594 HAS SOUS 77123 HAS SOUPS 75810 WITH SCORE 75963.439
AT ITER 1863 NEW BEST:: SOT 246395 SOS 153277 HAS SOPS 151432 HAS SOUS 77080 HAS SOUPS 75767 WITH SCORE 75920.277
AT ITER 1871 NEW BEST:: SOT 246359 SOS 153223 HAS SOPS 151378 HAS SOUS 76999 HAS SOUPS 75686 WITH SCORE 75839.223
AT ITER 1873 NEW BEST:: SOT 246258 SOS 153087 HAS SOPS 151242 HAS SOUS 76862 HAS SOUPS 75549 WITH SCORE 75702.087
AT ITER 1875 NEW BEST:: SOT 246070 SOS 152899 HAS SOPS 151054 HAS SOUS 76714 HAS SOUPS 75401 WITH SCORE 75553.899
AT ITER 1904 NEW BEST:: SOT 245919 SOS 151197 HAS SOPS 149352 HAS SOUS 76577 HAS SOUPS 75264 WITH SCORE 75415.197
AT ITER 1923 NEW BEST:: SOT 245927 SOS 151178 HAS SOPS 149333 HAS SOUS 76569 HAS SOUPS 75256 WITH SCORE 75407.178
AT ITER 1929 NEW BEST:: SOT 245888 SOS 151010 HAS SOPS 149165 HAS SOUS 76553 HAS SOUPS 75240 WITH SCORE 75391.01
AT ITER 1931 NEW BEST:: SOT 245888 SOS 150833 HAS SOPS 148988 HAS SOUS 76523 HAS SOUPS 75210 WITH SCORE 75360.833
AT ITER 1932 NEW BEST:: SOT 245800 SOS 150745 HAS SOPS 148900 HAS SOUS 76429 HAS SOUPS 75116 WITH SCORE 75266.745
AT ITER 1954 NEW BEST:: SOT 245798 SOS 150740 HAS SOPS 148895 HAS SOUS 76427 HAS SOUPS 75114 WITH SCORE 75264.74
AT ITER 1955 NEW BEST:: SOT 245821 SOS 150763 HAS SOPS 148918 HAS SOUS 76421 HAS SOUPS 75108 WITH SCORE 75258.763
AT ITER 1967 NEW BEST:: SOT 245836 SOS 150523 HAS SOPS 148663 HAS SOUS 76414 HAS SOUPS 75100 WITH SCORE 75250.523
AT ITER 1985 NEW BEST:: SOT 245850 SOS 150205 HAS SOPS 148345 HAS SOUS 76410 HAS SOUPS 75096 WITH SCORE 75246.205
AT ITER 1986 NEW BEST:: SOT 245823 SOS 150097 HAS SOPS 148237 HAS SOUS 76383 HAS SOUPS 75069 WITH SCORE 75219.097
AT ITER 1991 NEW BEST:: SOT 245823 SOS 150123 HAS SOPS 148237 HAS SOUS 76383 HAS SOUPS 75056 WITH SCORE 75206.123
AT ITER 1998 NEW BEST:: SOT 245778 SOS 150054 HAS SOPS 148168 HAS SOUS 76203 HAS SOUPS 74876 WITH SCORE 75026.054
AT ITER 2012 NEW BEST:: SOT 245635 SOS 149937 HAS SOPS 148051 HAS SOUS 76148 HAS SOUPS 74821 WITH SCORE 74970.937
AT ITER 2014 NEW BEST:: SOT 245565 SOS 149843 HAS SOPS 147957 HAS SOUS 76038 HAS SOUPS 74711 WITH SCORE 74860.843
AT ITER 2023 NEW BEST:: SOT 245551 SOS 149829 HAS SOPS 147943 HAS SOUS 75750 HAS SOUPS 74423 WITH SCORE 74572.829
AT ITER 2031 NEW BEST:: SOT 245561 SOS 149941 HAS SOPS 148055 HAS SOUS 75743 HAS SOUPS 74416 WITH SCORE 74565.941
AT ITER 2040 NEW BEST:: SOT 245442 SOS 149856 HAS SOPS 147970 HAS SOUS 75725 HAS SOUPS 74398 WITH SCORE 74547.856
AT ITER 2043 NEW BEST:: SOT 245235 SOS 149649 HAS SOPS 147763 HAS SOUS 75609 HAS SOUPS 74282 WITH SCORE 74431.649
AT ITER 2048 NEW BEST:: SOT 245127 SOS 149589 HAS SOPS 147703 HAS SOUS 75568 HAS SOUPS 74241 WITH SCORE 74390.589
AT ITER 2059 NEW BEST:: SOT 245118 SOS 149559 HAS SOPS 147673 HAS SOUS 75553 HAS SOUPS 74226 WITH SCORE 74375.559
AT ITER 2065 NEW BEST:: SOT 245296 SOS 149698 HAS SOPS 147812 HAS SOUS 75438 HAS SOUPS 74111 WITH SCORE 74260.698
AT ITER 2067 NEW BEST:: SOT 244690 SOS 148484 HAS SOPS 146598 HAS SOUS 75298 HAS SOUPS 73971 WITH SCORE 74119.484
AT ITER 2070 NEW BEST:: SOT 244690 SOS 148524 HAS SOPS 146638 HAS SOUS 75264 HAS SOUPS 73937 WITH SCORE 74085.524
AT ITER 2074 NEW BEST:: SOT 244664 SOS 148484 HAS SOPS 146598 HAS SOUS 75240 HAS SOUPS 73913 WITH SCORE 74061.484
AT ITER 2077 NEW BEST:: SOT 244451 SOS 148079 HAS SOPS 146193 HAS SOUS 75141 HAS SOUPS 73814 WITH SCORE 73962.079
AT ITER 2080 NEW BEST:: SOT 244245 SOS 147817 HAS SOPS 145931 HAS SOUS 75121 HAS SOUPS 73794 WITH SCORE 73941.817
AT ITER 2082 NEW BEST:: SOT 244245 SOS 147443 HAS SOPS 145557 HAS SOUS 75014 HAS SOUPS 73687 WITH SCORE 73834.443
AT ITER 2098 NEW BEST:: SOT 244245 SOS 147457 HAS SOPS 145571 HAS SOUS 75007 HAS SOUPS 73680 WITH SCORE 73827.457
AT ITER 2105 NEW BEST:: SOT 244223 SOS 147435 HAS SOPS 145549 HAS SOUS 74985 HAS SOUPS 73658 WITH SCORE 73805.435
AT ITER 2108 NEW BEST:: SOT 244219 SOS 147431 HAS SOPS 145545 HAS SOUS 74975 HAS SOUPS 73648 WITH SCORE 73795.431
AT ITER 2115 NEW BEST:: SOT 244190 SOS 145674 HAS SOPS 143788 HAS SOUS 74927 HAS SOUPS 73600 WITH SCORE 73745.674
AT ITER 2118 NEW BEST:: SOT 244190 SOS 145688 HAS SOPS 143802 HAS SOUS 74885 HAS SOUPS 73558 WITH SCORE 73703.688
AT ITER 2119 NEW BEST:: SOT 244176 SOS 145638 HAS SOPS 143752 HAS SOUS 74871 HAS SOUPS 73544 WITH SCORE 73689.638
AT ITER 2131 NEW BEST:: SOT 243331 SOS 144435 HAS SOPS 142549 HAS SOUS 74624 HAS SOUPS 73297 WITH SCORE 73441.435
AT ITER 2139 NEW BEST:: SOT 242469 SOS 143512 HAS SOPS 141626 HAS SOUS 73592 HAS SOUPS 72265 WITH SCORE 72408.512
AT ITER 2143 NEW BEST:: SOT 242126 SOS 143559 HAS SOPS 141206 HAS SOUS 73475 HAS SOUPS 71963 WITH SCORE 72106.559
AT ITER 2156 NEW BEST:: SOT 242136 SOS 143539 HAS SOPS 141216 HAS SOUS 73263 HAS SOUPS 71766 WITH SCORE 71909.539
AT ITER 2158 NEW BEST:: SOT 241390 SOS 142587 HAS SOPS 140264 HAS SOUS 72626 HAS SOUPS 71129 WITH SCORE 71271.587
AT ITER 2163 NEW BEST:: SOT 241308 SOS 142512 HAS SOPS 140189 HAS SOUS 72528 HAS SOUPS 71031 WITH SCORE 71173.512
AT ITER 2166 NEW BEST:: SOT 241205 SOS 142221 HAS SOPS 139898 HAS SOUS 72437 HAS SOUPS 70940 WITH SCORE 71082.221
AT ITER 2185 NEW BEST:: SOT 241110 SOS 141981 HAS SOPS 139658 HAS SOUS 72421 HAS SOUPS 70924 WITH SCORE 71065.981
AT ITER 2194 NEW BEST:: SOT 241358 SOS 141984 HAS SOPS 139661 HAS SOUS 72305 HAS SOUPS 70808 WITH SCORE 70949.984
AT ITER 2196 NEW BEST:: SOT 241069 SOS 141512 HAS SOPS 139097 HAS SOUS 72195 HAS SOUPS 70652 WITH SCORE 70793.512
AT ITER 2207 NEW BEST:: SOT 241119 SOS 141605 HAS SOPS 139190 HAS SOUS 72158 HAS SOUPS 70615 WITH SCORE 70756.605
AT ITER 2220 NEW BEST:: SOT 241171 SOS 141495 HAS SOPS 139080 HAS SOUS 72121 HAS SOUPS 70578 WITH SCORE 70719.495
AT ITER 2229 NEW BEST:: SOT 241235 SOS 141621 HAS SOPS 139206 HAS SOUS 72039 HAS SOUPS 70496 WITH SCORE 70637.621
AT ITER 2239 NEW BEST:: SOT 241222 SOS 141595 HAS SOPS 139180 HAS SOUS 72013 HAS SOUPS 70470 WITH SCORE 70611.595
AT ITER 2250 NEW BEST:: SOT 241213 SOS 141692 HAS SOPS 139277 HAS SOUS 71941 HAS SOUPS 70398 WITH SCORE 70539.692
AT ITER 2255 NEW BEST:: SOT 241218 SOS 141711 HAS SOPS 139296 HAS SOUS 71937 HAS SOUPS 70394 WITH SCORE 70535.711
AT ITER 2270 NEW BEST:: SOT 241207 SOS 141689 HAS SOPS 139274 HAS SOUS 71924 HAS SOUPS 70381 WITH SCORE 70522.689
AT ITER 2271 NEW BEST:: SOT 241119 SOS 141601 HAS SOPS 139186 HAS SOUS 71829 HAS SOUPS 70286 WITH SCORE 70427.601
AT ITER 2278 NEW BEST:: SOT 241147 SOS 141745 HAS SOPS 139330 HAS SOUS 71772 HAS SOUPS 70229 WITH SCORE 70370.745
AT ITER 2279 NEW BEST:: SOT 241179 SOS 142203 HAS SOPS 139788 HAS SOUS 71739 HAS SOUPS 70196 WITH SCORE 70338.203
AT ITER 2281 NEW BEST:: SOT 240874 SOS 142540 HAS SOPS 140125 HAS SOUS 71188 HAS SOUPS 69645 WITH SCORE 69787.54
AT ITER 2287 NEW BEST:: SOT 240870 SOS 142536 HAS SOPS 140121 HAS SOUS 71180 HAS SOUPS 69637 WITH SCORE 69779.536
AT ITER 2296 NEW BEST:: SOT 240870 SOS 142554 HAS SOPS 140139 HAS SOUS 71162 HAS SOUPS 69619 WITH SCORE 69761.554
AT ITER 2301 NEW BEST:: SOT 240898 SOS 142662 HAS SOPS 140247 HAS SOUS 71160 HAS SOUPS 69617 WITH SCORE 69759.662
AT ITER 2304 NEW BEST:: SOT 240892 SOS 142659 HAS SOPS 140244 HAS SOUS 71157 HAS SOUPS 69614 WITH SCORE 69756.659
AT ITER 2316 NEW BEST:: SOT 241060 SOS 142832 HAS SOPS 140360 HAS SOUS 71013 HAS SOUPS 69413 WITH SCORE 69555.832
AT ITER 2323 NEW BEST:: SOT 241060 SOS 142832 HAS SOPS 140360 HAS SOUS 70994 HAS SOUPS 69394 WITH SCORE 69536.832
AT ITER 2324 NEW BEST:: SOT 241026 SOS 142798 HAS SOPS 140326 HAS SOUS 70960 HAS SOUPS 69360 WITH SCORE 69502.798
AT ITER 2332 NEW BEST:: SOT 240876 SOS 142782 HAS SOPS 140310 HAS SOUS 70840 HAS SOUPS 69240 WITH SCORE 69382.782
AT ITER 2345 NEW BEST:: SOT 240848 SOS 142762 HAS SOPS 140290 HAS SOUS 70820 HAS SOUPS 69220 WITH SCORE 69362.762
AT ITER 2348 NEW BEST:: SOT 240798 SOS 142622 HAS SOPS 140145 HAS SOUS 70683 HAS SOUPS 69078 WITH SCORE 69220.622
AT ITER 2351 NEW BEST:: SOT 240798 SOS 142820 HAS SOPS 140343 HAS SOUS 70649 HAS SOUPS 69044 WITH SCORE 69186.82
AT ITER 2363 NEW BEST:: SOT 240598 SOS 142540 HAS SOPS 140063 HAS SOUS 70469 HAS SOUPS 68864 WITH SCORE 69006.54
AT ITER 2373 NEW BEST:: SOT 240592 SOS 142462 HAS SOPS 139985 HAS SOUS 70451 HAS SOUPS 68846 WITH SCORE 68988.462
AT ITER 2384 NEW BEST:: SOT 240554 SOS 142204 HAS SOPS 139727 HAS SOUS 70210 HAS SOUPS 68605 WITH SCORE 68747.204
AT ITER 2393 NEW BEST:: SOT 240550 SOS 142200 HAS SOPS 139723 HAS SOUS 70201 HAS SOUPS 68596 WITH SCORE 68738.2
AT ITER 2394 NEW BEST:: SOT 240546 SOS 142196 HAS SOPS 139719 HAS SOUS 70197 HAS SOUPS 68592 WITH SCORE 68734.196
AT ITER 2395 NEW BEST:: SOT 240374 SOS 142024 HAS SOPS 139547 HAS SOUS 70197 HAS SOUPS 68592 WITH SCORE 68734.024
AT ITER 2422 NEW BEST:: SOT 240385 SOS 142046 HAS SOPS 139569 HAS SOUS 70191 HAS SOUPS 68586 WITH SCORE 68728.046
AT ITER 2433 NEW BEST:: SOT 240472 SOS 142175 HAS SOPS 139698 HAS SOUS 70185 HAS SOUPS 68580 WITH SCORE 68722.175
AT ITER 2444 NEW BEST:: SOT 240356 SOS 142049 HAS SOPS 139572 HAS SOUS 70089 HAS SOUPS 68484 WITH SCORE 68626.049
AT ITER 2445 NEW BEST:: SOT 240336 SOS 142029 HAS SOPS 139552 HAS SOUS 70069 HAS SOUPS 68464 WITH SCORE 68606.029
AT ITER 2457 NEW BEST:: SOT 239989 SOS 140409 HAS SOPS 137932 HAS SOUS 69709 HAS SOUPS 68104 WITH SCORE 68244.409
AT ITER 2461 NEW BEST:: SOT 240067 SOS 140423 HAS SOPS 137890 HAS SOUS 69579 HAS SOUPS 67918 WITH SCORE 68058.423
AT ITER 2463 NEW BEST:: SOT 240067 SOS 140402 HAS SOPS 137869 HAS SOUS 69537 HAS SOUPS 67876 WITH SCORE 68016.402
AT ITER 2470 NEW BEST:: SOT 240155 SOS 140428 HAS SOPS 137515 HAS SOUS 69386 HAS SOUPS 67530 WITH SCORE 67670.428
AT ITER 2471 NEW BEST:: SOT 240155 SOS 140575 HAS SOPS 137662 HAS SOUS 69331 HAS SOUPS 67475 WITH SCORE 67615.575
AT ITER 2472 NEW BEST:: SOT 240189 SOS 139329 HAS SOPS 136445 HAS SOUS 69051 HAS SOUPS 67210 WITH SCORE 67349.329
AT ITER 2486 NEW BEST:: SOT 240149 SOS 139289 HAS SOPS 136405 HAS SOUS 69033 HAS SOUPS 67192 WITH SCORE 67331.289
AT ITER 2495 NEW BEST:: SOT 240128 SOS 139268 HAS SOPS 136384 HAS SOUS 69002 HAS SOUPS 67161 WITH SCORE 67300.268
AT ITER 2499 NEW BEST:: SOT 240211 SOS 139347 HAS SOPS 136463 HAS SOUS 68936 HAS SOUPS 67095 WITH SCORE 67234.347
AT ITER 2508 NEW BEST:: SOT 240169 SOS 139491 HAS SOPS 136607 HAS SOUS 68884 HAS SOUPS 67043 WITH SCORE 67182.491
AT ITER 2509 NEW BEST:: SOT 240191 SOS 139601 HAS SOPS 136707 HAS SOUS 68873 HAS SOUPS 67022 WITH SCORE 67161.601
AT ITER 2513 NEW BEST:: SOT 240229 SOS 138093 HAS SOPS 135199 HAS SOUS 68610 HAS SOUPS 66759 WITH SCORE 66897.093
AT ITER 2514 NEW BEST:: SOT 240237 SOS 138101 HAS SOPS 135207 HAS SOUS 68576 HAS SOUPS 66725 WITH SCORE 66863.101
AT ITER 2542 NEW BEST:: SOT 240006 SOS 137853 HAS SOPS 134958 HAS SOUS 68430 HAS SOUPS 66578 WITH SCORE 66715.853
AT ITER 2543 NEW BEST:: SOT 240089 SOS 137072 HAS SOPS 134177 HAS SOUS 68361 HAS SOUPS 66509 WITH SCORE 66646.072
AT ITER 2546 NEW BEST:: SOT 240035 SOS 136982 HAS SOPS 134087 HAS SOUS 68325 HAS SOUPS 66473 WITH SCORE 66609.982
AT ITER 2559 NEW BEST:: SOT 240022 SOS 136956 HAS SOPS 134061 HAS SOUS 68299 HAS SOUPS 66447 WITH SCORE 66583.956
AT ITER 2564 NEW BEST:: SOT 239866 SOS 136653 HAS SOPS 133758 HAS SOUS 68128 HAS SOUPS 66276 WITH SCORE 66412.653
AT ITER 2571 NEW BEST:: SOT 239810 SOS 136636 HAS SOPS 133741 HAS SOUS 68128 HAS SOUPS 66276 WITH SCORE 66412.636
AT ITER 2579 NEW BEST:: SOT 239824 SOS 136613 HAS SOPS 133718 HAS SOUS 68127 HAS SOUPS 66275 WITH SCORE 66411.613
AT ITER 2581 NEW BEST:: SOT 239788 SOS 136565 HAS SOPS 133670 HAS SOUS 68055 HAS SOUPS 66203 WITH SCORE 66339.565
AT ITER 2596 NEW BEST:: SOT 239886 SOS 135710 HAS SOPS 132815 HAS SOUS 67972 HAS SOUPS 66120 WITH SCORE 66255.71
AT ITER 2606 NEW BEST:: SOT 239907 SOS 135791 HAS SOPS 133028 HAS SOUS 67885 HAS SOUPS 66081 WITH SCORE 66216.791
AT ITER 2607 NEW BEST:: SOT 239855 SOS 135674 HAS SOPS 132911 HAS SOUS 67807 HAS SOUPS 66003 WITH SCORE 66138.674
AT ITER 2633 NEW BEST:: SOT 239733 SOS 135210 HAS SOPS 132447 HAS SOUS 67649 HAS SOUPS 65845 WITH SCORE 65980.21
AT ITER 2639 NEW BEST:: SOT 239711 SOS 135143 HAS SOPS 132380 HAS SOUS 67597 HAS SOUPS 65793 WITH SCORE 65928.143
AT ITER 2654 NEW BEST:: SOT 239711 SOS 135104 HAS SOPS 132341 HAS SOUS 67583 HAS SOUPS 65779 WITH SCORE 65914.104
AT ITER 2668 NEW BEST:: SOT 239423 SOS 134785 HAS SOPS 132053 HAS SOUS 67342 HAS SOUPS 65610 WITH SCORE 65744.785
AT ITER 2675 NEW BEST:: SOT 239499 SOS 134861 HAS SOPS 132129 HAS SOUS 67292 HAS SOUPS 65560 WITH SCORE 65694.861
AT ITER 2676 NEW BEST:: SOT 239740 SOS 134705 HAS SOPS 131922 HAS SOUS 67264 HAS SOUPS 65532 WITH SCORE 65666.705
AT ITER 2678 NEW BEST:: SOT 239742 SOS 134715 HAS SOPS 131928 HAS SOUS 67266 HAS SOUPS 65530 WITH SCORE 65664.715
AT ITER 2681 NEW BEST:: SOT 239736 SOS 134711 HAS SOPS 131924 HAS SOUS 67256 HAS SOUPS 65520 WITH SCORE 65654.711
AT ITER 2700 NEW BEST:: SOT 239711 SOS 134686 HAS SOPS 131899 HAS SOUS 67211 HAS SOUPS 65475 WITH SCORE 65609.686
AT ITER 2733 NEW BEST:: SOT 239646 SOS 134621 HAS SOPS 131834 HAS SOUS 67086 HAS SOUPS 65350 WITH SCORE 65484.621
AT ITER 2738 NEW BEST:: SOT 239646 SOS 134642 HAS SOPS 131867 HAS SOUS 67077 HAS SOUPS 65347 WITH SCORE 65481.642
AT ITER 2749 NEW BEST:: SOT 239589 SOS 134953 HAS SOPS 132178 HAS SOUS 66915 HAS SOUPS 65185 WITH SCORE 65319.953
AT ITER 2761 NEW BEST:: SOT 239571 SOS 134821 HAS SOPS 132040 HAS SOUS 66909 HAS SOUPS 65173 WITH SCORE 65307.821
AT ITER 2767 NEW BEST:: SOT 239010 SOS 133992 HAS SOPS 131211 HAS SOUS 66598 HAS SOUPS 64862 WITH SCORE 64995.992
AT ITER 2786 NEW BEST:: SOT 239010 SOS 133992 HAS SOPS 131211 HAS SOUS 66471 HAS SOUPS 64735 WITH SCORE 64868.992
AT ITER 2789 NEW BEST:: SOT 239147 SOS 134275 HAS SOPS 131348 HAS SOUS 66389 HAS SOUPS 64580 WITH SCORE 64714.275
AT ITER 2803 NEW BEST:: SOT 239063 SOS 134386 HAS SOPS 131459 HAS SOUS 66256 HAS SOUPS 64447 WITH SCORE 64581.386
AT ITER 2824 NEW BEST:: SOT 239078 SOS 134351 HAS SOPS 131424 HAS SOUS 66241 HAS SOUPS 64432 WITH SCORE 64566.351
AT ITER 2828 NEW BEST:: SOT 239093 SOS 134655 HAS SOPS 131728 HAS SOUS 66169 HAS SOUPS 64360 WITH SCORE 64494.655
AT ITER 2831 NEW BEST:: SOT 239053 SOS 134615 HAS SOPS 131688 HAS SOUS 66149 HAS SOUPS 64340 WITH SCORE 64474.615
AT ITER 2841 NEW BEST:: SOT 239051 SOS 134613 HAS SOPS 131686 HAS SOUS 66145 HAS SOUPS 64336 WITH SCORE 64470.613
AT ITER 2844 NEW BEST:: SOT 239070 SOS 134638 HAS SOPS 131711 HAS SOUS 66128 HAS SOUPS 64319 WITH SCORE 64453.638
AT ITER 2860 NEW BEST:: SOT 239022 SOS 134590 HAS SOPS 131663 HAS SOUS 66056 HAS SOUPS 64247 WITH SCORE 64381.59
AT ITER 2863 NEW BEST:: SOT 238905 SOS 134114 HAS SOPS 131187 HAS SOUS 65973 HAS SOUPS 64164 WITH SCORE 64298.114
AT ITER 2867 NEW BEST:: SOT 238885 SOS 133928 HAS SOPS 131001 HAS SOUS 65973 HAS SOUPS 64164 WITH SCORE 64297.928
AT ITER 2896 NEW BEST:: SOT 238932 SOS 134047 HAS SOPS 131120 HAS SOUS 65964 HAS SOUPS 64155 WITH SCORE 64289.047
AT ITER 2898 NEW BEST:: SOT 238932 SOS 134047 HAS SOPS 131120 HAS SOUS 65960 HAS SOUPS 64151 WITH SCORE 64285.047
AT ITER 2901 NEW BEST:: SOT 238883 SOS 134001 HAS SOPS 131074 HAS SOUS 65813 HAS SOUPS 64004 WITH SCORE 64138.001
AT ITER 2908 NEW BEST:: SOT 238749 SOS 133867 HAS SOPS 130940 HAS SOUS 65793 HAS SOUPS 63984 WITH SCORE 64117.867
AT ITER 2909 NEW BEST:: SOT 238598 SOS 134038 HAS SOPS 131111 HAS SOUS 65585 HAS SOUPS 63776 WITH SCORE 63910.038
AT ITER 2910 NEW BEST:: SOT 238560 SOS 133987 HAS SOPS 131060 HAS SOUS 65528 HAS SOUPS 63719 WITH SCORE 63852.987
AT ITER 2919 NEW BEST:: SOT 238532 SOS 133931 HAS SOPS 131004 HAS SOUS 65500 HAS SOUPS 63691 WITH SCORE 63824.931
AT ITER 2923 NEW BEST:: SOT 238394 SOS 133581 HAS SOPS 130654 HAS SOUS 65453 HAS SOUPS 63644 WITH SCORE 63777.581
AT ITER 2927 NEW BEST:: SOT 238313 SOS 133500 HAS SOPS 130573 HAS SOUS 65372 HAS SOUPS 63563 WITH SCORE 63696.5
AT ITER 2936 NEW BEST:: SOT 238130 SOS 133221 HAS SOPS 130294 HAS SOUS 65035 HAS SOUPS 63226 WITH SCORE 63359.221
AT ITER 2966 NEW BEST:: SOT 237974 SOS 133086 HAS SOPS 130159 HAS SOUS 64897 HAS SOUPS 63088 WITH SCORE 63221.086
AT ITER 2980 NEW BEST:: SOT 238006 SOS 133126 HAS SOPS 130199 HAS SOUS 64785 HAS SOUPS 62976 WITH SCORE 63109.126
AT ITER 2981 NEW BEST:: SOT 237990 SOS 133012 HAS SOPS 130085 HAS SOUS 64779 HAS SOUPS 62970 WITH SCORE 63103.012
AT ITER 2988 NEW BEST:: SOT 237885 SOS 132876 HAS SOPS 129994 HAS SOUS 64736 HAS SOUPS 62927 WITH SCORE 63059.876
AT ITER 2993 NEW BEST:: SOT 237895 SOS 132970 HAS SOPS 130088 HAS SOUS 64693 HAS SOUPS 62884 WITH SCORE 63016.97
AT ITER 2999 NEW BEST:: SOT 237863 SOS 132874 HAS SOPS 129992 HAS SOUS 64653 HAS SOUPS 62844 WITH SCORE 62976.874
AT ITER 3016 NEW BEST:: SOT 237726 SOS 132525 HAS SOPS 129643 HAS SOUS 64541 HAS SOUPS 62732 WITH SCORE 62864.525
AT ITER 3027 NEW BEST:: SOT 237710 SOS 132517 HAS SOPS 129635 HAS SOUS 64530 HAS SOUPS 62721 WITH SCORE 62853.517
AT ITER 3038 NEW BEST:: SOT 237544 SOS 132351 HAS SOPS 129469 HAS SOUS 64347 HAS SOUPS 62538 WITH SCORE 62670.351
AT ITER 3051 NEW BEST:: SOT 237544 SOS 132378 HAS SOPS 129496 HAS SOUS 64329 HAS SOUPS 62520 WITH SCORE 62652.378
AT ITER 3056 NEW BEST:: SOT 237362 SOS 133243 HAS SOPS 130361 HAS SOUS 64148 HAS SOUPS 62339 WITH SCORE 62472.243
AT ITER 3077 NEW BEST:: SOT 237391 SOS 133903 HAS SOPS 131021 HAS SOUS 64080 HAS SOUPS 62271 WITH SCORE 62404.903
AT ITER 3090 NEW BEST:: SOT 237312 SOS 133824 HAS SOPS 130942 HAS SOUS 64001 HAS SOUPS 62192 WITH SCORE 62325.824
AT ITER 3110 NEW BEST:: SOT 237160 SOS 133604 HAS SOPS 130722 HAS SOUS 63768 HAS SOUPS 61959 WITH SCORE 62092.604
AT ITER 3121 NEW BEST:: SOT 237284 SOS 133665 HAS SOPS 130783 HAS SOUS 63738 HAS SOUPS 61929 WITH SCORE 62062.665
AT ITER 3130 NEW BEST:: SOT 237164 SOS 133497 HAS SOPS 130615 HAS SOUS 63690 HAS SOUPS 61881 WITH SCORE 62014.497
AT ITER 3153 NEW BEST:: SOT 237130 SOS 133446 HAS SOPS 130564 HAS SOUS 63611 HAS SOUPS 61802 WITH SCORE 61935.446
AT ITER 3156 NEW BEST:: SOT 237120 SOS 133396 HAS SOPS 130514 HAS SOUS 63605 HAS SOUPS 61796 WITH SCORE 61929.396
AT ITER 3164 NEW BEST:: SOT 237123 SOS 133243 HAS SOPS 130361 HAS SOUS 63554 HAS SOUPS 61745 WITH SCORE 61878.243
AT ITER 3167 NEW BEST:: SOT 237383 SOS 133341 HAS SOPS 130485 HAS SOUS 63508 HAS SOUPS 61725 WITH SCORE 61858.341
AT ITER 3169 NEW BEST:: SOT 237216 SOS 133137 HAS SOPS 130281 HAS SOUS 63388 HAS SOUPS 61605 WITH SCORE 61738.137
AT ITER 3176 NEW BEST:: SOT 237154 SOS 132864 HAS SOPS 130008 HAS SOUS 63363 HAS SOUPS 61580 WITH SCORE 61712.864
AT ITER 3179 NEW BEST:: SOT 237106 SOS 132797 HAS SOPS 129941 HAS SOUS 63331 HAS SOUPS 61548 WITH SCORE 61680.797
AT ITER 3186 NEW BEST:: SOT 237106 SOS 132427 HAS SOPS 129571 HAS SOUS 63215 HAS SOUPS 61432 WITH SCORE 61564.427
AT ITER 3187 NEW BEST:: SOT 237059 SOS 132944 HAS SOPS 130088 HAS SOUS 63197 HAS SOUPS 61414 WITH SCORE 61546.944
AT ITER 3210 NEW BEST:: SOT 237013 SOS 132778 HAS SOPS 129922 HAS SOUS 63167 HAS SOUPS 61384 WITH SCORE 61516.778
AT ITER 3214 NEW BEST:: SOT 236636 SOS 132586 HAS SOPS 129731 HAS SOUS 63023 HAS SOUPS 61241 WITH SCORE 61373.586
AT ITER 3236 NEW BEST:: SOT 236549 SOS 132460 HAS SOPS 129605 HAS SOUS 62916 HAS SOUPS 61134 WITH SCORE 61266.46
AT ITER 3239 NEW BEST:: SOT 236583 SOS 132494 HAS SOPS 129639 HAS SOUS 62833 HAS SOUPS 61051 WITH SCORE 61183.494
AT ITER 3259 NEW BEST:: SOT 236581 SOS 132064 HAS SOPS 129209 HAS SOUS 62732 HAS SOUPS 60950 WITH SCORE 61082.064
AT ITER 3264 NEW BEST:: SOT 236594 SOS 132084 HAS SOPS 129229 HAS SOUS 62403 HAS SOUPS 60621 WITH SCORE 60753.084
AT ITER 3265 NEW BEST:: SOT 236568 SOS 131915 HAS SOPS 129047 HAS SOUS 62364 HAS SOUPS 60569 WITH SCORE 60700.915
AT ITER 3282 NEW BEST:: SOT 236547 SOS 131866 HAS SOPS 128998 HAS SOUS 62330 HAS SOUPS 60535 WITH SCORE 60666.866
AT ITER 3289 NEW BEST:: SOT 236499 SOS 131812 HAS SOPS 128944 HAS SOUS 62247 HAS SOUPS 60452 WITH SCORE 60583.812
AT ITER 3302 NEW BEST:: SOT 236354 SOS 131535 HAS SOPS 128667 HAS SOUS 62167 HAS SOUPS 60372 WITH SCORE 60503.535
AT ITER 3303 NEW BEST:: SOT 236354 SOS 131400 HAS SOPS 128532 HAS SOUS 62032 HAS SOUPS 60237 WITH SCORE 60368.4
AT ITER 3305 NEW BEST:: SOT 236354 SOS 131391 HAS SOPS 128523 HAS SOUS 62023 HAS SOUPS 60228 WITH SCORE 60359.391
AT ITER 3314 NEW BEST:: SOT 236354 SOS 131391 HAS SOPS 128523 HAS SOUS 62021 HAS SOUPS 60226 WITH SCORE 60357.391
AT ITER 3326 NEW BEST:: SOT 236354 SOS 131627 HAS SOPS 128759 HAS SOUS 62019 HAS SOUPS 60224 WITH SCORE 60355.627
AT ITER 3342 NEW BEST:: SOT 236283 SOS 130971 HAS SOPS 128103 HAS SOUS 61980 HAS SOUPS 60185 WITH SCORE 60315.971
AT ITER 3349 NEW BEST:: SOT 236283 SOS 130563 HAS SOPS 127695 HAS SOUS 61980 HAS SOUPS 60185 WITH SCORE 60315.563
AT ITER 3352 NEW BEST:: SOT 236308 SOS 130380 HAS SOPS 127512 HAS SOUS 61980 HAS SOUPS 60185 WITH SCORE 60315.38
AT ITER 3358 NEW BEST:: SOT 236197 SOS 130304 HAS SOPS 127436 HAS SOUS 61806 HAS SOUPS 60011 WITH SCORE 60141.304
AT ITER 3375 NEW BEST:: SOT 236189 SOS 130321 HAS SOPS 127453 HAS SOUS 61791 HAS SOUPS 59996 WITH SCORE 60126.321
AT ITER 3400 NEW BEST:: SOT 236123 SOS 130242 HAS SOPS 127374 HAS SOUS 61721 HAS SOUPS 59926 WITH SCORE 60056.242
AT ITER 3426 NEW BEST:: SOT 236385 SOS 130366 HAS SOPS 127498 HAS SOUS 61579 HAS SOUPS 59784 WITH SCORE 59914.366
AT ITER 3430 NEW BEST:: SOT 236333 SOS 130314 HAS SOPS 127446 HAS SOUS 61520 HAS SOUPS 59725 WITH SCORE 59855.314
AT ITER 3434 NEW BEST:: SOT 236044 SOS 129947 HAS SOPS 127079 HAS SOUS 61264 HAS SOUPS 59469 WITH SCORE 59598.947
AT ITER 3437 NEW BEST:: SOT 236023 SOS 129933 HAS SOPS 127065 HAS SOUS 61257 HAS SOUPS 59462 WITH SCORE 59591.933
AT ITER 3448 NEW BEST:: SOT 236078 SOS 129894 HAS SOPS 127026 HAS SOUS 61236 HAS SOUPS 59441 WITH SCORE 59570.894
AT ITER 3453 NEW BEST:: SOT 236018 SOS 129126 HAS SOPS 126161 HAS SOUS 61240 HAS SOUPS 59367 WITH SCORE 59496.126
AT ITER 3459 NEW BEST:: SOT 236233 SOS 129081 HAS SOPS 126116 HAS SOUS 61065 HAS SOUPS 59192 WITH SCORE 59321.081
AT ITER 3462 NEW BEST:: SOT 236195 SOS 129043 HAS SOPS 126078 HAS SOUS 61065 HAS SOUPS 59192 WITH SCORE 59321.043
AT ITER 3464 NEW BEST:: SOT 236186 SOS 129028 HAS SOPS 126063 HAS SOUS 61050 HAS SOUPS 59177 WITH SCORE 59306.028
AT ITER 3472 NEW BEST:: SOT 236242 SOS 130008 HAS SOPS 127043 HAS SOUS 60769 HAS SOUPS 58896 WITH SCORE 59026.008
AT ITER 3481 NEW BEST:: SOT 236224 SOS 130025 HAS SOPS 127060 HAS SOUS 60751 HAS SOUPS 58878 WITH SCORE 59008.025
AT ITER 3483 NEW BEST:: SOT 236056 SOS 129867 HAS SOPS 126902 HAS SOUS 60319 HAS SOUPS 58446 WITH SCORE 58575.867
AT ITER 3493 NEW BEST:: SOT 236024 SOS 129883 HAS SOPS 126918 HAS SOUS 60303 HAS SOUPS 58430 WITH SCORE 58559.883
AT ITER 3504 NEW BEST:: SOT 236024 SOS 130199 HAS SOPS 127234 HAS SOUS 60292 HAS SOUPS 58419 WITH SCORE 58549.199
AT ITER 3509 NEW BEST:: SOT 236056 SOS 130255 HAS SOPS 127290 HAS SOUS 60275 HAS SOUPS 58402 WITH SCORE 58532.255
AT ITER 3510 NEW BEST:: SOT 236025 SOS 130224 HAS SOPS 127259 HAS SOUS 60152 HAS SOUPS 58279 WITH SCORE 58409.224
AT ITER 3530 NEW BEST:: SOT 236027 SOS 130232 HAS SOPS 127267 HAS SOUS 60144 HAS SOUPS 58271 WITH SCORE 58401.232
AT ITER 3532 NEW BEST:: SOT 236007 SOS 130236 HAS SOPS 127217 HAS SOUS 60160 HAS SOUPS 58245 WITH SCORE 58375.236
AT ITER 3535 NEW BEST:: SOT 236069 SOS 129988 HAS SOPS 126969 HAS SOUS 60160 HAS SOUPS 58245 WITH SCORE 58374.988
AT ITER 3555 NEW BEST:: SOT 236013 SOS 130728 HAS SOPS 127730 HAS SOUS 60115 HAS SOUPS 58200 WITH SCORE 58330.728
AT ITER 3562 NEW BEST:: SOT 235997 SOS 130682 HAS SOPS 127684 HAS SOUS 60055 HAS SOUPS 58140 WITH SCORE 58270.682
AT ITER 3569 NEW BEST:: SOT 236070 SOS 130473 HAS SOPS 127475 HAS SOUS 59948 HAS SOUPS 58033 WITH SCORE 58163.473
AT ITER 3581 NEW BEST:: SOT 236063 SOS 130466 HAS SOPS 127468 HAS SOUS 59948 HAS SOUPS 58033 WITH SCORE 58163.466
AT ITER 3585 NEW BEST:: SOT 236054 SOS 130425 HAS SOPS 127391 HAS SOUS 59953 HAS SOUPS 58007 WITH SCORE 58137.425
AT ITER 3591 NEW BEST:: SOT 236034 SOS 130360 HAS SOPS 127326 HAS SOUS 59903 HAS SOUPS 57957 WITH SCORE 58087.36
AT ITER 3592 NEW BEST:: SOT 236019 SOS 130240 HAS SOPS 127206 HAS SOUS 59888 HAS SOUPS 57942 WITH SCORE 58072.24
AT ITER 3608 NEW BEST:: SOT 235860 SOS 129735 HAS SOPS 126701 HAS SOUS 59413 HAS SOUPS 57467 WITH SCORE 57596.735
AT ITER 3611 NEW BEST:: SOT 235857 SOS 129755 HAS SOPS 126721 HAS SOUS 59365 HAS SOUPS 57435 WITH SCORE 57564.755
AT ITER 3624 NEW BEST:: SOT 235818 SOS 129716 HAS SOPS 126682 HAS SOUS 59187 HAS SOUPS 57257 WITH SCORE 57386.716
AT ITER 3650 NEW BEST:: SOT 235811 SOS 129636 HAS SOPS 126602 HAS SOUS 59086 HAS SOUPS 57156 WITH SCORE 57285.636
AT ITER 3661 NEW BEST:: SOT 235801 SOS 129626 HAS SOPS 126592 HAS SOUS 59066 HAS SOUPS 57136 WITH SCORE 57265.626
AT ITER 3662 NEW BEST:: SOT 235674 SOS 129667 HAS SOPS 126633 HAS SOUS 58998 HAS SOUPS 57068 WITH SCORE 57197.667
AT ITER 3675 NEW BEST:: SOT 235695 SOS 129478 HAS SOPS 126444 HAS SOUS 58998 HAS SOUPS 57068 WITH SCORE 57197.478
AT ITER 3681 NEW BEST:: SOT 235679 SOS 129558 HAS SOPS 126524 HAS SOUS 58966 HAS SOUPS 57036 WITH SCORE 57165.558
AT ITER 3704 NEW BEST:: SOT 235603 SOS 129422 HAS SOPS 126388 HAS SOUS 58950 HAS SOUPS 57020 WITH SCORE 57149.422
AT ITER 3710 NEW BEST:: SOT 235555 SOS 129125 HAS SOPS 126091 HAS SOUS 58896 HAS SOUPS 56966 WITH SCORE 57095.125
AT ITER 3725 NEW BEST:: SOT 235402 SOS 128972 HAS SOPS 125938 HAS SOUS 58726 HAS SOUPS 56796 WITH SCORE 56924.972
AT ITER 3732 NEW BEST:: SOT 235313 SOS 128955 HAS SOPS 125921 HAS SOUS 58666 HAS SOUPS 56736 WITH SCORE 56864.955
AT ITER 3735 NEW BEST:: SOT 235333 SOS 128975 HAS SOPS 125941 HAS SOUS 58650 HAS SOUPS 56720 WITH SCORE 56848.975
AT ITER 3754 NEW BEST:: SOT 235327 SOS 128969 HAS SOPS 125935 HAS SOUS 58638 HAS SOUPS 56708 WITH SCORE 56836.969
AT ITER 3760 NEW BEST:: SOT 235308 SOS 128950 HAS SOPS 125916 HAS SOUS 58631 HAS SOUPS 56701 WITH SCORE 56829.95
AT ITER 3774 NEW BEST:: SOT 235308 SOS 128950 HAS SOPS 125916 HAS SOUS 58619 HAS SOUPS 56689 WITH SCORE 56817.95
AT ITER 3781 NEW BEST:: SOT 235268 SOS 128990 HAS SOPS 125956 HAS SOUS 58599 HAS SOUPS 56669 WITH SCORE 56797.99
AT ITER 3785 NEW BEST:: SOT 235198 SOS 128920 HAS SOPS 125886 HAS SOUS 58515 HAS SOUPS 56585 WITH SCORE 56713.92
AT ITER 3787 NEW BEST:: SOT 235133 SOS 128855 HAS SOPS 125821 HAS SOUS 58425 HAS SOUPS 56495 WITH SCORE 56623.855
AT ITER 3806 NEW BEST:: SOT 235039 SOS 127926 HAS SOPS 124892 HAS SOUS 58283 HAS SOUPS 56353 WITH SCORE 56480.926
AT ITER 3814 NEW BEST:: SOT 235027 SOS 127846 HAS SOPS 124812 HAS SOUS 58201 HAS SOUPS 56271 WITH SCORE 56398.846
AT ITER 3822 NEW BEST:: SOT 234993 SOS 127812 HAS SOPS 124778 HAS SOUS 58167 HAS SOUPS 56237 WITH SCORE 56364.812
AT ITER 3827 NEW BEST:: SOT 234993 SOS 127809 HAS SOPS 124775 HAS SOUS 58161 HAS SOUPS 56231 WITH SCORE 56358.809
AT ITER 3832 NEW BEST:: SOT 234975 SOS 127791 HAS SOPS 124757 HAS SOUS 58133 HAS SOUPS 56203 WITH SCORE 56330.791
AT ITER 3845 NEW BEST:: SOT 234948 SOS 127764 HAS SOPS 124730 HAS SOUS 58102 HAS SOUPS 56172 WITH SCORE 56299.764
AT ITER 3872 NEW BEST:: SOT 234983 SOS 128770 HAS SOPS 125736 HAS SOUS 58067 HAS SOUPS 56137 WITH SCORE 56265.77
AT ITER 3910 NEW BEST:: SOT 234999 SOS 129176 HAS SOPS 126142 HAS SOUS 58055 HAS SOUPS 56125 WITH SCORE 56254.176
AT ITER 3943 NEW BEST:: SOT 234287 SOS 128468 HAS SOPS 125430 HAS SOUS 57975 HAS SOUPS 56041 WITH SCORE 56169.468
AT ITER 3951 NEW BEST:: SOT 234266 SOS 128606 HAS SOPS 125664 HAS SOUS 57925 HAS SOUPS 56036 WITH SCORE 56164.606
AT ITER 3968 NEW BEST:: SOT 234254 SOS 128559 HAS SOPS 125634 HAS SOUS 57920 HAS SOUPS 56031 WITH SCORE 56159.559
AT ITER 3973 NEW BEST:: SOT 234272 SOS 128487 HAS SOPS 125535 HAS SOUS 57820 HAS SOUPS 55931 WITH SCORE 56059.487
AT ITER 3987 NEW BEST:: SOT 234272 SOS 128472 HAS SOPS 125520 HAS SOUS 57815 HAS SOUPS 55926 WITH SCORE 56054.472
AT ITER 3994 NEW BEST:: SOT 234050 SOS 128250 HAS SOPS 125298 HAS SOUS 57655 HAS SOUPS 55766 WITH SCORE 55894.25
AT ITER 3998 NEW BEST:: SOT 234033 SOS 128178 HAS SOPS 125221 HAS SOUS 57616 HAS SOUPS 55727 WITH SCORE 55855.178
AT ITER 4018 NEW BEST:: SOT 234033 SOS 127810 HAS SOPS 124853 HAS SOUS 57565 HAS SOUPS 55676 WITH SCORE 55803.81
AT ITER 4020 NEW BEST:: SOT 234095 SOS 127794 HAS SOPS 124837 HAS SOUS 57543 HAS SOUPS 55654 WITH SCORE 55781.794
AT ITER 4024 NEW BEST:: SOT 234083 SOS 127596 HAS SOPS 124639 HAS SOUS 57439 HAS SOUPS 55550 WITH SCORE 55677.596
AT ITER 4029 NEW BEST:: SOT 234059 SOS 127572 HAS SOPS 124615 HAS SOUS 57276 HAS SOUPS 55387 WITH SCORE 55514.572
AT ITER 4034 NEW BEST:: SOT 234049 SOS 127590 HAS SOPS 124633 HAS SOUS 57167 HAS SOUPS 55278 WITH SCORE 55405.59
AT ITER 4035 NEW BEST:: SOT 234042 SOS 127629 HAS SOPS 124536 HAS SOUS 57142 HAS SOUPS 55215 WITH SCORE 55342.629
AT ITER 4069 NEW BEST:: SOT 233935 SOS 127680 HAS SOPS 124587 HAS SOUS 57099 HAS SOUPS 55172 WITH SCORE 55299.68
AT ITER 4070 NEW BEST:: SOT 233598 SOS 128402 HAS SOPS 125309 HAS SOUS 57085 HAS SOUPS 55158 WITH SCORE 55286.402
AT ITER 4088 NEW BEST:: SOT 233569 SOS 128400 HAS SOPS 125307 HAS SOUS 57083 HAS SOUPS 55156 WITH SCORE 55284.4
AT ITER 4095 NEW BEST:: SOT 233597 SOS 128668 HAS SOPS 125575 HAS SOUS 57053 HAS SOUPS 55126 WITH SCORE 55254.668
AT ITER 4099 NEW BEST:: SOT 233605 SOS 128426 HAS SOPS 125333 HAS SOUS 57027 HAS SOUPS 55100 WITH SCORE 55228.426
AT ITER 4106 NEW BEST:: SOT 233450 SOS 128271 HAS SOPS 125178 HAS SOUS 56956 HAS SOUPS 55029 WITH SCORE 55157.271
AT ITER 4143 NEW BEST:: SOT 233668 SOS 127679 HAS SOPS 124586 HAS SOUS 56950 HAS SOUPS 55023 WITH SCORE 55150.679
AT ITER 4168 NEW BEST:: SOT 233824 SOS 127436 HAS SOPS 124343 HAS SOUS 56933 HAS SOUPS 55006 WITH SCORE 55133.436
AT ITER 4173 NEW BEST:: SOT 233545 SOS 126531 HAS SOPS 123438 HAS SOUS 56457 HAS SOUPS 54530 WITH SCORE 54656.531
AT ITER 4200 NEW BEST:: SOT 233538 SOS 126520 HAS SOPS 123426 HAS SOUS 56450 HAS SOUPS 54522 WITH SCORE 54648.52
AT ITER 4203 NEW BEST:: SOT 233537 SOS 126519 HAS SOPS 123425 HAS SOUS 56449 HAS SOUPS 54521 WITH SCORE 54647.519
AT ITER 4206 NEW BEST:: SOT 233292 SOS 126314 HAS SOPS 123220 HAS SOUS 56292 HAS SOUPS 54364 WITH SCORE 54490.314
AT ITER 4218 NEW BEST:: SOT 233274 SOS 126393 HAS SOPS 123214 HAS SOUS 56304 HAS SOUPS 54350 WITH SCORE 54476.393
AT ITER 4222 NEW BEST:: SOT 233192 SOS 126019 HAS SOPS 122840 HAS SOUS 56141 HAS SOUPS 54187 WITH SCORE 54313.019
AT ITER 4224 NEW BEST:: SOT 233147 SOS 125956 HAS SOPS 122777 HAS SOUS 56087 HAS SOUPS 54133 WITH SCORE 54258.956
AT ITER 4226 NEW BEST:: SOT 233035 SOS 125448 HAS SOPS 122269 HAS SOUS 56030 HAS SOUPS 54076 WITH SCORE 54201.448
AT ITER 4231 NEW BEST:: SOT 233035 SOS 125764 HAS SOPS 122585 HAS SOUS 55991 HAS SOUPS 54037 WITH SCORE 54162.764
AT ITER 4234 NEW BEST:: SOT 233083 SOS 125801 HAS SOPS 122622 HAS SOUS 55719 HAS SOUPS 53765 WITH SCORE 53890.801
AT ITER 4251 NEW BEST:: SOT 233113 SOS 125863 HAS SOPS 122684 HAS SOUS 55572 HAS SOUPS 53618 WITH SCORE 53743.863
AT ITER 4264 NEW BEST:: SOT 233128 SOS 125900 HAS SOPS 122721 HAS SOUS 55546 HAS SOUPS 53592 WITH SCORE 53717.9
AT ITER 4266 NEW BEST:: SOT 233118 SOS 125886 HAS SOPS 122707 HAS SOUS 55534 HAS SOUPS 53580 WITH SCORE 53705.886
AT ITER 4315 NEW BEST:: SOT 233121 SOS 126043 HAS SOPS 122869 HAS SOUS 55486 HAS SOUPS 53537 WITH SCORE 53663.043
AT ITER 4324 NEW BEST:: SOT 233081 SOS 126023 HAS SOPS 122849 HAS SOUS 55476 HAS SOUPS 53527 WITH SCORE 53653.023
AT ITER 4332 NEW BEST:: SOT 233090 SOS 125870 HAS SOPS 122696 HAS SOUS 55458 HAS SOUPS 53509 WITH SCORE 53634.87
AT ITER 4343 NEW BEST:: SOT 233093 SOS 125858 HAS SOPS 122684 HAS SOUS 55431 HAS SOUPS 53482 WITH SCORE 53607.858
AT ITER 4356 NEW BEST:: SOT 232859 SOS 125698 HAS SOPS 122524 HAS SOUS 55424 HAS SOUPS 53475 WITH SCORE 53600.698
AT ITER 4381 NEW BEST:: SOT 232848 SOS 125676 HAS SOPS 122502 HAS SOUS 55380 HAS SOUPS 53431 WITH SCORE 53556.676
AT ITER 4387 NEW BEST:: SOT 232736 SOS 125221 HAS SOPS 122047 HAS SOUS 55242 HAS SOUPS 53293 WITH SCORE 53418.221
AT ITER 4388 NEW BEST:: SOT 232787 SOS 125266 HAS SOPS 122092 HAS SOUS 55177 HAS SOUPS 53228 WITH SCORE 53353.266
AT ITER 4394 NEW BEST:: SOT 232814 SOS 125494 HAS SOPS 122320 HAS SOUS 55143 HAS SOUPS 53194 WITH SCORE 53319.494
AT ITER 4398 NEW BEST:: SOT 233145 SOS 126069 HAS SOPS 122631 HAS SOUS 55364 HAS SOUPS 53151 WITH SCORE 53277.069
AT ITER 4408 NEW BEST:: SOT 233145 SOS 125889 HAS SOPS 122451 HAS SOUS 55352 HAS SOUPS 53139 WITH SCORE 53264.889
AT ITER 4409 NEW BEST:: SOT 233145 SOS 125907 HAS SOPS 122445 HAS SOUS 55354 HAS SOUPS 53135 WITH SCORE 53260.907
AT ITER 4433 NEW BEST:: SOT 233145 SOS 125886 HAS SOPS 122424 HAS SOUS 55354 HAS SOUPS 53135 WITH SCORE 53260.886
AT ITER 4460 NEW BEST:: SOT 233145 SOS 125886 HAS SOPS 122424 HAS SOUS 55351 HAS SOUPS 53132 WITH SCORE 53257.886
AT ITER 4470 NEW BEST:: SOT 233141 SOS 125726 HAS SOPS 122308 HAS SOUS 55314 HAS SOUPS 53117 WITH SCORE 53242.726
AT ITER 4483 NEW BEST:: SOT 233120 SOS 125734 HAS SOPS 122316 HAS SOUS 55302 HAS SOUPS 53105 WITH SCORE 53230.734
AT ITER 4505 NEW BEST:: SOT 233120 SOS 125595 HAS SOPS 122152 HAS SOUS 55263 HAS SOUPS 53066 WITH SCORE 53191.595
AT ITER 4557 NEW BEST:: SOT 233119 SOS 125596 HAS SOPS 122153 HAS SOUS 55262 HAS SOUPS 53065 WITH SCORE 53190.596
AT ITER 4564 NEW BEST:: SOT 232883 SOS 125170 HAS SOPS 121727 HAS SOUS 55238 HAS SOUPS 53041 WITH SCORE 53166.17
AT ITER 4569 NEW BEST:: SOT 232883 SOS 125130 HAS SOPS 121687 HAS SOUS 55218 HAS SOUPS 53021 WITH SCORE 53146.13
AT ITER 4581 NEW BEST:: SOT 232880 SOS 125109 HAS SOPS 121666 HAS SOUS 55176 HAS SOUPS 52979 WITH SCORE 53104.109
AT ITER 4587 NEW BEST:: SOT 232681 SOS 124910 HAS SOPS 121467 HAS SOUS 55017 HAS SOUPS 52820 WITH SCORE 52944.91
AT ITER 4591 NEW BEST:: SOT 232615 SOS 124844 HAS SOPS 121401 HAS SOUS 54983 HAS SOUPS 52786 WITH SCORE 52910.844
AT ITER 4596 NEW BEST:: SOT 232598 SOS 124673 HAS SOPS 121230 HAS SOUS 54958 HAS SOUPS 52761 WITH SCORE 52885.673
AT ITER 4599 NEW BEST:: SOT 232532 SOS 124142 HAS SOPS 120699 HAS SOUS 54839 HAS SOUPS 52642 WITH SCORE 52766.142
AT ITER 4636 NEW BEST:: SOT 232524 SOS 124134 HAS SOPS 120691 HAS SOUS 54807 HAS SOUPS 52610 WITH SCORE 52734.134
AT ITER 4687 NEW BEST:: SOT 232449 SOS 123979 HAS SOPS 120536 HAS SOUS 54727 HAS SOUPS 52530 WITH SCORE 52653.979
AT ITER 4725 NEW BEST:: SOT 232390 SOS 123924 HAS SOPS 120481 HAS SOUS 54636 HAS SOUPS 52439 WITH SCORE 52562.924
AT ITER 4762 NEW BEST:: SOT 232362 SOS 123882 HAS SOPS 120439 HAS SOUS 54587 HAS SOUPS 52390 WITH SCORE 52513.882
AT ITER 4806 NEW BEST:: SOT 232362 SOS 123882 HAS SOPS 120436 HAS SOUS 54586 HAS SOUPS 52386 WITH SCORE 52509.882
AT ITER 4807 NEW BEST:: SOT 232360 SOS 123880 HAS SOPS 120434 HAS SOUS 54584 HAS SOUPS 52384 WITH SCORE 52507.88
AT ITER 4809 NEW BEST:: SOT 232256 SOS 123764 HAS SOPS 120318 HAS SOUS 54509 HAS SOUPS 52309 WITH SCORE 52432.764
AT ITER 4811 NEW BEST:: SOT 232194 SOS 123711 HAS SOPS 120265 HAS SOUS 54464 HAS SOUPS 52264 WITH SCORE 52387.711
AT ITER 4821 NEW BEST:: SOT 231907 SOS 123123 HAS SOPS 119677 HAS SOUS 54285 HAS SOUPS 52085 WITH SCORE 52208.123
AT ITER 4825 NEW BEST:: SOT 231870 SOS 122951 HAS SOPS 119505 HAS SOUS 54140 HAS SOUPS 51940 WITH SCORE 52062.951
AT ITER 4826 NEW BEST:: SOT 231857 SOS 123136 HAS SOPS 119690 HAS SOUS 53869 HAS SOUPS 51669 WITH SCORE 51792.136
AT ITER 4829 NEW BEST:: SOT 231811 SOS 123124 HAS SOPS 119678 HAS SOUS 53861 HAS SOUPS 51661 WITH SCORE 51784.124
AT ITER 4831 NEW BEST:: SOT 231781 SOS 123112 HAS SOPS 119666 HAS SOUS 53825 HAS SOUPS 51625 WITH SCORE 51748.112
AT ITER 4847 NEW BEST:: SOT 231781 SOS 123112 HAS SOPS 119666 HAS SOUS 53760 HAS SOUPS 51560 WITH SCORE 51683.112
AT ITER 4860 NEW BEST:: SOT 231773 SOS 123104 HAS SOPS 119658 HAS SOUS 53752 HAS SOUPS 51552 WITH SCORE 51675.104
AT ITER 4909 NEW BEST:: SOT 231639 SOS 122928 HAS SOPS 119482 HAS SOUS 53676 HAS SOUPS 51476 WITH SCORE 51598.928
AT ITER 4931 NEW BEST:: SOT 231613 SOS 122902 HAS SOPS 119456 HAS SOUS 53676 HAS SOUPS 51476 WITH SCORE 51598.902
AT ITER 4933 NEW BEST:: SOT 231613 SOS 122880 HAS SOPS 119434 HAS SOUS 53676 HAS SOUPS 51476 WITH SCORE 51598.88
AT ITER 4959 NEW BEST:: SOT 231606 SOS 122873 HAS SOPS 119428 HAS SOUS 53671 HAS SOUPS 51472 WITH SCORE 51594.873
AT ITER 4960 NEW BEST:: SOT 231660 SOS 122912 HAS SOPS 119467 HAS SOUS 53617 HAS SOUPS 51418 WITH SCORE 51540.912
AT ITER 4964 NEW BEST:: SOT 231622 SOS 123186 HAS SOPS 119741 HAS SOUS 53563 HAS SOUPS 51364 WITH SCORE 51487.186
AT ITER 4990 NEW BEST:: SOT 231447 SOS 122852 HAS SOPS 119407 HAS SOUS 53543 HAS SOUPS 51344 WITH SCORE 51466.852
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-5A-CTLFireability-00 (AG( (EF( ( ( ((potential((tk(P376)>=1)))) & ((potential((tk(P122)>=1) & (tk(P147)>=1)))) ) | ((potential((tk(P40)>=1) & (tk(P63)>=1)))) )))))
PROPERTY: NoC3x3-PT-5A-CTLFireability-01 (AF( ((potential((tk(P312)>=1) & (tk(P332)>=1))))))
PROPERTY: NoC3x3-PT-5A-CTLFireability-02 (EF( ( ((potential((tk(P166)>=1) & (tk(P240)>=1)))) & (AF( (! ((potential((tk(P183)>=1) & (tk(P247)>=1))))))) )))
PROPERTY: NoC3x3-PT-5A-CTLFireability-03 ( ( ( (EX( ( ((potential((tk(P170)>=1) & (tk(P223)>=1)))) | ((potential((tk(P183)>=1) & (tk(P243)>=1)))) ))) & (EX( ( ((potential((tk(P170)>=1) & (tk(P218)>=1)))) | ((potential((tk(P40)>=1) & (tk(P64)>=1)))) ))) ) | ( ( (EF( ((potential((tk(P127)>=1) & (tk(P330)>=1)))))) & (! ( ((potential((tk(P43)>=1) & (tk(P54)>=1)))) | ((potential((tk(P313)>=1) & (tk(P365)>=1)))) )) ) & (EF( ( ((potential((tk(P254)>=1) & (tk(P290)>=1)))) | ((potential((tk(P181)>=1) & (tk(P213)>=1)))) ))) ) ) & (! (AG( (EF( ((potential((tk(P338)>=1) & (tk(P369)>=1))))))))) )
PROPERTY: NoC3x3-PT-5A-CTLFireability-04 (EU( (EF( ( ((potential((tk(P3)>=1) & (tk(P21)>=1)))) | ((potential((tk(P35)>=1) & (tk(P73)>=1)))) ))) , (EU( ((potential((tk(P175)>=1) & (tk(P202)>=1)))) , ((potential((tk(P79)>=1) & (tk(P101)>=1)))) )) ))
PROPERTY: NoC3x3-PT-5A-CTLFireability-05 (EU( (! ((potential((tk(P266)>=1) & (tk(P286)>=1))))) , (EF( ( ((potential((tk(P281)>=1)))) & ((potential((tk(P144)>=1)))) ))) ))
PROPERTY: NoC3x3-PT-5A-CTLFireability-06 (AF( ((potential((tk(P175)>=1) & (tk(P243)>=1))))))
PROPERTY: NoC3x3-PT-5A-CTLFireability-07 (AF( ( (AF( ((potential((tk(P321)>=1)))))) | (AG( ( ((potential((tk(P257)>=1) & (tk(P295)>=1)))) | ((potential((tk(P43)>=1) & (tk(P77)>=1)))) ))) )))
PROPERTY: NoC3x3-PT-5A-CTLFireability-08 ( (AF( ( (! (! ((potential((tk(P314)>=1) & (tk(P329)>=1)))))) & ( ( ((potential((tk(P36)>=1) & (tk(P63)>=1)))) | ((potential((tk(P120)>=1) & (tk(P203)>=1)))) ) | (! ((potential((tk(P4)>=1) & (tk(P16)>=1))))) ) ))) & (AG( (! ((potential((tk(P184)>=1) & (tk(P212)>=1))))))) )
PROPERTY: NoC3x3-PT-5A-CTLFireability-09 ( (AF( ( ( ( ((potential((tk(P7)>=1) & (tk(P17)>=1)))) | ((potential((tk(P263)>=1) & (tk(P295)>=1)))) ) | ((potential((tk(P98)>=1) & (tk(P253)>=1)))) ) | ( ( ((potential((tk(P153)>=1)))) & ((potential((tk(P257)>=1) & (tk(P292)>=1)))) ) | (! ((potential((tk(P397)>=1) & (tk(P413)>=1))))) ) ))) & (EF( (EF( ( ((potential((tk(P271)>=1) & (tk(P409)>=1)))) & ((potential((tk(P30)>=1) & (tk(P68)>=1)))) ))))) )
PROPERTY: NoC3x3-PT-5A-CTLFireability-10 (EU( ( (EF( ((potential((tk(P165)>=1) & (tk(P233)>=1)))))) & (EF( ((potential((tk(P98)>=1) & (tk(P253)>=1)))))) ) , (! ( (! ((potential((tk(P42)>=1) & (tk(P69)>=1))))) & (! ((potential((tk(P314)>=1) & (tk(P329)>=1))))) )) ))
PROPERTY: NoC3x3-PT-5A-CTLFireability-11 (! (! (AF( (AF( ((potential((tk(P161)>=1) & (tk(P223)>=1))))))))))
PROPERTY: NoC3x3-PT-5A-CTLFireability-12 ( (EX( (AX( ( ((potential((tk(P43)>=1) & (tk(P76)>=1)))) & ((potential((tk(P318)>=1) & (tk(P320)>=1)))) ))))) | ( ( ((potential((tk(P27)>=1) & (tk(P71)>=1)))) | (! (EX( ((potential((tk(P115)>=1) & (tk(P146)>=1))))))) ) & (EG( (! ( ((potential((tk(P309)>=1) & (tk(P328)>=1)))) & ((potential((tk(P226)>=1)))) )))) ) )
PROPERTY: NoC3x3-PT-5A-CTLFireability-13 (! ( (AF( (! (! ((potential((tk(P168)>=1) & (tk(P202)>=1)))))))) & (! ( (EG( ((potential((tk(P170)>=1) & (tk(P223)>=1)))))) | (EF( ((potential((tk(P122)>=1) & (tk(P144)>=1)))))) )) ))
PROPERTY: NoC3x3-PT-5A-CTLFireability-14 (EU( (! (! (! ((potential((tk(P35)>=1) & (tk(P70)>=1))))))) , ( (EF( ((potential((tk(P29)>=1) & (tk(P62)>=1)))))) | ((potential((tk(P353)>=1) & (tk(P379)>=1)))) ) ))
PROPERTY: NoC3x3-PT-5A-CTLFireability-15 ( ((potential((tk(P257)>=1) & (tk(P290)>=1)))) | ( (EG( (AF( ((potential((tk(P15)>=1) & (tk(P37)>=1)))))))) | ( ((potential((tk(P263)>=1) & (tk(P295)>=1)))) | (EF( ( ((potential((tk(P221)>=1)))) | ((potential((tk(P342)>=1) & (tk(P385)>=1)))) ))) ) ) )
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="NoC3x3-PT-5A"
export BK_EXAMINATION="CTLFireability"
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 NoC3x3-PT-5A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500396"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-5A.tgz
mv NoC3x3-PT-5A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;