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-167819407400344.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-09b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407400344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.5K Feb 25 13:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 13:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 13:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 13:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 13:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 13:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 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 68K 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 1679888980198

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-09b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 09b
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: 268 places, 284 transitions, 740 arcs.
AT ITER 0 NEW BEST:: SOT 52914 SOS 24985 HAS SOPS 24985 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22230.985
AT ITER 1 NEW BEST:: SOT 52877 SOS 24911 HAS SOPS 24911 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22191.911
AT ITER 15 NEW BEST:: SOT 52877 SOS 24810 HAS SOPS 24810 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22090.81
AT ITER 21 NEW BEST:: SOT 52717 SOS 24549 HAS SOPS 24549 HAS SOUS 21825 HAS SOUPS 21825 WITH SCORE 21849.549
AT ITER 22 NEW BEST:: SOT 52716 SOS 24547 HAS SOPS 24547 HAS SOUS 21823 HAS SOUPS 21823 WITH SCORE 21847.547
AT ITER 32 NEW BEST:: SOT 52631 SOS 24405 HAS SOPS 24405 HAS SOUS 21681 HAS SOUPS 21681 WITH SCORE 21705.405
AT ITER 36 NEW BEST:: SOT 52648 SOS 24383 HAS SOPS 24383 HAS SOUS 21658 HAS SOUPS 21658 WITH SCORE 21682.383
AT ITER 37 NEW BEST:: SOT 52648 SOS 24335 HAS SOPS 24335 HAS SOUS 21610 HAS SOUPS 21610 WITH SCORE 21634.335
AT ITER 39 NEW BEST:: SOT 52634 SOS 24224 HAS SOPS 24224 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21497.224
AT ITER 41 NEW BEST:: SOT 52571 SOS 24160 HAS SOPS 24160 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21425.16
AT ITER 43 NEW BEST:: SOT 52571 SOS 24113 HAS SOPS 24113 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21425.113
AT ITER 46 NEW BEST:: SOT 52540 SOS 23986 HAS SOPS 23986 HAS SOUS 21339 HAS SOUPS 21339 WITH SCORE 21362.986
AT ITER 47 NEW BEST:: SOT 52496 SOS 23925 HAS SOPS 23925 HAS SOUS 21295 HAS SOUPS 21295 WITH SCORE 21318.925
AT ITER 49 NEW BEST:: SOT 52496 SOS 23870 HAS SOPS 23870 HAS SOUS 21240 HAS SOUPS 21240 WITH SCORE 21263.87
AT ITER 51 NEW BEST:: SOT 52470 SOS 23769 HAS SOPS 23769 HAS SOUS 21164 HAS SOUPS 21164 WITH SCORE 21187.769
AT ITER 54 NEW BEST:: SOT 52397 SOS 23550 HAS SOPS 23550 HAS SOUS 21089 HAS SOUPS 21089 WITH SCORE 21112.55
AT ITER 62 NEW BEST:: SOT 52314 SOS 23497 HAS SOPS 23497 HAS SOUS 20997 HAS SOUPS 20997 WITH SCORE 21020.497
AT ITER 68 NEW BEST:: SOT 52299 SOS 23482 HAS SOPS 23482 HAS SOUS 20982 HAS SOUPS 20982 WITH SCORE 21005.482
AT ITER 71 NEW BEST:: SOT 52259 SOS 23448 HAS SOPS 23448 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20965.448
AT ITER 86 NEW BEST:: SOT 52190 SOS 23434 HAS SOPS 23434 HAS SOUS 20901 HAS SOUPS 20901 WITH SCORE 20924.434
AT ITER 96 NEW BEST:: SOT 52167 SOS 23097 HAS SOPS 23097 HAS SOUS 20864 HAS SOUPS 20864 WITH SCORE 20887.097
AT ITER 99 NEW BEST:: SOT 52062 SOS 22892 HAS SOPS 22892 HAS SOUS 20659 HAS SOUPS 20659 WITH SCORE 20681.892
AT ITER 100 NEW BEST:: SOT 52029 SOS 22865 HAS SOPS 22865 HAS SOUS 20632 HAS SOUPS 20632 WITH SCORE 20654.865
AT ITER 102 NEW BEST:: SOT 51957 SOS 22774 HAS SOPS 22774 HAS SOUS 20541 HAS SOUPS 20541 WITH SCORE 20563.774
AT ITER 105 NEW BEST:: SOT 51939 SOS 22738 HAS SOPS 22738 HAS SOUS 20505 HAS SOUPS 20505 WITH SCORE 20527.738
AT ITER 106 NEW BEST:: SOT 51939 SOS 22738 HAS SOPS 22738 HAS SOUS 20504 HAS SOUPS 20504 WITH SCORE 20526.738
AT ITER 110 NEW BEST:: SOT 51939 SOS 22738 HAS SOPS 22738 HAS SOUS 20502 HAS SOUPS 20502 WITH SCORE 20524.738
AT ITER 115 NEW BEST:: SOT 51877 SOS 22676 HAS SOPS 22676 HAS SOUS 20440 HAS SOUPS 20440 WITH SCORE 20462.676
AT ITER 133 NEW BEST:: SOT 51877 SOS 22628 HAS SOPS 22628 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20461.628
AT ITER 149 NEW BEST:: SOT 51841 SOS 22555 HAS SOPS 22555 HAS SOUS 20366 HAS SOUPS 20366 WITH SCORE 20388.555
AT ITER 150 NEW BEST:: SOT 51813 SOS 22531 HAS SOPS 22531 HAS SOUS 20342 HAS SOUPS 20342 WITH SCORE 20364.531
AT ITER 153 NEW BEST:: SOT 51763 SOS 22393 HAS SOPS 22393 HAS SOUS 20250 HAS SOUPS 20250 WITH SCORE 20272.393
AT ITER 155 NEW BEST:: SOT 51763 SOS 22368 HAS SOPS 22368 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20247.368
AT ITER 161 NEW BEST:: SOT 51714 SOS 22368 HAS SOPS 22368 HAS SOUS 20222 HAS SOUPS 20222 WITH SCORE 20244.368
AT ITER 166 NEW BEST:: SOT 51712 SOS 22366 HAS SOPS 22366 HAS SOUS 20220 HAS SOUPS 20220 WITH SCORE 20242.366
AT ITER 174 NEW BEST:: SOT 51700 SOS 22320 HAS SOPS 22320 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20234.32
AT ITER 177 NEW BEST:: SOT 51699 SOS 22318 HAS SOPS 22318 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20232.318
AT ITER 179 NEW BEST:: SOT 51647 SOS 22236 HAS SOPS 22236 HAS SOUS 20128 HAS SOUPS 20128 WITH SCORE 20150.236
AT ITER 184 NEW BEST:: SOT 51597 SOS 22136 HAS SOPS 22136 HAS SOUS 20053 HAS SOUPS 20053 WITH SCORE 20075.136
AT ITER 185 NEW BEST:: SOT 51597 SOS 22084 HAS SOPS 22084 HAS SOUS 20052 HAS SOUPS 20052 WITH SCORE 20074.084
AT ITER 189 NEW BEST:: SOT 51597 SOS 21980 HAS SOPS 21980 HAS SOUS 19948 HAS SOUPS 19948 WITH SCORE 19969.98
AT ITER 194 NEW BEST:: SOT 51573 SOS 21901 HAS SOPS 21901 HAS SOUS 19896 HAS SOUPS 19896 WITH SCORE 19917.901
AT ITER 199 NEW BEST:: SOT 51573 SOS 21881 HAS SOPS 21881 HAS SOUS 19895 HAS SOUPS 19895 WITH SCORE 19916.881
AT ITER 202 NEW BEST:: SOT 51457 SOS 21782 HAS SOPS 21782 HAS SOUS 19788 HAS SOUPS 19788 WITH SCORE 19809.782
AT ITER 204 NEW BEST:: SOT 51393 SOS 21747 HAS SOPS 21747 HAS SOUS 19753 HAS SOUPS 19753 WITH SCORE 19774.747
AT ITER 207 NEW BEST:: SOT 51393 SOS 21746 HAS SOPS 21746 HAS SOUS 19752 HAS SOUPS 19752 WITH SCORE 19773.746
AT ITER 215 NEW BEST:: SOT 51330 SOS 21683 HAS SOPS 21683 HAS SOUS 19688 HAS SOUPS 19688 WITH SCORE 19709.683
AT ITER 217 NEW BEST:: SOT 51357 SOS 21651 HAS SOPS 21651 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19677.651
AT ITER 218 NEW BEST:: SOT 51259 SOS 21586 HAS SOPS 21586 HAS SOUS 19591 HAS SOUPS 19591 WITH SCORE 19612.586
AT ITER 220 NEW BEST:: SOT 51228 SOS 21524 HAS SOPS 21524 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19550.524
AT ITER 224 NEW BEST:: SOT 51228 SOS 21488 HAS SOPS 21488 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19550.488
AT ITER 228 NEW BEST:: SOT 51228 SOS 21456 HAS SOPS 21456 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19550.456
AT ITER 231 NEW BEST:: SOT 51209 SOS 21418 HAS SOPS 21418 HAS SOUS 19491 HAS SOUPS 19491 WITH SCORE 19512.418
AT ITER 232 NEW BEST:: SOT 51170 SOS 21340 HAS SOPS 21340 HAS SOUS 19413 HAS SOUPS 19413 WITH SCORE 19434.34
AT ITER 233 NEW BEST:: SOT 51145 SOS 21288 HAS SOPS 21288 HAS SOUS 19361 HAS SOUPS 19361 WITH SCORE 19382.288
AT ITER 234 NEW BEST:: SOT 51154 SOS 21284 HAS SOPS 21284 HAS SOUS 19357 HAS SOUPS 19357 WITH SCORE 19378.284
AT ITER 238 NEW BEST:: SOT 51154 SOS 21258 HAS SOPS 21258 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19352.258
AT ITER 244 NEW BEST:: SOT 51094 SOS 21177 HAS SOPS 21177 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19257.177
AT ITER 252 NEW BEST:: SOT 51094 SOS 21177 HAS SOPS 21177 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19214.177
AT ITER 257 NEW BEST:: SOT 51065 SOS 21177 HAS SOPS 21177 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19185.177
AT ITER 262 NEW BEST:: SOT 51057 SOS 20756 HAS SOPS 20756 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19155.756
AT ITER 271 NEW BEST:: SOT 51057 SOS 20717 HAS SOPS 20717 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19155.717
AT ITER 277 NEW BEST:: SOT 51057 SOS 20682 HAS SOPS 20682 HAS SOUS 19121 HAS SOUPS 19121 WITH SCORE 19141.682
AT ITER 289 NEW BEST:: SOT 50997 SOS 20653 HAS SOPS 20653 HAS SOUS 19049 HAS SOUPS 19049 WITH SCORE 19069.653
AT ITER 298 NEW BEST:: SOT 49731 SOS 19464 HAS SOPS 19464 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17852.464
AT ITER 315 NEW BEST:: SOT 49731 SOS 19403 HAS SOPS 19403 HAS SOUS 17772 HAS SOUPS 17772 WITH SCORE 17791.403
AT ITER 319 NEW BEST:: SOT 49766 SOS 19426 HAS SOPS 19426 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17770.426
AT ITER 323 NEW BEST:: SOT 49765 SOS 19376 HAS SOPS 19376 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17728.376
AT ITER 325 NEW BEST:: SOT 49716 SOS 19215 HAS SOPS 19215 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17614.215
AT ITER 333 NEW BEST:: SOT 49688 SOS 19187 HAS SOPS 19187 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17586.187
AT ITER 341 NEW BEST:: SOT 49674 SOS 19159 HAS SOPS 19159 HAS SOUS 17553 HAS SOUPS 17553 WITH SCORE 17572.159
AT ITER 342 NEW BEST:: SOT 49673 SOS 19157 HAS SOPS 19157 HAS SOUS 17553 HAS SOUPS 17553 WITH SCORE 17572.157
AT ITER 346 NEW BEST:: SOT 49670 SOS 19121 HAS SOPS 19121 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17536.121
AT ITER 348 NEW BEST:: SOT 49640 SOS 19061 HAS SOPS 19061 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17476.061
AT ITER 353 NEW BEST:: SOT 49608 SOS 19029 HAS SOPS 19029 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17444.029
AT ITER 360 NEW BEST:: SOT 49600 SOS 19012 HAS SOPS 19012 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17435.012
AT ITER 369 NEW BEST:: SOT 49594 SOS 19009 HAS SOPS 19009 HAS SOUS 17413 HAS SOUPS 17413 WITH SCORE 17432.009
AT ITER 371 NEW BEST:: SOT 49583 SOS 18987 HAS SOPS 18987 HAS SOUS 17391 HAS SOUPS 17391 WITH SCORE 17409.987
AT ITER 374 NEW BEST:: SOT 49520 SOS 18873 HAS SOPS 18873 HAS SOUS 17242 HAS SOUPS 17242 WITH SCORE 17260.873
AT ITER 378 NEW BEST:: SOT 49490 SOS 18843 HAS SOPS 18843 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17230.843
AT ITER 382 NEW BEST:: SOT 49476 SOS 18823 HAS SOPS 18823 HAS SOUS 17206 HAS SOUPS 17206 WITH SCORE 17224.823
AT ITER 409 NEW BEST:: SOT 49447 SOS 18765 HAS SOPS 18765 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17166.765
AT ITER 411 NEW BEST:: SOT 49368 SOS 18607 HAS SOPS 18607 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17018.607
AT ITER 420 NEW BEST:: SOT 49325 SOS 18521 HAS SOPS 18521 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 16975.521
AT ITER 423 NEW BEST:: SOT 49312 SOS 18495 HAS SOPS 18495 HAS SOUS 16931 HAS SOUPS 16931 WITH SCORE 16949.495
AT ITER 436 NEW BEST:: SOT 49312 SOS 18494 HAS SOPS 18494 HAS SOUS 16930 HAS SOUPS 16930 WITH SCORE 16948.494
AT ITER 444 NEW BEST:: SOT 49268 SOS 18580 HAS SOPS 18580 HAS SOUS 16922 HAS SOUPS 16922 WITH SCORE 16940.58
AT ITER 445 NEW BEST:: SOT 49197 SOS 18509 HAS SOPS 18509 HAS SOUS 16851 HAS SOUPS 16851 WITH SCORE 16869.509
AT ITER 446 NEW BEST:: SOT 49192 SOS 18486 HAS SOPS 18486 HAS SOUS 16828 HAS SOUPS 16828 WITH SCORE 16846.486
AT ITER 449 NEW BEST:: SOT 49237 SOS 18512 HAS SOPS 18512 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16835.512
AT ITER 461 NEW BEST:: SOT 49237 SOS 18494 HAS SOPS 18494 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16817.494
AT ITER 463 NEW BEST:: SOT 49246 SOS 18453 HAS SOPS 18453 HAS SOUS 16758 HAS SOUPS 16758 WITH SCORE 16776.453
AT ITER 467 NEW BEST:: SOT 48799 SOS 18484 HAS SOPS 18484 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16329.484
AT ITER 476 NEW BEST:: SOT 48784 SOS 18469 HAS SOPS 18469 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16314.469
AT ITER 494 NEW BEST:: SOT 48749 SOS 18399 HAS SOPS 18399 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16276.399
AT ITER 497 NEW BEST:: SOT 48749 SOS 18356 HAS SOPS 18356 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16233.356
AT ITER 499 NEW BEST:: SOT 48676 SOS 18210 HAS SOPS 18210 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16087.21
AT ITER 501 NEW BEST:: SOT 48533 SOS 17997 HAS SOPS 17997 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 15946.997
AT ITER 506 NEW BEST:: SOT 48540 SOS 17988 HAS SOPS 17988 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 15946.988
AT ITER 514 NEW BEST:: SOT 48487 SOS 17935 HAS SOPS 17935 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15893.935
AT ITER 516 NEW BEST:: SOT 48487 SOS 17873 HAS SOPS 17873 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15893.873
AT ITER 539 NEW BEST:: SOT 48162 SOS 17559 HAS SOPS 17559 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15603.559
AT ITER 546 NEW BEST:: SOT 48162 SOS 17555 HAS SOPS 17555 HAS SOUS 15582 HAS SOUPS 15582 WITH SCORE 15599.555
AT ITER 551 NEW BEST:: SOT 48161 SOS 17553 HAS SOPS 17553 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15597.553
AT ITER 553 NEW BEST:: SOT 48159 SOS 17549 HAS SOPS 17549 HAS SOUS 15538 HAS SOUPS 15538 WITH SCORE 15555.549
AT ITER 560 NEW BEST:: SOT 48159 SOS 17548 HAS SOPS 17548 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15554.548
AT ITER 563 NEW BEST:: SOT 48153 SOS 17508 HAS SOPS 17508 HAS SOUS 15497 HAS SOUPS 15497 WITH SCORE 15514.508
AT ITER 567 NEW BEST:: SOT 48144 SOS 17490 HAS SOPS 17490 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15505.49
AT ITER 573 NEW BEST:: SOT 48144 SOS 17450 HAS SOPS 17450 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15505.45
AT ITER 596 NEW BEST:: SOT 48149 SOS 17448 HAS SOPS 17448 HAS SOUS 15486 HAS SOUPS 15486 WITH SCORE 15503.448
AT ITER 608 NEW BEST:: SOT 48134 SOS 17447 HAS SOPS 17447 HAS SOUS 15485 HAS SOUPS 15485 WITH SCORE 15502.447
AT ITER 631 NEW BEST:: SOT 48133 SOS 17445 HAS SOPS 17445 HAS SOUS 15483 HAS SOUPS 15483 WITH SCORE 15500.445
AT ITER 634 NEW BEST:: SOT 48133 SOS 17439 HAS SOPS 17439 HAS SOUS 15477 HAS SOUPS 15477 WITH SCORE 15494.439
AT ITER 639 NEW BEST:: SOT 48120 SOS 17418 HAS SOPS 17418 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15473.418
AT ITER 641 NEW BEST:: SOT 48113 SOS 17319 HAS SOPS 17319 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15459.319
AT ITER 650 NEW BEST:: SOT 48104 SOS 17296 HAS SOPS 17296 HAS SOUS 15426 HAS SOUPS 15426 WITH SCORE 15443.296
AT ITER 659 NEW BEST:: SOT 48066 SOS 17171 HAS SOPS 17171 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15396.171
AT ITER 660 NEW BEST:: SOT 47992 SOS 17023 HAS SOPS 17023 HAS SOUS 15231 HAS SOUPS 15231 WITH SCORE 15248.023
AT ITER 665 NEW BEST:: SOT 47986 SOS 17023 HAS SOPS 17023 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15247.023
AT ITER 667 NEW BEST:: SOT 47982 SOS 16917 HAS SOPS 16917 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15242.917
AT ITER 671 NEW BEST:: SOT 47984 SOS 16877 HAS SOPS 16877 HAS SOUS 15205 HAS SOUPS 15205 WITH SCORE 15221.877
AT ITER 675 NEW BEST:: SOT 47974 SOS 16857 HAS SOPS 16857 HAS SOUS 15185 HAS SOUPS 15185 WITH SCORE 15201.857
AT ITER 676 NEW BEST:: SOT 47974 SOS 16843 HAS SOPS 16843 HAS SOUS 15171 HAS SOUPS 15171 WITH SCORE 15187.843
AT ITER 683 NEW BEST:: SOT 47959 SOS 16813 HAS SOPS 16813 HAS SOUS 15141 HAS SOUPS 15141 WITH SCORE 15157.813
AT ITER 691 NEW BEST:: SOT 47959 SOS 16754 HAS SOPS 16754 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15098.754
AT ITER 695 NEW BEST:: SOT 47936 SOS 16660 HAS SOPS 16660 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14991.66
AT ITER 705 NEW BEST:: SOT 47936 SOS 16642 HAS SOPS 16642 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14990.642
AT ITER 706 NEW BEST:: SOT 47890 SOS 16573 HAS SOPS 16573 HAS SOUS 14905 HAS SOUPS 14905 WITH SCORE 14921.573
AT ITER 719 NEW BEST:: SOT 47888 SOS 16571 HAS SOPS 16571 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14917.571
AT ITER 737 NEW BEST:: SOT 47827 SOS 16560 HAS SOPS 16560 HAS SOUS 14890 HAS SOUPS 14890 WITH SCORE 14906.56
AT ITER 745 NEW BEST:: SOT 47831 SOS 16559 HAS SOPS 16559 HAS SOUS 14889 HAS SOUPS 14889 WITH SCORE 14905.559
AT ITER 754 NEW BEST:: SOT 47785 SOS 16255 HAS SOPS 16255 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14836.255
AT ITER 755 NEW BEST:: SOT 47760 SOS 16239 HAS SOPS 16239 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14811.239
AT ITER 759 NEW BEST:: SOT 47760 SOS 16230 HAS SOPS 16230 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14811.23
AT ITER 770 NEW BEST:: SOT 47737 SOS 16159 HAS SOPS 16159 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14787.159
AT ITER 779 NEW BEST:: SOT 47736 SOS 16158 HAS SOPS 16158 HAS SOUS 14759 HAS SOUPS 14759 WITH SCORE 14775.158
AT ITER 792 NEW BEST:: SOT 47736 SOS 16126 HAS SOPS 16126 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14754.126
AT ITER 793 NEW BEST:: SOT 47706 SOS 16111 HAS SOPS 16111 HAS SOUS 14723 HAS SOUPS 14723 WITH SCORE 14739.111
AT ITER 810 NEW BEST:: SOT 47706 SOS 16084 HAS SOPS 16084 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14712.084
AT ITER 820 NEW BEST:: SOT 47740 SOS 16074 HAS SOPS 16074 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14668.074
AT ITER 825 NEW BEST:: SOT 47711 SOS 16050 HAS SOPS 16050 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14639.05
AT ITER 831 NEW BEST:: SOT 47695 SOS 15986 HAS SOPS 15986 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14606.986
AT ITER 855 NEW BEST:: SOT 47688 SOS 15992 HAS SOPS 15992 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14596.992
AT ITER 860 NEW BEST:: SOT 47680 SOS 15983 HAS SOPS 15983 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14587.983
AT ITER 880 NEW BEST:: SOT 47664 SOS 15977 HAS SOPS 15977 HAS SOUS 14566 HAS SOUPS 14566 WITH SCORE 14581.977
AT ITER 895 NEW BEST:: SOT 47647 SOS 15943 HAS SOPS 15943 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14547.943
AT ITER 896 NEW BEST:: SOT 47567 SOS 15792 HAS SOPS 15792 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14454.792
AT ITER 897 NEW BEST:: SOT 47566 SOS 15738 HAS SOPS 15738 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14400.738
AT ITER 899 NEW BEST:: SOT 47566 SOS 15711 HAS SOPS 15711 HAS SOUS 14385 HAS SOUPS 14385 WITH SCORE 14400.711
AT ITER 904 NEW BEST:: SOT 47567 SOS 15781 HAS SOPS 15781 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14348.781
AT ITER 920 NEW BEST:: SOT 47573 SOS 15812 HAS SOPS 15812 HAS SOUS 14329 HAS SOUPS 14329 WITH SCORE 14344.812
AT ITER 924 NEW BEST:: SOT 47567 SOS 15791 HAS SOPS 15791 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14338.791
AT ITER 927 NEW BEST:: SOT 47552 SOS 15788 HAS SOPS 15788 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14335.788
AT ITER 932 NEW BEST:: SOT 47362 SOS 16531 HAS SOPS 16531 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14260.531
AT ITER 935 NEW BEST:: SOT 47362 SOS 16530 HAS SOPS 16530 HAS SOUS 14243 HAS SOUPS 14243 WITH SCORE 14259.53
AT ITER 937 NEW BEST:: SOT 47362 SOS 16530 HAS SOPS 16530 HAS SOUS 14185 HAS SOUPS 14185 WITH SCORE 14201.53
AT ITER 942 NEW BEST:: SOT 47337 SOS 16480 HAS SOPS 16480 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14151.48
AT ITER 948 NEW BEST:: SOT 47345 SOS 16476 HAS SOPS 16476 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14147.476
AT ITER 968 NEW BEST:: SOT 47332 SOS 16450 HAS SOPS 16450 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14121.45
AT ITER 980 NEW BEST:: SOT 47345 SOS 16461 HAS SOPS 16461 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14119.461
AT ITER 986 NEW BEST:: SOT 47338 SOS 16459 HAS SOPS 16459 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14117.459
AT ITER 987 NEW BEST:: SOT 47337 SOS 16458 HAS SOPS 16458 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14117.458
AT ITER 1004 NEW BEST:: SOT 47313 SOS 16410 HAS SOPS 16410 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14084.41
AT ITER 1032 NEW BEST:: SOT 46675 SOS 16518 HAS SOPS 16518 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13683.518
AT ITER 1036 NEW BEST:: SOT 46675 SOS 16498 HAS SOPS 16498 HAS SOUS 13647 HAS SOUPS 13647 WITH SCORE 13663.498
AT ITER 1047 NEW BEST:: SOT 46659 SOS 16466 HAS SOPS 16466 HAS SOUS 13632 HAS SOUPS 13632 WITH SCORE 13648.466
AT ITER 1062 NEW BEST:: SOT 46674 SOS 16450 HAS SOPS 16450 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13548.45
AT ITER 1068 NEW BEST:: SOT 46669 SOS 16445 HAS SOPS 16445 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13548.445
AT ITER 1070 NEW BEST:: SOT 46661 SOS 16429 HAS SOPS 16429 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13532.429
AT ITER 1082 NEW BEST:: SOT 46651 SOS 16361 HAS SOPS 16361 HAS SOUS 13436 HAS SOUPS 13436 WITH SCORE 13452.361
AT ITER 1083 NEW BEST:: SOT 46638 SOS 16335 HAS SOPS 16335 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13439.335
AT ITER 1084 NEW BEST:: SOT 46603 SOS 16250 HAS SOPS 16250 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13358.25
AT ITER 1087 NEW BEST:: SOT 46593 SOS 16219 HAS SOPS 16219 HAS SOUS 13332 HAS SOUPS 13332 WITH SCORE 13348.219
AT ITER 1092 NEW BEST:: SOT 46571 SOS 16161 HAS SOPS 16161 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13299.161
AT ITER 1098 NEW BEST:: SOT 46514 SOS 16125 HAS SOPS 16125 HAS SOUS 13247 HAS SOUPS 13247 WITH SCORE 13263.125
AT ITER 1135 NEW BEST:: SOT 46494 SOS 16105 HAS SOPS 16105 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13243.105
AT ITER 1149 NEW BEST:: SOT 46493 SOS 16103 HAS SOPS 16103 HAS SOUS 13227 HAS SOUPS 13227 WITH SCORE 13243.103
AT ITER 1152 NEW BEST:: SOT 46509 SOS 16115 HAS SOPS 16115 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13240.115
AT ITER 1153 NEW BEST:: SOT 46449 SOS 16102 HAS SOPS 16102 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13180.102
AT ITER 1165 NEW BEST:: SOT 46440 SOS 16084 HAS SOPS 16084 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13153.084
AT ITER 1196 NEW BEST:: SOT 46422 SOS 16075 HAS SOPS 16075 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13144.075
AT ITER 1197 NEW BEST:: SOT 46419 SOS 16072 HAS SOPS 16072 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13138.072
AT ITER 1211 NEW BEST:: SOT 46427 SOS 16080 HAS SOPS 16080 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13120.08
AT ITER 1267 NEW BEST:: SOT 46383 SOS 15982 HAS SOPS 15982 HAS SOUS 13050 HAS SOUPS 13050 WITH SCORE 13065.982
AT ITER 1272 NEW BEST:: SOT 46383 SOS 15982 HAS SOPS 15982 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13064.982
AT ITER 1276 NEW BEST:: SOT 46383 SOS 15965 HAS SOPS 15965 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13047.965
AT ITER 1279 NEW BEST:: SOT 46373 SOS 15950 HAS SOPS 15950 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13033.95
AT ITER 1281 NEW BEST:: SOT 46371 SOS 15948 HAS SOPS 15948 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13033.948
AT ITER 1294 NEW BEST:: SOT 46369 SOS 15944 HAS SOPS 15944 HAS SOUS 13016 HAS SOUPS 13016 WITH SCORE 13031.944
AT ITER 1302 NEW BEST:: SOT 46332 SOS 15870 HAS SOPS 15870 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13016.87
AT ITER 1313 NEW BEST:: SOT 46245 SOS 15305 HAS SOPS 15305 HAS SOUS 12871 HAS SOUPS 12871 WITH SCORE 12886.305
AT ITER 1318 NEW BEST:: SOT 46241 SOS 15297 HAS SOPS 15297 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12878.297
AT ITER 1325 NEW BEST:: SOT 46236 SOS 15292 HAS SOPS 15292 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12873.292
AT ITER 1347 NEW BEST:: SOT 46236 SOS 15263 HAS SOPS 15263 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12873.263
AT ITER 1350 NEW BEST:: SOT 46227 SOS 15244 HAS SOPS 15244 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12854.244
AT ITER 1351 NEW BEST:: SOT 46079 SOS 15138 HAS SOPS 15138 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12699.138
AT ITER 1355 NEW BEST:: SOT 46061 SOS 15125 HAS SOPS 15125 HAS SOUS 12674 HAS SOUPS 12674 WITH SCORE 12689.125
AT ITER 1360 NEW BEST:: SOT 46015 SOS 15033 HAS SOPS 15033 HAS SOUS 12546 HAS SOUPS 12546 WITH SCORE 12561.033
AT ITER 1386 NEW BEST:: SOT 46015 SOS 15029 HAS SOPS 15029 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12557.029
AT ITER 1389 NEW BEST:: SOT 45985 SOS 14954 HAS SOPS 14954 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12415.954
AT ITER 1398 NEW BEST:: SOT 45985 SOS 14954 HAS SOPS 14954 HAS SOUS 12387 HAS SOUPS 12387 WITH SCORE 12401.954
AT ITER 1399 NEW BEST:: SOT 45968 SOS 14920 HAS SOPS 14920 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12377.92
AT ITER 1401 NEW BEST:: SOT 45968 SOS 14924 HAS SOPS 14924 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12373.924
AT ITER 1403 NEW BEST:: SOT 45966 SOS 14907 HAS SOPS 14907 HAS SOUS 12357 HAS SOUPS 12357 WITH SCORE 12371.907
AT ITER 1408 NEW BEST:: SOT 45965 SOS 14871 HAS SOPS 14871 HAS SOUS 12321 HAS SOUPS 12321 WITH SCORE 12335.871
AT ITER 1415 NEW BEST:: SOT 45963 SOS 14855 HAS SOPS 14855 HAS SOUS 12317 HAS SOUPS 12317 WITH SCORE 12331.855
AT ITER 1435 NEW BEST:: SOT 45961 SOS 14851 HAS SOPS 14851 HAS SOUS 12311 HAS SOUPS 12311 WITH SCORE 12325.851
AT ITER 1445 NEW BEST:: SOT 45932 SOS 14769 HAS SOPS 14769 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12264.769
AT ITER 1458 NEW BEST:: SOT 45929 SOS 14751 HAS SOPS 14751 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12238.751
AT ITER 1471 NEW BEST:: SOT 45914 SOS 14735 HAS SOPS 14735 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12222.735
AT ITER 1472 NEW BEST:: SOT 45927 SOS 14733 HAS SOPS 14733 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12218.733
AT ITER 1482 NEW BEST:: SOT 45899 SOS 14702 HAS SOPS 14702 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12212.702
AT ITER 1520 NEW BEST:: SOT 45899 SOS 14668 HAS SOPS 14668 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12178.668
AT ITER 1535 NEW BEST:: SOT 45480 SOS 14894 HAS SOPS 14894 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11850.894
AT ITER 1552 NEW BEST:: SOT 45435 SOS 14849 HAS SOPS 14849 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11808.849
AT ITER 1562 NEW BEST:: SOT 45448 SOS 14841 HAS SOPS 14841 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11807.841
AT ITER 1563 NEW BEST:: SOT 45448 SOS 14837 HAS SOPS 14837 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11803.837
AT ITER 1564 NEW BEST:: SOT 45490 SOS 14936 HAS SOPS 14936 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11789.936
AT ITER 1578 NEW BEST:: SOT 45484 SOS 14930 HAS SOPS 14930 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11783.93
AT ITER 1583 NEW BEST:: SOT 45478 SOS 14922 HAS SOPS 14922 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11775.922
AT ITER 1654 NEW BEST:: SOT 45478 SOS 14797 HAS SOPS 14797 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11775.797
AT ITER 1664 NEW BEST:: SOT 45458 SOS 14757 HAS SOPS 14757 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11752.757
AT ITER 1668 NEW BEST:: SOT 45328 SOS 14971 HAS SOPS 14971 HAS SOUS 11666 HAS SOUPS 11666 WITH SCORE 11680.971
AT ITER 1678 NEW BEST:: SOT 45313 SOS 14958 HAS SOPS 14958 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11667.958
AT ITER 1688 NEW BEST:: SOT 45288 SOS 14933 HAS SOPS 14933 HAS SOUS 11628 HAS SOUPS 11628 WITH SCORE 11642.933
AT ITER 1701 NEW BEST:: SOT 45315 SOS 14944 HAS SOPS 14944 HAS SOUS 11624 HAS SOUPS 11624 WITH SCORE 11638.944
AT ITER 1702 NEW BEST:: SOT 45315 SOS 14671 HAS SOPS 14671 HAS SOUS 11624 HAS SOUPS 11624 WITH SCORE 11638.671
AT ITER 1718 NEW BEST:: SOT 45287 SOS 14613 HAS SOPS 14613 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11606.613
AT ITER 1721 NEW BEST:: SOT 45241 SOS 14580 HAS SOPS 14580 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11573.58
AT ITER 1722 NEW BEST:: SOT 45234 SOS 14566 HAS SOPS 14566 HAS SOUS 11552 HAS SOUPS 11552 WITH SCORE 11566.566
AT ITER 1744 NEW BEST:: SOT 45181 SOS 14474 HAS SOPS 14474 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11513.474
AT ITER 1751 NEW BEST:: SOT 45181 SOS 14461 HAS SOPS 14461 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11513.461
AT ITER 1760 NEW BEST:: SOT 45170 SOS 14446 HAS SOPS 14446 HAS SOUS 11486 HAS SOUPS 11486 WITH SCORE 11500.446
AT ITER 1769 NEW BEST:: SOT 45165 SOS 14443 HAS SOPS 14443 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11496.443
AT ITER 1771 NEW BEST:: SOT 45138 SOS 14420 HAS SOPS 14420 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11455.42
AT ITER 1811 NEW BEST:: SOT 45138 SOS 14419 HAS SOPS 14419 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11454.419
AT ITER 1816 NEW BEST:: SOT 45127 SOS 14398 HAS SOPS 14398 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11448.398
AT ITER 1819 NEW BEST:: SOT 45111 SOS 14286 HAS SOPS 14286 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11416.286
AT ITER 1820 NEW BEST:: SOT 45106 SOS 14217 HAS SOPS 14217 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11347.217
AT ITER 1857 NEW BEST:: SOT 45095 SOS 14195 HAS SOPS 14195 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11325.195
AT ITER 1864 NEW BEST:: SOT 45082 SOS 14182 HAS SOPS 14182 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11312.182
AT ITER 1867 NEW BEST:: SOT 45082 SOS 14175 HAS SOPS 14175 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11312.175
AT ITER 1869 NEW BEST:: SOT 45099 SOS 14174 HAS SOPS 14174 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11311.174
AT ITER 1877 NEW BEST:: SOT 45045 SOS 14066 HAS SOPS 14066 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11263.066
AT ITER 1878 NEW BEST:: SOT 45038 SOS 14052 HAS SOPS 14052 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11251.052
AT ITER 1880 NEW BEST:: SOT 45038 SOS 13982 HAS SOPS 13982 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11242.982
AT ITER 1883 NEW BEST:: SOT 45036 SOS 13975 HAS SOPS 13975 HAS SOUS 11224 HAS SOUPS 11224 WITH SCORE 11237.975
AT ITER 1908 NEW BEST:: SOT 45035 SOS 13973 HAS SOPS 13973 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11235.973
AT ITER 1970 NEW BEST:: SOT 45031 SOS 13965 HAS SOPS 13965 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11218.965
AT ITER 1980 NEW BEST:: SOT 45005 SOS 13913 HAS SOPS 13913 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11166.913
AT ITER 1990 NEW BEST:: SOT 45060 SOS 13858 HAS SOPS 13858 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11166.858
AT ITER 1992 NEW BEST:: SOT 45014 SOS 13867 HAS SOPS 13867 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11134.867
AT ITER 2010 NEW BEST:: SOT 45011 SOS 13861 HAS SOPS 13861 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11132.861
AT ITER 2015 NEW BEST:: SOT 45010 SOS 13859 HAS SOPS 13859 HAS SOUS 11118 HAS SOUPS 11118 WITH SCORE 11131.859
AT ITER 2016 NEW BEST:: SOT 45010 SOS 13852 HAS SOPS 13852 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11124.852
AT ITER 2019 NEW BEST:: SOT 45009 SOS 13851 HAS SOPS 13851 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11122.851
AT ITER 2023 NEW BEST:: SOT 45000 SOS 13833 HAS SOPS 13833 HAS SOUS 11100 HAS SOUPS 11100 WITH SCORE 11113.833
AT ITER 2030 NEW BEST:: SOT 44991 SOS 13812 HAS SOPS 13812 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11092.812
AT ITER 2033 NEW BEST:: SOT 44951 SOS 13814 HAS SOPS 13814 HAS SOUS 11041 HAS SOUPS 11041 WITH SCORE 11054.814
AT ITER 2047 NEW BEST:: SOT 44949 SOS 13810 HAS SOPS 13810 HAS SOUS 11039 HAS SOUPS 11039 WITH SCORE 11052.81
AT ITER 2056 NEW BEST:: SOT 44935 SOS 13920 HAS SOPS 13920 HAS SOUS 11033 HAS SOUPS 11033 WITH SCORE 11046.92
AT ITER 2063 NEW BEST:: SOT 44933 SOS 13907 HAS SOPS 13907 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11031.907
AT ITER 2069 NEW BEST:: SOT 44922 SOS 13896 HAS SOPS 13896 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11009.896
AT ITER 2073 NEW BEST:: SOT 44922 SOS 13895 HAS SOPS 13895 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11008.895
AT ITER 2088 NEW BEST:: SOT 44917 SOS 13875 HAS SOPS 13875 HAS SOUS 10985 HAS SOUPS 10985 WITH SCORE 10998.875
AT ITER 2094 NEW BEST:: SOT 44908 SOS 13865 HAS SOPS 13865 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10988.865
AT ITER 2108 NEW BEST:: SOT 44905 SOS 13862 HAS SOPS 13862 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10985.862
AT ITER 2115 NEW BEST:: SOT 44945 SOS 13889 HAS SOPS 13889 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10980.889
AT ITER 2129 NEW BEST:: SOT 44948 SOS 13892 HAS SOPS 13892 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10957.892
AT ITER 2164 NEW BEST:: SOT 44946 SOS 13890 HAS SOPS 13890 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10953.89
AT ITER 2175 NEW BEST:: SOT 44941 SOS 13858 HAS SOPS 13858 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10921.858
AT ITER 2192 NEW BEST:: SOT 44935 SOS 13821 HAS SOPS 13821 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10845.821
AT ITER 2207 NEW BEST:: SOT 44931 SOS 13815 HAS SOPS 13815 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10841.815
AT ITER 2233 NEW BEST:: SOT 44930 SOS 13821 HAS SOPS 13821 HAS SOUS 10819 HAS SOUPS 10819 WITH SCORE 10832.821
AT ITER 2247 NEW BEST:: SOT 44916 SOS 13793 HAS SOPS 13793 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10804.793
AT ITER 2305 NEW BEST:: SOT 44897 SOS 13736 HAS SOPS 13736 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10766.736
AT ITER 2316 NEW BEST:: SOT 44877 SOS 13722 HAS SOPS 13722 HAS SOUS 10733 HAS SOUPS 10733 WITH SCORE 10746.722
AT ITER 2323 NEW BEST:: SOT 44878 SOS 13706 HAS SOPS 13706 HAS SOUS 10717 HAS SOUPS 10717 WITH SCORE 10730.706
AT ITER 2343 NEW BEST:: SOT 44873 SOS 13668 HAS SOPS 13668 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10720.668
AT ITER 2410 NEW BEST:: SOT 44857 SOS 13636 HAS SOPS 13636 HAS SOUS 10675 HAS SOUPS 10675 WITH SCORE 10688.636
AT ITER 2435 NEW BEST:: SOT 44857 SOS 13620 HAS SOPS 13620 HAS SOUS 10659 HAS SOUPS 10659 WITH SCORE 10672.62
AT ITER 2439 NEW BEST:: SOT 44842 SOS 13605 HAS SOPS 13605 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10657.605
AT ITER 2470 NEW BEST:: SOT 44722 SOS 13532 HAS SOPS 13532 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10516.532
AT ITER 2475 NEW BEST:: SOT 44707 SOS 13478 HAS SOPS 13478 HAS SOUS 10447 HAS SOUPS 10447 WITH SCORE 10460.478
AT ITER 2476 NEW BEST:: SOT 44704 SOS 13475 HAS SOPS 13475 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10458.475
AT ITER 2524 NEW BEST:: SOT 44686 SOS 13457 HAS SOPS 13457 HAS SOUS 10427 HAS SOUPS 10427 WITH SCORE 10440.457
AT ITER 2611 NEW BEST:: SOT 44662 SOS 13387 HAS SOPS 13387 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10392.387
AT ITER 2618 NEW BEST:: SOT 44658 SOS 13381 HAS SOPS 13381 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10384.381
AT ITER 2631 NEW BEST:: SOT 44636 SOS 13337 HAS SOPS 13337 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10327.337
AT ITER 2636 NEW BEST:: SOT 44633 SOS 13334 HAS SOPS 13334 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10321.334
AT ITER 2648 NEW BEST:: SOT 44623 SOS 13314 HAS SOPS 13314 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10301.314
AT ITER 2673 NEW BEST:: SOT 44619 SOS 13306 HAS SOPS 13306 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10293.306
AT ITER 2738 NEW BEST:: SOT 44613 SOS 13294 HAS SOPS 13294 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10283.294
AT ITER 2744 NEW BEST:: SOT 44591 SOS 13278 HAS SOPS 13278 HAS SOUS 10252 HAS SOUPS 10252 WITH SCORE 10265.278
AT ITER 2775 NEW BEST:: SOT 44566 SOS 13228 HAS SOPS 13228 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10238.228
AT ITER 2780 NEW BEST:: SOT 44574 SOS 13238 HAS SOPS 13238 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10234.238
AT ITER 2787 NEW BEST:: SOT 44574 SOS 13209 HAS SOPS 13209 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10234.209
AT ITER 2803 NEW BEST:: SOT 44548 SOS 13177 HAS SOPS 13177 HAS SOUS 10189 HAS SOUPS 10189 WITH SCORE 10202.177
AT ITER 2825 NEW BEST:: SOT 44540 SOS 13173 HAS SOPS 13173 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10182.173
AT ITER 2841 NEW BEST:: SOT 44512 SOS 13103 HAS SOPS 13103 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10122.103
AT ITER 2845 NEW BEST:: SOT 44507 SOS 13094 HAS SOPS 13094 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10119.094
AT ITER 2848 NEW BEST:: SOT 44494 SOS 13046 HAS SOPS 13046 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10100.046
AT ITER 2856 NEW BEST:: SOT 44487 SOS 13044 HAS SOPS 13044 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10087.044
AT ITER 2936 NEW BEST:: SOT 44471 SOS 13085 HAS SOPS 13085 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10076.085
AT ITER 2968 NEW BEST:: SOT 44471 SOS 13083 HAS SOPS 13083 HAS SOUS 10061 HAS SOUPS 10061 WITH SCORE 10074.083
AT ITER 2986 NEW BEST:: SOT 44465 SOS 13083 HAS SOPS 13083 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10068.083
AT ITER 3006 NEW BEST:: SOT 44467 SOS 13082 HAS SOPS 13082 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10067.082
AT ITER 3016 NEW BEST:: SOT 44466 SOS 13081 HAS SOPS 13081 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10065.081
AT ITER 3041 NEW BEST:: SOT 44430 SOS 13035 HAS SOPS 13035 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10019.035
AT ITER 3048 NEW BEST:: SOT 44418 SOS 13021 HAS SOPS 13021 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10018.021
AT ITER 3100 NEW BEST:: SOT 44416 SOS 13017 HAS SOPS 13017 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10014.017
AT ITER 3114 NEW BEST:: SOT 44413 SOS 12995 HAS SOPS 12995 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10005.995
AT ITER 3157 NEW BEST:: SOT 44412 SOS 12992 HAS SOPS 12992 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10004.992
AT ITER 3162 NEW BEST:: SOT 44392 SOS 12968 HAS SOPS 12968 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9977.968
AT ITER 3183 NEW BEST:: SOT 44392 SOS 12968 HAS SOPS 12968 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9976.968
AT ITER 3248 NEW BEST:: SOT 44381 SOS 12943 HAS SOPS 12943 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9962.943
AT ITER 3257 NEW BEST:: SOT 44379 SOS 12939 HAS SOPS 12939 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9958.939
AT ITER 3274 NEW BEST:: SOT 44377 SOS 12903 HAS SOPS 12903 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9951.903
AT ITER 3288 NEW BEST:: SOT 44376 SOS 12900 HAS SOPS 12900 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9949.9
AT ITER 3312 NEW BEST:: SOT 44364 SOS 12888 HAS SOPS 12888 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9937.888
AT ITER 3316 NEW BEST:: SOT 44347 SOS 12870 HAS SOPS 12870 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9922.87
AT ITER 3330 NEW BEST:: SOT 44332 SOS 12840 HAS SOPS 12840 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9898.84
AT ITER 3356 NEW BEST:: SOT 44334 SOS 12836 HAS SOPS 12836 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9894.836
AT ITER 3421 NEW BEST:: SOT 44326 SOS 12820 HAS SOPS 12820 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9878.82
AT ITER 3550 NEW BEST:: SOT 44326 SOS 12820 HAS SOPS 12820 HAS SOUS 9864 HAS SOUPS 9864 WITH SCORE 9876.82
AT ITER 3556 NEW BEST:: SOT 44326 SOS 12818 HAS SOPS 12818 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9874.818
AT ITER 3592 NEW BEST:: SOT 44356 SOS 12847 HAS SOPS 12847 HAS SOUS 9860 HAS SOUPS 9860 WITH SCORE 9872.847
AT ITER 3616 NEW BEST:: SOT 44339 SOS 12806 HAS SOPS 12806 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9838.806
AT ITER 3674 NEW BEST:: SOT 44339 SOS 12797 HAS SOPS 12797 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9829.797
AT ITER 3679 NEW BEST:: SOT 44331 SOS 12781 HAS SOPS 12781 HAS SOUS 9815 HAS SOUPS 9815 WITH SCORE 9827.781
AT ITER 3680 NEW BEST:: SOT 44324 SOS 12767 HAS SOPS 12767 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.767
AT ITER 3696 NEW BEST:: SOT 44323 SOS 12766 HAS SOPS 12766 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9812.766
AT ITER 3701 NEW BEST:: SOT 44308 SOS 12736 HAS SOPS 12736 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9782.736
AT ITER 3748 NEW BEST:: SOT 44308 SOS 12730 HAS SOPS 12730 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9776.73
AT ITER 3792 NEW BEST:: SOT 44300 SOS 12714 HAS SOPS 12714 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9768.714
AT ITER 3860 NEW BEST:: SOT 44298 SOS 12711 HAS SOPS 12711 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9766.711
AT ITER 3917 NEW BEST:: SOT 44290 SOS 12684 HAS SOPS 12684 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9738.684
AT ITER 3938 NEW BEST:: SOT 44289 SOS 12682 HAS SOPS 12682 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9736.682
AT ITER 3949 NEW BEST:: SOT 44289 SOS 12594 HAS SOPS 12594 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9736.594
AT ITER 3966 NEW BEST:: SOT 44291 SOS 12586 HAS SOPS 12586 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9732.586
AT ITER 3981 NEW BEST:: SOT 44291 SOS 12586 HAS SOPS 12586 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9728.586
AT ITER 4029 NEW BEST:: SOT 44259 SOS 12579 HAS SOPS 12579 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9721.579
AT ITER 4035 NEW BEST:: SOT 44271 SOS 12577 HAS SOPS 12577 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9719.577
AT ITER 4059 NEW BEST:: SOT 44263 SOS 12561 HAS SOPS 12561 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9695.561
AT ITER 4118 NEW BEST:: SOT 44262 SOS 12560 HAS SOPS 12560 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9694.56
AT ITER 4120 NEW BEST:: SOT 44260 SOS 12556 HAS SOPS 12556 HAS SOUS 9681 HAS SOUPS 9681 WITH SCORE 9693.556
AT ITER 4122 NEW BEST:: SOT 44258 SOS 12552 HAS SOPS 12552 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9689.552
AT ITER 4128 NEW BEST:: SOT 44258 SOS 12550 HAS SOPS 12550 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9689.55
AT ITER 4140 NEW BEST:: SOT 44258 SOS 12548 HAS SOPS 12548 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9689.548
AT ITER 4235 NEW BEST:: SOT 44258 SOS 12548 HAS SOPS 12548 HAS SOUS 9670 HAS SOUPS 9670 WITH SCORE 9682.548
AT ITER 4241 NEW BEST:: SOT 44241 SOS 12531 HAS SOPS 12531 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9665.531
AT ITER 4260 NEW BEST:: SOT 44241 SOS 12523 HAS SOPS 12523 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9665.523
AT ITER 4263 NEW BEST:: SOT 44241 SOS 12523 HAS SOPS 12523 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9662.523
AT ITER 4280 NEW BEST:: SOT 44237 SOS 12529 HAS SOPS 12529 HAS SOUS 9642 HAS SOUPS 9642 WITH SCORE 9654.529
AT ITER 4303 NEW BEST:: SOT 44232 SOS 12545 HAS SOPS 12545 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9647.545
AT ITER 4322 NEW BEST:: SOT 44230 SOS 12543 HAS SOPS 12543 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9643.543
AT ITER 4324 NEW BEST:: SOT 44231 SOS 12553 HAS SOPS 12553 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9636.553
AT ITER 4334 NEW BEST:: SOT 44210 SOS 12511 HAS SOPS 12511 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9594.511
AT ITER 4345 NEW BEST:: SOT 44208 SOS 12509 HAS SOPS 12509 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9592.509
AT ITER 4347 NEW BEST:: SOT 44208 SOS 12506 HAS SOPS 12506 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9589.506
AT ITER 4472 NEW BEST:: SOT 44216 SOS 12502 HAS SOPS 12502 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9585.502
AT ITER 4477 NEW BEST:: SOT 44205 SOS 12501 HAS SOPS 12501 HAS SOUS 9572 HAS SOUPS 9572 WITH SCORE 9584.501
AT ITER 4481 NEW BEST:: SOT 44221 SOS 12485 HAS SOPS 12485 HAS SOUS 9569 HAS SOUPS 9569 WITH SCORE 9581.485
AT ITER 4484 NEW BEST:: SOT 44207 SOS 12457 HAS SOPS 12457 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9553.457
AT ITER 4491 NEW BEST:: SOT 44205 SOS 12433 HAS SOPS 12433 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9549.433
AT ITER 4514 NEW BEST:: SOT 44197 SOS 12425 HAS SOPS 12425 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9549.425
AT ITER 4580 NEW BEST:: SOT 44197 SOS 12420 HAS SOPS 12420 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9544.42
AT ITER 4602 NEW BEST:: SOT 44197 SOS 12395 HAS SOPS 12395 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9519.395
AT ITER 4607 NEW BEST:: SOT 44197 SOS 12394 HAS SOPS 12394 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9518.394
AT ITER 4622 NEW BEST:: SOT 44196 SOS 12393 HAS SOPS 12393 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9516.393
AT ITER 4659 NEW BEST:: SOT 44195 SOS 12391 HAS SOPS 12391 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9514.391
AT ITER 4686 NEW BEST:: SOT 44195 SOS 12365 HAS SOPS 12365 HAS SOUS 9476 HAS SOUPS 9476 WITH SCORE 9488.365
AT ITER 4717 NEW BEST:: SOT 44195 SOS 12364 HAS SOPS 12364 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9487.364
AT ITER 4732 NEW BEST:: SOT 44192 SOS 12345 HAS SOPS 12345 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9481.345
AT ITER 4830 NEW BEST:: SOT 44192 SOS 12343 HAS SOPS 12343 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9479.343
AT ITER 4869 NEW BEST:: SOT 44189 SOS 12337 HAS SOPS 12337 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9473.337
AT ITER 4873 NEW BEST:: SOT 44184 SOS 12337 HAS SOPS 12337 HAS SOUS 9456 HAS SOUPS 9456 WITH SCORE 9468.337
AT ITER 4874 NEW BEST:: SOT 44183 SOS 12335 HAS SOPS 12335 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9460.335
AT ITER 4923 NEW BEST:: SOT 44183 SOS 12332 HAS SOPS 12332 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9457.332
AT ITER 4924 NEW BEST:: SOT 44182 SOS 12330 HAS SOPS 12330 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9449.33
AT ITER 5015 NEW BEST:: SOT 44183 SOS 12322 HAS SOPS 12322 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9444.322
AT ITER 5051 NEW BEST:: SOT 44170 SOS 12302 HAS SOPS 12302 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9418.302
AT ITER 5054 NEW BEST:: SOT 44170 SOS 12301 HAS SOPS 12301 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9417.301
AT ITER 5098 NEW BEST:: SOT 44181 SOS 12265 HAS SOPS 12265 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9381.265
AT ITER 5123 NEW BEST:: SOT 44160 SOS 12222 HAS SOPS 12222 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9339.222
AT ITER 5144 NEW BEST:: SOT 44092 SOS 12114 HAS SOPS 12114 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9231.114
AT ITER 5160 NEW BEST:: SOT 44090 SOS 12110 HAS SOPS 12110 HAS SOUS 9215 HAS SOUPS 9215 WITH SCORE 9227.11
AT ITER 5200 NEW BEST:: SOT 44078 SOS 12100 HAS SOPS 12100 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9221.1
AT ITER 5207 NEW BEST:: SOT 44076 SOS 12103 HAS SOPS 12103 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9220.103
AT ITER 5224 NEW BEST:: SOT 44098 SOS 12096 HAS SOPS 12096 HAS SOUS 9201 HAS SOUPS 9201 WITH SCORE 9213.096
AT ITER 5232 NEW BEST:: SOT 44095 SOS 12091 HAS SOPS 12091 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9208.091
AT ITER 5248 NEW BEST:: SOT 44094 SOS 12090 HAS SOPS 12090 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9207.09
AT ITER 5270 NEW BEST:: SOT 44090 SOS 12086 HAS SOPS 12086 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9199.086
AT ITER 5325 NEW BEST:: SOT 44091 SOS 12087 HAS SOPS 12087 HAS SOUS 9178 HAS SOUPS 9178 WITH SCORE 9190.087
AT ITER 5364 NEW BEST:: SOT 44091 SOS 12087 HAS SOPS 12087 HAS SOUS 9174 HAS SOUPS 9174 WITH SCORE 9186.087
AT ITER 5463 NEW BEST:: SOT 44089 SOS 12085 HAS SOPS 12085 HAS SOUS 9172 HAS SOUPS 9172 WITH SCORE 9184.085
AT ITER 5476 NEW BEST:: SOT 44080 SOS 12100 HAS SOPS 12100 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9170.1
AT ITER 5497 NEW BEST:: SOT 44078 SOS 12096 HAS SOPS 12096 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9166.096
AT ITER 5505 NEW BEST:: SOT 44060 SOS 12078 HAS SOPS 12078 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9148.078
AT ITER 5545 NEW BEST:: SOT 44060 SOS 12077 HAS SOPS 12077 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9148.077
AT ITER 5548 NEW BEST:: SOT 44059 SOS 12061 HAS SOPS 12061 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9133.061
AT ITER 5570 NEW BEST:: SOT 44048 SOS 12050 HAS SOPS 12050 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9111.05
AT ITER 5581 NEW BEST:: SOT 44047 SOS 12048 HAS SOPS 12048 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9109.048
AT ITER 5707 NEW BEST:: SOT 44028 SOS 12045 HAS SOPS 12045 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9107.045
AT ITER 5734 NEW BEST:: SOT 44022 SOS 12038 HAS SOPS 12038 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9095.038
AT ITER 5753 NEW BEST:: SOT 44010 SOS 12012 HAS SOPS 12012 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9071.012
AT ITER 5785 NEW BEST:: SOT 44008 SOS 12004 HAS SOPS 12004 HAS SOUS 9053 HAS SOUPS 9053 WITH SCORE 9065.004
AT ITER 5843 NEW BEST:: SOT 44019 SOS 11980 HAS SOPS 11980 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9040.98
AT ITER 5846 NEW BEST:: SOT 44021 SOS 11984 HAS SOPS 11984 HAS SOUS 9027 HAS SOUPS 9027 WITH SCORE 9038.984
AT ITER 5898 NEW BEST:: SOT 44021 SOS 11980 HAS SOPS 11980 HAS SOUS 9027 HAS SOUPS 9027 WITH SCORE 9038.98
AT ITER 5899 NEW BEST:: SOT 44008 SOS 11968 HAS SOPS 11968 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9019.968
AT ITER 5936 NEW BEST:: SOT 44005 SOS 11958 HAS SOPS 11958 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9012.958
AT ITER 5957 NEW BEST:: SOT 44013 SOS 11953 HAS SOPS 11953 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9007.953
AT ITER 5979 NEW BEST:: SOT 44009 SOS 11966 HAS SOPS 11966 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9003.966
AT ITER 5998 NEW BEST:: SOT 44006 SOS 11960 HAS SOPS 11960 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9000.96
AT ITER 6062 NEW BEST:: SOT 44005 SOS 11942 HAS SOPS 11942 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 8998.942
AT ITER 6118 NEW BEST:: SOT 44005 SOS 11938 HAS SOPS 11938 HAS SOUS 8983 HAS SOUPS 8983 WITH SCORE 8994.938
AT ITER 6162 NEW BEST:: SOT 44003 SOS 11938 HAS SOPS 11938 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8992.938
AT ITER 6178 NEW BEST:: SOT 43994 SOS 11929 HAS SOPS 11929 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8992.929
AT ITER 6183 NEW BEST:: SOT 43990 SOS 11921 HAS SOPS 11921 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8984.921
AT ITER 6236 NEW BEST:: SOT 43989 SOS 11920 HAS SOPS 11920 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8982.92
AT ITER 6259 NEW BEST:: SOT 43985 SOS 11916 HAS SOPS 11916 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8978.916
AT ITER 6260 NEW BEST:: SOT 43974 SOS 11894 HAS SOPS 11894 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8967.894
AT ITER 6274 NEW BEST:: SOT 43958 SOS 11916 HAS SOPS 11916 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8959.916
AT ITER 6275 NEW BEST:: SOT 43957 SOS 11915 HAS SOPS 11915 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8958.915
AT ITER 6324 NEW BEST:: SOT 43955 SOS 11911 HAS SOPS 11911 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8956.911
AT ITER 6346 NEW BEST:: SOT 43950 SOS 11901 HAS SOPS 11901 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8946.901
AT ITER 6352 NEW BEST:: SOT 43949 SOS 11899 HAS SOPS 11899 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8944.899
AT ITER 6379 NEW BEST:: SOT 43945 SOS 11891 HAS SOPS 11891 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8936.891
AT ITER 6394 NEW BEST:: SOT 43945 SOS 11887 HAS SOPS 11887 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8936.887
AT ITER 6428 NEW BEST:: SOT 43945 SOS 11887 HAS SOPS 11887 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8926.887
AT ITER 6474 NEW BEST:: SOT 43941 SOS 11879 HAS SOPS 11879 HAS SOUS 8907 HAS SOUPS 8907 WITH SCORE 8918.879
AT ITER 6491 NEW BEST:: SOT 43916 SOS 11802 HAS SOPS 11802 HAS SOUS 8871 HAS SOUPS 8871 WITH SCORE 8882.802
AT ITER 6522 NEW BEST:: SOT 43916 SOS 11802 HAS SOPS 11802 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8881.802
AT ITER 6558 NEW BEST:: SOT 43916 SOS 11800 HAS SOPS 11800 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8881.8
AT ITER 6594 NEW BEST:: SOT 43909 SOS 11786 HAS SOPS 11786 HAS SOUS 8856 HAS SOUPS 8856 WITH SCORE 8867.786
AT ITER 6595 NEW BEST:: SOT 43909 SOS 11785 HAS SOPS 11785 HAS SOUS 8856 HAS SOUPS 8856 WITH SCORE 8867.785
AT ITER 6641 NEW BEST:: SOT 43909 SOS 11784 HAS SOPS 11784 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8866.784
AT ITER 6642 NEW BEST:: SOT 43909 SOS 11783 HAS SOPS 11783 HAS SOUS 8855 HAS SOUPS 8855 WITH SCORE 8866.783
AT ITER 6646 NEW BEST:: SOT 43898 SOS 11772 HAS SOPS 11772 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8855.772
AT ITER 6668 NEW BEST:: SOT 43870 SOS 11756 HAS SOPS 11756 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8837.756
AT ITER 6683 NEW BEST:: SOT 43868 SOS 11754 HAS SOPS 11754 HAS SOUS 8822 HAS SOUPS 8822 WITH SCORE 8833.754
AT ITER 6684 NEW BEST:: SOT 43866 SOS 11753 HAS SOPS 11753 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8829.753
AT ITER 6687 NEW BEST:: SOT 43863 SOS 11750 HAS SOPS 11750 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8823.75
AT ITER 6697 NEW BEST:: SOT 43861 SOS 11740 HAS SOPS 11740 HAS SOUS 8803 HAS SOUPS 8803 WITH SCORE 8814.74
AT ITER 6701 NEW BEST:: SOT 43843 SOS 11722 HAS SOPS 11722 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8796.722
AT ITER 6705 NEW BEST:: SOT 43843 SOS 11720 HAS SOPS 11720 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8794.72
AT ITER 6731 NEW BEST:: SOT 43830 SOS 11699 HAS SOPS 11699 HAS SOUS 8768 HAS SOUPS 8768 WITH SCORE 8779.699
AT ITER 6741 NEW BEST:: SOT 43804 SOS 11635 HAS SOPS 11635 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8715.635
AT ITER 6796 NEW BEST:: SOT 43792 SOS 11627 HAS SOPS 11627 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8703.627
AT ITER 6811 NEW BEST:: SOT 43793 SOS 11626 HAS SOPS 11626 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8702.626
AT ITER 6844 NEW BEST:: SOT 43793 SOS 11625 HAS SOPS 11625 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8701.625
AT ITER 6910 NEW BEST:: SOT 43792 SOS 11624 HAS SOPS 11624 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8699.624
AT ITER 6935 NEW BEST:: SOT 43799 SOS 11631 HAS SOPS 11631 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8694.631
AT ITER 6938 NEW BEST:: SOT 43793 SOS 11619 HAS SOPS 11619 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8682.619
AT ITER 6976 NEW BEST:: SOT 43772 SOS 11614 HAS SOPS 11614 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8677.614
AT ITER 6986 NEW BEST:: SOT 43770 SOS 11610 HAS SOPS 11610 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8673.61
AT ITER 6996 NEW BEST:: SOT 43759 SOS 11609 HAS SOPS 11609 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8662.609
AT ITER 6998 NEW BEST:: SOT 43751 SOS 11587 HAS SOPS 11587 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8632.587
AT ITER 7001 NEW BEST:: SOT 43736 SOS 11743 HAS SOPS 11743 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8618.743
AT ITER 7003 NEW BEST:: SOT 43736 SOS 11739 HAS SOPS 11739 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8618.739
AT ITER 7030 NEW BEST:: SOT 43708 SOS 11802 HAS SOPS 11802 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8604.802
AT ITER 7052 NEW BEST:: SOT 43706 SOS 11778 HAS SOPS 11778 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8576.778
AT ITER 7059 NEW BEST:: SOT 43704 SOS 11774 HAS SOPS 11774 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8572.774
AT ITER 7080 NEW BEST:: SOT 43687 SOS 11805 HAS SOPS 11805 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8558.805
AT ITER 7083 NEW BEST:: SOT 43684 SOS 11799 HAS SOPS 11799 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8554.799
AT ITER 7099 NEW BEST:: SOT 43684 SOS 11798 HAS SOPS 11798 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8552.798
AT ITER 7102 NEW BEST:: SOT 43683 SOS 11813 HAS SOPS 11813 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8550.813
AT ITER 7141 NEW BEST:: SOT 43673 SOS 11793 HAS SOPS 11793 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8539.793
AT ITER 7145 NEW BEST:: SOT 43673 SOS 11790 HAS SOPS 11790 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8536.79
AT ITER 7200 NEW BEST:: SOT 43671 SOS 11788 HAS SOPS 11788 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8534.788
AT ITER 7223 NEW BEST:: SOT 43671 SOS 11785 HAS SOPS 11785 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8531.785
AT ITER 7272 NEW BEST:: SOT 43671 SOS 11781 HAS SOPS 11781 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8528.781
AT ITER 7275 NEW BEST:: SOT 43667 SOS 11775 HAS SOPS 11775 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8522.775
AT ITER 7291 NEW BEST:: SOT 43666 SOS 11773 HAS SOPS 11773 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8520.773
AT ITER 7314 NEW BEST:: SOT 43663 SOS 11767 HAS SOPS 11767 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8517.767
AT ITER 7333 NEW BEST:: SOT 43663 SOS 11767 HAS SOPS 11767 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8515.767
AT ITER 7336 NEW BEST:: SOT 43663 SOS 11763 HAS SOPS 11763 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8515.763
AT ITER 7340 NEW BEST:: SOT 43658 SOS 11753 HAS SOPS 11753 HAS SOUS 8494 HAS SOUPS 8494 WITH SCORE 8505.753
AT ITER 7380 NEW BEST:: SOT 43654 SOS 11760 HAS SOPS 11760 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8504.76
AT ITER 7381 NEW BEST:: SOT 43642 SOS 11757 HAS SOPS 11757 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8492.757
AT ITER 7402 NEW BEST:: SOT 43642 SOS 11753 HAS SOPS 11753 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8488.753
AT ITER 7404 NEW BEST:: SOT 43647 SOS 11728 HAS SOPS 11728 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8463.728
AT ITER 7407 NEW BEST:: SOT 43650 SOS 11726 HAS SOPS 11726 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8457.726
AT ITER 7471 NEW BEST:: SOT 43649 SOS 11724 HAS SOPS 11724 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8455.724
AT ITER 7611 NEW BEST:: SOT 43650 SOS 11722 HAS SOPS 11722 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8451.722
AT ITER 7681 NEW BEST:: SOT 43645 SOS 11719 HAS SOPS 11719 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8448.719
AT ITER 7687 NEW BEST:: SOT 43642 SOS 11715 HAS SOPS 11715 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8442.715
AT ITER 7706 NEW BEST:: SOT 43640 SOS 11711 HAS SOPS 11711 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8438.711
AT ITER 7769 NEW BEST:: SOT 43642 SOS 11709 HAS SOPS 11709 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8438.709
AT ITER 7852 NEW BEST:: SOT 43647 SOS 11703 HAS SOPS 11703 HAS SOUS 8424 HAS SOUPS 8424 WITH SCORE 8435.703
AT ITER 7870 NEW BEST:: SOT 43649 SOS 11698 HAS SOPS 11698 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8428.698
AT ITER 7892 NEW BEST:: SOT 43646 SOS 11695 HAS SOPS 11695 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8425.695
AT ITER 7926 NEW BEST:: SOT 43647 SOS 11685 HAS SOPS 11685 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8417.685
AT ITER 7930 NEW BEST:: SOT 43646 SOS 11684 HAS SOPS 11684 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8415.684
AT ITER 7938 NEW BEST:: SOT 43642 SOS 11676 HAS SOPS 11676 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8411.676
AT ITER 8008 NEW BEST:: SOT 43637 SOS 11666 HAS SOPS 11666 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8401.666
AT ITER 8019 NEW BEST:: SOT 43636 SOS 11664 HAS SOPS 11664 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.664
AT ITER 8063 NEW BEST:: SOT 43632 SOS 11638 HAS SOPS 11638 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8391.638
AT ITER 8113 NEW BEST:: SOT 43635 SOS 11636 HAS SOPS 11636 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8389.636
AT ITER 8123 NEW BEST:: SOT 43633 SOS 11632 HAS SOPS 11632 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8385.632
AT ITER 8180 NEW BEST:: SOT 43633 SOS 11621 HAS SOPS 11621 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8385.621
AT ITER 8297 NEW BEST:: SOT 43599 SOS 11697 HAS SOPS 11697 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8358.697
AT ITER 8383 NEW BEST:: SOT 43608 SOS 11683 HAS SOPS 11683 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8356.683
AT ITER 8429 NEW BEST:: SOT 43607 SOS 11682 HAS SOPS 11682 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8355.682
AT ITER 8615 NEW BEST:: SOT 43616 SOS 11552 HAS SOPS 11552 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8352.552
AT ITER 8639 NEW BEST:: SOT 43616 SOS 11552 HAS SOPS 11552 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8349.552
AT ITER 8668 NEW BEST:: SOT 43611 SOS 11517 HAS SOPS 11517 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8331.517
AT ITER 8686 NEW BEST:: SOT 43609 SOS 11512 HAS SOPS 11512 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8311.512
AT ITER 8752 NEW BEST:: SOT 43555 SOS 11498 HAS SOPS 11498 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8273.498
AT ITER 8790 NEW BEST:: SOT 43477 SOS 12409 HAS SOPS 12409 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8228.409
AT ITER 8803 NEW BEST:: SOT 43470 SOS 12402 HAS SOPS 12402 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8221.402
AT ITER 8852 NEW BEST:: SOT 43464 SOS 12390 HAS SOPS 12390 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8218.39
AT ITER 8856 NEW BEST:: SOT 43402 SOS 12497 HAS SOPS 12497 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8214.497
AT ITER 8883 NEW BEST:: SOT 43411 SOS 12473 HAS SOPS 12473 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8190.473
AT ITER 8966 NEW BEST:: SOT 43407 SOS 12469 HAS SOPS 12469 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8186.469
AT ITER 9064 NEW BEST:: SOT 43401 SOS 12465 HAS SOPS 12465 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8179.465
AT ITER 9085 NEW BEST:: SOT 43385 SOS 12457 HAS SOPS 12457 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8171.457
AT ITER 9118 NEW BEST:: SOT 43384 SOS 12459 HAS SOPS 12459 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8169.459
AT ITER 9196 NEW BEST:: SOT 43382 SOS 12453 HAS SOPS 12453 HAS SOUS 8153 HAS SOUPS 8153 WITH SCORE 8165.453
AT ITER 9246 NEW BEST:: SOT 43382 SOS 12453 HAS SOPS 12453 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8164.453
AT ITER 9281 NEW BEST:: SOT 43379 SOS 12447 HAS SOPS 12447 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8158.447
AT ITER 9286 NEW BEST:: SOT 43379 SOS 12415 HAS SOPS 12415 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8158.415
AT ITER 9290 NEW BEST:: SOT 43382 SOS 12411 HAS SOPS 12411 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8156.411
AT ITER 9344 NEW BEST:: SOT 43379 SOS 12405 HAS SOPS 12405 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8153.405
AT ITER 9345 NEW BEST:: SOT 43372 SOS 12398 HAS SOPS 12398 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8153.398
AT ITER 9384 NEW BEST:: SOT 43341 SOS 12425 HAS SOPS 12425 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8127.425
AT ITER 9447 NEW BEST:: SOT 43340 SOS 12424 HAS SOPS 12424 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8126.424
AT ITER 9474 NEW BEST:: SOT 43339 SOS 12423 HAS SOPS 12423 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8125.423
AT ITER 9482 NEW BEST:: SOT 43339 SOS 12417 HAS SOPS 12417 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8122.417
AT ITER 9514 NEW BEST:: SOT 43338 SOS 12415 HAS SOPS 12415 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8117.415
AT ITER 9521 NEW BEST:: SOT 43333 SOS 12410 HAS SOPS 12410 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8107.41
AT ITER 9760 NEW BEST:: SOT 43331 SOS 12402 HAS SOPS 12402 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8099.402
AT ITER 9777 NEW BEST:: SOT 43330 SOS 12399 HAS SOPS 12399 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8096.399
AT ITER 9791 NEW BEST:: SOT 43340 SOS 12419 HAS SOPS 12419 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8095.419
AT ITER 9801 NEW BEST:: SOT 43331 SOS 12407 HAS SOPS 12407 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8087.407
AT ITER 9808 NEW BEST:: SOT 43329 SOS 12408 HAS SOPS 12408 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8086.408
AT ITER 9883 NEW BEST:: SOT 43329 SOS 12402 HAS SOPS 12402 HAS SOUS 8068 HAS SOUPS 8068 WITH SCORE 8080.402
AT ITER 9922 NEW BEST:: SOT 43321 SOS 12568 HAS SOPS 12568 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8072.568
AT ITER 9923 NEW BEST:: SOT 43313 SOS 12560 HAS SOPS 12560 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8064.56
AT ITER 9925 NEW BEST:: SOT 43314 SOS 12548 HAS SOPS 12548 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8054.548
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8289324 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-09b"
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-09b, 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-167819407400344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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