Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033382900600.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is UtahNoC-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033382900600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.2K Apr 12 20:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 20:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 23:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 23:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 15 10:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 15 10:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 22:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 10 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 10 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 205K Mar 24 05:38 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 1590409117442

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

Filename model.pnml
Petri model created: 216 places, 977 transitions, 2905 arcs.
AT ITER 0 NEW BEST:: SOT 124401 SOS 61732 HAS SOPS 61156 HAS SOUS 30959 HAS SOUPS 30744 WITH SCORE 30805.732
AT ITER 4 NEW BEST:: SOT 124652 SOS 62038 HAS SOPS 61462 HAS SOUS 30350 HAS SOUPS 30135 WITH SCORE 30197.038
AT ITER 6 NEW BEST:: SOT 124797 SOS 62570 HAS SOPS 61994 HAS SOUS 30113 HAS SOUPS 29898 WITH SCORE 29960.57
AT ITER 7 NEW BEST:: SOT 124413 SOS 62287 HAS SOPS 61711 HAS SOUS 29699 HAS SOUPS 29484 WITH SCORE 29546.287
AT ITER 9 NEW BEST:: SOT 124034 SOS 62093 HAS SOPS 61420 HAS SOUS 29396 HAS SOUPS 29127 WITH SCORE 29189.093
AT ITER 10 NEW BEST:: SOT 124016 SOS 62039 HAS SOPS 61366 HAS SOUS 29342 HAS SOUPS 29073 WITH SCORE 29135.039
AT ITER 11 NEW BEST:: SOT 123785 SOS 61772 HAS SOPS 61099 HAS SOUS 29091 HAS SOUPS 28822 WITH SCORE 28883.772
AT ITER 12 NEW BEST:: SOT 123782 SOS 61769 HAS SOPS 61096 HAS SOUS 29088 HAS SOUPS 28819 WITH SCORE 28880.769
AT ITER 13 NEW BEST:: SOT 123782 SOS 61775 HAS SOPS 61102 HAS SOUS 29085 HAS SOUPS 28816 WITH SCORE 28877.775
AT ITER 14 NEW BEST:: SOT 123465 SOS 61452 HAS SOPS 60779 HAS SOUS 28693 HAS SOUPS 28424 WITH SCORE 28485.452
AT ITER 21 NEW BEST:: SOT 123465 SOS 61445 HAS SOPS 60772 HAS SOUS 28686 HAS SOUPS 28417 WITH SCORE 28478.445
AT ITER 22 NEW BEST:: SOT 123319 SOS 61369 HAS SOPS 60696 HAS SOUS 28540 HAS SOUPS 28271 WITH SCORE 28332.369
AT ITER 23 NEW BEST:: SOT 123034 SOS 61140 HAS SOPS 60467 HAS SOUS 28471 HAS SOUPS 28202 WITH SCORE 28263.14
AT ITER 26 NEW BEST:: SOT 123034 SOS 61188 HAS SOPS 60515 HAS SOUS 28453 HAS SOUPS 28184 WITH SCORE 28245.188
AT ITER 30 NEW BEST:: SOT 123017 SOS 61149 HAS SOPS 60472 HAS SOUS 28427 HAS SOUPS 28154 WITH SCORE 28215.149
AT ITER 33 NEW BEST:: SOT 122969 SOS 61029 HAS SOPS 60352 HAS SOUS 28386 HAS SOUPS 28113 WITH SCORE 28174.029
AT ITER 37 NEW BEST:: SOT 123264 SOS 61147 HAS SOPS 60470 HAS SOUS 28380 HAS SOUPS 28107 WITH SCORE 28168.147
AT ITER 41 NEW BEST:: SOT 123143 SOS 60905 HAS SOPS 60228 HAS SOUS 28378 HAS SOUPS 28105 WITH SCORE 28165.905
AT ITER 43 NEW BEST:: SOT 123303 SOS 60965 HAS SOPS 60288 HAS SOUS 28282 HAS SOUPS 28009 WITH SCORE 28069.965
AT ITER 45 NEW BEST:: SOT 123815 SOS 62129 HAS SOPS 61452 HAS SOUS 28115 HAS SOUPS 27842 WITH SCORE 27904.129
AT ITER 46 NEW BEST:: SOT 123689 SOS 61780 HAS SOPS 61092 HAS SOUS 27904 HAS SOUPS 27631 WITH SCORE 27692.78
AT ITER 49 NEW BEST:: SOT 123656 SOS 61714 HAS SOPS 61026 HAS SOUS 27835 HAS SOUPS 27562 WITH SCORE 27623.714
AT ITER 56 NEW BEST:: SOT 123620 SOS 61652 HAS SOPS 60964 HAS SOUS 27745 HAS SOUPS 27472 WITH SCORE 27533.652
AT ITER 57 NEW BEST:: SOT 123492 SOS 61704 HAS SOPS 61016 HAS SOUS 27630 HAS SOUPS 27357 WITH SCORE 27418.704
AT ITER 59 NEW BEST:: SOT 123659 SOS 61702 HAS SOPS 61014 HAS SOUS 27617 HAS SOUPS 27344 WITH SCORE 27405.702
AT ITER 64 NEW BEST:: SOT 123650 SOS 61703 HAS SOPS 61015 HAS SOUS 27523 HAS SOUPS 27250 WITH SCORE 27311.703
AT ITER 69 NEW BEST:: SOT 123459 SOS 61456 HAS SOPS 60768 HAS SOUS 27318 HAS SOUPS 27045 WITH SCORE 27106.456
AT ITER 71 NEW BEST:: SOT 123460 SOS 61451 HAS SOPS 60763 HAS SOUS 27317 HAS SOUPS 27044 WITH SCORE 27105.451
AT ITER 73 NEW BEST:: SOT 123206 SOS 61493 HAS SOPS 60805 HAS SOUS 27282 HAS SOUPS 27009 WITH SCORE 27070.493
AT ITER 74 NEW BEST:: SOT 122947 SOS 61458 HAS SOPS 60770 HAS SOUS 27123 HAS SOUPS 26850 WITH SCORE 26911.458
AT ITER 80 NEW BEST:: SOT 123306 SOS 61411 HAS SOPS 60723 HAS SOUS 26971 HAS SOUPS 26698 WITH SCORE 26759.411
AT ITER 82 NEW BEST:: SOT 123297 SOS 61393 HAS SOPS 60705 HAS SOUS 26927 HAS SOUPS 26654 WITH SCORE 26715.393
AT ITER 86 NEW BEST:: SOT 123342 SOS 61417 HAS SOPS 60729 HAS SOUS 26914 HAS SOUPS 26641 WITH SCORE 26702.417
AT ITER 88 NEW BEST:: SOT 122991 SOS 61195 HAS SOPS 60477 HAS SOUS 26859 HAS SOUPS 26586 WITH SCORE 26647.195
AT ITER 89 NEW BEST:: SOT 122991 SOS 61179 HAS SOPS 60461 HAS SOUS 26843 HAS SOUPS 26570 WITH SCORE 26631.179
AT ITER 91 NEW BEST:: SOT 122692 SOS 60972 HAS SOPS 60254 HAS SOUS 26781 HAS SOUPS 26508 WITH SCORE 26568.972
AT ITER 102 NEW BEST:: SOT 122683 SOS 60945 HAS SOPS 60227 HAS SOUS 26763 HAS SOUPS 26490 WITH SCORE 26550.945
AT ITER 104 NEW BEST:: SOT 122518 SOS 60849 HAS SOPS 60131 HAS SOUS 26719 HAS SOUPS 26446 WITH SCORE 26506.849
AT ITER 106 NEW BEST:: SOT 122445 SOS 60841 HAS SOPS 60123 HAS SOUS 26687 HAS SOUPS 26414 WITH SCORE 26474.841
AT ITER 110 NEW BEST:: SOT 122278 SOS 60515 HAS SOPS 59795 HAS SOUS 26447 HAS SOUPS 26174 WITH SCORE 26234.515
AT ITER 112 NEW BEST:: SOT 122212 SOS 60438 HAS SOPS 59718 HAS SOUS 26221 HAS SOUPS 25948 WITH SCORE 26008.438
AT ITER 115 NEW BEST:: SOT 121900 SOS 60259 HAS SOPS 59539 HAS SOUS 26188 HAS SOUPS 25915 WITH SCORE 25975.259
AT ITER 118 NEW BEST:: SOT 121888 SOS 59898 HAS SOPS 59245 HAS SOUS 25899 HAS SOUPS 25602 WITH SCORE 25661.898
AT ITER 123 NEW BEST:: SOT 122198 SOS 60326 HAS SOPS 59685 HAS SOUS 25863 HAS SOUPS 25570 WITH SCORE 25630.326
AT ITER 128 NEW BEST:: SOT 121803 SOS 60058 HAS SOPS 59417 HAS SOUS 25747 HAS SOUPS 25454 WITH SCORE 25514.058
AT ITER 130 NEW BEST:: SOT 121948 SOS 60567 HAS SOPS 59926 HAS SOUS 25530 HAS SOUPS 25237 WITH SCORE 25297.567
AT ITER 131 NEW BEST:: SOT 121868 SOS 60425 HAS SOPS 59784 HAS SOUS 25388 HAS SOUPS 25095 WITH SCORE 25155.425
AT ITER 132 NEW BEST:: SOT 121798 SOS 60369 HAS SOPS 59728 HAS SOUS 25388 HAS SOUPS 25095 WITH SCORE 25155.369
AT ITER 134 NEW BEST:: SOT 122259 SOS 61690 HAS SOPS 60845 HAS SOUS 25465 HAS SOUPS 25070 WITH SCORE 25131.69
AT ITER 135 NEW BEST:: SOT 122630 SOS 61649 HAS SOPS 60804 HAS SOUS 25363 HAS SOUPS 24968 WITH SCORE 25029.649
AT ITER 136 NEW BEST:: SOT 122602 SOS 61739 HAS SOPS 60908 HAS SOUS 25350 HAS SOUPS 24958 WITH SCORE 25019.739
AT ITER 140 NEW BEST:: SOT 122601 SOS 61737 HAS SOPS 60906 HAS SOUS 25348 HAS SOUPS 24956 WITH SCORE 25017.737
AT ITER 142 NEW BEST:: SOT 122904 SOS 61802 HAS SOPS 60971 HAS SOUS 25276 HAS SOUPS 24884 WITH SCORE 24945.802
AT ITER 144 NEW BEST:: SOT 123215 SOS 63329 HAS SOPS 62504 HAS SOUS 25174 HAS SOUPS 24784 WITH SCORE 24847.329
AT ITER 146 NEW BEST:: SOT 123327 SOS 63413 HAS SOPS 62588 HAS SOUS 25160 HAS SOUPS 24770 WITH SCORE 24833.413
AT ITER 148 NEW BEST:: SOT 123754 SOS 63580 HAS SOPS 62755 HAS SOUS 24925 HAS SOUPS 24535 WITH SCORE 24598.58
AT ITER 150 NEW BEST:: SOT 123696 SOS 63493 HAS SOPS 62668 HAS SOUS 24838 HAS SOUPS 24448 WITH SCORE 24511.493
AT ITER 160 NEW BEST:: SOT 123828 SOS 63539 HAS SOPS 62714 HAS SOUS 24755 HAS SOUPS 24365 WITH SCORE 24428.539
AT ITER 162 NEW BEST:: SOT 123813 SOS 63534 HAS SOPS 62709 HAS SOUS 24739 HAS SOUPS 24349 WITH SCORE 24412.534
AT ITER 167 NEW BEST:: SOT 123778 SOS 63485 HAS SOPS 62660 HAS SOUS 24697 HAS SOUPS 24307 WITH SCORE 24370.485
AT ITER 169 NEW BEST:: SOT 123824 SOS 63577 HAS SOPS 62752 HAS SOUS 24682 HAS SOUPS 24292 WITH SCORE 24355.577
AT ITER 172 NEW BEST:: SOT 123686 SOS 63462 HAS SOPS 62637 HAS SOUS 24636 HAS SOUPS 24246 WITH SCORE 24309.462
AT ITER 177 NEW BEST:: SOT 123818 SOS 63738 HAS SOPS 62922 HAS SOUS 24544 HAS SOUPS 24154 WITH SCORE 24217.738
AT ITER 179 NEW BEST:: SOT 122898 SOS 63293 HAS SOPS 62477 HAS SOUS 24170 HAS SOUPS 23780 WITH SCORE 23843.293
AT ITER 186 NEW BEST:: SOT 122184 SOS 63100 HAS SOPS 62262 HAS SOUS 23830 HAS SOUPS 23422 WITH SCORE 23485.1
AT ITER 189 NEW BEST:: SOT 121879 SOS 62798 HAS SOPS 61960 HAS SOUS 23672 HAS SOUPS 23264 WITH SCORE 23326.798
AT ITER 191 NEW BEST:: SOT 121823 SOS 62658 HAS SOPS 61820 HAS SOUS 23616 HAS SOUPS 23208 WITH SCORE 23270.658
AT ITER 193 NEW BEST:: SOT 121767 SOS 62574 HAS SOPS 61736 HAS SOUS 23548 HAS SOUPS 23140 WITH SCORE 23202.574
AT ITER 195 NEW BEST:: SOT 121825 SOS 62690 HAS SOPS 61852 HAS SOUS 23546 HAS SOUPS 23138 WITH SCORE 23200.69
AT ITER 197 NEW BEST:: SOT 121819 SOS 62686 HAS SOPS 61848 HAS SOUS 23546 HAS SOUPS 23138 WITH SCORE 23200.686
AT ITER 200 NEW BEST:: SOT 121797 SOS 62664 HAS SOPS 61826 HAS SOUS 23530 HAS SOUPS 23122 WITH SCORE 23184.664
AT ITER 204 NEW BEST:: SOT 121744 SOS 62591 HAS SOPS 61753 HAS SOUS 23457 HAS SOUPS 23049 WITH SCORE 23111.591
AT ITER 207 NEW BEST:: SOT 121755 SOS 62580 HAS SOPS 61742 HAS SOUS 23446 HAS SOUPS 23038 WITH SCORE 23100.58
AT ITER 209 NEW BEST:: SOT 121755 SOS 62532 HAS SOPS 61694 HAS SOUS 23431 HAS SOUPS 23023 WITH SCORE 23085.532
AT ITER 210 NEW BEST:: SOT 121602 SOS 62390 HAS SOPS 61552 HAS SOUS 23345 HAS SOUPS 22937 WITH SCORE 22999.39
AT ITER 215 NEW BEST:: SOT 121439 SOS 63097 HAS SOPS 61359 HAS SOUS 23276 HAS SOUPS 22774 WITH SCORE 22837.097
AT ITER 217 NEW BEST:: SOT 121264 SOS 62947 HAS SOPS 61209 HAS SOUS 23249 HAS SOUPS 22747 WITH SCORE 22809.947
AT ITER 220 NEW BEST:: SOT 121144 SOS 62587 HAS SOPS 60849 HAS SOUS 23129 HAS SOUPS 22627 WITH SCORE 22689.587
AT ITER 226 NEW BEST:: SOT 121252 SOS 62640 HAS SOPS 60907 HAS SOUS 23115 HAS SOUPS 22615 WITH SCORE 22677.64
AT ITER 227 NEW BEST:: SOT 121119 SOS 62299 HAS SOPS 60589 HAS SOUS 22859 HAS SOUPS 22359 WITH SCORE 22421.299
AT ITER 230 NEW BEST:: SOT 121034 SOS 62159 HAS SOPS 60419 HAS SOUS 22689 HAS SOUPS 22189 WITH SCORE 22251.159
AT ITER 233 NEW BEST:: SOT 120988 SOS 62062 HAS SOPS 60322 HAS SOUS 22458 HAS SOUPS 21958 WITH SCORE 22020.062
AT ITER 234 NEW BEST:: SOT 121089 SOS 62336 HAS SOPS 60596 HAS SOUS 22456 HAS SOUPS 21956 WITH SCORE 22018.336
AT ITER 235 NEW BEST:: SOT 120977 SOS 61881 HAS SOPS 60141 HAS SOUS 22408 HAS SOUPS 21908 WITH SCORE 21969.881
AT ITER 239 NEW BEST:: SOT 121284 SOS 62613 HAS SOPS 60873 HAS SOUS 22329 HAS SOUPS 21829 WITH SCORE 21891.613
AT ITER 241 NEW BEST:: SOT 121301 SOS 62559 HAS SOPS 60819 HAS SOUS 22221 HAS SOUPS 21721 WITH SCORE 21783.559
AT ITER 242 NEW BEST:: SOT 121454 SOS 62815 HAS SOPS 61075 HAS SOUS 21852 HAS SOUPS 21352 WITH SCORE 21414.815
AT ITER 244 NEW BEST:: SOT 121295 SOS 62727 HAS SOPS 60933 HAS SOUS 21824 HAS SOUPS 21293 WITH SCORE 21355.727
AT ITER 247 NEW BEST:: SOT 121319 SOS 62723 HAS SOPS 60917 HAS SOUS 21815 HAS SOUPS 21284 WITH SCORE 21346.723
AT ITER 251 NEW BEST:: SOT 121304 SOS 62732 HAS SOPS 60926 HAS SOUS 21783 HAS SOUPS 21252 WITH SCORE 21314.732
AT ITER 253 NEW BEST:: SOT 121324 SOS 62752 HAS SOPS 60946 HAS SOUS 21731 HAS SOUPS 21200 WITH SCORE 21262.752
AT ITER 254 NEW BEST:: SOT 121320 SOS 62751 HAS SOPS 60945 HAS SOUS 21731 HAS SOUPS 21200 WITH SCORE 21262.751
AT ITER 262 NEW BEST:: SOT 121404 SOS 62870 HAS SOPS 61064 HAS SOUS 21675 HAS SOUPS 21144 WITH SCORE 21206.87
AT ITER 268 NEW BEST:: SOT 121732 SOS 63058 HAS SOPS 61252 HAS SOUS 21668 HAS SOUPS 21137 WITH SCORE 21200.058
AT ITER 271 NEW BEST:: SOT 121655 SOS 62962 HAS SOPS 61127 HAS SOUS 21543 HAS SOUPS 21012 WITH SCORE 21074.962
AT ITER 280 NEW BEST:: SOT 121655 SOS 62918 HAS SOPS 61083 HAS SOUS 21521 HAS SOUPS 20990 WITH SCORE 21052.918
AT ITER 284 NEW BEST:: SOT 120989 SOS 62306 HAS SOPS 60471 HAS SOUS 20989 HAS SOUPS 20458 WITH SCORE 20520.306
AT ITER 288 NEW BEST:: SOT 120836 SOS 62181 HAS SOPS 60346 HAS SOUS 20903 HAS SOUPS 20372 WITH SCORE 20434.181
AT ITER 290 NEW BEST:: SOT 120638 SOS 62049 HAS SOPS 60214 HAS SOUS 20870 HAS SOUPS 20339 WITH SCORE 20401.049
AT ITER 293 NEW BEST:: SOT 120353 SOS 61208 HAS SOPS 59935 HAS SOUS 20655 HAS SOUPS 20124 WITH SCORE 20185.208
AT ITER 297 NEW BEST:: SOT 120646 SOS 61660 HAS SOPS 60387 HAS SOUS 20597 HAS SOUPS 20066 WITH SCORE 20127.66
AT ITER 303 NEW BEST:: SOT 120619 SOS 61606 HAS SOPS 60333 HAS SOUS 20560 HAS SOUPS 20029 WITH SCORE 20090.606
AT ITER 314 NEW BEST:: SOT 120298 SOS 61285 HAS SOPS 60012 HAS SOUS 20356 HAS SOUPS 19825 WITH SCORE 19886.285
AT ITER 315 NEW BEST:: SOT 120329 SOS 61291 HAS SOPS 60011 HAS SOUS 20344 HAS SOUPS 19813 WITH SCORE 19874.291
AT ITER 317 NEW BEST:: SOT 120316 SOS 61239 HAS SOPS 59959 HAS SOUS 20331 HAS SOUPS 19800 WITH SCORE 19861.239
AT ITER 326 NEW BEST:: SOT 120288 SOS 61197 HAS SOPS 59903 HAS SOUS 20275 HAS SOUPS 19744 WITH SCORE 19805.197
AT ITER 328 NEW BEST:: SOT 120210 SOS 61145 HAS SOPS 59851 HAS SOUS 20223 HAS SOUPS 19692 WITH SCORE 19753.145
AT ITER 337 NEW BEST:: SOT 120246 SOS 61127 HAS SOPS 59833 HAS SOUS 20038 HAS SOUPS 19507 WITH SCORE 19568.127
AT ITER 340 NEW BEST:: SOT 120435 SOS 61346 HAS SOPS 60052 HAS SOUS 19918 HAS SOUPS 19387 WITH SCORE 19448.346
AT ITER 341 NEW BEST:: SOT 120420 SOS 61331 HAS SOPS 60028 HAS SOUS 19887 HAS SOUPS 19356 WITH SCORE 19417.331
AT ITER 353 NEW BEST:: SOT 120211 SOS 61126 HAS SOPS 59823 HAS SOUS 19862 HAS SOUPS 19331 WITH SCORE 19392.126
AT ITER 355 NEW BEST:: SOT 120304 SOS 60968 HAS SOPS 59665 HAS SOUS 19741 HAS SOUPS 19210 WITH SCORE 19270.968
AT ITER 364 NEW BEST:: SOT 120301 SOS 60965 HAS SOPS 59662 HAS SOUS 19735 HAS SOUPS 19204 WITH SCORE 19264.965
AT ITER 373 NEW BEST:: SOT 120266 SOS 60842 HAS SOPS 59539 HAS SOUS 19609 HAS SOUPS 19078 WITH SCORE 19138.842
AT ITER 380 NEW BEST:: SOT 120272 SOS 60844 HAS SOPS 59541 HAS SOUS 19605 HAS SOUPS 19074 WITH SCORE 19134.844
AT ITER 385 NEW BEST:: SOT 120348 SOS 60776 HAS SOPS 59473 HAS SOUS 19549 HAS SOUPS 19018 WITH SCORE 19078.776
AT ITER 391 NEW BEST:: SOT 120357 SOS 60785 HAS SOPS 59482 HAS SOUS 19543 HAS SOUPS 19012 WITH SCORE 19072.785
AT ITER 392 NEW BEST:: SOT 120389 SOS 60470 HAS SOPS 59167 HAS SOUS 19494 HAS SOUPS 18963 WITH SCORE 19023.47
AT ITER 393 NEW BEST:: SOT 120390 SOS 60467 HAS SOPS 59164 HAS SOUS 19493 HAS SOUPS 18962 WITH SCORE 19022.467
AT ITER 399 NEW BEST:: SOT 120191 SOS 60378 HAS SOPS 59075 HAS SOUS 19404 HAS SOUPS 18873 WITH SCORE 18933.378
AT ITER 400 NEW BEST:: SOT 120579 SOS 60909 HAS SOPS 59606 HAS SOUS 19402 HAS SOUPS 18871 WITH SCORE 18931.909
AT ITER 402 NEW BEST:: SOT 120552 SOS 60792 HAS SOPS 59507 HAS SOUS 19384 HAS SOUPS 18862 WITH SCORE 18922.792
AT ITER 404 NEW BEST:: SOT 120711 SOS 61828 HAS SOPS 59666 HAS SOUS 19424 HAS SOUPS 18851 WITH SCORE 18912.828
AT ITER 412 NEW BEST:: SOT 120695 SOS 61964 HAS SOPS 59806 HAS SOUS 19419 HAS SOUPS 18847 WITH SCORE 18908.964
AT ITER 425 NEW BEST:: SOT 120965 SOS 62285 HAS SOPS 60127 HAS SOUS 19365 HAS SOUPS 18793 WITH SCORE 18855.285
AT ITER 435 NEW BEST:: SOT 121119 SOS 62231 HAS SOPS 60073 HAS SOUS 19244 HAS SOUPS 18672 WITH SCORE 18734.231
AT ITER 436 NEW BEST:: SOT 120988 SOS 62059 HAS SOPS 59901 HAS SOUS 19196 HAS SOUPS 18624 WITH SCORE 18686.059
AT ITER 437 NEW BEST:: SOT 120785 SOS 61827 HAS SOPS 59669 HAS SOUS 19093 HAS SOUPS 18521 WITH SCORE 18582.827
AT ITER 438 NEW BEST:: SOT 120551 SOS 61594 HAS SOPS 59436 HAS SOUS 19081 HAS SOUPS 18509 WITH SCORE 18570.594
AT ITER 442 NEW BEST:: SOT 120599 SOS 61624 HAS SOPS 59466 HAS SOUS 19065 HAS SOUPS 18493 WITH SCORE 18554.624
AT ITER 451 NEW BEST:: SOT 120536 SOS 61587 HAS SOPS 59429 HAS SOUS 19015 HAS SOUPS 18443 WITH SCORE 18504.587
AT ITER 454 NEW BEST:: SOT 120533 SOS 61588 HAS SOPS 59430 HAS SOUS 19012 HAS SOUPS 18440 WITH SCORE 18501.588
AT ITER 455 NEW BEST:: SOT 120533 SOS 61583 HAS SOPS 59430 HAS SOUS 19012 HAS SOUPS 18440 WITH SCORE 18501.583
AT ITER 467 NEW BEST:: SOT 120533 SOS 61567 HAS SOPS 59414 HAS SOUS 19012 HAS SOUPS 18440 WITH SCORE 18501.567
AT ITER 469 NEW BEST:: SOT 119936 SOS 60841 HAS SOPS 58688 HAS SOUS 18886 HAS SOUPS 18314 WITH SCORE 18374.841
AT ITER 470 NEW BEST:: SOT 119951 SOS 60874 HAS SOPS 58694 HAS SOUS 18875 HAS SOUPS 18296 WITH SCORE 18356.874
AT ITER 477 NEW BEST:: SOT 119997 SOS 60918 HAS SOPS 58738 HAS SOUS 18639 HAS SOUPS 18060 WITH SCORE 18120.918
AT ITER 491 NEW BEST:: SOT 120207 SOS 61742 HAS SOPS 58843 HAS SOUS 18655 HAS SOUPS 18041 WITH SCORE 18102.742
AT ITER 498 NEW BEST:: SOT 120276 SOS 61916 HAS SOPS 58981 HAS SOUS 18667 HAS SOUPS 18035 WITH SCORE 18096.916
AT ITER 500 NEW BEST:: SOT 120266 SOS 61896 HAS SOPS 58980 HAS SOUS 18666 HAS SOUPS 18034 WITH SCORE 18095.896
AT ITER 515 NEW BEST:: SOT 120240 SOS 61844 HAS SOPS 58928 HAS SOUS 18664 HAS SOUPS 18032 WITH SCORE 18093.844
AT ITER 522 NEW BEST:: SOT 120244 SOS 61850 HAS SOPS 58936 HAS SOUS 18660 HAS SOUPS 18028 WITH SCORE 18089.85
AT ITER 529 NEW BEST:: SOT 120272 SOS 60770 HAS SOPS 58054 HAS SOUS 18504 HAS SOUPS 17971 WITH SCORE 18031.77
AT ITER 534 NEW BEST:: SOT 120103 SOS 60864 HAS SOPS 58148 HAS SOUS 18393 HAS SOUPS 17860 WITH SCORE 17920.864
AT ITER 539 NEW BEST:: SOT 120087 SOS 60556 HAS SOPS 57840 HAS SOUS 18244 HAS SOUPS 17711 WITH SCORE 17771.556
AT ITER 540 NEW BEST:: SOT 119809 SOS 60509 HAS SOPS 57793 HAS SOUS 18178 HAS SOUPS 17645 WITH SCORE 17705.509
AT ITER 543 NEW BEST:: SOT 119673 SOS 60305 HAS SOPS 57589 HAS SOUS 18074 HAS SOUPS 17541 WITH SCORE 17601.305
AT ITER 545 NEW BEST:: SOT 119842 SOS 60107 HAS SOPS 57391 HAS SOUS 17914 HAS SOUPS 17381 WITH SCORE 17441.107
AT ITER 547 NEW BEST:: SOT 119830 SOS 60071 HAS SOPS 57355 HAS SOUS 17902 HAS SOUPS 17369 WITH SCORE 17429.071
AT ITER 562 NEW BEST:: SOT 119808 SOS 60047 HAS SOPS 57327 HAS SOUS 17882 HAS SOUPS 17349 WITH SCORE 17409.047
AT ITER 563 NEW BEST:: SOT 119723 SOS 60000 HAS SOPS 57280 HAS SOUS 17777 HAS SOUPS 17244 WITH SCORE 17304.0
AT ITER 564 NEW BEST:: SOT 119631 SOS 60100 HAS SOPS 57288 HAS SOUS 17629 HAS SOUPS 17096 WITH SCORE 17156.1
AT ITER 569 NEW BEST:: SOT 119886 SOS 60556 HAS SOPS 57744 HAS SOUS 17594 HAS SOUPS 17061 WITH SCORE 17121.556
AT ITER 574 NEW BEST:: SOT 119906 SOS 60536 HAS SOPS 57724 HAS SOUS 17594 HAS SOUPS 17061 WITH SCORE 17121.536
AT ITER 578 NEW BEST:: SOT 119714 SOS 60344 HAS SOPS 57532 HAS SOUS 17552 HAS SOUPS 17019 WITH SCORE 17079.344
AT ITER 579 NEW BEST:: SOT 119650 SOS 60280 HAS SOPS 57426 HAS SOUS 17439 HAS SOUPS 16906 WITH SCORE 16966.28
AT ITER 585 NEW BEST:: SOT 119555 SOS 60166 HAS SOPS 57312 HAS SOUS 17439 HAS SOUPS 16906 WITH SCORE 16966.166
AT ITER 592 NEW BEST:: SOT 119402 SOS 60025 HAS SOPS 57171 HAS SOUS 17397 HAS SOUPS 16864 WITH SCORE 16924.025
AT ITER 594 NEW BEST:: SOT 119351 SOS 60017 HAS SOPS 57177 HAS SOUS 17378 HAS SOUPS 16845 WITH SCORE 16905.017
AT ITER 598 NEW BEST:: SOT 119294 SOS 59993 HAS SOPS 57153 HAS SOUS 17335 HAS SOUPS 16802 WITH SCORE 16861.993
AT ITER 602 NEW BEST:: SOT 119294 SOS 59987 HAS SOPS 57147 HAS SOUS 17335 HAS SOUPS 16802 WITH SCORE 16861.987
AT ITER 613 NEW BEST:: SOT 119280 SOS 59973 HAS SOPS 57133 HAS SOUS 17332 HAS SOUPS 16799 WITH SCORE 16858.973
AT ITER 616 NEW BEST:: SOT 119297 SOS 59967 HAS SOPS 57119 HAS SOUS 17317 HAS SOUPS 16784 WITH SCORE 16843.967
AT ITER 642 NEW BEST:: SOT 119294 SOS 59955 HAS SOPS 57107 HAS SOUS 17311 HAS SOUPS 16778 WITH SCORE 16837.955
AT ITER 644 NEW BEST:: SOT 119251 SOS 59924 HAS SOPS 57076 HAS SOUS 17255 HAS SOUPS 16722 WITH SCORE 16781.924
AT ITER 645 NEW BEST:: SOT 119186 SOS 59859 HAS SOPS 57002 HAS SOUS 17181 HAS SOUPS 16648 WITH SCORE 16707.859
AT ITER 655 NEW BEST:: SOT 118989 SOS 59739 HAS SOPS 56887 HAS SOUS 17112 HAS SOUPS 16579 WITH SCORE 16638.739
AT ITER 668 NEW BEST:: SOT 118720 SOS 59271 HAS SOPS 56419 HAS SOUS 17056 HAS SOUPS 16523 WITH SCORE 16582.271
AT ITER 670 NEW BEST:: SOT 118765 SOS 59491 HAS SOPS 56652 HAS SOUS 17033 HAS SOUPS 16505 WITH SCORE 16564.491
AT ITER 672 NEW BEST:: SOT 118697 SOS 59440 HAS SOPS 56601 HAS SOUS 17033 HAS SOUPS 16505 WITH SCORE 16564.44
AT ITER 673 NEW BEST:: SOT 118685 SOS 59425 HAS SOPS 56586 HAS SOUS 17018 HAS SOUPS 16490 WITH SCORE 16549.425
AT ITER 674 NEW BEST:: SOT 118676 SOS 59425 HAS SOPS 56586 HAS SOUS 16982 HAS SOUPS 16454 WITH SCORE 16513.425
AT ITER 675 NEW BEST:: SOT 118616 SOS 59345 HAS SOPS 56506 HAS SOUS 16962 HAS SOUPS 16434 WITH SCORE 16493.345
AT ITER 677 NEW BEST:: SOT 118592 SOS 59724 HAS SOPS 56885 HAS SOUS 16892 HAS SOUPS 16364 WITH SCORE 16423.724
AT ITER 687 NEW BEST:: SOT 118598 SOS 59691 HAS SOPS 56852 HAS SOUS 16884 HAS SOUPS 16356 WITH SCORE 16415.691
AT ITER 689 NEW BEST:: SOT 118486 SOS 59649 HAS SOPS 56880 HAS SOUS 16796 HAS SOUPS 16268 WITH SCORE 16327.649
AT ITER 711 NEW BEST:: SOT 118310 SOS 59593 HAS SOPS 56824 HAS SOUS 16742 HAS SOUPS 16214 WITH SCORE 16273.593
AT ITER 720 NEW BEST:: SOT 118250 SOS 59553 HAS SOPS 56784 HAS SOUS 16710 HAS SOUPS 16182 WITH SCORE 16241.553
AT ITER 724 NEW BEST:: SOT 118382 SOS 59557 HAS SOPS 56788 HAS SOUS 16701 HAS SOUPS 16173 WITH SCORE 16232.557
AT ITER 727 NEW BEST:: SOT 118451 SOS 59499 HAS SOPS 56730 HAS SOUS 16643 HAS SOUPS 16115 WITH SCORE 16174.499
AT ITER 729 NEW BEST:: SOT 118516 SOS 59538 HAS SOPS 56769 HAS SOUS 16630 HAS SOUPS 16102 WITH SCORE 16161.538
AT ITER 736 NEW BEST:: SOT 118596 SOS 59570 HAS SOPS 56801 HAS SOUS 16614 HAS SOUPS 16086 WITH SCORE 16145.57
AT ITER 750 NEW BEST:: SOT 118736 SOS 59370 HAS SOPS 56601 HAS SOUS 16412 HAS SOUPS 15884 WITH SCORE 15943.37
AT ITER 762 NEW BEST:: SOT 118702 SOS 59640 HAS SOPS 56871 HAS SOUS 16318 HAS SOUPS 15790 WITH SCORE 15849.64
AT ITER 771 NEW BEST:: SOT 118702 SOS 59600 HAS SOPS 56831 HAS SOUS 16288 HAS SOUPS 15760 WITH SCORE 15819.6
AT ITER 774 NEW BEST:: SOT 118934 SOS 59769 HAS SOPS 57000 HAS SOUS 16225 HAS SOUPS 15697 WITH SCORE 15756.769
AT ITER 777 NEW BEST:: SOT 118913 SOS 59741 HAS SOPS 56972 HAS SOUS 16183 HAS SOUPS 15655 WITH SCORE 15714.741
AT ITER 797 NEW BEST:: SOT 118900 SOS 59745 HAS SOPS 56976 HAS SOUS 16180 HAS SOUPS 15652 WITH SCORE 15711.745
AT ITER 804 NEW BEST:: SOT 118888 SOS 59727 HAS SOPS 56953 HAS SOUS 16178 HAS SOUPS 15650 WITH SCORE 15709.727
AT ITER 805 NEW BEST:: SOT 119274 SOS 60143 HAS SOPS 57369 HAS SOUS 16120 HAS SOUPS 15592 WITH SCORE 15652.143
AT ITER 813 NEW BEST:: SOT 119225 SOS 60054 HAS SOPS 57280 HAS SOUS 16104 HAS SOUPS 15576 WITH SCORE 15636.054
AT ITER 820 NEW BEST:: SOT 119262 SOS 60063 HAS SOPS 57289 HAS SOUS 16093 HAS SOUPS 15565 WITH SCORE 15625.063
AT ITER 829 NEW BEST:: SOT 119141 SOS 59985 HAS SOPS 57211 HAS SOUS 16082 HAS SOUPS 15554 WITH SCORE 15613.985
AT ITER 838 NEW BEST:: SOT 119203 SOS 60071 HAS SOPS 57297 HAS SOUS 16076 HAS SOUPS 15548 WITH SCORE 15608.071
AT ITER 858 NEW BEST:: SOT 119142 SOS 59917 HAS SOPS 57183 HAS SOUS 16041 HAS SOUPS 15533 WITH SCORE 15592.917
AT ITER 871 NEW BEST:: SOT 118895 SOS 59251 HAS SOPS 56517 HAS SOUS 16013 HAS SOUPS 15505 WITH SCORE 15564.251
AT ITER 874 NEW BEST:: SOT 118875 SOS 59211 HAS SOPS 56477 HAS SOUS 15993 HAS SOUPS 15485 WITH SCORE 15544.211
AT ITER 878 NEW BEST:: SOT 118878 SOS 59211 HAS SOPS 56477 HAS SOUS 15981 HAS SOUPS 15473 WITH SCORE 15532.211
AT ITER 883 NEW BEST:: SOT 118878 SOS 59211 HAS SOPS 56477 HAS SOUS 15897 HAS SOUPS 15389 WITH SCORE 15448.211
AT ITER 896 NEW BEST:: SOT 118648 SOS 58945 HAS SOPS 56211 HAS SOUS 15770 HAS SOUPS 15262 WITH SCORE 15320.945
AT ITER 899 NEW BEST:: SOT 118592 SOS 58635 HAS SOPS 55901 HAS SOUS 15731 HAS SOUPS 15223 WITH SCORE 15281.635
AT ITER 906 NEW BEST:: SOT 118536 SOS 58505 HAS SOPS 55725 HAS SOUS 15683 HAS SOUPS 15175 WITH SCORE 15233.505
AT ITER 919 NEW BEST:: SOT 118499 SOS 58467 HAS SOPS 55687 HAS SOUS 15669 HAS SOUPS 15161 WITH SCORE 15219.467
AT ITER 930 NEW BEST:: SOT 118499 SOS 59241 HAS SOPS 55558 HAS SOUS 15669 HAS SOUPS 15118 WITH SCORE 15177.241
AT ITER 945 NEW BEST:: SOT 118504 SOS 59246 HAS SOPS 55563 HAS SOUS 15648 HAS SOUPS 15097 WITH SCORE 15156.246
AT ITER 948 NEW BEST:: SOT 118416 SOS 59091 HAS SOPS 55387 HAS SOUS 15496 HAS SOUPS 14945 WITH SCORE 15004.091
AT ITER 960 NEW BEST:: SOT 118103 SOS 58850 HAS SOPS 55146 HAS SOUS 15496 HAS SOUPS 14945 WITH SCORE 15003.85
AT ITER 963 NEW BEST:: SOT 118094 SOS 58835 HAS SOPS 55131 HAS SOUS 15493 HAS SOUPS 14942 WITH SCORE 15000.835
AT ITER 972 NEW BEST:: SOT 118094 SOS 58800 HAS SOPS 55096 HAS SOUS 15458 HAS SOUPS 14907 WITH SCORE 14965.8
AT ITER 993 NEW BEST:: SOT 118070 SOS 58752 HAS SOPS 55048 HAS SOUS 15434 HAS SOUPS 14883 WITH SCORE 14941.752
AT ITER 1018 NEW BEST:: SOT 118125 SOS 58703 HAS SOPS 54953 HAS SOUS 15363 HAS SOUPS 14812 WITH SCORE 14870.703
AT ITER 1053 NEW BEST:: SOT 118368 SOS 59039 HAS SOPS 55289 HAS SOUS 15305 HAS SOUPS 14754 WITH SCORE 14813.039
AT ITER 1055 NEW BEST:: SOT 118312 SOS 58957 HAS SOPS 55181 HAS SOUS 15197 HAS SOUPS 14646 WITH SCORE 14704.957
AT ITER 1058 NEW BEST:: SOT 118027 SOS 58687 HAS SOPS 54911 HAS SOUS 15147 HAS SOUPS 14596 WITH SCORE 14654.687
AT ITER 1068 NEW BEST:: SOT 117963 SOS 58419 HAS SOPS 54643 HAS SOUS 15107 HAS SOUPS 14556 WITH SCORE 14614.419
AT ITER 1072 NEW BEST:: SOT 118077 SOS 58457 HAS SOPS 54681 HAS SOUS 15031 HAS SOUPS 14480 WITH SCORE 14538.457
AT ITER 1083 NEW BEST:: SOT 118078 SOS 58454 HAS SOPS 54678 HAS SOUS 15027 HAS SOUPS 14476 WITH SCORE 14534.454
AT ITER 1084 NEW BEST:: SOT 118141 SOS 58649 HAS SOPS 54873 HAS SOUS 14991 HAS SOUPS 14440 WITH SCORE 14498.649
AT ITER 1132 NEW BEST:: SOT 118147 SOS 58556 HAS SOPS 54780 HAS SOUS 14982 HAS SOUPS 14431 WITH SCORE 14489.556
AT ITER 1153 NEW BEST:: SOT 118147 SOS 58520 HAS SOPS 54744 HAS SOUS 14964 HAS SOUPS 14413 WITH SCORE 14471.52
AT ITER 1155 NEW BEST:: SOT 119522 SOS 59396 HAS SOPS 55637 HAS SOUS 14902 HAS SOUPS 14357 WITH SCORE 14416.396
AT ITER 1157 NEW BEST:: SOT 119621 SOS 59554 HAS SOPS 55795 HAS SOUS 14876 HAS SOUPS 14331 WITH SCORE 14390.554
AT ITER 1159 NEW BEST:: SOT 119580 SOS 59684 HAS SOPS 55925 HAS SOUS 14848 HAS SOUPS 14303 WITH SCORE 14362.684
AT ITER 1161 NEW BEST:: SOT 119584 SOS 59692 HAS SOPS 55933 HAS SOUS 14820 HAS SOUPS 14275 WITH SCORE 14334.692
AT ITER 1166 NEW BEST:: SOT 119599 SOS 59781 HAS SOPS 56022 HAS SOUS 14753 HAS SOUPS 14208 WITH SCORE 14267.781
AT ITER 1178 NEW BEST:: SOT 119529 SOS 59768 HAS SOPS 56009 HAS SOUS 14746 HAS SOUPS 14201 WITH SCORE 14260.768
AT ITER 1198 NEW BEST:: SOT 119527 SOS 59766 HAS SOPS 56007 HAS SOUS 14746 HAS SOUPS 14201 WITH SCORE 14260.766
AT ITER 1200 NEW BEST:: SOT 119523 SOS 59762 HAS SOPS 56003 HAS SOUS 14734 HAS SOUPS 14189 WITH SCORE 14248.762
AT ITER 1204 NEW BEST:: SOT 119523 SOS 59762 HAS SOPS 56003 HAS SOUS 14645 HAS SOUPS 14100 WITH SCORE 14159.762
AT ITER 1210 NEW BEST:: SOT 119526 SOS 59429 HAS SOPS 55670 HAS SOUS 14613 HAS SOUPS 14068 WITH SCORE 14127.429
AT ITER 1226 NEW BEST:: SOT 119558 SOS 59425 HAS SOPS 55666 HAS SOUS 14606 HAS SOUPS 14061 WITH SCORE 14120.425
AT ITER 1231 NEW BEST:: SOT 119573 SOS 59372 HAS SOPS 55613 HAS SOUS 14604 HAS SOUPS 14059 WITH SCORE 14118.372
AT ITER 1232 NEW BEST:: SOT 119538 SOS 59359 HAS SOPS 55600 HAS SOUS 14580 HAS SOUPS 14035 WITH SCORE 14094.359
AT ITER 1235 NEW BEST:: SOT 119538 SOS 59340 HAS SOPS 55581 HAS SOUS 14580 HAS SOUPS 14035 WITH SCORE 14094.34
AT ITER 1239 NEW BEST:: SOT 119525 SOS 59314 HAS SOPS 55555 HAS SOUS 14567 HAS SOUPS 14022 WITH SCORE 14081.314
AT ITER 1246 NEW BEST:: SOT 119514 SOS 59343 HAS SOPS 55584 HAS SOUS 14554 HAS SOUPS 14009 WITH SCORE 14068.343
AT ITER 1254 NEW BEST:: SOT 119420 SOS 59155 HAS SOPS 55396 HAS SOUS 14343 HAS SOUPS 13798 WITH SCORE 13857.155
AT ITER 1300 NEW BEST:: SOT 119412 SOS 58792 HAS SOPS 55033 HAS SOUS 14224 HAS SOUPS 13679 WITH SCORE 13737.792
AT ITER 1305 NEW BEST:: SOT 119430 SOS 58798 HAS SOPS 55039 HAS SOUS 14222 HAS SOUPS 13677 WITH SCORE 13735.798
AT ITER 1312 NEW BEST:: SOT 119427 SOS 58795 HAS SOPS 55036 HAS SOUS 14214 HAS SOUPS 13669 WITH SCORE 13727.795
AT ITER 1315 NEW BEST:: SOT 119508 SOS 58706 HAS SOPS 54947 HAS SOUS 14159 HAS SOUPS 13614 WITH SCORE 13672.706
AT ITER 1321 NEW BEST:: SOT 119421 SOS 58358 HAS SOPS 54599 HAS SOUS 14072 HAS SOUPS 13527 WITH SCORE 13585.358
AT ITER 1322 NEW BEST:: SOT 119411 SOS 58404 HAS SOPS 54648 HAS SOUS 14069 HAS SOUPS 13525 WITH SCORE 13583.404
AT ITER 1325 NEW BEST:: SOT 119410 SOS 58402 HAS SOPS 54646 HAS SOUS 14067 HAS SOUPS 13523 WITH SCORE 13581.402
AT ITER 1329 NEW BEST:: SOT 119412 SOS 58401 HAS SOPS 54645 HAS SOUS 14066 HAS SOUPS 13522 WITH SCORE 13580.401
AT ITER 1343 NEW BEST:: SOT 119322 SOS 58331 HAS SOPS 54575 HAS SOUS 14036 HAS SOUPS 13492 WITH SCORE 13550.331
AT ITER 1345 NEW BEST:: SOT 119140 SOS 58123 HAS SOPS 54367 HAS SOUS 13966 HAS SOUPS 13422 WITH SCORE 13480.123
AT ITER 1372 NEW BEST:: SOT 119140 SOS 58123 HAS SOPS 54367 HAS SOUS 13858 HAS SOUPS 13314 WITH SCORE 13372.123
AT ITER 1396 NEW BEST:: SOT 119097 SOS 58080 HAS SOPS 54324 HAS SOUS 13793 HAS SOUPS 13249 WITH SCORE 13307.08
AT ITER 1398 NEW BEST:: SOT 119537 SOS 58344 HAS SOPS 54588 HAS SOUS 13759 HAS SOUPS 13215 WITH SCORE 13273.344
AT ITER 1414 NEW BEST:: SOT 119534 SOS 58343 HAS SOPS 54589 HAS SOUS 13756 HAS SOUPS 13212 WITH SCORE 13270.343
AT ITER 1425 NEW BEST:: SOT 119448 SOS 58265 HAS SOPS 54512 HAS SOUS 13718 HAS SOUPS 13170 WITH SCORE 13228.265
AT ITER 1432 NEW BEST:: SOT 119448 SOS 58265 HAS SOPS 54512 HAS SOUS 13715 HAS SOUPS 13167 WITH SCORE 13225.265
AT ITER 1433 NEW BEST:: SOT 119468 SOS 58285 HAS SOPS 54532 HAS SOUS 13697 HAS SOUPS 13149 WITH SCORE 13207.285
AT ITER 1437 NEW BEST:: SOT 119405 SOS 58179 HAS SOPS 54406 HAS SOUS 13667 HAS SOUPS 13119 WITH SCORE 13177.179
AT ITER 1453 NEW BEST:: SOT 119445 SOS 58165 HAS SOPS 54392 HAS SOUS 13629 HAS SOUPS 13081 WITH SCORE 13139.165
AT ITER 1462 NEW BEST:: SOT 119390 SOS 57497 HAS SOPS 53689 HAS SOUS 13589 HAS SOUPS 13008 WITH SCORE 13065.497
AT ITER 1464 NEW BEST:: SOT 119390 SOS 57533 HAS SOPS 53725 HAS SOUS 13565 HAS SOUPS 12984 WITH SCORE 13041.533
AT ITER 1465 NEW BEST:: SOT 119408 SOS 57352 HAS SOPS 53544 HAS SOUS 13494 HAS SOUPS 12913 WITH SCORE 12970.352
AT ITER 1514 NEW BEST:: SOT 119497 SOS 57562 HAS SOPS 53754 HAS SOUS 13456 HAS SOUPS 12875 WITH SCORE 12932.562
AT ITER 1524 NEW BEST:: SOT 119541 SOS 57588 HAS SOPS 53780 HAS SOUS 13447 HAS SOUPS 12866 WITH SCORE 12923.588
AT ITER 1558 NEW BEST:: SOT 119431 SOS 57843 HAS SOPS 53945 HAS SOUS 13446 HAS SOUPS 12820 WITH SCORE 12877.843
AT ITER 1564 NEW BEST:: SOT 119397 SOS 57775 HAS SOPS 53877 HAS SOUS 13412 HAS SOUPS 12786 WITH SCORE 12843.775
AT ITER 1587 NEW BEST:: SOT 119283 SOS 57321 HAS SOPS 53423 HAS SOUS 13248 HAS SOUPS 12622 WITH SCORE 12679.321
AT ITER 1589 NEW BEST:: SOT 119341 SOS 57390 HAS SOPS 53498 HAS SOUS 13239 HAS SOUPS 12618 WITH SCORE 12675.39
AT ITER 1590 NEW BEST:: SOT 118985 SOS 57038 HAS SOPS 53146 HAS SOUS 13088 HAS SOUPS 12467 WITH SCORE 12524.038
AT ITER 1592 NEW BEST:: SOT 118497 SOS 56664 HAS SOPS 52772 HAS SOUS 13052 HAS SOUPS 12431 WITH SCORE 12487.664
AT ITER 1608 NEW BEST:: SOT 118497 SOS 56664 HAS SOPS 52772 HAS SOUS 13025 HAS SOUPS 12404 WITH SCORE 12460.664
AT ITER 1635 NEW BEST:: SOT 118438 SOS 56465 HAS SOPS 52546 HAS SOUS 13009 HAS SOUPS 12395 WITH SCORE 12451.465
AT ITER 1664 NEW BEST:: SOT 118438 SOS 56465 HAS SOPS 52557 HAS SOUS 12998 HAS SOUPS 12384 WITH SCORE 12440.465
AT ITER 1673 NEW BEST:: SOT 118434 SOS 56461 HAS SOPS 52552 HAS SOUS 12992 HAS SOUPS 12378 WITH SCORE 12434.461
AT ITER 1703 NEW BEST:: SOT 118400 SOS 56441 HAS SOPS 52532 HAS SOUS 12971 HAS SOUPS 12357 WITH SCORE 12413.441
AT ITER 1704 NEW BEST:: SOT 118002 SOS 56163 HAS SOPS 52284 HAS SOUS 12935 HAS SOUPS 12321 WITH SCORE 12377.163
AT ITER 1713 NEW BEST:: SOT 118119 SOS 56121 HAS SOPS 52242 HAS SOUS 12873 HAS SOUPS 12259 WITH SCORE 12315.121
AT ITER 1736 NEW BEST:: SOT 118173 SOS 56121 HAS SOPS 52242 HAS SOUS 12831 HAS SOUPS 12217 WITH SCORE 12273.121
AT ITER 1746 NEW BEST:: SOT 117821 SOS 55776 HAS SOPS 51897 HAS SOUS 12754 HAS SOUPS 12140 WITH SCORE 12195.776
AT ITER 1747 NEW BEST:: SOT 117847 SOS 56204 HAS SOPS 52159 HAS SOUS 12817 HAS SOUPS 12120 WITH SCORE 12176.204
AT ITER 1758 NEW BEST:: SOT 117855 SOS 56232 HAS SOPS 52187 HAS SOUS 12813 HAS SOUPS 12116 WITH SCORE 12172.232
AT ITER 1761 NEW BEST:: SOT 117824 SOS 56198 HAS SOPS 52131 HAS SOUS 12809 HAS SOUPS 12112 WITH SCORE 12168.198
AT ITER 1764 NEW BEST:: SOT 117816 SOS 56170 HAS SOPS 52103 HAS SOUS 12797 HAS SOUPS 12100 WITH SCORE 12156.17
AT ITER 1766 NEW BEST:: SOT 117711 SOS 55974 HAS SOPS 51930 HAS SOUS 12794 HAS SOUPS 12097 WITH SCORE 12152.974
AT ITER 1774 NEW BEST:: SOT 117642 SOS 55910 HAS SOPS 51866 HAS SOUS 12785 HAS SOUPS 12088 WITH SCORE 12143.91
AT ITER 1781 NEW BEST:: SOT 117640 SOS 55910 HAS SOPS 51866 HAS SOUS 12784 HAS SOUPS 12087 WITH SCORE 12142.91
AT ITER 1786 NEW BEST:: SOT 117632 SOS 55894 HAS SOPS 51850 HAS SOUS 12776 HAS SOUPS 12079 WITH SCORE 12134.894
AT ITER 1790 NEW BEST:: SOT 117617 SOS 55904 HAS SOPS 51860 HAS SOUS 12756 HAS SOUPS 12059 WITH SCORE 12114.904
AT ITER 1807 NEW BEST:: SOT 117267 SOS 55454 HAS SOPS 51410 HAS SOUS 12556 HAS SOUPS 11859 WITH SCORE 11914.454
AT ITER 1812 NEW BEST:: SOT 116843 SOS 55118 HAS SOPS 51074 HAS SOUS 12470 HAS SOUPS 11773 WITH SCORE 11828.118
AT ITER 1813 NEW BEST:: SOT 116846 SOS 55122 HAS SOPS 51078 HAS SOUS 12466 HAS SOUPS 11769 WITH SCORE 11824.122
AT ITER 1847 NEW BEST:: SOT 116617 SOS 54841 HAS SOPS 50797 HAS SOUS 12461 HAS SOUPS 11764 WITH SCORE 11818.841
AT ITER 1865 NEW BEST:: SOT 116726 SOS 54902 HAS SOPS 50858 HAS SOUS 12414 HAS SOUPS 11717 WITH SCORE 11771.902
AT ITER 1891 NEW BEST:: SOT 116735 SOS 54928 HAS SOPS 50884 HAS SOUS 12393 HAS SOUPS 11696 WITH SCORE 11750.928
AT ITER 1907 NEW BEST:: SOT 116734 SOS 54929 HAS SOPS 50882 HAS SOUS 12400 HAS SOUPS 11686 WITH SCORE 11740.929
AT ITER 1929 NEW BEST:: SOT 116798 SOS 55198 HAS SOPS 51151 HAS SOUS 12263 HAS SOUPS 11549 WITH SCORE 11604.198
AT ITER 1967 NEW BEST:: SOT 116818 SOS 55174 HAS SOPS 51127 HAS SOUS 12254 HAS SOUPS 11540 WITH SCORE 11595.174
AT ITER 1979 NEW BEST:: SOT 116834 SOS 55141 HAS SOPS 51083 HAS SOUS 12210 HAS SOUPS 11496 WITH SCORE 11551.141
AT ITER 1988 NEW BEST:: SOT 116787 SOS 55118 HAS SOPS 51060 HAS SOUS 12187 HAS SOUPS 11473 WITH SCORE 11528.118
AT ITER 1997 NEW BEST:: SOT 116781 SOS 55124 HAS SOPS 51066 HAS SOUS 12183 HAS SOUPS 11469 WITH SCORE 11524.124
AT ITER 2000 NEW BEST:: SOT 116781 SOS 54996 HAS SOPS 50938 HAS SOUS 12167 HAS SOUPS 11453 WITH SCORE 11507.996
AT ITER 2006 NEW BEST:: SOT 116677 SOS 55000 HAS SOPS 50942 HAS SOUS 12161 HAS SOUPS 11447 WITH SCORE 11502.0
AT ITER 2018 NEW BEST:: SOT 116782 SOS 55063 HAS SOPS 51005 HAS SOUS 12140 HAS SOUPS 11426 WITH SCORE 11481.063
AT ITER 2053 NEW BEST:: SOT 116369 SOS 54775 HAS SOPS 50781 HAS SOUS 12039 HAS SOUPS 11336 WITH SCORE 11390.775
AT ITER 2061 NEW BEST:: SOT 115471 SOS 51408 HAS SOPS 50161 HAS SOUS 11749 HAS SOUPS 11182 WITH SCORE 11233.408
AT ITER 2070 NEW BEST:: SOT 115246 SOS 51220 HAS SOPS 49973 HAS SOUS 11744 HAS SOUPS 11177 WITH SCORE 11228.22
AT ITER 2076 NEW BEST:: SOT 115235 SOS 51196 HAS SOPS 49949 HAS SOUS 11733 HAS SOUPS 11166 WITH SCORE 11217.196
AT ITER 2077 NEW BEST:: SOT 115214 SOS 51154 HAS SOPS 49907 HAS SOUS 11689 HAS SOUPS 11122 WITH SCORE 11173.154
AT ITER 2112 NEW BEST:: SOT 115231 SOS 50933 HAS SOPS 49686 HAS SOUS 11679 HAS SOUPS 11112 WITH SCORE 11162.933
AT ITER 2126 NEW BEST:: SOT 115199 SOS 50901 HAS SOPS 49654 HAS SOUS 11656 HAS SOUPS 11089 WITH SCORE 11139.901
AT ITER 2145 NEW BEST:: SOT 115155 SOS 50792 HAS SOPS 49542 HAS SOUS 11654 HAS SOUPS 11087 WITH SCORE 11137.792
AT ITER 2158 NEW BEST:: SOT 114913 SOS 50906 HAS SOPS 49656 HAS SOUS 11628 HAS SOUPS 11061 WITH SCORE 11111.906
AT ITER 2160 NEW BEST:: SOT 114911 SOS 50904 HAS SOPS 49654 HAS SOUS 11625 HAS SOUPS 11058 WITH SCORE 11108.904
AT ITER 2174 NEW BEST:: SOT 114939 SOS 50918 HAS SOPS 49668 HAS SOUS 11618 HAS SOUPS 11051 WITH SCORE 11101.918
AT ITER 2186 NEW BEST:: SOT 114938 SOS 50917 HAS SOPS 49667 HAS SOUS 11616 HAS SOUPS 11049 WITH SCORE 11099.917
AT ITER 2215 NEW BEST:: SOT 114873 SOS 50878 HAS SOPS 49628 HAS SOUS 11613 HAS SOUPS 11046 WITH SCORE 11096.878
AT ITER 2220 NEW BEST:: SOT 114747 SOS 50878 HAS SOPS 49628 HAS SOUS 11572 HAS SOUPS 11005 WITH SCORE 11055.878
AT ITER 2261 NEW BEST:: SOT 114759 SOS 50902 HAS SOPS 49652 HAS SOUS 11544 HAS SOUPS 10977 WITH SCORE 11027.902
AT ITER 2281 NEW BEST:: SOT 114749 SOS 50892 HAS SOPS 49642 HAS SOUS 11538 HAS SOUPS 10971 WITH SCORE 11021.892
AT ITER 2284 NEW BEST:: SOT 114824 SOS 51044 HAS SOPS 49640 HAS SOUS 11541 HAS SOUPS 10963 WITH SCORE 11014.044
AT ITER 2285 NEW BEST:: SOT 114721 SOS 50941 HAS SOPS 49537 HAS SOUS 11492 HAS SOUPS 10914 WITH SCORE 10964.941
AT ITER 2301 NEW BEST:: SOT 114743 SOS 50675 HAS SOPS 49315 HAS SOUS 11451 HAS SOUPS 10895 WITH SCORE 10945.675
AT ITER 2319 NEW BEST:: SOT 114753 SOS 50553 HAS SOPS 49190 HAS SOUS 11448 HAS SOUPS 10892 WITH SCORE 10942.553
AT ITER 2329 NEW BEST:: SOT 114748 SOS 50548 HAS SOPS 49185 HAS SOUS 11363 HAS SOUPS 10807 WITH SCORE 10857.548
AT ITER 2340 NEW BEST:: SOT 114862 SOS 50591 HAS SOPS 49228 HAS SOUS 11307 HAS SOUPS 10751 WITH SCORE 10801.591
AT ITER 2347 NEW BEST:: SOT 114843 SOS 50431 HAS SOPS 49068 HAS SOUS 11298 HAS SOUPS 10742 WITH SCORE 10792.431
AT ITER 2348 NEW BEST:: SOT 114794 SOS 50199 HAS SOPS 48880 HAS SOUS 11257 HAS SOUPS 10723 WITH SCORE 10773.199
AT ITER 2349 NEW BEST:: SOT 114744 SOS 50000 HAS SOPS 48681 HAS SOUS 11246 HAS SOUPS 10712 WITH SCORE 10762.0
AT ITER 2360 NEW BEST:: SOT 114710 SOS 49878 HAS SOPS 48559 HAS SOUS 11222 HAS SOUPS 10688 WITH SCORE 10737.878
AT ITER 2368 NEW BEST:: SOT 114698 SOS 49854 HAS SOPS 48535 HAS SOUS 11219 HAS SOUPS 10685 WITH SCORE 10734.854
AT ITER 2373 NEW BEST:: SOT 114746 SOS 49938 HAS SOPS 48619 HAS SOUS 11213 HAS SOUPS 10679 WITH SCORE 10728.938
AT ITER 2383 NEW BEST:: SOT 114746 SOS 49388 HAS SOPS 48017 HAS SOUS 11237 HAS SOUPS 10677 WITH SCORE 10726.388
AT ITER 2399 NEW BEST:: SOT 114734 SOS 49349 HAS SOPS 47984 HAS SOUS 11234 HAS SOUPS 10677 WITH SCORE 10726.349
AT ITER 2414 NEW BEST:: SOT 114733 SOS 49348 HAS SOPS 47983 HAS SOUS 11233 HAS SOUPS 10676 WITH SCORE 10725.348
AT ITER 2436 NEW BEST:: SOT 115108 SOS 49589 HAS SOPS 48224 HAS SOUS 11225 HAS SOUPS 10668 WITH SCORE 10717.589
AT ITER 2448 NEW BEST:: SOT 115039 SOS 49559 HAS SOPS 48194 HAS SOUS 11194 HAS SOUPS 10637 WITH SCORE 10686.559
AT ITER 2453 NEW BEST:: SOT 115015 SOS 49535 HAS SOPS 48170 HAS SOUS 11170 HAS SOUPS 10613 WITH SCORE 10662.535
AT ITER 2466 NEW BEST:: SOT 114991 SOS 49410 HAS SOPS 48028 HAS SOUS 11172 HAS SOUPS 10600 WITH SCORE 10649.41
AT ITER 2472 NEW BEST:: SOT 115016 SOS 49460 HAS SOPS 48078 HAS SOUS 11168 HAS SOUPS 10596 WITH SCORE 10645.46
AT ITER 2482 NEW BEST:: SOT 114988 SOS 49384 HAS SOPS 48002 HAS SOUS 11041 HAS SOUPS 10469 WITH SCORE 10518.384
AT ITER 2484 NEW BEST:: SOT 114943 SOS 49294 HAS SOPS 47912 HAS SOUS 10964 HAS SOUPS 10392 WITH SCORE 10441.294
AT ITER 2489 NEW BEST:: SOT 114943 SOS 49294 HAS SOPS 47912 HAS SOUS 10957 HAS SOUPS 10385 WITH SCORE 10434.294
AT ITER 2518 NEW BEST:: SOT 114925 SOS 49276 HAS SOPS 47894 HAS SOUS 10952 HAS SOUPS 10380 WITH SCORE 10429.276
AT ITER 2540 NEW BEST:: SOT 114545 SOS 48756 HAS SOPS 47368 HAS SOUS 10833 HAS SOUPS 10256 WITH SCORE 10304.756
AT ITER 2547 NEW BEST:: SOT 114552 SOS 48770 HAS SOPS 47382 HAS SOUS 10832 HAS SOUPS 10255 WITH SCORE 10303.77
AT ITER 2607 NEW BEST:: SOT 114591 SOS 48915 HAS SOPS 47465 HAS SOUS 10811 HAS SOUPS 10203 WITH SCORE 10251.915
AT ITER 2611 NEW BEST:: SOT 114568 SOS 48880 HAS SOPS 47430 HAS SOUS 10770 HAS SOUPS 10162 WITH SCORE 10210.88
AT ITER 2618 NEW BEST:: SOT 114381 SOS 48380 HAS SOPS 46930 HAS SOUS 10751 HAS SOUPS 10143 WITH SCORE 10191.38
AT ITER 2627 NEW BEST:: SOT 114396 SOS 48385 HAS SOPS 46935 HAS SOUS 10743 HAS SOUPS 10135 WITH SCORE 10183.385
AT ITER 2630 NEW BEST:: SOT 114393 SOS 48379 HAS SOPS 46929 HAS SOUS 10737 HAS SOUPS 10129 WITH SCORE 10177.379
AT ITER 2642 NEW BEST:: SOT 114382 SOS 48339 HAS SOPS 46873 HAS SOUS 10745 HAS SOUPS 10129 WITH SCORE 10177.339
AT ITER 2671 NEW BEST:: SOT 114380 SOS 48340 HAS SOPS 46874 HAS SOUS 10741 HAS SOUPS 10125 WITH SCORE 10173.34
AT ITER 2682 NEW BEST:: SOT 114368 SOS 48327 HAS SOPS 46845 HAS SOUS 10736 HAS SOUPS 10120 WITH SCORE 10168.327
AT ITER 2691 NEW BEST:: SOT 114302 SOS 48253 HAS SOPS 46771 HAS SOUS 10730 HAS SOUPS 10114 WITH SCORE 10162.253
AT ITER 2695 NEW BEST:: SOT 114228 SOS 48425 HAS SOPS 46943 HAS SOUS 10729 HAS SOUPS 10113 WITH SCORE 10161.425
AT ITER 2710 NEW BEST:: SOT 114133 SOS 48173 HAS SOPS 46691 HAS SOUS 10635 HAS SOUPS 10019 WITH SCORE 10067.173
AT ITER 2714 NEW BEST:: SOT 114039 SOS 48010 HAS SOPS 46593 HAS SOUS 10501 HAS SOUPS 9917 WITH SCORE 9965.01
AT ITER 2729 NEW BEST:: SOT 113551 SOS 47508 HAS SOPS 46091 HAS SOUS 10431 HAS SOUPS 9847 WITH SCORE 9894.508
AT ITER 2731 NEW BEST:: SOT 113543 SOS 47500 HAS SOPS 46083 HAS SOUS 10423 HAS SOUPS 9839 WITH SCORE 9886.5
AT ITER 2735 NEW BEST:: SOT 113513 SOS 47461 HAS SOPS 46044 HAS SOUS 10364 HAS SOUPS 9780 WITH SCORE 9827.461
AT ITER 2753 NEW BEST:: SOT 113530 SOS 47495 HAS SOPS 46078 HAS SOUS 10351 HAS SOUPS 9767 WITH SCORE 9814.495
AT ITER 2825 NEW BEST:: SOT 113530 SOS 47495 HAS SOPS 46078 HAS SOUS 10343 HAS SOUPS 9759 WITH SCORE 9806.495
AT ITER 2844 NEW BEST:: SOT 113565 SOS 47503 HAS SOPS 46086 HAS SOUS 10342 HAS SOUPS 9758 WITH SCORE 9805.503
AT ITER 2856 NEW BEST:: SOT 113570 SOS 47504 HAS SOPS 46087 HAS SOUS 10337 HAS SOUPS 9753 WITH SCORE 9800.504
AT ITER 2857 NEW BEST:: SOT 113501 SOS 47489 HAS SOPS 46072 HAS SOUS 10321 HAS SOUPS 9737 WITH SCORE 9784.489
AT ITER 2860 NEW BEST:: SOT 113502 SOS 47491 HAS SOPS 46074 HAS SOUS 10310 HAS SOUPS 9726 WITH SCORE 9773.491
AT ITER 2873 NEW BEST:: SOT 113496 SOS 46185 HAS SOPS 44759 HAS SOUS 10292 HAS SOUPS 9708 WITH SCORE 9754.185
AT ITER 2877 NEW BEST:: SOT 113486 SOS 46179 HAS SOPS 44753 HAS SOUS 10292 HAS SOUPS 9708 WITH SCORE 9754.179
AT ITER 2882 NEW BEST:: SOT 113534 SOS 46217 HAS SOPS 44791 HAS SOUS 10270 HAS SOUPS 9686 WITH SCORE 9732.217
AT ITER 2901 NEW BEST:: SOT 113524 SOS 46211 HAS SOPS 44785 HAS SOUS 10264 HAS SOUPS 9680 WITH SCORE 9726.211
AT ITER 2910 NEW BEST:: SOT 113523 SOS 46207 HAS SOPS 44781 HAS SOUS 10255 HAS SOUPS 9671 WITH SCORE 9717.207
AT ITER 2914 NEW BEST:: SOT 113597 SOS 45893 HAS SOPS 44467 HAS SOUS 10168 HAS SOUPS 9584 WITH SCORE 9629.893
AT ITER 2937 NEW BEST:: SOT 113645 SOS 45729 HAS SOPS 44303 HAS SOUS 9982 HAS SOUPS 9398 WITH SCORE 9443.729
AT ITER 2961 NEW BEST:: SOT 113645 SOS 45700 HAS SOPS 44274 HAS SOUS 9979 HAS SOUPS 9395 WITH SCORE 9440.7
AT ITER 2972 NEW BEST:: SOT 113317 SOS 45580 HAS SOPS 44154 HAS SOUS 9974 HAS SOUPS 9390 WITH SCORE 9435.58
AT ITER 3003 NEW BEST:: SOT 113299 SOS 45538 HAS SOPS 44100 HAS SOUS 9956 HAS SOUPS 9372 WITH SCORE 9417.538
AT ITER 3004 NEW BEST:: SOT 113298 SOS 45537 HAS SOPS 44098 HAS SOUS 9954 HAS SOUPS 9370 WITH SCORE 9415.537
AT ITER 3008 NEW BEST:: SOT 112961 SOS 44426 HAS SOPS 43097 HAS SOUS 9819 HAS SOUPS 9285 WITH SCORE 9329.426
AT ITER 3009 NEW BEST:: SOT 112941 SOS 44393 HAS SOPS 43064 HAS SOUS 9795 HAS SOUPS 9261 WITH SCORE 9305.393
AT ITER 3020 NEW BEST:: SOT 112900 SOS 44334 HAS SOPS 43005 HAS SOUS 9742 HAS SOUPS 9208 WITH SCORE 9252.334
AT ITER 3031 NEW BEST:: SOT 112880 SOS 44406 HAS SOPS 43051 HAS SOUS 9747 HAS SOUPS 9200 WITH SCORE 9244.406
AT ITER 3051 NEW BEST:: SOT 112872 SOS 44390 HAS SOPS 43035 HAS SOUS 9739 HAS SOUPS 9192 WITH SCORE 9236.39
AT ITER 3055 NEW BEST:: SOT 112862 SOS 44370 HAS SOPS 43015 HAS SOUS 9724 HAS SOUPS 9177 WITH SCORE 9221.37
AT ITER 3056 NEW BEST:: SOT 112855 SOS 44369 HAS SOPS 43014 HAS SOUS 9718 HAS SOUPS 9171 WITH SCORE 9215.369
AT ITER 3063 NEW BEST:: SOT 112857 SOS 44368 HAS SOPS 43013 HAS SOUS 9716 HAS SOUPS 9169 WITH SCORE 9213.368
AT ITER 3083 NEW BEST:: SOT 112929 SOS 44358 HAS SOPS 43003 HAS SOUS 9716 HAS SOUPS 9169 WITH SCORE 9213.358
AT ITER 3088 NEW BEST:: SOT 112862 SOS 44180 HAS SOPS 42825 HAS SOUS 9712 HAS SOUPS 9165 WITH SCORE 9209.18
AT ITER 3107 NEW BEST:: SOT 112867 SOS 44190 HAS SOPS 42835 HAS SOUS 9710 HAS SOUPS 9163 WITH SCORE 9207.19
AT ITER 3134 NEW BEST:: SOT 112920 SOS 44191 HAS SOPS 42836 HAS SOUS 9666 HAS SOUPS 9119 WITH SCORE 9163.191
AT ITER 3141 NEW BEST:: SOT 112959 SOS 44346 HAS SOPS 42957 HAS SOUS 9671 HAS SOUPS 9107 WITH SCORE 9151.346
AT ITER 3169 NEW BEST:: SOT 112952 SOS 44323 HAS SOPS 42934 HAS SOUS 9668 HAS SOUPS 9104 WITH SCORE 9148.323
AT ITER 3187 NEW BEST:: SOT 112986 SOS 44321 HAS SOPS 42966 HAS SOUS 9651 HAS SOUPS 9103 WITH SCORE 9147.321
AT ITER 3206 NEW BEST:: SOT 112986 SOS 44321 HAS SOPS 42966 HAS SOUS 9637 HAS SOUPS 9089 WITH SCORE 9133.321
AT ITER 3207 NEW BEST:: SOT 112996 SOS 44321 HAS SOPS 42966 HAS SOUS 9617 HAS SOUPS 9069 WITH SCORE 9113.321
AT ITER 3218 NEW BEST:: SOT 113050 SOS 44377 HAS SOPS 43022 HAS SOUS 9595 HAS SOUPS 9047 WITH SCORE 9091.377
AT ITER 3222 NEW BEST:: SOT 113140 SOS 44642 HAS SOPS 43287 HAS SOUS 9588 HAS SOUPS 9040 WITH SCORE 9084.642
AT ITER 3307 NEW BEST:: SOT 113138 SOS 44637 HAS SOPS 43280 HAS SOUS 9587 HAS SOUPS 9039 WITH SCORE 9083.637
AT ITER 3321 NEW BEST:: SOT 113090 SOS 44589 HAS SOPS 43232 HAS SOUS 9539 HAS SOUPS 8991 WITH SCORE 9035.589
AT ITER 3330 NEW BEST:: SOT 113052 SOS 44553 HAS SOPS 43196 HAS SOUS 9522 HAS SOUPS 8974 WITH SCORE 9018.553
AT ITER 3343 NEW BEST:: SOT 113011 SOS 44536 HAS SOPS 43179 HAS SOUS 9505 HAS SOUPS 8957 WITH SCORE 9001.536
AT ITER 3352 NEW BEST:: SOT 112756 SOS 44458 HAS SOPS 43058 HAS SOUS 9531 HAS SOUPS 8957 WITH SCORE 9001.458
AT ITER 3357 NEW BEST:: SOT 112752 SOS 44452 HAS SOPS 43052 HAS SOUS 9517 HAS SOUPS 8943 WITH SCORE 8987.452
AT ITER 3359 NEW BEST:: SOT 112696 SOS 44412 HAS SOPS 43012 HAS SOUS 9517 HAS SOUPS 8943 WITH SCORE 8987.412
AT ITER 3390 NEW BEST:: SOT 112695 SOS 44413 HAS SOPS 43013 HAS SOUS 9513 HAS SOUPS 8939 WITH SCORE 8983.413
AT ITER 3405 NEW BEST:: SOT 112698 SOS 44373 HAS SOPS 42954 HAS SOUS 9503 HAS SOUPS 8929 WITH SCORE 8973.373
AT ITER 3414 NEW BEST:: SOT 112736 SOS 44374 HAS SOPS 42970 HAS SOUS 9488 HAS SOUPS 8925 WITH SCORE 8969.374
AT ITER 3426 NEW BEST:: SOT 112757 SOS 44381 HAS SOPS 42977 HAS SOUS 9483 HAS SOUPS 8920 WITH SCORE 8964.381
AT ITER 3431 NEW BEST:: SOT 112717 SOS 44242 HAS SOPS 42838 HAS SOUS 9467 HAS SOUPS 8904 WITH SCORE 8948.242
AT ITER 3454 NEW BEST:: SOT 112729 SOS 44246 HAS SOPS 42842 HAS SOUS 9455 HAS SOUPS 8892 WITH SCORE 8936.246
AT ITER 3470 NEW BEST:: SOT 112752 SOS 44007 HAS SOPS 42576 HAS SOUS 9476 HAS SOUPS 8888 WITH SCORE 8932.007
AT ITER 3480 NEW BEST:: SOT 112750 SOS 44005 HAS SOPS 42574 HAS SOUS 9475 HAS SOUPS 8887 WITH SCORE 8931.005
AT ITER 3487 NEW BEST:: SOT 112748 SOS 44002 HAS SOPS 42571 HAS SOUS 9473 HAS SOUPS 8885 WITH SCORE 8929.002
AT ITER 3502 NEW BEST:: SOT 112748 SOS 43943 HAS SOPS 42507 HAS SOUS 9392 HAS SOUPS 8804 WITH SCORE 8847.943
AT ITER 3526 NEW BEST:: SOT 112656 SOS 43388 HAS SOPS 41952 HAS SOUS 9321 HAS SOUPS 8733 WITH SCORE 8776.388
AT ITER 3535 NEW BEST:: SOT 112622 SOS 43338 HAS SOPS 41902 HAS SOUS 9305 HAS SOUPS 8717 WITH SCORE 8760.338
AT ITER 3554 NEW BEST:: SOT 112623 SOS 43333 HAS SOPS 41897 HAS SOUS 9305 HAS SOUPS 8717 WITH SCORE 8760.333
AT ITER 3656 NEW BEST:: SOT 112642 SOS 42415 HAS SOPS 40965 HAS SOUS 9296 HAS SOUPS 8708 WITH SCORE 8750.415
AT ITER 3689 NEW BEST:: SOT 112646 SOS 42419 HAS SOPS 40969 HAS SOUS 9292 HAS SOUPS 8704 WITH SCORE 8746.419
AT ITER 3731 NEW BEST:: SOT 112615 SOS 42275 HAS SOPS 40825 HAS SOUS 9269 HAS SOUPS 8681 WITH SCORE 8723.275
AT ITER 3746 NEW BEST:: SOT 112467 SOS 42072 HAS SOPS 40622 HAS SOUS 9249 HAS SOUPS 8661 WITH SCORE 8703.072
AT ITER 3754 NEW BEST:: SOT 112462 SOS 42052 HAS SOPS 40602 HAS SOUS 9239 HAS SOUPS 8651 WITH SCORE 8693.052
AT ITER 3757 NEW BEST:: SOT 112453 SOS 42043 HAS SOPS 40593 HAS SOUS 9227 HAS SOUPS 8639 WITH SCORE 8681.043
AT ITER 3769 NEW BEST:: SOT 112412 SOS 41995 HAS SOPS 40534 HAS SOUS 9205 HAS SOUPS 8608 WITH SCORE 8649.995
AT ITER 3837 NEW BEST:: SOT 112412 SOS 41988 HAS SOPS 40534 HAS SOUS 9205 HAS SOUPS 8608 WITH SCORE 8649.988
AT ITER 3852 NEW BEST:: SOT 112402 SOS 41976 HAS SOPS 40522 HAS SOUS 9188 HAS SOUPS 8591 WITH SCORE 8632.976
AT ITER 3886 NEW BEST:: SOT 112398 SOS 41968 HAS SOPS 40514 HAS SOUS 9188 HAS SOUPS 8591 WITH SCORE 8632.968
AT ITER 3889 NEW BEST:: SOT 112382 SOS 41948 HAS SOPS 40482 HAS SOUS 9184 HAS SOUPS 8583 WITH SCORE 8624.948
AT ITER 3902 NEW BEST:: SOT 112377 SOS 41945 HAS SOPS 40479 HAS SOUS 9181 HAS SOUPS 8580 WITH SCORE 8621.945
AT ITER 3921 NEW BEST:: SOT 112378 SOS 41946 HAS SOPS 40480 HAS SOUS 9180 HAS SOUPS 8579 WITH SCORE 8620.946
AT ITER 3929 NEW BEST:: SOT 112340 SOS 41912 HAS SOPS 40446 HAS SOUS 9164 HAS SOUPS 8563 WITH SCORE 8604.912
AT ITER 3940 NEW BEST:: SOT 112337 SOS 41948 HAS SOPS 40500 HAS SOUS 9152 HAS SOUPS 8560 WITH SCORE 8601.948
AT ITER 3942 NEW BEST:: SOT 112355 SOS 41950 HAS SOPS 40487 HAS SOUS 9146 HAS SOUPS 8548 WITH SCORE 8589.95
AT ITER 3972 NEW BEST:: SOT 112361 SOS 41950 HAS SOPS 40484 HAS SOUS 9126 HAS SOUPS 8528 WITH SCORE 8569.95
AT ITER 3999 NEW BEST:: SOT 112360 SOS 41948 HAS SOPS 40482 HAS SOUS 9124 HAS SOUPS 8526 WITH SCORE 8567.948
AT ITER 4016 NEW BEST:: SOT 112354 SOS 41942 HAS SOPS 40476 HAS SOUS 9124 HAS SOUPS 8526 WITH SCORE 8567.942
AT ITER 4049 NEW BEST:: SOT 112366 SOS 41957 HAS SOPS 40491 HAS SOUS 9121 HAS SOUPS 8523 WITH SCORE 8564.957
AT ITER 4081 NEW BEST:: SOT 112369 SOS 41961 HAS SOPS 40495 HAS SOUS 9120 HAS SOUPS 8522 WITH SCORE 8563.961
AT ITER 4094 NEW BEST:: SOT 112222 SOS 41799 HAS SOPS 40328 HAS SOUS 9097 HAS SOUPS 8495 WITH SCORE 8536.799
AT ITER 4105 NEW BEST:: SOT 112222 SOS 41790 HAS SOPS 40313 HAS SOUS 9094 HAS SOUPS 8492 WITH SCORE 8533.79
AT ITER 4109 NEW BEST:: SOT 112221 SOS 41788 HAS SOPS 40311 HAS SOUS 9088 HAS SOUPS 8486 WITH SCORE 8527.788
AT ITER 4138 NEW BEST:: SOT 112193 SOS 41721 HAS SOPS 40244 HAS SOUS 9062 HAS SOUPS 8460 WITH SCORE 8501.721
AT ITER 4154 NEW BEST:: SOT 112162 SOS 41417 HAS SOPS 39940 HAS SOUS 9044 HAS SOUPS 8442 WITH SCORE 8483.417
AT ITER 4217 NEW BEST:: SOT 112156 SOS 41081 HAS SOPS 39604 HAS SOUS 8949 HAS SOUPS 8347 WITH SCORE 8388.081
AT ITER 4231 NEW BEST:: SOT 112152 SOS 41010 HAS SOPS 39530 HAS SOUS 8945 HAS SOUPS 8343 WITH SCORE 8384.01
AT ITER 4257 NEW BEST:: SOT 112148 SOS 41014 HAS SOPS 39534 HAS SOUS 8937 HAS SOUPS 8335 WITH SCORE 8376.014
AT ITER 4272 NEW BEST:: SOT 112128 SOS 40959 HAS SOPS 39479 HAS SOUS 8936 HAS SOUPS 8334 WITH SCORE 8374.959
AT ITER 4300 NEW BEST:: SOT 112123 SOS 40954 HAS SOPS 39474 HAS SOUS 8905 HAS SOUPS 8303 WITH SCORE 8343.954
AT ITER 4321 NEW BEST:: SOT 112077 SOS 40884 HAS SOPS 39404 HAS SOUS 8885 HAS SOUPS 8283 WITH SCORE 8323.884
AT ITER 4342 NEW BEST:: SOT 112101 SOS 40859 HAS SOPS 39379 HAS SOUS 8875 HAS SOUPS 8273 WITH SCORE 8313.859
AT ITER 4376 NEW BEST:: SOT 112091 SOS 40834 HAS SOPS 39354 HAS SOUS 8865 HAS SOUPS 8263 WITH SCORE 8303.834
AT ITER 4426 NEW BEST:: SOT 112157 SOS 40825 HAS SOPS 39345 HAS SOUS 8863 HAS SOUPS 8261 WITH SCORE 8301.825
AT ITER 4431 NEW BEST:: SOT 112139 SOS 40821 HAS SOPS 39341 HAS SOUS 8835 HAS SOUPS 8233 WITH SCORE 8273.821
AT ITER 4495 NEW BEST:: SOT 112034 SOS 40506 HAS SOPS 39026 HAS SOUS 8793 HAS SOUPS 8191 WITH SCORE 8231.506
AT ITER 4546 NEW BEST:: SOT 112112 SOS 40506 HAS SOPS 39026 HAS SOUS 8724 HAS SOUPS 8122 WITH SCORE 8162.506
AT ITER 4553 NEW BEST:: SOT 112107 SOS 40508 HAS SOPS 39028 HAS SOUS 8720 HAS SOUPS 8118 WITH SCORE 8158.508
AT ITER 4561 NEW BEST:: SOT 112127 SOS 40496 HAS SOPS 39021 HAS SOUS 8687 HAS SOUPS 8089 WITH SCORE 8129.496
AT ITER 4592 NEW BEST:: SOT 112121 SOS 41671 HAS SOPS 40242 HAS SOUS 8658 HAS SOUPS 8073 WITH SCORE 8114.671
AT ITER 4613 NEW BEST:: SOT 112120 SOS 41670 HAS SOPS 40241 HAS SOUS 8657 HAS SOUPS 8072 WITH SCORE 8113.67
AT ITER 4630 NEW BEST:: SOT 112115 SOS 41662 HAS SOPS 40233 HAS SOUS 8641 HAS SOUPS 8056 WITH SCORE 8097.662
AT ITER 4639 NEW BEST:: SOT 112038 SOS 41423 HAS SOPS 40028 HAS SOUS 8615 HAS SOUPS 8047 WITH SCORE 8088.423
AT ITER 4640 NEW BEST:: SOT 112032 SOS 41414 HAS SOPS 40016 HAS SOUS 8604 HAS SOUPS 8035 WITH SCORE 8076.414
AT ITER 4645 NEW BEST:: SOT 112035 SOS 41417 HAS SOPS 40019 HAS SOUS 8595 HAS SOUPS 8026 WITH SCORE 8067.417
AT ITER 4692 NEW BEST:: SOT 112067 SOS 41481 HAS SOPS 40083 HAS SOUS 8577 HAS SOUPS 8008 WITH SCORE 8049.481
AT ITER 4729 NEW BEST:: SOT 112067 SOS 41481 HAS SOPS 40083 HAS SOUS 8575 HAS SOUPS 8006 WITH SCORE 8047.481
AT ITER 4768 NEW BEST:: SOT 112067 SOS 41490 HAS SOPS 40083 HAS SOUS 8573 HAS SOUPS 8004 WITH SCORE 8045.49
AT ITER 4776 NEW BEST:: SOT 112061 SOS 41460 HAS SOPS 40053 HAS SOUS 8561 HAS SOUPS 7992 WITH SCORE 8033.46
AT ITER 4799 NEW BEST:: SOT 112041 SOS 41432 HAS SOPS 40025 HAS SOUS 8556 HAS SOUPS 7987 WITH SCORE 8028.432
AT ITER 4816 NEW BEST:: SOT 112025 SOS 41412 HAS SOPS 40005 HAS SOUS 8556 HAS SOUPS 7987 WITH SCORE 8028.412
AT ITER 4840 NEW BEST:: SOT 112108 SOS 41425 HAS SOPS 40018 HAS SOUS 8555 HAS SOUPS 7986 WITH SCORE 8027.425
AT ITER 4844 NEW BEST:: SOT 112098 SOS 41415 HAS SOPS 40008 HAS SOUS 8548 HAS SOUPS 7979 WITH SCORE 8020.415
AT ITER 4872 NEW BEST:: SOT 112104 SOS 41417 HAS SOPS 40009 HAS SOUS 8538 HAS SOUPS 7969 WITH SCORE 8010.417
AT ITER 4915 NEW BEST:: SOT 112083 SOS 41361 HAS SOPS 39953 HAS SOUS 8534 HAS SOUPS 7965 WITH SCORE 8006.361
AT ITER 4964 NEW BEST:: SOT 112058 SOS 41324 HAS SOPS 39896 HAS SOUS 8522 HAS SOUPS 7947 WITH SCORE 7988.324
AT ITER 4973 NEW BEST:: SOT 111835 SOS 41035 HAS SOPS 39607 HAS SOUS 8461 HAS SOUPS 7886 WITH SCORE 7927.035
AT ITER 4989 NEW BEST:: SOT 111904 SOS 41059 HAS SOPS 39631 HAS SOUS 8435 HAS SOUPS 7860 WITH SCORE 7901.059
AT ITER 5026 NEW BEST:: SOT 111894 SOS 41017 HAS SOPS 39589 HAS SOUS 8427 HAS SOUPS 7852 WITH SCORE 7893.017
AT ITER 5049 NEW BEST:: SOT 111877 SOS 40968 HAS SOPS 39540 HAS SOUS 8385 HAS SOUPS 7810 WITH SCORE 7850.968
AT ITER 5054 NEW BEST:: SOT 111875 SOS 40964 HAS SOPS 39536 HAS SOUS 8381 HAS SOUPS 7806 WITH SCORE 7846.964
AT ITER 5056 NEW BEST:: SOT 111905 SOS 40976 HAS SOPS 39548 HAS SOUS 8367 HAS SOUPS 7792 WITH SCORE 7832.976
AT ITER 5090 NEW BEST:: SOT 111949 SOS 40999 HAS SOPS 39571 HAS SOUS 8355 HAS SOUPS 7780 WITH SCORE 7820.999
AT ITER 5115 NEW BEST:: SOT 111944 SOS 40984 HAS SOPS 39556 HAS SOUS 8345 HAS SOUPS 7770 WITH SCORE 7810.984
AT ITER 5147 NEW BEST:: SOT 111903 SOS 40990 HAS SOPS 39541 HAS SOUS 8350 HAS SOUPS 7762 WITH SCORE 7802.99
AT ITER 5181 NEW BEST:: SOT 111903 SOS 40980 HAS SOPS 39531 HAS SOUS 8350 HAS SOUPS 7762 WITH SCORE 7802.98
AT ITER 5247 NEW BEST:: SOT 111905 SOS 40980 HAS SOPS 39531 HAS SOUS 8349 HAS SOUPS 7761 WITH SCORE 7801.98
AT ITER 5260 NEW BEST:: SOT 111905 SOS 40964 HAS SOPS 39531 HAS SOUS 8349 HAS SOUPS 7761 WITH SCORE 7801.964
AT ITER 5271 NEW BEST:: SOT 111893 SOS 40205 HAS SOPS 38765 HAS SOUS 8330 HAS SOUPS 7742 WITH SCORE 7782.205
AT ITER 5279 NEW BEST:: SOT 111895 SOS 40191 HAS SOPS 38751 HAS SOUS 8330 HAS SOUPS 7742 WITH SCORE 7782.191
AT ITER 5350 NEW BEST:: SOT 111887 SOS 40164 HAS SOPS 38719 HAS SOUS 8325 HAS SOUPS 7737 WITH SCORE 7777.164
AT ITER 5380 NEW BEST:: SOT 111894 SOS 40157 HAS SOPS 38705 HAS SOUS 8309 HAS SOUPS 7721 WITH SCORE 7761.157
AT ITER 5424 NEW BEST:: SOT 111920 SOS 40157 HAS SOPS 38705 HAS SOUS 8272 HAS SOUPS 7684 WITH SCORE 7724.157
AT ITER 5472 NEW BEST:: SOT 111902 SOS 40130 HAS SOPS 38678 HAS SOUS 8268 HAS SOUPS 7680 WITH SCORE 7720.13
AT ITER 5494 NEW BEST:: SOT 111911 SOS 40133 HAS SOPS 38681 HAS SOUS 8265 HAS SOUPS 7677 WITH SCORE 7717.133
AT ITER 5507 NEW BEST:: SOT 111882 SOS 39935 HAS SOPS 38513 HAS SOUS 8176 HAS SOUPS 7603 WITH SCORE 7642.935
AT ITER 5520 NEW BEST:: SOT 111877 SOS 39930 HAS SOPS 38508 HAS SOUS 8176 HAS SOUPS 7603 WITH SCORE 7642.93
AT ITER 5522 NEW BEST:: SOT 111873 SOS 39926 HAS SOPS 38500 HAS SOUS 8170 HAS SOUPS 7597 WITH SCORE 7636.926
AT ITER 5538 NEW BEST:: SOT 111837 SOS 39914 HAS SOPS 38488 HAS SOUS 8161 HAS SOUPS 7588 WITH SCORE 7627.914
AT ITER 5563 NEW BEST:: SOT 111839 SOS 39918 HAS SOPS 38492 HAS SOUS 8159 HAS SOUPS 7586 WITH SCORE 7625.918
AT ITER 5587 NEW BEST:: SOT 111816 SOS 39896 HAS SOPS 38470 HAS SOUS 8149 HAS SOUPS 7576 WITH SCORE 7615.896
AT ITER 5594 NEW BEST:: SOT 111792 SOS 39876 HAS SOPS 38450 HAS SOUS 8123 HAS SOUPS 7550 WITH SCORE 7589.876
AT ITER 5615 NEW BEST:: SOT 111792 SOS 39816 HAS SOPS 38390 HAS SOUS 8111 HAS SOUPS 7538 WITH SCORE 7577.816
AT ITER 5665 NEW BEST:: SOT 111816 SOS 39819 HAS SOPS 38384 HAS SOUS 8105 HAS SOUPS 7532 WITH SCORE 7571.819
AT ITER 5672 NEW BEST:: SOT 111804 SOS 39702 HAS SOPS 38267 HAS SOUS 8095 HAS SOUPS 7522 WITH SCORE 7561.702
AT ITER 5697 NEW BEST:: SOT 111797 SOS 39686 HAS SOPS 38250 HAS SOUS 8080 HAS SOUPS 7507 WITH SCORE 7546.686
AT ITER 5778 NEW BEST:: SOT 111914 SOS 39758 HAS SOPS 38322 HAS SOUS 8054 HAS SOUPS 7481 WITH SCORE 7520.758
AT ITER 5794 NEW BEST:: SOT 111838 SOS 39683 HAS SOPS 38236 HAS SOUS 7939 HAS SOUPS 7366 WITH SCORE 7405.683
AT ITER 5842 NEW BEST:: SOT 111818 SOS 39679 HAS SOPS 38232 HAS SOUS 7939 HAS SOUPS 7366 WITH SCORE 7405.679
AT ITER 5861 NEW BEST:: SOT 111778 SOS 39647 HAS SOPS 38200 HAS SOUS 7905 HAS SOUPS 7332 WITH SCORE 7371.647
AT ITER 5877 NEW BEST:: SOT 111726 SOS 39597 HAS SOPS 38152 HAS SOUS 7893 HAS SOUPS 7320 WITH SCORE 7359.597
AT ITER 5962 NEW BEST:: SOT 111661 SOS 39515 HAS SOPS 38070 HAS SOUS 7868 HAS SOUPS 7295 WITH SCORE 7334.515
AT ITER 5973 NEW BEST:: SOT 111658 SOS 39513 HAS SOPS 38068 HAS SOUS 7868 HAS SOUPS 7295 WITH SCORE 7334.513
AT ITER 5997 NEW BEST:: SOT 111694 SOS 39521 HAS SOPS 38076 HAS SOUS 7848 HAS SOUPS 7275 WITH SCORE 7314.521
AT ITER 6023 NEW BEST:: SOT 111717 SOS 39523 HAS SOPS 38071 HAS SOUS 7822 HAS SOUPS 7249 WITH SCORE 7288.523
AT ITER 6078 NEW BEST:: SOT 111717 SOS 39480 HAS SOPS 38005 HAS SOUS 7834 HAS SOUPS 7240 WITH SCORE 7279.48
AT ITER 6094 NEW BEST:: SOT 111712 SOS 39376 HAS SOPS 37894 HAS SOUS 7826 HAS SOUPS 7231 WITH SCORE 7270.376
AT ITER 6100 NEW BEST:: SOT 111713 SOS 39381 HAS SOPS 37900 HAS SOUS 7825 HAS SOUPS 7230 WITH SCORE 7269.381
AT ITER 6160 NEW BEST:: SOT 111725 SOS 39384 HAS SOPS 37900 HAS SOUS 7822 HAS SOUPS 7227 WITH SCORE 7266.384
AT ITER 6187 NEW BEST:: SOT 111698 SOS 39474 HAS SOPS 37964 HAS SOUS 7834 HAS SOUPS 7226 WITH SCORE 7265.474
AT ITER 6249 NEW BEST:: SOT 111690 SOS 39446 HAS SOPS 37936 HAS SOUS 7834 HAS SOUPS 7226 WITH SCORE 7265.446
AT ITER 6254 NEW BEST:: SOT 111686 SOS 39446 HAS SOPS 37936 HAS SOUS 7826 HAS SOUPS 7218 WITH SCORE 7257.446
AT ITER 6277 NEW BEST:: SOT 111667 SOS 39576 HAS SOPS 38020 HAS SOUS 7848 HAS SOUPS 7217 WITH SCORE 7256.576
AT ITER 6302 NEW BEST:: SOT 111762 SOS 39816 HAS SOPS 38260 HAS SOUS 7830 HAS SOUPS 7199 WITH SCORE 7238.816
AT ITER 6315 NEW BEST:: SOT 111760 SOS 39816 HAS SOPS 38260 HAS SOUS 7828 HAS SOUPS 7197 WITH SCORE 7236.816
AT ITER 6383 NEW BEST:: SOT 111754 SOS 39803 HAS SOPS 38247 HAS SOUS 7828 HAS SOUPS 7197 WITH SCORE 7236.803
AT ITER 6432 NEW BEST:: SOT 111758 SOS 39809 HAS SOPS 38253 HAS SOUS 7824 HAS SOUPS 7193 WITH SCORE 7232.809
AT ITER 6439 NEW BEST:: SOT 111757 SOS 39810 HAS SOPS 38254 HAS SOUS 7823 HAS SOUPS 7192 WITH SCORE 7231.81
AT ITER 6449 NEW BEST:: SOT 111718 SOS 39813 HAS SOPS 38257 HAS SOUS 7819 HAS SOUPS 7188 WITH SCORE 7227.813
AT ITER 6550 NEW BEST:: SOT 111718 SOS 39812 HAS SOPS 38256 HAS SOUS 7819 HAS SOUPS 7188 WITH SCORE 7227.812
AT ITER 6566 NEW BEST:: SOT 111711 SOS 39791 HAS SOPS 38235 HAS SOUS 7812 HAS SOUPS 7181 WITH SCORE 7220.791
AT ITER 6609 NEW BEST:: SOT 111719 SOS 39429 HAS SOPS 37869 HAS SOUS 7812 HAS SOUPS 7181 WITH SCORE 7220.429
AT ITER 6631 NEW BEST:: SOT 111674 SOS 39372 HAS SOPS 37808 HAS SOUS 7809 HAS SOUPS 7178 WITH SCORE 7217.372
AT ITER 6729 NEW BEST:: SOT 111692 SOS 39363 HAS SOPS 37799 HAS SOUS 7809 HAS SOUPS 7178 WITH SCORE 7217.363
AT ITER 6778 NEW BEST:: SOT 111677 SOS 39345 HAS SOPS 37781 HAS SOUS 7794 HAS SOUPS 7163 WITH SCORE 7202.345
AT ITER 6803 NEW BEST:: SOT 111667 SOS 39112 HAS SOPS 37548 HAS SOUS 7770 HAS SOUPS 7139 WITH SCORE 7178.112
AT ITER 6885 NEW BEST:: SOT 111663 SOS 39122 HAS SOPS 37558 HAS SOUS 7768 HAS SOUPS 7137 WITH SCORE 7176.122
AT ITER 6930 NEW BEST:: SOT 111663 SOS 39122 HAS SOPS 37558 HAS SOUS 7767 HAS SOUPS 7136 WITH SCORE 7175.122
AT ITER 6944 NEW BEST:: SOT 111667 SOS 39128 HAS SOPS 37564 HAS SOUS 7757 HAS SOUPS 7126 WITH SCORE 7165.128
AT ITER 6976 NEW BEST:: SOT 111662 SOS 39122 HAS SOPS 37558 HAS SOUS 7751 HAS SOUPS 7120 WITH SCORE 7159.122
AT ITER 6994 NEW BEST:: SOT 111641 SOS 39115 HAS SOPS 37551 HAS SOUS 7750 HAS SOUPS 7119 WITH SCORE 7158.115
AT ITER 7123 NEW BEST:: SOT 111641 SOS 39113 HAS SOPS 37549 HAS SOUS 7750 HAS SOUPS 7119 WITH SCORE 7158.113
AT ITER 7174 NEW BEST:: SOT 111639 SOS 39109 HAS SOPS 37545 HAS SOUS 7746 HAS SOUPS 7115 WITH SCORE 7154.109
AT ITER 7179 NEW BEST:: SOT 111598 SOS 39145 HAS SOPS 37534 HAS SOUS 7750 HAS SOUPS 7102 WITH SCORE 7141.145
AT ITER 7188 NEW BEST:: SOT 111589 SOS 39124 HAS SOPS 37513 HAS SOUS 7729 HAS SOUPS 7081 WITH SCORE 7120.124
AT ITER 7257 NEW BEST:: SOT 111572 SOS 39157 HAS SOPS 37548 HAS SOUS 7728 HAS SOUPS 7080 WITH SCORE 7119.157
AT ITER 7270 NEW BEST:: SOT 111540 SOS 39105 HAS SOPS 37496 HAS SOUS 7705 HAS SOUPS 7057 WITH SCORE 7096.105
AT ITER 7272 NEW BEST:: SOT 111561 SOS 39113 HAS SOPS 37503 HAS SOUS 7699 HAS SOUPS 7051 WITH SCORE 7090.113
AT ITER 7291 NEW BEST:: SOT 111529 SOS 39049 HAS SOPS 37439 HAS SOUS 7651 HAS SOUPS 7003 WITH SCORE 7042.049
AT ITER 7300 NEW BEST:: SOT 111508 SOS 38932 HAS SOPS 37327 HAS SOUS 7650 HAS SOUPS 7002 WITH SCORE 7040.932
AT ITER 7320 NEW BEST:: SOT 111508 SOS 38870 HAS SOPS 37287 HAS SOUS 7639 HAS SOUPS 7002 WITH SCORE 7040.87
AT ITER 7329 NEW BEST:: SOT 111497 SOS 38857 HAS SOPS 37265 HAS SOUS 7619 HAS SOUPS 6982 WITH SCORE 7020.857
AT ITER 7331 NEW BEST:: SOT 111497 SOS 38854 HAS SOPS 37262 HAS SOUS 7612 HAS SOUPS 6975 WITH SCORE 7013.854
AT ITER 7364 NEW BEST:: SOT 111489 SOS 38850 HAS SOPS 37258 HAS SOUS 7600 HAS SOUPS 6963 WITH SCORE 7001.85
AT ITER 7383 NEW BEST:: SOT 111488 SOS 38849 HAS SOPS 37257 HAS SOUS 7579 HAS SOUPS 6942 WITH SCORE 6980.849
AT ITER 7388 NEW BEST:: SOT 111455 SOS 38691 HAS SOPS 37127 HAS SOUS 7519 HAS SOUPS 6896 WITH SCORE 6934.691
AT ITER 7530 NEW BEST:: SOT 111423 SOS 38672 HAS SOPS 37117 HAS SOUS 7514 HAS SOUPS 6891 WITH SCORE 6929.672
AT ITER 7538 NEW BEST:: SOT 111433 SOS 38694 HAS SOPS 37113 HAS SOUS 7510 HAS SOUPS 6883 WITH SCORE 6921.694
AT ITER 7550 NEW BEST:: SOT 111436 SOS 38709 HAS SOPS 37128 HAS SOUS 7507 HAS SOUPS 6880 WITH SCORE 6918.709
AT ITER 7569 NEW BEST:: SOT 111436 SOS 38679 HAS SOPS 37098 HAS SOUS 7507 HAS SOUPS 6880 WITH SCORE 6918.679
AT ITER 7590 NEW BEST:: SOT 111469 SOS 38700 HAS SOPS 37119 HAS SOUS 7495 HAS SOUPS 6868 WITH SCORE 6906.7
AT ITER 7594 NEW BEST:: SOT 111472 SOS 38705 HAS SOPS 37124 HAS SOUS 7490 HAS SOUPS 6863 WITH SCORE 6901.705
AT ITER 7612 NEW BEST:: SOT 111460 SOS 41810 HAS SOPS 37112 HAS SOUS 7633 HAS SOUPS 6856 WITH SCORE 6897.81
AT ITER 7697 NEW BEST:: SOT 111468 SOS 41766 HAS SOPS 37065 HAS SOUS 7633 HAS SOUPS 6856 WITH SCORE 6897.766
AT ITER 7710 NEW BEST:: SOT 111477 SOS 41784 HAS SOPS 37083 HAS SOUS 7630 HAS SOUPS 6853 WITH SCORE 6894.784
AT ITER 7746 NEW BEST:: SOT 111471 SOS 41776 HAS SOPS 37075 HAS SOUS 7614 HAS SOUPS 6837 WITH SCORE 6878.776
AT ITER 7781 NEW BEST:: SOT 111465 SOS 41762 HAS SOPS 37061 HAS SOUS 7610 HAS SOUPS 6833 WITH SCORE 6874.762
AT ITER 7817 NEW BEST:: SOT 111465 SOS 41762 HAS SOPS 37061 HAS SOUS 7606 HAS SOUPS 6829 WITH SCORE 6870.762
AT ITER 7819 NEW BEST:: SOT 111455 SOS 41747 HAS SOPS 37041 HAS SOUS 7586 HAS SOUPS 6809 WITH SCORE 6850.747
AT ITER 7825 NEW BEST:: SOT 111460 SOS 41753 HAS SOPS 37041 HAS SOUS 7583 HAS SOUPS 6806 WITH SCORE 6847.753
AT ITER 7864 NEW BEST:: SOT 111518 SOS 41851 HAS SOPS 37122 HAS SOUS 7578 HAS SOUPS 6797 WITH SCORE 6838.851
AT ITER 7870 NEW BEST:: SOT 111519 SOS 41885 HAS SOPS 37152 HAS SOUS 7579 HAS SOUPS 6796 WITH SCORE 6837.885
AT ITER 7969 NEW BEST:: SOT 111544 SOS 41765 HAS SOPS 37060 HAS SOUS 7562 HAS SOUPS 6793 WITH SCORE 6834.765
AT ITER 8070 NEW BEST:: SOT 111579 SOS 41828 HAS SOPS 37123 HAS SOUS 7558 HAS SOUPS 6789 WITH SCORE 6830.828
AT ITER 8094 NEW BEST:: SOT 111572 SOS 41814 HAS SOPS 37109 HAS SOUS 7554 HAS SOUPS 6785 WITH SCORE 6826.814
AT ITER 8138 NEW BEST:: SOT 111564 SOS 41806 HAS SOPS 37101 HAS SOUS 7550 HAS SOUPS 6781 WITH SCORE 6822.806
AT ITER 8207 NEW BEST:: SOT 111527 SOS 41776 HAS SOPS 37076 HAS SOUS 7546 HAS SOUPS 6777 WITH SCORE 6818.776
AT ITER 8222 NEW BEST:: SOT 111528 SOS 41751 HAS SOPS 37051 HAS SOUS 7544 HAS SOUPS 6775 WITH SCORE 6816.751
AT ITER 8278 NEW BEST:: SOT 111538 SOS 41759 HAS SOPS 37059 HAS SOUS 7541 HAS SOUPS 6772 WITH SCORE 6813.759
AT ITER 8308 NEW BEST:: SOT 111539 SOS 41758 HAS SOPS 37057 HAS SOUS 7540 HAS SOUPS 6771 WITH SCORE 6812.758
AT ITER 8320 NEW BEST:: SOT 111570 SOS 41742 HAS SOPS 37064 HAS SOUS 7525 HAS SOUPS 6768 WITH SCORE 6809.742
AT ITER 8327 NEW BEST:: SOT 111561 SOS 41730 HAS SOPS 37052 HAS SOUS 7512 HAS SOUPS 6755 WITH SCORE 6796.73
AT ITER 8334 NEW BEST:: SOT 111589 SOS 41684 HAS SOPS 37048 HAS SOUS 7488 HAS SOUPS 6746 WITH SCORE 6787.684
AT ITER 8395 NEW BEST:: SOT 111585 SOS 41680 HAS SOPS 37044 HAS SOUS 7482 HAS SOUPS 6740 WITH SCORE 6781.68
AT ITER 8408 NEW BEST:: SOT 111586 SOS 41680 HAS SOPS 37043 HAS SOUS 7480 HAS SOUPS 6738 WITH SCORE 6779.68
AT ITER 8504 NEW BEST:: SOT 111546 SOS 41580 HAS SOPS 36943 HAS SOUS 7444 HAS SOUPS 6702 WITH SCORE 6743.58
AT ITER 8506 NEW BEST:: SOT 111538 SOS 41568 HAS SOPS 36931 HAS SOUS 7432 HAS SOUPS 6690 WITH SCORE 6731.568
AT ITER 8524 NEW BEST:: SOT 111533 SOS 41557 HAS SOPS 36917 HAS SOUS 7425 HAS SOUPS 6683 WITH SCORE 6724.557
AT ITER 8591 NEW BEST:: SOT 111533 SOS 41551 HAS SOPS 36909 HAS SOUS 7419 HAS SOUPS 6677 WITH SCORE 6718.551
AT ITER 8604 NEW BEST:: SOT 111511 SOS 41513 HAS SOPS 36871 HAS SOUS 7413 HAS SOUPS 6671 WITH SCORE 6712.513
AT ITER 8690 NEW BEST:: SOT 111494 SOS 41503 HAS SOPS 36861 HAS SOUS 7412 HAS SOUPS 6670 WITH SCORE 6711.503
AT ITER 8706 NEW BEST:: SOT 111492 SOS 41504 HAS SOPS 36862 HAS SOUS 7410 HAS SOUPS 6668 WITH SCORE 6709.504
AT ITER 8733 NEW BEST:: SOT 111549 SOS 41443 HAS SOPS 36835 HAS SOUS 7382 HAS SOUPS 6657 WITH SCORE 6698.443
AT ITER 8792 NEW BEST:: SOT 111546 SOS 41440 HAS SOPS 36832 HAS SOUS 7381 HAS SOUPS 6656 WITH SCORE 6697.44
AT ITER 8841 NEW BEST:: SOT 111582 SOS 41708 HAS SOPS 37100 HAS SOUS 7367 HAS SOUPS 6642 WITH SCORE 6683.708
AT ITER 8848 NEW BEST:: SOT 111572 SOS 41699 HAS SOPS 37091 HAS SOUS 7362 HAS SOUPS 6637 WITH SCORE 6678.699
AT ITER 8872 NEW BEST:: SOT 111565 SOS 41712 HAS SOPS 37104 HAS SOUS 7358 HAS SOUPS 6633 WITH SCORE 6674.712
AT ITER 8901 NEW BEST:: SOT 111582 SOS 41681 HAS SOPS 37073 HAS SOUS 7356 HAS SOUPS 6631 WITH SCORE 6672.681
AT ITER 8937 NEW BEST:: SOT 111539 SOS 41720 HAS SOPS 37112 HAS SOUS 7352 HAS SOUPS 6627 WITH SCORE 6668.72
AT ITER 8972 NEW BEST:: SOT 111530 SOS 41702 HAS SOPS 37094 HAS SOUS 7352 HAS SOUPS 6627 WITH SCORE 6668.702
AT ITER 9067 NEW BEST:: SOT 111526 SOS 41708 HAS SOPS 37100 HAS SOUS 7350 HAS SOUPS 6625 WITH SCORE 6666.708
AT ITER 9077 NEW BEST:: SOT 111518 SOS 41695 HAS SOPS 37087 HAS SOUS 7338 HAS SOUPS 6613 WITH SCORE 6654.695
AT ITER 9172 NEW BEST:: SOT 111506 SOS 41674 HAS SOPS 37066 HAS SOUS 7335 HAS SOUPS 6610 WITH SCORE 6651.674
AT ITER 9187 NEW BEST:: SOT 111510 SOS 41680 HAS SOPS 37071 HAS SOUS 7334 HAS SOUPS 6609 WITH SCORE 6650.68
AT ITER 9210 NEW BEST:: SOT 111505 SOS 41670 HAS SOPS 37061 HAS SOUS 7324 HAS SOUPS 6599 WITH SCORE 6640.67
AT ITER 9220 NEW BEST:: SOT 111501 SOS 41664 HAS SOPS 37053 HAS SOUS 7316 HAS SOUPS 6591 WITH SCORE 6632.664
AT ITER 9222 NEW BEST:: SOT 111462 SOS 41606 HAS SOPS 36995 HAS SOUS 7297 HAS SOUPS 6572 WITH SCORE 6613.606
AT ITER 9336 NEW BEST:: SOT 111453 SOS 41594 HAS SOPS 36983 HAS SOUS 7279 HAS SOUPS 6554 WITH SCORE 6595.594
AT ITER 9361 NEW BEST:: SOT 111450 SOS 41588 HAS SOPS 36977 HAS SOUS 7277 HAS SOUPS 6552 WITH SCORE 6593.588
AT ITER 9413 NEW BEST:: SOT 111431 SOS 41566 HAS SOPS 36956 HAS SOUS 7270 HAS SOUPS 6545 WITH SCORE 6586.566
AT ITER 9432 NEW BEST:: SOT 111412 SOS 41553 HAS SOPS 36951 HAS SOUS 7270 HAS SOUPS 6545 WITH SCORE 6586.553
AT ITER 9513 NEW BEST:: SOT 111416 SOS 41557 HAS SOPS 36955 HAS SOUS 7266 HAS SOUPS 6541 WITH SCORE 6582.557
AT ITER 9623 NEW BEST:: SOT 111412 SOS 41543 HAS SOPS 36941 HAS SOUS 7266 HAS SOUPS 6541 WITH SCORE 6582.543
AT ITER 9645 NEW BEST:: SOT 111395 SOS 41559 HAS SOPS 36934 HAS SOUS 7271 HAS SOUPS 6537 WITH SCORE 6578.559
AT ITER 9741 NEW BEST:: SOT 111417 SOS 41585 HAS SOPS 36960 HAS SOUS 7267 HAS SOUPS 6533 WITH SCORE 6574.585
AT ITER 9774 NEW BEST:: SOT 111424 SOS 41585 HAS SOPS 36960 HAS SOUS 7261 HAS SOUPS 6527 WITH SCORE 6568.585
AT ITER 9866 NEW BEST:: SOT 111443 SOS 41569 HAS SOPS 36944 HAS SOUS 7258 HAS SOUPS 6524 WITH SCORE 6565.569
AT ITER 9911 NEW BEST:: SOT 111402 SOS 41487 HAS SOPS 36862 HAS SOUS 7190 HAS SOUPS 6456 WITH SCORE 6497.487
STATE_SPACE STATES 4759924249 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 77248039202 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590409192507

--------------------
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="UtahNoC-PT-none"
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 UtahNoC-PT-none, 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 r190-csrt-159033382900600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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