About the Execution of Smart+red for SmartHome-PT-14
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15376.688 | 3600000.00 | 3634950.00 | 10760.50 | [undef] | Time out reached |
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.r459-smll-167912651000264.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 SmartHome-PT-14, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651000264
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 05:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 05:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 05:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 05:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 05:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 101K Mar 5 18:23 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 1679272755313
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=SmartHome-PT-14
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 00:39:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 00:39:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 00:39:18] [INFO ] Load time of PNML (sax parser for PT used): 123 ms
[2023-03-20 00:39:18] [INFO ] Transformed 422 places.
[2023-03-20 00:39:18] [INFO ] Transformed 448 transitions.
[2023-03-20 00:39:18] [INFO ] Found NUPN structural information;
[2023-03-20 00:39:18] [INFO ] Parsed PT model containing 422 places and 448 transitions and 1026 arcs in 241 ms.
[2023-03-20 00:39:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 422 places, 448 transitions and 1026 arcs took 9 ms.
Total runtime 305 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 14
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: 422 places, 448 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 111766 SOS 25867 HAS SOPS 25867 HAS SOUS 25198 HAS SOUPS 25198 WITH SCORE 25223.867
AT ITER 35 NEW BEST:: SOT 111742 SOS 25831 HAS SOPS 25831 HAS SOUS 25162 HAS SOUPS 25162 WITH SCORE 25187.831
AT ITER 44 NEW BEST:: SOT 111742 SOS 25798 HAS SOPS 25798 HAS SOUS 25117 HAS SOUPS 25117 WITH SCORE 25142.798
AT ITER 46 NEW BEST:: SOT 111728 SOS 25791 HAS SOPS 25791 HAS SOUS 25110 HAS SOUPS 25110 WITH SCORE 25135.791
AT ITER 64 NEW BEST:: SOT 111698 SOS 25731 HAS SOPS 25731 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25104.731
AT ITER 72 NEW BEST:: SOT 110820 SOS 26936 HAS SOPS 26936 HAS SOUS 24526 HAS SOUPS 24526 WITH SCORE 24552.936
AT ITER 77 NEW BEST:: SOT 110786 SOS 26850 HAS SOPS 26850 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24489.85
AT ITER 80 NEW BEST:: SOT 110761 SOS 26800 HAS SOPS 26800 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24383.8
AT ITER 81 NEW BEST:: SOT 110733 SOS 26744 HAS SOPS 26744 HAS SOUS 24301 HAS SOUPS 24301 WITH SCORE 24327.744
AT ITER 84 NEW BEST:: SOT 110282 SOS 27285 HAS SOPS 27285 HAS SOUS 23895 HAS SOUPS 23895 WITH SCORE 23922.285
AT ITER 86 NEW BEST:: SOT 110237 SOS 27195 HAS SOPS 27195 HAS SOUS 23850 HAS SOUPS 23850 WITH SCORE 23877.195
AT ITER 90 NEW BEST:: SOT 109880 SOS 28171 HAS SOPS 28171 HAS SOUS 23698 HAS SOUPS 23698 WITH SCORE 23726.171
AT ITER 97 NEW BEST:: SOT 109890 SOS 28170 HAS SOPS 28170 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23725.17
AT ITER 101 NEW BEST:: SOT 109842 SOS 28122 HAS SOPS 28122 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23725.122
AT ITER 102 NEW BEST:: SOT 109245 SOS 32869 HAS SOPS 32869 HAS SOUS 23568 HAS SOUPS 23568 WITH SCORE 23600.869
AT ITER 128 NEW BEST:: SOT 109208 SOS 32832 HAS SOPS 32832 HAS SOUS 23531 HAS SOUPS 23531 WITH SCORE 23563.832
AT ITER 130 NEW BEST:: SOT 109026 SOS 32477 HAS SOPS 32477 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23322.477
AT ITER 131 NEW BEST:: SOT 108925 SOS 32275 HAS SOPS 32275 HAS SOUS 23195 HAS SOUPS 23195 WITH SCORE 23227.275
AT ITER 151 NEW BEST:: SOT 108949 SOS 32323 HAS SOPS 32323 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23153.323
AT ITER 161 NEW BEST:: SOT 108778 SOS 32152 HAS SOPS 32152 HAS SOUS 22929 HAS SOUPS 22929 WITH SCORE 22961.152
AT ITER 201 NEW BEST:: SOT 108759 SOS 32114 HAS SOPS 32114 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22912.114
AT ITER 205 NEW BEST:: SOT 108758 SOS 31986 HAS SOPS 31986 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22795.986
AT ITER 212 NEW BEST:: SOT 108744 SOS 31958 HAS SOPS 31958 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22781.958
AT ITER 233 NEW BEST:: SOT 108744 SOS 31914 HAS SOPS 31914 HAS SOUS 22706 HAS SOUPS 22706 WITH SCORE 22737.914
AT ITER 252 NEW BEST:: SOT 108657 SOS 31827 HAS SOPS 31827 HAS SOUS 22706 HAS SOUPS 22706 WITH SCORE 22737.827
AT ITER 269 NEW BEST:: SOT 108656 SOS 31825 HAS SOPS 31825 HAS SOUS 22705 HAS SOUPS 22705 WITH SCORE 22736.825
AT ITER 271 NEW BEST:: SOT 108610 SOS 31779 HAS SOPS 31779 HAS SOUS 22659 HAS SOUPS 22659 WITH SCORE 22690.779
AT ITER 273 NEW BEST:: SOT 108605 SOS 31788 HAS SOPS 31788 HAS SOUS 22623 HAS SOUPS 22623 WITH SCORE 22654.788
AT ITER 285 NEW BEST:: SOT 108605 SOS 31750 HAS SOPS 31750 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22616.75
AT ITER 286 NEW BEST:: SOT 108576 SOS 31692 HAS SOPS 31692 HAS SOUS 22556 HAS SOUPS 22556 WITH SCORE 22587.692
AT ITER 301 NEW BEST:: SOT 108550 SOS 31640 HAS SOPS 31640 HAS SOUS 22544 HAS SOUPS 22544 WITH SCORE 22575.64
AT ITER 310 NEW BEST:: SOT 108516 SOS 31639 HAS SOPS 31639 HAS SOUS 22510 HAS SOUPS 22510 WITH SCORE 22541.639
AT ITER 323 NEW BEST:: SOT 108495 SOS 31642 HAS SOPS 31642 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22487.642
AT ITER 347 NEW BEST:: SOT 108471 SOS 31606 HAS SOPS 31606 HAS SOUS 22420 HAS SOUPS 22420 WITH SCORE 22451.606
AT ITER 352 NEW BEST:: SOT 108463 SOS 31590 HAS SOPS 31590 HAS SOUS 22412 HAS SOUPS 22412 WITH SCORE 22443.59
AT ITER 359 NEW BEST:: SOT 108463 SOS 31467 HAS SOPS 31467 HAS SOUS 22318 HAS SOUPS 22318 WITH SCORE 22349.467
AT ITER 360 NEW BEST:: SOT 108463 SOS 31380 HAS SOPS 31380 HAS SOUS 22315 HAS SOUPS 22315 WITH SCORE 22346.38
AT ITER 373 NEW BEST:: SOT 108495 SOS 31320 HAS SOPS 31320 HAS SOUS 22266 HAS SOUPS 22266 WITH SCORE 22297.32
AT ITER 388 NEW BEST:: SOT 108488 SOS 31310 HAS SOPS 31310 HAS SOUS 22256 HAS SOUPS 22256 WITH SCORE 22287.31
AT ITER 415 NEW BEST:: SOT 108466 SOS 31266 HAS SOPS 31266 HAS SOUS 22216 HAS SOUPS 22216 WITH SCORE 22247.266
AT ITER 456 NEW BEST:: SOT 108462 SOS 31262 HAS SOPS 31262 HAS SOUS 22210 HAS SOUPS 22210 WITH SCORE 22241.262
AT ITER 457 NEW BEST:: SOT 108461 SOS 31260 HAS SOPS 31260 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22240.26
AT ITER 459 NEW BEST:: SOT 108434 SOS 31233 HAS SOPS 31233 HAS SOUS 22182 HAS SOUPS 22182 WITH SCORE 22213.233
AT ITER 484 NEW BEST:: SOT 108426 SOS 31217 HAS SOPS 31217 HAS SOUS 22162 HAS SOUPS 22162 WITH SCORE 22193.217
AT ITER 491 NEW BEST:: SOT 108426 SOS 31274 HAS SOPS 31274 HAS SOUS 22158 HAS SOUPS 22158 WITH SCORE 22189.274
AT ITER 499 NEW BEST:: SOT 108381 SOS 31184 HAS SOPS 31184 HAS SOUS 22115 HAS SOUPS 22115 WITH SCORE 22146.184
AT ITER 516 NEW BEST:: SOT 108339 SOS 31135 HAS SOPS 31135 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22097.135
AT ITER 529 NEW BEST:: SOT 108353 SOS 31113 HAS SOPS 31113 HAS SOUS 22060 HAS SOUPS 22060 WITH SCORE 22091.113
AT ITER 539 NEW BEST:: SOT 108325 SOS 31071 HAS SOPS 31071 HAS SOUS 22032 HAS SOUPS 22032 WITH SCORE 22063.071
AT ITER 553 NEW BEST:: SOT 108286 SOS 31032 HAS SOPS 31032 HAS SOUS 22032 HAS SOUPS 22032 WITH SCORE 22063.032
AT ITER 556 NEW BEST:: SOT 108286 SOS 31032 HAS SOPS 31032 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22058.032
AT ITER 559 NEW BEST:: SOT 108273 SOS 31006 HAS SOPS 31006 HAS SOUS 21999 HAS SOUPS 21999 WITH SCORE 22030.006
AT ITER 564 NEW BEST:: SOT 108272 SOS 31001 HAS SOPS 31001 HAS SOUS 21971 HAS SOUPS 21971 WITH SCORE 22002.001
AT ITER 572 NEW BEST:: SOT 108275 SOS 30976 HAS SOPS 30976 HAS SOUS 21946 HAS SOUPS 21946 WITH SCORE 21976.976
AT ITER 580 NEW BEST:: SOT 108252 SOS 30930 HAS SOPS 30930 HAS SOUS 21923 HAS SOUPS 21923 WITH SCORE 21953.93
AT ITER 596 NEW BEST:: SOT 108267 SOS 30842 HAS SOPS 30842 HAS SOUS 21891 HAS SOUPS 21891 WITH SCORE 21921.842
AT ITER 616 NEW BEST:: SOT 108150 SOS 30748 HAS SOPS 30748 HAS SOUS 21884 HAS SOUPS 21884 WITH SCORE 21914.748
AT ITER 618 NEW BEST:: SOT 108130 SOS 30727 HAS SOPS 30727 HAS SOUS 21825 HAS SOUPS 21825 WITH SCORE 21855.727
AT ITER 624 NEW BEST:: SOT 108046 SOS 31000 HAS SOPS 31000 HAS SOUS 21795 HAS SOUPS 21795 WITH SCORE 21826.0
AT ITER 635 NEW BEST:: SOT 108043 SOS 30994 HAS SOPS 30994 HAS SOUS 21789 HAS SOUPS 21789 WITH SCORE 21819.994
AT ITER 649 NEW BEST:: SOT 108031 SOS 30956 HAS SOPS 30956 HAS SOUS 21763 HAS SOUPS 21763 WITH SCORE 21793.956
AT ITER 658 NEW BEST:: SOT 107987 SOS 30899 HAS SOPS 30899 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21749.899
AT ITER 663 NEW BEST:: SOT 107987 SOS 30891 HAS SOPS 30891 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21749.891
AT ITER 664 NEW BEST:: SOT 108007 SOS 30873 HAS SOPS 30873 HAS SOUS 21712 HAS SOUPS 21712 WITH SCORE 21742.873
AT ITER 669 NEW BEST:: SOT 108016 SOS 30842 HAS SOPS 30842 HAS SOUS 21681 HAS SOUPS 21681 WITH SCORE 21711.842
AT ITER 682 NEW BEST:: SOT 108002 SOS 30814 HAS SOPS 30814 HAS SOUS 21634 HAS SOUPS 21634 WITH SCORE 21664.814
AT ITER 683 NEW BEST:: SOT 107961 SOS 30691 HAS SOPS 30691 HAS SOUS 21552 HAS SOUPS 21552 WITH SCORE 21582.691
AT ITER 703 NEW BEST:: SOT 107928 SOS 30658 HAS SOPS 30658 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21549.658
AT ITER 719 NEW BEST:: SOT 107896 SOS 30594 HAS SOPS 30594 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21517.594
AT ITER 734 NEW BEST:: SOT 107842 SOS 30638 HAS SOPS 30638 HAS SOUS 21455 HAS SOUPS 21455 WITH SCORE 21485.638
AT ITER 758 NEW BEST:: SOT 107824 SOS 30602 HAS SOPS 30602 HAS SOUS 21419 HAS SOUPS 21419 WITH SCORE 21449.602
AT ITER 779 NEW BEST:: SOT 107800 SOS 30554 HAS SOPS 30554 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21401.554
AT ITER 784 NEW BEST:: SOT 107755 SOS 30508 HAS SOPS 30508 HAS SOUS 21361 HAS SOUPS 21361 WITH SCORE 21391.508
AT ITER 792 NEW BEST:: SOT 107692 SOS 30382 HAS SOPS 30382 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21328.382
AT ITER 794 NEW BEST:: SOT 107648 SOS 30242 HAS SOPS 30242 HAS SOUS 21210 HAS SOUPS 21210 WITH SCORE 21240.242
AT ITER 801 NEW BEST:: SOT 107711 SOS 30264 HAS SOPS 30264 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21238.264
AT ITER 805 NEW BEST:: SOT 107646 SOS 30134 HAS SOPS 30134 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21202.134
AT ITER 828 NEW BEST:: SOT 107752 SOS 30122 HAS SOPS 30122 HAS SOUS 21160 HAS SOUPS 21160 WITH SCORE 21190.122
AT ITER 830 NEW BEST:: SOT 107675 SOS 30045 HAS SOPS 30045 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21105.045
AT ITER 847 NEW BEST:: SOT 107577 SOS 30767 HAS SOPS 30767 HAS SOUS 21062 HAS SOUPS 21062 WITH SCORE 21092.767
AT ITER 858 NEW BEST:: SOT 107554 SOS 30721 HAS SOPS 30721 HAS SOUS 21016 HAS SOUPS 21016 WITH SCORE 21046.721
AT ITER 869 NEW BEST:: SOT 107525 SOS 30720 HAS SOPS 30720 HAS SOUS 21015 HAS SOUPS 21015 WITH SCORE 21045.72
AT ITER 887 NEW BEST:: SOT 107518 SOS 30699 HAS SOPS 30699 HAS SOUS 20991 HAS SOUPS 20991 WITH SCORE 21021.699
AT ITER 894 NEW BEST:: SOT 107516 SOS 30695 HAS SOPS 30695 HAS SOUS 20989 HAS SOUPS 20989 WITH SCORE 21019.695
AT ITER 908 NEW BEST:: SOT 107521 SOS 30700 HAS SOPS 30700 HAS SOUS 20955 HAS SOUPS 20955 WITH SCORE 20985.7
AT ITER 911 NEW BEST:: SOT 107519 SOS 30696 HAS SOPS 30696 HAS SOUS 20951 HAS SOUPS 20951 WITH SCORE 20981.696
AT ITER 917 NEW BEST:: SOT 107526 SOS 30676 HAS SOPS 30676 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20961.676
AT ITER 961 NEW BEST:: SOT 107452 SOS 30677 HAS SOPS 30677 HAS SOUS 20890 HAS SOUPS 20890 WITH SCORE 20920.677
AT ITER 973 NEW BEST:: SOT 107452 SOS 30666 HAS SOPS 30666 HAS SOUS 20890 HAS SOUPS 20890 WITH SCORE 20920.666
AT ITER 989 NEW BEST:: SOT 107433 SOS 30647 HAS SOPS 30647 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20901.647
AT ITER 1028 NEW BEST:: SOT 107386 SOS 30500 HAS SOPS 30500 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20872.5
AT ITER 1056 NEW BEST:: SOT 107337 SOS 30402 HAS SOPS 30402 HAS SOUS 20744 HAS SOUPS 20744 WITH SCORE 20774.402
AT ITER 1070 NEW BEST:: SOT 107279 SOS 30200 HAS SOPS 30200 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20716.2
AT ITER 1071 NEW BEST:: SOT 107265 SOS 30306 HAS SOPS 30306 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20695.306
AT ITER 1075 NEW BEST:: SOT 107263 SOS 30369 HAS SOPS 30369 HAS SOUS 20594 HAS SOUPS 20594 WITH SCORE 20624.369
AT ITER 1092 NEW BEST:: SOT 106922 SOS 30813 HAS SOPS 30813 HAS SOUS 20577 HAS SOUPS 20577 WITH SCORE 20607.813
AT ITER 1110 NEW BEST:: SOT 106913 SOS 30741 HAS SOPS 30741 HAS SOUS 20559 HAS SOUPS 20559 WITH SCORE 20589.741
AT ITER 1122 NEW BEST:: SOT 106911 SOS 30730 HAS SOPS 30730 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20568.73
AT ITER 1135 NEW BEST:: SOT 106833 SOS 30652 HAS SOPS 30652 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20568.652
AT ITER 1154 NEW BEST:: SOT 106822 SOS 30641 HAS SOPS 30641 HAS SOUS 20525 HAS SOUPS 20525 WITH SCORE 20555.641
AT ITER 1161 NEW BEST:: SOT 106813 SOS 30632 HAS SOPS 30632 HAS SOUS 20516 HAS SOUPS 20516 WITH SCORE 20546.632
AT ITER 1166 NEW BEST:: SOT 106838 SOS 30682 HAS SOPS 30682 HAS SOUS 20496 HAS SOUPS 20496 WITH SCORE 20526.682
AT ITER 1180 NEW BEST:: SOT 106835 SOS 30676 HAS SOPS 30676 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20520.676
AT ITER 1202 NEW BEST:: SOT 106835 SOS 30652 HAS SOPS 30652 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20520.652
AT ITER 1209 NEW BEST:: SOT 106835 SOS 30650 HAS SOPS 30650 HAS SOUS 20488 HAS SOUPS 20488 WITH SCORE 20518.65
AT ITER 1212 NEW BEST:: SOT 106821 SOS 30608 HAS SOPS 30608 HAS SOUS 20460 HAS SOUPS 20460 WITH SCORE 20490.608
AT ITER 1234 NEW BEST:: SOT 106812 SOS 30659 HAS SOPS 30659 HAS SOUS 20434 HAS SOUPS 20434 WITH SCORE 20464.659
AT ITER 1241 NEW BEST:: SOT 106794 SOS 30640 HAS SOPS 30640 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20463.64
AT ITER 1265 NEW BEST:: SOT 106785 SOS 30486 HAS SOPS 30486 HAS SOUS 20329 HAS SOUPS 20329 WITH SCORE 20359.486
AT ITER 1282 NEW BEST:: SOT 106759 SOS 30434 HAS SOPS 30434 HAS SOUS 20285 HAS SOUPS 20285 WITH SCORE 20315.434
AT ITER 1308 NEW BEST:: SOT 106758 SOS 30432 HAS SOPS 30432 HAS SOUS 20283 HAS SOUPS 20283 WITH SCORE 20313.432
AT ITER 1315 NEW BEST:: SOT 106857 SOS 29159 HAS SOPS 29159 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20313.159
AT ITER 1322 NEW BEST:: SOT 106853 SOS 29151 HAS SOPS 29151 HAS SOUS 20276 HAS SOUPS 20276 WITH SCORE 20305.151
AT ITER 1343 NEW BEST:: SOT 106865 SOS 29120 HAS SOPS 29120 HAS SOUS 20271 HAS SOUPS 20271 WITH SCORE 20300.12
AT ITER 1351 NEW BEST:: SOT 106707 SOS 28946 HAS SOPS 28946 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20143.946
AT ITER 1354 NEW BEST:: SOT 106603 SOS 28738 HAS SOPS 28738 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 20003.738
AT ITER 1356 NEW BEST:: SOT 106605 SOS 28736 HAS SOPS 28736 HAS SOUS 19973 HAS SOUPS 19973 WITH SCORE 20001.736
AT ITER 1376 NEW BEST:: SOT 106603 SOS 28732 HAS SOPS 28732 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 19997.732
AT ITER 1393 NEW BEST:: SOT 106617 SOS 28733 HAS SOPS 28733 HAS SOUS 19933 HAS SOUPS 19933 WITH SCORE 19961.733
AT ITER 1404 NEW BEST:: SOT 106564 SOS 28716 HAS SOPS 28716 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19944.716
AT ITER 1415 NEW BEST:: SOT 106529 SOS 28646 HAS SOPS 28646 HAS SOUS 19881 HAS SOUPS 19881 WITH SCORE 19909.646
AT ITER 1429 NEW BEST:: SOT 106516 SOS 28620 HAS SOPS 28620 HAS SOUS 19855 HAS SOUPS 19855 WITH SCORE 19883.62
AT ITER 1452 NEW BEST:: SOT 106488 SOS 28564 HAS SOPS 28564 HAS SOUS 19799 HAS SOUPS 19799 WITH SCORE 19827.564
AT ITER 1472 NEW BEST:: SOT 106412 SOS 29490 HAS SOPS 29490 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19798.49
AT ITER 1477 NEW BEST:: SOT 106408 SOS 29482 HAS SOPS 29482 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19798.482
AT ITER 1481 NEW BEST:: SOT 106383 SOS 29457 HAS SOPS 29457 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19761.457
AT ITER 1487 NEW BEST:: SOT 106348 SOS 29412 HAS SOPS 29412 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19716.412
AT ITER 1488 NEW BEST:: SOT 106264 SOS 29378 HAS SOPS 29378 HAS SOUS 19653 HAS SOUPS 19653 WITH SCORE 19682.378
AT ITER 1553 NEW BEST:: SOT 106328 SOS 28922 HAS SOPS 28922 HAS SOUS 19619 HAS SOUPS 19619 WITH SCORE 19647.922
AT ITER 1570 NEW BEST:: SOT 106297 SOS 28896 HAS SOPS 28896 HAS SOUS 19593 HAS SOUPS 19593 WITH SCORE 19621.896
AT ITER 1571 NEW BEST:: SOT 106316 SOS 28926 HAS SOPS 28926 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19618.926
AT ITER 1582 NEW BEST:: SOT 106337 SOS 28936 HAS SOPS 28936 HAS SOUS 19579 HAS SOUPS 19579 WITH SCORE 19607.936
AT ITER 1598 NEW BEST:: SOT 106331 SOS 28930 HAS SOPS 28930 HAS SOUS 19579 HAS SOUPS 19579 WITH SCORE 19607.93
AT ITER 1608 NEW BEST:: SOT 106314 SOS 28896 HAS SOPS 28896 HAS SOUS 19576 HAS SOUPS 19576 WITH SCORE 19604.896
AT ITER 1618 NEW BEST:: SOT 106309 SOS 28886 HAS SOPS 28886 HAS SOUS 19566 HAS SOUPS 19566 WITH SCORE 19594.886
AT ITER 1621 NEW BEST:: SOT 106224 SOS 28716 HAS SOPS 28716 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19416.716
AT ITER 1638 NEW BEST:: SOT 106216 SOS 28700 HAS SOPS 28700 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19400.7
AT ITER 1650 NEW BEST:: SOT 105933 SOS 28438 HAS SOPS 28438 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19153.438
AT ITER 1655 NEW BEST:: SOT 105907 SOS 28399 HAS SOPS 28399 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19114.399
AT ITER 1668 NEW BEST:: SOT 105870 SOS 28325 HAS SOPS 28325 HAS SOUS 19012 HAS SOUPS 19012 WITH SCORE 19040.325
AT ITER 1678 NEW BEST:: SOT 105862 SOS 28309 HAS SOPS 28309 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19032.309
AT ITER 1703 NEW BEST:: SOT 105856 SOS 28303 HAS SOPS 28303 HAS SOUS 18998 HAS SOUPS 18998 WITH SCORE 19026.303
AT ITER 1725 NEW BEST:: SOT 105821 SOS 28260 HAS SOPS 28260 HAS SOUS 18955 HAS SOUPS 18955 WITH SCORE 18983.26
AT ITER 1740 NEW BEST:: SOT 105733 SOS 28444 HAS SOPS 28444 HAS SOUS 18945 HAS SOUPS 18945 WITH SCORE 18973.444
AT ITER 1742 NEW BEST:: SOT 105733 SOS 28405 HAS SOPS 28405 HAS SOUS 18906 HAS SOUPS 18906 WITH SCORE 18934.405
AT ITER 1749 NEW BEST:: SOT 105718 SOS 28376 HAS SOPS 28376 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18905.376
AT ITER 1796 NEW BEST:: SOT 105686 SOS 28344 HAS SOPS 28344 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18905.344
AT ITER 1809 NEW BEST:: SOT 105658 SOS 28278 HAS SOPS 28278 HAS SOUS 18849 HAS SOUPS 18849 WITH SCORE 18877.278
AT ITER 1822 NEW BEST:: SOT 105635 SOS 28273 HAS SOPS 28273 HAS SOUS 18844 HAS SOUPS 18844 WITH SCORE 18872.273
AT ITER 1823 NEW BEST:: SOT 105580 SOS 28218 HAS SOPS 28218 HAS SOUS 18837 HAS SOUPS 18837 WITH SCORE 18865.218
AT ITER 1826 NEW BEST:: SOT 105511 SOS 28148 HAS SOPS 28148 HAS SOUS 18826 HAS SOUPS 18826 WITH SCORE 18854.148
AT ITER 1833 NEW BEST:: SOT 105516 SOS 28158 HAS SOPS 28158 HAS SOUS 18775 HAS SOUPS 18775 WITH SCORE 18803.158
AT ITER 1849 NEW BEST:: SOT 105520 SOS 28166 HAS SOPS 28166 HAS SOUS 18747 HAS SOUPS 18747 WITH SCORE 18775.166
AT ITER 1865 NEW BEST:: SOT 104737 SOS 28988 HAS SOPS 28988 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18508.988
AT ITER 1870 NEW BEST:: SOT 104698 SOS 28910 HAS SOPS 28910 HAS SOUS 18452 HAS SOUPS 18452 WITH SCORE 18480.91
AT ITER 1871 NEW BEST:: SOT 104680 SOS 28891 HAS SOPS 28891 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18461.891
AT ITER 1873 NEW BEST:: SOT 104666 SOS 28938 HAS SOPS 28938 HAS SOUS 18405 HAS SOUPS 18405 WITH SCORE 18433.938
AT ITER 1876 NEW BEST:: SOT 104652 SOS 28910 HAS SOPS 28910 HAS SOUS 18391 HAS SOUPS 18391 WITH SCORE 18419.91
AT ITER 1900 NEW BEST:: SOT 104637 SOS 28895 HAS SOPS 28895 HAS SOUS 18376 HAS SOUPS 18376 WITH SCORE 18404.895
AT ITER 1940 NEW BEST:: SOT 104542 SOS 28839 HAS SOPS 28839 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18389.839
AT ITER 1977 NEW BEST:: SOT 104532 SOS 28819 HAS SOPS 28819 HAS SOUS 18341 HAS SOUPS 18341 WITH SCORE 18369.819
AT ITER 1994 NEW BEST:: SOT 104495 SOS 28824 HAS SOPS 28824 HAS SOUS 18340 HAS SOUPS 18340 WITH SCORE 18368.824
AT ITER 2005 NEW BEST:: SOT 104495 SOS 28824 HAS SOPS 28824 HAS SOUS 18223 HAS SOUPS 18223 WITH SCORE 18251.824
AT ITER 2011 NEW BEST:: SOT 104459 SOS 28777 HAS SOPS 28777 HAS SOUS 18176 HAS SOUPS 18176 WITH SCORE 18204.777
AT ITER 2022 NEW BEST:: SOT 104367 SOS 28685 HAS SOPS 28685 HAS SOUS 18124 HAS SOUPS 18124 WITH SCORE 18152.685
AT ITER 2029 NEW BEST:: SOT 104348 SOS 28679 HAS SOPS 28679 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18146.679
AT ITER 2035 NEW BEST:: SOT 104327 SOS 28621 HAS SOPS 28621 HAS SOUS 18081 HAS SOUPS 18081 WITH SCORE 18109.621
AT ITER 2052 NEW BEST:: SOT 104245 SOS 28349 HAS SOPS 28349 HAS SOUS 17912 HAS SOUPS 17912 WITH SCORE 17940.349
AT ITER 2056 NEW BEST:: SOT 104183 SOS 28335 HAS SOPS 28335 HAS SOUS 17898 HAS SOUPS 17898 WITH SCORE 17926.335
AT ITER 2075 NEW BEST:: SOT 104183 SOS 28335 HAS SOPS 28335 HAS SOUS 17895 HAS SOUPS 17895 WITH SCORE 17923.335
AT ITER 2079 NEW BEST:: SOT 104182 SOS 28333 HAS SOPS 28333 HAS SOUS 17893 HAS SOUPS 17893 WITH SCORE 17921.333
AT ITER 2081 NEW BEST:: SOT 104182 SOS 28310 HAS SOPS 28310 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17898.31
AT ITER 2082 NEW BEST:: SOT 104160 SOS 28288 HAS SOPS 28288 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17876.288
AT ITER 2097 NEW BEST:: SOT 104153 SOS 28281 HAS SOPS 28281 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17869.281
AT ITER 2113 NEW BEST:: SOT 104154 SOS 28227 HAS SOPS 28227 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17851.227
AT ITER 2118 NEW BEST:: SOT 104044 SOS 28175 HAS SOPS 28175 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17799.175
AT ITER 2134 NEW BEST:: SOT 104078 SOS 28153 HAS SOPS 28153 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17777.153
AT ITER 2146 NEW BEST:: SOT 104077 SOS 28151 HAS SOPS 28151 HAS SOUS 17747 HAS SOUPS 17747 WITH SCORE 17775.151
AT ITER 2156 NEW BEST:: SOT 104072 SOS 28081 HAS SOPS 28081 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17770.081
AT ITER 2157 NEW BEST:: SOT 104072 SOS 28071 HAS SOPS 28071 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17760.071
AT ITER 2158 NEW BEST:: SOT 104050 SOS 28027 HAS SOPS 28027 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17716.027
AT ITER 2160 NEW BEST:: SOT 104052 SOS 27999 HAS SOPS 27999 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17715.999
AT ITER 2170 NEW BEST:: SOT 104052 SOS 27999 HAS SOPS 27999 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17710.999
AT ITER 2185 NEW BEST:: SOT 104034 SOS 27988 HAS SOPS 27988 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17685.988
AT ITER 2186 NEW BEST:: SOT 104031 SOS 27982 HAS SOPS 27982 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17679.982
AT ITER 2211 NEW BEST:: SOT 104031 SOS 27982 HAS SOPS 27982 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17663.982
AT ITER 2220 NEW BEST:: SOT 104008 SOS 27959 HAS SOPS 27959 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17640.959
AT ITER 2234 NEW BEST:: SOT 104008 SOS 27920 HAS SOPS 27920 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17614.92
AT ITER 2242 NEW BEST:: SOT 103923 SOS 27852 HAS SOPS 27852 HAS SOUS 17559 HAS SOUPS 17559 WITH SCORE 17586.852
AT ITER 2255 NEW BEST:: SOT 103906 SOS 27835 HAS SOPS 27835 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17572.835
AT ITER 2268 NEW BEST:: SOT 103910 SOS 27839 HAS SOPS 27839 HAS SOUS 17531 HAS SOUPS 17531 WITH SCORE 17558.839
AT ITER 2302 NEW BEST:: SOT 103905 SOS 27833 HAS SOPS 27833 HAS SOUS 17525 HAS SOUPS 17525 WITH SCORE 17552.833
AT ITER 2307 NEW BEST:: SOT 103863 SOS 27749 HAS SOPS 27749 HAS SOUS 17441 HAS SOUPS 17441 WITH SCORE 17468.749
AT ITER 2319 NEW BEST:: SOT 103863 SOS 27749 HAS SOPS 27749 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17461.749
AT ITER 2320 NEW BEST:: SOT 103876 SOS 27736 HAS SOPS 27736 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17461.736
AT ITER 2335 NEW BEST:: SOT 103852 SOS 27688 HAS SOPS 27688 HAS SOUS 17386 HAS SOUPS 17386 WITH SCORE 17413.688
AT ITER 2361 NEW BEST:: SOT 103837 SOS 27669 HAS SOPS 27669 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17388.669
AT ITER 2382 NEW BEST:: SOT 103815 SOS 27647 HAS SOPS 27647 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17366.647
AT ITER 2393 NEW BEST:: SOT 103818 SOS 27643 HAS SOPS 27643 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17362.643
AT ITER 2400 NEW BEST:: SOT 103809 SOS 27606 HAS SOPS 27606 HAS SOUS 17320 HAS SOUPS 17320 WITH SCORE 17347.606
AT ITER 2431 NEW BEST:: SOT 103759 SOS 27556 HAS SOPS 27556 HAS SOUS 17216 HAS SOUPS 17216 WITH SCORE 17243.556
AT ITER 2437 NEW BEST:: SOT 103748 SOS 27523 HAS SOPS 27523 HAS SOUS 17183 HAS SOUPS 17183 WITH SCORE 17210.523
AT ITER 2441 NEW BEST:: SOT 103740 SOS 27508 HAS SOPS 27508 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17204.508
AT ITER 2444 NEW BEST:: SOT 103727 SOS 27482 HAS SOPS 27482 HAS SOUS 17151 HAS SOUPS 17151 WITH SCORE 17178.482
AT ITER 2451 NEW BEST:: SOT 103720 SOS 27483 HAS SOPS 27483 HAS SOUS 17144 HAS SOUPS 17144 WITH SCORE 17171.483
AT ITER 2455 NEW BEST:: SOT 103638 SOS 27383 HAS SOPS 27383 HAS SOUS 17062 HAS SOUPS 17062 WITH SCORE 17089.383
AT ITER 2466 NEW BEST:: SOT 103633 SOS 27373 HAS SOPS 27373 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17079.373
AT ITER 2508 NEW BEST:: SOT 103694 SOS 27433 HAS SOPS 27433 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17061.433
AT ITER 2514 NEW BEST:: SOT 103692 SOS 27431 HAS SOPS 27431 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17059.431
AT ITER 2527 NEW BEST:: SOT 103678 SOS 27410 HAS SOPS 27410 HAS SOUS 17018 HAS SOUPS 17018 WITH SCORE 17045.41
AT ITER 2532 NEW BEST:: SOT 103656 SOS 27383 HAS SOPS 27383 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17035.383
AT ITER 2544 NEW BEST:: SOT 103653 SOS 27377 HAS SOPS 27377 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17032.377
AT ITER 2553 NEW BEST:: SOT 103638 SOS 27362 HAS SOPS 27362 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17017.362
AT ITER 2561 NEW BEST:: SOT 103574 SOS 27234 HAS SOPS 27234 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16973.234
AT ITER 2580 NEW BEST:: SOT 103552 SOS 27263 HAS SOPS 27263 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16945.263
AT ITER 2595 NEW BEST:: SOT 103552 SOS 27329 HAS SOPS 27329 HAS SOUS 16896 HAS SOUPS 16896 WITH SCORE 16923.329
AT ITER 2596 NEW BEST:: SOT 103552 SOS 27317 HAS SOPS 27317 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16911.317
AT ITER 2599 NEW BEST:: SOT 103535 SOS 27283 HAS SOPS 27283 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16844.283
AT ITER 2604 NEW BEST:: SOT 103518 SOS 27249 HAS SOPS 27249 HAS SOUS 16783 HAS SOUPS 16783 WITH SCORE 16810.249
AT ITER 2627 NEW BEST:: SOT 103493 SOS 27199 HAS SOPS 27199 HAS SOUS 16733 HAS SOUPS 16733 WITH SCORE 16760.199
AT ITER 2636 NEW BEST:: SOT 103446 SOS 27183 HAS SOPS 27183 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16698.183
AT ITER 2640 NEW BEST:: SOT 103391 SOS 27128 HAS SOPS 27128 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16698.128
AT ITER 2660 NEW BEST:: SOT 103386 SOS 27118 HAS SOPS 27118 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16693.118
AT ITER 2666 NEW BEST:: SOT 103410 SOS 27142 HAS SOPS 27142 HAS SOUS 16645 HAS SOUPS 16645 WITH SCORE 16672.142
AT ITER 2671 NEW BEST:: SOT 103404 SOS 27130 HAS SOPS 27130 HAS SOUS 16633 HAS SOUPS 16633 WITH SCORE 16660.13
AT ITER 2680 NEW BEST:: SOT 103394 SOS 27120 HAS SOPS 27120 HAS SOUS 16623 HAS SOUPS 16623 WITH SCORE 16650.12
AT ITER 2704 NEW BEST:: SOT 103380 SOS 27092 HAS SOPS 27092 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16608.092
AT ITER 2713 NEW BEST:: SOT 103271 SOS 26874 HAS SOPS 26874 HAS SOUS 16459 HAS SOUPS 16459 WITH SCORE 16485.874
AT ITER 2733 NEW BEST:: SOT 103291 SOS 26884 HAS SOPS 26884 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16479.884
AT ITER 2764 NEW BEST:: SOT 103294 SOS 26862 HAS SOPS 26862 HAS SOUS 16443 HAS SOUPS 16443 WITH SCORE 16469.862
AT ITER 2798 NEW BEST:: SOT 103284 SOS 26842 HAS SOPS 26842 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16459.842
AT ITER 2808 NEW BEST:: SOT 103165 SOS 26723 HAS SOPS 26723 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16305.723
AT ITER 2821 NEW BEST:: SOT 103149 SOS 26691 HAS SOPS 26691 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16273.691
AT ITER 2831 NEW BEST:: SOT 103102 SOS 26579 HAS SOPS 26579 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16161.579
AT ITER 2847 NEW BEST:: SOT 103121 SOS 22376 HAS SOPS 22376 HAS SOUS 15817 HAS SOUPS 15817 WITH SCORE 15839.376
AT ITER 2854 NEW BEST:: SOT 103115 SOS 22364 HAS SOPS 22364 HAS SOUS 15805 HAS SOUPS 15805 WITH SCORE 15827.364
AT ITER 2873 NEW BEST:: SOT 103114 SOS 22362 HAS SOPS 22362 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15825.362
AT ITER 2874 NEW BEST:: SOT 103102 SOS 22356 HAS SOPS 22356 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15825.356
AT ITER 2884 NEW BEST:: SOT 103078 SOS 22380 HAS SOPS 22380 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15813.38
AT ITER 2885 NEW BEST:: SOT 103069 SOS 22362 HAS SOPS 22362 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15801.362
AT ITER 2921 NEW BEST:: SOT 103053 SOS 22291 HAS SOPS 22291 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15799.291
AT ITER 2945 NEW BEST:: SOT 103041 SOS 22325 HAS SOPS 22325 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15787.325
AT ITER 3009 NEW BEST:: SOT 103056 SOS 22345 HAS SOPS 22345 HAS SOUS 15761 HAS SOUPS 15761 WITH SCORE 15783.345
AT ITER 3057 NEW BEST:: SOT 103051 SOS 22337 HAS SOPS 22337 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15775.337
AT ITER 3089 NEW BEST:: SOT 103042 SOS 22328 HAS SOPS 22328 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15775.328
AT ITER 3093 NEW BEST:: SOT 103025 SOS 22328 HAS SOPS 22328 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15758.328
AT ITER 3111 NEW BEST:: SOT 103017 SOS 22320 HAS SOPS 22320 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15750.32
AT ITER 3119 NEW BEST:: SOT 102998 SOS 22282 HAS SOPS 22282 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15747.282
AT ITER 3179 NEW BEST:: SOT 103004 SOS 22294 HAS SOPS 22294 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15703.294
AT ITER 3205 NEW BEST:: SOT 102996 SOS 22453 HAS SOPS 22453 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15701.453
AT ITER 3216 NEW BEST:: SOT 102974 SOS 22433 HAS SOPS 22433 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15679.433
AT ITER 3217 NEW BEST:: SOT 102914 SOS 22772 HAS SOPS 22772 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15668.772
AT ITER 3232 NEW BEST:: SOT 102910 SOS 22768 HAS SOPS 22768 HAS SOUS 15638 HAS SOUPS 15638 WITH SCORE 15660.768
AT ITER 3233 NEW BEST:: SOT 102907 SOS 22762 HAS SOPS 22762 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15654.762
AT ITER 3240 NEW BEST:: SOT 102910 SOS 22765 HAS SOPS 22765 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15636.765
AT ITER 3287 NEW BEST:: SOT 102898 SOS 22741 HAS SOPS 22741 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15612.741
AT ITER 3318 NEW BEST:: SOT 102944 SOS 22401 HAS SOPS 22401 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15610.401
AT ITER 3358 NEW BEST:: SOT 102904 SOS 22321 HAS SOPS 22321 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15570.321
AT ITER 3381 NEW BEST:: SOT 102904 SOS 22310 HAS SOPS 22310 HAS SOUS 15537 HAS SOUPS 15537 WITH SCORE 15559.31
AT ITER 3392 NEW BEST:: SOT 102887 SOS 22293 HAS SOPS 22293 HAS SOUS 15520 HAS SOUPS 15520 WITH SCORE 15542.293
AT ITER 3395 NEW BEST:: SOT 102885 SOS 22292 HAS SOPS 22292 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15536.292
AT ITER 3396 NEW BEST:: SOT 102804 SOS 22230 HAS SOPS 22230 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15474.23
AT ITER 3398 NEW BEST:: SOT 102771 SOS 22164 HAS SOPS 22164 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15466.164
AT ITER 3408 NEW BEST:: SOT 102728 SOS 22162 HAS SOPS 22162 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15437.162
AT ITER 3455 NEW BEST:: SOT 102727 SOS 22160 HAS SOPS 22160 HAS SOUS 15413 HAS SOUPS 15413 WITH SCORE 15435.16
AT ITER 3500 NEW BEST:: SOT 102724 SOS 22154 HAS SOPS 22154 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15429.154
AT ITER 3527 NEW BEST:: SOT 102681 SOS 22068 HAS SOPS 22068 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15401.068
AT ITER 3539 NEW BEST:: SOT 102298 SOS 23164 HAS SOPS 23164 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15190.164
AT ITER 3541 NEW BEST:: SOT 102296 SOS 23156 HAS SOPS 23156 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15186.156
AT ITER 3604 NEW BEST:: SOT 102294 SOS 23154 HAS SOPS 23154 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15185.154
AT ITER 3623 NEW BEST:: SOT 102223 SOS 23083 HAS SOPS 23083 HAS SOUS 15091 HAS SOUPS 15091 WITH SCORE 15114.083
AT ITER 3632 NEW BEST:: SOT 102092 SOS 22821 HAS SOPS 22821 HAS SOUS 15007 HAS SOUPS 15007 WITH SCORE 15029.821
AT ITER 3671 NEW BEST:: SOT 102058 SOS 22753 HAS SOPS 22753 HAS SOUS 15007 HAS SOUPS 15007 WITH SCORE 15029.753
AT ITER 3672 NEW BEST:: SOT 102058 SOS 22753 HAS SOPS 22753 HAS SOUS 14998 HAS SOUPS 14998 WITH SCORE 15020.753
AT ITER 3709 NEW BEST:: SOT 102046 SOS 22729 HAS SOPS 22729 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14996.729
AT ITER 3720 NEW BEST:: SOT 102046 SOS 22729 HAS SOPS 22729 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14958.729
AT ITER 3727 NEW BEST:: SOT 102046 SOS 22718 HAS SOPS 22718 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14947.718
AT ITER 3734 NEW BEST:: SOT 102066 SOS 22711 HAS SOPS 22711 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14932.711
AT ITER 3739 NEW BEST:: SOT 102066 SOS 22720 HAS SOPS 22720 HAS SOUS 14909 HAS SOUPS 14909 WITH SCORE 14931.72
AT ITER 3766 NEW BEST:: SOT 102069 SOS 22723 HAS SOPS 22723 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14922.723
AT ITER 3792 NEW BEST:: SOT 102068 SOS 22721 HAS SOPS 22721 HAS SOUS 14898 HAS SOUPS 14898 WITH SCORE 14920.721
AT ITER 3794 NEW BEST:: SOT 102039 SOS 22686 HAS SOPS 22686 HAS SOUS 14855 HAS SOUPS 14855 WITH SCORE 14877.686
AT ITER 3795 NEW BEST:: SOT 102030 SOS 22659 HAS SOPS 22659 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14859.659
AT ITER 3807 NEW BEST:: SOT 101907 SOS 22508 HAS SOPS 22508 HAS SOUS 14748 HAS SOUPS 14748 WITH SCORE 14770.508
AT ITER 3827 NEW BEST:: SOT 101889 SOS 22472 HAS SOPS 22472 HAS SOUS 14712 HAS SOUPS 14712 WITH SCORE 14734.472
AT ITER 3878 NEW BEST:: SOT 101866 SOS 22577 HAS SOPS 22577 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14733.577
AT ITER 3897 NEW BEST:: SOT 101863 SOS 22574 HAS SOPS 22574 HAS SOUS 14708 HAS SOUPS 14708 WITH SCORE 14730.574
AT ITER 3898 NEW BEST:: SOT 101863 SOS 22574 HAS SOPS 22574 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14729.574
AT ITER 3906 NEW BEST:: SOT 101869 SOS 22580 HAS SOPS 22580 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14721.58
AT ITER 3908 NEW BEST:: SOT 101868 SOS 22578 HAS SOPS 22578 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14720.578
AT ITER 3944 NEW BEST:: SOT 101907 SOS 22464 HAS SOPS 22464 HAS SOUS 14696 HAS SOUPS 14696 WITH SCORE 14718.464
AT ITER 3945 NEW BEST:: SOT 101897 SOS 22479 HAS SOPS 22479 HAS SOUS 14686 HAS SOUPS 14686 WITH SCORE 14708.479
AT ITER 3964 NEW BEST:: SOT 101824 SOS 22333 HAS SOPS 22333 HAS SOUS 14613 HAS SOUPS 14613 WITH SCORE 14635.333
AT ITER 3989 NEW BEST:: SOT 101824 SOS 22333 HAS SOPS 22333 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14615.333
AT ITER 4015 NEW BEST:: SOT 101823 SOS 22323 HAS SOPS 22323 HAS SOUS 14583 HAS SOUPS 14583 WITH SCORE 14605.323
AT ITER 4029 NEW BEST:: SOT 101843 SOS 22287 HAS SOPS 22287 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14569.287
AT ITER 4030 NEW BEST:: SOT 101828 SOS 22211 HAS SOPS 22211 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14569.211
AT ITER 4037 NEW BEST:: SOT 101779 SOS 22200 HAS SOPS 22200 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14558.2
AT ITER 4072 NEW BEST:: SOT 101694 SOS 22147 HAS SOPS 22147 HAS SOUS 14497 HAS SOUPS 14497 WITH SCORE 14519.147
AT ITER 4080 NEW BEST:: SOT 101685 SOS 22129 HAS SOPS 22129 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14510.129
AT ITER 4106 NEW BEST:: SOT 101660 SOS 22079 HAS SOPS 22079 HAS SOUS 14463 HAS SOUPS 14463 WITH SCORE 14485.079
AT ITER 4123 NEW BEST:: SOT 101615 SOS 22034 HAS SOPS 22034 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14467.034
AT ITER 4127 NEW BEST:: SOT 101603 SOS 22024 HAS SOPS 22024 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14461.024
AT ITER 4128 NEW BEST:: SOT 101596 SOS 21987 HAS SOPS 21987 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14430.987
AT ITER 4137 NEW BEST:: SOT 101582 SOS 21959 HAS SOPS 21959 HAS SOUS 14395 HAS SOUPS 14395 WITH SCORE 14416.959
AT ITER 4155 NEW BEST:: SOT 101582 SOS 21952 HAS SOPS 21952 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14402.952
AT ITER 4179 NEW BEST:: SOT 101576 SOS 21940 HAS SOPS 21940 HAS SOUS 14369 HAS SOUPS 14369 WITH SCORE 14390.94
AT ITER 4184 NEW BEST:: SOT 101538 SOS 21902 HAS SOPS 21902 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14352.902
AT ITER 4218 NEW BEST:: SOT 101541 SOS 21888 HAS SOPS 21888 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14338.888
AT ITER 4221 NEW BEST:: SOT 101537 SOS 21884 HAS SOPS 21884 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14338.884
AT ITER 4226 NEW BEST:: SOT 101537 SOS 21877 HAS SOPS 21877 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14338.877
AT ITER 4231 NEW BEST:: SOT 101530 SOS 21869 HAS SOPS 21869 HAS SOUS 14309 HAS SOUPS 14309 WITH SCORE 14330.869
AT ITER 4255 NEW BEST:: SOT 101530 SOS 21858 HAS SOPS 21858 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14319.858
AT ITER 4290 NEW BEST:: SOT 101504 SOS 21806 HAS SOPS 21806 HAS SOUS 14280 HAS SOUPS 14280 WITH SCORE 14301.806
AT ITER 4333 NEW BEST:: SOT 101504 SOS 21806 HAS SOPS 21806 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14288.806
AT ITER 4339 NEW BEST:: SOT 101440 SOS 22342 HAS SOPS 22342 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14272.342
AT ITER 4359 NEW BEST:: SOT 101434 SOS 22330 HAS SOPS 22330 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14260.33
AT ITER 4407 NEW BEST:: SOT 101418 SOS 22298 HAS SOPS 22298 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14238.298
AT ITER 4468 NEW BEST:: SOT 101398 SOS 22258 HAS SOPS 22258 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14226.258
AT ITER 4476 NEW BEST:: SOT 101393 SOS 22248 HAS SOPS 22248 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14216.248
AT ITER 4478 NEW BEST:: SOT 101391 SOS 22244 HAS SOPS 22244 HAS SOUS 14190 HAS SOUPS 14190 WITH SCORE 14212.244
AT ITER 4516 NEW BEST:: SOT 101389 SOS 22242 HAS SOPS 22242 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14210.242
AT ITER 4524 NEW BEST:: SOT 101426 SOS 22264 HAS SOPS 22264 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14195.264
AT ITER 4605 NEW BEST:: SOT 101415 SOS 22242 HAS SOPS 22242 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14173.242
AT ITER 4654 NEW BEST:: SOT 101394 SOS 22200 HAS SOPS 22200 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14152.2
AT ITER 4657 NEW BEST:: SOT 101384 SOS 22193 HAS SOPS 22193 HAS SOUS 14126 HAS SOUPS 14126 WITH SCORE 14148.193
AT ITER 4686 NEW BEST:: SOT 101384 SOS 22193 HAS SOPS 22193 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14143.193
AT ITER 4705 NEW BEST:: SOT 101271 SOS 22398 HAS SOPS 22398 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14098.398
AT ITER 4719 NEW BEST:: SOT 101154 SOS 23197 HAS SOPS 23197 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14091.197
AT ITER 4731 NEW BEST:: SOT 101141 SOS 23171 HAS SOPS 23171 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14065.171
AT ITER 4737 NEW BEST:: SOT 101141 SOS 23166 HAS SOPS 23166 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14065.166
AT ITER 4747 NEW BEST:: SOT 101141 SOS 23139 HAS SOPS 23139 HAS SOUS 14015 HAS SOUPS 14015 WITH SCORE 14038.139
AT ITER 4773 NEW BEST:: SOT 101158 SOS 23155 HAS SOPS 23155 HAS SOUS 14013 HAS SOUPS 14013 WITH SCORE 14036.155
AT ITER 4869 NEW BEST:: SOT 101146 SOS 23131 HAS SOPS 23131 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14012.131
AT ITER 4881 NEW BEST:: SOT 101124 SOS 23087 HAS SOPS 23087 HAS SOUS 13945 HAS SOUPS 13945 WITH SCORE 13968.087
AT ITER 4884 NEW BEST:: SOT 101113 SOS 23065 HAS SOPS 23065 HAS SOUS 13934 HAS SOUPS 13934 WITH SCORE 13957.065
AT ITER 4916 NEW BEST:: SOT 101107 SOS 23059 HAS SOPS 23059 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13951.059
AT ITER 4923 NEW BEST:: SOT 101107 SOS 23057 HAS SOPS 23057 HAS SOUS 13926 HAS SOUPS 13926 WITH SCORE 13949.057
AT ITER 5002 NEW BEST:: SOT 101090 SOS 23074 HAS SOPS 23074 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13948.074
AT ITER 5006 NEW BEST:: SOT 101098 SOS 23069 HAS SOPS 23069 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13944.069
AT ITER 5010 NEW BEST:: SOT 101096 SOS 23067 HAS SOPS 23067 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13942.067
AT ITER 5037 NEW BEST:: SOT 101085 SOS 23056 HAS SOPS 23056 HAS SOUS 13908 HAS SOUPS 13908 WITH SCORE 13931.056
AT ITER 5040 NEW BEST:: SOT 101083 SOS 23028 HAS SOPS 23028 HAS SOUS 13906 HAS SOUPS 13906 WITH SCORE 13929.028
AT ITER 5091 NEW BEST:: SOT 101082 SOS 23027 HAS SOPS 23027 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13928.027
AT ITER 5106 NEW BEST:: SOT 101081 SOS 23025 HAS SOPS 23025 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13926.025
AT ITER 5113 NEW BEST:: SOT 101080 SOS 23023 HAS SOPS 23023 HAS SOUS 13902 HAS SOUPS 13902 WITH SCORE 13925.023
AT ITER 5116 NEW BEST:: SOT 101079 SOS 23022 HAS SOPS 23022 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13924.022
AT ITER 5124 NEW BEST:: SOT 101068 SOS 23015 HAS SOPS 23015 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13924.015
AT ITER 5147 NEW BEST:: SOT 101058 SOS 23005 HAS SOPS 23005 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13916.005
AT ITER 5176 NEW BEST:: SOT 101061 SOS 23003 HAS SOPS 23003 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13914.003
AT ITER 5189 NEW BEST:: SOT 101061 SOS 22997 HAS SOPS 22997 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13907.997
AT ITER 5197 NEW BEST:: SOT 101059 SOS 22994 HAS SOPS 22994 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13905.994
AT ITER 5205 NEW BEST:: SOT 101058 SOS 22973 HAS SOPS 22973 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13884.973
AT ITER 5211 NEW BEST:: SOT 101058 SOS 22973 HAS SOPS 22973 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13874.973
AT ITER 5220 NEW BEST:: SOT 101073 SOS 22870 HAS SOPS 22870 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13771.87
AT ITER 5240 NEW BEST:: SOT 101062 SOS 22859 HAS SOPS 22859 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13760.859
AT ITER 5256 NEW BEST:: SOT 100983 SOS 22784 HAS SOPS 22784 HAS SOUS 13730 HAS SOUPS 13730 WITH SCORE 13752.784
AT ITER 5307 NEW BEST:: SOT 100995 SOS 22793 HAS SOPS 22793 HAS SOUS 13724 HAS SOUPS 13724 WITH SCORE 13746.793
AT ITER 5355 NEW BEST:: SOT 100958 SOS 22669 HAS SOPS 22669 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13697.669
AT ITER 5376 NEW BEST:: SOT 100958 SOS 22665 HAS SOPS 22665 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13697.665
AT ITER 5402 NEW BEST:: SOT 100925 SOS 22599 HAS SOPS 22599 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13661.599
AT ITER 5405 NEW BEST:: SOT 100932 SOS 22613 HAS SOPS 22613 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13656.613
AT ITER 5421 NEW BEST:: SOT 100932 SOS 22613 HAS SOPS 22613 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13652.613
AT ITER 5474 NEW BEST:: SOT 100943 SOS 22612 HAS SOPS 22612 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13652.612
AT ITER 5515 NEW BEST:: SOT 100917 SOS 22560 HAS SOPS 22560 HAS SOUS 13604 HAS SOUPS 13604 WITH SCORE 13626.56
AT ITER 5560 NEW BEST:: SOT 100894 SOS 22556 HAS SOPS 22556 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13622.556
AT ITER 5578 NEW BEST:: SOT 100892 SOS 22552 HAS SOPS 22552 HAS SOUS 13596 HAS SOUPS 13596 WITH SCORE 13618.552
AT ITER 5583 NEW BEST:: SOT 100869 SOS 22506 HAS SOPS 22506 HAS SOUS 13550 HAS SOUPS 13550 WITH SCORE 13572.506
AT ITER 5593 NEW BEST:: SOT 100830 SOS 22389 HAS SOPS 22389 HAS SOUS 13472 HAS SOUPS 13472 WITH SCORE 13494.389
AT ITER 5642 NEW BEST:: SOT 100798 SOS 22359 HAS SOPS 22359 HAS SOUS 13440 HAS SOUPS 13440 WITH SCORE 13462.359
AT ITER 5655 NEW BEST:: SOT 100797 SOS 22357 HAS SOPS 22357 HAS SOUS 13438 HAS SOUPS 13438 WITH SCORE 13460.357
AT ITER 5682 NEW BEST:: SOT 100772 SOS 22323 HAS SOPS 22323 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13442.323
AT ITER 5684 NEW BEST:: SOT 100814 SOS 22362 HAS SOPS 22362 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13439.362
AT ITER 5707 NEW BEST:: SOT 100816 SOS 22351 HAS SOPS 22351 HAS SOUS 13411 HAS SOUPS 13411 WITH SCORE 13433.351
AT ITER 5723 NEW BEST:: SOT 100764 SOS 22254 HAS SOPS 22254 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13388.254
AT ITER 5737 NEW BEST:: SOT 100774 SOS 22220 HAS SOPS 22220 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13364.22
AT ITER 5758 NEW BEST:: SOT 100758 SOS 22204 HAS SOPS 22204 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13364.204
AT ITER 5786 NEW BEST:: SOT 100758 SOS 22202 HAS SOPS 22202 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13362.202
AT ITER 5799 NEW BEST:: SOT 100752 SOS 22172 HAS SOPS 22172 HAS SOUS 13328 HAS SOUPS 13328 WITH SCORE 13350.172
AT ITER 5827 NEW BEST:: SOT 100719 SOS 22106 HAS SOPS 22106 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13284.106
AT ITER 5831 NEW BEST:: SOT 100687 SOS 22068 HAS SOPS 22068 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13278.068
AT ITER 5840 NEW BEST:: SOT 100680 SOS 22054 HAS SOPS 22054 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13264.054
AT ITER 5869 NEW BEST:: SOT 100661 SOS 22031 HAS SOPS 22031 HAS SOUS 13238 HAS SOUPS 13238 WITH SCORE 13260.031
AT ITER 5870 NEW BEST:: SOT 100661 SOS 22027 HAS SOPS 22027 HAS SOUS 13234 HAS SOUPS 13234 WITH SCORE 13256.027
AT ITER 5921 NEW BEST:: SOT 100627 SOS 21986 HAS SOPS 21986 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13241.986
AT ITER 5961 NEW BEST:: SOT 100627 SOS 21972 HAS SOPS 21972 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13241.972
AT ITER 5981 NEW BEST:: SOT 100621 SOS 21966 HAS SOPS 21966 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13241.966
AT ITER 6003 NEW BEST:: SOT 100621 SOS 21946 HAS SOPS 21946 HAS SOUS 13220 HAS SOUPS 13220 WITH SCORE 13241.946
AT ITER 6012 NEW BEST:: SOT 100624 SOS 21952 HAS SOPS 21952 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13236.952
AT ITER 6087 NEW BEST:: SOT 100622 SOS 21950 HAS SOPS 21950 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13236.95
AT ITER 6112 NEW BEST:: SOT 100622 SOS 21933 HAS SOPS 21933 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13219.933
AT ITER 6121 NEW BEST:: SOT 100635 SOS 21923 HAS SOPS 21923 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13190.923
AT ITER 6136 NEW BEST:: SOT 100638 SOS 21877 HAS SOPS 21877 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13189.877
AT ITER 6145 NEW BEST:: SOT 100637 SOS 21876 HAS SOPS 21876 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13189.876
AT ITER 6168 NEW BEST:: SOT 100632 SOS 21877 HAS SOPS 21877 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13179.877
AT ITER 6182 NEW BEST:: SOT 100615 SOS 21846 HAS SOPS 21846 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13165.846
AT ITER 6185 NEW BEST:: SOT 100586 SOS 21806 HAS SOPS 21806 HAS SOUS 13102 HAS SOUPS 13102 WITH SCORE 13123.806
AT ITER 6187 NEW BEST:: SOT 100575 SOS 21788 HAS SOPS 21788 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13120.788
AT ITER 6236 NEW BEST:: SOT 100569 SOS 21782 HAS SOPS 21782 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13114.782
AT ITER 6256 NEW BEST:: SOT 100559 SOS 21762 HAS SOPS 21762 HAS SOUS 13073 HAS SOUPS 13073 WITH SCORE 13094.762
AT ITER 6260 NEW BEST:: SOT 100545 SOS 21745 HAS SOPS 21745 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13079.745
AT ITER 6264 NEW BEST:: SOT 100546 SOS 21617 HAS SOPS 21617 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13057.617
AT ITER 6274 NEW BEST:: SOT 100540 SOS 21605 HAS SOPS 21605 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13033.605
AT ITER 6278 NEW BEST:: SOT 100550 SOS 21583 HAS SOPS 21583 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13011.583
AT ITER 6313 NEW BEST:: SOT 100549 SOS 21581 HAS SOPS 21581 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13009.581
AT ITER 6352 NEW BEST:: SOT 100592 SOS 21601 HAS SOPS 21601 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12986.601
AT ITER 6442 NEW BEST:: SOT 100585 SOS 21592 HAS SOPS 21592 HAS SOUS 12956 HAS SOUPS 12956 WITH SCORE 12977.592
AT ITER 6510 NEW BEST:: SOT 100577 SOS 21584 HAS SOPS 21584 HAS SOUS 12948 HAS SOUPS 12948 WITH SCORE 12969.584
AT ITER 6512 NEW BEST:: SOT 100579 SOS 21564 HAS SOPS 21564 HAS SOUS 12948 HAS SOUPS 12948 WITH SCORE 12969.564
AT ITER 6522 NEW BEST:: SOT 100573 SOS 21603 HAS SOPS 21603 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12957.603
AT ITER 6535 NEW BEST:: SOT 100569 SOS 21599 HAS SOPS 21599 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12953.599
AT ITER 6540 NEW BEST:: SOT 100559 SOS 21589 HAS SOPS 21589 HAS SOUS 12931 HAS SOUPS 12931 WITH SCORE 12952.589
AT ITER 6544 NEW BEST:: SOT 100558 SOS 21588 HAS SOPS 21588 HAS SOUS 12929 HAS SOUPS 12929 WITH SCORE 12950.588
AT ITER 6554 NEW BEST:: SOT 100553 SOS 21578 HAS SOPS 21578 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12943.578
AT ITER 6566 NEW BEST:: SOT 100553 SOS 21556 HAS SOPS 21556 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12935.556
AT ITER 6588 NEW BEST:: SOT 100553 SOS 21549 HAS SOPS 21549 HAS SOUS 12907 HAS SOUPS 12907 WITH SCORE 12928.549
AT ITER 6615 NEW BEST:: SOT 100541 SOS 21545 HAS SOPS 21545 HAS SOUS 12903 HAS SOUPS 12903 WITH SCORE 12924.545
AT ITER 6629 NEW BEST:: SOT 100533 SOS 21533 HAS SOPS 21533 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12912.533
AT ITER 6630 NEW BEST:: SOT 100534 SOS 21532 HAS SOPS 21532 HAS SOUS 12891 HAS SOUPS 12891 WITH SCORE 12912.532
AT ITER 6655 NEW BEST:: SOT 100525 SOS 21514 HAS SOPS 21514 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12903.514
AT ITER 6693 NEW BEST:: SOT 100518 SOS 21514 HAS SOPS 21514 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12896.514
AT ITER 6781 NEW BEST:: SOT 100518 SOS 21489 HAS SOPS 21489 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12896.489
AT ITER 6794 NEW BEST:: SOT 100508 SOS 21469 HAS SOPS 21469 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12886.469
AT ITER 6808 NEW BEST:: SOT 100504 SOS 21463 HAS SOPS 21463 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12884.463
AT ITER 6858 NEW BEST:: SOT 100504 SOS 21454 HAS SOPS 21454 HAS SOUS 12863 HAS SOUPS 12863 WITH SCORE 12884.454
AT ITER 6879 NEW BEST:: SOT 100504 SOS 21445 HAS SOPS 21445 HAS SOUS 12861 HAS SOUPS 12861 WITH SCORE 12882.445
AT ITER 6880 NEW BEST:: SOT 100488 SOS 21440 HAS SOPS 21440 HAS SOUS 12856 HAS SOUPS 12856 WITH SCORE 12877.44
AT ITER 6888 NEW BEST:: SOT 100488 SOS 21437 HAS SOPS 21437 HAS SOUS 12853 HAS SOUPS 12853 WITH SCORE 12874.437
AT ITER 6910 NEW BEST:: SOT 100487 SOS 21467 HAS SOPS 21467 HAS SOUS 12852 HAS SOUPS 12852 WITH SCORE 12873.467
AT ITER 6926 NEW BEST:: SOT 100492 SOS 21357 HAS SOPS 21357 HAS SOUS 12852 HAS SOUPS 12852 WITH SCORE 12873.357
AT ITER 6977 NEW BEST:: SOT 100492 SOS 21357 HAS SOPS 21357 HAS SOUS 12848 HAS SOUPS 12848 WITH SCORE 12869.357
AT ITER 7051 NEW BEST:: SOT 100500 SOS 21302 HAS SOPS 21302 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12864.302
AT ITER 7052 NEW BEST:: SOT 100384 SOS 21594 HAS SOPS 21594 HAS SOUS 12771 HAS SOUPS 12771 WITH SCORE 12792.594
AT ITER 7105 NEW BEST:: SOT 100368 SOS 21562 HAS SOPS 21562 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12774.562
AT ITER 7112 NEW BEST:: SOT 100403 SOS 21632 HAS SOPS 21632 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12771.632
AT ITER 7139 NEW BEST:: SOT 100403 SOS 21632 HAS SOPS 21632 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12759.632
AT ITER 7178 NEW BEST:: SOT 100403 SOS 21630 HAS SOPS 21630 HAS SOUS 12736 HAS SOUPS 12736 WITH SCORE 12757.63
AT ITER 7219 NEW BEST:: SOT 100376 SOS 21603 HAS SOPS 21603 HAS SOUS 12736 HAS SOUPS 12736 WITH SCORE 12757.603
AT ITER 7231 NEW BEST:: SOT 100358 SOS 21615 HAS SOPS 21615 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12746.615
AT ITER 7235 NEW BEST:: SOT 100427 SOS 21638 HAS SOPS 21638 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12699.638
AT ITER 7256 NEW BEST:: SOT 100418 SOS 21620 HAS SOPS 21620 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12699.62
AT ITER 7302 NEW BEST:: SOT 100409 SOS 21602 HAS SOPS 21602 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12681.602
AT ITER 7317 NEW BEST:: SOT 100409 SOS 21577 HAS SOPS 21577 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12681.577
AT ITER 7322 NEW BEST:: SOT 100408 SOS 21576 HAS SOPS 21576 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12680.576
AT ITER 7356 NEW BEST:: SOT 100402 SOS 21592 HAS SOPS 21592 HAS SOUS 12657 HAS SOUPS 12657 WITH SCORE 12678.592
AT ITER 7375 NEW BEST:: SOT 100371 SOS 21555 HAS SOPS 21555 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12641.555
AT ITER 7405 NEW BEST:: SOT 100371 SOS 21493 HAS SOPS 21493 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12641.493
AT ITER 7414 NEW BEST:: SOT 100359 SOS 21469 HAS SOPS 21469 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12617.469
AT ITER 7417 NEW BEST:: SOT 100366 SOS 21449 HAS SOPS 21449 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12615.449
AT ITER 7467 NEW BEST:: SOT 100360 SOS 21437 HAS SOPS 21437 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12603.437
AT ITER 7490 NEW BEST:: SOT 100357 SOS 21434 HAS SOPS 21434 HAS SOUS 12582 HAS SOUPS 12582 WITH SCORE 12603.434
AT ITER 7499 NEW BEST:: SOT 100355 SOS 21429 HAS SOPS 21429 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12600.429
AT ITER 7522 NEW BEST:: SOT 100286 SOS 21291 HAS SOPS 21291 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12526.291
AT ITER 7523 NEW BEST:: SOT 100288 SOS 21282 HAS SOPS 21282 HAS SOUS 12505 HAS SOUPS 12505 WITH SCORE 12526.282
AT ITER 7542 NEW BEST:: SOT 100284 SOS 21274 HAS SOPS 21274 HAS SOUS 12497 HAS SOUPS 12497 WITH SCORE 12518.274
AT ITER 7568 NEW BEST:: SOT 100286 SOS 21240 HAS SOPS 21240 HAS SOUS 12483 HAS SOUPS 12483 WITH SCORE 12504.24
AT ITER 7569 NEW BEST:: SOT 100273 SOS 21234 HAS SOPS 21234 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12501.234
AT ITER 7573 NEW BEST:: SOT 100149 SOS 21093 HAS SOPS 21093 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12467.093
AT ITER 7638 NEW BEST:: SOT 100103 SOS 21082 HAS SOPS 21082 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12456.082
AT ITER 7645 NEW BEST:: SOT 100098 SOS 21077 HAS SOPS 21077 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12451.077
AT ITER 7656 NEW BEST:: SOT 100092 SOS 21040 HAS SOPS 21040 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12445.04
AT ITER 7659 NEW BEST:: SOT 100092 SOS 21025 HAS SOPS 21025 HAS SOUS 12409 HAS SOUPS 12409 WITH SCORE 12430.025
AT ITER 7714 NEW BEST:: SOT 100092 SOS 21009 HAS SOPS 21009 HAS SOUS 12409 HAS SOUPS 12409 WITH SCORE 12430.009
AT ITER 7757 NEW BEST:: SOT 100093 SOS 21010 HAS SOPS 21010 HAS SOUS 12408 HAS SOUPS 12408 WITH SCORE 12429.01
AT ITER 7769 NEW BEST:: SOT 100093 SOS 20992 HAS SOPS 20992 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12410.992
AT ITER 7776 NEW BEST:: SOT 100093 SOS 20964 HAS SOPS 20964 HAS SOUS 12390 HAS SOUPS 12390 WITH SCORE 12410.964
AT ITER 7786 NEW BEST:: SOT 100080 SOS 20938 HAS SOPS 20938 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12393.938
AT ITER 7792 NEW BEST:: SOT 100151 SOS 20965 HAS SOPS 20965 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12368.965
AT ITER 7849 NEW BEST:: SOT 100149 SOS 20961 HAS SOPS 20961 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12364.961
AT ITER 7855 NEW BEST:: SOT 100149 SOS 20954 HAS SOPS 20954 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12364.954
AT ITER 7890 NEW BEST:: SOT 100171 SOS 20953 HAS SOPS 20953 HAS SOUS 12343 HAS SOUPS 12343 WITH SCORE 12363.953
AT ITER 7898 NEW BEST:: SOT 100170 SOS 20951 HAS SOPS 20951 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12362.951
AT ITER 7921 NEW BEST:: SOT 100159 SOS 20943 HAS SOPS 20943 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12354.943
AT ITER 7938 NEW BEST:: SOT 100168 SOS 20933 HAS SOPS 20933 HAS SOUS 12324 HAS SOUPS 12324 WITH SCORE 12344.933
AT ITER 7961 NEW BEST:: SOT 100160 SOS 20925 HAS SOPS 20925 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12336.925
AT ITER 8047 NEW BEST:: SOT 100154 SOS 20937 HAS SOPS 20937 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12330.937
AT ITER 8057 NEW BEST:: SOT 100163 SOS 20811 HAS SOPS 20811 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12330.811
AT ITER 8159 NEW BEST:: SOT 100141 SOS 20767 HAS SOPS 20767 HAS SOUS 12275 HAS SOUPS 12275 WITH SCORE 12295.767
AT ITER 8184 NEW BEST:: SOT 100048 SOS 20581 HAS SOPS 20581 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12292.581
AT ITER 8191 NEW BEST:: SOT 100048 SOS 20576 HAS SOPS 20576 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12292.576
AT ITER 8201 NEW BEST:: SOT 100031 SOS 20542 HAS SOPS 20542 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12258.542
AT ITER 8206 NEW BEST:: SOT 100021 SOS 20522 HAS SOPS 20522 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12238.522
AT ITER 8230 NEW BEST:: SOT 99989 SOS 20477 HAS SOPS 20477 HAS SOUS 12205 HAS SOUPS 12205 WITH SCORE 12225.477
AT ITER 8282 NEW BEST:: SOT 99989 SOS 20466 HAS SOPS 20466 HAS SOUS 12205 HAS SOUPS 12205 WITH SCORE 12225.466
AT ITER 8332 NEW BEST:: SOT 99985 SOS 20455 HAS SOPS 20455 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12214.455
AT ITER 8428 NEW BEST:: SOT 99969 SOS 20423 HAS SOPS 20423 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12181.423
AT ITER 8444 NEW BEST:: SOT 100020 SOS 20474 HAS SOPS 20474 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12162.474
AT ITER 8482 NEW BEST:: SOT 100017 SOS 20485 HAS SOPS 20485 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12160.485
AT ITER 8582 NEW BEST:: SOT 99996 SOS 20478 HAS SOPS 20478 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12153.478
AT ITER 8663 NEW BEST:: SOT 99978 SOS 20460 HAS SOPS 20460 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12141.46
AT ITER 8756 NEW BEST:: SOT 99975 SOS 20454 HAS SOPS 20454 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12135.454
AT ITER 8774 NEW BEST:: SOT 99989 SOS 20321 HAS SOPS 20321 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12135.321
AT ITER 8832 NEW BEST:: SOT 99996 SOS 20328 HAS SOPS 20328 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12128.328
AT ITER 8843 NEW BEST:: SOT 99996 SOS 20316 HAS SOPS 20316 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12128.316
AT ITER 8856 NEW BEST:: SOT 99995 SOS 20306 HAS SOPS 20306 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12122.306
AT ITER 8881 NEW BEST:: SOT 99985 SOS 20286 HAS SOPS 20286 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12122.286
AT ITER 8911 NEW BEST:: SOT 99969 SOS 20266 HAS SOPS 20266 HAS SOUS 12087 HAS SOUPS 12087 WITH SCORE 12107.266
AT ITER 8918 NEW BEST:: SOT 99970 SOS 20268 HAS SOPS 20268 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12106.268
AT ITER 8948 NEW BEST:: SOT 99963 SOS 20261 HAS SOPS 20261 HAS SOUS 12079 HAS SOUPS 12079 WITH SCORE 12099.261
AT ITER 8964 NEW BEST:: SOT 99961 SOS 20259 HAS SOPS 20259 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12097.259
AT ITER 8980 NEW BEST:: SOT 99939 SOS 20235 HAS SOPS 20235 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12093.235
AT ITER 9058 NEW BEST:: SOT 99937 SOS 20222 HAS SOPS 20222 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12082.222
AT ITER 9074 NEW BEST:: SOT 99894 SOS 20194 HAS SOPS 20194 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12067.194
AT ITER 9213 NEW BEST:: SOT 99893 SOS 20192 HAS SOPS 20192 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12065.192
AT ITER 9221 NEW BEST:: SOT 99890 SOS 20183 HAS SOPS 20183 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12059.183
AT ITER 9229 NEW BEST:: SOT 99889 SOS 20182 HAS SOPS 20182 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12058.182
AT ITER 9252 NEW BEST:: SOT 99888 SOS 20150 HAS SOPS 20150 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12029.15
AT ITER 9254 NEW BEST:: SOT 99878 SOS 20135 HAS SOPS 20135 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12014.135
AT ITER 9354 NEW BEST:: SOT 99874 SOS 20129 HAS SOPS 20129 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12010.129
AT ITER 9381 NEW BEST:: SOT 99874 SOS 20128 HAS SOPS 20128 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12010.128
AT ITER 9412 NEW BEST:: SOT 99850 SOS 20104 HAS SOPS 20104 HAS SOUS 11973 HAS SOUPS 11973 WITH SCORE 11993.104
AT ITER 9437 NEW BEST:: SOT 99838 SOS 20074 HAS SOPS 20074 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11975.074
AT ITER 9441 NEW BEST:: SOT 99830 SOS 20062 HAS SOPS 20062 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11963.062
AT ITER 9459 NEW BEST:: SOT 99807 SOS 20016 HAS SOPS 20016 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11963.016
AT ITER 9573 NEW BEST:: SOT 99820 SOS 19994 HAS SOPS 19994 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11940.994
AT ITER 9630 NEW BEST:: SOT 99813 SOS 20012 HAS SOPS 20012 HAS SOUS 11917 HAS SOUPS 11917 WITH SCORE 11937.012
AT ITER 9647 NEW BEST:: SOT 99813 SOS 20012 HAS SOPS 20012 HAS SOUS 11900 HAS SOUPS 11900 WITH SCORE 11920.012
AT ITER 9648 NEW BEST:: SOT 99838 SOS 20001 HAS SOPS 20001 HAS SOUS 11889 HAS SOUPS 11889 WITH SCORE 11909.001
AT ITER 9739 NEW BEST:: SOT 99836 SOS 19997 HAS SOPS 19997 HAS SOUS 11889 HAS SOUPS 11889 WITH SCORE 11908.997
AT ITER 9748 NEW BEST:: SOT 99829 SOS 19988 HAS SOPS 19988 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11905.988
AT ITER 9830 NEW BEST:: SOT 99829 SOS 19976 HAS SOPS 19976 HAS SOUS 11886 HAS SOUPS 11886 WITH SCORE 11905.976
AT ITER 9832 NEW BEST:: SOT 99825 SOS 19968 HAS SOPS 19968 HAS SOUS 11880 HAS SOUPS 11880 WITH SCORE 11899.968
AT ITER 9836 NEW BEST:: SOT 99826 SOS 19914 HAS SOPS 19914 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11897.914
AT ITER 9923 NEW BEST:: SOT 99826 SOS 19914 HAS SOPS 19914 HAS SOUS 11875 HAS SOUPS 11875 WITH SCORE 11894.914
AT ITER 9960 NEW BEST:: SOT 99877 SOS 19941 HAS SOPS 19941 HAS SOUS 11861 HAS SOUPS 11861 WITH SCORE 11880.941
AT ITER 9978 NEW BEST:: SOT 99877 SOS 19902 HAS SOPS 19902 HAS SOUS 11822 HAS SOUPS 11822 WITH SCORE 11841.902
AT ITER 9982 NEW BEST:: SOT 99873 SOS 19894 HAS SOPS 19894 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11834.894
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 790884 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122148 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="SmartHome-PT-14"
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 SmartHome-PT-14, 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 r459-smll-167912651000264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-14.tgz
mv SmartHome-PT-14 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 '
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 ;