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.r387-oct2-167903711800440.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldPPPs-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711800440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 7.6K Feb 26 02:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 02:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 02:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 02:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 02:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 02:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 88K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679064048981

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-010A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 313 places, 263 transitions, 1006 arcs.
AT ITER 0 NEW BEST:: SOT 53213 SOS 37253 HAS SOPS 37253 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28740.253
AT ITER 9 NEW BEST:: SOT 53173 SOS 37242 HAS SOPS 37242 HAS SOUS 28692 HAS SOUPS 28692 WITH SCORE 28729.242
AT ITER 18 NEW BEST:: SOT 53246 SOS 36766 HAS SOPS 36766 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28727.766
AT ITER 23 NEW BEST:: SOT 53245 SOS 36415 HAS SOPS 36415 HAS SOUS 28673 HAS SOUPS 28673 WITH SCORE 28709.415
AT ITER 29 NEW BEST:: SOT 53187 SOS 36318 HAS SOPS 36318 HAS SOUS 28588 HAS SOUPS 28588 WITH SCORE 28624.318
AT ITER 31 NEW BEST:: SOT 53187 SOS 36117 HAS SOPS 36117 HAS SOUS 28490 HAS SOUPS 28490 WITH SCORE 28526.117
AT ITER 42 NEW BEST:: SOT 53082 SOS 35745 HAS SOPS 35745 HAS SOUS 28372 HAS SOUPS 28372 WITH SCORE 28407.745
AT ITER 50 NEW BEST:: SOT 53082 SOS 35744 HAS SOPS 35744 HAS SOUS 28371 HAS SOUPS 28371 WITH SCORE 28406.744
AT ITER 57 NEW BEST:: SOT 52954 SOS 35698 HAS SOPS 35698 HAS SOUS 28325 HAS SOUPS 28325 WITH SCORE 28360.698
AT ITER 60 NEW BEST:: SOT 52908 SOS 35650 HAS SOPS 35650 HAS SOUS 28277 HAS SOUPS 28277 WITH SCORE 28312.65
AT ITER 62 NEW BEST:: SOT 52873 SOS 35237 HAS SOPS 35237 HAS SOUS 28078 HAS SOUPS 28078 WITH SCORE 28113.237
AT ITER 66 NEW BEST:: SOT 52911 SOS 35282 HAS SOPS 35282 HAS SOUS 28045 HAS SOUPS 28045 WITH SCORE 28080.282
AT ITER 67 NEW BEST:: SOT 52846 SOS 35215 HAS SOPS 35215 HAS SOUS 27978 HAS SOUPS 27978 WITH SCORE 28013.215
AT ITER 71 NEW BEST:: SOT 52801 SOS 35172 HAS SOPS 35172 HAS SOUS 27922 HAS SOUPS 27922 WITH SCORE 27957.172
AT ITER 72 NEW BEST:: SOT 52801 SOS 35154 HAS SOPS 35154 HAS SOUS 27911 HAS SOUPS 27911 WITH SCORE 27946.154
AT ITER 78 NEW BEST:: SOT 52650 SOS 35003 HAS SOPS 35003 HAS SOUS 27760 HAS SOUPS 27760 WITH SCORE 27795.003
AT ITER 83 NEW BEST:: SOT 52557 SOS 34910 HAS SOPS 34910 HAS SOUS 27667 HAS SOUPS 27667 WITH SCORE 27701.91
AT ITER 85 NEW BEST:: SOT 52557 SOS 34891 HAS SOPS 34891 HAS SOUS 27633 HAS SOUPS 27633 WITH SCORE 27667.891
AT ITER 86 NEW BEST:: SOT 52552 SOS 34872 HAS SOPS 34872 HAS SOUS 27611 HAS SOUPS 27611 WITH SCORE 27645.872
AT ITER 88 NEW BEST:: SOT 52503 SOS 34823 HAS SOPS 34823 HAS SOUS 27562 HAS SOUPS 27562 WITH SCORE 27596.823
AT ITER 93 NEW BEST:: SOT 52501 SOS 34821 HAS SOPS 34821 HAS SOUS 27560 HAS SOUPS 27560 WITH SCORE 27594.821
AT ITER 99 NEW BEST:: SOT 52432 SOS 34752 HAS SOPS 34752 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27525.752
AT ITER 105 NEW BEST:: SOT 52359 SOS 34321 HAS SOPS 34321 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27191.321
AT ITER 108 NEW BEST:: SOT 52322 SOS 34136 HAS SOPS 34136 HAS SOUS 27156 HAS SOUPS 27156 WITH SCORE 27190.136
AT ITER 110 NEW BEST:: SOT 52320 SOS 34132 HAS SOPS 34132 HAS SOUS 27156 HAS SOUPS 27156 WITH SCORE 27190.132
AT ITER 118 NEW BEST:: SOT 52320 SOS 34086 HAS SOPS 34086 HAS SOUS 27152 HAS SOUPS 27152 WITH SCORE 27186.086
AT ITER 122 NEW BEST:: SOT 52287 SOS 34053 HAS SOPS 34053 HAS SOUS 27119 HAS SOUPS 27119 WITH SCORE 27153.053
AT ITER 124 NEW BEST:: SOT 52293 SOS 33997 HAS SOPS 33997 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27096.997
AT ITER 136 NEW BEST:: SOT 52279 SOS 33983 HAS SOPS 33983 HAS SOUS 27049 HAS SOUPS 27049 WITH SCORE 27082.983
AT ITER 140 NEW BEST:: SOT 52175 SOS 33879 HAS SOPS 33879 HAS SOUS 26945 HAS SOUPS 26945 WITH SCORE 26978.879
AT ITER 146 NEW BEST:: SOT 52061 SOS 33722 HAS SOPS 33722 HAS SOUS 26788 HAS SOUPS 26788 WITH SCORE 26821.722
AT ITER 167 NEW BEST:: SOT 51971 SOS 33272 HAS SOPS 33272 HAS SOUS 26787 HAS SOUPS 26787 WITH SCORE 26820.272
AT ITER 175 NEW BEST:: SOT 52062 SOS 33123 HAS SOPS 33123 HAS SOUS 26731 HAS SOUPS 26731 WITH SCORE 26764.123
AT ITER 177 NEW BEST:: SOT 52042 SOS 32390 HAS SOPS 32390 HAS SOUS 26426 HAS SOUPS 26426 WITH SCORE 26458.39
AT ITER 178 NEW BEST:: SOT 52042 SOS 32390 HAS SOPS 32390 HAS SOUS 26420 HAS SOUPS 26420 WITH SCORE 26452.39
AT ITER 180 NEW BEST:: SOT 51995 SOS 32343 HAS SOPS 32343 HAS SOUS 26373 HAS SOUPS 26373 WITH SCORE 26405.343
AT ITER 181 NEW BEST:: SOT 51947 SOS 32291 HAS SOPS 32291 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26354.291
AT ITER 182 NEW BEST:: SOT 51906 SOS 32232 HAS SOPS 32232 HAS SOUS 26263 HAS SOUPS 26263 WITH SCORE 26295.232
AT ITER 185 NEW BEST:: SOT 51909 SOS 32141 HAS SOPS 32141 HAS SOUS 26172 HAS SOUPS 26172 WITH SCORE 26204.141
AT ITER 195 NEW BEST:: SOT 51908 SOS 32133 HAS SOPS 32133 HAS SOUS 26166 HAS SOUPS 26166 WITH SCORE 26198.133
AT ITER 197 NEW BEST:: SOT 51913 SOS 32190 HAS SOPS 32190 HAS SOUS 26151 HAS SOUPS 26151 WITH SCORE 26183.19
AT ITER 198 NEW BEST:: SOT 51917 SOS 31605 HAS SOPS 31605 HAS SOUS 25944 HAS SOUPS 25944 WITH SCORE 25975.605
AT ITER 204 NEW BEST:: SOT 51916 SOS 31386 HAS SOPS 31386 HAS SOUS 25888 HAS SOUPS 25888 WITH SCORE 25919.386
AT ITER 205 NEW BEST:: SOT 51880 SOS 31314 HAS SOPS 31314 HAS SOUS 25808 HAS SOUPS 25808 WITH SCORE 25839.314
AT ITER 219 NEW BEST:: SOT 51871 SOS 31305 HAS SOPS 31305 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25830.305
AT ITER 221 NEW BEST:: SOT 51777 SOS 31211 HAS SOPS 31211 HAS SOUS 25705 HAS SOUPS 25705 WITH SCORE 25736.211
AT ITER 224 NEW BEST:: SOT 51758 SOS 31192 HAS SOPS 31192 HAS SOUS 25686 HAS SOUPS 25686 WITH SCORE 25717.192
AT ITER 226 NEW BEST:: SOT 51837 SOS 31339 HAS SOPS 31339 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 25696.339
AT ITER 229 NEW BEST:: SOT 51863 SOS 31410 HAS SOPS 31410 HAS SOUS 25661 HAS SOUPS 25661 WITH SCORE 25692.41
AT ITER 231 NEW BEST:: SOT 51712 SOS 31259 HAS SOPS 31259 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25541.259
AT ITER 235 NEW BEST:: SOT 51581 SOS 31136 HAS SOPS 31136 HAS SOUS 25387 HAS SOUPS 25387 WITH SCORE 25418.136
AT ITER 236 NEW BEST:: SOT 51541 SOS 31081 HAS SOPS 31081 HAS SOUS 25345 HAS SOUPS 25345 WITH SCORE 25376.081
AT ITER 240 NEW BEST:: SOT 51501 SOS 31039 HAS SOPS 31039 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25334.039
AT ITER 245 NEW BEST:: SOT 51497 SOS 31035 HAS SOPS 31035 HAS SOUS 25299 HAS SOUPS 25299 WITH SCORE 25330.035
AT ITER 250 NEW BEST:: SOT 51483 SOS 31021 HAS SOPS 31021 HAS SOUS 25285 HAS SOUPS 25285 WITH SCORE 25316.021
AT ITER 254 NEW BEST:: SOT 51493 SOS 31027 HAS SOPS 31027 HAS SOUS 25278 HAS SOUPS 25278 WITH SCORE 25309.027
AT ITER 277 NEW BEST:: SOT 51469 SOS 30940 HAS SOPS 30940 HAS SOUS 25217 HAS SOUPS 25217 WITH SCORE 25247.94
AT ITER 279 NEW BEST:: SOT 51435 SOS 30905 HAS SOPS 30905 HAS SOUS 25182 HAS SOUPS 25182 WITH SCORE 25212.905
AT ITER 282 NEW BEST:: SOT 51338 SOS 30617 HAS SOPS 30617 HAS SOUS 24955 HAS SOUPS 24955 WITH SCORE 24985.617
AT ITER 284 NEW BEST:: SOT 51338 SOS 30616 HAS SOPS 30616 HAS SOUS 24948 HAS SOUPS 24948 WITH SCORE 24978.616
AT ITER 294 NEW BEST:: SOT 51394 SOS 30681 HAS SOPS 30681 HAS SOUS 24937 HAS SOUPS 24937 WITH SCORE 24967.681
AT ITER 298 NEW BEST:: SOT 51379 SOS 30465 HAS SOPS 30465 HAS SOUS 24854 HAS SOUPS 24854 WITH SCORE 24884.465
AT ITER 308 NEW BEST:: SOT 51403 SOS 30457 HAS SOPS 30457 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24876.457
AT ITER 321 NEW BEST:: SOT 51403 SOS 30382 HAS SOPS 30382 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24876.382
AT ITER 328 NEW BEST:: SOT 51395 SOS 30169 HAS SOPS 30169 HAS SOUS 24812 HAS SOUPS 24812 WITH SCORE 24842.169
AT ITER 330 NEW BEST:: SOT 51395 SOS 30167 HAS SOPS 30167 HAS SOUS 24806 HAS SOUPS 24806 WITH SCORE 24836.167
AT ITER 331 NEW BEST:: SOT 51386 SOS 30158 HAS SOPS 30158 HAS SOUS 24797 HAS SOUPS 24797 WITH SCORE 24827.158
AT ITER 333 NEW BEST:: SOT 51386 SOS 30158 HAS SOPS 30158 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24823.158
AT ITER 337 NEW BEST:: SOT 51386 SOS 30132 HAS SOPS 30132 HAS SOUS 24789 HAS SOUPS 24789 WITH SCORE 24819.132
AT ITER 354 NEW BEST:: SOT 51371 SOS 30109 HAS SOPS 30109 HAS SOUS 24766 HAS SOUPS 24766 WITH SCORE 24796.109
AT ITER 358 NEW BEST:: SOT 51363 SOS 30099 HAS SOPS 30099 HAS SOUS 24756 HAS SOUPS 24756 WITH SCORE 24786.099
AT ITER 359 NEW BEST:: SOT 51270 SOS 29747 HAS SOPS 29747 HAS SOUS 24466 HAS SOUPS 24466 WITH SCORE 24495.747
AT ITER 369 NEW BEST:: SOT 51261 SOS 29723 HAS SOPS 29723 HAS SOUS 24442 HAS SOUPS 24442 WITH SCORE 24471.723
AT ITER 375 NEW BEST:: SOT 51263 SOS 29713 HAS SOPS 29713 HAS SOUS 24426 HAS SOUPS 24426 WITH SCORE 24455.713
AT ITER 392 NEW BEST:: SOT 51168 SOS 29541 HAS SOPS 29541 HAS SOUS 24254 HAS SOUPS 24254 WITH SCORE 24283.541
AT ITER 399 NEW BEST:: SOT 51090 SOS 29454 HAS SOPS 29454 HAS SOUS 24167 HAS SOUPS 24167 WITH SCORE 24196.454
AT ITER 404 NEW BEST:: SOT 51313 SOS 28962 HAS SOPS 28962 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24145.962
AT ITER 409 NEW BEST:: SOT 51284 SOS 28951 HAS SOPS 28951 HAS SOUS 24097 HAS SOUPS 24097 WITH SCORE 24125.951
AT ITER 410 NEW BEST:: SOT 51203 SOS 28868 HAS SOPS 28868 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24043.868
AT ITER 426 NEW BEST:: SOT 51075 SOS 28631 HAS SOPS 28631 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23806.631
AT ITER 431 NEW BEST:: SOT 51074 SOS 28610 HAS SOPS 28610 HAS SOUS 23767 HAS SOUPS 23767 WITH SCORE 23795.61
AT ITER 437 NEW BEST:: SOT 51074 SOS 28604 HAS SOPS 28604 HAS SOUS 23764 HAS SOUPS 23764 WITH SCORE 23792.604
AT ITER 440 NEW BEST:: SOT 51074 SOS 28603 HAS SOPS 28603 HAS SOUS 23763 HAS SOUPS 23763 WITH SCORE 23791.603
AT ITER 441 NEW BEST:: SOT 50967 SOS 28496 HAS SOPS 28496 HAS SOUS 23656 HAS SOUPS 23656 WITH SCORE 23684.496
AT ITER 451 NEW BEST:: SOT 50967 SOS 28472 HAS SOPS 28472 HAS SOUS 23631 HAS SOUPS 23631 WITH SCORE 23659.472
AT ITER 460 NEW BEST:: SOT 50878 SOS 28272 HAS SOPS 28272 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23459.272
AT ITER 469 NEW BEST:: SOT 50791 SOS 27837 HAS SOPS 27837 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23458.837
AT ITER 470 NEW BEST:: SOT 50713 SOS 27765 HAS SOPS 27765 HAS SOUS 23359 HAS SOUPS 23359 WITH SCORE 23386.765
AT ITER 473 NEW BEST:: SOT 50637 SOS 27691 HAS SOPS 27691 HAS SOUS 23300 HAS SOUPS 23300 WITH SCORE 23327.691
AT ITER 480 NEW BEST:: SOT 50660 SOS 27695 HAS SOPS 27695 HAS SOUS 23258 HAS SOUPS 23258 WITH SCORE 23285.695
AT ITER 482 NEW BEST:: SOT 50660 SOS 27581 HAS SOPS 27581 HAS SOUS 23258 HAS SOUPS 23258 WITH SCORE 23285.581
AT ITER 491 NEW BEST:: SOT 50677 SOS 27516 HAS SOPS 27516 HAS SOUS 23256 HAS SOUPS 23256 WITH SCORE 23283.516
AT ITER 515 NEW BEST:: SOT 50757 SOS 27596 HAS SOPS 27596 HAS SOUS 23187 HAS SOUPS 23187 WITH SCORE 23214.596
AT ITER 527 NEW BEST:: SOT 50757 SOS 27590 HAS SOPS 27590 HAS SOUS 23187 HAS SOUPS 23187 WITH SCORE 23214.59
AT ITER 531 NEW BEST:: SOT 50752 SOS 27585 HAS SOPS 27585 HAS SOUS 23181 HAS SOUPS 23181 WITH SCORE 23208.585
AT ITER 537 NEW BEST:: SOT 50722 SOS 27555 HAS SOPS 27555 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23178.555
AT ITER 538 NEW BEST:: SOT 50714 SOS 27547 HAS SOPS 27547 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23170.547
AT ITER 548 NEW BEST:: SOT 50724 SOS 27537 HAS SOPS 27537 HAS SOUS 23101 HAS SOUPS 23101 WITH SCORE 23128.537
AT ITER 551 NEW BEST:: SOT 50615 SOS 27428 HAS SOPS 27428 HAS SOUS 22992 HAS SOUPS 22992 WITH SCORE 23019.428
AT ITER 567 NEW BEST:: SOT 50561 SOS 27374 HAS SOPS 27374 HAS SOUS 22938 HAS SOUPS 22938 WITH SCORE 22965.374
AT ITER 572 NEW BEST:: SOT 50555 SOS 27366 HAS SOPS 27366 HAS SOUS 22928 HAS SOUPS 22928 WITH SCORE 22955.366
AT ITER 587 NEW BEST:: SOT 50498 SOS 27291 HAS SOPS 27291 HAS SOUS 22823 HAS SOUPS 22823 WITH SCORE 22850.291
AT ITER 594 NEW BEST:: SOT 50498 SOS 27290 HAS SOPS 27290 HAS SOUS 22822 HAS SOUPS 22822 WITH SCORE 22849.29
AT ITER 596 NEW BEST:: SOT 50192 SOS 27001 HAS SOPS 27001 HAS SOUS 22525 HAS SOUPS 22525 WITH SCORE 22552.001
AT ITER 597 NEW BEST:: SOT 50119 SOS 26995 HAS SOPS 26995 HAS SOUS 22486 HAS SOUPS 22486 WITH SCORE 22512.995
AT ITER 600 NEW BEST:: SOT 50097 SOS 26982 HAS SOPS 26982 HAS SOUS 22484 HAS SOUPS 22484 WITH SCORE 22510.982
AT ITER 601 NEW BEST:: SOT 50130 SOS 26959 HAS SOPS 26959 HAS SOUS 22475 HAS SOUPS 22475 WITH SCORE 22501.959
AT ITER 610 NEW BEST:: SOT 50108 SOS 26915 HAS SOPS 26915 HAS SOUS 22474 HAS SOUPS 22474 WITH SCORE 22500.915
AT ITER 618 NEW BEST:: SOT 50060 SOS 26908 HAS SOPS 26908 HAS SOUS 22467 HAS SOUPS 22467 WITH SCORE 22493.908
AT ITER 619 NEW BEST:: SOT 50069 SOS 26917 HAS SOPS 26917 HAS SOUS 22453 HAS SOUPS 22453 WITH SCORE 22479.917
AT ITER 621 NEW BEST:: SOT 49897 SOS 26654 HAS SOPS 26654 HAS SOUS 22190 HAS SOUPS 22190 WITH SCORE 22216.654
AT ITER 627 NEW BEST:: SOT 49841 SOS 26585 HAS SOPS 26585 HAS SOUS 22118 HAS SOUPS 22118 WITH SCORE 22144.585
AT ITER 632 NEW BEST:: SOT 49832 SOS 26576 HAS SOPS 26576 HAS SOUS 22109 HAS SOUPS 22109 WITH SCORE 22135.576
AT ITER 638 NEW BEST:: SOT 49835 SOS 26575 HAS SOPS 26575 HAS SOUS 22106 HAS SOUPS 22106 WITH SCORE 22132.575
AT ITER 639 NEW BEST:: SOT 49713 SOS 26437 HAS SOPS 26437 HAS SOUS 21968 HAS SOUPS 21968 WITH SCORE 21994.437
AT ITER 641 NEW BEST:: SOT 49710 SOS 26434 HAS SOPS 26434 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 21991.434
AT ITER 654 NEW BEST:: SOT 49678 SOS 26402 HAS SOPS 26402 HAS SOUS 21933 HAS SOUPS 21933 WITH SCORE 21959.402
AT ITER 656 NEW BEST:: SOT 49622 SOS 26335 HAS SOPS 26335 HAS SOUS 21847 HAS SOUPS 21847 WITH SCORE 21873.335
AT ITER 672 NEW BEST:: SOT 49567 SOS 26280 HAS SOPS 26280 HAS SOUS 21791 HAS SOUPS 21791 WITH SCORE 21817.28
AT ITER 678 NEW BEST:: SOT 49547 SOS 26116 HAS SOPS 26116 HAS SOUS 21765 HAS SOUPS 21765 WITH SCORE 21791.116
AT ITER 690 NEW BEST:: SOT 49628 SOS 26158 HAS SOPS 26158 HAS SOUS 21746 HAS SOUPS 21746 WITH SCORE 21772.158
AT ITER 712 NEW BEST:: SOT 49616 SOS 26146 HAS SOPS 26146 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21760.146
AT ITER 722 NEW BEST:: SOT 49571 SOS 26086 HAS SOPS 26086 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21700.086
AT ITER 733 NEW BEST:: SOT 49562 SOS 26077 HAS SOPS 26077 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21691.077
AT ITER 736 NEW BEST:: SOT 49560 SOS 26061 HAS SOPS 26061 HAS SOUS 21660 HAS SOUPS 21660 WITH SCORE 21686.061
AT ITER 741 NEW BEST:: SOT 49535 SOS 26036 HAS SOPS 26036 HAS SOUS 21657 HAS SOUPS 21657 WITH SCORE 21683.036
AT ITER 746 NEW BEST:: SOT 49510 SOS 25902 HAS SOPS 25902 HAS SOUS 21648 HAS SOUPS 21648 WITH SCORE 21673.902
AT ITER 753 NEW BEST:: SOT 49400 SOS 25647 HAS SOPS 25647 HAS SOUS 21400 HAS SOUPS 21400 WITH SCORE 21425.647
AT ITER 761 NEW BEST:: SOT 49394 SOS 25641 HAS SOPS 25641 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21419.641
AT ITER 763 NEW BEST:: SOT 49394 SOS 25637 HAS SOPS 25637 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21419.637
AT ITER 764 NEW BEST:: SOT 49385 SOS 25628 HAS SOPS 25628 HAS SOUS 21385 HAS SOUPS 21385 WITH SCORE 21410.628
AT ITER 767 NEW BEST:: SOT 49383 SOS 25523 HAS SOPS 25523 HAS SOUS 21277 HAS SOUPS 21277 WITH SCORE 21302.523
AT ITER 775 NEW BEST:: SOT 49386 SOS 25529 HAS SOPS 25529 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21291.529
AT ITER 783 NEW BEST:: SOT 49333 SOS 25476 HAS SOPS 25476 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21238.476
AT ITER 793 NEW BEST:: SOT 49173 SOS 25240 HAS SOPS 25240 HAS SOUS 20977 HAS SOUPS 20977 WITH SCORE 21002.24
AT ITER 796 NEW BEST:: SOT 49157 SOS 25222 HAS SOPS 25222 HAS SOUS 20959 HAS SOUPS 20959 WITH SCORE 20984.222
AT ITER 799 NEW BEST:: SOT 49117 SOS 25182 HAS SOPS 25182 HAS SOUS 20912 HAS SOUPS 20912 WITH SCORE 20937.182
AT ITER 805 NEW BEST:: SOT 49108 SOS 25173 HAS SOPS 25173 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20921.173
AT ITER 811 NEW BEST:: SOT 49108 SOS 25173 HAS SOPS 25173 HAS SOUS 20808 HAS SOUPS 20808 WITH SCORE 20833.173
AT ITER 815 NEW BEST:: SOT 49108 SOS 25068 HAS SOPS 25068 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20752.068
AT ITER 817 NEW BEST:: SOT 49083 SOS 25033 HAS SOPS 25033 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20717.033
AT ITER 824 NEW BEST:: SOT 49083 SOS 25028 HAS SOPS 25028 HAS SOUS 20549 HAS SOUPS 20549 WITH SCORE 20574.028
AT ITER 828 NEW BEST:: SOT 49093 SOS 24997 HAS SOPS 24997 HAS SOUS 20518 HAS SOUPS 20518 WITH SCORE 20542.997
AT ITER 830 NEW BEST:: SOT 49239 SOS 24668 HAS SOPS 24668 HAS SOUS 20430 HAS SOUPS 20430 WITH SCORE 20454.668
AT ITER 834 NEW BEST:: SOT 49239 SOS 24571 HAS SOPS 24571 HAS SOUS 20430 HAS SOUPS 20430 WITH SCORE 20454.571
AT ITER 841 NEW BEST:: SOT 49181 SOS 24513 HAS SOPS 24513 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20396.513
AT ITER 842 NEW BEST:: SOT 49283 SOS 24551 HAS SOPS 24551 HAS SOUS 20349 HAS SOUPS 20349 WITH SCORE 20373.551
AT ITER 845 NEW BEST:: SOT 49257 SOS 24525 HAS SOPS 24525 HAS SOUS 20323 HAS SOUPS 20323 WITH SCORE 20347.525
AT ITER 850 NEW BEST:: SOT 49250 SOS 24499 HAS SOPS 24499 HAS SOUS 20316 HAS SOUPS 20316 WITH SCORE 20340.499
AT ITER 851 NEW BEST:: SOT 49250 SOS 24374 HAS SOPS 24374 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20303.374
AT ITER 861 NEW BEST:: SOT 49234 SOS 24358 HAS SOPS 24358 HAS SOUS 20263 HAS SOUPS 20263 WITH SCORE 20287.358
AT ITER 862 NEW BEST:: SOT 49225 SOS 24346 HAS SOPS 24346 HAS SOUS 20248 HAS SOUPS 20248 WITH SCORE 20272.346
AT ITER 883 NEW BEST:: SOT 49214 SOS 24334 HAS SOPS 24334 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20260.334
AT ITER 888 NEW BEST:: SOT 49175 SOS 24320 HAS SOPS 24320 HAS SOUS 20222 HAS SOUPS 20222 WITH SCORE 20246.32
AT ITER 897 NEW BEST:: SOT 49123 SOS 24268 HAS SOPS 24268 HAS SOUS 20170 HAS SOUPS 20170 WITH SCORE 20194.268
AT ITER 905 NEW BEST:: SOT 49098 SOS 24204 HAS SOPS 24204 HAS SOUS 20092 HAS SOUPS 20092 WITH SCORE 20116.204
AT ITER 908 NEW BEST:: SOT 49078 SOS 24184 HAS SOPS 24184 HAS SOUS 20072 HAS SOUPS 20072 WITH SCORE 20096.184
AT ITER 909 NEW BEST:: SOT 49017 SOS 24088 HAS SOPS 24088 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 20000.088
AT ITER 915 NEW BEST:: SOT 49017 SOS 24083 HAS SOPS 24083 HAS SOUS 19971 HAS SOUPS 19971 WITH SCORE 19995.083
AT ITER 916 NEW BEST:: SOT 49054 SOS 23989 HAS SOPS 23989 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19939.989
AT ITER 919 NEW BEST:: SOT 49004 SOS 23902 HAS SOPS 23902 HAS SOUS 19907 HAS SOUPS 19907 WITH SCORE 19930.902
AT ITER 924 NEW BEST:: SOT 48950 SOS 23788 HAS SOPS 23788 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19792.788
AT ITER 926 NEW BEST:: SOT 48944 SOS 23781 HAS SOPS 23781 HAS SOUS 19761 HAS SOUPS 19761 WITH SCORE 19784.781
AT ITER 940 NEW BEST:: SOT 48921 SOS 23735 HAS SOPS 23735 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19758.735
AT ITER 942 NEW BEST:: SOT 48919 SOS 23729 HAS SOPS 23729 HAS SOUS 19729 HAS SOUPS 19729 WITH SCORE 19752.729
AT ITER 943 NEW BEST:: SOT 48961 SOS 23675 HAS SOPS 23675 HAS SOUS 19661 HAS SOUPS 19661 WITH SCORE 19684.675
AT ITER 949 NEW BEST:: SOT 48948 SOS 23616 HAS SOPS 23616 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19625.616
AT ITER 976 NEW BEST:: SOT 48997 SOS 23654 HAS SOPS 23654 HAS SOUS 19582 HAS SOUPS 19582 WITH SCORE 19605.654
AT ITER 995 NEW BEST:: SOT 48928 SOS 23637 HAS SOPS 23637 HAS SOUS 19565 HAS SOUPS 19565 WITH SCORE 19588.637
AT ITER 1009 NEW BEST:: SOT 48906 SOS 23614 HAS SOPS 23614 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19565.614
AT ITER 1021 NEW BEST:: SOT 48906 SOS 23625 HAS SOPS 23625 HAS SOUS 19540 HAS SOUPS 19540 WITH SCORE 19563.625
AT ITER 1027 NEW BEST:: SOT 48856 SOS 23544 HAS SOPS 23544 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19516.544
AT ITER 1035 NEW BEST:: SOT 48861 SOS 23525 HAS SOPS 23525 HAS SOUS 19491 HAS SOUPS 19491 WITH SCORE 19514.525
AT ITER 1036 NEW BEST:: SOT 48832 SOS 23496 HAS SOPS 23496 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19485.496
AT ITER 1038 NEW BEST:: SOT 48835 SOS 23490 HAS SOPS 23490 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19485.49
AT ITER 1064 NEW BEST:: SOT 48799 SOS 23454 HAS SOPS 23454 HAS SOUS 19426 HAS SOUPS 19426 WITH SCORE 19449.454
AT ITER 1067 NEW BEST:: SOT 48793 SOS 23424 HAS SOPS 23424 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19398.424
AT ITER 1098 NEW BEST:: SOT 48793 SOS 23408 HAS SOPS 23408 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19398.408
AT ITER 1102 NEW BEST:: SOT 48803 SOS 23408 HAS SOPS 23408 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19390.408
AT ITER 1110 NEW BEST:: SOT 48775 SOS 23380 HAS SOPS 23380 HAS SOUS 19339 HAS SOUPS 19339 WITH SCORE 19362.38
AT ITER 1116 NEW BEST:: SOT 48775 SOS 23348 HAS SOPS 23348 HAS SOUS 19307 HAS SOUPS 19307 WITH SCORE 19330.348
AT ITER 1118 NEW BEST:: SOT 48777 SOS 23328 HAS SOPS 23328 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19310.328
AT ITER 1125 NEW BEST:: SOT 48794 SOS 23143 HAS SOPS 23143 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19310.143
AT ITER 1129 NEW BEST:: SOT 48811 SOS 23150 HAS SOPS 23150 HAS SOUS 19267 HAS SOUPS 19267 WITH SCORE 19290.15
AT ITER 1130 NEW BEST:: SOT 48811 SOS 23123 HAS SOPS 23123 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19272.123
AT ITER 1131 NEW BEST:: SOT 48736 SOS 23011 HAS SOPS 23011 HAS SOUS 19113 HAS SOUPS 19113 WITH SCORE 19136.011
AT ITER 1135 NEW BEST:: SOT 48735 SOS 23010 HAS SOPS 23010 HAS SOUS 19058 HAS SOUPS 19058 WITH SCORE 19081.01
AT ITER 1155 NEW BEST:: SOT 48684 SOS 22530 HAS SOPS 22530 HAS SOUS 18923 HAS SOUPS 18923 WITH SCORE 18945.53
AT ITER 1180 NEW BEST:: SOT 48757 SOS 22556 HAS SOPS 22556 HAS SOUS 18829 HAS SOUPS 18829 WITH SCORE 18851.556
AT ITER 1183 NEW BEST:: SOT 48730 SOS 22472 HAS SOPS 22472 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18765.472
AT ITER 1186 NEW BEST:: SOT 48704 SOS 22452 HAS SOPS 22452 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18765.452
AT ITER 1190 NEW BEST:: SOT 48661 SOS 22419 HAS SOPS 22419 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18732.419
AT ITER 1191 NEW BEST:: SOT 48672 SOS 22428 HAS SOPS 22428 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18719.428
AT ITER 1196 NEW BEST:: SOT 48676 SOS 22424 HAS SOPS 22424 HAS SOUS 18693 HAS SOUPS 18693 WITH SCORE 18715.424
AT ITER 1200 NEW BEST:: SOT 48586 SOS 22302 HAS SOPS 22302 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18611.302
AT ITER 1206 NEW BEST:: SOT 48586 SOS 22242 HAS SOPS 22242 HAS SOUS 18569 HAS SOUPS 18569 WITH SCORE 18591.242
AT ITER 1210 NEW BEST:: SOT 48579 SOS 22048 HAS SOPS 22048 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18579.048
AT ITER 1215 NEW BEST:: SOT 48466 SOS 21957 HAS SOPS 21957 HAS SOUS 18451 HAS SOUPS 18451 WITH SCORE 18472.957
AT ITER 1217 NEW BEST:: SOT 48459 SOS 21948 HAS SOPS 21948 HAS SOUS 18443 HAS SOUPS 18443 WITH SCORE 18464.948
AT ITER 1220 NEW BEST:: SOT 48459 SOS 21943 HAS SOPS 21943 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18463.943
AT ITER 1221 NEW BEST:: SOT 48459 SOS 21871 HAS SOPS 21871 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18439.871
AT ITER 1226 NEW BEST:: SOT 48459 SOS 21812 HAS SOPS 21812 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18378.812
AT ITER 1228 NEW BEST:: SOT 48422 SOS 21775 HAS SOPS 21775 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18341.775
AT ITER 1236 NEW BEST:: SOT 48392 SOS 21685 HAS SOPS 21685 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18281.685
AT ITER 1243 NEW BEST:: SOT 48379 SOS 21651 HAS SOPS 21651 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18234.651
AT ITER 1247 NEW BEST:: SOT 48365 SOS 21623 HAS SOPS 21623 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18147.623
AT ITER 1260 NEW BEST:: SOT 48363 SOS 21610 HAS SOPS 21610 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18134.61
AT ITER 1273 NEW BEST:: SOT 48348 SOS 21595 HAS SOPS 21595 HAS SOUS 18098 HAS SOUPS 18098 WITH SCORE 18119.595
AT ITER 1279 NEW BEST:: SOT 48348 SOS 21587 HAS SOPS 21587 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18111.587
AT ITER 1286 NEW BEST:: SOT 48329 SOS 21352 HAS SOPS 21352 HAS SOUS 17961 HAS SOUPS 17961 WITH SCORE 17982.352
AT ITER 1294 NEW BEST:: SOT 48329 SOS 21321 HAS SOPS 21321 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17951.321
AT ITER 1296 NEW BEST:: SOT 48315 SOS 21310 HAS SOPS 21310 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17940.31
AT ITER 1298 NEW BEST:: SOT 48297 SOS 21283 HAS SOPS 21283 HAS SOUS 17883 HAS SOUPS 17883 WITH SCORE 17904.283
AT ITER 1311 NEW BEST:: SOT 48398 SOS 21321 HAS SOPS 21321 HAS SOUS 17875 HAS SOUPS 17875 WITH SCORE 17896.321
AT ITER 1313 NEW BEST:: SOT 48394 SOS 21317 HAS SOPS 21317 HAS SOUS 17871 HAS SOUPS 17871 WITH SCORE 17892.317
AT ITER 1314 NEW BEST:: SOT 48387 SOS 21317 HAS SOPS 21317 HAS SOUS 17789 HAS SOUPS 17789 WITH SCORE 17810.317
AT ITER 1315 NEW BEST:: SOT 48364 SOS 21271 HAS SOPS 21271 HAS SOUS 17743 HAS SOUPS 17743 WITH SCORE 17764.271
AT ITER 1316 NEW BEST:: SOT 48359 SOS 21258 HAS SOPS 21258 HAS SOUS 17730 HAS SOUPS 17730 WITH SCORE 17751.258
AT ITER 1322 NEW BEST:: SOT 48359 SOS 21314 HAS SOPS 21314 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17695.314
AT ITER 1329 NEW BEST:: SOT 48313 SOS 21260 HAS SOPS 21260 HAS SOUS 17620 HAS SOUPS 17620 WITH SCORE 17641.26
AT ITER 1343 NEW BEST:: SOT 48279 SOS 21194 HAS SOPS 21194 HAS SOUS 17575 HAS SOUPS 17575 WITH SCORE 17596.194
AT ITER 1346 NEW BEST:: SOT 48277 SOS 21018 HAS SOPS 21018 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17579.018
AT ITER 1349 NEW BEST:: SOT 48268 SOS 20854 HAS SOPS 20854 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17578.854
AT ITER 1352 NEW BEST:: SOT 48263 SOS 20781 HAS SOPS 20781 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17540.781
AT ITER 1365 NEW BEST:: SOT 48228 SOS 20666 HAS SOPS 20666 HAS SOUS 17470 HAS SOUPS 17470 WITH SCORE 17490.666
AT ITER 1370 NEW BEST:: SOT 48187 SOS 20605 HAS SOPS 20605 HAS SOUS 17409 HAS SOUPS 17409 WITH SCORE 17429.605
AT ITER 1385 NEW BEST:: SOT 48127 SOS 20496 HAS SOPS 20496 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17348.496
AT ITER 1389 NEW BEST:: SOT 48057 SOS 20453 HAS SOPS 20453 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17334.453
AT ITER 1395 NEW BEST:: SOT 48004 SOS 20356 HAS SOPS 20356 HAS SOUS 17231 HAS SOUPS 17231 WITH SCORE 17251.356
AT ITER 1409 NEW BEST:: SOT 47981 SOS 20333 HAS SOPS 20333 HAS SOUS 17215 HAS SOUPS 17215 WITH SCORE 17235.333
AT ITER 1418 NEW BEST:: SOT 47976 SOS 20335 HAS SOPS 20335 HAS SOUS 17208 HAS SOUPS 17208 WITH SCORE 17228.335
AT ITER 1425 NEW BEST:: SOT 47976 SOS 20264 HAS SOPS 20264 HAS SOUS 17181 HAS SOUPS 17181 WITH SCORE 17201.264
AT ITER 1445 NEW BEST:: SOT 47973 SOS 20240 HAS SOPS 20240 HAS SOUS 17154 HAS SOUPS 17154 WITH SCORE 17174.24
AT ITER 1467 NEW BEST:: SOT 47963 SOS 20230 HAS SOPS 20230 HAS SOUS 17144 HAS SOUPS 17144 WITH SCORE 17164.23
AT ITER 1473 NEW BEST:: SOT 47983 SOS 20235 HAS SOPS 20235 HAS SOUS 17111 HAS SOUPS 17111 WITH SCORE 17131.235
AT ITER 1485 NEW BEST:: SOT 48034 SOS 20233 HAS SOPS 20233 HAS SOUS 17107 HAS SOUPS 17107 WITH SCORE 17127.233
AT ITER 1495 NEW BEST:: SOT 48034 SOS 20248 HAS SOPS 20248 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17124.248
AT ITER 1510 NEW BEST:: SOT 47996 SOS 20207 HAS SOPS 20207 HAS SOUS 17100 HAS SOUPS 17100 WITH SCORE 17120.207
AT ITER 1515 NEW BEST:: SOT 47942 SOS 20031 HAS SOPS 20031 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16944.031
AT ITER 1526 NEW BEST:: SOT 47933 SOS 20010 HAS SOPS 20010 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16921.01
AT ITER 1528 NEW BEST:: SOT 47951 SOS 19934 HAS SOPS 19934 HAS SOUS 16872 HAS SOUPS 16872 WITH SCORE 16891.934
AT ITER 1531 NEW BEST:: SOT 47951 SOS 19899 HAS SOPS 19899 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16836.899
AT ITER 1549 NEW BEST:: SOT 47928 SOS 19876 HAS SOPS 19876 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16813.876
AT ITER 1555 NEW BEST:: SOT 47928 SOS 19870 HAS SOPS 19870 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16807.87
AT ITER 1566 NEW BEST:: SOT 47914 SOS 19841 HAS SOPS 19841 HAS SOUS 16759 HAS SOUPS 16759 WITH SCORE 16778.841
AT ITER 1573 NEW BEST:: SOT 47888 SOS 19830 HAS SOPS 19830 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16767.83
AT ITER 1620 NEW BEST:: SOT 47864 SOS 19818 HAS SOPS 19818 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16758.818
AT ITER 1634 NEW BEST:: SOT 47805 SOS 19755 HAS SOPS 19755 HAS SOUS 16676 HAS SOUPS 16676 WITH SCORE 16695.755
AT ITER 1635 NEW BEST:: SOT 47762 SOS 19712 HAS SOPS 19712 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16652.712
AT ITER 1636 NEW BEST:: SOT 47686 SOS 19321 HAS SOPS 19321 HAS SOUS 16585 HAS SOUPS 16585 WITH SCORE 16604.321
AT ITER 1678 NEW BEST:: SOT 47685 SOS 19320 HAS SOPS 19320 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16603.32
AT ITER 1679 NEW BEST:: SOT 47685 SOS 19319 HAS SOPS 19319 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16603.319
AT ITER 1680 NEW BEST:: SOT 47685 SOS 19310 HAS SOPS 19310 HAS SOUS 16574 HAS SOUPS 16574 WITH SCORE 16593.31
AT ITER 1683 NEW BEST:: SOT 47631 SOS 19218 HAS SOPS 19218 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16574.218
AT ITER 1691 NEW BEST:: SOT 47631 SOS 19210 HAS SOPS 19210 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16566.21
AT ITER 1704 NEW BEST:: SOT 47624 SOS 19196 HAS SOPS 19196 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16544.196
AT ITER 1709 NEW BEST:: SOT 47597 SOS 19102 HAS SOPS 19102 HAS SOUS 16431 HAS SOUPS 16431 WITH SCORE 16450.102
AT ITER 1723 NEW BEST:: SOT 47568 SOS 19052 HAS SOPS 19052 HAS SOUS 16391 HAS SOUPS 16391 WITH SCORE 16410.052
AT ITER 1731 NEW BEST:: SOT 47553 SOS 19027 HAS SOPS 19027 HAS SOUS 16366 HAS SOUPS 16366 WITH SCORE 16385.027
AT ITER 1742 NEW BEST:: SOT 47553 SOS 18966 HAS SOPS 18966 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16361.966
AT ITER 1744 NEW BEST:: SOT 47546 SOS 18959 HAS SOPS 18959 HAS SOUS 16341 HAS SOUPS 16341 WITH SCORE 16359.959
AT ITER 1754 NEW BEST:: SOT 47524 SOS 18904 HAS SOPS 18904 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16323.904
AT ITER 1759 NEW BEST:: SOT 47522 SOS 18901 HAS SOPS 18901 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16320.901
AT ITER 1770 NEW BEST:: SOT 47522 SOS 18895 HAS SOPS 18895 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16320.895
AT ITER 1779 NEW BEST:: SOT 47518 SOS 18889 HAS SOPS 18889 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16314.889
AT ITER 1786 NEW BEST:: SOT 47559 SOS 18885 HAS SOPS 18885 HAS SOUS 16282 HAS SOUPS 16282 WITH SCORE 16300.885
AT ITER 1791 NEW BEST:: SOT 47548 SOS 18879 HAS SOPS 18879 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16273.879
AT ITER 1797 NEW BEST:: SOT 47548 SOS 18875 HAS SOPS 18875 HAS SOUS 16251 HAS SOUPS 16251 WITH SCORE 16269.875
AT ITER 1798 NEW BEST:: SOT 47525 SOS 18844 HAS SOPS 18844 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16238.844
AT ITER 1813 NEW BEST:: SOT 47527 SOS 18803 HAS SOPS 18803 HAS SOUS 16179 HAS SOUPS 16179 WITH SCORE 16197.803
AT ITER 1817 NEW BEST:: SOT 47506 SOS 18638 HAS SOPS 18638 HAS SOUS 16072 HAS SOUPS 16072 WITH SCORE 16090.638
AT ITER 1818 NEW BEST:: SOT 47506 SOS 18630 HAS SOPS 18630 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16082.63
AT ITER 1847 NEW BEST:: SOT 47511 SOS 18631 HAS SOPS 18631 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16077.631
AT ITER 1857 NEW BEST:: SOT 47511 SOS 18618 HAS SOPS 18618 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16077.618
AT ITER 1860 NEW BEST:: SOT 47511 SOS 18594 HAS SOPS 18594 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16069.594
AT ITER 1861 NEW BEST:: SOT 47435 SOS 18500 HAS SOPS 18500 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 15975.5
AT ITER 1865 NEW BEST:: SOT 47419 SOS 18484 HAS SOPS 18484 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15959.484
AT ITER 1867 NEW BEST:: SOT 47419 SOS 18484 HAS SOPS 18484 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15956.484
AT ITER 1887 NEW BEST:: SOT 47427 SOS 18488 HAS SOPS 18488 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15955.488
AT ITER 1898 NEW BEST:: SOT 47409 SOS 18390 HAS SOPS 18390 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15924.39
AT ITER 1914 NEW BEST:: SOT 47386 SOS 18269 HAS SOPS 18269 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15824.269
AT ITER 1916 NEW BEST:: SOT 47332 SOS 18215 HAS SOPS 18215 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15770.215
AT ITER 1918 NEW BEST:: SOT 47330 SOS 18119 HAS SOPS 18119 HAS SOUS 15704 HAS SOUPS 15704 WITH SCORE 15722.119
AT ITER 1940 NEW BEST:: SOT 47330 SOS 18007 HAS SOPS 18007 HAS SOUS 15704 HAS SOUPS 15704 WITH SCORE 15722.007
AT ITER 1947 NEW BEST:: SOT 47332 SOS 18015 HAS SOPS 18015 HAS SOUS 15691 HAS SOUPS 15691 WITH SCORE 15709.015
AT ITER 1953 NEW BEST:: SOT 47273 SOS 17956 HAS SOPS 17956 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15649.956
AT ITER 1965 NEW BEST:: SOT 47270 SOS 17953 HAS SOPS 17953 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15646.953
AT ITER 1980 NEW BEST:: SOT 47256 SOS 17924 HAS SOPS 17924 HAS SOUS 15600 HAS SOUPS 15600 WITH SCORE 15617.924
AT ITER 1982 NEW BEST:: SOT 47233 SOS 17903 HAS SOPS 17903 HAS SOUS 15558 HAS SOUPS 15558 WITH SCORE 15575.903
AT ITER 1988 NEW BEST:: SOT 47237 SOS 17830 HAS SOPS 17830 HAS SOUS 15510 HAS SOUPS 15510 WITH SCORE 15527.83
AT ITER 1996 NEW BEST:: SOT 47142 SOS 17746 HAS SOPS 17746 HAS SOUS 15486 HAS SOUPS 15486 WITH SCORE 15503.746
AT ITER 2004 NEW BEST:: SOT 47134 SOS 17686 HAS SOPS 17686 HAS SOUS 15458 HAS SOUPS 15458 WITH SCORE 15475.686
AT ITER 2022 NEW BEST:: SOT 47123 SOS 17631 HAS SOPS 17631 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15467.631
AT ITER 2044 NEW BEST:: SOT 47102 SOS 17546 HAS SOPS 17546 HAS SOUS 15370 HAS SOUPS 15370 WITH SCORE 15387.546
AT ITER 2045 NEW BEST:: SOT 47117 SOS 17507 HAS SOPS 17507 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15358.507
AT ITER 2057 NEW BEST:: SOT 47117 SOS 17491 HAS SOPS 17491 HAS SOUS 15340 HAS SOUPS 15340 WITH SCORE 15357.491
AT ITER 2058 NEW BEST:: SOT 47124 SOS 17445 HAS SOPS 17445 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15353.445
AT ITER 2062 NEW BEST:: SOT 47122 SOS 17443 HAS SOPS 17443 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15351.443
AT ITER 2093 NEW BEST:: SOT 47118 SOS 17438 HAS SOPS 17438 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15346.438
AT ITER 2100 NEW BEST:: SOT 47089 SOS 17406 HAS SOPS 17406 HAS SOUS 15288 HAS SOUPS 15288 WITH SCORE 15305.406
AT ITER 2107 NEW BEST:: SOT 47088 SOS 17403 HAS SOPS 17403 HAS SOUS 15285 HAS SOUPS 15285 WITH SCORE 15302.403
AT ITER 2113 NEW BEST:: SOT 47080 SOS 17396 HAS SOPS 17396 HAS SOUS 15278 HAS SOUPS 15278 WITH SCORE 15295.396
AT ITER 2115 NEW BEST:: SOT 47060 SOS 17371 HAS SOPS 17371 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15272.371
AT ITER 2120 NEW BEST:: SOT 47063 SOS 17304 HAS SOPS 17304 HAS SOUS 15209 HAS SOUPS 15209 WITH SCORE 15226.304
AT ITER 2121 NEW BEST:: SOT 46996 SOS 17211 HAS SOPS 17211 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15133.211
AT ITER 2124 NEW BEST:: SOT 46996 SOS 17156 HAS SOPS 17156 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15102.156
AT ITER 2125 NEW BEST:: SOT 47008 SOS 17140 HAS SOPS 17140 HAS SOUS 15080 HAS SOUPS 15080 WITH SCORE 15097.14
AT ITER 2134 NEW BEST:: SOT 46997 SOS 17129 HAS SOPS 17129 HAS SOUS 15069 HAS SOUPS 15069 WITH SCORE 15086.129
AT ITER 2151 NEW BEST:: SOT 46995 SOS 17127 HAS SOPS 17127 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15084.127
AT ITER 2156 NEW BEST:: SOT 46987 SOS 17115 HAS SOPS 17115 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15068.115
AT ITER 2204 NEW BEST:: SOT 46985 SOS 17113 HAS SOPS 17113 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15066.113
AT ITER 2207 NEW BEST:: SOT 46973 SOS 17088 HAS SOPS 17088 HAS SOUS 15021 HAS SOUPS 15021 WITH SCORE 15038.088
AT ITER 2263 NEW BEST:: SOT 46973 SOS 17083 HAS SOPS 17083 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15033.083
AT ITER 2278 NEW BEST:: SOT 46962 SOS 17056 HAS SOPS 17056 HAS SOUS 15016 HAS SOUPS 15016 WITH SCORE 15033.056
AT ITER 2282 NEW BEST:: SOT 46949 SOS 16982 HAS SOPS 16982 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15025.982
AT ITER 2283 NEW BEST:: SOT 46926 SOS 16905 HAS SOPS 16905 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14948.905
AT ITER 2305 NEW BEST:: SOT 46931 SOS 16877 HAS SOPS 16877 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14925.877
AT ITER 2309 NEW BEST:: SOT 46929 SOS 16875 HAS SOPS 16875 HAS SOUS 14907 HAS SOUPS 14907 WITH SCORE 14923.875
AT ITER 2321 NEW BEST:: SOT 46884 SOS 16878 HAS SOPS 16878 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14890.878
AT ITER 2322 NEW BEST:: SOT 46848 SOS 16842 HAS SOPS 16842 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14854.842
AT ITER 2343 NEW BEST:: SOT 46806 SOS 16800 HAS SOPS 16800 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14812.8
AT ITER 2368 NEW BEST:: SOT 46816 SOS 16783 HAS SOPS 16783 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14795.783
AT ITER 2392 NEW BEST:: SOT 46815 SOS 16765 HAS SOPS 16765 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14791.765
AT ITER 2395 NEW BEST:: SOT 46803 SOS 16747 HAS SOPS 16747 HAS SOUS 14763 HAS SOUPS 14763 WITH SCORE 14779.747
AT ITER 2398 NEW BEST:: SOT 46781 SOS 16753 HAS SOPS 16753 HAS SOUS 14755 HAS SOUPS 14755 WITH SCORE 14771.753
AT ITER 2403 NEW BEST:: SOT 46834 SOS 16780 HAS SOPS 16780 HAS SOUS 14722 HAS SOUPS 14722 WITH SCORE 14738.78
AT ITER 2408 NEW BEST:: SOT 46820 SOS 16766 HAS SOPS 16766 HAS SOUS 14708 HAS SOUPS 14708 WITH SCORE 14724.766
AT ITER 2412 NEW BEST:: SOT 46795 SOS 16666 HAS SOPS 16666 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14639.666
AT ITER 2459 NEW BEST:: SOT 46784 SOS 16611 HAS SOPS 16611 HAS SOUS 14567 HAS SOUPS 14567 WITH SCORE 14583.611
AT ITER 2467 NEW BEST:: SOT 46776 SOS 16603 HAS SOPS 16603 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14575.603
AT ITER 2477 NEW BEST:: SOT 46788 SOS 16643 HAS SOPS 16643 HAS SOUS 14517 HAS SOUPS 14517 WITH SCORE 14533.643
AT ITER 2479 NEW BEST:: SOT 46783 SOS 16638 HAS SOPS 16638 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14528.638
AT ITER 2485 NEW BEST:: SOT 46783 SOS 16636 HAS SOPS 16636 HAS SOUS 14510 HAS SOUPS 14510 WITH SCORE 14526.636
AT ITER 2491 NEW BEST:: SOT 46755 SOS 16583 HAS SOPS 16583 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14473.583
AT ITER 2492 NEW BEST:: SOT 46746 SOS 16572 HAS SOPS 16572 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14462.572
AT ITER 2496 NEW BEST:: SOT 46734 SOS 16564 HAS SOPS 16564 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14454.564
AT ITER 2501 NEW BEST:: SOT 46709 SOS 16515 HAS SOPS 16515 HAS SOUS 14387 HAS SOUPS 14387 WITH SCORE 14403.515
AT ITER 2525 NEW BEST:: SOT 46707 SOS 16489 HAS SOPS 16489 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14380.489
AT ITER 2529 NEW BEST:: SOT 46772 SOS 16506 HAS SOPS 16506 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14369.506
AT ITER 2530 NEW BEST:: SOT 46757 SOS 16468 HAS SOPS 16468 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14347.468
AT ITER 2562 NEW BEST:: SOT 46757 SOS 16462 HAS SOPS 16462 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14344.462
AT ITER 2591 NEW BEST:: SOT 46757 SOS 16222 HAS SOPS 16222 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14326.222
AT ITER 2611 NEW BEST:: SOT 46735 SOS 16178 HAS SOPS 16178 HAS SOUS 14264 HAS SOUPS 14264 WITH SCORE 14280.178
AT ITER 2628 NEW BEST:: SOT 46735 SOS 16174 HAS SOPS 16174 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14276.174
AT ITER 2643 NEW BEST:: SOT 46728 SOS 16167 HAS SOPS 16167 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14269.167
AT ITER 2679 NEW BEST:: SOT 46718 SOS 16153 HAS SOPS 16153 HAS SOUS 14239 HAS SOUPS 14239 WITH SCORE 14255.153
AT ITER 2685 NEW BEST:: SOT 46718 SOS 16114 HAS SOPS 16114 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14240.114
AT ITER 2700 NEW BEST:: SOT 46711 SOS 16101 HAS SOPS 16101 HAS SOUS 14208 HAS SOUPS 14208 WITH SCORE 14224.101
AT ITER 2714 NEW BEST:: SOT 46694 SOS 16084 HAS SOPS 16084 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14207.084
AT ITER 2718 NEW BEST:: SOT 46691 SOS 16072 HAS SOPS 16072 HAS SOUS 14185 HAS SOUPS 14185 WITH SCORE 14201.072
AT ITER 2723 NEW BEST:: SOT 46689 SOS 16070 HAS SOPS 16070 HAS SOUS 14183 HAS SOUPS 14183 WITH SCORE 14199.07
AT ITER 2726 NEW BEST:: SOT 46681 SOS 16062 HAS SOPS 16062 HAS SOUS 14175 HAS SOUPS 14175 WITH SCORE 14191.062
AT ITER 2764 NEW BEST:: SOT 46647 SOS 16044 HAS SOPS 16044 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14159.044
AT ITER 2773 NEW BEST:: SOT 46627 SOS 16015 HAS SOPS 16015 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14130.015
AT ITER 2779 NEW BEST:: SOT 46626 SOS 16014 HAS SOPS 16014 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14129.014
AT ITER 2795 NEW BEST:: SOT 46606 SOS 15983 HAS SOPS 15983 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14097.983
AT ITER 2803 NEW BEST:: SOT 46590 SOS 15953 HAS SOPS 15953 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14074.953
AT ITER 2808 NEW BEST:: SOT 46587 SOS 15925 HAS SOPS 15925 HAS SOUS 14030 HAS SOUPS 14030 WITH SCORE 14045.925
AT ITER 2812 NEW BEST:: SOT 46593 SOS 15923 HAS SOPS 15923 HAS SOUS 14028 HAS SOUPS 14028 WITH SCORE 14043.923
AT ITER 2813 NEW BEST:: SOT 46593 SOS 15861 HAS SOPS 15861 HAS SOUS 13966 HAS SOUPS 13966 WITH SCORE 13981.861
AT ITER 2823 NEW BEST:: SOT 46553 SOS 15834 HAS SOPS 15834 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13973.834
AT ITER 2841 NEW BEST:: SOT 46552 SOS 15784 HAS SOPS 15784 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13885.784
AT ITER 2848 NEW BEST:: SOT 46552 SOS 15754 HAS SOPS 15754 HAS SOUS 13868 HAS SOUPS 13868 WITH SCORE 13883.754
AT ITER 2851 NEW BEST:: SOT 46507 SOS 15709 HAS SOPS 15709 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13838.709
AT ITER 2858 NEW BEST:: SOT 46505 SOS 15705 HAS SOPS 15705 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13835.705
AT ITER 2961 NEW BEST:: SOT 46353 SOS 15618 HAS SOPS 15618 HAS SOUS 13733 HAS SOUPS 13733 WITH SCORE 13748.618
AT ITER 2968 NEW BEST:: SOT 46352 SOS 15617 HAS SOPS 15617 HAS SOUS 13732 HAS SOUPS 13732 WITH SCORE 13747.617
AT ITER 2969 NEW BEST:: SOT 46312 SOS 15534 HAS SOPS 15534 HAS SOUS 13644 HAS SOUPS 13644 WITH SCORE 13659.534
AT ITER 2973 NEW BEST:: SOT 46293 SOS 15430 HAS SOPS 15430 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13609.43
AT ITER 3015 NEW BEST:: SOT 46293 SOS 15514 HAS SOPS 15514 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13606.514
AT ITER 3041 NEW BEST:: SOT 46287 SOS 15508 HAS SOPS 15508 HAS SOUS 13585 HAS SOUPS 13585 WITH SCORE 13600.508
AT ITER 3048 NEW BEST:: SOT 46287 SOS 15506 HAS SOPS 15506 HAS SOUS 13581 HAS SOUPS 13581 WITH SCORE 13596.506
AT ITER 3054 NEW BEST:: SOT 46281 SOS 15497 HAS SOPS 15497 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13587.497
AT ITER 3081 NEW BEST:: SOT 46260 SOS 15476 HAS SOPS 15476 HAS SOUS 13551 HAS SOUPS 13551 WITH SCORE 13566.476
AT ITER 3084 NEW BEST:: SOT 46246 SOS 15436 HAS SOPS 15436 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13526.436
AT ITER 3091 NEW BEST:: SOT 46240 SOS 15424 HAS SOPS 15424 HAS SOUS 13499 HAS SOUPS 13499 WITH SCORE 13514.424
AT ITER 3116 NEW BEST:: SOT 46240 SOS 15411 HAS SOPS 15411 HAS SOUS 13499 HAS SOUPS 13499 WITH SCORE 13514.411
AT ITER 3130 NEW BEST:: SOT 46240 SOS 15397 HAS SOPS 15397 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13507.397
AT ITER 3149 NEW BEST:: SOT 46248 SOS 15395 HAS SOPS 15395 HAS SOUS 13466 HAS SOUPS 13466 WITH SCORE 13481.395
AT ITER 3177 NEW BEST:: SOT 46248 SOS 15390 HAS SOPS 15390 HAS SOUS 13428 HAS SOUPS 13428 WITH SCORE 13443.39
AT ITER 3191 NEW BEST:: SOT 46210 SOS 15253 HAS SOPS 15253 HAS SOUS 13314 HAS SOUPS 13314 WITH SCORE 13329.253
AT ITER 3197 NEW BEST:: SOT 46197 SOS 15217 HAS SOPS 15217 HAS SOUS 13306 HAS SOUPS 13306 WITH SCORE 13321.217
AT ITER 3213 NEW BEST:: SOT 46187 SOS 15207 HAS SOPS 15207 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13311.207
AT ITER 3220 NEW BEST:: SOT 46177 SOS 15197 HAS SOPS 15197 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13301.197
AT ITER 3245 NEW BEST:: SOT 46121 SOS 15112 HAS SOPS 15112 HAS SOUS 13201 HAS SOUPS 13201 WITH SCORE 13216.112
AT ITER 3276 NEW BEST:: SOT 46097 SOS 15088 HAS SOPS 15088 HAS SOUS 13177 HAS SOUPS 13177 WITH SCORE 13192.088
AT ITER 3282 NEW BEST:: SOT 46097 SOS 15068 HAS SOPS 15068 HAS SOUS 13152 HAS SOUPS 13152 WITH SCORE 13167.068
AT ITER 3292 NEW BEST:: SOT 46097 SOS 15024 HAS SOPS 15024 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13133.024
AT ITER 3298 NEW BEST:: SOT 46062 SOS 14982 HAS SOPS 14982 HAS SOUS 13069 HAS SOUPS 13069 WITH SCORE 13083.982
AT ITER 3313 NEW BEST:: SOT 46060 SOS 14969 HAS SOPS 14969 HAS SOUS 13059 HAS SOUPS 13059 WITH SCORE 13073.969
AT ITER 3318 NEW BEST:: SOT 46056 SOS 14964 HAS SOPS 14964 HAS SOUS 13054 HAS SOUPS 13054 WITH SCORE 13068.964
AT ITER 3319 NEW BEST:: SOT 46044 SOS 14951 HAS SOPS 14951 HAS SOUS 13041 HAS SOUPS 13041 WITH SCORE 13055.951
AT ITER 3324 NEW BEST:: SOT 46030 SOS 14921 HAS SOPS 14921 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13040.921
AT ITER 3333 NEW BEST:: SOT 46030 SOS 14917 HAS SOPS 14917 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13032.917
AT ITER 3357 NEW BEST:: SOT 45994 SOS 14802 HAS SOPS 14802 HAS SOUS 12927 HAS SOUPS 12927 WITH SCORE 12941.802
AT ITER 3365 NEW BEST:: SOT 45994 SOS 14812 HAS SOPS 14812 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12934.812
AT ITER 3415 NEW BEST:: SOT 45994 SOS 14784 HAS SOPS 14784 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12930.784
AT ITER 3416 NEW BEST:: SOT 45929 SOS 14708 HAS SOPS 14708 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12854.708
AT ITER 3423 NEW BEST:: SOT 45929 SOS 14706 HAS SOPS 14706 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12854.706
AT ITER 3428 NEW BEST:: SOT 45895 SOS 14607 HAS SOPS 14607 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12824.607
AT ITER 3441 NEW BEST:: SOT 45894 SOS 14606 HAS SOPS 14606 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12823.606
AT ITER 3445 NEW BEST:: SOT 45884 SOS 14604 HAS SOPS 14604 HAS SOUS 12808 HAS SOUPS 12808 WITH SCORE 12822.604
AT ITER 3466 NEW BEST:: SOT 45879 SOS 14585 HAS SOPS 14585 HAS SOUS 12789 HAS SOUPS 12789 WITH SCORE 12803.585
AT ITER 3493 NEW BEST:: SOT 45879 SOS 14637 HAS SOPS 14637 HAS SOUS 12787 HAS SOUPS 12787 WITH SCORE 12801.637
AT ITER 3496 NEW BEST:: SOT 45858 SOS 14616 HAS SOPS 14616 HAS SOUS 12766 HAS SOUPS 12766 WITH SCORE 12780.616
AT ITER 3524 NEW BEST:: SOT 45858 SOS 14604 HAS SOPS 14604 HAS SOUS 12760 HAS SOUPS 12760 WITH SCORE 12774.604
AT ITER 3525 NEW BEST:: SOT 45854 SOS 14600 HAS SOPS 14600 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12764.6
AT ITER 3536 NEW BEST:: SOT 45852 SOS 14594 HAS SOPS 14594 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12754.594
AT ITER 3539 NEW BEST:: SOT 45898 SOS 14522 HAS SOPS 14522 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12679.522
AT ITER 3546 NEW BEST:: SOT 45892 SOS 14516 HAS SOPS 14516 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12678.516
AT ITER 3561 NEW BEST:: SOT 45918 SOS 14555 HAS SOPS 14555 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12669.555
AT ITER 3563 NEW BEST:: SOT 45894 SOS 14467 HAS SOPS 14467 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12581.467
AT ITER 3570 NEW BEST:: SOT 45872 SOS 14445 HAS SOPS 14445 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12559.445
AT ITER 3577 NEW BEST:: SOT 45872 SOS 14433 HAS SOPS 14433 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12556.433
AT ITER 3581 NEW BEST:: SOT 45872 SOS 14377 HAS SOPS 14377 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12542.377
AT ITER 3586 NEW BEST:: SOT 45872 SOS 14369 HAS SOPS 14369 HAS SOUS 12521 HAS SOUPS 12521 WITH SCORE 12535.369
AT ITER 3595 NEW BEST:: SOT 45849 SOS 14339 HAS SOPS 14339 HAS SOUS 12487 HAS SOUPS 12487 WITH SCORE 12501.339
AT ITER 3602 NEW BEST:: SOT 45801 SOS 14291 HAS SOPS 14291 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12453.291
AT ITER 3612 NEW BEST:: SOT 45785 SOS 14209 HAS SOPS 14209 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12371.209
AT ITER 3621 NEW BEST:: SOT 45773 SOS 14195 HAS SOPS 14195 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12357.195
AT ITER 3627 NEW BEST:: SOT 45776 SOS 14191 HAS SOPS 14191 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12352.191
AT ITER 3635 NEW BEST:: SOT 45760 SOS 14233 HAS SOPS 14233 HAS SOUS 12330 HAS SOUPS 12330 WITH SCORE 12344.233
AT ITER 3641 NEW BEST:: SOT 45712 SOS 14174 HAS SOPS 14174 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12290.174
AT ITER 3678 NEW BEST:: SOT 45697 SOS 14153 HAS SOPS 14153 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12269.153
AT ITER 3689 NEW BEST:: SOT 45690 SOS 14106 HAS SOPS 14106 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12262.106
AT ITER 3695 NEW BEST:: SOT 45694 SOS 14104 HAS SOPS 14104 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12260.104
AT ITER 3700 NEW BEST:: SOT 45689 SOS 14093 HAS SOPS 14093 HAS SOUS 12244 HAS SOUPS 12244 WITH SCORE 12258.093
AT ITER 3704 NEW BEST:: SOT 45689 SOS 14092 HAS SOPS 14092 HAS SOUS 12242 HAS SOUPS 12242 WITH SCORE 12256.092
AT ITER 3716 NEW BEST:: SOT 45689 SOS 14090 HAS SOPS 14090 HAS SOUS 12240 HAS SOUPS 12240 WITH SCORE 12254.09
AT ITER 3724 NEW BEST:: SOT 45649 SOS 14071 HAS SOPS 14071 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12235.071
AT ITER 3727 NEW BEST:: SOT 45628 SOS 14029 HAS SOPS 14029 HAS SOUS 12179 HAS SOUPS 12179 WITH SCORE 12193.029
AT ITER 3729 NEW BEST:: SOT 45624 SOS 14025 HAS SOPS 14025 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12189.025
AT ITER 3743 NEW BEST:: SOT 45624 SOS 14003 HAS SOPS 14003 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12189.003
AT ITER 3773 NEW BEST:: SOT 45612 SOS 13968 HAS SOPS 13968 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12153.968
AT ITER 3787 NEW BEST:: SOT 45587 SOS 13909 HAS SOPS 13909 HAS SOUS 12104 HAS SOUPS 12104 WITH SCORE 12117.909
AT ITER 3795 NEW BEST:: SOT 45602 SOS 13915 HAS SOPS 13915 HAS SOUS 12095 HAS SOUPS 12095 WITH SCORE 12108.915
AT ITER 3817 NEW BEST:: SOT 45602 SOS 13922 HAS SOPS 13922 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12107.922
AT ITER 3856 NEW BEST:: SOT 45592 SOS 13859 HAS SOPS 13859 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12084.859
AT ITER 3878 NEW BEST:: SOT 45591 SOS 13858 HAS SOPS 13858 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12082.858
AT ITER 3923 NEW BEST:: SOT 45577 SOS 13844 HAS SOPS 13844 HAS SOUS 12055 HAS SOUPS 12055 WITH SCORE 12068.844
AT ITER 3941 NEW BEST:: SOT 45496 SOS 13738 HAS SOPS 13738 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11962.738
AT ITER 3954 NEW BEST:: SOT 45491 SOS 13725 HAS SOPS 13725 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11949.725
AT ITER 3969 NEW BEST:: SOT 45537 SOS 13722 HAS SOPS 13722 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11911.722
AT ITER 3999 NEW BEST:: SOT 45535 SOS 13718 HAS SOPS 13718 HAS SOUS 11894 HAS SOUPS 11894 WITH SCORE 11907.718
AT ITER 4049 NEW BEST:: SOT 45529 SOS 13700 HAS SOPS 13700 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11901.7
AT ITER 4084 NEW BEST:: SOT 45530 SOS 13673 HAS SOPS 13673 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11888.673
AT ITER 4089 NEW BEST:: SOT 45526 SOS 13669 HAS SOPS 13669 HAS SOUS 11874 HAS SOUPS 11874 WITH SCORE 11887.669
AT ITER 4094 NEW BEST:: SOT 45599 SOS 13636 HAS SOPS 13636 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11864.636
AT ITER 4097 NEW BEST:: SOT 45582 SOS 13616 HAS SOPS 13616 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11843.616
AT ITER 4110 NEW BEST:: SOT 45557 SOS 13511 HAS SOPS 13511 HAS SOUS 11796 HAS SOUPS 11796 WITH SCORE 11809.511
AT ITER 4117 NEW BEST:: SOT 45562 SOS 13511 HAS SOPS 13511 HAS SOUS 11791 HAS SOUPS 11791 WITH SCORE 11804.511
AT ITER 4125 NEW BEST:: SOT 45569 SOS 13504 HAS SOPS 13504 HAS SOUS 11791 HAS SOUPS 11791 WITH SCORE 11804.504
AT ITER 4136 NEW BEST:: SOT 45582 SOS 13517 HAS SOPS 13517 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11783.517
AT ITER 4174 NEW BEST:: SOT 45576 SOS 13511 HAS SOPS 13511 HAS SOUS 11764 HAS SOUPS 11764 WITH SCORE 11777.511
AT ITER 4185 NEW BEST:: SOT 45560 SOS 13439 HAS SOPS 13439 HAS SOUS 11725 HAS SOUPS 11725 WITH SCORE 11738.439
AT ITER 4193 NEW BEST:: SOT 45555 SOS 13438 HAS SOPS 13438 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11737.438
AT ITER 4206 NEW BEST:: SOT 45539 SOS 13458 HAS SOPS 13458 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11724.458
AT ITER 4220 NEW BEST:: SOT 45440 SOS 13308 HAS SOPS 13308 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11574.308
AT ITER 4236 NEW BEST:: SOT 45388 SOS 13216 HAS SOPS 13216 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11492.216
AT ITER 4300 NEW BEST:: SOT 45380 SOS 13204 HAS SOPS 13204 HAS SOUS 11467 HAS SOUPS 11467 WITH SCORE 11480.204
AT ITER 4317 NEW BEST:: SOT 45380 SOS 13192 HAS SOPS 13192 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11468.192
AT ITER 4326 NEW BEST:: SOT 45380 SOS 13177 HAS SOPS 13177 HAS SOUS 11443 HAS SOUPS 11443 WITH SCORE 11456.177
AT ITER 4329 NEW BEST:: SOT 45378 SOS 13129 HAS SOPS 13129 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11435.129
AT ITER 4348 NEW BEST:: SOT 45376 SOS 13127 HAS SOPS 13127 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11433.127
AT ITER 4351 NEW BEST:: SOT 45350 SOS 13095 HAS SOPS 13095 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11403.095
AT ITER 4367 NEW BEST:: SOT 45298 SOS 12981 HAS SOPS 12981 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11288.981
AT ITER 4462 NEW BEST:: SOT 45310 SOS 12975 HAS SOPS 12975 HAS SOUS 11258 HAS SOUPS 11258 WITH SCORE 11270.975
AT ITER 4484 NEW BEST:: SOT 45300 SOS 12957 HAS SOPS 12957 HAS SOUS 11244 HAS SOUPS 11244 WITH SCORE 11256.957
AT ITER 4491 NEW BEST:: SOT 45300 SOS 12910 HAS SOPS 12910 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11217.91
AT ITER 4493 NEW BEST:: SOT 45300 SOS 12908 HAS SOPS 12908 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11215.908
AT ITER 4501 NEW BEST:: SOT 45298 SOS 12906 HAS SOPS 12906 HAS SOUS 11201 HAS SOUPS 11201 WITH SCORE 11213.906
AT ITER 4528 NEW BEST:: SOT 45292 SOS 12897 HAS SOPS 12897 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11204.897
AT ITER 4546 NEW BEST:: SOT 45280 SOS 12879 HAS SOPS 12879 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11186.879
AT ITER 4556 NEW BEST:: SOT 45289 SOS 12873 HAS SOPS 12873 HAS SOUS 11138 HAS SOUPS 11138 WITH SCORE 11150.873
AT ITER 4563 NEW BEST:: SOT 45277 SOS 12837 HAS SOPS 12837 HAS SOUS 11110 HAS SOUPS 11110 WITH SCORE 11122.837
AT ITER 4571 NEW BEST:: SOT 45273 SOS 12833 HAS SOPS 12833 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11118.833
AT ITER 4579 NEW BEST:: SOT 45273 SOS 12831 HAS SOPS 12831 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11118.831
AT ITER 4584 NEW BEST:: SOT 45253 SOS 12733 HAS SOPS 12733 HAS SOUS 11060 HAS SOUPS 11060 WITH SCORE 11072.733
AT ITER 4588 NEW BEST:: SOT 45246 SOS 12720 HAS SOPS 12720 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11062.72
AT ITER 4613 NEW BEST:: SOT 45245 SOS 12682 HAS SOPS 12682 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11057.682
AT ITER 4622 NEW BEST:: SOT 45240 SOS 12677 HAS SOPS 12677 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11052.677
AT ITER 4630 NEW BEST:: SOT 45240 SOS 12677 HAS SOPS 12677 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11048.677
AT ITER 4677 NEW BEST:: SOT 45228 SOS 12656 HAS SOPS 12656 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11027.656
AT ITER 4735 NEW BEST:: SOT 45223 SOS 12650 HAS SOPS 12650 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11021.65
AT ITER 4790 NEW BEST:: SOT 45233 SOS 12602 HAS SOPS 12602 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11021.602
AT ITER 4808 NEW BEST:: SOT 45224 SOS 12578 HAS SOPS 12578 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10997.578
AT ITER 4821 NEW BEST:: SOT 45224 SOS 12530 HAS SOPS 12530 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10990.53
AT ITER 4832 NEW BEST:: SOT 45237 SOS 12516 HAS SOPS 12516 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10976.516
AT ITER 4845 NEW BEST:: SOT 45217 SOS 12409 HAS SOPS 12409 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10917.409
AT ITER 4860 NEW BEST:: SOT 45218 SOS 12410 HAS SOPS 12410 HAS SOUS 10904 HAS SOUPS 10904 WITH SCORE 10916.41
AT ITER 4871 NEW BEST:: SOT 45270 SOS 12406 HAS SOPS 12406 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10891.406
AT ITER 4891 NEW BEST:: SOT 45267 SOS 12403 HAS SOPS 12403 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10888.403
AT ITER 4919 NEW BEST:: SOT 45266 SOS 12402 HAS SOPS 12402 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10883.402
AT ITER 4931 NEW BEST:: SOT 45130 SOS 12354 HAS SOPS 12354 HAS SOUS 10823 HAS SOUPS 10823 WITH SCORE 10835.354
AT ITER 4937 NEW BEST:: SOT 45130 SOS 12345 HAS SOPS 12345 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10823.345
AT ITER 4949 NEW BEST:: SOT 45129 SOS 12358 HAS SOPS 12358 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10811.358
AT ITER 4978 NEW BEST:: SOT 45139 SOS 12366 HAS SOPS 12366 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10790.366
AT ITER 4998 NEW BEST:: SOT 45138 SOS 12365 HAS SOPS 12365 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10789.365
AT ITER 5003 NEW BEST:: SOT 45134 SOS 12357 HAS SOPS 12357 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10781.357
AT ITER 5026 NEW BEST:: SOT 45142 SOS 12357 HAS SOPS 12357 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10761.357
AT ITER 5031 NEW BEST:: SOT 45142 SOS 12345 HAS SOPS 12345 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10761.345
AT ITER 5053 NEW BEST:: SOT 45110 SOS 12345 HAS SOPS 12345 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10760.345
AT ITER 5059 NEW BEST:: SOT 45144 SOS 12360 HAS SOPS 12360 HAS SOUS 10745 HAS SOUPS 10745 WITH SCORE 10757.36
AT ITER 5072 NEW BEST:: SOT 45133 SOS 12349 HAS SOPS 12349 HAS SOUS 10734 HAS SOUPS 10734 WITH SCORE 10746.349
AT ITER 5093 NEW BEST:: SOT 45119 SOS 12332 HAS SOPS 12332 HAS SOUS 10720 HAS SOUPS 10720 WITH SCORE 10732.332
AT ITER 5100 NEW BEST:: SOT 45116 SOS 12312 HAS SOPS 12312 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10707.312
AT ITER 5101 NEW BEST:: SOT 45116 SOS 12318 HAS SOPS 12318 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10701.318
AT ITER 5119 NEW BEST:: SOT 45116 SOS 12312 HAS SOPS 12312 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10695.312
AT ITER 5124 NEW BEST:: SOT 45113 SOS 12309 HAS SOPS 12309 HAS SOUS 10680 HAS SOUPS 10680 WITH SCORE 10692.309
AT ITER 5141 NEW BEST:: SOT 45111 SOS 12301 HAS SOPS 12301 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10684.301
AT ITER 5187 NEW BEST:: SOT 45065 SOS 12176 HAS SOPS 12176 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10606.176
AT ITER 5192 NEW BEST:: SOT 45064 SOS 12167 HAS SOPS 12167 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10603.167
AT ITER 5195 NEW BEST:: SOT 45054 SOS 12137 HAS SOPS 12137 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10585.137
AT ITER 5213 NEW BEST:: SOT 45051 SOS 12131 HAS SOPS 12131 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10576.131
AT ITER 5306 NEW BEST:: SOT 45044 SOS 12124 HAS SOPS 12124 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10569.124
AT ITER 5334 NEW BEST:: SOT 45044 SOS 12124 HAS SOPS 12124 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10567.124
AT ITER 5386 NEW BEST:: SOT 45038 SOS 12118 HAS SOPS 12118 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10566.118
AT ITER 5404 NEW BEST:: SOT 45037 SOS 12102 HAS SOPS 12102 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10550.102
AT ITER 5428 NEW BEST:: SOT 45086 SOS 11959 HAS SOPS 11959 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10509.959
AT ITER 5434 NEW BEST:: SOT 45084 SOS 11955 HAS SOPS 11955 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10505.955
AT ITER 5474 NEW BEST:: SOT 45078 SOS 11962 HAS SOPS 11962 HAS SOUS 10492 HAS SOUPS 10492 WITH SCORE 10503.962
AT ITER 5498 NEW BEST:: SOT 45077 SOS 11957 HAS SOPS 11957 HAS SOUS 10489 HAS SOUPS 10489 WITH SCORE 10500.957
AT ITER 5520 NEW BEST:: SOT 45074 SOS 11954 HAS SOPS 11954 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10497.954
AT ITER 5553 NEW BEST:: SOT 45073 SOS 11940 HAS SOPS 11940 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10492.94
AT ITER 5561 NEW BEST:: SOT 45071 SOS 11938 HAS SOPS 11938 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10490.938
AT ITER 5576 NEW BEST:: SOT 45056 SOS 11923 HAS SOPS 11923 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10475.923
AT ITER 5582 NEW BEST:: SOT 45052 SOS 11919 HAS SOPS 11919 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10475.919
AT ITER 5583 NEW BEST:: SOT 45011 SOS 11865 HAS SOPS 11865 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10421.865
AT ITER 5615 NEW BEST:: SOT 45011 SOS 11837 HAS SOPS 11837 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10406.837
AT ITER 5637 NEW BEST:: SOT 44986 SOS 11812 HAS SOPS 11812 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10384.812
AT ITER 5655 NEW BEST:: SOT 44956 SOS 11782 HAS SOPS 11782 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10354.782
AT ITER 5691 NEW BEST:: SOT 44957 SOS 11783 HAS SOPS 11783 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10352.783
AT ITER 5698 NEW BEST:: SOT 44941 SOS 11759 HAS SOPS 11759 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10328.759
AT ITER 5767 NEW BEST:: SOT 44904 SOS 11702 HAS SOPS 11702 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10281.702
AT ITER 5787 NEW BEST:: SOT 44877 SOS 11621 HAS SOPS 11621 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10227.621
AT ITER 5802 NEW BEST:: SOT 44876 SOS 11620 HAS SOPS 11620 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10226.62
AT ITER 5809 NEW BEST:: SOT 44879 SOS 11612 HAS SOPS 11612 HAS SOUS 10206 HAS SOUPS 10206 WITH SCORE 10217.612
AT ITER 5814 NEW BEST:: SOT 44877 SOS 11609 HAS SOPS 11609 HAS SOUS 10202 HAS SOUPS 10202 WITH SCORE 10213.609
AT ITER 5818 NEW BEST:: SOT 44863 SOS 11588 HAS SOPS 11588 HAS SOUS 10181 HAS SOUPS 10181 WITH SCORE 10192.588
AT ITER 5858 NEW BEST:: SOT 44851 SOS 11557 HAS SOPS 11557 HAS SOUS 10150 HAS SOUPS 10150 WITH SCORE 10161.557
AT ITER 5870 NEW BEST:: SOT 44851 SOS 11500 HAS SOPS 11500 HAS SOUS 10128 HAS SOUPS 10128 WITH SCORE 10139.5
AT ITER 5872 NEW BEST:: SOT 44851 SOS 11500 HAS SOPS 11500 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10138.5
AT ITER 5895 NEW BEST:: SOT 44818 SOS 11269 HAS SOPS 11269 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10120.269
AT ITER 5897 NEW BEST:: SOT 44816 SOS 11263 HAS SOPS 11263 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10116.263
AT ITER 5913 NEW BEST:: SOT 44801 SOS 11250 HAS SOPS 11250 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10108.25
AT ITER 5926 NEW BEST:: SOT 44789 SOS 11226 HAS SOPS 11226 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10090.226
AT ITER 5962 NEW BEST:: SOT 44796 SOS 11231 HAS SOPS 11231 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10087.231
AT ITER 5974 NEW BEST:: SOT 44791 SOS 11221 HAS SOPS 11221 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10077.221
AT ITER 6021 NEW BEST:: SOT 44775 SOS 11184 HAS SOPS 11184 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10040.184
AT ITER 6040 NEW BEST:: SOT 44776 SOS 11168 HAS SOPS 11168 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10024.168
AT ITER 6077 NEW BEST:: SOT 44759 SOS 11123 HAS SOPS 11123 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10018.123
AT ITER 6079 NEW BEST:: SOT 44759 SOS 11121 HAS SOPS 11121 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10016.121
AT ITER 6091 NEW BEST:: SOT 44759 SOS 11132 HAS SOPS 11132 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10013.132
AT ITER 6115 NEW BEST:: SOT 44765 SOS 11123 HAS SOPS 11123 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10008.123
AT ITER 6165 NEW BEST:: SOT 44767 SOS 11074 HAS SOPS 11074 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 9998.074
AT ITER 6185 NEW BEST:: SOT 44766 SOS 11073 HAS SOPS 11073 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 9997.073
AT ITER 6195 NEW BEST:: SOT 44763 SOS 11070 HAS SOPS 11070 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9993.07
AT ITER 6280 NEW BEST:: SOT 44752 SOS 11037 HAS SOPS 11037 HAS SOUS 9955 HAS SOUPS 9955 WITH SCORE 9966.037
AT ITER 6285 NEW BEST:: SOT 44750 SOS 11035 HAS SOPS 11035 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9964.035
AT ITER 6288 NEW BEST:: SOT 44754 SOS 11017 HAS SOPS 11017 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9931.017
AT ITER 6335 NEW BEST:: SOT 44753 SOS 11014 HAS SOPS 11014 HAS SOUS 9918 HAS SOUPS 9918 WITH SCORE 9929.014
AT ITER 6344 NEW BEST:: SOT 44742 SOS 11003 HAS SOPS 11003 HAS SOUS 9907 HAS SOUPS 9907 WITH SCORE 9918.003
AT ITER 6349 NEW BEST:: SOT 44736 SOS 10956 HAS SOPS 10956 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9887.956
AT ITER 6392 NEW BEST:: SOT 44736 SOS 10954 HAS SOPS 10954 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9885.954
AT ITER 6409 NEW BEST:: SOT 44730 SOS 10945 HAS SOPS 10945 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9876.945
AT ITER 6436 NEW BEST:: SOT 44754 SOS 10948 HAS SOPS 10948 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9853.948
AT ITER 6491 NEW BEST:: SOT 44755 SOS 10955 HAS SOPS 10955 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9839.955
AT ITER 6508 NEW BEST:: SOT 44719 SOS 10929 HAS SOPS 10929 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9833.929
AT ITER 6538 NEW BEST:: SOT 44717 SOS 10927 HAS SOPS 10927 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9833.927
AT ITER 6618 NEW BEST:: SOT 44708 SOS 10910 HAS SOPS 10910 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9820.91
AT ITER 6627 NEW BEST:: SOT 44703 SOS 10905 HAS SOPS 10905 HAS SOUS 9805 HAS SOUPS 9805 WITH SCORE 9815.905
AT ITER 6637 NEW BEST:: SOT 44688 SOS 10886 HAS SOPS 10886 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9796.886
AT ITER 6638 NEW BEST:: SOT 44658 SOS 10863 HAS SOPS 10863 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9789.863
AT ITER 6669 NEW BEST:: SOT 44652 SOS 10857 HAS SOPS 10857 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.857
AT ITER 6702 NEW BEST:: SOT 44652 SOS 10853 HAS SOPS 10853 HAS SOUS 9769 HAS SOUPS 9769 WITH SCORE 9779.853
AT ITER 6741 NEW BEST:: SOT 44651 SOS 10852 HAS SOPS 10852 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9778.852
AT ITER 6771 NEW BEST:: SOT 44636 SOS 10846 HAS SOPS 10846 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9773.846
AT ITER 6775 NEW BEST:: SOT 44624 SOS 10843 HAS SOPS 10843 HAS SOUS 9751 HAS SOUPS 9751 WITH SCORE 9761.843
AT ITER 6823 NEW BEST:: SOT 44637 SOS 10872 HAS SOPS 10872 HAS SOUS 9748 HAS SOUPS 9748 WITH SCORE 9758.872
AT ITER 6846 NEW BEST:: SOT 44629 SOS 10860 HAS SOPS 10860 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9746.86
AT ITER 6903 NEW BEST:: SOT 44623 SOS 10809 HAS SOPS 10809 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.809
AT ITER 6940 NEW BEST:: SOT 44629 SOS 10820 HAS SOPS 10820 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9711.82
AT ITER 6976 NEW BEST:: SOT 44629 SOS 10818 HAS SOPS 10818 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9710.818
AT ITER 6992 NEW BEST:: SOT 44627 SOS 10810 HAS SOPS 10810 HAS SOUS 9694 HAS SOUPS 9694 WITH SCORE 9704.81
AT ITER 6996 NEW BEST:: SOT 44619 SOS 10796 HAS SOPS 10796 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9690.796
AT ITER 6997 NEW BEST:: SOT 44613 SOS 10767 HAS SOPS 10767 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9661.767
AT ITER 7011 NEW BEST:: SOT 44613 SOS 10754 HAS SOPS 10754 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9661.754
AT ITER 7021 NEW BEST:: SOT 44609 SOS 10750 HAS SOPS 10750 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9657.75
AT ITER 7047 NEW BEST:: SOT 44615 SOS 10750 HAS SOPS 10750 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9638.75
AT ITER 7070 NEW BEST:: SOT 44570 SOS 10696 HAS SOPS 10696 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9584.696
AT ITER 7111 NEW BEST:: SOT 44568 SOS 10691 HAS SOPS 10691 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9580.691
AT ITER 7151 NEW BEST:: SOT 44550 SOS 10673 HAS SOPS 10673 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9564.673
AT ITER 7189 NEW BEST:: SOT 44552 SOS 10622 HAS SOPS 10622 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9526.622
AT ITER 7198 NEW BEST:: SOT 44550 SOS 10620 HAS SOPS 10620 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9522.62
AT ITER 7210 NEW BEST:: SOT 44543 SOS 10603 HAS SOPS 10603 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9517.603
AT ITER 7235 NEW BEST:: SOT 44584 SOS 10612 HAS SOPS 10612 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9504.612
AT ITER 7261 NEW BEST:: SOT 44583 SOS 10601 HAS SOPS 10601 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9503.601
AT ITER 7278 NEW BEST:: SOT 44573 SOS 10600 HAS SOPS 10600 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9502.6
AT ITER 7283 NEW BEST:: SOT 44571 SOS 10597 HAS SOPS 10597 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9499.597
AT ITER 7317 NEW BEST:: SOT 44555 SOS 10548 HAS SOPS 10548 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9450.548
AT ITER 7353 NEW BEST:: SOT 44539 SOS 10512 HAS SOPS 10512 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9442.512
AT ITER 7365 NEW BEST:: SOT 44553 SOS 10514 HAS SOPS 10514 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9426.514
AT ITER 7374 NEW BEST:: SOT 44553 SOS 10510 HAS SOPS 10510 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9426.51
AT ITER 7409 NEW BEST:: SOT 44540 SOS 10492 HAS SOPS 10492 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9410.492
AT ITER 7420 NEW BEST:: SOT 44538 SOS 10490 HAS SOPS 10490 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9408.49
AT ITER 7429 NEW BEST:: SOT 44528 SOS 10482 HAS SOPS 10482 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9400.482
AT ITER 7441 NEW BEST:: SOT 44509 SOS 10463 HAS SOPS 10463 HAS SOUS 9371 HAS SOUPS 9371 WITH SCORE 9381.463
AT ITER 7479 NEW BEST:: SOT 44501 SOS 10384 HAS SOPS 10384 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9349.384
AT ITER 7490 NEW BEST:: SOT 44500 SOS 10386 HAS SOPS 10386 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9345.386
AT ITER 7535 NEW BEST:: SOT 44485 SOS 10371 HAS SOPS 10371 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9330.371
AT ITER 7564 NEW BEST:: SOT 44461 SOS 10350 HAS SOPS 10350 HAS SOUS 9303 HAS SOUPS 9303 WITH SCORE 9313.35
AT ITER 7574 NEW BEST:: SOT 44465 SOS 10338 HAS SOPS 10338 HAS SOUS 9288 HAS SOUPS 9288 WITH SCORE 9298.338
AT ITER 7588 NEW BEST:: SOT 44464 SOS 10329 HAS SOPS 10329 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9288.329
AT ITER 7620 NEW BEST:: SOT 44459 SOS 10324 HAS SOPS 10324 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9283.324
AT ITER 7645 NEW BEST:: SOT 44456 SOS 10318 HAS SOPS 10318 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9282.318
AT ITER 7682 NEW BEST:: SOT 44432 SOS 10267 HAS SOPS 10267 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9228.267
AT ITER 7763 NEW BEST:: SOT 44409 SOS 10249 HAS SOPS 10249 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9210.249
AT ITER 7770 NEW BEST:: SOT 44400 SOS 10229 HAS SOPS 10229 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9190.229
AT ITER 7782 NEW BEST:: SOT 44395 SOS 10224 HAS SOPS 10224 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9185.224
AT ITER 7810 NEW BEST:: SOT 44395 SOS 10223 HAS SOPS 10223 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9185.223
AT ITER 7821 NEW BEST:: SOT 44402 SOS 10196 HAS SOPS 10196 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9173.196
AT ITER 7830 NEW BEST:: SOT 44402 SOS 10182 HAS SOPS 10182 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9173.182
AT ITER 7836 NEW BEST:: SOT 44405 SOS 10171 HAS SOPS 10171 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9166.171
AT ITER 7845 NEW BEST:: SOT 44401 SOS 10164 HAS SOPS 10164 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9159.164
AT ITER 7870 NEW BEST:: SOT 44398 SOS 10152 HAS SOPS 10152 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9147.152
AT ITER 7888 NEW BEST:: SOT 44390 SOS 10143 HAS SOPS 10143 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9131.143
AT ITER 7891 NEW BEST:: SOT 44346 SOS 10055 HAS SOPS 10055 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9065.055
AT ITER 7911 NEW BEST:: SOT 44336 SOS 10056 HAS SOPS 10056 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9056.056
AT ITER 7925 NEW BEST:: SOT 44345 SOS 10036 HAS SOPS 10036 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9056.036
AT ITER 7953 NEW BEST:: SOT 44340 SOS 10029 HAS SOPS 10029 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9045.029
AT ITER 7970 NEW BEST:: SOT 44343 SOS 10032 HAS SOPS 10032 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9036.032
AT ITER 7981 NEW BEST:: SOT 44381 SOS 9952 HAS SOPS 9952 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9014.952
AT ITER 8107 NEW BEST:: SOT 44380 SOS 9943 HAS SOPS 9943 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9005.943
AT ITER 8121 NEW BEST:: SOT 44380 SOS 9932 HAS SOPS 9932 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9003.932
AT ITER 8161 NEW BEST:: SOT 44377 SOS 9929 HAS SOPS 9929 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9000.929
AT ITER 8170 NEW BEST:: SOT 44371 SOS 9913 HAS SOPS 9913 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8990.913
AT ITER 8212 NEW BEST:: SOT 44356 SOS 9898 HAS SOPS 9898 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8973.898
AT ITER 8231 NEW BEST:: SOT 44356 SOS 9898 HAS SOPS 9898 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8971.898
AT ITER 8234 NEW BEST:: SOT 44347 SOS 9890 HAS SOPS 9890 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8969.89
AT ITER 8292 NEW BEST:: SOT 44347 SOS 9884 HAS SOPS 9884 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.884
AT ITER 8355 NEW BEST:: SOT 44342 SOS 9876 HAS SOPS 9876 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.876
AT ITER 8460 NEW BEST:: SOT 44343 SOS 9875 HAS SOPS 9875 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8965.875
AT ITER 8484 NEW BEST:: SOT 44343 SOS 9840 HAS SOPS 9840 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8946.84
AT ITER 8487 NEW BEST:: SOT 44346 SOS 9804 HAS SOPS 9804 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8937.804
AT ITER 8495 NEW BEST:: SOT 44346 SOS 9798 HAS SOPS 9798 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8937.798
AT ITER 8496 NEW BEST:: SOT 44343 SOS 9788 HAS SOPS 9788 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8919.788
AT ITER 8500 NEW BEST:: SOT 44340 SOS 9782 HAS SOPS 9782 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8913.782
AT ITER 8570 NEW BEST:: SOT 44338 SOS 9802 HAS SOPS 9802 HAS SOUS 8903 HAS SOUPS 8903 WITH SCORE 8912.802
AT ITER 8594 NEW BEST:: SOT 44339 SOS 9786 HAS SOPS 9786 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8896.786
AT ITER 8613 NEW BEST:: SOT 44337 SOS 9772 HAS SOPS 9772 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8888.772
AT ITER 8688 NEW BEST:: SOT 44335 SOS 9768 HAS SOPS 9768 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8885.768
AT ITER 8715 NEW BEST:: SOT 44333 SOS 9767 HAS SOPS 9767 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8884.767
AT ITER 8785 NEW BEST:: SOT 44333 SOS 9746 HAS SOPS 9746 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8870.746
AT ITER 8797 NEW BEST:: SOT 44330 SOS 9755 HAS SOPS 9755 HAS SOUS 8858 HAS SOUPS 8858 WITH SCORE 8867.755
AT ITER 8803 NEW BEST:: SOT 44332 SOS 9757 HAS SOPS 9757 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8863.757
AT ITER 8829 NEW BEST:: SOT 44332 SOS 9752 HAS SOPS 9752 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8854.752
AT ITER 8849 NEW BEST:: SOT 44332 SOS 9745 HAS SOPS 9745 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8845.745
AT ITER 8851 NEW BEST:: SOT 44329 SOS 9728 HAS SOPS 9728 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8835.728
AT ITER 8940 NEW BEST:: SOT 44327 SOS 9726 HAS SOPS 9726 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8835.726
AT ITER 8953 NEW BEST:: SOT 44323 SOS 9690 HAS SOPS 9690 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8799.69
AT ITER 8955 NEW BEST:: SOT 44320 SOS 9687 HAS SOPS 9687 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8799.687
AT ITER 8976 NEW BEST:: SOT 44323 SOS 9672 HAS SOPS 9672 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8793.672
AT ITER 8995 NEW BEST:: SOT 44304 SOS 9653 HAS SOPS 9653 HAS SOUS 8765 HAS SOUPS 8765 WITH SCORE 8774.653
AT ITER 9055 NEW BEST:: SOT 44291 SOS 9632 HAS SOPS 9632 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8753.632
AT ITER 9056 NEW BEST:: SOT 44289 SOS 9628 HAS SOPS 9628 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8750.628
AT ITER 9126 NEW BEST:: SOT 44289 SOS 9627 HAS SOPS 9627 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8749.627
AT ITER 9127 NEW BEST:: SOT 44285 SOS 9619 HAS SOPS 9619 HAS SOUS 8734 HAS SOUPS 8734 WITH SCORE 8743.619
AT ITER 9160 NEW BEST:: SOT 44284 SOS 9618 HAS SOPS 9618 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8742.618
AT ITER 9183 NEW BEST:: SOT 44287 SOS 9617 HAS SOPS 9617 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8729.617
AT ITER 9245 NEW BEST:: SOT 44257 SOS 9576 HAS SOPS 9576 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8698.576
AT ITER 9257 NEW BEST:: SOT 44235 SOS 9552 HAS SOPS 9552 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8682.552
AT ITER 9271 NEW BEST:: SOT 44235 SOS 9551 HAS SOPS 9551 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8682.551
AT ITER 9274 NEW BEST:: SOT 44215 SOS 9512 HAS SOPS 9512 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8658.512
AT ITER 9340 NEW BEST:: SOT 44190 SOS 9498 HAS SOPS 9498 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8644.498
AT ITER 9341 NEW BEST:: SOT 44192 SOS 9492 HAS SOPS 9492 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8638.492
AT ITER 9379 NEW BEST:: SOT 44187 SOS 9487 HAS SOPS 9487 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8633.487
AT ITER 9396 NEW BEST:: SOT 44170 SOS 9457 HAS SOPS 9457 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8603.457
AT ITER 9430 NEW BEST:: SOT 44169 SOS 9431 HAS SOPS 9431 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8580.431
AT ITER 9455 NEW BEST:: SOT 44170 SOS 9423 HAS SOPS 9423 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8578.423
AT ITER 9479 NEW BEST:: SOT 44166 SOS 9412 HAS SOPS 9412 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8570.412
AT ITER 9510 NEW BEST:: SOT 44158 SOS 9384 HAS SOPS 9384 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8532.384
AT ITER 9591 NEW BEST:: SOT 44155 SOS 9381 HAS SOPS 9381 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8531.381
AT ITER 9634 NEW BEST:: SOT 44145 SOS 9381 HAS SOPS 9381 HAS SOUS 8512 HAS SOUPS 8512 WITH SCORE 8521.381
AT ITER 9649 NEW BEST:: SOT 44117 SOS 9334 HAS SOPS 9334 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8482.334
AT ITER 9701 NEW BEST:: SOT 44117 SOS 9330 HAS SOPS 9330 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8467.33
AT ITER 9718 NEW BEST:: SOT 44116 SOS 9321 HAS SOPS 9321 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8462.321
AT ITER 9761 NEW BEST:: SOT 44113 SOS 9316 HAS SOPS 9316 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8458.316
AT ITER 9816 NEW BEST:: SOT 44110 SOS 9302 HAS SOPS 9302 HAS SOUS 8441 HAS SOUPS 8441 WITH SCORE 8450.302
AT ITER 9817 NEW BEST:: SOT 44108 SOS 9298 HAS SOPS 9298 HAS SOUS 8436 HAS SOUPS 8436 WITH SCORE 8445.298
AT ITER 9836 NEW BEST:: SOT 44108 SOS 9292 HAS SOPS 9292 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8441.292
AT ITER 9937 NEW BEST:: SOT 44100 SOS 9268 HAS SOPS 9268 HAS SOUS 8416 HAS SOUPS 8416 WITH SCORE 8425.268
AT ITER 9944 NEW BEST:: SOT 44096 SOS 9260 HAS SOPS 9260 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8419.26
AT ITER 9947 NEW BEST:: SOT 44093 SOS 9254 HAS SOPS 9254 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8413.254
AT ITER 9971 NEW BEST:: SOT 44093 SOS 9253 HAS SOPS 9253 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8413.253
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393928 kB
MemFree: 4587392 kB
After kill :
MemTotal: 16393928 kB
MemFree: 16148324 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldPPPs-PT-010A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is ShieldPPPs-PT-010A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903711800440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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