Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711401120.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is UtilityControlRoom-PT-Z2T3N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711401120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 30K Feb 26 14:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 26 14:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 50K Feb 26 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 219K Feb 26 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 36K Feb 26 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 185K Feb 26 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110K Feb 26 14:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 451K Feb 26 14:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.1K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 116K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679311203341

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=UtilityControlRoom-PT-Z2T3N10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 11:20:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 11:20:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 11:20:05] [INFO ] Load time of PNML (sax parser for PT used): 252 ms
[2023-03-20 11:20:05] [INFO ] Transformed 174 places.
[2023-03-20 11:20:05] [INFO ] Transformed 270 transitions.
[2023-03-20 11:20:05] [INFO ] Parsed PT model containing 174 places and 270 transitions and 850 arcs in 353 ms.
[2023-03-20 11:20:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 174 places, 270 transitions and 850 arcs took 6 ms.
Total runtime 403 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T3N10
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: 174 places, 270 transitions, 850 arcs.
AT ITER 0 NEW BEST:: SOT 38295 SOS 28159 HAS SOPS 28159 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18788.159
AT ITER 3 NEW BEST:: SOT 38282 SOS 28146 HAS SOPS 28146 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18788.146
AT ITER 4 NEW BEST:: SOT 38263 SOS 28089 HAS SOPS 28089 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18731.089
AT ITER 6 NEW BEST:: SOT 38251 SOS 27986 HAS SOPS 27986 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18627.986
AT ITER 7 NEW BEST:: SOT 38207 SOS 27942 HAS SOPS 27942 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18627.942
AT ITER 9 NEW BEST:: SOT 38173 SOS 27943 HAS SOPS 27943 HAS SOUS 18560 HAS SOUPS 18560 WITH SCORE 18587.943
AT ITER 14 NEW BEST:: SOT 38167 SOS 27940 HAS SOPS 27940 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18584.94
AT ITER 15 NEW BEST:: SOT 38134 SOS 27829 HAS SOPS 27829 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18473.829
AT ITER 18 NEW BEST:: SOT 38110 SOS 27805 HAS SOPS 27805 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18449.805
AT ITER 20 NEW BEST:: SOT 38078 SOS 27816 HAS SOPS 27816 HAS SOUS 18351 HAS SOUPS 18351 WITH SCORE 18378.816
AT ITER 23 NEW BEST:: SOT 38057 SOS 27703 HAS SOPS 27703 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18328.703
AT ITER 24 NEW BEST:: SOT 38018 SOS 27625 HAS SOPS 27625 HAS SOUS 18248 HAS SOUPS 18248 WITH SCORE 18275.625
AT ITER 27 NEW BEST:: SOT 37959 SOS 27559 HAS SOPS 27559 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18187.559
AT ITER 30 NEW BEST:: SOT 37925 SOS 27551 HAS SOPS 27551 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18107.551
AT ITER 31 NEW BEST:: SOT 37909 SOS 27583 HAS SOPS 27583 HAS SOUS 17995 HAS SOUPS 17995 WITH SCORE 18022.583
AT ITER 33 NEW BEST:: SOT 37890 SOS 27481 HAS SOPS 27481 HAS SOUS 17932 HAS SOUPS 17932 WITH SCORE 17959.481
AT ITER 35 NEW BEST:: SOT 37858 SOS 27494 HAS SOPS 27494 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17887.494
AT ITER 36 NEW BEST:: SOT 37843 SOS 27488 HAS SOPS 27488 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17822.488
AT ITER 38 NEW BEST:: SOT 37843 SOS 27459 HAS SOPS 27459 HAS SOUS 17793 HAS SOUPS 17793 WITH SCORE 17820.459
AT ITER 40 NEW BEST:: SOT 37809 SOS 27350 HAS SOPS 27350 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17781.35
AT ITER 41 NEW BEST:: SOT 29993 SOS 21844 HAS SOPS 21844 HAS SOUS 12915 HAS SOUPS 12915 WITH SCORE 12936.844
AT ITER 44 NEW BEST:: SOT 29840 SOS 21603 HAS SOPS 21603 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12812.603
AT ITER 46 NEW BEST:: SOT 29741 SOS 21473 HAS SOPS 21473 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12682.473
AT ITER 48 NEW BEST:: SOT 29735 SOS 21475 HAS SOPS 21475 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12665.475
AT ITER 50 NEW BEST:: SOT 29714 SOS 21412 HAS SOPS 21412 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12623.412
AT ITER 53 NEW BEST:: SOT 29634 SOS 21250 HAS SOPS 21250 HAS SOUS 12536 HAS SOUPS 12536 WITH SCORE 12557.25
AT ITER 55 NEW BEST:: SOT 29761 SOS 21260 HAS SOPS 21260 HAS SOUS 12461 HAS SOUPS 12461 WITH SCORE 12482.26
AT ITER 57 NEW BEST:: SOT 29761 SOS 21260 HAS SOPS 21260 HAS SOUS 12459 HAS SOUPS 12459 WITH SCORE 12480.26
AT ITER 64 NEW BEST:: SOT 29666 SOS 21170 HAS SOPS 21170 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12392.17
AT ITER 68 NEW BEST:: SOT 29682 SOS 21151 HAS SOPS 21151 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12383.151
AT ITER 69 NEW BEST:: SOT 29639 SOS 21486 HAS SOPS 21486 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12190.486
AT ITER 70 NEW BEST:: SOT 29601 SOS 21448 HAS SOPS 21448 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12152.448
AT ITER 71 NEW BEST:: SOT 29514 SOS 21253 HAS SOPS 21253 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12035.253
AT ITER 76 NEW BEST:: SOT 29437 SOS 21176 HAS SOPS 21176 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11956.176
AT ITER 80 NEW BEST:: SOT 29446 SOS 21173 HAS SOPS 21173 HAS SOUS 11891 HAS SOUPS 11891 WITH SCORE 11912.173
AT ITER 81 NEW BEST:: SOT 29418 SOS 21145 HAS SOPS 21145 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11856.145
AT ITER 84 NEW BEST:: SOT 29394 SOS 21133 HAS SOPS 21133 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11820.133
AT ITER 86 NEW BEST:: SOT 29225 SOS 20852 HAS SOPS 20852 HAS SOUS 11540 HAS SOUPS 11540 WITH SCORE 11560.852
AT ITER 87 NEW BEST:: SOT 29210 SOS 20876 HAS SOPS 20876 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11544.876
AT ITER 91 NEW BEST:: SOT 29192 SOS 20858 HAS SOPS 20858 HAS SOUS 11506 HAS SOUPS 11506 WITH SCORE 11526.858
AT ITER 92 NEW BEST:: SOT 29196 SOS 20819 HAS SOPS 20819 HAS SOUS 11449 HAS SOUPS 11449 WITH SCORE 11469.819
AT ITER 95 NEW BEST:: SOT 29196 SOS 20818 HAS SOPS 20818 HAS SOUS 11449 HAS SOUPS 11449 WITH SCORE 11469.818
AT ITER 97 NEW BEST:: SOT 29196 SOS 20839 HAS SOPS 20839 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11468.839
AT ITER 98 NEW BEST:: SOT 29192 SOS 20809 HAS SOPS 20809 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11425.809
AT ITER 102 NEW BEST:: SOT 29089 SOS 20579 HAS SOPS 20579 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11356.579
AT ITER 106 NEW BEST:: SOT 29087 SOS 20581 HAS SOPS 20581 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11354.581
AT ITER 107 NEW BEST:: SOT 28923 SOS 20390 HAS SOPS 20390 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11275.39
AT ITER 108 NEW BEST:: SOT 28924 SOS 20391 HAS SOPS 20391 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11267.391
AT ITER 112 NEW BEST:: SOT 28846 SOS 20293 HAS SOPS 20293 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11129.293
AT ITER 116 NEW BEST:: SOT 28845 SOS 20290 HAS SOPS 20290 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11127.29
AT ITER 121 NEW BEST:: SOT 28880 SOS 20325 HAS SOPS 20325 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11117.325
AT ITER 122 NEW BEST:: SOT 28836 SOS 20209 HAS SOPS 20209 HAS SOUS 11035 HAS SOUPS 11035 WITH SCORE 11055.209
AT ITER 124 NEW BEST:: SOT 28818 SOS 20191 HAS SOPS 20191 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11016.191
AT ITER 127 NEW BEST:: SOT 28782 SOS 20155 HAS SOPS 20155 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10980.155
AT ITER 128 NEW BEST:: SOT 28790 SOS 20163 HAS SOPS 20163 HAS SOUS 10949 HAS SOUPS 10949 WITH SCORE 10969.163
AT ITER 131 NEW BEST:: SOT 28776 SOS 20149 HAS SOPS 20149 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10948.149
AT ITER 132 NEW BEST:: SOT 28712 SOS 20026 HAS SOPS 20026 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10877.026
AT ITER 133 NEW BEST:: SOT 28656 SOS 19915 HAS SOPS 19915 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10791.915
AT ITER 134 NEW BEST:: SOT 28538 SOS 19760 HAS SOPS 19760 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10612.76
AT ITER 142 NEW BEST:: SOT 28526 SOS 19766 HAS SOPS 19766 HAS SOUS 10551 HAS SOUPS 10551 WITH SCORE 10570.766
AT ITER 146 NEW BEST:: SOT 28522 SOS 19758 HAS SOPS 19758 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10562.758
AT ITER 149 NEW BEST:: SOT 28476 SOS 19723 HAS SOPS 19723 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10521.723
AT ITER 151 NEW BEST:: SOT 28476 SOS 19734 HAS SOPS 19734 HAS SOUS 10467 HAS SOUPS 10467 WITH SCORE 10486.734
AT ITER 152 NEW BEST:: SOT 28429 SOS 19646 HAS SOPS 19646 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10387.646
AT ITER 153 NEW BEST:: SOT 28279 SOS 19496 HAS SOPS 19496 HAS SOUS 10194 HAS SOUPS 10194 WITH SCORE 10213.496
AT ITER 161 NEW BEST:: SOT 28245 SOS 19472 HAS SOPS 19472 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10189.472
AT ITER 164 NEW BEST:: SOT 28242 SOS 19469 HAS SOPS 19469 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10183.469
AT ITER 165 NEW BEST:: SOT 28235 SOS 19462 HAS SOPS 19462 HAS SOUS 10157 HAS SOUPS 10157 WITH SCORE 10176.462
AT ITER 176 NEW BEST:: SOT 28275 SOS 19486 HAS SOPS 19486 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10159.486
AT ITER 181 NEW BEST:: SOT 28260 SOS 19471 HAS SOPS 19471 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10159.471
AT ITER 187 NEW BEST:: SOT 28161 SOS 19277 HAS SOPS 19277 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9997.277
AT ITER 198 NEW BEST:: SOT 28147 SOS 19249 HAS SOPS 19249 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9983.249
AT ITER 200 NEW BEST:: SOT 28145 SOS 19242 HAS SOPS 19242 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 9978.242
AT ITER 203 NEW BEST:: SOT 28151 SOS 19248 HAS SOPS 19248 HAS SOUS 9949 HAS SOUPS 9949 WITH SCORE 9968.248
AT ITER 208 NEW BEST:: SOT 28107 SOS 19130 HAS SOPS 19130 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9833.13
AT ITER 215 NEW BEST:: SOT 28092 SOS 19115 HAS SOPS 19115 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9803.115
AT ITER 217 NEW BEST:: SOT 27978 SOS 18959 HAS SOPS 18959 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9719.959
AT ITER 219 NEW BEST:: SOT 27963 SOS 18921 HAS SOPS 18921 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9681.921
AT ITER 221 NEW BEST:: SOT 27957 SOS 18910 HAS SOPS 18910 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9668.91
AT ITER 224 NEW BEST:: SOT 27938 SOS 18824 HAS SOPS 18824 HAS SOUS 9634 HAS SOUPS 9634 WITH SCORE 9652.824
AT ITER 225 NEW BEST:: SOT 27931 SOS 18790 HAS SOPS 18790 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9530.79
AT ITER 232 NEW BEST:: SOT 27859 SOS 18646 HAS SOPS 18646 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9492.646
AT ITER 235 NEW BEST:: SOT 27856 SOS 18615 HAS SOPS 18615 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9470.615
AT ITER 236 NEW BEST:: SOT 27818 SOS 18558 HAS SOPS 18558 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9413.558
AT ITER 243 NEW BEST:: SOT 27838 SOS 18578 HAS SOPS 18578 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9375.578
AT ITER 253 NEW BEST:: SOT 27801 SOS 18495 HAS SOPS 18495 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9265.495
AT ITER 263 NEW BEST:: SOT 27785 SOS 18439 HAS SOPS 18439 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9244.439
AT ITER 267 NEW BEST:: SOT 27786 SOS 18380 HAS SOPS 18380 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9128.38
AT ITER 271 NEW BEST:: SOT 27775 SOS 18340 HAS SOPS 18340 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9124.34
AT ITER 282 NEW BEST:: SOT 27754 SOS 18312 HAS SOPS 18312 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9101.312
AT ITER 283 NEW BEST:: SOT 27727 SOS 18255 HAS SOPS 18255 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9061.255
AT ITER 284 NEW BEST:: SOT 27711 SOS 18231 HAS SOPS 18231 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9037.231
AT ITER 285 NEW BEST:: SOT 27685 SOS 18131 HAS SOPS 18131 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9015.131
AT ITER 293 NEW BEST:: SOT 27690 SOS 17188 HAS SOPS 17188 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8983.188
AT ITER 302 NEW BEST:: SOT 27830 SOS 17427 HAS SOPS 17427 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8980.427
AT ITER 310 NEW BEST:: SOT 27830 SOS 17427 HAS SOPS 17427 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8978.427
AT ITER 316 NEW BEST:: SOT 27773 SOS 17332 HAS SOPS 17332 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8902.332
AT ITER 318 NEW BEST:: SOT 27755 SOS 17326 HAS SOPS 17326 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8878.326
AT ITER 327 NEW BEST:: SOT 27734 SOS 17305 HAS SOPS 17305 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8865.305
AT ITER 338 NEW BEST:: SOT 27813 SOS 17320 HAS SOPS 17320 HAS SOUS 8815 HAS SOUPS 8815 WITH SCORE 8832.32
AT ITER 350 NEW BEST:: SOT 27823 SOS 17306 HAS SOPS 17306 HAS SOUS 8814 HAS SOUPS 8814 WITH SCORE 8831.306
AT ITER 358 NEW BEST:: SOT 27772 SOS 17310 HAS SOPS 17310 HAS SOUS 8706 HAS SOUPS 8706 WITH SCORE 8723.31
AT ITER 365 NEW BEST:: SOT 27745 SOS 17290 HAS SOPS 17290 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8654.29
AT ITER 367 NEW BEST:: SOT 27726 SOS 17271 HAS SOPS 17271 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8616.271
AT ITER 369 NEW BEST:: SOT 27735 SOS 17272 HAS SOPS 17272 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8614.272
AT ITER 371 NEW BEST:: SOT 27735 SOS 17260 HAS SOPS 17260 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8614.26
AT ITER 389 NEW BEST:: SOT 27649 SOS 17174 HAS SOPS 17174 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8528.174
AT ITER 401 NEW BEST:: SOT 27627 SOS 17134 HAS SOPS 17134 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8486.134
AT ITER 417 NEW BEST:: SOT 27621 SOS 17128 HAS SOPS 17128 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8480.128
AT ITER 430 NEW BEST:: SOT 27581 SOS 17088 HAS SOPS 17088 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8463.088
AT ITER 433 NEW BEST:: SOT 27581 SOS 17086 HAS SOPS 17086 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8463.086
AT ITER 436 NEW BEST:: SOT 27541 SOS 17046 HAS SOPS 17046 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8407.046
AT ITER 438 NEW BEST:: SOT 27541 SOS 17045 HAS SOPS 17045 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8405.045
AT ITER 439 NEW BEST:: SOT 27531 SOS 17033 HAS SOPS 17033 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8402.033
AT ITER 443 NEW BEST:: SOT 27524 SOS 16991 HAS SOPS 16991 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8336.991
AT ITER 446 NEW BEST:: SOT 27501 SOS 16969 HAS SOPS 16969 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8302.969
AT ITER 451 NEW BEST:: SOT 27525 SOS 17015 HAS SOPS 17015 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8285.015
AT ITER 469 NEW BEST:: SOT 27523 SOS 17011 HAS SOPS 17011 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8274.011
AT ITER 470 NEW BEST:: SOT 27523 SOS 17008 HAS SOPS 17008 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8274.008
AT ITER 472 NEW BEST:: SOT 27411 SOS 16945 HAS SOPS 16945 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8266.945
AT ITER 478 NEW BEST:: SOT 27425 SOS 16929 HAS SOPS 16929 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8242.929
AT ITER 481 NEW BEST:: SOT 27418 SOS 16916 HAS SOPS 16916 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8233.916
AT ITER 483 NEW BEST:: SOT 27414 SOS 16912 HAS SOPS 16912 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8228.912
AT ITER 484 NEW BEST:: SOT 27410 SOS 16904 HAS SOPS 16904 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8216.904
AT ITER 486 NEW BEST:: SOT 27400 SOS 16894 HAS SOPS 16894 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8209.894
AT ITER 488 NEW BEST:: SOT 27367 SOS 16873 HAS SOPS 16873 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8190.873
AT ITER 495 NEW BEST:: SOT 27294 SOS 16824 HAS SOPS 16824 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8160.824
AT ITER 501 NEW BEST:: SOT 27225 SOS 16658 HAS SOPS 16658 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8097.658
AT ITER 511 NEW BEST:: SOT 27218 SOS 16644 HAS SOPS 16644 HAS SOUS 8056 HAS SOUPS 8056 WITH SCORE 8072.644
AT ITER 516 NEW BEST:: SOT 27216 SOS 16643 HAS SOPS 16643 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8067.643
AT ITER 519 NEW BEST:: SOT 27138 SOS 16565 HAS SOPS 16565 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7957.565
AT ITER 527 NEW BEST:: SOT 27133 SOS 16560 HAS SOPS 16560 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7957.56
AT ITER 532 NEW BEST:: SOT 27120 SOS 16542 HAS SOPS 16542 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7949.542
AT ITER 540 NEW BEST:: SOT 27115 SOS 16528 HAS SOPS 16528 HAS SOUS 7928 HAS SOUPS 7928 WITH SCORE 7944.528
AT ITER 541 NEW BEST:: SOT 27140 SOS 16553 HAS SOPS 16553 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7919.553
AT ITER 552 NEW BEST:: SOT 27134 SOS 16544 HAS SOPS 16544 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7916.544
AT ITER 554 NEW BEST:: SOT 27124 SOS 16534 HAS SOPS 16534 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7901.534
AT ITER 557 NEW BEST:: SOT 27135 SOS 16545 HAS SOPS 16545 HAS SOUS 7866 HAS SOUPS 7866 WITH SCORE 7882.545
AT ITER 599 NEW BEST:: SOT 27078 SOS 16398 HAS SOPS 16398 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7814.398
AT ITER 605 NEW BEST:: SOT 27078 SOS 16394 HAS SOPS 16394 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7802.394
AT ITER 619 NEW BEST:: SOT 27064 SOS 16366 HAS SOPS 16366 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7788.366
AT ITER 626 NEW BEST:: SOT 27060 SOS 16364 HAS SOPS 16364 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7788.364
AT ITER 628 NEW BEST:: SOT 27059 SOS 16361 HAS SOPS 16361 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7786.361
AT ITER 639 NEW BEST:: SOT 27045 SOS 16347 HAS SOPS 16347 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7786.347
AT ITER 644 NEW BEST:: SOT 27034 SOS 16317 HAS SOPS 16317 HAS SOUS 7764 HAS SOUPS 7764 WITH SCORE 7780.317
AT ITER 648 NEW BEST:: SOT 27031 SOS 16314 HAS SOPS 16314 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7777.314
AT ITER 651 NEW BEST:: SOT 27017 SOS 16300 HAS SOPS 16300 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7763.3
AT ITER 655 NEW BEST:: SOT 27018 SOS 16289 HAS SOPS 16289 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7751.289
AT ITER 660 NEW BEST:: SOT 27018 SOS 16252 HAS SOPS 16252 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7703.252
AT ITER 664 NEW BEST:: SOT 26981 SOS 16215 HAS SOPS 16215 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7666.215
AT ITER 672 NEW BEST:: SOT 26957 SOS 16119 HAS SOPS 16119 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7642.119
AT ITER 673 NEW BEST:: SOT 26922 SOS 16105 HAS SOPS 16105 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7620.105
AT ITER 689 NEW BEST:: SOT 26838 SOS 15957 HAS SOPS 15957 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7565.957
AT ITER 706 NEW BEST:: SOT 26789 SOS 15771 HAS SOPS 15771 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7494.771
AT ITER 708 NEW BEST:: SOT 26787 SOS 15767 HAS SOPS 15767 HAS SOUS 7476 HAS SOUPS 7476 WITH SCORE 7491.767
AT ITER 711 NEW BEST:: SOT 26772 SOS 15752 HAS SOPS 15752 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7449.752
AT ITER 720 NEW BEST:: SOT 26771 SOS 15749 HAS SOPS 15749 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7447.749
AT ITER 722 NEW BEST:: SOT 26705 SOS 15615 HAS SOPS 15615 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7347.615
AT ITER 741 NEW BEST:: SOT 26664 SOS 15494 HAS SOPS 15494 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7346.494
AT ITER 755 NEW BEST:: SOT 26669 SOS 15507 HAS SOPS 15507 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7326.507
AT ITER 772 NEW BEST:: SOT 26674 SOS 15502 HAS SOPS 15502 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7326.502
AT ITER 781 NEW BEST:: SOT 26621 SOS 15338 HAS SOPS 15338 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7274.338
AT ITER 794 NEW BEST:: SOT 26598 SOS 15317 HAS SOPS 15317 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7203.317
AT ITER 849 NEW BEST:: SOT 26565 SOS 15285 HAS SOPS 15285 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7166.285
AT ITER 858 NEW BEST:: SOT 26552 SOS 15272 HAS SOPS 15272 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7127.272
AT ITER 861 NEW BEST:: SOT 26552 SOS 15272 HAS SOPS 15272 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7126.272
AT ITER 868 NEW BEST:: SOT 26552 SOS 15226 HAS SOPS 15226 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7103.226
AT ITER 882 NEW BEST:: SOT 26571 SOS 15226 HAS SOPS 15226 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7084.226
AT ITER 888 NEW BEST:: SOT 26569 SOS 15224 HAS SOPS 15224 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7082.224
AT ITER 893 NEW BEST:: SOT 26592 SOS 15242 HAS SOPS 15242 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7068.242
AT ITER 894 NEW BEST:: SOT 26595 SOS 15270 HAS SOPS 15270 HAS SOUS 7050 HAS SOUPS 7050 WITH SCORE 7065.27
AT ITER 907 NEW BEST:: SOT 26595 SOS 15270 HAS SOPS 15270 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7064.27
AT ITER 910 NEW BEST:: SOT 26583 SOS 15252 HAS SOPS 15252 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7058.252
AT ITER 913 NEW BEST:: SOT 26471 SOS 15140 HAS SOPS 15140 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6963.14
AT ITER 921 NEW BEST:: SOT 26467 SOS 15134 HAS SOPS 15134 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6958.134
AT ITER 955 NEW BEST:: SOT 26408 SOS 15011 HAS SOPS 15011 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6847.011
AT ITER 961 NEW BEST:: SOT 26399 SOS 14999 HAS SOPS 14999 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6834.999
AT ITER 962 NEW BEST:: SOT 26392 SOS 14972 HAS SOPS 14972 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6802.972
AT ITER 963 NEW BEST:: SOT 26394 SOS 14958 HAS SOPS 14958 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6802.958
AT ITER 964 NEW BEST:: SOT 26405 SOS 14944 HAS SOPS 14944 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6793.944
AT ITER 968 NEW BEST:: SOT 26378 SOS 14917 HAS SOPS 14917 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6767.917
AT ITER 972 NEW BEST:: SOT 26381 SOS 14867 HAS SOPS 14867 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6757.867
AT ITER 988 NEW BEST:: SOT 26344 SOS 14831 HAS SOPS 14831 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6750.831
AT ITER 994 NEW BEST:: SOT 26338 SOS 14825 HAS SOPS 14825 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6741.825
AT ITER 998 NEW BEST:: SOT 26267 SOS 14755 HAS SOPS 14755 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6671.755
AT ITER 1015 NEW BEST:: SOT 26267 SOS 14755 HAS SOPS 14755 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6669.755
AT ITER 1059 NEW BEST:: SOT 26267 SOS 14755 HAS SOPS 14755 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6652.755
AT ITER 1062 NEW BEST:: SOT 26271 SOS 14759 HAS SOPS 14759 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6640.759
AT ITER 1078 NEW BEST:: SOT 26245 SOS 14733 HAS SOPS 14733 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6600.733
AT ITER 1084 NEW BEST:: SOT 26197 SOS 14637 HAS SOPS 14637 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6562.637
AT ITER 1089 NEW BEST:: SOT 26175 SOS 14615 HAS SOPS 14615 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6561.615
AT ITER 1105 NEW BEST:: SOT 26177 SOS 14615 HAS SOPS 14615 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6560.615
AT ITER 1129 NEW BEST:: SOT 26177 SOS 14615 HAS SOPS 14615 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6556.615
AT ITER 1133 NEW BEST:: SOT 26176 SOS 14613 HAS SOPS 14613 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6553.613
AT ITER 1137 NEW BEST:: SOT 26181 SOS 14618 HAS SOPS 14618 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6548.618
AT ITER 1140 NEW BEST:: SOT 26182 SOS 14610 HAS SOPS 14610 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6538.61
AT ITER 1192 NEW BEST:: SOT 26172 SOS 14600 HAS SOPS 14600 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6528.6
AT ITER 1206 NEW BEST:: SOT 26164 SOS 14592 HAS SOPS 14592 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6528.592
AT ITER 1208 NEW BEST:: SOT 26143 SOS 14545 HAS SOPS 14545 HAS SOUS 6488 HAS SOUPS 6488 WITH SCORE 6502.545
AT ITER 1213 NEW BEST:: SOT 26072 SOS 14475 HAS SOPS 14475 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6490.475
AT ITER 1217 NEW BEST:: SOT 26002 SOS 14407 HAS SOPS 14407 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6416.407
AT ITER 1221 NEW BEST:: SOT 26000 SOS 14403 HAS SOPS 14403 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6412.403
AT ITER 1224 NEW BEST:: SOT 25983 SOS 14375 HAS SOPS 14375 HAS SOUS 6389 HAS SOUPS 6389 WITH SCORE 6403.375
AT ITER 1225 NEW BEST:: SOT 25980 SOS 14372 HAS SOPS 14372 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6397.372
AT ITER 1250 NEW BEST:: SOT 25976 SOS 14370 HAS SOPS 14370 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6393.37
AT ITER 1255 NEW BEST:: SOT 25977 SOS 14371 HAS SOPS 14371 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6392.371
AT ITER 1261 NEW BEST:: SOT 25958 SOS 14281 HAS SOPS 14281 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6359.281
AT ITER 1275 NEW BEST:: SOT 25940 SOS 14263 HAS SOPS 14263 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6349.263
AT ITER 1278 NEW BEST:: SOT 25940 SOS 14274 HAS SOPS 14274 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6341.274
AT ITER 1283 NEW BEST:: SOT 25935 SOS 14267 HAS SOPS 14267 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6330.267
AT ITER 1294 NEW BEST:: SOT 25929 SOS 14258 HAS SOPS 14258 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6324.258
AT ITER 1299 NEW BEST:: SOT 25899 SOS 14212 HAS SOPS 14212 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6306.212
AT ITER 1300 NEW BEST:: SOT 25888 SOS 14187 HAS SOPS 14187 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6261.187
AT ITER 1301 NEW BEST:: SOT 25883 SOS 14183 HAS SOPS 14183 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6256.183
AT ITER 1313 NEW BEST:: SOT 25861 SOS 14247 HAS SOPS 14247 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6212.247
AT ITER 1314 NEW BEST:: SOT 25850 SOS 14236 HAS SOPS 14236 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6212.236
AT ITER 1316 NEW BEST:: SOT 25839 SOS 14223 HAS SOPS 14223 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6190.223
AT ITER 1346 NEW BEST:: SOT 25831 SOS 14215 HAS SOPS 14215 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6182.215
AT ITER 1359 NEW BEST:: SOT 25822 SOS 14205 HAS SOPS 14205 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6161.205
AT ITER 1363 NEW BEST:: SOT 25817 SOS 14200 HAS SOPS 14200 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6156.2
AT ITER 1365 NEW BEST:: SOT 25791 SOS 14120 HAS SOPS 14120 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6103.12
AT ITER 1368 NEW BEST:: SOT 25787 SOS 14116 HAS SOPS 14116 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6103.116
AT ITER 1372 NEW BEST:: SOT 25760 SOS 14090 HAS SOPS 14090 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6101.09
AT ITER 1390 NEW BEST:: SOT 25744 SOS 14055 HAS SOPS 14055 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6087.055
AT ITER 1395 NEW BEST:: SOT 25617 SOS 13916 HAS SOPS 13916 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6046.916
AT ITER 1396 NEW BEST:: SOT 25617 SOS 13916 HAS SOPS 13916 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6041.916
AT ITER 1413 NEW BEST:: SOT 25605 SOS 13904 HAS SOPS 13904 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6029.904
AT ITER 1421 NEW BEST:: SOT 25580 SOS 13887 HAS SOPS 13887 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 6000.887
AT ITER 1422 NEW BEST:: SOT 25614 SOS 13873 HAS SOPS 13873 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5963.873
AT ITER 1439 NEW BEST:: SOT 25602 SOS 13863 HAS SOPS 13863 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5953.863
AT ITER 1454 NEW BEST:: SOT 25599 SOS 13860 HAS SOPS 13860 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5914.86
AT ITER 1464 NEW BEST:: SOT 25612 SOS 13619 HAS SOPS 13619 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5911.619
AT ITER 1466 NEW BEST:: SOT 25610 SOS 13617 HAS SOPS 13617 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5909.617
AT ITER 1480 NEW BEST:: SOT 25586 SOS 13569 HAS SOPS 13569 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5874.569
AT ITER 1482 NEW BEST:: SOT 25574 SOS 13574 HAS SOPS 13574 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5869.574
AT ITER 1531 NEW BEST:: SOT 25570 SOS 13552 HAS SOPS 13552 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5864.552
AT ITER 1538 NEW BEST:: SOT 25594 SOS 13582 HAS SOPS 13582 HAS SOUS 5823 HAS SOUPS 5823 WITH SCORE 5836.582
AT ITER 1539 NEW BEST:: SOT 25570 SOS 13562 HAS SOPS 13562 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5812.562
AT ITER 1542 NEW BEST:: SOT 25563 SOS 13535 HAS SOPS 13535 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5812.535
AT ITER 1564 NEW BEST:: SOT 25556 SOS 13528 HAS SOPS 13528 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5798.528
AT ITER 1566 NEW BEST:: SOT 25505 SOS 13451 HAS SOPS 13451 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5734.451
AT ITER 1581 NEW BEST:: SOT 25503 SOS 13447 HAS SOPS 13447 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5731.447
AT ITER 1584 NEW BEST:: SOT 25501 SOS 13445 HAS SOPS 13445 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5719.445
AT ITER 1591 NEW BEST:: SOT 25500 SOS 13429 HAS SOPS 13429 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5703.429
AT ITER 1593 NEW BEST:: SOT 25491 SOS 13414 HAS SOPS 13414 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5691.414
AT ITER 1595 NEW BEST:: SOT 25491 SOS 13413 HAS SOPS 13413 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5690.413
AT ITER 1598 NEW BEST:: SOT 25483 SOS 13405 HAS SOPS 13405 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5682.405
AT ITER 1631 NEW BEST:: SOT 25454 SOS 13343 HAS SOPS 13343 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5681.343
AT ITER 1693 NEW BEST:: SOT 25451 SOS 13326 HAS SOPS 13326 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5675.326
AT ITER 1743 NEW BEST:: SOT 25460 SOS 13268 HAS SOPS 13268 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5675.268
AT ITER 1757 NEW BEST:: SOT 25460 SOS 13268 HAS SOPS 13268 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5673.268
AT ITER 1765 NEW BEST:: SOT 25445 SOS 13232 HAS SOPS 13232 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5637.232
AT ITER 1767 NEW BEST:: SOT 25452 SOS 13239 HAS SOPS 13239 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5635.239
AT ITER 1827 NEW BEST:: SOT 25457 SOS 13244 HAS SOPS 13244 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5618.244
AT ITER 1850 NEW BEST:: SOT 25456 SOS 13246 HAS SOPS 13246 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5612.246
AT ITER 1851 NEW BEST:: SOT 25368 SOS 13108 HAS SOPS 13108 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5570.108
AT ITER 1859 NEW BEST:: SOT 25356 SOS 13070 HAS SOPS 13070 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5549.07
AT ITER 1865 NEW BEST:: SOT 25357 SOS 13066 HAS SOPS 13066 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5547.066
AT ITER 1903 NEW BEST:: SOT 25333 SOS 13036 HAS SOPS 13036 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5516.036
AT ITER 1911 NEW BEST:: SOT 25320 SOS 13021 HAS SOPS 13021 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5501.021
AT ITER 1940 NEW BEST:: SOT 25315 SOS 13016 HAS SOPS 13016 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5498.016
AT ITER 1973 NEW BEST:: SOT 25314 SOS 13015 HAS SOPS 13015 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5497.015
AT ITER 1977 NEW BEST:: SOT 25311 SOS 13012 HAS SOPS 13012 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5488.012
AT ITER 2000 NEW BEST:: SOT 25219 SOS 12945 HAS SOPS 12945 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5445.945
AT ITER 2004 NEW BEST:: SOT 25226 SOS 12952 HAS SOPS 12952 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5422.952
AT ITER 2005 NEW BEST:: SOT 25225 SOS 12950 HAS SOPS 12950 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5419.95
AT ITER 2006 NEW BEST:: SOT 25215 SOS 12930 HAS SOPS 12930 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5382.93
AT ITER 2011 NEW BEST:: SOT 25222 SOS 12930 HAS SOPS 12930 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5376.93
AT ITER 2014 NEW BEST:: SOT 25223 SOS 12931 HAS SOPS 12931 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5372.931
AT ITER 2026 NEW BEST:: SOT 25219 SOS 12931 HAS SOPS 12931 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5368.931
AT ITER 2048 NEW BEST:: SOT 25233 SOS 12918 HAS SOPS 12918 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5368.918
AT ITER 2080 NEW BEST:: SOT 25233 SOS 12917 HAS SOPS 12917 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5367.917
AT ITER 2088 NEW BEST:: SOT 25221 SOS 12905 HAS SOPS 12905 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5349.905
AT ITER 2090 NEW BEST:: SOT 25246 SOS 12956 HAS SOPS 12956 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5347.956
AT ITER 2092 NEW BEST:: SOT 25242 SOS 12952 HAS SOPS 12952 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5344.952
AT ITER 2099 NEW BEST:: SOT 25227 SOS 12937 HAS SOPS 12937 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5337.937
AT ITER 2110 NEW BEST:: SOT 25225 SOS 12931 HAS SOPS 12931 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5321.931
AT ITER 2119 NEW BEST:: SOT 25220 SOS 12927 HAS SOPS 12927 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5319.927
AT ITER 2134 NEW BEST:: SOT 25199 SOS 12877 HAS SOPS 12877 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5293.877
AT ITER 2152 NEW BEST:: SOT 25190 SOS 12865 HAS SOPS 12865 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5284.865
AT ITER 2201 NEW BEST:: SOT 25152 SOS 12827 HAS SOPS 12827 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5247.827
AT ITER 2292 NEW BEST:: SOT 25136 SOS 12811 HAS SOPS 12811 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5231.811
AT ITER 2346 NEW BEST:: SOT 25135 SOS 12811 HAS SOPS 12811 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5227.811
AT ITER 2360 NEW BEST:: SOT 25128 SOS 12797 HAS SOPS 12797 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5207.797
AT ITER 2396 NEW BEST:: SOT 25118 SOS 12777 HAS SOPS 12777 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5198.777
AT ITER 2445 NEW BEST:: SOT 25080 SOS 12739 HAS SOPS 12739 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5160.739
AT ITER 2457 NEW BEST:: SOT 25078 SOS 12734 HAS SOPS 12734 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5155.734
AT ITER 2465 NEW BEST:: SOT 25076 SOS 12732 HAS SOPS 12732 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5153.732
AT ITER 2472 NEW BEST:: SOT 25076 SOS 12726 HAS SOPS 12726 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5153.726
AT ITER 2483 NEW BEST:: SOT 25078 SOS 12724 HAS SOPS 12724 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5150.724
AT ITER 2489 NEW BEST:: SOT 25059 SOS 12684 HAS SOPS 12684 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5127.684
AT ITER 2500 NEW BEST:: SOT 25042 SOS 12660 HAS SOPS 12660 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5103.66
AT ITER 2538 NEW BEST:: SOT 25043 SOS 12660 HAS SOPS 12660 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5101.66
AT ITER 2560 NEW BEST:: SOT 25047 SOS 12684 HAS SOPS 12684 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5095.684
AT ITER 2561 NEW BEST:: SOT 25043 SOS 12670 HAS SOPS 12670 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5087.67
AT ITER 2567 NEW BEST:: SOT 25043 SOS 12668 HAS SOPS 12668 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5081.668
AT ITER 2581 NEW BEST:: SOT 25043 SOS 12667 HAS SOPS 12667 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5078.667
AT ITER 2615 NEW BEST:: SOT 25028 SOS 12637 HAS SOPS 12637 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5053.637
AT ITER 2658 NEW BEST:: SOT 24999 SOS 12618 HAS SOPS 12618 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5017.618
AT ITER 2660 NEW BEST:: SOT 24997 SOS 12616 HAS SOPS 12616 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5016.616
AT ITER 2668 NEW BEST:: SOT 24997 SOS 12615 HAS SOPS 12615 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5013.615
AT ITER 2671 NEW BEST:: SOT 24991 SOS 12609 HAS SOPS 12609 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5007.609
AT ITER 2683 NEW BEST:: SOT 24989 SOS 12607 HAS SOPS 12607 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 5004.607
AT ITER 2690 NEW BEST:: SOT 24974 SOS 12547 HAS SOPS 12547 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4988.547
AT ITER 2698 NEW BEST:: SOT 24974 SOS 12546 HAS SOPS 12546 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4985.546
AT ITER 2709 NEW BEST:: SOT 24974 SOS 12541 HAS SOPS 12541 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4985.541
AT ITER 2723 NEW BEST:: SOT 24973 SOS 12540 HAS SOPS 12540 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4983.54
AT ITER 2751 NEW BEST:: SOT 24968 SOS 12535 HAS SOPS 12535 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4973.535
AT ITER 2755 NEW BEST:: SOT 24976 SOS 12529 HAS SOPS 12529 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4965.529
AT ITER 2760 NEW BEST:: SOT 24989 SOS 12536 HAS SOPS 12536 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4957.536
AT ITER 2780 NEW BEST:: SOT 24977 SOS 12500 HAS SOPS 12500 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4945.5
AT ITER 2796 NEW BEST:: SOT 24974 SOS 12497 HAS SOPS 12497 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4942.497
AT ITER 2890 NEW BEST:: SOT 24962 SOS 12491 HAS SOPS 12491 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4935.491
AT ITER 2953 NEW BEST:: SOT 24959 SOS 12490 HAS SOPS 12490 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4933.49
AT ITER 2963 NEW BEST:: SOT 24960 SOS 12492 HAS SOPS 12492 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4930.492
AT ITER 2972 NEW BEST:: SOT 24958 SOS 12494 HAS SOPS 12494 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4928.494
AT ITER 3009 NEW BEST:: SOT 24958 SOS 12493 HAS SOPS 12493 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4928.493
AT ITER 3015 NEW BEST:: SOT 24954 SOS 12487 HAS SOPS 12487 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4924.487
AT ITER 3072 NEW BEST:: SOT 24946 SOS 12479 HAS SOPS 12479 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4924.479
AT ITER 3089 NEW BEST:: SOT 24944 SOS 12478 HAS SOPS 12478 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4924.478
AT ITER 3094 NEW BEST:: SOT 24944 SOS 12478 HAS SOPS 12478 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4908.478
AT ITER 3102 NEW BEST:: SOT 24943 SOS 12474 HAS SOPS 12474 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4906.474
AT ITER 3120 NEW BEST:: SOT 24937 SOS 12462 HAS SOPS 12462 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4894.462
AT ITER 3127 NEW BEST:: SOT 24937 SOS 12462 HAS SOPS 12462 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4881.462
AT ITER 3154 NEW BEST:: SOT 24959 SOS 12469 HAS SOPS 12469 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4851.469
AT ITER 3171 NEW BEST:: SOT 24958 SOS 12467 HAS SOPS 12467 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4848.467
AT ITER 3191 NEW BEST:: SOT 24912 SOS 12435 HAS SOPS 12435 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4831.435
AT ITER 3201 NEW BEST:: SOT 24908 SOS 12417 HAS SOPS 12417 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4820.417
AT ITER 3228 NEW BEST:: SOT 24908 SOS 12413 HAS SOPS 12413 HAS SOUS 4804 HAS SOUPS 4804 WITH SCORE 4816.413
AT ITER 3237 NEW BEST:: SOT 24925 SOS 12425 HAS SOPS 12425 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4814.425
AT ITER 3241 NEW BEST:: SOT 24889 SOS 12369 HAS SOPS 12369 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4784.369
AT ITER 3258 NEW BEST:: SOT 24885 SOS 12365 HAS SOPS 12365 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4767.365
AT ITER 3268 NEW BEST:: SOT 24883 SOS 12364 HAS SOPS 12364 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4767.364
AT ITER 3341 NEW BEST:: SOT 24880 SOS 12358 HAS SOPS 12358 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4758.358
AT ITER 3359 NEW BEST:: SOT 24862 SOS 12335 HAS SOPS 12335 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4749.335
AT ITER 3360 NEW BEST:: SOT 24864 SOS 12337 HAS SOPS 12337 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4744.337
AT ITER 3365 NEW BEST:: SOT 24862 SOS 12336 HAS SOPS 12336 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4743.336
AT ITER 3369 NEW BEST:: SOT 24876 SOS 12343 HAS SOPS 12343 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4739.343
AT ITER 3436 NEW BEST:: SOT 24883 SOS 12191 HAS SOPS 12191 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4732.191
AT ITER 3476 NEW BEST:: SOT 24879 SOS 12185 HAS SOPS 12185 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4722.185
AT ITER 3544 NEW BEST:: SOT 24882 SOS 12188 HAS SOPS 12188 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4717.188
AT ITER 3554 NEW BEST:: SOT 24866 SOS 12136 HAS SOPS 12136 HAS SOUS 4678 HAS SOUPS 4678 WITH SCORE 4690.136
AT ITER 3570 NEW BEST:: SOT 24863 SOS 12134 HAS SOPS 12134 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4687.134
AT ITER 3611 NEW BEST:: SOT 24860 SOS 12128 HAS SOPS 12128 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4687.128
AT ITER 3612 NEW BEST:: SOT 24850 SOS 12118 HAS SOPS 12118 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4670.118
AT ITER 3636 NEW BEST:: SOT 24847 SOS 12107 HAS SOPS 12107 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4663.107
AT ITER 3709 NEW BEST:: SOT 24846 SOS 12106 HAS SOPS 12106 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4662.106
AT ITER 3718 NEW BEST:: SOT 24844 SOS 12104 HAS SOPS 12104 HAS SOUS 4648 HAS SOUPS 4648 WITH SCORE 4660.104
AT ITER 3789 NEW BEST:: SOT 24839 SOS 12104 HAS SOPS 12104 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4655.104
AT ITER 3804 NEW BEST:: SOT 24830 SOS 12095 HAS SOPS 12095 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4645.095
AT ITER 3808 NEW BEST:: SOT 24830 SOS 12093 HAS SOPS 12093 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4643.093
AT ITER 3826 NEW BEST:: SOT 24824 SOS 12087 HAS SOPS 12087 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4637.087
AT ITER 3828 NEW BEST:: SOT 24832 SOS 12076 HAS SOPS 12076 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4635.076
AT ITER 3906 NEW BEST:: SOT 24828 SOS 12071 HAS SOPS 12071 HAS SOUS 4618 HAS SOUPS 4618 WITH SCORE 4630.071
AT ITER 3949 NEW BEST:: SOT 24823 SOS 12061 HAS SOPS 12061 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4627.061
AT ITER 3959 NEW BEST:: SOT 24819 SOS 12054 HAS SOPS 12054 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4623.054
AT ITER 3983 NEW BEST:: SOT 24825 SOS 12048 HAS SOPS 12048 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4617.048
AT ITER 3989 NEW BEST:: SOT 24825 SOS 12048 HAS SOPS 12048 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4604.048
AT ITER 3996 NEW BEST:: SOT 24822 SOS 12045 HAS SOPS 12045 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4604.045
AT ITER 4015 NEW BEST:: SOT 24818 SOS 12019 HAS SOPS 12019 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4600.019
AT ITER 4020 NEW BEST:: SOT 24811 SOS 12014 HAS SOPS 12014 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4591.014
AT ITER 4089 NEW BEST:: SOT 24808 SOS 12010 HAS SOPS 12010 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4586.01
AT ITER 4099 NEW BEST:: SOT 24799 SOS 12001 HAS SOPS 12001 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4586.001
AT ITER 4122 NEW BEST:: SOT 24797 SOS 11999 HAS SOPS 11999 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4581.999
AT ITER 4136 NEW BEST:: SOT 24785 SOS 11975 HAS SOPS 11975 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4569.975
AT ITER 4176 NEW BEST:: SOT 24794 SOS 11981 HAS SOPS 11981 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4561.981
AT ITER 4202 NEW BEST:: SOT 24793 SOS 11976 HAS SOPS 11976 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4559.976
AT ITER 4208 NEW BEST:: SOT 24792 SOS 11975 HAS SOPS 11975 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4558.975
AT ITER 4224 NEW BEST:: SOT 24790 SOS 11973 HAS SOPS 11973 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4556.973
AT ITER 4258 NEW BEST:: SOT 24788 SOS 11971 HAS SOPS 11971 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4554.971
AT ITER 4291 NEW BEST:: SOT 24786 SOS 11969 HAS SOPS 11969 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4552.969
AT ITER 4311 NEW BEST:: SOT 24786 SOS 11959 HAS SOPS 11959 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4551.959
AT ITER 4421 NEW BEST:: SOT 24783 SOS 11956 HAS SOPS 11956 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4550.956
AT ITER 4450 NEW BEST:: SOT 24783 SOS 11962 HAS SOPS 11962 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4547.962
AT ITER 4466 NEW BEST:: SOT 24811 SOS 11972 HAS SOPS 11972 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4541.972
AT ITER 4514 NEW BEST:: SOT 24810 SOS 11970 HAS SOPS 11970 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4539.97
AT ITER 4519 NEW BEST:: SOT 24813 SOS 11970 HAS SOPS 11970 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4538.97
AT ITER 4595 NEW BEST:: SOT 24809 SOS 11965 HAS SOPS 11965 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4532.965
AT ITER 4707 NEW BEST:: SOT 24801 SOS 11961 HAS SOPS 11961 HAS SOUS 4517 HAS SOUPS 4517 WITH SCORE 4528.961
AT ITER 4711 NEW BEST:: SOT 24801 SOS 11961 HAS SOPS 11961 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4527.961
AT ITER 4741 NEW BEST:: SOT 24766 SOS 11929 HAS SOPS 11929 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4502.929
AT ITER 4749 NEW BEST:: SOT 24765 SOS 11931 HAS SOPS 11931 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4500.931
AT ITER 4757 NEW BEST:: SOT 24769 SOS 11935 HAS SOPS 11935 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4498.935
AT ITER 4779 NEW BEST:: SOT 24765 SOS 11927 HAS SOPS 11927 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4490.927
AT ITER 4797 NEW BEST:: SOT 24763 SOS 11925 HAS SOPS 11925 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4487.925
AT ITER 4801 NEW BEST:: SOT 24763 SOS 11923 HAS SOPS 11923 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4487.923
AT ITER 4842 NEW BEST:: SOT 24754 SOS 11912 HAS SOPS 11912 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4484.912
AT ITER 4845 NEW BEST:: SOT 24753 SOS 11910 HAS SOPS 11910 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4483.91
AT ITER 4899 NEW BEST:: SOT 24752 SOS 11909 HAS SOPS 11909 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4470.909
AT ITER 4943 NEW BEST:: SOT 24749 SOS 11915 HAS SOPS 11915 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4456.915
AT ITER 4948 NEW BEST:: SOT 24745 SOS 11911 HAS SOPS 11911 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4448.911
AT ITER 4954 NEW BEST:: SOT 24711 SOS 11867 HAS SOPS 11867 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4404.867
AT ITER 4973 NEW BEST:: SOT 24703 SOS 11863 HAS SOPS 11863 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4400.863
AT ITER 5018 NEW BEST:: SOT 24701 SOS 11861 HAS SOPS 11861 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4399.861
AT ITER 5060 NEW BEST:: SOT 24696 SOS 11857 HAS SOPS 11857 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4399.857
AT ITER 5082 NEW BEST:: SOT 24690 SOS 11845 HAS SOPS 11845 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4395.845
AT ITER 5087 NEW BEST:: SOT 24683 SOS 11841 HAS SOPS 11841 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4391.841
AT ITER 5090 NEW BEST:: SOT 24673 SOS 11831 HAS SOPS 11831 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4381.831
AT ITER 5205 NEW BEST:: SOT 24667 SOS 11842 HAS SOPS 11842 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4369.842
AT ITER 5210 NEW BEST:: SOT 24641 SOS 11811 HAS SOPS 11811 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4343.811
AT ITER 5258 NEW BEST:: SOT 24640 SOS 11811 HAS SOPS 11811 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4341.811
AT ITER 5291 NEW BEST:: SOT 24627 SOS 11785 HAS SOPS 11785 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4315.785
AT ITER 5311 NEW BEST:: SOT 24620 SOS 11775 HAS SOPS 11775 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4310.775
AT ITER 5316 NEW BEST:: SOT 24622 SOS 11758 HAS SOPS 11758 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4300.758
AT ITER 5368 NEW BEST:: SOT 24616 SOS 11743 HAS SOPS 11743 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4289.743
AT ITER 5401 NEW BEST:: SOT 24609 SOS 11726 HAS SOPS 11726 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4271.726
AT ITER 5410 NEW BEST:: SOT 24607 SOS 11724 HAS SOPS 11724 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4269.724
AT ITER 5422 NEW BEST:: SOT 24593 SOS 11717 HAS SOPS 11717 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4269.717
AT ITER 5445 NEW BEST:: SOT 24592 SOS 11692 HAS SOPS 11692 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4267.692
AT ITER 5463 NEW BEST:: SOT 24589 SOS 11687 HAS SOPS 11687 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4263.687
AT ITER 5511 NEW BEST:: SOT 24582 SOS 11689 HAS SOPS 11689 HAS SOUS 4247 HAS SOUPS 4247 WITH SCORE 4258.689
AT ITER 5539 NEW BEST:: SOT 24583 SOS 11679 HAS SOPS 11679 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4252.679
AT ITER 5554 NEW BEST:: SOT 24580 SOS 11676 HAS SOPS 11676 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4248.676
AT ITER 5609 NEW BEST:: SOT 24579 SOS 11676 HAS SOPS 11676 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4246.676
AT ITER 5613 NEW BEST:: SOT 24580 SOS 11677 HAS SOPS 11677 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4245.677
AT ITER 5636 NEW BEST:: SOT 24575 SOS 11662 HAS SOPS 11662 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4240.662
AT ITER 5786 NEW BEST:: SOT 24573 SOS 11660 HAS SOPS 11660 HAS SOUS 4227 HAS SOUPS 4227 WITH SCORE 4238.66
AT ITER 5910 NEW BEST:: SOT 24571 SOS 11658 HAS SOPS 11658 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4236.658
AT ITER 5958 NEW BEST:: SOT 24571 SOS 11656 HAS SOPS 11656 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4234.656
AT ITER 5997 NEW BEST:: SOT 24569 SOS 11654 HAS SOPS 11654 HAS SOUS 4221 HAS SOUPS 4221 WITH SCORE 4232.654
AT ITER 6000 NEW BEST:: SOT 24559 SOS 11636 HAS SOPS 11636 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4226.636
AT ITER 6040 NEW BEST:: SOT 24559 SOS 11632 HAS SOPS 11632 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4226.632
AT ITER 6064 NEW BEST:: SOT 24552 SOS 11621 HAS SOPS 11621 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4207.621
AT ITER 6069 NEW BEST:: SOT 24549 SOS 11613 HAS SOPS 11613 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4204.613
AT ITER 6215 NEW BEST:: SOT 24545 SOS 11609 HAS SOPS 11609 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4198.609
AT ITER 6269 NEW BEST:: SOT 24545 SOS 11607 HAS SOPS 11607 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4198.607
AT ITER 6297 NEW BEST:: SOT 24540 SOS 11602 HAS SOPS 11602 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4194.602
AT ITER 6474 NEW BEST:: SOT 24520 SOS 11560 HAS SOPS 11560 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4171.56
AT ITER 6489 NEW BEST:: SOT 24516 SOS 11564 HAS SOPS 11564 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4163.564
AT ITER 6523 NEW BEST:: SOT 24513 SOS 11558 HAS SOPS 11558 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4153.558
AT ITER 6619 NEW BEST:: SOT 24505 SOS 11554 HAS SOPS 11554 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4149.554
AT ITER 6711 NEW BEST:: SOT 24504 SOS 11553 HAS SOPS 11553 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4148.553
AT ITER 6787 NEW BEST:: SOT 24512 SOS 11556 HAS SOPS 11556 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4146.556
AT ITER 6796 NEW BEST:: SOT 24512 SOS 11556 HAS SOPS 11556 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4141.556
AT ITER 6849 NEW BEST:: SOT 24512 SOS 11559 HAS SOPS 11559 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4136.559
AT ITER 6886 NEW BEST:: SOT 24512 SOS 11558 HAS SOPS 11558 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4133.558
AT ITER 6945 NEW BEST:: SOT 24513 SOS 11550 HAS SOPS 11550 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4132.55
AT ITER 7066 NEW BEST:: SOT 24512 SOS 11548 HAS SOPS 11548 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4131.548
AT ITER 7158 NEW BEST:: SOT 24515 SOS 11546 HAS SOPS 11546 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4125.546
AT ITER 7188 NEW BEST:: SOT 24512 SOS 11527 HAS SOPS 11527 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4121.527
AT ITER 7309 NEW BEST:: SOT 24502 SOS 11513 HAS SOPS 11513 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4110.513
AT ITER 7398 NEW BEST:: SOT 24497 SOS 11766 HAS SOPS 11766 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4106.766
AT ITER 7418 NEW BEST:: SOT 24494 SOS 11763 HAS SOPS 11763 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4104.763
AT ITER 7525 NEW BEST:: SOT 24492 SOS 11761 HAS SOPS 11761 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4103.761
AT ITER 7554 NEW BEST:: SOT 24493 SOS 11762 HAS SOPS 11762 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4102.762
AT ITER 7564 NEW BEST:: SOT 24497 SOS 11758 HAS SOPS 11758 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4102.758
AT ITER 7639 NEW BEST:: SOT 24484 SOS 11738 HAS SOPS 11738 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4089.738
AT ITER 7646 NEW BEST:: SOT 24476 SOS 11730 HAS SOPS 11730 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4076.73
AT ITER 7649 NEW BEST:: SOT 24474 SOS 11728 HAS SOPS 11728 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4076.728
AT ITER 7669 NEW BEST:: SOT 24460 SOS 11690 HAS SOPS 11690 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4068.69
AT ITER 7684 NEW BEST:: SOT 24446 SOS 11682 HAS SOPS 11682 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4060.682
AT ITER 7703 NEW BEST:: SOT 24445 SOS 11680 HAS SOPS 11680 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4058.68
AT ITER 7716 NEW BEST:: SOT 24447 SOS 11684 HAS SOPS 11684 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4052.684
AT ITER 7727 NEW BEST:: SOT 24444 SOS 11681 HAS SOPS 11681 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4050.681
AT ITER 7803 NEW BEST:: SOT 24443 SOS 11680 HAS SOPS 11680 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4049.68
AT ITER 7860 NEW BEST:: SOT 24444 SOS 11705 HAS SOPS 11705 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4039.705
AT ITER 7921 NEW BEST:: SOT 24440 SOS 11693 HAS SOPS 11693 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4035.693
AT ITER 7947 NEW BEST:: SOT 24446 SOS 11686 HAS SOPS 11686 HAS SOUS 4019 HAS SOUPS 4019 WITH SCORE 4030.686
AT ITER 8014 NEW BEST:: SOT 24444 SOS 11683 HAS SOPS 11683 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4025.683
AT ITER 8025 NEW BEST:: SOT 24441 SOS 11680 HAS SOPS 11680 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4022.68
AT ITER 8107 NEW BEST:: SOT 24435 SOS 11674 HAS SOPS 11674 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4016.674
AT ITER 8169 NEW BEST:: SOT 24437 SOS 11674 HAS SOPS 11674 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4014.674
AT ITER 8273 NEW BEST:: SOT 24436 SOS 11671 HAS SOPS 11671 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4012.671
AT ITER 8277 NEW BEST:: SOT 24432 SOS 11668 HAS SOPS 11668 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4009.668
AT ITER 8317 NEW BEST:: SOT 24430 SOS 11666 HAS SOPS 11666 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4005.666
AT ITER 8356 NEW BEST:: SOT 24426 SOS 11648 HAS SOPS 11648 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3999.648
AT ITER 8391 NEW BEST:: SOT 24432 SOS 11653 HAS SOPS 11653 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3998.653
AT ITER 8661 NEW BEST:: SOT 24427 SOS 11643 HAS SOPS 11643 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3994.643
AT ITER 8751 NEW BEST:: SOT 24426 SOS 11642 HAS SOPS 11642 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3992.642
AT ITER 8756 NEW BEST:: SOT 24420 SOS 11642 HAS SOPS 11642 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3986.642
AT ITER 8767 NEW BEST:: SOT 24422 SOS 11643 HAS SOPS 11643 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3985.643
AT ITER 8948 NEW BEST:: SOT 24423 SOS 11644 HAS SOPS 11644 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3984.644
AT ITER 9008 NEW BEST:: SOT 24423 SOS 11634 HAS SOPS 11634 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3975.634
AT ITER 9045 NEW BEST:: SOT 24422 SOS 11633 HAS SOPS 11633 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3975.633
AT ITER 9067 NEW BEST:: SOT 24422 SOS 11632 HAS SOPS 11632 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3972.632
AT ITER 9080 NEW BEST:: SOT 24425 SOS 11638 HAS SOPS 11638 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3969.638
AT ITER 9160 NEW BEST:: SOT 24425 SOS 11638 HAS SOPS 11638 HAS SOUS 3957 HAS SOUPS 3957 WITH SCORE 3968.638
AT ITER 9163 NEW BEST:: SOT 24423 SOS 11636 HAS SOPS 11636 HAS SOUS 3957 HAS SOUPS 3957 WITH SCORE 3968.636
AT ITER 9201 NEW BEST:: SOT 24421 SOS 11636 HAS SOPS 11636 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3966.636
AT ITER 9224 NEW BEST:: SOT 24419 SOS 11636 HAS SOPS 11636 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3960.636
AT ITER 9267 NEW BEST:: SOT 24417 SOS 11633 HAS SOPS 11633 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3957.633
AT ITER 9272 NEW BEST:: SOT 24416 SOS 11629 HAS SOPS 11629 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3955.629
AT ITER 9363 NEW BEST:: SOT 24414 SOS 11627 HAS SOPS 11627 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3953.627
AT ITER 9369 NEW BEST:: SOT 24413 SOS 11601 HAS SOPS 11601 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3952.601
AT ITER 9495 NEW BEST:: SOT 24413 SOS 11600 HAS SOPS 11600 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3952.6
AT ITER 9702 NEW BEST:: SOT 24393 SOS 11693 HAS SOPS 11693 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3944.693
AT ITER 9703 NEW BEST:: SOT 24393 SOS 11693 HAS SOPS 11693 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3943.693
AT ITER 9779 NEW BEST:: SOT 24392 SOS 11691 HAS SOPS 11691 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3939.691
AT ITER 9810 NEW BEST:: SOT 24390 SOS 11689 HAS SOPS 11689 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3933.689
AT ITER 9892 NEW BEST:: SOT 24384 SOS 11681 HAS SOPS 11681 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3923.681
AT ITER 9972 NEW BEST:: SOT 24372 SOS 11649 HAS SOPS 11649 HAS SOUS 3906 HAS SOUPS 3906 WITH SCORE 3917.649
STATE_SPACE STATES 227119982712 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 35 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3146560152680 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679311317930

--------------------
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

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="UtilityControlRoom-PT-Z2T3N10"
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 UtilityControlRoom-PT-Z2T3N10, 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 r491-tall-167912711401120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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