Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688300520.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688300520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 6.8K Feb 25 16:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 16:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 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 104K 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 1678469794085

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=BusinessProcesses-PT-09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 09
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: 403 places, 374 transitions, 1148 arcs.
AT ITER 0 NEW BEST:: SOT 97193 SOS 39689 HAS SOPS 39689 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37945.689
AT ITER 14 NEW BEST:: SOT 97228 SOS 39519 HAS SOPS 39519 HAS SOUS 37827 HAS SOUPS 37827 WITH SCORE 37866.519
AT ITER 20 NEW BEST:: SOT 97171 SOS 39430 HAS SOPS 39430 HAS SOUS 37752 HAS SOUPS 37752 WITH SCORE 37791.43
AT ITER 31 NEW BEST:: SOT 97084 SOS 39324 HAS SOPS 39324 HAS SOUS 37646 HAS SOUPS 37646 WITH SCORE 37685.324
AT ITER 33 NEW BEST:: SOT 97083 SOS 39220 HAS SOPS 39220 HAS SOUS 37599 HAS SOUPS 37599 WITH SCORE 37638.22
AT ITER 41 NEW BEST:: SOT 97083 SOS 39082 HAS SOPS 39082 HAS SOUS 37532 HAS SOUPS 37532 WITH SCORE 37571.082
AT ITER 66 NEW BEST:: SOT 97035 SOS 38986 HAS SOPS 38986 HAS SOUS 37436 HAS SOUPS 37436 WITH SCORE 37474.986
AT ITER 76 NEW BEST:: SOT 97002 SOS 39019 HAS SOPS 39019 HAS SOUS 37403 HAS SOUPS 37403 WITH SCORE 37442.019
AT ITER 91 NEW BEST:: SOT 96997 SOS 39015 HAS SOPS 39015 HAS SOUS 37399 HAS SOUPS 37399 WITH SCORE 37438.015
AT ITER 99 NEW BEST:: SOT 96996 SOS 38976 HAS SOPS 38976 HAS SOUS 37360 HAS SOUPS 37360 WITH SCORE 37398.976
AT ITER 119 NEW BEST:: SOT 96996 SOS 38965 HAS SOPS 38965 HAS SOUS 37349 HAS SOUPS 37349 WITH SCORE 37387.965
AT ITER 127 NEW BEST:: SOT 94917 SOS 37531 HAS SOPS 37531 HAS SOUS 35298 HAS SOUPS 35298 WITH SCORE 35335.531
AT ITER 133 NEW BEST:: SOT 92785 SOS 35834 HAS SOPS 35834 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33220.834
AT ITER 142 NEW BEST:: SOT 92785 SOS 35782 HAS SOPS 35782 HAS SOUS 33133 HAS SOUPS 33133 WITH SCORE 33168.782
AT ITER 145 NEW BEST:: SOT 92709 SOS 35630 HAS SOPS 35630 HAS SOUS 32981 HAS SOUPS 32981 WITH SCORE 33016.63
AT ITER 146 NEW BEST:: SOT 92709 SOS 35584 HAS SOPS 35584 HAS SOUS 32935 HAS SOUPS 32935 WITH SCORE 32970.584
AT ITER 155 NEW BEST:: SOT 92633 SOS 35432 HAS SOPS 35432 HAS SOUS 32783 HAS SOUPS 32783 WITH SCORE 32818.432
AT ITER 167 NEW BEST:: SOT 92633 SOS 35370 HAS SOPS 35370 HAS SOUS 32721 HAS SOUPS 32721 WITH SCORE 32756.37
AT ITER 171 NEW BEST:: SOT 92568 SOS 35289 HAS SOPS 35289 HAS SOUS 32640 HAS SOUPS 32640 WITH SCORE 32675.289
AT ITER 175 NEW BEST:: SOT 92568 SOS 35282 HAS SOPS 35282 HAS SOUS 32633 HAS SOUPS 32633 WITH SCORE 32668.282
AT ITER 177 NEW BEST:: SOT 92452 SOS 35050 HAS SOPS 35050 HAS SOUS 32401 HAS SOUPS 32401 WITH SCORE 32436.05
AT ITER 182 NEW BEST:: SOT 92454 SOS 35015 HAS SOPS 35015 HAS SOUS 32366 HAS SOUPS 32366 WITH SCORE 32401.015
AT ITER 184 NEW BEST:: SOT 92402 SOS 34963 HAS SOPS 34963 HAS SOUS 32314 HAS SOUPS 32314 WITH SCORE 32348.963
AT ITER 186 NEW BEST:: SOT 92339 SOS 34837 HAS SOPS 34837 HAS SOUS 32251 HAS SOUPS 32251 WITH SCORE 32285.837
AT ITER 209 NEW BEST:: SOT 92337 SOS 34803 HAS SOPS 34803 HAS SOUS 32247 HAS SOUPS 32247 WITH SCORE 32281.803
AT ITER 217 NEW BEST:: SOT 92337 SOS 34771 HAS SOPS 34771 HAS SOUS 32215 HAS SOUPS 32215 WITH SCORE 32249.771
AT ITER 232 NEW BEST:: SOT 92337 SOS 34766 HAS SOPS 34766 HAS SOUS 32210 HAS SOUPS 32210 WITH SCORE 32244.766
AT ITER 235 NEW BEST:: SOT 92337 SOS 34766 HAS SOPS 34766 HAS SOUS 32099 HAS SOUPS 32099 WITH SCORE 32133.766
AT ITER 237 NEW BEST:: SOT 92300 SOS 34693 HAS SOPS 34693 HAS SOUS 32062 HAS SOUPS 32062 WITH SCORE 32096.693
AT ITER 238 NEW BEST:: SOT 92299 SOS 34558 HAS SOPS 34558 HAS SOUS 32061 HAS SOUPS 32061 WITH SCORE 32095.558
AT ITER 239 NEW BEST:: SOT 92188 SOS 34336 HAS SOPS 34336 HAS SOUS 31948 HAS SOUPS 31948 WITH SCORE 31982.336
AT ITER 244 NEW BEST:: SOT 92311 SOS 34245 HAS SOPS 34245 HAS SOUS 31872 HAS SOUPS 31872 WITH SCORE 31906.245
AT ITER 246 NEW BEST:: SOT 92332 SOS 34211 HAS SOPS 34211 HAS SOUS 31838 HAS SOUPS 31838 WITH SCORE 31872.211
AT ITER 247 NEW BEST:: SOT 92298 SOS 34143 HAS SOPS 34143 HAS SOUS 31770 HAS SOUPS 31770 WITH SCORE 31804.143
AT ITER 250 NEW BEST:: SOT 92322 SOS 34141 HAS SOPS 34141 HAS SOUS 31768 HAS SOUPS 31768 WITH SCORE 31802.141
AT ITER 251 NEW BEST:: SOT 92322 SOS 34137 HAS SOPS 34137 HAS SOUS 31764 HAS SOUPS 31764 WITH SCORE 31798.137
AT ITER 255 NEW BEST:: SOT 92327 SOS 34133 HAS SOPS 34133 HAS SOUS 31760 HAS SOUPS 31760 WITH SCORE 31794.133
AT ITER 256 NEW BEST:: SOT 90768 SOS 32664 HAS SOPS 32664 HAS SOUS 30288 HAS SOUPS 30288 WITH SCORE 30320.664
AT ITER 261 NEW BEST:: SOT 90754 SOS 32426 HAS SOPS 32426 HAS SOUS 30260 HAS SOUPS 30260 WITH SCORE 30292.426
AT ITER 278 NEW BEST:: SOT 90675 SOS 32268 HAS SOPS 32268 HAS SOUS 30179 HAS SOUPS 30179 WITH SCORE 30211.268
AT ITER 279 NEW BEST:: SOT 90564 SOS 32213 HAS SOPS 32213 HAS SOUS 30124 HAS SOUPS 30124 WITH SCORE 30156.213
AT ITER 302 NEW BEST:: SOT 90617 SOS 32163 HAS SOPS 32163 HAS SOUS 30074 HAS SOUPS 30074 WITH SCORE 30106.163
AT ITER 338 NEW BEST:: SOT 90607 SOS 32148 HAS SOPS 32148 HAS SOUS 30059 HAS SOUPS 30059 WITH SCORE 30091.148
AT ITER 347 NEW BEST:: SOT 90530 SOS 32081 HAS SOPS 32081 HAS SOUS 29992 HAS SOUPS 29992 WITH SCORE 30024.081
AT ITER 350 NEW BEST:: SOT 90629 SOS 32055 HAS SOPS 32055 HAS SOUS 29966 HAS SOUPS 29966 WITH SCORE 29998.055
AT ITER 367 NEW BEST:: SOT 90629 SOS 31985 HAS SOPS 31985 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29927.985
AT ITER 368 NEW BEST:: SOT 90575 SOS 31931 HAS SOPS 31931 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29927.931
AT ITER 378 NEW BEST:: SOT 90462 SOS 31773 HAS SOPS 31773 HAS SOUS 29738 HAS SOUPS 29738 WITH SCORE 29769.773
AT ITER 393 NEW BEST:: SOT 90460 SOS 31770 HAS SOPS 31770 HAS SOUS 29735 HAS SOUPS 29735 WITH SCORE 29766.77
AT ITER 395 NEW BEST:: SOT 90460 SOS 31765 HAS SOPS 31765 HAS SOUS 29730 HAS SOUPS 29730 WITH SCORE 29761.765
AT ITER 397 NEW BEST:: SOT 90460 SOS 31744 HAS SOPS 31744 HAS SOUS 29709 HAS SOUPS 29709 WITH SCORE 29740.744
AT ITER 414 NEW BEST:: SOT 89739 SOS 31080 HAS SOPS 31080 HAS SOUS 29039 HAS SOUPS 29039 WITH SCORE 29070.08
AT ITER 420 NEW BEST:: SOT 89727 SOS 31056 HAS SOPS 31056 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29046.056
AT ITER 431 NEW BEST:: SOT 89637 SOS 30971 HAS SOPS 30971 HAS SOUS 28930 HAS SOUPS 28930 WITH SCORE 28960.971
AT ITER 433 NEW BEST:: SOT 89541 SOS 30779 HAS SOPS 30779 HAS SOUS 28738 HAS SOUPS 28738 WITH SCORE 28768.779
AT ITER 449 NEW BEST:: SOT 88171 SOS 29555 HAS SOPS 29555 HAS SOUS 27441 HAS SOUPS 27441 WITH SCORE 27470.555
AT ITER 450 NEW BEST:: SOT 88169 SOS 29450 HAS SOPS 29450 HAS SOUS 27336 HAS SOUPS 27336 WITH SCORE 27365.45
AT ITER 477 NEW BEST:: SOT 88198 SOS 29457 HAS SOPS 29457 HAS SOUS 27311 HAS SOUPS 27311 WITH SCORE 27340.457
AT ITER 487 NEW BEST:: SOT 88198 SOS 29443 HAS SOPS 29443 HAS SOUS 27297 HAS SOUPS 27297 WITH SCORE 27326.443
AT ITER 504 NEW BEST:: SOT 88101 SOS 29346 HAS SOPS 29346 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27229.346
AT ITER 513 NEW BEST:: SOT 88090 SOS 29335 HAS SOPS 29335 HAS SOUS 27189 HAS SOUPS 27189 WITH SCORE 27218.335
AT ITER 519 NEW BEST:: SOT 88174 SOS 29318 HAS SOPS 29318 HAS SOUS 27172 HAS SOUPS 27172 WITH SCORE 27201.318
AT ITER 520 NEW BEST:: SOT 88084 SOS 29111 HAS SOPS 29111 HAS SOUS 26996 HAS SOUPS 26996 WITH SCORE 27025.111
AT ITER 521 NEW BEST:: SOT 87980 SOS 29011 HAS SOPS 29011 HAS SOUS 26896 HAS SOUPS 26896 WITH SCORE 26925.011
AT ITER 526 NEW BEST:: SOT 88003 SOS 28990 HAS SOPS 28990 HAS SOUS 26852 HAS SOUPS 26852 WITH SCORE 26880.99
AT ITER 528 NEW BEST:: SOT 88012 SOS 28997 HAS SOPS 28997 HAS SOUS 26850 HAS SOUPS 26850 WITH SCORE 26878.997
AT ITER 536 NEW BEST:: SOT 87793 SOS 28870 HAS SOPS 28870 HAS SOUS 26641 HAS SOUPS 26641 WITH SCORE 26669.87
AT ITER 538 NEW BEST:: SOT 87793 SOS 28826 HAS SOPS 28826 HAS SOUS 26597 HAS SOUPS 26597 WITH SCORE 26625.826
AT ITER 539 NEW BEST:: SOT 87792 SOS 28825 HAS SOPS 28825 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26624.825
AT ITER 540 NEW BEST:: SOT 87831 SOS 28780 HAS SOPS 28780 HAS SOUS 26577 HAS SOUPS 26577 WITH SCORE 26605.78
AT ITER 548 NEW BEST:: SOT 87829 SOS 28847 HAS SOPS 28847 HAS SOUS 26506 HAS SOUPS 26506 WITH SCORE 26534.847
AT ITER 562 NEW BEST:: SOT 87829 SOS 28847 HAS SOPS 28847 HAS SOUS 26499 HAS SOUPS 26499 WITH SCORE 26527.847
AT ITER 563 NEW BEST:: SOT 87845 SOS 28801 HAS SOPS 28801 HAS SOUS 26453 HAS SOUPS 26453 WITH SCORE 26481.801
AT ITER 580 NEW BEST:: SOT 87801 SOS 28697 HAS SOPS 28697 HAS SOUS 26349 HAS SOUPS 26349 WITH SCORE 26377.697
AT ITER 588 NEW BEST:: SOT 87801 SOS 28683 HAS SOPS 28683 HAS SOUS 26335 HAS SOUPS 26335 WITH SCORE 26363.683
AT ITER 600 NEW BEST:: SOT 87801 SOS 28668 HAS SOPS 28668 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26348.668
AT ITER 605 NEW BEST:: SOT 87801 SOS 28617 HAS SOPS 28617 HAS SOUS 26226 HAS SOUPS 26226 WITH SCORE 26254.617
AT ITER 610 NEW BEST:: SOT 87165 SOS 31036 HAS SOPS 31036 HAS SOUS 25767 HAS SOUPS 25767 WITH SCORE 25798.036
AT ITER 614 NEW BEST:: SOT 87138 SOS 31008 HAS SOPS 31008 HAS SOUS 25739 HAS SOUPS 25739 WITH SCORE 25770.008
AT ITER 615 NEW BEST:: SOT 86717 SOS 30631 HAS SOPS 30631 HAS SOUS 25305 HAS SOUPS 25305 WITH SCORE 25335.631
AT ITER 619 NEW BEST:: SOT 86533 SOS 30389 HAS SOPS 30389 HAS SOUS 25121 HAS SOUPS 25121 WITH SCORE 25151.389
AT ITER 638 NEW BEST:: SOT 86520 SOS 30381 HAS SOPS 30381 HAS SOUS 25113 HAS SOUPS 25113 WITH SCORE 25143.381
AT ITER 639 NEW BEST:: SOT 86307 SOS 30216 HAS SOPS 30216 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25083.216
AT ITER 640 NEW BEST:: SOT 86297 SOS 30206 HAS SOPS 30206 HAS SOUS 25043 HAS SOUPS 25043 WITH SCORE 25073.206
AT ITER 647 NEW BEST:: SOT 86297 SOS 30206 HAS SOPS 30206 HAS SOUS 25021 HAS SOUPS 25021 WITH SCORE 25051.206
AT ITER 652 NEW BEST:: SOT 86170 SOS 30178 HAS SOPS 30178 HAS SOUS 24929 HAS SOUPS 24929 WITH SCORE 24959.178
AT ITER 666 NEW BEST:: SOT 86148 SOS 30156 HAS SOPS 30156 HAS SOUS 24929 HAS SOUPS 24929 WITH SCORE 24959.156
AT ITER 682 NEW BEST:: SOT 86148 SOS 30110 HAS SOPS 30110 HAS SOUS 24902 HAS SOUPS 24902 WITH SCORE 24932.11
AT ITER 699 NEW BEST:: SOT 86155 SOS 30117 HAS SOPS 30117 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 24931.117
AT ITER 720 NEW BEST:: SOT 86150 SOS 30108 HAS SOPS 30108 HAS SOUS 24892 HAS SOUPS 24892 WITH SCORE 24922.108
AT ITER 721 NEW BEST:: SOT 86113 SOS 30070 HAS SOPS 30070 HAS SOUS 24854 HAS SOUPS 24854 WITH SCORE 24884.07
AT ITER 722 NEW BEST:: SOT 86094 SOS 30032 HAS SOPS 30032 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24846.032
AT ITER 725 NEW BEST:: SOT 85997 SOS 29983 HAS SOPS 29983 HAS SOUS 24767 HAS SOUPS 24767 WITH SCORE 24796.983
AT ITER 729 NEW BEST:: SOT 85994 SOS 29977 HAS SOPS 29977 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24790.977
AT ITER 742 NEW BEST:: SOT 86000 SOS 29946 HAS SOPS 29946 HAS SOUS 24730 HAS SOUPS 24730 WITH SCORE 24759.946
AT ITER 757 NEW BEST:: SOT 86000 SOS 29946 HAS SOPS 29946 HAS SOUS 24727 HAS SOUPS 24727 WITH SCORE 24756.946
AT ITER 763 NEW BEST:: SOT 85993 SOS 29937 HAS SOPS 29937 HAS SOUS 24718 HAS SOUPS 24718 WITH SCORE 24747.937
AT ITER 776 NEW BEST:: SOT 85934 SOS 29837 HAS SOPS 29837 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24744.837
AT ITER 789 NEW BEST:: SOT 85934 SOS 29830 HAS SOPS 29830 HAS SOUS 24708 HAS SOUPS 24708 WITH SCORE 24737.83
AT ITER 795 NEW BEST:: SOT 85888 SOS 29743 HAS SOPS 29743 HAS SOUS 24621 HAS SOUPS 24621 WITH SCORE 24650.743
AT ITER 803 NEW BEST:: SOT 85888 SOS 29733 HAS SOPS 29733 HAS SOUS 24611 HAS SOUPS 24611 WITH SCORE 24640.733
AT ITER 805 NEW BEST:: SOT 85874 SOS 29642 HAS SOPS 29642 HAS SOUS 24565 HAS SOUPS 24565 WITH SCORE 24594.642
AT ITER 835 NEW BEST:: SOT 85859 SOS 29612 HAS SOPS 29612 HAS SOUS 24535 HAS SOUPS 24535 WITH SCORE 24564.612
AT ITER 843 NEW BEST:: SOT 85878 SOS 29512 HAS SOPS 29512 HAS SOUS 24435 HAS SOUPS 24435 WITH SCORE 24464.512
AT ITER 851 NEW BEST:: SOT 85939 SOS 29573 HAS SOPS 29573 HAS SOUS 24428 HAS SOUPS 24428 WITH SCORE 24457.573
AT ITER 868 NEW BEST:: SOT 85948 SOS 29559 HAS SOPS 29559 HAS SOUS 24414 HAS SOUPS 24414 WITH SCORE 24443.559
AT ITER 869 NEW BEST:: SOT 85990 SOS 29601 HAS SOPS 29601 HAS SOUS 24408 HAS SOUPS 24408 WITH SCORE 24437.601
AT ITER 890 NEW BEST:: SOT 85985 SOS 29591 HAS SOPS 29591 HAS SOUS 24398 HAS SOUPS 24398 WITH SCORE 24427.591
AT ITER 896 NEW BEST:: SOT 85858 SOS 29413 HAS SOPS 29413 HAS SOUS 24296 HAS SOUPS 24296 WITH SCORE 24325.413
AT ITER 900 NEW BEST:: SOT 85861 SOS 29409 HAS SOPS 29409 HAS SOUS 24292 HAS SOUPS 24292 WITH SCORE 24321.409
AT ITER 925 NEW BEST:: SOT 85859 SOS 29407 HAS SOPS 29407 HAS SOUS 24286 HAS SOUPS 24286 WITH SCORE 24315.407
AT ITER 929 NEW BEST:: SOT 85833 SOS 29355 HAS SOPS 29355 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24263.355
AT ITER 939 NEW BEST:: SOT 85926 SOS 29422 HAS SOPS 29422 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24238.422
AT ITER 940 NEW BEST:: SOT 85926 SOS 29410 HAS SOPS 29410 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24238.41
AT ITER 954 NEW BEST:: SOT 85873 SOS 29337 HAS SOPS 29337 HAS SOUS 24136 HAS SOUPS 24136 WITH SCORE 24165.337
AT ITER 956 NEW BEST:: SOT 85872 SOS 29335 HAS SOPS 29335 HAS SOUS 24134 HAS SOUPS 24134 WITH SCORE 24163.335
AT ITER 975 NEW BEST:: SOT 85788 SOS 29223 HAS SOPS 29223 HAS SOUS 24056 HAS SOUPS 24056 WITH SCORE 24085.223
AT ITER 991 NEW BEST:: SOT 85774 SOS 29209 HAS SOPS 29209 HAS SOUS 24035 HAS SOUPS 24035 WITH SCORE 24064.209
AT ITER 1002 NEW BEST:: SOT 85577 SOS 29012 HAS SOPS 29012 HAS SOUS 23964 HAS SOUPS 23964 WITH SCORE 23993.012
AT ITER 1012 NEW BEST:: SOT 85552 SOS 28890 HAS SOPS 28890 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23942.89
AT ITER 1024 NEW BEST:: SOT 85552 SOS 28873 HAS SOPS 28873 HAS SOUS 23897 HAS SOUPS 23897 WITH SCORE 23925.873
AT ITER 1035 NEW BEST:: SOT 85552 SOS 28805 HAS SOPS 28805 HAS SOUS 23829 HAS SOUPS 23829 WITH SCORE 23857.805
AT ITER 1058 NEW BEST:: SOT 85551 SOS 28796 HAS SOPS 28796 HAS SOUS 23824 HAS SOUPS 23824 WITH SCORE 23852.796
AT ITER 1069 NEW BEST:: SOT 85518 SOS 28763 HAS SOPS 28763 HAS SOUS 23791 HAS SOUPS 23791 WITH SCORE 23819.763
AT ITER 1079 NEW BEST:: SOT 85510 SOS 28754 HAS SOPS 28754 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23817.754
AT ITER 1087 NEW BEST:: SOT 85437 SOS 28681 HAS SOPS 28681 HAS SOUS 23716 HAS SOUPS 23716 WITH SCORE 23744.681
AT ITER 1107 NEW BEST:: SOT 85429 SOS 28671 HAS SOPS 28671 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23734.671
AT ITER 1116 NEW BEST:: SOT 85447 SOS 28663 HAS SOPS 28663 HAS SOUS 23698 HAS SOUPS 23698 WITH SCORE 23726.663
AT ITER 1122 NEW BEST:: SOT 85295 SOS 28490 HAS SOPS 28490 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23645.49
AT ITER 1128 NEW BEST:: SOT 85195 SOS 28331 HAS SOPS 28331 HAS SOUS 23458 HAS SOUPS 23458 WITH SCORE 23486.331
AT ITER 1132 NEW BEST:: SOT 85195 SOS 28280 HAS SOPS 28280 HAS SOUS 23451 HAS SOUPS 23451 WITH SCORE 23479.28
AT ITER 1133 NEW BEST:: SOT 85081 SOS 28142 HAS SOPS 28142 HAS SOUS 23313 HAS SOUPS 23313 WITH SCORE 23341.142
AT ITER 1140 NEW BEST:: SOT 85089 SOS 28137 HAS SOPS 28137 HAS SOUS 23308 HAS SOUPS 23308 WITH SCORE 23336.137
AT ITER 1155 NEW BEST:: SOT 85085 SOS 28067 HAS SOPS 28067 HAS SOUS 23238 HAS SOUPS 23238 WITH SCORE 23266.067
AT ITER 1165 NEW BEST:: SOT 85049 SOS 28030 HAS SOPS 28030 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23229.03
AT ITER 1169 NEW BEST:: SOT 85034 SOS 28017 HAS SOPS 28017 HAS SOUS 23188 HAS SOUPS 23188 WITH SCORE 23216.017
AT ITER 1174 NEW BEST:: SOT 85013 SOS 27996 HAS SOPS 27996 HAS SOUS 23167 HAS SOUPS 23167 WITH SCORE 23194.996
AT ITER 1177 NEW BEST:: SOT 85009 SOS 27988 HAS SOPS 27988 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23190.988
AT ITER 1180 NEW BEST:: SOT 85003 SOS 27976 HAS SOPS 27976 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23178.976
AT ITER 1196 NEW BEST:: SOT 85003 SOS 27962 HAS SOPS 27962 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23164.962
AT ITER 1209 NEW BEST:: SOT 84987 SOS 27946 HAS SOPS 27946 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23164.946
AT ITER 1214 NEW BEST:: SOT 84987 SOS 27945 HAS SOPS 27945 HAS SOUS 23136 HAS SOUPS 23136 WITH SCORE 23163.945
AT ITER 1229 NEW BEST:: SOT 84986 SOS 27943 HAS SOPS 27943 HAS SOUS 23134 HAS SOUPS 23134 WITH SCORE 23161.943
AT ITER 1233 NEW BEST:: SOT 84953 SOS 27877 HAS SOPS 27877 HAS SOUS 23101 HAS SOUPS 23101 WITH SCORE 23128.877
AT ITER 1247 NEW BEST:: SOT 85052 SOS 27956 HAS SOPS 27956 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23082.956
AT ITER 1248 NEW BEST:: SOT 85001 SOS 27854 HAS SOPS 27854 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23028.854
AT ITER 1258 NEW BEST:: SOT 84988 SOS 27792 HAS SOPS 27792 HAS SOUS 22939 HAS SOUPS 22939 WITH SCORE 22966.792
AT ITER 1261 NEW BEST:: SOT 84987 SOS 27755 HAS SOPS 27755 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22958.755
AT ITER 1268 NEW BEST:: SOT 84977 SOS 27745 HAS SOPS 27745 HAS SOUS 22921 HAS SOUPS 22921 WITH SCORE 22948.745
AT ITER 1283 NEW BEST:: SOT 84975 SOS 27711 HAS SOPS 27711 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22944.711
AT ITER 1285 NEW BEST:: SOT 84983 SOS 27668 HAS SOPS 27668 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22901.668
AT ITER 1291 NEW BEST:: SOT 85002 SOS 27706 HAS SOPS 27706 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22894.706
AT ITER 1296 NEW BEST:: SOT 84919 SOS 27653 HAS SOPS 27653 HAS SOUS 22814 HAS SOUPS 22814 WITH SCORE 22841.653
AT ITER 1298 NEW BEST:: SOT 84914 SOS 27643 HAS SOPS 27643 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22831.643
AT ITER 1299 NEW BEST:: SOT 84908 SOS 27631 HAS SOPS 27631 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22825.631
AT ITER 1312 NEW BEST:: SOT 84822 SOS 27466 HAS SOPS 27466 HAS SOUS 22633 HAS SOUPS 22633 WITH SCORE 22660.466
AT ITER 1342 NEW BEST:: SOT 84732 SOS 27420 HAS SOPS 27420 HAS SOUS 22587 HAS SOUPS 22587 WITH SCORE 22614.42
AT ITER 1378 NEW BEST:: SOT 84732 SOS 27419 HAS SOPS 27419 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22612.419
AT ITER 1385 NEW BEST:: SOT 84729 SOS 27416 HAS SOPS 27416 HAS SOUS 22582 HAS SOUPS 22582 WITH SCORE 22609.416
AT ITER 1386 NEW BEST:: SOT 84729 SOS 27384 HAS SOPS 27384 HAS SOUS 22550 HAS SOUPS 22550 WITH SCORE 22577.384
AT ITER 1427 NEW BEST:: SOT 84729 SOS 27372 HAS SOPS 27372 HAS SOUS 22538 HAS SOUPS 22538 WITH SCORE 22565.372
AT ITER 1433 NEW BEST:: SOT 84701 SOS 27210 HAS SOPS 27210 HAS SOUS 22517 HAS SOUPS 22517 WITH SCORE 22544.21
AT ITER 1463 NEW BEST:: SOT 84673 SOS 27111 HAS SOPS 27111 HAS SOUS 22418 HAS SOUPS 22418 WITH SCORE 22445.111
AT ITER 1466 NEW BEST:: SOT 84662 SOS 27100 HAS SOPS 27100 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22434.1
AT ITER 1471 NEW BEST:: SOT 84650 SOS 27087 HAS SOPS 27087 HAS SOUS 22394 HAS SOUPS 22394 WITH SCORE 22421.087
AT ITER 1482 NEW BEST:: SOT 84650 SOS 27069 HAS SOPS 27069 HAS SOUS 22376 HAS SOUPS 22376 WITH SCORE 22403.069
AT ITER 1484 NEW BEST:: SOT 84633 SOS 27066 HAS SOPS 27066 HAS SOUS 22373 HAS SOUPS 22373 WITH SCORE 22400.066
AT ITER 1487 NEW BEST:: SOT 84633 SOS 27074 HAS SOPS 27074 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22384.074
AT ITER 1490 NEW BEST:: SOT 84633 SOS 27031 HAS SOPS 27031 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22384.031
AT ITER 1492 NEW BEST:: SOT 84627 SOS 27011 HAS SOPS 27011 HAS SOUS 22350 HAS SOUPS 22350 WITH SCORE 22377.011
AT ITER 1520 NEW BEST:: SOT 84701 SOS 27000 HAS SOPS 27000 HAS SOUS 22253 HAS SOUPS 22253 WITH SCORE 22280.0
AT ITER 1523 NEW BEST:: SOT 84635 SOS 26921 HAS SOPS 26921 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22253.921
AT ITER 1532 NEW BEST:: SOT 84591 SOS 26911 HAS SOPS 26911 HAS SOUS 22217 HAS SOUPS 22217 WITH SCORE 22243.911
AT ITER 1536 NEW BEST:: SOT 84584 SOS 26897 HAS SOPS 26897 HAS SOUS 22203 HAS SOUPS 22203 WITH SCORE 22229.897
AT ITER 1547 NEW BEST:: SOT 84583 SOS 26895 HAS SOPS 26895 HAS SOUS 22201 HAS SOUPS 22201 WITH SCORE 22227.895
AT ITER 1548 NEW BEST:: SOT 84582 SOS 26893 HAS SOPS 26893 HAS SOUS 22199 HAS SOUPS 22199 WITH SCORE 22225.893
AT ITER 1566 NEW BEST:: SOT 84656 SOS 26907 HAS SOPS 26907 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22168.907
AT ITER 1589 NEW BEST:: SOT 84648 SOS 26817 HAS SOPS 26817 HAS SOUS 22052 HAS SOUPS 22052 WITH SCORE 22078.817
AT ITER 1592 NEW BEST:: SOT 84648 SOS 26788 HAS SOPS 26788 HAS SOUS 22052 HAS SOUPS 22052 WITH SCORE 22078.788
AT ITER 1598 NEW BEST:: SOT 84648 SOS 26788 HAS SOPS 26788 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22040.788
AT ITER 1601 NEW BEST:: SOT 84624 SOS 26781 HAS SOPS 26781 HAS SOUS 22007 HAS SOUPS 22007 WITH SCORE 22033.781
AT ITER 1605 NEW BEST:: SOT 84591 SOS 26760 HAS SOPS 26760 HAS SOUS 22007 HAS SOUPS 22007 WITH SCORE 22033.76
AT ITER 1632 NEW BEST:: SOT 84585 SOS 26748 HAS SOPS 26748 HAS SOUS 21995 HAS SOUPS 21995 WITH SCORE 22021.748
AT ITER 1645 NEW BEST:: SOT 84536 SOS 26730 HAS SOPS 26730 HAS SOUS 21977 HAS SOUPS 21977 WITH SCORE 22003.73
AT ITER 1655 NEW BEST:: SOT 84533 SOS 26727 HAS SOPS 26727 HAS SOUS 21967 HAS SOUPS 21967 WITH SCORE 21993.727
AT ITER 1677 NEW BEST:: SOT 84502 SOS 26696 HAS SOPS 26696 HAS SOUS 21917 HAS SOUPS 21917 WITH SCORE 21943.696
AT ITER 1688 NEW BEST:: SOT 84552 SOS 26683 HAS SOPS 26683 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21930.683
AT ITER 1691 NEW BEST:: SOT 84498 SOS 26640 HAS SOPS 26640 HAS SOUS 21861 HAS SOUPS 21861 WITH SCORE 21887.64
AT ITER 1692 NEW BEST:: SOT 84496 SOS 26605 HAS SOPS 26605 HAS SOUS 21826 HAS SOUPS 21826 WITH SCORE 21852.605
AT ITER 1700 NEW BEST:: SOT 84481 SOS 26575 HAS SOPS 26575 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21822.575
AT ITER 1703 NEW BEST:: SOT 84475 SOS 26569 HAS SOPS 26569 HAS SOUS 21790 HAS SOUPS 21790 WITH SCORE 21816.569
AT ITER 1724 NEW BEST:: SOT 84455 SOS 26551 HAS SOPS 26551 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21796.551
AT ITER 1727 NEW BEST:: SOT 84428 SOS 26443 HAS SOPS 26443 HAS SOUS 21743 HAS SOUPS 21743 WITH SCORE 21769.443
AT ITER 1752 NEW BEST:: SOT 84344 SOS 26275 HAS SOPS 26275 HAS SOUS 21581 HAS SOUPS 21581 WITH SCORE 21607.275
AT ITER 1762 NEW BEST:: SOT 84308 SOS 26251 HAS SOPS 26251 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21583.251
AT ITER 1773 NEW BEST:: SOT 84283 SOS 26154 HAS SOPS 26154 HAS SOUS 21460 HAS SOUPS 21460 WITH SCORE 21486.154
AT ITER 1777 NEW BEST:: SOT 84283 SOS 26073 HAS SOPS 26073 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21482.073
AT ITER 1789 NEW BEST:: SOT 84273 SOS 25943 HAS SOPS 25943 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21351.943
AT ITER 1795 NEW BEST:: SOT 84174 SOS 25835 HAS SOPS 25835 HAS SOUS 21218 HAS SOUPS 21218 WITH SCORE 21243.835
AT ITER 1802 NEW BEST:: SOT 84167 SOS 25821 HAS SOPS 25821 HAS SOUS 21211 HAS SOUPS 21211 WITH SCORE 21236.821
AT ITER 1838 NEW BEST:: SOT 84156 SOS 25810 HAS SOPS 25810 HAS SOUS 21200 HAS SOUPS 21200 WITH SCORE 21225.81
AT ITER 1843 NEW BEST:: SOT 84142 SOS 25765 HAS SOPS 25765 HAS SOUS 21155 HAS SOUPS 21155 WITH SCORE 21180.765
AT ITER 1857 NEW BEST:: SOT 84132 SOS 25755 HAS SOPS 25755 HAS SOUS 21145 HAS SOUPS 21145 WITH SCORE 21170.755
AT ITER 1860 NEW BEST:: SOT 84132 SOS 25746 HAS SOPS 25746 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21161.746
AT ITER 1862 NEW BEST:: SOT 84092 SOS 25666 HAS SOPS 25666 HAS SOUS 21056 HAS SOUPS 21056 WITH SCORE 21081.666
AT ITER 1865 NEW BEST:: SOT 84071 SOS 25645 HAS SOPS 25645 HAS SOUS 21035 HAS SOUPS 21035 WITH SCORE 21060.645
AT ITER 1880 NEW BEST:: SOT 84053 SOS 25627 HAS SOPS 25627 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21042.627
AT ITER 1900 NEW BEST:: SOT 84007 SOS 25581 HAS SOPS 25581 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21037.581
AT ITER 1902 NEW BEST:: SOT 83935 SOS 25495 HAS SOPS 25495 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20951.495
AT ITER 1903 NEW BEST:: SOT 83931 SOS 25487 HAS SOPS 25487 HAS SOUS 20918 HAS SOUPS 20918 WITH SCORE 20943.487
AT ITER 1917 NEW BEST:: SOT 83929 SOS 25485 HAS SOPS 25485 HAS SOUS 20916 HAS SOUPS 20916 WITH SCORE 20941.485
AT ITER 1925 NEW BEST:: SOT 83928 SOS 25483 HAS SOPS 25483 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20940.483
AT ITER 1933 NEW BEST:: SOT 83918 SOS 25473 HAS SOPS 25473 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20940.473
AT ITER 1947 NEW BEST:: SOT 83949 SOS 25511 HAS SOPS 25511 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 20924.511
AT ITER 1952 NEW BEST:: SOT 83930 SOS 25434 HAS SOPS 25434 HAS SOUS 20822 HAS SOUPS 20822 WITH SCORE 20847.434
AT ITER 1961 NEW BEST:: SOT 83865 SOS 25304 HAS SOPS 25304 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20717.304
AT ITER 1965 NEW BEST:: SOT 83865 SOS 25265 HAS SOPS 25265 HAS SOUS 20653 HAS SOUPS 20653 WITH SCORE 20678.265
AT ITER 1994 NEW BEST:: SOT 83839 SOS 25211 HAS SOPS 25211 HAS SOUS 20597 HAS SOUPS 20597 WITH SCORE 20622.211
AT ITER 2014 NEW BEST:: SOT 83839 SOS 25210 HAS SOPS 25210 HAS SOUS 20596 HAS SOUPS 20596 WITH SCORE 20621.21
AT ITER 2050 NEW BEST:: SOT 83840 SOS 25159 HAS SOPS 25159 HAS SOUS 20545 HAS SOUPS 20545 WITH SCORE 20570.159
AT ITER 2062 NEW BEST:: SOT 83858 SOS 25130 HAS SOPS 25130 HAS SOUS 20516 HAS SOUPS 20516 WITH SCORE 20541.13
AT ITER 2072 NEW BEST:: SOT 83857 SOS 25128 HAS SOPS 25128 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20539.128
AT ITER 2073 NEW BEST:: SOT 83851 SOS 25122 HAS SOPS 25122 HAS SOUS 20508 HAS SOUPS 20508 WITH SCORE 20533.122
AT ITER 2089 NEW BEST:: SOT 83822 SOS 25073 HAS SOPS 25073 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20464.073
AT ITER 2091 NEW BEST:: SOT 83817 SOS 25048 HAS SOPS 25048 HAS SOUS 20429 HAS SOUPS 20429 WITH SCORE 20454.048
AT ITER 2094 NEW BEST:: SOT 83817 SOS 25034 HAS SOPS 25034 HAS SOUS 20415 HAS SOUPS 20415 WITH SCORE 20440.034
AT ITER 2096 NEW BEST:: SOT 83866 SOS 24968 HAS SOPS 24968 HAS SOUS 20365 HAS SOUPS 20365 WITH SCORE 20389.968
AT ITER 2118 NEW BEST:: SOT 83893 SOS 24995 HAS SOPS 24995 HAS SOUS 20330 HAS SOUPS 20330 WITH SCORE 20354.995
AT ITER 2121 NEW BEST:: SOT 83863 SOS 24859 HAS SOPS 24859 HAS SOUS 20287 HAS SOUPS 20287 WITH SCORE 20311.859
AT ITER 2123 NEW BEST:: SOT 83826 SOS 24812 HAS SOPS 24812 HAS SOUS 20240 HAS SOUPS 20240 WITH SCORE 20264.812
AT ITER 2137 NEW BEST:: SOT 83784 SOS 24774 HAS SOPS 24774 HAS SOUS 20202 HAS SOUPS 20202 WITH SCORE 20226.774
AT ITER 2140 NEW BEST:: SOT 83800 SOS 24756 HAS SOPS 24756 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20224.756
AT ITER 2141 NEW BEST:: SOT 83799 SOS 24681 HAS SOPS 24681 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20205.681
AT ITER 2155 NEW BEST:: SOT 83823 SOS 24729 HAS SOPS 24729 HAS SOUS 20167 HAS SOUPS 20167 WITH SCORE 20191.729
AT ITER 2164 NEW BEST:: SOT 83793 SOS 24695 HAS SOPS 24695 HAS SOUS 20133 HAS SOUPS 20133 WITH SCORE 20157.695
AT ITER 2172 NEW BEST:: SOT 83675 SOS 24459 HAS SOPS 24459 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20039.459
AT ITER 2186 NEW BEST:: SOT 83642 SOS 24413 HAS SOPS 24413 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 19993.413
AT ITER 2187 NEW BEST:: SOT 83548 SOS 24408 HAS SOPS 24408 HAS SOUS 19964 HAS SOUPS 19964 WITH SCORE 19988.408
AT ITER 2211 NEW BEST:: SOT 83528 SOS 24388 HAS SOPS 24388 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19968.388
AT ITER 2238 NEW BEST:: SOT 83504 SOS 24349 HAS SOPS 24349 HAS SOUS 19929 HAS SOUPS 19929 WITH SCORE 19953.349
AT ITER 2257 NEW BEST:: SOT 83506 SOS 24337 HAS SOPS 24337 HAS SOUS 19917 HAS SOUPS 19917 WITH SCORE 19941.337
AT ITER 2262 NEW BEST:: SOT 83506 SOS 24336 HAS SOPS 24336 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19940.336
AT ITER 2268 NEW BEST:: SOT 83481 SOS 24286 HAS SOPS 24286 HAS SOUS 19866 HAS SOUPS 19866 WITH SCORE 19890.286
AT ITER 2295 NEW BEST:: SOT 83472 SOS 24268 HAS SOPS 24268 HAS SOUS 19857 HAS SOUPS 19857 WITH SCORE 19881.268
AT ITER 2301 NEW BEST:: SOT 83397 SOS 24227 HAS SOPS 24227 HAS SOUS 19816 HAS SOUPS 19816 WITH SCORE 19840.227
AT ITER 2306 NEW BEST:: SOT 83396 SOS 24226 HAS SOPS 24226 HAS SOUS 19815 HAS SOUPS 19815 WITH SCORE 19839.226
AT ITER 2404 NEW BEST:: SOT 83394 SOS 24222 HAS SOPS 24222 HAS SOUS 19795 HAS SOUPS 19795 WITH SCORE 19819.222
AT ITER 2465 NEW BEST:: SOT 83472 SOS 24185 HAS SOPS 24185 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19782.185
AT ITER 2467 NEW BEST:: SOT 83390 SOS 24084 HAS SOPS 24084 HAS SOUS 19720 HAS SOUPS 19720 WITH SCORE 19744.084
AT ITER 2473 NEW BEST:: SOT 83443 SOS 24080 HAS SOPS 24080 HAS SOUS 19716 HAS SOUPS 19716 WITH SCORE 19740.08
AT ITER 2488 NEW BEST:: SOT 83425 SOS 24044 HAS SOPS 24044 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19704.044
AT ITER 2491 NEW BEST:: SOT 83408 SOS 24027 HAS SOPS 24027 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19687.027
AT ITER 2493 NEW BEST:: SOT 83408 SOS 23998 HAS SOPS 23998 HAS SOUS 19634 HAS SOUPS 19634 WITH SCORE 19657.998
AT ITER 2508 NEW BEST:: SOT 83391 SOS 23819 HAS SOPS 23819 HAS SOUS 19624 HAS SOUPS 19624 WITH SCORE 19647.819
AT ITER 2542 NEW BEST:: SOT 83386 SOS 23813 HAS SOPS 23813 HAS SOUS 19618 HAS SOUPS 19618 WITH SCORE 19641.813
AT ITER 2554 NEW BEST:: SOT 83362 SOS 23773 HAS SOPS 23773 HAS SOUS 19578 HAS SOUPS 19578 WITH SCORE 19601.773
AT ITER 2590 NEW BEST:: SOT 83356 SOS 23767 HAS SOPS 23767 HAS SOUS 19572 HAS SOUPS 19572 WITH SCORE 19595.767
AT ITER 2603 NEW BEST:: SOT 83386 SOS 23791 HAS SOPS 23791 HAS SOUS 19560 HAS SOUPS 19560 WITH SCORE 19583.791
AT ITER 2607 NEW BEST:: SOT 83349 SOS 23754 HAS SOPS 23754 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19546.754
AT ITER 2618 NEW BEST:: SOT 83345 SOS 23746 HAS SOPS 23746 HAS SOUS 19515 HAS SOUPS 19515 WITH SCORE 19538.746
AT ITER 2623 NEW BEST:: SOT 83345 SOS 23745 HAS SOPS 23745 HAS SOUS 19514 HAS SOUPS 19514 WITH SCORE 19537.745
AT ITER 2651 NEW BEST:: SOT 83343 SOS 23741 HAS SOPS 23741 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19533.741
AT ITER 2668 NEW BEST:: SOT 83351 SOS 23724 HAS SOPS 23724 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19516.724
AT ITER 2695 NEW BEST:: SOT 83348 SOS 23721 HAS SOPS 23721 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19516.721
AT ITER 2728 NEW BEST:: SOT 83327 SOS 23687 HAS SOPS 23687 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19482.687
AT ITER 2765 NEW BEST:: SOT 83285 SOS 23639 HAS SOPS 23639 HAS SOUS 19447 HAS SOUPS 19447 WITH SCORE 19470.639
AT ITER 2769 NEW BEST:: SOT 83270 SOS 23607 HAS SOPS 23607 HAS SOUS 19415 HAS SOUPS 19415 WITH SCORE 19438.607
AT ITER 2778 NEW BEST:: SOT 83256 SOS 23600 HAS SOPS 23600 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19431.6
AT ITER 2794 NEW BEST:: SOT 83256 SOS 23600 HAS SOPS 23600 HAS SOUS 19399 HAS SOUPS 19399 WITH SCORE 19422.6
AT ITER 2805 NEW BEST:: SOT 83289 SOS 23588 HAS SOPS 23588 HAS SOUS 19387 HAS SOUPS 19387 WITH SCORE 19410.588
AT ITER 2810 NEW BEST:: SOT 83309 SOS 23468 HAS SOPS 23468 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19361.468
AT ITER 2811 NEW BEST:: SOT 83309 SOS 23443 HAS SOPS 23443 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19361.443
AT ITER 2859 NEW BEST:: SOT 83303 SOS 23437 HAS SOPS 23437 HAS SOUS 19332 HAS SOUPS 19332 WITH SCORE 19355.437
AT ITER 2869 NEW BEST:: SOT 83291 SOS 23429 HAS SOPS 23429 HAS SOUS 19324 HAS SOUPS 19324 WITH SCORE 19347.429
AT ITER 2871 NEW BEST:: SOT 83295 SOS 23425 HAS SOPS 23425 HAS SOUS 19320 HAS SOUPS 19320 WITH SCORE 19343.425
AT ITER 2873 NEW BEST:: SOT 83260 SOS 23354 HAS SOPS 23354 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19272.354
AT ITER 2881 NEW BEST:: SOT 83260 SOS 23353 HAS SOPS 23353 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19271.353
AT ITER 2885 NEW BEST:: SOT 83259 SOS 23352 HAS SOPS 23352 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19270.352
AT ITER 2905 NEW BEST:: SOT 83277 SOS 23326 HAS SOPS 23326 HAS SOUS 19221 HAS SOUPS 19221 WITH SCORE 19244.326
AT ITER 2914 NEW BEST:: SOT 83300 SOS 23313 HAS SOPS 23313 HAS SOUS 19149 HAS SOUPS 19149 WITH SCORE 19172.313
AT ITER 2924 NEW BEST:: SOT 83300 SOS 23313 HAS SOPS 23313 HAS SOUS 19146 HAS SOUPS 19146 WITH SCORE 19169.313
AT ITER 2925 NEW BEST:: SOT 83285 SOS 23290 HAS SOPS 23290 HAS SOUS 19123 HAS SOUPS 19123 WITH SCORE 19146.29
AT ITER 2954 NEW BEST:: SOT 83284 SOS 23288 HAS SOPS 23288 HAS SOUS 19121 HAS SOUPS 19121 WITH SCORE 19144.288
AT ITER 2960 NEW BEST:: SOT 83274 SOS 23280 HAS SOPS 23280 HAS SOUS 19104 HAS SOUPS 19104 WITH SCORE 19127.28
AT ITER 3012 NEW BEST:: SOT 83271 SOS 23274 HAS SOPS 23274 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19121.274
AT ITER 3020 NEW BEST:: SOT 83219 SOS 23204 HAS SOPS 23204 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19085.204
AT ITER 3091 NEW BEST:: SOT 83211 SOS 23188 HAS SOPS 23188 HAS SOUS 19046 HAS SOUPS 19046 WITH SCORE 19069.188
AT ITER 3096 NEW BEST:: SOT 83202 SOS 23170 HAS SOPS 23170 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19051.17
AT ITER 3128 NEW BEST:: SOT 83153 SOS 23104 HAS SOPS 23104 HAS SOUS 18962 HAS SOUPS 18962 WITH SCORE 18985.104
AT ITER 3148 NEW BEST:: SOT 83135 SOS 23086 HAS SOPS 23086 HAS SOUS 18944 HAS SOUPS 18944 WITH SCORE 18967.086
AT ITER 3161 NEW BEST:: SOT 83135 SOS 23068 HAS SOPS 23068 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18949.068
AT ITER 3182 NEW BEST:: SOT 83135 SOS 23028 HAS SOPS 23028 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18909.028
AT ITER 3187 NEW BEST:: SOT 83164 SOS 23004 HAS SOPS 23004 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18886.004
AT ITER 3218 NEW BEST:: SOT 83162 SOS 23000 HAS SOPS 23000 HAS SOUS 18861 HAS SOUPS 18861 WITH SCORE 18884.0
AT ITER 3225 NEW BEST:: SOT 83097 SOS 22932 HAS SOPS 22932 HAS SOUS 18855 HAS SOUPS 18855 WITH SCORE 18877.932
AT ITER 3238 NEW BEST:: SOT 83094 SOS 22926 HAS SOPS 22926 HAS SOUS 18845 HAS SOUPS 18845 WITH SCORE 18867.926
AT ITER 3243 NEW BEST:: SOT 83094 SOS 22895 HAS SOPS 22895 HAS SOUS 18814 HAS SOUPS 18814 WITH SCORE 18836.895
AT ITER 3253 NEW BEST:: SOT 83018 SOS 22889 HAS SOPS 22889 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18830.889
AT ITER 3258 NEW BEST:: SOT 82998 SOS 22862 HAS SOPS 22862 HAS SOUS 18794 HAS SOUPS 18794 WITH SCORE 18816.862
AT ITER 3270 NEW BEST:: SOT 82998 SOS 22728 HAS SOPS 22728 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18805.728
AT ITER 3273 NEW BEST:: SOT 82991 SOS 22707 HAS SOPS 22707 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18784.707
AT ITER 3285 NEW BEST:: SOT 83004 SOS 22695 HAS SOPS 22695 HAS SOUS 18744 HAS SOUPS 18744 WITH SCORE 18766.695
AT ITER 3289 NEW BEST:: SOT 83000 SOS 22694 HAS SOPS 22694 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18765.694
AT ITER 3312 NEW BEST:: SOT 82993 SOS 22687 HAS SOPS 22687 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18758.687
AT ITER 3338 NEW BEST:: SOT 82993 SOS 22596 HAS SOPS 22596 HAS SOUS 18735 HAS SOUPS 18735 WITH SCORE 18757.596
AT ITER 3353 NEW BEST:: SOT 82914 SOS 22604 HAS SOPS 22604 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18676.604
AT ITER 3358 NEW BEST:: SOT 82864 SOS 22536 HAS SOPS 22536 HAS SOUS 18586 HAS SOUPS 18586 WITH SCORE 18608.536
AT ITER 3385 NEW BEST:: SOT 82832 SOS 22553 HAS SOPS 22553 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18574.553
AT ITER 3389 NEW BEST:: SOT 82824 SOS 22537 HAS SOPS 22537 HAS SOUS 18537 HAS SOUPS 18537 WITH SCORE 18559.537
AT ITER 3400 NEW BEST:: SOT 82808 SOS 22530 HAS SOPS 22530 HAS SOUS 18530 HAS SOUPS 18530 WITH SCORE 18552.53
AT ITER 3408 NEW BEST:: SOT 82822 SOS 22529 HAS SOPS 22529 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18522.529
AT ITER 3462 NEW BEST:: SOT 82831 SOS 22739 HAS SOPS 22739 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18509.739
AT ITER 3467 NEW BEST:: SOT 82827 SOS 22735 HAS SOPS 22735 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18497.735
AT ITER 3505 NEW BEST:: SOT 82827 SOS 22735 HAS SOPS 22735 HAS SOUS 18474 HAS SOUPS 18474 WITH SCORE 18496.735
AT ITER 3523 NEW BEST:: SOT 82826 SOS 22735 HAS SOPS 22735 HAS SOUS 18472 HAS SOUPS 18472 WITH SCORE 18494.735
AT ITER 3540 NEW BEST:: SOT 82810 SOS 22488 HAS SOPS 22488 HAS SOUS 18457 HAS SOUPS 18457 WITH SCORE 18479.488
AT ITER 3550 NEW BEST:: SOT 82806 SOS 22480 HAS SOPS 22480 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18471.48
AT ITER 3560 NEW BEST:: SOT 82776 SOS 22450 HAS SOPS 22450 HAS SOUS 18419 HAS SOUPS 18419 WITH SCORE 18441.45
AT ITER 3598 NEW BEST:: SOT 82778 SOS 22435 HAS SOPS 22435 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18426.435
AT ITER 3610 NEW BEST:: SOT 82731 SOS 22571 HAS SOPS 22571 HAS SOUS 18392 HAS SOUPS 18392 WITH SCORE 18414.571
AT ITER 3618 NEW BEST:: SOT 82731 SOS 22557 HAS SOPS 22557 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18400.557
AT ITER 3621 NEW BEST:: SOT 82731 SOS 22556 HAS SOPS 22556 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18400.556
AT ITER 3656 NEW BEST:: SOT 82743 SOS 22549 HAS SOPS 22549 HAS SOUS 18371 HAS SOUPS 18371 WITH SCORE 18393.549
AT ITER 3699 NEW BEST:: SOT 82734 SOS 22531 HAS SOPS 22531 HAS SOUS 18353 HAS SOUPS 18353 WITH SCORE 18375.531
AT ITER 3715 NEW BEST:: SOT 82734 SOS 22500 HAS SOPS 22500 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18366.5
AT ITER 3722 NEW BEST:: SOT 82713 SOS 22470 HAS SOPS 22470 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18345.47
AT ITER 3728 NEW BEST:: SOT 82665 SOS 22388 HAS SOPS 22388 HAS SOUS 18241 HAS SOUPS 18241 WITH SCORE 18263.388
AT ITER 3746 NEW BEST:: SOT 82623 SOS 22342 HAS SOPS 22342 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18217.342
AT ITER 3763 NEW BEST:: SOT 82445 SOS 23469 HAS SOPS 23469 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18047.469
AT ITER 3798 NEW BEST:: SOT 82412 SOS 23428 HAS SOPS 23428 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18039.428
AT ITER 3801 NEW BEST:: SOT 82407 SOS 23418 HAS SOPS 23418 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18029.418
AT ITER 3810 NEW BEST:: SOT 82406 SOS 23416 HAS SOPS 23416 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18026.416
AT ITER 3820 NEW BEST:: SOT 82376 SOS 23356 HAS SOPS 23356 HAS SOUS 17957 HAS SOUPS 17957 WITH SCORE 17980.356
AT ITER 3866 NEW BEST:: SOT 82286 SOS 23221 HAS SOPS 23221 HAS SOUS 17867 HAS SOUPS 17867 WITH SCORE 17890.221
AT ITER 3890 NEW BEST:: SOT 82288 SOS 23209 HAS SOPS 23209 HAS SOUS 17855 HAS SOUPS 17855 WITH SCORE 17878.209
AT ITER 3891 NEW BEST:: SOT 82298 SOS 23216 HAS SOPS 23216 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17872.216
AT ITER 3902 NEW BEST:: SOT 82294 SOS 23186 HAS SOPS 23186 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17842.186
AT ITER 3907 NEW BEST:: SOT 82294 SOS 23182 HAS SOPS 23182 HAS SOUS 17815 HAS SOUPS 17815 WITH SCORE 17838.182
AT ITER 3922 NEW BEST:: SOT 82255 SOS 23143 HAS SOPS 23143 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17821.143
AT ITER 3951 NEW BEST:: SOT 82185 SOS 23073 HAS SOPS 23073 HAS SOUS 17728 HAS SOUPS 17728 WITH SCORE 17751.073
AT ITER 3961 NEW BEST:: SOT 82160 SOS 23118 HAS SOPS 23118 HAS SOUS 17723 HAS SOUPS 17723 WITH SCORE 17746.118
AT ITER 4013 NEW BEST:: SOT 82149 SOS 23110 HAS SOPS 23110 HAS SOUS 17715 HAS SOUPS 17715 WITH SCORE 17738.11
AT ITER 4015 NEW BEST:: SOT 82174 SOS 23107 HAS SOPS 23107 HAS SOUS 17712 HAS SOUPS 17712 WITH SCORE 17735.107
AT ITER 4056 NEW BEST:: SOT 82087 SOS 22843 HAS SOPS 22843 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17560.843
AT ITER 4100 NEW BEST:: SOT 82031 SOS 22752 HAS SOPS 22752 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17496.752
AT ITER 4154 NEW BEST:: SOT 82021 SOS 22743 HAS SOPS 22743 HAS SOUS 17465 HAS SOUPS 17465 WITH SCORE 17487.743
AT ITER 4166 NEW BEST:: SOT 81996 SOS 22710 HAS SOPS 22710 HAS SOUS 17454 HAS SOUPS 17454 WITH SCORE 17476.71
AT ITER 4174 NEW BEST:: SOT 81990 SOS 22698 HAS SOPS 22698 HAS SOUS 17453 HAS SOUPS 17453 WITH SCORE 17475.698
AT ITER 4211 NEW BEST:: SOT 81962 SOS 22654 HAS SOPS 22654 HAS SOUS 17409 HAS SOUPS 17409 WITH SCORE 17431.654
AT ITER 4227 NEW BEST:: SOT 81953 SOS 22652 HAS SOPS 22652 HAS SOUS 17407 HAS SOUPS 17407 WITH SCORE 17429.652
AT ITER 4242 NEW BEST:: SOT 81948 SOS 22647 HAS SOPS 22647 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17424.647
AT ITER 4271 NEW BEST:: SOT 81938 SOS 22627 HAS SOPS 22627 HAS SOUS 17382 HAS SOUPS 17382 WITH SCORE 17404.627
AT ITER 4272 NEW BEST:: SOT 81929 SOS 22615 HAS SOPS 22615 HAS SOUS 17380 HAS SOUPS 17380 WITH SCORE 17402.615
AT ITER 4301 NEW BEST:: SOT 81929 SOS 22601 HAS SOPS 22601 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17388.601
AT ITER 4327 NEW BEST:: SOT 81930 SOS 22588 HAS SOPS 22588 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17375.588
AT ITER 4357 NEW BEST:: SOT 81930 SOS 22578 HAS SOPS 22578 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17375.578
AT ITER 4378 NEW BEST:: SOT 81921 SOS 22569 HAS SOPS 22569 HAS SOUS 17345 HAS SOUPS 17345 WITH SCORE 17367.569
AT ITER 4390 NEW BEST:: SOT 81911 SOS 22562 HAS SOPS 22562 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17360.562
AT ITER 4394 NEW BEST:: SOT 81911 SOS 22531 HAS SOPS 22531 HAS SOUS 17324 HAS SOUPS 17324 WITH SCORE 17346.531
AT ITER 4439 NEW BEST:: SOT 81910 SOS 22521 HAS SOPS 22521 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17336.521
AT ITER 4440 NEW BEST:: SOT 81894 SOS 22505 HAS SOPS 22505 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17320.505
AT ITER 4448 NEW BEST:: SOT 81893 SOS 22504 HAS SOPS 22504 HAS SOUS 17297 HAS SOUPS 17297 WITH SCORE 17319.504
AT ITER 4450 NEW BEST:: SOT 81887 SOS 22485 HAS SOPS 22485 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17300.485
AT ITER 4501 NEW BEST:: SOT 81868 SOS 22560 HAS SOPS 22560 HAS SOUS 17257 HAS SOUPS 17257 WITH SCORE 17279.56
AT ITER 4505 NEW BEST:: SOT 81868 SOS 22557 HAS SOPS 22557 HAS SOUS 17254 HAS SOUPS 17254 WITH SCORE 17276.557
AT ITER 4571 NEW BEST:: SOT 81867 SOS 22550 HAS SOPS 22550 HAS SOUS 17241 HAS SOUPS 17241 WITH SCORE 17263.55
AT ITER 4589 NEW BEST:: SOT 81876 SOS 22559 HAS SOPS 22559 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17262.559
AT ITER 4622 NEW BEST:: SOT 81851 SOS 22524 HAS SOPS 22524 HAS SOUS 17215 HAS SOUPS 17215 WITH SCORE 17237.524
AT ITER 4629 NEW BEST:: SOT 81911 SOS 22553 HAS SOPS 22553 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17214.553
AT ITER 4643 NEW BEST:: SOT 81911 SOS 22553 HAS SOPS 22553 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17211.553
AT ITER 4646 NEW BEST:: SOT 81905 SOS 22541 HAS SOPS 22541 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17199.541
AT ITER 4661 NEW BEST:: SOT 81902 SOS 22535 HAS SOPS 22535 HAS SOUS 17171 HAS SOUPS 17171 WITH SCORE 17193.535
AT ITER 4683 NEW BEST:: SOT 81900 SOS 22532 HAS SOPS 22532 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17190.532
AT ITER 4702 NEW BEST:: SOT 81896 SOS 22524 HAS SOPS 22524 HAS SOUS 17156 HAS SOUPS 17156 WITH SCORE 17178.524
AT ITER 4704 NEW BEST:: SOT 81894 SOS 22520 HAS SOPS 22520 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17174.52
AT ITER 4727 NEW BEST:: SOT 81859 SOS 22485 HAS SOPS 22485 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17174.485
AT ITER 4741 NEW BEST:: SOT 81855 SOS 22488 HAS SOPS 22488 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17172.488
AT ITER 4754 NEW BEST:: SOT 81846 SOS 22454 HAS SOPS 22454 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17154.454
AT ITER 4772 NEW BEST:: SOT 81832 SOS 22426 HAS SOPS 22426 HAS SOUS 17104 HAS SOUPS 17104 WITH SCORE 17126.426
AT ITER 4787 NEW BEST:: SOT 81823 SOS 22357 HAS SOPS 22357 HAS SOUS 17051 HAS SOUPS 17051 WITH SCORE 17073.357
AT ITER 4805 NEW BEST:: SOT 81815 SOS 22345 HAS SOPS 22345 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17061.345
AT ITER 4811 NEW BEST:: SOT 81812 SOS 22341 HAS SOPS 22341 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17057.341
AT ITER 4859 NEW BEST:: SOT 81812 SOS 22345 HAS SOPS 22345 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17050.345
AT ITER 4863 NEW BEST:: SOT 81825 SOS 22353 HAS SOPS 22353 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17030.353
AT ITER 4870 NEW BEST:: SOT 81825 SOS 22346 HAS SOPS 22346 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17029.346
AT ITER 4871 NEW BEST:: SOT 81816 SOS 22371 HAS SOPS 22371 HAS SOUS 16995 HAS SOUPS 16995 WITH SCORE 17017.371
AT ITER 4891 NEW BEST:: SOT 81826 SOS 22344 HAS SOPS 22344 HAS SOUS 16994 HAS SOUPS 16994 WITH SCORE 17016.344
AT ITER 4950 NEW BEST:: SOT 81807 SOS 22306 HAS SOPS 22306 HAS SOUS 16988 HAS SOUPS 16988 WITH SCORE 17010.306
AT ITER 4954 NEW BEST:: SOT 81807 SOS 22305 HAS SOPS 22305 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17009.305
AT ITER 4971 NEW BEST:: SOT 81807 SOS 22302 HAS SOPS 22302 HAS SOUS 16984 HAS SOUPS 16984 WITH SCORE 17006.302
AT ITER 4975 NEW BEST:: SOT 81806 SOS 22300 HAS SOPS 22300 HAS SOUS 16982 HAS SOUPS 16982 WITH SCORE 17004.3
AT ITER 4978 NEW BEST:: SOT 81789 SOS 22266 HAS SOPS 22266 HAS SOUS 16960 HAS SOUPS 16960 WITH SCORE 16982.266
AT ITER 4993 NEW BEST:: SOT 81791 SOS 22300 HAS SOPS 22300 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16980.3
AT ITER 5002 NEW BEST:: SOT 81813 SOS 22283 HAS SOPS 22283 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16963.283
AT ITER 5034 NEW BEST:: SOT 81809 SOS 22275 HAS SOPS 22275 HAS SOUS 16933 HAS SOUPS 16933 WITH SCORE 16955.275
AT ITER 5045 NEW BEST:: SOT 81822 SOS 22281 HAS SOPS 22281 HAS SOUS 16926 HAS SOUPS 16926 WITH SCORE 16948.281
AT ITER 5048 NEW BEST:: SOT 81822 SOS 22370 HAS SOPS 22370 HAS SOUS 16910 HAS SOUPS 16910 WITH SCORE 16932.37
AT ITER 5053 NEW BEST:: SOT 81821 SOS 22371 HAS SOPS 22371 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16931.371
AT ITER 5070 NEW BEST:: SOT 81833 SOS 22360 HAS SOPS 22360 HAS SOUS 16898 HAS SOUPS 16898 WITH SCORE 16920.36
AT ITER 5097 NEW BEST:: SOT 81786 SOS 22297 HAS SOPS 22297 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16857.297
AT ITER 5152 NEW BEST:: SOT 81762 SOS 22263 HAS SOPS 22263 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16823.263
AT ITER 5161 NEW BEST:: SOT 81767 SOS 22261 HAS SOPS 22261 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16821.261
AT ITER 5197 NEW BEST:: SOT 81740 SOS 22247 HAS SOPS 22247 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16807.247
AT ITER 5199 NEW BEST:: SOT 81725 SOS 22217 HAS SOPS 22217 HAS SOUS 16757 HAS SOUPS 16757 WITH SCORE 16779.217
AT ITER 5218 NEW BEST:: SOT 81723 SOS 22215 HAS SOPS 22215 HAS SOUS 16757 HAS SOUPS 16757 WITH SCORE 16779.215
AT ITER 5230 NEW BEST:: SOT 81723 SOS 22198 HAS SOPS 22198 HAS SOUS 16740 HAS SOUPS 16740 WITH SCORE 16762.198
AT ITER 5259 NEW BEST:: SOT 81718 SOS 22193 HAS SOPS 22193 HAS SOUS 16735 HAS SOUPS 16735 WITH SCORE 16757.193
AT ITER 5286 NEW BEST:: SOT 81718 SOS 22176 HAS SOPS 22176 HAS SOUS 16718 HAS SOUPS 16718 WITH SCORE 16740.176
AT ITER 5415 NEW BEST:: SOT 81714 SOS 22168 HAS SOPS 22168 HAS SOUS 16710 HAS SOUPS 16710 WITH SCORE 16732.168
AT ITER 5433 NEW BEST:: SOT 81704 SOS 22159 HAS SOPS 22159 HAS SOUS 16701 HAS SOUPS 16701 WITH SCORE 16723.159
AT ITER 5453 NEW BEST:: SOT 81689 SOS 22144 HAS SOPS 22144 HAS SOUS 16686 HAS SOUPS 16686 WITH SCORE 16708.144
AT ITER 5486 NEW BEST:: SOT 81657 SOS 22086 HAS SOPS 22086 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16650.086
AT ITER 5488 NEW BEST:: SOT 81654 SOS 22080 HAS SOPS 22080 HAS SOUS 16624 HAS SOUPS 16624 WITH SCORE 16646.08
AT ITER 5548 NEW BEST:: SOT 81649 SOS 22070 HAS SOPS 22070 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16641.07
AT ITER 5564 NEW BEST:: SOT 81653 SOS 22048 HAS SOPS 22048 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16619.048
AT ITER 5598 NEW BEST:: SOT 81664 SOS 22083 HAS SOPS 22083 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16605.083
AT ITER 5626 NEW BEST:: SOT 81660 SOS 22079 HAS SOPS 22079 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16601.079
AT ITER 5630 NEW BEST:: SOT 81667 SOS 22093 HAS SOPS 22093 HAS SOUS 16568 HAS SOUPS 16568 WITH SCORE 16590.093
AT ITER 5632 NEW BEST:: SOT 81688 SOS 22090 HAS SOPS 22090 HAS SOUS 16565 HAS SOUPS 16565 WITH SCORE 16587.09
AT ITER 5639 NEW BEST:: SOT 81687 SOS 22088 HAS SOPS 22088 HAS SOUS 16563 HAS SOUPS 16563 WITH SCORE 16585.088
AT ITER 5647 NEW BEST:: SOT 81686 SOS 22000 HAS SOPS 22000 HAS SOUS 16557 HAS SOUPS 16557 WITH SCORE 16579.0
AT ITER 5676 NEW BEST:: SOT 81686 SOS 21999 HAS SOPS 21999 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16576.999
AT ITER 5710 NEW BEST:: SOT 81683 SOS 21993 HAS SOPS 21993 HAS SOUS 16549 HAS SOUPS 16549 WITH SCORE 16570.993
AT ITER 5716 NEW BEST:: SOT 81682 SOS 21991 HAS SOPS 21991 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16568.991
AT ITER 5718 NEW BEST:: SOT 81659 SOS 21973 HAS SOPS 21973 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16550.973
AT ITER 5772 NEW BEST:: SOT 81638 SOS 21952 HAS SOPS 21952 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16550.952
AT ITER 5805 NEW BEST:: SOT 81630 SOS 21948 HAS SOPS 21948 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16546.948
AT ITER 5870 NEW BEST:: SOT 81624 SOS 21928 HAS SOPS 21928 HAS SOUS 16505 HAS SOUPS 16505 WITH SCORE 16526.928
AT ITER 5893 NEW BEST:: SOT 81621 SOS 21922 HAS SOPS 21922 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16520.922
AT ITER 5920 NEW BEST:: SOT 81616 SOS 21917 HAS SOPS 21917 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16510.917
AT ITER 5921 NEW BEST:: SOT 81602 SOS 21897 HAS SOPS 21897 HAS SOUS 16469 HAS SOUPS 16469 WITH SCORE 16490.897
AT ITER 5929 NEW BEST:: SOT 81639 SOS 21884 HAS SOPS 21884 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16477.884
AT ITER 5969 NEW BEST:: SOT 81618 SOS 22057 HAS SOPS 22057 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16473.057
AT ITER 5996 NEW BEST:: SOT 81621 SOS 22060 HAS SOPS 22060 HAS SOUS 16446 HAS SOUPS 16446 WITH SCORE 16468.06
AT ITER 6015 NEW BEST:: SOT 81621 SOS 22056 HAS SOPS 22056 HAS SOUS 16442 HAS SOUPS 16442 WITH SCORE 16464.056
AT ITER 6034 NEW BEST:: SOT 81625 SOS 22042 HAS SOPS 22042 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16457.042
AT ITER 6038 NEW BEST:: SOT 81617 SOS 22026 HAS SOPS 22026 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16450.026
AT ITER 6073 NEW BEST:: SOT 81583 SOS 21994 HAS SOPS 21994 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16417.994
AT ITER 6141 NEW BEST:: SOT 81603 SOS 22010 HAS SOPS 22010 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16410.01
AT ITER 6144 NEW BEST:: SOT 81603 SOS 22005 HAS SOPS 22005 HAS SOUS 16383 HAS SOUPS 16383 WITH SCORE 16405.005
AT ITER 6167 NEW BEST:: SOT 81594 SOS 21999 HAS SOPS 21999 HAS SOUS 16377 HAS SOUPS 16377 WITH SCORE 16398.999
AT ITER 6199 NEW BEST:: SOT 81605 SOS 21992 HAS SOPS 21992 HAS SOUS 16373 HAS SOUPS 16373 WITH SCORE 16394.992
AT ITER 6206 NEW BEST:: SOT 81602 SOS 21989 HAS SOPS 21989 HAS SOUS 16370 HAS SOUPS 16370 WITH SCORE 16391.989
AT ITER 6228 NEW BEST:: SOT 81605 SOS 21973 HAS SOPS 21973 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16371.973
AT ITER 6232 NEW BEST:: SOT 81601 SOS 21966 HAS SOPS 21966 HAS SOUS 16343 HAS SOUPS 16343 WITH SCORE 16364.966
AT ITER 6246 NEW BEST:: SOT 81569 SOS 21918 HAS SOPS 21918 HAS SOUS 16295 HAS SOUPS 16295 WITH SCORE 16316.918
AT ITER 6247 NEW BEST:: SOT 81565 SOS 21910 HAS SOPS 21910 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16312.91
AT ITER 6262 NEW BEST:: SOT 81573 SOS 21909 HAS SOPS 21909 HAS SOUS 16290 HAS SOUPS 16290 WITH SCORE 16311.909
AT ITER 6270 NEW BEST:: SOT 81554 SOS 21908 HAS SOPS 21908 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16310.908
AT ITER 6282 NEW BEST:: SOT 81508 SOS 22421 HAS SOPS 22421 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16280.421
AT ITER 6305 NEW BEST:: SOT 81496 SOS 22397 HAS SOPS 22397 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16256.397
AT ITER 6321 NEW BEST:: SOT 81490 SOS 22391 HAS SOPS 22391 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16238.391
AT ITER 6325 NEW BEST:: SOT 81474 SOS 22383 HAS SOPS 22383 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16230.383
AT ITER 6373 NEW BEST:: SOT 81469 SOS 22373 HAS SOPS 22373 HAS SOUS 16198 HAS SOUPS 16198 WITH SCORE 16220.373
AT ITER 6418 NEW BEST:: SOT 81461 SOS 22250 HAS SOPS 22250 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16209.25
AT ITER 6433 NEW BEST:: SOT 81447 SOS 22222 HAS SOPS 22222 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16181.222
AT ITER 6437 NEW BEST:: SOT 81442 SOS 22217 HAS SOPS 22217 HAS SOUS 16154 HAS SOUPS 16154 WITH SCORE 16176.217
AT ITER 6502 NEW BEST:: SOT 81438 SOS 22211 HAS SOPS 22211 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16172.211
AT ITER 6514 NEW BEST:: SOT 81432 SOS 22157 HAS SOPS 22157 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16160.157
AT ITER 6520 NEW BEST:: SOT 81430 SOS 22153 HAS SOPS 22153 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16156.153
AT ITER 6583 NEW BEST:: SOT 81420 SOS 22149 HAS SOPS 22149 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16152.149
AT ITER 6645 NEW BEST:: SOT 81399 SOS 22129 HAS SOPS 22129 HAS SOUS 16088 HAS SOUPS 16088 WITH SCORE 16110.129
AT ITER 6646 NEW BEST:: SOT 81425 SOS 22149 HAS SOPS 22149 HAS SOUS 16076 HAS SOUPS 16076 WITH SCORE 16098.149
AT ITER 6650 NEW BEST:: SOT 81435 SOS 22139 HAS SOPS 22139 HAS SOUS 16066 HAS SOUPS 16066 WITH SCORE 16088.139
AT ITER 6657 NEW BEST:: SOT 81425 SOS 22133 HAS SOPS 22133 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16082.133
AT ITER 6758 NEW BEST:: SOT 81428 SOS 22147 HAS SOPS 22147 HAS SOUS 16055 HAS SOUPS 16055 WITH SCORE 16077.147
AT ITER 6781 NEW BEST:: SOT 81427 SOS 22146 HAS SOPS 22146 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16073.146
AT ITER 6812 NEW BEST:: SOT 81420 SOS 22134 HAS SOPS 22134 HAS SOUS 16047 HAS SOUPS 16047 WITH SCORE 16069.134
AT ITER 6830 NEW BEST:: SOT 81419 SOS 22132 HAS SOPS 22132 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16067.132
AT ITER 6897 NEW BEST:: SOT 81423 SOS 22130 HAS SOPS 22130 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16065.13
AT ITER 6922 NEW BEST:: SOT 81405 SOS 22094 HAS SOPS 22094 HAS SOUS 16024 HAS SOUPS 16024 WITH SCORE 16046.094
AT ITER 6927 NEW BEST:: SOT 81409 SOS 22098 HAS SOPS 22098 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16042.098
AT ITER 6945 NEW BEST:: SOT 81393 SOS 22074 HAS SOPS 22074 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16026.074
AT ITER 6956 NEW BEST:: SOT 81392 SOS 22067 HAS SOPS 22067 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16025.067
AT ITER 6976 NEW BEST:: SOT 81389 SOS 22079 HAS SOPS 22079 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16022.079
AT ITER 6988 NEW BEST:: SOT 81390 SOS 22069 HAS SOPS 22069 HAS SOUS 15990 HAS SOUPS 15990 WITH SCORE 16012.069
AT ITER 6994 NEW BEST:: SOT 81383 SOS 22055 HAS SOPS 22055 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 15998.055
AT ITER 7068 NEW BEST:: SOT 81379 SOS 22046 HAS SOPS 22046 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15989.046
AT ITER 7085 NEW BEST:: SOT 81395 SOS 22044 HAS SOPS 22044 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 15987.044
AT ITER 7101 NEW BEST:: SOT 81370 SOS 22058 HAS SOPS 22058 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 15984.058
AT ITER 7126 NEW BEST:: SOT 81357 SOS 22049 HAS SOPS 22049 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15975.049
AT ITER 7152 NEW BEST:: SOT 81353 SOS 22044 HAS SOPS 22044 HAS SOUS 15948 HAS SOUPS 15948 WITH SCORE 15970.044
AT ITER 7209 NEW BEST:: SOT 81344 SOS 22026 HAS SOPS 22026 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15952.026
AT ITER 7211 NEW BEST:: SOT 81344 SOS 21991 HAS SOPS 21991 HAS SOUS 15904 HAS SOUPS 15904 WITH SCORE 15925.991
AT ITER 7214 NEW BEST:: SOT 81344 SOS 22002 HAS SOPS 22002 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15901.002
AT ITER 7280 NEW BEST:: SOT 81316 SOS 21980 HAS SOPS 21980 HAS SOUS 15857 HAS SOUPS 15857 WITH SCORE 15878.98
AT ITER 7367 NEW BEST:: SOT 81396 SOS 22057 HAS SOPS 22057 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15873.057
AT ITER 7469 NEW BEST:: SOT 81395 SOS 22054 HAS SOPS 22054 HAS SOUS 15849 HAS SOUPS 15849 WITH SCORE 15871.054
AT ITER 7479 NEW BEST:: SOT 81382 SOS 22034 HAS SOPS 22034 HAS SOUS 15843 HAS SOUPS 15843 WITH SCORE 15865.034
AT ITER 7495 NEW BEST:: SOT 81371 SOS 22017 HAS SOPS 22017 HAS SOUS 15826 HAS SOUPS 15826 WITH SCORE 15848.017
AT ITER 7543 NEW BEST:: SOT 81371 SOS 22005 HAS SOPS 22005 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15836.005
AT ITER 7553 NEW BEST:: SOT 81369 SOS 22001 HAS SOPS 22001 HAS SOUS 15810 HAS SOUPS 15810 WITH SCORE 15832.001
AT ITER 7604 NEW BEST:: SOT 81354 SOS 21954 HAS SOPS 21954 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15813.954
AT ITER 7635 NEW BEST:: SOT 81340 SOS 21926 HAS SOPS 21926 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15798.926
AT ITER 7705 NEW BEST:: SOT 81306 SOS 21889 HAS SOPS 21889 HAS SOUS 15762 HAS SOUPS 15762 WITH SCORE 15783.889
AT ITER 7778 NEW BEST:: SOT 81306 SOS 21858 HAS SOPS 21858 HAS SOUS 15700 HAS SOUPS 15700 WITH SCORE 15721.858
AT ITER 7810 NEW BEST:: SOT 81300 SOS 21854 HAS SOPS 21854 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15717.854
AT ITER 7964 NEW BEST:: SOT 81296 SOS 21847 HAS SOPS 21847 HAS SOUS 15689 HAS SOUPS 15689 WITH SCORE 15710.847
AT ITER 7979 NEW BEST:: SOT 81296 SOS 21847 HAS SOPS 21847 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15700.847
AT ITER 7992 NEW BEST:: SOT 81254 SOS 21809 HAS SOPS 21809 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15681.809
AT ITER 8018 NEW BEST:: SOT 81280 SOS 21808 HAS SOPS 21808 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15680.808
AT ITER 8041 NEW BEST:: SOT 81280 SOS 21808 HAS SOPS 21808 HAS SOUS 15647 HAS SOUPS 15647 WITH SCORE 15668.808
AT ITER 8094 NEW BEST:: SOT 81275 SOS 21803 HAS SOPS 21803 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15663.803
AT ITER 8108 NEW BEST:: SOT 81275 SOS 21792 HAS SOPS 21792 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15652.792
AT ITER 8140 NEW BEST:: SOT 81279 SOS 21789 HAS SOPS 21789 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15649.789
AT ITER 8206 NEW BEST:: SOT 81279 SOS 21749 HAS SOPS 21749 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15645.749
AT ITER 8227 NEW BEST:: SOT 81279 SOS 21693 HAS SOPS 21693 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15632.693
AT ITER 8311 NEW BEST:: SOT 81220 SOS 21571 HAS SOPS 21571 HAS SOUS 15552 HAS SOUPS 15552 WITH SCORE 15573.571
AT ITER 8407 NEW BEST:: SOT 81214 SOS 21559 HAS SOPS 21559 HAS SOUS 15540 HAS SOUPS 15540 WITH SCORE 15561.559
AT ITER 8469 NEW BEST:: SOT 81210 SOS 21553 HAS SOPS 21553 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15555.553
AT ITER 8470 NEW BEST:: SOT 81184 SOS 21545 HAS SOPS 21545 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15529.545
AT ITER 8501 NEW BEST:: SOT 81179 SOS 21549 HAS SOPS 21549 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15523.549
AT ITER 8504 NEW BEST:: SOT 81178 SOS 21547 HAS SOPS 21547 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15521.547
AT ITER 8546 NEW BEST:: SOT 81178 SOS 21537 HAS SOPS 21537 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15511.537
AT ITER 8619 NEW BEST:: SOT 81186 SOS 21540 HAS SOPS 21540 HAS SOUS 15486 HAS SOUPS 15486 WITH SCORE 15507.54
AT ITER 8623 NEW BEST:: SOT 81184 SOS 21536 HAS SOPS 21536 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15503.536
AT ITER 8648 NEW BEST:: SOT 81166 SOS 21501 HAS SOPS 21501 HAS SOUS 15447 HAS SOUPS 15447 WITH SCORE 15468.501
AT ITER 8656 NEW BEST:: SOT 81149 SOS 21484 HAS SOPS 21484 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15453.484
AT ITER 8663 NEW BEST:: SOT 81115 SOS 21484 HAS SOPS 21484 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15419.484
AT ITER 8717 NEW BEST:: SOT 81081 SOS 21442 HAS SOPS 21442 HAS SOUS 15382 HAS SOUPS 15382 WITH SCORE 15403.442
AT ITER 8724 NEW BEST:: SOT 81080 SOS 21436 HAS SOPS 21436 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15400.436
AT ITER 8750 NEW BEST:: SOT 81087 SOS 21418 HAS SOPS 21418 HAS SOUS 15361 HAS SOUPS 15361 WITH SCORE 15382.418
AT ITER 8832 NEW BEST:: SOT 81083 SOS 21414 HAS SOPS 21414 HAS SOUS 15359 HAS SOUPS 15359 WITH SCORE 15380.414
AT ITER 8835 NEW BEST:: SOT 81084 SOS 21406 HAS SOPS 21406 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15372.406
AT ITER 8866 NEW BEST:: SOT 81084 SOS 21406 HAS SOPS 21406 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15367.406
AT ITER 8919 NEW BEST:: SOT 81056 SOS 21388 HAS SOPS 21388 HAS SOUS 15331 HAS SOUPS 15331 WITH SCORE 15352.388
AT ITER 8929 NEW BEST:: SOT 81053 SOS 21398 HAS SOPS 21398 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15347.398
AT ITER 9036 NEW BEST:: SOT 81003 SOS 21340 HAS SOPS 21340 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15289.34
AT ITER 9044 NEW BEST:: SOT 80999 SOS 21336 HAS SOPS 21336 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15282.336
AT ITER 9055 NEW BEST:: SOT 80997 SOS 21332 HAS SOPS 21332 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15279.332
AT ITER 9069 NEW BEST:: SOT 80991 SOS 21320 HAS SOPS 21320 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15267.32
AT ITER 9133 NEW BEST:: SOT 80967 SOS 21260 HAS SOPS 21260 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15203.26
AT ITER 9169 NEW BEST:: SOT 80967 SOS 21276 HAS SOPS 21276 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15201.276
AT ITER 9262 NEW BEST:: SOT 80967 SOS 21274 HAS SOPS 21274 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15199.274
AT ITER 9302 NEW BEST:: SOT 80964 SOS 21271 HAS SOPS 21271 HAS SOUS 15175 HAS SOUPS 15175 WITH SCORE 15196.271
AT ITER 9342 NEW BEST:: SOT 80956 SOS 21306 HAS SOPS 21306 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15180.306
AT ITER 9390 NEW BEST:: SOT 80928 SOS 21250 HAS SOPS 21250 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15177.25
AT ITER 9503 NEW BEST:: SOT 80927 SOS 21248 HAS SOPS 21248 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15175.248
AT ITER 9597 NEW BEST:: SOT 80927 SOS 21247 HAS SOPS 21247 HAS SOUS 15153 HAS SOUPS 15153 WITH SCORE 15174.247
AT ITER 9606 NEW BEST:: SOT 80944 SOS 21246 HAS SOPS 21246 HAS SOUS 15152 HAS SOUPS 15152 WITH SCORE 15173.246
AT ITER 9626 NEW BEST:: SOT 80927 SOS 21231 HAS SOPS 21231 HAS SOUS 15137 HAS SOUPS 15137 WITH SCORE 15158.231
AT ITER 9776 NEW BEST:: SOT 80926 SOS 21229 HAS SOPS 21229 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15156.229
AT ITER 9855 NEW BEST:: SOT 80925 SOS 21227 HAS SOPS 21227 HAS SOUS 15133 HAS SOUPS 15133 WITH SCORE 15154.227
AT ITER 9959 NEW BEST:: SOT 80925 SOS 21214 HAS SOPS 21214 HAS SOUS 15120 HAS SOUPS 15120 WITH SCORE 15141.214
AT ITER 9984 NEW BEST:: SOT 80927 SOS 21202 HAS SOPS 21202 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15139.202
AT ITER 9993 NEW BEST:: SOT 80924 SOS 21196 HAS SOPS 21196 HAS SOUS 15112 HAS SOUPS 15112 WITH SCORE 15133.196
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 10985100 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156064 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="BusinessProcesses-PT-09"
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 BusinessProcesses-PT-09, 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 r035-tajo-167813688300520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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