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.r395-oct2-167903718300088.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldIIPs-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718300088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 16:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 137K Feb 25 16:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 16:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 16:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 84K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679552900290

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPs-PT-010A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:28:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:28:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:28:24] [INFO ] Load time of PNML (sax parser for PT used): 72 ms
[2023-03-23 06:28:24] [INFO ] Transformed 253 places.
[2023-03-23 06:28:24] [INFO ] Transformed 243 transitions.
[2023-03-23 06:28:24] [INFO ] Found NUPN structural information;
[2023-03-23 06:28:24] [INFO ] Parsed PT model containing 253 places and 243 transitions and 1086 arcs in 309 ms.
[2023-03-23 06:28:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 253 places, 243 transitions and 1086 arcs took 41 ms.
Total runtime 420 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 253 places, 243 transitions, 1086 arcs.
AT ITER 0 NEW BEST:: SOT 41907 SOS 32489 HAS SOPS 32489 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27618.489
AT ITER 3 NEW BEST:: SOT 41763 SOS 32348 HAS SOPS 32348 HAS SOUS 27445 HAS SOUPS 27445 WITH SCORE 27477.348
AT ITER 7 NEW BEST:: SOT 41763 SOS 32331 HAS SOPS 32331 HAS SOUS 27439 HAS SOUPS 27439 WITH SCORE 27471.331
AT ITER 11 NEW BEST:: SOT 41702 SOS 32043 HAS SOPS 32043 HAS SOUS 27353 HAS SOUPS 27353 WITH SCORE 27385.043
AT ITER 13 NEW BEST:: SOT 41624 SOS 31987 HAS SOPS 31987 HAS SOUS 27297 HAS SOUPS 27297 WITH SCORE 27328.987
AT ITER 14 NEW BEST:: SOT 41569 SOS 31932 HAS SOPS 31932 HAS SOUS 27242 HAS SOUPS 27242 WITH SCORE 27273.932
AT ITER 29 NEW BEST:: SOT 41494 SOS 31866 HAS SOPS 31866 HAS SOUS 27176 HAS SOUPS 27176 WITH SCORE 27207.866
AT ITER 36 NEW BEST:: SOT 41462 SOS 31654 HAS SOPS 31654 HAS SOUS 27156 HAS SOUPS 27156 WITH SCORE 27187.654
AT ITER 37 NEW BEST:: SOT 41488 SOS 31455 HAS SOPS 31455 HAS SOUS 27130 HAS SOUPS 27130 WITH SCORE 27161.455
AT ITER 40 NEW BEST:: SOT 41649 SOS 31395 HAS SOPS 31395 HAS SOUS 27077 HAS SOUPS 27077 WITH SCORE 27108.395
AT ITER 41 NEW BEST:: SOT 41632 SOS 31376 HAS SOPS 31376 HAS SOUS 27058 HAS SOUPS 27058 WITH SCORE 27089.376
AT ITER 42 NEW BEST:: SOT 41596 SOS 31340 HAS SOPS 31340 HAS SOUS 27022 HAS SOUPS 27022 WITH SCORE 27053.34
AT ITER 43 NEW BEST:: SOT 41510 SOS 31254 HAS SOPS 31254 HAS SOUS 26936 HAS SOUPS 26936 WITH SCORE 26967.254
AT ITER 47 NEW BEST:: SOT 41486 SOS 31182 HAS SOPS 31182 HAS SOUS 26934 HAS SOUPS 26934 WITH SCORE 26965.182
AT ITER 48 NEW BEST:: SOT 41486 SOS 31184 HAS SOPS 31184 HAS SOUS 26932 HAS SOUPS 26932 WITH SCORE 26963.184
AT ITER 51 NEW BEST:: SOT 41484 SOS 31182 HAS SOPS 31182 HAS SOUS 26858 HAS SOUPS 26858 WITH SCORE 26889.182
AT ITER 52 NEW BEST:: SOT 41271 SOS 31000 HAS SOPS 31000 HAS SOUS 26676 HAS SOUPS 26676 WITH SCORE 26707.0
AT ITER 56 NEW BEST:: SOT 41270 SOS 30945 HAS SOPS 30945 HAS SOUS 26621 HAS SOUPS 26621 WITH SCORE 26651.945
AT ITER 58 NEW BEST:: SOT 41230 SOS 30630 HAS SOPS 30630 HAS SOUS 26518 HAS SOUPS 26518 WITH SCORE 26548.63
AT ITER 64 NEW BEST:: SOT 41163 SOS 30261 HAS SOPS 30261 HAS SOUS 26370 HAS SOUPS 26370 WITH SCORE 26400.261
AT ITER 68 NEW BEST:: SOT 41073 SOS 30106 HAS SOPS 30106 HAS SOUS 26235 HAS SOUPS 26235 WITH SCORE 26265.106
AT ITER 69 NEW BEST:: SOT 41056 SOS 30089 HAS SOPS 30089 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26248.089
AT ITER 75 NEW BEST:: SOT 41056 SOS 30089 HAS SOPS 30089 HAS SOUS 26177 HAS SOUPS 26177 WITH SCORE 26207.089
AT ITER 77 NEW BEST:: SOT 41165 SOS 30105 HAS SOPS 30105 HAS SOUS 26161 HAS SOUPS 26161 WITH SCORE 26191.105
AT ITER 79 NEW BEST:: SOT 41061 SOS 29841 HAS SOPS 29841 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 25880.841
AT ITER 82 NEW BEST:: SOT 40937 SOS 29725 HAS SOPS 29725 HAS SOUS 25751 HAS SOUPS 25751 WITH SCORE 25780.725
AT ITER 84 NEW BEST:: SOT 40930 SOS 29717 HAS SOPS 29717 HAS SOUS 25743 HAS SOUPS 25743 WITH SCORE 25772.717
AT ITER 87 NEW BEST:: SOT 40854 SOS 29639 HAS SOPS 29639 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 25694.639
AT ITER 91 NEW BEST:: SOT 40603 SOS 29440 HAS SOPS 29440 HAS SOUS 25428 HAS SOUPS 25428 WITH SCORE 25457.44
AT ITER 94 NEW BEST:: SOT 40607 SOS 29443 HAS SOPS 29443 HAS SOUS 25426 HAS SOUPS 25426 WITH SCORE 25455.443
AT ITER 95 NEW BEST:: SOT 40561 SOS 29395 HAS SOPS 29395 HAS SOUS 25378 HAS SOUPS 25378 WITH SCORE 25407.395
AT ITER 96 NEW BEST:: SOT 40561 SOS 29400 HAS SOPS 29400 HAS SOUS 25373 HAS SOUPS 25373 WITH SCORE 25402.4
AT ITER 99 NEW BEST:: SOT 40504 SOS 29094 HAS SOPS 29094 HAS SOUS 25243 HAS SOUPS 25243 WITH SCORE 25272.094
AT ITER 100 NEW BEST:: SOT 40473 SOS 29063 HAS SOPS 29063 HAS SOUS 25212 HAS SOUPS 25212 WITH SCORE 25241.063
AT ITER 110 NEW BEST:: SOT 40436 SOS 29002 HAS SOPS 29002 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25239.002
AT ITER 113 NEW BEST:: SOT 40432 SOS 28875 HAS SOPS 28875 HAS SOUS 25177 HAS SOUPS 25177 WITH SCORE 25205.875
AT ITER 116 NEW BEST:: SOT 40430 SOS 28858 HAS SOPS 28858 HAS SOUS 25146 HAS SOUPS 25146 WITH SCORE 25174.858
AT ITER 123 NEW BEST:: SOT 40427 SOS 28852 HAS SOPS 28852 HAS SOUS 25146 HAS SOUPS 25146 WITH SCORE 25174.852
AT ITER 124 NEW BEST:: SOT 40427 SOS 28682 HAS SOPS 28682 HAS SOUS 25123 HAS SOUPS 25123 WITH SCORE 25151.682
AT ITER 125 NEW BEST:: SOT 40419 SOS 28674 HAS SOPS 28674 HAS SOUS 25115 HAS SOUPS 25115 WITH SCORE 25143.674
AT ITER 131 NEW BEST:: SOT 40429 SOS 28628 HAS SOPS 28628 HAS SOUS 25069 HAS SOUPS 25069 WITH SCORE 25097.628
AT ITER 136 NEW BEST:: SOT 40391 SOS 28589 HAS SOPS 28589 HAS SOUS 25030 HAS SOUPS 25030 WITH SCORE 25058.589
AT ITER 139 NEW BEST:: SOT 40322 SOS 28349 HAS SOPS 28349 HAS SOUS 24790 HAS SOUPS 24790 WITH SCORE 24818.349
AT ITER 145 NEW BEST:: SOT 40465 SOS 28308 HAS SOPS 28308 HAS SOUS 24738 HAS SOUPS 24738 WITH SCORE 24766.308
AT ITER 147 NEW BEST:: SOT 40446 SOS 28287 HAS SOPS 28287 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24743.287
AT ITER 148 NEW BEST:: SOT 40445 SOS 28286 HAS SOPS 28286 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24742.286
AT ITER 149 NEW BEST:: SOT 40411 SOS 28252 HAS SOPS 28252 HAS SOUS 24680 HAS SOUPS 24680 WITH SCORE 24708.252
AT ITER 168 NEW BEST:: SOT 40405 SOS 28246 HAS SOPS 28246 HAS SOUS 24674 HAS SOUPS 24674 WITH SCORE 24702.246
AT ITER 171 NEW BEST:: SOT 40384 SOS 28225 HAS SOPS 28225 HAS SOUS 24653 HAS SOUPS 24653 WITH SCORE 24681.225
AT ITER 176 NEW BEST:: SOT 40384 SOS 28091 HAS SOPS 28091 HAS SOUS 24649 HAS SOUPS 24649 WITH SCORE 24677.091
AT ITER 178 NEW BEST:: SOT 40329 SOS 27796 HAS SOPS 27796 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24637.796
AT ITER 185 NEW BEST:: SOT 40337 SOS 27804 HAS SOPS 27804 HAS SOUS 24575 HAS SOUPS 24575 WITH SCORE 24602.804
AT ITER 192 NEW BEST:: SOT 40320 SOS 27770 HAS SOPS 27770 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24585.77
AT ITER 197 NEW BEST:: SOT 40320 SOS 27743 HAS SOPS 27743 HAS SOUS 24557 HAS SOUPS 24557 WITH SCORE 24584.743
AT ITER 200 NEW BEST:: SOT 40302 SOS 27725 HAS SOPS 27725 HAS SOUS 24539 HAS SOUPS 24539 WITH SCORE 24566.725
AT ITER 206 NEW BEST:: SOT 40297 SOS 27706 HAS SOPS 27706 HAS SOUS 24537 HAS SOUPS 24537 WITH SCORE 24564.706
AT ITER 209 NEW BEST:: SOT 40270 SOS 27679 HAS SOPS 27679 HAS SOUS 24510 HAS SOUPS 24510 WITH SCORE 24537.679
AT ITER 211 NEW BEST:: SOT 40260 SOS 27659 HAS SOPS 27659 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24524.659
AT ITER 212 NEW BEST:: SOT 40210 SOS 27609 HAS SOPS 27609 HAS SOUS 24447 HAS SOUPS 24447 WITH SCORE 24474.609
AT ITER 213 NEW BEST:: SOT 40192 SOS 27573 HAS SOPS 27573 HAS SOUS 24447 HAS SOUPS 24447 WITH SCORE 24474.573
AT ITER 216 NEW BEST:: SOT 40192 SOS 27457 HAS SOPS 27457 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24427.457
AT ITER 218 NEW BEST:: SOT 40156 SOS 27248 HAS SOPS 27248 HAS SOUS 24321 HAS SOUPS 24321 WITH SCORE 24348.248
AT ITER 238 NEW BEST:: SOT 40103 SOS 27100 HAS SOPS 27100 HAS SOUS 23943 HAS SOUPS 23943 WITH SCORE 23970.1
AT ITER 241 NEW BEST:: SOT 40052 SOS 26908 HAS SOPS 26908 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23752.908
AT ITER 244 NEW BEST:: SOT 40052 SOS 26906 HAS SOPS 26906 HAS SOUS 23724 HAS SOUPS 23724 WITH SCORE 23750.906
AT ITER 246 NEW BEST:: SOT 40021 SOS 26832 HAS SOPS 26832 HAS SOUS 23650 HAS SOUPS 23650 WITH SCORE 23676.832
AT ITER 257 NEW BEST:: SOT 40021 SOS 26796 HAS SOPS 26796 HAS SOUS 23630 HAS SOUPS 23630 WITH SCORE 23656.796
AT ITER 263 NEW BEST:: SOT 40026 SOS 26752 HAS SOPS 26752 HAS SOUS 23536 HAS SOUPS 23536 WITH SCORE 23562.752
AT ITER 266 NEW BEST:: SOT 39984 SOS 26648 HAS SOPS 26648 HAS SOUS 23412 HAS SOUPS 23412 WITH SCORE 23438.648
AT ITER 267 NEW BEST:: SOT 39984 SOS 26632 HAS SOPS 26632 HAS SOUS 23401 HAS SOUPS 23401 WITH SCORE 23427.632
AT ITER 269 NEW BEST:: SOT 39981 SOS 26626 HAS SOPS 26626 HAS SOUS 23395 HAS SOUPS 23395 WITH SCORE 23421.626
AT ITER 272 NEW BEST:: SOT 39939 SOS 26470 HAS SOPS 26470 HAS SOUS 23349 HAS SOUPS 23349 WITH SCORE 23375.47
AT ITER 273 NEW BEST:: SOT 39820 SOS 26351 HAS SOPS 26351 HAS SOUS 23230 HAS SOUPS 23230 WITH SCORE 23256.351
AT ITER 277 NEW BEST:: SOT 39858 SOS 26426 HAS SOPS 26426 HAS SOUS 23227 HAS SOUPS 23227 WITH SCORE 23253.426
AT ITER 278 NEW BEST:: SOT 39798 SOS 26365 HAS SOPS 26365 HAS SOUS 23166 HAS SOUPS 23166 WITH SCORE 23192.365
AT ITER 281 NEW BEST:: SOT 39796 SOS 26363 HAS SOPS 26363 HAS SOUS 23164 HAS SOUPS 23164 WITH SCORE 23190.363
AT ITER 289 NEW BEST:: SOT 39776 SOS 26343 HAS SOPS 26343 HAS SOUS 23144 HAS SOUPS 23144 WITH SCORE 23170.343
AT ITER 293 NEW BEST:: SOT 39673 SOS 26240 HAS SOPS 26240 HAS SOUS 22994 HAS SOUPS 22994 WITH SCORE 23020.24
AT ITER 299 NEW BEST:: SOT 39672 SOS 26224 HAS SOPS 26224 HAS SOUS 22978 HAS SOUPS 22978 WITH SCORE 23004.224
AT ITER 307 NEW BEST:: SOT 39718 SOS 26117 HAS SOPS 26117 HAS SOUS 22850 HAS SOUPS 22850 WITH SCORE 22876.117
AT ITER 321 NEW BEST:: SOT 39686 SOS 26085 HAS SOPS 26085 HAS SOUS 22818 HAS SOUPS 22818 WITH SCORE 22844.085
AT ITER 333 NEW BEST:: SOT 39666 SOS 26065 HAS SOPS 26065 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22824.065
AT ITER 335 NEW BEST:: SOT 39596 SOS 25907 HAS SOPS 25907 HAS SOUS 22740 HAS SOUPS 22740 WITH SCORE 22765.907
AT ITER 341 NEW BEST:: SOT 39566 SOS 25849 HAS SOPS 25849 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22737.849
AT ITER 345 NEW BEST:: SOT 39566 SOS 25887 HAS SOPS 25887 HAS SOUS 22659 HAS SOUPS 22659 WITH SCORE 22684.887
AT ITER 347 NEW BEST:: SOT 39541 SOS 25860 HAS SOPS 25860 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22657.86
AT ITER 348 NEW BEST:: SOT 39508 SOS 25801 HAS SOPS 25801 HAS SOUS 22565 HAS SOUPS 22565 WITH SCORE 22590.801
AT ITER 354 NEW BEST:: SOT 39391 SOS 25740 HAS SOPS 25740 HAS SOUS 22525 HAS SOUPS 22525 WITH SCORE 22550.74
AT ITER 355 NEW BEST:: SOT 39368 SOS 25717 HAS SOPS 25717 HAS SOUS 22502 HAS SOUPS 22502 WITH SCORE 22527.717
AT ITER 358 NEW BEST:: SOT 39349 SOS 25641 HAS SOPS 25641 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22526.641
AT ITER 359 NEW BEST:: SOT 39349 SOS 25535 HAS SOPS 25535 HAS SOUS 22446 HAS SOUPS 22446 WITH SCORE 22471.535
AT ITER 367 NEW BEST:: SOT 39307 SOS 25395 HAS SOPS 25395 HAS SOUS 21964 HAS SOUPS 21964 WITH SCORE 21989.395
AT ITER 368 NEW BEST:: SOT 39305 SOS 25393 HAS SOPS 25393 HAS SOUS 21962 HAS SOUPS 21962 WITH SCORE 21987.393
AT ITER 371 NEW BEST:: SOT 39302 SOS 25388 HAS SOPS 25388 HAS SOUS 21957 HAS SOUPS 21957 WITH SCORE 21982.388
AT ITER 373 NEW BEST:: SOT 39286 SOS 25372 HAS SOPS 25372 HAS SOUS 21941 HAS SOUPS 21941 WITH SCORE 21966.372
AT ITER 374 NEW BEST:: SOT 39286 SOS 25371 HAS SOPS 25371 HAS SOUS 21940 HAS SOUPS 21940 WITH SCORE 21965.371
AT ITER 376 NEW BEST:: SOT 39272 SOS 25357 HAS SOPS 25357 HAS SOUS 21926 HAS SOUPS 21926 WITH SCORE 21951.357
AT ITER 391 NEW BEST:: SOT 39218 SOS 25303 HAS SOPS 25303 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21897.303
AT ITER 398 NEW BEST:: SOT 39218 SOS 25301 HAS SOPS 25301 HAS SOUS 21872 HAS SOUPS 21872 WITH SCORE 21897.301
AT ITER 401 NEW BEST:: SOT 39366 SOS 25418 HAS SOPS 25418 HAS SOUS 21753 HAS SOUPS 21753 WITH SCORE 21778.418
AT ITER 404 NEW BEST:: SOT 39357 SOS 25409 HAS SOPS 25409 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21769.409
AT ITER 406 NEW BEST:: SOT 39348 SOS 25400 HAS SOPS 25400 HAS SOUS 21735 HAS SOUPS 21735 WITH SCORE 21760.4
AT ITER 412 NEW BEST:: SOT 39343 SOS 25394 HAS SOPS 25394 HAS SOUS 21725 HAS SOUPS 21725 WITH SCORE 21750.394
AT ITER 421 NEW BEST:: SOT 39140 SOS 25183 HAS SOPS 25183 HAS SOUS 21514 HAS SOUPS 21514 WITH SCORE 21539.183
AT ITER 430 NEW BEST:: SOT 39138 SOS 25179 HAS SOPS 25179 HAS SOUS 21510 HAS SOUPS 21510 WITH SCORE 21535.179
AT ITER 434 NEW BEST:: SOT 39143 SOS 25198 HAS SOPS 25198 HAS SOUS 21491 HAS SOUPS 21491 WITH SCORE 21516.198
AT ITER 437 NEW BEST:: SOT 39100 SOS 25155 HAS SOPS 25155 HAS SOUS 21448 HAS SOUPS 21448 WITH SCORE 21473.155
AT ITER 440 NEW BEST:: SOT 39134 SOS 25442 HAS SOPS 25442 HAS SOUS 21418 HAS SOUPS 21418 WITH SCORE 21443.442
AT ITER 443 NEW BEST:: SOT 39102 SOS 25300 HAS SOPS 25300 HAS SOUS 21342 HAS SOUPS 21342 WITH SCORE 21367.3
AT ITER 446 NEW BEST:: SOT 39094 SOS 25292 HAS SOPS 25292 HAS SOUS 21334 HAS SOUPS 21334 WITH SCORE 21359.292
AT ITER 460 NEW BEST:: SOT 39094 SOS 25125 HAS SOPS 25125 HAS SOUS 21070 HAS SOUPS 21070 WITH SCORE 21095.125
AT ITER 461 NEW BEST:: SOT 39116 SOS 25284 HAS SOPS 25284 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21032.284
AT ITER 464 NEW BEST:: SOT 39094 SOS 25152 HAS SOPS 25152 HAS SOUS 20963 HAS SOUPS 20963 WITH SCORE 20988.152
AT ITER 465 NEW BEST:: SOT 39083 SOS 25119 HAS SOPS 25119 HAS SOUS 20952 HAS SOUPS 20952 WITH SCORE 20977.119
AT ITER 468 NEW BEST:: SOT 39083 SOS 25168 HAS SOPS 25168 HAS SOUS 20876 HAS SOUPS 20876 WITH SCORE 20901.168
AT ITER 470 NEW BEST:: SOT 39079 SOS 25164 HAS SOPS 25164 HAS SOUS 20872 HAS SOUPS 20872 WITH SCORE 20897.164
AT ITER 472 NEW BEST:: SOT 39077 SOS 25096 HAS SOPS 25096 HAS SOUS 20760 HAS SOUPS 20760 WITH SCORE 20785.096
AT ITER 480 NEW BEST:: SOT 39087 SOS 25151 HAS SOPS 25151 HAS SOUS 20745 HAS SOUPS 20745 WITH SCORE 20770.151
AT ITER 482 NEW BEST:: SOT 39045 SOS 25109 HAS SOPS 25109 HAS SOUS 20703 HAS SOUPS 20703 WITH SCORE 20728.109
AT ITER 510 NEW BEST:: SOT 39031 SOS 25086 HAS SOPS 25086 HAS SOUS 20674 HAS SOUPS 20674 WITH SCORE 20699.086
AT ITER 515 NEW BEST:: SOT 38976 SOS 25022 HAS SOPS 25022 HAS SOUS 20601 HAS SOUPS 20601 WITH SCORE 20626.022
AT ITER 516 NEW BEST:: SOT 39011 SOS 25005 HAS SOPS 25005 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20609.005
AT ITER 526 NEW BEST:: SOT 38963 SOS 24943 HAS SOPS 24943 HAS SOUS 20522 HAS SOUPS 20522 WITH SCORE 20546.943
AT ITER 529 NEW BEST:: SOT 38950 SOS 24875 HAS SOPS 24875 HAS SOUS 20467 HAS SOUPS 20467 WITH SCORE 20491.875
AT ITER 532 NEW BEST:: SOT 38864 SOS 24789 HAS SOPS 24789 HAS SOUS 20381 HAS SOUPS 20381 WITH SCORE 20405.789
AT ITER 539 NEW BEST:: SOT 38864 SOS 24785 HAS SOPS 24785 HAS SOUS 20377 HAS SOUPS 20377 WITH SCORE 20401.785
AT ITER 542 NEW BEST:: SOT 38614 SOS 24527 HAS SOPS 24527 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20107.527
AT ITER 545 NEW BEST:: SOT 38621 SOS 24472 HAS SOPS 24472 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20083.472
AT ITER 548 NEW BEST:: SOT 38623 SOS 24469 HAS SOPS 24469 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20078.469
AT ITER 550 NEW BEST:: SOT 38604 SOS 24450 HAS SOPS 24450 HAS SOUS 20035 HAS SOUPS 20035 WITH SCORE 20059.45
AT ITER 555 NEW BEST:: SOT 38602 SOS 24460 HAS SOPS 24460 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20045.46
AT ITER 557 NEW BEST:: SOT 38553 SOS 24387 HAS SOPS 24387 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19930.387
AT ITER 558 NEW BEST:: SOT 38520 SOS 24354 HAS SOPS 24354 HAS SOUS 19873 HAS SOUPS 19873 WITH SCORE 19897.354
AT ITER 561 NEW BEST:: SOT 38494 SOS 24258 HAS SOPS 24258 HAS SOUS 19760 HAS SOUPS 19760 WITH SCORE 19784.258
AT ITER 572 NEW BEST:: SOT 38469 SOS 24218 HAS SOPS 24218 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19719.218
AT ITER 574 NEW BEST:: SOT 38473 SOS 24221 HAS SOPS 24221 HAS SOUS 19660 HAS SOUPS 19660 WITH SCORE 19684.221
AT ITER 578 NEW BEST:: SOT 38473 SOS 24185 HAS SOPS 24185 HAS SOUS 19657 HAS SOUPS 19657 WITH SCORE 19681.185
AT ITER 584 NEW BEST:: SOT 38473 SOS 24147 HAS SOPS 24147 HAS SOUS 19644 HAS SOUPS 19644 WITH SCORE 19668.147
AT ITER 586 NEW BEST:: SOT 38452 SOS 24108 HAS SOPS 24108 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19626.108
AT ITER 599 NEW BEST:: SOT 38450 SOS 24078 HAS SOPS 24078 HAS SOUS 19577 HAS SOUPS 19577 WITH SCORE 19601.078
AT ITER 602 NEW BEST:: SOT 38391 SOS 24038 HAS SOPS 24038 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19561.038
AT ITER 607 NEW BEST:: SOT 38335 SOS 23953 HAS SOPS 23953 HAS SOUS 19452 HAS SOUPS 19452 WITH SCORE 19475.953
AT ITER 610 NEW BEST:: SOT 38346 SOS 23955 HAS SOPS 23955 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19461.955
AT ITER 617 NEW BEST:: SOT 38346 SOS 23790 HAS SOPS 23790 HAS SOUS 19411 HAS SOUPS 19411 WITH SCORE 19434.79
AT ITER 622 NEW BEST:: SOT 38295 SOS 23661 HAS SOPS 23661 HAS SOUS 19262 HAS SOUPS 19262 WITH SCORE 19285.661
AT ITER 627 NEW BEST:: SOT 38293 SOS 23658 HAS SOPS 23658 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19282.658
AT ITER 638 NEW BEST:: SOT 38279 SOS 23644 HAS SOPS 23644 HAS SOUS 19245 HAS SOUPS 19245 WITH SCORE 19268.644
AT ITER 640 NEW BEST:: SOT 38290 SOS 23600 HAS SOPS 23600 HAS SOUS 19155 HAS SOUPS 19155 WITH SCORE 19178.6
AT ITER 643 NEW BEST:: SOT 38267 SOS 23496 HAS SOPS 23496 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19016.496
AT ITER 644 NEW BEST:: SOT 38319 SOS 23500 HAS SOPS 23500 HAS SOUS 18977 HAS SOUPS 18977 WITH SCORE 19000.5
AT ITER 651 NEW BEST:: SOT 38319 SOS 23506 HAS SOPS 23506 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 18971.506
AT ITER 653 NEW BEST:: SOT 38322 SOS 23509 HAS SOPS 23509 HAS SOUS 18942 HAS SOUPS 18942 WITH SCORE 18965.509
AT ITER 654 NEW BEST:: SOT 38307 SOS 23541 HAS SOPS 23541 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18922.541
AT ITER 655 NEW BEST:: SOT 38307 SOS 23520 HAS SOPS 23520 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18917.52
AT ITER 656 NEW BEST:: SOT 38292 SOS 23503 HAS SOPS 23503 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18900.503
AT ITER 660 NEW BEST:: SOT 38187 SOS 23368 HAS SOPS 23368 HAS SOUS 18763 HAS SOUPS 18763 WITH SCORE 18786.368
AT ITER 673 NEW BEST:: SOT 38181 SOS 23367 HAS SOPS 23367 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18785.367
AT ITER 678 NEW BEST:: SOT 38243 SOS 23311 HAS SOPS 23311 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18751.311
AT ITER 683 NEW BEST:: SOT 38113 SOS 23198 HAS SOPS 23198 HAS SOUS 18724 HAS SOUPS 18724 WITH SCORE 18747.198
AT ITER 687 NEW BEST:: SOT 38111 SOS 23196 HAS SOPS 23196 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18745.196
AT ITER 689 NEW BEST:: SOT 38111 SOS 23094 HAS SOPS 23094 HAS SOUS 18695 HAS SOUPS 18695 WITH SCORE 18718.094
AT ITER 701 NEW BEST:: SOT 38053 SOS 23035 HAS SOPS 23035 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18633.035
AT ITER 702 NEW BEST:: SOT 38061 SOS 23038 HAS SOPS 23038 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18601.038
AT ITER 703 NEW BEST:: SOT 38041 SOS 23018 HAS SOPS 23018 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18578.018
AT ITER 705 NEW BEST:: SOT 38009 SOS 22814 HAS SOPS 22814 HAS SOUS 18351 HAS SOUPS 18351 WITH SCORE 18373.814
AT ITER 712 NEW BEST:: SOT 37979 SOS 22784 HAS SOPS 22784 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18343.784
AT ITER 713 NEW BEST:: SOT 38031 SOS 22781 HAS SOPS 22781 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18340.781
AT ITER 723 NEW BEST:: SOT 38031 SOS 22781 HAS SOPS 22781 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18337.781
AT ITER 738 NEW BEST:: SOT 38031 SOS 22720 HAS SOPS 22720 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18279.72
AT ITER 744 NEW BEST:: SOT 38014 SOS 22698 HAS SOPS 22698 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18247.698
AT ITER 747 NEW BEST:: SOT 37719 SOS 22401 HAS SOPS 22401 HAS SOUS 17928 HAS SOUPS 17928 WITH SCORE 17950.401
AT ITER 749 NEW BEST:: SOT 37719 SOS 22332 HAS SOPS 22332 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17904.332
AT ITER 756 NEW BEST:: SOT 37649 SOS 22262 HAS SOPS 22262 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17830.262
AT ITER 761 NEW BEST:: SOT 37621 SOS 22212 HAS SOPS 22212 HAS SOUS 17692 HAS SOUPS 17692 WITH SCORE 17714.212
AT ITER 769 NEW BEST:: SOT 37620 SOS 22201 HAS SOPS 22201 HAS SOUS 17690 HAS SOUPS 17690 WITH SCORE 17712.201
AT ITER 770 NEW BEST:: SOT 37585 SOS 22166 HAS SOPS 22166 HAS SOUS 17655 HAS SOUPS 17655 WITH SCORE 17677.166
AT ITER 773 NEW BEST:: SOT 37573 SOS 22134 HAS SOPS 22134 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17650.134
AT ITER 776 NEW BEST:: SOT 37595 SOS 22194 HAS SOPS 22194 HAS SOUS 17618 HAS SOUPS 17618 WITH SCORE 17640.194
AT ITER 779 NEW BEST:: SOT 37592 SOS 22182 HAS SOPS 22182 HAS SOUS 17609 HAS SOUPS 17609 WITH SCORE 17631.182
AT ITER 787 NEW BEST:: SOT 37586 SOS 22179 HAS SOPS 22179 HAS SOUS 17606 HAS SOUPS 17606 WITH SCORE 17628.179
AT ITER 796 NEW BEST:: SOT 37567 SOS 22122 HAS SOPS 22122 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17573.122
AT ITER 803 NEW BEST:: SOT 37567 SOS 22122 HAS SOPS 22122 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17548.122
AT ITER 816 NEW BEST:: SOT 37598 SOS 22113 HAS SOPS 22113 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17539.113
AT ITER 817 NEW BEST:: SOT 37588 SOS 22019 HAS SOPS 22019 HAS SOUS 17514 HAS SOUPS 17514 WITH SCORE 17536.019
AT ITER 832 NEW BEST:: SOT 37568 SOS 21991 HAS SOPS 21991 HAS SOUS 17478 HAS SOUPS 17478 WITH SCORE 17499.991
AT ITER 841 NEW BEST:: SOT 37552 SOS 21930 HAS SOPS 21930 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17438.93
AT ITER 851 NEW BEST:: SOT 37550 SOS 21928 HAS SOPS 21928 HAS SOUS 17415 HAS SOUPS 17415 WITH SCORE 17436.928
AT ITER 853 NEW BEST:: SOT 37438 SOS 21803 HAS SOPS 21803 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17311.803
AT ITER 856 NEW BEST:: SOT 37433 SOS 21798 HAS SOPS 21798 HAS SOUS 17285 HAS SOUPS 17285 WITH SCORE 17306.798
AT ITER 865 NEW BEST:: SOT 37401 SOS 21766 HAS SOPS 21766 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17273.766
AT ITER 874 NEW BEST:: SOT 37401 SOS 21748 HAS SOPS 21748 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17255.748
AT ITER 876 NEW BEST:: SOT 37378 SOS 21474 HAS SOPS 21474 HAS SOUS 17208 HAS SOUPS 17208 WITH SCORE 17229.474
AT ITER 878 NEW BEST:: SOT 37330 SOS 21422 HAS SOPS 21422 HAS SOUS 17159 HAS SOUPS 17159 WITH SCORE 17180.422
AT ITER 881 NEW BEST:: SOT 37352 SOS 21386 HAS SOPS 21386 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17117.386
AT ITER 891 NEW BEST:: SOT 37352 SOS 21203 HAS SOPS 21203 HAS SOUS 17035 HAS SOUPS 17035 WITH SCORE 17056.203
AT ITER 893 NEW BEST:: SOT 37341 SOS 21198 HAS SOPS 21198 HAS SOUS 17030 HAS SOUPS 17030 WITH SCORE 17051.198
AT ITER 900 NEW BEST:: SOT 37281 SOS 21025 HAS SOPS 21025 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17034.025
AT ITER 906 NEW BEST:: SOT 37281 SOS 21020 HAS SOPS 21020 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17034.02
AT ITER 926 NEW BEST:: SOT 37333 SOS 21074 HAS SOPS 21074 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17022.074
AT ITER 932 NEW BEST:: SOT 37332 SOS 21073 HAS SOPS 21073 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17021.073
AT ITER 957 NEW BEST:: SOT 37332 SOS 21073 HAS SOPS 21073 HAS SOUS 16981 HAS SOUPS 16981 WITH SCORE 17002.073
AT ITER 960 NEW BEST:: SOT 37332 SOS 20997 HAS SOPS 20997 HAS SOUS 16867 HAS SOUPS 16867 WITH SCORE 16887.997
AT ITER 965 NEW BEST:: SOT 37370 SOS 21010 HAS SOPS 21010 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16876.01
AT ITER 977 NEW BEST:: SOT 37408 SOS 21045 HAS SOPS 21045 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16874.045
AT ITER 983 NEW BEST:: SOT 37332 SOS 20896 HAS SOPS 20896 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16740.896
AT ITER 998 NEW BEST:: SOT 37264 SOS 20828 HAS SOPS 20828 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16672.828
AT ITER 1002 NEW BEST:: SOT 37264 SOS 20760 HAS SOPS 20760 HAS SOUS 16618 HAS SOUPS 16618 WITH SCORE 16638.76
AT ITER 1003 NEW BEST:: SOT 37274 SOS 20822 HAS SOPS 20822 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16574.822
AT ITER 1012 NEW BEST:: SOT 37271 SOS 20810 HAS SOPS 20810 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16565.81
AT ITER 1019 NEW BEST:: SOT 37078 SOS 20593 HAS SOPS 20593 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16348.593
AT ITER 1021 NEW BEST:: SOT 37084 SOS 20598 HAS SOPS 20598 HAS SOUS 16318 HAS SOUPS 16318 WITH SCORE 16338.598
AT ITER 1040 NEW BEST:: SOT 37120 SOS 20679 HAS SOPS 20679 HAS SOUS 16317 HAS SOUPS 16317 WITH SCORE 16337.679
AT ITER 1041 NEW BEST:: SOT 37116 SOS 20615 HAS SOPS 20615 HAS SOUS 16277 HAS SOUPS 16277 WITH SCORE 16297.615
AT ITER 1047 NEW BEST:: SOT 37116 SOS 20604 HAS SOPS 20604 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16286.604
AT ITER 1056 NEW BEST:: SOT 37122 SOS 20594 HAS SOPS 20594 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16276.594
AT ITER 1058 NEW BEST:: SOT 37086 SOS 20576 HAS SOPS 20576 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16276.576
AT ITER 1061 NEW BEST:: SOT 36998 SOS 20509 HAS SOPS 20509 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16209.509
AT ITER 1076 NEW BEST:: SOT 36998 SOS 20494 HAS SOPS 20494 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16164.494
AT ITER 1090 NEW BEST:: SOT 36858 SOS 20313 HAS SOPS 20313 HAS SOUS 16088 HAS SOUPS 16088 WITH SCORE 16108.313
AT ITER 1096 NEW BEST:: SOT 36836 SOS 20253 HAS SOPS 20253 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16006.253
AT ITER 1101 NEW BEST:: SOT 36763 SOS 20179 HAS SOPS 20179 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15927.179
AT ITER 1105 NEW BEST:: SOT 36745 SOS 20161 HAS SOPS 20161 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15909.161
AT ITER 1119 NEW BEST:: SOT 36727 SOS 20135 HAS SOPS 20135 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15883.135
AT ITER 1120 NEW BEST:: SOT 36719 SOS 20127 HAS SOPS 20127 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15875.127
AT ITER 1126 NEW BEST:: SOT 36718 SOS 20098 HAS SOPS 20098 HAS SOUS 15794 HAS SOUPS 15794 WITH SCORE 15814.098
AT ITER 1132 NEW BEST:: SOT 36716 SOS 20073 HAS SOPS 20073 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15780.073
AT ITER 1148 NEW BEST:: SOT 36662 SOS 20001 HAS SOPS 20001 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15725.001
AT ITER 1149 NEW BEST:: SOT 36563 SOS 19876 HAS SOPS 19876 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15597.876
AT ITER 1155 NEW BEST:: SOT 36550 SOS 19856 HAS SOPS 19856 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15585.856
AT ITER 1156 NEW BEST:: SOT 36767 SOS 20118 HAS SOPS 20118 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15570.118
AT ITER 1160 NEW BEST:: SOT 36767 SOS 20038 HAS SOPS 20038 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15538.038
AT ITER 1166 NEW BEST:: SOT 36757 SOS 20013 HAS SOPS 20013 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15518.013
AT ITER 1170 NEW BEST:: SOT 36720 SOS 19976 HAS SOPS 19976 HAS SOUS 15461 HAS SOUPS 15461 WITH SCORE 15480.976
AT ITER 1173 NEW BEST:: SOT 36716 SOS 19972 HAS SOPS 19972 HAS SOUS 15457 HAS SOUPS 15457 WITH SCORE 15476.972
AT ITER 1176 NEW BEST:: SOT 36727 SOS 19924 HAS SOPS 19924 HAS SOUS 15280 HAS SOUPS 15280 WITH SCORE 15299.924
AT ITER 1190 NEW BEST:: SOT 36701 SOS 19909 HAS SOPS 19909 HAS SOUS 15265 HAS SOUPS 15265 WITH SCORE 15284.909
AT ITER 1200 NEW BEST:: SOT 36694 SOS 19855 HAS SOPS 19855 HAS SOUS 15243 HAS SOUPS 15243 WITH SCORE 15262.855
AT ITER 1205 NEW BEST:: SOT 36684 SOS 19839 HAS SOPS 19839 HAS SOUS 15227 HAS SOUPS 15227 WITH SCORE 15246.839
AT ITER 1210 NEW BEST:: SOT 36641 SOS 19796 HAS SOPS 19796 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15197.796
AT ITER 1215 NEW BEST:: SOT 36635 SOS 19736 HAS SOPS 19736 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15104.736
AT ITER 1227 NEW BEST:: SOT 36655 SOS 19729 HAS SOPS 19729 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15097.729
AT ITER 1233 NEW BEST:: SOT 36606 SOS 19340 HAS SOPS 19340 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15031.34
AT ITER 1239 NEW BEST:: SOT 36605 SOS 19339 HAS SOPS 19339 HAS SOUS 15008 HAS SOUPS 15008 WITH SCORE 15027.339
AT ITER 1263 NEW BEST:: SOT 36619 SOS 19324 HAS SOPS 19324 HAS SOUS 14993 HAS SOUPS 14993 WITH SCORE 15012.324
AT ITER 1265 NEW BEST:: SOT 36586 SOS 19219 HAS SOPS 19219 HAS SOUS 14888 HAS SOUPS 14888 WITH SCORE 14907.219
AT ITER 1273 NEW BEST:: SOT 36581 SOS 19204 HAS SOPS 19204 HAS SOUS 14873 HAS SOUPS 14873 WITH SCORE 14892.204
AT ITER 1283 NEW BEST:: SOT 36559 SOS 19050 HAS SOPS 19050 HAS SOUS 14785 HAS SOUPS 14785 WITH SCORE 14804.05
AT ITER 1285 NEW BEST:: SOT 36548 SOS 19035 HAS SOPS 19035 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14793.035
AT ITER 1294 NEW BEST:: SOT 36502 SOS 18989 HAS SOPS 18989 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14775.989
AT ITER 1301 NEW BEST:: SOT 36473 SOS 18805 HAS SOPS 18805 HAS SOUS 14589 HAS SOUPS 14589 WITH SCORE 14607.805
AT ITER 1305 NEW BEST:: SOT 36478 SOS 18703 HAS SOPS 18703 HAS SOUS 14557 HAS SOUPS 14557 WITH SCORE 14575.703
AT ITER 1325 NEW BEST:: SOT 36472 SOS 18681 HAS SOPS 18681 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14553.681
AT ITER 1345 NEW BEST:: SOT 36472 SOS 18674 HAS SOPS 18674 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14549.674
AT ITER 1346 NEW BEST:: SOT 36484 SOS 18679 HAS SOPS 18679 HAS SOUS 14526 HAS SOUPS 14526 WITH SCORE 14544.679
AT ITER 1357 NEW BEST:: SOT 36386 SOS 18540 HAS SOPS 18540 HAS SOUS 14387 HAS SOUPS 14387 WITH SCORE 14405.54
AT ITER 1373 NEW BEST:: SOT 36365 SOS 18526 HAS SOPS 18526 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14370.526
AT ITER 1374 NEW BEST:: SOT 36363 SOS 18526 HAS SOPS 18526 HAS SOUS 14350 HAS SOUPS 14350 WITH SCORE 14368.526
AT ITER 1375 NEW BEST:: SOT 36303 SOS 18456 HAS SOPS 18456 HAS SOUS 14280 HAS SOUPS 14280 WITH SCORE 14298.456
AT ITER 1390 NEW BEST:: SOT 36303 SOS 18456 HAS SOPS 18456 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14271.456
AT ITER 1402 NEW BEST:: SOT 36303 SOS 18471 HAS SOPS 18471 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14267.471
AT ITER 1408 NEW BEST:: SOT 36265 SOS 18402 HAS SOPS 18402 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14223.402
AT ITER 1410 NEW BEST:: SOT 36245 SOS 18416 HAS SOPS 18416 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14169.416
AT ITER 1413 NEW BEST:: SOT 36227 SOS 18386 HAS SOPS 18386 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14139.386
AT ITER 1417 NEW BEST:: SOT 36242 SOS 18375 HAS SOPS 18375 HAS SOUS 14087 HAS SOUPS 14087 WITH SCORE 14105.375
AT ITER 1423 NEW BEST:: SOT 36226 SOS 18295 HAS SOPS 18295 HAS SOUS 14007 HAS SOUPS 14007 WITH SCORE 14025.295
AT ITER 1432 NEW BEST:: SOT 36226 SOS 18217 HAS SOPS 18217 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13928.217
AT ITER 1442 NEW BEST:: SOT 36226 SOS 18209 HAS SOPS 18209 HAS SOUS 13902 HAS SOUPS 13902 WITH SCORE 13920.209
AT ITER 1446 NEW BEST:: SOT 36225 SOS 18205 HAS SOPS 18205 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13913.205
AT ITER 1447 NEW BEST:: SOT 36221 SOS 18175 HAS SOPS 18175 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13883.175
AT ITER 1448 NEW BEST:: SOT 36199 SOS 18134 HAS SOPS 18134 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13862.134
AT ITER 1454 NEW BEST:: SOT 36325 SOS 17763 HAS SOPS 17763 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13841.763
AT ITER 1462 NEW BEST:: SOT 36321 SOS 17759 HAS SOPS 17759 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13837.759
AT ITER 1472 NEW BEST:: SOT 36321 SOS 17754 HAS SOPS 17754 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13832.754
AT ITER 1477 NEW BEST:: SOT 36245 SOS 17669 HAS SOPS 17669 HAS SOUS 13730 HAS SOUPS 13730 WITH SCORE 13747.669
AT ITER 1494 NEW BEST:: SOT 36244 SOS 17656 HAS SOPS 17656 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13740.656
AT ITER 1502 NEW BEST:: SOT 36244 SOS 17653 HAS SOPS 17653 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13740.653
AT ITER 1512 NEW BEST:: SOT 36222 SOS 17734 HAS SOPS 17734 HAS SOUS 13720 HAS SOUPS 13720 WITH SCORE 13737.734
AT ITER 1517 NEW BEST:: SOT 36205 SOS 17709 HAS SOPS 17709 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13718.709
AT ITER 1519 NEW BEST:: SOT 36205 SOS 17646 HAS SOPS 17646 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13718.646
AT ITER 1541 NEW BEST:: SOT 36204 SOS 17641 HAS SOPS 17641 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13717.641
AT ITER 1553 NEW BEST:: SOT 36261 SOS 17677 HAS SOPS 17677 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13711.677
AT ITER 1557 NEW BEST:: SOT 36261 SOS 17655 HAS SOPS 17655 HAS SOUS 13672 HAS SOUPS 13672 WITH SCORE 13689.655
AT ITER 1562 NEW BEST:: SOT 36187 SOS 17679 HAS SOPS 17679 HAS SOUS 13663 HAS SOUPS 13663 WITH SCORE 13680.679
AT ITER 1586 NEW BEST:: SOT 36183 SOS 17675 HAS SOPS 17675 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13676.675
AT ITER 1612 NEW BEST:: SOT 36130 SOS 17622 HAS SOPS 17622 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13623.622
AT ITER 1638 NEW BEST:: SOT 36131 SOS 17623 HAS SOPS 17623 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13610.623
AT ITER 1650 NEW BEST:: SOT 36113 SOS 17605 HAS SOPS 17605 HAS SOUS 13590 HAS SOUPS 13590 WITH SCORE 13607.605
AT ITER 1701 NEW BEST:: SOT 36048 SOS 17564 HAS SOPS 17564 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13554.564
AT ITER 1723 NEW BEST:: SOT 36042 SOS 17534 HAS SOPS 17534 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13546.534
AT ITER 1762 NEW BEST:: SOT 35995 SOS 17454 HAS SOPS 17454 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13541.454
AT ITER 1767 NEW BEST:: SOT 35927 SOS 17283 HAS SOPS 17283 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13400.283
AT ITER 1768 NEW BEST:: SOT 35921 SOS 17270 HAS SOPS 17270 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13387.27
AT ITER 1801 NEW BEST:: SOT 35921 SOS 17272 HAS SOPS 17272 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13372.272
AT ITER 1804 NEW BEST:: SOT 35916 SOS 17270 HAS SOPS 17270 HAS SOUS 13353 HAS SOUPS 13353 WITH SCORE 13370.27
AT ITER 1810 NEW BEST:: SOT 35898 SOS 17252 HAS SOPS 17252 HAS SOUS 13311 HAS SOUPS 13311 WITH SCORE 13328.252
AT ITER 1826 NEW BEST:: SOT 35898 SOS 17251 HAS SOPS 17251 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13326.251
AT ITER 1838 NEW BEST:: SOT 35894 SOS 17245 HAS SOPS 17245 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13319.245
AT ITER 1848 NEW BEST:: SOT 35894 SOS 17246 HAS SOPS 17246 HAS SOUS 13300 HAS SOUPS 13300 WITH SCORE 13317.246
AT ITER 1856 NEW BEST:: SOT 35889 SOS 17245 HAS SOPS 17245 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13316.245
AT ITER 1862 NEW BEST:: SOT 35889 SOS 17244 HAS SOPS 17244 HAS SOUS 13298 HAS SOUPS 13298 WITH SCORE 13315.244
AT ITER 1869 NEW BEST:: SOT 35889 SOS 17234 HAS SOPS 17234 HAS SOUS 13288 HAS SOUPS 13288 WITH SCORE 13305.234
AT ITER 1876 NEW BEST:: SOT 35870 SOS 17275 HAS SOPS 17275 HAS SOUS 13269 HAS SOUPS 13269 WITH SCORE 13286.275
AT ITER 1882 NEW BEST:: SOT 35870 SOS 17230 HAS SOPS 17230 HAS SOUS 13242 HAS SOUPS 13242 WITH SCORE 13259.23
AT ITER 1888 NEW BEST:: SOT 35862 SOS 17150 HAS SOPS 17150 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13179.15
AT ITER 1890 NEW BEST:: SOT 35844 SOS 17130 HAS SOPS 17130 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13159.13
AT ITER 1893 NEW BEST:: SOT 35836 SOS 17126 HAS SOPS 17126 HAS SOUS 13138 HAS SOUPS 13138 WITH SCORE 13155.126
AT ITER 1913 NEW BEST:: SOT 35803 SOS 17201 HAS SOPS 17201 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13139.201
AT ITER 1924 NEW BEST:: SOT 35813 SOS 17211 HAS SOPS 17211 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13109.211
AT ITER 1930 NEW BEST:: SOT 35811 SOS 17209 HAS SOPS 17209 HAS SOUS 13090 HAS SOUPS 13090 WITH SCORE 13107.209
AT ITER 1941 NEW BEST:: SOT 35794 SOS 17203 HAS SOPS 17203 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13101.203
AT ITER 1950 NEW BEST:: SOT 35794 SOS 17203 HAS SOPS 17203 HAS SOUS 13076 HAS SOUPS 13076 WITH SCORE 13093.203
AT ITER 1951 NEW BEST:: SOT 35754 SOS 17163 HAS SOPS 17163 HAS SOUS 13035 HAS SOUPS 13035 WITH SCORE 13052.163
AT ITER 1953 NEW BEST:: SOT 35740 SOS 17149 HAS SOPS 17149 HAS SOUS 13021 HAS SOUPS 13021 WITH SCORE 13038.149
AT ITER 1958 NEW BEST:: SOT 35727 SOS 17120 HAS SOPS 17120 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13018.12
AT ITER 1963 NEW BEST:: SOT 35727 SOS 17125 HAS SOPS 17125 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13017.125
AT ITER 1981 NEW BEST:: SOT 35752 SOS 17143 HAS SOPS 17143 HAS SOUS 12998 HAS SOUPS 12998 WITH SCORE 13015.143
AT ITER 1990 NEW BEST:: SOT 35768 SOS 17148 HAS SOPS 17148 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12968.148
AT ITER 1995 NEW BEST:: SOT 35768 SOS 17134 HAS SOPS 17134 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12954.134
AT ITER 1997 NEW BEST:: SOT 35748 SOS 17100 HAS SOPS 17100 HAS SOUS 12903 HAS SOUPS 12903 WITH SCORE 12920.1
AT ITER 2006 NEW BEST:: SOT 35725 SOS 17024 HAS SOPS 17024 HAS SOUS 12852 HAS SOUPS 12852 WITH SCORE 12869.024
AT ITER 2017 NEW BEST:: SOT 35712 SOS 17011 HAS SOPS 17011 HAS SOUS 12839 HAS SOUPS 12839 WITH SCORE 12856.011
AT ITER 2027 NEW BEST:: SOT 35703 SOS 16881 HAS SOPS 16881 HAS SOUS 12826 HAS SOUPS 12826 WITH SCORE 12842.881
AT ITER 2036 NEW BEST:: SOT 35701 SOS 16880 HAS SOPS 16880 HAS SOUS 12825 HAS SOUPS 12825 WITH SCORE 12841.88
AT ITER 2049 NEW BEST:: SOT 35670 SOS 16838 HAS SOPS 16838 HAS SOUS 12783 HAS SOUPS 12783 WITH SCORE 12799.838
AT ITER 2069 NEW BEST:: SOT 35649 SOS 16813 HAS SOPS 16813 HAS SOUS 12746 HAS SOUPS 12746 WITH SCORE 12762.813
AT ITER 2091 NEW BEST:: SOT 35693 SOS 16873 HAS SOPS 16873 HAS SOUS 12742 HAS SOUPS 12742 WITH SCORE 12758.873
AT ITER 2118 NEW BEST:: SOT 35693 SOS 16839 HAS SOPS 16839 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12741.839
AT ITER 2125 NEW BEST:: SOT 35692 SOS 16838 HAS SOPS 16838 HAS SOUS 12705 HAS SOUPS 12705 WITH SCORE 12721.838
AT ITER 2131 NEW BEST:: SOT 35680 SOS 16663 HAS SOPS 16663 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12671.663
AT ITER 2135 NEW BEST:: SOT 35678 SOS 16659 HAS SOPS 16659 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12669.659
AT ITER 2150 NEW BEST:: SOT 35674 SOS 16647 HAS SOPS 16647 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12664.647
AT ITER 2165 NEW BEST:: SOT 35673 SOS 16646 HAS SOPS 16646 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12663.646
AT ITER 2175 NEW BEST:: SOT 35669 SOS 16642 HAS SOPS 16642 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12663.642
AT ITER 2195 NEW BEST:: SOT 35661 SOS 16618 HAS SOPS 16618 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12641.618
AT ITER 2203 NEW BEST:: SOT 35660 SOS 16617 HAS SOPS 16617 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12640.617
AT ITER 2217 NEW BEST:: SOT 35660 SOS 16617 HAS SOPS 16617 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12639.617
AT ITER 2226 NEW BEST:: SOT 35660 SOS 16539 HAS SOPS 16539 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12625.539
AT ITER 2228 NEW BEST:: SOT 35666 SOS 16535 HAS SOPS 16535 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12625.535
AT ITER 2231 NEW BEST:: SOT 35655 SOS 16524 HAS SOPS 16524 HAS SOUS 12598 HAS SOUPS 12598 WITH SCORE 12614.524
AT ITER 2243 NEW BEST:: SOT 35619 SOS 16480 HAS SOPS 16480 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12546.48
AT ITER 2269 NEW BEST:: SOT 35636 SOS 16523 HAS SOPS 16523 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12544.523
AT ITER 2283 NEW BEST:: SOT 35575 SOS 16444 HAS SOPS 16444 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12448.444
AT ITER 2285 NEW BEST:: SOT 35575 SOS 16418 HAS SOPS 16418 HAS SOUS 12393 HAS SOUPS 12393 WITH SCORE 12409.418
AT ITER 2297 NEW BEST:: SOT 35671 SOS 16569 HAS SOPS 16569 HAS SOUS 12376 HAS SOUPS 12376 WITH SCORE 12392.569
AT ITER 2300 NEW BEST:: SOT 35643 SOS 16507 HAS SOPS 16507 HAS SOUS 12293 HAS SOUPS 12293 WITH SCORE 12309.507
AT ITER 2370 NEW BEST:: SOT 35653 SOS 16482 HAS SOPS 16482 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12292.482
AT ITER 2391 NEW BEST:: SOT 35653 SOS 16472 HAS SOPS 16472 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12288.472
AT ITER 2426 NEW BEST:: SOT 35666 SOS 16455 HAS SOPS 16455 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12264.455
AT ITER 2433 NEW BEST:: SOT 35666 SOS 16409 HAS SOPS 16409 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12248.409
AT ITER 2466 NEW BEST:: SOT 35664 SOS 16380 HAS SOPS 16380 HAS SOUS 12213 HAS SOUPS 12213 WITH SCORE 12229.38
AT ITER 2469 NEW BEST:: SOT 35678 SOS 16391 HAS SOPS 16391 HAS SOUS 12212 HAS SOUPS 12212 WITH SCORE 12228.391
AT ITER 2481 NEW BEST:: SOT 35678 SOS 16387 HAS SOPS 16387 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12226.387
AT ITER 2513 NEW BEST:: SOT 35698 SOS 16271 HAS SOPS 16271 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12164.271
AT ITER 2516 NEW BEST:: SOT 35698 SOS 16259 HAS SOPS 16259 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12152.259
AT ITER 2539 NEW BEST:: SOT 35698 SOS 16235 HAS SOPS 16235 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12140.235
AT ITER 2543 NEW BEST:: SOT 35701 SOS 16243 HAS SOPS 16243 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12131.243
AT ITER 2566 NEW BEST:: SOT 35700 SOS 16242 HAS SOPS 16242 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12130.242
AT ITER 2568 NEW BEST:: SOT 35717 SOS 16276 HAS SOPS 16276 HAS SOUS 12097 HAS SOUPS 12097 WITH SCORE 12113.276
AT ITER 2588 NEW BEST:: SOT 35745 SOS 16252 HAS SOPS 16252 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12085.252
AT ITER 2616 NEW BEST:: SOT 35737 SOS 16237 HAS SOPS 16237 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12068.237
AT ITER 2617 NEW BEST:: SOT 35737 SOS 16217 HAS SOPS 16217 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12064.217
AT ITER 2654 NEW BEST:: SOT 35727 SOS 16119 HAS SOPS 16119 HAS SOUS 11940 HAS SOUPS 11940 WITH SCORE 11956.119
AT ITER 2681 NEW BEST:: SOT 35711 SOS 16103 HAS SOPS 16103 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11940.103
AT ITER 2702 NEW BEST:: SOT 35737 SOS 16181 HAS SOPS 16181 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11937.181
AT ITER 2709 NEW BEST:: SOT 35739 SOS 16175 HAS SOPS 16175 HAS SOUS 11907 HAS SOUPS 11907 WITH SCORE 11923.175
AT ITER 2745 NEW BEST:: SOT 35730 SOS 16166 HAS SOPS 16166 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11914.166
AT ITER 2752 NEW BEST:: SOT 35775 SOS 16151 HAS SOPS 16151 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11889.151
AT ITER 2778 NEW BEST:: SOT 35726 SOS 16119 HAS SOPS 16119 HAS SOUS 11841 HAS SOUPS 11841 WITH SCORE 11857.119
AT ITER 2817 NEW BEST:: SOT 35726 SOS 16118 HAS SOPS 16118 HAS SOUS 11840 HAS SOUPS 11840 WITH SCORE 11856.118
AT ITER 2824 NEW BEST:: SOT 35721 SOS 16113 HAS SOPS 16113 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11851.113
AT ITER 2830 NEW BEST:: SOT 35709 SOS 16081 HAS SOPS 16081 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11819.081
AT ITER 2841 NEW BEST:: SOT 35707 SOS 16079 HAS SOPS 16079 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11817.079
AT ITER 2844 NEW BEST:: SOT 35703 SOS 15949 HAS SOPS 15949 HAS SOUS 11780 HAS SOUPS 11780 WITH SCORE 11795.949
AT ITER 2862 NEW BEST:: SOT 35696 SOS 15860 HAS SOPS 15860 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11769.86
AT ITER 2871 NEW BEST:: SOT 35648 SOS 15812 HAS SOPS 15812 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11725.812
AT ITER 2890 NEW BEST:: SOT 35646 SOS 15810 HAS SOPS 15810 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11723.81
AT ITER 2913 NEW BEST:: SOT 35644 SOS 15808 HAS SOPS 15808 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11721.808
AT ITER 2921 NEW BEST:: SOT 35648 SOS 15742 HAS SOPS 15742 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11713.742
AT ITER 2959 NEW BEST:: SOT 35644 SOS 15738 HAS SOPS 15738 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11709.738
AT ITER 2969 NEW BEST:: SOT 35637 SOS 15716 HAS SOPS 15716 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11694.716
AT ITER 2980 NEW BEST:: SOT 35628 SOS 15695 HAS SOPS 15695 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11673.695
AT ITER 2986 NEW BEST:: SOT 35622 SOS 15687 HAS SOPS 15687 HAS SOUS 11650 HAS SOUPS 11650 WITH SCORE 11665.687
AT ITER 3017 NEW BEST:: SOT 35614 SOS 15617 HAS SOPS 15617 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11584.617
AT ITER 3056 NEW BEST:: SOT 35566 SOS 15524 HAS SOPS 15524 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11507.524
AT ITER 3064 NEW BEST:: SOT 35546 SOS 15435 HAS SOPS 15435 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11407.435
AT ITER 3076 NEW BEST:: SOT 35512 SOS 15447 HAS SOPS 15447 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11399.447
AT ITER 3078 NEW BEST:: SOT 35512 SOS 15437 HAS SOPS 15437 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11385.437
AT ITER 3085 NEW BEST:: SOT 35512 SOS 15444 HAS SOPS 15444 HAS SOUS 11360 HAS SOUPS 11360 WITH SCORE 11375.444
AT ITER 3093 NEW BEST:: SOT 35475 SOS 15412 HAS SOPS 15412 HAS SOUS 11333 HAS SOUPS 11333 WITH SCORE 11348.412
AT ITER 3098 NEW BEST:: SOT 35472 SOS 15404 HAS SOPS 15404 HAS SOUS 11325 HAS SOUPS 11325 WITH SCORE 11340.404
AT ITER 3127 NEW BEST:: SOT 35462 SOS 15394 HAS SOPS 15394 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11330.394
AT ITER 3146 NEW BEST:: SOT 35458 SOS 15390 HAS SOPS 15390 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11326.39
AT ITER 3152 NEW BEST:: SOT 35460 SOS 15408 HAS SOPS 15408 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11316.408
AT ITER 3158 NEW BEST:: SOT 35460 SOS 15414 HAS SOPS 15414 HAS SOUS 11300 HAS SOUPS 11300 WITH SCORE 11315.414
AT ITER 3166 NEW BEST:: SOT 35501 SOS 15496 HAS SOPS 15496 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11287.496
AT ITER 3168 NEW BEST:: SOT 35493 SOS 15495 HAS SOPS 15495 HAS SOUS 11270 HAS SOUPS 11270 WITH SCORE 11285.495
AT ITER 3171 NEW BEST:: SOT 35493 SOS 15491 HAS SOPS 15491 HAS SOUS 11266 HAS SOUPS 11266 WITH SCORE 11281.491
AT ITER 3204 NEW BEST:: SOT 35487 SOS 15483 HAS SOPS 15483 HAS SOUS 11250 HAS SOUPS 11250 WITH SCORE 11265.483
AT ITER 3269 NEW BEST:: SOT 35487 SOS 15443 HAS SOPS 15443 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11250.443
AT ITER 3275 NEW BEST:: SOT 35487 SOS 15441 HAS SOPS 15441 HAS SOUS 11231 HAS SOUPS 11231 WITH SCORE 11246.441
AT ITER 3288 NEW BEST:: SOT 35496 SOS 15457 HAS SOPS 15457 HAS SOUS 11219 HAS SOUPS 11219 WITH SCORE 11234.457
AT ITER 3293 NEW BEST:: SOT 35384 SOS 15241 HAS SOPS 15241 HAS SOUS 11024 HAS SOUPS 11024 WITH SCORE 11039.241
AT ITER 3299 NEW BEST:: SOT 35385 SOS 15241 HAS SOPS 15241 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11036.241
AT ITER 3312 NEW BEST:: SOT 35319 SOS 15119 HAS SOPS 15119 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10942.119
AT ITER 3340 NEW BEST:: SOT 35319 SOS 15095 HAS SOPS 15095 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10918.095
AT ITER 3356 NEW BEST:: SOT 35319 SOS 15095 HAS SOPS 15095 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10917.095
AT ITER 3391 NEW BEST:: SOT 35330 SOS 15095 HAS SOPS 15095 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10912.095
AT ITER 3407 NEW BEST:: SOT 35328 SOS 15088 HAS SOPS 15088 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10905.088
AT ITER 3412 NEW BEST:: SOT 35333 SOS 15030 HAS SOPS 15030 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10891.03
AT ITER 3461 NEW BEST:: SOT 35329 SOS 15026 HAS SOPS 15026 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10887.026
AT ITER 3477 NEW BEST:: SOT 35327 SOS 15024 HAS SOPS 15024 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10885.024
AT ITER 3517 NEW BEST:: SOT 35327 SOS 15018 HAS SOPS 15018 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10879.018
AT ITER 3528 NEW BEST:: SOT 35327 SOS 15020 HAS SOPS 15020 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10878.02
AT ITER 3571 NEW BEST:: SOT 35326 SOS 15015 HAS SOPS 15015 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 10870.015
AT ITER 3579 NEW BEST:: SOT 35322 SOS 14979 HAS SOPS 14979 HAS SOUS 10854 HAS SOUPS 10854 WITH SCORE 10868.979
AT ITER 3585 NEW BEST:: SOT 35322 SOS 14959 HAS SOPS 14959 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10864.959
AT ITER 3589 NEW BEST:: SOT 35327 SOS 14956 HAS SOPS 14956 HAS SOUS 10847 HAS SOUPS 10847 WITH SCORE 10861.956
AT ITER 3620 NEW BEST:: SOT 35325 SOS 14951 HAS SOPS 14951 HAS SOUS 10842 HAS SOUPS 10842 WITH SCORE 10856.951
AT ITER 3621 NEW BEST:: SOT 35322 SOS 14947 HAS SOPS 14947 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10852.947
AT ITER 3637 NEW BEST:: SOT 35313 SOS 14938 HAS SOPS 14938 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10846.938
AT ITER 3643 NEW BEST:: SOT 35312 SOS 14937 HAS SOPS 14937 HAS SOUS 10831 HAS SOUPS 10831 WITH SCORE 10845.937
AT ITER 3661 NEW BEST:: SOT 35318 SOS 14961 HAS SOPS 14961 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10828.961
AT ITER 3676 NEW BEST:: SOT 35260 SOS 14903 HAS SOPS 14903 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10770.903
AT ITER 3682 NEW BEST:: SOT 35234 SOS 14877 HAS SOPS 14877 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10722.877
AT ITER 3710 NEW BEST:: SOT 35234 SOS 14862 HAS SOPS 14862 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10713.862
AT ITER 3759 NEW BEST:: SOT 35272 SOS 14840 HAS SOPS 14840 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10705.84
AT ITER 3770 NEW BEST:: SOT 35249 SOS 14834 HAS SOPS 14834 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10697.834
AT ITER 3785 NEW BEST:: SOT 35233 SOS 14801 HAS SOPS 14801 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10682.801
AT ITER 3789 NEW BEST:: SOT 35207 SOS 14782 HAS SOPS 14782 HAS SOUS 10650 HAS SOUPS 10650 WITH SCORE 10664.782
AT ITER 3803 NEW BEST:: SOT 35187 SOS 14762 HAS SOPS 14762 HAS SOUS 10629 HAS SOUPS 10629 WITH SCORE 10643.762
AT ITER 3807 NEW BEST:: SOT 35182 SOS 14751 HAS SOPS 14751 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10639.751
AT ITER 3820 NEW BEST:: SOT 35182 SOS 14636 HAS SOPS 14636 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10617.636
AT ITER 3829 NEW BEST:: SOT 35174 SOS 14628 HAS SOPS 14628 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10609.628
AT ITER 3844 NEW BEST:: SOT 35135 SOS 14614 HAS SOPS 14614 HAS SOUS 10569 HAS SOUPS 10569 WITH SCORE 10583.614
AT ITER 3865 NEW BEST:: SOT 35123 SOS 14602 HAS SOPS 14602 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10571.602
AT ITER 3882 NEW BEST:: SOT 35121 SOS 14600 HAS SOPS 14600 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10569.6
AT ITER 3909 NEW BEST:: SOT 35118 SOS 14597 HAS SOPS 14597 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10568.597
AT ITER 3911 NEW BEST:: SOT 35108 SOS 14583 HAS SOPS 14583 HAS SOUS 10545 HAS SOUPS 10545 WITH SCORE 10559.583
AT ITER 3925 NEW BEST:: SOT 35071 SOS 14529 HAS SOPS 14529 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10509.529
AT ITER 3930 NEW BEST:: SOT 35069 SOS 14525 HAS SOPS 14525 HAS SOUS 10491 HAS SOUPS 10491 WITH SCORE 10505.525
AT ITER 3931 NEW BEST:: SOT 35089 SOS 14529 HAS SOPS 14529 HAS SOUS 10489 HAS SOUPS 10489 WITH SCORE 10503.529
AT ITER 3944 NEW BEST:: SOT 35085 SOS 14525 HAS SOPS 14525 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10499.525
AT ITER 3947 NEW BEST:: SOT 35075 SOS 14523 HAS SOPS 14523 HAS SOUS 10483 HAS SOUPS 10483 WITH SCORE 10497.523
AT ITER 3966 NEW BEST:: SOT 35113 SOS 14561 HAS SOPS 14561 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10495.561
AT ITER 4018 NEW BEST:: SOT 35096 SOS 14582 HAS SOPS 14582 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10485.582
AT ITER 4029 NEW BEST:: SOT 35090 SOS 14564 HAS SOPS 14564 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10468.564
AT ITER 4038 NEW BEST:: SOT 35084 SOS 14558 HAS SOPS 14558 HAS SOUS 10448 HAS SOUPS 10448 WITH SCORE 10462.558
AT ITER 4099 NEW BEST:: SOT 35039 SOS 14483 HAS SOPS 14483 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10391.483
AT ITER 4111 NEW BEST:: SOT 34994 SOS 14504 HAS SOPS 14504 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10388.504
AT ITER 4115 NEW BEST:: SOT 34990 SOS 14490 HAS SOPS 14490 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10373.49
AT ITER 4142 NEW BEST:: SOT 34990 SOS 14488 HAS SOPS 14488 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10370.488
AT ITER 4174 NEW BEST:: SOT 34950 SOS 14416 HAS SOPS 14416 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10326.416
AT ITER 4210 NEW BEST:: SOT 34940 SOS 14401 HAS SOPS 14401 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10311.401
AT ITER 4242 NEW BEST:: SOT 34943 SOS 14404 HAS SOPS 14404 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10305.404
AT ITER 4244 NEW BEST:: SOT 34824 SOS 14305 HAS SOPS 14305 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10239.305
AT ITER 4262 NEW BEST:: SOT 34804 SOS 14301 HAS SOPS 14301 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10235.301
AT ITER 4264 NEW BEST:: SOT 34798 SOS 14295 HAS SOPS 14295 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10235.295
AT ITER 4275 NEW BEST:: SOT 34765 SOS 14262 HAS SOPS 14262 HAS SOUS 10188 HAS SOUPS 10188 WITH SCORE 10202.262
AT ITER 4279 NEW BEST:: SOT 34775 SOS 14250 HAS SOPS 14250 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10190.25
AT ITER 4281 NEW BEST:: SOT 34775 SOS 14240 HAS SOPS 14240 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10190.24
AT ITER 4311 NEW BEST:: SOT 34767 SOS 14232 HAS SOPS 14232 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10178.232
AT ITER 4315 NEW BEST:: SOT 34767 SOS 14225 HAS SOPS 14225 HAS SOUS 10150 HAS SOUPS 10150 WITH SCORE 10164.225
AT ITER 4343 NEW BEST:: SOT 34756 SOS 14240 HAS SOPS 14240 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10157.24
AT ITER 4433 NEW BEST:: SOT 34751 SOS 14230 HAS SOPS 14230 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10147.23
AT ITER 4436 NEW BEST:: SOT 34765 SOS 14239 HAS SOPS 14239 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10139.239
AT ITER 4517 NEW BEST:: SOT 34764 SOS 14236 HAS SOPS 14236 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10137.236
AT ITER 4518 NEW BEST:: SOT 34750 SOS 14217 HAS SOPS 14217 HAS SOUS 10098 HAS SOUPS 10098 WITH SCORE 10112.217
AT ITER 4525 NEW BEST:: SOT 34753 SOS 14221 HAS SOPS 14221 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10110.221
AT ITER 4534 NEW BEST:: SOT 34753 SOS 14221 HAS SOPS 14221 HAS SOUS 10093 HAS SOUPS 10093 WITH SCORE 10107.221
AT ITER 4556 NEW BEST:: SOT 34741 SOS 14218 HAS SOPS 14218 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10103.218
AT ITER 4561 NEW BEST:: SOT 34734 SOS 14215 HAS SOPS 14215 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10096.215
AT ITER 4573 NEW BEST:: SOT 34736 SOS 14176 HAS SOPS 14176 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10053.176
AT ITER 4577 NEW BEST:: SOT 34736 SOS 14164 HAS SOPS 14164 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10053.164
AT ITER 4588 NEW BEST:: SOT 34729 SOS 14120 HAS SOPS 14120 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10044.12
AT ITER 4632 NEW BEST:: SOT 34706 SOS 14097 HAS SOPS 14097 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10021.097
AT ITER 4693 NEW BEST:: SOT 34705 SOS 14095 HAS SOPS 14095 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10019.095
AT ITER 4716 NEW BEST:: SOT 34705 SOS 14077 HAS SOPS 14077 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10007.077
AT ITER 4749 NEW BEST:: SOT 34702 SOS 14074 HAS SOPS 14074 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10004.074
AT ITER 4801 NEW BEST:: SOT 34708 SOS 14011 HAS SOPS 14011 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10002.011
AT ITER 4805 NEW BEST:: SOT 34700 SOS 14003 HAS SOPS 14003 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9999.003
AT ITER 4845 NEW BEST:: SOT 34700 SOS 14001 HAS SOPS 14001 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9999.001
AT ITER 4859 NEW BEST:: SOT 34690 SOS 13961 HAS SOPS 13961 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9958.961
AT ITER 4914 NEW BEST:: SOT 34689 SOS 13959 HAS SOPS 13959 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9956.959
AT ITER 4918 NEW BEST:: SOT 34680 SOS 13945 HAS SOPS 13945 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9942.945
AT ITER 4996 NEW BEST:: SOT 34674 SOS 13937 HAS SOPS 13937 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9934.937
AT ITER 5010 NEW BEST:: SOT 34656 SOS 13944 HAS SOPS 13944 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9923.944
AT ITER 5011 NEW BEST:: SOT 34650 SOS 13913 HAS SOPS 13913 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9892.913
AT ITER 5046 NEW BEST:: SOT 34726 SOS 13883 HAS SOPS 13883 HAS SOUS 9849 HAS SOUPS 9849 WITH SCORE 9862.883
AT ITER 5056 NEW BEST:: SOT 34747 SOS 13876 HAS SOPS 13876 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9855.876
AT ITER 5141 NEW BEST:: SOT 34729 SOS 13908 HAS SOPS 13908 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9845.908
AT ITER 5168 NEW BEST:: SOT 34725 SOS 13765 HAS SOPS 13765 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9813.765
AT ITER 5193 NEW BEST:: SOT 34721 SOS 13761 HAS SOPS 13761 HAS SOUS 9786 HAS SOUPS 9786 WITH SCORE 9799.761
AT ITER 5206 NEW BEST:: SOT 34708 SOS 13748 HAS SOPS 13748 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9786.748
AT ITER 5226 NEW BEST:: SOT 34721 SOS 13777 HAS SOPS 13777 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9778.777
AT ITER 5305 NEW BEST:: SOT 34713 SOS 13765 HAS SOPS 13765 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9763.765
AT ITER 5322 NEW BEST:: SOT 34700 SOS 13742 HAS SOPS 13742 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9741.742
AT ITER 5324 NEW BEST:: SOT 34700 SOS 13737 HAS SOPS 13737 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9736.737
AT ITER 5362 NEW BEST:: SOT 34688 SOS 13649 HAS SOPS 13649 HAS SOUS 9700 HAS SOUPS 9700 WITH SCORE 9713.649
AT ITER 5367 NEW BEST:: SOT 34674 SOS 13622 HAS SOPS 13622 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9709.622
AT ITER 5374 NEW BEST:: SOT 34674 SOS 13640 HAS SOPS 13640 HAS SOUS 9695 HAS SOUPS 9695 WITH SCORE 9708.64
AT ITER 5409 NEW BEST:: SOT 34675 SOS 13631 HAS SOPS 13631 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9654.631
AT ITER 5425 NEW BEST:: SOT 34656 SOS 13617 HAS SOPS 13617 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9640.617
AT ITER 5469 NEW BEST:: SOT 34653 SOS 13614 HAS SOPS 13614 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9637.614
AT ITER 5484 NEW BEST:: SOT 34653 SOS 13620 HAS SOPS 13620 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9636.62
AT ITER 5492 NEW BEST:: SOT 34649 SOS 13628 HAS SOPS 13628 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9632.628
AT ITER 5520 NEW BEST:: SOT 34641 SOS 13612 HAS SOPS 13612 HAS SOUS 9607 HAS SOUPS 9607 WITH SCORE 9620.612
AT ITER 5569 NEW BEST:: SOT 34705 SOS 13421 HAS SOPS 13421 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9613.421
AT ITER 5571 NEW BEST:: SOT 34685 SOS 13400 HAS SOPS 13400 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9590.4
AT ITER 5579 NEW BEST:: SOT 34671 SOS 13393 HAS SOPS 13393 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9583.393
AT ITER 5600 NEW BEST:: SOT 34623 SOS 13379 HAS SOPS 13379 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9565.379
AT ITER 5601 NEW BEST:: SOT 34630 SOS 13380 HAS SOPS 13380 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9557.38
AT ITER 5628 NEW BEST:: SOT 34624 SOS 13366 HAS SOPS 13366 HAS SOUS 9530 HAS SOUPS 9530 WITH SCORE 9543.366
AT ITER 5638 NEW BEST:: SOT 34621 SOS 13360 HAS SOPS 13360 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9537.36
AT ITER 5649 NEW BEST:: SOT 34616 SOS 13354 HAS SOPS 13354 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9534.354
AT ITER 5658 NEW BEST:: SOT 34616 SOS 13351 HAS SOPS 13351 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9529.351
AT ITER 5679 NEW BEST:: SOT 34608 SOS 13343 HAS SOPS 13343 HAS SOUS 9508 HAS SOUPS 9508 WITH SCORE 9521.343
AT ITER 5732 NEW BEST:: SOT 34608 SOS 13342 HAS SOPS 13342 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9518.342
AT ITER 5748 NEW BEST:: SOT 34598 SOS 13308 HAS SOPS 13308 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9479.308
AT ITER 5757 NEW BEST:: SOT 34599 SOS 13304 HAS SOPS 13304 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9472.304
AT ITER 5773 NEW BEST:: SOT 34579 SOS 13263 HAS SOPS 13263 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9414.263
AT ITER 5774 NEW BEST:: SOT 34581 SOS 13269 HAS SOPS 13269 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9410.269
AT ITER 5781 NEW BEST:: SOT 34587 SOS 13265 HAS SOPS 13265 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9407.265
AT ITER 5784 NEW BEST:: SOT 34532 SOS 13282 HAS SOPS 13282 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9376.282
AT ITER 5819 NEW BEST:: SOT 34519 SOS 13264 HAS SOPS 13264 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9364.264
AT ITER 5836 NEW BEST:: SOT 34515 SOS 13258 HAS SOPS 13258 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9360.258
AT ITER 5851 NEW BEST:: SOT 34515 SOS 13267 HAS SOPS 13267 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9359.267
AT ITER 5870 NEW BEST:: SOT 34511 SOS 13257 HAS SOPS 13257 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9351.257
AT ITER 5873 NEW BEST:: SOT 34512 SOS 13253 HAS SOPS 13253 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9347.253
AT ITER 5888 NEW BEST:: SOT 34508 SOS 13248 HAS SOPS 13248 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9341.248
AT ITER 5904 NEW BEST:: SOT 34490 SOS 13239 HAS SOPS 13239 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9332.239
AT ITER 5907 NEW BEST:: SOT 34489 SOS 13236 HAS SOPS 13236 HAS SOUS 9317 HAS SOUPS 9317 WITH SCORE 9330.236
AT ITER 5924 NEW BEST:: SOT 34483 SOS 13230 HAS SOPS 13230 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9318.23
AT ITER 5957 NEW BEST:: SOT 34458 SOS 13209 HAS SOPS 13209 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9309.209
AT ITER 5988 NEW BEST:: SOT 34458 SOS 13166 HAS SOPS 13166 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9300.166
AT ITER 6047 NEW BEST:: SOT 34458 SOS 13159 HAS SOPS 13159 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9293.159
AT ITER 6112 NEW BEST:: SOT 34457 SOS 13136 HAS SOPS 13136 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9286.136
AT ITER 6117 NEW BEST:: SOT 34419 SOS 13066 HAS SOPS 13066 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9246.066
AT ITER 6171 NEW BEST:: SOT 34409 SOS 13052 HAS SOPS 13052 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9232.052
AT ITER 6181 NEW BEST:: SOT 34356 SOS 12999 HAS SOPS 12999 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9224.999
AT ITER 6186 NEW BEST:: SOT 34346 SOS 12967 HAS SOPS 12967 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9192.967
AT ITER 6187 NEW BEST:: SOT 34342 SOS 12961 HAS SOPS 12961 HAS SOUS 9176 HAS SOUPS 9176 WITH SCORE 9188.961
AT ITER 6193 NEW BEST:: SOT 34361 SOS 12980 HAS SOPS 12980 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9185.98
AT ITER 6245 NEW BEST:: SOT 34361 SOS 12976 HAS SOPS 12976 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9185.976
AT ITER 6292 NEW BEST:: SOT 34361 SOS 12965 HAS SOPS 12965 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9174.965
AT ITER 6399 NEW BEST:: SOT 34325 SOS 12929 HAS SOPS 12929 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9138.929
AT ITER 6449 NEW BEST:: SOT 34325 SOS 12931 HAS SOPS 12931 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9137.931
AT ITER 6470 NEW BEST:: SOT 34321 SOS 12927 HAS SOPS 12927 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9133.927
AT ITER 6533 NEW BEST:: SOT 34320 SOS 12926 HAS SOPS 12926 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9132.926
AT ITER 6540 NEW BEST:: SOT 34319 SOS 12925 HAS SOPS 12925 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9131.925
AT ITER 6561 NEW BEST:: SOT 34320 SOS 12925 HAS SOPS 12925 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9129.925
AT ITER 6591 NEW BEST:: SOT 34309 SOS 12895 HAS SOPS 12895 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9095.895
AT ITER 6655 NEW BEST:: SOT 34319 SOS 12894 HAS SOPS 12894 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9093.894
AT ITER 6659 NEW BEST:: SOT 34314 SOS 12883 HAS SOPS 12883 HAS SOUS 9080 HAS SOUPS 9080 WITH SCORE 9092.883
AT ITER 6662 NEW BEST:: SOT 34311 SOS 12878 HAS SOPS 12878 HAS SOUS 9067 HAS SOUPS 9067 WITH SCORE 9079.878
AT ITER 6699 NEW BEST:: SOT 34305 SOS 12870 HAS SOPS 12870 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9071.87
AT ITER 6712 NEW BEST:: SOT 34304 SOS 12867 HAS SOPS 12867 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9070.867
AT ITER 6737 NEW BEST:: SOT 34309 SOS 12867 HAS SOPS 12867 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9066.867
AT ITER 6739 NEW BEST:: SOT 34255 SOS 12816 HAS SOPS 12816 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9036.816
AT ITER 6799 NEW BEST:: SOT 34254 SOS 12815 HAS SOPS 12815 HAS SOUS 9023 HAS SOUPS 9023 WITH SCORE 9035.815
AT ITER 6804 NEW BEST:: SOT 34234 SOS 12790 HAS SOPS 12790 HAS SOUS 8998 HAS SOUPS 8998 WITH SCORE 9010.79
AT ITER 6902 NEW BEST:: SOT 34219 SOS 12766 HAS SOPS 12766 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8993.766
AT ITER 6905 NEW BEST:: SOT 34222 SOS 12763 HAS SOPS 12763 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 8990.763
AT ITER 6906 NEW BEST:: SOT 34221 SOS 12756 HAS SOPS 12756 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 8986.756
AT ITER 6946 NEW BEST:: SOT 34206 SOS 12716 HAS SOPS 12716 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8961.716
AT ITER 6947 NEW BEST:: SOT 34199 SOS 12709 HAS SOPS 12709 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8954.709
AT ITER 6963 NEW BEST:: SOT 34201 SOS 12698 HAS SOPS 12698 HAS SOUS 8927 HAS SOUPS 8927 WITH SCORE 8939.698
AT ITER 6990 NEW BEST:: SOT 34201 SOS 12681 HAS SOPS 12681 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8922.681
AT ITER 7017 NEW BEST:: SOT 34213 SOS 12716 HAS SOPS 12716 HAS SOUS 8896 HAS SOUPS 8896 WITH SCORE 8908.716
AT ITER 7057 NEW BEST:: SOT 34204 SOS 12707 HAS SOPS 12707 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8899.707
AT ITER 7059 NEW BEST:: SOT 34182 SOS 12662 HAS SOPS 12662 HAS SOUS 8842 HAS SOUPS 8842 WITH SCORE 8854.662
AT ITER 7090 NEW BEST:: SOT 34186 SOS 12661 HAS SOPS 12661 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8853.661
AT ITER 7154 NEW BEST:: SOT 34172 SOS 12612 HAS SOPS 12612 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8825.612
AT ITER 7179 NEW BEST:: SOT 34139 SOS 12581 HAS SOPS 12581 HAS SOUS 8794 HAS SOUPS 8794 WITH SCORE 8806.581
AT ITER 7194 NEW BEST:: SOT 34155 SOS 12571 HAS SOPS 12571 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8779.571
AT ITER 7208 NEW BEST:: SOT 34144 SOS 12554 HAS SOPS 12554 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8762.554
AT ITER 7223 NEW BEST:: SOT 34144 SOS 12543 HAS SOPS 12543 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8751.543
AT ITER 7251 NEW BEST:: SOT 34148 SOS 12541 HAS SOPS 12541 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8744.541
AT ITER 7255 NEW BEST:: SOT 34148 SOS 12539 HAS SOPS 12539 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8737.539
AT ITER 7262 NEW BEST:: SOT 34141 SOS 12565 HAS SOPS 12565 HAS SOUS 8723 HAS SOUPS 8723 WITH SCORE 8735.565
AT ITER 7275 NEW BEST:: SOT 34132 SOS 12568 HAS SOPS 12568 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8719.568
AT ITER 7312 NEW BEST:: SOT 34130 SOS 12564 HAS SOPS 12564 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8711.564
AT ITER 7361 NEW BEST:: SOT 34130 SOS 12560 HAS SOPS 12560 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8707.56
AT ITER 7374 NEW BEST:: SOT 34125 SOS 12547 HAS SOPS 12547 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8692.547
AT ITER 7383 NEW BEST:: SOT 34139 SOS 12388 HAS SOPS 12388 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8675.388
AT ITER 7416 NEW BEST:: SOT 34152 SOS 12402 HAS SOPS 12402 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8653.402
AT ITER 7435 NEW BEST:: SOT 34148 SOS 12390 HAS SOPS 12390 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8643.39
AT ITER 7508 NEW BEST:: SOT 34146 SOS 12390 HAS SOPS 12390 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8641.39
AT ITER 7518 NEW BEST:: SOT 34146 SOS 12390 HAS SOPS 12390 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8638.39
AT ITER 7526 NEW BEST:: SOT 34129 SOS 12361 HAS SOPS 12361 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8609.361
AT ITER 7554 NEW BEST:: SOT 34121 SOS 12353 HAS SOPS 12353 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8601.353
AT ITER 7622 NEW BEST:: SOT 34141 SOS 12373 HAS SOPS 12373 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8597.373
AT ITER 7625 NEW BEST:: SOT 34152 SOS 12368 HAS SOPS 12368 HAS SOUS 8584 HAS SOUPS 8584 WITH SCORE 8596.368
AT ITER 7632 NEW BEST:: SOT 34120 SOS 12292 HAS SOPS 12292 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8520.292
AT ITER 7646 NEW BEST:: SOT 34111 SOS 12288 HAS SOPS 12288 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8516.288
AT ITER 7687 NEW BEST:: SOT 34106 SOS 12245 HAS SOPS 12245 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8516.245
AT ITER 7712 NEW BEST:: SOT 34086 SOS 12224 HAS SOPS 12224 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8486.224
AT ITER 7721 NEW BEST:: SOT 34081 SOS 12217 HAS SOPS 12217 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8479.217
AT ITER 7808 NEW BEST:: SOT 34087 SOS 12223 HAS SOPS 12223 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8467.223
AT ITER 7811 NEW BEST:: SOT 34064 SOS 12200 HAS SOPS 12200 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8444.2
AT ITER 7819 NEW BEST:: SOT 34050 SOS 12172 HAS SOPS 12172 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8444.172
AT ITER 7837 NEW BEST:: SOT 34054 SOS 12169 HAS SOPS 12169 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8441.169
AT ITER 7883 NEW BEST:: SOT 34050 SOS 12163 HAS SOPS 12163 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8427.163
AT ITER 7888 NEW BEST:: SOT 34050 SOS 12163 HAS SOPS 12163 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8404.163
AT ITER 7916 NEW BEST:: SOT 34046 SOS 12159 HAS SOPS 12159 HAS SOUS 8391 HAS SOUPS 8391 WITH SCORE 8403.159
AT ITER 7917 NEW BEST:: SOT 34042 SOS 12155 HAS SOPS 12155 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8397.155
AT ITER 7948 NEW BEST:: SOT 34020 SOS 12129 HAS SOPS 12129 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8371.129
AT ITER 7964 NEW BEST:: SOT 34020 SOS 12124 HAS SOPS 12124 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8366.124
AT ITER 7976 NEW BEST:: SOT 34002 SOS 12083 HAS SOPS 12083 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8325.083
AT ITER 7993 NEW BEST:: SOT 33999 SOS 12077 HAS SOPS 12077 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8311.077
AT ITER 8047 NEW BEST:: SOT 33998 SOS 12068 HAS SOPS 12068 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8302.068
AT ITER 8066 NEW BEST:: SOT 33978 SOS 12038 HAS SOPS 12038 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8278.038
AT ITER 8082 NEW BEST:: SOT 33962 SOS 12018 HAS SOPS 12018 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8258.018
AT ITER 8169 NEW BEST:: SOT 33942 SOS 12003 HAS SOPS 12003 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8243.003
AT ITER 8203 NEW BEST:: SOT 33942 SOS 11995 HAS SOPS 11995 HAS SOUS 8231 HAS SOUPS 8231 WITH SCORE 8242.995
AT ITER 8208 NEW BEST:: SOT 33942 SOS 11970 HAS SOPS 11970 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8237.97
AT ITER 8209 NEW BEST:: SOT 33940 SOS 11966 HAS SOPS 11966 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8233.966
AT ITER 8220 NEW BEST:: SOT 33933 SOS 11955 HAS SOPS 11955 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8222.955
AT ITER 8350 NEW BEST:: SOT 33930 SOS 11952 HAS SOPS 11952 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8219.952
AT ITER 8352 NEW BEST:: SOT 33930 SOS 11936 HAS SOPS 11936 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8203.936
AT ITER 8469 NEW BEST:: SOT 33930 SOS 11932 HAS SOPS 11932 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8199.932
AT ITER 8483 NEW BEST:: SOT 33930 SOS 11920 HAS SOPS 11920 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8199.92
AT ITER 8519 NEW BEST:: SOT 33940 SOS 11927 HAS SOPS 11927 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8194.927
AT ITER 8560 NEW BEST:: SOT 33940 SOS 11926 HAS SOPS 11926 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8189.926
AT ITER 8617 NEW BEST:: SOT 33920 SOS 11906 HAS SOPS 11906 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8169.906
AT ITER 8618 NEW BEST:: SOT 33918 SOS 11904 HAS SOPS 11904 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8167.904
AT ITER 8635 NEW BEST:: SOT 33918 SOS 11903 HAS SOPS 11903 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8166.903
AT ITER 8725 NEW BEST:: SOT 33908 SOS 11894 HAS SOPS 11894 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8159.894
AT ITER 8731 NEW BEST:: SOT 33908 SOS 11872 HAS SOPS 11872 HAS SOUS 8139 HAS SOUPS 8139 WITH SCORE 8150.872
AT ITER 8802 NEW BEST:: SOT 33894 SOS 11847 HAS SOPS 11847 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8146.847
AT ITER 8807 NEW BEST:: SOT 33888 SOS 11835 HAS SOPS 11835 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8134.835
AT ITER 8851 NEW BEST:: SOT 33763 SOS 11714 HAS SOPS 11714 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8013.714
AT ITER 8858 NEW BEST:: SOT 33761 SOS 11710 HAS SOPS 11710 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8009.71
AT ITER 8921 NEW BEST:: SOT 33757 SOS 11701 HAS SOPS 11701 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8004.701
AT ITER 8925 NEW BEST:: SOT 33752 SOS 11695 HAS SOPS 11695 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7998.695
AT ITER 8926 NEW BEST:: SOT 33759 SOS 11641 HAS SOPS 11641 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7997.641
AT ITER 8993 NEW BEST:: SOT 33771 SOS 11653 HAS SOPS 11653 HAS SOUS 7983 HAS SOUPS 7983 WITH SCORE 7994.653
AT ITER 9003 NEW BEST:: SOT 33768 SOS 11648 HAS SOPS 11648 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7990.648
AT ITER 9082 NEW BEST:: SOT 33762 SOS 11636 HAS SOPS 11636 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7978.636
AT ITER 9102 NEW BEST:: SOT 33741 SOS 11607 HAS SOPS 11607 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7949.607
AT ITER 9113 NEW BEST:: SOT 33731 SOS 11590 HAS SOPS 11590 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7927.59
AT ITER 9117 NEW BEST:: SOT 33727 SOS 11586 HAS SOPS 11586 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7923.586
AT ITER 9184 NEW BEST:: SOT 33706 SOS 11532 HAS SOPS 11532 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7894.532
AT ITER 9197 NEW BEST:: SOT 33702 SOS 11531 HAS SOPS 11531 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7892.531
AT ITER 9210 NEW BEST:: SOT 33700 SOS 11532 HAS SOPS 11532 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7888.532
AT ITER 9264 NEW BEST:: SOT 33694 SOS 11508 HAS SOPS 11508 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7870.508
AT ITER 9334 NEW BEST:: SOT 33691 SOS 11497 HAS SOPS 11497 HAS SOUS 7851 HAS SOUPS 7851 WITH SCORE 7862.497
AT ITER 9340 NEW BEST:: SOT 33704 SOS 11517 HAS SOPS 11517 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7855.517
AT ITER 9346 NEW BEST:: SOT 33695 SOS 11508 HAS SOPS 11508 HAS SOUS 7835 HAS SOUPS 7835 WITH SCORE 7846.508
AT ITER 9351 NEW BEST:: SOT 33695 SOS 11510 HAS SOPS 11510 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7845.51
AT ITER 9389 NEW BEST:: SOT 33691 SOS 11504 HAS SOPS 11504 HAS SOUS 7828 HAS SOUPS 7828 WITH SCORE 7839.504
AT ITER 9409 NEW BEST:: SOT 33688 SOS 11501 HAS SOPS 11501 HAS SOUS 7825 HAS SOUPS 7825 WITH SCORE 7836.501
AT ITER 9416 NEW BEST:: SOT 33687 SOS 11496 HAS SOPS 11496 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7834.496
AT ITER 9486 NEW BEST:: SOT 33702 SOS 11486 HAS SOPS 11486 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7817.486
AT ITER 9525 NEW BEST:: SOT 33683 SOS 11452 HAS SOPS 11452 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7798.452
AT ITER 9533 NEW BEST:: SOT 33675 SOS 11434 HAS SOPS 11434 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7785.434
AT ITER 9557 NEW BEST:: SOT 33674 SOS 11430 HAS SOPS 11430 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7782.43
AT ITER 9600 NEW BEST:: SOT 33672 SOS 11401 HAS SOPS 11401 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7771.401
AT ITER 9610 NEW BEST:: SOT 33666 SOS 11399 HAS SOPS 11399 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7768.399
AT ITER 9627 NEW BEST:: SOT 33668 SOS 11400 HAS SOPS 11400 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7767.4
AT ITER 9631 NEW BEST:: SOT 33668 SOS 11392 HAS SOPS 11392 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7759.392
AT ITER 9633 NEW BEST:: SOT 33656 SOS 11369 HAS SOPS 11369 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7736.369
AT ITER 9691 NEW BEST:: SOT 33653 SOS 11368 HAS SOPS 11368 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7731.368
AT ITER 9729 NEW BEST:: SOT 33652 SOS 11367 HAS SOPS 11367 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7730.367
AT ITER 9738 NEW BEST:: SOT 33650 SOS 11364 HAS SOPS 11364 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7728.364
AT ITER 9756 NEW BEST:: SOT 33643 SOS 11375 HAS SOPS 11375 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7710.375
AT ITER 9783 NEW BEST:: SOT 33641 SOS 11373 HAS SOPS 11373 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7708.373
AT ITER 9825 NEW BEST:: SOT 33634 SOS 11359 HAS SOPS 11359 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7694.359
AT ITER 9848 NEW BEST:: SOT 33591 SOS 11316 HAS SOPS 11316 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7651.316
AT ITER 9886 NEW BEST:: SOT 33588 SOS 11313 HAS SOPS 11313 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7645.313
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 1020048 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120424 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-010A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ShieldIIPs-PT-010A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903718300088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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