Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 9.9K Feb 26 00:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 00:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 23:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 23:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 15:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 00:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 00:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 00:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 00:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 698K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678800810521

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=CANInsertWithFailure-PT-010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 13:33:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 13:33:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 13:33:32] [INFO ] Load time of PNML (sax parser for PT used): 83 ms
[2023-03-14 13:33:32] [INFO ] Transformed 324 places.
[2023-03-14 13:33:32] [INFO ] Transformed 660 transitions.
[2023-03-14 13:33:32] [INFO ] Parsed PT model containing 324 places and 660 transitions and 1800 arcs in 145 ms.
[2023-03-14 13:33:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 324 places, 660 transitions and 1800 arcs took 7 ms.
Total runtime 181 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANInsertWithFailure (PT), instance 010
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: 324 places, 660 transitions, 1800 arcs.
AT ITER 0 NEW BEST:: SOT 137991 SOS 93101 HAS SOPS 93100 HAS SOUS 61587 HAS SOUPS 61586 WITH SCORE 61679.101
AT ITER 4 NEW BEST:: SOT 138026 SOS 93066 HAS SOPS 93065 HAS SOUS 61552 HAS SOUPS 61551 WITH SCORE 61644.066
AT ITER 6 NEW BEST:: SOT 136716 SOS 91933 HAS SOPS 91932 HAS SOUS 59909 HAS SOUPS 59908 WITH SCORE 59999.933
AT ITER 7 NEW BEST:: SOT 136716 SOS 91684 HAS SOPS 91683 HAS SOUS 59826 HAS SOUPS 59825 WITH SCORE 59916.684
AT ITER 10 NEW BEST:: SOT 136808 SOS 91627 HAS SOPS 91626 HAS SOUS 59800 HAS SOUPS 59799 WITH SCORE 59890.627
AT ITER 13 NEW BEST:: SOT 137098 SOS 91796 HAS SOPS 91795 HAS SOUS 59703 HAS SOUPS 59702 WITH SCORE 59793.796
AT ITER 14 NEW BEST:: SOT 136015 SOS 90858 HAS SOPS 90850 HAS SOUS 58623 HAS SOUPS 58615 WITH SCORE 58705.858
AT ITER 15 NEW BEST:: SOT 136000 SOS 90828 HAS SOPS 90820 HAS SOUS 58623 HAS SOUPS 58615 WITH SCORE 58705.828
AT ITER 16 NEW BEST:: SOT 136086 SOS 90747 HAS SOPS 90739 HAS SOUS 58457 HAS SOUPS 58449 WITH SCORE 58539.747
AT ITER 19 NEW BEST:: SOT 136090 SOS 89251 HAS SOPS 89243 HAS SOUS 58385 HAS SOUPS 58377 WITH SCORE 58466.251
AT ITER 21 NEW BEST:: SOT 136090 SOS 89251 HAS SOPS 89243 HAS SOUS 58299 HAS SOUPS 58291 WITH SCORE 58380.251
AT ITER 26 NEW BEST:: SOT 134750 SOS 88352 HAS SOPS 88181 HAS SOUS 57274 HAS SOUPS 57180 WITH SCORE 57268.352
AT ITER 27 NEW BEST:: SOT 134655 SOS 87370 HAS SOPS 87197 HAS SOUS 57215 HAS SOUPS 57121 WITH SCORE 57208.37
AT ITER 39 NEW BEST:: SOT 134608 SOS 87318 HAS SOPS 87145 HAS SOUS 57152 HAS SOUPS 57058 WITH SCORE 57145.318
AT ITER 43 NEW BEST:: SOT 133027 SOS 86008 HAS SOPS 85786 HAS SOUS 55797 HAS SOUPS 55654 WITH SCORE 55740.008
AT ITER 45 NEW BEST:: SOT 132919 SOS 84957 HAS SOPS 84726 HAS SOUS 55707 HAS SOUPS 55564 WITH SCORE 55648.957
AT ITER 48 NEW BEST:: SOT 132263 SOS 84301 HAS SOPS 84070 HAS SOUS 55051 HAS SOUPS 54908 WITH SCORE 54992.301
AT ITER 49 NEW BEST:: SOT 131085 SOS 83445 HAS SOPS 83142 HAS SOUS 54292 HAS SOUPS 54077 WITH SCORE 54160.445
AT ITER 50 NEW BEST:: SOT 130957 SOS 83247 HAS SOPS 82898 HAS SOUS 54094 HAS SOUPS 53833 WITH SCORE 53916.247
AT ITER 54 NEW BEST:: SOT 130903 SOS 83193 HAS SOPS 82844 HAS SOUS 54040 HAS SOUPS 53779 WITH SCORE 53862.193
AT ITER 55 NEW BEST:: SOT 131030 SOS 83230 HAS SOPS 82881 HAS SOUS 53983 HAS SOUPS 53722 WITH SCORE 53805.23
AT ITER 56 NEW BEST:: SOT 130911 SOS 82070 HAS SOPS 81688 HAS SOUS 53909 HAS SOUPS 53648 WITH SCORE 53730.07
AT ITER 58 NEW BEST:: SOT 131259 SOS 82093 HAS SOPS 81704 HAS SOUS 53762 HAS SOUPS 53494 WITH SCORE 53576.093
AT ITER 59 NEW BEST:: SOT 131166 SOS 81970 HAS SOPS 81581 HAS SOUS 53715 HAS SOUPS 53447 WITH SCORE 53528.97
AT ITER 62 NEW BEST:: SOT 131255 SOS 81897 HAS SOPS 81508 HAS SOUS 53642 HAS SOUPS 53374 WITH SCORE 53455.897
AT ITER 64 NEW BEST:: SOT 131255 SOS 81660 HAS SOPS 81271 HAS SOUS 53584 HAS SOUPS 53316 WITH SCORE 53397.66
AT ITER 71 NEW BEST:: SOT 131255 SOS 81627 HAS SOPS 81238 HAS SOUS 53551 HAS SOUPS 53283 WITH SCORE 53364.627
AT ITER 72 NEW BEST:: SOT 129938 SOS 80458 HAS SOPS 80069 HAS SOUS 51850 HAS SOUPS 51582 WITH SCORE 51662.458
AT ITER 74 NEW BEST:: SOT 129926 SOS 80434 HAS SOPS 80045 HAS SOUS 51850 HAS SOUPS 51582 WITH SCORE 51662.434
AT ITER 78 NEW BEST:: SOT 129940 SOS 80425 HAS SOPS 80015 HAS SOUS 51816 HAS SOUPS 51548 WITH SCORE 51628.425
AT ITER 80 NEW BEST:: SOT 130113 SOS 80517 HAS SOPS 80107 HAS SOUS 51598 HAS SOUPS 51330 WITH SCORE 51410.517
AT ITER 82 NEW BEST:: SOT 130178 SOS 80556 HAS SOPS 80146 HAS SOUS 51507 HAS SOUPS 51239 WITH SCORE 51319.556
AT ITER 83 NEW BEST:: SOT 129618 SOS 79996 HAS SOPS 79586 HAS SOUS 50947 HAS SOUPS 50679 WITH SCORE 50758.996
AT ITER 92 NEW BEST:: SOT 129472 SOS 78400 HAS SOPS 77924 HAS SOUS 50768 HAS SOUPS 50500 WITH SCORE 50578.4
AT ITER 94 NEW BEST:: SOT 129519 SOS 78448 HAS SOPS 77972 HAS SOUS 50747 HAS SOUPS 50479 WITH SCORE 50557.448
AT ITER 95 NEW BEST:: SOT 129583 SOS 78384 HAS SOPS 77908 HAS SOUS 50683 HAS SOUPS 50415 WITH SCORE 50493.384
AT ITER 96 NEW BEST:: SOT 129414 SOS 78151 HAS SOPS 77675 HAS SOUS 50610 HAS SOUPS 50342 WITH SCORE 50420.151
AT ITER 101 NEW BEST:: SOT 128397 SOS 77170 HAS SOPS 76645 HAS SOUS 49480 HAS SOUPS 49212 WITH SCORE 49289.17
AT ITER 106 NEW BEST:: SOT 128615 SOS 77376 HAS SOPS 76923 HAS SOUS 49419 HAS SOUPS 49179 WITH SCORE 49256.376
AT ITER 107 NEW BEST:: SOT 128088 SOS 76883 HAS SOPS 76430 HAS SOUS 48892 HAS SOUPS 48652 WITH SCORE 48728.883
AT ITER 111 NEW BEST:: SOT 128073 SOS 76853 HAS SOPS 76400 HAS SOUS 48892 HAS SOUPS 48652 WITH SCORE 48728.853
AT ITER 114 NEW BEST:: SOT 128284 SOS 77031 HAS SOPS 76538 HAS SOUS 48746 HAS SOUPS 48506 WITH SCORE 48583.031
AT ITER 116 NEW BEST:: SOT 128283 SOS 77030 HAS SOPS 76538 HAS SOUS 48745 HAS SOUPS 48506 WITH SCORE 48583.03
AT ITER 117 NEW BEST:: SOT 128283 SOS 77000 HAS SOPS 76508 HAS SOUS 48721 HAS SOUPS 48482 WITH SCORE 48559.0
AT ITER 120 NEW BEST:: SOT 128268 SOS 76984 HAS SOPS 76492 HAS SOUS 48705 HAS SOUPS 48466 WITH SCORE 48542.984
AT ITER 121 NEW BEST:: SOT 128229 SOS 76906 HAS SOPS 76414 HAS SOUS 48666 HAS SOUPS 48427 WITH SCORE 48503.906
AT ITER 122 NEW BEST:: SOT 128007 SOS 76462 HAS SOPS 75970 HAS SOUS 48222 HAS SOUPS 47983 WITH SCORE 48059.462
AT ITER 125 NEW BEST:: SOT 128007 SOS 76353 HAS SOPS 75842 HAS SOUS 48094 HAS SOUPS 47855 WITH SCORE 47931.353
AT ITER 130 NEW BEST:: SOT 128263 SOS 76738 HAS SOPS 76157 HAS SOUS 48016 HAS SOUPS 47751 WITH SCORE 47827.738
AT ITER 131 NEW BEST:: SOT 128239 SOS 76690 HAS SOPS 76109 HAS SOUS 47992 HAS SOUPS 47727 WITH SCORE 47803.69
AT ITER 133 NEW BEST:: SOT 126764 SOS 76803 HAS SOPS 75013 HAS SOUS 47060 HAS SOUPS 46617 WITH SCORE 46693.803
AT ITER 135 NEW BEST:: SOT 126873 SOS 76694 HAS SOPS 74904 HAS SOUS 46861 HAS SOUPS 46418 WITH SCORE 46494.694
AT ITER 137 NEW BEST:: SOT 126873 SOS 76691 HAS SOPS 74901 HAS SOUS 46859 HAS SOUPS 46416 WITH SCORE 46492.691
AT ITER 140 NEW BEST:: SOT 126873 SOS 76627 HAS SOPS 74837 HAS SOUS 46795 HAS SOUPS 46352 WITH SCORE 46428.627
AT ITER 141 NEW BEST:: SOT 126873 SOS 76651 HAS SOPS 74861 HAS SOUS 46786 HAS SOUPS 46343 WITH SCORE 46419.651
AT ITER 142 NEW BEST:: SOT 126940 SOS 76744 HAS SOPS 74954 HAS SOUS 46649 HAS SOUPS 46206 WITH SCORE 46282.744
AT ITER 147 NEW BEST:: SOT 126190 SOS 76192 HAS SOPS 74155 HAS SOUS 46067 HAS SOUPS 45530 WITH SCORE 45606.192
AT ITER 148 NEW BEST:: SOT 126140 SOS 76092 HAS SOPS 74080 HAS SOUS 45992 HAS SOUPS 45480 WITH SCORE 45556.092
AT ITER 151 NEW BEST:: SOT 126423 SOS 76204 HAS SOPS 74135 HAS SOUS 45859 HAS SOUPS 45347 WITH SCORE 45423.204
AT ITER 154 NEW BEST:: SOT 126383 SOS 76004 HAS SOPS 74057 HAS SOUS 45826 HAS SOUPS 45314 WITH SCORE 45390.004
AT ITER 155 NEW BEST:: SOT 126456 SOS 76073 HAS SOPS 74126 HAS SOUS 45759 HAS SOUPS 45247 WITH SCORE 45323.073
AT ITER 156 NEW BEST:: SOT 126237 SOS 75795 HAS SOPS 73878 HAS SOUS 45757 HAS SOUPS 45245 WITH SCORE 45320.795
AT ITER 157 NEW BEST:: SOT 126198 SOS 75665 HAS SOPS 73748 HAS SOUS 45644 HAS SOUPS 45132 WITH SCORE 45207.665
AT ITER 164 NEW BEST:: SOT 125834 SOS 75682 HAS SOPS 73415 HAS SOUS 45245 HAS SOUPS 44657 WITH SCORE 44732.682
AT ITER 171 NEW BEST:: SOT 125742 SOS 75313 HAS SOPS 73001 HAS SOUS 45200 HAS SOUPS 44612 WITH SCORE 44687.313
AT ITER 172 NEW BEST:: SOT 125721 SOS 75271 HAS SOPS 72959 HAS SOUS 45191 HAS SOUPS 44603 WITH SCORE 44678.271
AT ITER 176 NEW BEST:: SOT 125142 SOS 75067 HAS SOPS 72742 HAS SOUS 44478 HAS SOUPS 43890 WITH SCORE 43965.067
AT ITER 177 NEW BEST:: SOT 125144 SOS 74999 HAS SOPS 72674 HAS SOUS 44444 HAS SOUPS 43856 WITH SCORE 43930.999
AT ITER 181 NEW BEST:: SOT 122201 SOS 74006 HAS SOPS 71681 HAS SOUS 43686 HAS SOUPS 43098 WITH SCORE 43172.006
AT ITER 184 NEW BEST:: SOT 121426 SOS 73310 HAS SOPS 70985 HAS SOUS 42540 HAS SOUPS 41952 WITH SCORE 42025.31
AT ITER 192 NEW BEST:: SOT 121401 SOS 73235 HAS SOPS 70910 HAS SOUS 42440 HAS SOUPS 41852 WITH SCORE 41925.235
AT ITER 194 NEW BEST:: SOT 120410 SOS 73441 HAS SOPS 70103 HAS SOUS 41746 HAS SOUPS 40942 WITH SCORE 41015.441
AT ITER 203 NEW BEST:: SOT 119493 SOS 73101 HAS SOPS 69078 HAS SOUS 40742 HAS SOUPS 39823 WITH SCORE 39896.101
AT ITER 209 NEW BEST:: SOT 119515 SOS 73003 HAS SOPS 69032 HAS SOUS 40592 HAS SOUPS 39673 WITH SCORE 39746.003
AT ITER 211 NEW BEST:: SOT 119465 SOS 72953 HAS SOPS 68982 HAS SOUS 40542 HAS SOUPS 39623 WITH SCORE 39695.953
AT ITER 214 NEW BEST:: SOT 119399 SOS 72824 HAS SOPS 68853 HAS SOUS 40413 HAS SOUPS 39494 WITH SCORE 39566.824
AT ITER 220 NEW BEST:: SOT 119497 SOS 72909 HAS SOPS 68840 HAS SOUS 40330 HAS SOUPS 39411 WITH SCORE 39483.909
AT ITER 225 NEW BEST:: SOT 119521 SOS 72865 HAS SOPS 68818 HAS SOUS 40262 HAS SOUPS 39343 WITH SCORE 39415.865
AT ITER 230 NEW BEST:: SOT 119622 SOS 72966 HAS SOPS 68879 HAS SOUS 40218 HAS SOUPS 39299 WITH SCORE 39371.966
AT ITER 234 NEW BEST:: SOT 119401 SOS 73648 HAS SOPS 69557 HAS SOUS 39908 HAS SOUPS 38989 WITH SCORE 39062.648
AT ITER 237 NEW BEST:: SOT 119365 SOS 73578 HAS SOPS 69487 HAS SOUS 39860 HAS SOUPS 38941 WITH SCORE 39014.578
AT ITER 243 NEW BEST:: SOT 119384 SOS 73593 HAS SOPS 69502 HAS SOUS 39856 HAS SOUPS 38937 WITH SCORE 39010.593
AT ITER 246 NEW BEST:: SOT 119460 SOS 73593 HAS SOPS 69426 HAS SOUS 39780 HAS SOUPS 38861 WITH SCORE 38934.593
AT ITER 247 NEW BEST:: SOT 119455 SOS 73590 HAS SOPS 69422 HAS SOUS 39775 HAS SOUPS 38856 WITH SCORE 38929.59
AT ITER 251 NEW BEST:: SOT 119455 SOS 73584 HAS SOPS 69416 HAS SOUS 39769 HAS SOUPS 38850 WITH SCORE 38923.584
AT ITER 252 NEW BEST:: SOT 119747 SOS 73876 HAS SOPS 69708 HAS SOUS 39750 HAS SOUPS 38831 WITH SCORE 38904.876
AT ITER 253 NEW BEST:: SOT 119537 SOS 73664 HAS SOPS 69469 HAS SOUS 39443 HAS SOUPS 38524 WITH SCORE 38597.664
AT ITER 256 NEW BEST:: SOT 119535 SOS 73660 HAS SOPS 69467 HAS SOUS 39440 HAS SOUPS 38522 WITH SCORE 38595.66
AT ITER 257 NEW BEST:: SOT 119551 SOS 73657 HAS SOPS 69464 HAS SOUS 39428 HAS SOUPS 38510 WITH SCORE 38583.657
AT ITER 259 NEW BEST:: SOT 119361 SOS 73301 HAS SOPS 69214 HAS SOUS 39280 HAS SOUPS 38362 WITH SCORE 38435.301
AT ITER 261 NEW BEST:: SOT 119335 SOS 73043 HAS SOPS 69059 HAS SOUS 39074 HAS SOUPS 38156 WITH SCORE 38229.043
AT ITER 263 NEW BEST:: SOT 119287 SOS 72979 HAS SOPS 68995 HAS SOUS 39058 HAS SOUPS 38140 WITH SCORE 38212.979
AT ITER 265 NEW BEST:: SOT 119242 SOS 72864 HAS SOPS 68880 HAS SOUS 38955 HAS SOUPS 38037 WITH SCORE 38109.864
AT ITER 266 NEW BEST:: SOT 119315 SOS 72780 HAS SOPS 68796 HAS SOUS 38696 HAS SOUPS 37778 WITH SCORE 37850.78
AT ITER 268 NEW BEST:: SOT 119295 SOS 72684 HAS SOPS 68700 HAS SOUS 38620 HAS SOUPS 37702 WITH SCORE 37774.684
AT ITER 271 NEW BEST:: SOT 119106 SOS 72373 HAS SOPS 68322 HAS SOUS 38409 HAS SOUPS 37491 WITH SCORE 37563.373
AT ITER 274 NEW BEST:: SOT 119176 SOS 72524 HAS SOPS 68381 HAS SOUS 38440 HAS SOUPS 37469 WITH SCORE 37541.524
AT ITER 275 NEW BEST:: SOT 119028 SOS 72234 HAS SOPS 68091 HAS SOUS 38118 HAS SOUPS 37147 WITH SCORE 37219.234
AT ITER 277 NEW BEST:: SOT 118176 SOS 72316 HAS SOPS 67494 HAS SOUS 37532 HAS SOUPS 36456 WITH SCORE 36528.316
AT ITER 281 NEW BEST:: SOT 117787 SOS 72150 HAS SOPS 67328 HAS SOUS 37223 HAS SOUPS 36147 WITH SCORE 36219.15
AT ITER 289 NEW BEST:: SOT 117874 SOS 72260 HAS SOPS 67365 HAS SOUS 37209 HAS SOUPS 36133 WITH SCORE 36205.26
AT ITER 291 NEW BEST:: SOT 117863 SOS 72227 HAS SOPS 67343 HAS SOUS 37198 HAS SOUPS 36122 WITH SCORE 36194.227
AT ITER 293 NEW BEST:: SOT 117860 SOS 72221 HAS SOPS 67337 HAS SOUS 37195 HAS SOUPS 36119 WITH SCORE 36191.221
AT ITER 296 NEW BEST:: SOT 117861 SOS 72106 HAS SOPS 67222 HAS SOUS 36962 HAS SOUPS 35886 WITH SCORE 35958.106
AT ITER 300 NEW BEST:: SOT 118034 SOS 72240 HAS SOPS 67491 HAS SOUS 36937 HAS SOUPS 35861 WITH SCORE 35933.24
AT ITER 303 NEW BEST:: SOT 118066 SOS 72049 HAS SOPS 67405 HAS SOUS 36737 HAS SOUPS 35670 WITH SCORE 35742.049
AT ITER 305 NEW BEST:: SOT 118055 SOS 71961 HAS SOPS 67317 HAS SOUS 36737 HAS SOUPS 35670 WITH SCORE 35741.961
AT ITER 310 NEW BEST:: SOT 117718 SOS 71381 HAS SOPS 66777 HAS SOUS 36733 HAS SOUPS 35666 WITH SCORE 35737.381
AT ITER 312 NEW BEST:: SOT 117718 SOS 71381 HAS SOPS 66772 HAS SOUS 36718 HAS SOUPS 35651 WITH SCORE 35722.381
AT ITER 315 NEW BEST:: SOT 117598 SOS 71209 HAS SOPS 66600 HAS SOUS 36606 HAS SOUPS 35539 WITH SCORE 35610.209
AT ITER 317 NEW BEST:: SOT 117636 SOS 71247 HAS SOPS 66638 HAS SOUS 36560 HAS SOUPS 35493 WITH SCORE 35564.247
AT ITER 318 NEW BEST:: SOT 117905 SOS 71549 HAS SOPS 66834 HAS SOUS 36540 HAS SOUPS 35473 WITH SCORE 35544.549
AT ITER 319 NEW BEST:: SOT 117989 SOS 71615 HAS SOPS 66900 HAS SOUS 36484 HAS SOUPS 35417 WITH SCORE 35488.615
AT ITER 320 NEW BEST:: SOT 117954 SOS 71541 HAS SOPS 66826 HAS SOUS 36371 HAS SOUPS 35304 WITH SCORE 35375.541
AT ITER 335 NEW BEST:: SOT 117769 SOS 71756 HAS SOPS 67041 HAS SOUS 36246 HAS SOUPS 35179 WITH SCORE 35250.756
AT ITER 336 NEW BEST:: SOT 117731 SOS 71685 HAS SOPS 66932 HAS SOUS 36147 HAS SOUPS 35080 WITH SCORE 35151.685
AT ITER 342 NEW BEST:: SOT 117786 SOS 71740 HAS SOPS 66979 HAS SOUS 36068 HAS SOUPS 35001 WITH SCORE 35072.74
AT ITER 346 NEW BEST:: SOT 117774 SOS 71742 HAS SOPS 66967 HAS SOUS 36060 HAS SOUPS 34991 WITH SCORE 35062.742
AT ITER 350 NEW BEST:: SOT 117568 SOS 71813 HAS SOPS 66600 HAS SOUS 35515 HAS SOUPS 34418 WITH SCORE 34489.813
AT ITER 354 NEW BEST:: SOT 117486 SOS 71713 HAS SOPS 66500 HAS SOUS 35392 HAS SOUPS 34295 WITH SCORE 34366.713
AT ITER 357 NEW BEST:: SOT 117387 SOS 71583 HAS SOPS 66302 HAS SOUS 35194 HAS SOUPS 34097 WITH SCORE 34168.583
AT ITER 363 NEW BEST:: SOT 117385 SOS 71577 HAS SOPS 66296 HAS SOUS 35188 HAS SOUPS 34091 WITH SCORE 34162.577
AT ITER 364 NEW BEST:: SOT 117344 SOS 71491 HAS SOPS 66169 HAS SOUS 35016 HAS SOUPS 33919 WITH SCORE 33990.491
AT ITER 369 NEW BEST:: SOT 117340 SOS 71459 HAS SOPS 66137 HAS SOUS 35016 HAS SOUPS 33919 WITH SCORE 33990.459
AT ITER 376 NEW BEST:: SOT 117554 SOS 71769 HAS SOPS 66351 HAS SOUS 34909 HAS SOUPS 33812 WITH SCORE 33883.769
AT ITER 379 NEW BEST:: SOT 117532 SOS 71747 HAS SOPS 66329 HAS SOUS 34887 HAS SOUPS 33790 WITH SCORE 33861.747
AT ITER 381 NEW BEST:: SOT 117400 SOS 71609 HAS SOPS 66191 HAS SOUS 34877 HAS SOUPS 33780 WITH SCORE 33851.609
AT ITER 384 NEW BEST:: SOT 117233 SOS 71173 HAS SOPS 65840 HAS SOUS 34654 HAS SOUPS 33557 WITH SCORE 33628.173
AT ITER 385 NEW BEST:: SOT 117169 SOS 71103 HAS SOPS 65766 HAS SOUS 34643 HAS SOUPS 33546 WITH SCORE 33617.103
AT ITER 386 NEW BEST:: SOT 117327 SOS 71308 HAS SOPS 65995 HAS SOUS 34613 HAS SOUPS 33516 WITH SCORE 33587.308
AT ITER 394 NEW BEST:: SOT 117336 SOS 71317 HAS SOPS 66004 HAS SOUS 34604 HAS SOUPS 33507 WITH SCORE 33578.317
AT ITER 400 NEW BEST:: SOT 117419 SOS 71380 HAS SOPS 66068 HAS SOUS 34514 HAS SOUPS 33417 WITH SCORE 33488.38
AT ITER 406 NEW BEST:: SOT 117092 SOS 71640 HAS SOPS 66309 HAS SOUS 34181 HAS SOUPS 33084 WITH SCORE 33155.64
AT ITER 408 NEW BEST:: SOT 117092 SOS 71975 HAS SOPS 66336 HAS SOUS 34190 HAS SOUPS 33061 WITH SCORE 33132.975
AT ITER 413 NEW BEST:: SOT 117037 SOS 71920 HAS SOPS 66226 HAS SOUS 34100 HAS SOUPS 32951 WITH SCORE 33022.92
AT ITER 425 NEW BEST:: SOT 117021 SOS 72004 HAS SOPS 66359 HAS SOUS 34083 HAS SOUPS 32934 WITH SCORE 33006.004
AT ITER 426 NEW BEST:: SOT 117021 SOS 72004 HAS SOPS 66359 HAS SOUS 34033 HAS SOUPS 32884 WITH SCORE 32956.004
AT ITER 432 NEW BEST:: SOT 116978 SOS 71840 HAS SOPS 66153 HAS SOUS 33921 HAS SOUPS 32772 WITH SCORE 32843.84
AT ITER 450 NEW BEST:: SOT 116980 SOS 71842 HAS SOPS 66160 HAS SOUS 33911 HAS SOUPS 32762 WITH SCORE 32833.842
AT ITER 453 NEW BEST:: SOT 116971 SOS 71824 HAS SOPS 66142 HAS SOUS 33902 HAS SOUPS 32753 WITH SCORE 32824.824
AT ITER 459 NEW BEST:: SOT 116805 SOS 71658 HAS SOPS 65904 HAS SOUS 33910 HAS SOUPS 32698 WITH SCORE 32769.658
AT ITER 460 NEW BEST:: SOT 116778 SOS 71604 HAS SOPS 65877 HAS SOUS 33910 HAS SOUPS 32698 WITH SCORE 32769.604
AT ITER 461 NEW BEST:: SOT 116778 SOS 71408 HAS SOPS 65681 HAS SOUS 33900 HAS SOUPS 32688 WITH SCORE 32759.408
AT ITER 464 NEW BEST:: SOT 116734 SOS 71342 HAS SOPS 65615 HAS SOUS 33878 HAS SOUPS 32666 WITH SCORE 32737.342
AT ITER 467 NEW BEST:: SOT 116693 SOS 71237 HAS SOPS 65510 HAS SOUS 33796 HAS SOUPS 32584 WITH SCORE 32655.237
AT ITER 470 NEW BEST:: SOT 116622 SOS 71184 HAS SOPS 65461 HAS SOUS 33759 HAS SOUPS 32547 WITH SCORE 32618.184
AT ITER 473 NEW BEST:: SOT 116651 SOS 71242 HAS SOPS 65519 HAS SOUS 33692 HAS SOUPS 32480 WITH SCORE 32551.242
AT ITER 478 NEW BEST:: SOT 116537 SOS 74258 HAS SOPS 66437 HAS SOUS 33487 HAS SOUPS 32022 WITH SCORE 32096.258
AT ITER 484 NEW BEST:: SOT 116463 SOS 74180 HAS SOPS 66359 HAS SOUS 33409 HAS SOUPS 31944 WITH SCORE 32018.18
AT ITER 488 NEW BEST:: SOT 116432 SOS 74149 HAS SOPS 66359 HAS SOUS 33409 HAS SOUPS 31944 WITH SCORE 32018.149
AT ITER 491 NEW BEST:: SOT 116503 SOS 74157 HAS SOPS 66430 HAS SOUS 33318 HAS SOUPS 31853 WITH SCORE 31927.157
AT ITER 493 NEW BEST:: SOT 116781 SOS 74366 HAS SOPS 66635 HAS SOUS 33205 HAS SOUPS 31740 WITH SCORE 31814.366
AT ITER 499 NEW BEST:: SOT 116780 SOS 74365 HAS SOPS 66633 HAS SOUS 33203 HAS SOUPS 31738 WITH SCORE 31812.365
AT ITER 500 NEW BEST:: SOT 116814 SOS 74399 HAS SOPS 66644 HAS SOUS 33186 HAS SOUPS 31721 WITH SCORE 31795.399
AT ITER 503 NEW BEST:: SOT 116782 SOS 74367 HAS SOPS 66580 HAS SOUS 33101 HAS SOUPS 31636 WITH SCORE 31710.367
AT ITER 507 NEW BEST:: SOT 116712 SOS 74279 HAS SOPS 66488 HAS SOUS 33069 HAS SOUPS 31604 WITH SCORE 31678.279
AT ITER 509 NEW BEST:: SOT 116675 SOS 74242 HAS SOPS 66437 HAS SOUS 33064 HAS SOUPS 31599 WITH SCORE 31673.242
AT ITER 511 NEW BEST:: SOT 116694 SOS 74280 HAS SOPS 66451 HAS SOUS 33059 HAS SOUPS 31594 WITH SCORE 31668.28
AT ITER 515 NEW BEST:: SOT 116691 SOS 74280 HAS SOPS 66451 HAS SOUS 33055 HAS SOUPS 31590 WITH SCORE 31664.28
AT ITER 522 NEW BEST:: SOT 116642 SOS 74111 HAS SOPS 66282 HAS SOUS 32935 HAS SOUPS 31470 WITH SCORE 31544.111
AT ITER 529 NEW BEST:: SOT 116629 SOS 74035 HAS SOPS 66219 HAS SOUS 32872 HAS SOUPS 31407 WITH SCORE 31481.035
AT ITER 534 NEW BEST:: SOT 116685 SOS 74091 HAS SOPS 66219 HAS SOUS 32816 HAS SOUPS 31351 WITH SCORE 31425.091
AT ITER 541 NEW BEST:: SOT 116749 SOS 74149 HAS SOPS 66297 HAS SOUS 32794 HAS SOUPS 31329 WITH SCORE 31403.149
AT ITER 552 NEW BEST:: SOT 117065 SOS 74606 HAS SOPS 66579 HAS SOUS 32573 HAS SOUPS 31108 WITH SCORE 31182.606
AT ITER 556 NEW BEST:: SOT 117047 SOS 74212 HAS SOPS 66185 HAS SOUS 32560 HAS SOUPS 31095 WITH SCORE 31169.212
AT ITER 562 NEW BEST:: SOT 116746 SOS 73911 HAS SOPS 65904 HAS SOUS 32427 HAS SOUPS 30962 WITH SCORE 31035.911
AT ITER 563 NEW BEST:: SOT 116742 SOS 73891 HAS SOPS 65884 HAS SOUS 32425 HAS SOUPS 30960 WITH SCORE 31033.891
AT ITER 564 NEW BEST:: SOT 116759 SOS 73916 HAS SOPS 65892 HAS SOUS 32385 HAS SOUPS 30920 WITH SCORE 30993.916
AT ITER 574 NEW BEST:: SOT 116598 SOS 73575 HAS SOPS 65594 HAS SOUS 32304 HAS SOUPS 30839 WITH SCORE 30912.575
AT ITER 579 NEW BEST:: SOT 116617 SOS 73912 HAS SOPS 65907 HAS SOUS 32223 HAS SOUPS 30758 WITH SCORE 30831.912
AT ITER 585 NEW BEST:: SOT 116616 SOS 73592 HAS SOPS 65540 HAS SOUS 32207 HAS SOUPS 30742 WITH SCORE 30815.592
AT ITER 589 NEW BEST:: SOT 116726 SOS 73687 HAS SOPS 65677 HAS SOUS 32192 HAS SOUPS 30727 WITH SCORE 30800.687
AT ITER 592 NEW BEST:: SOT 116759 SOS 73714 HAS SOPS 65704 HAS SOUS 32186 HAS SOUPS 30721 WITH SCORE 30794.714
AT ITER 594 NEW BEST:: SOT 116739 SOS 73610 HAS SOPS 65617 HAS SOUS 32015 HAS SOUPS 30550 WITH SCORE 30623.61
AT ITER 599 NEW BEST:: SOT 116729 SOS 73633 HAS SOPS 65637 HAS SOUS 31997 HAS SOUPS 30532 WITH SCORE 30605.633
AT ITER 608 NEW BEST:: SOT 116676 SOS 73580 HAS SOPS 65531 HAS SOUS 31891 HAS SOUPS 30426 WITH SCORE 30499.58
AT ITER 610 NEW BEST:: SOT 116554 SOS 73458 HAS SOPS 65348 HAS SOUS 31869 HAS SOUPS 30404 WITH SCORE 30477.458
AT ITER 615 NEW BEST:: SOT 116384 SOS 73125 HAS SOPS 65015 HAS SOUS 31506 HAS SOUPS 30041 WITH SCORE 30114.125
AT ITER 616 NEW BEST:: SOT 116384 SOS 73003 HAS SOPS 64954 HAS SOUS 31335 HAS SOUPS 29919 WITH SCORE 29992.003
AT ITER 620 NEW BEST:: SOT 116186 SOS 72710 HAS SOPS 64720 HAS SOUS 31290 HAS SOUPS 29897 WITH SCORE 29969.71
AT ITER 622 NEW BEST:: SOT 116143 SOS 72667 HAS SOPS 64656 HAS SOUS 31270 HAS SOUPS 29877 WITH SCORE 29949.667
AT ITER 628 NEW BEST:: SOT 115960 SOS 72403 HAS SOPS 64452 HAS SOUS 31147 HAS SOUPS 29754 WITH SCORE 29826.403
AT ITER 629 NEW BEST:: SOT 115975 SOS 72645 HAS SOPS 64667 HAS SOUS 31116 HAS SOUPS 29723 WITH SCORE 29795.645
AT ITER 632 NEW BEST:: SOT 115954 SOS 72624 HAS SOPS 64646 HAS SOUS 31102 HAS SOUPS 29709 WITH SCORE 29781.624
AT ITER 638 NEW BEST:: SOT 115890 SOS 72535 HAS SOPS 64514 HAS SOUS 31081 HAS SOUPS 29660 WITH SCORE 29732.535
AT ITER 642 NEW BEST:: SOT 115874 SOS 72513 HAS SOPS 64492 HAS SOUS 31074 HAS SOUPS 29653 WITH SCORE 29725.513
AT ITER 653 NEW BEST:: SOT 115898 SOS 72537 HAS SOPS 64455 HAS SOUS 30927 HAS SOUPS 29506 WITH SCORE 29578.537
AT ITER 657 NEW BEST:: SOT 115838 SOS 72477 HAS SOPS 64395 HAS SOUS 30923 HAS SOUPS 29502 WITH SCORE 29574.477
AT ITER 660 NEW BEST:: SOT 115694 SOS 71494 HAS SOPS 63412 HAS SOUS 30902 HAS SOUPS 29481 WITH SCORE 29552.494
AT ITER 663 NEW BEST:: SOT 115694 SOS 71494 HAS SOPS 63412 HAS SOUS 30884 HAS SOUPS 29463 WITH SCORE 29534.494
AT ITER 666 NEW BEST:: SOT 115578 SOS 71320 HAS SOPS 63238 HAS SOUS 30884 HAS SOUPS 29463 WITH SCORE 29534.32
AT ITER 667 NEW BEST:: SOT 115559 SOS 71334 HAS SOPS 63140 HAS SOUS 30786 HAS SOUPS 29309 WITH SCORE 29380.334
AT ITER 668 NEW BEST:: SOT 115551 SOS 71322 HAS SOPS 63128 HAS SOUS 30778 HAS SOUPS 29301 WITH SCORE 29372.322
AT ITER 671 NEW BEST:: SOT 115539 SOS 71268 HAS SOPS 63116 HAS SOUS 30757 HAS SOUPS 29283 WITH SCORE 29354.268
AT ITER 674 NEW BEST:: SOT 115551 SOS 71303 HAS SOPS 63151 HAS SOUS 30577 HAS SOUPS 29103 WITH SCORE 29174.303
AT ITER 689 NEW BEST:: SOT 115525 SOS 71249 HAS SOPS 63097 HAS SOUS 30543 HAS SOUPS 29069 WITH SCORE 29140.249
AT ITER 690 NEW BEST:: SOT 115522 SOS 71249 HAS SOPS 63096 HAS SOUS 30539 HAS SOUPS 29064 WITH SCORE 29135.249
AT ITER 692 NEW BEST:: SOT 115478 SOS 71115 HAS SOPS 63008 HAS SOUS 30508 HAS SOUPS 29033 WITH SCORE 29104.115
AT ITER 703 NEW BEST:: SOT 115418 SOS 71035 HAS SOPS 62948 HAS SOUS 30508 HAS SOUPS 29033 WITH SCORE 29104.035
AT ITER 706 NEW BEST:: SOT 115134 SOS 70789 HAS SOPS 62798 HAS SOUS 30467 HAS SOUPS 28992 WITH SCORE 29062.789
AT ITER 717 NEW BEST:: SOT 114928 SOS 70583 HAS SOPS 62592 HAS SOUS 30439 HAS SOUPS 28964 WITH SCORE 29034.583
AT ITER 725 NEW BEST:: SOT 114906 SOS 70784 HAS SOPS 62532 HAS SOUS 30400 HAS SOUPS 28906 WITH SCORE 28976.784
AT ITER 734 NEW BEST:: SOT 114905 SOS 70781 HAS SOPS 62529 HAS SOUS 30398 HAS SOUPS 28904 WITH SCORE 28974.781
AT ITER 736 NEW BEST:: SOT 114892 SOS 70764 HAS SOPS 62503 HAS SOUS 30372 HAS SOUPS 28878 WITH SCORE 28948.764
AT ITER 741 NEW BEST:: SOT 114689 SOS 70469 HAS SOPS 62208 HAS SOUS 30174 HAS SOUPS 28680 WITH SCORE 28750.469
AT ITER 744 NEW BEST:: SOT 115035 SOS 70448 HAS SOPS 61872 HAS SOUS 30149 HAS SOUPS 28655 WITH SCORE 28725.448
AT ITER 749 NEW BEST:: SOT 114948 SOS 70327 HAS SOPS 61766 HAS SOUS 30128 HAS SOUPS 28634 WITH SCORE 28704.327
AT ITER 754 NEW BEST:: SOT 115062 SOS 70467 HAS SOPS 61906 HAS SOUS 30097 HAS SOUPS 28603 WITH SCORE 28673.467
AT ITER 756 NEW BEST:: SOT 115014 SOS 70419 HAS SOPS 61834 HAS SOUS 30049 HAS SOUPS 28555 WITH SCORE 28625.419
AT ITER 765 NEW BEST:: SOT 114988 SOS 70374 HAS SOPS 61782 HAS SOUS 30023 HAS SOUPS 28529 WITH SCORE 28599.374
AT ITER 766 NEW BEST:: SOT 114993 SOS 70379 HAS SOPS 61776 HAS SOUS 30017 HAS SOUPS 28523 WITH SCORE 28593.379
AT ITER 771 NEW BEST:: SOT 114962 SOS 70347 HAS SOPS 61744 HAS SOUS 30004 HAS SOUPS 28510 WITH SCORE 28580.347
AT ITER 774 NEW BEST:: SOT 114888 SOS 70191 HAS SOPS 61588 HAS SOUS 29953 HAS SOUPS 28459 WITH SCORE 28529.191
AT ITER 779 NEW BEST:: SOT 114800 SOS 70015 HAS SOPS 61412 HAS SOUS 29777 HAS SOUPS 28283 WITH SCORE 28353.015
AT ITER 780 NEW BEST:: SOT 114339 SOS 69654 HAS SOPS 61442 HAS SOUS 29736 HAS SOUPS 28274 WITH SCORE 28343.654
AT ITER 788 NEW BEST:: SOT 114150 SOS 69690 HAS SOPS 61478 HAS SOUS 29616 HAS SOUPS 28154 WITH SCORE 28223.69
AT ITER 789 NEW BEST:: SOT 114144 SOS 69684 HAS SOPS 61469 HAS SOUS 29616 HAS SOUPS 28154 WITH SCORE 28223.684
AT ITER 808 NEW BEST:: SOT 114244 SOS 69744 HAS SOPS 61529 HAS SOUS 29578 HAS SOUPS 28116 WITH SCORE 28185.744
AT ITER 815 NEW BEST:: SOT 114231 SOS 69731 HAS SOPS 61503 HAS SOUS 29578 HAS SOUPS 28103 WITH SCORE 28172.731
AT ITER 817 NEW BEST:: SOT 114211 SOS 69707 HAS SOPS 61479 HAS SOUS 29558 HAS SOUPS 28083 WITH SCORE 28152.707
AT ITER 821 NEW BEST:: SOT 114221 SOS 69717 HAS SOPS 61472 HAS SOUS 29497 HAS SOUPS 28022 WITH SCORE 28091.717
AT ITER 827 NEW BEST:: SOT 114104 SOS 69579 HAS SOPS 61307 HAS SOUS 29392 HAS SOUPS 27917 WITH SCORE 27986.579
AT ITER 830 NEW BEST:: SOT 113909 SOS 69514 HAS SOPS 61435 HAS SOUS 29200 HAS SOUPS 27753 WITH SCORE 27822.514
AT ITER 838 NEW BEST:: SOT 114189 SOS 69890 HAS SOPS 61727 HAS SOUS 29198 HAS SOUPS 27751 WITH SCORE 27820.89
AT ITER 849 NEW BEST:: SOT 114179 SOS 69865 HAS SOPS 61707 HAS SOUS 29178 HAS SOUPS 27731 WITH SCORE 27800.865
AT ITER 850 NEW BEST:: SOT 114034 SOS 69692 HAS SOPS 61480 HAS SOUS 29071 HAS SOUPS 27624 WITH SCORE 27693.692
AT ITER 852 NEW BEST:: SOT 114104 SOS 69786 HAS SOPS 61539 HAS SOUS 29025 HAS SOUPS 27578 WITH SCORE 27647.786
AT ITER 855 NEW BEST:: SOT 114501 SOS 70204 HAS SOPS 61943 HAS SOUS 28999 HAS SOUPS 27552 WITH SCORE 27622.204
AT ITER 857 NEW BEST:: SOT 114357 SOS 69964 HAS SOPS 61751 HAS SOUS 28951 HAS SOUPS 27504 WITH SCORE 27573.964
AT ITER 858 NEW BEST:: SOT 114352 SOS 69954 HAS SOPS 61741 HAS SOUS 28941 HAS SOUPS 27494 WITH SCORE 27563.954
AT ITER 859 NEW BEST:: SOT 114376 SOS 69978 HAS SOPS 61756 HAS SOUS 28923 HAS SOUPS 27476 WITH SCORE 27545.978
AT ITER 861 NEW BEST:: SOT 114376 SOS 69951 HAS SOPS 61729 HAS SOUS 28903 HAS SOUPS 27456 WITH SCORE 27525.951
AT ITER 863 NEW BEST:: SOT 114709 SOS 70278 HAS SOPS 62037 HAS SOUS 28885 HAS SOUPS 27438 WITH SCORE 27508.278
AT ITER 867 NEW BEST:: SOT 114556 SOS 70125 HAS SOPS 61731 HAS SOUS 28626 HAS SOUPS 27132 WITH SCORE 27202.125
AT ITER 868 NEW BEST:: SOT 114597 SOS 70166 HAS SOPS 61772 HAS SOUS 28622 HAS SOUPS 27128 WITH SCORE 27198.166
AT ITER 874 NEW BEST:: SOT 114585 SOS 70131 HAS SOPS 61749 HAS SOUS 28599 HAS SOUPS 27105 WITH SCORE 27175.131
AT ITER 886 NEW BEST:: SOT 114473 SOS 70019 HAS SOPS 61566 HAS SOUS 28539 HAS SOUPS 27004 WITH SCORE 27074.019
AT ITER 900 NEW BEST:: SOT 114506 SOS 69979 HAS SOPS 61579 HAS SOUS 28466 HAS SOUPS 26931 WITH SCORE 27000.979
AT ITER 920 NEW BEST:: SOT 114484 SOS 69891 HAS SOPS 61381 HAS SOUS 28290 HAS SOUPS 26777 WITH SCORE 26846.891
AT ITER 923 NEW BEST:: SOT 114480 SOS 69891 HAS SOPS 61381 HAS SOUS 28282 HAS SOUPS 26769 WITH SCORE 26838.891
AT ITER 928 NEW BEST:: SOT 114508 SOS 69919 HAS SOPS 61303 HAS SOUS 28349 HAS SOUPS 26736 WITH SCORE 26805.919
AT ITER 968 NEW BEST:: SOT 114574 SOS 69985 HAS SOPS 61385 HAS SOUS 28331 HAS SOUPS 26718 WITH SCORE 26787.985
AT ITER 975 NEW BEST:: SOT 114574 SOS 69977 HAS SOPS 61385 HAS SOUS 28331 HAS SOUPS 26718 WITH SCORE 26787.977
AT ITER 977 NEW BEST:: SOT 114604 SOS 69992 HAS SOPS 61400 HAS SOUS 28301 HAS SOUPS 26688 WITH SCORE 26757.992
AT ITER 990 NEW BEST:: SOT 114676 SOS 70196 HAS SOPS 61412 HAS SOUS 28181 HAS SOUPS 26568 WITH SCORE 26638.196
AT ITER 991 NEW BEST:: SOT 114756 SOS 70177 HAS SOPS 61193 HAS SOUS 28022 HAS SOUPS 26409 WITH SCORE 26479.177
AT ITER 994 NEW BEST:: SOT 114756 SOS 70173 HAS SOPS 61189 HAS SOUS 28020 HAS SOUPS 26407 WITH SCORE 26477.173
AT ITER 998 NEW BEST:: SOT 114825 SOS 70230 HAS SOPS 61275 HAS SOUS 28016 HAS SOUPS 26403 WITH SCORE 26473.23
AT ITER 1009 NEW BEST:: SOT 114852 SOS 70231 HAS SOPS 61299 HAS SOUS 28006 HAS SOUPS 26393 WITH SCORE 26463.231
AT ITER 1015 NEW BEST:: SOT 114795 SOS 70117 HAS SOPS 61185 HAS SOUS 27907 HAS SOUPS 26294 WITH SCORE 26364.117
AT ITER 1020 NEW BEST:: SOT 114364 SOS 69586 HAS SOPS 60654 HAS SOUS 27862 HAS SOUPS 26249 WITH SCORE 26318.586
AT ITER 1033 NEW BEST:: SOT 114196 SOS 69295 HAS SOPS 60412 HAS SOUS 27714 HAS SOUPS 26101 WITH SCORE 26170.295
AT ITER 1038 NEW BEST:: SOT 114177 SOS 70167 HAS SOPS 61154 HAS SOUS 27695 HAS SOUPS 26082 WITH SCORE 26152.167
AT ITER 1043 NEW BEST:: SOT 114137 SOS 70127 HAS SOPS 61106 HAS SOUS 27702 HAS SOUPS 26081 WITH SCORE 26151.127
AT ITER 1044 NEW BEST:: SOT 114349 SOS 70364 HAS SOPS 61300 HAS SOUS 27670 HAS SOUPS 26028 WITH SCORE 26098.364
AT ITER 1045 NEW BEST:: SOT 114323 SOS 69572 HAS SOPS 60508 HAS SOUS 27543 HAS SOUPS 25901 WITH SCORE 25970.572
AT ITER 1051 NEW BEST:: SOT 114339 SOS 69255 HAS SOPS 60191 HAS SOUS 27543 HAS SOUPS 25901 WITH SCORE 25970.255
AT ITER 1052 NEW BEST:: SOT 114335 SOS 69251 HAS SOPS 60187 HAS SOUS 27539 HAS SOUPS 25897 WITH SCORE 25966.251
AT ITER 1053 NEW BEST:: SOT 114199 SOS 69115 HAS SOPS 60051 HAS SOUS 27519 HAS SOUPS 25877 WITH SCORE 25946.115
AT ITER 1069 NEW BEST:: SOT 114159 SOS 69075 HAS SOPS 59971 HAS SOUS 27447 HAS SOUPS 25805 WITH SCORE 25874.075
AT ITER 1076 NEW BEST:: SOT 114072 SOS 68956 HAS SOPS 59861 HAS SOUS 27433 HAS SOUPS 25791 WITH SCORE 25859.956
AT ITER 1082 NEW BEST:: SOT 114016 SOS 69076 HAS SOPS 59981 HAS SOUS 27348 HAS SOUPS 25706 WITH SCORE 25775.076
AT ITER 1084 NEW BEST:: SOT 114144 SOS 69225 HAS SOPS 60110 HAS SOUS 27337 HAS SOUPS 25695 WITH SCORE 25764.225
AT ITER 1102 NEW BEST:: SOT 114117 SOS 69198 HAS SOPS 60083 HAS SOUS 27283 HAS SOUPS 25641 WITH SCORE 25710.198
AT ITER 1126 NEW BEST:: SOT 114054 SOS 69114 HAS SOPS 59999 HAS SOUS 27262 HAS SOUPS 25620 WITH SCORE 25689.114
AT ITER 1134 NEW BEST:: SOT 114028 SOS 69031 HAS SOPS 59916 HAS SOUS 27210 HAS SOUPS 25568 WITH SCORE 25637.031
AT ITER 1135 NEW BEST:: SOT 114159 SOS 69146 HAS SOPS 60031 HAS SOUS 27204 HAS SOUPS 25562 WITH SCORE 25631.146
AT ITER 1137 NEW BEST:: SOT 114130 SOS 69088 HAS SOPS 60002 HAS SOUS 27175 HAS SOUPS 25533 WITH SCORE 25602.088
AT ITER 1141 NEW BEST:: SOT 114104 SOS 69049 HAS SOPS 59963 HAS SOUS 27149 HAS SOUPS 25507 WITH SCORE 25576.049
AT ITER 1150 NEW BEST:: SOT 114123 SOS 68637 HAS SOPS 59551 HAS SOUS 27110 HAS SOUPS 25468 WITH SCORE 25536.637
AT ITER 1155 NEW BEST:: SOT 113949 SOS 68404 HAS SOPS 59325 HAS SOUS 26962 HAS SOUPS 25327 WITH SCORE 25395.404
AT ITER 1157 NEW BEST:: SOT 113950 SOS 69491 HAS SOPS 59246 HAS SOUS 27030 HAS SOUPS 25281 WITH SCORE 25350.491
AT ITER 1180 NEW BEST:: SOT 113943 SOS 69484 HAS SOPS 59216 HAS SOUS 27000 HAS SOUPS 25251 WITH SCORE 25320.484
AT ITER 1190 NEW BEST:: SOT 113930 SOS 69471 HAS SOPS 59190 HAS SOUS 26974 HAS SOUPS 25225 WITH SCORE 25294.471
AT ITER 1194 NEW BEST:: SOT 114088 SOS 69629 HAS SOPS 59422 HAS SOUS 26888 HAS SOUPS 25205 WITH SCORE 25274.629
AT ITER 1198 NEW BEST:: SOT 114088 SOS 69629 HAS SOPS 59418 HAS SOUS 26884 HAS SOUPS 25201 WITH SCORE 25270.629
AT ITER 1201 NEW BEST:: SOT 114168 SOS 69709 HAS SOPS 59498 HAS SOUS 26868 HAS SOUPS 25185 WITH SCORE 25254.709
AT ITER 1204 NEW BEST:: SOT 114074 SOS 69622 HAS SOPS 59319 HAS SOUS 26783 HAS SOUPS 25100 WITH SCORE 25169.622
AT ITER 1213 NEW BEST:: SOT 114068 SOS 69581 HAS SOPS 59278 HAS SOUS 26777 HAS SOUPS 25094 WITH SCORE 25163.581
AT ITER 1222 NEW BEST:: SOT 114065 SOS 69574 HAS SOPS 59271 HAS SOUS 26774 HAS SOUPS 25091 WITH SCORE 25160.574
AT ITER 1232 NEW BEST:: SOT 114121 SOS 69630 HAS SOPS 59338 HAS SOUS 26751 HAS SOUPS 25068 WITH SCORE 25137.63
AT ITER 1233 NEW BEST:: SOT 114073 SOS 69546 HAS SOPS 59278 HAS SOUS 26696 HAS SOUPS 25037 WITH SCORE 25106.546
AT ITER 1235 NEW BEST:: SOT 114019 SOS 69443 HAS SOPS 59170 HAS SOUS 26590 HAS SOUPS 24931 WITH SCORE 25000.443
AT ITER 1247 NEW BEST:: SOT 114062 SOS 69490 HAS SOPS 59192 HAS SOUS 26548 HAS SOUPS 24889 WITH SCORE 24958.49
AT ITER 1274 NEW BEST:: SOT 114016 SOS 69428 HAS SOPS 59132 HAS SOUS 26536 HAS SOUPS 24877 WITH SCORE 24946.428
AT ITER 1289 NEW BEST:: SOT 113924 SOS 69391 HAS SOPS 59185 HAS SOUS 26488 HAS SOUPS 24829 WITH SCORE 24898.391
AT ITER 1314 NEW BEST:: SOT 113929 SOS 69344 HAS SOPS 59195 HAS SOUS 26458 HAS SOUPS 24821 WITH SCORE 24890.344
AT ITER 1316 NEW BEST:: SOT 113987 SOS 69402 HAS SOPS 59238 HAS SOUS 26454 HAS SOUPS 24802 WITH SCORE 24871.402
AT ITER 1332 NEW BEST:: SOT 113988 SOS 69367 HAS SOPS 59240 HAS SOUS 26453 HAS SOUPS 24801 WITH SCORE 24870.367
AT ITER 1368 NEW BEST:: SOT 113970 SOS 69283 HAS SOPS 59072 HAS SOUS 26373 HAS SOUPS 24721 WITH SCORE 24790.283
AT ITER 1402 NEW BEST:: SOT 113980 SOS 69293 HAS SOPS 59082 HAS SOUS 26368 HAS SOUPS 24716 WITH SCORE 24785.293
AT ITER 1404 NEW BEST:: SOT 113907 SOS 69205 HAS SOPS 58994 HAS SOUS 26345 HAS SOUPS 24693 WITH SCORE 24762.205
AT ITER 1409 NEW BEST:: SOT 113923 SOS 69221 HAS SOPS 59010 HAS SOUS 26285 HAS SOUPS 24633 WITH SCORE 24702.221
AT ITER 1411 NEW BEST:: SOT 113915 SOS 69213 HAS SOPS 58965 HAS SOUS 26223 HAS SOUPS 24565 WITH SCORE 24634.213
AT ITER 1414 NEW BEST:: SOT 113913 SOS 69210 HAS SOPS 58962 HAS SOUS 26222 HAS SOUPS 24564 WITH SCORE 24633.21
AT ITER 1416 NEW BEST:: SOT 114226 SOS 69420 HAS SOPS 59172 HAS SOUS 25913 HAS SOUPS 24255 WITH SCORE 24324.42
AT ITER 1423 NEW BEST:: SOT 114233 SOS 69099 HAS SOPS 58856 HAS SOUS 25912 HAS SOUPS 24254 WITH SCORE 24323.099
AT ITER 1429 NEW BEST:: SOT 114137 SOS 69872 HAS SOPS 58712 HAS SOUS 25853 HAS SOUPS 24092 WITH SCORE 24161.872
AT ITER 1433 NEW BEST:: SOT 114184 SOS 69914 HAS SOPS 58751 HAS SOUS 25782 HAS SOUPS 24021 WITH SCORE 24090.914
AT ITER 1440 NEW BEST:: SOT 114180 SOS 69887 HAS SOPS 58724 HAS SOUS 25774 HAS SOUPS 24013 WITH SCORE 24082.887
AT ITER 1443 NEW BEST:: SOT 113938 SOS 69645 HAS SOPS 58349 HAS SOUS 25779 HAS SOUPS 23965 WITH SCORE 24034.645
AT ITER 1450 NEW BEST:: SOT 113978 SOS 69298 HAS SOPS 58002 HAS SOUS 25776 HAS SOUPS 23962 WITH SCORE 24031.298
AT ITER 1454 NEW BEST:: SOT 114187 SOS 69454 HAS SOPS 58152 HAS SOUS 25565 HAS SOUPS 23751 WITH SCORE 23820.454
AT ITER 1455 NEW BEST:: SOT 114187 SOS 69454 HAS SOPS 58152 HAS SOUS 25564 HAS SOUPS 23750 WITH SCORE 23819.454
AT ITER 1476 NEW BEST:: SOT 114019 SOS 69194 HAS SOPS 57908 HAS SOUS 25458 HAS SOUPS 23644 WITH SCORE 23713.194
AT ITER 1485 NEW BEST:: SOT 114005 SOS 69179 HAS SOPS 57905 HAS SOUS 25443 HAS SOUPS 23641 WITH SCORE 23710.179
AT ITER 1486 NEW BEST:: SOT 113988 SOS 69164 HAS SOPS 57899 HAS SOUS 25423 HAS SOUPS 23621 WITH SCORE 23690.164
AT ITER 1495 NEW BEST:: SOT 114024 SOS 69200 HAS SOPS 57935 HAS SOUS 25406 HAS SOUPS 23604 WITH SCORE 23673.2
AT ITER 1506 NEW BEST:: SOT 113882 SOS 69058 HAS SOPS 57729 HAS SOUS 25357 HAS SOUPS 23554 WITH SCORE 23623.058
AT ITER 1513 NEW BEST:: SOT 113690 SOS 68905 HAS SOPS 57576 HAS SOUS 25316 HAS SOUPS 23513 WITH SCORE 23581.905
AT ITER 1519 NEW BEST:: SOT 113690 SOS 68905 HAS SOPS 57554 HAS SOUS 25250 HAS SOUPS 23447 WITH SCORE 23515.905
AT ITER 1522 NEW BEST:: SOT 113716 SOS 68931 HAS SOPS 57486 HAS SOUS 25227 HAS SOUPS 23424 WITH SCORE 23492.931
AT ITER 1530 NEW BEST:: SOT 113710 SOS 68925 HAS SOPS 57477 HAS SOUS 25224 HAS SOUPS 23421 WITH SCORE 23489.925
AT ITER 1532 NEW BEST:: SOT 113678 SOS 68869 HAS SOPS 57425 HAS SOUS 25184 HAS SOUPS 23381 WITH SCORE 23449.869
AT ITER 1542 NEW BEST:: SOT 113603 SOS 68784 HAS SOPS 57319 HAS SOUS 25166 HAS SOUPS 23363 WITH SCORE 23431.784
AT ITER 1546 NEW BEST:: SOT 113612 SOS 68793 HAS SOPS 57314 HAS SOUS 25115 HAS SOUPS 23312 WITH SCORE 23380.793
AT ITER 1550 NEW BEST:: SOT 113626 SOS 68831 HAS SOPS 57352 HAS SOUS 25075 HAS SOUPS 23272 WITH SCORE 23340.831
AT ITER 1556 NEW BEST:: SOT 113640 SOS 68845 HAS SOPS 57366 HAS SOUS 25061 HAS SOUPS 23258 WITH SCORE 23326.845
AT ITER 1565 NEW BEST:: SOT 113420 SOS 68614 HAS SOPS 57146 HAS SOUS 25016 HAS SOUPS 23213 WITH SCORE 23281.614
AT ITER 1572 NEW BEST:: SOT 113431 SOS 68420 HAS SOPS 56952 HAS SOUS 25003 HAS SOUPS 23200 WITH SCORE 23268.42
AT ITER 1579 NEW BEST:: SOT 113427 SOS 68412 HAS SOPS 56948 HAS SOUS 24999 HAS SOUPS 23196 WITH SCORE 23264.412
AT ITER 1606 NEW BEST:: SOT 113411 SOS 68526 HAS SOPS 56890 HAS SOUS 24987 HAS SOUPS 23171 WITH SCORE 23239.526
AT ITER 1617 NEW BEST:: SOT 113423 SOS 68544 HAS SOPS 56902 HAS SOUS 24981 HAS SOUPS 23165 WITH SCORE 23233.544
AT ITER 1622 NEW BEST:: SOT 113410 SOS 68518 HAS SOPS 56889 HAS SOUS 24981 HAS SOUPS 23165 WITH SCORE 23233.518
AT ITER 1626 NEW BEST:: SOT 113408 SOS 68516 HAS SOPS 56885 HAS SOUS 24977 HAS SOUPS 23161 WITH SCORE 23229.516
AT ITER 1631 NEW BEST:: SOT 113415 SOS 68485 HAS SOPS 56897 HAS SOUS 24970 HAS SOUPS 23159 WITH SCORE 23227.485
AT ITER 1644 NEW BEST:: SOT 113365 SOS 68392 HAS SOPS 56840 HAS SOUS 24957 HAS SOUPS 23158 WITH SCORE 23226.392
AT ITER 1646 NEW BEST:: SOT 113353 SOS 67984 HAS SOPS 56742 HAS SOUS 24912 HAS SOUPS 23144 WITH SCORE 23211.984
AT ITER 1662 NEW BEST:: SOT 113273 SOS 67247 HAS SOPS 56645 HAS SOUS 24803 HAS SOUPS 23089 WITH SCORE 23156.247
AT ITER 1683 NEW BEST:: SOT 113260 SOS 67269 HAS SOPS 56626 HAS SOUS 24793 HAS SOUPS 23073 WITH SCORE 23140.269
AT ITER 1689 NEW BEST:: SOT 113372 SOS 67381 HAS SOPS 56789 HAS SOUS 24773 HAS SOUPS 23053 WITH SCORE 23120.381
AT ITER 1707 NEW BEST:: SOT 113317 SOS 67325 HAS SOPS 56733 HAS SOUS 24717 HAS SOUPS 22997 WITH SCORE 23064.325
AT ITER 1717 NEW BEST:: SOT 113339 SOS 67347 HAS SOPS 56733 HAS SOUS 24695 HAS SOUPS 22975 WITH SCORE 23042.347
AT ITER 1719 NEW BEST:: SOT 113311 SOS 67303 HAS SOPS 56706 HAS SOUS 24691 HAS SOUPS 22971 WITH SCORE 23038.303
AT ITER 1725 NEW BEST:: SOT 113248 SOS 67196 HAS SOPS 56604 HAS SOUS 24613 HAS SOUPS 22893 WITH SCORE 22960.196
AT ITER 1730 NEW BEST:: SOT 113242 SOS 67188 HAS SOPS 56596 HAS SOUS 24605 HAS SOUPS 22885 WITH SCORE 22952.188
AT ITER 1734 NEW BEST:: SOT 113237 SOS 67182 HAS SOPS 56586 HAS SOUS 24595 HAS SOUPS 22875 WITH SCORE 22942.182
AT ITER 1735 NEW BEST:: SOT 113235 SOS 67180 HAS SOPS 56582 HAS SOUS 24591 HAS SOUPS 22871 WITH SCORE 22938.18
AT ITER 1740 NEW BEST:: SOT 113237 SOS 66534 HAS SOPS 55986 HAS SOUS 24591 HAS SOUPS 22871 WITH SCORE 22937.534
AT ITER 1743 NEW BEST:: SOT 113243 SOS 66528 HAS SOPS 55950 HAS SOUS 24561 HAS SOUPS 22841 WITH SCORE 22907.528
AT ITER 1747 NEW BEST:: SOT 113115 SOS 66338 HAS SOPS 55818 HAS SOUS 24553 HAS SOUPS 22833 WITH SCORE 22899.338
AT ITER 1756 NEW BEST:: SOT 113282 SOS 66545 HAS SOPS 55938 HAS SOUS 24552 HAS SOUPS 22832 WITH SCORE 22898.545
AT ITER 1759 NEW BEST:: SOT 113204 SOS 66446 HAS SOPS 55840 HAS SOUS 24541 HAS SOUPS 22821 WITH SCORE 22887.446
AT ITER 1790 NEW BEST:: SOT 113201 SOS 66464 HAS SOPS 55834 HAS SOUS 24541 HAS SOUPS 22818 WITH SCORE 22884.464
AT ITER 1801 NEW BEST:: SOT 113181 SOS 66439 HAS SOPS 55809 HAS SOUS 24538 HAS SOUPS 22815 WITH SCORE 22881.439
AT ITER 1812 NEW BEST:: SOT 113159 SOS 66395 HAS SOPS 55765 HAS SOUS 24494 HAS SOUPS 22771 WITH SCORE 22837.395
AT ITER 1817 NEW BEST:: SOT 113141 SOS 66377 HAS SOPS 55747 HAS SOUS 24494 HAS SOUPS 22771 WITH SCORE 22837.377
AT ITER 1828 NEW BEST:: SOT 113180 SOS 66391 HAS SOPS 55761 HAS SOUS 24478 HAS SOUPS 22755 WITH SCORE 22821.391
AT ITER 1832 NEW BEST:: SOT 113156 SOS 66351 HAS SOPS 55745 HAS SOUS 24463 HAS SOUPS 22740 WITH SCORE 22806.351
AT ITER 1846 NEW BEST:: SOT 113102 SOS 66268 HAS SOPS 55662 HAS SOUS 24355 HAS SOUPS 22632 WITH SCORE 22698.268
AT ITER 1852 NEW BEST:: SOT 113044 SOS 66210 HAS SOPS 55613 HAS SOUS 24320 HAS SOUPS 22606 WITH SCORE 22672.21
AT ITER 1867 NEW BEST:: SOT 113084 SOS 66251 HAS SOPS 55651 HAS SOUS 24316 HAS SOUPS 22602 WITH SCORE 22668.251
AT ITER 1868 NEW BEST:: SOT 113060 SOS 66243 HAS SOPS 55643 HAS SOUS 24284 HAS SOUPS 22570 WITH SCORE 22636.243
AT ITER 1885 NEW BEST:: SOT 112740 SOS 66483 HAS SOPS 55315 HAS SOUS 24122 HAS SOUPS 22340 WITH SCORE 22406.483
AT ITER 1892 NEW BEST:: SOT 112740 SOS 66467 HAS SOPS 55315 HAS SOUS 24122 HAS SOUPS 22340 WITH SCORE 22406.467
AT ITER 1894 NEW BEST:: SOT 112676 SOS 66399 HAS SOPS 55247 HAS SOUS 24121 HAS SOUPS 22339 WITH SCORE 22405.399
AT ITER 1895 NEW BEST:: SOT 112449 SOS 66083 HAS SOPS 54971 HAS SOUS 24100 HAS SOUPS 22318 WITH SCORE 22384.083
AT ITER 1904 NEW BEST:: SOT 112140 SOS 65669 HAS SOPS 54567 HAS SOUS 23909 HAS SOUPS 22127 WITH SCORE 22192.669
AT ITER 1922 NEW BEST:: SOT 112101 SOS 65591 HAS SOPS 54528 HAS SOUS 23870 HAS SOUPS 22127 WITH SCORE 22192.591
AT ITER 1938 NEW BEST:: SOT 112166 SOS 65779 HAS SOPS 54658 HAS SOUS 23754 HAS SOUPS 22011 WITH SCORE 22076.779
AT ITER 1975 NEW BEST:: SOT 112158 SOS 65763 HAS SOPS 54650 HAS SOUS 23746 HAS SOUPS 22011 WITH SCORE 22076.763
AT ITER 1987 NEW BEST:: SOT 112161 SOS 65733 HAS SOPS 54656 HAS SOUS 23740 HAS SOUPS 22008 WITH SCORE 22073.733
AT ITER 1998 NEW BEST:: SOT 112147 SOS 65765 HAS SOPS 54628 HAS SOUS 23712 HAS SOUPS 21980 WITH SCORE 22045.765
AT ITER 2037 NEW BEST:: SOT 112138 SOS 65753 HAS SOPS 54616 HAS SOUS 23704 HAS SOUPS 21972 WITH SCORE 22037.753
AT ITER 2063 NEW BEST:: SOT 112166 SOS 65781 HAS SOPS 54632 HAS SOUS 23639 HAS SOUPS 21908 WITH SCORE 21973.781
AT ITER 2087 NEW BEST:: SOT 112166 SOS 65709 HAS SOPS 54560 HAS SOUS 23624 HAS SOUPS 21893 WITH SCORE 21958.709
AT ITER 2093 NEW BEST:: SOT 112174 SOS 65670 HAS SOPS 54445 HAS SOUS 23509 HAS SOUPS 21778 WITH SCORE 21843.67
AT ITER 2095 NEW BEST:: SOT 112177 SOS 65670 HAS SOPS 54448 HAS SOUS 23506 HAS SOUPS 21775 WITH SCORE 21840.67
AT ITER 2097 NEW BEST:: SOT 112153 SOS 65592 HAS SOPS 54370 HAS SOUS 23482 HAS SOUPS 21751 WITH SCORE 21816.592
AT ITER 2104 NEW BEST:: SOT 112138 SOS 65713 HAS SOPS 54336 HAS SOUS 23470 HAS SOUPS 21717 WITH SCORE 21782.713
AT ITER 2116 NEW BEST:: SOT 112112 SOS 65661 HAS SOPS 54284 HAS SOUS 23418 HAS SOUPS 21665 WITH SCORE 21730.661
AT ITER 2121 NEW BEST:: SOT 112144 SOS 65583 HAS SOPS 54266 HAS SOUS 23347 HAS SOUPS 21594 WITH SCORE 21659.583
AT ITER 2138 NEW BEST:: SOT 112184 SOS 65623 HAS SOPS 54318 HAS SOUS 23343 HAS SOUPS 21590 WITH SCORE 21655.623
AT ITER 2139 NEW BEST:: SOT 112148 SOS 65560 HAS SOPS 54273 HAS SOUS 23307 HAS SOUPS 21572 WITH SCORE 21637.56
AT ITER 2178 NEW BEST:: SOT 112083 SOS 65458 HAS SOPS 54180 HAS SOUS 23251 HAS SOUPS 21516 WITH SCORE 21581.458
AT ITER 2183 NEW BEST:: SOT 111946 SOS 65270 HAS SOPS 54006 HAS SOUS 23142 HAS SOUPS 21407 WITH SCORE 21472.27
AT ITER 2191 NEW BEST:: SOT 111857 SOS 65124 HAS SOPS 53919 HAS SOUS 23139 HAS SOUPS 21404 WITH SCORE 21469.124
AT ITER 2212 NEW BEST:: SOT 111767 SOS 64932 HAS SOPS 53798 HAS SOUS 23077 HAS SOUPS 21342 WITH SCORE 21406.932
AT ITER 2219 NEW BEST:: SOT 111874 SOS 65048 HAS SOPS 53838 HAS SOUS 23068 HAS SOUPS 21311 WITH SCORE 21376.048
AT ITER 2232 NEW BEST:: SOT 111867 SOS 65041 HAS SOPS 53824 HAS SOUS 23054 HAS SOUPS 21297 WITH SCORE 21362.041
AT ITER 2233 NEW BEST:: SOT 111834 SOS 64997 HAS SOPS 53780 HAS SOUS 23043 HAS SOUPS 21286 WITH SCORE 21350.997
AT ITER 2235 NEW BEST:: SOT 111864 SOS 65024 HAS SOPS 53774 HAS SOUS 23037 HAS SOUPS 21280 WITH SCORE 21345.024
AT ITER 2251 NEW BEST:: SOT 111818 SOS 64624 HAS SOPS 53374 HAS SOUS 22977 HAS SOUPS 21220 WITH SCORE 21284.624
AT ITER 2252 NEW BEST:: SOT 111853 SOS 64898 HAS SOPS 53614 HAS SOUS 22944 HAS SOUPS 21187 WITH SCORE 21251.898
AT ITER 2279 NEW BEST:: SOT 111852 SOS 64896 HAS SOPS 53612 HAS SOUS 22943 HAS SOUPS 21186 WITH SCORE 21250.896
AT ITER 2281 NEW BEST:: SOT 111841 SOS 64885 HAS SOPS 53590 HAS SOUS 22921 HAS SOUPS 21164 WITH SCORE 21228.885
AT ITER 2282 NEW BEST:: SOT 111834 SOS 64871 HAS SOPS 53576 HAS SOUS 22907 HAS SOUPS 21150 WITH SCORE 21214.871
AT ITER 2285 NEW BEST:: SOT 111844 SOS 64881 HAS SOPS 53587 HAS SOUS 22900 HAS SOUPS 21143 WITH SCORE 21207.881
AT ITER 2292 NEW BEST:: SOT 111836 SOS 65041 HAS SOPS 53747 HAS SOUS 22873 HAS SOUPS 21116 WITH SCORE 21181.041
AT ITER 2306 NEW BEST:: SOT 111819 SOS 65003 HAS SOPS 53709 HAS SOUS 22835 HAS SOUPS 21078 WITH SCORE 21143.003
AT ITER 2318 NEW BEST:: SOT 111834 SOS 65018 HAS SOPS 53726 HAS SOUS 22826 HAS SOUPS 21069 WITH SCORE 21134.018
AT ITER 2340 NEW BEST:: SOT 111864 SOS 65048 HAS SOPS 53756 HAS SOUS 22819 HAS SOUPS 21062 WITH SCORE 21127.048
AT ITER 2344 NEW BEST:: SOT 111856 SOS 64848 HAS SOPS 53556 HAS SOUS 22798 HAS SOUPS 21041 WITH SCORE 21105.848
AT ITER 2345 NEW BEST:: SOT 111847 SOS 64836 HAS SOPS 53544 HAS SOUS 22795 HAS SOUPS 21038 WITH SCORE 21102.836
AT ITER 2362 NEW BEST:: SOT 111864 SOS 64853 HAS SOPS 53561 HAS SOUS 22778 HAS SOUPS 21021 WITH SCORE 21085.853
AT ITER 2374 NEW BEST:: SOT 111839 SOS 64803 HAS SOPS 53511 HAS SOUS 22728 HAS SOUPS 20971 WITH SCORE 21035.803
AT ITER 2404 NEW BEST:: SOT 112077 SOS 65058 HAS SOPS 53765 HAS SOUS 22649 HAS SOUPS 20892 WITH SCORE 20957.058
AT ITER 2405 NEW BEST:: SOT 111841 SOS 64776 HAS SOPS 53544 HAS SOUS 22637 HAS SOUPS 20880 WITH SCORE 20944.776
AT ITER 2415 NEW BEST:: SOT 111825 SOS 64720 HAS SOPS 53488 HAS SOUS 22625 HAS SOUPS 20868 WITH SCORE 20932.72
AT ITER 2416 NEW BEST:: SOT 111791 SOS 64651 HAS SOPS 53419 HAS SOUS 22612 HAS SOUPS 20855 WITH SCORE 20919.651
AT ITER 2433 NEW BEST:: SOT 111787 SOS 64645 HAS SOPS 53413 HAS SOUS 22608 HAS SOUPS 20851 WITH SCORE 20915.645
AT ITER 2434 NEW BEST:: SOT 111748 SOS 64606 HAS SOPS 53335 HAS SOUS 22592 HAS SOUPS 20773 WITH SCORE 20837.606
AT ITER 2440 NEW BEST:: SOT 111740 SOS 64602 HAS SOPS 53323 HAS SOUS 22588 HAS SOUPS 20769 WITH SCORE 20833.602
AT ITER 2443 NEW BEST:: SOT 111659 SOS 64521 HAS SOPS 53157 HAS SOUS 22424 HAS SOUPS 20605 WITH SCORE 20669.521
AT ITER 2445 NEW BEST:: SOT 111605 SOS 64438 HAS SOPS 53083 HAS SOUS 22358 HAS SOUPS 20539 WITH SCORE 20603.438
AT ITER 2450 NEW BEST:: SOT 111561 SOS 64376 HAS SOPS 53021 HAS SOUS 22322 HAS SOUPS 20503 WITH SCORE 20567.376
AT ITER 2472 NEW BEST:: SOT 111556 SOS 64386 HAS SOPS 53016 HAS SOUS 22322 HAS SOUPS 20501 WITH SCORE 20565.386
AT ITER 2485 NEW BEST:: SOT 111535 SOS 64359 HAS SOPS 52989 HAS SOUS 22295 HAS SOUPS 20474 WITH SCORE 20538.359
AT ITER 2491 NEW BEST:: SOT 111533 SOS 64353 HAS SOPS 52985 HAS SOUS 22293 HAS SOUPS 20472 WITH SCORE 20536.353
AT ITER 2537 NEW BEST:: SOT 111499 SOS 64285 HAS SOPS 52917 HAS SOUS 22259 HAS SOUPS 20438 WITH SCORE 20502.285
AT ITER 2545 NEW BEST:: SOT 111487 SOS 64255 HAS SOPS 52891 HAS SOUS 22247 HAS SOUPS 20426 WITH SCORE 20490.255
AT ITER 2547 NEW BEST:: SOT 111463 SOS 64207 HAS SOPS 52859 HAS SOUS 22231 HAS SOUPS 20410 WITH SCORE 20474.207
AT ITER 2576 NEW BEST:: SOT 111457 SOS 64195 HAS SOPS 52847 HAS SOUS 22219 HAS SOUPS 20398 WITH SCORE 20462.195
AT ITER 2580 NEW BEST:: SOT 111477 SOS 64225 HAS SOPS 52867 HAS SOUS 22209 HAS SOUPS 20388 WITH SCORE 20452.225
AT ITER 2582 NEW BEST:: SOT 111502 SOS 64250 HAS SOPS 52847 HAS SOUS 22152 HAS SOUPS 20331 WITH SCORE 20395.25
AT ITER 2623 NEW BEST:: SOT 111505 SOS 64555 HAS SOPS 53152 HAS SOUS 22149 HAS SOUPS 20328 WITH SCORE 20392.555
AT ITER 2643 NEW BEST:: SOT 111502 SOS 64551 HAS SOPS 53148 HAS SOUS 22148 HAS SOUPS 20327 WITH SCORE 20391.551
AT ITER 2648 NEW BEST:: SOT 111498 SOS 64547 HAS SOPS 53132 HAS SOUS 22132 HAS SOUPS 20311 WITH SCORE 20375.547
AT ITER 2651 NEW BEST:: SOT 111528 SOS 64563 HAS SOPS 53150 HAS SOUS 22084 HAS SOUPS 20263 WITH SCORE 20327.563
AT ITER 2659 NEW BEST:: SOT 111518 SOS 64543 HAS SOPS 53118 HAS SOUS 22052 HAS SOUPS 20231 WITH SCORE 20295.543
AT ITER 2661 NEW BEST:: SOT 111512 SOS 64531 HAS SOPS 53112 HAS SOUS 22046 HAS SOUPS 20231 WITH SCORE 20295.531
AT ITER 2663 NEW BEST:: SOT 111505 SOS 64517 HAS SOPS 53098 HAS SOUS 22032 HAS SOUPS 20217 WITH SCORE 20281.517
AT ITER 2682 NEW BEST:: SOT 111503 SOS 64503 HAS SOPS 53084 HAS SOUS 22028 HAS SOUPS 20213 WITH SCORE 20277.503
AT ITER 2700 NEW BEST:: SOT 111487 SOS 64470 HAS SOPS 52989 HAS SOUS 21988 HAS SOUPS 20173 WITH SCORE 20237.47
AT ITER 2733 NEW BEST:: SOT 111478 SOS 64488 HAS SOPS 52977 HAS SOUS 21986 HAS SOUPS 20168 WITH SCORE 20232.488
AT ITER 2742 NEW BEST:: SOT 111476 SOS 64486 HAS SOPS 52975 HAS SOUS 21984 HAS SOUPS 20166 WITH SCORE 20230.486
AT ITER 2773 NEW BEST:: SOT 111451 SOS 64436 HAS SOPS 52950 HAS SOUS 21959 HAS SOUPS 20141 WITH SCORE 20205.436
AT ITER 2775 NEW BEST:: SOT 111437 SOS 64408 HAS SOPS 52936 HAS SOUS 21959 HAS SOUPS 20141 WITH SCORE 20205.408
AT ITER 2798 NEW BEST:: SOT 111446 SOS 64425 HAS SOPS 52954 HAS SOUS 21929 HAS SOUPS 20111 WITH SCORE 20175.425
AT ITER 2801 NEW BEST:: SOT 111377 SOS 64349 HAS SOPS 52878 HAS SOUS 21918 HAS SOUPS 20100 WITH SCORE 20164.349
AT ITER 2826 NEW BEST:: SOT 111360 SOS 64334 HAS SOPS 52870 HAS SOUS 21871 HAS SOUPS 20053 WITH SCORE 20117.334
AT ITER 2851 NEW BEST:: SOT 111336 SOS 64308 HAS SOPS 52844 HAS SOUS 21856 HAS SOUPS 20038 WITH SCORE 20102.308
AT ITER 2856 NEW BEST:: SOT 111336 SOS 64308 HAS SOPS 52808 HAS SOUS 21748 HAS SOUPS 19930 WITH SCORE 19994.308
AT ITER 2879 NEW BEST:: SOT 111306 SOS 64278 HAS SOPS 52763 HAS SOUS 21733 HAS SOUPS 19915 WITH SCORE 19979.278
AT ITER 2892 NEW BEST:: SOT 111298 SOS 64262 HAS SOPS 52747 HAS SOUS 21717 HAS SOUPS 19899 WITH SCORE 19963.262
AT ITER 2899 NEW BEST:: SOT 111746 SOS 64744 HAS SOPS 53200 HAS SOUS 21708 HAS SOUPS 19890 WITH SCORE 19954.744
AT ITER 2942 NEW BEST:: SOT 111701 SOS 64807 HAS SOPS 53284 HAS SOUS 21699 HAS SOUPS 19881 WITH SCORE 19945.807
AT ITER 2952 NEW BEST:: SOT 111680 SOS 64786 HAS SOPS 53249 HAS SOUS 21678 HAS SOUPS 19860 WITH SCORE 19924.786
AT ITER 2953 NEW BEST:: SOT 111700 SOS 64811 HAS SOPS 53274 HAS SOUS 21674 HAS SOUPS 19856 WITH SCORE 19920.811
AT ITER 2955 NEW BEST:: SOT 111682 SOS 64775 HAS SOPS 53238 HAS SOUS 21638 HAS SOUPS 19820 WITH SCORE 19884.775
AT ITER 2968 NEW BEST:: SOT 111690 SOS 64779 HAS SOPS 53240 HAS SOUS 21632 HAS SOUPS 19814 WITH SCORE 19878.779
AT ITER 3013 NEW BEST:: SOT 111627 SOS 64540 HAS SOPS 53001 HAS SOUS 21569 HAS SOUPS 19751 WITH SCORE 19815.54
AT ITER 3020 NEW BEST:: SOT 111507 SOS 64420 HAS SOPS 52821 HAS SOUS 21501 HAS SOUPS 19683 WITH SCORE 19747.42
AT ITER 3039 NEW BEST:: SOT 111507 SOS 64420 HAS SOPS 52821 HAS SOUS 21491 HAS SOUPS 19673 WITH SCORE 19737.42
AT ITER 3045 NEW BEST:: SOT 111502 SOS 64391 HAS SOPS 52811 HAS SOUS 21481 HAS SOUPS 19663 WITH SCORE 19727.391
AT ITER 3074 NEW BEST:: SOT 111497 SOS 64350 HAS SOPS 52801 HAS SOUS 21465 HAS SOUPS 19647 WITH SCORE 19711.35
AT ITER 3110 NEW BEST:: SOT 111495 SOS 64348 HAS SOPS 52797 HAS SOUS 21461 HAS SOUPS 19643 WITH SCORE 19707.348
AT ITER 3112 NEW BEST:: SOT 111489 SOS 64363 HAS SOPS 52812 HAS SOUS 21455 HAS SOUPS 19637 WITH SCORE 19701.363
AT ITER 3113 NEW BEST:: SOT 111476 SOS 64344 HAS SOPS 52798 HAS SOUS 21453 HAS SOUPS 19635 WITH SCORE 19699.344
AT ITER 3128 NEW BEST:: SOT 111438 SOS 64292 HAS SOPS 52746 HAS SOUS 21436 HAS SOUPS 19618 WITH SCORE 19682.292
AT ITER 3139 NEW BEST:: SOT 111334 SOS 64184 HAS SOPS 52779 HAS SOUS 21412 HAS SOUPS 19594 WITH SCORE 19658.184
AT ITER 3142 NEW BEST:: SOT 111294 SOS 64104 HAS SOPS 52739 HAS SOUS 21412 HAS SOUPS 19594 WITH SCORE 19658.104
AT ITER 3149 NEW BEST:: SOT 111279 SOS 63911 HAS SOPS 52424 HAS SOUS 21399 HAS SOUPS 19569 WITH SCORE 19632.911
AT ITER 3172 NEW BEST:: SOT 111282 SOS 63906 HAS SOPS 52403 HAS SOUS 21388 HAS SOUPS 19558 WITH SCORE 19621.906
AT ITER 3228 NEW BEST:: SOT 111206 SOS 63429 HAS SOPS 51926 HAS SOUS 21374 HAS SOUPS 19544 WITH SCORE 19607.429
AT ITER 3231 NEW BEST:: SOT 111128 SOS 63357 HAS SOPS 51872 HAS SOUS 21304 HAS SOUPS 19474 WITH SCORE 19537.357
AT ITER 3234 NEW BEST:: SOT 111308 SOS 63575 HAS SOPS 52058 HAS SOUS 21265 HAS SOUPS 19435 WITH SCORE 19498.575
AT ITER 3248 NEW BEST:: SOT 111299 SOS 63566 HAS SOPS 52040 HAS SOUS 21266 HAS SOUPS 19419 WITH SCORE 19482.566
AT ITER 3260 NEW BEST:: SOT 111314 SOS 63865 HAS SOPS 52339 HAS SOUS 21257 HAS SOUPS 19410 WITH SCORE 19473.865
AT ITER 3262 NEW BEST:: SOT 111343 SOS 63904 HAS SOPS 52371 HAS SOUS 21254 HAS SOUPS 19407 WITH SCORE 19470.904
AT ITER 3304 NEW BEST:: SOT 111318 SOS 63879 HAS SOPS 52346 HAS SOUS 21218 HAS SOUPS 19371 WITH SCORE 19434.879
AT ITER 3307 NEW BEST:: SOT 111330 SOS 63903 HAS SOPS 52239 HAS SOUS 21111 HAS SOUPS 19264 WITH SCORE 19327.903
AT ITER 3317 NEW BEST:: SOT 111310 SOS 63643 HAS SOPS 51979 HAS SOUS 21072 HAS SOUPS 19225 WITH SCORE 19288.643
AT ITER 3319 NEW BEST:: SOT 111307 SOS 63634 HAS SOPS 51964 HAS SOUS 21060 HAS SOUPS 19213 WITH SCORE 19276.634
AT ITER 3321 NEW BEST:: SOT 111309 SOS 63636 HAS SOPS 51963 HAS SOUS 21059 HAS SOUPS 19212 WITH SCORE 19275.636
AT ITER 3334 NEW BEST:: SOT 111449 SOS 63776 HAS SOPS 52038 HAS SOUS 21040 HAS SOUPS 19193 WITH SCORE 19256.776
AT ITER 3349 NEW BEST:: SOT 111415 SOS 63742 HAS SOPS 51970 HAS SOUS 21002 HAS SOUPS 19121 WITH SCORE 19184.742
AT ITER 3364 NEW BEST:: SOT 111411 SOS 63738 HAS SOPS 51966 HAS SOUS 21002 HAS SOUPS 19121 WITH SCORE 19184.738
AT ITER 3389 NEW BEST:: SOT 111411 SOS 63718 HAS SOPS 51946 HAS SOUS 21002 HAS SOUPS 19121 WITH SCORE 19184.718
AT ITER 3407 NEW BEST:: SOT 111408 SOS 63715 HAS SOPS 51940 HAS SOUS 20996 HAS SOUPS 19115 WITH SCORE 19178.715
AT ITER 3427 NEW BEST:: SOT 111417 SOS 63723 HAS SOPS 51948 HAS SOUS 20995 HAS SOUPS 19114 WITH SCORE 19177.723
AT ITER 3434 NEW BEST:: SOT 111395 SOS 63532 HAS SOPS 51778 HAS SOUS 20973 HAS SOUPS 19092 WITH SCORE 19155.532
AT ITER 3441 NEW BEST:: SOT 111382 SOS 63548 HAS SOPS 51775 HAS SOUS 20947 HAS SOUPS 19066 WITH SCORE 19129.548
AT ITER 3446 NEW BEST:: SOT 111554 SOS 63800 HAS SOPS 51959 HAS SOUS 20918 HAS SOUPS 19010 WITH SCORE 19073.8
AT ITER 3453 NEW BEST:: SOT 111567 SOS 63773 HAS SOPS 51918 HAS SOUS 20912 HAS SOUPS 19004 WITH SCORE 19067.773
AT ITER 3463 NEW BEST:: SOT 111557 SOS 63736 HAS SOPS 51883 HAS SOUS 20904 HAS SOUPS 18996 WITH SCORE 19059.736
AT ITER 3512 NEW BEST:: SOT 111542 SOS 63720 HAS SOPS 51867 HAS SOUS 20903 HAS SOUPS 18995 WITH SCORE 19058.72
AT ITER 3518 NEW BEST:: SOT 111527 SOS 63705 HAS SOPS 51862 HAS SOUS 20893 HAS SOUPS 18985 WITH SCORE 19048.705
AT ITER 3553 NEW BEST:: SOT 111561 SOS 63734 HAS SOPS 51824 HAS SOUS 20872 HAS SOUPS 18964 WITH SCORE 19027.734
AT ITER 3561 NEW BEST:: SOT 111557 SOS 63717 HAS SOPS 51807 HAS SOUS 20852 HAS SOUPS 18944 WITH SCORE 19007.717
AT ITER 3575 NEW BEST:: SOT 111676 SOS 63961 HAS SOPS 51920 HAS SOUS 20840 HAS SOUPS 18932 WITH SCORE 18995.961
AT ITER 3586 NEW BEST:: SOT 111630 SOS 63905 HAS SOPS 51864 HAS SOUS 20820 HAS SOUPS 18912 WITH SCORE 18975.905
AT ITER 3607 NEW BEST:: SOT 111634 SOS 63908 HAS SOPS 51867 HAS SOUS 20819 HAS SOUPS 18911 WITH SCORE 18974.908
AT ITER 3609 NEW BEST:: SOT 111628 SOS 63896 HAS SOPS 51855 HAS SOUS 20807 HAS SOUPS 18899 WITH SCORE 18962.896
AT ITER 3610 NEW BEST:: SOT 111572 SOS 63804 HAS SOPS 51779 HAS SOUS 20767 HAS SOUPS 18859 WITH SCORE 18922.804
AT ITER 3613 NEW BEST:: SOT 111567 SOS 63785 HAS SOPS 51760 HAS SOUS 20756 HAS SOUPS 18848 WITH SCORE 18911.785
AT ITER 3616 NEW BEST:: SOT 111707 SOS 63968 HAS SOPS 51896 HAS SOUS 20724 HAS SOUPS 18816 WITH SCORE 18879.968
AT ITER 3617 NEW BEST:: SOT 111706 SOS 63981 HAS SOPS 51894 HAS SOUS 20722 HAS SOUPS 18813 WITH SCORE 18876.981
AT ITER 3632 NEW BEST:: SOT 111706 SOS 63799 HAS SOPS 51712 HAS SOUS 20715 HAS SOUPS 18806 WITH SCORE 18869.799
AT ITER 3635 NEW BEST:: SOT 111707 SOS 63800 HAS SOPS 51713 HAS SOUS 20714 HAS SOUPS 18805 WITH SCORE 18868.8
AT ITER 3646 NEW BEST:: SOT 111665 SOS 63758 HAS SOPS 51629 HAS SOUS 20672 HAS SOUPS 18763 WITH SCORE 18826.758
AT ITER 3656 NEW BEST:: SOT 111652 SOS 63735 HAS SOPS 51613 HAS SOUS 20656 HAS SOUPS 18747 WITH SCORE 18810.735
AT ITER 3668 NEW BEST:: SOT 111613 SOS 63696 HAS SOPS 51551 HAS SOUS 20626 HAS SOUPS 18717 WITH SCORE 18780.696
AT ITER 3674 NEW BEST:: SOT 111599 SOS 63673 HAS SOPS 51532 HAS SOUS 20616 HAS SOUPS 18707 WITH SCORE 18770.673
AT ITER 3706 NEW BEST:: SOT 111431 SOS 63067 HAS SOPS 50951 HAS SOUS 20532 HAS SOUPS 18623 WITH SCORE 18686.067
AT ITER 3738 NEW BEST:: SOT 111431 SOS 63059 HAS SOPS 50943 HAS SOUS 20532 HAS SOUPS 18623 WITH SCORE 18686.059
AT ITER 3761 NEW BEST:: SOT 111431 SOS 63059 HAS SOPS 50943 HAS SOUS 20529 HAS SOUPS 18620 WITH SCORE 18683.059
AT ITER 3800 NEW BEST:: SOT 111435 SOS 63063 HAS SOPS 50947 HAS SOUS 20525 HAS SOUPS 18616 WITH SCORE 18679.063
AT ITER 3807 NEW BEST:: SOT 111433 SOS 63061 HAS SOPS 50944 HAS SOUS 20522 HAS SOUPS 18613 WITH SCORE 18676.061
AT ITER 3839 NEW BEST:: SOT 111440 SOS 63076 HAS SOPS 50958 HAS SOUS 20520 HAS SOUPS 18611 WITH SCORE 18674.076
AT ITER 3857 NEW BEST:: SOT 111400 SOS 63026 HAS SOPS 50908 HAS SOUS 20500 HAS SOUPS 18591 WITH SCORE 18654.026
AT ITER 3885 NEW BEST:: SOT 111401 SOS 62977 HAS SOPS 50902 HAS SOUS 20494 HAS SOUPS 18585 WITH SCORE 18647.977
AT ITER 3913 NEW BEST:: SOT 111402 SOS 63001 HAS SOPS 50881 HAS SOUS 20450 HAS SOUPS 18541 WITH SCORE 18604.001
AT ITER 3926 NEW BEST:: SOT 111312 SOS 62863 HAS SOPS 50779 HAS SOUS 20412 HAS SOUPS 18503 WITH SCORE 18565.863
AT ITER 3968 NEW BEST:: SOT 111337 SOS 63048 HAS SOPS 50797 HAS SOUS 20398 HAS SOUPS 18473 WITH SCORE 18536.048
AT ITER 3975 NEW BEST:: SOT 111337 SOS 63050 HAS SOPS 50795 HAS SOUS 20396 HAS SOUPS 18471 WITH SCORE 18534.05
AT ITER 3984 NEW BEST:: SOT 111285 SOS 63063 HAS SOPS 50808 HAS SOUS 20342 HAS SOUPS 18417 WITH SCORE 18480.063
AT ITER 3997 NEW BEST:: SOT 111244 SOS 63008 HAS SOPS 50754 HAS SOUS 20330 HAS SOUPS 18405 WITH SCORE 18468.008
AT ITER 4013 NEW BEST:: SOT 111231 SOS 62982 HAS SOPS 50741 HAS SOUS 20317 HAS SOUPS 18405 WITH SCORE 18467.982
AT ITER 4039 NEW BEST:: SOT 111199 SOS 62950 HAS SOPS 50677 HAS SOUS 20280 HAS SOUPS 18336 WITH SCORE 18398.95
AT ITER 4057 NEW BEST:: SOT 111191 SOS 62935 HAS SOPS 50662 HAS SOUS 20279 HAS SOUPS 18335 WITH SCORE 18397.935
AT ITER 4088 NEW BEST:: SOT 111192 SOS 62936 HAS SOPS 50664 HAS SOUS 20281 HAS SOUPS 18321 WITH SCORE 18383.936
AT ITER 4150 NEW BEST:: SOT 111202 SOS 62855 HAS SOPS 50583 HAS SOUS 20280 HAS SOUPS 18320 WITH SCORE 18382.855
AT ITER 4170 NEW BEST:: SOT 111141 SOS 62764 HAS SOPS 50521 HAS SOUS 20249 HAS SOUPS 18318 WITH SCORE 18380.764
AT ITER 4198 NEW BEST:: SOT 111213 SOS 62803 HAS SOPS 50608 HAS SOUS 20242 HAS SOUPS 18311 WITH SCORE 18373.803
AT ITER 4204 NEW BEST:: SOT 111210 SOS 62797 HAS SOPS 50605 HAS SOUS 20239 HAS SOUPS 18311 WITH SCORE 18373.797
AT ITER 4213 NEW BEST:: SOT 111100 SOS 62593 HAS SOPS 50479 HAS SOUS 20235 HAS SOUPS 18307 WITH SCORE 18369.593
AT ITER 4220 NEW BEST:: SOT 111123 SOS 62609 HAS SOPS 50502 HAS SOUS 20212 HAS SOUPS 18284 WITH SCORE 18346.609
AT ITER 4231 NEW BEST:: SOT 111109 SOS 62595 HAS SOPS 50481 HAS SOUS 20205 HAS SOUPS 18277 WITH SCORE 18339.595
AT ITER 4246 NEW BEST:: SOT 111100 SOS 62661 HAS SOPS 50349 HAS SOUS 20213 HAS SOUPS 18271 WITH SCORE 18333.661
AT ITER 4250 NEW BEST:: SOT 111092 SOS 62653 HAS SOPS 50333 HAS SOUS 20197 HAS SOUPS 18255 WITH SCORE 18317.653
AT ITER 4279 NEW BEST:: SOT 111170 SOS 62766 HAS SOPS 50419 HAS SOUS 20178 HAS SOUPS 18236 WITH SCORE 18298.766
AT ITER 4280 NEW BEST:: SOT 111171 SOS 62798 HAS SOPS 50420 HAS SOUS 20164 HAS SOUPS 18222 WITH SCORE 18284.798
AT ITER 4282 NEW BEST:: SOT 111130 SOS 62743 HAS SOPS 50365 HAS SOUS 20126 HAS SOUPS 18184 WITH SCORE 18246.743
AT ITER 4321 NEW BEST:: SOT 111098 SOS 62705 HAS SOPS 50301 HAS SOUS 20100 HAS SOUPS 18158 WITH SCORE 18220.705
AT ITER 4326 NEW BEST:: SOT 111121 SOS 62751 HAS SOPS 50316 HAS SOUS 20115 HAS SOUPS 18142 WITH SCORE 18204.751
AT ITER 4333 NEW BEST:: SOT 111109 SOS 62722 HAS SOPS 50287 HAS SOUS 20086 HAS SOUPS 18113 WITH SCORE 18175.722
AT ITER 4337 NEW BEST:: SOT 111123 SOS 62867 HAS SOPS 50295 HAS SOUS 20092 HAS SOUPS 18109 WITH SCORE 18171.867
AT ITER 4344 NEW BEST:: SOT 111182 SOS 61431 HAS SOPS 48947 HAS SOUS 20045 HAS SOUPS 18062 WITH SCORE 18123.431
AT ITER 4360 NEW BEST:: SOT 111168 SOS 61424 HAS SOPS 48926 HAS SOUS 20038 HAS SOUPS 18055 WITH SCORE 18116.424
AT ITER 4367 NEW BEST:: SOT 111146 SOS 61402 HAS SOPS 48899 HAS SOUS 20038 HAS SOUPS 18050 WITH SCORE 18111.402
AT ITER 4381 NEW BEST:: SOT 111144 SOS 61400 HAS SOPS 48897 HAS SOUS 20038 HAS SOUPS 18050 WITH SCORE 18111.4
AT ITER 4383 NEW BEST:: SOT 111143 SOS 61398 HAS SOPS 48895 HAS SOUS 20037 HAS SOUPS 18049 WITH SCORE 18110.398
AT ITER 4397 NEW BEST:: SOT 110982 SOS 61233 HAS SOPS 48653 HAS SOUS 19959 HAS SOUPS 17971 WITH SCORE 18032.233
AT ITER 4407 NEW BEST:: SOT 110951 SOS 60863 HAS SOPS 48283 HAS SOUS 19941 HAS SOUPS 17953 WITH SCORE 18013.863
AT ITER 4410 NEW BEST:: SOT 110950 SOS 60864 HAS SOPS 48279 HAS SOUS 19939 HAS SOUPS 17951 WITH SCORE 18011.864
AT ITER 4418 NEW BEST:: SOT 110962 SOS 60888 HAS SOPS 48287 HAS SOUS 19935 HAS SOUPS 17947 WITH SCORE 18007.888
AT ITER 4422 NEW BEST:: SOT 110943 SOS 60869 HAS SOPS 48249 HAS SOUS 19897 HAS SOUPS 17909 WITH SCORE 17969.869
AT ITER 4447 NEW BEST:: SOT 110900 SOS 60821 HAS SOPS 48211 HAS SOUS 19891 HAS SOUPS 17903 WITH SCORE 17963.821
AT ITER 4488 NEW BEST:: SOT 110898 SOS 60819 HAS SOPS 48209 HAS SOUS 19889 HAS SOUPS 17901 WITH SCORE 17961.819
AT ITER 4517 NEW BEST:: SOT 110899 SOS 60826 HAS SOPS 48205 HAS SOUS 19879 HAS SOUPS 17891 WITH SCORE 17951.826
AT ITER 4532 NEW BEST:: SOT 110894 SOS 60835 HAS SOPS 48199 HAS SOUS 19875 HAS SOUPS 17885 WITH SCORE 17945.835
AT ITER 4558 NEW BEST:: SOT 110894 SOS 60836 HAS SOPS 48198 HAS SOUS 19873 HAS SOUPS 17883 WITH SCORE 17943.836
AT ITER 4585 NEW BEST:: SOT 110865 SOS 60807 HAS SOPS 48159 HAS SOUS 19872 HAS SOUPS 17882 WITH SCORE 17942.807
AT ITER 4610 NEW BEST:: SOT 110855 SOS 60797 HAS SOPS 48144 HAS SOUS 19872 HAS SOUPS 17877 WITH SCORE 17937.797
AT ITER 4640 NEW BEST:: SOT 110891 SOS 60833 HAS SOPS 48182 HAS SOUS 19856 HAS SOUPS 17869 WITH SCORE 17929.833
AT ITER 4648 NEW BEST:: SOT 110892 SOS 60757 HAS SOPS 48108 HAS SOUS 19854 HAS SOUPS 17867 WITH SCORE 17927.757
AT ITER 4675 NEW BEST:: SOT 110911 SOS 60339 HAS SOPS 47690 HAS SOUS 19816 HAS SOUPS 17829 WITH SCORE 17889.339
AT ITER 4686 NEW BEST:: SOT 110848 SOS 59416 HAS SOPS 46767 HAS SOUS 19803 HAS SOUPS 17816 WITH SCORE 17875.416
AT ITER 4729 NEW BEST:: SOT 110796 SOS 59332 HAS SOPS 46701 HAS SOUS 19791 HAS SOUPS 17804 WITH SCORE 17863.332
AT ITER 4735 NEW BEST:: SOT 110749 SOS 58692 HAS SOPS 46126 HAS SOUS 19772 HAS SOUPS 17785 WITH SCORE 17843.692
AT ITER 4755 NEW BEST:: SOT 110697 SOS 58618 HAS SOPS 46066 HAS SOUS 19750 HAS SOUPS 17777 WITH SCORE 17835.618
AT ITER 4788 NEW BEST:: SOT 110697 SOS 58613 HAS SOPS 46061 HAS SOUS 19750 HAS SOUPS 17777 WITH SCORE 17835.613
AT ITER 4789 NEW BEST:: SOT 110694 SOS 58609 HAS SOPS 46057 HAS SOUS 19749 HAS SOUPS 17776 WITH SCORE 17834.609
AT ITER 4796 NEW BEST:: SOT 110695 SOS 58622 HAS SOPS 46069 HAS SOUS 19745 HAS SOUPS 17772 WITH SCORE 17830.622
AT ITER 4811 NEW BEST:: SOT 110695 SOS 58622 HAS SOPS 46069 HAS SOUS 19739 HAS SOUPS 17766 WITH SCORE 17824.622
AT ITER 4821 NEW BEST:: SOT 110691 SOS 58571 HAS SOPS 46061 HAS SOUS 19739 HAS SOUPS 17766 WITH SCORE 17824.571
AT ITER 4831 NEW BEST:: SOT 110673 SOS 58535 HAS SOPS 46025 HAS SOUS 19703 HAS SOUPS 17730 WITH SCORE 17788.535
AT ITER 4840 NEW BEST:: SOT 110643 SOS 58505 HAS SOPS 45980 HAS SOUS 19688 HAS SOUPS 17715 WITH SCORE 17773.505
AT ITER 4868 NEW BEST:: SOT 110643 SOS 58505 HAS SOPS 45980 HAS SOUS 19660 HAS SOUPS 17687 WITH SCORE 17745.505
AT ITER 4883 NEW BEST:: SOT 110667 SOS 58541 HAS SOPS 46004 HAS SOUS 19648 HAS SOUPS 17675 WITH SCORE 17733.541
AT ITER 4902 NEW BEST:: SOT 110644 SOS 58480 HAS SOPS 45966 HAS SOUS 19610 HAS SOUPS 17637 WITH SCORE 17695.48
AT ITER 4916 NEW BEST:: SOT 110641 SOS 58605 HAS SOPS 46089 HAS SOUS 19603 HAS SOUPS 17630 WITH SCORE 17688.605
AT ITER 4964 NEW BEST:: SOT 110633 SOS 58589 HAS SOPS 46081 HAS SOUS 19603 HAS SOUPS 17630 WITH SCORE 17688.589
AT ITER 4976 NEW BEST:: SOT 110605 SOS 58559 HAS SOPS 46040 HAS SOUS 19586 HAS SOUPS 17613 WITH SCORE 17671.559
AT ITER 5003 NEW BEST:: SOT 110605 SOS 58559 HAS SOPS 46034 HAS SOUS 19580 HAS SOUPS 17607 WITH SCORE 17665.559
AT ITER 5037 NEW BEST:: SOT 110597 SOS 58551 HAS SOPS 46022 HAS SOUS 19576 HAS SOUPS 17603 WITH SCORE 17661.551
AT ITER 5042 NEW BEST:: SOT 110520 SOS 58202 HAS SOPS 45673 HAS SOUS 19519 HAS SOUPS 17546 WITH SCORE 17604.202
AT ITER 5064 NEW BEST:: SOT 110504 SOS 58172 HAS SOPS 45624 HAS SOUS 19502 HAS SOUPS 17529 WITH SCORE 17587.172
AT ITER 5068 NEW BEST:: SOT 110538 SOS 58215 HAS SOPS 45642 HAS SOUS 19461 HAS SOUPS 17488 WITH SCORE 17546.215
AT ITER 5128 NEW BEST:: SOT 110552 SOS 58229 HAS SOPS 45640 HAS SOUS 19434 HAS SOUPS 17461 WITH SCORE 17519.229
AT ITER 5134 NEW BEST:: SOT 110600 SOS 58275 HAS SOPS 45686 HAS SOUS 19412 HAS SOUPS 17439 WITH SCORE 17497.275
AT ITER 5149 NEW BEST:: SOT 110552 SOS 58227 HAS SOPS 45622 HAS SOUS 19366 HAS SOUPS 17407 WITH SCORE 17465.227
AT ITER 5151 NEW BEST:: SOT 110547 SOS 58213 HAS SOPS 45608 HAS SOUS 19355 HAS SOUPS 17396 WITH SCORE 17454.213
AT ITER 5155 NEW BEST:: SOT 110545 SOS 58218 HAS SOPS 45613 HAS SOUS 19351 HAS SOUPS 17392 WITH SCORE 17450.218
AT ITER 5166 NEW BEST:: SOT 110543 SOS 58216 HAS SOPS 45610 HAS SOUS 19350 HAS SOUPS 17391 WITH SCORE 17449.216
AT ITER 5169 NEW BEST:: SOT 110507 SOS 58180 HAS SOPS 45550 HAS SOUS 19326 HAS SOUPS 17367 WITH SCORE 17425.18
AT ITER 5206 NEW BEST:: SOT 110389 SOS 58036 HAS SOPS 45406 HAS SOUS 19282 HAS SOUPS 17323 WITH SCORE 17381.036
AT ITER 5216 NEW BEST:: SOT 110389 SOS 58066 HAS SOPS 45436 HAS SOUS 19280 HAS SOUPS 17321 WITH SCORE 17379.066
AT ITER 5228 NEW BEST:: SOT 110347 SOS 57977 HAS SOPS 45399 HAS SOUS 19269 HAS SOUPS 17310 WITH SCORE 17367.977
AT ITER 5276 NEW BEST:: SOT 110339 SOS 57941 HAS SOPS 45363 HAS SOUS 19265 HAS SOUPS 17306 WITH SCORE 17363.941
AT ITER 5302 NEW BEST:: SOT 110341 SOS 57863 HAS SOPS 45264 HAS SOUS 19222 HAS SOUPS 17263 WITH SCORE 17320.863
AT ITER 5345 NEW BEST:: SOT 110337 SOS 57855 HAS SOPS 45256 HAS SOUS 19214 HAS SOUPS 17255 WITH SCORE 17312.855
AT ITER 5362 NEW BEST:: SOT 110319 SOS 57837 HAS SOPS 45229 HAS SOUS 19205 HAS SOUPS 17246 WITH SCORE 17303.837
AT ITER 5374 NEW BEST:: SOT 110304 SOS 57687 HAS SOPS 45094 HAS SOUS 19190 HAS SOUPS 17246 WITH SCORE 17303.687
AT ITER 5387 NEW BEST:: SOT 110279 SOS 57670 HAS SOPS 45077 HAS SOUS 19177 HAS SOUPS 17233 WITH SCORE 17290.67
AT ITER 5520 NEW BEST:: SOT 110279 SOS 57670 HAS SOPS 45077 HAS SOUS 19174 HAS SOUPS 17230 WITH SCORE 17287.67
AT ITER 5532 NEW BEST:: SOT 110235 SOS 57587 HAS SOPS 45028 HAS SOUS 19165 HAS SOUPS 17221 WITH SCORE 17278.587
AT ITER 5537 NEW BEST:: SOT 110217 SOS 57588 HAS SOPS 45035 HAS SOUS 19159 HAS SOUPS 17215 WITH SCORE 17272.588
AT ITER 5539 NEW BEST:: SOT 110160 SOS 57474 HAS SOPS 44921 HAS SOUS 19132 HAS SOUPS 17188 WITH SCORE 17245.474
AT ITER 5543 NEW BEST:: SOT 110160 SOS 57320 HAS SOPS 44767 HAS SOUS 19120 HAS SOUPS 17176 WITH SCORE 17233.32
AT ITER 5572 NEW BEST:: SOT 110147 SOS 57194 HAS SOPS 44654 HAS SOUS 19107 HAS SOUPS 17176 WITH SCORE 17233.194
AT ITER 5600 NEW BEST:: SOT 110135 SOS 57170 HAS SOPS 44642 HAS SOUS 19107 HAS SOUPS 17176 WITH SCORE 17233.17
AT ITER 5610 NEW BEST:: SOT 110093 SOS 57128 HAS SOPS 44579 HAS SOUS 19098 HAS SOUPS 17155 WITH SCORE 17212.128
AT ITER 5619 NEW BEST:: SOT 110093 SOS 57121 HAS SOPS 44572 HAS SOUS 19098 HAS SOUPS 17155 WITH SCORE 17212.121
AT ITER 5655 NEW BEST:: SOT 110086 SOS 56958 HAS SOPS 44426 HAS SOUS 19090 HAS SOUPS 17147 WITH SCORE 17203.958
AT ITER 5657 NEW BEST:: SOT 110074 SOS 56954 HAS SOPS 44434 HAS SOUS 19086 HAS SOUPS 17143 WITH SCORE 17199.954
AT ITER 5662 NEW BEST:: SOT 110050 SOS 56907 HAS SOPS 44375 HAS SOUS 19061 HAS SOUPS 17118 WITH SCORE 17174.907
AT ITER 5675 NEW BEST:: SOT 110034 SOS 56889 HAS SOPS 44359 HAS SOUS 19051 HAS SOUPS 17108 WITH SCORE 17164.889
AT ITER 5686 NEW BEST:: SOT 110019 SOS 56869 HAS SOPS 44329 HAS SOUS 19043 HAS SOUPS 17100 WITH SCORE 17156.869
AT ITER 5700 NEW BEST:: SOT 109940 SOS 56790 HAS SOPS 44201 HAS SOUS 18975 HAS SOUPS 17032 WITH SCORE 17088.79
AT ITER 5735 NEW BEST:: SOT 109940 SOS 56783 HAS SOPS 44194 HAS SOUS 18968 HAS SOUPS 17025 WITH SCORE 17081.783
AT ITER 5764 NEW BEST:: SOT 109920 SOS 56763 HAS SOPS 44174 HAS SOUS 18958 HAS SOUPS 17015 WITH SCORE 17071.763
AT ITER 5787 NEW BEST:: SOT 109923 SOS 56762 HAS SOPS 44180 HAS SOUS 18956 HAS SOUPS 17013 WITH SCORE 17069.762
AT ITER 5793 NEW BEST:: SOT 109909 SOS 56748 HAS SOPS 44152 HAS SOUS 18961 HAS SOUPS 17004 WITH SCORE 17060.748
AT ITER 5806 NEW BEST:: SOT 109906 SOS 56917 HAS SOPS 44317 HAS SOUS 18958 HAS SOUPS 17001 WITH SCORE 17057.917
AT ITER 5822 NEW BEST:: SOT 109903 SOS 56914 HAS SOPS 44314 HAS SOUS 18952 HAS SOUPS 16995 WITH SCORE 17051.914
AT ITER 5843 NEW BEST:: SOT 109899 SOS 56910 HAS SOPS 44306 HAS SOUS 18940 HAS SOUPS 16983 WITH SCORE 17039.91
AT ITER 5869 NEW BEST:: SOT 109831 SOS 56860 HAS SOPS 44219 HAS SOUS 18923 HAS SOUPS 16976 WITH SCORE 17032.86
AT ITER 5883 NEW BEST:: SOT 109829 SOS 56849 HAS SOPS 44209 HAS SOUS 18921 HAS SOUPS 16974 WITH SCORE 17030.849
AT ITER 5906 NEW BEST:: SOT 109829 SOS 56849 HAS SOPS 44209 HAS SOUS 18913 HAS SOUPS 16966 WITH SCORE 17022.849
AT ITER 5967 NEW BEST:: SOT 109905 SOS 57037 HAS SOPS 44268 HAS SOUS 18895 HAS SOUPS 16948 WITH SCORE 17005.037
AT ITER 6086 NEW BEST:: SOT 109905 SOS 57030 HAS SOPS 44268 HAS SOUS 18895 HAS SOUPS 16948 WITH SCORE 17005.03
AT ITER 6095 NEW BEST:: SOT 109893 SOS 56982 HAS SOPS 44220 HAS SOUS 18879 HAS SOUPS 16932 WITH SCORE 16988.982
AT ITER 6116 NEW BEST:: SOT 109870 SOS 56951 HAS SOPS 44190 HAS SOUS 18865 HAS SOUPS 16918 WITH SCORE 16974.951
AT ITER 6177 NEW BEST:: SOT 109845 SOS 56920 HAS SOPS 44134 HAS SOUS 18815 HAS SOUPS 16868 WITH SCORE 16924.92
AT ITER 6205 NEW BEST:: SOT 109847 SOS 56924 HAS SOPS 44130 HAS SOUS 18811 HAS SOUPS 16856 WITH SCORE 16912.924
AT ITER 6305 NEW BEST:: SOT 109846 SOS 57025 HAS SOPS 44231 HAS SOUS 18801 HAS SOUPS 16846 WITH SCORE 16903.025
AT ITER 6315 NEW BEST:: SOT 109855 SOS 57034 HAS SOPS 44240 HAS SOUS 18789 HAS SOUPS 16834 WITH SCORE 16891.034
AT ITER 6334 NEW BEST:: SOT 109749 SOS 56896 HAS SOPS 44102 HAS SOUS 18748 HAS SOUPS 16793 WITH SCORE 16849.896
AT ITER 6366 NEW BEST:: SOT 109749 SOS 56896 HAS SOPS 44098 HAS SOUS 18736 HAS SOUPS 16781 WITH SCORE 16837.896
AT ITER 6368 NEW BEST:: SOT 109748 SOS 56870 HAS SOPS 44073 HAS SOUS 18734 HAS SOUPS 16779 WITH SCORE 16835.87
AT ITER 6386 NEW BEST:: SOT 109731 SOS 56848 HAS SOPS 44055 HAS SOUS 18733 HAS SOUPS 16778 WITH SCORE 16834.848
AT ITER 6426 NEW BEST:: SOT 109726 SOS 56838 HAS SOPS 44039 HAS SOUS 18717 HAS SOUPS 16762 WITH SCORE 16818.838
AT ITER 6443 NEW BEST:: SOT 109704 SOS 56816 HAS SOPS 44007 HAS SOUS 18707 HAS SOUPS 16742 WITH SCORE 16798.816
AT ITER 6478 NEW BEST:: SOT 109713 SOS 56982 HAS SOPS 44173 HAS SOUS 18702 HAS SOUPS 16737 WITH SCORE 16793.982
AT ITER 6507 NEW BEST:: SOT 109702 SOS 56971 HAS SOPS 44162 HAS SOUS 18680 HAS SOUPS 16715 WITH SCORE 16771.971
AT ITER 6517 NEW BEST:: SOT 109700 SOS 56965 HAS SOPS 44158 HAS SOUS 18670 HAS SOUPS 16705 WITH SCORE 16761.965
AT ITER 6524 NEW BEST:: SOT 109680 SOS 56945 HAS SOPS 44126 HAS SOUS 18662 HAS SOUPS 16697 WITH SCORE 16753.945
AT ITER 6542 NEW BEST:: SOT 109678 SOS 56941 HAS SOPS 44124 HAS SOUS 18660 HAS SOUPS 16695 WITH SCORE 16751.941
AT ITER 6649 NEW BEST:: SOT 109660 SOS 56923 HAS SOPS 44106 HAS SOUS 18657 HAS SOUPS 16692 WITH SCORE 16748.923
AT ITER 6720 NEW BEST:: SOT 109670 SOS 56933 HAS SOPS 44116 HAS SOUS 18647 HAS SOUPS 16682 WITH SCORE 16738.933
AT ITER 6812 NEW BEST:: SOT 109656 SOS 56902 HAS SOPS 44088 HAS SOUS 18630 HAS SOUPS 16665 WITH SCORE 16721.902
AT ITER 6822 NEW BEST:: SOT 109635 SOS 56881 HAS SOPS 44046 HAS SOUS 18588 HAS SOUPS 16623 WITH SCORE 16679.881
AT ITER 6824 NEW BEST:: SOT 109629 SOS 56875 HAS SOPS 44043 HAS SOUS 18583 HAS SOUPS 16621 WITH SCORE 16677.875
AT ITER 6834 NEW BEST:: SOT 109578 SOS 56824 HAS SOPS 44003 HAS SOUS 18554 HAS SOUPS 16592 WITH SCORE 16648.824
AT ITER 6844 NEW BEST:: SOT 109565 SOS 56798 HAS SOPS 43990 HAS SOUS 18542 HAS SOUPS 16592 WITH SCORE 16648.798
AT ITER 6845 NEW BEST:: SOT 109556 SOS 56828 HAS SOPS 43981 HAS SOUS 18533 HAS SOUPS 16579 WITH SCORE 16635.828
AT ITER 6913 NEW BEST:: SOT 109554 SOS 56826 HAS SOPS 43979 HAS SOUS 18531 HAS SOUPS 16577 WITH SCORE 16633.826
AT ITER 6915 NEW BEST:: SOT 109561 SOS 56744 HAS SOPS 43897 HAS SOUS 18529 HAS SOUPS 16575 WITH SCORE 16631.744
AT ITER 7018 NEW BEST:: SOT 109562 SOS 56744 HAS SOPS 43898 HAS SOUS 18528 HAS SOUPS 16574 WITH SCORE 16630.744
AT ITER 7062 NEW BEST:: SOT 109559 SOS 56741 HAS SOPS 43892 HAS SOUS 18522 HAS SOUPS 16568 WITH SCORE 16624.741
AT ITER 7103 NEW BEST:: SOT 109557 SOS 56737 HAS SOPS 43890 HAS SOUS 18518 HAS SOUPS 16564 WITH SCORE 16620.737
AT ITER 7107 NEW BEST:: SOT 109556 SOS 56734 HAS SOPS 43887 HAS SOUS 18516 HAS SOUPS 16562 WITH SCORE 16618.734
AT ITER 7115 NEW BEST:: SOT 109537 SOS 56715 HAS SOPS 43858 HAS SOUS 18499 HAS SOUPS 16545 WITH SCORE 16601.715
AT ITER 7151 NEW BEST:: SOT 109519 SOS 56879 HAS SOPS 44000 HAS SOUS 18484 HAS SOUPS 16530 WITH SCORE 16586.879
AT ITER 7155 NEW BEST:: SOT 109513 SOS 56871 HAS SOPS 43992 HAS SOUS 18480 HAS SOUPS 16526 WITH SCORE 16582.871
AT ITER 7184 NEW BEST:: SOT 109497 SOS 56847 HAS SOPS 43960 HAS SOUS 18456 HAS SOUPS 16502 WITH SCORE 16558.847
AT ITER 7191 NEW BEST:: SOT 109495 SOS 56857 HAS SOPS 43968 HAS SOUS 18454 HAS SOUPS 16500 WITH SCORE 16556.857
AT ITER 7199 NEW BEST:: SOT 109493 SOS 56855 HAS SOPS 43966 HAS SOUS 18454 HAS SOUPS 16500 WITH SCORE 16556.855
AT ITER 7212 NEW BEST:: SOT 109485 SOS 56869 HAS SOPS 43938 HAS SOUS 18438 HAS SOUPS 16484 WITH SCORE 16540.869
AT ITER 7291 NEW BEST:: SOT 109471 SOS 56834 HAS SOPS 43910 HAS SOUS 18381 HAS SOUPS 16427 WITH SCORE 16483.834
AT ITER 7307 NEW BEST:: SOT 109449 SOS 56794 HAS SOPS 43866 HAS SOUS 18360 HAS SOUPS 16406 WITH SCORE 16462.794
AT ITER 7347 NEW BEST:: SOT 109513 SOS 56858 HAS SOPS 43930 HAS SOUS 18351 HAS SOUPS 16397 WITH SCORE 16453.858
AT ITER 7361 NEW BEST:: SOT 109510 SOS 56806 HAS SOPS 43926 HAS SOUS 18345 HAS SOUPS 16394 WITH SCORE 16450.806
AT ITER 7373 NEW BEST:: SOT 109430 SOS 56693 HAS SOPS 43832 HAS SOUS 18310 HAS SOUPS 16359 WITH SCORE 16415.693
AT ITER 7406 NEW BEST:: SOT 109427 SOS 56690 HAS SOPS 43830 HAS SOUS 18310 HAS SOUPS 16359 WITH SCORE 16415.69
AT ITER 7423 NEW BEST:: SOT 109424 SOS 56667 HAS SOPS 43809 HAS SOUS 18304 HAS SOUPS 16353 WITH SCORE 16409.667
AT ITER 7428 NEW BEST:: SOT 109401 SOS 56644 HAS SOPS 43777 HAS SOUS 18300 HAS SOUPS 16349 WITH SCORE 16405.644
AT ITER 7430 NEW BEST:: SOT 109400 SOS 56643 HAS SOPS 43775 HAS SOUS 18298 HAS SOUPS 16347 WITH SCORE 16403.643
AT ITER 7442 NEW BEST:: SOT 109399 SOS 56641 HAS SOPS 43774 HAS SOUS 18296 HAS SOUPS 16345 WITH SCORE 16401.641
AT ITER 7511 NEW BEST:: SOT 109408 SOS 56650 HAS SOPS 43771 HAS SOUS 18242 HAS SOUPS 16300 WITH SCORE 16356.65
AT ITER 7514 NEW BEST:: SOT 109395 SOS 56637 HAS SOPS 43752 HAS SOUS 18242 HAS SOUPS 16294 WITH SCORE 16350.637
AT ITER 7561 NEW BEST:: SOT 109400 SOS 56642 HAS SOPS 43757 HAS SOUS 18239 HAS SOUPS 16291 WITH SCORE 16347.642
AT ITER 7603 NEW BEST:: SOT 109435 SOS 56668 HAS SOPS 43765 HAS SOUS 18237 HAS SOUPS 16289 WITH SCORE 16345.668
AT ITER 7625 NEW BEST:: SOT 109416 SOS 56650 HAS SOPS 43741 HAS SOUS 18217 HAS SOUPS 16269 WITH SCORE 16325.65
AT ITER 7681 NEW BEST:: SOT 109417 SOS 56648 HAS SOPS 43738 HAS SOUS 18214 HAS SOUPS 16266 WITH SCORE 16322.648
AT ITER 7694 NEW BEST:: SOT 109381 SOS 56612 HAS SOPS 43690 HAS SOUS 18200 HAS SOUPS 16252 WITH SCORE 16308.612
AT ITER 7699 NEW BEST:: SOT 109371 SOS 56592 HAS SOPS 43670 HAS SOUS 18180 HAS SOUPS 16232 WITH SCORE 16288.592
AT ITER 7702 NEW BEST:: SOT 109464 SOS 56719 HAS SOPS 43774 HAS SOUS 18168 HAS SOUPS 16220 WITH SCORE 16276.719
AT ITER 7706 NEW BEST:: SOT 109444 SOS 56682 HAS SOPS 43757 HAS SOUS 18154 HAS SOUPS 16206 WITH SCORE 16262.682
AT ITER 7709 NEW BEST:: SOT 109443 SOS 56681 HAS SOPS 43755 HAS SOUS 18152 HAS SOUPS 16204 WITH SCORE 16260.681
AT ITER 7772 NEW BEST:: SOT 109441 SOS 56664 HAS SOPS 43751 HAS SOUS 18144 HAS SOUPS 16196 WITH SCORE 16252.664
AT ITER 7791 NEW BEST:: SOT 109410 SOS 56633 HAS SOPS 43707 HAS SOUS 18118 HAS SOUPS 16170 WITH SCORE 16226.633
AT ITER 7793 NEW BEST:: SOT 109386 SOS 56669 HAS SOPS 43745 HAS SOUS 18109 HAS SOUPS 16161 WITH SCORE 16217.669
AT ITER 7806 NEW BEST:: SOT 109386 SOS 56674 HAS SOPS 43740 HAS SOUS 18104 HAS SOUPS 16156 WITH SCORE 16212.674
AT ITER 7830 NEW BEST:: SOT 109383 SOS 56671 HAS SOPS 43734 HAS SOUS 18104 HAS SOUPS 16156 WITH SCORE 16212.671
AT ITER 7840 NEW BEST:: SOT 109383 SOS 56657 HAS SOPS 43720 HAS SOUS 18104 HAS SOUPS 16156 WITH SCORE 16212.657
AT ITER 7873 NEW BEST:: SOT 109381 SOS 56653 HAS SOPS 43716 HAS SOUS 18100 HAS SOUPS 16152 WITH SCORE 16208.653
AT ITER 7919 NEW BEST:: SOT 109349 SOS 56621 HAS SOPS 43671 HAS SOUS 18093 HAS SOUPS 16145 WITH SCORE 16201.621
AT ITER 7942 NEW BEST:: SOT 109312 SOS 56553 HAS SOPS 43634 HAS SOUS 18056 HAS SOUPS 16139 WITH SCORE 16195.553
AT ITER 8004 NEW BEST:: SOT 109299 SOS 56920 HAS SOPS 43803 HAS SOUS 18043 HAS SOUPS 16108 WITH SCORE 16164.92
AT ITER 8013 NEW BEST:: SOT 109292 SOS 56913 HAS SOPS 43796 HAS SOUS 18029 HAS SOUPS 16094 WITH SCORE 16150.913
AT ITER 8017 NEW BEST:: SOT 109291 SOS 56877 HAS SOPS 43764 HAS SOUS 18027 HAS SOUPS 16092 WITH SCORE 16148.877
AT ITER 8026 NEW BEST:: SOT 109283 SOS 56863 HAS SOPS 43754 HAS SOUS 18019 HAS SOUPS 16088 WITH SCORE 16144.863
AT ITER 8032 NEW BEST:: SOT 109281 SOS 56855 HAS SOPS 43746 HAS SOUS 18011 HAS SOUPS 16080 WITH SCORE 16136.855
AT ITER 8042 NEW BEST:: SOT 109350 SOS 56954 HAS SOPS 43824 HAS SOUS 17999 HAS SOUPS 16068 WITH SCORE 16124.954
AT ITER 8045 NEW BEST:: SOT 109342 SOS 56951 HAS SOPS 43821 HAS SOUS 17996 HAS SOUPS 16065 WITH SCORE 16121.951
AT ITER 8050 NEW BEST:: SOT 109337 SOS 56946 HAS SOPS 43811 HAS SOUS 17986 HAS SOUPS 16055 WITH SCORE 16111.946
AT ITER 8064 NEW BEST:: SOT 109365 SOS 56934 HAS SOPS 43822 HAS SOUS 17963 HAS SOUPS 16032 WITH SCORE 16088.934
AT ITER 8101 NEW BEST:: SOT 109349 SOS 56998 HAS SOPS 43886 HAS SOUS 17959 HAS SOUPS 16028 WITH SCORE 16084.998
AT ITER 8222 NEW BEST:: SOT 109349 SOS 56995 HAS SOPS 43886 HAS SOUS 17956 HAS SOUPS 16025 WITH SCORE 16081.995
AT ITER 8287 NEW BEST:: SOT 109333 SOS 56979 HAS SOPS 43896 HAS SOUS 17949 HAS SOUPS 16018 WITH SCORE 16074.979
AT ITER 8295 NEW BEST:: SOT 109330 SOS 56976 HAS SOPS 43893 HAS SOUS 17943 HAS SOUPS 16012 WITH SCORE 16068.976
AT ITER 8320 NEW BEST:: SOT 109342 SOS 56784 HAS SOPS 43701 HAS SOUS 17937 HAS SOUPS 16006 WITH SCORE 16062.784
AT ITER 8370 NEW BEST:: SOT 109340 SOS 56782 HAS SOPS 43697 HAS SOUS 17933 HAS SOUPS 16002 WITH SCORE 16058.782
AT ITER 8386 NEW BEST:: SOT 109334 SOS 56776 HAS SOPS 43685 HAS SOUS 17921 HAS SOUPS 15990 WITH SCORE 16046.776
AT ITER 8397 NEW BEST:: SOT 109327 SOS 56769 HAS SOPS 43674 HAS SOUS 17916 HAS SOUPS 15982 WITH SCORE 16038.769
AT ITER 8404 NEW BEST:: SOT 109323 SOS 56751 HAS SOPS 43656 HAS SOUS 17912 HAS SOUPS 15978 WITH SCORE 16034.751
AT ITER 8410 NEW BEST:: SOT 109311 SOS 56799 HAS SOPS 43644 HAS SOUS 17912 HAS SOUPS 15972 WITH SCORE 16028.799
AT ITER 8412 NEW BEST:: SOT 109296 SOS 56529 HAS SOPS 43384 HAS SOUS 17886 HAS SOUPS 15946 WITH SCORE 16002.529
AT ITER 8445 NEW BEST:: SOT 109292 SOS 56528 HAS SOPS 43399 HAS SOUS 17881 HAS SOUPS 15942 WITH SCORE 15998.528
AT ITER 8465 NEW BEST:: SOT 109303 SOS 56551 HAS SOPS 43409 HAS SOUS 17879 HAS SOUPS 15940 WITH SCORE 15996.551
AT ITER 8528 NEW BEST:: SOT 109201 SOS 56432 HAS SOPS 43290 HAS SOUS 17856 HAS SOUPS 15917 WITH SCORE 15973.432
AT ITER 8612 NEW BEST:: SOT 108990 SOS 56146 HAS SOPS 43018 HAS SOUS 17809 HAS SOUPS 15870 WITH SCORE 15926.146
AT ITER 8636 NEW BEST:: SOT 108985 SOS 56150 HAS SOPS 43054 HAS SOUS 17805 HAS SOUPS 15868 WITH SCORE 15924.15
AT ITER 8654 NEW BEST:: SOT 108970 SOS 56141 HAS SOPS 43040 HAS SOUS 17797 HAS SOUPS 15860 WITH SCORE 15916.141
AT ITER 8715 NEW BEST:: SOT 108959 SOS 56130 HAS SOPS 43023 HAS SOUS 17795 HAS SOUPS 15858 WITH SCORE 15914.13
AT ITER 8716 NEW BEST:: SOT 108955 SOS 56126 HAS SOPS 43017 HAS SOUS 17791 HAS SOUPS 15854 WITH SCORE 15910.126
AT ITER 8723 NEW BEST:: SOT 108960 SOS 56016 HAS SOPS 42907 HAS SOUS 17791 HAS SOUPS 15854 WITH SCORE 15910.016
AT ITER 8757 NEW BEST:: SOT 108961 SOS 56043 HAS SOPS 42934 HAS SOUS 17782 HAS SOUPS 15845 WITH SCORE 15901.043
AT ITER 8813 NEW BEST:: SOT 108906 SOS 55933 HAS SOPS 42879 HAS SOUS 17782 HAS SOUPS 15845 WITH SCORE 15900.933
AT ITER 8821 NEW BEST:: SOT 108916 SOS 55941 HAS SOPS 42893 HAS SOUS 17780 HAS SOUPS 15843 WITH SCORE 15898.941
AT ITER 8845 NEW BEST:: SOT 108911 SOS 55936 HAS SOPS 42883 HAS SOUS 17765 HAS SOUPS 15828 WITH SCORE 15883.936
AT ITER 8860 NEW BEST:: SOT 108940 SOS 55937 HAS SOPS 42884 HAS SOUS 17758 HAS SOUPS 15821 WITH SCORE 15876.937
AT ITER 8864 NEW BEST:: SOT 108908 SOS 55912 HAS SOPS 42844 HAS SOUS 17756 HAS SOUPS 15819 WITH SCORE 15874.912
AT ITER 8898 NEW BEST:: SOT 108906 SOS 55910 HAS SOPS 42843 HAS SOUS 17755 HAS SOUPS 15818 WITH SCORE 15873.91
AT ITER 8939 NEW BEST:: SOT 108901 SOS 55923 HAS SOPS 42833 HAS SOUS 17727 HAS SOUPS 15790 WITH SCORE 15845.923
AT ITER 8956 NEW BEST:: SOT 108901 SOS 55923 HAS SOPS 42831 HAS SOUS 17721 HAS SOUPS 15784 WITH SCORE 15839.923
AT ITER 8969 NEW BEST:: SOT 108905 SOS 55756 HAS SOPS 42689 HAS SOUS 17709 HAS SOUPS 15772 WITH SCORE 15827.756
AT ITER 8974 NEW BEST:: SOT 108909 SOS 55756 HAS SOPS 42693 HAS SOUS 17705 HAS SOUPS 15768 WITH SCORE 15823.756
AT ITER 9006 NEW BEST:: SOT 108921 SOS 55767 HAS SOPS 42691 HAS SOUS 17684 HAS SOUPS 15747 WITH SCORE 15802.767
AT ITER 9160 NEW BEST:: SOT 108928 SOS 55774 HAS SOPS 42698 HAS SOUS 17677 HAS SOUPS 15740 WITH SCORE 15795.774
AT ITER 9162 NEW BEST:: SOT 108903 SOS 55724 HAS SOPS 42673 HAS SOUS 17658 HAS SOUPS 15740 WITH SCORE 15795.724
AT ITER 9190 NEW BEST:: SOT 108903 SOS 55722 HAS SOPS 42671 HAS SOUS 17654 HAS SOUPS 15736 WITH SCORE 15791.722
AT ITER 9205 NEW BEST:: SOT 108913 SOS 55732 HAS SOPS 42683 HAS SOUS 17650 HAS SOUPS 15732 WITH SCORE 15787.732
AT ITER 9219 NEW BEST:: SOT 108909 SOS 55728 HAS SOPS 42675 HAS SOUS 17642 HAS SOUPS 15724 WITH SCORE 15779.728
AT ITER 9279 NEW BEST:: SOT 108924 SOS 55743 HAS SOPS 42683 HAS SOUS 17628 HAS SOUPS 15710 WITH SCORE 15765.743
AT ITER 9390 NEW BEST:: SOT 108908 SOS 55727 HAS SOPS 42683 HAS SOUS 17612 HAS SOUPS 15694 WITH SCORE 15749.727
AT ITER 9415 NEW BEST:: SOT 108907 SOS 55726 HAS SOPS 42681 HAS SOUS 17611 HAS SOUPS 15692 WITH SCORE 15747.726
AT ITER 9581 NEW BEST:: SOT 108896 SOS 55733 HAS SOPS 42659 HAS SOUS 17589 HAS SOUPS 15670 WITH SCORE 15725.733
AT ITER 9586 NEW BEST:: SOT 108892 SOS 55729 HAS SOPS 42653 HAS SOUS 17587 HAS SOUPS 15668 WITH SCORE 15723.729
AT ITER 9600 NEW BEST:: SOT 108914 SOS 55751 HAS SOPS 42682 HAS SOUS 17586 HAS SOUPS 15667 WITH SCORE 15722.751
AT ITER 9607 NEW BEST:: SOT 108911 SOS 55748 HAS SOPS 42676 HAS SOUS 17580 HAS SOUPS 15661 WITH SCORE 15716.748
AT ITER 9661 NEW BEST:: SOT 108904 SOS 55741 HAS SOPS 42662 HAS SOUS 17566 HAS SOUPS 15647 WITH SCORE 15702.741
AT ITER 9768 NEW BEST:: SOT 109009 SOS 55810 HAS SOPS 42731 HAS SOUS 17561 HAS SOUPS 15642 WITH SCORE 15697.81
AT ITER 9833 NEW BEST:: SOT 109009 SOS 55810 HAS SOPS 42729 HAS SOUS 17557 HAS SOUPS 15638 WITH SCORE 15693.81
AT ITER 9849 NEW BEST:: SOT 109009 SOS 55812 HAS SOPS 42729 HAS SOUS 17555 HAS SOUPS 15636 WITH SCORE 15691.812
AT ITER 9871 NEW BEST:: SOT 109006 SOS 55808 HAS SOPS 42725 HAS SOUS 17552 HAS SOUPS 15633 WITH SCORE 15688.808
AT ITER 9925 NEW BEST:: SOT 109001 SOS 55798 HAS SOPS 42715 HAS SOUS 17542 HAS SOUPS 15623 WITH SCORE 15678.798
AT ITER 9975 NEW BEST:: SOT 108963 SOS 55758 HAS SOPS 42675 HAS SOUS 17534 HAS SOUPS 15615 WITH SCORE 15670.758
AT ITER 9996 NEW BEST:: SOT 108959 SOS 55754 HAS SOPS 42671 HAS SOUS 17532 HAS SOUPS 15613 WITH SCORE 15668.754

BK_STOP 1678804404427

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 496 Killed ${SMART}/smart ${INPUT_SM}

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="CANInsertWithFailure-PT-010"
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 CANInsertWithFailure-PT-010, 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 r043-tajo-167813697200712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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