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.r195-smll-167840342400448.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 HirschbergSinclair-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342400448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 9.1K Feb 26 02:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 02:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 02:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 02:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 02:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 02:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 02:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 173K 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 1678522622724

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=HirschbergSinclair-PT-15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 15
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: 330 places, 296 transitions, 906 arcs.
AT ITER 0 NEW BEST:: SOT 74970 SOS 39781 HAS SOPS 39781 HAS SOUS 39616 HAS SOUPS 39616 WITH SCORE 39655.781
AT ITER 3 NEW BEST:: SOT 74970 SOS 39780 HAS SOPS 39780 HAS SOUS 39615 HAS SOUPS 39615 WITH SCORE 39654.78
AT ITER 4 NEW BEST:: SOT 74970 SOS 39739 HAS SOPS 39739 HAS SOUS 39574 HAS SOUPS 39574 WITH SCORE 39613.739
AT ITER 6 NEW BEST:: SOT 74681 SOS 43523 HAS SOPS 43523 HAS SOUS 39496 HAS SOUPS 39496 WITH SCORE 39539.523
AT ITER 7 NEW BEST:: SOT 74681 SOS 43507 HAS SOPS 43507 HAS SOUS 39480 HAS SOUPS 39480 WITH SCORE 39523.507
AT ITER 8 NEW BEST:: SOT 74681 SOS 43417 HAS SOPS 43417 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39433.417
AT ITER 9 NEW BEST:: SOT 74681 SOS 40166 HAS SOPS 40166 HAS SOUS 39179 HAS SOUPS 39179 WITH SCORE 39219.166
AT ITER 18 NEW BEST:: SOT 74681 SOS 40152 HAS SOPS 40152 HAS SOUS 39165 HAS SOUPS 39165 WITH SCORE 39205.152
AT ITER 30 NEW BEST:: SOT 74681 SOS 40113 HAS SOPS 40113 HAS SOUS 39126 HAS SOUPS 39126 WITH SCORE 39166.113
AT ITER 32 NEW BEST:: SOT 74681 SOS 40004 HAS SOPS 40004 HAS SOUS 39017 HAS SOUPS 39017 WITH SCORE 39057.004
AT ITER 40 NEW BEST:: SOT 74681 SOS 39951 HAS SOPS 39951 HAS SOUS 38964 HAS SOUPS 38964 WITH SCORE 39003.951
AT ITER 41 NEW BEST:: SOT 74681 SOS 39907 HAS SOPS 39907 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 38959.907
AT ITER 42 NEW BEST:: SOT 74681 SOS 39697 HAS SOPS 39697 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38749.697
AT ITER 43 NEW BEST:: SOT 74681 SOS 39659 HAS SOPS 39659 HAS SOUS 38672 HAS SOUPS 38672 WITH SCORE 38711.659
AT ITER 46 NEW BEST:: SOT 74434 SOS 40128 HAS SOPS 40128 HAS SOUS 38522 HAS SOUPS 38522 WITH SCORE 38562.128
AT ITER 52 NEW BEST:: SOT 74434 SOS 40097 HAS SOPS 40097 HAS SOUS 38491 HAS SOUPS 38491 WITH SCORE 38531.097
AT ITER 55 NEW BEST:: SOT 73272 SOS 39024 HAS SOPS 39024 HAS SOUS 37418 HAS SOUPS 37418 WITH SCORE 37457.024
AT ITER 56 NEW BEST:: SOT 73272 SOS 38962 HAS SOPS 38962 HAS SOUS 37356 HAS SOUPS 37356 WITH SCORE 37394.962
AT ITER 60 NEW BEST:: SOT 73272 SOS 38879 HAS SOPS 38879 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37311.879
AT ITER 82 NEW BEST:: SOT 73272 SOS 38854 HAS SOPS 38854 HAS SOUS 37248 HAS SOUPS 37248 WITH SCORE 37286.854
AT ITER 96 NEW BEST:: SOT 73272 SOS 38821 HAS SOPS 38821 HAS SOUS 37215 HAS SOUPS 37215 WITH SCORE 37253.821
AT ITER 99 NEW BEST:: SOT 73272 SOS 38695 HAS SOPS 38695 HAS SOUS 37089 HAS SOUPS 37089 WITH SCORE 37127.695
AT ITER 102 NEW BEST:: SOT 73243 SOS 38655 HAS SOPS 38655 HAS SOUS 37049 HAS SOUPS 37049 WITH SCORE 37087.655
AT ITER 104 NEW BEST:: SOT 73243 SOS 38608 HAS SOPS 38608 HAS SOUS 37002 HAS SOUPS 37002 WITH SCORE 37040.608
AT ITER 107 NEW BEST:: SOT 72367 SOS 37771 HAS SOPS 37771 HAS SOUS 36156 HAS SOUPS 36156 WITH SCORE 36193.771
AT ITER 111 NEW BEST:: SOT 72367 SOS 37637 HAS SOPS 37637 HAS SOUS 36022 HAS SOUPS 36022 WITH SCORE 36059.637
AT ITER 112 NEW BEST:: SOT 72367 SOS 37536 HAS SOPS 37536 HAS SOUS 35921 HAS SOUPS 35921 WITH SCORE 35958.536
AT ITER 115 NEW BEST:: SOT 72367 SOS 37512 HAS SOPS 37512 HAS SOUS 35897 HAS SOUPS 35897 WITH SCORE 35934.512
AT ITER 117 NEW BEST:: SOT 72367 SOS 37419 HAS SOPS 37419 HAS SOUS 35804 HAS SOUPS 35804 WITH SCORE 35841.419
AT ITER 122 NEW BEST:: SOT 72404 SOS 37360 HAS SOPS 37360 HAS SOUS 35716 HAS SOUPS 35716 WITH SCORE 35753.36
AT ITER 126 NEW BEST:: SOT 72389 SOS 37345 HAS SOPS 37345 HAS SOUS 35701 HAS SOUPS 35701 WITH SCORE 35738.345
AT ITER 128 NEW BEST:: SOT 72389 SOS 37309 HAS SOPS 37309 HAS SOUS 35665 HAS SOUPS 35665 WITH SCORE 35702.309
AT ITER 131 NEW BEST:: SOT 72389 SOS 37308 HAS SOPS 37308 HAS SOUS 35664 HAS SOUPS 35664 WITH SCORE 35701.308
AT ITER 132 NEW BEST:: SOT 72389 SOS 37155 HAS SOPS 37155 HAS SOUS 35511 HAS SOUPS 35511 WITH SCORE 35548.155
AT ITER 139 NEW BEST:: SOT 72386 SOS 37146 HAS SOPS 37146 HAS SOUS 35502 HAS SOUPS 35502 WITH SCORE 35539.146
AT ITER 140 NEW BEST:: SOT 71507 SOS 36762 HAS SOPS 36762 HAS SOUS 34599 HAS SOUPS 34599 WITH SCORE 34635.762
AT ITER 142 NEW BEST:: SOT 71507 SOS 36734 HAS SOPS 36734 HAS SOUS 34529 HAS SOUPS 34529 WITH SCORE 34565.734
AT ITER 152 NEW BEST:: SOT 71507 SOS 36603 HAS SOPS 36603 HAS SOUS 34398 HAS SOUPS 34398 WITH SCORE 34434.603
AT ITER 168 NEW BEST:: SOT 70199 SOS 35729 HAS SOPS 35729 HAS SOUS 33321 HAS SOUPS 33321 WITH SCORE 33356.729
AT ITER 169 NEW BEST:: SOT 70199 SOS 35628 HAS SOPS 35628 HAS SOUS 33220 HAS SOUPS 33220 WITH SCORE 33255.628
AT ITER 173 NEW BEST:: SOT 68999 SOS 36134 HAS SOPS 36134 HAS SOUS 32117 HAS SOUPS 32117 WITH SCORE 32153.134
AT ITER 174 NEW BEST:: SOT 68934 SOS 36004 HAS SOPS 36004 HAS SOUS 31987 HAS SOUPS 31987 WITH SCORE 32023.004
AT ITER 180 NEW BEST:: SOT 68945 SOS 36028 HAS SOPS 36028 HAS SOUS 31965 HAS SOUPS 31965 WITH SCORE 32001.028
AT ITER 188 NEW BEST:: SOT 67190 SOS 35323 HAS SOPS 35323 HAS SOUS 30596 HAS SOUPS 30596 WITH SCORE 30631.323
AT ITER 191 NEW BEST:: SOT 67122 SOS 35158 HAS SOPS 35158 HAS SOUS 30557 HAS SOUPS 30557 WITH SCORE 30592.158
AT ITER 195 NEW BEST:: SOT 67047 SOS 35024 HAS SOPS 35024 HAS SOUS 30423 HAS SOUPS 30423 WITH SCORE 30458.024
AT ITER 198 NEW BEST:: SOT 67047 SOS 34926 HAS SOPS 34926 HAS SOUS 30325 HAS SOUPS 30325 WITH SCORE 30359.926
AT ITER 199 NEW BEST:: SOT 67021 SOS 34842 HAS SOPS 34842 HAS SOUS 30219 HAS SOUPS 30219 WITH SCORE 30253.842
AT ITER 201 NEW BEST:: SOT 66969 SOS 34784 HAS SOPS 34784 HAS SOUS 30195 HAS SOUPS 30195 WITH SCORE 30229.784
AT ITER 206 NEW BEST:: SOT 66978 SOS 34726 HAS SOPS 34726 HAS SOUS 30133 HAS SOUPS 30133 WITH SCORE 30167.726
AT ITER 214 NEW BEST:: SOT 66964 SOS 34698 HAS SOPS 34698 HAS SOUS 30112 HAS SOUPS 30112 WITH SCORE 30146.698
AT ITER 217 NEW BEST:: SOT 66921 SOS 34655 HAS SOPS 34655 HAS SOUS 29979 HAS SOUPS 29979 WITH SCORE 30013.655
AT ITER 219 NEW BEST:: SOT 66921 SOS 34553 HAS SOPS 34553 HAS SOUS 29877 HAS SOUPS 29877 WITH SCORE 29911.553
AT ITER 225 NEW BEST:: SOT 66921 SOS 34545 HAS SOPS 34545 HAS SOUS 29869 HAS SOUPS 29869 WITH SCORE 29903.545
AT ITER 228 NEW BEST:: SOT 66921 SOS 34563 HAS SOPS 34563 HAS SOUS 29866 HAS SOUPS 29866 WITH SCORE 29900.563
AT ITER 229 NEW BEST:: SOT 65944 SOS 33864 HAS SOPS 33864 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29060.864
AT ITER 239 NEW BEST:: SOT 65944 SOS 33780 HAS SOPS 33780 HAS SOUS 28994 HAS SOUPS 28994 WITH SCORE 29027.78
AT ITER 242 NEW BEST:: SOT 65933 SOS 33747 HAS SOPS 33747 HAS SOUS 28972 HAS SOUPS 28972 WITH SCORE 29005.747
AT ITER 248 NEW BEST:: SOT 65879 SOS 33549 HAS SOPS 33549 HAS SOUS 28823 HAS SOUPS 28823 WITH SCORE 28856.549
AT ITER 250 NEW BEST:: SOT 65828 SOS 33455 HAS SOPS 33455 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28718.455
AT ITER 256 NEW BEST:: SOT 65828 SOS 33398 HAS SOPS 33398 HAS SOUS 28628 HAS SOUPS 28628 WITH SCORE 28661.398
AT ITER 260 NEW BEST:: SOT 65812 SOS 33366 HAS SOPS 33366 HAS SOUS 28596 HAS SOUPS 28596 WITH SCORE 28629.366
AT ITER 265 NEW BEST:: SOT 65726 SOS 33333 HAS SOPS 33333 HAS SOUS 28481 HAS SOUPS 28481 WITH SCORE 28514.333
AT ITER 282 NEW BEST:: SOT 65726 SOS 33285 HAS SOPS 33285 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28466.285
AT ITER 285 NEW BEST:: SOT 65726 SOS 33265 HAS SOPS 33265 HAS SOUS 28400 HAS SOUPS 28400 WITH SCORE 28433.265
AT ITER 287 NEW BEST:: SOT 65726 SOS 33180 HAS SOPS 33180 HAS SOUS 28315 HAS SOUPS 28315 WITH SCORE 28348.18
AT ITER 292 NEW BEST:: SOT 65599 SOS 33060 HAS SOPS 33060 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28221.06
AT ITER 296 NEW BEST:: SOT 64157 SOS 33707 HAS SOPS 33707 HAS SOUS 27144 HAS SOUPS 27144 WITH SCORE 27177.707
AT ITER 303 NEW BEST:: SOT 64107 SOS 33647 HAS SOPS 33647 HAS SOUS 27139 HAS SOUPS 27139 WITH SCORE 27172.647
AT ITER 310 NEW BEST:: SOT 64107 SOS 33626 HAS SOPS 33626 HAS SOUS 27118 HAS SOUPS 27118 WITH SCORE 27151.626
AT ITER 311 NEW BEST:: SOT 64087 SOS 33513 HAS SOPS 33513 HAS SOUS 27078 HAS SOUPS 27078 WITH SCORE 27111.513
AT ITER 316 NEW BEST:: SOT 64096 SOS 33522 HAS SOPS 33522 HAS SOUS 27069 HAS SOUPS 27069 WITH SCORE 27102.522
AT ITER 319 NEW BEST:: SOT 63746 SOS 33720 HAS SOPS 33720 HAS SOUS 26813 HAS SOUPS 26813 WITH SCORE 26846.72
AT ITER 331 NEW BEST:: SOT 63725 SOS 33579 HAS SOPS 33579 HAS SOUS 26705 HAS SOUPS 26705 WITH SCORE 26738.579
AT ITER 333 NEW BEST:: SOT 63725 SOS 33561 HAS SOPS 33561 HAS SOUS 26705 HAS SOUPS 26705 WITH SCORE 26738.561
AT ITER 337 NEW BEST:: SOT 62723 SOS 33020 HAS SOPS 33020 HAS SOUS 25784 HAS SOUPS 25784 WITH SCORE 25817.02
AT ITER 340 NEW BEST:: SOT 62745 SOS 33123 HAS SOPS 33123 HAS SOUS 25782 HAS SOUPS 25782 WITH SCORE 25815.123
AT ITER 342 NEW BEST:: SOT 62730 SOS 33108 HAS SOPS 33108 HAS SOUS 25752 HAS SOUPS 25752 WITH SCORE 25785.108
AT ITER 350 NEW BEST:: SOT 62719 SOS 33081 HAS SOPS 33081 HAS SOUS 25730 HAS SOUPS 25730 WITH SCORE 25763.081
AT ITER 356 NEW BEST:: SOT 62692 SOS 33099 HAS SOPS 33099 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25754.099
AT ITER 359 NEW BEST:: SOT 62692 SOS 33086 HAS SOPS 33086 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25732.086
AT ITER 364 NEW BEST:: SOT 62355 SOS 32289 HAS SOPS 32289 HAS SOUS 25339 HAS SOUPS 25339 WITH SCORE 25371.289
AT ITER 365 NEW BEST:: SOT 62355 SOS 32289 HAS SOPS 32289 HAS SOUS 25323 HAS SOUPS 25323 WITH SCORE 25355.289
AT ITER 367 NEW BEST:: SOT 62333 SOS 32241 HAS SOPS 32241 HAS SOUS 25305 HAS SOUPS 25305 WITH SCORE 25337.241
AT ITER 375 NEW BEST:: SOT 61158 SOS 31833 HAS SOPS 31833 HAS SOUS 24282 HAS SOUPS 24282 WITH SCORE 24313.833
AT ITER 391 NEW BEST:: SOT 59642 SOS 30651 HAS SOPS 30651 HAS SOUS 22820 HAS SOUPS 22820 WITH SCORE 22850.651
AT ITER 393 NEW BEST:: SOT 59755 SOS 30745 HAS SOPS 30745 HAS SOUS 22760 HAS SOUPS 22760 WITH SCORE 22790.745
AT ITER 404 NEW BEST:: SOT 59565 SOS 31297 HAS SOPS 31297 HAS SOUS 22673 HAS SOUPS 22673 WITH SCORE 22704.297
AT ITER 406 NEW BEST:: SOT 59522 SOS 31208 HAS SOPS 31208 HAS SOUS 22587 HAS SOUPS 22587 WITH SCORE 22618.208
AT ITER 413 NEW BEST:: SOT 59515 SOS 31182 HAS SOPS 31182 HAS SOUS 22573 HAS SOUPS 22573 WITH SCORE 22604.182
AT ITER 423 NEW BEST:: SOT 59509 SOS 31173 HAS SOPS 31173 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22592.173
AT ITER 430 NEW BEST:: SOT 59509 SOS 31142 HAS SOPS 31142 HAS SOUS 22530 HAS SOUPS 22530 WITH SCORE 22561.142
AT ITER 431 NEW BEST:: SOT 59514 SOS 31134 HAS SOPS 31134 HAS SOUS 22517 HAS SOUPS 22517 WITH SCORE 22548.134
AT ITER 436 NEW BEST:: SOT 59514 SOS 31134 HAS SOPS 31134 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22532.134
AT ITER 443 NEW BEST:: SOT 59487 SOS 31088 HAS SOPS 31088 HAS SOUS 22455 HAS SOUPS 22455 WITH SCORE 22486.088
AT ITER 444 NEW BEST:: SOT 59473 SOS 31173 HAS SOPS 31173 HAS SOUS 22427 HAS SOUPS 22427 WITH SCORE 22458.173
AT ITER 456 NEW BEST:: SOT 59422 SOS 31122 HAS SOPS 31122 HAS SOUS 22380 HAS SOUPS 22380 WITH SCORE 22411.122
AT ITER 458 NEW BEST:: SOT 59420 SOS 31120 HAS SOPS 31120 HAS SOUS 22362 HAS SOUPS 22362 WITH SCORE 22393.12
AT ITER 464 NEW BEST:: SOT 58433 SOS 30585 HAS SOPS 30585 HAS SOUS 21475 HAS SOUPS 21475 WITH SCORE 21505.585
AT ITER 489 NEW BEST:: SOT 58433 SOS 30530 HAS SOPS 30530 HAS SOUS 21420 HAS SOUPS 21420 WITH SCORE 21450.53
AT ITER 510 NEW BEST:: SOT 58456 SOS 30553 HAS SOPS 30553 HAS SOUS 21410 HAS SOUPS 21410 WITH SCORE 21440.553
AT ITER 553 NEW BEST:: SOT 58448 SOS 30510 HAS SOPS 30510 HAS SOUS 21390 HAS SOUPS 21390 WITH SCORE 21420.51
AT ITER 560 NEW BEST:: SOT 58438 SOS 30490 HAS SOPS 30490 HAS SOUS 21370 HAS SOUPS 21370 WITH SCORE 21400.49
AT ITER 564 NEW BEST:: SOT 58419 SOS 30471 HAS SOPS 30471 HAS SOUS 21346 HAS SOUPS 21346 WITH SCORE 21376.471
AT ITER 576 NEW BEST:: SOT 58418 SOS 30470 HAS SOPS 30470 HAS SOUS 21345 HAS SOUPS 21345 WITH SCORE 21375.47
AT ITER 582 NEW BEST:: SOT 58418 SOS 30470 HAS SOPS 30470 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21330.47
AT ITER 588 NEW BEST:: SOT 58395 SOS 30447 HAS SOPS 30447 HAS SOUS 21254 HAS SOUPS 21254 WITH SCORE 21284.447
AT ITER 601 NEW BEST:: SOT 58395 SOS 30391 HAS SOPS 30391 HAS SOUS 21254 HAS SOUPS 21254 WITH SCORE 21284.391
AT ITER 604 NEW BEST:: SOT 58351 SOS 30291 HAS SOPS 30291 HAS SOUS 21183 HAS SOUPS 21183 WITH SCORE 21213.291
AT ITER 605 NEW BEST:: SOT 58306 SOS 30246 HAS SOPS 30246 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21192.246
AT ITER 607 NEW BEST:: SOT 58264 SOS 30223 HAS SOPS 30223 HAS SOUS 21101 HAS SOUPS 21101 WITH SCORE 21131.223
AT ITER 612 NEW BEST:: SOT 58301 SOS 30260 HAS SOPS 30260 HAS SOUS 21008 HAS SOUPS 21008 WITH SCORE 21038.26
AT ITER 615 NEW BEST:: SOT 58278 SOS 29856 HAS SOPS 29856 HAS SOUS 20959 HAS SOUPS 20959 WITH SCORE 20988.856
AT ITER 619 NEW BEST:: SOT 58288 SOS 29622 HAS SOPS 29622 HAS SOUS 20936 HAS SOUPS 20936 WITH SCORE 20965.622
AT ITER 620 NEW BEST:: SOT 58253 SOS 29587 HAS SOPS 29587 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20955.587
AT ITER 626 NEW BEST:: SOT 58208 SOS 29536 HAS SOPS 29536 HAS SOUS 20824 HAS SOUPS 20824 WITH SCORE 20853.536
AT ITER 631 NEW BEST:: SOT 58192 SOS 29520 HAS SOPS 29520 HAS SOUS 20800 HAS SOUPS 20800 WITH SCORE 20829.52
AT ITER 633 NEW BEST:: SOT 58179 SOS 29516 HAS SOPS 29516 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20816.516
AT ITER 634 NEW BEST:: SOT 58179 SOS 29422 HAS SOPS 29422 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20816.422
AT ITER 636 NEW BEST:: SOT 58167 SOS 29410 HAS SOPS 29410 HAS SOUS 20775 HAS SOUPS 20775 WITH SCORE 20804.41
AT ITER 637 NEW BEST:: SOT 58130 SOS 29373 HAS SOPS 29373 HAS SOUS 20701 HAS SOUPS 20701 WITH SCORE 20730.373
AT ITER 644 NEW BEST:: SOT 58155 SOS 29085 HAS SOPS 29085 HAS SOUS 20701 HAS SOUPS 20701 WITH SCORE 20730.085
AT ITER 648 NEW BEST:: SOT 58211 SOS 29178 HAS SOPS 29178 HAS SOUS 20689 HAS SOUPS 20689 WITH SCORE 20718.178
AT ITER 653 NEW BEST:: SOT 58194 SOS 29161 HAS SOPS 29161 HAS SOUS 20668 HAS SOUPS 20668 WITH SCORE 20697.161
AT ITER 657 NEW BEST:: SOT 58243 SOS 29210 HAS SOPS 29210 HAS SOUS 20609 HAS SOUPS 20609 WITH SCORE 20638.21
AT ITER 661 NEW BEST:: SOT 58241 SOS 29253 HAS SOPS 29253 HAS SOUS 20604 HAS SOUPS 20604 WITH SCORE 20633.253
AT ITER 666 NEW BEST:: SOT 58235 SOS 29235 HAS SOPS 29235 HAS SOUS 20592 HAS SOUPS 20592 WITH SCORE 20621.235
AT ITER 667 NEW BEST:: SOT 58164 SOS 29142 HAS SOPS 29142 HAS SOUS 20460 HAS SOUPS 20460 WITH SCORE 20489.142
AT ITER 668 NEW BEST:: SOT 58078 SOS 28972 HAS SOPS 28972 HAS SOUS 20392 HAS SOUPS 20392 WITH SCORE 20420.972
AT ITER 675 NEW BEST:: SOT 58078 SOS 28972 HAS SOPS 28972 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20419.972
AT ITER 678 NEW BEST:: SOT 58076 SOS 28950 HAS SOPS 28950 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20415.95
AT ITER 694 NEW BEST:: SOT 58074 SOS 28946 HAS SOPS 28946 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20411.946
AT ITER 697 NEW BEST:: SOT 58065 SOS 28919 HAS SOPS 28919 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20379.919
AT ITER 700 NEW BEST:: SOT 58062 SOS 28911 HAS SOPS 28911 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20305.911
AT ITER 706 NEW BEST:: SOT 58028 SOS 28877 HAS SOPS 28877 HAS SOUS 20184 HAS SOUPS 20184 WITH SCORE 20212.877
AT ITER 717 NEW BEST:: SOT 57929 SOS 28681 HAS SOPS 28681 HAS SOUS 19978 HAS SOUPS 19978 WITH SCORE 20006.681
AT ITER 731 NEW BEST:: SOT 57858 SOS 28610 HAS SOPS 28610 HAS SOUS 19948 HAS SOUPS 19948 WITH SCORE 19976.61
AT ITER 742 NEW BEST:: SOT 57814 SOS 28794 HAS SOPS 28794 HAS SOUS 19924 HAS SOUPS 19924 WITH SCORE 19952.794
AT ITER 745 NEW BEST:: SOT 57800 SOS 28780 HAS SOPS 28780 HAS SOUS 19917 HAS SOUPS 19917 WITH SCORE 19945.78
AT ITER 746 NEW BEST:: SOT 57778 SOS 28771 HAS SOPS 28771 HAS SOUS 19860 HAS SOUPS 19860 WITH SCORE 19888.771
AT ITER 748 NEW BEST:: SOT 57778 SOS 28771 HAS SOPS 28771 HAS SOUS 19824 HAS SOUPS 19824 WITH SCORE 19852.771
AT ITER 751 NEW BEST:: SOT 57737 SOS 28622 HAS SOPS 28622 HAS SOUS 19742 HAS SOUPS 19742 WITH SCORE 19770.622
AT ITER 764 NEW BEST:: SOT 57735 SOS 28620 HAS SOPS 28620 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19674.62
AT ITER 772 NEW BEST:: SOT 57702 SOS 28567 HAS SOPS 28567 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19641.567
AT ITER 781 NEW BEST:: SOT 57689 SOS 28554 HAS SOPS 28554 HAS SOUS 19600 HAS SOUPS 19600 WITH SCORE 19628.554
AT ITER 786 NEW BEST:: SOT 57647 SOS 28512 HAS SOPS 28512 HAS SOUS 19558 HAS SOUPS 19558 WITH SCORE 19586.512
AT ITER 802 NEW BEST:: SOT 57647 SOS 28512 HAS SOPS 28512 HAS SOUS 19541 HAS SOUPS 19541 WITH SCORE 19569.512
AT ITER 812 NEW BEST:: SOT 57652 SOS 28517 HAS SOPS 28517 HAS SOUS 19479 HAS SOUPS 19479 WITH SCORE 19507.517
AT ITER 821 NEW BEST:: SOT 57652 SOS 28492 HAS SOPS 28492 HAS SOUS 19454 HAS SOUPS 19454 WITH SCORE 19482.492
AT ITER 824 NEW BEST:: SOT 57499 SOS 28339 HAS SOPS 28339 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19299.339
AT ITER 862 NEW BEST:: SOT 57460 SOS 28278 HAS SOPS 28278 HAS SOUS 19222 HAS SOUPS 19222 WITH SCORE 19250.278
AT ITER 866 NEW BEST:: SOT 57458 SOS 28276 HAS SOPS 28276 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19246.276
AT ITER 869 NEW BEST:: SOT 57454 SOS 28272 HAS SOPS 28272 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19238.272
AT ITER 871 NEW BEST:: SOT 57358 SOS 28173 HAS SOPS 28173 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19052.173
AT ITER 875 NEW BEST:: SOT 57339 SOS 28102 HAS SOPS 28102 HAS SOUS 18998 HAS SOUPS 18998 WITH SCORE 19026.102
AT ITER 878 NEW BEST:: SOT 57339 SOS 28124 HAS SOPS 28124 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18994.124
AT ITER 887 NEW BEST:: SOT 57333 SOS 28115 HAS SOPS 28115 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18982.115
AT ITER 902 NEW BEST:: SOT 57333 SOS 28115 HAS SOPS 28115 HAS SOUS 18925 HAS SOUPS 18925 WITH SCORE 18953.115
AT ITER 910 NEW BEST:: SOT 57264 SOS 27961 HAS SOPS 27961 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18835.961
AT ITER 913 NEW BEST:: SOT 57225 SOS 27883 HAS SOPS 27883 HAS SOUS 18804 HAS SOUPS 18804 WITH SCORE 18831.883
AT ITER 929 NEW BEST:: SOT 57094 SOS 27714 HAS SOPS 27714 HAS SOUS 18765 HAS SOUPS 18765 WITH SCORE 18792.714
AT ITER 933 NEW BEST:: SOT 57087 SOS 27632 HAS SOPS 27632 HAS SOUS 18764 HAS SOUPS 18764 WITH SCORE 18791.632
AT ITER 939 NEW BEST:: SOT 57087 SOS 27627 HAS SOPS 27627 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18786.627
AT ITER 941 NEW BEST:: SOT 57023 SOS 27523 HAS SOPS 27523 HAS SOUS 18659 HAS SOUPS 18659 WITH SCORE 18686.523
AT ITER 950 NEW BEST:: SOT 57043 SOS 27543 HAS SOPS 27543 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18676.543
AT ITER 951 NEW BEST:: SOT 57063 SOS 27087 HAS SOPS 27087 HAS SOUS 18603 HAS SOUPS 18603 WITH SCORE 18630.087
AT ITER 969 NEW BEST:: SOT 57063 SOS 27075 HAS SOPS 27075 HAS SOUS 18603 HAS SOUPS 18603 WITH SCORE 18630.075
AT ITER 985 NEW BEST:: SOT 57042 SOS 27087 HAS SOPS 27087 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18583.087
AT ITER 1002 NEW BEST:: SOT 57042 SOS 27078 HAS SOPS 27078 HAS SOUS 18547 HAS SOUPS 18547 WITH SCORE 18574.078
AT ITER 1008 NEW BEST:: SOT 57036 SOS 27072 HAS SOPS 27072 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18562.072
AT ITER 1012 NEW BEST:: SOT 57001 SOS 26967 HAS SOPS 26967 HAS SOUS 18465 HAS SOUPS 18465 WITH SCORE 18491.967
AT ITER 1017 NEW BEST:: SOT 57000 SOS 26966 HAS SOPS 26966 HAS SOUS 18463 HAS SOUPS 18463 WITH SCORE 18489.966
AT ITER 1020 NEW BEST:: SOT 57012 SOS 26978 HAS SOPS 26978 HAS SOUS 18451 HAS SOUPS 18451 WITH SCORE 18477.978
AT ITER 1021 NEW BEST:: SOT 56961 SOS 26850 HAS SOPS 26850 HAS SOUS 18268 HAS SOUPS 18268 WITH SCORE 18294.85
AT ITER 1034 NEW BEST:: SOT 56961 SOS 26805 HAS SOPS 26805 HAS SOUS 18223 HAS SOUPS 18223 WITH SCORE 18249.805
AT ITER 1052 NEW BEST:: SOT 56973 SOS 26817 HAS SOPS 26817 HAS SOUS 18216 HAS SOUPS 18216 WITH SCORE 18242.817
AT ITER 1054 NEW BEST:: SOT 56950 SOS 26768 HAS SOPS 26768 HAS SOUS 18190 HAS SOUPS 18190 WITH SCORE 18216.768
AT ITER 1063 NEW BEST:: SOT 57048 SOS 26888 HAS SOPS 26888 HAS SOUS 18185 HAS SOUPS 18185 WITH SCORE 18211.888
AT ITER 1069 NEW BEST:: SOT 57048 SOS 26833 HAS SOPS 26833 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18106.833
AT ITER 1077 NEW BEST:: SOT 57058 SOS 26843 HAS SOPS 26843 HAS SOUS 18076 HAS SOUPS 18076 WITH SCORE 18102.843
AT ITER 1089 NEW BEST:: SOT 56979 SOS 26755 HAS SOPS 26755 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18027.755
AT ITER 1090 NEW BEST:: SOT 56977 SOS 26755 HAS SOPS 26755 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18023.755
AT ITER 1110 NEW BEST:: SOT 56907 SOS 26782 HAS SOPS 26782 HAS SOUS 17941 HAS SOUPS 17941 WITH SCORE 17967.782
AT ITER 1114 NEW BEST:: SOT 56902 SOS 26777 HAS SOPS 26777 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17958.777
AT ITER 1118 NEW BEST:: SOT 56906 SOS 26781 HAS SOPS 26781 HAS SOUS 17920 HAS SOUPS 17920 WITH SCORE 17946.781
AT ITER 1121 NEW BEST:: SOT 56888 SOS 26763 HAS SOPS 26763 HAS SOUS 17884 HAS SOUPS 17884 WITH SCORE 17910.763
AT ITER 1124 NEW BEST:: SOT 56853 SOS 26728 HAS SOPS 26728 HAS SOUS 17881 HAS SOUPS 17881 WITH SCORE 17907.728
AT ITER 1154 NEW BEST:: SOT 56827 SOS 26666 HAS SOPS 26666 HAS SOUS 17789 HAS SOUPS 17789 WITH SCORE 17815.666
AT ITER 1171 NEW BEST:: SOT 56592 SOS 28005 HAS SOPS 28005 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17711.005
AT ITER 1178 NEW BEST:: SOT 56592 SOS 27880 HAS SOPS 27880 HAS SOUS 17673 HAS SOUPS 17673 WITH SCORE 17700.88
AT ITER 1179 NEW BEST:: SOT 56585 SOS 27896 HAS SOPS 27896 HAS SOUS 17659 HAS SOUPS 17659 WITH SCORE 17686.896
AT ITER 1188 NEW BEST:: SOT 56528 SOS 27813 HAS SOPS 27813 HAS SOUS 17627 HAS SOUPS 17627 WITH SCORE 17654.813
AT ITER 1193 NEW BEST:: SOT 56528 SOS 27812 HAS SOPS 27812 HAS SOUS 17626 HAS SOUPS 17626 WITH SCORE 17653.812
AT ITER 1220 NEW BEST:: SOT 56501 SOS 27814 HAS SOPS 27814 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17599.814
AT ITER 1235 NEW BEST:: SOT 56469 SOS 28542 HAS SOPS 28542 HAS SOUS 17549 HAS SOUPS 17549 WITH SCORE 17577.542
AT ITER 1246 NEW BEST:: SOT 56474 SOS 28544 HAS SOPS 28544 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17574.544
AT ITER 1257 NEW BEST:: SOT 56453 SOS 28103 HAS SOPS 28103 HAS SOUS 17483 HAS SOUPS 17483 WITH SCORE 17511.103
AT ITER 1268 NEW BEST:: SOT 56430 SOS 28080 HAS SOPS 28080 HAS SOUS 17437 HAS SOUPS 17437 WITH SCORE 17465.08
AT ITER 1269 NEW BEST:: SOT 56419 SOS 28069 HAS SOPS 28069 HAS SOUS 17426 HAS SOUPS 17426 WITH SCORE 17454.069
AT ITER 1274 NEW BEST:: SOT 56394 SOS 28044 HAS SOPS 28044 HAS SOUS 17401 HAS SOUPS 17401 WITH SCORE 17429.044
AT ITER 1279 NEW BEST:: SOT 56337 SOS 27987 HAS SOPS 27987 HAS SOUS 17262 HAS SOUPS 17262 WITH SCORE 17289.987
AT ITER 1285 NEW BEST:: SOT 56284 SOS 27917 HAS SOPS 27917 HAS SOUS 17250 HAS SOUPS 17250 WITH SCORE 17277.917
AT ITER 1288 NEW BEST:: SOT 56258 SOS 27929 HAS SOPS 27929 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17262.929
AT ITER 1289 NEW BEST:: SOT 56226 SOS 27871 HAS SOPS 27871 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17185.871
AT ITER 1303 NEW BEST:: SOT 56208 SOS 27898 HAS SOPS 27898 HAS SOUS 17147 HAS SOUPS 17147 WITH SCORE 17174.898
AT ITER 1321 NEW BEST:: SOT 56208 SOS 27898 HAS SOPS 27898 HAS SOUS 17141 HAS SOUPS 17141 WITH SCORE 17168.898
AT ITER 1324 NEW BEST:: SOT 56196 SOS 27831 HAS SOPS 27831 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17144.831
AT ITER 1326 NEW BEST:: SOT 56126 SOS 27761 HAS SOPS 27761 HAS SOUS 17042 HAS SOUPS 17042 WITH SCORE 17069.761
AT ITER 1335 NEW BEST:: SOT 56132 SOS 27741 HAS SOPS 27741 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17055.741
AT ITER 1338 NEW BEST:: SOT 56125 SOS 27727 HAS SOPS 27727 HAS SOUS 17021 HAS SOUPS 17021 WITH SCORE 17048.727
AT ITER 1345 NEW BEST:: SOT 56117 SOS 27719 HAS SOPS 27719 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17040.719
AT ITER 1349 NEW BEST:: SOT 56103 SOS 27695 HAS SOPS 27695 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16966.695
AT ITER 1353 NEW BEST:: SOT 56087 SOS 27658 HAS SOPS 27658 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16950.658
AT ITER 1360 NEW BEST:: SOT 56032 SOS 27603 HAS SOPS 27603 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16914.603
AT ITER 1388 NEW BEST:: SOT 56032 SOS 27609 HAS SOPS 27609 HAS SOUS 16881 HAS SOUPS 16881 WITH SCORE 16908.609
AT ITER 1403 NEW BEST:: SOT 56032 SOS 27619 HAS SOPS 27619 HAS SOUS 16865 HAS SOUPS 16865 WITH SCORE 16892.619
AT ITER 1404 NEW BEST:: SOT 56030 SOS 27571 HAS SOPS 27571 HAS SOUS 16851 HAS SOUPS 16851 WITH SCORE 16878.571
AT ITER 1412 NEW BEST:: SOT 56008 SOS 27549 HAS SOPS 27549 HAS SOUS 16829 HAS SOUPS 16829 WITH SCORE 16856.549
AT ITER 1426 NEW BEST:: SOT 56008 SOS 27510 HAS SOPS 27510 HAS SOUS 16829 HAS SOUPS 16829 WITH SCORE 16856.51
AT ITER 1439 NEW BEST:: SOT 55996 SOS 27452 HAS SOPS 27452 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16844.452
AT ITER 1440 NEW BEST:: SOT 55996 SOS 27452 HAS SOPS 27452 HAS SOUS 16777 HAS SOUPS 16777 WITH SCORE 16804.452
AT ITER 1446 NEW BEST:: SOT 55974 SOS 27430 HAS SOPS 27430 HAS SOUS 16733 HAS SOUPS 16733 WITH SCORE 16760.43
AT ITER 1452 NEW BEST:: SOT 55971 SOS 27424 HAS SOPS 27424 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16757.424
AT ITER 1453 NEW BEST:: SOT 55943 SOS 27396 HAS SOPS 27396 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16686.396
AT ITER 1487 NEW BEST:: SOT 55943 SOS 27384 HAS SOPS 27384 HAS SOUS 16659 HAS SOUPS 16659 WITH SCORE 16686.384
AT ITER 1491 NEW BEST:: SOT 56078 SOS 26280 HAS SOPS 26280 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16666.28
AT ITER 1512 NEW BEST:: SOT 56071 SOS 26273 HAS SOPS 26273 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16645.273
AT ITER 1541 NEW BEST:: SOT 56071 SOS 26273 HAS SOPS 26273 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16609.273
AT ITER 1557 NEW BEST:: SOT 56071 SOS 26273 HAS SOPS 26273 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16603.273
AT ITER 1564 NEW BEST:: SOT 56061 SOS 26263 HAS SOPS 26263 HAS SOUS 16557 HAS SOUPS 16557 WITH SCORE 16583.263
AT ITER 1588 NEW BEST:: SOT 56039 SOS 26241 HAS SOPS 26241 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16539.241
AT ITER 1595 NEW BEST:: SOT 56064 SOS 26286 HAS SOPS 26286 HAS SOUS 16502 HAS SOUPS 16502 WITH SCORE 16528.286
AT ITER 1620 NEW BEST:: SOT 56063 SOS 26285 HAS SOPS 26285 HAS SOUS 16500 HAS SOUPS 16500 WITH SCORE 16526.285
AT ITER 1623 NEW BEST:: SOT 56061 SOS 26283 HAS SOPS 26283 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16522.283
AT ITER 1629 NEW BEST:: SOT 56057 SOS 26249 HAS SOPS 26249 HAS SOUS 16348 HAS SOUPS 16348 WITH SCORE 16374.249
AT ITER 1640 NEW BEST:: SOT 56040 SOS 26232 HAS SOPS 26232 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16340.232
AT ITER 1647 NEW BEST:: SOT 56024 SOS 26213 HAS SOPS 26213 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16324.213
AT ITER 1650 NEW BEST:: SOT 56002 SOS 26311 HAS SOPS 26311 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16313.311
AT ITER 1679 NEW BEST:: SOT 55978 SOS 26287 HAS SOPS 26287 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16296.287
AT ITER 1680 NEW BEST:: SOT 55975 SOS 26284 HAS SOPS 26284 HAS SOUS 16259 HAS SOUPS 16259 WITH SCORE 16285.284
AT ITER 1683 NEW BEST:: SOT 55963 SOS 26246 HAS SOPS 26246 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16265.246
AT ITER 1690 NEW BEST:: SOT 55966 SOS 26205 HAS SOPS 26205 HAS SOUS 16184 HAS SOUPS 16184 WITH SCORE 16210.205
AT ITER 1697 NEW BEST:: SOT 55931 SOS 26170 HAS SOPS 26170 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16184.17
AT ITER 1698 NEW BEST:: SOT 55924 SOS 26169 HAS SOPS 26169 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16184.169
AT ITER 1704 NEW BEST:: SOT 55913 SOS 26040 HAS SOPS 26040 HAS SOUS 16124 HAS SOUPS 16124 WITH SCORE 16150.04
AT ITER 1714 NEW BEST:: SOT 55869 SOS 26158 HAS SOPS 26158 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16109.158
AT ITER 1721 NEW BEST:: SOT 55791 SOS 26080 HAS SOPS 26080 HAS SOUS 16010 HAS SOUPS 16010 WITH SCORE 16036.08
AT ITER 1727 NEW BEST:: SOT 55794 SOS 26038 HAS SOPS 26038 HAS SOUS 16007 HAS SOUPS 16007 WITH SCORE 16033.038
AT ITER 1741 NEW BEST:: SOT 55781 SOS 26045 HAS SOPS 26045 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16021.045
AT ITER 1749 NEW BEST:: SOT 55771 SOS 26035 HAS SOPS 26035 HAS SOUS 15975 HAS SOUPS 15975 WITH SCORE 16001.035
AT ITER 1754 NEW BEST:: SOT 55775 SOS 26032 HAS SOPS 26032 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15998.032
AT ITER 1760 NEW BEST:: SOT 55771 SOS 26088 HAS SOPS 26088 HAS SOUS 15968 HAS SOUPS 15968 WITH SCORE 15994.088
AT ITER 1800 NEW BEST:: SOT 55771 SOS 26087 HAS SOPS 26087 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15993.087
AT ITER 1806 NEW BEST:: SOT 55755 SOS 26071 HAS SOPS 26071 HAS SOUS 15935 HAS SOUPS 15935 WITH SCORE 15961.071
AT ITER 1809 NEW BEST:: SOT 55755 SOS 26071 HAS SOPS 26071 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15895.071
AT ITER 1826 NEW BEST:: SOT 55794 SOS 26110 HAS SOPS 26110 HAS SOUS 15868 HAS SOUPS 15868 WITH SCORE 15894.11
AT ITER 1828 NEW BEST:: SOT 55790 SOS 26102 HAS SOPS 26102 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15890.102
AT ITER 1838 NEW BEST:: SOT 55788 SOS 26100 HAS SOPS 26100 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15881.1
AT ITER 1852 NEW BEST:: SOT 55777 SOS 26089 HAS SOPS 26089 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15869.089
AT ITER 1889 NEW BEST:: SOT 55753 SOS 26036 HAS SOPS 26036 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15833.036
AT ITER 1892 NEW BEST:: SOT 55740 SOS 26021 HAS SOPS 26021 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15805.021
AT ITER 1930 NEW BEST:: SOT 55734 SOS 25990 HAS SOPS 25990 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15792.99
AT ITER 1935 NEW BEST:: SOT 55692 SOS 25993 HAS SOPS 25993 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15753.993
AT ITER 1965 NEW BEST:: SOT 55689 SOS 25990 HAS SOPS 25990 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15747.99
AT ITER 1972 NEW BEST:: SOT 55689 SOS 25968 HAS SOPS 25968 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15747.968
AT ITER 1977 NEW BEST:: SOT 55649 SOS 26062 HAS SOPS 26062 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15732.062
AT ITER 1978 NEW BEST:: SOT 55648 SOS 26061 HAS SOPS 26061 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15731.061
AT ITER 1992 NEW BEST:: SOT 55636 SOS 26017 HAS SOPS 26017 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15707.017
AT ITER 1993 NEW BEST:: SOT 55642 SOS 25967 HAS SOPS 25967 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15704.967
AT ITER 2000 NEW BEST:: SOT 55640 SOS 25965 HAS SOPS 25965 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15704.965
AT ITER 2007 NEW BEST:: SOT 55626 SOS 25937 HAS SOPS 25937 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15690.937
AT ITER 2011 NEW BEST:: SOT 55608 SOS 25919 HAS SOPS 25919 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15654.919
AT ITER 2013 NEW BEST:: SOT 55482 SOS 26610 HAS SOPS 26610 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15549.61
AT ITER 2040 NEW BEST:: SOT 55481 SOS 26609 HAS SOPS 26609 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15548.609
AT ITER 2043 NEW BEST:: SOT 55476 SOS 26594 HAS SOPS 26594 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15543.594
AT ITER 2050 NEW BEST:: SOT 55427 SOS 26489 HAS SOPS 26489 HAS SOUS 15475 HAS SOUPS 15475 WITH SCORE 15501.489
AT ITER 2053 NEW BEST:: SOT 55459 SOS 26521 HAS SOPS 26521 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15495.521
AT ITER 2099 NEW BEST:: SOT 55459 SOS 26521 HAS SOPS 26521 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15489.521
AT ITER 2106 NEW BEST:: SOT 55459 SOS 26518 HAS SOPS 26518 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15489.518
AT ITER 2111 NEW BEST:: SOT 55445 SOS 26490 HAS SOPS 26490 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15461.49
AT ITER 2120 NEW BEST:: SOT 55475 SOS 26279 HAS SOPS 26279 HAS SOUS 15428 HAS SOUPS 15428 WITH SCORE 15454.279
AT ITER 2133 NEW BEST:: SOT 55455 SOS 26270 HAS SOPS 26270 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15445.27
AT ITER 2168 NEW BEST:: SOT 55454 SOS 26266 HAS SOPS 26266 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15442.266
AT ITER 2170 NEW BEST:: SOT 55407 SOS 26219 HAS SOPS 26219 HAS SOUS 15322 HAS SOUPS 15322 WITH SCORE 15348.219
AT ITER 2174 NEW BEST:: SOT 55444 SOS 26315 HAS SOPS 26315 HAS SOUS 15310 HAS SOUPS 15310 WITH SCORE 15336.315
AT ITER 2193 NEW BEST:: SOT 55434 SOS 26305 HAS SOPS 26305 HAS SOUS 15290 HAS SOUPS 15290 WITH SCORE 15316.305
AT ITER 2198 NEW BEST:: SOT 55326 SOS 27322 HAS SOPS 27322 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15299.322
AT ITER 2209 NEW BEST:: SOT 55319 SOS 27315 HAS SOPS 27315 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15285.315
AT ITER 2256 NEW BEST:: SOT 55319 SOS 27315 HAS SOPS 27315 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15275.315
AT ITER 2263 NEW BEST:: SOT 55319 SOS 27293 HAS SOPS 27293 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15275.293
AT ITER 2274 NEW BEST:: SOT 55319 SOS 27291 HAS SOPS 27291 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15273.291
AT ITER 2282 NEW BEST:: SOT 55315 SOS 27287 HAS SOPS 27287 HAS SOUS 15238 HAS SOUPS 15238 WITH SCORE 15265.287
AT ITER 2284 NEW BEST:: SOT 55324 SOS 27259 HAS SOPS 27259 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15201.259
AT ITER 2286 NEW BEST:: SOT 55321 SOS 27256 HAS SOPS 27256 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15195.256
AT ITER 2292 NEW BEST:: SOT 55315 SOS 27250 HAS SOPS 27250 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15190.25
AT ITER 2309 NEW BEST:: SOT 55299 SOS 27234 HAS SOPS 27234 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15174.234
AT ITER 2320 NEW BEST:: SOT 55304 SOS 27239 HAS SOPS 27239 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15158.239
AT ITER 2323 NEW BEST:: SOT 55307 SOS 27242 HAS SOPS 27242 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15149.242
AT ITER 2329 NEW BEST:: SOT 55307 SOS 27241 HAS SOPS 27241 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15144.241
AT ITER 2338 NEW BEST:: SOT 55276 SOS 27210 HAS SOPS 27210 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15082.21
AT ITER 2346 NEW BEST:: SOT 55269 SOS 27190 HAS SOPS 27190 HAS SOUS 15039 HAS SOUPS 15039 WITH SCORE 15066.19
AT ITER 2408 NEW BEST:: SOT 55247 SOS 27101 HAS SOPS 27101 HAS SOUS 14986 HAS SOUPS 14986 WITH SCORE 15013.101
AT ITER 2410 NEW BEST:: SOT 55222 SOS 27076 HAS SOPS 27076 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14963.076
AT ITER 2420 NEW BEST:: SOT 55204 SOS 27058 HAS SOPS 27058 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14927.058
AT ITER 2435 NEW BEST:: SOT 55204 SOS 26482 HAS SOPS 26482 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14896.482
AT ITER 2436 NEW BEST:: SOT 55204 SOS 26460 HAS SOPS 26460 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14874.46
AT ITER 2477 NEW BEST:: SOT 55143 SOS 26753 HAS SOPS 26753 HAS SOUS 14812 HAS SOUPS 14812 WITH SCORE 14838.753
AT ITER 2488 NEW BEST:: SOT 55136 SOS 26746 HAS SOPS 26746 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14831.746
AT ITER 2537 NEW BEST:: SOT 55124 SOS 26734 HAS SOPS 26734 HAS SOUS 14799 HAS SOUPS 14799 WITH SCORE 14825.734
AT ITER 2565 NEW BEST:: SOT 55116 SOS 26726 HAS SOPS 26726 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14809.726
AT ITER 2567 NEW BEST:: SOT 55108 SOS 26762 HAS SOPS 26762 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14805.762
AT ITER 2612 NEW BEST:: SOT 55108 SOS 26734 HAS SOPS 26734 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14805.734
AT ITER 2639 NEW BEST:: SOT 55093 SOS 26719 HAS SOPS 26719 HAS SOUS 14764 HAS SOUPS 14764 WITH SCORE 14790.719
AT ITER 2643 NEW BEST:: SOT 55053 SOS 26675 HAS SOPS 26675 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14707.675
AT ITER 2660 NEW BEST:: SOT 55051 SOS 26673 HAS SOPS 26673 HAS SOUS 14677 HAS SOUPS 14677 WITH SCORE 14703.673
AT ITER 2685 NEW BEST:: SOT 55032 SOS 26654 HAS SOPS 26654 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14665.654
AT ITER 2692 NEW BEST:: SOT 55028 SOS 26650 HAS SOPS 26650 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14657.65
AT ITER 2705 NEW BEST:: SOT 54880 SOS 26586 HAS SOPS 26586 HAS SOUS 14506 HAS SOUPS 14506 WITH SCORE 14532.586
AT ITER 2721 NEW BEST:: SOT 54880 SOS 26599 HAS SOPS 26599 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14520.599
AT ITER 2729 NEW BEST:: SOT 54882 SOS 26590 HAS SOPS 26590 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14492.59
AT ITER 2734 NEW BEST:: SOT 54882 SOS 26612 HAS SOPS 26612 HAS SOUS 14465 HAS SOUPS 14465 WITH SCORE 14491.612
AT ITER 2744 NEW BEST:: SOT 54880 SOS 26610 HAS SOPS 26610 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14489.61
AT ITER 2765 NEW BEST:: SOT 54868 SOS 26597 HAS SOPS 26597 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14477.597
AT ITER 2776 NEW BEST:: SOT 54862 SOS 26591 HAS SOPS 26591 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14456.591
AT ITER 2792 NEW BEST:: SOT 54835 SOS 26564 HAS SOPS 26564 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14402.564
AT ITER 2793 NEW BEST:: SOT 54846 SOS 26552 HAS SOPS 26552 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14390.552
AT ITER 2815 NEW BEST:: SOT 54848 SOS 26554 HAS SOPS 26554 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14378.554
AT ITER 2835 NEW BEST:: SOT 54801 SOS 26426 HAS SOPS 26426 HAS SOUS 14288 HAS SOUPS 14288 WITH SCORE 14314.426
AT ITER 2859 NEW BEST:: SOT 54797 SOS 26404 HAS SOPS 26404 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14296.404
AT ITER 2914 NEW BEST:: SOT 54787 SOS 26394 HAS SOPS 26394 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14278.394
AT ITER 2934 NEW BEST:: SOT 54787 SOS 26389 HAS SOPS 26389 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14273.389
AT ITER 2949 NEW BEST:: SOT 54804 SOS 26406 HAS SOPS 26406 HAS SOUS 14243 HAS SOUPS 14243 WITH SCORE 14269.406
AT ITER 2975 NEW BEST:: SOT 54796 SOS 26398 HAS SOPS 26398 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14253.398
AT ITER 2993 NEW BEST:: SOT 54796 SOS 26397 HAS SOPS 26397 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14252.397
AT ITER 2995 NEW BEST:: SOT 54788 SOS 26389 HAS SOPS 26389 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14236.389
AT ITER 3000 NEW BEST:: SOT 54783 SOS 26384 HAS SOPS 26384 HAS SOUS 14210 HAS SOUPS 14210 WITH SCORE 14236.384
AT ITER 3026 NEW BEST:: SOT 54781 SOS 26384 HAS SOPS 26384 HAS SOUS 14208 HAS SOUPS 14208 WITH SCORE 14234.384
AT ITER 3031 NEW BEST:: SOT 54780 SOS 26156 HAS SOPS 26156 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14231.156
AT ITER 3032 NEW BEST:: SOT 54765 SOS 26145 HAS SOPS 26145 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14216.145
AT ITER 3037 NEW BEST:: SOT 54734 SOS 26083 HAS SOPS 26083 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14154.083
AT ITER 3042 NEW BEST:: SOT 54734 SOS 26083 HAS SOPS 26083 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14137.083
AT ITER 3075 NEW BEST:: SOT 54714 SOS 26063 HAS SOPS 26063 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14110.063
AT ITER 3107 NEW BEST:: SOT 54710 SOS 26059 HAS SOPS 26059 HAS SOUS 14084 HAS SOUPS 14084 WITH SCORE 14110.059
AT ITER 3114 NEW BEST:: SOT 54694 SOS 26015 HAS SOPS 26015 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14064.015
AT ITER 3118 NEW BEST:: SOT 54675 SOS 25996 HAS SOPS 25996 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14037.996
AT ITER 3126 NEW BEST:: SOT 54659 SOS 25980 HAS SOPS 25980 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14006.98
AT ITER 3145 NEW BEST:: SOT 54667 SOS 25988 HAS SOPS 25988 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13986.988
AT ITER 3149 NEW BEST:: SOT 54656 SOS 25977 HAS SOPS 25977 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13984.977
AT ITER 3157 NEW BEST:: SOT 54660 SOS 25981 HAS SOPS 25981 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13982.981
AT ITER 3199 NEW BEST:: SOT 54655 SOS 25976 HAS SOPS 25976 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13979.976
AT ITER 3224 NEW BEST:: SOT 54650 SOS 25948 HAS SOPS 25948 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13967.948
AT ITER 3226 NEW BEST:: SOT 54628 SOS 25900 HAS SOPS 25900 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13923.9
AT ITER 3230 NEW BEST:: SOT 54622 SOS 25867 HAS SOPS 25867 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13906.867
AT ITER 3250 NEW BEST:: SOT 54620 SOS 25870 HAS SOPS 25870 HAS SOUS 13877 HAS SOUPS 13877 WITH SCORE 13902.87
AT ITER 3263 NEW BEST:: SOT 54616 SOS 25871 HAS SOPS 25871 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13898.871
AT ITER 3292 NEW BEST:: SOT 54597 SOS 25852 HAS SOPS 25852 HAS SOUS 13828 HAS SOUPS 13828 WITH SCORE 13853.852
AT ITER 3312 NEW BEST:: SOT 54578 SOS 25833 HAS SOPS 25833 HAS SOUS 13790 HAS SOUPS 13790 WITH SCORE 13815.833
AT ITER 3317 NEW BEST:: SOT 54577 SOS 25854 HAS SOPS 25854 HAS SOUS 13789 HAS SOUPS 13789 WITH SCORE 13814.854
AT ITER 3349 NEW BEST:: SOT 54577 SOS 25843 HAS SOPS 25843 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13803.843
AT ITER 3357 NEW BEST:: SOT 54580 SOS 25844 HAS SOPS 25844 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13798.844
AT ITER 3397 NEW BEST:: SOT 54573 SOS 25837 HAS SOPS 25837 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13784.837
AT ITER 3400 NEW BEST:: SOT 54571 SOS 25846 HAS SOPS 25846 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13782.846
AT ITER 3420 NEW BEST:: SOT 54527 SOS 25802 HAS SOPS 25802 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13754.802
AT ITER 3433 NEW BEST:: SOT 54553 SOS 25893 HAS SOPS 25893 HAS SOUS 13724 HAS SOUPS 13724 WITH SCORE 13749.893
AT ITER 3441 NEW BEST:: SOT 54553 SOS 25893 HAS SOPS 25893 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13737.893
AT ITER 3450 NEW BEST:: SOT 54553 SOS 25905 HAS SOPS 25905 HAS SOUS 13711 HAS SOUPS 13711 WITH SCORE 13736.905
AT ITER 3475 NEW BEST:: SOT 54554 SOS 25906 HAS SOPS 25906 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13735.906
AT ITER 3496 NEW BEST:: SOT 54520 SOS 25872 HAS SOPS 25872 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13667.872
AT ITER 3499 NEW BEST:: SOT 54484 SOS 25916 HAS SOPS 25916 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13658.916
AT ITER 3524 NEW BEST:: SOT 54484 SOS 25910 HAS SOPS 25910 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13658.91
AT ITER 3534 NEW BEST:: SOT 54465 SOS 25893 HAS SOPS 25893 HAS SOUS 13594 HAS SOUPS 13594 WITH SCORE 13619.893
AT ITER 3551 NEW BEST:: SOT 54465 SOS 25889 HAS SOPS 25889 HAS SOUS 13590 HAS SOUPS 13590 WITH SCORE 13615.889
AT ITER 3567 NEW BEST:: SOT 54446 SOS 25812 HAS SOPS 25812 HAS SOUS 13571 HAS SOUPS 13571 WITH SCORE 13596.812
AT ITER 3585 NEW BEST:: SOT 54418 SOS 25699 HAS SOPS 25699 HAS SOUS 13515 HAS SOUPS 13515 WITH SCORE 13540.699
AT ITER 3593 NEW BEST:: SOT 54391 SOS 25844 HAS SOPS 25844 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13516.844
AT ITER 3609 NEW BEST:: SOT 54364 SOS 25817 HAS SOPS 25817 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13490.817
AT ITER 3611 NEW BEST:: SOT 54368 SOS 25838 HAS SOPS 25838 HAS SOUS 13456 HAS SOUPS 13456 WITH SCORE 13481.838
AT ITER 3612 NEW BEST:: SOT 54368 SOS 25837 HAS SOPS 25837 HAS SOUS 13456 HAS SOUPS 13456 WITH SCORE 13481.837
AT ITER 3657 NEW BEST:: SOT 54368 SOS 25828 HAS SOPS 25828 HAS SOUS 13456 HAS SOUPS 13456 WITH SCORE 13481.828
AT ITER 3709 NEW BEST:: SOT 54365 SOS 25820 HAS SOPS 25820 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13480.82
AT ITER 3729 NEW BEST:: SOT 54362 SOS 25817 HAS SOPS 25817 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13474.817
AT ITER 3730 NEW BEST:: SOT 54298 SOS 25753 HAS SOPS 25753 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13378.753
AT ITER 3761 NEW BEST:: SOT 54302 SOS 25757 HAS SOPS 25757 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13373.757
AT ITER 3773 NEW BEST:: SOT 54309 SOS 25764 HAS SOPS 25764 HAS SOUS 13345 HAS SOUPS 13345 WITH SCORE 13370.764
AT ITER 3777 NEW BEST:: SOT 54245 SOS 25691 HAS SOPS 25691 HAS SOUS 13217 HAS SOUPS 13217 WITH SCORE 13242.691
AT ITER 3778 NEW BEST:: SOT 54248 SOS 25697 HAS SOPS 25697 HAS SOUS 13206 HAS SOUPS 13206 WITH SCORE 13231.697
AT ITER 3798 NEW BEST:: SOT 54243 SOS 25692 HAS SOPS 25692 HAS SOUS 13201 HAS SOUPS 13201 WITH SCORE 13226.692
AT ITER 3824 NEW BEST:: SOT 54236 SOS 25685 HAS SOPS 25685 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13219.685
AT ITER 3837 NEW BEST:: SOT 54234 SOS 25683 HAS SOPS 25683 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13219.683
AT ITER 3848 NEW BEST:: SOT 54235 SOS 25648 HAS SOPS 25648 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13219.648
AT ITER 3887 NEW BEST:: SOT 54235 SOS 25610 HAS SOPS 25610 HAS SOUS 13192 HAS SOUPS 13192 WITH SCORE 13217.61
AT ITER 3941 NEW BEST:: SOT 54228 SOS 25621 HAS SOPS 25621 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13203.621
AT ITER 3976 NEW BEST:: SOT 54256 SOS 25568 HAS SOPS 25568 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13188.568
AT ITER 3979 NEW BEST:: SOT 54244 SOS 25556 HAS SOPS 25556 HAS SOUS 13151 HAS SOUPS 13151 WITH SCORE 13176.556
AT ITER 3986 NEW BEST:: SOT 54229 SOS 25541 HAS SOPS 25541 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13146.541
AT ITER 4014 NEW BEST:: SOT 54221 SOS 25515 HAS SOPS 25515 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13121.515
AT ITER 4016 NEW BEST:: SOT 54221 SOS 25503 HAS SOPS 25503 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13121.503
AT ITER 4020 NEW BEST:: SOT 54220 SOS 25502 HAS SOPS 25502 HAS SOUS 13094 HAS SOUPS 13094 WITH SCORE 13119.502
AT ITER 4027 NEW BEST:: SOT 54229 SOS 25511 HAS SOPS 25511 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12961.511
AT ITER 4037 NEW BEST:: SOT 54223 SOS 25449 HAS SOPS 25449 HAS SOUS 12924 HAS SOUPS 12924 WITH SCORE 12949.449
AT ITER 4043 NEW BEST:: SOT 54207 SOS 25433 HAS SOPS 25433 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12917.433
AT ITER 4104 NEW BEST:: SOT 54198 SOS 25424 HAS SOPS 25424 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12899.424
AT ITER 4117 NEW BEST:: SOT 54188 SOS 25182 HAS SOPS 25182 HAS SOUS 12854 HAS SOUPS 12854 WITH SCORE 12879.182
AT ITER 4132 NEW BEST:: SOT 54172 SOS 25133 HAS SOPS 25133 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12847.133
AT ITER 4135 NEW BEST:: SOT 54196 SOS 24534 HAS SOPS 24534 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12846.534
AT ITER 4155 NEW BEST:: SOT 54195 SOS 24533 HAS SOPS 24533 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12844.533
AT ITER 4208 NEW BEST:: SOT 54174 SOS 24486 HAS SOPS 24486 HAS SOUS 12794 HAS SOUPS 12794 WITH SCORE 12818.486
AT ITER 4229 NEW BEST:: SOT 54112 SOS 24460 HAS SOPS 24460 HAS SOUS 12773 HAS SOUPS 12773 WITH SCORE 12797.46
AT ITER 4231 NEW BEST:: SOT 54105 SOS 24453 HAS SOPS 24453 HAS SOUS 12759 HAS SOUPS 12759 WITH SCORE 12783.453
AT ITER 4267 NEW BEST:: SOT 54105 SOS 24449 HAS SOPS 24449 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12779.449
AT ITER 4287 NEW BEST:: SOT 54081 SOS 24425 HAS SOPS 24425 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12731.425
AT ITER 4302 NEW BEST:: SOT 54081 SOS 24422 HAS SOPS 24422 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12731.422
AT ITER 4311 NEW BEST:: SOT 54079 SOS 24399 HAS SOPS 24399 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12727.399
AT ITER 4317 NEW BEST:: SOT 54105 SOS 24428 HAS SOPS 24428 HAS SOUS 12701 HAS SOUPS 12701 WITH SCORE 12725.428
AT ITER 4355 NEW BEST:: SOT 54098 SOS 24421 HAS SOPS 24421 HAS SOUS 12687 HAS SOUPS 12687 WITH SCORE 12711.421
AT ITER 4374 NEW BEST:: SOT 54096 SOS 24412 HAS SOPS 24412 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12700.412
AT ITER 4376 NEW BEST:: SOT 54086 SOS 24402 HAS SOPS 24402 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12700.402
AT ITER 4396 NEW BEST:: SOT 54073 SOS 24389 HAS SOPS 24389 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12688.389
AT ITER 4404 NEW BEST:: SOT 54078 SOS 24394 HAS SOPS 24394 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12683.394
AT ITER 4411 NEW BEST:: SOT 54078 SOS 24388 HAS SOPS 24388 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12683.388
AT ITER 4412 NEW BEST:: SOT 54073 SOS 24403 HAS SOPS 24403 HAS SOUS 12656 HAS SOUPS 12656 WITH SCORE 12680.403
AT ITER 4413 NEW BEST:: SOT 54076 SOS 24429 HAS SOPS 24429 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12663.429
AT ITER 4414 NEW BEST:: SOT 54073 SOS 24426 HAS SOPS 24426 HAS SOUS 12633 HAS SOUPS 12633 WITH SCORE 12657.426
AT ITER 4432 NEW BEST:: SOT 54064 SOS 24417 HAS SOPS 24417 HAS SOUS 12615 HAS SOUPS 12615 WITH SCORE 12639.417
AT ITER 4450 NEW BEST:: SOT 54045 SOS 24398 HAS SOPS 24398 HAS SOUS 12577 HAS SOUPS 12577 WITH SCORE 12601.398
AT ITER 4460 NEW BEST:: SOT 54041 SOS 24391 HAS SOPS 24391 HAS SOUS 12574 HAS SOUPS 12574 WITH SCORE 12598.391
AT ITER 4471 NEW BEST:: SOT 54041 SOS 24391 HAS SOPS 24391 HAS SOUS 12573 HAS SOUPS 12573 WITH SCORE 12597.391
AT ITER 4492 NEW BEST:: SOT 54024 SOS 24374 HAS SOPS 24374 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12595.374
AT ITER 4524 NEW BEST:: SOT 54020 SOS 24376 HAS SOPS 24376 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12591.376
AT ITER 4531 NEW BEST:: SOT 54007 SOS 24350 HAS SOPS 24350 HAS SOUS 12554 HAS SOUPS 12554 WITH SCORE 12578.35
AT ITER 4589 NEW BEST:: SOT 53869 SOS 24400 HAS SOPS 24400 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12475.4
AT ITER 4725 NEW BEST:: SOT 53871 SOS 24395 HAS SOPS 24395 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12470.395
AT ITER 4733 NEW BEST:: SOT 53861 SOS 24385 HAS SOPS 24385 HAS SOUS 12426 HAS SOUPS 12426 WITH SCORE 12450.385
AT ITER 4740 NEW BEST:: SOT 53816 SOS 24340 HAS SOPS 24340 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12360.34
AT ITER 4822 NEW BEST:: SOT 53803 SOS 24327 HAS SOPS 24327 HAS SOUS 12289 HAS SOUPS 12289 WITH SCORE 12313.327
AT ITER 4828 NEW BEST:: SOT 53759 SOS 24283 HAS SOPS 24283 HAS SOUS 12201 HAS SOUPS 12201 WITH SCORE 12225.283
AT ITER 4843 NEW BEST:: SOT 53751 SOS 24275 HAS SOPS 24275 HAS SOUS 12189 HAS SOUPS 12189 WITH SCORE 12213.275
AT ITER 4855 NEW BEST:: SOT 53751 SOS 24289 HAS SOPS 24289 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12195.289
AT ITER 4864 NEW BEST:: SOT 53829 SOS 24367 HAS SOPS 24367 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12165.367
AT ITER 4869 NEW BEST:: SOT 53824 SOS 24103 HAS SOPS 24103 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12145.103
AT ITER 4888 NEW BEST:: SOT 53821 SOS 24095 HAS SOPS 24095 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12142.095
AT ITER 4891 NEW BEST:: SOT 53809 SOS 24065 HAS SOPS 24065 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12136.065
AT ITER 4953 NEW BEST:: SOT 53809 SOS 24048 HAS SOPS 24048 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12136.048
AT ITER 4992 NEW BEST:: SOT 53809 SOS 24051 HAS SOPS 24051 HAS SOUS 12111 HAS SOUPS 12111 WITH SCORE 12135.051
AT ITER 4994 NEW BEST:: SOT 53784 SOS 24026 HAS SOPS 24026 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12104.026
AT ITER 5023 NEW BEST:: SOT 53783 SOS 24025 HAS SOPS 24025 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12102.025
AT ITER 5037 NEW BEST:: SOT 53789 SOS 24023 HAS SOPS 24023 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12100.023
AT ITER 5047 NEW BEST:: SOT 53789 SOS 24023 HAS SOPS 24023 HAS SOUS 12057 HAS SOUPS 12057 WITH SCORE 12081.023
AT ITER 5088 NEW BEST:: SOT 53789 SOS 23997 HAS SOPS 23997 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12032.997
AT ITER 5105 NEW BEST:: SOT 53786 SOS 23994 HAS SOPS 23994 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12026.994
AT ITER 5107 NEW BEST:: SOT 53783 SOS 23836 HAS SOPS 23836 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12015.836
AT ITER 5108 NEW BEST:: SOT 53782 SOS 23835 HAS SOPS 23835 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12013.835
AT ITER 5149 NEW BEST:: SOT 53747 SOS 23800 HAS SOPS 23800 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11978.8
AT ITER 5156 NEW BEST:: SOT 53739 SOS 23792 HAS SOPS 23792 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11966.792
AT ITER 5157 NEW BEST:: SOT 53732 SOS 23785 HAS SOPS 23785 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11952.785
AT ITER 5223 NEW BEST:: SOT 53752 SOS 23434 HAS SOPS 23434 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11952.434
AT ITER 5234 NEW BEST:: SOT 53717 SOS 23399 HAS SOPS 23399 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11892.399
AT ITER 5235 NEW BEST:: SOT 53699 SOS 23381 HAS SOPS 23381 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11892.381
AT ITER 5246 NEW BEST:: SOT 53699 SOS 23349 HAS SOPS 23349 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11878.349
AT ITER 5250 NEW BEST:: SOT 53695 SOS 23341 HAS SOPS 23341 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11874.341
AT ITER 5271 NEW BEST:: SOT 53682 SOS 23312 HAS SOPS 23312 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11852.312
AT ITER 5289 NEW BEST:: SOT 53684 SOS 23314 HAS SOPS 23314 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11848.314
AT ITER 5314 NEW BEST:: SOT 53678 SOS 23305 HAS SOPS 23305 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11839.305
AT ITER 5327 NEW BEST:: SOT 53674 SOS 23301 HAS SOPS 23301 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11831.301
AT ITER 5328 NEW BEST:: SOT 53672 SOS 23299 HAS SOPS 23299 HAS SOUS 11804 HAS SOUPS 11804 WITH SCORE 11827.299
AT ITER 5341 NEW BEST:: SOT 53670 SOS 23297 HAS SOPS 23297 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11823.297
AT ITER 5350 NEW BEST:: SOT 53662 SOS 23329 HAS SOPS 23329 HAS SOUS 11796 HAS SOUPS 11796 WITH SCORE 11819.329
AT ITER 5372 NEW BEST:: SOT 53645 SOS 23314 HAS SOPS 23314 HAS SOUS 11792 HAS SOUPS 11792 WITH SCORE 11815.314
AT ITER 5383 NEW BEST:: SOT 53643 SOS 23312 HAS SOPS 23312 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11811.312
AT ITER 5455 NEW BEST:: SOT 53638 SOS 23316 HAS SOPS 23316 HAS SOUS 11783 HAS SOUPS 11783 WITH SCORE 11806.316
AT ITER 5491 NEW BEST:: SOT 53635 SOS 23313 HAS SOPS 23313 HAS SOUS 11777 HAS SOUPS 11777 WITH SCORE 11800.313
AT ITER 5497 NEW BEST:: SOT 53623 SOS 23313 HAS SOPS 23313 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11776.313
AT ITER 5500 NEW BEST:: SOT 53618 SOS 23302 HAS SOPS 23302 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11770.302
AT ITER 5508 NEW BEST:: SOT 53615 SOS 23295 HAS SOPS 23295 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11768.295
AT ITER 5512 NEW BEST:: SOT 53615 SOS 23283 HAS SOPS 23283 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11768.283
AT ITER 5541 NEW BEST:: SOT 53609 SOS 23274 HAS SOPS 23274 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11765.274
AT ITER 5556 NEW BEST:: SOT 53612 SOS 23227 HAS SOPS 23227 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11765.227
AT ITER 5577 NEW BEST:: SOT 53585 SOS 23200 HAS SOPS 23200 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11765.2
AT ITER 5640 NEW BEST:: SOT 53572 SOS 23187 HAS SOPS 23187 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11746.187
AT ITER 5669 NEW BEST:: SOT 53544 SOS 23300 HAS SOPS 23300 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11720.3
AT ITER 5858 NEW BEST:: SOT 53544 SOS 23300 HAS SOPS 23300 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11717.3
AT ITER 5899 NEW BEST:: SOT 53539 SOS 23295 HAS SOPS 23295 HAS SOUS 11689 HAS SOUPS 11689 WITH SCORE 11712.295
AT ITER 5900 NEW BEST:: SOT 53516 SOS 23295 HAS SOPS 23295 HAS SOUS 11666 HAS SOUPS 11666 WITH SCORE 11689.295
AT ITER 5902 NEW BEST:: SOT 53515 SOS 23292 HAS SOPS 23292 HAS SOUS 11664 HAS SOUPS 11664 WITH SCORE 11687.292
AT ITER 5906 NEW BEST:: SOT 53515 SOS 23254 HAS SOPS 23254 HAS SOUS 11659 HAS SOUPS 11659 WITH SCORE 11682.254
AT ITER 5916 NEW BEST:: SOT 53513 SOS 23252 HAS SOPS 23252 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11681.252
AT ITER 5919 NEW BEST:: SOT 53550 SOS 23286 HAS SOPS 23286 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11675.286
AT ITER 5938 NEW BEST:: SOT 53541 SOS 23278 HAS SOPS 23278 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11669.278
AT ITER 6034 NEW BEST:: SOT 53528 SOS 23252 HAS SOPS 23252 HAS SOUS 11633 HAS SOUPS 11633 WITH SCORE 11656.252
AT ITER 6050 NEW BEST:: SOT 53489 SOS 23137 HAS SOPS 23137 HAS SOUS 11585 HAS SOUPS 11585 WITH SCORE 11608.137
AT ITER 6074 NEW BEST:: SOT 53492 SOS 23151 HAS SOPS 23151 HAS SOUS 11583 HAS SOUPS 11583 WITH SCORE 11606.151
AT ITER 6092 NEW BEST:: SOT 53426 SOS 23088 HAS SOPS 23088 HAS SOUS 11560 HAS SOUPS 11560 WITH SCORE 11583.088
AT ITER 6099 NEW BEST:: SOT 53408 SOS 23070 HAS SOPS 23070 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11547.07
AT ITER 6105 NEW BEST:: SOT 53400 SOS 23046 HAS SOPS 23046 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11531.046
AT ITER 6121 NEW BEST:: SOT 53399 SOS 23045 HAS SOPS 23045 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11529.045
AT ITER 6138 NEW BEST:: SOT 53418 SOS 23044 HAS SOPS 23044 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11528.044
AT ITER 6191 NEW BEST:: SOT 53418 SOS 23039 HAS SOPS 23039 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11528.039
AT ITER 6233 NEW BEST:: SOT 53427 SOS 23048 HAS SOPS 23048 HAS SOUS 11495 HAS SOUPS 11495 WITH SCORE 11518.048
AT ITER 6408 NEW BEST:: SOT 53425 SOS 23037 HAS SOPS 23037 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11514.037
AT ITER 6409 NEW BEST:: SOT 53425 SOS 23037 HAS SOPS 23037 HAS SOUS 11488 HAS SOUPS 11488 WITH SCORE 11511.037
AT ITER 6417 NEW BEST:: SOT 53417 SOS 23029 HAS SOPS 23029 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11495.029
AT ITER 6486 NEW BEST:: SOT 53417 SOS 23016 HAS SOPS 23016 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11486.016
AT ITER 6506 NEW BEST:: SOT 53411 SOS 23010 HAS SOPS 23010 HAS SOUS 11451 HAS SOUPS 11451 WITH SCORE 11474.01
AT ITER 6507 NEW BEST:: SOT 53388 SOS 23049 HAS SOPS 23049 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11451.049
AT ITER 6523 NEW BEST:: SOT 53376 SOS 22453 HAS SOPS 22453 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11402.453
AT ITER 6531 NEW BEST:: SOT 53375 SOS 22452 HAS SOPS 22452 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11400.452
AT ITER 6539 NEW BEST:: SOT 53375 SOS 22450 HAS SOPS 22450 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11398.45
AT ITER 6545 NEW BEST:: SOT 53361 SOS 22436 HAS SOPS 22436 HAS SOUS 11348 HAS SOUPS 11348 WITH SCORE 11370.436
AT ITER 6597 NEW BEST:: SOT 53361 SOS 22430 HAS SOPS 22430 HAS SOUS 11348 HAS SOUPS 11348 WITH SCORE 11370.43
AT ITER 6606 NEW BEST:: SOT 53355 SOS 22322 HAS SOPS 22322 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11358.322
AT ITER 6623 NEW BEST:: SOT 53327 SOS 22429 HAS SOPS 22429 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11337.429
AT ITER 6639 NEW BEST:: SOT 53337 SOS 22121 HAS SOPS 22121 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11329.121
AT ITER 6681 NEW BEST:: SOT 53324 SOS 22305 HAS SOPS 22305 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11326.305
AT ITER 6697 NEW BEST:: SOT 53306 SOS 22269 HAS SOPS 22269 HAS SOUS 11286 HAS SOUPS 11286 WITH SCORE 11308.269
AT ITER 6701 NEW BEST:: SOT 53298 SOS 22261 HAS SOPS 22261 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11292.261
AT ITER 6705 NEW BEST:: SOT 53315 SOS 22135 HAS SOPS 22135 HAS SOUS 11265 HAS SOUPS 11265 WITH SCORE 11287.135
AT ITER 6714 NEW BEST:: SOT 53316 SOS 22152 HAS SOPS 22152 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11273.152
AT ITER 6721 NEW BEST:: SOT 53316 SOS 22122 HAS SOPS 22122 HAS SOUS 11251 HAS SOUPS 11251 WITH SCORE 11273.122
AT ITER 6763 NEW BEST:: SOT 53322 SOS 22016 HAS SOPS 22016 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11271.016
AT ITER 6765 NEW BEST:: SOT 53318 SOS 22006 HAS SOPS 22006 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11261.006
AT ITER 6789 NEW BEST:: SOT 53311 SOS 21999 HAS SOPS 21999 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11246.999
AT ITER 6811 NEW BEST:: SOT 53309 SOS 21997 HAS SOPS 21997 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11243.997
AT ITER 6812 NEW BEST:: SOT 53309 SOS 21997 HAS SOPS 21997 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11242.997
AT ITER 6913 NEW BEST:: SOT 53314 SOS 21988 HAS SOPS 21988 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11231.988
AT ITER 7007 NEW BEST:: SOT 53305 SOS 21978 HAS SOPS 21978 HAS SOUS 11195 HAS SOUPS 11195 WITH SCORE 11216.978
AT ITER 7056 NEW BEST:: SOT 53286 SOS 21959 HAS SOPS 21959 HAS SOUS 11189 HAS SOUPS 11189 WITH SCORE 11210.959
AT ITER 7070 NEW BEST:: SOT 53295 SOS 21968 HAS SOPS 21968 HAS SOUS 11167 HAS SOUPS 11167 WITH SCORE 11188.968
AT ITER 7124 NEW BEST:: SOT 53297 SOS 21970 HAS SOPS 21970 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11187.97
AT ITER 7125 NEW BEST:: SOT 53314 SOS 21986 HAS SOPS 21986 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11186.986
AT ITER 7184 NEW BEST:: SOT 53314 SOS 21986 HAS SOPS 21986 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11184.986
AT ITER 7219 NEW BEST:: SOT 53314 SOS 21972 HAS SOPS 21972 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11184.972
AT ITER 7419 NEW BEST:: SOT 53304 SOS 21962 HAS SOPS 21962 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11164.962
AT ITER 7431 NEW BEST:: SOT 53283 SOS 21941 HAS SOPS 21941 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11152.941
AT ITER 7467 NEW BEST:: SOT 53283 SOS 21920 HAS SOPS 21920 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11152.92
AT ITER 7508 NEW BEST:: SOT 53280 SOS 21753 HAS SOPS 21753 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11149.753
AT ITER 7536 NEW BEST:: SOT 53280 SOS 21746 HAS SOPS 21746 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11142.746
AT ITER 7544 NEW BEST:: SOT 53261 SOS 21739 HAS SOPS 21739 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11142.739
AT ITER 7563 NEW BEST:: SOT 53257 SOS 21726 HAS SOPS 21726 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11134.726
AT ITER 7579 NEW BEST:: SOT 53260 SOS 21722 HAS SOPS 21722 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11133.722
AT ITER 7594 NEW BEST:: SOT 53250 SOS 21694 HAS SOPS 21694 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11113.694
AT ITER 7600 NEW BEST:: SOT 53256 SOS 21555 HAS SOPS 21555 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11109.555
AT ITER 7617 NEW BEST:: SOT 53253 SOS 21552 HAS SOPS 21552 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11103.552
AT ITER 7648 NEW BEST:: SOT 53253 SOS 21552 HAS SOPS 21552 HAS SOUS 11073 HAS SOUPS 11073 WITH SCORE 11094.552
AT ITER 7748 NEW BEST:: SOT 53230 SOS 21503 HAS SOPS 21503 HAS SOUS 11027 HAS SOUPS 11027 WITH SCORE 11048.503
AT ITER 7852 NEW BEST:: SOT 53228 SOS 21501 HAS SOPS 21501 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11044.501
AT ITER 7922 NEW BEST:: SOT 53228 SOS 21485 HAS SOPS 21485 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11044.485
AT ITER 7965 NEW BEST:: SOT 53222 SOS 21472 HAS SOPS 21472 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11032.472
AT ITER 8027 NEW BEST:: SOT 53218 SOS 21468 HAS SOPS 21468 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11028.468
AT ITER 8067 NEW BEST:: SOT 53235 SOS 21472 HAS SOPS 21472 HAS SOUS 10992 HAS SOUPS 10992 WITH SCORE 11013.472
AT ITER 8089 NEW BEST:: SOT 53226 SOS 21463 HAS SOPS 21463 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10979.463
AT ITER 8113 NEW BEST:: SOT 53193 SOS 21430 HAS SOPS 21430 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 10969.43
AT ITER 8127 NEW BEST:: SOT 53137 SOS 21374 HAS SOPS 21374 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10933.374
AT ITER 8136 NEW BEST:: SOT 53136 SOS 21373 HAS SOPS 21373 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10931.373
AT ITER 8167 NEW BEST:: SOT 53143 SOS 21282 HAS SOPS 21282 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10931.282
AT ITER 8193 NEW BEST:: SOT 53131 SOS 21270 HAS SOPS 21270 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10907.27
AT ITER 8220 NEW BEST:: SOT 53122 SOS 21261 HAS SOPS 21261 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10900.261
AT ITER 8354 NEW BEST:: SOT 53118 SOS 21325 HAS SOPS 21325 HAS SOUS 10875 HAS SOUPS 10875 WITH SCORE 10896.325
AT ITER 8374 NEW BEST:: SOT 53113 SOS 21320 HAS SOPS 21320 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10891.32
AT ITER 8385 NEW BEST:: SOT 53108 SOS 21310 HAS SOPS 21310 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10881.31
AT ITER 8507 NEW BEST:: SOT 53108 SOS 21308 HAS SOPS 21308 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10881.308
AT ITER 8516 NEW BEST:: SOT 53107 SOS 21307 HAS SOPS 21307 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10879.307
AT ITER 8526 NEW BEST:: SOT 53102 SOS 21314 HAS SOPS 21314 HAS SOUS 10856 HAS SOUPS 10856 WITH SCORE 10877.314
AT ITER 8536 NEW BEST:: SOT 53098 SOS 21302 HAS SOPS 21302 HAS SOUS 10848 HAS SOUPS 10848 WITH SCORE 10869.302
AT ITER 8571 NEW BEST:: SOT 53105 SOS 21309 HAS SOPS 21309 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10866.309
AT ITER 8670 NEW BEST:: SOT 53105 SOS 21309 HAS SOPS 21309 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10865.309
AT ITER 8752 NEW BEST:: SOT 53089 SOS 21285 HAS SOPS 21285 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10841.285
AT ITER 8756 NEW BEST:: SOT 53088 SOS 21273 HAS SOPS 21273 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10839.273
AT ITER 8763 NEW BEST:: SOT 53086 SOS 21271 HAS SOPS 21271 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10835.271
AT ITER 8770 NEW BEST:: SOT 53086 SOS 21256 HAS SOPS 21256 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10833.256
AT ITER 8800 NEW BEST:: SOT 53080 SOS 21246 HAS SOPS 21246 HAS SOUS 10802 HAS SOUPS 10802 WITH SCORE 10823.246
AT ITER 8838 NEW BEST:: SOT 53078 SOS 21246 HAS SOPS 21246 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10820.246
AT ITER 8843 NEW BEST:: SOT 53078 SOS 21231 HAS SOPS 21231 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10805.231
AT ITER 8872 NEW BEST:: SOT 53075 SOS 21228 HAS SOPS 21228 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10799.228
AT ITER 8899 NEW BEST:: SOT 53075 SOS 21214 HAS SOPS 21214 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10799.214
AT ITER 8934 NEW BEST:: SOT 53052 SOS 21191 HAS SOPS 21191 HAS SOUS 10763 HAS SOUPS 10763 WITH SCORE 10784.191
AT ITER 8945 NEW BEST:: SOT 53044 SOS 21200 HAS SOPS 21200 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10773.2
AT ITER 8955 NEW BEST:: SOT 53037 SOS 21184 HAS SOPS 21184 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10760.184
AT ITER 8960 NEW BEST:: SOT 53037 SOS 21180 HAS SOPS 21180 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10756.18
AT ITER 9001 NEW BEST:: SOT 53033 SOS 21176 HAS SOPS 21176 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10748.176
AT ITER 9063 NEW BEST:: SOT 53033 SOS 21170 HAS SOPS 21170 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10727.17
AT ITER 9114 NEW BEST:: SOT 53029 SOS 21166 HAS SOPS 21166 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10719.166
AT ITER 9159 NEW BEST:: SOT 53032 SOS 21115 HAS SOPS 21115 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10719.115
AT ITER 9179 NEW BEST:: SOT 53011 SOS 21094 HAS SOPS 21094 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10715.094
AT ITER 9426 NEW BEST:: SOT 53011 SOS 21093 HAS SOPS 21093 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10715.093
AT ITER 9515 NEW BEST:: SOT 53011 SOS 21093 HAS SOPS 21093 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10706.093
AT ITER 9539 NEW BEST:: SOT 53003 SOS 21085 HAS SOPS 21085 HAS SOUS 10662 HAS SOUPS 10662 WITH SCORE 10683.085
AT ITER 9557 NEW BEST:: SOT 52981 SOS 21229 HAS SOPS 21229 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10673.229
AT ITER 9698 NEW BEST:: SOT 52978 SOS 20945 HAS SOPS 20945 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10644.945
AT ITER 9748 NEW BEST:: SOT 52977 SOS 20954 HAS SOPS 20954 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10638.954
AT ITER 9801 NEW BEST:: SOT 52985 SOS 20962 HAS SOPS 20962 HAS SOUS 10605 HAS SOUPS 10605 WITH SCORE 10625.962
AT ITER 9885 NEW BEST:: SOT 52950 SOS 20924 HAS SOPS 20924 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10584.924
AT ITER 9988 NEW BEST:: SOT 52950 SOS 20990 HAS SOPS 20990 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10518.99
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6445460 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153848 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="HirschbergSinclair-PT-15"
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 HirschbergSinclair-PT-15, 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 r195-smll-167840342400448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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