Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140500428.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is JoinFreeModules-PT-0050, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140500428
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 4.2K Apr 7 18:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 7 18:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 20:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 6 04:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 04:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 5 10:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 5 10:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 282K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-00
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-01
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-02
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-03
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-04
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-05
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-06
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-07
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-08
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-09
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-10
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-11
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-12
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-13
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-14
FORMULA_NAME JoinFreeModules-PT-0050-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589616822485

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0050
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 251 places, 401 transitions, 1152 arcs.
AT ITER 0 NEW BEST:: SOT 70451 SOS 47951 HAS SOPS 47900 HAS SOUS 47951 HAS SOUPS 47900 WITH SCORE 47947.951
AT ITER 1 NEW BEST:: SOT 70277 SOS 47834 HAS SOPS 47660 HAS SOUS 47834 HAS SOUPS 47660 WITH SCORE 47707.834
AT ITER 2 NEW BEST:: SOT 70291 SOS 47814 HAS SOPS 47640 HAS SOUS 47814 HAS SOUPS 47640 WITH SCORE 47687.814
AT ITER 3 NEW BEST:: SOT 70299 SOS 47739 HAS SOPS 47506 HAS SOUS 47639 HAS SOUPS 47406 WITH SCORE 47453.739
AT ITER 4 NEW BEST:: SOT 70342 SOS 47696 HAS SOPS 47463 HAS SOUS 47596 HAS SOUPS 47363 WITH SCORE 47410.696
AT ITER 5 NEW BEST:: SOT 70335 SOS 47573 HAS SOPS 47340 HAS SOUS 47385 HAS SOUPS 47152 WITH SCORE 47199.573
AT ITER 7 NEW BEST:: SOT 70320 SOS 47498 HAS SOPS 47265 HAS SOUS 47310 HAS SOUPS 47077 WITH SCORE 47124.498
AT ITER 13 NEW BEST:: SOT 70210 SOS 47145 HAS SOPS 46912 HAS SOUS 46859 HAS SOUPS 46626 WITH SCORE 46673.145
AT ITER 14 NEW BEST:: SOT 69959 SOS 46794 HAS SOPS 46561 HAS SOUS 46508 HAS SOUPS 46275 WITH SCORE 46321.794
AT ITER 15 NEW BEST:: SOT 69853 SOS 46535 HAS SOPS 46302 HAS SOUS 46245 HAS SOUPS 46012 WITH SCORE 46058.535
AT ITER 18 NEW BEST:: SOT 69853 SOS 46535 HAS SOPS 46302 HAS SOUS 46231 HAS SOUPS 45998 WITH SCORE 46044.535
AT ITER 22 NEW BEST:: SOT 69732 SOS 46169 HAS SOPS 45936 HAS SOUS 45809 HAS SOUPS 45576 WITH SCORE 45622.169
AT ITER 25 NEW BEST:: SOT 69630 SOS 45936 HAS SOPS 45703 HAS SOUS 45576 HAS SOUPS 45343 WITH SCORE 45388.936
AT ITER 26 NEW BEST:: SOT 69646 SOS 45829 HAS SOPS 45596 HAS SOUS 45514 HAS SOUPS 45281 WITH SCORE 45326.829
AT ITER 27 NEW BEST:: SOT 69624 SOS 45737 HAS SOPS 45504 HAS SOUS 45497 HAS SOUPS 45264 WITH SCORE 45309.737
AT ITER 28 NEW BEST:: SOT 69541 SOS 45558 HAS SOPS 45325 HAS SOUS 45318 HAS SOUPS 45085 WITH SCORE 45130.558
AT ITER 31 NEW BEST:: SOT 69622 SOS 45515 HAS SOPS 45282 HAS SOUS 45275 HAS SOUPS 45042 WITH SCORE 45087.515
AT ITER 33 NEW BEST:: SOT 69541 SOS 45212 HAS SOPS 44979 HAS SOUS 44873 HAS SOUPS 44640 WITH SCORE 44685.212
AT ITER 37 NEW BEST:: SOT 69459 SOS 45102 HAS SOPS 44869 HAS SOUS 44663 HAS SOUPS 44430 WITH SCORE 44475.102
AT ITER 38 NEW BEST:: SOT 69431 SOS 44962 HAS SOPS 44729 HAS SOUS 44523 HAS SOUPS 44290 WITH SCORE 44334.962
AT ITER 40 NEW BEST:: SOT 69479 SOS 44954 HAS SOPS 44721 HAS SOUS 44515 HAS SOUPS 44282 WITH SCORE 44326.954
AT ITER 42 NEW BEST:: SOT 69333 SOS 44662 HAS SOPS 44429 HAS SOUS 44296 HAS SOUPS 44063 WITH SCORE 44107.662
AT ITER 45 NEW BEST:: SOT 69251 SOS 44484 HAS SOPS 44251 HAS SOUS 44118 HAS SOUPS 43885 WITH SCORE 43929.484
AT ITER 47 NEW BEST:: SOT 69123 SOS 44356 HAS SOPS 44123 HAS SOUS 43990 HAS SOUPS 43757 WITH SCORE 43801.356
AT ITER 48 NEW BEST:: SOT 69101 SOS 44291 HAS SOPS 44058 HAS SOUS 43962 HAS SOUPS 43729 WITH SCORE 43773.291
AT ITER 49 NEW BEST:: SOT 69261 SOS 44212 HAS SOPS 43979 HAS SOUS 43883 HAS SOUPS 43650 WITH SCORE 43694.212
AT ITER 53 NEW BEST:: SOT 69218 SOS 44126 HAS SOPS 43893 HAS SOUS 43797 HAS SOUPS 43564 WITH SCORE 43608.126
AT ITER 57 NEW BEST:: SOT 69116 SOS 43685 HAS SOPS 43452 HAS SOUS 43263 HAS SOUPS 43030 WITH SCORE 43073.685
AT ITER 58 NEW BEST:: SOT 69111 SOS 43610 HAS SOPS 43377 HAS SOUS 43188 HAS SOUPS 42955 WITH SCORE 42998.61
AT ITER 59 NEW BEST:: SOT 68876 SOS 43210 HAS SOPS 42977 HAS SOUS 42695 HAS SOUPS 42462 WITH SCORE 42505.21
AT ITER 60 NEW BEST:: SOT 68886 SOS 43210 HAS SOPS 42977 HAS SOUS 42685 HAS SOUPS 42452 WITH SCORE 42495.21
AT ITER 63 NEW BEST:: SOT 68804 SOS 43162 HAS SOPS 42929 HAS SOUS 42637 HAS SOUPS 42404 WITH SCORE 42447.162
AT ITER 65 NEW BEST:: SOT 68759 SOS 42937 HAS SOPS 42704 HAS SOUS 42412 HAS SOUPS 42179 WITH SCORE 42221.937
AT ITER 66 NEW BEST:: SOT 68711 SOS 42793 HAS SOPS 42560 HAS SOUS 42316 HAS SOUPS 42083 WITH SCORE 42125.793
AT ITER 68 NEW BEST:: SOT 68694 SOS 42700 HAS SOPS 42467 HAS SOUS 42223 HAS SOUPS 41990 WITH SCORE 42032.7
AT ITER 74 NEW BEST:: SOT 68665 SOS 42514 HAS SOPS 42281 HAS SOUS 41996 HAS SOUPS 41763 WITH SCORE 41805.514
AT ITER 75 NEW BEST:: SOT 68540 SOS 42389 HAS SOPS 42156 HAS SOUS 41871 HAS SOUPS 41638 WITH SCORE 41680.389
AT ITER 77 NEW BEST:: SOT 68596 SOS 42349 HAS SOPS 42116 HAS SOUS 41831 HAS SOUPS 41598 WITH SCORE 41640.349
AT ITER 79 NEW BEST:: SOT 68494 SOS 42125 HAS SOPS 41892 HAS SOUS 41565 HAS SOUPS 41332 WITH SCORE 41374.125
AT ITER 81 NEW BEST:: SOT 68489 SOS 42168 HAS SOPS 41935 HAS SOUS 41555 HAS SOUPS 41322 WITH SCORE 41364.168
AT ITER 83 NEW BEST:: SOT 68399 SOS 42078 HAS SOPS 41845 HAS SOUS 41465 HAS SOUPS 41232 WITH SCORE 41274.078
AT ITER 84 NEW BEST:: SOT 68301 SOS 41958 HAS SOPS 41725 HAS SOUS 41345 HAS SOUPS 41112 WITH SCORE 41153.958
AT ITER 85 NEW BEST:: SOT 68173 SOS 41702 HAS SOPS 41469 HAS SOUS 41153 HAS SOUPS 40920 WITH SCORE 40961.702
AT ITER 86 NEW BEST:: SOT 67941 SOS 41522 HAS SOPS 41289 HAS SOUS 40973 HAS SOUPS 40740 WITH SCORE 40781.522
AT ITER 88 NEW BEST:: SOT 67866 SOS 41336 HAS SOPS 41103 HAS SOUS 40814 HAS SOUPS 40581 WITH SCORE 40622.336
AT ITER 89 NEW BEST:: SOT 67846 SOS 41316 HAS SOPS 41083 HAS SOUS 40794 HAS SOUPS 40561 WITH SCORE 40602.316
AT ITER 93 NEW BEST:: SOT 67825 SOS 41257 HAS SOPS 41024 HAS SOUS 40714 HAS SOUPS 40481 WITH SCORE 40522.257
AT ITER 98 NEW BEST:: SOT 67889 SOS 41250 HAS SOPS 41017 HAS SOUS 40680 HAS SOUPS 40447 WITH SCORE 40488.25
AT ITER 100 NEW BEST:: SOT 67821 SOS 41182 HAS SOPS 40949 HAS SOUS 40612 HAS SOUPS 40379 WITH SCORE 40420.182
AT ITER 102 NEW BEST:: SOT 67674 SOS 40765 HAS SOPS 40532 HAS SOUS 40195 HAS SOUPS 39962 WITH SCORE 40002.765
AT ITER 103 NEW BEST:: SOT 67694 SOS 40548 HAS SOPS 40315 HAS SOUS 39922 HAS SOUPS 39689 WITH SCORE 39729.548
AT ITER 104 NEW BEST:: SOT 67490 SOS 40076 HAS SOPS 39843 HAS SOUS 39502 HAS SOUPS 39269 WITH SCORE 39309.076
AT ITER 106 NEW BEST:: SOT 67503 SOS 40033 HAS SOPS 39800 HAS SOUS 39394 HAS SOUPS 39161 WITH SCORE 39201.033
AT ITER 112 NEW BEST:: SOT 67501 SOS 40025 HAS SOPS 39792 HAS SOUS 39388 HAS SOUPS 39155 WITH SCORE 39195.025
AT ITER 114 NEW BEST:: SOT 67494 SOS 39958 HAS SOPS 39725 HAS SOUS 39321 HAS SOUPS 39088 WITH SCORE 39127.958
AT ITER 117 NEW BEST:: SOT 67484 SOS 39948 HAS SOPS 39715 HAS SOUS 39311 HAS SOUPS 39078 WITH SCORE 39117.948
AT ITER 118 NEW BEST:: SOT 67440 SOS 39904 HAS SOPS 39671 HAS SOUS 39260 HAS SOUPS 39027 WITH SCORE 39066.904
AT ITER 119 NEW BEST:: SOT 67367 SOS 39825 HAS SOPS 39592 HAS SOUS 39108 HAS SOUPS 38875 WITH SCORE 38914.825
AT ITER 120 NEW BEST:: SOT 67320 SOS 39684 HAS SOPS 39451 HAS SOUS 38967 HAS SOUPS 38734 WITH SCORE 38773.684
AT ITER 121 NEW BEST:: SOT 67254 SOS 39520 HAS SOPS 39287 HAS SOUS 38803 HAS SOUPS 38570 WITH SCORE 38609.52
AT ITER 123 NEW BEST:: SOT 67229 SOS 39508 HAS SOPS 39275 HAS SOUS 38791 HAS SOUPS 38558 WITH SCORE 38597.508
AT ITER 125 NEW BEST:: SOT 67091 SOS 39298 HAS SOPS 39065 HAS SOUS 38581 HAS SOUPS 38348 WITH SCORE 38387.298
AT ITER 127 NEW BEST:: SOT 67124 SOS 39347 HAS SOPS 39114 HAS SOUS 38515 HAS SOUPS 38282 WITH SCORE 38321.347
AT ITER 128 NEW BEST:: SOT 67081 SOS 39305 HAS SOPS 39072 HAS SOUS 38473 HAS SOUPS 38240 WITH SCORE 38279.305
AT ITER 134 NEW BEST:: SOT 67105 SOS 39234 HAS SOPS 39001 HAS SOUS 38402 HAS SOUPS 38169 WITH SCORE 38208.234
AT ITER 135 NEW BEST:: SOT 67073 SOS 39186 HAS SOPS 38953 HAS SOUS 38354 HAS SOUPS 38121 WITH SCORE 38160.186
AT ITER 140 NEW BEST:: SOT 67060 SOS 39015 HAS SOPS 38782 HAS SOUS 38218 HAS SOUPS 37985 WITH SCORE 38024.015
AT ITER 141 NEW BEST:: SOT 67113 SOS 38974 HAS SOPS 38741 HAS SOUS 38177 HAS SOUPS 37944 WITH SCORE 37982.974
AT ITER 151 NEW BEST:: SOT 67051 SOS 38875 HAS SOPS 38642 HAS SOUS 38078 HAS SOUPS 37845 WITH SCORE 37883.875
AT ITER 152 NEW BEST:: SOT 66937 SOS 38434 HAS SOPS 38201 HAS SOUS 37625 HAS SOUPS 37392 WITH SCORE 37430.434
AT ITER 156 NEW BEST:: SOT 66924 SOS 38382 HAS SOPS 38149 HAS SOUS 37586 HAS SOUPS 37353 WITH SCORE 37391.382
AT ITER 157 NEW BEST:: SOT 66944 SOS 38313 HAS SOPS 38080 HAS SOUS 37517 HAS SOUPS 37284 WITH SCORE 37322.313
AT ITER 159 NEW BEST:: SOT 66945 SOS 38310 HAS SOPS 38077 HAS SOUS 37514 HAS SOUPS 37281 WITH SCORE 37319.31
AT ITER 161 NEW BEST:: SOT 66807 SOS 37969 HAS SOPS 37736 HAS SOUS 37194 HAS SOUPS 36961 WITH SCORE 36998.969
AT ITER 162 NEW BEST:: SOT 66839 SOS 37916 HAS SOPS 37683 HAS SOUS 37141 HAS SOUPS 36908 WITH SCORE 36945.916
AT ITER 163 NEW BEST:: SOT 66831 SOS 37900 HAS SOPS 37667 HAS SOUS 37121 HAS SOUPS 36888 WITH SCORE 36925.9
AT ITER 164 NEW BEST:: SOT 66806 SOS 37875 HAS SOPS 37642 HAS SOUS 37096 HAS SOUPS 36863 WITH SCORE 36900.875
AT ITER 168 NEW BEST:: SOT 66811 SOS 37815 HAS SOPS 37582 HAS SOUS 37036 HAS SOUPS 36803 WITH SCORE 36840.815
AT ITER 173 NEW BEST:: SOT 66749 SOS 37686 HAS SOPS 37453 HAS SOUS 36907 HAS SOUPS 36674 WITH SCORE 36711.686
AT ITER 178 NEW BEST:: SOT 66570 SOS 37147 HAS SOPS 36914 HAS SOUS 36346 HAS SOUPS 36113 WITH SCORE 36150.147
AT ITER 179 NEW BEST:: SOT 66438 SOS 36805 HAS SOPS 36572 HAS SOUS 36004 HAS SOUPS 35771 WITH SCORE 35807.805
AT ITER 180 NEW BEST:: SOT 66342 SOS 36444 HAS SOPS 36211 HAS SOUS 35549 HAS SOUPS 35316 WITH SCORE 35352.444
AT ITER 182 NEW BEST:: SOT 66271 SOS 36373 HAS SOPS 36140 HAS SOUS 35478 HAS SOUPS 35245 WITH SCORE 35281.373
AT ITER 187 NEW BEST:: SOT 66240 SOS 36342 HAS SOPS 36109 HAS SOUS 35447 HAS SOUPS 35214 WITH SCORE 35250.342
AT ITER 189 NEW BEST:: SOT 66198 SOS 36320 HAS SOPS 36091 HAS SOUS 35425 HAS SOUPS 35196 WITH SCORE 35232.32
AT ITER 191 NEW BEST:: SOT 66147 SOS 36042 HAS SOPS 35813 HAS SOUS 35212 HAS SOUPS 34983 WITH SCORE 35019.042
AT ITER 193 NEW BEST:: SOT 66090 SOS 35966 HAS SOPS 35737 HAS SOUS 35136 HAS SOUPS 34907 WITH SCORE 34942.966
AT ITER 197 NEW BEST:: SOT 66019 SOS 35853 HAS SOPS 35624 HAS SOUS 34944 HAS SOUPS 34715 WITH SCORE 34750.853
AT ITER 204 NEW BEST:: SOT 66011 SOS 35789 HAS SOPS 35560 HAS SOUS 34880 HAS SOUPS 34651 WITH SCORE 34686.789
AT ITER 205 NEW BEST:: SOT 65953 SOS 35673 HAS SOPS 35444 HAS SOUS 34735 HAS SOUPS 34506 WITH SCORE 34541.673
AT ITER 206 NEW BEST:: SOT 65913 SOS 35513 HAS SOPS 35284 HAS SOUS 34615 HAS SOUPS 34386 WITH SCORE 34421.513
AT ITER 207 NEW BEST:: SOT 65927 SOS 35515 HAS SOPS 35286 HAS SOUS 34612 HAS SOUPS 34383 WITH SCORE 34418.515
AT ITER 209 NEW BEST:: SOT 65890 SOS 35429 HAS SOPS 35200 HAS SOUS 34501 HAS SOUPS 34272 WITH SCORE 34307.429
AT ITER 211 NEW BEST:: SOT 65906 SOS 35393 HAS SOPS 35164 HAS SOUS 34465 HAS SOUPS 34236 WITH SCORE 34271.393
AT ITER 214 NEW BEST:: SOT 65855 SOS 35254 HAS SOPS 35025 HAS SOUS 34377 HAS SOUPS 34148 WITH SCORE 34183.254
AT ITER 215 NEW BEST:: SOT 65823 SOS 35051 HAS SOPS 34822 HAS SOUS 34174 HAS SOUPS 33945 WITH SCORE 33980.051
AT ITER 218 NEW BEST:: SOT 65777 SOS 34959 HAS SOPS 34730 HAS SOUS 34105 HAS SOUPS 33876 WITH SCORE 33910.959
AT ITER 223 NEW BEST:: SOT 65777 SOS 34911 HAS SOPS 34682 HAS SOUS 34057 HAS SOUPS 33828 WITH SCORE 33862.911
AT ITER 224 NEW BEST:: SOT 65747 SOS 34791 HAS SOPS 34562 HAS SOUS 33937 HAS SOUPS 33708 WITH SCORE 33742.791
AT ITER 225 NEW BEST:: SOT 65666 SOS 34628 HAS SOPS 34399 HAS SOUS 33774 HAS SOUPS 33545 WITH SCORE 33579.628
AT ITER 229 NEW BEST:: SOT 65513 SOS 34380 HAS SOPS 34151 HAS SOUS 33487 HAS SOUPS 33258 WITH SCORE 33292.38
AT ITER 231 NEW BEST:: SOT 65468 SOS 34285 HAS SOPS 34056 HAS SOUS 33392 HAS SOUPS 33163 WITH SCORE 33197.285
AT ITER 233 NEW BEST:: SOT 65334 SOS 34047 HAS SOPS 33818 HAS SOUS 33154 HAS SOUPS 32925 WITH SCORE 32959.047
AT ITER 234 NEW BEST:: SOT 65194 SOS 33519 HAS SOPS 33290 HAS SOUS 32739 HAS SOUPS 32510 WITH SCORE 32543.519
AT ITER 240 NEW BEST:: SOT 65194 SOS 33345 HAS SOPS 33116 HAS SOUS 32739 HAS SOUPS 32510 WITH SCORE 32543.345
AT ITER 244 NEW BEST:: SOT 65124 SOS 33240 HAS SOPS 33011 HAS SOUS 32599 HAS SOUPS 32370 WITH SCORE 32403.24
AT ITER 246 NEW BEST:: SOT 64980 SOS 32976 HAS SOPS 32747 HAS SOUS 32347 HAS SOUPS 32118 WITH SCORE 32150.976
AT ITER 251 NEW BEST:: SOT 64961 SOS 32845 HAS SOPS 32616 HAS SOUS 32216 HAS SOUPS 31987 WITH SCORE 32019.845
AT ITER 260 NEW BEST:: SOT 64955 SOS 32839 HAS SOPS 32610 HAS SOUS 32210 HAS SOUPS 31981 WITH SCORE 32013.839
AT ITER 263 NEW BEST:: SOT 64937 SOS 32750 HAS SOPS 32521 HAS SOUS 32121 HAS SOUPS 31892 WITH SCORE 31924.75
AT ITER 264 NEW BEST:: SOT 64830 SOS 32625 HAS SOPS 32396 HAS SOUS 31996 HAS SOUPS 31767 WITH SCORE 31799.625
AT ITER 266 NEW BEST:: SOT 64747 SOS 32533 HAS SOPS 32304 HAS SOUS 31913 HAS SOUPS 31684 WITH SCORE 31716.533
AT ITER 273 NEW BEST:: SOT 64723 SOS 32485 HAS SOPS 32256 HAS SOUS 31865 HAS SOUPS 31636 WITH SCORE 31668.485
AT ITER 277 NEW BEST:: SOT 64723 SOS 32283 HAS SOPS 32054 HAS SOUS 31711 HAS SOUPS 31482 WITH SCORE 31514.283
AT ITER 279 NEW BEST:: SOT 64665 SOS 32039 HAS SOPS 31810 HAS SOUS 31467 HAS SOUPS 31238 WITH SCORE 31270.039
AT ITER 280 NEW BEST:: SOT 64412 SOS 31771 HAS SOPS 31542 HAS SOUS 31208 HAS SOUPS 30979 WITH SCORE 31010.771
AT ITER 281 NEW BEST:: SOT 64349 SOS 31701 HAS SOPS 31472 HAS SOUS 31138 HAS SOUPS 30909 WITH SCORE 30940.701
AT ITER 283 NEW BEST:: SOT 64333 SOS 31669 HAS SOPS 31440 HAS SOUS 31106 HAS SOUPS 30877 WITH SCORE 30908.669
AT ITER 284 NEW BEST:: SOT 64289 SOS 31559 HAS SOPS 31330 HAS SOUS 30996 HAS SOUPS 30767 WITH SCORE 30798.559
AT ITER 286 NEW BEST:: SOT 64277 SOS 31558 HAS SOPS 31329 HAS SOUS 30995 HAS SOUPS 30766 WITH SCORE 30797.558
AT ITER 290 NEW BEST:: SOT 64018 SOS 31127 HAS SOPS 30898 HAS SOUS 30551 HAS SOUPS 30322 WITH SCORE 30353.127
AT ITER 292 NEW BEST:: SOT 63979 SOS 31022 HAS SOPS 30793 HAS SOUS 30446 HAS SOUPS 30217 WITH SCORE 30248.022
AT ITER 293 NEW BEST:: SOT 63940 SOS 30998 HAS SOPS 30769 HAS SOUS 30422 HAS SOUPS 30193 WITH SCORE 30223.998
AT ITER 302 NEW BEST:: SOT 64087 SOS 30975 HAS SOPS 30746 HAS SOUS 30399 HAS SOUPS 30170 WITH SCORE 30200.975
AT ITER 303 NEW BEST:: SOT 64079 SOS 30965 HAS SOPS 30736 HAS SOUS 30389 HAS SOUPS 30160 WITH SCORE 30190.965
AT ITER 306 NEW BEST:: SOT 63937 SOS 30745 HAS SOPS 30516 HAS SOUS 30169 HAS SOUPS 29940 WITH SCORE 29970.745
AT ITER 307 NEW BEST:: SOT 63935 SOS 30735 HAS SOPS 30506 HAS SOUS 30159 HAS SOUPS 29930 WITH SCORE 29960.735
AT ITER 318 NEW BEST:: SOT 63931 SOS 30671 HAS SOPS 30442 HAS SOUS 30095 HAS SOUPS 29866 WITH SCORE 29896.671
AT ITER 326 NEW BEST:: SOT 63925 SOS 30647 HAS SOPS 30418 HAS SOUS 30083 HAS SOUPS 29854 WITH SCORE 29884.647
AT ITER 331 NEW BEST:: SOT 63925 SOS 30634 HAS SOPS 30405 HAS SOUS 30070 HAS SOUPS 29841 WITH SCORE 29871.634
AT ITER 332 NEW BEST:: SOT 63902 SOS 30481 HAS SOPS 30252 HAS SOUS 29919 HAS SOUPS 29690 WITH SCORE 29720.481
AT ITER 335 NEW BEST:: SOT 63900 SOS 30419 HAS SOPS 30190 HAS SOUS 29857 HAS SOUPS 29628 WITH SCORE 29658.419
AT ITER 338 NEW BEST:: SOT 63856 SOS 30353 HAS SOPS 30124 HAS SOUS 29769 HAS SOUPS 29540 WITH SCORE 29570.353
AT ITER 341 NEW BEST:: SOT 63852 SOS 30338 HAS SOPS 30109 HAS SOUS 29754 HAS SOUPS 29525 WITH SCORE 29555.338
AT ITER 342 NEW BEST:: SOT 63852 SOS 30327 HAS SOPS 30098 HAS SOUS 29754 HAS SOUPS 29525 WITH SCORE 29555.327
AT ITER 354 NEW BEST:: SOT 63907 SOS 30160 HAS SOPS 29931 HAS SOUS 29605 HAS SOUPS 29376 WITH SCORE 29406.16
AT ITER 355 NEW BEST:: SOT 63825 SOS 30078 HAS SOPS 29849 HAS SOUS 29523 HAS SOUPS 29294 WITH SCORE 29324.078
AT ITER 361 NEW BEST:: SOT 63838 SOS 30076 HAS SOPS 29847 HAS SOUS 29521 HAS SOUPS 29292 WITH SCORE 29322.076
AT ITER 364 NEW BEST:: SOT 63768 SOS 30021 HAS SOPS 29792 HAS SOUS 29482 HAS SOUPS 29253 WITH SCORE 29283.021
AT ITER 367 NEW BEST:: SOT 63741 SOS 30015 HAS SOPS 29786 HAS SOUS 29476 HAS SOUPS 29247 WITH SCORE 29277.015
AT ITER 368 NEW BEST:: SOT 63741 SOS 30005 HAS SOPS 29776 HAS SOUS 29466 HAS SOUPS 29237 WITH SCORE 29267.005
AT ITER 370 NEW BEST:: SOT 63741 SOS 30005 HAS SOPS 29776 HAS SOUS 29459 HAS SOUPS 29230 WITH SCORE 29260.005
AT ITER 373 NEW BEST:: SOT 63652 SOS 29868 HAS SOPS 29639 HAS SOUS 29322 HAS SOUPS 29093 WITH SCORE 29122.868
AT ITER 385 NEW BEST:: SOT 63639 SOS 29816 HAS SOPS 29587 HAS SOUS 29283 HAS SOUPS 29054 WITH SCORE 29083.816
AT ITER 386 NEW BEST:: SOT 63629 SOS 29762 HAS SOPS 29533 HAS SOUS 29254 HAS SOUPS 29025 WITH SCORE 29054.762
AT ITER 387 NEW BEST:: SOT 63685 SOS 29586 HAS SOPS 29357 HAS SOUS 29078 HAS SOUPS 28849 WITH SCORE 28878.586
AT ITER 388 NEW BEST:: SOT 63679 SOS 29574 HAS SOPS 29345 HAS SOUS 29032 HAS SOUPS 28803 WITH SCORE 28832.574
AT ITER 389 NEW BEST:: SOT 63610 SOS 29446 HAS SOPS 29217 HAS SOUS 28904 HAS SOUPS 28675 WITH SCORE 28704.446
AT ITER 390 NEW BEST:: SOT 63560 SOS 29246 HAS SOPS 29017 HAS SOUS 28698 HAS SOUPS 28469 WITH SCORE 28498.246
AT ITER 396 NEW BEST:: SOT 63576 SOS 29238 HAS SOPS 29009 HAS SOUS 28671 HAS SOUPS 28442 WITH SCORE 28471.238
AT ITER 402 NEW BEST:: SOT 63496 SOS 29082 HAS SOPS 28853 HAS SOUS 28514 HAS SOUPS 28285 WITH SCORE 28314.082
AT ITER 405 NEW BEST:: SOT 63480 SOS 29057 HAS SOPS 28819 HAS SOUS 28480 HAS SOUPS 28242 WITH SCORE 28271.057
AT ITER 416 NEW BEST:: SOT 63428 SOS 28841 HAS SOPS 28603 HAS SOUS 28264 HAS SOUPS 28026 WITH SCORE 28054.841
AT ITER 418 NEW BEST:: SOT 63386 SOS 28727 HAS SOPS 28489 HAS SOUS 28150 HAS SOUPS 27912 WITH SCORE 27940.727
AT ITER 420 NEW BEST:: SOT 63400 SOS 28669 HAS SOPS 28431 HAS SOUS 28111 HAS SOUPS 27873 WITH SCORE 27901.669
AT ITER 424 NEW BEST:: SOT 63359 SOS 28587 HAS SOPS 28349 HAS SOUS 28029 HAS SOUPS 27791 WITH SCORE 27819.587
AT ITER 427 NEW BEST:: SOT 63326 SOS 28543 HAS SOPS 28305 HAS SOUS 27985 HAS SOUPS 27747 WITH SCORE 27775.543
AT ITER 442 NEW BEST:: SOT 63293 SOS 28466 HAS SOPS 28228 HAS SOUS 27919 HAS SOUPS 27681 WITH SCORE 27709.466
AT ITER 443 NEW BEST:: SOT 63100 SOS 28072 HAS SOPS 27834 HAS SOUS 27631 HAS SOUPS 27393 WITH SCORE 27421.072
AT ITER 444 NEW BEST:: SOT 62991 SOS 27804 HAS SOPS 27566 HAS SOUS 27362 HAS SOUPS 27124 WITH SCORE 27151.804
AT ITER 453 NEW BEST:: SOT 62987 SOS 27798 HAS SOPS 27560 HAS SOUS 27356 HAS SOUPS 27118 WITH SCORE 27145.798
AT ITER 462 NEW BEST:: SOT 63048 SOS 27873 HAS SOPS 27635 HAS SOUS 27316 HAS SOUPS 27078 WITH SCORE 27105.873
AT ITER 465 NEW BEST:: SOT 63010 SOS 27613 HAS SOPS 27375 HAS SOUS 27056 HAS SOUPS 26818 WITH SCORE 26845.613
AT ITER 466 NEW BEST:: SOT 62992 SOS 27409 HAS SOPS 27171 HAS SOUS 26852 HAS SOUPS 26614 WITH SCORE 26641.409
AT ITER 467 NEW BEST:: SOT 62964 SOS 27311 HAS SOPS 27073 HAS SOUS 26754 HAS SOUPS 26516 WITH SCORE 26543.311
AT ITER 469 NEW BEST:: SOT 62871 SOS 27284 HAS SOPS 27046 HAS SOUS 26727 HAS SOUPS 26489 WITH SCORE 26516.284
AT ITER 489 NEW BEST:: SOT 62901 SOS 27076 HAS SOPS 26838 HAS SOUS 26519 HAS SOUPS 26281 WITH SCORE 26308.076
AT ITER 500 NEW BEST:: SOT 62887 SOS 27062 HAS SOPS 26824 HAS SOUS 26505 HAS SOUPS 26267 WITH SCORE 26294.062
AT ITER 504 NEW BEST:: SOT 62874 SOS 26974 HAS SOPS 26736 HAS SOUS 26417 HAS SOUPS 26179 WITH SCORE 26205.974
AT ITER 507 NEW BEST:: SOT 62845 SOS 26967 HAS SOPS 26729 HAS SOUS 26410 HAS SOUPS 26172 WITH SCORE 26198.967
AT ITER 509 NEW BEST:: SOT 62839 SOS 26955 HAS SOPS 26717 HAS SOUS 26398 HAS SOUPS 26160 WITH SCORE 26186.955
AT ITER 513 NEW BEST:: SOT 62824 SOS 26939 HAS SOPS 26701 HAS SOUS 26382 HAS SOUPS 26144 WITH SCORE 26170.939
AT ITER 514 NEW BEST:: SOT 62671 SOS 26749 HAS SOPS 26511 HAS SOUS 26360 HAS SOUPS 26122 WITH SCORE 26148.749
AT ITER 516 NEW BEST:: SOT 62671 SOS 26709 HAS SOPS 26471 HAS SOUS 26320 HAS SOUPS 26082 WITH SCORE 26108.709
AT ITER 524 NEW BEST:: SOT 62639 SOS 26645 HAS SOPS 26407 HAS SOUS 26316 HAS SOUPS 26078 WITH SCORE 26104.645
AT ITER 528 NEW BEST:: SOT 62605 SOS 26601 HAS SOPS 26363 HAS SOUS 26272 HAS SOUPS 26034 WITH SCORE 26060.601
AT ITER 529 NEW BEST:: SOT 62588 SOS 26479 HAS SOPS 26241 HAS SOUS 26102 HAS SOUPS 25864 WITH SCORE 25890.479
AT ITER 535 NEW BEST:: SOT 62572 SOS 26463 HAS SOPS 26225 HAS SOUS 26086 HAS SOUPS 25848 WITH SCORE 25874.463
AT ITER 538 NEW BEST:: SOT 62498 SOS 26407 HAS SOPS 26169 HAS SOUS 26056 HAS SOUPS 25818 WITH SCORE 25844.407
AT ITER 541 NEW BEST:: SOT 62494 SOS 26403 HAS SOPS 26165 HAS SOUS 26052 HAS SOUPS 25814 WITH SCORE 25840.403
AT ITER 545 NEW BEST:: SOT 62457 SOS 26366 HAS SOPS 26128 HAS SOUS 26015 HAS SOUPS 25777 WITH SCORE 25803.366
AT ITER 551 NEW BEST:: SOT 62405 SOS 26365 HAS SOPS 26127 HAS SOUS 26014 HAS SOUPS 25776 WITH SCORE 25802.365
AT ITER 560 NEW BEST:: SOT 62393 SOS 26345 HAS SOPS 26107 HAS SOUS 25990 HAS SOUPS 25752 WITH SCORE 25778.345
AT ITER 569 NEW BEST:: SOT 62389 SOS 26329 HAS SOPS 26091 HAS SOUS 25959 HAS SOUPS 25721 WITH SCORE 25747.329
AT ITER 574 NEW BEST:: SOT 62389 SOS 26319 HAS SOPS 26081 HAS SOUS 25949 HAS SOUPS 25711 WITH SCORE 25737.319
AT ITER 576 NEW BEST:: SOT 62388 SOS 26394 HAS SOPS 26156 HAS SOUS 25923 HAS SOUPS 25685 WITH SCORE 25711.394
AT ITER 577 NEW BEST:: SOT 62326 SOS 26338 HAS SOPS 26100 HAS SOUS 25867 HAS SOUPS 25629 WITH SCORE 25655.338
AT ITER 588 NEW BEST:: SOT 62245 SOS 26224 HAS SOPS 25986 HAS SOUS 25753 HAS SOUPS 25515 WITH SCORE 25541.224
AT ITER 594 NEW BEST:: SOT 62118 SOS 26199 HAS SOPS 25949 HAS SOUS 25742 HAS SOUPS 25492 WITH SCORE 25518.199
AT ITER 595 NEW BEST:: SOT 62006 SOS 25975 HAS SOPS 25725 HAS SOUS 25518 HAS SOUPS 25268 WITH SCORE 25293.975
AT ITER 600 NEW BEST:: SOT 61963 SOS 25932 HAS SOPS 25682 HAS SOUS 25475 HAS SOUPS 25225 WITH SCORE 25250.932
AT ITER 601 NEW BEST:: SOT 61792 SOS 25732 HAS SOPS 25482 HAS SOUS 25188 HAS SOUPS 24938 WITH SCORE 24963.732
AT ITER 609 NEW BEST:: SOT 61792 SOS 25714 HAS SOPS 25464 HAS SOUS 25170 HAS SOUPS 24920 WITH SCORE 24945.714
AT ITER 610 NEW BEST:: SOT 61665 SOS 25589 HAS SOPS 25339 HAS SOUS 25021 HAS SOUPS 24771 WITH SCORE 24796.589
AT ITER 613 NEW BEST:: SOT 61647 SOS 25571 HAS SOPS 25321 HAS SOUS 25003 HAS SOUPS 24753 WITH SCORE 24778.571
AT ITER 616 NEW BEST:: SOT 61603 SOS 25493 HAS SOPS 25243 HAS SOUS 24925 HAS SOUPS 24675 WITH SCORE 24700.493
AT ITER 619 NEW BEST:: SOT 61482 SOS 25313 HAS SOPS 25063 HAS SOUS 24745 HAS SOUPS 24495 WITH SCORE 24520.313
AT ITER 621 NEW BEST:: SOT 61547 SOS 25281 HAS SOPS 25031 HAS SOUS 24713 HAS SOUPS 24463 WITH SCORE 24488.281
AT ITER 633 NEW BEST:: SOT 61513 SOS 25225 HAS SOPS 24975 HAS SOUS 24651 HAS SOUPS 24401 WITH SCORE 24426.225
AT ITER 636 NEW BEST:: SOT 61442 SOS 25111 HAS SOPS 24861 HAS SOUS 24537 HAS SOUPS 24287 WITH SCORE 24312.111
AT ITER 645 NEW BEST:: SOT 61442 SOS 25106 HAS SOPS 24856 HAS SOUS 24527 HAS SOUPS 24277 WITH SCORE 24302.106
AT ITER 647 NEW BEST:: SOT 61442 SOS 25064 HAS SOPS 24814 HAS SOUS 24522 HAS SOUPS 24272 WITH SCORE 24297.064
AT ITER 649 NEW BEST:: SOT 61442 SOS 24912 HAS SOPS 24662 HAS SOUS 24370 HAS SOUPS 24120 WITH SCORE 24144.912
AT ITER 652 NEW BEST:: SOT 61353 SOS 24804 HAS SOPS 24554 HAS SOUS 24235 HAS SOUPS 23985 WITH SCORE 24009.804
AT ITER 655 NEW BEST:: SOT 61249 SOS 24438 HAS SOPS 24188 HAS SOUS 23917 HAS SOUPS 23667 WITH SCORE 23691.438
AT ITER 658 NEW BEST:: SOT 61249 SOS 24406 HAS SOPS 24156 HAS SOUS 23821 HAS SOUPS 23571 WITH SCORE 23595.406
AT ITER 661 NEW BEST:: SOT 61229 SOS 24398 HAS SOPS 24148 HAS SOUS 23813 HAS SOUPS 23563 WITH SCORE 23587.398
AT ITER 664 NEW BEST:: SOT 61309 SOS 24455 HAS SOPS 24205 HAS SOUS 23791 HAS SOUPS 23541 WITH SCORE 23565.455
AT ITER 667 NEW BEST:: SOT 61279 SOS 24374 HAS SOPS 24124 HAS SOUS 23710 HAS SOUPS 23460 WITH SCORE 23484.374
AT ITER 668 NEW BEST:: SOT 61347 SOS 24356 HAS SOPS 24106 HAS SOUS 23692 HAS SOUPS 23442 WITH SCORE 23466.356
AT ITER 671 NEW BEST:: SOT 61331 SOS 24324 HAS SOPS 24074 HAS SOUS 23668 HAS SOUPS 23418 WITH SCORE 23442.324
AT ITER 680 NEW BEST:: SOT 61327 SOS 24314 HAS SOPS 24064 HAS SOUS 23658 HAS SOUPS 23408 WITH SCORE 23432.314
AT ITER 682 NEW BEST:: SOT 61317 SOS 24257 HAS SOPS 24007 HAS SOUS 23601 HAS SOUPS 23351 WITH SCORE 23375.257
AT ITER 683 NEW BEST:: SOT 61300 SOS 24150 HAS SOPS 23900 HAS SOUS 23544 HAS SOUPS 23294 WITH SCORE 23318.15
AT ITER 690 NEW BEST:: SOT 61243 SOS 24123 HAS SOPS 23873 HAS SOUS 23517 HAS SOUPS 23267 WITH SCORE 23291.123
AT ITER 693 NEW BEST:: SOT 61237 SOS 24105 HAS SOPS 23855 HAS SOUS 23505 HAS SOUPS 23255 WITH SCORE 23279.105
AT ITER 695 NEW BEST:: SOT 61164 SOS 23850 HAS SOPS 23600 HAS SOUS 23295 HAS SOUPS 23045 WITH SCORE 23068.85
AT ITER 700 NEW BEST:: SOT 61053 SOS 23522 HAS SOPS 23272 HAS SOUS 22967 HAS SOUPS 22717 WITH SCORE 22740.522
AT ITER 706 NEW BEST:: SOT 61053 SOS 23512 HAS SOPS 23262 HAS SOUS 22957 HAS SOUPS 22707 WITH SCORE 22730.512
AT ITER 707 NEW BEST:: SOT 61053 SOS 23491 HAS SOPS 23241 HAS SOUS 22936 HAS SOUPS 22686 WITH SCORE 22709.491
AT ITER 708 NEW BEST:: SOT 61063 SOS 23471 HAS SOPS 23221 HAS SOUS 22888 HAS SOUPS 22638 WITH SCORE 22661.471
AT ITER 711 NEW BEST:: SOT 61061 SOS 23468 HAS SOPS 23218 HAS SOUS 22885 HAS SOUPS 22635 WITH SCORE 22658.468
AT ITER 712 NEW BEST:: SOT 61015 SOS 23422 HAS SOPS 23172 HAS SOUS 22816 HAS SOUPS 22566 WITH SCORE 22589.422
AT ITER 713 NEW BEST:: SOT 60979 SOS 23383 HAS SOPS 23133 HAS SOUS 22789 HAS SOUPS 22539 WITH SCORE 22562.383
AT ITER 714 NEW BEST:: SOT 60967 SOS 23371 HAS SOPS 23121 HAS SOUS 22782 HAS SOUPS 22532 WITH SCORE 22555.371
AT ITER 716 NEW BEST:: SOT 60878 SOS 23282 HAS SOPS 23032 HAS SOUS 22693 HAS SOUPS 22443 WITH SCORE 22466.282
AT ITER 727 NEW BEST:: SOT 60869 SOS 23273 HAS SOPS 23023 HAS SOUS 22684 HAS SOUPS 22434 WITH SCORE 22457.273
AT ITER 737 NEW BEST:: SOT 60775 SOS 23085 HAS SOPS 22835 HAS SOUS 22671 HAS SOUPS 22421 WITH SCORE 22444.085
AT ITER 745 NEW BEST:: SOT 60750 SOS 23021 HAS SOPS 22771 HAS SOUS 22607 HAS SOUPS 22357 WITH SCORE 22380.021
AT ITER 746 NEW BEST:: SOT 60581 SOS 22724 HAS SOPS 22474 HAS SOUS 22335 HAS SOUPS 22085 WITH SCORE 22107.724
AT ITER 754 NEW BEST:: SOT 60590 SOS 22723 HAS SOPS 22473 HAS SOUS 22334 HAS SOUPS 22084 WITH SCORE 22106.723
AT ITER 760 NEW BEST:: SOT 60590 SOS 22693 HAS SOPS 22443 HAS SOUS 22298 HAS SOUPS 22048 WITH SCORE 22070.693
AT ITER 763 NEW BEST:: SOT 60535 SOS 22697 HAS SOPS 22447 HAS SOUS 22287 HAS SOUPS 22037 WITH SCORE 22059.697
AT ITER 768 NEW BEST:: SOT 60507 SOS 22650 HAS SOPS 22400 HAS SOUS 22240 HAS SOUPS 21990 WITH SCORE 22012.65
AT ITER 773 NEW BEST:: SOT 60475 SOS 22482 HAS SOPS 22232 HAS SOUS 22064 HAS SOUPS 21814 WITH SCORE 21836.482
AT ITER 780 NEW BEST:: SOT 60736 SOS 22123 HAS SOPS 21874 HAS SOUS 21705 HAS SOUPS 21456 WITH SCORE 21478.123
AT ITER 789 NEW BEST:: SOT 60675 SOS 21972 HAS SOPS 21723 HAS SOUS 21541 HAS SOUPS 21292 WITH SCORE 21313.972
AT ITER 793 NEW BEST:: SOT 60657 SOS 21954 HAS SOPS 21705 HAS SOUS 21523 HAS SOUPS 21274 WITH SCORE 21295.954
AT ITER 811 NEW BEST:: SOT 60627 SOS 21894 HAS SOPS 21645 HAS SOUS 21469 HAS SOUPS 21220 WITH SCORE 21241.894
AT ITER 818 NEW BEST:: SOT 60627 SOS 21894 HAS SOPS 21645 HAS SOUS 21460 HAS SOUPS 21211 WITH SCORE 21232.894
AT ITER 841 NEW BEST:: SOT 60513 SOS 21609 HAS SOPS 21360 HAS SOUS 21175 HAS SOUPS 20926 WITH SCORE 20947.609
AT ITER 842 NEW BEST:: SOT 60489 SOS 21537 HAS SOPS 21288 HAS SOUS 21115 HAS SOUPS 20866 WITH SCORE 20887.537
AT ITER 845 NEW BEST:: SOT 60313 SOS 21086 HAS SOPS 20837 HAS SOUS 20788 HAS SOUPS 20539 WITH SCORE 20560.086
AT ITER 863 NEW BEST:: SOT 60311 SOS 21044 HAS SOPS 20795 HAS SOUS 20746 HAS SOUPS 20497 WITH SCORE 20518.044
AT ITER 876 NEW BEST:: SOT 60281 SOS 20999 HAS SOPS 20750 HAS SOUS 20701 HAS SOUPS 20452 WITH SCORE 20472.999
AT ITER 877 NEW BEST:: SOT 60280 SOS 20879 HAS SOPS 20630 HAS SOUS 20605 HAS SOUPS 20356 WITH SCORE 20376.879
AT ITER 881 NEW BEST:: SOT 60249 SOS 20865 HAS SOPS 20616 HAS SOUS 20578 HAS SOUPS 20329 WITH SCORE 20349.865
AT ITER 882 NEW BEST:: SOT 60243 SOS 20829 HAS SOPS 20580 HAS SOUS 20566 HAS SOUPS 20317 WITH SCORE 20337.829
AT ITER 906 NEW BEST:: SOT 60270 SOS 20825 HAS SOPS 20576 HAS SOUS 20562 HAS SOUPS 20313 WITH SCORE 20333.825
AT ITER 916 NEW BEST:: SOT 60190 SOS 20681 HAS SOPS 20432 HAS SOUS 20394 HAS SOUPS 20145 WITH SCORE 20165.681
AT ITER 918 NEW BEST:: SOT 60173 SOS 20658 HAS SOPS 20409 HAS SOUS 20367 HAS SOUPS 20118 WITH SCORE 20138.658
AT ITER 922 NEW BEST:: SOT 59924 SOS 20297 HAS SOPS 20048 HAS SOUS 20006 HAS SOUPS 19757 WITH SCORE 19777.297
AT ITER 925 NEW BEST:: SOT 59897 SOS 20189 HAS SOPS 19940 HAS SOUS 19925 HAS SOUPS 19676 WITH SCORE 19696.189
AT ITER 938 NEW BEST:: SOT 59851 SOS 20097 HAS SOPS 19848 HAS SOUS 19833 HAS SOUPS 19584 WITH SCORE 19604.097
AT ITER 955 NEW BEST:: SOT 59849 SOS 20094 HAS SOPS 19845 HAS SOUS 19831 HAS SOUPS 19582 WITH SCORE 19602.094
AT ITER 957 NEW BEST:: SOT 59849 SOS 20054 HAS SOPS 19805 HAS SOUS 19791 HAS SOUPS 19542 WITH SCORE 19562.054
AT ITER 960 NEW BEST:: SOT 59825 SOS 19988 HAS SOPS 19739 HAS SOUS 19769 HAS SOUPS 19520 WITH SCORE 19539.988
AT ITER 974 NEW BEST:: SOT 59825 SOS 19976 HAS SOPS 19727 HAS SOUS 19757 HAS SOUPS 19508 WITH SCORE 19527.976
AT ITER 998 NEW BEST:: SOT 59824 SOS 19972 HAS SOPS 19723 HAS SOUS 19754 HAS SOUPS 19505 WITH SCORE 19524.972
AT ITER 999 NEW BEST:: SOT 59812 SOS 19952 HAS SOPS 19703 HAS SOUS 19734 HAS SOUPS 19485 WITH SCORE 19504.952
AT ITER 1001 NEW BEST:: SOT 59692 SOS 19584 HAS SOPS 19335 HAS SOUS 19366 HAS SOUPS 19117 WITH SCORE 19136.584
AT ITER 1002 NEW BEST:: SOT 59677 SOS 19545 HAS SOPS 19296 HAS SOUS 19327 HAS SOUPS 19078 WITH SCORE 19097.545
AT ITER 1027 NEW BEST:: SOT 59675 SOS 19510 HAS SOPS 19261 HAS SOUS 19291 HAS SOUPS 19042 WITH SCORE 19061.51
AT ITER 1031 NEW BEST:: SOT 59692 SOS 19473 HAS SOPS 19224 HAS SOUS 19244 HAS SOUPS 18995 WITH SCORE 19014.473
AT ITER 1036 NEW BEST:: SOT 59848 SOS 19319 HAS SOPS 19070 HAS SOUS 19083 HAS SOUPS 18834 WITH SCORE 18853.319
AT ITER 1046 NEW BEST:: SOT 59841 SOS 19300 HAS SOPS 19051 HAS SOUS 19064 HAS SOUPS 18815 WITH SCORE 18834.3
AT ITER 1047 NEW BEST:: SOT 59829 SOS 19238 HAS SOPS 18989 HAS SOUS 19002 HAS SOUPS 18753 WITH SCORE 18772.238
AT ITER 1052 NEW BEST:: SOT 59783 SOS 19158 HAS SOPS 18909 HAS SOUS 18922 HAS SOUPS 18673 WITH SCORE 18692.158
AT ITER 1059 NEW BEST:: SOT 59745 SOS 19099 HAS SOPS 18850 HAS SOUS 18863 HAS SOUPS 18614 WITH SCORE 18633.099
AT ITER 1065 NEW BEST:: SOT 59740 SOS 19094 HAS SOPS 18845 HAS SOUS 18858 HAS SOUPS 18609 WITH SCORE 18628.094
AT ITER 1079 NEW BEST:: SOT 59704 SOS 19076 HAS SOPS 18827 HAS SOUS 18840 HAS SOUPS 18591 WITH SCORE 18610.076
AT ITER 1082 NEW BEST:: SOT 59634 SOS 18868 HAS SOPS 18619 HAS SOUS 18632 HAS SOUPS 18383 WITH SCORE 18401.868
AT ITER 1089 NEW BEST:: SOT 59615 SOS 18839 HAS SOPS 18590 HAS SOUS 18603 HAS SOUPS 18354 WITH SCORE 18372.839
AT ITER 1092 NEW BEST:: SOT 59601 SOS 18847 HAS SOPS 18598 HAS SOUS 18601 HAS SOUPS 18352 WITH SCORE 18370.847
AT ITER 1098 NEW BEST:: SOT 59476 SOS 18671 HAS SOPS 18422 HAS SOUS 18425 HAS SOUPS 18176 WITH SCORE 18194.671
AT ITER 1109 NEW BEST:: SOT 59437 SOS 18561 HAS SOPS 18312 HAS SOUS 18315 HAS SOUPS 18066 WITH SCORE 18084.561
AT ITER 1113 NEW BEST:: SOT 59432 SOS 18472 HAS SOPS 18223 HAS SOUS 18219 HAS SOUPS 17970 WITH SCORE 17988.472
AT ITER 1117 NEW BEST:: SOT 59417 SOS 18450 HAS SOPS 18203 HAS SOUS 18197 HAS SOUPS 17950 WITH SCORE 17968.45
AT ITER 1121 NEW BEST:: SOT 59325 SOS 18304 HAS SOPS 18057 HAS SOUS 18051 HAS SOUPS 17804 WITH SCORE 17822.304
AT ITER 1125 NEW BEST:: SOT 59302 SOS 18257 HAS SOPS 18010 HAS SOUS 18000 HAS SOUPS 17753 WITH SCORE 17771.257
AT ITER 1127 NEW BEST:: SOT 59292 SOS 18242 HAS SOPS 17995 HAS SOUS 17985 HAS SOUPS 17738 WITH SCORE 17756.242
AT ITER 1129 NEW BEST:: SOT 59292 SOS 18242 HAS SOPS 17995 HAS SOUS 17975 HAS SOUPS 17728 WITH SCORE 17746.242
AT ITER 1131 NEW BEST:: SOT 59284 SOS 18223 HAS SOPS 17976 HAS SOUS 17956 HAS SOUPS 17709 WITH SCORE 17727.223
AT ITER 1133 NEW BEST:: SOT 59287 SOS 18169 HAS SOPS 17922 HAS SOUS 17921 HAS SOUPS 17674 WITH SCORE 17692.169
AT ITER 1150 NEW BEST:: SOT 59310 SOS 18150 HAS SOPS 17903 HAS SOUS 17902 HAS SOUPS 17655 WITH SCORE 17673.15
AT ITER 1152 NEW BEST:: SOT 59130 SOS 17818 HAS SOPS 17571 HAS SOUS 17514 HAS SOUPS 17267 WITH SCORE 17284.818
AT ITER 1155 NEW BEST:: SOT 59130 SOS 17806 HAS SOPS 17559 HAS SOUS 17502 HAS SOUPS 17255 WITH SCORE 17272.806
AT ITER 1157 NEW BEST:: SOT 59134 SOS 17794 HAS SOPS 17547 HAS SOUS 17494 HAS SOUPS 17247 WITH SCORE 17264.794
AT ITER 1160 NEW BEST:: SOT 59125 SOS 17784 HAS SOPS 17537 HAS SOUS 17484 HAS SOUPS 17237 WITH SCORE 17254.784
AT ITER 1177 NEW BEST:: SOT 59109 SOS 17594 HAS SOPS 17347 HAS SOUS 17294 HAS SOUPS 17047 WITH SCORE 17064.594
AT ITER 1182 NEW BEST:: SOT 59096 SOS 17553 HAS SOPS 17310 HAS SOUS 17253 HAS SOUPS 17010 WITH SCORE 17027.553
AT ITER 1193 NEW BEST:: SOT 59069 SOS 17519 HAS SOPS 17276 HAS SOUS 17219 HAS SOUPS 16976 WITH SCORE 16993.519
AT ITER 1208 NEW BEST:: SOT 59065 SOS 17493 HAS SOPS 17250 HAS SOUS 17193 HAS SOUPS 16950 WITH SCORE 16967.493
AT ITER 1219 NEW BEST:: SOT 58985 SOS 17353 HAS SOPS 17110 HAS SOUS 17053 HAS SOUPS 16810 WITH SCORE 16827.353
AT ITER 1220 NEW BEST:: SOT 58985 SOS 17353 HAS SOPS 17110 HAS SOUS 17035 HAS SOUPS 16792 WITH SCORE 16809.353
AT ITER 1223 NEW BEST:: SOT 58950 SOS 17216 HAS SOPS 16973 HAS SOUS 16898 HAS SOUPS 16655 WITH SCORE 16672.216
AT ITER 1224 NEW BEST:: SOT 58922 SOS 17176 HAS SOPS 16933 HAS SOUS 16858 HAS SOUPS 16615 WITH SCORE 16632.176
AT ITER 1225 NEW BEST:: SOT 58918 SOS 17168 HAS SOPS 16925 HAS SOUS 16850 HAS SOUPS 16607 WITH SCORE 16624.168
AT ITER 1229 NEW BEST:: SOT 58903 SOS 17148 HAS SOPS 16905 HAS SOUS 16830 HAS SOUPS 16587 WITH SCORE 16604.148
AT ITER 1239 NEW BEST:: SOT 58676 SOS 16741 HAS SOPS 16498 HAS SOUS 16416 HAS SOUPS 16173 WITH SCORE 16189.741
AT ITER 1255 NEW BEST:: SOT 58635 SOS 16702 HAS SOPS 16459 HAS SOUS 16339 HAS SOUPS 16096 WITH SCORE 16112.702
AT ITER 1259 NEW BEST:: SOT 58659 SOS 16671 HAS SOPS 16428 HAS SOUS 16308 HAS SOUPS 16065 WITH SCORE 16081.671
AT ITER 1261 NEW BEST:: SOT 58590 SOS 16530 HAS SOPS 16287 HAS SOUS 16185 HAS SOUPS 15942 WITH SCORE 15958.53
AT ITER 1269 NEW BEST:: SOT 58606 SOS 16530 HAS SOPS 16287 HAS SOUS 16183 HAS SOUPS 15940 WITH SCORE 15956.53
AT ITER 1275 NEW BEST:: SOT 58588 SOS 16501 HAS SOPS 16258 HAS SOUS 16154 HAS SOUPS 15911 WITH SCORE 15927.501
AT ITER 1277 NEW BEST:: SOT 58508 SOS 16503 HAS SOPS 16260 HAS SOUS 16146 HAS SOUPS 15903 WITH SCORE 15919.503
AT ITER 1283 NEW BEST:: SOT 58508 SOS 16503 HAS SOPS 16260 HAS SOUS 16144 HAS SOUPS 15901 WITH SCORE 15917.503
AT ITER 1285 NEW BEST:: SOT 58440 SOS 16364 HAS SOPS 16121 HAS SOUS 16005 HAS SOUPS 15762 WITH SCORE 15778.364
AT ITER 1289 NEW BEST:: SOT 58397 SOS 16210 HAS SOPS 15967 HAS SOUS 15858 HAS SOUPS 15615 WITH SCORE 15631.21
AT ITER 1291 NEW BEST:: SOT 58372 SOS 16185 HAS SOPS 15942 HAS SOUS 15833 HAS SOUPS 15590 WITH SCORE 15606.185
AT ITER 1305 NEW BEST:: SOT 58323 SOS 16072 HAS SOPS 15829 HAS SOUS 15742 HAS SOUPS 15499 WITH SCORE 15515.072
AT ITER 1309 NEW BEST:: SOT 58328 SOS 16066 HAS SOPS 15823 HAS SOUS 15736 HAS SOUPS 15493 WITH SCORE 15509.066
AT ITER 1316 NEW BEST:: SOT 58304 SOS 15949 HAS SOPS 15706 HAS SOUS 15619 HAS SOUPS 15376 WITH SCORE 15391.949
AT ITER 1317 NEW BEST:: SOT 58278 SOS 15884 HAS SOPS 15641 HAS SOUS 15554 HAS SOUPS 15311 WITH SCORE 15326.884
AT ITER 1323 NEW BEST:: SOT 58264 SOS 15750 HAS SOPS 15507 HAS SOUS 15420 HAS SOUPS 15177 WITH SCORE 15192.75
AT ITER 1328 NEW BEST:: SOT 58235 SOS 15685 HAS SOPS 15442 HAS SOUS 15368 HAS SOUPS 15125 WITH SCORE 15140.685
AT ITER 1329 NEW BEST:: SOT 58193 SOS 15525 HAS SOPS 15282 HAS SOUS 15247 HAS SOUPS 15004 WITH SCORE 15019.525
AT ITER 1337 NEW BEST:: SOT 58117 SOS 15411 HAS SOPS 15168 HAS SOUS 15133 HAS SOUPS 14890 WITH SCORE 14905.411
AT ITER 1366 NEW BEST:: SOT 58112 SOS 15406 HAS SOPS 15163 HAS SOUS 15128 HAS SOUPS 14885 WITH SCORE 14900.406
AT ITER 1372 NEW BEST:: SOT 58110 SOS 15400 HAS SOPS 15157 HAS SOUS 15122 HAS SOUPS 14879 WITH SCORE 14894.4
AT ITER 1374 NEW BEST:: SOT 58075 SOS 15296 HAS SOPS 15053 HAS SOUS 15018 HAS SOUPS 14775 WITH SCORE 14790.296
AT ITER 1376 NEW BEST:: SOT 58061 SOS 15268 HAS SOPS 15025 HAS SOUS 14988 HAS SOUPS 14745 WITH SCORE 14760.268
AT ITER 1380 NEW BEST:: SOT 57969 SOS 15117 HAS SOPS 14874 HAS SOUS 14837 HAS SOUPS 14594 WITH SCORE 14609.117
AT ITER 1383 NEW BEST:: SOT 57963 SOS 15109 HAS SOPS 14866 HAS SOUS 14829 HAS SOUPS 14586 WITH SCORE 14601.109
AT ITER 1385 NEW BEST:: SOT 57945 SOS 15041 HAS SOPS 14798 HAS SOUS 14761 HAS SOUPS 14518 WITH SCORE 14533.041
AT ITER 1391 NEW BEST:: SOT 57943 SOS 15038 HAS SOPS 14795 HAS SOUS 14758 HAS SOUPS 14515 WITH SCORE 14530.038
AT ITER 1399 NEW BEST:: SOT 57912 SOS 14976 HAS SOPS 14733 HAS SOUS 14696 HAS SOUPS 14453 WITH SCORE 14467.976
AT ITER 1403 NEW BEST:: SOT 57888 SOS 14953 HAS SOPS 14710 HAS SOUS 14673 HAS SOUPS 14430 WITH SCORE 14444.953
AT ITER 1415 NEW BEST:: SOT 57816 SOS 14803 HAS SOPS 14560 HAS SOUS 14523 HAS SOUPS 14280 WITH SCORE 14294.803
AT ITER 1425 NEW BEST:: SOT 57812 SOS 14799 HAS SOPS 14556 HAS SOUS 14523 HAS SOUPS 14280 WITH SCORE 14294.799
AT ITER 1455 NEW BEST:: SOT 57806 SOS 14780 HAS SOPS 14537 HAS SOUS 14504 HAS SOUPS 14261 WITH SCORE 14275.78
AT ITER 1465 NEW BEST:: SOT 57788 SOS 14771 HAS SOPS 14528 HAS SOUS 14495 HAS SOUPS 14252 WITH SCORE 14266.771
AT ITER 1473 NEW BEST:: SOT 57763 SOS 14714 HAS SOPS 14471 HAS SOUS 14438 HAS SOUPS 14195 WITH SCORE 14209.714
AT ITER 1476 NEW BEST:: SOT 57709 SOS 14610 HAS SOPS 14367 HAS SOUS 14344 HAS SOUPS 14101 WITH SCORE 14115.61
AT ITER 1486 NEW BEST:: SOT 57683 SOS 14544 HAS SOPS 14301 HAS SOUS 14278 HAS SOUPS 14035 WITH SCORE 14049.544
AT ITER 1492 NEW BEST:: SOT 57657 SOS 14476 HAS SOPS 14233 HAS SOUS 14228 HAS SOUPS 13985 WITH SCORE 13999.476
AT ITER 1514 NEW BEST:: SOT 57645 SOS 14467 HAS SOPS 14224 HAS SOUS 14219 HAS SOUPS 13976 WITH SCORE 13990.467
AT ITER 1531 NEW BEST:: SOT 57601 SOS 14400 HAS SOPS 14157 HAS SOUS 14152 HAS SOUPS 13909 WITH SCORE 13923.4
AT ITER 1537 NEW BEST:: SOT 57571 SOS 14355 HAS SOPS 14112 HAS SOUS 14107 HAS SOUPS 13864 WITH SCORE 13878.355
AT ITER 1545 NEW BEST:: SOT 57539 SOS 14293 HAS SOPS 14050 HAS SOUS 14045 HAS SOUPS 13802 WITH SCORE 13816.293
AT ITER 1546 NEW BEST:: SOT 57539 SOS 14289 HAS SOPS 14046 HAS SOUS 14041 HAS SOUPS 13798 WITH SCORE 13812.289
AT ITER 1547 NEW BEST:: SOT 57513 SOS 14229 HAS SOPS 13986 HAS SOUS 13983 HAS SOUPS 13740 WITH SCORE 13754.229
AT ITER 1551 NEW BEST:: SOT 57445 SOS 14093 HAS SOPS 13850 HAS SOUS 13847 HAS SOUPS 13604 WITH SCORE 13618.093
AT ITER 1572 NEW BEST:: SOT 57424 SOS 14039 HAS SOPS 13796 HAS SOUS 13802 HAS SOUPS 13559 WITH SCORE 13573.039
AT ITER 1589 NEW BEST:: SOT 57466 SOS 14030 HAS SOPS 13787 HAS SOUS 13793 HAS SOUPS 13550 WITH SCORE 13564.03
AT ITER 1590 NEW BEST:: SOT 57466 SOS 13986 HAS SOPS 13743 HAS SOUS 13747 HAS SOUPS 13504 WITH SCORE 13517.986
AT ITER 1591 NEW BEST:: SOT 57433 SOS 13968 HAS SOPS 13725 HAS SOUS 13729 HAS SOUPS 13486 WITH SCORE 13499.968
AT ITER 1607 NEW BEST:: SOT 57395 SOS 13911 HAS SOPS 13668 HAS SOUS 13672 HAS SOUPS 13429 WITH SCORE 13442.911
AT ITER 1614 NEW BEST:: SOT 57389 SOS 13887 HAS SOPS 13644 HAS SOUS 13654 HAS SOUPS 13411 WITH SCORE 13424.887
AT ITER 1625 NEW BEST:: SOT 57381 SOS 13810 HAS SOPS 13567 HAS SOUS 13562 HAS SOUPS 13319 WITH SCORE 13332.81
AT ITER 1633 NEW BEST:: SOT 57387 SOS 13764 HAS SOPS 13521 HAS SOUS 13526 HAS SOUPS 13283 WITH SCORE 13296.764
AT ITER 1637 NEW BEST:: SOT 57373 SOS 13725 HAS SOPS 13482 HAS SOUS 13490 HAS SOUPS 13247 WITH SCORE 13260.725
AT ITER 1640 NEW BEST:: SOT 57365 SOS 13713 HAS SOPS 13470 HAS SOUS 13478 HAS SOUPS 13235 WITH SCORE 13248.713
AT ITER 1643 NEW BEST:: SOT 57358 SOS 13655 HAS SOPS 13412 HAS SOUS 13420 HAS SOUPS 13177 WITH SCORE 13190.655
AT ITER 1659 NEW BEST:: SOT 57355 SOS 13649 HAS SOPS 13406 HAS SOUS 13417 HAS SOUPS 13174 WITH SCORE 13187.649
AT ITER 1669 NEW BEST:: SOT 57271 SOS 13555 HAS SOPS 13312 HAS SOUS 13330 HAS SOUPS 13087 WITH SCORE 13100.555
AT ITER 1678 NEW BEST:: SOT 57265 SOS 13546 HAS SOPS 13303 HAS SOUS 13321 HAS SOUPS 13078 WITH SCORE 13091.546
AT ITER 1681 NEW BEST:: SOT 57259 SOS 13543 HAS SOPS 13300 HAS SOUS 13318 HAS SOUPS 13075 WITH SCORE 13088.543
AT ITER 1684 NEW BEST:: SOT 57271 SOS 13543 HAS SOPS 13300 HAS SOUS 13290 HAS SOUPS 13047 WITH SCORE 13060.543
AT ITER 1690 NEW BEST:: SOT 57229 SOS 13457 HAS SOPS 13214 HAS SOUS 13204 HAS SOUPS 12961 WITH SCORE 12974.457
AT ITER 1706 NEW BEST:: SOT 57226 SOS 13453 HAS SOPS 13210 HAS SOUS 13200 HAS SOUPS 12957 WITH SCORE 12970.453
AT ITER 1713 NEW BEST:: SOT 57222 SOS 13447 HAS SOPS 13204 HAS SOUS 13194 HAS SOUPS 12951 WITH SCORE 12964.447
AT ITER 1714 NEW BEST:: SOT 57213 SOS 13432 HAS SOPS 13189 HAS SOUS 13179 HAS SOUPS 12936 WITH SCORE 12949.432
AT ITER 1744 NEW BEST:: SOT 57189 SOS 13418 HAS SOPS 13175 HAS SOUS 13165 HAS SOUPS 12922 WITH SCORE 12935.418
AT ITER 1749 NEW BEST:: SOT 57182 SOS 13411 HAS SOPS 13168 HAS SOUS 13158 HAS SOUPS 12915 WITH SCORE 12928.411
AT ITER 1759 NEW BEST:: SOT 57158 SOS 13377 HAS SOPS 13134 HAS SOUS 13124 HAS SOUPS 12881 WITH SCORE 12894.377
AT ITER 1765 NEW BEST:: SOT 57116 SOS 13358 HAS SOPS 13115 HAS SOUS 13105 HAS SOUPS 12862 WITH SCORE 12875.358
AT ITER 1773 NEW BEST:: SOT 57116 SOS 13314 HAS SOPS 13071 HAS SOUS 13061 HAS SOUPS 12818 WITH SCORE 12831.314
AT ITER 1786 NEW BEST:: SOT 57110 SOS 13302 HAS SOPS 13059 HAS SOUS 13049 HAS SOUPS 12806 WITH SCORE 12819.302
AT ITER 1793 NEW BEST:: SOT 57107 SOS 13299 HAS SOPS 13056 HAS SOUS 13046 HAS SOUPS 12803 WITH SCORE 12816.299
AT ITER 1810 NEW BEST:: SOT 57089 SOS 13269 HAS SOPS 13026 HAS SOUS 13016 HAS SOUPS 12773 WITH SCORE 12786.269
AT ITER 1813 NEW BEST:: SOT 57089 SOS 13269 HAS SOPS 13026 HAS SOUS 13015 HAS SOUPS 12772 WITH SCORE 12785.269
AT ITER 1838 NEW BEST:: SOT 57089 SOS 13255 HAS SOPS 13012 HAS SOUS 13001 HAS SOUPS 12758 WITH SCORE 12771.255
AT ITER 1844 NEW BEST:: SOT 57083 SOS 13249 HAS SOPS 13006 HAS SOUS 12995 HAS SOUPS 12752 WITH SCORE 12765.249
AT ITER 1865 NEW BEST:: SOT 57070 SOS 13230 HAS SOPS 12987 HAS SOUS 12981 HAS SOUPS 12738 WITH SCORE 12751.23
AT ITER 1889 NEW BEST:: SOT 56946 SOS 13036 HAS SOPS 12793 HAS SOUS 12784 HAS SOUPS 12541 WITH SCORE 12554.036
AT ITER 1892 NEW BEST:: SOT 56932 SOS 12896 HAS SOPS 12653 HAS SOUS 12702 HAS SOUPS 12459 WITH SCORE 12471.896
AT ITER 1929 NEW BEST:: SOT 56915 SOS 12887 HAS SOPS 12644 HAS SOUS 12693 HAS SOUPS 12450 WITH SCORE 12462.887
AT ITER 1933 NEW BEST:: SOT 56797 SOS 12710 HAS SOPS 12467 HAS SOUS 12506 HAS SOUPS 12263 WITH SCORE 12275.71
AT ITER 1935 NEW BEST:: SOT 56760 SOS 12665 HAS SOPS 12422 HAS SOUS 12460 HAS SOUPS 12217 WITH SCORE 12229.665
AT ITER 1941 NEW BEST:: SOT 56722 SOS 12584 HAS SOPS 12341 HAS SOUS 12383 HAS SOUPS 12140 WITH SCORE 12152.584
AT ITER 1942 NEW BEST:: SOT 56681 SOS 12512 HAS SOPS 12269 HAS SOUS 12311 HAS SOUPS 12068 WITH SCORE 12080.512
AT ITER 1951 NEW BEST:: SOT 56647 SOS 12384 HAS SOPS 12141 HAS SOUS 12183 HAS SOUPS 11940 WITH SCORE 11952.384
AT ITER 2005 NEW BEST:: SOT 56614 SOS 12340 HAS SOPS 12097 HAS SOUS 12139 HAS SOUPS 11896 WITH SCORE 11908.34
AT ITER 2006 NEW BEST:: SOT 56616 SOS 12331 HAS SOPS 12088 HAS SOUS 12130 HAS SOUPS 11887 WITH SCORE 11899.331
AT ITER 2007 NEW BEST:: SOT 56596 SOS 12299 HAS SOPS 12056 HAS SOUS 12098 HAS SOUPS 11855 WITH SCORE 11867.299
AT ITER 2008 NEW BEST:: SOT 56473 SOS 12094 HAS SOPS 11852 HAS SOUS 11893 HAS SOUPS 11651 WITH SCORE 11663.094
AT ITER 2029 NEW BEST:: SOT 56466 SOS 12066 HAS SOPS 11824 HAS SOUS 11872 HAS SOUPS 11630 WITH SCORE 11642.066
AT ITER 2046 NEW BEST:: SOT 56432 SOS 12032 HAS SOPS 11790 HAS SOUS 11838 HAS SOUPS 11596 WITH SCORE 11608.032
AT ITER 2068 NEW BEST:: SOT 56418 SOS 12011 HAS SOPS 11769 HAS SOUS 11817 HAS SOUPS 11575 WITH SCORE 11587.011
AT ITER 2074 NEW BEST:: SOT 56392 SOS 11963 HAS SOPS 11721 HAS SOUS 11769 HAS SOUPS 11527 WITH SCORE 11538.963
AT ITER 2086 NEW BEST:: SOT 56379 SOS 11911 HAS SOPS 11669 HAS SOUS 11730 HAS SOUPS 11488 WITH SCORE 11499.911
AT ITER 2091 NEW BEST:: SOT 56361 SOS 11873 HAS SOPS 11631 HAS SOUS 11698 HAS SOUPS 11456 WITH SCORE 11467.873
AT ITER 2095 NEW BEST:: SOT 56355 SOS 11858 HAS SOPS 11616 HAS SOUS 11683 HAS SOUPS 11441 WITH SCORE 11452.858
AT ITER 2113 NEW BEST:: SOT 56355 SOS 11852 HAS SOPS 11610 HAS SOUS 11677 HAS SOUPS 11435 WITH SCORE 11446.852
AT ITER 2118 NEW BEST:: SOT 56323 SOS 11796 HAS SOPS 11554 HAS SOUS 11621 HAS SOUPS 11379 WITH SCORE 11390.796
AT ITER 2120 NEW BEST:: SOT 56309 SOS 11753 HAS SOPS 11511 HAS SOUS 11587 HAS SOUPS 11345 WITH SCORE 11356.753
AT ITER 2129 NEW BEST:: SOT 56299 SOS 11740 HAS SOPS 11498 HAS SOUS 11574 HAS SOUPS 11332 WITH SCORE 11343.74
AT ITER 2145 NEW BEST:: SOT 56247 SOS 11653 HAS SOPS 11411 HAS SOUS 11487 HAS SOUPS 11245 WITH SCORE 11256.653
AT ITER 2154 NEW BEST:: SOT 56169 SOS 11512 HAS SOPS 11270 HAS SOUS 11346 HAS SOUPS 11104 WITH SCORE 11115.512
AT ITER 2182 NEW BEST:: SOT 56142 SOS 11427 HAS SOPS 11185 HAS SOUS 11261 HAS SOUPS 11019 WITH SCORE 11030.427
AT ITER 2196 NEW BEST:: SOT 56111 SOS 11383 HAS SOPS 11141 HAS SOUS 11213 HAS SOUPS 10971 WITH SCORE 10982.383
AT ITER 2240 NEW BEST:: SOT 55942 SOS 11058 HAS SOPS 10816 HAS SOUS 10890 HAS SOUPS 10648 WITH SCORE 10659.058
AT ITER 2251 NEW BEST:: SOT 55899 SOS 10940 HAS SOPS 10698 HAS SOUS 10758 HAS SOUPS 10516 WITH SCORE 10526.94
AT ITER 2259 NEW BEST:: SOT 55898 SOS 10935 HAS SOPS 10693 HAS SOUS 10753 HAS SOUPS 10511 WITH SCORE 10521.935
AT ITER 2285 NEW BEST:: SOT 55847 SOS 10900 HAS SOPS 10658 HAS SOUS 10699 HAS SOUPS 10457 WITH SCORE 10467.9
AT ITER 2287 NEW BEST:: SOT 55837 SOS 10860 HAS SOPS 10618 HAS SOUS 10679 HAS SOUPS 10437 WITH SCORE 10447.86
AT ITER 2328 NEW BEST:: SOT 55823 SOS 10851 HAS SOPS 10609 HAS SOUS 10670 HAS SOUPS 10428 WITH SCORE 10438.851
AT ITER 2333 NEW BEST:: SOT 55819 SOS 10792 HAS SOPS 10550 HAS SOUS 10611 HAS SOUPS 10369 WITH SCORE 10379.792
AT ITER 2343 NEW BEST:: SOT 55818 SOS 10791 HAS SOPS 10549 HAS SOUS 10610 HAS SOUPS 10368 WITH SCORE 10378.791
AT ITER 2344 NEW BEST:: SOT 55818 SOS 10787 HAS SOPS 10545 HAS SOUS 10606 HAS SOUPS 10364 WITH SCORE 10374.787
AT ITER 2347 NEW BEST:: SOT 55823 SOS 10728 HAS SOPS 10486 HAS SOUS 10547 HAS SOUPS 10305 WITH SCORE 10315.728
AT ITER 2380 NEW BEST:: SOT 55813 SOS 10708 HAS SOPS 10466 HAS SOUS 10520 HAS SOUPS 10278 WITH SCORE 10288.708
AT ITER 2381 NEW BEST:: SOT 55754 SOS 10641 HAS SOPS 10399 HAS SOUS 10452 HAS SOUPS 10210 WITH SCORE 10220.641
AT ITER 2382 NEW BEST:: SOT 55721 SOS 10584 HAS SOPS 10342 HAS SOUS 10395 HAS SOUPS 10153 WITH SCORE 10163.584
AT ITER 2392 NEW BEST:: SOT 55707 SOS 10555 HAS SOPS 10313 HAS SOUS 10372 HAS SOUPS 10130 WITH SCORE 10140.555
AT ITER 2400 NEW BEST:: SOT 55635 SOS 10446 HAS SOPS 10204 HAS SOUS 10263 HAS SOUPS 10021 WITH SCORE 10031.446
AT ITER 2442 NEW BEST:: SOT 55626 SOS 10437 HAS SOPS 10195 HAS SOUS 10254 HAS SOUPS 10012 WITH SCORE 10022.437
AT ITER 2458 NEW BEST:: SOT 55624 SOS 10439 HAS SOPS 10197 HAS SOUS 10243 HAS SOUPS 10001 WITH SCORE 10011.439
AT ITER 2472 NEW BEST:: SOT 55596 SOS 10355 HAS SOPS 10113 HAS SOUS 10169 HAS SOUPS 9927 WITH SCORE 9937.355
AT ITER 2478 NEW BEST:: SOT 55553 SOS 10292 HAS SOPS 10050 HAS SOUS 10097 HAS SOUPS 9855 WITH SCORE 9865.292
AT ITER 2479 NEW BEST:: SOT 55547 SOS 10278 HAS SOPS 10036 HAS SOUS 10085 HAS SOUPS 9843 WITH SCORE 9853.278
AT ITER 2484 NEW BEST:: SOT 55486 SOS 10132 HAS SOPS 9890 HAS SOUS 9939 HAS SOUPS 9697 WITH SCORE 9707.132
AT ITER 2485 NEW BEST:: SOT 55484 SOS 10124 HAS SOPS 9882 HAS SOUS 9916 HAS SOUPS 9674 WITH SCORE 9684.124
AT ITER 2499 NEW BEST:: SOT 55448 SOS 10104 HAS SOPS 9862 HAS SOUS 9896 HAS SOUPS 9654 WITH SCORE 9664.104
AT ITER 2543 NEW BEST:: SOT 55445 SOS 10086 HAS SOPS 9844 HAS SOUS 9874 HAS SOUPS 9632 WITH SCORE 9642.086
AT ITER 2552 NEW BEST:: SOT 55438 SOS 10060 HAS SOPS 9818 HAS SOUS 9856 HAS SOUPS 9614 WITH SCORE 9624.06
AT ITER 2562 NEW BEST:: SOT 55434 SOS 10050 HAS SOPS 9808 HAS SOUS 9848 HAS SOUPS 9606 WITH SCORE 9616.05
AT ITER 2572 NEW BEST:: SOT 55410 SOS 9986 HAS SOPS 9744 HAS SOUS 9808 HAS SOUPS 9566 WITH SCORE 9575.986
AT ITER 2578 NEW BEST:: SOT 55407 SOS 9972 HAS SOPS 9730 HAS SOUS 9794 HAS SOUPS 9552 WITH SCORE 9561.972
AT ITER 2591 NEW BEST:: SOT 55409 SOS 9963 HAS SOPS 9721 HAS SOUS 9785 HAS SOUPS 9543 WITH SCORE 9552.963
AT ITER 2612 NEW BEST:: SOT 55407 SOS 9961 HAS SOPS 9719 HAS SOUS 9783 HAS SOUPS 9541 WITH SCORE 9550.961
AT ITER 2613 NEW BEST:: SOT 55394 SOS 9887 HAS SOPS 9645 HAS SOUS 9731 HAS SOUPS 9489 WITH SCORE 9498.887
AT ITER 2662 NEW BEST:: SOT 55391 SOS 9901 HAS SOPS 9659 HAS SOUS 9722 HAS SOUPS 9480 WITH SCORE 9489.901
AT ITER 2663 NEW BEST:: SOT 55361 SOS 9831 HAS SOPS 9589 HAS SOUS 9649 HAS SOUPS 9407 WITH SCORE 9416.831
AT ITER 2673 NEW BEST:: SOT 55359 SOS 9818 HAS SOPS 9576 HAS SOUS 9643 HAS SOUPS 9401 WITH SCORE 9410.818
AT ITER 2684 NEW BEST:: SOT 55341 SOS 9806 HAS SOPS 9564 HAS SOUS 9631 HAS SOUPS 9389 WITH SCORE 9398.806
AT ITER 2698 NEW BEST:: SOT 55349 SOS 9790 HAS SOPS 9550 HAS SOUS 9615 HAS SOUPS 9375 WITH SCORE 9384.79
AT ITER 2707 NEW BEST:: SOT 55349 SOS 9786 HAS SOPS 9546 HAS SOUS 9612 HAS SOUPS 9372 WITH SCORE 9381.786
AT ITER 2720 NEW BEST:: SOT 55349 SOS 9780 HAS SOPS 9540 HAS SOUS 9606 HAS SOUPS 9366 WITH SCORE 9375.78
AT ITER 2743 NEW BEST:: SOT 55344 SOS 9765 HAS SOPS 9525 HAS SOUS 9591 HAS SOUPS 9351 WITH SCORE 9360.765
AT ITER 2748 NEW BEST:: SOT 55343 SOS 9761 HAS SOPS 9521 HAS SOUS 9588 HAS SOUPS 9348 WITH SCORE 9357.761
AT ITER 2754 NEW BEST:: SOT 55296 SOS 9706 HAS SOPS 9466 HAS SOUS 9533 HAS SOUPS 9293 WITH SCORE 9302.706
AT ITER 2755 NEW BEST:: SOT 55296 SOS 9691 HAS SOPS 9451 HAS SOUS 9524 HAS SOUPS 9284 WITH SCORE 9293.691
AT ITER 2756 NEW BEST:: SOT 55265 SOS 9645 HAS SOPS 9405 HAS SOUS 9481 HAS SOUPS 9241 WITH SCORE 9250.645
AT ITER 2765 NEW BEST:: SOT 55238 SOS 9609 HAS SOPS 9369 HAS SOUS 9445 HAS SOUPS 9205 WITH SCORE 9214.609
AT ITER 2822 NEW BEST:: SOT 55220 SOS 9588 HAS SOPS 9348 HAS SOUS 9391 HAS SOUPS 9151 WITH SCORE 9160.588
AT ITER 2835 NEW BEST:: SOT 55212 SOS 9581 HAS SOPS 9341 HAS SOUS 9384 HAS SOUPS 9144 WITH SCORE 9153.581
AT ITER 2846 NEW BEST:: SOT 55214 SOS 9559 HAS SOPS 9319 HAS SOUS 9366 HAS SOUPS 9126 WITH SCORE 9135.559
AT ITER 2855 NEW BEST:: SOT 55208 SOS 9547 HAS SOPS 9307 HAS SOUS 9354 HAS SOUPS 9114 WITH SCORE 9123.547
AT ITER 2856 NEW BEST:: SOT 55182 SOS 9531 HAS SOPS 9291 HAS SOUS 9338 HAS SOUPS 9098 WITH SCORE 9107.531
AT ITER 2928 NEW BEST:: SOT 55175 SOS 9529 HAS SOPS 9289 HAS SOUS 9326 HAS SOUPS 9086 WITH SCORE 9095.529
AT ITER 3020 NEW BEST:: SOT 55175 SOS 9526 HAS SOPS 9286 HAS SOUS 9323 HAS SOUPS 9083 WITH SCORE 9092.526
AT ITER 3029 NEW BEST:: SOT 55173 SOS 9522 HAS SOPS 9282 HAS SOUS 9322 HAS SOUPS 9082 WITH SCORE 9091.522
AT ITER 3054 NEW BEST:: SOT 55164 SOS 9515 HAS SOPS 9275 HAS SOUS 9316 HAS SOUPS 9076 WITH SCORE 9085.515
AT ITER 3102 NEW BEST:: SOT 55164 SOS 9514 HAS SOPS 9274 HAS SOUS 9314 HAS SOUPS 9074 WITH SCORE 9083.514
AT ITER 3109 NEW BEST:: SOT 55159 SOS 9509 HAS SOPS 9269 HAS SOUS 9309 HAS SOUPS 9069 WITH SCORE 9078.509
AT ITER 3112 NEW BEST:: SOT 55159 SOS 9456 HAS SOPS 9210 HAS SOUS 9256 HAS SOUPS 9010 WITH SCORE 9019.456
AT ITER 3114 NEW BEST:: SOT 55159 SOS 9448 HAS SOPS 9202 HAS SOUS 9248 HAS SOUPS 9002 WITH SCORE 9011.448
AT ITER 3127 NEW BEST:: SOT 55135 SOS 9419 HAS SOPS 9173 HAS SOUS 9219 HAS SOUPS 8973 WITH SCORE 8982.419
AT ITER 3153 NEW BEST:: SOT 55135 SOS 9360 HAS SOPS 9114 HAS SOUS 9160 HAS SOUPS 8914 WITH SCORE 8923.36
AT ITER 3225 NEW BEST:: SOT 55128 SOS 9334 HAS SOPS 9088 HAS SOUS 9130 HAS SOUPS 8884 WITH SCORE 8893.334
AT ITER 3242 NEW BEST:: SOT 55108 SOS 9291 HAS SOPS 9045 HAS SOUS 9094 HAS SOUPS 8848 WITH SCORE 8857.291
AT ITER 3244 NEW BEST:: SOT 55098 SOS 9281 HAS SOPS 9035 HAS SOUS 9084 HAS SOUPS 8838 WITH SCORE 8847.281
AT ITER 3253 NEW BEST:: SOT 55062 SOS 9270 HAS SOPS 9024 HAS SOUS 9079 HAS SOUPS 8833 WITH SCORE 8842.27
AT ITER 3258 NEW BEST:: SOT 55063 SOS 9269 HAS SOPS 9023 HAS SOUS 9078 HAS SOUPS 8832 WITH SCORE 8841.269
AT ITER 3281 NEW BEST:: SOT 55066 SOS 9250 HAS SOPS 9004 HAS SOUS 9059 HAS SOUPS 8813 WITH SCORE 8822.25
AT ITER 3286 NEW BEST:: SOT 55068 SOS 9218 HAS SOPS 8972 HAS SOUS 9027 HAS SOUPS 8781 WITH SCORE 8790.218
AT ITER 3311 NEW BEST:: SOT 55057 SOS 9190 HAS SOPS 8944 HAS SOUS 8999 HAS SOUPS 8753 WITH SCORE 8762.19
AT ITER 3318 NEW BEST:: SOT 55054 SOS 9181 HAS SOPS 8935 HAS SOUS 8990 HAS SOUPS 8744 WITH SCORE 8753.181
AT ITER 3322 NEW BEST:: SOT 55014 SOS 9123 HAS SOPS 8877 HAS SOUS 8954 HAS SOUPS 8708 WITH SCORE 8717.123
AT ITER 3329 NEW BEST:: SOT 55014 SOS 9123 HAS SOPS 8877 HAS SOUS 8947 HAS SOUPS 8701 WITH SCORE 8710.123
AT ITER 3338 NEW BEST:: SOT 55022 SOS 9102 HAS SOPS 8856 HAS SOUS 8920 HAS SOUPS 8674 WITH SCORE 8683.102
AT ITER 3350 NEW BEST:: SOT 55010 SOS 9082 HAS SOPS 8836 HAS SOUS 8902 HAS SOUPS 8656 WITH SCORE 8665.082
AT ITER 3363 NEW BEST:: SOT 55008 SOS 9089 HAS SOPS 8843 HAS SOUS 8900 HAS SOUPS 8654 WITH SCORE 8663.089
AT ITER 3372 NEW BEST:: SOT 54996 SOS 9049 HAS SOPS 8803 HAS SOUS 8869 HAS SOUPS 8623 WITH SCORE 8632.049
AT ITER 3386 NEW BEST:: SOT 54982 SOS 9027 HAS SOPS 8781 HAS SOUS 8847 HAS SOUPS 8601 WITH SCORE 8610.027
AT ITER 3429 NEW BEST:: SOT 54974 SOS 8976 HAS SOPS 8730 HAS SOUS 8799 HAS SOUPS 8553 WITH SCORE 8561.976
AT ITER 3433 NEW BEST:: SOT 54936 SOS 8910 HAS SOPS 8664 HAS SOUS 8733 HAS SOUPS 8487 WITH SCORE 8495.91
AT ITER 3450 NEW BEST:: SOT 54936 SOS 8902 HAS SOPS 8656 HAS SOUS 8725 HAS SOUPS 8479 WITH SCORE 8487.902
AT ITER 3459 NEW BEST:: SOT 54918 SOS 8900 HAS SOPS 8654 HAS SOUS 8724 HAS SOUPS 8478 WITH SCORE 8486.9
AT ITER 3486 NEW BEST:: SOT 54946 SOS 8872 HAS SOPS 8626 HAS SOUS 8696 HAS SOUPS 8450 WITH SCORE 8458.872
AT ITER 3510 NEW BEST:: SOT 54940 SOS 8863 HAS SOPS 8617 HAS SOUS 8687 HAS SOUPS 8441 WITH SCORE 8449.863
AT ITER 3518 NEW BEST:: SOT 54940 SOS 8861 HAS SOPS 8615 HAS SOUS 8685 HAS SOUPS 8439 WITH SCORE 8447.861
AT ITER 3519 NEW BEST:: SOT 54922 SOS 8854 HAS SOPS 8608 HAS SOUS 8678 HAS SOUPS 8432 WITH SCORE 8440.854
AT ITER 3528 NEW BEST:: SOT 54908 SOS 8840 HAS SOPS 8594 HAS SOUS 8664 HAS SOUPS 8418 WITH SCORE 8426.84
AT ITER 3565 NEW BEST:: SOT 54896 SOS 8761 HAS SOPS 8515 HAS SOUS 8585 HAS SOUPS 8339 WITH SCORE 8347.761
AT ITER 3580 NEW BEST:: SOT 54891 SOS 8755 HAS SOPS 8509 HAS SOUS 8579 HAS SOUPS 8333 WITH SCORE 8341.755
AT ITER 3677 NEW BEST:: SOT 54869 SOS 8686 HAS SOPS 8440 HAS SOUS 8510 HAS SOUPS 8264 WITH SCORE 8272.686
AT ITER 3680 NEW BEST:: SOT 54866 SOS 8680 HAS SOPS 8434 HAS SOUS 8504 HAS SOUPS 8258 WITH SCORE 8266.68
AT ITER 3685 NEW BEST:: SOT 54853 SOS 8642 HAS SOPS 8396 HAS SOUS 8483 HAS SOUPS 8237 WITH SCORE 8245.642
AT ITER 3686 NEW BEST:: SOT 54813 SOS 8582 HAS SOPS 8336 HAS SOUS 8423 HAS SOUPS 8177 WITH SCORE 8185.582
AT ITER 3725 NEW BEST:: SOT 54695 SOS 8414 HAS SOPS 8168 HAS SOUS 8259 HAS SOUPS 8013 WITH SCORE 8021.414
AT ITER 3727 NEW BEST:: SOT 54655 SOS 8320 HAS SOPS 8074 HAS SOUS 8165 HAS SOUPS 7919 WITH SCORE 7927.32
AT ITER 3818 NEW BEST:: SOT 54663 SOS 8288 HAS SOPS 8042 HAS SOUS 8104 HAS SOUPS 7858 WITH SCORE 7866.288
AT ITER 3825 NEW BEST:: SOT 54663 SOS 8276 HAS SOPS 8030 HAS SOUS 8092 HAS SOUPS 7846 WITH SCORE 7854.276
AT ITER 3827 NEW BEST:: SOT 54667 SOS 8268 HAS SOPS 8022 HAS SOUS 8084 HAS SOUPS 7838 WITH SCORE 7846.268
AT ITER 3836 NEW BEST:: SOT 54659 SOS 8260 HAS SOPS 8014 HAS SOUS 8074 HAS SOUPS 7828 WITH SCORE 7836.26
AT ITER 3837 NEW BEST:: SOT 54651 SOS 8246 HAS SOPS 8000 HAS SOUS 8060 HAS SOUPS 7814 WITH SCORE 7822.246
AT ITER 3851 NEW BEST:: SOT 54651 SOS 8237 HAS SOPS 7991 HAS SOUS 8044 HAS SOUPS 7798 WITH SCORE 7806.237
AT ITER 3859 NEW BEST:: SOT 54648 SOS 8233 HAS SOPS 7987 HAS SOUS 8040 HAS SOUPS 7794 WITH SCORE 7802.233
AT ITER 3870 NEW BEST:: SOT 54626 SOS 8199 HAS SOPS 7953 HAS SOUS 8006 HAS SOUPS 7760 WITH SCORE 7768.199
AT ITER 3937 NEW BEST:: SOT 54621 SOS 8177 HAS SOPS 7931 HAS SOUS 7989 HAS SOUPS 7743 WITH SCORE 7751.177
AT ITER 3999 NEW BEST:: SOT 54592 SOS 8116 HAS SOPS 7870 HAS SOUS 7925 HAS SOUPS 7679 WITH SCORE 7687.116
AT ITER 4058 NEW BEST:: SOT 54592 SOS 8104 HAS SOPS 7858 HAS SOUS 7913 HAS SOUPS 7667 WITH SCORE 7675.104
AT ITER 4089 NEW BEST:: SOT 54590 SOS 8097 HAS SOPS 7851 HAS SOUS 7906 HAS SOUPS 7660 WITH SCORE 7668.097
AT ITER 4093 NEW BEST:: SOT 54585 SOS 8082 HAS SOPS 7836 HAS SOUS 7891 HAS SOUPS 7645 WITH SCORE 7653.082
AT ITER 4156 NEW BEST:: SOT 54568 SOS 8057 HAS SOPS 7811 HAS SOUS 7866 HAS SOUPS 7620 WITH SCORE 7628.057
AT ITER 4159 NEW BEST:: SOT 54560 SOS 8045 HAS SOPS 7799 HAS SOUS 7852 HAS SOUPS 7606 WITH SCORE 7614.045
AT ITER 4164 NEW BEST:: SOT 54560 SOS 8044 HAS SOPS 7798 HAS SOUS 7851 HAS SOUPS 7605 WITH SCORE 7613.044
AT ITER 4175 NEW BEST:: SOT 54556 SOS 8036 HAS SOPS 7790 HAS SOUS 7841 HAS SOUPS 7595 WITH SCORE 7603.036
AT ITER 4228 NEW BEST:: SOT 54555 SOS 8034 HAS SOPS 7788 HAS SOUS 7839 HAS SOUPS 7593 WITH SCORE 7601.034
AT ITER 4249 NEW BEST:: SOT 54560 SOS 8024 HAS SOPS 7778 HAS SOUS 7839 HAS SOUPS 7593 WITH SCORE 7601.024
AT ITER 4254 NEW BEST:: SOT 54548 SOS 8012 HAS SOPS 7766 HAS SOUS 7827 HAS SOUPS 7581 WITH SCORE 7589.012
AT ITER 4260 NEW BEST:: SOT 54560 SOS 8002 HAS SOPS 7756 HAS SOUS 7817 HAS SOUPS 7571 WITH SCORE 7579.002
AT ITER 4300 NEW BEST:: SOT 54560 SOS 7999 HAS SOPS 7753 HAS SOUS 7814 HAS SOUPS 7568 WITH SCORE 7575.999
AT ITER 4301 NEW BEST:: SOT 54556 SOS 7969 HAS SOPS 7723 HAS SOUS 7802 HAS SOUPS 7556 WITH SCORE 7563.969
AT ITER 4302 NEW BEST:: SOT 54554 SOS 7965 HAS SOPS 7719 HAS SOUS 7798 HAS SOUPS 7552 WITH SCORE 7559.965
AT ITER 4314 NEW BEST:: SOT 54537 SOS 7918 HAS SOPS 7672 HAS SOUS 7751 HAS SOUPS 7505 WITH SCORE 7512.918
AT ITER 4360 NEW BEST:: SOT 54531 SOS 7906 HAS SOPS 7660 HAS SOUS 7741 HAS SOUPS 7495 WITH SCORE 7502.906
AT ITER 4362 NEW BEST:: SOT 54529 SOS 7898 HAS SOPS 7652 HAS SOUS 7731 HAS SOUPS 7485 WITH SCORE 7492.898
AT ITER 4407 NEW BEST:: SOT 54507 SOS 7854 HAS SOPS 7608 HAS SOUS 7698 HAS SOUPS 7452 WITH SCORE 7459.854
AT ITER 4408 NEW BEST:: SOT 54500 SOS 7781 HAS SOPS 7535 HAS SOUS 7625 HAS SOUPS 7379 WITH SCORE 7386.781
AT ITER 4410 NEW BEST:: SOT 54484 SOS 7749 HAS SOPS 7503 HAS SOUS 7593 HAS SOUPS 7347 WITH SCORE 7354.749
AT ITER 4416 NEW BEST:: SOT 54454 SOS 7714 HAS SOPS 7468 HAS SOUS 7558 HAS SOUPS 7312 WITH SCORE 7319.714
AT ITER 4441 NEW BEST:: SOT 54454 SOS 7708 HAS SOPS 7462 HAS SOUS 7558 HAS SOUPS 7312 WITH SCORE 7319.708
AT ITER 4449 NEW BEST:: SOT 54429 SOS 7712 HAS SOPS 7466 HAS SOUS 7550 HAS SOUPS 7304 WITH SCORE 7311.712
AT ITER 4502 NEW BEST:: SOT 54423 SOS 7703 HAS SOPS 7457 HAS SOUS 7541 HAS SOUPS 7295 WITH SCORE 7302.703
AT ITER 4515 NEW BEST:: SOT 54393 SOS 7664 HAS SOPS 7418 HAS SOUS 7502 HAS SOUPS 7256 WITH SCORE 7263.664
AT ITER 4536 NEW BEST:: SOT 54391 SOS 7656 HAS SOPS 7410 HAS SOUS 7496 HAS SOUPS 7250 WITH SCORE 7257.656
AT ITER 4603 NEW BEST:: SOT 54391 SOS 7614 HAS SOPS 7368 HAS SOUS 7454 HAS SOUPS 7208 WITH SCORE 7215.614
AT ITER 4604 NEW BEST:: SOT 54395 SOS 7597 HAS SOPS 7351 HAS SOUS 7437 HAS SOUPS 7191 WITH SCORE 7198.597
AT ITER 4638 NEW BEST:: SOT 54369 SOS 7539 HAS SOPS 7293 HAS SOUS 7389 HAS SOUPS 7143 WITH SCORE 7150.539
AT ITER 4666 NEW BEST:: SOT 54368 SOS 7538 HAS SOPS 7292 HAS SOUS 7389 HAS SOUPS 7143 WITH SCORE 7150.538
AT ITER 4681 NEW BEST:: SOT 54355 SOS 7524 HAS SOPS 7278 HAS SOUS 7379 HAS SOUPS 7133 WITH SCORE 7140.524
AT ITER 4688 NEW BEST:: SOT 54352 SOS 7512 HAS SOPS 7266 HAS SOUS 7370 HAS SOUPS 7124 WITH SCORE 7131.512
AT ITER 4696 NEW BEST:: SOT 54269 SOS 7401 HAS SOPS 7155 HAS SOUS 7274 HAS SOUPS 7028 WITH SCORE 7035.401
AT ITER 4749 NEW BEST:: SOT 54268 SOS 7397 HAS SOPS 7151 HAS SOUS 7271 HAS SOUPS 7025 WITH SCORE 7032.397
AT ITER 4750 NEW BEST:: SOT 54256 SOS 7389 HAS SOPS 7143 HAS SOUS 7263 HAS SOUPS 7017 WITH SCORE 7024.389
AT ITER 4766 NEW BEST:: SOT 54244 SOS 7385 HAS SOPS 7139 HAS SOUS 7259 HAS SOUPS 7013 WITH SCORE 7020.385
AT ITER 4796 NEW BEST:: SOT 54228 SOS 7366 HAS SOPS 7120 HAS SOUS 7240 HAS SOUPS 6994 WITH SCORE 7001.366
AT ITER 4812 NEW BEST:: SOT 54208 SOS 7350 HAS SOPS 7104 HAS SOUS 7224 HAS SOUPS 6978 WITH SCORE 6985.35
AT ITER 4855 NEW BEST:: SOT 54189 SOS 7328 HAS SOPS 7082 HAS SOUS 7207 HAS SOUPS 6961 WITH SCORE 6968.328
AT ITER 4860 NEW BEST:: SOT 54139 SOS 7260 HAS SOPS 7014 HAS SOUS 7138 HAS SOUPS 6892 WITH SCORE 6899.26
AT ITER 4866 NEW BEST:: SOT 54114 SOS 7219 HAS SOPS 6973 HAS SOUS 7086 HAS SOUPS 6840 WITH SCORE 6847.219
AT ITER 4868 NEW BEST:: SOT 54094 SOS 7189 HAS SOPS 6943 HAS SOUS 7051 HAS SOUPS 6805 WITH SCORE 6812.189
AT ITER 4869 NEW BEST:: SOT 54089 SOS 7179 HAS SOPS 6933 HAS SOUS 7041 HAS SOUPS 6795 WITH SCORE 6802.179
AT ITER 4872 NEW BEST:: SOT 54085 SOS 7175 HAS SOPS 6929 HAS SOUS 7037 HAS SOUPS 6791 WITH SCORE 6798.175
AT ITER 4880 NEW BEST:: SOT 54082 SOS 7151 HAS SOPS 6905 HAS SOUS 7008 HAS SOUPS 6762 WITH SCORE 6769.151
AT ITER 4882 NEW BEST:: SOT 54071 SOS 7144 HAS SOPS 6898 HAS SOUS 7001 HAS SOUPS 6755 WITH SCORE 6762.144
AT ITER 4890 NEW BEST:: SOT 54052 SOS 7117 HAS SOPS 6871 HAS SOUS 6958 HAS SOUPS 6712 WITH SCORE 6719.117
AT ITER 4910 NEW BEST:: SOT 54048 SOS 7103 HAS SOPS 6857 HAS SOUS 6944 HAS SOUPS 6698 WITH SCORE 6705.103
AT ITER 4922 NEW BEST:: SOT 54038 SOS 7091 HAS SOPS 6845 HAS SOUS 6932 HAS SOUPS 6686 WITH SCORE 6693.091
AT ITER 4935 NEW BEST:: SOT 54020 SOS 7066 HAS SOPS 6820 HAS SOUS 6907 HAS SOUPS 6661 WITH SCORE 6668.066
AT ITER 4954 NEW BEST:: SOT 53983 SOS 7037 HAS SOPS 6791 HAS SOUS 6860 HAS SOUPS 6614 WITH SCORE 6621.037
AT ITER 4972 NEW BEST:: SOT 53977 SOS 7025 HAS SOPS 6779 HAS SOUS 6848 HAS SOUPS 6602 WITH SCORE 6609.025
AT ITER 4978 NEW BEST:: SOT 53956 SOS 6999 HAS SOPS 6753 HAS SOUS 6816 HAS SOUPS 6570 WITH SCORE 6576.999
Bounds file is: CTLFireability.xml
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-00 (AG( (! ( (AX( ((potential((tk(P76)>=5)))))) | ( ( ((potential((tk(P11)>=5)))) & ((potential((tk(P235)>=3)))) ) | ( ((potential((tk(P10)>=4)))) & ((potential((tk(P27)>=5)))) ) ) ))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-01 (EU( (AF( ( ((potential((tk(P53)>=2)))) | ((potential((tk(P28)>=2)))) ))) , (! ( ( ((potential((tk(P166)>=5)))) | ((potential((tk(P224)>=2)))) ) | ( ((potential((tk(P199)>=2)))) & ((potential((tk(P160)>=3)))) ) )) ))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-02 (! (EG( ( ( (! ((potential((tk(P22)>=3))))) | ((potential((tk(P35)>=4)))) ) | (AX( ((potential((tk(P144)>=1)))))) ))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-03 (AX( (AG( (! ((potential((tk(P241)>=5)))))))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-04 (AF( (! ( ((potential((tk(P159)>=2)))) | ((potential((tk(P57)>=5)))) ))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-05 (EF( (EF( ( ( ((potential((tk(P62)>=3)))) & ((potential((tk(P12)>=3)))) ) & (! ((potential((tk(P44)>=1))))) )))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-06 (EX( (! (! (AX( ((potential((tk(P196)>=5))))))))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-07 (AU( ((potential((tk(P88)>=2)))) , (EU( ((potential((tk(P64)>=1)))) , ((potential((tk(P242)>=5)))) )) ))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-08 ( ( ((potential((tk(P68)>=2)))) & (EX( ( ( ((potential((tk(P201)>=5)))) | ((potential((tk(P15)>=3)))) ) | ( ((potential((tk(P127)>=3)))) & ((potential((tk(P229)>=1)))) ) ))) ) | (! (EU( ((potential((tk(P209)>=1)))) , ((potential((tk(P100)>=4)))) ))) )
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-09 (AF( ( (AU( ((potential((tk(P187)>=3)))) , ((potential((tk(P108)>=2)))) )) | (AF( ( ((potential((tk(P82)>=3)))) & ((potential((tk(P148)>=2)))) ))) )))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-10 (EF( ( ((potential((tk(P120)>=4)))) | (AG( ( ((potential((tk(P70)>=4)))) | ((potential((tk(P242)>=3)))) ))) )))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-11 (AF( (AF( (AX( ((potential((tk(P245)>=4))))))))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-12 (EF( (! ((potential((tk(P79)>=1)))))))
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-13 ( ( (! ( ((potential((tk(P111)>=5)))) & (EF( ((potential((tk(P36)>=5)))))) )) & ( ( ( (! ((potential((tk(P232)>=5))))) | ( ((potential((tk(P135)>=4)))) | ((potential((tk(P39)>=1)))) ) ) | (! ((potential((tk(P54)>=1))))) ) & (AG( ( ((potential((tk(P119)>=1)))) & ((potential((tk(P97)>=5)))) ))) ) ) | ( ( ( ( ( ((potential((tk(P159)>=1)))) & ((potential((tk(P147)>=3)))) ) & ( ((potential((tk(P85)>=3)))) | ((potential((tk(P173)>=2)))) ) ) | (! ((potential((tk(P82)>=5))))) ) | ( ( ( ((potential((tk(P87)>=5)))) | ((potential((tk(P32)>=5)))) ) | ( ((potential((tk(P191)>=5)))) & ((potential((tk(P175)>=3)))) ) ) | ( (! ((potential((tk(P170)>=3))))) & ((potential((tk(P237)>=3)))) ) ) ) & (EF( ( ((potential((tk(P138)>=2)))) & ((potential((tk(P75)>=4)))) ))) ) )
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-14 ( (! ((potential((tk(P92)>=5))))) & (AX( (EF( ((potential((tk(P42)>=5)))))))) )
PROPERTY: JoinFreeModules-PT-0050-CTLFireability-15 (EG( (EU( ( ((potential((tk(P234)>=1)))) & ((potential((tk(P212)>=3)))) ) , ((potential((tk(P149)>=1)))) ))))

BK_STOP 1589619044087

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 469 Segmentation fault ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="JoinFreeModules-PT-0050"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is JoinFreeModules-PT-0050, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140500428"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0050.tgz
mv JoinFreeModules-PT-0050 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;