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.r139-smll-167819423000440.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DiscoveryGPU-PT-15b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423000440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 8.8K Feb 25 13:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 25 13:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 13:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 13:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 13:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 13:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 13:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 111K Mar 5 18:22 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 1678405594667

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=DiscoveryGPU-PT-15b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 23:46:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 23:46:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 23:46:37] [INFO ] Load time of PNML (sax parser for PT used): 127 ms
[2023-03-09 23:46:37] [INFO ] Transformed 436 places.
[2023-03-09 23:46:37] [INFO ] Transformed 464 transitions.
[2023-03-09 23:46:37] [INFO ] Found NUPN structural information;
[2023-03-09 23:46:37] [INFO ] Parsed PT model containing 436 places and 464 transitions and 1214 arcs in 233 ms.
[2023-03-09 23:46:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 436 places, 464 transitions and 1214 arcs took 10 ms.
Total runtime 291 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 15b
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: 436 places, 464 transitions, 1214 arcs.
AT ITER 0 NEW BEST:: SOT 137914 SOS 63994 HAS SOPS 63994 HAS SOUS 57245 HAS SOUPS 57245 WITH SCORE 57308.994
AT ITER 10 NEW BEST:: SOT 137900 SOS 64092 HAS SOPS 64092 HAS SOUS 57238 HAS SOUPS 57238 WITH SCORE 57302.092
AT ITER 12 NEW BEST:: SOT 137900 SOS 64005 HAS SOPS 64005 HAS SOUS 57236 HAS SOUPS 57236 WITH SCORE 57300.005
AT ITER 16 NEW BEST:: SOT 137612 SOS 63577 HAS SOPS 63577 HAS SOUS 56806 HAS SOUPS 56806 WITH SCORE 56869.577
AT ITER 17 NEW BEST:: SOT 137612 SOS 63531 HAS SOPS 63531 HAS SOUS 56759 HAS SOUPS 56759 WITH SCORE 56822.531
AT ITER 27 NEW BEST:: SOT 137522 SOS 63441 HAS SOPS 63441 HAS SOUS 56669 HAS SOUPS 56669 WITH SCORE 56732.441
AT ITER 34 NEW BEST:: SOT 137443 SOS 63427 HAS SOPS 63427 HAS SOUS 56623 HAS SOUPS 56623 WITH SCORE 56686.427
AT ITER 37 NEW BEST:: SOT 137413 SOS 63270 HAS SOPS 63270 HAS SOUS 56376 HAS SOUPS 56376 WITH SCORE 56439.27
AT ITER 41 NEW BEST:: SOT 137319 SOS 63153 HAS SOPS 63153 HAS SOUS 56307 HAS SOUPS 56307 WITH SCORE 56370.153
AT ITER 43 NEW BEST:: SOT 137151 SOS 62899 HAS SOPS 62899 HAS SOUS 56053 HAS SOUPS 56053 WITH SCORE 56115.899
AT ITER 44 NEW BEST:: SOT 137074 SOS 62801 HAS SOPS 62801 HAS SOUS 55974 HAS SOUPS 55974 WITH SCORE 56036.801
AT ITER 45 NEW BEST:: SOT 136985 SOS 63533 HAS SOPS 63533 HAS SOUS 55901 HAS SOUPS 55901 WITH SCORE 55964.533
AT ITER 47 NEW BEST:: SOT 136985 SOS 63514 HAS SOPS 63514 HAS SOUS 55900 HAS SOUPS 55900 WITH SCORE 55963.514
AT ITER 53 NEW BEST:: SOT 136985 SOS 63514 HAS SOPS 63514 HAS SOUS 55830 HAS SOUPS 55830 WITH SCORE 55893.514
AT ITER 54 NEW BEST:: SOT 136966 SOS 63495 HAS SOPS 63495 HAS SOUS 55823 HAS SOUPS 55823 WITH SCORE 55886.495
AT ITER 57 NEW BEST:: SOT 136861 SOS 59331 HAS SOPS 59331 HAS SOUS 55520 HAS SOUPS 55520 WITH SCORE 55579.331
AT ITER 59 NEW BEST:: SOT 136801 SOS 59211 HAS SOPS 59211 HAS SOUS 55400 HAS SOUPS 55400 WITH SCORE 55459.211
AT ITER 64 NEW BEST:: SOT 136700 SOS 59079 HAS SOPS 59079 HAS SOUS 55298 HAS SOUPS 55298 WITH SCORE 55357.079
AT ITER 68 NEW BEST:: SOT 136700 SOS 59048 HAS SOPS 59048 HAS SOUS 55267 HAS SOUPS 55267 WITH SCORE 55326.048
AT ITER 69 NEW BEST:: SOT 133971 SOS 57003 HAS SOPS 57003 HAS SOUS 52604 HAS SOUPS 52604 WITH SCORE 52661.003
AT ITER 71 NEW BEST:: SOT 133990 SOS 56984 HAS SOPS 56984 HAS SOUS 52592 HAS SOUPS 52592 WITH SCORE 52648.984
AT ITER 73 NEW BEST:: SOT 133990 SOS 56830 HAS SOPS 56830 HAS SOUS 52438 HAS SOUPS 52438 WITH SCORE 52494.83
AT ITER 76 NEW BEST:: SOT 133988 SOS 56828 HAS SOPS 56828 HAS SOUS 52436 HAS SOUPS 52436 WITH SCORE 52492.828
AT ITER 81 NEW BEST:: SOT 133891 SOS 56730 HAS SOPS 56730 HAS SOUS 52338 HAS SOUPS 52338 WITH SCORE 52394.73
AT ITER 90 NEW BEST:: SOT 133794 SOS 56633 HAS SOPS 56633 HAS SOUS 52241 HAS SOUPS 52241 WITH SCORE 52297.633
AT ITER 91 NEW BEST:: SOT 133785 SOS 56598 HAS SOPS 56598 HAS SOUS 52222 HAS SOUPS 52222 WITH SCORE 52278.598
AT ITER 99 NEW BEST:: SOT 133861 SOS 56481 HAS SOPS 56481 HAS SOUS 52091 HAS SOUPS 52091 WITH SCORE 52147.481
AT ITER 105 NEW BEST:: SOT 133829 SOS 56449 HAS SOPS 56449 HAS SOUS 52058 HAS SOUPS 52058 WITH SCORE 52114.449
AT ITER 107 NEW BEST:: SOT 133829 SOS 56477 HAS SOPS 56477 HAS SOUS 52004 HAS SOUPS 52004 WITH SCORE 52060.477
AT ITER 108 NEW BEST:: SOT 133790 SOS 56438 HAS SOPS 56438 HAS SOUS 51965 HAS SOUPS 51965 WITH SCORE 52021.438
AT ITER 109 NEW BEST:: SOT 133726 SOS 56347 HAS SOPS 56347 HAS SOUS 51959 HAS SOUPS 51959 WITH SCORE 52015.347
AT ITER 119 NEW BEST:: SOT 133658 SOS 56208 HAS SOPS 56208 HAS SOUS 51773 HAS SOUPS 51773 WITH SCORE 51829.208
AT ITER 121 NEW BEST:: SOT 133636 SOS 56192 HAS SOPS 56192 HAS SOUS 51773 HAS SOUPS 51773 WITH SCORE 51829.192
AT ITER 122 NEW BEST:: SOT 133636 SOS 56067 HAS SOPS 56067 HAS SOUS 51648 HAS SOUPS 51648 WITH SCORE 51704.067
AT ITER 127 NEW BEST:: SOT 133604 SOS 56028 HAS SOPS 56028 HAS SOUS 51633 HAS SOUPS 51633 WITH SCORE 51689.028
AT ITER 129 NEW BEST:: SOT 131797 SOS 58575 HAS SOPS 58575 HAS SOUS 50044 HAS SOUPS 50044 WITH SCORE 50102.575
AT ITER 131 NEW BEST:: SOT 131834 SOS 58474 HAS SOPS 58474 HAS SOUS 49992 HAS SOUPS 49992 WITH SCORE 50050.474
AT ITER 133 NEW BEST:: SOT 131776 SOS 58436 HAS SOPS 58436 HAS SOUS 49934 HAS SOUPS 49934 WITH SCORE 49992.436
AT ITER 138 NEW BEST:: SOT 131776 SOS 58305 HAS SOPS 58305 HAS SOUS 49934 HAS SOUPS 49934 WITH SCORE 49992.305
AT ITER 143 NEW BEST:: SOT 131718 SOS 58298 HAS SOPS 58298 HAS SOUS 49927 HAS SOUPS 49927 WITH SCORE 49985.298
AT ITER 144 NEW BEST:: SOT 131621 SOS 58247 HAS SOPS 58247 HAS SOUS 49850 HAS SOUPS 49850 WITH SCORE 49908.247
AT ITER 151 NEW BEST:: SOT 131512 SOS 58134 HAS SOPS 58134 HAS SOUS 49819 HAS SOUPS 49819 WITH SCORE 49877.134
AT ITER 153 NEW BEST:: SOT 131291 SOS 57739 HAS SOPS 57739 HAS SOUS 49487 HAS SOUPS 49487 WITH SCORE 49544.739
AT ITER 154 NEW BEST:: SOT 131287 SOS 57731 HAS SOPS 57731 HAS SOUS 49479 HAS SOUPS 49479 WITH SCORE 49536.731
AT ITER 161 NEW BEST:: SOT 131259 SOS 57703 HAS SOPS 57703 HAS SOUS 49429 HAS SOUPS 49429 WITH SCORE 49486.703
AT ITER 186 NEW BEST:: SOT 131195 SOS 57575 HAS SOPS 57575 HAS SOUS 49299 HAS SOUPS 49299 WITH SCORE 49356.575
AT ITER 192 NEW BEST:: SOT 131245 SOS 57524 HAS SOPS 57524 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49198.524
AT ITER 195 NEW BEST:: SOT 131245 SOS 57524 HAS SOPS 57524 HAS SOUS 49140 HAS SOUPS 49140 WITH SCORE 49197.524
AT ITER 200 NEW BEST:: SOT 131245 SOS 57509 HAS SOPS 57509 HAS SOUS 49140 HAS SOUPS 49140 WITH SCORE 49197.509
AT ITER 212 NEW BEST:: SOT 131407 SOS 57826 HAS SOPS 57826 HAS SOUS 49138 HAS SOUPS 49138 WITH SCORE 49195.826
AT ITER 216 NEW BEST:: SOT 131342 SOS 57696 HAS SOPS 57696 HAS SOUS 49008 HAS SOUPS 49008 WITH SCORE 49065.696
AT ITER 226 NEW BEST:: SOT 131283 SOS 57600 HAS SOPS 57600 HAS SOUS 48919 HAS SOUPS 48919 WITH SCORE 48976.6
AT ITER 231 NEW BEST:: SOT 131183 SOS 57463 HAS SOPS 57463 HAS SOUS 48819 HAS SOUPS 48819 WITH SCORE 48876.463
AT ITER 234 NEW BEST:: SOT 131100 SOS 57386 HAS SOPS 57386 HAS SOUS 48809 HAS SOUPS 48809 WITH SCORE 48866.386
AT ITER 237 NEW BEST:: SOT 131050 SOS 57288 HAS SOPS 57288 HAS SOUS 48775 HAS SOUPS 48775 WITH SCORE 48832.288
AT ITER 243 NEW BEST:: SOT 131052 SOS 57121 HAS SOPS 57121 HAS SOUS 48554 HAS SOUPS 48554 WITH SCORE 48611.121
AT ITER 248 NEW BEST:: SOT 130983 SOS 56843 HAS SOPS 56843 HAS SOUS 48370 HAS SOUPS 48370 WITH SCORE 48426.843
AT ITER 250 NEW BEST:: SOT 130970 SOS 56828 HAS SOPS 56828 HAS SOUS 48356 HAS SOUPS 48356 WITH SCORE 48412.828
AT ITER 252 NEW BEST:: SOT 130835 SOS 56687 HAS SOPS 56687 HAS SOUS 48272 HAS SOUPS 48272 WITH SCORE 48328.687
AT ITER 266 NEW BEST:: SOT 130784 SOS 56548 HAS SOPS 56548 HAS SOUS 48118 HAS SOUPS 48118 WITH SCORE 48174.548
AT ITER 270 NEW BEST:: SOT 130823 SOS 56495 HAS SOPS 56495 HAS SOUS 48087 HAS SOUPS 48087 WITH SCORE 48143.495
AT ITER 273 NEW BEST:: SOT 130820 SOS 56489 HAS SOPS 56489 HAS SOUS 48081 HAS SOUPS 48081 WITH SCORE 48137.489
AT ITER 274 NEW BEST:: SOT 130733 SOS 56315 HAS SOPS 56315 HAS SOUS 47929 HAS SOUPS 47929 WITH SCORE 47985.315
AT ITER 280 NEW BEST:: SOT 130582 SOS 56197 HAS SOPS 56197 HAS SOUS 47811 HAS SOUPS 47811 WITH SCORE 47867.197
AT ITER 282 NEW BEST:: SOT 130427 SOS 55925 HAS SOPS 55925 HAS SOUS 47539 HAS SOUPS 47539 WITH SCORE 47594.925
AT ITER 285 NEW BEST:: SOT 130332 SOS 55735 HAS SOPS 55735 HAS SOUS 47349 HAS SOUPS 47349 WITH SCORE 47404.735
AT ITER 286 NEW BEST:: SOT 130331 SOS 55733 HAS SOPS 55733 HAS SOUS 47347 HAS SOUPS 47347 WITH SCORE 47402.733
AT ITER 293 NEW BEST:: SOT 130251 SOS 55646 HAS SOPS 55646 HAS SOUS 47290 HAS SOUPS 47290 WITH SCORE 47345.646
AT ITER 294 NEW BEST:: SOT 130115 SOS 55490 HAS SOPS 55490 HAS SOUS 47095 HAS SOUPS 47095 WITH SCORE 47150.49
AT ITER 297 NEW BEST:: SOT 130076 SOS 55451 HAS SOPS 55451 HAS SOUS 47062 HAS SOUPS 47062 WITH SCORE 47117.451
AT ITER 300 NEW BEST:: SOT 130070 SOS 55466 HAS SOPS 55466 HAS SOUS 47039 HAS SOUPS 47039 WITH SCORE 47094.466
AT ITER 305 NEW BEST:: SOT 130086 SOS 55443 HAS SOPS 55443 HAS SOUS 47019 HAS SOUPS 47019 WITH SCORE 47074.443
AT ITER 306 NEW BEST:: SOT 130131 SOS 55306 HAS SOPS 55306 HAS SOUS 46922 HAS SOUPS 46922 WITH SCORE 46977.306
AT ITER 309 NEW BEST:: SOT 130062 SOS 55272 HAS SOPS 55272 HAS SOUS 46888 HAS SOUPS 46888 WITH SCORE 46943.272
AT ITER 322 NEW BEST:: SOT 130016 SOS 55180 HAS SOPS 55180 HAS SOUS 46869 HAS SOUPS 46869 WITH SCORE 46924.18
AT ITER 328 NEW BEST:: SOT 130015 SOS 55178 HAS SOPS 55178 HAS SOUS 46867 HAS SOUPS 46867 WITH SCORE 46922.178
AT ITER 332 NEW BEST:: SOT 129787 SOS 55045 HAS SOPS 55045 HAS SOUS 46700 HAS SOUPS 46700 WITH SCORE 46755.045
AT ITER 334 NEW BEST:: SOT 129775 SOS 55105 HAS SOPS 55105 HAS SOUS 46680 HAS SOUPS 46680 WITH SCORE 46735.105
AT ITER 336 NEW BEST:: SOT 129775 SOS 55083 HAS SOPS 55083 HAS SOUS 46658 HAS SOUPS 46658 WITH SCORE 46713.083
AT ITER 346 NEW BEST:: SOT 129664 SOS 54935 HAS SOPS 54935 HAS SOUS 46547 HAS SOUPS 46547 WITH SCORE 46601.935
AT ITER 351 NEW BEST:: SOT 129589 SOS 54668 HAS SOPS 54668 HAS SOUS 46304 HAS SOUPS 46304 WITH SCORE 46358.668
AT ITER 354 NEW BEST:: SOT 129529 SOS 54548 HAS SOPS 54548 HAS SOUS 46184 HAS SOUPS 46184 WITH SCORE 46238.548
AT ITER 365 NEW BEST:: SOT 129528 SOS 54475 HAS SOPS 54475 HAS SOUS 46182 HAS SOUPS 46182 WITH SCORE 46236.475
AT ITER 367 NEW BEST:: SOT 129474 SOS 54367 HAS SOPS 54367 HAS SOUS 46074 HAS SOUPS 46074 WITH SCORE 46128.367
AT ITER 377 NEW BEST:: SOT 129473 SOS 54365 HAS SOPS 54365 HAS SOUS 46072 HAS SOUPS 46072 WITH SCORE 46126.365
AT ITER 379 NEW BEST:: SOT 129610 SOS 54471 HAS SOPS 54471 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46115.471
AT ITER 382 NEW BEST:: SOT 129543 SOS 54337 HAS SOPS 54337 HAS SOUS 45927 HAS SOUPS 45927 WITH SCORE 45981.337
AT ITER 384 NEW BEST:: SOT 129542 SOS 54303 HAS SOPS 54303 HAS SOUS 45892 HAS SOUPS 45892 WITH SCORE 45946.303
AT ITER 389 NEW BEST:: SOT 129496 SOS 54211 HAS SOPS 54211 HAS SOUS 45800 HAS SOUPS 45800 WITH SCORE 45854.211
AT ITER 393 NEW BEST:: SOT 129482 SOS 54183 HAS SOPS 54183 HAS SOUS 45772 HAS SOUPS 45772 WITH SCORE 45826.183
AT ITER 394 NEW BEST:: SOT 129416 SOS 54110 HAS SOPS 54110 HAS SOUS 45726 HAS SOUPS 45726 WITH SCORE 45780.11
AT ITER 395 NEW BEST:: SOT 129353 SOS 54046 HAS SOPS 54046 HAS SOUS 45662 HAS SOUPS 45662 WITH SCORE 45716.046
AT ITER 396 NEW BEST:: SOT 129344 SOS 54045 HAS SOPS 54045 HAS SOUS 45661 HAS SOUPS 45661 WITH SCORE 45715.045
AT ITER 402 NEW BEST:: SOT 129341 SOS 54039 HAS SOPS 54039 HAS SOUS 45631 HAS SOUPS 45631 WITH SCORE 45685.039
AT ITER 403 NEW BEST:: SOT 129278 SOS 53973 HAS SOPS 53973 HAS SOUS 45567 HAS SOUPS 45567 WITH SCORE 45620.973
AT ITER 407 NEW BEST:: SOT 129243 SOS 53903 HAS SOPS 53903 HAS SOUS 45532 HAS SOUPS 45532 WITH SCORE 45585.903
AT ITER 426 NEW BEST:: SOT 129175 SOS 53941 HAS SOPS 53941 HAS SOUS 45470 HAS SOUPS 45470 WITH SCORE 45523.941
AT ITER 430 NEW BEST:: SOT 129174 SOS 53906 HAS SOPS 53906 HAS SOUS 45451 HAS SOUPS 45451 WITH SCORE 45504.906
AT ITER 433 NEW BEST:: SOT 129174 SOS 53860 HAS SOPS 53860 HAS SOUS 45363 HAS SOUPS 45363 WITH SCORE 45416.86
AT ITER 438 NEW BEST:: SOT 129061 SOS 53777 HAS SOPS 53777 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45302.777
AT ITER 447 NEW BEST:: SOT 129035 SOS 53725 HAS SOPS 53725 HAS SOUS 45136 HAS SOUPS 45136 WITH SCORE 45189.725
AT ITER 450 NEW BEST:: SOT 129035 SOS 53762 HAS SOPS 53762 HAS SOUS 45099 HAS SOUPS 45099 WITH SCORE 45152.762
AT ITER 457 NEW BEST:: SOT 129113 SOS 53761 HAS SOPS 53761 HAS SOUS 45097 HAS SOUPS 45097 WITH SCORE 45150.761
AT ITER 460 NEW BEST:: SOT 129003 SOS 53679 HAS SOPS 53679 HAS SOUS 45015 HAS SOUPS 45015 WITH SCORE 45068.679
AT ITER 461 NEW BEST:: SOT 127815 SOS 52462 HAS SOPS 52462 HAS SOUS 43823 HAS SOUPS 43823 WITH SCORE 43875.462
AT ITER 464 NEW BEST:: SOT 127815 SOS 52462 HAS SOPS 52462 HAS SOUS 43790 HAS SOUPS 43790 WITH SCORE 43842.462
AT ITER 465 NEW BEST:: SOT 127783 SOS 52398 HAS SOPS 52398 HAS SOUS 43726 HAS SOUPS 43726 WITH SCORE 43778.398
AT ITER 472 NEW BEST:: SOT 127726 SOS 52356 HAS SOPS 52356 HAS SOUS 43726 HAS SOUPS 43726 WITH SCORE 43778.356
AT ITER 482 NEW BEST:: SOT 127694 SOS 52308 HAS SOPS 52308 HAS SOUS 43678 HAS SOUPS 43678 WITH SCORE 43730.308
AT ITER 490 NEW BEST:: SOT 127629 SOS 52165 HAS SOPS 52165 HAS SOUS 43535 HAS SOUPS 43535 WITH SCORE 43587.165
AT ITER 493 NEW BEST:: SOT 127611 SOS 52129 HAS SOPS 52129 HAS SOUS 43499 HAS SOUPS 43499 WITH SCORE 43551.129
AT ITER 496 NEW BEST:: SOT 127371 SOS 51815 HAS SOPS 51815 HAS SOUS 43185 HAS SOUPS 43185 WITH SCORE 43236.815
AT ITER 502 NEW BEST:: SOT 127251 SOS 51588 HAS SOPS 51588 HAS SOUS 43065 HAS SOUPS 43065 WITH SCORE 43116.588
AT ITER 506 NEW BEST:: SOT 127230 SOS 51529 HAS SOPS 51529 HAS SOUS 43000 HAS SOUPS 43000 WITH SCORE 43051.529
AT ITER 509 NEW BEST:: SOT 127163 SOS 51395 HAS SOPS 51395 HAS SOUS 42866 HAS SOUPS 42866 WITH SCORE 42917.395
AT ITER 521 NEW BEST:: SOT 127175 SOS 51419 HAS SOPS 51419 HAS SOUS 42851 HAS SOUPS 42851 WITH SCORE 42902.419
AT ITER 531 NEW BEST:: SOT 127065 SOS 51129 HAS SOPS 51129 HAS SOUS 42643 HAS SOUPS 42643 WITH SCORE 42694.129
AT ITER 539 NEW BEST:: SOT 127052 SOS 51137 HAS SOPS 51137 HAS SOUS 42623 HAS SOUPS 42623 WITH SCORE 42674.137
AT ITER 542 NEW BEST:: SOT 127008 SOS 51005 HAS SOPS 51005 HAS SOUS 42579 HAS SOUPS 42579 WITH SCORE 42630.005
AT ITER 543 NEW BEST:: SOT 126872 SOS 50989 HAS SOPS 50989 HAS SOUS 42478 HAS SOUPS 42478 WITH SCORE 42528.989
AT ITER 546 NEW BEST:: SOT 126956 SOS 51157 HAS SOPS 51157 HAS SOUS 42457 HAS SOUPS 42457 WITH SCORE 42508.157
AT ITER 553 NEW BEST:: SOT 126954 SOS 51153 HAS SOPS 51153 HAS SOUS 42453 HAS SOUPS 42453 WITH SCORE 42504.153
AT ITER 559 NEW BEST:: SOT 126850 SOS 50871 HAS SOPS 50871 HAS SOUS 42172 HAS SOUPS 42172 WITH SCORE 42222.871
AT ITER 564 NEW BEST:: SOT 126831 SOS 50852 HAS SOPS 50852 HAS SOUS 42162 HAS SOUPS 42162 WITH SCORE 42212.852
AT ITER 565 NEW BEST:: SOT 126836 SOS 50857 HAS SOPS 50857 HAS SOUS 42129 HAS SOUPS 42129 WITH SCORE 42179.857
AT ITER 568 NEW BEST:: SOT 126801 SOS 50787 HAS SOPS 50787 HAS SOUS 42077 HAS SOUPS 42077 WITH SCORE 42127.787
AT ITER 571 NEW BEST:: SOT 126801 SOS 50787 HAS SOPS 50787 HAS SOUS 42027 HAS SOUPS 42027 WITH SCORE 42077.787
AT ITER 573 NEW BEST:: SOT 126839 SOS 50851 HAS SOPS 50851 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42060.851
AT ITER 577 NEW BEST:: SOT 126825 SOS 50834 HAS SOPS 50834 HAS SOUS 41993 HAS SOUPS 41993 WITH SCORE 42043.834
AT ITER 593 NEW BEST:: SOT 126811 SOS 50806 HAS SOPS 50806 HAS SOUS 41961 HAS SOUPS 41961 WITH SCORE 42011.806
AT ITER 600 NEW BEST:: SOT 126710 SOS 50739 HAS SOPS 50739 HAS SOUS 41894 HAS SOUPS 41894 WITH SCORE 41944.739
AT ITER 605 NEW BEST:: SOT 126696 SOS 50712 HAS SOPS 50712 HAS SOUS 41879 HAS SOUPS 41879 WITH SCORE 41929.712
AT ITER 608 NEW BEST:: SOT 126708 SOS 50705 HAS SOPS 50705 HAS SOUS 41872 HAS SOUPS 41872 WITH SCORE 41922.705
AT ITER 610 NEW BEST:: SOT 125420 SOS 53230 HAS SOPS 53230 HAS SOUS 41001 HAS SOUPS 41001 WITH SCORE 41054.23
AT ITER 618 NEW BEST:: SOT 125420 SOS 53212 HAS SOPS 53212 HAS SOUS 40983 HAS SOUPS 40983 WITH SCORE 41036.212
AT ITER 629 NEW BEST:: SOT 125420 SOS 53209 HAS SOPS 53209 HAS SOUS 40983 HAS SOUPS 40983 WITH SCORE 41036.209
AT ITER 637 NEW BEST:: SOT 125392 SOS 53153 HAS SOPS 53153 HAS SOUS 40927 HAS SOUPS 40927 WITH SCORE 40980.153
AT ITER 655 NEW BEST:: SOT 125392 SOS 53149 HAS SOPS 53149 HAS SOUS 40927 HAS SOUPS 40927 WITH SCORE 40980.149
AT ITER 658 NEW BEST:: SOT 125343 SOS 53082 HAS SOPS 53082 HAS SOUS 40895 HAS SOUPS 40895 WITH SCORE 40948.082
AT ITER 663 NEW BEST:: SOT 125313 SOS 53022 HAS SOPS 53022 HAS SOUS 40835 HAS SOUPS 40835 WITH SCORE 40888.022
AT ITER 671 NEW BEST:: SOT 125262 SOS 53074 HAS SOPS 53074 HAS SOUS 40741 HAS SOUPS 40741 WITH SCORE 40794.074
AT ITER 673 NEW BEST:: SOT 125217 SOS 53064 HAS SOPS 53064 HAS SOUS 40696 HAS SOUPS 40696 WITH SCORE 40749.064
AT ITER 678 NEW BEST:: SOT 125209 SOS 53056 HAS SOPS 53056 HAS SOUS 40696 HAS SOUPS 40696 WITH SCORE 40749.056
AT ITER 680 NEW BEST:: SOT 124952 SOS 52799 HAS SOPS 52799 HAS SOUS 40652 HAS SOUPS 40652 WITH SCORE 40704.799
AT ITER 696 NEW BEST:: SOT 124957 SOS 52792 HAS SOPS 52792 HAS SOUS 40645 HAS SOUPS 40645 WITH SCORE 40697.792
AT ITER 705 NEW BEST:: SOT 124948 SOS 52765 HAS SOPS 52765 HAS SOUS 40627 HAS SOUPS 40627 WITH SCORE 40679.765
AT ITER 706 NEW BEST:: SOT 124803 SOS 58150 HAS SOPS 58150 HAS SOUS 40592 HAS SOUPS 40592 WITH SCORE 40650.15
AT ITER 711 NEW BEST:: SOT 124798 SOS 58140 HAS SOPS 58140 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40640.14
AT ITER 716 NEW BEST:: SOT 124798 SOS 58003 HAS SOPS 58003 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40640.003
AT ITER 723 NEW BEST:: SOT 124785 SOS 57997 HAS SOPS 57997 HAS SOUS 40576 HAS SOUPS 40576 WITH SCORE 40633.997
AT ITER 727 NEW BEST:: SOT 124773 SOS 57952 HAS SOPS 57952 HAS SOUS 40564 HAS SOUPS 40564 WITH SCORE 40621.952
AT ITER 732 NEW BEST:: SOT 124724 SOS 57854 HAS SOPS 57854 HAS SOUS 40515 HAS SOUPS 40515 WITH SCORE 40572.854
AT ITER 737 NEW BEST:: SOT 124638 SOS 57726 HAS SOPS 57726 HAS SOUS 40471 HAS SOUPS 40471 WITH SCORE 40528.726
AT ITER 739 NEW BEST:: SOT 123896 SOS 57016 HAS SOPS 57016 HAS SOUS 39717 HAS SOUPS 39717 WITH SCORE 39774.016
AT ITER 741 NEW BEST:: SOT 123903 SOS 56981 HAS SOPS 56981 HAS SOUS 39682 HAS SOUPS 39682 WITH SCORE 39738.981
AT ITER 743 NEW BEST:: SOT 123903 SOS 57066 HAS SOPS 57066 HAS SOUS 39662 HAS SOUPS 39662 WITH SCORE 39719.066
AT ITER 747 NEW BEST:: SOT 123833 SOS 56945 HAS SOPS 56945 HAS SOUS 39522 HAS SOUPS 39522 WITH SCORE 39578.945
AT ITER 751 NEW BEST:: SOT 123799 SOS 56534 HAS SOPS 56534 HAS SOUS 39451 HAS SOUPS 39451 WITH SCORE 39507.534
AT ITER 769 NEW BEST:: SOT 123767 SOS 56486 HAS SOPS 56486 HAS SOUS 39419 HAS SOUPS 39419 WITH SCORE 39475.486
AT ITER 772 NEW BEST:: SOT 123766 SOS 56460 HAS SOPS 56460 HAS SOUS 39418 HAS SOUPS 39418 WITH SCORE 39474.46
AT ITER 780 NEW BEST:: SOT 123766 SOS 56460 HAS SOPS 56460 HAS SOUS 39409 HAS SOUPS 39409 WITH SCORE 39465.46
AT ITER 787 NEW BEST:: SOT 123732 SOS 56392 HAS SOPS 56392 HAS SOUS 39341 HAS SOUPS 39341 WITH SCORE 39397.392
AT ITER 788 NEW BEST:: SOT 123732 SOS 56392 HAS SOPS 56392 HAS SOUS 39314 HAS SOUPS 39314 WITH SCORE 39370.392
AT ITER 794 NEW BEST:: SOT 123677 SOS 56337 HAS SOPS 56337 HAS SOUS 39259 HAS SOUPS 39259 WITH SCORE 39315.337
AT ITER 797 NEW BEST:: SOT 123654 SOS 56280 HAS SOPS 56280 HAS SOUS 39213 HAS SOUPS 39213 WITH SCORE 39269.28
AT ITER 799 NEW BEST:: SOT 123601 SOS 56201 HAS SOPS 56201 HAS SOUS 39107 HAS SOUPS 39107 WITH SCORE 39163.201
AT ITER 800 NEW BEST:: SOT 123600 SOS 56189 HAS SOPS 56189 HAS SOUS 39106 HAS SOUPS 39106 WITH SCORE 39162.189
AT ITER 801 NEW BEST:: SOT 123402 SOS 55836 HAS SOPS 55836 HAS SOUS 38742 HAS SOUPS 38742 WITH SCORE 38797.836
AT ITER 804 NEW BEST:: SOT 123410 SOS 55899 HAS SOPS 55899 HAS SOUS 38713 HAS SOUPS 38713 WITH SCORE 38768.899
AT ITER 808 NEW BEST:: SOT 123410 SOS 55899 HAS SOPS 55899 HAS SOUS 38705 HAS SOUPS 38705 WITH SCORE 38760.899
AT ITER 816 NEW BEST:: SOT 123309 SOS 55697 HAS SOPS 55697 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38695.697
AT ITER 819 NEW BEST:: SOT 123279 SOS 55667 HAS SOPS 55667 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38695.667
AT ITER 825 NEW BEST:: SOT 123192 SOS 55493 HAS SOPS 55493 HAS SOUS 38606 HAS SOUPS 38606 WITH SCORE 38661.493
AT ITER 826 NEW BEST:: SOT 123149 SOS 55442 HAS SOPS 55442 HAS SOUS 38562 HAS SOUPS 38562 WITH SCORE 38617.442
AT ITER 828 NEW BEST:: SOT 123088 SOS 55338 HAS SOPS 55338 HAS SOUS 38501 HAS SOUPS 38501 WITH SCORE 38556.338
AT ITER 832 NEW BEST:: SOT 122988 SOS 55196 HAS SOPS 55196 HAS SOUS 38359 HAS SOUPS 38359 WITH SCORE 38414.196
AT ITER 838 NEW BEST:: SOT 122981 SOS 55182 HAS SOPS 55182 HAS SOUS 38345 HAS SOUPS 38345 WITH SCORE 38400.182
AT ITER 848 NEW BEST:: SOT 122974 SOS 55292 HAS SOPS 55292 HAS SOUS 38335 HAS SOUPS 38335 WITH SCORE 38390.292
AT ITER 858 NEW BEST:: SOT 123011 SOS 55348 HAS SOPS 55348 HAS SOUS 38307 HAS SOUPS 38307 WITH SCORE 38362.348
AT ITER 873 NEW BEST:: SOT 122946 SOS 55348 HAS SOPS 55348 HAS SOUS 38242 HAS SOUPS 38242 WITH SCORE 38297.348
AT ITER 885 NEW BEST:: SOT 122653 SOS 54869 HAS SOPS 54869 HAS SOUS 37803 HAS SOUPS 37803 WITH SCORE 37857.869
AT ITER 911 NEW BEST:: SOT 122557 SOS 54712 HAS SOPS 54712 HAS SOUS 37519 HAS SOUPS 37519 WITH SCORE 37573.712
AT ITER 915 NEW BEST:: SOT 122534 SOS 54643 HAS SOPS 54643 HAS SOUS 37496 HAS SOUPS 37496 WITH SCORE 37550.643
AT ITER 929 NEW BEST:: SOT 122541 SOS 54650 HAS SOPS 54650 HAS SOUS 37495 HAS SOUPS 37495 WITH SCORE 37549.65
AT ITER 934 NEW BEST:: SOT 122375 SOS 54484 HAS SOPS 54484 HAS SOUS 37329 HAS SOUPS 37329 WITH SCORE 37383.484
AT ITER 957 NEW BEST:: SOT 122375 SOS 54484 HAS SOPS 54484 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37379.484
AT ITER 967 NEW BEST:: SOT 122346 SOS 54427 HAS SOPS 54427 HAS SOUS 37295 HAS SOUPS 37295 WITH SCORE 37349.427
AT ITER 974 NEW BEST:: SOT 122328 SOS 54654 HAS SOPS 54654 HAS SOUS 37225 HAS SOUPS 37225 WITH SCORE 37279.654
AT ITER 981 NEW BEST:: SOT 122328 SOS 54654 HAS SOPS 54654 HAS SOUS 37104 HAS SOUPS 37104 WITH SCORE 37158.654
AT ITER 983 NEW BEST:: SOT 122357 SOS 54683 HAS SOPS 54683 HAS SOUS 37073 HAS SOUPS 37073 WITH SCORE 37127.683
AT ITER 988 NEW BEST:: SOT 122409 SOS 54666 HAS SOPS 54666 HAS SOUS 37058 HAS SOUPS 37058 WITH SCORE 37112.666
AT ITER 1007 NEW BEST:: SOT 122419 SOS 54686 HAS SOPS 54686 HAS SOUS 37015 HAS SOUPS 37015 WITH SCORE 37069.686
AT ITER 1008 NEW BEST:: SOT 122407 SOS 54674 HAS SOPS 54674 HAS SOUS 36991 HAS SOUPS 36991 WITH SCORE 37045.674
AT ITER 1027 NEW BEST:: SOT 122399 SOS 54650 HAS SOPS 54650 HAS SOUS 36975 HAS SOUPS 36975 WITH SCORE 37029.65
AT ITER 1029 NEW BEST:: SOT 122401 SOS 54654 HAS SOPS 54654 HAS SOUS 36963 HAS SOUPS 36963 WITH SCORE 37017.654
AT ITER 1040 NEW BEST:: SOT 122312 SOS 54644 HAS SOPS 54644 HAS SOUS 36953 HAS SOUPS 36953 WITH SCORE 37007.644
AT ITER 1041 NEW BEST:: SOT 122299 SOS 54618 HAS SOPS 54618 HAS SOUS 36927 HAS SOUPS 36927 WITH SCORE 36981.618
AT ITER 1043 NEW BEST:: SOT 122298 SOS 54490 HAS SOPS 54490 HAS SOUS 36914 HAS SOUPS 36914 WITH SCORE 36968.49
AT ITER 1050 NEW BEST:: SOT 122188 SOS 54347 HAS SOPS 54347 HAS SOUS 36737 HAS SOUPS 36737 WITH SCORE 36791.347
AT ITER 1057 NEW BEST:: SOT 122174 SOS 54319 HAS SOPS 54319 HAS SOUS 36733 HAS SOUPS 36733 WITH SCORE 36787.319
AT ITER 1060 NEW BEST:: SOT 122165 SOS 54301 HAS SOPS 54301 HAS SOUS 36715 HAS SOUPS 36715 WITH SCORE 36769.301
AT ITER 1083 NEW BEST:: SOT 122164 SOS 54299 HAS SOPS 54299 HAS SOUS 36699 HAS SOUPS 36699 WITH SCORE 36753.299
AT ITER 1084 NEW BEST:: SOT 122158 SOS 54290 HAS SOPS 54290 HAS SOUS 36690 HAS SOUPS 36690 WITH SCORE 36744.29
AT ITER 1089 NEW BEST:: SOT 122066 SOS 52965 HAS SOPS 52965 HAS SOUS 36552 HAS SOUPS 36552 WITH SCORE 36604.965
AT ITER 1091 NEW BEST:: SOT 122046 SOS 52932 HAS SOPS 52932 HAS SOUS 36519 HAS SOUPS 36519 WITH SCORE 36571.932
AT ITER 1105 NEW BEST:: SOT 122015 SOS 52951 HAS SOPS 52951 HAS SOUS 36514 HAS SOUPS 36514 WITH SCORE 36566.951
AT ITER 1109 NEW BEST:: SOT 121939 SOS 52799 HAS SOPS 52799 HAS SOUS 36466 HAS SOUPS 36466 WITH SCORE 36518.799
AT ITER 1112 NEW BEST:: SOT 121939 SOS 52821 HAS SOPS 52821 HAS SOUS 36450 HAS SOUPS 36450 WITH SCORE 36502.821
AT ITER 1126 NEW BEST:: SOT 121938 SOS 52818 HAS SOPS 52818 HAS SOUS 36448 HAS SOUPS 36448 WITH SCORE 36500.818
AT ITER 1128 NEW BEST:: SOT 121896 SOS 52702 HAS SOPS 52702 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36426.702
AT ITER 1133 NEW BEST:: SOT 121896 SOS 52702 HAS SOPS 52702 HAS SOUS 36339 HAS SOUPS 36339 WITH SCORE 36391.702
AT ITER 1141 NEW BEST:: SOT 121834 SOS 52542 HAS SOPS 52542 HAS SOUS 36215 HAS SOUPS 36215 WITH SCORE 36267.542
AT ITER 1143 NEW BEST:: SOT 121834 SOS 52542 HAS SOPS 52542 HAS SOUS 36212 HAS SOUPS 36212 WITH SCORE 36264.542
AT ITER 1144 NEW BEST:: SOT 121834 SOS 51094 HAS SOPS 51094 HAS SOUS 36186 HAS SOUPS 36186 WITH SCORE 36237.094
AT ITER 1149 NEW BEST:: SOT 121821 SOS 51068 HAS SOPS 51068 HAS SOUS 36173 HAS SOUPS 36173 WITH SCORE 36224.068
AT ITER 1159 NEW BEST:: SOT 121820 SOS 51064 HAS SOPS 51064 HAS SOUS 36109 HAS SOUPS 36109 WITH SCORE 36160.064
AT ITER 1164 NEW BEST:: SOT 121827 SOS 51064 HAS SOPS 51064 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36153.064
AT ITER 1167 NEW BEST:: SOT 121827 SOS 51064 HAS SOPS 51064 HAS SOUS 36066 HAS SOUPS 36066 WITH SCORE 36117.064
AT ITER 1184 NEW BEST:: SOT 121820 SOS 51439 HAS SOPS 51439 HAS SOUS 36059 HAS SOUPS 36059 WITH SCORE 36110.439
AT ITER 1192 NEW BEST:: SOT 121799 SOS 51418 HAS SOPS 51418 HAS SOUS 36038 HAS SOUPS 36038 WITH SCORE 36089.418
AT ITER 1194 NEW BEST:: SOT 121719 SOS 51258 HAS SOPS 51258 HAS SOUS 35902 HAS SOUPS 35902 WITH SCORE 35953.258
AT ITER 1197 NEW BEST:: SOT 121718 SOS 51240 HAS SOPS 51240 HAS SOUS 35900 HAS SOUPS 35900 WITH SCORE 35951.24
AT ITER 1203 NEW BEST:: SOT 121718 SOS 51162 HAS SOPS 51162 HAS SOUS 35900 HAS SOUPS 35900 WITH SCORE 35951.162
AT ITER 1221 NEW BEST:: SOT 121718 SOS 51124 HAS SOPS 51124 HAS SOUS 35870 HAS SOUPS 35870 WITH SCORE 35921.124
AT ITER 1222 NEW BEST:: SOT 121503 SOS 50799 HAS SOPS 50799 HAS SOUS 35440 HAS SOUPS 35440 WITH SCORE 35490.799
AT ITER 1226 NEW BEST:: SOT 121474 SOS 50741 HAS SOPS 50741 HAS SOUS 35315 HAS SOUPS 35315 WITH SCORE 35365.741
AT ITER 1246 NEW BEST:: SOT 121464 SOS 50704 HAS SOPS 50704 HAS SOUS 35295 HAS SOUPS 35295 WITH SCORE 35345.704
AT ITER 1247 NEW BEST:: SOT 121383 SOS 50637 HAS SOPS 50637 HAS SOUS 35214 HAS SOUPS 35214 WITH SCORE 35264.637
AT ITER 1251 NEW BEST:: SOT 121370 SOS 50626 HAS SOPS 50626 HAS SOUS 35203 HAS SOUPS 35203 WITH SCORE 35253.626
AT ITER 1252 NEW BEST:: SOT 121374 SOS 50549 HAS SOPS 50549 HAS SOUS 35201 HAS SOUPS 35201 WITH SCORE 35251.549
AT ITER 1264 NEW BEST:: SOT 121356 SOS 50513 HAS SOPS 50513 HAS SOUS 35106 HAS SOUPS 35106 WITH SCORE 35156.513
AT ITER 1269 NEW BEST:: SOT 121355 SOS 50511 HAS SOPS 50511 HAS SOUS 35104 HAS SOUPS 35104 WITH SCORE 35154.511
AT ITER 1280 NEW BEST:: SOT 121253 SOS 50307 HAS SOPS 50307 HAS SOUS 35002 HAS SOUPS 35002 WITH SCORE 35052.307
AT ITER 1297 NEW BEST:: SOT 121255 SOS 50237 HAS SOPS 50237 HAS SOUS 34961 HAS SOUPS 34961 WITH SCORE 35011.237
AT ITER 1298 NEW BEST:: SOT 121254 SOS 50214 HAS SOPS 50214 HAS SOUS 34959 HAS SOUPS 34959 WITH SCORE 35009.214
AT ITER 1309 NEW BEST:: SOT 121254 SOS 50184 HAS SOPS 50184 HAS SOUS 34929 HAS SOUPS 34929 WITH SCORE 34979.184
AT ITER 1312 NEW BEST:: SOT 121277 SOS 50169 HAS SOPS 50169 HAS SOUS 34902 HAS SOUPS 34902 WITH SCORE 34952.169
AT ITER 1317 NEW BEST:: SOT 121202 SOS 49944 HAS SOPS 49944 HAS SOUS 34752 HAS SOUPS 34752 WITH SCORE 34801.944
AT ITER 1323 NEW BEST:: SOT 121202 SOS 49944 HAS SOPS 49944 HAS SOUS 34705 HAS SOUPS 34705 WITH SCORE 34754.944
AT ITER 1324 NEW BEST:: SOT 121081 SOS 49941 HAS SOPS 49941 HAS SOUS 34702 HAS SOUPS 34702 WITH SCORE 34751.941
AT ITER 1327 NEW BEST:: SOT 120995 SOS 49855 HAS SOPS 49855 HAS SOUS 34616 HAS SOUPS 34616 WITH SCORE 34665.855
AT ITER 1339 NEW BEST:: SOT 120962 SOS 49789 HAS SOPS 49789 HAS SOUS 34552 HAS SOUPS 34552 WITH SCORE 34601.789
AT ITER 1342 NEW BEST:: SOT 120962 SOS 49785 HAS SOPS 49785 HAS SOUS 34551 HAS SOUPS 34551 WITH SCORE 34600.785
AT ITER 1350 NEW BEST:: SOT 120926 SOS 49749 HAS SOPS 49749 HAS SOUS 34485 HAS SOUPS 34485 WITH SCORE 34534.749
AT ITER 1360 NEW BEST:: SOT 120928 SOS 49634 HAS SOPS 49634 HAS SOUS 34417 HAS SOUPS 34417 WITH SCORE 34466.634
AT ITER 1377 NEW BEST:: SOT 120920 SOS 49616 HAS SOPS 49616 HAS SOUS 34399 HAS SOUPS 34399 WITH SCORE 34448.616
AT ITER 1390 NEW BEST:: SOT 120900 SOS 49588 HAS SOPS 49588 HAS SOUS 34383 HAS SOUPS 34383 WITH SCORE 34432.588
AT ITER 1392 NEW BEST:: SOT 120719 SOS 49329 HAS SOPS 49329 HAS SOUS 33998 HAS SOUPS 33998 WITH SCORE 34047.329
AT ITER 1395 NEW BEST:: SOT 120719 SOS 49313 HAS SOPS 49313 HAS SOUS 33982 HAS SOUPS 33982 WITH SCORE 34031.313
AT ITER 1404 NEW BEST:: SOT 120674 SOS 49223 HAS SOPS 49223 HAS SOUS 33937 HAS SOUPS 33937 WITH SCORE 33986.223
AT ITER 1405 NEW BEST:: SOT 120688 SOS 49128 HAS SOPS 49128 HAS SOUS 33891 HAS SOUPS 33891 WITH SCORE 33940.128
AT ITER 1409 NEW BEST:: SOT 120687 SOS 49124 HAS SOPS 49124 HAS SOUS 33889 HAS SOUPS 33889 WITH SCORE 33938.124
AT ITER 1412 NEW BEST:: SOT 120627 SOS 49099 HAS SOPS 49099 HAS SOUS 33779 HAS SOUPS 33779 WITH SCORE 33828.099
AT ITER 1427 NEW BEST:: SOT 120627 SOS 49099 HAS SOPS 49099 HAS SOUS 33771 HAS SOUPS 33771 WITH SCORE 33820.099
AT ITER 1430 NEW BEST:: SOT 120604 SOS 49053 HAS SOPS 49053 HAS SOUS 33725 HAS SOUPS 33725 WITH SCORE 33774.053
AT ITER 1437 NEW BEST:: SOT 120515 SOS 48875 HAS SOPS 48875 HAS SOUS 33608 HAS SOUPS 33608 WITH SCORE 33656.875
AT ITER 1438 NEW BEST:: SOT 120508 SOS 48861 HAS SOPS 48861 HAS SOUS 33594 HAS SOUPS 33594 WITH SCORE 33642.861
AT ITER 1455 NEW BEST:: SOT 120420 SOS 48750 HAS SOPS 48750 HAS SOUS 33528 HAS SOUPS 33528 WITH SCORE 33576.75
AT ITER 1483 NEW BEST:: SOT 120272 SOS 48454 HAS SOPS 48454 HAS SOUS 33232 HAS SOUPS 33232 WITH SCORE 33280.454
AT ITER 1491 NEW BEST:: SOT 120232 SOS 48374 HAS SOPS 48374 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33240.374
AT ITER 1499 NEW BEST:: SOT 120209 SOS 48312 HAS SOPS 48312 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33217.312
AT ITER 1500 NEW BEST:: SOT 120207 SOS 48308 HAS SOPS 48308 HAS SOUS 33165 HAS SOUPS 33165 WITH SCORE 33213.308
AT ITER 1509 NEW BEST:: SOT 120200 SOS 48301 HAS SOPS 48301 HAS SOUS 33158 HAS SOUPS 33158 WITH SCORE 33206.301
AT ITER 1540 NEW BEST:: SOT 120200 SOS 48269 HAS SOPS 48269 HAS SOUS 33158 HAS SOUPS 33158 WITH SCORE 33206.269
AT ITER 1541 NEW BEST:: SOT 120206 SOS 48219 HAS SOPS 48219 HAS SOUS 33108 HAS SOUPS 33108 WITH SCORE 33156.219
AT ITER 1551 NEW BEST:: SOT 120206 SOS 48173 HAS SOPS 48173 HAS SOUS 33037 HAS SOUPS 33037 WITH SCORE 33085.173
AT ITER 1561 NEW BEST:: SOT 120185 SOS 48146 HAS SOPS 48146 HAS SOUS 33025 HAS SOUPS 33025 WITH SCORE 33073.146
AT ITER 1564 NEW BEST:: SOT 120142 SOS 48103 HAS SOPS 48103 HAS SOUS 32981 HAS SOUPS 32981 WITH SCORE 33029.103
AT ITER 1570 NEW BEST:: SOT 120121 SOS 48036 HAS SOPS 48036 HAS SOUS 32958 HAS SOUPS 32958 WITH SCORE 33006.036
AT ITER 1579 NEW BEST:: SOT 120106 SOS 48021 HAS SOPS 48021 HAS SOUS 32958 HAS SOUPS 32958 WITH SCORE 33006.021
AT ITER 1582 NEW BEST:: SOT 120092 SOS 47994 HAS SOPS 47994 HAS SOUS 32930 HAS SOUPS 32930 WITH SCORE 32977.994
AT ITER 1599 NEW BEST:: SOT 120091 SOS 47992 HAS SOPS 47992 HAS SOUS 32928 HAS SOUPS 32928 WITH SCORE 32975.992
AT ITER 1613 NEW BEST:: SOT 120069 SOS 47948 HAS SOPS 47948 HAS SOUS 32884 HAS SOUPS 32884 WITH SCORE 32931.948
AT ITER 1620 NEW BEST:: SOT 120033 SOS 47915 HAS SOPS 47915 HAS SOUS 32848 HAS SOUPS 32848 WITH SCORE 32895.915
AT ITER 1628 NEW BEST:: SOT 120006 SOS 47861 HAS SOPS 47861 HAS SOUS 32794 HAS SOUPS 32794 WITH SCORE 32841.861
AT ITER 1629 NEW BEST:: SOT 120031 SOS 47841 HAS SOPS 47841 HAS SOUS 32785 HAS SOUPS 32785 WITH SCORE 32832.841
AT ITER 1650 NEW BEST:: SOT 119948 SOS 47525 HAS SOPS 47525 HAS SOUS 32619 HAS SOUPS 32619 WITH SCORE 32666.525
AT ITER 1654 NEW BEST:: SOT 119933 SOS 47495 HAS SOPS 47495 HAS SOUS 32589 HAS SOUPS 32589 WITH SCORE 32636.495
AT ITER 1655 NEW BEST:: SOT 119929 SOS 47491 HAS SOPS 47491 HAS SOUS 32585 HAS SOUPS 32585 WITH SCORE 32632.491
AT ITER 1679 NEW BEST:: SOT 119926 SOS 47485 HAS SOPS 47485 HAS SOUS 32579 HAS SOUPS 32579 WITH SCORE 32626.485
AT ITER 1680 NEW BEST:: SOT 119926 SOS 47485 HAS SOPS 47485 HAS SOUS 32578 HAS SOUPS 32578 WITH SCORE 32625.485
AT ITER 1681 NEW BEST:: SOT 119926 SOS 47477 HAS SOPS 47477 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32617.477
AT ITER 1682 NEW BEST:: SOT 119924 SOS 47475 HAS SOPS 47475 HAS SOUS 32566 HAS SOUPS 32566 WITH SCORE 32613.475
AT ITER 1683 NEW BEST:: SOT 119924 SOS 47472 HAS SOPS 47472 HAS SOUS 32563 HAS SOUPS 32563 WITH SCORE 32610.472
AT ITER 1721 NEW BEST:: SOT 119914 SOS 47466 HAS SOPS 47466 HAS SOUS 32553 HAS SOUPS 32553 WITH SCORE 32600.466
AT ITER 1725 NEW BEST:: SOT 119887 SOS 49884 HAS SOPS 49884 HAS SOUS 32526 HAS SOUPS 32526 WITH SCORE 32575.884
AT ITER 1732 NEW BEST:: SOT 119569 SOS 49594 HAS SOPS 49594 HAS SOUS 32258 HAS SOUPS 32258 WITH SCORE 32307.594
AT ITER 1735 NEW BEST:: SOT 119542 SOS 49567 HAS SOPS 49567 HAS SOUS 32231 HAS SOUPS 32231 WITH SCORE 32280.567
AT ITER 1737 NEW BEST:: SOT 119288 SOS 49329 HAS SOPS 49329 HAS SOUS 31993 HAS SOUPS 31993 WITH SCORE 32042.329
AT ITER 1743 NEW BEST:: SOT 119290 SOS 49331 HAS SOPS 49331 HAS SOUS 31963 HAS SOUPS 31963 WITH SCORE 32012.331
AT ITER 1753 NEW BEST:: SOT 119285 SOS 49321 HAS SOPS 49321 HAS SOUS 31953 HAS SOUPS 31953 WITH SCORE 32002.321
AT ITER 1756 NEW BEST:: SOT 119277 SOS 49303 HAS SOPS 49303 HAS SOUS 31951 HAS SOUPS 31951 WITH SCORE 32000.303
AT ITER 1825 NEW BEST:: SOT 119268 SOS 49294 HAS SOPS 49294 HAS SOUS 31933 HAS SOUPS 31933 WITH SCORE 31982.294
AT ITER 1838 NEW BEST:: SOT 119268 SOS 49294 HAS SOPS 49294 HAS SOUS 31915 HAS SOUPS 31915 WITH SCORE 31964.294
AT ITER 1858 NEW BEST:: SOT 119167 SOS 49092 HAS SOPS 49092 HAS SOUS 31819 HAS SOUPS 31819 WITH SCORE 31868.092
AT ITER 1871 NEW BEST:: SOT 119160 SOS 49085 HAS SOPS 49085 HAS SOUS 31812 HAS SOUPS 31812 WITH SCORE 31861.085
AT ITER 1874 NEW BEST:: SOT 119147 SOS 49073 HAS SOPS 49073 HAS SOUS 31800 HAS SOUPS 31800 WITH SCORE 31849.073
AT ITER 1888 NEW BEST:: SOT 119097 SOS 49023 HAS SOPS 49023 HAS SOUS 31800 HAS SOUPS 31800 WITH SCORE 31849.023
AT ITER 1920 NEW BEST:: SOT 119080 SOS 48976 HAS SOPS 48976 HAS SOUS 31766 HAS SOUPS 31766 WITH SCORE 31814.976
AT ITER 1935 NEW BEST:: SOT 119080 SOS 48974 HAS SOPS 48974 HAS SOUS 31764 HAS SOUPS 31764 WITH SCORE 31812.974
AT ITER 1941 NEW BEST:: SOT 119060 SOS 48955 HAS SOPS 48955 HAS SOUS 31757 HAS SOUPS 31757 WITH SCORE 31805.955
AT ITER 1972 NEW BEST:: SOT 119055 SOS 48933 HAS SOPS 48933 HAS SOUS 31748 HAS SOUPS 31748 WITH SCORE 31796.933
AT ITER 1973 NEW BEST:: SOT 119052 SOS 49008 HAS SOPS 49008 HAS SOUS 31742 HAS SOUPS 31742 WITH SCORE 31791.008
AT ITER 1989 NEW BEST:: SOT 119084 SOS 48990 HAS SOPS 48990 HAS SOUS 31722 HAS SOUPS 31722 WITH SCORE 31770.99
AT ITER 2002 NEW BEST:: SOT 119040 SOS 48878 HAS SOPS 48878 HAS SOUS 31610 HAS SOUPS 31610 WITH SCORE 31658.878
AT ITER 2024 NEW BEST:: SOT 119037 SOS 48872 HAS SOPS 48872 HAS SOUS 31604 HAS SOUPS 31604 WITH SCORE 31652.872
AT ITER 2034 NEW BEST:: SOT 118978 SOS 48810 HAS SOPS 48810 HAS SOUS 31542 HAS SOUPS 31542 WITH SCORE 31590.81
AT ITER 2046 NEW BEST:: SOT 118978 SOS 48810 HAS SOPS 48810 HAS SOUS 31514 HAS SOUPS 31514 WITH SCORE 31562.81
AT ITER 2054 NEW BEST:: SOT 118924 SOS 48796 HAS SOPS 48796 HAS SOUS 31415 HAS SOUPS 31415 WITH SCORE 31463.796
AT ITER 2056 NEW BEST:: SOT 118909 SOS 48766 HAS SOPS 48766 HAS SOUS 31365 HAS SOUPS 31365 WITH SCORE 31413.766
AT ITER 2068 NEW BEST:: SOT 118906 SOS 48757 HAS SOPS 48757 HAS SOUS 31362 HAS SOUPS 31362 WITH SCORE 31410.757
AT ITER 2083 NEW BEST:: SOT 118693 SOS 48496 HAS SOPS 48496 HAS SOUS 31117 HAS SOUPS 31117 WITH SCORE 31165.496
AT ITER 2084 NEW BEST:: SOT 118693 SOS 48490 HAS SOPS 48490 HAS SOUS 31117 HAS SOUPS 31117 WITH SCORE 31165.49
AT ITER 2085 NEW BEST:: SOT 118693 SOS 48468 HAS SOPS 48468 HAS SOUS 31117 HAS SOUPS 31117 WITH SCORE 31165.468
AT ITER 2103 NEW BEST:: SOT 118609 SOS 48300 HAS SOPS 48300 HAS SOUS 31033 HAS SOUPS 31033 WITH SCORE 31081.3
AT ITER 2105 NEW BEST:: SOT 118593 SOS 48238 HAS SOPS 48238 HAS SOUS 31001 HAS SOUPS 31001 WITH SCORE 31049.238
AT ITER 2123 NEW BEST:: SOT 118592 SOS 48128 HAS SOPS 48128 HAS SOUS 30947 HAS SOUPS 30947 WITH SCORE 30995.128
AT ITER 2133 NEW BEST:: SOT 118587 SOS 48086 HAS SOPS 48086 HAS SOUS 30850 HAS SOUPS 30850 WITH SCORE 30898.086
AT ITER 2153 NEW BEST:: SOT 118574 SOS 48060 HAS SOPS 48060 HAS SOUS 30824 HAS SOUPS 30824 WITH SCORE 30872.06
AT ITER 2180 NEW BEST:: SOT 118574 SOS 48023 HAS SOPS 48023 HAS SOUS 30824 HAS SOUPS 30824 WITH SCORE 30872.023
AT ITER 2189 NEW BEST:: SOT 118565 SOS 48014 HAS SOPS 48014 HAS SOUS 30815 HAS SOUPS 30815 WITH SCORE 30863.014
AT ITER 2203 NEW BEST:: SOT 118556 SOS 48005 HAS SOPS 48005 HAS SOUS 30806 HAS SOUPS 30806 WITH SCORE 30854.005
AT ITER 2210 NEW BEST:: SOT 118543 SOS 48004 HAS SOPS 48004 HAS SOUS 30805 HAS SOUPS 30805 WITH SCORE 30853.004
AT ITER 2214 NEW BEST:: SOT 118543 SOS 47994 HAS SOPS 47994 HAS SOUS 30805 HAS SOUPS 30805 WITH SCORE 30852.994
AT ITER 2240 NEW BEST:: SOT 118541 SOS 48003 HAS SOPS 48003 HAS SOUS 30804 HAS SOUPS 30804 WITH SCORE 30852.003
AT ITER 2242 NEW BEST:: SOT 118451 SOS 47823 HAS SOPS 47823 HAS SOUS 30679 HAS SOUPS 30679 WITH SCORE 30726.823
AT ITER 2245 NEW BEST:: SOT 118443 SOS 47807 HAS SOPS 47807 HAS SOUS 30663 HAS SOUPS 30663 WITH SCORE 30710.807
AT ITER 2251 NEW BEST:: SOT 118443 SOS 47686 HAS SOPS 47686 HAS SOUS 30663 HAS SOUPS 30663 WITH SCORE 30710.686
AT ITER 2256 NEW BEST:: SOT 118442 SOS 47687 HAS SOPS 47687 HAS SOUS 30662 HAS SOUPS 30662 WITH SCORE 30709.687
AT ITER 2257 NEW BEST:: SOT 118429 SOS 47674 HAS SOPS 47674 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30696.674
AT ITER 2286 NEW BEST:: SOT 118429 SOS 47665 HAS SOPS 47665 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30696.665
AT ITER 2316 NEW BEST:: SOT 118429 SOS 47657 HAS SOPS 47657 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30696.657
AT ITER 2329 NEW BEST:: SOT 118422 SOS 47643 HAS SOPS 47643 HAS SOUS 30635 HAS SOUPS 30635 WITH SCORE 30682.643
AT ITER 2345 NEW BEST:: SOT 118413 SOS 47625 HAS SOPS 47625 HAS SOUS 30617 HAS SOUPS 30617 WITH SCORE 30664.625
AT ITER 2352 NEW BEST:: SOT 118361 SOS 47577 HAS SOPS 47577 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30642.577
AT ITER 2357 NEW BEST:: SOT 118360 SOS 47573 HAS SOPS 47573 HAS SOUS 30593 HAS SOUPS 30593 WITH SCORE 30640.573
AT ITER 2366 NEW BEST:: SOT 118359 SOS 47571 HAS SOPS 47571 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30639.571
AT ITER 2386 NEW BEST:: SOT 118331 SOS 47485 HAS SOPS 47485 HAS SOUS 30503 HAS SOUPS 30503 WITH SCORE 30550.485
AT ITER 2403 NEW BEST:: SOT 118336 SOS 47495 HAS SOPS 47495 HAS SOUS 30493 HAS SOUPS 30493 WITH SCORE 30540.495
AT ITER 2410 NEW BEST:: SOT 118334 SOS 47490 HAS SOPS 47490 HAS SOUS 30486 HAS SOUPS 30486 WITH SCORE 30533.49
AT ITER 2412 NEW BEST:: SOT 118320 SOS 47488 HAS SOPS 47488 HAS SOUS 30484 HAS SOUPS 30484 WITH SCORE 30531.488
AT ITER 2420 NEW BEST:: SOT 118320 SOS 47451 HAS SOPS 47451 HAS SOUS 30447 HAS SOUPS 30447 WITH SCORE 30494.451
AT ITER 2423 NEW BEST:: SOT 118333 SOS 47448 HAS SOPS 47448 HAS SOUS 30444 HAS SOUPS 30444 WITH SCORE 30491.448
AT ITER 2432 NEW BEST:: SOT 118313 SOS 47428 HAS SOPS 47428 HAS SOUS 30414 HAS SOUPS 30414 WITH SCORE 30461.428
AT ITER 2439 NEW BEST:: SOT 118304 SOS 47419 HAS SOPS 47419 HAS SOUS 30400 HAS SOUPS 30400 WITH SCORE 30447.419
AT ITER 2452 NEW BEST:: SOT 118288 SOS 47374 HAS SOPS 47374 HAS SOUS 30368 HAS SOUPS 30368 WITH SCORE 30415.374
AT ITER 2489 NEW BEST:: SOT 118286 SOS 47370 HAS SOPS 47370 HAS SOUS 30366 HAS SOUPS 30366 WITH SCORE 30413.37
AT ITER 2499 NEW BEST:: SOT 118287 SOS 47372 HAS SOPS 47372 HAS SOUS 30350 HAS SOUPS 30350 WITH SCORE 30397.372
AT ITER 2512 NEW BEST:: SOT 118266 SOS 47368 HAS SOPS 47368 HAS SOUS 30335 HAS SOUPS 30335 WITH SCORE 30382.368
AT ITER 2517 NEW BEST:: SOT 118233 SOS 47368 HAS SOPS 47368 HAS SOUS 30302 HAS SOUPS 30302 WITH SCORE 30349.368
AT ITER 2521 NEW BEST:: SOT 118227 SOS 47356 HAS SOPS 47356 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30337.356
AT ITER 2523 NEW BEST:: SOT 118213 SOS 47328 HAS SOPS 47328 HAS SOUS 30262 HAS SOUPS 30262 WITH SCORE 30309.328
AT ITER 2532 NEW BEST:: SOT 118199 SOS 47300 HAS SOPS 47300 HAS SOUS 30234 HAS SOUPS 30234 WITH SCORE 30281.3
AT ITER 2542 NEW BEST:: SOT 118199 SOS 47292 HAS SOPS 47292 HAS SOUS 30234 HAS SOUPS 30234 WITH SCORE 30281.292
AT ITER 2547 NEW BEST:: SOT 118190 SOS 47306 HAS SOPS 47306 HAS SOUS 30225 HAS SOUPS 30225 WITH SCORE 30272.306
AT ITER 2549 NEW BEST:: SOT 118180 SOS 47291 HAS SOPS 47291 HAS SOUS 30205 HAS SOUPS 30205 WITH SCORE 30252.291
AT ITER 2563 NEW BEST:: SOT 118173 SOS 47277 HAS SOPS 47277 HAS SOUS 30174 HAS SOUPS 30174 WITH SCORE 30221.277
AT ITER 2571 NEW BEST:: SOT 118144 SOS 47248 HAS SOPS 47248 HAS SOUS 30162 HAS SOUPS 30162 WITH SCORE 30209.248
AT ITER 2574 NEW BEST:: SOT 118086 SOS 47070 HAS SOPS 47070 HAS SOUS 30104 HAS SOUPS 30104 WITH SCORE 30151.07
AT ITER 2582 NEW BEST:: SOT 118044 SOS 47068 HAS SOPS 47068 HAS SOUS 30082 HAS SOUPS 30082 WITH SCORE 30129.068
AT ITER 2588 NEW BEST:: SOT 118044 SOS 47064 HAS SOPS 47064 HAS SOUS 30082 HAS SOUPS 30082 WITH SCORE 30129.064
AT ITER 2594 NEW BEST:: SOT 118017 SOS 47010 HAS SOPS 47010 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30075.01
AT ITER 2596 NEW BEST:: SOT 118002 SOS 46995 HAS SOPS 46995 HAS SOUS 29998 HAS SOUPS 29998 WITH SCORE 30044.995
AT ITER 2602 NEW BEST:: SOT 118001 SOS 46968 HAS SOPS 46968 HAS SOUS 29971 HAS SOUPS 29971 WITH SCORE 30017.968
AT ITER 2605 NEW BEST:: SOT 117998 SOS 46962 HAS SOPS 46962 HAS SOUS 29965 HAS SOUPS 29965 WITH SCORE 30011.962
AT ITER 2607 NEW BEST:: SOT 117955 SOS 46876 HAS SOPS 46876 HAS SOUS 29879 HAS SOUPS 29879 WITH SCORE 29925.876
AT ITER 2618 NEW BEST:: SOT 117954 SOS 46875 HAS SOPS 46875 HAS SOUS 29877 HAS SOUPS 29877 WITH SCORE 29923.875
AT ITER 2621 NEW BEST:: SOT 117954 SOS 46876 HAS SOPS 46876 HAS SOUS 29876 HAS SOUPS 29876 WITH SCORE 29922.876
AT ITER 2653 NEW BEST:: SOT 117963 SOS 46865 HAS SOPS 46865 HAS SOUS 29865 HAS SOUPS 29865 WITH SCORE 29911.865
AT ITER 2689 NEW BEST:: SOT 117960 SOS 46859 HAS SOPS 46859 HAS SOUS 29862 HAS SOUPS 29862 WITH SCORE 29908.859
AT ITER 2706 NEW BEST:: SOT 117890 SOS 46784 HAS SOPS 46784 HAS SOUS 29787 HAS SOUPS 29787 WITH SCORE 29833.784
AT ITER 2749 NEW BEST:: SOT 117876 SOS 46674 HAS SOPS 46674 HAS SOUS 29685 HAS SOUPS 29685 WITH SCORE 29731.674
AT ITER 2751 NEW BEST:: SOT 117876 SOS 46612 HAS SOPS 46612 HAS SOUS 29623 HAS SOUPS 29623 WITH SCORE 29669.612
AT ITER 2763 NEW BEST:: SOT 117850 SOS 46581 HAS SOPS 46581 HAS SOUS 29592 HAS SOUPS 29592 WITH SCORE 29638.581
AT ITER 2794 NEW BEST:: SOT 117824 SOS 46564 HAS SOPS 46564 HAS SOUS 29558 HAS SOUPS 29558 WITH SCORE 29604.564
AT ITER 2818 NEW BEST:: SOT 117840 SOS 46596 HAS SOPS 46596 HAS SOUS 29553 HAS SOUPS 29553 WITH SCORE 29599.596
AT ITER 2821 NEW BEST:: SOT 117770 SOS 46526 HAS SOPS 46526 HAS SOUS 29483 HAS SOUPS 29483 WITH SCORE 29529.526
AT ITER 2839 NEW BEST:: SOT 117685 SOS 46547 HAS SOPS 46547 HAS SOUS 29324 HAS SOUPS 29324 WITH SCORE 29370.547
AT ITER 2872 NEW BEST:: SOT 117685 SOS 46547 HAS SOPS 46547 HAS SOUS 29307 HAS SOUPS 29307 WITH SCORE 29353.547
AT ITER 2878 NEW BEST:: SOT 117685 SOS 46507 HAS SOPS 46507 HAS SOUS 29267 HAS SOUPS 29267 WITH SCORE 29313.507
AT ITER 2892 NEW BEST:: SOT 117682 SOS 46509 HAS SOPS 46509 HAS SOUS 29264 HAS SOUPS 29264 WITH SCORE 29310.509
AT ITER 2894 NEW BEST:: SOT 117684 SOS 46496 HAS SOPS 46496 HAS SOUS 29238 HAS SOUPS 29238 WITH SCORE 29284.496
AT ITER 2895 NEW BEST:: SOT 117617 SOS 46434 HAS SOPS 46434 HAS SOUS 29176 HAS SOUPS 29176 WITH SCORE 29222.434
AT ITER 2899 NEW BEST:: SOT 117617 SOS 46434 HAS SOPS 46434 HAS SOUS 29159 HAS SOUPS 29159 WITH SCORE 29205.434
AT ITER 2911 NEW BEST:: SOT 117614 SOS 46346 HAS SOPS 46346 HAS SOUS 29153 HAS SOUPS 29153 WITH SCORE 29199.346
AT ITER 2924 NEW BEST:: SOT 117608 SOS 46346 HAS SOPS 46346 HAS SOUS 29147 HAS SOUPS 29147 WITH SCORE 29193.346
AT ITER 2925 NEW BEST:: SOT 117573 SOS 46333 HAS SOPS 46333 HAS SOUS 29134 HAS SOUPS 29134 WITH SCORE 29180.333
AT ITER 2933 NEW BEST:: SOT 117573 SOS 46332 HAS SOPS 46332 HAS SOUS 29134 HAS SOUPS 29134 WITH SCORE 29180.332
AT ITER 2934 NEW BEST:: SOT 117570 SOS 46325 HAS SOPS 46325 HAS SOUS 29128 HAS SOUPS 29128 WITH SCORE 29174.325
AT ITER 2964 NEW BEST:: SOT 117544 SOS 46273 HAS SOPS 46273 HAS SOUS 29076 HAS SOUPS 29076 WITH SCORE 29122.273
AT ITER 2993 NEW BEST:: SOT 117543 SOS 46366 HAS SOPS 46366 HAS SOUS 29074 HAS SOUPS 29074 WITH SCORE 29120.366
AT ITER 3014 NEW BEST:: SOT 117543 SOS 46386 HAS SOPS 46386 HAS SOUS 29072 HAS SOUPS 29072 WITH SCORE 29118.386
AT ITER 3022 NEW BEST:: SOT 117541 SOS 46382 HAS SOPS 46382 HAS SOUS 29070 HAS SOUPS 29070 WITH SCORE 29116.382
AT ITER 3023 NEW BEST:: SOT 117534 SOS 46368 HAS SOPS 46368 HAS SOUS 29059 HAS SOUPS 29059 WITH SCORE 29105.368
AT ITER 3032 NEW BEST:: SOT 117459 SOS 46076 HAS SOPS 46076 HAS SOUS 28767 HAS SOUPS 28767 WITH SCORE 28813.076
AT ITER 3051 NEW BEST:: SOT 117453 SOS 46021 HAS SOPS 46021 HAS SOUS 28755 HAS SOUPS 28755 WITH SCORE 28801.021
AT ITER 3057 NEW BEST:: SOT 117448 SOS 46011 HAS SOPS 46011 HAS SOUS 28745 HAS SOUPS 28745 WITH SCORE 28791.011
AT ITER 3072 NEW BEST:: SOT 117448 SOS 45953 HAS SOPS 45953 HAS SOUS 28745 HAS SOUPS 28745 WITH SCORE 28790.953
AT ITER 3113 NEW BEST:: SOT 117222 SOS 45544 HAS SOPS 45544 HAS SOUS 28636 HAS SOUPS 28636 WITH SCORE 28681.544
AT ITER 3115 NEW BEST:: SOT 117190 SOS 45512 HAS SOPS 45512 HAS SOUS 28604 HAS SOUPS 28604 WITH SCORE 28649.512
AT ITER 3117 NEW BEST:: SOT 117127 SOS 45449 HAS SOPS 45449 HAS SOUS 28541 HAS SOUPS 28541 WITH SCORE 28586.449
AT ITER 3127 NEW BEST:: SOT 117125 SOS 45445 HAS SOPS 45445 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28582.445
AT ITER 3132 NEW BEST:: SOT 117120 SOS 45491 HAS SOPS 45491 HAS SOUS 28527 HAS SOUPS 28527 WITH SCORE 28572.491
AT ITER 3162 NEW BEST:: SOT 117119 SOS 45489 HAS SOPS 45489 HAS SOUS 28525 HAS SOUPS 28525 WITH SCORE 28570.489
AT ITER 3191 NEW BEST:: SOT 117117 SOS 45481 HAS SOPS 45481 HAS SOUS 28521 HAS SOUPS 28521 WITH SCORE 28566.481
AT ITER 3196 NEW BEST:: SOT 117111 SOS 45469 HAS SOPS 45469 HAS SOUS 28513 HAS SOUPS 28513 WITH SCORE 28558.469
AT ITER 3214 NEW BEST:: SOT 117106 SOS 45440 HAS SOPS 45440 HAS SOUS 28484 HAS SOUPS 28484 WITH SCORE 28529.44
AT ITER 3228 NEW BEST:: SOT 117090 SOS 45424 HAS SOPS 45424 HAS SOUS 28468 HAS SOUPS 28468 WITH SCORE 28513.424
AT ITER 3259 NEW BEST:: SOT 117057 SOS 45292 HAS SOPS 45292 HAS SOUS 28402 HAS SOUPS 28402 WITH SCORE 28447.292
AT ITER 3271 NEW BEST:: SOT 117027 SOS 45247 HAS SOPS 45247 HAS SOUS 28372 HAS SOUPS 28372 WITH SCORE 28417.247
AT ITER 3310 NEW BEST:: SOT 117027 SOS 45239 HAS SOPS 45239 HAS SOUS 28372 HAS SOUPS 28372 WITH SCORE 28417.239
AT ITER 3322 NEW BEST:: SOT 117010 SOS 45205 HAS SOPS 45205 HAS SOUS 28338 HAS SOUPS 28338 WITH SCORE 28383.205
AT ITER 3332 NEW BEST:: SOT 116932 SOS 45145 HAS SOPS 45145 HAS SOUS 28278 HAS SOUPS 28278 WITH SCORE 28323.145
AT ITER 3341 NEW BEST:: SOT 116898 SOS 45020 HAS SOPS 45020 HAS SOUS 28205 HAS SOUPS 28205 WITH SCORE 28250.02
AT ITER 3346 NEW BEST:: SOT 116851 SOS 44973 HAS SOPS 44973 HAS SOUS 28167 HAS SOUPS 28167 WITH SCORE 28211.973
AT ITER 3354 NEW BEST:: SOT 116851 SOS 44972 HAS SOPS 44972 HAS SOUS 28156 HAS SOUPS 28156 WITH SCORE 28200.972
AT ITER 3357 NEW BEST:: SOT 116850 SOS 44970 HAS SOPS 44970 HAS SOUS 28153 HAS SOUPS 28153 WITH SCORE 28197.97
AT ITER 3373 NEW BEST:: SOT 116850 SOS 44937 HAS SOPS 44937 HAS SOUS 28153 HAS SOUPS 28153 WITH SCORE 28197.937
AT ITER 3380 NEW BEST:: SOT 116840 SOS 44936 HAS SOPS 44936 HAS SOUS 28140 HAS SOUPS 28140 WITH SCORE 28184.936
AT ITER 3397 NEW BEST:: SOT 116837 SOS 44935 HAS SOPS 44935 HAS SOUS 28139 HAS SOUPS 28139 WITH SCORE 28183.935
AT ITER 3413 NEW BEST:: SOT 116837 SOS 44918 HAS SOPS 44918 HAS SOUS 28139 HAS SOUPS 28139 WITH SCORE 28183.918
AT ITER 3414 NEW BEST:: SOT 116834 SOS 44931 HAS SOPS 44931 HAS SOUS 28136 HAS SOUPS 28136 WITH SCORE 28180.931
AT ITER 3417 NEW BEST:: SOT 116800 SOS 44863 HAS SOPS 44863 HAS SOUS 28100 HAS SOUPS 28100 WITH SCORE 28144.863
AT ITER 3423 NEW BEST:: SOT 116793 SOS 44856 HAS SOPS 44856 HAS SOUS 28086 HAS SOUPS 28086 WITH SCORE 28130.856
AT ITER 3465 NEW BEST:: SOT 116781 SOS 44820 HAS SOPS 44820 HAS SOUS 28040 HAS SOUPS 28040 WITH SCORE 28084.82
AT ITER 3483 NEW BEST:: SOT 116779 SOS 44816 HAS SOPS 44816 HAS SOUS 28036 HAS SOUPS 28036 WITH SCORE 28080.816
AT ITER 3498 NEW BEST:: SOT 116785 SOS 44806 HAS SOPS 44806 HAS SOUS 28036 HAS SOUPS 28036 WITH SCORE 28080.806
AT ITER 3499 NEW BEST:: SOT 116767 SOS 44788 HAS SOPS 44788 HAS SOUS 28018 HAS SOUPS 28018 WITH SCORE 28062.788
AT ITER 3505 NEW BEST:: SOT 116732 SOS 44718 HAS SOPS 44718 HAS SOUS 27948 HAS SOUPS 27948 WITH SCORE 27992.718
AT ITER 3508 NEW BEST:: SOT 116786 SOS 44710 HAS SOPS 44710 HAS SOUS 27940 HAS SOUPS 27940 WITH SCORE 27984.71
AT ITER 3524 NEW BEST:: SOT 116786 SOS 44688 HAS SOPS 44688 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27962.688
AT ITER 3536 NEW BEST:: SOT 116779 SOS 44687 HAS SOPS 44687 HAS SOUS 27911 HAS SOUPS 27911 WITH SCORE 27955.687
AT ITER 3552 NEW BEST:: SOT 116742 SOS 44685 HAS SOPS 44685 HAS SOUS 27909 HAS SOUPS 27909 WITH SCORE 27953.685
AT ITER 3567 NEW BEST:: SOT 116679 SOS 44538 HAS SOPS 44538 HAS SOUS 27783 HAS SOUPS 27783 WITH SCORE 27827.538
AT ITER 3584 NEW BEST:: SOT 116679 SOS 44538 HAS SOPS 44538 HAS SOUS 27769 HAS SOUPS 27769 WITH SCORE 27813.538
AT ITER 3598 NEW BEST:: SOT 116692 SOS 44535 HAS SOPS 44535 HAS SOUS 27753 HAS SOUPS 27753 WITH SCORE 27797.535
AT ITER 3599 NEW BEST:: SOT 116694 SOS 44589 HAS SOPS 44589 HAS SOUS 27711 HAS SOUPS 27711 WITH SCORE 27755.589
AT ITER 3603 NEW BEST:: SOT 116694 SOS 44583 HAS SOPS 44583 HAS SOUS 27705 HAS SOUPS 27705 WITH SCORE 27749.583
AT ITER 3620 NEW BEST:: SOT 116691 SOS 44579 HAS SOPS 44579 HAS SOUS 27699 HAS SOUPS 27699 WITH SCORE 27743.579
AT ITER 3627 NEW BEST:: SOT 116669 SOS 44535 HAS SOPS 44535 HAS SOUS 27655 HAS SOUPS 27655 WITH SCORE 27699.535
AT ITER 3656 NEW BEST:: SOT 116464 SOS 47518 HAS SOPS 47518 HAS SOUS 27623 HAS SOUPS 27623 WITH SCORE 27670.518
AT ITER 3680 NEW BEST:: SOT 116464 SOS 47518 HAS SOPS 47518 HAS SOUS 27610 HAS SOUPS 27610 WITH SCORE 27657.518
AT ITER 3683 NEW BEST:: SOT 116445 SOS 47563 HAS SOPS 47563 HAS SOUS 27572 HAS SOUPS 27572 WITH SCORE 27619.563
AT ITER 3698 NEW BEST:: SOT 116445 SOS 47547 HAS SOPS 47547 HAS SOUS 27556 HAS SOUPS 27556 WITH SCORE 27603.547
AT ITER 3701 NEW BEST:: SOT 116437 SOS 47542 HAS SOPS 47542 HAS SOUS 27551 HAS SOUPS 27551 WITH SCORE 27598.542
AT ITER 3707 NEW BEST:: SOT 116417 SOS 47510 HAS SOPS 47510 HAS SOUS 27513 HAS SOUPS 27513 WITH SCORE 27560.51
AT ITER 3713 NEW BEST:: SOT 116469 SOS 47556 HAS SOPS 47556 HAS SOUS 27499 HAS SOUPS 27499 WITH SCORE 27546.556
AT ITER 3716 NEW BEST:: SOT 116468 SOS 47554 HAS SOPS 47554 HAS SOUS 27497 HAS SOUPS 27497 WITH SCORE 27544.554
AT ITER 3720 NEW BEST:: SOT 116502 SOS 47537 HAS SOPS 47537 HAS SOUS 27495 HAS SOUPS 27495 WITH SCORE 27542.537
AT ITER 3740 NEW BEST:: SOT 116335 SOS 47361 HAS SOPS 47361 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27333.361
AT ITER 3757 NEW BEST:: SOT 116309 SOS 47309 HAS SOPS 47309 HAS SOUS 27250 HAS SOUPS 27250 WITH SCORE 27297.309
AT ITER 3759 NEW BEST:: SOT 116258 SOS 47207 HAS SOPS 47207 HAS SOUS 27188 HAS SOUPS 27188 WITH SCORE 27235.207
AT ITER 3760 NEW BEST:: SOT 116247 SOS 47196 HAS SOPS 47196 HAS SOUS 27166 HAS SOUPS 27166 WITH SCORE 27213.196
AT ITER 3764 NEW BEST:: SOT 116104 SOS 46944 HAS SOPS 46944 HAS SOUS 27029 HAS SOUPS 27029 WITH SCORE 27075.944
AT ITER 3781 NEW BEST:: SOT 116100 SOS 46873 HAS SOPS 46873 HAS SOUS 27025 HAS SOUPS 27025 WITH SCORE 27071.873
AT ITER 3787 NEW BEST:: SOT 116068 SOS 46881 HAS SOPS 46881 HAS SOUS 26997 HAS SOUPS 26997 WITH SCORE 27043.881
AT ITER 3793 NEW BEST:: SOT 116065 SOS 46875 HAS SOPS 46875 HAS SOUS 26991 HAS SOUPS 26991 WITH SCORE 27037.875
AT ITER 3834 NEW BEST:: SOT 116070 SOS 46880 HAS SOPS 46880 HAS SOUS 26967 HAS SOUPS 26967 WITH SCORE 27013.88
AT ITER 3840 NEW BEST:: SOT 116017 SOS 46877 HAS SOPS 46877 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27011.877
AT ITER 3855 NEW BEST:: SOT 116017 SOS 46847 HAS SOPS 46847 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27011.847
AT ITER 3868 NEW BEST:: SOT 116041 SOS 46824 HAS SOPS 46824 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26968.824
AT ITER 3889 NEW BEST:: SOT 116041 SOS 46780 HAS SOPS 46780 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26968.78
AT ITER 3926 NEW BEST:: SOT 116023 SOS 46763 HAS SOPS 46763 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26956.763
AT ITER 3933 NEW BEST:: SOT 116014 SOS 46764 HAS SOPS 46764 HAS SOUS 26882 HAS SOUPS 26882 WITH SCORE 26928.764
AT ITER 3937 NEW BEST:: SOT 116008 SOS 46752 HAS SOPS 46752 HAS SOUS 26870 HAS SOUPS 26870 WITH SCORE 26916.752
AT ITER 3945 NEW BEST:: SOT 116008 SOS 46665 HAS SOPS 46665 HAS SOUS 26870 HAS SOUPS 26870 WITH SCORE 26916.665
AT ITER 3949 NEW BEST:: SOT 115991 SOS 46631 HAS SOPS 46631 HAS SOUS 26819 HAS SOUPS 26819 WITH SCORE 26865.631
AT ITER 3970 NEW BEST:: SOT 115950 SOS 46549 HAS SOPS 46549 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26847.549
AT ITER 3972 NEW BEST:: SOT 115907 SOS 46306 HAS SOPS 46306 HAS SOUS 26737 HAS SOUPS 26737 WITH SCORE 26783.306
AT ITER 3979 NEW BEST:: SOT 115900 SOS 46286 HAS SOPS 46286 HAS SOUS 26723 HAS SOUPS 26723 WITH SCORE 26769.286
AT ITER 4001 NEW BEST:: SOT 115857 SOS 46255 HAS SOPS 46255 HAS SOUS 26637 HAS SOUPS 26637 WITH SCORE 26683.255
AT ITER 4009 NEW BEST:: SOT 115843 SOS 46185 HAS SOPS 46185 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26655.185
AT ITER 4015 NEW BEST:: SOT 115828 SOS 46235 HAS SOPS 46235 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26642.235
AT ITER 4026 NEW BEST:: SOT 115819 SOS 46204 HAS SOPS 46204 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26624.204
AT ITER 4035 NEW BEST:: SOT 115819 SOS 46200 HAS SOPS 46200 HAS SOUS 26574 HAS SOUPS 26574 WITH SCORE 26620.2
AT ITER 4048 NEW BEST:: SOT 115811 SOS 46184 HAS SOPS 46184 HAS SOUS 26532 HAS SOUPS 26532 WITH SCORE 26578.184
AT ITER 4057 NEW BEST:: SOT 115637 SOS 46073 HAS SOPS 46073 HAS SOUS 26363 HAS SOUPS 26363 WITH SCORE 26409.073
AT ITER 4097 NEW BEST:: SOT 115638 SOS 46048 HAS SOPS 46048 HAS SOUS 26359 HAS SOUPS 26359 WITH SCORE 26405.048
AT ITER 4126 NEW BEST:: SOT 115575 SOS 45962 HAS SOPS 45962 HAS SOUS 26260 HAS SOUPS 26260 WITH SCORE 26305.962
AT ITER 4135 NEW BEST:: SOT 115545 SOS 45932 HAS SOPS 45932 HAS SOUS 26251 HAS SOUPS 26251 WITH SCORE 26296.932
AT ITER 4181 NEW BEST:: SOT 115508 SOS 45900 HAS SOPS 45900 HAS SOUS 26235 HAS SOUPS 26235 WITH SCORE 26280.9
AT ITER 4187 NEW BEST:: SOT 115485 SOS 45854 HAS SOPS 45854 HAS SOUS 26209 HAS SOUPS 26209 WITH SCORE 26254.854
AT ITER 4226 NEW BEST:: SOT 115481 SOS 45856 HAS SOPS 45856 HAS SOUS 26205 HAS SOUPS 26205 WITH SCORE 26250.856
AT ITER 4233 NEW BEST:: SOT 115475 SOS 45850 HAS SOPS 45850 HAS SOUS 26193 HAS SOUPS 26193 WITH SCORE 26238.85
AT ITER 4254 NEW BEST:: SOT 115398 SOS 45773 HAS SOPS 45773 HAS SOUS 26116 HAS SOUPS 26116 WITH SCORE 26161.773
AT ITER 4278 NEW BEST:: SOT 115363 SOS 45748 HAS SOPS 45748 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26116.748
AT ITER 4292 NEW BEST:: SOT 115342 SOS 45701 HAS SOPS 45701 HAS SOUS 26021 HAS SOUPS 26021 WITH SCORE 26066.701
AT ITER 4294 NEW BEST:: SOT 115321 SOS 45659 HAS SOPS 45659 HAS SOUS 25972 HAS SOUPS 25972 WITH SCORE 26017.659
AT ITER 4299 NEW BEST:: SOT 115321 SOS 45667 HAS SOPS 45667 HAS SOUS 25964 HAS SOUPS 25964 WITH SCORE 26009.667
AT ITER 4313 NEW BEST:: SOT 115308 SOS 45653 HAS SOPS 45653 HAS SOUS 25939 HAS SOUPS 25939 WITH SCORE 25984.653
AT ITER 4331 NEW BEST:: SOT 115297 SOS 45642 HAS SOPS 45642 HAS SOUS 25928 HAS SOUPS 25928 WITH SCORE 25973.642
AT ITER 4334 NEW BEST:: SOT 115286 SOS 45620 HAS SOPS 45620 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25951.62
AT ITER 4344 NEW BEST:: SOT 115285 SOS 45618 HAS SOPS 45618 HAS SOUS 25905 HAS SOUPS 25905 WITH SCORE 25950.618
AT ITER 4353 NEW BEST:: SOT 115269 SOS 45612 HAS SOPS 45612 HAS SOUS 25889 HAS SOUPS 25889 WITH SCORE 25934.612
AT ITER 4354 NEW BEST:: SOT 115286 SOS 45595 HAS SOPS 45595 HAS SOUS 25872 HAS SOUPS 25872 WITH SCORE 25917.595
AT ITER 4360 NEW BEST:: SOT 115266 SOS 45575 HAS SOPS 45575 HAS SOUS 25865 HAS SOUPS 25865 WITH SCORE 25910.575
AT ITER 4440 NEW BEST:: SOT 115266 SOS 45575 HAS SOPS 45575 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 25896.575
AT ITER 4453 NEW BEST:: SOT 115266 SOS 45565 HAS SOPS 45565 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 25896.565
AT ITER 4454 NEW BEST:: SOT 115279 SOS 45591 HAS SOPS 45591 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25890.591
AT ITER 4464 NEW BEST:: SOT 115268 SOS 45569 HAS SOPS 45569 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25879.569
AT ITER 4473 NEW BEST:: SOT 115268 SOS 45470 HAS SOPS 45470 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25879.47
AT ITER 4478 NEW BEST:: SOT 115268 SOS 45453 HAS SOPS 45453 HAS SOUS 25817 HAS SOUPS 25817 WITH SCORE 25862.453
AT ITER 4505 NEW BEST:: SOT 115278 SOS 45439 HAS SOPS 45439 HAS SOUS 25808 HAS SOUPS 25808 WITH SCORE 25853.439
AT ITER 4508 NEW BEST:: SOT 115210 SOS 45339 HAS SOPS 45339 HAS SOUS 25747 HAS SOUPS 25747 WITH SCORE 25792.339
AT ITER 4530 NEW BEST:: SOT 115186 SOS 45325 HAS SOPS 45325 HAS SOUS 25733 HAS SOUPS 25733 WITH SCORE 25778.325
AT ITER 4533 NEW BEST:: SOT 115184 SOS 45321 HAS SOPS 45321 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25774.321
AT ITER 4551 NEW BEST:: SOT 115173 SOS 45320 HAS SOPS 45320 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25763.32
AT ITER 4558 NEW BEST:: SOT 115165 SOS 45296 HAS SOPS 45296 HAS SOUS 25694 HAS SOUPS 25694 WITH SCORE 25739.296
AT ITER 4560 NEW BEST:: SOT 115171 SOS 45303 HAS SOPS 45303 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25729.303
AT ITER 4562 NEW BEST:: SOT 115171 SOS 45303 HAS SOPS 45303 HAS SOUS 25675 HAS SOUPS 25675 WITH SCORE 25720.303
AT ITER 4564 NEW BEST:: SOT 115171 SOS 45303 HAS SOPS 45303 HAS SOUS 25674 HAS SOUPS 25674 WITH SCORE 25719.303
AT ITER 4587 NEW BEST:: SOT 115162 SOS 45294 HAS SOPS 45294 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 25710.294
AT ITER 4592 NEW BEST:: SOT 115158 SOS 45277 HAS SOPS 45277 HAS SOUS 25661 HAS SOUPS 25661 WITH SCORE 25706.277
AT ITER 4594 NEW BEST:: SOT 115162 SOS 45276 HAS SOPS 45276 HAS SOUS 25660 HAS SOUPS 25660 WITH SCORE 25705.276
AT ITER 4599 NEW BEST:: SOT 115161 SOS 45186 HAS SOPS 45186 HAS SOUS 25658 HAS SOUPS 25658 WITH SCORE 25703.186
AT ITER 4623 NEW BEST:: SOT 115166 SOS 45196 HAS SOPS 45196 HAS SOUS 25657 HAS SOUPS 25657 WITH SCORE 25702.196
AT ITER 4633 NEW BEST:: SOT 115162 SOS 45123 HAS SOPS 45123 HAS SOUS 25625 HAS SOUPS 25625 WITH SCORE 25670.123
AT ITER 4654 NEW BEST:: SOT 115085 SOS 45037 HAS SOPS 45037 HAS SOUS 25539 HAS SOUPS 25539 WITH SCORE 25584.037
AT ITER 4671 NEW BEST:: SOT 115070 SOS 45037 HAS SOPS 45037 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25569.037
AT ITER 4705 NEW BEST:: SOT 115063 SOS 45023 HAS SOPS 45023 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25555.023
AT ITER 4706 NEW BEST:: SOT 115053 SOS 44995 HAS SOPS 44995 HAS SOUS 25491 HAS SOUPS 25491 WITH SCORE 25535.995
AT ITER 4709 NEW BEST:: SOT 115043 SOS 44985 HAS SOPS 44985 HAS SOUS 25481 HAS SOUPS 25481 WITH SCORE 25525.985
AT ITER 4775 NEW BEST:: SOT 115040 SOS 44979 HAS SOPS 44979 HAS SOUS 25475 HAS SOUPS 25475 WITH SCORE 25519.979
AT ITER 4825 NEW BEST:: SOT 115036 SOS 43274 HAS SOPS 43274 HAS SOUS 25423 HAS SOUPS 25423 WITH SCORE 25466.274
AT ITER 4834 NEW BEST:: SOT 115036 SOS 43259 HAS SOPS 43259 HAS SOUS 25408 HAS SOUPS 25408 WITH SCORE 25451.259
AT ITER 4841 NEW BEST:: SOT 115033 SOS 43219 HAS SOPS 43219 HAS SOUS 25402 HAS SOUPS 25402 WITH SCORE 25445.219
AT ITER 4848 NEW BEST:: SOT 115031 SOS 43217 HAS SOPS 43217 HAS SOUS 25398 HAS SOUPS 25398 WITH SCORE 25441.217
AT ITER 4851 NEW BEST:: SOT 115020 SOS 43206 HAS SOPS 43206 HAS SOUS 25382 HAS SOUPS 25382 WITH SCORE 25425.206
AT ITER 4861 NEW BEST:: SOT 115015 SOS 43201 HAS SOPS 43201 HAS SOUS 25372 HAS SOUPS 25372 WITH SCORE 25415.201
AT ITER 4862 NEW BEST:: SOT 114927 SOS 43113 HAS SOPS 43113 HAS SOUS 25352 HAS SOUPS 25352 WITH SCORE 25395.113
AT ITER 4864 NEW BEST:: SOT 114905 SOS 43069 HAS SOPS 43069 HAS SOUS 25330 HAS SOUPS 25330 WITH SCORE 25373.069
AT ITER 4875 NEW BEST:: SOT 114930 SOS 41532 HAS SOPS 41532 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25332.532
AT ITER 4879 NEW BEST:: SOT 114939 SOS 41518 HAS SOPS 41518 HAS SOUS 25277 HAS SOUPS 25277 WITH SCORE 25318.518
AT ITER 4885 NEW BEST:: SOT 114939 SOS 41501 HAS SOPS 41501 HAS SOUS 25277 HAS SOUPS 25277 WITH SCORE 25318.501
AT ITER 4894 NEW BEST:: SOT 114937 SOS 41452 HAS SOPS 41452 HAS SOUS 25237 HAS SOUPS 25237 WITH SCORE 25278.452
AT ITER 4901 NEW BEST:: SOT 114934 SOS 41455 HAS SOPS 41455 HAS SOUS 25231 HAS SOUPS 25231 WITH SCORE 25272.455
AT ITER 4933 NEW BEST:: SOT 114885 SOS 41181 HAS SOPS 41181 HAS SOUS 25094 HAS SOUPS 25094 WITH SCORE 25135.181
AT ITER 4957 NEW BEST:: SOT 114880 SOS 41170 HAS SOPS 41170 HAS SOUS 25089 HAS SOUPS 25089 WITH SCORE 25130.17
AT ITER 4961 NEW BEST:: SOT 114851 SOS 41159 HAS SOPS 41159 HAS SOUS 25078 HAS SOUPS 25078 WITH SCORE 25119.159
AT ITER 5056 NEW BEST:: SOT 114809 SOS 41128 HAS SOPS 41128 HAS SOUS 25047 HAS SOUPS 25047 WITH SCORE 25088.128
AT ITER 5059 NEW BEST:: SOT 114773 SOS 41092 HAS SOPS 41092 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25076.092
AT ITER 5123 NEW BEST:: SOT 114778 SOS 41097 HAS SOPS 41097 HAS SOUS 25031 HAS SOUPS 25031 WITH SCORE 25072.097
AT ITER 5124 NEW BEST:: SOT 114778 SOS 41058 HAS SOPS 41058 HAS SOUS 25031 HAS SOUPS 25031 WITH SCORE 25072.058
AT ITER 5157 NEW BEST:: SOT 114779 SOS 41049 HAS SOPS 41049 HAS SOUS 25021 HAS SOUPS 25021 WITH SCORE 25062.049
AT ITER 5178 NEW BEST:: SOT 114779 SOS 41105 HAS SOPS 41105 HAS SOUS 25013 HAS SOUPS 25013 WITH SCORE 25054.105
AT ITER 5189 NEW BEST:: SOT 114778 SOS 41104 HAS SOPS 41104 HAS SOUS 25012 HAS SOUPS 25012 WITH SCORE 25053.104
AT ITER 5190 NEW BEST:: SOT 114698 SOS 41032 HAS SOPS 41032 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 24981.032
AT ITER 5192 NEW BEST:: SOT 114669 SOS 41093 HAS SOPS 41093 HAS SOUS 24882 HAS SOUPS 24882 WITH SCORE 24923.093
AT ITER 5268 NEW BEST:: SOT 114654 SOS 41078 HAS SOPS 41078 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24908.078
AT ITER 5272 NEW BEST:: SOT 114648 SOS 41066 HAS SOPS 41066 HAS SOUS 24855 HAS SOUPS 24855 WITH SCORE 24896.066
AT ITER 5285 NEW BEST:: SOT 114637 SOS 41046 HAS SOPS 41046 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24876.046
AT ITER 5351 NEW BEST:: SOT 114637 SOS 40962 HAS SOPS 40962 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24875.962
AT ITER 5354 NEW BEST:: SOT 114637 SOS 40962 HAS SOPS 40962 HAS SOUS 24809 HAS SOUPS 24809 WITH SCORE 24849.962
AT ITER 5384 NEW BEST:: SOT 114637 SOS 40962 HAS SOPS 40962 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24774.962
AT ITER 5387 NEW BEST:: SOT 114612 SOS 40912 HAS SOPS 40912 HAS SOUS 24695 HAS SOUPS 24695 WITH SCORE 24735.912
AT ITER 5413 NEW BEST:: SOT 114615 SOS 40927 HAS SOPS 40927 HAS SOUS 24689 HAS SOUPS 24689 WITH SCORE 24729.927
AT ITER 5426 NEW BEST:: SOT 114615 SOS 40927 HAS SOPS 40927 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24715.927
AT ITER 5449 NEW BEST:: SOT 114629 SOS 40900 HAS SOPS 40900 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24668.9
AT ITER 5454 NEW BEST:: SOT 114629 SOS 40900 HAS SOPS 40900 HAS SOUS 24626 HAS SOUPS 24626 WITH SCORE 24666.9
AT ITER 5458 NEW BEST:: SOT 114621 SOS 40892 HAS SOPS 40892 HAS SOUS 24618 HAS SOUPS 24618 WITH SCORE 24658.892
AT ITER 5469 NEW BEST:: SOT 114572 SOS 40833 HAS SOPS 40833 HAS SOUS 24598 HAS SOUPS 24598 WITH SCORE 24638.833
AT ITER 5472 NEW BEST:: SOT 114601 SOS 40805 HAS SOPS 40805 HAS SOUS 24570 HAS SOUPS 24570 WITH SCORE 24610.805
AT ITER 5484 NEW BEST:: SOT 114598 SOS 40799 HAS SOPS 40799 HAS SOUS 24564 HAS SOUPS 24564 WITH SCORE 24604.799
AT ITER 5525 NEW BEST:: SOT 114585 SOS 40773 HAS SOPS 40773 HAS SOUS 24538 HAS SOUPS 24538 WITH SCORE 24578.773
AT ITER 5541 NEW BEST:: SOT 114518 SOS 40725 HAS SOPS 40725 HAS SOUS 24509 HAS SOUPS 24509 WITH SCORE 24549.725
AT ITER 5544 NEW BEST:: SOT 114456 SOS 40630 HAS SOPS 40630 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24483.63
AT ITER 5548 NEW BEST:: SOT 114432 SOS 40627 HAS SOPS 40627 HAS SOUS 24374 HAS SOUPS 24374 WITH SCORE 24414.627
AT ITER 5576 NEW BEST:: SOT 114419 SOS 40598 HAS SOPS 40598 HAS SOUS 24348 HAS SOUPS 24348 WITH SCORE 24388.598
AT ITER 5584 NEW BEST:: SOT 114418 SOS 40544 HAS SOPS 40544 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24383.544
AT ITER 5592 NEW BEST:: SOT 114425 SOS 40522 HAS SOPS 40522 HAS SOUS 24335 HAS SOUPS 24335 WITH SCORE 24375.522
AT ITER 5598 NEW BEST:: SOT 114417 SOS 40514 HAS SOPS 40514 HAS SOUS 24327 HAS SOUPS 24327 WITH SCORE 24367.514
AT ITER 5600 NEW BEST:: SOT 114417 SOS 40497 HAS SOPS 40497 HAS SOUS 24310 HAS SOUPS 24310 WITH SCORE 24350.497
AT ITER 5644 NEW BEST:: SOT 114422 SOS 40515 HAS SOPS 40515 HAS SOUS 24307 HAS SOUPS 24307 WITH SCORE 24347.515
AT ITER 5649 NEW BEST:: SOT 114486 SOS 40567 HAS SOPS 40567 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24346.567
AT ITER 5707 NEW BEST:: SOT 114461 SOS 40517 HAS SOPS 40517 HAS SOUS 24247 HAS SOUPS 24247 WITH SCORE 24287.517
AT ITER 5709 NEW BEST:: SOT 114461 SOS 40514 HAS SOPS 40514 HAS SOUS 24247 HAS SOUPS 24247 WITH SCORE 24287.514
AT ITER 5714 NEW BEST:: SOT 114460 SOS 40512 HAS SOPS 40512 HAS SOUS 24245 HAS SOUPS 24245 WITH SCORE 24285.512
AT ITER 5728 NEW BEST:: SOT 114416 SOS 40468 HAS SOPS 40468 HAS SOUS 24157 HAS SOUPS 24157 WITH SCORE 24197.468
AT ITER 5765 NEW BEST:: SOT 114446 SOS 40479 HAS SOPS 40479 HAS SOUS 24129 HAS SOUPS 24129 WITH SCORE 24169.479
AT ITER 5785 NEW BEST:: SOT 114450 SOS 40454 HAS SOPS 40454 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24144.454
AT ITER 5786 NEW BEST:: SOT 114430 SOS 40447 HAS SOPS 40447 HAS SOUS 24066 HAS SOUPS 24066 WITH SCORE 24106.447
AT ITER 5793 NEW BEST:: SOT 114475 SOS 40408 HAS SOPS 40408 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24102.408
AT ITER 5823 NEW BEST:: SOT 114445 SOS 41085 HAS SOPS 41085 HAS SOUS 24048 HAS SOUPS 24048 WITH SCORE 24089.085
AT ITER 5832 NEW BEST:: SOT 114434 SOS 41074 HAS SOPS 41074 HAS SOUS 24048 HAS SOUPS 24048 WITH SCORE 24089.074
AT ITER 5844 NEW BEST:: SOT 114434 SOS 41061 HAS SOPS 41061 HAS SOUS 24022 HAS SOUPS 24022 WITH SCORE 24063.061
AT ITER 5867 NEW BEST:: SOT 114419 SOS 40980 HAS SOPS 40980 HAS SOUS 23984 HAS SOUPS 23984 WITH SCORE 24024.98
AT ITER 5876 NEW BEST:: SOT 114413 SOS 40974 HAS SOPS 40974 HAS SOUS 23970 HAS SOUPS 23970 WITH SCORE 24010.974
AT ITER 5877 NEW BEST:: SOT 114398 SOS 40969 HAS SOPS 40969 HAS SOUS 23965 HAS SOUPS 23965 WITH SCORE 24005.969
AT ITER 5879 NEW BEST:: SOT 114377 SOS 41010 HAS SOPS 41010 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 23964.01
AT ITER 5884 NEW BEST:: SOT 114353 SOS 40986 HAS SOPS 40986 HAS SOUS 23899 HAS SOUPS 23899 WITH SCORE 23939.986
AT ITER 5891 NEW BEST:: SOT 114352 SOS 40982 HAS SOPS 40982 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23915.982
AT ITER 5923 NEW BEST:: SOT 114352 SOS 40950 HAS SOPS 40950 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23915.95
AT ITER 5925 NEW BEST:: SOT 114352 SOS 40877 HAS SOPS 40877 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23915.877
AT ITER 5953 NEW BEST:: SOT 114350 SOS 40873 HAS SOPS 40873 HAS SOUS 23873 HAS SOUPS 23873 WITH SCORE 23913.873
AT ITER 5958 NEW BEST:: SOT 114312 SOS 40797 HAS SOPS 40797 HAS SOUS 23829 HAS SOUPS 23829 WITH SCORE 23869.797
AT ITER 5964 NEW BEST:: SOT 114312 SOS 40780 HAS SOPS 40780 HAS SOUS 23812 HAS SOUPS 23812 WITH SCORE 23852.78
AT ITER 5982 NEW BEST:: SOT 114275 SOS 40690 HAS SOPS 40690 HAS SOUS 23774 HAS SOUPS 23774 WITH SCORE 23814.69
AT ITER 5993 NEW BEST:: SOT 114268 SOS 40676 HAS SOPS 40676 HAS SOUS 23767 HAS SOUPS 23767 WITH SCORE 23807.676
AT ITER 6010 NEW BEST:: SOT 114269 SOS 40677 HAS SOPS 40677 HAS SOUS 23753 HAS SOUPS 23753 WITH SCORE 23793.677
AT ITER 6041 NEW BEST:: SOT 114268 SOS 40675 HAS SOPS 40675 HAS SOUS 23748 HAS SOUPS 23748 WITH SCORE 23788.675
AT ITER 6048 NEW BEST:: SOT 114247 SOS 40654 HAS SOPS 40654 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23746.654
AT ITER 6050 NEW BEST:: SOT 114280 SOS 40594 HAS SOPS 40594 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23719.594
AT ITER 6053 NEW BEST:: SOT 114277 SOS 40588 HAS SOPS 40588 HAS SOUS 23673 HAS SOUPS 23673 WITH SCORE 23713.588
AT ITER 6056 NEW BEST:: SOT 114253 SOS 40574 HAS SOPS 40574 HAS SOUS 23625 HAS SOUPS 23625 WITH SCORE 23665.574
AT ITER 6061 NEW BEST:: SOT 114225 SOS 40546 HAS SOPS 40546 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23637.546
AT ITER 6090 NEW BEST:: SOT 114225 SOS 40545 HAS SOPS 40545 HAS SOUS 23593 HAS SOUPS 23593 WITH SCORE 23633.545
AT ITER 6091 NEW BEST:: SOT 114234 SOS 40556 HAS SOPS 40556 HAS SOUS 23580 HAS SOUPS 23580 WITH SCORE 23620.556
AT ITER 6099 NEW BEST:: SOT 114233 SOS 40554 HAS SOPS 40554 HAS SOUS 23579 HAS SOUPS 23579 WITH SCORE 23619.554
AT ITER 6148 NEW BEST:: SOT 114216 SOS 40601 HAS SOPS 40601 HAS SOUS 23570 HAS SOUPS 23570 WITH SCORE 23610.601
AT ITER 6169 NEW BEST:: SOT 114209 SOS 40594 HAS SOPS 40594 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23596.594
AT ITER 6179 NEW BEST:: SOT 114203 SOS 40577 HAS SOPS 40577 HAS SOUS 23544 HAS SOUPS 23544 WITH SCORE 23584.577
AT ITER 6236 NEW BEST:: SOT 114192 SOS 40632 HAS SOPS 40632 HAS SOUS 23522 HAS SOUPS 23522 WITH SCORE 23562.632
AT ITER 6245 NEW BEST:: SOT 114164 SOS 40656 HAS SOPS 40656 HAS SOUS 23518 HAS SOUPS 23518 WITH SCORE 23558.656
AT ITER 6252 NEW BEST:: SOT 114129 SOS 40593 HAS SOPS 40593 HAS SOUS 23482 HAS SOUPS 23482 WITH SCORE 23522.593
AT ITER 6271 NEW BEST:: SOT 114134 SOS 40576 HAS SOPS 40576 HAS SOUS 23448 HAS SOUPS 23448 WITH SCORE 23488.576
AT ITER 6282 NEW BEST:: SOT 114131 SOS 40557 HAS SOPS 40557 HAS SOUS 23442 HAS SOUPS 23442 WITH SCORE 23482.557
AT ITER 6283 NEW BEST:: SOT 114131 SOS 40675 HAS SOPS 40675 HAS SOUS 23324 HAS SOUPS 23324 WITH SCORE 23364.675
AT ITER 6306 NEW BEST:: SOT 114131 SOS 40665 HAS SOPS 40665 HAS SOUS 23324 HAS SOUPS 23324 WITH SCORE 23364.665
AT ITER 6310 NEW BEST:: SOT 114126 SOS 40588 HAS SOPS 40588 HAS SOUS 23319 HAS SOUPS 23319 WITH SCORE 23359.588
AT ITER 6311 NEW BEST:: SOT 114117 SOS 40570 HAS SOPS 40570 HAS SOUS 23291 HAS SOUPS 23291 WITH SCORE 23331.57
AT ITER 6314 NEW BEST:: SOT 114099 SOS 40534 HAS SOPS 40534 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23303.534
AT ITER 6344 NEW BEST:: SOT 114086 SOS 40511 HAS SOPS 40511 HAS SOUS 23259 HAS SOUPS 23259 WITH SCORE 23299.511
AT ITER 6389 NEW BEST:: SOT 114082 SOS 40489 HAS SOPS 40489 HAS SOUS 23237 HAS SOUPS 23237 WITH SCORE 23277.489
AT ITER 6425 NEW BEST:: SOT 114082 SOS 40475 HAS SOPS 40475 HAS SOUS 23223 HAS SOUPS 23223 WITH SCORE 23263.475
AT ITER 6437 NEW BEST:: SOT 114080 SOS 40473 HAS SOPS 40473 HAS SOUS 23220 HAS SOUPS 23220 WITH SCORE 23260.473
AT ITER 6479 NEW BEST:: SOT 114072 SOS 40468 HAS SOPS 40468 HAS SOUS 23210 HAS SOUPS 23210 WITH SCORE 23250.468
AT ITER 6481 NEW BEST:: SOT 114071 SOS 40467 HAS SOPS 40467 HAS SOUS 23208 HAS SOUPS 23208 WITH SCORE 23248.467
AT ITER 6507 NEW BEST:: SOT 114052 SOS 40429 HAS SOPS 40429 HAS SOUS 23180 HAS SOUPS 23180 WITH SCORE 23220.429
AT ITER 6519 NEW BEST:: SOT 114033 SOS 40372 HAS SOPS 40372 HAS SOUS 23142 HAS SOUPS 23142 WITH SCORE 23182.372
AT ITER 6555 NEW BEST:: SOT 114029 SOS 40364 HAS SOPS 40364 HAS SOUS 23138 HAS SOUPS 23138 WITH SCORE 23178.364
AT ITER 6567 NEW BEST:: SOT 114017 SOS 40346 HAS SOPS 40346 HAS SOUS 23120 HAS SOUPS 23120 WITH SCORE 23160.346
AT ITER 6580 NEW BEST:: SOT 114006 SOS 40324 HAS SOPS 40324 HAS SOUS 23098 HAS SOUPS 23098 WITH SCORE 23138.324
AT ITER 6581 NEW BEST:: SOT 113991 SOS 40279 HAS SOPS 40279 HAS SOUS 23068 HAS SOUPS 23068 WITH SCORE 23108.279
AT ITER 6591 NEW BEST:: SOT 113974 SOS 40245 HAS SOPS 40245 HAS SOUS 23034 HAS SOUPS 23034 WITH SCORE 23074.245
AT ITER 6628 NEW BEST:: SOT 113972 SOS 40239 HAS SOPS 40239 HAS SOUS 23023 HAS SOUPS 23023 WITH SCORE 23063.239
AT ITER 6636 NEW BEST:: SOT 113957 SOS 40224 HAS SOPS 40224 HAS SOUS 22993 HAS SOUPS 22993 WITH SCORE 23033.224
AT ITER 6685 NEW BEST:: SOT 113933 SOS 40224 HAS SOPS 40224 HAS SOUS 22969 HAS SOUPS 22969 WITH SCORE 23009.224
AT ITER 6703 NEW BEST:: SOT 113922 SOS 40213 HAS SOPS 40213 HAS SOUS 22958 HAS SOUPS 22958 WITH SCORE 22998.213
AT ITER 6742 NEW BEST:: SOT 113920 SOS 40209 HAS SOPS 40209 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 22994.209
AT ITER 6759 NEW BEST:: SOT 113918 SOS 40205 HAS SOPS 40205 HAS SOUS 22944 HAS SOUPS 22944 WITH SCORE 22984.205
AT ITER 6783 NEW BEST:: SOT 113906 SOS 40150 HAS SOPS 40150 HAS SOUS 22929 HAS SOUPS 22929 WITH SCORE 22969.15
AT ITER 6830 NEW BEST:: SOT 113898 SOS 40138 HAS SOPS 40138 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22957.138
AT ITER 6834 NEW BEST:: SOT 113869 SOS 40080 HAS SOPS 40080 HAS SOUS 22888 HAS SOUPS 22888 WITH SCORE 22928.08
AT ITER 6869 NEW BEST:: SOT 113872 SOS 40086 HAS SOPS 40086 HAS SOUS 22883 HAS SOUPS 22883 WITH SCORE 22923.086
AT ITER 6881 NEW BEST:: SOT 113867 SOS 40082 HAS SOPS 40082 HAS SOUS 22878 HAS SOUPS 22878 WITH SCORE 22918.082
AT ITER 6907 NEW BEST:: SOT 113853 SOS 40068 HAS SOPS 40068 HAS SOUS 22864 HAS SOUPS 22864 WITH SCORE 22904.068
AT ITER 6929 NEW BEST:: SOT 113847 SOS 40056 HAS SOPS 40056 HAS SOUS 22858 HAS SOUPS 22858 WITH SCORE 22898.056
AT ITER 6938 NEW BEST:: SOT 113836 SOS 40045 HAS SOPS 40045 HAS SOUS 22858 HAS SOUPS 22858 WITH SCORE 22898.045
AT ITER 6978 NEW BEST:: SOT 113824 SOS 40038 HAS SOPS 40038 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22891.038
AT ITER 6996 NEW BEST:: SOT 113824 SOS 40033 HAS SOPS 40033 HAS SOUS 22846 HAS SOUPS 22846 WITH SCORE 22886.033
AT ITER 7002 NEW BEST:: SOT 113790 SOS 40002 HAS SOPS 40002 HAS SOUS 22813 HAS SOUPS 22813 WITH SCORE 22853.002
AT ITER 7016 NEW BEST:: SOT 113785 SOS 39992 HAS SOPS 39992 HAS SOUS 22803 HAS SOUPS 22803 WITH SCORE 22842.992
AT ITER 7079 NEW BEST:: SOT 113754 SOS 39961 HAS SOPS 39961 HAS SOUS 22773 HAS SOUPS 22773 WITH SCORE 22812.961
AT ITER 7089 NEW BEST:: SOT 113754 SOS 39961 HAS SOPS 39961 HAS SOUS 22772 HAS SOUPS 22772 WITH SCORE 22811.961
AT ITER 7129 NEW BEST:: SOT 113728 SOS 39922 HAS SOPS 39922 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22772.922
AT ITER 7163 NEW BEST:: SOT 113728 SOS 39904 HAS SOPS 39904 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22772.904
AT ITER 7177 NEW BEST:: SOT 113708 SOS 39864 HAS SOPS 39864 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22747.864
AT ITER 7215 NEW BEST:: SOT 113681 SOS 39810 HAS SOPS 39810 HAS SOUS 22702 HAS SOUPS 22702 WITH SCORE 22741.81
AT ITER 7223 NEW BEST:: SOT 113679 SOS 39808 HAS SOPS 39808 HAS SOUS 22700 HAS SOUPS 22700 WITH SCORE 22739.808
AT ITER 7225 NEW BEST:: SOT 113709 SOS 39830 HAS SOPS 39830 HAS SOUS 22684 HAS SOUPS 22684 WITH SCORE 22723.83
AT ITER 7242 NEW BEST:: SOT 113704 SOS 39837 HAS SOPS 39837 HAS SOUS 22674 HAS SOUPS 22674 WITH SCORE 22713.837
AT ITER 7262 NEW BEST:: SOT 113706 SOS 39044 HAS SOPS 39044 HAS SOUS 22668 HAS SOUPS 22668 WITH SCORE 22707.044
AT ITER 7273 NEW BEST:: SOT 113717 SOS 39048 HAS SOPS 39048 HAS SOUS 22657 HAS SOUPS 22657 WITH SCORE 22696.048
AT ITER 7308 NEW BEST:: SOT 113715 SOS 38994 HAS SOPS 38994 HAS SOUS 22627 HAS SOUPS 22627 WITH SCORE 22665.994
AT ITER 7310 NEW BEST:: SOT 113672 SOS 38908 HAS SOPS 38908 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22622.908
AT ITER 7338 NEW BEST:: SOT 113666 SOS 38902 HAS SOPS 38902 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22616.902
AT ITER 7342 NEW BEST:: SOT 113665 SOS 38901 HAS SOPS 38901 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22614.901
AT ITER 7355 NEW BEST:: SOT 113656 SOS 38883 HAS SOPS 38883 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22590.883
AT ITER 7364 NEW BEST:: SOT 113605 SOS 38802 HAS SOPS 38802 HAS SOUS 22500 HAS SOUPS 22500 WITH SCORE 22538.802
AT ITER 7373 NEW BEST:: SOT 113587 SOS 38751 HAS SOPS 38751 HAS SOUS 22449 HAS SOUPS 22449 WITH SCORE 22487.751
AT ITER 7388 NEW BEST:: SOT 113586 SOS 38757 HAS SOPS 38757 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22485.757
AT ITER 7394 NEW BEST:: SOT 113582 SOS 38745 HAS SOPS 38745 HAS SOUS 22439 HAS SOUPS 22439 WITH SCORE 22477.745
AT ITER 7404 NEW BEST:: SOT 113578 SOS 38744 HAS SOPS 38744 HAS SOUS 22438 HAS SOUPS 22438 WITH SCORE 22476.744
AT ITER 7408 NEW BEST:: SOT 113575 SOS 38741 HAS SOPS 38741 HAS SOUS 22438 HAS SOUPS 22438 WITH SCORE 22476.741
AT ITER 7552 NEW BEST:: SOT 113574 SOS 38739 HAS SOPS 38739 HAS SOUS 22436 HAS SOUPS 22436 WITH SCORE 22474.739
AT ITER 7554 NEW BEST:: SOT 113574 SOS 38739 HAS SOPS 38739 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22423.739
AT ITER 7577 NEW BEST:: SOT 113531 SOS 38706 HAS SOPS 38706 HAS SOUS 22352 HAS SOUPS 22352 WITH SCORE 22390.706
AT ITER 7584 NEW BEST:: SOT 113525 SOS 38706 HAS SOPS 38706 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22384.706
AT ITER 7599 NEW BEST:: SOT 113525 SOS 38687 HAS SOPS 38687 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22384.687
AT ITER 7604 NEW BEST:: SOT 113458 SOS 38535 HAS SOPS 38535 HAS SOUS 22181 HAS SOUPS 22181 WITH SCORE 22219.535
AT ITER 7614 NEW BEST:: SOT 113458 SOS 38533 HAS SOPS 38533 HAS SOUS 22179 HAS SOUPS 22179 WITH SCORE 22217.533
AT ITER 7700 NEW BEST:: SOT 113432 SOS 38481 HAS SOPS 38481 HAS SOUS 22140 HAS SOUPS 22140 WITH SCORE 22178.481
AT ITER 7708 NEW BEST:: SOT 113416 SOS 38449 HAS SOPS 38449 HAS SOUS 22124 HAS SOUPS 22124 WITH SCORE 22162.449
AT ITER 7710 NEW BEST:: SOT 113392 SOS 38470 HAS SOPS 38470 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22160.47
AT ITER 7748 NEW BEST:: SOT 113392 SOS 38470 HAS SOPS 38470 HAS SOUS 22113 HAS SOUPS 22113 WITH SCORE 22151.47
AT ITER 7750 NEW BEST:: SOT 113390 SOS 38467 HAS SOPS 38467 HAS SOUS 22110 HAS SOUPS 22110 WITH SCORE 22148.467
AT ITER 7756 NEW BEST:: SOT 113379 SOS 38425 HAS SOPS 38425 HAS SOUS 22087 HAS SOUPS 22087 WITH SCORE 22125.425
AT ITER 7802 NEW BEST:: SOT 113382 SOS 38428 HAS SOPS 38428 HAS SOUS 22073 HAS SOUPS 22073 WITH SCORE 22111.428
AT ITER 7808 NEW BEST:: SOT 113350 SOS 38395 HAS SOPS 38395 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22078.395
AT ITER 7816 NEW BEST:: SOT 113348 SOS 38393 HAS SOPS 38393 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22075.393
AT ITER 7828 NEW BEST:: SOT 113347 SOS 38391 HAS SOPS 38391 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22050.391
AT ITER 7843 NEW BEST:: SOT 113344 SOS 38385 HAS SOPS 38385 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22034.385
AT ITER 7862 NEW BEST:: SOT 113364 SOS 38334 HAS SOPS 38334 HAS SOUS 21945 HAS SOUPS 21945 WITH SCORE 21983.334
AT ITER 7871 NEW BEST:: SOT 113379 SOS 38324 HAS SOPS 38324 HAS SOUS 21944 HAS SOUPS 21944 WITH SCORE 21982.324
AT ITER 7880 NEW BEST:: SOT 113378 SOS 38322 HAS SOPS 38322 HAS SOUS 21942 HAS SOUPS 21942 WITH SCORE 21980.322
AT ITER 7901 NEW BEST:: SOT 113356 SOS 38263 HAS SOPS 38263 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21936.263
AT ITER 7941 NEW BEST:: SOT 113260 SOS 38131 HAS SOPS 38131 HAS SOUS 21833 HAS SOUPS 21833 WITH SCORE 21871.131
AT ITER 7946 NEW BEST:: SOT 113253 SOS 38089 HAS SOPS 38089 HAS SOUS 21784 HAS SOUPS 21784 WITH SCORE 21822.089
AT ITER 7960 NEW BEST:: SOT 113230 SOS 38043 HAS SOPS 38043 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21799.043
AT ITER 7986 NEW BEST:: SOT 113221 SOS 38025 HAS SOPS 38025 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21790.025
AT ITER 8012 NEW BEST:: SOT 113186 SOS 37957 HAS SOPS 37957 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21758.957
AT ITER 8017 NEW BEST:: SOT 113182 SOS 37953 HAS SOPS 37953 HAS SOUS 21721 HAS SOUPS 21721 WITH SCORE 21758.953
AT ITER 8021 NEW BEST:: SOT 113178 SOS 37945 HAS SOPS 37945 HAS SOUS 21709 HAS SOUPS 21709 WITH SCORE 21746.945
AT ITER 8043 NEW BEST:: SOT 113173 SOS 37940 HAS SOPS 37940 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21736.94
AT ITER 8049 NEW BEST:: SOT 113172 SOS 37950 HAS SOPS 37950 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21735.95
AT ITER 8050 NEW BEST:: SOT 113152 SOS 37910 HAS SOPS 37910 HAS SOUS 21658 HAS SOUPS 21658 WITH SCORE 21695.91
AT ITER 8110 NEW BEST:: SOT 113135 SOS 37876 HAS SOPS 37876 HAS SOUS 21618 HAS SOUPS 21618 WITH SCORE 21655.876
AT ITER 8126 NEW BEST:: SOT 113118 SOS 37842 HAS SOPS 37842 HAS SOUS 21584 HAS SOUPS 21584 WITH SCORE 21621.842
AT ITER 8136 NEW BEST:: SOT 113115 SOS 37837 HAS SOPS 37837 HAS SOUS 21578 HAS SOUPS 21578 WITH SCORE 21615.837
AT ITER 8142 NEW BEST:: SOT 113062 SOS 37806 HAS SOPS 37806 HAS SOUS 21547 HAS SOUPS 21547 WITH SCORE 21584.806
AT ITER 8174 NEW BEST:: SOT 113053 SOS 37814 HAS SOPS 37814 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21565.814
AT ITER 8179 NEW BEST:: SOT 113051 SOS 37812 HAS SOPS 37812 HAS SOUS 21526 HAS SOUPS 21526 WITH SCORE 21563.812
AT ITER 8184 NEW BEST:: SOT 113049 SOS 37824 HAS SOPS 37824 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21559.824
AT ITER 8195 NEW BEST:: SOT 113050 SOS 37817 HAS SOPS 37817 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21553.817
AT ITER 8232 NEW BEST:: SOT 113043 SOS 37814 HAS SOPS 37814 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21550.814
AT ITER 8233 NEW BEST:: SOT 113033 SOS 37794 HAS SOPS 37794 HAS SOUS 21460 HAS SOUPS 21460 WITH SCORE 21497.794
AT ITER 8331 NEW BEST:: SOT 113028 SOS 37795 HAS SOPS 37795 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21493.795
AT ITER 8340 NEW BEST:: SOT 113027 SOS 37794 HAS SOPS 37794 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21491.794
AT ITER 8348 NEW BEST:: SOT 113021 SOS 37789 HAS SOPS 37789 HAS SOUS 21449 HAS SOUPS 21449 WITH SCORE 21486.789
AT ITER 8354 NEW BEST:: SOT 113021 SOS 37732 HAS SOPS 37732 HAS SOUS 21449 HAS SOUPS 21449 WITH SCORE 21486.732
AT ITER 8356 NEW BEST:: SOT 113010 SOS 37704 HAS SOPS 37704 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21465.704
AT ITER 8369 NEW BEST:: SOT 112999 SOS 37682 HAS SOPS 37682 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21454.682
AT ITER 8374 NEW BEST:: SOT 112997 SOS 37690 HAS SOPS 37690 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21452.69
AT ITER 8377 NEW BEST:: SOT 112997 SOS 37688 HAS SOPS 37688 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21452.688
AT ITER 8401 NEW BEST:: SOT 112989 SOS 37680 HAS SOPS 37680 HAS SOUS 21399 HAS SOUPS 21399 WITH SCORE 21436.68
AT ITER 8497 NEW BEST:: SOT 112979 SOS 37660 HAS SOPS 37660 HAS SOUS 21379 HAS SOUPS 21379 WITH SCORE 21416.66
AT ITER 8502 NEW BEST:: SOT 112985 SOS 37672 HAS SOPS 37672 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21403.672
AT ITER 8503 NEW BEST:: SOT 112989 SOS 37675 HAS SOPS 37675 HAS SOUS 21344 HAS SOUPS 21344 WITH SCORE 21381.675
AT ITER 8505 NEW BEST:: SOT 112976 SOS 37649 HAS SOPS 37649 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21376.649
AT ITER 8517 NEW BEST:: SOT 112971 SOS 37643 HAS SOPS 37643 HAS SOUS 21329 HAS SOUPS 21329 WITH SCORE 21366.643
AT ITER 8519 NEW BEST:: SOT 112969 SOS 37641 HAS SOPS 37641 HAS SOUS 21327 HAS SOUPS 21327 WITH SCORE 21364.641
AT ITER 8520 NEW BEST:: SOT 112964 SOS 37641 HAS SOPS 37641 HAS SOUS 21317 HAS SOUPS 21317 WITH SCORE 21354.641
AT ITER 8521 NEW BEST:: SOT 112946 SOS 37627 HAS SOPS 37627 HAS SOUS 21303 HAS SOUPS 21303 WITH SCORE 21340.627
AT ITER 8529 NEW BEST:: SOT 112945 SOS 37614 HAS SOPS 37614 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21338.614
AT ITER 8530 NEW BEST:: SOT 112945 SOS 37607 HAS SOPS 37607 HAS SOUS 21294 HAS SOUPS 21294 WITH SCORE 21331.607
AT ITER 8538 NEW BEST:: SOT 112941 SOS 37594 HAS SOPS 37594 HAS SOUS 21286 HAS SOUPS 21286 WITH SCORE 21323.594
AT ITER 8555 NEW BEST:: SOT 112941 SOS 37564 HAS SOPS 37564 HAS SOUS 21286 HAS SOUPS 21286 WITH SCORE 21323.564
AT ITER 8569 NEW BEST:: SOT 112931 SOS 37576 HAS SOPS 37576 HAS SOUS 21278 HAS SOUPS 21278 WITH SCORE 21315.576
AT ITER 8613 NEW BEST:: SOT 112915 SOS 37544 HAS SOPS 37544 HAS SOUS 21246 HAS SOUPS 21246 WITH SCORE 21283.544
AT ITER 8702 NEW BEST:: SOT 112915 SOS 37557 HAS SOPS 37557 HAS SOUS 21238 HAS SOUPS 21238 WITH SCORE 21275.557
AT ITER 8766 NEW BEST:: SOT 112833 SOS 37475 HAS SOPS 37475 HAS SOUS 21210 HAS SOUPS 21210 WITH SCORE 21247.475
AT ITER 8787 NEW BEST:: SOT 112828 SOS 37465 HAS SOPS 37465 HAS SOUS 21200 HAS SOUPS 21200 WITH SCORE 21237.465
AT ITER 8828 NEW BEST:: SOT 112824 SOS 37457 HAS SOPS 37457 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21231.457
AT ITER 8834 NEW BEST:: SOT 112815 SOS 37439 HAS SOPS 37439 HAS SOUS 21176 HAS SOUPS 21176 WITH SCORE 21213.439
AT ITER 8870 NEW BEST:: SOT 112812 SOS 37436 HAS SOPS 37436 HAS SOUS 21173 HAS SOUPS 21173 WITH SCORE 21210.436
AT ITER 8888 NEW BEST:: SOT 112758 SOS 37363 HAS SOPS 37363 HAS SOUS 21087 HAS SOUPS 21087 WITH SCORE 21124.363
AT ITER 8965 NEW BEST:: SOT 112755 SOS 37353 HAS SOPS 37353 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21108.353
AT ITER 8968 NEW BEST:: SOT 112764 SOS 37371 HAS SOPS 37371 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21083.371
AT ITER 8974 NEW BEST:: SOT 112761 SOS 37368 HAS SOPS 37368 HAS SOUS 21040 HAS SOUPS 21040 WITH SCORE 21077.368
AT ITER 8978 NEW BEST:: SOT 112752 SOS 37350 HAS SOPS 37350 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21059.35
AT ITER 9052 NEW BEST:: SOT 112757 SOS 37348 HAS SOPS 37348 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21059.348
AT ITER 9065 NEW BEST:: SOT 112757 SOS 37297 HAS SOPS 37297 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21059.297
AT ITER 9066 NEW BEST:: SOT 112740 SOS 37280 HAS SOPS 37280 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21059.28
AT ITER 9071 NEW BEST:: SOT 112711 SOS 37251 HAS SOPS 37251 HAS SOUS 20964 HAS SOUPS 20964 WITH SCORE 21001.251
AT ITER 9080 NEW BEST:: SOT 112703 SOS 37234 HAS SOPS 37234 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 20993.234
AT ITER 9084 NEW BEST:: SOT 112701 SOS 37217 HAS SOPS 37217 HAS SOUS 20934 HAS SOUPS 20934 WITH SCORE 20971.217
AT ITER 9092 NEW BEST:: SOT 112679 SOS 37161 HAS SOPS 37161 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 20936.161
AT ITER 9097 NEW BEST:: SOT 112679 SOS 37106 HAS SOPS 37106 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20881.106
AT ITER 9107 NEW BEST:: SOT 112677 SOS 37105 HAS SOPS 37105 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20879.105
AT ITER 9143 NEW BEST:: SOT 112666 SOS 37067 HAS SOPS 37067 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20849.067
AT ITER 9159 NEW BEST:: SOT 112665 SOS 37066 HAS SOPS 37066 HAS SOUS 20810 HAS SOUPS 20810 WITH SCORE 20847.066
AT ITER 9218 NEW BEST:: SOT 112668 SOS 37048 HAS SOPS 37048 HAS SOUS 20794 HAS SOUPS 20794 WITH SCORE 20831.048
AT ITER 9250 NEW BEST:: SOT 112666 SOS 37046 HAS SOPS 37046 HAS SOUS 20792 HAS SOUPS 20792 WITH SCORE 20829.046
AT ITER 9264 NEW BEST:: SOT 112682 SOS 37025 HAS SOPS 37025 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20824.025
AT ITER 9317 NEW BEST:: SOT 112682 SOS 37025 HAS SOPS 37025 HAS SOUS 20784 HAS SOUPS 20784 WITH SCORE 20821.025
AT ITER 9339 NEW BEST:: SOT 112677 SOS 37015 HAS SOPS 37015 HAS SOUS 20779 HAS SOUPS 20779 WITH SCORE 20816.015
AT ITER 9345 NEW BEST:: SOT 112663 SOS 37001 HAS SOPS 37001 HAS SOUS 20765 HAS SOUPS 20765 WITH SCORE 20802.001
AT ITER 9372 NEW BEST:: SOT 112665 SOS 37003 HAS SOPS 37003 HAS SOUS 20752 HAS SOUPS 20752 WITH SCORE 20789.003
AT ITER 9382 NEW BEST:: SOT 112632 SOS 36989 HAS SOPS 36989 HAS SOUS 20738 HAS SOUPS 20738 WITH SCORE 20774.989
AT ITER 9448 NEW BEST:: SOT 112590 SOS 36905 HAS SOPS 36905 HAS SOUS 20654 HAS SOUPS 20654 WITH SCORE 20690.905
AT ITER 9467 NEW BEST:: SOT 112575 SOS 36890 HAS SOPS 36890 HAS SOUS 20639 HAS SOUPS 20639 WITH SCORE 20675.89
AT ITER 9483 NEW BEST:: SOT 112567 SOS 36874 HAS SOPS 36874 HAS SOUS 20623 HAS SOUPS 20623 WITH SCORE 20659.874
AT ITER 9484 NEW BEST:: SOT 112568 SOS 36863 HAS SOPS 36863 HAS SOUS 20623 HAS SOUPS 20623 WITH SCORE 20659.863
AT ITER 9489 NEW BEST:: SOT 112539 SOS 36819 HAS SOPS 36819 HAS SOUS 20580 HAS SOUPS 20580 WITH SCORE 20616.819
AT ITER 9514 NEW BEST:: SOT 112536 SOS 36809 HAS SOPS 36809 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20609.809
AT ITER 9551 NEW BEST:: SOT 112558 SOS 36783 HAS SOPS 36783 HAS SOUS 20547 HAS SOUPS 20547 WITH SCORE 20583.783
AT ITER 9583 NEW BEST:: SOT 112553 SOS 36773 HAS SOPS 36773 HAS SOUS 20537 HAS SOUPS 20537 WITH SCORE 20573.773
AT ITER 9671 NEW BEST:: SOT 112551 SOS 36771 HAS SOPS 36771 HAS SOUS 20537 HAS SOUPS 20537 WITH SCORE 20573.771
AT ITER 9686 NEW BEST:: SOT 112526 SOS 36721 HAS SOPS 36721 HAS SOUS 20512 HAS SOUPS 20512 WITH SCORE 20548.721
AT ITER 9723 NEW BEST:: SOT 112523 SOS 36719 HAS SOPS 36719 HAS SOUS 20509 HAS SOUPS 20509 WITH SCORE 20545.719
AT ITER 9744 NEW BEST:: SOT 112511 SOS 36713 HAS SOPS 36713 HAS SOUS 20503 HAS SOUPS 20503 WITH SCORE 20539.713
AT ITER 9827 NEW BEST:: SOT 112454 SOS 36442 HAS SOPS 36442 HAS SOUS 20444 HAS SOUPS 20444 WITH SCORE 20480.442
AT ITER 9852 NEW BEST:: SOT 112442 SOS 36424 HAS SOPS 36424 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20456.424
AT ITER 9856 NEW BEST:: SOT 112442 SOS 36449 HAS SOPS 36449 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20453.449
AT ITER 9925 NEW BEST:: SOT 112440 SOS 36443 HAS SOPS 36443 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20453.443
AT ITER 9935 NEW BEST:: SOT 112440 SOS 36429 HAS SOPS 36429 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20453.429
AT ITER 9951 NEW BEST:: SOT 112432 SOS 36359 HAS SOPS 36359 HAS SOUS 20374 HAS SOUPS 20374 WITH SCORE 20410.359
AT ITER 9952 NEW BEST:: SOT 112425 SOS 36352 HAS SOPS 36352 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20403.352
AT ITER 9956 NEW BEST:: SOT 112425 SOS 36345 HAS SOPS 36345 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20403.345
AT ITER 9970 NEW BEST:: SOT 112425 SOS 36345 HAS SOPS 36345 HAS SOUS 20363 HAS SOUPS 20363 WITH SCORE 20399.345
AT ITER 9979 NEW BEST:: SOT 112424 SOS 36344 HAS SOPS 36344 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20397.344
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7149968 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121924 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="DiscoveryGPU-PT-15b"
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 DiscoveryGPU-PT-15b, 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 r139-smll-167819423000440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-15b.tgz
mv DiscoveryGPU-PT-15b 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 ;