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.r395-oct2-167903719000632.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPt-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903719000632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.1K Feb 25 21:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 21:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 21:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 21:10 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 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 21:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 21:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 21:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 21:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 134K 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 1679575012615

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=ShieldPPPt-PT-020A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:36:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:36:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:36:56] [INFO ] Load time of PNML (sax parser for PT used): 91 ms
[2023-03-23 12:36:56] [INFO ] Transformed 503 places.
[2023-03-23 12:36:56] [INFO ] Transformed 363 transitions.
[2023-03-23 12:36:56] [INFO ] Found NUPN structural information;
[2023-03-23 12:36:56] [INFO ] Parsed PT model containing 503 places and 363 transitions and 1446 arcs in 274 ms.
[2023-03-23 12:36:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 503 places, 363 transitions and 1446 arcs took 6 ms.
Total runtime 342 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 020A
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: 503 places, 363 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 150296 SOS 125896 HAS SOPS 125896 HAS SOUS 101726 HAS SOUPS 101726 WITH SCORE 101851.896
AT ITER 1 NEW BEST:: SOT 150102 SOS 125755 HAS SOPS 125755 HAS SOUS 101584 HAS SOUPS 101584 WITH SCORE 101709.755
AT ITER 2 NEW BEST:: SOT 150017 SOS 125668 HAS SOPS 125668 HAS SOUS 101497 HAS SOUPS 101497 WITH SCORE 101622.668
AT ITER 3 NEW BEST:: SOT 149659 SOS 125444 HAS SOPS 125444 HAS SOUS 101442 HAS SOUPS 101442 WITH SCORE 101567.444
AT ITER 4 NEW BEST:: SOT 149659 SOS 125126 HAS SOPS 125126 HAS SOUS 101440 HAS SOUPS 101440 WITH SCORE 101565.126
AT ITER 5 NEW BEST:: SOT 148849 SOS 123523 HAS SOPS 123523 HAS SOUS 100538 HAS SOUPS 100538 WITH SCORE 100661.523
AT ITER 6 NEW BEST:: SOT 148716 SOS 122814 HAS SOPS 122814 HAS SOUS 100113 HAS SOUPS 100113 WITH SCORE 100235.814
AT ITER 7 NEW BEST:: SOT 148577 SOS 122675 HAS SOPS 122675 HAS SOUS 99986 HAS SOUPS 99986 WITH SCORE 100108.675
AT ITER 8 NEW BEST:: SOT 148447 SOS 122559 HAS SOPS 122559 HAS SOUS 99887 HAS SOUPS 99887 WITH SCORE 100009.559
AT ITER 14 NEW BEST:: SOT 148255 SOS 122382 HAS SOPS 122382 HAS SOUS 99725 HAS SOUPS 99725 WITH SCORE 99847.382
AT ITER 16 NEW BEST:: SOT 147313 SOS 121438 HAS SOPS 121438 HAS SOUS 99025 HAS SOUPS 99025 WITH SCORE 99146.438
AT ITER 17 NEW BEST:: SOT 146932 SOS 121057 HAS SOPS 121057 HAS SOUS 98552 HAS SOUPS 98552 WITH SCORE 98673.057
AT ITER 19 NEW BEST:: SOT 146754 SOS 120877 HAS SOPS 120877 HAS SOUS 98372 HAS SOUPS 98372 WITH SCORE 98492.877
AT ITER 20 NEW BEST:: SOT 146674 SOS 120797 HAS SOPS 120797 HAS SOUS 98290 HAS SOUPS 98290 WITH SCORE 98410.797
AT ITER 22 NEW BEST:: SOT 146498 SOS 120621 HAS SOPS 120621 HAS SOUS 98114 HAS SOUPS 98114 WITH SCORE 98234.621
AT ITER 28 NEW BEST:: SOT 146498 SOS 120242 HAS SOPS 120242 HAS SOUS 98112 HAS SOUPS 98112 WITH SCORE 98232.242
AT ITER 29 NEW BEST:: SOT 146242 SOS 119986 HAS SOPS 119986 HAS SOUS 97856 HAS SOUPS 97856 WITH SCORE 97975.986
AT ITER 30 NEW BEST:: SOT 146189 SOS 119933 HAS SOPS 119933 HAS SOUS 97803 HAS SOUPS 97803 WITH SCORE 97922.933
AT ITER 31 NEW BEST:: SOT 146081 SOS 119609 HAS SOPS 119609 HAS SOUS 97641 HAS SOUPS 97641 WITH SCORE 97760.609
AT ITER 32 NEW BEST:: SOT 146060 SOS 119175 HAS SOPS 119175 HAS SOUS 97481 HAS SOUPS 97481 WITH SCORE 97600.175
AT ITER 35 NEW BEST:: SOT 145406 SOS 117380 HAS SOPS 117380 HAS SOUS 96359 HAS SOUPS 96359 WITH SCORE 96476.38
AT ITER 38 NEW BEST:: SOT 145400 SOS 117374 HAS SOPS 117374 HAS SOUS 96353 HAS SOUPS 96353 WITH SCORE 96470.374
AT ITER 43 NEW BEST:: SOT 145400 SOS 116817 HAS SOPS 116817 HAS SOUS 96346 HAS SOUPS 96346 WITH SCORE 96462.817
AT ITER 45 NEW BEST:: SOT 145400 SOS 116817 HAS SOPS 116817 HAS SOUS 96336 HAS SOUPS 96336 WITH SCORE 96452.817
AT ITER 47 NEW BEST:: SOT 145400 SOS 116448 HAS SOPS 116448 HAS SOUS 96334 HAS SOUPS 96334 WITH SCORE 96450.448
AT ITER 51 NEW BEST:: SOT 145400 SOS 115846 HAS SOPS 115846 HAS SOUS 96324 HAS SOUPS 96324 WITH SCORE 96439.846
AT ITER 52 NEW BEST:: SOT 145416 SOS 115024 HAS SOPS 115024 HAS SOUS 96065 HAS SOUPS 96065 WITH SCORE 96180.024
AT ITER 53 NEW BEST:: SOT 144970 SOS 114606 HAS SOPS 114606 HAS SOUS 95647 HAS SOUPS 95647 WITH SCORE 95761.606
AT ITER 55 NEW BEST:: SOT 144497 SOS 114133 HAS SOPS 114133 HAS SOUS 95172 HAS SOUPS 95172 WITH SCORE 95286.133
AT ITER 56 NEW BEST:: SOT 144434 SOS 114059 HAS SOPS 114059 HAS SOUS 95098 HAS SOUPS 95098 WITH SCORE 95212.059
AT ITER 65 NEW BEST:: SOT 144433 SOS 113989 HAS SOPS 113989 HAS SOUS 95090 HAS SOUPS 95090 WITH SCORE 95203.989
AT ITER 67 NEW BEST:: SOT 144208 SOS 113764 HAS SOPS 113764 HAS SOUS 94864 HAS SOUPS 94864 WITH SCORE 94977.764
AT ITER 69 NEW BEST:: SOT 144208 SOS 113221 HAS SOPS 113221 HAS SOUS 94717 HAS SOUPS 94717 WITH SCORE 94830.221
AT ITER 70 NEW BEST:: SOT 144018 SOS 113031 HAS SOPS 113031 HAS SOUS 94527 HAS SOUPS 94527 WITH SCORE 94640.031
AT ITER 71 NEW BEST:: SOT 143897 SOS 112933 HAS SOPS 112933 HAS SOUS 94429 HAS SOUPS 94429 WITH SCORE 94541.933
AT ITER 73 NEW BEST:: SOT 143452 SOS 112488 HAS SOPS 112488 HAS SOUS 93984 HAS SOUPS 93984 WITH SCORE 94096.488
AT ITER 74 NEW BEST:: SOT 143256 SOS 112290 HAS SOPS 112290 HAS SOUS 93883 HAS SOUPS 93883 WITH SCORE 93995.29
AT ITER 76 NEW BEST:: SOT 143064 SOS 112098 HAS SOPS 112098 HAS SOUS 93690 HAS SOUPS 93690 WITH SCORE 93802.098
AT ITER 79 NEW BEST:: SOT 143064 SOS 111992 HAS SOPS 111992 HAS SOUS 93687 HAS SOUPS 93687 WITH SCORE 93798.992
AT ITER 82 NEW BEST:: SOT 142758 SOS 111741 HAS SOPS 111741 HAS SOUS 93433 HAS SOUPS 93433 WITH SCORE 93544.741
AT ITER 83 NEW BEST:: SOT 142310 SOS 111292 HAS SOPS 111292 HAS SOUS 92984 HAS SOUPS 92984 WITH SCORE 93095.292
AT ITER 84 NEW BEST:: SOT 142234 SOS 111216 HAS SOPS 111216 HAS SOUS 92908 HAS SOUPS 92908 WITH SCORE 93019.216
AT ITER 88 NEW BEST:: SOT 142208 SOS 111188 HAS SOPS 111188 HAS SOUS 92879 HAS SOUPS 92879 WITH SCORE 92990.188
AT ITER 90 NEW BEST:: SOT 141630 SOS 109719 HAS SOPS 109719 HAS SOUS 91899 HAS SOUPS 91899 WITH SCORE 92008.719
AT ITER 92 NEW BEST:: SOT 141234 SOS 109321 HAS SOPS 109321 HAS SOUS 91521 HAS SOUPS 91521 WITH SCORE 91630.321
AT ITER 95 NEW BEST:: SOT 140887 SOS 108971 HAS SOPS 108971 HAS SOUS 91171 HAS SOUPS 91171 WITH SCORE 91279.971
AT ITER 98 NEW BEST:: SOT 140837 SOS 108932 HAS SOPS 108932 HAS SOUS 91147 HAS SOUPS 91147 WITH SCORE 91255.932
AT ITER 100 NEW BEST:: SOT 140799 SOS 108894 HAS SOPS 108894 HAS SOUS 91109 HAS SOUPS 91109 WITH SCORE 91217.894
AT ITER 101 NEW BEST:: SOT 140739 SOS 108834 HAS SOPS 108834 HAS SOUS 91063 HAS SOUPS 91063 WITH SCORE 91171.834
AT ITER 103 NEW BEST:: SOT 140739 SOS 108793 HAS SOPS 108793 HAS SOUS 91022 HAS SOUPS 91022 WITH SCORE 91130.793
AT ITER 104 NEW BEST:: SOT 140671 SOS 108628 HAS SOPS 108628 HAS SOUS 90937 HAS SOUPS 90937 WITH SCORE 91045.628
AT ITER 105 NEW BEST:: SOT 140671 SOS 108164 HAS SOPS 108164 HAS SOUS 90703 HAS SOUPS 90703 WITH SCORE 90811.164
AT ITER 106 NEW BEST:: SOT 140671 SOS 108130 HAS SOPS 108130 HAS SOUS 90703 HAS SOUPS 90703 WITH SCORE 90811.13
AT ITER 107 NEW BEST:: SOT 140650 SOS 108109 HAS SOPS 108109 HAS SOUS 90682 HAS SOUPS 90682 WITH SCORE 90790.109
AT ITER 108 NEW BEST:: SOT 140650 SOS 108047 HAS SOPS 108047 HAS SOUS 90682 HAS SOUPS 90682 WITH SCORE 90790.047
AT ITER 109 NEW BEST:: SOT 140132 SOS 107529 HAS SOPS 107529 HAS SOUS 90336 HAS SOUPS 90336 WITH SCORE 90443.529
AT ITER 112 NEW BEST:: SOT 140207 SOS 106731 HAS SOPS 106731 HAS SOUS 90072 HAS SOUPS 90072 WITH SCORE 90178.731
AT ITER 116 NEW BEST:: SOT 140013 SOS 106441 HAS SOPS 106441 HAS SOUS 89781 HAS SOUPS 89781 WITH SCORE 89887.441
AT ITER 118 NEW BEST:: SOT 139722 SOS 106233 HAS SOPS 106233 HAS SOUS 89447 HAS SOUPS 89447 WITH SCORE 89553.233
AT ITER 122 NEW BEST:: SOT 139611 SOS 106122 HAS SOPS 106122 HAS SOUS 89337 HAS SOUPS 89337 WITH SCORE 89443.122
AT ITER 126 NEW BEST:: SOT 139556 SOS 106112 HAS SOPS 106112 HAS SOUS 89327 HAS SOUPS 89327 WITH SCORE 89433.112
AT ITER 127 NEW BEST:: SOT 139308 SOS 105800 HAS SOPS 105800 HAS SOUS 89015 HAS SOUPS 89015 WITH SCORE 89120.8
AT ITER 128 NEW BEST:: SOT 139251 SOS 105743 HAS SOPS 105743 HAS SOUS 89015 HAS SOUPS 89015 WITH SCORE 89120.743
AT ITER 134 NEW BEST:: SOT 139251 SOS 105731 HAS SOPS 105731 HAS SOUS 89015 HAS SOUPS 89015 WITH SCORE 89120.731
AT ITER 136 NEW BEST:: SOT 139132 SOS 105631 HAS SOPS 105631 HAS SOUS 88938 HAS SOUPS 88938 WITH SCORE 89043.631
AT ITER 142 NEW BEST:: SOT 139164 SOS 105432 HAS SOPS 105432 HAS SOUS 88739 HAS SOUPS 88739 WITH SCORE 88844.432
AT ITER 143 NEW BEST:: SOT 139164 SOS 105429 HAS SOPS 105429 HAS SOUS 88737 HAS SOUPS 88737 WITH SCORE 88842.429
AT ITER 147 NEW BEST:: SOT 139164 SOS 105291 HAS SOPS 105291 HAS SOUS 88735 HAS SOUPS 88735 WITH SCORE 88840.291
AT ITER 151 NEW BEST:: SOT 138907 SOS 105034 HAS SOPS 105034 HAS SOUS 88477 HAS SOUPS 88477 WITH SCORE 88582.034
AT ITER 154 NEW BEST:: SOT 138874 SOS 105042 HAS SOPS 105042 HAS SOUS 88411 HAS SOUPS 88411 WITH SCORE 88516.042
AT ITER 156 NEW BEST:: SOT 138595 SOS 104763 HAS SOPS 104763 HAS SOUS 88130 HAS SOUPS 88130 WITH SCORE 88234.763
AT ITER 159 NEW BEST:: SOT 138489 SOS 104657 HAS SOPS 104657 HAS SOUS 88025 HAS SOUPS 88025 WITH SCORE 88129.657
AT ITER 160 NEW BEST:: SOT 138489 SOS 104657 HAS SOPS 104657 HAS SOUS 88021 HAS SOUPS 88021 WITH SCORE 88125.657
AT ITER 161 NEW BEST:: SOT 138285 SOS 104453 HAS SOPS 104453 HAS SOUS 87808 HAS SOUPS 87808 WITH SCORE 87912.453
AT ITER 162 NEW BEST:: SOT 138155 SOS 104518 HAS SOPS 104518 HAS SOUS 87790 HAS SOUPS 87790 WITH SCORE 87894.518
AT ITER 164 NEW BEST:: SOT 138074 SOS 104435 HAS SOPS 104435 HAS SOUS 87709 HAS SOUPS 87709 WITH SCORE 87813.435
AT ITER 166 NEW BEST:: SOT 137729 SOS 104090 HAS SOPS 104090 HAS SOUS 87362 HAS SOUPS 87362 WITH SCORE 87466.09
AT ITER 171 NEW BEST:: SOT 137729 SOS 104110 HAS SOPS 104110 HAS SOUS 87337 HAS SOUPS 87337 WITH SCORE 87441.11
AT ITER 179 NEW BEST:: SOT 137615 SOS 103952 HAS SOPS 103952 HAS SOUS 87124 HAS SOUPS 87124 WITH SCORE 87227.952
AT ITER 180 NEW BEST:: SOT 137603 SOS 103940 HAS SOPS 103940 HAS SOUS 87112 HAS SOUPS 87112 WITH SCORE 87215.94
AT ITER 181 NEW BEST:: SOT 137592 SOS 103631 HAS SOPS 103631 HAS SOUS 87041 HAS SOUPS 87041 WITH SCORE 87144.631
AT ITER 182 NEW BEST:: SOT 137358 SOS 103397 HAS SOPS 103397 HAS SOUS 86627 HAS SOUPS 86627 WITH SCORE 86730.397
AT ITER 184 NEW BEST:: SOT 137358 SOS 103399 HAS SOPS 103399 HAS SOUS 86599 HAS SOUPS 86599 WITH SCORE 86702.399
AT ITER 186 NEW BEST:: SOT 137217 SOS 102894 HAS SOPS 102894 HAS SOUS 86179 HAS SOUPS 86179 WITH SCORE 86281.894
AT ITER 187 NEW BEST:: SOT 137211 SOS 102465 HAS SOPS 102465 HAS SOUS 85893 HAS SOUPS 85893 WITH SCORE 85995.465
AT ITER 190 NEW BEST:: SOT 137211 SOS 102427 HAS SOPS 102427 HAS SOUS 85893 HAS SOUPS 85893 WITH SCORE 85995.427
AT ITER 192 NEW BEST:: SOT 137053 SOS 101856 HAS SOPS 101856 HAS SOUS 85607 HAS SOUPS 85607 WITH SCORE 85708.856
AT ITER 194 NEW BEST:: SOT 136919 SOS 101262 HAS SOPS 101262 HAS SOUS 85346 HAS SOUPS 85346 WITH SCORE 85447.262
AT ITER 195 NEW BEST:: SOT 136919 SOS 100753 HAS SOPS 100753 HAS SOUS 85316 HAS SOUPS 85316 WITH SCORE 85416.753
AT ITER 198 NEW BEST:: SOT 136442 SOS 99206 HAS SOPS 99206 HAS SOUS 84495 HAS SOUPS 84495 WITH SCORE 84594.206
AT ITER 203 NEW BEST:: SOT 136442 SOS 99064 HAS SOPS 99064 HAS SOUS 84424 HAS SOUPS 84424 WITH SCORE 84523.064
AT ITER 205 NEW BEST:: SOT 135810 SOS 98190 HAS SOPS 98190 HAS SOUS 83587 HAS SOUPS 83587 WITH SCORE 83685.19
AT ITER 206 NEW BEST:: SOT 135660 SOS 97880 HAS SOPS 97880 HAS SOUS 83285 HAS SOUPS 83285 WITH SCORE 83382.88
AT ITER 212 NEW BEST:: SOT 135552 SOS 97718 HAS SOPS 97718 HAS SOUS 83123 HAS SOUPS 83123 WITH SCORE 83220.718
AT ITER 213 NEW BEST:: SOT 135819 SOS 97096 HAS SOPS 97096 HAS SOUS 82902 HAS SOUPS 82902 WITH SCORE 82999.096
AT ITER 217 NEW BEST:: SOT 135641 SOS 96918 HAS SOPS 96918 HAS SOUS 82715 HAS SOUPS 82715 WITH SCORE 82811.918
AT ITER 218 NEW BEST:: SOT 135641 SOS 96288 HAS SOPS 96288 HAS SOUS 82668 HAS SOUPS 82668 WITH SCORE 82764.288
AT ITER 221 NEW BEST:: SOT 135419 SOS 96066 HAS SOPS 96066 HAS SOUS 82446 HAS SOUPS 82446 WITH SCORE 82542.066
AT ITER 222 NEW BEST:: SOT 135324 SOS 95669 HAS SOPS 95669 HAS SOUS 82264 HAS SOUPS 82264 WITH SCORE 82359.669
AT ITER 225 NEW BEST:: SOT 135324 SOS 95617 HAS SOPS 95617 HAS SOUS 82229 HAS SOUPS 82229 WITH SCORE 82324.617
AT ITER 231 NEW BEST:: SOT 135287 SOS 95327 HAS SOPS 95327 HAS SOUS 82111 HAS SOUPS 82111 WITH SCORE 82206.327
AT ITER 232 NEW BEST:: SOT 135287 SOS 94945 HAS SOPS 94945 HAS SOUS 82105 HAS SOUPS 82105 WITH SCORE 82199.945
AT ITER 235 NEW BEST:: SOT 135287 SOS 94935 HAS SOPS 94935 HAS SOUS 82105 HAS SOUPS 82105 WITH SCORE 82199.935
AT ITER 242 NEW BEST:: SOT 135160 SOS 94808 HAS SOPS 94808 HAS SOUS 81978 HAS SOUPS 81978 WITH SCORE 82072.808
AT ITER 251 NEW BEST:: SOT 134885 SOS 94533 HAS SOPS 94533 HAS SOUS 81840 HAS SOUPS 81840 WITH SCORE 81934.533
AT ITER 252 NEW BEST:: SOT 134577 SOS 94225 HAS SOPS 94225 HAS SOUS 81530 HAS SOUPS 81530 WITH SCORE 81624.225
AT ITER 253 NEW BEST:: SOT 134552 SOS 94100 HAS SOPS 94100 HAS SOUS 81480 HAS SOUPS 81480 WITH SCORE 81574.1
AT ITER 254 NEW BEST:: SOT 134552 SOS 93437 HAS SOPS 93437 HAS SOUS 81270 HAS SOUPS 81270 WITH SCORE 81363.437
AT ITER 256 NEW BEST:: SOT 134514 SOS 93380 HAS SOPS 93380 HAS SOUS 81213 HAS SOUPS 81213 WITH SCORE 81306.38
AT ITER 262 NEW BEST:: SOT 134409 SOS 93275 HAS SOPS 93275 HAS SOUS 81091 HAS SOUPS 81091 WITH SCORE 81184.275
AT ITER 265 NEW BEST:: SOT 134193 SOS 92750 HAS SOPS 92750 HAS SOUS 80590 HAS SOUPS 80590 WITH SCORE 80682.75
AT ITER 266 NEW BEST:: SOT 134058 SOS 92615 HAS SOPS 92615 HAS SOUS 80455 HAS SOUPS 80455 WITH SCORE 80547.615
AT ITER 269 NEW BEST:: SOT 133548 SOS 92105 HAS SOPS 92105 HAS SOUS 79943 HAS SOUPS 79943 WITH SCORE 80035.105
AT ITER 270 NEW BEST:: SOT 133537 SOS 92054 HAS SOPS 92054 HAS SOUS 79892 HAS SOUPS 79892 WITH SCORE 79984.054
AT ITER 272 NEW BEST:: SOT 133217 SOS 91704 HAS SOPS 91704 HAS SOUS 79438 HAS SOUPS 79438 WITH SCORE 79529.704
AT ITER 275 NEW BEST:: SOT 133045 SOS 91446 HAS SOPS 91446 HAS SOUS 79150 HAS SOUPS 79150 WITH SCORE 79241.446
AT ITER 278 NEW BEST:: SOT 132907 SOS 91308 HAS SOPS 91308 HAS SOUS 79012 HAS SOUPS 79012 WITH SCORE 79103.308
AT ITER 283 NEW BEST:: SOT 132625 SOS 91026 HAS SOPS 91026 HAS SOUS 78802 HAS SOUPS 78802 WITH SCORE 78893.026
AT ITER 284 NEW BEST:: SOT 132451 SOS 90713 HAS SOPS 90713 HAS SOUS 78489 HAS SOUPS 78489 WITH SCORE 78579.713
AT ITER 285 NEW BEST:: SOT 132464 SOS 90360 HAS SOPS 90360 HAS SOUS 78407 HAS SOUPS 78407 WITH SCORE 78497.36
AT ITER 294 NEW BEST:: SOT 132282 SOS 90225 HAS SOPS 90225 HAS SOUS 78272 HAS SOUPS 78272 WITH SCORE 78362.225
AT ITER 297 NEW BEST:: SOT 132282 SOS 89898 HAS SOPS 89898 HAS SOUS 78271 HAS SOUPS 78271 WITH SCORE 78360.898
AT ITER 298 NEW BEST:: SOT 132189 SOS 89805 HAS SOPS 89805 HAS SOUS 78178 HAS SOUPS 78178 WITH SCORE 78267.805
AT ITER 300 NEW BEST:: SOT 131662 SOS 89278 HAS SOPS 89278 HAS SOUS 77847 HAS SOUPS 77847 WITH SCORE 77936.278
AT ITER 304 NEW BEST:: SOT 131403 SOS 89030 HAS SOPS 89030 HAS SOUS 77641 HAS SOUPS 77641 WITH SCORE 77730.03
AT ITER 308 NEW BEST:: SOT 131403 SOS 88786 HAS SOPS 88786 HAS SOUS 77519 HAS SOUPS 77519 WITH SCORE 77607.786
AT ITER 316 NEW BEST:: SOT 131530 SOS 88360 HAS SOPS 88360 HAS SOUS 77455 HAS SOUPS 77455 WITH SCORE 77543.36
AT ITER 318 NEW BEST:: SOT 131530 SOS 88262 HAS SOPS 88262 HAS SOUS 77455 HAS SOUPS 77455 WITH SCORE 77543.262
AT ITER 319 NEW BEST:: SOT 131521 SOS 88253 HAS SOPS 88253 HAS SOUS 77446 HAS SOUPS 77446 WITH SCORE 77534.253
AT ITER 322 NEW BEST:: SOT 131521 SOS 88107 HAS SOPS 88107 HAS SOUS 77446 HAS SOUPS 77446 WITH SCORE 77534.107
AT ITER 324 NEW BEST:: SOT 131475 SOS 88061 HAS SOPS 88061 HAS SOUS 77400 HAS SOUPS 77400 WITH SCORE 77488.061
AT ITER 333 NEW BEST:: SOT 131399 SOS 87757 HAS SOPS 87757 HAS SOUS 77248 HAS SOUPS 77248 WITH SCORE 77335.757
AT ITER 337 NEW BEST:: SOT 131372 SOS 87316 HAS SOPS 87316 HAS SOUS 77094 HAS SOUPS 77094 WITH SCORE 77181.316
AT ITER 338 NEW BEST:: SOT 131292 SOS 87196 HAS SOPS 87196 HAS SOUS 76974 HAS SOUPS 76974 WITH SCORE 77061.196
AT ITER 339 NEW BEST:: SOT 131166 SOS 87070 HAS SOPS 87070 HAS SOUS 76722 HAS SOUPS 76722 WITH SCORE 76809.07
AT ITER 342 NEW BEST:: SOT 130993 SOS 86895 HAS SOPS 86895 HAS SOUS 76546 HAS SOUPS 76546 WITH SCORE 76632.895
AT ITER 349 NEW BEST:: SOT 130909 SOS 86783 HAS SOPS 86783 HAS SOUS 76434 HAS SOUPS 76434 WITH SCORE 76520.783
AT ITER 350 NEW BEST:: SOT 130866 SOS 86740 HAS SOPS 86740 HAS SOUS 76391 HAS SOUPS 76391 WITH SCORE 76477.74
AT ITER 361 NEW BEST:: SOT 130689 SOS 86563 HAS SOPS 86563 HAS SOUS 76155 HAS SOUPS 76155 WITH SCORE 76241.563
AT ITER 366 NEW BEST:: SOT 130689 SOS 86563 HAS SOPS 86563 HAS SOUS 76154 HAS SOUPS 76154 WITH SCORE 76240.563
AT ITER 372 NEW BEST:: SOT 130651 SOS 86537 HAS SOPS 86537 HAS SOUS 76128 HAS SOUPS 76128 WITH SCORE 76214.537
AT ITER 386 NEW BEST:: SOT 130610 SOS 86474 HAS SOPS 86474 HAS SOUS 76065 HAS SOUPS 76065 WITH SCORE 76151.474
AT ITER 387 NEW BEST:: SOT 130018 SOS 85838 HAS SOPS 85838 HAS SOUS 75525 HAS SOUPS 75525 WITH SCORE 75610.838
AT ITER 390 NEW BEST:: SOT 129982 SOS 85755 HAS SOPS 85755 HAS SOUS 75442 HAS SOUPS 75442 WITH SCORE 75527.755
AT ITER 393 NEW BEST:: SOT 129956 SOS 85539 HAS SOPS 85539 HAS SOUS 75354 HAS SOUPS 75354 WITH SCORE 75439.539
AT ITER 398 NEW BEST:: SOT 129885 SOS 85467 HAS SOPS 85467 HAS SOUS 75282 HAS SOUPS 75282 WITH SCORE 75367.467
AT ITER 399 NEW BEST:: SOT 129747 SOS 85240 HAS SOPS 85240 HAS SOUS 75072 HAS SOUPS 75072 WITH SCORE 75157.24
AT ITER 400 NEW BEST:: SOT 129341 SOS 84027 HAS SOPS 84027 HAS SOUS 74360 HAS SOUPS 74360 WITH SCORE 74444.027
AT ITER 401 NEW BEST:: SOT 129194 SOS 83880 HAS SOPS 83880 HAS SOUS 74213 HAS SOUPS 74213 WITH SCORE 74296.88
AT ITER 402 NEW BEST:: SOT 129169 SOS 83743 HAS SOPS 83743 HAS SOUS 74076 HAS SOUPS 74076 WITH SCORE 74159.743
AT ITER 403 NEW BEST:: SOT 129085 SOS 83034 HAS SOPS 83034 HAS SOUS 74002 HAS SOUPS 74002 WITH SCORE 74085.034
AT ITER 405 NEW BEST:: SOT 129027 SOS 82976 HAS SOPS 82976 HAS SOUS 73915 HAS SOUPS 73915 WITH SCORE 73997.976
AT ITER 406 NEW BEST:: SOT 129013 SOS 82962 HAS SOPS 82962 HAS SOUS 73901 HAS SOUPS 73901 WITH SCORE 73983.962
AT ITER 407 NEW BEST:: SOT 128948 SOS 82897 HAS SOPS 82897 HAS SOUS 73836 HAS SOUPS 73836 WITH SCORE 73918.897
AT ITER 408 NEW BEST:: SOT 128948 SOS 82895 HAS SOPS 82895 HAS SOUS 73836 HAS SOUPS 73836 WITH SCORE 73918.895
AT ITER 409 NEW BEST:: SOT 128898 SOS 82928 HAS SOPS 82928 HAS SOUS 73780 HAS SOUPS 73780 WITH SCORE 73862.928
AT ITER 410 NEW BEST:: SOT 128898 SOS 82932 HAS SOPS 82932 HAS SOUS 73674 HAS SOUPS 73674 WITH SCORE 73756.932
AT ITER 411 NEW BEST:: SOT 128660 SOS 82694 HAS SOPS 82694 HAS SOUS 73436 HAS SOUPS 73436 WITH SCORE 73518.694
AT ITER 412 NEW BEST:: SOT 128406 SOS 82440 HAS SOPS 82440 HAS SOUS 73181 HAS SOUPS 73181 WITH SCORE 73263.44
AT ITER 415 NEW BEST:: SOT 128136 SOS 82170 HAS SOPS 82170 HAS SOUS 73057 HAS SOUPS 73057 WITH SCORE 73139.17
AT ITER 416 NEW BEST:: SOT 127958 SOS 81940 HAS SOPS 81940 HAS SOUS 72827 HAS SOUPS 72827 WITH SCORE 72908.94
AT ITER 418 NEW BEST:: SOT 127890 SOS 81872 HAS SOPS 81872 HAS SOUS 72759 HAS SOUPS 72759 WITH SCORE 72840.872
AT ITER 419 NEW BEST:: SOT 127793 SOS 81751 HAS SOPS 81751 HAS SOUS 72638 HAS SOUPS 72638 WITH SCORE 72719.751
AT ITER 420 NEW BEST:: SOT 127790 SOS 81748 HAS SOPS 81748 HAS SOUS 72635 HAS SOUPS 72635 WITH SCORE 72716.748
AT ITER 423 NEW BEST:: SOT 127683 SOS 81039 HAS SOPS 81039 HAS SOUS 72180 HAS SOUPS 72180 WITH SCORE 72261.039
AT ITER 427 NEW BEST:: SOT 127683 SOS 80828 HAS SOPS 80828 HAS SOUS 72111 HAS SOUPS 72111 WITH SCORE 72191.828
AT ITER 428 NEW BEST:: SOT 127683 SOS 80965 HAS SOPS 80965 HAS SOUS 72108 HAS SOUPS 72108 WITH SCORE 72188.965
AT ITER 436 NEW BEST:: SOT 127652 SOS 80934 HAS SOPS 80934 HAS SOUS 72077 HAS SOUPS 72077 WITH SCORE 72157.934
AT ITER 437 NEW BEST:: SOT 127495 SOS 80777 HAS SOPS 80777 HAS SOUS 71908 HAS SOUPS 71908 WITH SCORE 71988.777
AT ITER 438 NEW BEST:: SOT 127495 SOS 80767 HAS SOPS 80767 HAS SOUS 71908 HAS SOUPS 71908 WITH SCORE 71988.767
AT ITER 442 NEW BEST:: SOT 127495 SOS 80727 HAS SOPS 80727 HAS SOUS 71908 HAS SOUPS 71908 WITH SCORE 71988.727
AT ITER 443 NEW BEST:: SOT 127437 SOS 80669 HAS SOPS 80669 HAS SOUS 71850 HAS SOUPS 71850 WITH SCORE 71930.669
AT ITER 450 NEW BEST:: SOT 127451 SOS 80672 HAS SOPS 80672 HAS SOUS 71844 HAS SOUPS 71844 WITH SCORE 71924.672
AT ITER 451 NEW BEST:: SOT 127304 SOS 80381 HAS SOPS 80381 HAS SOUS 71676 HAS SOUPS 71676 WITH SCORE 71756.381
AT ITER 460 NEW BEST:: SOT 127300 SOS 80407 HAS SOPS 80407 HAS SOUS 71672 HAS SOUPS 71672 WITH SCORE 71752.407
AT ITER 471 NEW BEST:: SOT 127276 SOS 80383 HAS SOPS 80383 HAS SOUS 71628 HAS SOUPS 71628 WITH SCORE 71708.383
AT ITER 472 NEW BEST:: SOT 127226 SOS 80283 HAS SOPS 80283 HAS SOUS 71528 HAS SOUPS 71528 WITH SCORE 71608.283
AT ITER 479 NEW BEST:: SOT 127226 SOS 80050 HAS SOPS 80050 HAS SOUS 71528 HAS SOUPS 71528 WITH SCORE 71608.05
AT ITER 482 NEW BEST:: SOT 127226 SOS 79817 HAS SOPS 79817 HAS SOUS 71484 HAS SOUPS 71484 WITH SCORE 71563.817
AT ITER 485 NEW BEST:: SOT 127187 SOS 79778 HAS SOPS 79778 HAS SOUS 71445 HAS SOUPS 71445 WITH SCORE 71524.778
AT ITER 490 NEW BEST:: SOT 127140 SOS 79731 HAS SOPS 79731 HAS SOUS 71387 HAS SOUPS 71387 WITH SCORE 71466.731
AT ITER 492 NEW BEST:: SOT 127115 SOS 78984 HAS SOPS 78984 HAS SOUS 71044 HAS SOUPS 71044 WITH SCORE 71122.984
AT ITER 493 NEW BEST:: SOT 127104 SOS 78953 HAS SOPS 78953 HAS SOUS 71022 HAS SOUPS 71022 WITH SCORE 71100.953
AT ITER 499 NEW BEST:: SOT 127104 SOS 78603 HAS SOPS 78603 HAS SOUS 70889 HAS SOUPS 70889 WITH SCORE 70967.603
AT ITER 500 NEW BEST:: SOT 126982 SOS 78481 HAS SOPS 78481 HAS SOUS 70748 HAS SOUPS 70748 WITH SCORE 70826.481
AT ITER 501 NEW BEST:: SOT 126982 SOS 78473 HAS SOPS 78473 HAS SOUS 70746 HAS SOUPS 70746 WITH SCORE 70824.473
AT ITER 502 NEW BEST:: SOT 126740 SOS 78205 HAS SOPS 78205 HAS SOUS 70451 HAS SOUPS 70451 WITH SCORE 70529.205
AT ITER 506 NEW BEST:: SOT 126740 SOS 77883 HAS SOPS 77883 HAS SOUS 70279 HAS SOUPS 70279 WITH SCORE 70356.883
AT ITER 514 NEW BEST:: SOT 126740 SOS 77883 HAS SOPS 77883 HAS SOUS 70223 HAS SOUPS 70223 WITH SCORE 70300.883
AT ITER 521 NEW BEST:: SOT 126657 SOS 77598 HAS SOPS 77598 HAS SOUS 69957 HAS SOUPS 69957 WITH SCORE 70034.598
AT ITER 524 NEW BEST:: SOT 126463 SOS 77404 HAS SOPS 77404 HAS SOUS 69756 HAS SOUPS 69756 WITH SCORE 69833.404
AT ITER 526 NEW BEST:: SOT 126440 SOS 77381 HAS SOPS 77381 HAS SOUS 69733 HAS SOUPS 69733 WITH SCORE 69810.381
AT ITER 528 NEW BEST:: SOT 126447 SOS 77365 HAS SOPS 77365 HAS SOUS 69717 HAS SOUPS 69717 WITH SCORE 69794.365
AT ITER 529 NEW BEST:: SOT 126386 SOS 76833 HAS SOPS 76833 HAS SOUS 69262 HAS SOUPS 69262 WITH SCORE 69338.833
AT ITER 535 NEW BEST:: SOT 126428 SOS 76912 HAS SOPS 76912 HAS SOUS 69252 HAS SOUPS 69252 WITH SCORE 69328.912
AT ITER 539 NEW BEST:: SOT 126237 SOS 76736 HAS SOPS 76736 HAS SOUS 69088 HAS SOUPS 69088 WITH SCORE 69164.736
AT ITER 542 NEW BEST:: SOT 126237 SOS 76601 HAS SOPS 76601 HAS SOUS 69037 HAS SOUPS 69037 WITH SCORE 69113.601
AT ITER 545 NEW BEST:: SOT 126212 SOS 76532 HAS SOPS 76532 HAS SOUS 68968 HAS SOUPS 68968 WITH SCORE 69044.532
AT ITER 548 NEW BEST:: SOT 126254 SOS 76695 HAS SOPS 76695 HAS SOUS 68938 HAS SOUPS 68938 WITH SCORE 69014.695
AT ITER 551 NEW BEST:: SOT 126152 SOS 76562 HAS SOPS 76562 HAS SOUS 68734 HAS SOUPS 68734 WITH SCORE 68810.562
AT ITER 556 NEW BEST:: SOT 125932 SOS 76237 HAS SOPS 76237 HAS SOUS 68508 HAS SOUPS 68508 WITH SCORE 68584.237
AT ITER 562 NEW BEST:: SOT 125698 SOS 76003 HAS SOPS 76003 HAS SOUS 68224 HAS SOUPS 68224 WITH SCORE 68300.003
AT ITER 568 NEW BEST:: SOT 125682 SOS 75955 HAS SOPS 75955 HAS SOUS 68188 HAS SOUPS 68188 WITH SCORE 68263.955
AT ITER 569 NEW BEST:: SOT 125374 SOS 75637 HAS SOPS 75637 HAS SOUS 67964 HAS SOUPS 67964 WITH SCORE 68039.637
AT ITER 572 NEW BEST:: SOT 125362 SOS 75625 HAS SOPS 75625 HAS SOUS 67952 HAS SOUPS 67952 WITH SCORE 68027.625
AT ITER 576 NEW BEST:: SOT 125330 SOS 75580 HAS SOPS 75580 HAS SOUS 67907 HAS SOUPS 67907 WITH SCORE 67982.58
AT ITER 578 NEW BEST:: SOT 125288 SOS 75538 HAS SOPS 75538 HAS SOUS 67865 HAS SOUPS 67865 WITH SCORE 67940.538
AT ITER 579 NEW BEST:: SOT 125266 SOS 75480 HAS SOPS 75480 HAS SOUS 67825 HAS SOUPS 67825 WITH SCORE 67900.48
AT ITER 581 NEW BEST:: SOT 125031 SOS 75245 HAS SOPS 75245 HAS SOUS 67590 HAS SOUPS 67590 WITH SCORE 67665.245
AT ITER 585 NEW BEST:: SOT 125031 SOS 75139 HAS SOPS 75139 HAS SOUS 67511 HAS SOUPS 67511 WITH SCORE 67586.139
AT ITER 595 NEW BEST:: SOT 125031 SOS 74604 HAS SOPS 74604 HAS SOUS 67507 HAS SOUPS 67507 WITH SCORE 67581.604
AT ITER 596 NEW BEST:: SOT 124962 SOS 74336 HAS SOPS 74336 HAS SOUS 67374 HAS SOUPS 67374 WITH SCORE 67448.336
AT ITER 598 NEW BEST:: SOT 124942 SOS 74180 HAS SOPS 74180 HAS SOUS 67258 HAS SOUPS 67258 WITH SCORE 67332.18
AT ITER 599 NEW BEST:: SOT 124910 SOS 74132 HAS SOPS 74132 HAS SOUS 67210 HAS SOUPS 67210 WITH SCORE 67284.132
AT ITER 605 NEW BEST:: SOT 124898 SOS 74276 HAS SOPS 74276 HAS SOUS 67208 HAS SOUPS 67208 WITH SCORE 67282.276
AT ITER 606 NEW BEST:: SOT 124890 SOS 74268 HAS SOPS 74268 HAS SOUS 67200 HAS SOUPS 67200 WITH SCORE 67274.268
AT ITER 613 NEW BEST:: SOT 124730 SOS 73985 HAS SOPS 73985 HAS SOUS 66917 HAS SOUPS 66917 WITH SCORE 66990.985
AT ITER 623 NEW BEST:: SOT 124730 SOS 73976 HAS SOPS 73976 HAS SOUS 66908 HAS SOUPS 66908 WITH SCORE 66981.976
AT ITER 625 NEW BEST:: SOT 124469 SOS 73869 HAS SOPS 73869 HAS SOUS 66793 HAS SOUPS 66793 WITH SCORE 66866.869
AT ITER 631 NEW BEST:: SOT 124317 SOS 73821 HAS SOPS 73821 HAS SOUS 66735 HAS SOUPS 66735 WITH SCORE 66808.821
AT ITER 636 NEW BEST:: SOT 124274 SOS 73745 HAS SOPS 73745 HAS SOUS 66659 HAS SOUPS 66659 WITH SCORE 66732.745
AT ITER 638 NEW BEST:: SOT 124274 SOS 73683 HAS SOPS 73683 HAS SOUS 66597 HAS SOUPS 66597 WITH SCORE 66670.683
AT ITER 640 NEW BEST:: SOT 124247 SOS 73582 HAS SOPS 73582 HAS SOUS 66496 HAS SOUPS 66496 WITH SCORE 66569.582
AT ITER 641 NEW BEST:: SOT 124247 SOS 73582 HAS SOPS 73582 HAS SOUS 66493 HAS SOUPS 66493 WITH SCORE 66566.582
AT ITER 643 NEW BEST:: SOT 124113 SOS 73380 HAS SOPS 73380 HAS SOUS 66291 HAS SOUPS 66291 WITH SCORE 66364.38
AT ITER 644 NEW BEST:: SOT 123840 SOS 73409 HAS SOPS 73409 HAS SOUS 66280 HAS SOUPS 66280 WITH SCORE 66353.409
AT ITER 649 NEW BEST:: SOT 123681 SOS 73250 HAS SOPS 73250 HAS SOUS 66121 HAS SOUPS 66121 WITH SCORE 66194.25
AT ITER 657 NEW BEST:: SOT 123681 SOS 73017 HAS SOPS 73017 HAS SOUS 66119 HAS SOUPS 66119 WITH SCORE 66192.017
AT ITER 658 NEW BEST:: SOT 123749 SOS 72933 HAS SOPS 72933 HAS SOUS 66063 HAS SOUPS 66063 WITH SCORE 66135.933
AT ITER 659 NEW BEST:: SOT 123772 SOS 72906 HAS SOPS 72906 HAS SOUS 66036 HAS SOUPS 66036 WITH SCORE 66108.906
AT ITER 662 NEW BEST:: SOT 123608 SOS 72846 HAS SOPS 72846 HAS SOUS 65728 HAS SOUPS 65728 WITH SCORE 65800.846
AT ITER 663 NEW BEST:: SOT 123371 SOS 72436 HAS SOPS 72436 HAS SOUS 65598 HAS SOUPS 65598 WITH SCORE 65670.436
AT ITER 664 NEW BEST:: SOT 123371 SOS 72390 HAS SOPS 72390 HAS SOUS 65598 HAS SOUPS 65598 WITH SCORE 65670.39
AT ITER 666 NEW BEST:: SOT 123072 SOS 71727 HAS SOPS 71727 HAS SOUS 65334 HAS SOUPS 65334 WITH SCORE 65405.727
AT ITER 674 NEW BEST:: SOT 123033 SOS 71711 HAS SOPS 71711 HAS SOUS 65318 HAS SOUPS 65318 WITH SCORE 65389.711
AT ITER 675 NEW BEST:: SOT 123005 SOS 71638 HAS SOPS 71638 HAS SOUS 65245 HAS SOUPS 65245 WITH SCORE 65316.638
AT ITER 677 NEW BEST:: SOT 122895 SOS 71514 HAS SOPS 71514 HAS SOUS 64987 HAS SOUPS 64987 WITH SCORE 65058.514
AT ITER 685 NEW BEST:: SOT 122895 SOS 71506 HAS SOPS 71506 HAS SOUS 64987 HAS SOUPS 64987 WITH SCORE 65058.506
AT ITER 689 NEW BEST:: SOT 122895 SOS 71500 HAS SOPS 71500 HAS SOUS 64981 HAS SOUPS 64981 WITH SCORE 65052.5
AT ITER 694 NEW BEST:: SOT 122885 SOS 71490 HAS SOPS 71490 HAS SOUS 64971 HAS SOUPS 64971 WITH SCORE 65042.49
AT ITER 695 NEW BEST:: SOT 122898 SOS 71503 HAS SOPS 71503 HAS SOUS 64966 HAS SOUPS 64966 WITH SCORE 65037.503
AT ITER 698 NEW BEST:: SOT 122898 SOS 71392 HAS SOPS 71392 HAS SOUS 64855 HAS SOUPS 64855 WITH SCORE 64926.392
AT ITER 701 NEW BEST:: SOT 122853 SOS 71308 HAS SOPS 71308 HAS SOUS 64771 HAS SOUPS 64771 WITH SCORE 64842.308
AT ITER 705 NEW BEST:: SOT 122530 SOS 70771 HAS SOPS 70771 HAS SOUS 64232 HAS SOUPS 64232 WITH SCORE 64302.771
AT ITER 706 NEW BEST:: SOT 122199 SOS 70377 HAS SOPS 70377 HAS SOUS 63896 HAS SOUPS 63896 WITH SCORE 63966.377
AT ITER 711 NEW BEST:: SOT 122182 SOS 70360 HAS SOPS 70360 HAS SOUS 63879 HAS SOUPS 63879 WITH SCORE 63949.36
AT ITER 713 NEW BEST:: SOT 122280 SOS 70248 HAS SOPS 70248 HAS SOUS 63767 HAS SOUPS 63767 WITH SCORE 63837.248
AT ITER 715 NEW BEST:: SOT 122271 SOS 70239 HAS SOPS 70239 HAS SOUS 63758 HAS SOUPS 63758 WITH SCORE 63828.239
AT ITER 716 NEW BEST:: SOT 122161 SOS 70107 HAS SOPS 70107 HAS SOUS 63736 HAS SOUPS 63736 WITH SCORE 63806.107
AT ITER 719 NEW BEST:: SOT 122299 SOS 69900 HAS SOPS 69900 HAS SOUS 63726 HAS SOUPS 63726 WITH SCORE 63795.9
AT ITER 721 NEW BEST:: SOT 122042 SOS 69595 HAS SOPS 69595 HAS SOUS 63372 HAS SOUPS 63372 WITH SCORE 63441.595
AT ITER 723 NEW BEST:: SOT 122002 SOS 69663 HAS SOPS 69663 HAS SOUS 63359 HAS SOUPS 63359 WITH SCORE 63428.663
AT ITER 728 NEW BEST:: SOT 121968 SOS 69561 HAS SOPS 69561 HAS SOUS 63325 HAS SOUPS 63325 WITH SCORE 63394.561
AT ITER 730 NEW BEST:: SOT 121804 SOS 69396 HAS SOPS 69396 HAS SOUS 63160 HAS SOUPS 63160 WITH SCORE 63229.396
AT ITER 732 NEW BEST:: SOT 121727 SOS 69390 HAS SOPS 69390 HAS SOUS 63154 HAS SOUPS 63154 WITH SCORE 63223.39
AT ITER 736 NEW BEST:: SOT 121727 SOS 69381 HAS SOPS 69381 HAS SOUS 63152 HAS SOUPS 63152 WITH SCORE 63221.381
AT ITER 739 NEW BEST:: SOT 121724 SOS 69378 HAS SOPS 69378 HAS SOUS 63026 HAS SOUPS 63026 WITH SCORE 63095.378
AT ITER 744 NEW BEST:: SOT 121700 SOS 69354 HAS SOPS 69354 HAS SOUS 63002 HAS SOUPS 63002 WITH SCORE 63071.354
AT ITER 747 NEW BEST:: SOT 121740 SOS 69175 HAS SOPS 69175 HAS SOUS 62921 HAS SOUPS 62921 WITH SCORE 62990.175
AT ITER 762 NEW BEST:: SOT 121732 SOS 69154 HAS SOPS 69154 HAS SOUS 62887 HAS SOUPS 62887 WITH SCORE 62956.154
AT ITER 763 NEW BEST:: SOT 121620 SOS 69031 HAS SOPS 69031 HAS SOUS 62764 HAS SOUPS 62764 WITH SCORE 62833.031
AT ITER 766 NEW BEST:: SOT 121590 SOS 69001 HAS SOPS 69001 HAS SOUS 62734 HAS SOUPS 62734 WITH SCORE 62803.001
AT ITER 770 NEW BEST:: SOT 121499 SOS 68735 HAS SOPS 68735 HAS SOUS 62621 HAS SOUPS 62621 WITH SCORE 62689.735
AT ITER 774 NEW BEST:: SOT 121474 SOS 68710 HAS SOPS 68710 HAS SOUS 62596 HAS SOUPS 62596 WITH SCORE 62664.71
AT ITER 780 NEW BEST:: SOT 121438 SOS 68638 HAS SOPS 68638 HAS SOUS 62542 HAS SOUPS 62542 WITH SCORE 62610.638
AT ITER 795 NEW BEST:: SOT 121399 SOS 68594 HAS SOPS 68594 HAS SOUS 62469 HAS SOUPS 62469 WITH SCORE 62537.594
AT ITER 796 NEW BEST:: SOT 121399 SOS 68585 HAS SOPS 68585 HAS SOUS 62460 HAS SOUPS 62460 WITH SCORE 62528.585
AT ITER 798 NEW BEST:: SOT 121399 SOS 68583 HAS SOPS 68583 HAS SOUS 62458 HAS SOUPS 62458 WITH SCORE 62526.583
AT ITER 799 NEW BEST:: SOT 121398 SOS 68461 HAS SOPS 68461 HAS SOUS 62404 HAS SOUPS 62404 WITH SCORE 62472.461
AT ITER 802 NEW BEST:: SOT 121232 SOS 68230 HAS SOPS 68230 HAS SOUS 62173 HAS SOUPS 62173 WITH SCORE 62241.23
AT ITER 804 NEW BEST:: SOT 121036 SOS 68032 HAS SOPS 68032 HAS SOUS 61975 HAS SOUPS 61975 WITH SCORE 62043.032
AT ITER 807 NEW BEST:: SOT 121036 SOS 67929 HAS SOPS 67929 HAS SOUS 61872 HAS SOUPS 61872 WITH SCORE 61939.929
AT ITER 809 NEW BEST:: SOT 121005 SOS 67898 HAS SOPS 67898 HAS SOUS 61805 HAS SOUPS 61805 WITH SCORE 61872.898
AT ITER 813 NEW BEST:: SOT 120997 SOS 67890 HAS SOPS 67890 HAS SOUS 61797 HAS SOUPS 61797 WITH SCORE 61864.89
AT ITER 816 NEW BEST:: SOT 121028 SOS 67921 HAS SOPS 67921 HAS SOUS 61756 HAS SOUPS 61756 WITH SCORE 61823.921
AT ITER 818 NEW BEST:: SOT 121023 SOS 67911 HAS SOPS 67911 HAS SOUS 61746 HAS SOUPS 61746 WITH SCORE 61813.911
AT ITER 819 NEW BEST:: SOT 120966 SOS 67843 HAS SOPS 67843 HAS SOUS 61678 HAS SOUPS 61678 WITH SCORE 61745.843
AT ITER 822 NEW BEST:: SOT 120876 SOS 67706 HAS SOPS 67706 HAS SOUS 61502 HAS SOUPS 61502 WITH SCORE 61569.706
AT ITER 824 NEW BEST:: SOT 120836 SOS 67666 HAS SOPS 67666 HAS SOUS 61460 HAS SOUPS 61460 WITH SCORE 61527.666
AT ITER 829 NEW BEST:: SOT 120834 SOS 67664 HAS SOPS 67664 HAS SOUS 61458 HAS SOUPS 61458 WITH SCORE 61525.664
AT ITER 831 NEW BEST:: SOT 120813 SOS 67568 HAS SOPS 67568 HAS SOUS 61362 HAS SOUPS 61362 WITH SCORE 61429.568
AT ITER 832 NEW BEST:: SOT 120717 SOS 67461 HAS SOPS 67461 HAS SOUS 61255 HAS SOUPS 61255 WITH SCORE 61322.461
AT ITER 839 NEW BEST:: SOT 120726 SOS 67271 HAS SOPS 67271 HAS SOUS 61091 HAS SOUPS 61091 WITH SCORE 61158.271
AT ITER 848 NEW BEST:: SOT 120726 SOS 67260 HAS SOPS 67260 HAS SOUS 61080 HAS SOUPS 61080 WITH SCORE 61147.26
AT ITER 850 NEW BEST:: SOT 120575 SOS 67109 HAS SOPS 67109 HAS SOUS 60929 HAS SOUPS 60929 WITH SCORE 60996.109
AT ITER 854 NEW BEST:: SOT 120495 SOS 67029 HAS SOPS 67029 HAS SOUS 60849 HAS SOUPS 60849 WITH SCORE 60916.029
AT ITER 864 NEW BEST:: SOT 120429 SOS 67004 HAS SOPS 67004 HAS SOUS 60822 HAS SOUPS 60822 WITH SCORE 60889.004
AT ITER 866 NEW BEST:: SOT 120419 SOS 66984 HAS SOPS 66984 HAS SOUS 60802 HAS SOUPS 60802 WITH SCORE 60868.984
AT ITER 868 NEW BEST:: SOT 120455 SOS 66985 HAS SOPS 66985 HAS SOUS 60787 HAS SOUPS 60787 WITH SCORE 60853.985
AT ITER 872 NEW BEST:: SOT 120356 SOS 66970 HAS SOPS 66970 HAS SOUS 60772 HAS SOUPS 60772 WITH SCORE 60838.97
AT ITER 882 NEW BEST:: SOT 120276 SOS 66890 HAS SOPS 66890 HAS SOUS 60675 HAS SOUPS 60675 WITH SCORE 60741.89
AT ITER 888 NEW BEST:: SOT 120385 SOS 66875 HAS SOPS 66875 HAS SOUS 60574 HAS SOUPS 60574 WITH SCORE 60640.875
AT ITER 894 NEW BEST:: SOT 120354 SOS 66728 HAS SOPS 66728 HAS SOUS 60481 HAS SOUPS 60481 WITH SCORE 60547.728
AT ITER 901 NEW BEST:: SOT 120317 SOS 66628 HAS SOPS 66628 HAS SOUS 60381 HAS SOUPS 60381 WITH SCORE 60447.628
AT ITER 903 NEW BEST:: SOT 120291 SOS 66602 HAS SOPS 66602 HAS SOUS 60355 HAS SOUPS 60355 WITH SCORE 60421.602
AT ITER 906 NEW BEST:: SOT 120261 SOS 66572 HAS SOPS 66572 HAS SOUS 60324 HAS SOUPS 60324 WITH SCORE 60390.572
AT ITER 909 NEW BEST:: SOT 120109 SOS 66420 HAS SOPS 66420 HAS SOUS 60239 HAS SOUPS 60239 WITH SCORE 60305.42
AT ITER 912 NEW BEST:: SOT 120044 SOS 66355 HAS SOPS 66355 HAS SOUS 60174 HAS SOUPS 60174 WITH SCORE 60240.355
AT ITER 913 NEW BEST:: SOT 120092 SOS 66339 HAS SOPS 66339 HAS SOUS 60082 HAS SOUPS 60082 WITH SCORE 60148.339
AT ITER 916 NEW BEST:: SOT 120092 SOS 66334 HAS SOPS 66334 HAS SOUS 60080 HAS SOUPS 60080 WITH SCORE 60146.334
AT ITER 917 NEW BEST:: SOT 120080 SOS 66338 HAS SOPS 66338 HAS SOUS 60072 HAS SOUPS 60072 WITH SCORE 60138.338
AT ITER 918 NEW BEST:: SOT 120026 SOS 66291 HAS SOPS 66291 HAS SOUS 60025 HAS SOUPS 60025 WITH SCORE 60091.291
AT ITER 920 NEW BEST:: SOT 120026 SOS 66288 HAS SOPS 66288 HAS SOUS 60022 HAS SOUPS 60022 WITH SCORE 60088.288
AT ITER 924 NEW BEST:: SOT 120024 SOS 66286 HAS SOPS 66286 HAS SOUS 60020 HAS SOUPS 60020 WITH SCORE 60086.286
AT ITER 941 NEW BEST:: SOT 119900 SOS 66162 HAS SOPS 66162 HAS SOUS 59821 HAS SOUPS 59821 WITH SCORE 59887.162
AT ITER 942 NEW BEST:: SOT 119808 SOS 66001 HAS SOPS 66001 HAS SOUS 59683 HAS SOUPS 59683 WITH SCORE 59749.001
AT ITER 952 NEW BEST:: SOT 119738 SOS 65905 HAS SOPS 65905 HAS SOUS 59562 HAS SOUPS 59562 WITH SCORE 59627.905
AT ITER 957 NEW BEST:: SOT 119733 SOS 65905 HAS SOPS 65905 HAS SOUS 59557 HAS SOUPS 59557 WITH SCORE 59622.905
AT ITER 964 NEW BEST:: SOT 119614 SOS 65374 HAS SOPS 65374 HAS SOUS 59253 HAS SOUPS 59253 WITH SCORE 59318.374
AT ITER 967 NEW BEST:: SOT 119614 SOS 65330 HAS SOPS 65330 HAS SOUS 59209 HAS SOUPS 59209 WITH SCORE 59274.33
AT ITER 969 NEW BEST:: SOT 119386 SOS 64918 HAS SOPS 64918 HAS SOUS 58927 HAS SOUPS 58927 WITH SCORE 58991.918
AT ITER 973 NEW BEST:: SOT 119370 SOS 64870 HAS SOPS 64870 HAS SOUS 58879 HAS SOUPS 58879 WITH SCORE 58943.87
AT ITER 974 NEW BEST:: SOT 119282 SOS 64782 HAS SOPS 64782 HAS SOUS 58763 HAS SOUPS 58763 WITH SCORE 58827.782
AT ITER 978 NEW BEST:: SOT 119091 SOS 64508 HAS SOPS 64508 HAS SOUS 58489 HAS SOUPS 58489 WITH SCORE 58553.508
AT ITER 979 NEW BEST:: SOT 119073 SOS 64438 HAS SOPS 64438 HAS SOUS 58453 HAS SOUPS 58453 WITH SCORE 58517.438
AT ITER 986 NEW BEST:: SOT 119020 SOS 64302 HAS SOPS 64302 HAS SOUS 58340 HAS SOUPS 58340 WITH SCORE 58404.302
AT ITER 987 NEW BEST:: SOT 119013 SOS 64290 HAS SOPS 64290 HAS SOUS 58326 HAS SOUPS 58326 WITH SCORE 58390.29
AT ITER 992 NEW BEST:: SOT 118986 SOS 64236 HAS SOPS 64236 HAS SOUS 58304 HAS SOUPS 58304 WITH SCORE 58368.236
AT ITER 993 NEW BEST:: SOT 119037 SOS 64141 HAS SOPS 64141 HAS SOUS 58198 HAS SOUPS 58198 WITH SCORE 58262.141
AT ITER 994 NEW BEST:: SOT 119037 SOS 64111 HAS SOPS 64111 HAS SOUS 58198 HAS SOUPS 58198 WITH SCORE 58262.111
AT ITER 997 NEW BEST:: SOT 119004 SOS 63879 HAS SOPS 63879 HAS SOUS 58130 HAS SOUPS 58130 WITH SCORE 58193.879
AT ITER 1014 NEW BEST:: SOT 118993 SOS 63791 HAS SOPS 63791 HAS SOUS 58097 HAS SOUPS 58097 WITH SCORE 58160.791
AT ITER 1016 NEW BEST:: SOT 118882 SOS 63698 HAS SOPS 63698 HAS SOUS 58004 HAS SOUPS 58004 WITH SCORE 58067.698
AT ITER 1036 NEW BEST:: SOT 118866 SOS 63578 HAS SOPS 63578 HAS SOUS 57863 HAS SOUPS 57863 WITH SCORE 57926.578
AT ITER 1044 NEW BEST:: SOT 118690 SOS 63213 HAS SOPS 63213 HAS SOUS 57464 HAS SOUPS 57464 WITH SCORE 57527.213
AT ITER 1062 NEW BEST:: SOT 118690 SOS 63093 HAS SOPS 63093 HAS SOUS 57404 HAS SOUPS 57404 WITH SCORE 57467.093
AT ITER 1063 NEW BEST:: SOT 118688 SOS 63089 HAS SOPS 63089 HAS SOUS 57400 HAS SOUPS 57400 WITH SCORE 57463.089
AT ITER 1070 NEW BEST:: SOT 118674 SOS 62804 HAS SOPS 62804 HAS SOUS 57222 HAS SOUPS 57222 WITH SCORE 57284.804
AT ITER 1074 NEW BEST:: SOT 118558 SOS 62795 HAS SOPS 62795 HAS SOUS 57138 HAS SOUPS 57138 WITH SCORE 57200.795
AT ITER 1076 NEW BEST:: SOT 118260 SOS 63000 HAS SOPS 63000 HAS SOUS 57013 HAS SOUPS 57013 WITH SCORE 57076.0
AT ITER 1080 NEW BEST:: SOT 118257 SOS 62985 HAS SOPS 62985 HAS SOUS 57007 HAS SOUPS 57007 WITH SCORE 57069.985
AT ITER 1083 NEW BEST:: SOT 118257 SOS 62973 HAS SOPS 62973 HAS SOUS 56995 HAS SOUPS 56995 WITH SCORE 57057.973
AT ITER 1086 NEW BEST:: SOT 118257 SOS 62971 HAS SOPS 62971 HAS SOUS 56993 HAS SOUPS 56993 WITH SCORE 57055.971
AT ITER 1089 NEW BEST:: SOT 118257 SOS 62507 HAS SOPS 62507 HAS SOUS 56859 HAS SOUPS 56859 WITH SCORE 56921.507
AT ITER 1091 NEW BEST:: SOT 118204 SOS 62454 HAS SOPS 62454 HAS SOUS 56806 HAS SOUPS 56806 WITH SCORE 56868.454
AT ITER 1099 NEW BEST:: SOT 118204 SOS 62446 HAS SOPS 62446 HAS SOUS 56801 HAS SOUPS 56801 WITH SCORE 56863.446
AT ITER 1118 NEW BEST:: SOT 118033 SOS 62147 HAS SOPS 62147 HAS SOUS 56502 HAS SOUPS 56502 WITH SCORE 56564.147
AT ITER 1121 NEW BEST:: SOT 118033 SOS 62133 HAS SOPS 62133 HAS SOUS 56488 HAS SOUPS 56488 WITH SCORE 56550.133
AT ITER 1130 NEW BEST:: SOT 117982 SOS 61764 HAS SOPS 61764 HAS SOUS 56294 HAS SOUPS 56294 WITH SCORE 56355.764
AT ITER 1141 NEW BEST:: SOT 118078 SOS 61766 HAS SOPS 61766 HAS SOUS 56223 HAS SOUPS 56223 WITH SCORE 56284.766
AT ITER 1147 NEW BEST:: SOT 117894 SOS 61282 HAS SOPS 61282 HAS SOUS 55795 HAS SOUPS 55795 WITH SCORE 55856.282
AT ITER 1148 NEW BEST:: SOT 117822 SOS 61240 HAS SOPS 61240 HAS SOUS 55753 HAS SOUPS 55753 WITH SCORE 55814.24
AT ITER 1156 NEW BEST:: SOT 117774 SOS 61111 HAS SOPS 61111 HAS SOUS 55634 HAS SOUPS 55634 WITH SCORE 55695.111
AT ITER 1161 NEW BEST:: SOT 117715 SOS 61008 HAS SOPS 61008 HAS SOUS 55464 HAS SOUPS 55464 WITH SCORE 55525.008
AT ITER 1162 NEW BEST:: SOT 117715 SOS 61008 HAS SOPS 61008 HAS SOUS 55459 HAS SOUPS 55459 WITH SCORE 55520.008
AT ITER 1169 NEW BEST:: SOT 117697 SOS 60972 HAS SOPS 60972 HAS SOUS 55433 HAS SOUPS 55433 WITH SCORE 55493.972
AT ITER 1172 NEW BEST:: SOT 117697 SOS 60864 HAS SOPS 60864 HAS SOUS 55369 HAS SOUPS 55369 WITH SCORE 55429.864
AT ITER 1184 NEW BEST:: SOT 117697 SOS 60730 HAS SOPS 60730 HAS SOUS 55203 HAS SOUPS 55203 WITH SCORE 55263.73
AT ITER 1192 NEW BEST:: SOT 117662 SOS 60659 HAS SOPS 60659 HAS SOUS 55132 HAS SOUPS 55132 WITH SCORE 55192.659
AT ITER 1200 NEW BEST:: SOT 117662 SOS 60648 HAS SOPS 60648 HAS SOUS 55132 HAS SOUPS 55132 WITH SCORE 55192.648
AT ITER 1201 NEW BEST:: SOT 117662 SOS 60524 HAS SOPS 60524 HAS SOUS 55070 HAS SOUPS 55070 WITH SCORE 55130.524
AT ITER 1211 NEW BEST:: SOT 117650 SOS 60512 HAS SOPS 60512 HAS SOUS 55058 HAS SOUPS 55058 WITH SCORE 55118.512
AT ITER 1220 NEW BEST:: SOT 117565 SOS 60339 HAS SOPS 60339 HAS SOUS 55000 HAS SOUPS 55000 WITH SCORE 55060.339
AT ITER 1231 NEW BEST:: SOT 117541 SOS 60321 HAS SOPS 60321 HAS SOUS 54995 HAS SOUPS 54995 WITH SCORE 55055.321
AT ITER 1232 NEW BEST:: SOT 117469 SOS 60249 HAS SOPS 60249 HAS SOUS 54988 HAS SOUPS 54988 WITH SCORE 55048.249
AT ITER 1236 NEW BEST:: SOT 117318 SOS 60206 HAS SOPS 60206 HAS SOUS 54984 HAS SOUPS 54984 WITH SCORE 55044.206
AT ITER 1237 NEW BEST:: SOT 117281 SOS 59692 HAS SOPS 59692 HAS SOUS 54629 HAS SOUPS 54629 WITH SCORE 54688.692
AT ITER 1250 NEW BEST:: SOT 117281 SOS 59695 HAS SOPS 59695 HAS SOUS 54628 HAS SOUPS 54628 WITH SCORE 54687.695
AT ITER 1251 NEW BEST:: SOT 117308 SOS 59562 HAS SOPS 59562 HAS SOUS 54548 HAS SOUPS 54548 WITH SCORE 54607.562
AT ITER 1255 NEW BEST:: SOT 117308 SOS 59469 HAS SOPS 59469 HAS SOUS 54455 HAS SOUPS 54455 WITH SCORE 54514.469
AT ITER 1270 NEW BEST:: SOT 117308 SOS 59378 HAS SOPS 59378 HAS SOUS 54364 HAS SOUPS 54364 WITH SCORE 54423.378
AT ITER 1274 NEW BEST:: SOT 117308 SOS 59343 HAS SOPS 59343 HAS SOUS 54329 HAS SOUPS 54329 WITH SCORE 54388.343
AT ITER 1285 NEW BEST:: SOT 117305 SOS 59390 HAS SOPS 59390 HAS SOUS 54310 HAS SOUPS 54310 WITH SCORE 54369.39
AT ITER 1287 NEW BEST:: SOT 117293 SOS 59378 HAS SOPS 59378 HAS SOUS 54298 HAS SOUPS 54298 WITH SCORE 54357.378
AT ITER 1304 NEW BEST:: SOT 117288 SOS 59373 HAS SOPS 59373 HAS SOUS 54293 HAS SOUPS 54293 WITH SCORE 54352.373
AT ITER 1306 NEW BEST:: SOT 117251 SOS 59338 HAS SOPS 59338 HAS SOUS 54258 HAS SOUPS 54258 WITH SCORE 54317.338
AT ITER 1311 NEW BEST:: SOT 117251 SOS 59308 HAS SOPS 59308 HAS SOUS 54232 HAS SOUPS 54232 WITH SCORE 54291.308
AT ITER 1315 NEW BEST:: SOT 117254 SOS 59034 HAS SOPS 59034 HAS SOUS 54073 HAS SOUPS 54073 WITH SCORE 54132.034
AT ITER 1322 NEW BEST:: SOT 117221 SOS 59000 HAS SOPS 59000 HAS SOUS 54035 HAS SOUPS 54035 WITH SCORE 54094.0
AT ITER 1330 NEW BEST:: SOT 117187 SOS 58966 HAS SOPS 58966 HAS SOUS 54001 HAS SOUPS 54001 WITH SCORE 54059.966
AT ITER 1331 NEW BEST:: SOT 117185 SOS 58858 HAS SOPS 58858 HAS SOUS 53893 HAS SOUPS 53893 WITH SCORE 53951.858
AT ITER 1332 NEW BEST:: SOT 117153 SOS 58808 HAS SOPS 58808 HAS SOUS 53843 HAS SOUPS 53843 WITH SCORE 53901.808
AT ITER 1337 NEW BEST:: SOT 116880 SOS 58527 HAS SOPS 58527 HAS SOUS 53625 HAS SOUPS 53625 WITH SCORE 53683.527
AT ITER 1342 NEW BEST:: SOT 116829 SOS 58436 HAS SOPS 58436 HAS SOUS 53623 HAS SOUPS 53623 WITH SCORE 53681.436
AT ITER 1344 NEW BEST:: SOT 116818 SOS 58375 HAS SOPS 58375 HAS SOUS 53562 HAS SOUPS 53562 WITH SCORE 53620.375
AT ITER 1346 NEW BEST:: SOT 116818 SOS 58319 HAS SOPS 58319 HAS SOUS 53508 HAS SOUPS 53508 WITH SCORE 53566.319
AT ITER 1347 NEW BEST:: SOT 116817 SOS 58288 HAS SOPS 58288 HAS SOUS 53506 HAS SOUPS 53506 WITH SCORE 53564.288
AT ITER 1348 NEW BEST:: SOT 116861 SOS 58250 HAS SOPS 58250 HAS SOUS 53468 HAS SOUPS 53468 WITH SCORE 53526.25
AT ITER 1354 NEW BEST:: SOT 116859 SOS 58244 HAS SOPS 58244 HAS SOUS 53464 HAS SOUPS 53464 WITH SCORE 53522.244
AT ITER 1358 NEW BEST:: SOT 116864 SOS 58264 HAS SOPS 58264 HAS SOUS 53463 HAS SOUPS 53463 WITH SCORE 53521.264
AT ITER 1365 NEW BEST:: SOT 116519 SOS 57623 HAS SOPS 57623 HAS SOUS 52796 HAS SOUPS 52796 WITH SCORE 52853.623
AT ITER 1384 NEW BEST:: SOT 116569 SOS 57614 HAS SOPS 57614 HAS SOUS 52787 HAS SOUPS 52787 WITH SCORE 52844.614
AT ITER 1386 NEW BEST:: SOT 116577 SOS 57436 HAS SOPS 57436 HAS SOUS 52677 HAS SOUPS 52677 WITH SCORE 52734.436
AT ITER 1387 NEW BEST:: SOT 116536 SOS 57313 HAS SOPS 57313 HAS SOUS 52554 HAS SOUPS 52554 WITH SCORE 52611.313
AT ITER 1390 NEW BEST:: SOT 116536 SOS 57311 HAS SOPS 57311 HAS SOUS 52552 HAS SOUPS 52552 WITH SCORE 52609.311
AT ITER 1397 NEW BEST:: SOT 116447 SOS 57273 HAS SOPS 57273 HAS SOUS 52514 HAS SOUPS 52514 WITH SCORE 52571.273
AT ITER 1402 NEW BEST:: SOT 116292 SOS 57101 HAS SOPS 57101 HAS SOUS 52342 HAS SOUPS 52342 WITH SCORE 52399.101
AT ITER 1404 NEW BEST:: SOT 116292 SOS 56886 HAS SOPS 56886 HAS SOUS 52285 HAS SOUPS 52285 WITH SCORE 52341.886
AT ITER 1414 NEW BEST:: SOT 116292 SOS 56866 HAS SOPS 56866 HAS SOUS 52265 HAS SOUPS 52265 WITH SCORE 52321.866
AT ITER 1424 NEW BEST:: SOT 116310 SOS 56901 HAS SOPS 56901 HAS SOUS 52259 HAS SOUPS 52259 WITH SCORE 52315.901
AT ITER 1434 NEW BEST:: SOT 116238 SOS 56757 HAS SOPS 56757 HAS SOUS 52099 HAS SOUPS 52099 WITH SCORE 52155.757
AT ITER 1447 NEW BEST:: SOT 116128 SOS 56717 HAS SOPS 56717 HAS SOUS 52041 HAS SOUPS 52041 WITH SCORE 52097.717
AT ITER 1461 NEW BEST:: SOT 115955 SOS 56544 HAS SOPS 56544 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 51924.544
AT ITER 1464 NEW BEST:: SOT 115944 SOS 56439 HAS SOPS 56439 HAS SOUS 51763 HAS SOUPS 51763 WITH SCORE 51819.439
AT ITER 1472 NEW BEST:: SOT 115821 SOS 56398 HAS SOPS 56398 HAS SOUS 51722 HAS SOUPS 51722 WITH SCORE 51778.398
AT ITER 1475 NEW BEST:: SOT 115818 SOS 56233 HAS SOPS 56233 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51618.233
AT ITER 1480 NEW BEST:: SOT 115813 SOS 56223 HAS SOPS 56223 HAS SOUS 51557 HAS SOUPS 51557 WITH SCORE 51613.223
AT ITER 1482 NEW BEST:: SOT 115805 SOS 56215 HAS SOPS 56215 HAS SOUS 51549 HAS SOUPS 51549 WITH SCORE 51605.215
AT ITER 1492 NEW BEST:: SOT 115763 SOS 56169 HAS SOPS 56169 HAS SOUS 51503 HAS SOUPS 51503 WITH SCORE 51559.169
AT ITER 1497 NEW BEST:: SOT 115516 SOS 55922 HAS SOPS 55922 HAS SOUS 51298 HAS SOUPS 51298 WITH SCORE 51353.922
AT ITER 1503 NEW BEST:: SOT 115214 SOS 55833 HAS SOPS 55833 HAS SOUS 51153 HAS SOUPS 51153 WITH SCORE 51208.833
AT ITER 1518 NEW BEST:: SOT 115213 SOS 55775 HAS SOPS 55775 HAS SOUS 51132 HAS SOUPS 51132 WITH SCORE 51187.775
AT ITER 1519 NEW BEST:: SOT 115203 SOS 55755 HAS SOPS 55755 HAS SOUS 51112 HAS SOUPS 51112 WITH SCORE 51167.755
AT ITER 1524 NEW BEST:: SOT 115206 SOS 55756 HAS SOPS 55756 HAS SOUS 51035 HAS SOUPS 51035 WITH SCORE 51090.756
AT ITER 1531 NEW BEST:: SOT 115116 SOS 55636 HAS SOPS 55636 HAS SOUS 50915 HAS SOUPS 50915 WITH SCORE 50970.636
AT ITER 1534 NEW BEST:: SOT 115128 SOS 55317 HAS SOPS 55317 HAS SOUS 50698 HAS SOUPS 50698 WITH SCORE 50753.317
AT ITER 1539 NEW BEST:: SOT 114857 SOS 55326 HAS SOPS 55326 HAS SOUS 50555 HAS SOUPS 50555 WITH SCORE 50610.326
AT ITER 1541 NEW BEST:: SOT 114857 SOS 55161 HAS SOPS 55161 HAS SOUS 50529 HAS SOUPS 50529 WITH SCORE 50584.161
AT ITER 1544 NEW BEST:: SOT 114851 SOS 55155 HAS SOPS 55155 HAS SOUS 50523 HAS SOUPS 50523 WITH SCORE 50578.155
AT ITER 1561 NEW BEST:: SOT 114829 SOS 55133 HAS SOPS 55133 HAS SOUS 50492 HAS SOUPS 50492 WITH SCORE 50547.133
AT ITER 1567 NEW BEST:: SOT 114825 SOS 55129 HAS SOPS 55129 HAS SOUS 50488 HAS SOUPS 50488 WITH SCORE 50543.129
AT ITER 1572 NEW BEST:: SOT 114825 SOS 55127 HAS SOPS 55127 HAS SOUS 50486 HAS SOUPS 50486 WITH SCORE 50541.127
AT ITER 1574 NEW BEST:: SOT 114825 SOS 54964 HAS SOPS 54964 HAS SOUS 50477 HAS SOUPS 50477 WITH SCORE 50531.964
AT ITER 1581 NEW BEST:: SOT 114825 SOS 54946 HAS SOPS 54946 HAS SOUS 50459 HAS SOUPS 50459 WITH SCORE 50513.946
AT ITER 1591 NEW BEST:: SOT 114842 SOS 54895 HAS SOPS 54895 HAS SOUS 50408 HAS SOUPS 50408 WITH SCORE 50462.895
AT ITER 1592 NEW BEST:: SOT 114785 SOS 54835 HAS SOPS 54835 HAS SOUS 50405 HAS SOUPS 50405 WITH SCORE 50459.835
AT ITER 1594 NEW BEST:: SOT 114775 SOS 54825 HAS SOPS 54825 HAS SOUS 50395 HAS SOUPS 50395 WITH SCORE 50449.825
AT ITER 1595 NEW BEST:: SOT 114761 SOS 54786 HAS SOPS 54786 HAS SOUS 50356 HAS SOUPS 50356 WITH SCORE 50410.786
AT ITER 1606 NEW BEST:: SOT 114778 SOS 54747 HAS SOPS 54747 HAS SOUS 50261 HAS SOUPS 50261 WITH SCORE 50315.747
AT ITER 1622 NEW BEST:: SOT 114855 SOS 54729 HAS SOPS 54729 HAS SOUS 50244 HAS SOUPS 50244 WITH SCORE 50298.729
AT ITER 1627 NEW BEST:: SOT 114940 SOS 54562 HAS SOPS 54562 HAS SOUS 50077 HAS SOUPS 50077 WITH SCORE 50131.562
AT ITER 1631 NEW BEST:: SOT 114889 SOS 54435 HAS SOPS 54435 HAS SOUS 50052 HAS SOUPS 50052 WITH SCORE 50106.435
AT ITER 1641 NEW BEST:: SOT 114824 SOS 54240 HAS SOPS 54240 HAS SOUS 49857 HAS SOUPS 49857 WITH SCORE 49911.24
AT ITER 1642 NEW BEST:: SOT 114824 SOS 54361 HAS SOPS 54361 HAS SOUS 49813 HAS SOUPS 49813 WITH SCORE 49867.361
AT ITER 1643 NEW BEST:: SOT 114812 SOS 54361 HAS SOPS 54361 HAS SOUS 49811 HAS SOUPS 49811 WITH SCORE 49865.361
AT ITER 1659 NEW BEST:: SOT 114806 SOS 54353 HAS SOPS 54353 HAS SOUS 49803 HAS SOUPS 49803 WITH SCORE 49857.353
AT ITER 1669 NEW BEST:: SOT 114673 SOS 54395 HAS SOPS 54395 HAS SOUS 49777 HAS SOUPS 49777 WITH SCORE 49831.395
AT ITER 1670 NEW BEST:: SOT 114661 SOS 54305 HAS SOPS 54305 HAS SOUS 49684 HAS SOUPS 49684 WITH SCORE 49738.305
AT ITER 1671 NEW BEST:: SOT 114661 SOS 54301 HAS SOPS 54301 HAS SOUS 49678 HAS SOUPS 49678 WITH SCORE 49732.301
AT ITER 1674 NEW BEST:: SOT 114659 SOS 54297 HAS SOPS 54297 HAS SOUS 49676 HAS SOUPS 49676 WITH SCORE 49730.297
AT ITER 1677 NEW BEST:: SOT 114651 SOS 54289 HAS SOPS 54289 HAS SOUS 49668 HAS SOUPS 49668 WITH SCORE 49722.289
AT ITER 1683 NEW BEST:: SOT 114619 SOS 54257 HAS SOPS 54257 HAS SOUS 49512 HAS SOUPS 49512 WITH SCORE 49566.257
AT ITER 1688 NEW BEST:: SOT 114437 SOS 53900 HAS SOPS 53900 HAS SOUS 49287 HAS SOUPS 49287 WITH SCORE 49340.9
AT ITER 1691 NEW BEST:: SOT 114362 SOS 53700 HAS SOPS 53700 HAS SOUS 49087 HAS SOUPS 49087 WITH SCORE 49140.7
AT ITER 1694 NEW BEST:: SOT 114296 SOS 53634 HAS SOPS 53634 HAS SOUS 49021 HAS SOUPS 49021 WITH SCORE 49074.634
AT ITER 1696 NEW BEST:: SOT 114294 SOS 53632 HAS SOPS 53632 HAS SOUS 49019 HAS SOUPS 49019 WITH SCORE 49072.632
AT ITER 1700 NEW BEST:: SOT 114165 SOS 53422 HAS SOPS 53422 HAS SOUS 48936 HAS SOUPS 48936 WITH SCORE 48989.422
AT ITER 1709 NEW BEST:: SOT 114201 SOS 53387 HAS SOPS 53387 HAS SOUS 48904 HAS SOUPS 48904 WITH SCORE 48957.387
AT ITER 1723 NEW BEST:: SOT 114198 SOS 53308 HAS SOPS 53308 HAS SOUS 48825 HAS SOUPS 48825 WITH SCORE 48878.308
AT ITER 1728 NEW BEST:: SOT 114274 SOS 53256 HAS SOPS 53256 HAS SOUS 48811 HAS SOUPS 48811 WITH SCORE 48864.256
AT ITER 1734 NEW BEST:: SOT 114274 SOS 53232 HAS SOPS 53232 HAS SOUS 48811 HAS SOUPS 48811 WITH SCORE 48864.232
AT ITER 1735 NEW BEST:: SOT 114282 SOS 53170 HAS SOPS 53170 HAS SOUS 48749 HAS SOUPS 48749 WITH SCORE 48802.17
AT ITER 1744 NEW BEST:: SOT 114251 SOS 53059 HAS SOPS 53059 HAS SOUS 48638 HAS SOUPS 48638 WITH SCORE 48691.059
AT ITER 1755 NEW BEST:: SOT 114227 SOS 52987 HAS SOPS 52987 HAS SOUS 48566 HAS SOUPS 48566 WITH SCORE 48618.987
AT ITER 1766 NEW BEST:: SOT 114147 SOS 52862 HAS SOPS 52862 HAS SOUS 48441 HAS SOUPS 48441 WITH SCORE 48493.862
AT ITER 1773 NEW BEST:: SOT 114184 SOS 52722 HAS SOPS 52722 HAS SOUS 48301 HAS SOUPS 48301 WITH SCORE 48353.722
AT ITER 1778 NEW BEST:: SOT 114125 SOS 52663 HAS SOPS 52663 HAS SOUS 48242 HAS SOUPS 48242 WITH SCORE 48294.663
AT ITER 1780 NEW BEST:: SOT 114111 SOS 52585 HAS SOPS 52585 HAS SOUS 48164 HAS SOUPS 48164 WITH SCORE 48216.585
AT ITER 1782 NEW BEST:: SOT 114042 SOS 52506 HAS SOPS 52506 HAS SOUS 48085 HAS SOUPS 48085 WITH SCORE 48137.506
AT ITER 1783 NEW BEST:: SOT 113984 SOS 52418 HAS SOPS 52418 HAS SOUS 48055 HAS SOUPS 48055 WITH SCORE 48107.418
AT ITER 1803 NEW BEST:: SOT 113927 SOS 52361 HAS SOPS 52361 HAS SOUS 47990 HAS SOUPS 47990 WITH SCORE 48042.361
AT ITER 1810 NEW BEST:: SOT 113910 SOS 52327 HAS SOPS 52327 HAS SOUS 47973 HAS SOUPS 47973 WITH SCORE 48025.327
AT ITER 1811 NEW BEST:: SOT 113722 SOS 52057 HAS SOPS 52057 HAS SOUS 47714 HAS SOUPS 47714 WITH SCORE 47766.057
AT ITER 1812 NEW BEST:: SOT 113743 SOS 52028 HAS SOPS 52028 HAS SOUS 47702 HAS SOUPS 47702 WITH SCORE 47754.028
AT ITER 1816 NEW BEST:: SOT 113743 SOS 52022 HAS SOPS 52022 HAS SOUS 47699 HAS SOUPS 47699 WITH SCORE 47751.022
AT ITER 1817 NEW BEST:: SOT 113714 SOS 51977 HAS SOPS 51977 HAS SOUS 47654 HAS SOUPS 47654 WITH SCORE 47705.977
AT ITER 1818 NEW BEST:: SOT 113714 SOS 51617 HAS SOPS 51617 HAS SOUS 47638 HAS SOUPS 47638 WITH SCORE 47689.617
AT ITER 1820 NEW BEST:: SOT 113636 SOS 51602 HAS SOPS 51602 HAS SOUS 47623 HAS SOUPS 47623 WITH SCORE 47674.602
AT ITER 1844 NEW BEST:: SOT 113629 SOS 51595 HAS SOPS 51595 HAS SOUS 47616 HAS SOUPS 47616 WITH SCORE 47667.595
AT ITER 1847 NEW BEST:: SOT 113633 SOS 51594 HAS SOPS 51594 HAS SOUS 47615 HAS SOUPS 47615 WITH SCORE 47666.594
AT ITER 1875 NEW BEST:: SOT 113631 SOS 51589 HAS SOPS 51589 HAS SOUS 47611 HAS SOUPS 47611 WITH SCORE 47662.589
AT ITER 1899 NEW BEST:: SOT 113617 SOS 51568 HAS SOPS 51568 HAS SOUS 47597 HAS SOUPS 47597 WITH SCORE 47648.568
AT ITER 1917 NEW BEST:: SOT 113670 SOS 51457 HAS SOPS 51457 HAS SOUS 47486 HAS SOUPS 47486 WITH SCORE 47537.457
AT ITER 1940 NEW BEST:: SOT 113667 SOS 51451 HAS SOPS 51451 HAS SOUS 47480 HAS SOUPS 47480 WITH SCORE 47531.451
AT ITER 1945 NEW BEST:: SOT 113667 SOS 51439 HAS SOPS 51439 HAS SOUS 47474 HAS SOUPS 47474 WITH SCORE 47525.439
AT ITER 1954 NEW BEST:: SOT 113389 SOS 51106 HAS SOPS 51106 HAS SOUS 47231 HAS SOUPS 47231 WITH SCORE 47282.106
AT ITER 1963 NEW BEST:: SOT 113385 SOS 51102 HAS SOPS 51102 HAS SOUS 47227 HAS SOUPS 47227 WITH SCORE 47278.102
AT ITER 1978 NEW BEST:: SOT 113380 SOS 51097 HAS SOPS 51097 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47268.097
AT ITER 1994 NEW BEST:: SOT 113388 SOS 51003 HAS SOPS 51003 HAS SOUS 47145 HAS SOUPS 47145 WITH SCORE 47196.003
AT ITER 2000 NEW BEST:: SOT 113380 SOS 51003 HAS SOPS 51003 HAS SOUS 47132 HAS SOUPS 47132 WITH SCORE 47183.003
AT ITER 2003 NEW BEST:: SOT 113336 SOS 50875 HAS SOPS 50875 HAS SOUS 47004 HAS SOUPS 47004 WITH SCORE 47054.875
AT ITER 2026 NEW BEST:: SOT 113332 SOS 50871 HAS SOPS 50871 HAS SOUS 47000 HAS SOUPS 47000 WITH SCORE 47050.871
AT ITER 2035 NEW BEST:: SOT 113297 SOS 50834 HAS SOPS 50834 HAS SOUS 46998 HAS SOUPS 46998 WITH SCORE 47048.834
AT ITER 2037 NEW BEST:: SOT 113293 SOS 50827 HAS SOPS 50827 HAS SOUS 46991 HAS SOUPS 46991 WITH SCORE 47041.827
AT ITER 2048 NEW BEST:: SOT 113250 SOS 50764 HAS SOPS 50764 HAS SOUS 46928 HAS SOUPS 46928 WITH SCORE 46978.764
AT ITER 2049 NEW BEST:: SOT 113234 SOS 50748 HAS SOPS 50748 HAS SOUS 46912 HAS SOUPS 46912 WITH SCORE 46962.748
AT ITER 2063 NEW BEST:: SOT 113107 SOS 50468 HAS SOPS 50468 HAS SOUS 46547 HAS SOUPS 46547 WITH SCORE 46597.468
AT ITER 2065 NEW BEST:: SOT 113107 SOS 50374 HAS SOPS 50374 HAS SOUS 46547 HAS SOUPS 46547 WITH SCORE 46597.374
AT ITER 2068 NEW BEST:: SOT 113145 SOS 50361 HAS SOPS 50361 HAS SOUS 46534 HAS SOUPS 46534 WITH SCORE 46584.361
AT ITER 2069 NEW BEST:: SOT 113143 SOS 50357 HAS SOPS 50357 HAS SOUS 46530 HAS SOUPS 46530 WITH SCORE 46580.357
AT ITER 2078 NEW BEST:: SOT 113137 SOS 50331 HAS SOPS 50331 HAS SOUS 46504 HAS SOUPS 46504 WITH SCORE 46554.331
AT ITER 2079 NEW BEST:: SOT 113112 SOS 50315 HAS SOPS 50315 HAS SOUS 46488 HAS SOUPS 46488 WITH SCORE 46538.315
AT ITER 2088 NEW BEST:: SOT 113167 SOS 50327 HAS SOPS 50327 HAS SOUS 46483 HAS SOUPS 46483 WITH SCORE 46533.327
AT ITER 2117 NEW BEST:: SOT 113147 SOS 50235 HAS SOPS 50235 HAS SOUS 46438 HAS SOUPS 46438 WITH SCORE 46488.235
AT ITER 2118 NEW BEST:: SOT 113143 SOS 50231 HAS SOPS 50231 HAS SOUS 46434 HAS SOUPS 46434 WITH SCORE 46484.231
AT ITER 2132 NEW BEST:: SOT 113143 SOS 50211 HAS SOPS 50211 HAS SOUS 46434 HAS SOUPS 46434 WITH SCORE 46484.211
AT ITER 2162 NEW BEST:: SOT 113143 SOS 50169 HAS SOPS 50169 HAS SOUS 46434 HAS SOUPS 46434 WITH SCORE 46484.169
AT ITER 2186 NEW BEST:: SOT 113143 SOS 50053 HAS SOPS 50053 HAS SOUS 46382 HAS SOUPS 46382 WITH SCORE 46432.053
AT ITER 2192 NEW BEST:: SOT 113108 SOS 49993 HAS SOPS 49993 HAS SOUS 46322 HAS SOUPS 46322 WITH SCORE 46371.993
AT ITER 2199 NEW BEST:: SOT 113013 SOS 49915 HAS SOPS 49915 HAS SOUS 46240 HAS SOUPS 46240 WITH SCORE 46289.915
AT ITER 2201 NEW BEST:: SOT 112970 SOS 49829 HAS SOPS 49829 HAS SOUS 46154 HAS SOUPS 46154 WITH SCORE 46203.829
AT ITER 2205 NEW BEST:: SOT 112915 SOS 49664 HAS SOPS 49664 HAS SOUS 45989 HAS SOUPS 45989 WITH SCORE 46038.664
AT ITER 2206 NEW BEST:: SOT 112834 SOS 49487 HAS SOPS 49487 HAS SOUS 45819 HAS SOUPS 45819 WITH SCORE 45868.487
AT ITER 2214 NEW BEST:: SOT 112694 SOS 49239 HAS SOPS 49239 HAS SOUS 45571 HAS SOUPS 45571 WITH SCORE 45620.239
AT ITER 2216 NEW BEST:: SOT 112694 SOS 49213 HAS SOPS 49213 HAS SOUS 45545 HAS SOUPS 45545 WITH SCORE 45594.213
AT ITER 2232 NEW BEST:: SOT 112718 SOS 49165 HAS SOPS 49165 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45546.165
AT ITER 2257 NEW BEST:: SOT 112717 SOS 49134 HAS SOPS 49134 HAS SOUS 45495 HAS SOUPS 45495 WITH SCORE 45544.134
AT ITER 2265 NEW BEST:: SOT 112616 SOS 48971 HAS SOPS 48971 HAS SOUS 45332 HAS SOUPS 45332 WITH SCORE 45380.971
AT ITER 2275 NEW BEST:: SOT 112560 SOS 48823 HAS SOPS 48823 HAS SOUS 45184 HAS SOUPS 45184 WITH SCORE 45232.823
AT ITER 2278 NEW BEST:: SOT 112471 SOS 48617 HAS SOPS 48617 HAS SOUS 44905 HAS SOUPS 44905 WITH SCORE 44953.617
AT ITER 2287 NEW BEST:: SOT 112471 SOS 48588 HAS SOPS 48588 HAS SOUS 44900 HAS SOUPS 44900 WITH SCORE 44948.588
AT ITER 2295 NEW BEST:: SOT 112471 SOS 48588 HAS SOPS 48588 HAS SOUS 44890 HAS SOUPS 44890 WITH SCORE 44938.588
AT ITER 2302 NEW BEST:: SOT 112369 SOS 48450 HAS SOPS 48450 HAS SOUS 44752 HAS SOUPS 44752 WITH SCORE 44800.45
AT ITER 2331 NEW BEST:: SOT 112320 SOS 48303 HAS SOPS 48303 HAS SOUS 44703 HAS SOUPS 44703 WITH SCORE 44751.303
AT ITER 2338 NEW BEST:: SOT 112272 SOS 48140 HAS SOPS 48140 HAS SOUS 44624 HAS SOUPS 44624 WITH SCORE 44672.14
AT ITER 2347 NEW BEST:: SOT 112201 SOS 48063 HAS SOPS 48063 HAS SOUS 44615 HAS SOUPS 44615 WITH SCORE 44663.063
AT ITER 2354 NEW BEST:: SOT 112230 SOS 48007 HAS SOPS 48007 HAS SOUS 44559 HAS SOUPS 44559 WITH SCORE 44607.007
AT ITER 2368 NEW BEST:: SOT 112161 SOS 47938 HAS SOPS 47938 HAS SOUS 44490 HAS SOUPS 44490 WITH SCORE 44537.938
AT ITER 2371 NEW BEST:: SOT 111914 SOS 47312 HAS SOPS 47312 HAS SOUS 44088 HAS SOUPS 44088 WITH SCORE 44135.312
AT ITER 2377 NEW BEST:: SOT 111800 SOS 47198 HAS SOPS 47198 HAS SOUS 43974 HAS SOUPS 43974 WITH SCORE 44021.198
AT ITER 2379 NEW BEST:: SOT 111761 SOS 47001 HAS SOPS 47001 HAS SOUS 43860 HAS SOUPS 43860 WITH SCORE 43907.001
AT ITER 2382 NEW BEST:: SOT 111804 SOS 46990 HAS SOPS 46990 HAS SOUS 43811 HAS SOUPS 43811 WITH SCORE 43857.99
AT ITER 2385 NEW BEST:: SOT 111704 SOS 46940 HAS SOPS 46940 HAS SOUS 43735 HAS SOUPS 43735 WITH SCORE 43781.94
AT ITER 2388 NEW BEST:: SOT 111707 SOS 46863 HAS SOPS 46863 HAS SOUS 43689 HAS SOUPS 43689 WITH SCORE 43735.863
AT ITER 2391 NEW BEST:: SOT 111707 SOS 46838 HAS SOPS 46838 HAS SOUS 43689 HAS SOUPS 43689 WITH SCORE 43735.838
AT ITER 2394 NEW BEST:: SOT 111562 SOS 46658 HAS SOPS 46658 HAS SOUS 43503 HAS SOUPS 43503 WITH SCORE 43549.658
AT ITER 2397 NEW BEST:: SOT 111549 SOS 46645 HAS SOPS 46645 HAS SOUS 43490 HAS SOUPS 43490 WITH SCORE 43536.645
AT ITER 2416 NEW BEST:: SOT 111522 SOS 46618 HAS SOPS 46618 HAS SOUS 43433 HAS SOUPS 43433 WITH SCORE 43479.618
AT ITER 2419 NEW BEST:: SOT 111496 SOS 46592 HAS SOPS 46592 HAS SOUS 43407 HAS SOUPS 43407 WITH SCORE 43453.592
AT ITER 2427 NEW BEST:: SOT 111461 SOS 46496 HAS SOPS 46496 HAS SOUS 43311 HAS SOUPS 43311 WITH SCORE 43357.496
AT ITER 2434 NEW BEST:: SOT 111411 SOS 46389 HAS SOPS 46389 HAS SOUS 43211 HAS SOUPS 43211 WITH SCORE 43257.389
AT ITER 2443 NEW BEST:: SOT 111414 SOS 46300 HAS SOPS 46300 HAS SOUS 43186 HAS SOUPS 43186 WITH SCORE 43232.3
AT ITER 2445 NEW BEST:: SOT 111401 SOS 46220 HAS SOPS 46220 HAS SOUS 43158 HAS SOUPS 43158 WITH SCORE 43204.22
AT ITER 2446 NEW BEST:: SOT 111396 SOS 46215 HAS SOPS 46215 HAS SOUS 43153 HAS SOUPS 43153 WITH SCORE 43199.215
AT ITER 2457 NEW BEST:: SOT 111396 SOS 46181 HAS SOPS 46181 HAS SOUS 43085 HAS SOUPS 43085 WITH SCORE 43131.181
AT ITER 2467 NEW BEST:: SOT 111386 SOS 46171 HAS SOPS 46171 HAS SOUS 43075 HAS SOUPS 43075 WITH SCORE 43121.171
AT ITER 2470 NEW BEST:: SOT 111375 SOS 46160 HAS SOPS 46160 HAS SOUS 43064 HAS SOUPS 43064 WITH SCORE 43110.16
AT ITER 2473 NEW BEST:: SOT 111201 SOS 45857 HAS SOPS 45857 HAS SOUS 42751 HAS SOUPS 42751 WITH SCORE 42796.857
AT ITER 2484 NEW BEST:: SOT 111201 SOS 45806 HAS SOPS 45806 HAS SOUS 42751 HAS SOUPS 42751 WITH SCORE 42796.806
AT ITER 2505 NEW BEST:: SOT 111161 SOS 45670 HAS SOPS 45670 HAS SOUS 42615 HAS SOUPS 42615 WITH SCORE 42660.67
AT ITER 2506 NEW BEST:: SOT 111161 SOS 45566 HAS SOPS 45566 HAS SOUS 42520 HAS SOUPS 42520 WITH SCORE 42565.566
AT ITER 2508 NEW BEST:: SOT 111161 SOS 45401 HAS SOPS 45401 HAS SOUS 42475 HAS SOUPS 42475 WITH SCORE 42520.401
AT ITER 2509 NEW BEST:: SOT 111160 SOS 45398 HAS SOPS 45398 HAS SOUS 42472 HAS SOUPS 42472 WITH SCORE 42517.398
AT ITER 2512 NEW BEST:: SOT 111104 SOS 45342 HAS SOPS 45342 HAS SOUS 42416 HAS SOUPS 42416 WITH SCORE 42461.342
AT ITER 2517 NEW BEST:: SOT 111104 SOS 45280 HAS SOPS 45280 HAS SOUS 42354 HAS SOUPS 42354 WITH SCORE 42399.28
AT ITER 2531 NEW BEST:: SOT 111063 SOS 45169 HAS SOPS 45169 HAS SOUS 42243 HAS SOUPS 42243 WITH SCORE 42288.169
AT ITER 2545 NEW BEST:: SOT 110909 SOS 45015 HAS SOPS 45015 HAS SOUS 42008 HAS SOUPS 42008 WITH SCORE 42053.015
AT ITER 2546 NEW BEST:: SOT 110898 SOS 44989 HAS SOPS 44989 HAS SOUS 41982 HAS SOUPS 41982 WITH SCORE 42026.989
AT ITER 2554 NEW BEST:: SOT 110722 SOS 44730 HAS SOPS 44730 HAS SOUS 41723 HAS SOUPS 41723 WITH SCORE 41767.73
AT ITER 2556 NEW BEST:: SOT 110718 SOS 44726 HAS SOPS 44726 HAS SOUS 41719 HAS SOUPS 41719 WITH SCORE 41763.726
AT ITER 2557 NEW BEST:: SOT 110749 SOS 44721 HAS SOPS 44721 HAS SOUS 41696 HAS SOUPS 41696 WITH SCORE 41740.721
AT ITER 2559 NEW BEST:: SOT 110749 SOS 44563 HAS SOPS 44563 HAS SOUS 41582 HAS SOUPS 41582 WITH SCORE 41626.563
AT ITER 2571 NEW BEST:: SOT 110742 SOS 44544 HAS SOPS 44544 HAS SOUS 41575 HAS SOUPS 41575 WITH SCORE 41619.544
AT ITER 2576 NEW BEST:: SOT 110702 SOS 44578 HAS SOPS 44578 HAS SOUS 41565 HAS SOUPS 41565 WITH SCORE 41609.578
AT ITER 2580 NEW BEST:: SOT 110702 SOS 44561 HAS SOPS 44561 HAS SOUS 41548 HAS SOUPS 41548 WITH SCORE 41592.561
AT ITER 2593 NEW BEST:: SOT 110702 SOS 44552 HAS SOPS 44552 HAS SOUS 41511 HAS SOUPS 41511 WITH SCORE 41555.552
AT ITER 2601 NEW BEST:: SOT 110648 SOS 44498 HAS SOPS 44498 HAS SOUS 41457 HAS SOUPS 41457 WITH SCORE 41501.498
AT ITER 2618 NEW BEST:: SOT 110607 SOS 44457 HAS SOPS 44457 HAS SOUS 41416 HAS SOUPS 41416 WITH SCORE 41460.457
AT ITER 2629 NEW BEST:: SOT 110590 SOS 44423 HAS SOPS 44423 HAS SOUS 41399 HAS SOUPS 41399 WITH SCORE 41443.423
AT ITER 2649 NEW BEST:: SOT 110587 SOS 44375 HAS SOPS 44375 HAS SOUS 41393 HAS SOUPS 41393 WITH SCORE 41437.375
AT ITER 2667 NEW BEST:: SOT 110587 SOS 44375 HAS SOPS 44375 HAS SOUS 41383 HAS SOUPS 41383 WITH SCORE 41427.375
AT ITER 2680 NEW BEST:: SOT 110587 SOS 44345 HAS SOPS 44345 HAS SOUS 41368 HAS SOUPS 41368 WITH SCORE 41412.345
AT ITER 2691 NEW BEST:: SOT 110587 SOS 44307 HAS SOPS 44307 HAS SOUS 41330 HAS SOUPS 41330 WITH SCORE 41374.307
AT ITER 2694 NEW BEST:: SOT 110587 SOS 44298 HAS SOPS 44298 HAS SOUS 41321 HAS SOUPS 41321 WITH SCORE 41365.298
AT ITER 2697 NEW BEST:: SOT 110578 SOS 44289 HAS SOPS 44289 HAS SOUS 41312 HAS SOUPS 41312 WITH SCORE 41356.289
AT ITER 2717 NEW BEST:: SOT 110595 SOS 44198 HAS SOPS 44198 HAS SOUS 41190 HAS SOUPS 41190 WITH SCORE 41234.198
AT ITER 2725 NEW BEST:: SOT 110552 SOS 44154 HAS SOPS 44154 HAS SOUS 41133 HAS SOUPS 41133 WITH SCORE 41177.154
AT ITER 2732 NEW BEST:: SOT 110541 SOS 44146 HAS SOPS 44146 HAS SOUS 41086 HAS SOUPS 41086 WITH SCORE 41130.146
AT ITER 2735 NEW BEST:: SOT 110453 SOS 43980 HAS SOPS 43980 HAS SOUS 40920 HAS SOUPS 40920 WITH SCORE 40963.98
AT ITER 2738 NEW BEST:: SOT 110433 SOS 43933 HAS SOPS 43933 HAS SOUS 40880 HAS SOUPS 40880 WITH SCORE 40923.933
AT ITER 2764 NEW BEST:: SOT 110401 SOS 43859 HAS SOPS 43859 HAS SOUS 40827 HAS SOUPS 40827 WITH SCORE 40870.859
AT ITER 2766 NEW BEST:: SOT 110382 SOS 43840 HAS SOPS 43840 HAS SOUS 40808 HAS SOUPS 40808 WITH SCORE 40851.84
AT ITER 2770 NEW BEST:: SOT 110322 SOS 43778 HAS SOPS 43778 HAS SOUS 40746 HAS SOUPS 40746 WITH SCORE 40789.778
AT ITER 2782 NEW BEST:: SOT 110368 SOS 43781 HAS SOPS 43781 HAS SOUS 40737 HAS SOUPS 40737 WITH SCORE 40780.781
AT ITER 2785 NEW BEST:: SOT 110368 SOS 43789 HAS SOPS 43789 HAS SOUS 40698 HAS SOUPS 40698 WITH SCORE 40741.789
AT ITER 2786 NEW BEST:: SOT 110315 SOS 43676 HAS SOPS 43676 HAS SOUS 40591 HAS SOUPS 40591 WITH SCORE 40634.676
AT ITER 2789 NEW BEST:: SOT 110307 SOS 43658 HAS SOPS 43658 HAS SOUS 40584 HAS SOUPS 40584 WITH SCORE 40627.658
AT ITER 2802 NEW BEST:: SOT 110280 SOS 43631 HAS SOPS 43631 HAS SOUS 40557 HAS SOUPS 40557 WITH SCORE 40600.631
AT ITER 2822 NEW BEST:: SOT 110248 SOS 43581 HAS SOPS 43581 HAS SOUS 40507 HAS SOUPS 40507 WITH SCORE 40550.581
AT ITER 2834 NEW BEST:: SOT 110207 SOS 43522 HAS SOPS 43522 HAS SOUS 40448 HAS SOUPS 40448 WITH SCORE 40491.522
AT ITER 2850 NEW BEST:: SOT 110162 SOS 43452 HAS SOPS 43452 HAS SOUS 40378 HAS SOUPS 40378 WITH SCORE 40421.452
AT ITER 2858 NEW BEST:: SOT 110137 SOS 43333 HAS SOPS 43333 HAS SOUS 40333 HAS SOUPS 40333 WITH SCORE 40376.333
AT ITER 2892 NEW BEST:: SOT 110137 SOS 43331 HAS SOPS 43331 HAS SOUS 40331 HAS SOUPS 40331 WITH SCORE 40374.331
AT ITER 2909 NEW BEST:: SOT 110119 SOS 43304 HAS SOPS 43304 HAS SOUS 40304 HAS SOUPS 40304 WITH SCORE 40347.304
AT ITER 2910 NEW BEST:: SOT 110132 SOS 43239 HAS SOPS 43239 HAS SOUS 40239 HAS SOUPS 40239 WITH SCORE 40282.239
AT ITER 2915 NEW BEST:: SOT 110114 SOS 43185 HAS SOPS 43185 HAS SOUS 40203 HAS SOUPS 40203 WITH SCORE 40246.185
AT ITER 2920 NEW BEST:: SOT 110068 SOS 43118 HAS SOPS 43118 HAS SOUS 40136 HAS SOUPS 40136 WITH SCORE 40179.118
AT ITER 2940 NEW BEST:: SOT 110059 SOS 43112 HAS SOPS 43112 HAS SOUS 40111 HAS SOUPS 40111 WITH SCORE 40154.112
AT ITER 2947 NEW BEST:: SOT 110059 SOS 43021 HAS SOPS 43021 HAS SOUS 40033 HAS SOUPS 40033 WITH SCORE 40076.021
AT ITER 2951 NEW BEST:: SOT 110058 SOS 43020 HAS SOPS 43020 HAS SOUS 40032 HAS SOUPS 40032 WITH SCORE 40075.02
AT ITER 2955 NEW BEST:: SOT 110061 SOS 43003 HAS SOPS 43003 HAS SOUS 40015 HAS SOUPS 40015 WITH SCORE 40058.003
AT ITER 2976 NEW BEST:: SOT 109897 SOS 42678 HAS SOPS 42678 HAS SOUS 39807 HAS SOUPS 39807 WITH SCORE 39849.678
AT ITER 2989 NEW BEST:: SOT 109831 SOS 42612 HAS SOPS 42612 HAS SOUS 39741 HAS SOUPS 39741 WITH SCORE 39783.612
AT ITER 2996 NEW BEST:: SOT 109789 SOS 42533 HAS SOPS 42533 HAS SOUS 39662 HAS SOUPS 39662 WITH SCORE 39704.533
AT ITER 2997 NEW BEST:: SOT 109766 SOS 42487 HAS SOPS 42487 HAS SOUS 39593 HAS SOUPS 39593 WITH SCORE 39635.487
AT ITER 3001 NEW BEST:: SOT 109756 SOS 42462 HAS SOPS 42462 HAS SOUS 39585 HAS SOUPS 39585 WITH SCORE 39627.462
AT ITER 3008 NEW BEST:: SOT 109748 SOS 42454 HAS SOPS 42454 HAS SOUS 39577 HAS SOUPS 39577 WITH SCORE 39619.454
AT ITER 3035 NEW BEST:: SOT 109770 SOS 42477 HAS SOPS 42477 HAS SOUS 39575 HAS SOUPS 39575 WITH SCORE 39617.477
AT ITER 3076 NEW BEST:: SOT 109753 SOS 42405 HAS SOPS 42405 HAS SOUS 39497 HAS SOUPS 39497 WITH SCORE 39539.405
AT ITER 3080 NEW BEST:: SOT 109766 SOS 42383 HAS SOPS 42383 HAS SOUS 39483 HAS SOUPS 39483 WITH SCORE 39525.383
AT ITER 3106 NEW BEST:: SOT 109768 SOS 42377 HAS SOPS 42377 HAS SOUS 39477 HAS SOUPS 39477 WITH SCORE 39519.377
AT ITER 3115 NEW BEST:: SOT 109759 SOS 42335 HAS SOPS 42335 HAS SOUS 39435 HAS SOUPS 39435 WITH SCORE 39477.335
AT ITER 3122 NEW BEST:: SOT 109638 SOS 42214 HAS SOPS 42214 HAS SOUS 39314 HAS SOUPS 39314 WITH SCORE 39356.214
AT ITER 3125 NEW BEST:: SOT 109628 SOS 42194 HAS SOPS 42194 HAS SOUS 39294 HAS SOUPS 39294 WITH SCORE 39336.194
AT ITER 3128 NEW BEST:: SOT 109620 SOS 42170 HAS SOPS 42170 HAS SOUS 39282 HAS SOUPS 39282 WITH SCORE 39324.17
AT ITER 3138 NEW BEST:: SOT 109606 SOS 42139 HAS SOPS 42139 HAS SOUS 39238 HAS SOUPS 39238 WITH SCORE 39280.139
AT ITER 3141 NEW BEST:: SOT 109595 SOS 42078 HAS SOPS 42078 HAS SOUS 39226 HAS SOUPS 39226 WITH SCORE 39268.078
AT ITER 3142 NEW BEST:: SOT 109589 SOS 42188 HAS SOPS 42188 HAS SOUS 39208 HAS SOUPS 39208 WITH SCORE 39250.188
AT ITER 3161 NEW BEST:: SOT 109487 SOS 42130 HAS SOPS 42130 HAS SOUS 39182 HAS SOUPS 39182 WITH SCORE 39224.13
AT ITER 3164 NEW BEST:: SOT 109486 SOS 42128 HAS SOPS 42128 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39222.128
AT ITER 3172 NEW BEST:: SOT 109486 SOS 42108 HAS SOPS 42108 HAS SOUS 39160 HAS SOUPS 39160 WITH SCORE 39202.108
AT ITER 3183 NEW BEST:: SOT 109486 SOS 42106 HAS SOPS 42106 HAS SOUS 39136 HAS SOUPS 39136 WITH SCORE 39178.106
AT ITER 3184 NEW BEST:: SOT 109486 SOS 42054 HAS SOPS 42054 HAS SOUS 39084 HAS SOUPS 39084 WITH SCORE 39126.054
AT ITER 3198 NEW BEST:: SOT 109545 SOS 42003 HAS SOPS 42003 HAS SOUS 38982 HAS SOUPS 38982 WITH SCORE 39024.003
AT ITER 3218 NEW BEST:: SOT 109534 SOS 41981 HAS SOPS 41981 HAS SOUS 38960 HAS SOUPS 38960 WITH SCORE 39001.981
AT ITER 3225 NEW BEST:: SOT 109532 SOS 41951 HAS SOPS 41951 HAS SOUS 38958 HAS SOUPS 38958 WITH SCORE 38999.951
AT ITER 3229 NEW BEST:: SOT 109513 SOS 41913 HAS SOPS 41913 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 38961.913
AT ITER 3248 NEW BEST:: SOT 109513 SOS 41845 HAS SOPS 41845 HAS SOUS 38904 HAS SOUPS 38904 WITH SCORE 38945.845
AT ITER 3251 NEW BEST:: SOT 109494 SOS 41811 HAS SOPS 41811 HAS SOUS 38889 HAS SOUPS 38889 WITH SCORE 38930.811
AT ITER 3257 NEW BEST:: SOT 109488 SOS 41805 HAS SOPS 41805 HAS SOUS 38883 HAS SOUPS 38883 WITH SCORE 38924.805
AT ITER 3277 NEW BEST:: SOT 109482 SOS 41793 HAS SOPS 41793 HAS SOUS 38871 HAS SOUPS 38871 WITH SCORE 38912.793
AT ITER 3288 NEW BEST:: SOT 109482 SOS 41764 HAS SOPS 41764 HAS SOUS 38847 HAS SOUPS 38847 WITH SCORE 38888.764
AT ITER 3310 NEW BEST:: SOT 109362 SOS 41644 HAS SOPS 41644 HAS SOUS 38750 HAS SOUPS 38750 WITH SCORE 38791.644
AT ITER 3311 NEW BEST:: SOT 109327 SOS 41592 HAS SOPS 41592 HAS SOUS 38724 HAS SOUPS 38724 WITH SCORE 38765.592
AT ITER 3330 NEW BEST:: SOT 109314 SOS 41573 HAS SOPS 41573 HAS SOUS 38716 HAS SOUPS 38716 WITH SCORE 38757.573
AT ITER 3331 NEW BEST:: SOT 109310 SOS 41601 HAS SOPS 41601 HAS SOUS 38712 HAS SOUPS 38712 WITH SCORE 38753.601
AT ITER 3348 NEW BEST:: SOT 109295 SOS 41556 HAS SOPS 41556 HAS SOUS 38682 HAS SOUPS 38682 WITH SCORE 38723.556
AT ITER 3352 NEW BEST:: SOT 109298 SOS 41536 HAS SOPS 41536 HAS SOUS 38657 HAS SOUPS 38657 WITH SCORE 38698.536
AT ITER 3355 NEW BEST:: SOT 109236 SOS 41376 HAS SOPS 41376 HAS SOUS 38469 HAS SOUPS 38469 WITH SCORE 38510.376
AT ITER 3368 NEW BEST:: SOT 109181 SOS 41280 HAS SOPS 41280 HAS SOUS 38363 HAS SOUPS 38363 WITH SCORE 38404.28
AT ITER 3392 NEW BEST:: SOT 109162 SOS 41171 HAS SOPS 41171 HAS SOUS 38309 HAS SOUPS 38309 WITH SCORE 38350.171
AT ITER 3394 NEW BEST:: SOT 109154 SOS 41163 HAS SOPS 41163 HAS SOUS 38299 HAS SOUPS 38299 WITH SCORE 38340.163
AT ITER 3400 NEW BEST:: SOT 109139 SOS 41148 HAS SOPS 41148 HAS SOUS 38284 HAS SOUPS 38284 WITH SCORE 38325.148
AT ITER 3401 NEW BEST:: SOT 109120 SOS 41124 HAS SOPS 41124 HAS SOUS 38258 HAS SOUPS 38258 WITH SCORE 38299.124
AT ITER 3411 NEW BEST:: SOT 108959 SOS 40853 HAS SOPS 40853 HAS SOUS 37977 HAS SOUPS 37977 WITH SCORE 38017.853
AT ITER 3420 NEW BEST:: SOT 108954 SOS 40713 HAS SOPS 40713 HAS SOUS 37907 HAS SOUPS 37907 WITH SCORE 37947.713
AT ITER 3439 NEW BEST:: SOT 108931 SOS 40690 HAS SOPS 40690 HAS SOUS 37877 HAS SOUPS 37877 WITH SCORE 37917.69
AT ITER 3445 NEW BEST:: SOT 108895 SOS 40636 HAS SOPS 40636 HAS SOUS 37805 HAS SOUPS 37805 WITH SCORE 37845.636
AT ITER 3465 NEW BEST:: SOT 108880 SOS 40512 HAS SOPS 40512 HAS SOUS 37681 HAS SOUPS 37681 WITH SCORE 37721.512
AT ITER 3477 NEW BEST:: SOT 108879 SOS 40511 HAS SOPS 40511 HAS SOUS 37673 HAS SOUPS 37673 WITH SCORE 37713.511
AT ITER 3500 NEW BEST:: SOT 108868 SOS 40493 HAS SOPS 40493 HAS SOUS 37662 HAS SOUPS 37662 WITH SCORE 37702.493
AT ITER 3517 NEW BEST:: SOT 108868 SOS 40491 HAS SOPS 40491 HAS SOUS 37660 HAS SOUPS 37660 WITH SCORE 37700.491
AT ITER 3525 NEW BEST:: SOT 108767 SOS 40390 HAS SOPS 40390 HAS SOUS 37559 HAS SOUPS 37559 WITH SCORE 37599.39
AT ITER 3535 NEW BEST:: SOT 108721 SOS 40293 HAS SOPS 40293 HAS SOUS 37457 HAS SOUPS 37457 WITH SCORE 37497.293
AT ITER 3557 NEW BEST:: SOT 108685 SOS 40224 HAS SOPS 40224 HAS SOUS 37410 HAS SOUPS 37410 WITH SCORE 37450.224
AT ITER 3558 NEW BEST:: SOT 108675 SOS 40208 HAS SOPS 40208 HAS SOUS 37394 HAS SOUPS 37394 WITH SCORE 37434.208
AT ITER 3567 NEW BEST:: SOT 108698 SOS 40175 HAS SOPS 40175 HAS SOUS 37391 HAS SOUPS 37391 WITH SCORE 37431.175
AT ITER 3570 NEW BEST:: SOT 108696 SOS 40173 HAS SOPS 40173 HAS SOUS 37389 HAS SOUPS 37389 WITH SCORE 37429.173
AT ITER 3573 NEW BEST:: SOT 108622 SOS 40033 HAS SOPS 40033 HAS SOUS 37249 HAS SOUPS 37249 WITH SCORE 37289.033
AT ITER 3583 NEW BEST:: SOT 108584 SOS 39995 HAS SOPS 39995 HAS SOUS 37211 HAS SOUPS 37211 WITH SCORE 37250.995
AT ITER 3585 NEW BEST:: SOT 108496 SOS 39851 HAS SOPS 39851 HAS SOUS 37067 HAS SOUPS 37067 WITH SCORE 37106.851
AT ITER 3586 NEW BEST:: SOT 108478 SOS 39833 HAS SOPS 39833 HAS SOUS 37049 HAS SOUPS 37049 WITH SCORE 37088.833
AT ITER 3591 NEW BEST:: SOT 108437 SOS 39792 HAS SOPS 39792 HAS SOUS 37008 HAS SOUPS 37008 WITH SCORE 37047.792
AT ITER 3618 NEW BEST:: SOT 108421 SOS 39744 HAS SOPS 39744 HAS SOUS 36960 HAS SOUPS 36960 WITH SCORE 36999.744
AT ITER 3624 NEW BEST:: SOT 108338 SOS 39661 HAS SOPS 39661 HAS SOUS 36877 HAS SOUPS 36877 WITH SCORE 36916.661
AT ITER 3628 NEW BEST:: SOT 108338 SOS 39641 HAS SOPS 39641 HAS SOUS 36857 HAS SOUPS 36857 WITH SCORE 36896.641
AT ITER 3646 NEW BEST:: SOT 108305 SOS 39549 HAS SOPS 39549 HAS SOUS 36785 HAS SOUPS 36785 WITH SCORE 36824.549
AT ITER 3647 NEW BEST:: SOT 108295 SOS 39539 HAS SOPS 39539 HAS SOUS 36775 HAS SOUPS 36775 WITH SCORE 36814.539
AT ITER 3673 NEW BEST:: SOT 108287 SOS 39509 HAS SOPS 39509 HAS SOUS 36751 HAS SOUPS 36751 WITH SCORE 36790.509
AT ITER 3677 NEW BEST:: SOT 108272 SOS 39459 HAS SOPS 39459 HAS SOUS 36723 HAS SOUPS 36723 WITH SCORE 36762.459
AT ITER 3684 NEW BEST:: SOT 108215 SOS 39471 HAS SOPS 39471 HAS SOUS 36676 HAS SOUPS 36676 WITH SCORE 36715.471
AT ITER 3693 NEW BEST:: SOT 108190 SOS 39434 HAS SOPS 39434 HAS SOUS 36651 HAS SOUPS 36651 WITH SCORE 36690.434
AT ITER 3697 NEW BEST:: SOT 108190 SOS 39354 HAS SOPS 39354 HAS SOUS 36584 HAS SOUPS 36584 WITH SCORE 36623.354
AT ITER 3721 NEW BEST:: SOT 108156 SOS 39320 HAS SOPS 39320 HAS SOUS 36479 HAS SOUPS 36479 WITH SCORE 36518.32
AT ITER 3724 NEW BEST:: SOT 108156 SOS 39320 HAS SOPS 39320 HAS SOUS 36443 HAS SOUPS 36443 WITH SCORE 36482.32
AT ITER 3727 NEW BEST:: SOT 108151 SOS 39315 HAS SOPS 39315 HAS SOUS 36438 HAS SOUPS 36438 WITH SCORE 36477.315
AT ITER 3729 NEW BEST:: SOT 108149 SOS 39313 HAS SOPS 39313 HAS SOUS 36434 HAS SOUPS 36434 WITH SCORE 36473.313
AT ITER 3760 NEW BEST:: SOT 108149 SOS 39311 HAS SOPS 39311 HAS SOUS 36433 HAS SOUPS 36433 WITH SCORE 36472.311
AT ITER 3796 NEW BEST:: SOT 108149 SOS 39292 HAS SOPS 39292 HAS SOUS 36433 HAS SOUPS 36433 WITH SCORE 36472.292
AT ITER 3802 NEW BEST:: SOT 108142 SOS 39296 HAS SOPS 39296 HAS SOUS 36402 HAS SOUPS 36402 WITH SCORE 36441.296
AT ITER 3809 NEW BEST:: SOT 108139 SOS 39305 HAS SOPS 39305 HAS SOUS 36401 HAS SOUPS 36401 WITH SCORE 36440.305
AT ITER 3815 NEW BEST:: SOT 108162 SOS 39328 HAS SOPS 39328 HAS SOUS 36388 HAS SOUPS 36388 WITH SCORE 36427.328
AT ITER 3824 NEW BEST:: SOT 108126 SOS 39340 HAS SOPS 39340 HAS SOUS 36387 HAS SOUPS 36387 WITH SCORE 36426.34
AT ITER 3837 NEW BEST:: SOT 108110 SOS 39287 HAS SOPS 39287 HAS SOUS 36334 HAS SOUPS 36334 WITH SCORE 36373.287
AT ITER 3855 NEW BEST:: SOT 108110 SOS 39271 HAS SOPS 39271 HAS SOUS 36318 HAS SOUPS 36318 WITH SCORE 36357.271
AT ITER 3871 NEW BEST:: SOT 108099 SOS 39260 HAS SOPS 39260 HAS SOUS 36307 HAS SOUPS 36307 WITH SCORE 36346.26
AT ITER 3888 NEW BEST:: SOT 108082 SOS 39243 HAS SOPS 39243 HAS SOUS 36290 HAS SOUPS 36290 WITH SCORE 36329.243
AT ITER 3906 NEW BEST:: SOT 108077 SOS 39219 HAS SOPS 39219 HAS SOUS 36266 HAS SOUPS 36266 WITH SCORE 36305.219
AT ITER 3929 NEW BEST:: SOT 108053 SOS 39195 HAS SOPS 39195 HAS SOUS 36242 HAS SOUPS 36242 WITH SCORE 36281.195
AT ITER 3948 NEW BEST:: SOT 108031 SOS 39173 HAS SOPS 39173 HAS SOUS 36234 HAS SOUPS 36234 WITH SCORE 36273.173
AT ITER 3958 NEW BEST:: SOT 108031 SOS 39146 HAS SOPS 39146 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36246.146
AT ITER 3962 NEW BEST:: SOT 108031 SOS 39141 HAS SOPS 39141 HAS SOUS 36202 HAS SOUPS 36202 WITH SCORE 36241.141
AT ITER 3976 NEW BEST:: SOT 107998 SOS 39108 HAS SOPS 39108 HAS SOUS 36169 HAS SOUPS 36169 WITH SCORE 36208.108
AT ITER 3977 NEW BEST:: SOT 107879 SOS 38987 HAS SOPS 38987 HAS SOUS 36044 HAS SOUPS 36044 WITH SCORE 36082.987
AT ITER 3989 NEW BEST:: SOT 107879 SOS 38987 HAS SOPS 38987 HAS SOUS 36036 HAS SOUPS 36036 WITH SCORE 36074.987
AT ITER 3990 NEW BEST:: SOT 107933 SOS 38958 HAS SOPS 38958 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36071.958
AT ITER 4000 NEW BEST:: SOT 107933 SOS 38953 HAS SOPS 38953 HAS SOUS 36028 HAS SOUPS 36028 WITH SCORE 36066.953
AT ITER 4025 NEW BEST:: SOT 107885 SOS 38880 HAS SOPS 38880 HAS SOUS 35988 HAS SOUPS 35988 WITH SCORE 36026.88
AT ITER 4036 NEW BEST:: SOT 107899 SOS 38892 HAS SOPS 38892 HAS SOUS 35982 HAS SOUPS 35982 WITH SCORE 36020.892
AT ITER 4060 NEW BEST:: SOT 107870 SOS 38827 HAS SOPS 38827 HAS SOUS 35917 HAS SOUPS 35917 WITH SCORE 35955.827
AT ITER 4077 NEW BEST:: SOT 107870 SOS 38806 HAS SOPS 38806 HAS SOUS 35917 HAS SOUPS 35917 WITH SCORE 35955.806
AT ITER 4115 NEW BEST:: SOT 107835 SOS 38723 HAS SOPS 38723 HAS SOUS 35836 HAS SOUPS 35836 WITH SCORE 35874.723
AT ITER 4155 NEW BEST:: SOT 107660 SOS 38521 HAS SOPS 38521 HAS SOUS 35634 HAS SOUPS 35634 WITH SCORE 35672.521
AT ITER 4184 NEW BEST:: SOT 107606 SOS 38470 HAS SOPS 38470 HAS SOUS 35583 HAS SOUPS 35583 WITH SCORE 35621.47
AT ITER 4189 NEW BEST:: SOT 107565 SOS 38437 HAS SOPS 38437 HAS SOUS 35550 HAS SOUPS 35550 WITH SCORE 35588.437
AT ITER 4206 NEW BEST:: SOT 107582 SOS 38430 HAS SOPS 38430 HAS SOUS 35550 HAS SOUPS 35550 WITH SCORE 35588.43
AT ITER 4213 NEW BEST:: SOT 107582 SOS 38414 HAS SOPS 38414 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35572.414
AT ITER 4219 NEW BEST:: SOT 107582 SOS 38367 HAS SOPS 38367 HAS SOUS 35487 HAS SOUPS 35487 WITH SCORE 35525.367
AT ITER 4226 NEW BEST:: SOT 107579 SOS 38377 HAS SOPS 38377 HAS SOUS 35481 HAS SOUPS 35481 WITH SCORE 35519.377
AT ITER 4228 NEW BEST:: SOT 107518 SOS 38285 HAS SOPS 38285 HAS SOUS 35389 HAS SOUPS 35389 WITH SCORE 35427.285
AT ITER 4230 NEW BEST:: SOT 107503 SOS 38265 HAS SOPS 38265 HAS SOUS 35369 HAS SOUPS 35369 WITH SCORE 35407.265
AT ITER 4240 NEW BEST:: SOT 107503 SOS 38267 HAS SOPS 38267 HAS SOUS 35355 HAS SOUPS 35355 WITH SCORE 35393.267
AT ITER 4243 NEW BEST:: SOT 107492 SOS 38256 HAS SOPS 38256 HAS SOUS 35344 HAS SOUPS 35344 WITH SCORE 35382.256
AT ITER 4250 NEW BEST:: SOT 107379 SOS 38057 HAS SOPS 38057 HAS SOUS 35145 HAS SOUPS 35145 WITH SCORE 35183.057
AT ITER 4281 NEW BEST:: SOT 107292 SOS 38051 HAS SOPS 38051 HAS SOUS 35046 HAS SOUPS 35046 WITH SCORE 35084.051
AT ITER 4282 NEW BEST:: SOT 107321 SOS 38046 HAS SOPS 38046 HAS SOUS 35041 HAS SOUPS 35041 WITH SCORE 35079.046
AT ITER 4288 NEW BEST:: SOT 107309 SOS 38022 HAS SOPS 38022 HAS SOUS 35023 HAS SOUPS 35023 WITH SCORE 35061.022
AT ITER 4298 NEW BEST:: SOT 107270 SOS 37936 HAS SOPS 37936 HAS SOUS 34934 HAS SOUPS 34934 WITH SCORE 34971.936
AT ITER 4307 NEW BEST:: SOT 107201 SOS 37846 HAS SOPS 37846 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34869.846
AT ITER 4309 NEW BEST:: SOT 107213 SOS 37824 HAS SOPS 37824 HAS SOUS 34810 HAS SOUPS 34810 WITH SCORE 34847.824
AT ITER 4316 NEW BEST:: SOT 107163 SOS 37756 HAS SOPS 37756 HAS SOUS 34742 HAS SOUPS 34742 WITH SCORE 34779.756
AT ITER 4362 NEW BEST:: SOT 107162 SOS 37755 HAS SOPS 37755 HAS SOUS 34740 HAS SOUPS 34740 WITH SCORE 34777.755
AT ITER 4389 NEW BEST:: SOT 107004 SOS 37597 HAS SOPS 37597 HAS SOUS 34582 HAS SOUPS 34582 WITH SCORE 34619.597
AT ITER 4390 NEW BEST:: SOT 107000 SOS 37535 HAS SOPS 37535 HAS SOUS 34520 HAS SOUPS 34520 WITH SCORE 34557.535
AT ITER 4406 NEW BEST:: SOT 106992 SOS 37515 HAS SOPS 37515 HAS SOUS 34500 HAS SOUPS 34500 WITH SCORE 34537.515
AT ITER 4414 NEW BEST:: SOT 106992 SOS 37510 HAS SOPS 37510 HAS SOUS 34495 HAS SOUPS 34495 WITH SCORE 34532.51
AT ITER 4420 NEW BEST:: SOT 106992 SOS 37492 HAS SOPS 37492 HAS SOUS 34477 HAS SOUPS 34477 WITH SCORE 34514.492
AT ITER 4432 NEW BEST:: SOT 106981 SOS 37470 HAS SOPS 37470 HAS SOUS 34455 HAS SOUPS 34455 WITH SCORE 34492.47
AT ITER 4437 NEW BEST:: SOT 106961 SOS 37449 HAS SOPS 37449 HAS SOUS 34434 HAS SOUPS 34434 WITH SCORE 34471.449
AT ITER 4444 NEW BEST:: SOT 107032 SOS 37298 HAS SOPS 37298 HAS SOUS 34407 HAS SOUPS 34407 WITH SCORE 34444.298
AT ITER 4446 NEW BEST:: SOT 107032 SOS 37228 HAS SOPS 37228 HAS SOUS 34377 HAS SOUPS 34377 WITH SCORE 34414.228
AT ITER 4449 NEW BEST:: SOT 107020 SOS 37204 HAS SOPS 37204 HAS SOUS 34353 HAS SOUPS 34353 WITH SCORE 34390.204
AT ITER 4455 NEW BEST:: SOT 107016 SOS 37196 HAS SOPS 37196 HAS SOUS 34347 HAS SOUPS 34347 WITH SCORE 34384.196
AT ITER 4458 NEW BEST:: SOT 106928 SOS 37139 HAS SOPS 37139 HAS SOUS 34259 HAS SOUPS 34259 WITH SCORE 34296.139
AT ITER 4463 NEW BEST:: SOT 106893 SOS 36999 HAS SOPS 36999 HAS SOUS 34189 HAS SOUPS 34189 WITH SCORE 34225.999
AT ITER 4505 NEW BEST:: SOT 106883 SOS 36979 HAS SOPS 36979 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34210.979
AT ITER 4532 NEW BEST:: SOT 106838 SOS 36790 HAS SOPS 36790 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34044.79
AT ITER 4543 NEW BEST:: SOT 106837 SOS 36800 HAS SOPS 36800 HAS SOUS 34005 HAS SOUPS 34005 WITH SCORE 34041.8
AT ITER 4545 NEW BEST:: SOT 106819 SOS 36724 HAS SOPS 36724 HAS SOUS 33929 HAS SOUPS 33929 WITH SCORE 33965.724
AT ITER 4547 NEW BEST:: SOT 106838 SOS 36703 HAS SOPS 36703 HAS SOUS 33904 HAS SOUPS 33904 WITH SCORE 33940.703
AT ITER 4550 NEW BEST:: SOT 106837 SOS 36702 HAS SOPS 36702 HAS SOUS 33903 HAS SOUPS 33903 WITH SCORE 33939.702
AT ITER 4557 NEW BEST:: SOT 106826 SOS 36691 HAS SOPS 36691 HAS SOUS 33892 HAS SOUPS 33892 WITH SCORE 33928.691
AT ITER 4573 NEW BEST:: SOT 106766 SOS 36631 HAS SOPS 36631 HAS SOUS 33776 HAS SOUPS 33776 WITH SCORE 33812.631
AT ITER 4610 NEW BEST:: SOT 106766 SOS 36623 HAS SOPS 36623 HAS SOUS 33772 HAS SOUPS 33772 WITH SCORE 33808.623
AT ITER 4621 NEW BEST:: SOT 106760 SOS 36617 HAS SOPS 36617 HAS SOUS 33766 HAS SOUPS 33766 WITH SCORE 33802.617
AT ITER 4623 NEW BEST:: SOT 106656 SOS 36425 HAS SOPS 36425 HAS SOUS 33574 HAS SOUPS 33574 WITH SCORE 33610.425
AT ITER 4627 NEW BEST:: SOT 106624 SOS 36398 HAS SOPS 36398 HAS SOUS 33547 HAS SOUPS 33547 WITH SCORE 33583.398
AT ITER 4632 NEW BEST:: SOT 106550 SOS 36346 HAS SOPS 36346 HAS SOUS 33472 HAS SOUPS 33472 WITH SCORE 33508.346
AT ITER 4652 NEW BEST:: SOT 106550 SOS 36311 HAS SOPS 36311 HAS SOUS 33437 HAS SOUPS 33437 WITH SCORE 33473.311
AT ITER 4653 NEW BEST:: SOT 106414 SOS 36067 HAS SOPS 36067 HAS SOUS 33193 HAS SOUPS 33193 WITH SCORE 33229.067
AT ITER 4659 NEW BEST:: SOT 106410 SOS 36063 HAS SOPS 36063 HAS SOUS 33189 HAS SOUPS 33189 WITH SCORE 33225.063
AT ITER 4670 NEW BEST:: SOT 106417 SOS 36070 HAS SOPS 36070 HAS SOUS 33188 HAS SOUPS 33188 WITH SCORE 33224.07
AT ITER 4680 NEW BEST:: SOT 106417 SOS 35818 HAS SOPS 35818 HAS SOUS 33104 HAS SOUPS 33104 WITH SCORE 33139.818
AT ITER 4688 NEW BEST:: SOT 106417 SOS 35825 HAS SOPS 35825 HAS SOUS 33092 HAS SOUPS 33092 WITH SCORE 33127.825
AT ITER 4690 NEW BEST:: SOT 106328 SOS 35709 HAS SOPS 35709 HAS SOUS 32976 HAS SOUPS 32976 WITH SCORE 33011.709
AT ITER 4691 NEW BEST:: SOT 106323 SOS 35679 HAS SOPS 35679 HAS SOUS 32966 HAS SOUPS 32966 WITH SCORE 33001.679
AT ITER 4715 NEW BEST:: SOT 106303 SOS 35653 HAS SOPS 35653 HAS SOUS 32940 HAS SOUPS 32940 WITH SCORE 32975.653
AT ITER 4726 NEW BEST:: SOT 106300 SOS 35643 HAS SOPS 35643 HAS SOUS 32930 HAS SOUPS 32930 WITH SCORE 32965.643
AT ITER 4741 NEW BEST:: SOT 106298 SOS 35640 HAS SOPS 35640 HAS SOUS 32927 HAS SOUPS 32927 WITH SCORE 32962.64
AT ITER 4743 NEW BEST:: SOT 106298 SOS 35574 HAS SOPS 35574 HAS SOUS 32888 HAS SOUPS 32888 WITH SCORE 32923.574
AT ITER 4775 NEW BEST:: SOT 106298 SOS 35565 HAS SOPS 35565 HAS SOUS 32879 HAS SOUPS 32879 WITH SCORE 32914.565
AT ITER 4795 NEW BEST:: SOT 106298 SOS 35563 HAS SOPS 35563 HAS SOUS 32877 HAS SOUPS 32877 WITH SCORE 32912.563
AT ITER 4817 NEW BEST:: SOT 106249 SOS 35486 HAS SOPS 35486 HAS SOUS 32804 HAS SOUPS 32804 WITH SCORE 32839.486
AT ITER 4838 NEW BEST:: SOT 106269 SOS 35483 HAS SOPS 35483 HAS SOUS 32801 HAS SOUPS 32801 WITH SCORE 32836.483
AT ITER 4864 NEW BEST:: SOT 106235 SOS 35415 HAS SOPS 35415 HAS SOUS 32733 HAS SOUPS 32733 WITH SCORE 32768.415
AT ITER 4866 NEW BEST:: SOT 106207 SOS 35394 HAS SOPS 35394 HAS SOUS 32648 HAS SOUPS 32648 WITH SCORE 32683.394
AT ITER 4869 NEW BEST:: SOT 106153 SOS 35340 HAS SOPS 35340 HAS SOUS 32594 HAS SOUPS 32594 WITH SCORE 32629.34
AT ITER 4893 NEW BEST:: SOT 106153 SOS 35316 HAS SOPS 35316 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32605.316
AT ITER 4908 NEW BEST:: SOT 106153 SOS 35293 HAS SOPS 35293 HAS SOUS 32505 HAS SOUPS 32505 WITH SCORE 32540.293
AT ITER 4909 NEW BEST:: SOT 106132 SOS 35290 HAS SOPS 35290 HAS SOUS 32502 HAS SOUPS 32502 WITH SCORE 32537.29
AT ITER 4920 NEW BEST:: SOT 106126 SOS 35293 HAS SOPS 35293 HAS SOUS 32499 HAS SOUPS 32499 WITH SCORE 32534.293
AT ITER 4927 NEW BEST:: SOT 106108 SOS 35269 HAS SOPS 35269 HAS SOUS 32475 HAS SOUPS 32475 WITH SCORE 32510.269
AT ITER 4937 NEW BEST:: SOT 106117 SOS 35206 HAS SOPS 35206 HAS SOUS 32457 HAS SOUPS 32457 WITH SCORE 32492.206
AT ITER 4940 NEW BEST:: SOT 106090 SOS 35179 HAS SOPS 35179 HAS SOUS 32430 HAS SOUPS 32430 WITH SCORE 32465.179
AT ITER 4952 NEW BEST:: SOT 106073 SOS 35078 HAS SOPS 35078 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32364.078
AT ITER 4969 NEW BEST:: SOT 106057 SOS 35022 HAS SOPS 35022 HAS SOUS 32317 HAS SOUPS 32317 WITH SCORE 32352.022
AT ITER 4972 NEW BEST:: SOT 106053 SOS 35018 HAS SOPS 35018 HAS SOUS 32313 HAS SOUPS 32313 WITH SCORE 32348.018
AT ITER 4990 NEW BEST:: SOT 106047 SOS 35012 HAS SOPS 35012 HAS SOUS 32307 HAS SOUPS 32307 WITH SCORE 32342.012
AT ITER 5007 NEW BEST:: SOT 105995 SOS 34927 HAS SOPS 34927 HAS SOUS 32222 HAS SOUPS 32222 WITH SCORE 32256.927
AT ITER 5012 NEW BEST:: SOT 105995 SOS 34911 HAS SOPS 34911 HAS SOUS 32206 HAS SOUPS 32206 WITH SCORE 32240.911
AT ITER 5035 NEW BEST:: SOT 105970 SOS 34886 HAS SOPS 34886 HAS SOUS 32199 HAS SOUPS 32199 WITH SCORE 32233.886
AT ITER 5037 NEW BEST:: SOT 105884 SOS 34796 HAS SOPS 34796 HAS SOUS 32136 HAS SOUPS 32136 WITH SCORE 32170.796
AT ITER 5048 NEW BEST:: SOT 105888 SOS 34761 HAS SOPS 34761 HAS SOUS 32114 HAS SOUPS 32114 WITH SCORE 32148.761
AT ITER 5061 NEW BEST:: SOT 105906 SOS 34776 HAS SOPS 34776 HAS SOUS 32095 HAS SOUPS 32095 WITH SCORE 32129.776
AT ITER 5083 NEW BEST:: SOT 105866 SOS 34696 HAS SOPS 34696 HAS SOUS 31975 HAS SOUPS 31975 WITH SCORE 32009.696
AT ITER 5086 NEW BEST:: SOT 105858 SOS 34688 HAS SOPS 34688 HAS SOUS 31967 HAS SOUPS 31967 WITH SCORE 32001.688
AT ITER 5102 NEW BEST:: SOT 105843 SOS 34673 HAS SOPS 34673 HAS SOUS 31952 HAS SOUPS 31952 WITH SCORE 31986.673
AT ITER 5108 NEW BEST:: SOT 105827 SOS 34564 HAS SOPS 34564 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31840.564
AT ITER 5114 NEW BEST:: SOT 105818 SOS 34520 HAS SOPS 34520 HAS SOUS 31759 HAS SOUPS 31759 WITH SCORE 31793.52
AT ITER 5116 NEW BEST:: SOT 105886 SOS 34517 HAS SOPS 34517 HAS SOUS 31733 HAS SOUPS 31733 WITH SCORE 31767.517
AT ITER 5210 NEW BEST:: SOT 105886 SOS 34486 HAS SOPS 34486 HAS SOUS 31702 HAS SOUPS 31702 WITH SCORE 31736.486
AT ITER 5228 NEW BEST:: SOT 105886 SOS 34422 HAS SOPS 34422 HAS SOUS 31662 HAS SOUPS 31662 WITH SCORE 31696.422
AT ITER 5249 NEW BEST:: SOT 105862 SOS 34368 HAS SOPS 34368 HAS SOUS 31608 HAS SOUPS 31608 WITH SCORE 31642.368
AT ITER 5268 NEW BEST:: SOT 105857 SOS 34368 HAS SOPS 34368 HAS SOUS 31588 HAS SOUPS 31588 WITH SCORE 31622.368
AT ITER 5270 NEW BEST:: SOT 105795 SOS 34395 HAS SOPS 34395 HAS SOUS 31582 HAS SOUPS 31582 WITH SCORE 31616.395
AT ITER 5276 NEW BEST:: SOT 105795 SOS 34391 HAS SOPS 34391 HAS SOUS 31578 HAS SOUPS 31578 WITH SCORE 31612.391
AT ITER 5280 NEW BEST:: SOT 105868 SOS 34384 HAS SOPS 34384 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31605.384
AT ITER 5296 NEW BEST:: SOT 105873 SOS 34360 HAS SOPS 34360 HAS SOUS 31557 HAS SOUPS 31557 WITH SCORE 31591.36
AT ITER 5305 NEW BEST:: SOT 105864 SOS 34350 HAS SOPS 34350 HAS SOUS 31539 HAS SOUPS 31539 WITH SCORE 31573.35
AT ITER 5324 NEW BEST:: SOT 105866 SOS 34348 HAS SOPS 34348 HAS SOUS 31535 HAS SOUPS 31535 WITH SCORE 31569.348
AT ITER 5356 NEW BEST:: SOT 105862 SOS 34338 HAS SOPS 34338 HAS SOUS 31527 HAS SOUPS 31527 WITH SCORE 31561.338
AT ITER 5361 NEW BEST:: SOT 105859 SOS 34335 HAS SOPS 34335 HAS SOUS 31524 HAS SOUPS 31524 WITH SCORE 31558.335
AT ITER 5367 NEW BEST:: SOT 105737 SOS 34213 HAS SOPS 34213 HAS SOUS 31402 HAS SOUPS 31402 WITH SCORE 31436.213
AT ITER 5381 NEW BEST:: SOT 105737 SOS 34198 HAS SOPS 34198 HAS SOUS 31382 HAS SOUPS 31382 WITH SCORE 31416.198
AT ITER 5417 NEW BEST:: SOT 105752 SOS 34209 HAS SOPS 34209 HAS SOUS 31373 HAS SOUPS 31373 WITH SCORE 31407.209
AT ITER 5425 NEW BEST:: SOT 105738 SOS 34194 HAS SOPS 34194 HAS SOUS 31338 HAS SOUPS 31338 WITH SCORE 31372.194
AT ITER 5463 NEW BEST:: SOT 105692 SOS 34088 HAS SOPS 34088 HAS SOUS 31246 HAS SOUPS 31246 WITH SCORE 31280.088
AT ITER 5487 NEW BEST:: SOT 105692 SOS 34087 HAS SOPS 34087 HAS SOUS 31245 HAS SOUPS 31245 WITH SCORE 31279.087
AT ITER 5502 NEW BEST:: SOT 105692 SOS 34084 HAS SOPS 34084 HAS SOUS 31245 HAS SOUPS 31245 WITH SCORE 31279.084
AT ITER 5503 NEW BEST:: SOT 105768 SOS 34160 HAS SOPS 34160 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31198.16
AT ITER 5520 NEW BEST:: SOT 105695 SOS 34193 HAS SOPS 34193 HAS SOUS 31162 HAS SOUPS 31162 WITH SCORE 31196.193
AT ITER 5530 NEW BEST:: SOT 105685 SOS 34180 HAS SOPS 34180 HAS SOUS 31149 HAS SOUPS 31149 WITH SCORE 31183.18
AT ITER 5574 NEW BEST:: SOT 105681 SOS 34183 HAS SOPS 34183 HAS SOUS 31144 HAS SOUPS 31144 WITH SCORE 31178.183
AT ITER 5580 NEW BEST:: SOT 105655 SOS 34138 HAS SOPS 34138 HAS SOUS 31099 HAS SOUPS 31099 WITH SCORE 31133.138
AT ITER 5582 NEW BEST:: SOT 105668 SOS 34123 HAS SOPS 34123 HAS SOUS 31088 HAS SOUPS 31088 WITH SCORE 31122.123
AT ITER 5596 NEW BEST:: SOT 105664 SOS 34115 HAS SOPS 34115 HAS SOUS 31080 HAS SOUPS 31080 WITH SCORE 31114.115
AT ITER 5647 NEW BEST:: SOT 105627 SOS 34071 HAS SOPS 34071 HAS SOUS 31041 HAS SOUPS 31041 WITH SCORE 31075.071
AT ITER 5655 NEW BEST:: SOT 105577 SOS 33981 HAS SOPS 33981 HAS SOUS 30971 HAS SOUPS 30971 WITH SCORE 31004.981
AT ITER 5660 NEW BEST:: SOT 105573 SOS 33977 HAS SOPS 33977 HAS SOUS 30965 HAS SOUPS 30965 WITH SCORE 30998.977
AT ITER 5685 NEW BEST:: SOT 105588 SOS 33974 HAS SOPS 33974 HAS SOUS 30962 HAS SOUPS 30962 WITH SCORE 30995.974
AT ITER 5690 NEW BEST:: SOT 105577 SOS 33952 HAS SOPS 33952 HAS SOUS 30951 HAS SOUPS 30951 WITH SCORE 30984.952
AT ITER 5737 NEW BEST:: SOT 105577 SOS 33926 HAS SOPS 33926 HAS SOUS 30949 HAS SOUPS 30949 WITH SCORE 30982.926
AT ITER 5746 NEW BEST:: SOT 105575 SOS 33922 HAS SOPS 33922 HAS SOUS 30945 HAS SOUPS 30945 WITH SCORE 30978.922
AT ITER 5749 NEW BEST:: SOT 105567 SOS 33862 HAS SOPS 33862 HAS SOUS 30895 HAS SOUPS 30895 WITH SCORE 30928.862
AT ITER 5763 NEW BEST:: SOT 105556 SOS 33855 HAS SOPS 33855 HAS SOUS 30888 HAS SOUPS 30888 WITH SCORE 30921.855
AT ITER 5778 NEW BEST:: SOT 105532 SOS 33651 HAS SOPS 33651 HAS SOUS 30684 HAS SOUPS 30684 WITH SCORE 30717.651
AT ITER 5802 NEW BEST:: SOT 105530 SOS 33648 HAS SOPS 33648 HAS SOUS 30681 HAS SOUPS 30681 WITH SCORE 30714.648
AT ITER 5842 NEW BEST:: SOT 105530 SOS 33634 HAS SOPS 33634 HAS SOUS 30681 HAS SOUPS 30681 WITH SCORE 30714.634
AT ITER 5881 NEW BEST:: SOT 105485 SOS 33555 HAS SOPS 33555 HAS SOUS 30602 HAS SOUPS 30602 WITH SCORE 30635.555
AT ITER 5884 NEW BEST:: SOT 105434 SOS 33504 HAS SOPS 33504 HAS SOUS 30551 HAS SOUPS 30551 WITH SCORE 30584.504
AT ITER 5914 NEW BEST:: SOT 105422 SOS 33475 HAS SOPS 33475 HAS SOUS 30522 HAS SOUPS 30522 WITH SCORE 30555.475
AT ITER 5918 NEW BEST:: SOT 105420 SOS 33471 HAS SOPS 33471 HAS SOUS 30520 HAS SOUPS 30520 WITH SCORE 30553.471
AT ITER 5952 NEW BEST:: SOT 105432 SOS 33471 HAS SOPS 33471 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30537.471
AT ITER 5982 NEW BEST:: SOT 105432 SOS 33471 HAS SOPS 33471 HAS SOUS 30499 HAS SOUPS 30499 WITH SCORE 30532.471
AT ITER 5991 NEW BEST:: SOT 105384 SOS 33462 HAS SOPS 33462 HAS SOUS 30479 HAS SOUPS 30479 WITH SCORE 30512.462
AT ITER 5993 NEW BEST:: SOT 105384 SOS 33449 HAS SOPS 33449 HAS SOUS 30466 HAS SOUPS 30466 WITH SCORE 30499.449
AT ITER 5998 NEW BEST:: SOT 105384 SOS 33446 HAS SOPS 33446 HAS SOUS 30463 HAS SOUPS 30463 WITH SCORE 30496.446
AT ITER 6008 NEW BEST:: SOT 105384 SOS 33441 HAS SOPS 33441 HAS SOUS 30458 HAS SOUPS 30458 WITH SCORE 30491.441
AT ITER 6017 NEW BEST:: SOT 105377 SOS 33425 HAS SOPS 33425 HAS SOUS 30442 HAS SOUPS 30442 WITH SCORE 30475.425
AT ITER 6035 NEW BEST:: SOT 105374 SOS 33416 HAS SOPS 33416 HAS SOUS 30439 HAS SOUPS 30439 WITH SCORE 30472.416
AT ITER 6052 NEW BEST:: SOT 105364 SOS 33406 HAS SOPS 33406 HAS SOUS 30429 HAS SOUPS 30429 WITH SCORE 30462.406
AT ITER 6053 NEW BEST:: SOT 105351 SOS 33359 HAS SOPS 33359 HAS SOUS 30382 HAS SOUPS 30382 WITH SCORE 30415.359
AT ITER 6084 NEW BEST:: SOT 105303 SOS 33176 HAS SOPS 33176 HAS SOUS 30281 HAS SOUPS 30281 WITH SCORE 30314.176
AT ITER 6095 NEW BEST:: SOT 105289 SOS 33032 HAS SOPS 33032 HAS SOUS 30244 HAS SOUPS 30244 WITH SCORE 30277.032
AT ITER 6111 NEW BEST:: SOT 105291 SOS 33027 HAS SOPS 33027 HAS SOUS 30243 HAS SOUPS 30243 WITH SCORE 30276.027
AT ITER 6161 NEW BEST:: SOT 105282 SOS 32949 HAS SOPS 32949 HAS SOUS 30182 HAS SOUPS 30182 WITH SCORE 30214.949
AT ITER 6175 NEW BEST:: SOT 105240 SOS 32983 HAS SOPS 32983 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30204.983
AT ITER 6200 NEW BEST:: SOT 105236 SOS 32979 HAS SOPS 32979 HAS SOUS 30168 HAS SOUPS 30168 WITH SCORE 30200.979
AT ITER 6209 NEW BEST:: SOT 105236 SOS 32943 HAS SOPS 32943 HAS SOUS 30132 HAS SOUPS 30132 WITH SCORE 30164.943
AT ITER 6228 NEW BEST:: SOT 105236 SOS 32937 HAS SOPS 32937 HAS SOUS 30126 HAS SOUPS 30126 WITH SCORE 30158.937
AT ITER 6230 NEW BEST:: SOT 105236 SOS 32936 HAS SOPS 32936 HAS SOUS 30125 HAS SOUPS 30125 WITH SCORE 30157.936
AT ITER 6258 NEW BEST:: SOT 105236 SOS 32917 HAS SOPS 32917 HAS SOUS 30106 HAS SOUPS 30106 WITH SCORE 30138.917
AT ITER 6268 NEW BEST:: SOT 105214 SOS 32895 HAS SOPS 32895 HAS SOUS 30084 HAS SOUPS 30084 WITH SCORE 30116.895
AT ITER 6274 NEW BEST:: SOT 105197 SOS 32865 HAS SOPS 32865 HAS SOUS 30054 HAS SOUPS 30054 WITH SCORE 30086.865
AT ITER 6283 NEW BEST:: SOT 105157 SOS 32805 HAS SOPS 32805 HAS SOUS 29994 HAS SOUPS 29994 WITH SCORE 30026.805
AT ITER 6291 NEW BEST:: SOT 105154 SOS 32796 HAS SOPS 32796 HAS SOUS 29988 HAS SOUPS 29988 WITH SCORE 30020.796
AT ITER 6292 NEW BEST:: SOT 105119 SOS 32674 HAS SOPS 32674 HAS SOUS 29895 HAS SOUPS 29895 WITH SCORE 29927.674
AT ITER 6300 NEW BEST:: SOT 105101 SOS 32664 HAS SOPS 32664 HAS SOUS 29885 HAS SOUPS 29885 WITH SCORE 29917.664
AT ITER 6301 NEW BEST:: SOT 105057 SOS 32597 HAS SOPS 32597 HAS SOUS 29818 HAS SOUPS 29818 WITH SCORE 29850.597
AT ITER 6312 NEW BEST:: SOT 105057 SOS 32594 HAS SOPS 32594 HAS SOUS 29815 HAS SOUPS 29815 WITH SCORE 29847.594
AT ITER 6318 NEW BEST:: SOT 105057 SOS 32277 HAS SOPS 32277 HAS SOUS 29760 HAS SOUPS 29760 WITH SCORE 29792.277
AT ITER 6323 NEW BEST:: SOT 105048 SOS 32255 HAS SOPS 32255 HAS SOUS 29738 HAS SOUPS 29738 WITH SCORE 29770.255
AT ITER 6330 NEW BEST:: SOT 105048 SOS 32224 HAS SOPS 32224 HAS SOUS 29738 HAS SOUPS 29738 WITH SCORE 29770.224
AT ITER 6337 NEW BEST:: SOT 105009 SOS 32185 HAS SOPS 32185 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29731.185
AT ITER 6345 NEW BEST:: SOT 104999 SOS 32160 HAS SOPS 32160 HAS SOUS 29680 HAS SOUPS 29680 WITH SCORE 29712.16
AT ITER 6348 NEW BEST:: SOT 104983 SOS 32144 HAS SOPS 32144 HAS SOUS 29664 HAS SOUPS 29664 WITH SCORE 29696.144
AT ITER 6354 NEW BEST:: SOT 104977 SOS 32137 HAS SOPS 32137 HAS SOUS 29661 HAS SOUPS 29661 WITH SCORE 29693.137
AT ITER 6356 NEW BEST:: SOT 104968 SOS 32119 HAS SOPS 32119 HAS SOUS 29652 HAS SOUPS 29652 WITH SCORE 29684.119
AT ITER 6371 NEW BEST:: SOT 104927 SOS 32083 HAS SOPS 32083 HAS SOUS 29597 HAS SOUPS 29597 WITH SCORE 29629.083
AT ITER 6377 NEW BEST:: SOT 104902 SOS 32033 HAS SOPS 32033 HAS SOUS 29547 HAS SOUPS 29547 WITH SCORE 29579.033
AT ITER 6386 NEW BEST:: SOT 104873 SOS 31943 HAS SOPS 31943 HAS SOUS 29457 HAS SOUPS 29457 WITH SCORE 29488.943
AT ITER 6526 NEW BEST:: SOT 104839 SOS 31915 HAS SOPS 31915 HAS SOUS 29389 HAS SOUPS 29389 WITH SCORE 29420.915
AT ITER 6531 NEW BEST:: SOT 104847 SOS 31899 HAS SOPS 31899 HAS SOUS 29381 HAS SOUPS 29381 WITH SCORE 29412.899
AT ITER 6534 NEW BEST:: SOT 104835 SOS 31879 HAS SOPS 31879 HAS SOUS 29361 HAS SOUPS 29361 WITH SCORE 29392.879
AT ITER 6554 NEW BEST:: SOT 104823 SOS 31867 HAS SOPS 31867 HAS SOUS 29349 HAS SOUPS 29349 WITH SCORE 29380.867
AT ITER 6584 NEW BEST:: SOT 104811 SOS 31864 HAS SOPS 31864 HAS SOUS 29343 HAS SOUPS 29343 WITH SCORE 29374.864
AT ITER 6596 NEW BEST:: SOT 104813 SOS 31868 HAS SOPS 31868 HAS SOUS 29341 HAS SOUPS 29341 WITH SCORE 29372.868
AT ITER 6601 NEW BEST:: SOT 104795 SOS 31810 HAS SOPS 31810 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29334.81
AT ITER 6632 NEW BEST:: SOT 104795 SOS 31806 HAS SOPS 31806 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29334.806
AT ITER 6635 NEW BEST:: SOT 104789 SOS 31800 HAS SOPS 31800 HAS SOUS 29297 HAS SOUPS 29297 WITH SCORE 29328.8
AT ITER 6644 NEW BEST:: SOT 104779 SOS 31781 HAS SOPS 31781 HAS SOUS 29277 HAS SOUPS 29277 WITH SCORE 29308.781
AT ITER 6653 NEW BEST:: SOT 104751 SOS 31728 HAS SOPS 31728 HAS SOUS 29235 HAS SOUPS 29235 WITH SCORE 29266.728
AT ITER 6661 NEW BEST:: SOT 104758 SOS 31727 HAS SOPS 31727 HAS SOUS 29234 HAS SOUPS 29234 WITH SCORE 29265.727
AT ITER 6669 NEW BEST:: SOT 104714 SOS 31683 HAS SOPS 31683 HAS SOUS 29190 HAS SOUPS 29190 WITH SCORE 29221.683
AT ITER 6678 NEW BEST:: SOT 104703 SOS 31661 HAS SOPS 31661 HAS SOUS 29168 HAS SOUPS 29168 WITH SCORE 29199.661
AT ITER 6679 NEW BEST:: SOT 104703 SOS 31652 HAS SOPS 31652 HAS SOUS 29159 HAS SOUPS 29159 WITH SCORE 29190.652
AT ITER 6694 NEW BEST:: SOT 104702 SOS 31648 HAS SOPS 31648 HAS SOUS 29156 HAS SOUPS 29156 WITH SCORE 29187.648
AT ITER 6713 NEW BEST:: SOT 104694 SOS 31579 HAS SOPS 31579 HAS SOUS 29102 HAS SOUPS 29102 WITH SCORE 29133.579
AT ITER 6781 NEW BEST:: SOT 104668 SOS 31532 HAS SOPS 31532 HAS SOUS 29055 HAS SOUPS 29055 WITH SCORE 29086.532
AT ITER 6798 NEW BEST:: SOT 104651 SOS 31447 HAS SOPS 31447 HAS SOUS 29028 HAS SOUPS 29028 WITH SCORE 29059.447
AT ITER 6806 NEW BEST:: SOT 104631 SOS 31427 HAS SOPS 31427 HAS SOUS 29022 HAS SOUPS 29022 WITH SCORE 29053.427
AT ITER 6807 NEW BEST:: SOT 104637 SOS 31425 HAS SOPS 31425 HAS SOUS 29020 HAS SOUPS 29020 WITH SCORE 29051.425
AT ITER 6810 NEW BEST:: SOT 104627 SOS 31404 HAS SOPS 31404 HAS SOUS 28999 HAS SOUPS 28999 WITH SCORE 29030.404
AT ITER 6823 NEW BEST:: SOT 104598 SOS 31375 HAS SOPS 31375 HAS SOUS 28970 HAS SOUPS 28970 WITH SCORE 29001.375
AT ITER 6845 NEW BEST:: SOT 104586 SOS 31367 HAS SOPS 31367 HAS SOUS 28962 HAS SOUPS 28962 WITH SCORE 28993.367
AT ITER 6851 NEW BEST:: SOT 104577 SOS 31355 HAS SOPS 31355 HAS SOUS 28950 HAS SOUPS 28950 WITH SCORE 28981.355
AT ITER 6852 NEW BEST:: SOT 104584 SOS 31376 HAS SOPS 31376 HAS SOUS 28947 HAS SOUPS 28947 WITH SCORE 28978.376
AT ITER 6853 NEW BEST:: SOT 104590 SOS 31311 HAS SOPS 31311 HAS SOUS 28946 HAS SOUPS 28946 WITH SCORE 28977.311
AT ITER 6921 NEW BEST:: SOT 104590 SOS 31303 HAS SOPS 31303 HAS SOUS 28942 HAS SOUPS 28942 WITH SCORE 28973.303
AT ITER 6937 NEW BEST:: SOT 104590 SOS 31278 HAS SOPS 31278 HAS SOUS 28917 HAS SOUPS 28917 WITH SCORE 28948.278
AT ITER 6941 NEW BEST:: SOT 104584 SOS 31273 HAS SOPS 31273 HAS SOUS 28912 HAS SOUPS 28912 WITH SCORE 28943.273
AT ITER 6969 NEW BEST:: SOT 104559 SOS 31248 HAS SOPS 31248 HAS SOUS 28873 HAS SOUPS 28873 WITH SCORE 28904.248
AT ITER 6982 NEW BEST:: SOT 104526 SOS 31215 HAS SOPS 31215 HAS SOUS 28861 HAS SOUPS 28861 WITH SCORE 28892.215
AT ITER 7008 NEW BEST:: SOT 104516 SOS 31205 HAS SOPS 31205 HAS SOUS 28851 HAS SOUPS 28851 WITH SCORE 28882.205
AT ITER 7011 NEW BEST:: SOT 104512 SOS 31201 HAS SOPS 31201 HAS SOUS 28843 HAS SOUPS 28843 WITH SCORE 28874.201
AT ITER 7027 NEW BEST:: SOT 104499 SOS 31188 HAS SOPS 31188 HAS SOUS 28830 HAS SOUPS 28830 WITH SCORE 28861.188
AT ITER 7083 NEW BEST:: SOT 104499 SOS 31152 HAS SOPS 31152 HAS SOUS 28794 HAS SOUPS 28794 WITH SCORE 28825.152
AT ITER 7088 NEW BEST:: SOT 104496 SOS 31149 HAS SOPS 31149 HAS SOUS 28791 HAS SOUPS 28791 WITH SCORE 28822.149
AT ITER 7107 NEW BEST:: SOT 104496 SOS 31149 HAS SOPS 31149 HAS SOUS 28773 HAS SOUPS 28773 WITH SCORE 28804.149
AT ITER 7110 NEW BEST:: SOT 104480 SOS 31205 HAS SOPS 31205 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28789.205
AT ITER 7115 NEW BEST:: SOT 104456 SOS 31201 HAS SOPS 31201 HAS SOUS 28725 HAS SOUPS 28725 WITH SCORE 28756.201
AT ITER 7125 NEW BEST:: SOT 104432 SOS 31178 HAS SOPS 31178 HAS SOUS 28722 HAS SOUPS 28722 WITH SCORE 28753.178
AT ITER 7149 NEW BEST:: SOT 104422 SOS 31112 HAS SOPS 31112 HAS SOUS 28678 HAS SOUPS 28678 WITH SCORE 28709.112
AT ITER 7194 NEW BEST:: SOT 104422 SOS 31109 HAS SOPS 31109 HAS SOUS 28675 HAS SOUPS 28675 WITH SCORE 28706.109
AT ITER 7197 NEW BEST:: SOT 104408 SOS 31083 HAS SOPS 31083 HAS SOUS 28649 HAS SOUPS 28649 WITH SCORE 28680.083
AT ITER 7209 NEW BEST:: SOT 104408 SOS 31074 HAS SOPS 31074 HAS SOUS 28640 HAS SOUPS 28640 WITH SCORE 28671.074
AT ITER 7225 NEW BEST:: SOT 104410 SOS 31071 HAS SOPS 31071 HAS SOUS 28637 HAS SOUPS 28637 WITH SCORE 28668.071
AT ITER 7252 NEW BEST:: SOT 104408 SOS 31057 HAS SOPS 31057 HAS SOUS 28634 HAS SOUPS 28634 WITH SCORE 28665.057
AT ITER 7283 NEW BEST:: SOT 104329 SOS 30978 HAS SOPS 30978 HAS SOUS 28634 HAS SOUPS 28634 WITH SCORE 28664.978
AT ITER 7333 NEW BEST:: SOT 104313 SOS 30946 HAS SOPS 30946 HAS SOUS 28610 HAS SOUPS 28610 WITH SCORE 28640.946
AT ITER 7350 NEW BEST:: SOT 104301 SOS 30934 HAS SOPS 30934 HAS SOUS 28598 HAS SOUPS 28598 WITH SCORE 28628.934
AT ITER 7391 NEW BEST:: SOT 104299 SOS 30911 HAS SOPS 30911 HAS SOUS 28589 HAS SOUPS 28589 WITH SCORE 28619.911
AT ITER 7398 NEW BEST:: SOT 104299 SOS 30915 HAS SOPS 30915 HAS SOUS 28578 HAS SOUPS 28578 WITH SCORE 28608.915
AT ITER 7402 NEW BEST:: SOT 104255 SOS 30879 HAS SOPS 30879 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28567.879
AT ITER 7407 NEW BEST:: SOT 104255 SOS 30873 HAS SOPS 30873 HAS SOUS 28531 HAS SOUPS 28531 WITH SCORE 28561.873
AT ITER 7423 NEW BEST:: SOT 104252 SOS 30861 HAS SOPS 30861 HAS SOUS 28522 HAS SOUPS 28522 WITH SCORE 28552.861
AT ITER 7447 NEW BEST:: SOT 104207 SOS 30824 HAS SOPS 30824 HAS SOUS 28485 HAS SOUPS 28485 WITH SCORE 28515.824
AT ITER 7465 NEW BEST:: SOT 104150 SOS 30643 HAS SOPS 30643 HAS SOUS 28304 HAS SOUPS 28304 WITH SCORE 28334.643
AT ITER 7509 NEW BEST:: SOT 104105 SOS 30598 HAS SOPS 30598 HAS SOUS 28259 HAS SOUPS 28259 WITH SCORE 28289.598
AT ITER 7520 NEW BEST:: SOT 104097 SOS 30576 HAS SOPS 30576 HAS SOUS 28237 HAS SOUPS 28237 WITH SCORE 28267.576
AT ITER 7570 NEW BEST:: SOT 104055 SOS 30528 HAS SOPS 30528 HAS SOUS 28202 HAS SOUPS 28202 WITH SCORE 28232.528
AT ITER 7622 NEW BEST:: SOT 104055 SOS 30467 HAS SOPS 30467 HAS SOUS 28190 HAS SOUPS 28190 WITH SCORE 28220.467
AT ITER 7633 NEW BEST:: SOT 104043 SOS 30463 HAS SOPS 30463 HAS SOUS 28186 HAS SOUPS 28186 WITH SCORE 28216.463
AT ITER 7664 NEW BEST:: SOT 104026 SOS 30357 HAS SOPS 30357 HAS SOUS 28101 HAS SOUPS 28101 WITH SCORE 28131.357
AT ITER 7678 NEW BEST:: SOT 104020 SOS 30351 HAS SOPS 30351 HAS SOUS 28095 HAS SOUPS 28095 WITH SCORE 28125.351
AT ITER 7689 NEW BEST:: SOT 104024 SOS 30349 HAS SOPS 30349 HAS SOUS 28093 HAS SOUPS 28093 WITH SCORE 28123.349
AT ITER 7714 NEW BEST:: SOT 104024 SOS 30327 HAS SOPS 30327 HAS SOUS 28093 HAS SOUPS 28093 WITH SCORE 28123.327
AT ITER 7728 NEW BEST:: SOT 104038 SOS 30244 HAS SOPS 30244 HAS SOUS 28022 HAS SOUPS 28022 WITH SCORE 28052.244
AT ITER 7747 NEW BEST:: SOT 104035 SOS 30238 HAS SOPS 30238 HAS SOUS 28016 HAS SOUPS 28016 WITH SCORE 28046.238
AT ITER 7748 NEW BEST:: SOT 104005 SOS 30194 HAS SOPS 30194 HAS SOUS 27991 HAS SOUPS 27991 WITH SCORE 28021.194
AT ITER 7761 NEW BEST:: SOT 104005 SOS 30146 HAS SOPS 30146 HAS SOUS 27966 HAS SOUPS 27966 WITH SCORE 27996.146
AT ITER 7766 NEW BEST:: SOT 103981 SOS 30140 HAS SOPS 30140 HAS SOUS 27953 HAS SOUPS 27953 WITH SCORE 27983.14
AT ITER 7787 NEW BEST:: SOT 103981 SOS 30113 HAS SOPS 30113 HAS SOUS 27926 HAS SOUPS 27926 WITH SCORE 27956.113
AT ITER 7801 NEW BEST:: SOT 103980 SOS 30111 HAS SOPS 30111 HAS SOUS 27924 HAS SOUPS 27924 WITH SCORE 27954.111
AT ITER 7808 NEW BEST:: SOT 103963 SOS 30071 HAS SOPS 30071 HAS SOUS 27896 HAS SOUPS 27896 WITH SCORE 27926.071
AT ITER 7813 NEW BEST:: SOT 103931 SOS 30043 HAS SOPS 30043 HAS SOUS 27882 HAS SOUPS 27882 WITH SCORE 27912.043
AT ITER 7819 NEW BEST:: SOT 103929 SOS 30041 HAS SOPS 30041 HAS SOUS 27880 HAS SOUPS 27880 WITH SCORE 27910.041
AT ITER 7829 NEW BEST:: SOT 103929 SOS 30024 HAS SOPS 30024 HAS SOUS 27863 HAS SOUPS 27863 WITH SCORE 27893.024
AT ITER 7864 NEW BEST:: SOT 103832 SOS 29993 HAS SOPS 29993 HAS SOUS 27840 HAS SOUPS 27840 WITH SCORE 27869.993
AT ITER 7882 NEW BEST:: SOT 103832 SOS 29991 HAS SOPS 29991 HAS SOUS 27840 HAS SOUPS 27840 WITH SCORE 27869.991
AT ITER 7925 NEW BEST:: SOT 103832 SOS 29960 HAS SOPS 29960 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27855.96
AT ITER 7996 NEW BEST:: SOT 103853 SOS 29931 HAS SOPS 29931 HAS SOUS 27815 HAS SOUPS 27815 WITH SCORE 27844.931
AT ITER 7997 NEW BEST:: SOT 103853 SOS 29929 HAS SOPS 29929 HAS SOUS 27813 HAS SOUPS 27813 WITH SCORE 27842.929
AT ITER 8029 NEW BEST:: SOT 103837 SOS 29878 HAS SOPS 29878 HAS SOUS 27762 HAS SOUPS 27762 WITH SCORE 27791.878
AT ITER 8033 NEW BEST:: SOT 103835 SOS 29874 HAS SOPS 29874 HAS SOUS 27760 HAS SOUPS 27760 WITH SCORE 27789.874
AT ITER 8095 NEW BEST:: SOT 103832 SOS 29909 HAS SOPS 29909 HAS SOUS 27757 HAS SOUPS 27757 WITH SCORE 27786.909
AT ITER 8144 NEW BEST:: SOT 103832 SOS 29909 HAS SOPS 29909 HAS SOUS 27753 HAS SOUPS 27753 WITH SCORE 27782.909
AT ITER 8180 NEW BEST:: SOT 103820 SOS 29903 HAS SOPS 29903 HAS SOUS 27747 HAS SOUPS 27747 WITH SCORE 27776.903
AT ITER 8210 NEW BEST:: SOT 103820 SOS 29893 HAS SOPS 29893 HAS SOUS 27741 HAS SOUPS 27741 WITH SCORE 27770.893
AT ITER 8246 NEW BEST:: SOT 103820 SOS 29889 HAS SOPS 29889 HAS SOUS 27737 HAS SOUPS 27737 WITH SCORE 27766.889
AT ITER 8259 NEW BEST:: SOT 103763 SOS 29804 HAS SOPS 29804 HAS SOUS 27652 HAS SOUPS 27652 WITH SCORE 27681.804
AT ITER 8261 NEW BEST:: SOT 103766 SOS 29807 HAS SOPS 29807 HAS SOUS 27627 HAS SOUPS 27627 WITH SCORE 27656.807
AT ITER 8273 NEW BEST:: SOT 103760 SOS 29801 HAS SOPS 29801 HAS SOUS 27621 HAS SOUPS 27621 WITH SCORE 27650.801
AT ITER 8289 NEW BEST:: SOT 103768 SOS 29796 HAS SOPS 29796 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27645.796
AT ITER 8293 NEW BEST:: SOT 103768 SOS 29793 HAS SOPS 29793 HAS SOUS 27613 HAS SOUPS 27613 WITH SCORE 27642.793
AT ITER 8303 NEW BEST:: SOT 103724 SOS 29766 HAS SOPS 29766 HAS SOUS 27602 HAS SOUPS 27602 WITH SCORE 27631.766
AT ITER 8316 NEW BEST:: SOT 103728 SOS 29760 HAS SOPS 29760 HAS SOUS 27596 HAS SOUPS 27596 WITH SCORE 27625.76
AT ITER 8341 NEW BEST:: SOT 103700 SOS 29734 HAS SOPS 29734 HAS SOUS 27577 HAS SOUPS 27577 WITH SCORE 27606.734
AT ITER 8392 NEW BEST:: SOT 103683 SOS 29700 HAS SOPS 29700 HAS SOUS 27560 HAS SOUPS 27560 WITH SCORE 27589.7
AT ITER 8401 NEW BEST:: SOT 103685 SOS 29612 HAS SOPS 29612 HAS SOUS 27472 HAS SOUPS 27472 WITH SCORE 27501.612
AT ITER 8420 NEW BEST:: SOT 103648 SOS 29575 HAS SOPS 29575 HAS SOUS 27437 HAS SOUPS 27437 WITH SCORE 27466.575
AT ITER 8422 NEW BEST:: SOT 103635 SOS 29535 HAS SOPS 29535 HAS SOUS 27412 HAS SOUPS 27412 WITH SCORE 27441.535
AT ITER 8478 NEW BEST:: SOT 103635 SOS 29488 HAS SOPS 29488 HAS SOUS 27406 HAS SOUPS 27406 WITH SCORE 27435.488
AT ITER 8493 NEW BEST:: SOT 103634 SOS 29487 HAS SOPS 29487 HAS SOUS 27405 HAS SOUPS 27405 WITH SCORE 27434.487
AT ITER 8536 NEW BEST:: SOT 103634 SOS 29479 HAS SOPS 29479 HAS SOUS 27397 HAS SOUPS 27397 WITH SCORE 27426.479
AT ITER 8571 NEW BEST:: SOT 103634 SOS 29476 HAS SOPS 29476 HAS SOUS 27394 HAS SOUPS 27394 WITH SCORE 27423.476
AT ITER 8592 NEW BEST:: SOT 103596 SOS 29388 HAS SOPS 29388 HAS SOUS 27306 HAS SOUPS 27306 WITH SCORE 27335.388
AT ITER 8600 NEW BEST:: SOT 103603 SOS 29348 HAS SOPS 29348 HAS SOUS 27266 HAS SOUPS 27266 WITH SCORE 27295.348
AT ITER 8608 NEW BEST:: SOT 103591 SOS 29330 HAS SOPS 29330 HAS SOUS 27248 HAS SOUPS 27248 WITH SCORE 27277.33
AT ITER 8674 NEW BEST:: SOT 103613 SOS 29328 HAS SOPS 29328 HAS SOUS 27246 HAS SOUPS 27246 WITH SCORE 27275.328
AT ITER 8692 NEW BEST:: SOT 103604 SOS 29319 HAS SOPS 29319 HAS SOUS 27237 HAS SOUPS 27237 WITH SCORE 27266.319
AT ITER 8696 NEW BEST:: SOT 103587 SOS 29298 HAS SOPS 29298 HAS SOUS 27216 HAS SOUPS 27216 WITH SCORE 27245.298
AT ITER 8721 NEW BEST:: SOT 103551 SOS 29241 HAS SOPS 29241 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27188.241
AT ITER 8737 NEW BEST:: SOT 103500 SOS 29190 HAS SOPS 29190 HAS SOUS 27117 HAS SOUPS 27117 WITH SCORE 27146.19
AT ITER 8752 NEW BEST:: SOT 103498 SOS 29202 HAS SOPS 29202 HAS SOUS 27102 HAS SOUPS 27102 WITH SCORE 27131.202
AT ITER 8784 NEW BEST:: SOT 103498 SOS 29187 HAS SOPS 29187 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27116.187
AT ITER 8840 NEW BEST:: SOT 103509 SOS 29180 HAS SOPS 29180 HAS SOUS 27080 HAS SOUPS 27080 WITH SCORE 27109.18
AT ITER 8917 NEW BEST:: SOT 103504 SOS 29170 HAS SOPS 29170 HAS SOUS 27070 HAS SOUPS 27070 WITH SCORE 27099.17
AT ITER 8948 NEW BEST:: SOT 103504 SOS 29163 HAS SOPS 29163 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27092.163
AT ITER 9005 NEW BEST:: SOT 103502 SOS 29159 HAS SOPS 29159 HAS SOUS 27059 HAS SOUPS 27059 WITH SCORE 27088.159
AT ITER 9011 NEW BEST:: SOT 103490 SOS 29138 HAS SOPS 29138 HAS SOUS 27038 HAS SOUPS 27038 WITH SCORE 27067.138
AT ITER 9015 NEW BEST:: SOT 103488 SOS 29121 HAS SOPS 29121 HAS SOUS 27021 HAS SOUPS 27021 WITH SCORE 27050.121
AT ITER 9023 NEW BEST:: SOT 103448 SOS 29095 HAS SOPS 29095 HAS SOUS 26960 HAS SOUPS 26960 WITH SCORE 26989.095
AT ITER 9028 NEW BEST:: SOT 103365 SOS 28957 HAS SOPS 28957 HAS SOUS 26825 HAS SOUPS 26825 WITH SCORE 26853.957
AT ITER 9047 NEW BEST:: SOT 103357 SOS 28924 HAS SOPS 28924 HAS SOUS 26792 HAS SOUPS 26792 WITH SCORE 26820.924
AT ITER 9050 NEW BEST:: SOT 103330 SOS 28891 HAS SOPS 28891 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26787.891
AT ITER 9074 NEW BEST:: SOT 103299 SOS 28828 HAS SOPS 28828 HAS SOUS 26696 HAS SOUPS 26696 WITH SCORE 26724.828
AT ITER 9082 NEW BEST:: SOT 103282 SOS 28816 HAS SOPS 28816 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 26712.816
AT ITER 9085 NEW BEST:: SOT 103260 SOS 28773 HAS SOPS 28773 HAS SOUS 26641 HAS SOUPS 26641 WITH SCORE 26669.773
AT ITER 9113 NEW BEST:: SOT 103261 SOS 28767 HAS SOPS 28767 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26663.767
AT ITER 9114 NEW BEST:: SOT 103286 SOS 28813 HAS SOPS 28813 HAS SOUS 26605 HAS SOUPS 26605 WITH SCORE 26633.813
AT ITER 9123 NEW BEST:: SOT 103232 SOS 28669 HAS SOPS 28669 HAS SOUS 26598 HAS SOUPS 26598 WITH SCORE 26626.669
AT ITER 9145 NEW BEST:: SOT 103200 SOS 28616 HAS SOPS 28616 HAS SOUS 26595 HAS SOUPS 26595 WITH SCORE 26623.616
AT ITER 9168 NEW BEST:: SOT 103169 SOS 28558 HAS SOPS 28558 HAS SOUS 26537 HAS SOUPS 26537 WITH SCORE 26565.558
AT ITER 9216 NEW BEST:: SOT 103169 SOS 28541 HAS SOPS 28541 HAS SOUS 26520 HAS SOUPS 26520 WITH SCORE 26548.541
AT ITER 9242 NEW BEST:: SOT 103167 SOS 28537 HAS SOPS 28537 HAS SOUS 26516 HAS SOUPS 26516 WITH SCORE 26544.537
AT ITER 9250 NEW BEST:: SOT 103182 SOS 28532 HAS SOPS 28532 HAS SOUS 26514 HAS SOUPS 26514 WITH SCORE 26542.532
AT ITER 9293 NEW BEST:: SOT 103158 SOS 28551 HAS SOPS 28551 HAS SOUS 26508 HAS SOUPS 26508 WITH SCORE 26536.551
AT ITER 9314 NEW BEST:: SOT 103125 SOS 28519 HAS SOPS 28519 HAS SOUS 26476 HAS SOUPS 26476 WITH SCORE 26504.519
AT ITER 9327 NEW BEST:: SOT 103123 SOS 28517 HAS SOPS 28517 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26502.517
AT ITER 9345 NEW BEST:: SOT 103087 SOS 28503 HAS SOPS 28503 HAS SOUS 26460 HAS SOUPS 26460 WITH SCORE 26488.503
AT ITER 9446 NEW BEST:: SOT 103087 SOS 28496 HAS SOPS 28496 HAS SOUS 26453 HAS SOUPS 26453 WITH SCORE 26481.496
AT ITER 9453 NEW BEST:: SOT 103087 SOS 28467 HAS SOPS 28467 HAS SOUS 26424 HAS SOUPS 26424 WITH SCORE 26452.467
AT ITER 9456 NEW BEST:: SOT 103087 SOS 28467 HAS SOPS 28467 HAS SOUS 26420 HAS SOUPS 26420 WITH SCORE 26448.467
AT ITER 9485 NEW BEST:: SOT 103077 SOS 28443 HAS SOPS 28443 HAS SOUS 26407 HAS SOUPS 26407 WITH SCORE 26435.443
AT ITER 9512 NEW BEST:: SOT 103087 SOS 28437 HAS SOPS 28437 HAS SOUS 26395 HAS SOUPS 26395 WITH SCORE 26423.437
AT ITER 9513 NEW BEST:: SOT 103067 SOS 28417 HAS SOPS 28417 HAS SOUS 26375 HAS SOUPS 26375 WITH SCORE 26403.417
AT ITER 9518 NEW BEST:: SOT 103064 SOS 28396 HAS SOPS 28396 HAS SOUS 26360 HAS SOUPS 26360 WITH SCORE 26388.396
AT ITER 9525 NEW BEST:: SOT 103071 SOS 28394 HAS SOPS 28394 HAS SOUS 26358 HAS SOUPS 26358 WITH SCORE 26386.394
AT ITER 9534 NEW BEST:: SOT 103043 SOS 28366 HAS SOPS 28366 HAS SOUS 26302 HAS SOUPS 26302 WITH SCORE 26330.366
AT ITER 9583 NEW BEST:: SOT 103050 SOS 28352 HAS SOPS 28352 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26322.352
AT ITER 9602 NEW BEST:: SOT 103050 SOS 28338 HAS SOPS 28338 HAS SOUS 26280 HAS SOUPS 26280 WITH SCORE 26308.338
AT ITER 9609 NEW BEST:: SOT 103050 SOS 28318 HAS SOPS 28318 HAS SOUS 26260 HAS SOUPS 26260 WITH SCORE 26288.318
AT ITER 9613 NEW BEST:: SOT 103017 SOS 28280 HAS SOPS 28280 HAS SOUS 26222 HAS SOUPS 26222 WITH SCORE 26250.28
AT ITER 9628 NEW BEST:: SOT 103012 SOS 28270 HAS SOPS 28270 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26240.27
AT ITER 9635 NEW BEST:: SOT 102998 SOS 28258 HAS SOPS 28258 HAS SOUS 26202 HAS SOUPS 26202 WITH SCORE 26230.258
AT ITER 9683 NEW BEST:: SOT 102992 SOS 28250 HAS SOPS 28250 HAS SOUS 26194 HAS SOUPS 26194 WITH SCORE 26222.25
AT ITER 9698 NEW BEST:: SOT 102985 SOS 28243 HAS SOPS 28243 HAS SOUS 26189 HAS SOUPS 26189 WITH SCORE 26217.243
AT ITER 9765 NEW BEST:: SOT 102968 SOS 28218 HAS SOPS 28218 HAS SOUS 26144 HAS SOUPS 26144 WITH SCORE 26172.218
AT ITER 9777 NEW BEST:: SOT 102920 SOS 28101 HAS SOPS 28101 HAS SOUS 26027 HAS SOUPS 26027 WITH SCORE 26055.101
AT ITER 9790 NEW BEST:: SOT 102863 SOS 28000 HAS SOPS 28000 HAS SOUS 25926 HAS SOUPS 25926 WITH SCORE 25954.0
AT ITER 9812 NEW BEST:: SOT 102893 SOS 27993 HAS SOPS 27993 HAS SOUS 25918 HAS SOUPS 25918 WITH SCORE 25945.993
AT ITER 9844 NEW BEST:: SOT 102893 SOS 27990 HAS SOPS 27990 HAS SOUS 25918 HAS SOUPS 25918 WITH SCORE 25945.99
AT ITER 9885 NEW BEST:: SOT 102893 SOS 28012 HAS SOPS 28012 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25939.012
AT ITER 9928 NEW BEST:: SOT 102887 SOS 27970 HAS SOPS 27970 HAS SOUS 25881 HAS SOUPS 25881 WITH SCORE 25908.97
AT ITER 9929 NEW BEST:: SOT 102885 SOS 27959 HAS SOPS 27959 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25902.959
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8680712 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16122140 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-020A"
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 ShieldPPPt-PT-020A, 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 r395-oct2-167903719000632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-020A.tgz
mv ShieldPPPt-PT-020A 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 ;