Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.4K May 14 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 201K May 12 20:42 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 ShieldPPPt-PT-030A-CTLCardinality-00
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-01
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-02
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-03
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-04
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-05
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-06
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-07
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-08
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-09
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-10
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-11
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-12
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-13
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-14
FORMULA_NAME ShieldPPPt-PT-030A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590449589253

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 030A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 753 places, 543 transitions, 2166 arcs.
AT ITER 0 NEW BEST:: SOT 336733 SOS 282189 HAS SOPS 282189 HAS SOUS 227632 HAS SOUPS 227632 WITH SCORE 227914.189
AT ITER 3 NEW BEST:: SOT 336399 SOS 282094 HAS SOPS 282094 HAS SOUS 227536 HAS SOUPS 227536 WITH SCORE 227818.094
AT ITER 4 NEW BEST:: SOT 336320 SOS 282015 HAS SOPS 282015 HAS SOUS 227457 HAS SOUPS 227457 WITH SCORE 227739.015
AT ITER 8 NEW BEST:: SOT 336320 SOS 281151 HAS SOPS 281151 HAS SOUS 227208 HAS SOUPS 227208 WITH SCORE 227489.151
AT ITER 18 NEW BEST:: SOT 335712 SOS 280600 HAS SOPS 280600 HAS SOUS 226866 HAS SOUPS 226866 WITH SCORE 227146.6
AT ITER 21 NEW BEST:: SOT 334886 SOS 279893 HAS SOPS 279893 HAS SOUS 226410 HAS SOUPS 226410 WITH SCORE 226689.893
AT ITER 23 NEW BEST:: SOT 334631 SOS 279638 HAS SOPS 279638 HAS SOUS 226154 HAS SOUPS 226154 WITH SCORE 226433.638
AT ITER 24 NEW BEST:: SOT 334631 SOS 279308 HAS SOPS 279308 HAS SOUS 226153 HAS SOUPS 226153 WITH SCORE 226432.308
AT ITER 25 NEW BEST:: SOT 334631 SOS 278960 HAS SOPS 278960 HAS SOUS 226150 HAS SOUPS 226150 WITH SCORE 226428.96
AT ITER 27 NEW BEST:: SOT 334312 SOS 278642 HAS SOPS 278642 HAS SOUS 225842 HAS SOUPS 225842 WITH SCORE 226120.642
AT ITER 29 NEW BEST:: SOT 333571 SOS 277899 HAS SOPS 277899 HAS SOUS 225202 HAS SOUPS 225202 WITH SCORE 225479.899
AT ITER 33 NEW BEST:: SOT 333199 SOS 277527 HAS SOPS 277527 HAS SOUS 224830 HAS SOUPS 224830 WITH SCORE 225107.527
AT ITER 35 NEW BEST:: SOT 332186 SOS 276514 HAS SOPS 276514 HAS SOUS 223503 HAS SOUPS 223503 WITH SCORE 223779.514
AT ITER 37 NEW BEST:: SOT 332054 SOS 276382 HAS SOPS 276382 HAS SOUS 223413 HAS SOUPS 223413 WITH SCORE 223689.382
AT ITER 38 NEW BEST:: SOT 331468 SOS 275275 HAS SOPS 275275 HAS SOUS 222311 HAS SOUPS 222311 WITH SCORE 222586.275
AT ITER 39 NEW BEST:: SOT 331151 SOS 274998 HAS SOPS 274998 HAS SOUS 222075 HAS SOUPS 222075 WITH SCORE 222349.998
AT ITER 41 NEW BEST:: SOT 330572 SOS 273177 HAS SOPS 273177 HAS SOUS 220697 HAS SOUPS 220697 WITH SCORE 220970.177
AT ITER 43 NEW BEST:: SOT 330504 SOS 273109 HAS SOPS 273109 HAS SOUS 220646 HAS SOUPS 220646 WITH SCORE 220919.109
AT ITER 44 NEW BEST:: SOT 330504 SOS 272537 HAS SOPS 272537 HAS SOUS 220496 HAS SOUPS 220496 WITH SCORE 220768.537
AT ITER 47 NEW BEST:: SOT 330503 SOS 272536 HAS SOPS 272536 HAS SOUS 220495 HAS SOUPS 220495 WITH SCORE 220767.536
AT ITER 49 NEW BEST:: SOT 330330 SOS 272363 HAS SOPS 272363 HAS SOUS 220321 HAS SOUPS 220321 WITH SCORE 220593.363
AT ITER 53 NEW BEST:: SOT 330133 SOS 271486 HAS SOPS 271486 HAS SOUS 220037 HAS SOUPS 220037 WITH SCORE 220308.486
AT ITER 54 NEW BEST:: SOT 330133 SOS 271075 HAS SOPS 271075 HAS SOUS 220029 HAS SOUPS 220029 WITH SCORE 220300.075
AT ITER 55 NEW BEST:: SOT 330133 SOS 270136 HAS SOPS 270136 HAS SOUS 220029 HAS SOUPS 220029 WITH SCORE 220299.136
AT ITER 56 NEW BEST:: SOT 330420 SOS 269545 HAS SOPS 269545 HAS SOUS 219912 HAS SOUPS 219912 WITH SCORE 220181.545
AT ITER 57 NEW BEST:: SOT 330400 SOS 268397 HAS SOPS 268397 HAS SOUS 219561 HAS SOUPS 219561 WITH SCORE 219829.397
AT ITER 59 NEW BEST:: SOT 330400 SOS 268382 HAS SOPS 268382 HAS SOUS 219561 HAS SOUPS 219561 WITH SCORE 219829.382
AT ITER 60 NEW BEST:: SOT 330400 SOS 267886 HAS SOPS 267886 HAS SOUS 219555 HAS SOUPS 219555 WITH SCORE 219822.886
AT ITER 61 NEW BEST:: SOT 330001 SOS 267525 HAS SOPS 267525 HAS SOUS 219243 HAS SOUPS 219243 WITH SCORE 219510.525
AT ITER 62 NEW BEST:: SOT 329737 SOS 267261 HAS SOPS 267261 HAS SOUS 218978 HAS SOUPS 218978 WITH SCORE 219245.261
AT ITER 65 NEW BEST:: SOT 329737 SOS 266953 HAS SOPS 266953 HAS SOUS 218976 HAS SOUPS 218976 WITH SCORE 219242.953
AT ITER 67 NEW BEST:: SOT 329698 SOS 266914 HAS SOPS 266914 HAS SOUS 218937 HAS SOUPS 218937 WITH SCORE 219203.914
AT ITER 68 NEW BEST:: SOT 329425 SOS 266639 HAS SOPS 266639 HAS SOUS 218661 HAS SOUPS 218661 WITH SCORE 218927.639
AT ITER 69 NEW BEST:: SOT 329425 SOS 265917 HAS SOPS 265917 HAS SOUS 218431 HAS SOUPS 218431 WITH SCORE 218696.917
AT ITER 70 NEW BEST:: SOT 329425 SOS 265682 HAS SOPS 265682 HAS SOUS 218393 HAS SOUPS 218393 WITH SCORE 218658.682
AT ITER 71 NEW BEST:: SOT 328846 SOS 264692 HAS SOPS 264692 HAS SOUS 217654 HAS SOUPS 217654 WITH SCORE 217918.692
AT ITER 74 NEW BEST:: SOT 328823 SOS 264669 HAS SOPS 264669 HAS SOUS 217652 HAS SOUPS 217652 WITH SCORE 217916.669
AT ITER 75 NEW BEST:: SOT 328307 SOS 264153 HAS SOPS 264153 HAS SOUS 217295 HAS SOUPS 217295 WITH SCORE 217559.153
AT ITER 77 NEW BEST:: SOT 328305 SOS 264140 HAS SOPS 264140 HAS SOUS 217293 HAS SOUPS 217293 WITH SCORE 217557.14
AT ITER 78 NEW BEST:: SOT 328028 SOS 263863 HAS SOPS 263863 HAS SOUS 217015 HAS SOUPS 217015 WITH SCORE 217278.863
AT ITER 79 NEW BEST:: SOT 328028 SOS 263551 HAS SOPS 263551 HAS SOUS 217012 HAS SOUPS 217012 WITH SCORE 217275.551
AT ITER 83 NEW BEST:: SOT 327242 SOS 262765 HAS SOPS 262765 HAS SOUS 216269 HAS SOUPS 216269 WITH SCORE 216531.765
AT ITER 84 NEW BEST:: SOT 326258 SOS 261780 HAS SOPS 261780 HAS SOUS 215284 HAS SOUPS 215284 WITH SCORE 215545.78
AT ITER 88 NEW BEST:: SOT 325065 SOS 259713 HAS SOPS 259713 HAS SOUS 213645 HAS SOUPS 213645 WITH SCORE 213904.713
AT ITER 90 NEW BEST:: SOT 324661 SOS 258987 HAS SOPS 258987 HAS SOUS 213037 HAS SOUPS 213037 WITH SCORE 213295.987
AT ITER 91 NEW BEST:: SOT 324357 SOS 258683 HAS SOPS 258683 HAS SOUS 212733 HAS SOUPS 212733 WITH SCORE 212991.683
AT ITER 92 NEW BEST:: SOT 324018 SOS 258371 HAS SOPS 258371 HAS SOUS 212421 HAS SOUPS 212421 WITH SCORE 212679.371
AT ITER 95 NEW BEST:: SOT 323923 SOS 258276 HAS SOPS 258276 HAS SOUS 212326 HAS SOUPS 212326 WITH SCORE 212584.276
AT ITER 97 NEW BEST:: SOT 323552 SOS 257905 HAS SOPS 257905 HAS SOUS 212027 HAS SOUPS 212027 WITH SCORE 212284.905
AT ITER 101 NEW BEST:: SOT 323203 SOS 257556 HAS SOPS 257556 HAS SOUS 211755 HAS SOUPS 211755 WITH SCORE 212012.556
AT ITER 102 NEW BEST:: SOT 323175 SOS 257526 HAS SOPS 257526 HAS SOUS 211725 HAS SOUPS 211725 WITH SCORE 211982.526
AT ITER 104 NEW BEST:: SOT 322425 SOS 256776 HAS SOPS 256776 HAS SOUS 210973 HAS SOUPS 210973 WITH SCORE 211229.776
AT ITER 106 NEW BEST:: SOT 322425 SOS 256704 HAS SOPS 256704 HAS SOUS 210971 HAS SOUPS 210971 WITH SCORE 211227.704
AT ITER 108 NEW BEST:: SOT 321703 SOS 255982 HAS SOPS 255982 HAS SOUS 210340 HAS SOUPS 210340 WITH SCORE 210595.982
AT ITER 109 NEW BEST:: SOT 321577 SOS 255854 HAS SOPS 255854 HAS SOUS 210211 HAS SOUPS 210211 WITH SCORE 210466.854
AT ITER 110 NEW BEST:: SOT 321577 SOS 255389 HAS SOPS 255389 HAS SOUS 210211 HAS SOUPS 210211 WITH SCORE 210466.389
AT ITER 113 NEW BEST:: SOT 321483 SOS 255295 HAS SOPS 255295 HAS SOUS 210197 HAS SOUPS 210197 WITH SCORE 210452.295
AT ITER 115 NEW BEST:: SOT 320424 SOS 252737 HAS SOPS 252737 HAS SOUS 208510 HAS SOUPS 208510 WITH SCORE 208762.737
AT ITER 117 NEW BEST:: SOT 320084 SOS 251695 HAS SOPS 251695 HAS SOUS 207750 HAS SOUPS 207750 WITH SCORE 208001.695
AT ITER 125 NEW BEST:: SOT 320084 SOS 251656 HAS SOPS 251656 HAS SOUS 207711 HAS SOUPS 207711 WITH SCORE 207962.656
AT ITER 126 NEW BEST:: SOT 319911 SOS 251483 HAS SOPS 251483 HAS SOUS 207537 HAS SOUPS 207537 WITH SCORE 207788.483
AT ITER 128 NEW BEST:: SOT 319911 SOS 251129 HAS SOPS 251129 HAS SOUS 207537 HAS SOUPS 207537 WITH SCORE 207788.129
AT ITER 129 NEW BEST:: SOT 319291 SOS 250509 HAS SOPS 250509 HAS SOUS 206945 HAS SOUPS 206945 WITH SCORE 207195.509
AT ITER 130 NEW BEST:: SOT 319155 SOS 250373 HAS SOPS 250373 HAS SOUS 206809 HAS SOUPS 206809 WITH SCORE 207059.373
AT ITER 134 NEW BEST:: SOT 318423 SOS 248389 HAS SOPS 248389 HAS SOUS 205606 HAS SOUPS 205606 WITH SCORE 205854.389
AT ITER 137 NEW BEST:: SOT 318130 SOS 248096 HAS SOPS 248096 HAS SOUS 205311 HAS SOUPS 205311 WITH SCORE 205559.096
AT ITER 141 NEW BEST:: SOT 317712 SOS 247677 HAS SOPS 247677 HAS SOUS 204892 HAS SOUPS 204892 WITH SCORE 205139.677
AT ITER 142 NEW BEST:: SOT 316966 SOS 245321 HAS SOPS 245321 HAS SOUS 203492 HAS SOUPS 203492 WITH SCORE 203737.321
AT ITER 143 NEW BEST:: SOT 316650 SOS 245005 HAS SOPS 245005 HAS SOUS 203176 HAS SOUPS 203176 WITH SCORE 203421.005
AT ITER 145 NEW BEST:: SOT 316324 SOS 244679 HAS SOPS 244679 HAS SOUS 202937 HAS SOUPS 202937 WITH SCORE 203181.679
AT ITER 146 NEW BEST:: SOT 316004 SOS 244359 HAS SOPS 244359 HAS SOUS 202674 HAS SOUPS 202674 WITH SCORE 202918.359
AT ITER 149 NEW BEST:: SOT 316004 SOS 243585 HAS SOPS 243585 HAS SOUS 202667 HAS SOUPS 202667 WITH SCORE 202910.585
AT ITER 150 NEW BEST:: SOT 315600 SOS 243181 HAS SOPS 243181 HAS SOUS 201979 HAS SOUPS 201979 WITH SCORE 202222.181
AT ITER 151 NEW BEST:: SOT 315216 SOS 242797 HAS SOPS 242797 HAS SOUS 201736 HAS SOUPS 201736 WITH SCORE 201978.797
AT ITER 152 NEW BEST:: SOT 314967 SOS 242548 HAS SOPS 242548 HAS SOUS 201485 HAS SOUPS 201485 WITH SCORE 201727.548
AT ITER 155 NEW BEST:: SOT 314976 SOS 242465 HAS SOPS 242465 HAS SOUS 201479 HAS SOUPS 201479 WITH SCORE 201721.465
AT ITER 156 NEW BEST:: SOT 314876 SOS 242365 HAS SOPS 242365 HAS SOUS 201379 HAS SOUPS 201379 WITH SCORE 201621.365
AT ITER 158 NEW BEST:: SOT 314307 SOS 241796 HAS SOPS 241796 HAS SOUS 200808 HAS SOUPS 200808 WITH SCORE 201049.796
AT ITER 161 NEW BEST:: SOT 314317 SOS 240725 HAS SOPS 240725 HAS SOUS 200744 HAS SOUPS 200744 WITH SCORE 200984.725
AT ITER 163 NEW BEST:: SOT 314048 SOS 240456 HAS SOPS 240456 HAS SOUS 200475 HAS SOUPS 200475 WITH SCORE 200715.456
AT ITER 165 NEW BEST:: SOT 313999 SOS 240407 HAS SOPS 240407 HAS SOUS 200426 HAS SOUPS 200426 WITH SCORE 200666.407
AT ITER 167 NEW BEST:: SOT 313999 SOS 239802 HAS SOPS 239802 HAS SOUS 200420 HAS SOUPS 200420 WITH SCORE 200659.802
AT ITER 168 NEW BEST:: SOT 313716 SOS 239519 HAS SOPS 239519 HAS SOUS 200313 HAS SOUPS 200313 WITH SCORE 200552.519
AT ITER 172 NEW BEST:: SOT 313716 SOS 238953 HAS SOPS 238953 HAS SOUS 200171 HAS SOUPS 200171 WITH SCORE 200409.953
AT ITER 175 NEW BEST:: SOT 313328 SOS 238735 HAS SOPS 238735 HAS SOUS 200124 HAS SOUPS 200124 WITH SCORE 200362.735
AT ITER 177 NEW BEST:: SOT 313212 SOS 238439 HAS SOPS 238439 HAS SOUS 199900 HAS SOUPS 199900 WITH SCORE 200138.439
AT ITER 178 NEW BEST:: SOT 313213 SOS 237482 HAS SOPS 237482 HAS SOUS 199896 HAS SOUPS 199896 WITH SCORE 200133.482
AT ITER 180 NEW BEST:: SOT 313213 SOS 237482 HAS SOPS 237482 HAS SOUS 199891 HAS SOUPS 199891 WITH SCORE 200128.482
AT ITER 181 NEW BEST:: SOT 313149 SOS 237418 HAS SOPS 237418 HAS SOUS 199827 HAS SOUPS 199827 WITH SCORE 200064.418
AT ITER 183 NEW BEST:: SOT 313108 SOS 237377 HAS SOPS 237377 HAS SOUS 199786 HAS SOUPS 199786 WITH SCORE 200023.377
AT ITER 186 NEW BEST:: SOT 312918 SOS 237187 HAS SOPS 237187 HAS SOUS 199777 HAS SOUPS 199777 WITH SCORE 200014.187
AT ITER 187 NEW BEST:: SOT 312162 SOS 236431 HAS SOPS 236431 HAS SOUS 198765 HAS SOUPS 198765 WITH SCORE 199001.431
AT ITER 190 NEW BEST:: SOT 312108 SOS 236377 HAS SOPS 236377 HAS SOUS 198711 HAS SOUPS 198711 WITH SCORE 198947.377
AT ITER 191 NEW BEST:: SOT 311837 SOS 234849 HAS SOPS 234849 HAS SOUS 197755 HAS SOUPS 197755 WITH SCORE 197989.849
AT ITER 194 NEW BEST:: SOT 311465 SOS 234477 HAS SOPS 234477 HAS SOUS 197549 HAS SOUPS 197549 WITH SCORE 197783.477
AT ITER 195 NEW BEST:: SOT 311465 SOS 234475 HAS SOPS 234475 HAS SOUS 197547 HAS SOUPS 197547 WITH SCORE 197781.475
AT ITER 201 NEW BEST:: SOT 310998 SOS 233988 HAS SOPS 233988 HAS SOUS 196968 HAS SOUPS 196968 WITH SCORE 197201.988
AT ITER 207 NEW BEST:: SOT 310945 SOS 233935 HAS SOPS 233935 HAS SOUS 196915 HAS SOUPS 196915 WITH SCORE 197148.935
AT ITER 208 NEW BEST:: SOT 310798 SOS 233788 HAS SOPS 233788 HAS SOUS 196768 HAS SOUPS 196768 WITH SCORE 197001.788
AT ITER 213 NEW BEST:: SOT 310654 SOS 233644 HAS SOPS 233644 HAS SOUS 196624 HAS SOUPS 196624 WITH SCORE 196857.644
AT ITER 214 NEW BEST:: SOT 310612 SOS 233602 HAS SOPS 233602 HAS SOUS 196582 HAS SOUPS 196582 WITH SCORE 196815.602
AT ITER 218 NEW BEST:: SOT 310612 SOS 233551 HAS SOPS 233551 HAS SOUS 196581 HAS SOUPS 196581 WITH SCORE 196814.551
AT ITER 221 NEW BEST:: SOT 310399 SOS 232403 HAS SOPS 232403 HAS SOUS 195996 HAS SOUPS 195996 WITH SCORE 196228.403
AT ITER 223 NEW BEST:: SOT 310167 SOS 232338 HAS SOPS 232338 HAS SOUS 195721 HAS SOUPS 195721 WITH SCORE 195953.338
AT ITER 224 NEW BEST:: SOT 309854 SOS 232025 HAS SOPS 232025 HAS SOUS 195399 HAS SOUPS 195399 WITH SCORE 195631.025
AT ITER 225 NEW BEST:: SOT 309842 SOS 232013 HAS SOPS 232013 HAS SOUS 195387 HAS SOUPS 195387 WITH SCORE 195619.013
AT ITER 226 NEW BEST:: SOT 309067 SOS 231238 HAS SOPS 231238 HAS SOUS 194611 HAS SOUPS 194611 WITH SCORE 194842.238
AT ITER 227 NEW BEST:: SOT 308859 SOS 231030 HAS SOPS 231030 HAS SOUS 194471 HAS SOUPS 194471 WITH SCORE 194702.03
AT ITER 228 NEW BEST:: SOT 308358 SOS 229409 HAS SOPS 229409 HAS SOUS 193334 HAS SOUPS 193334 WITH SCORE 193563.409
AT ITER 231 NEW BEST:: SOT 307558 SOS 228291 HAS SOPS 228291 HAS SOUS 192214 HAS SOUPS 192214 WITH SCORE 192442.291
AT ITER 233 NEW BEST:: SOT 307474 SOS 228207 HAS SOPS 228207 HAS SOUS 192130 HAS SOUPS 192130 WITH SCORE 192358.207
AT ITER 242 NEW BEST:: SOT 306872 SOS 226656 HAS SOPS 226656 HAS SOUS 191417 HAS SOUPS 191417 WITH SCORE 191643.656
AT ITER 247 NEW BEST:: SOT 306738 SOS 226515 HAS SOPS 226515 HAS SOUS 191266 HAS SOUPS 191266 WITH SCORE 191492.515
AT ITER 249 NEW BEST:: SOT 306432 SOS 226209 HAS SOPS 226209 HAS SOUS 190949 HAS SOUPS 190949 WITH SCORE 191175.209
AT ITER 252 NEW BEST:: SOT 306432 SOS 226304 HAS SOPS 226304 HAS SOUS 190947 HAS SOUPS 190947 WITH SCORE 191173.304
AT ITER 256 NEW BEST:: SOT 306432 SOS 226296 HAS SOPS 226296 HAS SOUS 190941 HAS SOUPS 190941 WITH SCORE 191167.296
AT ITER 257 NEW BEST:: SOT 306427 SOS 226291 HAS SOPS 226291 HAS SOUS 190936 HAS SOUPS 190936 WITH SCORE 191162.291
AT ITER 265 NEW BEST:: SOT 306441 SOS 226183 HAS SOPS 226183 HAS SOUS 190828 HAS SOUPS 190828 WITH SCORE 191054.183
AT ITER 267 NEW BEST:: SOT 306230 SOS 225972 HAS SOPS 225972 HAS SOUS 190549 HAS SOUPS 190549 WITH SCORE 190774.972
AT ITER 269 NEW BEST:: SOT 305884 SOS 225626 HAS SOPS 225626 HAS SOUS 190201 HAS SOUPS 190201 WITH SCORE 190426.626
AT ITER 273 NEW BEST:: SOT 305816 SOS 225558 HAS SOPS 225558 HAS SOUS 189995 HAS SOUPS 189995 WITH SCORE 190220.558
AT ITER 275 NEW BEST:: SOT 305577 SOS 224807 HAS SOPS 224807 HAS SOUS 189655 HAS SOUPS 189655 WITH SCORE 189879.807
AT ITER 276 NEW BEST:: SOT 305512 SOS 224766 HAS SOPS 224766 HAS SOUS 189503 HAS SOUPS 189503 WITH SCORE 189727.766
AT ITER 277 NEW BEST:: SOT 305392 SOS 224693 HAS SOPS 224693 HAS SOUS 189430 HAS SOUPS 189430 WITH SCORE 189654.693
AT ITER 278 NEW BEST:: SOT 304819 SOS 224090 HAS SOPS 224090 HAS SOUS 188713 HAS SOUPS 188713 WITH SCORE 188937.09
AT ITER 279 NEW BEST:: SOT 304410 SOS 223681 HAS SOPS 223681 HAS SOUS 188370 HAS SOUPS 188370 WITH SCORE 188593.681
AT ITER 282 NEW BEST:: SOT 304373 SOS 223644 HAS SOPS 223644 HAS SOUS 188333 HAS SOUPS 188333 WITH SCORE 188556.644
AT ITER 284 NEW BEST:: SOT 303374 SOS 222645 HAS SOPS 222645 HAS SOUS 187333 HAS SOUPS 187333 WITH SCORE 187555.645
AT ITER 285 NEW BEST:: SOT 303202 SOS 222472 HAS SOPS 222472 HAS SOUS 187221 HAS SOUPS 187221 WITH SCORE 187443.472
AT ITER 286 NEW BEST:: SOT 303202 SOS 222472 HAS SOPS 222472 HAS SOUS 187079 HAS SOUPS 187079 WITH SCORE 187301.472
AT ITER 292 NEW BEST:: SOT 302986 SOS 222256 HAS SOPS 222256 HAS SOUS 186863 HAS SOUPS 186863 WITH SCORE 187085.256
AT ITER 293 NEW BEST:: SOT 302804 SOS 221545 HAS SOPS 221545 HAS SOUS 186582 HAS SOUPS 186582 WITH SCORE 186803.545
AT ITER 294 NEW BEST:: SOT 302935 SOS 220767 HAS SOPS 220767 HAS SOUS 186544 HAS SOUPS 186544 WITH SCORE 186764.767
AT ITER 296 NEW BEST:: SOT 302850 SOS 220682 HAS SOPS 220682 HAS SOUS 186459 HAS SOUPS 186459 WITH SCORE 186679.682
AT ITER 297 NEW BEST:: SOT 302850 SOS 220070 HAS SOPS 220070 HAS SOUS 186457 HAS SOUPS 186457 WITH SCORE 186677.07
AT ITER 298 NEW BEST:: SOT 302850 SOS 219130 HAS SOPS 219130 HAS SOUS 186375 HAS SOUPS 186375 WITH SCORE 186594.13
AT ITER 300 NEW BEST:: SOT 302634 SOS 217737 HAS SOPS 217737 HAS SOUS 185680 HAS SOUPS 185680 WITH SCORE 185897.737
AT ITER 301 NEW BEST:: SOT 302524 SOS 217373 HAS SOPS 217373 HAS SOUS 185316 HAS SOUPS 185316 WITH SCORE 185533.373
AT ITER 304 NEW BEST:: SOT 302234 SOS 217072 HAS SOPS 217072 HAS SOUS 185248 HAS SOUPS 185248 WITH SCORE 185465.072
AT ITER 306 NEW BEST:: SOT 301198 SOS 216090 HAS SOPS 216090 HAS SOUS 184272 HAS SOUPS 184272 WITH SCORE 184488.09
AT ITER 307 NEW BEST:: SOT 300727 SOS 215619 HAS SOPS 215619 HAS SOUS 183772 HAS SOUPS 183772 WITH SCORE 183987.619
AT ITER 308 NEW BEST:: SOT 300191 SOS 215239 HAS SOPS 215239 HAS SOUS 183372 HAS SOUPS 183372 WITH SCORE 183587.239
AT ITER 309 NEW BEST:: SOT 299833 SOS 214807 HAS SOPS 214807 HAS SOUS 182891 HAS SOUPS 182891 WITH SCORE 183105.807
AT ITER 311 NEW BEST:: SOT 299761 SOS 214735 HAS SOPS 214735 HAS SOUS 182819 HAS SOUPS 182819 WITH SCORE 183033.735
AT ITER 314 NEW BEST:: SOT 299622 SOS 214596 HAS SOPS 214596 HAS SOUS 182680 HAS SOUPS 182680 WITH SCORE 182894.596
AT ITER 316 NEW BEST:: SOT 299622 SOS 214488 HAS SOPS 214488 HAS SOUS 182680 HAS SOUPS 182680 WITH SCORE 182894.488
AT ITER 320 NEW BEST:: SOT 299318 SOS 213822 HAS SOPS 213822 HAS SOUS 182509 HAS SOUPS 182509 WITH SCORE 182722.822
AT ITER 324 NEW BEST:: SOT 298975 SOS 213416 HAS SOPS 213416 HAS SOUS 182156 HAS SOUPS 182156 WITH SCORE 182369.416
AT ITER 325 NEW BEST:: SOT 298975 SOS 213129 HAS SOPS 213129 HAS SOUS 182056 HAS SOUPS 182056 WITH SCORE 182269.129
AT ITER 331 NEW BEST:: SOT 298948 SOS 213048 HAS SOPS 213048 HAS SOUS 182002 HAS SOUPS 182002 WITH SCORE 182215.048
AT ITER 333 NEW BEST:: SOT 298474 SOS 211626 HAS SOPS 211626 HAS SOUS 181320 HAS SOUPS 181320 WITH SCORE 181531.626
AT ITER 335 NEW BEST:: SOT 298072 SOS 211207 HAS SOPS 211207 HAS SOUS 181032 HAS SOUPS 181032 WITH SCORE 181243.207
AT ITER 336 NEW BEST:: SOT 298072 SOS 210897 HAS SOPS 210897 HAS SOUS 181024 HAS SOUPS 181024 WITH SCORE 181234.897
AT ITER 341 NEW BEST:: SOT 297901 SOS 210450 HAS SOPS 210450 HAS SOUS 180682 HAS SOUPS 180682 WITH SCORE 180892.45
AT ITER 342 NEW BEST:: SOT 297862 SOS 210411 HAS SOPS 210411 HAS SOUS 180643 HAS SOUPS 180643 WITH SCORE 180853.411
AT ITER 347 NEW BEST:: SOT 297854 SOS 210399 HAS SOPS 210399 HAS SOUS 180631 HAS SOUPS 180631 WITH SCORE 180841.399
AT ITER 352 NEW BEST:: SOT 297854 SOS 210381 HAS SOPS 210381 HAS SOUS 180621 HAS SOUPS 180621 WITH SCORE 180831.381
AT ITER 353 NEW BEST:: SOT 297854 SOS 210135 HAS SOPS 210135 HAS SOUS 180621 HAS SOUPS 180621 WITH SCORE 180831.135
AT ITER 359 NEW BEST:: SOT 297844 SOS 210125 HAS SOPS 210125 HAS SOUS 180611 HAS SOUPS 180611 WITH SCORE 180821.125
AT ITER 363 NEW BEST:: SOT 297688 SOS 209969 HAS SOPS 209969 HAS SOUS 180455 HAS SOUPS 180455 WITH SCORE 180664.969
AT ITER 365 NEW BEST:: SOT 297302 SOS 209308 HAS SOPS 209308 HAS SOUS 179794 HAS SOUPS 179794 WITH SCORE 180003.308
AT ITER 366 NEW BEST:: SOT 297288 SOS 209280 HAS SOPS 209280 HAS SOUS 179766 HAS SOUPS 179766 WITH SCORE 179975.28
AT ITER 368 NEW BEST:: SOT 297401 SOS 209279 HAS SOPS 209279 HAS SOUS 179764 HAS SOUPS 179764 WITH SCORE 179973.279
AT ITER 376 NEW BEST:: SOT 297401 SOS 209064 HAS SOPS 209064 HAS SOUS 179339 HAS SOUPS 179339 WITH SCORE 179548.064
AT ITER 387 NEW BEST:: SOT 297381 SOS 209044 HAS SOPS 209044 HAS SOUS 179319 HAS SOUPS 179319 WITH SCORE 179528.044
AT ITER 390 NEW BEST:: SOT 297038 SOS 208419 HAS SOPS 208419 HAS SOUS 178648 HAS SOUPS 178648 WITH SCORE 178856.419
AT ITER 391 NEW BEST:: SOT 297038 SOS 208419 HAS SOPS 208419 HAS SOUS 178560 HAS SOUPS 178560 WITH SCORE 178768.419
AT ITER 400 NEW BEST:: SOT 296765 SOS 208055 HAS SOPS 208055 HAS SOUS 178196 HAS SOUPS 178196 WITH SCORE 178404.055
AT ITER 409 NEW BEST:: SOT 296728 SOS 207878 HAS SOPS 207878 HAS SOUS 178122 HAS SOUPS 178122 WITH SCORE 178329.878
AT ITER 415 NEW BEST:: SOT 296728 SOS 207720 HAS SOPS 207720 HAS SOUS 178042 HAS SOUPS 178042 WITH SCORE 178249.72
AT ITER 417 NEW BEST:: SOT 296579 SOS 207571 HAS SOPS 207571 HAS SOUS 178002 HAS SOUPS 178002 WITH SCORE 178209.571
AT ITER 418 NEW BEST:: SOT 296315 SOS 207318 HAS SOPS 207318 HAS SOUS 177761 HAS SOUPS 177761 WITH SCORE 177968.318
AT ITER 421 NEW BEST:: SOT 296242 SOS 206363 HAS SOPS 206363 HAS SOUS 177617 HAS SOUPS 177617 WITH SCORE 177823.363
AT ITER 422 NEW BEST:: SOT 295186 SOS 205307 HAS SOPS 205307 HAS SOUS 176719 HAS SOUPS 176719 WITH SCORE 176924.307
AT ITER 423 NEW BEST:: SOT 295185 SOS 204299 HAS SOPS 204299 HAS SOUS 176720 HAS SOUPS 176720 WITH SCORE 176924.299
AT ITER 425 NEW BEST:: SOT 294946 SOS 204091 HAS SOPS 204091 HAS SOUS 176502 HAS SOUPS 176502 WITH SCORE 176706.091
AT ITER 432 NEW BEST:: SOT 294946 SOS 203996 HAS SOPS 203996 HAS SOUS 176425 HAS SOUPS 176425 WITH SCORE 176628.996
AT ITER 436 NEW BEST:: SOT 294944 SOS 203677 HAS SOPS 203677 HAS SOUS 176322 HAS SOUPS 176322 WITH SCORE 176525.677
AT ITER 440 NEW BEST:: SOT 294870 SOS 203568 HAS SOPS 203568 HAS SOUS 176108 HAS SOUPS 176108 WITH SCORE 176311.568
AT ITER 441 NEW BEST:: SOT 294433 SOS 203131 HAS SOPS 203131 HAS SOUS 175671 HAS SOUPS 175671 WITH SCORE 175874.131
AT ITER 444 NEW BEST:: SOT 294390 SOS 203088 HAS SOPS 203088 HAS SOUS 175605 HAS SOUPS 175605 WITH SCORE 175808.088
AT ITER 445 NEW BEST:: SOT 294171 SOS 202869 HAS SOPS 202869 HAS SOUS 175384 HAS SOUPS 175384 WITH SCORE 175586.869
AT ITER 451 NEW BEST:: SOT 293448 SOS 202144 HAS SOPS 202144 HAS SOUS 174928 HAS SOUPS 174928 WITH SCORE 175130.144
AT ITER 452 NEW BEST:: SOT 293421 SOS 202117 HAS SOPS 202117 HAS SOUS 174901 HAS SOUPS 174901 WITH SCORE 175103.117
AT ITER 453 NEW BEST:: SOT 293410 SOS 202095 HAS SOPS 202095 HAS SOUS 174879 HAS SOUPS 174879 WITH SCORE 175081.095
AT ITER 463 NEW BEST:: SOT 293075 SOS 201760 HAS SOPS 201760 HAS SOUS 174659 HAS SOUPS 174659 WITH SCORE 174860.76
AT ITER 464 NEW BEST:: SOT 292244 SOS 200413 HAS SOPS 200413 HAS SOUS 173373 HAS SOUPS 173373 WITH SCORE 173573.413
AT ITER 467 NEW BEST:: SOT 291476 SOS 199645 HAS SOPS 199645 HAS SOUS 172605 HAS SOUPS 172605 WITH SCORE 172804.645
AT ITER 473 NEW BEST:: SOT 291673 SOS 199633 HAS SOPS 199633 HAS SOUS 172577 HAS SOUPS 172577 WITH SCORE 172776.633
AT ITER 478 NEW BEST:: SOT 291673 SOS 199451 HAS SOPS 199451 HAS SOUS 172488 HAS SOUPS 172488 WITH SCORE 172687.451
AT ITER 480 NEW BEST:: SOT 291412 SOS 198950 HAS SOPS 198950 HAS SOUS 171987 HAS SOUPS 171987 WITH SCORE 172185.95
AT ITER 483 NEW BEST:: SOT 290789 SOS 198327 HAS SOPS 198327 HAS SOUS 171364 HAS SOUPS 171364 WITH SCORE 171562.327
AT ITER 484 NEW BEST:: SOT 290405 SOS 197942 HAS SOPS 197942 HAS SOUS 171081 HAS SOUPS 171081 WITH SCORE 171278.942
AT ITER 487 NEW BEST:: SOT 290405 SOS 197908 HAS SOPS 197908 HAS SOUS 171047 HAS SOUPS 171047 WITH SCORE 171244.908
AT ITER 493 NEW BEST:: SOT 290180 SOS 197137 HAS SOPS 197137 HAS SOUS 170812 HAS SOUPS 170812 WITH SCORE 171009.137
AT ITER 494 NEW BEST:: SOT 290217 SOS 197174 HAS SOPS 197174 HAS SOUS 170786 HAS SOUPS 170786 WITH SCORE 170983.174
AT ITER 498 NEW BEST:: SOT 290217 SOS 196358 HAS SOPS 196358 HAS SOUS 170786 HAS SOUPS 170786 WITH SCORE 170982.358
AT ITER 501 NEW BEST:: SOT 290293 SOS 196540 HAS SOPS 196540 HAS SOUS 170709 HAS SOUPS 170709 WITH SCORE 170905.54
AT ITER 502 NEW BEST:: SOT 290257 SOS 196504 HAS SOPS 196504 HAS SOUS 170708 HAS SOUPS 170708 WITH SCORE 170904.504
AT ITER 506 NEW BEST:: SOT 289403 SOS 194666 HAS SOPS 194666 HAS SOUS 169164 HAS SOUPS 169164 WITH SCORE 169358.666
AT ITER 510 NEW BEST:: SOT 289174 SOS 194502 HAS SOPS 194502 HAS SOUS 169000 HAS SOUPS 169000 WITH SCORE 169194.502
AT ITER 511 NEW BEST:: SOT 289174 SOS 194346 HAS SOPS 194346 HAS SOUS 168844 HAS SOUPS 168844 WITH SCORE 169038.346
AT ITER 518 NEW BEST:: SOT 289103 SOS 194273 HAS SOPS 194273 HAS SOUS 168771 HAS SOUPS 168771 WITH SCORE 168965.273
AT ITER 519 NEW BEST:: SOT 289069 SOS 194103 HAS SOPS 194103 HAS SOUS 168703 HAS SOUPS 168703 WITH SCORE 168897.103
AT ITER 520 NEW BEST:: SOT 289068 SOS 194080 HAS SOPS 194080 HAS SOUS 168699 HAS SOUPS 168699 WITH SCORE 168893.08
AT ITER 524 NEW BEST:: SOT 288890 SOS 193886 HAS SOPS 193886 HAS SOUS 168594 HAS SOUPS 168594 WITH SCORE 168787.886
AT ITER 527 NEW BEST:: SOT 288890 SOS 193860 HAS SOPS 193860 HAS SOUS 168581 HAS SOUPS 168581 WITH SCORE 168774.86
AT ITER 530 NEW BEST:: SOT 288890 SOS 193508 HAS SOPS 193508 HAS SOUS 168481 HAS SOUPS 168481 WITH SCORE 168674.508
AT ITER 531 NEW BEST:: SOT 288890 SOS 193197 HAS SOPS 193197 HAS SOUS 168481 HAS SOUPS 168481 WITH SCORE 168674.197
AT ITER 533 NEW BEST:: SOT 288796 SOS 193103 HAS SOPS 193103 HAS SOUS 168385 HAS SOUPS 168385 WITH SCORE 168578.103
AT ITER 540 NEW BEST:: SOT 288658 SOS 192984 HAS SOPS 192984 HAS SOUS 168288 HAS SOUPS 168288 WITH SCORE 168480.984
AT ITER 543 NEW BEST:: SOT 288321 SOS 192647 HAS SOPS 192647 HAS SOUS 167790 HAS SOUPS 167790 WITH SCORE 167982.647
AT ITER 544 NEW BEST:: SOT 288275 SOS 192473 HAS SOPS 192473 HAS SOUS 167488 HAS SOUPS 167488 WITH SCORE 167680.473
AT ITER 551 NEW BEST:: SOT 288193 SOS 192380 HAS SOPS 192380 HAS SOUS 167395 HAS SOUPS 167395 WITH SCORE 167587.38
AT ITER 552 NEW BEST:: SOT 288079 SOS 192269 HAS SOPS 192269 HAS SOUS 167284 HAS SOUPS 167284 WITH SCORE 167476.269
AT ITER 553 NEW BEST:: SOT 288078 SOS 192064 HAS SOPS 192064 HAS SOUS 167177 HAS SOUPS 167177 WITH SCORE 167369.064
AT ITER 557 NEW BEST:: SOT 287782 SOS 191185 HAS SOPS 191185 HAS SOUS 166608 HAS SOUPS 166608 WITH SCORE 166799.185
AT ITER 561 NEW BEST:: SOT 287782 SOS 191170 HAS SOPS 191170 HAS SOUS 166606 HAS SOUPS 166606 WITH SCORE 166797.17
AT ITER 562 NEW BEST:: SOT 287779 SOS 191167 HAS SOPS 191167 HAS SOUS 166514 HAS SOUPS 166514 WITH SCORE 166705.167
AT ITER 563 NEW BEST:: SOT 287587 SOS 190879 HAS SOPS 190879 HAS SOUS 166226 HAS SOUPS 166226 WITH SCORE 166416.879
AT ITER 566 NEW BEST:: SOT 287487 SOS 190779 HAS SOPS 190779 HAS SOUS 166226 HAS SOUPS 166226 WITH SCORE 166416.779
AT ITER 567 NEW BEST:: SOT 287487 SOS 190404 HAS SOPS 190404 HAS SOUS 165906 HAS SOUPS 165906 WITH SCORE 166096.404
AT ITER 569 NEW BEST:: SOT 286911 SOS 189828 HAS SOPS 189828 HAS SOUS 165329 HAS SOUPS 165329 WITH SCORE 165518.828
AT ITER 572 NEW BEST:: SOT 286801 SOS 189718 HAS SOPS 189718 HAS SOUS 165219 HAS SOUPS 165219 WITH SCORE 165408.718
AT ITER 578 NEW BEST:: SOT 286980 SOS 189411 HAS SOPS 189411 HAS SOUS 164990 HAS SOUPS 164990 WITH SCORE 165179.411
AT ITER 580 NEW BEST:: SOT 286801 SOS 189230 HAS SOPS 189230 HAS SOUS 164809 HAS SOUPS 164809 WITH SCORE 164998.23
AT ITER 581 NEW BEST:: SOT 286845 SOS 188214 HAS SOPS 188214 HAS SOUS 164486 HAS SOUPS 164486 WITH SCORE 164674.214
AT ITER 594 NEW BEST:: SOT 286808 SOS 188103 HAS SOPS 188103 HAS SOUS 164449 HAS SOUPS 164449 WITH SCORE 164637.103
AT ITER 595 NEW BEST:: SOT 286175 SOS 186600 HAS SOPS 186600 HAS SOUS 163291 HAS SOUPS 163291 WITH SCORE 163477.6
AT ITER 596 NEW BEST:: SOT 286175 SOS 186281 HAS SOPS 186281 HAS SOUS 163162 HAS SOUPS 163162 WITH SCORE 163348.281
AT ITER 599 NEW BEST:: SOT 286022 SOS 186128 HAS SOPS 186128 HAS SOUS 163009 HAS SOUPS 163009 WITH SCORE 163195.128
AT ITER 603 NEW BEST:: SOT 285820 SOS 186286 HAS SOPS 186286 HAS SOUS 162982 HAS SOUPS 162982 WITH SCORE 163168.286
AT ITER 604 NEW BEST:: SOT 285804 SOS 186270 HAS SOPS 186270 HAS SOUS 162966 HAS SOUPS 162966 WITH SCORE 163152.27
AT ITER 606 NEW BEST:: SOT 285788 SOS 186233 HAS SOPS 186233 HAS SOUS 162929 HAS SOUPS 162929 WITH SCORE 163115.233
AT ITER 607 NEW BEST:: SOT 285788 SOS 185425 HAS SOPS 185425 HAS SOUS 162557 HAS SOUPS 162557 WITH SCORE 162742.425
AT ITER 621 NEW BEST:: SOT 285777 SOS 184841 HAS SOPS 184841 HAS SOUS 162342 HAS SOUPS 162342 WITH SCORE 162526.841
AT ITER 623 NEW BEST:: SOT 285777 SOS 184711 HAS SOPS 184711 HAS SOUS 162342 HAS SOUPS 162342 WITH SCORE 162526.711
AT ITER 625 NEW BEST:: SOT 285894 SOS 184738 HAS SOPS 184738 HAS SOUS 162147 HAS SOUPS 162147 WITH SCORE 162331.738
AT ITER 629 NEW BEST:: SOT 285875 SOS 184719 HAS SOPS 184719 HAS SOUS 162128 HAS SOUPS 162128 WITH SCORE 162312.719
AT ITER 631 NEW BEST:: SOT 285875 SOS 184665 HAS SOPS 184665 HAS SOUS 162101 HAS SOUPS 162101 WITH SCORE 162285.665
AT ITER 633 NEW BEST:: SOT 285709 SOS 184688 HAS SOPS 184688 HAS SOUS 161765 HAS SOUPS 161765 WITH SCORE 161949.688
AT ITER 635 NEW BEST:: SOT 285684 SOS 184574 HAS SOPS 184574 HAS SOUS 161649 HAS SOUPS 161649 WITH SCORE 161833.574
AT ITER 643 NEW BEST:: SOT 285683 SOS 184477 HAS SOPS 184477 HAS SOUS 161618 HAS SOUPS 161618 WITH SCORE 161802.477
AT ITER 644 NEW BEST:: SOT 285815 SOS 184212 HAS SOPS 184212 HAS SOUS 161485 HAS SOUPS 161485 WITH SCORE 161669.212
AT ITER 645 NEW BEST:: SOT 285803 SOS 184200 HAS SOPS 184200 HAS SOUS 161473 HAS SOUPS 161473 WITH SCORE 161657.2
AT ITER 646 NEW BEST:: SOT 285676 SOS 184154 HAS SOPS 184154 HAS SOUS 161396 HAS SOUPS 161396 WITH SCORE 161580.154
AT ITER 648 NEW BEST:: SOT 285098 SOS 183574 HAS SOPS 183574 HAS SOUS 160816 HAS SOUPS 160816 WITH SCORE 160999.574
AT ITER 654 NEW BEST:: SOT 284729 SOS 183017 HAS SOPS 183017 HAS SOUS 160259 HAS SOUPS 160259 WITH SCORE 160442.017
AT ITER 658 NEW BEST:: SOT 284710 SOS 182998 HAS SOPS 182998 HAS SOUS 160240 HAS SOUPS 160240 WITH SCORE 160422.998
AT ITER 660 NEW BEST:: SOT 284847 SOS 182888 HAS SOPS 182888 HAS SOUS 160003 HAS SOUPS 160003 WITH SCORE 160185.888
AT ITER 662 NEW BEST:: SOT 284847 SOS 182884 HAS SOPS 182884 HAS SOUS 160003 HAS SOUPS 160003 WITH SCORE 160185.884
AT ITER 665 NEW BEST:: SOT 284910 SOS 182409 HAS SOPS 182409 HAS SOUS 159897 HAS SOUPS 159897 WITH SCORE 160079.409
AT ITER 669 NEW BEST:: SOT 284884 SOS 182383 HAS SOPS 182383 HAS SOUS 159871 HAS SOUPS 159871 WITH SCORE 160053.383
AT ITER 670 NEW BEST:: SOT 284884 SOS 181878 HAS SOPS 181878 HAS SOUS 159775 HAS SOUPS 159775 WITH SCORE 159956.878
AT ITER 672 NEW BEST:: SOT 284878 SOS 181896 HAS SOPS 181896 HAS SOUS 159763 HAS SOUPS 159763 WITH SCORE 159944.896
AT ITER 682 NEW BEST:: SOT 284484 SOS 181502 HAS SOPS 181502 HAS SOUS 159566 HAS SOUPS 159566 WITH SCORE 159747.502
AT ITER 689 NEW BEST:: SOT 284342 SOS 181289 HAS SOPS 181289 HAS SOUS 159353 HAS SOUPS 159353 WITH SCORE 159534.289
AT ITER 697 NEW BEST:: SOT 284342 SOS 181170 HAS SOPS 181170 HAS SOUS 159234 HAS SOUPS 159234 WITH SCORE 159415.17
AT ITER 698 NEW BEST:: SOT 284339 SOS 181152 HAS SOPS 181152 HAS SOUS 159216 HAS SOUPS 159216 WITH SCORE 159397.152
AT ITER 702 NEW BEST:: SOT 284339 SOS 181073 HAS SOPS 181073 HAS SOUS 159216 HAS SOUPS 159216 WITH SCORE 159397.073
AT ITER 707 NEW BEST:: SOT 284324 SOS 181058 HAS SOPS 181058 HAS SOUS 159201 HAS SOUPS 159201 WITH SCORE 159382.058
AT ITER 708 NEW BEST:: SOT 284324 SOS 180750 HAS SOPS 180750 HAS SOUS 159091 HAS SOUPS 159091 WITH SCORE 159271.75
AT ITER 711 NEW BEST:: SOT 284171 SOS 180507 HAS SOPS 180507 HAS SOUS 158867 HAS SOUPS 158867 WITH SCORE 159047.507
AT ITER 720 NEW BEST:: SOT 284024 SOS 180277 HAS SOPS 180277 HAS SOUS 158701 HAS SOUPS 158701 WITH SCORE 158881.277
AT ITER 722 NEW BEST:: SOT 283931 SOS 180184 HAS SOPS 180184 HAS SOUS 158608 HAS SOUPS 158608 WITH SCORE 158788.184
AT ITER 726 NEW BEST:: SOT 283931 SOS 180198 HAS SOPS 180198 HAS SOUS 158463 HAS SOUPS 158463 WITH SCORE 158643.198
AT ITER 728 NEW BEST:: SOT 283591 SOS 179006 HAS SOPS 179006 HAS SOUS 157697 HAS SOUPS 157697 WITH SCORE 157876.006
AT ITER 729 NEW BEST:: SOT 283461 SOS 178876 HAS SOPS 178876 HAS SOUS 157567 HAS SOUPS 157567 WITH SCORE 157745.876
AT ITER 733 NEW BEST:: SOT 283198 SOS 177781 HAS SOPS 177781 HAS SOUS 156844 HAS SOUPS 156844 WITH SCORE 157021.781
AT ITER 740 NEW BEST:: SOT 282978 SOS 177561 HAS SOPS 177561 HAS SOUS 156624 HAS SOUPS 156624 WITH SCORE 156801.561
AT ITER 744 NEW BEST:: SOT 282874 SOS 177426 HAS SOPS 177426 HAS SOUS 156606 HAS SOUPS 156606 WITH SCORE 156783.426
AT ITER 747 NEW BEST:: SOT 282874 SOS 177417 HAS SOPS 177417 HAS SOUS 156597 HAS SOUPS 156597 WITH SCORE 156774.417
AT ITER 751 NEW BEST:: SOT 282840 SOS 177524 HAS SOPS 177524 HAS SOUS 156560 HAS SOUPS 156560 WITH SCORE 156737.524
AT ITER 756 NEW BEST:: SOT 282690 SOS 177314 HAS SOPS 177314 HAS SOUS 156350 HAS SOUPS 156350 WITH SCORE 156527.314
AT ITER 759 NEW BEST:: SOT 282361 SOS 176765 HAS SOPS 176765 HAS SOUS 155765 HAS SOUPS 155765 WITH SCORE 155941.765
AT ITER 761 NEW BEST:: SOT 282286 SOS 176690 HAS SOPS 176690 HAS SOUS 155690 HAS SOUPS 155690 WITH SCORE 155866.69
AT ITER 764 NEW BEST:: SOT 282398 SOS 176426 HAS SOPS 176426 HAS SOUS 155524 HAS SOUPS 155524 WITH SCORE 155700.426
AT ITER 767 NEW BEST:: SOT 282382 SOS 176380 HAS SOPS 176380 HAS SOUS 155478 HAS SOUPS 155478 WITH SCORE 155654.38
AT ITER 768 NEW BEST:: SOT 282068 SOS 175874 HAS SOPS 175874 HAS SOUS 155062 HAS SOUPS 155062 WITH SCORE 155237.874
AT ITER 769 NEW BEST:: SOT 282135 SOS 175866 HAS SOPS 175866 HAS SOUS 155054 HAS SOUPS 155054 WITH SCORE 155229.866
AT ITER 779 NEW BEST:: SOT 282000 SOS 175731 HAS SOPS 175731 HAS SOUS 154889 HAS SOUPS 154889 WITH SCORE 155064.731
AT ITER 789 NEW BEST:: SOT 282018 SOS 175592 HAS SOPS 175592 HAS SOUS 154785 HAS SOUPS 154785 WITH SCORE 154960.592
AT ITER 802 NEW BEST:: SOT 282016 SOS 175590 HAS SOPS 175590 HAS SOUS 154783 HAS SOUPS 154783 WITH SCORE 154958.59
AT ITER 803 NEW BEST:: SOT 281770 SOS 175054 HAS SOPS 175054 HAS SOUS 154247 HAS SOUPS 154247 WITH SCORE 154422.054
AT ITER 806 NEW BEST:: SOT 281789 SOS 174818 HAS SOPS 174818 HAS SOUS 154150 HAS SOUPS 154150 WITH SCORE 154324.818
AT ITER 811 NEW BEST:: SOT 281788 SOS 174489 HAS SOPS 174489 HAS SOUS 153821 HAS SOUPS 153821 WITH SCORE 153995.489
AT ITER 814 NEW BEST:: SOT 281704 SOS 174405 HAS SOPS 174405 HAS SOUS 153821 HAS SOUPS 153821 WITH SCORE 153995.405
AT ITER 832 NEW BEST:: SOT 281704 SOS 174266 HAS SOPS 174266 HAS SOUS 153820 HAS SOUPS 153820 WITH SCORE 153994.266
AT ITER 833 NEW BEST:: SOT 281642 SOS 174356 HAS SOPS 174356 HAS SOUS 153736 HAS SOUPS 153736 WITH SCORE 153910.356
AT ITER 840 NEW BEST:: SOT 281642 SOS 174329 HAS SOPS 174329 HAS SOUS 153727 HAS SOUPS 153727 WITH SCORE 153901.329
AT ITER 843 NEW BEST:: SOT 281359 SOS 174160 HAS SOPS 174160 HAS SOUS 153558 HAS SOUPS 153558 WITH SCORE 153732.16
AT ITER 845 NEW BEST:: SOT 280745 SOS 172554 HAS SOPS 172554 HAS SOUS 152287 HAS SOUPS 152287 WITH SCORE 152459.554
AT ITER 850 NEW BEST:: SOT 280400 SOS 172075 HAS SOPS 172075 HAS SOUS 151741 HAS SOUPS 151741 WITH SCORE 151913.075
AT ITER 857 NEW BEST:: SOT 280294 SOS 171968 HAS SOPS 171968 HAS SOUS 151703 HAS SOUPS 151703 WITH SCORE 151874.968
AT ITER 859 NEW BEST:: SOT 280206 SOS 171624 HAS SOPS 171624 HAS SOUS 151358 HAS SOUPS 151358 WITH SCORE 151529.624
AT ITER 861 NEW BEST:: SOT 280287 SOS 171593 HAS SOPS 171593 HAS SOUS 151125 HAS SOUPS 151125 WITH SCORE 151296.593
AT ITER 863 NEW BEST:: SOT 280255 SOS 171529 HAS SOPS 171529 HAS SOUS 151061 HAS SOUPS 151061 WITH SCORE 151232.529
AT ITER 865 NEW BEST:: SOT 279979 SOS 171581 HAS SOPS 171581 HAS SOUS 150769 HAS SOUPS 150769 WITH SCORE 150940.581
AT ITER 874 NEW BEST:: SOT 279979 SOS 170840 HAS SOPS 170840 HAS SOUS 150705 HAS SOUPS 150705 WITH SCORE 150875.84
AT ITER 878 NEW BEST:: SOT 279888 SOS 170800 HAS SOPS 170800 HAS SOUS 150665 HAS SOUPS 150665 WITH SCORE 150835.8
AT ITER 879 NEW BEST:: SOT 279888 SOS 170581 HAS SOPS 170581 HAS SOUS 150665 HAS SOUPS 150665 WITH SCORE 150835.581
AT ITER 883 NEW BEST:: SOT 279885 SOS 170605 HAS SOPS 170605 HAS SOUS 150594 HAS SOUPS 150594 WITH SCORE 150764.605
AT ITER 884 NEW BEST:: SOT 279818 SOS 170471 HAS SOPS 170471 HAS SOUS 150460 HAS SOUPS 150460 WITH SCORE 150630.471
AT ITER 886 NEW BEST:: SOT 279877 SOS 170530 HAS SOPS 170530 HAS SOUS 150129 HAS SOUPS 150129 WITH SCORE 150299.53
AT ITER 914 NEW BEST:: SOT 279583 SOS 170194 HAS SOPS 170194 HAS SOUS 149758 HAS SOUPS 149758 WITH SCORE 149928.194
AT ITER 916 NEW BEST:: SOT 279583 SOS 169962 HAS SOPS 169962 HAS SOUS 149574 HAS SOUPS 149574 WITH SCORE 149743.962
AT ITER 920 NEW BEST:: SOT 279483 SOS 169927 HAS SOPS 169927 HAS SOUS 149520 HAS SOUPS 149520 WITH SCORE 149689.927
AT ITER 927 NEW BEST:: SOT 279595 SOS 170039 HAS SOPS 170039 HAS SOUS 149372 HAS SOUPS 149372 WITH SCORE 149542.039
AT ITER 933 NEW BEST:: SOT 279595 SOS 169196 HAS SOPS 169196 HAS SOUS 149226 HAS SOUPS 149226 WITH SCORE 149395.196
AT ITER 934 NEW BEST:: SOT 279600 SOS 169274 HAS SOPS 169274 HAS SOUS 149225 HAS SOUPS 149225 WITH SCORE 149394.274
AT ITER 935 NEW BEST:: SOT 279571 SOS 169245 HAS SOPS 169245 HAS SOUS 149196 HAS SOUPS 149196 WITH SCORE 149365.245
AT ITER 936 NEW BEST:: SOT 279571 SOS 169182 HAS SOPS 169182 HAS SOUS 149185 HAS SOUPS 149185 WITH SCORE 149354.182
AT ITER 942 NEW BEST:: SOT 279495 SOS 168819 HAS SOPS 168819 HAS SOUS 148745 HAS SOUPS 148745 WITH SCORE 148913.819
AT ITER 944 NEW BEST:: SOT 279212 SOS 168250 HAS SOPS 168250 HAS SOUS 148176 HAS SOUPS 148176 WITH SCORE 148344.25
AT ITER 946 NEW BEST:: SOT 279366 SOS 168404 HAS SOPS 168404 HAS SOUS 148164 HAS SOUPS 148164 WITH SCORE 148332.404
AT ITER 954 NEW BEST:: SOT 279318 SOS 168310 HAS SOPS 168310 HAS SOUS 148022 HAS SOUPS 148022 WITH SCORE 148190.31
AT ITER 955 NEW BEST:: SOT 279245 SOS 168237 HAS SOPS 168237 HAS SOUS 147949 HAS SOUPS 147949 WITH SCORE 148117.237
AT ITER 958 NEW BEST:: SOT 279144 SOS 168136 HAS SOPS 168136 HAS SOUS 147801 HAS SOUPS 147801 WITH SCORE 147969.136
AT ITER 959 NEW BEST:: SOT 278935 SOS 167927 HAS SOPS 167927 HAS SOUS 147592 HAS SOUPS 147592 WITH SCORE 147759.927
AT ITER 967 NEW BEST:: SOT 278603 SOS 167595 HAS SOPS 167595 HAS SOUS 147402 HAS SOUPS 147402 WITH SCORE 147569.595
AT ITER 970 NEW BEST:: SOT 278286 SOS 167278 HAS SOPS 167278 HAS SOUS 147085 HAS SOUPS 147085 WITH SCORE 147252.278
AT ITER 973 NEW BEST:: SOT 277887 SOS 167252 HAS SOPS 167252 HAS SOUS 146813 HAS SOUPS 146813 WITH SCORE 146980.252
AT ITER 975 NEW BEST:: SOT 277665 SOS 167030 HAS SOPS 167030 HAS SOUS 146807 HAS SOUPS 146807 WITH SCORE 146974.03
AT ITER 982 NEW BEST:: SOT 277623 SOS 167022 HAS SOPS 167022 HAS SOUS 146799 HAS SOUPS 146799 WITH SCORE 146966.022
AT ITER 985 NEW BEST:: SOT 277623 SOS 167021 HAS SOPS 167021 HAS SOUS 146798 HAS SOUPS 146798 WITH SCORE 146965.021
AT ITER 989 NEW BEST:: SOT 277615 SOS 167103 HAS SOPS 167103 HAS SOUS 146782 HAS SOUPS 146782 WITH SCORE 146949.103
AT ITER 994 NEW BEST:: SOT 277302 SOS 165181 HAS SOPS 165181 HAS SOUS 145659 HAS SOUPS 145659 WITH SCORE 145824.181
AT ITER 995 NEW BEST:: SOT 277280 SOS 165029 HAS SOPS 165029 HAS SOUS 145507 HAS SOUPS 145507 WITH SCORE 145672.029
AT ITER 1007 NEW BEST:: SOT 277200 SOS 164949 HAS SOPS 164949 HAS SOUS 145427 HAS SOUPS 145427 WITH SCORE 145591.949
AT ITER 1012 NEW BEST:: SOT 277238 SOS 165036 HAS SOPS 165036 HAS SOUS 145385 HAS SOUPS 145385 WITH SCORE 145550.036
AT ITER 1016 NEW BEST:: SOT 277065 SOS 164724 HAS SOPS 164724 HAS SOUS 145094 HAS SOUPS 145094 WITH SCORE 145258.724
AT ITER 1021 NEW BEST:: SOT 277277 SOS 164425 HAS SOPS 164425 HAS SOUS 145017 HAS SOUPS 145017 WITH SCORE 145181.425
AT ITER 1027 NEW BEST:: SOT 277143 SOS 163833 HAS SOPS 163833 HAS SOUS 144669 HAS SOUPS 144669 WITH SCORE 144832.833
AT ITER 1030 NEW BEST:: SOT 277138 SOS 163828 HAS SOPS 163828 HAS SOUS 144664 HAS SOUPS 144664 WITH SCORE 144827.828
AT ITER 1032 NEW BEST:: SOT 277084 SOS 163756 HAS SOPS 163756 HAS SOUS 144592 HAS SOUPS 144592 WITH SCORE 144755.756
AT ITER 1042 NEW BEST:: SOT 277084 SOS 163471 HAS SOPS 163471 HAS SOUS 144523 HAS SOUPS 144523 WITH SCORE 144686.471
AT ITER 1049 NEW BEST:: SOT 277078 SOS 163465 HAS SOPS 163465 HAS SOUS 144517 HAS SOUPS 144517 WITH SCORE 144680.465
AT ITER 1050 NEW BEST:: SOT 277078 SOS 163423 HAS SOPS 163423 HAS SOUS 144494 HAS SOUPS 144494 WITH SCORE 144657.423
AT ITER 1051 NEW BEST:: SOT 277069 SOS 163380 HAS SOPS 163380 HAS SOUS 144451 HAS SOUPS 144451 WITH SCORE 144614.38
AT ITER 1064 NEW BEST:: SOT 276977 SOS 163288 HAS SOPS 163288 HAS SOUS 144359 HAS SOUPS 144359 WITH SCORE 144522.288
AT ITER 1068 NEW BEST:: SOT 276977 SOS 163265 HAS SOPS 163265 HAS SOUS 144329 HAS SOUPS 144329 WITH SCORE 144492.265
AT ITER 1069 NEW BEST:: SOT 276821 SOS 163109 HAS SOPS 163109 HAS SOUS 144269 HAS SOUPS 144269 WITH SCORE 144432.109
AT ITER 1070 NEW BEST:: SOT 276769 SOS 162979 HAS SOPS 162979 HAS SOUS 144165 HAS SOUPS 144165 WITH SCORE 144327.979
AT ITER 1084 NEW BEST:: SOT 276769 SOS 162877 HAS SOPS 162877 HAS SOUS 144114 HAS SOUPS 144114 WITH SCORE 144276.877
AT ITER 1086 NEW BEST:: SOT 276528 SOS 162839 HAS SOPS 162839 HAS SOUS 143900 HAS SOUPS 143900 WITH SCORE 144062.839
AT ITER 1087 NEW BEST:: SOT 276537 SOS 162849 HAS SOPS 162849 HAS SOUS 143466 HAS SOUPS 143466 WITH SCORE 143628.849
AT ITER 1095 NEW BEST:: SOT 276551 SOS 162828 HAS SOPS 162828 HAS SOUS 143445 HAS SOUPS 143445 WITH SCORE 143607.828
AT ITER 1097 NEW BEST:: SOT 276523 SOS 162688 HAS SOPS 162688 HAS SOUS 143389 HAS SOUPS 143389 WITH SCORE 143551.688
AT ITER 1099 NEW BEST:: SOT 276400 SOS 162468 HAS SOPS 162468 HAS SOUS 143266 HAS SOUPS 143266 WITH SCORE 143428.468
AT ITER 1105 NEW BEST:: SOT 276398 SOS 162341 HAS SOPS 162341 HAS SOUS 143264 HAS SOUPS 143264 WITH SCORE 143426.341
AT ITER 1112 NEW BEST:: SOT 276323 SOS 162041 HAS SOPS 162041 HAS SOUS 143114 HAS SOUPS 143114 WITH SCORE 143276.041
AT ITER 1116 NEW BEST:: SOT 276038 SOS 161435 HAS SOPS 161435 HAS SOUS 142703 HAS SOUPS 142703 WITH SCORE 142864.435
AT ITER 1117 NEW BEST:: SOT 276041 SOS 161438 HAS SOPS 161438 HAS SOUS 142645 HAS SOUPS 142645 WITH SCORE 142806.438
AT ITER 1119 NEW BEST:: SOT 275871 SOS 161420 HAS SOPS 161420 HAS SOUS 142627 HAS SOUPS 142627 WITH SCORE 142788.42
AT ITER 1121 NEW BEST:: SOT 275686 SOS 161394 HAS SOPS 161394 HAS SOUS 142601 HAS SOUPS 142601 WITH SCORE 142762.394
AT ITER 1123 NEW BEST:: SOT 275418 SOS 160995 HAS SOPS 160995 HAS SOUS 142202 HAS SOUPS 142202 WITH SCORE 142362.995
AT ITER 1126 NEW BEST:: SOT 275324 SOS 160901 HAS SOPS 160901 HAS SOUS 142108 HAS SOUPS 142108 WITH SCORE 142268.901
AT ITER 1128 NEW BEST:: SOT 275123 SOS 160700 HAS SOPS 160700 HAS SOUS 141907 HAS SOUPS 141907 WITH SCORE 142067.7
AT ITER 1129 NEW BEST:: SOT 275123 SOS 160663 HAS SOPS 160663 HAS SOUS 141906 HAS SOUPS 141906 WITH SCORE 142066.663
AT ITER 1130 NEW BEST:: SOT 275010 SOS 160407 HAS SOPS 160407 HAS SOUS 141665 HAS SOUPS 141665 WITH SCORE 141825.407
AT ITER 1133 NEW BEST:: SOT 274803 SOS 160002 HAS SOPS 160002 HAS SOUS 141251 HAS SOUPS 141251 WITH SCORE 141411.002
AT ITER 1139 NEW BEST:: SOT 274791 SOS 159990 HAS SOPS 159990 HAS SOUS 141239 HAS SOUPS 141239 WITH SCORE 141398.99
AT ITER 1144 NEW BEST:: SOT 274730 SOS 159929 HAS SOPS 159929 HAS SOUS 141177 HAS SOUPS 141177 WITH SCORE 141336.929
AT ITER 1155 NEW BEST:: SOT 274710 SOS 160001 HAS SOPS 160001 HAS SOUS 141156 HAS SOUPS 141156 WITH SCORE 141316.001
AT ITER 1161 NEW BEST:: SOT 274710 SOS 160001 HAS SOPS 160001 HAS SOUS 141146 HAS SOUPS 141146 WITH SCORE 141306.001
AT ITER 1164 NEW BEST:: SOT 274690 SOS 159981 HAS SOPS 159981 HAS SOUS 141126 HAS SOUPS 141126 WITH SCORE 141285.981
AT ITER 1169 NEW BEST:: SOT 274689 SOS 159964 HAS SOPS 159964 HAS SOUS 141111 HAS SOUPS 141111 WITH SCORE 141270.964
AT ITER 1170 NEW BEST:: SOT 274689 SOS 159372 HAS SOPS 159372 HAS SOUS 140963 HAS SOUPS 140963 WITH SCORE 141122.372
AT ITER 1176 NEW BEST:: SOT 274689 SOS 159095 HAS SOPS 159095 HAS SOUS 140926 HAS SOUPS 140926 WITH SCORE 141085.095
AT ITER 1184 NEW BEST:: SOT 274670 SOS 159076 HAS SOPS 159076 HAS SOUS 140907 HAS SOUPS 140907 WITH SCORE 141066.076
AT ITER 1189 NEW BEST:: SOT 274432 SOS 158882 HAS SOPS 158882 HAS SOUS 140809 HAS SOUPS 140809 WITH SCORE 140967.882
AT ITER 1193 NEW BEST:: SOT 274201 SOS 158651 HAS SOPS 158651 HAS SOUS 140578 HAS SOUPS 140578 WITH SCORE 140736.651
AT ITER 1201 NEW BEST:: SOT 274193 SOS 158643 HAS SOPS 158643 HAS SOUS 140570 HAS SOUPS 140570 WITH SCORE 140728.643
AT ITER 1207 NEW BEST:: SOT 273786 SOS 158136 HAS SOPS 158136 HAS SOUS 140108 HAS SOUPS 140108 WITH SCORE 140266.136
AT ITER 1210 NEW BEST:: SOT 273778 SOS 158128 HAS SOPS 158128 HAS SOUS 140100 HAS SOUPS 140100 WITH SCORE 140258.128
AT ITER 1218 NEW BEST:: SOT 273756 SOS 158106 HAS SOPS 158106 HAS SOUS 140078 HAS SOUPS 140078 WITH SCORE 140236.106
AT ITER 1225 NEW BEST:: SOT 273654 SOS 157927 HAS SOPS 157927 HAS SOUS 139976 HAS SOUPS 139976 WITH SCORE 140133.927
AT ITER 1237 NEW BEST:: SOT 273612 SOS 157589 HAS SOPS 157589 HAS SOUS 139696 HAS SOUPS 139696 WITH SCORE 139853.589
AT ITER 1240 NEW BEST:: SOT 273536 SOS 157475 HAS SOPS 157475 HAS SOUS 139582 HAS SOUPS 139582 WITH SCORE 139739.475
AT ITER 1243 NEW BEST:: SOT 273536 SOS 156987 HAS SOPS 156987 HAS SOUS 139372 HAS SOUPS 139372 WITH SCORE 139528.987
AT ITER 1254 NEW BEST:: SOT 273369 SOS 156653 HAS SOPS 156653 HAS SOUS 139038 HAS SOUPS 139038 WITH SCORE 139194.653
AT ITER 1256 NEW BEST:: SOT 273401 SOS 156640 HAS SOPS 156640 HAS SOUS 139025 HAS SOUPS 139025 WITH SCORE 139181.64
AT ITER 1264 NEW BEST:: SOT 273365 SOS 156586 HAS SOPS 156586 HAS SOUS 138971 HAS SOUPS 138971 WITH SCORE 139127.586
AT ITER 1266 NEW BEST:: SOT 273365 SOS 156380 HAS SOPS 156380 HAS SOUS 138894 HAS SOUPS 138894 WITH SCORE 139050.38
AT ITER 1284 NEW BEST:: SOT 273365 SOS 156368 HAS SOPS 156368 HAS SOUS 138882 HAS SOUPS 138882 WITH SCORE 139038.368
AT ITER 1286 NEW BEST:: SOT 273074 SOS 156072 HAS SOPS 156072 HAS SOUS 138586 HAS SOUPS 138586 WITH SCORE 138742.072
AT ITER 1304 NEW BEST:: SOT 273017 SOS 156015 HAS SOPS 156015 HAS SOUS 138529 HAS SOUPS 138529 WITH SCORE 138685.015
AT ITER 1308 NEW BEST:: SOT 272829 SOS 155586 HAS SOPS 155586 HAS SOUS 138227 HAS SOUPS 138227 WITH SCORE 138382.586
AT ITER 1322 NEW BEST:: SOT 272829 SOS 155561 HAS SOPS 155561 HAS SOUS 138227 HAS SOUPS 138227 WITH SCORE 138382.561
AT ITER 1324 NEW BEST:: SOT 272515 SOS 155247 HAS SOPS 155247 HAS SOUS 137913 HAS SOUPS 137913 WITH SCORE 138068.247
AT ITER 1334 NEW BEST:: SOT 272464 SOS 155196 HAS SOPS 155196 HAS SOUS 137845 HAS SOUPS 137845 WITH SCORE 138000.196
AT ITER 1345 NEW BEST:: SOT 272414 SOS 155146 HAS SOPS 155146 HAS SOUS 137794 HAS SOUPS 137794 WITH SCORE 137949.146
AT ITER 1349 NEW BEST:: SOT 272376 SOS 155032 HAS SOPS 155032 HAS SOUS 137680 HAS SOUPS 137680 WITH SCORE 137835.032
AT ITER 1358 NEW BEST:: SOT 272031 SOS 153608 HAS SOPS 153608 HAS SOUS 136674 HAS SOUPS 136674 WITH SCORE 136827.608
AT ITER 1361 NEW BEST:: SOT 272065 SOS 153449 HAS SOPS 153449 HAS SOUS 136550 HAS SOUPS 136550 WITH SCORE 136703.449
AT ITER 1366 NEW BEST:: SOT 271908 SOS 152818 HAS SOPS 152818 HAS SOUS 136263 HAS SOUPS 136263 WITH SCORE 136415.818
AT ITER 1367 NEW BEST:: SOT 271904 SOS 152810 HAS SOPS 152810 HAS SOUS 136255 HAS SOUPS 136255 WITH SCORE 136407.81
AT ITER 1369 NEW BEST:: SOT 271656 SOS 152315 HAS SOPS 152315 HAS SOUS 135759 HAS SOUPS 135759 WITH SCORE 135911.315
AT ITER 1374 NEW BEST:: SOT 271644 SOS 152262 HAS SOPS 152262 HAS SOUS 135706 HAS SOUPS 135706 WITH SCORE 135858.262
AT ITER 1385 NEW BEST:: SOT 271545 SOS 152130 HAS SOPS 152130 HAS SOUS 135574 HAS SOUPS 135574 WITH SCORE 135726.13
AT ITER 1392 NEW BEST:: SOT 271545 SOS 151881 HAS SOPS 151881 HAS SOUS 135326 HAS SOUPS 135326 WITH SCORE 135477.881
AT ITER 1393 NEW BEST:: SOT 271344 SOS 151680 HAS SOPS 151680 HAS SOUS 135070 HAS SOUPS 135070 WITH SCORE 135221.68
AT ITER 1398 NEW BEST:: SOT 271334 SOS 151670 HAS SOPS 151670 HAS SOUS 135060 HAS SOUPS 135060 WITH SCORE 135211.67
AT ITER 1399 NEW BEST:: SOT 271281 SOS 151526 HAS SOPS 151526 HAS SOUS 134916 HAS SOUPS 134916 WITH SCORE 135067.526
AT ITER 1405 NEW BEST:: SOT 271290 SOS 151512 HAS SOPS 151512 HAS SOUS 134903 HAS SOUPS 134903 WITH SCORE 135054.512
AT ITER 1406 NEW BEST:: SOT 271235 SOS 151456 HAS SOPS 151456 HAS SOUS 134847 HAS SOUPS 134847 WITH SCORE 134998.456
AT ITER 1407 NEW BEST:: SOT 271450 SOS 151021 HAS SOPS 151021 HAS SOUS 134697 HAS SOUPS 134697 WITH SCORE 134848.021
AT ITER 1415 NEW BEST:: SOT 271410 SOS 150981 HAS SOPS 150981 HAS SOUS 134657 HAS SOUPS 134657 WITH SCORE 134807.981
AT ITER 1418 NEW BEST:: SOT 271398 SOS 150969 HAS SOPS 150969 HAS SOUS 134645 HAS SOUPS 134645 WITH SCORE 134795.969
AT ITER 1423 NEW BEST:: SOT 271452 SOS 150870 HAS SOPS 150870 HAS SOUS 134573 HAS SOUPS 134573 WITH SCORE 134723.87
AT ITER 1424 NEW BEST:: SOT 271412 SOS 150830 HAS SOPS 150830 HAS SOUS 134440 HAS SOUPS 134440 WITH SCORE 134590.83
AT ITER 1432 NEW BEST:: SOT 271369 SOS 150838 HAS SOPS 150838 HAS SOUS 134438 HAS SOUPS 134438 WITH SCORE 134588.838
AT ITER 1435 NEW BEST:: SOT 271266 SOS 150734 HAS SOPS 150734 HAS SOUS 134318 HAS SOUPS 134318 WITH SCORE 134468.734
AT ITER 1436 NEW BEST:: SOT 271244 SOS 150531 HAS SOPS 150531 HAS SOUS 134115 HAS SOUPS 134115 WITH SCORE 134265.531
AT ITER 1437 NEW BEST:: SOT 271189 SOS 149952 HAS SOPS 149952 HAS SOUS 133958 HAS SOUPS 133958 WITH SCORE 134107.952
AT ITER 1448 NEW BEST:: SOT 271076 SOS 149807 HAS SOPS 149807 HAS SOUS 133813 HAS SOUPS 133813 WITH SCORE 133962.807
AT ITER 1452 NEW BEST:: SOT 271085 SOS 149816 HAS SOPS 149816 HAS SOUS 133812 HAS SOUPS 133812 WITH SCORE 133961.816
AT ITER 1453 NEW BEST:: SOT 271022 SOS 149753 HAS SOPS 149753 HAS SOUS 133810 HAS SOUPS 133810 WITH SCORE 133959.753
AT ITER 1456 NEW BEST:: SOT 270948 SOS 149657 HAS SOPS 149657 HAS SOUS 133713 HAS SOUPS 133713 WITH SCORE 133862.657
AT ITER 1460 NEW BEST:: SOT 270851 SOS 149560 HAS SOPS 149560 HAS SOUS 133616 HAS SOUPS 133616 WITH SCORE 133765.56
AT ITER 1467 NEW BEST:: SOT 270815 SOS 149595 HAS SOPS 149595 HAS SOUS 133615 HAS SOUPS 133615 WITH SCORE 133764.595
AT ITER 1474 NEW BEST:: SOT 270604 SOS 149139 HAS SOPS 149139 HAS SOUS 133178 HAS SOUPS 133178 WITH SCORE 133327.139
AT ITER 1475 NEW BEST:: SOT 270604 SOS 149086 HAS SOPS 149086 HAS SOUS 133156 HAS SOUPS 133156 WITH SCORE 133305.086
AT ITER 1476 NEW BEST:: SOT 270604 SOS 148808 HAS SOPS 148808 HAS SOUS 133147 HAS SOUPS 133147 WITH SCORE 133295.808
AT ITER 1478 NEW BEST:: SOT 270562 SOS 148766 HAS SOPS 148766 HAS SOUS 133105 HAS SOUPS 133105 WITH SCORE 133253.766
AT ITER 1479 NEW BEST:: SOT 270534 SOS 148738 HAS SOPS 148738 HAS SOUS 133077 HAS SOUPS 133077 WITH SCORE 133225.738
AT ITER 1488 NEW BEST:: SOT 270532 SOS 148736 HAS SOPS 148736 HAS SOUS 133075 HAS SOUPS 133075 WITH SCORE 133223.736
AT ITER 1492 NEW BEST:: SOT 270504 SOS 148571 HAS SOPS 148571 HAS SOUS 132989 HAS SOUPS 132989 WITH SCORE 133137.571
AT ITER 1494 NEW BEST:: SOT 270429 SOS 148430 HAS SOPS 148430 HAS SOUS 132848 HAS SOUPS 132848 WITH SCORE 132996.43
AT ITER 1508 NEW BEST:: SOT 270424 SOS 148425 HAS SOPS 148425 HAS SOUS 132843 HAS SOUPS 132843 WITH SCORE 132991.425
AT ITER 1511 NEW BEST:: SOT 270295 SOS 148157 HAS SOPS 148157 HAS SOUS 132602 HAS SOUPS 132602 WITH SCORE 132750.157
AT ITER 1520 NEW BEST:: SOT 270274 SOS 147610 HAS SOPS 147610 HAS SOUS 132489 HAS SOUPS 132489 WITH SCORE 132636.61
AT ITER 1523 NEW BEST:: SOT 270261 SOS 147597 HAS SOPS 147597 HAS SOUS 132476 HAS SOUPS 132476 WITH SCORE 132623.597
AT ITER 1534 NEW BEST:: SOT 270260 SOS 147596 HAS SOPS 147596 HAS SOUS 132475 HAS SOUPS 132475 WITH SCORE 132622.596
AT ITER 1547 NEW BEST:: SOT 270233 SOS 147569 HAS SOPS 147569 HAS SOUS 132448 HAS SOUPS 132448 WITH SCORE 132595.569
AT ITER 1548 NEW BEST:: SOT 270184 SOS 147520 HAS SOPS 147520 HAS SOUS 132399 HAS SOUPS 132399 WITH SCORE 132546.52
AT ITER 1549 NEW BEST:: SOT 270018 SOS 147049 HAS SOPS 147049 HAS SOUS 131819 HAS SOUPS 131819 WITH SCORE 131966.049
AT ITER 1550 NEW BEST:: SOT 269626 SOS 146615 HAS SOPS 146615 HAS SOUS 131371 HAS SOUPS 131371 WITH SCORE 131517.615
AT ITER 1552 NEW BEST:: SOT 269536 SOS 146525 HAS SOPS 146525 HAS SOUS 131250 HAS SOUPS 131250 WITH SCORE 131396.525
AT ITER 1556 NEW BEST:: SOT 269483 SOS 146112 HAS SOPS 146112 HAS SOUS 130835 HAS SOUPS 130835 WITH SCORE 130981.112
AT ITER 1563 NEW BEST:: SOT 269483 SOS 146008 HAS SOPS 146008 HAS SOUS 130809 HAS SOUPS 130809 WITH SCORE 130955.008
AT ITER 1569 NEW BEST:: SOT 269165 SOS 145219 HAS SOPS 145219 HAS SOUS 130020 HAS SOUPS 130020 WITH SCORE 130165.219
AT ITER 1572 NEW BEST:: SOT 269165 SOS 144983 HAS SOPS 144983 HAS SOUS 130020 HAS SOUPS 130020 WITH SCORE 130164.983
AT ITER 1574 NEW BEST:: SOT 269156 SOS 144968 HAS SOPS 144968 HAS SOUS 130005 HAS SOUPS 130005 WITH SCORE 130149.968
AT ITER 1588 NEW BEST:: SOT 268758 SOS 144371 HAS SOPS 144371 HAS SOUS 129408 HAS SOUPS 129408 WITH SCORE 129552.371
AT ITER 1593 NEW BEST:: SOT 268744 SOS 144357 HAS SOPS 144357 HAS SOUS 129394 HAS SOUPS 129394 WITH SCORE 129538.357
AT ITER 1595 NEW BEST:: SOT 268744 SOS 144155 HAS SOPS 144155 HAS SOUS 129183 HAS SOUPS 129183 WITH SCORE 129327.155
AT ITER 1596 NEW BEST:: SOT 268748 SOS 144023 HAS SOPS 144023 HAS SOUS 129161 HAS SOUPS 129161 WITH SCORE 129305.023
AT ITER 1608 NEW BEST:: SOT 268691 SOS 143935 HAS SOPS 143935 HAS SOUS 129073 HAS SOUPS 129073 WITH SCORE 129216.935
AT ITER 1614 NEW BEST:: SOT 268670 SOS 143767 HAS SOPS 143767 HAS SOUS 128975 HAS SOUPS 128975 WITH SCORE 129118.767
AT ITER 1615 NEW BEST:: SOT 268760 SOS 143808 HAS SOPS 143808 HAS SOUS 128952 HAS SOUPS 128952 WITH SCORE 129095.808
AT ITER 1616 NEW BEST:: SOT 268655 SOS 143570 HAS SOPS 143570 HAS SOUS 128714 HAS SOUPS 128714 WITH SCORE 128857.57
AT ITER 1620 NEW BEST:: SOT 268655 SOS 143557 HAS SOPS 143557 HAS SOUS 128701 HAS SOUPS 128701 WITH SCORE 128844.557
AT ITER 1621 NEW BEST:: SOT 268655 SOS 143526 HAS SOPS 143526 HAS SOUS 128670 HAS SOUPS 128670 WITH SCORE 128813.526
AT ITER 1624 NEW BEST:: SOT 268453 SOS 143211 HAS SOPS 143211 HAS SOUS 128355 HAS SOUPS 128355 WITH SCORE 128498.211
AT ITER 1628 NEW BEST:: SOT 268453 SOS 143206 HAS SOPS 143206 HAS SOUS 128355 HAS SOUPS 128355 WITH SCORE 128498.206
AT ITER 1639 NEW BEST:: SOT 268351 SOS 143115 HAS SOPS 143115 HAS SOUS 128263 HAS SOUPS 128263 WITH SCORE 128406.115
AT ITER 1648 NEW BEST:: SOT 268349 SOS 142681 HAS SOPS 142681 HAS SOUS 128253 HAS SOUPS 128253 WITH SCORE 128395.681
AT ITER 1661 NEW BEST:: SOT 268326 SOS 142679 HAS SOPS 142679 HAS SOUS 128251 HAS SOUPS 128251 WITH SCORE 128393.679
AT ITER 1678 NEW BEST:: SOT 267963 SOS 142425 HAS SOPS 142425 HAS SOUS 127837 HAS SOUPS 127837 WITH SCORE 127979.425
AT ITER 1681 NEW BEST:: SOT 267863 SOS 142435 HAS SOPS 142435 HAS SOUS 127688 HAS SOUPS 127688 WITH SCORE 127830.435
AT ITER 1686 NEW BEST:: SOT 267830 SOS 142329 HAS SOPS 142329 HAS SOUS 127582 HAS SOUPS 127582 WITH SCORE 127724.329
AT ITER 1689 NEW BEST:: SOT 267571 SOS 142092 HAS SOPS 142092 HAS SOUS 127142 HAS SOUPS 127142 WITH SCORE 127284.092
AT ITER 1693 NEW BEST:: SOT 267367 SOS 141758 HAS SOPS 141758 HAS SOUS 126808 HAS SOUPS 126808 WITH SCORE 126949.758
AT ITER 1703 NEW BEST:: SOT 267339 SOS 141697 HAS SOPS 141697 HAS SOUS 126770 HAS SOUPS 126770 WITH SCORE 126911.697
AT ITER 1708 NEW BEST:: SOT 267339 SOS 141631 HAS SOPS 141631 HAS SOUS 126695 HAS SOUPS 126695 WITH SCORE 126836.631
AT ITER 1719 NEW BEST:: SOT 267338 SOS 141630 HAS SOPS 141630 HAS SOUS 126694 HAS SOUPS 126694 WITH SCORE 126835.63
AT ITER 1722 NEW BEST:: SOT 267256 SOS 141396 HAS SOPS 141396 HAS SOUS 126510 HAS SOUPS 126510 WITH SCORE 126651.396
AT ITER 1740 NEW BEST:: SOT 267215 SOS 140863 HAS SOPS 140863 HAS SOUS 126291 HAS SOUPS 126291 WITH SCORE 126431.863
AT ITER 1743 NEW BEST:: SOT 267215 SOS 140852 HAS SOPS 140852 HAS SOUS 126291 HAS SOUPS 126291 WITH SCORE 126431.852
AT ITER 1750 NEW BEST:: SOT 267215 SOS 140852 HAS SOPS 140852 HAS SOUS 126290 HAS SOUPS 126290 WITH SCORE 126430.852
AT ITER 1754 NEW BEST:: SOT 267076 SOS 140597 HAS SOPS 140597 HAS SOUS 126035 HAS SOUPS 126035 WITH SCORE 126175.597
AT ITER 1761 NEW BEST:: SOT 267076 SOS 140453 HAS SOPS 140453 HAS SOUS 125987 HAS SOUPS 125987 WITH SCORE 126127.453
AT ITER 1763 NEW BEST:: SOT 267076 SOS 140372 HAS SOPS 140372 HAS SOUS 125950 HAS SOUPS 125950 WITH SCORE 126090.372
AT ITER 1772 NEW BEST:: SOT 267071 SOS 140367 HAS SOPS 140367 HAS SOUS 125940 HAS SOUPS 125940 WITH SCORE 126080.367
AT ITER 1775 NEW BEST:: SOT 267046 SOS 140322 HAS SOPS 140322 HAS SOUS 125895 HAS SOUPS 125895 WITH SCORE 126035.322
AT ITER 1777 NEW BEST:: SOT 267099 SOS 140394 HAS SOPS 140394 HAS SOUS 125875 HAS SOUPS 125875 WITH SCORE 126015.394
AT ITER 1781 NEW BEST:: SOT 266767 SOS 139991 HAS SOPS 139991 HAS SOUS 125472 HAS SOUPS 125472 WITH SCORE 125611.991
AT ITER 1788 NEW BEST:: SOT 266767 SOS 139982 HAS SOPS 139982 HAS SOUS 125463 HAS SOUPS 125463 WITH SCORE 125602.982
AT ITER 1792 NEW BEST:: SOT 266671 SOS 139465 HAS SOPS 139465 HAS SOUS 125271 HAS SOUPS 125271 WITH SCORE 125410.465
AT ITER 1796 NEW BEST:: SOT 266638 SOS 139432 HAS SOPS 139432 HAS SOUS 125234 HAS SOUPS 125234 WITH SCORE 125373.432
AT ITER 1801 NEW BEST:: SOT 266400 SOS 138986 HAS SOPS 138986 HAS SOUS 124788 HAS SOUPS 124788 WITH SCORE 124926.986
AT ITER 1811 NEW BEST:: SOT 266398 SOS 138882 HAS SOPS 138882 HAS SOUS 124730 HAS SOUPS 124730 WITH SCORE 124868.882
AT ITER 1813 NEW BEST:: SOT 266376 SOS 138860 HAS SOPS 138860 HAS SOUS 124714 HAS SOUPS 124714 WITH SCORE 124852.86
AT ITER 1815 NEW BEST:: SOT 266375 SOS 138846 HAS SOPS 138846 HAS SOUS 124700 HAS SOUPS 124700 WITH SCORE 124838.846
AT ITER 1816 NEW BEST:: SOT 266359 SOS 138830 HAS SOPS 138830 HAS SOUS 124684 HAS SOUPS 124684 WITH SCORE 124822.83
AT ITER 1818 NEW BEST:: SOT 266194 SOS 138659 HAS SOPS 138659 HAS SOUS 124572 HAS SOUPS 124572 WITH SCORE 124710.659
AT ITER 1828 NEW BEST:: SOT 266188 SOS 138635 HAS SOPS 138635 HAS SOUS 124554 HAS SOUPS 124554 WITH SCORE 124692.635
AT ITER 1831 NEW BEST:: SOT 266188 SOS 138397 HAS SOPS 138397 HAS SOUS 124554 HAS SOUPS 124554 WITH SCORE 124692.397
AT ITER 1836 NEW BEST:: SOT 266182 SOS 138019 HAS SOPS 138019 HAS SOUS 124202 HAS SOUPS 124202 WITH SCORE 124340.019
AT ITER 1842 NEW BEST:: SOT 266064 SOS 137764 HAS SOPS 137764 HAS SOUS 123947 HAS SOUPS 123947 WITH SCORE 124084.764
AT ITER 1844 NEW BEST:: SOT 266004 SOS 137704 HAS SOPS 137704 HAS SOUS 123947 HAS SOUPS 123947 WITH SCORE 124084.704
AT ITER 1846 NEW BEST:: SOT 265789 SOS 137259 HAS SOPS 137259 HAS SOUS 123562 HAS SOUPS 123562 WITH SCORE 123699.259
AT ITER 1851 NEW BEST:: SOT 265789 SOS 137500 HAS SOPS 137500 HAS SOUS 123525 HAS SOUPS 123525 WITH SCORE 123662.5
AT ITER 1854 NEW BEST:: SOT 265687 SOS 137397 HAS SOPS 137397 HAS SOUS 123422 HAS SOUPS 123422 WITH SCORE 123559.397
AT ITER 1855 NEW BEST:: SOT 265419 SOS 136818 HAS SOPS 136818 HAS SOUS 123029 HAS SOUPS 123029 WITH SCORE 123165.818
AT ITER 1858 NEW BEST:: SOT 265303 SOS 136652 HAS SOPS 136652 HAS SOUS 122861 HAS SOUPS 122861 WITH SCORE 122997.652
AT ITER 1862 NEW BEST:: SOT 265302 SOS 136610 HAS SOPS 136610 HAS SOUS 122833 HAS SOUPS 122833 WITH SCORE 122969.61
AT ITER 1867 NEW BEST:: SOT 264651 SOS 135959 HAS SOPS 135959 HAS SOUS 122237 HAS SOUPS 122237 WITH SCORE 122372.959
AT ITER 1878 NEW BEST:: SOT 264611 SOS 135919 HAS SOPS 135919 HAS SOUS 122227 HAS SOUPS 122227 WITH SCORE 122362.919
AT ITER 1883 NEW BEST:: SOT 264611 SOS 135960 HAS SOPS 135960 HAS SOUS 122126 HAS SOUPS 122126 WITH SCORE 122261.96
AT ITER 1897 NEW BEST:: SOT 264611 SOS 135951 HAS SOPS 135951 HAS SOUS 122115 HAS SOUPS 122115 WITH SCORE 122250.951
AT ITER 1898 NEW BEST:: SOT 264594 SOS 135900 HAS SOPS 135900 HAS SOUS 122081 HAS SOUPS 122081 WITH SCORE 122216.9
AT ITER 1901 NEW BEST:: SOT 264475 SOS 135647 HAS SOPS 135647 HAS SOUS 121843 HAS SOUPS 121843 WITH SCORE 121978.647
AT ITER 1905 NEW BEST:: SOT 264464 SOS 135636 HAS SOPS 135636 HAS SOUS 121843 HAS SOUPS 121843 WITH SCORE 121978.636
AT ITER 1906 NEW BEST:: SOT 264374 SOS 135546 HAS SOPS 135546 HAS SOUS 121808 HAS SOUPS 121808 WITH SCORE 121943.546
AT ITER 1907 NEW BEST:: SOT 264373 SOS 135545 HAS SOPS 135545 HAS SOUS 121806 HAS SOUPS 121806 WITH SCORE 121941.545
AT ITER 1919 NEW BEST:: SOT 264364 SOS 135536 HAS SOPS 135536 HAS SOUS 121788 HAS SOUPS 121788 WITH SCORE 121923.536
AT ITER 1921 NEW BEST:: SOT 264336 SOS 135508 HAS SOPS 135508 HAS SOUS 121760 HAS SOUPS 121760 WITH SCORE 121895.508
AT ITER 1922 NEW BEST:: SOT 264319 SOS 135491 HAS SOPS 135491 HAS SOUS 121743 HAS SOUPS 121743 WITH SCORE 121878.491
AT ITER 1924 NEW BEST:: SOT 264177 SOS 135349 HAS SOPS 135349 HAS SOUS 121527 HAS SOUPS 121527 WITH SCORE 121662.349
AT ITER 1934 NEW BEST:: SOT 264168 SOS 135340 HAS SOPS 135340 HAS SOUS 121509 HAS SOUPS 121509 WITH SCORE 121644.34
AT ITER 1938 NEW BEST:: SOT 264017 SOS 134202 HAS SOPS 134202 HAS SOUS 121025 HAS SOUPS 121025 WITH SCORE 121159.202
AT ITER 1940 NEW BEST:: SOT 263984 SOS 134169 HAS SOPS 134169 HAS SOUS 120992 HAS SOUPS 120992 WITH SCORE 121126.169
AT ITER 1945 NEW BEST:: SOT 263808 SOS 133993 HAS SOPS 133993 HAS SOUS 120816 HAS SOUPS 120816 WITH SCORE 120949.993
AT ITER 1952 NEW BEST:: SOT 263682 SOS 133816 HAS SOPS 133816 HAS SOUS 120658 HAS SOUPS 120658 WITH SCORE 120791.816
AT ITER 1957 NEW BEST:: SOT 263653 SOS 133787 HAS SOPS 133787 HAS SOUS 120629 HAS SOUPS 120629 WITH SCORE 120762.787
AT ITER 1962 NEW BEST:: SOT 263473 SOS 133276 HAS SOPS 133276 HAS SOUS 120382 HAS SOUPS 120382 WITH SCORE 120515.276
AT ITER 1969 NEW BEST:: SOT 263027 SOS 132830 HAS SOPS 132830 HAS SOUS 119936 HAS SOUPS 119936 WITH SCORE 120068.83
AT ITER 1970 NEW BEST:: SOT 262934 SOS 132701 HAS SOPS 132701 HAS SOUS 119773 HAS SOUPS 119773 WITH SCORE 119905.701
AT ITER 1972 NEW BEST:: SOT 262876 SOS 132655 HAS SOPS 132655 HAS SOUS 119727 HAS SOUPS 119727 WITH SCORE 119859.655
AT ITER 1977 NEW BEST:: SOT 262847 SOS 132626 HAS SOPS 132626 HAS SOUS 119698 HAS SOUPS 119698 WITH SCORE 119830.626
AT ITER 1986 NEW BEST:: SOT 262722 SOS 132498 HAS SOPS 132498 HAS SOUS 119555 HAS SOUPS 119555 WITH SCORE 119687.498
AT ITER 2002 NEW BEST:: SOT 262722 SOS 132459 HAS SOPS 132459 HAS SOUS 119516 HAS SOUPS 119516 WITH SCORE 119648.459
AT ITER 2018 NEW BEST:: SOT 262722 SOS 132398 HAS SOPS 132398 HAS SOUS 119468 HAS SOUPS 119468 WITH SCORE 119600.398
AT ITER 2026 NEW BEST:: SOT 262722 SOS 132338 HAS SOPS 132338 HAS SOUS 119468 HAS SOUPS 119468 WITH SCORE 119600.338
AT ITER 2028 NEW BEST:: SOT 262467 SOS 132152 HAS SOPS 132152 HAS SOUS 119282 HAS SOUPS 119282 WITH SCORE 119414.152
AT ITER 2031 NEW BEST:: SOT 262405 SOS 132090 HAS SOPS 132090 HAS SOUS 119251 HAS SOUPS 119251 WITH SCORE 119383.09
AT ITER 2038 NEW BEST:: SOT 262357 SOS 132042 HAS SOPS 132042 HAS SOUS 119203 HAS SOUPS 119203 WITH SCORE 119335.042
AT ITER 2039 NEW BEST:: SOT 262357 SOS 131851 HAS SOPS 131851 HAS SOUS 119029 HAS SOUPS 119029 WITH SCORE 119160.851
AT ITER 2041 NEW BEST:: SOT 262307 SOS 131137 HAS SOPS 131137 HAS SOUS 118784 HAS SOUPS 118784 WITH SCORE 118915.137
AT ITER 2045 NEW BEST:: SOT 262294 SOS 131124 HAS SOPS 131124 HAS SOUS 118771 HAS SOUPS 118771 WITH SCORE 118902.124
AT ITER 2046 NEW BEST:: SOT 262245 SOS 130994 HAS SOPS 130994 HAS SOUS 118641 HAS SOUPS 118641 WITH SCORE 118771.994
AT ITER 2048 NEW BEST:: SOT 262314 SOS 131027 HAS SOPS 131027 HAS SOUS 118623 HAS SOUPS 118623 WITH SCORE 118754.027
AT ITER 2049 NEW BEST:: SOT 262264 SOS 130977 HAS SOPS 130977 HAS SOUS 118617 HAS SOUPS 118617 WITH SCORE 118747.977
AT ITER 2053 NEW BEST:: SOT 262175 SOS 130613 HAS SOPS 130613 HAS SOUS 118434 HAS SOUPS 118434 WITH SCORE 118564.613
AT ITER 2065 NEW BEST:: SOT 262136 SOS 130535 HAS SOPS 130535 HAS SOUS 118395 HAS SOUPS 118395 WITH SCORE 118525.535
AT ITER 2075 NEW BEST:: SOT 261721 SOS 130099 HAS SOPS 130099 HAS SOUS 117959 HAS SOUPS 117959 WITH SCORE 118089.099
AT ITER 2076 NEW BEST:: SOT 261687 SOS 130065 HAS SOPS 130065 HAS SOUS 117925 HAS SOUPS 117925 WITH SCORE 118055.065
AT ITER 2077 NEW BEST:: SOT 261608 SOS 129924 HAS SOPS 129924 HAS SOUS 117846 HAS SOUPS 117846 WITH SCORE 117975.924
AT ITER 2106 NEW BEST:: SOT 261539 SOS 129804 HAS SOPS 129804 HAS SOUS 117744 HAS SOUPS 117744 WITH SCORE 117873.804
AT ITER 2109 NEW BEST:: SOT 261443 SOS 129645 HAS SOPS 129645 HAS SOUS 117522 HAS SOUPS 117522 WITH SCORE 117651.645
AT ITER 2110 NEW BEST:: SOT 261357 SOS 129559 HAS SOPS 129559 HAS SOUS 117436 HAS SOUPS 117436 WITH SCORE 117565.559
AT ITER 2116 NEW BEST:: SOT 261187 SOS 129102 HAS SOPS 129102 HAS SOUS 117185 HAS SOUPS 117185 WITH SCORE 117314.102
AT ITER 2126 NEW BEST:: SOT 261073 SOS 128701 HAS SOPS 128701 HAS SOUS 116784 HAS SOUPS 116784 WITH SCORE 116912.701
AT ITER 2133 NEW BEST:: SOT 261036 SOS 128438 HAS SOPS 128438 HAS SOUS 116615 HAS SOUPS 116615 WITH SCORE 116743.438
AT ITER 2138 NEW BEST:: SOT 260913 SOS 128364 HAS SOPS 128364 HAS SOUS 116401 HAS SOUPS 116401 WITH SCORE 116529.364
AT ITER 2145 NEW BEST:: SOT 260657 SOS 127929 HAS SOPS 127929 HAS SOUS 116190 HAS SOUPS 116190 WITH SCORE 116317.929
AT ITER 2157 NEW BEST:: SOT 260632 SOS 127910 HAS SOPS 127910 HAS SOUS 116171 HAS SOUPS 116171 WITH SCORE 116298.91
AT ITER 2184 NEW BEST:: SOT 260545 SOS 127793 HAS SOPS 127793 HAS SOUS 116054 HAS SOUPS 116054 WITH SCORE 116181.793
AT ITER 2185 NEW BEST:: SOT 260332 SOS 127580 HAS SOPS 127580 HAS SOUS 115841 HAS SOUPS 115841 WITH SCORE 115968.58
AT ITER 2196 NEW BEST:: SOT 260001 SOS 127240 HAS SOPS 127240 HAS SOUS 115501 HAS SOUPS 115501 WITH SCORE 115628.24
AT ITER 2199 NEW BEST:: SOT 259919 SOS 127158 HAS SOPS 127158 HAS SOUS 115473 HAS SOUPS 115473 WITH SCORE 115600.158
AT ITER 2203 NEW BEST:: SOT 259918 SOS 127040 HAS SOPS 127040 HAS SOUS 115355 HAS SOUPS 115355 WITH SCORE 115482.04
AT ITER 2205 NEW BEST:: SOT 259752 SOS 126384 HAS SOPS 126384 HAS SOUS 114903 HAS SOUPS 114903 WITH SCORE 115029.384
AT ITER 2207 NEW BEST:: SOT 259751 SOS 126258 HAS SOPS 126258 HAS SOUS 114877 HAS SOUPS 114877 WITH SCORE 115003.258
AT ITER 2233 NEW BEST:: SOT 259741 SOS 126254 HAS SOPS 126254 HAS SOUS 114857 HAS SOUPS 114857 WITH SCORE 114983.254
AT ITER 2235 NEW BEST:: SOT 259792 SOS 126170 HAS SOPS 126170 HAS SOUS 114826 HAS SOUPS 114826 WITH SCORE 114952.17
AT ITER 2239 NEW BEST:: SOT 259787 SOS 126165 HAS SOPS 126165 HAS SOUS 114821 HAS SOUPS 114821 WITH SCORE 114947.165
AT ITER 2241 NEW BEST:: SOT 259704 SOS 126019 HAS SOPS 126019 HAS SOUS 114675 HAS SOUPS 114675 WITH SCORE 114801.019
AT ITER 2256 NEW BEST:: SOT 259695 SOS 126010 HAS SOPS 126010 HAS SOUS 114632 HAS SOUPS 114632 WITH SCORE 114758.01
AT ITER 2266 NEW BEST:: SOT 259678 SOS 125993 HAS SOPS 125993 HAS SOUS 114615 HAS SOUPS 114615 WITH SCORE 114740.993
AT ITER 2271 NEW BEST:: SOT 259647 SOS 125953 HAS SOPS 125953 HAS SOUS 114584 HAS SOUPS 114584 WITH SCORE 114709.953
AT ITER 2272 NEW BEST:: SOT 259602 SOS 125908 HAS SOPS 125908 HAS SOUS 114539 HAS SOUPS 114539 WITH SCORE 114664.908
AT ITER 2283 NEW BEST:: SOT 259133 SOS 125280 HAS SOPS 125280 HAS SOUS 113855 HAS SOUPS 113855 WITH SCORE 113980.28
AT ITER 2339 NEW BEST:: SOT 259212 SOS 125204 HAS SOPS 125204 HAS SOUS 113747 HAS SOUPS 113747 WITH SCORE 113872.204
AT ITER 2348 NEW BEST:: SOT 259211 SOS 125203 HAS SOPS 125203 HAS SOUS 113746 HAS SOUPS 113746 WITH SCORE 113871.203
AT ITER 2355 NEW BEST:: SOT 259170 SOS 125200 HAS SOPS 125200 HAS SOUS 113743 HAS SOUPS 113743 WITH SCORE 113868.2
AT ITER 2357 NEW BEST:: SOT 259166 SOS 125180 HAS SOPS 125180 HAS SOUS 113735 HAS SOUPS 113735 WITH SCORE 113860.18
AT ITER 2359 NEW BEST:: SOT 259166 SOS 124886 HAS SOPS 124886 HAS SOUS 113610 HAS SOUPS 113610 WITH SCORE 113734.886
AT ITER 2371 NEW BEST:: SOT 259090 SOS 124881 HAS SOPS 124881 HAS SOUS 113484 HAS SOUPS 113484 WITH SCORE 113608.881
AT ITER 2380 NEW BEST:: SOT 259036 SOS 124827 HAS SOPS 124827 HAS SOUS 113430 HAS SOUPS 113430 WITH SCORE 113554.827
AT ITER 2385 NEW BEST:: SOT 259034 SOS 124825 HAS SOPS 124825 HAS SOUS 113428 HAS SOUPS 113428 WITH SCORE 113552.825
AT ITER 2391 NEW BEST:: SOT 258729 SOS 124286 HAS SOPS 124286 HAS SOUS 112889 HAS SOUPS 112889 WITH SCORE 113013.286
AT ITER 2398 NEW BEST:: SOT 258729 SOS 124276 HAS SOPS 124276 HAS SOUS 112879 HAS SOUPS 112879 WITH SCORE 113003.276
AT ITER 2418 NEW BEST:: SOT 258729 SOS 124268 HAS SOPS 124268 HAS SOUS 112871 HAS SOUPS 112871 WITH SCORE 112995.268
AT ITER 2422 NEW BEST:: SOT 258728 SOS 124178 HAS SOPS 124178 HAS SOUS 112781 HAS SOUPS 112781 WITH SCORE 112905.178
AT ITER 2430 NEW BEST:: SOT 258718 SOS 124072 HAS SOPS 124072 HAS SOUS 112675 HAS SOUPS 112675 WITH SCORE 112799.072
AT ITER 2432 NEW BEST:: SOT 258718 SOS 124072 HAS SOPS 124072 HAS SOUS 112645 HAS SOUPS 112645 WITH SCORE 112769.072
AT ITER 2434 NEW BEST:: SOT 258718 SOS 124072 HAS SOPS 124072 HAS SOUS 112631 HAS SOUPS 112631 WITH SCORE 112755.072
AT ITER 2447 NEW BEST:: SOT 258620 SOS 123939 HAS SOPS 123939 HAS SOUS 112498 HAS SOUPS 112498 WITH SCORE 112621.939
AT ITER 2448 NEW BEST:: SOT 258619 SOS 123932 HAS SOPS 123932 HAS SOUS 112493 HAS SOUPS 112493 WITH SCORE 112616.932
AT ITER 2449 NEW BEST:: SOT 258568 SOS 123881 HAS SOPS 123881 HAS SOUS 112442 HAS SOUPS 112442 WITH SCORE 112565.881
AT ITER 2456 NEW BEST:: SOT 258241 SOS 123522 HAS SOPS 123522 HAS SOUS 112083 HAS SOUPS 112083 WITH SCORE 112206.522
AT ITER 2457 NEW BEST:: SOT 258171 SOS 123326 HAS SOPS 123326 HAS SOUS 111925 HAS SOUPS 111925 WITH SCORE 112048.326
AT ITER 2475 NEW BEST:: SOT 258164 SOS 123291 HAS SOPS 123291 HAS SOUS 111911 HAS SOUPS 111911 WITH SCORE 112034.291
AT ITER 2483 NEW BEST:: SOT 258115 SOS 123356 HAS SOPS 123356 HAS SOUS 111859 HAS SOUPS 111859 WITH SCORE 111982.356
AT ITER 2491 NEW BEST:: SOT 258101 SOS 123328 HAS SOPS 123328 HAS SOUS 111831 HAS SOUPS 111831 WITH SCORE 111954.328
AT ITER 2503 NEW BEST:: SOT 258086 SOS 123323 HAS SOPS 123323 HAS SOUS 111826 HAS SOUPS 111826 WITH SCORE 111949.323
AT ITER 2504 NEW BEST:: SOT 258003 SOS 123019 HAS SOPS 123019 HAS SOUS 111661 HAS SOUPS 111661 WITH SCORE 111784.019
AT ITER 2508 NEW BEST:: SOT 257950 SOS 122965 HAS SOPS 122965 HAS SOUS 111607 HAS SOUPS 111607 WITH SCORE 111729.965
AT ITER 2511 NEW BEST:: SOT 257795 SOS 122933 HAS SOPS 122933 HAS SOUS 111575 HAS SOUPS 111575 WITH SCORE 111697.933
AT ITER 2514 NEW BEST:: SOT 257728 SOS 122732 HAS SOPS 122732 HAS SOUS 111441 HAS SOUPS 111441 WITH SCORE 111563.732
AT ITER 2519 NEW BEST:: SOT 257596 SOS 122381 HAS SOPS 122381 HAS SOUS 111090 HAS SOUPS 111090 WITH SCORE 111212.381
AT ITER 2521 NEW BEST:: SOT 257550 SOS 122347 HAS SOPS 122347 HAS SOUS 111056 HAS SOUPS 111056 WITH SCORE 111178.347
AT ITER 2522 NEW BEST:: SOT 257471 SOS 122274 HAS SOPS 122274 HAS SOUS 110983 HAS SOUPS 110983 WITH SCORE 111105.274
AT ITER 2524 NEW BEST:: SOT 257410 SOS 122101 HAS SOPS 122101 HAS SOUS 110849 HAS SOUPS 110849 WITH SCORE 110971.101
AT ITER 2525 NEW BEST:: SOT 257409 SOS 122068 HAS SOPS 122068 HAS SOUS 110831 HAS SOUPS 110831 WITH SCORE 110953.068
AT ITER 2546 NEW BEST:: SOT 257409 SOS 122031 HAS SOPS 122031 HAS SOUS 110814 HAS SOUPS 110814 WITH SCORE 110936.031
AT ITER 2547 NEW BEST:: SOT 257409 SOS 121993 HAS SOPS 121993 HAS SOUS 110776 HAS SOUPS 110776 WITH SCORE 110897.993
AT ITER 2559 NEW BEST:: SOT 257421 SOS 121989 HAS SOPS 121989 HAS SOUS 110772 HAS SOUPS 110772 WITH SCORE 110893.989
AT ITER 2564 NEW BEST:: SOT 257326 SOS 121557 HAS SOPS 121557 HAS SOUS 110507 HAS SOUPS 110507 WITH SCORE 110628.557
AT ITER 2565 NEW BEST:: SOT 257312 SOS 121515 HAS SOPS 121515 HAS SOUS 110465 HAS SOUPS 110465 WITH SCORE 110586.515
AT ITER 2566 NEW BEST:: SOT 257293 SOS 121296 HAS SOPS 121296 HAS SOUS 110339 HAS SOUPS 110339 WITH SCORE 110460.296
AT ITER 2573 NEW BEST:: SOT 257293 SOS 121253 HAS SOPS 121253 HAS SOUS 110296 HAS SOUPS 110296 WITH SCORE 110417.253
AT ITER 2579 NEW BEST:: SOT 257157 SOS 120932 HAS SOPS 120932 HAS SOUS 109860 HAS SOUPS 109860 WITH SCORE 109980.932
AT ITER 2584 NEW BEST:: SOT 257015 SOS 120364 HAS SOPS 120364 HAS SOUS 109545 HAS SOUPS 109545 WITH SCORE 109665.364
AT ITER 2588 NEW BEST:: SOT 257064 SOS 120504 HAS SOPS 120504 HAS SOUS 109484 HAS SOUPS 109484 WITH SCORE 109604.504
AT ITER 2591 NEW BEST:: SOT 256934 SOS 120374 HAS SOPS 120374 HAS SOUS 109429 HAS SOUPS 109429 WITH SCORE 109549.374
AT ITER 2596 NEW BEST:: SOT 256934 SOS 120326 HAS SOPS 120326 HAS SOUS 109429 HAS SOUPS 109429 WITH SCORE 109549.326
AT ITER 2603 NEW BEST:: SOT 256822 SOS 120418 HAS SOPS 120418 HAS SOUS 109321 HAS SOUPS 109321 WITH SCORE 109441.418
AT ITER 2606 NEW BEST:: SOT 256812 SOS 120405 HAS SOPS 120405 HAS SOUS 109318 HAS SOUPS 109318 WITH SCORE 109438.405
AT ITER 2611 NEW BEST:: SOT 256812 SOS 120380 HAS SOPS 120380 HAS SOUS 109291 HAS SOUPS 109291 WITH SCORE 109411.38
AT ITER 2612 NEW BEST:: SOT 256811 SOS 120376 HAS SOPS 120376 HAS SOUS 109278 HAS SOUPS 109278 WITH SCORE 109398.376
AT ITER 2623 NEW BEST:: SOT 256805 SOS 120370 HAS SOPS 120370 HAS SOUS 109272 HAS SOUPS 109272 WITH SCORE 109392.37
AT ITER 2632 NEW BEST:: SOT 256790 SOS 120355 HAS SOPS 120355 HAS SOUS 109257 HAS SOUPS 109257 WITH SCORE 109377.355
AT ITER 2636 NEW BEST:: SOT 256777 SOS 120342 HAS SOPS 120342 HAS SOUS 109244 HAS SOUPS 109244 WITH SCORE 109364.342
AT ITER 2637 NEW BEST:: SOT 256777 SOS 120339 HAS SOPS 120339 HAS SOUS 109244 HAS SOUPS 109244 WITH SCORE 109364.339
AT ITER 2638 NEW BEST:: SOT 256722 SOS 120066 HAS SOPS 120066 HAS SOUS 109145 HAS SOUPS 109145 WITH SCORE 109265.066
AT ITER 2643 NEW BEST:: SOT 256669 SOS 119715 HAS SOPS 119715 HAS SOUS 108781 HAS SOUPS 108781 WITH SCORE 108900.715
AT ITER 2650 NEW BEST:: SOT 256660 SOS 119688 HAS SOPS 119688 HAS SOUS 108763 HAS SOUPS 108763 WITH SCORE 108882.688
AT ITER 2652 NEW BEST:: SOT 256430 SOS 119357 HAS SOPS 119357 HAS SOUS 108432 HAS SOUPS 108432 WITH SCORE 108551.357
AT ITER 2660 NEW BEST:: SOT 256430 SOS 119150 HAS SOPS 119150 HAS SOUS 108208 HAS SOUPS 108208 WITH SCORE 108327.15
AT ITER 2675 NEW BEST:: SOT 256434 SOS 119132 HAS SOPS 119132 HAS SOUS 108186 HAS SOUPS 108186 WITH SCORE 108305.132
AT ITER 2677 NEW BEST:: SOT 256434 SOS 119116 HAS SOPS 119116 HAS SOUS 108170 HAS SOUPS 108170 WITH SCORE 108289.116
AT ITER 2678 NEW BEST:: SOT 256434 SOS 118863 HAS SOPS 118863 HAS SOUS 107917 HAS SOUPS 107917 WITH SCORE 108035.863
AT ITER 2682 NEW BEST:: SOT 256441 SOS 118711 HAS SOPS 118711 HAS SOUS 107832 HAS SOUPS 107832 WITH SCORE 107950.711
AT ITER 2685 NEW BEST:: SOT 256431 SOS 118691 HAS SOPS 118691 HAS SOUS 107822 HAS SOUPS 107822 WITH SCORE 107940.691
AT ITER 2688 NEW BEST:: SOT 256379 SOS 118468 HAS SOPS 118468 HAS SOUS 107718 HAS SOUPS 107718 WITH SCORE 107836.468
AT ITER 2700 NEW BEST:: SOT 256384 SOS 118418 HAS SOPS 118418 HAS SOUS 107702 HAS SOUPS 107702 WITH SCORE 107820.418
AT ITER 2703 NEW BEST:: SOT 256406 SOS 118470 HAS SOPS 118470 HAS SOUS 107700 HAS SOUPS 107700 WITH SCORE 107818.47
AT ITER 2715 NEW BEST:: SOT 256406 SOS 118538 HAS SOPS 118538 HAS SOUS 107629 HAS SOUPS 107629 WITH SCORE 107747.538
AT ITER 2717 NEW BEST:: SOT 256415 SOS 118537 HAS SOPS 118537 HAS SOUS 107628 HAS SOUPS 107628 WITH SCORE 107746.537
AT ITER 2720 NEW BEST:: SOT 256353 SOS 118475 HAS SOPS 118475 HAS SOUS 107566 HAS SOUPS 107566 WITH SCORE 107684.475
AT ITER 2724 NEW BEST:: SOT 256353 SOS 118475 HAS SOPS 118475 HAS SOUS 107543 HAS SOUPS 107543 WITH SCORE 107661.475
AT ITER 2728 NEW BEST:: SOT 256209 SOS 118331 HAS SOPS 118331 HAS SOUS 107399 HAS SOUPS 107399 WITH SCORE 107517.331
AT ITER 2738 NEW BEST:: SOT 256209 SOS 118137 HAS SOPS 118137 HAS SOUS 107205 HAS SOUPS 107205 WITH SCORE 107323.137
AT ITER 2742 NEW BEST:: SOT 256170 SOS 118020 HAS SOPS 118020 HAS SOUS 107127 HAS SOUPS 107127 WITH SCORE 107245.02
AT ITER 2751 NEW BEST:: SOT 256170 SOS 118020 HAS SOPS 118020 HAS SOUS 107098 HAS SOUPS 107098 WITH SCORE 107216.02
AT ITER 2768 NEW BEST:: SOT 256013 SOS 117836 HAS SOPS 117836 HAS SOUS 106914 HAS SOUPS 106914 WITH SCORE 107031.836
AT ITER 2772 NEW BEST:: SOT 256013 SOS 117588 HAS SOPS 117588 HAS SOUS 106885 HAS SOUPS 106885 WITH SCORE 107002.588
AT ITER 2779 NEW BEST:: SOT 255967 SOS 117542 HAS SOPS 117542 HAS SOUS 106820 HAS SOUPS 106820 WITH SCORE 106937.542
AT ITER 2790 NEW BEST:: SOT 255966 SOS 117442 HAS SOPS 117442 HAS SOUS 106783 HAS SOUPS 106783 WITH SCORE 106900.442
AT ITER 2795 NEW BEST:: SOT 255966 SOS 117254 HAS SOPS 117254 HAS SOUS 106736 HAS SOUPS 106736 WITH SCORE 106853.254
AT ITER 2800 NEW BEST:: SOT 255788 SOS 117076 HAS SOPS 117076 HAS SOUS 106558 HAS SOUPS 106558 WITH SCORE 106675.076
AT ITER 2803 NEW BEST:: SOT 255780 SOS 116970 HAS SOPS 116970 HAS SOUS 106452 HAS SOUPS 106452 WITH SCORE 106568.97
AT ITER 2806 NEW BEST:: SOT 255822 SOS 116665 HAS SOPS 116665 HAS SOUS 106321 HAS SOUPS 106321 WITH SCORE 106437.665
AT ITER 2807 NEW BEST:: SOT 255822 SOS 116664 HAS SOPS 116664 HAS SOUS 106320 HAS SOUPS 106320 WITH SCORE 106436.664
AT ITER 2821 NEW BEST:: SOT 255822 SOS 116660 HAS SOPS 116660 HAS SOUS 106320 HAS SOUPS 106320 WITH SCORE 106436.66
AT ITER 2839 NEW BEST:: SOT 255822 SOS 116613 HAS SOPS 116613 HAS SOUS 106312 HAS SOUPS 106312 WITH SCORE 106428.613
AT ITER 2848 NEW BEST:: SOT 255821 SOS 116612 HAS SOPS 116612 HAS SOUS 106266 HAS SOUPS 106266 WITH SCORE 106382.612
AT ITER 2849 NEW BEST:: SOT 255658 SOS 116441 HAS SOPS 116441 HAS SOUS 106095 HAS SOUPS 106095 WITH SCORE 106211.441
AT ITER 2850 NEW BEST:: SOT 255470 SOS 115980 HAS SOPS 115980 HAS SOUS 105710 HAS SOUPS 105710 WITH SCORE 105825.98
AT ITER 2858 NEW BEST:: SOT 255207 SOS 115723 HAS SOPS 115723 HAS SOUS 105427 HAS SOUPS 105427 WITH SCORE 105542.723
AT ITER 2863 NEW BEST:: SOT 255207 SOS 115723 HAS SOPS 115723 HAS SOUS 105401 HAS SOUPS 105401 WITH SCORE 105516.723
AT ITER 2868 NEW BEST:: SOT 255047 SOS 115701 HAS SOPS 115701 HAS SOUS 105346 HAS SOUPS 105346 WITH SCORE 105461.701
AT ITER 2883 NEW BEST:: SOT 254937 SOS 115591 HAS SOPS 115591 HAS SOUS 105236 HAS SOUPS 105236 WITH SCORE 105351.591
AT ITER 2886 NEW BEST:: SOT 254893 SOS 115525 HAS SOPS 115525 HAS SOUS 105170 HAS SOUPS 105170 WITH SCORE 105285.525
AT ITER 2899 NEW BEST:: SOT 254893 SOS 115468 HAS SOPS 115468 HAS SOUS 105170 HAS SOUPS 105170 WITH SCORE 105285.468
AT ITER 2903 NEW BEST:: SOT 254889 SOS 115448 HAS SOPS 115448 HAS SOUS 105098 HAS SOUPS 105098 WITH SCORE 105213.448
AT ITER 2914 NEW BEST:: SOT 254876 SOS 115435 HAS SOPS 115435 HAS SOUS 105085 HAS SOUPS 105085 WITH SCORE 105200.435
AT ITER 2919 NEW BEST:: SOT 254743 SOS 115202 HAS SOPS 115202 HAS SOUS 104852 HAS SOUPS 104852 WITH SCORE 104967.202
AT ITER 2929 NEW BEST:: SOT 254660 SOS 115096 HAS SOPS 115096 HAS SOUS 104746 HAS SOUPS 104746 WITH SCORE 104861.096
AT ITER 2931 NEW BEST:: SOT 254622 SOS 115047 HAS SOPS 115047 HAS SOUS 104697 HAS SOUPS 104697 WITH SCORE 104812.047
AT ITER 2936 NEW BEST:: SOT 254586 SOS 115042 HAS SOPS 115042 HAS SOUS 104692 HAS SOUPS 104692 WITH SCORE 104807.042
AT ITER 2945 NEW BEST:: SOT 254536 SOS 114992 HAS SOPS 114992 HAS SOUS 104488 HAS SOUPS 104488 WITH SCORE 104602.992
AT ITER 2953 NEW BEST:: SOT 254536 SOS 114898 HAS SOPS 114898 HAS SOUS 104394 HAS SOUPS 104394 WITH SCORE 104508.898
AT ITER 2958 NEW BEST:: SOT 254512 SOS 114794 HAS SOPS 114794 HAS SOUS 104290 HAS SOUPS 104290 WITH SCORE 104404.794
AT ITER 2962 NEW BEST:: SOT 254437 SOS 114573 HAS SOPS 114573 HAS SOUS 104069 HAS SOUPS 104069 WITH SCORE 104183.573
AT ITER 2965 NEW BEST:: SOT 254304 SOS 114568 HAS SOPS 114568 HAS SOUS 104064 HAS SOUPS 104064 WITH SCORE 104178.568
AT ITER 2979 NEW BEST:: SOT 254249 SOS 114500 HAS SOPS 114500 HAS SOUS 103983 HAS SOUPS 103983 WITH SCORE 104097.5
AT ITER 2997 NEW BEST:: SOT 254201 SOS 114452 HAS SOPS 114452 HAS SOUS 103935 HAS SOUPS 103935 WITH SCORE 104049.452
AT ITER 3002 NEW BEST:: SOT 254212 SOS 114445 HAS SOPS 114445 HAS SOUS 103934 HAS SOUPS 103934 WITH SCORE 104048.445
AT ITER 3012 NEW BEST:: SOT 254202 SOS 114435 HAS SOPS 114435 HAS SOUS 103924 HAS SOUPS 103924 WITH SCORE 104038.435
AT ITER 3027 NEW BEST:: SOT 254202 SOS 114321 HAS SOPS 114321 HAS SOUS 103812 HAS SOUPS 103812 WITH SCORE 103926.321
AT ITER 3044 NEW BEST:: SOT 254200 SOS 114317 HAS SOPS 114317 HAS SOUS 103808 HAS SOUPS 103808 WITH SCORE 103922.317
AT ITER 3052 NEW BEST:: SOT 254186 SOS 114301 HAS SOPS 114301 HAS SOUS 103792 HAS SOUPS 103792 WITH SCORE 103906.301
AT ITER 3054 NEW BEST:: SOT 254198 SOS 114313 HAS SOPS 114313 HAS SOUS 103786 HAS SOUPS 103786 WITH SCORE 103900.313
AT ITER 3061 NEW BEST:: SOT 254115 SOS 114084 HAS SOPS 114084 HAS SOUS 103596 HAS SOUPS 103596 WITH SCORE 103710.084
AT ITER 3081 NEW BEST:: SOT 253947 SOS 113900 HAS SOPS 113900 HAS SOUS 103374 HAS SOUPS 103374 WITH SCORE 103487.9
AT ITER 3088 NEW BEST:: SOT 253780 SOS 113955 HAS SOPS 113955 HAS SOUS 103357 HAS SOUPS 103357 WITH SCORE 103470.955
AT ITER 3103 NEW BEST:: SOT 253780 SOS 113927 HAS SOPS 113927 HAS SOUS 103349 HAS SOUPS 103349 WITH SCORE 103462.927
AT ITER 3104 NEW BEST:: SOT 253767 SOS 113861 HAS SOPS 113861 HAS SOUS 103283 HAS SOUPS 103283 WITH SCORE 103396.861
AT ITER 3107 NEW BEST:: SOT 253704 SOS 113687 HAS SOPS 113687 HAS SOUS 103190 HAS SOUPS 103190 WITH SCORE 103303.687
AT ITER 3109 NEW BEST:: SOT 253704 SOS 113181 HAS SOPS 113181 HAS SOUS 102904 HAS SOUPS 102904 WITH SCORE 103017.181
AT ITER 3114 NEW BEST:: SOT 253699 SOS 113145 HAS SOPS 113145 HAS SOUS 102878 HAS SOUPS 102878 WITH SCORE 102991.145
AT ITER 3133 NEW BEST:: SOT 253699 SOS 113133 HAS SOPS 113133 HAS SOUS 102863 HAS SOUPS 102863 WITH SCORE 102976.133
AT ITER 3143 NEW BEST:: SOT 253406 SOS 112847 HAS SOPS 112847 HAS SOUS 102691 HAS SOUPS 102691 WITH SCORE 102803.847
AT ITER 3146 NEW BEST:: SOT 253439 SOS 112724 HAS SOPS 112724 HAS SOUS 102647 HAS SOUPS 102647 WITH SCORE 102759.724
AT ITER 3157 NEW BEST:: SOT 253418 SOS 112676 HAS SOPS 112676 HAS SOUS 102617 HAS SOUPS 102617 WITH SCORE 102729.676
AT ITER 3180 NEW BEST:: SOT 253374 SOS 112588 HAS SOPS 112588 HAS SOUS 102533 HAS SOUPS 102533 WITH SCORE 102645.588
AT ITER 3183 NEW BEST:: SOT 253255 SOS 112413 HAS SOPS 112413 HAS SOUS 102358 HAS SOUPS 102358 WITH SCORE 102470.413
AT ITER 3194 NEW BEST:: SOT 253248 SOS 112379 HAS SOPS 112379 HAS SOUS 102324 HAS SOUPS 102324 WITH SCORE 102436.379
AT ITER 3198 NEW BEST:: SOT 252972 SOS 112103 HAS SOPS 112103 HAS SOUS 102182 HAS SOUPS 102182 WITH SCORE 102294.103
AT ITER 3206 NEW BEST:: SOT 252945 SOS 112076 HAS SOPS 112076 HAS SOUS 102155 HAS SOUPS 102155 WITH SCORE 102267.076
AT ITER 3219 NEW BEST:: SOT 252953 SOS 112066 HAS SOPS 112066 HAS SOUS 102145 HAS SOUPS 102145 WITH SCORE 102257.066
AT ITER 3220 NEW BEST:: SOT 252947 SOS 112048 HAS SOPS 112048 HAS SOUS 102127 HAS SOUPS 102127 WITH SCORE 102239.048
AT ITER 3246 NEW BEST:: SOT 252947 SOS 112164 HAS SOPS 112164 HAS SOUS 102110 HAS SOUPS 102110 WITH SCORE 102222.164
AT ITER 3260 NEW BEST:: SOT 252945 SOS 112164 HAS SOPS 112164 HAS SOUS 102108 HAS SOUPS 102108 WITH SCORE 102220.164
AT ITER 3279 NEW BEST:: SOT 252945 SOS 112139 HAS SOPS 112139 HAS SOUS 102083 HAS SOUPS 102083 WITH SCORE 102195.139
AT ITER 3280 NEW BEST:: SOT 252925 SOS 112099 HAS SOPS 112099 HAS SOUS 102043 HAS SOUPS 102043 WITH SCORE 102155.099
AT ITER 3298 NEW BEST:: SOT 252925 SOS 112094 HAS SOPS 112094 HAS SOUS 102038 HAS SOUPS 102038 WITH SCORE 102150.094
AT ITER 3299 NEW BEST:: SOT 252925 SOS 111779 HAS SOPS 111779 HAS SOUS 102038 HAS SOUPS 102038 WITH SCORE 102149.779
AT ITER 3326 NEW BEST:: SOT 252917 SOS 111730 HAS SOPS 111730 HAS SOUS 101971 HAS SOUPS 101971 WITH SCORE 102082.73
AT ITER 3333 NEW BEST:: SOT 252881 SOS 111694 HAS SOPS 111694 HAS SOUS 101935 HAS SOUPS 101935 WITH SCORE 102046.694
AT ITER 3351 NEW BEST:: SOT 252895 SOS 111671 HAS SOPS 111671 HAS SOUS 101912 HAS SOUPS 101912 WITH SCORE 102023.671
AT ITER 3354 NEW BEST:: SOT 252811 SOS 111583 HAS SOPS 111583 HAS SOUS 101824 HAS SOUPS 101824 WITH SCORE 101935.583
AT ITER 3356 NEW BEST:: SOT 252811 SOS 111605 HAS SOPS 111605 HAS SOUS 101796 HAS SOUPS 101796 WITH SCORE 101907.605
AT ITER 3372 NEW BEST:: SOT 252712 SOS 111487 HAS SOPS 111487 HAS SOUS 101678 HAS SOUPS 101678 WITH SCORE 101789.487
AT ITER 3373 NEW BEST:: SOT 252702 SOS 111477 HAS SOPS 111477 HAS SOUS 101668 HAS SOUPS 101668 WITH SCORE 101779.477
AT ITER 3378 NEW BEST:: SOT 252702 SOS 111407 HAS SOPS 111407 HAS SOUS 101665 HAS SOUPS 101665 WITH SCORE 101776.407
AT ITER 3386 NEW BEST:: SOT 252686 SOS 111223 HAS SOPS 111223 HAS SOUS 101631 HAS SOUPS 101631 WITH SCORE 101742.223
AT ITER 3398 NEW BEST:: SOT 252505 SOS 111042 HAS SOPS 111042 HAS SOUS 101410 HAS SOUPS 101410 WITH SCORE 101521.042
AT ITER 3400 NEW BEST:: SOT 252505 SOS 111011 HAS SOPS 111011 HAS SOUS 101390 HAS SOUPS 101390 WITH SCORE 101501.011
AT ITER 3412 NEW BEST:: SOT 252503 SOS 110994 HAS SOPS 110994 HAS SOUS 101357 HAS SOUPS 101357 WITH SCORE 101467.994
AT ITER 3441 NEW BEST:: SOT 252472 SOS 110745 HAS SOPS 110745 HAS SOUS 101108 HAS SOUPS 101108 WITH SCORE 101218.745
AT ITER 3444 NEW BEST:: SOT 252418 SOS 110673 HAS SOPS 110673 HAS SOUS 101066 HAS SOUPS 101066 WITH SCORE 101176.673
AT ITER 3456 NEW BEST:: SOT 252401 SOS 110639 HAS SOPS 110639 HAS SOUS 101032 HAS SOUPS 101032 WITH SCORE 101142.639
AT ITER 3475 NEW BEST:: SOT 252156 SOS 110612 HAS SOPS 110612 HAS SOUS 101005 HAS SOUPS 101005 WITH SCORE 101115.612
AT ITER 3496 NEW BEST:: SOT 252156 SOS 110456 HAS SOPS 110456 HAS SOUS 101005 HAS SOUPS 101005 WITH SCORE 101115.456
AT ITER 3504 NEW BEST:: SOT 252092 SOS 110404 HAS SOPS 110404 HAS SOUS 100984 HAS SOUPS 100984 WITH SCORE 101094.404
AT ITER 3516 NEW BEST:: SOT 252085 SOS 110275 HAS SOPS 110275 HAS SOUS 100855 HAS SOUPS 100855 WITH SCORE 100965.275
AT ITER 3521 NEW BEST:: SOT 252085 SOS 110235 HAS SOPS 110235 HAS SOUS 100855 HAS SOUPS 100855 WITH SCORE 100965.235
AT ITER 3546 NEW BEST:: SOT 251982 SOS 110132 HAS SOPS 110132 HAS SOUS 100752 HAS SOUPS 100752 WITH SCORE 100862.132
AT ITER 3550 NEW BEST:: SOT 251982 SOS 110124 HAS SOPS 110124 HAS SOUS 100752 HAS SOUPS 100752 WITH SCORE 100862.124
AT ITER 3556 NEW BEST:: SOT 251496 SOS 109336 HAS SOPS 109336 HAS SOUS 99964 HAS SOUPS 99964 WITH SCORE 100073.336
AT ITER 3571 NEW BEST:: SOT 251863 SOS 109438 HAS SOPS 109438 HAS SOUS 99941 HAS SOUPS 99941 WITH SCORE 100050.438
AT ITER 3607 NEW BEST:: SOT 251815 SOS 109393 HAS SOPS 109393 HAS SOUS 99782 HAS SOUPS 99782 WITH SCORE 99891.393
AT ITER 3611 NEW BEST:: SOT 251815 SOS 109392 HAS SOPS 109392 HAS SOUS 99781 HAS SOUPS 99781 WITH SCORE 99890.392
AT ITER 3615 NEW BEST:: SOT 251708 SOS 109285 HAS SOPS 109285 HAS SOUS 99512 HAS SOUPS 99512 WITH SCORE 99621.285
AT ITER 3619 NEW BEST:: SOT 251670 SOS 109277 HAS SOPS 109277 HAS SOUS 99504 HAS SOUPS 99504 WITH SCORE 99613.277
AT ITER 3620 NEW BEST:: SOT 251658 SOS 109265 HAS SOPS 109265 HAS SOUS 99492 HAS SOUPS 99492 WITH SCORE 99601.265
AT ITER 3626 NEW BEST:: SOT 251577 SOS 109201 HAS SOPS 109201 HAS SOUS 99399 HAS SOUPS 99399 WITH SCORE 99508.201
AT ITER 3632 NEW BEST:: SOT 251480 SOS 108814 HAS SOPS 108814 HAS SOUS 99105 HAS SOUPS 99105 WITH SCORE 99213.814
AT ITER 3634 NEW BEST:: SOT 251442 SOS 108776 HAS SOPS 108776 HAS SOUS 99067 HAS SOUPS 99067 WITH SCORE 99175.776
AT ITER 3637 NEW BEST:: SOT 251446 SOS 108222 HAS SOPS 108222 HAS SOUS 98815 HAS SOUPS 98815 WITH SCORE 98923.222
AT ITER 3641 NEW BEST:: SOT 251302 SOS 108078 HAS SOPS 108078 HAS SOUS 98671 HAS SOUPS 98671 WITH SCORE 98779.078
AT ITER 3646 NEW BEST:: SOT 251212 SOS 108160 HAS SOPS 108160 HAS SOUS 98624 HAS SOUPS 98624 WITH SCORE 98732.16
AT ITER 3660 NEW BEST:: SOT 251212 SOS 108160 HAS SOPS 108160 HAS SOUS 98575 HAS SOUPS 98575 WITH SCORE 98683.16
AT ITER 3678 NEW BEST:: SOT 251219 SOS 108086 HAS SOPS 108086 HAS SOUS 98501 HAS SOUPS 98501 WITH SCORE 98609.086
AT ITER 3682 NEW BEST:: SOT 251195 SOS 108062 HAS SOPS 108062 HAS SOUS 98477 HAS SOUPS 98477 WITH SCORE 98585.062
AT ITER 3684 NEW BEST:: SOT 251195 SOS 107946 HAS SOPS 107946 HAS SOUS 98391 HAS SOUPS 98391 WITH SCORE 98498.946
AT ITER 3686 NEW BEST:: SOT 251195 SOS 107884 HAS SOPS 107884 HAS SOUS 98391 HAS SOUPS 98391 WITH SCORE 98498.884
AT ITER 3689 NEW BEST:: SOT 251150 SOS 107809 HAS SOPS 107809 HAS SOUS 98346 HAS SOUPS 98346 WITH SCORE 98453.809
AT ITER 3694 NEW BEST:: SOT 251150 SOS 107815 HAS SOPS 107815 HAS SOUS 98295 HAS SOUPS 98295 WITH SCORE 98402.815
AT ITER 3700 NEW BEST:: SOT 251150 SOS 107815 HAS SOPS 107815 HAS SOUS 98250 HAS SOUPS 98250 WITH SCORE 98357.815
AT ITER 3728 NEW BEST:: SOT 251003 SOS 107625 HAS SOPS 107625 HAS SOUS 98060 HAS SOUPS 98060 WITH SCORE 98167.625
AT ITER 3729 NEW BEST:: SOT 250910 SOS 107512 HAS SOPS 107512 HAS SOUS 97950 HAS SOUPS 97950 WITH SCORE 98057.512
AT ITER 3730 NEW BEST:: SOT 250881 SOS 107483 HAS SOPS 107483 HAS SOUS 97921 HAS SOUPS 97921 WITH SCORE 98028.483
AT ITER 3738 NEW BEST:: SOT 250818 SOS 107418 HAS SOPS 107418 HAS SOUS 97856 HAS SOUPS 97856 WITH SCORE 97963.418
AT ITER 3756 NEW BEST:: SOT 250731 SOS 107331 HAS SOPS 107331 HAS SOUS 97769 HAS SOUPS 97769 WITH SCORE 97876.331
AT ITER 3770 NEW BEST:: SOT 250706 SOS 107306 HAS SOPS 107306 HAS SOUS 97591 HAS SOUPS 97591 WITH SCORE 97698.306
AT ITER 3797 NEW BEST:: SOT 250706 SOS 107135 HAS SOPS 107135 HAS SOUS 97430 HAS SOUPS 97430 WITH SCORE 97537.135
AT ITER 3802 NEW BEST:: SOT 250706 SOS 106883 HAS SOPS 106883 HAS SOUS 97262 HAS SOUPS 97262 WITH SCORE 97368.883
AT ITER 3805 NEW BEST:: SOT 250667 SOS 106903 HAS SOPS 106903 HAS SOUS 97248 HAS SOUPS 97248 WITH SCORE 97354.903
AT ITER 3817 NEW BEST:: SOT 250699 SOS 106868 HAS SOPS 106868 HAS SOUS 97213 HAS SOUPS 97213 WITH SCORE 97319.868
AT ITER 3821 NEW BEST:: SOT 250735 SOS 106774 HAS SOPS 106774 HAS SOUS 97135 HAS SOUPS 97135 WITH SCORE 97241.774
AT ITER 3835 NEW BEST:: SOT 250721 SOS 106753 HAS SOPS 106753 HAS SOUS 97114 HAS SOUPS 97114 WITH SCORE 97220.753
AT ITER 3841 NEW BEST:: SOT 250526 SOS 106575 HAS SOPS 106575 HAS SOUS 96936 HAS SOUPS 96936 WITH SCORE 97042.575
AT ITER 3848 NEW BEST:: SOT 250524 SOS 106573 HAS SOPS 106573 HAS SOUS 96934 HAS SOUPS 96934 WITH SCORE 97040.573
AT ITER 3860 NEW BEST:: SOT 250520 SOS 106565 HAS SOPS 106565 HAS SOUS 96926 HAS SOUPS 96926 WITH SCORE 97032.565
AT ITER 3874 NEW BEST:: SOT 250482 SOS 106562 HAS SOPS 106562 HAS SOUS 96923 HAS SOUPS 96923 WITH SCORE 97029.562
AT ITER 3881 NEW BEST:: SOT 250482 SOS 106330 HAS SOPS 106330 HAS SOUS 96816 HAS SOUPS 96816 WITH SCORE 96922.33
AT ITER 3884 NEW BEST:: SOT 250482 SOS 106298 HAS SOPS 106298 HAS SOUS 96795 HAS SOUPS 96795 WITH SCORE 96901.298
AT ITER 3888 NEW BEST:: SOT 250482 SOS 106292 HAS SOPS 106292 HAS SOUS 96789 HAS SOUPS 96789 WITH SCORE 96895.292
AT ITER 3891 NEW BEST:: SOT 250431 SOS 106283 HAS SOPS 106283 HAS SOUS 96734 HAS SOUPS 96734 WITH SCORE 96840.283
AT ITER 3894 NEW BEST:: SOT 250335 SOS 106015 HAS SOPS 106015 HAS SOUS 96501 HAS SOUPS 96501 WITH SCORE 96607.015
AT ITER 3897 NEW BEST:: SOT 250369 SOS 106049 HAS SOPS 106049 HAS SOUS 96498 HAS SOUPS 96498 WITH SCORE 96604.049
AT ITER 3899 NEW BEST:: SOT 250362 SOS 106042 HAS SOPS 106042 HAS SOUS 96491 HAS SOUPS 96491 WITH SCORE 96597.042
AT ITER 3913 NEW BEST:: SOT 250362 SOS 105815 HAS SOPS 105815 HAS SOUS 96421 HAS SOUPS 96421 WITH SCORE 96526.815
AT ITER 3914 NEW BEST:: SOT 250298 SOS 105632 HAS SOPS 105632 HAS SOUS 96372 HAS SOUPS 96372 WITH SCORE 96477.632
AT ITER 3920 NEW BEST:: SOT 250172 SOS 105471 HAS SOPS 105471 HAS SOUS 96211 HAS SOUPS 96211 WITH SCORE 96316.471
AT ITER 3931 NEW BEST:: SOT 250172 SOS 105435 HAS SOPS 105435 HAS SOUS 96175 HAS SOUPS 96175 WITH SCORE 96280.435
AT ITER 3941 NEW BEST:: SOT 250123 SOS 105372 HAS SOPS 105372 HAS SOUS 96112 HAS SOUPS 96112 WITH SCORE 96217.372
AT ITER 3951 NEW BEST:: SOT 250112 SOS 105361 HAS SOPS 105361 HAS SOUS 96101 HAS SOUPS 96101 WITH SCORE 96206.361
AT ITER 3960 NEW BEST:: SOT 250060 SOS 105264 HAS SOPS 105264 HAS SOUS 96006 HAS SOUPS 96006 WITH SCORE 96111.264
AT ITER 3967 NEW BEST:: SOT 250060 SOS 105264 HAS SOPS 105264 HAS SOUS 95988 HAS SOUPS 95988 WITH SCORE 96093.264
AT ITER 3977 NEW BEST:: SOT 250032 SOS 105236 HAS SOPS 105236 HAS SOUS 95960 HAS SOUPS 95960 WITH SCORE 96065.236
AT ITER 3983 NEW BEST:: SOT 249977 SOS 105188 HAS SOPS 105188 HAS SOUS 95912 HAS SOUPS 95912 WITH SCORE 96017.188
AT ITER 3988 NEW BEST:: SOT 250055 SOS 105080 HAS SOPS 105080 HAS SOUS 95854 HAS SOUPS 95854 WITH SCORE 95959.08
AT ITER 4001 NEW BEST:: SOT 250055 SOS 105080 HAS SOPS 105080 HAS SOUS 95853 HAS SOUPS 95853 WITH SCORE 95958.08
AT ITER 4006 NEW BEST:: SOT 250055 SOS 105075 HAS SOPS 105075 HAS SOUS 95853 HAS SOUPS 95853 WITH SCORE 95958.075
AT ITER 4017 NEW BEST:: SOT 249942 SOS 104915 HAS SOPS 104915 HAS SOUS 95726 HAS SOUPS 95726 WITH SCORE 95830.915
AT ITER 4020 NEW BEST:: SOT 249946 SOS 104892 HAS SOPS 104892 HAS SOUS 95721 HAS SOUPS 95721 WITH SCORE 95825.892
AT ITER 4030 NEW BEST:: SOT 249954 SOS 104855 HAS SOPS 104855 HAS SOUS 95684 HAS SOUPS 95684 WITH SCORE 95788.855
AT ITER 4054 NEW BEST:: SOT 249931 SOS 104804 HAS SOPS 104804 HAS SOUS 95633 HAS SOUPS 95633 WITH SCORE 95737.804
AT ITER 4055 NEW BEST:: SOT 249931 SOS 104800 HAS SOPS 104800 HAS SOUS 95629 HAS SOUPS 95629 WITH SCORE 95733.8
AT ITER 4065 NEW BEST:: SOT 249927 SOS 104796 HAS SOPS 104796 HAS SOUS 95625 HAS SOUPS 95625 WITH SCORE 95729.796
AT ITER 4072 NEW BEST:: SOT 249853 SOS 104722 HAS SOPS 104722 HAS SOUS 95551 HAS SOUPS 95551 WITH SCORE 95655.722
AT ITER 4083 NEW BEST:: SOT 249843 SOS 104648 HAS SOPS 104648 HAS SOUS 95531 HAS SOUPS 95531 WITH SCORE 95635.648
AT ITER 4095 NEW BEST:: SOT 249815 SOS 104615 HAS SOPS 104615 HAS SOUS 95498 HAS SOUPS 95498 WITH SCORE 95602.615
AT ITER 4100 NEW BEST:: SOT 249809 SOS 104609 HAS SOPS 104609 HAS SOUS 95492 HAS SOUPS 95492 WITH SCORE 95596.609
AT ITER 4107 NEW BEST:: SOT 249893 SOS 104693 HAS SOPS 104693 HAS SOUS 95470 HAS SOUPS 95470 WITH SCORE 95574.693
AT ITER 4110 NEW BEST:: SOT 249893 SOS 104687 HAS SOPS 104687 HAS SOUS 95466 HAS SOUPS 95466 WITH SCORE 95570.687
AT ITER 4112 NEW BEST:: SOT 249892 SOS 104686 HAS SOPS 104686 HAS SOUS 95465 HAS SOUPS 95465 WITH SCORE 95569.686
AT ITER 4119 NEW BEST:: SOT 249865 SOS 104659 HAS SOPS 104659 HAS SOUS 95398 HAS SOUPS 95398 WITH SCORE 95502.659
AT ITER 4127 NEW BEST:: SOT 249725 SOS 104379 HAS SOPS 104379 HAS SOUS 95118 HAS SOUPS 95118 WITH SCORE 95222.379
AT ITER 4139 NEW BEST:: SOT 249643 SOS 104297 HAS SOPS 104297 HAS SOUS 95036 HAS SOUPS 95036 WITH SCORE 95140.297
AT ITER 4143 NEW BEST:: SOT 249616 SOS 104270 HAS SOPS 104270 HAS SOUS 95009 HAS SOUPS 95009 WITH SCORE 95113.27
AT ITER 4156 NEW BEST:: SOT 249603 SOS 104229 HAS SOPS 104229 HAS SOUS 94968 HAS SOUPS 94968 WITH SCORE 95072.229
AT ITER 4158 NEW BEST:: SOT 249569 SOS 104304 HAS SOPS 104304 HAS SOUS 94947 HAS SOUPS 94947 WITH SCORE 95051.304
AT ITER 4164 NEW BEST:: SOT 249561 SOS 104296 HAS SOPS 104296 HAS SOUS 94939 HAS SOUPS 94939 WITH SCORE 95043.296
AT ITER 4170 NEW BEST:: SOT 249568 SOS 104285 HAS SOPS 104285 HAS SOUS 94928 HAS SOUPS 94928 WITH SCORE 95032.285
AT ITER 4189 NEW BEST:: SOT 249406 SOS 104123 HAS SOPS 104123 HAS SOUS 94766 HAS SOUPS 94766 WITH SCORE 94870.123
AT ITER 4198 NEW BEST:: SOT 249610 SOS 104215 HAS SOPS 104215 HAS SOUS 94701 HAS SOUPS 94701 WITH SCORE 94805.215
AT ITER 4204 NEW BEST:: SOT 249567 SOS 104145 HAS SOPS 104145 HAS SOUS 94665 HAS SOUPS 94665 WITH SCORE 94769.145
AT ITER 4206 NEW BEST:: SOT 249567 SOS 104065 HAS SOPS 104065 HAS SOUS 94585 HAS SOUPS 94585 WITH SCORE 94689.065
AT ITER 4215 NEW BEST:: SOT 249550 SOS 104048 HAS SOPS 104048 HAS SOUS 94568 HAS SOUPS 94568 WITH SCORE 94672.048
AT ITER 4234 NEW BEST:: SOT 249514 SOS 104001 HAS SOPS 104001 HAS SOUS 94521 HAS SOUPS 94521 WITH SCORE 94625.001
AT ITER 4245 NEW BEST:: SOT 249543 SOS 103977 HAS SOPS 103977 HAS SOUS 94463 HAS SOUPS 94463 WITH SCORE 94566.977
AT ITER 4275 NEW BEST:: SOT 249543 SOS 103910 HAS SOPS 103910 HAS SOUS 94453 HAS SOUPS 94453 WITH SCORE 94556.91
AT ITER 4283 NEW BEST:: SOT 249524 SOS 103885 HAS SOPS 103885 HAS SOUS 94432 HAS SOUPS 94432 WITH SCORE 94535.885
AT ITER 4288 NEW BEST:: SOT 249477 SOS 103783 HAS SOPS 103783 HAS SOUS 94338 HAS SOUPS 94338 WITH SCORE 94441.783
AT ITER 4295 NEW BEST:: SOT 249459 SOS 103707 HAS SOPS 103707 HAS SOUS 94314 HAS SOUPS 94314 WITH SCORE 94417.707
AT ITER 4300 NEW BEST:: SOT 249458 SOS 103706 HAS SOPS 103706 HAS SOUS 94313 HAS SOUPS 94313 WITH SCORE 94416.706
AT ITER 4314 NEW BEST:: SOT 249458 SOS 103675 HAS SOPS 103675 HAS SOUS 94282 HAS SOUPS 94282 WITH SCORE 94385.675
AT ITER 4330 NEW BEST:: SOT 249467 SOS 103684 HAS SOPS 103684 HAS SOUS 94270 HAS SOUPS 94270 WITH SCORE 94373.684
AT ITER 4344 NEW BEST:: SOT 249375 SOS 103587 HAS SOPS 103587 HAS SOUS 94173 HAS SOUPS 94173 WITH SCORE 94276.587
AT ITER 4346 NEW BEST:: SOT 249375 SOS 103517 HAS SOPS 103517 HAS SOUS 94021 HAS SOUPS 94021 WITH SCORE 94124.517
AT ITER 4350 NEW BEST:: SOT 249327 SOS 103457 HAS SOPS 103457 HAS SOUS 93951 HAS SOUPS 93951 WITH SCORE 94054.457
AT ITER 4356 NEW BEST:: SOT 249316 SOS 103446 HAS SOPS 103446 HAS SOUS 93868 HAS SOUPS 93868 WITH SCORE 93971.446
AT ITER 4369 NEW BEST:: SOT 249283 SOS 103413 HAS SOPS 103413 HAS SOUS 93802 HAS SOUPS 93802 WITH SCORE 93905.413
AT ITER 4376 NEW BEST:: SOT 249300 SOS 103406 HAS SOPS 103406 HAS SOUS 93687 HAS SOUPS 93687 WITH SCORE 93790.406
AT ITER 4405 NEW BEST:: SOT 249496 SOS 103602 HAS SOPS 103602 HAS SOUS 93674 HAS SOUPS 93674 WITH SCORE 93777.602
AT ITER 4419 NEW BEST:: SOT 249480 SOS 103584 HAS SOPS 103584 HAS SOUS 93645 HAS SOUPS 93645 WITH SCORE 93748.584
AT ITER 4431 NEW BEST:: SOT 249451 SOS 103529 HAS SOPS 103529 HAS SOUS 93587 HAS SOUPS 93587 WITH SCORE 93690.529
AT ITER 4435 NEW BEST:: SOT 249402 SOS 103465 HAS SOPS 103465 HAS SOUS 93535 HAS SOUPS 93535 WITH SCORE 93638.465
AT ITER 4452 NEW BEST:: SOT 249402 SOS 103421 HAS SOPS 103421 HAS SOUS 93491 HAS SOUPS 93491 WITH SCORE 93594.421
AT ITER 4468 NEW BEST:: SOT 249370 SOS 103293 HAS SOPS 103293 HAS SOUS 93427 HAS SOUPS 93427 WITH SCORE 93530.293
AT ITER 4469 NEW BEST:: SOT 249355 SOS 103344 HAS SOPS 103344 HAS SOUS 93416 HAS SOUPS 93416 WITH SCORE 93519.344
AT ITER 4482 NEW BEST:: SOT 249319 SOS 103278 HAS SOPS 103278 HAS SOUS 93380 HAS SOUPS 93380 WITH SCORE 93483.278
AT ITER 4485 NEW BEST:: SOT 249318 SOS 103249 HAS SOPS 103249 HAS SOUS 93374 HAS SOUPS 93374 WITH SCORE 93477.249
AT ITER 4487 NEW BEST:: SOT 249230 SOS 103014 HAS SOPS 103014 HAS SOUS 93139 HAS SOUPS 93139 WITH SCORE 93242.014
AT ITER 4492 NEW BEST:: SOT 249230 SOS 102998 HAS SOPS 102998 HAS SOUS 93123 HAS SOUPS 93123 WITH SCORE 93225.998
AT ITER 4496 NEW BEST:: SOT 249206 SOS 102974 HAS SOPS 102974 HAS SOUS 93100 HAS SOUPS 93100 WITH SCORE 93202.974
AT ITER 4518 NEW BEST:: SOT 249160 SOS 102968 HAS SOPS 102968 HAS SOUS 93008 HAS SOUPS 93008 WITH SCORE 93110.968
AT ITER 4531 NEW BEST:: SOT 249064 SOS 102886 HAS SOPS 102886 HAS SOUS 92674 HAS SOUPS 92674 WITH SCORE 92776.886
AT ITER 4532 NEW BEST:: SOT 249023 SOS 102790 HAS SOPS 102790 HAS SOUS 92578 HAS SOUPS 92578 WITH SCORE 92680.79
AT ITER 4534 NEW BEST:: SOT 248935 SOS 102610 HAS SOPS 102610 HAS SOUS 92398 HAS SOUPS 92398 WITH SCORE 92500.61
AT ITER 4548 NEW BEST:: SOT 248958 SOS 102763 HAS SOPS 102763 HAS SOUS 92354 HAS SOUPS 92354 WITH SCORE 92456.763
AT ITER 4579 NEW BEST:: SOT 248958 SOS 102675 HAS SOPS 102675 HAS SOUS 92310 HAS SOUPS 92310 WITH SCORE 92412.675
AT ITER 4596 NEW BEST:: SOT 248958 SOS 102649 HAS SOPS 102649 HAS SOUS 92288 HAS SOUPS 92288 WITH SCORE 92390.649
AT ITER 4602 NEW BEST:: SOT 248944 SOS 102635 HAS SOPS 102635 HAS SOUS 92274 HAS SOUPS 92274 WITH SCORE 92376.635
AT ITER 4606 NEW BEST:: SOT 248912 SOS 102603 HAS SOPS 102603 HAS SOUS 92242 HAS SOUPS 92242 WITH SCORE 92344.603
AT ITER 4624 NEW BEST:: SOT 248880 SOS 102478 HAS SOPS 102478 HAS SOUS 92161 HAS SOUPS 92161 WITH SCORE 92263.478
AT ITER 4626 NEW BEST:: SOT 248880 SOS 102476 HAS SOPS 102476 HAS SOUS 92161 HAS SOUPS 92161 WITH SCORE 92263.476
AT ITER 4634 NEW BEST:: SOT 248738 SOS 102440 HAS SOPS 102440 HAS SOUS 92125 HAS SOUPS 92125 WITH SCORE 92227.44
AT ITER 4636 NEW BEST:: SOT 248738 SOS 102326 HAS SOPS 102326 HAS SOUS 92051 HAS SOUPS 92051 WITH SCORE 92153.326
AT ITER 4668 NEW BEST:: SOT 248718 SOS 102272 HAS SOPS 102272 HAS SOUS 91997 HAS SOUPS 91997 WITH SCORE 92099.272
AT ITER 4672 NEW BEST:: SOT 248710 SOS 102178 HAS SOPS 102178 HAS SOUS 91906 HAS SOUPS 91906 WITH SCORE 92008.178
AT ITER 4682 NEW BEST:: SOT 248604 SOS 101966 HAS SOPS 101966 HAS SOUS 91694 HAS SOUPS 91694 WITH SCORE 91795.966
AT ITER 4688 NEW BEST:: SOT 248553 SOS 101915 HAS SOPS 101915 HAS SOUS 91643 HAS SOUPS 91643 WITH SCORE 91744.915
AT ITER 4694 NEW BEST:: SOT 248525 SOS 101845 HAS SOPS 101845 HAS SOUS 91587 HAS SOUPS 91587 WITH SCORE 91688.845
AT ITER 4695 NEW BEST:: SOT 248266 SOS 101563 HAS SOPS 101563 HAS SOUS 91305 HAS SOUPS 91305 WITH SCORE 91406.563
AT ITER 4700 NEW BEST:: SOT 248245 SOS 101542 HAS SOPS 101542 HAS SOUS 91262 HAS SOUPS 91262 WITH SCORE 91363.542
AT ITER 4725 NEW BEST:: SOT 248206 SOS 100982 HAS SOPS 100982 HAS SOUS 91003 HAS SOUPS 91003 WITH SCORE 91103.982
AT ITER 4732 NEW BEST:: SOT 248200 SOS 100977 HAS SOPS 100977 HAS SOUS 90998 HAS SOUPS 90998 WITH SCORE 91098.977
AT ITER 4746 NEW BEST:: SOT 248326 SOS 100440 HAS SOPS 100440 HAS SOUS 90918 HAS SOUPS 90918 WITH SCORE 91018.44
AT ITER 4749 NEW BEST:: SOT 248326 SOS 100378 HAS SOPS 100378 HAS SOUS 90856 HAS SOUPS 90856 WITH SCORE 90956.378
AT ITER 4760 NEW BEST:: SOT 248326 SOS 100300 HAS SOPS 100300 HAS SOUS 90799 HAS SOUPS 90799 WITH SCORE 90899.3
AT ITER 4769 NEW BEST:: SOT 248311 SOS 100285 HAS SOPS 100285 HAS SOUS 90799 HAS SOUPS 90799 WITH SCORE 90899.285
AT ITER 4773 NEW BEST:: SOT 248276 SOS 100232 HAS SOPS 100232 HAS SOUS 90746 HAS SOUPS 90746 WITH SCORE 90846.232
AT ITER 4782 NEW BEST:: SOT 248176 SOS 100096 HAS SOPS 100096 HAS SOUS 90646 HAS SOUPS 90646 WITH SCORE 90746.096
AT ITER 4785 NEW BEST:: SOT 248176 SOS 100087 HAS SOPS 100087 HAS SOUS 90646 HAS SOUPS 90646 WITH SCORE 90746.087
AT ITER 4791 NEW BEST:: SOT 248120 SOS 100031 HAS SOPS 100031 HAS SOUS 90588 HAS SOUPS 90588 WITH SCORE 90688.031
AT ITER 4805 NEW BEST:: SOT 247959 SOS 99917 HAS SOPS 99917 HAS SOUS 90474 HAS SOUPS 90474 WITH SCORE 90573.917
AT ITER 4813 NEW BEST:: SOT 247769 SOS 99672 HAS SOPS 99672 HAS SOUS 90229 HAS SOUPS 90229 WITH SCORE 90328.672
AT ITER 4824 NEW BEST:: SOT 247794 SOS 99550 HAS SOPS 99550 HAS SOUS 90124 HAS SOUPS 90124 WITH SCORE 90223.55
AT ITER 4826 NEW BEST:: SOT 247769 SOS 99525 HAS SOPS 99525 HAS SOUS 90074 HAS SOUPS 90074 WITH SCORE 90173.525
AT ITER 4831 NEW BEST:: SOT 247682 SOS 99521 HAS SOPS 99521 HAS SOUS 90070 HAS SOUPS 90070 WITH SCORE 90169.521
AT ITER 4842 NEW BEST:: SOT 247655 SOS 99448 HAS SOPS 99448 HAS SOUS 90038 HAS SOUPS 90038 WITH SCORE 90137.448
AT ITER 4854 NEW BEST:: SOT 247655 SOS 99267 HAS SOPS 99267 HAS SOUS 89937 HAS SOUPS 89937 WITH SCORE 90036.267
AT ITER 4863 NEW BEST:: SOT 247603 SOS 99211 HAS SOPS 99211 HAS SOUS 89881 HAS SOUPS 89881 WITH SCORE 89980.211
AT ITER 4868 NEW BEST:: SOT 247591 SOS 99199 HAS SOPS 99199 HAS SOUS 89869 HAS SOUPS 89869 WITH SCORE 89968.199
AT ITER 4870 NEW BEST:: SOT 247523 SOS 99096 HAS SOPS 99096 HAS SOUS 89766 HAS SOUPS 89766 WITH SCORE 89865.096
AT ITER 4873 NEW BEST:: SOT 247508 SOS 99076 HAS SOPS 99076 HAS SOUS 89746 HAS SOUPS 89746 WITH SCORE 89845.076
AT ITER 4884 NEW BEST:: SOT 247475 SOS 99009 HAS SOPS 99009 HAS SOUS 89679 HAS SOUPS 89679 WITH SCORE 89778.009
AT ITER 4895 NEW BEST:: SOT 247476 SOS 99010 HAS SOPS 99010 HAS SOUS 89665 HAS SOUPS 89665 WITH SCORE 89764.01
AT ITER 4901 NEW BEST:: SOT 247476 SOS 99006 HAS SOPS 99006 HAS SOUS 89651 HAS SOUPS 89651 WITH SCORE 89750.006
AT ITER 4903 NEW BEST:: SOT 247471 SOS 98967 HAS SOPS 98967 HAS SOUS 89641 HAS SOUPS 89641 WITH SCORE 89739.967
AT ITER 4907 NEW BEST:: SOT 247396 SOS 98843 HAS SOPS 98843 HAS SOUS 89528 HAS SOUPS 89528 WITH SCORE 89626.843
AT ITER 4919 NEW BEST:: SOT 247365 SOS 98836 HAS SOPS 98836 HAS SOUS 89521 HAS SOUPS 89521 WITH SCORE 89619.836
AT ITER 4922 NEW BEST:: SOT 247384 SOS 98831 HAS SOPS 98831 HAS SOUS 89516 HAS SOUPS 89516 WITH SCORE 89614.831
AT ITER 4932 NEW BEST:: SOT 247198 SOS 98471 HAS SOPS 98471 HAS SOUS 89230 HAS SOUPS 89230 WITH SCORE 89328.471
AT ITER 4947 NEW BEST:: SOT 247174 SOS 98428 HAS SOPS 98428 HAS SOUS 89192 HAS SOUPS 89192 WITH SCORE 89290.428
AT ITER 4948 NEW BEST:: SOT 247174 SOS 97889 HAS SOPS 97889 HAS SOUS 89072 HAS SOUPS 89072 WITH SCORE 89169.889
AT ITER 4955 NEW BEST:: SOT 246952 SOS 97564 HAS SOPS 97564 HAS SOUS 88774 HAS SOUPS 88774 WITH SCORE 88871.564
AT ITER 4976 NEW BEST:: SOT 246914 SOS 97526 HAS SOPS 97526 HAS SOUS 88736 HAS SOUPS 88736 WITH SCORE 88833.526
AT ITER 4979 NEW BEST:: SOT 246901 SOS 97475 HAS SOPS 97475 HAS SOUS 88710 HAS SOUPS 88710 WITH SCORE 88807.475
AT ITER 4985 NEW BEST:: SOT 246891 SOS 97425 HAS SOPS 97425 HAS SOUS 88694 HAS SOUPS 88694 WITH SCORE 88791.425
AT ITER 4992 NEW BEST:: SOT 246913 SOS 97428 HAS SOPS 97428 HAS SOUS 88689 HAS SOUPS 88689 WITH SCORE 88786.428
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-00 ( ( (AX( ( potential( ( 1 ) <= (tk(P189)) ) | potential( (tk(P180)) <= (tk(P125)) ) ))) & (! (EX( potential( (tk(P568)) <= (tk(P533)) )))) ) | ( ( (EF(potential( ( 2 ) <= (tk(P393)) ))) & potential( (tk(P559)) <= (tk(P541)) ) ) | potential( ( 1 ) <= (tk(P362)) ) ) )
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-01 (EU( (! ( potential( ( 3 ) <= (tk(P716)) ) | potential( (tk(P454)) <= (tk(P726)) ) )),(EF(potential( ( 1 ) <= (tk(P9)) ))) ))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-02 ( (AG( (EG( potential( (tk(P390)) <= (tk(P531)) ))))) & (EG( potential( (tk(P364)) <= (tk(P144)) ))) )
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-03 (EF(potential( ( 3 ) <= (tk(P279)) )))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-04 ( (EU( (! potential( ( 3 ) <= (tk(P76)) )),potential( ( 1 ) <= (tk(P569)) ) )) | (AG( (AG( potential( (tk(P369)) <= (tk(P207)) ))))) )
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-05 (! (EF((! ( potential( (tk(P60)) <= (tk(P58)) ) | potential( (tk(P27)) <= (tk(P10)) ) )))))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-06 (AG( (EF(potential( (tk(P674)) <= (tk(P681)) )))))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-07 (EF(potential( ( 1 ) <= (tk(P489)) )))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-08 (AG( (EU( potential( (tk(P473)) <= (tk(P415)) ),potential( ( 1 ) <= (tk(P417)) ) ))))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-09 ( ( (AG( (! potential( ( 1 ) <= (tk(P7)) )))) | (! (EF(potential( ( 2 ) <= (tk(P186)) )))) ) & (! (AF(( potential( (tk(P143)) <= (tk(P542)) ) & potential( ( 3 ) <= (tk(P719)) ) )))) )
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-10 (AF((EU( potential( (tk(P659)) <= (tk(P378)) ),potential( ( 1 ) <= (tk(P255)) ) ))))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-11 (EF(potential( ( 3 ) <= (tk(P486)) )))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-12 (EU( ( potential( (tk(P716)) <= (tk(P431)) ) | ( potential( ( 3 ) <= (tk(P459)) ) & potential( (tk(P263)) <= (tk(P374)) ) ) ),( ( potential( ( 1 ) <= (tk(P321)) ) & potential( ( 3 ) <= (tk(P335)) ) ) & potential( (tk(P205)) <= (tk(P397)) ) ) ))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-13 (EU( ( ( potential( ( 3 ) <= (tk(P617)) ) | potential( ( 3 ) <= (tk(P93)) ) ) & ( potential( (tk(P428)) <= (tk(P702)) ) & potential( ( 3 ) <= (tk(P365)) ) ) ),(EF(potential( ( 2 ) <= (tk(P552)) ))) ))
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-14 ( ( (AG( potential( (tk(P145)) <= (tk(P635)) ))) & ( potential( (tk(P213)) <= (tk(P591)) ) & (AG( potential( (tk(P626)) <= (tk(P353)) ))) ) ) & (EU( (! potential( ( 2 ) <= (tk(P316)) )),( potential( (tk(P59)) <= (tk(P625)) ) | potential( (tk(P568)) <= (tk(P218)) ) ) )) )
PROPERTY: ShieldPPPt-PT-030A-CTLCardinality-15 (EU( (AG( potential( (tk(P193)) <= (tk(P697)) ))),( (! potential( (tk(P153)) <= (tk(P567)) )) & potential( ( 3 ) <= (tk(P344)) ) ) ))

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="ShieldPPPt-PT-030A"
export BK_EXAMINATION="CTLCardinality"
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 ShieldPPPt-PT-030A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469800683"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-030A.tgz
mv ShieldPPPt-PT-030A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;