Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600483.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 AutoFlight-PT-24a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600483
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 4.0K Mar 25 23:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 23:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 15:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 169K 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 AutoFlight-PT-24a-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-24a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589172861865

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 24a
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: 607 places, 605 transitions, 1940 arcs.
AT ITER 0 NEW BEST:: SOT 279551 SOS 182054 HAS SOPS 182054 HAS SOUS 126611 HAS SOUPS 126611 WITH SCORE 126793.054
AT ITER 8 NEW BEST:: SOT 279197 SOS 182358 HAS SOPS 181104 HAS SOUS 126427 HAS SOUPS 126064 WITH SCORE 126246.358
AT ITER 11 NEW BEST:: SOT 278332 SOS 181492 HAS SOPS 180238 HAS SOUS 125881 HAS SOUPS 125518 WITH SCORE 125699.492
AT ITER 13 NEW BEST:: SOT 277301 SOS 180460 HAS SOPS 179206 HAS SOUS 125227 HAS SOUPS 124864 WITH SCORE 125044.46
AT ITER 16 NEW BEST:: SOT 277276 SOS 180434 HAS SOPS 179180 HAS SOUS 125201 HAS SOUPS 124838 WITH SCORE 125018.434
AT ITER 19 NEW BEST:: SOT 276431 SOS 179589 HAS SOPS 178335 HAS SOUS 124642 HAS SOUPS 124279 WITH SCORE 124458.589
AT ITER 20 NEW BEST:: SOT 276339 SOS 178860 HAS SOPS 177502 HAS SOUS 124184 HAS SOUPS 123717 WITH SCORE 123895.86
AT ITER 23 NEW BEST:: SOT 275318 SOS 178153 HAS SOPS 176795 HAS SOUS 124052 HAS SOUPS 123585 WITH SCORE 123763.153
AT ITER 28 NEW BEST:: SOT 275318 SOS 177496 HAS SOPS 176138 HAS SOUS 123614 HAS SOUPS 123147 WITH SCORE 123324.496
AT ITER 33 NEW BEST:: SOT 275318 SOS 177400 HAS SOPS 176042 HAS SOUS 123582 HAS SOUPS 123115 WITH SCORE 123292.4
AT ITER 34 NEW BEST:: SOT 275318 SOS 177354 HAS SOPS 176042 HAS SOUS 123536 HAS SOUPS 123115 WITH SCORE 123292.354
AT ITER 35 NEW BEST:: SOT 274604 SOS 176640 HAS SOPS 175328 HAS SOUS 123060 HAS SOUPS 122639 WITH SCORE 122815.64
AT ITER 36 NEW BEST:: SOT 274466 SOS 176502 HAS SOPS 175190 HAS SOUS 122991 HAS SOUPS 122570 WITH SCORE 122746.502
AT ITER 37 NEW BEST:: SOT 274204 SOS 176778 HAS SOPS 174928 HAS SOUS 122913 HAS SOUPS 122308 WITH SCORE 122484.778
AT ITER 39 NEW BEST:: SOT 273930 SOS 176504 HAS SOPS 174654 HAS SOUS 122767 HAS SOUPS 122162 WITH SCORE 122338.504
AT ITER 43 NEW BEST:: SOT 273859 SOS 176432 HAS SOPS 174582 HAS SOUS 122695 HAS SOUPS 122090 WITH SCORE 122266.432
AT ITER 45 NEW BEST:: SOT 273056 SOS 175629 HAS SOPS 173779 HAS SOUS 122308 HAS SOUPS 121703 WITH SCORE 121878.629
AT ITER 50 NEW BEST:: SOT 271969 SOS 174542 HAS SOPS 172692 HAS SOUS 121518 HAS SOUPS 120913 WITH SCORE 121087.542
AT ITER 51 NEW BEST:: SOT 271946 SOS 174518 HAS SOPS 172668 HAS SOUS 121494 HAS SOUPS 120889 WITH SCORE 121063.518
AT ITER 52 NEW BEST:: SOT 271909 SOS 175130 HAS SOPS 172631 HAS SOUS 121625 HAS SOUPS 120852 WITH SCORE 121027.13
AT ITER 53 NEW BEST:: SOT 271909 SOS 175012 HAS SOPS 172513 HAS SOUS 121559 HAS SOUPS 120786 WITH SCORE 120961.012
AT ITER 61 NEW BEST:: SOT 271627 SOS 174930 HAS SOPS 171433 HAS SOUS 121099 HAS SOUPS 120027 WITH SCORE 120201.93
AT ITER 62 NEW BEST:: SOT 271124 SOS 174426 HAS SOPS 170929 HAS SOUS 120805 HAS SOUPS 119733 WITH SCORE 119907.426
AT ITER 64 NEW BEST:: SOT 270564 SOS 173824 HAS SOPS 170265 HAS SOUS 120411 HAS SOUPS 119277 WITH SCORE 119450.824
AT ITER 65 NEW BEST:: SOT 270368 SOS 173628 HAS SOPS 170069 HAS SOUS 120297 HAS SOUPS 119163 WITH SCORE 119336.628
AT ITER 69 NEW BEST:: SOT 268864 SOS 172090 HAS SOPS 168531 HAS SOUS 119425 HAS SOUPS 118291 WITH SCORE 118463.09
AT ITER 72 NEW BEST:: SOT 268864 SOS 171637 HAS SOPS 168078 HAS SOUS 119290 HAS SOUPS 118156 WITH SCORE 118327.637
AT ITER 74 NEW BEST:: SOT 269046 SOS 170874 HAS SOPS 167315 HAS SOUS 118877 HAS SOUPS 117743 WITH SCORE 117913.874
AT ITER 78 NEW BEST:: SOT 269046 SOS 170622 HAS SOPS 167063 HAS SOUS 118876 HAS SOUPS 117742 WITH SCORE 117912.622
AT ITER 80 NEW BEST:: SOT 269046 SOS 170442 HAS SOPS 166883 HAS SOUS 118756 HAS SOUPS 117622 WITH SCORE 117792.442
AT ITER 85 NEW BEST:: SOT 267274 SOS 167652 HAS SOPS 164093 HAS SOUS 117151 HAS SOUPS 116017 WITH SCORE 116184.652
AT ITER 86 NEW BEST:: SOT 267274 SOS 167587 HAS SOPS 164028 HAS SOUS 117118 HAS SOUPS 115984 WITH SCORE 116151.587
AT ITER 87 NEW BEST:: SOT 267274 SOS 167586 HAS SOPS 164027 HAS SOUS 117027 HAS SOUPS 115893 WITH SCORE 116060.586
AT ITER 88 NEW BEST:: SOT 267217 SOS 166775 HAS SOPS 163216 HAS SOUS 116771 HAS SOUPS 115637 WITH SCORE 115803.775
AT ITER 93 NEW BEST:: SOT 267202 SOS 166750 HAS SOPS 163191 HAS SOUS 116756 HAS SOUPS 115622 WITH SCORE 115788.75
AT ITER 95 NEW BEST:: SOT 266449 SOS 165079 HAS SOPS 161520 HAS SOUS 115785 HAS SOUPS 114651 WITH SCORE 114816.079
AT ITER 97 NEW BEST:: SOT 265323 SOS 163952 HAS SOPS 160393 HAS SOUS 115066 HAS SOUPS 113932 WITH SCORE 114095.952
AT ITER 98 NEW BEST:: SOT 265361 SOS 163466 HAS SOPS 159907 HAS SOUS 114946 HAS SOUPS 113812 WITH SCORE 113975.466
AT ITER 100 NEW BEST:: SOT 265173 SOS 163375 HAS SOPS 159719 HAS SOUS 114855 HAS SOUPS 113624 WITH SCORE 113787.375
AT ITER 101 NEW BEST:: SOT 264342 SOS 162543 HAS SOPS 158887 HAS SOUS 114171 HAS SOUPS 112940 WITH SCORE 113102.543
AT ITER 103 NEW BEST:: SOT 264159 SOS 161389 HAS SOPS 157733 HAS SOUS 113507 HAS SOUPS 112276 WITH SCORE 112437.389
AT ITER 105 NEW BEST:: SOT 263078 SOS 160359 HAS SOPS 156703 HAS SOUS 112667 HAS SOUPS 111436 WITH SCORE 111596.359
AT ITER 106 NEW BEST:: SOT 261913 SOS 159194 HAS SOPS 155538 HAS SOUS 111735 HAS SOUPS 110504 WITH SCORE 110663.194
AT ITER 108 NEW BEST:: SOT 261688 SOS 159081 HAS SOPS 155312 HAS SOUS 111578 HAS SOUPS 110278 WITH SCORE 110437.081
AT ITER 109 NEW BEST:: SOT 261688 SOS 158844 HAS SOPS 155075 HAS SOUS 111420 HAS SOUPS 110120 WITH SCORE 110278.844
AT ITER 111 NEW BEST:: SOT 261408 SOS 158563 HAS SOPS 154794 HAS SOUS 111259 HAS SOUPS 109959 WITH SCORE 110117.563
AT ITER 112 NEW BEST:: SOT 261390 SOS 158581 HAS SOPS 154812 HAS SOUS 111243 HAS SOUPS 109943 WITH SCORE 110101.581
AT ITER 113 NEW BEST:: SOT 261426 SOS 158563 HAS SOPS 154794 HAS SOUS 111225 HAS SOUPS 109925 WITH SCORE 110083.563
AT ITER 115 NEW BEST:: SOT 261425 SOS 158562 HAS SOPS 154793 HAS SOUS 111224 HAS SOUPS 109924 WITH SCORE 110082.562
AT ITER 116 NEW BEST:: SOT 261425 SOS 158479 HAS SOPS 154710 HAS SOUS 111182 HAS SOUPS 109882 WITH SCORE 110040.479
AT ITER 117 NEW BEST:: SOT 261633 SOS 157894 HAS SOPS 154125 HAS SOUS 110918 HAS SOUPS 109618 WITH SCORE 109775.894
AT ITER 118 NEW BEST:: SOT 261633 SOS 157412 HAS SOPS 153643 HAS SOUS 110872 HAS SOUPS 109572 WITH SCORE 109729.412
AT ITER 119 NEW BEST:: SOT 261369 SOS 157666 HAS SOPS 153379 HAS SOUS 110787 HAS SOUPS 109308 WITH SCORE 109465.666
AT ITER 120 NEW BEST:: SOT 261019 SOS 157157 HAS SOPS 152870 HAS SOUS 110488 HAS SOUPS 109009 WITH SCORE 109166.157
AT ITER 124 NEW BEST:: SOT 260241 SOS 156378 HAS SOPS 152091 HAS SOUS 109996 HAS SOUPS 108517 WITH SCORE 108673.378
AT ITER 128 NEW BEST:: SOT 259884 SOS 155493 HAS SOPS 151206 HAS SOUS 109468 HAS SOUPS 107989 WITH SCORE 108144.493
AT ITER 129 NEW BEST:: SOT 259884 SOS 154835 HAS SOPS 150548 HAS SOUS 109031 HAS SOUPS 107552 WITH SCORE 107706.835
AT ITER 130 NEW BEST:: SOT 259765 SOS 154715 HAS SOPS 150428 HAS SOUS 108664 HAS SOUPS 107185 WITH SCORE 107339.715
AT ITER 131 NEW BEST:: SOT 258411 SOS 153361 HAS SOPS 149074 HAS SOUS 107924 HAS SOUPS 106445 WITH SCORE 106598.361
AT ITER 134 NEW BEST:: SOT 258411 SOS 153348 HAS SOPS 149061 HAS SOUS 107923 HAS SOUPS 106444 WITH SCORE 106597.348
AT ITER 140 NEW BEST:: SOT 258165 SOS 152738 HAS SOPS 148451 HAS SOUS 107559 HAS SOUPS 106080 WITH SCORE 106232.738
AT ITER 141 NEW BEST:: SOT 257235 SOS 151808 HAS SOPS 147521 HAS SOUS 106964 HAS SOUPS 105485 WITH SCORE 105636.808
AT ITER 147 NEW BEST:: SOT 257040 SOS 151613 HAS SOPS 147326 HAS SOUS 106821 HAS SOUPS 105342 WITH SCORE 105493.613
AT ITER 148 NEW BEST:: SOT 256289 SOS 150862 HAS SOPS 146575 HAS SOUS 106207 HAS SOUPS 104728 WITH SCORE 104878.862
AT ITER 150 NEW BEST:: SOT 255828 SOS 150400 HAS SOPS 146113 HAS SOUS 106007 HAS SOUPS 104528 WITH SCORE 104678.4
AT ITER 151 NEW BEST:: SOT 255828 SOS 150390 HAS SOPS 146103 HAS SOUS 105997 HAS SOUPS 104518 WITH SCORE 104668.39
AT ITER 154 NEW BEST:: SOT 255612 SOS 150134 HAS SOPS 145846 HAS SOUS 105821 HAS SOUPS 104341 WITH SCORE 104491.134
AT ITER 156 NEW BEST:: SOT 253767 SOS 147446 HAS SOPS 143158 HAS SOUS 104280 HAS SOUPS 102800 WITH SCORE 102947.446
AT ITER 159 NEW BEST:: SOT 253767 SOS 147123 HAS SOPS 142835 HAS SOUS 104093 HAS SOUPS 102613 WITH SCORE 102760.123
AT ITER 162 NEW BEST:: SOT 253915 SOS 146281 HAS SOPS 141993 HAS SOUS 103809 HAS SOUPS 102329 WITH SCORE 102475.281
AT ITER 164 NEW BEST:: SOT 253915 SOS 145930 HAS SOPS 141642 HAS SOUS 103622 HAS SOUPS 102142 WITH SCORE 102287.93
AT ITER 171 NEW BEST:: SOT 253718 SOS 145759 HAS SOPS 141470 HAS SOUS 103554 HAS SOUPS 102074 WITH SCORE 102219.759
AT ITER 172 NEW BEST:: SOT 253517 SOS 145558 HAS SOPS 141268 HAS SOUS 103445 HAS SOUPS 101964 WITH SCORE 102109.558
AT ITER 176 NEW BEST:: SOT 253388 SOS 145428 HAS SOPS 141138 HAS SOUS 103442 HAS SOUPS 101961 WITH SCORE 102106.428
AT ITER 181 NEW BEST:: SOT 252114 SOS 144153 HAS SOPS 139863 HAS SOUS 102667 HAS SOUPS 101186 WITH SCORE 101330.153
AT ITER 184 NEW BEST:: SOT 252060 SOS 144099 HAS SOPS 139809 HAS SOUS 102649 HAS SOUPS 101168 WITH SCORE 101312.099
AT ITER 186 NEW BEST:: SOT 252060 SOS 144098 HAS SOPS 139808 HAS SOUS 102648 HAS SOUPS 101167 WITH SCORE 101311.098
AT ITER 187 NEW BEST:: SOT 252028 SOS 144065 HAS SOPS 139775 HAS SOUS 102615 HAS SOUPS 101134 WITH SCORE 101278.065
AT ITER 189 NEW BEST:: SOT 252028 SOS 144064 HAS SOPS 139774 HAS SOUS 102556 HAS SOUPS 101075 WITH SCORE 101219.064
AT ITER 191 NEW BEST:: SOT 251839 SOS 143874 HAS SOPS 139584 HAS SOUS 102478 HAS SOUPS 100997 WITH SCORE 101140.874
AT ITER 198 NEW BEST:: SOT 251839 SOS 143929 HAS SOPS 139639 HAS SOUS 102447 HAS SOUPS 100966 WITH SCORE 101109.929
AT ITER 201 NEW BEST:: SOT 250965 SOS 143042 HAS SOPS 138752 HAS SOUS 101950 HAS SOUPS 100469 WITH SCORE 100612.042
AT ITER 202 NEW BEST:: SOT 250714 SOS 142898 HAS SOPS 137614 HAS SOUS 101468 HAS SOUPS 99659 WITH SCORE 99801.898
AT ITER 204 NEW BEST:: SOT 250034 SOS 142218 HAS SOPS 136934 HAS SOUS 101128 HAS SOUPS 99319 WITH SCORE 99461.218
AT ITER 213 NEW BEST:: SOT 250034 SOS 141841 HAS SOPS 136557 HAS SOUS 100995 HAS SOUPS 99186 WITH SCORE 99327.841
AT ITER 217 NEW BEST:: SOT 249252 SOS 141059 HAS SOPS 135775 HAS SOUS 100555 HAS SOUPS 98746 WITH SCORE 98887.059
AT ITER 218 NEW BEST:: SOT 249050 SOS 140857 HAS SOPS 135573 HAS SOUS 100530 HAS SOUPS 98721 WITH SCORE 98861.857
AT ITER 219 NEW BEST:: SOT 249049 SOS 140856 HAS SOPS 135572 HAS SOUS 100529 HAS SOUPS 98720 WITH SCORE 98860.856
AT ITER 223 NEW BEST:: SOT 249418 SOS 140946 HAS SOPS 135662 HAS SOUS 100433 HAS SOUPS 98624 WITH SCORE 98764.946
AT ITER 230 NEW BEST:: SOT 249205 SOS 140904 HAS SOPS 135445 HAS SOUS 100103 HAS SOUPS 98194 WITH SCORE 98334.904
AT ITER 233 NEW BEST:: SOT 249205 SOS 140903 HAS SOPS 135444 HAS SOUS 100084 HAS SOUPS 98175 WITH SCORE 98315.903
AT ITER 236 NEW BEST:: SOT 249414 SOS 140961 HAS SOPS 135502 HAS SOUS 100020 HAS SOUPS 98111 WITH SCORE 98251.961
AT ITER 241 NEW BEST:: SOT 249414 SOS 140961 HAS SOPS 135457 HAS SOUS 99975 HAS SOUPS 98066 WITH SCORE 98206.961
AT ITER 242 NEW BEST:: SOT 248356 SOS 139259 HAS SOPS 134918 HAS SOUS 99223 HAS SOUPS 97619 WITH SCORE 97758.259
AT ITER 243 NEW BEST:: SOT 247966 SOS 139063 HAS SOPS 134722 HAS SOUS 99027 HAS SOUPS 97423 WITH SCORE 97562.063
AT ITER 250 NEW BEST:: SOT 247966 SOS 138832 HAS SOPS 134491 HAS SOUS 98966 HAS SOUPS 97362 WITH SCORE 97500.832
AT ITER 251 NEW BEST:: SOT 248182 SOS 138734 HAS SOPS 134243 HAS SOUS 98885 HAS SOUPS 97131 WITH SCORE 97269.734
AT ITER 255 NEW BEST:: SOT 248257 SOS 138633 HAS SOPS 134142 HAS SOUS 98829 HAS SOUPS 97075 WITH SCORE 97213.633
AT ITER 257 NEW BEST:: SOT 247967 SOS 138342 HAS SOPS 133806 HAS SOUS 98652 HAS SOUPS 96853 WITH SCORE 96991.342
AT ITER 267 NEW BEST:: SOT 247268 SOS 136980 HAS SOPS 132444 HAS SOUS 97744 HAS SOUPS 95945 WITH SCORE 96081.98
AT ITER 268 NEW BEST:: SOT 247254 SOS 136966 HAS SOPS 132430 HAS SOUS 97737 HAS SOUPS 95938 WITH SCORE 96074.966
AT ITER 269 NEW BEST:: SOT 247069 SOS 136809 HAS SOPS 132160 HAS SOUS 97536 HAS SOUPS 95668 WITH SCORE 95804.809
AT ITER 275 NEW BEST:: SOT 247069 SOS 136849 HAS SOPS 132160 HAS SOUS 97536 HAS SOUPS 95648 WITH SCORE 95784.849
AT ITER 279 NEW BEST:: SOT 247001 SOS 136787 HAS SOPS 132148 HAS SOUS 97524 HAS SOUPS 95636 WITH SCORE 95772.787
AT ITER 283 NEW BEST:: SOT 246911 SOS 136697 HAS SOPS 132058 HAS SOUS 97479 HAS SOUPS 95591 WITH SCORE 95727.697
AT ITER 285 NEW BEST:: SOT 246911 SOS 136696 HAS SOPS 132057 HAS SOUS 97472 HAS SOUPS 95584 WITH SCORE 95720.696
AT ITER 288 NEW BEST:: SOT 246911 SOS 136353 HAS SOPS 131714 HAS SOUS 97302 HAS SOUPS 95414 WITH SCORE 95550.353
AT ITER 289 NEW BEST:: SOT 246825 SOS 136266 HAS SOPS 131627 HAS SOUS 97262 HAS SOUPS 95374 WITH SCORE 95510.266
AT ITER 300 NEW BEST:: SOT 246766 SOS 136041 HAS SOPS 131402 HAS SOUS 97108 HAS SOUPS 95220 WITH SCORE 95356.041
AT ITER 301 NEW BEST:: SOT 246672 SOS 135947 HAS SOPS 131308 HAS SOUS 97014 HAS SOUPS 95126 WITH SCORE 95261.947
AT ITER 302 NEW BEST:: SOT 246672 SOS 135496 HAS SOPS 130857 HAS SOUS 96846 HAS SOUPS 94958 WITH SCORE 95093.496
AT ITER 303 NEW BEST:: SOT 246672 SOS 135495 HAS SOPS 130856 HAS SOUS 96845 HAS SOUPS 94957 WITH SCORE 95092.495
AT ITER 304 NEW BEST:: SOT 246867 SOS 135143 HAS SOPS 130274 HAS SOUS 96705 HAS SOUPS 94587 WITH SCORE 94722.143
AT ITER 306 NEW BEST:: SOT 247144 SOS 135252 HAS SOPS 130383 HAS SOUS 96594 HAS SOUPS 94476 WITH SCORE 94611.252
AT ITER 307 NEW BEST:: SOT 247015 SOS 135123 HAS SOPS 130254 HAS SOUS 96462 HAS SOUPS 94344 WITH SCORE 94479.123
AT ITER 308 NEW BEST:: SOT 245759 SOS 133391 HAS SOPS 128522 HAS SOUS 95484 HAS SOUPS 93366 WITH SCORE 93499.391
AT ITER 309 NEW BEST:: SOT 245759 SOS 133379 HAS SOPS 128510 HAS SOUS 95472 HAS SOUPS 93354 WITH SCORE 93487.379
AT ITER 312 NEW BEST:: SOT 245759 SOS 133093 HAS SOPS 128224 HAS SOUS 95329 HAS SOUPS 93211 WITH SCORE 93344.093
AT ITER 314 NEW BEST:: SOT 245507 SOS 133048 HAS SOPS 127971 HAS SOUS 95177 HAS SOUPS 92958 WITH SCORE 93091.048
AT ITER 319 NEW BEST:: SOT 245886 SOS 133126 HAS SOPS 127886 HAS SOUS 95259 HAS SOUPS 92877 WITH SCORE 93010.126
AT ITER 322 NEW BEST:: SOT 245857 SOS 132639 HAS SOPS 127509 HAS SOUS 95178 HAS SOUPS 92796 WITH SCORE 92928.639
AT ITER 324 NEW BEST:: SOT 245869 SOS 132728 HAS SOPS 127521 HAS SOUS 95174 HAS SOUPS 92741 WITH SCORE 92873.728
AT ITER 327 NEW BEST:: SOT 245279 SOS 132285 HAS SOPS 127078 HAS SOUS 94985 HAS SOUPS 92552 WITH SCORE 92684.285
AT ITER 329 NEW BEST:: SOT 245093 SOS 131650 HAS SOPS 126563 HAS SOUS 94631 HAS SOUPS 92223 WITH SCORE 92354.65
AT ITER 331 NEW BEST:: SOT 245068 SOS 131610 HAS SOPS 126498 HAS SOUS 94591 HAS SOUPS 92158 WITH SCORE 92289.61
AT ITER 338 NEW BEST:: SOT 244959 SOS 131501 HAS SOPS 126388 HAS SOUS 94574 HAS SOUPS 92140 WITH SCORE 92271.501
AT ITER 339 NEW BEST:: SOT 243486 SOS 130244 HAS SOPS 125131 HAS SOUS 93775 HAS SOUPS 91341 WITH SCORE 91471.244
AT ITER 343 NEW BEST:: SOT 243414 SOS 130100 HAS SOPS 124987 HAS SOUS 93763 HAS SOUPS 91329 WITH SCORE 91459.1
AT ITER 349 NEW BEST:: SOT 243468 SOS 129932 HAS SOPS 124819 HAS SOUS 93755 HAS SOUPS 91321 WITH SCORE 91450.932
AT ITER 351 NEW BEST:: SOT 243207 SOS 129671 HAS SOPS 124558 HAS SOUS 93744 HAS SOUPS 91310 WITH SCORE 91439.671
AT ITER 359 NEW BEST:: SOT 243207 SOS 129671 HAS SOPS 124558 HAS SOUS 93633 HAS SOUPS 91199 WITH SCORE 91328.671
AT ITER 361 NEW BEST:: SOT 243203 SOS 129666 HAS SOPS 124553 HAS SOUS 93628 HAS SOUPS 91194 WITH SCORE 91323.666
AT ITER 363 NEW BEST:: SOT 243165 SOS 130131 HAS SOPS 124514 HAS SOUS 93764 HAS SOUPS 91155 WITH SCORE 91285.131
AT ITER 364 NEW BEST:: SOT 243164 SOS 130312 HAS SOPS 124694 HAS SOUS 93944 HAS SOUPS 91153 WITH SCORE 91283.312
AT ITER 366 NEW BEST:: SOT 242442 SOS 129590 HAS SOPS 123972 HAS SOUS 93478 HAS SOUPS 90687 WITH SCORE 90816.59
AT ITER 370 NEW BEST:: SOT 241629 SOS 128656 HAS SOPS 122920 HAS SOUS 92970 HAS SOUPS 90156 WITH SCORE 90284.656
AT ITER 371 NEW BEST:: SOT 241362 SOS 128389 HAS SOPS 122653 HAS SOUS 92851 HAS SOUPS 90037 WITH SCORE 90165.389
AT ITER 372 NEW BEST:: SOT 241209 SOS 128235 HAS SOPS 122499 HAS SOUS 92748 HAS SOUPS 89934 WITH SCORE 90062.235
AT ITER 373 NEW BEST:: SOT 239491 SOS 126517 HAS SOPS 120781 HAS SOUS 91363 HAS SOUPS 88549 WITH SCORE 88675.517
AT ITER 374 NEW BEST:: SOT 238957 SOS 125805 HAS SOPS 120069 HAS SOUS 90918 HAS SOUPS 88104 WITH SCORE 88229.805
AT ITER 377 NEW BEST:: SOT 238845 SOS 125176 HAS SOPS 119440 HAS SOUS 90468 HAS SOUPS 87654 WITH SCORE 87779.176
AT ITER 379 NEW BEST:: SOT 237709 SOS 124060 HAS SOPS 118324 HAS SOUS 89824 HAS SOUPS 87010 WITH SCORE 87134.06
AT ITER 383 NEW BEST:: SOT 237638 SOS 123989 HAS SOPS 118253 HAS SOUS 89753 HAS SOUPS 86939 WITH SCORE 87062.989
AT ITER 384 NEW BEST:: SOT 237627 SOS 123978 HAS SOPS 118242 HAS SOUS 89742 HAS SOUPS 86928 WITH SCORE 87051.978
AT ITER 386 NEW BEST:: SOT 237442 SOS 123717 HAS SOPS 117981 HAS SOUS 89484 HAS SOUPS 86670 WITH SCORE 86793.717
AT ITER 387 NEW BEST:: SOT 236884 SOS 123159 HAS SOPS 117423 HAS SOUS 88926 HAS SOUPS 86112 WITH SCORE 86235.159
AT ITER 393 NEW BEST:: SOT 236375 SOS 122466 HAS SOPS 116660 HAS SOUS 88487 HAS SOUPS 85603 WITH SCORE 85725.466
AT ITER 394 NEW BEST:: SOT 236353 SOS 122315 HAS SOPS 116509 HAS SOUS 88336 HAS SOUPS 85452 WITH SCORE 85574.315
AT ITER 397 NEW BEST:: SOT 235890 SOS 122335 HAS SOPS 116529 HAS SOUS 88044 HAS SOUPS 85160 WITH SCORE 85282.335
AT ITER 401 NEW BEST:: SOT 235882 SOS 122327 HAS SOPS 116521 HAS SOUS 88036 HAS SOUPS 85152 WITH SCORE 85274.327
AT ITER 406 NEW BEST:: SOT 235624 SOS 122068 HAS SOPS 116262 HAS SOUS 87777 HAS SOUPS 84893 WITH SCORE 85015.068
AT ITER 413 NEW BEST:: SOT 235624 SOS 121985 HAS SOPS 116179 HAS SOUS 87741 HAS SOUPS 84857 WITH SCORE 84978.985
AT ITER 417 NEW BEST:: SOT 235616 SOS 122192 HAS SOPS 116170 HAS SOUS 87813 HAS SOUPS 84848 WITH SCORE 84970.192
AT ITER 422 NEW BEST:: SOT 235284 SOS 121817 HAS SOPS 115979 HAS SOUS 87528 HAS SOUPS 84747 WITH SCORE 84868.817
AT ITER 429 NEW BEST:: SOT 233494 SOS 119319 HAS SOPS 113481 HAS SOUS 85946 HAS SOUPS 83165 WITH SCORE 83284.319
AT ITER 430 NEW BEST:: SOT 233404 SOS 118959 HAS SOPS 113121 HAS SOUS 85893 HAS SOUPS 83112 WITH SCORE 83230.959
AT ITER 431 NEW BEST:: SOT 233379 SOS 119096 HAS SOPS 112966 HAS SOUS 85867 HAS SOUPS 82957 WITH SCORE 83076.096
AT ITER 432 NEW BEST:: SOT 233082 SOS 119060 HAS SOPS 112930 HAS SOUS 85831 HAS SOUPS 82921 WITH SCORE 83040.06
AT ITER 441 NEW BEST:: SOT 232880 SOS 119015 HAS SOPS 112885 HAS SOUS 85731 HAS SOUPS 82821 WITH SCORE 82940.015
AT ITER 446 NEW BEST:: SOT 232072 SOS 118207 HAS SOPS 111953 HAS SOUS 85265 HAS SOUPS 82231 WITH SCORE 82349.207
AT ITER 450 NEW BEST:: SOT 232079 SOS 118124 HAS SOPS 111870 HAS SOUS 85182 HAS SOUPS 82148 WITH SCORE 82266.124
AT ITER 451 NEW BEST:: SOT 232073 SOS 118118 HAS SOPS 111810 HAS SOUS 85151 HAS SOUPS 82088 WITH SCORE 82206.118
AT ITER 453 NEW BEST:: SOT 231982 SOS 118027 HAS SOPS 111719 HAS SOUS 85060 HAS SOUPS 81997 WITH SCORE 82115.027
AT ITER 455 NEW BEST:: SOT 231779 SOS 117824 HAS SOPS 111516 HAS SOUS 84857 HAS SOUPS 81794 WITH SCORE 81911.824
AT ITER 462 NEW BEST:: SOT 231809 SOS 117749 HAS SOPS 111441 HAS SOUS 84802 HAS SOUPS 81739 WITH SCORE 81856.749
AT ITER 467 NEW BEST:: SOT 231771 SOS 117711 HAS SOPS 111403 HAS SOUS 84764 HAS SOUPS 81701 WITH SCORE 81818.711
AT ITER 468 NEW BEST:: SOT 230996 SOS 116136 HAS SOPS 109828 HAS SOUS 83785 HAS SOUPS 80722 WITH SCORE 80838.136
AT ITER 469 NEW BEST:: SOT 231010 SOS 116171 HAS SOPS 109863 HAS SOUS 83770 HAS SOUPS 80707 WITH SCORE 80823.171
AT ITER 471 NEW BEST:: SOT 230304 SOS 114716 HAS SOPS 108408 HAS SOUS 82929 HAS SOUPS 79866 WITH SCORE 79980.716
AT ITER 473 NEW BEST:: SOT 230171 SOS 114582 HAS SOPS 108274 HAS SOUS 82795 HAS SOUPS 79732 WITH SCORE 79846.582
AT ITER 476 NEW BEST:: SOT 230162 SOS 114572 HAS SOPS 108255 HAS SOUS 82785 HAS SOUPS 79713 WITH SCORE 79827.572
AT ITER 478 NEW BEST:: SOT 229463 SOS 113626 HAS SOPS 107139 HAS SOUS 81919 HAS SOUPS 78847 WITH SCORE 78960.626
AT ITER 479 NEW BEST:: SOT 229456 SOS 113577 HAS SOPS 107090 HAS SOUS 81864 HAS SOUPS 78792 WITH SCORE 78905.577
AT ITER 482 NEW BEST:: SOT 229730 SOS 114376 HAS SOPS 106845 HAS SOUS 81957 HAS SOUPS 78510 WITH SCORE 78624.376
AT ITER 485 NEW BEST:: SOT 229676 SOS 113527 HAS SOPS 105868 HAS SOUS 81375 HAS SOUPS 77800 WITH SCORE 77913.527
AT ITER 486 NEW BEST:: SOT 229446 SOS 113617 HAS SOPS 105958 HAS SOUS 81185 HAS SOUPS 77610 WITH SCORE 77723.617
AT ITER 488 NEW BEST:: SOT 229402 SOS 113485 HAS SOPS 105914 HAS SOUS 81141 HAS SOUPS 77588 WITH SCORE 77701.485
AT ITER 491 NEW BEST:: SOT 229337 SOS 113397 HAS SOPS 105773 HAS SOUS 81052 HAS SOUPS 77447 WITH SCORE 77560.397
AT ITER 494 NEW BEST:: SOT 229505 SOS 113254 HAS SOPS 105630 HAS SOUS 81041 HAS SOUPS 77436 WITH SCORE 77549.254
AT ITER 500 NEW BEST:: SOT 229486 SOS 113235 HAS SOPS 105611 HAS SOUS 81003 HAS SOUPS 77398 WITH SCORE 77511.235
AT ITER 501 NEW BEST:: SOT 229486 SOS 113025 HAS SOPS 105401 HAS SOUS 80919 HAS SOUPS 77314 WITH SCORE 77427.025
AT ITER 507 NEW BEST:: SOT 229559 SOS 113098 HAS SOPS 105474 HAS SOUS 80741 HAS SOUPS 77136 WITH SCORE 77249.098
AT ITER 510 NEW BEST:: SOT 229392 SOS 112846 HAS SOPS 105222 HAS SOUS 80489 HAS SOUPS 76884 WITH SCORE 76996.846
AT ITER 520 NEW BEST:: SOT 229391 SOS 112845 HAS SOPS 105220 HAS SOUS 80487 HAS SOUPS 76882 WITH SCORE 76994.845
AT ITER 521 NEW BEST:: SOT 229416 SOS 112139 HAS SOPS 104514 HAS SOUS 80184 HAS SOUPS 76579 WITH SCORE 76691.139
AT ITER 528 NEW BEST:: SOT 228442 SOS 110468 HAS SOPS 103540 HAS SOUS 79425 HAS SOUPS 76035 WITH SCORE 76145.468
AT ITER 529 NEW BEST:: SOT 228430 SOS 110444 HAS SOPS 103516 HAS SOUS 79413 HAS SOUPS 76023 WITH SCORE 76133.444
AT ITER 536 NEW BEST:: SOT 228709 SOS 110379 HAS SOPS 103451 HAS SOUS 79392 HAS SOUPS 76002 WITH SCORE 76112.379
AT ITER 539 NEW BEST:: SOT 228678 SOS 111428 HAS SOPS 103289 HAS SOUS 79551 HAS SOUPS 75840 WITH SCORE 75951.428
AT ITER 543 NEW BEST:: SOT 228501 SOS 111421 HAS SOPS 103216 HAS SOUS 79518 HAS SOUPS 75767 WITH SCORE 75878.421
AT ITER 544 NEW BEST:: SOT 228312 SOS 111232 HAS SOPS 103027 HAS SOUS 79455 HAS SOUPS 75704 WITH SCORE 75815.232
AT ITER 548 NEW BEST:: SOT 228265 SOS 111177 HAS SOPS 102972 HAS SOUS 79400 HAS SOUPS 75649 WITH SCORE 75760.177
AT ITER 551 NEW BEST:: SOT 228253 SOS 111165 HAS SOPS 103136 HAS SOUS 79142 HAS SOUPS 75567 WITH SCORE 75678.165
AT ITER 560 NEW BEST:: SOT 227169 SOS 109868 HAS SOPS 101839 HAS SOUS 78277 HAS SOUPS 74702 WITH SCORE 74811.868
AT ITER 563 NEW BEST:: SOT 226669 SOS 109798 HAS SOPS 101769 HAS SOUS 77971 HAS SOUPS 74396 WITH SCORE 74505.798
AT ITER 566 NEW BEST:: SOT 226768 SOS 110170 HAS SOPS 101464 HAS SOUS 78062 HAS SOUPS 74214 WITH SCORE 74324.17
AT ITER 592 NEW BEST:: SOT 226654 SOS 110035 HAS SOPS 101329 HAS SOUS 77944 HAS SOUPS 74096 WITH SCORE 74206.035
AT ITER 602 NEW BEST:: SOT 226186 SOS 109540 HAS SOPS 100834 HAS SOUS 77488 HAS SOUPS 73640 WITH SCORE 73749.54
AT ITER 608 NEW BEST:: SOT 226186 SOS 109504 HAS SOPS 100810 HAS SOUS 77476 HAS SOUPS 73640 WITH SCORE 73749.504
AT ITER 612 NEW BEST:: SOT 226186 SOS 109483 HAS SOPS 100789 HAS SOUS 77462 HAS SOUPS 73626 WITH SCORE 73735.483
AT ITER 622 NEW BEST:: SOT 226158 SOS 109427 HAS SOPS 100733 HAS SOUS 77378 HAS SOUPS 73542 WITH SCORE 73651.427
AT ITER 628 NEW BEST:: SOT 226184 SOS 109463 HAS SOPS 100702 HAS SOUS 77371 HAS SOUPS 73511 WITH SCORE 73620.463
AT ITER 632 NEW BEST:: SOT 226183 SOS 109338 HAS SOPS 100568 HAS SOUS 77237 HAS SOUPS 73377 WITH SCORE 73486.338
AT ITER 635 NEW BEST:: SOT 226183 SOS 109338 HAS SOPS 100568 HAS SOUS 76887 HAS SOUPS 73027 WITH SCORE 73136.338
AT ITER 637 NEW BEST:: SOT 225997 SOS 109152 HAS SOPS 100382 HAS SOUS 76701 HAS SOUPS 72841 WITH SCORE 72950.152
AT ITER 646 NEW BEST:: SOT 225997 SOS 109079 HAS SOPS 100309 HAS SOUS 76628 HAS SOUPS 72768 WITH SCORE 72877.079
AT ITER 649 NEW BEST:: SOT 225248 SOS 108330 HAS SOPS 99560 HAS SOUS 75879 HAS SOUPS 72019 WITH SCORE 72127.33
AT ITER 651 NEW BEST:: SOT 225188 SOS 108180 HAS SOPS 99410 HAS SOUS 75789 HAS SOUPS 71929 WITH SCORE 72037.18
AT ITER 655 NEW BEST:: SOT 225110 SOS 108102 HAS SOPS 99332 HAS SOUS 75633 HAS SOUPS 71773 WITH SCORE 71881.102
AT ITER 663 NEW BEST:: SOT 225119 SOS 107778 HAS SOPS 99008 HAS SOUS 75549 HAS SOUPS 71689 WITH SCORE 71796.778
AT ITER 664 NEW BEST:: SOT 225089 SOS 107748 HAS SOPS 98978 HAS SOUS 75489 HAS SOUPS 71629 WITH SCORE 71736.748
AT ITER 666 NEW BEST:: SOT 224850 SOS 107408 HAS SOPS 98638 HAS SOUS 75213 HAS SOUPS 71353 WITH SCORE 71460.408
AT ITER 669 NEW BEST:: SOT 224818 SOS 107412 HAS SOPS 98614 HAS SOUS 75193 HAS SOUPS 71305 WITH SCORE 71412.412
AT ITER 678 NEW BEST:: SOT 224438 SOS 106101 HAS SOPS 97394 HAS SOUS 74631 HAS SOUPS 70743 WITH SCORE 70849.101
AT ITER 680 NEW BEST:: SOT 224438 SOS 105889 HAS SOPS 97182 HAS SOUS 74551 HAS SOUPS 70663 WITH SCORE 70768.889
AT ITER 682 NEW BEST:: SOT 224395 SOS 105525 HAS SOPS 96818 HAS SOUS 74467 HAS SOUPS 70579 WITH SCORE 70684.525
AT ITER 683 NEW BEST:: SOT 223870 SOS 105763 HAS SOPS 97056 HAS SOUS 74410 HAS SOUPS 70522 WITH SCORE 70627.763
AT ITER 689 NEW BEST:: SOT 224103 SOS 105581 HAS SOPS 96769 HAS SOUS 74145 HAS SOUPS 70152 WITH SCORE 70257.581
AT ITER 691 NEW BEST:: SOT 223722 SOS 105578 HAS SOPS 96766 HAS SOUS 73976 HAS SOUPS 69983 WITH SCORE 70088.578
AT ITER 698 NEW BEST:: SOT 223757 SOS 105562 HAS SOPS 96750 HAS SOUS 73957 HAS SOUPS 69964 WITH SCORE 70069.562
AT ITER 699 NEW BEST:: SOT 223754 SOS 105553 HAS SOPS 96744 HAS SOUS 73954 HAS SOUPS 69961 WITH SCORE 70066.553
AT ITER 700 NEW BEST:: SOT 223616 SOS 105430 HAS SOPS 96638 HAS SOUS 73848 HAS SOUPS 69855 WITH SCORE 69960.43
AT ITER 704 NEW BEST:: SOT 223538 SOS 105360 HAS SOPS 96543 HAS SOUS 73835 HAS SOUPS 69817 WITH SCORE 69922.36
AT ITER 707 NEW BEST:: SOT 223463 SOS 105361 HAS SOPS 96468 HAS SOUS 73836 HAS SOUPS 69742 WITH SCORE 69847.361
AT ITER 713 NEW BEST:: SOT 223463 SOS 105298 HAS SOPS 96405 HAS SOUS 73836 HAS SOUPS 69742 WITH SCORE 69847.298
AT ITER 715 NEW BEST:: SOT 222953 SOS 104584 HAS SOPS 95691 HAS SOUS 73428 HAS SOUPS 69334 WITH SCORE 69438.584
AT ITER 718 NEW BEST:: SOT 222946 SOS 104577 HAS SOPS 95663 HAS SOUS 73400 HAS SOUPS 69306 WITH SCORE 69410.577
AT ITER 720 NEW BEST:: SOT 222778 SOS 104404 HAS SOPS 95490 HAS SOUS 73328 HAS SOUPS 69234 WITH SCORE 69338.404
AT ITER 722 NEW BEST:: SOT 222744 SOS 104729 HAS SOPS 94967 HAS SOUS 73247 HAS SOUPS 68932 WITH SCORE 69036.729
AT ITER 744 NEW BEST:: SOT 222688 SOS 104673 HAS SOPS 94855 HAS SOUS 73177 HAS SOUPS 68820 WITH SCORE 68924.673
AT ITER 745 NEW BEST:: SOT 222517 SOS 103909 HAS SOPS 94091 HAS SOUS 72612 HAS SOUPS 68255 WITH SCORE 68358.909
AT ITER 750 NEW BEST:: SOT 222499 SOS 103891 HAS SOPS 94073 HAS SOUS 72603 HAS SOUPS 68246 WITH SCORE 68349.891
AT ITER 752 NEW BEST:: SOT 222277 SOS 103335 HAS SOPS 93911 HAS SOUS 72401 HAS SOUPS 68160 WITH SCORE 68263.335
AT ITER 754 NEW BEST:: SOT 221787 SOS 102845 HAS SOPS 93421 HAS SOUS 72244 HAS SOUPS 68003 WITH SCORE 68105.845
AT ITER 756 NEW BEST:: SOT 221787 SOS 102835 HAS SOPS 93406 HAS SOUS 72239 HAS SOUPS 67993 WITH SCORE 68095.835
AT ITER 767 NEW BEST:: SOT 221576 SOS 102624 HAS SOPS 93195 HAS SOUS 72053 HAS SOUPS 67807 WITH SCORE 67909.624
AT ITER 775 NEW BEST:: SOT 221076 SOS 101471 HAS SOPS 92042 HAS SOUS 71400 HAS SOUPS 67154 WITH SCORE 67255.471
AT ITER 777 NEW BEST:: SOT 221076 SOS 101447 HAS SOPS 92018 HAS SOUS 71348 HAS SOUPS 67102 WITH SCORE 67203.447
AT ITER 778 NEW BEST:: SOT 221021 SOS 101715 HAS SOPS 91835 HAS SOUS 71292 HAS SOUPS 66919 WITH SCORE 67020.715
AT ITER 780 NEW BEST:: SOT 221020 SOS 101714 HAS SOPS 91834 HAS SOUS 71290 HAS SOUPS 66917 WITH SCORE 67018.714
AT ITER 789 NEW BEST:: SOT 221152 SOS 101831 HAS SOPS 91951 HAS SOUS 71210 HAS SOUPS 66837 WITH SCORE 66938.831
AT ITER 791 NEW BEST:: SOT 221052 SOS 101616 HAS SOPS 91736 HAS SOUS 71102 HAS SOUPS 66729 WITH SCORE 66830.616
AT ITER 804 NEW BEST:: SOT 220322 SOS 101256 HAS SOPS 91376 HAS SOUS 70914 HAS SOUPS 66541 WITH SCORE 66642.256
AT ITER 806 NEW BEST:: SOT 220321 SOS 101277 HAS SOPS 91396 HAS SOUS 70852 HAS SOUPS 66478 WITH SCORE 66579.277
AT ITER 807 NEW BEST:: SOT 219650 SOS 100984 HAS SOPS 91103 HAS SOUS 70677 HAS SOUPS 66303 WITH SCORE 66403.984
AT ITER 808 NEW BEST:: SOT 219566 SOS 101000 HAS SOPS 91119 HAS SOUS 70409 HAS SOUPS 66035 WITH SCORE 66136.0
AT ITER 817 NEW BEST:: SOT 219439 SOS 100975 HAS SOPS 91043 HAS SOUS 70384 HAS SOUPS 65959 WITH SCORE 66059.975
AT ITER 840 NEW BEST:: SOT 219411 SOS 100905 HAS SOPS 90973 HAS SOUS 70370 HAS SOUPS 65945 WITH SCORE 66045.905
AT ITER 851 NEW BEST:: SOT 219045 SOS 100939 HAS SOPS 91007 HAS SOUS 70036 HAS SOUPS 65611 WITH SCORE 65711.939
AT ITER 852 NEW BEST:: SOT 219067 SOS 100864 HAS SOPS 90932 HAS SOUS 70018 HAS SOUPS 65593 WITH SCORE 65693.864
AT ITER 857 NEW BEST:: SOT 219065 SOS 101015 HAS SOPS 90929 HAS SOUS 70115 HAS SOUPS 65590 WITH SCORE 65691.015
AT ITER 859 NEW BEST:: SOT 219065 SOS 101000 HAS SOPS 90914 HAS SOUS 70100 HAS SOUPS 65575 WITH SCORE 65676.0
AT ITER 869 NEW BEST:: SOT 219126 SOS 101669 HAS SOPS 90884 HAS SOUS 70070 HAS SOUPS 65393 WITH SCORE 65494.669
AT ITER 871 NEW BEST:: SOT 219110 SOS 101631 HAS SOPS 90846 HAS SOUS 70038 HAS SOUPS 65361 WITH SCORE 65462.631
AT ITER 879 NEW BEST:: SOT 219110 SOS 101529 HAS SOPS 90778 HAS SOUS 69970 HAS SOUPS 65327 WITH SCORE 65428.529
AT ITER 891 NEW BEST:: SOT 219082 SOS 101459 HAS SOPS 90708 HAS SOUS 69928 HAS SOUPS 65285 WITH SCORE 65386.459
AT ITER 898 NEW BEST:: SOT 219279 SOS 101656 HAS SOPS 90603 HAS SOUS 70108 HAS SOUPS 65163 WITH SCORE 65264.656
AT ITER 900 NEW BEST:: SOT 219279 SOS 101632 HAS SOPS 90579 HAS SOUS 70108 HAS SOUPS 65163 WITH SCORE 65264.632
AT ITER 904 NEW BEST:: SOT 219184 SOS 101467 HAS SOPS 90414 HAS SOUS 69978 HAS SOUPS 65033 WITH SCORE 65134.467
AT ITER 917 NEW BEST:: SOT 218984 SOS 101349 HAS SOPS 90235 HAS SOUS 69920 HAS SOUPS 64914 WITH SCORE 65015.349
AT ITER 921 NEW BEST:: SOT 219004 SOS 101309 HAS SOPS 90195 HAS SOUS 69885 HAS SOUPS 64879 WITH SCORE 64980.309
AT ITER 943 NEW BEST:: SOT 218780 SOS 101029 HAS SOPS 89915 HAS SOUS 69717 HAS SOUPS 64711 WITH SCORE 64812.029
AT ITER 963 NEW BEST:: SOT 218700 SOS 101056 HAS SOPS 89760 HAS SOUS 69630 HAS SOUPS 64556 WITH SCORE 64657.056
AT ITER 968 NEW BEST:: SOT 218700 SOS 101093 HAS SOPS 89797 HAS SOUS 69594 HAS SOUPS 64520 WITH SCORE 64621.093
AT ITER 978 NEW BEST:: SOT 218700 SOS 101126 HAS SOPS 89830 HAS SOUS 69586 HAS SOUPS 64512 WITH SCORE 64613.126
AT ITER 979 NEW BEST:: SOT 218642 SOS 101068 HAS SOPS 89681 HAS SOUS 69561 HAS SOUPS 64396 WITH SCORE 64497.068
AT ITER 989 NEW BEST:: SOT 218642 SOS 100968 HAS SOPS 89581 HAS SOUS 69461 HAS SOUPS 64296 WITH SCORE 64396.968
AT ITER 992 NEW BEST:: SOT 218689 SOS 100949 HAS SOPS 89562 HAS SOUS 69453 HAS SOUPS 64288 WITH SCORE 64388.949
AT ITER 993 NEW BEST:: SOT 218568 SOS 100828 HAS SOPS 89441 HAS SOUS 69398 HAS SOUPS 64233 WITH SCORE 64333.828
AT ITER 998 NEW BEST:: SOT 218529 SOS 100789 HAS SOPS 89363 HAS SOUS 69320 HAS SOUPS 64155 WITH SCORE 64255.789
AT ITER 1002 NEW BEST:: SOT 218493 SOS 101449 HAS SOPS 90023 HAS SOUS 69266 HAS SOUPS 64101 WITH SCORE 64202.449
AT ITER 1006 NEW BEST:: SOT 218479 SOS 101442 HAS SOPS 90016 HAS SOUS 69259 HAS SOUPS 64094 WITH SCORE 64195.442
AT ITER 1009 NEW BEST:: SOT 218633 SOS 101709 HAS SOPS 90047 HAS SOUS 69313 HAS SOUPS 64089 WITH SCORE 64190.709
AT ITER 1020 NEW BEST:: SOT 218371 SOS 101447 HAS SOPS 89785 HAS SOUS 68791 HAS SOUPS 63567 WITH SCORE 63668.447
AT ITER 1029 NEW BEST:: SOT 218371 SOS 101303 HAS SOPS 89569 HAS SOUS 68719 HAS SOUPS 63423 WITH SCORE 63524.303
AT ITER 1037 NEW BEST:: SOT 218277 SOS 101208 HAS SOPS 89397 HAS SOUS 68547 HAS SOUPS 63251 WITH SCORE 63352.208
AT ITER 1039 NEW BEST:: SOT 218255 SOS 101153 HAS SOPS 89375 HAS SOUS 68525 HAS SOUPS 63240 WITH SCORE 63341.153
AT ITER 1041 NEW BEST:: SOT 218167 SOS 100975 HAS SOPS 89197 HAS SOUS 68390 HAS SOUPS 63105 WITH SCORE 63205.975
AT ITER 1043 NEW BEST:: SOT 218029 SOS 100681 HAS SOPS 88903 HAS SOUS 68250 HAS SOUPS 62965 WITH SCORE 63065.681
AT ITER 1048 NEW BEST:: SOT 217873 SOS 100435 HAS SOPS 88657 HAS SOUS 68136 HAS SOUPS 62851 WITH SCORE 62951.435
AT ITER 1051 NEW BEST:: SOT 217849 SOS 100353 HAS SOPS 88575 HAS SOUS 68108 HAS SOUPS 62823 WITH SCORE 62923.353
AT ITER 1056 NEW BEST:: SOT 217583 SOS 100086 HAS SOPS 88338 HAS SOUS 67841 HAS SOUPS 62586 WITH SCORE 62686.086
AT ITER 1057 NEW BEST:: SOT 217583 SOS 100032 HAS SOPS 88284 HAS SOUS 67787 HAS SOUPS 62532 WITH SCORE 62632.032
AT ITER 1062 NEW BEST:: SOT 217450 SOS 99811 HAS SOPS 88039 HAS SOUS 67651 HAS SOUPS 62396 WITH SCORE 62495.811
AT ITER 1063 NEW BEST:: SOT 217508 SOS 99869 HAS SOPS 88097 HAS SOUS 67641 HAS SOUPS 62386 WITH SCORE 62485.869
AT ITER 1068 NEW BEST:: SOT 217508 SOS 99849 HAS SOPS 88077 HAS SOUS 67621 HAS SOUPS 62366 WITH SCORE 62465.849
AT ITER 1084 NEW BEST:: SOT 217399 SOS 99631 HAS SOPS 87859 HAS SOUS 67512 HAS SOUPS 62257 WITH SCORE 62356.631
AT ITER 1087 NEW BEST:: SOT 217315 SOS 99561 HAS SOPS 87789 HAS SOUS 67470 HAS SOUPS 62215 WITH SCORE 62314.561
AT ITER 1088 NEW BEST:: SOT 217385 SOS 99631 HAS SOPS 87665 HAS SOUS 67540 HAS SOUPS 62091 WITH SCORE 62190.631
AT ITER 1090 NEW BEST:: SOT 217259 SOS 98805 HAS SOPS 86839 HAS SOUS 67506 HAS SOUPS 62057 WITH SCORE 62155.805
AT ITER 1101 NEW BEST:: SOT 217259 SOS 98724 HAS SOPS 86758 HAS SOUS 67480 HAS SOUPS 62031 WITH SCORE 62129.724
AT ITER 1106 NEW BEST:: SOT 217237 SOS 98666 HAS SOPS 86700 HAS SOUS 67422 HAS SOUPS 61973 WITH SCORE 62071.666
AT ITER 1111 NEW BEST:: SOT 217169 SOS 98637 HAS SOPS 86671 HAS SOUS 67393 HAS SOUPS 61944 WITH SCORE 62042.637
AT ITER 1114 NEW BEST:: SOT 217159 SOS 98627 HAS SOPS 86661 HAS SOUS 67383 HAS SOUPS 61934 WITH SCORE 62032.627
AT ITER 1120 NEW BEST:: SOT 216297 SOS 97673 HAS SOPS 85707 HAS SOUS 66429 HAS SOUPS 60980 WITH SCORE 61077.673
AT ITER 1122 NEW BEST:: SOT 216251 SOS 97586 HAS SOPS 85620 HAS SOUS 66296 HAS SOUPS 60847 WITH SCORE 60944.586
AT ITER 1126 NEW BEST:: SOT 215945 SOS 97275 HAS SOPS 85309 HAS SOUS 66159 HAS SOUPS 60710 WITH SCORE 60807.275
AT ITER 1133 NEW BEST:: SOT 215943 SOS 97272 HAS SOPS 85307 HAS SOUS 66156 HAS SOUPS 60708 WITH SCORE 60805.272
AT ITER 1135 NEW BEST:: SOT 215843 SOS 97622 HAS SOPS 85018 HAS SOUS 65867 HAS SOUPS 60230 WITH SCORE 60327.622
AT ITER 1144 NEW BEST:: SOT 215842 SOS 97621 HAS SOPS 85056 HAS SOUS 65865 HAS SOUPS 60228 WITH SCORE 60325.621
AT ITER 1152 NEW BEST:: SOT 215798 SOS 97511 HAS SOPS 84946 HAS SOUS 65799 HAS SOUPS 60162 WITH SCORE 60259.511
AT ITER 1166 NEW BEST:: SOT 215798 SOS 97423 HAS SOPS 84858 HAS SOUS 65755 HAS SOUPS 60118 WITH SCORE 60215.423
AT ITER 1171 NEW BEST:: SOT 215865 SOS 97323 HAS SOPS 84716 HAS SOUS 65598 HAS SOUPS 59919 WITH SCORE 60016.323
AT ITER 1176 NEW BEST:: SOT 215839 SOS 97241 HAS SOPS 84634 HAS SOUS 65572 HAS SOUPS 59893 WITH SCORE 59990.241
AT ITER 1182 NEW BEST:: SOT 215751 SOS 97065 HAS SOPS 84458 HAS SOUS 65396 HAS SOUPS 59717 WITH SCORE 59814.065
AT ITER 1189 NEW BEST:: SOT 215750 SOS 96818 HAS SOPS 84211 HAS SOUS 65313 HAS SOUPS 59634 WITH SCORE 59730.818
AT ITER 1191 NEW BEST:: SOT 215644 SOS 96400 HAS SOPS 83793 HAS SOUS 65107 HAS SOUPS 59428 WITH SCORE 59524.4
AT ITER 1197 NEW BEST:: SOT 215583 SOS 96269 HAS SOPS 83732 HAS SOUS 64976 HAS SOUPS 59367 WITH SCORE 59463.269
AT ITER 1200 NEW BEST:: SOT 215497 SOS 96182 HAS SOPS 83598 HAS SOUS 64889 HAS SOUPS 59233 WITH SCORE 59329.182
AT ITER 1211 NEW BEST:: SOT 215440 SOS 96116 HAS SOPS 83459 HAS SOUS 64823 HAS SOUPS 59094 WITH SCORE 59190.116
AT ITER 1212 NEW BEST:: SOT 215408 SOS 95956 HAS SOPS 83459 HAS SOUS 64759 HAS SOUPS 59094 WITH SCORE 59189.956
AT ITER 1227 NEW BEST:: SOT 215393 SOS 95941 HAS SOPS 83444 HAS SOUS 64759 HAS SOUPS 59094 WITH SCORE 59189.941
AT ITER 1228 NEW BEST:: SOT 215497 SOS 95892 HAS SOPS 83395 HAS SOUS 64622 HAS SOUPS 58957 WITH SCORE 59052.892
AT ITER 1235 NEW BEST:: SOT 215477 SOS 95872 HAS SOPS 83375 HAS SOUS 64619 HAS SOUPS 58954 WITH SCORE 59049.872
AT ITER 1239 NEW BEST:: SOT 215599 SOS 95994 HAS SOPS 83497 HAS SOUS 64579 HAS SOUPS 58914 WITH SCORE 59009.994
AT ITER 1244 NEW BEST:: SOT 215599 SOS 96207 HAS SOPS 83496 HAS SOUS 64578 HAS SOUPS 58913 WITH SCORE 59009.207
AT ITER 1248 NEW BEST:: SOT 215704 SOS 96145 HAS SOPS 83434 HAS SOUS 64558 HAS SOUPS 58893 WITH SCORE 58989.145
AT ITER 1256 NEW BEST:: SOT 215702 SOS 96143 HAS SOPS 83432 HAS SOUS 64556 HAS SOUPS 58891 WITH SCORE 58987.143
AT ITER 1260 NEW BEST:: SOT 215636 SOS 95995 HAS SOPS 83284 HAS SOUS 64523 HAS SOUPS 58858 WITH SCORE 58953.995
AT ITER 1269 NEW BEST:: SOT 215613 SOS 95831 HAS SOPS 83120 HAS SOUS 64413 HAS SOUPS 58748 WITH SCORE 58843.831
AT ITER 1291 NEW BEST:: SOT 215584 SOS 95802 HAS SOPS 83048 HAS SOUS 64398 HAS SOUPS 58690 WITH SCORE 58785.802
AT ITER 1296 NEW BEST:: SOT 215612 SOS 95656 HAS SOPS 82902 HAS SOUS 64282 HAS SOUPS 58574 WITH SCORE 58669.656
AT ITER 1299 NEW BEST:: SOT 215666 SOS 95956 HAS SOPS 82484 HAS SOUS 64204 HAS SOUPS 58308 WITH SCORE 58403.956
AT ITER 1303 NEW BEST:: SOT 215666 SOS 95954 HAS SOPS 82482 HAS SOUS 64202 HAS SOUPS 58306 WITH SCORE 58401.954
AT ITER 1305 NEW BEST:: SOT 215644 SOS 95932 HAS SOPS 82460 HAS SOUS 64158 HAS SOUPS 58262 WITH SCORE 58357.932
AT ITER 1319 NEW BEST:: SOT 214877 SOS 95188 HAS SOPS 81716 HAS SOUS 63654 HAS SOUPS 57758 WITH SCORE 57853.188
AT ITER 1332 NEW BEST:: SOT 214471 SOS 95175 HAS SOPS 81700 HAS SOUS 63638 HAS SOUPS 57742 WITH SCORE 57837.175
AT ITER 1350 NEW BEST:: SOT 214513 SOS 95321 HAS SOPS 81310 HAS SOUS 63494 HAS SOUPS 57433 WITH SCORE 57528.321
AT ITER 1354 NEW BEST:: SOT 214361 SOS 94944 HAS SOPS 80933 HAS SOUS 63309 HAS SOUPS 57248 WITH SCORE 57342.944
AT ITER 1361 NEW BEST:: SOT 214359 SOS 94861 HAS SOPS 80850 HAS SOUS 63260 HAS SOUPS 57199 WITH SCORE 57293.861
AT ITER 1365 NEW BEST:: SOT 214356 SOS 94858 HAS SOPS 80847 HAS SOUS 63257 HAS SOUPS 57196 WITH SCORE 57290.858
AT ITER 1379 NEW BEST:: SOT 214312 SOS 94726 HAS SOPS 80803 HAS SOUS 63213 HAS SOUPS 57174 WITH SCORE 57268.726
AT ITER 1381 NEW BEST:: SOT 214273 SOS 95663 HAS SOPS 80764 HAS SOUS 63432 HAS SOUPS 57135 WITH SCORE 57230.663
AT ITER 1386 NEW BEST:: SOT 214273 SOS 95451 HAS SOPS 80764 HAS SOUS 63379 HAS SOUPS 57135 WITH SCORE 57230.451
AT ITER 1399 NEW BEST:: SOT 214211 SOS 95257 HAS SOPS 80632 HAS SOUS 63309 HAS SOUPS 57065 WITH SCORE 57160.257
AT ITER 1411 NEW BEST:: SOT 213781 SOS 94697 HAS SOPS 79772 HAS SOUS 62879 HAS SOUPS 56335 WITH SCORE 56429.697
AT ITER 1413 NEW BEST:: SOT 213776 SOS 94692 HAS SOPS 79767 HAS SOUS 62858 HAS SOUPS 56314 WITH SCORE 56408.692
AT ITER 1415 NEW BEST:: SOT 213765 SOS 94681 HAS SOPS 79675 HAS SOUS 62847 HAS SOUPS 56222 WITH SCORE 56316.681
AT ITER 1417 NEW BEST:: SOT 213609 SOS 94615 HAS SOPS 79609 HAS SOUS 62842 HAS SOUPS 56217 WITH SCORE 56311.615
AT ITER 1418 NEW BEST:: SOT 213614 SOS 94705 HAS SOPS 79587 HAS SOUS 62874 HAS SOUPS 56195 WITH SCORE 56289.705
AT ITER 1419 NEW BEST:: SOT 213229 SOS 94874 HAS SOPS 79756 HAS SOUS 62789 HAS SOUPS 56110 WITH SCORE 56204.874
AT ITER 1427 NEW BEST:: SOT 213144 SOS 94854 HAS SOPS 79736 HAS SOUS 62769 HAS SOUPS 56090 WITH SCORE 56184.854
AT ITER 1428 NEW BEST:: SOT 213143 SOS 94853 HAS SOPS 79735 HAS SOUS 62691 HAS SOUPS 56012 WITH SCORE 56106.853
AT ITER 1436 NEW BEST:: SOT 212961 SOS 94241 HAS SOPS 79158 HAS SOUS 62327 HAS SOUPS 55648 WITH SCORE 55742.241
AT ITER 1446 NEW BEST:: SOT 212907 SOS 94187 HAS SOPS 79077 HAS SOUS 62273 HAS SOUPS 55567 WITH SCORE 55661.187
AT ITER 1449 NEW BEST:: SOT 212922 SOS 94137 HAS SOPS 78932 HAS SOUS 62128 HAS SOUPS 55422 WITH SCORE 55516.137
AT ITER 1453 NEW BEST:: SOT 212922 SOS 94137 HAS SOPS 78932 HAS SOUS 62110 HAS SOUPS 55404 WITH SCORE 55498.137
AT ITER 1455 NEW BEST:: SOT 212899 SOS 93664 HAS SOPS 78459 HAS SOUS 62096 HAS SOUPS 55390 WITH SCORE 55483.664
AT ITER 1467 NEW BEST:: SOT 212899 SOS 93622 HAS SOPS 78417 HAS SOUS 62089 HAS SOUPS 55383 WITH SCORE 55476.622
AT ITER 1469 NEW BEST:: SOT 212622 SOS 93245 HAS SOPS 78140 HAS SOUS 61712 HAS SOUPS 55106 WITH SCORE 55199.245
AT ITER 1470 NEW BEST:: SOT 212603 SOS 93226 HAS SOPS 78121 HAS SOUS 61693 HAS SOUPS 55087 WITH SCORE 55180.226
AT ITER 1485 NEW BEST:: SOT 212627 SOS 93250 HAS SOPS 78145 HAS SOUS 61680 HAS SOUPS 55074 WITH SCORE 55167.25
AT ITER 1490 NEW BEST:: SOT 212627 SOS 93209 HAS SOPS 78145 HAS SOUS 61612 HAS SOUPS 55074 WITH SCORE 55167.209
AT ITER 1491 NEW BEST:: SOT 212626 SOS 93164 HAS SOPS 78121 HAS SOUS 61610 HAS SOUPS 55072 WITH SCORE 55165.164
AT ITER 1500 NEW BEST:: SOT 212603 SOS 93138 HAS SOPS 78095 HAS SOUS 61584 HAS SOUPS 55046 WITH SCORE 55139.138
AT ITER 1501 NEW BEST:: SOT 212591 SOS 93126 HAS SOPS 78083 HAS SOUS 61578 HAS SOUPS 55040 WITH SCORE 55133.126
AT ITER 1505 NEW BEST:: SOT 212612 SOS 93072 HAS SOPS 78029 HAS SOUS 61491 HAS SOUPS 54953 WITH SCORE 55046.072
AT ITER 1507 NEW BEST:: SOT 212610 SOS 93070 HAS SOPS 78027 HAS SOUS 61489 HAS SOUPS 54951 WITH SCORE 55044.07
AT ITER 1513 NEW BEST:: SOT 212291 SOS 92645 HAS SOPS 77828 HAS SOUS 61064 HAS SOUPS 54752 WITH SCORE 54844.645
AT ITER 1514 NEW BEST:: SOT 212165 SOS 92519 HAS SOPS 77702 HAS SOUS 60812 HAS SOUPS 54500 WITH SCORE 54592.519
AT ITER 1518 NEW BEST:: SOT 212143 SOS 92508 HAS SOPS 77691 HAS SOUS 60801 HAS SOUPS 54489 WITH SCORE 54581.508
AT ITER 1520 NEW BEST:: SOT 212087 SOS 92368 HAS SOPS 77551 HAS SOUS 60771 HAS SOUPS 54459 WITH SCORE 54551.368
AT ITER 1527 NEW BEST:: SOT 212111 SOS 92410 HAS SOPS 77593 HAS SOUS 60746 HAS SOUPS 54434 WITH SCORE 54526.41
AT ITER 1532 NEW BEST:: SOT 211985 SOS 92284 HAS SOPS 77467 HAS SOUS 60620 HAS SOUPS 54308 WITH SCORE 54400.284
AT ITER 1535 NEW BEST:: SOT 211985 SOS 92210 HAS SOPS 77356 HAS SOUS 60583 HAS SOUPS 54234 WITH SCORE 54326.21
AT ITER 1546 NEW BEST:: SOT 211903 SOS 92151 HAS SOPS 77349 HAS SOUS 60576 HAS SOUPS 54227 WITH SCORE 54319.151
AT ITER 1550 NEW BEST:: SOT 211998 SOS 92246 HAS SOPS 77444 HAS SOUS 60528 HAS SOUPS 54179 WITH SCORE 54271.246
AT ITER 1558 NEW BEST:: SOT 211952 SOS 92200 HAS SOPS 77398 HAS SOUS 60505 HAS SOUPS 54156 WITH SCORE 54248.2
AT ITER 1568 NEW BEST:: SOT 211853 SOS 92119 HAS SOPS 77703 HAS SOUS 60307 HAS SOUPS 53958 WITH SCORE 54050.119
AT ITER 1570 NEW BEST:: SOT 211841 SOS 92095 HAS SOPS 77679 HAS SOUS 60283 HAS SOUPS 53934 WITH SCORE 54026.095
AT ITER 1575 NEW BEST:: SOT 212066 SOS 92100 HAS SOPS 77684 HAS SOUS 60258 HAS SOUPS 53909 WITH SCORE 54001.1
AT ITER 1580 NEW BEST:: SOT 212055 SOS 92089 HAS SOPS 77673 HAS SOUS 60237 HAS SOUPS 53888 WITH SCORE 53980.089
AT ITER 1581 NEW BEST:: SOT 212042 SOS 92076 HAS SOPS 77660 HAS SOUS 60224 HAS SOUPS 53875 WITH SCORE 53967.076
AT ITER 1586 NEW BEST:: SOT 212013 SOS 92025 HAS SOPS 77609 HAS SOUS 60207 HAS SOUPS 53858 WITH SCORE 53950.025
AT ITER 1609 NEW BEST:: SOT 211932 SOS 91998 HAS SOPS 77582 HAS SOUS 60180 HAS SOUPS 53831 WITH SCORE 53922.998
AT ITER 1613 NEW BEST:: SOT 211883 SOS 92012 HAS SOPS 77533 HAS SOUS 60194 HAS SOUPS 53782 WITH SCORE 53874.012
AT ITER 1636 NEW BEST:: SOT 211883 SOS 92002 HAS SOPS 77523 HAS SOUS 60184 HAS SOUPS 53772 WITH SCORE 53864.002
AT ITER 1637 NEW BEST:: SOT 211877 SOS 91996 HAS SOPS 77517 HAS SOUS 60178 HAS SOUPS 53766 WITH SCORE 53857.996
AT ITER 1641 NEW BEST:: SOT 211913 SOS 92325 HAS SOPS 77379 HAS SOUS 60214 HAS SOUPS 53628 WITH SCORE 53720.325
AT ITER 1642 NEW BEST:: SOT 211901 SOS 92301 HAS SOPS 77355 HAS SOUS 60190 HAS SOUPS 53604 WITH SCORE 53696.301
AT ITER 1643 NEW BEST:: SOT 211901 SOS 92275 HAS SOPS 77329 HAS SOUS 60177 HAS SOUPS 53591 WITH SCORE 53683.275
AT ITER 1644 NEW BEST:: SOT 211742 SOS 92116 HAS SOPS 77170 HAS SOUS 60071 HAS SOUPS 53485 WITH SCORE 53577.116
AT ITER 1646 NEW BEST:: SOT 211699 SOS 92073 HAS SOPS 77069 HAS SOUS 59990 HAS SOUPS 53399 WITH SCORE 53491.073
AT ITER 1663 NEW BEST:: SOT 211610 SOS 91984 HAS SOPS 76980 HAS SOUS 59934 HAS SOUPS 53343 WITH SCORE 53434.984
AT ITER 1667 NEW BEST:: SOT 211427 SOS 91740 HAS SOPS 76797 HAS SOUS 59751 HAS SOUPS 53221 WITH SCORE 53312.74
AT ITER 1680 NEW BEST:: SOT 211427 SOS 88577 HAS SOPS 73634 HAS SOUS 59751 HAS SOUPS 53221 WITH SCORE 53309.577
AT ITER 1682 NEW BEST:: SOT 211427 SOS 88577 HAS SOPS 73622 HAS SOUS 59751 HAS SOUPS 53209 WITH SCORE 53297.577
AT ITER 1684 NEW BEST:: SOT 211126 SOS 88296 HAS SOPS 73240 HAS SOUS 59518 HAS SOUPS 52875 WITH SCORE 52963.296
AT ITER 1685 NEW BEST:: SOT 211126 SOS 88235 HAS SOPS 73179 HAS SOUS 59457 HAS SOUPS 52814 WITH SCORE 52902.235
AT ITER 1687 NEW BEST:: SOT 211092 SOS 88167 HAS SOPS 73145 HAS SOUS 59389 HAS SOUPS 52780 WITH SCORE 52868.167
AT ITER 1695 NEW BEST:: SOT 211035 SOS 87635 HAS SOPS 72613 HAS SOUS 59153 HAS SOUPS 52544 WITH SCORE 52631.635
AT ITER 1699 NEW BEST:: SOT 211009 SOS 87707 HAS SOPS 72589 HAS SOUS 59225 HAS SOUPS 52520 WITH SCORE 52607.707
AT ITER 1700 NEW BEST:: SOT 211001 SOS 87697 HAS SOPS 72579 HAS SOUS 59219 HAS SOUPS 52514 WITH SCORE 52601.697
AT ITER 1713 NEW BEST:: SOT 211227 SOS 87865 HAS SOPS 72747 HAS SOUS 59140 HAS SOUPS 52435 WITH SCORE 52522.865
AT ITER 1724 NEW BEST:: SOT 211225 SOS 87860 HAS SOPS 72742 HAS SOUS 59137 HAS SOUPS 52432 WITH SCORE 52519.86
AT ITER 1730 NEW BEST:: SOT 211176 SOS 87826 HAS SOPS 72693 HAS SOUS 59103 HAS SOUPS 52383 WITH SCORE 52470.826
AT ITER 1731 NEW BEST:: SOT 211175 SOS 87830 HAS SOPS 72686 HAS SOUS 59101 HAS SOUPS 52376 WITH SCORE 52463.83
AT ITER 1734 NEW BEST:: SOT 211151 SOS 87693 HAS SOPS 72549 HAS SOUS 59077 HAS SOUPS 52352 WITH SCORE 52439.693
AT ITER 1735 NEW BEST:: SOT 211167 SOS 87001 HAS SOPS 71857 HAS SOUS 58605 HAS SOUPS 51880 WITH SCORE 51967.001
AT ITER 1739 NEW BEST:: SOT 211031 SOS 87012 HAS SOPS 71776 HAS SOUS 58524 HAS SOUPS 51799 WITH SCORE 51886.012
AT ITER 1743 NEW BEST:: SOT 211011 SOS 86972 HAS SOPS 71736 HAS SOUS 58514 HAS SOUPS 51789 WITH SCORE 51875.972
AT ITER 1747 NEW BEST:: SOT 211213 SOS 86986 HAS SOPS 71664 HAS SOUS 58528 HAS SOUPS 51717 WITH SCORE 51803.986
AT ITER 1755 NEW BEST:: SOT 211289 SOS 86739 HAS SOPS 71417 HAS SOUS 58487 HAS SOUPS 51676 WITH SCORE 51762.739
AT ITER 1762 NEW BEST:: SOT 211346 SOS 86848 HAS SOPS 71526 HAS SOUS 58438 HAS SOUPS 51627 WITH SCORE 51713.848
AT ITER 1772 NEW BEST:: SOT 211345 SOS 86844 HAS SOPS 71523 HAS SOUS 58435 HAS SOUPS 51625 WITH SCORE 51711.844
AT ITER 1786 NEW BEST:: SOT 211379 SOS 86689 HAS SOPS 71368 HAS SOUS 58348 HAS SOUPS 51538 WITH SCORE 51624.689
AT ITER 1800 NEW BEST:: SOT 211330 SOS 86640 HAS SOPS 71270 HAS SOUS 58344 HAS SOUPS 51534 WITH SCORE 51620.64
AT ITER 1806 NEW BEST:: SOT 211384 SOS 86615 HAS SOPS 71165 HAS SOUS 58345 HAS SOUPS 51455 WITH SCORE 51541.615
AT ITER 1816 NEW BEST:: SOT 211281 SOS 86408 HAS SOPS 70958 HAS SOUS 58189 HAS SOUPS 51299 WITH SCORE 51385.408
AT ITER 1824 NEW BEST:: SOT 211276 SOS 86403 HAS SOPS 70953 HAS SOUS 58184 HAS SOUPS 51294 WITH SCORE 51380.403
AT ITER 1827 NEW BEST:: SOT 211257 SOS 86384 HAS SOPS 70934 HAS SOUS 58165 HAS SOUPS 51275 WITH SCORE 51361.384
AT ITER 1829 NEW BEST:: SOT 211458 SOS 86687 HAS SOPS 71135 HAS SOUS 58223 HAS SOUPS 51231 WITH SCORE 51317.687
AT ITER 1834 NEW BEST:: SOT 211413 SOS 86642 HAS SOPS 71045 HAS SOUS 58145 HAS SOUPS 51141 WITH SCORE 51227.642
AT ITER 1837 NEW BEST:: SOT 211413 SOS 86636 HAS SOPS 71039 HAS SOUS 58145 HAS SOUPS 51141 WITH SCORE 51227.636
AT ITER 1846 NEW BEST:: SOT 211407 SOS 86627 HAS SOPS 71030 HAS SOUS 58142 HAS SOUPS 51138 WITH SCORE 51224.627
AT ITER 1855 NEW BEST:: SOT 211219 SOS 86493 HAS SOPS 70896 HAS SOUS 58016 HAS SOUPS 51012 WITH SCORE 51098.493
AT ITER 1875 NEW BEST:: SOT 211065 SOS 86131 HAS SOPS 70534 HAS SOUS 57758 HAS SOUPS 50754 WITH SCORE 50840.131
AT ITER 1879 NEW BEST:: SOT 211078 SOS 86011 HAS SOPS 70414 HAS SOUS 57689 HAS SOUPS 50685 WITH SCORE 50771.011
AT ITER 1881 NEW BEST:: SOT 211039 SOS 85933 HAS SOPS 70336 HAS SOUS 57611 HAS SOUPS 50607 WITH SCORE 50692.933
AT ITER 1910 NEW BEST:: SOT 211062 SOS 85898 HAS SOPS 70310 HAS SOUS 57579 HAS SOUPS 50581 WITH SCORE 50666.898
AT ITER 1919 NEW BEST:: SOT 211060 SOS 85896 HAS SOPS 70308 HAS SOUS 57577 HAS SOUPS 50579 WITH SCORE 50664.896
AT ITER 1928 NEW BEST:: SOT 211147 SOS 85983 HAS SOPS 70395 HAS SOUS 57494 HAS SOUPS 50496 WITH SCORE 50581.983
AT ITER 1933 NEW BEST:: SOT 211031 SOS 85720 HAS SOPS 70279 HAS SOUS 57378 HAS SOUPS 50438 WITH SCORE 50523.72
AT ITER 1937 NEW BEST:: SOT 211008 SOS 85697 HAS SOPS 70256 HAS SOUS 57346 HAS SOUPS 50406 WITH SCORE 50491.697
AT ITER 1963 NEW BEST:: SOT 211004 SOS 85669 HAS SOPS 70228 HAS SOUS 57338 HAS SOUPS 50398 WITH SCORE 50483.669
AT ITER 1971 NEW BEST:: SOT 210950 SOS 85615 HAS SOPS 70174 HAS SOUS 57284 HAS SOUPS 50344 WITH SCORE 50429.615
AT ITER 1974 NEW BEST:: SOT 210935 SOS 85600 HAS SOPS 70159 HAS SOUS 57284 HAS SOUPS 50344 WITH SCORE 50429.6
AT ITER 1985 NEW BEST:: SOT 210881 SOS 85546 HAS SOPS 70105 HAS SOUS 57203 HAS SOUPS 50263 WITH SCORE 50348.546
AT ITER 1990 NEW BEST:: SOT 210885 SOS 85531 HAS SOPS 70090 HAS SOUS 57184 HAS SOUPS 50244 WITH SCORE 50329.531
AT ITER 1999 NEW BEST:: SOT 210773 SOS 85258 HAS SOPS 69817 HAS SOUS 57023 HAS SOUPS 50083 WITH SCORE 50168.258
AT ITER 2001 NEW BEST:: SOT 210766 SOS 85251 HAS SOPS 69810 HAS SOUS 57016 HAS SOUPS 50076 WITH SCORE 50161.251
AT ITER 2006 NEW BEST:: SOT 210794 SOS 85111 HAS SOPS 69670 HAS SOUS 56951 HAS SOUPS 50011 WITH SCORE 50096.111
AT ITER 2007 NEW BEST:: SOT 210760 SOS 85077 HAS SOPS 69633 HAS SOUS 56948 HAS SOUPS 50005 WITH SCORE 50090.077
AT ITER 2018 NEW BEST:: SOT 210756 SOS 85044 HAS SOPS 69632 HAS SOUS 56947 HAS SOUPS 50004 WITH SCORE 50089.044
AT ITER 2035 NEW BEST:: SOT 210734 SOS 84989 HAS SOPS 69577 HAS SOUS 56936 HAS SOUPS 49993 WITH SCORE 50077.989
AT ITER 2040 NEW BEST:: SOT 210702 SOS 84993 HAS SOPS 69581 HAS SOUS 56922 HAS SOUPS 49979 WITH SCORE 50063.993
AT ITER 2046 NEW BEST:: SOT 210666 SOS 84903 HAS SOPS 69491 HAS SOUS 56903 HAS SOUPS 49960 WITH SCORE 50044.903
AT ITER 2047 NEW BEST:: SOT 210352 SOS 84557 HAS SOPS 69145 HAS SOUS 56589 HAS SOUPS 49646 WITH SCORE 49730.557
AT ITER 2072 NEW BEST:: SOT 210219 SOS 84227 HAS SOPS 68815 HAS SOUS 56418 HAS SOUPS 49475 WITH SCORE 49559.227
AT ITER 2073 NEW BEST:: SOT 210727 SOS 84248 HAS SOPS 68836 HAS SOUS 56364 HAS SOUPS 49421 WITH SCORE 49505.248
AT ITER 2098 NEW BEST:: SOT 210722 SOS 84243 HAS SOPS 68767 HAS SOUS 56354 HAS SOUPS 49352 WITH SCORE 49436.243
AT ITER 2100 NEW BEST:: SOT 210685 SOS 84206 HAS SOPS 68730 HAS SOUS 56352 HAS SOUPS 49350 WITH SCORE 49434.206
AT ITER 2102 NEW BEST:: SOT 210745 SOS 84098 HAS SOPS 68622 HAS SOUS 56290 HAS SOUPS 49288 WITH SCORE 49372.098
AT ITER 2104 NEW BEST:: SOT 210774 SOS 84468 HAS SOPS 68608 HAS SOUS 56372 HAS SOUPS 49274 WITH SCORE 49358.468
AT ITER 2115 NEW BEST:: SOT 210765 SOS 84461 HAS SOPS 68601 HAS SOUS 56365 HAS SOUPS 49267 WITH SCORE 49351.461
AT ITER 2147 NEW BEST:: SOT 210765 SOS 84389 HAS SOPS 68529 HAS SOUS 56293 HAS SOUPS 49195 WITH SCORE 49279.389
AT ITER 2149 NEW BEST:: SOT 210643 SOS 84181 HAS SOPS 68321 HAS SOUS 56219 HAS SOUPS 49121 WITH SCORE 49205.181
AT ITER 2165 NEW BEST:: SOT 210643 SOS 84176 HAS SOPS 68316 HAS SOUS 56219 HAS SOUPS 49121 WITH SCORE 49205.176
AT ITER 2172 NEW BEST:: SOT 210387 SOS 83920 HAS SOPS 68060 HAS SOUS 56039 HAS SOUPS 48941 WITH SCORE 49024.92
AT ITER 2175 NEW BEST:: SOT 210302 SOS 83835 HAS SOPS 67975 HAS SOUS 55983 HAS SOUPS 48885 WITH SCORE 48968.835
AT ITER 2177 NEW BEST:: SOT 210508 SOS 84725 HAS SOPS 68181 HAS SOUS 56189 HAS SOUPS 48871 WITH SCORE 48955.725
AT ITER 2178 NEW BEST:: SOT 210486 SOS 84164 HAS SOPS 67620 HAS SOUS 56156 HAS SOUPS 48838 WITH SCORE 48922.164
AT ITER 2207 NEW BEST:: SOT 210434 SOS 84111 HAS SOPS 67567 HAS SOUS 56144 HAS SOUPS 48826 WITH SCORE 48910.111
AT ITER 2209 NEW BEST:: SOT 210332 SOS 83973 HAS SOPS 67373 HAS SOUS 56006 HAS SOUPS 48632 WITH SCORE 48715.973
AT ITER 2220 NEW BEST:: SOT 210026 SOS 83463 HAS SOPS 66863 HAS SOUS 55708 HAS SOUPS 48334 WITH SCORE 48417.463
AT ITER 2222 NEW BEST:: SOT 210018 SOS 83417 HAS SOPS 66817 HAS SOUS 55662 HAS SOUPS 48288 WITH SCORE 48371.417
AT ITER 2268 NEW BEST:: SOT 209993 SOS 83629 HAS SOPS 67029 HAS SOUS 55623 HAS SOUPS 48249 WITH SCORE 48332.629
AT ITER 2270 NEW BEST:: SOT 210096 SOS 83596 HAS SOPS 66996 HAS SOUS 55604 HAS SOUPS 48230 WITH SCORE 48313.596
AT ITER 2286 NEW BEST:: SOT 210161 SOS 83661 HAS SOPS 67061 HAS SOUS 55534 HAS SOUPS 48160 WITH SCORE 48243.661
AT ITER 2291 NEW BEST:: SOT 209928 SOS 83428 HAS SOPS 66828 HAS SOUS 55301 HAS SOUPS 47927 WITH SCORE 48010.428
AT ITER 2300 NEW BEST:: SOT 209834 SOS 83140 HAS SOPS 66540 HAS SOUS 55201 HAS SOUPS 47827 WITH SCORE 47910.14
AT ITER 2310 NEW BEST:: SOT 209747 SOS 83170 HAS SOPS 66538 HAS SOUS 55191 HAS SOUPS 47817 WITH SCORE 47900.17
AT ITER 2321 NEW BEST:: SOT 209716 SOS 83015 HAS SOPS 66507 HAS SOUS 55129 HAS SOUPS 47786 WITH SCORE 47869.015
AT ITER 2326 NEW BEST:: SOT 209650 SOS 82927 HAS SOPS 66419 HAS SOUS 55074 HAS SOUPS 47731 WITH SCORE 47813.927
AT ITER 2330 NEW BEST:: SOT 209508 SOS 82490 HAS SOPS 66277 HAS SOUS 54947 HAS SOUPS 47688 WITH SCORE 47770.49
AT ITER 2351 NEW BEST:: SOT 209463 SOS 82445 HAS SOPS 66232 HAS SOUS 54902 HAS SOUPS 47643 WITH SCORE 47725.445
AT ITER 2358 NEW BEST:: SOT 209463 SOS 82407 HAS SOPS 66194 HAS SOUS 54864 HAS SOUPS 47605 WITH SCORE 47687.407
AT ITER 2386 NEW BEST:: SOT 209486 SOS 83024 HAS SOPS 66011 HAS SOUS 54881 HAS SOUPS 47422 WITH SCORE 47505.024
AT ITER 2397 NEW BEST:: SOT 209486 SOS 82920 HAS SOPS 65803 HAS SOUS 54881 HAS SOUPS 47318 WITH SCORE 47400.92
AT ITER 2402 NEW BEST:: SOT 209687 SOS 82714 HAS SOPS 65597 HAS SOUS 54761 HAS SOUPS 47198 WITH SCORE 47280.714
AT ITER 2408 NEW BEST:: SOT 209687 SOS 82635 HAS SOPS 65518 HAS SOUS 54682 HAS SOUPS 47119 WITH SCORE 47201.635
AT ITER 2409 NEW BEST:: SOT 209687 SOS 82560 HAS SOPS 65443 HAS SOUS 54682 HAS SOUPS 47119 WITH SCORE 47201.56
AT ITER 2422 NEW BEST:: SOT 209687 SOS 82561 HAS SOPS 65434 HAS SOUS 54677 HAS SOUPS 47104 WITH SCORE 47186.561
AT ITER 2438 NEW BEST:: SOT 209610 SOS 82407 HAS SOPS 65357 HAS SOUS 54600 HAS SOUPS 47104 WITH SCORE 47186.407
AT ITER 2466 NEW BEST:: SOT 209592 SOS 82389 HAS SOPS 65339 HAS SOUS 54588 HAS SOUPS 47092 WITH SCORE 47174.389
AT ITER 2471 NEW BEST:: SOT 209562 SOS 82359 HAS SOPS 65279 HAS SOUS 54558 HAS SOUPS 47032 WITH SCORE 47114.359
AT ITER 2475 NEW BEST:: SOT 209562 SOS 80020 HAS SOPS 62940 HAS SOUS 54506 HAS SOUPS 46980 WITH SCORE 47060.02
AT ITER 2481 NEW BEST:: SOT 209540 SOS 79998 HAS SOPS 62940 HAS SOUS 54506 HAS SOUPS 46980 WITH SCORE 47059.998
AT ITER 2484 NEW BEST:: SOT 209538 SOS 80010 HAS SOPS 62952 HAS SOUS 54504 HAS SOUPS 46978 WITH SCORE 47058.01
AT ITER 2494 NEW BEST:: SOT 209464 SOS 79699 HAS SOPS 62641 HAS SOUS 54374 HAS SOUPS 46848 WITH SCORE 46927.699
AT ITER 2501 NEW BEST:: SOT 209412 SOS 79578 HAS SOPS 62520 HAS SOUS 54305 HAS SOUPS 46779 WITH SCORE 46858.578
AT ITER 2505 NEW BEST:: SOT 209294 SOS 79401 HAS SOPS 62343 HAS SOUS 54196 HAS SOUPS 46670 WITH SCORE 46749.401
AT ITER 2513 NEW BEST:: SOT 209329 SOS 79331 HAS SOPS 62273 HAS SOUS 54161 HAS SOUPS 46635 WITH SCORE 46714.331
AT ITER 2529 NEW BEST:: SOT 209329 SOS 79317 HAS SOPS 62259 HAS SOUS 54147 HAS SOUPS 46621 WITH SCORE 46700.317
AT ITER 2533 NEW BEST:: SOT 209329 SOS 79135 HAS SOPS 62077 HAS SOUS 54034 HAS SOUPS 46508 WITH SCORE 46587.135
AT ITER 2570 NEW BEST:: SOT 209329 SOS 79134 HAS SOPS 62076 HAS SOUS 54033 HAS SOUPS 46507 WITH SCORE 46586.134
AT ITER 2572 NEW BEST:: SOT 209350 SOS 79155 HAS SOPS 61898 HAS SOUS 54189 HAS SOUPS 46476 WITH SCORE 46555.155
AT ITER 2575 NEW BEST:: SOT 208906 SOS 78628 HAS SOPS 61371 HAS SOUS 53890 HAS SOUPS 46177 WITH SCORE 46255.628
AT ITER 2599 NEW BEST:: SOT 208903 SOS 78625 HAS SOPS 61362 HAS SOUS 53881 HAS SOUPS 46168 WITH SCORE 46246.625
AT ITER 2609 NEW BEST:: SOT 209212 SOS 79203 HAS SOPS 61638 HAS SOUS 54138 HAS SOUPS 46123 WITH SCORE 46202.203
AT ITER 2614 NEW BEST:: SOT 209196 SOS 79179 HAS SOPS 61606 HAS SOUS 54122 HAS SOUPS 46107 WITH SCORE 46186.179
AT ITER 2618 NEW BEST:: SOT 209119 SOS 79102 HAS SOPS 61529 HAS SOUS 54122 HAS SOUPS 46107 WITH SCORE 46186.102
AT ITER 2622 NEW BEST:: SOT 209111 SOS 79094 HAS SOPS 61521 HAS SOUS 54114 HAS SOUPS 46099 WITH SCORE 46178.094
AT ITER 2630 NEW BEST:: SOT 209068 SOS 79051 HAS SOPS 61443 HAS SOUS 54063 HAS SOUPS 46013 WITH SCORE 46092.051
AT ITER 2633 NEW BEST:: SOT 209074 SOS 79045 HAS SOPS 61443 HAS SOUS 54063 HAS SOUPS 46013 WITH SCORE 46092.045
AT ITER 2667 NEW BEST:: SOT 208902 SOS 78918 HAS SOPS 61316 HAS SOUS 53996 HAS SOUPS 45946 WITH SCORE 46024.918
AT ITER 2675 NEW BEST:: SOT 208860 SOS 78827 HAS SOPS 61267 HAS SOUS 53947 HAS SOUPS 45897 WITH SCORE 45975.827
AT ITER 2709 NEW BEST:: SOT 208860 SOS 78827 HAS SOPS 61245 HAS SOUS 53936 HAS SOUPS 45886 WITH SCORE 45964.827
AT ITER 2714 NEW BEST:: SOT 209015 SOS 78982 HAS SOPS 61400 HAS SOUS 53930 HAS SOUPS 45880 WITH SCORE 45958.982
AT ITER 2715 NEW BEST:: SOT 208926 SOS 78948 HAS SOPS 61366 HAS SOUS 53896 HAS SOUPS 45846 WITH SCORE 45924.948
AT ITER 2721 NEW BEST:: SOT 209326 SOS 79698 HAS SOPS 61700 HAS SOUS 54308 HAS SOUPS 45842 WITH SCORE 45921.698
AT ITER 2746 NEW BEST:: SOT 209104 SOS 79343 HAS SOPS 61345 HAS SOUS 54148 HAS SOUPS 45682 WITH SCORE 45761.343
AT ITER 2769 NEW BEST:: SOT 209095 SOS 79334 HAS SOPS 61336 HAS SOUS 54139 HAS SOUPS 45673 WITH SCORE 45752.334
AT ITER 2772 NEW BEST:: SOT 209090 SOS 79320 HAS SOPS 61330 HAS SOUS 54133 HAS SOUPS 45667 WITH SCORE 45746.32
AT ITER 2782 NEW BEST:: SOT 209090 SOS 79320 HAS SOPS 61330 HAS SOUS 54098 HAS SOUPS 45632 WITH SCORE 45711.32
AT ITER 2804 NEW BEST:: SOT 208994 SOS 78964 HAS SOPS 61234 HAS SOUS 53971 HAS SOUPS 45570 WITH SCORE 45648.964
AT ITER 2806 NEW BEST:: SOT 209133 SOS 78550 HAS SOPS 61057 HAS SOUS 53956 HAS SOUPS 45555 WITH SCORE 45633.55
AT ITER 2818 NEW BEST:: SOT 209109 SOS 78478 HAS SOPS 61009 HAS SOUS 53932 HAS SOUPS 45531 WITH SCORE 45609.478
AT ITER 2821 NEW BEST:: SOT 209013 SOS 78382 HAS SOPS 60913 HAS SOUS 53836 HAS SOUPS 45435 WITH SCORE 45513.382
AT ITER 2822 NEW BEST:: SOT 208999 SOS 78341 HAS SOPS 60872 HAS SOUS 53795 HAS SOUPS 45394 WITH SCORE 45472.341
AT ITER 2852 NEW BEST:: SOT 209100 SOS 78421 HAS SOPS 60788 HAS SOUS 53811 HAS SOUPS 45325 WITH SCORE 45403.421
AT ITER 2853 NEW BEST:: SOT 209005 SOS 78326 HAS SOPS 60538 HAS SOUS 53707 HAS SOUPS 45135 WITH SCORE 45213.326
AT ITER 2875 NEW BEST:: SOT 208969 SOS 78346 HAS SOPS 60466 HAS SOUS 53749 HAS SOUPS 45085 WITH SCORE 45163.346
AT ITER 2878 NEW BEST:: SOT 208925 SOS 78258 HAS SOPS 60422 HAS SOUS 53683 HAS SOUPS 45041 WITH SCORE 45119.258
AT ITER 2880 NEW BEST:: SOT 208913 SOS 78222 HAS SOPS 60386 HAS SOUS 53647 HAS SOUPS 45005 WITH SCORE 45083.222
AT ITER 2892 NEW BEST:: SOT 208913 SOS 78214 HAS SOPS 60378 HAS SOUS 53639 HAS SOUPS 44997 WITH SCORE 45075.214
AT ITER 2904 NEW BEST:: SOT 208850 SOS 77858 HAS SOPS 60022 HAS SOUS 53450 HAS SOUPS 44808 WITH SCORE 44885.858
AT ITER 2905 NEW BEST:: SOT 208834 SOS 77839 HAS SOPS 60003 HAS SOUS 53434 HAS SOUPS 44792 WITH SCORE 44869.839
AT ITER 2924 NEW BEST:: SOT 208800 SOS 77879 HAS SOPS 59935 HAS SOUS 53490 HAS SOUPS 44740 WITH SCORE 44817.879
AT ITER 2935 NEW BEST:: SOT 208771 SOS 77530 HAS SOPS 59902 HAS SOUS 53141 HAS SOUPS 44707 WITH SCORE 44784.53
AT ITER 2936 NEW BEST:: SOT 208693 SOS 77420 HAS SOPS 59824 HAS SOUS 53095 HAS SOUPS 44693 WITH SCORE 44770.42
AT ITER 2943 NEW BEST:: SOT 208703 SOS 77430 HAS SOPS 59790 HAS SOUS 53105 HAS SOUPS 44659 WITH SCORE 44736.43
AT ITER 2953 NEW BEST:: SOT 208690 SOS 77417 HAS SOPS 59764 HAS SOUS 53092 HAS SOUPS 44633 WITH SCORE 44710.417
AT ITER 2965 NEW BEST:: SOT 208659 SOS 77361 HAS SOPS 59739 HAS SOUS 53036 HAS SOUPS 44608 WITH SCORE 44685.361
AT ITER 2976 NEW BEST:: SOT 208650 SOS 77339 HAS SOPS 59654 HAS SOUS 52951 HAS SOUPS 44523 WITH SCORE 44600.339
AT ITER 2980 NEW BEST:: SOT 208526 SOS 77263 HAS SOPS 59578 HAS SOUS 52885 HAS SOUPS 44457 WITH SCORE 44534.263
AT ITER 2997 NEW BEST:: SOT 208511 SOS 77160 HAS SOPS 59475 HAS SOUS 52782 HAS SOUPS 44354 WITH SCORE 44431.16
AT ITER 3008 NEW BEST:: SOT 208493 SOS 77142 HAS SOPS 59457 HAS SOUS 52764 HAS SOUPS 44336 WITH SCORE 44413.142
AT ITER 3012 NEW BEST:: SOT 208497 SOS 77123 HAS SOPS 59438 HAS SOUS 52689 HAS SOUPS 44261 WITH SCORE 44338.123
AT ITER 3027 NEW BEST:: SOT 208427 SOS 76961 HAS SOPS 59368 HAS SOUS 52548 HAS SOUPS 44191 WITH SCORE 44267.961
AT ITER 3037 NEW BEST:: SOT 208412 SOS 76966 HAS SOPS 59338 HAS SOUS 52568 HAS SOUPS 44176 WITH SCORE 44252.966
AT ITER 3042 NEW BEST:: SOT 208368 SOS 76898 HAS SOPS 59270 HAS SOUS 52504 HAS SOUPS 44112 WITH SCORE 44188.898
AT ITER 3044 NEW BEST:: SOT 208058 SOS 76588 HAS SOPS 58960 HAS SOUS 52349 HAS SOUPS 43957 WITH SCORE 44033.588
AT ITER 3064 NEW BEST:: SOT 208047 SOS 76566 HAS SOPS 58938 HAS SOUS 52338 HAS SOUPS 43946 WITH SCORE 44022.566
AT ITER 3068 NEW BEST:: SOT 208039 SOS 76542 HAS SOPS 58930 HAS SOUS 52322 HAS SOUPS 43938 WITH SCORE 44014.542
AT ITER 3071 NEW BEST:: SOT 208034 SOS 76401 HAS SOPS 58789 HAS SOUS 52211 HAS SOUPS 43827 WITH SCORE 43903.401
AT ITER 3093 NEW BEST:: SOT 208018 SOS 76385 HAS SOPS 58765 HAS SOUS 52203 HAS SOUPS 43811 WITH SCORE 43887.385
AT ITER 3096 NEW BEST:: SOT 207944 SOS 76237 HAS SOPS 58765 HAS SOUS 52129 HAS SOUPS 43811 WITH SCORE 43887.237
AT ITER 3107 NEW BEST:: SOT 207911 SOS 76201 HAS SOPS 58729 HAS SOUS 52112 HAS SOUPS 43794 WITH SCORE 43870.201
AT ITER 3112 NEW BEST:: SOT 207833 SOS 75923 HAS SOPS 58651 HAS SOUS 52006 HAS SOUPS 43738 WITH SCORE 43813.923
AT ITER 3123 NEW BEST:: SOT 207770 SOS 75861 HAS SOPS 58589 HAS SOUS 51944 HAS SOUPS 43676 WITH SCORE 43751.861
AT ITER 3137 NEW BEST:: SOT 208077 SOS 76268 HAS SOPS 58576 HAS SOUS 52051 HAS SOUPS 43663 WITH SCORE 43739.268
AT ITER 3140 NEW BEST:: SOT 208031 SOS 76176 HAS SOPS 58530 HAS SOUS 52005 HAS SOUPS 43663 WITH SCORE 43739.176
AT ITER 3146 NEW BEST:: SOT 207967 SOS 76112 HAS SOPS 58530 HAS SOUS 51941 HAS SOUPS 43663 WITH SCORE 43739.112
AT ITER 3150 NEW BEST:: SOT 207914 SOS 76059 HAS SOPS 58405 HAS SOUS 51907 HAS SOUPS 43557 WITH SCORE 43633.059
AT ITER 3156 NEW BEST:: SOT 207892 SOS 76039 HAS SOPS 58385 HAS SOUS 51887 HAS SOUPS 43537 WITH SCORE 43613.039
AT ITER 3159 NEW BEST:: SOT 207760 SOS 75932 HAS SOPS 58377 HAS SOUS 51762 HAS SOUPS 43511 WITH SCORE 43586.932
AT ITER 3161 NEW BEST:: SOT 207755 SOS 75909 HAS SOPS 58367 HAS SOUS 51739 HAS SOUPS 43501 WITH SCORE 43576.909
AT ITER 3165 NEW BEST:: SOT 207754 SOS 75908 HAS SOPS 58366 HAS SOUS 51737 HAS SOUPS 43499 WITH SCORE 43574.908
AT ITER 3179 NEW BEST:: SOT 207682 SOS 75731 HAS SOPS 58327 HAS SOUS 51572 HAS SOUPS 43460 WITH SCORE 43535.731
AT ITER 3182 NEW BEST:: SOT 207587 SOS 75636 HAS SOPS 58232 HAS SOUS 51504 HAS SOUPS 43392 WITH SCORE 43467.636
AT ITER 3198 NEW BEST:: SOT 207619 SOS 75536 HAS SOPS 58178 HAS SOUS 51448 HAS SOUPS 43378 WITH SCORE 43453.536
AT ITER 3235 NEW BEST:: SOT 207403 SOS 75293 HAS SOPS 57935 HAS SOUS 51131 HAS SOUPS 43061 WITH SCORE 43136.293
AT ITER 3242 NEW BEST:: SOT 207289 SOS 75094 HAS SOPS 57736 HAS SOUS 51017 HAS SOUPS 42947 WITH SCORE 43022.094
AT ITER 3244 NEW BEST:: SOT 207210 SOS 74579 HAS SOPS 57221 HAS SOUS 50862 HAS SOUPS 42792 WITH SCORE 42866.579
AT ITER 3293 NEW BEST:: SOT 207171 SOS 74399 HAS SOPS 57101 HAS SOUS 50841 HAS SOUPS 42771 WITH SCORE 42845.399
AT ITER 3300 NEW BEST:: SOT 207140 SOS 74392 HAS SOPS 57047 HAS SOUS 50835 HAS SOUPS 42765 WITH SCORE 42839.392
AT ITER 3315 NEW BEST:: SOT 207070 SOS 74252 HAS SOPS 56907 HAS SOUS 50823 HAS SOUPS 42753 WITH SCORE 42827.252
AT ITER 3333 NEW BEST:: SOT 207073 SOS 74255 HAS SOPS 56913 HAS SOUS 50796 HAS SOUPS 42729 WITH SCORE 42803.255
AT ITER 3336 NEW BEST:: SOT 207067 SOS 74423 HAS SOPS 56903 HAS SOUS 50713 HAS SOUPS 42634 WITH SCORE 42708.423
AT ITER 3345 NEW BEST:: SOT 207067 SOS 74444 HAS SOPS 56861 HAS SOUS 50692 HAS SOUPS 42592 WITH SCORE 42666.444
AT ITER 3352 NEW BEST:: SOT 207060 SOS 74430 HAS SOPS 56854 HAS SOUS 50678 HAS SOUPS 42585 WITH SCORE 42659.43
AT ITER 3355 NEW BEST:: SOT 206922 SOS 74292 HAS SOPS 56647 HAS SOUS 50609 HAS SOUPS 42447 WITH SCORE 42521.292
AT ITER 3361 NEW BEST:: SOT 206912 SOS 74267 HAS SOPS 56622 HAS SOUS 50589 HAS SOUPS 42427 WITH SCORE 42501.267
AT ITER 3366 NEW BEST:: SOT 206871 SOS 74115 HAS SOPS 56470 HAS SOUS 50437 HAS SOUPS 42275 WITH SCORE 42349.115
AT ITER 3380 NEW BEST:: SOT 206874 SOS 74112 HAS SOPS 56467 HAS SOUS 50434 HAS SOUPS 42272 WITH SCORE 42346.112
AT ITER 3384 NEW BEST:: SOT 206829 SOS 73977 HAS SOPS 56377 HAS SOUS 50389 HAS SOUPS 42227 WITH SCORE 42300.977
AT ITER 3390 NEW BEST:: SOT 206829 SOS 73977 HAS SOPS 56377 HAS SOUS 50377 HAS SOUPS 42215 WITH SCORE 42288.977
AT ITER 3398 NEW BEST:: SOT 206796 SOS 73944 HAS SOPS 56344 HAS SOUS 50312 HAS SOUPS 42150 WITH SCORE 42223.944
AT ITER 3405 NEW BEST:: SOT 206783 SOS 73907 HAS SOPS 56307 HAS SOUS 50288 HAS SOUPS 42126 WITH SCORE 42199.907
AT ITER 3439 NEW BEST:: SOT 206783 SOS 74107 HAS SOPS 56271 HAS SOUS 50311 HAS SOUPS 42090 WITH SCORE 42164.107
AT ITER 3448 NEW BEST:: SOT 206763 SOS 74087 HAS SOPS 56271 HAS SOUS 50311 HAS SOUPS 42090 WITH SCORE 42164.087
AT ITER 3482 NEW BEST:: SOT 206729 SOS 74053 HAS SOPS 56269 HAS SOUS 50309 HAS SOUPS 42088 WITH SCORE 42162.053
AT ITER 3487 NEW BEST:: SOT 206701 SOS 73983 HAS SOPS 56199 HAS SOUS 50267 HAS SOUPS 42046 WITH SCORE 42119.983
AT ITER 3490 NEW BEST:: SOT 206698 SOS 73945 HAS SOPS 56193 HAS SOUS 50396 HAS SOUPS 42040 WITH SCORE 42113.945
AT ITER 3510 NEW BEST:: SOT 206687 SOS 73934 HAS SOPS 56171 HAS SOUS 50385 HAS SOUPS 42018 WITH SCORE 42091.934
AT ITER 3511 NEW BEST:: SOT 206623 SOS 73554 HAS SOPS 55791 HAS SOUS 50284 HAS SOUPS 41917 WITH SCORE 41990.554
AT ITER 3529 NEW BEST:: SOT 206509 SOS 73440 HAS SOPS 55677 HAS SOUS 50227 HAS SOUPS 41860 WITH SCORE 41933.44
AT ITER 3546 NEW BEST:: SOT 206450 SOS 73381 HAS SOPS 55559 HAS SOUS 50109 HAS SOUPS 41742 WITH SCORE 41815.381
AT ITER 3548 NEW BEST:: SOT 206421 SOS 73445 HAS SOPS 55528 HAS SOUS 50173 HAS SOUPS 41711 WITH SCORE 41784.445
AT ITER 3551 NEW BEST:: SOT 206370 SOS 73240 HAS SOPS 55323 HAS SOUS 50070 HAS SOUPS 41608 WITH SCORE 41681.24
AT ITER 3564 NEW BEST:: SOT 206376 SOS 73231 HAS SOPS 55314 HAS SOUS 50055 HAS SOUPS 41593 WITH SCORE 41666.231
AT ITER 3596 NEW BEST:: SOT 206192 SOS 72774 HAS SOPS 54998 HAS SOUS 49871 HAS SOUPS 41550 WITH SCORE 41622.774
AT ITER 3609 NEW BEST:: SOT 206142 SOS 72649 HAS SOPS 54873 HAS SOUS 49796 HAS SOUPS 41475 WITH SCORE 41547.649
AT ITER 3610 NEW BEST:: SOT 206114 SOS 72621 HAS SOPS 54831 HAS SOUS 49768 HAS SOUPS 41447 WITH SCORE 41519.621
AT ITER 3616 NEW BEST:: SOT 206111 SOS 72609 HAS SOPS 54831 HAS SOUS 49765 HAS SOUPS 41447 WITH SCORE 41519.609
AT ITER 3623 NEW BEST:: SOT 206107 SOS 72601 HAS SOPS 54823 HAS SOUS 49757 HAS SOUPS 41439 WITH SCORE 41511.601
AT ITER 3674 NEW BEST:: SOT 206101 SOS 72565 HAS SOPS 54787 HAS SOUS 49739 HAS SOUPS 41421 WITH SCORE 41493.565
AT ITER 3680 NEW BEST:: SOT 205931 SOS 71876 HAS SOPS 54697 HAS SOUS 49494 HAS SOUPS 41331 WITH SCORE 41402.876
AT ITER 3718 NEW BEST:: SOT 205911 SOS 71856 HAS SOPS 54672 HAS SOUS 49474 HAS SOUPS 41306 WITH SCORE 41377.856
AT ITER 3733 NEW BEST:: SOT 205844 SOS 71601 HAS SOPS 54417 HAS SOUS 49401 HAS SOUPS 41233 WITH SCORE 41304.601
AT ITER 3751 NEW BEST:: SOT 205813 SOS 71600 HAS SOPS 54416 HAS SOUS 49383 HAS SOUPS 41215 WITH SCORE 41286.6
AT ITER 3774 NEW BEST:: SOT 205579 SOS 70898 HAS SOPS 54182 HAS SOUS 49149 HAS SOUPS 41098 WITH SCORE 41168.898
AT ITER 3776 NEW BEST:: SOT 205540 SOS 70833 HAS SOPS 54117 HAS SOUS 49110 HAS SOUPS 41059 WITH SCORE 41129.833
AT ITER 3797 NEW BEST:: SOT 205414 SOS 70712 HAS SOPS 53921 HAS SOUS 48958 HAS SOUPS 40907 WITH SCORE 40977.712
AT ITER 3805 NEW BEST:: SOT 205414 SOS 70562 HAS SOPS 53771 HAS SOUS 48928 HAS SOUPS 40877 WITH SCORE 40947.562
AT ITER 3816 NEW BEST:: SOT 205414 SOS 70409 HAS SOPS 53618 HAS SOUS 48928 HAS SOUPS 40877 WITH SCORE 40947.409
AT ITER 3823 NEW BEST:: SOT 205387 SOS 70334 HAS SOPS 53543 HAS SOUS 48922 HAS SOUPS 40871 WITH SCORE 40941.334
AT ITER 3824 NEW BEST:: SOT 205354 SOS 70301 HAS SOPS 53444 HAS SOUS 48856 HAS SOUPS 40805 WITH SCORE 40875.301
AT ITER 3841 NEW BEST:: SOT 205354 SOS 70246 HAS SOPS 53444 HAS SOUS 48793 HAS SOUPS 40805 WITH SCORE 40875.246
AT ITER 3848 NEW BEST:: SOT 205304 SOS 70163 HAS SOPS 53361 HAS SOUS 48756 HAS SOUPS 40768 WITH SCORE 40838.163
AT ITER 3883 NEW BEST:: SOT 205301 SOS 70136 HAS SOPS 53334 HAS SOUS 48753 HAS SOUPS 40765 WITH SCORE 40835.136
AT ITER 3895 NEW BEST:: SOT 205300 SOS 70134 HAS SOPS 53332 HAS SOUS 48751 HAS SOUPS 40763 WITH SCORE 40833.134
AT ITER 3905 NEW BEST:: SOT 205377 SOS 70136 HAS SOPS 53266 HAS SOUS 48753 HAS SOUPS 40697 WITH SCORE 40767.136
AT ITER 3921 NEW BEST:: SOT 205376 SOS 70118 HAS SOPS 53265 HAS SOUS 48735 HAS SOUPS 40696 WITH SCORE 40766.118
AT ITER 3929 NEW BEST:: SOT 205376 SOS 70115 HAS SOPS 53265 HAS SOUS 48732 HAS SOUPS 40696 WITH SCORE 40766.115
AT ITER 3963 NEW BEST:: SOT 205370 SOS 70103 HAS SOPS 53253 HAS SOUS 48726 HAS SOUPS 40690 WITH SCORE 40760.103
AT ITER 3968 NEW BEST:: SOT 205449 SOS 70796 HAS SOPS 53309 HAS SOUS 48805 HAS SOUPS 40561 WITH SCORE 40631.796
AT ITER 3972 NEW BEST:: SOT 205437 SOS 70784 HAS SOPS 53297 HAS SOUS 48793 HAS SOUPS 40549 WITH SCORE 40619.784
AT ITER 4000 NEW BEST:: SOT 205376 SOS 70775 HAS SOPS 53262 HAS SOUS 48784 HAS SOUPS 40514 WITH SCORE 40584.775
AT ITER 4011 NEW BEST:: SOT 205414 SOS 70631 HAS SOPS 53060 HAS SOUS 48682 HAS SOUPS 40354 WITH SCORE 40424.631
AT ITER 4024 NEW BEST:: SOT 205260 SOS 70477 HAS SOPS 53002 HAS SOUS 48613 HAS SOUPS 40296 WITH SCORE 40366.477
AT ITER 4057 NEW BEST:: SOT 205250 SOS 70457 HAS SOPS 52972 HAS SOUS 48593 HAS SOUPS 40276 WITH SCORE 40346.457
AT ITER 4058 NEW BEST:: SOT 205250 SOS 70438 HAS SOPS 52934 HAS SOUS 48574 HAS SOUPS 40238 WITH SCORE 40308.438
AT ITER 4071 NEW BEST:: SOT 205135 SOS 70234 HAS SOPS 52730 HAS SOUS 48351 HAS SOUPS 40015 WITH SCORE 40085.234
AT ITER 4073 NEW BEST:: SOT 205087 SOS 70246 HAS SOPS 52724 HAS SOUS 48345 HAS SOUPS 40009 WITH SCORE 40079.246
AT ITER 4086 NEW BEST:: SOT 205044 SOS 70203 HAS SOPS 52635 HAS SOUS 48259 HAS SOUPS 39923 WITH SCORE 39993.203
AT ITER 4092 NEW BEST:: SOT 205047 SOS 70176 HAS SOPS 52607 HAS SOUS 48231 HAS SOUPS 39895 WITH SCORE 39965.176
AT ITER 4094 NEW BEST:: SOT 205046 SOS 70175 HAS SOPS 52605 HAS SOUS 48154 HAS SOUPS 39893 WITH SCORE 39963.175
AT ITER 4095 NEW BEST:: SOT 205010 SOS 70139 HAS SOPS 52523 HAS SOUS 48118 HAS SOUPS 39811 WITH SCORE 39881.139
AT ITER 4136 NEW BEST:: SOT 204988 SOS 70128 HAS SOPS 52512 HAS SOUS 48107 HAS SOUPS 39800 WITH SCORE 39870.128
AT ITER 4157 NEW BEST:: SOT 204954 SOS 71657 HAS SOPS 54041 HAS SOUS 48078 HAS SOUPS 39771 WITH SCORE 39842.657
AT ITER 4158 NEW BEST:: SOT 204954 SOS 71651 HAS SOPS 54035 HAS SOUS 48078 HAS SOUPS 39771 WITH SCORE 39842.651
AT ITER 4188 NEW BEST:: SOT 204892 SOS 71589 HAS SOPS 53972 HAS SOUS 48076 HAS SOUPS 39769 WITH SCORE 39840.589
AT ITER 4191 NEW BEST:: SOT 204910 SOS 71484 HAS SOPS 53867 HAS SOUS 48056 HAS SOUPS 39749 WITH SCORE 39820.484
AT ITER 4200 NEW BEST:: SOT 204804 SOS 71106 HAS SOPS 53581 HAS SOUS 47862 HAS SOUPS 39608 WITH SCORE 39679.106
AT ITER 4221 NEW BEST:: SOT 204791 SOS 71067 HAS SOPS 53542 HAS SOUS 47836 HAS SOUPS 39582 WITH SCORE 39653.067
AT ITER 4257 NEW BEST:: SOT 204785 SOS 71061 HAS SOPS 53536 HAS SOUS 47830 HAS SOUPS 39576 WITH SCORE 39647.061
AT ITER 4264 NEW BEST:: SOT 204755 SOS 70935 HAS SOPS 53410 HAS SOUS 47715 HAS SOUPS 39461 WITH SCORE 39531.935
AT ITER 4297 NEW BEST:: SOT 204796 SOS 70999 HAS SOPS 53237 HAS SOUS 47542 HAS SOUPS 39288 WITH SCORE 39358.999
AT ITER 4311 NEW BEST:: SOT 204680 SOS 70771 HAS SOPS 53009 HAS SOUS 47376 HAS SOUPS 39122 WITH SCORE 39192.771
AT ITER 4312 NEW BEST:: SOT 204623 SOS 70602 HAS SOPS 52895 HAS SOUS 47318 HAS SOUPS 39064 WITH SCORE 39134.602
AT ITER 4313 NEW BEST:: SOT 204620 SOS 70599 HAS SOPS 52892 HAS SOUS 47315 HAS SOUPS 39061 WITH SCORE 39131.599
AT ITER 4338 NEW BEST:: SOT 204666 SOS 70645 HAS SOPS 52984 HAS SOUS 47252 HAS SOUPS 39044 WITH SCORE 39114.645
AT ITER 4340 NEW BEST:: SOT 204666 SOS 70652 HAS SOPS 52984 HAS SOUS 47252 HAS SOUPS 39037 WITH SCORE 39107.652
AT ITER 4350 NEW BEST:: SOT 204628 SOS 70508 HAS SOPS 52840 HAS SOUS 47108 HAS SOUPS 38893 WITH SCORE 38963.508
AT ITER 4362 NEW BEST:: SOT 204641 SOS 70521 HAS SOPS 52853 HAS SOUS 47095 HAS SOUPS 38880 WITH SCORE 38950.521
AT ITER 4378 NEW BEST:: SOT 204668 SOS 70786 HAS SOPS 52907 HAS SOUS 47030 HAS SOUPS 38815 WITH SCORE 38885.786
AT ITER 4382 NEW BEST:: SOT 204685 SOS 70890 HAS SOPS 52900 HAS SOUS 47134 HAS SOUPS 38808 WITH SCORE 38878.89
AT ITER 4396 NEW BEST:: SOT 204670 SOS 70875 HAS SOPS 52870 HAS SOUS 47119 HAS SOUPS 38778 WITH SCORE 38848.875
AT ITER 4400 NEW BEST:: SOT 204665 SOS 70865 HAS SOPS 52860 HAS SOUS 47119 HAS SOUPS 38778 WITH SCORE 38848.865
AT ITER 4416 NEW BEST:: SOT 204641 SOS 70841 HAS SOPS 52836 HAS SOUS 47071 HAS SOUPS 38730 WITH SCORE 38800.841
AT ITER 4427 NEW BEST:: SOT 204638 SOS 70754 HAS SOPS 52867 HAS SOUS 46906 HAS SOUPS 38683 WITH SCORE 38753.754
AT ITER 4429 NEW BEST:: SOT 204524 SOS 70588 HAS SOPS 52701 HAS SOUS 46797 HAS SOUPS 38574 WITH SCORE 38644.588
AT ITER 4431 NEW BEST:: SOT 204550 SOS 70614 HAS SOPS 52663 HAS SOUS 46823 HAS SOUPS 38536 WITH SCORE 38606.614
AT ITER 4432 NEW BEST:: SOT 204523 SOS 70593 HAS SOPS 52642 HAS SOUS 46808 HAS SOUPS 38521 WITH SCORE 38591.593
AT ITER 4435 NEW BEST:: SOT 204457 SOS 70513 HAS SOPS 52562 HAS SOUS 46696 HAS SOUPS 38409 WITH SCORE 38479.513
AT ITER 4458 NEW BEST:: SOT 204379 SOS 70396 HAS SOPS 52445 HAS SOUS 46579 HAS SOUPS 38292 WITH SCORE 38362.396
AT ITER 4459 NEW BEST:: SOT 204378 SOS 70395 HAS SOPS 52443 HAS SOUS 46577 HAS SOUPS 38290 WITH SCORE 38360.395
AT ITER 4461 NEW BEST:: SOT 204371 SOS 70388 HAS SOPS 52290 HAS SOUS 46624 HAS SOUPS 38276 WITH SCORE 38346.388
AT ITER 4469 NEW BEST:: SOT 204318 SOS 70286 HAS SOPS 52289 HAS SOUS 46522 HAS SOUPS 38275 WITH SCORE 38345.286
AT ITER 4472 NEW BEST:: SOT 204302 SOS 70254 HAS SOPS 52257 HAS SOUS 46506 HAS SOUPS 38259 WITH SCORE 38329.254
AT ITER 4483 NEW BEST:: SOT 204296 SOS 70466 HAS SOPS 52472 HAS SOUS 46489 HAS SOUPS 38245 WITH SCORE 38315.466
AT ITER 4528 NEW BEST:: SOT 204358 SOS 70459 HAS SOPS 52465 HAS SOUS 46420 HAS SOUPS 38176 WITH SCORE 38246.459
AT ITER 4542 NEW BEST:: SOT 204302 SOS 70376 HAS SOPS 52382 HAS SOUS 46393 HAS SOUPS 38149 WITH SCORE 38219.376
AT ITER 4582 NEW BEST:: SOT 204293 SOS 70339 HAS SOPS 52357 HAS SOUS 46375 HAS SOUPS 38131 WITH SCORE 38201.339
AT ITER 4590 NEW BEST:: SOT 204233 SOS 70339 HAS SOPS 52357 HAS SOUS 46345 HAS SOUPS 38101 WITH SCORE 38171.339
AT ITER 4600 NEW BEST:: SOT 204171 SOS 70277 HAS SOPS 52295 HAS SOUS 46283 HAS SOUPS 38039 WITH SCORE 38109.277
AT ITER 4643 NEW BEST:: SOT 204049 SOS 70272 HAS SOPS 52290 HAS SOUS 46278 HAS SOUPS 38034 WITH SCORE 38104.272
AT ITER 4689 NEW BEST:: SOT 204016 SOS 70189 HAS SOPS 52207 HAS SOUS 46228 HAS SOUPS 37984 WITH SCORE 38054.189
AT ITER 4703 NEW BEST:: SOT 203953 SOS 70105 HAS SOPS 52123 HAS SOUS 46186 HAS SOUPS 37942 WITH SCORE 38012.105
AT ITER 4802 NEW BEST:: SOT 203974 SOS 70056 HAS SOPS 52074 HAS SOUS 46165 HAS SOUPS 37921 WITH SCORE 37991.056
AT ITER 4860 NEW BEST:: SOT 203914 SOS 69966 HAS SOPS 51984 HAS SOUS 46105 HAS SOUPS 37861 WITH SCORE 37930.966
AT ITER 4870 NEW BEST:: SOT 203930 SOS 69942 HAS SOPS 51960 HAS SOUS 46105 HAS SOUPS 37861 WITH SCORE 37930.942
AT ITER 4879 NEW BEST:: SOT 203979 SOS 69893 HAS SOPS 51911 HAS SOUS 46105 HAS SOUPS 37861 WITH SCORE 37930.893
AT ITER 4938 NEW BEST:: SOT 203957 SOS 69860 HAS SOPS 51867 HAS SOUS 46072 HAS SOUPS 37828 WITH SCORE 37897.86
AT ITER 4948 NEW BEST:: SOT 203951 SOS 69842 HAS SOPS 51849 HAS SOUS 46060 HAS SOUPS 37816 WITH SCORE 37885.842
AT ITER 4949 NEW BEST:: SOT 203914 SOS 69749 HAS SOPS 51756 HAS SOUS 45967 HAS SOUPS 37723 WITH SCORE 37792.749
AT ITER 4957 NEW BEST:: SOT 203875 SOS 69618 HAS SOPS 51625 HAS SOUS 45882 HAS SOUPS 37638 WITH SCORE 37707.618
AT ITER 4981 NEW BEST:: SOT 203862 SOS 69573 HAS SOPS 51573 HAS SOUS 45830 HAS SOUPS 37586 WITH SCORE 37655.573
AT ITER 4982 NEW BEST:: SOT 203797 SOS 69530 HAS SOPS 51530 HAS SOUS 45814 HAS SOUPS 37570 WITH SCORE 37639.53
AT ITER 4990 NEW BEST:: SOT 203792 SOS 69525 HAS SOPS 51525 HAS SOUS 45804 HAS SOUPS 37560 WITH SCORE 37629.525
AT ITER 4996 NEW BEST:: SOT 203789 SOS 69522 HAS SOPS 51520 HAS SOUS 45800 HAS SOUPS 37556 WITH SCORE 37625.522
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AutoFlight-PT-24a-CTLCardinality-00 (AF(( ( ( potential( (tk(P459)) <= (tk(P35)) ) | potential( ( 1 ) <= (tk(P202)) ) ) & (! potential( (tk(P228)) <= (tk(P196)) )) ) & (! potential( ( 3 ) <= (tk(P361)) )) )))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-01 ( ( potential( ( 3 ) <= (tk(P601)) ) & (EX( ( potential( (tk(P31)) <= (tk(P470)) ) & potential( (tk(P83)) <= (tk(P172)) ) ))) ) | (EF((AX( potential( ( 3 ) <= (tk(P378)) ))))) )
PROPERTY: AutoFlight-PT-24a-CTLCardinality-02 (AF(( potential( (tk(P166)) <= (tk(P383)) ) & ( (! potential( (tk(P480)) <= (tk(P348)) )) & ( potential( (tk(P238)) <= (tk(P147)) ) & potential( (tk(P217)) <= (tk(P349)) ) ) ) )))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-03 ( ( (EX( ( potential( (tk(P175)) <= (tk(P574)) ) | potential( (tk(P90)) <= (tk(P77)) ) ))) | (EX( (! potential( (tk(P464)) <= (tk(P566)) )))) ) & (EF((AX( potential( ( 2 ) <= (tk(P467)) ))))) )
PROPERTY: AutoFlight-PT-24a-CTLCardinality-04 (AF((AG( potential( ( 1 ) <= (tk(P318)) )))))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-05 (EG( (EF((! potential( (tk(P41)) <= (tk(P379)) ))))))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-06 ( ( potential( (tk(P172)) <= (tk(P574)) ) & ( ( potential( ( 3 ) <= (tk(P362)) ) & ( potential( ( 2 ) <= (tk(P256)) ) & potential( (tk(P440)) <= (tk(P469)) ) ) ) | (AF(potential( ( 3 ) <= (tk(P455)) ))) ) ) | ( (AX( ( potential( (tk(P523)) <= (tk(P18)) ) & potential( (tk(P214)) <= (tk(P156)) ) ))) & (AF(( potential( ( 2 ) <= (tk(P180)) ) | potential( (tk(P412)) <= (tk(P49)) ) ))) ) )
PROPERTY: AutoFlight-PT-24a-CTLCardinality-07 (AX( (EG( (! potential( ( 2 ) <= (tk(P169)) ))))))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-08 (! (EF(potential( ( 3 ) <= (tk(P358)) ))))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-09 ( (AG( (EF(potential( ( 2 ) <= (tk(P595)) ))))) | ( ( (EG( potential( ( 1 ) <= (tk(P16)) ))) & (EF(potential( ( 3 ) <= (tk(P96)) ))) ) & potential( (tk(P519)) <= (tk(P504)) ) ) )
PROPERTY: AutoFlight-PT-24a-CTLCardinality-10 (EF(potential( ( 2 ) <= (tk(P603)) )))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-11 (AU( ( (! potential( ( 1 ) <= (tk(P265)) )) & ( potential( (tk(P398)) <= (tk(P234)) ) & potential( (tk(P517)) <= (tk(P361)) ) ) ),(EG( potential( (tk(P312)) <= (tk(P109)) ))) ))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-12 ( (! ( (AG( potential( (tk(P288)) <= (tk(P466)) ))) | ( ( potential( ( 3 ) <= (tk(P417)) ) & potential( (tk(P305)) <= (tk(P487)) ) ) | ( potential( ( 3 ) <= (tk(P265)) ) & potential( ( 1 ) <= (tk(P269)) ) ) ) )) & (! (AX( ( potential( ( 3 ) <= (tk(P222)) ) & potential( (tk(P520)) <= (tk(P513)) ) )))) )
PROPERTY: AutoFlight-PT-24a-CTLCardinality-13 ( (EG( (AG( potential( (tk(P58)) <= (tk(P7)) ))))) & ( ( ( ( potential( (tk(P578)) <= (tk(P443)) ) & potential( ( 3 ) <= (tk(P523)) ) ) | potential( (tk(P452)) <= (tk(P502)) ) ) | potential( (tk(P468)) <= (tk(P275)) ) ) | ( ( (! potential( ( 2 ) <= (tk(P65)) )) & ( potential( ( 1 ) <= (tk(P528)) ) & potential( ( 2 ) <= (tk(P284)) ) ) ) | potential( (tk(P231)) <= (tk(P50)) ) ) ) )
PROPERTY: AutoFlight-PT-24a-CTLCardinality-14 (AF(potential( ( 3 ) <= (tk(P93)) )))
PROPERTY: AutoFlight-PT-24a-CTLCardinality-15 (EU( ( ( potential( (tk(P522)) <= (tk(P62)) ) | potential( (tk(P260)) <= (tk(P36)) ) ) | ( potential( (tk(P530)) <= (tk(P380)) ) | potential( (tk(P575)) <= (tk(P607)) ) ) ),( ( potential( ( 2 ) <= (tk(P515)) ) & potential( ( 1 ) <= (tk(P295)) ) ) | (! potential( (tk(P505)) <= (tk(P562)) )) ) ))

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="AutoFlight-PT-24a"
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 AutoFlight-PT-24a, 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 r003-smll-158897508600483"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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