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.r123-tajo-158961354700416.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 PolyORBLF-PT-S02J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.5K Apr 12 05:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 05:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Apr 11 04:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Apr 11 04:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.9K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 30K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Apr 10 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Apr 9 17:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 9 17:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.5K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 862K 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 1589642537058

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

Filename model.pnml
Petri model created: 476 places, 920 transitions, 4242 arcs.
AT ITER 0 NEW BEST:: SOT 268758 SOS 143287 HAS SOPS 140459 HAS SOUS 85093 HAS SOUPS 84758 WITH SCORE 84901.287
AT ITER 2 NEW BEST:: SOT 268578 SOS 143107 HAS SOPS 140279 HAS SOUS 84938 HAS SOUPS 84603 WITH SCORE 84746.107
AT ITER 3 NEW BEST:: SOT 263515 SOS 139134 HAS SOPS 136306 HAS SOUS 83070 HAS SOUPS 82735 WITH SCORE 82874.134
AT ITER 8 NEW BEST:: SOT 263267 SOS 138927 HAS SOPS 136099 HAS SOUS 82816 HAS SOUPS 82481 WITH SCORE 82619.927
AT ITER 11 NEW BEST:: SOT 263231 SOS 139031 HAS SOPS 136219 HAS SOUS 82796 HAS SOUPS 82461 WITH SCORE 82600.031
AT ITER 14 NEW BEST:: SOT 263195 SOS 138995 HAS SOPS 136183 HAS SOUS 82752 HAS SOUPS 82417 WITH SCORE 82555.995
AT ITER 15 NEW BEST:: SOT 260703 SOS 136595 HAS SOPS 133783 HAS SOUS 81776 HAS SOUPS 81441 WITH SCORE 81577.595
AT ITER 28 NEW BEST:: SOT 260687 SOS 136563 HAS SOPS 133751 HAS SOUS 81746 HAS SOUPS 81411 WITH SCORE 81547.563
AT ITER 41 NEW BEST:: SOT 260610 SOS 136670 HAS SOPS 133877 HAS SOUS 81723 HAS SOUPS 81388 WITH SCORE 81524.67
AT ITER 42 NEW BEST:: SOT 260613 SOS 136622 HAS SOPS 133829 HAS SOUS 81714 HAS SOUPS 81379 WITH SCORE 81515.622
AT ITER 44 NEW BEST:: SOT 260568 SOS 136611 HAS SOPS 133818 HAS SOUS 81650 HAS SOUPS 81315 WITH SCORE 81451.611
AT ITER 51 NEW BEST:: SOT 260568 SOS 136564 HAS SOPS 133771 HAS SOUS 81650 HAS SOUPS 81315 WITH SCORE 81451.564
AT ITER 55 NEW BEST:: SOT 260568 SOS 136541 HAS SOPS 133748 HAS SOUS 81627 HAS SOUPS 81292 WITH SCORE 81428.541
AT ITER 57 NEW BEST:: SOT 260394 SOS 136367 HAS SOPS 133574 HAS SOUS 81526 HAS SOUPS 81191 WITH SCORE 81327.367
AT ITER 59 NEW BEST:: SOT 260335 SOS 136313 HAS SOPS 133520 HAS SOUS 81504 HAS SOUPS 81169 WITH SCORE 81305.313
AT ITER 60 NEW BEST:: SOT 260150 SOS 135931 HAS SOPS 133138 HAS SOUS 81196 HAS SOUPS 80861 WITH SCORE 80996.931
AT ITER 68 NEW BEST:: SOT 258248 SOS 134097 HAS SOPS 131304 HAS SOUS 80450 HAS SOUPS 80115 WITH SCORE 80249.097
AT ITER 69 NEW BEST:: SOT 258247 SOS 134096 HAS SOPS 131303 HAS SOUS 80447 HAS SOUPS 80112 WITH SCORE 80246.096
AT ITER 70 NEW BEST:: SOT 259202 SOS 152614 HAS SOPS 151618 HAS SOUS 79165 HAS SOUPS 78966 WITH SCORE 79118.614
AT ITER 74 NEW BEST:: SOT 259106 SOS 152519 HAS SOPS 151523 HAS SOUS 78973 HAS SOUPS 78774 WITH SCORE 78926.519
AT ITER 76 NEW BEST:: SOT 259014 SOS 152427 HAS SOPS 151431 HAS SOUS 78082 HAS SOUPS 77883 WITH SCORE 78035.427
AT ITER 86 NEW BEST:: SOT 258984 SOS 152143 HAS SOPS 151147 HAS SOUS 78078 HAS SOUPS 77879 WITH SCORE 78031.143
AT ITER 92 NEW BEST:: SOT 258984 SOS 151999 HAS SOPS 151003 HAS SOUS 78078 HAS SOUPS 77879 WITH SCORE 78030.999
AT ITER 95 NEW BEST:: SOT 258961 SOS 151976 HAS SOPS 150980 HAS SOUS 78032 HAS SOUPS 77833 WITH SCORE 77984.976
AT ITER 100 NEW BEST:: SOT 258193 SOS 151207 HAS SOPS 150188 HAS SOUS 77263 HAS SOUPS 77041 WITH SCORE 77192.207
AT ITER 123 NEW BEST:: SOT 258161 SOS 151183 HAS SOPS 150164 HAS SOUS 77239 HAS SOUPS 77017 WITH SCORE 77168.183
AT ITER 125 NEW BEST:: SOT 258228 SOS 151535 HAS SOPS 150516 HAS SOUS 76888 HAS SOUPS 76666 WITH SCORE 76817.535
AT ITER 128 NEW BEST:: SOT 257934 SOS 151358 HAS SOPS 150339 HAS SOUS 76841 HAS SOUPS 76619 WITH SCORE 76770.358
AT ITER 142 NEW BEST:: SOT 257897 SOS 151247 HAS SOPS 150228 HAS SOUS 76757 HAS SOUPS 76535 WITH SCORE 76686.247
AT ITER 175 NEW BEST:: SOT 257954 SOS 151155 HAS SOPS 150136 HAS SOUS 76689 HAS SOUPS 76467 WITH SCORE 76618.155
AT ITER 176 NEW BEST:: SOT 257635 SOS 150916 HAS SOPS 149897 HAS SOUS 76430 HAS SOUPS 76208 WITH SCORE 76358.916
AT ITER 181 NEW BEST:: SOT 257547 SOS 150739 HAS SOPS 149720 HAS SOUS 76377 HAS SOUPS 76155 WITH SCORE 76305.739
AT ITER 189 NEW BEST:: SOT 257464 SOS 150897 HAS SOPS 149895 HAS SOUS 76365 HAS SOUPS 76143 WITH SCORE 76293.897
AT ITER 191 NEW BEST:: SOT 257419 SOS 150671 HAS SOPS 149627 HAS SOUS 76359 HAS SOUPS 76137 WITH SCORE 76287.671
AT ITER 194 NEW BEST:: SOT 257419 SOS 150657 HAS SOPS 149613 HAS SOUS 76359 HAS SOUPS 76137 WITH SCORE 76287.657
AT ITER 195 NEW BEST:: SOT 257397 SOS 150601 HAS SOPS 149557 HAS SOUS 76303 HAS SOUPS 76081 WITH SCORE 76231.601
AT ITER 207 NEW BEST:: SOT 257015 SOS 150219 HAS SOPS 149175 HAS SOUS 76142 HAS SOUPS 75920 WITH SCORE 76070.219
AT ITER 218 NEW BEST:: SOT 258141 SOS 151473 HAS SOPS 150429 HAS SOUS 75642 HAS SOUPS 75420 WITH SCORE 75571.473
AT ITER 220 NEW BEST:: SOT 258323 SOS 151655 HAS SOPS 150611 HAS SOUS 75433 HAS SOUPS 75211 WITH SCORE 75362.655
AT ITER 221 NEW BEST:: SOT 258317 SOS 151649 HAS SOPS 150605 HAS SOUS 75427 HAS SOUPS 75205 WITH SCORE 75356.649
AT ITER 229 NEW BEST:: SOT 258185 SOS 151517 HAS SOPS 150473 HAS SOUS 74613 HAS SOUPS 74391 WITH SCORE 74542.517
AT ITER 238 NEW BEST:: SOT 258059 SOS 151297 HAS SOPS 150253 HAS SOUS 74450 HAS SOUPS 74228 WITH SCORE 74379.297
AT ITER 240 NEW BEST:: SOT 257991 SOS 151128 HAS SOPS 150084 HAS SOUS 74403 HAS SOUPS 74181 WITH SCORE 74332.128
AT ITER 252 NEW BEST:: SOT 257930 SOS 151005 HAS SOPS 149955 HAS SOUS 74281 HAS SOUPS 74059 WITH SCORE 74210.005
AT ITER 272 NEW BEST:: SOT 258032 SOS 151194 HAS SOPS 150144 HAS SOUS 73813 HAS SOUPS 73591 WITH SCORE 73742.194
AT ITER 277 NEW BEST:: SOT 257936 SOS 151130 HAS SOPS 150080 HAS SOUS 73519 HAS SOUPS 73297 WITH SCORE 73448.13
AT ITER 287 NEW BEST:: SOT 256580 SOS 149422 HAS SOPS 148372 HAS SOUS 72428 HAS SOUPS 72206 WITH SCORE 72355.422
AT ITER 289 NEW BEST:: SOT 256580 SOS 149420 HAS SOPS 148370 HAS SOUS 72426 HAS SOUPS 72204 WITH SCORE 72353.42
AT ITER 292 NEW BEST:: SOT 256174 SOS 149008 HAS SOPS 147958 HAS SOUS 72244 HAS SOUPS 72022 WITH SCORE 72171.008
AT ITER 312 NEW BEST:: SOT 256361 SOS 149425 HAS SOPS 148375 HAS SOUS 70873 HAS SOUPS 70651 WITH SCORE 70800.425
AT ITER 332 NEW BEST:: SOT 256360 SOS 149377 HAS SOPS 148327 HAS SOUS 70824 HAS SOUPS 70602 WITH SCORE 70751.377
AT ITER 339 NEW BEST:: SOT 256360 SOS 149377 HAS SOPS 148327 HAS SOUS 70486 HAS SOUPS 70264 WITH SCORE 70413.377
AT ITER 346 NEW BEST:: SOT 256299 SOS 149316 HAS SOPS 148266 HAS SOUS 70391 HAS SOUPS 70169 WITH SCORE 70318.316
AT ITER 367 NEW BEST:: SOT 256299 SOS 149308 HAS SOPS 148258 HAS SOUS 70383 HAS SOUPS 70161 WITH SCORE 70310.308
AT ITER 381 NEW BEST:: SOT 256309 SOS 149187 HAS SOPS 148137 HAS SOUS 70311 HAS SOUPS 70089 WITH SCORE 70238.187
AT ITER 385 NEW BEST:: SOT 256003 SOS 148920 HAS SOPS 147870 HAS SOUS 69987 HAS SOUPS 69765 WITH SCORE 69913.92
AT ITER 390 NEW BEST:: SOT 254929 SOS 147901 HAS SOPS 146851 HAS SOUS 68963 HAS SOUPS 68741 WITH SCORE 68888.901
AT ITER 391 NEW BEST:: SOT 254831 SOS 147796 HAS SOPS 146739 HAS SOUS 68748 HAS SOUPS 68526 WITH SCORE 68673.796
AT ITER 398 NEW BEST:: SOT 254831 SOS 150610 HAS SOPS 149553 HAS SOUS 68578 HAS SOUPS 68356 WITH SCORE 68506.61
AT ITER 399 NEW BEST:: SOT 254773 SOS 150552 HAS SOPS 149495 HAS SOUS 68552 HAS SOUPS 68330 WITH SCORE 68480.552
AT ITER 410 NEW BEST:: SOT 254750 SOS 150529 HAS SOPS 149472 HAS SOUS 68376 HAS SOUPS 68154 WITH SCORE 68304.529
AT ITER 415 NEW BEST:: SOT 254744 SOS 150523 HAS SOPS 149466 HAS SOUS 68364 HAS SOUPS 68142 WITH SCORE 68292.523
AT ITER 435 NEW BEST:: SOT 254228 SOS 149990 HAS SOPS 148933 HAS SOUS 67908 HAS SOUPS 67686 WITH SCORE 67835.99
AT ITER 447 NEW BEST:: SOT 253928 SOS 149690 HAS SOPS 148633 HAS SOUS 67657 HAS SOUPS 67435 WITH SCORE 67584.69
AT ITER 448 NEW BEST:: SOT 253928 SOS 149558 HAS SOPS 148501 HAS SOUS 67657 HAS SOUPS 67435 WITH SCORE 67584.558
AT ITER 449 NEW BEST:: SOT 252495 SOS 147694 HAS SOPS 146637 HAS SOUS 66467 HAS SOUPS 66245 WITH SCORE 66392.694
AT ITER 453 NEW BEST:: SOT 252507 SOS 147587 HAS SOPS 146530 HAS SOUS 66389 HAS SOUPS 66167 WITH SCORE 66314.587
AT ITER 461 NEW BEST:: SOT 251310 SOS 147445 HAS SOPS 145303 HAS SOUS 65386 HAS SOUPS 64940 WITH SCORE 65087.445
AT ITER 469 NEW BEST:: SOT 251308 SOS 147457 HAS SOPS 145315 HAS SOUS 65382 HAS SOUPS 64936 WITH SCORE 65083.457
AT ITER 498 NEW BEST:: SOT 251462 SOS 147655 HAS SOPS 145557 HAS SOUS 65286 HAS SOUPS 64840 WITH SCORE 64987.655
AT ITER 513 NEW BEST:: SOT 251418 SOS 147647 HAS SOPS 145549 HAS SOUS 65286 HAS SOUPS 64840 WITH SCORE 64987.647
AT ITER 519 NEW BEST:: SOT 251190 SOS 147419 HAS SOPS 145321 HAS SOUS 65058 HAS SOUPS 64612 WITH SCORE 64759.419
AT ITER 520 NEW BEST:: SOT 251117 SOS 147273 HAS SOPS 145175 HAS SOUS 65026 HAS SOUPS 64580 WITH SCORE 64727.273
AT ITER 528 NEW BEST:: SOT 251110 SOS 147243 HAS SOPS 145145 HAS SOUS 64996 HAS SOUPS 64550 WITH SCORE 64697.243
AT ITER 533 NEW BEST:: SOT 251050 SOS 147183 HAS SOPS 145085 HAS SOUS 64891 HAS SOUPS 64445 WITH SCORE 64592.183
AT ITER 540 NEW BEST:: SOT 250918 SOS 146907 HAS SOPS 144809 HAS SOUS 64615 HAS SOUPS 64169 WITH SCORE 64315.907
AT ITER 548 NEW BEST:: SOT 250774 SOS 141957 HAS SOPS 139859 HAS SOUS 64435 HAS SOUPS 63989 WITH SCORE 64130.957
AT ITER 559 NEW BEST:: SOT 250816 SOS 141943 HAS SOPS 139740 HAS SOUS 64411 HAS SOUPS 63965 WITH SCORE 64106.943
AT ITER 568 NEW BEST:: SOT 250815 SOS 141943 HAS SOPS 139738 HAS SOUS 64410 HAS SOUPS 63963 WITH SCORE 64104.943
AT ITER 580 NEW BEST:: SOT 250794 SOS 141929 HAS SOPS 139724 HAS SOUS 64368 HAS SOUPS 63921 WITH SCORE 64062.929
AT ITER 581 NEW BEST:: SOT 250682 SOS 141729 HAS SOPS 139517 HAS SOUS 64275 HAS SOUPS 63828 WITH SCORE 63969.729
AT ITER 582 NEW BEST:: SOT 245437 SOS 136374 HAS SOPS 134162 HAS SOUS 61672 HAS SOUPS 61225 WITH SCORE 61361.374
AT ITER 594 NEW BEST:: SOT 244978 SOS 135915 HAS SOPS 133703 HAS SOUS 61502 HAS SOUPS 61055 WITH SCORE 61190.915
AT ITER 601 NEW BEST:: SOT 243671 SOS 134080 HAS SOPS 132396 HAS SOUS 60177 HAS SOUPS 59818 WITH SCORE 59952.08
AT ITER 603 NEW BEST:: SOT 243687 SOS 134100 HAS SOPS 132416 HAS SOUS 60161 HAS SOUPS 59802 WITH SCORE 59936.1
AT ITER 613 NEW BEST:: SOT 243646 SOS 129453 HAS SOPS 127769 HAS SOUS 60075 HAS SOUPS 59716 WITH SCORE 59845.453
AT ITER 616 NEW BEST:: SOT 243646 SOS 129461 HAS SOPS 127777 HAS SOUS 60059 HAS SOUPS 59700 WITH SCORE 59829.461
AT ITER 619 NEW BEST:: SOT 244154 SOS 129947 HAS SOPS 128263 HAS SOUS 59995 HAS SOUPS 59636 WITH SCORE 59765.947
AT ITER 620 NEW BEST:: SOT 244227 SOS 130020 HAS SOPS 128336 HAS SOUS 59822 HAS SOUPS 59463 WITH SCORE 59593.02
AT ITER 633 NEW BEST:: SOT 244227 SOS 130020 HAS SOPS 128336 HAS SOUS 59786 HAS SOUPS 59427 WITH SCORE 59557.02
AT ITER 645 NEW BEST:: SOT 244218 SOS 129890 HAS SOPS 128206 HAS SOUS 59714 HAS SOUPS 59355 WITH SCORE 59484.89
AT ITER 648 NEW BEST:: SOT 244218 SOS 129605 HAS SOPS 127921 HAS SOUS 59714 HAS SOUPS 59355 WITH SCORE 59484.605
AT ITER 651 NEW BEST:: SOT 244171 SOS 130198 HAS SOPS 128322 HAS SOUS 59755 HAS SOUPS 59348 WITH SCORE 59478.198
AT ITER 652 NEW BEST:: SOT 243947 SOS 130021 HAS SOPS 128145 HAS SOUS 59516 HAS SOUPS 59109 WITH SCORE 59239.021
AT ITER 655 NEW BEST:: SOT 243907 SOS 129981 HAS SOPS 128105 HAS SOUS 59498 HAS SOUPS 59091 WITH SCORE 59220.981
AT ITER 660 NEW BEST:: SOT 243863 SOS 129959 HAS SOPS 128083 HAS SOUS 59481 HAS SOUPS 59074 WITH SCORE 59203.959
AT ITER 665 NEW BEST:: SOT 243815 SOS 129908 HAS SOPS 128032 HAS SOUS 59421 HAS SOUPS 59014 WITH SCORE 59143.908
AT ITER 670 NEW BEST:: SOT 243815 SOS 129908 HAS SOPS 128032 HAS SOUS 59406 HAS SOUPS 58999 WITH SCORE 59128.908
AT ITER 674 NEW BEST:: SOT 243805 SOS 129908 HAS SOPS 128032 HAS SOUS 59371 HAS SOUPS 58964 WITH SCORE 59093.908
AT ITER 694 NEW BEST:: SOT 243622 SOS 129797 HAS SOPS 127921 HAS SOUS 59197 HAS SOUPS 58790 WITH SCORE 58919.797
AT ITER 698 NEW BEST:: SOT 243622 SOS 129828 HAS SOPS 127952 HAS SOUS 59143 HAS SOUPS 58736 WITH SCORE 58865.828
AT ITER 707 NEW BEST:: SOT 243642 SOS 129837 HAS SOPS 127961 HAS SOUS 59132 HAS SOUPS 58725 WITH SCORE 58854.837
AT ITER 708 NEW BEST:: SOT 243521 SOS 129747 HAS SOPS 127871 HAS SOUS 59041 HAS SOUPS 58634 WITH SCORE 58763.747
AT ITER 720 NEW BEST:: SOT 243552 SOS 129708 HAS SOPS 127832 HAS SOUS 59002 HAS SOUPS 58595 WITH SCORE 58724.708
AT ITER 742 NEW BEST:: SOT 243480 SOS 129630 HAS SOPS 127754 HAS SOUS 58930 HAS SOUPS 58523 WITH SCORE 58652.63
AT ITER 752 NEW BEST:: SOT 243466 SOS 129610 HAS SOPS 127725 HAS SOUS 58901 HAS SOUPS 58494 WITH SCORE 58623.61
AT ITER 757 NEW BEST:: SOT 243394 SOS 129403 HAS SOPS 127518 HAS SOUS 58757 HAS SOUPS 58350 WITH SCORE 58479.403
AT ITER 769 NEW BEST:: SOT 243394 SOS 129246 HAS SOPS 127361 HAS SOUS 58757 HAS SOUPS 58350 WITH SCORE 58479.246
AT ITER 779 NEW BEST:: SOT 242838 SOS 128690 HAS SOPS 126805 HAS SOUS 58605 HAS SOUPS 58198 WITH SCORE 58326.69
AT ITER 785 NEW BEST:: SOT 242788 SOS 128640 HAS SOPS 126755 HAS SOUS 58576 HAS SOUPS 58169 WITH SCORE 58297.64
AT ITER 798 NEW BEST:: SOT 242776 SOS 128628 HAS SOPS 126731 HAS SOUS 58564 HAS SOUPS 58156 WITH SCORE 58284.628
AT ITER 819 NEW BEST:: SOT 242771 SOS 128623 HAS SOPS 126726 HAS SOUS 58559 HAS SOUPS 58151 WITH SCORE 58279.623
AT ITER 822 NEW BEST:: SOT 242759 SOS 128611 HAS SOPS 126714 HAS SOUS 58535 HAS SOUPS 58127 WITH SCORE 58255.611
AT ITER 823 NEW BEST:: SOT 243066 SOS 122607 HAS SOPS 119217 HAS SOUS 58651 HAS SOUPS 58108 WITH SCORE 58230.607
AT ITER 830 NEW BEST:: SOT 243046 SOS 122684 HAS SOPS 119294 HAS SOUS 58559 HAS SOUPS 58016 WITH SCORE 58138.684
AT ITER 839 NEW BEST:: SOT 243295 SOS 122879 HAS SOPS 119489 HAS SOUS 58487 HAS SOUPS 57944 WITH SCORE 58066.879
AT ITER 845 NEW BEST:: SOT 243295 SOS 122875 HAS SOPS 119485 HAS SOUS 58487 HAS SOUPS 57944 WITH SCORE 58066.875
AT ITER 868 NEW BEST:: SOT 243233 SOS 122813 HAS SOPS 119423 HAS SOUS 58408 HAS SOUPS 57865 WITH SCORE 57987.813
AT ITER 874 NEW BEST:: SOT 243233 SOS 122805 HAS SOPS 119415 HAS SOUS 58400 HAS SOUPS 57857 WITH SCORE 57979.805
AT ITER 885 NEW BEST:: SOT 243020 SOS 122640 HAS SOPS 119250 HAS SOUS 58173 HAS SOUPS 57630 WITH SCORE 57752.64
AT ITER 888 NEW BEST:: SOT 242992 SOS 122606 HAS SOPS 119216 HAS SOUS 58117 HAS SOUPS 57574 WITH SCORE 57696.606
AT ITER 904 NEW BEST:: SOT 242942 SOS 122526 HAS SOPS 119136 HAS SOUS 58077 HAS SOUPS 57534 WITH SCORE 57656.526
AT ITER 913 NEW BEST:: SOT 242930 SOS 122514 HAS SOPS 119124 HAS SOUS 58065 HAS SOUPS 57522 WITH SCORE 57644.514
AT ITER 914 NEW BEST:: SOT 242930 SOS 122512 HAS SOPS 119122 HAS SOUS 58065 HAS SOUPS 57522 WITH SCORE 57644.512
AT ITER 973 NEW BEST:: SOT 242930 SOS 122473 HAS SOPS 119074 HAS SOUS 57961 HAS SOUPS 57418 WITH SCORE 57540.473
AT ITER 975 NEW BEST:: SOT 242942 SOS 122455 HAS SOPS 119056 HAS SOUS 57936 HAS SOUPS 57393 WITH SCORE 57515.455
AT ITER 990 NEW BEST:: SOT 242795 SOS 122210 HAS SOPS 118811 HAS SOUS 57805 HAS SOUPS 57262 WITH SCORE 57384.21
AT ITER 991 NEW BEST:: SOT 242711 SOS 122126 HAS SOPS 118727 HAS SOUS 57643 HAS SOUPS 57100 WITH SCORE 57222.126
AT ITER 1009 NEW BEST:: SOT 242681 SOS 122061 HAS SOPS 118662 HAS SOUS 57158 HAS SOUPS 56615 WITH SCORE 56737.061
AT ITER 1019 NEW BEST:: SOT 242556 SOS 121936 HAS SOPS 118537 HAS SOUS 57033 HAS SOUPS 56490 WITH SCORE 56611.936
AT ITER 1043 NEW BEST:: SOT 242544 SOS 121870 HAS SOPS 118471 HAS SOUS 57009 HAS SOUPS 56466 WITH SCORE 56587.87
AT ITER 1046 NEW BEST:: SOT 241630 SOS 120941 HAS SOPS 117542 HAS SOUS 56576 HAS SOUPS 56033 WITH SCORE 56153.941
AT ITER 1051 NEW BEST:: SOT 241649 SOS 120960 HAS SOPS 117561 HAS SOUS 56506 HAS SOUPS 55963 WITH SCORE 56083.96
AT ITER 1052 NEW BEST:: SOT 241649 SOS 120960 HAS SOPS 117556 HAS SOUS 56491 HAS SOUPS 55948 WITH SCORE 56068.96
AT ITER 1054 NEW BEST:: SOT 241586 SOS 120897 HAS SOPS 117493 HAS SOUS 56398 HAS SOUPS 55855 WITH SCORE 55975.897
AT ITER 1056 NEW BEST:: SOT 241622 SOS 120983 HAS SOPS 117578 HAS SOUS 56368 HAS SOUPS 55825 WITH SCORE 55945.983
AT ITER 1069 NEW BEST:: SOT 241541 SOS 120874 HAS SOPS 117469 HAS SOUS 56262 HAS SOUPS 55719 WITH SCORE 55839.874
AT ITER 1074 NEW BEST:: SOT 241531 SOS 120864 HAS SOPS 117445 HAS SOUS 56231 HAS SOUPS 55678 WITH SCORE 55798.864
AT ITER 1086 NEW BEST:: SOT 241541 SOS 120874 HAS SOPS 117549 HAS SOUS 56213 HAS SOUPS 55660 WITH SCORE 55780.874
AT ITER 1099 NEW BEST:: SOT 241536 SOS 120869 HAS SOPS 117544 HAS SOUS 56208 HAS SOUPS 55655 WITH SCORE 55775.869
AT ITER 1117 NEW BEST:: SOT 241346 SOS 120547 HAS SOPS 117222 HAS SOUS 55894 HAS SOUPS 55341 WITH SCORE 55461.547
AT ITER 1121 NEW BEST:: SOT 241242 SOS 120417 HAS SOPS 117092 HAS SOUS 55764 HAS SOUPS 55211 WITH SCORE 55331.417
AT ITER 1134 NEW BEST:: SOT 242213 SOS 121624 HAS SOPS 118299 HAS SOUS 55466 HAS SOUPS 54913 WITH SCORE 55034.624
AT ITER 1137 NEW BEST:: SOT 242198 SOS 121609 HAS SOPS 118284 HAS SOUS 55436 HAS SOUPS 54883 WITH SCORE 55004.609
AT ITER 1180 NEW BEST:: SOT 242198 SOS 121609 HAS SOPS 118284 HAS SOUS 55446 HAS SOUPS 54869 WITH SCORE 54990.609
AT ITER 1181 NEW BEST:: SOT 242119 SOS 121530 HAS SOPS 118199 HAS SOUS 55441 HAS SOUPS 54860 WITH SCORE 54981.53
AT ITER 1187 NEW BEST:: SOT 242107 SOS 121518 HAS SOPS 118187 HAS SOUS 55429 HAS SOUPS 54848 WITH SCORE 54969.518
AT ITER 1193 NEW BEST:: SOT 242107 SOS 121388 HAS SOPS 117992 HAS SOUS 55429 HAS SOUPS 54848 WITH SCORE 54969.388
AT ITER 1207 NEW BEST:: SOT 242137 SOS 121407 HAS SOPS 118011 HAS SOUS 55404 HAS SOUPS 54823 WITH SCORE 54944.407
AT ITER 1251 NEW BEST:: SOT 242136 SOS 121405 HAS SOPS 118009 HAS SOUS 55402 HAS SOUPS 54821 WITH SCORE 54942.405
AT ITER 1252 NEW BEST:: SOT 242136 SOS 121394 HAS SOPS 117998 HAS SOUS 55391 HAS SOUPS 54810 WITH SCORE 54931.394
AT ITER 1253 NEW BEST:: SOT 242134 SOS 121392 HAS SOPS 117996 HAS SOUS 55389 HAS SOUPS 54808 WITH SCORE 54929.392
AT ITER 1258 NEW BEST:: SOT 241995 SOS 121213 HAS SOPS 117817 HAS SOUS 55389 HAS SOUPS 54808 WITH SCORE 54929.213
AT ITER 1261 NEW BEST:: SOT 241952 SOS 121277 HAS SOPS 117839 HAS SOUS 55369 HAS SOUPS 54788 WITH SCORE 54909.277
AT ITER 1279 NEW BEST:: SOT 241952 SOS 121289 HAS SOPS 117851 HAS SOUS 55366 HAS SOUPS 54785 WITH SCORE 54906.289
AT ITER 1287 NEW BEST:: SOT 241934 SOS 121271 HAS SOPS 117833 HAS SOUS 55321 HAS SOUPS 54740 WITH SCORE 54861.271
AT ITER 1293 NEW BEST:: SOT 241934 SOS 122163 HAS SOPS 118347 HAS SOUS 55378 HAS SOUPS 54734 WITH SCORE 54856.163
AT ITER 1332 NEW BEST:: SOT 241810 SOS 122066 HAS SOPS 118250 HAS SOUS 55323 HAS SOUPS 54679 WITH SCORE 54801.066
AT ITER 1334 NEW BEST:: SOT 241750 SOS 121985 HAS SOPS 118169 HAS SOUS 55287 HAS SOUPS 54643 WITH SCORE 54764.985
AT ITER 1349 NEW BEST:: SOT 241753 SOS 121980 HAS SOPS 118171 HAS SOUS 55278 HAS SOUPS 54634 WITH SCORE 54755.98
AT ITER 1365 NEW BEST:: SOT 241725 SOS 121952 HAS SOPS 118143 HAS SOUS 55250 HAS SOUPS 54606 WITH SCORE 54727.952
AT ITER 1366 NEW BEST:: SOT 241725 SOS 121952 HAS SOPS 118143 HAS SOUS 55218 HAS SOUPS 54574 WITH SCORE 54695.952
AT ITER 1372 NEW BEST:: SOT 241743 SOS 121970 HAS SOPS 118161 HAS SOUS 55190 HAS SOUPS 54546 WITH SCORE 54667.97
AT ITER 1375 NEW BEST:: SOT 241743 SOS 121959 HAS SOPS 118114 HAS SOUS 55190 HAS SOUPS 54546 WITH SCORE 54667.959
AT ITER 1385 NEW BEST:: SOT 241739 SOS 121955 HAS SOPS 118110 HAS SOUS 55182 HAS SOUPS 54538 WITH SCORE 54659.955
AT ITER 1393 NEW BEST:: SOT 241712 SOS 121905 HAS SOPS 118060 HAS SOUS 55144 HAS SOUPS 54500 WITH SCORE 54621.905
AT ITER 1401 NEW BEST:: SOT 241588 SOS 121781 HAS SOPS 117936 HAS SOUS 55013 HAS SOUPS 54369 WITH SCORE 54490.781
AT ITER 1407 NEW BEST:: SOT 241495 SOS 121664 HAS SOPS 117819 HAS SOUS 54827 HAS SOUPS 54183 WITH SCORE 54304.664
AT ITER 1408 NEW BEST:: SOT 241496 SOS 121590 HAS SOPS 117669 HAS SOUS 54753 HAS SOUPS 54109 WITH SCORE 54230.59
AT ITER 1411 NEW BEST:: SOT 241491 SOS 121585 HAS SOPS 117664 HAS SOUS 54748 HAS SOUPS 54104 WITH SCORE 54225.585
AT ITER 1415 NEW BEST:: SOT 241362 SOS 121472 HAS SOPS 117551 HAS SOUS 54676 HAS SOUPS 54032 WITH SCORE 54153.472
AT ITER 1417 NEW BEST:: SOT 241341 SOS 121430 HAS SOPS 117509 HAS SOUS 54595 HAS SOUPS 53951 WITH SCORE 54072.43
AT ITER 1422 NEW BEST:: SOT 241323 SOS 121394 HAS SOPS 117473 HAS SOUS 54550 HAS SOUPS 53906 WITH SCORE 54027.394
AT ITER 1423 NEW BEST:: SOT 241252 SOS 121427 HAS SOPS 117543 HAS SOUS 54546 HAS SOUPS 53902 WITH SCORE 54023.427
AT ITER 1432 NEW BEST:: SOT 241222 SOS 121377 HAS SOPS 117493 HAS SOUS 54496 HAS SOUPS 53852 WITH SCORE 53973.377
AT ITER 1441 NEW BEST:: SOT 241219 SOS 121371 HAS SOPS 117493 HAS SOUS 54490 HAS SOUPS 53846 WITH SCORE 53967.371
AT ITER 1450 NEW BEST:: SOT 241138 SOS 121275 HAS SOPS 117397 HAS SOUS 54394 HAS SOUPS 53750 WITH SCORE 53871.275
AT ITER 1459 NEW BEST:: SOT 241138 SOS 121275 HAS SOPS 117397 HAS SOUS 54392 HAS SOUPS 53748 WITH SCORE 53869.275
AT ITER 1460 NEW BEST:: SOT 241092 SOS 121384 HAS SOPS 117506 HAS SOUS 54291 HAS SOUPS 53647 WITH SCORE 53768.384
AT ITER 1515 NEW BEST:: SOT 241086 SOS 121372 HAS SOPS 117494 HAS SOUS 54279 HAS SOUPS 53635 WITH SCORE 53756.372
AT ITER 1521 NEW BEST:: SOT 241076 SOS 121362 HAS SOPS 117484 HAS SOUS 54254 HAS SOUPS 53610 WITH SCORE 53731.362
AT ITER 1558 NEW BEST:: SOT 241045 SOS 121262 HAS SOPS 117384 HAS SOUS 54192 HAS SOUPS 53548 WITH SCORE 53669.262
AT ITER 1563 NEW BEST:: SOT 240966 SOS 121183 HAS SOPS 117305 HAS SOUS 54096 HAS SOUPS 53452 WITH SCORE 53573.183
AT ITER 1564 NEW BEST:: SOT 240922 SOS 121124 HAS SOPS 117246 HAS SOUS 54008 HAS SOUPS 53364 WITH SCORE 53485.124
AT ITER 1567 NEW BEST:: SOT 240934 SOS 121122 HAS SOPS 117244 HAS SOUS 53942 HAS SOUPS 53298 WITH SCORE 53419.122
AT ITER 1571 NEW BEST:: SOT 240843 SOS 121031 HAS SOPS 117153 HAS SOUS 53880 HAS SOUPS 53236 WITH SCORE 53357.031
AT ITER 1574 NEW BEST:: SOT 240897 SOS 121193 HAS SOPS 117315 HAS SOUS 53808 HAS SOUPS 53164 WITH SCORE 53285.193
AT ITER 1575 NEW BEST:: SOT 240817 SOS 121129 HAS SOPS 117251 HAS SOUS 53680 HAS SOUPS 53036 WITH SCORE 53157.129
AT ITER 1581 NEW BEST:: SOT 240782 SOS 121140 HAS SOPS 117225 HAS SOUS 53571 HAS SOUPS 52927 WITH SCORE 53048.14
AT ITER 1614 NEW BEST:: SOT 240710 SOS 121065 HAS SOPS 117103 HAS SOUS 53512 HAS SOUPS 52868 WITH SCORE 52989.065
AT ITER 1631 NEW BEST:: SOT 240691 SOS 121049 HAS SOPS 117087 HAS SOUS 53474 HAS SOUPS 52830 WITH SCORE 52951.049
AT ITER 1634 NEW BEST:: SOT 240691 SOS 120959 HAS SOPS 116997 HAS SOUS 53474 HAS SOUPS 52830 WITH SCORE 52950.959
AT ITER 1638 NEW BEST:: SOT 240644 SOS 120912 HAS SOPS 116950 HAS SOUS 53444 HAS SOUPS 52800 WITH SCORE 52920.912
AT ITER 1645 NEW BEST:: SOT 240644 SOS 120672 HAS SOPS 116710 HAS SOUS 53442 HAS SOUPS 52798 WITH SCORE 52918.672
AT ITER 1650 NEW BEST:: SOT 240876 SOS 120928 HAS SOPS 116966 HAS SOUS 53412 HAS SOUPS 52768 WITH SCORE 52888.928
AT ITER 1658 NEW BEST:: SOT 240909 SOS 120961 HAS SOPS 116999 HAS SOUS 53370 HAS SOUPS 52726 WITH SCORE 52846.961
AT ITER 1661 NEW BEST:: SOT 240924 SOS 120961 HAS SOPS 116999 HAS SOUS 53244 HAS SOUPS 52600 WITH SCORE 52720.961
AT ITER 1664 NEW BEST:: SOT 240946 SOS 120983 HAS SOPS 116955 HAS SOUS 53266 HAS SOUPS 52556 WITH SCORE 52676.983
AT ITER 1666 NEW BEST:: SOT 240534 SOS 120541 HAS SOPS 116513 HAS SOUS 53085 HAS SOUPS 52375 WITH SCORE 52495.541
AT ITER 1738 NEW BEST:: SOT 240534 SOS 120521 HAS SOPS 116493 HAS SOUS 53065 HAS SOUPS 52355 WITH SCORE 52475.521
AT ITER 1762 NEW BEST:: SOT 240537 SOS 120534 HAS SOPS 116505 HAS SOUS 53012 HAS SOUPS 52302 WITH SCORE 52422.534
AT ITER 1769 NEW BEST:: SOT 240504 SOS 120501 HAS SOPS 116472 HAS SOUS 52946 HAS SOUPS 52236 WITH SCORE 52356.501
AT ITER 1776 NEW BEST:: SOT 240663 SOS 120625 HAS SOPS 116596 HAS SOUS 52844 HAS SOUPS 52134 WITH SCORE 52254.625
AT ITER 1782 NEW BEST:: SOT 240585 SOS 120837 HAS SOPS 116767 HAS SOUS 52728 HAS SOUPS 52018 WITH SCORE 52138.837
AT ITER 1784 NEW BEST:: SOT 240550 SOS 120855 HAS SOPS 116808 HAS SOUS 52647 HAS SOUPS 51937 WITH SCORE 52057.855
AT ITER 1810 NEW BEST:: SOT 240537 SOS 120842 HAS SOPS 116795 HAS SOUS 52625 HAS SOUPS 51915 WITH SCORE 52035.842
AT ITER 1817 NEW BEST:: SOT 240455 SOS 120768 HAS SOPS 116721 HAS SOUS 52535 HAS SOUPS 51825 WITH SCORE 51945.768
AT ITER 1849 NEW BEST:: SOT 240381 SOS 120662 HAS SOPS 116615 HAS SOUS 52372 HAS SOUPS 51662 WITH SCORE 51782.662
AT ITER 1860 NEW BEST:: SOT 240381 SOS 120650 HAS SOPS 116595 HAS SOUS 52352 HAS SOUPS 51642 WITH SCORE 51762.65
AT ITER 1892 NEW BEST:: SOT 240262 SOS 120575 HAS SOPS 116520 HAS SOUS 52335 HAS SOUPS 51625 WITH SCORE 51745.575
AT ITER 1909 NEW BEST:: SOT 240246 SOS 120543 HAS SOPS 116488 HAS SOUS 52303 HAS SOUPS 51593 WITH SCORE 51713.543
AT ITER 1913 NEW BEST:: SOT 240203 SOS 120521 HAS SOPS 116466 HAS SOUS 52272 HAS SOUPS 51562 WITH SCORE 51682.521
AT ITER 1916 NEW BEST:: SOT 240255 SOS 120529 HAS SOPS 116474 HAS SOUS 52249 HAS SOUPS 51539 WITH SCORE 51659.529
AT ITER 1956 NEW BEST:: SOT 240238 SOS 120512 HAS SOPS 116457 HAS SOUS 52173 HAS SOUPS 51463 WITH SCORE 51583.512
AT ITER 1984 NEW BEST:: SOT 240202 SOS 120488 HAS SOPS 116433 HAS SOUS 52137 HAS SOUPS 51427 WITH SCORE 51547.488
AT ITER 2028 NEW BEST:: SOT 240203 SOS 120489 HAS SOPS 116432 HAS SOUS 52136 HAS SOUPS 51426 WITH SCORE 51546.489
AT ITER 2050 NEW BEST:: SOT 240249 SOS 120445 HAS SOPS 116388 HAS SOUS 52092 HAS SOUPS 51382 WITH SCORE 51502.445
AT ITER 2099 NEW BEST:: SOT 240193 SOS 120397 HAS SOPS 116340 HAS SOUS 52044 HAS SOUPS 51334 WITH SCORE 51454.397
AT ITER 2105 NEW BEST:: SOT 240193 SOS 118604 HAS SOPS 114547 HAS SOUS 52044 HAS SOUPS 51334 WITH SCORE 51452.604
AT ITER 2112 NEW BEST:: SOT 239928 SOS 118104 HAS SOPS 114037 HAS SOUS 51551 HAS SOUPS 50841 WITH SCORE 50959.104
AT ITER 2118 NEW BEST:: SOT 239790 SOS 118438 HAS SOPS 113831 HAS SOUS 51485 HAS SOUPS 50741 WITH SCORE 50859.438
AT ITER 2128 NEW BEST:: SOT 239755 SOS 118279 HAS SOPS 113672 HAS SOUS 51368 HAS SOUPS 50624 WITH SCORE 50742.279
AT ITER 2145 NEW BEST:: SOT 239620 SOS 117133 HAS SOPS 112964 HAS SOUS 51105 HAS SOUPS 50436 WITH SCORE 50553.133
AT ITER 2209 NEW BEST:: SOT 239617 SOS 117118 HAS SOPS 112964 HAS SOUS 51102 HAS SOUPS 50436 WITH SCORE 50553.118
AT ITER 2233 NEW BEST:: SOT 239615 SOS 117076 HAS SOPS 112922 HAS SOUS 51098 HAS SOUPS 50432 WITH SCORE 50549.076
AT ITER 2252 NEW BEST:: SOT 239606 SOS 117058 HAS SOPS 112904 HAS SOUS 51082 HAS SOUPS 50416 WITH SCORE 50533.058
AT ITER 2257 NEW BEST:: SOT 239606 SOS 117098 HAS SOPS 112944 HAS SOUS 51074 HAS SOUPS 50408 WITH SCORE 50525.098
AT ITER 2259 NEW BEST:: SOT 239467 SOS 115607 HAS SOPS 111453 HAS SOUS 50883 HAS SOUPS 50217 WITH SCORE 50332.607
AT ITER 2262 NEW BEST:: SOT 239458 SOS 115589 HAS SOPS 111435 HAS SOUS 50865 HAS SOUPS 50199 WITH SCORE 50314.589
AT ITER 2287 NEW BEST:: SOT 239424 SOS 115553 HAS SOPS 111399 HAS SOUS 50839 HAS SOUPS 50173 WITH SCORE 50288.553
AT ITER 2292 NEW BEST:: SOT 239414 SOS 115592 HAS SOPS 111439 HAS SOUS 50829 HAS SOUPS 50163 WITH SCORE 50278.592
AT ITER 2300 NEW BEST:: SOT 239390 SOS 115556 HAS SOPS 111403 HAS SOUS 50781 HAS SOUPS 50115 WITH SCORE 50230.556
AT ITER 2309 NEW BEST:: SOT 239369 SOS 115524 HAS SOPS 111381 HAS SOUS 50762 HAS SOUPS 50096 WITH SCORE 50211.524
AT ITER 2323 NEW BEST:: SOT 239343 SOS 115498 HAS SOPS 111355 HAS SOUS 50733 HAS SOUPS 50067 WITH SCORE 50182.498
AT ITER 2338 NEW BEST:: SOT 239225 SOS 115380 HAS SOPS 111237 HAS SOUS 50447 HAS SOUPS 49781 WITH SCORE 49896.38
AT ITER 2361 NEW BEST:: SOT 239268 SOS 114606 HAS SOPS 110463 HAS SOUS 50436 HAS SOUPS 49770 WITH SCORE 49884.606
AT ITER 2376 NEW BEST:: SOT 239264 SOS 114602 HAS SOPS 110459 HAS SOUS 50318 HAS SOUPS 49652 WITH SCORE 49766.602
AT ITER 2383 NEW BEST:: SOT 239261 SOS 114599 HAS SOPS 110456 HAS SOUS 50312 HAS SOUPS 49646 WITH SCORE 49760.599
AT ITER 2435 NEW BEST:: SOT 239261 SOS 114539 HAS SOPS 110396 HAS SOUS 50267 HAS SOUPS 49601 WITH SCORE 49715.539
AT ITER 2460 NEW BEST:: SOT 239252 SOS 114530 HAS SOPS 110387 HAS SOUS 50249 HAS SOUPS 49583 WITH SCORE 49697.53
AT ITER 2491 NEW BEST:: SOT 238502 SOS 113755 HAS SOPS 109612 HAS SOUS 49874 HAS SOUPS 49208 WITH SCORE 49321.755
AT ITER 2524 NEW BEST:: SOT 238398 SOS 113655 HAS SOPS 109512 HAS SOUS 49865 HAS SOUPS 49199 WITH SCORE 49312.655
AT ITER 2531 NEW BEST:: SOT 238349 SOS 113655 HAS SOPS 109512 HAS SOUS 49860 HAS SOUPS 49194 WITH SCORE 49307.655
AT ITER 2540 NEW BEST:: SOT 238352 SOS 113625 HAS SOPS 109461 HAS SOUS 49824 HAS SOUPS 49158 WITH SCORE 49271.625
AT ITER 2567 NEW BEST:: SOT 238372 SOS 113645 HAS SOPS 109457 HAS SOUS 49844 HAS SOUPS 49154 WITH SCORE 49267.645
AT ITER 2581 NEW BEST:: SOT 238372 SOS 113645 HAS SOPS 109457 HAS SOUS 49834 HAS SOUPS 49144 WITH SCORE 49257.645
AT ITER 2584 NEW BEST:: SOT 238227 SOS 113564 HAS SOPS 109376 HAS SOUS 49804 HAS SOUPS 49114 WITH SCORE 49227.564
AT ITER 2594 NEW BEST:: SOT 238189 SOS 113494 HAS SOPS 109306 HAS SOUS 49728 HAS SOUPS 49038 WITH SCORE 49151.494
AT ITER 2614 NEW BEST:: SOT 238172 SOS 113596 HAS SOPS 109416 HAS SOUS 49706 HAS SOUPS 49016 WITH SCORE 49129.596
AT ITER 2615 NEW BEST:: SOT 238167 SOS 113605 HAS SOPS 109425 HAS SOUS 49696 HAS SOUPS 49006 WITH SCORE 49119.605
AT ITER 2620 NEW BEST:: SOT 238011 SOS 113449 HAS SOPS 109269 HAS SOUS 49540 HAS SOUPS 48850 WITH SCORE 48963.449
AT ITER 2665 NEW BEST:: SOT 238052 SOS 113490 HAS SOPS 109310 HAS SOUS 49494 HAS SOUPS 48804 WITH SCORE 48917.49
AT ITER 2672 NEW BEST:: SOT 238051 SOS 113485 HAS SOPS 109305 HAS SOUS 49471 HAS SOUPS 48781 WITH SCORE 48894.485
AT ITER 2679 NEW BEST:: SOT 238030 SOS 113464 HAS SOPS 109284 HAS SOUS 49429 HAS SOUPS 48739 WITH SCORE 48852.464
AT ITER 2681 NEW BEST:: SOT 237812 SOS 113268 HAS SOPS 109088 HAS SOUS 49287 HAS SOUPS 48597 WITH SCORE 48710.268
AT ITER 2721 NEW BEST:: SOT 237807 SOS 113263 HAS SOPS 109083 HAS SOUS 49277 HAS SOUPS 48587 WITH SCORE 48700.263
AT ITER 2724 NEW BEST:: SOT 237738 SOS 113103 HAS SOPS 108923 HAS SOUS 49185 HAS SOUPS 48495 WITH SCORE 48608.103
AT ITER 2745 NEW BEST:: SOT 237688 SOS 113053 HAS SOPS 108873 HAS SOUS 49145 HAS SOUPS 48455 WITH SCORE 48568.053
AT ITER 2772 NEW BEST:: SOT 237684 SOS 113047 HAS SOPS 108867 HAS SOUS 49141 HAS SOUPS 48451 WITH SCORE 48564.047
AT ITER 2795 NEW BEST:: SOT 237687 SOS 113396 HAS SOPS 109216 HAS SOUS 49136 HAS SOUPS 48446 WITH SCORE 48559.396
AT ITER 2810 NEW BEST:: SOT 237689 SOS 113398 HAS SOPS 109218 HAS SOUS 49108 HAS SOUPS 48418 WITH SCORE 48531.398
AT ITER 2831 NEW BEST:: SOT 237716 SOS 113404 HAS SOPS 109224 HAS SOUS 49098 HAS SOUPS 48408 WITH SCORE 48521.404
AT ITER 2838 NEW BEST:: SOT 237716 SOS 113393 HAS SOPS 109213 HAS SOUS 49096 HAS SOUPS 48406 WITH SCORE 48519.393
AT ITER 2845 NEW BEST:: SOT 237699 SOS 113376 HAS SOPS 109196 HAS SOUS 49074 HAS SOUPS 48384 WITH SCORE 48497.376
AT ITER 2884 NEW BEST:: SOT 237694 SOS 113376 HAS SOPS 109196 HAS SOUS 49054 HAS SOUPS 48364 WITH SCORE 48477.376
AT ITER 2886 NEW BEST:: SOT 237664 SOS 113283 HAS SOPS 109103 HAS SOUS 49027 HAS SOUPS 48337 WITH SCORE 48450.283
AT ITER 2902 NEW BEST:: SOT 237652 SOS 113271 HAS SOPS 109091 HAS SOUS 49013 HAS SOUPS 48323 WITH SCORE 48436.271
AT ITER 2976 NEW BEST:: SOT 237604 SOS 113223 HAS SOPS 109043 HAS SOUS 48928 HAS SOUPS 48238 WITH SCORE 48351.223
AT ITER 2991 NEW BEST:: SOT 237589 SOS 113208 HAS SOPS 109088 HAS SOUS 48900 HAS SOUPS 48210 WITH SCORE 48323.208
AT ITER 2992 NEW BEST:: SOT 237563 SOS 113182 HAS SOPS 109068 HAS SOUS 48858 HAS SOUPS 48174 WITH SCORE 48287.182
AT ITER 2995 NEW BEST:: SOT 237555 SOS 112858 HAS SOPS 108744 HAS SOUS 48854 HAS SOUPS 48170 WITH SCORE 48282.858
AT ITER 3001 NEW BEST:: SOT 237555 SOS 112858 HAS SOPS 108744 HAS SOUS 48827 HAS SOUPS 48143 WITH SCORE 48255.858
AT ITER 3058 NEW BEST:: SOT 237517 SOS 112710 HAS SOPS 108634 HAS SOUS 48823 HAS SOUPS 48139 WITH SCORE 48251.71
AT ITER 3062 NEW BEST:: SOT 237517 SOS 112508 HAS SOPS 108432 HAS SOUS 48823 HAS SOUPS 48139 WITH SCORE 48251.508
AT ITER 3069 NEW BEST:: SOT 237498 SOS 112449 HAS SOPS 108373 HAS SOUS 48821 HAS SOUPS 48137 WITH SCORE 48249.449
AT ITER 3084 NEW BEST:: SOT 237481 SOS 112278 HAS SOPS 108202 HAS SOUS 48812 HAS SOUPS 48128 WITH SCORE 48240.278
AT ITER 3126 NEW BEST:: SOT 237461 SOS 112232 HAS SOPS 108156 HAS SOUS 48785 HAS SOUPS 48101 WITH SCORE 48213.232
AT ITER 3134 NEW BEST:: SOT 237461 SOS 112016 HAS SOPS 107940 HAS SOUS 48783 HAS SOUPS 48099 WITH SCORE 48211.016
AT ITER 3139 NEW BEST:: SOT 237441 SOS 112101 HAS SOPS 108025 HAS SOUS 48778 HAS SOUPS 48094 WITH SCORE 48206.101
AT ITER 3147 NEW BEST:: SOT 237582 SOS 112221 HAS SOPS 108008 HAS SOUS 48664 HAS SOUPS 47980 WITH SCORE 48092.221
AT ITER 3152 NEW BEST:: SOT 237557 SOS 112196 HAS SOPS 107983 HAS SOUS 48627 HAS SOUPS 47943 WITH SCORE 48055.196
AT ITER 3179 NEW BEST:: SOT 237562 SOS 112201 HAS SOPS 107988 HAS SOUS 48626 HAS SOUPS 47942 WITH SCORE 48054.201
AT ITER 3195 NEW BEST:: SOT 237559 SOS 112195 HAS SOPS 107982 HAS SOUS 48620 HAS SOUPS 47936 WITH SCORE 48048.195
AT ITER 3228 NEW BEST:: SOT 237521 SOS 112237 HAS SOPS 108013 HAS SOUS 48584 HAS SOUPS 47900 WITH SCORE 48012.237
AT ITER 3239 NEW BEST:: SOT 237508 SOS 112197 HAS SOPS 107973 HAS SOUS 48558 HAS SOUPS 47874 WITH SCORE 47986.197
AT ITER 3246 NEW BEST:: SOT 237475 SOS 112153 HAS SOPS 107929 HAS SOUS 48514 HAS SOUPS 47830 WITH SCORE 47942.153
AT ITER 3253 NEW BEST:: SOT 237455 SOS 112180 HAS SOPS 107956 HAS SOUS 48447 HAS SOUPS 47763 WITH SCORE 47875.18
AT ITER 3287 NEW BEST:: SOT 237455 SOS 112180 HAS SOPS 107956 HAS SOUS 48429 HAS SOUPS 47745 WITH SCORE 47857.18
AT ITER 3300 NEW BEST:: SOT 237427 SOS 112202 HAS SOPS 107978 HAS SOUS 48389 HAS SOUPS 47705 WITH SCORE 47817.202
AT ITER 3311 NEW BEST:: SOT 237438 SOS 112188 HAS SOPS 107964 HAS SOUS 48386 HAS SOUPS 47702 WITH SCORE 47814.188
AT ITER 3330 NEW BEST:: SOT 237389 SOS 112033 HAS SOPS 107809 HAS SOUS 48231 HAS SOUPS 47547 WITH SCORE 47659.033
AT ITER 3357 NEW BEST:: SOT 237344 SOS 111694 HAS SOPS 107470 HAS SOUS 48188 HAS SOUPS 47504 WITH SCORE 47615.694
AT ITER 3359 NEW BEST:: SOT 237432 SOS 111782 HAS SOPS 107558 HAS SOUS 48097 HAS SOUPS 47413 WITH SCORE 47524.782
AT ITER 3379 NEW BEST:: SOT 237255 SOS 111564 HAS SOPS 107340 HAS SOUS 47863 HAS SOUPS 47179 WITH SCORE 47290.564
AT ITER 3405 NEW BEST:: SOT 237251 SOS 111560 HAS SOPS 107336 HAS SOUS 47857 HAS SOUPS 47173 WITH SCORE 47284.56
AT ITER 3446 NEW BEST:: SOT 237233 SOS 111526 HAS SOPS 107302 HAS SOUS 47857 HAS SOUPS 47173 WITH SCORE 47284.526
AT ITER 3511 NEW BEST:: SOT 237234 SOS 111180 HAS SOPS 107058 HAS SOUS 47841 HAS SOUPS 47171 WITH SCORE 47282.18
AT ITER 3515 NEW BEST:: SOT 237226 SOS 111172 HAS SOPS 107050 HAS SOUS 47825 HAS SOUPS 47155 WITH SCORE 47266.172
AT ITER 3518 NEW BEST:: SOT 237211 SOS 111131 HAS SOPS 107009 HAS SOUS 47779 HAS SOUPS 47109 WITH SCORE 47220.131
AT ITER 3566 NEW BEST:: SOT 237211 SOS 111096 HAS SOPS 106981 HAS SOUS 47779 HAS SOUPS 47109 WITH SCORE 47220.096
AT ITER 3592 NEW BEST:: SOT 237238 SOS 111069 HAS SOPS 106954 HAS SOUS 47752 HAS SOUPS 47082 WITH SCORE 47193.069
AT ITER 3594 NEW BEST:: SOT 237241 SOS 111083 HAS SOPS 106968 HAS SOUS 47751 HAS SOUPS 47081 WITH SCORE 47192.083
AT ITER 3624 NEW BEST:: SOT 237241 SOS 110915 HAS SOPS 106800 HAS SOUS 47751 HAS SOUPS 47081 WITH SCORE 47191.915
AT ITER 3677 NEW BEST:: SOT 237193 SOS 110843 HAS SOPS 106763 HAS SOUS 47714 HAS SOUPS 47044 WITH SCORE 47154.843
AT ITER 3713 NEW BEST:: SOT 237168 SOS 110777 HAS SOPS 106697 HAS SOUS 47689 HAS SOUPS 47019 WITH SCORE 47129.777
AT ITER 3733 NEW BEST:: SOT 237086 SOS 110704 HAS SOPS 106716 HAS SOUS 47607 HAS SOUPS 46937 WITH SCORE 47047.704
AT ITER 3749 NEW BEST:: SOT 236855 SOS 110435 HAS SOPS 106447 HAS SOUS 47281 HAS SOUPS 46611 WITH SCORE 46721.435
AT ITER 3766 NEW BEST:: SOT 236769 SOS 110380 HAS SOPS 106392 HAS SOUS 47213 HAS SOUPS 46543 WITH SCORE 46653.38
AT ITER 3788 NEW BEST:: SOT 236749 SOS 110377 HAS SOPS 106386 HAS SOUS 47207 HAS SOUPS 46537 WITH SCORE 46647.377
AT ITER 3817 NEW BEST:: SOT 236755 SOS 110436 HAS SOPS 106577 HAS SOUS 47065 HAS SOUPS 46417 WITH SCORE 46527.436
AT ITER 3840 NEW BEST:: SOT 236773 SOS 111426 HAS SOPS 107390 HAS SOUS 47039 HAS SOUPS 46360 WITH SCORE 46471.426
AT ITER 3850 NEW BEST:: SOT 236753 SOS 111395 HAS SOPS 107359 HAS SOUS 46997 HAS SOUPS 46318 WITH SCORE 46429.395
AT ITER 3872 NEW BEST:: SOT 236753 SOS 111227 HAS SOPS 107191 HAS SOUS 46997 HAS SOUPS 46318 WITH SCORE 46429.227
AT ITER 3950 NEW BEST:: SOT 236703 SOS 111191 HAS SOPS 107130 HAS SOUS 46925 HAS SOUPS 46246 WITH SCORE 46357.191
AT ITER 3971 NEW BEST:: SOT 236678 SOS 111166 HAS SOPS 107143 HAS SOUS 46919 HAS SOUPS 46245 WITH SCORE 46356.166
AT ITER 3987 NEW BEST:: SOT 236678 SOS 111166 HAS SOPS 107143 HAS SOUS 46907 HAS SOUPS 46233 WITH SCORE 46344.166
AT ITER 3999 NEW BEST:: SOT 236652 SOS 111127 HAS SOPS 107104 HAS SOUS 46868 HAS SOUPS 46194 WITH SCORE 46305.127
AT ITER 4005 NEW BEST:: SOT 236499 SOS 110974 HAS SOPS 106951 HAS SOUS 46790 HAS SOUPS 46116 WITH SCORE 46226.974
AT ITER 4014 NEW BEST:: SOT 236479 SOS 110990 HAS SOPS 106967 HAS SOUS 46788 HAS SOUPS 46114 WITH SCORE 46224.99
AT ITER 4064 NEW BEST:: SOT 236465 SOS 110973 HAS SOPS 106950 HAS SOUS 46760 HAS SOUPS 46086 WITH SCORE 46196.973
AT ITER 4074 NEW BEST:: SOT 236462 SOS 110970 HAS SOPS 106947 HAS SOUS 46757 HAS SOUPS 46083 WITH SCORE 46193.97
AT ITER 4105 NEW BEST:: SOT 236399 SOS 110907 HAS SOPS 106884 HAS SOUS 46694 HAS SOUPS 46020 WITH SCORE 46130.907
AT ITER 4107 NEW BEST:: SOT 236399 SOS 110951 HAS SOPS 106928 HAS SOUS 46683 HAS SOUPS 46009 WITH SCORE 46119.951
AT ITER 4126 NEW BEST:: SOT 236369 SOS 110891 HAS SOPS 106868 HAS SOUS 46586 HAS SOUPS 45912 WITH SCORE 46022.891
AT ITER 4152 NEW BEST:: SOT 236371 SOS 110896 HAS SOPS 106889 HAS SOUS 46585 HAS SOUPS 45911 WITH SCORE 46021.896
AT ITER 4246 NEW BEST:: SOT 236298 SOS 110814 HAS SOPS 106807 HAS SOUS 46493 HAS SOUPS 45819 WITH SCORE 45929.814
AT ITER 4257 NEW BEST:: SOT 236235 SOS 110735 HAS SOPS 106763 HAS SOUS 46431 HAS SOUPS 45757 WITH SCORE 45867.735
AT ITER 4312 NEW BEST:: SOT 236220 SOS 110735 HAS SOPS 106748 HAS SOUS 46401 HAS SOUPS 45727 WITH SCORE 45837.735
AT ITER 4331 NEW BEST:: SOT 236218 SOS 110730 HAS SOPS 106743 HAS SOUS 46397 HAS SOUPS 45723 WITH SCORE 45833.73
AT ITER 4337 NEW BEST:: SOT 236162 SOS 110681 HAS SOPS 106694 HAS SOUS 46369 HAS SOUPS 45695 WITH SCORE 45805.681
AT ITER 4350 NEW BEST:: SOT 236163 SOS 110601 HAS SOPS 106614 HAS SOUS 46326 HAS SOUPS 45652 WITH SCORE 45762.601
AT ITER 4366 NEW BEST:: SOT 236221 SOS 110665 HAS SOPS 106733 HAS SOUS 46317 HAS SOUPS 45646 WITH SCORE 45756.665
AT ITER 4446 NEW BEST:: SOT 236156 SOS 110523 HAS SOPS 106591 HAS SOUS 46168 HAS SOUPS 45497 WITH SCORE 45607.523
AT ITER 4448 NEW BEST:: SOT 236156 SOS 110518 HAS SOPS 106586 HAS SOUS 46158 HAS SOUPS 45487 WITH SCORE 45597.518
AT ITER 4457 NEW BEST:: SOT 236087 SOS 110413 HAS SOPS 106517 HAS SOUS 46083 HAS SOUPS 45418 WITH SCORE 45528.413
AT ITER 4478 NEW BEST:: SOT 236077 SOS 110414 HAS SOPS 106518 HAS SOUS 46063 HAS SOUPS 45398 WITH SCORE 45508.414
AT ITER 4518 NEW BEST:: SOT 236029 SOS 110375 HAS SOPS 106479 HAS SOUS 46024 HAS SOUPS 45359 WITH SCORE 45469.375
AT ITER 4598 NEW BEST:: SOT 235912 SOS 110236 HAS SOPS 106340 HAS SOUS 45918 HAS SOUPS 45253 WITH SCORE 45363.236
AT ITER 4611 NEW BEST:: SOT 235873 SOS 110197 HAS SOPS 106320 HAS SOUS 45908 HAS SOUPS 45243 WITH SCORE 45353.197
AT ITER 4629 NEW BEST:: SOT 235806 SOS 110115 HAS SOPS 106238 HAS SOUS 45800 HAS SOUPS 45135 WITH SCORE 45245.115
AT ITER 4700 NEW BEST:: SOT 235800 SOS 110103 HAS SOPS 106226 HAS SOUS 45788 HAS SOUPS 45123 WITH SCORE 45233.103
AT ITER 4701 NEW BEST:: SOT 235795 SOS 110098 HAS SOPS 106221 HAS SOUS 45721 HAS SOUPS 45056 WITH SCORE 45166.098
AT ITER 4707 NEW BEST:: SOT 235800 SOS 110103 HAS SOPS 106223 HAS SOUS 45713 HAS SOUPS 45048 WITH SCORE 45158.103
AT ITER 4739 NEW BEST:: SOT 235766 SOS 110070 HAS SOPS 106203 HAS SOUS 45708 HAS SOUPS 45043 WITH SCORE 45153.07
AT ITER 4762 NEW BEST:: SOT 235766 SOS 110274 HAS SOPS 106407 HAS SOUS 45702 HAS SOUPS 45037 WITH SCORE 45147.274
AT ITER 4806 NEW BEST:: SOT 235764 SOS 110276 HAS SOPS 106409 HAS SOUS 45602 HAS SOUPS 44937 WITH SCORE 45047.276
AT ITER 4820 NEW BEST:: SOT 235772 SOS 110258 HAS SOPS 106387 HAS SOUS 45600 HAS SOUPS 44935 WITH SCORE 45045.258
AT ITER 4830 NEW BEST:: SOT 235760 SOS 110234 HAS SOPS 106363 HAS SOUS 45582 HAS SOUPS 44917 WITH SCORE 45027.234
AT ITER 4844 NEW BEST:: SOT 235728 SOS 110230 HAS SOPS 106263 HAS SOUS 45498 HAS SOUPS 44833 WITH SCORE 44943.23
AT ITER 4865 NEW BEST:: SOT 235617 SOS 110103 HAS SOPS 106136 HAS SOUS 45447 HAS SOUPS 44782 WITH SCORE 44892.103
AT ITER 4874 NEW BEST:: SOT 235583 SOS 110001 HAS SOPS 106034 HAS SOUS 45379 HAS SOUPS 44714 WITH SCORE 44824.001
AT ITER 4891 NEW BEST:: SOT 235563 SOS 109981 HAS SOPS 106014 HAS SOUS 45359 HAS SOUPS 44694 WITH SCORE 44803.981
AT ITER 4894 NEW BEST:: SOT 235543 SOS 109934 HAS SOPS 105967 HAS SOUS 45319 HAS SOUPS 44654 WITH SCORE 44763.934
AT ITER 4946 NEW BEST:: SOT 235541 SOS 109930 HAS SOPS 105963 HAS SOUS 45315 HAS SOUPS 44650 WITH SCORE 44759.93
AT ITER 4959 NEW BEST:: SOT 235532 SOS 109921 HAS SOPS 105954 HAS SOUS 45306 HAS SOUPS 44641 WITH SCORE 44750.921
AT ITER 5027 NEW BEST:: SOT 235518 SOS 109907 HAS SOPS 105940 HAS SOUS 45278 HAS SOUPS 44613 WITH SCORE 44722.907
AT ITER 5039 NEW BEST:: SOT 235530 SOS 109888 HAS SOPS 105921 HAS SOUS 45259 HAS SOUPS 44594 WITH SCORE 44703.888
AT ITER 5040 NEW BEST:: SOT 235500 SOS 109842 HAS SOPS 105935 HAS SOUS 45252 HAS SOUPS 44588 WITH SCORE 44697.842
AT ITER 5048 NEW BEST:: SOT 235484 SOS 109826 HAS SOPS 105919 HAS SOUS 45220 HAS SOUPS 44556 WITH SCORE 44665.826
AT ITER 5064 NEW BEST:: SOT 235464 SOS 109801 HAS SOPS 105894 HAS SOUS 45190 HAS SOUPS 44526 WITH SCORE 44635.801
AT ITER 5071 NEW BEST:: SOT 235458 SOS 109837 HAS SOPS 105930 HAS SOUS 45187 HAS SOUPS 44523 WITH SCORE 44632.837
AT ITER 5094 NEW BEST:: SOT 235383 SOS 109842 HAS SOPS 105940 HAS SOUS 45080 HAS SOUPS 44416 WITH SCORE 44525.842
AT ITER 5095 NEW BEST:: SOT 235365 SOS 109808 HAS SOPS 105906 HAS SOUS 45058 HAS SOUPS 44394 WITH SCORE 44503.808
AT ITER 5126 NEW BEST:: SOT 235363 SOS 109807 HAS SOPS 105905 HAS SOUS 45055 HAS SOUPS 44391 WITH SCORE 44500.807
AT ITER 5164 NEW BEST:: SOT 235363 SOS 109760 HAS SOPS 105858 HAS SOUS 45055 HAS SOUPS 44391 WITH SCORE 44500.76
AT ITER 5168 NEW BEST:: SOT 235338 SOS 109735 HAS SOPS 105833 HAS SOUS 45044 HAS SOUPS 44380 WITH SCORE 44489.735
AT ITER 5174 NEW BEST:: SOT 235338 SOS 109783 HAS SOPS 105881 HAS SOUS 45024 HAS SOUPS 44360 WITH SCORE 44469.783
AT ITER 5188 NEW BEST:: SOT 235336 SOS 109787 HAS SOPS 105879 HAS SOUS 45000 HAS SOUPS 44336 WITH SCORE 44445.787
AT ITER 5207 NEW BEST:: SOT 235318 SOS 109769 HAS SOPS 105861 HAS SOUS 44998 HAS SOUPS 44334 WITH SCORE 44443.769
AT ITER 5209 NEW BEST:: SOT 235332 SOS 109768 HAS SOPS 105860 HAS SOUS 44997 HAS SOUPS 44333 WITH SCORE 44442.768
AT ITER 5254 NEW BEST:: SOT 235332 SOS 109744 HAS SOPS 105836 HAS SOUS 44968 HAS SOUPS 44304 WITH SCORE 44413.744
AT ITER 5266 NEW BEST:: SOT 235310 SOS 109818 HAS SOPS 105901 HAS SOUS 44956 HAS SOUPS 44290 WITH SCORE 44399.818
AT ITER 5291 NEW BEST:: SOT 235166 SOS 109698 HAS SOPS 105781 HAS SOUS 44800 HAS SOUPS 44134 WITH SCORE 44243.698
AT ITER 5317 NEW BEST:: SOT 235136 SOS 109578 HAS SOPS 105661 HAS SOUS 44770 HAS SOUPS 44104 WITH SCORE 44213.578
AT ITER 5329 NEW BEST:: SOT 235136 SOS 109566 HAS SOPS 105649 HAS SOUS 44767 HAS SOUPS 44101 WITH SCORE 44210.566
AT ITER 5330 NEW BEST:: SOT 235119 SOS 109520 HAS SOPS 105603 HAS SOUS 44694 HAS SOUPS 44028 WITH SCORE 44137.52
AT ITER 5347 NEW BEST:: SOT 235159 SOS 109571 HAS SOPS 105654 HAS SOUS 44689 HAS SOUPS 44023 WITH SCORE 44132.571
AT ITER 5351 NEW BEST:: SOT 235105 SOS 109566 HAS SOPS 105649 HAS SOUS 44675 HAS SOUPS 44009 WITH SCORE 44118.566
AT ITER 5360 NEW BEST:: SOT 235010 SOS 109878 HAS SOPS 106059 HAS SOUS 44674 HAS SOUPS 44008 WITH SCORE 44117.878
AT ITER 5429 NEW BEST:: SOT 235007 SOS 109875 HAS SOPS 106056 HAS SOUS 44668 HAS SOUPS 44002 WITH SCORE 44111.875
AT ITER 5444 NEW BEST:: SOT 235038 SOS 109856 HAS SOPS 105937 HAS SOUS 44593 HAS SOUPS 43927 WITH SCORE 44036.856
AT ITER 5446 NEW BEST:: SOT 235010 SOS 109814 HAS SOPS 105909 HAS SOUS 44582 HAS SOUPS 43916 WITH SCORE 44025.814
AT ITER 5471 NEW BEST:: SOT 235000 SOS 109795 HAS SOPS 105890 HAS SOUS 44562 HAS SOUPS 43896 WITH SCORE 44005.795
AT ITER 5504 NEW BEST:: SOT 234994 SOS 109783 HAS SOPS 105878 HAS SOUS 44550 HAS SOUPS 43884 WITH SCORE 43993.783
AT ITER 5508 NEW BEST:: SOT 234938 SOS 109701 HAS SOPS 105796 HAS SOUS 44489 HAS SOUPS 43823 WITH SCORE 43932.701
AT ITER 5546 NEW BEST:: SOT 234941 SOS 109704 HAS SOPS 105799 HAS SOUS 44464 HAS SOUPS 43798 WITH SCORE 43907.704
AT ITER 5548 NEW BEST:: SOT 234914 SOS 109621 HAS SOPS 105789 HAS SOUS 44420 HAS SOUPS 43754 WITH SCORE 43863.621
AT ITER 5561 NEW BEST:: SOT 234907 SOS 109614 HAS SOPS 105782 HAS SOUS 44406 HAS SOUPS 43740 WITH SCORE 43849.614
AT ITER 5572 NEW BEST:: SOT 234865 SOS 109602 HAS SOPS 105770 HAS SOUS 44352 HAS SOUPS 43686 WITH SCORE 43795.602
AT ITER 5616 NEW BEST:: SOT 234870 SOS 109607 HAS SOPS 105775 HAS SOUS 44350 HAS SOUPS 43684 WITH SCORE 43793.607
AT ITER 5656 NEW BEST:: SOT 234870 SOS 109604 HAS SOPS 105772 HAS SOUS 44350 HAS SOUPS 43684 WITH SCORE 43793.604
AT ITER 5692 NEW BEST:: SOT 234786 SOS 109488 HAS SOPS 105656 HAS SOUS 44211 HAS SOUPS 43545 WITH SCORE 43654.488
AT ITER 5705 NEW BEST:: SOT 234795 SOS 109539 HAS SOPS 105707 HAS SOUS 44205 HAS SOUPS 43539 WITH SCORE 43648.539
AT ITER 5727 NEW BEST:: SOT 234802 SOS 109478 HAS SOPS 105646 HAS SOUS 44190 HAS SOUPS 43524 WITH SCORE 43633.478
AT ITER 5740 NEW BEST:: SOT 234766 SOS 109442 HAS SOPS 105610 HAS SOUS 44145 HAS SOUPS 43479 WITH SCORE 43588.442
AT ITER 5741 NEW BEST:: SOT 234763 SOS 109427 HAS SOPS 105601 HAS SOUS 44140 HAS SOUPS 43475 WITH SCORE 43584.427
AT ITER 5785 NEW BEST:: SOT 234751 SOS 109415 HAS SOPS 105589 HAS SOUS 44128 HAS SOUPS 43463 WITH SCORE 43572.415
AT ITER 5792 NEW BEST:: SOT 234750 SOS 109387 HAS SOPS 105567 HAS SOUS 44113 HAS SOUPS 43448 WITH SCORE 43557.387
AT ITER 5818 NEW BEST:: SOT 234750 SOS 109015 HAS SOPS 105195 HAS SOUS 44111 HAS SOUPS 43446 WITH SCORE 43555.015
AT ITER 5880 NEW BEST:: SOT 234710 SOS 108975 HAS SOPS 105115 HAS SOUS 44066 HAS SOUPS 43399 WITH SCORE 43507.975
AT ITER 5897 NEW BEST:: SOT 234710 SOS 108958 HAS SOPS 105098 HAS SOUS 44027 HAS SOUPS 43360 WITH SCORE 43468.958
AT ITER 5922 NEW BEST:: SOT 234641 SOS 108741 HAS SOPS 104807 HAS SOUS 43899 HAS SOUPS 43232 WITH SCORE 43340.741
AT ITER 5934 NEW BEST:: SOT 234630 SOS 108730 HAS SOPS 104796 HAS SOUS 43878 HAS SOUPS 43211 WITH SCORE 43319.73
AT ITER 5949 NEW BEST:: SOT 234584 SOS 108594 HAS SOPS 104660 HAS SOUS 43809 HAS SOUPS 43142 WITH SCORE 43250.594
AT ITER 5958 NEW BEST:: SOT 234584 SOS 108564 HAS SOPS 104630 HAS SOUS 43809 HAS SOUPS 43142 WITH SCORE 43250.564
AT ITER 5973 NEW BEST:: SOT 234551 SOS 108475 HAS SOPS 104541 HAS SOUS 43756 HAS SOUPS 43089 WITH SCORE 43197.475
AT ITER 6037 NEW BEST:: SOT 234579 SOS 108447 HAS SOPS 104485 HAS SOUS 43728 HAS SOUPS 43061 WITH SCORE 43169.447
AT ITER 6062 NEW BEST:: SOT 234566 SOS 108269 HAS SOPS 104307 HAS SOUS 43702 HAS SOUPS 43035 WITH SCORE 43143.269
AT ITER 6072 NEW BEST:: SOT 234565 SOS 108268 HAS SOPS 104304 HAS SOUS 43700 HAS SOUPS 43031 WITH SCORE 43139.268
AT ITER 6106 NEW BEST:: SOT 234696 SOS 108378 HAS SOPS 104294 HAS SOUS 43721 HAS SOUPS 43028 WITH SCORE 43136.378
AT ITER 6126 NEW BEST:: SOT 234690 SOS 108372 HAS SOPS 104288 HAS SOUS 43709 HAS SOUPS 43016 WITH SCORE 43124.372
AT ITER 6136 NEW BEST:: SOT 234738 SOS 108505 HAS SOPS 104378 HAS SOUS 43656 HAS SOUPS 42941 WITH SCORE 43049.505
AT ITER 6143 NEW BEST:: SOT 234690 SOS 108427 HAS SOPS 104300 HAS SOUS 43631 HAS SOUPS 42916 WITH SCORE 43024.427
AT ITER 6176 NEW BEST:: SOT 234644 SOS 108392 HAS SOPS 104265 HAS SOUS 43571 HAS SOUPS 42856 WITH SCORE 42964.392
AT ITER 6228 NEW BEST:: SOT 234611 SOS 108359 HAS SOPS 104232 HAS SOUS 43536 HAS SOUPS 42821 WITH SCORE 42929.359
AT ITER 6254 NEW BEST:: SOT 234579 SOS 108295 HAS SOPS 104168 HAS SOUS 43510 HAS SOUPS 42795 WITH SCORE 42903.295
AT ITER 6263 NEW BEST:: SOT 234529 SOS 108195 HAS SOPS 104076 HAS SOUS 43476 HAS SOUPS 42761 WITH SCORE 42869.195
AT ITER 6267 NEW BEST:: SOT 234517 SOS 108179 HAS SOPS 104060 HAS SOUS 43456 HAS SOUPS 42741 WITH SCORE 42849.179
AT ITER 6278 NEW BEST:: SOT 234266 SOS 108172 HAS SOPS 104156 HAS SOUS 43273 HAS SOUPS 42606 WITH SCORE 42714.172
AT ITER 6302 NEW BEST:: SOT 234314 SOS 108452 HAS SOPS 104436 HAS SOUS 43230 HAS SOUPS 42563 WITH SCORE 42671.452
AT ITER 6310 NEW BEST:: SOT 234314 SOS 108447 HAS SOPS 104431 HAS SOUS 43230 HAS SOUPS 42563 WITH SCORE 42671.447
AT ITER 6369 NEW BEST:: SOT 234290 SOS 108156 HAS SOPS 104324 HAS SOUS 43200 HAS SOUPS 42557 WITH SCORE 42665.156
AT ITER 6370 NEW BEST:: SOT 234284 SOS 108150 HAS SOPS 104318 HAS SOUS 43194 HAS SOUPS 42551 WITH SCORE 42659.15
AT ITER 6391 NEW BEST:: SOT 234273 SOS 108117 HAS SOPS 104285 HAS SOUS 43161 HAS SOUPS 42518 WITH SCORE 42626.117
AT ITER 6419 NEW BEST:: SOT 234244 SOS 108088 HAS SOPS 104256 HAS SOUS 43132 HAS SOUPS 42489 WITH SCORE 42597.088
AT ITER 6422 NEW BEST:: SOT 234244 SOS 108077 HAS SOPS 104245 HAS SOUS 43132 HAS SOUPS 42489 WITH SCORE 42597.077
AT ITER 6522 NEW BEST:: SOT 234204 SOS 107927 HAS SOPS 104141 HAS SOUS 43052 HAS SOUPS 42409 WITH SCORE 42516.927
AT ITER 6538 NEW BEST:: SOT 234174 SOS 107897 HAS SOPS 104082 HAS SOUS 42992 HAS SOUPS 42349 WITH SCORE 42456.897
AT ITER 6564 NEW BEST:: SOT 234132 SOS 107741 HAS SOPS 103926 HAS SOUS 42955 HAS SOUPS 42312 WITH SCORE 42419.741
AT ITER 6565 NEW BEST:: SOT 234130 SOS 107761 HAS SOPS 103946 HAS SOUS 42951 HAS SOUPS 42308 WITH SCORE 42415.761
AT ITER 6567 NEW BEST:: SOT 234130 SOS 107759 HAS SOPS 103944 HAS SOUS 42951 HAS SOUPS 42308 WITH SCORE 42415.759
AT ITER 6599 NEW BEST:: SOT 234109 SOS 107696 HAS SOPS 103881 HAS SOUS 42914 HAS SOUPS 42271 WITH SCORE 42378.696
AT ITER 6613 NEW BEST:: SOT 234109 SOS 107675 HAS SOPS 103860 HAS SOUS 42914 HAS SOUPS 42271 WITH SCORE 42378.675
AT ITER 6653 NEW BEST:: SOT 233465 SOS 107053 HAS SOPS 103238 HAS SOUS 42644 HAS SOUPS 42001 WITH SCORE 42108.053
AT ITER 6681 NEW BEST:: SOT 233442 SOS 107053 HAS SOPS 103238 HAS SOUS 42552 HAS SOUPS 41909 WITH SCORE 42016.053
AT ITER 6693 NEW BEST:: SOT 233430 SOS 107026 HAS SOPS 103207 HAS SOUS 42511 HAS SOUPS 41868 WITH SCORE 41975.026
AT ITER 6722 NEW BEST:: SOT 233407 SOS 106980 HAS SOPS 103161 HAS SOUS 42498 HAS SOUPS 41855 WITH SCORE 41961.98
AT ITER 6798 NEW BEST:: SOT 233437 SOS 107048 HAS SOPS 103229 HAS SOUS 42484 HAS SOUPS 41841 WITH SCORE 41948.048
AT ITER 6848 NEW BEST:: SOT 233432 SOS 107027 HAS SOPS 103220 HAS SOUS 42463 HAS SOUPS 41832 WITH SCORE 41939.027
AT ITER 6868 NEW BEST:: SOT 233426 SOS 107015 HAS SOPS 103208 HAS SOUS 42451 HAS SOUPS 41820 WITH SCORE 41927.015
AT ITER 6931 NEW BEST:: SOT 233426 SOS 106679 HAS SOPS 102872 HAS SOUS 42451 HAS SOUPS 41820 WITH SCORE 41926.679
AT ITER 6932 NEW BEST:: SOT 233404 SOS 106646 HAS SOPS 102839 HAS SOUS 42418 HAS SOUPS 41787 WITH SCORE 41893.646
AT ITER 6940 NEW BEST:: SOT 233391 SOS 106607 HAS SOPS 102800 HAS SOUS 42405 HAS SOUPS 41774 WITH SCORE 41880.607
AT ITER 6941 NEW BEST:: SOT 233391 SOS 106605 HAS SOPS 102798 HAS SOUS 42403 HAS SOUPS 41772 WITH SCORE 41878.605
AT ITER 6964 NEW BEST:: SOT 233383 SOS 106595 HAS SOPS 102788 HAS SOUS 42387 HAS SOUPS 41756 WITH SCORE 41862.595
AT ITER 6966 NEW BEST:: SOT 233354 SOS 106562 HAS SOPS 102755 HAS SOUS 42336 HAS SOUPS 41705 WITH SCORE 41811.562
AT ITER 6983 NEW BEST:: SOT 233346 SOS 106547 HAS SOPS 102740 HAS SOUS 42320 HAS SOUPS 41689 WITH SCORE 41795.547
AT ITER 7015 NEW BEST:: SOT 233361 SOS 106557 HAS SOPS 102714 HAS SOUS 42311 HAS SOUPS 41680 WITH SCORE 41786.557
AT ITER 7030 NEW BEST:: SOT 233337 SOS 106529 HAS SOPS 102686 HAS SOUS 42303 HAS SOUPS 41672 WITH SCORE 41778.529
AT ITER 7061 NEW BEST:: SOT 233339 SOS 106531 HAS SOPS 102688 HAS SOUS 42301 HAS SOUPS 41670 WITH SCORE 41776.531
AT ITER 7083 NEW BEST:: SOT 233335 SOS 106523 HAS SOPS 102680 HAS SOUS 42293 HAS SOUPS 41662 WITH SCORE 41768.523
AT ITER 7098 NEW BEST:: SOT 233337 SOS 106318 HAS SOPS 102475 HAS SOUS 42280 HAS SOUPS 41649 WITH SCORE 41755.318
AT ITER 7118 NEW BEST:: SOT 233327 SOS 106310 HAS SOPS 102467 HAS SOUS 42272 HAS SOUPS 41641 WITH SCORE 41747.31
AT ITER 7130 NEW BEST:: SOT 233318 SOS 106301 HAS SOPS 102458 HAS SOUS 42264 HAS SOUPS 41633 WITH SCORE 41739.301
AT ITER 7147 NEW BEST:: SOT 233318 SOS 106298 HAS SOPS 102455 HAS SOUS 42264 HAS SOUPS 41633 WITH SCORE 41739.298
AT ITER 7245 NEW BEST:: SOT 233258 SOS 106238 HAS SOPS 102395 HAS SOUS 42184 HAS SOUPS 41553 WITH SCORE 41659.238
AT ITER 7261 NEW BEST:: SOT 233215 SOS 106192 HAS SOPS 102349 HAS SOUS 42130 HAS SOUPS 41499 WITH SCORE 41605.192
AT ITER 7270 NEW BEST:: SOT 233206 SOS 106178 HAS SOPS 102335 HAS SOUS 42112 HAS SOUPS 41481 WITH SCORE 41587.178
AT ITER 7286 NEW BEST:: SOT 233207 SOS 106069 HAS SOPS 101896 HAS SOUS 42132 HAS SOUPS 41446 WITH SCORE 41552.069
AT ITER 7293 NEW BEST:: SOT 232515 SOS 105417 HAS SOPS 101244 HAS SOUS 41945 HAS SOUPS 41259 WITH SCORE 41364.417
AT ITER 7296 NEW BEST:: SOT 232509 SOS 105411 HAS SOPS 101234 HAS SOUS 41925 HAS SOUPS 41239 WITH SCORE 41344.411
AT ITER 7315 NEW BEST:: SOT 232521 SOS 105423 HAS SOPS 101246 HAS SOUS 41901 HAS SOUPS 41215 WITH SCORE 41320.423
AT ITER 7335 NEW BEST:: SOT 232471 SOS 105399 HAS SOPS 101222 HAS SOUS 41834 HAS SOUPS 41148 WITH SCORE 41253.399
AT ITER 7360 NEW BEST:: SOT 232442 SOS 105292 HAS SOPS 101115 HAS SOUS 41815 HAS SOUPS 41129 WITH SCORE 41234.292
AT ITER 7398 NEW BEST:: SOT 232004 SOS 104854 HAS SOPS 100677 HAS SOUS 41797 HAS SOUPS 41111 WITH SCORE 41215.854
AT ITER 7401 NEW BEST:: SOT 231999 SOS 104828 HAS SOPS 100651 HAS SOUS 41787 HAS SOUPS 41101 WITH SCORE 41205.828
AT ITER 7408 NEW BEST:: SOT 231992 SOS 104851 HAS SOPS 100674 HAS SOUS 41775 HAS SOUPS 41089 WITH SCORE 41193.851
AT ITER 7417 NEW BEST:: SOT 231990 SOS 104858 HAS SOPS 100681 HAS SOUS 41771 HAS SOUPS 41085 WITH SCORE 41189.858
AT ITER 7445 NEW BEST:: SOT 231972 SOS 104840 HAS SOPS 100654 HAS SOUS 41753 HAS SOUPS 41064 WITH SCORE 41168.84
AT ITER 7522 NEW BEST:: SOT 231979 SOS 104878 HAS SOPS 100692 HAS SOUS 41748 HAS SOUPS 41059 WITH SCORE 41163.878
AT ITER 7548 NEW BEST:: SOT 231979 SOS 104842 HAS SOPS 100656 HAS SOUS 41744 HAS SOUPS 41055 WITH SCORE 41159.842
AT ITER 7556 NEW BEST:: SOT 231954 SOS 104792 HAS SOPS 100606 HAS SOUS 41694 HAS SOUPS 41005 WITH SCORE 41109.792
AT ITER 7557 NEW BEST:: SOT 231925 SOS 104765 HAS SOPS 100579 HAS SOUS 41675 HAS SOUPS 40986 WITH SCORE 41090.765
AT ITER 7590 NEW BEST:: SOT 231924 SOS 104763 HAS SOPS 100577 HAS SOUS 41673 HAS SOUPS 40984 WITH SCORE 41088.763
AT ITER 7597 NEW BEST:: SOT 231924 SOS 104737 HAS SOPS 100551 HAS SOUS 41673 HAS SOUPS 40984 WITH SCORE 41088.737
AT ITER 7679 NEW BEST:: SOT 231816 SOS 104799 HAS SOPS 100745 HAS SOUS 41630 HAS SOUPS 40961 WITH SCORE 41065.799
AT ITER 7686 NEW BEST:: SOT 231816 SOS 104798 HAS SOPS 100744 HAS SOUS 41626 HAS SOUPS 40957 WITH SCORE 41061.798
AT ITER 7725 NEW BEST:: SOT 231806 SOS 104788 HAS SOPS 100734 HAS SOUS 41606 HAS SOUPS 40937 WITH SCORE 41041.788
AT ITER 7742 NEW BEST:: SOT 231736 SOS 104773 HAS SOPS 100719 HAS SOUS 41573 HAS SOUPS 40904 WITH SCORE 41008.773
AT ITER 7783 NEW BEST:: SOT 231702 SOS 104739 HAS SOPS 100685 HAS SOUS 41539 HAS SOUPS 40870 WITH SCORE 40974.739
AT ITER 7834 NEW BEST:: SOT 231678 SOS 104725 HAS SOPS 100671 HAS SOUS 41476 HAS SOUPS 40807 WITH SCORE 40911.725
AT ITER 7838 NEW BEST:: SOT 231656 SOS 104703 HAS SOPS 100649 HAS SOUS 41443 HAS SOUPS 40774 WITH SCORE 40878.703
AT ITER 7843 NEW BEST:: SOT 231656 SOS 104666 HAS SOPS 100612 HAS SOUS 41443 HAS SOUPS 40774 WITH SCORE 40878.666
AT ITER 7878 NEW BEST:: SOT 231623 SOS 104621 HAS SOPS 100567 HAS SOUS 41376 HAS SOUPS 40707 WITH SCORE 40811.621
AT ITER 7915 NEW BEST:: SOT 231613 SOS 104611 HAS SOPS 100557 HAS SOUS 41356 HAS SOUPS 40687 WITH SCORE 40791.611
AT ITER 8000 NEW BEST:: SOT 231604 SOS 104596 HAS SOPS 100542 HAS SOUS 41344 HAS SOUPS 40675 WITH SCORE 40779.596
AT ITER 8007 NEW BEST:: SOT 231532 SOS 104517 HAS SOPS 100463 HAS SOUS 41282 HAS SOUPS 40613 WITH SCORE 40717.517
AT ITER 8045 NEW BEST:: SOT 231517 SOS 104502 HAS SOPS 100448 HAS SOUS 41272 HAS SOUPS 40603 WITH SCORE 40707.502
AT ITER 8116 NEW BEST:: SOT 231505 SOS 104484 HAS SOPS 100430 HAS SOUS 41248 HAS SOUPS 40579 WITH SCORE 40683.484
AT ITER 8118 NEW BEST:: SOT 231504 SOS 104483 HAS SOPS 100429 HAS SOUS 41246 HAS SOUPS 40577 WITH SCORE 40681.483
AT ITER 8173 NEW BEST:: SOT 231486 SOS 104457 HAS SOPS 100403 HAS SOUS 41204 HAS SOUPS 40535 WITH SCORE 40639.457
AT ITER 8189 NEW BEST:: SOT 231410 SOS 104341 HAS SOPS 100287 HAS SOUS 41143 HAS SOUPS 40474 WITH SCORE 40578.341
AT ITER 8245 NEW BEST:: SOT 231308 SOS 104254 HAS SOPS 100200 HAS SOUS 41119 HAS SOUPS 40450 WITH SCORE 40554.254
AT ITER 8308 NEW BEST:: SOT 231308 SOS 104570 HAS SOPS 100523 HAS SOUS 41105 HAS SOUPS 40443 WITH SCORE 40547.57
AT ITER 8360 NEW BEST:: SOT 230542 SOS 103540 HAS SOPS 99493 HAS SOUS 40641 HAS SOUPS 39979 WITH SCORE 40082.54
AT ITER 8403 NEW BEST:: SOT 230530 SOS 103534 HAS SOPS 99487 HAS SOUS 40629 HAS SOUPS 39967 WITH SCORE 40070.534
AT ITER 8405 NEW BEST:: SOT 230528 SOS 103530 HAS SOPS 99483 HAS SOUS 40625 HAS SOUPS 39963 WITH SCORE 40066.53
AT ITER 8423 NEW BEST:: SOT 230517 SOS 103519 HAS SOPS 99472 HAS SOUS 40614 HAS SOUPS 39952 WITH SCORE 40055.519
AT ITER 8425 NEW BEST:: SOT 230515 SOS 103513 HAS SOPS 99466 HAS SOUS 40612 HAS SOUPS 39950 WITH SCORE 40053.513
AT ITER 8448 NEW BEST:: SOT 230515 SOS 103513 HAS SOPS 99466 HAS SOUS 40611 HAS SOUPS 39949 WITH SCORE 40052.513
AT ITER 8455 NEW BEST:: SOT 230393 SOS 103439 HAS SOPS 99392 HAS SOUS 40513 HAS SOUPS 39851 WITH SCORE 39954.439
AT ITER 8456 NEW BEST:: SOT 230388 SOS 103340 HAS SOPS 99381 HAS SOUS 40508 HAS SOUPS 39846 WITH SCORE 39949.34
AT ITER 8491 NEW BEST:: SOT 230358 SOS 103271 HAS SOPS 99351 HAS SOUS 40487 HAS SOUPS 39825 WITH SCORE 39928.271
AT ITER 8507 NEW BEST:: SOT 230358 SOS 103221 HAS SOPS 99301 HAS SOUS 40437 HAS SOUPS 39775 WITH SCORE 39878.221
AT ITER 8536 NEW BEST:: SOT 230353 SOS 103241 HAS SOPS 99321 HAS SOUS 40436 HAS SOUPS 39774 WITH SCORE 39877.241
AT ITER 8593 NEW BEST:: SOT 230341 SOS 103235 HAS SOPS 99315 HAS SOUS 40430 HAS SOUPS 39768 WITH SCORE 39871.235
AT ITER 8599 NEW BEST:: SOT 230341 SOS 103225 HAS SOPS 99305 HAS SOUS 40423 HAS SOUPS 39761 WITH SCORE 39864.225
AT ITER 8668 NEW BEST:: SOT 230341 SOS 103221 HAS SOPS 99293 HAS SOUS 40419 HAS SOUPS 39757 WITH SCORE 39860.221
AT ITER 8761 NEW BEST:: SOT 230337 SOS 103209 HAS SOPS 99281 HAS SOUS 40415 HAS SOUPS 39753 WITH SCORE 39856.209
AT ITER 8772 NEW BEST:: SOT 230334 SOS 103203 HAS SOPS 99275 HAS SOUS 40409 HAS SOUPS 39747 WITH SCORE 39850.203
AT ITER 8828 NEW BEST:: SOT 230346 SOS 103215 HAS SOPS 99287 HAS SOUS 40402 HAS SOUPS 39740 WITH SCORE 39843.215
AT ITER 8857 NEW BEST:: SOT 230346 SOS 103179 HAS SOPS 99251 HAS SOUS 40396 HAS SOUPS 39734 WITH SCORE 39837.179
AT ITER 8864 NEW BEST:: SOT 230338 SOS 103149 HAS SOPS 99250 HAS SOUS 40396 HAS SOUPS 39734 WITH SCORE 39837.149
AT ITER 8887 NEW BEST:: SOT 230336 SOS 103145 HAS SOPS 99246 HAS SOUS 40392 HAS SOUPS 39730 WITH SCORE 39833.145
AT ITER 8909 NEW BEST:: SOT 230184 SOS 102971 HAS SOPS 99072 HAS SOUS 40218 HAS SOUPS 39556 WITH SCORE 39658.971
AT ITER 9016 NEW BEST:: SOT 230184 SOS 102955 HAS SOPS 99056 HAS SOUS 40202 HAS SOUPS 39540 WITH SCORE 39642.955
AT ITER 9024 NEW BEST:: SOT 230097 SOS 102871 HAS SOPS 98972 HAS SOUS 40165 HAS SOUPS 39503 WITH SCORE 39605.871
AT ITER 9052 NEW BEST:: SOT 230103 SOS 102877 HAS SOPS 98978 HAS SOUS 40159 HAS SOUPS 39497 WITH SCORE 39599.877
AT ITER 9069 NEW BEST:: SOT 230103 SOS 102733 HAS SOPS 98834 HAS SOUS 40159 HAS SOUPS 39497 WITH SCORE 39599.733
AT ITER 9156 NEW BEST:: SOT 230096 SOS 102723 HAS SOPS 98824 HAS SOUS 40144 HAS SOUPS 39482 WITH SCORE 39584.723
AT ITER 9187 NEW BEST:: SOT 230092 SOS 102719 HAS SOPS 98820 HAS SOUS 40127 HAS SOUPS 39465 WITH SCORE 39567.719
AT ITER 9315 NEW BEST:: SOT 230087 SOS 102714 HAS SOPS 98815 HAS SOUS 40117 HAS SOUPS 39455 WITH SCORE 39557.714
AT ITER 9358 NEW BEST:: SOT 230102 SOS 102712 HAS SOPS 98813 HAS SOUS 40106 HAS SOUPS 39444 WITH SCORE 39546.712
AT ITER 9365 NEW BEST:: SOT 230096 SOS 102697 HAS SOPS 98804 HAS SOUS 40106 HAS SOUPS 39438 WITH SCORE 39540.697
AT ITER 9420 NEW BEST:: SOT 230092 SOS 102692 HAS SOPS 98799 HAS SOUS 40101 HAS SOUPS 39433 WITH SCORE 39535.692
AT ITER 9421 NEW BEST:: SOT 230091 SOS 102691 HAS SOPS 98798 HAS SOUS 40099 HAS SOUPS 39431 WITH SCORE 39533.691
AT ITER 9457 NEW BEST:: SOT 230086 SOS 102681 HAS SOPS 98788 HAS SOUS 40089 HAS SOUPS 39421 WITH SCORE 39523.681
AT ITER 9466 NEW BEST:: SOT 230086 SOS 102676 HAS SOPS 98783 HAS SOUS 40084 HAS SOUPS 39416 WITH SCORE 39518.676
AT ITER 9469 NEW BEST:: SOT 230072 SOS 102668 HAS SOPS 98775 HAS SOUS 40073 HAS SOUPS 39405 WITH SCORE 39507.668
AT ITER 9481 NEW BEST:: SOT 230147 SOS 102774 HAS SOPS 98778 HAS SOUS 40040 HAS SOUPS 39372 WITH SCORE 39474.774
AT ITER 9517 NEW BEST:: SOT 230147 SOS 102690 HAS SOPS 98694 HAS SOUS 40038 HAS SOUPS 39370 WITH SCORE 39472.69
AT ITER 9572 NEW BEST:: SOT 230142 SOS 102680 HAS SOPS 98684 HAS SOUS 40028 HAS SOUPS 39360 WITH SCORE 39462.68
AT ITER 9707 NEW BEST:: SOT 230137 SOS 102670 HAS SOPS 98554 HAS SOUS 40028 HAS SOUPS 39340 WITH SCORE 39442.67
AT ITER 9709 NEW BEST:: SOT 230171 SOS 102696 HAS SOPS 98580 HAS SOUS 40018 HAS SOUPS 39330 WITH SCORE 39432.696
AT ITER 9719 NEW BEST:: SOT 230173 SOS 102739 HAS SOPS 98131 HAS SOUS 40061 HAS SOUPS 39291 WITH SCORE 39393.739
AT ITER 9757 NEW BEST:: SOT 229926 SOS 102492 HAS SOPS 97884 HAS SOUS 39965 HAS SOUPS 39195 WITH SCORE 39297.492
AT ITER 9768 NEW BEST:: SOT 229921 SOS 102487 HAS SOPS 97879 HAS SOUS 39955 HAS SOUPS 39185 WITH SCORE 39287.487
AT ITER 9834 NEW BEST:: SOT 229891 SOS 102442 HAS SOPS 97834 HAS SOUS 39925 HAS SOUPS 39155 WITH SCORE 39257.442
AT ITER 9842 NEW BEST:: SOT 229880 SOS 102421 HAS SOPS 97813 HAS SOUS 39904 HAS SOUPS 39134 WITH SCORE 39236.421
AT ITER 9853 NEW BEST:: SOT 229872 SOS 102357 HAS SOPS 97749 HAS SOUS 39888 HAS SOUPS 39118 WITH SCORE 39220.357
AT ITER 9886 NEW BEST:: SOT 229865 SOS 102336 HAS SOPS 97728 HAS SOUS 39881 HAS SOUPS 39111 WITH SCORE 39213.336
AT ITER 9901 NEW BEST:: SOT 229861 SOS 102328 HAS SOPS 97720 HAS SOUS 39873 HAS SOUPS 39103 WITH SCORE 39205.328
AT ITER 9912 NEW BEST:: SOT 229826 SOS 102293 HAS SOPS 97692 HAS SOUS 39866 HAS SOUPS 39103 WITH SCORE 39205.293
AT ITER 9933 NEW BEST:: SOT 229700 SOS 102092 HAS SOPS 97491 HAS SOUS 39839 HAS SOUPS 39076 WITH SCORE 39178.092
AT ITER 9960 NEW BEST:: SOT 229695 SOS 102087 HAS SOPS 97486 HAS SOUS 39829 HAS SOUPS 39066 WITH SCORE 39168.087
AT ITER 9963 NEW BEST:: SOT 229697 SOS 102089 HAS SOPS 97487 HAS SOUS 39825 HAS SOUPS 39063 WITH SCORE 39165.089
AT ITER 9999 NEW BEST:: SOT 229683 SOS 102061 HAS SOPS 97459 HAS SOUS 39811 HAS SOUPS 39049 WITH SCORE 39151.061

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="PolyORBLF-PT-S02J04T06"
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 PolyORBLF-PT-S02J04T06, 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 r123-tajo-158961354700416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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