Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 5.6K Feb 25 22:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 22:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 22:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 22:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 22:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 25 22:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 25 22:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 215K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679031016690

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RwMutex-PT-r0100w0010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 05:30:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 05:30:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 05:30:20] [INFO ] Load time of PNML (sax parser for PT used): 225 ms
[2023-03-17 05:30:20] [INFO ] Transformed 320 places.
[2023-03-17 05:30:20] [INFO ] Transformed 220 transitions.
[2023-03-17 05:30:20] [INFO ] Found NUPN structural information;
[2023-03-17 05:30:20] [INFO ] Parsed PT model containing 320 places and 220 transitions and 2640 arcs in 373 ms.
[2023-03-17 05:30:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 320 places, 220 transitions and 2640 arcs took 19 ms.
Total runtime 441 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0100w0010
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 320 places, 220 transitions, 2640 arcs.
AT ITER 0 NEW BEST:: SOT 60064 SOS 47856 HAS SOPS 47856 HAS SOUS 47856 HAS SOUPS 47856 WITH SCORE 47903.856
AT ITER 2 NEW BEST:: SOT 60020 SOS 47838 HAS SOPS 47838 HAS SOUS 47838 HAS SOUPS 47838 WITH SCORE 47885.838
AT ITER 3 NEW BEST:: SOT 60020 SOS 47718 HAS SOPS 47718 HAS SOUS 47718 HAS SOUPS 47718 WITH SCORE 47765.718
AT ITER 9 NEW BEST:: SOT 60020 SOS 47570 HAS SOPS 47570 HAS SOUS 47570 HAS SOUPS 47570 WITH SCORE 47617.57
AT ITER 10 NEW BEST:: SOT 59902 SOS 48262 HAS SOPS 48262 HAS SOUS 47456 HAS SOUPS 47456 WITH SCORE 47504.262
AT ITER 11 NEW BEST:: SOT 59696 SOS 47770 HAS SOPS 47770 HAS SOUS 47244 HAS SOUPS 47244 WITH SCORE 47291.77
AT ITER 13 NEW BEST:: SOT 59696 SOS 47678 HAS SOPS 47678 HAS SOUS 47152 HAS SOUPS 47152 WITH SCORE 47199.678
AT ITER 14 NEW BEST:: SOT 59652 SOS 47634 HAS SOPS 47634 HAS SOUS 47108 HAS SOUPS 47108 WITH SCORE 47155.634
AT ITER 15 NEW BEST:: SOT 59390 SOS 47228 HAS SOPS 47228 HAS SOUS 46702 HAS SOUPS 46702 WITH SCORE 46749.228
AT ITER 17 NEW BEST:: SOT 59390 SOS 46998 HAS SOPS 46998 HAS SOUS 46472 HAS SOUPS 46472 WITH SCORE 46518.998
AT ITER 18 NEW BEST:: SOT 59390 SOS 46854 HAS SOPS 46854 HAS SOUS 46328 HAS SOUPS 46328 WITH SCORE 46374.854
AT ITER 19 NEW BEST:: SOT 59224 SOS 46542 HAS SOPS 46542 HAS SOUS 46016 HAS SOUPS 46016 WITH SCORE 46062.542
AT ITER 20 NEW BEST:: SOT 59180 SOS 46498 HAS SOPS 46498 HAS SOUS 45972 HAS SOUPS 45972 WITH SCORE 46018.498
AT ITER 22 NEW BEST:: SOT 59180 SOS 46350 HAS SOPS 46350 HAS SOUS 45824 HAS SOUPS 45824 WITH SCORE 45870.35
AT ITER 23 NEW BEST:: SOT 59180 SOS 46222 HAS SOPS 46222 HAS SOUS 45696 HAS SOUPS 45696 WITH SCORE 45742.222
AT ITER 24 NEW BEST:: SOT 59180 SOS 46074 HAS SOPS 46074 HAS SOUS 45548 HAS SOUPS 45548 WITH SCORE 45594.074
AT ITER 25 NEW BEST:: SOT 59136 SOS 45882 HAS SOPS 45882 HAS SOUS 45356 HAS SOUPS 45356 WITH SCORE 45401.882
AT ITER 27 NEW BEST:: SOT 58918 SOS 45572 HAS SOPS 45572 HAS SOUS 45046 HAS SOUPS 45046 WITH SCORE 45091.572
AT ITER 31 NEW BEST:: SOT 58918 SOS 45434 HAS SOPS 45434 HAS SOUS 44908 HAS SOUPS 44908 WITH SCORE 44953.434
AT ITER 33 NEW BEST:: SOT 58740 SOS 45256 HAS SOPS 45256 HAS SOUS 44730 HAS SOUPS 44730 WITH SCORE 44775.256
AT ITER 34 NEW BEST:: SOT 58558 SOS 45234 HAS SOPS 45234 HAS SOUS 44708 HAS SOUPS 44708 WITH SCORE 44753.234
AT ITER 35 NEW BEST:: SOT 58544 SOS 45220 HAS SOPS 45220 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44739.22
AT ITER 36 NEW BEST:: SOT 58570 SOS 45194 HAS SOPS 45194 HAS SOUS 44668 HAS SOUPS 44668 WITH SCORE 44713.194
AT ITER 37 NEW BEST:: SOT 58548 SOS 45172 HAS SOPS 45172 HAS SOUS 44646 HAS SOUPS 44646 WITH SCORE 44691.172
AT ITER 38 NEW BEST:: SOT 58548 SOS 45038 HAS SOPS 45038 HAS SOUS 44512 HAS SOUPS 44512 WITH SCORE 44557.038
AT ITER 39 NEW BEST:: SOT 58286 SOS 44776 HAS SOPS 44776 HAS SOUS 44250 HAS SOUPS 44250 WITH SCORE 44294.776
AT ITER 40 NEW BEST:: SOT 58286 SOS 44630 HAS SOPS 44630 HAS SOUS 44104 HAS SOUPS 44104 WITH SCORE 44148.63
AT ITER 41 NEW BEST:: SOT 58122 SOS 44466 HAS SOPS 44466 HAS SOUS 43940 HAS SOUPS 43940 WITH SCORE 43984.466
AT ITER 43 NEW BEST:: SOT 58002 SOS 44346 HAS SOPS 44346 HAS SOUS 43820 HAS SOUPS 43820 WITH SCORE 43864.346
AT ITER 45 NEW BEST:: SOT 57838 SOS 44182 HAS SOPS 44182 HAS SOUS 43656 HAS SOUPS 43656 WITH SCORE 43700.182
AT ITER 46 NEW BEST:: SOT 57586 SOS 43904 HAS SOPS 43904 HAS SOUS 43268 HAS SOUPS 43268 WITH SCORE 43311.904
AT ITER 48 NEW BEST:: SOT 57576 SOS 43894 HAS SOPS 43894 HAS SOUS 43258 HAS SOUPS 43258 WITH SCORE 43301.894
AT ITER 49 NEW BEST:: SOT 57478 SOS 43654 HAS SOPS 43654 HAS SOUS 43018 HAS SOUPS 43018 WITH SCORE 43061.654
AT ITER 50 NEW BEST:: SOT 57232 SOS 43408 HAS SOPS 43408 HAS SOUS 42772 HAS SOUPS 42772 WITH SCORE 42815.408
AT ITER 51 NEW BEST:: SOT 57232 SOS 43294 HAS SOPS 43294 HAS SOUS 42658 HAS SOUPS 42658 WITH SCORE 42701.294
AT ITER 52 NEW BEST:: SOT 57232 SOS 43250 HAS SOPS 43250 HAS SOUS 42614 HAS SOUPS 42614 WITH SCORE 42657.25
AT ITER 55 NEW BEST:: SOT 57232 SOS 43194 HAS SOPS 43194 HAS SOUS 42558 HAS SOUPS 42558 WITH SCORE 42601.194
AT ITER 56 NEW BEST:: SOT 57232 SOS 43042 HAS SOPS 43042 HAS SOUS 42406 HAS SOUPS 42406 WITH SCORE 42449.042
AT ITER 60 NEW BEST:: SOT 57232 SOS 42898 HAS SOPS 42898 HAS SOUS 42262 HAS SOUPS 42262 WITH SCORE 42304.898
AT ITER 61 NEW BEST:: SOT 57232 SOS 42858 HAS SOPS 42858 HAS SOUS 42222 HAS SOUPS 42222 WITH SCORE 42264.858
AT ITER 62 NEW BEST:: SOT 57214 SOS 42666 HAS SOPS 42666 HAS SOUS 42030 HAS SOUPS 42030 WITH SCORE 42072.666
AT ITER 63 NEW BEST:: SOT 56970 SOS 42422 HAS SOPS 42422 HAS SOUS 41786 HAS SOUPS 41786 WITH SCORE 41828.422
AT ITER 66 NEW BEST:: SOT 56970 SOS 42330 HAS SOPS 42330 HAS SOUS 41694 HAS SOUPS 41694 WITH SCORE 41736.33
AT ITER 67 NEW BEST:: SOT 56874 SOS 41988 HAS SOPS 41988 HAS SOUS 41352 HAS SOUPS 41352 WITH SCORE 41393.988
AT ITER 69 NEW BEST:: SOT 56730 SOS 41844 HAS SOPS 41844 HAS SOUS 41208 HAS SOUPS 41208 WITH SCORE 41249.844
AT ITER 70 NEW BEST:: SOT 56730 SOS 41734 HAS SOPS 41734 HAS SOUS 41098 HAS SOUPS 41098 WITH SCORE 41139.734
AT ITER 72 NEW BEST:: SOT 56576 SOS 41580 HAS SOPS 41580 HAS SOUS 40944 HAS SOUPS 40944 WITH SCORE 40985.58
AT ITER 73 NEW BEST:: SOT 56496 SOS 41352 HAS SOPS 41352 HAS SOUS 40716 HAS SOUPS 40716 WITH SCORE 40757.352
AT ITER 75 NEW BEST:: SOT 56496 SOS 41226 HAS SOPS 41226 HAS SOUS 40590 HAS SOUPS 40590 WITH SCORE 40631.226
AT ITER 78 NEW BEST:: SOT 56602 SOS 41124 HAS SOPS 41124 HAS SOUS 40488 HAS SOUPS 40488 WITH SCORE 40529.124
AT ITER 81 NEW BEST:: SOT 56542 SOS 41286 HAS SOPS 41286 HAS SOUS 40180 HAS SOUPS 40180 WITH SCORE 40221.286
AT ITER 82 NEW BEST:: SOT 56542 SOS 41252 HAS SOPS 41252 HAS SOUS 40146 HAS SOUPS 40146 WITH SCORE 40187.252
AT ITER 85 NEW BEST:: SOT 56542 SOS 41222 HAS SOPS 41222 HAS SOUS 40116 HAS SOUPS 40116 WITH SCORE 40157.222
AT ITER 89 NEW BEST:: SOT 56398 SOS 40944 HAS SOPS 40944 HAS SOUS 39838 HAS SOUPS 39838 WITH SCORE 39878.944
AT ITER 90 NEW BEST:: SOT 56290 SOS 40836 HAS SOPS 40836 HAS SOUS 39730 HAS SOUPS 39730 WITH SCORE 39770.836
AT ITER 93 NEW BEST:: SOT 56290 SOS 40638 HAS SOPS 40638 HAS SOUS 39532 HAS SOUPS 39532 WITH SCORE 39572.638
AT ITER 95 NEW BEST:: SOT 56290 SOS 40606 HAS SOPS 40606 HAS SOUS 39500 HAS SOUPS 39500 WITH SCORE 39540.606
AT ITER 96 NEW BEST:: SOT 56290 SOS 40600 HAS SOPS 40600 HAS SOUS 39494 HAS SOUPS 39494 WITH SCORE 39534.6
AT ITER 97 NEW BEST:: SOT 56290 SOS 40470 HAS SOPS 40470 HAS SOUS 39364 HAS SOUPS 39364 WITH SCORE 39404.47
AT ITER 102 NEW BEST:: SOT 56222 SOS 40402 HAS SOPS 40402 HAS SOUS 39296 HAS SOUPS 39296 WITH SCORE 39336.402
AT ITER 103 NEW BEST:: SOT 56034 SOS 40214 HAS SOPS 40214 HAS SOUS 39108 HAS SOUPS 39108 WITH SCORE 39148.214
AT ITER 104 NEW BEST:: SOT 56034 SOS 40106 HAS SOPS 40106 HAS SOUS 39000 HAS SOUPS 39000 WITH SCORE 39040.106
AT ITER 105 NEW BEST:: SOT 55868 SOS 40028 HAS SOPS 40028 HAS SOUS 38922 HAS SOUPS 38922 WITH SCORE 38962.028
AT ITER 106 NEW BEST:: SOT 55656 SOS 39554 HAS SOPS 39554 HAS SOUS 38448 HAS SOUPS 38448 WITH SCORE 38487.554
AT ITER 109 NEW BEST:: SOT 55436 SOS 39138 HAS SOPS 39138 HAS SOUS 38032 HAS SOUPS 38032 WITH SCORE 38071.138
AT ITER 110 NEW BEST:: SOT 55436 SOS 39134 HAS SOPS 39134 HAS SOUS 38028 HAS SOUPS 38028 WITH SCORE 38067.134
AT ITER 113 NEW BEST:: SOT 55274 SOS 38972 HAS SOPS 38972 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37904.972
AT ITER 115 NEW BEST:: SOT 55274 SOS 38972 HAS SOPS 38972 HAS SOUS 37862 HAS SOUPS 37862 WITH SCORE 37900.972
AT ITER 116 NEW BEST:: SOT 54934 SOS 38576 HAS SOPS 38576 HAS SOUS 37466 HAS SOUPS 37466 WITH SCORE 37504.576
AT ITER 122 NEW BEST:: SOT 54934 SOS 38432 HAS SOPS 38432 HAS SOUS 37322 HAS SOUPS 37322 WITH SCORE 37360.432
AT ITER 123 NEW BEST:: SOT 54934 SOS 38300 HAS SOPS 38300 HAS SOUS 37190 HAS SOUPS 37190 WITH SCORE 37228.3
AT ITER 124 NEW BEST:: SOT 54890 SOS 38256 HAS SOPS 38256 HAS SOUS 37146 HAS SOUPS 37146 WITH SCORE 37184.256
AT ITER 126 NEW BEST:: SOT 54890 SOS 38068 HAS SOPS 38068 HAS SOUS 36958 HAS SOUPS 36958 WITH SCORE 36996.068
AT ITER 127 NEW BEST:: SOT 54836 SOS 38014 HAS SOPS 38014 HAS SOUS 36904 HAS SOUPS 36904 WITH SCORE 36942.014
AT ITER 128 NEW BEST:: SOT 54766 SOS 37944 HAS SOPS 37944 HAS SOUS 36834 HAS SOUPS 36834 WITH SCORE 36871.944
AT ITER 133 NEW BEST:: SOT 54766 SOS 37928 HAS SOPS 37928 HAS SOUS 36818 HAS SOUPS 36818 WITH SCORE 36855.928
AT ITER 136 NEW BEST:: SOT 54594 SOS 37584 HAS SOPS 37584 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36511.584
AT ITER 137 NEW BEST:: SOT 54594 SOS 37496 HAS SOPS 37496 HAS SOUS 36386 HAS SOUPS 36386 WITH SCORE 36423.496
AT ITER 138 NEW BEST:: SOT 54434 SOS 37366 HAS SOPS 37366 HAS SOUS 36256 HAS SOUPS 36256 WITH SCORE 36293.366
AT ITER 141 NEW BEST:: SOT 54190 SOS 37122 HAS SOPS 37122 HAS SOUS 36012 HAS SOUPS 36012 WITH SCORE 36049.122
AT ITER 143 NEW BEST:: SOT 54038 SOS 36970 HAS SOPS 36970 HAS SOUS 35860 HAS SOUPS 35860 WITH SCORE 35896.97
AT ITER 144 NEW BEST:: SOT 53976 SOS 36908 HAS SOPS 36908 HAS SOUS 35798 HAS SOUPS 35798 WITH SCORE 35834.908
AT ITER 145 NEW BEST:: SOT 53976 SOS 36806 HAS SOPS 36806 HAS SOUS 35696 HAS SOUPS 35696 WITH SCORE 35732.806
AT ITER 150 NEW BEST:: SOT 53976 SOS 36668 HAS SOPS 36668 HAS SOUS 35558 HAS SOUPS 35558 WITH SCORE 35594.668
AT ITER 152 NEW BEST:: SOT 53920 SOS 36638 HAS SOPS 36638 HAS SOUS 35528 HAS SOUPS 35528 WITH SCORE 35564.638
AT ITER 158 NEW BEST:: SOT 53902 SOS 36620 HAS SOPS 36620 HAS SOUS 35492 HAS SOUPS 35492 WITH SCORE 35528.62
AT ITER 163 NEW BEST:: SOT 53868 SOS 36586 HAS SOPS 36586 HAS SOUS 35208 HAS SOUPS 35208 WITH SCORE 35244.586
AT ITER 167 NEW BEST:: SOT 53802 SOS 36512 HAS SOPS 36512 HAS SOUS 35134 HAS SOUPS 35134 WITH SCORE 35170.512
AT ITER 168 NEW BEST:: SOT 53802 SOS 36452 HAS SOPS 36452 HAS SOUS 35074 HAS SOUPS 35074 WITH SCORE 35110.452
AT ITER 174 NEW BEST:: SOT 53860 SOS 36434 HAS SOPS 36434 HAS SOUS 35056 HAS SOUPS 35056 WITH SCORE 35092.434
AT ITER 175 NEW BEST:: SOT 53510 SOS 36112 HAS SOPS 36112 HAS SOUS 34734 HAS SOUPS 34734 WITH SCORE 34770.112
AT ITER 176 NEW BEST:: SOT 53506 SOS 36108 HAS SOPS 36108 HAS SOUS 34730 HAS SOUPS 34730 WITH SCORE 34766.108
AT ITER 177 NEW BEST:: SOT 53492 SOS 36094 HAS SOPS 36094 HAS SOUS 34716 HAS SOUPS 34716 WITH SCORE 34752.094
AT ITER 178 NEW BEST:: SOT 53492 SOS 36042 HAS SOPS 36042 HAS SOUS 34664 HAS SOUPS 34664 WITH SCORE 34700.042
AT ITER 179 NEW BEST:: SOT 53230 SOS 35620 HAS SOPS 35620 HAS SOUS 34242 HAS SOUPS 34242 WITH SCORE 34277.62
AT ITER 180 NEW BEST:: SOT 53224 SOS 35614 HAS SOPS 35614 HAS SOUS 34236 HAS SOUPS 34236 WITH SCORE 34271.614
AT ITER 181 NEW BEST:: SOT 53150 SOS 35570 HAS SOPS 35570 HAS SOUS 34192 HAS SOUPS 34192 WITH SCORE 34227.57
AT ITER 184 NEW BEST:: SOT 53084 SOS 35504 HAS SOPS 35504 HAS SOUS 34126 HAS SOUPS 34126 WITH SCORE 34161.504
AT ITER 188 NEW BEST:: SOT 53084 SOS 35484 HAS SOPS 35484 HAS SOUS 34106 HAS SOUPS 34106 WITH SCORE 34141.484
AT ITER 200 NEW BEST:: SOT 53040 SOS 35440 HAS SOPS 35440 HAS SOUS 34062 HAS SOUPS 34062 WITH SCORE 34097.44
AT ITER 202 NEW BEST:: SOT 53040 SOS 35222 HAS SOPS 35222 HAS SOUS 33844 HAS SOUPS 33844 WITH SCORE 33879.222
AT ITER 203 NEW BEST:: SOT 53030 SOS 35212 HAS SOPS 35212 HAS SOUS 33834 HAS SOUPS 33834 WITH SCORE 33869.212
AT ITER 204 NEW BEST:: SOT 53030 SOS 35200 HAS SOPS 35200 HAS SOUS 33822 HAS SOUPS 33822 WITH SCORE 33857.2
AT ITER 205 NEW BEST:: SOT 53030 SOS 35142 HAS SOPS 35142 HAS SOUS 33808 HAS SOUPS 33808 WITH SCORE 33843.142
AT ITER 206 NEW BEST:: SOT 53030 SOS 34988 HAS SOPS 34988 HAS SOUS 33654 HAS SOUPS 33654 WITH SCORE 33688.988
AT ITER 208 NEW BEST:: SOT 52704 SOS 34494 HAS SOPS 34494 HAS SOUS 33160 HAS SOUPS 33160 WITH SCORE 33194.494
AT ITER 215 NEW BEST:: SOT 52670 SOS 34368 HAS SOPS 34368 HAS SOUS 33034 HAS SOUPS 33034 WITH SCORE 33068.368
AT ITER 216 NEW BEST:: SOT 52670 SOS 34362 HAS SOPS 34362 HAS SOUS 33028 HAS SOUPS 33028 WITH SCORE 33062.362
AT ITER 223 NEW BEST:: SOT 52692 SOS 34240 HAS SOPS 34240 HAS SOUS 32906 HAS SOUPS 32906 WITH SCORE 32940.24
AT ITER 224 NEW BEST:: SOT 52640 SOS 34188 HAS SOPS 34188 HAS SOUS 32854 HAS SOUPS 32854 WITH SCORE 32888.188
AT ITER 228 NEW BEST:: SOT 52640 SOS 34100 HAS SOPS 34100 HAS SOUS 32766 HAS SOUPS 32766 WITH SCORE 32800.1
AT ITER 231 NEW BEST:: SOT 52510 SOS 33970 HAS SOPS 33970 HAS SOUS 32636 HAS SOUPS 32636 WITH SCORE 32669.97
AT ITER 232 NEW BEST:: SOT 52284 SOS 33572 HAS SOPS 33572 HAS SOUS 32238 HAS SOUPS 32238 WITH SCORE 32271.572
AT ITER 241 NEW BEST:: SOT 52284 SOS 33534 HAS SOPS 33534 HAS SOUS 32200 HAS SOUPS 32200 WITH SCORE 32233.534
AT ITER 245 NEW BEST:: SOT 51946 SOS 33196 HAS SOPS 33196 HAS SOUS 31862 HAS SOUPS 31862 WITH SCORE 31895.196
AT ITER 249 NEW BEST:: SOT 51946 SOS 33168 HAS SOPS 33168 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31867.168
AT ITER 250 NEW BEST:: SOT 51862 SOS 33056 HAS SOPS 33056 HAS SOUS 31722 HAS SOUPS 31722 WITH SCORE 31755.056
AT ITER 252 NEW BEST:: SOT 51620 SOS 32814 HAS SOPS 32814 HAS SOUS 31480 HAS SOUPS 31480 WITH SCORE 31512.814
AT ITER 253 NEW BEST:: SOT 51580 SOS 32774 HAS SOPS 32774 HAS SOUS 31440 HAS SOUPS 31440 WITH SCORE 31472.774
AT ITER 255 NEW BEST:: SOT 51546 SOS 32740 HAS SOPS 32740 HAS SOUS 31406 HAS SOUPS 31406 WITH SCORE 31438.74
AT ITER 257 NEW BEST:: SOT 51546 SOS 32680 HAS SOPS 32680 HAS SOUS 31346 HAS SOUPS 31346 WITH SCORE 31378.68
AT ITER 258 NEW BEST:: SOT 51546 SOS 32656 HAS SOPS 32656 HAS SOUS 31322 HAS SOUPS 31322 WITH SCORE 31354.656
AT ITER 259 NEW BEST:: SOT 51350 SOS 32364 HAS SOPS 32364 HAS SOUS 30922 HAS SOUPS 30922 WITH SCORE 30954.364
AT ITER 260 NEW BEST:: SOT 51350 SOS 32348 HAS SOPS 32348 HAS SOUS 30906 HAS SOUPS 30906 WITH SCORE 30938.348
AT ITER 263 NEW BEST:: SOT 51190 SOS 32188 HAS SOPS 32188 HAS SOUS 30746 HAS SOUPS 30746 WITH SCORE 30778.188
AT ITER 266 NEW BEST:: SOT 51046 SOS 31916 HAS SOPS 31916 HAS SOUS 30474 HAS SOUPS 30474 WITH SCORE 30505.916
AT ITER 273 NEW BEST:: SOT 50928 SOS 31944 HAS SOPS 31944 HAS SOUS 30152 HAS SOUPS 30152 WITH SCORE 30183.944
AT ITER 275 NEW BEST:: SOT 50744 SOS 31858 HAS SOPS 31858 HAS SOUS 30066 HAS SOUPS 30066 WITH SCORE 30097.858
AT ITER 276 NEW BEST:: SOT 50744 SOS 31828 HAS SOPS 31828 HAS SOUS 30036 HAS SOUPS 30036 WITH SCORE 30067.828
AT ITER 280 NEW BEST:: SOT 50734 SOS 31596 HAS SOPS 31596 HAS SOUS 29804 HAS SOUPS 29804 WITH SCORE 29835.596
AT ITER 283 NEW BEST:: SOT 50648 SOS 31328 HAS SOPS 31328 HAS SOUS 29536 HAS SOUPS 29536 WITH SCORE 29567.328
AT ITER 284 NEW BEST:: SOT 50588 SOS 30990 HAS SOPS 30990 HAS SOUS 29198 HAS SOUPS 29198 WITH SCORE 29228.99
AT ITER 287 NEW BEST:: SOT 50588 SOS 30986 HAS SOPS 30986 HAS SOUS 29194 HAS SOUPS 29194 WITH SCORE 29224.986
AT ITER 296 NEW BEST:: SOT 50568 SOS 30966 HAS SOPS 30966 HAS SOUS 29174 HAS SOUPS 29174 WITH SCORE 29204.966
AT ITER 298 NEW BEST:: SOT 50542 SOS 30914 HAS SOPS 30914 HAS SOUS 29122 HAS SOUPS 29122 WITH SCORE 29152.914
AT ITER 304 NEW BEST:: SOT 50576 SOS 30870 HAS SOPS 30870 HAS SOUS 29078 HAS SOUPS 29078 WITH SCORE 29108.87
AT ITER 309 NEW BEST:: SOT 50602 SOS 30762 HAS SOPS 30762 HAS SOUS 28970 HAS SOUPS 28970 WITH SCORE 29000.762
AT ITER 327 NEW BEST:: SOT 50540 SOS 30718 HAS SOPS 30718 HAS SOUS 28926 HAS SOUPS 28926 WITH SCORE 28956.718
AT ITER 333 NEW BEST:: SOT 50400 SOS 30764 HAS SOPS 30764 HAS SOUS 28894 HAS SOUPS 28894 WITH SCORE 28924.764
AT ITER 335 NEW BEST:: SOT 50312 SOS 30632 HAS SOPS 30632 HAS SOUS 28762 HAS SOUPS 28762 WITH SCORE 28792.632
AT ITER 339 NEW BEST:: SOT 50270 SOS 30508 HAS SOPS 30508 HAS SOUS 28684 HAS SOUPS 28684 WITH SCORE 28714.508
AT ITER 345 NEW BEST:: SOT 50270 SOS 30408 HAS SOPS 30408 HAS SOUS 28584 HAS SOUPS 28584 WITH SCORE 28614.408
AT ITER 349 NEW BEST:: SOT 50104 SOS 30112 HAS SOPS 30112 HAS SOUS 28288 HAS SOUPS 28288 WITH SCORE 28318.112
AT ITER 352 NEW BEST:: SOT 49998 SOS 29984 HAS SOPS 29984 HAS SOUS 28160 HAS SOUPS 28160 WITH SCORE 28189.984
AT ITER 355 NEW BEST:: SOT 49910 SOS 29896 HAS SOPS 29896 HAS SOUS 28072 HAS SOUPS 28072 WITH SCORE 28101.896
AT ITER 357 NEW BEST:: SOT 49780 SOS 29812 HAS SOPS 29812 HAS SOUS 27988 HAS SOUPS 27988 WITH SCORE 28017.812
AT ITER 361 NEW BEST:: SOT 49762 SOS 29794 HAS SOPS 29794 HAS SOUS 27970 HAS SOUPS 27970 WITH SCORE 27999.794
AT ITER 365 NEW BEST:: SOT 49654 SOS 29642 HAS SOPS 29642 HAS SOUS 27818 HAS SOUPS 27818 WITH SCORE 27847.642
AT ITER 370 NEW BEST:: SOT 49512 SOS 29340 HAS SOPS 29340 HAS SOUS 27516 HAS SOUPS 27516 WITH SCORE 27545.34
AT ITER 372 NEW BEST:: SOT 49464 SOS 29292 HAS SOPS 29292 HAS SOUS 27468 HAS SOUPS 27468 WITH SCORE 27497.292
AT ITER 379 NEW BEST:: SOT 49406 SOS 29250 HAS SOPS 29250 HAS SOUS 27426 HAS SOUPS 27426 WITH SCORE 27455.25
AT ITER 382 NEW BEST:: SOT 49406 SOS 29218 HAS SOPS 29218 HAS SOUS 27418 HAS SOUPS 27418 WITH SCORE 27447.218
AT ITER 387 NEW BEST:: SOT 49406 SOS 29506 HAS SOPS 29506 HAS SOUS 27308 HAS SOUPS 27308 WITH SCORE 27337.506
AT ITER 393 NEW BEST:: SOT 49362 SOS 29460 HAS SOPS 29460 HAS SOUS 27262 HAS SOUPS 27262 WITH SCORE 27291.46
AT ITER 396 NEW BEST:: SOT 49362 SOS 29426 HAS SOPS 29426 HAS SOUS 27228 HAS SOUPS 27228 WITH SCORE 27257.426
AT ITER 400 NEW BEST:: SOT 49362 SOS 29314 HAS SOPS 29314 HAS SOUS 27220 HAS SOUPS 27220 WITH SCORE 27249.314
AT ITER 416 NEW BEST:: SOT 49362 SOS 29194 HAS SOPS 29194 HAS SOUS 27100 HAS SOUPS 27100 WITH SCORE 27129.194
AT ITER 429 NEW BEST:: SOT 49300 SOS 29060 HAS SOPS 29060 HAS SOUS 26966 HAS SOUPS 26966 WITH SCORE 26995.06
AT ITER 433 NEW BEST:: SOT 49176 SOS 29012 HAS SOPS 29012 HAS SOUS 26918 HAS SOUPS 26918 WITH SCORE 26947.012
AT ITER 444 NEW BEST:: SOT 49176 SOS 29010 HAS SOPS 29010 HAS SOUS 26916 HAS SOUPS 26916 WITH SCORE 26945.01
AT ITER 446 NEW BEST:: SOT 49176 SOS 29006 HAS SOPS 29006 HAS SOUS 26912 HAS SOUPS 26912 WITH SCORE 26941.006
AT ITER 448 NEW BEST:: SOT 49176 SOS 28982 HAS SOPS 28982 HAS SOUS 26888 HAS SOUPS 26888 WITH SCORE 26916.982
AT ITER 452 NEW BEST:: SOT 49176 SOS 28950 HAS SOPS 28950 HAS SOUS 26856 HAS SOUPS 26856 WITH SCORE 26884.95
AT ITER 453 NEW BEST:: SOT 49116 SOS 28838 HAS SOPS 28838 HAS SOUS 26744 HAS SOUPS 26744 WITH SCORE 26772.838
AT ITER 454 NEW BEST:: SOT 49018 SOS 28662 HAS SOPS 28662 HAS SOUS 26568 HAS SOUPS 26568 WITH SCORE 26596.662
AT ITER 455 NEW BEST:: SOT 48960 SOS 28496 HAS SOPS 28496 HAS SOUS 26402 HAS SOUPS 26402 WITH SCORE 26430.496
AT ITER 462 NEW BEST:: SOT 48960 SOS 28398 HAS SOPS 28398 HAS SOUS 26304 HAS SOUPS 26304 WITH SCORE 26332.398
AT ITER 467 NEW BEST:: SOT 48950 SOS 28378 HAS SOPS 28378 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26312.378
AT ITER 468 NEW BEST:: SOT 48950 SOS 28276 HAS SOPS 28276 HAS SOUS 26182 HAS SOUPS 26182 WITH SCORE 26210.276
AT ITER 469 NEW BEST:: SOT 48950 SOS 28164 HAS SOPS 28164 HAS SOUS 26070 HAS SOUPS 26070 WITH SCORE 26098.164
AT ITER 472 NEW BEST:: SOT 48950 SOS 28118 HAS SOPS 28118 HAS SOUS 26024 HAS SOUPS 26024 WITH SCORE 26052.118
AT ITER 479 NEW BEST:: SOT 48912 SOS 28080 HAS SOPS 28080 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26014.08
AT ITER 488 NEW BEST:: SOT 48904 SOS 28072 HAS SOPS 28072 HAS SOUS 25978 HAS SOUPS 25978 WITH SCORE 26006.072
AT ITER 498 NEW BEST:: SOT 48862 SOS 28020 HAS SOPS 28020 HAS SOUS 25926 HAS SOUPS 25926 WITH SCORE 25954.02
AT ITER 499 NEW BEST:: SOT 48862 SOS 28140 HAS SOPS 28140 HAS SOUS 25858 HAS SOUPS 25858 WITH SCORE 25886.14
AT ITER 504 NEW BEST:: SOT 48772 SOS 28050 HAS SOPS 28050 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 25796.05
AT ITER 505 NEW BEST:: SOT 48732 SOS 28010 HAS SOPS 28010 HAS SOUS 25728 HAS SOUPS 25728 WITH SCORE 25756.01
AT ITER 520 NEW BEST:: SOT 48762 SOS 27934 HAS SOPS 27934 HAS SOUS 25652 HAS SOUPS 25652 WITH SCORE 25679.934
AT ITER 522 NEW BEST:: SOT 48730 SOS 27896 HAS SOPS 27896 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 25641.896
AT ITER 524 NEW BEST:: SOT 48612 SOS 27716 HAS SOPS 27716 HAS SOUS 25434 HAS SOUPS 25434 WITH SCORE 25461.716
AT ITER 527 NEW BEST:: SOT 48606 SOS 27710 HAS SOPS 27710 HAS SOUS 25428 HAS SOUPS 25428 WITH SCORE 25455.71
AT ITER 530 NEW BEST:: SOT 48592 SOS 27538 HAS SOPS 27538 HAS SOUS 25256 HAS SOUPS 25256 WITH SCORE 25283.538
AT ITER 532 NEW BEST:: SOT 48592 SOS 27538 HAS SOPS 27538 HAS SOUS 25162 HAS SOUPS 25162 WITH SCORE 25189.538
AT ITER 536 NEW BEST:: SOT 48592 SOS 27530 HAS SOPS 27530 HAS SOUS 25156 HAS SOUPS 25156 WITH SCORE 25183.53
AT ITER 538 NEW BEST:: SOT 48562 SOS 27470 HAS SOPS 27470 HAS SOUS 25096 HAS SOUPS 25096 WITH SCORE 25123.47
AT ITER 549 NEW BEST:: SOT 48558 SOS 27466 HAS SOPS 27466 HAS SOUS 25092 HAS SOUPS 25092 WITH SCORE 25119.466
AT ITER 556 NEW BEST:: SOT 48558 SOS 27438 HAS SOPS 27438 HAS SOUS 25064 HAS SOUPS 25064 WITH SCORE 25091.438
AT ITER 562 NEW BEST:: SOT 48556 SOS 27436 HAS SOPS 27436 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25089.436
AT ITER 563 NEW BEST:: SOT 48482 SOS 27340 HAS SOPS 27340 HAS SOUS 24966 HAS SOUPS 24966 WITH SCORE 24993.34
AT ITER 565 NEW BEST:: SOT 48482 SOS 27324 HAS SOPS 27324 HAS SOUS 24958 HAS SOUPS 24958 WITH SCORE 24985.324
AT ITER 569 NEW BEST:: SOT 48422 SOS 27264 HAS SOPS 27264 HAS SOUS 24898 HAS SOUPS 24898 WITH SCORE 24925.264
AT ITER 588 NEW BEST:: SOT 48312 SOS 26976 HAS SOPS 26976 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24636.976
AT ITER 595 NEW BEST:: SOT 48246 SOS 26844 HAS SOPS 26844 HAS SOUS 24478 HAS SOUPS 24478 WITH SCORE 24504.844
AT ITER 597 NEW BEST:: SOT 48236 SOS 26786 HAS SOPS 26786 HAS SOUS 24420 HAS SOUPS 24420 WITH SCORE 24446.786
AT ITER 598 NEW BEST:: SOT 48062 SOS 26438 HAS SOPS 26438 HAS SOUS 24072 HAS SOUPS 24072 WITH SCORE 24098.438
AT ITER 610 NEW BEST:: SOT 48042 SOS 26398 HAS SOPS 26398 HAS SOUS 24032 HAS SOUPS 24032 WITH SCORE 24058.398
AT ITER 611 NEW BEST:: SOT 48018 SOS 26386 HAS SOPS 26386 HAS SOUS 24020 HAS SOUPS 24020 WITH SCORE 24046.386
AT ITER 621 NEW BEST:: SOT 48018 SOS 26258 HAS SOPS 26258 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23918.258
AT ITER 624 NEW BEST:: SOT 47916 SOS 26054 HAS SOPS 26054 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23714.054
AT ITER 629 NEW BEST:: SOT 47784 SOS 25922 HAS SOPS 25922 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23581.922
AT ITER 634 NEW BEST:: SOT 47530 SOS 25404 HAS SOPS 25404 HAS SOUS 23038 HAS SOUPS 23038 WITH SCORE 23063.404
AT ITER 635 NEW BEST:: SOT 47530 SOS 25312 HAS SOPS 25312 HAS SOUS 22946 HAS SOUPS 22946 WITH SCORE 22971.312
AT ITER 636 NEW BEST:: SOT 47530 SOS 25308 HAS SOPS 25308 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22967.308
AT ITER 638 NEW BEST:: SOT 47358 SOS 24964 HAS SOPS 24964 HAS SOUS 22598 HAS SOUPS 22598 WITH SCORE 22622.964
AT ITER 641 NEW BEST:: SOT 47358 SOS 24952 HAS SOPS 24952 HAS SOUS 22586 HAS SOUPS 22586 WITH SCORE 22610.952
AT ITER 648 NEW BEST:: SOT 47294 SOS 24888 HAS SOPS 24888 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22546.888
AT ITER 649 NEW BEST:: SOT 47098 SOS 24692 HAS SOPS 24692 HAS SOUS 22326 HAS SOUPS 22326 WITH SCORE 22350.692
AT ITER 651 NEW BEST:: SOT 46772 SOS 24366 HAS SOPS 24366 HAS SOUS 21848 HAS SOUPS 21848 WITH SCORE 21872.366
AT ITER 653 NEW BEST:: SOT 46560 SOS 23798 HAS SOPS 23798 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21303.798
AT ITER 654 NEW BEST:: SOT 46370 SOS 23340 HAS SOPS 23340 HAS SOUS 20822 HAS SOUPS 20822 WITH SCORE 20845.34
AT ITER 661 NEW BEST:: SOT 46422 SOS 23314 HAS SOPS 23314 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20819.314
AT ITER 669 NEW BEST:: SOT 46398 SOS 23242 HAS SOPS 23242 HAS SOUS 20724 HAS SOUPS 20724 WITH SCORE 20747.242
AT ITER 671 NEW BEST:: SOT 46398 SOS 23242 HAS SOPS 23242 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20721.242
AT ITER 674 NEW BEST:: SOT 46326 SOS 23170 HAS SOPS 23170 HAS SOUS 20626 HAS SOUPS 20626 WITH SCORE 20649.17
AT ITER 682 NEW BEST:: SOT 46326 SOS 23142 HAS SOPS 23142 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20621.142
AT ITER 683 NEW BEST:: SOT 46246 SOS 23060 HAS SOPS 23060 HAS SOUS 20516 HAS SOUPS 20516 WITH SCORE 20539.06
AT ITER 687 NEW BEST:: SOT 46240 SOS 23052 HAS SOPS 23052 HAS SOUS 20508 HAS SOUPS 20508 WITH SCORE 20531.052
AT ITER 690 NEW BEST:: SOT 46234 SOS 23046 HAS SOPS 23046 HAS SOUS 20502 HAS SOUPS 20502 WITH SCORE 20525.046
AT ITER 694 NEW BEST:: SOT 46234 SOS 23006 HAS SOPS 23006 HAS SOUS 20462 HAS SOUPS 20462 WITH SCORE 20485.006
AT ITER 699 NEW BEST:: SOT 46142 SOS 22888 HAS SOPS 22888 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20366.888
AT ITER 702 NEW BEST:: SOT 46142 SOS 22868 HAS SOPS 22868 HAS SOUS 20324 HAS SOUPS 20324 WITH SCORE 20346.868
AT ITER 709 NEW BEST:: SOT 46004 SOS 22730 HAS SOPS 22730 HAS SOUS 20186 HAS SOUPS 20186 WITH SCORE 20208.73
AT ITER 713 NEW BEST:: SOT 45986 SOS 22712 HAS SOPS 22712 HAS SOUS 20168 HAS SOUPS 20168 WITH SCORE 20190.712
AT ITER 715 NEW BEST:: SOT 45998 SOS 22668 HAS SOPS 22668 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20146.668
AT ITER 719 NEW BEST:: SOT 45942 SOS 22612 HAS SOPS 22612 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20090.612
AT ITER 723 NEW BEST:: SOT 45942 SOS 22612 HAS SOPS 22612 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20064.612
AT ITER 729 NEW BEST:: SOT 45942 SOS 22558 HAS SOPS 22558 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20010.558
AT ITER 737 NEW BEST:: SOT 45936 SOS 22552 HAS SOPS 22552 HAS SOUS 19982 HAS SOUPS 19982 WITH SCORE 20004.552
AT ITER 740 NEW BEST:: SOT 45768 SOS 22216 HAS SOPS 22216 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19668.216
AT ITER 746 NEW BEST:: SOT 45716 SOS 22164 HAS SOPS 22164 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19616.164
AT ITER 749 NEW BEST:: SOT 45716 SOS 22154 HAS SOPS 22154 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19606.154
AT ITER 759 NEW BEST:: SOT 45700 SOS 22090 HAS SOPS 22090 HAS SOUS 19520 HAS SOUPS 19520 WITH SCORE 19542.09
AT ITER 767 NEW BEST:: SOT 45626 SOS 22016 HAS SOPS 22016 HAS SOUS 19446 HAS SOUPS 19446 WITH SCORE 19468.016
AT ITER 769 NEW BEST:: SOT 45488 SOS 21660 HAS SOPS 21660 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19111.66
AT ITER 770 NEW BEST:: SOT 45482 SOS 21654 HAS SOPS 21654 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19105.654
AT ITER 772 NEW BEST:: SOT 45424 SOS 21596 HAS SOPS 21596 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19047.596
AT ITER 776 NEW BEST:: SOT 45424 SOS 21582 HAS SOPS 21582 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19033.582
AT ITER 798 NEW BEST:: SOT 45392 SOS 21550 HAS SOPS 21550 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19001.55
AT ITER 806 NEW BEST:: SOT 45212 SOS 21370 HAS SOPS 21370 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18821.37
AT ITER 808 NEW BEST:: SOT 45184 SOS 21330 HAS SOPS 21330 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18781.33
AT ITER 826 NEW BEST:: SOT 45060 SOS 21004 HAS SOPS 21004 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18455.004
AT ITER 830 NEW BEST:: SOT 45058 SOS 20978 HAS SOPS 20978 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18428.978
AT ITER 844 NEW BEST:: SOT 45058 SOS 20972 HAS SOPS 20972 HAS SOUS 18402 HAS SOUPS 18402 WITH SCORE 18422.972
AT ITER 849 NEW BEST:: SOT 44992 SOS 20874 HAS SOPS 20874 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18324.874
AT ITER 850 NEW BEST:: SOT 44974 SOS 20820 HAS SOPS 20820 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18270.82
AT ITER 860 NEW BEST:: SOT 44940 SOS 20752 HAS SOPS 20752 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18202.752
AT ITER 863 NEW BEST:: SOT 44914 SOS 20896 HAS SOPS 20896 HAS SOUS 18122 HAS SOUPS 18122 WITH SCORE 18142.896
AT ITER 877 NEW BEST:: SOT 44902 SOS 20884 HAS SOPS 20884 HAS SOUS 18110 HAS SOUPS 18110 WITH SCORE 18130.884
AT ITER 879 NEW BEST:: SOT 44902 SOS 20834 HAS SOPS 20834 HAS SOUS 18060 HAS SOUPS 18060 WITH SCORE 18080.834
AT ITER 899 NEW BEST:: SOT 44904 SOS 20798 HAS SOPS 20798 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18044.798
AT ITER 912 NEW BEST:: SOT 44850 SOS 20656 HAS SOPS 20656 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17902.656
AT ITER 914 NEW BEST:: SOT 44850 SOS 20650 HAS SOPS 20650 HAS SOUS 17876 HAS SOUPS 17876 WITH SCORE 17896.65
AT ITER 918 NEW BEST:: SOT 44750 SOS 20550 HAS SOPS 20550 HAS SOUS 17776 HAS SOUPS 17776 WITH SCORE 17796.55
AT ITER 923 NEW BEST:: SOT 44694 SOS 20452 HAS SOPS 20452 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17698.452
AT ITER 931 NEW BEST:: SOT 44688 SOS 20446 HAS SOPS 20446 HAS SOUS 17672 HAS SOUPS 17672 WITH SCORE 17692.446
AT ITER 938 NEW BEST:: SOT 44688 SOS 20438 HAS SOPS 20438 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17684.438
AT ITER 959 NEW BEST:: SOT 44668 SOS 20422 HAS SOPS 20422 HAS SOUS 17648 HAS SOUPS 17648 WITH SCORE 17668.422
AT ITER 966 NEW BEST:: SOT 44664 SOS 20418 HAS SOPS 20418 HAS SOUS 17644 HAS SOUPS 17644 WITH SCORE 17664.418
AT ITER 971 NEW BEST:: SOT 44634 SOS 20448 HAS SOPS 20448 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17578.448
AT ITER 976 NEW BEST:: SOT 44584 SOS 20322 HAS SOPS 20322 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17452.322
AT ITER 981 NEW BEST:: SOT 44478 SOS 20108 HAS SOPS 20108 HAS SOUS 17218 HAS SOUPS 17218 WITH SCORE 17238.108
AT ITER 984 NEW BEST:: SOT 44476 SOS 20082 HAS SOPS 20082 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17212.082
AT ITER 994 NEW BEST:: SOT 44478 SOS 20068 HAS SOPS 20068 HAS SOUS 17178 HAS SOUPS 17178 WITH SCORE 17198.068
AT ITER 999 NEW BEST:: SOT 44368 SOS 19888 HAS SOPS 19888 HAS SOUS 16998 HAS SOUPS 16998 WITH SCORE 17017.888
AT ITER 1004 NEW BEST:: SOT 44366 SOS 19854 HAS SOPS 19854 HAS SOUS 16964 HAS SOUPS 16964 WITH SCORE 16983.854
AT ITER 1008 NEW BEST:: SOT 44326 SOS 19814 HAS SOPS 19814 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16943.814
AT ITER 1017 NEW BEST:: SOT 44122 SOS 19538 HAS SOPS 19538 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16667.538
AT ITER 1018 NEW BEST:: SOT 44042 SOS 19382 HAS SOPS 19382 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16511.382
AT ITER 1023 NEW BEST:: SOT 44042 SOS 19382 HAS SOPS 19382 HAS SOUS 16354 HAS SOUPS 16354 WITH SCORE 16373.382
AT ITER 1025 NEW BEST:: SOT 43984 SOS 19360 HAS SOPS 19360 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16351.36
AT ITER 1036 NEW BEST:: SOT 43984 SOS 19338 HAS SOPS 19338 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16329.338
AT ITER 1037 NEW BEST:: SOT 43980 SOS 19334 HAS SOPS 19334 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16325.334
AT ITER 1039 NEW BEST:: SOT 43980 SOS 19214 HAS SOPS 19214 HAS SOUS 16306 HAS SOUPS 16306 WITH SCORE 16325.214
AT ITER 1048 NEW BEST:: SOT 43946 SOS 19130 HAS SOPS 19130 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16241.13
AT ITER 1071 NEW BEST:: SOT 43946 SOS 19130 HAS SOPS 19130 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16233.13
AT ITER 1072 NEW BEST:: SOT 43892 SOS 19076 HAS SOPS 19076 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16179.076
AT ITER 1079 NEW BEST:: SOT 43888 SOS 19056 HAS SOPS 19056 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16159.056
AT ITER 1086 NEW BEST:: SOT 43888 SOS 19002 HAS SOPS 19002 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16105.002
AT ITER 1089 NEW BEST:: SOT 43888 SOS 19000 HAS SOPS 19000 HAS SOUS 16084 HAS SOUPS 16084 WITH SCORE 16103.0
AT ITER 1096 NEW BEST:: SOT 43880 SOS 18946 HAS SOPS 18946 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16048.946
AT ITER 1112 NEW BEST:: SOT 43866 SOS 18932 HAS SOPS 18932 HAS SOUS 16016 HAS SOUPS 16016 WITH SCORE 16034.932
AT ITER 1115 NEW BEST:: SOT 43828 SOS 18882 HAS SOPS 18882 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15984.882
AT ITER 1126 NEW BEST:: SOT 43796 SOS 18850 HAS SOPS 18850 HAS SOUS 15934 HAS SOUPS 15934 WITH SCORE 15952.85
AT ITER 1127 NEW BEST:: SOT 43796 SOS 18846 HAS SOPS 18846 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15948.846
AT ITER 1161 NEW BEST:: SOT 43780 SOS 18830 HAS SOPS 18830 HAS SOUS 15914 HAS SOUPS 15914 WITH SCORE 15932.83
AT ITER 1162 NEW BEST:: SOT 43770 SOS 18750 HAS SOPS 18750 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15852.75
AT ITER 1165 NEW BEST:: SOT 43744 SOS 18724 HAS SOPS 18724 HAS SOUS 15808 HAS SOUPS 15808 WITH SCORE 15826.724
AT ITER 1171 NEW BEST:: SOT 43684 SOS 18628 HAS SOPS 18628 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15730.628
AT ITER 1175 NEW BEST:: SOT 43682 SOS 18602 HAS SOPS 18602 HAS SOUS 15686 HAS SOUPS 15686 WITH SCORE 15704.602
AT ITER 1185 NEW BEST:: SOT 43664 SOS 18584 HAS SOPS 18584 HAS SOUS 15668 HAS SOUPS 15668 WITH SCORE 15686.584
AT ITER 1198 NEW BEST:: SOT 43620 SOS 18496 HAS SOPS 18496 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15598.496
AT ITER 1206 NEW BEST:: SOT 43620 SOS 18458 HAS SOPS 18458 HAS SOUS 15542 HAS SOUPS 15542 WITH SCORE 15560.458
AT ITER 1225 NEW BEST:: SOT 43620 SOS 18440 HAS SOPS 18440 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15542.44
AT ITER 1229 NEW BEST:: SOT 43612 SOS 18434 HAS SOPS 18434 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15536.434
AT ITER 1235 NEW BEST:: SOT 43606 SOS 18428 HAS SOPS 18428 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15530.428
AT ITER 1241 NEW BEST:: SOT 43586 SOS 18408 HAS SOPS 18408 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15510.408
AT ITER 1246 NEW BEST:: SOT 43536 SOS 18308 HAS SOPS 18308 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15410.308
AT ITER 1250 NEW BEST:: SOT 43536 SOS 18466 HAS SOPS 18466 HAS SOUS 15374 HAS SOUPS 15374 WITH SCORE 15392.466
AT ITER 1251 NEW BEST:: SOT 43550 SOS 18424 HAS SOPS 18424 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15350.424
AT ITER 1257 NEW BEST:: SOT 43526 SOS 18400 HAS SOPS 18400 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15326.4
AT ITER 1259 NEW BEST:: SOT 43556 SOS 18332 HAS SOPS 18332 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15258.332
AT ITER 1264 NEW BEST:: SOT 43586 SOS 18316 HAS SOPS 18316 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15242.316
AT ITER 1274 NEW BEST:: SOT 43580 SOS 18304 HAS SOPS 18304 HAS SOUS 15212 HAS SOUPS 15212 WITH SCORE 15230.304
AT ITER 1288 NEW BEST:: SOT 43504 SOS 18140 HAS SOPS 18140 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15066.14
AT ITER 1296 NEW BEST:: SOT 43500 SOS 18136 HAS SOPS 18136 HAS SOUS 15044 HAS SOUPS 15044 WITH SCORE 15062.136
AT ITER 1301 NEW BEST:: SOT 43500 SOS 18050 HAS SOPS 18050 HAS SOUS 14958 HAS SOUPS 14958 WITH SCORE 14976.05
AT ITER 1320 NEW BEST:: SOT 43446 SOS 17888 HAS SOPS 17888 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14813.888
AT ITER 1327 NEW BEST:: SOT 43356 SOS 17798 HAS SOPS 17798 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14723.798
AT ITER 1330 NEW BEST:: SOT 43360 SOS 17766 HAS SOPS 17766 HAS SOUS 14674 HAS SOUPS 14674 WITH SCORE 14691.766
AT ITER 1342 NEW BEST:: SOT 43332 SOS 17748 HAS SOPS 17748 HAS SOUS 14656 HAS SOUPS 14656 WITH SCORE 14673.748
AT ITER 1359 NEW BEST:: SOT 43282 SOS 17716 HAS SOPS 17716 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14641.716
AT ITER 1360 NEW BEST:: SOT 43282 SOS 17688 HAS SOPS 17688 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14613.688
AT ITER 1368 NEW BEST:: SOT 43084 SOS 17280 HAS SOPS 17280 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14205.28
AT ITER 1369 NEW BEST:: SOT 43084 SOS 17216 HAS SOPS 17216 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14205.216
AT ITER 1389 NEW BEST:: SOT 43048 SOS 17158 HAS SOPS 17158 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14147.158
AT ITER 1395 NEW BEST:: SOT 42888 SOS 16840 HAS SOPS 16840 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13828.84
AT ITER 1402 NEW BEST:: SOT 42888 SOS 16806 HAS SOPS 16806 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13794.806
AT ITER 1411 NEW BEST:: SOT 42864 SOS 16758 HAS SOPS 16758 HAS SOUS 13730 HAS SOUPS 13730 WITH SCORE 13746.758
AT ITER 1414 NEW BEST:: SOT 42754 SOS 16572 HAS SOPS 16572 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13560.572
AT ITER 1416 NEW BEST:: SOT 42728 SOS 16524 HAS SOPS 16524 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13512.524
AT ITER 1440 NEW BEST:: SOT 42722 SOS 16512 HAS SOPS 16512 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13500.512
AT ITER 1442 NEW BEST:: SOT 42690 SOS 16480 HAS SOPS 16480 HAS SOUS 13452 HAS SOUPS 13452 WITH SCORE 13468.48
AT ITER 1454 NEW BEST:: SOT 42656 SOS 16446 HAS SOPS 16446 HAS SOUS 13398 HAS SOUPS 13398 WITH SCORE 13414.446
AT ITER 1469 NEW BEST:: SOT 42608 SOS 16364 HAS SOPS 16364 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13332.364
AT ITER 1470 NEW BEST:: SOT 42580 SOS 16294 HAS SOPS 16294 HAS SOUS 13246 HAS SOUPS 13246 WITH SCORE 13262.294
AT ITER 1471 NEW BEST:: SOT 42574 SOS 16290 HAS SOPS 16290 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13258.29
AT ITER 1473 NEW BEST:: SOT 42538 SOS 16268 HAS SOPS 16268 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13236.268
AT ITER 1497 NEW BEST:: SOT 42538 SOS 16266 HAS SOPS 16266 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13234.266
AT ITER 1543 NEW BEST:: SOT 42498 SOS 16182 HAS SOPS 16182 HAS SOUS 13134 HAS SOUPS 13134 WITH SCORE 13150.182
AT ITER 1553 NEW BEST:: SOT 42498 SOS 16164 HAS SOPS 16164 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13144.164
AT ITER 1557 NEW BEST:: SOT 42460 SOS 16126 HAS SOPS 16126 HAS SOUS 13090 HAS SOUPS 13090 WITH SCORE 13106.126
AT ITER 1558 NEW BEST:: SOT 42460 SOS 16102 HAS SOPS 16102 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13082.102
AT ITER 1560 NEW BEST:: SOT 42430 SOS 16028 HAS SOPS 16028 HAS SOUS 12992 HAS SOUPS 12992 WITH SCORE 13008.028
AT ITER 1567 NEW BEST:: SOT 42432 SOS 15980 HAS SOPS 15980 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12959.98
AT ITER 1570 NEW BEST:: SOT 42430 SOS 15978 HAS SOPS 15978 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12957.978
AT ITER 1572 NEW BEST:: SOT 42430 SOS 15978 HAS SOPS 15978 HAS SOUS 12928 HAS SOUPS 12928 WITH SCORE 12943.978
AT ITER 1577 NEW BEST:: SOT 42376 SOS 15924 HAS SOPS 15924 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12889.924
AT ITER 1592 NEW BEST:: SOT 42308 SOS 15852 HAS SOPS 15852 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12817.852
AT ITER 1611 NEW BEST:: SOT 42304 SOS 15838 HAS SOPS 15838 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12803.838
AT ITER 1624 NEW BEST:: SOT 42302 SOS 15836 HAS SOPS 15836 HAS SOUS 12786 HAS SOUPS 12786 WITH SCORE 12801.836
AT ITER 1642 NEW BEST:: SOT 42160 SOS 15664 HAS SOPS 15664 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12629.664
AT ITER 1643 NEW BEST:: SOT 42160 SOS 15656 HAS SOPS 15656 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12621.656
AT ITER 1655 NEW BEST:: SOT 42160 SOS 15916 HAS SOPS 15916 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12585.916
AT ITER 1663 NEW BEST:: SOT 42156 SOS 15910 HAS SOPS 15910 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12579.91
AT ITER 1666 NEW BEST:: SOT 42156 SOS 15892 HAS SOPS 15892 HAS SOUS 12546 HAS SOUPS 12546 WITH SCORE 12561.892
AT ITER 1671 NEW BEST:: SOT 42148 SOS 15880 HAS SOPS 15880 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12549.88
AT ITER 1672 NEW BEST:: SOT 42122 SOS 15800 HAS SOPS 15800 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12469.8
AT ITER 1704 NEW BEST:: SOT 42104 SOS 15708 HAS SOPS 15708 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12377.708
AT ITER 1707 NEW BEST:: SOT 42092 SOS 15686 HAS SOPS 15686 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12355.686
AT ITER 1719 NEW BEST:: SOT 42072 SOS 15666 HAS SOPS 15666 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12335.666
AT ITER 1749 NEW BEST:: SOT 42020 SOS 15614 HAS SOPS 15614 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12283.614
AT ITER 1758 NEW BEST:: SOT 41986 SOS 15610 HAS SOPS 15610 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12279.61
AT ITER 1761 NEW BEST:: SOT 41982 SOS 15570 HAS SOPS 15570 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12239.57
AT ITER 1771 NEW BEST:: SOT 41982 SOS 15538 HAS SOPS 15538 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12207.538
AT ITER 1780 NEW BEST:: SOT 41974 SOS 15530 HAS SOPS 15530 HAS SOUS 12184 HAS SOUPS 12184 WITH SCORE 12199.53
AT ITER 1786 NEW BEST:: SOT 41968 SOS 15510 HAS SOPS 15510 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12179.51
AT ITER 1799 NEW BEST:: SOT 41968 SOS 15486 HAS SOPS 15486 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12155.486
AT ITER 1801 NEW BEST:: SOT 41966 SOS 15484 HAS SOPS 15484 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12151.484
AT ITER 1810 NEW BEST:: SOT 41838 SOS 15468 HAS SOPS 15468 HAS SOUS 12120 HAS SOUPS 12120 WITH SCORE 12135.468
AT ITER 1832 NEW BEST:: SOT 41830 SOS 15460 HAS SOPS 15460 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12127.46
AT ITER 1845 NEW BEST:: SOT 41830 SOS 15448 HAS SOPS 15448 HAS SOUS 12100 HAS SOUPS 12100 WITH SCORE 12115.448
AT ITER 1852 NEW BEST:: SOT 41830 SOS 15448 HAS SOPS 15448 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12047.448
AT ITER 1856 NEW BEST:: SOT 41830 SOS 15438 HAS SOPS 15438 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12037.438
AT ITER 1857 NEW BEST:: SOT 41826 SOS 15434 HAS SOPS 15434 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12033.434
AT ITER 1865 NEW BEST:: SOT 41816 SOS 15408 HAS SOPS 15408 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12007.408
AT ITER 1875 NEW BEST:: SOT 41784 SOS 15334 HAS SOPS 15334 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11933.334
AT ITER 1891 NEW BEST:: SOT 41784 SOS 15320 HAS SOPS 15320 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11919.32
AT ITER 1896 NEW BEST:: SOT 41724 SOS 15190 HAS SOPS 15190 HAS SOUS 11774 HAS SOUPS 11774 WITH SCORE 11789.19
AT ITER 1902 NEW BEST:: SOT 41722 SOS 15184 HAS SOPS 15184 HAS SOUS 11768 HAS SOUPS 11768 WITH SCORE 11783.184
AT ITER 1909 NEW BEST:: SOT 41722 SOS 15158 HAS SOPS 15158 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11757.158
AT ITER 1910 NEW BEST:: SOT 41720 SOS 15130 HAS SOPS 15130 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11729.13
AT ITER 1967 NEW BEST:: SOT 41714 SOS 15118 HAS SOPS 15118 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11717.118
AT ITER 1969 NEW BEST:: SOT 41694 SOS 15078 HAS SOPS 15078 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11677.078
AT ITER 1973 NEW BEST:: SOT 41642 SOS 15002 HAS SOPS 15002 HAS SOUS 11586 HAS SOUPS 11586 WITH SCORE 11601.002
AT ITER 1974 NEW BEST:: SOT 41642 SOS 14998 HAS SOPS 14998 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11596.998
AT ITER 1975 NEW BEST:: SOT 41632 SOS 14968 HAS SOPS 14968 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11566.968
AT ITER 1981 NEW BEST:: SOT 41568 SOS 14816 HAS SOPS 14816 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11414.816
AT ITER 1983 NEW BEST:: SOT 41558 SOS 14788 HAS SOPS 14788 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11386.788
AT ITER 1993 NEW BEST:: SOT 41556 SOS 14786 HAS SOPS 14786 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11384.786
AT ITER 2000 NEW BEST:: SOT 41516 SOS 14772 HAS SOPS 14772 HAS SOUS 11356 HAS SOUPS 11356 WITH SCORE 11370.772
AT ITER 2001 NEW BEST:: SOT 41506 SOS 14762 HAS SOPS 14762 HAS SOUS 11346 HAS SOUPS 11346 WITH SCORE 11360.762
AT ITER 2012 NEW BEST:: SOT 41498 SOS 14748 HAS SOPS 14748 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11346.748
AT ITER 2017 NEW BEST:: SOT 41520 SOS 14732 HAS SOPS 14732 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11330.732
AT ITER 2019 NEW BEST:: SOT 41516 SOS 14724 HAS SOPS 14724 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11322.724
AT ITER 2032 NEW BEST:: SOT 41446 SOS 14588 HAS SOPS 14588 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11186.588
AT ITER 2039 NEW BEST:: SOT 41428 SOS 14566 HAS SOPS 14566 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11164.566
AT ITER 2053 NEW BEST:: SOT 41416 SOS 14552 HAS SOPS 14552 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11150.552
AT ITER 2056 NEW BEST:: SOT 41336 SOS 14472 HAS SOPS 14472 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11070.472
AT ITER 2059 NEW BEST:: SOT 41336 SOS 14400 HAS SOPS 14400 HAS SOUS 10984 HAS SOUPS 10984 WITH SCORE 10998.4
AT ITER 2062 NEW BEST:: SOT 41326 SOS 14380 HAS SOPS 14380 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10978.38
AT ITER 2063 NEW BEST:: SOT 41288 SOS 14316 HAS SOPS 14316 HAS SOUS 10900 HAS SOUPS 10900 WITH SCORE 10914.316
AT ITER 2078 NEW BEST:: SOT 41288 SOS 14254 HAS SOPS 14254 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10852.254
AT ITER 2086 NEW BEST:: SOT 41280 SOS 14246 HAS SOPS 14246 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10844.246
AT ITER 2088 NEW BEST:: SOT 41280 SOS 14242 HAS SOPS 14242 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10840.242
AT ITER 2107 NEW BEST:: SOT 41280 SOS 14176 HAS SOPS 14176 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10774.176
AT ITER 2123 NEW BEST:: SOT 41264 SOS 14160 HAS SOPS 14160 HAS SOUS 10728 HAS SOUPS 10728 WITH SCORE 10742.16
AT ITER 2126 NEW BEST:: SOT 41264 SOS 14154 HAS SOPS 14154 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10736.154
AT ITER 2130 NEW BEST:: SOT 41166 SOS 14032 HAS SOPS 14032 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10614.032
AT ITER 2138 NEW BEST:: SOT 41106 SOS 13962 HAS SOPS 13962 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10549.962
AT ITER 2157 NEW BEST:: SOT 41040 SOS 13848 HAS SOPS 13848 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10435.848
AT ITER 2171 NEW BEST:: SOT 41040 SOS 13796 HAS SOPS 13796 HAS SOUS 10370 HAS SOUPS 10370 WITH SCORE 10383.796
AT ITER 2175 NEW BEST:: SOT 40924 SOS 13612 HAS SOPS 13612 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10199.612
AT ITER 2178 NEW BEST:: SOT 40920 SOS 13608 HAS SOPS 13608 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10195.608
AT ITER 2179 NEW BEST:: SOT 40920 SOS 13620 HAS SOPS 13620 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10153.62
AT ITER 2210 NEW BEST:: SOT 40898 SOS 13598 HAS SOPS 13598 HAS SOUS 10118 HAS SOUPS 10118 WITH SCORE 10131.598
AT ITER 2213 NEW BEST:: SOT 40898 SOS 13588 HAS SOPS 13588 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10121.588
AT ITER 2225 NEW BEST:: SOT 40898 SOS 13586 HAS SOPS 13586 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10119.586
AT ITER 2242 NEW BEST:: SOT 40880 SOS 13552 HAS SOPS 13552 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10085.552
AT ITER 2260 NEW BEST:: SOT 40810 SOS 13546 HAS SOPS 13546 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9929.546
AT ITER 2290 NEW BEST:: SOT 40770 SOS 13506 HAS SOPS 13506 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9889.506
AT ITER 2302 NEW BEST:: SOT 40758 SOS 13474 HAS SOPS 13474 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9857.474
AT ITER 2313 NEW BEST:: SOT 40692 SOS 13428 HAS SOPS 13428 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9811.428
AT ITER 2318 NEW BEST:: SOT 40674 SOS 13368 HAS SOPS 13368 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9751.368
AT ITER 2351 NEW BEST:: SOT 40672 SOS 13364 HAS SOPS 13364 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9747.364
AT ITER 2369 NEW BEST:: SOT 40672 SOS 13408 HAS SOPS 13408 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9737.408
AT ITER 2371 NEW BEST:: SOT 40670 SOS 13402 HAS SOPS 13402 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9731.402
AT ITER 2382 NEW BEST:: SOT 40664 SOS 13382 HAS SOPS 13382 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9711.382
AT ITER 2389 NEW BEST:: SOT 40594 SOS 13312 HAS SOPS 13312 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9641.312
AT ITER 2399 NEW BEST:: SOT 40588 SOS 13280 HAS SOPS 13280 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9609.28
AT ITER 2436 NEW BEST:: SOT 40600 SOS 13268 HAS SOPS 13268 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9597.268
AT ITER 2440 NEW BEST:: SOT 40586 SOS 13254 HAS SOPS 13254 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9583.254
AT ITER 2445 NEW BEST:: SOT 40578 SOS 13226 HAS SOPS 13226 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9555.226
AT ITER 2449 NEW BEST:: SOT 40554 SOS 13202 HAS SOPS 13202 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9531.202
AT ITER 2466 NEW BEST:: SOT 40554 SOS 13264 HAS SOPS 13264 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9497.264
AT ITER 2476 NEW BEST:: SOT 40528 SOS 13238 HAS SOPS 13238 HAS SOUS 9458 HAS SOUPS 9458 WITH SCORE 9471.238
AT ITER 2482 NEW BEST:: SOT 40480 SOS 13190 HAS SOPS 13190 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9423.19
AT ITER 2483 NEW BEST:: SOT 40480 SOS 13188 HAS SOPS 13188 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9421.188
AT ITER 2488 NEW BEST:: SOT 40476 SOS 13180 HAS SOPS 13180 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9413.18
AT ITER 2495 NEW BEST:: SOT 40478 SOS 13178 HAS SOPS 13178 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9411.178
AT ITER 2513 NEW BEST:: SOT 40472 SOS 13168 HAS SOPS 13168 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9401.168
AT ITER 2526 NEW BEST:: SOT 40470 SOS 13162 HAS SOPS 13162 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9395.162
AT ITER 2534 NEW BEST:: SOT 40456 SOS 13154 HAS SOPS 13154 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9387.154
AT ITER 2542 NEW BEST:: SOT 40456 SOS 13152 HAS SOPS 13152 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9385.152
AT ITER 2547 NEW BEST:: SOT 40448 SOS 13144 HAS SOPS 13144 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9377.144
AT ITER 2549 NEW BEST:: SOT 40428 SOS 13180 HAS SOPS 13180 HAS SOUS 9314 HAS SOUPS 9314 WITH SCORE 9327.18
AT ITER 2557 NEW BEST:: SOT 40428 SOS 13164 HAS SOPS 13164 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9311.164
AT ITER 2564 NEW BEST:: SOT 40362 SOS 13042 HAS SOPS 13042 HAS SOUS 9176 HAS SOUPS 9176 WITH SCORE 9189.042
AT ITER 2572 NEW BEST:: SOT 40354 SOS 13032 HAS SOPS 13032 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9179.032
AT ITER 2611 NEW BEST:: SOT 40346 SOS 13024 HAS SOPS 13024 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9171.024
AT ITER 2620 NEW BEST:: SOT 40336 SOS 13014 HAS SOPS 13014 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9161.014
AT ITER 2626 NEW BEST:: SOT 40326 SOS 12992 HAS SOPS 12992 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9138.992
AT ITER 2636 NEW BEST:: SOT 40326 SOS 12992 HAS SOPS 12992 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9124.992
AT ITER 2645 NEW BEST:: SOT 40326 SOS 12982 HAS SOPS 12982 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9114.982
AT ITER 2648 NEW BEST:: SOT 40326 SOS 12958 HAS SOPS 12958 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9090.958
AT ITER 2667 NEW BEST:: SOT 40318 SOS 12950 HAS SOPS 12950 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9082.95
AT ITER 2669 NEW BEST:: SOT 40318 SOS 12896 HAS SOPS 12896 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9028.896
AT ITER 2677 NEW BEST:: SOT 40312 SOS 12884 HAS SOPS 12884 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9016.884
AT ITER 2684 NEW BEST:: SOT 40304 SOS 12872 HAS SOPS 12872 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9004.872
AT ITER 2717 NEW BEST:: SOT 40304 SOS 12810 HAS SOPS 12810 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8942.81
AT ITER 2739 NEW BEST:: SOT 40290 SOS 12748 HAS SOPS 12748 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8880.748
AT ITER 2749 NEW BEST:: SOT 40280 SOS 12728 HAS SOPS 12728 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8860.728
AT ITER 2756 NEW BEST:: SOT 40272 SOS 12668 HAS SOPS 12668 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8800.668
AT ITER 2781 NEW BEST:: SOT 40260 SOS 12656 HAS SOPS 12656 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8788.656
AT ITER 2784 NEW BEST:: SOT 40246 SOS 12676 HAS SOPS 12676 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8742.676
AT ITER 2785 NEW BEST:: SOT 40222 SOS 12636 HAS SOPS 12636 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8702.636
AT ITER 2786 NEW BEST:: SOT 40206 SOS 12620 HAS SOPS 12620 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8686.62
AT ITER 2787 NEW BEST:: SOT 40178 SOS 12592 HAS SOPS 12592 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8644.592
AT ITER 2800 NEW BEST:: SOT 40178 SOS 12586 HAS SOPS 12586 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8638.586
AT ITER 2814 NEW BEST:: SOT 40144 SOS 12552 HAS SOPS 12552 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8604.552
AT ITER 2817 NEW BEST:: SOT 40120 SOS 12574 HAS SOPS 12574 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8600.574
AT ITER 2818 NEW BEST:: SOT 40098 SOS 12532 HAS SOPS 12532 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8558.532
AT ITER 2833 NEW BEST:: SOT 40092 SOS 12526 HAS SOPS 12526 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8552.526
AT ITER 2878 NEW BEST:: SOT 40070 SOS 12480 HAS SOPS 12480 HAS SOUS 8494 HAS SOUPS 8494 WITH SCORE 8506.48
AT ITER 2883 NEW BEST:: SOT 40018 SOS 12386 HAS SOPS 12386 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8412.386
AT ITER 2922 NEW BEST:: SOT 40002 SOS 12348 HAS SOPS 12348 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8374.348
AT ITER 2960 NEW BEST:: SOT 39966 SOS 12276 HAS SOPS 12276 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8302.276
AT ITER 2985 NEW BEST:: SOT 39966 SOS 12268 HAS SOPS 12268 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8296.268
AT ITER 3027 NEW BEST:: SOT 39966 SOS 12258 HAS SOPS 12258 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8286.258
AT ITER 3052 NEW BEST:: SOT 39964 SOS 12256 HAS SOPS 12256 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8284.256
AT ITER 3061 NEW BEST:: SOT 39940 SOS 12202 HAS SOPS 12202 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8230.202
AT ITER 3172 NEW BEST:: SOT 39940 SOS 12196 HAS SOPS 12196 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8224.196
AT ITER 3231 NEW BEST:: SOT 39920 SOS 12176 HAS SOPS 12176 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8204.176
AT ITER 3242 NEW BEST:: SOT 39916 SOS 12172 HAS SOPS 12172 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8200.172
AT ITER 3257 NEW BEST:: SOT 39912 SOS 12168 HAS SOPS 12168 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8196.168
AT ITER 3265 NEW BEST:: SOT 39918 SOS 12166 HAS SOPS 12166 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8194.166
AT ITER 3278 NEW BEST:: SOT 39834 SOS 12218 HAS SOPS 12218 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8018.218
AT ITER 3282 NEW BEST:: SOT 39834 SOS 12210 HAS SOPS 12210 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8010.21
AT ITER 3290 NEW BEST:: SOT 39834 SOS 12162 HAS SOPS 12162 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7962.162
AT ITER 3331 NEW BEST:: SOT 39834 SOS 12150 HAS SOPS 12150 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7950.15
AT ITER 3345 NEW BEST:: SOT 39832 SOS 12146 HAS SOPS 12146 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7946.146
AT ITER 3387 NEW BEST:: SOT 39824 SOS 12218 HAS SOPS 12218 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7754.218
AT ITER 3404 NEW BEST:: SOT 39762 SOS 12156 HAS SOPS 12156 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7692.156
AT ITER 3416 NEW BEST:: SOT 39736 SOS 12154 HAS SOPS 12154 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7658.154
AT ITER 3436 NEW BEST:: SOT 39700 SOS 12108 HAS SOPS 12108 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7612.108
AT ITER 3441 NEW BEST:: SOT 39690 SOS 12078 HAS SOPS 12078 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7582.078
AT ITER 3484 NEW BEST:: SOT 39660 SOS 12058 HAS SOPS 12058 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7562.058
AT ITER 3502 NEW BEST:: SOT 39644 SOS 12042 HAS SOPS 12042 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7546.042
AT ITER 3525 NEW BEST:: SOT 39620 SOS 11996 HAS SOPS 11996 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7499.996
AT ITER 3572 NEW BEST:: SOT 39612 SOS 11988 HAS SOPS 11988 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7491.988
AT ITER 3622 NEW BEST:: SOT 39564 SOS 11918 HAS SOPS 11918 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7421.918
AT ITER 3628 NEW BEST:: SOT 39550 SOS 11890 HAS SOPS 11890 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7393.89
AT ITER 3668 NEW BEST:: SOT 39546 SOS 11884 HAS SOPS 11884 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7387.884
AT ITER 3709 NEW BEST:: SOT 39538 SOS 11868 HAS SOPS 11868 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7371.868
AT ITER 3719 NEW BEST:: SOT 39526 SOS 11856 HAS SOPS 11856 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7347.856
AT ITER 3776 NEW BEST:: SOT 39522 SOS 11844 HAS SOPS 11844 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7335.844
AT ITER 3778 NEW BEST:: SOT 39520 SOS 11842 HAS SOPS 11842 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7333.842
AT ITER 3781 NEW BEST:: SOT 39530 SOS 11802 HAS SOPS 11802 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7293.802
AT ITER 3801 NEW BEST:: SOT 39530 SOS 11774 HAS SOPS 11774 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7265.774
AT ITER 3808 NEW BEST:: SOT 39530 SOS 11768 HAS SOPS 11768 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7259.768
AT ITER 3851 NEW BEST:: SOT 39544 SOS 11760 HAS SOPS 11760 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7251.76
AT ITER 3862 NEW BEST:: SOT 39534 SOS 11742 HAS SOPS 11742 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7233.742
AT ITER 3879 NEW BEST:: SOT 39508 SOS 11702 HAS SOPS 11702 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7193.702
AT ITER 3895 NEW BEST:: SOT 39508 SOS 11698 HAS SOPS 11698 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7189.698
AT ITER 3915 NEW BEST:: SOT 39502 SOS 11686 HAS SOPS 11686 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7177.686
AT ITER 3929 NEW BEST:: SOT 39474 SOS 11634 HAS SOPS 11634 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7125.634
AT ITER 3937 NEW BEST:: SOT 39424 SOS 11596 HAS SOPS 11596 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7087.596
AT ITER 3942 NEW BEST:: SOT 39420 SOS 11586 HAS SOPS 11586 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7077.586
AT ITER 3972 NEW BEST:: SOT 39386 SOS 11532 HAS SOPS 11532 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7023.532
AT ITER 3979 NEW BEST:: SOT 39372 SOS 11518 HAS SOPS 11518 HAS SOUS 6998 HAS SOUPS 6998 WITH SCORE 7009.518
AT ITER 3994 NEW BEST:: SOT 39356 SOS 11492 HAS SOPS 11492 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6983.492
AT ITER 3996 NEW BEST:: SOT 39352 SOS 11488 HAS SOPS 11488 HAS SOUS 6968 HAS SOUPS 6968 WITH SCORE 6979.488
AT ITER 4000 NEW BEST:: SOT 39346 SOS 11482 HAS SOPS 11482 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6961.482
AT ITER 4010 NEW BEST:: SOT 39346 SOS 11442 HAS SOPS 11442 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6921.442
AT ITER 4029 NEW BEST:: SOT 39340 SOS 11440 HAS SOPS 11440 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6919.44
AT ITER 4053 NEW BEST:: SOT 39320 SOS 11420 HAS SOPS 11420 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6871.42
AT ITER 4065 NEW BEST:: SOT 39314 SOS 11414 HAS SOPS 11414 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6865.414
AT ITER 4077 NEW BEST:: SOT 39290 SOS 11390 HAS SOPS 11390 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6841.39
AT ITER 4089 NEW BEST:: SOT 39290 SOS 11382 HAS SOPS 11382 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6833.382
AT ITER 4092 NEW BEST:: SOT 39294 SOS 11378 HAS SOPS 11378 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6829.378
AT ITER 4107 NEW BEST:: SOT 39294 SOS 11452 HAS SOPS 11452 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6809.452
AT ITER 4113 NEW BEST:: SOT 39286 SOS 11444 HAS SOPS 11444 HAS SOUS 6790 HAS SOUPS 6790 WITH SCORE 6801.444
AT ITER 4133 NEW BEST:: SOT 39276 SOS 11418 HAS SOPS 11418 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6775.418
AT ITER 4146 NEW BEST:: SOT 39274 SOS 11414 HAS SOPS 11414 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6771.414
AT ITER 4219 NEW BEST:: SOT 39274 SOS 11406 HAS SOPS 11406 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6763.406
AT ITER 4248 NEW BEST:: SOT 39274 SOS 11388 HAS SOPS 11388 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6745.388
AT ITER 4266 NEW BEST:: SOT 39272 SOS 11474 HAS SOPS 11474 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6731.474
AT ITER 4272 NEW BEST:: SOT 39264 SOS 11458 HAS SOPS 11458 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6715.458
AT ITER 4275 NEW BEST:: SOT 39252 SOS 11446 HAS SOPS 11446 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6703.446
AT ITER 4306 NEW BEST:: SOT 39238 SOS 11432 HAS SOPS 11432 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6689.432
AT ITER 4324 NEW BEST:: SOT 39220 SOS 11414 HAS SOPS 11414 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6671.414
AT ITER 4337 NEW BEST:: SOT 39206 SOS 11376 HAS SOPS 11376 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6633.376
AT ITER 4352 NEW BEST:: SOT 39204 SOS 11370 HAS SOPS 11370 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6627.37
AT ITER 4356 NEW BEST:: SOT 39204 SOS 11350 HAS SOPS 11350 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6607.35
AT ITER 4381 NEW BEST:: SOT 39178 SOS 11318 HAS SOPS 11318 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6575.318
AT ITER 4436 NEW BEST:: SOT 39152 SOS 11266 HAS SOPS 11266 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6523.266
AT ITER 4443 NEW BEST:: SOT 39152 SOS 11238 HAS SOPS 11238 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6495.238
AT ITER 4473 NEW BEST:: SOT 39148 SOS 11234 HAS SOPS 11234 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6491.234
AT ITER 4487 NEW BEST:: SOT 39146 SOS 11226 HAS SOPS 11226 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6483.226
AT ITER 4507 NEW BEST:: SOT 39142 SOS 11222 HAS SOPS 11222 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6479.222
AT ITER 4555 NEW BEST:: SOT 39142 SOS 11212 HAS SOPS 11212 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6469.212
AT ITER 4717 NEW BEST:: SOT 39090 SOS 11108 HAS SOPS 11108 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6365.108
AT ITER 4722 NEW BEST:: SOT 39080 SOS 11098 HAS SOPS 11098 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6355.098
AT ITER 4777 NEW BEST:: SOT 39076 SOS 11090 HAS SOPS 11090 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6347.09
AT ITER 4794 NEW BEST:: SOT 39076 SOS 11060 HAS SOPS 11060 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6317.06
AT ITER 4806 NEW BEST:: SOT 39054 SOS 11016 HAS SOPS 11016 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6273.016
AT ITER 4822 NEW BEST:: SOT 39044 SOS 11006 HAS SOPS 11006 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6263.006
AT ITER 4845 NEW BEST:: SOT 39022 SOS 10984 HAS SOPS 10984 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6240.984
AT ITER 4854 NEW BEST:: SOT 39014 SOS 10976 HAS SOPS 10976 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6232.976
AT ITER 4871 NEW BEST:: SOT 39000 SOS 10946 HAS SOPS 10946 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6202.946
AT ITER 4883 NEW BEST:: SOT 38986 SOS 10930 HAS SOPS 10930 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6186.93
AT ITER 4899 NEW BEST:: SOT 38984 SOS 10928 HAS SOPS 10928 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6168.928
AT ITER 4905 NEW BEST:: SOT 38984 SOS 10914 HAS SOPS 10914 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6154.914
AT ITER 4927 NEW BEST:: SOT 38984 SOS 10912 HAS SOPS 10912 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6152.912
AT ITER 4940 NEW BEST:: SOT 38950 SOS 10846 HAS SOPS 10846 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6086.846
AT ITER 4944 NEW BEST:: SOT 38946 SOS 10830 HAS SOPS 10830 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6070.83
AT ITER 4949 NEW BEST:: SOT 38932 SOS 10816 HAS SOPS 10816 HAS SOUS 6046 HAS SOUPS 6046 WITH SCORE 6056.816
AT ITER 4952 NEW BEST:: SOT 38920 SOS 10794 HAS SOPS 10794 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6034.794
AT ITER 4959 NEW BEST:: SOT 38920 SOS 10790 HAS SOPS 10790 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6030.79
AT ITER 4975 NEW BEST:: SOT 38876 SOS 10706 HAS SOPS 10706 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5946.706
AT ITER 4980 NEW BEST:: SOT 38860 SOS 10684 HAS SOPS 10684 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5924.684
AT ITER 5048 NEW BEST:: SOT 38860 SOS 10672 HAS SOPS 10672 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5912.672
AT ITER 5058 NEW BEST:: SOT 38862 SOS 10664 HAS SOPS 10664 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5904.664
AT ITER 5063 NEW BEST:: SOT 38862 SOS 10634 HAS SOPS 10634 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5874.634
AT ITER 5078 NEW BEST:: SOT 38862 SOS 10630 HAS SOPS 10630 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5870.63
AT ITER 5087 NEW BEST:: SOT 38862 SOS 10614 HAS SOPS 10614 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5854.614
AT ITER 5095 NEW BEST:: SOT 38862 SOS 10608 HAS SOPS 10608 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5848.608
AT ITER 5118 NEW BEST:: SOT 38860 SOS 10598 HAS SOPS 10598 HAS SOUS 5828 HAS SOUPS 5828 WITH SCORE 5838.598
AT ITER 5140 NEW BEST:: SOT 38854 SOS 10592 HAS SOPS 10592 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5832.592
AT ITER 5234 NEW BEST:: SOT 38854 SOS 10580 HAS SOPS 10580 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5820.58
AT ITER 5245 NEW BEST:: SOT 38816 SOS 10524 HAS SOPS 10524 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5764.524
AT ITER 5330 NEW BEST:: SOT 38810 SOS 10520 HAS SOPS 10520 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5760.52
AT ITER 5333 NEW BEST:: SOT 38806 SOS 10516 HAS SOPS 10516 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5756.516
AT ITER 5366 NEW BEST:: SOT 38806 SOS 10506 HAS SOPS 10506 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5746.506
AT ITER 5387 NEW BEST:: SOT 38802 SOS 10482 HAS SOPS 10482 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5722.482
AT ITER 5424 NEW BEST:: SOT 38792 SOS 10468 HAS SOPS 10468 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5708.468
AT ITER 5432 NEW BEST:: SOT 38772 SOS 10454 HAS SOPS 10454 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5694.454
AT ITER 5445 NEW BEST:: SOT 38772 SOS 10454 HAS SOPS 10454 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5678.454
AT ITER 5500 NEW BEST:: SOT 38766 SOS 10452 HAS SOPS 10452 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5676.452
AT ITER 5528 NEW BEST:: SOT 38764 SOS 10450 HAS SOPS 10450 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5674.45
AT ITER 5550 NEW BEST:: SOT 38760 SOS 10446 HAS SOPS 10446 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5670.446
AT ITER 5573 NEW BEST:: SOT 38760 SOS 10416 HAS SOPS 10416 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5640.416
AT ITER 5595 NEW BEST:: SOT 38750 SOS 10390 HAS SOPS 10390 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5614.39
AT ITER 5626 NEW BEST:: SOT 38742 SOS 10382 HAS SOPS 10382 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5606.382
AT ITER 5636 NEW BEST:: SOT 38746 SOS 10358 HAS SOPS 10358 HAS SOUS 5572 HAS SOUPS 5572 WITH SCORE 5582.358
AT ITER 5639 NEW BEST:: SOT 38742 SOS 10352 HAS SOPS 10352 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5576.352
AT ITER 5649 NEW BEST:: SOT 38742 SOS 10344 HAS SOPS 10344 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5568.344
AT ITER 5659 NEW BEST:: SOT 38724 SOS 10356 HAS SOPS 10356 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5560.356
AT ITER 5749 NEW BEST:: SOT 38724 SOS 10348 HAS SOPS 10348 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5552.348
AT ITER 5752 NEW BEST:: SOT 38700 SOS 10300 HAS SOPS 10300 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5504.3
AT ITER 5788 NEW BEST:: SOT 38696 SOS 10292 HAS SOPS 10292 HAS SOUS 5486 HAS SOUPS 5486 WITH SCORE 5496.292
AT ITER 5829 NEW BEST:: SOT 38694 SOS 10276 HAS SOPS 10276 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5480.276
AT ITER 5838 NEW BEST:: SOT 38700 SOS 10270 HAS SOPS 10270 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5474.27
AT ITER 5852 NEW BEST:: SOT 38680 SOS 10234 HAS SOPS 10234 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5438.234
AT ITER 5882 NEW BEST:: SOT 38662 SOS 10198 HAS SOPS 10198 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5402.198
AT ITER 5883 NEW BEST:: SOT 38652 SOS 10188 HAS SOPS 10188 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5392.188
AT ITER 5887 NEW BEST:: SOT 38618 SOS 10154 HAS SOPS 10154 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5358.154
AT ITER 5894 NEW BEST:: SOT 38616 SOS 10126 HAS SOPS 10126 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5330.126
AT ITER 5904 NEW BEST:: SOT 38616 SOS 10120 HAS SOPS 10120 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5324.12
AT ITER 5930 NEW BEST:: SOT 38616 SOS 9998 HAS SOPS 9998 HAS SOUS 5312 HAS SOUPS 5312 WITH SCORE 5321.998
AT ITER 5951 NEW BEST:: SOT 38620 SOS 9996 HAS SOPS 9996 HAS SOUS 5310 HAS SOUPS 5310 WITH SCORE 5319.996
AT ITER 5967 NEW BEST:: SOT 38616 SOS 9984 HAS SOPS 9984 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5307.984
AT ITER 5980 NEW BEST:: SOT 38600 SOS 9952 HAS SOPS 9952 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5275.952
AT ITER 5981 NEW BEST:: SOT 38598 SOS 9950 HAS SOPS 9950 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5273.95
AT ITER 6019 NEW BEST:: SOT 38592 SOS 9884 HAS SOPS 9884 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.884
AT ITER 6039 NEW BEST:: SOT 38606 SOS 9878 HAS SOPS 9878 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5201.878
AT ITER 6066 NEW BEST:: SOT 38606 SOS 9874 HAS SOPS 9874 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5197.874
AT ITER 6128 NEW BEST:: SOT 38602 SOS 9870 HAS SOPS 9870 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5193.87
AT ITER 6141 NEW BEST:: SOT 38598 SOS 9850 HAS SOPS 9850 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5173.85
AT ITER 6163 NEW BEST:: SOT 38594 SOS 9842 HAS SOPS 9842 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5165.842
AT ITER 6183 NEW BEST:: SOT 38588 SOS 9826 HAS SOPS 9826 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5149.826
AT ITER 6282 NEW BEST:: SOT 38584 SOS 9818 HAS SOPS 9818 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5141.818
AT ITER 6401 NEW BEST:: SOT 38550 SOS 9800 HAS SOPS 9800 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5123.8
AT ITER 6493 NEW BEST:: SOT 38550 SOS 9786 HAS SOPS 9786 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5109.786
AT ITER 6495 NEW BEST:: SOT 38548 SOS 9782 HAS SOPS 9782 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5105.782
AT ITER 6514 NEW BEST:: SOT 38548 SOS 9764 HAS SOPS 9764 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5087.764
AT ITER 6652 NEW BEST:: SOT 38516 SOS 9762 HAS SOPS 9762 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5061.762
AT ITER 6676 NEW BEST:: SOT 38512 SOS 9758 HAS SOPS 9758 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5057.758
AT ITER 6680 NEW BEST:: SOT 38486 SOS 9720 HAS SOPS 9720 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5019.72
AT ITER 6697 NEW BEST:: SOT 38486 SOS 9616 HAS SOPS 9616 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5015.616
AT ITER 6703 NEW BEST:: SOT 38482 SOS 9578 HAS SOPS 9578 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4977.578
AT ITER 6798 NEW BEST:: SOT 38480 SOS 9576 HAS SOPS 9576 HAS SOUS 4966 HAS SOUPS 4966 WITH SCORE 4975.576
AT ITER 6863 NEW BEST:: SOT 38474 SOS 9568 HAS SOPS 9568 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4967.568
AT ITER 6894 NEW BEST:: SOT 38474 SOS 9528 HAS SOPS 9528 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4927.528
AT ITER 6908 NEW BEST:: SOT 38466 SOS 9518 HAS SOPS 9518 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4917.518
AT ITER 6920 NEW BEST:: SOT 38466 SOS 9500 HAS SOPS 9500 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4899.5
AT ITER 7036 NEW BEST:: SOT 38462 SOS 9486 HAS SOPS 9486 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4885.486
AT ITER 7045 NEW BEST:: SOT 38462 SOS 9482 HAS SOPS 9482 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4881.482
AT ITER 7053 NEW BEST:: SOT 38456 SOS 9464 HAS SOPS 9464 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4863.464
AT ITER 7086 NEW BEST:: SOT 38456 SOS 9464 HAS SOPS 9464 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4849.464
AT ITER 7103 NEW BEST:: SOT 38452 SOS 9460 HAS SOPS 9460 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4845.46
AT ITER 7105 NEW BEST:: SOT 38450 SOS 9458 HAS SOPS 9458 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4843.458
AT ITER 7124 NEW BEST:: SOT 38442 SOS 9450 HAS SOPS 9450 HAS SOUS 4826 HAS SOUPS 4826 WITH SCORE 4835.45
AT ITER 7131 NEW BEST:: SOT 38442 SOS 9448 HAS SOPS 9448 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4833.448
AT ITER 7157 NEW BEST:: SOT 38424 SOS 9440 HAS SOPS 9440 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4825.44
AT ITER 7219 NEW BEST:: SOT 38424 SOS 9430 HAS SOPS 9430 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4815.43
AT ITER 7221 NEW BEST:: SOT 38422 SOS 9426 HAS SOPS 9426 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4811.426
AT ITER 7227 NEW BEST:: SOT 38422 SOS 9412 HAS SOPS 9412 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4797.412
AT ITER 7259 NEW BEST:: SOT 38424 SOS 9404 HAS SOPS 9404 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4789.404
AT ITER 7263 NEW BEST:: SOT 38412 SOS 9374 HAS SOPS 9374 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4759.374
AT ITER 7304 NEW BEST:: SOT 38406 SOS 9370 HAS SOPS 9370 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4755.37
AT ITER 7447 NEW BEST:: SOT 38406 SOS 9426 HAS SOPS 9426 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4749.426
AT ITER 7517 NEW BEST:: SOT 38402 SOS 9416 HAS SOPS 9416 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4739.416
AT ITER 7530 NEW BEST:: SOT 38342 SOS 9360 HAS SOPS 9360 HAS SOUS 4674 HAS SOUPS 4674 WITH SCORE 4683.36
AT ITER 7542 NEW BEST:: SOT 38340 SOS 9348 HAS SOPS 9348 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4671.348
AT ITER 7591 NEW BEST:: SOT 38340 SOS 9344 HAS SOPS 9344 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4667.344
AT ITER 7638 NEW BEST:: SOT 38340 SOS 9326 HAS SOPS 9326 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4649.326
AT ITER 7655 NEW BEST:: SOT 38334 SOS 9320 HAS SOPS 9320 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4643.32
AT ITER 7656 NEW BEST:: SOT 38334 SOS 9298 HAS SOPS 9298 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4621.298
AT ITER 7661 NEW BEST:: SOT 38332 SOS 9296 HAS SOPS 9296 HAS SOUS 4610 HAS SOUPS 4610 WITH SCORE 4619.296
AT ITER 7818 NEW BEST:: SOT 38310 SOS 9282 HAS SOPS 9282 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4605.282
AT ITER 7821 NEW BEST:: SOT 38302 SOS 9274 HAS SOPS 9274 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4597.274
AT ITER 7833 NEW BEST:: SOT 38302 SOS 9272 HAS SOPS 9272 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4595.272
AT ITER 8006 NEW BEST:: SOT 38300 SOS 9268 HAS SOPS 9268 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4591.268
AT ITER 8012 NEW BEST:: SOT 38294 SOS 9276 HAS SOPS 9276 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4571.276
AT ITER 8024 NEW BEST:: SOT 38268 SOS 9244 HAS SOPS 9244 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4539.244
AT ITER 8032 NEW BEST:: SOT 38268 SOS 9266 HAS SOPS 9266 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4529.266
AT ITER 8052 NEW BEST:: SOT 38240 SOS 9212 HAS SOPS 9212 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4475.212
AT ITER 8095 NEW BEST:: SOT 38236 SOS 9204 HAS SOPS 9204 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4467.204
AT ITER 8111 NEW BEST:: SOT 38226 SOS 9196 HAS SOPS 9196 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4459.196
AT ITER 8116 NEW BEST:: SOT 38226 SOS 9194 HAS SOPS 9194 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4457.194
AT ITER 8118 NEW BEST:: SOT 38224 SOS 9192 HAS SOPS 9192 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4455.192
AT ITER 8171 NEW BEST:: SOT 38220 SOS 9188 HAS SOPS 9188 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4451.188
AT ITER 8210 NEW BEST:: SOT 38208 SOS 9176 HAS SOPS 9176 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4439.176
AT ITER 8222 NEW BEST:: SOT 38194 SOS 9150 HAS SOPS 9150 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4413.15
AT ITER 8248 NEW BEST:: SOT 38190 SOS 9144 HAS SOPS 9144 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4407.144
AT ITER 8273 NEW BEST:: SOT 38178 SOS 9132 HAS SOPS 9132 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4395.132
AT ITER 8301 NEW BEST:: SOT 38174 SOS 9126 HAS SOPS 9126 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4389.126
AT ITER 8354 NEW BEST:: SOT 38150 SOS 9102 HAS SOPS 9102 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4365.102
AT ITER 8448 NEW BEST:: SOT 38146 SOS 9098 HAS SOPS 9098 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4357.098
AT ITER 8584 NEW BEST:: SOT 38146 SOS 9094 HAS SOPS 9094 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4353.094
AT ITER 8639 NEW BEST:: SOT 38136 SOS 9074 HAS SOPS 9074 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4333.074
AT ITER 8768 NEW BEST:: SOT 38120 SOS 9048 HAS SOPS 9048 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4307.048
AT ITER 8769 NEW BEST:: SOT 38100 SOS 9016 HAS SOPS 9016 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4275.016
AT ITER 8774 NEW BEST:: SOT 38098 SOS 8996 HAS SOPS 8996 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4254.996
AT ITER 8783 NEW BEST:: SOT 38090 SOS 8982 HAS SOPS 8982 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4240.982
AT ITER 8810 NEW BEST:: SOT 38090 SOS 8968 HAS SOPS 8968 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4226.968
AT ITER 9016 NEW BEST:: SOT 38084 SOS 8954 HAS SOPS 8954 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4212.954
AT ITER 9024 NEW BEST:: SOT 38074 SOS 8940 HAS SOPS 8940 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4198.94
AT ITER 9169 NEW BEST:: SOT 38070 SOS 8922 HAS SOPS 8922 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4180.922
AT ITER 9191 NEW BEST:: SOT 38052 SOS 8904 HAS SOPS 8904 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4154.904
AT ITER 9199 NEW BEST:: SOT 38052 SOS 8902 HAS SOPS 8902 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4152.902
AT ITER 9389 NEW BEST:: SOT 38036 SOS 8872 HAS SOPS 8872 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4122.872
AT ITER 9526 NEW BEST:: SOT 38036 SOS 8864 HAS SOPS 8864 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4114.864
AT ITER 9529 NEW BEST:: SOT 38028 SOS 8968 HAS SOPS 8968 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4110.968
AT ITER 9587 NEW BEST:: SOT 38028 SOS 8964 HAS SOPS 8964 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4106.964
AT ITER 9627 NEW BEST:: SOT 38018 SOS 8954 HAS SOPS 8954 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4096.954
AT ITER 9751 NEW BEST:: SOT 38018 SOS 8948 HAS SOPS 8948 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4090.948
AT ITER 9767 NEW BEST:: SOT 37984 SOS 8914 HAS SOPS 8914 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4056.914
AT ITER 9889 NEW BEST:: SOT 37984 SOS 8912 HAS SOPS 8912 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4054.912
AT ITER 9912 NEW BEST:: SOT 37984 SOS 8914 HAS SOPS 8914 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4052.914
STATE_SPACE STATES 1267650600228229401496703205386 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 210 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 126765060022822940149670320537620 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679031082100

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="RwMutex-PT-r0100w0010"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RwMutex-PT-r0100w0010, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r363-smll-167891813800176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RwMutex-PT-r0100w0010.tgz
mv RwMutex-PT-r0100w0010 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;