Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r515-tall-167987241900048.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Anderson-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.1K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 16K Mar 23 15:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Mar 23 15:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 844K Mar 26 22:42 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 1679873528298

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Anderson-PT-09
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 09
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 505 places, 1845 transitions, 7092 arcs.
AT ITER 0 NEW BEST:: SOT 534304 SOS 340846 HAS SOPS 340846 HAS SOUS 102320 HAS SOUPS 102320 WITH SCORE 102660.846
AT ITER 15 NEW BEST:: SOT 534304 SOS 340767 HAS SOPS 340767 HAS SOUS 102241 HAS SOUPS 102241 WITH SCORE 102581.767
AT ITER 22 NEW BEST:: SOT 534210 SOS 339452 HAS SOPS 339452 HAS SOUS 102120 HAS SOUPS 102120 WITH SCORE 102459.452
AT ITER 30 NEW BEST:: SOT 534022 SOS 339384 HAS SOPS 339384 HAS SOUS 101995 HAS SOUPS 101995 WITH SCORE 102334.384
AT ITER 45 NEW BEST:: SOT 534022 SOS 339333 HAS SOPS 339333 HAS SOUS 101995 HAS SOUPS 101995 WITH SCORE 102334.333
AT ITER 47 NEW BEST:: SOT 535678 SOS 341027 HAS SOPS 341027 HAS SOUS 101785 HAS SOUPS 101785 WITH SCORE 102126.027
AT ITER 54 NEW BEST:: SOT 535602 SOS 339944 HAS SOPS 339944 HAS SOUS 101690 HAS SOUPS 101690 WITH SCORE 102029.944
AT ITER 64 NEW BEST:: SOT 535618 SOS 340275 HAS SOPS 340275 HAS SOUS 101624 HAS SOUPS 101624 WITH SCORE 101964.275
AT ITER 66 NEW BEST:: SOT 535576 SOS 340044 HAS SOPS 340044 HAS SOUS 101561 HAS SOUPS 101561 WITH SCORE 101901.044
AT ITER 76 NEW BEST:: SOT 535576 SOS 340000 HAS SOPS 340000 HAS SOUS 101517 HAS SOUPS 101517 WITH SCORE 101857.0
AT ITER 79 NEW BEST:: SOT 535352 SOS 338768 HAS SOPS 338768 HAS SOUS 101181 HAS SOUPS 101181 WITH SCORE 101519.768
AT ITER 108 NEW BEST:: SOT 535244 SOS 338174 HAS SOPS 338174 HAS SOUS 101019 HAS SOUPS 101019 WITH SCORE 101357.174
AT ITER 115 NEW BEST:: SOT 535076 SOS 337187 HAS SOPS 337187 HAS SOUS 100770 HAS SOUPS 100770 WITH SCORE 101107.187
AT ITER 124 NEW BEST:: SOT 534989 SOS 336257 HAS SOPS 336257 HAS SOUS 100653 HAS SOUPS 100653 WITH SCORE 100989.257
AT ITER 133 NEW BEST:: SOT 534841 SOS 334932 HAS SOPS 334932 HAS SOUS 100444 HAS SOUPS 100444 WITH SCORE 100778.932
AT ITER 136 NEW BEST:: SOT 535090 SOS 335212 HAS SOPS 335212 HAS SOUS 100197 HAS SOUPS 100197 WITH SCORE 100532.212
AT ITER 140 NEW BEST:: SOT 535005 SOS 334566 HAS SOPS 334566 HAS SOUS 100095 HAS SOUPS 100095 WITH SCORE 100429.566
AT ITER 143 NEW BEST:: SOT 535005 SOS 333656 HAS SOPS 333656 HAS SOUS 100095 HAS SOUPS 100095 WITH SCORE 100428.656
AT ITER 147 NEW BEST:: SOT 534888 SOS 333305 HAS SOPS 333305 HAS SOUS 99952 HAS SOUPS 99952 WITH SCORE 100285.305
AT ITER 148 NEW BEST:: SOT 534888 SOS 333305 HAS SOPS 333305 HAS SOUS 99946 HAS SOUPS 99946 WITH SCORE 100279.305
AT ITER 171 NEW BEST:: SOT 534888 SOS 333305 HAS SOPS 333305 HAS SOUS 99940 HAS SOUPS 99940 WITH SCORE 100273.305
AT ITER 183 NEW BEST:: SOT 536080 SOS 334497 HAS SOPS 334497 HAS SOUS 99788 HAS SOUPS 99788 WITH SCORE 100122.497
AT ITER 189 NEW BEST:: SOT 535989 SOS 333699 HAS SOPS 333699 HAS SOUS 99663 HAS SOUPS 99663 WITH SCORE 99996.699
AT ITER 191 NEW BEST:: SOT 535964 SOS 333649 HAS SOPS 333649 HAS SOUS 99638 HAS SOUPS 99638 WITH SCORE 99971.649
AT ITER 196 NEW BEST:: SOT 535835 SOS 332467 HAS SOPS 332467 HAS SOUS 99439 HAS SOUPS 99439 WITH SCORE 99771.467
AT ITER 197 NEW BEST:: SOT 534832 SOS 330617 HAS SOPS 330617 HAS SOUS 99380 HAS SOUPS 99380 WITH SCORE 99710.617
AT ITER 212 NEW BEST:: SOT 534903 SOS 328760 HAS SOPS 328760 HAS SOUS 99355 HAS SOUPS 99355 WITH SCORE 99683.76
AT ITER 244 NEW BEST:: SOT 536568 SOS 330416 HAS SOPS 330416 HAS SOUS 99184 HAS SOUPS 99184 WITH SCORE 99514.416
AT ITER 245 NEW BEST:: SOT 536531 SOS 329322 HAS SOPS 329322 HAS SOUS 99168 HAS SOUPS 99168 WITH SCORE 99497.322
AT ITER 247 NEW BEST:: SOT 536429 SOS 328761 HAS SOPS 328761 HAS SOUS 99015 HAS SOUPS 99015 WITH SCORE 99343.761
AT ITER 260 NEW BEST:: SOT 536429 SOS 328383 HAS SOPS 328383 HAS SOUS 99015 HAS SOUPS 99015 WITH SCORE 99343.383
AT ITER 287 NEW BEST:: SOT 536429 SOS 327879 HAS SOPS 327879 HAS SOUS 99015 HAS SOUPS 99015 WITH SCORE 99342.879
AT ITER 289 NEW BEST:: SOT 536397 SOS 327815 HAS SOPS 327815 HAS SOUS 98951 HAS SOUPS 98951 WITH SCORE 99278.815
AT ITER 318 NEW BEST:: SOT 536354 SOS 327729 HAS SOPS 327729 HAS SOUS 98865 HAS SOUPS 98865 WITH SCORE 99192.729
AT ITER 319 NEW BEST:: SOT 536354 SOS 327715 HAS SOPS 327715 HAS SOUS 98865 HAS SOUPS 98865 WITH SCORE 99192.715
AT ITER 329 NEW BEST:: SOT 536331 SOS 327669 HAS SOPS 327669 HAS SOUS 98836 HAS SOUPS 98836 WITH SCORE 99163.669
AT ITER 338 NEW BEST:: SOT 536263 SOS 326406 HAS SOPS 326406 HAS SOUS 98737 HAS SOUPS 98737 WITH SCORE 99063.406
AT ITER 342 NEW BEST:: SOT 536109 SOS 325251 HAS SOPS 325251 HAS SOUS 98516 HAS SOUPS 98516 WITH SCORE 98841.251
AT ITER 351 NEW BEST:: SOT 535933 SOS 324283 HAS SOPS 324283 HAS SOUS 98252 HAS SOUPS 98252 WITH SCORE 98576.283
AT ITER 364 NEW BEST:: SOT 535890 SOS 323896 HAS SOPS 323896 HAS SOUS 98209 HAS SOUPS 98209 WITH SCORE 98532.896
AT ITER 376 NEW BEST:: SOT 535978 SOS 323885 HAS SOPS 323752 HAS SOUS 98311 HAS SOUPS 98178 WITH SCORE 98501.885
AT ITER 384 NEW BEST:: SOT 535791 SOS 322839 HAS SOPS 322706 HAS SOUS 98033 HAS SOUPS 97900 WITH SCORE 98222.839
AT ITER 413 NEW BEST:: SOT 535758 SOS 322773 HAS SOPS 322640 HAS SOUS 98000 HAS SOUPS 97867 WITH SCORE 98189.773
AT ITER 426 NEW BEST:: SOT 535677 SOS 322016 HAS SOPS 321883 HAS SOUS 97923 HAS SOUPS 97790 WITH SCORE 98112.016
AT ITER 430 NEW BEST:: SOT 535669 SOS 322000 HAS SOPS 321867 HAS SOUS 97907 HAS SOUPS 97774 WITH SCORE 98096.0
AT ITER 440 NEW BEST:: SOT 535559 SOS 321395 HAS SOPS 321262 HAS SOUS 97742 HAS SOUPS 97609 WITH SCORE 97930.395
AT ITER 444 NEW BEST:: SOT 535473 SOS 320439 HAS SOPS 320306 HAS SOUS 97661 HAS SOUPS 97528 WITH SCORE 97848.439
AT ITER 447 NEW BEST:: SOT 535426 SOS 320307 HAS SOPS 320174 HAS SOUS 97576 HAS SOUPS 97443 WITH SCORE 97763.307
AT ITER 456 NEW BEST:: SOT 535292 SOS 319255 HAS SOPS 319122 HAS SOUS 97391 HAS SOUPS 97258 WITH SCORE 97577.255
AT ITER 457 NEW BEST:: SOT 537254 SOS 321184 HAS SOPS 321051 HAS SOUS 97229 HAS SOUPS 97096 WITH SCORE 97417.184
AT ITER 473 NEW BEST:: SOT 537148 SOS 322358 HAS SOPS 322225 HAS SOUS 97192 HAS SOUPS 97059 WITH SCORE 97381.358
AT ITER 478 NEW BEST:: SOT 537148 SOS 322350 HAS SOPS 322217 HAS SOUS 97192 HAS SOUPS 97059 WITH SCORE 97381.35
AT ITER 481 NEW BEST:: SOT 537136 SOS 322106 HAS SOPS 321827 HAS SOUS 97219 HAS SOUPS 96940 WITH SCORE 97262.106
AT ITER 494 NEW BEST:: SOT 537134 SOS 322095 HAS SOPS 321816 HAS SOUS 97216 HAS SOUPS 96937 WITH SCORE 97259.095
AT ITER 506 NEW BEST:: SOT 539941 SOS 324863 HAS SOPS 324584 HAS SOUS 97029 HAS SOUPS 96750 WITH SCORE 97074.863
AT ITER 509 NEW BEST:: SOT 539877 SOS 324455 HAS SOPS 324176 HAS SOUS 96941 HAS SOUPS 96662 WITH SCORE 96986.455
AT ITER 514 NEW BEST:: SOT 539873 SOS 324447 HAS SOPS 324168 HAS SOUS 96933 HAS SOUPS 96654 WITH SCORE 96978.447
AT ITER 532 NEW BEST:: SOT 539882 SOS 323833 HAS SOPS 323554 HAS SOUS 96927 HAS SOUPS 96648 WITH SCORE 96971.833
AT ITER 554 NEW BEST:: SOT 539882 SOS 323644 HAS SOPS 323365 HAS SOUS 96927 HAS SOUPS 96648 WITH SCORE 96971.644
AT ITER 564 NEW BEST:: SOT 539842 SOS 323284 HAS SOPS 323005 HAS SOUS 96887 HAS SOUPS 96608 WITH SCORE 96931.284
AT ITER 587 NEW BEST:: SOT 539803 SOS 322894 HAS SOPS 322615 HAS SOUS 96803 HAS SOUPS 96524 WITH SCORE 96846.894
AT ITER 603 NEW BEST:: SOT 538919 SOS 321958 HAS SOPS 321679 HAS SOUS 96751 HAS SOUPS 96472 WITH SCORE 96793.958
AT ITER 611 NEW BEST:: SOT 538765 SOS 321041 HAS SOPS 320762 HAS SOUS 96530 HAS SOUPS 96251 WITH SCORE 96572.041
AT ITER 644 NEW BEST:: SOT 538765 SOS 321005 HAS SOPS 320726 HAS SOUS 96494 HAS SOUPS 96215 WITH SCORE 96536.005
AT ITER 663 NEW BEST:: SOT 538759 SOS 320322 HAS SOPS 320043 HAS SOUS 96389 HAS SOUPS 96110 WITH SCORE 96430.322
AT ITER 672 NEW BEST:: SOT 538679 SOS 319462 HAS SOPS 319183 HAS SOUS 96329 HAS SOUPS 96050 WITH SCORE 96369.462
AT ITER 697 NEW BEST:: SOT 538663 SOS 319518 HAS SOPS 319239 HAS SOUS 96303 HAS SOUPS 96024 WITH SCORE 96343.518
AT ITER 699 NEW BEST:: SOT 538603 SOS 319188 HAS SOPS 318909 HAS SOUS 96213 HAS SOUPS 95934 WITH SCORE 96253.188
AT ITER 703 NEW BEST:: SOT 538609 SOS 319197 HAS SOPS 318918 HAS SOUS 96171 HAS SOUPS 95892 WITH SCORE 96211.197
AT ITER 709 NEW BEST:: SOT 538609 SOS 319194 HAS SOPS 318915 HAS SOUS 96171 HAS SOUPS 95892 WITH SCORE 96211.194
AT ITER 710 NEW BEST:: SOT 538609 SOS 319194 HAS SOPS 318915 HAS SOUS 96167 HAS SOUPS 95888 WITH SCORE 96207.194
AT ITER 713 NEW BEST:: SOT 533288 SOS 314200 HAS SOPS 313921 HAS SOUS 91025 HAS SOUPS 90746 WITH SCORE 91060.2
AT ITER 715 NEW BEST:: SOT 533262 SOS 314148 HAS SOPS 313869 HAS SOUS 90999 HAS SOUPS 90720 WITH SCORE 91034.148
AT ITER 728 NEW BEST:: SOT 533267 SOS 314153 HAS SOPS 313874 HAS SOUS 90965 HAS SOUPS 90686 WITH SCORE 91000.153
AT ITER 744 NEW BEST:: SOT 533248 SOS 314134 HAS SOPS 313855 HAS SOUS 90927 HAS SOUPS 90648 WITH SCORE 90962.134
AT ITER 751 NEW BEST:: SOT 533248 SOS 313714 HAS SOPS 313435 HAS SOUS 90927 HAS SOUPS 90648 WITH SCORE 90961.714
AT ITER 774 NEW BEST:: SOT 533202 SOS 313419 HAS SOPS 313140 HAS SOUS 90864 HAS SOUPS 90585 WITH SCORE 90898.419
AT ITER 782 NEW BEST:: SOT 533306 SOS 312812 HAS SOPS 312533 HAS SOUS 90807 HAS SOUPS 90528 WITH SCORE 90840.812
AT ITER 785 NEW BEST:: SOT 533196 SOS 312592 HAS SOPS 312313 HAS SOUS 90670 HAS SOUPS 90391 WITH SCORE 90703.592
AT ITER 788 NEW BEST:: SOT 533162 SOS 312558 HAS SOPS 312279 HAS SOUS 90588 HAS SOUPS 90309 WITH SCORE 90621.558
AT ITER 794 NEW BEST:: SOT 533066 SOS 312394 HAS SOPS 312115 HAS SOUS 90486 HAS SOUPS 90207 WITH SCORE 90519.394
AT ITER 795 NEW BEST:: SOT 532975 SOS 311575 HAS SOPS 311296 HAS SOUS 90395 HAS SOUPS 90116 WITH SCORE 90427.575
AT ITER 817 NEW BEST:: SOT 532951 SOS 311551 HAS SOPS 311272 HAS SOUS 90335 HAS SOUPS 90056 WITH SCORE 90367.551
AT ITER 818 NEW BEST:: SOT 532901 SOS 311501 HAS SOPS 311222 HAS SOUS 90285 HAS SOUPS 90006 WITH SCORE 90317.501
AT ITER 835 NEW BEST:: SOT 532896 SOS 311631 HAS SOPS 311352 HAS SOUS 90275 HAS SOUPS 89996 WITH SCORE 90307.631
AT ITER 836 NEW BEST:: SOT 532818 SOS 311493 HAS SOPS 311196 HAS SOUS 90138 HAS SOUPS 89841 WITH SCORE 90152.493
AT ITER 837 NEW BEST:: SOT 532740 SOS 311887 HAS SOPS 311590 HAS SOUS 90064 HAS SOUPS 89767 WITH SCORE 90078.887
AT ITER 850 NEW BEST:: SOT 532639 SOS 310719 HAS SOPS 310422 HAS SOUS 89929 HAS SOUPS 89632 WITH SCORE 89942.719
AT ITER 855 NEW BEST:: SOT 532610 SOS 310661 HAS SOPS 310364 HAS SOUS 89900 HAS SOUPS 89603 WITH SCORE 89913.661
AT ITER 870 NEW BEST:: SOT 532499 SOS 311861 HAS SOPS 311564 HAS SOUS 89836 HAS SOUPS 89539 WITH SCORE 89850.861
AT ITER 880 NEW BEST:: SOT 532498 SOS 311859 HAS SOPS 311562 HAS SOUS 89834 HAS SOUPS 89537 WITH SCORE 89848.859
AT ITER 887 NEW BEST:: SOT 532496 SOS 311857 HAS SOPS 311560 HAS SOUS 89832 HAS SOUPS 89535 WITH SCORE 89846.857
AT ITER 901 NEW BEST:: SOT 532454 SOS 311773 HAS SOPS 311476 HAS SOUS 89800 HAS SOUPS 89503 WITH SCORE 89814.773
AT ITER 903 NEW BEST:: SOT 532430 SOS 311417 HAS SOPS 311120 HAS SOUS 89789 HAS SOUPS 89492 WITH SCORE 89803.417
AT ITER 920 NEW BEST:: SOT 532342 SOS 310492 HAS SOPS 310195 HAS SOUS 89670 HAS SOUPS 89373 WITH SCORE 89683.492
AT ITER 929 NEW BEST:: SOT 532426 SOS 310306 HAS SOPS 310009 HAS SOUS 89642 HAS SOUPS 89345 WITH SCORE 89655.306
AT ITER 931 NEW BEST:: SOT 532412 SOS 310278 HAS SOPS 309981 HAS SOUS 89628 HAS SOUPS 89331 WITH SCORE 89641.278
AT ITER 942 NEW BEST:: SOT 532307 SOS 310187 HAS SOPS 309890 HAS SOUS 89532 HAS SOUPS 89235 WITH SCORE 89545.187
AT ITER 952 NEW BEST:: SOT 532287 SOS 310147 HAS SOPS 309850 HAS SOUS 89506 HAS SOUPS 89209 WITH SCORE 89519.147
AT ITER 963 NEW BEST:: SOT 531132 SOS 308992 HAS SOPS 308695 HAS SOUS 89218 HAS SOUPS 88921 WITH SCORE 89229.992
AT ITER 970 NEW BEST:: SOT 531125 SOS 308929 HAS SOPS 308632 HAS SOUS 89211 HAS SOUPS 88914 WITH SCORE 89222.929
AT ITER 977 NEW BEST:: SOT 531003 SOS 308258 HAS SOPS 307961 HAS SOUS 89028 HAS SOUPS 88731 WITH SCORE 89039.258
AT ITER 980 NEW BEST:: SOT 530993 SOS 308238 HAS SOPS 307941 HAS SOUS 89008 HAS SOUPS 88711 WITH SCORE 89019.238
AT ITER 981 NEW BEST:: SOT 530935 SOS 308180 HAS SOPS 307883 HAS SOUS 88887 HAS SOUPS 88590 WITH SCORE 88898.18
AT ITER 983 NEW BEST:: SOT 530839 SOS 307547 HAS SOPS 307250 HAS SOUS 88747 HAS SOUPS 88450 WITH SCORE 88757.547
AT ITER 997 NEW BEST:: SOT 530871 SOS 307579 HAS SOPS 307282 HAS SOUS 88719 HAS SOUPS 88422 WITH SCORE 88729.579
AT ITER 1013 NEW BEST:: SOT 530846 SOS 307529 HAS SOPS 307232 HAS SOUS 88719 HAS SOUPS 88422 WITH SCORE 88729.529
AT ITER 1016 NEW BEST:: SOT 530828 SOS 307493 HAS SOPS 307196 HAS SOUS 88694 HAS SOUPS 88397 WITH SCORE 88704.493
AT ITER 1025 NEW BEST:: SOT 530807 SOS 307794 HAS SOPS 307497 HAS SOUS 88652 HAS SOUPS 88355 WITH SCORE 88662.794
AT ITER 1026 NEW BEST:: SOT 530672 SOS 307857 HAS SOPS 307560 HAS SOUS 88554 HAS SOUPS 88257 WITH SCORE 88564.857
AT ITER 1036 NEW BEST:: SOT 530692 SOS 306760 HAS SOPS 306566 HAS SOUS 88387 HAS SOUPS 88193 WITH SCORE 88499.76
AT ITER 1044 NEW BEST:: SOT 530565 SOS 305634 HAS SOPS 305440 HAS SOUS 88251 HAS SOUPS 88057 WITH SCORE 88362.634
AT ITER 1048 NEW BEST:: SOT 530565 SOS 305570 HAS SOPS 305376 HAS SOUS 88251 HAS SOUPS 88057 WITH SCORE 88362.57
AT ITER 1052 NEW BEST:: SOT 530557 SOS 305610 HAS SOPS 305416 HAS SOUS 88235 HAS SOUPS 88041 WITH SCORE 88346.61
AT ITER 1061 NEW BEST:: SOT 530557 SOS 305610 HAS SOPS 305416 HAS SOUS 88206 HAS SOUPS 88012 WITH SCORE 88317.61
AT ITER 1062 NEW BEST:: SOT 530473 SOS 305502 HAS SOPS 305308 HAS SOUS 88056 HAS SOUPS 87862 WITH SCORE 88167.502
AT ITER 1069 NEW BEST:: SOT 529614 SOS 304643 HAS SOPS 304449 HAS SOUS 87200 HAS SOUPS 87006 WITH SCORE 87310.643
AT ITER 1082 NEW BEST:: SOT 529569 SOS 304598 HAS SOPS 304404 HAS SOUS 87110 HAS SOUPS 86916 WITH SCORE 87220.598
AT ITER 1091 NEW BEST:: SOT 529559 SOS 304588 HAS SOPS 304394 HAS SOUS 87100 HAS SOUPS 86906 WITH SCORE 87210.588
AT ITER 1097 NEW BEST:: SOT 529545 SOS 304560 HAS SOPS 304366 HAS SOUS 87072 HAS SOUPS 86878 WITH SCORE 87182.56
AT ITER 1115 NEW BEST:: SOT 529545 SOS 304560 HAS SOPS 304366 HAS SOUS 87067 HAS SOUPS 86873 WITH SCORE 87177.56
AT ITER 1130 NEW BEST:: SOT 529558 SOS 304552 HAS SOPS 304358 HAS SOUS 87016 HAS SOUPS 86822 WITH SCORE 87126.552
AT ITER 1132 NEW BEST:: SOT 529555 SOS 304549 HAS SOPS 304355 HAS SOUS 87016 HAS SOUPS 86822 WITH SCORE 87126.549
AT ITER 1134 NEW BEST:: SOT 529540 SOS 304519 HAS SOPS 304325 HAS SOUS 86986 HAS SOUPS 86792 WITH SCORE 87096.519
AT ITER 1137 NEW BEST:: SOT 529533 SOS 304456 HAS SOPS 304262 HAS SOUS 86979 HAS SOUPS 86785 WITH SCORE 87089.456
AT ITER 1138 NEW BEST:: SOT 529068 SOS 304099 HAS SOPS 303905 HAS SOUS 86608 HAS SOUPS 86414 WITH SCORE 86718.099
AT ITER 1139 NEW BEST:: SOT 529035 SOS 303802 HAS SOPS 303608 HAS SOUS 86575 HAS SOUPS 86381 WITH SCORE 86684.802
AT ITER 1155 NEW BEST:: SOT 529128 SOS 303895 HAS SOPS 303701 HAS SOUS 86552 HAS SOUPS 86358 WITH SCORE 86661.895
AT ITER 1164 NEW BEST:: SOT 529112 SOS 303863 HAS SOPS 303669 HAS SOUS 86535 HAS SOUPS 86341 WITH SCORE 86644.863
AT ITER 1168 NEW BEST:: SOT 529103 SOS 303854 HAS SOPS 303660 HAS SOUS 86526 HAS SOUPS 86332 WITH SCORE 86635.854
AT ITER 1176 NEW BEST:: SOT 528556 SOS 316740 HAS SOPS 316434 HAS SOUS 86277 HAS SOUPS 85971 WITH SCORE 86287.74
AT ITER 1177 NEW BEST:: SOT 528597 SOS 315875 HAS SOPS 315569 HAS SOUS 86241 HAS SOUPS 85935 WITH SCORE 86250.875
AT ITER 1191 NEW BEST:: SOT 528585 SOS 315863 HAS SOPS 315557 HAS SOUS 86217 HAS SOUPS 85911 WITH SCORE 86226.863
AT ITER 1195 NEW BEST:: SOT 528504 SOS 314623 HAS SOPS 314317 HAS SOUS 86136 HAS SOUPS 85830 WITH SCORE 86144.623
AT ITER 1201 NEW BEST:: SOT 528449 SOS 314568 HAS SOPS 314262 HAS SOUS 86065 HAS SOUPS 85759 WITH SCORE 86073.568
AT ITER 1207 NEW BEST:: SOT 528381 SOS 314500 HAS SOPS 314194 HAS SOUS 85929 HAS SOUPS 85623 WITH SCORE 85937.5
AT ITER 1221 NEW BEST:: SOT 528337 SOS 314456 HAS SOPS 314150 HAS SOUS 85885 HAS SOUPS 85579 WITH SCORE 85893.456
AT ITER 1227 NEW BEST:: SOT 528297 SOS 314416 HAS SOPS 314110 HAS SOUS 85805 HAS SOUPS 85499 WITH SCORE 85813.416
AT ITER 1259 NEW BEST:: SOT 528239 SOS 314358 HAS SOPS 314052 HAS SOUS 85721 HAS SOUPS 85415 WITH SCORE 85729.358
AT ITER 1262 NEW BEST:: SOT 528436 SOS 314555 HAS SOPS 314249 HAS SOUS 85566 HAS SOUPS 85260 WITH SCORE 85574.555
AT ITER 1267 NEW BEST:: SOT 528452 SOS 313390 HAS SOPS 313084 HAS SOUS 85465 HAS SOUPS 85159 WITH SCORE 85472.39
AT ITER 1268 NEW BEST:: SOT 528417 SOS 313320 HAS SOPS 313014 HAS SOUS 85395 HAS SOUPS 85089 WITH SCORE 85402.32
AT ITER 1279 NEW BEST:: SOT 528299 SOS 313202 HAS SOPS 312896 HAS SOUS 85189 HAS SOUPS 84883 WITH SCORE 85196.202
AT ITER 1281 NEW BEST:: SOT 528286 SOS 313189 HAS SOPS 312883 HAS SOUS 85176 HAS SOUPS 84870 WITH SCORE 85183.189
AT ITER 1284 NEW BEST:: SOT 528284 SOS 313187 HAS SOPS 312881 HAS SOUS 85172 HAS SOUPS 84866 WITH SCORE 85179.187
AT ITER 1291 NEW BEST:: SOT 528230 SOS 312701 HAS SOPS 312395 HAS SOUS 85118 HAS SOUPS 84812 WITH SCORE 85124.701
AT ITER 1295 NEW BEST:: SOT 528034 SOS 312430 HAS SOPS 312003 HAS SOUS 84838 HAS SOUPS 84523 WITH SCORE 84835.43
AT ITER 1306 NEW BEST:: SOT 527984 SOS 311847 HAS SOPS 311420 HAS SOUS 84803 HAS SOUPS 84488 WITH SCORE 84799.847
AT ITER 1307 NEW BEST:: SOT 527947 SOS 311810 HAS SOPS 311383 HAS SOUS 84793 HAS SOUPS 84478 WITH SCORE 84789.81
AT ITER 1316 NEW BEST:: SOT 527936 SOS 311214 HAS SOPS 310787 HAS SOUS 84777 HAS SOUPS 84462 WITH SCORE 84773.214
AT ITER 1318 NEW BEST:: SOT 527933 SOS 311211 HAS SOPS 310784 HAS SOUS 84774 HAS SOUPS 84459 WITH SCORE 84770.211
AT ITER 1319 NEW BEST:: SOT 527791 SOS 310927 HAS SOPS 310500 HAS SOUS 84543 HAS SOUPS 84228 WITH SCORE 84538.927
AT ITER 1321 NEW BEST:: SOT 527767 SOS 310711 HAS SOPS 310284 HAS SOUS 84519 HAS SOUPS 84204 WITH SCORE 84514.711
AT ITER 1337 NEW BEST:: SOT 527728 SOS 310906 HAS SOPS 310479 HAS SOUS 84480 HAS SOUPS 84165 WITH SCORE 84475.906
AT ITER 1343 NEW BEST:: SOT 527634 SOS 310812 HAS SOPS 310385 HAS SOUS 84372 HAS SOUPS 84057 WITH SCORE 84367.812
AT ITER 1348 NEW BEST:: SOT 527651 SOS 310829 HAS SOPS 310402 HAS SOUS 84328 HAS SOUPS 84013 WITH SCORE 84323.829
AT ITER 1351 NEW BEST:: SOT 527670 SOS 310774 HAS SOPS 310347 HAS SOUS 84284 HAS SOUPS 83969 WITH SCORE 84279.774
AT ITER 1360 NEW BEST:: SOT 527650 SOS 310723 HAS SOPS 310336 HAS SOUS 84224 HAS SOUPS 83929 WITH SCORE 84239.723
AT ITER 1369 NEW BEST:: SOT 527638 SOS 310711 HAS SOPS 310324 HAS SOUS 84212 HAS SOUPS 83917 WITH SCORE 84227.711
AT ITER 1411 NEW BEST:: SOT 527634 SOS 310703 HAS SOPS 310316 HAS SOUS 84208 HAS SOUPS 83913 WITH SCORE 84223.703
AT ITER 1413 NEW BEST:: SOT 527602 SOS 310671 HAS SOPS 310284 HAS SOUS 84144 HAS SOUPS 83849 WITH SCORE 84159.671
AT ITER 1414 NEW BEST:: SOT 527544 SOS 310079 HAS SOPS 309692 HAS SOUS 84060 HAS SOUPS 83765 WITH SCORE 84075.079
AT ITER 1416 NEW BEST:: SOT 526575 SOS 308939 HAS SOPS 308552 HAS SOUS 83986 HAS SOUPS 83691 WITH SCORE 83999.939
AT ITER 1420 NEW BEST:: SOT 526568 SOS 308932 HAS SOPS 308545 HAS SOUS 83980 HAS SOUPS 83685 WITH SCORE 83993.932
AT ITER 1427 NEW BEST:: SOT 526537 SOS 308901 HAS SOPS 308514 HAS SOUS 83948 HAS SOUPS 83653 WITH SCORE 83961.901
AT ITER 1435 NEW BEST:: SOT 525697 SOS 308061 HAS SOPS 307674 HAS SOUS 83227 HAS SOUPS 82932 WITH SCORE 83240.061
AT ITER 1445 NEW BEST:: SOT 525641 SOS 307957 HAS SOPS 307570 HAS SOUS 83187 HAS SOUPS 82892 WITH SCORE 83199.957
AT ITER 1452 NEW BEST:: SOT 525609 SOS 307669 HAS SOPS 307282 HAS SOUS 83155 HAS SOUPS 82860 WITH SCORE 83167.669
AT ITER 1479 NEW BEST:: SOT 525604 SOS 307659 HAS SOPS 307272 HAS SOUS 83150 HAS SOUPS 82855 WITH SCORE 83162.659
AT ITER 1487 NEW BEST:: SOT 525544 SOS 307406 HAS SOPS 307212 HAS SOUS 82801 HAS SOUPS 82607 WITH SCORE 82914.406
AT ITER 1497 NEW BEST:: SOT 525500 SOS 307362 HAS SOPS 307168 HAS SOUS 82702 HAS SOUPS 82508 WITH SCORE 82815.362
AT ITER 1521 NEW BEST:: SOT 525478 SOS 307318 HAS SOPS 307124 HAS SOUS 82680 HAS SOUPS 82486 WITH SCORE 82793.318
AT ITER 1561 NEW BEST:: SOT 525412 SOS 307252 HAS SOPS 307058 HAS SOUS 82581 HAS SOUPS 82387 WITH SCORE 82694.252
AT ITER 1570 NEW BEST:: SOT 525412 SOS 307009 HAS SOPS 306815 HAS SOUS 82554 HAS SOUPS 82360 WITH SCORE 82667.009
AT ITER 1572 NEW BEST:: SOT 525411 SOS 307008 HAS SOPS 306814 HAS SOUS 82552 HAS SOUPS 82358 WITH SCORE 82665.008
AT ITER 1577 NEW BEST:: SOT 525411 SOS 306917 HAS SOPS 306723 HAS SOUS 82552 HAS SOUPS 82358 WITH SCORE 82664.917
AT ITER 1584 NEW BEST:: SOT 525403 SOS 306901 HAS SOPS 306707 HAS SOUS 82540 HAS SOUPS 82346 WITH SCORE 82652.901
AT ITER 1590 NEW BEST:: SOT 525355 SOS 306098 HAS SOPS 305904 HAS SOUS 82478 HAS SOUPS 82284 WITH SCORE 82590.098
AT ITER 1591 NEW BEST:: SOT 525238 SOS 305981 HAS SOPS 305787 HAS SOUS 82321 HAS SOUPS 82127 WITH SCORE 82432.981
AT ITER 1593 NEW BEST:: SOT 525226 SOS 305957 HAS SOPS 305763 HAS SOUS 82303 HAS SOUPS 82109 WITH SCORE 82414.957
AT ITER 1609 NEW BEST:: SOT 525222 SOS 305953 HAS SOPS 305759 HAS SOUS 82302 HAS SOUPS 82108 WITH SCORE 82413.953
AT ITER 1619 NEW BEST:: SOT 525191 SOS 305922 HAS SOPS 305728 HAS SOUS 82288 HAS SOUPS 82094 WITH SCORE 82399.922
AT ITER 1624 NEW BEST:: SOT 525177 SOS 305894 HAS SOPS 305700 HAS SOUS 82264 HAS SOUPS 82070 WITH SCORE 82375.894
AT ITER 1633 NEW BEST:: SOT 525173 SOS 305886 HAS SOPS 305692 HAS SOUS 82256 HAS SOUPS 82062 WITH SCORE 82367.886
AT ITER 1640 NEW BEST:: SOT 525158 SOS 305871 HAS SOPS 305677 HAS SOUS 82226 HAS SOUPS 82032 WITH SCORE 82337.871
AT ITER 1646 NEW BEST:: SOT 525172 SOS 305926 HAS SOPS 305655 HAS SOUS 82270 HAS SOUPS 81999 WITH SCORE 82304.926
AT ITER 1655 NEW BEST:: SOT 525172 SOS 305926 HAS SOPS 305655 HAS SOUS 82267 HAS SOUPS 81996 WITH SCORE 82301.926
AT ITER 1674 NEW BEST:: SOT 525162 SOS 305916 HAS SOPS 305645 HAS SOUS 82257 HAS SOUPS 81986 WITH SCORE 82291.916
AT ITER 1677 NEW BEST:: SOT 525149 SOS 305903 HAS SOPS 305632 HAS SOUS 82244 HAS SOUPS 81973 WITH SCORE 82278.903
AT ITER 1687 NEW BEST:: SOT 525199 SOS 306822 HAS SOPS 306551 HAS SOUS 82227 HAS SOUPS 81956 WITH SCORE 82262.822
AT ITER 1691 NEW BEST:: SOT 524196 SOS 305819 HAS SOPS 305548 HAS SOUS 82210 HAS SOUPS 81939 WITH SCORE 82244.819
AT ITER 1699 NEW BEST:: SOT 524196 SOS 305819 HAS SOPS 305548 HAS SOUS 82193 HAS SOUPS 81922 WITH SCORE 82227.819
AT ITER 1707 NEW BEST:: SOT 524180 SOS 305803 HAS SOPS 305532 HAS SOUS 82171 HAS SOUPS 81900 WITH SCORE 82205.803
AT ITER 1741 NEW BEST:: SOT 524138 SOS 305719 HAS SOPS 305448 HAS SOUS 82123 HAS SOUPS 81852 WITH SCORE 82157.719
AT ITER 1745 NEW BEST:: SOT 524136 SOS 305717 HAS SOPS 305447 HAS SOUS 82121 HAS SOUPS 81851 WITH SCORE 82156.717
AT ITER 1757 NEW BEST:: SOT 524119 SOS 305805 HAS SOPS 305413 HAS SOUS 82114 HAS SOUPS 81817 WITH SCORE 82122.805
AT ITER 1758 NEW BEST:: SOT 524171 SOS 305561 HAS SOPS 305169 HAS SOUS 82009 HAS SOUPS 81712 WITH SCORE 82017.561
AT ITER 1759 NEW BEST:: SOT 524171 SOS 305932 HAS SOPS 305540 HAS SOUS 82003 HAS SOUPS 81706 WITH SCORE 82011.932
AT ITER 1764 NEW BEST:: SOT 524171 SOS 305284 HAS SOPS 304892 HAS SOUS 81931 HAS SOUPS 81634 WITH SCORE 81939.284
AT ITER 1786 NEW BEST:: SOT 524160 SOS 305273 HAS SOPS 304881 HAS SOUS 81920 HAS SOUPS 81623 WITH SCORE 81928.273
AT ITER 1791 NEW BEST:: SOT 524158 SOS 305255 HAS SOPS 304863 HAS SOUS 81918 HAS SOUPS 81621 WITH SCORE 81926.255
AT ITER 1794 NEW BEST:: SOT 524141 SOS 305004 HAS SOPS 304612 HAS SOUS 81901 HAS SOUPS 81604 WITH SCORE 81909.004
AT ITER 1814 NEW BEST:: SOT 524071 SOS 304934 HAS SOPS 304551 HAS SOUS 81801 HAS SOUPS 81504 WITH SCORE 81808.934
AT ITER 1831 NEW BEST:: SOT 524037 SOS 304900 HAS SOPS 304517 HAS SOUS 81751 HAS SOUPS 81454 WITH SCORE 81758.9
AT ITER 1836 NEW BEST:: SOT 523993 SOS 304856 HAS SOPS 304473 HAS SOUS 81663 HAS SOUPS 81366 WITH SCORE 81670.856
AT ITER 1861 NEW BEST:: SOT 523921 SOS 304784 HAS SOPS 304401 HAS SOUS 81551 HAS SOUPS 81254 WITH SCORE 81558.784
AT ITER 1868 NEW BEST:: SOT 523939 SOS 304469 HAS SOPS 304086 HAS SOUS 81532 HAS SOUPS 81235 WITH SCORE 81539.469
AT ITER 1885 NEW BEST:: SOT 523915 SOS 304082 HAS SOPS 303699 HAS SOUS 81518 HAS SOUPS 81221 WITH SCORE 81525.082
AT ITER 1905 NEW BEST:: SOT 523909 SOS 304076 HAS SOPS 303693 HAS SOUS 81512 HAS SOUPS 81215 WITH SCORE 81519.076
AT ITER 1945 NEW BEST:: SOT 523899 SOS 304066 HAS SOPS 303688 HAS SOUS 81497 HAS SOUPS 81205 WITH SCORE 81509.066
AT ITER 1946 NEW BEST:: SOT 523899 SOS 304066 HAS SOPS 303688 HAS SOUS 81450 HAS SOUPS 81158 WITH SCORE 81462.066
AT ITER 1957 NEW BEST:: SOT 523853 SOS 304020 HAS SOPS 303642 HAS SOUS 81409 HAS SOUPS 81117 WITH SCORE 81421.02
AT ITER 1960 NEW BEST:: SOT 523744 SOS 303911 HAS SOPS 303533 HAS SOUS 81279 HAS SOUPS 80987 WITH SCORE 81290.911
AT ITER 1984 NEW BEST:: SOT 523710 SOS 303877 HAS SOPS 303499 HAS SOUS 81211 HAS SOUPS 80919 WITH SCORE 81222.877
AT ITER 1985 NEW BEST:: SOT 523711 SOS 303878 HAS SOPS 303500 HAS SOUS 81159 HAS SOUPS 80867 WITH SCORE 81170.878
AT ITER 2010 NEW BEST:: SOT 523753 SOS 303920 HAS SOPS 303542 HAS SOUS 81156 HAS SOUPS 80864 WITH SCORE 81167.92
AT ITER 2024 NEW BEST:: SOT 523665 SOS 303832 HAS SOPS 303454 HAS SOUS 81079 HAS SOUPS 80787 WITH SCORE 81090.832
AT ITER 2042 NEW BEST:: SOT 523631 SOS 303477 HAS SOPS 303099 HAS SOUS 81045 HAS SOUPS 80753 WITH SCORE 81056.477
AT ITER 2076 NEW BEST:: SOT 523560 SOS 303406 HAS SOPS 303028 HAS SOUS 80974 HAS SOUPS 80682 WITH SCORE 80985.406
AT ITER 2078 NEW BEST:: SOT 523572 SOS 303710 HAS SOPS 303332 HAS SOUS 80972 HAS SOUPS 80680 WITH SCORE 80983.71
AT ITER 2083 NEW BEST:: SOT 523385 SOS 303512 HAS SOPS 303134 HAS SOUS 80972 HAS SOUPS 80680 WITH SCORE 80983.512
AT ITER 2089 NEW BEST:: SOT 523377 SOS 303496 HAS SOPS 303118 HAS SOUS 80956 HAS SOUPS 80664 WITH SCORE 80967.496
AT ITER 2094 NEW BEST:: SOT 523377 SOS 303478 HAS SOPS 303100 HAS SOUS 80947 HAS SOUPS 80655 WITH SCORE 80958.478
AT ITER 2095 NEW BEST:: SOT 523310 SOS 303411 HAS SOPS 303033 HAS SOUS 80810 HAS SOUPS 80518 WITH SCORE 80821.411
AT ITER 2108 NEW BEST:: SOT 523251 SOS 303352 HAS SOPS 302974 HAS SOUS 80681 HAS SOUPS 80389 WITH SCORE 80692.352
AT ITER 2120 NEW BEST:: SOT 523251 SOS 303058 HAS SOPS 302680 HAS SOUS 80659 HAS SOUPS 80367 WITH SCORE 80670.058
AT ITER 2133 NEW BEST:: SOT 523203 SOS 302962 HAS SOPS 302584 HAS SOUS 80600 HAS SOUPS 80308 WITH SCORE 80610.962
AT ITER 2139 NEW BEST:: SOT 523186 SOS 302945 HAS SOPS 302567 HAS SOUS 80566 HAS SOUPS 80274 WITH SCORE 80576.945
AT ITER 2150 NEW BEST:: SOT 523186 SOS 302897 HAS SOPS 302519 HAS SOUS 80566 HAS SOUPS 80274 WITH SCORE 80576.897
AT ITER 2163 NEW BEST:: SOT 523160 SOS 302845 HAS SOPS 302467 HAS SOUS 80514 HAS SOUPS 80222 WITH SCORE 80524.845
AT ITER 2184 NEW BEST:: SOT 523131 SOS 302276 HAS SOPS 301898 HAS SOUS 80495 HAS SOUPS 80203 WITH SCORE 80505.276
AT ITER 2192 NEW BEST:: SOT 523201 SOS 302351 HAS SOPS 301973 HAS SOUS 80485 HAS SOUPS 80193 WITH SCORE 80495.351
AT ITER 2196 NEW BEST:: SOT 523441 SOS 302591 HAS SOPS 302213 HAS SOUS 80455 HAS SOUPS 80163 WITH SCORE 80465.591
AT ITER 2204 NEW BEST:: SOT 523441 SOS 302521 HAS SOPS 302143 HAS SOUS 80455 HAS SOUPS 80163 WITH SCORE 80465.521
AT ITER 2242 NEW BEST:: SOT 523431 SOS 302511 HAS SOPS 302133 HAS SOUS 80455 HAS SOUPS 80163 WITH SCORE 80465.511
AT ITER 2248 NEW BEST:: SOT 523394 SOS 302474 HAS SOPS 302096 HAS SOUS 80381 HAS SOUPS 80089 WITH SCORE 80391.474
AT ITER 2252 NEW BEST:: SOT 523394 SOS 302474 HAS SOPS 302096 HAS SOUS 80367 HAS SOUPS 80075 WITH SCORE 80377.474
AT ITER 2264 NEW BEST:: SOT 523394 SOS 302456 HAS SOPS 302078 HAS SOUS 80349 HAS SOUPS 80057 WITH SCORE 80359.456
AT ITER 2277 NEW BEST:: SOT 523436 SOS 302328 HAS SOPS 301950 HAS SOUS 80263 HAS SOUPS 79971 WITH SCORE 80273.328
AT ITER 2283 NEW BEST:: SOT 523394 SOS 302177 HAS SOPS 301799 HAS SOUS 79964 HAS SOUPS 79672 WITH SCORE 79974.177
AT ITER 2294 NEW BEST:: SOT 523394 SOS 302072 HAS SOPS 301694 HAS SOUS 79964 HAS SOUPS 79672 WITH SCORE 79974.072
AT ITER 2296 NEW BEST:: SOT 523353 SOS 302031 HAS SOPS 301653 HAS SOUS 79961 HAS SOUPS 79669 WITH SCORE 79971.031
AT ITER 2300 NEW BEST:: SOT 523339 SOS 302017 HAS SOPS 301639 HAS SOUS 79947 HAS SOUPS 79655 WITH SCORE 79957.017
AT ITER 2308 NEW BEST:: SOT 523323 SOS 302001 HAS SOPS 301623 HAS SOUS 79923 HAS SOUPS 79631 WITH SCORE 79933.001
AT ITER 2321 NEW BEST:: SOT 523289 SOS 301933 HAS SOPS 301555 HAS SOUS 79855 HAS SOUPS 79563 WITH SCORE 79864.933
AT ITER 2375 NEW BEST:: SOT 523305 SOS 301821 HAS SOPS 301443 HAS SOUS 79855 HAS SOUPS 79563 WITH SCORE 79864.821
AT ITER 2394 NEW BEST:: SOT 523303 SOS 301819 HAS SOPS 301441 HAS SOUS 79851 HAS SOUPS 79559 WITH SCORE 79860.819
AT ITER 2416 NEW BEST:: SOT 523216 SOS 301732 HAS SOPS 301354 HAS SOUS 79762 HAS SOUPS 79470 WITH SCORE 79771.732
AT ITER 2431 NEW BEST:: SOT 523126 SOS 301642 HAS SOPS 301264 HAS SOUS 79662 HAS SOUPS 79370 WITH SCORE 79671.642
AT ITER 2443 NEW BEST:: SOT 523113 SOS 301629 HAS SOPS 301251 HAS SOUS 79647 HAS SOUPS 79355 WITH SCORE 79656.629
AT ITER 2451 NEW BEST:: SOT 523112 SOS 301620 HAS SOPS 301242 HAS SOUS 79646 HAS SOUPS 79354 WITH SCORE 79655.62
AT ITER 2455 NEW BEST:: SOT 523095 SOS 301603 HAS SOPS 301225 HAS SOUS 79614 HAS SOUPS 79322 WITH SCORE 79623.603
AT ITER 2457 NEW BEST:: SOT 523082 SOS 301437 HAS SOPS 301059 HAS SOUS 79608 HAS SOUPS 79316 WITH SCORE 79617.437
AT ITER 2462 NEW BEST:: SOT 523072 SOS 301427 HAS SOPS 301049 HAS SOUS 79588 HAS SOUPS 79296 WITH SCORE 79597.427
AT ITER 2464 NEW BEST:: SOT 523062 SOS 301218 HAS SOPS 300840 HAS SOUS 79578 HAS SOUPS 79286 WITH SCORE 79587.218
AT ITER 2477 NEW BEST:: SOT 523059 SOS 301215 HAS SOPS 300837 HAS SOUS 79541 HAS SOUPS 79249 WITH SCORE 79550.215
AT ITER 2502 NEW BEST:: SOT 523045 SOS 301187 HAS SOPS 300809 HAS SOUS 79501 HAS SOUPS 79209 WITH SCORE 79510.187
AT ITER 2550 NEW BEST:: SOT 523045 SOS 301187 HAS SOPS 300732 HAS SOUS 79501 HAS SOUPS 79132 WITH SCORE 79433.187
AT ITER 2557 NEW BEST:: SOT 523029 SOS 301171 HAS SOPS 300716 HAS SOUS 79480 HAS SOUPS 79111 WITH SCORE 79412.171
AT ITER 2573 NEW BEST:: SOT 523029 SOS 300793 HAS SOPS 300338 HAS SOUS 79480 HAS SOUPS 79111 WITH SCORE 79411.793
AT ITER 2603 NEW BEST:: SOT 523025 SOS 300785 HAS SOPS 300330 HAS SOUS 79464 HAS SOUPS 79095 WITH SCORE 79395.785
AT ITER 2605 NEW BEST:: SOT 522989 SOS 300713 HAS SOPS 300258 HAS SOUS 79392 HAS SOUPS 79023 WITH SCORE 79323.713
AT ITER 2611 NEW BEST:: SOT 522968 SOS 300671 HAS SOPS 300216 HAS SOUS 79350 HAS SOUPS 78981 WITH SCORE 79281.671
AT ITER 2612 NEW BEST:: SOT 522067 SOS 299770 HAS SOPS 299315 HAS SOUS 79263 HAS SOUPS 78894 WITH SCORE 79193.77
AT ITER 2624 NEW BEST:: SOT 522061 SOS 299758 HAS SOPS 299303 HAS SOUS 79257 HAS SOUPS 78888 WITH SCORE 79187.758
AT ITER 2642 NEW BEST:: SOT 522050 SOS 299736 HAS SOPS 299281 HAS SOUS 79235 HAS SOUPS 78866 WITH SCORE 79165.736
AT ITER 2681 NEW BEST:: SOT 522012 SOS 299660 HAS SOPS 299205 HAS SOUS 79197 HAS SOUPS 78828 WITH SCORE 79127.66
AT ITER 2708 NEW BEST:: SOT 522008 SOS 299656 HAS SOPS 299197 HAS SOUS 79193 HAS SOUPS 78820 WITH SCORE 79119.656
AT ITER 2743 NEW BEST:: SOT 522001 SOS 299642 HAS SOPS 299183 HAS SOUS 79180 HAS SOUPS 78807 WITH SCORE 79106.642
AT ITER 2744 NEW BEST:: SOT 522061 SOS 299702 HAS SOPS 299161 HAS SOUS 79242 HAS SOUPS 78787 WITH SCORE 79086.702
AT ITER 2746 NEW BEST:: SOT 522046 SOS 299294 HAS SOPS 298753 HAS SOUS 79238 HAS SOUPS 78783 WITH SCORE 79082.294
AT ITER 2749 NEW BEST:: SOT 522044 SOS 299292 HAS SOPS 298751 HAS SOUS 79236 HAS SOUPS 78781 WITH SCORE 79080.292
AT ITER 2760 NEW BEST:: SOT 522122 SOS 299123 HAS SOPS 298582 HAS SOUS 79214 HAS SOUPS 78759 WITH SCORE 79058.123
AT ITER 2763 NEW BEST:: SOT 522051 SOS 299052 HAS SOPS 298493 HAS SOUS 79161 HAS SOUPS 78688 WITH SCORE 78987.052
AT ITER 2766 NEW BEST:: SOT 521971 SOS 298892 HAS SOPS 298333 HAS SOUS 79057 HAS SOUPS 78584 WITH SCORE 78882.892
AT ITER 2772 NEW BEST:: SOT 521952 SOS 298873 HAS SOPS 298314 HAS SOUS 79019 HAS SOUPS 78546 WITH SCORE 78844.873
AT ITER 2773 NEW BEST:: SOT 521933 SOS 298835 HAS SOPS 298276 HAS SOUS 78981 HAS SOUPS 78508 WITH SCORE 78806.835
AT ITER 2774 NEW BEST:: SOT 521905 SOS 298681 HAS SOPS 298122 HAS SOUS 78939 HAS SOUPS 78466 WITH SCORE 78764.681
AT ITER 2776 NEW BEST:: SOT 521912 SOS 298688 HAS SOPS 298129 HAS SOUS 78933 HAS SOUPS 78460 WITH SCORE 78758.688
AT ITER 2777 NEW BEST:: SOT 521889 SOS 298642 HAS SOPS 298083 HAS SOUS 78900 HAS SOUPS 78427 WITH SCORE 78725.642
AT ITER 2785 NEW BEST:: SOT 521884 SOS 298607 HAS SOPS 298042 HAS SOUS 78879 HAS SOUPS 78400 WITH SCORE 78698.607
AT ITER 2812 NEW BEST:: SOT 521921 SOS 298644 HAS SOPS 298079 HAS SOUS 78874 HAS SOUPS 78395 WITH SCORE 78693.644
AT ITER 2827 NEW BEST:: SOT 521893 SOS 299057 HAS SOPS 298492 HAS SOUS 78846 HAS SOUPS 78367 WITH SCORE 78666.057
AT ITER 2839 NEW BEST:: SOT 521878 SOS 299042 HAS SOPS 298477 HAS SOUS 78831 HAS SOUPS 78352 WITH SCORE 78651.042
AT ITER 2864 NEW BEST:: SOT 521878 SOS 298952 HAS SOPS 298387 HAS SOUS 78821 HAS SOUPS 78342 WITH SCORE 78640.952
AT ITER 2867 NEW BEST:: SOT 520988 SOS 298062 HAS SOPS 297497 HAS SOUS 78811 HAS SOUPS 78332 WITH SCORE 78630.062
AT ITER 2880 NEW BEST:: SOT 520926 SOS 298000 HAS SOPS 297435 HAS SOUS 78787 HAS SOUPS 78308 WITH SCORE 78606.0
AT ITER 2921 NEW BEST:: SOT 520910 SOS 297968 HAS SOPS 297403 HAS SOUS 78771 HAS SOUPS 78292 WITH SCORE 78589.968
AT ITER 2928 NEW BEST:: SOT 520908 SOS 297966 HAS SOPS 297403 HAS SOUS 78769 HAS SOUPS 78292 WITH SCORE 78589.966
AT ITER 2930 NEW BEST:: SOT 520877 SOS 297868 HAS SOPS 297305 HAS SOUS 78707 HAS SOUPS 78230 WITH SCORE 78527.868
AT ITER 2947 NEW BEST:: SOT 520795 SOS 297786 HAS SOPS 297223 HAS SOUS 78611 HAS SOUPS 78134 WITH SCORE 78431.786
AT ITER 2955 NEW BEST:: SOT 520790 SOS 297781 HAS SOPS 297218 HAS SOUS 78605 HAS SOUPS 78128 WITH SCORE 78425.781
AT ITER 2967 NEW BEST:: SOT 520789 SOS 297780 HAS SOPS 297217 HAS SOUS 78603 HAS SOUPS 78126 WITH SCORE 78423.78
AT ITER 2969 NEW BEST:: SOT 520777 SOS 297882 HAS SOPS 297319 HAS SOUS 78578 HAS SOUPS 78101 WITH SCORE 78398.882
AT ITER 2978 NEW BEST:: SOT 520705 SOS 297810 HAS SOPS 297247 HAS SOUS 78478 HAS SOUPS 78001 WITH SCORE 78298.81
AT ITER 3031 NEW BEST:: SOT 520648 SOS 297753 HAS SOPS 297190 HAS SOUS 78421 HAS SOUPS 77944 WITH SCORE 78241.753
AT ITER 3049 NEW BEST:: SOT 520634 SOS 297725 HAS SOPS 297162 HAS SOUS 78400 HAS SOUPS 77923 WITH SCORE 78220.725
AT ITER 3069 NEW BEST:: SOT 520633 SOS 297724 HAS SOPS 297161 HAS SOUS 78398 HAS SOUPS 77921 WITH SCORE 78218.724
AT ITER 3072 NEW BEST:: SOT 520630 SOS 297721 HAS SOPS 297158 HAS SOUS 78395 HAS SOUPS 77918 WITH SCORE 78215.721
AT ITER 3076 NEW BEST:: SOT 520594 SOS 297649 HAS SOPS 297086 HAS SOUS 78333 HAS SOUPS 77856 WITH SCORE 78153.649
AT ITER 3079 NEW BEST:: SOT 520582 SOS 297576 HAS SOPS 297013 HAS SOUS 78316 HAS SOUPS 77839 WITH SCORE 78136.576
AT ITER 3081 NEW BEST:: SOT 520552 SOS 297786 HAS SOPS 297223 HAS SOUS 78294 HAS SOUPS 77817 WITH SCORE 78114.786
AT ITER 3084 NEW BEST:: SOT 520578 SOS 297706 HAS SOPS 297143 HAS SOUS 78240 HAS SOUPS 77763 WITH SCORE 78060.706
AT ITER 3085 NEW BEST:: SOT 520552 SOS 297680 HAS SOPS 297117 HAS SOUS 78240 HAS SOUPS 77763 WITH SCORE 78060.68
AT ITER 3103 NEW BEST:: SOT 520347 SOS 297532 HAS SOPS 296912 HAS SOUS 78208 HAS SOUPS 77674 WITH SCORE 77971.532
AT ITER 3105 NEW BEST:: SOT 520309 SOS 297126 HAS SOPS 296506 HAS SOUS 78154 HAS SOUPS 77620 WITH SCORE 77917.126
AT ITER 3143 NEW BEST:: SOT 520283 SOS 297074 HAS SOPS 296454 HAS SOUS 78102 HAS SOUPS 77568 WITH SCORE 77865.074
AT ITER 3148 NEW BEST:: SOT 520208 SOS 296924 HAS SOPS 296304 HAS SOUS 77999 HAS SOUPS 77465 WITH SCORE 77761.924
AT ITER 3158 NEW BEST:: SOT 520209 SOS 296925 HAS SOPS 296305 HAS SOUS 77981 HAS SOUPS 77447 WITH SCORE 77743.925
AT ITER 3170 NEW BEST:: SOT 520198 SOS 297176 HAS SOPS 296556 HAS SOUS 77959 HAS SOUPS 77425 WITH SCORE 77722.176
AT ITER 3199 NEW BEST:: SOT 520236 SOS 296938 HAS SOPS 296318 HAS SOUS 77953 HAS SOUPS 77419 WITH SCORE 77715.938
AT ITER 3235 NEW BEST:: SOT 520233 SOS 296935 HAS SOPS 296315 HAS SOUS 77947 HAS SOUPS 77413 WITH SCORE 77709.935
AT ITER 3250 NEW BEST:: SOT 520490 SOS 297192 HAS SOPS 296572 HAS SOUS 77922 HAS SOUPS 77388 WITH SCORE 77685.192
AT ITER 3253 NEW BEST:: SOT 520484 SOS 297138 HAS SOPS 296518 HAS SOUS 77916 HAS SOUPS 77382 WITH SCORE 77679.138
AT ITER 3265 NEW BEST:: SOT 520480 SOS 297134 HAS SOPS 296514 HAS SOUS 77908 HAS SOUPS 77374 WITH SCORE 77671.134
AT ITER 3267 NEW BEST:: SOT 520468 SOS 297218 HAS SOPS 296598 HAS SOUS 77896 HAS SOUPS 77362 WITH SCORE 77659.218
AT ITER 3270 NEW BEST:: SOT 520465 SOS 297212 HAS SOPS 296592 HAS SOUS 77893 HAS SOUPS 77359 WITH SCORE 77656.212
AT ITER 3282 NEW BEST:: SOT 520457 SOS 297140 HAS SOPS 296520 HAS SOUS 77885 HAS SOUPS 77351 WITH SCORE 77648.14
AT ITER 3310 NEW BEST:: SOT 520455 SOS 297138 HAS SOPS 296518 HAS SOUS 77883 HAS SOUPS 77349 WITH SCORE 77646.138
AT ITER 3338 NEW BEST:: SOT 520413 SOS 297096 HAS SOPS 296476 HAS SOUS 77820 HAS SOUPS 77286 WITH SCORE 77583.096
AT ITER 3351 NEW BEST:: SOT 520237 SOS 296920 HAS SOPS 296300 HAS SOUS 77803 HAS SOUPS 77269 WITH SCORE 77565.92
AT ITER 3440 NEW BEST:: SOT 520342 SOS 297026 HAS SOPS 296412 HAS SOUS 77789 HAS SOUPS 77261 WITH SCORE 77558.026
AT ITER 3475 NEW BEST:: SOT 520322 SOS 297006 HAS SOPS 296392 HAS SOUS 77749 HAS SOUPS 77221 WITH SCORE 77518.006
AT ITER 3476 NEW BEST:: SOT 520318 SOS 296998 HAS SOPS 296384 HAS SOUS 77735 HAS SOUPS 77207 WITH SCORE 77503.998
AT ITER 3478 NEW BEST:: SOT 520288 SOS 296973 HAS SOPS 296359 HAS SOUS 77710 HAS SOUPS 77182 WITH SCORE 77478.973
AT ITER 3482 NEW BEST:: SOT 520277 SOS 296951 HAS SOPS 296337 HAS SOUS 77688 HAS SOUPS 77160 WITH SCORE 77456.951
AT ITER 3512 NEW BEST:: SOT 520258 SOS 296913 HAS SOPS 296299 HAS SOUS 77669 HAS SOUPS 77141 WITH SCORE 77437.913
AT ITER 3513 NEW BEST:: SOT 520232 SOS 296861 HAS SOPS 296247 HAS SOUS 77618 HAS SOUPS 77090 WITH SCORE 77386.861
AT ITER 3515 NEW BEST:: SOT 520191 SOS 296408 HAS SOPS 295794 HAS SOUS 77589 HAS SOUPS 77061 WITH SCORE 77357.408
AT ITER 3524 NEW BEST:: SOT 520176 SOS 296378 HAS SOPS 295764 HAS SOUS 77557 HAS SOUPS 77029 WITH SCORE 77325.378
AT ITER 3548 NEW BEST:: SOT 520183 SOS 296385 HAS SOPS 295771 HAS SOUS 77535 HAS SOUPS 77007 WITH SCORE 77303.385
AT ITER 3590 NEW BEST:: SOT 520179 SOS 296381 HAS SOPS 295767 HAS SOUS 77527 HAS SOUPS 76999 WITH SCORE 77295.381
AT ITER 3591 NEW BEST:: SOT 520170 SOS 296372 HAS SOPS 295758 HAS SOUS 77509 HAS SOUPS 76981 WITH SCORE 77277.372
AT ITER 3601 NEW BEST:: SOT 520090 SOS 296995 HAS SOPS 296381 HAS SOUS 77506 HAS SOUPS 76978 WITH SCORE 77274.995
AT ITER 3618 NEW BEST:: SOT 520075 SOS 296980 HAS SOPS 296366 HAS SOUS 77491 HAS SOUPS 76963 WITH SCORE 77259.98
AT ITER 3620 NEW BEST:: SOT 520105 SOS 296969 HAS SOPS 296304 HAS SOUS 77501 HAS SOUPS 76922 WITH SCORE 77218.969
AT ITER 3641 NEW BEST:: SOT 519999 SOS 296849 HAS SOPS 296198 HAS SOUS 77483 HAS SOUPS 76911 WITH SCORE 77207.849
AT ITER 3653 NEW BEST:: SOT 519998 SOS 296847 HAS SOPS 296196 HAS SOUS 77474 HAS SOUPS 76902 WITH SCORE 77198.847
AT ITER 3663 NEW BEST:: SOT 520015 SOS 297301 HAS SOPS 296650 HAS SOUS 77469 HAS SOUPS 76897 WITH SCORE 77194.301
AT ITER 3678 NEW BEST:: SOT 520014 SOS 297299 HAS SOPS 296648 HAS SOUS 77467 HAS SOUPS 76895 WITH SCORE 77192.299
AT ITER 3683 NEW BEST:: SOT 519991 SOS 297276 HAS SOPS 296625 HAS SOUS 77421 HAS SOUPS 76849 WITH SCORE 77146.276
AT ITER 3684 NEW BEST:: SOT 519982 SOS 297258 HAS SOPS 296607 HAS SOUS 77403 HAS SOUPS 76831 WITH SCORE 77128.258
AT ITER 3693 NEW BEST:: SOT 519972 SOS 297238 HAS SOPS 296587 HAS SOUS 77383 HAS SOUPS 76811 WITH SCORE 77108.238
AT ITER 3708 NEW BEST:: SOT 519972 SOS 297238 HAS SOPS 296587 HAS SOUS 77366 HAS SOUPS 76794 WITH SCORE 77091.238
AT ITER 3756 NEW BEST:: SOT 519916 SOS 297182 HAS SOPS 296531 HAS SOUS 77303 HAS SOUPS 76731 WITH SCORE 77028.182
AT ITER 3787 NEW BEST:: SOT 519916 SOS 296916 HAS SOPS 296265 HAS SOUS 77303 HAS SOUPS 76731 WITH SCORE 77027.916
AT ITER 3790 NEW BEST:: SOT 519911 SOS 296911 HAS SOPS 296260 HAS SOUS 77288 HAS SOUPS 76716 WITH SCORE 77012.911
AT ITER 3803 NEW BEST:: SOT 519905 SOS 296905 HAS SOPS 296254 HAS SOUS 77276 HAS SOUPS 76704 WITH SCORE 77000.905
AT ITER 3806 NEW BEST:: SOT 519838 SOS 296838 HAS SOPS 296293 HAS SOUS 77012 HAS SOUPS 76546 WITH SCORE 76842.838
AT ITER 3807 NEW BEST:: SOT 519796 SOS 296548 HAS SOPS 296003 HAS SOUS 76964 HAS SOUPS 76498 WITH SCORE 76794.548
AT ITER 3841 NEW BEST:: SOT 519796 SOS 296388 HAS SOPS 295843 HAS SOUS 76956 HAS SOUPS 76490 WITH SCORE 76786.388
AT ITER 3869 NEW BEST:: SOT 519776 SOS 296033 HAS SOPS 295488 HAS SOUS 76936 HAS SOUPS 76470 WITH SCORE 76766.033
AT ITER 3916 NEW BEST:: SOT 519764 SOS 296003 HAS SOPS 295458 HAS SOUS 76912 HAS SOUPS 76446 WITH SCORE 76742.003
AT ITER 3925 NEW BEST:: SOT 519764 SOS 296003 HAS SOPS 295458 HAS SOUS 76897 HAS SOUPS 76431 WITH SCORE 76727.003
AT ITER 3967 NEW BEST:: SOT 520953 SOS 297192 HAS SOPS 296647 HAS SOUS 76805 HAS SOUPS 76339 WITH SCORE 76636.192
AT ITER 3980 NEW BEST:: SOT 520949 SOS 297188 HAS SOPS 296643 HAS SOUS 76801 HAS SOUPS 76335 WITH SCORE 76632.188
AT ITER 3983 NEW BEST:: SOT 520460 SOS 297158 HAS SOPS 296154 HAS SOUS 76714 HAS SOUPS 76033 WITH SCORE 76330.158
AT ITER 3997 NEW BEST:: SOT 520459 SOS 297156 HAS SOPS 296152 HAS SOUS 76712 HAS SOUPS 76031 WITH SCORE 76328.156
AT ITER 4012 NEW BEST:: SOT 520359 SOS 297696 HAS SOPS 296663 HAS SOUS 76694 HAS SOUPS 76013 WITH SCORE 76310.696
AT ITER 4041 NEW BEST:: SOT 520350 SOS 297678 HAS SOPS 296645 HAS SOUS 76682 HAS SOUPS 76001 WITH SCORE 76298.678
AT ITER 4056 NEW BEST:: SOT 520350 SOS 297677 HAS SOPS 296644 HAS SOUS 76682 HAS SOUPS 76001 WITH SCORE 76298.677
AT ITER 4068 NEW BEST:: SOT 520322 SOS 297649 HAS SOPS 296616 HAS SOUS 76630 HAS SOUPS 75949 WITH SCORE 76246.649
AT ITER 4070 NEW BEST:: SOT 520274 SOS 297430 HAS SOPS 296520 HAS SOUS 76471 HAS SOUPS 75891 WITH SCORE 76188.43
AT ITER 4085 NEW BEST:: SOT 520238 SOS 297394 HAS SOPS 296484 HAS SOUS 76427 HAS SOUPS 75847 WITH SCORE 76144.394
AT ITER 4109 NEW BEST:: SOT 520227 SOS 297372 HAS SOPS 296462 HAS SOUS 76405 HAS SOUPS 75825 WITH SCORE 76122.372
AT ITER 4112 NEW BEST:: SOT 520223 SOS 297368 HAS SOPS 296458 HAS SOUS 76401 HAS SOUPS 75821 WITH SCORE 76118.368
AT ITER 4114 NEW BEST:: SOT 520223 SOS 297308 HAS SOPS 296398 HAS SOUS 76401 HAS SOUPS 75821 WITH SCORE 76118.308
AT ITER 4125 NEW BEST:: SOT 520001 SOS 297168 HAS SOPS 296286 HAS SOUS 76179 HAS SOUPS 75599 WITH SCORE 75896.168
AT ITER 4140 NEW BEST:: SOT 519995 SOS 297100 HAS SOPS 296218 HAS SOUS 76175 HAS SOUPS 75595 WITH SCORE 75892.1
AT ITER 4141 NEW BEST:: SOT 519977 SOS 297064 HAS SOPS 296182 HAS SOUS 76139 HAS SOUPS 75559 WITH SCORE 75856.064
AT ITER 4180 NEW BEST:: SOT 519986 SOS 284494 HAS SOPS 283612 HAS SOUS 76043 HAS SOUPS 75463 WITH SCORE 75747.494
AT ITER 4186 NEW BEST:: SOT 519971 SOS 284584 HAS SOPS 283702 HAS SOUS 76013 HAS SOUPS 75433 WITH SCORE 75717.584
AT ITER 4196 NEW BEST:: SOT 519965 SOS 284194 HAS SOPS 283555 HAS SOUS 75909 HAS SOUPS 75378 WITH SCORE 75662.194
AT ITER 4219 NEW BEST:: SOT 519964 SOS 284193 HAS SOPS 283554 HAS SOUS 75908 HAS SOUPS 75377 WITH SCORE 75661.193
AT ITER 4231 NEW BEST:: SOT 519949 SOS 284163 HAS SOPS 283524 HAS SOUS 75878 HAS SOUPS 75347 WITH SCORE 75631.163
AT ITER 4235 NEW BEST:: SOT 519932 SOS 284146 HAS SOPS 283507 HAS SOUS 75844 HAS SOUPS 75313 WITH SCORE 75597.146
AT ITER 4249 NEW BEST:: SOT 519907 SOS 284096 HAS SOPS 283457 HAS SOUS 75794 HAS SOUPS 75263 WITH SCORE 75547.096
AT ITER 4252 NEW BEST:: SOT 519843 SOS 284032 HAS SOPS 283364 HAS SOUS 75717 HAS SOUPS 75157 WITH SCORE 75441.032
AT ITER 4275 NEW BEST:: SOT 519819 SOS 283936 HAS SOPS 283268 HAS SOUS 75685 HAS SOUPS 75125 WITH SCORE 75408.936
AT ITER 4290 NEW BEST:: SOT 519792 SOS 284062 HAS SOPS 283394 HAS SOUS 75639 HAS SOUPS 75079 WITH SCORE 75363.062
AT ITER 4304 NEW BEST:: SOT 519766 SOS 283695 HAS SOPS 283027 HAS SOUS 75613 HAS SOUPS 75053 WITH SCORE 75336.695
AT ITER 4310 NEW BEST:: SOT 519756 SOS 283685 HAS SOPS 283017 HAS SOUS 75593 HAS SOUPS 75033 WITH SCORE 75316.685
AT ITER 4313 NEW BEST:: SOT 519751 SOS 283675 HAS SOPS 283007 HAS SOUS 75588 HAS SOUPS 75028 WITH SCORE 75311.675
AT ITER 4320 NEW BEST:: SOT 519751 SOS 283665 HAS SOPS 282997 HAS SOUS 75588 HAS SOUPS 75028 WITH SCORE 75311.665
AT ITER 4342 NEW BEST:: SOT 519744 SOS 283658 HAS SOPS 282990 HAS SOUS 75574 HAS SOUPS 75014 WITH SCORE 75297.658
AT ITER 4347 NEW BEST:: SOT 519536 SOS 283480 HAS SOPS 282978 HAS SOUS 75312 HAS SOUPS 74908 WITH SCORE 75191.48
AT ITER 4353 NEW BEST:: SOT 519537 SOS 283545 HAS SOPS 283043 HAS SOUS 75305 HAS SOUPS 74901 WITH SCORE 75184.545
AT ITER 4356 NEW BEST:: SOT 519524 SOS 283532 HAS SOPS 283030 HAS SOUS 75279 HAS SOUPS 74875 WITH SCORE 75158.532
AT ITER 4380 NEW BEST:: SOT 519481 SOS 282480 HAS SOPS 281978 HAS SOUS 75229 HAS SOUPS 74825 WITH SCORE 75107.48
AT ITER 4387 NEW BEST:: SOT 519473 SOS 282472 HAS SOPS 281970 HAS SOUS 75217 HAS SOUPS 74813 WITH SCORE 75095.472
AT ITER 4398 NEW BEST:: SOT 519463 SOS 282462 HAS SOPS 281960 HAS SOUS 75217 HAS SOUPS 74813 WITH SCORE 75095.462
AT ITER 4431 NEW BEST:: SOT 519508 SOS 282510 HAS SOPS 282008 HAS SOUS 75166 HAS SOUPS 74762 WITH SCORE 75044.51
AT ITER 4436 NEW BEST:: SOT 519475 SOS 282669 HAS SOPS 282167 HAS SOUS 75158 HAS SOUPS 74754 WITH SCORE 75036.669
AT ITER 4437 NEW BEST:: SOT 519475 SOS 281769 HAS SOPS 281267 HAS SOUS 75058 HAS SOUPS 74654 WITH SCORE 74935.769
AT ITER 4496 NEW BEST:: SOT 519475 SOS 281342 HAS SOPS 280840 HAS SOUS 75058 HAS SOUPS 74654 WITH SCORE 74935.342
AT ITER 4530 NEW BEST:: SOT 519484 SOS 281351 HAS SOPS 280849 HAS SOUS 75018 HAS SOUPS 74614 WITH SCORE 74895.351
AT ITER 4542 NEW BEST:: SOT 519467 SOS 281353 HAS SOPS 280834 HAS SOUS 75001 HAS SOUPS 74597 WITH SCORE 74878.353
AT ITER 4546 NEW BEST:: SOT 519431 SOS 281231 HAS SOPS 280712 HAS SOUS 74983 HAS SOUPS 74579 WITH SCORE 74860.231
AT ITER 4549 NEW BEST:: SOT 519403 SOS 281700 HAS SOPS 281181 HAS SOUS 74949 HAS SOUPS 74545 WITH SCORE 74826.7
AT ITER 4633 NEW BEST:: SOT 519386 SOS 281683 HAS SOPS 281164 HAS SOUS 74915 HAS SOUPS 74511 WITH SCORE 74792.683
AT ITER 4647 NEW BEST:: SOT 519375 SOS 281672 HAS SOPS 281153 HAS SOUS 74893 HAS SOUPS 74489 WITH SCORE 74770.672
AT ITER 4680 NEW BEST:: SOT 519378 SOS 281642 HAS SOPS 281123 HAS SOUS 74879 HAS SOUPS 74475 WITH SCORE 74756.642
AT ITER 4690 NEW BEST:: SOT 518106 SOS 280370 HAS SOPS 279851 HAS SOUS 74837 HAS SOUPS 74433 WITH SCORE 74713.37
AT ITER 4691 NEW BEST:: SOT 518076 SOS 280310 HAS SOPS 279791 HAS SOUS 74800 HAS SOUPS 74396 WITH SCORE 74676.31
AT ITER 4708 NEW BEST:: SOT 518076 SOS 280310 HAS SOPS 279791 HAS SOUS 74794 HAS SOUPS 74390 WITH SCORE 74670.31
AT ITER 4724 NEW BEST:: SOT 518072 SOS 280274 HAS SOPS 279755 HAS SOUS 74786 HAS SOUPS 74382 WITH SCORE 74662.274
AT ITER 4776 NEW BEST:: SOT 519100 SOS 281302 HAS SOPS 280783 HAS SOUS 74771 HAS SOUPS 74367 WITH SCORE 74648.302
AT ITER 4779 NEW BEST:: SOT 519100 SOS 281239 HAS SOPS 280720 HAS SOUS 74771 HAS SOUPS 74367 WITH SCORE 74648.239
AT ITER 4782 NEW BEST:: SOT 519100 SOS 281194 HAS SOPS 280675 HAS SOUS 74766 HAS SOUPS 74362 WITH SCORE 74643.194
AT ITER 4813 NEW BEST:: SOT 519092 SOS 281186 HAS SOPS 280667 HAS SOUS 74764 HAS SOUPS 74360 WITH SCORE 74641.186
AT ITER 4815 NEW BEST:: SOT 519098 SOS 281164 HAS SOPS 280645 HAS SOUS 74748 HAS SOUPS 74344 WITH SCORE 74625.164
AT ITER 4816 NEW BEST:: SOT 519087 SOS 281576 HAS SOPS 281057 HAS SOUS 74726 HAS SOUPS 74322 WITH SCORE 74603.576
AT ITER 4821 NEW BEST:: SOT 519087 SOS 281576 HAS SOPS 281057 HAS SOUS 74725 HAS SOUPS 74321 WITH SCORE 74602.576
AT ITER 4827 NEW BEST:: SOT 519048 SOS 281537 HAS SOPS 281018 HAS SOUS 74725 HAS SOUPS 74321 WITH SCORE 74602.537
AT ITER 4839 NEW BEST:: SOT 519048 SOS 281531 HAS SOPS 281012 HAS SOUS 74722 HAS SOUPS 74318 WITH SCORE 74599.531
AT ITER 4889 NEW BEST:: SOT 518993 SOS 281476 HAS SOPS 280957 HAS SOUS 74667 HAS SOUPS 74263 WITH SCORE 74544.476
AT ITER 4905 NEW BEST:: SOT 518980 SOS 281450 HAS SOPS 280931 HAS SOUS 74641 HAS SOUPS 74237 WITH SCORE 74518.45
AT ITER 4921 NEW BEST:: SOT 518939 SOS 281433 HAS SOPS 280866 HAS SOUS 74672 HAS SOUPS 74220 WITH SCORE 74501.433
AT ITER 4930 NEW BEST:: SOT 518929 SOS 281380 HAS SOPS 280846 HAS SOUS 74599 HAS SOUPS 74209 WITH SCORE 74490.38
AT ITER 4953 NEW BEST:: SOT 518930 SOS 281335 HAS SOPS 280847 HAS SOUS 74541 HAS SOUPS 74185 WITH SCORE 74466.335
AT ITER 4967 NEW BEST:: SOT 518909 SOS 281314 HAS SOPS 280826 HAS SOUS 74494 HAS SOUPS 74138 WITH SCORE 74419.314
AT ITER 4986 NEW BEST:: SOT 518791 SOS 281196 HAS SOPS 280708 HAS SOUS 74310 HAS SOUPS 73954 WITH SCORE 74235.196
AT ITER 5029 NEW BEST:: SOT 518787 SOS 281192 HAS SOPS 280704 HAS SOUS 74302 HAS SOUPS 73946 WITH SCORE 74227.192
AT ITER 5044 NEW BEST:: SOT 518785 SOS 281181 HAS SOPS 280693 HAS SOUS 74299 HAS SOUPS 73943 WITH SCORE 74224.181
AT ITER 5059 NEW BEST:: SOT 518778 SOS 281174 HAS SOPS 280686 HAS SOUS 74292 HAS SOUPS 73936 WITH SCORE 74217.174
AT ITER 5100 NEW BEST:: SOT 518772 SOS 281168 HAS SOPS 280680 HAS SOUS 74280 HAS SOUPS 73924 WITH SCORE 74205.168
AT ITER 5107 NEW BEST:: SOT 518771 SOS 280866 HAS SOPS 280378 HAS SOUS 74279 HAS SOUPS 73923 WITH SCORE 74203.866
AT ITER 5112 NEW BEST:: SOT 518768 SOS 280863 HAS SOPS 280375 HAS SOUS 74276 HAS SOUPS 73920 WITH SCORE 74200.863
AT ITER 5116 NEW BEST:: SOT 518764 SOS 280855 HAS SOPS 280367 HAS SOUS 74268 HAS SOUPS 73912 WITH SCORE 74192.855
AT ITER 5118 NEW BEST:: SOT 518749 SOS 280840 HAS SOPS 280367 HAS SOUS 74253 HAS SOUPS 73897 WITH SCORE 74177.84
AT ITER 5119 NEW BEST:: SOT 518760 SOS 280851 HAS SOPS 280378 HAS SOUS 74252 HAS SOUPS 73896 WITH SCORE 74176.851
AT ITER 5135 NEW BEST:: SOT 518760 SOS 280840 HAS SOPS 280367 HAS SOUS 74241 HAS SOUPS 73885 WITH SCORE 74165.84
AT ITER 5139 NEW BEST:: SOT 518748 SOS 280828 HAS SOPS 280355 HAS SOUS 74213 HAS SOUPS 73857 WITH SCORE 74137.828
AT ITER 5180 NEW BEST:: SOT 518750 SOS 280773 HAS SOPS 280274 HAS SOUS 74132 HAS SOUPS 73776 WITH SCORE 74056.773
AT ITER 5182 NEW BEST:: SOT 518708 SOS 281067 HAS SOPS 280568 HAS SOUS 74093 HAS SOUPS 73737 WITH SCORE 74018.067
AT ITER 5234 NEW BEST:: SOT 518681 SOS 280824 HAS SOPS 280325 HAS SOUS 74066 HAS SOUPS 73710 WITH SCORE 73990.824
AT ITER 5248 NEW BEST:: SOT 518680 SOS 280731 HAS SOPS 280232 HAS SOUS 74065 HAS SOUPS 73709 WITH SCORE 73989.731
AT ITER 5251 NEW BEST:: SOT 518657 SOS 280685 HAS SOPS 280186 HAS SOUS 74019 HAS SOUPS 73663 WITH SCORE 73943.685
AT ITER 5252 NEW BEST:: SOT 518640 SOS 280668 HAS SOPS 280169 HAS SOUS 74014 HAS SOUPS 73658 WITH SCORE 73938.668
AT ITER 5274 NEW BEST:: SOT 518638 SOS 280652 HAS SOPS 280153 HAS SOUS 74004 HAS SOUPS 73648 WITH SCORE 73928.652
AT ITER 5276 NEW BEST:: SOT 518599 SOS 280613 HAS SOPS 280114 HAS SOUS 73918 HAS SOUPS 73562 WITH SCORE 73842.613
AT ITER 5315 NEW BEST:: SOT 518598 SOS 280611 HAS SOPS 280112 HAS SOUS 73905 HAS SOUPS 73549 WITH SCORE 73829.611
AT ITER 5405 NEW BEST:: SOT 518595 SOS 280689 HAS SOPS 280190 HAS SOUS 73902 HAS SOUPS 73546 WITH SCORE 73826.689
AT ITER 5413 NEW BEST:: SOT 518516 SOS 280731 HAS SOPS 280232 HAS SOUS 73895 HAS SOUPS 73539 WITH SCORE 73819.731
AT ITER 5416 NEW BEST:: SOT 518497 SOS 280712 HAS SOPS 280213 HAS SOUS 73857 HAS SOUPS 73501 WITH SCORE 73781.712
AT ITER 5439 NEW BEST:: SOT 518474 SOS 280666 HAS SOPS 280167 HAS SOUS 73828 HAS SOUPS 73472 WITH SCORE 73752.666
AT ITER 5443 NEW BEST:: SOT 518437 SOS 280629 HAS SOPS 280130 HAS SOUS 73782 HAS SOUPS 73426 WITH SCORE 73706.629
AT ITER 5460 NEW BEST:: SOT 518447 SOS 280603 HAS SOPS 280104 HAS SOUS 73762 HAS SOUPS 73406 WITH SCORE 73686.603
AT ITER 5463 NEW BEST:: SOT 518446 SOS 280601 HAS SOPS 280102 HAS SOUS 73760 HAS SOUPS 73404 WITH SCORE 73684.601
AT ITER 5478 NEW BEST:: SOT 518453 SOS 280608 HAS SOPS 280109 HAS SOUS 73756 HAS SOUPS 73400 WITH SCORE 73680.608
AT ITER 5535 NEW BEST:: SOT 518444 SOS 280590 HAS SOPS 280091 HAS SOUS 73747 HAS SOUPS 73391 WITH SCORE 73671.59
AT ITER 5560 NEW BEST:: SOT 518444 SOS 280560 HAS SOPS 280061 HAS SOUS 73747 HAS SOUPS 73391 WITH SCORE 73671.56
AT ITER 5580 NEW BEST:: SOT 518444 SOS 280538 HAS SOPS 280039 HAS SOUS 73740 HAS SOUPS 73384 WITH SCORE 73664.538
AT ITER 5644 NEW BEST:: SOT 518444 SOS 280538 HAS SOPS 280039 HAS SOUS 73727 HAS SOUPS 73371 WITH SCORE 73651.538
AT ITER 5673 NEW BEST:: SOT 518390 SOS 280466 HAS SOPS 279967 HAS SOUS 73638 HAS SOUPS 73282 WITH SCORE 73562.466
AT ITER 5696 NEW BEST:: SOT 518060 SOS 280136 HAS SOPS 279637 HAS SOUS 73628 HAS SOUPS 73272 WITH SCORE 73552.136
AT ITER 5708 NEW BEST:: SOT 518054 SOS 280026 HAS SOPS 279527 HAS SOUS 73622 HAS SOUPS 73266 WITH SCORE 73546.026
AT ITER 5748 NEW BEST:: SOT 517974 SOS 281764 HAS SOPS 280928 HAS SOUS 73703 HAS SOUPS 73196 WITH SCORE 73477.764
AT ITER 5781 NEW BEST:: SOT 517937 SOS 280794 HAS SOPS 279958 HAS SOUS 73655 HAS SOUPS 73148 WITH SCORE 73428.794
AT ITER 5788 NEW BEST:: SOT 517838 SOS 280543 HAS SOPS 279707 HAS SOUS 73528 HAS SOUPS 73021 WITH SCORE 73301.543
AT ITER 5798 NEW BEST:: SOT 517838 SOS 280183 HAS SOPS 279347 HAS SOUS 73488 HAS SOUPS 72981 WITH SCORE 73261.183
AT ITER 5801 NEW BEST:: SOT 517986 SOS 280331 HAS SOPS 279507 HAS SOUS 73439 HAS SOUPS 72932 WITH SCORE 73212.331
AT ITER 5809 NEW BEST:: SOT 517962 SOS 280307 HAS SOPS 279483 HAS SOUS 73430 HAS SOUPS 72923 WITH SCORE 73203.307
AT ITER 5816 NEW BEST:: SOT 517963 SOS 280407 HAS SOPS 279583 HAS SOUS 73429 HAS SOUPS 72922 WITH SCORE 73202.407
AT ITER 5819 NEW BEST:: SOT 517962 SOS 280405 HAS SOPS 279581 HAS SOUS 73428 HAS SOUPS 72921 WITH SCORE 73201.405
AT ITER 5820 NEW BEST:: SOT 517935 SOS 280378 HAS SOPS 279554 HAS SOUS 73374 HAS SOUPS 72867 WITH SCORE 73147.378
AT ITER 5823 NEW BEST:: SOT 517316 SOS 279759 HAS SOPS 278935 HAS SOUS 73325 HAS SOUPS 72818 WITH SCORE 73097.759
AT ITER 5824 NEW BEST:: SOT 517316 SOS 279759 HAS SOPS 278935 HAS SOUS 73318 HAS SOUPS 72811 WITH SCORE 73090.759
AT ITER 5825 NEW BEST:: SOT 517289 SOS 279705 HAS SOPS 278881 HAS SOUS 73264 HAS SOUPS 72757 WITH SCORE 73036.705
AT ITER 5831 NEW BEST:: SOT 517285 SOS 279667 HAS SOPS 278843 HAS SOUS 73258 HAS SOUPS 72751 WITH SCORE 73030.667
AT ITER 5837 NEW BEST:: SOT 517106 SOS 278884 HAS SOPS 278060 HAS SOUS 72977 HAS SOUPS 72470 WITH SCORE 72748.884
AT ITER 5869 NEW BEST:: SOT 517097 SOS 278875 HAS SOPS 278051 HAS SOUS 72959 HAS SOUPS 72452 WITH SCORE 72730.875
AT ITER 5890 NEW BEST:: SOT 517097 SOS 278875 HAS SOPS 278041 HAS SOUS 72949 HAS SOUPS 72442 WITH SCORE 72720.875
AT ITER 5937 NEW BEST:: SOT 517085 SOS 278853 HAS SOPS 278019 HAS SOUS 72931 HAS SOUPS 72424 WITH SCORE 72702.853
AT ITER 5950 NEW BEST:: SOT 517061 SOS 278805 HAS SOPS 277971 HAS SOUS 72886 HAS SOUPS 72379 WITH SCORE 72657.805
AT ITER 5963 NEW BEST:: SOT 517041 SOS 278765 HAS SOPS 277931 HAS SOUS 72854 HAS SOUPS 72347 WITH SCORE 72625.765
AT ITER 5997 NEW BEST:: SOT 517041 SOS 278423 HAS SOPS 277589 HAS SOUS 72832 HAS SOUPS 72325 WITH SCORE 72603.423
AT ITER 6008 NEW BEST:: SOT 517041 SOS 278423 HAS SOPS 277589 HAS SOUS 72831 HAS SOUPS 72324 WITH SCORE 72602.423
AT ITER 6015 NEW BEST:: SOT 517014 SOS 278324 HAS SOPS 277490 HAS SOUS 72778 HAS SOUPS 72271 WITH SCORE 72549.324
AT ITER 6028 NEW BEST:: SOT 516992 SOS 278302 HAS SOPS 277490 HAS SOUS 72756 HAS SOUPS 72249 WITH SCORE 72527.302
AT ITER 6042 NEW BEST:: SOT 516982 SOS 278292 HAS SOPS 277480 HAS SOUS 72746 HAS SOUPS 72239 WITH SCORE 72517.292
AT ITER 6050 NEW BEST:: SOT 516958 SOS 277950 HAS SOPS 277138 HAS SOUS 72737 HAS SOUPS 72230 WITH SCORE 72507.95
AT ITER 6051 NEW BEST:: SOT 516958 SOS 277908 HAS SOPS 277096 HAS SOUS 72737 HAS SOUPS 72230 WITH SCORE 72507.908
AT ITER 6056 NEW BEST:: SOT 516955 SOS 277905 HAS SOPS 277093 HAS SOUS 72731 HAS SOUPS 72224 WITH SCORE 72501.905
AT ITER 6088 NEW BEST:: SOT 516911 SOS 277861 HAS SOPS 277049 HAS SOUS 72687 HAS SOUPS 72180 WITH SCORE 72457.861
AT ITER 6091 NEW BEST:: SOT 516901 SOS 277596 HAS SOPS 276784 HAS SOUS 72675 HAS SOUPS 72168 WITH SCORE 72445.596
AT ITER 6106 NEW BEST:: SOT 516901 SOS 277592 HAS SOPS 276780 HAS SOUS 72675 HAS SOUPS 72168 WITH SCORE 72445.592
AT ITER 6127 NEW BEST:: SOT 516894 SOS 277585 HAS SOPS 276773 HAS SOUS 72661 HAS SOUPS 72154 WITH SCORE 72431.585
AT ITER 6140 NEW BEST:: SOT 516894 SOS 277697 HAS SOPS 276885 HAS SOUS 72645 HAS SOUPS 72138 WITH SCORE 72415.697
AT ITER 6168 NEW BEST:: SOT 516908 SOS 277711 HAS SOPS 276899 HAS SOUS 72627 HAS SOUPS 72120 WITH SCORE 72397.711
AT ITER 6188 NEW BEST:: SOT 516887 SOS 277858 HAS SOPS 277046 HAS SOUS 72607 HAS SOUPS 72100 WITH SCORE 72377.858
AT ITER 6192 NEW BEST:: SOT 516855 SOS 277776 HAS SOPS 276964 HAS SOUS 72540 HAS SOUPS 72033 WITH SCORE 72310.776
AT ITER 6250 NEW BEST:: SOT 516850 SOS 277771 HAS SOPS 276959 HAS SOUS 72530 HAS SOUPS 72023 WITH SCORE 72300.771
AT ITER 6272 NEW BEST:: SOT 515652 SOS 276573 HAS SOPS 275761 HAS SOUS 72320 HAS SOUPS 71813 WITH SCORE 72089.573
AT ITER 6336 NEW BEST:: SOT 515645 SOS 276566 HAS SOPS 275754 HAS SOUS 72306 HAS SOUPS 71799 WITH SCORE 72075.566
AT ITER 6374 NEW BEST:: SOT 515589 SOS 276562 HAS SOPS 275750 HAS SOUS 72302 HAS SOUPS 71795 WITH SCORE 72071.562
AT ITER 6449 NEW BEST:: SOT 515570 SOS 276374 HAS SOPS 275562 HAS SOUS 72298 HAS SOUPS 71791 WITH SCORE 72067.374
AT ITER 6498 NEW BEST:: SOT 515534 SOS 276338 HAS SOPS 275526 HAS SOUS 72226 HAS SOUPS 71719 WITH SCORE 71995.338
AT ITER 6501 NEW BEST:: SOT 515534 SOS 276443 HAS SOPS 275631 HAS SOUS 72211 HAS SOUPS 71704 WITH SCORE 71980.443
AT ITER 6508 NEW BEST:: SOT 515529 SOS 276438 HAS SOPS 275626 HAS SOUS 72206 HAS SOUPS 71699 WITH SCORE 71975.438
AT ITER 6528 NEW BEST:: SOT 515526 SOS 276435 HAS SOPS 275623 HAS SOUS 72200 HAS SOUPS 71693 WITH SCORE 71969.435
AT ITER 6573 NEW BEST:: SOT 515556 SOS 276465 HAS SOPS 275618 HAS SOUS 72230 HAS SOUPS 71688 WITH SCORE 71964.465
AT ITER 6597 NEW BEST:: SOT 515552 SOS 276461 HAS SOPS 275614 HAS SOUS 72228 HAS SOUPS 71686 WITH SCORE 71962.461
AT ITER 6606 NEW BEST:: SOT 515552 SOS 276440 HAS SOPS 275593 HAS SOUS 72228 HAS SOUPS 71686 WITH SCORE 71962.44
AT ITER 6611 NEW BEST:: SOT 515552 SOS 276440 HAS SOPS 275593 HAS SOUS 72224 HAS SOUPS 71682 WITH SCORE 71958.44
AT ITER 6657 NEW BEST:: SOT 515552 SOS 276400 HAS SOPS 275552 HAS SOUS 72183 HAS SOUPS 71641 WITH SCORE 71917.4
AT ITER 6660 NEW BEST:: SOT 515552 SOS 276120 HAS SOPS 275272 HAS SOUS 72183 HAS SOUPS 71641 WITH SCORE 71917.12
AT ITER 6680 NEW BEST:: SOT 515549 SOS 276114 HAS SOPS 275266 HAS SOUS 72177 HAS SOUPS 71635 WITH SCORE 71911.114
AT ITER 6717 NEW BEST:: SOT 515537 SOS 276090 HAS SOPS 275242 HAS SOUS 72159 HAS SOUPS 71617 WITH SCORE 71893.09
AT ITER 6789 NEW BEST:: SOT 515495 SOS 276006 HAS SOPS 275158 HAS SOUS 72124 HAS SOUPS 71582 WITH SCORE 71858.006
AT ITER 6971 NEW BEST:: SOT 515342 SOS 275853 HAS SOPS 275005 HAS SOUS 72115 HAS SOUPS 71573 WITH SCORE 71848.853
AT ITER 6972 NEW BEST:: SOT 515335 SOS 275972 HAS SOPS 275124 HAS SOUS 72101 HAS SOUPS 71559 WITH SCORE 71834.972
AT ITER 6977 NEW BEST:: SOT 515335 SOS 275972 HAS SOPS 275085 HAS SOUS 72062 HAS SOUPS 71520 WITH SCORE 71795.972
AT ITER 7046 NEW BEST:: SOT 515334 SOS 275971 HAS SOPS 275084 HAS SOUS 72060 HAS SOUPS 71518 WITH SCORE 71793.971
AT ITER 7118 NEW BEST:: SOT 515334 SOS 275926 HAS SOPS 275039 HAS SOUS 72055 HAS SOUPS 71513 WITH SCORE 71788.926
AT ITER 7153 NEW BEST:: SOT 515028 SOS 275602 HAS SOPS 274715 HAS SOUS 72055 HAS SOUPS 71513 WITH SCORE 71788.602
AT ITER 7188 NEW BEST:: SOT 515011 SOS 275351 HAS SOPS 274464 HAS SOUS 72052 HAS SOUPS 71510 WITH SCORE 71785.351
AT ITER 7248 NEW BEST:: SOT 515003 SOS 275237 HAS SOPS 274350 HAS SOUS 72044 HAS SOUPS 71502 WITH SCORE 71777.237
AT ITER 7255 NEW BEST:: SOT 514999 SOS 275418 HAS SOPS 274531 HAS SOUS 72036 HAS SOUPS 71494 WITH SCORE 71769.418
AT ITER 7328 NEW BEST:: SOT 514989 SOS 275398 HAS SOPS 274511 HAS SOUS 72022 HAS SOUPS 71480 WITH SCORE 71755.398
AT ITER 7439 NEW BEST:: SOT 514985 SOS 275390 HAS SOPS 274503 HAS SOUS 72014 HAS SOUPS 71472 WITH SCORE 71747.39
AT ITER 7483 NEW BEST:: SOT 514985 SOS 275390 HAS SOPS 274503 HAS SOUS 71990 HAS SOUPS 71448 WITH SCORE 71723.39
AT ITER 7533 NEW BEST:: SOT 514971 SOS 275376 HAS SOPS 274489 HAS SOUS 71962 HAS SOUPS 71420 WITH SCORE 71695.376
AT ITER 7566 NEW BEST:: SOT 514957 SOS 275348 HAS SOPS 274461 HAS SOUS 71934 HAS SOUPS 71392 WITH SCORE 71667.348
AT ITER 7595 NEW BEST:: SOT 514946 SOS 275298 HAS SOPS 274411 HAS SOUS 71930 HAS SOUPS 71388 WITH SCORE 71663.298
AT ITER 7674 NEW BEST:: SOT 514915 SOS 275267 HAS SOPS 274380 HAS SOUS 71899 HAS SOUPS 71357 WITH SCORE 71632.267
AT ITER 7679 NEW BEST:: SOT 514872 SOS 275261 HAS SOPS 274374 HAS SOUS 71886 HAS SOUPS 71344 WITH SCORE 71619.261
AT ITER 7691 NEW BEST:: SOT 514874 SOS 275231 HAS SOPS 274344 HAS SOUS 71871 HAS SOUPS 71329 WITH SCORE 71604.231
AT ITER 7703 NEW BEST:: SOT 514875 SOS 275232 HAS SOPS 274345 HAS SOUS 71868 HAS SOUPS 71326 WITH SCORE 71601.232
AT ITER 7705 NEW BEST:: SOT 514387 SOS 274744 HAS SOPS 273857 HAS SOUS 71844 HAS SOUPS 71302 WITH SCORE 71576.744
AT ITER 7713 NEW BEST:: SOT 514378 SOS 274735 HAS SOPS 273848 HAS SOUS 71826 HAS SOUPS 71284 WITH SCORE 71558.735
AT ITER 7770 NEW BEST:: SOT 514528 SOS 274894 HAS SOPS 274008 HAS SOUS 71814 HAS SOUPS 71272 WITH SCORE 71546.894
AT ITER 7805 NEW BEST:: SOT 514525 SOS 274891 HAS SOPS 274005 HAS SOUS 71803 HAS SOUPS 71261 WITH SCORE 71535.891
AT ITER 7837 NEW BEST:: SOT 514514 SOS 274869 HAS SOPS 273983 HAS SOUS 71786 HAS SOUPS 71244 WITH SCORE 71518.869
AT ITER 7960 NEW BEST:: SOT 514510 SOS 274861 HAS SOPS 273975 HAS SOUS 71776 HAS SOUPS 71234 WITH SCORE 71508.861
AT ITER 7976 NEW BEST:: SOT 514495 SOS 274817 HAS SOPS 273931 HAS SOUS 71732 HAS SOUPS 71190 WITH SCORE 71464.817
AT ITER 8032 NEW BEST:: SOT 514484 SOS 274806 HAS SOPS 273920 HAS SOUS 71710 HAS SOUPS 71168 WITH SCORE 71442.806
AT ITER 8035 NEW BEST:: SOT 514475 SOS 274797 HAS SOPS 273902 HAS SOUS 71701 HAS SOUPS 71150 WITH SCORE 71424.797
AT ITER 8053 NEW BEST:: SOT 514475 SOS 274174 HAS SOPS 273279 HAS SOUS 71670 HAS SOUPS 71119 WITH SCORE 71393.174
AT ITER 8074 NEW BEST:: SOT 514457 SOS 274147 HAS SOPS 273252 HAS SOUS 71633 HAS SOUPS 71082 WITH SCORE 71356.147
AT ITER 8093 NEW BEST:: SOT 514457 SOS 274147 HAS SOPS 273252 HAS SOUS 71626 HAS SOUPS 71075 WITH SCORE 71349.147
AT ITER 8163 NEW BEST:: SOT 514355 SOS 274045 HAS SOPS 273150 HAS SOUS 71620 HAS SOUPS 71069 WITH SCORE 71343.045
AT ITER 8242 NEW BEST:: SOT 514402 SOS 273928 HAS SOPS 273033 HAS SOUS 71594 HAS SOUPS 71043 WITH SCORE 71316.928
AT ITER 8249 NEW BEST:: SOT 514402 SOS 273892 HAS SOPS 273033 HAS SOUS 71558 HAS SOUPS 71043 WITH SCORE 71316.892
AT ITER 8271 NEW BEST:: SOT 514376 SOS 274085 HAS SOPS 273226 HAS SOUS 71528 HAS SOUPS 71013 WITH SCORE 71287.085
AT ITER 8284 NEW BEST:: SOT 514376 SOS 273005 HAS SOPS 272146 HAS SOUS 71528 HAS SOUPS 71013 WITH SCORE 71286.005
AT ITER 8370 NEW BEST:: SOT 514402 SOS 273031 HAS SOPS 272115 HAS SOUS 71549 HAS SOUPS 71008 WITH SCORE 71281.031
AT ITER 8380 NEW BEST:: SOT 514402 SOS 273030 HAS SOPS 272114 HAS SOUS 71548 HAS SOUPS 71007 WITH SCORE 71280.03
AT ITER 8383 NEW BEST:: SOT 514389 SOS 273017 HAS SOPS 272101 HAS SOUS 71522 HAS SOUPS 70981 WITH SCORE 71254.017
AT ITER 8438 NEW BEST:: SOT 514360 SOS 272988 HAS SOPS 272101 HAS SOUS 71493 HAS SOUPS 70981 WITH SCORE 71253.988
AT ITER 8494 NEW BEST:: SOT 514357 SOS 272985 HAS SOPS 272098 HAS SOUS 71487 HAS SOUPS 70975 WITH SCORE 71247.985
AT ITER 8519 NEW BEST:: SOT 514352 SOS 272980 HAS SOPS 272093 HAS SOUS 71477 HAS SOUPS 70965 WITH SCORE 71237.98
AT ITER 8536 NEW BEST:: SOT 514338 SOS 272232 HAS SOPS 271345 HAS SOUS 71463 HAS SOUPS 70951 WITH SCORE 71223.232
AT ITER 8611 NEW BEST:: SOT 514309 SOS 272302 HAS SOPS 271415 HAS SOUS 71461 HAS SOUPS 70949 WITH SCORE 71221.302
AT ITER 8665 NEW BEST:: SOT 514300 SOS 272284 HAS SOPS 271397 HAS SOUS 71443 HAS SOUPS 70931 WITH SCORE 71203.284
AT ITER 8678 NEW BEST:: SOT 514294 SOS 272224 HAS SOPS 271337 HAS SOUS 71437 HAS SOUPS 70925 WITH SCORE 71197.224
AT ITER 8735 NEW BEST:: SOT 514290 SOS 272184 HAS SOPS 271301 HAS SOUS 71433 HAS SOUPS 70921 WITH SCORE 71193.184
AT ITER 8769 NEW BEST:: SOT 514290 SOS 272184 HAS SOPS 271301 HAS SOUS 71416 HAS SOUPS 70904 WITH SCORE 71176.184
AT ITER 8775 NEW BEST:: SOT 514308 SOS 272022 HAS SOPS 271193 HAS SOUS 71398 HAS SOUPS 70904 WITH SCORE 71176.022
AT ITER 8797 NEW BEST:: SOT 514307 SOS 272021 HAS SOPS 271192 HAS SOUS 71397 HAS SOUPS 70903 WITH SCORE 71175.021
AT ITER 8798 NEW BEST:: SOT 514304 SOS 271823 HAS SOPS 270994 HAS SOUS 71391 HAS SOUPS 70897 WITH SCORE 71168.823
AT ITER 8801 NEW BEST:: SOT 514302 SOS 271821 HAS SOPS 270992 HAS SOUS 71387 HAS SOUPS 70893 WITH SCORE 71164.821
AT ITER 8833 NEW BEST:: SOT 514293 SOS 271812 HAS SOPS 270983 HAS SOUS 71387 HAS SOUPS 70893 WITH SCORE 71164.812
AT ITER 8867 NEW BEST:: SOT 514280 SOS 271809 HAS SOPS 270980 HAS SOUS 71381 HAS SOUPS 70887 WITH SCORE 71158.809
AT ITER 8872 NEW BEST:: SOT 514275 SOS 271799 HAS SOPS 270970 HAS SOUS 71371 HAS SOUPS 70877 WITH SCORE 71148.799
AT ITER 8972 NEW BEST:: SOT 514275 SOS 271792 HAS SOPS 270963 HAS SOUS 71371 HAS SOUPS 70877 WITH SCORE 71148.792
AT ITER 9012 NEW BEST:: SOT 514270 SOS 271957 HAS SOPS 271128 HAS SOUS 71366 HAS SOUPS 70872 WITH SCORE 71143.957
AT ITER 9040 NEW BEST:: SOT 514266 SOS 271953 HAS SOPS 271124 HAS SOUS 71361 HAS SOUPS 70867 WITH SCORE 71138.953
AT ITER 9064 NEW BEST:: SOT 514262 SOS 271931 HAS SOPS 271102 HAS SOUS 71355 HAS SOUPS 70861 WITH SCORE 71132.931
AT ITER 9067 NEW BEST:: SOT 514241 SOS 271889 HAS SOPS 271060 HAS SOUS 71313 HAS SOUPS 70819 WITH SCORE 71090.889
AT ITER 9095 NEW BEST:: SOT 514241 SOS 271781 HAS SOPS 270952 HAS SOUS 71301 HAS SOUPS 70807 WITH SCORE 71078.781
AT ITER 9152 NEW BEST:: SOT 514190 SOS 270722 HAS SOPS 269893 HAS SOUS 71290 HAS SOUPS 70796 WITH SCORE 71066.722
AT ITER 9164 NEW BEST:: SOT 514170 SOS 270353 HAS SOPS 269524 HAS SOUS 71262 HAS SOUPS 70768 WITH SCORE 71038.353
AT ITER 9172 NEW BEST:: SOT 514133 SOS 270538 HAS SOPS 269709 HAS SOUS 71188 HAS SOUPS 70694 WITH SCORE 70964.538
AT ITER 9196 NEW BEST:: SOT 514127 SOS 270792 HAS SOPS 269963 HAS SOUS 71174 HAS SOUPS 70680 WITH SCORE 70950.792
AT ITER 9208 NEW BEST:: SOT 514152 SOS 270617 HAS SOPS 269788 HAS SOUS 71174 HAS SOUPS 70680 WITH SCORE 70950.617
AT ITER 9233 NEW BEST:: SOT 514085 SOS 271480 HAS SOPS 270334 HAS SOUS 71244 HAS SOUPS 70665 WITH SCORE 70936.48
AT ITER 9251 NEW BEST:: SOT 514081 SOS 271476 HAS SOPS 270330 HAS SOUS 71236 HAS SOUPS 70657 WITH SCORE 70928.476
AT ITER 9268 NEW BEST:: SOT 514090 SOS 270969 HAS SOPS 269823 HAS SOUS 71233 HAS SOUPS 70654 WITH SCORE 70924.969
AT ITER 9294 NEW BEST:: SOT 514082 SOS 270953 HAS SOPS 269807 HAS SOUS 71214 HAS SOUPS 70635 WITH SCORE 70905.953
AT ITER 9337 NEW BEST:: SOT 514084 SOS 270955 HAS SOPS 269809 HAS SOUS 71213 HAS SOUPS 70634 WITH SCORE 70904.955
AT ITER 9346 NEW BEST:: SOT 514084 SOS 270483 HAS SOPS 269337 HAS SOUS 71213 HAS SOUPS 70634 WITH SCORE 70904.483
AT ITER 9362 NEW BEST:: SOT 514082 SOS 270689 HAS SOPS 269543 HAS SOUS 71196 HAS SOUPS 70617 WITH SCORE 70887.689
AT ITER 9374 NEW BEST:: SOT 514074 SOS 270673 HAS SOPS 269527 HAS SOUS 71180 HAS SOUPS 70601 WITH SCORE 70871.673
AT ITER 9387 NEW BEST:: SOT 514068 SOS 270667 HAS SOPS 269527 HAS SOUS 71168 HAS SOUPS 70595 WITH SCORE 70865.667
AT ITER 9453 NEW BEST:: SOT 514054 SOS 270651 HAS SOPS 269511 HAS SOUS 71154 HAS SOUPS 70581 WITH SCORE 70851.651
AT ITER 9474 NEW BEST:: SOT 514051 SOS 270648 HAS SOPS 269508 HAS SOUS 71151 HAS SOUPS 70578 WITH SCORE 70848.648
AT ITER 9541 NEW BEST:: SOT 514033 SOS 270630 HAS SOPS 269490 HAS SOUS 71115 HAS SOUPS 70542 WITH SCORE 70812.63
AT ITER 9594 NEW BEST:: SOT 514013 SOS 270610 HAS SOPS 269470 HAS SOUS 71075 HAS SOUPS 70502 WITH SCORE 70772.61
AT ITER 9617 NEW BEST:: SOT 514013 SOS 270490 HAS SOPS 269350 HAS SOUS 71075 HAS SOUPS 70502 WITH SCORE 70772.49
AT ITER 9671 NEW BEST:: SOT 514017 SOS 270498 HAS SOPS 269358 HAS SOUS 71071 HAS SOUPS 70498 WITH SCORE 70768.498
AT ITER 9675 NEW BEST:: SOT 514017 SOS 270498 HAS SOPS 269338 HAS SOUS 71071 HAS SOUPS 70478 WITH SCORE 70748.498
AT ITER 9696 NEW BEST:: SOT 513609 SOS 270090 HAS SOPS 268930 HAS SOUS 71068 HAS SOUPS 70475 WITH SCORE 70745.09
AT ITER 9699 NEW BEST:: SOT 513609 SOS 270090 HAS SOPS 268930 HAS SOUS 71062 HAS SOUPS 70469 WITH SCORE 70739.09
AT ITER 9704 NEW BEST:: SOT 513598 SOS 270079 HAS SOPS 268919 HAS SOUS 71045 HAS SOUPS 70452 WITH SCORE 70722.079
AT ITER 9791 NEW BEST:: SOT 513598 SOS 270079 HAS SOPS 268919 HAS SOUS 71043 HAS SOUPS 70450 WITH SCORE 70720.079
AT ITER 9820 NEW BEST:: SOT 513598 SOS 270044 HAS SOPS 268884 HAS SOUS 71043 HAS SOUPS 70450 WITH SCORE 70720.044
AT ITER 9876 NEW BEST:: SOT 513575 SOS 270021 HAS SOPS 268861 HAS SOUS 70997 HAS SOUPS 70404 WITH SCORE 70674.021
AT ITER 9910 NEW BEST:: SOT 513561 SOS 270023 HAS SOPS 268863 HAS SOUS 70985 HAS SOUPS 70392 WITH SCORE 70662.023
AT ITER 9911 NEW BEST:: SOT 513558 SOS 270017 HAS SOPS 268857 HAS SOUS 70979 HAS SOUPS 70386 WITH SCORE 70656.017
AT ITER 9918 NEW BEST:: SOT 513556 SOS 270083 HAS SOPS 268923 HAS SOUS 70973 HAS SOUPS 70380 WITH SCORE 70650.083
AT ITER 9941 NEW BEST:: SOT 513522 SOS 270024 HAS SOPS 268864 HAS SOUS 70906 HAS SOUPS 70313 WITH SCORE 70583.024
AT ITER 9975 NEW BEST:: SOT 513509 SOS 269998 HAS SOPS 268838 HAS SOUS 70892 HAS SOUPS 70299 WITH SCORE 70568.998

BK_STOP 1679876675145

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 367 Killed ${SMART}/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="Anderson-PT-09"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Anderson-PT-09, 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 r515-tall-167987241900048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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