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.r195-smll-167840342000152.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 smart
Input is GPUForwardProgress-PT-40a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342000152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 8.8K Feb 25 14:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 14:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 14:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 62K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678462848646

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=GPUForwardProgress-PT-40a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 40a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 168 places, 209 transitions, 821 arcs.
AT ITER 0 NEW BEST:: SOT 22888 SOS 19894 HAS SOPS 19892 HAS SOUS 14825 HAS SOUPS 14824 WITH SCORE 14843.894
AT ITER 6 NEW BEST:: SOT 22866 SOS 19839 HAS SOPS 19837 HAS SOUS 14800 HAS SOUPS 14799 WITH SCORE 14818.839
AT ITER 7 NEW BEST:: SOT 22948 SOS 19836 HAS SOPS 19834 HAS SOUS 14796 HAS SOUPS 14795 WITH SCORE 14814.836
AT ITER 10 NEW BEST:: SOT 23000 SOS 19739 HAS SOPS 19737 HAS SOUS 14693 HAS SOUPS 14692 WITH SCORE 14711.739
AT ITER 11 NEW BEST:: SOT 23042 SOS 19699 HAS SOPS 19697 HAS SOUS 14630 HAS SOUPS 14629 WITH SCORE 14648.699
AT ITER 15 NEW BEST:: SOT 23042 SOS 19659 HAS SOPS 19657 HAS SOUS 14590 HAS SOUPS 14589 WITH SCORE 14608.659
AT ITER 18 NEW BEST:: SOT 22964 SOS 19462 HAS SOPS 19460 HAS SOUS 14471 HAS SOUPS 14470 WITH SCORE 14489.462
AT ITER 19 NEW BEST:: SOT 22934 SOS 19432 HAS SOPS 19430 HAS SOUS 14441 HAS SOUPS 14440 WITH SCORE 14459.432
AT ITER 20 NEW BEST:: SOT 23090 SOS 19423 HAS SOPS 19421 HAS SOUS 14327 HAS SOUPS 14326 WITH SCORE 14345.423
AT ITER 21 NEW BEST:: SOT 23068 SOS 19308 HAS SOPS 19306 HAS SOUS 14233 HAS SOUPS 14232 WITH SCORE 14251.308
AT ITER 22 NEW BEST:: SOT 23033 SOS 19273 HAS SOPS 19271 HAS SOUS 14198 HAS SOUPS 14197 WITH SCORE 14216.273
AT ITER 23 NEW BEST:: SOT 23127 SOS 19200 HAS SOPS 19198 HAS SOUS 14060 HAS SOUPS 14059 WITH SCORE 14078.2
AT ITER 24 NEW BEST:: SOT 23045 SOS 19147 HAS SOPS 19145 HAS SOUS 14032 HAS SOUPS 14031 WITH SCORE 14050.147
AT ITER 25 NEW BEST:: SOT 22958 SOS 19060 HAS SOPS 19058 HAS SOUS 13924 HAS SOUPS 13923 WITH SCORE 13942.06
AT ITER 26 NEW BEST:: SOT 22979 SOS 18900 HAS SOPS 18898 HAS SOUS 13684 HAS SOUPS 13683 WITH SCORE 13701.9
AT ITER 30 NEW BEST:: SOT 22979 SOS 18770 HAS SOPS 18768 HAS SOUS 13589 HAS SOUPS 13588 WITH SCORE 13606.77
AT ITER 31 NEW BEST:: SOT 23081 SOS 18872 HAS SOPS 18870 HAS SOUS 13516 HAS SOUPS 13515 WITH SCORE 13533.872
AT ITER 33 NEW BEST:: SOT 23099 SOS 18859 HAS SOPS 18857 HAS SOUS 13485 HAS SOUPS 13484 WITH SCORE 13502.859
AT ITER 37 NEW BEST:: SOT 23148 SOS 18705 HAS SOPS 18703 HAS SOUS 13249 HAS SOUPS 13248 WITH SCORE 13266.705
AT ITER 38 NEW BEST:: SOT 23191 SOS 18688 HAS SOPS 18686 HAS SOUS 13161 HAS SOUPS 13160 WITH SCORE 13178.688
AT ITER 40 NEW BEST:: SOT 23161 SOS 18530 HAS SOPS 18528 HAS SOUS 13041 HAS SOUPS 13040 WITH SCORE 13058.53
AT ITER 44 NEW BEST:: SOT 23203 SOS 18370 HAS SOPS 18368 HAS SOUS 12797 HAS SOUPS 12796 WITH SCORE 12814.37
AT ITER 45 NEW BEST:: SOT 23327 SOS 18313 HAS SOPS 18311 HAS SOUS 12724 HAS SOUPS 12723 WITH SCORE 12741.313
AT ITER 47 NEW BEST:: SOT 23324 SOS 18307 HAS SOPS 18305 HAS SOUS 12718 HAS SOUPS 12717 WITH SCORE 12735.307
AT ITER 48 NEW BEST:: SOT 23324 SOS 18307 HAS SOPS 18305 HAS SOUS 12716 HAS SOUPS 12715 WITH SCORE 12733.307
AT ITER 49 NEW BEST:: SOT 23310 SOS 18279 HAS SOPS 18277 HAS SOUS 12702 HAS SOUPS 12701 WITH SCORE 12719.279
AT ITER 51 NEW BEST:: SOT 23310 SOS 18072 HAS SOPS 18070 HAS SOUS 12628 HAS SOUPS 12627 WITH SCORE 12645.072
AT ITER 52 NEW BEST:: SOT 23310 SOS 18037 HAS SOPS 18035 HAS SOUS 12593 HAS SOUPS 12592 WITH SCORE 12610.037
AT ITER 54 NEW BEST:: SOT 23301 SOS 18060 HAS SOPS 18058 HAS SOUS 12523 HAS SOUPS 12522 WITH SCORE 12540.06
AT ITER 57 NEW BEST:: SOT 23329 SOS 17900 HAS SOPS 17898 HAS SOUS 12343 HAS SOUPS 12342 WITH SCORE 12359.9
AT ITER 58 NEW BEST:: SOT 23329 SOS 17873 HAS SOPS 17871 HAS SOUS 12316 HAS SOUPS 12315 WITH SCORE 12332.873
AT ITER 60 NEW BEST:: SOT 23354 SOS 17898 HAS SOPS 17896 HAS SOUS 12290 HAS SOUPS 12289 WITH SCORE 12306.898
AT ITER 63 NEW BEST:: SOT 23331 SOS 17875 HAS SOPS 17873 HAS SOUS 12251 HAS SOUPS 12250 WITH SCORE 12267.875
AT ITER 64 NEW BEST:: SOT 23388 SOS 17932 HAS SOPS 17930 HAS SOUS 12137 HAS SOUPS 12136 WITH SCORE 12153.932
AT ITER 66 NEW BEST:: SOT 23378 SOS 17912 HAS SOPS 17910 HAS SOUS 12128 HAS SOUPS 12127 WITH SCORE 12144.912
AT ITER 67 NEW BEST:: SOT 23328 SOS 17787 HAS SOPS 17785 HAS SOUS 12053 HAS SOUPS 12052 WITH SCORE 12069.787
AT ITER 68 NEW BEST:: SOT 23328 SOS 17787 HAS SOPS 17785 HAS SOUS 11999 HAS SOUPS 11998 WITH SCORE 12015.787
AT ITER 70 NEW BEST:: SOT 23284 SOS 17743 HAS SOPS 17741 HAS SOUS 11955 HAS SOUPS 11954 WITH SCORE 11971.743
AT ITER 72 NEW BEST:: SOT 23238 SOS 17697 HAS SOPS 17695 HAS SOUS 11909 HAS SOUPS 11908 WITH SCORE 11925.697
AT ITER 74 NEW BEST:: SOT 23292 SOS 16300 HAS SOPS 16298 HAS SOUS 11317 HAS SOUPS 11316 WITH SCORE 11332.3
AT ITER 75 NEW BEST:: SOT 23212 SOS 16097 HAS SOPS 16095 HAS SOUS 11237 HAS SOUPS 11236 WITH SCORE 11252.097
AT ITER 79 NEW BEST:: SOT 23320 SOS 16118 HAS SOPS 16116 HAS SOUS 11168 HAS SOUPS 11167 WITH SCORE 11183.118
AT ITER 81 NEW BEST:: SOT 23292 SOS 16076 HAS SOPS 16074 HAS SOUS 11154 HAS SOUPS 11153 WITH SCORE 11169.076
AT ITER 85 NEW BEST:: SOT 23292 SOS 16028 HAS SOPS 16026 HAS SOUS 11138 HAS SOUPS 11137 WITH SCORE 11153.028
AT ITER 87 NEW BEST:: SOT 23276 SOS 15996 HAS SOPS 15994 HAS SOUS 11130 HAS SOUPS 11129 WITH SCORE 11144.996
AT ITER 89 NEW BEST:: SOT 23276 SOS 15513 HAS SOPS 15511 HAS SOUS 10441 HAS SOUPS 10440 WITH SCORE 10455.513
AT ITER 90 NEW BEST:: SOT 23448 SOS 15455 HAS SOPS 15453 HAS SOUS 10402 HAS SOUPS 10401 WITH SCORE 10416.455
AT ITER 92 NEW BEST:: SOT 23352 SOS 15187 HAS SOPS 15185 HAS SOUS 10189 HAS SOUPS 10188 WITH SCORE 10203.187
AT ITER 94 NEW BEST:: SOT 23386 SOS 14595 HAS SOPS 14593 HAS SOUS 10189 HAS SOUPS 10188 WITH SCORE 10202.595
AT ITER 101 NEW BEST:: SOT 23328 SOS 14416 HAS SOPS 14414 HAS SOUS 10126 HAS SOUPS 10125 WITH SCORE 10139.416
AT ITER 104 NEW BEST:: SOT 23345 SOS 14180 HAS SOPS 14178 HAS SOUS 10112 HAS SOUPS 10111 WITH SCORE 10125.18
AT ITER 105 NEW BEST:: SOT 23271 SOS 14054 HAS SOPS 14052 HAS SOUS 9961 HAS SOUPS 9960 WITH SCORE 9974.054
AT ITER 106 NEW BEST:: SOT 23243 SOS 14026 HAS SOPS 14024 HAS SOUS 9933 HAS SOUPS 9932 WITH SCORE 9946.026
AT ITER 107 NEW BEST:: SOT 23243 SOS 14021 HAS SOPS 14019 HAS SOUS 9881 HAS SOUPS 9880 WITH SCORE 9894.021
AT ITER 109 NEW BEST:: SOT 23194 SOS 13972 HAS SOPS 13970 HAS SOUS 9832 HAS SOUPS 9831 WITH SCORE 9844.972
AT ITER 110 NEW BEST:: SOT 23245 SOS 13769 HAS SOPS 13767 HAS SOUS 9714 HAS SOUPS 9713 WITH SCORE 9726.769
AT ITER 111 NEW BEST:: SOT 23245 SOS 13615 HAS SOPS 13613 HAS SOUS 9633 HAS SOUPS 9632 WITH SCORE 9645.615
AT ITER 112 NEW BEST:: SOT 23232 SOS 13602 HAS SOPS 13600 HAS SOUS 9601 HAS SOUPS 9600 WITH SCORE 9613.602
AT ITER 113 NEW BEST:: SOT 23319 SOS 13705 HAS SOPS 13703 HAS SOUS 9563 HAS SOUPS 9562 WITH SCORE 9575.705
AT ITER 114 NEW BEST:: SOT 23317 SOS 13703 HAS SOPS 13701 HAS SOUS 9559 HAS SOUPS 9558 WITH SCORE 9571.703
AT ITER 121 NEW BEST:: SOT 23315 SOS 13708 HAS SOPS 13706 HAS SOUS 9557 HAS SOUPS 9556 WITH SCORE 9569.708
AT ITER 122 NEW BEST:: SOT 23411 SOS 12232 HAS SOPS 12230 HAS SOUS 9489 HAS SOUPS 9488 WITH SCORE 9500.232
AT ITER 128 NEW BEST:: SOT 23428 SOS 12232 HAS SOPS 12230 HAS SOUS 9472 HAS SOUPS 9471 WITH SCORE 9483.232
AT ITER 129 NEW BEST:: SOT 23428 SOS 12180 HAS SOPS 12178 HAS SOUS 9446 HAS SOUPS 9445 WITH SCORE 9457.18
AT ITER 136 NEW BEST:: SOT 23402 SOS 12167 HAS SOPS 12165 HAS SOUS 9403 HAS SOUPS 9402 WITH SCORE 9414.167
AT ITER 146 NEW BEST:: SOT 23358 SOS 12169 HAS SOPS 12167 HAS SOUS 9402 HAS SOUPS 9401 WITH SCORE 9413.169
AT ITER 147 NEW BEST:: SOT 23362 SOS 12125 HAS SOPS 12123 HAS SOUS 9384 HAS SOUPS 9383 WITH SCORE 9395.125
AT ITER 151 NEW BEST:: SOT 23352 SOS 12123 HAS SOPS 12121 HAS SOUS 9384 HAS SOUPS 9383 WITH SCORE 9395.123
AT ITER 153 NEW BEST:: SOT 23350 SOS 12115 HAS SOPS 12113 HAS SOUS 9380 HAS SOUPS 9379 WITH SCORE 9391.115
AT ITER 163 NEW BEST:: SOT 23372 SOS 12136 HAS SOPS 12134 HAS SOUS 9372 HAS SOUPS 9371 WITH SCORE 9383.136
AT ITER 165 NEW BEST:: SOT 23372 SOS 12088 HAS SOPS 12086 HAS SOUS 9350 HAS SOUPS 9349 WITH SCORE 9361.088
AT ITER 166 NEW BEST:: SOT 23314 SOS 12059 HAS SOPS 12057 HAS SOUS 9342 HAS SOUPS 9341 WITH SCORE 9353.059
AT ITER 170 NEW BEST:: SOT 23314 SOS 12025 HAS SOPS 12023 HAS SOUS 9342 HAS SOUPS 9341 WITH SCORE 9353.025
AT ITER 172 NEW BEST:: SOT 23308 SOS 12001 HAS SOPS 11999 HAS SOUS 9336 HAS SOUPS 9335 WITH SCORE 9347.001
AT ITER 175 NEW BEST:: SOT 23306 SOS 11999 HAS SOPS 11997 HAS SOUS 9334 HAS SOUPS 9333 WITH SCORE 9344.999
AT ITER 180 NEW BEST:: SOT 23297 SOS 11926 HAS SOPS 11924 HAS SOUS 9316 HAS SOUPS 9315 WITH SCORE 9326.926
AT ITER 187 NEW BEST:: SOT 23296 SOS 11925 HAS SOPS 11923 HAS SOUS 9316 HAS SOUPS 9315 WITH SCORE 9326.925
AT ITER 189 NEW BEST:: SOT 23222 SOS 11721 HAS SOPS 11719 HAS SOUS 9154 HAS SOUPS 9153 WITH SCORE 9164.721
AT ITER 191 NEW BEST:: SOT 23200 SOS 11758 HAS SOPS 11756 HAS SOUS 9114 HAS SOUPS 9113 WITH SCORE 9124.758
AT ITER 198 NEW BEST:: SOT 23155 SOS 11730 HAS SOPS 11728 HAS SOUS 9085 HAS SOUPS 9084 WITH SCORE 9095.73
AT ITER 202 NEW BEST:: SOT 23159 SOS 11734 HAS SOPS 11732 HAS SOUS 9081 HAS SOUPS 9080 WITH SCORE 9091.734
AT ITER 206 NEW BEST:: SOT 23195 SOS 11704 HAS SOPS 11702 HAS SOUS 9035 HAS SOUPS 9034 WITH SCORE 9045.704
AT ITER 212 NEW BEST:: SOT 23105 SOS 11688 HAS SOPS 11686 HAS SOUS 8990 HAS SOUPS 8989 WITH SCORE 9000.688
AT ITER 216 NEW BEST:: SOT 23103 SOS 11679 HAS SOPS 11677 HAS SOUS 8988 HAS SOUPS 8987 WITH SCORE 8998.679
AT ITER 217 NEW BEST:: SOT 23072 SOS 11645 HAS SOPS 11643 HAS SOUS 8978 HAS SOUPS 8977 WITH SCORE 8988.645
AT ITER 218 NEW BEST:: SOT 23072 SOS 11594 HAS SOPS 11592 HAS SOUS 8954 HAS SOUPS 8953 WITH SCORE 8964.594
AT ITER 219 NEW BEST:: SOT 22962 SOS 11377 HAS SOPS 11375 HAS SOUS 8880 HAS SOUPS 8879 WITH SCORE 8890.377
AT ITER 220 NEW BEST:: SOT 22975 SOS 11385 HAS SOPS 11383 HAS SOUS 8877 HAS SOUPS 8876 WITH SCORE 8887.385
AT ITER 226 NEW BEST:: SOT 22301 SOS 10721 HAS SOPS 10712 HAS SOUS 8210 HAS SOUPS 8208 WITH SCORE 8218.721
AT ITER 235 NEW BEST:: SOT 22301 SOS 10656 HAS SOPS 10647 HAS SOUS 8145 HAS SOUPS 8143 WITH SCORE 8153.656
AT ITER 243 NEW BEST:: SOT 22273 SOS 10561 HAS SOPS 10552 HAS SOUS 8078 HAS SOUPS 8076 WITH SCORE 8086.561
AT ITER 246 NEW BEST:: SOT 22249 SOS 10537 HAS SOPS 10528 HAS SOUS 8066 HAS SOUPS 8064 WITH SCORE 8074.537
AT ITER 258 NEW BEST:: SOT 22216 SOS 10504 HAS SOPS 10495 HAS SOUS 8033 HAS SOUPS 8031 WITH SCORE 8041.504
AT ITER 265 NEW BEST:: SOT 22212 SOS 10500 HAS SOPS 10491 HAS SOUS 8025 HAS SOUPS 8023 WITH SCORE 8033.5
AT ITER 266 NEW BEST:: SOT 22207 SOS 10475 HAS SOPS 10465 HAS SOUS 7984 HAS SOUPS 7982 WITH SCORE 7992.475
AT ITER 267 NEW BEST:: SOT 22209 SOS 10477 HAS SOPS 10467 HAS SOUS 7982 HAS SOUPS 7980 WITH SCORE 7990.477
AT ITER 268 NEW BEST:: SOT 22193 SOS 10401 HAS SOPS 10391 HAS SOUS 7913 HAS SOUPS 7911 WITH SCORE 7921.401
AT ITER 274 NEW BEST:: SOT 22150 SOS 10322 HAS SOPS 10312 HAS SOUS 7899 HAS SOUPS 7897 WITH SCORE 7907.322
AT ITER 284 NEW BEST:: SOT 22111 SOS 10283 HAS SOPS 10273 HAS SOUS 7860 HAS SOUPS 7858 WITH SCORE 7868.283
AT ITER 287 NEW BEST:: SOT 22293 SOS 10309 HAS SOPS 10298 HAS SOUS 7850 HAS SOUPS 7848 WITH SCORE 7858.309
AT ITER 290 NEW BEST:: SOT 22265 SOS 10253 HAS SOPS 10242 HAS SOUS 7822 HAS SOUPS 7820 WITH SCORE 7830.253
AT ITER 293 NEW BEST:: SOT 22260 SOS 10253 HAS SOPS 10242 HAS SOUS 7817 HAS SOUPS 7815 WITH SCORE 7825.253
AT ITER 296 NEW BEST:: SOT 22260 SOS 10226 HAS SOPS 10215 HAS SOUS 7817 HAS SOUPS 7815 WITH SCORE 7825.226
AT ITER 299 NEW BEST:: SOT 22250 SOS 10216 HAS SOPS 10205 HAS SOUS 7817 HAS SOUPS 7815 WITH SCORE 7825.216
AT ITER 303 NEW BEST:: SOT 22235 SOS 10213 HAS SOPS 10202 HAS SOUS 7814 HAS SOUPS 7812 WITH SCORE 7822.213
AT ITER 308 NEW BEST:: SOT 22225 SOS 10198 HAS SOPS 10187 HAS SOUS 7809 HAS SOUPS 7807 WITH SCORE 7817.198
AT ITER 311 NEW BEST:: SOT 22223 SOS 10196 HAS SOPS 10185 HAS SOUS 7807 HAS SOUPS 7805 WITH SCORE 7815.196
AT ITER 314 NEW BEST:: SOT 22211 SOS 10172 HAS SOPS 10161 HAS SOUS 7791 HAS SOUPS 7789 WITH SCORE 7799.172
AT ITER 316 NEW BEST:: SOT 22209 SOS 10170 HAS SOPS 10159 HAS SOUS 7790 HAS SOUPS 7788 WITH SCORE 7798.17
AT ITER 319 NEW BEST:: SOT 22161 SOS 10001 HAS SOPS 9990 HAS SOUS 7724 HAS SOUPS 7722 WITH SCORE 7732.001
AT ITER 320 NEW BEST:: SOT 22109 SOS 9932 HAS SOPS 9921 HAS SOUS 7676 HAS SOUPS 7674 WITH SCORE 7683.932
AT ITER 323 NEW BEST:: SOT 22099 SOS 9916 HAS SOPS 9904 HAS SOUS 7645 HAS SOUPS 7643 WITH SCORE 7652.916
AT ITER 327 NEW BEST:: SOT 22107 SOS 9872 HAS SOPS 9860 HAS SOUS 7623 HAS SOUPS 7621 WITH SCORE 7630.872
AT ITER 334 NEW BEST:: SOT 22239 SOS 9883 HAS SOPS 9870 HAS SOUS 7604 HAS SOUPS 7602 WITH SCORE 7611.883
AT ITER 336 NEW BEST:: SOT 22111 SOS 9703 HAS SOPS 9689 HAS SOUS 7440 HAS SOUPS 7438 WITH SCORE 7447.703
AT ITER 337 NEW BEST:: SOT 22283 SOS 9839 HAS SOPS 9825 HAS SOUS 7431 HAS SOUPS 7429 WITH SCORE 7438.839
AT ITER 338 NEW BEST:: SOT 22257 SOS 9763 HAS SOPS 9749 HAS SOUS 7363 HAS SOUPS 7361 WITH SCORE 7370.763
AT ITER 340 NEW BEST:: SOT 22257 SOS 9755 HAS SOPS 9741 HAS SOUS 7356 HAS SOUPS 7354 WITH SCORE 7363.755
AT ITER 343 NEW BEST:: SOT 22245 SOS 9743 HAS SOPS 9729 HAS SOUS 7356 HAS SOUPS 7354 WITH SCORE 7363.743
AT ITER 353 NEW BEST:: SOT 22245 SOS 9729 HAS SOPS 9715 HAS SOUS 7356 HAS SOUPS 7354 WITH SCORE 7363.729
AT ITER 368 NEW BEST:: SOT 22245 SOS 9669 HAS SOPS 9655 HAS SOUS 7338 HAS SOUPS 7336 WITH SCORE 7345.669
AT ITER 378 NEW BEST:: SOT 22230 SOS 9654 HAS SOPS 9640 HAS SOUS 7307 HAS SOUPS 7305 WITH SCORE 7314.654
AT ITER 380 NEW BEST:: SOT 22194 SOS 9507 HAS SOPS 9493 HAS SOUS 7243 HAS SOUPS 7241 WITH SCORE 7250.507
AT ITER 384 NEW BEST:: SOT 22127 SOS 9440 HAS SOPS 9426 HAS SOUS 7221 HAS SOUPS 7219 WITH SCORE 7228.44
AT ITER 387 NEW BEST:: SOT 22087 SOS 9400 HAS SOPS 9386 HAS SOUS 7199 HAS SOUPS 7197 WITH SCORE 7206.4
AT ITER 393 NEW BEST:: SOT 22083 SOS 9392 HAS SOPS 9378 HAS SOUS 7195 HAS SOUPS 7193 WITH SCORE 7202.392
AT ITER 396 NEW BEST:: SOT 22083 SOS 9389 HAS SOPS 9375 HAS SOUS 7195 HAS SOUPS 7193 WITH SCORE 7202.389
AT ITER 399 NEW BEST:: SOT 22048 SOS 9372 HAS SOPS 9358 HAS SOUS 7179 HAS SOUPS 7177 WITH SCORE 7186.372
AT ITER 412 NEW BEST:: SOT 22005 SOS 9392 HAS SOPS 9378 HAS SOUS 7170 HAS SOUPS 7168 WITH SCORE 7177.392
AT ITER 413 NEW BEST:: SOT 22005 SOS 9389 HAS SOPS 9375 HAS SOUS 7170 HAS SOUPS 7168 WITH SCORE 7177.389
AT ITER 414 NEW BEST:: SOT 21977 SOS 9353 HAS SOPS 9339 HAS SOUS 7142 HAS SOUPS 7140 WITH SCORE 7149.353
AT ITER 421 NEW BEST:: SOT 22071 SOS 9378 HAS SOPS 9365 HAS SOUS 7139 HAS SOUPS 7137 WITH SCORE 7146.378
AT ITER 425 NEW BEST:: SOT 22089 SOS 9359 HAS SOPS 9346 HAS SOUS 7138 HAS SOUPS 7136 WITH SCORE 7145.359
AT ITER 427 NEW BEST:: SOT 22089 SOS 9358 HAS SOPS 9345 HAS SOUS 7137 HAS SOUPS 7135 WITH SCORE 7144.358
AT ITER 450 NEW BEST:: SOT 22089 SOS 9349 HAS SOPS 9336 HAS SOUS 7131 HAS SOUPS 7129 WITH SCORE 7138.349
AT ITER 459 NEW BEST:: SOT 22048 SOS 9374 HAS SOPS 9361 HAS SOUS 7101 HAS SOUPS 7099 WITH SCORE 7108.374
AT ITER 461 NEW BEST:: SOT 22048 SOS 9316 HAS SOPS 9303 HAS SOUS 7101 HAS SOUPS 7099 WITH SCORE 7108.316
AT ITER 465 NEW BEST:: SOT 22011 SOS 9279 HAS SOPS 9266 HAS SOUS 7082 HAS SOUPS 7080 WITH SCORE 7089.279
AT ITER 470 NEW BEST:: SOT 21996 SOS 9188 HAS SOPS 9175 HAS SOUS 7034 HAS SOUPS 7032 WITH SCORE 7041.188
AT ITER 482 NEW BEST:: SOT 21812 SOS 9004 HAS SOPS 8991 HAS SOUS 6850 HAS SOUPS 6848 WITH SCORE 6857.004
AT ITER 483 NEW BEST:: SOT 21817 SOS 9001 HAS SOPS 8988 HAS SOUS 6847 HAS SOUPS 6845 WITH SCORE 6854.001
AT ITER 511 NEW BEST:: SOT 21817 SOS 8997 HAS SOPS 8984 HAS SOUS 6847 HAS SOUPS 6845 WITH SCORE 6853.997
AT ITER 515 NEW BEST:: SOT 21749 SOS 8933 HAS SOPS 8921 HAS SOUS 6833 HAS SOUPS 6831 WITH SCORE 6839.933
AT ITER 517 NEW BEST:: SOT 21741 SOS 8893 HAS SOPS 8881 HAS SOUS 6817 HAS SOUPS 6815 WITH SCORE 6823.893
AT ITER 518 NEW BEST:: SOT 21732 SOS 8862 HAS SOPS 8850 HAS SOUS 6808 HAS SOUPS 6806 WITH SCORE 6814.862
AT ITER 522 NEW BEST:: SOT 21801 SOS 8736 HAS SOPS 8724 HAS SOUS 6803 HAS SOUPS 6801 WITH SCORE 6809.736
AT ITER 523 NEW BEST:: SOT 21804 SOS 8689 HAS SOPS 8677 HAS SOUS 6756 HAS SOUPS 6754 WITH SCORE 6762.689
AT ITER 537 NEW BEST:: SOT 21804 SOS 8617 HAS SOPS 8605 HAS SOUS 6722 HAS SOUPS 6720 WITH SCORE 6728.617
AT ITER 546 NEW BEST:: SOT 21786 SOS 8599 HAS SOPS 8587 HAS SOUS 6695 HAS SOUPS 6693 WITH SCORE 6701.599
AT ITER 551 NEW BEST:: SOT 21776 SOS 8570 HAS SOPS 8558 HAS SOUS 6681 HAS SOUPS 6679 WITH SCORE 6687.57
AT ITER 567 NEW BEST:: SOT 21796 SOS 8555 HAS SOPS 8543 HAS SOUS 6677 HAS SOUPS 6675 WITH SCORE 6683.555
AT ITER 575 NEW BEST:: SOT 21776 SOS 8519 HAS SOPS 8507 HAS SOUS 6653 HAS SOUPS 6651 WITH SCORE 6659.519
AT ITER 580 NEW BEST:: SOT 21776 SOS 8483 HAS SOPS 8472 HAS SOUS 6598 HAS SOUPS 6596 WITH SCORE 6604.483
AT ITER 600 NEW BEST:: SOT 21784 SOS 8359 HAS SOPS 8348 HAS SOUS 6598 HAS SOUPS 6596 WITH SCORE 6604.359
AT ITER 605 NEW BEST:: SOT 21778 SOS 8337 HAS SOPS 8326 HAS SOUS 6589 HAS SOUPS 6587 WITH SCORE 6595.337
AT ITER 608 NEW BEST:: SOT 21771 SOS 8330 HAS SOPS 8319 HAS SOUS 6589 HAS SOUPS 6587 WITH SCORE 6595.33
AT ITER 622 NEW BEST:: SOT 21764 SOS 8373 HAS SOPS 8291 HAS SOUS 6578 HAS SOUPS 6569 WITH SCORE 6577.373
AT ITER 634 NEW BEST:: SOT 21779 SOS 8372 HAS SOPS 8290 HAS SOUS 6578 HAS SOUPS 6569 WITH SCORE 6577.372
AT ITER 639 NEW BEST:: SOT 21789 SOS 8379 HAS SOPS 8297 HAS SOUS 6575 HAS SOUPS 6566 WITH SCORE 6574.379
AT ITER 643 NEW BEST:: SOT 21777 SOS 8367 HAS SOPS 8285 HAS SOUS 6567 HAS SOUPS 6558 WITH SCORE 6566.367
AT ITER 648 NEW BEST:: SOT 21802 SOS 8384 HAS SOPS 8302 HAS SOUS 6550 HAS SOUPS 6541 WITH SCORE 6549.384
AT ITER 649 NEW BEST:: SOT 21794 SOS 8372 HAS SOPS 8290 HAS SOUS 6542 HAS SOUPS 6533 WITH SCORE 6541.372
AT ITER 654 NEW BEST:: SOT 21794 SOS 8369 HAS SOPS 8287 HAS SOUS 6542 HAS SOUPS 6533 WITH SCORE 6541.369
AT ITER 657 NEW BEST:: SOT 21786 SOS 8334 HAS SOPS 8244 HAS SOUS 6490 HAS SOUPS 6481 WITH SCORE 6489.334
AT ITER 663 NEW BEST:: SOT 21776 SOS 8324 HAS SOPS 8234 HAS SOUS 6490 HAS SOUPS 6481 WITH SCORE 6489.324
AT ITER 686 NEW BEST:: SOT 21773 SOS 8339 HAS SOPS 8249 HAS SOUS 6489 HAS SOUPS 6480 WITH SCORE 6488.339
AT ITER 687 NEW BEST:: SOT 21758 SOS 8319 HAS SOPS 8229 HAS SOUS 6474 HAS SOUPS 6465 WITH SCORE 6473.319
AT ITER 692 NEW BEST:: SOT 21766 SOS 8307 HAS SOPS 8217 HAS SOUS 6454 HAS SOUPS 6445 WITH SCORE 6453.307
AT ITER 702 NEW BEST:: SOT 21766 SOS 8307 HAS SOPS 8217 HAS SOUS 6446 HAS SOUPS 6437 WITH SCORE 6445.307
AT ITER 723 NEW BEST:: SOT 21757 SOS 8298 HAS SOPS 8208 HAS SOUS 6436 HAS SOUPS 6427 WITH SCORE 6435.298
AT ITER 737 NEW BEST:: SOT 21713 SOS 8254 HAS SOPS 8164 HAS SOUS 6414 HAS SOUPS 6405 WITH SCORE 6413.254
AT ITER 742 NEW BEST:: SOT 21691 SOS 8234 HAS SOPS 8144 HAS SOUS 6382 HAS SOUPS 6373 WITH SCORE 6381.234
AT ITER 745 NEW BEST:: SOT 21691 SOS 8218 HAS SOPS 8128 HAS SOUS 6374 HAS SOUPS 6365 WITH SCORE 6373.218
AT ITER 751 NEW BEST:: SOT 21671 SOS 8230 HAS SOPS 8145 HAS SOUS 6354 HAS SOUPS 6345 WITH SCORE 6353.23
AT ITER 757 NEW BEST:: SOT 21665 SOS 8223 HAS SOPS 8130 HAS SOUS 6332 HAS SOUPS 6323 WITH SCORE 6331.223
AT ITER 760 NEW BEST:: SOT 21668 SOS 8220 HAS SOPS 8127 HAS SOUS 6332 HAS SOUPS 6323 WITH SCORE 6331.22
AT ITER 761 NEW BEST:: SOT 21666 SOS 8218 HAS SOPS 8125 HAS SOUS 6330 HAS SOUPS 6321 WITH SCORE 6329.218
AT ITER 766 NEW BEST:: SOT 21667 SOS 8178 HAS SOPS 8085 HAS SOUS 6289 HAS SOUPS 6280 WITH SCORE 6288.178
AT ITER 778 NEW BEST:: SOT 21657 SOS 8168 HAS SOPS 8075 HAS SOUS 6284 HAS SOUPS 6275 WITH SCORE 6283.168
AT ITER 783 NEW BEST:: SOT 21608 SOS 8119 HAS SOPS 8026 HAS SOUS 6278 HAS SOUPS 6269 WITH SCORE 6277.119
AT ITER 785 NEW BEST:: SOT 21596 SOS 8220 HAS SOPS 8127 HAS SOUS 6254 HAS SOUPS 6245 WITH SCORE 6253.22
AT ITER 789 NEW BEST:: SOT 21565 SOS 8203 HAS SOPS 8110 HAS SOUS 6246 HAS SOUPS 6237 WITH SCORE 6245.203
AT ITER 808 NEW BEST:: SOT 21573 SOS 8164 HAS SOPS 8071 HAS SOUS 6213 HAS SOUPS 6204 WITH SCORE 6212.164
AT ITER 823 NEW BEST:: SOT 21579 SOS 8101 HAS SOPS 8009 HAS SOUS 6181 HAS SOUPS 6172 WITH SCORE 6180.101
AT ITER 830 NEW BEST:: SOT 21592 SOS 8078 HAS SOPS 7986 HAS SOUS 6175 HAS SOUPS 6166 WITH SCORE 6174.078
AT ITER 839 NEW BEST:: SOT 21582 SOS 8051 HAS SOPS 7959 HAS SOUS 6158 HAS SOUPS 6149 WITH SCORE 6157.051
AT ITER 840 NEW BEST:: SOT 21579 SOS 8048 HAS SOPS 7956 HAS SOUS 6149 HAS SOUPS 6140 WITH SCORE 6148.048
AT ITER 842 NEW BEST:: SOT 21568 SOS 8023 HAS SOPS 7931 HAS SOUS 6127 HAS SOUPS 6118 WITH SCORE 6126.023
AT ITER 845 NEW BEST:: SOT 21572 SOS 8023 HAS SOPS 7931 HAS SOUS 6117 HAS SOUPS 6108 WITH SCORE 6116.023
AT ITER 860 NEW BEST:: SOT 21571 SOS 8022 HAS SOPS 7930 HAS SOUS 6117 HAS SOUPS 6108 WITH SCORE 6116.022
AT ITER 871 NEW BEST:: SOT 21569 SOS 8020 HAS SOPS 7928 HAS SOUS 6116 HAS SOUPS 6107 WITH SCORE 6115.02
AT ITER 875 NEW BEST:: SOT 21567 SOS 8016 HAS SOPS 7924 HAS SOUS 6114 HAS SOUPS 6105 WITH SCORE 6113.016
AT ITER 879 NEW BEST:: SOT 21545 SOS 7995 HAS SOPS 7903 HAS SOUS 6104 HAS SOUPS 6095 WITH SCORE 6102.995
AT ITER 890 NEW BEST:: SOT 21454 SOS 7927 HAS SOPS 7835 HAS SOUS 6092 HAS SOUPS 6083 WITH SCORE 6090.927
AT ITER 905 NEW BEST:: SOT 21484 SOS 7945 HAS SOPS 7853 HAS SOUS 6087 HAS SOUPS 6078 WITH SCORE 6085.945
AT ITER 911 NEW BEST:: SOT 21462 SOS 7925 HAS SOPS 7854 HAS SOUS 6067 HAS SOUPS 6060 WITH SCORE 6067.925
AT ITER 914 NEW BEST:: SOT 21460 SOS 7923 HAS SOPS 7852 HAS SOUS 6066 HAS SOUPS 6059 WITH SCORE 6066.923
AT ITER 920 NEW BEST:: SOT 21365 SOS 7872 HAS SOPS 7801 HAS SOUS 6054 HAS SOUPS 6047 WITH SCORE 6054.872
AT ITER 921 NEW BEST:: SOT 21368 SOS 7870 HAS SOPS 7799 HAS SOUS 6045 HAS SOUPS 6038 WITH SCORE 6045.87
AT ITER 922 NEW BEST:: SOT 21336 SOS 7823 HAS SOPS 7752 HAS SOUS 6015 HAS SOUPS 6008 WITH SCORE 6015.823
AT ITER 927 NEW BEST:: SOT 21320 SOS 7783 HAS SOPS 7712 HAS SOUS 5999 HAS SOUPS 5992 WITH SCORE 5999.783
AT ITER 932 NEW BEST:: SOT 21320 SOS 7775 HAS SOPS 7708 HAS SOUS 5997 HAS SOUPS 5990 WITH SCORE 5997.775
AT ITER 937 NEW BEST:: SOT 21312 SOS 7752 HAS SOPS 7685 HAS SOUS 5958 HAS SOUPS 5951 WITH SCORE 5958.752
AT ITER 938 NEW BEST:: SOT 21350 SOS 7710 HAS SOPS 7643 HAS SOUS 5895 HAS SOUPS 5888 WITH SCORE 5895.71
AT ITER 940 NEW BEST:: SOT 21350 SOS 7708 HAS SOPS 7641 HAS SOUS 5895 HAS SOUPS 5888 WITH SCORE 5895.708
AT ITER 955 NEW BEST:: SOT 21333 SOS 7697 HAS SOPS 7630 HAS SOUS 5876 HAS SOUPS 5869 WITH SCORE 5876.697
AT ITER 967 NEW BEST:: SOT 21275 SOS 7645 HAS SOPS 7578 HAS SOUS 5848 HAS SOUPS 5841 WITH SCORE 5848.645
AT ITER 978 NEW BEST:: SOT 21274 SOS 7644 HAS SOPS 7577 HAS SOUS 5848 HAS SOUPS 5841 WITH SCORE 5848.644
AT ITER 981 NEW BEST:: SOT 21262 SOS 7620 HAS SOPS 7553 HAS SOUS 5836 HAS SOUPS 5829 WITH SCORE 5836.62
AT ITER 997 NEW BEST:: SOT 21265 SOS 7605 HAS SOPS 7538 HAS SOUS 5828 HAS SOUPS 5821 WITH SCORE 5828.605
AT ITER 998 NEW BEST:: SOT 21273 SOS 7591 HAS SOPS 7524 HAS SOUS 5826 HAS SOUPS 5819 WITH SCORE 5826.591
AT ITER 1000 NEW BEST:: SOT 21264 SOS 7582 HAS SOPS 7515 HAS SOUS 5808 HAS SOUPS 5801 WITH SCORE 5808.582
AT ITER 1001 NEW BEST:: SOT 21265 SOS 7583 HAS SOPS 7516 HAS SOUS 5807 HAS SOUPS 5800 WITH SCORE 5807.583
AT ITER 1005 NEW BEST:: SOT 21234 SOS 7563 HAS SOPS 7496 HAS SOUS 5801 HAS SOUPS 5794 WITH SCORE 5801.563
AT ITER 1017 NEW BEST:: SOT 21234 SOS 7547 HAS SOPS 7480 HAS SOUS 5786 HAS SOUPS 5779 WITH SCORE 5786.547
AT ITER 1024 NEW BEST:: SOT 21214 SOS 7517 HAS SOPS 7450 HAS SOUS 5761 HAS SOUPS 5754 WITH SCORE 5761.517
AT ITER 1042 NEW BEST:: SOT 21207 SOS 7482 HAS SOPS 7415 HAS SOUS 5752 HAS SOUPS 5745 WITH SCORE 5752.482
AT ITER 1050 NEW BEST:: SOT 21207 SOS 7481 HAS SOPS 7414 HAS SOUS 5738 HAS SOUPS 5731 WITH SCORE 5738.481
AT ITER 1051 NEW BEST:: SOT 21212 SOS 7415 HAS SOPS 7348 HAS SOUS 5705 HAS SOUPS 5698 WITH SCORE 5705.415
AT ITER 1053 NEW BEST:: SOT 21212 SOS 7407 HAS SOPS 7340 HAS SOUS 5705 HAS SOUPS 5698 WITH SCORE 5705.407
AT ITER 1066 NEW BEST:: SOT 21206 SOS 7401 HAS SOPS 7334 HAS SOUS 5699 HAS SOUPS 5692 WITH SCORE 5699.401
AT ITER 1074 NEW BEST:: SOT 21157 SOS 7392 HAS SOPS 7322 HAS SOUS 5675 HAS SOUPS 5668 WITH SCORE 5675.392
AT ITER 1086 NEW BEST:: SOT 21157 SOS 7386 HAS SOPS 7316 HAS SOUS 5669 HAS SOUPS 5662 WITH SCORE 5669.386
AT ITER 1087 NEW BEST:: SOT 21157 SOS 7384 HAS SOPS 7314 HAS SOUS 5668 HAS SOUPS 5661 WITH SCORE 5668.384
AT ITER 1088 NEW BEST:: SOT 21198 SOS 7248 HAS SOPS 7178 HAS SOUS 5555 HAS SOUPS 5548 WITH SCORE 5555.248
AT ITER 1093 NEW BEST:: SOT 21190 SOS 7208 HAS SOPS 7138 HAS SOUS 5539 HAS SOUPS 5532 WITH SCORE 5539.208
AT ITER 1102 NEW BEST:: SOT 21190 SOS 7142 HAS SOPS 7072 HAS SOUS 5473 HAS SOUPS 5466 WITH SCORE 5473.142
AT ITER 1106 NEW BEST:: SOT 21104 SOS 7172 HAS SOPS 7102 HAS SOUS 5472 HAS SOUPS 5465 WITH SCORE 5472.172
AT ITER 1122 NEW BEST:: SOT 21087 SOS 7159 HAS SOPS 7089 HAS SOUS 5460 HAS SOUPS 5453 WITH SCORE 5460.159
AT ITER 1142 NEW BEST:: SOT 21077 SOS 7114 HAS SOPS 7044 HAS SOUS 5450 HAS SOUPS 5443 WITH SCORE 5450.114
AT ITER 1145 NEW BEST:: SOT 21073 SOS 7106 HAS SOPS 7036 HAS SOUS 5442 HAS SOUPS 5435 WITH SCORE 5442.106
AT ITER 1153 NEW BEST:: SOT 21050 SOS 7075 HAS SOPS 7001 HAS SOUS 5408 HAS SOUPS 5401 WITH SCORE 5408.075
AT ITER 1169 NEW BEST:: SOT 21050 SOS 7075 HAS SOPS 7001 HAS SOUS 5394 HAS SOUPS 5387 WITH SCORE 5394.075
AT ITER 1174 NEW BEST:: SOT 21053 SOS 7066 HAS SOPS 6992 HAS SOUS 5394 HAS SOUPS 5387 WITH SCORE 5394.066
AT ITER 1183 NEW BEST:: SOT 21037 SOS 7034 HAS SOPS 6960 HAS SOUS 5378 HAS SOUPS 5371 WITH SCORE 5378.034
AT ITER 1204 NEW BEST:: SOT 21027 SOS 7038 HAS SOPS 6964 HAS SOUS 5373 HAS SOUPS 5366 WITH SCORE 5373.038
AT ITER 1210 NEW BEST:: SOT 20998 SOS 6966 HAS SOPS 6892 HAS SOUS 5315 HAS SOUPS 5308 WITH SCORE 5314.966
AT ITER 1211 NEW BEST:: SOT 20993 SOS 6946 HAS SOPS 6872 HAS SOUS 5300 HAS SOUPS 5293 WITH SCORE 5299.946
AT ITER 1221 NEW BEST:: SOT 20979 SOS 6917 HAS SOPS 6843 HAS SOUS 5285 HAS SOUPS 5278 WITH SCORE 5284.917
AT ITER 1236 NEW BEST:: SOT 20979 SOS 6915 HAS SOPS 6841 HAS SOUS 5285 HAS SOUPS 5278 WITH SCORE 5284.915
AT ITER 1239 NEW BEST:: SOT 20965 SOS 6901 HAS SOPS 6827 HAS SOUS 5276 HAS SOUPS 5269 WITH SCORE 5275.901
AT ITER 1241 NEW BEST:: SOT 20940 SOS 6893 HAS SOPS 6819 HAS SOUS 5273 HAS SOUPS 5266 WITH SCORE 5272.893
AT ITER 1253 NEW BEST:: SOT 20938 SOS 6889 HAS SOPS 6815 HAS SOUS 5271 HAS SOUPS 5264 WITH SCORE 5270.889
AT ITER 1260 NEW BEST:: SOT 20938 SOS 6888 HAS SOPS 6814 HAS SOUS 5270 HAS SOUPS 5263 WITH SCORE 5269.888
AT ITER 1264 NEW BEST:: SOT 20938 SOS 6886 HAS SOPS 6812 HAS SOUS 5270 HAS SOUPS 5263 WITH SCORE 5269.886
AT ITER 1271 NEW BEST:: SOT 20930 SOS 6878 HAS SOPS 6804 HAS SOUS 5253 HAS SOUPS 5246 WITH SCORE 5252.878
AT ITER 1276 NEW BEST:: SOT 20930 SOS 6831 HAS SOPS 6757 HAS SOUS 5229 HAS SOUPS 5222 WITH SCORE 5228.831
AT ITER 1280 NEW BEST:: SOT 20920 SOS 6811 HAS SOPS 6737 HAS SOUS 5219 HAS SOUPS 5212 WITH SCORE 5218.811
AT ITER 1284 NEW BEST:: SOT 20902 SOS 6793 HAS SOPS 6719 HAS SOUS 5210 HAS SOUPS 5203 WITH SCORE 5209.793
AT ITER 1297 NEW BEST:: SOT 20897 SOS 6782 HAS SOPS 6708 HAS SOUS 5204 HAS SOUPS 5197 WITH SCORE 5203.782
AT ITER 1309 NEW BEST:: SOT 20899 SOS 6778 HAS SOPS 6704 HAS SOUS 5204 HAS SOUPS 5197 WITH SCORE 5203.778
AT ITER 1311 NEW BEST:: SOT 20900 SOS 6769 HAS SOPS 6695 HAS SOUS 5201 HAS SOUPS 5194 WITH SCORE 5200.769
AT ITER 1317 NEW BEST:: SOT 20900 SOS 6810 HAS SOPS 6736 HAS SOUS 5199 HAS SOUPS 5192 WITH SCORE 5198.81
AT ITER 1336 NEW BEST:: SOT 20902 SOS 6803 HAS SOPS 6729 HAS SOUS 5187 HAS SOUPS 5180 WITH SCORE 5186.803
AT ITER 1341 NEW BEST:: SOT 20898 SOS 6803 HAS SOPS 6729 HAS SOUS 5179 HAS SOUPS 5172 WITH SCORE 5178.803
AT ITER 1349 NEW BEST:: SOT 20894 SOS 6807 HAS SOPS 6733 HAS SOUS 5173 HAS SOUPS 5166 WITH SCORE 5172.807
AT ITER 1387 NEW BEST:: SOT 20885 SOS 6789 HAS SOPS 6715 HAS SOUS 5155 HAS SOUPS 5148 WITH SCORE 5154.789
AT ITER 1389 NEW BEST:: SOT 20889 SOS 6783 HAS SOPS 6709 HAS SOUS 5152 HAS SOUPS 5145 WITH SCORE 5151.783
AT ITER 1394 NEW BEST:: SOT 20889 SOS 6782 HAS SOPS 6708 HAS SOUS 5151 HAS SOUPS 5144 WITH SCORE 5150.782
AT ITER 1397 NEW BEST:: SOT 20897 SOS 6790 HAS SOPS 6716 HAS SOUS 5150 HAS SOUPS 5143 WITH SCORE 5149.79
AT ITER 1411 NEW BEST:: SOT 20943 SOS 6831 HAS SOPS 6757 HAS SOUS 5148 HAS SOUPS 5141 WITH SCORE 5147.831
AT ITER 1444 NEW BEST:: SOT 20943 SOS 6818 HAS SOPS 6743 HAS SOUS 5134 HAS SOUPS 5127 WITH SCORE 5133.818
AT ITER 1453 NEW BEST:: SOT 20936 SOS 6804 HAS SOPS 6729 HAS SOUS 5113 HAS SOUPS 5106 WITH SCORE 5112.804
AT ITER 1460 NEW BEST:: SOT 20924 SOS 6780 HAS SOPS 6705 HAS SOUS 5103 HAS SOUPS 5096 WITH SCORE 5102.78
AT ITER 1474 NEW BEST:: SOT 20780 SOS 6817 HAS SOPS 6815 HAS SOUS 4994 HAS SOUPS 4993 WITH SCORE 4999.817
AT ITER 1482 NEW BEST:: SOT 20766 SOS 6797 HAS SOPS 6795 HAS SOUS 4972 HAS SOUPS 4971 WITH SCORE 4977.797
AT ITER 1492 NEW BEST:: SOT 20766 SOS 6789 HAS SOPS 6787 HAS SOUS 4956 HAS SOUPS 4955 WITH SCORE 4961.789
AT ITER 1496 NEW BEST:: SOT 20761 SOS 6784 HAS SOPS 6782 HAS SOUS 4946 HAS SOUPS 4945 WITH SCORE 4951.784
AT ITER 1503 NEW BEST:: SOT 20761 SOS 6764 HAS SOPS 6762 HAS SOUS 4932 HAS SOUPS 4931 WITH SCORE 4937.764
AT ITER 1577 NEW BEST:: SOT 20752 SOS 6779 HAS SOPS 6777 HAS SOUS 4931 HAS SOUPS 4930 WITH SCORE 4936.779
AT ITER 1578 NEW BEST:: SOT 20752 SOS 6767 HAS SOPS 6765 HAS SOUS 4925 HAS SOUPS 4924 WITH SCORE 4930.767
AT ITER 1581 NEW BEST:: SOT 20718 SOS 6733 HAS SOPS 6731 HAS SOUS 4909 HAS SOUPS 4908 WITH SCORE 4914.733
AT ITER 1586 NEW BEST:: SOT 20718 SOS 6710 HAS SOPS 6708 HAS SOUS 4881 HAS SOUPS 4880 WITH SCORE 4886.71
AT ITER 1606 NEW BEST:: SOT 20738 SOS 6671 HAS SOPS 6669 HAS SOUS 4850 HAS SOUPS 4849 WITH SCORE 4855.671
AT ITER 1622 NEW BEST:: SOT 20750 SOS 6669 HAS SOPS 6667 HAS SOUS 4847 HAS SOUPS 4846 WITH SCORE 4852.669
AT ITER 1636 NEW BEST:: SOT 20730 SOS 6649 HAS SOPS 6647 HAS SOUS 4837 HAS SOUPS 4836 WITH SCORE 4842.649
AT ITER 1673 NEW BEST:: SOT 20730 SOS 6649 HAS SOPS 6647 HAS SOUS 4834 HAS SOUPS 4833 WITH SCORE 4839.649
AT ITER 1674 NEW BEST:: SOT 20730 SOS 6646 HAS SOPS 6644 HAS SOUS 4834 HAS SOUPS 4833 WITH SCORE 4839.646
AT ITER 1686 NEW BEST:: SOT 20729 SOS 6645 HAS SOPS 6643 HAS SOUS 4833 HAS SOUPS 4832 WITH SCORE 4838.645
AT ITER 1710 NEW BEST:: SOT 20723 SOS 6639 HAS SOPS 6637 HAS SOUS 4827 HAS SOUPS 4826 WITH SCORE 4832.639
AT ITER 1711 NEW BEST:: SOT 20720 SOS 6633 HAS SOPS 6631 HAS SOUS 4821 HAS SOUPS 4820 WITH SCORE 4826.633
AT ITER 1714 NEW BEST:: SOT 20709 SOS 6626 HAS SOPS 6624 HAS SOUS 4814 HAS SOUPS 4813 WITH SCORE 4819.626
AT ITER 1751 NEW BEST:: SOT 20684 SOS 6609 HAS SOPS 6607 HAS SOUS 4802 HAS SOUPS 4801 WITH SCORE 4807.609
AT ITER 1760 NEW BEST:: SOT 20626 SOS 6708 HAS SOPS 6706 HAS SOUS 4727 HAS SOUPS 4726 WITH SCORE 4732.708
AT ITER 1778 NEW BEST:: SOT 20486 SOS 7295 HAS SOPS 7001 HAS SOUS 4685 HAS SOUPS 4669 WITH SCORE 4676.295
AT ITER 1817 NEW BEST:: SOT 20524 SOS 7329 HAS SOPS 7035 HAS SOUS 4676 HAS SOUPS 4660 WITH SCORE 4667.329
AT ITER 1819 NEW BEST:: SOT 20521 SOS 7326 HAS SOPS 7032 HAS SOUS 4673 HAS SOUPS 4657 WITH SCORE 4664.326
AT ITER 1831 NEW BEST:: SOT 20517 SOS 7322 HAS SOPS 7028 HAS SOUS 4673 HAS SOUPS 4657 WITH SCORE 4664.322
AT ITER 1833 NEW BEST:: SOT 20517 SOS 7296 HAS SOPS 7002 HAS SOUS 4660 HAS SOUPS 4644 WITH SCORE 4651.296
AT ITER 1837 NEW BEST:: SOT 20516 SOS 7293 HAS SOPS 6996 HAS SOUS 4655 HAS SOUPS 4639 WITH SCORE 4646.293
AT ITER 1847 NEW BEST:: SOT 20513 SOS 7290 HAS SOPS 6993 HAS SOUS 4653 HAS SOUPS 4637 WITH SCORE 4644.29
AT ITER 1857 NEW BEST:: SOT 20513 SOS 7289 HAS SOPS 6992 HAS SOUS 4652 HAS SOUPS 4636 WITH SCORE 4643.289
AT ITER 1860 NEW BEST:: SOT 20506 SOS 7300 HAS SOPS 7003 HAS SOUS 4640 HAS SOUPS 4624 WITH SCORE 4631.3
AT ITER 1864 NEW BEST:: SOT 20534 SOS 7297 HAS SOPS 7000 HAS SOUS 4634 HAS SOUPS 4618 WITH SCORE 4625.297
AT ITER 1871 NEW BEST:: SOT 20534 SOS 7294 HAS SOPS 6997 HAS SOUS 4633 HAS SOUPS 4617 WITH SCORE 4624.294
AT ITER 1878 NEW BEST:: SOT 20532 SOS 7292 HAS SOPS 6995 HAS SOUS 4633 HAS SOUPS 4617 WITH SCORE 4624.292
AT ITER 1884 NEW BEST:: SOT 20560 SOS 7266 HAS SOPS 6969 HAS SOUS 4620 HAS SOUPS 4604 WITH SCORE 4611.266
AT ITER 1894 NEW BEST:: SOT 20584 SOS 7145 HAS SOPS 6848 HAS SOUS 4555 HAS SOUPS 4539 WITH SCORE 4546.145
AT ITER 1915 NEW BEST:: SOT 20584 SOS 7139 HAS SOPS 6838 HAS SOUS 4551 HAS SOUPS 4535 WITH SCORE 4542.139
AT ITER 1929 NEW BEST:: SOT 20584 SOS 7136 HAS SOPS 6835 HAS SOUS 4550 HAS SOUPS 4534 WITH SCORE 4541.136
AT ITER 1940 NEW BEST:: SOT 20584 SOS 7136 HAS SOPS 6834 HAS SOUS 4548 HAS SOUPS 4532 WITH SCORE 4539.136
AT ITER 1946 NEW BEST:: SOT 20579 SOS 7131 HAS SOPS 6829 HAS SOUS 4538 HAS SOUPS 4522 WITH SCORE 4529.131
AT ITER 1951 NEW BEST:: SOT 20554 SOS 7082 HAS SOPS 6780 HAS SOUS 4512 HAS SOUPS 4496 WITH SCORE 4503.082
AT ITER 1953 NEW BEST:: SOT 20546 SOS 7066 HAS SOPS 6764 HAS SOUS 4504 HAS SOUPS 4488 WITH SCORE 4495.066
AT ITER 1962 NEW BEST:: SOT 20544 SOS 7056 HAS SOPS 6754 HAS SOUS 4502 HAS SOUPS 4486 WITH SCORE 4493.056
AT ITER 1967 NEW BEST:: SOT 20314 SOS 7279 HAS SOPS 6977 HAS SOUS 4287 HAS SOUPS 4271 WITH SCORE 4278.279
AT ITER 1968 NEW BEST:: SOT 20314 SOS 7279 HAS SOPS 6977 HAS SOUS 4277 HAS SOUPS 4261 WITH SCORE 4268.279
AT ITER 1976 NEW BEST:: SOT 20315 SOS 7276 HAS SOPS 6974 HAS SOUS 4270 HAS SOUPS 4254 WITH SCORE 4261.276
AT ITER 1977 NEW BEST:: SOT 20314 SOS 7273 HAS SOPS 6971 HAS SOUS 4268 HAS SOUPS 4252 WITH SCORE 4259.273
AT ITER 1978 NEW BEST:: SOT 20312 SOS 7267 HAS SOPS 6965 HAS SOUS 4266 HAS SOUPS 4250 WITH SCORE 4257.267
AT ITER 2006 NEW BEST:: SOT 20301 SOS 7256 HAS SOPS 6954 HAS SOUS 4244 HAS SOUPS 4228 WITH SCORE 4235.256
AT ITER 2050 NEW BEST:: SOT 20309 SOS 7263 HAS SOPS 6961 HAS SOUS 4233 HAS SOUPS 4217 WITH SCORE 4224.263
AT ITER 2052 NEW BEST:: SOT 20310 SOS 7264 HAS SOPS 6962 HAS SOUS 4231 HAS SOUPS 4215 WITH SCORE 4222.264
AT ITER 2074 NEW BEST:: SOT 20280 SOS 7230 HAS SOPS 6928 HAS SOUS 4215 HAS SOUPS 4199 WITH SCORE 4206.23
AT ITER 2101 NEW BEST:: SOT 20295 SOS 7133 HAS SOPS 6816 HAS SOUS 4148 HAS SOUPS 4132 WITH SCORE 4139.133
AT ITER 2102 NEW BEST:: SOT 20295 SOS 7121 HAS SOPS 6804 HAS SOUS 4124 HAS SOUPS 4108 WITH SCORE 4115.121
AT ITER 2104 NEW BEST:: SOT 20290 SOS 7111 HAS SOPS 6794 HAS SOUS 4109 HAS SOUPS 4093 WITH SCORE 4100.111
AT ITER 2108 NEW BEST:: SOT 20289 SOS 7109 HAS SOPS 6792 HAS SOUS 4106 HAS SOUPS 4090 WITH SCORE 4097.109
AT ITER 2140 NEW BEST:: SOT 20281 SOS 7100 HAS SOPS 6783 HAS SOUS 4098 HAS SOUPS 4082 WITH SCORE 4089.1
AT ITER 2185 NEW BEST:: SOT 20283 SOS 7098 HAS SOPS 6778 HAS SOUS 4094 HAS SOUPS 4078 WITH SCORE 4085.098
AT ITER 2196 NEW BEST:: SOT 20283 SOS 7096 HAS SOPS 6776 HAS SOUS 4093 HAS SOUPS 4077 WITH SCORE 4084.096
AT ITER 2197 NEW BEST:: SOT 20261 SOS 7059 HAS SOPS 6739 HAS SOUS 4069 HAS SOUPS 4053 WITH SCORE 4060.059
AT ITER 2208 NEW BEST:: SOT 20267 SOS 7065 HAS SOPS 6745 HAS SOUS 4063 HAS SOUPS 4047 WITH SCORE 4054.065
AT ITER 2238 NEW BEST:: SOT 20255 SOS 7053 HAS SOPS 6733 HAS SOUS 4050 HAS SOUPS 4034 WITH SCORE 4041.053
AT ITER 2240 NEW BEST:: SOT 20187 SOS 7017 HAS SOPS 6697 HAS SOUS 4039 HAS SOUPS 4023 WITH SCORE 4030.017
AT ITER 2244 NEW BEST:: SOT 20151 SOS 6948 HAS SOPS 6628 HAS SOUS 3987 HAS SOUPS 3971 WITH SCORE 3977.948
AT ITER 2258 NEW BEST:: SOT 20147 SOS 6944 HAS SOPS 6626 HAS SOUS 3985 HAS SOUPS 3969 WITH SCORE 3975.944
AT ITER 2354 NEW BEST:: SOT 20163 SOS 6947 HAS SOPS 6629 HAS SOUS 3980 HAS SOUPS 3964 WITH SCORE 3970.947
AT ITER 2358 NEW BEST:: SOT 20163 SOS 6679 HAS SOPS 6617 HAS SOUS 3940 HAS SOUPS 3936 WITH SCORE 3942.679
AT ITER 2369 NEW BEST:: SOT 20211 SOS 6716 HAS SOPS 6654 HAS SOUS 3925 HAS SOUPS 3921 WITH SCORE 3927.716
AT ITER 2373 NEW BEST:: SOT 20204 SOS 6709 HAS SOPS 6647 HAS SOUS 3925 HAS SOUPS 3921 WITH SCORE 3927.709
AT ITER 2386 NEW BEST:: SOT 20195 SOS 6688 HAS SOPS 6626 HAS SOUS 3913 HAS SOUPS 3909 WITH SCORE 3915.688
AT ITER 2408 NEW BEST:: SOT 20219 SOS 6688 HAS SOPS 6626 HAS SOUS 3898 HAS SOUPS 3894 WITH SCORE 3900.688
AT ITER 2457 NEW BEST:: SOT 20232 SOS 6669 HAS SOPS 6607 HAS SOUS 3894 HAS SOUPS 3890 WITH SCORE 3896.669
AT ITER 2470 NEW BEST:: SOT 20232 SOS 6668 HAS SOPS 6606 HAS SOUS 3894 HAS SOUPS 3890 WITH SCORE 3896.668
AT ITER 2473 NEW BEST:: SOT 20056 SOS 6554 HAS SOPS 6552 HAS SOUS 3726 HAS SOUPS 3725 WITH SCORE 3731.554
AT ITER 2477 NEW BEST:: SOT 20005 SOS 6503 HAS SOPS 6501 HAS SOUS 3692 HAS SOUPS 3691 WITH SCORE 3697.503
AT ITER 2489 NEW BEST:: SOT 19997 SOS 6495 HAS SOPS 6493 HAS SOUS 3684 HAS SOUPS 3683 WITH SCORE 3689.495
AT ITER 2508 NEW BEST:: SOT 19824 SOS 6390 HAS SOPS 6388 HAS SOUS 3536 HAS SOUPS 3535 WITH SCORE 3541.39
AT ITER 2511 NEW BEST:: SOT 19827 SOS 6389 HAS SOPS 6387 HAS SOUS 3531 HAS SOUPS 3530 WITH SCORE 3536.389
AT ITER 2551 NEW BEST:: SOT 19821 SOS 6383 HAS SOPS 6381 HAS SOUS 3519 HAS SOUPS 3518 WITH SCORE 3524.383
AT ITER 2574 NEW BEST:: SOT 19813 SOS 6367 HAS SOPS 6365 HAS SOUS 3507 HAS SOUPS 3506 WITH SCORE 3512.367
AT ITER 2584 NEW BEST:: SOT 19811 SOS 6359 HAS SOPS 6357 HAS SOUS 3500 HAS SOUPS 3499 WITH SCORE 3505.359
AT ITER 2605 NEW BEST:: SOT 19811 SOS 6357 HAS SOPS 6355 HAS SOUS 3499 HAS SOUPS 3498 WITH SCORE 3504.357
AT ITER 2633 NEW BEST:: SOT 19800 SOS 6359 HAS SOPS 6357 HAS SOUS 3496 HAS SOUPS 3495 WITH SCORE 3501.359
AT ITER 2636 NEW BEST:: SOT 19801 SOS 6358 HAS SOPS 6356 HAS SOUS 3496 HAS SOUPS 3495 WITH SCORE 3501.358
AT ITER 2641 NEW BEST:: SOT 19801 SOS 6354 HAS SOPS 6352 HAS SOUS 3496 HAS SOUPS 3495 WITH SCORE 3501.354
AT ITER 2652 NEW BEST:: SOT 19805 SOS 6354 HAS SOPS 6267 HAS SOUS 3492 HAS SOUPS 3487 WITH SCORE 3493.354
AT ITER 2654 NEW BEST:: SOT 19800 SOS 6349 HAS SOPS 6262 HAS SOUS 3492 HAS SOUPS 3487 WITH SCORE 3493.349
AT ITER 2696 NEW BEST:: SOT 19810 SOS 6353 HAS SOPS 6266 HAS SOUS 3486 HAS SOUPS 3481 WITH SCORE 3487.353
AT ITER 2710 NEW BEST:: SOT 19796 SOS 6325 HAS SOPS 6238 HAS SOUS 3477 HAS SOUPS 3472 WITH SCORE 3478.325
AT ITER 2769 NEW BEST:: SOT 19795 SOS 6324 HAS SOPS 6237 HAS SOUS 3477 HAS SOUPS 3472 WITH SCORE 3478.324
AT ITER 2788 NEW BEST:: SOT 19793 SOS 6323 HAS SOPS 6236 HAS SOUS 3476 HAS SOUPS 3471 WITH SCORE 3477.323
AT ITER 2790 NEW BEST:: SOT 19793 SOS 6319 HAS SOPS 6232 HAS SOUS 3474 HAS SOUPS 3469 WITH SCORE 3475.319
AT ITER 2804 NEW BEST:: SOT 19801 SOS 6331 HAS SOPS 6244 HAS SOUS 3460 HAS SOUPS 3455 WITH SCORE 3461.331
AT ITER 2823 NEW BEST:: SOT 19723 SOS 6449 HAS SOPS 6447 HAS SOUS 3420 HAS SOUPS 3419 WITH SCORE 3425.449
AT ITER 2836 NEW BEST:: SOT 19722 SOS 6448 HAS SOPS 6446 HAS SOUS 3420 HAS SOUPS 3419 WITH SCORE 3425.448
AT ITER 2914 NEW BEST:: SOT 19705 SOS 6431 HAS SOPS 6429 HAS SOUS 3403 HAS SOUPS 3402 WITH SCORE 3408.431
AT ITER 2941 NEW BEST:: SOT 19672 SOS 6405 HAS SOPS 6403 HAS SOUS 3393 HAS SOUPS 3392 WITH SCORE 3398.405
AT ITER 2975 NEW BEST:: SOT 19668 SOS 6401 HAS SOPS 6399 HAS SOUS 3389 HAS SOUPS 3388 WITH SCORE 3394.401
AT ITER 3018 NEW BEST:: SOT 19668 SOS 6397 HAS SOPS 6395 HAS SOUS 3387 HAS SOUPS 3386 WITH SCORE 3392.397
AT ITER 3031 NEW BEST:: SOT 19674 SOS 6392 HAS SOPS 6390 HAS SOUS 3387 HAS SOUPS 3386 WITH SCORE 3392.392
AT ITER 3080 NEW BEST:: SOT 19662 SOS 6376 HAS SOPS 6374 HAS SOUS 3375 HAS SOUPS 3374 WITH SCORE 3380.376
AT ITER 3083 NEW BEST:: SOT 19661 SOS 6384 HAS SOPS 6382 HAS SOUS 3373 HAS SOUPS 3372 WITH SCORE 3378.384
AT ITER 3094 NEW BEST:: SOT 19665 SOS 6356 HAS SOPS 6354 HAS SOUS 3349 HAS SOUPS 3348 WITH SCORE 3354.356
AT ITER 3096 NEW BEST:: SOT 19663 SOS 6354 HAS SOPS 6352 HAS SOUS 3345 HAS SOUPS 3344 WITH SCORE 3350.354
AT ITER 3108 NEW BEST:: SOT 19657 SOS 6336 HAS SOPS 6334 HAS SOUS 3334 HAS SOUPS 3333 WITH SCORE 3339.336
AT ITER 3112 NEW BEST:: SOT 19656 SOS 6334 HAS SOPS 6332 HAS SOUS 3332 HAS SOUPS 3331 WITH SCORE 3337.334
AT ITER 3134 NEW BEST:: SOT 19653 SOS 6325 HAS SOPS 6323 HAS SOUS 3323 HAS SOUPS 3322 WITH SCORE 3328.325
AT ITER 3148 NEW BEST:: SOT 19544 SOS 6686 HAS SOPS 6684 HAS SOUS 3232 HAS SOUPS 3231 WITH SCORE 3237.686
AT ITER 3171 NEW BEST:: SOT 19543 SOS 6681 HAS SOPS 6679 HAS SOUS 3230 HAS SOUPS 3229 WITH SCORE 3235.681
AT ITER 3173 NEW BEST:: SOT 19551 SOS 6664 HAS SOPS 6662 HAS SOUS 3228 HAS SOUPS 3227 WITH SCORE 3233.664
AT ITER 3177 NEW BEST:: SOT 19538 SOS 6296 HAS SOPS 6294 HAS SOUS 3196 HAS SOUPS 3195 WITH SCORE 3201.296
AT ITER 3179 NEW BEST:: SOT 19538 SOS 6293 HAS SOPS 6291 HAS SOUS 3196 HAS SOUPS 3195 WITH SCORE 3201.293
AT ITER 3189 NEW BEST:: SOT 19538 SOS 6291 HAS SOPS 6289 HAS SOUS 3194 HAS SOUPS 3193 WITH SCORE 3199.291
AT ITER 3207 NEW BEST:: SOT 19539 SOS 6290 HAS SOPS 6288 HAS SOUS 3194 HAS SOUPS 3193 WITH SCORE 3199.29
AT ITER 3228 NEW BEST:: SOT 19535 SOS 6292 HAS SOPS 6290 HAS SOUS 3193 HAS SOUPS 3192 WITH SCORE 3198.292
AT ITER 3233 NEW BEST:: SOT 19521 SOS 6340 HAS SOPS 6338 HAS SOUS 3180 HAS SOUPS 3179 WITH SCORE 3185.34
AT ITER 3245 NEW BEST:: SOT 19515 SOS 6332 HAS SOPS 6330 HAS SOUS 3172 HAS SOUPS 3171 WITH SCORE 3177.332
AT ITER 3262 NEW BEST:: SOT 19516 SOS 6314 HAS SOPS 6312 HAS SOUS 3164 HAS SOUPS 3163 WITH SCORE 3169.314
AT ITER 3287 NEW BEST:: SOT 19516 SOS 6314 HAS SOPS 6312 HAS SOUS 3162 HAS SOUPS 3161 WITH SCORE 3167.314
AT ITER 3291 NEW BEST:: SOT 19516 SOS 6308 HAS SOPS 6306 HAS SOUS 3150 HAS SOUPS 3149 WITH SCORE 3155.308
AT ITER 3322 NEW BEST:: SOT 19244 SOS 6616 HAS SOPS 6217 HAS SOUS 2852 HAS SOUPS 2837 WITH SCORE 2843.616
AT ITER 3337 NEW BEST:: SOT 19243 SOS 6611 HAS SOPS 6212 HAS SOUS 2848 HAS SOUPS 2833 WITH SCORE 2839.611
AT ITER 3348 NEW BEST:: SOT 19243 SOS 6609 HAS SOPS 6210 HAS SOUS 2848 HAS SOUPS 2833 WITH SCORE 2839.609
AT ITER 3369 NEW BEST:: SOT 19239 SOS 6575 HAS SOPS 6176 HAS SOUS 2819 HAS SOUPS 2804 WITH SCORE 2810.575
AT ITER 3394 NEW BEST:: SOT 19239 SOS 6574 HAS SOPS 6175 HAS SOUS 2818 HAS SOUPS 2803 WITH SCORE 2809.574
AT ITER 3398 NEW BEST:: SOT 19223 SOS 6558 HAS SOPS 6159 HAS SOUS 2818 HAS SOUPS 2803 WITH SCORE 2809.558
AT ITER 3528 NEW BEST:: SOT 19185 SOS 6586 HAS SOPS 6584 HAS SOUS 2772 HAS SOUPS 2771 WITH SCORE 2777.586
AT ITER 3577 NEW BEST:: SOT 19185 SOS 6584 HAS SOPS 6582 HAS SOUS 2772 HAS SOUPS 2771 WITH SCORE 2777.584
AT ITER 3595 NEW BEST:: SOT 19185 SOS 6578 HAS SOPS 6576 HAS SOUS 2769 HAS SOUPS 2768 WITH SCORE 2774.578
AT ITER 3658 NEW BEST:: SOT 19187 SOS 6572 HAS SOPS 6570 HAS SOUS 2769 HAS SOUPS 2768 WITH SCORE 2774.572
AT ITER 3690 NEW BEST:: SOT 19209 SOS 6582 HAS SOPS 6580 HAS SOUS 2753 HAS SOUPS 2752 WITH SCORE 2758.582
AT ITER 3700 NEW BEST:: SOT 19209 SOS 6579 HAS SOPS 6577 HAS SOUS 2750 HAS SOUPS 2749 WITH SCORE 2755.579
AT ITER 3705 NEW BEST:: SOT 19185 SOS 6565 HAS SOPS 6303 HAS SOUS 2741 HAS SOUPS 2731 WITH SCORE 2737.565
AT ITER 3723 NEW BEST:: SOT 19182 SOS 6530 HAS SOPS 6268 HAS SOUS 2698 HAS SOUPS 2688 WITH SCORE 2694.53
AT ITER 3824 NEW BEST:: SOT 19175 SOS 6522 HAS SOPS 6260 HAS SOUS 2688 HAS SOUPS 2678 WITH SCORE 2684.522
AT ITER 3860 NEW BEST:: SOT 19181 SOS 6518 HAS SOPS 6256 HAS SOUS 2686 HAS SOUPS 2676 WITH SCORE 2682.518
AT ITER 3872 NEW BEST:: SOT 19167 SOS 6497 HAS SOPS 6235 HAS SOUS 2665 HAS SOUPS 2655 WITH SCORE 2661.497
AT ITER 3883 NEW BEST:: SOT 19167 SOS 6495 HAS SOPS 6233 HAS SOUS 2664 HAS SOUPS 2654 WITH SCORE 2660.495
AT ITER 3897 NEW BEST:: SOT 19163 SOS 6489 HAS SOPS 6227 HAS SOUS 2658 HAS SOUPS 2648 WITH SCORE 2654.489
AT ITER 3904 NEW BEST:: SOT 19166 SOS 6483 HAS SOPS 6221 HAS SOUS 2656 HAS SOUPS 2646 WITH SCORE 2652.483
AT ITER 3931 NEW BEST:: SOT 19162 SOS 6479 HAS SOPS 6217 HAS SOUS 2648 HAS SOUPS 2638 WITH SCORE 2644.479
AT ITER 3941 NEW BEST:: SOT 19096 SOS 6413 HAS SOPS 6151 HAS SOUS 2582 HAS SOUPS 2572 WITH SCORE 2578.413
AT ITER 3949 NEW BEST:: SOT 19104 SOS 6411 HAS SOPS 6149 HAS SOUS 2579 HAS SOUPS 2569 WITH SCORE 2575.411
AT ITER 3960 NEW BEST:: SOT 19088 SOS 6379 HAS SOPS 6117 HAS SOUS 2563 HAS SOUPS 2553 WITH SCORE 2559.379
AT ITER 3978 NEW BEST:: SOT 19087 SOS 6373 HAS SOPS 6111 HAS SOUS 2556 HAS SOUPS 2546 WITH SCORE 2552.373
AT ITER 3993 NEW BEST:: SOT 19084 SOS 6380 HAS SOPS 6118 HAS SOUS 2555 HAS SOUPS 2545 WITH SCORE 2551.38
AT ITER 4006 NEW BEST:: SOT 19083 SOS 6379 HAS SOPS 6117 HAS SOUS 2555 HAS SOUPS 2545 WITH SCORE 2551.379
AT ITER 4009 NEW BEST:: SOT 19079 SOS 6371 HAS SOPS 6109 HAS SOUS 2551 HAS SOUPS 2541 WITH SCORE 2547.371
AT ITER 4046 NEW BEST:: SOT 19075 SOS 6371 HAS SOPS 6109 HAS SOUS 2547 HAS SOUPS 2537 WITH SCORE 2543.371
AT ITER 4055 NEW BEST:: SOT 19077 SOS 6367 HAS SOPS 6105 HAS SOUS 2546 HAS SOUPS 2536 WITH SCORE 2542.367
AT ITER 4066 NEW BEST:: SOT 19073 SOS 6363 HAS SOPS 6101 HAS SOUS 2538 HAS SOUPS 2528 WITH SCORE 2534.363
AT ITER 4146 NEW BEST:: SOT 19077 SOS 6363 HAS SOPS 6101 HAS SOUS 2530 HAS SOUPS 2520 WITH SCORE 2526.363
AT ITER 4172 NEW BEST:: SOT 19076 SOS 6361 HAS SOPS 6099 HAS SOUS 2523 HAS SOUPS 2513 WITH SCORE 2519.361
AT ITER 4187 NEW BEST:: SOT 19081 SOS 6366 HAS SOPS 6104 HAS SOUS 2514 HAS SOUPS 2504 WITH SCORE 2510.366
AT ITER 4191 NEW BEST:: SOT 19077 SOS 6359 HAS SOPS 6097 HAS SOUS 2506 HAS SOUPS 2496 WITH SCORE 2502.359
AT ITER 4197 NEW BEST:: SOT 19077 SOS 6365 HAS SOPS 6103 HAS SOUS 2500 HAS SOUPS 2490 WITH SCORE 2496.365
AT ITER 4223 NEW BEST:: SOT 19076 SOS 6365 HAS SOPS 6103 HAS SOUS 2499 HAS SOUPS 2489 WITH SCORE 2495.365
AT ITER 4239 NEW BEST:: SOT 19076 SOS 6347 HAS SOPS 6085 HAS SOUS 2490 HAS SOUPS 2480 WITH SCORE 2486.347
AT ITER 4256 NEW BEST:: SOT 19059 SOS 6340 HAS SOPS 6078 HAS SOUS 2488 HAS SOUPS 2478 WITH SCORE 2484.34
AT ITER 4263 NEW BEST:: SOT 19058 SOS 6337 HAS SOPS 6075 HAS SOUS 2484 HAS SOUPS 2474 WITH SCORE 2480.337
AT ITER 4271 NEW BEST:: SOT 19046 SOS 6315 HAS SOPS 6053 HAS SOUS 2464 HAS SOUPS 2454 WITH SCORE 2460.315
AT ITER 4273 NEW BEST:: SOT 19045 SOS 6309 HAS SOPS 6047 HAS SOUS 2460 HAS SOUPS 2450 WITH SCORE 2456.309
AT ITER 4316 NEW BEST:: SOT 19018 SOS 6282 HAS SOPS 6020 HAS SOUS 2438 HAS SOUPS 2428 WITH SCORE 2434.282
AT ITER 4317 NEW BEST:: SOT 19022 SOS 6274 HAS SOPS 6012 HAS SOUS 2438 HAS SOUPS 2428 WITH SCORE 2434.274
AT ITER 4354 NEW BEST:: SOT 19020 SOS 6272 HAS SOPS 6010 HAS SOUS 2435 HAS SOUPS 2425 WITH SCORE 2431.272
AT ITER 4362 NEW BEST:: SOT 19020 SOS 6260 HAS SOPS 5998 HAS SOUS 2423 HAS SOUPS 2413 WITH SCORE 2419.26
AT ITER 4384 NEW BEST:: SOT 19028 SOS 6255 HAS SOPS 5993 HAS SOUS 2419 HAS SOUPS 2409 WITH SCORE 2415.255
AT ITER 4424 NEW BEST:: SOT 19028 SOS 6252 HAS SOPS 5990 HAS SOUS 2416 HAS SOUPS 2406 WITH SCORE 2412.252
AT ITER 4446 NEW BEST:: SOT 18998 SOS 6236 HAS SOPS 5974 HAS SOUS 2409 HAS SOUPS 2399 WITH SCORE 2405.236
AT ITER 4453 NEW BEST:: SOT 18996 SOS 6232 HAS SOPS 5970 HAS SOUS 2405 HAS SOUPS 2395 WITH SCORE 2401.232
AT ITER 4470 NEW BEST:: SOT 18993 SOS 6226 HAS SOPS 5964 HAS SOUS 2399 HAS SOUPS 2389 WITH SCORE 2395.226
AT ITER 4481 NEW BEST:: SOT 18995 SOS 6226 HAS SOPS 5964 HAS SOUS 2397 HAS SOUPS 2387 WITH SCORE 2393.226
AT ITER 4490 NEW BEST:: SOT 18998 SOS 6220 HAS SOPS 5958 HAS SOUS 2389 HAS SOUPS 2379 WITH SCORE 2385.22
AT ITER 4536 NEW BEST:: SOT 18998 SOS 6216 HAS SOPS 5954 HAS SOUS 2387 HAS SOUPS 2377 WITH SCORE 2383.216
AT ITER 4568 NEW BEST:: SOT 18997 SOS 6213 HAS SOPS 5951 HAS SOUS 2385 HAS SOUPS 2375 WITH SCORE 2381.213
AT ITER 4722 NEW BEST:: SOT 18997 SOS 6198 HAS SOPS 5936 HAS SOUS 2369 HAS SOUPS 2359 WITH SCORE 2365.198
AT ITER 4765 NEW BEST:: SOT 18995 SOS 6195 HAS SOPS 5933 HAS SOUS 2365 HAS SOUPS 2355 WITH SCORE 2361.195
AT ITER 4767 NEW BEST:: SOT 18992 SOS 6191 HAS SOPS 5929 HAS SOUS 2362 HAS SOUPS 2352 WITH SCORE 2358.191
AT ITER 4778 NEW BEST:: SOT 18990 SOS 6184 HAS SOPS 5922 HAS SOUS 2357 HAS SOUPS 2347 WITH SCORE 2353.184
AT ITER 4822 NEW BEST:: SOT 18981 SOS 6175 HAS SOPS 5913 HAS SOUS 2339 HAS SOUPS 2329 WITH SCORE 2335.175
AT ITER 4893 NEW BEST:: SOT 18987 SOS 6175 HAS SOPS 5913 HAS SOUS 2327 HAS SOUPS 2317 WITH SCORE 2323.175
AT ITER 4965 NEW BEST:: SOT 18979 SOS 6173 HAS SOPS 5911 HAS SOUS 2325 HAS SOUPS 2315 WITH SCORE 2321.173
AT ITER 5071 NEW BEST:: SOT 18976 SOS 6168 HAS SOPS 5906 HAS SOUS 2322 HAS SOUPS 2312 WITH SCORE 2318.168
AT ITER 5079 NEW BEST:: SOT 18975 SOS 6167 HAS SOPS 5905 HAS SOUS 2321 HAS SOUPS 2311 WITH SCORE 2317.167
AT ITER 5119 NEW BEST:: SOT 18969 SOS 6144 HAS SOPS 5882 HAS SOUS 2309 HAS SOUPS 2299 WITH SCORE 2305.144
AT ITER 5129 NEW BEST:: SOT 18979 SOS 6144 HAS SOPS 5882 HAS SOUS 2297 HAS SOUPS 2287 WITH SCORE 2293.144
AT ITER 5131 NEW BEST:: SOT 18988 SOS 6147 HAS SOPS 5885 HAS SOUS 2291 HAS SOUPS 2281 WITH SCORE 2287.147
AT ITER 5191 NEW BEST:: SOT 18988 SOS 6144 HAS SOPS 5882 HAS SOUS 2288 HAS SOUPS 2278 WITH SCORE 2284.144
AT ITER 5224 NEW BEST:: SOT 18987 SOS 6143 HAS SOPS 5881 HAS SOUS 2287 HAS SOUPS 2277 WITH SCORE 2283.143
AT ITER 5313 NEW BEST:: SOT 18977 SOS 6133 HAS SOPS 5871 HAS SOUS 2282 HAS SOUPS 2272 WITH SCORE 2278.133
AT ITER 5385 NEW BEST:: SOT 18977 SOS 6130 HAS SOPS 5868 HAS SOUS 2282 HAS SOUPS 2272 WITH SCORE 2278.13
AT ITER 5394 NEW BEST:: SOT 18977 SOS 6122 HAS SOPS 5860 HAS SOUS 2278 HAS SOUPS 2268 WITH SCORE 2274.122
AT ITER 5447 NEW BEST:: SOT 18971 SOS 6100 HAS SOPS 5838 HAS SOUS 2258 HAS SOUPS 2248 WITH SCORE 2254.1
AT ITER 5558 NEW BEST:: SOT 18962 SOS 6101 HAS SOPS 5839 HAS SOUS 2254 HAS SOUPS 2244 WITH SCORE 2250.101
AT ITER 5608 NEW BEST:: SOT 18951 SOS 6089 HAS SOPS 5827 HAS SOUS 2241 HAS SOUPS 2231 WITH SCORE 2237.089
AT ITER 5617 NEW BEST:: SOT 18943 SOS 6085 HAS SOPS 5823 HAS SOUS 2236 HAS SOUPS 2226 WITH SCORE 2232.085
AT ITER 5622 NEW BEST:: SOT 18941 SOS 6480 HAS SOPS 5971 HAS SOUS 2238 HAS SOUPS 2220 WITH SCORE 2226.48
AT ITER 5690 NEW BEST:: SOT 18939 SOS 6478 HAS SOPS 5969 HAS SOUS 2234 HAS SOUPS 2216 WITH SCORE 2222.478
AT ITER 5853 NEW BEST:: SOT 18939 SOS 6470 HAS SOPS 5961 HAS SOUS 2226 HAS SOUPS 2208 WITH SCORE 2214.47
AT ITER 5866 NEW BEST:: SOT 18939 SOS 6467 HAS SOPS 5958 HAS SOUS 2224 HAS SOUPS 2206 WITH SCORE 2212.467
AT ITER 5891 NEW BEST:: SOT 18934 SOS 6463 HAS SOPS 5954 HAS SOUS 2222 HAS SOUPS 2204 WITH SCORE 2210.463
AT ITER 5892 NEW BEST:: SOT 18928 SOS 6457 HAS SOPS 5948 HAS SOUS 2210 HAS SOUPS 2192 WITH SCORE 2198.457
AT ITER 5923 NEW BEST:: SOT 18926 SOS 6463 HAS SOPS 5954 HAS SOUS 2206 HAS SOUPS 2188 WITH SCORE 2194.463
AT ITER 5926 NEW BEST:: SOT 18922 SOS 6458 HAS SOPS 5949 HAS SOUS 2203 HAS SOUPS 2185 WITH SCORE 2191.458
AT ITER 5927 NEW BEST:: SOT 18923 SOS 6463 HAS SOPS 5954 HAS SOUS 2202 HAS SOUPS 2184 WITH SCORE 2190.463
AT ITER 5971 NEW BEST:: SOT 18911 SOS 6451 HAS SOPS 5942 HAS SOUS 2199 HAS SOUPS 2181 WITH SCORE 2187.451
AT ITER 5986 NEW BEST:: SOT 18911 SOS 6450 HAS SOPS 5941 HAS SOUS 2199 HAS SOUPS 2181 WITH SCORE 2187.45
AT ITER 6008 NEW BEST:: SOT 18909 SOS 6446 HAS SOPS 5937 HAS SOUS 2197 HAS SOUPS 2179 WITH SCORE 2185.446
AT ITER 6116 NEW BEST:: SOT 18890 SOS 6427 HAS SOPS 5918 HAS SOUS 2178 HAS SOUPS 2160 WITH SCORE 2166.427
AT ITER 6141 NEW BEST:: SOT 18892 SOS 6425 HAS SOPS 5916 HAS SOUS 2173 HAS SOUPS 2155 WITH SCORE 2161.425
AT ITER 6244 NEW BEST:: SOT 18893 SOS 6430 HAS SOPS 5921 HAS SOUS 2171 HAS SOUPS 2153 WITH SCORE 2159.43
AT ITER 6526 NEW BEST:: SOT 18879 SOS 6416 HAS SOPS 5907 HAS SOUS 2171 HAS SOUPS 2153 WITH SCORE 2159.416
AT ITER 6587 NEW BEST:: SOT 18878 SOS 6232 HAS SOPS 5816 HAS SOUS 2165 HAS SOUPS 2150 WITH SCORE 2156.232
AT ITER 6598 NEW BEST:: SOT 18865 SOS 6219 HAS SOPS 5803 HAS SOUS 2139 HAS SOUPS 2124 WITH SCORE 2130.219
AT ITER 6600 NEW BEST:: SOT 18866 SOS 6215 HAS SOPS 5797 HAS SOUS 2135 HAS SOUPS 2120 WITH SCORE 2126.215
AT ITER 6645 NEW BEST:: SOT 18864 SOS 6213 HAS SOPS 5795 HAS SOUS 2134 HAS SOUPS 2119 WITH SCORE 2125.213
AT ITER 6651 NEW BEST:: SOT 18866 SOS 6193 HAS SOPS 5775 HAS SOUS 2120 HAS SOUPS 2105 WITH SCORE 2111.193
AT ITER 6654 NEW BEST:: SOT 18863 SOS 6189 HAS SOPS 5771 HAS SOUS 2116 HAS SOUPS 2101 WITH SCORE 2107.189
AT ITER 6657 NEW BEST:: SOT 18864 SOS 6191 HAS SOPS 5773 HAS SOUS 2109 HAS SOUPS 2094 WITH SCORE 2100.191
AT ITER 6684 NEW BEST:: SOT 18864 SOS 6183 HAS SOPS 5765 HAS SOUS 2101 HAS SOUPS 2086 WITH SCORE 2092.183
AT ITER 6691 NEW BEST:: SOT 18866 SOS 6183 HAS SOPS 5761 HAS SOUS 2099 HAS SOUPS 2084 WITH SCORE 2090.183
AT ITER 6751 NEW BEST:: SOT 18865 SOS 6184 HAS SOPS 5762 HAS SOUS 2098 HAS SOUPS 2083 WITH SCORE 2089.184
AT ITER 6792 NEW BEST:: SOT 18857 SOS 6156 HAS SOPS 5734 HAS SOUS 2070 HAS SOUPS 2055 WITH SCORE 2061.156
AT ITER 6830 NEW BEST:: SOT 18804 SOS 6132 HAS SOPS 6099 HAS SOUS 2022 HAS SOUPS 2020 WITH SCORE 2026.132
AT ITER 6839 NEW BEST:: SOT 18802 SOS 6132 HAS SOPS 6099 HAS SOUS 2020 HAS SOUPS 2018 WITH SCORE 2024.132
AT ITER 6854 NEW BEST:: SOT 18752 SOS 6304 HAS SOPS 6302 HAS SOUS 1965 HAS SOUPS 1964 WITH SCORE 1970.304
AT ITER 6865 NEW BEST:: SOT 18746 SOS 6298 HAS SOPS 6296 HAS SOUS 1959 HAS SOUPS 1958 WITH SCORE 1964.298
AT ITER 6895 NEW BEST:: SOT 18746 SOS 6298 HAS SOPS 6296 HAS SOUS 1954 HAS SOUPS 1953 WITH SCORE 1959.298
AT ITER 6919 NEW BEST:: SOT 18745 SOS 6293 HAS SOPS 6291 HAS SOUS 1950 HAS SOUPS 1949 WITH SCORE 1955.293
AT ITER 6925 NEW BEST:: SOT 18733 SOS 6658 HAS SOPS 6656 HAS SOUS 1947 HAS SOUPS 1946 WITH SCORE 1952.658
AT ITER 6926 NEW BEST:: SOT 18728 SOS 6651 HAS SOPS 6649 HAS SOUS 1941 HAS SOUPS 1940 WITH SCORE 1946.651
AT ITER 6951 NEW BEST:: SOT 18675 SOS 6629 HAS SOPS 6627 HAS SOUS 1937 HAS SOUPS 1936 WITH SCORE 1942.629
AT ITER 7101 NEW BEST:: SOT 18673 SOS 6625 HAS SOPS 6623 HAS SOUS 1935 HAS SOUPS 1934 WITH SCORE 1940.625
AT ITER 7126 NEW BEST:: SOT 18673 SOS 6624 HAS SOPS 6622 HAS SOUS 1931 HAS SOUPS 1930 WITH SCORE 1936.624
AT ITER 7130 NEW BEST:: SOT 18673 SOS 6619 HAS SOPS 6617 HAS SOUS 1928 HAS SOUPS 1927 WITH SCORE 1933.619
AT ITER 7133 NEW BEST:: SOT 18669 SOS 6615 HAS SOPS 6613 HAS SOUS 1924 HAS SOUPS 1923 WITH SCORE 1929.615
AT ITER 7175 NEW BEST:: SOT 18667 SOS 6613 HAS SOPS 6611 HAS SOUS 1924 HAS SOUPS 1923 WITH SCORE 1929.613
AT ITER 7268 NEW BEST:: SOT 18669 SOS 6615 HAS SOPS 6613 HAS SOUS 1921 HAS SOUPS 1920 WITH SCORE 1926.615
AT ITER 7316 NEW BEST:: SOT 18665 SOS 6611 HAS SOPS 6609 HAS SOUS 1917 HAS SOUPS 1916 WITH SCORE 1922.611
AT ITER 7324 NEW BEST:: SOT 18665 SOS 6608 HAS SOPS 6606 HAS SOUS 1916 HAS SOUPS 1915 WITH SCORE 1921.608
AT ITER 7353 NEW BEST:: SOT 18658 SOS 6690 HAS SOPS 6589 HAS SOUS 1916 HAS SOUPS 1912 WITH SCORE 1918.69
AT ITER 7354 NEW BEST:: SOT 18627 SOS 6667 HAS SOPS 6566 HAS SOUS 1898 HAS SOUPS 1894 WITH SCORE 1900.667
AT ITER 7401 NEW BEST:: SOT 18626 SOS 6665 HAS SOPS 6564 HAS SOUS 1895 HAS SOUPS 1891 WITH SCORE 1897.665
AT ITER 7413 NEW BEST:: SOT 18620 SOS 6656 HAS SOPS 6555 HAS SOUS 1889 HAS SOUPS 1885 WITH SCORE 1891.656
AT ITER 7425 NEW BEST:: SOT 18618 SOS 6654 HAS SOPS 6553 HAS SOUS 1888 HAS SOUPS 1884 WITH SCORE 1890.654
AT ITER 7450 NEW BEST:: SOT 18616 SOS 6652 HAS SOPS 6551 HAS SOUS 1888 HAS SOUPS 1884 WITH SCORE 1890.652
AT ITER 7459 NEW BEST:: SOT 18618 SOS 6650 HAS SOPS 6549 HAS SOUS 1886 HAS SOUPS 1882 WITH SCORE 1888.65
AT ITER 7476 NEW BEST:: SOT 18614 SOS 6647 HAS SOPS 6546 HAS SOUS 1886 HAS SOUPS 1882 WITH SCORE 1888.647
AT ITER 7491 NEW BEST:: SOT 18614 SOS 6645 HAS SOPS 6544 HAS SOUS 1885 HAS SOUPS 1881 WITH SCORE 1887.645
AT ITER 7533 NEW BEST:: SOT 18604 SOS 6631 HAS SOPS 6530 HAS SOUS 1880 HAS SOUPS 1876 WITH SCORE 1882.631
AT ITER 7570 NEW BEST:: SOT 18604 SOS 6625 HAS SOPS 6524 HAS SOUS 1868 HAS SOUPS 1864 WITH SCORE 1870.625
AT ITER 7571 NEW BEST:: SOT 18600 SOS 6621 HAS SOPS 6520 HAS SOUS 1860 HAS SOUPS 1856 WITH SCORE 1862.621
AT ITER 7614 NEW BEST:: SOT 18599 SOS 6619 HAS SOPS 6518 HAS SOUS 1858 HAS SOUPS 1854 WITH SCORE 1860.619
AT ITER 7703 NEW BEST:: SOT 18561 SOS 6829 HAS SOPS 6827 HAS SOUS 1821 HAS SOUPS 1820 WITH SCORE 1826.829
AT ITER 7717 NEW BEST:: SOT 18562 SOS 6827 HAS SOPS 6825 HAS SOUS 1820 HAS SOUPS 1819 WITH SCORE 1825.827
AT ITER 7843 NEW BEST:: SOT 18555 SOS 6797 HAS SOPS 6795 HAS SOUS 1797 HAS SOUPS 1796 WITH SCORE 1802.797
AT ITER 7887 NEW BEST:: SOT 18551 SOS 6793 HAS SOPS 6791 HAS SOUS 1789 HAS SOUPS 1788 WITH SCORE 1794.793
AT ITER 7908 NEW BEST:: SOT 18550 SOS 6791 HAS SOPS 6789 HAS SOUS 1786 HAS SOUPS 1785 WITH SCORE 1791.791
AT ITER 7959 NEW BEST:: SOT 18550 SOS 6777 HAS SOPS 6775 HAS SOUS 1779 HAS SOUPS 1778 WITH SCORE 1784.777
AT ITER 8024 NEW BEST:: SOT 18534 SOS 6767 HAS SOPS 6765 HAS SOUS 1773 HAS SOUPS 1772 WITH SCORE 1778.767
AT ITER 8173 NEW BEST:: SOT 18532 SOS 6761 HAS SOPS 6759 HAS SOUS 1767 HAS SOUPS 1766 WITH SCORE 1772.761
AT ITER 8245 NEW BEST:: SOT 18537 SOS 6762 HAS SOPS 6760 HAS SOUS 1764 HAS SOUPS 1763 WITH SCORE 1769.762
AT ITER 8249 NEW BEST:: SOT 18537 SOS 6760 HAS SOPS 6758 HAS SOUS 1760 HAS SOUPS 1759 WITH SCORE 1765.76
AT ITER 8314 NEW BEST:: SOT 18492 SOS 6713 HAS SOPS 6711 HAS SOUS 1715 HAS SOUPS 1714 WITH SCORE 1720.713
AT ITER 8382 NEW BEST:: SOT 18489 SOS 6712 HAS SOPS 6710 HAS SOUS 1713 HAS SOUPS 1712 WITH SCORE 1718.712
AT ITER 8441 NEW BEST:: SOT 18490 SOS 6708 HAS SOPS 6706 HAS SOUS 1711 HAS SOUPS 1710 WITH SCORE 1716.708
AT ITER 8501 NEW BEST:: SOT 18494 SOS 6712 HAS SOPS 6710 HAS SOUS 1710 HAS SOUPS 1709 WITH SCORE 1715.712
AT ITER 8583 NEW BEST:: SOT 18490 SOS 6713 HAS SOPS 6711 HAS SOUS 1709 HAS SOUPS 1708 WITH SCORE 1714.713
AT ITER 8601 NEW BEST:: SOT 18490 SOS 6712 HAS SOPS 6710 HAS SOUS 1709 HAS SOUPS 1708 WITH SCORE 1714.712
AT ITER 8618 NEW BEST:: SOT 18482 SOS 6704 HAS SOPS 6702 HAS SOUS 1699 HAS SOUPS 1698 WITH SCORE 1704.704
AT ITER 8670 NEW BEST:: SOT 18476 SOS 6699 HAS SOPS 6697 HAS SOUS 1699 HAS SOUPS 1698 WITH SCORE 1704.699
AT ITER 8862 NEW BEST:: SOT 18476 SOS 6698 HAS SOPS 6696 HAS SOUS 1698 HAS SOUPS 1697 WITH SCORE 1703.698
AT ITER 8942 NEW BEST:: SOT 18470 SOS 6692 HAS SOPS 6690 HAS SOUS 1695 HAS SOUPS 1694 WITH SCORE 1700.692
AT ITER 9108 NEW BEST:: SOT 18471 SOS 6690 HAS SOPS 6688 HAS SOUS 1695 HAS SOUPS 1694 WITH SCORE 1700.69
AT ITER 9251 NEW BEST:: SOT 18471 SOS 6689 HAS SOPS 6687 HAS SOUS 1695 HAS SOUPS 1694 WITH SCORE 1700.689
AT ITER 9297 NEW BEST:: SOT 18464 SOS 6672 HAS SOPS 6670 HAS SOUS 1681 HAS SOUPS 1680 WITH SCORE 1686.672
AT ITER 9320 NEW BEST:: SOT 18463 SOS 6669 HAS SOPS 6667 HAS SOUS 1681 HAS SOUPS 1680 WITH SCORE 1686.669
AT ITER 9370 NEW BEST:: SOT 18463 SOS 6669 HAS SOPS 6667 HAS SOUS 1680 HAS SOUPS 1679 WITH SCORE 1685.669
AT ITER 9382 NEW BEST:: SOT 18460 SOS 6666 HAS SOPS 6664 HAS SOUS 1680 HAS SOUPS 1679 WITH SCORE 1685.666
AT ITER 9386 NEW BEST:: SOT 18459 SOS 6665 HAS SOPS 6663 HAS SOUS 1679 HAS SOUPS 1678 WITH SCORE 1684.665
AT ITER 9452 NEW BEST:: SOT 18449 SOS 6655 HAS SOPS 6653 HAS SOUS 1659 HAS SOUPS 1658 WITH SCORE 1664.655
AT ITER 9500 NEW BEST:: SOT 18451 SOS 6654 HAS SOPS 6652 HAS SOUS 1659 HAS SOUPS 1658 WITH SCORE 1664.654
AT ITER 9544 NEW BEST:: SOT 18454 SOS 6650 HAS SOPS 6648 HAS SOUS 1654 HAS SOUPS 1653 WITH SCORE 1659.65
AT ITER 9615 NEW BEST:: SOT 18439 SOS 6644 HAS SOPS 6642 HAS SOUS 1652 HAS SOUPS 1651 WITH SCORE 1657.644
AT ITER 9723 NEW BEST:: SOT 18441 SOS 6648 HAS SOPS 6646 HAS SOUS 1651 HAS SOUPS 1650 WITH SCORE 1656.648
AT ITER 9730 NEW BEST:: SOT 18440 SOS 6647 HAS SOPS 6645 HAS SOUS 1650 HAS SOUPS 1649 WITH SCORE 1655.647
STATE_SPACE STATES 7253530602356856934379453 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 42 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 256291276829733742369547622 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678462860668

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

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="GPUForwardProgress-PT-40a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is GPUForwardProgress-PT-40a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r195-smll-167840342000152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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