fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r063-tajo-158922806900024
Last Updated
Jun 28, 2020

About the Execution of smart for DLCshifumi-PT-3a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15793.750 991962.00 992060.00 0.00 [undef] Cannot compute

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-158922806900024.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 DLCshifumi-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 936K
-rw-r--r-- 1 mcc users 2.8K Mar 30 21:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 21:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 12:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 12:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:51 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:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 07:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 07:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 01:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 01:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 778K 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 1589357748093

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

Filename model.pnml
Petri model created: 544 places, 3097 transitions, 11545 arcs.
AT ITER 0 NEW BEST:: SOT 1161244 SOS 902926 HAS SOPS 486037 HAS SOUS 143202 HAS SOUPS 74919 WITH SCORE 75821.926
AT ITER 11 NEW BEST:: SOT 1160973 SOS 902384 HAS SOPS 485948 HAS SOUS 142645 HAS SOUPS 74513 WITH SCORE 75415.384
AT ITER 28 NEW BEST:: SOT 1160855 SOS 902148 HAS SOPS 486159 HAS SOUS 142378 HAS SOUPS 74395 WITH SCORE 75297.148
AT ITER 35 NEW BEST:: SOT 1160855 SOS 902148 HAS SOPS 486159 HAS SOUS 142314 HAS SOUPS 74331 WITH SCORE 75233.148
AT ITER 37 NEW BEST:: SOT 1160393 SOS 902201 HAS SOPS 485618 HAS SOUS 142103 HAS SOUPS 74054 WITH SCORE 74956.201
AT ITER 48 NEW BEST:: SOT 1160144 SOS 901703 HAS SOPS 485660 HAS SOUS 141565 HAS SOUPS 73696 WITH SCORE 74597.703
AT ITER 55 NEW BEST:: SOT 1160030 SOS 901418 HAS SOPS 485375 HAS SOUS 141451 HAS SOUPS 73582 WITH SCORE 74483.418
AT ITER 58 NEW BEST:: SOT 1160030 SOS 901418 HAS SOPS 485375 HAS SOUS 141373 HAS SOUPS 73504 WITH SCORE 74405.418
AT ITER 59 NEW BEST:: SOT 1159936 SOS 901145 HAS SOPS 485102 HAS SOUS 141194 HAS SOUPS 73325 WITH SCORE 74226.145
AT ITER 61 NEW BEST:: SOT 1158711 SOS 901285 HAS SOPS 484348 HAS SOUS 140342 HAS SOUPS 72473 WITH SCORE 73374.285
AT ITER 65 NEW BEST:: SOT 1158603 SOS 901069 HAS SOPS 484642 HAS SOUS 140098 HAS SOUPS 72399 WITH SCORE 73300.069
AT ITER 66 NEW BEST:: SOT 1157100 SOS 902449 HAS SOPS 484486 HAS SOUS 139082 HAS SOUPS 71383 WITH SCORE 72285.449
AT ITER 74 NEW BEST:: SOT 1155588 SOS 903368 HAS SOPS 484079 HAS SOUS 138096 HAS SOUPS 70397 WITH SCORE 71300.368
AT ITER 80 NEW BEST:: SOT 1155588 SOS 903368 HAS SOPS 484079 HAS SOUS 138082 HAS SOUPS 70383 WITH SCORE 71286.368
AT ITER 88 NEW BEST:: SOT 1155327 SOS 902846 HAS SOPS 484064 HAS SOUS 137522 HAS SOUPS 69992 WITH SCORE 70894.846
AT ITER 93 NEW BEST:: SOT 1154422 SOS 903294 HAS SOPS 483279 HAS SOUS 137038 HAS SOUPS 69371 WITH SCORE 70274.294
AT ITER 102 NEW BEST:: SOT 1154290 SOS 903030 HAS SOPS 483429 HAS SOUS 136778 HAS SOUPS 69249 WITH SCORE 70152.03
AT ITER 103 NEW BEST:: SOT 1152064 SOS 899404 HAS SOPS 482569 HAS SOUS 136539 HAS SOUPS 69196 WITH SCORE 70095.404
AT ITER 112 NEW BEST:: SOT 1150842 SOS 900323 HAS SOPS 482372 HAS SOUS 135856 HAS SOUPS 68513 WITH SCORE 69413.323
AT ITER 130 NEW BEST:: SOT 1150560 SOS 899759 HAS SOPS 482231 HAS SOUS 135292 HAS SOUPS 68090 WITH SCORE 68989.759
AT ITER 132 NEW BEST:: SOT 1150560 SOS 899759 HAS SOPS 482231 HAS SOUS 135250 HAS SOUPS 68048 WITH SCORE 68947.759
AT ITER 137 NEW BEST:: SOT 1150159 SOS 898818 HAS SOPS 481707 HAS SOUS 134587 HAS SOUPS 67524 WITH SCORE 68422.818
AT ITER 164 NEW BEST:: SOT 1150137 SOS 898774 HAS SOPS 481663 HAS SOUS 134565 HAS SOUPS 67502 WITH SCORE 68400.774
AT ITER 166 NEW BEST:: SOT 1150049 SOS 898499 HAS SOPS 481388 HAS SOUS 134378 HAS SOUPS 67315 WITH SCORE 68213.499
AT ITER 167 NEW BEST:: SOT 1149902 SOS 898499 HAS SOPS 481199 HAS SOUS 134294 HAS SOUPS 67210 WITH SCORE 68108.499
AT ITER 168 NEW BEST:: SOT 1149794 SOS 898283 HAS SOPS 481478 HAS SOUS 134057 HAS SOUPS 67138 WITH SCORE 68036.283
AT ITER 172 NEW BEST:: SOT 1147797 SOS 895083 HAS SOPS 480574 HAS SOUS 133800 HAS SOUPS 67030 WITH SCORE 67925.083
AT ITER 173 NEW BEST:: SOT 1147023 SOS 895899 HAS SOPS 480544 HAS SOUS 133155 HAS SOUPS 66385 WITH SCORE 67280.899
AT ITER 179 NEW BEST:: SOT 1146094 SOS 899678 HAS SOPS 482380 HAS SOUS 133191 HAS SOUPS 66333 WITH SCORE 67232.678
AT ITER 183 NEW BEST:: SOT 1145974 SOS 899057 HAS SOPS 482200 HAS SOUS 132937 HAS SOUPS 66226 WITH SCORE 67125.057
AT ITER 184 NEW BEST:: SOT 1145878 SOS 898812 HAS SOPS 481955 HAS SOUS 132788 HAS SOUPS 66077 WITH SCORE 66975.812
AT ITER 185 NEW BEST:: SOT 1145664 SOS 899524 HAS SOPS 482325 HAS SOUS 132631 HAS SOUPS 65920 WITH SCORE 66819.524
AT ITER 194 NEW BEST:: SOT 1145664 SOS 899524 HAS SOPS 482202 HAS SOUS 132631 HAS SOUPS 65879 WITH SCORE 66778.524
AT ITER 195 NEW BEST:: SOT 1144321 SOS 900859 HAS SOPS 482157 HAS SOUS 131798 HAS SOUPS 65046 WITH SCORE 65946.859
AT ITER 198 NEW BEST:: SOT 1144243 SOS 900577 HAS SOPS 482001 HAS SOUS 131678 HAS SOUPS 64968 WITH SCORE 65868.577
AT ITER 202 NEW BEST:: SOT 1144159 SOS 900057 HAS SOPS 481481 HAS SOUS 131505 HAS SOUPS 64795 WITH SCORE 65695.057
AT ITER 208 NEW BEST:: SOT 1142103 SOS 896705 HAS SOPS 480589 HAS SOUS 131223 HAS SOUPS 64663 WITH SCORE 65559.705
AT ITER 211 NEW BEST:: SOT 1142103 SOS 896705 HAS SOPS 480589 HAS SOUS 131157 HAS SOUPS 64597 WITH SCORE 65493.705
AT ITER 222 NEW BEST:: SOT 1142103 SOS 896705 HAS SOPS 480589 HAS SOUS 131079 HAS SOUPS 64519 WITH SCORE 65415.705
AT ITER 227 NEW BEST:: SOT 1142033 SOS 896565 HAS SOPS 480344 HAS SOUS 131044 HAS SOUPS 64449 WITH SCORE 65345.565
AT ITER 237 NEW BEST:: SOT 1142007 SOS 896513 HAS SOPS 480331 HAS SOUS 131005 HAS SOUPS 64423 WITH SCORE 65319.513
AT ITER 240 NEW BEST:: SOT 1140618 SOS 897860 HAS SOPS 480346 HAS SOUS 130060 HAS SOUPS 63478 WITH SCORE 64375.86
AT ITER 242 NEW BEST:: SOT 1139885 SOS 890166 HAS SOPS 481836 HAS SOUS 129933 HAS SOUPS 63351 WITH SCORE 64241.166
AT ITER 250 NEW BEST:: SOT 1139773 SOS 889872 HAS SOPS 481542 HAS SOUS 129821 HAS SOUPS 63239 WITH SCORE 64128.872
AT ITER 261 NEW BEST:: SOT 1139959 SOS 890244 HAS SOPS 481697 HAS SOUS 129287 HAS SOUPS 62908 WITH SCORE 63798.244
AT ITER 280 NEW BEST:: SOT 1138960 SOS 892653 HAS SOPS 482666 HAS SOUS 129018 HAS SOUPS 62639 WITH SCORE 63531.653
AT ITER 296 NEW BEST:: SOT 1138069 SOS 893645 HAS SOPS 482680 HAS SOUS 128653 HAS SOUPS 62274 WITH SCORE 63167.645
AT ITER 299 NEW BEST:: SOT 1138069 SOS 893645 HAS SOPS 482680 HAS SOUS 128623 HAS SOUPS 62244 WITH SCORE 63137.645
AT ITER 316 NEW BEST:: SOT 1137394 SOS 894066 HAS SOPS 482246 HAS SOUS 128380 HAS SOUPS 61906 WITH SCORE 62800.066
AT ITER 323 NEW BEST:: SOT 1137142 SOS 894822 HAS SOPS 482624 HAS SOUS 128191 HAS SOUPS 61717 WITH SCORE 62611.822
AT ITER 329 NEW BEST:: SOT 1137036 SOS 894610 HAS SOPS 482412 HAS SOUS 127995 HAS SOUPS 61521 WITH SCORE 62415.61
AT ITER 331 NEW BEST:: SOT 1135274 SOS 891994 HAS SOPS 481500 HAS SOUS 128017 HAS SOUPS 61504 WITH SCORE 62395.994
AT ITER 345 NEW BEST:: SOT 1135451 SOS 892720 HAS SOPS 481503 HAS SOUS 128149 HAS SOUPS 61395 WITH SCORE 62287.72
AT ITER 347 NEW BEST:: SOT 1135339 SOS 892496 HAS SOPS 481714 HAS SOUS 127900 HAS SOUPS 61291 WITH SCORE 62183.496
AT ITER 362 NEW BEST:: SOT 1135262 SOS 893562 HAS SOPS 482414 HAS SOUS 127884 HAS SOUPS 61275 WITH SCORE 62168.562
AT ITER 371 NEW BEST:: SOT 1135262 SOS 893562 HAS SOPS 482414 HAS SOUS 127880 HAS SOUPS 61271 WITH SCORE 62164.562
AT ITER 387 NEW BEST:: SOT 1134698 SOS 895157 HAS SOPS 483031 HAS SOUS 127860 HAS SOUPS 61251 WITH SCORE 62146.157
AT ITER 390 NEW BEST:: SOT 1134698 SOS 895157 HAS SOPS 483031 HAS SOUS 127782 HAS SOUPS 61173 WITH SCORE 62068.157
AT ITER 391 NEW BEST:: SOT 1134680 SOS 895121 HAS SOPS 482995 HAS SOUS 127746 HAS SOUPS 61137 WITH SCORE 62032.121
AT ITER 404 NEW BEST:: SOT 1134680 SOS 895121 HAS SOPS 483373 HAS SOUS 127551 HAS SOUPS 61068 WITH SCORE 61963.121
AT ITER 405 NEW BEST:: SOT 1134787 SOS 895291 HAS SOPS 483373 HAS SOUS 127535 HAS SOUPS 61030 WITH SCORE 61925.291
AT ITER 413 NEW BEST:: SOT 1133949 SOS 897376 HAS SOPS 484192 HAS SOUS 127335 HAS SOUPS 60830 WITH SCORE 61727.376
AT ITER 415 NEW BEST:: SOT 1134034 SOS 890106 HAS SOPS 484548 HAS SOUS 126905 HAS SOUPS 60586 WITH SCORE 61476.106
AT ITER 418 NEW BEST:: SOT 1132632 SOS 892630 HAS SOPS 484768 HAS SOUS 126512 HAS SOUPS 59937 WITH SCORE 60829.63
AT ITER 422 NEW BEST:: SOT 1129836 SOS 888793 HAS SOPS 482920 HAS SOUS 126281 HAS SOUPS 59919 WITH SCORE 60807.793
AT ITER 424 NEW BEST:: SOT 1128157 SOS 886726 HAS SOPS 481653 HAS SOUS 126192 HAS SOUPS 59857 WITH SCORE 60743.726
AT ITER 427 NEW BEST:: SOT 1128074 SOS 886560 HAS SOPS 481736 HAS SOUS 126026 HAS SOUPS 59774 WITH SCORE 60660.56
AT ITER 434 NEW BEST:: SOT 1128089 SOS 886212 HAS SOPS 481388 HAS SOUS 126020 HAS SOUPS 59768 WITH SCORE 60654.212
AT ITER 438 NEW BEST:: SOT 1128201 SOS 886378 HAS SOPS 481380 HAS SOUS 126018 HAS SOUPS 59708 WITH SCORE 60594.378
AT ITER 441 NEW BEST:: SOT 1128201 SOS 886378 HAS SOPS 481380 HAS SOUS 125942 HAS SOUPS 59632 WITH SCORE 60518.378
AT ITER 449 NEW BEST:: SOT 1128125 SOS 886273 HAS SOPS 481275 HAS SOUS 125923 HAS SOUPS 59613 WITH SCORE 60499.273
AT ITER 451 NEW BEST:: SOT 1128056 SOS 886694 HAS SOPS 481309 HAS SOUS 125852 HAS SOUPS 59499 WITH SCORE 60385.694
AT ITER 454 NEW BEST:: SOT 1127909 SOS 886694 HAS SOPS 481120 HAS SOUS 125768 HAS SOUPS 59394 WITH SCORE 60280.694
AT ITER 458 NEW BEST:: SOT 1127855 SOS 886586 HAS SOPS 481240 HAS SOUS 125649 HAS SOUPS 59351 WITH SCORE 60237.586
AT ITER 472 NEW BEST:: SOT 1127724 SOS 886702 HAS SOPS 481356 HAS SOUS 125392 HAS SOUPS 59094 WITH SCORE 59980.702
AT ITER 479 NEW BEST:: SOT 1126599 SOS 886474 HAS SOPS 480336 HAS SOUS 124580 HAS SOUPS 58282 WITH SCORE 59168.474
AT ITER 485 NEW BEST:: SOT 1126599 SOS 886474 HAS SOPS 480336 HAS SOUS 124562 HAS SOUPS 58264 WITH SCORE 59150.474
AT ITER 498 NEW BEST:: SOT 1126650 SOS 886576 HAS SOPS 480234 HAS SOUS 124511 HAS SOUPS 58213 WITH SCORE 59099.576
AT ITER 517 NEW BEST:: SOT 1126684 SOS 878915 HAS SOPS 479748 HAS SOUS 124324 HAS SOUPS 58201 WITH SCORE 59079.915
AT ITER 526 NEW BEST:: SOT 1126684 SOS 878915 HAS SOPS 479748 HAS SOUS 124309 HAS SOUPS 58186 WITH SCORE 59064.915
AT ITER 530 NEW BEST:: SOT 1126641 SOS 878725 HAS SOPS 479558 HAS SOUS 124217 HAS SOUPS 58094 WITH SCORE 58972.725
AT ITER 533 NEW BEST:: SOT 1125432 SOS 878526 HAS SOPS 478435 HAS SOUS 123298 HAS SOUPS 57175 WITH SCORE 58053.526
AT ITER 544 NEW BEST:: SOT 1125432 SOS 878526 HAS SOPS 478435 HAS SOUS 123224 HAS SOUPS 57101 WITH SCORE 57979.526
AT ITER 550 NEW BEST:: SOT 1125296 SOS 878371 HAS SOPS 478280 HAS SOUS 123144 HAS SOUPS 57021 WITH SCORE 57899.371
AT ITER 557 NEW BEST:: SOT 1125358 SOS 878371 HAS SOPS 478280 HAS SOUS 123112 HAS SOUPS 56989 WITH SCORE 57867.371
AT ITER 564 NEW BEST:: SOT 1125175 SOS 878949 HAS SOPS 478327 HAS SOUS 123077 HAS SOUPS 56895 WITH SCORE 57773.949
AT ITER 569 NEW BEST:: SOT 1125153 SOS 878905 HAS SOPS 478217 HAS SOUS 123077 HAS SOUPS 56873 WITH SCORE 57751.905
AT ITER 579 NEW BEST:: SOT 1124839 SOS 878277 HAS SOPS 477589 HAS SOUS 122702 HAS SOUPS 56498 WITH SCORE 57376.277
AT ITER 583 NEW BEST:: SOT 1124852 SOS 878283 HAS SOPS 477615 HAS SOUS 122694 HAS SOUPS 56484 WITH SCORE 57362.283
AT ITER 593 NEW BEST:: SOT 1122978 SOS 876043 HAS SOPS 475760 HAS SOUS 122817 HAS SOUPS 56482 WITH SCORE 57358.043
AT ITER 601 NEW BEST:: SOT 1121837 SOS 874257 HAS SOPS 475388 HAS SOUS 122595 HAS SOUPS 56394 WITH SCORE 57268.257
AT ITER 607 NEW BEST:: SOT 1121809 SOS 874208 HAS SOPS 475360 HAS SOUS 122581 HAS SOUPS 56387 WITH SCORE 57261.208
AT ITER 608 NEW BEST:: SOT 1119887 SOS 871980 HAS SOPS 473954 HAS SOUS 122478 HAS SOUPS 56309 WITH SCORE 57180.98
AT ITER 614 NEW BEST:: SOT 1120934 SOS 872619 HAS SOPS 474999 HAS SOUS 122286 HAS SOUPS 56131 WITH SCORE 57003.619
AT ITER 618 NEW BEST:: SOT 1120019 SOS 872755 HAS SOPS 474641 HAS SOUS 122113 HAS SOUPS 55958 WITH SCORE 56830.755
AT ITER 627 NEW BEST:: SOT 1120345 SOS 873097 HAS SOPS 474779 HAS SOUS 122078 HAS SOUPS 55919 WITH SCORE 56792.097
AT ITER 631 NEW BEST:: SOT 1120345 SOS 873097 HAS SOPS 474779 HAS SOUS 122000 HAS SOUPS 55841 WITH SCORE 56714.097
AT ITER 635 NEW BEST:: SOT 1120571 SOS 873549 HAS SOPS 475044 HAS SOUS 121665 HAS SOUPS 55693 WITH SCORE 56566.549
AT ITER 637 NEW BEST:: SOT 1120571 SOS 873549 HAS SOPS 475044 HAS SOUS 121587 HAS SOUPS 55615 WITH SCORE 56488.549
AT ITER 644 NEW BEST:: SOT 1118933 SOS 870851 HAS SOPS 474490 HAS SOUS 121382 HAS SOUPS 55615 WITH SCORE 56485.851
AT ITER 655 NEW BEST:: SOT 1118879 SOS 870791 HAS SOPS 474448 HAS SOUS 121376 HAS SOUPS 55609 WITH SCORE 56479.791
AT ITER 656 NEW BEST:: SOT 1118879 SOS 870623 HAS SOPS 474280 HAS SOUS 121342 HAS SOUPS 55575 WITH SCORE 56445.623
AT ITER 657 NEW BEST:: SOT 1119044 SOS 871532 HAS SOPS 474445 HAS SOUS 121523 HAS SOUPS 55508 WITH SCORE 56379.532
AT ITER 658 NEW BEST:: SOT 1119095 SOS 873714 HAS SOPS 475457 HAS SOUS 121627 HAS SOUPS 55482 WITH SCORE 56355.714
AT ITER 661 NEW BEST:: SOT 1119042 SOS 873608 HAS SOPS 475351 HAS SOUS 121522 HAS SOUPS 55377 WITH SCORE 56250.608
AT ITER 665 NEW BEST:: SOT 1118200 SOS 872101 HAS SOPS 474375 HAS SOUS 121013 HAS SOUPS 55045 WITH SCORE 55917.101
AT ITER 684 NEW BEST:: SOT 1118192 SOS 872085 HAS SOPS 474359 HAS SOUS 121004 HAS SOUPS 55036 WITH SCORE 55908.085
AT ITER 697 NEW BEST:: SOT 1118320 SOS 872476 HAS SOPS 474885 HAS SOUS 120862 HAS SOUPS 55029 WITH SCORE 55901.476
AT ITER 712 NEW BEST:: SOT 1118324 SOS 872472 HAS SOPS 474881 HAS SOUS 120862 HAS SOUPS 55029 WITH SCORE 55901.472
AT ITER 714 NEW BEST:: SOT 1117951 SOS 872827 HAS SOPS 474696 HAS SOUS 120789 HAS SOUPS 54896 WITH SCORE 55768.827
AT ITER 721 NEW BEST:: SOT 1118145 SOS 875457 HAS SOPS 473550 HAS SOUS 120747 HAS SOUPS 54854 WITH SCORE 55729.457
AT ITER 730 NEW BEST:: SOT 1118230 SOS 875512 HAS SOPS 473582 HAS SOUS 120723 HAS SOUPS 54853 WITH SCORE 55728.512
AT ITER 737 NEW BEST:: SOT 1118136 SOS 877157 HAS SOPS 473300 HAS SOUS 120723 HAS SOUPS 54806 WITH SCORE 55683.157
AT ITER 751 NEW BEST:: SOT 1118136 SOS 877157 HAS SOPS 473300 HAS SOUS 120707 HAS SOUPS 54790 WITH SCORE 55667.157
AT ITER 759 NEW BEST:: SOT 1118136 SOS 877157 HAS SOPS 473300 HAS SOUS 120653 HAS SOUPS 54736 WITH SCORE 55613.157
AT ITER 771 NEW BEST:: SOT 1118118 SOS 877067 HAS SOPS 473210 HAS SOUS 120617 HAS SOUPS 54700 WITH SCORE 55577.067
AT ITER 784 NEW BEST:: SOT 1117608 SOS 877586 HAS SOPS 473000 HAS SOUS 120452 HAS SOUPS 54454 WITH SCORE 55331.586
AT ITER 812 NEW BEST:: SOT 1118127 SOS 887652 HAS SOPS 473244 HAS SOUS 120437 HAS SOUPS 54419 WITH SCORE 55306.652
AT ITER 831 NEW BEST:: SOT 1117540 SOS 886778 HAS SOPS 473280 HAS SOUS 120548 HAS SOUPS 54378 WITH SCORE 55264.778
AT ITER 840 NEW BEST:: SOT 1118420 SOS 887915 HAS SOPS 473985 HAS SOUS 120435 HAS SOUPS 54286 WITH SCORE 55173.915
AT ITER 843 NEW BEST:: SOT 1118408 SOS 888230 HAS SOPS 474300 HAS SOUS 120423 HAS SOUPS 54274 WITH SCORE 55162.23
AT ITER 846 NEW BEST:: SOT 1118096 SOS 887658 HAS SOPS 473884 HAS SOUS 120215 HAS SOUPS 54118 WITH SCORE 55005.658
AT ITER 853 NEW BEST:: SOT 1118083 SOS 887632 HAS SOPS 473858 HAS SOUS 120205 HAS SOUPS 54108 WITH SCORE 54995.632
AT ITER 854 NEW BEST:: SOT 1117747 SOS 887632 HAS SOPS 473570 HAS SOUS 120061 HAS SOUPS 53964 WITH SCORE 54851.632
AT ITER 860 NEW BEST:: SOT 1117527 SOS 887192 HAS SOPS 473130 HAS SOUS 119841 HAS SOUPS 53744 WITH SCORE 54631.192
AT ITER 869 NEW BEST:: SOT 1117604 SOS 886812 HAS SOPS 473284 HAS SOUS 119604 HAS SOUPS 53685 WITH SCORE 54571.812
AT ITER 873 NEW BEST:: SOT 1117592 SOS 886788 HAS SOPS 473260 HAS SOUS 119595 HAS SOUPS 53676 WITH SCORE 54562.788
AT ITER 896 NEW BEST:: SOT 1117446 SOS 886496 HAS SOPS 473370 HAS SOUS 119190 HAS SOUPS 53405 WITH SCORE 54291.496
AT ITER 900 NEW BEST:: SOT 1117014 SOS 887102 HAS SOPS 473160 HAS SOUS 118665 HAS SOUPS 52880 WITH SCORE 53767.102
AT ITER 917 NEW BEST:: SOT 1116992 SOS 887018 HAS SOPS 472956 HAS SOUS 118672 HAS SOUPS 52847 WITH SCORE 53734.018
AT ITER 920 NEW BEST:: SOT 1114826 SOS 883430 HAS SOPS 472204 HAS SOUS 118362 HAS SOUPS 52839 WITH SCORE 53722.43
AT ITER 921 NEW BEST:: SOT 1114820 SOS 883418 HAS SOPS 472192 HAS SOUS 118356 HAS SOUPS 52833 WITH SCORE 53716.418
AT ITER 936 NEW BEST:: SOT 1114820 SOS 883388 HAS SOPS 472172 HAS SOUS 118326 HAS SOUPS 52813 WITH SCORE 53696.388
AT ITER 940 NEW BEST:: SOT 1114796 SOS 883340 HAS SOPS 472124 HAS SOUS 118302 HAS SOUPS 52789 WITH SCORE 53672.34
AT ITER 955 NEW BEST:: SOT 1114614 SOS 883029 HAS SOPS 471813 HAS SOUS 118249 HAS SOUPS 52736 WITH SCORE 53619.029
AT ITER 960 NEW BEST:: SOT 1114574 SOS 882929 HAS SOPS 471653 HAS SOUS 118201 HAS SOUPS 52668 WITH SCORE 53550.929
AT ITER 961 NEW BEST:: SOT 1114544 SOS 882869 HAS SOPS 471593 HAS SOUS 118171 HAS SOUPS 52638 WITH SCORE 53520.869
AT ITER 971 NEW BEST:: SOT 1114520 SOS 882821 HAS SOPS 471569 HAS SOUS 118158 HAS SOUPS 52626 WITH SCORE 53508.821
AT ITER 974 NEW BEST:: SOT 1114604 SOS 882962 HAS SOPS 471629 HAS SOUS 118161 HAS SOUPS 52602 WITH SCORE 53484.962
AT ITER 979 NEW BEST:: SOT 1114426 SOS 882513 HAS SOPS 471459 HAS SOUS 117983 HAS SOUPS 52517 WITH SCORE 53399.513
AT ITER 981 NEW BEST:: SOT 1114390 SOS 882741 HAS SOPS 471687 HAS SOUS 117926 HAS SOUPS 52460 WITH SCORE 53342.741
AT ITER 986 NEW BEST:: SOT 1114390 SOS 882741 HAS SOPS 471687 HAS SOUS 117879 HAS SOUPS 52413 WITH SCORE 53295.741
AT ITER 1023 NEW BEST:: SOT 1114298 SOS 882670 HAS SOPS 471955 HAS SOUS 117674 HAS SOUPS 52321 WITH SCORE 53203.67
AT ITER 1024 NEW BEST:: SOT 1114358 SOS 884320 HAS SOPS 472485 HAS SOUS 117599 HAS SOUPS 52196 WITH SCORE 53080.32
AT ITER 1034 NEW BEST:: SOT 1113599 SOS 882965 HAS SOPS 471619 HAS SOUS 117126 HAS SOUPS 51886 WITH SCORE 52768.965
AT ITER 1043 NEW BEST:: SOT 1113599 SOS 882965 HAS SOPS 471619 HAS SOUS 117114 HAS SOUPS 51874 WITH SCORE 52756.965
AT ITER 1053 NEW BEST:: SOT 1113611 SOS 882937 HAS SOPS 471591 HAS SOUS 117074 HAS SOUPS 51834 WITH SCORE 52716.937
AT ITER 1058 NEW BEST:: SOT 1113611 SOS 882937 HAS SOPS 471591 HAS SOUS 117002 HAS SOUPS 51762 WITH SCORE 52644.937
AT ITER 1060 NEW BEST:: SOT 1113088 SOS 882063 HAS SOPS 471158 HAS SOUS 116386 HAS SOUPS 51293 WITH SCORE 52175.063
AT ITER 1066 NEW BEST:: SOT 1113062 SOS 882011 HAS SOPS 471067 HAS SOUS 116373 HAS SOUPS 51267 WITH SCORE 52149.011
AT ITER 1069 NEW BEST:: SOT 1111002 SOS 879288 HAS SOPS 469617 HAS SOUS 116101 HAS SOUPS 51147 WITH SCORE 52026.288
AT ITER 1077 NEW BEST:: SOT 1110666 SOS 879762 HAS SOPS 469539 HAS SOUS 116099 HAS SOUPS 51076 WITH SCORE 51955.762
AT ITER 1080 NEW BEST:: SOT 1110666 SOS 879762 HAS SOPS 469539 HAS SOUS 116067 HAS SOUPS 51044 WITH SCORE 51923.762
AT ITER 1081 NEW BEST:: SOT 1110505 SOS 879816 HAS SOPS 469455 HAS SOUS 116016 HAS SOUPS 50993 WITH SCORE 51872.816
AT ITER 1085 NEW BEST:: SOT 1110131 SOS 879401 HAS SOPS 469163 HAS SOUS 115970 HAS SOUPS 50947 WITH SCORE 51826.401
AT ITER 1094 NEW BEST:: SOT 1110125 SOS 879445 HAS SOPS 469375 HAS SOUS 115908 HAS SOUPS 50941 WITH SCORE 51820.445
AT ITER 1096 NEW BEST:: SOT 1110103 SOS 879401 HAS SOPS 469331 HAS SOUS 115886 HAS SOUPS 50919 WITH SCORE 51798.401
AT ITER 1099 NEW BEST:: SOT 1110103 SOS 879401 HAS SOPS 469331 HAS SOUS 115884 HAS SOUPS 50917 WITH SCORE 51796.401
AT ITER 1128 NEW BEST:: SOT 1110081 SOS 879757 HAS SOPS 469567 HAS SOUS 115882 HAS SOUPS 50915 WITH SCORE 51794.757
AT ITER 1133 NEW BEST:: SOT 1110042 SOS 879562 HAS SOPS 469489 HAS SOUS 115803 HAS SOUPS 50875 WITH SCORE 51754.562
AT ITER 1140 NEW BEST:: SOT 1110430 SOS 880199 HAS SOPS 469709 HAS SOUS 115858 HAS SOUPS 50791 WITH SCORE 51671.199
AT ITER 1142 NEW BEST:: SOT 1110430 SOS 880199 HAS SOPS 469709 HAS SOUS 115850 HAS SOUPS 50783 WITH SCORE 51663.199
AT ITER 1152 NEW BEST:: SOT 1110430 SOS 880199 HAS SOPS 469709 HAS SOUS 115794 HAS SOUPS 50727 WITH SCORE 51607.199
AT ITER 1153 NEW BEST:: SOT 1110386 SOS 880111 HAS SOPS 469621 HAS SOUS 115753 HAS SOUPS 50686 WITH SCORE 51566.111
AT ITER 1154 NEW BEST:: SOT 1110386 SOS 880111 HAS SOPS 469621 HAS SOUS 115741 HAS SOUPS 50674 WITH SCORE 51554.111
AT ITER 1164 NEW BEST:: SOT 1110063 SOS 879360 HAS SOPS 469557 HAS SOUS 115469 HAS SOUPS 50631 WITH SCORE 51510.36
AT ITER 1169 NEW BEST:: SOT 1110063 SOS 879351 HAS SOPS 469548 HAS SOUS 115460 HAS SOUPS 50622 WITH SCORE 51501.351
AT ITER 1170 NEW BEST:: SOT 1109853 SOS 879210 HAS SOPS 469134 HAS SOUS 115294 HAS SOUPS 50416 WITH SCORE 51295.21
AT ITER 1182 NEW BEST:: SOT 1109852 SOS 879209 HAS SOPS 469133 HAS SOUS 115283 HAS SOUPS 50405 WITH SCORE 51284.209
AT ITER 1184 NEW BEST:: SOT 1109842 SOS 879189 HAS SOPS 469113 HAS SOUS 115273 HAS SOUPS 50395 WITH SCORE 51274.189
AT ITER 1185 NEW BEST:: SOT 1109842 SOS 879189 HAS SOPS 469113 HAS SOUS 115197 HAS SOUPS 50319 WITH SCORE 51198.189
AT ITER 1193 NEW BEST:: SOT 1109686 SOS 879540 HAS SOPS 469230 HAS SOUS 115116 HAS SOUPS 50238 WITH SCORE 51117.54
AT ITER 1195 NEW BEST:: SOT 1109686 SOS 879576 HAS SOPS 469266 HAS SOUS 115104 HAS SOUPS 50226 WITH SCORE 51105.576
AT ITER 1202 NEW BEST:: SOT 1109433 SOS 879188 HAS SOPS 468996 HAS SOUS 114900 HAS SOUPS 50140 WITH SCORE 51019.188
AT ITER 1203 NEW BEST:: SOT 1107167 SOS 876213 HAS SOPS 467713 HAS SOUS 114691 HAS SOUPS 50119 WITH SCORE 50995.213
AT ITER 1206 NEW BEST:: SOT 1106941 SOS 875849 HAS SOPS 467613 HAS SOUS 114550 HAS SOUPS 50066 WITH SCORE 50941.849
AT ITER 1208 NEW BEST:: SOT 1106929 SOS 875621 HAS SOPS 467589 HAS SOUS 114432 HAS SOUPS 50016 WITH SCORE 50891.621
AT ITER 1226 NEW BEST:: SOT 1106605 SOS 875293 HAS SOPS 467261 HAS SOUS 114361 HAS SOUPS 49945 WITH SCORE 50820.293
AT ITER 1227 NEW BEST:: SOT 1106619 SOS 875321 HAS SOPS 466737 HAS SOUS 114415 HAS SOUPS 49815 WITH SCORE 50690.321
AT ITER 1229 NEW BEST:: SOT 1106619 SOS 875321 HAS SOPS 466737 HAS SOUS 114405 HAS SOUPS 49805 WITH SCORE 50680.321
AT ITER 1246 NEW BEST:: SOT 1106610 SOS 875303 HAS SOPS 466719 HAS SOUS 114396 HAS SOUPS 49796 WITH SCORE 50671.303
AT ITER 1252 NEW BEST:: SOT 1106594 SOS 875271 HAS SOPS 466540 HAS SOUS 114410 HAS SOUPS 49761 WITH SCORE 50636.271
AT ITER 1253 NEW BEST:: SOT 1106482 SOS 875076 HAS SOPS 466432 HAS SOUS 114356 HAS SOUPS 49736 WITH SCORE 50611.076
AT ITER 1255 NEW BEST:: SOT 1106503 SOS 874378 HAS SOPS 465956 HAS SOUS 114340 HAS SOUPS 49720 WITH SCORE 50594.378
AT ITER 1269 NEW BEST:: SOT 1106597 SOS 874378 HAS SOPS 465956 HAS SOUS 114304 HAS SOUPS 49684 WITH SCORE 50558.378
AT ITER 1288 NEW BEST:: SOT 1106268 SOS 873813 HAS SOPS 465670 HAS SOUS 114152 HAS SOUPS 49625 WITH SCORE 50498.813
AT ITER 1293 NEW BEST:: SOT 1103491 SOS 870205 HAS SOPS 463977 HAS SOUS 113916 HAS SOUPS 49596 WITH SCORE 50466.205
AT ITER 1302 NEW BEST:: SOT 1103924 SOS 871143 HAS SOPS 464129 HAS SOUS 113985 HAS SOUPS 49562 WITH SCORE 50433.143
AT ITER 1307 NEW BEST:: SOT 1102909 SOS 873016 HAS SOPS 464004 HAS SOUS 113942 HAS SOUPS 49297 WITH SCORE 50170.016
AT ITER 1310 NEW BEST:: SOT 1102909 SOS 873016 HAS SOPS 464004 HAS SOUS 113938 HAS SOUPS 49293 WITH SCORE 50166.016
AT ITER 1315 NEW BEST:: SOT 1102873 SOS 872944 HAS SOPS 463932 HAS SOUS 113920 HAS SOUPS 49275 WITH SCORE 50147.944
AT ITER 1331 NEW BEST:: SOT 1102871 SOS 872940 HAS SOPS 463858 HAS SOUS 113846 HAS SOUPS 49201 WITH SCORE 50073.94
AT ITER 1359 NEW BEST:: SOT 1102888 SOS 873046 HAS SOPS 463667 HAS SOUS 113811 HAS SOUPS 49067 WITH SCORE 49940.046
AT ITER 1371 NEW BEST:: SOT 1102853 SOS 872976 HAS SOPS 463597 HAS SOUS 113752 HAS SOUPS 49008 WITH SCORE 49880.976
AT ITER 1377 NEW BEST:: SOT 1102669 SOS 872700 HAS SOPS 463597 HAS SOUS 113476 HAS SOUPS 48824 WITH SCORE 49696.7
AT ITER 1379 NEW BEST:: SOT 1102412 SOS 871730 HAS SOPS 462627 HAS SOUS 113219 HAS SOUPS 48567 WITH SCORE 49438.73
AT ITER 1387 NEW BEST:: SOT 1102137 SOS 871235 HAS SOPS 462297 HAS SOUS 113014 HAS SOUPS 48417 WITH SCORE 49288.235
AT ITER 1389 NEW BEST:: SOT 1102176 SOS 871266 HAS SOPS 462187 HAS SOUS 113045 HAS SOUPS 48401 WITH SCORE 49272.266
AT ITER 1405 NEW BEST:: SOT 1102428 SOS 871346 HAS SOPS 462267 HAS SOUS 113025 HAS SOUPS 48381 WITH SCORE 49252.346
AT ITER 1412 NEW BEST:: SOT 1102428 SOS 871346 HAS SOPS 462267 HAS SOUS 112987 HAS SOUPS 48343 WITH SCORE 49214.346
AT ITER 1420 NEW BEST:: SOT 1102428 SOS 871346 HAS SOPS 462267 HAS SOUS 112951 HAS SOUPS 48307 WITH SCORE 49178.346
AT ITER 1438 NEW BEST:: SOT 1101339 SOS 869882 HAS SOPS 461655 HAS SOUS 112849 HAS SOUPS 48307 WITH SCORE 49176.882
AT ITER 1446 NEW BEST:: SOT 1101309 SOS 869822 HAS SOPS 461595 HAS SOUS 112819 HAS SOUPS 48277 WITH SCORE 49146.822
AT ITER 1447 NEW BEST:: SOT 1101309 SOS 869762 HAS SOPS 461535 HAS SOUS 112819 HAS SOUPS 48277 WITH SCORE 49146.762
AT ITER 1450 NEW BEST:: SOT 1101029 SOS 869844 HAS SOPS 461347 HAS SOUS 112686 HAS SOUPS 48144 WITH SCORE 49013.844
AT ITER 1459 NEW BEST:: SOT 1100951 SOS 870088 HAS SOPS 461411 HAS SOUS 112678 HAS SOUPS 48116 WITH SCORE 48986.088
AT ITER 1460 NEW BEST:: SOT 1100965 SOS 870116 HAS SOPS 461439 HAS SOUS 112667 HAS SOUPS 48105 WITH SCORE 48975.116
AT ITER 1479 NEW BEST:: SOT 1100901 SOS 869988 HAS SOPS 461503 HAS SOUS 112539 HAS SOUPS 48041 WITH SCORE 48910.988
AT ITER 1515 NEW BEST:: SOT 1100911 SOS 869988 HAS SOPS 461503 HAS SOUS 112534 HAS SOUPS 48036 WITH SCORE 48905.988
AT ITER 1521 NEW BEST:: SOT 1101388 SOS 871526 HAS SOPS 462356 HAS SOUS 112537 HAS SOUPS 48002 WITH SCORE 48873.526
AT ITER 1525 NEW BEST:: SOT 1101384 SOS 871438 HAS SOPS 462304 HAS SOUS 112521 HAS SOUPS 47990 WITH SCORE 48861.438
AT ITER 1536 NEW BEST:: SOT 1101322 SOS 871493 HAS SOPS 462359 HAS SOUS 112459 HAS SOUPS 47928 WITH SCORE 48799.493
AT ITER 1537 NEW BEST:: SOT 1101202 SOS 871593 HAS SOPS 462339 HAS SOUS 112419 HAS SOUPS 47888 WITH SCORE 48759.593
AT ITER 1547 NEW BEST:: SOT 1101112 SOS 871428 HAS SOPS 462219 HAS SOUS 112359 HAS SOUPS 47843 WITH SCORE 48714.428
AT ITER 1549 NEW BEST:: SOT 1099770 SOS 869678 HAS SOPS 461195 HAS SOUS 112286 HAS SOUPS 47770 WITH SCORE 48639.678
AT ITER 1576 NEW BEST:: SOT 1099646 SOS 869286 HAS SOPS 460803 HAS SOUS 112156 HAS SOUPS 47640 WITH SCORE 48509.286
AT ITER 1580 NEW BEST:: SOT 1099642 SOS 869270 HAS SOPS 460787 HAS SOUS 112150 HAS SOUPS 47634 WITH SCORE 48503.27
AT ITER 1588 NEW BEST:: SOT 1099642 SOS 869270 HAS SOPS 460787 HAS SOUS 112144 HAS SOUPS 47628 WITH SCORE 48497.27
AT ITER 1590 NEW BEST:: SOT 1099654 SOS 869294 HAS SOPS 460721 HAS SOUS 112148 HAS SOUPS 47587 WITH SCORE 48456.294
AT ITER 1606 NEW BEST:: SOT 1099654 SOS 869279 HAS SOPS 460661 HAS SOUS 112163 HAS SOUPS 47587 WITH SCORE 48456.279
AT ITER 1613 NEW BEST:: SOT 1099677 SOS 869197 HAS SOPS 460675 HAS SOUS 112090 HAS SOUPS 47546 WITH SCORE 48415.197
AT ITER 1624 NEW BEST:: SOT 1099629 SOS 869241 HAS SOPS 460639 HAS SOUS 112075 HAS SOUPS 47530 WITH SCORE 48399.241
AT ITER 1628 NEW BEST:: SOT 1099607 SOS 869209 HAS SOPS 460607 HAS SOUS 112057 HAS SOUPS 47512 WITH SCORE 48381.209
AT ITER 1650 NEW BEST:: SOT 1099579 SOS 869160 HAS SOPS 460558 HAS SOUS 112043 HAS SOUPS 47498 WITH SCORE 48367.16
AT ITER 1652 NEW BEST:: SOT 1099597 SOS 869178 HAS SOPS 460576 HAS SOUS 111987 HAS SOUPS 47442 WITH SCORE 48311.178
AT ITER 1688 NEW BEST:: SOT 1099732 SOS 868148 HAS SOPS 460047 HAS SOUS 111921 HAS SOUPS 47441 WITH SCORE 48309.148
AT ITER 1693 NEW BEST:: SOT 1099590 SOS 868007 HAS SOPS 459920 HAS SOUS 111890 HAS SOUPS 47410 WITH SCORE 48278.007
AT ITER 1701 NEW BEST:: SOT 1099586 SOS 867999 HAS SOPS 459908 HAS SOUS 111894 HAS SOUPS 47410 WITH SCORE 48277.999
AT ITER 1704 NEW BEST:: SOT 1099586 SOS 867999 HAS SOPS 459908 HAS SOUS 111826 HAS SOUPS 47342 WITH SCORE 48209.999
AT ITER 1721 NEW BEST:: SOT 1099564 SOS 867962 HAS SOPS 459892 HAS SOUS 111818 HAS SOUPS 47341 WITH SCORE 48208.962
AT ITER 1728 NEW BEST:: SOT 1097742 SOS 865922 HAS SOPS 458267 HAS SOUS 111799 HAS SOUPS 47201 WITH SCORE 48066.922
AT ITER 1735 NEW BEST:: SOT 1097734 SOS 865921 HAS SOPS 458206 HAS SOUS 111802 HAS SOUPS 47184 WITH SCORE 48049.921
AT ITER 1758 NEW BEST:: SOT 1097687 SOS 865677 HAS SOPS 458112 HAS SOUS 111608 HAS SOUPS 47040 WITH SCORE 47905.677
AT ITER 1767 NEW BEST:: SOT 1097673 SOS 864407 HAS SOPS 458570 HAS SOUS 111608 HAS SOUPS 47040 WITH SCORE 47904.407
AT ITER 1792 NEW BEST:: SOT 1097637 SOS 864371 HAS SOPS 458534 HAS SOUS 111506 HAS SOUPS 46938 WITH SCORE 47802.371
AT ITER 1798 NEW BEST:: SOT 1097625 SOS 865249 HAS SOPS 458100 HAS SOUS 111449 HAS SOUPS 46881 WITH SCORE 47746.249
AT ITER 1808 NEW BEST:: SOT 1097147 SOS 865935 HAS SOPS 458198 HAS SOUS 111388 HAS SOUPS 46820 WITH SCORE 47685.935
AT ITER 1822 NEW BEST:: SOT 1095338 SOS 864024 HAS SOPS 456994 HAS SOUS 111364 HAS SOUPS 46815 WITH SCORE 47679.024
AT ITER 1834 NEW BEST:: SOT 1095340 SOS 863857 HAS SOPS 456998 HAS SOUS 111291 HAS SOUPS 46799 WITH SCORE 47662.857
AT ITER 1875 NEW BEST:: SOT 1095961 SOS 864493 HAS SOPS 457346 HAS SOUS 111255 HAS SOUPS 46763 WITH SCORE 47627.493
AT ITER 1901 NEW BEST:: SOT 1095961 SOS 864493 HAS SOPS 457346 HAS SOUS 111231 HAS SOUPS 46739 WITH SCORE 47603.493
AT ITER 1939 NEW BEST:: SOT 1097185 SOS 866023 HAS SOPS 457958 HAS SOUS 111255 HAS SOUPS 46661 WITH SCORE 47527.023
AT ITER 1946 NEW BEST:: SOT 1097061 SOS 866209 HAS SOPS 457958 HAS SOUS 111131 HAS SOUPS 46537 WITH SCORE 47403.209
AT ITER 1959 NEW BEST:: SOT 1096676 SOS 866833 HAS SOPS 458090 HAS SOUS 111074 HAS SOUPS 46480 WITH SCORE 47346.833
AT ITER 1973 NEW BEST:: SOT 1096596 SOS 866701 HAS SOPS 458042 HAS SOUS 111026 HAS SOUPS 46460 WITH SCORE 47326.701
AT ITER 1975 NEW BEST:: SOT 1096521 SOS 866551 HAS SOPS 457892 HAS SOUS 110882 HAS SOUPS 46316 WITH SCORE 47182.551
AT ITER 1990 NEW BEST:: SOT 1096597 SOS 866665 HAS SOPS 457892 HAS SOUS 110882 HAS SOUPS 46278 WITH SCORE 47144.665
AT ITER 1995 NEW BEST:: SOT 1096477 SOS 866506 HAS SOPS 457814 HAS SOUS 110864 HAS SOUPS 46269 WITH SCORE 47135.506
AT ITER 1996 NEW BEST:: SOT 1096491 SOS 866097 HAS SOPS 457405 HAS SOUS 110787 HAS SOUPS 46192 WITH SCORE 47058.097
AT ITER 2013 NEW BEST:: SOT 1096803 SOS 866292 HAS SOPS 457561 HAS SOUS 110670 HAS SOUPS 46114 WITH SCORE 46980.292
AT ITER 2018 NEW BEST:: SOT 1096837 SOS 866344 HAS SOPS 457561 HAS SOUS 110656 HAS SOUPS 46098 WITH SCORE 46964.344
AT ITER 2021 NEW BEST:: SOT 1096797 SOS 866304 HAS SOPS 457521 HAS SOUS 110646 HAS SOUPS 46088 WITH SCORE 46954.304
AT ITER 2025 NEW BEST:: SOT 1096721 SOS 866152 HAS SOPS 457369 HAS SOUS 110619 HAS SOUPS 46061 WITH SCORE 46927.152
AT ITER 2032 NEW BEST:: SOT 1096916 SOS 866567 HAS SOPS 457414 HAS SOUS 110681 HAS SOUPS 46048 WITH SCORE 46914.567
AT ITER 2033 NEW BEST:: SOT 1096016 SOS 865442 HAS SOPS 456964 HAS SOUS 110584 HAS SOUPS 46026 WITH SCORE 46891.442
AT ITER 2038 NEW BEST:: SOT 1096044 SOS 865533 HAS SOPS 456964 HAS SOUS 110549 HAS SOUPS 45991 WITH SCORE 46856.533
AT ITER 2047 NEW BEST:: SOT 1095783 SOS 866433 HAS SOPS 457081 HAS SOUS 110462 HAS SOUPS 45817 WITH SCORE 46683.433
AT ITER 2055 NEW BEST:: SOT 1095783 SOS 866433 HAS SOPS 457081 HAS SOUS 110422 HAS SOUPS 45777 WITH SCORE 46643.433
AT ITER 2056 NEW BEST:: SOT 1095781 SOS 866519 HAS SOPS 457077 HAS SOUS 110450 HAS SOUPS 45775 WITH SCORE 46641.519
AT ITER 2070 NEW BEST:: SOT 1096070 SOS 864530 HAS SOPS 456018 HAS SOUS 110437 HAS SOUPS 45759 WITH SCORE 46623.53
AT ITER 2071 NEW BEST:: SOT 1096047 SOS 865039 HAS SOPS 456527 HAS SOUS 110416 HAS SOUPS 45738 WITH SCORE 46603.039
AT ITER 2072 NEW BEST:: SOT 1096038 SOS 865021 HAS SOPS 456509 HAS SOUS 110407 HAS SOUPS 45729 WITH SCORE 46594.021
AT ITER 2078 NEW BEST:: SOT 1096008 SOS 864906 HAS SOPS 456429 HAS SOUS 110407 HAS SOUPS 45729 WITH SCORE 46593.906
AT ITER 2082 NEW BEST:: SOT 1094818 SOS 863990 HAS SOPS 455719 HAS SOUS 110547 HAS SOUPS 45704 WITH SCORE 46567.99
AT ITER 2084 NEW BEST:: SOT 1094179 SOS 863368 HAS SOPS 454674 HAS SOUS 110555 HAS SOUPS 45486 WITH SCORE 46349.368
AT ITER 2107 NEW BEST:: SOT 1094179 SOS 863368 HAS SOPS 454674 HAS SOUS 110489 HAS SOUPS 45420 WITH SCORE 46283.368
AT ITER 2110 NEW BEST:: SOT 1094175 SOS 862520 HAS SOPS 453826 HAS SOUS 110489 HAS SOUPS 45420 WITH SCORE 46282.52
AT ITER 2136 NEW BEST:: SOT 1094150 SOS 862470 HAS SOPS 453776 HAS SOUS 110429 HAS SOUPS 45360 WITH SCORE 46222.47
AT ITER 2137 NEW BEST:: SOT 1094847 SOS 863676 HAS SOPS 454488 HAS SOUS 110562 HAS SOUPS 45340 WITH SCORE 46203.676
AT ITER 2138 NEW BEST:: SOT 1094817 SOS 863862 HAS SOPS 454179 HAS SOUS 110697 HAS SOUPS 45310 WITH SCORE 46173.862
AT ITER 2148 NEW BEST:: SOT 1094817 SOS 863862 HAS SOPS 454179 HAS SOUS 110695 HAS SOUPS 45308 WITH SCORE 46171.862
AT ITER 2158 NEW BEST:: SOT 1094872 SOS 863972 HAS SOPS 454121 HAS SOUS 110664 HAS SOUPS 45273 WITH SCORE 46136.972
AT ITER 2176 NEW BEST:: SOT 1094804 SOS 864361 HAS SOPS 454348 HAS SOUS 110631 HAS SOUPS 45240 WITH SCORE 46104.361
AT ITER 2177 NEW BEST:: SOT 1094450 SOS 863996 HAS SOPS 454054 HAS SOUS 110625 HAS SOUPS 45240 WITH SCORE 46103.996
AT ITER 2181 NEW BEST:: SOT 1093470 SOS 862848 HAS SOPS 453368 HAS SOUS 110592 HAS SOUPS 45207 WITH SCORE 46069.848
AT ITER 2186 NEW BEST:: SOT 1093366 SOS 862744 HAS SOPS 453264 HAS SOUS 110592 HAS SOUPS 45207 WITH SCORE 46069.744
AT ITER 2187 NEW BEST:: SOT 1092862 SOS 862184 HAS SOPS 452928 HAS SOUS 110592 HAS SOUPS 45207 WITH SCORE 46069.184
AT ITER 2192 NEW BEST:: SOT 1089943 SOS 858411 HAS SOPS 451219 HAS SOUS 110343 HAS SOUPS 45184 WITH SCORE 46042.411
AT ITER 2197 NEW BEST:: SOT 1089931 SOS 858393 HAS SOPS 451213 HAS SOUS 110334 HAS SOUPS 45178 WITH SCORE 46036.393
AT ITER 2202 NEW BEST:: SOT 1090161 SOS 858623 HAS SOPS 451305 HAS SOUS 110288 HAS SOUPS 45132 WITH SCORE 45990.623
AT ITER 2219 NEW BEST:: SOT 1089995 SOS 860362 HAS SOPS 452063 HAS SOUS 110364 HAS SOUPS 45099 WITH SCORE 45959.362
AT ITER 2220 NEW BEST:: SOT 1089773 SOS 860121 HAS SOPS 451688 HAS SOUS 110296 HAS SOUPS 44962 WITH SCORE 45822.121
AT ITER 2233 NEW BEST:: SOT 1088360 SOS 858470 HAS SOPS 450823 HAS SOUS 110288 HAS SOUPS 44937 WITH SCORE 45795.47
AT ITER 2240 NEW BEST:: SOT 1088431 SOS 858583 HAS SOPS 450849 HAS SOUS 110272 HAS SOUPS 44892 WITH SCORE 45750.583
AT ITER 2268 NEW BEST:: SOT 1088425 SOS 858571 HAS SOPS 450837 HAS SOUS 110266 HAS SOUPS 44886 WITH SCORE 45744.571
AT ITER 2277 NEW BEST:: SOT 1088462 SOS 857942 HAS SOPS 450541 HAS SOUS 110229 HAS SOUPS 44886 WITH SCORE 45743.942
AT ITER 2278 NEW BEST:: SOT 1088474 SOS 857930 HAS SOPS 450541 HAS SOUS 110229 HAS SOUPS 44886 WITH SCORE 45743.93
AT ITER 2280 NEW BEST:: SOT 1088474 SOS 857930 HAS SOPS 450541 HAS SOUS 110181 HAS SOUPS 44838 WITH SCORE 45695.93
AT ITER 2286 NEW BEST:: SOT 1087990 SOS 857519 HAS SOPS 450173 HAS SOUS 110128 HAS SOUPS 44785 WITH SCORE 45642.519
AT ITER 2287 NEW BEST:: SOT 1087461 SOS 856741 HAS SOPS 450077 HAS SOUS 110030 HAS SOUPS 44737 WITH SCORE 45593.741
AT ITER 2313 NEW BEST:: SOT 1087117 SOS 856139 HAS SOPS 449733 HAS SOUS 109944 HAS SOUPS 44737 WITH SCORE 45593.139
AT ITER 2316 NEW BEST:: SOT 1087108 SOS 856121 HAS SOPS 449772 HAS SOUS 109912 HAS SOUPS 44724 WITH SCORE 45580.121
AT ITER 2322 NEW BEST:: SOT 1088414 SOS 857513 HAS SOPS 450510 HAS SOUS 109853 HAS SOUPS 44671 WITH SCORE 45528.513
AT ITER 2333 NEW BEST:: SOT 1088420 SOS 857399 HAS SOPS 450450 HAS SOUS 109847 HAS SOUPS 44671 WITH SCORE 45528.399
AT ITER 2335 NEW BEST:: SOT 1088226 SOS 858117 HAS SOPS 450748 HAS SOUS 109757 HAS SOUPS 44581 WITH SCORE 45439.117
AT ITER 2338 NEW BEST:: SOT 1088196 SOS 857987 HAS SOPS 450618 HAS SOUS 109713 HAS SOUPS 44537 WITH SCORE 45394.987
AT ITER 2349 NEW BEST:: SOT 1088045 SOS 856013 HAS SOPS 449436 HAS SOUS 109518 HAS SOUPS 44430 WITH SCORE 45286.013
AT ITER 2351 NEW BEST:: SOT 1088045 SOS 856013 HAS SOPS 449436 HAS SOUS 109508 HAS SOUPS 44420 WITH SCORE 45276.013
AT ITER 2360 NEW BEST:: SOT 1088041 SOS 855618 HAS SOPS 449041 HAS SOUS 109459 HAS SOUPS 44371 WITH SCORE 45226.618
AT ITER 2363 NEW BEST:: SOT 1087924 SOS 855384 HAS SOPS 449041 HAS SOUS 109468 HAS SOUPS 44371 WITH SCORE 45226.384
AT ITER 2401 NEW BEST:: SOT 1086681 SOS 853669 HAS SOPS 448159 HAS SOUS 109300 HAS SOUPS 44314 WITH SCORE 45167.669
AT ITER 2406 NEW BEST:: SOT 1086132 SOS 853661 HAS SOPS 448403 HAS SOUS 109124 HAS SOUPS 44266 WITH SCORE 45119.661
AT ITER 2407 NEW BEST:: SOT 1085371 SOS 852139 HAS SOPS 448403 HAS SOUS 108940 HAS SOUPS 44266 WITH SCORE 45118.139
AT ITER 2409 NEW BEST:: SOT 1085351 SOS 852114 HAS SOPS 448358 HAS SOUS 108960 HAS SOUPS 44266 WITH SCORE 45118.114
AT ITER 2435 NEW BEST:: SOT 1085213 SOS 851562 HAS SOPS 447806 HAS SOUS 108753 HAS SOUPS 44059 WITH SCORE 44910.562
AT ITER 2460 NEW BEST:: SOT 1085202 SOS 851063 HAS SOPS 447307 HAS SOUS 108745 HAS SOUPS 44051 WITH SCORE 44902.063
AT ITER 2465 NEW BEST:: SOT 1085086 SOS 851231 HAS SOPS 447295 HAS SOUS 108729 HAS SOUPS 44015 WITH SCORE 44866.231
AT ITER 2467 NEW BEST:: SOT 1085002 SOS 851063 HAS SOPS 447127 HAS SOUS 108702 HAS SOUPS 43988 WITH SCORE 44839.063
AT ITER 2478 NEW BEST:: SOT 1084422 SOS 850484 HAS SOPS 446955 HAS SOUS 108697 HAS SOUPS 43975 WITH SCORE 44825.484
AT ITER 2489 NEW BEST:: SOT 1084422 SOS 850482 HAS SOPS 446947 HAS SOUS 108691 HAS SOUPS 43971 WITH SCORE 44821.482
AT ITER 2492 NEW BEST:: SOT 1084501 SOS 850561 HAS SOPS 447026 HAS SOUS 108624 HAS SOUPS 43904 WITH SCORE 44754.561
AT ITER 2502 NEW BEST:: SOT 1084434 SOS 850494 HAS SOPS 446959 HAS SOUS 108557 HAS SOUPS 43837 WITH SCORE 44687.494
AT ITER 2505 NEW BEST:: SOT 1084164 SOS 852929 HAS SOPS 448344 HAS SOUS 108542 HAS SOUPS 43822 WITH SCORE 44674.929
AT ITER 2542 NEW BEST:: SOT 1081819 SOS 849821 HAS SOPS 446757 HAS SOUS 108042 HAS SOUPS 43444 WITH SCORE 44293.821
AT ITER 2579 NEW BEST:: SOT 1081795 SOS 849789 HAS SOPS 446743 HAS SOUS 108040 HAS SOUPS 43444 WITH SCORE 44293.789
AT ITER 2582 NEW BEST:: SOT 1081795 SOS 849789 HAS SOPS 446743 HAS SOUS 107989 HAS SOUPS 43393 WITH SCORE 44242.789
AT ITER 2649 NEW BEST:: SOT 1081795 SOS 849781 HAS SOPS 446711 HAS SOUS 107965 HAS SOUPS 43377 WITH SCORE 44226.781
AT ITER 2650 NEW BEST:: SOT 1081858 SOS 849424 HAS SOPS 446543 HAS SOUS 107902 HAS SOUPS 43335 WITH SCORE 44184.424
AT ITER 2657 NEW BEST:: SOT 1081834 SOS 849376 HAS SOPS 446495 HAS SOUS 107878 HAS SOUPS 43311 WITH SCORE 44160.376
AT ITER 2679 NEW BEST:: SOT 1081834 SOS 849376 HAS SOPS 446495 HAS SOUS 107848 HAS SOUPS 43281 WITH SCORE 44130.376
AT ITER 2686 NEW BEST:: SOT 1081758 SOS 849224 HAS SOPS 446471 HAS SOUS 107834 HAS SOUPS 43268 WITH SCORE 44117.224
AT ITER 2699 NEW BEST:: SOT 1081758 SOS 849224 HAS SOPS 446471 HAS SOUS 107826 HAS SOUPS 43260 WITH SCORE 44109.224
AT ITER 2711 NEW BEST:: SOT 1081579 SOS 848531 HAS SOPS 446090 HAS SOUS 107341 HAS SOUPS 42879 WITH SCORE 43727.531
AT ITER 2747 NEW BEST:: SOT 1081542 SOS 848477 HAS SOPS 446050 HAS SOUS 107321 HAS SOUPS 42859 WITH SCORE 43707.477
AT ITER 2750 NEW BEST:: SOT 1081451 SOS 848295 HAS SOPS 445868 HAS SOUS 107157 HAS SOUPS 42695 WITH SCORE 43543.295
AT ITER 2771 NEW BEST:: SOT 1081437 SOS 847987 HAS SOPS 445644 HAS SOUS 107129 HAS SOUPS 42667 WITH SCORE 43514.987
AT ITER 2775 NEW BEST:: SOT 1081435 SOS 847983 HAS SOPS 445634 HAS SOUS 107129 HAS SOUPS 42665 WITH SCORE 43512.983
AT ITER 2776 NEW BEST:: SOT 1081441 SOS 848091 HAS SOPS 445688 HAS SOUS 107129 HAS SOUPS 42659 WITH SCORE 43507.091
AT ITER 2794 NEW BEST:: SOT 1079649 SOS 846103 HAS SOPS 444498 HAS SOUS 106960 HAS SOUPS 42490 WITH SCORE 43336.103
AT ITER 2855 NEW BEST:: SOT 1079681 SOS 846103 HAS SOPS 444498 HAS SOUS 106944 HAS SOUPS 42474 WITH SCORE 43320.103
AT ITER 2874 NEW BEST:: SOT 1079605 SOS 846053 HAS SOPS 444754 HAS SOUS 106836 HAS SOUPS 42468 WITH SCORE 43314.053
AT ITER 2906 NEW BEST:: SOT 1079565 SOS 846673 HAS SOPS 445094 HAS SOUS 106796 HAS SOUPS 42428 WITH SCORE 43274.673
AT ITER 2919 NEW BEST:: SOT 1079517 SOS 846881 HAS SOPS 445158 HAS SOUS 106780 HAS SOUPS 42396 WITH SCORE 43242.881
AT ITER 2931 NEW BEST:: SOT 1079517 SOS 846881 HAS SOPS 445156 HAS SOUS 106779 HAS SOUPS 42395 WITH SCORE 43241.881
AT ITER 2978 NEW BEST:: SOT 1079429 SOS 846710 HAS SOPS 445159 HAS SOUS 106775 HAS SOUPS 42387 WITH SCORE 43233.71
AT ITER 3034 NEW BEST:: SOT 1080231 SOS 849686 HAS SOPS 446820 HAS SOUS 106703 HAS SOUPS 42315 WITH SCORE 43164.686
AT ITER 3037 NEW BEST:: SOT 1080202 SOS 849657 HAS SOPS 446791 HAS SOUS 106670 HAS SOUPS 42282 WITH SCORE 43131.657
AT ITER 3058 NEW BEST:: SOT 1079257 SOS 848415 HAS SOPS 446197 HAS SOUS 106562 HAS SOUPS 42246 WITH SCORE 43094.415
AT ITER 3066 NEW BEST:: SOT 1079797 SOS 849090 HAS SOPS 446467 HAS SOUS 106574 HAS SOUPS 42213 WITH SCORE 43062.09
AT ITER 3082 NEW BEST:: SOT 1079827 SOS 849180 HAS SOPS 446467 HAS SOUS 106574 HAS SOUPS 42198 WITH SCORE 43047.18
AT ITER 3100 NEW BEST:: SOT 1079820 SOS 849217 HAS SOPS 446453 HAS SOUS 106577 HAS SOUPS 42184 WITH SCORE 43033.217
AT ITER 3103 NEW BEST:: SOT 1079075 SOS 848438 HAS SOPS 446040 HAS SOUS 106474 HAS SOUPS 42052 WITH SCORE 42900.438
AT ITER 3105 NEW BEST:: SOT 1079075 SOS 848438 HAS SOPS 446040 HAS SOUS 106462 HAS SOUPS 42040 WITH SCORE 42888.438
AT ITER 3126 NEW BEST:: SOT 1078954 SOS 848621 HAS SOPS 445998 HAS SOUS 106391 HAS SOUPS 41944 WITH SCORE 42792.621
AT ITER 3127 NEW BEST:: SOT 1078935 SOS 848583 HAS SOPS 445903 HAS SOUS 106391 HAS SOUPS 41925 WITH SCORE 42773.583
AT ITER 3132 NEW BEST:: SOT 1078609 SOS 848137 HAS SOPS 445673 HAS SOUS 106329 HAS SOUPS 41887 WITH SCORE 42735.137
AT ITER 3141 NEW BEST:: SOT 1078538 SOS 847924 HAS SOPS 445247 HAS SOUS 106295 HAS SOUPS 41782 WITH SCORE 42629.924
AT ITER 3144 NEW BEST:: SOT 1077564 SOS 846738 HAS SOPS 444541 HAS SOUS 106269 HAS SOUPS 41756 WITH SCORE 42602.738
AT ITER 3157 NEW BEST:: SOT 1077532 SOS 846674 HAS SOPS 444477 HAS SOUS 106205 HAS SOUPS 41692 WITH SCORE 42538.674
AT ITER 3211 NEW BEST:: SOT 1077508 SOS 846632 HAS SOPS 444453 HAS SOUS 106199 HAS SOUPS 41692 WITH SCORE 42538.632
AT ITER 3222 NEW BEST:: SOT 1077508 SOS 846632 HAS SOPS 444453 HAS SOUS 106189 HAS SOUPS 41682 WITH SCORE 42528.632
AT ITER 3224 NEW BEST:: SOT 1076408 SOS 845363 HAS SOPS 443426 HAS SOUS 106157 HAS SOUPS 41569 WITH SCORE 42414.363
AT ITER 3243 NEW BEST:: SOT 1076864 SOS 845933 HAS SOPS 443654 HAS SOUS 106217 HAS SOUPS 41559 WITH SCORE 42404.933
AT ITER 3248 NEW BEST:: SOT 1075449 SOS 844192 HAS SOPS 442760 HAS SOUS 106162 HAS SOUPS 41553 WITH SCORE 42397.192
AT ITER 3258 NEW BEST:: SOT 1075414 SOS 844122 HAS SOPS 442690 HAS SOUS 106159 HAS SOUPS 41550 WITH SCORE 42394.122
AT ITER 3266 NEW BEST:: SOT 1075405 SOS 844113 HAS SOPS 442681 HAS SOUS 106150 HAS SOUPS 41541 WITH SCORE 42385.113
AT ITER 3316 NEW BEST:: SOT 1075374 SOS 844082 HAS SOPS 442650 HAS SOUS 106119 HAS SOUPS 41510 WITH SCORE 42354.082
AT ITER 3339 NEW BEST:: SOT 1074990 SOS 843602 HAS SOPS 442458 HAS SOUS 106087 HAS SOUPS 41510 WITH SCORE 42353.602
AT ITER 3353 NEW BEST:: SOT 1074974 SOS 843570 HAS SOPS 442426 HAS SOUS 106071 HAS SOUPS 41494 WITH SCORE 42337.57
AT ITER 3371 NEW BEST:: SOT 1075244 SOS 844014 HAS SOPS 442390 HAS SOUS 106053 HAS SOUPS 41476 WITH SCORE 42320.014
AT ITER 3374 NEW BEST:: SOT 1075244 SOS 844050 HAS SOPS 442390 HAS SOUS 106064 HAS SOUPS 41475 WITH SCORE 42319.05
AT ITER 3382 NEW BEST:: SOT 1074045 SOS 842774 HAS SOPS 441507 HAS SOUS 105924 HAS SOUPS 41335 WITH SCORE 42177.774
AT ITER 3385 NEW BEST:: SOT 1073959 SOS 840097 HAS SOPS 439927 HAS SOUS 105665 HAS SOUPS 41196 WITH SCORE 42036.097
AT ITER 3388 NEW BEST:: SOT 1073264 SOS 838707 HAS SOPS 439927 HAS SOUS 105503 HAS SOUPS 41196 WITH SCORE 42034.707
AT ITER 3422 NEW BEST:: SOT 1073264 SOS 838709 HAS SOPS 439923 HAS SOUS 105503 HAS SOUPS 41194 WITH SCORE 42032.709
AT ITER 3434 NEW BEST:: SOT 1073267 SOS 838123 HAS SOPS 439670 HAS SOUS 105444 HAS SOUPS 41172 WITH SCORE 42010.123
AT ITER 3457 NEW BEST:: SOT 1073267 SOS 838123 HAS SOPS 439670 HAS SOUS 105384 HAS SOUPS 41112 WITH SCORE 41950.123
AT ITER 3537 NEW BEST:: SOT 1073195 SOS 837979 HAS SOPS 439584 HAS SOUS 105341 HAS SOUPS 41069 WITH SCORE 41906.979
AT ITER 3566 NEW BEST:: SOT 1073517 SOS 838512 HAS SOPS 439784 HAS SOUS 105382 HAS SOUPS 40999 WITH SCORE 41837.512
AT ITER 3607 NEW BEST:: SOT 1074873 SOS 840210 HAS SOPS 440456 HAS SOUS 105484 HAS SOUPS 40987 WITH SCORE 41827.21
AT ITER 3608 NEW BEST:: SOT 1074755 SOS 839869 HAS SOPS 440561 HAS SOUS 105312 HAS SOUPS 40958 WITH SCORE 41797.869
AT ITER 3613 NEW BEST:: SOT 1075098 SOS 840418 HAS SOPS 440699 HAS SOUS 105426 HAS SOUPS 40935 WITH SCORE 41775.418
AT ITER 3641 NEW BEST:: SOT 1072789 SOS 837933 HAS SOPS 439312 HAS SOUS 105410 HAS SOUPS 40919 WITH SCORE 41756.933
AT ITER 3648 NEW BEST:: SOT 1072780 SOS 837915 HAS SOPS 439294 HAS SOUS 105392 HAS SOUPS 40901 WITH SCORE 41738.915
AT ITER 3676 NEW BEST:: SOT 1072734 SOS 837801 HAS SOPS 439158 HAS SOUS 105335 HAS SOUPS 40855 WITH SCORE 41692.801
AT ITER 3681 NEW BEST:: SOT 1072726 SOS 837773 HAS SOPS 439142 HAS SOUS 105315 HAS SOUPS 40839 WITH SCORE 41676.773
AT ITER 3687 NEW BEST:: SOT 1072288 SOS 837020 HAS SOPS 438758 HAS SOUS 105134 HAS SOUPS 40781 WITH SCORE 41618.02
AT ITER 3705 NEW BEST:: SOT 1072376 SOS 837012 HAS SOPS 438750 HAS SOUS 105041 HAS SOUPS 40688 WITH SCORE 41525.012
AT ITER 3719 NEW BEST:: SOT 1071785 SOS 836308 HAS SOPS 438297 HAS SOUS 104938 HAS SOUPS 40617 WITH SCORE 41453.308
AT ITER 3728 NEW BEST:: SOT 1071717 SOS 836213 HAS SOPS 438305 HAS SOUS 104942 HAS SOUPS 40580 WITH SCORE 41416.213
AT ITER 3730 NEW BEST:: SOT 1072557 SOS 837263 HAS SOPS 438725 HAS SOUS 104976 HAS SOUPS 40544 WITH SCORE 41381.263
AT ITER 3745 NEW BEST:: SOT 1071277 SOS 835953 HAS SOPS 438063 HAS SOUS 104975 HAS SOUPS 40543 WITH SCORE 41378.953
AT ITER 3805 NEW BEST:: SOT 1071353 SOS 836105 HAS SOPS 438215 HAS SOUS 104969 HAS SOUPS 40537 WITH SCORE 41373.105
AT ITER 3810 NEW BEST:: SOT 1071305 SOS 835943 HAS SOPS 438215 HAS SOUS 104882 HAS SOUPS 40504 WITH SCORE 41339.943
AT ITER 3821 NEW BEST:: SOT 1071607 SOS 836070 HAS SOPS 438364 HAS SOUS 104744 HAS SOUPS 40407 WITH SCORE 41243.07
AT ITER 3844 NEW BEST:: SOT 1071387 SOS 835828 HAS SOPS 438188 HAS SOUS 104700 HAS SOUPS 40363 WITH SCORE 41198.828
AT ITER 3849 NEW BEST:: SOT 1071394 SOS 835828 HAS SOPS 438188 HAS SOUS 104693 HAS SOUPS 40356 WITH SCORE 41191.828
AT ITER 3857 NEW BEST:: SOT 1071378 SOS 835819 HAS SOPS 438087 HAS SOUS 104677 HAS SOUPS 40317 WITH SCORE 41152.819
AT ITER 3865 NEW BEST:: SOT 1071382 SOS 835823 HAS SOPS 438071 HAS SOUS 104669 HAS SOUPS 40309 WITH SCORE 41144.823
AT ITER 3960 NEW BEST:: SOT 1071358 SOS 835808 HAS SOPS 438059 HAS SOUS 104672 HAS SOUPS 40309 WITH SCORE 41144.808
AT ITER 3992 NEW BEST:: SOT 1071508 SOS 836082 HAS SOPS 438147 HAS SOUS 104654 HAS SOUPS 40260 WITH SCORE 41096.082
AT ITER 3997 NEW BEST:: SOT 1072004 SOS 836494 HAS SOPS 438478 HAS SOUS 104653 HAS SOUPS 40259 WITH SCORE 41095.494
AT ITER 3999 NEW BEST:: SOT 1072070 SOS 836593 HAS SOPS 438478 HAS SOUS 104665 HAS SOUPS 40238 WITH SCORE 41074.593
AT ITER 4076 NEW BEST:: SOT 1071832 SOS 836237 HAS SOPS 438482 HAS SOUS 104540 HAS SOUPS 40233 WITH SCORE 41069.237
AT ITER 4102 NEW BEST:: SOT 1071985 SOS 836403 HAS SOPS 438584 HAS SOUS 104527 HAS SOUPS 40220 WITH SCORE 41056.403
AT ITER 4137 NEW BEST:: SOT 1071310 SOS 835055 HAS SOPS 438255 HAS SOUS 104352 HAS SOUPS 40218 WITH SCORE 41053.055
AT ITER 4145 NEW BEST:: SOT 1071297 SOS 835029 HAS SOPS 438216 HAS SOUS 104365 HAS SOUPS 40218 WITH SCORE 41053.029
AT ITER 4159 NEW BEST:: SOT 1071237 SOS 834924 HAS SOPS 438156 HAS SOUS 104326 HAS SOUPS 40194 WITH SCORE 41028.924
AT ITER 4183 NEW BEST:: SOT 1069672 SOS 833138 HAS SOPS 437016 HAS SOUS 104318 HAS SOUPS 40186 WITH SCORE 41019.138
AT ITER 4194 NEW BEST:: SOT 1069620 SOS 833066 HAS SOPS 436968 HAS SOUS 104314 HAS SOUPS 40182 WITH SCORE 41015.066
AT ITER 4203 NEW BEST:: SOT 1069818 SOS 833264 HAS SOPS 437034 HAS SOUS 104320 HAS SOUPS 40156 WITH SCORE 40989.264
AT ITER 4217 NEW BEST:: SOT 1069725 SOS 833198 HAS SOPS 436968 HAS SOUS 104327 HAS SOUPS 40153 WITH SCORE 40986.198
AT ITER 4242 NEW BEST:: SOT 1069697 SOS 833156 HAS SOPS 436954 HAS SOUS 104306 HAS SOUPS 40139 WITH SCORE 40972.156
AT ITER 4309 NEW BEST:: SOT 1069726 SOS 833431 HAS SOPS 436983 HAS SOUS 104306 HAS SOUPS 40057 WITH SCORE 40890.431
AT ITER 4367 NEW BEST:: SOT 1069574 SOS 833279 HAS SOPS 436831 HAS SOUS 104325 HAS SOUPS 40057 WITH SCORE 40890.279
AT ITER 4378 NEW BEST:: SOT 1069452 SOS 834602 HAS SOPS 437638 HAS SOUS 104289 HAS SOUPS 40021 WITH SCORE 40855.602
AT ITER 4389 NEW BEST:: SOT 1069282 SOS 832845 HAS SOPS 436511 HAS SOUS 103955 HAS SOUPS 39757 WITH SCORE 40589.845
AT ITER 4412 NEW BEST:: SOT 1068937 SOS 832587 HAS SOPS 436301 HAS SOUS 103946 HAS SOUPS 39748 WITH SCORE 40580.587
AT ITER 4419 NEW BEST:: SOT 1068906 SOS 832609 HAS SOPS 436239 HAS SOUS 103943 HAS SOUPS 39717 WITH SCORE 40549.609
AT ITER 4437 NEW BEST:: SOT 1068893 SOS 832583 HAS SOPS 436213 HAS SOUS 103930 HAS SOUPS 39704 WITH SCORE 40536.583
AT ITER 4442 NEW BEST:: SOT 1068893 SOS 832583 HAS SOPS 436213 HAS SOUS 103922 HAS SOUPS 39696 WITH SCORE 40528.583
AT ITER 4448 NEW BEST:: SOT 1068925 SOS 832615 HAS SOPS 436085 HAS SOUS 103864 HAS SOUPS 39636 WITH SCORE 40468.615
AT ITER 4488 NEW BEST:: SOT 1068689 SOS 833086 HAS SOPS 436269 HAS SOUS 103887 HAS SOUPS 39618 WITH SCORE 40451.086
AT ITER 4499 NEW BEST:: SOT 1068736 SOS 833048 HAS SOPS 436231 HAS SOUS 103857 HAS SOUPS 39588 WITH SCORE 40421.048
AT ITER 4503 NEW BEST:: SOT 1068700 SOS 833012 HAS SOPS 436213 HAS SOUS 103857 HAS SOUPS 39588 WITH SCORE 40421.012
AT ITER 4504 NEW BEST:: SOT 1068662 SOS 832974 HAS SOPS 436175 HAS SOUS 103838 HAS SOUPS 39569 WITH SCORE 40401.974
AT ITER 4506 NEW BEST:: SOT 1068532 SOS 832602 HAS SOPS 435973 HAS SOUS 103832 HAS SOUPS 39569 WITH SCORE 40401.602
AT ITER 4515 NEW BEST:: SOT 1067056 SOS 830685 HAS SOPS 435100 HAS SOUS 103632 HAS SOUPS 39485 WITH SCORE 40315.685
AT ITER 4537 NEW BEST:: SOT 1066046 SOS 829457 HAS SOPS 434466 HAS SOUS 103621 HAS SOUPS 39474 WITH SCORE 40303.457
AT ITER 4568 NEW BEST:: SOT 1065942 SOS 829093 HAS SOPS 434219 HAS SOUS 103606 HAS SOUPS 39459 WITH SCORE 40288.093
AT ITER 4581 NEW BEST:: SOT 1065921 SOS 829691 HAS SOPS 433793 HAS SOUS 103539 HAS SOUPS 39392 WITH SCORE 40221.691
AT ITER 4595 NEW BEST:: SOT 1065801 SOS 829541 HAS SOPS 433713 HAS SOUS 103529 HAS SOUPS 39392 WITH SCORE 40221.541
AT ITER 4603 NEW BEST:: SOT 1065801 SOS 829541 HAS SOPS 433713 HAS SOUS 103505 HAS SOUPS 39368 WITH SCORE 40197.541
AT ITER 4648 NEW BEST:: SOT 1065005 SOS 827267 HAS SOPS 432369 HAS SOUS 103329 HAS SOUPS 39254 WITH SCORE 40081.267
AT ITER 4660 NEW BEST:: SOT 1064995 SOS 827257 HAS SOPS 432359 HAS SOUS 103319 HAS SOUPS 39244 WITH SCORE 40071.257
AT ITER 4680 NEW BEST:: SOT 1064971 SOS 827185 HAS SOPS 432287 HAS SOUS 103287 HAS SOUPS 39212 WITH SCORE 40039.185
AT ITER 4718 NEW BEST:: SOT 1064953 SOS 827173 HAS SOPS 432275 HAS SOUS 103287 HAS SOUPS 39209 WITH SCORE 40036.173
AT ITER 4721 NEW BEST:: SOT 1064953 SOS 827211 HAS SOPS 432275 HAS SOUS 103249 HAS SOUPS 39171 WITH SCORE 39998.211
AT ITER 4730 NEW BEST:: SOT 1064854 SOS 827013 HAS SOPS 432019 HAS SOUS 103158 HAS SOUPS 39080 WITH SCORE 39907.013
AT ITER 4753 NEW BEST:: SOT 1064808 SOS 826921 HAS SOPS 431927 HAS SOUS 103014 HAS SOUPS 38936 WITH SCORE 39762.921
AT ITER 4758 NEW BEST:: SOT 1061678 SOS 822883 HAS SOPS 430148 HAS SOUS 102633 HAS SOUPS 38806 WITH SCORE 39628.883
AT ITER 4772 NEW BEST:: SOT 1061678 SOS 822883 HAS SOPS 430148 HAS SOUS 102621 HAS SOUPS 38794 WITH SCORE 39616.883
AT ITER 4799 NEW BEST:: SOT 1061434 SOS 822629 HAS SOPS 429894 HAS SOUS 102610 HAS SOUPS 38783 WITH SCORE 39605.629
AT ITER 4814 NEW BEST:: SOT 1061036 SOS 822274 HAS SOPS 429686 HAS SOUS 102604 HAS SOUPS 38777 WITH SCORE 39599.274
AT ITER 4833 NEW BEST:: SOT 1060685 SOS 821815 HAS SOPS 429470 HAS SOUS 102501 HAS SOUPS 38701 WITH SCORE 39522.815
AT ITER 4836 NEW BEST:: SOT 1060675 SOS 821795 HAS SOPS 429450 HAS SOUS 102479 HAS SOUPS 38679 WITH SCORE 39500.795
AT ITER 4838 NEW BEST:: SOT 1060365 SOS 821455 HAS SOPS 429110 HAS SOUS 102454 HAS SOUPS 38619 WITH SCORE 39440.455
AT ITER 4841 NEW BEST:: SOT 1060352 SOS 820702 HAS SOPS 428808 HAS SOUS 102434 HAS SOUPS 38610 WITH SCORE 39430.702
AT ITER 4866 NEW BEST:: SOT 1060298 SOS 819048 HAS SOPS 428534 HAS SOUS 102423 HAS SOUPS 38599 WITH SCORE 39418.048
AT ITER 4885 NEW BEST:: SOT 1060089 SOS 818630 HAS SOPS 428534 HAS SOUS 102270 HAS SOUPS 38599 WITH SCORE 39417.63
AT ITER 4889 NEW BEST:: SOT 1061453 SOS 819869 HAS SOPS 429230 HAS SOUS 102232 HAS SOUPS 38554 WITH SCORE 39373.869
AT ITER 4894 NEW BEST:: SOT 1061376 SOS 819792 HAS SOPS 429153 HAS SOUS 102154 HAS SOUPS 38476 WITH SCORE 39295.792
AT ITER 4928 NEW BEST:: SOT 1061536 SOS 819952 HAS SOPS 429217 HAS SOUS 102138 HAS SOUPS 38460 WITH SCORE 39279.952
AT ITER 4980 NEW BEST:: SOT 1060553 SOS 818969 HAS SOPS 428732 HAS SOUS 102068 HAS SOUPS 38390 WITH SCORE 39208.969
AT ITER 4992 NEW BEST:: SOT 1060247 SOS 818916 HAS SOPS 428434 HAS SOUS 101946 HAS SOUPS 38235 WITH SCORE 39053.916
AT ITER 5032 NEW BEST:: SOT 1060238 SOS 818898 HAS SOPS 428416 HAS SOUS 101928 HAS SOUPS 38217 WITH SCORE 39035.898
AT ITER 5035 NEW BEST:: SOT 1060772 SOS 819525 HAS SOPS 428722 HAS SOUS 101917 HAS SOUPS 38206 WITH SCORE 39025.525
AT ITER 5050 NEW BEST:: SOT 1060731 SOS 819443 HAS SOPS 428722 HAS SOUS 101876 HAS SOUPS 38206 WITH SCORE 39025.443
AT ITER 5073 NEW BEST:: SOT 1060669 SOS 819619 HAS SOPS 428763 HAS SOUS 101889 HAS SOUPS 38204 WITH SCORE 39023.619
AT ITER 5099 NEW BEST:: SOT 1060665 SOS 818819 HAS SOPS 428761 HAS SOUS 101883 HAS SOUPS 38198 WITH SCORE 39016.819
AT ITER 5106 NEW BEST:: SOT 1060575 SOS 818835 HAS SOPS 428693 HAS SOUS 101857 HAS SOUPS 38172 WITH SCORE 38990.835
AT ITER 5109 NEW BEST:: SOT 1060558 SOS 818858 HAS SOPS 428697 HAS SOUS 101846 HAS SOUPS 38161 WITH SCORE 38979.858
AT ITER 5121 NEW BEST:: SOT 1060591 SOS 818957 HAS SOPS 428697 HAS SOUS 101870 HAS SOUPS 38152 WITH SCORE 38970.957
AT ITER 5124 NEW BEST:: SOT 1060647 SOS 819069 HAS SOPS 428633 HAS SOUS 101838 HAS SOUPS 38120 WITH SCORE 38939.069
AT ITER 5140 NEW BEST:: SOT 1060631 SOS 819048 HAS SOPS 428623 HAS SOUS 101812 HAS SOUPS 38105 WITH SCORE 38924.048
AT ITER 5155 NEW BEST:: SOT 1060445 SOS 818738 HAS SOPS 428499 HAS SOUS 101698 HAS SOUPS 38053 WITH SCORE 38871.738
AT ITER 5166 NEW BEST:: SOT 1059973 SOS 818256 HAS SOPS 428269 HAS SOUS 101657 HAS SOUPS 38012 WITH SCORE 38830.256
AT ITER 5178 NEW BEST:: SOT 1059965 SOS 818159 HAS SOPS 428253 HAS SOUS 101607 HAS SOUPS 37989 WITH SCORE 38807.159
AT ITER 5234 NEW BEST:: SOT 1059507 SOS 817243 HAS SOPS 428253 HAS SOUS 101467 HAS SOUPS 37989 WITH SCORE 38806.243
AT ITER 5243 NEW BEST:: SOT 1059739 SOS 817593 HAS SOPS 428253 HAS SOUS 101429 HAS SOUPS 37923 WITH SCORE 38740.593
AT ITER 5269 NEW BEST:: SOT 1059487 SOS 817278 HAS SOPS 428127 HAS SOUS 101408 HAS SOUPS 37923 WITH SCORE 38740.278
AT ITER 5271 NEW BEST:: SOT 1059473 SOS 817264 HAS SOPS 428115 HAS SOUS 101399 HAS SOUPS 37918 WITH SCORE 38735.264
AT ITER 5284 NEW BEST:: SOT 1059953 SOS 817864 HAS SOPS 428355 HAS SOUS 101420 HAS SOUPS 37899 WITH SCORE 38716.864
AT ITER 5286 NEW BEST:: SOT 1059938 SOS 817834 HAS SOPS 428325 HAS SOUS 101345 HAS SOUPS 37824 WITH SCORE 38641.834
AT ITER 5300 NEW BEST:: SOT 1059925 SOS 817819 HAS SOPS 428316 HAS SOUS 101343 HAS SOUPS 37822 WITH SCORE 38639.819
AT ITER 5320 NEW BEST:: SOT 1060244 SOS 817989 HAS SOPS 428486 HAS SOUS 101279 HAS SOUPS 37797 WITH SCORE 38614.989
AT ITER 5339 NEW BEST:: SOT 1059076 SOS 816580 HAS SOPS 427798 HAS SOUS 101150 HAS SOUPS 37740 WITH SCORE 38556.58
AT ITER 5369 NEW BEST:: SOT 1059081 SOS 816590 HAS SOPS 427808 HAS SOUS 101117 HAS SOUPS 37707 WITH SCORE 38523.59
AT ITER 5436 NEW BEST:: SOT 1057884 SOS 815285 HAS SOPS 427055 HAS SOUS 101048 HAS SOUPS 37638 WITH SCORE 38453.285
AT ITER 5448 NEW BEST:: SOT 1057884 SOS 815213 HAS SOPS 427055 HAS SOUS 101022 HAS SOUPS 37636 WITH SCORE 38451.213
AT ITER 5481 NEW BEST:: SOT 1058529 SOS 815858 HAS SOPS 427346 HAS SOUS 100994 HAS SOUPS 37608 WITH SCORE 38423.858
AT ITER 5484 NEW BEST:: SOT 1058529 SOS 815858 HAS SOPS 427346 HAS SOUS 100970 HAS SOUPS 37584 WITH SCORE 38399.858
AT ITER 5487 NEW BEST:: SOT 1058309 SOS 815598 HAS SOPS 427186 HAS SOUS 100946 HAS SOUPS 37560 WITH SCORE 38375.598
AT ITER 5503 NEW BEST:: SOT 1058391 SOS 815727 HAS SOPS 427210 HAS SOUS 100914 HAS SOUPS 37493 WITH SCORE 38308.727
AT ITER 5507 NEW BEST:: SOT 1058366 SOS 815684 HAS SOPS 427174 HAS SOUS 100900 HAS SOUPS 37484 WITH SCORE 38299.684
AT ITER 5536 NEW BEST:: SOT 1058282 SOS 816230 HAS SOPS 427468 HAS SOUS 100858 HAS SOUPS 37442 WITH SCORE 38258.23
AT ITER 5556 NEW BEST:: SOT 1056296 SOS 810030 HAS SOPS 423959 HAS SOUS 100294 HAS SOUPS 37085 WITH SCORE 37895.03
AT ITER 5560 NEW BEST:: SOT 1056222 SOS 809687 HAS SOPS 423838 HAS SOUS 100220 HAS SOUPS 37085 WITH SCORE 37894.687
AT ITER 5571 NEW BEST:: SOT 1053514 SOS 806143 HAS SOPS 422166 HAS SOUS 99880 HAS SOUPS 36953 WITH SCORE 37759.143
AT ITER 5572 NEW BEST:: SOT 1053443 SOS 805948 HAS SOPS 421918 HAS SOUS 99895 HAS SOUPS 36925 WITH SCORE 37730.948
AT ITER 5582 NEW BEST:: SOT 1053455 SOS 805468 HAS SOPS 421930 HAS SOUS 99883 HAS SOUPS 36925 WITH SCORE 37730.468
AT ITER 5600 NEW BEST:: SOT 1052853 SOS 804835 HAS SOPS 421534 HAS SOUS 99852 HAS SOUPS 36901 WITH SCORE 37705.835
AT ITER 5606 NEW BEST:: SOT 1052131 SOS 803913 HAS SOPS 421134 HAS SOUS 99794 HAS SOUPS 36901 WITH SCORE 37704.913
AT ITER 5614 NEW BEST:: SOT 1052792 SOS 805261 HAS SOPS 421435 HAS SOUS 99960 HAS SOUPS 36887 WITH SCORE 37692.261
AT ITER 5734 NEW BEST:: SOT 1052724 SOS 805125 HAS SOPS 421435 HAS SOUS 99987 HAS SOUPS 36887 WITH SCORE 37692.125
AT ITER 5770 NEW BEST:: SOT 1052748 SOS 804945 HAS SOPS 421363 HAS SOUS 99975 HAS SOUPS 36887 WITH SCORE 37691.945
AT ITER 5778 NEW BEST:: SOT 1051744 SOS 803632 HAS SOPS 420806 HAS SOUS 99888 HAS SOUPS 36884 WITH SCORE 37687.632
AT ITER 5785 NEW BEST:: SOT 1051750 SOS 803144 HAS SOPS 420468 HAS SOUS 99825 HAS SOUPS 36821 WITH SCORE 37624.144
AT ITER 5802 NEW BEST:: SOT 1051648 SOS 803200 HAS SOPS 420472 HAS SOUS 99788 HAS SOUPS 36784 WITH SCORE 37587.2
AT ITER 5815 NEW BEST:: SOT 1051953 SOS 803156 HAS SOPS 419990 HAS SOUS 99760 HAS SOUPS 36630 WITH SCORE 37433.156
AT ITER 5836 NEW BEST:: SOT 1051963 SOS 803006 HAS SOPS 419900 HAS SOUS 99760 HAS SOUPS 36630 WITH SCORE 37433.006
AT ITER 5843 NEW BEST:: SOT 1051871 SOS 803190 HAS SOPS 419923 HAS SOUS 99760 HAS SOUPS 36607 WITH SCORE 37410.19
AT ITER 5870 NEW BEST:: SOT 1051793 SOS 803088 HAS SOPS 419875 HAS SOUS 99748 HAS SOUPS 36601 WITH SCORE 37404.088
AT ITER 5872 NEW BEST:: SOT 1052020 SOS 803315 HAS SOPS 419988 HAS SOUS 99709 HAS SOUPS 36562 WITH SCORE 37365.315
AT ITER 5881 NEW BEST:: SOT 1051965 SOS 803031 HAS SOPS 419878 HAS SOUS 99550 HAS SOUPS 36461 WITH SCORE 37264.031
AT ITER 5887 NEW BEST:: SOT 1051964 SOS 802960 HAS SOPS 419954 HAS SOUS 99500 HAS SOUPS 36460 WITH SCORE 37262.96
AT ITER 5921 NEW BEST:: SOT 1051081 SOS 801797 HAS SOPS 419281 HAS SOUS 99203 HAS SOUPS 36233 WITH SCORE 37034.797
AT ITER 5952 NEW BEST:: SOT 1051081 SOS 801729 HAS SOPS 419229 HAS SOUS 99195 HAS SOUPS 36225 WITH SCORE 37026.729
AT ITER 5957 NEW BEST:: SOT 1050541 SOS 800169 HAS SOPS 418569 HAS SOUS 99075 HAS SOUPS 36165 WITH SCORE 36965.169
AT ITER 5963 NEW BEST:: SOT 1050425 SOS 799937 HAS SOPS 418337 HAS SOUS 99046 HAS SOUPS 36136 WITH SCORE 36935.937
AT ITER 5985 NEW BEST:: SOT 1050420 SOS 799932 HAS SOPS 418332 HAS SOUS 98919 HAS SOUPS 36009 WITH SCORE 36808.932
AT ITER 5991 NEW BEST:: SOT 1050420 SOS 799863 HAS SOPS 418263 HAS SOUS 98914 HAS SOUPS 36004 WITH SCORE 36803.863
AT ITER 6026 NEW BEST:: SOT 1049032 SOS 798059 HAS SOPS 417431 HAS SOUS 98763 HAS SOUPS 35961 WITH SCORE 36759.059
AT ITER 6067 NEW BEST:: SOT 1048924 SOS 797945 HAS SOPS 417317 HAS SOUS 98709 HAS SOUPS 35907 WITH SCORE 36704.945
AT ITER 6096 NEW BEST:: SOT 1049782 SOS 799284 HAS SOPS 417566 HAS SOUS 98763 HAS SOUPS 35853 WITH SCORE 36652.284
AT ITER 6113 NEW BEST:: SOT 1049780 SOS 799346 HAS SOPS 417562 HAS SOUS 98781 HAS SOUPS 35849 WITH SCORE 36648.346
AT ITER 6144 NEW BEST:: SOT 1049774 SOS 799349 HAS SOPS 417556 HAS SOUS 98781 HAS SOUPS 35846 WITH SCORE 36645.349
AT ITER 6158 NEW BEST:: SOT 1049664 SOS 799309 HAS SOPS 417516 HAS SOUS 98761 HAS SOUPS 35826 WITH SCORE 36625.309
AT ITER 6179 NEW BEST:: SOT 1049280 SOS 798955 HAS SOPS 417280 HAS SOUS 98735 HAS SOUPS 35800 WITH SCORE 36598.955
AT ITER 6214 NEW BEST:: SOT 1049280 SOS 798955 HAS SOPS 417280 HAS SOUS 98721 HAS SOUPS 35786 WITH SCORE 36584.955
AT ITER 6228 NEW BEST:: SOT 1049272 SOS 798339 HAS SOPS 417272 HAS SOUS 98719 HAS SOUPS 35784 WITH SCORE 36582.339
AT ITER 6242 NEW BEST:: SOT 1048984 SOS 797979 HAS SOPS 417128 HAS SOUS 98695 HAS SOUPS 35784 WITH SCORE 36581.979
AT ITER 6247 NEW BEST:: SOT 1048786 SOS 797433 HAS SOPS 416852 HAS SOUS 98641 HAS SOUPS 35748 WITH SCORE 36545.433
AT ITER 6255 NEW BEST:: SOT 1048676 SOS 801373 HAS SOPS 416886 HAS SOUS 98619 HAS SOUPS 35707 WITH SCORE 36508.373
AT ITER 6273 NEW BEST:: SOT 1048733 SOS 801442 HAS SOPS 416892 HAS SOUS 98613 HAS SOUPS 35701 WITH SCORE 36502.442
AT ITER 6308 NEW BEST:: SOT 1048946 SOS 801655 HAS SOPS 416991 HAS SOUS 98579 HAS SOUPS 35667 WITH SCORE 36468.655
AT ITER 6323 NEW BEST:: SOT 1048546 SOS 801143 HAS SOPS 416767 HAS SOUS 98515 HAS SOUPS 35635 WITH SCORE 36436.143
AT ITER 6330 NEW BEST:: SOT 1048497 SOS 800989 HAS SOPS 416676 HAS SOUS 98515 HAS SOUPS 35635 WITH SCORE 36435.989
AT ITER 6352 NEW BEST:: SOT 1048541 SOS 800197 HAS SOPS 416280 HAS SOUS 98471 HAS SOUPS 35635 WITH SCORE 36435.197
AT ITER 6366 NEW BEST:: SOT 1048537 SOS 800189 HAS SOPS 416272 HAS SOUS 98467 HAS SOUPS 35631 WITH SCORE 36431.189
AT ITER 6370 NEW BEST:: SOT 1048595 SOS 800209 HAS SOPS 416292 HAS SOUS 98461 HAS SOUPS 35625 WITH SCORE 36425.209
AT ITER 6374 NEW BEST:: SOT 1047996 SOS 799452 HAS SOPS 415976 HAS SOUS 98406 HAS SOUPS 35619 WITH SCORE 36418.452
AT ITER 6378 NEW BEST:: SOT 1047992 SOS 799448 HAS SOPS 415972 HAS SOUS 98406 HAS SOUPS 35619 WITH SCORE 36418.448
AT ITER 6386 NEW BEST:: SOT 1047992 SOS 799448 HAS SOPS 415972 HAS SOUS 98354 HAS SOUPS 35567 WITH SCORE 36366.448
AT ITER 6390 NEW BEST:: SOT 1048026 SOS 798343 HAS SOPS 415143 HAS SOUS 98250 HAS SOUPS 35463 WITH SCORE 36261.343
AT ITER 6440 NEW BEST:: SOT 1048032 SOS 798351 HAS SOPS 415143 HAS SOUS 98246 HAS SOUPS 35459 WITH SCORE 36257.351
AT ITER 6457 NEW BEST:: SOT 1046959 SOS 797339 HAS SOPS 414509 HAS SOUS 98181 HAS SOUPS 35394 WITH SCORE 36191.339
AT ITER 6464 NEW BEST:: SOT 1046890 SOS 796764 HAS SOPS 414141 HAS SOUS 98112 HAS SOUPS 35348 WITH SCORE 36144.764
AT ITER 6466 NEW BEST:: SOT 1046055 SOS 795715 HAS SOPS 413713 HAS SOUS 98024 HAS SOUPS 35329 WITH SCORE 36124.715
AT ITER 6490 NEW BEST:: SOT 1045935 SOS 795475 HAS SOPS 413433 HAS SOUS 97924 HAS SOUPS 35229 WITH SCORE 36024.475
AT ITER 6517 NEW BEST:: SOT 1045820 SOS 795245 HAS SOPS 413433 HAS SOUS 97948 HAS SOUPS 35229 WITH SCORE 36024.245
AT ITER 6530 NEW BEST:: SOT 1045564 SOS 794733 HAS SOPS 412921 HAS SOUS 97787 HAS SOUPS 35068 WITH SCORE 35862.733
AT ITER 6535 NEW BEST:: SOT 1045560 SOS 794729 HAS SOPS 412917 HAS SOUS 97771 HAS SOUPS 35052 WITH SCORE 35846.729
AT ITER 6574 NEW BEST:: SOT 1044792 SOS 792239 HAS SOPS 411792 HAS SOUS 97668 HAS SOUPS 35040 WITH SCORE 35832.239
AT ITER 6578 NEW BEST:: SOT 1044484 SOS 791799 HAS SOPS 411484 HAS SOUS 97616 HAS SOUPS 34988 WITH SCORE 35779.799
AT ITER 6612 NEW BEST:: SOT 1044484 SOS 791837 HAS SOPS 411454 HAS SOUS 97612 HAS SOUPS 34984 WITH SCORE 35775.837
AT ITER 6633 NEW BEST:: SOT 1044484 SOS 791837 HAS SOPS 411454 HAS SOUS 97608 HAS SOUPS 34980 WITH SCORE 35771.837
AT ITER 6653 NEW BEST:: SOT 1044672 SOS 791098 HAS SOPS 411063 HAS SOUS 97582 HAS SOUPS 34954 WITH SCORE 35745.098
AT ITER 6695 NEW BEST:: SOT 1044595 SOS 791000 HAS SOPS 411028 HAS SOUS 97568 HAS SOUPS 34947 WITH SCORE 35738.0
AT ITER 6728 NEW BEST:: SOT 1044592 SOS 791054 HAS SOPS 411058 HAS SOUS 97565 HAS SOUPS 34944 WITH SCORE 35735.054
AT ITER 6747 NEW BEST:: SOT 1044576 SOS 789874 HAS SOPS 409837 HAS SOUS 97579 HAS SOUPS 34917 WITH SCORE 35706.874
AT ITER 6802 NEW BEST:: SOT 1044171 SOS 789469 HAS SOPS 409477 HAS SOUS 97489 HAS SOUPS 34827 WITH SCORE 35616.469
AT ITER 6810 NEW BEST:: SOT 1043732 SOS 788190 HAS SOPS 409113 HAS SOUS 97382 HAS SOUPS 34781 WITH SCORE 35569.19
AT ITER 6814 NEW BEST:: SOT 1043550 SOS 787952 HAS SOPS 408959 HAS SOUS 97368 HAS SOUPS 34767 WITH SCORE 35554.952
AT ITER 6815 NEW BEST:: SOT 1043270 SOS 787572 HAS SOPS 408699 HAS SOUS 97328 HAS SOUPS 34727 WITH SCORE 35514.572
AT ITER 6823 NEW BEST:: SOT 1043230 SOS 787524 HAS SOPS 408675 HAS SOUS 97320 HAS SOUPS 34719 WITH SCORE 35506.524
AT ITER 6829 NEW BEST:: SOT 1043212 SOS 787476 HAS SOPS 408645 HAS SOUS 97302 HAS SOUPS 34707 WITH SCORE 35494.476
AT ITER 6840 NEW BEST:: SOT 1043718 SOS 788128 HAS SOPS 408937 HAS SOUS 97316 HAS SOUPS 34681 WITH SCORE 35469.128
AT ITER 6861 NEW BEST:: SOT 1043846 SOS 788335 HAS SOPS 408997 HAS SOUS 97332 HAS SOUPS 34648 WITH SCORE 35436.335
AT ITER 6866 NEW BEST:: SOT 1043218 SOS 786341 HAS SOPS 407813 HAS SOUS 97289 HAS SOUPS 34638 WITH SCORE 35424.341
AT ITER 6871 NEW BEST:: SOT 1043202 SOS 786285 HAS SOPS 407781 HAS SOUS 97257 HAS SOUPS 34614 WITH SCORE 35400.285
AT ITER 6875 NEW BEST:: SOT 1042903 SOS 785687 HAS SOPS 407781 HAS SOUS 97154 HAS SOUPS 34614 WITH SCORE 35399.687
AT ITER 6895 NEW BEST:: SOT 1042901 SOS 785684 HAS SOPS 407778 HAS SOUS 97151 HAS SOUPS 34611 WITH SCORE 35396.684
AT ITER 6913 NEW BEST:: SOT 1042291 SOS 784952 HAS SOPS 407107 HAS SOUS 97151 HAS SOUPS 34550 WITH SCORE 35334.952
AT ITER 6920 NEW BEST:: SOT 1041805 SOS 784323 HAS SOPS 406783 HAS SOUS 97097 HAS SOUPS 34522 WITH SCORE 35306.323
AT ITER 6924 NEW BEST:: SOT 1040308 SOS 782403 HAS SOPS 405539 HAS SOUS 96939 HAS SOUPS 34364 WITH SCORE 35146.403
AT ITER 6928 NEW BEST:: SOT 1040298 SOS 782383 HAS SOPS 405519 HAS SOUS 96909 HAS SOUPS 34334 WITH SCORE 35116.383
AT ITER 6948 NEW BEST:: SOT 1040273 SOS 782621 HAS SOPS 405469 HAS SOUS 96969 HAS SOUPS 34298 WITH SCORE 35080.621
AT ITER 6993 NEW BEST:: SOT 1039697 SOS 782000 HAS SOPS 405136 HAS SOUS 96967 HAS SOUPS 34296 WITH SCORE 35078.0
AT ITER 7004 NEW BEST:: SOT 1039667 SOS 781940 HAS SOPS 405106 HAS SOUS 96907 HAS SOUPS 34251 WITH SCORE 35032.94
AT ITER 7015 NEW BEST:: SOT 1039574 SOS 781846 HAS SOPS 405012 HAS SOUS 96875 HAS SOUPS 34219 WITH SCORE 35000.846
AT ITER 7076 NEW BEST:: SOT 1039572 SOS 781844 HAS SOPS 405010 HAS SOUS 96871 HAS SOUPS 34215 WITH SCORE 34996.844
AT ITER 7083 NEW BEST:: SOT 1039544 SOS 781816 HAS SOPS 404982 HAS SOUS 96871 HAS SOUPS 34215 WITH SCORE 34996.816
AT ITER 7144 NEW BEST:: SOT 1039321 SOS 781370 HAS SOPS 404982 HAS SOUS 96788 HAS SOUPS 34215 WITH SCORE 34996.37
AT ITER 7150 NEW BEST:: SOT 1039300 SOS 781328 HAS SOPS 404940 HAS SOUS 96758 HAS SOUPS 34185 WITH SCORE 34966.328
AT ITER 7169 NEW BEST:: SOT 1038776 SOS 780680 HAS SOPS 404592 HAS SOUS 96636 HAS SOUPS 34063 WITH SCORE 34843.68
AT ITER 7179 NEW BEST:: SOT 1038196 SOS 779702 HAS SOPS 404160 HAS SOUS 96405 HAS SOUPS 34014 WITH SCORE 34793.702
AT ITER 7202 NEW BEST:: SOT 1038182 SOS 779686 HAS SOPS 404150 HAS SOUS 96402 HAS SOUPS 34011 WITH SCORE 34790.686
AT ITER 7281 NEW BEST:: SOT 1038180 SOS 779682 HAS SOPS 404146 HAS SOUS 96401 HAS SOUPS 34010 WITH SCORE 34789.682
AT ITER 7294 NEW BEST:: SOT 1038180 SOS 779719 HAS SOPS 404186 HAS SOUS 96399 HAS SOUPS 34009 WITH SCORE 34788.719
AT ITER 7302 NEW BEST:: SOT 1037816 SOS 779225 HAS SOPS 403926 HAS SOUS 96321 HAS SOUPS 33957 WITH SCORE 34736.225
AT ITER 7309 NEW BEST:: SOT 1037816 SOS 779225 HAS SOPS 403926 HAS SOUS 96295 HAS SOUPS 33931 WITH SCORE 34710.225
AT ITER 7337 NEW BEST:: SOT 1037852 SOS 779270 HAS SOPS 403944 HAS SOUS 96292 HAS SOUPS 33925 WITH SCORE 34704.27
AT ITER 7358 NEW BEST:: SOT 1037672 SOS 779054 HAS SOPS 403836 HAS SOUS 96274 HAS SOUPS 33907 WITH SCORE 34686.054
AT ITER 7369 NEW BEST:: SOT 1037582 SOS 778521 HAS SOPS 403463 HAS SOUS 96248 HAS SOUPS 33881 WITH SCORE 34659.521
AT ITER 7372 NEW BEST:: SOT 1037412 SOS 778413 HAS SOPS 403355 HAS SOUS 96252 HAS SOUPS 33856 WITH SCORE 34634.413
AT ITER 7389 NEW BEST:: SOT 1037390 SOS 778394 HAS SOPS 403336 HAS SOUS 96224 HAS SOUPS 33828 WITH SCORE 34606.394
AT ITER 7412 NEW BEST:: SOT 1037370 SOS 778354 HAS SOPS 403326 HAS SOUS 96219 HAS SOUPS 33828 WITH SCORE 34606.354
AT ITER 7414 NEW BEST:: SOT 1036925 SOS 777752 HAS SOPS 403012 HAS SOUS 96126 HAS SOUPS 33767 WITH SCORE 34544.752
AT ITER 7467 NEW BEST:: SOT 1036921 SOS 777748 HAS SOPS 403012 HAS SOUS 96126 HAS SOUPS 33767 WITH SCORE 34544.748
AT ITER 7515 NEW BEST:: SOT 1036914 SOS 777706 HAS SOPS 402970 HAS SOUS 96119 HAS SOUPS 33760 WITH SCORE 34537.706
AT ITER 7541 NEW BEST:: SOT 1036853 SOS 777595 HAS SOPS 402906 HAS SOUS 96104 HAS SOUPS 33741 WITH SCORE 34518.595
AT ITER 7560 NEW BEST:: SOT 1036799 SOS 777487 HAS SOPS 402906 HAS SOUS 96061 HAS SOUPS 33741 WITH SCORE 34518.487
AT ITER 7610 NEW BEST:: SOT 1036319 SOS 776911 HAS SOPS 402618 HAS SOUS 96061 HAS SOUPS 33741 WITH SCORE 34517.911
AT ITER 7613 NEW BEST:: SOT 1036391 SOS 776963 HAS SOPS 402670 HAS SOUS 96041 HAS SOUPS 33721 WITH SCORE 34497.963
AT ITER 7627 NEW BEST:: SOT 1036389 SOS 776971 HAS SOPS 402666 HAS SOUS 96041 HAS SOUPS 33717 WITH SCORE 34493.971
AT ITER 7632 NEW BEST:: SOT 1036467 SOS 771837 HAS SOPS 398429 HAS SOUS 96021 HAS SOUPS 33720 WITH SCORE 34491.837
AT ITER 7639 NEW BEST:: SOT 1037127 SOS 772662 HAS SOPS 398759 HAS SOUS 96070 HAS SOUPS 33714 WITH SCORE 34486.662
AT ITER 7663 NEW BEST:: SOT 1036763 SOS 772040 HAS SOPS 398577 HAS SOUS 95863 HAS SOUPS 33598 WITH SCORE 34370.04
AT ITER 7691 NEW BEST:: SOT 1036778 SOS 773329 HAS SOPS 398298 HAS SOUS 95828 HAS SOUPS 33563 WITH SCORE 34336.329
AT ITER 7719 NEW BEST:: SOT 1036717 SOS 773305 HAS SOPS 398246 HAS SOUS 95785 HAS SOUPS 33525 WITH SCORE 34298.305
AT ITER 7727 NEW BEST:: SOT 1036704 SOS 773266 HAS SOPS 398194 HAS SOUS 95798 HAS SOUPS 33525 WITH SCORE 34298.266
AT ITER 7767 NEW BEST:: SOT 1036704 SOS 773266 HAS SOPS 398194 HAS SOUS 95778 HAS SOUPS 33505 WITH SCORE 34278.266
AT ITER 7778 NEW BEST:: SOT 1035283 SOS 771845 HAS SOPS 396976 HAS SOUS 95772 HAS SOUPS 33499 WITH SCORE 34270.845
AT ITER 7804 NEW BEST:: SOT 1034601 SOS 770958 HAS SOPS 396566 HAS SOUS 95657 HAS SOUPS 33437 WITH SCORE 34207.958
AT ITER 7807 NEW BEST:: SOT 1035081 SOS 771558 HAS SOPS 396806 HAS SOUS 95663 HAS SOUPS 33403 WITH SCORE 34174.558
AT ITER 7875 NEW BEST:: SOT 1035041 SOS 769898 HAS SOPS 395936 HAS SOUS 95506 HAS SOUPS 33338 WITH SCORE 34107.898
AT ITER 7881 NEW BEST:: SOT 1033692 SOS 768165 HAS SOPS 394727 HAS SOUS 95458 HAS SOUPS 33258 WITH SCORE 34026.165
AT ITER 7937 NEW BEST:: SOT 1033685 SOS 768151 HAS SOPS 394713 HAS SOUS 95425 HAS SOUPS 33225 WITH SCORE 33993.151
AT ITER 7949 NEW BEST:: SOT 1033712 SOS 767805 HAS SOPS 394487 HAS SOUS 95408 HAS SOUPS 33208 WITH SCORE 33975.805
AT ITER 8033 NEW BEST:: SOT 1033564 SOS 769249 HAS SOPS 395409 HAS SOUS 95347 HAS SOUPS 33147 WITH SCORE 33916.249
AT ITER 8041 NEW BEST:: SOT 1033564 SOS 769234 HAS SOPS 395409 HAS SOUS 95337 HAS SOUPS 33142 WITH SCORE 33911.234
AT ITER 8064 NEW BEST:: SOT 1033488 SOS 769575 HAS SOPS 395576 HAS SOUS 95326 HAS SOUPS 33131 WITH SCORE 33900.575
AT ITER 8077 NEW BEST:: SOT 1033486 SOS 769571 HAS SOPS 395572 HAS SOUS 95324 HAS SOUPS 33129 WITH SCORE 33898.571
AT ITER 8084 NEW BEST:: SOT 1033596 SOS 769915 HAS SOPS 395944 HAS SOUS 95298 HAS SOUPS 33115 WITH SCORE 33884.915
AT ITER 8161 NEW BEST:: SOT 1033247 SOS 769487 HAS SOPS 395726 HAS SOUS 95273 HAS SOUPS 33112 WITH SCORE 33881.487
AT ITER 8169 NEW BEST:: SOT 1033130 SOS 769344 HAS SOPS 395661 HAS SOUS 95273 HAS SOUPS 33112 WITH SCORE 33881.344
AT ITER 8180 NEW BEST:: SOT 1033150 SOS 769004 HAS SOPS 395501 HAS SOUS 95253 HAS SOUPS 33112 WITH SCORE 33881.004
AT ITER 8204 NEW BEST:: SOT 1032761 SOS 768226 HAS SOPS 395501 HAS SOUS 95224 HAS SOUPS 33112 WITH SCORE 33880.226
AT ITER 8217 NEW BEST:: SOT 1032741 SOS 768196 HAS SOPS 395461 HAS SOUS 95200 HAS SOUPS 33098 WITH SCORE 33866.196
AT ITER 8262 NEW BEST:: SOT 1032623 SOS 768088 HAS SOPS 395353 HAS SOUS 95196 HAS SOUPS 33094 WITH SCORE 33862.088
AT ITER 8275 NEW BEST:: SOT 1032605 SOS 767959 HAS SOPS 395317 HAS SOUS 95135 HAS SOUPS 33064 WITH SCORE 33831.959
AT ITER 8294 NEW BEST:: SOT 1032589 SOS 767975 HAS SOPS 395195 HAS SOUS 95165 HAS SOUPS 33048 WITH SCORE 33815.975
AT ITER 8338 NEW BEST:: SOT 1031517 SOS 766725 HAS SOPS 394479 HAS SOUS 95161 HAS SOUPS 33044 WITH SCORE 33810.725
AT ITER 8341 NEW BEST:: SOT 1033483 SOS 769073 HAS SOPS 395639 HAS SOUS 95147 HAS SOUPS 33030 WITH SCORE 33799.073
AT ITER 8357 NEW BEST:: SOT 1033411 SOS 769001 HAS SOPS 395603 HAS SOUS 95147 HAS SOUPS 33030 WITH SCORE 33799.001
AT ITER 8376 NEW BEST:: SOT 1033571 SOS 769209 HAS SOPS 395667 HAS SOUS 95147 HAS SOUPS 33014 WITH SCORE 33783.209
AT ITER 8395 NEW BEST:: SOT 1033519 SOS 769027 HAS SOPS 395563 HAS SOUS 95069 HAS SOUPS 32962 WITH SCORE 33731.027
AT ITER 8399 NEW BEST:: SOT 1033749 SOS 769415 HAS SOPS 395735 HAS SOUS 95113 HAS SOUPS 32934 WITH SCORE 33703.415
AT ITER 8423 NEW BEST:: SOT 1033697 SOS 769347 HAS SOPS 395703 HAS SOUS 95105 HAS SOUPS 32930 WITH SCORE 33699.347
AT ITER 8429 NEW BEST:: SOT 1033685 SOS 769248 HAS SOPS 395679 HAS SOUS 95046 HAS SOUPS 32896 WITH SCORE 33665.248
AT ITER 8468 NEW BEST:: SOT 1033495 SOS 768868 HAS SOPS 395679 HAS SOUS 94950 HAS SOUPS 32896 WITH SCORE 33664.868
AT ITER 8471 NEW BEST:: SOT 1033390 SOS 768553 HAS SOPS 395679 HAS SOUS 94845 HAS SOUPS 32896 WITH SCORE 33664.553
AT ITER 8476 NEW BEST:: SOT 1035370 SOS 771028 HAS SOPS 396669 HAS SOUS 95002 HAS SOUPS 32852 WITH SCORE 33623.028
AT ITER 8491 NEW BEST:: SOT 1035216 SOS 770852 HAS SOPS 396559 HAS SOUS 94991 HAS SOUPS 32841 WITH SCORE 33611.852
AT ITER 8533 NEW BEST:: SOT 1035216 SOS 770852 HAS SOPS 396559 HAS SOUS 94987 HAS SOUPS 32837 WITH SCORE 33607.852
AT ITER 8569 NEW BEST:: SOT 1035032 SOS 769656 HAS SOPS 396007 HAS SOUS 94941 HAS SOUPS 32837 WITH SCORE 33606.656
AT ITER 8609 NEW BEST:: SOT 1034962 SOS 769795 HAS SOPS 396009 HAS SOUS 94933 HAS SOUPS 32815 WITH SCORE 33584.795
AT ITER 8613 NEW BEST:: SOT 1034218 SOS 769144 HAS SOPS 395637 HAS SOUS 94933 HAS SOUPS 32815 WITH SCORE 33584.144
AT ITER 8628 NEW BEST:: SOT 1034188 SOS 769084 HAS SOPS 395577 HAS SOUS 94903 HAS SOUPS 32785 WITH SCORE 33554.084
AT ITER 8655 NEW BEST:: SOT 1034209 SOS 769075 HAS SOPS 395565 HAS SOUS 94876 HAS SOUPS 32758 WITH SCORE 33527.075
AT ITER 8682 NEW BEST:: SOT 1034089 SOS 769051 HAS SOPS 395406 HAS SOUS 94823 HAS SOUPS 32690 WITH SCORE 33459.051
AT ITER 8698 NEW BEST:: SOT 1034678 SOS 769640 HAS SOPS 395647 HAS SOUS 94658 HAS SOUPS 32525 WITH SCORE 33294.64
AT ITER 8699 NEW BEST:: SOT 1034884 SOS 769846 HAS SOPS 395745 HAS SOUS 94646 HAS SOUPS 32513 WITH SCORE 33282.846
AT ITER 8708 NEW BEST:: SOT 1034321 SOS 767943 HAS SOPS 394598 HAS SOUS 94623 HAS SOUPS 32514 WITH SCORE 33281.943
AT ITER 8712 NEW BEST:: SOT 1034230 SOS 767824 HAS SOPS 394542 HAS SOUS 94595 HAS SOUPS 32493 WITH SCORE 33260.824
AT ITER 8804 NEW BEST:: SOT 1034236 SOS 767836 HAS SOPS 394554 HAS SOUS 94591 HAS SOUPS 32489 WITH SCORE 33256.836
AT ITER 8818 NEW BEST:: SOT 1034169 SOS 767830 HAS SOPS 394548 HAS SOUS 94577 HAS SOUPS 32483 WITH SCORE 33250.83
AT ITER 8832 NEW BEST:: SOT 1034173 SOS 767625 HAS SOPS 394440 HAS SOUS 94565 HAS SOUPS 32481 WITH SCORE 33248.625
AT ITER 8833 NEW BEST:: SOT 1031819 SOS 764744 HAS SOPS 392874 HAS SOUS 94398 HAS SOUPS 32455 WITH SCORE 33219.744
AT ITER 8919 NEW BEST:: SOT 1031495 SOS 764339 HAS SOPS 392712 HAS SOUS 94361 HAS SOUPS 32445 WITH SCORE 33209.339
AT ITER 8980 NEW BEST:: SOT 1031523 SOS 763955 HAS SOPS 392460 HAS SOUS 94331 HAS SOUPS 32415 WITH SCORE 33178.955
AT ITER 8983 NEW BEST:: SOT 1031508 SOS 763925 HAS SOPS 392430 HAS SOUS 94292 HAS SOUPS 32376 WITH SCORE 33139.925
AT ITER 8988 NEW BEST:: SOT 1031531 SOS 763948 HAS SOPS 392453 HAS SOUS 94253 HAS SOUPS 32337 WITH SCORE 33100.948
AT ITER 9030 NEW BEST:: SOT 1032966 SOS 764659 HAS SOPS 393164 HAS SOUS 93878 HAS SOUPS 32143 WITH SCORE 32907.659
AT ITER 9031 NEW BEST:: SOT 1032938 SOS 764528 HAS SOPS 393033 HAS SOUS 93850 HAS SOUPS 32115 WITH SCORE 32879.528
AT ITER 9070 NEW BEST:: SOT 1033037 SOS 764497 HAS SOPS 393007 HAS SOUS 93861 HAS SOUPS 32113 WITH SCORE 32877.497
AT ITER 9075 NEW BEST:: SOT 1033021 SOS 764465 HAS SOPS 392975 HAS SOUS 93855 HAS SOUPS 32107 WITH SCORE 32871.465
AT ITER 9094 NEW BEST:: SOT 1032874 SOS 763616 HAS SOPS 392574 HAS SOUS 93809 HAS SOUPS 32082 WITH SCORE 32845.616
AT ITER 9112 NEW BEST:: SOT 1032977 SOS 763018 HAS SOPS 392235 HAS SOUS 93777 HAS SOUPS 32067 WITH SCORE 32830.018
AT ITER 9155 NEW BEST:: SOT 1032977 SOS 763018 HAS SOPS 392235 HAS SOUS 93773 HAS SOUPS 32063 WITH SCORE 32826.018
AT ITER 9233 NEW BEST:: SOT 1032999 SOS 761998 HAS SOPS 391719 HAS SOUS 93710 HAS SOUPS 32056 WITH SCORE 32817.998
AT ITER 9251 NEW BEST:: SOT 1032999 SOS 761810 HAS SOPS 391531 HAS SOUS 93664 HAS SOUPS 32010 WITH SCORE 32771.81
AT ITER 9279 NEW BEST:: SOT 1032990 SOS 761783 HAS SOPS 391477 HAS SOUS 93658 HAS SOUPS 31995 WITH SCORE 32756.783
AT ITER 9298 NEW BEST:: SOT 1032779 SOS 762061 HAS SOPS 391440 HAS SOUS 93635 HAS SOUPS 31937 WITH SCORE 32699.061
AT ITER 9306 NEW BEST:: SOT 1031205 SOS 760320 HAS SOPS 390473 HAS SOUS 93535 HAS SOUPS 31837 WITH SCORE 32597.32
AT ITER 9328 NEW BEST:: SOT 1031259 SOS 760401 HAS SOPS 390473 HAS SOUS 93535 HAS SOUPS 31810 WITH SCORE 32570.401
AT ITER 9349 NEW BEST:: SOT 1030023 SOS 759299 HAS SOPS 389398 HAS SOUS 93552 HAS SOUPS 31803 WITH SCORE 32562.299
AT ITER 9381 NEW BEST:: SOT 1029712 SOS 758902 HAS SOPS 389226 HAS SOUS 93501 HAS SOUPS 31777 WITH SCORE 32535.902000000002
AT ITER 9409 NEW BEST:: SOT 1029352 SOS 758470 HAS SOPS 389010 HAS SOUS 93465 HAS SOUPS 31741 WITH SCORE 32499.47
AT ITER 9451 NEW BEST:: SOT 1029336 SOS 758454 HAS SOPS 389010 HAS SOUS 93433 HAS SOUPS 31709 WITH SCORE 32467.454
AT ITER 9469 NEW BEST:: SOT 1028968 SOS 757879 HAS SOPS 388732 HAS SOUS 93422 HAS SOUPS 31697 WITH SCORE 32454.879
AT ITER 9476 NEW BEST:: SOT 1028923 SOS 757485 HAS SOPS 388482 HAS SOUS 93393 HAS SOUPS 31684 WITH SCORE 32441.485
AT ITER 9479 NEW BEST:: SOT 1028885 SOS 757409 HAS SOPS 388406 HAS SOUS 93369 HAS SOUPS 31660 WITH SCORE 32417.409
AT ITER 9518 NEW BEST:: SOT 1029197 SOS 757799 HAS SOPS 388562 HAS SOUS 93343 HAS SOUPS 31608 WITH SCORE 32365.799
AT ITER 9523 NEW BEST:: SOT 1028881 SOS 757467 HAS SOPS 388380 HAS SOUS 93342 HAS SOUPS 31607 WITH SCORE 32364.467
AT ITER 9539 NEW BEST:: SOT 1029528 SOS 758302 HAS SOPS 388756 HAS SOUS 93375 HAS SOUPS 31589 WITH SCORE 32347.302
AT ITER 9553 NEW BEST:: SOT 1029396 SOS 758038 HAS SOPS 388756 HAS SOUS 93336 HAS SOUPS 31589 WITH SCORE 32347.038
AT ITER 9620 NEW BEST:: SOT 1029402 SOS 758032 HAS SOPS 388756 HAS SOUS 93330 HAS SOUPS 31583 WITH SCORE 32341.032
AT ITER 9626 NEW BEST:: SOT 1029311 SOS 759290 HAS SOPS 389582 HAS SOUS 93311 HAS SOUPS 31564 WITH SCORE 32323.29
AT ITER 9723 NEW BEST:: SOT 1029227 SOS 759194 HAS SOPS 389522 HAS SOUS 93299 HAS SOUPS 31552 WITH SCORE 32311.194
AT ITER 9772 NEW BEST:: SOT 1029214 SOS 759268 HAS SOPS 389566 HAS SOUS 93291 HAS SOUPS 31544 WITH SCORE 32303.268
AT ITER 9774 NEW BEST:: SOT 1028632 SOS 758686 HAS SOPS 389272 HAS SOUS 93237 HAS SOUPS 31490 WITH SCORE 32248.686
AT ITER 9794 NEW BEST:: SOT 1028560 SOS 758596 HAS SOPS 389236 HAS SOUS 93231 HAS SOUPS 31490 WITH SCORE 32248.596
AT ITER 9840 NEW BEST:: SOT 1028558 SOS 758594 HAS SOPS 389234 HAS SOUS 93229 HAS SOUPS 31488 WITH SCORE 32246.594
AT ITER 9847 NEW BEST:: SOT 1028544 SOS 755554 HAS SOPS 386194 HAS SOUS 93215 HAS SOUPS 31474 WITH SCORE 32229.554
AT ITER 9885 NEW BEST:: SOT 1028841 SOS 756150 HAS SOPS 386178 HAS SOUS 93370 HAS SOUPS 31468 WITH SCORE 32224.15
AT ITER 9915 NEW BEST:: SOT 1027615 SOS 754490 HAS SOPS 385112 HAS SOUS 93332 HAS SOUPS 31430 WITH SCORE 32184.49
AT ITER 9939 NEW BEST:: SOT 1026619 SOS 753518 HAS SOPS 384482 HAS SOUS 93248 HAS SOUPS 31346 WITH SCORE 32099.518
AT ITER 9961 NEW BEST:: SOT 1026619 SOS 753518 HAS SOPS 384482 HAS SOUS 93246 HAS SOUPS 31344 WITH SCORE 32097.518

BK_STOP 1589358740055

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 470 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-3a"
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 DLCshifumi-PT-3a, 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-158922806900024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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