fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r033-smll-158901926000348
Last Updated
Jun 28, 2020

About the Execution of smart for CloudDeployment-PT-7a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15791.470 1530917.00 1530960.00 50.00 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901926000348.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-7a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000348
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 3.1K Mar 30 01:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 28 16:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 420K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-7a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589164880108

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 264 places, 1174 transitions, 7331 arcs.
AT ITER 0 NEW BEST:: SOT 247899 SOS 145437 HAS SOPS 137733 HAS SOUS 116467 HAS SOUPS 109891 WITH SCORE 110036.437
AT ITER 2 NEW BEST:: SOT 248111 SOS 145625 HAS SOPS 138027 HAS SOUS 116167 HAS SOUPS 109697 WITH SCORE 109842.625
AT ITER 3 NEW BEST:: SOT 248379 SOS 145729 HAS SOPS 138275 HAS SOUS 115558 HAS SOUPS 109232 WITH SCORE 109377.729
AT ITER 7 NEW BEST:: SOT 248289 SOS 145459 HAS SOPS 138095 HAS SOUS 114869 HAS SOUPS 108633 WITH SCORE 108778.459
AT ITER 10 NEW BEST:: SOT 249014 SOS 145896 HAS SOPS 138532 HAS SOUS 114077 HAS SOUPS 107841 WITH SCORE 107986.896
AT ITER 16 NEW BEST:: SOT 248971 SOS 145864 HAS SOPS 138500 HAS SOUS 114042 HAS SOUPS 107806 WITH SCORE 107951.864
AT ITER 17 NEW BEST:: SOT 249014 SOS 145979 HAS SOPS 138615 HAS SOUS 113954 HAS SOUPS 107718 WITH SCORE 107863.979
AT ITER 18 NEW BEST:: SOT 248956 SOS 145661 HAS SOPS 138297 HAS SOUS 113804 HAS SOUPS 107568 WITH SCORE 107713.661
AT ITER 23 NEW BEST:: SOT 248974 SOS 145519 HAS SOPS 138155 HAS SOUS 113337 HAS SOUPS 107101 WITH SCORE 107246.519
AT ITER 32 NEW BEST:: SOT 249477 SOS 146188 HAS SOPS 138976 HAS SOUS 112672 HAS SOUPS 106597 WITH SCORE 106743.188
AT ITER 34 NEW BEST:: SOT 248640 SOS 148366 HAS SOPS 138386 HAS SOUS 111219 HAS SOUPS 105298 WITH SCORE 105446.366
AT ITER 40 NEW BEST:: SOT 248640 SOS 148324 HAS SOPS 138344 HAS SOUS 111177 HAS SOUPS 105256 WITH SCORE 105404.324
AT ITER 42 NEW BEST:: SOT 248982 SOS 148228 HAS SOPS 138419 HAS SOUS 109863 HAS SOUPS 104113 WITH SCORE 104261.228
AT ITER 45 NEW BEST:: SOT 249054 SOS 148300 HAS SOPS 138491 HAS SOUS 109490 HAS SOUPS 103740 WITH SCORE 103888.3
AT ITER 46 NEW BEST:: SOT 249376 SOS 148340 HAS SOPS 138682 HAS SOUS 108396 HAS SOUPS 102797 WITH SCORE 102945.34
AT ITER 49 NEW BEST:: SOT 249647 SOS 148256 HAS SOPS 138598 HAS SOUS 108294 HAS SOUPS 102695 WITH SCORE 102843.256
AT ITER 56 NEW BEST:: SOT 249569 SOS 148177 HAS SOPS 138519 HAS SOUS 108215 HAS SOUPS 102616 WITH SCORE 102764.177
AT ITER 60 NEW BEST:: SOT 249767 SOS 148131 HAS SOPS 138473 HAS SOUS 107716 HAS SOUPS 102117 WITH SCORE 102265.131
AT ITER 65 NEW BEST:: SOT 249767 SOS 148116 HAS SOPS 138473 HAS SOUS 107677 HAS SOUPS 102093 WITH SCORE 102241.116
AT ITER 66 NEW BEST:: SOT 249835 SOS 148307 HAS SOPS 138664 HAS SOUS 107546 HAS SOUPS 101962 WITH SCORE 102110.307
AT ITER 67 NEW BEST:: SOT 250047 SOS 148500 HAS SOPS 138972 HAS SOUS 106896 HAS SOUPS 101427 WITH SCORE 101575.5
AT ITER 72 NEW BEST:: SOT 250010 SOS 148462 HAS SOPS 138934 HAS SOUS 106858 HAS SOUPS 101389 WITH SCORE 101537.462
AT ITER 74 NEW BEST:: SOT 250088 SOS 148408 HAS SOPS 138845 HAS SOUS 106844 HAS SOUPS 101340 WITH SCORE 101488.408
AT ITER 75 NEW BEST:: SOT 250088 SOS 148568 HAS SOPS 139005 HAS SOUS 106724 HAS SOUPS 101220 WITH SCORE 101368.568
AT ITER 76 NEW BEST:: SOT 250088 SOS 148545 HAS SOPS 138982 HAS SOUS 106619 HAS SOUPS 101115 WITH SCORE 101263.545
AT ITER 82 NEW BEST:: SOT 249966 SOS 147513 HAS SOPS 137941 HAS SOUS 106547 HAS SOUPS 101043 WITH SCORE 101190.513
AT ITER 83 NEW BEST:: SOT 250014 SOS 147704 HAS SOPS 138132 HAS SOUS 106088 HAS SOUPS 100584 WITH SCORE 100731.704
AT ITER 84 NEW BEST:: SOT 249928 SOS 147617 HAS SOPS 138045 HAS SOUS 106001 HAS SOUPS 100497 WITH SCORE 100644.617
AT ITER 86 NEW BEST:: SOT 249028 SOS 153614 HAS SOPS 137803 HAS SOUS 104482 HAS SOUPS 99536 WITH SCORE 99689.614
AT ITER 89 NEW BEST:: SOT 249328 SOS 153652 HAS SOPS 137991 HAS SOUS 103543 HAS SOUPS 98747 WITH SCORE 98900.652
AT ITER 94 NEW BEST:: SOT 249385 SOS 153671 HAS SOPS 138010 HAS SOUS 103524 HAS SOUPS 98728 WITH SCORE 98881.671
AT ITER 99 NEW BEST:: SOT 247985 SOS 154245 HAS SOPS 136742 HAS SOUS 102862 HAS SOUPS 97949 WITH SCORE 98103.245
AT ITER 100 NEW BEST:: SOT 246913 SOS 154616 HAS SOPS 136175 HAS SOUS 102244 HAS SOUPS 97338 WITH SCORE 97492.616
AT ITER 103 NEW BEST:: SOT 246900 SOS 154603 HAS SOPS 136162 HAS SOUS 102231 HAS SOUPS 97325 WITH SCORE 97479.603
AT ITER 107 NEW BEST:: SOT 246576 SOS 153898 HAS SOPS 135382 HAS SOUS 101965 HAS SOUPS 97059 WITH SCORE 97212.898
AT ITER 108 NEW BEST:: SOT 246533 SOS 153855 HAS SOPS 135339 HAS SOUS 101922 HAS SOUPS 97016 WITH SCORE 97169.855
AT ITER 109 NEW BEST:: SOT 246400 SOS 153801 HAS SOPS 135338 HAS SOUS 101468 HAS SOUPS 96615 WITH SCORE 96768.801
AT ITER 111 NEW BEST:: SOT 246360 SOS 153646 HAS SOPS 134999 HAS SOUS 98064 HAS SOUPS 93107 WITH SCORE 93260.646
AT ITER 112 NEW BEST:: SOT 246284 SOS 153550 HAS SOPS 134903 HAS SOUS 97976 HAS SOUPS 93019 WITH SCORE 93172.55
AT ITER 115 NEW BEST:: SOT 246280 SOS 153538 HAS SOPS 134891 HAS SOUS 97920 HAS SOUPS 92963 WITH SCORE 93116.538
AT ITER 116 NEW BEST:: SOT 245971 SOS 153651 HAS SOPS 134908 HAS SOUS 97716 HAS SOUPS 92844 WITH SCORE 92997.651
AT ITER 118 NEW BEST:: SOT 246191 SOS 153799 HAS SOPS 135275 HAS SOUS 97521 HAS SOUPS 92759 WITH SCORE 92912.799
AT ITER 121 NEW BEST:: SOT 246401 SOS 153741 HAS SOPS 135170 HAS SOUS 96937 HAS SOUPS 92175 WITH SCORE 92328.741
AT ITER 124 NEW BEST:: SOT 245543 SOS 153246 HAS SOPS 134624 HAS SOUS 96331 HAS SOUPS 91629 WITH SCORE 91782.246
AT ITER 125 NEW BEST:: SOT 245695 SOS 153406 HAS SOPS 134927 HAS SOUS 95625 HAS SOUPS 91057 WITH SCORE 91210.406
AT ITER 127 NEW BEST:: SOT 245803 SOS 153473 HAS SOPS 134994 HAS SOUS 94984 HAS SOUPS 90416 WITH SCORE 90569.473
AT ITER 128 NEW BEST:: SOT 246152 SOS 153761 HAS SOPS 135123 HAS SOUS 94821 HAS SOUPS 90253 WITH SCORE 90406.761
AT ITER 133 NEW BEST:: SOT 246312 SOS 153838 HAS SOPS 135096 HAS SOUS 94688 HAS SOUPS 90120 WITH SCORE 90273.838
AT ITER 134 NEW BEST:: SOT 246422 SOS 153919 HAS SOPS 135232 HAS SOUS 94442 HAS SOUPS 89929 WITH SCORE 90082.919
AT ITER 138 NEW BEST:: SOT 246370 SOS 153763 HAS SOPS 135072 HAS SOUS 94325 HAS SOUPS 89812 WITH SCORE 89965.763
AT ITER 141 NEW BEST:: SOT 246354 SOS 145480 HAS SOPS 124181 HAS SOUS 94217 HAS SOUPS 89029 WITH SCORE 89174.48
AT ITER 142 NEW BEST:: SOT 246538 SOS 145387 HAS SOPS 124088 HAS SOUS 94165 HAS SOUPS 88977 WITH SCORE 89122.387
AT ITER 146 NEW BEST:: SOT 246114 SOS 145424 HAS SOPS 123922 HAS SOUS 93935 HAS SOUPS 88811 WITH SCORE 88956.424
AT ITER 148 NEW BEST:: SOT 246013 SOS 145321 HAS SOPS 123656 HAS SOUS 93951 HAS SOUPS 88772 WITH SCORE 88917.321
AT ITER 149 NEW BEST:: SOT 246029 SOS 145343 HAS SOPS 123712 HAS SOUS 93913 HAS SOUPS 88742 WITH SCORE 88887.343
AT ITER 151 NEW BEST:: SOT 246171 SOS 145419 HAS SOPS 123851 HAS SOUS 93806 HAS SOUPS 88659 WITH SCORE 88804.419
AT ITER 160 NEW BEST:: SOT 246361 SOS 145559 HAS SOPS 124136 HAS SOUS 93351 HAS SOUPS 88299 WITH SCORE 88444.559
AT ITER 162 NEW BEST:: SOT 246687 SOS 145923 HAS SOPS 124593 HAS SOUS 93006 HAS SOUPS 88021 WITH SCORE 88166.923
AT ITER 163 NEW BEST:: SOT 246687 SOS 145863 HAS SOPS 124514 HAS SOUS 92927 HAS SOUPS 87942 WITH SCORE 88087.863
AT ITER 166 NEW BEST:: SOT 246794 SOS 145951 HAS SOPS 124604 HAS SOUS 92906 HAS SOUPS 87934 WITH SCORE 88079.951
AT ITER 168 NEW BEST:: SOT 245603 SOS 145615 HAS SOPS 123920 HAS SOUS 92179 HAS SOUPS 87215 WITH SCORE 87360.615
AT ITER 169 NEW BEST:: SOT 245389 SOS 145277 HAS SOPS 123411 HAS SOUS 92086 HAS SOUPS 87057 WITH SCORE 87202.277
AT ITER 172 NEW BEST:: SOT 245347 SOS 145057 HAS SOPS 123143 HAS SOUS 92004 HAS SOUPS 86927 WITH SCORE 87072.057
AT ITER 173 NEW BEST:: SOT 245326 SOS 143098 HAS SOPS 120571 HAS SOUS 91743 HAS SOUPS 86630 WITH SCORE 86773.098
AT ITER 174 NEW BEST:: SOT 245024 SOS 142715 HAS SOPS 120207 HAS SOUS 91128 HAS SOUPS 86035 WITH SCORE 86177.715
AT ITER 176 NEW BEST:: SOT 245532 SOS 143813 HAS SOPS 121462 HAS SOUS 90990 HAS SOUPS 85973 WITH SCORE 86116.813
AT ITER 177 NEW BEST:: SOT 245756 SOS 143890 HAS SOPS 121722 HAS SOUS 90365 HAS SOUPS 85467 WITH SCORE 85610.89
AT ITER 179 NEW BEST:: SOT 244383 SOS 142955 HAS SOPS 120671 HAS SOUS 89284 HAS SOUPS 84388 WITH SCORE 84530.955
AT ITER 183 NEW BEST:: SOT 244317 SOS 142823 HAS SOPS 120539 HAS SOUS 89179 HAS SOUPS 84283 WITH SCORE 84425.823
AT ITER 187 NEW BEST:: SOT 244420 SOS 140852 HAS SOPS 120641 HAS SOUS 88867 HAS SOUPS 83985 WITH SCORE 84125.852
AT ITER 189 NEW BEST:: SOT 244185 SOS 140491 HAS SOPS 120605 HAS SOUS 88623 HAS SOUPS 83839 WITH SCORE 83979.491
AT ITER 191 NEW BEST:: SOT 244491 SOS 141084 HAS SOPS 121287 HAS SOUS 88352 HAS SOUPS 83579 WITH SCORE 83720.084
AT ITER 194 NEW BEST:: SOT 244515 SOS 141084 HAS SOPS 121303 HAS SOUS 88320 HAS SOUPS 83555 WITH SCORE 83696.084
AT ITER 195 NEW BEST:: SOT 244723 SOS 141159 HAS SOPS 121393 HAS SOUS 88313 HAS SOUPS 83548 WITH SCORE 83689.159
AT ITER 196 NEW BEST:: SOT 244877 SOS 141414 HAS SOPS 121858 HAS SOUS 88066 HAS SOUPS 83319 WITH SCORE 83460.414
AT ITER 197 NEW BEST:: SOT 245078 SOS 141234 HAS SOPS 121916 HAS SOUS 87689 HAS SOUPS 83131 WITH SCORE 83272.234
AT ITER 198 NEW BEST:: SOT 245055 SOS 139026 HAS SOPS 119101 HAS SOUS 87410 HAS SOUPS 82813 WITH SCORE 82952.026
AT ITER 202 NEW BEST:: SOT 242359 SOS 141144 HAS SOPS 116068 HAS SOUS 86570 HAS SOUPS 82209 WITH SCORE 82350.144
AT ITER 203 NEW BEST:: SOT 242378 SOS 140985 HAS SOPS 115789 HAS SOUS 86357 HAS SOUPS 81996 WITH SCORE 82136.985
AT ITER 205 NEW BEST:: SOT 241919 SOS 140749 HAS SOPS 115553 HAS SOUS 86276 HAS SOUPS 81915 WITH SCORE 82055.749
AT ITER 211 NEW BEST:: SOT 241908 SOS 140737 HAS SOPS 115541 HAS SOUS 86264 HAS SOUPS 81903 WITH SCORE 82043.737
AT ITER 212 NEW BEST:: SOT 241923 SOS 140564 HAS SOPS 115420 HAS SOUS 86233 HAS SOUPS 81872 WITH SCORE 82012.564
AT ITER 213 NEW BEST:: SOT 242130 SOS 139413 HAS SOPS 115339 HAS SOUS 86151 HAS SOUPS 81799 WITH SCORE 81938.413
AT ITER 219 NEW BEST:: SOT 240760 SOS 139695 HAS SOPS 114580 HAS SOUS 85506 HAS SOUPS 81072 WITH SCORE 81211.695
AT ITER 220 NEW BEST:: SOT 240705 SOS 138844 HAS SOPS 111602 HAS SOUS 85299 HAS SOUPS 80482 WITH SCORE 80620.844
AT ITER 227 NEW BEST:: SOT 240684 SOS 137720 HAS SOPS 107141 HAS SOUS 84892 HAS SOUPS 79477 WITH SCORE 79614.72
AT ITER 229 NEW BEST:: SOT 241138 SOS 137474 HAS SOPS 107165 HAS SOUS 83799 HAS SOUPS 78464 WITH SCORE 78601.474
AT ITER 230 NEW BEST:: SOT 241168 SOS 137494 HAS SOPS 107200 HAS SOUS 83794 HAS SOUPS 78459 WITH SCORE 78596.494
AT ITER 235 NEW BEST:: SOT 241045 SOS 137371 HAS SOPS 107077 HAS SOUS 83671 HAS SOUPS 78336 WITH SCORE 78473.371
AT ITER 236 NEW BEST:: SOT 240359 SOS 136879 HAS SOPS 106848 HAS SOUS 83440 HAS SOUPS 78107 WITH SCORE 78243.879
AT ITER 238 NEW BEST:: SOT 240315 SOS 134512 HAS SOPS 103072 HAS SOUS 82512 HAS SOUPS 77179 WITH SCORE 77313.512
AT ITER 242 NEW BEST:: SOT 240203 SOS 134460 HAS SOPS 102725 HAS SOUS 82390 HAS SOUPS 77001 WITH SCORE 77135.46
AT ITER 247 NEW BEST:: SOT 239985 SOS 130591 HAS SOPS 95563 HAS SOUS 78049 HAS SOUPS 72659 WITH SCORE 72789.591
AT ITER 250 NEW BEST:: SOT 240217 SOS 130665 HAS SOPS 96027 HAS SOUS 77818 HAS SOUPS 72544 WITH SCORE 72674.665
AT ITER 253 NEW BEST:: SOT 233039 SOS 123486 HAS SOPS 88848 HAS SOUS 70639 HAS SOUPS 65365 WITH SCORE 65488.486
AT ITER 257 NEW BEST:: SOT 233039 SOS 123485 HAS SOPS 88846 HAS SOUS 70638 HAS SOUPS 65364 WITH SCORE 65487.485
AT ITER 261 NEW BEST:: SOT 232418 SOS 123499 HAS SOPS 88270 HAS SOUS 70323 HAS SOUPS 64904 WITH SCORE 65027.499
AT ITER 262 NEW BEST:: SOT 232438 SOS 123567 HAS SOPS 88374 HAS SOUS 70147 HAS SOUPS 64764 WITH SCORE 64887.567
AT ITER 263 NEW BEST:: SOT 226591 SOS 129475 HAS SOPS 85909 HAS SOUS 68236 HAS SOUPS 63086 WITH SCORE 63215.475
AT ITER 266 NEW BEST:: SOT 226714 SOS 128411 HAS SOPS 84810 HAS SOUS 67386 HAS SOUPS 62236 WITH SCORE 62364.411
AT ITER 273 NEW BEST:: SOT 226553 SOS 128250 HAS SOPS 84649 HAS SOUS 67225 HAS SOUPS 62075 WITH SCORE 62203.25
AT ITER 277 NEW BEST:: SOT 226530 SOS 128227 HAS SOPS 84626 HAS SOUS 67202 HAS SOUPS 62052 WITH SCORE 62180.227
AT ITER 278 NEW BEST:: SOT 225979 SOS 127634 HAS SOPS 84064 HAS SOUS 66596 HAS SOUPS 61446 WITH SCORE 61573.634
AT ITER 280 NEW BEST:: SOT 225933 SOS 127588 HAS SOPS 84018 HAS SOUS 66550 HAS SOUPS 61400 WITH SCORE 61527.588
AT ITER 282 NEW BEST:: SOT 225957 SOS 127450 HAS SOPS 83790 HAS SOUS 66322 HAS SOUPS 61172 WITH SCORE 61299.45
AT ITER 283 NEW BEST:: SOT 226021 SOS 127412 HAS SOPS 83752 HAS SOUS 66277 HAS SOUPS 61127 WITH SCORE 61254.412
AT ITER 287 NEW BEST:: SOT 225877 SOS 127338 HAS SOPS 83515 HAS SOUS 66329 HAS SOUPS 61088 WITH SCORE 61215.338
AT ITER 291 NEW BEST:: SOT 225585 SOS 127255 HAS SOPS 83490 HAS SOUS 66264 HAS SOUPS 61023 WITH SCORE 61150.255
AT ITER 297 NEW BEST:: SOT 226312 SOS 127821 HAS SOPS 84048 HAS SOUS 66010 HAS SOUPS 60844 WITH SCORE 60971.821
AT ITER 299 NEW BEST:: SOT 226220 SOS 127577 HAS SOPS 84024 HAS SOUS 65938 HAS SOUPS 60820 WITH SCORE 60947.577
AT ITER 301 NEW BEST:: SOT 223165 SOS 125725 HAS SOPS 83560 HAS SOUS 65409 HAS SOUPS 60513 WITH SCORE 60638.725
AT ITER 304 NEW BEST:: SOT 223087 SOS 125023 HAS SOPS 81050 HAS SOUS 62728 HAS SOUPS 57832 WITH SCORE 57957.023
AT ITER 307 NEW BEST:: SOT 223208 SOS 125102 HAS SOPS 81042 HAS SOUS 60474 HAS SOUPS 55578 WITH SCORE 55703.102
AT ITER 308 NEW BEST:: SOT 223196 SOS 124820 HAS SOPS 80489 HAS SOUS 60390 HAS SOUPS 55494 WITH SCORE 55618.82
AT ITER 311 NEW BEST:: SOT 223540 SOS 124854 HAS SOPS 80523 HAS SOUS 60220 HAS SOUPS 55324 WITH SCORE 55448.854
AT ITER 315 NEW BEST:: SOT 223216 SOS 124924 HAS SOPS 80319 HAS SOUS 59990 HAS SOUPS 55072 WITH SCORE 55196.924
AT ITER 317 NEW BEST:: SOT 223276 SOS 124704 HAS SOPS 80239 HAS SOUS 59949 HAS SOUPS 55051 WITH SCORE 55175.704
AT ITER 318 NEW BEST:: SOT 223289 SOS 124487 HAS SOPS 79933 HAS SOUS 59643 HAS SOUPS 54745 WITH SCORE 54869.487
AT ITER 319 NEW BEST:: SOT 223419 SOS 124428 HAS SOPS 79874 HAS SOUS 59584 HAS SOUPS 54686 WITH SCORE 54810.428
AT ITER 325 NEW BEST:: SOT 223397 SOS 124302 HAS SOPS 79748 HAS SOUS 59582 HAS SOUPS 54684 WITH SCORE 54808.302
AT ITER 328 NEW BEST:: SOT 223889 SOS 124187 HAS SOPS 80459 HAS SOUS 59431 HAS SOUPS 54677 WITH SCORE 54801.187
AT ITER 332 NEW BEST:: SOT 223682 SOS 123921 HAS SOPS 80193 HAS SOUS 59292 HAS SOUPS 54538 WITH SCORE 54661.921
AT ITER 335 NEW BEST:: SOT 223682 SOS 123783 HAS SOPS 80176 HAS SOUS 59260 HAS SOUPS 54523 WITH SCORE 54646.783
AT ITER 337 NEW BEST:: SOT 223459 SOS 124169 HAS SOPS 80250 HAS SOUS 59164 HAS SOUPS 54426 WITH SCORE 54550.169
AT ITER 342 NEW BEST:: SOT 223543 SOS 124031 HAS SOPS 80135 HAS SOUS 59077 HAS SOUPS 54304 WITH SCORE 54428.031
AT ITER 345 NEW BEST:: SOT 223455 SOS 123943 HAS SOPS 80058 HAS SOUS 58989 HAS SOUPS 54227 WITH SCORE 54350.943
AT ITER 347 NEW BEST:: SOT 223660 SOS 123846 HAS SOPS 80013 HAS SOUS 58979 HAS SOUPS 54217 WITH SCORE 54340.846
AT ITER 351 NEW BEST:: SOT 226475 SOS 127001 HAS SOPS 83147 HAS SOUS 58853 HAS SOUPS 54091 WITH SCORE 54218.001
AT ITER 354 NEW BEST:: SOT 226229 SOS 127446 HAS SOPS 83061 HAS SOUS 58805 HAS SOUPS 54015 WITH SCORE 54142.446
AT ITER 360 NEW BEST:: SOT 226223 SOS 127440 HAS SOPS 83040 HAS SOUS 58772 HAS SOUPS 53982 WITH SCORE 54109.44
AT ITER 363 NEW BEST:: SOT 226190 SOS 127407 HAS SOPS 82974 HAS SOUS 58762 HAS SOUPS 53972 WITH SCORE 54099.407
AT ITER 366 NEW BEST:: SOT 226358 SOS 127139 HAS SOPS 82706 HAS SOUS 58643 HAS SOUPS 53853 WITH SCORE 53980.139
AT ITER 367 NEW BEST:: SOT 225813 SOS 126848 HAS SOPS 82269 HAS SOUS 58603 HAS SOUPS 53804 WITH SCORE 53930.848
AT ITER 374 NEW BEST:: SOT 225792 SOS 126827 HAS SOPS 82227 HAS SOUS 58561 HAS SOUPS 53762 WITH SCORE 53888.827
AT ITER 375 NEW BEST:: SOT 225990 SOS 126821 HAS SOPS 82413 HAS SOUS 58518 HAS SOUPS 53716 WITH SCORE 53842.821
AT ITER 376 NEW BEST:: SOT 225956 SOS 126753 HAS SOPS 82345 HAS SOUS 58465 HAS SOUPS 53663 WITH SCORE 53789.753
AT ITER 382 NEW BEST:: SOT 225954 SOS 126885 HAS SOPS 82283 HAS SOUS 58516 HAS SOUPS 53647 WITH SCORE 53773.885
AT ITER 385 NEW BEST:: SOT 225956 SOS 126850 HAS SOPS 82135 HAS SOUS 58368 HAS SOUPS 53499 WITH SCORE 53625.85
AT ITER 386 NEW BEST:: SOT 225913 SOS 126925 HAS SOPS 81877 HAS SOUS 58317 HAS SOUPS 53405 WITH SCORE 53531.925
AT ITER 388 NEW BEST:: SOT 226110 SOS 127130 HAS SOPS 82098 HAS SOUS 58249 HAS SOUPS 53337 WITH SCORE 53464.13
AT ITER 395 NEW BEST:: SOT 224231 SOS 125387 HAS SOPS 81227 HAS SOUS 57043 HAS SOUPS 52308 WITH SCORE 52433.387
AT ITER 399 NEW BEST:: SOT 224203 SOS 125331 HAS SOPS 81171 HAS SOUS 56987 HAS SOUPS 52252 WITH SCORE 52377.331
AT ITER 400 NEW BEST:: SOT 223938 SOS 125039 HAS SOPS 80973 HAS SOUS 56839 HAS SOUPS 52107 WITH SCORE 52232.039
AT ITER 411 NEW BEST:: SOT 224015 SOS 125116 HAS SOPS 81050 HAS SOUS 56786 HAS SOUPS 52054 WITH SCORE 52179.116
AT ITER 414 NEW BEST:: SOT 224017 SOS 124985 HAS SOPS 80921 HAS SOUS 56649 HAS SOUPS 51918 WITH SCORE 52042.985
AT ITER 415 NEW BEST:: SOT 223921 SOS 124889 HAS SOPS 80933 HAS SOUS 56553 HAS SOUPS 51870 WITH SCORE 51994.889
AT ITER 416 NEW BEST:: SOT 220479 SOS 128550 HAS SOPS 80145 HAS SOUS 55387 HAS SOUPS 50771 WITH SCORE 50899.55
AT ITER 417 NEW BEST:: SOT 220389 SOS 128454 HAS SOPS 80049 HAS SOUS 55348 HAS SOUPS 50732 WITH SCORE 50860.454
AT ITER 419 NEW BEST:: SOT 220542 SOS 128454 HAS SOPS 80264 HAS SOUS 54928 HAS SOUPS 50400 WITH SCORE 50528.454
AT ITER 423 NEW BEST:: SOT 220562 SOS 128374 HAS SOPS 80184 HAS SOUS 54888 HAS SOUPS 50360 WITH SCORE 50488.374
AT ITER 427 NEW BEST:: SOT 221332 SOS 125419 HAS SOPS 80606 HAS SOUS 54606 HAS SOUPS 50159 WITH SCORE 50284.419
AT ITER 429 NEW BEST:: SOT 221327 SOS 125379 HAS SOPS 80596 HAS SOUS 54591 HAS SOUPS 50144 WITH SCORE 50269.379
AT ITER 437 NEW BEST:: SOT 220997 SOS 125016 HAS SOPS 80240 HAS SOUS 54236 HAS SOUPS 49789 WITH SCORE 49914.016
AT ITER 439 NEW BEST:: SOT 221094 SOS 125106 HAS SOPS 80322 HAS SOUS 54184 HAS SOUPS 49739 WITH SCORE 49864.106
AT ITER 440 NEW BEST:: SOT 221035 SOS 124944 HAS SOPS 80160 HAS SOUS 54032 HAS SOUPS 49587 WITH SCORE 49711.944
AT ITER 443 NEW BEST:: SOT 220759 SOS 124697 HAS SOPS 79942 HAS SOUS 53957 HAS SOUPS 49530 WITH SCORE 49654.697
AT ITER 448 NEW BEST:: SOT 220753 SOS 125054 HAS SOPS 79936 HAS SOUS 53957 HAS SOUPS 49527 WITH SCORE 49652.054
AT ITER 449 NEW BEST:: SOT 220521 SOS 124762 HAS SOPS 79660 HAS SOUS 53900 HAS SOUPS 49431 WITH SCORE 49555.762
AT ITER 452 NEW BEST:: SOT 220559 SOS 124792 HAS SOPS 79613 HAS SOUS 51904 HAS SOUPS 47435 WITH SCORE 47559.792
AT ITER 458 NEW BEST:: SOT 220543 SOS 124760 HAS SOPS 79589 HAS SOUS 51880 HAS SOUPS 47411 WITH SCORE 47535.76
AT ITER 459 NEW BEST:: SOT 220396 SOS 124440 HAS SOPS 79346 HAS SOUS 51044 HAS SOUPS 46588 WITH SCORE 46712.44
AT ITER 465 NEW BEST:: SOT 220285 SOS 124345 HAS SOPS 79247 HAS SOUS 51039 HAS SOUPS 46582 WITH SCORE 46706.345
AT ITER 467 NEW BEST:: SOT 220254 SOS 124337 HAS SOPS 79216 HAS SOUS 51008 HAS SOUPS 46551 WITH SCORE 46675.337
AT ITER 472 NEW BEST:: SOT 219957 SOS 124277 HAS SOPS 79156 HAS SOUS 50946 HAS SOUPS 46489 WITH SCORE 46613.277
AT ITER 476 NEW BEST:: SOT 219950 SOS 124270 HAS SOPS 79156 HAS SOUS 50932 HAS SOUPS 46475 WITH SCORE 46599.27
AT ITER 479 NEW BEST:: SOT 219938 SOS 124258 HAS SOPS 79198 HAS SOUS 50926 HAS SOUPS 46469 WITH SCORE 46593.258
AT ITER 491 NEW BEST:: SOT 219938 SOS 124249 HAS SOPS 79192 HAS SOUS 50926 HAS SOUPS 46469 WITH SCORE 46593.249
AT ITER 500 NEW BEST:: SOT 220332 SOS 123853 HAS SOPS 79321 HAS SOUS 50468 HAS SOUPS 46093 WITH SCORE 46216.853
AT ITER 504 NEW BEST:: SOT 220331 SOS 123852 HAS SOPS 79319 HAS SOUS 50466 HAS SOUPS 46091 WITH SCORE 46214.852
AT ITER 506 NEW BEST:: SOT 220357 SOS 123584 HAS SOPS 79311 HAS SOUS 50212 HAS SOUPS 45897 WITH SCORE 46020.584
AT ITER 507 NEW BEST:: SOT 220130 SOS 123473 HAS SOPS 79244 HAS SOUS 50174 HAS SOUPS 45859 WITH SCORE 45982.473
AT ITER 509 NEW BEST:: SOT 220130 SOS 123292 HAS SOPS 78978 HAS SOUS 50051 HAS SOUPS 45736 WITH SCORE 45859.292
AT ITER 513 NEW BEST:: SOT 220416 SOS 116956 HAS SOPS 79213 HAS SOUS 49982 HAS SOUPS 45730 WITH SCORE 45846.956
AT ITER 516 NEW BEST:: SOT 220416 SOS 116944 HAS SOPS 79201 HAS SOUS 49982 HAS SOUPS 45730 WITH SCORE 45846.944
AT ITER 520 NEW BEST:: SOT 223806 SOS 118615 HAS SOPS 78390 HAS SOUS 45630 HAS SOUPS 41384 WITH SCORE 41502.615
AT ITER 529 NEW BEST:: SOT 227626 SOS 120718 HAS SOPS 77815 HAS SOUS 41512 HAS SOUPS 37204 WITH SCORE 37324.718
AT ITER 532 NEW BEST:: SOT 227531 SOS 121276 HAS SOPS 77287 HAS SOUS 41527 HAS SOUPS 37050 WITH SCORE 37171.276
AT ITER 534 NEW BEST:: SOT 227503 SOS 121210 HAS SOPS 77175 HAS SOUS 41415 HAS SOUPS 36938 WITH SCORE 37059.21
AT ITER 536 NEW BEST:: SOT 227466 SOS 121857 HAS SOPS 77119 HAS SOUS 41460 HAS SOUPS 36926 WITH SCORE 37047.857
AT ITER 538 NEW BEST:: SOT 227461 SOS 121743 HAS SOPS 77005 HAS SOUS 41418 HAS SOUPS 36884 WITH SCORE 37005.743
AT ITER 545 NEW BEST:: SOT 227055 SOS 121979 HAS SOPS 76635 HAS SOUS 41441 HAS SOUPS 36826 WITH SCORE 36947.979
AT ITER 548 NEW BEST:: SOT 227115 SOS 121963 HAS SOPS 76619 HAS SOUS 41438 HAS SOUPS 36823 WITH SCORE 36944.963
AT ITER 550 NEW BEST:: SOT 227384 SOS 121946 HAS SOPS 76968 HAS SOUS 41321 HAS SOUPS 36762 WITH SCORE 36883.946
AT ITER 553 NEW BEST:: SOT 227149 SOS 121723 HAS SOPS 76699 HAS SOUS 40984 HAS SOUPS 36425 WITH SCORE 36546.723
AT ITER 567 NEW BEST:: SOT 227157 SOS 121659 HAS SOPS 76635 HAS SOUS 40960 HAS SOUPS 36401 WITH SCORE 36522.659
AT ITER 571 NEW BEST:: SOT 227130 SOS 121704 HAS SOPS 76617 HAS SOUS 40960 HAS SOUPS 36392 WITH SCORE 36513.704
AT ITER 573 NEW BEST:: SOT 227116 SOS 121690 HAS SOPS 76589 HAS SOUS 40947 HAS SOUPS 36364 WITH SCORE 36485.69
AT ITER 581 NEW BEST:: SOT 227114 SOS 121688 HAS SOPS 76585 HAS SOUS 40943 HAS SOUPS 36360 WITH SCORE 36481.688
AT ITER 586 NEW BEST:: SOT 227008 SOS 121582 HAS SOPS 76515 HAS SOUS 40873 HAS SOUPS 36290 WITH SCORE 36411.582
AT ITER 590 NEW BEST:: SOT 226948 SOS 121514 HAS SOPS 76447 HAS SOUS 40866 HAS SOUPS 36283 WITH SCORE 36404.514
AT ITER 595 NEW BEST:: SOT 226861 SOS 121352 HAS SOPS 76145 HAS SOUS 40590 HAS SOUPS 36007 WITH SCORE 36128.352
AT ITER 597 NEW BEST:: SOT 226794 SOS 121372 HAS SOPS 76011 HAS SOUS 40538 HAS SOUPS 35931 WITH SCORE 36052.372
AT ITER 601 NEW BEST:: SOT 226637 SOS 121872 HAS SOPS 75997 HAS SOUS 40497 HAS SOUPS 35911 WITH SCORE 36032.872
AT ITER 617 NEW BEST:: SOT 227047 SOS 115545 HAS SOPS 75828 HAS SOUS 40153 HAS SOUPS 35658 WITH SCORE 35773.545
AT ITER 619 NEW BEST:: SOT 226808 SOS 115736 HAS SOPS 75595 HAS SOUS 40093 HAS SOUPS 35503 WITH SCORE 35618.736
AT ITER 624 NEW BEST:: SOT 226120 SOS 115274 HAS SOPS 75138 HAS SOUS 39946 HAS SOUPS 35308 WITH SCORE 35423.274
AT ITER 629 NEW BEST:: SOT 226122 SOS 115250 HAS SOPS 75198 HAS SOUS 39916 HAS SOUPS 35292 WITH SCORE 35407.25
AT ITER 634 NEW BEST:: SOT 226159 SOS 115028 HAS SOPS 74738 HAS SOUS 39805 HAS SOUPS 35181 WITH SCORE 35296.028
AT ITER 637 NEW BEST:: SOT 226307 SOS 114158 HAS SOPS 74885 HAS SOUS 39727 HAS SOUPS 35118 WITH SCORE 35232.158
AT ITER 638 NEW BEST:: SOT 226372 SOS 113937 HAS SOPS 74395 HAS SOUS 38809 HAS SOUPS 34195 WITH SCORE 34308.937
AT ITER 642 NEW BEST:: SOT 226451 SOS 113928 HAS SOPS 74419 HAS SOUS 38610 HAS SOUPS 34093 WITH SCORE 34206.928
AT ITER 647 NEW BEST:: SOT 226338 SOS 114108 HAS SOPS 74291 HAS SOUS 38527 HAS SOUPS 33966 WITH SCORE 34080.108
AT ITER 653 NEW BEST:: SOT 226374 SOS 114072 HAS SOPS 74255 HAS SOUS 38491 HAS SOUPS 33930 WITH SCORE 34044.072
AT ITER 655 NEW BEST:: SOT 226364 SOS 114067 HAS SOPS 74250 HAS SOUS 38486 HAS SOUPS 33925 WITH SCORE 34039.067
AT ITER 656 NEW BEST:: SOT 226252 SOS 114011 HAS SOPS 74194 HAS SOUS 38467 HAS SOUPS 33906 WITH SCORE 34020.011
AT ITER 661 NEW BEST:: SOT 226256 SOS 114015 HAS SOPS 74198 HAS SOUS 38466 HAS SOUPS 33905 WITH SCORE 34019.015
AT ITER 662 NEW BEST:: SOT 226277 SOS 113634 HAS SOPS 73940 HAS SOUS 38376 HAS SOUPS 33815 WITH SCORE 33928.634
AT ITER 664 NEW BEST:: SOT 227970 SOS 115342 HAS SOPS 75634 HAS SOUS 37560 HAS SOUPS 32999 WITH SCORE 33114.342
AT ITER 665 NEW BEST:: SOT 227958 SOS 115336 HAS SOPS 75607 HAS SOUS 37560 HAS SOUPS 32996 WITH SCORE 33111.336
AT ITER 679 NEW BEST:: SOT 227785 SOS 115152 HAS SOPS 75431 HAS SOUS 37411 HAS SOUPS 32847 WITH SCORE 32962.152
AT ITER 683 NEW BEST:: SOT 227719 SOS 115304 HAS SOPS 75715 HAS SOUS 37340 HAS SOUPS 32776 WITH SCORE 32891.304
AT ITER 697 NEW BEST:: SOT 227718 SOS 115305 HAS SOPS 75713 HAS SOUS 37338 HAS SOUPS 32774 WITH SCORE 32889.305
AT ITER 701 NEW BEST:: SOT 227633 SOS 115399 HAS SOPS 75528 HAS SOUS 37204 HAS SOUPS 32613 WITH SCORE 32728.399
AT ITER 715 NEW BEST:: SOT 228774 SOS 113804 HAS SOPS 75540 HAS SOUS 37060 HAS SOUPS 32466 WITH SCORE 32579.804
AT ITER 738 NEW BEST:: SOT 228564 SOS 113846 HAS SOPS 75582 HAS SOUS 36995 HAS SOUPS 32401 WITH SCORE 32514.846
AT ITER 747 NEW BEST:: SOT 228494 SOS 114188 HAS SOPS 75604 HAS SOUS 37017 HAS SOUPS 32396 WITH SCORE 32510.188
AT ITER 748 NEW BEST:: SOT 228492 SOS 114187 HAS SOPS 75603 HAS SOUS 37017 HAS SOUPS 32396 WITH SCORE 32510.187
AT ITER 751 NEW BEST:: SOT 227598 SOS 113840 HAS SOPS 76212 HAS SOUS 35266 HAS SOUPS 30779 WITH SCORE 30892.84
AT ITER 762 NEW BEST:: SOT 227598 SOS 113839 HAS SOPS 76211 HAS SOUS 35263 HAS SOUPS 30776 WITH SCORE 30889.839
AT ITER 764 NEW BEST:: SOT 227533 SOS 113519 HAS SOPS 75891 HAS SOUS 35073 HAS SOUPS 30586 WITH SCORE 30699.519
AT ITER 793 NEW BEST:: SOT 227602 SOS 111713 HAS SOPS 75864 HAS SOUS 34981 HAS SOUPS 30549 WITH SCORE 30660.713
AT ITER 800 NEW BEST:: SOT 227588 SOS 111541 HAS SOPS 75672 HAS SOUS 34835 HAS SOUPS 30374 WITH SCORE 30485.541
AT ITER 803 NEW BEST:: SOT 225035 SOS 108988 HAS SOPS 73119 HAS SOUS 34679 HAS SOUPS 30218 WITH SCORE 30326.988
AT ITER 816 NEW BEST:: SOT 225017 SOS 108740 HAS SOPS 72967 HAS SOUS 34423 HAS SOUPS 30044 WITH SCORE 30152.74
AT ITER 819 NEW BEST:: SOT 225344 SOS 108854 HAS SOPS 73011 HAS SOUS 34374 HAS SOUPS 30024 WITH SCORE 30132.854
AT ITER 820 NEW BEST:: SOT 224832 SOS 108484 HAS SOPS 72861 HAS SOUS 34274 HAS SOUPS 29874 WITH SCORE 29982.484
AT ITER 823 NEW BEST:: SOT 224867 SOS 108482 HAS SOPS 72859 HAS SOUS 34256 HAS SOUPS 29856 WITH SCORE 29964.482
AT ITER 824 NEW BEST:: SOT 224887 SOS 108437 HAS SOPS 72847 HAS SOUS 34252 HAS SOUPS 29852 WITH SCORE 29960.437
AT ITER 829 NEW BEST:: SOT 224959 SOS 108063 HAS SOPS 72838 HAS SOUS 34277 HAS SOUPS 29849 WITH SCORE 29957.063
AT ITER 830 NEW BEST:: SOT 224969 SOS 108046 HAS SOPS 72757 HAS SOUS 34016 HAS SOUPS 29513 WITH SCORE 29621.046
AT ITER 832 NEW BEST:: SOT 224861 SOS 107578 HAS SOPS 72577 HAS SOUS 33869 HAS SOUPS 29402 WITH SCORE 29509.578
AT ITER 833 NEW BEST:: SOT 224861 SOS 107398 HAS SOPS 72397 HAS SOUS 33749 HAS SOUPS 29282 WITH SCORE 29389.398
AT ITER 840 NEW BEST:: SOT 224836 SOS 107505 HAS SOPS 72469 HAS SOUS 33737 HAS SOUPS 29270 WITH SCORE 29377.505
AT ITER 841 NEW BEST:: SOT 224769 SOS 107449 HAS SOPS 72439 HAS SOUS 33678 HAS SOUPS 29211 WITH SCORE 29318.449
AT ITER 849 NEW BEST:: SOT 224765 SOS 107493 HAS SOPS 72455 HAS SOUS 33680 HAS SOUPS 29209 WITH SCORE 29316.493
AT ITER 850 NEW BEST:: SOT 222854 SOS 105545 HAS SOPS 70470 HAS SOUS 33631 HAS SOUPS 29123 WITH SCORE 29228.545
AT ITER 856 NEW BEST:: SOT 222654 SOS 105514 HAS SOPS 70399 HAS SOUS 33412 HAS SOUPS 28904 WITH SCORE 29009.514
AT ITER 858 NEW BEST:: SOT 222531 SOS 105391 HAS SOPS 70249 HAS SOUS 33277 HAS SOUPS 28754 WITH SCORE 28859.391
AT ITER 861 NEW BEST:: SOT 222512 SOS 105372 HAS SOPS 70242 HAS SOUS 33277 HAS SOUPS 28754 WITH SCORE 28859.372
AT ITER 863 NEW BEST:: SOT 222494 SOS 105354 HAS SOPS 70216 HAS SOUS 33203 HAS SOUPS 28680 WITH SCORE 28785.354
AT ITER 864 NEW BEST:: SOT 222520 SOS 105307 HAS SOPS 70169 HAS SOUS 33162 HAS SOUPS 28639 WITH SCORE 28744.307
AT ITER 881 NEW BEST:: SOT 221641 SOS 104467 HAS SOPS 69810 HAS SOUS 32744 HAS SOUPS 28280 WITH SCORE 28384.467
AT ITER 884 NEW BEST:: SOT 221607 SOS 104535 HAS SOPS 69742 HAS SOUS 32727 HAS SOUPS 28246 WITH SCORE 28350.535
AT ITER 887 NEW BEST:: SOT 221566 SOS 104647 HAS SOPS 69854 HAS SOUS 32706 HAS SOUPS 28225 WITH SCORE 28329.647
AT ITER 888 NEW BEST:: SOT 221661 SOS 104572 HAS SOPS 69779 HAS SOUS 32676 HAS SOUPS 28195 WITH SCORE 28299.572
AT ITER 891 NEW BEST:: SOT 221630 SOS 104541 HAS SOPS 69717 HAS SOUS 32632 HAS SOUPS 28151 WITH SCORE 28255.541
AT ITER 897 NEW BEST:: SOT 221483 SOS 104473 HAS SOPS 69720 HAS SOUS 32525 HAS SOUPS 28057 WITH SCORE 28161.473
AT ITER 899 NEW BEST:: SOT 221380 SOS 104278 HAS SOPS 69549 HAS SOUS 32431 HAS SOUPS 27963 WITH SCORE 28067.278
AT ITER 902 NEW BEST:: SOT 221363 SOS 104370 HAS SOPS 69515 HAS SOUS 32424 HAS SOUPS 27938 WITH SCORE 28042.37
AT ITER 904 NEW BEST:: SOT 221486 SOS 104496 HAS SOPS 69641 HAS SOUS 32382 HAS SOUPS 27896 WITH SCORE 28000.496
AT ITER 905 NEW BEST:: SOT 221195 SOS 104355 HAS SOPS 69532 HAS SOUS 32322 HAS SOUPS 27806 WITH SCORE 27910.355
AT ITER 921 NEW BEST:: SOT 221163 SOS 104323 HAS SOPS 69496 HAS SOUS 32308 HAS SOUPS 27793 WITH SCORE 27897.323
AT ITER 923 NEW BEST:: SOT 221138 SOS 104251 HAS SOPS 69445 HAS SOUS 32221 HAS SOUPS 27706 WITH SCORE 27810.251
AT ITER 932 NEW BEST:: SOT 221138 SOS 104195 HAS SOPS 69445 HAS SOUS 32213 HAS SOUPS 27706 WITH SCORE 27810.195
AT ITER 951 NEW BEST:: SOT 220869 SOS 103764 HAS SOPS 69073 HAS SOUS 32188 HAS SOUPS 27681 WITH SCORE 27784.764
AT ITER 963 NEW BEST:: SOT 221146 SOS 103375 HAS SOPS 68879 HAS SOUS 31989 HAS SOUPS 27543 WITH SCORE 27646.375
AT ITER 968 NEW BEST:: SOT 221104 SOS 104503 HAS SOPS 68785 HAS SOUS 31981 HAS SOUPS 27483 WITH SCORE 27587.503
AT ITER 988 NEW BEST:: SOT 221104 SOS 104461 HAS SOPS 68743 HAS SOUS 31939 HAS SOUPS 27441 WITH SCORE 27545.461
AT ITER 993 NEW BEST:: SOT 221051 SOS 104355 HAS SOPS 68637 HAS SOUS 31904 HAS SOUPS 27406 WITH SCORE 27510.355
AT ITER 994 NEW BEST:: SOT 221004 SOS 104287 HAS SOPS 68581 HAS SOUS 31873 HAS SOUPS 27375 WITH SCORE 27479.287
AT ITER 995 NEW BEST:: SOT 220901 SOS 104081 HAS SOPS 68375 HAS SOUS 31840 HAS SOUPS 27342 WITH SCORE 27446.081
AT ITER 997 NEW BEST:: SOT 220651 SOS 103900 HAS SOPS 68164 HAS SOUS 31846 HAS SOUPS 27318 WITH SCORE 27421.9
AT ITER 1001 NEW BEST:: SOT 220630 SOS 103831 HAS SOPS 68230 HAS SOUS 31834 HAS SOUPS 27315 WITH SCORE 27418.831
AT ITER 1006 NEW BEST:: SOT 220606 SOS 103759 HAS SOPS 68158 HAS SOUS 31810 HAS SOUPS 27291 WITH SCORE 27394.759
AT ITER 1007 NEW BEST:: SOT 219756 SOS 102956 HAS SOPS 68081 HAS SOUS 31673 HAS SOUPS 27214 WITH SCORE 27316.956
AT ITER 1020 NEW BEST:: SOT 219215 SOS 102409 HAS SOPS 67533 HAS SOUS 31670 HAS SOUPS 27213 WITH SCORE 27315.409
AT ITER 1021 NEW BEST:: SOT 219337 SOS 102526 HAS SOPS 67589 HAS SOUS 31622 HAS SOUPS 27165 WITH SCORE 27267.526
AT ITER 1023 NEW BEST:: SOT 219448 SOS 102505 HAS SOPS 67494 HAS SOUS 31459 HAS SOUPS 27002 WITH SCORE 27104.505
AT ITER 1024 NEW BEST:: SOT 219369 SOS 102426 HAS SOPS 67434 HAS SOUS 31380 HAS SOUPS 26942 WITH SCORE 27044.426
AT ITER 1025 NEW BEST:: SOT 218976 SOS 102606 HAS SOPS 67096 HAS SOUS 31363 HAS SOUPS 26848 WITH SCORE 26950.606
AT ITER 1037 NEW BEST:: SOT 218955 SOS 102660 HAS SOPS 67170 HAS SOUS 31316 HAS SOUPS 26801 WITH SCORE 26903.66
AT ITER 1082 NEW BEST:: SOT 218814 SOS 102519 HAS SOPS 66933 HAS SOUS 31325 HAS SOUPS 26794 WITH SCORE 26896.519
AT ITER 1090 NEW BEST:: SOT 218828 SOS 102470 HAS SOPS 66933 HAS SOUS 31318 HAS SOUPS 26794 WITH SCORE 26896.47
AT ITER 1106 NEW BEST:: SOT 218835 SOS 102476 HAS SOPS 66939 HAS SOUS 31317 HAS SOUPS 26793 WITH SCORE 26895.476
AT ITER 1112 NEW BEST:: SOT 219180 SOS 102789 HAS SOPS 66906 HAS SOUS 31348 HAS SOUPS 26760 WITH SCORE 26862.789
AT ITER 1121 NEW BEST:: SOT 218908 SOS 102560 HAS SOPS 66770 HAS SOUS 31348 HAS SOUPS 26726 WITH SCORE 26828.56
AT ITER 1123 NEW BEST:: SOT 218900 SOS 102480 HAS SOPS 66754 HAS SOUS 31340 HAS SOUPS 26726 WITH SCORE 26828.48
AT ITER 1140 NEW BEST:: SOT 218900 SOS 102388 HAS SOPS 66662 HAS SOUS 31222 HAS SOUPS 26608 WITH SCORE 26710.388
AT ITER 1142 NEW BEST:: SOT 218890 SOS 102354 HAS SOPS 66628 HAS SOUS 31188 HAS SOUPS 26574 WITH SCORE 26676.354
AT ITER 1156 NEW BEST:: SOT 218873 SOS 102350 HAS SOPS 66624 HAS SOUS 31197 HAS SOUPS 26573 WITH SCORE 26675.35
AT ITER 1160 NEW BEST:: SOT 218894 SOS 102320 HAS SOPS 66576 HAS SOUS 31146 HAS SOUPS 26549 WITH SCORE 26651.32
AT ITER 1166 NEW BEST:: SOT 218874 SOS 102280 HAS SOPS 66542 HAS SOUS 31127 HAS SOUPS 26530 WITH SCORE 26632.28
AT ITER 1167 NEW BEST:: SOT 218868 SOS 102274 HAS SOPS 66536 HAS SOUS 31124 HAS SOUPS 26527 WITH SCORE 26629.274
AT ITER 1168 NEW BEST:: SOT 218577 SOS 102220 HAS SOPS 66536 HAS SOUS 31076 HAS SOUPS 26515 WITH SCORE 26617.22
AT ITER 1173 NEW BEST:: SOT 218577 SOS 102192 HAS SOPS 66472 HAS SOUS 30948 HAS SOUPS 26387 WITH SCORE 26489.192
AT ITER 1181 NEW BEST:: SOT 214734 SOS 98349 HAS SOPS 62593 HAS SOUS 29506 HAS SOUPS 24945 WITH SCORE 25043.349
AT ITER 1182 NEW BEST:: SOT 214734 SOS 98330 HAS SOPS 62574 HAS SOUS 29506 HAS SOUPS 24945 WITH SCORE 25043.33
AT ITER 1189 NEW BEST:: SOT 214734 SOS 98329 HAS SOPS 62574 HAS SOUS 29506 HAS SOUPS 24945 WITH SCORE 25043.329
AT ITER 1201 NEW BEST:: SOT 214769 SOS 98369 HAS SOPS 62614 HAS SOUS 29505 HAS SOUPS 24944 WITH SCORE 25042.369
AT ITER 1209 NEW BEST:: SOT 214775 SOS 98319 HAS SOPS 62564 HAS SOUS 29258 HAS SOUPS 24697 WITH SCORE 24795.319
AT ITER 1210 NEW BEST:: SOT 213985 SOS 108147 HAS SOPS 62344 HAS SOUS 29344 HAS SOUPS 24684 WITH SCORE 24792.147
AT ITER 1216 NEW BEST:: SOT 213985 SOS 108141 HAS SOPS 62346 HAS SOUS 29342 HAS SOUPS 24683 WITH SCORE 24791.141
AT ITER 1217 NEW BEST:: SOT 214193 SOS 100040 HAS SOPS 62494 HAS SOUS 29152 HAS SOUPS 24571 WITH SCORE 24671.04
AT ITER 1218 NEW BEST:: SOT 214165 SOS 100026 HAS SOPS 62466 HAS SOUS 29068 HAS SOUPS 24487 WITH SCORE 24587.026
AT ITER 1221 NEW BEST:: SOT 213671 SOS 99626 HAS SOPS 62012 HAS SOUS 28960 HAS SOUPS 24363 WITH SCORE 24462.626
AT ITER 1227 NEW BEST:: SOT 213609 SOS 99622 HAS SOPS 61977 HAS SOUS 28925 HAS SOUPS 24328 WITH SCORE 24427.622
AT ITER 1231 NEW BEST:: SOT 213560 SOS 99477 HAS SOPS 61800 HAS SOUS 28748 HAS SOUPS 24152 WITH SCORE 24251.477
AT ITER 1236 NEW BEST:: SOT 213542 SOS 99441 HAS SOPS 61773 HAS SOUS 28756 HAS SOUPS 24151 WITH SCORE 24250.441
AT ITER 1253 NEW BEST:: SOT 213541 SOS 99424 HAS SOPS 61761 HAS SOUS 28727 HAS SOUPS 24126 WITH SCORE 24225.424
AT ITER 1254 NEW BEST:: SOT 213762 SOS 99178 HAS SOPS 61761 HAS SOUS 28720 HAS SOUPS 24110 WITH SCORE 24209.178
AT ITER 1270 NEW BEST:: SOT 213654 SOS 99034 HAS SOPS 61617 HAS SOUS 28630 HAS SOUPS 24020 WITH SCORE 24119.034
AT ITER 1277 NEW BEST:: SOT 213696 SOS 99230 HAS SOPS 61801 HAS SOUS 28594 HAS SOUPS 23984 WITH SCORE 24083.23
AT ITER 1282 NEW BEST:: SOT 213649 SOS 97811 HAS SOPS 53960 HAS SOUS 28350 HAS SOUPS 23155 WITH SCORE 23252.811
AT ITER 1285 NEW BEST:: SOT 212920 SOS 97975 HAS SOPS 53889 HAS SOUS 28463 HAS SOUPS 23154 WITH SCORE 23251.975
AT ITER 1290 NEW BEST:: SOT 212869 SOS 98062 HAS SOPS 53829 HAS SOUS 28442 HAS SOUPS 23112 WITH SCORE 23210.062
AT ITER 1293 NEW BEST:: SOT 212866 SOS 98059 HAS SOPS 53823 HAS SOUS 28436 HAS SOUPS 23106 WITH SCORE 23204.059
AT ITER 1310 NEW BEST:: SOT 213505 SOS 98726 HAS SOPS 54481 HAS SOUS 28341 HAS SOUPS 23011 WITH SCORE 23109.726
AT ITER 1314 NEW BEST:: SOT 213483 SOS 98671 HAS SOPS 54426 HAS SOUS 28330 HAS SOUPS 23000 WITH SCORE 23098.671
AT ITER 1317 NEW BEST:: SOT 213483 SOS 98641 HAS SOPS 54396 HAS SOUS 28306 HAS SOUPS 22976 WITH SCORE 23074.641
AT ITER 1321 NEW BEST:: SOT 213442 SOS 98734 HAS SOPS 54524 HAS SOUS 28303 HAS SOUPS 22973 WITH SCORE 23071.734
AT ITER 1325 NEW BEST:: SOT 213442 SOS 98729 HAS SOPS 54519 HAS SOUS 28298 HAS SOUPS 22968 WITH SCORE 23066.729
AT ITER 1334 NEW BEST:: SOT 213513 SOS 98605 HAS SOPS 54521 HAS SOUS 28294 HAS SOUPS 22964 WITH SCORE 23062.605
AT ITER 1336 NEW BEST:: SOT 213479 SOS 98520 HAS SOPS 54436 HAS SOUS 28226 HAS SOUPS 22896 WITH SCORE 22994.52
AT ITER 1341 NEW BEST:: SOT 213481 SOS 98711 HAS SOPS 54523 HAS SOUS 27944 HAS SOUPS 22614 WITH SCORE 22712.711
AT ITER 1343 NEW BEST:: SOT 213481 SOS 98701 HAS SOPS 54513 HAS SOUS 27934 HAS SOUPS 22604 WITH SCORE 22702.701
AT ITER 1368 NEW BEST:: SOT 213478 SOS 98647 HAS SOPS 54459 HAS SOUS 27914 HAS SOUPS 22584 WITH SCORE 22682.647
AT ITER 1374 NEW BEST:: SOT 213581 SOS 98641 HAS SOPS 54453 HAS SOUS 27907 HAS SOUPS 22577 WITH SCORE 22675.641
AT ITER 1390 NEW BEST:: SOT 213547 SOS 98605 HAS SOPS 54417 HAS SOUS 27876 HAS SOUPS 22546 WITH SCORE 22644.605
AT ITER 1395 NEW BEST:: SOT 213547 SOS 98523 HAS SOPS 54385 HAS SOUS 27874 HAS SOUPS 22544 WITH SCORE 22642.523
AT ITER 1397 NEW BEST:: SOT 213549 SOS 98407 HAS SOPS 54269 HAS SOUS 27830 HAS SOUPS 22500 WITH SCORE 22598.407
AT ITER 1405 NEW BEST:: SOT 213565 SOS 98391 HAS SOPS 54261 HAS SOUS 27806 HAS SOUPS 22476 WITH SCORE 22574.391
AT ITER 1406 NEW BEST:: SOT 213586 SOS 98384 HAS SOPS 54247 HAS SOUS 27792 HAS SOUPS 22462 WITH SCORE 22560.384
AT ITER 1408 NEW BEST:: SOT 213556 SOS 98364 HAS SOPS 54307 HAS SOUS 27782 HAS SOUPS 22462 WITH SCORE 22560.364
AT ITER 1422 NEW BEST:: SOT 213544 SOS 98364 HAS SOPS 54259 HAS SOUS 27764 HAS SOUPS 22438 WITH SCORE 22536.364
AT ITER 1423 NEW BEST:: SOT 213549 SOS 98500 HAS SOPS 54284 HAS SOUS 27797 HAS SOUPS 22433 WITH SCORE 22531.5
AT ITER 1424 NEW BEST:: SOT 213543 SOS 98515 HAS SOPS 54278 HAS SOUS 27796 HAS SOUPS 22429 WITH SCORE 22527.515
AT ITER 1442 NEW BEST:: SOT 213596 SOS 98345 HAS SOPS 54145 HAS SOUS 27784 HAS SOUPS 22417 WITH SCORE 22515.345
AT ITER 1444 NEW BEST:: SOT 213511 SOS 98451 HAS SOPS 53883 HAS SOUS 27661 HAS SOUPS 22248 WITH SCORE 22346.451
AT ITER 1468 NEW BEST:: SOT 213599 SOS 98536 HAS SOPS 53840 HAS SOUS 27647 HAS SOUPS 22205 WITH SCORE 22303.536
AT ITER 1478 NEW BEST:: SOT 213602 SOS 98512 HAS SOPS 53840 HAS SOUS 27641 HAS SOUPS 22202 WITH SCORE 22300.512
AT ITER 1485 NEW BEST:: SOT 213602 SOS 98490 HAS SOPS 53838 HAS SOUS 27637 HAS SOUPS 22200 WITH SCORE 22298.49
AT ITER 1489 NEW BEST:: SOT 213599 SOS 98487 HAS SOPS 53832 HAS SOUS 27634 HAS SOUPS 22194 WITH SCORE 22292.487
AT ITER 1513 NEW BEST:: SOT 213655 SOS 98523 HAS SOPS 53878 HAS SOUS 27634 HAS SOUPS 22184 WITH SCORE 22282.523
AT ITER 1517 NEW BEST:: SOT 213081 SOS 100954 HAS SOPS 53690 HAS SOUS 27757 HAS SOUPS 22178 WITH SCORE 22278.954
AT ITER 1522 NEW BEST:: SOT 213031 SOS 100874 HAS SOPS 53610 HAS SOUS 27684 HAS SOUPS 22105 WITH SCORE 22205.874
AT ITER 1524 NEW BEST:: SOT 213034 SOS 100843 HAS SOPS 53493 HAS SOUS 27442 HAS SOUPS 21863 WITH SCORE 21963.843
AT ITER 1532 NEW BEST:: SOT 212823 SOS 100987 HAS SOPS 53599 HAS SOUS 27463 HAS SOUPS 21817 WITH SCORE 21917.987
AT ITER 1535 NEW BEST:: SOT 212869 SOS 100634 HAS SOPS 53590 HAS SOUS 27338 HAS SOUPS 21752 WITH SCORE 21852.634
AT ITER 1538 NEW BEST:: SOT 212866 SOS 100572 HAS SOPS 53563 HAS SOUS 27326 HAS SOUPS 21740 WITH SCORE 21840.572
AT ITER 1548 NEW BEST:: SOT 212873 SOS 100558 HAS SOPS 53549 HAS SOUS 27312 HAS SOUPS 21726 WITH SCORE 21826.558
AT ITER 1559 NEW BEST:: SOT 212882 SOS 100432 HAS SOPS 53423 HAS SOUS 27249 HAS SOUPS 21663 WITH SCORE 21763.432
AT ITER 1561 NEW BEST:: SOT 212995 SOS 100478 HAS SOPS 53519 HAS SOUS 27145 HAS SOUPS 21630 WITH SCORE 21730.478
AT ITER 1567 NEW BEST:: SOT 212990 SOS 100138 HAS SOPS 53410 HAS SOUS 27031 HAS SOUPS 21549 WITH SCORE 21649.138
AT ITER 1581 NEW BEST:: SOT 212961 SOS 100102 HAS SOPS 53396 HAS SOUS 27016 HAS SOUPS 21534 WITH SCORE 21634.102
AT ITER 1584 NEW BEST:: SOT 212959 SOS 100098 HAS SOPS 53392 HAS SOUS 27013 HAS SOUPS 21531 WITH SCORE 21631.098
AT ITER 1586 NEW BEST:: SOT 212939 SOS 100122 HAS SOPS 53388 HAS SOUS 27013 HAS SOUPS 21527 WITH SCORE 21627.122
AT ITER 1603 NEW BEST:: SOT 212591 SOS 100000 HAS SOPS 53399 HAS SOUS 26981 HAS SOUPS 21525 WITH SCORE 21625.0
AT ITER 1606 NEW BEST:: SOT 212528 SOS 99943 HAS SOPS 53342 HAS SOUS 26815 HAS SOUPS 21359 WITH SCORE 21458.943
AT ITER 1607 NEW BEST:: SOT 212546 SOS 99799 HAS SOPS 53342 HAS SOUS 26779 HAS SOUPS 21341 WITH SCORE 21440.799
AT ITER 1618 NEW BEST:: SOT 212548 SOS 99807 HAS SOPS 53332 HAS SOUS 26779 HAS SOUPS 21339 WITH SCORE 21438.807
AT ITER 1665 NEW BEST:: SOT 210227 SOS 97715 HAS SOPS 52825 HAS SOUS 26183 HAS SOUPS 20877 WITH SCORE 20974.715
AT ITER 1671 NEW BEST:: SOT 210267 SOS 97107 HAS SOPS 52825 HAS SOUS 26147 HAS SOUPS 20857 WITH SCORE 20954.107
AT ITER 1708 NEW BEST:: SOT 210243 SOS 97047 HAS SOPS 52765 HAS SOUS 26111 HAS SOUPS 20821 WITH SCORE 20918.047
AT ITER 1721 NEW BEST:: SOT 210243 SOS 97044 HAS SOPS 52762 HAS SOUS 26109 HAS SOUPS 20819 WITH SCORE 20916.044
AT ITER 1761 NEW BEST:: SOT 210235 SOS 97049 HAS SOPS 52592 HAS SOUS 26139 HAS SOUPS 20813 WITH SCORE 20910.049
AT ITER 1790 NEW BEST:: SOT 210278 SOS 97025 HAS SOPS 52574 HAS SOUS 26117 HAS SOUPS 20791 WITH SCORE 20888.025
AT ITER 1793 NEW BEST:: SOT 210325 SOS 97058 HAS SOPS 49319 HAS SOUS 26136 HAS SOUPS 20474 WITH SCORE 20571.058
AT ITER 1804 NEW BEST:: SOT 210303 SOS 97451 HAS SOPS 49338 HAS SOUS 26173 HAS SOUPS 20472 WITH SCORE 20569.451
AT ITER 1805 NEW BEST:: SOT 210298 SOS 97615 HAS SOPS 49270 HAS SOUS 26197 HAS SOUPS 20467 WITH SCORE 20564.615
AT ITER 1806 NEW BEST:: SOT 209646 SOS 97336 HAS SOPS 49245 HAS SOUS 26148 HAS SOUPS 20442 WITH SCORE 20539.336
AT ITER 1835 NEW BEST:: SOT 209736 SOS 97691 HAS SOPS 49600 HAS SOUS 26110 HAS SOUPS 20404 WITH SCORE 20501.691
AT ITER 1838 NEW BEST:: SOT 209678 SOS 97633 HAS SOPS 49523 HAS SOUS 26059 HAS SOUPS 20353 WITH SCORE 20450.633
AT ITER 1846 NEW BEST:: SOT 209484 SOS 97481 HAS SOPS 49302 HAS SOUS 25943 HAS SOUPS 20205 WITH SCORE 20302.481
AT ITER 1853 NEW BEST:: SOT 209506 SOS 97503 HAS SOPS 49346 HAS SOUS 25930 HAS SOUPS 20200 WITH SCORE 20297.503
AT ITER 1863 NEW BEST:: SOT 209451 SOS 97448 HAS SOPS 49236 HAS SOUS 25844 HAS SOUPS 20090 WITH SCORE 20187.448
AT ITER 1865 NEW BEST:: SOT 209474 SOS 97417 HAS SOPS 49205 HAS SOUS 25840 HAS SOUPS 20086 WITH SCORE 20183.417
AT ITER 1867 NEW BEST:: SOT 209437 SOS 97439 HAS SOPS 49203 HAS SOUS 25838 HAS SOUPS 20084 WITH SCORE 20181.439
AT ITER 1882 NEW BEST:: SOT 209437 SOS 97438 HAS SOPS 49202 HAS SOUS 25837 HAS SOUPS 20083 WITH SCORE 20180.438
AT ITER 1884 NEW BEST:: SOT 209434 SOS 97435 HAS SOPS 49201 HAS SOUS 25834 HAS SOUPS 20080 WITH SCORE 20177.435
AT ITER 1886 NEW BEST:: SOT 209391 SOS 97406 HAS SOPS 49171 HAS SOUS 25804 HAS SOUPS 20050 WITH SCORE 20147.406
AT ITER 1889 NEW BEST:: SOT 208985 SOS 97280 HAS SOPS 49143 HAS SOUS 25807 HAS SOUPS 20022 WITH SCORE 20119.28
AT ITER 1896 NEW BEST:: SOT 208985 SOS 97262 HAS SOPS 49131 HAS SOUS 25801 HAS SOUPS 20016 WITH SCORE 20113.262
AT ITER 1902 NEW BEST:: SOT 209060 SOS 97190 HAS SOPS 49108 HAS SOUS 25778 HAS SOUPS 19993 WITH SCORE 20090.19
AT ITER 1908 NEW BEST:: SOT 208964 SOS 97118 HAS SOPS 49026 HAS SOUS 25727 HAS SOUPS 19942 WITH SCORE 20039.118
AT ITER 1912 NEW BEST:: SOT 208850 SOS 97041 HAS SOPS 48912 HAS SOUS 25727 HAS SOUPS 19942 WITH SCORE 20039.041
AT ITER 1937 NEW BEST:: SOT 208760 SOS 97311 HAS SOPS 48822 HAS SOUS 25682 HAS SOUPS 19852 WITH SCORE 19949.311
AT ITER 1981 NEW BEST:: SOT 208585 SOS 97136 HAS SOPS 48664 HAS SOUS 25507 HAS SOUPS 19694 WITH SCORE 19791.136
AT ITER 1998 NEW BEST:: SOT 208581 SOS 97097 HAS SOPS 48656 HAS SOUS 25499 HAS SOUPS 19686 WITH SCORE 19783.097
AT ITER 2009 NEW BEST:: SOT 208594 SOS 97070 HAS SOPS 48629 HAS SOUS 25499 HAS SOUPS 19686 WITH SCORE 19783.07
AT ITER 2017 NEW BEST:: SOT 208590 SOS 97066 HAS SOPS 48624 HAS SOUS 25494 HAS SOUPS 19681 WITH SCORE 19778.066
AT ITER 2028 NEW BEST:: SOT 208578 SOS 97002 HAS SOPS 48554 HAS SOUS 25411 HAS SOUPS 19595 WITH SCORE 19692.002
AT ITER 2034 NEW BEST:: SOT 208578 SOS 97002 HAS SOPS 48466 HAS SOUS 25323 HAS SOUPS 19507 WITH SCORE 19604.002
AT ITER 2058 NEW BEST:: SOT 208639 SOS 96914 HAS SOPS 48378 HAS SOUS 25323 HAS SOUPS 19507 WITH SCORE 19603.914
AT ITER 2061 NEW BEST:: SOT 208612 SOS 96881 HAS SOPS 48363 HAS SOUS 25317 HAS SOUPS 19492 WITH SCORE 19588.881
AT ITER 2066 NEW BEST:: SOT 208577 SOS 96895 HAS SOPS 48405 HAS SOUS 25305 HAS SOUPS 19480 WITH SCORE 19576.895
AT ITER 2138 NEW BEST:: SOT 208559 SOS 96877 HAS SOPS 48365 HAS SOUS 25265 HAS SOUPS 19440 WITH SCORE 19536.877
AT ITER 2139 NEW BEST:: SOT 208564 SOS 96742 HAS SOPS 48230 HAS SOUS 25130 HAS SOUPS 19305 WITH SCORE 19401.742
AT ITER 2159 NEW BEST:: SOT 208487 SOS 96661 HAS SOPS 48097 HAS SOUS 25090 HAS SOUPS 19254 WITH SCORE 19350.661
AT ITER 2178 NEW BEST:: SOT 208487 SOS 96637 HAS SOPS 48073 HAS SOUS 25090 HAS SOUPS 19254 WITH SCORE 19350.637
AT ITER 2229 NEW BEST:: SOT 208457 SOS 96661 HAS SOPS 48013 HAS SOUS 25084 HAS SOUPS 19236 WITH SCORE 19332.661
AT ITER 2238 NEW BEST:: SOT 208530 SOS 96734 HAS SOPS 47995 HAS SOUS 25009 HAS SOUPS 19150 WITH SCORE 19246.734
AT ITER 2239 NEW BEST:: SOT 208372 SOS 97311 HAS SOPS 47959 HAS SOUS 25100 HAS SOUPS 19130 WITH SCORE 19227.311
AT ITER 2284 NEW BEST:: SOT 208365 SOS 97275 HAS SOPS 47923 HAS SOUS 24962 HAS SOUPS 19036 WITH SCORE 19133.275
AT ITER 2286 NEW BEST:: SOT 208349 SOS 97319 HAS SOPS 47895 HAS SOUS 24960 HAS SOUPS 19025 WITH SCORE 19122.319
AT ITER 2291 NEW BEST:: SOT 208052 SOS 97444 HAS SOPS 47804 HAS SOUS 25032 HAS SOUPS 18965 WITH SCORE 19062.444
AT ITER 2296 NEW BEST:: SOT 208047 SOS 97434 HAS SOPS 47794 HAS SOUS 25024 HAS SOUPS 18957 WITH SCORE 19054.434
AT ITER 2303 NEW BEST:: SOT 208095 SOS 97338 HAS SOPS 47314 HAS SOUS 25072 HAS SOUPS 18957 WITH SCORE 19054.338
AT ITER 2320 NEW BEST:: SOT 208097 SOS 97326 HAS SOPS 47309 HAS SOUS 25071 HAS SOUPS 18957 WITH SCORE 19054.326
AT ITER 2329 NEW BEST:: SOT 207870 SOS 97130 HAS SOPS 47082 HAS SOUS 25035 HAS SOUPS 18921 WITH SCORE 19018.13
AT ITER 2339 NEW BEST:: SOT 207811 SOS 97071 HAS SOPS 46952 HAS SOUS 24905 HAS SOUPS 18791 WITH SCORE 18888.071
AT ITER 2342 NEW BEST:: SOT 207800 SOS 97060 HAS SOPS 46930 HAS SOUS 24888 HAS SOUPS 18769 WITH SCORE 18866.06
AT ITER 2346 NEW BEST:: SOT 207794 SOS 97013 HAS SOPS 46981 HAS SOUS 24877 HAS SOUPS 18765 WITH SCORE 18862.013
AT ITER 2360 NEW BEST:: SOT 207784 SOS 97003 HAS SOPS 46961 HAS SOUS 24867 HAS SOUPS 18745 WITH SCORE 18842.003
AT ITER 2378 NEW BEST:: SOT 207629 SOS 97551 HAS SOPS 47509 HAS SOUS 24776 HAS SOUPS 18654 WITH SCORE 18751.551
AT ITER 2381 NEW BEST:: SOT 207711 SOS 97611 HAS SOPS 47550 HAS SOUS 24716 HAS SOUPS 18594 WITH SCORE 18691.611
AT ITER 2386 NEW BEST:: SOT 207701 SOS 97531 HAS SOPS 47470 HAS SOUS 24696 HAS SOUPS 18574 WITH SCORE 18671.531
AT ITER 2394 NEW BEST:: SOT 207922 SOS 97678 HAS SOPS 47608 HAS SOUS 24658 HAS SOUPS 18525 WITH SCORE 18622.678
AT ITER 2397 NEW BEST:: SOT 207914 SOS 97668 HAS SOPS 46782 HAS SOUS 24652 HAS SOUPS 18423 WITH SCORE 18520.668
AT ITER 2401 NEW BEST:: SOT 207912 SOS 97690 HAS SOPS 46902 HAS SOUS 24598 HAS SOUPS 18418 WITH SCORE 18515.69
AT ITER 2403 NEW BEST:: SOT 207880 SOS 97662 HAS SOPS 46874 HAS SOUS 24566 HAS SOUPS 18386 WITH SCORE 18483.662
AT ITER 2437 NEW BEST:: SOT 207878 SOS 97664 HAS SOPS 46876 HAS SOUS 24559 HAS SOUPS 18379 WITH SCORE 18476.664
AT ITER 2439 NEW BEST:: SOT 207888 SOS 97497 HAS SOPS 46820 HAS SOUS 24565 HAS SOUPS 18378 WITH SCORE 18475.497
AT ITER 2442 NEW BEST:: SOT 207662 SOS 97799 HAS SOPS 46794 HAS SOUS 24617 HAS SOUPS 18365 WITH SCORE 18462.799
AT ITER 2446 NEW BEST:: SOT 207647 SOS 97784 HAS SOPS 46779 HAS SOUS 24602 HAS SOUPS 18350 WITH SCORE 18447.784
AT ITER 2505 NEW BEST:: SOT 207699 SOS 97363 HAS SOPS 46779 HAS SOUS 24550 HAS SOUPS 18350 WITH SCORE 18447.363
AT ITER 2516 NEW BEST:: SOT 207724 SOS 97374 HAS SOPS 46783 HAS SOUS 24545 HAS SOUPS 18345 WITH SCORE 18442.374
AT ITER 2536 NEW BEST:: SOT 207703 SOS 97353 HAS SOPS 46762 HAS SOUS 24524 HAS SOUPS 18324 WITH SCORE 18421.353
AT ITER 2559 NEW BEST:: SOT 207348 SOS 98554 HAS SOPS 46632 HAS SOUS 24671 HAS SOUPS 18304 WITH SCORE 18402.554
AT ITER 2568 NEW BEST:: SOT 207327 SOS 98449 HAS SOPS 46576 HAS SOUS 24654 HAS SOUPS 18294 WITH SCORE 18392.449
AT ITER 2580 NEW BEST:: SOT 207285 SOS 98410 HAS SOPS 46537 HAS SOUS 24629 HAS SOUPS 18269 WITH SCORE 18367.41
AT ITER 2590 NEW BEST:: SOT 207280 SOS 98407 HAS SOPS 46531 HAS SOUS 24625 HAS SOUPS 18265 WITH SCORE 18363.407
AT ITER 2601 NEW BEST:: SOT 207184 SOS 98323 HAS SOPS 46447 HAS SOUS 24618 HAS SOUPS 18258 WITH SCORE 18356.323
AT ITER 2643 NEW BEST:: SOT 207240 SOS 98344 HAS SOPS 46393 HAS SOUS 24564 HAS SOUPS 18204 WITH SCORE 18302.344
AT ITER 2675 NEW BEST:: SOT 207197 SOS 98302 HAS SOPS 46351 HAS SOUS 24535 HAS SOUPS 18175 WITH SCORE 18273.302
AT ITER 2678 NEW BEST:: SOT 207159 SOS 98226 HAS SOPS 46275 HAS SOUS 24528 HAS SOUPS 18168 WITH SCORE 18266.226
AT ITER 2686 NEW BEST:: SOT 207505 SOS 97580 HAS SOPS 46427 HAS SOUS 24404 HAS SOUPS 18150 WITH SCORE 18247.58
AT ITER 2693 NEW BEST:: SOT 207501 SOS 97439 HAS SOPS 46289 HAS SOUS 24358 HAS SOUPS 18104 WITH SCORE 18201.439
AT ITER 2732 NEW BEST:: SOT 207477 SOS 97415 HAS SOPS 46273 HAS SOUS 24350 HAS SOUPS 18088 WITH SCORE 18185.415
AT ITER 2744 NEW BEST:: SOT 207477 SOS 97413 HAS SOPS 46271 HAS SOUS 24350 HAS SOUPS 18088 WITH SCORE 18185.413
AT ITER 2748 NEW BEST:: SOT 207588 SOS 97524 HAS SOPS 46382 HAS SOUS 24335 HAS SOUPS 18073 WITH SCORE 18170.524
AT ITER 2757 NEW BEST:: SOT 207558 SOS 97404 HAS SOPS 46352 HAS SOUS 24305 HAS SOUPS 18043 WITH SCORE 18140.404
AT ITER 2761 NEW BEST:: SOT 207487 SOS 97161 HAS SOPS 46109 HAS SOUS 24259 HAS SOUPS 17997 WITH SCORE 18094.161
AT ITER 2762 NEW BEST:: SOT 207497 SOS 97022 HAS SOPS 46114 HAS SOUS 24241 HAS SOUPS 17997 WITH SCORE 18094.022
AT ITER 2785 NEW BEST:: SOT 207475 SOS 96988 HAS SOPS 46092 HAS SOUS 24219 HAS SOUPS 17975 WITH SCORE 18071.988
AT ITER 2847 NEW BEST:: SOT 207508 SOS 97057 HAS SOPS 46161 HAS SOUS 24189 HAS SOUPS 17945 WITH SCORE 18042.057
AT ITER 2850 NEW BEST:: SOT 207185 SOS 96734 HAS SOPS 45832 HAS SOUS 24163 HAS SOUPS 17919 WITH SCORE 18015.734
AT ITER 2879 NEW BEST:: SOT 207217 SOS 96750 HAS SOPS 45848 HAS SOUS 24136 HAS SOUPS 17892 WITH SCORE 17988.75
AT ITER 2904 NEW BEST:: SOT 207237 SOS 96796 HAS SOPS 45951 HAS SOUS 24126 HAS SOUPS 17891 WITH SCORE 17987.796
AT ITER 2911 NEW BEST:: SOT 206987 SOS 101168 HAS SOPS 45936 HAS SOUS 24146 HAS SOUPS 17886 WITH SCORE 17987.168
AT ITER 2915 NEW BEST:: SOT 207007 SOS 101148 HAS SOPS 45916 HAS SOUS 24126 HAS SOUPS 17866 WITH SCORE 17967.148
AT ITER 2923 NEW BEST:: SOT 207078 SOS 101186 HAS SOPS 45954 HAS SOUS 24122 HAS SOUPS 17862 WITH SCORE 17963.186
AT ITER 2932 NEW BEST:: SOT 207074 SOS 101070 HAS SOPS 45903 HAS SOUS 24107 HAS SOUPS 17847 WITH SCORE 17948.07
AT ITER 2935 NEW BEST:: SOT 207047 SOS 101040 HAS SOPS 45909 HAS SOUS 24089 HAS SOUPS 17841 WITH SCORE 17942.04
AT ITER 2951 NEW BEST:: SOT 207085 SOS 98536 HAS SOPS 45903 HAS SOUS 24062 HAS SOUPS 17837 WITH SCORE 17935.536
AT ITER 2952 NEW BEST:: SOT 207121 SOS 98564 HAS SOPS 45923 HAS SOUS 24062 HAS SOUPS 17829 WITH SCORE 17927.564
AT ITER 2954 NEW BEST:: SOT 207085 SOS 98504 HAS SOPS 45779 HAS SOUS 24026 HAS SOUPS 17781 WITH SCORE 17879.504
AT ITER 2958 NEW BEST:: SOT 207011 SOS 98430 HAS SOPS 45739 HAS SOUS 23986 HAS SOUPS 17741 WITH SCORE 17839.43
AT ITER 2974 NEW BEST:: SOT 207011 SOS 98406 HAS SOPS 45711 HAS SOUS 23974 HAS SOUPS 17729 WITH SCORE 17827.406
AT ITER 2984 NEW BEST:: SOT 207011 SOS 98400 HAS SOPS 45713 HAS SOUS 23973 HAS SOUPS 17729 WITH SCORE 17827.4
AT ITER 2999 NEW BEST:: SOT 207046 SOS 98546 HAS SOPS 45859 HAS SOUS 23967 HAS SOUPS 17723 WITH SCORE 17821.546
AT ITER 3001 NEW BEST:: SOT 207057 SOS 98243 HAS SOPS 45859 HAS SOUS 23952 HAS SOUPS 17723 WITH SCORE 17821.243
AT ITER 3004 NEW BEST:: SOT 207055 SOS 98239 HAS SOPS 45855 HAS SOUS 23946 HAS SOUPS 17717 WITH SCORE 17815.239
AT ITER 3036 NEW BEST:: SOT 206895 SOS 98108 HAS SOPS 45705 HAS SOUS 23935 HAS SOUPS 17703 WITH SCORE 17801.108
AT ITER 3040 NEW BEST:: SOT 206866 SOS 98576 HAS SOPS 45703 HAS SOUS 23969 HAS SOUPS 17681 WITH SCORE 17779.576
AT ITER 3071 NEW BEST:: SOT 206877 SOS 98605 HAS SOPS 45735 HAS SOUS 23967 HAS SOUPS 17679 WITH SCORE 17777.605
AT ITER 3076 NEW BEST:: SOT 206847 SOS 98587 HAS SOPS 45651 HAS SOUS 23961 HAS SOUPS 17667 WITH SCORE 17765.587
AT ITER 3098 NEW BEST:: SOT 206835 SOS 98539 HAS SOPS 45603 HAS SOUS 23949 HAS SOUPS 17655 WITH SCORE 17753.539
AT ITER 3118 NEW BEST:: SOT 206813 SOS 98526 HAS SOPS 45582 HAS SOUS 23942 HAS SOUPS 17648 WITH SCORE 17746.526
AT ITER 3124 NEW BEST:: SOT 206815 SOS 98500 HAS SOPS 45556 HAS SOUS 23938 HAS SOUPS 17644 WITH SCORE 17742.5
AT ITER 3131 NEW BEST:: SOT 206812 SOS 98476 HAS SOPS 45550 HAS SOUS 23932 HAS SOUPS 17638 WITH SCORE 17736.476
AT ITER 3139 NEW BEST:: SOT 206858 SOS 98425 HAS SOPS 45499 HAS SOUS 23929 HAS SOUPS 17635 WITH SCORE 17733.425
AT ITER 3163 NEW BEST:: SOT 206942 SOS 98465 HAS SOPS 45539 HAS SOUS 23926 HAS SOUPS 17632 WITH SCORE 17730.465
AT ITER 3183 NEW BEST:: SOT 206388 SOS 97872 HAS SOPS 44946 HAS SOUS 23768 HAS SOUPS 17474 WITH SCORE 17571.872
AT ITER 3216 NEW BEST:: SOT 206363 SOS 97847 HAS SOPS 44956 HAS SOUS 23723 HAS SOUPS 17434 WITH SCORE 17531.847
AT ITER 3222 NEW BEST:: SOT 206346 SOS 97833 HAS SOPS 44936 HAS SOUS 23714 HAS SOUPS 17425 WITH SCORE 17522.833
AT ITER 3226 NEW BEST:: SOT 206340 SOS 97821 HAS SOPS 44924 HAS SOUS 23704 HAS SOUPS 17415 WITH SCORE 17512.821
AT ITER 3238 NEW BEST:: SOT 206170 SOS 97671 HAS SOPS 44878 HAS SOUS 23678 HAS SOUPS 17409 WITH SCORE 17506.671
AT ITER 3244 NEW BEST:: SOT 206170 SOS 97680 HAS SOPS 44887 HAS SOUS 23678 HAS SOUPS 17400 WITH SCORE 17497.68
AT ITER 3265 NEW BEST:: SOT 206104 SOS 98088 HAS SOPS 44863 HAS SOUS 23708 HAS SOUPS 17376 WITH SCORE 17474.088
AT ITER 3273 NEW BEST:: SOT 206108 SOS 98132 HAS SOPS 44903 HAS SOUS 23700 HAS SOUPS 17372 WITH SCORE 17470.132
AT ITER 3282 NEW BEST:: SOT 206154 SOS 97696 HAS SOPS 44819 HAS SOUS 23572 HAS SOUPS 17288 WITH SCORE 17385.696
AT ITER 3287 NEW BEST:: SOT 206162 SOS 97688 HAS SOPS 44819 HAS SOUS 23564 HAS SOUPS 17288 WITH SCORE 17385.688
AT ITER 3297 NEW BEST:: SOT 206164 SOS 97672 HAS SOPS 44800 HAS SOUS 23557 HAS SOUPS 17281 WITH SCORE 17378.672
AT ITER 3327 NEW BEST:: SOT 206111 SOS 97612 HAS SOPS 44735 HAS SOUS 23551 HAS SOUPS 17275 WITH SCORE 17372.612
AT ITER 3359 NEW BEST:: SOT 206102 SOS 97410 HAS SOPS 44694 HAS SOUS 23510 HAS SOUPS 17257 WITH SCORE 17354.41
AT ITER 3401 NEW BEST:: SOT 206096 SOS 97284 HAS SOPS 44568 HAS SOUS 23480 HAS SOUPS 17227 WITH SCORE 17324.284
AT ITER 3404 NEW BEST:: SOT 206079 SOS 97267 HAS SOPS 44552 HAS SOUS 23460 HAS SOUPS 17209 WITH SCORE 17306.267
AT ITER 3408 NEW BEST:: SOT 206080 SOS 97269 HAS SOPS 44554 HAS SOUS 23456 HAS SOUPS 17205 WITH SCORE 17302.269
AT ITER 3421 NEW BEST:: SOT 206029 SOS 97218 HAS SOPS 44503 HAS SOUS 23439 HAS SOUPS 17188 WITH SCORE 17285.218
AT ITER 3460 NEW BEST:: SOT 205844 SOS 97507 HAS SOPS 44792 HAS SOUS 23315 HAS SOUPS 17064 WITH SCORE 17161.507
AT ITER 3475 NEW BEST:: SOT 205844 SOS 97516 HAS SOPS 44797 HAS SOUS 23311 HAS SOUPS 17060 WITH SCORE 17157.516
AT ITER 3487 NEW BEST:: SOT 205778 SOS 99184 HAS SOPS 44742 HAS SOUS 23325 HAS SOUPS 17013 WITH SCORE 17112.184
AT ITER 3491 NEW BEST:: SOT 205775 SOS 99181 HAS SOPS 44739 HAS SOUS 23322 HAS SOUPS 17010 WITH SCORE 17109.181
AT ITER 3497 NEW BEST:: SOT 206572 SOS 99431 HAS SOPS 44679 HAS SOUS 23312 HAS SOUPS 17001 WITH SCORE 17100.431
AT ITER 3521 NEW BEST:: SOT 206531 SOS 99703 HAS SOPS 44755 HAS SOUS 23339 HAS SOUPS 17000 WITH SCORE 17099.703
AT ITER 3536 NEW BEST:: SOT 206550 SOS 99690 HAS SOPS 44742 HAS SOUS 23305 HAS SOUPS 16966 WITH SCORE 17065.69
AT ITER 3545 NEW BEST:: SOT 206582 SOS 99688 HAS SOPS 44740 HAS SOUS 23197 HAS SOUPS 16858 WITH SCORE 16957.688
AT ITER 3576 NEW BEST:: SOT 206618 SOS 99758 HAS SOPS 44813 HAS SOUS 23172 HAS SOUPS 16833 WITH SCORE 16932.758
AT ITER 3583 NEW BEST:: SOT 206451 SOS 99644 HAS SOPS 44810 HAS SOUS 23149 HAS SOUPS 16823 WITH SCORE 16922.644
AT ITER 3584 NEW BEST:: SOT 206446 SOS 99722 HAS SOPS 44811 HAS SOUS 23145 HAS SOUPS 16808 WITH SCORE 16907.722
AT ITER 3594 NEW BEST:: SOT 206489 SOS 99767 HAS SOPS 44849 HAS SOUS 23137 HAS SOUPS 16800 WITH SCORE 16899.767
AT ITER 3595 NEW BEST:: SOT 206460 SOS 99863 HAS SOPS 44847 HAS SOUS 23150 HAS SOUPS 16799 WITH SCORE 16898.863
AT ITER 3613 NEW BEST:: SOT 206450 SOS 99863 HAS SOPS 44859 HAS SOUS 23140 HAS SOUPS 16792 WITH SCORE 16891.863
AT ITER 3626 NEW BEST:: SOT 206450 SOS 99863 HAS SOPS 44857 HAS SOUS 23134 HAS SOUPS 16786 WITH SCORE 16885.863
AT ITER 3654 NEW BEST:: SOT 206383 SOS 99991 HAS SOPS 44850 HAS SOUS 23152 HAS SOUPS 16779 WITH SCORE 16878.991
AT ITER 3675 NEW BEST:: SOT 206350 SOS 99941 HAS SOPS 44800 HAS SOUS 23102 HAS SOUPS 16729 WITH SCORE 16828.941
AT ITER 3695 NEW BEST:: SOT 206326 SOS 100069 HAS SOPS 44928 HAS SOUS 23087 HAS SOUPS 16714 WITH SCORE 16814.069
AT ITER 3709 NEW BEST:: SOT 206319 SOS 100066 HAS SOPS 44930 HAS SOUS 23075 HAS SOUPS 16698 WITH SCORE 16798.066
AT ITER 3726 NEW BEST:: SOT 206347 SOS 100080 HAS SOPS 44943 HAS SOUS 23062 HAS SOUPS 16685 WITH SCORE 16785.08
AT ITER 3745 NEW BEST:: SOT 206300 SOS 100019 HAS SOPS 44881 HAS SOUS 23003 HAS SOUPS 16626 WITH SCORE 16726.019
AT ITER 3764 NEW BEST:: SOT 206309 SOS 100040 HAS SOPS 44866 HAS SOUS 22994 HAS SOUPS 16617 WITH SCORE 16717.04
AT ITER 3776 NEW BEST:: SOT 206307 SOS 100044 HAS SOPS 44862 HAS SOUS 22992 HAS SOUPS 16614 WITH SCORE 16714.044
AT ITER 3805 NEW BEST:: SOT 206303 SOS 100040 HAS SOPS 44857 HAS SOUS 22987 HAS SOUPS 16609 WITH SCORE 16709.04
AT ITER 3837 NEW BEST:: SOT 207096 SOS 99966 HAS SOPS 44885 HAS SOUS 22973 HAS SOUPS 16608 WITH SCORE 16707.966
AT ITER 3838 NEW BEST:: SOT 207103 SOS 99968 HAS SOPS 44887 HAS SOUS 22970 HAS SOUPS 16605 WITH SCORE 16704.968
AT ITER 3852 NEW BEST:: SOT 207059 SOS 99880 HAS SOPS 44843 HAS SOUS 22904 HAS SOUPS 16561 WITH SCORE 16660.88
AT ITER 3858 NEW BEST:: SOT 207023 SOS 99808 HAS SOPS 44771 HAS SOUS 22871 HAS SOUPS 16528 WITH SCORE 16627.808
AT ITER 3860 NEW BEST:: SOT 207023 SOS 99608 HAS SOPS 44731 HAS SOUS 22811 HAS SOUPS 16488 WITH SCORE 16587.608
AT ITER 3865 NEW BEST:: SOT 206203 SOS 99343 HAS SOPS 44715 HAS SOUS 22795 HAS SOUPS 16472 WITH SCORE 16571.343
AT ITER 3871 NEW BEST:: SOT 206207 SOS 99309 HAS SOPS 44681 HAS SOUS 22761 HAS SOUPS 16438 WITH SCORE 16537.309
AT ITER 3877 NEW BEST:: SOT 206207 SOS 99299 HAS SOPS 44671 HAS SOUS 22758 HAS SOUPS 16435 WITH SCORE 16534.299
AT ITER 3886 NEW BEST:: SOT 206178 SOS 99263 HAS SOPS 44635 HAS SOUS 22751 HAS SOUPS 16428 WITH SCORE 16527.263
AT ITER 3961 NEW BEST:: SOT 206172 SOS 99257 HAS SOPS 44629 HAS SOUS 22742 HAS SOUPS 16419 WITH SCORE 16518.257
AT ITER 3964 NEW BEST:: SOT 204495 SOS 97580 HAS SOPS 42959 HAS SOUS 22433 HAS SOUPS 16110 WITH SCORE 16207.58
AT ITER 3976 NEW BEST:: SOT 204402 SOS 97478 HAS SOPS 42843 HAS SOUS 22387 HAS SOUPS 16064 WITH SCORE 16161.478
AT ITER 3978 NEW BEST:: SOT 204399 SOS 97475 HAS SOPS 42838 HAS SOUS 22370 HAS SOUPS 16047 WITH SCORE 16144.475
AT ITER 4037 NEW BEST:: SOT 204398 SOS 97474 HAS SOPS 42836 HAS SOUS 22369 HAS SOUPS 16045 WITH SCORE 16142.474
AT ITER 4076 NEW BEST:: SOT 204389 SOS 97456 HAS SOPS 42818 HAS SOUS 22351 HAS SOUPS 16027 WITH SCORE 16124.456
AT ITER 4104 NEW BEST:: SOT 203647 SOS 97233 HAS SOPS 42694 HAS SOUS 22256 HAS SOUPS 15963 WITH SCORE 16060.233
AT ITER 4119 NEW BEST:: SOT 203611 SOS 97239 HAS SOPS 42664 HAS SOUS 22246 HAS SOUPS 15953 WITH SCORE 16050.239
AT ITER 4194 NEW BEST:: SOT 203675 SOS 96989 HAS SOPS 42660 HAS SOUS 22232 HAS SOUPS 15950 WITH SCORE 16046.989
AT ITER 4217 NEW BEST:: SOT 203675 SOS 96993 HAS SOPS 42668 HAS SOUS 22218 HAS SOUPS 15938 WITH SCORE 16034.993
AT ITER 4228 NEW BEST:: SOT 203627 SOS 96943 HAS SOPS 42601 HAS SOUS 22161 HAS SOUPS 15881 WITH SCORE 15977.943
AT ITER 4282 NEW BEST:: SOT 203845 SOS 97176 HAS SOPS 42829 HAS SOUS 22116 HAS SOUPS 15836 WITH SCORE 15933.176
AT ITER 4321 NEW BEST:: SOT 203843 SOS 97170 HAS SOPS 41198 HAS SOUS 22113 HAS SOUPS 15641 WITH SCORE 15738.17
AT ITER 4333 NEW BEST:: SOT 203842 SOS 97164 HAS SOPS 41196 HAS SOUS 22111 HAS SOUPS 15639 WITH SCORE 15736.164
AT ITER 4353 NEW BEST:: SOT 203859 SOS 97176 HAS SOPS 41186 HAS SOUS 22101 HAS SOUPS 15629 WITH SCORE 15726.176
AT ITER 4396 NEW BEST:: SOT 203853 SOS 97182 HAS SOPS 41186 HAS SOUS 22095 HAS SOUPS 15623 WITH SCORE 15720.182
AT ITER 4402 NEW BEST:: SOT 203850 SOS 97173 HAS SOPS 41177 HAS SOUS 22086 HAS SOUPS 15614 WITH SCORE 15711.173
AT ITER 4478 NEW BEST:: SOT 203847 SOS 97167 HAS SOPS 41171 HAS SOUS 22077 HAS SOUPS 15605 WITH SCORE 15702.167
AT ITER 4514 NEW BEST:: SOT 203876 SOS 97031 HAS SOPS 41035 HAS SOUS 22057 HAS SOUPS 15585 WITH SCORE 15682.031
AT ITER 4525 NEW BEST:: SOT 203860 SOS 97076 HAS SOPS 40992 HAS SOUS 22060 HAS SOUPS 15577 WITH SCORE 15674.076
AT ITER 4529 NEW BEST:: SOT 203753 SOS 96957 HAS SOPS 40861 HAS SOUS 22025 HAS SOUPS 15542 WITH SCORE 15638.957
AT ITER 4535 NEW BEST:: SOT 203721 SOS 96925 HAS SOPS 40800 HAS SOUS 22016 HAS SOUPS 15523 WITH SCORE 15619.925
AT ITER 4584 NEW BEST:: SOT 203705 SOS 96959 HAS SOPS 40808 HAS SOUS 22009 HAS SOUPS 15516 WITH SCORE 15612.959
AT ITER 4650 NEW BEST:: SOT 203705 SOS 96881 HAS SOPS 40730 HAS SOUS 22009 HAS SOUPS 15516 WITH SCORE 15612.881
AT ITER 4665 NEW BEST:: SOT 203704 SOS 96879 HAS SOPS 40322 HAS SOUS 22008 HAS SOUPS 15467 WITH SCORE 15563.879
AT ITER 4716 NEW BEST:: SOT 203699 SOS 96874 HAS SOPS 40322 HAS SOUS 22003 HAS SOUPS 15467 WITH SCORE 15563.874
AT ITER 4727 NEW BEST:: SOT 203698 SOS 96862 HAS SOPS 40260 HAS SOUS 21998 HAS SOUPS 15462 WITH SCORE 15558.862
AT ITER 4749 NEW BEST:: SOT 203697 SOS 96860 HAS SOPS 40258 HAS SOUS 21989 HAS SOUPS 15452 WITH SCORE 15548.86
AT ITER 4765 NEW BEST:: SOT 203685 SOS 96848 HAS SOPS 40246 HAS SOUS 21963 HAS SOUPS 15426 WITH SCORE 15522.848
AT ITER 4782 NEW BEST:: SOT 201898 SOS 95061 HAS SOPS 38445 HAS SOUS 21944 HAS SOUPS 15407 WITH SCORE 15502.061
AT ITER 4813 NEW BEST:: SOT 201898 SOS 95046 HAS SOPS 38445 HAS SOUS 21944 HAS SOUPS 15407 WITH SCORE 15502.046
AT ITER 4832 NEW BEST:: SOT 201884 SOS 95032 HAS SOPS 38417 HAS SOUS 21875 HAS SOUPS 15338 WITH SCORE 15433.032
AT ITER 4856 NEW BEST:: SOT 201920 SOS 95331 HAS SOPS 38415 HAS SOUS 21874 HAS SOUPS 15334 WITH SCORE 15429.331
AT ITER 4927 NEW BEST:: SOT 201868 SOS 95515 HAS SOPS 38337 HAS SOUS 21873 HAS SOUPS 15295 WITH SCORE 15390.515
AT ITER 4931 NEW BEST:: SOT 201854 SOS 95469 HAS SOPS 38291 HAS SOUS 21859 HAS SOUPS 15275 WITH SCORE 15370.469
AT ITER 4935 NEW BEST:: SOT 201850 SOS 95465 HAS SOPS 38287 HAS SOUS 21855 HAS SOUPS 15271 WITH SCORE 15366.465
AT ITER 4947 NEW BEST:: SOT 201890 SOS 95499 HAS SOPS 38344 HAS SOUS 21843 HAS SOUPS 15265 WITH SCORE 15360.499
AT ITER 4968 NEW BEST:: SOT 201824 SOS 95439 HAS SOPS 38290 HAS SOUS 21825 HAS SOUPS 15253 WITH SCORE 15348.439
AT ITER 4987 NEW BEST:: SOT 201826 SOS 95421 HAS SOPS 38286 HAS SOUS 21819 HAS SOUPS 15249 WITH SCORE 15344.421
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-7a-CTLFireability-00 (AG( (! (AX( ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P76)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) & ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P51)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-01 (! ( (EG( ( (! ((potential((tk(P24)>=1))))) | ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P54)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) & ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P54)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ) ))) & ( (EG( (! ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P101)>=1) & (tk(P248)>=1) & (tk(P263)>=1))))))) | ( ((potential((tk(P117)>=1) & (tk(P123)>=1)))) & ((potential((tk(P160)>=1)))) ) ) ))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-02 (EG( ( ( (AF( ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P110)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))))) | ( ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P20)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) & ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P104)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ) & ( ((potential((tk(P3)>=1) & (tk(P17)>=1)))) & ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P132)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ) ) ) | ( (EX( ((potential((tk(P73)>=1)))))) | ( (! ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P110)>=1) & (tk(P248)>=1) & (tk(P263)>=1))))) & ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P29)>=1) & (tk(P212)>=1)))) | ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P76)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ) ) ) )))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-03 (! ( (EF( ( ( ((potential((tk(P99)>=1)))) & ((potential((tk(P194)>=1)))) ) & ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P85)>=1) & (tk(P219)>=1)))) | ((potential((tk(P59)>=1) & (tk(P222)>=1)))) ) ))) | (! ( (EX( ((potential((tk(P117)>=1) & (tk(P171)>=1)))))) | (EG( ((potential((tk(P61)>=1) & (tk(P89)>=1)))))) )) ))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-04 (EX( (AG( ( ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P18)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) & ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P74)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ) | (! ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P141)>=1) & (tk(P205)>=1))))) )))))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-05 (EG( (AF( (! ( ((potential((tk(P171)>=1) & (tk(P173)>=1) & (tk(P184)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) | ((potential((tk(P5)>=1) & (tk(P9)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-06 ( ( ( ( (EF( ((potential((tk(P5)>=1) & (tk(P59)>=1)))))) | ( (! ((potential((tk(P31)>=1) & (tk(P44)>=1))))) & ((potential((tk(P117)>=1) & (tk(P143)>=1)))) ) ) | (EU( ((potential((tk(P143)>=1) & (tk(P157)>=1)))) , ((potential((tk(P115)>=1) & (tk(P238)>=1)))) )) ) & (AG( (EF( ((potential((tk(P149)>=1)))))))) ) & (EG( ( (EG( ((potential((tk(P171)>=1) & (tk(P173)>=1) & (tk(P191)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))))) | (! ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P63)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) & ((potential((tk(P145)>=1) & (tk(P173)>=1)))) )) ))) )
PROPERTY: CloudDeployment-PT-7a-CTLFireability-07 (! (EF( (AF( ( ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P138)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) & ((potential((tk(P132)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-08 (EG( (EF( ( (! ((potential((tk(P115)>=1) & (tk(P145)>=1))))) & ((potential((tk(P3)>=1) & (tk(P213)>=1)))) )))))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-09 (AX( (EG( (! ( ((potential((tk(P148)>=1)))) & ((potential((tk(P120)>=1)))) ))))))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-10 (AU( ( ( (! ((potential((tk(P5)>=1) & (tk(P145)>=1))))) | ( ((potential((tk(P124)>=1)))) | ((potential((tk(P75)>=1)))) ) ) | ( (! ((potential((tk(P59)>=1) & (tk(P89)>=1))))) & ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P233)>=1)))) | ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P240)>=1)))) ) ) ) , (EU( ((potential((tk(P3)>=1) & (tk(P33)>=1)))) , ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P7)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) )) ))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-11 ( (AU( (AF( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P17)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))))) , (EX( ((potential((tk(P126)>=1)))))) )) & ( ((potential((tk(P82)>=1)))) | (AX( ( ((potential((tk(P33)>=1) & (tk(P173)>=1)))) | ((potential((tk(P5)>=1) & (tk(P173)>=1)))) ))) ) )
PROPERTY: CloudDeployment-PT-7a-CTLFireability-12 ( (EF( ( ( ( ((potential((tk(P173)>=1)))) & ((potential((tk(P87)>=1) & (tk(P89)>=1) & (tk(P107)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ) & ((potential((tk(P89)>=1) & (tk(P94)>=1)))) ) | ( ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P55)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) | ((potential((tk(P145)>=1)))) ) | ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P18)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) & ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P74)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ) ) ))) & (AF( (EG( ( ((potential((tk(P5)>=1) & (tk(P33)>=1)))) | ((potential((tk(P171)>=1) & (tk(P173)>=1) & (tk(P177)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))) ))))) )
PROPERTY: CloudDeployment-PT-7a-CTLFireability-13 (AF( ( ( ( ((potential((tk(P143)>=1) & (tk(P145)>=1) & (tk(P169)>=1) & (tk(P212)>=1)))) | ((potential((tk(P128)>=1)))) ) & (! (! ((potential((tk(P143)>=1) & (tk(P145)>=1) & (tk(P158)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))))) ) & ( (EF( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P82)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))))) & ( (! ((potential((tk(P115)>=1) & (tk(P173)>=1))))) & (! ((potential((tk(P46)>=1))))) ) ) )))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-14 (AU( (AF( (! ((potential((tk(P185)>=1))))))) , ( (AG( ((potential((tk(P171)>=1) & (tk(P173)>=1) & (tk(P186)>=1) & (tk(P248)>=1) & (tk(P263)>=1)))))) & ((potential((tk(P147)>=1)))) ) ))
PROPERTY: CloudDeployment-PT-7a-CTLFireability-15 (AU( ( ( ( ((potential((tk(P115)>=1) & (tk(P128)>=1)))) | ((potential((tk(P117)>=1)))) ) & (! ((potential((tk(P115)>=1) & (tk(P117)>=1) & (tk(P138)>=1) & (tk(P248)>=1) & (tk(P263)>=1))))) ) | (EF( ((potential((tk(P143)>=1) & (tk(P231)>=1)))))) ) , (AX( ((potential((tk(P56)>=1)))))) ))

BK_STOP 1589166411025

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}

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="CloudDeployment-PT-7a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-7a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901926000348"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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