About the Execution of smart for Parking-PT-432
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.120 | 3600000.00 | 3600060.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250700540.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-432, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700540
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.7K Apr 11 23:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 11 23:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 10 22:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 07:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 07:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 12:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 12:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 192K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Parking-PT-432-CTLFireability-00
FORMULA_NAME Parking-PT-432-CTLFireability-01
FORMULA_NAME Parking-PT-432-CTLFireability-02
FORMULA_NAME Parking-PT-432-CTLFireability-03
FORMULA_NAME Parking-PT-432-CTLFireability-04
FORMULA_NAME Parking-PT-432-CTLFireability-05
FORMULA_NAME Parking-PT-432-CTLFireability-06
FORMULA_NAME Parking-PT-432-CTLFireability-07
FORMULA_NAME Parking-PT-432-CTLFireability-08
FORMULA_NAME Parking-PT-432-CTLFireability-09
FORMULA_NAME Parking-PT-432-CTLFireability-10
FORMULA_NAME Parking-PT-432-CTLFireability-11
FORMULA_NAME Parking-PT-432-CTLFireability-12
FORMULA_NAME Parking-PT-432-CTLFireability-13
FORMULA_NAME Parking-PT-432-CTLFireability-14
FORMULA_NAME Parking-PT-432-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589645122468
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 432
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 529 places, 785 transitions, 2329 arcs.
AT ITER 0 NEW BEST:: SOT 241005 SOS 171690 HAS SOPS 171690 HAS SOUS 112047 HAS SOUPS 112047 WITH SCORE 112218.69
AT ITER 5 NEW BEST:: SOT 240889 SOS 170912 HAS SOPS 170912 HAS SOUS 112039 HAS SOUPS 112039 WITH SCORE 112209.912
AT ITER 10 NEW BEST:: SOT 240889 SOS 170911 HAS SOPS 170911 HAS SOUS 112038 HAS SOUPS 112038 WITH SCORE 112208.911
AT ITER 11 NEW BEST:: SOT 240889 SOS 170679 HAS SOPS 170679 HAS SOUS 111923 HAS SOUPS 111923 WITH SCORE 112093.679
AT ITER 12 NEW BEST:: SOT 240889 SOS 170319 HAS SOPS 170319 HAS SOUS 111782 HAS SOUPS 111782 WITH SCORE 111952.319
AT ITER 15 NEW BEST:: SOT 240889 SOS 169880 HAS SOPS 169880 HAS SOUS 111668 HAS SOUPS 111668 WITH SCORE 111837.88
AT ITER 16 NEW BEST:: SOT 240770 SOS 169761 HAS SOPS 169761 HAS SOUS 111630 HAS SOUPS 111630 WITH SCORE 111799.761
AT ITER 17 NEW BEST:: SOT 240001 SOS 169115 HAS SOPS 168992 HAS SOUS 111064 HAS SOUPS 110941 WITH SCORE 111110.115
AT ITER 19 NEW BEST:: SOT 239270 SOS 168384 HAS SOPS 168261 HAS SOUS 110514 HAS SOUPS 110391 WITH SCORE 110559.384
AT ITER 22 NEW BEST:: SOT 239266 SOS 168382 HAS SOPS 168259 HAS SOUS 110512 HAS SOUPS 110389 WITH SCORE 110557.382
AT ITER 23 NEW BEST:: SOT 239266 SOS 168382 HAS SOPS 168259 HAS SOUS 110346 HAS SOUPS 110223 WITH SCORE 110391.382
AT ITER 24 NEW BEST:: SOT 238877 SOS 167920 HAS SOPS 167797 HAS SOUS 109932 HAS SOUPS 109809 WITH SCORE 109976.92
AT ITER 25 NEW BEST:: SOT 238877 SOS 163951 HAS SOPS 163828 HAS SOUS 109575 HAS SOUPS 109452 WITH SCORE 109615.951
AT ITER 26 NEW BEST:: SOT 238877 SOS 163951 HAS SOPS 163828 HAS SOUS 109565 HAS SOUPS 109442 WITH SCORE 109605.951
AT ITER 32 NEW BEST:: SOT 238356 SOS 162791 HAS SOPS 162668 HAS SOUS 108849 HAS SOUPS 108726 WITH SCORE 108888.791
AT ITER 34 NEW BEST:: SOT 238356 SOS 158654 HAS SOPS 158531 HAS SOUS 108537 HAS SOUPS 108414 WITH SCORE 108572.654
AT ITER 36 NEW BEST:: SOT 238356 SOS 158495 HAS SOPS 158372 HAS SOUS 108431 HAS SOUPS 108308 WITH SCORE 108466.495
AT ITER 37 NEW BEST:: SOT 237815 SOS 157982 HAS SOPS 157859 HAS SOUS 107996 HAS SOUPS 107873 WITH SCORE 108030.982
AT ITER 39 NEW BEST:: SOT 237095 SOS 157445 HAS SOPS 157196 HAS SOUS 107781 HAS SOUPS 107532 WITH SCORE 107689.445
AT ITER 40 NEW BEST:: SOT 236746 SOS 157095 HAS SOPS 156846 HAS SOUS 107503 HAS SOUPS 107254 WITH SCORE 107411.095
AT ITER 43 NEW BEST:: SOT 236745 SOS 156860 HAS SOPS 156727 HAS SOUS 107385 HAS SOUPS 107252 WITH SCORE 107408.86
AT ITER 44 NEW BEST:: SOT 236661 SOS 156776 HAS SOPS 156643 HAS SOUS 107301 HAS SOUPS 107168 WITH SCORE 107324.776
AT ITER 47 NEW BEST:: SOT 236501 SOS 156616 HAS SOPS 156483 HAS SOUS 107138 HAS SOUPS 107005 WITH SCORE 107161.616
AT ITER 48 NEW BEST:: SOT 236367 SOS 156750 HAS SOPS 156425 HAS SOUS 107154 HAS SOUPS 106829 WITH SCORE 106985.75
AT ITER 49 NEW BEST:: SOT 236367 SOS 156733 HAS SOPS 156391 HAS SOUS 107154 HAS SOUPS 106812 WITH SCORE 106968.733
AT ITER 58 NEW BEST:: SOT 236257 SOS 156132 HAS SOPS 155790 HAS SOUS 106920 HAS SOUPS 106578 WITH SCORE 106734.132
AT ITER 63 NEW BEST:: SOT 235761 SOS 156380 HAS SOPS 156038 HAS SOUS 106916 HAS SOUPS 106574 WITH SCORE 106730.38
AT ITER 64 NEW BEST:: SOT 234812 SOS 154899 HAS SOPS 154418 HAS SOUS 106011 HAS SOUPS 105530 WITH SCORE 105684.899
AT ITER 67 NEW BEST:: SOT 234378 SOS 154464 HAS SOPS 153983 HAS SOUS 105709 HAS SOUPS 105228 WITH SCORE 105382.464
AT ITER 69 NEW BEST:: SOT 233634 SOS 153355 HAS SOPS 152658 HAS SOUS 105116 HAS SOUPS 104419 WITH SCORE 104572.355
AT ITER 72 NEW BEST:: SOT 233634 SOS 153215 HAS SOPS 152518 HAS SOUS 105046 HAS SOUPS 104349 WITH SCORE 104502.215
AT ITER 76 NEW BEST:: SOT 237489 SOS 156792 HAS SOPS 155708 HAS SOUS 105211 HAS SOUPS 104127 WITH SCORE 104283.792
AT ITER 81 NEW BEST:: SOT 236951 SOS 156253 HAS SOPS 155169 HAS SOUS 104812 HAS SOUPS 103728 WITH SCORE 103884.253
AT ITER 83 NEW BEST:: SOT 236930 SOS 156232 HAS SOPS 155148 HAS SOUS 104791 HAS SOUPS 103707 WITH SCORE 103863.232
AT ITER 84 NEW BEST:: SOT 236930 SOS 156212 HAS SOPS 155128 HAS SOUS 104791 HAS SOUPS 103707 WITH SCORE 103863.212
AT ITER 86 NEW BEST:: SOT 236124 SOS 155033 HAS SOPS 153876 HAS SOUS 104020 HAS SOUPS 102863 WITH SCORE 103018.033
AT ITER 89 NEW BEST:: SOT 236200 SOS 154960 HAS SOPS 153803 HAS SOUS 103976 HAS SOUPS 102819 WITH SCORE 102973.96
AT ITER 91 NEW BEST:: SOT 236200 SOS 154684 HAS SOPS 153527 HAS SOUS 103792 HAS SOUPS 102635 WITH SCORE 102789.684
AT ITER 92 NEW BEST:: SOT 236046 SOS 154529 HAS SOPS 153372 HAS SOUS 103677 HAS SOUPS 102520 WITH SCORE 102674.529
AT ITER 93 NEW BEST:: SOT 235451 SOS 154335 HAS SOPS 152951 HAS SOUS 103471 HAS SOUPS 102087 WITH SCORE 102241.335
AT ITER 94 NEW BEST:: SOT 235424 SOS 154308 HAS SOPS 152924 HAS SOUS 103444 HAS SOUPS 102060 WITH SCORE 102214.308
AT ITER 96 NEW BEST:: SOT 234914 SOS 153881 HAS SOPS 152414 HAS SOUS 103063 HAS SOUPS 101596 WITH SCORE 101749.881
AT ITER 97 NEW BEST:: SOT 234913 SOS 153519 HAS SOPS 152052 HAS SOUS 102912 HAS SOUPS 101445 WITH SCORE 101598.519
AT ITER 101 NEW BEST:: SOT 234159 SOS 152765 HAS SOPS 151298 HAS SOUS 102349 HAS SOUPS 100882 WITH SCORE 101034.765
AT ITER 109 NEW BEST:: SOT 233855 SOS 152461 HAS SOPS 150994 HAS SOUS 102173 HAS SOUPS 100706 WITH SCORE 100858.461
AT ITER 110 NEW BEST:: SOT 233854 SOS 152460 HAS SOPS 150993 HAS SOUS 102172 HAS SOUPS 100705 WITH SCORE 100857.46
AT ITER 115 NEW BEST:: SOT 233293 SOS 151946 HAS SOPS 150468 HAS SOUS 101555 HAS SOUPS 100082 WITH SCORE 100233.946
AT ITER 119 NEW BEST:: SOT 233293 SOS 151853 HAS SOPS 150375 HAS SOUS 101542 HAS SOUPS 100069 WITH SCORE 100220.853
AT ITER 124 NEW BEST:: SOT 232754 SOS 151314 HAS SOPS 149836 HAS SOUS 101003 HAS SOUPS 99530 WITH SCORE 99681.314
AT ITER 127 NEW BEST:: SOT 232754 SOS 150877 HAS SOPS 149399 HAS SOUS 100885 HAS SOUPS 99412 WITH SCORE 99562.877
AT ITER 129 NEW BEST:: SOT 232325 SOS 150448 HAS SOPS 148970 HAS SOUS 100574 HAS SOUPS 99101 WITH SCORE 99251.448
AT ITER 134 NEW BEST:: SOT 232239 SOS 150361 HAS SOPS 148883 HAS SOUS 100529 HAS SOUPS 99056 WITH SCORE 99206.361
AT ITER 135 NEW BEST:: SOT 231707 SOS 149214 HAS SOPS 147736 HAS SOUS 99914 HAS SOUPS 98441 WITH SCORE 98590.214
AT ITER 136 NEW BEST:: SOT 228777 SOS 146506 HAS SOPS 145027 HAS SOUS 98065 HAS SOUPS 96591 WITH SCORE 96737.506
AT ITER 140 NEW BEST:: SOT 228777 SOS 146506 HAS SOPS 145027 HAS SOUS 98064 HAS SOUPS 96590 WITH SCORE 96736.506
AT ITER 142 NEW BEST:: SOT 228730 SOS 146459 HAS SOPS 144980 HAS SOUS 98011 HAS SOUPS 96537 WITH SCORE 96683.459
AT ITER 146 NEW BEST:: SOT 228730 SOS 146432 HAS SOPS 144953 HAS SOUS 97993 HAS SOUPS 96519 WITH SCORE 96665.432
AT ITER 147 NEW BEST:: SOT 228640 SOS 146342 HAS SOPS 144863 HAS SOUS 97903 HAS SOUPS 96429 WITH SCORE 96575.342
AT ITER 150 NEW BEST:: SOT 228640 SOS 146342 HAS SOPS 144863 HAS SOUS 97886 HAS SOUPS 96412 WITH SCORE 96558.342
AT ITER 151 NEW BEST:: SOT 228638 SOS 146245 HAS SOPS 144766 HAS SOUS 97884 HAS SOUPS 96410 WITH SCORE 96556.245
AT ITER 153 NEW BEST:: SOT 228121 SOS 145823 HAS SOPS 144196 HAS SOUS 97681 HAS SOUPS 96059 WITH SCORE 96204.823
AT ITER 154 NEW BEST:: SOT 227639 SOS 145245 HAS SOPS 143618 HAS SOUS 97073 HAS SOUPS 95451 WITH SCORE 95596.245
AT ITER 156 NEW BEST:: SOT 225678 SOS 143256 HAS SOPS 141629 HAS SOUS 95718 HAS SOUPS 94096 WITH SCORE 94239.256
AT ITER 157 NEW BEST:: SOT 225460 SOS 143037 HAS SOPS 141410 HAS SOUS 95583 HAS SOUPS 93961 WITH SCORE 94104.037
AT ITER 159 NEW BEST:: SOT 225253 SOS 142932 HAS SOPS 141196 HAS SOUS 95478 HAS SOUPS 93747 WITH SCORE 93889.932
AT ITER 160 NEW BEST:: SOT 225253 SOS 142593 HAS SOPS 140857 HAS SOUS 95252 HAS SOUPS 93521 WITH SCORE 93663.593
AT ITER 170 NEW BEST:: SOT 224928 SOS 142458 HAS SOPS 140532 HAS SOUS 95369 HAS SOUPS 93448 WITH SCORE 93590.458
AT ITER 171 NEW BEST:: SOT 224258 SOS 141920 HAS SOPS 139862 HAS SOUS 94835 HAS SOUPS 92782 WITH SCORE 92923.92
AT ITER 172 NEW BEST:: SOT 223985 SOS 141647 HAS SOPS 139589 HAS SOUS 94664 HAS SOUPS 92611 WITH SCORE 92752.647
AT ITER 173 NEW BEST:: SOT 224064 SOS 141472 HAS SOPS 139414 HAS SOUS 94543 HAS SOUPS 92490 WITH SCORE 92631.472
AT ITER 175 NEW BEST:: SOT 224063 SOS 141146 HAS SOPS 139088 HAS SOUS 94349 HAS SOUPS 92296 WITH SCORE 92437.146
AT ITER 182 NEW BEST:: SOT 224002 SOS 141141 HAS SOPS 139083 HAS SOUS 94253 HAS SOUPS 92200 WITH SCORE 92341.141
AT ITER 183 NEW BEST:: SOT 223856 SOS 140995 HAS SOPS 138937 HAS SOUS 94180 HAS SOUPS 92127 WITH SCORE 92267.995
AT ITER 184 NEW BEST:: SOT 223103 SOS 139766 HAS SOPS 137708 HAS SOUS 93291 HAS SOUPS 91238 WITH SCORE 91377.766
AT ITER 185 NEW BEST:: SOT 222499 SOS 139161 HAS SOPS 137103 HAS SOUS 92826 HAS SOUPS 90773 WITH SCORE 90912.161
AT ITER 186 NEW BEST:: SOT 222303 SOS 138398 HAS SOPS 136340 HAS SOUS 92278 HAS SOUPS 90225 WITH SCORE 90363.398
AT ITER 190 NEW BEST:: SOT 222198 SOS 138581 HAS SOPS 136197 HAS SOUS 92389 HAS SOUPS 90010 WITH SCORE 90148.581
AT ITER 200 NEW BEST:: SOT 221685 SOS 138005 HAS SOPS 135621 HAS SOUS 91825 HAS SOUPS 89446 WITH SCORE 89584.005
AT ITER 201 NEW BEST:: SOT 221628 SOS 137834 HAS SOPS 135450 HAS SOUS 91711 HAS SOUPS 89332 WITH SCORE 89469.834
AT ITER 206 NEW BEST:: SOT 220989 SOS 137119 HAS SOPS 134618 HAS SOUS 91189 HAS SOUPS 88693 WITH SCORE 88830.119
AT ITER 210 NEW BEST:: SOT 220959 SOS 137059 HAS SOPS 134558 HAS SOUS 91159 HAS SOUPS 88663 WITH SCORE 88800.059
AT ITER 215 NEW BEST:: SOT 220366 SOS 136720 HAS SOPS 133965 HAS SOUS 90910 HAS SOUPS 88160 WITH SCORE 88296.72
AT ITER 217 NEW BEST:: SOT 220015 SOS 136403 HAS SOPS 133614 HAS SOUS 90714 HAS SOUPS 87930 WITH SCORE 88066.403
AT ITER 221 NEW BEST:: SOT 220015 SOS 136416 HAS SOPS 133584 HAS SOUS 90727 HAS SOUPS 87900 WITH SCORE 88036.416
AT ITER 225 NEW BEST:: SOT 219928 SOS 136339 HAS SOPS 133497 HAS SOUS 90650 HAS SOUPS 87813 WITH SCORE 87949.339
AT ITER 226 NEW BEST:: SOT 219473 SOS 135970 HAS SOPS 132990 HAS SOUS 90333 HAS SOUPS 87358 WITH SCORE 87493.97
AT ITER 227 NEW BEST:: SOT 219041 SOS 135343 HAS SOPS 132363 HAS SOUS 89900 HAS SOUPS 86925 WITH SCORE 87060.343
AT ITER 228 NEW BEST:: SOT 218948 SOS 134340 HAS SOPS 131365 HAS SOUS 89869 HAS SOUPS 86894 WITH SCORE 87028.34
AT ITER 232 NEW BEST:: SOT 218944 SOS 134336 HAS SOPS 131361 HAS SOUS 89865 HAS SOUPS 86890 WITH SCORE 87024.336
AT ITER 234 NEW BEST:: SOT 218932 SOS 134324 HAS SOPS 131349 HAS SOUS 89853 HAS SOUPS 86878 WITH SCORE 87012.324
AT ITER 235 NEW BEST:: SOT 218932 SOS 134014 HAS SOPS 131039 HAS SOUS 89711 HAS SOUPS 86736 WITH SCORE 86870.014
AT ITER 236 NEW BEST:: SOT 218932 SOS 133959 HAS SOPS 130984 HAS SOUS 89656 HAS SOUPS 86681 WITH SCORE 86814.959
AT ITER 238 NEW BEST:: SOT 218407 SOS 133495 HAS SOPS 130458 HAS SOUS 89415 HAS SOUPS 86378 WITH SCORE 86511.495
AT ITER 242 NEW BEST:: SOT 218285 SOS 133331 HAS SOPS 130294 HAS SOUS 89193 HAS SOUPS 86156 WITH SCORE 86289.331
AT ITER 244 NEW BEST:: SOT 217686 SOS 132717 HAS SOPS 129680 HAS SOUS 88872 HAS SOUPS 85835 WITH SCORE 85967.717
AT ITER 247 NEW BEST:: SOT 217685 SOS 132173 HAS SOPS 129136 HAS SOUS 88511 HAS SOUPS 85474 WITH SCORE 85606.173
AT ITER 250 NEW BEST:: SOT 217671 SOS 132152 HAS SOPS 129115 HAS SOUS 88497 HAS SOUPS 85460 WITH SCORE 85592.152
AT ITER 252 NEW BEST:: SOT 217515 SOS 132152 HAS SOPS 129115 HAS SOUS 88183 HAS SOUPS 85146 WITH SCORE 85278.152
AT ITER 256 NEW BEST:: SOT 217360 SOS 131997 HAS SOPS 128960 HAS SOUS 87964 HAS SOUPS 84927 WITH SCORE 85058.997
AT ITER 257 NEW BEST:: SOT 217088 SOS 131724 HAS SOPS 128687 HAS SOUS 87789 HAS SOUPS 84752 WITH SCORE 84883.724
AT ITER 263 NEW BEST:: SOT 216576 SOS 130545 HAS SOPS 127508 HAS SOUS 87122 HAS SOUPS 84085 WITH SCORE 84215.545
AT ITER 268 NEW BEST:: SOT 216570 SOS 130539 HAS SOPS 127502 HAS SOUS 87116 HAS SOUPS 84079 WITH SCORE 84209.539
AT ITER 269 NEW BEST:: SOT 216488 SOS 130457 HAS SOPS 127420 HAS SOUS 87112 HAS SOUPS 84075 WITH SCORE 84205.457
AT ITER 270 NEW BEST:: SOT 216056 SOS 130063 HAS SOPS 126988 HAS SOUS 86949 HAS SOUPS 83874 WITH SCORE 84004.063
AT ITER 273 NEW BEST:: SOT 216068 SOS 130062 HAS SOPS 126987 HAS SOUS 86936 HAS SOUPS 83861 WITH SCORE 83991.062
AT ITER 286 NEW BEST:: SOT 215953 SOS 129947 HAS SOPS 126872 HAS SOUS 86821 HAS SOUPS 83746 WITH SCORE 83875.947
AT ITER 288 NEW BEST:: SOT 215953 SOS 129910 HAS SOPS 126835 HAS SOUS 86806 HAS SOUPS 83731 WITH SCORE 83860.91
AT ITER 293 NEW BEST:: SOT 215711 SOS 129427 HAS SOPS 126352 HAS SOUS 86623 HAS SOUPS 83548 WITH SCORE 83677.427
AT ITER 294 NEW BEST:: SOT 215675 SOS 129391 HAS SOPS 126316 HAS SOUS 86577 HAS SOUPS 83502 WITH SCORE 83631.391
AT ITER 300 NEW BEST:: SOT 215551 SOS 129267 HAS SOPS 126192 HAS SOUS 86494 HAS SOUPS 83419 WITH SCORE 83548.267
AT ITER 301 NEW BEST:: SOT 215604 SOS 128772 HAS SOPS 125697 HAS SOUS 86404 HAS SOUPS 83329 WITH SCORE 83457.772
AT ITER 303 NEW BEST:: SOT 215639 SOS 128691 HAS SOPS 125616 HAS SOUS 86270 HAS SOUPS 83195 WITH SCORE 83323.691
AT ITER 307 NEW BEST:: SOT 215136 SOS 128195 HAS SOPS 125113 HAS SOUS 85957 HAS SOUPS 82875 WITH SCORE 83003.195
AT ITER 311 NEW BEST:: SOT 215034 SOS 127991 HAS SOPS 124909 HAS SOUS 85855 HAS SOUPS 82773 WITH SCORE 82900.991
AT ITER 313 NEW BEST:: SOT 215027 SOS 127991 HAS SOPS 124909 HAS SOUS 85848 HAS SOUPS 82766 WITH SCORE 82893.991
AT ITER 315 NEW BEST:: SOT 214611 SOS 127575 HAS SOPS 124422 HAS SOUS 85432 HAS SOUPS 82279 WITH SCORE 82406.575
AT ITER 321 NEW BEST:: SOT 214518 SOS 127726 HAS SOPS 124573 HAS SOUS 85339 HAS SOUPS 82186 WITH SCORE 82313.726
AT ITER 322 NEW BEST:: SOT 214408 SOS 127368 HAS SOPS 124215 HAS SOUS 84857 HAS SOUPS 81704 WITH SCORE 81831.368
AT ITER 325 NEW BEST:: SOT 214262 SOS 127179 HAS SOPS 124026 HAS SOUS 84566 HAS SOUPS 81413 WITH SCORE 81540.179
AT ITER 326 NEW BEST:: SOT 213904 SOS 126821 HAS SOPS 123668 HAS SOUS 84382 HAS SOUPS 81229 WITH SCORE 81355.821
AT ITER 329 NEW BEST:: SOT 213904 SOS 126770 HAS SOPS 123617 HAS SOUS 84382 HAS SOUPS 81229 WITH SCORE 81355.77
AT ITER 333 NEW BEST:: SOT 214030 SOS 125484 HAS SOPS 122331 HAS SOUS 84275 HAS SOUPS 81122 WITH SCORE 81247.484
AT ITER 335 NEW BEST:: SOT 213910 SOS 125364 HAS SOPS 122211 HAS SOUS 84215 HAS SOUPS 81062 WITH SCORE 81187.364
AT ITER 337 NEW BEST:: SOT 214878 SOS 125980 HAS SOPS 122827 HAS SOUS 84175 HAS SOUPS 81022 WITH SCORE 81147.98
AT ITER 338 NEW BEST:: SOT 214775 SOS 125540 HAS SOPS 122387 HAS SOUS 83970 HAS SOUPS 80817 WITH SCORE 80942.54
AT ITER 339 NEW BEST:: SOT 214775 SOS 125188 HAS SOPS 122035 HAS SOUS 83967 HAS SOUPS 80814 WITH SCORE 80939.188
AT ITER 345 NEW BEST:: SOT 214774 SOS 125179 HAS SOPS 122033 HAS SOUS 83958 HAS SOUPS 80812 WITH SCORE 80937.179
AT ITER 350 NEW BEST:: SOT 213359 SOS 123882 HAS SOPS 120690 HAS SOUS 83164 HAS SOUPS 79972 WITH SCORE 80095.882
AT ITER 351 NEW BEST:: SOT 212960 SOS 123075 HAS SOPS 119845 HAS SOUS 82783 HAS SOUPS 79553 WITH SCORE 79676.075
AT ITER 360 NEW BEST:: SOT 212304 SOS 122417 HAS SOPS 119032 HAS SOUS 82415 HAS SOUPS 79030 WITH SCORE 79152.417
AT ITER 361 NEW BEST:: SOT 212046 SOS 122181 HAS SOPS 118774 HAS SOUS 82179 HAS SOUPS 78772 WITH SCORE 78894.181
AT ITER 364 NEW BEST:: SOT 212050 SOS 122185 HAS SOPS 118778 HAS SOUS 82088 HAS SOUPS 78681 WITH SCORE 78803.185
AT ITER 369 NEW BEST:: SOT 212087 SOS 121966 HAS SOPS 118559 HAS SOUS 82072 HAS SOUPS 78665 WITH SCORE 78786.966
AT ITER 371 NEW BEST:: SOT 212087 SOS 121927 HAS SOPS 118520 HAS SOUS 82033 HAS SOUPS 78626 WITH SCORE 78747.927
AT ITER 377 NEW BEST:: SOT 213295 SOS 124101 HAS SOPS 120337 HAS SOUS 82181 HAS SOUPS 78602 WITH SCORE 78726.101
AT ITER 384 NEW BEST:: SOT 213293 SOS 124099 HAS SOPS 120335 HAS SOUS 82179 HAS SOUPS 78600 WITH SCORE 78724.099
AT ITER 386 NEW BEST:: SOT 213292 SOS 123836 HAS SOPS 120202 HAS SOUS 82047 HAS SOUPS 78598 WITH SCORE 78721.836
AT ITER 387 NEW BEST:: SOT 213186 SOS 123729 HAS SOPS 120095 HAS SOUS 81940 HAS SOUPS 78491 WITH SCORE 78614.729
AT ITER 389 NEW BEST:: SOT 213045 SOS 123529 HAS SOPS 119888 HAS SOUS 81805 HAS SOUPS 78349 WITH SCORE 78472.529
AT ITER 396 NEW BEST:: SOT 212967 SOS 123473 HAS SOPS 119832 HAS SOUS 81779 HAS SOUPS 78323 WITH SCORE 78446.473
AT ITER 401 NEW BEST:: SOT 212967 SOS 123391 HAS SOPS 119750 HAS SOUS 81743 HAS SOUPS 78287 WITH SCORE 78410.391
AT ITER 408 NEW BEST:: SOT 211930 SOS 121857 HAS SOPS 118216 HAS SOUS 80687 HAS SOUPS 77231 WITH SCORE 77352.857
AT ITER 416 NEW BEST:: SOT 211927 SOS 121830 HAS SOPS 118189 HAS SOUS 80681 HAS SOUPS 77225 WITH SCORE 77346.83
AT ITER 418 NEW BEST:: SOT 211926 SOS 121829 HAS SOPS 118188 HAS SOUS 80680 HAS SOUPS 77224 WITH SCORE 77345.829
AT ITER 419 NEW BEST:: SOT 209394 SOS 119261 HAS SOPS 115620 HAS SOUS 79058 HAS SOUPS 75602 WITH SCORE 75721.261
AT ITER 430 NEW BEST:: SOT 209394 SOS 119113 HAS SOPS 115472 HAS SOUS 79036 HAS SOUPS 75580 WITH SCORE 75699.113
AT ITER 432 NEW BEST:: SOT 209502 SOS 119221 HAS SOPS 115580 HAS SOUS 79035 HAS SOUPS 75579 WITH SCORE 75698.221
AT ITER 435 NEW BEST:: SOT 209431 SOS 119150 HAS SOPS 115509 HAS SOUS 78964 HAS SOUPS 75508 WITH SCORE 75627.15
AT ITER 436 NEW BEST:: SOT 209547 SOS 119014 HAS SOPS 115373 HAS SOUS 78810 HAS SOUPS 75354 WITH SCORE 75473.014
AT ITER 439 NEW BEST:: SOT 209226 SOS 118692 HAS SOPS 115051 HAS SOUS 78594 HAS SOUPS 75138 WITH SCORE 75256.692
AT ITER 442 NEW BEST:: SOT 209226 SOS 118690 HAS SOPS 115049 HAS SOUS 78592 HAS SOUPS 75136 WITH SCORE 75254.69
AT ITER 453 NEW BEST:: SOT 209023 SOS 118484 HAS SOPS 114764 HAS SOUS 78443 HAS SOUPS 74908 WITH SCORE 75026.484
AT ITER 459 NEW BEST:: SOT 209011 SOS 118454 HAS SOPS 114734 HAS SOUS 78425 HAS SOUPS 74890 WITH SCORE 75008.454
AT ITER 464 NEW BEST:: SOT 208543 SOS 117584 HAS SOPS 113783 HAS SOUS 77877 HAS SOUPS 74261 WITH SCORE 74378.584
AT ITER 466 NEW BEST:: SOT 208660 SOS 117766 HAS SOPS 113829 HAS SOUS 78001 HAS SOUPS 74249 WITH SCORE 74366.766
AT ITER 468 NEW BEST:: SOT 208348 SOS 112271 HAS SOPS 108334 HAS SOUS 77034 HAS SOUPS 73282 WITH SCORE 73394.271
AT ITER 481 NEW BEST:: SOT 208387 SOS 112133 HAS SOPS 108196 HAS SOUS 76979 HAS SOUPS 73227 WITH SCORE 73339.133
AT ITER 485 NEW BEST:: SOT 208295 SOS 112131 HAS SOPS 107975 HAS SOUS 76977 HAS SOUPS 73006 WITH SCORE 73118.131
AT ITER 490 NEW BEST:: SOT 208126 SOS 111962 HAS SOPS 107806 HAS SOUS 76722 HAS SOUPS 72751 WITH SCORE 72862.962
AT ITER 494 NEW BEST:: SOT 207327 SOS 111579 HAS SOPS 107353 HAS SOUS 76484 HAS SOUPS 72486 WITH SCORE 72597.579
AT ITER 495 NEW BEST:: SOT 206477 SOS 110669 HAS SOPS 106339 HAS SOUS 75924 HAS SOUPS 71870 WITH SCORE 71980.669
AT ITER 497 NEW BEST:: SOT 206024 SOS 110100 HAS SOPS 105770 HAS SOUS 75385 HAS SOUPS 71331 WITH SCORE 71441.1
AT ITER 499 NEW BEST:: SOT 205914 SOS 109967 HAS SOPS 105637 HAS SOUS 75274 HAS SOUPS 71220 WITH SCORE 71329.967
AT ITER 501 NEW BEST:: SOT 205836 SOS 109920 HAS SOPS 105590 HAS SOUS 75234 HAS SOUPS 71180 WITH SCORE 71289.92
AT ITER 502 NEW BEST:: SOT 205825 SOS 109920 HAS SOPS 105576 HAS SOUS 75234 HAS SOUPS 71166 WITH SCORE 71275.92
AT ITER 506 NEW BEST:: SOT 205809 SOS 109880 HAS SOPS 105544 HAS SOUS 75218 HAS SOUPS 71150 WITH SCORE 71259.88
AT ITER 509 NEW BEST:: SOT 205682 SOS 109798 HAS SOPS 105462 HAS SOUS 75209 HAS SOUPS 71141 WITH SCORE 71250.798
AT ITER 511 NEW BEST:: SOT 205652 SOS 108967 HAS SOPS 104631 HAS SOUS 75164 HAS SOUPS 71096 WITH SCORE 71204.967
AT ITER 515 NEW BEST:: SOT 205570 SOS 108791 HAS SOPS 104465 HAS SOUS 75070 HAS SOUPS 71012 WITH SCORE 71120.791
AT ITER 519 NEW BEST:: SOT 205534 SOS 108755 HAS SOPS 104429 HAS SOUS 75052 HAS SOUPS 70994 WITH SCORE 71102.755
AT ITER 526 NEW BEST:: SOT 205534 SOS 108642 HAS SOPS 104316 HAS SOUS 75052 HAS SOUPS 70994 WITH SCORE 71102.642
AT ITER 531 NEW BEST:: SOT 205534 SOS 106472 HAS SOPS 102146 HAS SOUS 75052 HAS SOUPS 70994 WITH SCORE 71100.472
AT ITER 532 NEW BEST:: SOT 205158 SOS 105862 HAS SOPS 101441 HAS SOUS 74708 HAS SOUPS 70555 WITH SCORE 70660.862
AT ITER 534 NEW BEST:: SOT 205028 SOS 105731 HAS SOPS 101310 HAS SOUS 74577 HAS SOUPS 70424 WITH SCORE 70529.731
AT ITER 536 NEW BEST:: SOT 204792 SOS 105299 HAS SOPS 100878 HAS SOUS 74340 HAS SOUPS 70187 WITH SCORE 70292.299
AT ITER 548 NEW BEST:: SOT 204924 SOS 105696 HAS SOPS 101027 HAS SOUS 74526 HAS SOUPS 70125 WITH SCORE 70230.696
AT ITER 551 NEW BEST:: SOT 204863 SOS 105676 HAS SOPS 101007 HAS SOUS 74506 HAS SOUPS 70105 WITH SCORE 70210.676
AT ITER 556 NEW BEST:: SOT 204637 SOS 105085 HAS SOPS 100416 HAS SOUS 73973 HAS SOUPS 69572 WITH SCORE 69677.085
AT ITER 558 NEW BEST:: SOT 204636 SOS 104919 HAS SOPS 100359 HAS SOUS 73862 HAS SOUPS 69570 WITH SCORE 69674.919
AT ITER 560 NEW BEST:: SOT 204634 SOS 104915 HAS SOPS 100355 HAS SOUS 73860 HAS SOUPS 69568 WITH SCORE 69672.915
AT ITER 563 NEW BEST:: SOT 204634 SOS 104852 HAS SOPS 100292 HAS SOUS 73797 HAS SOUPS 69505 WITH SCORE 69609.852
AT ITER 568 NEW BEST:: SOT 204682 SOS 104726 HAS SOPS 100166 HAS SOUS 73737 HAS SOUPS 69445 WITH SCORE 69549.726
AT ITER 571 NEW BEST:: SOT 204585 SOS 104706 HAS SOPS 100146 HAS SOUS 73561 HAS SOUPS 69269 WITH SCORE 69373.706
AT ITER 586 NEW BEST:: SOT 204584 SOS 104515 HAS SOPS 99955 HAS SOUS 73465 HAS SOUPS 69173 WITH SCORE 69277.515
AT ITER 588 NEW BEST:: SOT 204565 SOS 104474 HAS SOPS 99914 HAS SOUS 73424 HAS SOUPS 69132 WITH SCORE 69236.474
AT ITER 591 NEW BEST:: SOT 204179 SOS 104256 HAS SOPS 99528 HAS SOUS 73438 HAS SOUPS 68978 WITH SCORE 69082.256
AT ITER 592 NEW BEST:: SOT 204003 SOS 104057 HAS SOPS 99285 HAS SOUS 73306 HAS SOUPS 68802 WITH SCORE 68906.057
AT ITER 599 NEW BEST:: SOT 204003 SOS 103982 HAS SOPS 99210 HAS SOUS 73231 HAS SOUPS 68727 WITH SCORE 68830.982
AT ITER 601 NEW BEST:: SOT 203615 SOS 103626 HAS SOPS 98854 HAS SOUS 72963 HAS SOUPS 68459 WITH SCORE 68562.626
AT ITER 603 NEW BEST:: SOT 203484 SOS 103482 HAS SOPS 98710 HAS SOUS 72720 HAS SOUPS 68216 WITH SCORE 68319.482
AT ITER 604 NEW BEST:: SOT 203479 SOS 103180 HAS SOPS 98408 HAS SOUS 72401 HAS SOUPS 67897 WITH SCORE 68000.18
AT ITER 605 NEW BEST:: SOT 203201 SOS 103021 HAS SOPS 98157 HAS SOUS 72388 HAS SOUPS 67792 WITH SCORE 67895.021
AT ITER 607 NEW BEST:: SOT 203179 SOS 102706 HAS SOPS 97842 HAS SOUS 72352 HAS SOUPS 67756 WITH SCORE 67858.706
AT ITER 610 NEW BEST:: SOT 203179 SOS 102696 HAS SOPS 97832 HAS SOUS 72351 HAS SOUPS 67755 WITH SCORE 67857.696
AT ITER 616 NEW BEST:: SOT 203179 SOS 102676 HAS SOPS 97775 HAS SOUS 72316 HAS SOUPS 67683 WITH SCORE 67785.676
AT ITER 618 NEW BEST:: SOT 203079 SOS 102289 HAS SOPS 97388 HAS SOUS 72112 HAS SOUPS 67479 WITH SCORE 67581.289
AT ITER 620 NEW BEST:: SOT 202970 SOS 102133 HAS SOPS 97232 HAS SOUS 71956 HAS SOUPS 67323 WITH SCORE 67425.133
AT ITER 622 NEW BEST:: SOT 202318 SOS 101449 HAS SOPS 96548 HAS SOUS 71402 HAS SOUPS 66769 WITH SCORE 66870.449
AT ITER 627 NEW BEST:: SOT 202288 SOS 101419 HAS SOPS 96518 HAS SOUS 71372 HAS SOUPS 66739 WITH SCORE 66840.419
AT ITER 632 NEW BEST:: SOT 202245 SOS 101428 HAS SOPS 96527 HAS SOUS 71365 HAS SOUPS 66732 WITH SCORE 66833.428
AT ITER 638 NEW BEST:: SOT 202045 SOS 101353 HAS SOPS 96297 HAS SOUS 71320 HAS SOUPS 66532 WITH SCORE 66633.353
AT ITER 643 NEW BEST:: SOT 202022 SOS 101339 HAS SOPS 96283 HAS SOUS 71306 HAS SOUPS 66518 WITH SCORE 66619.339
AT ITER 645 NEW BEST:: SOT 201492 SOS 100930 HAS SOPS 95874 HAS SOUS 70948 HAS SOUPS 66160 WITH SCORE 66260.93
AT ITER 646 NEW BEST:: SOT 201473 SOS 100890 HAS SOPS 95834 HAS SOUS 70925 HAS SOUPS 66137 WITH SCORE 66237.89
AT ITER 649 NEW BEST:: SOT 201565 SOS 100995 HAS SOPS 95939 HAS SOUS 70888 HAS SOUPS 66100 WITH SCORE 66200.995
AT ITER 650 NEW BEST:: SOT 201530 SOS 100894 HAS SOPS 95838 HAS SOUS 70853 HAS SOUPS 66065 WITH SCORE 66165.894
AT ITER 655 NEW BEST:: SOT 201476 SOS 100804 HAS SOPS 95748 HAS SOUS 70835 HAS SOUPS 66047 WITH SCORE 66147.804
AT ITER 659 NEW BEST:: SOT 201476 SOS 100641 HAS SOPS 95585 HAS SOUS 70780 HAS SOUPS 65992 WITH SCORE 66092.641
AT ITER 660 NEW BEST:: SOT 201395 SOS 100560 HAS SOPS 95419 HAS SOUS 70703 HAS SOUPS 65830 WITH SCORE 65930.56
AT ITER 665 NEW BEST:: SOT 201057 SOS 100039 HAS SOPS 94898 HAS SOUS 70182 HAS SOUPS 65309 WITH SCORE 65409.039
AT ITER 666 NEW BEST:: SOT 201052 SOS 100029 HAS SOPS 94888 HAS SOUS 70177 HAS SOUPS 65304 WITH SCORE 65404.029
AT ITER 668 NEW BEST:: SOT 200958 SOS 100015 HAS SOPS 94937 HAS SOUS 70100 HAS SOUPS 65290 WITH SCORE 65390.015
AT ITER 675 NEW BEST:: SOT 200957 SOS 100014 HAS SOPS 94936 HAS SOUS 70099 HAS SOUPS 65289 WITH SCORE 65389.014
AT ITER 681 NEW BEST:: SOT 200945 SOS 99787 HAS SOPS 94709 HAS SOUS 70000 HAS SOUPS 65190 WITH SCORE 65289.787
AT ITER 692 NEW BEST:: SOT 200805 SOS 99475 HAS SOPS 94480 HAS SOUS 69786 HAS SOUPS 65059 WITH SCORE 65158.475
AT ITER 696 NEW BEST:: SOT 200854 SOS 99249 HAS SOPS 94254 HAS SOUS 69689 HAS SOUPS 64962 WITH SCORE 65061.249
AT ITER 699 NEW BEST:: SOT 200880 SOS 99275 HAS SOPS 94280 HAS SOUS 69657 HAS SOUPS 64930 WITH SCORE 65029.275
AT ITER 703 NEW BEST:: SOT 200548 SOS 98873 HAS SOPS 93878 HAS SOUS 69433 HAS SOUPS 64706 WITH SCORE 64804.873
AT ITER 705 NEW BEST:: SOT 200392 SOS 98532 HAS SOPS 93537 HAS SOUS 69248 HAS SOUPS 64521 WITH SCORE 64619.532
AT ITER 717 NEW BEST:: SOT 200061 SOS 97922 HAS SOPS 92927 HAS SOUS 68638 HAS SOUPS 63911 WITH SCORE 64008.922
AT ITER 727 NEW BEST:: SOT 200061 SOS 97672 HAS SOPS 92677 HAS SOUS 68622 HAS SOUPS 63895 WITH SCORE 63992.672
AT ITER 728 NEW BEST:: SOT 200060 SOS 97671 HAS SOPS 92676 HAS SOUS 68621 HAS SOUPS 63894 WITH SCORE 63991.671
AT ITER 738 NEW BEST:: SOT 200055 SOS 97594 HAS SOPS 92599 HAS SOUS 68580 HAS SOUPS 63853 WITH SCORE 63950.594
AT ITER 759 NEW BEST:: SOT 199889 SOS 97179 HAS SOPS 92184 HAS SOUS 68331 HAS SOUPS 63604 WITH SCORE 63701.179
AT ITER 770 NEW BEST:: SOT 199669 SOS 96841 HAS SOPS 91846 HAS SOUS 68103 HAS SOUPS 63376 WITH SCORE 63472.841
AT ITER 771 NEW BEST:: SOT 199613 SOS 96785 HAS SOPS 91790 HAS SOUS 68047 HAS SOUPS 63320 WITH SCORE 63416.785
AT ITER 773 NEW BEST:: SOT 199640 SOS 96771 HAS SOPS 91743 HAS SOUS 68074 HAS SOUPS 63314 WITH SCORE 63410.771
AT ITER 775 NEW BEST:: SOT 199629 SOS 96759 HAS SOPS 91731 HAS SOUS 68072 HAS SOUPS 63312 WITH SCORE 63408.759
AT ITER 776 NEW BEST:: SOT 199585 SOS 96703 HAS SOPS 91675 HAS SOUS 68064 HAS SOUPS 63304 WITH SCORE 63400.703
AT ITER 779 NEW BEST:: SOT 199585 SOS 96695 HAS SOPS 91667 HAS SOUS 68056 HAS SOUPS 63296 WITH SCORE 63392.695
AT ITER 792 NEW BEST:: SOT 199562 SOS 96672 HAS SOPS 91644 HAS SOUS 68033 HAS SOUPS 63273 WITH SCORE 63369.672
AT ITER 794 NEW BEST:: SOT 199544 SOS 96456 HAS SOPS 91428 HAS SOUS 67995 HAS SOUPS 63235 WITH SCORE 63331.456
AT ITER 797 NEW BEST:: SOT 199371 SOS 96349 HAS SOPS 91169 HAS SOUS 68000 HAS SOUPS 63088 WITH SCORE 63184.349
AT ITER 803 NEW BEST:: SOT 199191 SOS 96169 HAS SOPS 90989 HAS SOUS 67820 HAS SOUPS 62908 WITH SCORE 63004.169
AT ITER 811 NEW BEST:: SOT 199191 SOS 96169 HAS SOPS 90989 HAS SOUS 67779 HAS SOUPS 62867 WITH SCORE 62963.169
AT ITER 813 NEW BEST:: SOT 199191 SOS 96099 HAS SOPS 90919 HAS SOUS 67709 HAS SOUPS 62797 WITH SCORE 62893.099
AT ITER 816 NEW BEST:: SOT 199015 SOS 95806 HAS SOPS 90559 HAS SOUS 67551 HAS SOUPS 62605 WITH SCORE 62700.806
AT ITER 826 NEW BEST:: SOT 200153 SOS 96619 HAS SOPS 91372 HAS SOUS 67536 HAS SOUPS 62590 WITH SCORE 62686.619
AT ITER 831 NEW BEST:: SOT 200117 SOS 96583 HAS SOPS 91336 HAS SOUS 67500 HAS SOUPS 62554 WITH SCORE 62650.583
AT ITER 838 NEW BEST:: SOT 200077 SOS 96543 HAS SOPS 91296 HAS SOUS 67460 HAS SOUPS 62514 WITH SCORE 62610.543
AT ITER 839 NEW BEST:: SOT 199877 SOS 96582 HAS SOPS 91335 HAS SOUS 67420 HAS SOUPS 62474 WITH SCORE 62570.582
AT ITER 847 NEW BEST:: SOT 199876 SOS 96483 HAS SOPS 91236 HAS SOUS 67322 HAS SOUPS 62376 WITH SCORE 62472.483
AT ITER 848 NEW BEST:: SOT 199570 SOS 96077 HAS SOPS 90610 HAS SOUS 67222 HAS SOUPS 62056 WITH SCORE 62152.077
AT ITER 852 NEW BEST:: SOT 199570 SOS 95943 HAS SOPS 90436 HAS SOUS 67175 HAS SOUPS 61969 WITH SCORE 62064.943
AT ITER 853 NEW BEST:: SOT 199546 SOS 95895 HAS SOPS 90388 HAS SOUS 67151 HAS SOUPS 61945 WITH SCORE 62040.895
AT ITER 858 NEW BEST:: SOT 199549 SOS 95635 HAS SOPS 90336 HAS SOUS 66888 HAS SOUPS 61890 WITH SCORE 61985.635
AT ITER 863 NEW BEST:: SOT 199418 SOS 95453 HAS SOPS 90154 HAS SOUS 66848 HAS SOUPS 61850 WITH SCORE 61945.453
AT ITER 865 NEW BEST:: SOT 199411 SOS 95455 HAS SOPS 90204 HAS SOUS 66770 HAS SOUPS 61820 WITH SCORE 61915.455
AT ITER 885 NEW BEST:: SOT 199411 SOS 95448 HAS SOPS 90197 HAS SOUS 66763 HAS SOUPS 61813 WITH SCORE 61908.448
AT ITER 890 NEW BEST:: SOT 198537 SOS 95345 HAS SOPS 89851 HAS SOUS 66536 HAS SOUPS 61343 WITH SCORE 61438.345
AT ITER 891 NEW BEST:: SOT 198416 SOS 95213 HAS SOPS 89719 HAS SOUS 66514 HAS SOUPS 61321 WITH SCORE 61416.213
AT ITER 893 NEW BEST:: SOT 199336 SOS 96204 HAS SOPS 90710 HAS SOUS 66479 HAS SOUPS 61286 WITH SCORE 61382.204
AT ITER 899 NEW BEST:: SOT 199317 SOS 96010 HAS SOPS 90516 HAS SOUS 66396 HAS SOUPS 61203 WITH SCORE 61299.01
AT ITER 901 NEW BEST:: SOT 199305 SOS 95992 HAS SOPS 90498 HAS SOUS 66384 HAS SOUPS 61191 WITH SCORE 61286.992
AT ITER 908 NEW BEST:: SOT 199332 SOS 96020 HAS SOPS 90420 HAS SOUS 66306 HAS SOUPS 61007 WITH SCORE 61103.02
AT ITER 916 NEW BEST:: SOT 200541 SOS 96853 HAS SOPS 91253 HAS SOUS 65878 HAS SOUPS 60579 WITH SCORE 60675.853
AT ITER 920 NEW BEST:: SOT 200529 SOS 96833 HAS SOPS 91233 HAS SOUS 65866 HAS SOUPS 60567 WITH SCORE 60663.833
AT ITER 926 NEW BEST:: SOT 200471 SOS 96749 HAS SOPS 91149 HAS SOUS 65782 HAS SOUPS 60483 WITH SCORE 60579.749
AT ITER 939 NEW BEST:: SOT 200418 SOS 96653 HAS SOPS 91053 HAS SOUS 65729 HAS SOUPS 60430 WITH SCORE 60526.653
AT ITER 945 NEW BEST:: SOT 200178 SOS 96604 HAS SOPS 91004 HAS SOUS 65539 HAS SOUPS 60240 WITH SCORE 60336.604
AT ITER 950 NEW BEST:: SOT 200106 SOS 96454 HAS SOPS 90818 HAS SOUS 65389 HAS SOUPS 60054 WITH SCORE 60150.454
AT ITER 959 NEW BEST:: SOT 200100 SOS 96442 HAS SOPS 90780 HAS SOUS 65383 HAS SOUPS 60022 WITH SCORE 60118.442
AT ITER 962 NEW BEST:: SOT 199925 SOS 96267 HAS SOPS 90605 HAS SOUS 65030 HAS SOUPS 59669 WITH SCORE 59765.267
AT ITER 963 NEW BEST:: SOT 199823 SOS 96078 HAS SOPS 90416 HAS SOUS 64928 HAS SOUPS 59567 WITH SCORE 59663.078
AT ITER 973 NEW BEST:: SOT 199761 SOS 96016 HAS SOPS 90323 HAS SOUS 64897 HAS SOUPS 59505 WITH SCORE 59601.016
AT ITER 987 NEW BEST:: SOT 199545 SOS 95682 HAS SOPS 89989 HAS SOUS 64563 HAS SOUPS 59171 WITH SCORE 59266.682
AT ITER 991 NEW BEST:: SOT 199518 SOS 95559 HAS SOPS 89866 HAS SOUS 64554 HAS SOUPS 59162 WITH SCORE 59257.559
AT ITER 998 NEW BEST:: SOT 199341 SOS 94628 HAS SOPS 88804 HAS SOUS 64447 HAS SOUPS 58924 WITH SCORE 59018.628
AT ITER 1002 NEW BEST:: SOT 199325 SOS 94604 HAS SOPS 88780 HAS SOUS 64427 HAS SOUPS 58904 WITH SCORE 58998.604
AT ITER 1003 NEW BEST:: SOT 199170 SOS 94248 HAS SOPS 88424 HAS SOUS 64332 HAS SOUPS 58809 WITH SCORE 58903.248
AT ITER 1008 NEW BEST:: SOT 199085 SOS 94237 HAS SOPS 88413 HAS SOUS 64321 HAS SOUPS 58798 WITH SCORE 58892.237
AT ITER 1013 NEW BEST:: SOT 199067 SOS 94219 HAS SOPS 88395 HAS SOUS 64284 HAS SOUPS 58761 WITH SCORE 58855.219
AT ITER 1019 NEW BEST:: SOT 199067 SOS 94219 HAS SOPS 88395 HAS SOUS 64264 HAS SOUPS 58741 WITH SCORE 58835.219
AT ITER 1027 NEW BEST:: SOT 198997 SOS 94103 HAS SOPS 88351 HAS SOUS 64148 HAS SOUPS 58697 WITH SCORE 58791.103
AT ITER 1031 NEW BEST:: SOT 198606 SOS 93671 HAS SOPS 87919 HAS SOUS 63746 HAS SOUPS 58295 WITH SCORE 58388.671
AT ITER 1037 NEW BEST:: SOT 198606 SOS 93625 HAS SOPS 87896 HAS SOUS 63723 HAS SOUPS 58295 WITH SCORE 58388.625
AT ITER 1039 NEW BEST:: SOT 198526 SOS 93545 HAS SOPS 87812 HAS SOUS 63719 HAS SOUPS 58287 WITH SCORE 58380.545
AT ITER 1041 NEW BEST:: SOT 198695 SOS 93866 HAS SOPS 87968 HAS SOUS 63852 HAS SOUPS 58255 WITH SCORE 58348.866
AT ITER 1044 NEW BEST:: SOT 198640 SOS 93811 HAS SOPS 87913 HAS SOUS 63837 HAS SOUPS 58240 WITH SCORE 58333.811
AT ITER 1047 NEW BEST:: SOT 198540 SOS 93711 HAS SOPS 87803 HAS SOUS 63782 HAS SOUPS 58175 WITH SCORE 58268.711
AT ITER 1049 NEW BEST:: SOT 198465 SOS 93826 HAS SOPS 87918 HAS SOUS 63779 HAS SOUPS 58172 WITH SCORE 58265.826
AT ITER 1050 NEW BEST:: SOT 198467 SOS 93760 HAS SOPS 87804 HAS SOUS 63792 HAS SOUPS 58161 WITH SCORE 58254.76
AT ITER 1052 NEW BEST:: SOT 198138 SOS 93761 HAS SOPS 87443 HAS SOUS 63850 HAS SOUPS 58012 WITH SCORE 58105.761
AT ITER 1055 NEW BEST:: SOT 198120 SOS 93747 HAS SOPS 87429 HAS SOUS 63836 HAS SOUPS 57998 WITH SCORE 58091.747
AT ITER 1056 NEW BEST:: SOT 198308 SOS 94020 HAS SOPS 87702 HAS SOUS 63833 HAS SOUPS 57995 WITH SCORE 58089.02
AT ITER 1091 NEW BEST:: SOT 198426 SOS 94192 HAS SOPS 87792 HAS SOUS 63805 HAS SOUPS 57885 WITH SCORE 57979.192
AT ITER 1092 NEW BEST:: SOT 198425 SOS 94191 HAS SOPS 87791 HAS SOUS 63804 HAS SOUPS 57884 WITH SCORE 57978.191
AT ITER 1096 NEW BEST:: SOT 198391 SOS 94055 HAS SOPS 87655 HAS SOUS 63770 HAS SOUPS 57850 WITH SCORE 57944.055
AT ITER 1097 NEW BEST:: SOT 198217 SOS 93195 HAS SOPS 86795 HAS SOUS 63499 HAS SOUPS 57579 WITH SCORE 57672.195
AT ITER 1112 NEW BEST:: SOT 197904 SOS 92829 HAS SOPS 86295 HAS SOUS 63267 HAS SOUPS 57213 WITH SCORE 57305.829
AT ITER 1123 NEW BEST:: SOT 197855 SOS 92716 HAS SOPS 86182 HAS SOUS 63154 HAS SOUPS 57100 WITH SCORE 57192.716
AT ITER 1127 NEW BEST:: SOT 197826 SOS 92687 HAS SOPS 86153 HAS SOUS 63148 HAS SOUPS 57094 WITH SCORE 57186.687
AT ITER 1131 NEW BEST:: SOT 197852 SOS 92716 HAS SOPS 86161 HAS SOUS 63137 HAS SOUPS 57062 WITH SCORE 57154.716
AT ITER 1138 NEW BEST:: SOT 197768 SOS 92580 HAS SOPS 86025 HAS SOUS 63038 HAS SOUPS 56963 WITH SCORE 57055.58
AT ITER 1142 NEW BEST:: SOT 197760 SOS 92556 HAS SOPS 86001 HAS SOUS 62998 HAS SOUPS 56923 WITH SCORE 57015.556
AT ITER 1147 NEW BEST:: SOT 197522 SOS 92271 HAS SOPS 85736 HAS SOUS 62931 HAS SOUPS 56876 WITH SCORE 56968.271
AT ITER 1155 NEW BEST:: SOT 197816 SOS 92145 HAS SOPS 85408 HAS SOUS 62924 HAS SOUPS 56667 WITH SCORE 56759.145
AT ITER 1156 NEW BEST:: SOT 197802 SOS 92131 HAS SOPS 85380 HAS SOUS 62910 HAS SOUPS 56639 WITH SCORE 56731.131
AT ITER 1160 NEW BEST:: SOT 197802 SOS 92109 HAS SOPS 85358 HAS SOUS 62910 HAS SOUPS 56639 WITH SCORE 56731.109
AT ITER 1161 NEW BEST:: SOT 197787 SOS 92051 HAS SOPS 85300 HAS SOUS 62880 HAS SOUPS 56609 WITH SCORE 56701.051
AT ITER 1166 NEW BEST:: SOT 197787 SOS 92051 HAS SOPS 85268 HAS SOUS 62880 HAS SOUPS 56577 WITH SCORE 56669.051
AT ITER 1179 NEW BEST:: SOT 197345 SOS 91520 HAS SOPS 84861 HAS SOUS 62579 HAS SOUPS 56400 WITH SCORE 56491.52
AT ITER 1181 NEW BEST:: SOT 197614 SOS 91800 HAS SOPS 84961 HAS SOUS 62516 HAS SOUPS 56300 WITH SCORE 56391.8
AT ITER 1182 NEW BEST:: SOT 197312 SOS 91498 HAS SOPS 84659 HAS SOUS 62214 HAS SOUPS 55998 WITH SCORE 56089.498
AT ITER 1197 NEW BEST:: SOT 197257 SOS 91443 HAS SOPS 84604 HAS SOUS 62210 HAS SOUPS 55994 WITH SCORE 56085.443
AT ITER 1204 NEW BEST:: SOT 197195 SOS 92310 HAS SOPS 85471 HAS SOUS 62169 HAS SOUPS 55953 WITH SCORE 56045.31
AT ITER 1217 NEW BEST:: SOT 197195 SOS 92304 HAS SOPS 85465 HAS SOUS 62169 HAS SOUPS 55953 WITH SCORE 56045.304
AT ITER 1218 NEW BEST:: SOT 197116 SOS 92225 HAS SOPS 85465 HAS SOUS 62090 HAS SOUPS 55953 WITH SCORE 56045.225
AT ITER 1237 NEW BEST:: SOT 197061 SOS 92170 HAS SOPS 85410 HAS SOUS 62035 HAS SOUPS 55898 WITH SCORE 55990.17
AT ITER 1245 NEW BEST:: SOT 196962 SOS 91961 HAS SOPS 85201 HAS SOUS 62035 HAS SOUPS 55898 WITH SCORE 55989.961
AT ITER 1247 NEW BEST:: SOT 196931 SOS 92045 HAS SOPS 85285 HAS SOUS 61950 HAS SOUPS 55813 WITH SCORE 55905.045
AT ITER 1249 NEW BEST:: SOT 196939 SOS 92007 HAS SOPS 85293 HAS SOUS 61866 HAS SOUPS 55775 WITH SCORE 55867.007
AT ITER 1250 NEW BEST:: SOT 196939 SOS 92008 HAS SOPS 85294 HAS SOUS 61835 HAS SOUPS 55744 WITH SCORE 55836.008
AT ITER 1255 NEW BEST:: SOT 196933 SOS 92000 HAS SOPS 85286 HAS SOUS 61827 HAS SOUPS 55736 WITH SCORE 55828.0
AT ITER 1275 NEW BEST:: SOT 196822 SOS 91889 HAS SOPS 85175 HAS SOUS 61773 HAS SOUPS 55682 WITH SCORE 55773.889
AT ITER 1277 NEW BEST:: SOT 196852 SOS 90018 HAS SOPS 83304 HAS SOUS 61742 HAS SOUPS 55651 WITH SCORE 55741.018
AT ITER 1279 NEW BEST:: SOT 196950 SOS 90162 HAS SOPS 83263 HAS SOUS 61916 HAS SOUPS 55646 WITH SCORE 55736.162
AT ITER 1284 NEW BEST:: SOT 196950 SOS 90156 HAS SOPS 83257 HAS SOUS 61916 HAS SOUPS 55646 WITH SCORE 55736.156
AT ITER 1286 NEW BEST:: SOT 196830 SOS 89915 HAS SOPS 83016 HAS SOUS 61769 HAS SOUPS 55499 WITH SCORE 55588.915
AT ITER 1306 NEW BEST:: SOT 196725 SOS 89699 HAS SOPS 82800 HAS SOUS 61757 HAS SOUPS 55487 WITH SCORE 55576.699
AT ITER 1308 NEW BEST:: SOT 196642 SOS 89585 HAS SOPS 82686 HAS SOUS 61642 HAS SOUPS 55372 WITH SCORE 55461.585
AT ITER 1315 NEW BEST:: SOT 196627 SOS 89532 HAS SOPS 82633 HAS SOUS 61589 HAS SOUPS 55319 WITH SCORE 55408.532
AT ITER 1316 NEW BEST:: SOT 196559 SOS 89419 HAS SOPS 82520 HAS SOUS 61476 HAS SOUPS 55206 WITH SCORE 55295.419
AT ITER 1318 NEW BEST:: SOT 196451 SOS 88348 HAS SOPS 81449 HAS SOUS 61314 HAS SOUPS 55044 WITH SCORE 55132.348
AT ITER 1329 NEW BEST:: SOT 196405 SOS 88278 HAS SOPS 81379 HAS SOUS 61290 HAS SOUPS 55020 WITH SCORE 55108.278
AT ITER 1353 NEW BEST:: SOT 196401 SOS 88272 HAS SOPS 81373 HAS SOUS 61286 HAS SOUPS 55016 WITH SCORE 55104.272
AT ITER 1362 NEW BEST:: SOT 196623 SOS 88299 HAS SOPS 81399 HAS SOUS 61072 HAS SOUPS 54801 WITH SCORE 54889.299
AT ITER 1367 NEW BEST:: SOT 196600 SOS 88286 HAS SOPS 81376 HAS SOUS 61064 HAS SOUPS 54783 WITH SCORE 54871.286
AT ITER 1373 NEW BEST:: SOT 196552 SOS 88238 HAS SOPS 81280 HAS SOUS 61064 HAS SOUPS 54735 WITH SCORE 54823.238
AT ITER 1376 NEW BEST:: SOT 196429 SOS 87849 HAS SOPS 80891 HAS SOUS 60798 HAS SOUPS 54469 WITH SCORE 54556.849
AT ITER 1377 NEW BEST:: SOT 196381 SOS 87761 HAS SOPS 80798 HAS SOUS 60648 HAS SOUPS 54366 WITH SCORE 54453.761
AT ITER 1381 NEW BEST:: SOT 196415 SOS 87515 HAS SOPS 80552 HAS SOUS 60610 HAS SOUPS 54328 WITH SCORE 54415.515
AT ITER 1388 NEW BEST:: SOT 196345 SOS 87357 HAS SOPS 80377 HAS SOUS 60522 HAS SOUPS 54223 WITH SCORE 54310.357
AT ITER 1392 NEW BEST:: SOT 196345 SOS 87289 HAS SOPS 80309 HAS SOUS 60522 HAS SOUPS 54223 WITH SCORE 54310.289
AT ITER 1397 NEW BEST:: SOT 196345 SOS 87169 HAS SOPS 80229 HAS SOUS 60442 HAS SOUPS 54183 WITH SCORE 54270.169
AT ITER 1403 NEW BEST:: SOT 196327 SOS 87091 HAS SOPS 80151 HAS SOUS 60382 HAS SOUPS 54123 WITH SCORE 54210.091
AT ITER 1408 NEW BEST:: SOT 196268 SOS 87032 HAS SOPS 80092 HAS SOUS 60308 HAS SOUPS 54049 WITH SCORE 54136.032
AT ITER 1413 NEW BEST:: SOT 196255 SOS 87019 HAS SOPS 80079 HAS SOUS 60295 HAS SOUPS 54036 WITH SCORE 54123.019
AT ITER 1425 NEW BEST:: SOT 196233 SOS 86988 HAS SOPS 80036 HAS SOUS 60286 HAS SOUPS 54015 WITH SCORE 54101.988
AT ITER 1437 NEW BEST:: SOT 196179 SOS 86891 HAS SOPS 79966 HAS SOUS 60270 HAS SOUPS 53999 WITH SCORE 54085.891
AT ITER 1439 NEW BEST:: SOT 196179 SOS 86903 HAS SOPS 79978 HAS SOUS 60253 HAS SOUPS 53982 WITH SCORE 54068.903
AT ITER 1449 NEW BEST:: SOT 196177 SOS 86898 HAS SOPS 80075 HAS SOUS 60149 HAS SOUPS 53980 WITH SCORE 54066.898
AT ITER 1456 NEW BEST:: SOT 196596 SOS 86816 HAS SOPS 79993 HAS SOUS 60147 HAS SOUPS 53978 WITH SCORE 54064.816
AT ITER 1457 NEW BEST:: SOT 196552 SOS 86780 HAS SOPS 79957 HAS SOUS 60130 HAS SOUPS 53961 WITH SCORE 54047.78
AT ITER 1464 NEW BEST:: SOT 196507 SOS 86628 HAS SOPS 79805 HAS SOUS 60023 HAS SOUPS 53854 WITH SCORE 53940.628
AT ITER 1473 NEW BEST:: SOT 196109 SOS 86009 HAS SOPS 79406 HAS SOUS 59699 HAS SOUPS 53750 WITH SCORE 53836.009
AT ITER 1474 NEW BEST:: SOT 195944 SOS 85805 HAS SOPS 79202 HAS SOUS 59550 HAS SOUPS 53601 WITH SCORE 53686.805
AT ITER 1476 NEW BEST:: SOT 195944 SOS 85837 HAS SOPS 79218 HAS SOUS 59550 HAS SOUPS 53585 WITH SCORE 53670.837
AT ITER 1477 NEW BEST:: SOT 195759 SOS 85310 HAS SOPS 78799 HAS SOUS 59194 HAS SOUPS 53337 WITH SCORE 53422.31
AT ITER 1493 NEW BEST:: SOT 195759 SOS 85301 HAS SOPS 78790 HAS SOUS 59194 HAS SOUPS 53337 WITH SCORE 53422.301
AT ITER 1496 NEW BEST:: SOT 195671 SOS 85205 HAS SOPS 78694 HAS SOUS 59178 HAS SOUPS 53321 WITH SCORE 53406.205
AT ITER 1522 NEW BEST:: SOT 195598 SOS 85132 HAS SOPS 78621 HAS SOUS 59068 HAS SOUPS 53211 WITH SCORE 53296.132
AT ITER 1528 NEW BEST:: SOT 195449 SOS 84882 HAS SOPS 78403 HAS SOUS 58925 HAS SOUPS 53100 WITH SCORE 53184.882
AT ITER 1535 NEW BEST:: SOT 195437 SOS 84417 HAS SOPS 77938 HAS SOUS 58762 HAS SOUPS 52937 WITH SCORE 53021.417
AT ITER 1553 NEW BEST:: SOT 195398 SOS 84315 HAS SOPS 77836 HAS SOUS 58754 HAS SOUPS 52929 WITH SCORE 53013.315
AT ITER 1555 NEW BEST:: SOT 195153 SOS 84057 HAS SOPS 77708 HAS SOUS 58594 HAS SOUPS 52806 WITH SCORE 52890.057
AT ITER 1559 NEW BEST:: SOT 195190 SOS 84094 HAS SOPS 77745 HAS SOUS 58570 HAS SOUPS 52782 WITH SCORE 52866.094
AT ITER 1573 NEW BEST:: SOT 195178 SOS 84040 HAS SOPS 77691 HAS SOUS 58558 HAS SOUPS 52770 WITH SCORE 52854.04
AT ITER 1575 NEW BEST:: SOT 195175 SOS 84037 HAS SOPS 77688 HAS SOUS 58555 HAS SOUPS 52767 WITH SCORE 52851.037
AT ITER 1596 NEW BEST:: SOT 195054 SOS 83824 HAS SOPS 77475 HAS SOUS 58340 HAS SOUPS 52552 WITH SCORE 52635.824
AT ITER 1602 NEW BEST:: SOT 194766 SOS 83536 HAS SOPS 77091 HAS SOUS 58148 HAS SOUPS 52264 WITH SCORE 52347.536
AT ITER 1614 NEW BEST:: SOT 194725 SOS 83263 HAS SOPS 76945 HAS SOUS 57974 HAS SOUPS 52217 WITH SCORE 52300.263
AT ITER 1622 NEW BEST:: SOT 194699 SOS 83172 HAS SOPS 76854 HAS SOUS 57948 HAS SOUPS 52191 WITH SCORE 52274.172
AT ITER 1629 NEW BEST:: SOT 194694 SOS 83167 HAS SOPS 76849 HAS SOUS 57943 HAS SOUPS 52186 WITH SCORE 52269.167
AT ITER 1640 NEW BEST:: SOT 194694 SOS 83068 HAS SOPS 76783 HAS SOUS 57877 HAS SOUPS 52153 WITH SCORE 52236.068
AT ITER 1675 NEW BEST:: SOT 194694 SOS 83072 HAS SOPS 76782 HAS SOUS 57881 HAS SOUPS 52152 WITH SCORE 52235.072
AT ITER 1677 NEW BEST:: SOT 194667 SOS 82913 HAS SOPS 76656 HAS SOUS 57761 HAS SOUPS 52065 WITH SCORE 52147.913
AT ITER 1685 NEW BEST:: SOT 194681 SOS 82817 HAS SOPS 76560 HAS SOUS 57716 HAS SOUPS 52020 WITH SCORE 52102.817
AT ITER 1693 NEW BEST:: SOT 195051 SOS 83112 HAS SOPS 76683 HAS SOUS 57764 HAS SOUPS 51896 WITH SCORE 51979.112
AT ITER 1726 NEW BEST:: SOT 195051 SOS 83093 HAS SOPS 76683 HAS SOUS 57745 HAS SOUPS 51896 WITH SCORE 51979.093
AT ITER 1728 NEW BEST:: SOT 195077 SOS 83155 HAS SOPS 76637 HAS SOUS 57831 HAS SOUPS 51874 WITH SCORE 51957.155
AT ITER 1733 NEW BEST:: SOT 194828 SOS 82923 HAS SOPS 76395 HAS SOUS 57764 HAS SOUPS 51807 WITH SCORE 51889.923
AT ITER 1734 NEW BEST:: SOT 194744 SOS 82885 HAS SOPS 76357 HAS SOUS 57730 HAS SOUPS 51773 WITH SCORE 51855.885
AT ITER 1740 NEW BEST:: SOT 194636 SOS 82443 HAS SOPS 75915 HAS SOUS 57585 HAS SOUPS 51628 WITH SCORE 51710.443
AT ITER 1754 NEW BEST:: SOT 194368 SOS 80789 HAS SOPS 74281 HAS SOUS 57378 HAS SOUPS 51421 WITH SCORE 51501.789
AT ITER 1758 NEW BEST:: SOT 194345 SOS 80459 HAS SOPS 73973 HAS SOUS 57171 HAS SOUPS 51236 WITH SCORE 51316.459
AT ITER 1762 NEW BEST:: SOT 194323 SOS 80605 HAS SOPS 74018 HAS SOUS 57250 HAS SOUPS 51214 WITH SCORE 51294.605
AT ITER 1779 NEW BEST:: SOT 194238 SOS 80620 HAS SOPS 74033 HAS SOUS 57165 HAS SOUPS 51129 WITH SCORE 51209.62
AT ITER 1782 NEW BEST:: SOT 194074 SOS 80402 HAS SOPS 73815 HAS SOUS 56947 HAS SOUPS 50911 WITH SCORE 50991.402
AT ITER 1786 NEW BEST:: SOT 194041 SOS 80338 HAS SOPS 73751 HAS SOUS 56883 HAS SOUPS 50847 WITH SCORE 50927.338
AT ITER 1789 NEW BEST:: SOT 193979 SOS 80276 HAS SOPS 73689 HAS SOUS 56849 HAS SOUPS 50813 WITH SCORE 50893.276
AT ITER 1795 NEW BEST:: SOT 194469 SOS 80747 HAS SOPS 74160 HAS SOUS 56821 HAS SOUPS 50785 WITH SCORE 50865.747
AT ITER 1796 NEW BEST:: SOT 194453 SOS 80786 HAS SOPS 74201 HAS SOUS 56789 HAS SOUPS 50753 WITH SCORE 50833.786
AT ITER 1798 NEW BEST:: SOT 194236 SOS 80652 HAS SOPS 74067 HAS SOUS 56655 HAS SOUPS 50619 WITH SCORE 50699.652
AT ITER 1806 NEW BEST:: SOT 194145 SOS 80438 HAS SOPS 73853 HAS SOUS 56552 HAS SOUPS 50516 WITH SCORE 50596.438
AT ITER 1810 NEW BEST:: SOT 194145 SOS 80401 HAS SOPS 73816 HAS SOUS 56543 HAS SOUPS 50507 WITH SCORE 50587.401
AT ITER 1814 NEW BEST:: SOT 194111 SOS 80367 HAS SOPS 73782 HAS SOUS 56509 HAS SOUPS 50473 WITH SCORE 50553.367
AT ITER 1836 NEW BEST:: SOT 194136 SOS 80392 HAS SOPS 73807 HAS SOUS 56503 HAS SOUPS 50467 WITH SCORE 50547.392
AT ITER 1837 NEW BEST:: SOT 193822 SOS 80124 HAS SOPS 73419 HAS SOUS 56387 HAS SOUPS 50311 WITH SCORE 50391.124
AT ITER 1838 NEW BEST:: SOT 193669 SOS 79901 HAS SOPS 73196 HAS SOUS 56291 HAS SOUPS 50215 WITH SCORE 50294.901
AT ITER 1848 NEW BEST:: SOT 193577 SOS 79743 HAS SOPS 73038 HAS SOUS 56199 HAS SOUPS 50123 WITH SCORE 50202.743
AT ITER 1890 NEW BEST:: SOT 193425 SOS 79667 HAS SOPS 72924 HAS SOUS 56161 HAS SOUPS 50047 WITH SCORE 50126.667
AT ITER 1906 NEW BEST:: SOT 193357 SOS 78760 HAS SOPS 71937 HAS SOUS 56147 HAS SOUPS 49953 WITH SCORE 50031.76
AT ITER 1910 NEW BEST:: SOT 193277 SOS 78907 HAS SOPS 72084 HAS SOUS 56103 HAS SOUPS 49909 WITH SCORE 49987.907
AT ITER 1914 NEW BEST:: SOT 193272 SOS 78920 HAS SOPS 72079 HAS SOUS 56116 HAS SOUPS 49904 WITH SCORE 49982.92
AT ITER 1930 NEW BEST:: SOT 193252 SOS 78870 HAS SOPS 72029 HAS SOUS 56086 HAS SOUPS 49874 WITH SCORE 49952.87
AT ITER 1939 NEW BEST:: SOT 193250 SOS 78868 HAS SOPS 72027 HAS SOUS 56084 HAS SOUPS 49872 WITH SCORE 49950.868
AT ITER 1950 NEW BEST:: SOT 193329 SOS 78887 HAS SOPS 72046 HAS SOUS 56059 HAS SOUPS 49847 WITH SCORE 49925.887
AT ITER 1952 NEW BEST:: SOT 193329 SOS 78885 HAS SOPS 72044 HAS SOUS 56059 HAS SOUPS 49847 WITH SCORE 49925.885
AT ITER 1954 NEW BEST:: SOT 193245 SOS 78801 HAS SOPS 71960 HAS SOUS 56059 HAS SOUPS 49847 WITH SCORE 49925.801
AT ITER 1958 NEW BEST:: SOT 193164 SOS 78795 HAS SOPS 71954 HAS SOUS 56053 HAS SOUPS 49841 WITH SCORE 49919.795
AT ITER 1962 NEW BEST:: SOT 193094 SOS 78365 HAS SOPS 71723 HAS SOUS 55831 HAS SOUPS 49818 WITH SCORE 49896.365
AT ITER 1968 NEW BEST:: SOT 193041 SOS 78312 HAS SOPS 71670 HAS SOUS 55831 HAS SOUPS 49818 WITH SCORE 49896.312
AT ITER 1971 NEW BEST:: SOT 192937 SOS 78154 HAS SOPS 71566 HAS SOUS 55781 HAS SOUPS 49768 WITH SCORE 49846.154
AT ITER 1981 NEW BEST:: SOT 192781 SOS 78004 HAS SOPS 71416 HAS SOUS 55625 HAS SOUPS 49612 WITH SCORE 49690.004
AT ITER 1986 NEW BEST:: SOT 192781 SOS 77902 HAS SOPS 71314 HAS SOUS 55565 HAS SOUPS 49552 WITH SCORE 49629.902
AT ITER 2001 NEW BEST:: SOT 192723 SOS 77800 HAS SOPS 71212 HAS SOUS 55521 HAS SOUPS 49508 WITH SCORE 49585.8
AT ITER 2003 NEW BEST:: SOT 192719 SOS 77794 HAS SOPS 71206 HAS SOUS 55517 HAS SOUPS 49504 WITH SCORE 49581.794
AT ITER 2006 NEW BEST:: SOT 192653 SOS 77740 HAS SOPS 71152 HAS SOUS 55493 HAS SOUPS 49480 WITH SCORE 49557.74
AT ITER 2010 NEW BEST:: SOT 192496 SOS 77532 HAS SOPS 70944 HAS SOUS 55219 HAS SOUPS 49206 WITH SCORE 49283.532
AT ITER 2017 NEW BEST:: SOT 192440 SOS 77403 HAS SOPS 70815 HAS SOUS 55090 HAS SOUPS 49077 WITH SCORE 49154.403
AT ITER 2028 NEW BEST:: SOT 192358 SOS 77265 HAS SOPS 70651 HAS SOUS 54952 HAS SOUPS 48913 WITH SCORE 48990.265
AT ITER 2033 NEW BEST:: SOT 192358 SOS 77258 HAS SOPS 70644 HAS SOUS 54945 HAS SOUPS 48906 WITH SCORE 48983.258
AT ITER 2039 NEW BEST:: SOT 192365 SOS 77265 HAS SOPS 70625 HAS SOUS 54952 HAS SOUPS 48887 WITH SCORE 48964.265
AT ITER 2042 NEW BEST:: SOT 192292 SOS 77226 HAS SOPS 70586 HAS SOUS 54919 HAS SOUPS 48854 WITH SCORE 48931.226
AT ITER 2044 NEW BEST:: SOT 192246 SOS 77100 HAS SOPS 70494 HAS SOUS 54839 HAS SOUPS 48808 WITH SCORE 48885.1
AT ITER 2045 NEW BEST:: SOT 192183 SOS 76814 HAS SOPS 70208 HAS SOUS 54549 HAS SOUPS 48518 WITH SCORE 48594.814
AT ITER 2060 NEW BEST:: SOT 192169 SOS 76738 HAS SOPS 70125 HAS SOUS 54485 HAS SOUPS 48447 WITH SCORE 48523.738
AT ITER 2065 NEW BEST:: SOT 192277 SOS 76846 HAS SOPS 70233 HAS SOUS 54431 HAS SOUPS 48393 WITH SCORE 48469.846
AT ITER 2088 NEW BEST:: SOT 191973 SOS 76576 HAS SOPS 69963 HAS SOUS 54151 HAS SOUPS 48113 WITH SCORE 48189.576
AT ITER 2099 NEW BEST:: SOT 191903 SOS 76546 HAS SOPS 69933 HAS SOUS 54081 HAS SOUPS 48043 WITH SCORE 48119.546
AT ITER 2111 NEW BEST:: SOT 191793 SOS 76271 HAS SOPS 69658 HAS SOUS 53916 HAS SOUPS 47878 WITH SCORE 47954.271
AT ITER 2145 NEW BEST:: SOT 191654 SOS 76235 HAS SOPS 69479 HAS SOUS 54009 HAS SOUPS 47828 WITH SCORE 47904.235
AT ITER 2154 NEW BEST:: SOT 191638 SOS 75679 HAS SOPS 68923 HAS SOUS 53993 HAS SOUPS 47812 WITH SCORE 47887.679
AT ITER 2156 NEW BEST:: SOT 191638 SOS 75674 HAS SOPS 68918 HAS SOUS 53993 HAS SOUPS 47812 WITH SCORE 47887.674
AT ITER 2174 NEW BEST:: SOT 191516 SOS 75552 HAS SOPS 68796 HAS SOUS 53932 HAS SOUPS 47751 WITH SCORE 47826.552
AT ITER 2176 NEW BEST:: SOT 191362 SOS 75223 HAS SOPS 68467 HAS SOUS 53904 HAS SOUPS 47723 WITH SCORE 47798.223
AT ITER 2190 NEW BEST:: SOT 191353 SOS 75214 HAS SOPS 68458 HAS SOUS 53895 HAS SOUPS 47714 WITH SCORE 47789.214
AT ITER 2199 NEW BEST:: SOT 191497 SOS 75322 HAS SOPS 68566 HAS SOUS 53859 HAS SOUPS 47678 WITH SCORE 47753.322
AT ITER 2203 NEW BEST:: SOT 191449 SOS 75159 HAS SOPS 68403 HAS SOUS 53796 HAS SOUPS 47615 WITH SCORE 47690.159
AT ITER 2204 NEW BEST:: SOT 191373 SOS 75215 HAS SOPS 68222 HAS SOUS 53881 HAS SOUPS 47463 WITH SCORE 47538.215
AT ITER 2206 NEW BEST:: SOT 191325 SOS 75075 HAS SOPS 68082 HAS SOUS 53768 HAS SOUPS 47350 WITH SCORE 47425.075
AT ITER 2208 NEW BEST:: SOT 191288 SOS 75038 HAS SOPS 68045 HAS SOUS 53706 HAS SOUPS 47288 WITH SCORE 47363.038
AT ITER 2247 NEW BEST:: SOT 191240 SOS 75005 HAS SOPS 68012 HAS SOUS 53673 HAS SOUPS 47255 WITH SCORE 47330.005
AT ITER 2248 NEW BEST:: SOT 191240 SOS 74977 HAS SOPS 67984 HAS SOUS 53645 HAS SOUPS 47227 WITH SCORE 47301.977
AT ITER 2265 NEW BEST:: SOT 191247 SOS 74918 HAS SOPS 67925 HAS SOUS 53573 HAS SOUPS 47155 WITH SCORE 47229.918
AT ITER 2273 NEW BEST:: SOT 191146 SOS 74717 HAS SOPS 67723 HAS SOUS 53372 HAS SOUPS 46953 WITH SCORE 47027.717
AT ITER 2294 NEW BEST:: SOT 190901 SOS 74472 HAS SOPS 67572 HAS SOUS 53164 HAS SOUPS 46839 WITH SCORE 46913.472
AT ITER 2300 NEW BEST:: SOT 190877 SOS 74427 HAS SOPS 67527 HAS SOUS 53119 HAS SOUPS 46794 WITH SCORE 46868.427
AT ITER 2311 NEW BEST:: SOT 190870 SOS 74378 HAS SOPS 67492 HAS SOUS 53070 HAS SOUPS 46759 WITH SCORE 46833.378
AT ITER 2331 NEW BEST:: SOT 191477 SOS 74744 HAS SOPS 67858 HAS SOUS 53034 HAS SOUPS 46723 WITH SCORE 46797.744
AT ITER 2351 NEW BEST:: SOT 191440 SOS 74707 HAS SOPS 67821 HAS SOUS 53034 HAS SOUPS 46723 WITH SCORE 46797.707
AT ITER 2362 NEW BEST:: SOT 191410 SOS 74677 HAS SOPS 67771 HAS SOUS 53024 HAS SOUPS 46693 WITH SCORE 46767.677
AT ITER 2395 NEW BEST:: SOT 191394 SOS 74651 HAS SOPS 67745 HAS SOUS 53008 HAS SOUPS 46677 WITH SCORE 46751.651
AT ITER 2397 NEW BEST:: SOT 191394 SOS 74611 HAS SOPS 67705 HAS SOUS 53008 HAS SOUPS 46677 WITH SCORE 46751.611
AT ITER 2411 NEW BEST:: SOT 191363 SOS 74445 HAS SOPS 67539 HAS SOUS 52932 HAS SOUPS 46601 WITH SCORE 46675.445
AT ITER 2429 NEW BEST:: SOT 191362 SOS 74406 HAS SOPS 67500 HAS SOUS 52931 HAS SOUPS 46600 WITH SCORE 46674.406
AT ITER 2432 NEW BEST:: SOT 191380 SOS 74603 HAS SOPS 67697 HAS SOUS 52882 HAS SOUPS 46551 WITH SCORE 46625.603
AT ITER 2457 NEW BEST:: SOT 191376 SOS 74599 HAS SOPS 67693 HAS SOUS 52878 HAS SOUPS 46547 WITH SCORE 46621.599
AT ITER 2470 NEW BEST:: SOT 191364 SOS 74585 HAS SOPS 67679 HAS SOUS 52876 HAS SOUPS 46545 WITH SCORE 46619.585
AT ITER 2479 NEW BEST:: SOT 191340 SOS 74561 HAS SOPS 67655 HAS SOUS 52852 HAS SOUPS 46521 WITH SCORE 46595.561
AT ITER 2498 NEW BEST:: SOT 191538 SOS 74772 HAS SOPS 67778 HAS SOUS 52920 HAS SOUPS 46501 WITH SCORE 46575.772
AT ITER 2513 NEW BEST:: SOT 191503 SOS 74527 HAS SOPS 67533 HAS SOUS 52850 HAS SOUPS 46431 WITH SCORE 46505.527
AT ITER 2520 NEW BEST:: SOT 191417 SOS 74452 HAS SOPS 67458 HAS SOUS 52829 HAS SOUPS 46410 WITH SCORE 46484.452
AT ITER 2529 NEW BEST:: SOT 191406 SOS 74444 HAS SOPS 67450 HAS SOUS 52783 HAS SOUPS 46364 WITH SCORE 46438.444
AT ITER 2534 NEW BEST:: SOT 191242 SOS 74224 HAS SOPS 67230 HAS SOUS 52753 HAS SOUPS 46334 WITH SCORE 46408.224
AT ITER 2544 NEW BEST:: SOT 191179 SOS 74161 HAS SOPS 67146 HAS SOUS 52711 HAS SOUPS 46271 WITH SCORE 46345.161
AT ITER 2550 NEW BEST:: SOT 191173 SOS 74151 HAS SOPS 67136 HAS SOUS 52705 HAS SOUPS 46265 WITH SCORE 46339.151
AT ITER 2576 NEW BEST:: SOT 191177 SOS 74145 HAS SOPS 67130 HAS SOUS 52699 HAS SOUPS 46259 WITH SCORE 46333.145
AT ITER 2583 NEW BEST:: SOT 191141 SOS 74085 HAS SOPS 67070 HAS SOUS 52663 HAS SOUPS 46223 WITH SCORE 46297.085
AT ITER 2587 NEW BEST:: SOT 191134 SOS 74078 HAS SOPS 67063 HAS SOUS 52656 HAS SOUPS 46216 WITH SCORE 46290.078
AT ITER 2597 NEW BEST:: SOT 191118 SOS 74030 HAS SOPS 67031 HAS SOUS 52608 HAS SOUPS 46184 WITH SCORE 46258.03
AT ITER 2598 NEW BEST:: SOT 190819 SOS 73688 HAS SOPS 66689 HAS SOUS 52429 HAS SOUPS 46005 WITH SCORE 46078.688
AT ITER 2621 NEW BEST:: SOT 190954 SOS 73343 HAS SOPS 66344 HAS SOUS 52375 HAS SOUPS 45951 WITH SCORE 46024.343
AT ITER 2625 NEW BEST:: SOT 190888 SOS 73303 HAS SOPS 66304 HAS SOUS 52347 HAS SOUPS 45923 WITH SCORE 45996.303
AT ITER 2642 NEW BEST:: SOT 190828 SOS 73228 HAS SOPS 66229 HAS SOUS 52287 HAS SOUPS 45863 WITH SCORE 45936.228
AT ITER 2651 NEW BEST:: SOT 190499 SOS 72850 HAS SOPS 66023 HAS SOUS 52115 HAS SOUPS 45863 WITH SCORE 45935.85
AT ITER 2687 NEW BEST:: SOT 190485 SOS 72822 HAS SOPS 65995 HAS SOUS 52101 HAS SOUPS 45849 WITH SCORE 45921.822
AT ITER 2691 NEW BEST:: SOT 190505 SOS 72834 HAS SOPS 66007 HAS SOUS 52097 HAS SOUPS 45845 WITH SCORE 45917.834
AT ITER 2701 NEW BEST:: SOT 190413 SOS 72790 HAS SOPS 65963 HAS SOUS 52062 HAS SOUPS 45810 WITH SCORE 45882.79
AT ITER 2703 NEW BEST:: SOT 190409 SOS 72806 HAS SOPS 65979 HAS SOUS 52058 HAS SOUPS 45806 WITH SCORE 45878.806
AT ITER 2734 NEW BEST:: SOT 190361 SOS 72758 HAS SOPS 65931 HAS SOUS 52010 HAS SOUPS 45758 WITH SCORE 45830.758
AT ITER 2735 NEW BEST:: SOT 190322 SOS 72623 HAS SOPS 65796 HAS SOUS 51932 HAS SOUPS 45680 WITH SCORE 45752.623
AT ITER 2741 NEW BEST:: SOT 190319 SOS 72611 HAS SOPS 65784 HAS SOUS 51923 HAS SOUPS 45671 WITH SCORE 45743.611
AT ITER 2749 NEW BEST:: SOT 190279 SOS 72538 HAS SOPS 65696 HAS SOUS 51875 HAS SOUPS 45615 WITH SCORE 45687.538
AT ITER 2763 NEW BEST:: SOT 190109 SOS 73129 HAS SOPS 66072 HAS SOUS 51899 HAS SOUPS 45580 WITH SCORE 45653.129
AT ITER 2774 NEW BEST:: SOT 190109 SOS 71893 HAS SOPS 64836 HAS SOUS 51899 HAS SOUPS 45580 WITH SCORE 45651.893
AT ITER 2775 NEW BEST:: SOT 190105 SOS 71871 HAS SOPS 64814 HAS SOUS 51889 HAS SOUPS 45570 WITH SCORE 45641.871
AT ITER 2792 NEW BEST:: SOT 191215 SOS 72415 HAS SOPS 65358 HAS SOUS 51884 HAS SOUPS 45565 WITH SCORE 45637.415
AT ITER 2803 NEW BEST:: SOT 191202 SOS 72367 HAS SOPS 65310 HAS SOUS 51849 HAS SOUPS 45530 WITH SCORE 45602.367
AT ITER 2809 NEW BEST:: SOT 191284 SOS 72310 HAS SOPS 65168 HAS SOUS 51897 HAS SOUPS 45493 WITH SCORE 45565.31
AT ITER 2815 NEW BEST:: SOT 191270 SOS 72282 HAS SOPS 65140 HAS SOUS 51883 HAS SOUPS 45479 WITH SCORE 45551.282
AT ITER 2830 NEW BEST:: SOT 191270 SOS 72282 HAS SOPS 64992 HAS SOUS 51883 HAS SOUPS 45331 WITH SCORE 45403.282
AT ITER 2842 NEW BEST:: SOT 191108 SOS 72087 HAS SOPS 64791 HAS SOUS 51793 HAS SOUPS 45235 WITH SCORE 45307.087
AT ITER 2843 NEW BEST:: SOT 191086 SOS 72209 HAS SOPS 64825 HAS SOUS 51849 HAS SOUPS 45203 WITH SCORE 45275.209
AT ITER 2850 NEW BEST:: SOT 190999 SOS 72199 HAS SOPS 64716 HAS SOUS 51883 HAS SOUPS 45138 WITH SCORE 45210.199
AT ITER 2857 NEW BEST:: SOT 190863 SOS 72131 HAS SOPS 64648 HAS SOUS 51860 HAS SOUPS 45115 WITH SCORE 45187.131
AT ITER 2862 NEW BEST:: SOT 190764 SOS 72082 HAS SOPS 64549 HAS SOUS 51861 HAS SOUPS 45066 WITH SCORE 45138.082
AT ITER 2880 NEW BEST:: SOT 190734 SOS 72052 HAS SOPS 64519 HAS SOUS 51831 HAS SOUPS 45036 WITH SCORE 45108.052
AT ITER 2903 NEW BEST:: SOT 190732 SOS 72050 HAS SOPS 64517 HAS SOUS 51829 HAS SOUPS 45034 WITH SCORE 45106.05
AT ITER 2906 NEW BEST:: SOT 190694 SOS 71977 HAS SOPS 64406 HAS SOUS 51798 HAS SOUPS 44965 WITH SCORE 45036.977
AT ITER 2911 NEW BEST:: SOT 190600 SOS 71883 HAS SOPS 64312 HAS SOUS 51761 HAS SOUPS 44928 WITH SCORE 44999.883
AT ITER 2920 NEW BEST:: SOT 190566 SOS 71878 HAS SOPS 64302 HAS SOUS 51761 HAS SOUPS 44923 WITH SCORE 44994.878
AT ITER 2923 NEW BEST:: SOT 190503 SOS 71766 HAS SOPS 64190 HAS SOUS 51712 HAS SOUPS 44874 WITH SCORE 44945.766
AT ITER 2932 NEW BEST:: SOT 190468 SOS 71729 HAS SOPS 64153 HAS SOUS 51677 HAS SOUPS 44839 WITH SCORE 44910.729
AT ITER 2939 NEW BEST:: SOT 190500 SOS 71690 HAS SOPS 64114 HAS SOUS 51638 HAS SOUPS 44800 WITH SCORE 44871.69
AT ITER 2943 NEW BEST:: SOT 190272 SOS 71573 HAS SOPS 63997 HAS SOUS 51486 HAS SOUPS 44648 WITH SCORE 44719.573
AT ITER 2947 NEW BEST:: SOT 190206 SOS 71313 HAS SOPS 63743 HAS SOUS 51348 HAS SOUPS 44516 WITH SCORE 44587.313
AT ITER 2970 NEW BEST:: SOT 190206 SOS 71283 HAS SOPS 63713 HAS SOUS 51348 HAS SOUPS 44516 WITH SCORE 44587.283
AT ITER 2971 NEW BEST:: SOT 190200 SOS 71247 HAS SOPS 63698 HAS SOUS 51318 HAS SOUPS 44507 WITH SCORE 44578.247
AT ITER 2990 NEW BEST:: SOT 190222 SOS 71174 HAS SOPS 63625 HAS SOUS 51309 HAS SOUPS 44498 WITH SCORE 44569.174
AT ITER 2993 NEW BEST:: SOT 190238 SOS 70854 HAS SOPS 63305 HAS SOUS 50989 HAS SOUPS 44178 WITH SCORE 44248.854
AT ITER 2994 NEW BEST:: SOT 190197 SOS 70785 HAS SOPS 63236 HAS SOUS 50850 HAS SOUPS 44039 WITH SCORE 44109.785
AT ITER 3000 NEW BEST:: SOT 190175 SOS 70747 HAS SOPS 63198 HAS SOUS 50822 HAS SOUPS 44011 WITH SCORE 44081.747
AT ITER 3005 NEW BEST:: SOT 190174 SOS 70746 HAS SOPS 63197 HAS SOUS 50821 HAS SOUPS 44010 WITH SCORE 44080.746
AT ITER 3022 NEW BEST:: SOT 190174 SOS 70749 HAS SOPS 63197 HAS SOUS 50818 HAS SOUPS 44007 WITH SCORE 44077.749
AT ITER 3029 NEW BEST:: SOT 190158 SOS 70706 HAS SOPS 63163 HAS SOUS 50786 HAS SOUPS 43984 WITH SCORE 44054.706
AT ITER 3044 NEW BEST:: SOT 190157 SOS 70685 HAS SOPS 63141 HAS SOUS 50785 HAS SOUPS 43982 WITH SCORE 44052.685
AT ITER 3055 NEW BEST:: SOT 190176 SOS 70704 HAS SOPS 63160 HAS SOUS 50783 HAS SOUPS 43980 WITH SCORE 44050.704
AT ITER 3080 NEW BEST:: SOT 190088 SOS 69736 HAS SOPS 62192 HAS SOUS 50681 HAS SOUPS 43878 WITH SCORE 43947.736
AT ITER 3094 NEW BEST:: SOT 190098 SOS 69563 HAS SOPS 62086 HAS SOUS 50596 HAS SOUPS 43860 WITH SCORE 43929.563
AT ITER 3111 NEW BEST:: SOT 190064 SOS 69529 HAS SOPS 62018 HAS SOUS 50528 HAS SOUPS 43792 WITH SCORE 43861.529
AT ITER 3112 NEW BEST:: SOT 190042 SOS 69497 HAS SOPS 61974 HAS SOUS 50496 HAS SOUPS 43748 WITH SCORE 43817.497
AT ITER 3121 NEW BEST:: SOT 190065 SOS 69520 HAS SOPS 61895 HAS SOUS 50519 HAS SOUPS 43669 WITH SCORE 43738.52
AT ITER 3124 NEW BEST:: SOT 190064 SOS 69519 HAS SOPS 61894 HAS SOUS 50518 HAS SOUPS 43668 WITH SCORE 43737.519
AT ITER 3131 NEW BEST:: SOT 190052 SOS 69507 HAS SOPS 61882 HAS SOUS 50512 HAS SOUPS 43662 WITH SCORE 43731.507
AT ITER 3161 NEW BEST:: SOT 190019 SOS 69474 HAS SOPS 61850 HAS SOUS 50511 HAS SOUPS 43662 WITH SCORE 43731.474
AT ITER 3176 NEW BEST:: SOT 190022 SOS 69459 HAS SOPS 61835 HAS SOUS 50502 HAS SOUPS 43653 WITH SCORE 43722.459
AT ITER 3188 NEW BEST:: SOT 190022 SOS 69207 HAS SOPS 61583 HAS SOUS 50502 HAS SOUPS 43653 WITH SCORE 43722.207
AT ITER 3198 NEW BEST:: SOT 189910 SOS 69353 HAS SOPS 61729 HAS SOUS 50479 HAS SOUPS 43630 WITH SCORE 43699.353
AT ITER 3201 NEW BEST:: SOT 189888 SOS 69337 HAS SOPS 61713 HAS SOUS 50452 HAS SOUPS 43603 WITH SCORE 43672.337
AT ITER 3202 NEW BEST:: SOT 189888 SOS 69333 HAS SOPS 61709 HAS SOUS 50448 HAS SOUPS 43599 WITH SCORE 43668.333
AT ITER 3207 NEW BEST:: SOT 190033 SOS 69478 HAS SOPS 61854 HAS SOUS 50447 HAS SOUPS 43598 WITH SCORE 43667.478
AT ITER 3214 NEW BEST:: SOT 189993 SOS 69438 HAS SOPS 61804 HAS SOUS 50417 HAS SOUPS 43558 WITH SCORE 43627.438
AT ITER 3230 NEW BEST:: SOT 189970 SOS 69415 HAS SOPS 61781 HAS SOUS 50394 HAS SOUPS 43535 WITH SCORE 43604.415
AT ITER 3231 NEW BEST:: SOT 189906 SOS 69287 HAS SOPS 61653 HAS SOUS 50319 HAS SOUPS 43460 WITH SCORE 43529.287
AT ITER 3243 NEW BEST:: SOT 189855 SOS 69236 HAS SOPS 61630 HAS SOUS 50268 HAS SOUPS 43437 WITH SCORE 43506.236
AT ITER 3263 NEW BEST:: SOT 189855 SOS 69206 HAS SOPS 61600 HAS SOUS 50268 HAS SOUPS 43437 WITH SCORE 43506.206
AT ITER 3274 NEW BEST:: SOT 189853 SOS 69242 HAS SOPS 61636 HAS SOUS 50266 HAS SOUPS 43435 WITH SCORE 43504.242
AT ITER 3278 NEW BEST:: SOT 189742 SOS 69107 HAS SOPS 61518 HAS SOUS 50229 HAS SOUPS 43398 WITH SCORE 43467.107
AT ITER 3294 NEW BEST:: SOT 189710 SOS 69075 HAS SOPS 61486 HAS SOUS 50229 HAS SOUPS 43398 WITH SCORE 43467.075
AT ITER 3295 NEW BEST:: SOT 189702 SOS 68870 HAS SOPS 61281 HAS SOUS 50127 HAS SOUPS 43296 WITH SCORE 43364.87
AT ITER 3296 NEW BEST:: SOT 189713 SOS 68668 HAS SOPS 61079 HAS SOUS 49985 HAS SOUPS 43154 WITH SCORE 43222.668
AT ITER 3320 NEW BEST:: SOT 189702 SOS 68606 HAS SOPS 61055 HAS SOUS 49898 HAS SOUPS 43105 WITH SCORE 43173.606
AT ITER 3330 NEW BEST:: SOT 189681 SOS 68585 HAS SOPS 61009 HAS SOUS 49877 HAS SOUPS 43059 WITH SCORE 43127.585
AT ITER 3360 NEW BEST:: SOT 189896 SOS 67663 HAS SOPS 60087 HAS SOUS 49706 HAS SOUPS 42888 WITH SCORE 42955.663
AT ITER 3367 NEW BEST:: SOT 189816 SOS 66374 HAS SOPS 58798 HAS SOUS 49546 HAS SOUPS 42728 WITH SCORE 42794.374
AT ITER 3382 NEW BEST:: SOT 189769 SOS 66324 HAS SOPS 58748 HAS SOUS 49496 HAS SOUPS 42678 WITH SCORE 42744.324
AT ITER 3386 NEW BEST:: SOT 189768 SOS 66316 HAS SOPS 58740 HAS SOUS 49488 HAS SOUPS 42670 WITH SCORE 42736.316
AT ITER 3388 NEW BEST:: SOT 189763 SOS 66301 HAS SOPS 58730 HAS SOUS 49478 HAS SOUPS 42665 WITH SCORE 42731.301
AT ITER 3395 NEW BEST:: SOT 189751 SOS 66289 HAS SOPS 58718 HAS SOUS 49466 HAS SOUPS 42653 WITH SCORE 42719.289
AT ITER 3399 NEW BEST:: SOT 189748 SOS 66286 HAS SOPS 58715 HAS SOUS 49460 HAS SOUPS 42647 WITH SCORE 42713.286
AT ITER 3415 NEW BEST:: SOT 189594 SOS 66116 HAS SOPS 58545 HAS SOUS 49444 HAS SOUPS 42631 WITH SCORE 42697.116
AT ITER 3425 NEW BEST:: SOT 189588 SOS 66094 HAS SOPS 58523 HAS SOUS 49428 HAS SOUPS 42615 WITH SCORE 42681.094
AT ITER 3429 NEW BEST:: SOT 189848 SOS 66129 HAS SOPS 58508 HAS SOUS 49442 HAS SOUPS 42579 WITH SCORE 42645.129
AT ITER 3430 NEW BEST:: SOT 189848 SOS 66096 HAS SOPS 58486 HAS SOUS 49420 HAS SOUPS 42568 WITH SCORE 42634.096
AT ITER 3434 NEW BEST:: SOT 189839 SOS 66107 HAS SOPS 58497 HAS SOUS 49419 HAS SOUPS 42567 WITH SCORE 42633.107
AT ITER 3456 NEW BEST:: SOT 189839 SOS 66100 HAS SOPS 58490 HAS SOUS 49412 HAS SOUPS 42560 WITH SCORE 42626.1
AT ITER 3462 NEW BEST:: SOT 190027 SOS 66194 HAS SOPS 58584 HAS SOUS 49318 HAS SOUPS 42466 WITH SCORE 42532.194
AT ITER 3466 NEW BEST:: SOT 189994 SOS 66128 HAS SOPS 58518 HAS SOUS 49312 HAS SOUPS 42460 WITH SCORE 42526.128
AT ITER 3467 NEW BEST:: SOT 189800 SOS 65964 HAS SOPS 58263 HAS SOUS 49219 HAS SOUPS 42276 WITH SCORE 42341.964
AT ITER 3485 NEW BEST:: SOT 189713 SOS 65901 HAS SOPS 58200 HAS SOUS 49112 HAS SOUPS 42169 WITH SCORE 42234.901
AT ITER 3515 NEW BEST:: SOT 189709 SOS 65877 HAS SOPS 58176 HAS SOUS 49098 HAS SOUPS 42155 WITH SCORE 42220.877
AT ITER 3529 NEW BEST:: SOT 189713 SOS 65848 HAS SOPS 58147 HAS SOUS 49069 HAS SOUPS 42126 WITH SCORE 42191.848
AT ITER 3548 NEW BEST:: SOT 189757 SOS 65837 HAS SOPS 58136 HAS SOUS 49014 HAS SOUPS 42071 WITH SCORE 42136.837
AT ITER 3555 NEW BEST:: SOT 189645 SOS 65649 HAS SOPS 57948 HAS SOUS 48904 HAS SOUPS 41961 WITH SCORE 42026.649
AT ITER 3559 NEW BEST:: SOT 189600 SOS 65628 HAS SOPS 57876 HAS SOUS 48910 HAS SOUPS 41916 WITH SCORE 41981.628
AT ITER 3565 NEW BEST:: SOT 189556 SOS 65485 HAS SOPS 57733 HAS SOUS 48811 HAS SOUPS 41817 WITH SCORE 41882.485
AT ITER 3584 NEW BEST:: SOT 189546 SOS 65475 HAS SOPS 57723 HAS SOUS 48810 HAS SOUPS 41816 WITH SCORE 41881.475
AT ITER 3602 NEW BEST:: SOT 189468 SOS 65319 HAS SOPS 57567 HAS SOUS 48654 HAS SOUPS 41660 WITH SCORE 41725.319
AT ITER 3650 NEW BEST:: SOT 189468 SOS 65319 HAS SOPS 57567 HAS SOUS 48651 HAS SOUPS 41657 WITH SCORE 41722.319
AT ITER 3680 NEW BEST:: SOT 189444 SOS 65291 HAS SOPS 57526 HAS SOUS 48640 HAS SOUPS 41633 WITH SCORE 41698.291
AT ITER 3693 NEW BEST:: SOT 189431 SOS 65278 HAS SOPS 57509 HAS SOUS 48627 HAS SOUPS 41616 WITH SCORE 41681.278
AT ITER 3716 NEW BEST:: SOT 189380 SOS 65243 HAS SOPS 57425 HAS SOUS 48641 HAS SOUPS 41581 WITH SCORE 41646.243
AT ITER 3725 NEW BEST:: SOT 189372 SOS 65218 HAS SOPS 57405 HAS SOUS 48634 HAS SOUPS 41579 WITH SCORE 41644.218
AT ITER 3726 NEW BEST:: SOT 189332 SOS 65198 HAS SOPS 57365 HAS SOUS 48634 HAS SOUPS 41559 WITH SCORE 41624.198
AT ITER 3766 NEW BEST:: SOT 189224 SOS 64842 HAS SOPS 57247 HAS SOUS 48460 HAS SOUPS 41549 WITH SCORE 41613.842
AT ITER 3790 NEW BEST:: SOT 189264 SOS 64846 HAS SOPS 57251 HAS SOUS 48458 HAS SOUPS 41547 WITH SCORE 41611.846
AT ITER 3795 NEW BEST:: SOT 189264 SOS 64826 HAS SOPS 57231 HAS SOUS 48458 HAS SOUPS 41547 WITH SCORE 41611.826
AT ITER 3822 NEW BEST:: SOT 189225 SOS 64739 HAS SOPS 57144 HAS SOUS 48410 HAS SOUPS 41499 WITH SCORE 41563.739
AT ITER 3832 NEW BEST:: SOT 189202 SOS 64670 HAS SOPS 57098 HAS SOUS 48364 HAS SOUPS 41476 WITH SCORE 41540.67
AT ITER 3838 NEW BEST:: SOT 189202 SOS 64657 HAS SOPS 57085 HAS SOUS 48351 HAS SOUPS 41463 WITH SCORE 41527.657
AT ITER 3842 NEW BEST:: SOT 189121 SOS 64531 HAS SOPS 56990 HAS SOUS 48312 HAS SOUPS 41424 WITH SCORE 41488.531
AT ITER 3870 NEW BEST:: SOT 189054 SOS 64454 HAS SOPS 56846 HAS SOUS 48245 HAS SOUPS 41290 WITH SCORE 41354.454
AT ITER 3876 NEW BEST:: SOT 188853 SOS 64127 HAS SOPS 56519 HAS SOUS 47985 HAS SOUPS 41030 WITH SCORE 41094.127
AT ITER 3908 NEW BEST:: SOT 188813 SOS 64047 HAS SOPS 56439 HAS SOUS 47905 HAS SOUPS 40950 WITH SCORE 41014.047
AT ITER 3918 NEW BEST:: SOT 188803 SOS 64037 HAS SOPS 56424 HAS SOUS 47895 HAS SOUPS 40935 WITH SCORE 40999.037
AT ITER 3922 NEW BEST:: SOT 188718 SOS 63883 HAS SOPS 56372 HAS SOUS 47729 HAS SOUPS 40871 WITH SCORE 40934.883
AT ITER 3923 NEW BEST:: SOT 188708 SOS 63861 HAS SOPS 56350 HAS SOUS 47719 HAS SOUPS 40861 WITH SCORE 40924.861
AT ITER 3927 NEW BEST:: SOT 188703 SOS 63938 HAS SOPS 56387 HAS SOUS 47758 HAS SOUPS 40860 WITH SCORE 40923.938
AT ITER 3932 NEW BEST:: SOT 188702 SOS 63935 HAS SOPS 56384 HAS SOUS 47755 HAS SOUPS 40857 WITH SCORE 40920.935
AT ITER 3935 NEW BEST:: SOT 188702 SOS 63687 HAS SOPS 56136 HAS SOUS 47755 HAS SOUPS 40857 WITH SCORE 40920.687
AT ITER 3952 NEW BEST:: SOT 188658 SOS 63641 HAS SOPS 56130 HAS SOUS 47671 HAS SOUPS 40813 WITH SCORE 40876.641
AT ITER 3953 NEW BEST:: SOT 188660 SOS 63631 HAS SOPS 56125 HAS SOUS 47664 HAS SOUPS 40811 WITH SCORE 40874.631
AT ITER 3960 NEW BEST:: SOT 188687 SOS 63669 HAS SOPS 56143 HAS SOUS 47660 HAS SOUPS 40807 WITH SCORE 40870.669
AT ITER 3974 NEW BEST:: SOT 188696 SOS 63678 HAS SOPS 56152 HAS SOUS 47659 HAS SOUPS 40806 WITH SCORE 40869.678
AT ITER 4014 NEW BEST:: SOT 188693 SOS 63653 HAS SOPS 56127 HAS SOUS 47617 HAS SOUPS 40764 WITH SCORE 40827.653
AT ITER 4016 NEW BEST:: SOT 188622 SOS 63582 HAS SOPS 56056 HAS SOUS 47546 HAS SOUPS 40693 WITH SCORE 40756.582
AT ITER 4017 NEW BEST:: SOT 188611 SOS 63582 HAS SOPS 56034 HAS SOUS 47557 HAS SOUPS 40682 WITH SCORE 40745.582
AT ITER 4020 NEW BEST:: SOT 188597 SOS 63511 HAS SOPS 55987 HAS SOUS 47505 HAS SOUPS 40654 WITH SCORE 40717.511
AT ITER 4032 NEW BEST:: SOT 188565 SOS 63479 HAS SOPS 55955 HAS SOUS 47443 HAS SOUPS 40592 WITH SCORE 40655.479
AT ITER 4036 NEW BEST:: SOT 188562 SOS 63476 HAS SOPS 55952 HAS SOUS 47440 HAS SOUPS 40589 WITH SCORE 40652.476
AT ITER 4048 NEW BEST:: SOT 188546 SOS 63396 HAS SOPS 55872 HAS SOUS 47428 HAS SOUPS 40577 WITH SCORE 40640.396
AT ITER 4105 NEW BEST:: SOT 188322 SOS 62973 HAS SOPS 55638 HAS SOUS 47219 HAS SOUPS 40557 WITH SCORE 40619.973
AT ITER 4120 NEW BEST:: SOT 188308 SOS 62924 HAS SOPS 55603 HAS SOUS 47191 HAS SOUPS 40536 WITH SCORE 40598.924
AT ITER 4122 NEW BEST:: SOT 188302 SOS 62918 HAS SOPS 55597 HAS SOUS 47185 HAS SOUPS 40530 WITH SCORE 40592.918
AT ITER 4138 NEW BEST:: SOT 188278 SOS 62892 HAS SOPS 55571 HAS SOUS 47159 HAS SOUPS 40504 WITH SCORE 40566.892
AT ITER 4160 NEW BEST:: SOT 190485 SOS 65065 HAS SOPS 57749 HAS SOUS 47082 HAS SOUPS 40427 WITH SCORE 40492.065
AT ITER 4173 NEW BEST:: SOT 190473 SOS 65026 HAS SOPS 57710 HAS SOUS 47070 HAS SOUPS 40415 WITH SCORE 40480.026
AT ITER 4177 NEW BEST:: SOT 190289 SOS 64831 HAS SOPS 57515 HAS SOUS 46942 HAS SOUPS 40287 WITH SCORE 40351.831
AT ITER 4187 NEW BEST:: SOT 190227 SOS 64681 HAS SOPS 57365 HAS SOUS 46768 HAS SOUPS 40113 WITH SCORE 40177.681
AT ITER 4196 NEW BEST:: SOT 190225 SOS 64695 HAS SOPS 57373 HAS SOUS 46772 HAS SOUPS 40111 WITH SCORE 40175.695
AT ITER 4203 NEW BEST:: SOT 190215 SOS 64665 HAS SOPS 57343 HAS SOUS 46762 HAS SOUPS 40101 WITH SCORE 40165.665
AT ITER 4222 NEW BEST:: SOT 190203 SOS 64653 HAS SOPS 57325 HAS SOUS 46756 HAS SOUPS 40089 WITH SCORE 40153.653
AT ITER 4229 NEW BEST:: SOT 190201 SOS 64651 HAS SOPS 57319 HAS SOUS 46760 HAS SOUPS 40089 WITH SCORE 40153.651
AT ITER 4238 NEW BEST:: SOT 190069 SOS 64507 HAS SOPS 57175 HAS SOUS 46736 HAS SOUPS 40065 WITH SCORE 40129.507
AT ITER 4239 NEW BEST:: SOT 190091 SOS 64361 HAS SOPS 57029 HAS SOUS 46718 HAS SOUPS 40047 WITH SCORE 40111.361
AT ITER 4286 NEW BEST:: SOT 190091 SOS 64361 HAS SOPS 57029 HAS SOUS 46679 HAS SOUPS 40008 WITH SCORE 40072.361
AT ITER 4289 NEW BEST:: SOT 190058 SOS 64328 HAS SOPS 56996 HAS SOUS 46646 HAS SOUPS 39975 WITH SCORE 40039.328
AT ITER 4322 NEW BEST:: SOT 190051 SOS 64315 HAS SOPS 56983 HAS SOUS 46637 HAS SOUPS 39966 WITH SCORE 40030.315
AT ITER 4358 NEW BEST:: SOT 190028 SOS 64305 HAS SOPS 56973 HAS SOUS 46631 HAS SOUPS 39960 WITH SCORE 40024.305
AT ITER 4378 NEW BEST:: SOT 190022 SOS 64237 HAS SOPS 56905 HAS SOUS 46514 HAS SOUPS 39843 WITH SCORE 39907.237
AT ITER 4386 NEW BEST:: SOT 190038 SOS 64221 HAS SOPS 56817 HAS SOUS 46548 HAS SOUPS 39805 WITH SCORE 39869.221
AT ITER 4402 NEW BEST:: SOT 190004 SOS 64187 HAS SOPS 56766 HAS SOUS 46514 HAS SOUPS 39754 WITH SCORE 39818.187
AT ITER 4411 NEW BEST:: SOT 189994 SOS 64166 HAS SOPS 56745 HAS SOUS 46503 HAS SOUPS 39743 WITH SCORE 39807.166
AT ITER 4415 NEW BEST:: SOT 189968 SOS 64101 HAS SOPS 56680 HAS SOUS 46464 HAS SOUPS 39704 WITH SCORE 39768.101
AT ITER 4420 NEW BEST:: SOT 189882 SOS 64060 HAS SOPS 56639 HAS SOUS 46361 HAS SOUPS 39601 WITH SCORE 39665.06
AT ITER 4465 NEW BEST:: SOT 189869 SOS 64006 HAS SOPS 56585 HAS SOUS 46334 HAS SOUPS 39574 WITH SCORE 39638.006
AT ITER 4492 NEW BEST:: SOT 189864 SOS 63991 HAS SOPS 56570 HAS SOUS 46324 HAS SOUPS 39564 WITH SCORE 39627.991
AT ITER 4515 NEW BEST:: SOT 189853 SOS 63958 HAS SOPS 56537 HAS SOUS 46302 HAS SOUPS 39542 WITH SCORE 39605.958
AT ITER 4520 NEW BEST:: SOT 189817 SOS 63446 HAS SOPS 56025 HAS SOUS 46208 HAS SOUPS 39448 WITH SCORE 39511.446
AT ITER 4551 NEW BEST:: SOT 189799 SOS 63410 HAS SOPS 55920 HAS SOUS 46190 HAS SOUPS 39361 WITH SCORE 39424.41
AT ITER 4564 NEW BEST:: SOT 189794 SOS 63405 HAS SOPS 55915 HAS SOUS 46186 HAS SOUPS 39357 WITH SCORE 39420.405
AT ITER 4569 NEW BEST:: SOT 189778 SOS 63398 HAS SOPS 55883 HAS SOUS 46195 HAS SOUPS 39341 WITH SCORE 39404.398
AT ITER 4587 NEW BEST:: SOT 189927 SOS 63391 HAS SOPS 55861 HAS SOUS 46188 HAS SOUPS 39319 WITH SCORE 39382.391
AT ITER 4595 NEW BEST:: SOT 189921 SOS 63343 HAS SOPS 55773 HAS SOUS 46142 HAS SOUPS 39233 WITH SCORE 39296.343
AT ITER 4638 NEW BEST:: SOT 189911 SOS 63341 HAS SOPS 55771 HAS SOUS 46132 HAS SOUPS 39223 WITH SCORE 39286.341
AT ITER 4650 NEW BEST:: SOT 189915 SOS 63306 HAS SOPS 55736 HAS SOUS 46097 HAS SOUPS 39188 WITH SCORE 39251.306
AT ITER 4669 NEW BEST:: SOT 189885 SOS 63231 HAS SOPS 55661 HAS SOUS 46030 HAS SOUPS 39121 WITH SCORE 39184.231
AT ITER 4709 NEW BEST:: SOT 189848 SOS 63194 HAS SOPS 55624 HAS SOUS 45956 HAS SOUPS 39047 WITH SCORE 39110.194
AT ITER 4713 NEW BEST:: SOT 189846 SOS 63192 HAS SOPS 55622 HAS SOUS 45954 HAS SOUPS 39045 WITH SCORE 39108.192
AT ITER 4735 NEW BEST:: SOT 189846 SOS 63244 HAS SOPS 55650 HAS SOUS 45958 HAS SOUPS 39025 WITH SCORE 39088.244
AT ITER 4811 NEW BEST:: SOT 189806 SOS 62924 HAS SOPS 55581 HAS SOUS 45629 HAS SOUPS 38947 WITH SCORE 39009.924
AT ITER 4826 NEW BEST:: SOT 189780 SOS 62883 HAS SOPS 55566 HAS SOUS 45588 HAS SOUPS 38932 WITH SCORE 38994.883
AT ITER 4851 NEW BEST:: SOT 189734 SOS 62831 HAS SOPS 55527 HAS SOUS 45483 HAS SOUPS 38840 WITH SCORE 38902.831
AT ITER 4899 NEW BEST:: SOT 189731 SOS 62788 HAS SOPS 55484 HAS SOUS 45440 HAS SOUPS 38797 WITH SCORE 38859.788
AT ITER 4908 NEW BEST:: SOT 189731 SOS 62767 HAS SOPS 55463 HAS SOUS 45436 HAS SOUPS 38793 WITH SCORE 38855.767
AT ITER 4936 NEW BEST:: SOT 189697 SOS 62724 HAS SOPS 55420 HAS SOUS 45393 HAS SOUPS 38750 WITH SCORE 38812.724
AT ITER 4962 NEW BEST:: SOT 189645 SOS 62279 HAS SOPS 55017 HAS SOUS 45331 HAS SOUPS 38730 WITH SCORE 38792.279
AT ITER 4986 NEW BEST:: SOT 189708 SOS 60295 HAS SOPS 53033 HAS SOUS 45267 HAS SOUPS 38666 WITH SCORE 38726.295
AT ITER 4990 NEW BEST:: SOT 189748 SOS 60295 HAS SOPS 53033 HAS SOUS 45187 HAS SOUPS 38586 WITH SCORE 38646.295
Bounds file is: CTLFireability.xml
PROPERTY: Parking-PT-432-CTLFireability-00 (! (EF( (AF( ( ((potential((tk(P342)>=1) & (tk(P399)>=1)))) | ((potential((tk(P439)>=1)))) ))))))
PROPERTY: Parking-PT-432-CTLFireability-01 (EF( ((potential((tk(P479)>=1))))))
PROPERTY: Parking-PT-432-CTLFireability-02 (EG( (! (! ( ((potential((tk(P488)>=1)))) | (! ((potential((tk(P47)>=1) & (tk(P99)>=1))))) )))))
PROPERTY: Parking-PT-432-CTLFireability-03 (! (EG( ( (EG( ((potential((tk(P345)>=1)))))) | (! ((potential((tk(P203)>=1))))) ))))
PROPERTY: Parking-PT-432-CTLFireability-04 ( (! (AF( (AX( ((potential((tk(P37)>=1) & (tk(P128)>=1))))))))) | (AG( ( (! (! ((potential((tk(P479)>=1)))))) & ((potential((tk(P455)>=1)))) ))) )
PROPERTY: Parking-PT-432-CTLFireability-05 ( (EG( (! ( ( ((potential((tk(P349)>=1) & (tk(P398)>=1)))) & ((potential((tk(P403)>=1) & (tk(P339)>=1)))) ) & ( ((potential((tk(P228)>=1) & (tk(P277)>=1)))) | ((potential((tk(P31)>=1)))) ) )))) | ( (AG( (EG( ((potential((tk(P61)>=1)))))))) | ( (! ( (! ((potential((tk(P195)>=1))))) | ((potential((tk(P82)>=1) & (tk(P147)>=1)))) )) & (EF( (! ((potential((tk(P51)>=1) & (tk(P107)>=1))))))) ) ) )
PROPERTY: Parking-PT-432-CTLFireability-06 (EF( ( ((potential((tk(P109)>=1)))) | (AG( ( ((potential((tk(P109)>=1)))) & ((potential((tk(P425)>=1) & (tk(P477)>=1)))) ))) )))
PROPERTY: Parking-PT-432-CTLFireability-07 ( ( ( ((potential((tk(P211)>=1)))) & (! (EF( ((potential((tk(P337)>=1))))))) ) | (AF( ((potential((tk(P15)>=1) & (tk(P375)>=1)))))) ) & (! ((potential((tk(P462)>=1) & (tk(P529)>=1))))) )
PROPERTY: Parking-PT-432-CTLFireability-08 (EU( (! ( (! ((potential((tk(P93)>=1))))) & ( ((potential((tk(P456)>=1)))) | ((potential((tk(P197)>=1) & (tk(P276)>=1)))) ) )) , ( ( ( ((potential((tk(P287)>=1) & (tk(P327)>=1)))) | ((potential((tk(P322)>=1) & (tk(P403)>=1)))) ) & ((potential((tk(P168)>=1) & (tk(P267)>=1)))) ) | (AX( ((potential((tk(P488)>=1)))))) ) ))
PROPERTY: Parking-PT-432-CTLFireability-09 (EF( (AX( (AF( ((potential((tk(P354)>=1) & (tk(P403)>=1))))))))))
PROPERTY: Parking-PT-432-CTLFireability-10 (AF( (AG( ( ((potential((tk(P117)>=1)))) & (! ((potential((tk(P463)>=1))))) )))))
PROPERTY: Parking-PT-432-CTLFireability-11 (! (AG( ( ( ( ((potential((tk(P329)>=1)))) | ((potential((tk(P368)>=1) & (tk(P403)>=1)))) ) & ( ((potential((tk(P405)>=1)))) & ((potential((tk(P354)>=1) & (tk(P403)>=1)))) ) ) | (AF( ((potential((tk(P476)>=1) & (tk(P525)>=1)))))) ))))
PROPERTY: Parking-PT-432-CTLFireability-12 ( (AF( ((potential((tk(P106)>=1) & (tk(P147)>=1)))))) & (AG( (! (EF( ((potential((tk(P101)>=1))))))))) )
PROPERTY: Parking-PT-432-CTLFireability-13 (AF( ((potential((tk(P173)>=1) & (tk(P225)>=1))))))
PROPERTY: Parking-PT-432-CTLFireability-14 (EF( (AF( (AG( ((potential((tk(P45)>=1))))))))))
PROPERTY: Parking-PT-432-CTLFireability-15 (EU( ( (AG( ((potential((tk(P447)>=1)))))) | (! ((potential((tk(P168)>=1) & (tk(P267)>=1))))) ) , ( (AX( ((potential((tk(P51)>=1) & (tk(P107)>=1)))))) & ((potential((tk(P19)>=1)))) ) ))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Parking-PT-432"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Parking-PT-432, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250700540"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Parking-PT-432.tgz
mv Parking-PT-432 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;