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.r363-smll-167891814300416.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 SemanticWebServices-PT-S128P18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891814300416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 672K
-rw-r--r-- 1 mcc users 6.9K Feb 26 10:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 10:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 10:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 10:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 10:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 10:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 261K 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 1679176244729

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=SemanticWebServices-PT-S128P18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 21:50:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 21:50:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 21:50:47] [INFO ] Load time of PNML (sax parser for PT used): 136 ms
[2023-03-18 21:50:47] [INFO ] Transformed 184 places.
[2023-03-18 21:50:47] [INFO ] Transformed 466 transitions.
[2023-03-18 21:50:47] [INFO ] Parsed PT model containing 184 places and 466 transitions and 1873 arcs in 234 ms.
[2023-03-18 21:50:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 184 places, 466 transitions and 1873 arcs took 10 ms.
Total runtime 286 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P18
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: 184 places, 466 transitions, 1873 arcs.
AT ITER 0 NEW BEST:: SOT 72443 SOS 52389 HAS SOPS 44269 HAS SOUS 19177 HAS SOUPS 16795 WITH SCORE 16847.389
AT ITER 3 NEW BEST:: SOT 72443 SOS 52539 HAS SOPS 44379 HAS SOUS 18888 HAS SOUPS 16486 WITH SCORE 16538.539
AT ITER 6 NEW BEST:: SOT 72443 SOS 52539 HAS SOPS 44355 HAS SOUS 18888 HAS SOUPS 16474 WITH SCORE 16526.539
AT ITER 7 NEW BEST:: SOT 72491 SOS 52313 HAS SOPS 44019 HAS SOUS 18823 HAS SOUPS 16354 WITH SCORE 16406.313
AT ITER 8 NEW BEST:: SOT 72491 SOS 52313 HAS SOPS 44019 HAS SOUS 18633 HAS SOUPS 16164 WITH SCORE 16216.313
AT ITER 10 NEW BEST:: SOT 72491 SOS 52013 HAS SOPS 43637 HAS SOUS 18017 HAS SOUPS 15507 WITH SCORE 15559.013
AT ITER 13 NEW BEST:: SOT 72491 SOS 51833 HAS SOPS 43579 HAS SOUS 18012 HAS SOUPS 15478 WITH SCORE 15529.833
AT ITER 20 NEW BEST:: SOT 72491 SOS 51037 HAS SOPS 42875 HAS SOUS 17405 HAS SOUPS 14917 WITH SCORE 14968.037
AT ITER 22 NEW BEST:: SOT 72491 SOS 50995 HAS SOPS 42813 HAS SOUS 17291 HAS SOUPS 14793 WITH SCORE 14843.995
AT ITER 23 NEW BEST:: SOT 72491 SOS 50963 HAS SOPS 42779 HAS SOUS 17275 HAS SOUPS 14776 WITH SCORE 14826.963
AT ITER 24 NEW BEST:: SOT 72491 SOS 50837 HAS SOPS 42699 HAS SOUS 17212 HAS SOUPS 14736 WITH SCORE 14786.837
AT ITER 26 NEW BEST:: SOT 72491 SOS 50283 HAS SOPS 42043 HAS SOUS 17081 HAS SOUPS 14554 WITH SCORE 14604.283
AT ITER 30 NEW BEST:: SOT 72491 SOS 50213 HAS SOPS 41851 HAS SOUS 16796 HAS SOUPS 14208 WITH SCORE 14258.213
AT ITER 33 NEW BEST:: SOT 72491 SOS 50039 HAS SOPS 41677 HAS SOUS 16403 HAS SOUPS 13815 WITH SCORE 13865.039
AT ITER 40 NEW BEST:: SOT 72491 SOS 50039 HAS SOPS 41661 HAS SOUS 16403 HAS SOUPS 13807 WITH SCORE 13857.039
AT ITER 41 NEW BEST:: SOT 72491 SOS 49985 HAS SOPS 41643 HAS SOUS 16385 HAS SOUPS 13798 WITH SCORE 13847.985
AT ITER 42 NEW BEST:: SOT 72491 SOS 49917 HAS SOPS 41577 HAS SOUS 16351 HAS SOUPS 13765 WITH SCORE 13814.917
AT ITER 49 NEW BEST:: SOT 72491 SOS 49021 HAS SOPS 40681 HAS SOUS 15655 HAS SOUPS 13069 WITH SCORE 13118.021
AT ITER 50 NEW BEST:: SOT 72491 SOS 48929 HAS SOPS 40589 HAS SOUS 15471 HAS SOUPS 12885 WITH SCORE 12933.929
AT ITER 51 NEW BEST:: SOT 72491 SOS 47697 HAS SOPS 39241 HAS SOUS 15228 HAS SOUPS 12584 WITH SCORE 12631.697
AT ITER 55 NEW BEST:: SOT 72487 SOS 47693 HAS SOPS 39237 HAS SOUS 15224 HAS SOUPS 12580 WITH SCORE 12627.693
AT ITER 57 NEW BEST:: SOT 72487 SOS 47383 HAS SOPS 39151 HAS SOUS 15133 HAS SOUPS 12537 WITH SCORE 12584.383
AT ITER 58 NEW BEST:: SOT 72487 SOS 47395 HAS SOPS 39119 HAS SOUS 15139 HAS SOUPS 12521 WITH SCORE 12568.395
AT ITER 65 NEW BEST:: SOT 72487 SOS 47297 HAS SOPS 39119 HAS SOUS 15134 HAS SOUPS 12521 WITH SCORE 12568.297
AT ITER 66 NEW BEST:: SOT 72487 SOS 46987 HAS SOPS 38735 HAS SOUS 14849 HAS SOUPS 12199 WITH SCORE 12245.987
AT ITER 68 NEW BEST:: SOT 72487 SOS 46871 HAS SOPS 38735 HAS SOUS 14820 HAS SOUPS 12199 WITH SCORE 12245.871
AT ITER 69 NEW BEST:: SOT 72487 SOS 46633 HAS SOPS 38497 HAS SOUS 14820 HAS SOUPS 12199 WITH SCORE 12245.633
AT ITER 76 NEW BEST:: SOT 72919 SOS 46858 HAS SOPS 38722 HAS SOUS 14794 HAS SOUPS 12173 WITH SCORE 12219.858
AT ITER 80 NEW BEST:: SOT 72919 SOS 46850 HAS SOPS 38722 HAS SOUS 14790 HAS SOUPS 12173 WITH SCORE 12219.85
AT ITER 83 NEW BEST:: SOT 72919 SOS 46706 HAS SOPS 38722 HAS SOUS 14718 HAS SOUPS 12173 WITH SCORE 12219.706
AT ITER 84 NEW BEST:: SOT 72919 SOS 46614 HAS SOPS 38632 HAS SOUS 14672 HAS SOUPS 12128 WITH SCORE 12174.614
AT ITER 86 NEW BEST:: SOT 72919 SOS 46526 HAS SOPS 38524 HAS SOUS 14628 HAS SOUPS 12074 WITH SCORE 12120.526
AT ITER 87 NEW BEST:: SOT 72919 SOS 46526 HAS SOPS 38390 HAS SOUS 14628 HAS SOUPS 12007 WITH SCORE 12053.526
AT ITER 88 NEW BEST:: SOT 72919 SOS 46506 HAS SOPS 38390 HAS SOUS 14618 HAS SOUPS 12007 WITH SCORE 12053.506
AT ITER 90 NEW BEST:: SOT 72919 SOS 46100 HAS SOPS 37922 HAS SOUS 14573 HAS SOUPS 11962 WITH SCORE 12008.1
AT ITER 91 NEW BEST:: SOT 73281 SOS 46156 HAS SOPS 37748 HAS SOUS 14062 HAS SOUPS 11336 WITH SCORE 11382.156
AT ITER 105 NEW BEST:: SOT 73281 SOS 46150 HAS SOPS 37748 HAS SOUS 14062 HAS SOUPS 11336 WITH SCORE 11382.15
AT ITER 107 NEW BEST:: SOT 73353 SOS 44112 HAS SOPS 35708 HAS SOUS 13795 HAS SOUPS 11068 WITH SCORE 11112.112
AT ITER 112 NEW BEST:: SOT 73353 SOS 44080 HAS SOPS 35688 HAS SOUS 13779 HAS SOUPS 11058 WITH SCORE 11102.08
AT ITER 113 NEW BEST:: SOT 73353 SOS 42742 HAS SOPS 34146 HAS SOUS 13676 HAS SOUPS 10955 WITH SCORE 10997.742
AT ITER 114 NEW BEST:: SOT 73707 SOS 42981 HAS SOPS 34385 HAS SOUS 13602 HAS SOUPS 10881 WITH SCORE 10923.981
AT ITER 116 NEW BEST:: SOT 73707 SOS 42477 HAS SOPS 34013 HAS SOUS 13536 HAS SOUPS 10881 WITH SCORE 10923.477
AT ITER 117 NEW BEST:: SOT 73707 SOS 42395 HAS SOPS 33983 HAS SOUS 13495 HAS SOUPS 10866 WITH SCORE 10908.395
AT ITER 123 NEW BEST:: SOT 73707 SOS 42391 HAS SOPS 33983 HAS SOUS 13493 HAS SOUPS 10866 WITH SCORE 10908.391
AT ITER 133 NEW BEST:: SOT 73707 SOS 42279 HAS SOPS 33927 HAS SOUS 13437 HAS SOUPS 10838 WITH SCORE 10880.279
AT ITER 135 NEW BEST:: SOT 73707 SOS 41459 HAS SOPS 33107 HAS SOUS 13363 HAS SOUPS 10764 WITH SCORE 10805.459
AT ITER 140 NEW BEST:: SOT 73707 SOS 41359 HAS SOPS 33007 HAS SOUS 13322 HAS SOUPS 10723 WITH SCORE 10764.359
AT ITER 143 NEW BEST:: SOT 73701 SOS 40999 HAS SOPS 32791 HAS SOUS 13134 HAS SOUPS 10535 WITH SCORE 10575.999
AT ITER 144 NEW BEST:: SOT 73701 SOS 40975 HAS SOPS 32763 HAS SOUS 13122 HAS SOUPS 10521 WITH SCORE 10561.975
AT ITER 145 NEW BEST:: SOT 73701 SOS 40145 HAS SOPS 31879 HAS SOUS 13139 HAS SOUPS 10511 WITH SCORE 10551.145
AT ITER 146 NEW BEST:: SOT 73701 SOS 40125 HAS SOPS 31879 HAS SOUS 13129 HAS SOUPS 10511 WITH SCORE 10551.125
AT ITER 148 NEW BEST:: SOT 73701 SOS 39507 HAS SOPS 31301 HAS SOUS 13062 HAS SOUPS 10464 WITH SCORE 10503.507
AT ITER 152 NEW BEST:: SOT 73701 SOS 39067 HAS SOPS 30797 HAS SOUS 13094 HAS SOUPS 10464 WITH SCORE 10503.067
AT ITER 153 NEW BEST:: SOT 73701 SOS 38733 HAS SOPS 30463 HAS SOUS 13045 HAS SOUPS 10415 WITH SCORE 10453.733
AT ITER 157 NEW BEST:: SOT 73701 SOS 37341 HAS SOPS 28987 HAS SOUS 13064 HAS SOUPS 10392 WITH SCORE 10429.341
AT ITER 162 NEW BEST:: SOT 73701 SOS 37341 HAS SOPS 28965 HAS SOUS 13064 HAS SOUPS 10381 WITH SCORE 10418.341
AT ITER 163 NEW BEST:: SOT 73701 SOS 37285 HAS SOPS 28965 HAS SOUS 13050 HAS SOUPS 10381 WITH SCORE 10418.285
AT ITER 169 NEW BEST:: SOT 73701 SOS 37213 HAS SOPS 28965 HAS SOUS 13113 HAS SOUPS 10381 WITH SCORE 10418.213
AT ITER 177 NEW BEST:: SOT 73701 SOS 37119 HAS SOPS 28867 HAS SOUS 13066 HAS SOUPS 10332 WITH SCORE 10369.119
AT ITER 180 NEW BEST:: SOT 73701 SOS 36821 HAS SOPS 28825 HAS SOUS 13003 HAS SOUPS 10311 WITH SCORE 10347.821
AT ITER 187 NEW BEST:: SOT 73701 SOS 36747 HAS SOPS 28771 HAS SOUS 12966 HAS SOUPS 10284 WITH SCORE 10320.747
AT ITER 197 NEW BEST:: SOT 73743 SOS 36729 HAS SOPS 28753 HAS SOUS 12957 HAS SOUPS 10275 WITH SCORE 10311.729
AT ITER 199 NEW BEST:: SOT 73743 SOS 36781 HAS SOPS 28741 HAS SOUS 12983 HAS SOUPS 10269 WITH SCORE 10305.781
AT ITER 202 NEW BEST:: SOT 73743 SOS 36769 HAS SOPS 28737 HAS SOUS 12979 HAS SOUPS 10267 WITH SCORE 10303.769
AT ITER 206 NEW BEST:: SOT 73464 SOS 38161 HAS SOPS 28069 HAS SOUS 12984 HAS SOUPS 10155 WITH SCORE 10193.161
AT ITER 216 NEW BEST:: SOT 73417 SOS 38114 HAS SOPS 27790 HAS SOUS 12891 HAS SOUPS 9946 WITH SCORE 9984.114
AT ITER 223 NEW BEST:: SOT 73417 SOS 38090 HAS SOPS 27782 HAS SOUS 12883 HAS SOUPS 9942 WITH SCORE 9980.09
AT ITER 238 NEW BEST:: SOT 73425 SOS 38090 HAS SOPS 27696 HAS SOUS 12825 HAS SOUPS 9841 WITH SCORE 9879.09
AT ITER 239 NEW BEST:: SOT 73425 SOS 38120 HAS SOPS 27690 HAS SOUS 12819 HAS SOUPS 9838 WITH SCORE 9876.12
AT ITER 242 NEW BEST:: SOT 73425 SOS 37596 HAS SOPS 27166 HAS SOUS 12805 HAS SOUPS 9824 WITH SCORE 9861.596
AT ITER 247 NEW BEST:: SOT 73425 SOS 37538 HAS SOPS 27160 HAS SOUS 12776 HAS SOUPS 9821 WITH SCORE 9858.538
AT ITER 248 NEW BEST:: SOT 73425 SOS 37458 HAS SOPS 27138 HAS SOUS 12736 HAS SOUPS 9810 WITH SCORE 9847.458
AT ITER 258 NEW BEST:: SOT 73540 SOS 37529 HAS SOPS 27209 HAS SOUS 12724 HAS SOUPS 9798 WITH SCORE 9835.529
AT ITER 261 NEW BEST:: SOT 73660 SOS 36475 HAS SOPS 26315 HAS SOUS 12538 HAS SOUPS 9612 WITH SCORE 9648.475
AT ITER 263 NEW BEST:: SOT 73660 SOS 36429 HAS SOPS 26335 HAS SOUS 12538 HAS SOUPS 9612 WITH SCORE 9648.429
AT ITER 268 NEW BEST:: SOT 73660 SOS 36369 HAS SOPS 26305 HAS SOUS 12508 HAS SOUPS 9597 WITH SCORE 9633.369
AT ITER 270 NEW BEST:: SOT 73660 SOS 36339 HAS SOPS 26305 HAS SOUS 12493 HAS SOUPS 9597 WITH SCORE 9633.339
AT ITER 273 NEW BEST:: SOT 73880 SOS 35015 HAS SOPS 25109 HAS SOUS 12351 HAS SOUPS 9433 WITH SCORE 9468.015
AT ITER 274 NEW BEST:: SOT 73880 SOS 34971 HAS SOPS 25109 HAS SOUS 12329 HAS SOUPS 9433 WITH SCORE 9467.971
AT ITER 276 NEW BEST:: SOT 73880 SOS 34955 HAS SOPS 25093 HAS SOUS 12321 HAS SOUPS 9425 WITH SCORE 9459.955
AT ITER 281 NEW BEST:: SOT 63774 SOS 56119 HAS SOPS 55853 HAS SOUS 8372 HAS SOUPS 8281 WITH SCORE 8337.119
AT ITER 283 NEW BEST:: SOT 63966 SOS 56311 HAS SOPS 56045 HAS SOUS 8356 HAS SOUPS 8265 WITH SCORE 8321.311
AT ITER 287 NEW BEST:: SOT 63912 SOS 56257 HAS SOPS 55991 HAS SOUS 8327 HAS SOUPS 8236 WITH SCORE 8292.257
AT ITER 288 NEW BEST:: SOT 63876 SOS 56221 HAS SOPS 55955 HAS SOUS 8291 HAS SOUPS 8200 WITH SCORE 8256.221
AT ITER 289 NEW BEST:: SOT 63836 SOS 56181 HAS SOPS 55915 HAS SOUS 8251 HAS SOUPS 8160 WITH SCORE 8216.181
AT ITER 290 NEW BEST:: SOT 64024 SOS 56369 HAS SOPS 56103 HAS SOUS 8029 HAS SOUPS 7938 WITH SCORE 7994.369
AT ITER 293 NEW BEST:: SOT 63800 SOS 56145 HAS SOPS 55879 HAS SOUS 8027 HAS SOUPS 7936 WITH SCORE 7992.145
AT ITER 295 NEW BEST:: SOT 63747 SOS 56092 HAS SOPS 55826 HAS SOUS 8027 HAS SOUPS 7936 WITH SCORE 7992.092
AT ITER 298 NEW BEST:: SOT 63631 SOS 55976 HAS SOPS 55710 HAS SOUS 8003 HAS SOUPS 7912 WITH SCORE 7967.976
AT ITER 301 NEW BEST:: SOT 63569 SOS 55934 HAS SOPS 55662 HAS SOUS 7987 HAS SOUPS 7893 WITH SCORE 7948.934
AT ITER 304 NEW BEST:: SOT 63653 SOS 56018 HAS SOPS 55746 HAS SOUS 7983 HAS SOUPS 7889 WITH SCORE 7945.018
AT ITER 306 NEW BEST:: SOT 63441 SOS 55790 HAS SOPS 55534 HAS SOUS 7730 HAS SOUPS 7644 WITH SCORE 7699.79
AT ITER 310 NEW BEST:: SOT 63369 SOS 55718 HAS SOPS 55462 HAS SOUS 7681 HAS SOUPS 7595 WITH SCORE 7650.718
AT ITER 315 NEW BEST:: SOT 63365 SOS 55714 HAS SOPS 55458 HAS SOUS 7679 HAS SOUPS 7593 WITH SCORE 7648.714
AT ITER 322 NEW BEST:: SOT 63365 SOS 55710 HAS SOPS 55458 HAS SOUS 7674 HAS SOUPS 7590 WITH SCORE 7645.71
AT ITER 333 NEW BEST:: SOT 63359 SOS 55704 HAS SOPS 55452 HAS SOUS 7671 HAS SOUPS 7587 WITH SCORE 7642.704
AT ITER 337 NEW BEST:: SOT 63349 SOS 55694 HAS SOPS 55442 HAS SOUS 7623 HAS SOUPS 7539 WITH SCORE 7594.694
AT ITER 342 NEW BEST:: SOT 63394 SOS 55764 HAS SOPS 55512 HAS SOUS 7589 HAS SOUPS 7505 WITH SCORE 7560.764
AT ITER 343 NEW BEST:: SOT 63386 SOS 55756 HAS SOPS 55504 HAS SOUS 7581 HAS SOUPS 7497 WITH SCORE 7552.756
AT ITER 344 NEW BEST:: SOT 63394 SOS 55764 HAS SOPS 55512 HAS SOUS 7579 HAS SOUPS 7495 WITH SCORE 7550.764
AT ITER 349 NEW BEST:: SOT 63394 SOS 55764 HAS SOPS 55512 HAS SOUS 7565 HAS SOUPS 7481 WITH SCORE 7536.764
AT ITER 351 NEW BEST:: SOT 63390 SOS 55760 HAS SOPS 55508 HAS SOUS 7529 HAS SOUPS 7445 WITH SCORE 7500.76
AT ITER 353 NEW BEST:: SOT 63230 SOS 55600 HAS SOPS 55348 HAS SOUS 7370 HAS SOUPS 7286 WITH SCORE 7341.6
AT ITER 358 NEW BEST:: SOT 63182 SOS 55552 HAS SOPS 55300 HAS SOUS 7370 HAS SOUPS 7286 WITH SCORE 7341.552
AT ITER 359 NEW BEST:: SOT 63182 SOS 55552 HAS SOPS 55300 HAS SOUS 7357 HAS SOUPS 7273 WITH SCORE 7328.552
AT ITER 362 NEW BEST:: SOT 63090 SOS 55460 HAS SOPS 55208 HAS SOUS 7353 HAS SOUPS 7269 WITH SCORE 7324.46
AT ITER 370 NEW BEST:: SOT 63090 SOS 55436 HAS SOPS 55196 HAS SOUS 7322 HAS SOUPS 7244 WITH SCORE 7299.436
AT ITER 373 NEW BEST:: SOT 62925 SOS 55271 HAS SOPS 55031 HAS SOUS 7322 HAS SOUPS 7244 WITH SCORE 7299.271
AT ITER 374 NEW BEST:: SOT 62937 SOS 55283 HAS SOPS 55043 HAS SOUS 7320 HAS SOUPS 7242 WITH SCORE 7297.283
AT ITER 382 NEW BEST:: SOT 63137 SOS 55493 HAS SOPS 55253 HAS SOUS 7293 HAS SOUPS 7215 WITH SCORE 7270.493
AT ITER 398 NEW BEST:: SOT 63091 SOS 55447 HAS SOPS 55207 HAS SOUS 7288 HAS SOUPS 7210 WITH SCORE 7265.447
AT ITER 399 NEW BEST:: SOT 62951 SOS 55307 HAS SOPS 55067 HAS SOUS 7249 HAS SOUPS 7171 WITH SCORE 7226.307
AT ITER 401 NEW BEST:: SOT 62769 SOS 55125 HAS SOPS 54885 HAS SOUS 7177 HAS SOUPS 7099 WITH SCORE 7154.125
AT ITER 406 NEW BEST:: SOT 62843 SOS 55199 HAS SOPS 54959 HAS SOUS 7137 HAS SOUPS 7059 WITH SCORE 7114.199
AT ITER 411 NEW BEST:: SOT 63529 SOS 55885 HAS SOPS 55645 HAS SOUS 7113 HAS SOUPS 7035 WITH SCORE 7090.885
AT ITER 412 NEW BEST:: SOT 62997 SOS 55353 HAS SOPS 55113 HAS SOUS 7102 HAS SOUPS 7024 WITH SCORE 7079.353
AT ITER 437 NEW BEST:: SOT 62997 SOS 55353 HAS SOPS 55113 HAS SOUS 7088 HAS SOUPS 7010 WITH SCORE 7065.353
AT ITER 444 NEW BEST:: SOT 62993 SOS 55349 HAS SOPS 55109 HAS SOUS 7074 HAS SOUPS 6996 WITH SCORE 7051.349
AT ITER 447 NEW BEST:: SOT 65475 SOS 35465 HAS SOPS 30597 HAS SOUS 8221 HAS SOUPS 6789 WITH SCORE 6824.465
AT ITER 448 NEW BEST:: SOT 63783 SOS 41081 HAS SOPS 38261 HAS SOUS 7482 HAS SOUPS 6615 WITH SCORE 6656.081
AT ITER 465 NEW BEST:: SOT 63593 SOS 40891 HAS SOPS 38071 HAS SOUS 7469 HAS SOUPS 6602 WITH SCORE 6642.891
AT ITER 469 NEW BEST:: SOT 63847 SOS 41145 HAS SOPS 38325 HAS SOUS 7414 HAS SOUPS 6547 WITH SCORE 6588.145
AT ITER 474 NEW BEST:: SOT 63817 SOS 41189 HAS SOPS 38295 HAS SOUS 7365 HAS SOUPS 6461 WITH SCORE 6502.189
AT ITER 476 NEW BEST:: SOT 63725 SOS 41097 HAS SOPS 38203 HAS SOUS 7300 HAS SOUPS 6396 WITH SCORE 6437.097
AT ITER 477 NEW BEST:: SOT 63725 SOS 41089 HAS SOPS 38203 HAS SOUS 7296 HAS SOUPS 6396 WITH SCORE 6437.089
AT ITER 482 NEW BEST:: SOT 63725 SOS 41069 HAS SOPS 38171 HAS SOUS 7269 HAS SOUPS 6380 WITH SCORE 6421.069
AT ITER 486 NEW BEST:: SOT 63725 SOS 41069 HAS SOPS 38171 HAS SOUS 7263 HAS SOUPS 6374 WITH SCORE 6415.069
AT ITER 487 NEW BEST:: SOT 63749 SOS 40993 HAS SOPS 38195 HAS SOUS 7180 HAS SOUPS 6341 WITH SCORE 6381.993
AT ITER 494 NEW BEST:: SOT 63749 SOS 40945 HAS SOPS 38121 HAS SOUS 7156 HAS SOUPS 6304 WITH SCORE 6344.945
AT ITER 505 NEW BEST:: SOT 63749 SOS 40919 HAS SOPS 38095 HAS SOUS 7143 HAS SOUPS 6291 WITH SCORE 6331.919
AT ITER 523 NEW BEST:: SOT 63705 SOS 40875 HAS SOPS 38051 HAS SOUS 7105 HAS SOUPS 6253 WITH SCORE 6293.875
AT ITER 526 NEW BEST:: SOT 63717 SOS 40773 HAS SOPS 37949 HAS SOUS 7061 HAS SOUPS 6209 WITH SCORE 6249.773
AT ITER 528 NEW BEST:: SOT 63717 SOS 40773 HAS SOPS 37921 HAS SOUS 7061 HAS SOUPS 6195 WITH SCORE 6235.773
AT ITER 532 NEW BEST:: SOT 63635 SOS 40721 HAS SOPS 37869 HAS SOUS 7035 HAS SOUPS 6169 WITH SCORE 6209.721
AT ITER 534 NEW BEST:: SOT 63613 SOS 40699 HAS SOPS 37847 HAS SOUS 7014 HAS SOUPS 6148 WITH SCORE 6188.699
AT ITER 541 NEW BEST:: SOT 63545 SOS 40631 HAS SOPS 37779 HAS SOUS 6967 HAS SOUPS 6101 WITH SCORE 6141.631
AT ITER 546 NEW BEST:: SOT 63545 SOS 40595 HAS SOPS 37779 HAS SOUS 6949 HAS SOUPS 6101 WITH SCORE 6141.595
AT ITER 556 NEW BEST:: SOT 63479 SOS 40529 HAS SOPS 37713 HAS SOUS 6908 HAS SOUPS 6060 WITH SCORE 6100.529
AT ITER 575 NEW BEST:: SOT 63497 SOS 40547 HAS SOPS 37731 HAS SOUS 6896 HAS SOUPS 6048 WITH SCORE 6088.547
AT ITER 576 NEW BEST:: SOT 63477 SOS 40527 HAS SOPS 37711 HAS SOUS 6882 HAS SOUPS 6034 WITH SCORE 6074.527
AT ITER 584 NEW BEST:: SOT 63497 SOS 40547 HAS SOPS 37731 HAS SOUS 6878 HAS SOUPS 6030 WITH SCORE 6070.547
AT ITER 585 NEW BEST:: SOT 63497 SOS 40547 HAS SOPS 37717 HAS SOUS 6878 HAS SOUPS 6023 WITH SCORE 6063.547
AT ITER 595 NEW BEST:: SOT 63453 SOS 40503 HAS SOPS 37673 HAS SOUS 6856 HAS SOUPS 6001 WITH SCORE 6041.503
AT ITER 598 NEW BEST:: SOT 63447 SOS 40493 HAS SOPS 37665 HAS SOUS 6851 HAS SOUPS 5997 WITH SCORE 6037.493
AT ITER 623 NEW BEST:: SOT 63439 SOS 40485 HAS SOPS 37657 HAS SOUS 6847 HAS SOUPS 5993 WITH SCORE 6033.485
AT ITER 624 NEW BEST:: SOT 61849 SOS 38950 HAS SOPS 36122 HAS SOUS 6570 HAS SOUPS 5716 WITH SCORE 5754.95
AT ITER 630 NEW BEST:: SOT 61729 SOS 38830 HAS SOPS 36002 HAS SOUS 6570 HAS SOUPS 5716 WITH SCORE 5754.83
AT ITER 633 NEW BEST:: SOT 61665 SOS 38766 HAS SOPS 35938 HAS SOUS 6538 HAS SOUPS 5684 WITH SCORE 5722.766
AT ITER 641 NEW BEST:: SOT 61609 SOS 38710 HAS SOPS 35882 HAS SOUS 6524 HAS SOUPS 5670 WITH SCORE 5708.71
AT ITER 643 NEW BEST:: SOT 61633 SOS 38734 HAS SOPS 35906 HAS SOUS 6508 HAS SOUPS 5654 WITH SCORE 5692.734
AT ITER 644 NEW BEST:: SOT 61651 SOS 38720 HAS SOPS 35900 HAS SOUS 6458 HAS SOUPS 5608 WITH SCORE 5646.72
AT ITER 649 NEW BEST:: SOT 61651 SOS 38676 HAS SOPS 35900 HAS SOUS 6447 HAS SOUPS 5608 WITH SCORE 5646.676
AT ITER 651 NEW BEST:: SOT 61645 SOS 38670 HAS SOPS 35894 HAS SOUS 6444 HAS SOUPS 5605 WITH SCORE 5643.67
AT ITER 660 NEW BEST:: SOT 61577 SOS 38594 HAS SOPS 35826 HAS SOUS 6417 HAS SOUPS 5582 WITH SCORE 5620.594
AT ITER 668 NEW BEST:: SOT 61461 SOS 38478 HAS SOPS 35710 HAS SOUS 6382 HAS SOUPS 5547 WITH SCORE 5585.478
AT ITER 672 NEW BEST:: SOT 61439 SOS 38444 HAS SOPS 35682 HAS SOUS 6338 HAS SOUPS 5506 WITH SCORE 5544.444
AT ITER 683 NEW BEST:: SOT 61439 SOS 38418 HAS SOPS 35656 HAS SOUS 6325 HAS SOUPS 5493 WITH SCORE 5531.418
AT ITER 688 NEW BEST:: SOT 61439 SOS 38412 HAS SOPS 35654 HAS SOUS 6323 HAS SOUPS 5492 WITH SCORE 5530.412
AT ITER 689 NEW BEST:: SOT 61439 SOS 38456 HAS SOPS 35640 HAS SOUS 6345 HAS SOUPS 5485 WITH SCORE 5523.456
AT ITER 693 NEW BEST:: SOT 61391 SOS 38408 HAS SOPS 35592 HAS SOUS 6345 HAS SOUPS 5485 WITH SCORE 5523.408
AT ITER 721 NEW BEST:: SOT 61391 SOS 38410 HAS SOPS 35584 HAS SOUS 6346 HAS SOUPS 5481 WITH SCORE 5519.41
AT ITER 732 NEW BEST:: SOT 61407 SOS 38426 HAS SOPS 35600 HAS SOUS 6330 HAS SOUPS 5465 WITH SCORE 5503.426
AT ITER 735 NEW BEST:: SOT 61419 SOS 38434 HAS SOPS 35612 HAS SOUS 6327 HAS SOUPS 5464 WITH SCORE 5502.434
AT ITER 738 NEW BEST:: SOT 61419 SOS 38428 HAS SOPS 35612 HAS SOUS 6327 HAS SOUPS 5464 WITH SCORE 5502.428
AT ITER 751 NEW BEST:: SOT 61367 SOS 38534 HAS SOPS 35718 HAS SOUS 6324 HAS SOUPS 5461 WITH SCORE 5499.534
AT ITER 755 NEW BEST:: SOT 61385 SOS 38554 HAS SOPS 35738 HAS SOUS 6316 HAS SOUPS 5453 WITH SCORE 5491.554
AT ITER 767 NEW BEST:: SOT 61565 SOS 38734 HAS SOPS 35918 HAS SOUS 6304 HAS SOUPS 5441 WITH SCORE 5479.734
AT ITER 772 NEW BEST:: SOT 62017 SOS 39186 HAS SOPS 36370 HAS SOUS 6294 HAS SOUPS 5431 WITH SCORE 5470.186
AT ITER 777 NEW BEST:: SOT 62021 SOS 39190 HAS SOPS 36374 HAS SOUS 6293 HAS SOUPS 5430 WITH SCORE 5469.19
AT ITER 787 NEW BEST:: SOT 62003 SOS 39172 HAS SOPS 36356 HAS SOUS 6275 HAS SOUPS 5412 WITH SCORE 5451.172
AT ITER 810 NEW BEST:: SOT 62365 SOS 39534 HAS SOPS 36718 HAS SOUS 6243 HAS SOUPS 5380 WITH SCORE 5419.534
AT ITER 835 NEW BEST:: SOT 62351 SOS 39520 HAS SOPS 36704 HAS SOUS 6235 HAS SOUPS 5372 WITH SCORE 5411.52
AT ITER 837 NEW BEST:: SOT 62353 SOS 39522 HAS SOPS 36706 HAS SOUS 6234 HAS SOUPS 5371 WITH SCORE 5410.522
AT ITER 839 NEW BEST:: SOT 62341 SOS 39506 HAS SOPS 36690 HAS SOUS 6221 HAS SOUPS 5358 WITH SCORE 5397.506
AT ITER 840 NEW BEST:: SOT 62245 SOS 39410 HAS SOPS 36594 HAS SOUS 6179 HAS SOUPS 5316 WITH SCORE 5355.41
AT ITER 842 NEW BEST:: SOT 62245 SOS 39336 HAS SOPS 36594 HAS SOUS 6156 HAS SOUPS 5316 WITH SCORE 5355.336
AT ITER 843 NEW BEST:: SOT 62285 SOS 39376 HAS SOPS 36634 HAS SOUS 6154 HAS SOUPS 5314 WITH SCORE 5353.376
AT ITER 847 NEW BEST:: SOT 62285 SOS 39360 HAS SOPS 36626 HAS SOUS 6146 HAS SOUPS 5310 WITH SCORE 5349.36
AT ITER 851 NEW BEST:: SOT 62265 SOS 39340 HAS SOPS 36606 HAS SOUS 6126 HAS SOUPS 5290 WITH SCORE 5329.34
AT ITER 858 NEW BEST:: SOT 62251 SOS 39326 HAS SOPS 36592 HAS SOUS 6115 HAS SOUPS 5279 WITH SCORE 5318.326
AT ITER 863 NEW BEST:: SOT 62247 SOS 39322 HAS SOPS 36588 HAS SOUS 6113 HAS SOUPS 5277 WITH SCORE 5316.322
AT ITER 877 NEW BEST:: SOT 62191 SOS 39222 HAS SOPS 36488 HAS SOUS 6035 HAS SOUPS 5199 WITH SCORE 5238.222
AT ITER 884 NEW BEST:: SOT 62191 SOS 39162 HAS SOPS 36468 HAS SOUS 6015 HAS SOUPS 5189 WITH SCORE 5228.162
AT ITER 894 NEW BEST:: SOT 62190 SOS 39152 HAS SOPS 36456 HAS SOUS 6013 HAS SOUPS 5187 WITH SCORE 5226.152
AT ITER 896 NEW BEST:: SOT 62328 SOS 39290 HAS SOPS 36594 HAS SOUS 5992 HAS SOUPS 5166 WITH SCORE 5205.29
AT ITER 898 NEW BEST:: SOT 62328 SOS 39256 HAS SOPS 36594 HAS SOUS 5975 HAS SOUPS 5166 WITH SCORE 5205.256
AT ITER 917 NEW BEST:: SOT 62440 SOS 39368 HAS SOPS 36706 HAS SOUS 5961 HAS SOUPS 5152 WITH SCORE 5191.368
AT ITER 918 NEW BEST:: SOT 62460 SOS 39388 HAS SOPS 36726 HAS SOUS 5951 HAS SOUPS 5142 WITH SCORE 5181.388
AT ITER 920 NEW BEST:: SOT 62460 SOS 39352 HAS SOPS 36708 HAS SOUS 5933 HAS SOUPS 5133 WITH SCORE 5172.352
AT ITER 922 NEW BEST:: SOT 62490 SOS 39284 HAS SOPS 36640 HAS SOUS 5916 HAS SOUPS 5116 WITH SCORE 5155.284
AT ITER 941 NEW BEST:: SOT 62466 SOS 39260 HAS SOPS 36616 HAS SOUS 5892 HAS SOUPS 5092 WITH SCORE 5131.26
AT ITER 948 NEW BEST:: SOT 62466 SOS 39254 HAS SOPS 36614 HAS SOUS 5890 HAS SOUPS 5091 WITH SCORE 5130.254
AT ITER 966 NEW BEST:: SOT 62466 SOS 39236 HAS SOPS 36598 HAS SOUS 5881 HAS SOUPS 5083 WITH SCORE 5122.236
AT ITER 969 NEW BEST:: SOT 62454 SOS 39224 HAS SOPS 36586 HAS SOUS 5870 HAS SOUPS 5072 WITH SCORE 5111.224
AT ITER 973 NEW BEST:: SOT 62454 SOS 39242 HAS SOPS 36580 HAS SOUS 5879 HAS SOUPS 5069 WITH SCORE 5108.242
AT ITER 980 NEW BEST:: SOT 62454 SOS 39222 HAS SOPS 36580 HAS SOUS 5869 HAS SOUPS 5069 WITH SCORE 5108.222
AT ITER 1002 NEW BEST:: SOT 62431 SOS 39199 HAS SOPS 36557 HAS SOUS 5868 HAS SOUPS 5068 WITH SCORE 5107.199
AT ITER 1003 NEW BEST:: SOT 62431 SOS 39085 HAS SOPS 36497 HAS SOUS 5811 HAS SOUPS 5038 WITH SCORE 5077.085
AT ITER 1006 NEW BEST:: SOT 62431 SOS 39025 HAS SOPS 36497 HAS SOUS 5781 HAS SOUPS 5038 WITH SCORE 5077.025
AT ITER 1007 NEW BEST:: SOT 62421 SOS 39009 HAS SOPS 36487 HAS SOUS 5756 HAS SOUPS 5016 WITH SCORE 5055.009
AT ITER 1009 NEW BEST:: SOT 62829 SOS 39417 HAS SOPS 36895 HAS SOUS 5629 HAS SOUPS 4889 WITH SCORE 4928.417
AT ITER 1025 NEW BEST:: SOT 62829 SOS 39367 HAS SOPS 36849 HAS SOUS 5604 HAS SOUPS 4866 WITH SCORE 4905.367
AT ITER 1027 NEW BEST:: SOT 62829 SOS 39319 HAS SOPS 36849 HAS SOUS 5580 HAS SOUPS 4866 WITH SCORE 4905.319
AT ITER 1033 NEW BEST:: SOT 62829 SOS 39313 HAS SOPS 36849 HAS SOUS 5577 HAS SOUPS 4866 WITH SCORE 4905.313
AT ITER 1035 NEW BEST:: SOT 62829 SOS 39325 HAS SOPS 36797 HAS SOUS 5560 HAS SOUPS 4840 WITH SCORE 4879.325
AT ITER 1074 NEW BEST:: SOT 62827 SOS 39342 HAS SOPS 36814 HAS SOUS 5540 HAS SOUPS 4820 WITH SCORE 4859.342
AT ITER 1085 NEW BEST:: SOT 62921 SOS 39436 HAS SOPS 36908 HAS SOUS 5532 HAS SOUPS 4812 WITH SCORE 4851.436
AT ITER 1092 NEW BEST:: SOT 62893 SOS 39408 HAS SOPS 36880 HAS SOUS 5532 HAS SOUPS 4812 WITH SCORE 4851.408
AT ITER 1110 NEW BEST:: SOT 62743 SOS 39258 HAS SOPS 36730 HAS SOUS 5513 HAS SOUPS 4793 WITH SCORE 4832.258
AT ITER 1123 NEW BEST:: SOT 62727 SOS 39242 HAS SOPS 36714 HAS SOUS 5506 HAS SOUPS 4786 WITH SCORE 4825.242
AT ITER 1155 NEW BEST:: SOT 62725 SOS 39240 HAS SOPS 36712 HAS SOUS 5506 HAS SOUPS 4786 WITH SCORE 4825.24
AT ITER 1159 NEW BEST:: SOT 62701 SOS 39216 HAS SOPS 36688 HAS SOUS 5494 HAS SOUPS 4774 WITH SCORE 4813.216
AT ITER 1162 NEW BEST:: SOT 62705 SOS 39220 HAS SOPS 36692 HAS SOUS 5493 HAS SOUPS 4773 WITH SCORE 4812.22
AT ITER 1176 NEW BEST:: SOT 62705 SOS 38342 HAS SOPS 35762 HAS SOUS 5519 HAS SOUPS 4773 WITH SCORE 4811.342
AT ITER 1195 NEW BEST:: SOT 62567 SOS 38204 HAS SOPS 35624 HAS SOUS 5510 HAS SOUPS 4764 WITH SCORE 4802.204
AT ITER 1202 NEW BEST:: SOT 62539 SOS 38176 HAS SOPS 35596 HAS SOUS 5508 HAS SOUPS 4762 WITH SCORE 4800.176
AT ITER 1203 NEW BEST:: SOT 62539 SOS 38096 HAS SOPS 35596 HAS SOUS 5479 HAS SOUPS 4752 WITH SCORE 4790.096
AT ITER 1211 NEW BEST:: SOT 62539 SOS 38096 HAS SOPS 35588 HAS SOUS 5479 HAS SOUPS 4748 WITH SCORE 4786.096
AT ITER 1216 NEW BEST:: SOT 62509 SOS 38026 HAS SOPS 35538 HAS SOUS 5432 HAS SOUPS 4711 WITH SCORE 4749.026
AT ITER 1221 NEW BEST:: SOT 62509 SOS 37974 HAS SOPS 35486 HAS SOUS 5406 HAS SOUPS 4685 WITH SCORE 4722.974
AT ITER 1240 NEW BEST:: SOT 62509 SOS 37974 HAS SOPS 35486 HAS SOUS 5391 HAS SOUPS 4670 WITH SCORE 4707.974
AT ITER 1256 NEW BEST:: SOT 62476 SOS 37920 HAS SOPS 35432 HAS SOUS 5359 HAS SOUPS 4638 WITH SCORE 4675.92
AT ITER 1278 NEW BEST:: SOT 62502 SOS 37946 HAS SOPS 35458 HAS SOUS 5314 HAS SOUPS 4593 WITH SCORE 4630.946
AT ITER 1280 NEW BEST:: SOT 62482 SOS 37926 HAS SOPS 35438 HAS SOUS 5304 HAS SOUPS 4583 WITH SCORE 4620.926
AT ITER 1292 NEW BEST:: SOT 62476 SOS 37920 HAS SOPS 35432 HAS SOUS 5294 HAS SOUPS 4573 WITH SCORE 4610.92
AT ITER 1305 NEW BEST:: SOT 62476 SOS 37932 HAS SOPS 35432 HAS SOUS 5295 HAS SOUPS 4568 WITH SCORE 4605.932
AT ITER 1327 NEW BEST:: SOT 62484 SOS 37939 HAS SOPS 35439 HAS SOUS 5294 HAS SOUPS 4567 WITH SCORE 4604.939
AT ITER 1341 NEW BEST:: SOT 62436 SOS 37891 HAS SOPS 35391 HAS SOUS 5252 HAS SOUPS 4525 WITH SCORE 4562.891
AT ITER 1344 NEW BEST:: SOT 62436 SOS 37883 HAS SOPS 35383 HAS SOUS 5248 HAS SOUPS 4521 WITH SCORE 4558.883
AT ITER 1355 NEW BEST:: SOT 62372 SOS 37819 HAS SOPS 35319 HAS SOUS 5244 HAS SOUPS 4517 WITH SCORE 4554.819
AT ITER 1358 NEW BEST:: SOT 62318 SOS 37765 HAS SOPS 35265 HAS SOUS 5217 HAS SOUPS 4490 WITH SCORE 4527.765
AT ITER 1359 NEW BEST:: SOT 62338 SOS 37785 HAS SOPS 35285 HAS SOUS 5207 HAS SOUPS 4480 WITH SCORE 4517.785
AT ITER 1372 NEW BEST:: SOT 62344 SOS 37791 HAS SOPS 35291 HAS SOUS 5204 HAS SOUPS 4477 WITH SCORE 4514.791
AT ITER 1390 NEW BEST:: SOT 62344 SOS 37725 HAS SOPS 35279 HAS SOUS 5192 HAS SOUPS 4471 WITH SCORE 4508.725
AT ITER 1400 NEW BEST:: SOT 62318 SOS 37671 HAS SOPS 35225 HAS SOUS 5165 HAS SOUPS 4444 WITH SCORE 4481.671
AT ITER 1405 NEW BEST:: SOT 62326 SOS 37679 HAS SOPS 35233 HAS SOUS 5118 HAS SOUPS 4397 WITH SCORE 4434.679
AT ITER 1425 NEW BEST:: SOT 62325 SOS 37677 HAS SOPS 35231 HAS SOUS 5115 HAS SOUPS 4394 WITH SCORE 4431.677
AT ITER 1429 NEW BEST:: SOT 62325 SOS 37677 HAS SOPS 35231 HAS SOUS 5101 HAS SOUPS 4380 WITH SCORE 4417.677
AT ITER 1435 NEW BEST:: SOT 62325 SOS 37677 HAS SOPS 35231 HAS SOUS 5097 HAS SOUPS 4376 WITH SCORE 4413.677
AT ITER 1441 NEW BEST:: SOT 62325 SOS 37607 HAS SOPS 35177 HAS SOUS 5062 HAS SOUPS 4349 WITH SCORE 4386.607
AT ITER 1455 NEW BEST:: SOT 62325 SOS 37591 HAS SOPS 35175 HAS SOUS 5054 HAS SOUPS 4348 WITH SCORE 4385.591
AT ITER 1457 NEW BEST:: SOT 62747 SOS 38013 HAS SOPS 35597 HAS SOUS 5044 HAS SOUPS 4338 WITH SCORE 4376.013
AT ITER 1460 NEW BEST:: SOT 62747 SOS 38013 HAS SOPS 35597 HAS SOUS 5041 HAS SOUPS 4335 WITH SCORE 4373.013
AT ITER 1487 NEW BEST:: SOT 62723 SOS 37957 HAS SOPS 35573 HAS SOUS 4999 HAS SOUPS 4309 WITH SCORE 4346.957
AT ITER 1490 NEW BEST:: SOT 62723 SOS 37955 HAS SOPS 35573 HAS SOUS 4999 HAS SOUPS 4309 WITH SCORE 4346.955
AT ITER 1507 NEW BEST:: SOT 62695 SOS 37927 HAS SOPS 35545 HAS SOUS 4997 HAS SOUPS 4307 WITH SCORE 4344.927
AT ITER 1513 NEW BEST:: SOT 62757 SOS 37989 HAS SOPS 35607 HAS SOUS 4991 HAS SOUPS 4301 WITH SCORE 4338.989
AT ITER 1514 NEW BEST:: SOT 62757 SOS 37988 HAS SOPS 35606 HAS SOUS 4991 HAS SOUPS 4301 WITH SCORE 4338.988
AT ITER 1537 NEW BEST:: SOT 62742 SOS 37973 HAS SOPS 35591 HAS SOUS 4991 HAS SOUPS 4301 WITH SCORE 4338.973
AT ITER 1540 NEW BEST:: SOT 62278 SOS 37534 HAS SOPS 35152 HAS SOUS 4939 HAS SOUPS 4249 WITH SCORE 4286.534
AT ITER 1569 NEW BEST:: SOT 62276 SOS 37530 HAS SOPS 35148 HAS SOUS 4935 HAS SOUPS 4245 WITH SCORE 4282.53
AT ITER 1573 NEW BEST:: SOT 62264 SOS 37515 HAS SOPS 35133 HAS SOUS 4926 HAS SOUPS 4236 WITH SCORE 4273.515
AT ITER 1583 NEW BEST:: SOT 62264 SOS 37507 HAS SOPS 35129 HAS SOUS 4922 HAS SOUPS 4234 WITH SCORE 4271.507
AT ITER 1585 NEW BEST:: SOT 62244 SOS 37445 HAS SOPS 35067 HAS SOUS 4921 HAS SOUPS 4233 WITH SCORE 4270.445
AT ITER 1592 NEW BEST:: SOT 62244 SOS 37441 HAS SOPS 35063 HAS SOUS 4919 HAS SOUPS 4231 WITH SCORE 4268.441
AT ITER 1597 NEW BEST:: SOT 62240 SOS 37437 HAS SOPS 35059 HAS SOUS 4917 HAS SOUPS 4229 WITH SCORE 4266.437
AT ITER 1616 NEW BEST:: SOT 62292 SOS 37489 HAS SOPS 35111 HAS SOUS 4911 HAS SOUPS 4223 WITH SCORE 4260.489
AT ITER 1618 NEW BEST:: SOT 62292 SOS 37487 HAS SOPS 35111 HAS SOUS 4910 HAS SOUPS 4223 WITH SCORE 4260.487
AT ITER 1625 NEW BEST:: SOT 62292 SOS 37473 HAS SOPS 35111 HAS SOUS 4907 HAS SOUPS 4223 WITH SCORE 4260.473
AT ITER 1627 NEW BEST:: SOT 62264 SOS 37445 HAS SOPS 35083 HAS SOUS 4879 HAS SOUPS 4195 WITH SCORE 4232.445
AT ITER 1634 NEW BEST:: SOT 62264 SOS 37445 HAS SOPS 35083 HAS SOUS 4876 HAS SOUPS 4192 WITH SCORE 4229.445
AT ITER 1645 NEW BEST:: SOT 62260 SOS 37441 HAS SOPS 35079 HAS SOUS 4876 HAS SOUPS 4192 WITH SCORE 4229.441
AT ITER 1653 NEW BEST:: SOT 62260 SOS 37437 HAS SOPS 35077 HAS SOUS 4875 HAS SOUPS 4191 WITH SCORE 4228.437
AT ITER 1676 NEW BEST:: SOT 62258 SOS 37435 HAS SOPS 35075 HAS SOUS 4874 HAS SOUPS 4190 WITH SCORE 4227.435
AT ITER 1679 NEW BEST:: SOT 62248 SOS 37425 HAS SOPS 35065 HAS SOUS 4864 HAS SOUPS 4180 WITH SCORE 4217.425
AT ITER 1683 NEW BEST:: SOT 62248 SOS 37393 HAS SOPS 35049 HAS SOUS 4848 HAS SOUPS 4172 WITH SCORE 4209.393
AT ITER 1722 NEW BEST:: SOT 62210 SOS 37355 HAS SOPS 35011 HAS SOUS 4842 HAS SOUPS 4166 WITH SCORE 4203.355
AT ITER 1731 NEW BEST:: SOT 62208 SOS 37353 HAS SOPS 35009 HAS SOUS 4836 HAS SOUPS 4160 WITH SCORE 4197.353
AT ITER 1770 NEW BEST:: SOT 62208 SOS 37337 HAS SOPS 35001 HAS SOUS 4828 HAS SOUPS 4156 WITH SCORE 4193.337
AT ITER 1786 NEW BEST:: SOT 61922 SOS 37051 HAS SOPS 34715 HAS SOUS 4827 HAS SOUPS 4155 WITH SCORE 4192.051
AT ITER 1794 NEW BEST:: SOT 61894 SOS 37023 HAS SOPS 34687 HAS SOUS 4812 HAS SOUPS 4140 WITH SCORE 4177.023
AT ITER 1800 NEW BEST:: SOT 61786 SOS 36915 HAS SOPS 34579 HAS SOUS 4811 HAS SOUPS 4139 WITH SCORE 4175.915
AT ITER 1836 NEW BEST:: SOT 61786 SOS 36913 HAS SOPS 34577 HAS SOUS 4810 HAS SOUPS 4138 WITH SCORE 4174.913
AT ITER 1875 NEW BEST:: SOT 61800 SOS 36927 HAS SOPS 34591 HAS SOUS 4808 HAS SOUPS 4136 WITH SCORE 4172.927
AT ITER 1915 NEW BEST:: SOT 61800 SOS 36927 HAS SOPS 34591 HAS SOUS 4807 HAS SOUPS 4135 WITH SCORE 4171.927
AT ITER 1928 NEW BEST:: SOT 61862 SOS 36989 HAS SOPS 34653 HAS SOUS 4806 HAS SOUPS 4134 WITH SCORE 4170.989
AT ITER 1954 NEW BEST:: SOT 61862 SOS 36989 HAS SOPS 34653 HAS SOUS 4800 HAS SOUPS 4128 WITH SCORE 4164.989
AT ITER 1992 NEW BEST:: SOT 61843 SOS 37002 HAS SOPS 34666 HAS SOUS 4799 HAS SOUPS 4127 WITH SCORE 4164.002
AT ITER 2002 NEW BEST:: SOT 61835 SOS 36994 HAS SOPS 34658 HAS SOUS 4791 HAS SOUPS 4119 WITH SCORE 4155.994
AT ITER 2008 NEW BEST:: SOT 61835 SOS 36994 HAS SOPS 34658 HAS SOUS 4789 HAS SOUPS 4117 WITH SCORE 4153.994
AT ITER 2009 NEW BEST:: SOT 61705 SOS 36864 HAS SOPS 34528 HAS SOUS 4786 HAS SOUPS 4114 WITH SCORE 4150.864
AT ITER 2021 NEW BEST:: SOT 61693 SOS 36852 HAS SOPS 34516 HAS SOUS 4744 HAS SOUPS 4072 WITH SCORE 4108.852
AT ITER 2040 NEW BEST:: SOT 61689 SOS 36848 HAS SOPS 34512 HAS SOUS 4740 HAS SOUPS 4068 WITH SCORE 4104.848
AT ITER 2047 NEW BEST:: SOT 61687 SOS 36846 HAS SOPS 34510 HAS SOUS 4737 HAS SOUPS 4065 WITH SCORE 4101.846
AT ITER 2051 NEW BEST:: SOT 61681 SOS 36840 HAS SOPS 34504 HAS SOUS 4731 HAS SOUPS 4059 WITH SCORE 4095.84
AT ITER 2056 NEW BEST:: SOT 61685 SOS 36844 HAS SOPS 34508 HAS SOUS 4729 HAS SOUPS 4057 WITH SCORE 4093.844
AT ITER 2057 NEW BEST:: SOT 61689 SOS 36848 HAS SOPS 34512 HAS SOUS 4728 HAS SOUPS 4056 WITH SCORE 4092.848
AT ITER 2060 NEW BEST:: SOT 61681 SOS 36840 HAS SOPS 34504 HAS SOUS 4715 HAS SOUPS 4043 WITH SCORE 4079.84
AT ITER 2092 NEW BEST:: SOT 61737 SOS 36896 HAS SOPS 34560 HAS SOUS 4713 HAS SOUPS 4041 WITH SCORE 4077.896
AT ITER 2129 NEW BEST:: SOT 61737 SOS 36895 HAS SOPS 34559 HAS SOUS 4712 HAS SOUPS 4040 WITH SCORE 4076.895
AT ITER 2130 NEW BEST:: SOT 61601 SOS 36759 HAS SOPS 34423 HAS SOUS 4701 HAS SOUPS 4029 WITH SCORE 4065.759
AT ITER 2155 NEW BEST:: SOT 61609 SOS 36767 HAS SOPS 34431 HAS SOUS 4694 HAS SOUPS 4022 WITH SCORE 4058.767
AT ITER 2188 NEW BEST:: SOT 61577 SOS 36735 HAS SOPS 34399 HAS SOUS 4675 HAS SOUPS 4003 WITH SCORE 4039.735
AT ITER 2203 NEW BEST:: SOT 61542 SOS 36665 HAS SOPS 34329 HAS SOUS 4672 HAS SOUPS 4000 WITH SCORE 4036.665
AT ITER 2204 NEW BEST:: SOT 61572 SOS 36695 HAS SOPS 34359 HAS SOUS 4671 HAS SOUPS 3999 WITH SCORE 4035.695
AT ITER 2210 NEW BEST:: SOT 61572 SOS 36695 HAS SOPS 34359 HAS SOUS 4658 HAS SOUPS 3986 WITH SCORE 4022.695
AT ITER 2213 NEW BEST:: SOT 61570 SOS 36693 HAS SOPS 34357 HAS SOUS 4654 HAS SOUPS 3982 WITH SCORE 4018.693
AT ITER 2224 NEW BEST:: SOT 61556 SOS 36679 HAS SOPS 34343 HAS SOUS 4647 HAS SOUPS 3975 WITH SCORE 4011.679
AT ITER 2233 NEW BEST:: SOT 61556 SOS 36677 HAS SOPS 34331 HAS SOUS 4632 HAS SOUPS 3969 WITH SCORE 4005.677
AT ITER 2241 NEW BEST:: SOT 61556 SOS 36677 HAS SOPS 34315 HAS SOUS 4632 HAS SOUPS 3961 WITH SCORE 3997.677
AT ITER 2261 NEW BEST:: SOT 61584 SOS 36722 HAS SOPS 34360 HAS SOUS 4612 HAS SOUPS 3941 WITH SCORE 3977.722
AT ITER 2289 NEW BEST:: SOT 61574 SOS 36712 HAS SOPS 34350 HAS SOUS 4609 HAS SOUPS 3938 WITH SCORE 3974.712
AT ITER 2294 NEW BEST:: SOT 61552 SOS 36690 HAS SOPS 34328 HAS SOUS 4598 HAS SOUPS 3927 WITH SCORE 3963.69
AT ITER 2335 NEW BEST:: SOT 61656 SOS 36794 HAS SOPS 34432 HAS SOUS 4557 HAS SOUPS 3886 WITH SCORE 3922.794
AT ITER 2339 NEW BEST:: SOT 61656 SOS 36794 HAS SOPS 34432 HAS SOUS 4555 HAS SOUPS 3884 WITH SCORE 3920.794
AT ITER 2340 NEW BEST:: SOT 61656 SOS 36770 HAS SOPS 34414 HAS SOUS 4553 HAS SOUPS 3875 WITH SCORE 3911.77
AT ITER 2351 NEW BEST:: SOT 61739 SOS 36883 HAS SOPS 34527 HAS SOUS 4547 HAS SOUPS 3869 WITH SCORE 3905.883
AT ITER 2353 NEW BEST:: SOT 61773 SOS 36923 HAS SOPS 34567 HAS SOUS 4541 HAS SOUPS 3863 WITH SCORE 3899.923
AT ITER 2355 NEW BEST:: SOT 61773 SOS 36881 HAS SOPS 34567 HAS SOUS 4520 HAS SOUPS 3863 WITH SCORE 3899.881
AT ITER 2380 NEW BEST:: SOT 61777 SOS 36945 HAS SOPS 34631 HAS SOUS 4501 HAS SOUPS 3844 WITH SCORE 3880.945
AT ITER 2385 NEW BEST:: SOT 61765 SOS 36933 HAS SOPS 34619 HAS SOUS 4501 HAS SOUPS 3844 WITH SCORE 3880.933
AT ITER 2386 NEW BEST:: SOT 61765 SOS 36909 HAS SOPS 34615 HAS SOUS 4494 HAS SOUPS 3842 WITH SCORE 3878.909
AT ITER 2401 NEW BEST:: SOT 61739 SOS 36883 HAS SOPS 34589 HAS SOUS 4486 HAS SOUPS 3834 WITH SCORE 3870.883
AT ITER 2430 NEW BEST:: SOT 61733 SOS 36877 HAS SOPS 34583 HAS SOUS 4483 HAS SOUPS 3831 WITH SCORE 3867.877
AT ITER 2432 NEW BEST:: SOT 61791 SOS 36935 HAS SOPS 34641 HAS SOUS 4475 HAS SOUPS 3823 WITH SCORE 3859.935
AT ITER 2435 NEW BEST:: SOT 61819 SOS 36963 HAS SOPS 34669 HAS SOUS 4468 HAS SOUPS 3816 WITH SCORE 3852.963
AT ITER 2522 NEW BEST:: SOT 61819 SOS 36949 HAS SOPS 34665 HAS SOUS 4461 HAS SOUPS 3814 WITH SCORE 3850.949
AT ITER 2572 NEW BEST:: SOT 61819 SOS 36937 HAS SOPS 34659 HAS SOUS 4455 HAS SOUPS 3811 WITH SCORE 3847.937
AT ITER 2591 NEW BEST:: SOT 61819 SOS 36913 HAS SOPS 34659 HAS SOUS 4449 HAS SOUPS 3811 WITH SCORE 3847.913
AT ITER 2594 NEW BEST:: SOT 61819 SOS 36897 HAS SOPS 34659 HAS SOUS 4441 HAS SOUPS 3811 WITH SCORE 3847.897
AT ITER 2621 NEW BEST:: SOT 61813 SOS 36891 HAS SOPS 34653 HAS SOUS 4435 HAS SOUPS 3805 WITH SCORE 3841.891
AT ITER 2637 NEW BEST:: SOT 61853 SOS 36931 HAS SOPS 34693 HAS SOUS 4427 HAS SOUPS 3797 WITH SCORE 3833.931
AT ITER 2639 NEW BEST:: SOT 61865 SOS 36943 HAS SOPS 34705 HAS SOUS 4423 HAS SOUPS 3793 WITH SCORE 3829.943
AT ITER 2653 NEW BEST:: SOT 61859 SOS 36937 HAS SOPS 34699 HAS SOUS 4414 HAS SOUPS 3784 WITH SCORE 3820.937
AT ITER 2676 NEW BEST:: SOT 61859 SOS 36937 HAS SOPS 34693 HAS SOUS 4414 HAS SOUPS 3781 WITH SCORE 3817.937
AT ITER 2698 NEW BEST:: SOT 61829 SOS 36927 HAS SOPS 34663 HAS SOUS 4414 HAS SOUPS 3776 WITH SCORE 3812.927
AT ITER 2735 NEW BEST:: SOT 61761 SOS 36859 HAS SOPS 34595 HAS SOUS 4409 HAS SOUPS 3771 WITH SCORE 3807.859
AT ITER 2748 NEW BEST:: SOT 61761 SOS 36839 HAS SOPS 34595 HAS SOUS 4399 HAS SOUPS 3771 WITH SCORE 3807.839
AT ITER 2755 NEW BEST:: SOT 61745 SOS 36823 HAS SOPS 34579 HAS SOUS 4387 HAS SOUPS 3759 WITH SCORE 3795.823
AT ITER 2802 NEW BEST:: SOT 61743 SOS 36821 HAS SOPS 34577 HAS SOUS 4384 HAS SOUPS 3756 WITH SCORE 3792.821
AT ITER 2849 NEW BEST:: SOT 61839 SOS 36917 HAS SOPS 34673 HAS SOUS 4372 HAS SOUPS 3744 WITH SCORE 3780.917
AT ITER 2856 NEW BEST:: SOT 61839 SOS 36907 HAS SOPS 34673 HAS SOUS 4372 HAS SOUPS 3744 WITH SCORE 3780.907
AT ITER 2864 NEW BEST:: SOT 61823 SOS 36891 HAS SOPS 34657 HAS SOUS 4372 HAS SOUPS 3744 WITH SCORE 3780.891
AT ITER 2872 NEW BEST:: SOT 61815 SOS 36883 HAS SOPS 34649 HAS SOUS 4366 HAS SOUPS 3738 WITH SCORE 3774.883
AT ITER 2897 NEW BEST:: SOT 61867 SOS 36935 HAS SOPS 34701 HAS SOUS 4357 HAS SOUPS 3729 WITH SCORE 3765.935
AT ITER 2900 NEW BEST:: SOT 61863 SOS 36931 HAS SOPS 34697 HAS SOUS 4351 HAS SOUPS 3723 WITH SCORE 3759.931
AT ITER 2935 NEW BEST:: SOT 61859 SOS 36927 HAS SOPS 34693 HAS SOUS 4349 HAS SOUPS 3721 WITH SCORE 3757.927
AT ITER 2941 NEW BEST:: SOT 61843 SOS 36877 HAS SOPS 34677 HAS SOUS 4320 HAS SOUPS 3709 WITH SCORE 3745.877
AT ITER 2945 NEW BEST:: SOT 61843 SOS 36877 HAS SOPS 34673 HAS SOUS 4301 HAS SOUPS 3688 WITH SCORE 3724.877
AT ITER 2975 NEW BEST:: SOT 61843 SOS 36873 HAS SOPS 34669 HAS SOUS 4301 HAS SOUPS 3688 WITH SCORE 3724.873
AT ITER 2995 NEW BEST:: SOT 61847 SOS 36877 HAS SOPS 34673 HAS SOUS 4298 HAS SOUPS 3685 WITH SCORE 3721.877
AT ITER 3001 NEW BEST:: SOT 61793 SOS 36823 HAS SOPS 34619 HAS SOUS 4298 HAS SOUPS 3685 WITH SCORE 3721.823
AT ITER 3036 NEW BEST:: SOT 61785 SOS 36815 HAS SOPS 34611 HAS SOUS 4294 HAS SOUPS 3681 WITH SCORE 3717.815
AT ITER 3042 NEW BEST:: SOT 61755 SOS 36783 HAS SOPS 34579 HAS SOUS 4286 HAS SOUPS 3673 WITH SCORE 3709.783
AT ITER 3052 NEW BEST:: SOT 61715 SOS 36743 HAS SOPS 34539 HAS SOUS 4276 HAS SOUPS 3663 WITH SCORE 3699.743
AT ITER 3084 NEW BEST:: SOT 61715 SOS 36735 HAS SOPS 34535 HAS SOUS 4272 HAS SOUPS 3661 WITH SCORE 3697.735
AT ITER 3090 NEW BEST:: SOT 61713 SOS 36733 HAS SOPS 34533 HAS SOUS 4271 HAS SOUPS 3660 WITH SCORE 3696.733
AT ITER 3106 NEW BEST:: SOT 61707 SOS 36739 HAS SOPS 34527 HAS SOUS 4270 HAS SOUPS 3659 WITH SCORE 3695.739
AT ITER 3131 NEW BEST:: SOT 61523 SOS 36703 HAS SOPS 34627 HAS SOUS 4227 HAS SOUPS 3650 WITH SCORE 3686.703
AT ITER 3142 NEW BEST:: SOT 61523 SOS 36697 HAS SOPS 34627 HAS SOUS 4227 HAS SOUPS 3650 WITH SCORE 3686.697
AT ITER 3234 NEW BEST:: SOT 61523 SOS 36693 HAS SOPS 34627 HAS SOUS 4225 HAS SOUPS 3650 WITH SCORE 3686.693
AT ITER 3284 NEW BEST:: SOT 61523 SOS 36681 HAS SOPS 34623 HAS SOUS 4221 HAS SOUPS 3648 WITH SCORE 3684.681
AT ITER 3290 NEW BEST:: SOT 61523 SOS 36677 HAS SOPS 34623 HAS SOUS 4219 HAS SOUPS 3648 WITH SCORE 3684.677
AT ITER 3297 NEW BEST:: SOT 61523 SOS 36671 HAS SOPS 34623 HAS SOUS 4212 HAS SOUPS 3644 WITH SCORE 3680.671
AT ITER 3321 NEW BEST:: SOT 61521 SOS 36669 HAS SOPS 34621 HAS SOUS 4210 HAS SOUPS 3642 WITH SCORE 3678.669
AT ITER 3338 NEW BEST:: SOT 61517 SOS 36665 HAS SOPS 34617 HAS SOUS 4200 HAS SOUPS 3632 WITH SCORE 3668.665
AT ITER 3380 NEW BEST:: SOT 61499 SOS 36647 HAS SOPS 34599 HAS SOUS 4200 HAS SOUPS 3632 WITH SCORE 3668.647
AT ITER 3386 NEW BEST:: SOT 61499 SOS 36693 HAS SOPS 34577 HAS SOUS 4223 HAS SOUPS 3621 WITH SCORE 3657.693
AT ITER 3413 NEW BEST:: SOT 61475 SOS 36669 HAS SOPS 34553 HAS SOUS 4219 HAS SOUPS 3617 WITH SCORE 3653.669
AT ITER 3420 NEW BEST:: SOT 61475 SOS 36661 HAS SOPS 34549 HAS SOUS 4217 HAS SOUPS 3615 WITH SCORE 3651.661
AT ITER 3433 NEW BEST:: SOT 61461 SOS 36647 HAS SOPS 34535 HAS SOUS 4207 HAS SOUPS 3605 WITH SCORE 3641.647
AT ITER 3445 NEW BEST:: SOT 61443 SOS 36629 HAS SOPS 34517 HAS SOUS 4195 HAS SOUPS 3593 WITH SCORE 3629.629
AT ITER 3459 NEW BEST:: SOT 61443 SOS 36629 HAS SOPS 34517 HAS SOUS 4193 HAS SOUPS 3591 WITH SCORE 3627.629
AT ITER 3460 NEW BEST:: SOT 61435 SOS 36621 HAS SOPS 34509 HAS SOUS 4193 HAS SOUPS 3591 WITH SCORE 3627.621
AT ITER 3488 NEW BEST:: SOT 61237 SOS 36423 HAS SOPS 34311 HAS SOUS 4193 HAS SOUPS 3591 WITH SCORE 3627.423
AT ITER 3501 NEW BEST:: SOT 61233 SOS 36419 HAS SOPS 34307 HAS SOUS 4190 HAS SOUPS 3588 WITH SCORE 3624.419
AT ITER 3513 NEW BEST:: SOT 60725 SOS 40131 HAS SOPS 38643 HAS SOUS 3969 HAS SOUPS 3522 WITH SCORE 3562.131
AT ITER 3524 NEW BEST:: SOT 60691 SOS 40097 HAS SOPS 38609 HAS SOUS 3958 HAS SOUPS 3511 WITH SCORE 3551.097
AT ITER 3562 NEW BEST:: SOT 60651 SOS 40057 HAS SOPS 38569 HAS SOUS 3958 HAS SOUPS 3511 WITH SCORE 3551.057
AT ITER 3569 NEW BEST:: SOT 60609 SOS 40015 HAS SOPS 38529 HAS SOUS 3937 HAS SOUPS 3491 WITH SCORE 3531.015
AT ITER 3585 NEW BEST:: SOT 60603 SOS 40009 HAS SOPS 38523 HAS SOUS 3936 HAS SOUPS 3490 WITH SCORE 3530.009
AT ITER 3595 NEW BEST:: SOT 60509 SOS 39915 HAS SOPS 38429 HAS SOUS 3927 HAS SOUPS 3481 WITH SCORE 3520.915
AT ITER 3630 NEW BEST:: SOT 60505 SOS 39911 HAS SOPS 38425 HAS SOUS 3927 HAS SOUPS 3481 WITH SCORE 3520.911
AT ITER 3682 NEW BEST:: SOT 60435 SOS 39841 HAS SOPS 38355 HAS SOUS 3927 HAS SOUPS 3481 WITH SCORE 3520.841
AT ITER 3693 NEW BEST:: SOT 60435 SOS 39837 HAS SOPS 38353 HAS SOUS 3925 HAS SOUPS 3480 WITH SCORE 3519.837
AT ITER 3721 NEW BEST:: SOT 60435 SOS 39817 HAS SOPS 38333 HAS SOUS 3924 HAS SOUPS 3479 WITH SCORE 3518.817
AT ITER 3726 NEW BEST:: SOT 60431 SOS 39803 HAS SOPS 38319 HAS SOUS 3920 HAS SOUPS 3475 WITH SCORE 3514.803
AT ITER 3729 NEW BEST:: SOT 60349 SOS 39721 HAS SOPS 38237 HAS SOUS 3918 HAS SOUPS 3473 WITH SCORE 3512.721
AT ITER 3735 NEW BEST:: SOT 60349 SOS 39727 HAS SOPS 38235 HAS SOUS 3921 HAS SOUPS 3472 WITH SCORE 3511.727
AT ITER 3766 NEW BEST:: SOT 60349 SOS 39727 HAS SOPS 38235 HAS SOUS 3917 HAS SOUPS 3468 WITH SCORE 3507.727
AT ITER 3771 NEW BEST:: SOT 60330 SOS 39669 HAS SOPS 38177 HAS SOUS 3908 HAS SOUPS 3459 WITH SCORE 3498.669
AT ITER 3805 NEW BEST:: SOT 60334 SOS 39673 HAS SOPS 38181 HAS SOUS 3906 HAS SOUPS 3457 WITH SCORE 3496.673
AT ITER 3819 NEW BEST:: SOT 60330 SOS 39669 HAS SOPS 38177 HAS SOUS 3906 HAS SOUPS 3457 WITH SCORE 3496.669
AT ITER 3822 NEW BEST:: SOT 60330 SOS 39657 HAS SOPS 38171 HAS SOUS 3903 HAS SOUPS 3454 WITH SCORE 3493.657
AT ITER 3828 NEW BEST:: SOT 60308 SOS 39635 HAS SOPS 38149 HAS SOUS 3899 HAS SOUPS 3450 WITH SCORE 3489.635
AT ITER 3834 NEW BEST:: SOT 60308 SOS 39635 HAS SOPS 38149 HAS SOUS 3898 HAS SOUPS 3449 WITH SCORE 3488.635
AT ITER 3867 NEW BEST:: SOT 60296 SOS 39623 HAS SOPS 38137 HAS SOUS 3895 HAS SOUPS 3446 WITH SCORE 3485.623
AT ITER 3876 NEW BEST:: SOT 60458 SOS 39785 HAS SOPS 38299 HAS SOUS 3890 HAS SOUPS 3441 WITH SCORE 3480.785
AT ITER 3880 NEW BEST:: SOT 60456 SOS 39783 HAS SOPS 38297 HAS SOUS 3889 HAS SOUPS 3440 WITH SCORE 3479.783
AT ITER 3881 NEW BEST:: SOT 60452 SOS 39779 HAS SOPS 38293 HAS SOUS 3883 HAS SOUPS 3434 WITH SCORE 3473.779
AT ITER 3886 NEW BEST:: SOT 60452 SOS 39767 HAS SOPS 38281 HAS SOUS 3877 HAS SOUPS 3428 WITH SCORE 3467.767
AT ITER 3895 NEW BEST:: SOT 60454 SOS 39769 HAS SOPS 38283 HAS SOUS 3875 HAS SOUPS 3426 WITH SCORE 3465.769
AT ITER 3901 NEW BEST:: SOT 60454 SOS 39745 HAS SOPS 38275 HAS SOUS 3867 HAS SOUPS 3422 WITH SCORE 3461.745
AT ITER 3940 NEW BEST:: SOT 60454 SOS 39713 HAS SOPS 38259 HAS SOUS 3851 HAS SOUPS 3414 WITH SCORE 3453.713
AT ITER 3965 NEW BEST:: SOT 60450 SOS 39709 HAS SOPS 38255 HAS SOUS 3851 HAS SOUPS 3414 WITH SCORE 3453.709
AT ITER 3983 NEW BEST:: SOT 60453 SOS 39717 HAS SOPS 38263 HAS SOUS 3838 HAS SOUPS 3401 WITH SCORE 3440.717
AT ITER 4012 NEW BEST:: SOT 60419 SOS 39691 HAS SOPS 38233 HAS SOUS 3825 HAS SOUPS 3386 WITH SCORE 3425.691
AT ITER 4019 NEW BEST:: SOT 60419 SOS 39685 HAS SOPS 38233 HAS SOUS 3822 HAS SOUPS 3386 WITH SCORE 3425.685
AT ITER 4056 NEW BEST:: SOT 60413 SOS 39679 HAS SOPS 38227 HAS SOUS 3816 HAS SOUPS 3380 WITH SCORE 3419.679
AT ITER 4102 NEW BEST:: SOT 60447 SOS 39713 HAS SOPS 38261 HAS SOUS 3804 HAS SOUPS 3368 WITH SCORE 3407.713
AT ITER 4147 NEW BEST:: SOT 60452 SOS 39718 HAS SOPS 38266 HAS SOUS 3799 HAS SOUPS 3363 WITH SCORE 3402.718
AT ITER 4159 NEW BEST:: SOT 60511 SOS 39777 HAS SOPS 38325 HAS SOUS 3798 HAS SOUPS 3362 WITH SCORE 3401.777
AT ITER 4199 NEW BEST:: SOT 60469 SOS 39735 HAS SOPS 38283 HAS SOUS 3791 HAS SOUPS 3355 WITH SCORE 3394.735
AT ITER 4205 NEW BEST:: SOT 60453 SOS 39719 HAS SOPS 38267 HAS SOUS 3779 HAS SOUPS 3343 WITH SCORE 3382.719
AT ITER 4269 NEW BEST:: SOT 60437 SOS 39703 HAS SOPS 38251 HAS SOUS 3776 HAS SOUPS 3340 WITH SCORE 3379.703
AT ITER 4298 NEW BEST:: SOT 60381 SOS 39647 HAS SOPS 38195 HAS SOUS 3776 HAS SOUPS 3340 WITH SCORE 3379.647
AT ITER 4309 NEW BEST:: SOT 60377 SOS 39643 HAS SOPS 38191 HAS SOUS 3770 HAS SOUPS 3334 WITH SCORE 3373.643
AT ITER 4350 NEW BEST:: SOT 60371 SOS 39637 HAS SOPS 38185 HAS SOUS 3764 HAS SOUPS 3328 WITH SCORE 3367.637
AT ITER 4359 NEW BEST:: SOT 60371 SOS 39640 HAS SOPS 38184 HAS SOUS 3763 HAS SOUPS 3326 WITH SCORE 3365.64
AT ITER 4363 NEW BEST:: SOT 60355 SOS 39590 HAS SOPS 38168 HAS SOUS 3752 HAS SOUPS 3317 WITH SCORE 3356.59
AT ITER 4364 NEW BEST:: SOT 60355 SOS 39590 HAS SOPS 38168 HAS SOUS 3749 HAS SOUPS 3314 WITH SCORE 3353.59
AT ITER 4369 NEW BEST:: SOT 60341 SOS 39586 HAS SOPS 38164 HAS SOUS 3749 HAS SOUPS 3314 WITH SCORE 3353.586
AT ITER 4433 NEW BEST:: SOT 60350 SOS 39608 HAS SOPS 38186 HAS SOUS 3745 HAS SOUPS 3310 WITH SCORE 3349.608
AT ITER 4484 NEW BEST:: SOT 60350 SOS 39608 HAS SOPS 38186 HAS SOUS 3744 HAS SOUPS 3309 WITH SCORE 3348.608
AT ITER 4521 NEW BEST:: SOT 60350 SOS 39606 HAS SOPS 38184 HAS SOUS 3743 HAS SOUPS 3308 WITH SCORE 3347.606
AT ITER 4546 NEW BEST:: SOT 60346 SOS 39578 HAS SOPS 38156 HAS SOUS 3739 HAS SOUPS 3304 WITH SCORE 3343.578
AT ITER 4571 NEW BEST:: SOT 60318 SOS 39550 HAS SOPS 38128 HAS SOUS 3736 HAS SOUPS 3301 WITH SCORE 3340.55
AT ITER 4577 NEW BEST:: SOT 60318 SOS 39550 HAS SOPS 38128 HAS SOUS 3734 HAS SOUPS 3299 WITH SCORE 3338.55
AT ITER 4589 NEW BEST:: SOT 60314 SOS 39544 HAS SOPS 38122 HAS SOUS 3734 HAS SOUPS 3299 WITH SCORE 3338.544
AT ITER 4602 NEW BEST:: SOT 60326 SOS 39556 HAS SOPS 38134 HAS SOUS 3729 HAS SOUPS 3294 WITH SCORE 3333.556
AT ITER 4622 NEW BEST:: SOT 60509 SOS 39739 HAS SOPS 38317 HAS SOUS 3722 HAS SOUPS 3287 WITH SCORE 3326.739
AT ITER 4699 NEW BEST:: SOT 60429 SOS 39659 HAS SOPS 38237 HAS SOUS 3722 HAS SOUPS 3287 WITH SCORE 3326.659
AT ITER 4713 NEW BEST:: SOT 60439 SOS 39669 HAS SOPS 38247 HAS SOUS 3721 HAS SOUPS 3286 WITH SCORE 3325.669
AT ITER 4776 NEW BEST:: SOT 60458 SOS 39694 HAS SOPS 38272 HAS SOUS 3720 HAS SOUPS 3285 WITH SCORE 3324.694
AT ITER 4810 NEW BEST:: SOT 60452 SOS 39688 HAS SOPS 38266 HAS SOUS 3717 HAS SOUPS 3282 WITH SCORE 3321.688
AT ITER 4874 NEW BEST:: SOT 60450 SOS 39686 HAS SOPS 38264 HAS SOUS 3715 HAS SOUPS 3280 WITH SCORE 3319.686
AT ITER 4920 NEW BEST:: SOT 60548 SOS 39784 HAS SOPS 38362 HAS SOUS 3703 HAS SOUPS 3268 WITH SCORE 3307.784
AT ITER 4941 NEW BEST:: SOT 60545 SOS 39778 HAS SOPS 38356 HAS SOUS 3703 HAS SOUPS 3268 WITH SCORE 3307.778
AT ITER 4976 NEW BEST:: SOT 60541 SOS 39772 HAS SOPS 38350 HAS SOUS 3701 HAS SOUPS 3266 WITH SCORE 3305.772
AT ITER 5010 NEW BEST:: SOT 60491 SOS 39722 HAS SOPS 38300 HAS SOUS 3693 HAS SOUPS 3258 WITH SCORE 3297.722
AT ITER 5012 NEW BEST:: SOT 60471 SOS 39692 HAS SOPS 38280 HAS SOUS 3687 HAS SOUPS 3252 WITH SCORE 3291.692
AT ITER 5014 NEW BEST:: SOT 60467 SOS 39688 HAS SOPS 38276 HAS SOUS 3685 HAS SOUPS 3250 WITH SCORE 3289.688
AT ITER 5018 NEW BEST:: SOT 60467 SOS 39688 HAS SOPS 38276 HAS SOUS 3681 HAS SOUPS 3246 WITH SCORE 3285.688
AT ITER 5031 NEW BEST:: SOT 60499 SOS 39720 HAS SOPS 38308 HAS SOUS 3678 HAS SOUPS 3243 WITH SCORE 3282.72
AT ITER 5078 NEW BEST:: SOT 60499 SOS 39720 HAS SOPS 38308 HAS SOUS 3677 HAS SOUPS 3242 WITH SCORE 3281.72
AT ITER 5123 NEW BEST:: SOT 60499 SOS 39698 HAS SOPS 38300 HAS SOUS 3666 HAS SOUPS 3238 WITH SCORE 3277.698
AT ITER 5132 NEW BEST:: SOT 60491 SOS 39690 HAS SOPS 38292 HAS SOUS 3658 HAS SOUPS 3230 WITH SCORE 3269.69
AT ITER 5142 NEW BEST:: SOT 60491 SOS 39690 HAS SOPS 38292 HAS SOUS 3657 HAS SOUPS 3229 WITH SCORE 3268.69
AT ITER 5180 NEW BEST:: SOT 60463 SOS 39662 HAS SOPS 38264 HAS SOUS 3657 HAS SOUPS 3229 WITH SCORE 3268.662
AT ITER 5236 NEW BEST:: SOT 60481 SOS 39680 HAS SOPS 38282 HAS SOUS 3648 HAS SOUPS 3220 WITH SCORE 3259.68
AT ITER 5250 NEW BEST:: SOT 60477 SOS 39676 HAS SOPS 38278 HAS SOUS 3644 HAS SOUPS 3216 WITH SCORE 3255.676
AT ITER 5271 NEW BEST:: SOT 60467 SOS 39667 HAS SOPS 38269 HAS SOUS 3643 HAS SOUPS 3215 WITH SCORE 3254.667
AT ITER 5278 NEW BEST:: SOT 60445 SOS 39645 HAS SOPS 38247 HAS SOUS 3643 HAS SOUPS 3215 WITH SCORE 3254.645
AT ITER 5302 NEW BEST:: SOT 60435 SOS 39625 HAS SOPS 38227 HAS SOUS 3643 HAS SOUPS 3215 WITH SCORE 3254.625
AT ITER 5359 NEW BEST:: SOT 60439 SOS 39553 HAS SOPS 38227 HAS SOUS 3639 HAS SOUPS 3215 WITH SCORE 3254.553
AT ITER 5384 NEW BEST:: SOT 60383 SOS 39497 HAS SOPS 38171 HAS SOUS 3639 HAS SOUPS 3215 WITH SCORE 3254.497
AT ITER 5401 NEW BEST:: SOT 60451 SOS 39565 HAS SOPS 38239 HAS SOUS 3595 HAS SOUPS 3171 WITH SCORE 3210.565
AT ITER 5425 NEW BEST:: SOT 60449 SOS 39563 HAS SOPS 38237 HAS SOUS 3593 HAS SOUPS 3169 WITH SCORE 3208.563
AT ITER 5584 NEW BEST:: SOT 60449 SOS 39559 HAS SOPS 38235 HAS SOUS 3591 HAS SOUPS 3168 WITH SCORE 3207.559
AT ITER 5592 NEW BEST:: SOT 60445 SOS 39552 HAS SOPS 38228 HAS SOUS 3586 HAS SOUPS 3163 WITH SCORE 3202.552
AT ITER 5632 NEW BEST:: SOT 60429 SOS 39546 HAS SOPS 38212 HAS SOUS 3578 HAS SOUPS 3156 WITH SCORE 3195.546
AT ITER 5683 NEW BEST:: SOT 60429 SOS 39544 HAS SOPS 38210 HAS SOUS 3577 HAS SOUPS 3155 WITH SCORE 3194.544
AT ITER 5739 NEW BEST:: SOT 60259 SOS 39374 HAS SOPS 38040 HAS SOUS 3574 HAS SOUPS 3152 WITH SCORE 3191.374
AT ITER 5817 NEW BEST:: SOT 60161 SOS 40318 HAS SOPS 39142 HAS SOUS 3526 HAS SOUPS 3144 WITH SCORE 3184.318
AT ITER 5859 NEW BEST:: SOT 60161 SOS 40314 HAS SOPS 39140 HAS SOUS 3524 HAS SOUPS 3143 WITH SCORE 3183.314
AT ITER 5867 NEW BEST:: SOT 60157 SOS 40310 HAS SOPS 39136 HAS SOUS 3520 HAS SOUPS 3139 WITH SCORE 3179.31
AT ITER 5877 NEW BEST:: SOT 60151 SOS 40304 HAS SOPS 39130 HAS SOUS 3514 HAS SOUPS 3133 WITH SCORE 3173.304
AT ITER 5879 NEW BEST:: SOT 60113 SOS 40266 HAS SOPS 39092 HAS SOUS 3514 HAS SOUPS 3133 WITH SCORE 3173.266
AT ITER 5895 NEW BEST:: SOT 60103 SOS 40256 HAS SOPS 39082 HAS SOUS 3505 HAS SOUPS 3124 WITH SCORE 3164.256
AT ITER 5976 NEW BEST:: SOT 60095 SOS 40248 HAS SOPS 39074 HAS SOUS 3500 HAS SOUPS 3119 WITH SCORE 3159.248
AT ITER 6020 NEW BEST:: SOT 60099 SOS 40255 HAS SOPS 39081 HAS SOUS 3495 HAS SOUPS 3114 WITH SCORE 3154.255
AT ITER 6119 NEW BEST:: SOT 60095 SOS 40251 HAS SOPS 39077 HAS SOUS 3486 HAS SOUPS 3105 WITH SCORE 3145.251
AT ITER 6161 NEW BEST:: SOT 60091 SOS 40247 HAS SOPS 39073 HAS SOUS 3486 HAS SOUPS 3105 WITH SCORE 3145.247
AT ITER 6191 NEW BEST:: SOT 60091 SOS 40247 HAS SOPS 39067 HAS SOUS 3486 HAS SOUPS 3102 WITH SCORE 3142.247
AT ITER 6199 NEW BEST:: SOT 60099 SOS 40259 HAS SOPS 39075 HAS SOUS 3484 HAS SOUPS 3100 WITH SCORE 3140.259
AT ITER 6210 NEW BEST:: SOT 60097 SOS 40257 HAS SOPS 39073 HAS SOUS 3482 HAS SOUPS 3098 WITH SCORE 3138.257
AT ITER 6301 NEW BEST:: SOT 60097 SOS 40257 HAS SOPS 39073 HAS SOUS 3481 HAS SOUPS 3097 WITH SCORE 3137.257
AT ITER 6315 NEW BEST:: SOT 60093 SOS 40253 HAS SOPS 39069 HAS SOUS 3477 HAS SOUPS 3093 WITH SCORE 3133.253
AT ITER 6363 NEW BEST:: SOT 60086 SOS 40367 HAS SOPS 39063 HAS SOUS 3478 HAS SOUPS 3090 WITH SCORE 3130.367
AT ITER 6368 NEW BEST:: SOT 60062 SOS 40343 HAS SOPS 39039 HAS SOUS 3477 HAS SOUPS 3089 WITH SCORE 3129.343
AT ITER 6370 NEW BEST:: SOT 60060 SOS 40341 HAS SOPS 39037 HAS SOUS 3476 HAS SOUPS 3088 WITH SCORE 3128.341
AT ITER 6408 NEW BEST:: SOT 60048 SOS 40329 HAS SOPS 39025 HAS SOUS 3468 HAS SOUPS 3080 WITH SCORE 3120.329
AT ITER 6428 NEW BEST:: SOT 60046 SOS 40319 HAS SOPS 39015 HAS SOUS 3464 HAS SOUPS 3076 WITH SCORE 3116.319
AT ITER 6441 NEW BEST:: SOT 60046 SOS 40301 HAS SOPS 39015 HAS SOUS 3455 HAS SOUPS 3076 WITH SCORE 3116.301
AT ITER 6494 NEW BEST:: SOT 60042 SOS 40297 HAS SOPS 39011 HAS SOUS 3452 HAS SOUPS 3073 WITH SCORE 3113.297
AT ITER 6543 NEW BEST:: SOT 60095 SOS 40350 HAS SOPS 39064 HAS SOUS 3451 HAS SOUPS 3072 WITH SCORE 3112.35
AT ITER 6604 NEW BEST:: SOT 60094 SOS 40349 HAS SOPS 39063 HAS SOUS 3450 HAS SOUPS 3071 WITH SCORE 3111.349
AT ITER 6677 NEW BEST:: SOT 60092 SOS 40347 HAS SOPS 39061 HAS SOUS 3450 HAS SOUPS 3071 WITH SCORE 3111.347
AT ITER 6740 NEW BEST:: SOT 60092 SOS 40343 HAS SOPS 39059 HAS SOUS 3448 HAS SOUPS 3070 WITH SCORE 3110.343
AT ITER 6754 NEW BEST:: SOT 60092 SOS 40339 HAS SOPS 39059 HAS SOUS 3446 HAS SOUPS 3070 WITH SCORE 3110.339
AT ITER 6881 NEW BEST:: SOT 60068 SOS 40315 HAS SOPS 39035 HAS SOUS 3446 HAS SOUPS 3070 WITH SCORE 3110.315
AT ITER 6969 NEW BEST:: SOT 60080 SOS 40327 HAS SOPS 39047 HAS SOUS 3444 HAS SOUPS 3068 WITH SCORE 3108.327
AT ITER 6999 NEW BEST:: SOT 60078 SOS 40325 HAS SOPS 39045 HAS SOUS 3443 HAS SOUPS 3067 WITH SCORE 3107.325
AT ITER 7032 NEW BEST:: SOT 60078 SOS 40325 HAS SOPS 39045 HAS SOUS 3438 HAS SOUPS 3062 WITH SCORE 3102.325
AT ITER 7043 NEW BEST:: SOT 60072 SOS 40319 HAS SOPS 39039 HAS SOUS 3438 HAS SOUPS 3062 WITH SCORE 3102.319
AT ITER 7171 NEW BEST:: SOT 60076 SOS 40323 HAS SOPS 39043 HAS SOUS 3437 HAS SOUPS 3061 WITH SCORE 3101.323
AT ITER 7255 NEW BEST:: SOT 60056 SOS 40309 HAS SOPS 39031 HAS SOUS 3430 HAS SOUPS 3055 WITH SCORE 3095.309
AT ITER 7266 NEW BEST:: SOT 60028 SOS 40281 HAS SOPS 39003 HAS SOUS 3426 HAS SOUPS 3051 WITH SCORE 3091.281
AT ITER 7269 NEW BEST:: SOT 60026 SOS 40279 HAS SOPS 39001 HAS SOUS 3426 HAS SOUPS 3051 WITH SCORE 3091.279
AT ITER 7272 NEW BEST:: SOT 60066 SOS 40319 HAS SOPS 39041 HAS SOUS 3408 HAS SOUPS 3033 WITH SCORE 3073.319
AT ITER 7301 NEW BEST:: SOT 60076 SOS 40321 HAS SOPS 39039 HAS SOUS 3404 HAS SOUPS 3027 WITH SCORE 3067.321
AT ITER 7314 NEW BEST:: SOT 60068 SOS 40313 HAS SOPS 39031 HAS SOUS 3396 HAS SOUPS 3019 WITH SCORE 3059.313
AT ITER 7345 NEW BEST:: SOT 60066 SOS 40311 HAS SOPS 39029 HAS SOUS 3394 HAS SOUPS 3017 WITH SCORE 3057.311
AT ITER 7359 NEW BEST:: SOT 60070 SOS 40315 HAS SOPS 39033 HAS SOUS 3392 HAS SOUPS 3015 WITH SCORE 3055.315
AT ITER 7378 NEW BEST:: SOT 60054 SOS 40299 HAS SOPS 39017 HAS SOUS 3385 HAS SOUPS 3008 WITH SCORE 3048.299
AT ITER 7617 NEW BEST:: SOT 60056 SOS 40301 HAS SOPS 39019 HAS SOUS 3384 HAS SOUPS 3007 WITH SCORE 3047.301
AT ITER 7730 NEW BEST:: SOT 60056 SOS 40297 HAS SOPS 39017 HAS SOUS 3382 HAS SOUPS 3006 WITH SCORE 3046.297
AT ITER 7791 NEW BEST:: SOT 60056 SOS 40294 HAS SOPS 39016 HAS SOUS 3382 HAS SOUPS 3006 WITH SCORE 3046.294
AT ITER 7869 NEW BEST:: SOT 60022 SOS 40263 HAS SOPS 38985 HAS SOUS 3378 HAS SOUPS 3002 WITH SCORE 3042.263
AT ITER 8011 NEW BEST:: SOT 60016 SOS 40257 HAS SOPS 38979 HAS SOUS 3374 HAS SOUPS 2998 WITH SCORE 3038.257
AT ITER 8043 NEW BEST:: SOT 59990 SOS 40231 HAS SOPS 38953 HAS SOUS 3365 HAS SOUPS 2989 WITH SCORE 3029.231
AT ITER 8068 NEW BEST:: SOT 59990 SOS 40231 HAS SOPS 38953 HAS SOUS 3363 HAS SOUPS 2987 WITH SCORE 3027.231
AT ITER 8140 NEW BEST:: SOT 59982 SOS 40223 HAS SOPS 38945 HAS SOUS 3360 HAS SOUPS 2984 WITH SCORE 3024.223
AT ITER 8276 NEW BEST:: SOT 59982 SOS 40223 HAS SOPS 38945 HAS SOUS 3354 HAS SOUPS 2978 WITH SCORE 3018.223
AT ITER 8277 NEW BEST:: SOT 59976 SOS 40217 HAS SOPS 38939 HAS SOUS 3347 HAS SOUPS 2971 WITH SCORE 3011.217
AT ITER 8338 NEW BEST:: SOT 59986 SOS 40227 HAS SOPS 38949 HAS SOUS 3342 HAS SOUPS 2966 WITH SCORE 3006.227
AT ITER 8393 NEW BEST:: SOT 59996 SOS 40237 HAS SOPS 38959 HAS SOUS 3336 HAS SOUPS 2960 WITH SCORE 3000.237
AT ITER 8406 NEW BEST:: SOT 59970 SOS 40211 HAS SOPS 38933 HAS SOUS 3334 HAS SOUPS 2958 WITH SCORE 2998.211
AT ITER 8433 NEW BEST:: SOT 59970 SOS 40207 HAS SOPS 38931 HAS SOUS 3332 HAS SOUPS 2957 WITH SCORE 2997.207
AT ITER 8477 NEW BEST:: SOT 59968 SOS 40203 HAS SOPS 38927 HAS SOUS 3332 HAS SOUPS 2957 WITH SCORE 2997.203
AT ITER 8492 NEW BEST:: SOT 59980 SOS 40215 HAS SOPS 38939 HAS SOUS 3329 HAS SOUPS 2954 WITH SCORE 2994.215
AT ITER 8541 NEW BEST:: SOT 59974 SOS 40209 HAS SOPS 38933 HAS SOUS 3329 HAS SOUPS 2954 WITH SCORE 2994.209
AT ITER 8569 NEW BEST:: SOT 59972 SOS 40207 HAS SOPS 38931 HAS SOUS 3327 HAS SOUPS 2952 WITH SCORE 2992.207
AT ITER 8848 NEW BEST:: SOT 59974 SOS 40209 HAS SOPS 38933 HAS SOUS 3325 HAS SOUPS 2950 WITH SCORE 2990.209
AT ITER 8887 NEW BEST:: SOT 59972 SOS 40207 HAS SOPS 38931 HAS SOUS 3323 HAS SOUPS 2948 WITH SCORE 2988.207
AT ITER 8955 NEW BEST:: SOT 59980 SOS 40215 HAS SOPS 38939 HAS SOUS 3316 HAS SOUPS 2941 WITH SCORE 2981.215
AT ITER 8971 NEW BEST:: SOT 59978 SOS 40207 HAS SOPS 38937 HAS SOUS 3314 HAS SOUPS 2939 WITH SCORE 2979.207
AT ITER 9015 NEW BEST:: SOT 59977 SOS 40221 HAS SOPS 38935 HAS SOUS 3313 HAS SOUPS 2938 WITH SCORE 2978.221
AT ITER 9038 NEW BEST:: SOT 59957 SOS 40201 HAS SOPS 38915 HAS SOUS 3311 HAS SOUPS 2936 WITH SCORE 2976.201
AT ITER 9344 NEW BEST:: SOT 59931 SOS 40175 HAS SOPS 38889 HAS SOUS 3311 HAS SOUPS 2936 WITH SCORE 2976.175
AT ITER 9490 NEW BEST:: SOT 59923 SOS 40163 HAS SOPS 38881 HAS SOUS 3298 HAS SOUPS 2925 WITH SCORE 2965.163
AT ITER 9497 NEW BEST:: SOT 59919 SOS 40157 HAS SOPS 38875 HAS SOUS 3297 HAS SOUPS 2924 WITH SCORE 2964.157
AT ITER 9539 NEW BEST:: SOT 59889 SOS 40127 HAS SOPS 38845 HAS SOUS 3297 HAS SOUPS 2924 WITH SCORE 2964.127
AT ITER 9559 NEW BEST:: SOT 59805 SOS 40015 HAS SOPS 38733 HAS SOUS 3297 HAS SOUPS 2924 WITH SCORE 2964.015
AT ITER 9621 NEW BEST:: SOT 59797 SOS 40007 HAS SOPS 38725 HAS SOUS 3293 HAS SOUPS 2920 WITH SCORE 2960.007
AT ITER 9681 NEW BEST:: SOT 59789 SOS 39995 HAS SOPS 38717 HAS SOUS 3285 HAS SOUPS 2914 WITH SCORE 2953.995
AT ITER 9752 NEW BEST:: SOT 59789 SOS 39999 HAS SOPS 38713 HAS SOUS 3287 HAS SOUPS 2912 WITH SCORE 2951.999
AT ITER 9920 NEW BEST:: SOT 59787 SOS 39997 HAS SOPS 38711 HAS SOUS 3286 HAS SOUPS 2911 WITH SCORE 2950.997
AT ITER 9970 NEW BEST:: SOT 59785 SOS 39995 HAS SOPS 38709 HAS SOUS 3284 HAS SOUPS 2909 WITH SCORE 2948.995
AT ITER 9972 NEW BEST:: SOT 59781 SOS 39991 HAS SOPS 38705 HAS SOUS 3282 HAS SOUPS 2907 WITH SCORE 2946.991
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13846632 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125856 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="SemanticWebServices-PT-S128P18"
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 SemanticWebServices-PT-S128P18, 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 r363-smll-167891814300416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S128P18.tgz
mv SemanticWebServices-PT-S128P18 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;