Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900712.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-13b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900712
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 4.0K Mar 31 07:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 31 07:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 27 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 97K Mar 24 05:37 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 1589364197163

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 13b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 380 places, 404 transitions, 1056 arcs.
AT ITER 0 NEW BEST:: SOT 107316 SOS 51583 HAS SOPS 51583 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45611.583
AT ITER 2 NEW BEST:: SOT 107316 SOS 51557 HAS SOPS 51557 HAS SOUS 45560 HAS SOUPS 45560 WITH SCORE 45611.557
AT ITER 5 NEW BEST:: SOT 107329 SOS 51284 HAS SOPS 51284 HAS SOUS 45434 HAS SOUPS 45434 WITH SCORE 45485.284
AT ITER 12 NEW BEST:: SOT 107238 SOS 51134 HAS SOPS 51134 HAS SOUS 45352 HAS SOUPS 45352 WITH SCORE 45403.134
AT ITER 14 NEW BEST:: SOT 107138 SOS 51034 HAS SOPS 51034 HAS SOUS 45252 HAS SOUPS 45252 WITH SCORE 45303.034
AT ITER 15 NEW BEST:: SOT 106996 SOS 50892 HAS SOPS 50892 HAS SOUS 45110 HAS SOUPS 45110 WITH SCORE 45160.892
AT ITER 21 NEW BEST:: SOT 106873 SOS 50795 HAS SOPS 50795 HAS SOUS 44987 HAS SOUPS 44987 WITH SCORE 45037.795
AT ITER 29 NEW BEST:: SOT 106873 SOS 50728 HAS SOPS 50728 HAS SOUS 44987 HAS SOUPS 44987 WITH SCORE 45037.728
AT ITER 31 NEW BEST:: SOT 106873 SOS 50684 HAS SOPS 50684 HAS SOUS 44942 HAS SOUPS 44942 WITH SCORE 44992.684
AT ITER 35 NEW BEST:: SOT 106797 SOS 50571 HAS SOPS 50571 HAS SOUS 44866 HAS SOUPS 44866 WITH SCORE 44916.571
AT ITER 42 NEW BEST:: SOT 106866 SOS 50626 HAS SOPS 50626 HAS SOUS 44839 HAS SOUPS 44839 WITH SCORE 44889.626
AT ITER 52 NEW BEST:: SOT 106765 SOS 50384 HAS SOPS 50384 HAS SOUS 44710 HAS SOUPS 44710 WITH SCORE 44760.384
AT ITER 53 NEW BEST:: SOT 106712 SOS 50386 HAS SOPS 50386 HAS SOUS 44657 HAS SOUPS 44657 WITH SCORE 44707.386
AT ITER 54 NEW BEST:: SOT 106713 SOS 50388 HAS SOPS 50388 HAS SOUS 44656 HAS SOUPS 44656 WITH SCORE 44706.388
AT ITER 56 NEW BEST:: SOT 106713 SOS 50224 HAS SOPS 50224 HAS SOUS 44492 HAS SOUPS 44492 WITH SCORE 44542.224
AT ITER 63 NEW BEST:: SOT 106653 SOS 50164 HAS SOPS 50164 HAS SOUS 44432 HAS SOUPS 44432 WITH SCORE 44482.164
AT ITER 64 NEW BEST:: SOT 106377 SOS 49750 HAS SOPS 49750 HAS SOUS 44018 HAS SOUPS 44018 WITH SCORE 44067.75
AT ITER 65 NEW BEST:: SOT 106263 SOS 49574 HAS SOPS 49574 HAS SOUS 43846 HAS SOUPS 43846 WITH SCORE 43895.574
AT ITER 69 NEW BEST:: SOT 106263 SOS 49574 HAS SOPS 49574 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43894.574
AT ITER 72 NEW BEST:: SOT 106263 SOS 49488 HAS SOPS 49488 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43894.488
AT ITER 98 NEW BEST:: SOT 106262 SOS 49470 HAS SOPS 49470 HAS SOUS 43827 HAS SOUPS 43827 WITH SCORE 43876.47
AT ITER 102 NEW BEST:: SOT 106238 SOS 49316 HAS SOPS 49316 HAS SOUS 43770 HAS SOUPS 43770 WITH SCORE 43819.316
AT ITER 103 NEW BEST:: SOT 106222 SOS 49292 HAS SOPS 49292 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43802.292
AT ITER 104 NEW BEST:: SOT 106222 SOS 49182 HAS SOPS 49182 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43802.182
AT ITER 105 NEW BEST:: SOT 106194 SOS 49126 HAS SOPS 49126 HAS SOUS 43742 HAS SOUPS 43742 WITH SCORE 43791.126
AT ITER 111 NEW BEST:: SOT 106098 SOS 49030 HAS SOPS 49030 HAS SOUS 43646 HAS SOUPS 43646 WITH SCORE 43695.03
AT ITER 124 NEW BEST:: SOT 105959 SOS 48918 HAS SOPS 48918 HAS SOUS 43531 HAS SOUPS 43531 WITH SCORE 43579.918
AT ITER 125 NEW BEST:: SOT 105885 SOS 48816 HAS SOPS 48816 HAS SOUS 43457 HAS SOUPS 43457 WITH SCORE 43505.816
AT ITER 131 NEW BEST:: SOT 105928 SOS 48824 HAS SOPS 48824 HAS SOUS 43416 HAS SOUPS 43416 WITH SCORE 43464.824
AT ITER 133 NEW BEST:: SOT 105891 SOS 48749 HAS SOPS 48749 HAS SOUS 43377 HAS SOUPS 43377 WITH SCORE 43425.749
AT ITER 141 NEW BEST:: SOT 105891 SOS 48696 HAS SOPS 48696 HAS SOUS 43323 HAS SOUPS 43323 WITH SCORE 43371.696
AT ITER 143 NEW BEST:: SOT 105843 SOS 48600 HAS SOPS 48600 HAS SOUS 43227 HAS SOUPS 43227 WITH SCORE 43275.6
AT ITER 145 NEW BEST:: SOT 105797 SOS 48411 HAS SOPS 48411 HAS SOUS 43135 HAS SOUPS 43135 WITH SCORE 43183.411
AT ITER 147 NEW BEST:: SOT 105704 SOS 48318 HAS SOPS 48318 HAS SOUS 43042 HAS SOUPS 43042 WITH SCORE 43090.318
AT ITER 150 NEW BEST:: SOT 105704 SOS 48287 HAS SOPS 48287 HAS SOUS 43011 HAS SOUPS 43011 WITH SCORE 43059.287
AT ITER 152 NEW BEST:: SOT 105521 SOS 48087 HAS SOPS 48087 HAS SOUS 42806 HAS SOUPS 42806 WITH SCORE 42854.087
AT ITER 153 NEW BEST:: SOT 105443 SOS 47931 HAS SOPS 47931 HAS SOUS 42650 HAS SOUPS 42650 WITH SCORE 42697.931
AT ITER 155 NEW BEST:: SOT 105350 SOS 47833 HAS SOPS 47833 HAS SOUS 42557 HAS SOUPS 42557 WITH SCORE 42604.833
AT ITER 159 NEW BEST:: SOT 103249 SOS 45778 HAS SOPS 45778 HAS SOUS 40502 HAS SOUPS 40502 WITH SCORE 40547.778
AT ITER 161 NEW BEST:: SOT 103196 SOS 45707 HAS SOPS 45707 HAS SOUS 40490 HAS SOUPS 40490 WITH SCORE 40535.707
AT ITER 184 NEW BEST:: SOT 103057 SOS 45429 HAS SOPS 45429 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40310.429
AT ITER 196 NEW BEST:: SOT 103002 SOS 45319 HAS SOPS 45319 HAS SOUS 40155 HAS SOUPS 40155 WITH SCORE 40200.319
AT ITER 197 NEW BEST:: SOT 102922 SOS 45070 HAS SOPS 45070 HAS SOUS 39958 HAS SOUPS 39958 WITH SCORE 40003.07
AT ITER 209 NEW BEST:: SOT 102833 SOS 44938 HAS SOPS 44938 HAS SOUS 39794 HAS SOUPS 39794 WITH SCORE 39838.938
AT ITER 214 NEW BEST:: SOT 102833 SOS 44820 HAS SOPS 44820 HAS SOUS 39794 HAS SOUPS 39794 WITH SCORE 39838.82
AT ITER 221 NEW BEST:: SOT 102964 SOS 44809 HAS SOPS 44809 HAS SOUS 39783 HAS SOUPS 39783 WITH SCORE 39827.809
AT ITER 222 NEW BEST:: SOT 102955 SOS 44655 HAS SOPS 44655 HAS SOUS 39591 HAS SOUPS 39591 WITH SCORE 39635.655
AT ITER 232 NEW BEST:: SOT 102910 SOS 44612 HAS SOPS 44612 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39592.612
AT ITER 237 NEW BEST:: SOT 102890 SOS 44412 HAS SOPS 44412 HAS SOUS 39293 HAS SOUPS 39293 WITH SCORE 39337.412
AT ITER 238 NEW BEST:: SOT 102853 SOS 44346 HAS SOPS 44346 HAS SOUS 39236 HAS SOUPS 39236 WITH SCORE 39280.346
AT ITER 240 NEW BEST:: SOT 102857 SOS 44246 HAS SOPS 44246 HAS SOUS 39189 HAS SOUPS 39189 WITH SCORE 39233.246
AT ITER 244 NEW BEST:: SOT 102771 SOS 44234 HAS SOPS 44234 HAS SOUS 39177 HAS SOUPS 39177 WITH SCORE 39221.234
AT ITER 253 NEW BEST:: SOT 102735 SOS 44247 HAS SOPS 44247 HAS SOUS 39171 HAS SOUPS 39171 WITH SCORE 39215.247
AT ITER 257 NEW BEST:: SOT 102735 SOS 44215 HAS SOPS 44215 HAS SOUS 39171 HAS SOUPS 39171 WITH SCORE 39215.215
AT ITER 260 NEW BEST:: SOT 102734 SOS 44213 HAS SOPS 44213 HAS SOUS 39169 HAS SOUPS 39169 WITH SCORE 39213.213
AT ITER 264 NEW BEST:: SOT 102735 SOS 44063 HAS SOPS 44063 HAS SOUS 39169 HAS SOUPS 39169 WITH SCORE 39213.063
AT ITER 266 NEW BEST:: SOT 102655 SOS 44026 HAS SOPS 44026 HAS SOUS 39132 HAS SOUPS 39132 WITH SCORE 39176.026
AT ITER 268 NEW BEST:: SOT 102698 SOS 44114 HAS SOPS 44114 HAS SOUS 39122 HAS SOUPS 39122 WITH SCORE 39166.114
AT ITER 282 NEW BEST:: SOT 102663 SOS 44113 HAS SOPS 44113 HAS SOUS 39121 HAS SOUPS 39121 WITH SCORE 39165.113
AT ITER 284 NEW BEST:: SOT 102574 SOS 43975 HAS SOPS 43975 HAS SOUS 39117 HAS SOUPS 39117 WITH SCORE 39160.975
AT ITER 288 NEW BEST:: SOT 102524 SOS 43785 HAS SOPS 43785 HAS SOUS 38787 HAS SOUPS 38787 WITH SCORE 38830.785
AT ITER 290 NEW BEST:: SOT 102509 SOS 43702 HAS SOPS 43702 HAS SOUS 38757 HAS SOUPS 38757 WITH SCORE 38800.702
AT ITER 297 NEW BEST:: SOT 102452 SOS 43650 HAS SOPS 43650 HAS SOUS 38756 HAS SOUPS 38756 WITH SCORE 38799.65
AT ITER 300 NEW BEST:: SOT 102518 SOS 43650 HAS SOPS 43650 HAS SOUS 38748 HAS SOUPS 38748 WITH SCORE 38791.65
AT ITER 305 NEW BEST:: SOT 102518 SOS 43644 HAS SOPS 43644 HAS SOUS 38748 HAS SOUPS 38748 WITH SCORE 38791.644
AT ITER 312 NEW BEST:: SOT 102517 SOS 43626 HAS SOPS 43626 HAS SOUS 38746 HAS SOUPS 38746 WITH SCORE 38789.626
AT ITER 317 NEW BEST:: SOT 102488 SOS 43524 HAS SOPS 43524 HAS SOUS 38705 HAS SOUPS 38705 WITH SCORE 38748.524
AT ITER 318 NEW BEST:: SOT 100271 SOS 43584 HAS SOPS 43584 HAS SOUS 36650 HAS SOUPS 36650 WITH SCORE 36693.584
AT ITER 324 NEW BEST:: SOT 100240 SOS 43553 HAS SOPS 43553 HAS SOUS 36628 HAS SOUPS 36628 WITH SCORE 36671.553
AT ITER 326 NEW BEST:: SOT 100131 SOS 43444 HAS SOPS 43444 HAS SOUS 36519 HAS SOUPS 36519 WITH SCORE 36562.444
AT ITER 328 NEW BEST:: SOT 100041 SOS 43264 HAS SOPS 43264 HAS SOUS 36339 HAS SOUPS 36339 WITH SCORE 36382.264
AT ITER 332 NEW BEST:: SOT 100041 SOS 43259 HAS SOPS 43259 HAS SOUS 36334 HAS SOUPS 36334 WITH SCORE 36377.259
AT ITER 346 NEW BEST:: SOT 99980 SOS 43168 HAS SOPS 43168 HAS SOUS 36272 HAS SOUPS 36272 WITH SCORE 36315.168
AT ITER 348 NEW BEST:: SOT 99983 SOS 43099 HAS SOPS 43099 HAS SOUS 36203 HAS SOUPS 36203 WITH SCORE 36246.099
AT ITER 353 NEW BEST:: SOT 100034 SOS 43048 HAS SOPS 43048 HAS SOUS 36176 HAS SOUPS 36176 WITH SCORE 36219.048
AT ITER 365 NEW BEST:: SOT 99995 SOS 42970 HAS SOPS 42970 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36179.97
AT ITER 380 NEW BEST:: SOT 99995 SOS 42967 HAS SOPS 42967 HAS SOUS 36136 HAS SOUPS 36136 WITH SCORE 36178.967
AT ITER 388 NEW BEST:: SOT 99984 SOS 42945 HAS SOPS 42945 HAS SOUS 36114 HAS SOUPS 36114 WITH SCORE 36156.945
AT ITER 391 NEW BEST:: SOT 99982 SOS 42941 HAS SOPS 42941 HAS SOUS 36110 HAS SOUPS 36110 WITH SCORE 36152.941
AT ITER 397 NEW BEST:: SOT 99953 SOS 42706 HAS SOPS 42706 HAS SOUS 35794 HAS SOUPS 35794 WITH SCORE 35836.706
AT ITER 398 NEW BEST:: SOT 99856 SOS 42562 HAS SOPS 42562 HAS SOUS 35715 HAS SOUPS 35715 WITH SCORE 35757.562
AT ITER 413 NEW BEST:: SOT 99818 SOS 42524 HAS SOPS 42524 HAS SOUS 35662 HAS SOUPS 35662 WITH SCORE 35704.524
AT ITER 422 NEW BEST:: SOT 98407 SOS 44470 HAS SOPS 44470 HAS SOUS 34498 HAS SOUPS 34498 WITH SCORE 34542.47
AT ITER 423 NEW BEST:: SOT 98255 SOS 44166 HAS SOPS 44166 HAS SOUS 34361 HAS SOUPS 34361 WITH SCORE 34405.166
AT ITER 424 NEW BEST:: SOT 98242 SOS 44152 HAS SOPS 44152 HAS SOUS 34347 HAS SOUPS 34347 WITH SCORE 34391.152
AT ITER 427 NEW BEST:: SOT 98164 SOS 43999 HAS SOPS 43999 HAS SOUS 34268 HAS SOUPS 34268 WITH SCORE 34311.999
AT ITER 434 NEW BEST:: SOT 98082 SOS 43921 HAS SOPS 43921 HAS SOUS 34190 HAS SOUPS 34190 WITH SCORE 34233.921
AT ITER 440 NEW BEST:: SOT 98082 SOS 43921 HAS SOPS 43921 HAS SOUS 34178 HAS SOUPS 34178 WITH SCORE 34221.921
AT ITER 442 NEW BEST:: SOT 98082 SOS 43890 HAS SOPS 43890 HAS SOUS 34178 HAS SOUPS 34178 WITH SCORE 34221.89
AT ITER 453 NEW BEST:: SOT 98082 SOS 43913 HAS SOPS 43913 HAS SOUS 34175 HAS SOUPS 34175 WITH SCORE 34218.913
AT ITER 454 NEW BEST:: SOT 98020 SOS 43912 HAS SOPS 43912 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34217.912
AT ITER 461 NEW BEST:: SOT 98049 SOS 43917 HAS SOPS 43917 HAS SOUS 34137 HAS SOUPS 34137 WITH SCORE 34180.917
AT ITER 468 NEW BEST:: SOT 97693 SOS 43690 HAS SOPS 43690 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34056.69
AT ITER 482 NEW BEST:: SOT 97665 SOS 43662 HAS SOPS 43662 HAS SOUS 33957 HAS SOUPS 33957 WITH SCORE 34000.662
AT ITER 490 NEW BEST:: SOT 97613 SOS 43251 HAS SOPS 43251 HAS SOUS 33702 HAS SOUPS 33702 WITH SCORE 33745.251
AT ITER 492 NEW BEST:: SOT 97611 SOS 43131 HAS SOPS 43131 HAS SOUS 33698 HAS SOUPS 33698 WITH SCORE 33741.131
AT ITER 494 NEW BEST:: SOT 97678 SOS 43266 HAS SOPS 43266 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33740.266
AT ITER 495 NEW BEST:: SOT 97662 SOS 43157 HAS SOPS 43157 HAS SOUS 33532 HAS SOUPS 33532 WITH SCORE 33575.157
AT ITER 496 NEW BEST:: SOT 97635 SOS 43103 HAS SOPS 43103 HAS SOUS 33356 HAS SOUPS 33356 WITH SCORE 33399.103
AT ITER 501 NEW BEST:: SOT 97626 SOS 43100 HAS SOPS 43100 HAS SOUS 33353 HAS SOUPS 33353 WITH SCORE 33396.1
AT ITER 503 NEW BEST:: SOT 97586 SOS 42962 HAS SOPS 42962 HAS SOUS 33332 HAS SOUPS 33332 WITH SCORE 33374.962
AT ITER 505 NEW BEST:: SOT 97278 SOS 42654 HAS SOPS 42654 HAS SOUS 32869 HAS SOUPS 32869 WITH SCORE 32911.654
AT ITER 514 NEW BEST:: SOT 97278 SOS 42615 HAS SOPS 42615 HAS SOUS 32869 HAS SOUPS 32869 WITH SCORE 32911.615
AT ITER 517 NEW BEST:: SOT 97197 SOS 42453 HAS SOPS 42453 HAS SOUS 32707 HAS SOUPS 32707 WITH SCORE 32749.453
AT ITER 531 NEW BEST:: SOT 97118 SOS 42374 HAS SOPS 42374 HAS SOUS 32641 HAS SOUPS 32641 WITH SCORE 32683.374
AT ITER 538 NEW BEST:: SOT 96923 SOS 42080 HAS SOPS 42080 HAS SOUS 32347 HAS SOUPS 32347 WITH SCORE 32389.08
AT ITER 541 NEW BEST:: SOT 96897 SOS 42054 HAS SOPS 42054 HAS SOUS 32295 HAS SOUPS 32295 WITH SCORE 32337.054
AT ITER 542 NEW BEST:: SOT 96877 SOS 42024 HAS SOPS 42024 HAS SOUS 32265 HAS SOUPS 32265 WITH SCORE 32307.024
AT ITER 552 NEW BEST:: SOT 96949 SOS 42047 HAS SOPS 42047 HAS SOUS 32216 HAS SOUPS 32216 WITH SCORE 32258.047
AT ITER 554 NEW BEST:: SOT 96899 SOS 41947 HAS SOPS 41947 HAS SOUS 32116 HAS SOUPS 32116 WITH SCORE 32157.947
AT ITER 555 NEW BEST:: SOT 96898 SOS 41946 HAS SOPS 41946 HAS SOUS 32114 HAS SOUPS 32114 WITH SCORE 32155.946
AT ITER 556 NEW BEST:: SOT 96884 SOS 41979 HAS SOPS 41979 HAS SOUS 32089 HAS SOUPS 32089 WITH SCORE 32130.979
AT ITER 560 NEW BEST:: SOT 96884 SOS 41979 HAS SOPS 41979 HAS SOUS 32075 HAS SOUPS 32075 WITH SCORE 32116.979
AT ITER 561 NEW BEST:: SOT 96880 SOS 41971 HAS SOPS 41971 HAS SOUS 32067 HAS SOUPS 32067 WITH SCORE 32108.971
AT ITER 564 NEW BEST:: SOT 96878 SOS 41967 HAS SOPS 41967 HAS SOUS 32063 HAS SOUPS 32063 WITH SCORE 32104.967
AT ITER 577 NEW BEST:: SOT 96861 SOS 41933 HAS SOPS 41933 HAS SOUS 32046 HAS SOUPS 32046 WITH SCORE 32087.933
AT ITER 580 NEW BEST:: SOT 96859 SOS 41930 HAS SOPS 41930 HAS SOUS 32044 HAS SOUPS 32044 WITH SCORE 32085.93
AT ITER 584 NEW BEST:: SOT 96811 SOS 41857 HAS SOPS 41857 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32012.857
AT ITER 589 NEW BEST:: SOT 96771 SOS 41777 HAS SOPS 41777 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 31972.777
AT ITER 600 NEW BEST:: SOT 96721 SOS 41702 HAS SOPS 41702 HAS SOUS 31881 HAS SOUPS 31881 WITH SCORE 31922.702
AT ITER 605 NEW BEST:: SOT 96666 SOS 41436 HAS SOPS 41436 HAS SOUS 31773 HAS SOUPS 31773 WITH SCORE 31814.436
AT ITER 613 NEW BEST:: SOT 96621 SOS 41346 HAS SOPS 41346 HAS SOUS 31695 HAS SOUPS 31695 WITH SCORE 31736.346
AT ITER 626 NEW BEST:: SOT 96608 SOS 41461 HAS SOPS 41461 HAS SOUS 31680 HAS SOUPS 31680 WITH SCORE 31721.461
AT ITER 627 NEW BEST:: SOT 96562 SOS 41447 HAS SOPS 41447 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31707.447
AT ITER 632 NEW BEST:: SOT 96569 SOS 41458 HAS SOPS 41458 HAS SOUS 31606 HAS SOUPS 31606 WITH SCORE 31647.458
AT ITER 636 NEW BEST:: SOT 96557 SOS 41434 HAS SOPS 41434 HAS SOUS 31569 HAS SOUPS 31569 WITH SCORE 31610.434
AT ITER 638 NEW BEST:: SOT 96557 SOS 41425 HAS SOPS 41425 HAS SOUS 31569 HAS SOUPS 31569 WITH SCORE 31610.425
AT ITER 639 NEW BEST:: SOT 96525 SOS 41416 HAS SOPS 41416 HAS SOUS 31505 HAS SOUPS 31505 WITH SCORE 31546.416
AT ITER 643 NEW BEST:: SOT 96455 SOS 41276 HAS SOPS 41276 HAS SOUS 31399 HAS SOUPS 31399 WITH SCORE 31440.276
AT ITER 645 NEW BEST:: SOT 96291 SOS 41050 HAS SOPS 41050 HAS SOUS 31173 HAS SOUPS 31173 WITH SCORE 31214.05
AT ITER 647 NEW BEST:: SOT 96291 SOS 41050 HAS SOPS 41050 HAS SOUS 31171 HAS SOUPS 31171 WITH SCORE 31212.05
AT ITER 656 NEW BEST:: SOT 96139 SOS 40880 HAS SOPS 40880 HAS SOUS 30970 HAS SOUPS 30970 WITH SCORE 31010.88
AT ITER 659 NEW BEST:: SOT 96033 SOS 40783 HAS SOPS 40783 HAS SOUS 30960 HAS SOUPS 30960 WITH SCORE 31000.783
AT ITER 676 NEW BEST:: SOT 95961 SOS 40600 HAS SOPS 40600 HAS SOUS 30773 HAS SOUPS 30773 WITH SCORE 30813.6
AT ITER 677 NEW BEST:: SOT 95950 SOS 40578 HAS SOPS 40578 HAS SOUS 30749 HAS SOUPS 30749 WITH SCORE 30789.578
AT ITER 682 NEW BEST:: SOT 95950 SOS 40578 HAS SOPS 40578 HAS SOUS 30702 HAS SOUPS 30702 WITH SCORE 30742.578
AT ITER 687 NEW BEST:: SOT 95875 SOS 40363 HAS SOPS 40363 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30544.363
AT ITER 689 NEW BEST:: SOT 95789 SOS 40300 HAS SOPS 40300 HAS SOUS 30441 HAS SOUPS 30441 WITH SCORE 30481.3
AT ITER 696 NEW BEST:: SOT 95877 SOS 40351 HAS SOPS 40351 HAS SOUS 30407 HAS SOUPS 30407 WITH SCORE 30447.351
AT ITER 731 NEW BEST:: SOT 95804 SOS 38410 HAS SOPS 38410 HAS SOUS 30261 HAS SOUPS 30261 WITH SCORE 30299.41
AT ITER 750 NEW BEST:: SOT 95704 SOS 38330 HAS SOPS 38330 HAS SOUS 30181 HAS SOUPS 30181 WITH SCORE 30219.33
AT ITER 751 NEW BEST:: SOT 95664 SOS 38123 HAS SOPS 38123 HAS SOUS 29974 HAS SOUPS 29974 WITH SCORE 30012.123
AT ITER 753 NEW BEST:: SOT 95645 SOS 38268 HAS SOPS 38268 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 29974.268
AT ITER 756 NEW BEST:: SOT 95645 SOS 38258 HAS SOPS 38258 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 29974.258
AT ITER 762 NEW BEST:: SOT 95630 SOS 38243 HAS SOPS 38243 HAS SOUS 29921 HAS SOUPS 29921 WITH SCORE 29959.243
AT ITER 766 NEW BEST:: SOT 95572 SOS 38127 HAS SOPS 38127 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29843.127
AT ITER 789 NEW BEST:: SOT 95499 SOS 38560 HAS SOPS 38560 HAS SOUS 29761 HAS SOUPS 29761 WITH SCORE 29799.56
AT ITER 791 NEW BEST:: SOT 95456 SOS 38474 HAS SOPS 38474 HAS SOUS 29658 HAS SOUPS 29658 WITH SCORE 29696.474
AT ITER 798 NEW BEST:: SOT 95371 SOS 38363 HAS SOPS 38363 HAS SOUS 29647 HAS SOUPS 29647 WITH SCORE 29685.363
AT ITER 802 NEW BEST:: SOT 95345 SOS 38311 HAS SOPS 38311 HAS SOUS 29621 HAS SOUPS 29621 WITH SCORE 29659.311
AT ITER 804 NEW BEST:: SOT 95345 SOS 38311 HAS SOPS 38311 HAS SOUS 29587 HAS SOUPS 29587 WITH SCORE 29625.311
AT ITER 807 NEW BEST:: SOT 95319 SOS 38259 HAS SOPS 38259 HAS SOUS 29535 HAS SOUPS 29535 WITH SCORE 29573.259
AT ITER 809 NEW BEST:: SOT 95234 SOS 38101 HAS SOPS 38101 HAS SOUS 29519 HAS SOUPS 29519 WITH SCORE 29557.101
AT ITER 810 NEW BEST:: SOT 95220 SOS 38089 HAS SOPS 38089 HAS SOUS 29509 HAS SOUPS 29509 WITH SCORE 29547.089
AT ITER 815 NEW BEST:: SOT 95138 SOS 38007 HAS SOPS 38007 HAS SOUS 29509 HAS SOUPS 29509 WITH SCORE 29547.007
AT ITER 817 NEW BEST:: SOT 95129 SOS 37989 HAS SOPS 37989 HAS SOUS 29491 HAS SOUPS 29491 WITH SCORE 29528.989
AT ITER 829 NEW BEST:: SOT 95107 SOS 37945 HAS SOPS 37945 HAS SOUS 29447 HAS SOUPS 29447 WITH SCORE 29484.945
AT ITER 832 NEW BEST:: SOT 95103 SOS 37937 HAS SOPS 37937 HAS SOUS 29439 HAS SOUPS 29439 WITH SCORE 29476.937
AT ITER 834 NEW BEST:: SOT 95031 SOS 37803 HAS SOPS 37803 HAS SOUS 29295 HAS SOUPS 29295 WITH SCORE 29332.803
AT ITER 835 NEW BEST:: SOT 95031 SOS 37795 HAS SOPS 37795 HAS SOUS 29287 HAS SOUPS 29287 WITH SCORE 29324.795
AT ITER 843 NEW BEST:: SOT 94824 SOS 38659 HAS SOPS 38659 HAS SOUS 29116 HAS SOUPS 29116 WITH SCORE 29154.659
AT ITER 844 NEW BEST:: SOT 94868 SOS 38579 HAS SOPS 38579 HAS SOUS 29080 HAS SOUPS 29080 WITH SCORE 29118.579
AT ITER 850 NEW BEST:: SOT 94537 SOS 38069 HAS SOPS 38069 HAS SOUS 28588 HAS SOUPS 28588 WITH SCORE 28626.069
AT ITER 852 NEW BEST:: SOT 94525 SOS 38045 HAS SOPS 38045 HAS SOUS 28564 HAS SOUPS 28564 WITH SCORE 28602.045
AT ITER 877 NEW BEST:: SOT 94465 SOS 37963 HAS SOPS 37963 HAS SOUS 28514 HAS SOUPS 28514 WITH SCORE 28551.963
AT ITER 892 NEW BEST:: SOT 94439 SOS 37916 HAS SOPS 37916 HAS SOUS 28488 HAS SOUPS 28488 WITH SCORE 28525.916
AT ITER 912 NEW BEST:: SOT 94421 SOS 37880 HAS SOPS 37880 HAS SOUS 28470 HAS SOUPS 28470 WITH SCORE 28507.88
AT ITER 930 NEW BEST:: SOT 94276 SOS 37724 HAS SOPS 37724 HAS SOUS 28314 HAS SOUPS 28314 WITH SCORE 28351.724
AT ITER 934 NEW BEST:: SOT 94276 SOS 37723 HAS SOPS 37723 HAS SOUS 28314 HAS SOUPS 28314 WITH SCORE 28351.723
AT ITER 947 NEW BEST:: SOT 94276 SOS 37700 HAS SOPS 37700 HAS SOUS 28268 HAS SOUPS 28268 WITH SCORE 28305.7
AT ITER 950 NEW BEST:: SOT 94223 SOS 37487 HAS SOPS 37487 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28142.487
AT ITER 962 NEW BEST:: SOT 94218 SOS 37477 HAS SOPS 37477 HAS SOUS 28090 HAS SOUPS 28090 WITH SCORE 28127.477
AT ITER 963 NEW BEST:: SOT 94083 SOS 37217 HAS SOPS 37217 HAS SOUS 27947 HAS SOUPS 27947 WITH SCORE 27984.217
AT ITER 968 NEW BEST:: SOT 94067 SOS 37201 HAS SOPS 37201 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27952.201
AT ITER 973 NEW BEST:: SOT 94040 SOS 37147 HAS SOPS 37147 HAS SOUS 27861 HAS SOUPS 27861 WITH SCORE 27898.147
AT ITER 978 NEW BEST:: SOT 94040 SOS 37147 HAS SOPS 37147 HAS SOUS 27842 HAS SOUPS 27842 WITH SCORE 27879.147
AT ITER 985 NEW BEST:: SOT 93944 SOS 37055 HAS SOPS 37055 HAS SOUS 27735 HAS SOUPS 27735 WITH SCORE 27772.055
AT ITER 988 NEW BEST:: SOT 93923 SOS 37013 HAS SOPS 37013 HAS SOUS 27693 HAS SOUPS 27693 WITH SCORE 27730.013
AT ITER 993 NEW BEST:: SOT 93824 SOS 36890 HAS SOPS 36890 HAS SOUS 27575 HAS SOUPS 27575 WITH SCORE 27611.89
AT ITER 1038 NEW BEST:: SOT 93766 SOS 36774 HAS SOPS 36774 HAS SOUS 27523 HAS SOUPS 27523 WITH SCORE 27559.774
AT ITER 1043 NEW BEST:: SOT 93712 SOS 36666 HAS SOPS 36666 HAS SOUS 27469 HAS SOUPS 27469 WITH SCORE 27505.666
AT ITER 1045 NEW BEST:: SOT 93592 SOS 36590 HAS SOPS 36590 HAS SOUS 27430 HAS SOUPS 27430 WITH SCORE 27466.59
AT ITER 1050 NEW BEST:: SOT 93521 SOS 36659 HAS SOPS 36659 HAS SOUS 27407 HAS SOUPS 27407 WITH SCORE 27443.659
AT ITER 1058 NEW BEST:: SOT 93519 SOS 36655 HAS SOPS 36655 HAS SOUS 27403 HAS SOUPS 27403 WITH SCORE 27439.655
AT ITER 1059 NEW BEST:: SOT 93519 SOS 36686 HAS SOPS 36686 HAS SOUS 27401 HAS SOUPS 27401 WITH SCORE 27437.686
AT ITER 1074 NEW BEST:: SOT 93518 SOS 36679 HAS SOPS 36679 HAS SOUS 27399 HAS SOUPS 27399 WITH SCORE 27435.679
AT ITER 1075 NEW BEST:: SOT 93491 SOS 36596 HAS SOPS 36596 HAS SOUS 27372 HAS SOUPS 27372 WITH SCORE 27408.596
AT ITER 1094 NEW BEST:: SOT 93480 SOS 36585 HAS SOPS 36585 HAS SOUS 27350 HAS SOUPS 27350 WITH SCORE 27386.585
AT ITER 1109 NEW BEST:: SOT 93460 SOS 36539 HAS SOPS 36539 HAS SOUS 27342 HAS SOUPS 27342 WITH SCORE 27378.539
AT ITER 1128 NEW BEST:: SOT 93448 SOS 36523 HAS SOPS 36523 HAS SOUS 27334 HAS SOUPS 27334 WITH SCORE 27370.523
AT ITER 1132 NEW BEST:: SOT 93443 SOS 36513 HAS SOPS 36513 HAS SOUS 27324 HAS SOUPS 27324 WITH SCORE 27360.513
AT ITER 1159 NEW BEST:: SOT 93443 SOS 36495 HAS SOPS 36495 HAS SOUS 27306 HAS SOUPS 27306 WITH SCORE 27342.495
AT ITER 1162 NEW BEST:: SOT 93441 SOS 36480 HAS SOPS 36480 HAS SOUS 27293 HAS SOUPS 27293 WITH SCORE 27329.48
AT ITER 1166 NEW BEST:: SOT 93512 SOS 36456 HAS SOPS 36456 HAS SOUS 27282 HAS SOUPS 27282 WITH SCORE 27318.456
AT ITER 1170 NEW BEST:: SOT 93500 SOS 36432 HAS SOPS 36432 HAS SOUS 27258 HAS SOUPS 27258 WITH SCORE 27294.432
AT ITER 1190 NEW BEST:: SOT 93499 SOS 36402 HAS SOPS 36402 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27290.402
AT ITER 1198 NEW BEST:: SOT 93499 SOS 36400 HAS SOPS 36400 HAS SOUS 27254 HAS SOUPS 27254 WITH SCORE 27290.4
AT ITER 1208 NEW BEST:: SOT 93437 SOS 36391 HAS SOPS 36391 HAS SOUS 27242 HAS SOUPS 27242 WITH SCORE 27278.391
AT ITER 1211 NEW BEST:: SOT 93447 SOS 36390 HAS SOPS 36390 HAS SOUS 27241 HAS SOUPS 27241 WITH SCORE 27277.39
AT ITER 1218 NEW BEST:: SOT 93375 SOS 36234 HAS SOPS 36234 HAS SOUS 27087 HAS SOUPS 27087 WITH SCORE 27123.234
AT ITER 1219 NEW BEST:: SOT 93357 SOS 36198 HAS SOPS 36198 HAS SOUS 27069 HAS SOUPS 27069 WITH SCORE 27105.198
AT ITER 1220 NEW BEST:: SOT 93357 SOS 35740 HAS SOPS 35740 HAS SOUS 27043 HAS SOUPS 27043 WITH SCORE 27078.74
AT ITER 1222 NEW BEST:: SOT 93366 SOS 35711 HAS SOPS 35711 HAS SOUS 26988 HAS SOUPS 26988 WITH SCORE 27023.711
AT ITER 1228 NEW BEST:: SOT 93364 SOS 35707 HAS SOPS 35707 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27019.707
AT ITER 1229 NEW BEST:: SOT 93342 SOS 35663 HAS SOPS 35663 HAS SOUS 26940 HAS SOUPS 26940 WITH SCORE 26975.663
AT ITER 1236 NEW BEST:: SOT 93338 SOS 35659 HAS SOPS 35659 HAS SOUS 26932 HAS SOUPS 26932 WITH SCORE 26967.659
AT ITER 1246 NEW BEST:: SOT 93338 SOS 35658 HAS SOPS 35658 HAS SOUS 26931 HAS SOUPS 26931 WITH SCORE 26966.658
AT ITER 1251 NEW BEST:: SOT 93379 SOS 35601 HAS SOPS 35601 HAS SOUS 26874 HAS SOUPS 26874 WITH SCORE 26909.601
AT ITER 1259 NEW BEST:: SOT 93358 SOS 35559 HAS SOPS 35559 HAS SOUS 26832 HAS SOUPS 26832 WITH SCORE 26867.559
AT ITER 1283 NEW BEST:: SOT 93358 SOS 35559 HAS SOPS 35559 HAS SOUS 26812 HAS SOUPS 26812 WITH SCORE 26847.559
AT ITER 1296 NEW BEST:: SOT 93405 SOS 35654 HAS SOPS 35654 HAS SOUS 26808 HAS SOUPS 26808 WITH SCORE 26843.654
AT ITER 1299 NEW BEST:: SOT 93402 SOS 35608 HAS SOPS 35608 HAS SOUS 26802 HAS SOUPS 26802 WITH SCORE 26837.608
AT ITER 1307 NEW BEST:: SOT 93368 SOS 35574 HAS SOPS 35574 HAS SOUS 26767 HAS SOUPS 26767 WITH SCORE 26802.574
AT ITER 1309 NEW BEST:: SOT 93368 SOS 35574 HAS SOPS 35574 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26786.574
AT ITER 1310 NEW BEST:: SOT 93213 SOS 35294 HAS SOPS 35294 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26644.294
AT ITER 1311 NEW BEST:: SOT 93209 SOS 35289 HAS SOPS 35289 HAS SOUS 26601 HAS SOUPS 26601 WITH SCORE 26636.289
AT ITER 1324 NEW BEST:: SOT 93198 SOS 35256 HAS SOPS 35256 HAS SOUS 26590 HAS SOUPS 26590 WITH SCORE 26625.256
AT ITER 1343 NEW BEST:: SOT 93208 SOS 35265 HAS SOPS 35265 HAS SOUS 26578 HAS SOUPS 26578 WITH SCORE 26613.265
AT ITER 1345 NEW BEST:: SOT 93208 SOS 35298 HAS SOPS 35298 HAS SOUS 26545 HAS SOUPS 26545 WITH SCORE 26580.298
AT ITER 1350 NEW BEST:: SOT 93147 SOS 35176 HAS SOPS 35176 HAS SOUS 26421 HAS SOUPS 26421 WITH SCORE 26456.176
AT ITER 1353 NEW BEST:: SOT 93173 SOS 35167 HAS SOPS 35167 HAS SOUS 26324 HAS SOUPS 26324 WITH SCORE 26359.167
AT ITER 1356 NEW BEST:: SOT 93172 SOS 35165 HAS SOPS 35165 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26357.165
AT ITER 1361 NEW BEST:: SOT 93144 SOS 35137 HAS SOPS 35137 HAS SOUS 26309 HAS SOUPS 26309 WITH SCORE 26344.137
AT ITER 1368 NEW BEST:: SOT 93071 SOS 34971 HAS SOPS 34971 HAS SOUS 26143 HAS SOUPS 26143 WITH SCORE 26177.971
AT ITER 1372 NEW BEST:: SOT 93028 SOS 34881 HAS SOPS 34881 HAS SOUS 26133 HAS SOUPS 26133 WITH SCORE 26167.881
AT ITER 1380 NEW BEST:: SOT 93027 SOS 34852 HAS SOPS 34852 HAS SOUS 26131 HAS SOUPS 26131 WITH SCORE 26165.852
AT ITER 1385 NEW BEST:: SOT 93025 SOS 34850 HAS SOPS 34850 HAS SOUS 26127 HAS SOUPS 26127 WITH SCORE 26161.85
AT ITER 1390 NEW BEST:: SOT 93023 SOS 34705 HAS SOPS 34705 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26105.705
AT ITER 1399 NEW BEST:: SOT 93018 SOS 34762 HAS SOPS 34762 HAS SOUS 26061 HAS SOUPS 26061 WITH SCORE 26095.762
AT ITER 1408 NEW BEST:: SOT 93033 SOS 34881 HAS SOPS 34881 HAS SOUS 25987 HAS SOUPS 25987 WITH SCORE 26021.881
AT ITER 1409 NEW BEST:: SOT 93034 SOS 34961 HAS SOPS 34961 HAS SOUS 25971 HAS SOUPS 25971 WITH SCORE 26005.961
AT ITER 1417 NEW BEST:: SOT 92978 SOS 34909 HAS SOPS 34909 HAS SOUS 25926 HAS SOUPS 25926 WITH SCORE 25960.909
AT ITER 1426 NEW BEST:: SOT 92916 SOS 34843 HAS SOPS 34843 HAS SOUS 25849 HAS SOUPS 25849 WITH SCORE 25883.843
AT ITER 1433 NEW BEST:: SOT 92905 SOS 34832 HAS SOPS 34832 HAS SOUS 25838 HAS SOUPS 25838 WITH SCORE 25872.832
AT ITER 1436 NEW BEST:: SOT 92873 SOS 34768 HAS SOPS 34768 HAS SOUS 25774 HAS SOUPS 25774 WITH SCORE 25808.768
AT ITER 1456 NEW BEST:: SOT 92872 SOS 34766 HAS SOPS 34766 HAS SOUS 25772 HAS SOUPS 25772 WITH SCORE 25806.766
AT ITER 1457 NEW BEST:: SOT 92878 SOS 34679 HAS SOPS 34679 HAS SOUS 25748 HAS SOUPS 25748 WITH SCORE 25782.679
AT ITER 1463 NEW BEST:: SOT 92863 SOS 34611 HAS SOPS 34611 HAS SOUS 25682 HAS SOUPS 25682 WITH SCORE 25716.611
AT ITER 1467 NEW BEST:: SOT 92855 SOS 34603 HAS SOPS 34603 HAS SOUS 25676 HAS SOUPS 25676 WITH SCORE 25710.603
AT ITER 1475 NEW BEST:: SOT 92790 SOS 34514 HAS SOPS 34514 HAS SOUS 25641 HAS SOUPS 25641 WITH SCORE 25675.514
AT ITER 1481 NEW BEST:: SOT 92790 SOS 34486 HAS SOPS 34486 HAS SOUS 25641 HAS SOUPS 25641 WITH SCORE 25675.486
AT ITER 1492 NEW BEST:: SOT 92771 SOS 34419 HAS SOPS 34419 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25587.419
AT ITER 1494 NEW BEST:: SOT 92769 SOS 34407 HAS SOPS 34407 HAS SOUS 25549 HAS SOUPS 25549 WITH SCORE 25583.407
AT ITER 1506 NEW BEST:: SOT 92752 SOS 34373 HAS SOPS 34373 HAS SOUS 25515 HAS SOUPS 25515 WITH SCORE 25549.373
AT ITER 1507 NEW BEST:: SOT 92776 SOS 34349 HAS SOPS 34349 HAS SOUS 25503 HAS SOUPS 25503 WITH SCORE 25537.349
AT ITER 1511 NEW BEST:: SOT 92776 SOS 34328 HAS SOPS 34328 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25507.328
AT ITER 1515 NEW BEST:: SOT 92767 SOS 34183 HAS SOPS 34183 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25498.183
AT ITER 1518 NEW BEST:: SOT 92760 SOS 34147 HAS SOPS 34147 HAS SOUS 25428 HAS SOUPS 25428 WITH SCORE 25462.147
AT ITER 1519 NEW BEST:: SOT 92758 SOS 34141 HAS SOPS 34141 HAS SOUS 25424 HAS SOUPS 25424 WITH SCORE 25458.141
AT ITER 1521 NEW BEST:: SOT 92725 SOS 34075 HAS SOPS 34075 HAS SOUS 25358 HAS SOUPS 25358 WITH SCORE 25392.075
AT ITER 1522 NEW BEST:: SOT 92764 SOS 34032 HAS SOPS 34032 HAS SOUS 25340 HAS SOUPS 25340 WITH SCORE 25374.032
AT ITER 1525 NEW BEST:: SOT 92751 SOS 33961 HAS SOPS 33961 HAS SOUS 25314 HAS SOUPS 25314 WITH SCORE 25347.961
AT ITER 1530 NEW BEST:: SOT 92763 SOS 33946 HAS SOPS 33946 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25328.946
AT ITER 1549 NEW BEST:: SOT 92740 SOS 33923 HAS SOPS 33923 HAS SOUS 25272 HAS SOUPS 25272 WITH SCORE 25305.923
AT ITER 1550 NEW BEST:: SOT 92696 SOS 33807 HAS SOPS 33807 HAS SOUS 25200 HAS SOUPS 25200 WITH SCORE 25233.807
AT ITER 1554 NEW BEST:: SOT 92696 SOS 33799 HAS SOPS 33799 HAS SOUS 25196 HAS SOUPS 25196 WITH SCORE 25229.799
AT ITER 1563 NEW BEST:: SOT 92696 SOS 33799 HAS SOPS 33799 HAS SOUS 25191 HAS SOUPS 25191 WITH SCORE 25224.799
AT ITER 1568 NEW BEST:: SOT 92685 SOS 33839 HAS SOPS 33839 HAS SOUS 25175 HAS SOUPS 25175 WITH SCORE 25208.839
AT ITER 1578 NEW BEST:: SOT 92685 SOS 33828 HAS SOPS 33828 HAS SOUS 25175 HAS SOUPS 25175 WITH SCORE 25208.828
AT ITER 1580 NEW BEST:: SOT 92678 SOS 33821 HAS SOPS 33821 HAS SOUS 25168 HAS SOUPS 25168 WITH SCORE 25201.821
AT ITER 1581 NEW BEST:: SOT 92663 SOS 33791 HAS SOPS 33791 HAS SOUS 25138 HAS SOUPS 25138 WITH SCORE 25171.791
AT ITER 1587 NEW BEST:: SOT 92663 SOS 33805 HAS SOPS 33805 HAS SOUS 25137 HAS SOUPS 25137 WITH SCORE 25170.805
AT ITER 1589 NEW BEST:: SOT 91399 SOS 35738 HAS SOPS 35738 HAS SOUS 24213 HAS SOUPS 24213 WITH SCORE 24248.738
AT ITER 1603 NEW BEST:: SOT 91319 SOS 35522 HAS SOPS 35522 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24224.522
AT ITER 1608 NEW BEST:: SOT 91219 SOS 35300 HAS SOPS 35300 HAS SOUS 23944 HAS SOUPS 23944 WITH SCORE 23979.3
AT ITER 1609 NEW BEST:: SOT 91204 SOS 35274 HAS SOPS 35274 HAS SOUS 23936 HAS SOUPS 23936 WITH SCORE 23971.274
AT ITER 1615 NEW BEST:: SOT 91172 SOS 35265 HAS SOPS 35265 HAS SOUS 23895 HAS SOUPS 23895 WITH SCORE 23930.265
AT ITER 1616 NEW BEST:: SOT 91172 SOS 35227 HAS SOPS 35227 HAS SOUS 23857 HAS SOUPS 23857 WITH SCORE 23892.227
AT ITER 1617 NEW BEST:: SOT 91141 SOS 35115 HAS SOPS 35115 HAS SOUS 23795 HAS SOUPS 23795 WITH SCORE 23830.115
AT ITER 1628 NEW BEST:: SOT 91146 SOS 35129 HAS SOPS 35129 HAS SOUS 23785 HAS SOUPS 23785 WITH SCORE 23820.129
AT ITER 1630 NEW BEST:: SOT 91138 SOS 35103 HAS SOPS 35103 HAS SOUS 23777 HAS SOUPS 23777 WITH SCORE 23812.103
AT ITER 1650 NEW BEST:: SOT 91131 SOS 35062 HAS SOPS 35062 HAS SOUS 23763 HAS SOUPS 23763 WITH SCORE 23798.062
AT ITER 1660 NEW BEST:: SOT 91130 SOS 35061 HAS SOPS 35061 HAS SOUS 23761 HAS SOUPS 23761 WITH SCORE 23796.061
AT ITER 1667 NEW BEST:: SOT 91118 SOS 35049 HAS SOPS 35049 HAS SOUS 23749 HAS SOUPS 23749 WITH SCORE 23784.049
AT ITER 1673 NEW BEST:: SOT 91078 SOS 34969 HAS SOPS 34969 HAS SOUS 23687 HAS SOUPS 23687 WITH SCORE 23721.969
AT ITER 1679 NEW BEST:: SOT 90963 SOS 34739 HAS SOPS 34739 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23612.739
AT ITER 1680 NEW BEST:: SOT 90962 SOS 34697 HAS SOPS 34697 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23610.697
AT ITER 1689 NEW BEST:: SOT 90984 SOS 34673 HAS SOPS 34673 HAS SOUS 23552 HAS SOUPS 23552 WITH SCORE 23586.673
AT ITER 1703 NEW BEST:: SOT 90956 SOS 34617 HAS SOPS 34617 HAS SOUS 23520 HAS SOUPS 23520 WITH SCORE 23554.617
AT ITER 1708 NEW BEST:: SOT 90970 SOS 34586 HAS SOPS 34586 HAS SOUS 23489 HAS SOUPS 23489 WITH SCORE 23523.586
AT ITER 1716 NEW BEST:: SOT 90971 SOS 34617 HAS SOPS 34617 HAS SOUS 23469 HAS SOUPS 23469 WITH SCORE 23503.617
AT ITER 1734 NEW BEST:: SOT 90935 SOS 34581 HAS SOPS 34581 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23494.581
AT ITER 1736 NEW BEST:: SOT 90894 SOS 34431 HAS SOPS 34431 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23412.431
AT ITER 1738 NEW BEST:: SOT 90883 SOS 34430 HAS SOPS 34430 HAS SOUS 23357 HAS SOUPS 23357 WITH SCORE 23391.43
AT ITER 1758 NEW BEST:: SOT 90857 SOS 34424 HAS SOPS 34424 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23369.424
AT ITER 1784 NEW BEST:: SOT 90056 SOS 33580 HAS SOPS 33580 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22394.58
AT ITER 1789 NEW BEST:: SOT 90044 SOS 33570 HAS SOPS 33570 HAS SOUS 22344 HAS SOUPS 22344 WITH SCORE 22377.57
AT ITER 1802 NEW BEST:: SOT 90064 SOS 33610 HAS SOPS 33610 HAS SOUS 22312 HAS SOUPS 22312 WITH SCORE 22345.61
AT ITER 1807 NEW BEST:: SOT 90040 SOS 33958 HAS SOPS 33958 HAS SOUS 22289 HAS SOUPS 22289 WITH SCORE 22322.958
AT ITER 1852 NEW BEST:: SOT 90027 SOS 33834 HAS SOPS 33834 HAS SOUS 22263 HAS SOUPS 22263 WITH SCORE 22296.834
AT ITER 1865 NEW BEST:: SOT 90009 SOS 33798 HAS SOPS 33798 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22199.798
AT ITER 1867 NEW BEST:: SOT 90004 SOS 33788 HAS SOPS 33788 HAS SOUS 22161 HAS SOUPS 22161 WITH SCORE 22194.788
AT ITER 1877 NEW BEST:: SOT 89969 SOS 33718 HAS SOPS 33718 HAS SOUS 22048 HAS SOUPS 22048 WITH SCORE 22081.718
AT ITER 1903 NEW BEST:: SOT 89966 SOS 33771 HAS SOPS 33771 HAS SOUS 22042 HAS SOUPS 22042 WITH SCORE 22075.771
AT ITER 1912 NEW BEST:: SOT 89924 SOS 33751 HAS SOPS 33751 HAS SOUS 22022 HAS SOUPS 22022 WITH SCORE 22055.751
AT ITER 1921 NEW BEST:: SOT 89924 SOS 33726 HAS SOPS 33726 HAS SOUS 22022 HAS SOUPS 22022 WITH SCORE 22055.726
AT ITER 1930 NEW BEST:: SOT 89913 SOS 33716 HAS SOPS 33716 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22045.716
AT ITER 1943 NEW BEST:: SOT 89865 SOS 33572 HAS SOPS 33572 HAS SOUS 21916 HAS SOUPS 21916 WITH SCORE 21949.572
AT ITER 1946 NEW BEST:: SOT 89864 SOS 33570 HAS SOPS 33570 HAS SOUS 21914 HAS SOUPS 21914 WITH SCORE 21947.57
AT ITER 1953 NEW BEST:: SOT 89890 SOS 33590 HAS SOPS 33590 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21920.59
AT ITER 1956 NEW BEST:: SOT 89855 SOS 33458 HAS SOPS 33458 HAS SOUS 21790 HAS SOUPS 21790 WITH SCORE 21823.458
AT ITER 1974 NEW BEST:: SOT 89849 SOS 33035 HAS SOPS 33035 HAS SOUS 21728 HAS SOUPS 21728 WITH SCORE 21761.035
AT ITER 1989 NEW BEST:: SOT 89836 SOS 33022 HAS SOPS 33022 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21748.022
AT ITER 2000 NEW BEST:: SOT 89816 SOS 32945 HAS SOPS 32945 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21705.945
AT ITER 2010 NEW BEST:: SOT 89812 SOS 32937 HAS SOPS 32937 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21697.937
AT ITER 2028 NEW BEST:: SOT 89804 SOS 32921 HAS SOPS 32921 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21682.921
AT ITER 2054 NEW BEST:: SOT 89781 SOS 32875 HAS SOPS 32875 HAS SOUS 21604 HAS SOUPS 21604 WITH SCORE 21636.875
AT ITER 2057 NEW BEST:: SOT 89755 SOS 32823 HAS SOPS 32823 HAS SOUS 21578 HAS SOUPS 21578 WITH SCORE 21610.823
AT ITER 2060 NEW BEST:: SOT 89735 SOS 32783 HAS SOPS 32783 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21569.783
AT ITER 2063 NEW BEST:: SOT 89735 SOS 32783 HAS SOPS 32783 HAS SOUS 21504 HAS SOUPS 21504 WITH SCORE 21536.783
AT ITER 2067 NEW BEST:: SOT 89734 SOS 32781 HAS SOPS 32781 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21534.781
AT ITER 2071 NEW BEST:: SOT 89719 SOS 32768 HAS SOPS 32768 HAS SOUS 21490 HAS SOUPS 21490 WITH SCORE 21522.768
AT ITER 2088 NEW BEST:: SOT 89720 SOS 32770 HAS SOPS 32770 HAS SOUS 21485 HAS SOUPS 21485 WITH SCORE 21517.77
AT ITER 2113 NEW BEST:: SOT 89720 SOS 32758 HAS SOPS 32758 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21505.758
AT ITER 2144 NEW BEST:: SOT 89720 SOS 32724 HAS SOPS 32724 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21505.724
AT ITER 2156 NEW BEST:: SOT 89720 SOS 32724 HAS SOPS 32724 HAS SOUS 21472 HAS SOUPS 21472 WITH SCORE 21504.724
AT ITER 2160 NEW BEST:: SOT 89720 SOS 32670 HAS SOPS 32670 HAS SOUS 21472 HAS SOUPS 21472 WITH SCORE 21504.67
AT ITER 2166 NEW BEST:: SOT 89692 SOS 32614 HAS SOPS 32614 HAS SOUS 21444 HAS SOUPS 21444 WITH SCORE 21476.614
AT ITER 2172 NEW BEST:: SOT 89691 SOS 32612 HAS SOPS 32612 HAS SOUS 21442 HAS SOUPS 21442 WITH SCORE 21474.612
AT ITER 2191 NEW BEST:: SOT 89683 SOS 32613 HAS SOPS 32613 HAS SOUS 21434 HAS SOUPS 21434 WITH SCORE 21466.613
AT ITER 2197 NEW BEST:: SOT 89681 SOS 32611 HAS SOPS 32611 HAS SOUS 21432 HAS SOUPS 21432 WITH SCORE 21464.611
AT ITER 2203 NEW BEST:: SOT 89653 SOS 32555 HAS SOPS 32555 HAS SOUS 21404 HAS SOUPS 21404 WITH SCORE 21436.555
AT ITER 2218 NEW BEST:: SOT 89648 SOS 32550 HAS SOPS 32550 HAS SOUS 21399 HAS SOUPS 21399 WITH SCORE 21431.55
AT ITER 2227 NEW BEST:: SOT 89661 SOS 32576 HAS SOPS 32576 HAS SOUS 21398 HAS SOUPS 21398 WITH SCORE 21430.576
AT ITER 2249 NEW BEST:: SOT 89642 SOS 32538 HAS SOPS 32538 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21392.538
AT ITER 2282 NEW BEST:: SOT 89610 SOS 32506 HAS SOPS 32506 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21328.506
AT ITER 2292 NEW BEST:: SOT 89596 SOS 32490 HAS SOPS 32490 HAS SOUS 21268 HAS SOUPS 21268 WITH SCORE 21300.49
AT ITER 2305 NEW BEST:: SOT 89543 SOS 32384 HAS SOPS 32384 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21194.384
AT ITER 2310 NEW BEST:: SOT 89546 SOS 32380 HAS SOPS 32380 HAS SOUS 21158 HAS SOUPS 21158 WITH SCORE 21190.38
AT ITER 2325 NEW BEST:: SOT 89534 SOS 32385 HAS SOPS 32385 HAS SOUS 21151 HAS SOUPS 21151 WITH SCORE 21183.385
AT ITER 2329 NEW BEST:: SOT 89376 SOS 32321 HAS SOPS 32321 HAS SOUS 21151 HAS SOUPS 21151 WITH SCORE 21183.321
AT ITER 2349 NEW BEST:: SOT 89361 SOS 32291 HAS SOPS 32291 HAS SOUS 21106 HAS SOUPS 21106 WITH SCORE 21138.291
AT ITER 2351 NEW BEST:: SOT 89355 SOS 32282 HAS SOPS 32282 HAS SOUS 21097 HAS SOUPS 21097 WITH SCORE 21129.282
AT ITER 2360 NEW BEST:: SOT 89343 SOS 32208 HAS SOPS 32208 HAS SOUS 21090 HAS SOUPS 21090 WITH SCORE 21122.208
AT ITER 2378 NEW BEST:: SOT 89291 SOS 32191 HAS SOPS 32191 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21105.191
AT ITER 2386 NEW BEST:: SOT 89252 SOS 32152 HAS SOPS 32152 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21066.152
AT ITER 2389 NEW BEST:: SOT 89250 SOS 32148 HAS SOPS 32148 HAS SOUS 21030 HAS SOUPS 21030 WITH SCORE 21062.148
AT ITER 2392 NEW BEST:: SOT 89221 SOS 32119 HAS SOPS 32119 HAS SOUS 20998 HAS SOUPS 20998 WITH SCORE 21030.119
AT ITER 2418 NEW BEST:: SOT 89179 SOS 32035 HAS SOPS 32035 HAS SOUS 20914 HAS SOUPS 20914 WITH SCORE 20946.035
AT ITER 2421 NEW BEST:: SOT 89177 SOS 32032 HAS SOPS 32032 HAS SOUS 20911 HAS SOUPS 20911 WITH SCORE 20943.032
AT ITER 2429 NEW BEST:: SOT 89159 SOS 31996 HAS SOPS 31996 HAS SOUS 20891 HAS SOUPS 20891 WITH SCORE 20922.996
AT ITER 2430 NEW BEST:: SOT 89104 SOS 31941 HAS SOPS 31941 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20900.941
AT ITER 2455 NEW BEST:: SOT 89067 SOS 31837 HAS SOPS 31837 HAS SOUS 20769 HAS SOUPS 20769 WITH SCORE 20800.837
AT ITER 2459 NEW BEST:: SOT 89040 SOS 31783 HAS SOPS 31783 HAS SOUS 20710 HAS SOUPS 20710 WITH SCORE 20741.783
AT ITER 2463 NEW BEST:: SOT 89039 SOS 31782 HAS SOPS 31782 HAS SOUS 20708 HAS SOUPS 20708 WITH SCORE 20739.782
AT ITER 2466 NEW BEST:: SOT 89018 SOS 31716 HAS SOPS 31716 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20718.716
AT ITER 2479 NEW BEST:: SOT 89017 SOS 31715 HAS SOPS 31715 HAS SOUS 20685 HAS SOUPS 20685 WITH SCORE 20716.715
AT ITER 2501 NEW BEST:: SOT 89017 SOS 31703 HAS SOPS 31703 HAS SOUS 20673 HAS SOUPS 20673 WITH SCORE 20704.703
AT ITER 2508 NEW BEST:: SOT 89017 SOS 31701 HAS SOPS 31701 HAS SOUS 20671 HAS SOUPS 20671 WITH SCORE 20702.701
AT ITER 2536 NEW BEST:: SOT 88959 SOS 31585 HAS SOPS 31585 HAS SOUS 20638 HAS SOUPS 20638 WITH SCORE 20669.585
AT ITER 2539 NEW BEST:: SOT 89001 SOS 31511 HAS SOPS 31511 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20609.511
AT ITER 2556 NEW BEST:: SOT 88977 SOS 31463 HAS SOPS 31463 HAS SOUS 20530 HAS SOUPS 20530 WITH SCORE 20561.463
AT ITER 2579 NEW BEST:: SOT 88970 SOS 31429 HAS SOPS 31429 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20520.429
AT ITER 2593 NEW BEST:: SOT 88945 SOS 31395 HAS SOPS 31395 HAS SOUS 20442 HAS SOUPS 20442 WITH SCORE 20473.395
AT ITER 2606 NEW BEST:: SOT 88925 SOS 31325 HAS SOPS 31325 HAS SOUS 20402 HAS SOUPS 20402 WITH SCORE 20433.325
AT ITER 2613 NEW BEST:: SOT 88860 SOS 31150 HAS SOPS 31150 HAS SOUS 20227 HAS SOUPS 20227 WITH SCORE 20258.15
AT ITER 2638 NEW BEST:: SOT 88854 SOS 31135 HAS SOPS 31135 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20246.135
AT ITER 2642 NEW BEST:: SOT 88842 SOS 31123 HAS SOPS 31123 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20243.123
AT ITER 2662 NEW BEST:: SOT 88810 SOS 31091 HAS SOPS 31091 HAS SOUS 20148 HAS SOUPS 20148 WITH SCORE 20179.091
AT ITER 2675 NEW BEST:: SOT 88747 SOS 31028 HAS SOPS 31028 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20053.028
AT ITER 2677 NEW BEST:: SOT 88747 SOS 31026 HAS SOPS 31026 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20053.026
AT ITER 2679 NEW BEST:: SOT 88744 SOS 31023 HAS SOPS 31023 HAS SOUS 20012 HAS SOUPS 20012 WITH SCORE 20043.023
AT ITER 2681 NEW BEST:: SOT 88743 SOS 31037 HAS SOPS 31037 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20026.037
AT ITER 2682 NEW BEST:: SOT 88739 SOS 31029 HAS SOPS 31029 HAS SOUS 19991 HAS SOUPS 19991 WITH SCORE 20022.029
AT ITER 2710 NEW BEST:: SOT 88739 SOS 31002 HAS SOPS 31002 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19937.002
AT ITER 2713 NEW BEST:: SOT 88733 SOS 31002 HAS SOPS 31002 HAS SOUS 19894 HAS SOUPS 19894 WITH SCORE 19925.002
AT ITER 2722 NEW BEST:: SOT 88733 SOS 30989 HAS SOPS 30989 HAS SOUS 19894 HAS SOUPS 19894 WITH SCORE 19924.989
AT ITER 2726 NEW BEST:: SOT 88701 SOS 30913 HAS SOPS 30913 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19882.913
AT ITER 2759 NEW BEST:: SOT 88701 SOS 30904 HAS SOPS 30904 HAS SOUS 19852 HAS SOUPS 19852 WITH SCORE 19882.904
AT ITER 2773 NEW BEST:: SOT 88701 SOS 30922 HAS SOPS 30922 HAS SOUS 19841 HAS SOUPS 19841 WITH SCORE 19871.922
AT ITER 2782 NEW BEST:: SOT 88704 SOS 30907 HAS SOPS 30907 HAS SOUS 19826 HAS SOUPS 19826 WITH SCORE 19856.907
AT ITER 2789 NEW BEST:: SOT 88684 SOS 30866 HAS SOPS 30866 HAS SOUS 19779 HAS SOUPS 19779 WITH SCORE 19809.866
AT ITER 2793 NEW BEST:: SOT 88665 SOS 30825 HAS SOPS 30825 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19771.825
AT ITER 2827 NEW BEST:: SOT 88671 SOS 30811 HAS SOPS 30811 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19757.811
AT ITER 2847 NEW BEST:: SOT 88656 SOS 30779 HAS SOPS 30779 HAS SOUS 19695 HAS SOUPS 19695 WITH SCORE 19725.779
AT ITER 2855 NEW BEST:: SOT 88656 SOS 30776 HAS SOPS 30776 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19722.776
AT ITER 2857 NEW BEST:: SOT 88659 SOS 30666 HAS SOPS 30666 HAS SOUS 19582 HAS SOUPS 19582 WITH SCORE 19612.666
AT ITER 2873 NEW BEST:: SOT 88658 SOS 30666 HAS SOPS 30666 HAS SOUS 19581 HAS SOUPS 19581 WITH SCORE 19611.666
AT ITER 2909 NEW BEST:: SOT 88658 SOS 30665 HAS SOPS 30665 HAS SOUS 19580 HAS SOUPS 19580 WITH SCORE 19610.665
AT ITER 2914 NEW BEST:: SOT 88638 SOS 30640 HAS SOPS 30640 HAS SOUS 19565 HAS SOUPS 19565 WITH SCORE 19595.64
AT ITER 2957 NEW BEST:: SOT 88637 SOS 30621 HAS SOPS 30621 HAS SOUS 19563 HAS SOUPS 19563 WITH SCORE 19593.621
AT ITER 2961 NEW BEST:: SOT 88631 SOS 30609 HAS SOPS 30609 HAS SOUS 19551 HAS SOUPS 19551 WITH SCORE 19581.609
AT ITER 2968 NEW BEST:: SOT 88630 SOS 30608 HAS SOPS 30608 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19580.608
AT ITER 2972 NEW BEST:: SOT 88607 SOS 30585 HAS SOPS 30585 HAS SOUS 19527 HAS SOUPS 19527 WITH SCORE 19557.585
AT ITER 3005 NEW BEST:: SOT 88592 SOS 30590 HAS SOPS 30590 HAS SOUS 19519 HAS SOUPS 19519 WITH SCORE 19549.59
AT ITER 3009 NEW BEST:: SOT 88592 SOS 30583 HAS SOPS 30583 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19542.583
AT ITER 3012 NEW BEST:: SOT 88527 SOS 30457 HAS SOPS 30457 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19412.457
AT ITER 3021 NEW BEST:: SOT 88527 SOS 30431 HAS SOPS 30431 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19386.431
AT ITER 3027 NEW BEST:: SOT 88482 SOS 30339 HAS SOPS 30339 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19294.339
AT ITER 3042 NEW BEST:: SOT 88460 SOS 30317 HAS SOPS 30317 HAS SOUS 19242 HAS SOUPS 19242 WITH SCORE 19272.317
AT ITER 3069 NEW BEST:: SOT 88450 SOS 30231 HAS SOPS 30231 HAS SOUS 19232 HAS SOUPS 19232 WITH SCORE 19262.231
AT ITER 3073 NEW BEST:: SOT 88474 SOS 30252 HAS SOPS 30252 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19256.252
AT ITER 3086 NEW BEST:: SOT 88471 SOS 30246 HAS SOPS 30246 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19250.246
AT ITER 3089 NEW BEST:: SOT 88471 SOS 30244 HAS SOPS 30244 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19248.244
AT ITER 3098 NEW BEST:: SOT 88468 SOS 30250 HAS SOPS 30250 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19245.25
AT ITER 3101 NEW BEST:: SOT 88468 SOS 30243 HAS SOPS 30243 HAS SOUS 19208 HAS SOUPS 19208 WITH SCORE 19238.243
AT ITER 3102 NEW BEST:: SOT 88411 SOS 30228 HAS SOPS 30228 HAS SOUS 19196 HAS SOUPS 19196 WITH SCORE 19226.228
AT ITER 3106 NEW BEST:: SOT 88415 SOS 30228 HAS SOPS 30228 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19225.228
AT ITER 3108 NEW BEST:: SOT 88415 SOS 30228 HAS SOPS 30228 HAS SOUS 19179 HAS SOUPS 19179 WITH SCORE 19209.228
AT ITER 3109 NEW BEST:: SOT 88426 SOS 30191 HAS SOPS 30191 HAS SOUS 19142 HAS SOUPS 19142 WITH SCORE 19172.191
AT ITER 3141 NEW BEST:: SOT 88382 SOS 30103 HAS SOPS 30103 HAS SOUS 19106 HAS SOUPS 19106 WITH SCORE 19136.103
AT ITER 3143 NEW BEST:: SOT 88375 SOS 30096 HAS SOPS 30096 HAS SOUS 19092 HAS SOUPS 19092 WITH SCORE 19122.096
AT ITER 3150 NEW BEST:: SOT 88324 SOS 30045 HAS SOPS 30045 HAS SOUS 19041 HAS SOUPS 19041 WITH SCORE 19071.045
AT ITER 3161 NEW BEST:: SOT 88297 SOS 30015 HAS SOPS 30015 HAS SOUS 18987 HAS SOUPS 18987 WITH SCORE 19017.015
AT ITER 3162 NEW BEST:: SOT 88285 SOS 30003 HAS SOPS 30003 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18999.003
AT ITER 3200 NEW BEST:: SOT 88278 SOS 29989 HAS SOPS 29989 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 18977.989
AT ITER 3201 NEW BEST:: SOT 88270 SOS 29973 HAS SOPS 29973 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18961.973
AT ITER 3212 NEW BEST:: SOT 88271 SOS 29965 HAS SOPS 29965 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18897.965
AT ITER 3214 NEW BEST:: SOT 88269 SOS 29961 HAS SOPS 29961 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18882.961
AT ITER 3258 NEW BEST:: SOT 88251 SOS 29945 HAS SOPS 29945 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18864.945
AT ITER 3285 NEW BEST:: SOT 88240 SOS 29980 HAS SOPS 29980 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18844.98
AT ITER 3299 NEW BEST:: SOT 88236 SOS 29984 HAS SOPS 29984 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18836.984
AT ITER 3319 NEW BEST:: SOT 88236 SOS 29976 HAS SOPS 29976 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18836.976
AT ITER 3331 NEW BEST:: SOT 88225 SOS 29941 HAS SOPS 29941 HAS SOUS 18772 HAS SOUPS 18772 WITH SCORE 18801.941
AT ITER 3335 NEW BEST:: SOT 88222 SOS 29935 HAS SOPS 29935 HAS SOUS 18764 HAS SOUPS 18764 WITH SCORE 18793.935
AT ITER 3355 NEW BEST:: SOT 88192 SOS 29736 HAS SOPS 29736 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18742.736
AT ITER 3363 NEW BEST:: SOT 88121 SOS 29665 HAS SOPS 29665 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18712.665
AT ITER 3374 NEW BEST:: SOT 88053 SOS 29649 HAS SOPS 29649 HAS SOUS 18667 HAS SOUPS 18667 WITH SCORE 18696.649
AT ITER 3379 NEW BEST:: SOT 88050 SOS 29588 HAS SOPS 29588 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18676.588
AT ITER 3390 NEW BEST:: SOT 88035 SOS 29561 HAS SOPS 29561 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18654.561
AT ITER 3464 NEW BEST:: SOT 88032 SOS 29578 HAS SOPS 29578 HAS SOUS 18619 HAS SOUPS 18619 WITH SCORE 18648.578
AT ITER 3466 NEW BEST:: SOT 88025 SOS 29564 HAS SOPS 29564 HAS SOUS 18605 HAS SOUPS 18605 WITH SCORE 18634.564
AT ITER 3473 NEW BEST:: SOT 88025 SOS 29564 HAS SOPS 29564 HAS SOUS 18598 HAS SOUPS 18598 WITH SCORE 18627.564
AT ITER 3504 NEW BEST:: SOT 88012 SOS 29572 HAS SOPS 29572 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18601.572
AT ITER 3540 NEW BEST:: SOT 87989 SOS 29526 HAS SOPS 29526 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18555.526
AT ITER 3553 NEW BEST:: SOT 87985 SOS 29526 HAS SOPS 29526 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18551.526
AT ITER 3568 NEW BEST:: SOT 87985 SOS 29523 HAS SOPS 29523 HAS SOUS 18519 HAS SOUPS 18519 WITH SCORE 18548.523
AT ITER 3586 NEW BEST:: SOT 87982 SOS 29515 HAS SOPS 29515 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18542.515
AT ITER 3605 NEW BEST:: SOT 87989 SOS 29529 HAS SOPS 29529 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18525.529
AT ITER 3628 NEW BEST:: SOT 87989 SOS 29527 HAS SOPS 29527 HAS SOUS 18494 HAS SOUPS 18494 WITH SCORE 18523.527
AT ITER 3632 NEW BEST:: SOT 87988 SOS 29525 HAS SOPS 29525 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18522.525
AT ITER 3689 NEW BEST:: SOT 87949 SOS 29410 HAS SOPS 29410 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18444.41
AT ITER 3691 NEW BEST:: SOT 87926 SOS 29346 HAS SOPS 29346 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18397.346
AT ITER 3704 NEW BEST:: SOT 87926 SOS 29344 HAS SOPS 29344 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18395.344
AT ITER 3706 NEW BEST:: SOT 87926 SOS 29339 HAS SOPS 29339 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18390.339
AT ITER 3754 NEW BEST:: SOT 87908 SOS 29269 HAS SOPS 29269 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18389.269
AT ITER 3776 NEW BEST:: SOT 87902 SOS 29257 HAS SOPS 29257 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18377.257
AT ITER 3830 NEW BEST:: SOT 87877 SOS 29207 HAS SOPS 29207 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18352.207
AT ITER 3849 NEW BEST:: SOT 87877 SOS 29206 HAS SOPS 29206 HAS SOUS 18322 HAS SOUPS 18322 WITH SCORE 18351.206
AT ITER 3874 NEW BEST:: SOT 87876 SOS 29204 HAS SOPS 29204 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18350.204
AT ITER 3883 NEW BEST:: SOT 87874 SOS 29198 HAS SOPS 29198 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18344.198
AT ITER 3929 NEW BEST:: SOT 87836 SOS 29122 HAS SOPS 29122 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18268.122
AT ITER 3962 NEW BEST:: SOT 87817 SOS 29061 HAS SOPS 29061 HAS SOUS 18201 HAS SOUPS 18201 WITH SCORE 18230.061
AT ITER 3973 NEW BEST:: SOT 87811 SOS 29036 HAS SOPS 29036 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18218.036
AT ITER 3978 NEW BEST:: SOT 87809 SOS 29013 HAS SOPS 29013 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18195.013
AT ITER 3987 NEW BEST:: SOT 87820 SOS 28991 HAS SOPS 28991 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18167.991
AT ITER 4008 NEW BEST:: SOT 87861 SOS 28986 HAS SOPS 28986 HAS SOUS 18135 HAS SOUPS 18135 WITH SCORE 18163.986
AT ITER 4009 NEW BEST:: SOT 87861 SOS 28976 HAS SOPS 28976 HAS SOUS 18135 HAS SOUPS 18135 WITH SCORE 18163.976
AT ITER 4011 NEW BEST:: SOT 87821 SOS 28973 HAS SOPS 28973 HAS SOUS 18132 HAS SOUPS 18132 WITH SCORE 18160.973
AT ITER 4020 NEW BEST:: SOT 87821 SOS 28967 HAS SOPS 28967 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18154.967
AT ITER 4025 NEW BEST:: SOT 87821 SOS 28962 HAS SOPS 28962 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18154.962
AT ITER 4050 NEW BEST:: SOT 87795 SOS 28957 HAS SOPS 28957 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18149.957
AT ITER 4103 NEW BEST:: SOT 87795 SOS 28930 HAS SOPS 28930 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18122.93
AT ITER 4107 NEW BEST:: SOT 87765 SOS 28909 HAS SOPS 28909 HAS SOUS 18073 HAS SOUPS 18073 WITH SCORE 18101.909
AT ITER 4109 NEW BEST:: SOT 87730 SOS 28839 HAS SOPS 28839 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18066.839
AT ITER 4123 NEW BEST:: SOT 87724 SOS 28833 HAS SOPS 28833 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18060.833
AT ITER 4128 NEW BEST:: SOT 87723 SOS 28831 HAS SOPS 28831 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18029.831
AT ITER 4137 NEW BEST:: SOT 87696 SOS 28777 HAS SOPS 28777 HAS SOUS 17963 HAS SOUPS 17963 WITH SCORE 17991.777
AT ITER 4189 NEW BEST:: SOT 87708 SOS 28767 HAS SOPS 28767 HAS SOUS 17958 HAS SOUPS 17958 WITH SCORE 17986.767
AT ITER 4198 NEW BEST:: SOT 87712 SOS 28740 HAS SOPS 28740 HAS SOUS 17931 HAS SOUPS 17931 WITH SCORE 17959.74
AT ITER 4211 NEW BEST:: SOT 87706 SOS 28728 HAS SOPS 28728 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17947.728
AT ITER 4228 NEW BEST:: SOT 87670 SOS 28656 HAS SOPS 28656 HAS SOUS 17803 HAS SOUPS 17803 WITH SCORE 17831.656
AT ITER 4263 NEW BEST:: SOT 87664 SOS 28647 HAS SOPS 28647 HAS SOUS 17791 HAS SOUPS 17791 WITH SCORE 17819.647
AT ITER 4272 NEW BEST:: SOT 87644 SOS 28627 HAS SOPS 28627 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17799.627
AT ITER 4276 NEW BEST:: SOT 87630 SOS 28539 HAS SOPS 28539 HAS SOUS 17743 HAS SOUPS 17743 WITH SCORE 17771.539
AT ITER 4306 NEW BEST:: SOT 87598 SOS 28475 HAS SOPS 28475 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17707.475
AT ITER 4324 NEW BEST:: SOT 87598 SOS 28473 HAS SOPS 28473 HAS SOUS 17677 HAS SOUPS 17677 WITH SCORE 17705.473
AT ITER 4326 NEW BEST:: SOT 87604 SOS 28494 HAS SOPS 28494 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17702.494
AT ITER 4374 NEW BEST:: SOT 87557 SOS 28480 HAS SOPS 28480 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17688.48
AT ITER 4388 NEW BEST:: SOT 87557 SOS 28474 HAS SOPS 28474 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17688.474
AT ITER 4416 NEW BEST:: SOT 87556 SOS 28472 HAS SOPS 28472 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17686.472
AT ITER 4518 NEW BEST:: SOT 87543 SOS 28446 HAS SOPS 28446 HAS SOUS 17645 HAS SOUPS 17645 WITH SCORE 17673.446
AT ITER 4555 NEW BEST:: SOT 87543 SOS 28434 HAS SOPS 28434 HAS SOUS 17633 HAS SOUPS 17633 WITH SCORE 17661.434
AT ITER 4558 NEW BEST:: SOT 87509 SOS 28404 HAS SOPS 28404 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17615.404
AT ITER 4573 NEW BEST:: SOT 87464 SOS 28378 HAS SOPS 28378 HAS SOUS 17587 HAS SOUPS 17587 WITH SCORE 17615.378
AT ITER 4583 NEW BEST:: SOT 87462 SOS 28326 HAS SOPS 28326 HAS SOUS 17535 HAS SOUPS 17535 WITH SCORE 17563.326
AT ITER 4585 NEW BEST:: SOT 87462 SOS 28319 HAS SOPS 28319 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17556.319
AT ITER 4606 NEW BEST:: SOT 87462 SOS 28319 HAS SOPS 28319 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17548.319
AT ITER 4628 NEW BEST:: SOT 87462 SOS 28319 HAS SOPS 28319 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17547.319
AT ITER 4649 NEW BEST:: SOT 87448 SOS 28286 HAS SOPS 28286 HAS SOUS 17472 HAS SOUPS 17472 WITH SCORE 17500.286
AT ITER 4686 NEW BEST:: SOT 87444 SOS 28278 HAS SOPS 28278 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17496.278
AT ITER 4687 NEW BEST:: SOT 87442 SOS 28274 HAS SOPS 28274 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17489.274
AT ITER 4701 NEW BEST:: SOT 87423 SOS 28255 HAS SOPS 28255 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17489.255
AT ITER 4748 NEW BEST:: SOT 87404 SOS 28246 HAS SOPS 28246 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17473.246
AT ITER 4768 NEW BEST:: SOT 87396 SOS 28239 HAS SOPS 28239 HAS SOUS 17438 HAS SOUPS 17438 WITH SCORE 17466.239
AT ITER 4786 NEW BEST:: SOT 87385 SOS 28217 HAS SOPS 28217 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17453.217
AT ITER 4818 NEW BEST:: SOT 87385 SOS 28201 HAS SOPS 28201 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17453.201
AT ITER 4824 NEW BEST:: SOT 87385 SOS 28201 HAS SOPS 28201 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17452.201
AT ITER 4828 NEW BEST:: SOT 87352 SOS 28183 HAS SOPS 28183 HAS SOUS 17387 HAS SOUPS 17387 WITH SCORE 17415.183
AT ITER 4848 NEW BEST:: SOT 87071 SOS 27945 HAS SOPS 27945 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17187.945
AT ITER 4900 NEW BEST:: SOT 87046 SOS 27920 HAS SOPS 27920 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17163.92
AT ITER 4997 NEW BEST:: SOT 87046 SOS 27920 HAS SOPS 27920 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17154.92
AT ITER 5018 NEW BEST:: SOT 87061 SOS 27930 HAS SOPS 27930 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17149.93
AT ITER 5036 NEW BEST:: SOT 87048 SOS 27907 HAS SOPS 27907 HAS SOUS 17096 HAS SOUPS 17096 WITH SCORE 17123.907
AT ITER 5083 NEW BEST:: SOT 87048 SOS 27908 HAS SOPS 27908 HAS SOUS 17095 HAS SOUPS 17095 WITH SCORE 17122.908
AT ITER 5100 NEW BEST:: SOT 87052 SOS 27893 HAS SOPS 27893 HAS SOUS 17080 HAS SOUPS 17080 WITH SCORE 17107.893
AT ITER 5169 NEW BEST:: SOT 87052 SOS 27865 HAS SOPS 27865 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17079.865
AT ITER 5174 NEW BEST:: SOT 87047 SOS 27860 HAS SOPS 27860 HAS SOUS 17042 HAS SOUPS 17042 WITH SCORE 17069.86
AT ITER 5243 NEW BEST:: SOT 87043 SOS 27852 HAS SOPS 27852 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17061.852
AT ITER 5253 NEW BEST:: SOT 87042 SOS 27826 HAS SOPS 27826 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17059.826
AT ITER 5280 NEW BEST:: SOT 87042 SOS 27824 HAS SOPS 27824 HAS SOUS 17030 HAS SOUPS 17030 WITH SCORE 17057.824
AT ITER 5295 NEW BEST:: SOT 87040 SOS 27818 HAS SOPS 27818 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17055.818
AT ITER 5338 NEW BEST:: SOT 87035 SOS 27819 HAS SOPS 27819 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17046.819
AT ITER 5367 NEW BEST:: SOT 87014 SOS 27826 HAS SOPS 27826 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17032.826
AT ITER 5422 NEW BEST:: SOT 87013 SOS 27825 HAS SOPS 27825 HAS SOUS 17003 HAS SOUPS 17003 WITH SCORE 17030.825
AT ITER 5448 NEW BEST:: SOT 86999 SOS 27799 HAS SOPS 27799 HAS SOUS 16991 HAS SOUPS 16991 WITH SCORE 17018.799
AT ITER 5459 NEW BEST:: SOT 86999 SOS 27745 HAS SOPS 27745 HAS SOUS 16991 HAS SOUPS 16991 WITH SCORE 17018.745
AT ITER 5465 NEW BEST:: SOT 86989 SOS 27705 HAS SOPS 27705 HAS SOUS 16987 HAS SOUPS 16987 WITH SCORE 17014.705
AT ITER 5466 NEW BEST:: SOT 86988 SOS 27664 HAS SOPS 27664 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17012.664
AT ITER 5468 NEW BEST:: SOT 86988 SOS 27661 HAS SOPS 27661 HAS SOUS 16982 HAS SOUPS 16982 WITH SCORE 17009.661
AT ITER 5484 NEW BEST:: SOT 86987 SOS 27659 HAS SOPS 27659 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 16984.659
AT ITER 5496 NEW BEST:: SOT 86984 SOS 27641 HAS SOPS 27641 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16977.641
AT ITER 5498 NEW BEST:: SOT 86962 SOS 27575 HAS SOPS 27575 HAS SOUS 16912 HAS SOUPS 16912 WITH SCORE 16939.575
AT ITER 5505 NEW BEST:: SOT 86962 SOS 27575 HAS SOPS 27575 HAS SOUS 16907 HAS SOUPS 16907 WITH SCORE 16934.575
AT ITER 5530 NEW BEST:: SOT 86968 SOS 27549 HAS SOPS 27549 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16902.549
AT ITER 5539 NEW BEST:: SOT 86968 SOS 27535 HAS SOPS 27535 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16902.535
AT ITER 5578 NEW BEST:: SOT 86947 SOS 27493 HAS SOPS 27493 HAS SOUS 16833 HAS SOUPS 16833 WITH SCORE 16860.493
AT ITER 5584 NEW BEST:: SOT 86933 SOS 27465 HAS SOPS 27465 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16837.465
AT ITER 5621 NEW BEST:: SOT 86925 SOS 27457 HAS SOPS 27457 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16821.457
AT ITER 5638 NEW BEST:: SOT 86920 SOS 27523 HAS SOPS 27523 HAS SOUS 16789 HAS SOUPS 16789 WITH SCORE 16816.523
AT ITER 5646 NEW BEST:: SOT 86865 SOS 27377 HAS SOPS 27377 HAS SOUS 16690 HAS SOUPS 16690 WITH SCORE 16717.377
AT ITER 5647 NEW BEST:: SOT 86886 SOS 27354 HAS SOPS 27354 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16694.354
AT ITER 5653 NEW BEST:: SOT 86882 SOS 27346 HAS SOPS 27346 HAS SOUS 16655 HAS SOUPS 16655 WITH SCORE 16682.346
AT ITER 5686 NEW BEST:: SOT 86845 SOS 27265 HAS SOPS 27265 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16638.265
AT ITER 5701 NEW BEST:: SOT 86785 SOS 27209 HAS SOPS 27209 HAS SOUS 16610 HAS SOUPS 16610 WITH SCORE 16637.209
AT ITER 5720 NEW BEST:: SOT 86783 SOS 27205 HAS SOPS 27205 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16633.205
AT ITER 5752 NEW BEST:: SOT 86780 SOS 27199 HAS SOPS 27199 HAS SOUS 16603 HAS SOUPS 16603 WITH SCORE 16630.199
AT ITER 5771 NEW BEST:: SOT 86781 SOS 27200 HAS SOPS 27200 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16578.2
AT ITER 5772 NEW BEST:: SOT 86781 SOS 27187 HAS SOPS 27187 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16578.187
AT ITER 5788 NEW BEST:: SOT 86769 SOS 27169 HAS SOPS 27169 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16566.169
AT ITER 5804 NEW BEST:: SOT 86778 SOS 27177 HAS SOPS 27177 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16564.177
AT ITER 5837 NEW BEST:: SOT 86771 SOS 27187 HAS SOPS 27187 HAS SOUS 16535 HAS SOUPS 16535 WITH SCORE 16562.187
AT ITER 5858 NEW BEST:: SOT 86774 SOS 27206 HAS SOPS 27206 HAS SOUS 16522 HAS SOUPS 16522 WITH SCORE 16549.206
AT ITER 5866 NEW BEST:: SOT 86757 SOS 27146 HAS SOPS 27146 HAS SOUS 16481 HAS SOUPS 16481 WITH SCORE 16508.146
AT ITER 5870 NEW BEST:: SOT 86757 SOS 27130 HAS SOPS 27130 HAS SOUS 16481 HAS SOUPS 16481 WITH SCORE 16508.13
AT ITER 5883 NEW BEST:: SOT 86748 SOS 27112 HAS SOPS 27112 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16490.112
AT ITER 5899 NEW BEST:: SOT 86758 SOS 25942 HAS SOPS 25942 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16474.942
AT ITER 5918 NEW BEST:: SOT 86758 SOS 25942 HAS SOPS 25942 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16450.942
AT ITER 5943 NEW BEST:: SOT 86781 SOS 25923 HAS SOPS 25923 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16431.923
AT ITER 5985 NEW BEST:: SOT 86757 SOS 25899 HAS SOPS 25899 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16383.899
AT ITER 5996 NEW BEST:: SOT 86757 SOS 25899 HAS SOPS 25899 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16381.899
AT ITER 6005 NEW BEST:: SOT 86769 SOS 25876 HAS SOPS 25876 HAS SOUS 16333 HAS SOUPS 16333 WITH SCORE 16358.876
AT ITER 6020 NEW BEST:: SOT 86763 SOS 25834 HAS SOPS 25834 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16323.834
AT ITER 6033 NEW BEST:: SOT 86747 SOS 25810 HAS SOPS 25810 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16291.81
AT ITER 6109 NEW BEST:: SOT 86747 SOS 25807 HAS SOPS 25807 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16291.807
AT ITER 6144 NEW BEST:: SOT 86742 SOS 25802 HAS SOPS 25802 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16286.802
AT ITER 6179 NEW BEST:: SOT 86737 SOS 25852 HAS SOPS 25852 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16270.852
AT ITER 6204 NEW BEST:: SOT 86721 SOS 25818 HAS SOPS 25818 HAS SOUS 16196 HAS SOUPS 16196 WITH SCORE 16221.818
AT ITER 6228 NEW BEST:: SOT 86705 SOS 25802 HAS SOPS 25802 HAS SOUS 16180 HAS SOUPS 16180 WITH SCORE 16205.802
AT ITER 6289 NEW BEST:: SOT 86690 SOS 25787 HAS SOPS 25787 HAS SOUS 16165 HAS SOUPS 16165 WITH SCORE 16190.787
AT ITER 6304 NEW BEST:: SOT 86663 SOS 25718 HAS SOPS 25718 HAS SOUS 16153 HAS SOUPS 16153 WITH SCORE 16178.718
AT ITER 6361 NEW BEST:: SOT 86662 SOS 25719 HAS SOPS 25719 HAS SOUS 16151 HAS SOUPS 16151 WITH SCORE 16176.719
AT ITER 6366 NEW BEST:: SOT 86662 SOS 25719 HAS SOPS 25719 HAS SOUS 16144 HAS SOUPS 16144 WITH SCORE 16169.719
AT ITER 6376 NEW BEST:: SOT 86645 SOS 25702 HAS SOPS 25702 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16163.702
AT ITER 6385 NEW BEST:: SOT 86638 SOS 25700 HAS SOPS 25700 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16161.7
AT ITER 6403 NEW BEST:: SOT 86630 SOS 25684 HAS SOPS 25684 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16145.684
AT ITER 6426 NEW BEST:: SOT 86630 SOS 25672 HAS SOPS 25672 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16139.672
AT ITER 6499 NEW BEST:: SOT 86627 SOS 25665 HAS SOPS 25665 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16137.665
AT ITER 6543 NEW BEST:: SOT 86538 SOS 25576 HAS SOPS 25576 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16048.576
AT ITER 6549 NEW BEST:: SOT 86533 SOS 25545 HAS SOPS 25545 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16038.545
AT ITER 6560 NEW BEST:: SOT 86521 SOS 25521 HAS SOPS 25521 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16014.521
AT ITER 6607 NEW BEST:: SOT 86515 SOS 25515 HAS SOPS 25515 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16005.515
AT ITER 6617 NEW BEST:: SOT 86513 SOS 25511 HAS SOPS 25511 HAS SOUS 15978 HAS SOUPS 15978 WITH SCORE 16003.511
AT ITER 6671 NEW BEST:: SOT 86501 SOS 25499 HAS SOPS 25499 HAS SOUS 15960 HAS SOUPS 15960 WITH SCORE 15985.499
AT ITER 6746 NEW BEST:: SOT 86484 SOS 25477 HAS SOPS 25477 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15963.477
AT ITER 6752 NEW BEST:: SOT 86484 SOS 25473 HAS SOPS 25473 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15961.473
AT ITER 6754 NEW BEST:: SOT 86467 SOS 25442 HAS SOPS 25442 HAS SOUS 15905 HAS SOUPS 15905 WITH SCORE 15930.442
AT ITER 6778 NEW BEST:: SOT 86467 SOS 25431 HAS SOPS 25431 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15919.431
AT ITER 6787 NEW BEST:: SOT 86464 SOS 25425 HAS SOPS 25425 HAS SOUS 15891 HAS SOUPS 15891 WITH SCORE 15916.425
AT ITER 6801 NEW BEST:: SOT 86451 SOS 25425 HAS SOPS 25425 HAS SOUS 15878 HAS SOUPS 15878 WITH SCORE 15903.425
AT ITER 6815 NEW BEST:: SOT 86450 SOS 25419 HAS SOPS 25419 HAS SOUS 15839 HAS SOUPS 15839 WITH SCORE 15864.419
AT ITER 6840 NEW BEST:: SOT 86444 SOS 25406 HAS SOPS 25406 HAS SOUS 15817 HAS SOUPS 15817 WITH SCORE 15842.406
AT ITER 6846 NEW BEST:: SOT 86437 SOS 25392 HAS SOPS 25392 HAS SOUS 15803 HAS SOUPS 15803 WITH SCORE 15828.392
AT ITER 6881 NEW BEST:: SOT 86442 SOS 25389 HAS SOPS 25389 HAS SOUS 15795 HAS SOUPS 15795 WITH SCORE 15820.389
AT ITER 6914 NEW BEST:: SOT 86440 SOS 25398 HAS SOPS 25398 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15816.398
AT ITER 7007 NEW BEST:: SOT 86437 SOS 25389 HAS SOPS 25389 HAS SOUS 15785 HAS SOUPS 15785 WITH SCORE 15810.389
AT ITER 7017 NEW BEST:: SOT 86433 SOS 25333 HAS SOPS 25333 HAS SOUS 15757 HAS SOUPS 15757 WITH SCORE 15782.333
AT ITER 7041 NEW BEST:: SOT 86425 SOS 25317 HAS SOPS 25317 HAS SOUS 15741 HAS SOUPS 15741 WITH SCORE 15766.317
AT ITER 7071 NEW BEST:: SOT 86423 SOS 25317 HAS SOPS 25317 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15762.317
AT ITER 7097 NEW BEST:: SOT 86395 SOS 25231 HAS SOPS 25231 HAS SOUS 15651 HAS SOUPS 15651 WITH SCORE 15676.231
AT ITER 7121 NEW BEST:: SOT 86384 SOS 25209 HAS SOPS 25209 HAS SOUS 15640 HAS SOUPS 15640 WITH SCORE 15665.209
AT ITER 7142 NEW BEST:: SOT 86384 SOS 25209 HAS SOPS 25209 HAS SOUS 15639 HAS SOUPS 15639 WITH SCORE 15664.209
AT ITER 7151 NEW BEST:: SOT 86388 SOS 25198 HAS SOPS 25198 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15654.198
AT ITER 7174 NEW BEST:: SOT 86388 SOS 25190 HAS SOPS 25190 HAS SOUS 15629 HAS SOUPS 15629 WITH SCORE 15654.19
AT ITER 7184 NEW BEST:: SOT 86387 SOS 25188 HAS SOPS 25188 HAS SOUS 15627 HAS SOUPS 15627 WITH SCORE 15652.188
AT ITER 7194 NEW BEST:: SOT 86386 SOS 25187 HAS SOPS 25187 HAS SOUS 15625 HAS SOUPS 15625 WITH SCORE 15650.187
AT ITER 7214 NEW BEST:: SOT 86385 SOS 25185 HAS SOPS 25185 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15648.185
AT ITER 7218 NEW BEST:: SOT 86385 SOS 25184 HAS SOPS 25184 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15647.184
AT ITER 7253 NEW BEST:: SOT 86384 SOS 25182 HAS SOPS 25182 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15638.182
AT ITER 7258 NEW BEST:: SOT 86326 SOS 25135 HAS SOPS 25135 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15591.135
AT ITER 7278 NEW BEST:: SOT 86253 SOS 25062 HAS SOPS 25062 HAS SOUS 15493 HAS SOUPS 15493 WITH SCORE 15518.062
AT ITER 7316 NEW BEST:: SOT 86252 SOS 25056 HAS SOPS 25056 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15516.056
AT ITER 7336 NEW BEST:: SOT 86250 SOS 25054 HAS SOPS 25054 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15514.054
AT ITER 7362 NEW BEST:: SOT 86247 SOS 25101 HAS SOPS 25101 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15513.101
AT ITER 7383 NEW BEST:: SOT 86247 SOS 25101 HAS SOPS 25101 HAS SOUS 15465 HAS SOUPS 15465 WITH SCORE 15490.101
AT ITER 7392 NEW BEST:: SOT 86217 SOS 25033 HAS SOPS 25033 HAS SOUS 15405 HAS SOUPS 15405 WITH SCORE 15430.033
AT ITER 7412 NEW BEST:: SOT 86214 SOS 25027 HAS SOPS 25027 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15427.027
AT ITER 7428 NEW BEST:: SOT 86192 SOS 24945 HAS SOPS 24945 HAS SOUS 15358 HAS SOUPS 15358 WITH SCORE 15382.945
AT ITER 7435 NEW BEST:: SOT 86191 SOS 24943 HAS SOPS 24943 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15380.943
AT ITER 7452 NEW BEST:: SOT 86175 SOS 24927 HAS SOPS 24927 HAS SOUS 15340 HAS SOUPS 15340 WITH SCORE 15364.927
AT ITER 7485 NEW BEST:: SOT 86175 SOS 24927 HAS SOPS 24927 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15358.927
AT ITER 7500 NEW BEST:: SOT 86161 SOS 24908 HAS SOPS 24908 HAS SOUS 15306 HAS SOUPS 15306 WITH SCORE 15330.908
AT ITER 7531 NEW BEST:: SOT 86153 SOS 24910 HAS SOPS 24910 HAS SOUS 15304 HAS SOUPS 15304 WITH SCORE 15328.91
AT ITER 7533 NEW BEST:: SOT 86147 SOS 24907 HAS SOPS 24907 HAS SOUS 15301 HAS SOUPS 15301 WITH SCORE 15325.907
AT ITER 7700 NEW BEST:: SOT 86147 SOS 24897 HAS SOPS 24897 HAS SOUS 15301 HAS SOUPS 15301 WITH SCORE 15325.897
AT ITER 7754 NEW BEST:: SOT 86141 SOS 24885 HAS SOPS 24885 HAS SOUS 15289 HAS SOUPS 15289 WITH SCORE 15313.885
AT ITER 7807 NEW BEST:: SOT 86139 SOS 24877 HAS SOPS 24877 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15308.877
AT ITER 7813 NEW BEST:: SOT 86138 SOS 24875 HAS SOPS 24875 HAS SOUS 15282 HAS SOUPS 15282 WITH SCORE 15306.875
AT ITER 7851 NEW BEST:: SOT 86176 SOS 24887 HAS SOPS 24887 HAS SOUS 15278 HAS SOUPS 15278 WITH SCORE 15302.887
AT ITER 7871 NEW BEST:: SOT 86181 SOS 24877 HAS SOPS 24877 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15292.877
AT ITER 7887 NEW BEST:: SOT 86180 SOS 24882 HAS SOPS 24882 HAS SOUS 15262 HAS SOUPS 15262 WITH SCORE 15286.882
AT ITER 7900 NEW BEST:: SOT 86176 SOS 24885 HAS SOPS 24885 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15278.885
AT ITER 7908 NEW BEST:: SOT 86176 SOS 24885 HAS SOPS 24885 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15249.885
AT ITER 7909 NEW BEST:: SOT 86169 SOS 24878 HAS SOPS 24878 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15235.878
AT ITER 7985 NEW BEST:: SOT 86160 SOS 24878 HAS SOPS 24878 HAS SOUS 15202 HAS SOUPS 15202 WITH SCORE 15226.878
AT ITER 8029 NEW BEST:: SOT 86161 SOS 24880 HAS SOPS 24880 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15225.88
AT ITER 8031 NEW BEST:: SOT 86126 SOS 24845 HAS SOPS 24845 HAS SOUS 15152 HAS SOUPS 15152 WITH SCORE 15176.845
AT ITER 8094 NEW BEST:: SOT 86123 SOS 24833 HAS SOPS 24833 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15164.833
AT ITER 8133 NEW BEST:: SOT 86110 SOS 24872 HAS SOPS 24872 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15138.872
AT ITER 8178 NEW BEST:: SOT 86104 SOS 24866 HAS SOPS 24866 HAS SOUS 15108 HAS SOUPS 15108 WITH SCORE 15132.866
AT ITER 8180 NEW BEST:: SOT 86105 SOS 24860 HAS SOPS 24860 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15128.86
AT ITER 8193 NEW BEST:: SOT 86102 SOS 24842 HAS SOPS 24842 HAS SOUS 15098 HAS SOUPS 15098 WITH SCORE 15122.842
AT ITER 8286 NEW BEST:: SOT 86093 SOS 24837 HAS SOPS 24837 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15110.837
AT ITER 8297 NEW BEST:: SOT 86088 SOS 24827 HAS SOPS 24827 HAS SOUS 15076 HAS SOUPS 15076 WITH SCORE 15100.827
AT ITER 8363 NEW BEST:: SOT 86087 SOS 24871 HAS SOPS 24871 HAS SOUS 15075 HAS SOUPS 15075 WITH SCORE 15099.871
AT ITER 8399 NEW BEST:: SOT 86087 SOS 24869 HAS SOPS 24869 HAS SOUS 15061 HAS SOUPS 15061 WITH SCORE 15085.869
AT ITER 8412 NEW BEST:: SOT 86088 SOS 24838 HAS SOPS 24838 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15079.838
AT ITER 8455 NEW BEST:: SOT 86082 SOS 24836 HAS SOPS 24836 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15077.836
AT ITER 8487 NEW BEST:: SOT 86081 SOS 24833 HAS SOPS 24833 HAS SOUS 15051 HAS SOUPS 15051 WITH SCORE 15075.833
AT ITER 8492 NEW BEST:: SOT 86078 SOS 24817 HAS SOPS 24817 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15069.817
AT ITER 8493 NEW BEST:: SOT 86077 SOS 24807 HAS SOPS 24807 HAS SOUS 15036 HAS SOUPS 15036 WITH SCORE 15060.807
AT ITER 8522 NEW BEST:: SOT 86076 SOS 24805 HAS SOPS 24805 HAS SOUS 15036 HAS SOUPS 15036 WITH SCORE 15060.805
AT ITER 8615 NEW BEST:: SOT 86076 SOS 24708 HAS SOPS 24708 HAS SOUS 15036 HAS SOUPS 15036 WITH SCORE 15060.708
AT ITER 8626 NEW BEST:: SOT 86060 SOS 24702 HAS SOPS 24702 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15054.702
AT ITER 8742 NEW BEST:: SOT 86060 SOS 24682 HAS SOPS 24682 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15054.682
AT ITER 8800 NEW BEST:: SOT 86060 SOS 24682 HAS SOPS 24682 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15025.682
AT ITER 8802 NEW BEST:: SOT 86052 SOS 24666 HAS SOPS 24666 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15009.666
AT ITER 8827 NEW BEST:: SOT 86045 SOS 24644 HAS SOPS 24644 HAS SOUS 14956 HAS SOUPS 14956 WITH SCORE 14980.644
AT ITER 8853 NEW BEST:: SOT 86041 SOS 24635 HAS SOPS 24635 HAS SOUS 14937 HAS SOUPS 14937 WITH SCORE 14961.635
AT ITER 8939 NEW BEST:: SOT 86035 SOS 24623 HAS SOPS 24623 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14955.623
AT ITER 8986 NEW BEST:: SOT 86035 SOS 24621 HAS SOPS 24621 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14955.621
AT ITER 9030 NEW BEST:: SOT 86028 SOS 24614 HAS SOPS 24614 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14948.614
AT ITER 9045 NEW BEST:: SOT 86001 SOS 24555 HAS SOPS 24555 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14894.555
AT ITER 9101 NEW BEST:: SOT 85991 SOS 24559 HAS SOPS 24559 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14884.559
AT ITER 9202 NEW BEST:: SOT 85985 SOS 24547 HAS SOPS 24547 HAS SOUS 14840 HAS SOUPS 14840 WITH SCORE 14864.547
AT ITER 9265 NEW BEST:: SOT 85975 SOS 24527 HAS SOPS 24527 HAS SOUS 14820 HAS SOUPS 14820 WITH SCORE 14844.527
AT ITER 9296 NEW BEST:: SOT 85968 SOS 24513 HAS SOPS 24513 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14830.513
AT ITER 9316 NEW BEST:: SOT 85965 SOS 24507 HAS SOPS 24507 HAS SOUS 14800 HAS SOUPS 14800 WITH SCORE 14824.507
AT ITER 9317 NEW BEST:: SOT 85960 SOS 24445 HAS SOPS 24445 HAS SOUS 14775 HAS SOUPS 14775 WITH SCORE 14799.445
AT ITER 9347 NEW BEST:: SOT 85949 SOS 24423 HAS SOPS 24423 HAS SOUS 14753 HAS SOUPS 14753 WITH SCORE 14777.423
AT ITER 9413 NEW BEST:: SOT 85954 SOS 24413 HAS SOPS 24413 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14771.413
AT ITER 9477 NEW BEST:: SOT 85954 SOS 24413 HAS SOPS 24413 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14768.413
AT ITER 9548 NEW BEST:: SOT 85923 SOS 24369 HAS SOPS 24369 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14724.369
AT ITER 9732 NEW BEST:: SOT 85945 SOS 24404 HAS SOPS 24404 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14723.404
AT ITER 9743 NEW BEST:: SOT 85945 SOS 24399 HAS SOPS 24399 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14723.399
AT ITER 9833 NEW BEST:: SOT 85944 SOS 24386 HAS SOPS 24386 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14712.386
AT ITER 9863 NEW BEST:: SOT 85935 SOS 24378 HAS SOPS 24378 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14703.378
AT ITER 9868 NEW BEST:: SOT 85942 SOS 24367 HAS SOPS 24367 HAS SOUS 14675 HAS SOUPS 14675 WITH SCORE 14699.367
AT ITER 9985 NEW BEST:: SOT 85937 SOS 24361 HAS SOPS 24361 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14693.361

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# 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 DiscoveryGPU-PT-13b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807900712"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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