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.r203-smll-167840349500360.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 smartxred
Input is HealthRecord-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349500360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.5K Feb 26 18:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 18:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 18:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 18:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 18:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 18:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 18:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 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 125K 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 1678587028817

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HealthRecord-PT-16
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 02:10:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 02:10:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 02:10:32] [INFO ] Load time of PNML (sax parser for PT used): 163 ms
[2023-03-12 02:10:32] [INFO ] Transformed 453 places.
[2023-03-12 02:10:32] [INFO ] Transformed 594 transitions.
[2023-03-12 02:10:32] [INFO ] Found NUPN structural information;
[2023-03-12 02:10:32] [INFO ] Parsed PT model containing 453 places and 594 transitions and 1333 arcs in 324 ms.
[2023-03-12 02:10:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 453 places, 594 transitions and 1333 arcs took 16 ms.
Total runtime 405 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 16
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 453 places, 594 transitions, 1333 arcs.
AT ITER 0 NEW BEST:: SOT 159058 SOS 42837 HAS SOPS 42837 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34572.837
AT ITER 3 NEW BEST:: SOT 159092 SOS 42842 HAS SOPS 42842 HAS SOUS 34509 HAS SOUPS 34509 WITH SCORE 34551.842
AT ITER 6 NEW BEST:: SOT 159042 SOS 42642 HAS SOPS 42642 HAS SOUS 34359 HAS SOUPS 34359 WITH SCORE 34401.642
AT ITER 8 NEW BEST:: SOT 159031 SOS 42620 HAS SOPS 42620 HAS SOUS 34337 HAS SOUPS 34337 WITH SCORE 34379.62
AT ITER 41 NEW BEST:: SOT 158967 SOS 42564 HAS SOPS 42564 HAS SOUS 34268 HAS SOUPS 34268 WITH SCORE 34310.564
AT ITER 58 NEW BEST:: SOT 158961 SOS 42599 HAS SOPS 42599 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34269.599
AT ITER 60 NEW BEST:: SOT 158961 SOS 42549 HAS SOPS 42549 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34269.549
AT ITER 69 NEW BEST:: SOT 158907 SOS 42441 HAS SOPS 42441 HAS SOUS 34153 HAS SOUPS 34153 WITH SCORE 34195.441
AT ITER 70 NEW BEST:: SOT 158846 SOS 42258 HAS SOPS 42258 HAS SOUS 34031 HAS SOUPS 34031 WITH SCORE 34073.258
AT ITER 76 NEW BEST:: SOT 158805 SOS 42135 HAS SOPS 42135 HAS SOUS 33949 HAS SOUPS 33949 WITH SCORE 33991.135
AT ITER 79 NEW BEST:: SOT 158768 SOS 41992 HAS SOPS 41992 HAS SOUS 33843 HAS SOUPS 33843 WITH SCORE 33884.992
AT ITER 81 NEW BEST:: SOT 158768 SOS 41963 HAS SOPS 41963 HAS SOUS 33814 HAS SOUPS 33814 WITH SCORE 33855.963
AT ITER 85 NEW BEST:: SOT 158816 SOS 41918 HAS SOPS 41918 HAS SOUS 33790 HAS SOUPS 33790 WITH SCORE 33831.918
AT ITER 87 NEW BEST:: SOT 158667 SOS 41662 HAS SOPS 41662 HAS SOUS 33751 HAS SOUPS 33751 WITH SCORE 33792.662
AT ITER 98 NEW BEST:: SOT 158667 SOS 41642 HAS SOPS 41642 HAS SOUS 33732 HAS SOUPS 33732 WITH SCORE 33773.642
AT ITER 106 NEW BEST:: SOT 158642 SOS 41639 HAS SOPS 41639 HAS SOUS 33661 HAS SOUPS 33661 WITH SCORE 33702.639
AT ITER 110 NEW BEST:: SOT 158611 SOS 41603 HAS SOPS 41603 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33658.603
AT ITER 138 NEW BEST:: SOT 157932 SOS 42648 HAS SOPS 42648 HAS SOUS 33221 HAS SOUPS 33221 WITH SCORE 33263.648
AT ITER 159 NEW BEST:: SOT 157931 SOS 42646 HAS SOPS 42646 HAS SOUS 33219 HAS SOUPS 33219 WITH SCORE 33261.646
AT ITER 164 NEW BEST:: SOT 157866 SOS 42614 HAS SOPS 42614 HAS SOUS 33218 HAS SOUPS 33218 WITH SCORE 33260.614
AT ITER 169 NEW BEST:: SOT 157803 SOS 42576 HAS SOPS 42576 HAS SOUS 33127 HAS SOUPS 33127 WITH SCORE 33169.576
AT ITER 178 NEW BEST:: SOT 157760 SOS 42507 HAS SOPS 42507 HAS SOUS 33066 HAS SOUPS 33066 WITH SCORE 33108.507
AT ITER 182 NEW BEST:: SOT 157728 SOS 42504 HAS SOPS 42504 HAS SOUS 33034 HAS SOUPS 33034 WITH SCORE 33076.504
AT ITER 200 NEW BEST:: SOT 157698 SOS 42444 HAS SOPS 42444 HAS SOUS 32927 HAS SOUPS 32927 WITH SCORE 32969.444
AT ITER 204 NEW BEST:: SOT 157686 SOS 42483 HAS SOPS 42483 HAS SOUS 32915 HAS SOUPS 32915 WITH SCORE 32957.483
AT ITER 214 NEW BEST:: SOT 157697 SOS 42400 HAS SOPS 42400 HAS SOUS 32883 HAS SOUPS 32883 WITH SCORE 32925.4
AT ITER 223 NEW BEST:: SOT 157674 SOS 42353 HAS SOPS 42353 HAS SOUS 32860 HAS SOUPS 32860 WITH SCORE 32902.353
AT ITER 229 NEW BEST:: SOT 157617 SOS 42220 HAS SOPS 42220 HAS SOUS 32784 HAS SOUPS 32784 WITH SCORE 32826.22
AT ITER 240 NEW BEST:: SOT 157643 SOS 42231 HAS SOPS 42231 HAS SOUS 32751 HAS SOUPS 32751 WITH SCORE 32793.231
AT ITER 251 NEW BEST:: SOT 157522 SOS 42110 HAS SOPS 42110 HAS SOUS 32630 HAS SOUPS 32630 WITH SCORE 32672.11
AT ITER 260 NEW BEST:: SOT 157514 SOS 42094 HAS SOPS 42094 HAS SOUS 32614 HAS SOUPS 32614 WITH SCORE 32656.094
AT ITER 281 NEW BEST:: SOT 157510 SOS 42086 HAS SOPS 42086 HAS SOUS 32610 HAS SOUPS 32610 WITH SCORE 32652.086
AT ITER 288 NEW BEST:: SOT 157502 SOS 42062 HAS SOPS 42062 HAS SOUS 32609 HAS SOUPS 32609 WITH SCORE 32651.062
AT ITER 290 NEW BEST:: SOT 157455 SOS 41901 HAS SOPS 41901 HAS SOUS 32497 HAS SOUPS 32497 WITH SCORE 32538.901
AT ITER 294 NEW BEST:: SOT 157433 SOS 41857 HAS SOPS 41857 HAS SOUS 32453 HAS SOUPS 32453 WITH SCORE 32494.857
AT ITER 305 NEW BEST:: SOT 157401 SOS 41861 HAS SOPS 41861 HAS SOUS 32434 HAS SOUPS 32434 WITH SCORE 32475.861
AT ITER 309 NEW BEST:: SOT 157355 SOS 41819 HAS SOPS 41819 HAS SOUS 32413 HAS SOUPS 32413 WITH SCORE 32454.819
AT ITER 319 NEW BEST:: SOT 157298 SOS 41768 HAS SOPS 41768 HAS SOUS 32400 HAS SOUPS 32400 WITH SCORE 32441.768
AT ITER 320 NEW BEST:: SOT 157264 SOS 41667 HAS SOPS 41667 HAS SOUS 32326 HAS SOUPS 32326 WITH SCORE 32367.667
AT ITER 325 NEW BEST:: SOT 157262 SOS 41665 HAS SOPS 41665 HAS SOUS 32326 HAS SOUPS 32326 WITH SCORE 32367.665
AT ITER 337 NEW BEST:: SOT 157260 SOS 41663 HAS SOPS 41663 HAS SOUS 32322 HAS SOUPS 32322 WITH SCORE 32363.663
AT ITER 350 NEW BEST:: SOT 157261 SOS 41721 HAS SOPS 41721 HAS SOUS 32301 HAS SOUPS 32301 WITH SCORE 32342.721
AT ITER 351 NEW BEST:: SOT 157204 SOS 41632 HAS SOPS 41632 HAS SOUS 32235 HAS SOUPS 32235 WITH SCORE 32276.632
AT ITER 368 NEW BEST:: SOT 157119 SOS 41568 HAS SOPS 41568 HAS SOUS 32057 HAS SOUPS 32057 WITH SCORE 32098.568
AT ITER 369 NEW BEST:: SOT 157068 SOS 41514 HAS SOPS 41514 HAS SOUS 32006 HAS SOUPS 32006 WITH SCORE 32047.514
AT ITER 374 NEW BEST:: SOT 157060 SOS 41498 HAS SOPS 41498 HAS SOUS 31990 HAS SOUPS 31990 WITH SCORE 32031.498
AT ITER 377 NEW BEST:: SOT 157021 SOS 41401 HAS SOPS 41401 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32012.401
AT ITER 412 NEW BEST:: SOT 156972 SOS 41303 HAS SOPS 41303 HAS SOUS 31854 HAS SOUPS 31854 WITH SCORE 31895.303
AT ITER 414 NEW BEST:: SOT 156981 SOS 41321 HAS SOPS 41321 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31875.321
AT ITER 416 NEW BEST:: SOT 156958 SOS 41164 HAS SOPS 41164 HAS SOUS 31718 HAS SOUPS 31718 WITH SCORE 31759.164
AT ITER 442 NEW BEST:: SOT 156955 SOS 41158 HAS SOPS 41158 HAS SOUS 31627 HAS SOUPS 31627 WITH SCORE 31668.158
AT ITER 444 NEW BEST:: SOT 156986 SOS 41203 HAS SOPS 41203 HAS SOUS 31582 HAS SOUPS 31582 WITH SCORE 31623.203
AT ITER 463 NEW BEST:: SOT 156965 SOS 41182 HAS SOPS 41182 HAS SOUS 31561 HAS SOUPS 31561 WITH SCORE 31602.182
AT ITER 472 NEW BEST:: SOT 156894 SOS 41076 HAS SOPS 41076 HAS SOUS 31551 HAS SOUPS 31551 WITH SCORE 31592.076
AT ITER 484 NEW BEST:: SOT 156834 SOS 40956 HAS SOPS 40956 HAS SOUS 31515 HAS SOUPS 31515 WITH SCORE 31555.956
AT ITER 487 NEW BEST:: SOT 156535 SOS 42315 HAS SOPS 42315 HAS SOUS 31155 HAS SOUPS 31155 WITH SCORE 31197.315
AT ITER 496 NEW BEST:: SOT 156450 SOS 42259 HAS SOPS 42259 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31168.259
AT ITER 518 NEW BEST:: SOT 156450 SOS 42259 HAS SOPS 42259 HAS SOUS 31085 HAS SOUPS 31085 WITH SCORE 31127.259
AT ITER 534 NEW BEST:: SOT 156450 SOS 42242 HAS SOPS 42242 HAS SOUS 31068 HAS SOUPS 31068 WITH SCORE 31110.242
AT ITER 535 NEW BEST:: SOT 156450 SOS 42172 HAS SOPS 42172 HAS SOUS 31068 HAS SOUPS 31068 WITH SCORE 31110.172
AT ITER 539 NEW BEST:: SOT 156450 SOS 42157 HAS SOPS 42157 HAS SOUS 31068 HAS SOUPS 31068 WITH SCORE 31110.157
AT ITER 546 NEW BEST:: SOT 155275 SOS 42052 HAS SOPS 42052 HAS SOUS 30326 HAS SOUPS 30326 WITH SCORE 30368.052
AT ITER 559 NEW BEST:: SOT 155257 SOS 41954 HAS SOPS 41954 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30331.954
AT ITER 568 NEW BEST:: SOT 155257 SOS 41929 HAS SOPS 41929 HAS SOUS 30290 HAS SOUPS 30290 WITH SCORE 30331.929
AT ITER 570 NEW BEST:: SOT 155219 SOS 41891 HAS SOPS 41891 HAS SOUS 30271 HAS SOUPS 30271 WITH SCORE 30312.891
AT ITER 571 NEW BEST:: SOT 155184 SOS 41956 HAS SOPS 41956 HAS SOUS 30226 HAS SOUPS 30226 WITH SCORE 30267.956
AT ITER 579 NEW BEST:: SOT 155136 SOS 41869 HAS SOPS 41869 HAS SOUS 30187 HAS SOUPS 30187 WITH SCORE 30228.869
AT ITER 590 NEW BEST:: SOT 155103 SOS 41855 HAS SOPS 41855 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30213.855
AT ITER 616 NEW BEST:: SOT 155120 SOS 41889 HAS SOPS 41889 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30148.889
AT ITER 622 NEW BEST:: SOT 155128 SOS 41833 HAS SOPS 41833 HAS SOUS 30079 HAS SOUPS 30079 WITH SCORE 30120.833
AT ITER 624 NEW BEST:: SOT 155128 SOS 41793 HAS SOPS 41793 HAS SOUS 30079 HAS SOUPS 30079 WITH SCORE 30120.793
AT ITER 634 NEW BEST:: SOT 155166 SOS 41831 HAS SOPS 41831 HAS SOUS 30041 HAS SOUPS 30041 WITH SCORE 30082.831
AT ITER 647 NEW BEST:: SOT 155160 SOS 41819 HAS SOPS 41819 HAS SOUS 30029 HAS SOUPS 30029 WITH SCORE 30070.819
AT ITER 659 NEW BEST:: SOT 155199 SOS 41750 HAS SOPS 41750 HAS SOUS 30004 HAS SOUPS 30004 WITH SCORE 30045.75
AT ITER 662 NEW BEST:: SOT 155174 SOS 41706 HAS SOPS 41706 HAS SOUS 29985 HAS SOUPS 29985 WITH SCORE 30026.706
AT ITER 674 NEW BEST:: SOT 155203 SOS 41764 HAS SOPS 41764 HAS SOUS 29945 HAS SOUPS 29945 WITH SCORE 29986.764
AT ITER 680 NEW BEST:: SOT 155241 SOS 41798 HAS SOPS 41798 HAS SOUS 29893 HAS SOUPS 29893 WITH SCORE 29934.798
AT ITER 704 NEW BEST:: SOT 154617 SOS 51580 HAS SOPS 51580 HAS SOUS 29678 HAS SOUPS 29678 WITH SCORE 29729.58
AT ITER 711 NEW BEST:: SOT 154613 SOS 51572 HAS SOPS 51572 HAS SOUS 29670 HAS SOUPS 29670 WITH SCORE 29721.572
AT ITER 714 NEW BEST:: SOT 154595 SOS 51536 HAS SOPS 51536 HAS SOUS 29634 HAS SOUPS 29634 WITH SCORE 29685.536
AT ITER 715 NEW BEST:: SOT 153925 SOS 55698 HAS SOPS 55698 HAS SOUS 29341 HAS SOUPS 29341 WITH SCORE 29396.698
AT ITER 719 NEW BEST:: SOT 153902 SOS 55686 HAS SOPS 55686 HAS SOUS 29318 HAS SOUPS 29318 WITH SCORE 29373.686
AT ITER 734 NEW BEST:: SOT 153875 SOS 55605 HAS SOPS 55605 HAS SOUS 29291 HAS SOUPS 29291 WITH SCORE 29346.605
AT ITER 743 NEW BEST:: SOT 153886 SOS 55627 HAS SOPS 55627 HAS SOUS 29272 HAS SOUPS 29272 WITH SCORE 29327.627
AT ITER 753 NEW BEST:: SOT 153886 SOS 55627 HAS SOPS 55627 HAS SOUS 29250 HAS SOUPS 29250 WITH SCORE 29305.627
AT ITER 757 NEW BEST:: SOT 153870 SOS 55595 HAS SOPS 55595 HAS SOUS 29250 HAS SOUPS 29250 WITH SCORE 29305.595
AT ITER 759 NEW BEST:: SOT 153819 SOS 55491 HAS SOPS 55491 HAS SOUS 29203 HAS SOUPS 29203 WITH SCORE 29258.491
AT ITER 768 NEW BEST:: SOT 153827 SOS 56210 HAS SOPS 56210 HAS SOUS 29199 HAS SOUPS 29199 WITH SCORE 29255.21
AT ITER 776 NEW BEST:: SOT 153812 SOS 56180 HAS SOPS 56180 HAS SOUS 29170 HAS SOUPS 29170 WITH SCORE 29226.18
AT ITER 780 NEW BEST:: SOT 153805 SOS 56730 HAS SOPS 56730 HAS SOUS 29163 HAS SOUPS 29163 WITH SCORE 29219.73
AT ITER 781 NEW BEST:: SOT 153805 SOS 56730 HAS SOPS 56730 HAS SOUS 29149 HAS SOUPS 29149 WITH SCORE 29205.73
AT ITER 785 NEW BEST:: SOT 153751 SOS 55515 HAS SOPS 55515 HAS SOUS 29068 HAS SOUPS 29068 WITH SCORE 29123.515
AT ITER 789 NEW BEST:: SOT 153681 SOS 55375 HAS SOPS 55375 HAS SOUS 28951 HAS SOUPS 28951 WITH SCORE 29006.375
AT ITER 792 NEW BEST:: SOT 153526 SOS 55110 HAS SOPS 55110 HAS SOUS 28769 HAS SOUPS 28769 WITH SCORE 28824.11
AT ITER 811 NEW BEST:: SOT 153503 SOS 55064 HAS SOPS 55064 HAS SOUS 28736 HAS SOUPS 28736 WITH SCORE 28791.064
AT ITER 812 NEW BEST:: SOT 153503 SOS 55039 HAS SOPS 55039 HAS SOUS 28711 HAS SOUPS 28711 WITH SCORE 28766.039
AT ITER 813 NEW BEST:: SOT 153501 SOS 55037 HAS SOPS 55037 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28765.037
AT ITER 819 NEW BEST:: SOT 153501 SOS 54875 HAS SOPS 54875 HAS SOUS 28709 HAS SOUPS 28709 WITH SCORE 28763.875
AT ITER 826 NEW BEST:: SOT 153447 SOS 54700 HAS SOPS 54700 HAS SOUS 28645 HAS SOUPS 28645 WITH SCORE 28699.7
AT ITER 830 NEW BEST:: SOT 153405 SOS 54663 HAS SOPS 54663 HAS SOUS 28591 HAS SOUPS 28591 WITH SCORE 28645.663
AT ITER 861 NEW BEST:: SOT 153415 SOS 54683 HAS SOPS 54683 HAS SOUS 28576 HAS SOUPS 28576 WITH SCORE 28630.683
AT ITER 890 NEW BEST:: SOT 153413 SOS 54598 HAS SOPS 54598 HAS SOUS 28573 HAS SOUPS 28573 WITH SCORE 28627.598
AT ITER 891 NEW BEST:: SOT 153426 SOS 54486 HAS SOPS 54486 HAS SOUS 28538 HAS SOUPS 28538 WITH SCORE 28592.486
AT ITER 898 NEW BEST:: SOT 153394 SOS 54422 HAS SOPS 54422 HAS SOUS 28510 HAS SOUPS 28510 WITH SCORE 28564.422
AT ITER 903 NEW BEST:: SOT 153381 SOS 54409 HAS SOPS 54409 HAS SOUS 28497 HAS SOUPS 28497 WITH SCORE 28551.409
AT ITER 953 NEW BEST:: SOT 153335 SOS 54226 HAS SOPS 54226 HAS SOUS 28457 HAS SOUPS 28457 WITH SCORE 28511.226
AT ITER 996 NEW BEST:: SOT 153334 SOS 54224 HAS SOPS 54224 HAS SOUS 28455 HAS SOUPS 28455 WITH SCORE 28509.224
AT ITER 1000 NEW BEST:: SOT 153312 SOS 52048 HAS SOPS 52048 HAS SOUS 28403 HAS SOUPS 28403 WITH SCORE 28455.048
AT ITER 1040 NEW BEST:: SOT 153296 SOS 52016 HAS SOPS 52016 HAS SOUS 28387 HAS SOUPS 28387 WITH SCORE 28439.016
AT ITER 1049 NEW BEST:: SOT 153287 SOS 51922 HAS SOPS 51922 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28344.922
AT ITER 1068 NEW BEST:: SOT 153272 SOS 51909 HAS SOPS 51909 HAS SOUS 28221 HAS SOUPS 28221 WITH SCORE 28272.909
AT ITER 1071 NEW BEST:: SOT 153272 SOS 51890 HAS SOPS 51890 HAS SOUS 28183 HAS SOUPS 28183 WITH SCORE 28234.89
AT ITER 1074 NEW BEST:: SOT 153238 SOS 51822 HAS SOPS 51822 HAS SOUS 28108 HAS SOUPS 28108 WITH SCORE 28159.822
AT ITER 1079 NEW BEST:: SOT 153206 SOS 51758 HAS SOPS 51758 HAS SOUS 28091 HAS SOUPS 28091 WITH SCORE 28142.758
AT ITER 1090 NEW BEST:: SOT 153206 SOS 51758 HAS SOPS 51758 HAS SOUS 28079 HAS SOUPS 28079 WITH SCORE 28130.758
AT ITER 1092 NEW BEST:: SOT 153201 SOS 51748 HAS SOPS 51748 HAS SOUS 28074 HAS SOUPS 28074 WITH SCORE 28125.748
AT ITER 1098 NEW BEST:: SOT 153007 SOS 51716 HAS SOPS 51716 HAS SOUS 28015 HAS SOUPS 28015 WITH SCORE 28066.716
AT ITER 1100 NEW BEST:: SOT 152948 SOS 51638 HAS SOPS 51638 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 28006.638
AT ITER 1109 NEW BEST:: SOT 152970 SOS 51586 HAS SOPS 51586 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 28006.586
AT ITER 1111 NEW BEST:: SOT 152907 SOS 51523 HAS SOPS 51523 HAS SOUS 27872 HAS SOUPS 27872 WITH SCORE 27923.523
AT ITER 1125 NEW BEST:: SOT 152904 SOS 51535 HAS SOPS 51535 HAS SOUS 27855 HAS SOUPS 27855 WITH SCORE 27906.535
AT ITER 1164 NEW BEST:: SOT 152806 SOS 50920 HAS SOPS 50920 HAS SOUS 27716 HAS SOUPS 27716 WITH SCORE 27766.92
AT ITER 1188 NEW BEST:: SOT 152755 SOS 48829 HAS SOPS 48829 HAS SOUS 27614 HAS SOUPS 27614 WITH SCORE 27662.829
AT ITER 1189 NEW BEST:: SOT 152749 SOS 48817 HAS SOPS 48817 HAS SOUS 27602 HAS SOUPS 27602 WITH SCORE 27650.817
AT ITER 1190 NEW BEST:: SOT 152730 SOS 48779 HAS SOPS 48779 HAS SOUS 27602 HAS SOUPS 27602 WITH SCORE 27650.779
AT ITER 1204 NEW BEST:: SOT 152659 SOS 48637 HAS SOPS 48637 HAS SOUS 27532 HAS SOUPS 27532 WITH SCORE 27580.637
AT ITER 1217 NEW BEST:: SOT 152611 SOS 48541 HAS SOPS 48541 HAS SOUS 27486 HAS SOUPS 27486 WITH SCORE 27534.541
AT ITER 1219 NEW BEST:: SOT 152562 SOS 48443 HAS SOPS 48443 HAS SOUS 27334 HAS SOUPS 27334 WITH SCORE 27382.443
AT ITER 1235 NEW BEST:: SOT 152563 SOS 48445 HAS SOPS 48445 HAS SOUS 27310 HAS SOUPS 27310 WITH SCORE 27358.445
AT ITER 1241 NEW BEST:: SOT 152314 SOS 49732 HAS SOPS 49732 HAS SOUS 27133 HAS SOUPS 27133 WITH SCORE 27182.732
AT ITER 1266 NEW BEST:: SOT 152278 SOS 49660 HAS SOPS 49660 HAS SOUS 27130 HAS SOUPS 27130 WITH SCORE 27179.66
AT ITER 1267 NEW BEST:: SOT 152218 SOS 49540 HAS SOPS 49540 HAS SOUS 27035 HAS SOUPS 27035 WITH SCORE 27084.54
AT ITER 1281 NEW BEST:: SOT 152231 SOS 49566 HAS SOPS 49566 HAS SOUS 27025 HAS SOUPS 27025 WITH SCORE 27074.566
AT ITER 1282 NEW BEST:: SOT 152180 SOS 49468 HAS SOPS 49468 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27014.468
AT ITER 1292 NEW BEST:: SOT 152088 SOS 49284 HAS SOPS 49284 HAS SOUS 26907 HAS SOUPS 26907 WITH SCORE 26956.284
AT ITER 1318 NEW BEST:: SOT 152087 SOS 49285 HAS SOPS 49285 HAS SOUS 26906 HAS SOUPS 26906 WITH SCORE 26955.285
AT ITER 1360 NEW BEST:: SOT 152072 SOS 49303 HAS SOPS 49303 HAS SOUS 26870 HAS SOUPS 26870 WITH SCORE 26919.303
AT ITER 1373 NEW BEST:: SOT 152004 SOS 49224 HAS SOPS 49224 HAS SOUS 26848 HAS SOUPS 26848 WITH SCORE 26897.224
AT ITER 1377 NEW BEST:: SOT 151932 SOS 49176 HAS SOPS 49176 HAS SOUS 26794 HAS SOUPS 26794 WITH SCORE 26843.176
AT ITER 1381 NEW BEST:: SOT 151868 SOS 49080 HAS SOPS 49080 HAS SOUS 26666 HAS SOUPS 26666 WITH SCORE 26715.08
AT ITER 1385 NEW BEST:: SOT 151822 SOS 49146 HAS SOPS 49146 HAS SOUS 26625 HAS SOUPS 26625 WITH SCORE 26674.146
AT ITER 1387 NEW BEST:: SOT 151834 SOS 49170 HAS SOPS 49170 HAS SOUS 26580 HAS SOUPS 26580 WITH SCORE 26629.17
AT ITER 1388 NEW BEST:: SOT 151705 SOS 48868 HAS SOPS 48868 HAS SOUS 26366 HAS SOUPS 26366 WITH SCORE 26414.868
AT ITER 1397 NEW BEST:: SOT 151686 SOS 48830 HAS SOPS 48830 HAS SOUS 26328 HAS SOUPS 26328 WITH SCORE 26376.83
AT ITER 1406 NEW BEST:: SOT 151626 SOS 48717 HAS SOPS 48717 HAS SOUS 26314 HAS SOUPS 26314 WITH SCORE 26362.717
AT ITER 1420 NEW BEST:: SOT 151660 SOS 48746 HAS SOPS 48746 HAS SOUS 26304 HAS SOUPS 26304 WITH SCORE 26352.746
AT ITER 1422 NEW BEST:: SOT 151640 SOS 48776 HAS SOPS 48776 HAS SOUS 26299 HAS SOUPS 26299 WITH SCORE 26347.776
AT ITER 1434 NEW BEST:: SOT 151632 SOS 48764 HAS SOPS 48764 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26343.764
AT ITER 1446 NEW BEST:: SOT 151712 SOS 48756 HAS SOPS 48756 HAS SOUS 26227 HAS SOUPS 26227 WITH SCORE 26275.756
AT ITER 1448 NEW BEST:: SOT 151677 SOS 48686 HAS SOPS 48686 HAS SOUS 26221 HAS SOUPS 26221 WITH SCORE 26269.686
AT ITER 1467 NEW BEST:: SOT 151571 SOS 48561 HAS SOPS 48561 HAS SOUS 26202 HAS SOUPS 26202 WITH SCORE 26250.561
AT ITER 1471 NEW BEST:: SOT 151571 SOS 48561 HAS SOPS 48561 HAS SOUS 26201 HAS SOUPS 26201 WITH SCORE 26249.561
AT ITER 1534 NEW BEST:: SOT 151561 SOS 48551 HAS SOPS 48551 HAS SOUS 26195 HAS SOUPS 26195 WITH SCORE 26243.551
AT ITER 1547 NEW BEST:: SOT 151507 SOS 48467 HAS SOPS 48467 HAS SOUS 26148 HAS SOUPS 26148 WITH SCORE 26196.467
AT ITER 1552 NEW BEST:: SOT 151507 SOS 48456 HAS SOPS 48456 HAS SOUS 26126 HAS SOUPS 26126 WITH SCORE 26174.456
AT ITER 1557 NEW BEST:: SOT 151455 SOS 48351 HAS SOPS 48351 HAS SOUS 25967 HAS SOUPS 25967 WITH SCORE 26015.351
AT ITER 1571 NEW BEST:: SOT 151374 SOS 48270 HAS SOPS 48270 HAS SOUS 25886 HAS SOUPS 25886 WITH SCORE 25934.27
AT ITER 1572 NEW BEST:: SOT 151375 SOS 48256 HAS SOPS 48256 HAS SOUS 25872 HAS SOUPS 25872 WITH SCORE 25920.256
AT ITER 1639 NEW BEST:: SOT 151371 SOS 48159 HAS SOPS 48159 HAS SOUS 25868 HAS SOUPS 25868 WITH SCORE 25916.159
AT ITER 1661 NEW BEST:: SOT 151346 SOS 48070 HAS SOPS 48070 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25893.07
AT ITER 1664 NEW BEST:: SOT 151275 SOS 47964 HAS SOPS 47964 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25807.964
AT ITER 1668 NEW BEST:: SOT 151245 SOS 47904 HAS SOPS 47904 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25807.904
AT ITER 1672 NEW BEST:: SOT 151178 SOS 47770 HAS SOPS 47770 HAS SOUS 25626 HAS SOUPS 25626 WITH SCORE 25673.77
AT ITER 1682 NEW BEST:: SOT 151168 SOS 47770 HAS SOPS 47770 HAS SOUS 25621 HAS SOUPS 25621 WITH SCORE 25668.77
AT ITER 1696 NEW BEST:: SOT 151169 SOS 47772 HAS SOPS 47772 HAS SOUS 25619 HAS SOUPS 25619 WITH SCORE 25666.772
AT ITER 1734 NEW BEST:: SOT 151169 SOS 47772 HAS SOPS 47772 HAS SOUS 25604 HAS SOUPS 25604 WITH SCORE 25651.772
AT ITER 1742 NEW BEST:: SOT 151139 SOS 46525 HAS SOPS 46525 HAS SOUS 25574 HAS SOUPS 25574 WITH SCORE 25620.525
AT ITER 1753 NEW BEST:: SOT 151128 SOS 46503 HAS SOPS 46503 HAS SOUS 25563 HAS SOUPS 25563 WITH SCORE 25609.503
AT ITER 1772 NEW BEST:: SOT 151122 SOS 46494 HAS SOPS 46494 HAS SOUS 25555 HAS SOUPS 25555 WITH SCORE 25601.494
AT ITER 1781 NEW BEST:: SOT 151091 SOS 46525 HAS SOPS 46525 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25570.525
AT ITER 1794 NEW BEST:: SOT 151071 SOS 46485 HAS SOPS 46485 HAS SOUS 25484 HAS SOUPS 25484 WITH SCORE 25530.485
AT ITER 1814 NEW BEST:: SOT 151081 SOS 46495 HAS SOPS 46495 HAS SOUS 25471 HAS SOUPS 25471 WITH SCORE 25517.495
AT ITER 1828 NEW BEST:: SOT 151081 SOS 46508 HAS SOPS 46508 HAS SOUS 25445 HAS SOUPS 25445 WITH SCORE 25491.508
AT ITER 1854 NEW BEST:: SOT 151072 SOS 46490 HAS SOPS 46490 HAS SOUS 25445 HAS SOUPS 25445 WITH SCORE 25491.49
AT ITER 1889 NEW BEST:: SOT 151032 SOS 46410 HAS SOPS 46410 HAS SOUS 25406 HAS SOUPS 25406 WITH SCORE 25452.41
AT ITER 1893 NEW BEST:: SOT 151029 SOS 46404 HAS SOPS 46404 HAS SOUS 25386 HAS SOUPS 25386 WITH SCORE 25432.404
AT ITER 1894 NEW BEST:: SOT 150987 SOS 46341 HAS SOPS 46341 HAS SOUS 25344 HAS SOUPS 25344 WITH SCORE 25390.341
AT ITER 1905 NEW BEST:: SOT 150976 SOS 44168 HAS SOPS 44168 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25317.168
AT ITER 1927 NEW BEST:: SOT 150976 SOS 44153 HAS SOPS 44153 HAS SOUS 25268 HAS SOUPS 25268 WITH SCORE 25312.153
AT ITER 1939 NEW BEST:: SOT 150976 SOS 44157 HAS SOPS 44157 HAS SOUS 25264 HAS SOUPS 25264 WITH SCORE 25308.157
AT ITER 1961 NEW BEST:: SOT 150990 SOS 44214 HAS SOPS 44214 HAS SOUS 25263 HAS SOUPS 25263 WITH SCORE 25307.214
AT ITER 1974 NEW BEST:: SOT 150967 SOS 44222 HAS SOPS 44222 HAS SOUS 25261 HAS SOUPS 25261 WITH SCORE 25305.222
AT ITER 1982 NEW BEST:: SOT 150967 SOS 44217 HAS SOPS 44217 HAS SOUS 25261 HAS SOUPS 25261 WITH SCORE 25305.217
AT ITER 1987 NEW BEST:: SOT 150967 SOS 44217 HAS SOPS 44217 HAS SOUS 25257 HAS SOUPS 25257 WITH SCORE 25301.217
AT ITER 2008 NEW BEST:: SOT 150909 SOS 44138 HAS SOPS 44138 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25222.138
AT ITER 2020 NEW BEST:: SOT 150887 SOS 44144 HAS SOPS 44144 HAS SOUS 25139 HAS SOUPS 25139 WITH SCORE 25183.144
AT ITER 2030 NEW BEST:: SOT 150898 SOS 44140 HAS SOPS 44140 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25123.14
AT ITER 2083 NEW BEST:: SOT 150890 SOS 44105 HAS SOPS 44105 HAS SOUS 25063 HAS SOUPS 25063 WITH SCORE 25107.105
AT ITER 2097 NEW BEST:: SOT 150884 SOS 44093 HAS SOPS 44093 HAS SOUS 25051 HAS SOUPS 25051 WITH SCORE 25095.093
AT ITER 2124 NEW BEST:: SOT 150882 SOS 44089 HAS SOPS 44089 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25092.089
AT ITER 2150 NEW BEST:: SOT 150870 SOS 44073 HAS SOPS 44073 HAS SOUS 25036 HAS SOUPS 25036 WITH SCORE 25080.073
AT ITER 2168 NEW BEST:: SOT 150870 SOS 44057 HAS SOPS 44057 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25067.057
AT ITER 2173 NEW BEST:: SOT 150869 SOS 44018 HAS SOPS 44018 HAS SOUS 24984 HAS SOUPS 24984 WITH SCORE 25028.018
AT ITER 2179 NEW BEST:: SOT 150843 SOS 43966 HAS SOPS 43966 HAS SOUS 24981 HAS SOUPS 24981 WITH SCORE 25024.966
AT ITER 2188 NEW BEST:: SOT 150831 SOS 43942 HAS SOPS 43942 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 25012.942
AT ITER 2224 NEW BEST:: SOT 150748 SOS 44082 HAS SOPS 44082 HAS SOUS 24949 HAS SOUPS 24949 WITH SCORE 24993.082
AT ITER 2242 NEW BEST:: SOT 150718 SOS 44049 HAS SOPS 44049 HAS SOUS 24943 HAS SOUPS 24943 WITH SCORE 24987.049
AT ITER 2292 NEW BEST:: SOT 150642 SOS 43907 HAS SOPS 43907 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24977.907
AT ITER 2307 NEW BEST:: SOT 150556 SOS 43711 HAS SOPS 43711 HAS SOUS 24908 HAS SOUPS 24908 WITH SCORE 24951.711
AT ITER 2337 NEW BEST:: SOT 150545 SOS 43700 HAS SOPS 43700 HAS SOUS 24886 HAS SOUPS 24886 WITH SCORE 24929.7
AT ITER 2378 NEW BEST:: SOT 150531 SOS 43619 HAS SOPS 43619 HAS SOUS 24858 HAS SOUPS 24858 WITH SCORE 24901.619
AT ITER 2383 NEW BEST:: SOT 150573 SOS 43638 HAS SOPS 43638 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24878.638
AT ITER 2386 NEW BEST:: SOT 150571 SOS 43634 HAS SOPS 43634 HAS SOUS 24831 HAS SOUPS 24831 WITH SCORE 24874.634
AT ITER 2417 NEW BEST:: SOT 150520 SOS 43532 HAS SOPS 43532 HAS SOUS 24729 HAS SOUPS 24729 WITH SCORE 24772.532
AT ITER 2428 NEW BEST:: SOT 150426 SOS 43418 HAS SOPS 43418 HAS SOUS 24635 HAS SOUPS 24635 WITH SCORE 24678.418
AT ITER 2432 NEW BEST:: SOT 150427 SOS 43420 HAS SOPS 43420 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24653.42
AT ITER 2435 NEW BEST:: SOT 150411 SOS 43388 HAS SOPS 43388 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 24619.388
AT ITER 2448 NEW BEST:: SOT 150345 SOS 43256 HAS SOPS 43256 HAS SOUS 24570 HAS SOUPS 24570 WITH SCORE 24613.256
AT ITER 2454 NEW BEST:: SOT 150344 SOS 43254 HAS SOPS 43254 HAS SOUS 24568 HAS SOUPS 24568 WITH SCORE 24611.254
AT ITER 2462 NEW BEST:: SOT 150344 SOS 43250 HAS SOPS 43250 HAS SOUS 24564 HAS SOUPS 24564 WITH SCORE 24607.25
AT ITER 2463 NEW BEST:: SOT 150313 SOS 43281 HAS SOPS 43281 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24595.281
AT ITER 2469 NEW BEST:: SOT 150315 SOS 43270 HAS SOPS 43270 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24595.27
AT ITER 2473 NEW BEST:: SOT 150306 SOS 43252 HAS SOPS 43252 HAS SOUS 24544 HAS SOUPS 24544 WITH SCORE 24587.252
AT ITER 2474 NEW BEST:: SOT 150338 SOS 43311 HAS SOPS 43311 HAS SOUS 24538 HAS SOUPS 24538 WITH SCORE 24581.311
AT ITER 2475 NEW BEST:: SOT 150263 SOS 43161 HAS SOPS 43161 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24506.161
AT ITER 2480 NEW BEST:: SOT 150241 SOS 43161 HAS SOPS 43161 HAS SOUS 24441 HAS SOUPS 24441 WITH SCORE 24484.161
AT ITER 2492 NEW BEST:: SOT 150225 SOS 43145 HAS SOPS 43145 HAS SOUS 24441 HAS SOUPS 24441 WITH SCORE 24484.145
AT ITER 2495 NEW BEST:: SOT 150211 SOS 43124 HAS SOPS 43124 HAS SOUS 24427 HAS SOUPS 24427 WITH SCORE 24470.124
AT ITER 2526 NEW BEST:: SOT 150176 SOS 43054 HAS SOPS 43054 HAS SOUS 24426 HAS SOUPS 24426 WITH SCORE 24469.054
AT ITER 2544 NEW BEST:: SOT 150188 SOS 43045 HAS SOPS 43045 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24421.045
AT ITER 2558 NEW BEST:: SOT 150148 SOS 43270 HAS SOPS 43270 HAS SOUS 24359 HAS SOUPS 24359 WITH SCORE 24402.27
AT ITER 2580 NEW BEST:: SOT 150136 SOS 43246 HAS SOPS 43246 HAS SOUS 24354 HAS SOUPS 24354 WITH SCORE 24397.246
AT ITER 2581 NEW BEST:: SOT 150131 SOS 43221 HAS SOPS 43221 HAS SOUS 24350 HAS SOUPS 24350 WITH SCORE 24393.221
AT ITER 2595 NEW BEST:: SOT 150103 SOS 43212 HAS SOPS 43212 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24384.212
AT ITER 2602 NEW BEST:: SOT 150103 SOS 43212 HAS SOPS 43212 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24380.212
AT ITER 2616 NEW BEST:: SOT 150107 SOS 43213 HAS SOPS 43213 HAS SOUS 24334 HAS SOUPS 24334 WITH SCORE 24377.213
AT ITER 2623 NEW BEST:: SOT 150159 SOS 43250 HAS SOPS 43250 HAS SOUS 24294 HAS SOUPS 24294 WITH SCORE 24337.25
AT ITER 2639 NEW BEST:: SOT 150159 SOS 43250 HAS SOPS 43250 HAS SOUS 24289 HAS SOUPS 24289 WITH SCORE 24332.25
AT ITER 2660 NEW BEST:: SOT 150163 SOS 43258 HAS SOPS 43258 HAS SOUS 24272 HAS SOUPS 24272 WITH SCORE 24315.258
AT ITER 2666 NEW BEST:: SOT 150163 SOS 43252 HAS SOPS 43252 HAS SOUS 24272 HAS SOUPS 24272 WITH SCORE 24315.252
AT ITER 2676 NEW BEST:: SOT 150159 SOS 43287 HAS SOPS 43287 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24284.287
AT ITER 2699 NEW BEST:: SOT 150152 SOS 43273 HAS SOPS 43273 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24277.273
AT ITER 2702 NEW BEST:: SOT 150146 SOS 43264 HAS SOPS 43264 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24271.264
AT ITER 2715 NEW BEST:: SOT 150141 SOS 43261 HAS SOPS 43261 HAS SOUS 24218 HAS SOUPS 24218 WITH SCORE 24261.261
AT ITER 2748 NEW BEST:: SOT 150167 SOS 43245 HAS SOPS 43245 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24219.245
AT ITER 2754 NEW BEST:: SOT 150194 SOS 43235 HAS SOPS 43235 HAS SOUS 24157 HAS SOUPS 24157 WITH SCORE 24200.235
AT ITER 2764 NEW BEST:: SOT 150114 SOS 43141 HAS SOPS 43141 HAS SOUS 24053 HAS SOUPS 24053 WITH SCORE 24096.141
AT ITER 2817 NEW BEST:: SOT 150116 SOS 43209 HAS SOPS 43209 HAS SOUS 24019 HAS SOUPS 24019 WITH SCORE 24062.209
AT ITER 2827 NEW BEST:: SOT 150116 SOS 43197 HAS SOPS 43197 HAS SOUS 24007 HAS SOUPS 24007 WITH SCORE 24050.197
AT ITER 2835 NEW BEST:: SOT 150105 SOS 43153 HAS SOPS 43153 HAS SOUS 24004 HAS SOUPS 24004 WITH SCORE 24047.153
AT ITER 2839 NEW BEST:: SOT 149988 SOS 42919 HAS SOPS 42919 HAS SOUS 23887 HAS SOUPS 23887 WITH SCORE 23929.919
AT ITER 2846 NEW BEST:: SOT 149982 SOS 42913 HAS SOPS 42913 HAS SOUS 23887 HAS SOUPS 23887 WITH SCORE 23929.913
AT ITER 2862 NEW BEST:: SOT 150036 SOS 42913 HAS SOPS 42913 HAS SOUS 23833 HAS SOUPS 23833 WITH SCORE 23875.913
AT ITER 2873 NEW BEST:: SOT 150034 SOS 42909 HAS SOPS 42909 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23870.909
AT ITER 2874 NEW BEST:: SOT 150038 SOS 42917 HAS SOPS 42917 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23796.917
AT ITER 2887 NEW BEST:: SOT 150025 SOS 42891 HAS SOPS 42891 HAS SOUS 23740 HAS SOUPS 23740 WITH SCORE 23782.891
AT ITER 2920 NEW BEST:: SOT 149977 SOS 42851 HAS SOPS 42851 HAS SOUS 23692 HAS SOUPS 23692 WITH SCORE 23734.851
AT ITER 2928 NEW BEST:: SOT 149945 SOS 42889 HAS SOPS 42889 HAS SOUS 23678 HAS SOUPS 23678 WITH SCORE 23720.889
AT ITER 2941 NEW BEST:: SOT 149905 SOS 42839 HAS SOPS 42839 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23700.839
AT ITER 2951 NEW BEST:: SOT 149905 SOS 42839 HAS SOPS 42839 HAS SOUS 23654 HAS SOUPS 23654 WITH SCORE 23696.839
AT ITER 2960 NEW BEST:: SOT 149894 SOS 42802 HAS SOPS 42802 HAS SOUS 23643 HAS SOUPS 23643 WITH SCORE 23685.802
AT ITER 2980 NEW BEST:: SOT 149785 SOS 42693 HAS SOPS 42693 HAS SOUS 23425 HAS SOUPS 23425 WITH SCORE 23467.693
AT ITER 2991 NEW BEST:: SOT 149767 SOS 42657 HAS SOPS 42657 HAS SOUS 23389 HAS SOUPS 23389 WITH SCORE 23431.657
AT ITER 3006 NEW BEST:: SOT 149751 SOS 42625 HAS SOPS 42625 HAS SOUS 23381 HAS SOUPS 23381 WITH SCORE 23423.625
AT ITER 3012 NEW BEST:: SOT 149727 SOS 42637 HAS SOPS 42637 HAS SOUS 23369 HAS SOUPS 23369 WITH SCORE 23411.637
AT ITER 3021 NEW BEST:: SOT 149697 SOS 42577 HAS SOPS 42577 HAS SOUS 23309 HAS SOUPS 23309 WITH SCORE 23351.577
AT ITER 3037 NEW BEST:: SOT 149697 SOS 42577 HAS SOPS 42577 HAS SOUS 23304 HAS SOUPS 23304 WITH SCORE 23346.577
AT ITER 3057 NEW BEST:: SOT 149648 SOS 42486 HAS SOPS 42486 HAS SOUS 23297 HAS SOUPS 23297 WITH SCORE 23339.486
AT ITER 3091 NEW BEST:: SOT 149608 SOS 42421 HAS SOPS 42421 HAS SOUS 23281 HAS SOUPS 23281 WITH SCORE 23323.421
AT ITER 3127 NEW BEST:: SOT 149604 SOS 42439 HAS SOPS 42439 HAS SOUS 23247 HAS SOUPS 23247 WITH SCORE 23289.439
AT ITER 3128 NEW BEST:: SOT 149604 SOS 42435 HAS SOPS 42435 HAS SOUS 23239 HAS SOUPS 23239 WITH SCORE 23281.435
AT ITER 3133 NEW BEST:: SOT 149595 SOS 42425 HAS SOPS 42425 HAS SOUS 23229 HAS SOUPS 23229 WITH SCORE 23271.425
AT ITER 3135 NEW BEST:: SOT 149566 SOS 42367 HAS SOPS 42367 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23257.367
AT ITER 3143 NEW BEST:: SOT 149563 SOS 42364 HAS SOPS 42364 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23257.364
AT ITER 3172 NEW BEST:: SOT 149579 SOS 42353 HAS SOPS 42353 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23243.353
AT ITER 3173 NEW BEST:: SOT 149565 SOS 42339 HAS SOPS 42339 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23243.339
AT ITER 3193 NEW BEST:: SOT 149540 SOS 42289 HAS SOPS 42289 HAS SOUS 23197 HAS SOUPS 23197 WITH SCORE 23239.289
AT ITER 3223 NEW BEST:: SOT 149564 SOS 42301 HAS SOPS 42301 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23179.301
AT ITER 3225 NEW BEST:: SOT 149530 SOS 42478 HAS SOPS 42478 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23111.478
AT ITER 3250 NEW BEST:: SOT 149514 SOS 42346 HAS SOPS 42346 HAS SOUS 23047 HAS SOUPS 23047 WITH SCORE 23089.346
AT ITER 3251 NEW BEST:: SOT 149514 SOS 42348 HAS SOPS 42348 HAS SOUS 23046 HAS SOUPS 23046 WITH SCORE 23088.348
AT ITER 3258 NEW BEST:: SOT 149479 SOS 42307 HAS SOPS 42307 HAS SOUS 23014 HAS SOUPS 23014 WITH SCORE 23056.307
AT ITER 3262 NEW BEST:: SOT 149479 SOS 42297 HAS SOPS 42297 HAS SOUS 23004 HAS SOUPS 23004 WITH SCORE 23046.297
AT ITER 3268 NEW BEST:: SOT 149523 SOS 42341 HAS SOPS 42341 HAS SOUS 22984 HAS SOUPS 22984 WITH SCORE 23026.341
AT ITER 3279 NEW BEST:: SOT 149472 SOS 42290 HAS SOPS 42290 HAS SOUS 22984 HAS SOUPS 22984 WITH SCORE 23026.29
AT ITER 3290 NEW BEST:: SOT 149450 SOS 42246 HAS SOPS 42246 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22982.246
AT ITER 3338 NEW BEST:: SOT 149450 SOS 42243 HAS SOPS 42243 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22982.243
AT ITER 3346 NEW BEST:: SOT 149450 SOS 42243 HAS SOPS 42243 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22976.243
AT ITER 3361 NEW BEST:: SOT 149443 SOS 42229 HAS SOPS 42229 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22976.229
AT ITER 3368 NEW BEST:: SOT 149367 SOS 42143 HAS SOPS 42143 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22958.143
AT ITER 3384 NEW BEST:: SOT 149382 SOS 42158 HAS SOPS 42158 HAS SOUS 22901 HAS SOUPS 22901 WITH SCORE 22943.158
AT ITER 3416 NEW BEST:: SOT 149364 SOS 42109 HAS SOPS 42109 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22916.109
AT ITER 3417 NEW BEST:: SOT 149339 SOS 42059 HAS SOPS 42059 HAS SOUS 22839 HAS SOUPS 22839 WITH SCORE 22881.059
AT ITER 3433 NEW BEST:: SOT 149315 SOS 41983 HAS SOPS 41983 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22860.983
AT ITER 3462 NEW BEST:: SOT 149303 SOS 41977 HAS SOPS 41977 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22860.977
AT ITER 3502 NEW BEST:: SOT 149316 SOS 41975 HAS SOPS 41975 HAS SOUS 22789 HAS SOUPS 22789 WITH SCORE 22830.975
AT ITER 3507 NEW BEST:: SOT 149280 SOS 41934 HAS SOPS 41934 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22825.934
AT ITER 3509 NEW BEST:: SOT 149285 SOS 41918 HAS SOPS 41918 HAS SOUS 22742 HAS SOUPS 22742 WITH SCORE 22783.918
AT ITER 3510 NEW BEST:: SOT 149285 SOS 41894 HAS SOPS 41894 HAS SOUS 22730 HAS SOUPS 22730 WITH SCORE 22771.894
AT ITER 3530 NEW BEST:: SOT 149285 SOS 41894 HAS SOPS 41894 HAS SOUS 22724 HAS SOUPS 22724 WITH SCORE 22765.894
AT ITER 3540 NEW BEST:: SOT 149285 SOS 41894 HAS SOPS 41894 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22717.894
AT ITER 3563 NEW BEST:: SOT 149285 SOS 41894 HAS SOPS 41894 HAS SOUS 22668 HAS SOUPS 22668 WITH SCORE 22709.894
AT ITER 3592 NEW BEST:: SOT 149331 SOS 41890 HAS SOPS 41890 HAS SOUS 22663 HAS SOUPS 22663 WITH SCORE 22704.89
AT ITER 3594 NEW BEST:: SOT 149345 SOS 41918 HAS SOPS 41918 HAS SOUS 22643 HAS SOUPS 22643 WITH SCORE 22684.918
AT ITER 3597 NEW BEST:: SOT 149345 SOS 41842 HAS SOPS 41842 HAS SOUS 22643 HAS SOUPS 22643 WITH SCORE 22684.842
AT ITER 3624 NEW BEST:: SOT 149340 SOS 41832 HAS SOPS 41832 HAS SOUS 22635 HAS SOUPS 22635 WITH SCORE 22676.832
AT ITER 3638 NEW BEST:: SOT 149339 SOS 41847 HAS SOPS 41847 HAS SOUS 22633 HAS SOUPS 22633 WITH SCORE 22674.847
AT ITER 3642 NEW BEST:: SOT 149339 SOS 41847 HAS SOPS 41847 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22659.847
AT ITER 3662 NEW BEST:: SOT 149319 SOS 41807 HAS SOPS 41807 HAS SOUS 22580 HAS SOUPS 22580 WITH SCORE 22621.807
AT ITER 3687 NEW BEST:: SOT 149312 SOS 41827 HAS SOPS 41827 HAS SOUS 22566 HAS SOUPS 22566 WITH SCORE 22607.827
AT ITER 3719 NEW BEST:: SOT 149312 SOS 41825 HAS SOPS 41825 HAS SOUS 22564 HAS SOUPS 22564 WITH SCORE 22605.825
AT ITER 3734 NEW BEST:: SOT 149308 SOS 41795 HAS SOPS 41795 HAS SOUS 22542 HAS SOUPS 22542 WITH SCORE 22583.795
AT ITER 3755 NEW BEST:: SOT 149283 SOS 41770 HAS SOPS 41770 HAS SOUS 22542 HAS SOUPS 22542 WITH SCORE 22583.77
AT ITER 3766 NEW BEST:: SOT 149257 SOS 41744 HAS SOPS 41744 HAS SOUS 22542 HAS SOUPS 22542 WITH SCORE 22583.744
AT ITER 3790 NEW BEST:: SOT 149257 SOS 41734 HAS SOPS 41734 HAS SOUS 22527 HAS SOUPS 22527 WITH SCORE 22568.734
AT ITER 3835 NEW BEST:: SOT 149244 SOS 41721 HAS SOPS 41721 HAS SOUS 22514 HAS SOUPS 22514 WITH SCORE 22555.721
AT ITER 3869 NEW BEST:: SOT 149233 SOS 41699 HAS SOPS 41699 HAS SOUS 22503 HAS SOUPS 22503 WITH SCORE 22544.699
AT ITER 3872 NEW BEST:: SOT 149217 SOS 41667 HAS SOPS 41667 HAS SOUS 22471 HAS SOUPS 22471 WITH SCORE 22512.667
AT ITER 3895 NEW BEST:: SOT 149193 SOS 41643 HAS SOPS 41643 HAS SOUS 22452 HAS SOUPS 22452 WITH SCORE 22493.643
AT ITER 3931 NEW BEST:: SOT 149192 SOS 41684 HAS SOPS 41684 HAS SOUS 22450 HAS SOUPS 22450 WITH SCORE 22491.684
AT ITER 3935 NEW BEST:: SOT 149196 SOS 41685 HAS SOPS 41685 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22488.685
AT ITER 3938 NEW BEST:: SOT 149220 SOS 41733 HAS SOPS 41733 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22478.733
AT ITER 3943 NEW BEST:: SOT 149198 SOS 41702 HAS SOPS 41702 HAS SOUS 22414 HAS SOUPS 22414 WITH SCORE 22455.702
AT ITER 3950 NEW BEST:: SOT 149197 SOS 41700 HAS SOPS 41700 HAS SOUS 22412 HAS SOUPS 22412 WITH SCORE 22453.7
AT ITER 3962 NEW BEST:: SOT 149212 SOS 41692 HAS SOPS 41692 HAS SOUS 22389 HAS SOUPS 22389 WITH SCORE 22430.692
AT ITER 4019 NEW BEST:: SOT 149247 SOS 41727 HAS SOPS 41727 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22426.727
AT ITER 4022 NEW BEST:: SOT 149195 SOS 41623 HAS SOPS 41623 HAS SOUS 22281 HAS SOUPS 22281 WITH SCORE 22322.623
AT ITER 4072 NEW BEST:: SOT 149131 SOS 40868 HAS SOPS 40868 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22206.868
AT ITER 4075 NEW BEST:: SOT 149109 SOS 40824 HAS SOPS 40824 HAS SOUS 22144 HAS SOUPS 22144 WITH SCORE 22184.824
AT ITER 4082 NEW BEST:: SOT 149029 SOS 40664 HAS SOPS 40664 HAS SOUS 22138 HAS SOUPS 22138 WITH SCORE 22178.664
AT ITER 4085 NEW BEST:: SOT 149052 SOS 40440 HAS SOPS 40440 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22110.44
AT ITER 4115 NEW BEST:: SOT 149046 SOS 40428 HAS SOPS 40428 HAS SOUS 22058 HAS SOUPS 22058 WITH SCORE 22098.428
AT ITER 4173 NEW BEST:: SOT 149060 SOS 40404 HAS SOPS 40404 HAS SOUS 22036 HAS SOUPS 22036 WITH SCORE 22076.404
AT ITER 4182 NEW BEST:: SOT 149014 SOS 40312 HAS SOPS 40312 HAS SOUS 21990 HAS SOUPS 21990 WITH SCORE 22030.312
AT ITER 4193 NEW BEST:: SOT 148998 SOS 40469 HAS SOPS 40469 HAS SOUS 21989 HAS SOUPS 21989 WITH SCORE 22029.469
AT ITER 4209 NEW BEST:: SOT 148995 SOS 40463 HAS SOPS 40463 HAS SOUS 21986 HAS SOUPS 21986 WITH SCORE 22026.463
AT ITER 4213 NEW BEST:: SOT 148903 SOS 41611 HAS SOPS 41611 HAS SOUS 21947 HAS SOUPS 21947 WITH SCORE 21988.611
AT ITER 4217 NEW BEST:: SOT 148892 SOS 41532 HAS SOPS 41532 HAS SOUS 21936 HAS SOUPS 21936 WITH SCORE 21977.532
AT ITER 4226 NEW BEST:: SOT 148881 SOS 41510 HAS SOPS 41510 HAS SOUS 21912 HAS SOUPS 21912 WITH SCORE 21953.51
AT ITER 4251 NEW BEST:: SOT 148837 SOS 41422 HAS SOPS 41422 HAS SOUS 21824 HAS SOUPS 21824 WITH SCORE 21865.422
AT ITER 4256 NEW BEST:: SOT 148837 SOS 41422 HAS SOPS 41422 HAS SOUS 21792 HAS SOUPS 21792 WITH SCORE 21833.422
AT ITER 4263 NEW BEST:: SOT 148837 SOS 41422 HAS SOPS 41422 HAS SOUS 21788 HAS SOUPS 21788 WITH SCORE 21829.422
AT ITER 4289 NEW BEST:: SOT 148837 SOS 41415 HAS SOPS 41415 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21822.415
AT ITER 4328 NEW BEST:: SOT 148834 SOS 41412 HAS SOPS 41412 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21822.412
AT ITER 4331 NEW BEST:: SOT 148810 SOS 41433 HAS SOPS 41433 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21804.433
AT ITER 4334 NEW BEST:: SOT 148759 SOS 41368 HAS SOPS 41368 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21773.368
AT ITER 4357 NEW BEST:: SOT 148768 SOS 41386 HAS SOPS 41386 HAS SOUS 21724 HAS SOUPS 21724 WITH SCORE 21765.386
AT ITER 4377 NEW BEST:: SOT 148686 SOS 41271 HAS SOPS 41271 HAS SOUS 21601 HAS SOUPS 21601 WITH SCORE 21642.271
AT ITER 4464 NEW BEST:: SOT 148682 SOS 41263 HAS SOPS 41263 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21634.263
AT ITER 4479 NEW BEST:: SOT 148643 SOS 41126 HAS SOPS 41126 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21599.126
AT ITER 4482 NEW BEST:: SOT 148627 SOS 41094 HAS SOPS 41094 HAS SOUS 21532 HAS SOUPS 21532 WITH SCORE 21573.094
AT ITER 4509 NEW BEST:: SOT 148615 SOS 41090 HAS SOPS 41090 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21569.09
AT ITER 4513 NEW BEST:: SOT 148642 SOS 41027 HAS SOPS 41027 HAS SOUS 21521 HAS SOUPS 21521 WITH SCORE 21562.027
AT ITER 4514 NEW BEST:: SOT 148600 SOS 40985 HAS SOPS 40985 HAS SOUS 21500 HAS SOUPS 21500 WITH SCORE 21540.985
AT ITER 4586 NEW BEST:: SOT 148599 SOS 40983 HAS SOPS 40983 HAS SOUS 21499 HAS SOUPS 21499 WITH SCORE 21539.983
AT ITER 4602 NEW BEST:: SOT 148568 SOS 40952 HAS SOPS 40952 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21504.952
AT ITER 4644 NEW BEST:: SOT 148562 SOS 40946 HAS SOPS 40946 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21502.946
AT ITER 4648 NEW BEST:: SOT 148561 SOS 40944 HAS SOPS 40944 HAS SOUS 21460 HAS SOUPS 21460 WITH SCORE 21500.944
AT ITER 4670 NEW BEST:: SOT 148561 SOS 40944 HAS SOPS 40944 HAS SOUS 21443 HAS SOUPS 21443 WITH SCORE 21483.944
AT ITER 4693 NEW BEST:: SOT 148557 SOS 40936 HAS SOPS 40936 HAS SOUS 21435 HAS SOUPS 21435 WITH SCORE 21475.936
AT ITER 4694 NEW BEST:: SOT 148598 SOS 40928 HAS SOPS 40928 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21464.928
AT ITER 4697 NEW BEST:: SOT 148554 SOS 40840 HAS SOPS 40840 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21464.84
AT ITER 4716 NEW BEST:: SOT 148549 SOS 40840 HAS SOPS 40840 HAS SOUS 21414 HAS SOUPS 21414 WITH SCORE 21454.84
AT ITER 4746 NEW BEST:: SOT 148540 SOS 40804 HAS SOPS 40804 HAS SOUS 21405 HAS SOUPS 21405 WITH SCORE 21445.804
AT ITER 4765 NEW BEST:: SOT 148540 SOS 40804 HAS SOPS 40804 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21437.804
AT ITER 4794 NEW BEST:: SOT 148443 SOS 40672 HAS SOPS 40672 HAS SOUS 21312 HAS SOUPS 21312 WITH SCORE 21352.672
AT ITER 4804 NEW BEST:: SOT 148391 SOS 40568 HAS SOPS 40568 HAS SOUS 21260 HAS SOUPS 21260 WITH SCORE 21300.568
AT ITER 4839 NEW BEST:: SOT 148390 SOS 40613 HAS SOPS 40613 HAS SOUS 21222 HAS SOUPS 21222 WITH SCORE 21262.613
AT ITER 4900 NEW BEST:: SOT 148386 SOS 40605 HAS SOPS 40605 HAS SOUS 21214 HAS SOUPS 21214 WITH SCORE 21254.605
AT ITER 4930 NEW BEST:: SOT 148373 SOS 40635 HAS SOPS 40635 HAS SOUS 21213 HAS SOUPS 21213 WITH SCORE 21253.635
AT ITER 4934 NEW BEST:: SOT 148355 SOS 40599 HAS SOPS 40599 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21235.599
AT ITER 4963 NEW BEST:: SOT 148348 SOS 40627 HAS SOPS 40627 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21228.627
AT ITER 4985 NEW BEST:: SOT 148454 SOS 40727 HAS SOPS 40727 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21222.727
AT ITER 5000 NEW BEST:: SOT 148454 SOS 40730 HAS SOPS 40730 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21219.73
AT ITER 5008 NEW BEST:: SOT 148454 SOS 40676 HAS SOPS 40676 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21219.676
AT ITER 5015 NEW BEST:: SOT 148345 SOS 40458 HAS SOPS 40458 HAS SOUS 21022 HAS SOUPS 21022 WITH SCORE 21062.458
AT ITER 5025 NEW BEST:: SOT 148333 SOS 40434 HAS SOPS 40434 HAS SOUS 21004 HAS SOUPS 21004 WITH SCORE 21044.434
AT ITER 5081 NEW BEST:: SOT 148325 SOS 40422 HAS SOPS 40422 HAS SOUS 21000 HAS SOUPS 21000 WITH SCORE 21040.422
AT ITER 5129 NEW BEST:: SOT 148325 SOS 40422 HAS SOPS 40422 HAS SOUS 20999 HAS SOUPS 20999 WITH SCORE 21039.422
AT ITER 5135 NEW BEST:: SOT 148312 SOS 40396 HAS SOPS 40396 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 21013.396
AT ITER 5160 NEW BEST:: SOT 148292 SOS 40334 HAS SOPS 40334 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 20973.334
AT ITER 5179 NEW BEST:: SOT 148277 SOS 40304 HAS SOPS 40304 HAS SOUS 20903 HAS SOUPS 20903 WITH SCORE 20943.304
AT ITER 5219 NEW BEST:: SOT 148273 SOS 40287 HAS SOPS 40287 HAS SOUS 20878 HAS SOUPS 20878 WITH SCORE 20918.287
AT ITER 5220 NEW BEST:: SOT 148297 SOS 40307 HAS SOPS 40307 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20910.307
AT ITER 5308 NEW BEST:: SOT 148279 SOS 40314 HAS SOPS 40314 HAS SOUS 20834 HAS SOUPS 20834 WITH SCORE 20874.314
AT ITER 5321 NEW BEST:: SOT 148194 SOS 40188 HAS SOPS 40188 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20836.188
AT ITER 5325 NEW BEST:: SOT 148158 SOS 40136 HAS SOPS 40136 HAS SOUS 20768 HAS SOUPS 20768 WITH SCORE 20808.136
AT ITER 5340 NEW BEST:: SOT 148148 SOS 40116 HAS SOPS 40116 HAS SOUS 20748 HAS SOUPS 20748 WITH SCORE 20788.116
AT ITER 5352 NEW BEST:: SOT 148138 SOS 40096 HAS SOPS 40096 HAS SOUS 20742 HAS SOUPS 20742 WITH SCORE 20782.096
AT ITER 5353 NEW BEST:: SOT 148138 SOS 40096 HAS SOPS 40096 HAS SOUS 20738 HAS SOUPS 20738 WITH SCORE 20778.096
AT ITER 5387 NEW BEST:: SOT 148066 SOS 40147 HAS SOPS 40147 HAS SOUS 20693 HAS SOUPS 20693 WITH SCORE 20733.147
AT ITER 5444 NEW BEST:: SOT 147988 SOS 39833 HAS SOPS 39833 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20712.833
AT ITER 5450 NEW BEST:: SOT 147987 SOS 39831 HAS SOPS 39831 HAS SOUS 20671 HAS SOUPS 20671 WITH SCORE 20710.831
AT ITER 5452 NEW BEST:: SOT 147987 SOS 39825 HAS SOPS 39825 HAS SOUS 20671 HAS SOUPS 20671 WITH SCORE 20710.825
AT ITER 5552 NEW BEST:: SOT 148002 SOS 39832 HAS SOPS 39832 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20702.832
AT ITER 5554 NEW BEST:: SOT 147989 SOS 39806 HAS SOPS 39806 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20676.806
AT ITER 5633 NEW BEST:: SOT 148057 SOS 39894 HAS SOPS 39894 HAS SOUS 20629 HAS SOUPS 20629 WITH SCORE 20668.894
AT ITER 5699 NEW BEST:: SOT 148051 SOS 39868 HAS SOPS 39868 HAS SOUS 20617 HAS SOUPS 20617 WITH SCORE 20656.868
AT ITER 5728 NEW BEST:: SOT 148045 SOS 39862 HAS SOPS 39862 HAS SOUS 20617 HAS SOUPS 20617 WITH SCORE 20656.862
AT ITER 5749 NEW BEST:: SOT 148040 SOS 39852 HAS SOPS 39852 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20646.852
AT ITER 5763 NEW BEST:: SOT 148034 SOS 39822 HAS SOPS 39822 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20624.822
AT ITER 5781 NEW BEST:: SOT 148036 SOS 39786 HAS SOPS 39786 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20624.786
AT ITER 5794 NEW BEST:: SOT 148012 SOS 39779 HAS SOPS 39779 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20617.779
AT ITER 5897 NEW BEST:: SOT 148012 SOS 39814 HAS SOPS 39814 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20582.814
AT ITER 5906 NEW BEST:: SOT 147978 SOS 39768 HAS SOPS 39768 HAS SOUS 20524 HAS SOUPS 20524 WITH SCORE 20563.768
AT ITER 5944 NEW BEST:: SOT 147972 SOS 39756 HAS SOPS 39756 HAS SOUS 20503 HAS SOUPS 20503 WITH SCORE 20542.756
AT ITER 5992 NEW BEST:: SOT 147964 SOS 39748 HAS SOPS 39748 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20529.748
AT ITER 6027 NEW BEST:: SOT 147956 SOS 39732 HAS SOPS 39732 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20513.732
AT ITER 6028 NEW BEST:: SOT 147945 SOS 39710 HAS SOPS 39710 HAS SOUS 20451 HAS SOUPS 20451 WITH SCORE 20490.71
AT ITER 6029 NEW BEST:: SOT 147953 SOS 39708 HAS SOPS 39708 HAS SOUS 20449 HAS SOUPS 20449 WITH SCORE 20488.708
AT ITER 6067 NEW BEST:: SOT 147945 SOS 39700 HAS SOPS 39700 HAS SOUS 20449 HAS SOUPS 20449 WITH SCORE 20488.7
AT ITER 6097 NEW BEST:: SOT 147945 SOS 39700 HAS SOPS 39700 HAS SOUS 20446 HAS SOUPS 20446 WITH SCORE 20485.7
AT ITER 6117 NEW BEST:: SOT 147945 SOS 39700 HAS SOPS 39700 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20452.7
AT ITER 6141 NEW BEST:: SOT 147919 SOS 39665 HAS SOPS 39665 HAS SOUS 20395 HAS SOUPS 20395 WITH SCORE 20434.665
AT ITER 6156 NEW BEST:: SOT 147898 SOS 39639 HAS SOPS 39639 HAS SOUS 20394 HAS SOUPS 20394 WITH SCORE 20433.639
AT ITER 6186 NEW BEST:: SOT 147892 SOS 39627 HAS SOPS 39627 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20426.627
AT ITER 6202 NEW BEST:: SOT 147882 SOS 39607 HAS SOPS 39607 HAS SOUS 20367 HAS SOUPS 20367 WITH SCORE 20406.607
AT ITER 6266 NEW BEST:: SOT 147881 SOS 39605 HAS SOPS 39605 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20400.605
AT ITER 6267 NEW BEST:: SOT 147874 SOS 39591 HAS SOPS 39591 HAS SOUS 20316 HAS SOUPS 20316 WITH SCORE 20355.591
AT ITER 6297 NEW BEST:: SOT 147857 SOS 39574 HAS SOPS 39574 HAS SOUS 20316 HAS SOUPS 20316 WITH SCORE 20355.574
AT ITER 6321 NEW BEST:: SOT 147847 SOS 39574 HAS SOPS 39574 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20350.574
AT ITER 6339 NEW BEST:: SOT 147855 SOS 39590 HAS SOPS 39590 HAS SOUS 20302 HAS SOUPS 20302 WITH SCORE 20341.59
AT ITER 6358 NEW BEST:: SOT 147855 SOS 39590 HAS SOPS 39590 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20335.59
AT ITER 6378 NEW BEST:: SOT 147866 SOS 39612 HAS SOPS 39612 HAS SOUS 20256 HAS SOUPS 20256 WITH SCORE 20295.612
AT ITER 6388 NEW BEST:: SOT 147886 SOS 39652 HAS SOPS 39652 HAS SOUS 20240 HAS SOUPS 20240 WITH SCORE 20279.652
AT ITER 6459 NEW BEST:: SOT 147886 SOS 39652 HAS SOPS 39652 HAS SOUS 20239 HAS SOUPS 20239 WITH SCORE 20278.652
AT ITER 6464 NEW BEST:: SOT 147842 SOS 39605 HAS SOPS 39605 HAS SOUS 20204 HAS SOUPS 20204 WITH SCORE 20243.605
AT ITER 6518 NEW BEST:: SOT 147846 SOS 39597 HAS SOPS 39597 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20239.597
AT ITER 6551 NEW BEST:: SOT 147846 SOS 39597 HAS SOPS 39597 HAS SOUS 20184 HAS SOUPS 20184 WITH SCORE 20223.597
AT ITER 6659 NEW BEST:: SOT 147845 SOS 39596 HAS SOPS 39596 HAS SOUS 20183 HAS SOUPS 20183 WITH SCORE 20222.596
AT ITER 6683 NEW BEST:: SOT 147915 SOS 39634 HAS SOPS 39634 HAS SOUS 20165 HAS SOUPS 20165 WITH SCORE 20204.634
AT ITER 6696 NEW BEST:: SOT 147914 SOS 39644 HAS SOPS 39644 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20203.644
AT ITER 6701 NEW BEST:: SOT 147919 SOS 39631 HAS SOPS 39631 HAS SOUS 20153 HAS SOUPS 20153 WITH SCORE 20192.631
AT ITER 6762 NEW BEST:: SOT 147916 SOS 39621 HAS SOPS 39621 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20189.621
AT ITER 6773 NEW BEST:: SOT 147916 SOS 39621 HAS SOPS 39621 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20168.621
AT ITER 6776 NEW BEST:: SOT 147889 SOS 39535 HAS SOPS 39535 HAS SOUS 20043 HAS SOUPS 20043 WITH SCORE 20082.535
AT ITER 6780 NEW BEST:: SOT 147881 SOS 39519 HAS SOPS 39519 HAS SOUS 20042 HAS SOUPS 20042 WITH SCORE 20081.519
AT ITER 6788 NEW BEST:: SOT 147877 SOS 39515 HAS SOPS 39515 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20077.515
AT ITER 6798 NEW BEST:: SOT 147871 SOS 39492 HAS SOPS 39492 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20076.492
AT ITER 6830 NEW BEST:: SOT 147852 SOS 39473 HAS SOPS 39473 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20076.473
AT ITER 6860 NEW BEST:: SOT 147839 SOS 39447 HAS SOPS 39447 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20050.447
AT ITER 6887 NEW BEST:: SOT 147806 SOS 39418 HAS SOPS 39418 HAS SOUS 19982 HAS SOUPS 19982 WITH SCORE 20021.418
AT ITER 6939 NEW BEST:: SOT 147805 SOS 39416 HAS SOPS 39416 HAS SOUS 19953 HAS SOUPS 19953 WITH SCORE 19992.416
AT ITER 6965 NEW BEST:: SOT 147799 SOS 39389 HAS SOPS 39389 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19973.389
AT ITER 6976 NEW BEST:: SOT 147766 SOS 39356 HAS SOPS 39356 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19945.356
AT ITER 6992 NEW BEST:: SOT 147715 SOS 39279 HAS SOPS 39279 HAS SOUS 19882 HAS SOUPS 19882 WITH SCORE 19921.279
AT ITER 7053 NEW BEST:: SOT 147712 SOS 39273 HAS SOPS 39273 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19915.273
AT ITER 7092 NEW BEST:: SOT 147708 SOS 39278 HAS SOPS 39278 HAS SOUS 19868 HAS SOUPS 19868 WITH SCORE 19907.278
AT ITER 7220 NEW BEST:: SOT 147678 SOS 39248 HAS SOPS 39248 HAS SOUS 19854 HAS SOUPS 19854 WITH SCORE 19893.248
AT ITER 7225 NEW BEST:: SOT 147678 SOS 39225 HAS SOPS 39225 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19870.225
AT ITER 7244 NEW BEST:: SOT 147672 SOS 39219 HAS SOPS 39219 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19864.219
AT ITER 7303 NEW BEST:: SOT 147641 SOS 39157 HAS SOPS 39157 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19833.157
AT ITER 7335 NEW BEST:: SOT 147632 SOS 39139 HAS SOPS 39139 HAS SOUS 19768 HAS SOUPS 19768 WITH SCORE 19807.139
AT ITER 7350 NEW BEST:: SOT 147609 SOS 39116 HAS SOPS 39116 HAS SOUS 19765 HAS SOUPS 19765 WITH SCORE 19804.116
AT ITER 7380 NEW BEST:: SOT 147605 SOS 39108 HAS SOPS 39108 HAS SOUS 19761 HAS SOUPS 19761 WITH SCORE 19800.108
AT ITER 7384 NEW BEST:: SOT 147594 SOS 39086 HAS SOPS 39086 HAS SOUS 19750 HAS SOUPS 19750 WITH SCORE 19789.086
AT ITER 7385 NEW BEST:: SOT 147575 SOS 39017 HAS SOPS 39017 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19751.017
AT ITER 7419 NEW BEST:: SOT 147544 SOS 38955 HAS SOPS 38955 HAS SOUS 19619 HAS SOUPS 19619 WITH SCORE 19657.955
AT ITER 7420 NEW BEST:: SOT 147536 SOS 38947 HAS SOPS 38947 HAS SOUS 19611 HAS SOUPS 19611 WITH SCORE 19649.947
AT ITER 7439 NEW BEST:: SOT 147511 SOS 38922 HAS SOPS 38922 HAS SOUS 19603 HAS SOUPS 19603 WITH SCORE 19641.922
AT ITER 7472 NEW BEST:: SOT 147508 SOS 38916 HAS SOPS 38916 HAS SOUS 19600 HAS SOUPS 19600 WITH SCORE 19638.916
AT ITER 7503 NEW BEST:: SOT 147481 SOS 38880 HAS SOPS 38880 HAS SOUS 19573 HAS SOUPS 19573 WITH SCORE 19611.88
AT ITER 7568 NEW BEST:: SOT 147481 SOS 38370 HAS SOPS 38370 HAS SOUS 19573 HAS SOUPS 19573 WITH SCORE 19611.37
AT ITER 7573 NEW BEST:: SOT 147440 SOS 38336 HAS SOPS 38336 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19577.336
AT ITER 7586 NEW BEST:: SOT 147415 SOS 38311 HAS SOPS 38311 HAS SOUS 19489 HAS SOUPS 19489 WITH SCORE 19527.311
AT ITER 7650 NEW BEST:: SOT 147414 SOS 38310 HAS SOPS 38310 HAS SOUS 19489 HAS SOUPS 19489 WITH SCORE 19527.31
AT ITER 7654 NEW BEST:: SOT 147423 SOS 38301 HAS SOPS 38301 HAS SOUS 19488 HAS SOUPS 19488 WITH SCORE 19526.301
AT ITER 7697 NEW BEST:: SOT 147405 SOS 38319 HAS SOPS 38319 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19518.319
AT ITER 7720 NEW BEST:: SOT 147405 SOS 38255 HAS SOPS 38255 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19518.255
AT ITER 7743 NEW BEST:: SOT 147362 SOS 38670 HAS SOPS 38670 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19487.67
AT ITER 7805 NEW BEST:: SOT 147363 SOS 38666 HAS SOPS 38666 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19477.666
AT ITER 7853 NEW BEST:: SOT 147355 SOS 38650 HAS SOPS 38650 HAS SOUS 19431 HAS SOUPS 19431 WITH SCORE 19469.65
AT ITER 7869 NEW BEST:: SOT 147355 SOS 38650 HAS SOPS 38650 HAS SOUS 19428 HAS SOUPS 19428 WITH SCORE 19466.65
AT ITER 7976 NEW BEST:: SOT 147349 SOS 38606 HAS SOPS 38606 HAS SOUS 19416 HAS SOUPS 19416 WITH SCORE 19454.606
AT ITER 7992 NEW BEST:: SOT 147346 SOS 38600 HAS SOPS 38600 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19448.6
AT ITER 8002 NEW BEST:: SOT 147340 SOS 38594 HAS SOPS 38594 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19448.594
AT ITER 8036 NEW BEST:: SOT 147340 SOS 38558 HAS SOPS 38558 HAS SOUS 19383 HAS SOUPS 19383 WITH SCORE 19421.558
AT ITER 8060 NEW BEST:: SOT 147319 SOS 38502 HAS SOPS 38502 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19379.502
AT ITER 8082 NEW BEST:: SOT 147314 SOS 38492 HAS SOPS 38492 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19369.492
AT ITER 8108 NEW BEST:: SOT 147298 SOS 38460 HAS SOPS 38460 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19369.46
AT ITER 8152 NEW BEST:: SOT 147239 SOS 38361 HAS SOPS 38361 HAS SOUS 19238 HAS SOUPS 19238 WITH SCORE 19276.361
AT ITER 8195 NEW BEST:: SOT 147239 SOS 38361 HAS SOPS 38361 HAS SOUS 19231 HAS SOUPS 19231 WITH SCORE 19269.361
AT ITER 8235 NEW BEST:: SOT 147236 SOS 38355 HAS SOPS 38355 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19263.355
AT ITER 8243 NEW BEST:: SOT 147245 SOS 38348 HAS SOPS 38348 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19257.348
AT ITER 8280 NEW BEST:: SOT 147232 SOS 38322 HAS SOPS 38322 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19231.322
AT ITER 8284 NEW BEST:: SOT 147232 SOS 38346 HAS SOPS 38346 HAS SOUS 19181 HAS SOUPS 19181 WITH SCORE 19219.346
AT ITER 8321 NEW BEST:: SOT 147208 SOS 38318 HAS SOPS 38318 HAS SOUS 19173 HAS SOUPS 19173 WITH SCORE 19211.318
AT ITER 8344 NEW BEST:: SOT 147208 SOS 38309 HAS SOPS 38309 HAS SOUS 19173 HAS SOUPS 19173 WITH SCORE 19211.309
AT ITER 8365 NEW BEST:: SOT 147202 SOS 38306 HAS SOPS 38306 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19202.306
AT ITER 8414 NEW BEST:: SOT 147194 SOS 38290 HAS SOPS 38290 HAS SOUS 19150 HAS SOUPS 19150 WITH SCORE 19188.29
AT ITER 8447 NEW BEST:: SOT 147194 SOS 38269 HAS SOPS 38269 HAS SOUS 19150 HAS SOUPS 19150 WITH SCORE 19188.269
AT ITER 8500 NEW BEST:: SOT 147186 SOS 38245 HAS SOPS 38245 HAS SOUS 19150 HAS SOUPS 19150 WITH SCORE 19188.245
AT ITER 8541 NEW BEST:: SOT 147188 SOS 38249 HAS SOPS 38249 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19179.249
AT ITER 8583 NEW BEST:: SOT 147190 SOS 38261 HAS SOPS 38261 HAS SOUS 19138 HAS SOUPS 19138 WITH SCORE 19176.261
AT ITER 8607 NEW BEST:: SOT 147163 SOS 38234 HAS SOPS 38234 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19122.234
AT ITER 8643 NEW BEST:: SOT 147161 SOS 38230 HAS SOPS 38230 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19119.23
AT ITER 8667 NEW BEST:: SOT 147160 SOS 38229 HAS SOPS 38229 HAS SOUS 19079 HAS SOUPS 19079 WITH SCORE 19117.229
AT ITER 8696 NEW BEST:: SOT 147137 SOS 38199 HAS SOPS 38199 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19097.199
AT ITER 8759 NEW BEST:: SOT 147135 SOS 38195 HAS SOPS 38195 HAS SOUS 19055 HAS SOUPS 19055 WITH SCORE 19093.195
AT ITER 8837 NEW BEST:: SOT 147075 SOS 38029 HAS SOPS 38029 HAS SOUS 19036 HAS SOUPS 19036 WITH SCORE 19074.029
AT ITER 8841 NEW BEST:: SOT 147074 SOS 38028 HAS SOPS 38028 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19073.028
AT ITER 8860 NEW BEST:: SOT 147078 SOS 38036 HAS SOPS 38036 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19061.036
AT ITER 8861 NEW BEST:: SOT 147074 SOS 38032 HAS SOPS 38032 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19050.032
AT ITER 8870 NEW BEST:: SOT 147063 SOS 37943 HAS SOPS 37943 HAS SOUS 19006 HAS SOUPS 19006 WITH SCORE 19043.943
AT ITER 8890 NEW BEST:: SOT 147059 SOS 37935 HAS SOPS 37935 HAS SOUS 19002 HAS SOUPS 19002 WITH SCORE 19039.935
AT ITER 8908 NEW BEST:: SOT 146977 SOS 37930 HAS SOPS 37930 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 19006.93
AT ITER 9002 NEW BEST:: SOT 146972 SOS 37920 HAS SOPS 37920 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18991.92
AT ITER 9007 NEW BEST:: SOT 146975 SOS 37926 HAS SOPS 37926 HAS SOUS 18941 HAS SOUPS 18941 WITH SCORE 18978.926
AT ITER 9014 NEW BEST:: SOT 146959 SOS 37902 HAS SOPS 37902 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18970.902
AT ITER 9094 NEW BEST:: SOT 146957 SOS 37893 HAS SOPS 37893 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18963.893
AT ITER 9100 NEW BEST:: SOT 146946 SOS 37878 HAS SOPS 37878 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18955.878
AT ITER 9107 NEW BEST:: SOT 146946 SOS 37878 HAS SOPS 37878 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18943.878
AT ITER 9157 NEW BEST:: SOT 146935 SOS 37867 HAS SOPS 37867 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18943.867
AT ITER 9187 NEW BEST:: SOT 146936 SOS 37849 HAS SOPS 37849 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18943.849
AT ITER 9255 NEW BEST:: SOT 146932 SOS 37841 HAS SOPS 37841 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18935.841
AT ITER 9262 NEW BEST:: SOT 146939 SOS 37849 HAS SOPS 37849 HAS SOUS 18874 HAS SOUPS 18874 WITH SCORE 18911.849
AT ITER 9274 NEW BEST:: SOT 146896 SOS 37955 HAS SOPS 37955 HAS SOUS 18850 HAS SOUPS 18850 WITH SCORE 18887.955
AT ITER 9287 NEW BEST:: SOT 146891 SOS 37945 HAS SOPS 37945 HAS SOUS 18840 HAS SOUPS 18840 WITH SCORE 18877.945
AT ITER 9324 NEW BEST:: SOT 146889 SOS 37943 HAS SOPS 37943 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18875.943
AT ITER 9361 NEW BEST:: SOT 146872 SOS 37928 HAS SOPS 37928 HAS SOUS 18804 HAS SOUPS 18804 WITH SCORE 18841.928
AT ITER 9371 NEW BEST:: SOT 146863 SOS 37922 HAS SOPS 37922 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18835.922
AT ITER 9379 NEW BEST:: SOT 146863 SOS 37922 HAS SOPS 37922 HAS SOUS 18787 HAS SOUPS 18787 WITH SCORE 18824.922
AT ITER 9384 NEW BEST:: SOT 146860 SOS 37916 HAS SOPS 37916 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18818.916
AT ITER 9388 NEW BEST:: SOT 146863 SOS 37922 HAS SOPS 37922 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18790.922
AT ITER 9434 NEW BEST:: SOT 146854 SOS 37904 HAS SOPS 37904 HAS SOUS 18748 HAS SOUPS 18748 WITH SCORE 18785.904
AT ITER 9492 NEW BEST:: SOT 146847 SOS 37897 HAS SOPS 37897 HAS SOUS 18741 HAS SOUPS 18741 WITH SCORE 18778.897
AT ITER 9499 NEW BEST:: SOT 146758 SOS 37776 HAS SOPS 37776 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18775.776
AT ITER 9521 NEW BEST:: SOT 146756 SOS 37772 HAS SOPS 37772 HAS SOUS 18737 HAS SOUPS 18737 WITH SCORE 18774.772
AT ITER 9549 NEW BEST:: SOT 146732 SOS 37724 HAS SOPS 37724 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18726.724
AT ITER 9560 NEW BEST:: SOT 146727 SOS 37719 HAS SOPS 37719 HAS SOUS 18685 HAS SOUPS 18685 WITH SCORE 18722.719
AT ITER 9617 NEW BEST:: SOT 146723 SOS 37711 HAS SOPS 37711 HAS SOUS 18677 HAS SOUPS 18677 WITH SCORE 18714.711
AT ITER 9678 NEW BEST:: SOT 146764 SOS 37728 HAS SOPS 37728 HAS SOUS 18676 HAS SOUPS 18676 WITH SCORE 18713.728
AT ITER 9730 NEW BEST:: SOT 146761 SOS 37726 HAS SOPS 37726 HAS SOUS 18672 HAS SOUPS 18672 WITH SCORE 18709.726
AT ITER 9866 NEW BEST:: SOT 146759 SOS 37722 HAS SOPS 37722 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18708.722
AT ITER 9920 NEW BEST:: SOT 146755 SOS 37719 HAS SOPS 37719 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18707.719
AT ITER 9965 NEW BEST:: SOT 146755 SOS 37710 HAS SOPS 37710 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18707.71
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 270952 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122560 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="HealthRecord-PT-16"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is HealthRecord-PT-16, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349500360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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