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.r131-smll-167819407500376.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 smart
Input is DiscoveryGPU-PT-11b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407500376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 5.5K Feb 25 13:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 25 13:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 13:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 13:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 13:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 13:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:37 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 82K 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 1679896293051

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=DiscoveryGPU-PT-11b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 11b
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: 324 places, 344 transitions, 898 arcs.
AT ITER 0 NEW BEST:: SOT 77803 SOS 37258 HAS SOPS 37258 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33102.258
AT ITER 1 NEW BEST:: SOT 77803 SOS 37229 HAS SOPS 37229 HAS SOUS 33064 HAS SOUPS 33064 WITH SCORE 33101.229
AT ITER 2 NEW BEST:: SOT 77726 SOS 37010 HAS SOPS 37010 HAS SOUS 32845 HAS SOUPS 32845 WITH SCORE 32882.01
AT ITER 3 NEW BEST:: SOT 77592 SOS 36785 HAS SOPS 36785 HAS SOUS 32643 HAS SOUPS 32643 WITH SCORE 32679.785
AT ITER 5 NEW BEST:: SOT 77592 SOS 36719 HAS SOPS 36719 HAS SOUS 32641 HAS SOUPS 32641 WITH SCORE 32677.719
AT ITER 8 NEW BEST:: SOT 77592 SOS 36663 HAS SOPS 36663 HAS SOUS 32641 HAS SOUPS 32641 WITH SCORE 32677.663
AT ITER 10 NEW BEST:: SOT 77495 SOS 36570 HAS SOPS 36570 HAS SOUS 32584 HAS SOUPS 32584 WITH SCORE 32620.57
AT ITER 13 NEW BEST:: SOT 77552 SOS 36661 HAS SOPS 36661 HAS SOUS 32571 HAS SOUPS 32571 WITH SCORE 32607.661
AT ITER 16 NEW BEST:: SOT 77473 SOS 36591 HAS SOPS 36591 HAS SOUS 32501 HAS SOUPS 32501 WITH SCORE 32537.591
AT ITER 19 NEW BEST:: SOT 77403 SOS 36461 HAS SOPS 36461 HAS SOUS 32457 HAS SOUPS 32457 WITH SCORE 32493.461
AT ITER 21 NEW BEST:: SOT 77403 SOS 36522 HAS SOPS 36522 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32467.522
AT ITER 32 NEW BEST:: SOT 77390 SOS 36512 HAS SOPS 36512 HAS SOUS 32419 HAS SOUPS 32419 WITH SCORE 32455.512
AT ITER 35 NEW BEST:: SOT 77350 SOS 36367 HAS SOPS 36367 HAS SOUS 32274 HAS SOUPS 32274 WITH SCORE 32310.367
AT ITER 36 NEW BEST:: SOT 77350 SOS 36367 HAS SOPS 36367 HAS SOUS 32273 HAS SOUPS 32273 WITH SCORE 32309.367
AT ITER 38 NEW BEST:: SOT 77020 SOS 36058 HAS SOPS 36058 HAS SOUS 31939 HAS SOUPS 31939 WITH SCORE 31975.058
AT ITER 43 NEW BEST:: SOT 77047 SOS 36044 HAS SOPS 36044 HAS SOUS 31924 HAS SOUPS 31924 WITH SCORE 31960.044
AT ITER 44 NEW BEST:: SOT 77042 SOS 35992 HAS SOPS 35992 HAS SOUS 31872 HAS SOUPS 31872 WITH SCORE 31907.992
AT ITER 46 NEW BEST:: SOT 77042 SOS 35958 HAS SOPS 35958 HAS SOUS 31871 HAS SOUPS 31871 WITH SCORE 31906.958
AT ITER 48 NEW BEST:: SOT 76998 SOS 35870 HAS SOPS 35870 HAS SOUS 31783 HAS SOUPS 31783 WITH SCORE 31818.87
AT ITER 53 NEW BEST:: SOT 76938 SOS 35348 HAS SOPS 35348 HAS SOUS 31692 HAS SOUPS 31692 WITH SCORE 31727.348
AT ITER 60 NEW BEST:: SOT 76952 SOS 35275 HAS SOPS 35275 HAS SOUS 31682 HAS SOUPS 31682 WITH SCORE 31717.275
AT ITER 61 NEW BEST:: SOT 76925 SOS 35221 HAS SOPS 35221 HAS SOUS 31628 HAS SOUPS 31628 WITH SCORE 31663.221
AT ITER 64 NEW BEST:: SOT 76975 SOS 35214 HAS SOPS 35214 HAS SOUS 31621 HAS SOUPS 31621 WITH SCORE 31656.214
AT ITER 67 NEW BEST:: SOT 76779 SOS 34920 HAS SOPS 34920 HAS SOUS 31327 HAS SOUPS 31327 WITH SCORE 31361.92
AT ITER 70 NEW BEST:: SOT 76017 SOS 34176 HAS SOPS 34176 HAS SOUS 30582 HAS SOUPS 30582 WITH SCORE 30616.176
AT ITER 71 NEW BEST:: SOT 75990 SOS 34143 HAS SOPS 34143 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30562.143
AT ITER 83 NEW BEST:: SOT 75790 SOS 34103 HAS SOPS 34103 HAS SOUS 30437 HAS SOUPS 30437 WITH SCORE 30471.103
AT ITER 91 NEW BEST:: SOT 75694 SOS 34036 HAS SOPS 34036 HAS SOUS 30354 HAS SOUPS 30354 WITH SCORE 30388.036
AT ITER 97 NEW BEST:: SOT 75694 SOS 33898 HAS SOPS 33898 HAS SOUS 30216 HAS SOUPS 30216 WITH SCORE 30249.898
AT ITER 100 NEW BEST:: SOT 75693 SOS 33896 HAS SOPS 33896 HAS SOUS 30214 HAS SOUPS 30214 WITH SCORE 30247.896
AT ITER 104 NEW BEST:: SOT 75618 SOS 33760 HAS SOPS 33760 HAS SOUS 30078 HAS SOUPS 30078 WITH SCORE 30111.76
AT ITER 109 NEW BEST:: SOT 75618 SOS 33708 HAS SOPS 33708 HAS SOUS 30078 HAS SOUPS 30078 WITH SCORE 30111.708
AT ITER 113 NEW BEST:: SOT 75548 SOS 33748 HAS SOPS 33748 HAS SOUS 30038 HAS SOUPS 30038 WITH SCORE 30071.748
AT ITER 119 NEW BEST:: SOT 75496 SOS 33735 HAS SOPS 33735 HAS SOUS 30038 HAS SOUPS 30038 WITH SCORE 30071.735
AT ITER 124 NEW BEST:: SOT 75463 SOS 33702 HAS SOPS 33702 HAS SOUS 30005 HAS SOUPS 30005 WITH SCORE 30038.702
AT ITER 125 NEW BEST:: SOT 75305 SOS 33464 HAS SOPS 33464 HAS SOUS 29767 HAS SOUPS 29767 WITH SCORE 29800.464
AT ITER 130 NEW BEST:: SOT 75098 SOS 33534 HAS SOPS 33534 HAS SOUS 29691 HAS SOUPS 29691 WITH SCORE 29724.534
AT ITER 136 NEW BEST:: SOT 75074 SOS 33486 HAS SOPS 33486 HAS SOUS 29643 HAS SOUPS 29643 WITH SCORE 29676.486
AT ITER 143 NEW BEST:: SOT 74951 SOS 33363 HAS SOPS 33363 HAS SOUS 29520 HAS SOUPS 29520 WITH SCORE 29553.363
AT ITER 144 NEW BEST:: SOT 74875 SOS 33297 HAS SOPS 33297 HAS SOUS 29454 HAS SOUPS 29454 WITH SCORE 29487.297
AT ITER 148 NEW BEST:: SOT 74690 SOS 33686 HAS SOPS 33686 HAS SOUS 29342 HAS SOUPS 29342 WITH SCORE 29375.686
AT ITER 149 NEW BEST:: SOT 74592 SOS 33588 HAS SOPS 33588 HAS SOUS 29244 HAS SOUPS 29244 WITH SCORE 29277.588
AT ITER 152 NEW BEST:: SOT 74592 SOS 33588 HAS SOPS 33588 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29275.588
AT ITER 153 NEW BEST:: SOT 74592 SOS 33121 HAS SOPS 33121 HAS SOUS 29242 HAS SOUPS 29242 WITH SCORE 29275.121
AT ITER 158 NEW BEST:: SOT 74411 SOS 32868 HAS SOPS 32868 HAS SOUS 28985 HAS SOUPS 28985 WITH SCORE 29017.868
AT ITER 159 NEW BEST:: SOT 74388 SOS 32822 HAS SOPS 32822 HAS SOUS 28950 HAS SOUPS 28950 WITH SCORE 28982.822
AT ITER 167 NEW BEST:: SOT 74388 SOS 32743 HAS SOPS 32743 HAS SOUS 28950 HAS SOUPS 28950 WITH SCORE 28982.743
AT ITER 173 NEW BEST:: SOT 74367 SOS 32722 HAS SOPS 32722 HAS SOUS 28929 HAS SOUPS 28929 WITH SCORE 28961.722
AT ITER 175 NEW BEST:: SOT 74332 SOS 32722 HAS SOPS 32722 HAS SOUS 28894 HAS SOUPS 28894 WITH SCORE 28926.722
AT ITER 178 NEW BEST:: SOT 74383 SOS 32706 HAS SOPS 32706 HAS SOUS 28878 HAS SOUPS 28878 WITH SCORE 28910.706
AT ITER 181 NEW BEST:: SOT 74342 SOS 32665 HAS SOPS 32665 HAS SOUS 28837 HAS SOUPS 28837 WITH SCORE 28869.665
AT ITER 185 NEW BEST:: SOT 74296 SOS 32598 HAS SOPS 32598 HAS SOUS 28803 HAS SOUPS 28803 WITH SCORE 28835.598
AT ITER 187 NEW BEST:: SOT 74295 SOS 32562 HAS SOPS 32562 HAS SOUS 28801 HAS SOUPS 28801 WITH SCORE 28833.562
AT ITER 192 NEW BEST:: SOT 74230 SOS 32497 HAS SOPS 32497 HAS SOUS 28736 HAS SOUPS 28736 WITH SCORE 28768.497
AT ITER 196 NEW BEST:: SOT 74160 SOS 32427 HAS SOPS 32427 HAS SOUS 28734 HAS SOUPS 28734 WITH SCORE 28766.427
AT ITER 197 NEW BEST:: SOT 74071 SOS 32249 HAS SOPS 32249 HAS SOUS 28556 HAS SOUPS 28556 WITH SCORE 28588.249
AT ITER 206 NEW BEST:: SOT 74045 SOS 32336 HAS SOPS 32336 HAS SOUS 28554 HAS SOUPS 28554 WITH SCORE 28586.336
AT ITER 208 NEW BEST:: SOT 74030 SOS 32275 HAS SOPS 32275 HAS SOUS 28495 HAS SOUPS 28495 WITH SCORE 28527.275
AT ITER 210 NEW BEST:: SOT 74030 SOS 32253 HAS SOPS 32253 HAS SOUS 28495 HAS SOUPS 28495 WITH SCORE 28527.253
AT ITER 213 NEW BEST:: SOT 74024 SOS 32157 HAS SOPS 32157 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28453.157
AT ITER 214 NEW BEST:: SOT 74078 SOS 32173 HAS SOPS 32173 HAS SOUS 28410 HAS SOUPS 28410 WITH SCORE 28442.173
AT ITER 221 NEW BEST:: SOT 74077 SOS 32171 HAS SOPS 32171 HAS SOUS 28408 HAS SOUPS 28408 WITH SCORE 28440.171
AT ITER 238 NEW BEST:: SOT 74065 SOS 32147 HAS SOPS 32147 HAS SOUS 28384 HAS SOUPS 28384 WITH SCORE 28416.147
AT ITER 241 NEW BEST:: SOT 74009 SOS 32155 HAS SOPS 32155 HAS SOUS 28334 HAS SOUPS 28334 WITH SCORE 28366.155
AT ITER 242 NEW BEST:: SOT 73973 SOS 32155 HAS SOPS 32155 HAS SOUS 28332 HAS SOUPS 28332 WITH SCORE 28364.155
AT ITER 245 NEW BEST:: SOT 73912 SOS 31987 HAS SOPS 31987 HAS SOUS 28192 HAS SOUPS 28192 WITH SCORE 28223.987
AT ITER 252 NEW BEST:: SOT 73895 SOS 31970 HAS SOPS 31970 HAS SOUS 28175 HAS SOUPS 28175 WITH SCORE 28206.97
AT ITER 261 NEW BEST:: SOT 73875 SOS 31962 HAS SOPS 31962 HAS SOUS 28167 HAS SOUPS 28167 WITH SCORE 28198.962
AT ITER 262 NEW BEST:: SOT 73840 SOS 31856 HAS SOPS 31856 HAS SOUS 28096 HAS SOUPS 28096 WITH SCORE 28127.856
AT ITER 264 NEW BEST:: SOT 73803 SOS 31969 HAS SOPS 31969 HAS SOUS 28042 HAS SOUPS 28042 WITH SCORE 28073.969
AT ITER 265 NEW BEST:: SOT 73803 SOS 31916 HAS SOPS 31916 HAS SOUS 27989 HAS SOUPS 27989 WITH SCORE 28020.916
AT ITER 266 NEW BEST:: SOT 73635 SOS 31554 HAS SOPS 31554 HAS SOUS 27759 HAS SOUPS 27759 WITH SCORE 27790.554
AT ITER 267 NEW BEST:: SOT 73617 SOS 31527 HAS SOPS 31527 HAS SOUS 27732 HAS SOUPS 27732 WITH SCORE 27763.527
AT ITER 270 NEW BEST:: SOT 73617 SOS 31526 HAS SOPS 31526 HAS SOUS 27732 HAS SOUPS 27732 WITH SCORE 27763.526
AT ITER 271 NEW BEST:: SOT 73521 SOS 31334 HAS SOPS 31334 HAS SOUS 27643 HAS SOUPS 27643 WITH SCORE 27674.334
AT ITER 283 NEW BEST:: SOT 73521 SOS 31334 HAS SOPS 31334 HAS SOUS 27642 HAS SOUPS 27642 WITH SCORE 27673.334
AT ITER 285 NEW BEST:: SOT 73500 SOS 31313 HAS SOPS 31313 HAS SOUS 27621 HAS SOUPS 27621 WITH SCORE 27652.313
AT ITER 289 NEW BEST:: SOT 73500 SOS 31300 HAS SOPS 31300 HAS SOUS 27621 HAS SOUPS 27621 WITH SCORE 27652.3
AT ITER 294 NEW BEST:: SOT 73489 SOS 31267 HAS SOPS 31267 HAS SOUS 27608 HAS SOUPS 27608 WITH SCORE 27639.267
AT ITER 299 NEW BEST:: SOT 73464 SOS 31169 HAS SOPS 31169 HAS SOUS 27510 HAS SOUPS 27510 WITH SCORE 27541.169
AT ITER 316 NEW BEST:: SOT 73464 SOS 31103 HAS SOPS 31103 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27540.103
AT ITER 317 NEW BEST:: SOT 73424 SOS 31081 HAS SOPS 31081 HAS SOUS 27487 HAS SOUPS 27487 WITH SCORE 27518.081
AT ITER 321 NEW BEST:: SOT 73546 SOS 31116 HAS SOPS 31116 HAS SOUS 27465 HAS SOUPS 27465 WITH SCORE 27496.116
AT ITER 322 NEW BEST:: SOT 73546 SOS 31116 HAS SOPS 31116 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27495.116
AT ITER 329 NEW BEST:: SOT 73546 SOS 31090 HAS SOPS 31090 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27495.09
AT ITER 330 NEW BEST:: SOT 73540 SOS 31084 HAS SOPS 31084 HAS SOUS 27458 HAS SOUPS 27458 WITH SCORE 27489.084
AT ITER 340 NEW BEST:: SOT 73442 SOS 30964 HAS SOPS 30964 HAS SOUS 27338 HAS SOUPS 27338 WITH SCORE 27368.964
AT ITER 341 NEW BEST:: SOT 73441 SOS 30962 HAS SOPS 30962 HAS SOUS 27336 HAS SOUPS 27336 WITH SCORE 27366.962
AT ITER 344 NEW BEST:: SOT 73439 SOS 31005 HAS SOPS 31005 HAS SOUS 27332 HAS SOUPS 27332 WITH SCORE 27363.005
AT ITER 345 NEW BEST:: SOT 73281 SOS 30759 HAS SOPS 30759 HAS SOUS 27095 HAS SOUPS 27095 WITH SCORE 27125.759
AT ITER 349 NEW BEST:: SOT 73257 SOS 30711 HAS SOPS 30711 HAS SOUS 27071 HAS SOUPS 27071 WITH SCORE 27101.711
AT ITER 361 NEW BEST:: SOT 73250 SOS 30715 HAS SOPS 30715 HAS SOUS 27057 HAS SOUPS 27057 WITH SCORE 27087.715
AT ITER 376 NEW BEST:: SOT 73110 SOS 30435 HAS SOPS 30435 HAS SOUS 26777 HAS SOUPS 26777 WITH SCORE 26807.435
AT ITER 378 NEW BEST:: SOT 73110 SOS 30288 HAS SOPS 30288 HAS SOUS 26723 HAS SOUPS 26723 WITH SCORE 26753.288
AT ITER 387 NEW BEST:: SOT 73103 SOS 30267 HAS SOPS 30267 HAS SOUS 26702 HAS SOUPS 26702 WITH SCORE 26732.267
AT ITER 391 NEW BEST:: SOT 73047 SOS 30155 HAS SOPS 30155 HAS SOUS 26590 HAS SOUPS 26590 WITH SCORE 26620.155
AT ITER 403 NEW BEST:: SOT 73050 SOS 30076 HAS SOPS 30076 HAS SOUS 26511 HAS SOUPS 26511 WITH SCORE 26541.076
AT ITER 418 NEW BEST:: SOT 73050 SOS 30076 HAS SOPS 30076 HAS SOUS 26484 HAS SOUPS 26484 WITH SCORE 26514.076
AT ITER 436 NEW BEST:: SOT 73050 SOS 30064 HAS SOPS 30064 HAS SOUS 26472 HAS SOUPS 26472 WITH SCORE 26502.064
AT ITER 438 NEW BEST:: SOT 73041 SOS 29944 HAS SOPS 29944 HAS SOUS 26461 HAS SOUPS 26461 WITH SCORE 26490.944
AT ITER 452 NEW BEST:: SOT 73044 SOS 29910 HAS SOPS 29910 HAS SOUS 26386 HAS SOUPS 26386 WITH SCORE 26415.91
AT ITER 453 NEW BEST:: SOT 73044 SOS 29893 HAS SOPS 29893 HAS SOUS 26386 HAS SOUPS 26386 WITH SCORE 26415.893
AT ITER 456 NEW BEST:: SOT 72998 SOS 29847 HAS SOPS 29847 HAS SOUS 26340 HAS SOUPS 26340 WITH SCORE 26369.847
AT ITER 462 NEW BEST:: SOT 72998 SOS 29846 HAS SOPS 29846 HAS SOUS 26339 HAS SOUPS 26339 WITH SCORE 26368.846
AT ITER 472 NEW BEST:: SOT 72979 SOS 29789 HAS SOPS 29789 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26343.789
AT ITER 475 NEW BEST:: SOT 72979 SOS 29788 HAS SOPS 29788 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26343.788
AT ITER 476 NEW BEST:: SOT 73007 SOS 29844 HAS SOPS 29844 HAS SOUS 26301 HAS SOUPS 26301 WITH SCORE 26330.844
AT ITER 477 NEW BEST:: SOT 72961 SOS 29753 HAS SOPS 29753 HAS SOUS 26272 HAS SOUPS 26272 WITH SCORE 26301.753
AT ITER 483 NEW BEST:: SOT 72961 SOS 29697 HAS SOPS 29697 HAS SOUS 26216 HAS SOUPS 26216 WITH SCORE 26245.697
AT ITER 487 NEW BEST:: SOT 72938 SOS 29704 HAS SOPS 29704 HAS SOUS 26189 HAS SOUPS 26189 WITH SCORE 26218.704
AT ITER 490 NEW BEST:: SOT 72938 SOS 29604 HAS SOPS 29604 HAS SOUS 26175 HAS SOUPS 26175 WITH SCORE 26204.604
AT ITER 491 NEW BEST:: SOT 72883 SOS 29494 HAS SOPS 29494 HAS SOUS 26065 HAS SOUPS 26065 WITH SCORE 26094.494
AT ITER 494 NEW BEST:: SOT 72855 SOS 29457 HAS SOPS 29457 HAS SOUS 26009 HAS SOUPS 26009 WITH SCORE 26038.457
AT ITER 504 NEW BEST:: SOT 72855 SOS 29453 HAS SOPS 29453 HAS SOUS 26009 HAS SOUPS 26009 WITH SCORE 26038.453
AT ITER 513 NEW BEST:: SOT 72855 SOS 29453 HAS SOPS 29453 HAS SOUS 26007 HAS SOUPS 26007 WITH SCORE 26036.453
AT ITER 520 NEW BEST:: SOT 72786 SOS 29315 HAS SOPS 29315 HAS SOUS 25938 HAS SOUPS 25938 WITH SCORE 25967.315
AT ITER 522 NEW BEST:: SOT 72845 SOS 29283 HAS SOPS 29283 HAS SOUS 25913 HAS SOUPS 25913 WITH SCORE 25942.283
AT ITER 524 NEW BEST:: SOT 72837 SOS 29267 HAS SOPS 29267 HAS SOUS 25898 HAS SOUPS 25898 WITH SCORE 25927.267
AT ITER 532 NEW BEST:: SOT 72765 SOS 29335 HAS SOPS 29335 HAS SOUS 25849 HAS SOUPS 25849 WITH SCORE 25878.335
AT ITER 533 NEW BEST:: SOT 72677 SOS 29163 HAS SOPS 29163 HAS SOUS 25675 HAS SOUPS 25675 WITH SCORE 25704.163
AT ITER 548 NEW BEST:: SOT 72677 SOS 29163 HAS SOPS 29163 HAS SOUS 25674 HAS SOUPS 25674 WITH SCORE 25703.163
AT ITER 555 NEW BEST:: SOT 72658 SOS 29144 HAS SOPS 29144 HAS SOUS 25636 HAS SOUPS 25636 WITH SCORE 25665.144
AT ITER 576 NEW BEST:: SOT 72621 SOS 29070 HAS SOPS 29070 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25591.07
AT ITER 577 NEW BEST:: SOT 72827 SOS 27462 HAS SOPS 27462 HAS SOUS 25541 HAS SOUPS 25541 WITH SCORE 25568.462
AT ITER 587 NEW BEST:: SOT 72797 SOS 27402 HAS SOPS 27402 HAS SOUS 25481 HAS SOUPS 25481 WITH SCORE 25508.402
AT ITER 593 NEW BEST:: SOT 72722 SOS 27252 HAS SOPS 27252 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25358.252
AT ITER 607 NEW BEST:: SOT 72722 SOS 27210 HAS SOPS 27210 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25358.21
AT ITER 614 NEW BEST:: SOT 72593 SOS 26957 HAS SOPS 26957 HAS SOUS 25111 HAS SOUPS 25111 WITH SCORE 25137.957
AT ITER 627 NEW BEST:: SOT 72596 SOS 26897 HAS SOPS 26897 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25127.897
AT ITER 635 NEW BEST:: SOT 72553 SOS 26854 HAS SOPS 26854 HAS SOUS 25058 HAS SOUPS 25058 WITH SCORE 25084.854
AT ITER 640 NEW BEST:: SOT 72553 SOS 26850 HAS SOPS 26850 HAS SOUS 25057 HAS SOUPS 25057 WITH SCORE 25083.85
AT ITER 642 NEW BEST:: SOT 72549 SOS 26855 HAS SOPS 26855 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25079.855
AT ITER 650 NEW BEST:: SOT 72541 SOS 26771 HAS SOPS 26771 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25003.771
AT ITER 656 NEW BEST:: SOT 72536 SOS 26761 HAS SOPS 26761 HAS SOUS 24967 HAS SOUPS 24967 WITH SCORE 24993.761
AT ITER 664 NEW BEST:: SOT 72530 SOS 26749 HAS SOPS 26749 HAS SOUS 24955 HAS SOUPS 24955 WITH SCORE 24981.749
AT ITER 667 NEW BEST:: SOT 72530 SOS 26742 HAS SOPS 26742 HAS SOUS 24948 HAS SOUPS 24948 WITH SCORE 24974.742
AT ITER 675 NEW BEST:: SOT 72496 SOS 26691 HAS SOPS 26691 HAS SOUS 24914 HAS SOUPS 24914 WITH SCORE 24940.691
AT ITER 677 NEW BEST:: SOT 72480 SOS 26818 HAS SOPS 26818 HAS SOUS 24850 HAS SOUPS 24850 WITH SCORE 24876.818
AT ITER 680 NEW BEST:: SOT 72465 SOS 26803 HAS SOPS 26803 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24861.803
AT ITER 684 NEW BEST:: SOT 72247 SOS 27261 HAS SOPS 27261 HAS SOUS 24637 HAS SOUPS 24637 WITH SCORE 24664.261
AT ITER 686 NEW BEST:: SOT 72253 SOS 27161 HAS SOPS 27161 HAS SOUS 24562 HAS SOUPS 24562 WITH SCORE 24589.161
AT ITER 695 NEW BEST:: SOT 72203 SOS 26891 HAS SOPS 26891 HAS SOUS 24461 HAS SOUPS 24461 WITH SCORE 24487.891
AT ITER 718 NEW BEST:: SOT 72165 SOS 26880 HAS SOPS 26880 HAS SOUS 24432 HAS SOUPS 24432 WITH SCORE 24458.88
AT ITER 721 NEW BEST:: SOT 72165 SOS 26856 HAS SOPS 26856 HAS SOUS 24408 HAS SOUPS 24408 WITH SCORE 24434.856
AT ITER 735 NEW BEST:: SOT 72161 SOS 26852 HAS SOPS 26852 HAS SOUS 24404 HAS SOUPS 24404 WITH SCORE 24430.852
AT ITER 745 NEW BEST:: SOT 72139 SOS 26808 HAS SOPS 26808 HAS SOUS 24377 HAS SOUPS 24377 WITH SCORE 24403.808
AT ITER 746 NEW BEST:: SOT 72106 SOS 26709 HAS SOPS 26709 HAS SOUS 24311 HAS SOUPS 24311 WITH SCORE 24337.709
AT ITER 748 NEW BEST:: SOT 72097 SOS 26683 HAS SOPS 26683 HAS SOUS 24285 HAS SOUPS 24285 WITH SCORE 24311.683
AT ITER 756 NEW BEST:: SOT 71452 SOS 27098 HAS SOPS 27098 HAS SOUS 23720 HAS SOUPS 23720 WITH SCORE 23747.098
AT ITER 768 NEW BEST:: SOT 71452 SOS 27098 HAS SOPS 27098 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23733.098
AT ITER 771 NEW BEST:: SOT 71430 SOS 27104 HAS SOPS 27104 HAS SOUS 23685 HAS SOUPS 23685 WITH SCORE 23712.104
AT ITER 774 NEW BEST:: SOT 71430 SOS 27102 HAS SOPS 27102 HAS SOUS 23684 HAS SOUPS 23684 WITH SCORE 23711.102
AT ITER 776 NEW BEST:: SOT 71426 SOS 26975 HAS SOPS 26975 HAS SOUS 23627 HAS SOUPS 23627 WITH SCORE 23653.975
AT ITER 778 NEW BEST:: SOT 71361 SOS 26948 HAS SOPS 26948 HAS SOUS 23600 HAS SOUPS 23600 WITH SCORE 23626.948
AT ITER 781 NEW BEST:: SOT 71360 SOS 26979 HAS SOPS 26979 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23624.979
AT ITER 783 NEW BEST:: SOT 71357 SOS 26973 HAS SOPS 26973 HAS SOUS 23592 HAS SOUPS 23592 WITH SCORE 23618.973
AT ITER 790 NEW BEST:: SOT 71350 SOS 26959 HAS SOPS 26959 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23604.959
AT ITER 801 NEW BEST:: SOT 71348 SOS 26954 HAS SOPS 26954 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23602.954
AT ITER 826 NEW BEST:: SOT 71304 SOS 26910 HAS SOPS 26910 HAS SOUS 23570 HAS SOUPS 23570 WITH SCORE 23596.91
AT ITER 833 NEW BEST:: SOT 71297 SOS 26903 HAS SOPS 26903 HAS SOUS 23570 HAS SOUPS 23570 WITH SCORE 23596.903
AT ITER 855 NEW BEST:: SOT 71294 SOS 26833 HAS SOPS 26833 HAS SOUS 23564 HAS SOUPS 23564 WITH SCORE 23590.833
AT ITER 874 NEW BEST:: SOT 71294 SOS 26830 HAS SOPS 26830 HAS SOUS 23561 HAS SOUPS 23561 WITH SCORE 23587.83
AT ITER 897 NEW BEST:: SOT 71293 SOS 26820 HAS SOPS 26820 HAS SOUS 23559 HAS SOUPS 23559 WITH SCORE 23585.82
AT ITER 902 NEW BEST:: SOT 71231 SOS 26792 HAS SOPS 26792 HAS SOUS 23462 HAS SOUPS 23462 WITH SCORE 23488.792
AT ITER 907 NEW BEST:: SOT 71227 SOS 26788 HAS SOPS 26788 HAS SOUS 23456 HAS SOUPS 23456 WITH SCORE 23482.788
AT ITER 928 NEW BEST:: SOT 71225 SOS 26784 HAS SOPS 26784 HAS SOUS 23452 HAS SOUPS 23452 WITH SCORE 23478.784
AT ITER 932 NEW BEST:: SOT 71230 SOS 26771 HAS SOPS 26771 HAS SOUS 23439 HAS SOUPS 23439 WITH SCORE 23465.771
AT ITER 933 NEW BEST:: SOT 71230 SOS 26763 HAS SOPS 26763 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23457.763
AT ITER 936 NEW BEST:: SOT 71216 SOS 26735 HAS SOPS 26735 HAS SOUS 23415 HAS SOUPS 23415 WITH SCORE 23441.735
AT ITER 944 NEW BEST:: SOT 71202 SOS 26721 HAS SOPS 26721 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23420.721
AT ITER 945 NEW BEST:: SOT 71179 SOS 26675 HAS SOPS 26675 HAS SOUS 23348 HAS SOUPS 23348 WITH SCORE 23374.675
AT ITER 947 NEW BEST:: SOT 71201 SOS 26652 HAS SOPS 26652 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23363.652
AT ITER 952 NEW BEST:: SOT 71201 SOS 26646 HAS SOPS 26646 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23363.646
AT ITER 956 NEW BEST:: SOT 71192 SOS 26628 HAS SOPS 26628 HAS SOUS 23319 HAS SOUPS 23319 WITH SCORE 23345.628
AT ITER 967 NEW BEST:: SOT 71151 SOS 26542 HAS SOPS 26542 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23289.542
AT ITER 972 NEW BEST:: SOT 71150 SOS 26540 HAS SOPS 26540 HAS SOUS 23261 HAS SOUPS 23261 WITH SCORE 23287.54
AT ITER 973 NEW BEST:: SOT 71100 SOS 26481 HAS SOPS 26481 HAS SOUS 23202 HAS SOUPS 23202 WITH SCORE 23228.481
AT ITER 976 NEW BEST:: SOT 71104 SOS 26467 HAS SOPS 26467 HAS SOUS 23193 HAS SOUPS 23193 WITH SCORE 23219.467
AT ITER 981 NEW BEST:: SOT 71098 SOS 26514 HAS SOPS 26514 HAS SOUS 23192 HAS SOUPS 23192 WITH SCORE 23218.514
AT ITER 1004 NEW BEST:: SOT 69593 SOS 37302 HAS SOPS 37302 HAS SOUS 22240 HAS SOUPS 22240 WITH SCORE 22277.302
AT ITER 1024 NEW BEST:: SOT 69561 SOS 37238 HAS SOPS 37238 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22250.238
AT ITER 1048 NEW BEST:: SOT 69550 SOS 31762 HAS SOPS 31762 HAS SOUS 22191 HAS SOUPS 22191 WITH SCORE 22222.762
AT ITER 1055 NEW BEST:: SOT 69435 SOS 31528 HAS SOPS 31528 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22099.528
AT ITER 1059 NEW BEST:: SOT 69356 SOS 31439 HAS SOPS 31439 HAS SOUS 21979 HAS SOUPS 21979 WITH SCORE 22010.439
AT ITER 1063 NEW BEST:: SOT 69317 SOS 31413 HAS SOPS 31413 HAS SOUS 21927 HAS SOUPS 21927 WITH SCORE 21958.413
AT ITER 1082 NEW BEST:: SOT 69176 SOS 31111 HAS SOPS 31111 HAS SOUS 21622 HAS SOUPS 21622 WITH SCORE 21653.111
AT ITER 1083 NEW BEST:: SOT 69169 SOS 31097 HAS SOPS 31097 HAS SOUS 21608 HAS SOUPS 21608 WITH SCORE 21639.097
AT ITER 1087 NEW BEST:: SOT 69163 SOS 31085 HAS SOPS 31085 HAS SOUS 21599 HAS SOUPS 21599 WITH SCORE 21630.085
AT ITER 1133 NEW BEST:: SOT 69148 SOS 31055 HAS SOPS 31055 HAS SOUS 21584 HAS SOUPS 21584 WITH SCORE 21615.055
AT ITER 1139 NEW BEST:: SOT 69142 SOS 31011 HAS SOPS 31011 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21603.011
AT ITER 1176 NEW BEST:: SOT 69142 SOS 30963 HAS SOPS 30963 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21602.963
AT ITER 1183 NEW BEST:: SOT 69153 SOS 30958 HAS SOPS 30958 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21597.958
AT ITER 1205 NEW BEST:: SOT 69196 SOS 30988 HAS SOPS 30988 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21552.988
AT ITER 1206 NEW BEST:: SOT 69189 SOS 30958 HAS SOPS 30958 HAS SOUS 21460 HAS SOUPS 21460 WITH SCORE 21490.958
AT ITER 1218 NEW BEST:: SOT 69188 SOS 30916 HAS SOPS 30916 HAS SOUS 21458 HAS SOUPS 21458 WITH SCORE 21488.916
AT ITER 1226 NEW BEST:: SOT 69097 SOS 30726 HAS SOPS 30726 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21306.726
AT ITER 1228 NEW BEST:: SOT 69095 SOS 30723 HAS SOPS 30723 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21303.723
AT ITER 1230 NEW BEST:: SOT 69067 SOS 30667 HAS SOPS 30667 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21246.667
AT ITER 1243 NEW BEST:: SOT 69018 SOS 30569 HAS SOPS 30569 HAS SOUS 21118 HAS SOUPS 21118 WITH SCORE 21148.569
AT ITER 1250 NEW BEST:: SOT 69004 SOS 30541 HAS SOPS 30541 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21134.541
AT ITER 1256 NEW BEST:: SOT 68984 SOS 30501 HAS SOPS 30501 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21086.501
AT ITER 1257 NEW BEST:: SOT 67725 SOS 29396 HAS SOPS 29396 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20088.396
AT ITER 1272 NEW BEST:: SOT 67709 SOS 29313 HAS SOPS 29313 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20016.313
AT ITER 1279 NEW BEST:: SOT 67701 SOS 29305 HAS SOPS 29305 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 20004.305
AT ITER 1301 NEW BEST:: SOT 67670 SOS 29243 HAS SOPS 29243 HAS SOUS 19926 HAS SOUPS 19926 WITH SCORE 19955.243
AT ITER 1303 NEW BEST:: SOT 67647 SOS 29220 HAS SOPS 29220 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19909.22
AT ITER 1321 NEW BEST:: SOT 67627 SOS 29212 HAS SOPS 29212 HAS SOUS 19851 HAS SOUPS 19851 WITH SCORE 19880.212
AT ITER 1330 NEW BEST:: SOT 67622 SOS 29164 HAS SOPS 29164 HAS SOUS 19804 HAS SOUPS 19804 WITH SCORE 19833.164
AT ITER 1331 NEW BEST:: SOT 67618 SOS 29160 HAS SOPS 29160 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19825.16
AT ITER 1332 NEW BEST:: SOT 67607 SOS 29149 HAS SOPS 29149 HAS SOUS 19774 HAS SOUPS 19774 WITH SCORE 19803.149
AT ITER 1337 NEW BEST:: SOT 67607 SOS 29149 HAS SOPS 29149 HAS SOUS 19765 HAS SOUPS 19765 WITH SCORE 19794.149
AT ITER 1342 NEW BEST:: SOT 67593 SOS 29146 HAS SOPS 29146 HAS SOUS 19734 HAS SOUPS 19734 WITH SCORE 19763.146
AT ITER 1349 NEW BEST:: SOT 67591 SOS 29132 HAS SOPS 29132 HAS SOUS 19706 HAS SOUPS 19706 WITH SCORE 19735.132
AT ITER 1360 NEW BEST:: SOT 67558 SOS 29066 HAS SOPS 29066 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19669.066
AT ITER 1369 NEW BEST:: SOT 67558 SOS 29066 HAS SOPS 29066 HAS SOUS 19610 HAS SOUPS 19610 WITH SCORE 19639.066
AT ITER 1372 NEW BEST:: SOT 67546 SOS 29064 HAS SOPS 29064 HAS SOUS 19586 HAS SOUPS 19586 WITH SCORE 19615.064
AT ITER 1374 NEW BEST:: SOT 67535 SOS 29090 HAS SOPS 29090 HAS SOUS 19564 HAS SOUPS 19564 WITH SCORE 19593.09
AT ITER 1391 NEW BEST:: SOT 67533 SOS 29084 HAS SOPS 29084 HAS SOUS 19560 HAS SOUPS 19560 WITH SCORE 19589.084
AT ITER 1407 NEW BEST:: SOT 67499 SOS 29050 HAS SOPS 29050 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19555.05
AT ITER 1419 NEW BEST:: SOT 67509 SOS 29046 HAS SOPS 29046 HAS SOUS 19525 HAS SOUPS 19525 WITH SCORE 19554.046
AT ITER 1434 NEW BEST:: SOT 67499 SOS 29026 HAS SOPS 29026 HAS SOUS 19505 HAS SOUPS 19505 WITH SCORE 19534.026
AT ITER 1438 NEW BEST:: SOT 67495 SOS 29018 HAS SOPS 29018 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19526.018
AT ITER 1440 NEW BEST:: SOT 67474 SOS 28955 HAS SOPS 28955 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19504.955
AT ITER 1463 NEW BEST:: SOT 67474 SOS 28923 HAS SOPS 28923 HAS SOUS 19444 HAS SOUPS 19444 WITH SCORE 19472.923
AT ITER 1464 NEW BEST:: SOT 67423 SOS 28863 HAS SOPS 28863 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19412.863
AT ITER 1483 NEW BEST:: SOT 67405 SOS 28812 HAS SOPS 28812 HAS SOUS 19315 HAS SOUPS 19315 WITH SCORE 19343.812
AT ITER 1484 NEW BEST:: SOT 67314 SOS 28680 HAS SOPS 28680 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19215.68
AT ITER 1490 NEW BEST:: SOT 67314 SOS 28659 HAS SOPS 28659 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19215.659
AT ITER 1497 NEW BEST:: SOT 67308 SOS 28628 HAS SOPS 28628 HAS SOUS 19168 HAS SOUPS 19168 WITH SCORE 19196.628
AT ITER 1531 NEW BEST:: SOT 67302 SOS 28620 HAS SOPS 28620 HAS SOUS 19160 HAS SOUPS 19160 WITH SCORE 19188.62
AT ITER 1550 NEW BEST:: SOT 67266 SOS 28584 HAS SOPS 28584 HAS SOUS 19088 HAS SOUPS 19088 WITH SCORE 19116.584
AT ITER 1576 NEW BEST:: SOT 67210 SOS 28472 HAS SOPS 28472 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19021.472
AT ITER 1577 NEW BEST:: SOT 67190 SOS 28467 HAS SOPS 28467 HAS SOUS 18988 HAS SOUPS 18988 WITH SCORE 19016.467
AT ITER 1585 NEW BEST:: SOT 67166 SOS 27056 HAS SOPS 27056 HAS SOUS 18940 HAS SOUPS 18940 WITH SCORE 18967.056
AT ITER 1592 NEW BEST:: SOT 67164 SOS 27037 HAS SOPS 27037 HAS SOUS 18889 HAS SOUPS 18889 WITH SCORE 18916.037
AT ITER 1611 NEW BEST:: SOT 67161 SOS 27031 HAS SOPS 27031 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18913.031
AT ITER 1620 NEW BEST:: SOT 67161 SOS 27031 HAS SOPS 27031 HAS SOUS 18880 HAS SOUPS 18880 WITH SCORE 18907.031
AT ITER 1622 NEW BEST:: SOT 67157 SOS 27023 HAS SOPS 27023 HAS SOUS 18847 HAS SOUPS 18847 WITH SCORE 18874.023
AT ITER 1628 NEW BEST:: SOT 67142 SOS 26993 HAS SOPS 26993 HAS SOUS 18832 HAS SOUPS 18832 WITH SCORE 18858.993
AT ITER 1652 NEW BEST:: SOT 67147 SOS 26964 HAS SOPS 26964 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18856.964
AT ITER 1665 NEW BEST:: SOT 67137 SOS 26918 HAS SOPS 26918 HAS SOUS 18820 HAS SOUPS 18820 WITH SCORE 18846.918
AT ITER 1667 NEW BEST:: SOT 67143 SOS 26921 HAS SOPS 26921 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18843.921
AT ITER 1675 NEW BEST:: SOT 67051 SOS 26737 HAS SOPS 26737 HAS SOUS 18725 HAS SOUPS 18725 WITH SCORE 18751.737
AT ITER 1677 NEW BEST:: SOT 67112 SOS 26859 HAS SOPS 26859 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18748.859
AT ITER 1685 NEW BEST:: SOT 67112 SOS 26859 HAS SOPS 26859 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18734.859
AT ITER 1697 NEW BEST:: SOT 67080 SOS 26747 HAS SOPS 26747 HAS SOUS 18643 HAS SOUPS 18643 WITH SCORE 18669.747
AT ITER 1699 NEW BEST:: SOT 67079 SOS 26745 HAS SOPS 26745 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18667.745
AT ITER 1702 NEW BEST:: SOT 67049 SOS 26685 HAS SOPS 26685 HAS SOUS 18581 HAS SOUPS 18581 WITH SCORE 18607.685
AT ITER 1710 NEW BEST:: SOT 66976 SOS 26388 HAS SOPS 26388 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18435.388
AT ITER 1737 NEW BEST:: SOT 66936 SOS 26351 HAS SOPS 26351 HAS SOUS 18349 HAS SOUPS 18349 WITH SCORE 18375.351
AT ITER 1746 NEW BEST:: SOT 66932 SOS 26343 HAS SOPS 26343 HAS SOUS 18341 HAS SOUPS 18341 WITH SCORE 18367.343
AT ITER 1747 NEW BEST:: SOT 66919 SOS 26330 HAS SOPS 26330 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18341.33
AT ITER 1754 NEW BEST:: SOT 66908 SOS 26309 HAS SOPS 26309 HAS SOUS 18293 HAS SOUPS 18293 WITH SCORE 18319.309
AT ITER 1762 NEW BEST:: SOT 66911 SOS 26105 HAS SOPS 26105 HAS SOUS 18291 HAS SOUPS 18291 WITH SCORE 18317.105
AT ITER 1763 NEW BEST:: SOT 66911 SOS 26056 HAS SOPS 26056 HAS SOUS 18291 HAS SOUPS 18291 WITH SCORE 18317.056
AT ITER 1769 NEW BEST:: SOT 66879 SOS 26013 HAS SOPS 26013 HAS SOUS 18245 HAS SOUPS 18245 WITH SCORE 18271.013
AT ITER 1787 NEW BEST:: SOT 66870 SOS 25995 HAS SOPS 25995 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18267.995
AT ITER 1798 NEW BEST:: SOT 66854 SOS 25979 HAS SOPS 25979 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18251.979
AT ITER 1803 NEW BEST:: SOT 66876 SOS 25932 HAS SOPS 25932 HAS SOUS 18179 HAS SOUPS 18179 WITH SCORE 18204.932
AT ITER 1804 NEW BEST:: SOT 66818 SOS 25920 HAS SOPS 25920 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18192.92
AT ITER 1806 NEW BEST:: SOT 66778 SOS 25873 HAS SOPS 25873 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18134.873
AT ITER 1812 NEW BEST:: SOT 66756 SOS 25809 HAS SOPS 25809 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18111.809
AT ITER 1820 NEW BEST:: SOT 66748 SOS 25793 HAS SOPS 25793 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18095.793
AT ITER 1821 NEW BEST:: SOT 66742 SOS 25781 HAS SOPS 25781 HAS SOUS 18064 HAS SOUPS 18064 WITH SCORE 18089.781
AT ITER 1824 NEW BEST:: SOT 66721 SOS 25758 HAS SOPS 25758 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18077.758
AT ITER 1828 NEW BEST:: SOT 66730 SOS 25776 HAS SOPS 25776 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18072.776
AT ITER 1829 NEW BEST:: SOT 66677 SOS 25723 HAS SOPS 25723 HAS SOUS 17906 HAS SOUPS 17906 WITH SCORE 17931.723
AT ITER 1832 NEW BEST:: SOT 66677 SOS 25723 HAS SOPS 25723 HAS SOUS 17900 HAS SOUPS 17900 WITH SCORE 17925.723
AT ITER 1850 NEW BEST:: SOT 66692 SOS 25692 HAS SOPS 25692 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17894.692
AT ITER 1851 NEW BEST:: SOT 66671 SOS 25650 HAS SOPS 25650 HAS SOUS 17858 HAS SOUPS 17858 WITH SCORE 17883.65
AT ITER 1854 NEW BEST:: SOT 66670 SOS 25634 HAS SOPS 25634 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17874.634
AT ITER 1875 NEW BEST:: SOT 66658 SOS 25830 HAS SOPS 25830 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17850.83
AT ITER 1877 NEW BEST:: SOT 66657 SOS 25801 HAS SOPS 25801 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17848.801
AT ITER 1882 NEW BEST:: SOT 66671 SOS 25809 HAS SOPS 25809 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17835.809
AT ITER 1885 NEW BEST:: SOT 66591 SOS 25502 HAS SOPS 25502 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17664.502
AT ITER 1903 NEW BEST:: SOT 66579 SOS 25488 HAS SOPS 25488 HAS SOUS 17637 HAS SOUPS 17637 WITH SCORE 17662.488
AT ITER 1910 NEW BEST:: SOT 66505 SOS 25394 HAS SOPS 25394 HAS SOUS 17577 HAS SOUPS 17577 WITH SCORE 17602.394
AT ITER 1921 NEW BEST:: SOT 66505 SOS 25388 HAS SOPS 25388 HAS SOUS 17577 HAS SOUPS 17577 WITH SCORE 17602.388
AT ITER 1923 NEW BEST:: SOT 66469 SOS 25312 HAS SOPS 25312 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17517.312
AT ITER 1947 NEW BEST:: SOT 66436 SOS 25246 HAS SOPS 25246 HAS SOUS 17449 HAS SOUPS 17449 WITH SCORE 17474.246
AT ITER 1952 NEW BEST:: SOT 66432 SOS 25222 HAS SOPS 25222 HAS SOUS 17441 HAS SOUPS 17441 WITH SCORE 17466.222
AT ITER 1968 NEW BEST:: SOT 66453 SOS 25221 HAS SOPS 25221 HAS SOUS 17440 HAS SOUPS 17440 WITH SCORE 17465.221
AT ITER 1990 NEW BEST:: SOT 66446 SOS 25277 HAS SOPS 25277 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17459.277
AT ITER 1999 NEW BEST:: SOT 66446 SOS 25277 HAS SOPS 25277 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17457.277
AT ITER 2041 NEW BEST:: SOT 66380 SOS 25186 HAS SOPS 25186 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17431.186
AT ITER 2047 NEW BEST:: SOT 66380 SOS 25177 HAS SOPS 25177 HAS SOUS 17406 HAS SOUPS 17406 WITH SCORE 17431.177
AT ITER 2087 NEW BEST:: SOT 66349 SOS 25115 HAS SOPS 25115 HAS SOUS 17375 HAS SOUPS 17375 WITH SCORE 17400.115
AT ITER 2095 NEW BEST:: SOT 66341 SOS 25099 HAS SOPS 25099 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17361.099
AT ITER 2105 NEW BEST:: SOT 66348 SOS 25106 HAS SOPS 25106 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17360.106
AT ITER 2144 NEW BEST:: SOT 66350 SOS 25096 HAS SOPS 25096 HAS SOUS 17325 HAS SOUPS 17325 WITH SCORE 17350.096
AT ITER 2146 NEW BEST:: SOT 66335 SOS 25048 HAS SOPS 25048 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17320.048
AT ITER 2154 NEW BEST:: SOT 66335 SOS 25048 HAS SOPS 25048 HAS SOUS 17289 HAS SOUPS 17289 WITH SCORE 17314.048
AT ITER 2157 NEW BEST:: SOT 66335 SOS 25041 HAS SOPS 25041 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17307.041
AT ITER 2166 NEW BEST:: SOT 66329 SOS 25017 HAS SOPS 25017 HAS SOUS 17270 HAS SOUPS 17270 WITH SCORE 17295.017
AT ITER 2175 NEW BEST:: SOT 66318 SOS 24995 HAS SOPS 24995 HAS SOUS 17259 HAS SOUPS 17259 WITH SCORE 17283.995
AT ITER 2182 NEW BEST:: SOT 66312 SOS 24995 HAS SOPS 24995 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17277.995
AT ITER 2184 NEW BEST:: SOT 66312 SOS 24994 HAS SOPS 24994 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17276.994
AT ITER 2188 NEW BEST:: SOT 66295 SOS 24960 HAS SOPS 24960 HAS SOUS 17218 HAS SOUPS 17218 WITH SCORE 17242.96
AT ITER 2189 NEW BEST:: SOT 66308 SOS 24940 HAS SOPS 24940 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17208.94
AT ITER 2196 NEW BEST:: SOT 66308 SOS 24918 HAS SOPS 24918 HAS SOUS 17162 HAS SOUPS 17162 WITH SCORE 17186.918
AT ITER 2199 NEW BEST:: SOT 66259 SOS 24848 HAS SOPS 24848 HAS SOUS 17092 HAS SOUPS 17092 WITH SCORE 17116.848
AT ITER 2201 NEW BEST:: SOT 66270 SOS 24853 HAS SOPS 24853 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17101.853
AT ITER 2215 NEW BEST:: SOT 66270 SOS 24853 HAS SOPS 24853 HAS SOUS 17065 HAS SOUPS 17065 WITH SCORE 17089.853
AT ITER 2225 NEW BEST:: SOT 66259 SOS 24850 HAS SOPS 24850 HAS SOUS 17054 HAS SOUPS 17054 WITH SCORE 17078.85
AT ITER 2235 NEW BEST:: SOT 65930 SOS 24521 HAS SOPS 24521 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16748.521
AT ITER 2239 NEW BEST:: SOT 65902 SOS 24509 HAS SOPS 24509 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16732.509
AT ITER 2245 NEW BEST:: SOT 65888 SOS 24481 HAS SOPS 24481 HAS SOUS 16686 HAS SOUPS 16686 WITH SCORE 16710.481
AT ITER 2248 NEW BEST:: SOT 65902 SOS 24427 HAS SOPS 24427 HAS SOUS 16625 HAS SOUPS 16625 WITH SCORE 16649.427
AT ITER 2258 NEW BEST:: SOT 65900 SOS 24427 HAS SOPS 24427 HAS SOUS 16623 HAS SOUPS 16623 WITH SCORE 16647.427
AT ITER 2262 NEW BEST:: SOT 65898 SOS 24420 HAS SOPS 24420 HAS SOUS 16616 HAS SOUPS 16616 WITH SCORE 16640.42
AT ITER 2274 NEW BEST:: SOT 65777 SOS 24297 HAS SOPS 24297 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16616.297
AT ITER 2289 NEW BEST:: SOT 65776 SOS 24295 HAS SOPS 24295 HAS SOUS 16590 HAS SOUPS 16590 WITH SCORE 16614.295
AT ITER 2299 NEW BEST:: SOT 65731 SOS 24154 HAS SOPS 24154 HAS SOUS 16455 HAS SOUPS 16455 WITH SCORE 16479.154
AT ITER 2302 NEW BEST:: SOT 65726 SOS 24154 HAS SOPS 24154 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16474.154
AT ITER 2309 NEW BEST:: SOT 65709 SOS 24120 HAS SOPS 24120 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16437.12
AT ITER 2314 NEW BEST:: SOT 65743 SOS 24134 HAS SOPS 24134 HAS SOUS 16373 HAS SOUPS 16373 WITH SCORE 16397.134
AT ITER 2316 NEW BEST:: SOT 65735 SOS 24102 HAS SOPS 24102 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16381.102
AT ITER 2318 NEW BEST:: SOT 65735 SOS 24071 HAS SOPS 24071 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16381.071
AT ITER 2325 NEW BEST:: SOT 65689 SOS 24040 HAS SOPS 24040 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16277.04
AT ITER 2340 NEW BEST:: SOT 65681 SOS 24024 HAS SOPS 24024 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16261.024
AT ITER 2341 NEW BEST:: SOT 65670 SOS 24002 HAS SOPS 24002 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16239.002
AT ITER 2372 NEW BEST:: SOT 65668 SOS 23998 HAS SOPS 23998 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16237.998
AT ITER 2395 NEW BEST:: SOT 65668 SOS 23998 HAS SOPS 23998 HAS SOUS 16203 HAS SOUPS 16203 WITH SCORE 16226.998
AT ITER 2401 NEW BEST:: SOT 65669 SOS 23993 HAS SOPS 23993 HAS SOUS 16163 HAS SOUPS 16163 WITH SCORE 16186.993
AT ITER 2408 NEW BEST:: SOT 65616 SOS 23970 HAS SOPS 23970 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16127.97
AT ITER 2413 NEW BEST:: SOT 65605 SOS 23948 HAS SOPS 23948 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16110.948
AT ITER 2430 NEW BEST:: SOT 65556 SOS 23917 HAS SOPS 23917 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16064.917
AT ITER 2472 NEW BEST:: SOT 65493 SOS 23870 HAS SOPS 23870 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16022.87
AT ITER 2473 NEW BEST:: SOT 65393 SOS 23758 HAS SOPS 23758 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15910.758
AT ITER 2479 NEW BEST:: SOT 65369 SOS 23742 HAS SOPS 23742 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15885.742
AT ITER 2502 NEW BEST:: SOT 65361 SOS 23726 HAS SOPS 23726 HAS SOUS 15846 HAS SOUPS 15846 WITH SCORE 15869.726
AT ITER 2512 NEW BEST:: SOT 65355 SOS 23720 HAS SOPS 23720 HAS SOUS 15840 HAS SOUPS 15840 WITH SCORE 15863.72
AT ITER 2531 NEW BEST:: SOT 65416 SOS 23702 HAS SOPS 23702 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15845.702
AT ITER 2534 NEW BEST:: SOT 65421 SOS 23712 HAS SOPS 23712 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15832.712
AT ITER 2555 NEW BEST:: SOT 65418 SOS 23709 HAS SOPS 23709 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15826.709
AT ITER 2570 NEW BEST:: SOT 65407 SOS 23687 HAS SOPS 23687 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15815.687
AT ITER 2598 NEW BEST:: SOT 65392 SOS 23657 HAS SOPS 23657 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15800.657
AT ITER 2610 NEW BEST:: SOT 65373 SOS 23638 HAS SOPS 23638 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15762.638
AT ITER 2611 NEW BEST:: SOT 65373 SOS 23637 HAS SOPS 23637 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15761.637
AT ITER 2622 NEW BEST:: SOT 65372 SOS 23635 HAS SOPS 23635 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15759.635
AT ITER 2631 NEW BEST:: SOT 65370 SOS 23515 HAS SOPS 23515 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15622.515
AT ITER 2646 NEW BEST:: SOT 65369 SOS 23521 HAS SOPS 23521 HAS SOUS 15597 HAS SOUPS 15597 WITH SCORE 15620.521
AT ITER 2651 NEW BEST:: SOT 65367 SOS 23517 HAS SOPS 23517 HAS SOUS 15593 HAS SOUPS 15593 WITH SCORE 15616.517
AT ITER 2675 NEW BEST:: SOT 65291 SOS 23448 HAS SOPS 23448 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15547.448
AT ITER 2676 NEW BEST:: SOT 65228 SOS 23875 HAS SOPS 23875 HAS SOUS 15471 HAS SOUPS 15471 WITH SCORE 15494.875
AT ITER 2683 NEW BEST:: SOT 65150 SOS 23865 HAS SOPS 23865 HAS SOUS 15461 HAS SOUPS 15461 WITH SCORE 15484.865
AT ITER 2686 NEW BEST:: SOT 65150 SOS 23856 HAS SOPS 23856 HAS SOUS 15461 HAS SOUPS 15461 WITH SCORE 15484.856
AT ITER 2687 NEW BEST:: SOT 65150 SOS 23837 HAS SOPS 23837 HAS SOUS 15461 HAS SOUPS 15461 WITH SCORE 15484.837
AT ITER 2721 NEW BEST:: SOT 65142 SOS 23813 HAS SOPS 23813 HAS SOUS 15445 HAS SOUPS 15445 WITH SCORE 15468.813
AT ITER 2725 NEW BEST:: SOT 65183 SOS 23834 HAS SOPS 23834 HAS SOUS 15431 HAS SOUPS 15431 WITH SCORE 15454.834
AT ITER 2743 NEW BEST:: SOT 65179 SOS 23833 HAS SOPS 23833 HAS SOUS 15427 HAS SOUPS 15427 WITH SCORE 15450.833
AT ITER 2763 NEW BEST:: SOT 65172 SOS 23839 HAS SOPS 23839 HAS SOUS 15420 HAS SOUPS 15420 WITH SCORE 15443.839
AT ITER 2772 NEW BEST:: SOT 65171 SOS 23839 HAS SOPS 23839 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15442.839
AT ITER 2782 NEW BEST:: SOT 65095 SOS 23836 HAS SOPS 23836 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15439.836
AT ITER 2783 NEW BEST:: SOT 65077 SOS 23822 HAS SOPS 23822 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15403.822
AT ITER 2784 NEW BEST:: SOT 65076 SOS 23813 HAS SOPS 23813 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15401.813
AT ITER 2789 NEW BEST:: SOT 65048 SOS 23780 HAS SOPS 23780 HAS SOUS 15363 HAS SOUPS 15363 WITH SCORE 15386.78
AT ITER 2792 NEW BEST:: SOT 65030 SOS 23754 HAS SOPS 23754 HAS SOUS 15352 HAS SOUPS 15352 WITH SCORE 15375.754
AT ITER 2803 NEW BEST:: SOT 65026 SOS 23750 HAS SOPS 23750 HAS SOUS 15344 HAS SOUPS 15344 WITH SCORE 15367.75
AT ITER 2847 NEW BEST:: SOT 65021 SOS 23745 HAS SOPS 23745 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15362.745
AT ITER 2849 NEW BEST:: SOT 65017 SOS 23713 HAS SOPS 23713 HAS SOUS 15301 HAS SOUPS 15301 WITH SCORE 15324.713
AT ITER 2883 NEW BEST:: SOT 65017 SOS 23705 HAS SOPS 23705 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15316.705
AT ITER 2890 NEW BEST:: SOT 65013 SOS 23701 HAS SOPS 23701 HAS SOUS 15293 HAS SOUPS 15293 WITH SCORE 15316.701
AT ITER 2923 NEW BEST:: SOT 64974 SOS 23662 HAS SOPS 23662 HAS SOUS 15264 HAS SOUPS 15264 WITH SCORE 15287.662
AT ITER 2927 NEW BEST:: SOT 64975 SOS 23713 HAS SOPS 23713 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15278.713
AT ITER 2942 NEW BEST:: SOT 64907 SOS 23474 HAS SOPS 23474 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15142.474
AT ITER 2945 NEW BEST:: SOT 64902 SOS 23463 HAS SOPS 23463 HAS SOUS 15109 HAS SOUPS 15109 WITH SCORE 15132.463
AT ITER 2963 NEW BEST:: SOT 64894 SOS 23454 HAS SOPS 23454 HAS SOUS 15100 HAS SOUPS 15100 WITH SCORE 15123.454
AT ITER 2974 NEW BEST:: SOT 64816 SOS 23307 HAS SOPS 23307 HAS SOUS 15033 HAS SOUPS 15033 WITH SCORE 15056.307
AT ITER 2976 NEW BEST:: SOT 64796 SOS 23287 HAS SOPS 23287 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15036.287
AT ITER 2978 NEW BEST:: SOT 64792 SOS 23283 HAS SOPS 23283 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15032.283
AT ITER 2988 NEW BEST:: SOT 64792 SOS 23283 HAS SOPS 23283 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14951.283
AT ITER 3018 NEW BEST:: SOT 64773 SOS 23245 HAS SOPS 23245 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14913.245
AT ITER 3040 NEW BEST:: SOT 64739 SOS 23658 HAS SOPS 23658 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14886.658
AT ITER 3080 NEW BEST:: SOT 64730 SOS 23651 HAS SOPS 23651 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14879.651
AT ITER 3109 NEW BEST:: SOT 64674 SOS 23588 HAS SOPS 23588 HAS SOUS 14833 HAS SOUPS 14833 WITH SCORE 14856.588
AT ITER 3149 NEW BEST:: SOT 64670 SOS 23584 HAS SOPS 23584 HAS SOUS 14829 HAS SOUPS 14829 WITH SCORE 14852.584
AT ITER 3198 NEW BEST:: SOT 64573 SOS 23464 HAS SOPS 23464 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14732.464
AT ITER 3210 NEW BEST:: SOT 64575 SOS 23531 HAS SOPS 23531 HAS SOUS 14637 HAS SOUPS 14637 WITH SCORE 14660.531
AT ITER 3217 NEW BEST:: SOT 64575 SOS 23531 HAS SOPS 23531 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14650.531
AT ITER 3221 NEW BEST:: SOT 64575 SOS 23492 HAS SOPS 23492 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14650.492
AT ITER 3224 NEW BEST:: SOT 64575 SOS 23471 HAS SOPS 23471 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14650.471
AT ITER 3230 NEW BEST:: SOT 64552 SOS 23425 HAS SOPS 23425 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14627.425
AT ITER 3235 NEW BEST:: SOT 64507 SOS 24648 HAS SOPS 24648 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14583.648
AT ITER 3245 NEW BEST:: SOT 64495 SOS 24605 HAS SOPS 24605 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14540.605
AT ITER 3246 NEW BEST:: SOT 64477 SOS 24569 HAS SOPS 24569 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14506.569
AT ITER 3248 NEW BEST:: SOT 64220 SOS 24521 HAS SOPS 24521 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14458.521
AT ITER 3275 NEW BEST:: SOT 64212 SOS 24509 HAS SOPS 24509 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14446.509
AT ITER 3292 NEW BEST:: SOT 64198 SOS 24481 HAS SOPS 24481 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14432.481
AT ITER 3309 NEW BEST:: SOT 64185 SOS 24455 HAS SOPS 24455 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14432.455
AT ITER 3321 NEW BEST:: SOT 64185 SOS 24456 HAS SOPS 24456 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14431.456
AT ITER 3347 NEW BEST:: SOT 64185 SOS 24378 HAS SOPS 24378 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14431.378
AT ITER 3374 NEW BEST:: SOT 64178 SOS 24371 HAS SOPS 24371 HAS SOUS 14400 HAS SOUPS 14400 WITH SCORE 14424.371
AT ITER 3378 NEW BEST:: SOT 64171 SOS 24465 HAS SOPS 24465 HAS SOUS 14397 HAS SOUPS 14397 WITH SCORE 14421.465
AT ITER 3379 NEW BEST:: SOT 64164 SOS 24451 HAS SOPS 24451 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14407.451
AT ITER 3405 NEW BEST:: SOT 64177 SOS 24359 HAS SOPS 24359 HAS SOUS 14278 HAS SOUPS 14278 WITH SCORE 14302.359
AT ITER 3425 NEW BEST:: SOT 64178 SOS 24361 HAS SOPS 24361 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14295.361
AT ITER 3446 NEW BEST:: SOT 64172 SOS 24354 HAS SOPS 24354 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14294.354
AT ITER 3489 NEW BEST:: SOT 64185 SOS 24346 HAS SOPS 24346 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14273.346
AT ITER 3502 NEW BEST:: SOT 64185 SOS 24348 HAS SOPS 24348 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14271.348
AT ITER 3507 NEW BEST:: SOT 64166 SOS 24329 HAS SOPS 24329 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14271.329
AT ITER 3513 NEW BEST:: SOT 64165 SOS 24328 HAS SOPS 24328 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14270.328
AT ITER 3531 NEW BEST:: SOT 64162 SOS 24315 HAS SOPS 24315 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14262.315
AT ITER 3562 NEW BEST:: SOT 64108 SOS 24239 HAS SOPS 24239 HAS SOUS 14162 HAS SOUPS 14162 WITH SCORE 14186.239
AT ITER 3564 NEW BEST:: SOT 64100 SOS 24223 HAS SOPS 24223 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14170.223
AT ITER 3568 NEW BEST:: SOT 64093 SOS 24210 HAS SOPS 24210 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14156.21
AT ITER 3570 NEW BEST:: SOT 64089 SOS 24202 HAS SOPS 24202 HAS SOUS 14124 HAS SOUPS 14124 WITH SCORE 14148.202
AT ITER 3572 NEW BEST:: SOT 64084 SOS 24169 HAS SOPS 24169 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14140.169
AT ITER 3585 NEW BEST:: SOT 64073 SOS 24147 HAS SOPS 24147 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14118.147
AT ITER 3602 NEW BEST:: SOT 64073 SOS 24147 HAS SOPS 24147 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14107.147
AT ITER 3661 NEW BEST:: SOT 64073 SOS 24147 HAS SOPS 24147 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14099.147
AT ITER 3662 NEW BEST:: SOT 64073 SOS 24126 HAS SOPS 24126 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14099.126
AT ITER 3664 NEW BEST:: SOT 64025 SOS 24030 HAS SOPS 24030 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14051.03
AT ITER 3697 NEW BEST:: SOT 64011 SOS 24002 HAS SOPS 24002 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14023.002
AT ITER 3730 NEW BEST:: SOT 63992 SOS 23983 HAS SOPS 23983 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14022.983
AT ITER 3754 NEW BEST:: SOT 63989 SOS 23977 HAS SOPS 23977 HAS SOUS 13977 HAS SOUPS 13977 WITH SCORE 14000.977
AT ITER 3833 NEW BEST:: SOT 63988 SOS 23976 HAS SOPS 23976 HAS SOUS 13976 HAS SOUPS 13976 WITH SCORE 13999.976
AT ITER 3854 NEW BEST:: SOT 63972 SOS 23944 HAS SOPS 23944 HAS SOUS 13944 HAS SOUPS 13944 WITH SCORE 13967.944
AT ITER 3869 NEW BEST:: SOT 63972 SOS 23944 HAS SOPS 23944 HAS SOUS 13940 HAS SOUPS 13940 WITH SCORE 13963.944
AT ITER 3881 NEW BEST:: SOT 63968 SOS 23937 HAS SOPS 23937 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13958.937
AT ITER 3900 NEW BEST:: SOT 63950 SOS 23879 HAS SOPS 23879 HAS SOUS 13877 HAS SOUPS 13877 WITH SCORE 13900.879
AT ITER 3919 NEW BEST:: SOT 63940 SOS 23869 HAS SOPS 23869 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13885.869
AT ITER 3935 NEW BEST:: SOT 63929 SOS 23822 HAS SOPS 23822 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13856.822
AT ITER 3983 NEW BEST:: SOT 64008 SOS 23980 HAS SOPS 23980 HAS SOUS 13829 HAS SOUPS 13829 WITH SCORE 13852.98
AT ITER 3992 NEW BEST:: SOT 64004 SOS 24045 HAS SOPS 24045 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13829.045
AT ITER 3997 NEW BEST:: SOT 64003 SOS 24040 HAS SOPS 24040 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13827.04
AT ITER 4011 NEW BEST:: SOT 63989 SOS 23913 HAS SOPS 23913 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13797.913
AT ITER 4070 NEW BEST:: SOT 63989 SOS 23913 HAS SOPS 23913 HAS SOUS 13772 HAS SOUPS 13772 WITH SCORE 13795.913
AT ITER 4140 NEW BEST:: SOT 63988 SOS 23913 HAS SOPS 23913 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13794.913
AT ITER 4153 NEW BEST:: SOT 63989 SOS 23912 HAS SOPS 23912 HAS SOUS 13771 HAS SOUPS 13771 WITH SCORE 13794.912
AT ITER 4156 NEW BEST:: SOT 63999 SOS 23932 HAS SOPS 23932 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13768.932
AT ITER 4167 NEW BEST:: SOT 63995 SOS 23935 HAS SOPS 23935 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13761.935
AT ITER 4169 NEW BEST:: SOT 63994 SOS 23932 HAS SOPS 23932 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13758.932
AT ITER 4196 NEW BEST:: SOT 63994 SOS 23917 HAS SOPS 23917 HAS SOUS 13720 HAS SOUPS 13720 WITH SCORE 13743.917
AT ITER 4205 NEW BEST:: SOT 63994 SOS 23913 HAS SOPS 23913 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13739.913
AT ITER 4209 NEW BEST:: SOT 64003 SOS 23624 HAS SOPS 23624 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13725.624
AT ITER 4244 NEW BEST:: SOT 64000 SOS 23621 HAS SOPS 23621 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13722.621
AT ITER 4277 NEW BEST:: SOT 63975 SOS 23604 HAS SOPS 23604 HAS SOUS 13682 HAS SOUPS 13682 WITH SCORE 13705.604
AT ITER 4282 NEW BEST:: SOT 63882 SOS 23418 HAS SOPS 23418 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13514.418
AT ITER 4317 NEW BEST:: SOT 63881 SOS 23436 HAS SOPS 23436 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13505.436
AT ITER 4366 NEW BEST:: SOT 63878 SOS 23430 HAS SOPS 23430 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13502.43
AT ITER 4374 NEW BEST:: SOT 63877 SOS 23416 HAS SOPS 23416 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13488.416
AT ITER 4381 NEW BEST:: SOT 63877 SOS 23400 HAS SOPS 23400 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13488.4
AT ITER 4395 NEW BEST:: SOT 63875 SOS 23350 HAS SOPS 23350 HAS SOUS 13416 HAS SOUPS 13416 WITH SCORE 13439.35
AT ITER 4414 NEW BEST:: SOT 63874 SOS 23348 HAS SOPS 23348 HAS SOUS 13414 HAS SOUPS 13414 WITH SCORE 13437.348
AT ITER 4437 NEW BEST:: SOT 63869 SOS 23315 HAS SOPS 23315 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13404.315
AT ITER 4468 NEW BEST:: SOT 63868 SOS 23313 HAS SOPS 23313 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13402.313
AT ITER 4473 NEW BEST:: SOT 63860 SOS 23297 HAS SOPS 23297 HAS SOUS 13363 HAS SOUPS 13363 WITH SCORE 13386.297
AT ITER 4495 NEW BEST:: SOT 63860 SOS 23294 HAS SOPS 23294 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13380.294
AT ITER 4608 NEW BEST:: SOT 63832 SOS 23238 HAS SOPS 23238 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13352.238
AT ITER 4630 NEW BEST:: SOT 63828 SOS 23232 HAS SOPS 23232 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13346.232
AT ITER 4666 NEW BEST:: SOT 63803 SOS 23199 HAS SOPS 23199 HAS SOUS 13289 HAS SOUPS 13289 WITH SCORE 13312.199
AT ITER 4674 NEW BEST:: SOT 63783 SOS 23159 HAS SOPS 23159 HAS SOUS 13259 HAS SOUPS 13259 WITH SCORE 13282.159
AT ITER 4715 NEW BEST:: SOT 63781 SOS 23191 HAS SOPS 23191 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13280.191
AT ITER 4743 NEW BEST:: SOT 63781 SOS 23190 HAS SOPS 23190 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13279.19
AT ITER 4767 NEW BEST:: SOT 63778 SOS 23187 HAS SOPS 23187 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13276.187
AT ITER 4854 NEW BEST:: SOT 63787 SOS 23191 HAS SOPS 23191 HAS SOUS 13243 HAS SOUPS 13243 WITH SCORE 13266.191
AT ITER 4864 NEW BEST:: SOT 63786 SOS 23190 HAS SOPS 23190 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13264.19
AT ITER 4924 NEW BEST:: SOT 63780 SOS 23178 HAS SOPS 23178 HAS SOUS 13235 HAS SOUPS 13235 WITH SCORE 13258.178
AT ITER 4926 NEW BEST:: SOT 63763 SOS 23134 HAS SOPS 23134 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13227.134
AT ITER 4940 NEW BEST:: SOT 63756 SOS 23120 HAS SOPS 23120 HAS SOUS 13201 HAS SOUPS 13201 WITH SCORE 13224.12
AT ITER 4947 NEW BEST:: SOT 63750 SOS 23119 HAS SOPS 23119 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13222.119
AT ITER 5031 NEW BEST:: SOT 63747 SOS 23131 HAS SOPS 23131 HAS SOUS 13196 HAS SOUPS 13196 WITH SCORE 13219.131
AT ITER 5050 NEW BEST:: SOT 63747 SOS 23117 HAS SOPS 23117 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13198.117
AT ITER 5115 NEW BEST:: SOT 63743 SOS 23109 HAS SOPS 23109 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13188.109
AT ITER 5117 NEW BEST:: SOT 63731 SOS 23085 HAS SOPS 23085 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13164.085
AT ITER 5150 NEW BEST:: SOT 63712 SOS 23054 HAS SOPS 23054 HAS SOUS 13126 HAS SOUPS 13126 WITH SCORE 13149.054
AT ITER 5173 NEW BEST:: SOT 63708 SOS 23046 HAS SOPS 23046 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13141.046
AT ITER 5184 NEW BEST:: SOT 63679 SOS 23025 HAS SOPS 23025 HAS SOUS 13097 HAS SOUPS 13097 WITH SCORE 13120.025
AT ITER 5199 NEW BEST:: SOT 63672 SOS 23030 HAS SOPS 23030 HAS SOUS 13081 HAS SOUPS 13081 WITH SCORE 13104.03
AT ITER 5225 NEW BEST:: SOT 63671 SOS 23028 HAS SOPS 23028 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13101.028
AT ITER 5233 NEW BEST:: SOT 63661 SOS 23008 HAS SOPS 23008 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13081.008
AT ITER 5248 NEW BEST:: SOT 63609 SOS 23037 HAS SOPS 23037 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13029.037
AT ITER 5255 NEW BEST:: SOT 63580 SOS 23001 HAS SOPS 23001 HAS SOUS 12948 HAS SOUPS 12948 WITH SCORE 12971.001
AT ITER 5301 NEW BEST:: SOT 63569 SOS 22988 HAS SOPS 22988 HAS SOUS 12935 HAS SOUPS 12935 WITH SCORE 12957.988
AT ITER 5347 NEW BEST:: SOT 63569 SOS 22988 HAS SOPS 22988 HAS SOUS 12903 HAS SOUPS 12903 WITH SCORE 12925.988
AT ITER 5426 NEW BEST:: SOT 63569 SOS 22988 HAS SOPS 22988 HAS SOUS 12897 HAS SOUPS 12897 WITH SCORE 12919.988
AT ITER 5475 NEW BEST:: SOT 63566 SOS 22982 HAS SOPS 22982 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12913.982
AT ITER 5478 NEW BEST:: SOT 63583 SOS 22998 HAS SOPS 22998 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12885.998
AT ITER 5493 NEW BEST:: SOT 63583 SOS 22977 HAS SOPS 22977 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12885.977
AT ITER 5501 NEW BEST:: SOT 63583 SOS 22961 HAS SOPS 22961 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12869.961
AT ITER 5502 NEW BEST:: SOT 63560 SOS 22940 HAS SOPS 22940 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12856.94
AT ITER 5512 NEW BEST:: SOT 63556 SOS 22905 HAS SOPS 22905 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12825.905
AT ITER 5559 NEW BEST:: SOT 63553 SOS 22899 HAS SOPS 22899 HAS SOUS 12800 HAS SOUPS 12800 WITH SCORE 12822.899
AT ITER 5572 NEW BEST:: SOT 63446 SOS 22859 HAS SOPS 22859 HAS SOUS 12792 HAS SOUPS 12792 WITH SCORE 12814.859
AT ITER 5595 NEW BEST:: SOT 63428 SOS 22718 HAS SOPS 22718 HAS SOUS 12669 HAS SOUPS 12669 WITH SCORE 12691.718
AT ITER 5598 NEW BEST:: SOT 63430 SOS 22707 HAS SOPS 22707 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12689.707
AT ITER 5616 NEW BEST:: SOT 63434 SOS 22706 HAS SOPS 22706 HAS SOUS 12662 HAS SOUPS 12662 WITH SCORE 12684.706
AT ITER 5640 NEW BEST:: SOT 63431 SOS 22701 HAS SOPS 22701 HAS SOUS 12657 HAS SOUPS 12657 WITH SCORE 12679.701
AT ITER 5647 NEW BEST:: SOT 63287 SOS 22485 HAS SOPS 22485 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12466.485
AT ITER 5684 NEW BEST:: SOT 63284 SOS 22482 HAS SOPS 22482 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12458.482
AT ITER 5729 NEW BEST:: SOT 63280 SOS 22478 HAS SOPS 22478 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12454.478
AT ITER 5752 NEW BEST:: SOT 63278 SOS 22474 HAS SOPS 22474 HAS SOUS 12428 HAS SOUPS 12428 WITH SCORE 12450.474
AT ITER 5797 NEW BEST:: SOT 63266 SOS 22462 HAS SOPS 22462 HAS SOUS 12416 HAS SOUPS 12416 WITH SCORE 12438.462
AT ITER 5809 NEW BEST:: SOT 63257 SOS 22444 HAS SOPS 22444 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12435.444
AT ITER 5815 NEW BEST:: SOT 63246 SOS 22433 HAS SOPS 22433 HAS SOUS 12402 HAS SOUPS 12402 WITH SCORE 12424.433
AT ITER 5859 NEW BEST:: SOT 63246 SOS 22429 HAS SOPS 22429 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12421.429
AT ITER 5865 NEW BEST:: SOT 63240 SOS 22417 HAS SOPS 22417 HAS SOUS 12375 HAS SOUPS 12375 WITH SCORE 12397.417
AT ITER 5927 NEW BEST:: SOT 63225 SOS 22402 HAS SOPS 22402 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12382.402
AT ITER 5944 NEW BEST:: SOT 63203 SOS 22369 HAS SOPS 22369 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12349.369
AT ITER 5953 NEW BEST:: SOT 63197 SOS 22363 HAS SOPS 22363 HAS SOUS 12315 HAS SOUPS 12315 WITH SCORE 12337.363
AT ITER 5974 NEW BEST:: SOT 63197 SOS 22357 HAS SOPS 22357 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12331.357
AT ITER 5989 NEW BEST:: SOT 63193 SOS 22353 HAS SOPS 22353 HAS SOUS 12305 HAS SOUPS 12305 WITH SCORE 12327.353
AT ITER 6020 NEW BEST:: SOT 63190 SOS 22347 HAS SOPS 22347 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12324.347
AT ITER 6056 NEW BEST:: SOT 63191 SOS 22346 HAS SOPS 22346 HAS SOUS 12301 HAS SOUPS 12301 WITH SCORE 12323.346
AT ITER 6064 NEW BEST:: SOT 63187 SOS 22333 HAS SOPS 22333 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12320.333
AT ITER 6071 NEW BEST:: SOT 63188 SOS 22321 HAS SOPS 22321 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12318.321
AT ITER 6114 NEW BEST:: SOT 63216 SOS 22259 HAS SOPS 22259 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12225.259
AT ITER 6119 NEW BEST:: SOT 63212 SOS 22251 HAS SOPS 22251 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12217.251
AT ITER 6197 NEW BEST:: SOT 63210 SOS 22247 HAS SOPS 22247 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12213.247
AT ITER 6200 NEW BEST:: SOT 63194 SOS 22215 HAS SOPS 22215 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12164.215
AT ITER 6247 NEW BEST:: SOT 63193 SOS 22214 HAS SOPS 22214 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12163.214
AT ITER 6252 NEW BEST:: SOT 63116 SOS 22149 HAS SOPS 22149 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12098.149
AT ITER 6318 NEW BEST:: SOT 63116 SOS 22110 HAS SOPS 22110 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12098.11
AT ITER 6330 NEW BEST:: SOT 63116 SOS 22110 HAS SOPS 22110 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12068.11
AT ITER 6400 NEW BEST:: SOT 63075 SOS 22028 HAS SOPS 22028 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12046.028
AT ITER 6401 NEW BEST:: SOT 63069 SOS 22025 HAS SOPS 22025 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12040.025
AT ITER 6434 NEW BEST:: SOT 63052 SOS 22008 HAS SOPS 22008 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12023.008
AT ITER 6435 NEW BEST:: SOT 63060 SOS 22024 HAS SOPS 22024 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12021.024
AT ITER 6440 NEW BEST:: SOT 63041 SOS 22007 HAS SOPS 22007 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 12004.007
AT ITER 6462 NEW BEST:: SOT 63037 SOS 22003 HAS SOPS 22003 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 12000.003
AT ITER 6488 NEW BEST:: SOT 63037 SOS 22003 HAS SOPS 22003 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11996.003
AT ITER 6503 NEW BEST:: SOT 63022 SOS 21966 HAS SOPS 21966 HAS SOUS 11959 HAS SOUPS 11959 WITH SCORE 11980.966
AT ITER 6512 NEW BEST:: SOT 63025 SOS 21972 HAS SOPS 21972 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11979.972
AT ITER 6516 NEW BEST:: SOT 63015 SOS 21952 HAS SOPS 21952 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11964.952
AT ITER 6536 NEW BEST:: SOT 63001 SOS 21927 HAS SOPS 21927 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11952.927
AT ITER 6599 NEW BEST:: SOT 62999 SOS 21923 HAS SOPS 21923 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11948.923
AT ITER 6653 NEW BEST:: SOT 62989 SOS 21902 HAS SOPS 21902 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11917.902
AT ITER 6655 NEW BEST:: SOT 62989 SOS 21895 HAS SOPS 21895 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11917.895
AT ITER 6659 NEW BEST:: SOT 62976 SOS 21869 HAS SOPS 21869 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11891.869
AT ITER 6731 NEW BEST:: SOT 62976 SOS 21868 HAS SOPS 21868 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11890.868
AT ITER 6757 NEW BEST:: SOT 62971 SOS 21858 HAS SOPS 21858 HAS SOUS 11861 HAS SOUPS 11861 WITH SCORE 11882.858
AT ITER 6759 NEW BEST:: SOT 62968 SOS 21852 HAS SOPS 21852 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11879.852
AT ITER 6778 NEW BEST:: SOT 62967 SOS 21851 HAS SOPS 21851 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11877.851
AT ITER 6834 NEW BEST:: SOT 62958 SOS 21830 HAS SOPS 21830 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11868.83
AT ITER 6862 NEW BEST:: SOT 62949 SOS 21812 HAS SOPS 21812 HAS SOUS 11822 HAS SOUPS 11822 WITH SCORE 11843.812
AT ITER 6870 NEW BEST:: SOT 62942 SOS 21801 HAS SOPS 21801 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11834.801
AT ITER 6881 NEW BEST:: SOT 62940 SOS 21732 HAS SOPS 21732 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11821.732
AT ITER 6909 NEW BEST:: SOT 62850 SOS 21699 HAS SOPS 21699 HAS SOUS 11759 HAS SOUPS 11759 WITH SCORE 11780.699
AT ITER 6911 NEW BEST:: SOT 62847 SOS 21694 HAS SOPS 21694 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11775.694
AT ITER 6914 NEW BEST:: SOT 62849 SOS 21693 HAS SOPS 21693 HAS SOUS 11752 HAS SOUPS 11752 WITH SCORE 11773.693
AT ITER 6920 NEW BEST:: SOT 62847 SOS 21689 HAS SOPS 21689 HAS SOUS 11750 HAS SOUPS 11750 WITH SCORE 11771.689
AT ITER 6947 NEW BEST:: SOT 62854 SOS 21685 HAS SOPS 21685 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11767.685
AT ITER 6989 NEW BEST:: SOT 62842 SOS 21661 HAS SOPS 21661 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11737.661
AT ITER 6992 NEW BEST:: SOT 62838 SOS 21661 HAS SOPS 21661 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11733.661
AT ITER 7072 NEW BEST:: SOT 62838 SOS 21660 HAS SOPS 21660 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11733.66
AT ITER 7075 NEW BEST:: SOT 62838 SOS 21658 HAS SOPS 21658 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11731.658
AT ITER 7088 NEW BEST:: SOT 62838 SOS 21638 HAS SOPS 21638 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11711.638
AT ITER 7101 NEW BEST:: SOT 62837 SOS 21637 HAS SOPS 21637 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11709.637
AT ITER 7123 NEW BEST:: SOT 62837 SOS 21562 HAS SOPS 21562 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11709.562
AT ITER 7158 NEW BEST:: SOT 62837 SOS 21576 HAS SOPS 21576 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11705.576
AT ITER 7161 NEW BEST:: SOT 62833 SOS 21597 HAS SOPS 21597 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11673.597
AT ITER 7162 NEW BEST:: SOT 62817 SOS 21565 HAS SOPS 21565 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11663.565
AT ITER 7172 NEW BEST:: SOT 62808 SOS 21562 HAS SOPS 21562 HAS SOUS 11630 HAS SOUPS 11630 WITH SCORE 11651.562
AT ITER 7208 NEW BEST:: SOT 62792 SOS 21543 HAS SOPS 21543 HAS SOUS 11624 HAS SOUPS 11624 WITH SCORE 11645.543
AT ITER 7321 NEW BEST:: SOT 62794 SOS 21545 HAS SOPS 21545 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11643.545
AT ITER 7365 NEW BEST:: SOT 62808 SOS 21554 HAS SOPS 21554 HAS SOUS 11612 HAS SOUPS 11612 WITH SCORE 11633.554
AT ITER 7367 NEW BEST:: SOT 62777 SOS 21492 HAS SOPS 21492 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11618.492
AT ITER 7382 NEW BEST:: SOT 62774 SOS 21504 HAS SOPS 21504 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11597.504
AT ITER 7384 NEW BEST:: SOT 62762 SOS 21483 HAS SOPS 21483 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11573.483
AT ITER 7409 NEW BEST:: SOT 62773 SOS 21561 HAS SOPS 21561 HAS SOUS 11549 HAS SOUPS 11549 WITH SCORE 11570.561
AT ITER 7416 NEW BEST:: SOT 62764 SOS 21543 HAS SOPS 21543 HAS SOUS 11531 HAS SOUPS 11531 WITH SCORE 11552.543
AT ITER 7421 NEW BEST:: SOT 62763 SOS 21541 HAS SOPS 21541 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11551.541
AT ITER 7423 NEW BEST:: SOT 62755 SOS 21525 HAS SOPS 21525 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11542.525
AT ITER 7440 NEW BEST:: SOT 62751 SOS 21521 HAS SOPS 21521 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11534.521
AT ITER 7444 NEW BEST:: SOT 62748 SOS 21518 HAS SOPS 21518 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11528.518
AT ITER 7535 NEW BEST:: SOT 62748 SOS 21506 HAS SOPS 21506 HAS SOUS 11495 HAS SOUPS 11495 WITH SCORE 11516.506
AT ITER 7537 NEW BEST:: SOT 62745 SOS 21510 HAS SOPS 21510 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11510.51
AT ITER 7538 NEW BEST:: SOT 62748 SOS 21513 HAS SOPS 21513 HAS SOUS 11474 HAS SOUPS 11474 WITH SCORE 11495.513
AT ITER 7553 NEW BEST:: SOT 62744 SOS 21509 HAS SOPS 21509 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11491.509
AT ITER 7559 NEW BEST:: SOT 62746 SOS 21505 HAS SOPS 21505 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11487.505
AT ITER 7568 NEW BEST:: SOT 62677 SOS 21485 HAS SOPS 21485 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11391.485
AT ITER 7574 NEW BEST:: SOT 62671 SOS 21473 HAS SOPS 21473 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11389.473
AT ITER 7611 NEW BEST:: SOT 62669 SOS 21469 HAS SOPS 21469 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11385.469
AT ITER 7621 NEW BEST:: SOT 62658 SOS 21458 HAS SOPS 21458 HAS SOUS 11353 HAS SOUPS 11353 WITH SCORE 11374.458
AT ITER 7633 NEW BEST:: SOT 62663 SOS 21447 HAS SOPS 21447 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11368.447
AT ITER 7652 NEW BEST:: SOT 62659 SOS 21439 HAS SOPS 21439 HAS SOUS 11332 HAS SOUPS 11332 WITH SCORE 11353.439
AT ITER 7653 NEW BEST:: SOT 62658 SOS 21434 HAS SOPS 21434 HAS SOUS 11331 HAS SOUPS 11331 WITH SCORE 11352.434
AT ITER 7677 NEW BEST:: SOT 62650 SOS 21418 HAS SOPS 21418 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11336.418
AT ITER 7711 NEW BEST:: SOT 62645 SOS 21408 HAS SOPS 21408 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11326.408
AT ITER 7722 NEW BEST:: SOT 62644 SOS 21406 HAS SOPS 21406 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11316.406
AT ITER 7743 NEW BEST:: SOT 62642 SOS 21403 HAS SOPS 21403 HAS SOUS 11292 HAS SOUPS 11292 WITH SCORE 11313.403
AT ITER 7807 NEW BEST:: SOT 62655 SOS 21416 HAS SOPS 21416 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11304.416
AT ITER 7823 NEW BEST:: SOT 62654 SOS 21422 HAS SOPS 21422 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11302.422
AT ITER 7862 NEW BEST:: SOT 62640 SOS 21376 HAS SOPS 21376 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11276.376
AT ITER 7911 NEW BEST:: SOT 62634 SOS 21364 HAS SOPS 21364 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11264.364
AT ITER 7915 NEW BEST:: SOT 62620 SOS 21336 HAS SOPS 21336 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11250.336
AT ITER 7928 NEW BEST:: SOT 62597 SOS 21285 HAS SOPS 21285 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11189.285
AT ITER 7971 NEW BEST:: SOT 62597 SOS 21281 HAS SOPS 21281 HAS SOUS 11168 HAS SOUPS 11168 WITH SCORE 11189.281
AT ITER 7976 NEW BEST:: SOT 62592 SOS 21271 HAS SOPS 21271 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11179.271
AT ITER 7995 NEW BEST:: SOT 62592 SOS 21271 HAS SOPS 21271 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11175.271
AT ITER 7997 NEW BEST:: SOT 62577 SOS 21283 HAS SOPS 21283 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11160.283
AT ITER 8032 NEW BEST:: SOT 62564 SOS 21243 HAS SOPS 21243 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11134.243
AT ITER 8041 NEW BEST:: SOT 62564 SOS 21215 HAS SOPS 21215 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11134.215
AT ITER 8056 NEW BEST:: SOT 62556 SOS 21168 HAS SOPS 21168 HAS SOUS 11074 HAS SOUPS 11074 WITH SCORE 11095.168
AT ITER 8057 NEW BEST:: SOT 62535 SOS 21160 HAS SOPS 21160 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11087.16
AT ITER 8058 NEW BEST:: SOT 62528 SOS 21146 HAS SOPS 21146 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11073.146
AT ITER 8094 NEW BEST:: SOT 62528 SOS 21094 HAS SOPS 21094 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11073.094
AT ITER 8119 NEW BEST:: SOT 62522 SOS 21075 HAS SOPS 21075 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11068.075
AT ITER 8145 NEW BEST:: SOT 62492 SOS 21048 HAS SOPS 21048 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11041.048
AT ITER 8183 NEW BEST:: SOT 62492 SOS 21048 HAS SOPS 21048 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11033.048
AT ITER 8195 NEW BEST:: SOT 62487 SOS 21065 HAS SOPS 21065 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11023.065
AT ITER 8237 NEW BEST:: SOT 62485 SOS 21061 HAS SOPS 21061 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11019.061
AT ITER 8242 NEW BEST:: SOT 62532 SOS 21089 HAS SOPS 21089 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10988.089
AT ITER 8339 NEW BEST:: SOT 62481 SOS 21052 HAS SOPS 21052 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10951.052
AT ITER 8346 NEW BEST:: SOT 62478 SOS 20999 HAS SOPS 20999 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10934.999
AT ITER 8348 NEW BEST:: SOT 62476 SOS 20961 HAS SOPS 20961 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10930.961
AT ITER 8365 NEW BEST:: SOT 62472 SOS 20949 HAS SOPS 20949 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10922.949
AT ITER 8387 NEW BEST:: SOT 62472 SOS 20942 HAS SOPS 20942 HAS SOUS 10895 HAS SOUPS 10895 WITH SCORE 10915.942
AT ITER 8405 NEW BEST:: SOT 62465 SOS 20928 HAS SOPS 20928 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10901.928
AT ITER 8408 NEW BEST:: SOT 62462 SOS 20925 HAS SOPS 20925 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10896.925
AT ITER 8417 NEW BEST:: SOT 62426 SOS 20870 HAS SOPS 20870 HAS SOUS 10840 HAS SOUPS 10840 WITH SCORE 10860.87
AT ITER 8462 NEW BEST:: SOT 62425 SOS 20869 HAS SOPS 20869 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10858.869
AT ITER 8498 NEW BEST:: SOT 62425 SOS 20861 HAS SOPS 20861 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10858.861
AT ITER 8514 NEW BEST:: SOT 62421 SOS 20831 HAS SOPS 20831 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10852.831
AT ITER 8535 NEW BEST:: SOT 62417 SOS 20823 HAS SOPS 20823 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10848.823
AT ITER 8562 NEW BEST:: SOT 62406 SOS 20826 HAS SOPS 20826 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10838.826
AT ITER 8600 NEW BEST:: SOT 62397 SOS 20808 HAS SOPS 20808 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10829.808
AT ITER 8623 NEW BEST:: SOT 62397 SOS 20808 HAS SOPS 20808 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10827.808
AT ITER 8650 NEW BEST:: SOT 62378 SOS 20770 HAS SOPS 20770 HAS SOUS 10762 HAS SOUPS 10762 WITH SCORE 10782.77
AT ITER 8666 NEW BEST:: SOT 62363 SOS 20796 HAS SOPS 20796 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10768.796
AT ITER 8681 NEW BEST:: SOT 62362 SOS 20794 HAS SOPS 20794 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10767.794
AT ITER 8703 NEW BEST:: SOT 62354 SOS 20778 HAS SOPS 20778 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10751.778
AT ITER 8713 NEW BEST:: SOT 62363 SOS 20787 HAS SOPS 20787 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10750.787
AT ITER 8716 NEW BEST:: SOT 62364 SOS 20759 HAS SOPS 20759 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10736.759
AT ITER 8732 NEW BEST:: SOT 62359 SOS 20765 HAS SOPS 20765 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10728.765
AT ITER 8764 NEW BEST:: SOT 62363 SOS 20769 HAS SOPS 20769 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10727.769
AT ITER 8805 NEW BEST:: SOT 62353 SOS 20749 HAS SOPS 20749 HAS SOUS 10681 HAS SOUPS 10681 WITH SCORE 10701.749
AT ITER 8817 NEW BEST:: SOT 62350 SOS 20746 HAS SOPS 20746 HAS SOUS 10680 HAS SOUPS 10680 WITH SCORE 10700.746
AT ITER 8829 NEW BEST:: SOT 62343 SOS 20731 HAS SOPS 20731 HAS SOUS 10674 HAS SOUPS 10674 WITH SCORE 10694.731
AT ITER 8945 NEW BEST:: SOT 62334 SOS 20702 HAS SOPS 20702 HAS SOUS 10665 HAS SOUPS 10665 WITH SCORE 10685.702
AT ITER 8948 NEW BEST:: SOT 62309 SOS 20869 HAS SOPS 20869 HAS SOUS 10649 HAS SOUPS 10649 WITH SCORE 10669.869
AT ITER 9013 NEW BEST:: SOT 62300 SOS 20858 HAS SOPS 20858 HAS SOUS 10639 HAS SOUPS 10639 WITH SCORE 10659.858
AT ITER 9039 NEW BEST:: SOT 62290 SOS 20824 HAS SOPS 20824 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10636.824
AT ITER 9046 NEW BEST:: SOT 62290 SOS 20824 HAS SOPS 20824 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10627.824
AT ITER 9051 NEW BEST:: SOT 62289 SOS 20822 HAS SOPS 20822 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10626.822
AT ITER 9111 NEW BEST:: SOT 62276 SOS 20796 HAS SOPS 20796 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10595.796
AT ITER 9149 NEW BEST:: SOT 62268 SOS 20780 HAS SOPS 20780 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10587.78
AT ITER 9168 NEW BEST:: SOT 62268 SOS 20780 HAS SOPS 20780 HAS SOUS 10556 HAS SOUPS 10556 WITH SCORE 10576.78
AT ITER 9192 NEW BEST:: SOT 62267 SOS 20779 HAS SOPS 20779 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10575.779
AT ITER 9289 NEW BEST:: SOT 62205 SOS 20759 HAS SOPS 20759 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10555.759
AT ITER 9313 NEW BEST:: SOT 62211 SOS 20754 HAS SOPS 20754 HAS SOUS 10532 HAS SOUPS 10532 WITH SCORE 10552.754
AT ITER 9377 NEW BEST:: SOT 62208 SOS 20748 HAS SOPS 20748 HAS SOUS 10529 HAS SOUPS 10529 WITH SCORE 10549.748
AT ITER 9393 NEW BEST:: SOT 62187 SOS 20706 HAS SOPS 20706 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10511.706
AT ITER 9399 NEW BEST:: SOT 62165 SOS 20656 HAS SOPS 20656 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10463.656
AT ITER 9424 NEW BEST:: SOT 62165 SOS 20662 HAS SOPS 20662 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10457.662
AT ITER 9468 NEW BEST:: SOT 62153 SOS 20660 HAS SOPS 20660 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10457.66
AT ITER 9531 NEW BEST:: SOT 62153 SOS 20630 HAS SOPS 20630 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10443.63
AT ITER 9532 NEW BEST:: SOT 62139 SOS 20624 HAS SOPS 20624 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10442.624
AT ITER 9585 NEW BEST:: SOT 62137 SOS 20620 HAS SOPS 20620 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10430.62
AT ITER 9603 NEW BEST:: SOT 62137 SOS 20617 HAS SOPS 20617 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10428.617
AT ITER 9610 NEW BEST:: SOT 62128 SOS 20666 HAS SOPS 20666 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10410.666
AT ITER 9617 NEW BEST:: SOT 62082 SOS 20574 HAS SOPS 20574 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10358.574
AT ITER 9637 NEW BEST:: SOT 62056 SOS 20535 HAS SOPS 20535 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10332.535
AT ITER 9665 NEW BEST:: SOT 62044 SOS 20511 HAS SOPS 20511 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10308.511
AT ITER 9671 NEW BEST:: SOT 62032 SOS 20487 HAS SOPS 20487 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10284.487
AT ITER 9684 NEW BEST:: SOT 62031 SOS 20488 HAS SOPS 20488 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10282.488
AT ITER 9756 NEW BEST:: SOT 62032 SOS 20490 HAS SOPS 20490 HAS SOUS 10261 HAS SOUPS 10261 WITH SCORE 10281.49
AT ITER 9774 NEW BEST:: SOT 62032 SOS 20480 HAS SOPS 20480 HAS SOUS 10261 HAS SOUPS 10261 WITH SCORE 10281.48
AT ITER 9815 NEW BEST:: SOT 62032 SOS 20469 HAS SOPS 20469 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10270.469
AT ITER 9849 NEW BEST:: SOT 62024 SOS 20464 HAS SOPS 20464 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10254.464
AT ITER 9907 NEW BEST:: SOT 62021 SOS 20482 HAS SOPS 20482 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10251.482
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8033580 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149412 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="DiscoveryGPU-PT-11b"
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 DiscoveryGPU-PT-11b, 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 r131-smll-167819407500376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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