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.r227-tall-167856410500480.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 LeafsetExtension-PT-S16C2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 11K Feb 25 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 16:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Feb 25 16:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 25 16:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 905K Mar 5 18:22 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 1678613872729

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=LeafsetExtension-PT-S16C2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S16C2
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: 1542 places, 1449 transitions, 4668 arcs.
AT ITER 0 NEW BEST:: SOT 1261325 SOS 307024 HAS SOPS 304970 HAS SOUS 260598 HAS SOUPS 260277 WITH SCORE 260584.024
AT ITER 4 NEW BEST:: SOT 1260562 SOS 306362 HAS SOPS 304308 HAS SOUS 259936 HAS SOUPS 259615 WITH SCORE 259921.362
AT ITER 55 NEW BEST:: SOT 1260472 SOS 306362 HAS SOPS 304308 HAS SOUS 259931 HAS SOUPS 259610 WITH SCORE 259916.362
AT ITER 59 NEW BEST:: SOT 1260472 SOS 306318 HAS SOPS 304264 HAS SOUS 259882 HAS SOUPS 259561 WITH SCORE 259867.318
AT ITER 101 NEW BEST:: SOT 1260472 SOS 306318 HAS SOPS 304264 HAS SOUS 259881 HAS SOUPS 259560 WITH SCORE 259866.318
AT ITER 131 NEW BEST:: SOT 1260387 SOS 306233 HAS SOPS 304179 HAS SOUS 259796 HAS SOUPS 259475 WITH SCORE 259781.233
AT ITER 137 NEW BEST:: SOT 1260299 SOS 306233 HAS SOPS 304179 HAS SOUS 259794 HAS SOUPS 259473 WITH SCORE 259779.233
AT ITER 261 NEW BEST:: SOT 1260299 SOS 305794 HAS SOPS 303740 HAS SOUS 259794 HAS SOUPS 259473 WITH SCORE 259778.794
AT ITER 280 NEW BEST:: SOT 1260104 SOS 303650 HAS SOPS 301596 HAS SOUS 259218 HAS SOUPS 258897 WITH SCORE 259200.65
AT ITER 323 NEW BEST:: SOT 1259663 SOS 303831 HAS SOPS 301777 HAS SOUS 258790 HAS SOUPS 258469 WITH SCORE 258772.831
AT ITER 328 NEW BEST:: SOT 1260290 SOS 304497 HAS SOPS 300675 HAS SOUS 259460 HAS SOUPS 257480 WITH SCORE 257784.497
AT ITER 332 NEW BEST:: SOT 1260119 SOS 302958 HAS SOPS 299136 HAS SOUS 259118 HAS SOUPS 257138 WITH SCORE 257440.958
AT ITER 336 NEW BEST:: SOT 1260119 SOS 302865 HAS SOPS 299043 HAS SOUS 259025 HAS SOUPS 257045 WITH SCORE 257347.865
AT ITER 347 NEW BEST:: SOT 1260119 SOS 302857 HAS SOPS 299035 HAS SOUS 259017 HAS SOUPS 257037 WITH SCORE 257339.857
AT ITER 364 NEW BEST:: SOT 1259674 SOS 302412 HAS SOPS 298590 HAS SOUS 258572 HAS SOUPS 256592 WITH SCORE 256894.412
AT ITER 396 NEW BEST:: SOT 1259110 SOS 302858 HAS SOPS 299036 HAS SOUS 258353 HAS SOUPS 256373 WITH SCORE 256675.858
AT ITER 398 NEW BEST:: SOT 1259110 SOS 302791 HAS SOPS 298969 HAS SOUS 258286 HAS SOUPS 256306 WITH SCORE 256608.791
AT ITER 404 NEW BEST:: SOT 1258774 SOS 302495 HAS SOPS 298673 HAS SOUS 257990 HAS SOUPS 256010 WITH SCORE 256312.495
AT ITER 505 NEW BEST:: SOT 1259087 SOS 300767 HAS SOPS 296945 HAS SOUS 257935 HAS SOUPS 255955 WITH SCORE 256255.767
AT ITER 514 NEW BEST:: SOT 1259054 SOS 300734 HAS SOPS 296879 HAS SOUS 257902 HAS SOUPS 255889 WITH SCORE 256189.734
AT ITER 529 NEW BEST:: SOT 1259007 SOS 300687 HAS SOPS 296832 HAS SOUS 257852 HAS SOUPS 255839 WITH SCORE 256139.687
AT ITER 582 NEW BEST:: SOT 1259007 SOS 300620 HAS SOPS 296765 HAS SOUS 257785 HAS SOUPS 255772 WITH SCORE 256072.62
AT ITER 593 NEW BEST:: SOT 1259007 SOS 300580 HAS SOPS 296725 HAS SOUS 257785 HAS SOUPS 255772 WITH SCORE 256072.58
AT ITER 597 NEW BEST:: SOT 1258892 SOS 300471 HAS SOPS 296616 HAS SOUS 257784 HAS SOUPS 255771 WITH SCORE 256071.471
AT ITER 606 NEW BEST:: SOT 1258787 SOS 299132 HAS SOPS 295277 HAS SOUS 257577 HAS SOUPS 255564 WITH SCORE 255863.132
AT ITER 632 NEW BEST:: SOT 1258685 SOS 299132 HAS SOPS 295277 HAS SOUS 257575 HAS SOUPS 255562 WITH SCORE 255861.132
AT ITER 646 NEW BEST:: SOT 1258627 SOS 299066 HAS SOPS 295211 HAS SOUS 257509 HAS SOUPS 255496 WITH SCORE 255795.066
AT ITER 648 NEW BEST:: SOT 1257304 SOS 306978 HAS SOPS 294723 HAS SOUS 257542 HAS SOUPS 254984 WITH SCORE 255290.978
AT ITER 653 NEW BEST:: SOT 1257304 SOS 306130 HAS SOPS 293875 HAS SOUS 257534 HAS SOUPS 254976 WITH SCORE 255282.13
AT ITER 663 NEW BEST:: SOT 1257216 SOS 306130 HAS SOPS 293875 HAS SOUS 257446 HAS SOUPS 254888 WITH SCORE 255194.13
AT ITER 694 NEW BEST:: SOT 1257047 SOS 305975 HAS SOPS 293720 HAS SOUS 257329 HAS SOUPS 254771 WITH SCORE 255076.975
AT ITER 736 NEW BEST:: SOT 1248562 SOS 350484 HAS SOPS 338229 HAS SOUS 249292 HAS SOUPS 246734 WITH SCORE 247084.484
AT ITER 738 NEW BEST:: SOT 1248562 SOS 350441 HAS SOPS 338186 HAS SOUS 249249 HAS SOUPS 246691 WITH SCORE 247041.441
AT ITER 740 NEW BEST:: SOT 1248490 SOS 350361 HAS SOPS 338106 HAS SOUS 249169 HAS SOUPS 246611 WITH SCORE 246961.361
AT ITER 742 NEW BEST:: SOT 1248490 SOS 350309 HAS SOPS 338054 HAS SOUS 249110 HAS SOUPS 246552 WITH SCORE 246902.309
AT ITER 747 NEW BEST:: SOT 1248490 SOS 350162 HAS SOPS 337907 HAS SOUS 248961 HAS SOUPS 246403 WITH SCORE 246753.162
AT ITER 763 NEW BEST:: SOT 1247771 SOS 351407 HAS SOPS 339557 HAS SOUS 248802 HAS SOUPS 246244 WITH SCORE 246595.407
AT ITER 766 NEW BEST:: SOT 1247504 SOS 351140 HAS SOPS 339522 HAS SOUS 248646 HAS SOUPS 246088 WITH SCORE 246439.14
AT ITER 782 NEW BEST:: SOT 1247389 SOS 351140 HAS SOPS 339522 HAS SOUS 248531 HAS SOUPS 245973 WITH SCORE 246324.14
AT ITER 785 NEW BEST:: SOT 1245808 SOS 354739 HAS SOPS 343418 HAS SOUS 248109 HAS SOUPS 245551 WITH SCORE 245905.739
AT ITER 788 NEW BEST:: SOT 1245808 SOS 354731 HAS SOPS 343410 HAS SOUS 248101 HAS SOUPS 245543 WITH SCORE 245897.731
AT ITER 797 NEW BEST:: SOT 1245812 SOS 354735 HAS SOPS 343414 HAS SOUS 248031 HAS SOUPS 245473 WITH SCORE 245827.735
AT ITER 802 NEW BEST:: SOT 1245613 SOS 354536 HAS SOPS 343288 HAS SOUS 247815 HAS SOUPS 245330 WITH SCORE 245684.536
AT ITER 811 NEW BEST:: SOT 1245396 SOS 353187 HAS SOPS 341939 HAS SOUS 247453 HAS SOUPS 244968 WITH SCORE 245321.187
AT ITER 813 NEW BEST:: SOT 1245389 SOS 353117 HAS SOPS 341869 HAS SOUS 247439 HAS SOUPS 244954 WITH SCORE 245307.117
AT ITER 819 NEW BEST:: SOT 1245374 SOS 353102 HAS SOPS 341839 HAS SOUS 247424 HAS SOUPS 244924 WITH SCORE 245277.102
AT ITER 821 NEW BEST:: SOT 1245364 SOS 353078 HAS SOPS 341815 HAS SOUS 247406 HAS SOUPS 244906 WITH SCORE 245259.078
AT ITER 831 NEW BEST:: SOT 1245364 SOS 352509 HAS SOPS 341246 HAS SOUS 247397 HAS SOUPS 244897 WITH SCORE 245249.509
AT ITER 849 NEW BEST:: SOT 1245364 SOS 352509 HAS SOPS 341246 HAS SOUS 247310 HAS SOUPS 244810 WITH SCORE 245162.509
AT ITER 858 NEW BEST:: SOT 1245324 SOS 352509 HAS SOPS 341246 HAS SOUS 247305 HAS SOUPS 244805 WITH SCORE 245157.509
AT ITER 861 NEW BEST:: SOT 1245302 SOS 352509 HAS SOPS 341246 HAS SOUS 247283 HAS SOUPS 244783 WITH SCORE 245135.509
AT ITER 867 NEW BEST:: SOT 1245189 SOS 352401 HAS SOPS 341138 HAS SOUS 247170 HAS SOUPS 244670 WITH SCORE 245022.401
AT ITER 889 NEW BEST:: SOT 1245189 SOS 352393 HAS SOPS 341130 HAS SOUS 247170 HAS SOUPS 244670 WITH SCORE 245022.393
AT ITER 905 NEW BEST:: SOT 1245189 SOS 352310 HAS SOPS 341047 HAS SOUS 247017 HAS SOUPS 244517 WITH SCORE 244869.31
AT ITER 925 NEW BEST:: SOT 1245057 SOS 351042 HAS SOPS 339779 HAS SOUS 246736 HAS SOUPS 244236 WITH SCORE 244587.042
AT ITER 952 NEW BEST:: SOT 1245025 SOS 351010 HAS SOPS 339747 HAS SOUS 246615 HAS SOUPS 244115 WITH SCORE 244466.01
AT ITER 953 NEW BEST:: SOT 1245025 SOS 350964 HAS SOPS 339701 HAS SOUS 246563 HAS SOUPS 244063 WITH SCORE 244413.964
AT ITER 961 NEW BEST:: SOT 1245035 SOS 350974 HAS SOPS 339711 HAS SOUS 246465 HAS SOUPS 243965 WITH SCORE 244315.974
AT ITER 968 NEW BEST:: SOT 1245035 SOS 350892 HAS SOPS 339629 HAS SOUS 246383 HAS SOUPS 243883 WITH SCORE 244233.892
AT ITER 980 NEW BEST:: SOT 1244884 SOS 350564 HAS SOPS 339363 HAS SOUS 246117 HAS SOUPS 243617 WITH SCORE 243967.564
AT ITER 1006 NEW BEST:: SOT 1244771 SOS 350639 HAS SOPS 339438 HAS SOUS 246079 HAS SOUPS 243579 WITH SCORE 243929.639
AT ITER 1020 NEW BEST:: SOT 1244326 SOS 351626 HAS SOPS 340437 HAS SOUS 245752 HAS SOUPS 243252 WITH SCORE 243603.626
AT ITER 1040 NEW BEST:: SOT 1244085 SOS 349077 HAS SOPS 337888 HAS SOUS 245347 HAS SOUPS 242847 WITH SCORE 243196.077
AT ITER 1069 NEW BEST:: SOT 1244085 SOS 349069 HAS SOPS 337880 HAS SOUS 245339 HAS SOUPS 242839 WITH SCORE 243188.069
AT ITER 1077 NEW BEST:: SOT 1242837 SOS 348129 HAS SOPS 337201 HAS SOUS 244397 HAS SOUPS 241897 WITH SCORE 242245.129
AT ITER 1082 NEW BEST:: SOT 1242688 SOS 347980 HAS SOPS 337052 HAS SOUS 244099 HAS SOUPS 241599 WITH SCORE 241946.98
AT ITER 1117 NEW BEST:: SOT 1242688 SOS 347974 HAS SOPS 337046 HAS SOUS 244099 HAS SOUPS 241599 WITH SCORE 241946.974
AT ITER 1124 NEW BEST:: SOT 1242688 SOS 347974 HAS SOPS 337046 HAS SOUS 244018 HAS SOUPS 241518 WITH SCORE 241865.974
AT ITER 1134 NEW BEST:: SOT 1242547 SOS 347836 HAS SOPS 336908 HAS SOUS 243876 HAS SOUPS 241376 WITH SCORE 241723.836
AT ITER 1139 NEW BEST:: SOT 1242547 SOS 347487 HAS SOPS 336559 HAS SOUS 243876 HAS SOUPS 241376 WITH SCORE 241723.487
AT ITER 1167 NEW BEST:: SOT 1242547 SOS 347463 HAS SOPS 336535 HAS SOUS 243876 HAS SOUPS 241376 WITH SCORE 241723.463
AT ITER 1194 NEW BEST:: SOT 1242547 SOS 347463 HAS SOPS 336535 HAS SOUS 243761 HAS SOUPS 241261 WITH SCORE 241608.463
AT ITER 1207 NEW BEST:: SOT 1242547 SOS 347451 HAS SOPS 336523 HAS SOUS 243737 HAS SOUPS 241237 WITH SCORE 241584.451
AT ITER 1208 NEW BEST:: SOT 1242341 SOS 347076 HAS SOPS 336200 HAS SOUS 243414 HAS SOUPS 240914 WITH SCORE 241261.076
AT ITER 1230 NEW BEST:: SOT 1242332 SOS 347067 HAS SOPS 336191 HAS SOUS 243402 HAS SOUPS 240902 WITH SCORE 241249.067
AT ITER 1242 NEW BEST:: SOT 1242242 SOS 345872 HAS SOPS 334996 HAS SOUS 243312 HAS SOUPS 240812 WITH SCORE 241157.872
AT ITER 1247 NEW BEST:: SOT 1242238 SOS 345868 HAS SOPS 334992 HAS SOUS 243308 HAS SOUPS 240808 WITH SCORE 241153.868
AT ITER 1251 NEW BEST:: SOT 1242238 SOS 345864 HAS SOPS 334988 HAS SOUS 243304 HAS SOUPS 240804 WITH SCORE 241149.864
AT ITER 1259 NEW BEST:: SOT 1242109 SOS 345787 HAS SOPS 334911 HAS SOUS 243176 HAS SOUPS 240676 WITH SCORE 241021.787
AT ITER 1267 NEW BEST:: SOT 1241923 SOS 345601 HAS SOPS 334804 HAS SOUS 243066 HAS SOUPS 240566 WITH SCORE 240911.601
AT ITER 1281 NEW BEST:: SOT 1241937 SOS 345615 HAS SOPS 334818 HAS SOUS 242957 HAS SOUPS 240457 WITH SCORE 240802.615
AT ITER 1316 NEW BEST:: SOT 1241167 SOS 345568 HAS SOPS 335019 HAS SOUS 242541 HAS SOUPS 240041 WITH SCORE 240386.568
AT ITER 1329 NEW BEST:: SOT 1241127 SOS 345520 HAS SOPS 334971 HAS SOUS 242493 HAS SOUPS 239993 WITH SCORE 240338.52
AT ITER 1339 NEW BEST:: SOT 1241127 SOS 345520 HAS SOPS 334971 HAS SOUS 242415 HAS SOUPS 239915 WITH SCORE 240260.52
AT ITER 1348 NEW BEST:: SOT 1241046 SOS 345508 HAS SOPS 334959 HAS SOUS 242327 HAS SOUPS 239827 WITH SCORE 240172.508
AT ITER 1361 NEW BEST:: SOT 1241045 SOS 345355 HAS SOPS 334806 HAS SOUS 242326 HAS SOUPS 239826 WITH SCORE 240171.355
AT ITER 1386 NEW BEST:: SOT 1240992 SOS 345266 HAS SOPS 334664 HAS SOUS 242273 HAS SOUPS 239720 WITH SCORE 240065.266
AT ITER 1396 NEW BEST:: SOT 1240987 SOS 345159 HAS SOPS 334557 HAS SOUS 242268 HAS SOUPS 239715 WITH SCORE 240060.159
AT ITER 1426 NEW BEST:: SOT 1240979 SOS 345135 HAS SOPS 334533 HAS SOUS 242236 HAS SOUPS 239683 WITH SCORE 240028.135
AT ITER 1432 NEW BEST:: SOT 1240979 SOS 344758 HAS SOPS 334156 HAS SOUS 242043 HAS SOUPS 239490 WITH SCORE 239834.758
AT ITER 1455 NEW BEST:: SOT 1240979 SOS 344790 HAS SOPS 334188 HAS SOUS 241963 HAS SOUPS 239410 WITH SCORE 239754.79
AT ITER 1456 NEW BEST:: SOT 1241009 SOS 344820 HAS SOPS 334218 HAS SOUS 241880 HAS SOUPS 239327 WITH SCORE 239671.82
AT ITER 1460 NEW BEST:: SOT 1240969 SOS 344780 HAS SOPS 334178 HAS SOUS 241839 HAS SOUPS 239286 WITH SCORE 239630.78
AT ITER 1472 NEW BEST:: SOT 1240941 SOS 344752 HAS SOPS 334150 HAS SOUS 241753 HAS SOUPS 239200 WITH SCORE 239544.752
AT ITER 1476 NEW BEST:: SOT 1240730 SOS 344477 HAS SOPS 333875 HAS SOUS 241565 HAS SOUPS 239012 WITH SCORE 239356.477
AT ITER 1485 NEW BEST:: SOT 1240730 SOS 344477 HAS SOPS 333875 HAS SOUS 241469 HAS SOUPS 238916 WITH SCORE 239260.477
AT ITER 1509 NEW BEST:: SOT 1240653 SOS 342082 HAS SOPS 331480 HAS SOUS 241363 HAS SOUPS 238810 WITH SCORE 239152.082
AT ITER 1515 NEW BEST:: SOT 1240562 SOS 342053 HAS SOPS 331451 HAS SOUS 241357 HAS SOUPS 238804 WITH SCORE 239146.053
AT ITER 1527 NEW BEST:: SOT 1240545 SOS 342036 HAS SOPS 331434 HAS SOUS 241323 HAS SOUPS 238770 WITH SCORE 239112.036
AT ITER 1529 NEW BEST:: SOT 1240494 SOS 341859 HAS SOPS 331257 HAS SOUS 241272 HAS SOUPS 238719 WITH SCORE 239060.859
AT ITER 1560 NEW BEST:: SOT 1240492 SOS 341741 HAS SOPS 331139 HAS SOUS 241270 HAS SOUPS 238717 WITH SCORE 239058.741
AT ITER 1570 NEW BEST:: SOT 1240444 SOS 341693 HAS SOPS 331091 HAS SOUS 241222 HAS SOUPS 238669 WITH SCORE 239010.693
AT ITER 1590 NEW BEST:: SOT 1240487 SOS 341736 HAS SOPS 331134 HAS SOUS 241112 HAS SOUPS 238559 WITH SCORE 238900.736
AT ITER 1600 NEW BEST:: SOT 1240440 SOS 341542 HAS SOPS 330940 HAS SOUS 241065 HAS SOUPS 238512 WITH SCORE 238853.542
AT ITER 1601 NEW BEST:: SOT 1240290 SOS 341574 HAS SOPS 330972 HAS SOUS 240960 HAS SOUPS 238407 WITH SCORE 238748.574
AT ITER 1620 NEW BEST:: SOT 1240290 SOS 341574 HAS SOPS 330972 HAS SOUS 240861 HAS SOUPS 238308 WITH SCORE 238649.574
AT ITER 1625 NEW BEST:: SOT 1240290 SOS 341574 HAS SOPS 330972 HAS SOUS 240731 HAS SOUPS 238178 WITH SCORE 238519.574
AT ITER 1636 NEW BEST:: SOT 1240290 SOS 341613 HAS SOPS 331011 HAS SOUS 240647 HAS SOUPS 238094 WITH SCORE 238435.613
AT ITER 1640 NEW BEST:: SOT 1240290 SOS 341592 HAS SOPS 330990 HAS SOUS 240647 HAS SOUPS 238094 WITH SCORE 238435.592
AT ITER 1651 NEW BEST:: SOT 1240233 SOS 341422 HAS SOPS 330820 HAS SOUS 240635 HAS SOUPS 238082 WITH SCORE 238423.422
AT ITER 1675 NEW BEST:: SOT 1239048 SOS 340835 HAS SOPS 330242 HAS SOUS 239550 HAS SOUPS 236997 WITH SCORE 237337.835
AT ITER 1680 NEW BEST:: SOT 1238851 SOS 340645 HAS SOPS 330052 HAS SOUS 239352 HAS SOUPS 236799 WITH SCORE 237139.645
AT ITER 1686 NEW BEST:: SOT 1238860 SOS 340654 HAS SOPS 330061 HAS SOUS 239259 HAS SOUPS 236706 WITH SCORE 237046.654
AT ITER 1698 NEW BEST:: SOT 1238762 SOS 340556 HAS SOPS 329963 HAS SOUS 239161 HAS SOUPS 236608 WITH SCORE 236948.556
AT ITER 1708 NEW BEST:: SOT 1238762 SOS 340556 HAS SOPS 329963 HAS SOUS 239154 HAS SOUPS 236601 WITH SCORE 236941.556
AT ITER 1722 NEW BEST:: SOT 1238658 SOS 340452 HAS SOPS 329859 HAS SOUS 239050 HAS SOUPS 236497 WITH SCORE 236837.452
AT ITER 1726 NEW BEST:: SOT 1238012 SOS 340194 HAS SOPS 329681 HAS SOUS 238540 HAS SOUPS 235987 WITH SCORE 236327.194
AT ITER 1733 NEW BEST:: SOT 1238012 SOS 340310 HAS SOPS 329797 HAS SOUS 238539 HAS SOUPS 235986 WITH SCORE 236326.31
AT ITER 1770 NEW BEST:: SOT 1237851 SOS 340149 HAS SOPS 329636 HAS SOUS 238216 HAS SOUPS 235663 WITH SCORE 236003.149
AT ITER 1792 NEW BEST:: SOT 1237851 SOS 340116 HAS SOPS 329603 HAS SOUS 238183 HAS SOUPS 235630 WITH SCORE 235970.116
AT ITER 1809 NEW BEST:: SOT 1237833 SOS 340082 HAS SOPS 329569 HAS SOUS 238149 HAS SOUPS 235596 WITH SCORE 235936.082
AT ITER 1813 NEW BEST:: SOT 1237833 SOS 340056 HAS SOPS 329543 HAS SOUS 238123 HAS SOUPS 235570 WITH SCORE 235910.056
AT ITER 1826 NEW BEST:: SOT 1237790 SOS 340014 HAS SOPS 329501 HAS SOUS 238079 HAS SOUPS 235526 WITH SCORE 235866.014
AT ITER 1828 NEW BEST:: SOT 1237546 SOS 340726 HAS SOPS 330375 HAS SOUS 237969 HAS SOUPS 235416 WITH SCORE 235756.726
AT ITER 1841 NEW BEST:: SOT 1237543 SOS 340652 HAS SOPS 330301 HAS SOUS 237966 HAS SOUPS 235413 WITH SCORE 235753.652
AT ITER 1844 NEW BEST:: SOT 1237543 SOS 340652 HAS SOPS 330301 HAS SOUS 237931 HAS SOUPS 235378 WITH SCORE 235718.652
AT ITER 1849 NEW BEST:: SOT 1237543 SOS 339247 HAS SOPS 328896 HAS SOUS 237770 HAS SOUPS 235217 WITH SCORE 235556.247
AT ITER 1860 NEW BEST:: SOT 1237478 SOS 338248 HAS SOPS 327897 HAS SOUS 237697 HAS SOUPS 235144 WITH SCORE 235482.248
AT ITER 1861 NEW BEST:: SOT 1236725 SOS 338693 HAS SOPS 328684 HAS SOUS 237413 HAS SOUPS 234859 WITH SCORE 235197.693
AT ITER 1868 NEW BEST:: SOT 1236658 SOS 338693 HAS SOPS 328684 HAS SOUS 237339 HAS SOUPS 234785 WITH SCORE 235123.693
AT ITER 1873 NEW BEST:: SOT 1236485 SOS 339033 HAS SOPS 328511 HAS SOUS 237397 HAS SOUPS 234782 WITH SCORE 235121.033
AT ITER 1880 NEW BEST:: SOT 1236348 SOS 339055 HAS SOPS 328533 HAS SOUS 237336 HAS SOUPS 234721 WITH SCORE 235060.055
AT ITER 1888 NEW BEST:: SOT 1236348 SOS 339042 HAS SOPS 328520 HAS SOUS 237336 HAS SOUPS 234721 WITH SCORE 235060.042
AT ITER 1889 NEW BEST:: SOT 1236348 SOS 339033 HAS SOPS 328511 HAS SOUS 237336 HAS SOUPS 234721 WITH SCORE 235060.033
AT ITER 1913 NEW BEST:: SOT 1236117 SOS 338892 HAS SOPS 328520 HAS SOUS 237273 HAS SOUPS 234658 WITH SCORE 234996.892
AT ITER 1923 NEW BEST:: SOT 1236021 SOS 338972 HAS SOPS 328600 HAS SOUS 237257 HAS SOUPS 234642 WITH SCORE 234980.972
AT ITER 1928 NEW BEST:: SOT 1235278 SOS 339897 HAS SOPS 329972 HAS SOUS 237173 HAS SOUPS 234558 WITH SCORE 234897.897
AT ITER 1955 NEW BEST:: SOT 1235114 SOS 339795 HAS SOPS 329870 HAS SOUS 236904 HAS SOUPS 234289 WITH SCORE 234628.795
AT ITER 1973 NEW BEST:: SOT 1235175 SOS 339856 HAS SOPS 329931 HAS SOUS 236807 HAS SOUPS 234192 WITH SCORE 234531.856
AT ITER 2048 NEW BEST:: SOT 1235118 SOS 339716 HAS SOPS 329791 HAS SOUS 236746 HAS SOUPS 234131 WITH SCORE 234470.716
AT ITER 2083 NEW BEST:: SOT 1230065 SOS 342708 HAS SOPS 332783 HAS SOUS 231844 HAS SOUPS 229229 WITH SCORE 229571.708
AT ITER 2098 NEW BEST:: SOT 1230057 SOS 342627 HAS SOPS 332702 HAS SOUS 231828 HAS SOUPS 229213 WITH SCORE 229555.627
AT ITER 2116 NEW BEST:: SOT 1229959 SOS 342693 HAS SOPS 332768 HAS SOUS 231796 HAS SOUPS 229181 WITH SCORE 229523.693
AT ITER 2126 NEW BEST:: SOT 1229947 SOS 342585 HAS SOPS 332660 HAS SOUS 231772 HAS SOUPS 229157 WITH SCORE 229499.585
AT ITER 2135 NEW BEST:: SOT 1229906 SOS 341834 HAS SOPS 331909 HAS SOUS 231730 HAS SOUPS 229115 WITH SCORE 229456.834
AT ITER 2152 NEW BEST:: SOT 1229902 SOS 341830 HAS SOPS 331905 HAS SOUS 231722 HAS SOUPS 229107 WITH SCORE 229448.83
AT ITER 2155 NEW BEST:: SOT 1229827 SOS 341852 HAS SOPS 331927 HAS SOUS 231686 HAS SOUPS 229071 WITH SCORE 229412.852
AT ITER 2173 NEW BEST:: SOT 1229819 SOS 341900 HAS SOPS 331824 HAS SOUS 231821 HAS SOUPS 229055 WITH SCORE 229396.9
AT ITER 2193 NEW BEST:: SOT 1229819 SOS 341876 HAS SOPS 331800 HAS SOUS 231821 HAS SOUPS 229055 WITH SCORE 229396.876
AT ITER 2233 NEW BEST:: SOT 1229768 SOS 341825 HAS SOPS 331749 HAS SOUS 231719 HAS SOUPS 228953 WITH SCORE 229294.825
AT ITER 2237 NEW BEST:: SOT 1229768 SOS 341825 HAS SOPS 331749 HAS SOUS 231639 HAS SOUPS 228873 WITH SCORE 229214.825
AT ITER 2249 NEW BEST:: SOT 1229768 SOS 341278 HAS SOPS 331125 HAS SOUS 231631 HAS SOUPS 228865 WITH SCORE 229206.278
AT ITER 2261 NEW BEST:: SOT 1229768 SOS 341278 HAS SOPS 331125 HAS SOUS 231589 HAS SOUPS 228823 WITH SCORE 229164.278
AT ITER 2269 NEW BEST:: SOT 1229658 SOS 341345 HAS SOPS 331192 HAS SOUS 231546 HAS SOUPS 228780 WITH SCORE 229121.345
AT ITER 2277 NEW BEST:: SOT 1229658 SOS 341333 HAS SOPS 331180 HAS SOUS 231534 HAS SOUPS 228768 WITH SCORE 229109.333
AT ITER 2300 NEW BEST:: SOT 1229629 SOS 341283 HAS SOPS 331101 HAS SOUS 231496 HAS SOUPS 228701 WITH SCORE 229042.283
AT ITER 2318 NEW BEST:: SOT 1229629 SOS 341283 HAS SOPS 331101 HAS SOUS 231424 HAS SOUPS 228629 WITH SCORE 228970.283
AT ITER 2330 NEW BEST:: SOT 1229648 SOS 341302 HAS SOPS 331120 HAS SOUS 231373 HAS SOUPS 228578 WITH SCORE 228919.302
AT ITER 2347 NEW BEST:: SOT 1229589 SOS 341139 HAS SOPS 330957 HAS SOUS 231104 HAS SOUPS 228309 WITH SCORE 228650.139
AT ITER 2348 NEW BEST:: SOT 1229589 SOS 340919 HAS SOPS 330737 HAS SOUS 231104 HAS SOUPS 228309 WITH SCORE 228649.919
AT ITER 2355 NEW BEST:: SOT 1229589 SOS 340913 HAS SOPS 330731 HAS SOUS 231104 HAS SOUPS 228309 WITH SCORE 228649.913
AT ITER 2366 NEW BEST:: SOT 1228993 SOS 341381 HAS SOPS 330250 HAS SOUS 230660 HAS SOUPS 227750 WITH SCORE 228091.381
AT ITER 2369 NEW BEST:: SOT 1228993 SOS 341346 HAS SOPS 330215 HAS SOUS 230660 HAS SOUPS 227750 WITH SCORE 228091.346
AT ITER 2381 NEW BEST:: SOT 1228837 SOS 341190 HAS SOPS 330059 HAS SOUS 230545 HAS SOUPS 227635 WITH SCORE 227976.19
AT ITER 2433 NEW BEST:: SOT 1228563 SOS 340916 HAS SOPS 329827 HAS SOUS 230271 HAS SOUPS 227361 WITH SCORE 227701.916
AT ITER 2437 NEW BEST:: SOT 1228419 SOS 340860 HAS SOPS 329771 HAS SOUS 230127 HAS SOUPS 227217 WITH SCORE 227557.86
AT ITER 2443 NEW BEST:: SOT 1228402 SOS 340827 HAS SOPS 329738 HAS SOUS 230094 HAS SOUPS 227184 WITH SCORE 227524.827
AT ITER 2468 NEW BEST:: SOT 1228374 SOS 340782 HAS SOPS 329693 HAS SOUS 230049 HAS SOUPS 227139 WITH SCORE 227479.782
AT ITER 2504 NEW BEST:: SOT 1228374 SOS 340761 HAS SOPS 329672 HAS SOUS 230049 HAS SOUPS 227139 WITH SCORE 227479.761
AT ITER 2542 NEW BEST:: SOT 1228227 SOS 339869 HAS SOPS 328780 HAS SOUS 229953 HAS SOUPS 227043 WITH SCORE 227382.869
AT ITER 2548 NEW BEST:: SOT 1228186 SOS 339828 HAS SOPS 328739 HAS SOUS 229769 HAS SOUPS 226859 WITH SCORE 227198.828
AT ITER 2553 NEW BEST:: SOT 1228089 SOS 339830 HAS SOPS 328741 HAS SOUS 229674 HAS SOUPS 226764 WITH SCORE 227103.83
AT ITER 2556 NEW BEST:: SOT 1228082 SOS 339761 HAS SOPS 328672 HAS SOUS 229659 HAS SOUPS 226749 WITH SCORE 227088.761
AT ITER 2564 NEW BEST:: SOT 1228060 SOS 339739 HAS SOPS 328650 HAS SOUS 229635 HAS SOUPS 226725 WITH SCORE 227064.739
AT ITER 2568 NEW BEST:: SOT 1228014 SOS 339693 HAS SOPS 328604 HAS SOUS 229583 HAS SOUPS 226673 WITH SCORE 227012.693
AT ITER 2586 NEW BEST:: SOT 1227939 SOS 339713 HAS SOPS 328624 HAS SOUS 229433 HAS SOUPS 226523 WITH SCORE 226862.713
AT ITER 2645 NEW BEST:: SOT 1227917 SOS 339590 HAS SOPS 328501 HAS SOUS 229389 HAS SOUPS 226479 WITH SCORE 226818.59
AT ITER 2676 NEW BEST:: SOT 1227874 SOS 339644 HAS SOPS 328555 HAS SOUS 229383 HAS SOUPS 226473 WITH SCORE 226812.644
AT ITER 2702 NEW BEST:: SOT 1227874 SOS 339476 HAS SOPS 328387 HAS SOUS 229383 HAS SOUPS 226473 WITH SCORE 226812.476
AT ITER 2712 NEW BEST:: SOT 1227869 SOS 339471 HAS SOPS 328382 HAS SOUS 229373 HAS SOUPS 226463 WITH SCORE 226802.471
AT ITER 2715 NEW BEST:: SOT 1227794 SOS 339540 HAS SOPS 328451 HAS SOUS 229369 HAS SOUPS 226459 WITH SCORE 226798.54
AT ITER 2742 NEW BEST:: SOT 1227794 SOS 339491 HAS SOPS 328402 HAS SOUS 229369 HAS SOUPS 226459 WITH SCORE 226798.491
AT ITER 2752 NEW BEST:: SOT 1227934 SOS 339631 HAS SOPS 328542 HAS SOUS 229110 HAS SOUPS 226200 WITH SCORE 226539.631
AT ITER 2767 NEW BEST:: SOT 1227946 SOS 339643 HAS SOPS 328554 HAS SOUS 229039 HAS SOUPS 226129 WITH SCORE 226468.643
AT ITER 2773 NEW BEST:: SOT 1227922 SOS 339603 HAS SOPS 328490 HAS SOUS 229015 HAS SOUPS 226081 WITH SCORE 226420.603
AT ITER 2774 NEW BEST:: SOT 1227895 SOS 339587 HAS SOPS 328474 HAS SOUS 229015 HAS SOUPS 226081 WITH SCORE 226420.587
AT ITER 2783 NEW BEST:: SOT 1227887 SOS 339571 HAS SOPS 328458 HAS SOUS 228999 HAS SOUPS 226065 WITH SCORE 226404.571
AT ITER 2785 NEW BEST:: SOT 1227759 SOS 339600 HAS SOPS 328487 HAS SOUS 228788 HAS SOUPS 225854 WITH SCORE 226193.6
AT ITER 2787 NEW BEST:: SOT 1227759 SOS 339543 HAS SOPS 328430 HAS SOUS 228787 HAS SOUPS 225853 WITH SCORE 226192.543
AT ITER 2831 NEW BEST:: SOT 1227753 SOS 339544 HAS SOPS 328390 HAS SOUS 228816 HAS SOUPS 225841 WITH SCORE 226180.544
AT ITER 2836 NEW BEST:: SOT 1227752 SOS 339541 HAS SOPS 328387 HAS SOUS 228814 HAS SOUPS 225839 WITH SCORE 226178.541
AT ITER 2845 NEW BEST:: SOT 1227752 SOS 339541 HAS SOPS 328387 HAS SOUS 228811 HAS SOUPS 225836 WITH SCORE 226175.541
AT ITER 2876 NEW BEST:: SOT 1227748 SOS 339537 HAS SOPS 328383 HAS SOUS 228803 HAS SOUPS 225828 WITH SCORE 226167.537
AT ITER 2890 NEW BEST:: SOT 1227687 SOS 339415 HAS SOPS 328261 HAS SOUS 228726 HAS SOUPS 225751 WITH SCORE 226090.415
AT ITER 2891 NEW BEST:: SOT 1227687 SOS 339381 HAS SOPS 328227 HAS SOUS 228726 HAS SOUPS 225751 WITH SCORE 226090.381
AT ITER 2904 NEW BEST:: SOT 1227726 SOS 339394 HAS SOPS 328240 HAS SOUS 228654 HAS SOUPS 225679 WITH SCORE 226018.394
AT ITER 2956 NEW BEST:: SOT 1226631 SOS 342106 HAS SOPS 327145 HAS SOUS 227633 HAS SOUPS 224340 WITH SCORE 224682.106
AT ITER 2962 NEW BEST:: SOT 1226631 SOS 342010 HAS SOPS 327145 HAS SOUS 227537 HAS SOUPS 224340 WITH SCORE 224682.01
AT ITER 2963 NEW BEST:: SOT 1226631 SOS 341480 HAS SOPS 326615 HAS SOUS 227452 HAS SOUPS 224255 WITH SCORE 224596.48
AT ITER 2977 NEW BEST:: SOT 1226547 SOS 341466 HAS SOPS 326664 HAS SOUS 227284 HAS SOUPS 224087 WITH SCORE 224428.466
AT ITER 2993 NEW BEST:: SOT 1226538 SOS 341001 HAS SOPS 326190 HAS SOUS 227269 HAS SOUPS 224072 WITH SCORE 224413.001
AT ITER 2997 NEW BEST:: SOT 1226515 SOS 340955 HAS SOPS 326121 HAS SOUS 227223 HAS SOUPS 224026 WITH SCORE 224366.955
AT ITER 3012 NEW BEST:: SOT 1226511 SOS 340955 HAS SOPS 326121 HAS SOUS 227219 HAS SOUPS 224022 WITH SCORE 224362.955
AT ITER 3022 NEW BEST:: SOT 1226448 SOS 340892 HAS SOPS 326058 HAS SOUS 227093 HAS SOUPS 223896 WITH SCORE 224236.892
AT ITER 3028 NEW BEST:: SOT 1226394 SOS 340822 HAS SOPS 325988 HAS SOUS 227023 HAS SOUPS 223826 WITH SCORE 224166.822
AT ITER 3029 NEW BEST:: SOT 1226394 SOS 340800 HAS SOPS 325966 HAS SOUS 226859 HAS SOUPS 223662 WITH SCORE 224002.8
AT ITER 3032 NEW BEST:: SOT 1226389 SOS 340760 HAS SOPS 325921 HAS SOUS 226849 HAS SOUPS 223652 WITH SCORE 223992.76
AT ITER 3078 NEW BEST:: SOT 1226367 SOS 340688 HAS SOPS 325849 HAS SOUS 226717 HAS SOUPS 223520 WITH SCORE 223860.688
AT ITER 3094 NEW BEST:: SOT 1226367 SOS 340501 HAS SOPS 325662 HAS SOUS 226709 HAS SOUPS 223512 WITH SCORE 223852.501
AT ITER 3100 NEW BEST:: SOT 1226388 SOS 340545 HAS SOPS 325706 HAS SOUS 226617 HAS SOUPS 223420 WITH SCORE 223760.545
AT ITER 3135 NEW BEST:: SOT 1226188 SOS 343907 HAS SOPS 325497 HAS SOUS 226898 HAS SOUPS 223412 WITH SCORE 223755.907
AT ITER 3141 NEW BEST:: SOT 1226171 SOS 343881 HAS SOPS 325454 HAS SOUS 226881 HAS SOUPS 223378 WITH SCORE 223721.881
AT ITER 3146 NEW BEST:: SOT 1226171 SOS 343881 HAS SOPS 325454 HAS SOUS 226808 HAS SOUPS 223305 WITH SCORE 223648.881
AT ITER 3150 NEW BEST:: SOT 1226077 SOS 343787 HAS SOPS 325360 HAS SOUS 226808 HAS SOUPS 223305 WITH SCORE 223648.787
AT ITER 3183 NEW BEST:: SOT 1225994 SOS 343718 HAS SOPS 325291 HAS SOUS 226656 HAS SOUPS 223153 WITH SCORE 223496.718
AT ITER 3186 NEW BEST:: SOT 1225784 SOS 343544 HAS SOPS 325117 HAS SOUS 226482 HAS SOUPS 222979 WITH SCORE 223322.544
AT ITER 3187 NEW BEST:: SOT 1225733 SOS 342457 HAS SOPS 324024 HAS SOUS 226425 HAS SOUPS 222922 WITH SCORE 223264.457
AT ITER 3204 NEW BEST:: SOT 1225733 SOS 342449 HAS SOPS 324016 HAS SOUS 226417 HAS SOUPS 222914 WITH SCORE 223256.449
AT ITER 3209 NEW BEST:: SOT 1225664 SOS 342380 HAS SOPS 323947 HAS SOUS 226348 HAS SOUPS 222845 WITH SCORE 223187.38
AT ITER 3215 NEW BEST:: SOT 1225655 SOS 342200 HAS SOPS 323758 HAS SOUS 226338 HAS SOUPS 222835 WITH SCORE 223177.2
AT ITER 3219 NEW BEST:: SOT 1225655 SOS 342186 HAS SOPS 323744 HAS SOUS 226338 HAS SOUPS 222835 WITH SCORE 223177.186
AT ITER 3225 NEW BEST:: SOT 1225647 SOS 342208 HAS SOPS 323766 HAS SOUS 226322 HAS SOUPS 222819 WITH SCORE 223161.208
AT ITER 3232 NEW BEST:: SOT 1225647 SOS 342171 HAS SOPS 323729 HAS SOUS 226321 HAS SOUPS 222818 WITH SCORE 223160.171
AT ITER 3245 NEW BEST:: SOT 1225622 SOS 342245 HAS SOPS 323803 HAS SOUS 226271 HAS SOUPS 222768 WITH SCORE 223110.245
AT ITER 3256 NEW BEST:: SOT 1225733 SOS 342356 HAS SOPS 323914 HAS SOUS 226174 HAS SOUPS 222671 WITH SCORE 223013.356
AT ITER 3265 NEW BEST:: SOT 1225724 SOS 342347 HAS SOPS 323905 HAS SOUS 226156 HAS SOUPS 222653 WITH SCORE 222995.347
AT ITER 3281 NEW BEST:: SOT 1225724 SOS 342339 HAS SOPS 323897 HAS SOUS 226148 HAS SOUPS 222645 WITH SCORE 222987.339
AT ITER 3282 NEW BEST:: SOT 1225558 SOS 342339 HAS SOPS 323897 HAS SOUS 226016 HAS SOUPS 222513 WITH SCORE 222855.339
AT ITER 3325 NEW BEST:: SOT 1225557 SOS 342338 HAS SOPS 323896 HAS SOUS 226014 HAS SOUPS 222511 WITH SCORE 222853.338
AT ITER 3335 NEW BEST:: SOT 1225568 SOS 341171 HAS SOPS 322729 HAS SOUS 225806 HAS SOUPS 222303 WITH SCORE 222644.171
AT ITER 3352 NEW BEST:: SOT 1225561 SOS 341164 HAS SOPS 322722 HAS SOUS 225673 HAS SOUPS 222170 WITH SCORE 222511.164
AT ITER 3354 NEW BEST:: SOT 1225553 SOS 341156 HAS SOPS 322714 HAS SOUS 225673 HAS SOUPS 222170 WITH SCORE 222511.156
AT ITER 3364 NEW BEST:: SOT 1225535 SOS 341104 HAS SOPS 322662 HAS SOUS 225655 HAS SOUPS 222152 WITH SCORE 222493.104
AT ITER 3375 NEW BEST:: SOT 1225513 SOS 341082 HAS SOPS 322640 HAS SOUS 225611 HAS SOUPS 222108 WITH SCORE 222449.082
AT ITER 3413 NEW BEST:: SOT 1225545 SOS 340480 HAS SOPS 322038 HAS SOUS 225561 HAS SOUPS 222058 WITH SCORE 222398.48
AT ITER 3419 NEW BEST:: SOT 1225537 SOS 340078 HAS SOPS 321636 HAS SOUS 225553 HAS SOUPS 222050 WITH SCORE 222390.078
AT ITER 3473 NEW BEST:: SOT 1225459 SOS 340203 HAS SOPS 321761 HAS SOUS 225530 HAS SOUPS 222027 WITH SCORE 222367.203
AT ITER 3482 NEW BEST:: SOT 1225371 SOS 340203 HAS SOPS 321761 HAS SOUS 225442 HAS SOUPS 221939 WITH SCORE 222279.203
AT ITER 3489 NEW BEST:: SOT 1225361 SOS 340193 HAS SOPS 321751 HAS SOUS 225422 HAS SOUPS 221919 WITH SCORE 222259.193
AT ITER 3498 NEW BEST:: SOT 1225329 SOS 340160 HAS SOPS 321718 HAS SOUS 225358 HAS SOUPS 221855 WITH SCORE 222195.16
AT ITER 3523 NEW BEST:: SOT 1225328 SOS 340159 HAS SOPS 321717 HAS SOUS 225356 HAS SOUPS 221853 WITH SCORE 222193.159
AT ITER 3555 NEW BEST:: SOT 1225353 SOS 340184 HAS SOPS 321742 HAS SOUS 225345 HAS SOUPS 221842 WITH SCORE 222182.184
AT ITER 3584 NEW BEST:: SOT 1225336 SOS 340150 HAS SOPS 321708 HAS SOUS 225294 HAS SOUPS 221791 WITH SCORE 222131.15
AT ITER 3620 NEW BEST:: SOT 1225300 SOS 340207 HAS SOPS 321708 HAS SOUS 225279 HAS SOUPS 221719 WITH SCORE 222059.207
AT ITER 3646 NEW BEST:: SOT 1225291 SOS 340198 HAS SOPS 321699 HAS SOUS 225270 HAS SOUPS 221710 WITH SCORE 222050.198
AT ITER 3650 NEW BEST:: SOT 1224885 SOS 342144 HAS SOPS 321484 HAS SOUS 225467 HAS SOUPS 221708 WITH SCORE 222050.144
AT ITER 3661 NEW BEST:: SOT 1224885 SOS 342144 HAS SOPS 321484 HAS SOUS 225389 HAS SOUPS 221630 WITH SCORE 221972.144
AT ITER 3676 NEW BEST:: SOT 1224450 SOS 344198 HAS SOPS 321259 HAS SOUS 225462 HAS SOUPS 221493 WITH SCORE 221837.198
AT ITER 3720 NEW BEST:: SOT 1224097 SOS 347644 HAS SOPS 321062 HAS SOUS 225688 HAS SOUPS 221418 WITH SCORE 221765.644
AT ITER 3734 NEW BEST:: SOT 1224085 SOS 347632 HAS SOPS 321050 HAS SOUS 225664 HAS SOUPS 221394 WITH SCORE 221741.632
AT ITER 3753 NEW BEST:: SOT 1224080 SOS 347618 HAS SOPS 321036 HAS SOUS 225630 HAS SOUPS 221360 WITH SCORE 221707.618
AT ITER 3763 NEW BEST:: SOT 1224047 SOS 347618 HAS SOPS 321036 HAS SOUS 225597 HAS SOUPS 221327 WITH SCORE 221674.618
AT ITER 3768 NEW BEST:: SOT 1224047 SOS 347596 HAS SOPS 321014 HAS SOUS 225595 HAS SOUPS 221325 WITH SCORE 221672.596
AT ITER 3776 NEW BEST:: SOT 1224047 SOS 347488 HAS SOPS 321014 HAS SOUS 225523 HAS SOUPS 221265 WITH SCORE 221612.488
AT ITER 3784 NEW BEST:: SOT 1224012 SOS 347453 HAS SOPS 320979 HAS SOUS 225480 HAS SOUPS 221222 WITH SCORE 221569.453
AT ITER 3785 NEW BEST:: SOT 1223876 SOS 346609 HAS SOPS 320135 HAS SOUS 225252 HAS SOUPS 220994 WITH SCORE 221340.609
AT ITER 3827 NEW BEST:: SOT 1223849 SOS 346574 HAS SOPS 320100 HAS SOUS 225217 HAS SOUPS 220959 WITH SCORE 221305.574
AT ITER 3846 NEW BEST:: SOT 1223840 SOS 346565 HAS SOPS 320091 HAS SOUS 225208 HAS SOUPS 220950 WITH SCORE 221296.565
AT ITER 3854 NEW BEST:: SOT 1223869 SOS 346135 HAS SOPS 319661 HAS SOUS 225126 HAS SOUPS 220868 WITH SCORE 221214.135
AT ITER 3871 NEW BEST:: SOT 1223866 SOS 346132 HAS SOPS 319658 HAS SOUS 225123 HAS SOUPS 220865 WITH SCORE 221211.132
AT ITER 3897 NEW BEST:: SOT 1223798 SOS 346064 HAS SOPS 319590 HAS SOUS 224987 HAS SOUPS 220729 WITH SCORE 221075.064
AT ITER 3914 NEW BEST:: SOT 1223780 SOS 346013 HAS SOPS 319539 HAS SOUS 224918 HAS SOUPS 220660 WITH SCORE 221006.013
AT ITER 3922 NEW BEST:: SOT 1223740 SOS 345973 HAS SOPS 319499 HAS SOUS 224838 HAS SOUPS 220580 WITH SCORE 220925.973
AT ITER 3952 NEW BEST:: SOT 1223711 SOS 345944 HAS SOPS 319470 HAS SOUS 224780 HAS SOUPS 220522 WITH SCORE 220867.944
AT ITER 3973 NEW BEST:: SOT 1223580 SOS 345670 HAS SOPS 319196 HAS SOUS 224673 HAS SOUPS 220415 WITH SCORE 220760.67
AT ITER 3979 NEW BEST:: SOT 1223646 SOS 345736 HAS SOPS 319152 HAS SOUS 224750 HAS SOUPS 220382 WITH SCORE 220727.736
AT ITER 3992 NEW BEST:: SOT 1223685 SOS 345775 HAS SOPS 319191 HAS SOUS 224727 HAS SOUPS 220359 WITH SCORE 220704.775
AT ITER 4004 NEW BEST:: SOT 1223682 SOS 345772 HAS SOPS 319188 HAS SOUS 224721 HAS SOUPS 220353 WITH SCORE 220698.772
AT ITER 4023 NEW BEST:: SOT 1223682 SOS 345757 HAS SOPS 319173 HAS SOUS 224721 HAS SOUPS 220353 WITH SCORE 220698.757
AT ITER 4068 NEW BEST:: SOT 1223644 SOS 345719 HAS SOPS 319135 HAS SOUS 224645 HAS SOUPS 220277 WITH SCORE 220622.719
AT ITER 4071 NEW BEST:: SOT 1223450 SOS 345649 HAS SOPS 319065 HAS SOUS 224451 HAS SOUPS 220083 WITH SCORE 220428.649
AT ITER 4084 NEW BEST:: SOT 1223449 SOS 345597 HAS SOPS 319013 HAS SOUS 224449 HAS SOUPS 220081 WITH SCORE 220426.597
AT ITER 4101 NEW BEST:: SOT 1223449 SOS 345597 HAS SOPS 319013 HAS SOUS 224447 HAS SOUPS 220079 WITH SCORE 220424.597
AT ITER 4113 NEW BEST:: SOT 1223422 SOS 345617 HAS SOPS 319033 HAS SOUS 224393 HAS SOUPS 220025 WITH SCORE 220370.617
AT ITER 4163 NEW BEST:: SOT 1223347 SOS 345017 HAS SOPS 318433 HAS SOUS 224243 HAS SOUPS 219875 WITH SCORE 220220.017
AT ITER 4166 NEW BEST:: SOT 1223269 SOS 345017 HAS SOPS 318433 HAS SOUS 224165 HAS SOUPS 219797 WITH SCORE 220142.017
AT ITER 4168 NEW BEST:: SOT 1223247 SOS 344973 HAS SOPS 318389 HAS SOUS 224143 HAS SOUPS 219775 WITH SCORE 220119.973
AT ITER 4194 NEW BEST:: SOT 1223241 SOS 344967 HAS SOPS 318383 HAS SOUS 224131 HAS SOUPS 219763 WITH SCORE 220107.967
AT ITER 4199 NEW BEST:: SOT 1223146 SOS 344967 HAS SOPS 318383 HAS SOUS 224036 HAS SOUPS 219668 WITH SCORE 220012.967
AT ITER 4213 NEW BEST:: SOT 1223055 SOS 344803 HAS SOPS 318219 HAS SOUS 223963 HAS SOUPS 219595 WITH SCORE 219939.803
AT ITER 4215 NEW BEST:: SOT 1223043 SOS 344791 HAS SOPS 318207 HAS SOUS 223951 HAS SOUPS 219583 WITH SCORE 219927.791
AT ITER 4228 NEW BEST:: SOT 1223001 SOS 344733 HAS SOPS 318149 HAS SOUS 223775 HAS SOUPS 219407 WITH SCORE 219751.733
AT ITER 4230 NEW BEST:: SOT 1222892 SOS 344992 HAS SOPS 318408 HAS SOUS 223601 HAS SOUPS 219233 WITH SCORE 219577.992
AT ITER 4231 NEW BEST:: SOT 1222913 SOS 345013 HAS SOPS 318429 HAS SOUS 223586 HAS SOUPS 219218 WITH SCORE 219563.013
AT ITER 4233 NEW BEST:: SOT 1222789 SOS 344879 HAS SOPS 318295 HAS SOUS 223452 HAS SOUPS 219084 WITH SCORE 219428.879
AT ITER 4266 NEW BEST:: SOT 1222767 SOS 344920 HAS SOPS 318336 HAS SOUS 223436 HAS SOUPS 219068 WITH SCORE 219412.92
AT ITER 4282 NEW BEST:: SOT 1222767 SOS 344746 HAS SOPS 318162 HAS SOUS 223436 HAS SOUPS 219068 WITH SCORE 219412.746
AT ITER 4293 NEW BEST:: SOT 1222746 SOS 344705 HAS SOPS 318121 HAS SOUS 223419 HAS SOUPS 219051 WITH SCORE 219395.705
AT ITER 4301 NEW BEST:: SOT 1222626 SOS 350406 HAS SOPS 323822 HAS SOUS 223288 HAS SOUPS 218920 WITH SCORE 219270.406
AT ITER 4314 NEW BEST:: SOT 1222622 SOS 350406 HAS SOPS 323758 HAS SOUS 223226 HAS SOUPS 218856 WITH SCORE 219206.406
AT ITER 4320 NEW BEST:: SOT 1222681 SOS 350465 HAS SOPS 323817 HAS SOUS 223208 HAS SOUPS 218838 WITH SCORE 219188.465
AT ITER 4339 NEW BEST:: SOT 1222681 SOS 350465 HAS SOPS 323817 HAS SOUS 223111 HAS SOUPS 218741 WITH SCORE 219091.465
AT ITER 4341 NEW BEST:: SOT 1222616 SOS 350400 HAS SOPS 323752 HAS SOUS 223039 HAS SOUPS 218669 WITH SCORE 219019.4
AT ITER 4343 NEW BEST:: SOT 1222602 SOS 350330 HAS SOPS 323682 HAS SOUS 223011 HAS SOUPS 218641 WITH SCORE 218991.33
AT ITER 4351 NEW BEST:: SOT 1222602 SOS 350326 HAS SOPS 323678 HAS SOUS 223011 HAS SOUPS 218641 WITH SCORE 218991.326
AT ITER 4377 NEW BEST:: SOT 1222616 SOS 350340 HAS SOPS 323692 HAS SOUS 222927 HAS SOUPS 218557 WITH SCORE 218907.34
AT ITER 4379 NEW BEST:: SOT 1222564 SOS 350288 HAS SOPS 323640 HAS SOUS 222823 HAS SOUPS 218453 WITH SCORE 218803.288
AT ITER 4398 NEW BEST:: SOT 1222506 SOS 350082 HAS SOPS 323434 HAS SOUS 222707 HAS SOUPS 218337 WITH SCORE 218687.082
AT ITER 4445 NEW BEST:: SOT 1222506 SOS 350082 HAS SOPS 323434 HAS SOUS 222698 HAS SOUPS 218328 WITH SCORE 218678.082
AT ITER 4476 NEW BEST:: SOT 1222082 SOS 349657 HAS SOPS 323009 HAS SOUS 222273 HAS SOUPS 217903 WITH SCORE 218252.657
AT ITER 4513 NEW BEST:: SOT 1222010 SOS 349009 HAS SOPS 322361 HAS SOUS 222129 HAS SOUPS 217759 WITH SCORE 218108.009
AT ITER 4524 NEW BEST:: SOT 1221973 SOS 349010 HAS SOPS 322362 HAS SOUS 222093 HAS SOUPS 217723 WITH SCORE 218072.01
AT ITER 4527 NEW BEST:: SOT 1221925 SOS 348990 HAS SOPS 322342 HAS SOUS 221990 HAS SOUPS 217620 WITH SCORE 217968.99
AT ITER 4536 NEW BEST:: SOT 1222007 SOS 348903 HAS SOPS 322255 HAS SOUS 221984 HAS SOUPS 217614 WITH SCORE 217962.903
AT ITER 4550 NEW BEST:: SOT 1221497 SOS 350461 HAS SOPS 321904 HAS SOUS 222006 HAS SOUPS 217449 WITH SCORE 217799.461
AT ITER 4552 NEW BEST:: SOT 1221429 SOS 350563 HAS SOPS 322006 HAS SOUS 221840 HAS SOUPS 217283 WITH SCORE 217633.563
AT ITER 4573 NEW BEST:: SOT 1221424 SOS 350558 HAS SOPS 322001 HAS SOUS 221835 HAS SOUPS 217278 WITH SCORE 217628.558
AT ITER 4574 NEW BEST:: SOT 1221405 SOS 350539 HAS SOPS 321982 HAS SOUS 221826 HAS SOUPS 217269 WITH SCORE 217619.539
AT ITER 4583 NEW BEST:: SOT 1221397 SOS 350531 HAS SOPS 321974 HAS SOUS 221818 HAS SOUPS 217261 WITH SCORE 217611.531
AT ITER 4590 NEW BEST:: SOT 1221299 SOS 350433 HAS SOPS 321876 HAS SOUS 221622 HAS SOUPS 217065 WITH SCORE 217415.433
AT ITER 4608 NEW BEST:: SOT 1221326 SOS 350460 HAS SOPS 321903 HAS SOUS 221551 HAS SOUPS 216994 WITH SCORE 217344.46
AT ITER 4626 NEW BEST:: SOT 1221147 SOS 350505 HAS SOPS 321948 HAS SOUS 221417 HAS SOUPS 216860 WITH SCORE 217210.505
AT ITER 4631 NEW BEST:: SOT 1220829 SOS 350888 HAS SOPS 321630 HAS SOUS 221355 HAS SOUPS 216713 WITH SCORE 217063.888
AT ITER 4656 NEW BEST:: SOT 1220749 SOS 350728 HAS SOPS 321470 HAS SOUS 221259 HAS SOUPS 216617 WITH SCORE 216967.728
AT ITER 4665 NEW BEST:: SOT 1220789 SOS 350686 HAS SOPS 321428 HAS SOUS 221257 HAS SOUPS 216615 WITH SCORE 216965.686
AT ITER 4682 NEW BEST:: SOT 1220789 SOS 350661 HAS SOPS 321420 HAS SOUS 221249 HAS SOUPS 216607 WITH SCORE 216957.661
AT ITER 4696 NEW BEST:: SOT 1220907 SOS 349923 HAS SOPS 320682 HAS SOUS 221220 HAS SOUPS 216578 WITH SCORE 216927.923
AT ITER 4703 NEW BEST:: SOT 1220827 SOS 349760 HAS SOPS 320519 HAS SOUS 221078 HAS SOUPS 216436 WITH SCORE 216785.76
AT ITER 4726 NEW BEST:: SOT 1220819 SOS 349737 HAS SOPS 320496 HAS SOUS 221062 HAS SOUPS 216420 WITH SCORE 216769.737
AT ITER 4727 NEW BEST:: SOT 1220819 SOS 349737 HAS SOPS 320496 HAS SOUS 221061 HAS SOUPS 216419 WITH SCORE 216768.737
AT ITER 4749 NEW BEST:: SOT 1220782 SOS 349831 HAS SOPS 320590 HAS SOUS 221060 HAS SOUPS 216418 WITH SCORE 216767.831
AT ITER 4776 NEW BEST:: SOT 1220782 SOS 349825 HAS SOPS 320584 HAS SOUS 221060 HAS SOUPS 216418 WITH SCORE 216767.825
AT ITER 4783 NEW BEST:: SOT 1220741 SOS 348364 HAS SOPS 318954 HAS SOUS 220956 HAS SOUPS 216314 WITH SCORE 216662.364
AT ITER 4790 NEW BEST:: SOT 1220689 SOS 348312 HAS SOPS 318902 HAS SOUS 220904 HAS SOUPS 216262 WITH SCORE 216610.312
AT ITER 4809 NEW BEST:: SOT 1220590 SOS 348429 HAS SOPS 318803 HAS SOUS 220860 HAS SOUPS 216191 WITH SCORE 216539.429
AT ITER 4840 NEW BEST:: SOT 1220582 SOS 348421 HAS SOPS 318795 HAS SOUS 220844 HAS SOUPS 216175 WITH SCORE 216523.421
AT ITER 4872 NEW BEST:: SOT 1220574 SOS 348413 HAS SOPS 318787 HAS SOUS 220827 HAS SOUPS 216158 WITH SCORE 216506.413
AT ITER 4876 NEW BEST:: SOT 1220543 SOS 348382 HAS SOPS 318756 HAS SOUS 220796 HAS SOUPS 216127 WITH SCORE 216475.382
AT ITER 4888 NEW BEST:: SOT 1220466 SOS 348307 HAS SOPS 318681 HAS SOUS 220719 HAS SOUPS 216050 WITH SCORE 216398.307
AT ITER 4916 NEW BEST:: SOT 1220466 SOS 348307 HAS SOPS 318681 HAS SOUS 220633 HAS SOUPS 215964 WITH SCORE 216312.307
AT ITER 4939 NEW BEST:: SOT 1220466 SOS 348307 HAS SOPS 318681 HAS SOUS 220617 HAS SOUPS 215948 WITH SCORE 216296.307
AT ITER 4959 NEW BEST:: SOT 1220450 SOS 348291 HAS SOPS 318665 HAS SOUS 220585 HAS SOUPS 215916 WITH SCORE 216264.291
AT ITER 4968 NEW BEST:: SOT 1220450 SOS 348291 HAS SOPS 318665 HAS SOUS 220506 HAS SOUPS 215837 WITH SCORE 216185.291
AT ITER 5026 NEW BEST:: SOT 1220411 SOS 348252 HAS SOPS 318626 HAS SOUS 220467 HAS SOUPS 215798 WITH SCORE 216146.252
AT ITER 5027 NEW BEST:: SOT 1220393 SOS 348234 HAS SOPS 318608 HAS SOUS 220449 HAS SOUPS 215780 WITH SCORE 216128.234
AT ITER 5029 NEW BEST:: SOT 1220379 SOS 348210 HAS SOPS 318598 HAS SOUS 220435 HAS SOUPS 215766 WITH SCORE 216114.21
AT ITER 5032 NEW BEST:: SOT 1220379 SOS 348210 HAS SOPS 318598 HAS SOUS 220378 HAS SOUPS 215709 WITH SCORE 216057.21
AT ITER 5099 NEW BEST:: SOT 1220353 SOS 348070 HAS SOPS 318458 HAS SOUS 220306 HAS SOUPS 215637 WITH SCORE 215985.07
AT ITER 5100 NEW BEST:: SOT 1220152 SOS 346184 HAS SOPS 316347 HAS SOUS 219904 HAS SOUPS 215235 WITH SCORE 215581.184
AT ITER 5109 NEW BEST:: SOT 1220405 SOS 346472 HAS SOPS 314941 HAS SOUS 218744 HAS SOUPS 213918 WITH SCORE 214264.472
AT ITER 5129 NEW BEST:: SOT 1220405 SOS 346435 HAS SOPS 314904 HAS SOUS 218744 HAS SOUPS 213918 WITH SCORE 214264.435
AT ITER 5136 NEW BEST:: SOT 1220439 SOS 346469 HAS SOPS 314938 HAS SOUS 218717 HAS SOUPS 213891 WITH SCORE 214237.469
AT ITER 5141 NEW BEST:: SOT 1220424 SOS 345948 HAS SOPS 314417 HAS SOUS 218625 HAS SOUPS 213799 WITH SCORE 214144.948
AT ITER 5176 NEW BEST:: SOT 1220336 SOS 345849 HAS SOPS 314318 HAS SOUS 218526 HAS SOUPS 213700 WITH SCORE 214045.849
AT ITER 5199 NEW BEST:: SOT 1220295 SOS 345775 HAS SOPS 314244 HAS SOUS 218477 HAS SOUPS 213651 WITH SCORE 213996.775
AT ITER 5222 NEW BEST:: SOT 1220120 SOS 343971 HAS SOPS 312440 HAS SOUS 218127 HAS SOUPS 213301 WITH SCORE 213644.971
AT ITER 5223 NEW BEST:: SOT 1220140 SOS 343902 HAS SOPS 312371 HAS SOUS 218099 HAS SOUPS 213273 WITH SCORE 213616.902
AT ITER 5224 NEW BEST:: SOT 1220011 SOS 343773 HAS SOPS 312242 HAS SOUS 217893 HAS SOUPS 213067 WITH SCORE 213410.773
AT ITER 5230 NEW BEST:: SOT 1219979 SOS 343753 HAS SOPS 312222 HAS SOUS 217829 HAS SOUPS 213003 WITH SCORE 213346.753
AT ITER 5244 NEW BEST:: SOT 1219884 SOS 343753 HAS SOPS 312222 HAS SOUS 217754 HAS SOUPS 212928 WITH SCORE 213271.753
AT ITER 5287 NEW BEST:: SOT 1219666 SOS 342064 HAS SOPS 310533 HAS SOUS 217281 HAS SOUPS 212455 WITH SCORE 212797.064
AT ITER 5290 NEW BEST:: SOT 1219659 SOS 342085 HAS SOPS 310554 HAS SOUS 217275 HAS SOUPS 212449 WITH SCORE 212791.085
AT ITER 5298 NEW BEST:: SOT 1219650 SOS 342076 HAS SOPS 310545 HAS SOUS 217257 HAS SOUPS 212431 WITH SCORE 212773.076
AT ITER 5334 NEW BEST:: SOT 1219650 SOS 342076 HAS SOPS 310545 HAS SOUS 217116 HAS SOUPS 212290 WITH SCORE 212632.076
AT ITER 5335 NEW BEST:: SOT 1219650 SOS 341962 HAS SOPS 310431 HAS SOUS 217116 HAS SOUPS 212290 WITH SCORE 212631.962
AT ITER 5349 NEW BEST:: SOT 1219596 SOS 341815 HAS SOPS 310284 HAS SOUS 217008 HAS SOUPS 212182 WITH SCORE 212523.815
AT ITER 5354 NEW BEST:: SOT 1219395 SOS 341614 HAS SOPS 310083 HAS SOUS 216777 HAS SOUPS 211951 WITH SCORE 212292.614
AT ITER 5355 NEW BEST:: SOT 1219388 SOS 341607 HAS SOPS 310076 HAS SOUS 216763 HAS SOUPS 211937 WITH SCORE 212278.607
AT ITER 5363 NEW BEST:: SOT 1219382 SOS 341404 HAS SOPS 309873 HAS SOUS 216732 HAS SOUPS 211906 WITH SCORE 212247.404
AT ITER 5375 NEW BEST:: SOT 1218979 SOS 341765 HAS SOPS 310457 HAS SOUS 216475 HAS SOUPS 211649 WITH SCORE 211990.765
AT ITER 5394 NEW BEST:: SOT 1219041 SOS 341827 HAS SOPS 310519 HAS SOUS 216432 HAS SOUPS 211606 WITH SCORE 211947.827
AT ITER 5414 NEW BEST:: SOT 1219034 SOS 341812 HAS SOPS 310504 HAS SOUS 216417 HAS SOUPS 211591 WITH SCORE 211932.812
AT ITER 5418 NEW BEST:: SOT 1219013 SOS 341801 HAS SOPS 310472 HAS SOUS 216375 HAS SOUPS 211549 WITH SCORE 211890.801
AT ITER 5451 NEW BEST:: SOT 1219013 SOS 341801 HAS SOPS 310472 HAS SOUS 216270 HAS SOUPS 211444 WITH SCORE 211785.801
AT ITER 5463 NEW BEST:: SOT 1219013 SOS 341793 HAS SOPS 310464 HAS SOUS 216262 HAS SOUPS 211436 WITH SCORE 211777.793
AT ITER 5492 NEW BEST:: SOT 1218910 SOS 341614 HAS SOPS 310285 HAS SOUS 216065 HAS SOUPS 211239 WITH SCORE 211580.614
AT ITER 5512 NEW BEST:: SOT 1218889 SOS 341593 HAS SOPS 310264 HAS SOUS 216023 HAS SOUPS 211197 WITH SCORE 211538.593
AT ITER 5516 NEW BEST:: SOT 1218889 SOS 341502 HAS SOPS 310173 HAS SOUS 216023 HAS SOUPS 211197 WITH SCORE 211538.502
AT ITER 5536 NEW BEST:: SOT 1218847 SOS 341460 HAS SOPS 310131 HAS SOUS 215939 HAS SOUPS 211113 WITH SCORE 211454.46
AT ITER 5538 NEW BEST:: SOT 1218839 SOS 341420 HAS SOPS 310091 HAS SOUS 215891 HAS SOUPS 211065 WITH SCORE 211406.42
AT ITER 5542 NEW BEST:: SOT 1218704 SOS 341296 HAS SOPS 309967 HAS SOUS 215759 HAS SOUPS 210933 WITH SCORE 211274.296
AT ITER 5565 NEW BEST:: SOT 1218679 SOS 341296 HAS SOPS 309967 HAS SOUS 215734 HAS SOUPS 210908 WITH SCORE 211249.296
AT ITER 5587 NEW BEST:: SOT 1218692 SOS 341309 HAS SOPS 309980 HAS SOUS 215678 HAS SOUPS 210852 WITH SCORE 211193.309
AT ITER 5592 NEW BEST:: SOT 1218592 SOS 341131 HAS SOPS 309802 HAS SOUS 215617 HAS SOUPS 210791 WITH SCORE 211132.131
AT ITER 5603 NEW BEST:: SOT 1218474 SOS 338090 HAS SOPS 309662 HAS SOUS 215381 HAS SOUPS 210732 WITH SCORE 211070.09
AT ITER 5640 NEW BEST:: SOT 1218425 SOS 337896 HAS SOPS 309468 HAS SOUS 215301 HAS SOUPS 210652 WITH SCORE 210989.896
AT ITER 5654 NEW BEST:: SOT 1218416 SOS 337896 HAS SOPS 309468 HAS SOUS 215292 HAS SOUPS 210643 WITH SCORE 210980.896
AT ITER 5656 NEW BEST:: SOT 1218405 SOS 337877 HAS SOPS 309449 HAS SOUS 215273 HAS SOUPS 210624 WITH SCORE 210961.877
AT ITER 5665 NEW BEST:: SOT 1218389 SOS 337861 HAS SOPS 309433 HAS SOUS 215257 HAS SOUPS 210608 WITH SCORE 210945.861
AT ITER 5666 NEW BEST:: SOT 1218292 SOS 337756 HAS SOPS 309328 HAS SOUS 215152 HAS SOUPS 210503 WITH SCORE 210840.756
AT ITER 5680 NEW BEST:: SOT 1218291 SOS 337755 HAS SOPS 309327 HAS SOUS 215150 HAS SOUPS 210501 WITH SCORE 210838.755
AT ITER 5699 NEW BEST:: SOT 1218210 SOS 337681 HAS SOPS 309253 HAS SOUS 215150 HAS SOUPS 210501 WITH SCORE 210838.681
AT ITER 5733 NEW BEST:: SOT 1218210 SOS 337369 HAS SOPS 308941 HAS SOUS 215088 HAS SOUPS 210439 WITH SCORE 210776.369
AT ITER 5743 NEW BEST:: SOT 1218122 SOS 337281 HAS SOPS 308853 HAS SOUS 215000 HAS SOUPS 210351 WITH SCORE 210688.281
AT ITER 5787 NEW BEST:: SOT 1218099 SOS 337235 HAS SOPS 308807 HAS SOUS 214974 HAS SOUPS 210325 WITH SCORE 210662.235
AT ITER 5788 NEW BEST:: SOT 1218005 SOS 336295 HAS SOPS 307867 HAS SOUS 214786 HAS SOUPS 210137 WITH SCORE 210473.295
AT ITER 5825 NEW BEST:: SOT 1218020 SOS 336310 HAS SOPS 307882 HAS SOUS 214665 HAS SOUPS 210016 WITH SCORE 210352.31
AT ITER 5827 NEW BEST:: SOT 1218018 SOS 336281 HAS SOPS 307977 HAS SOUS 214663 HAS SOUPS 210014 WITH SCORE 210350.281
AT ITER 5852 NEW BEST:: SOT 1217883 SOS 336144 HAS SOPS 307840 HAS SOUS 214435 HAS SOUPS 209786 WITH SCORE 210122.144
AT ITER 5859 NEW BEST:: SOT 1217846 SOS 336107 HAS SOPS 307803 HAS SOUS 214361 HAS SOUPS 209712 WITH SCORE 210048.107
AT ITER 5860 NEW BEST:: SOT 1217838 SOS 336099 HAS SOPS 307795 HAS SOUS 214345 HAS SOUPS 209696 WITH SCORE 210032.099
AT ITER 5883 NEW BEST:: SOT 1217838 SOS 336051 HAS SOPS 307731 HAS SOUS 214345 HAS SOUPS 209696 WITH SCORE 210032.051
AT ITER 5904 NEW BEST:: SOT 1217741 SOS 335924 HAS SOPS 307604 HAS SOUS 214160 HAS SOUPS 209511 WITH SCORE 209846.924
AT ITER 5912 NEW BEST:: SOT 1217741 SOS 335924 HAS SOPS 307604 HAS SOUS 214113 HAS SOUPS 209464 WITH SCORE 209799.924
AT ITER 5937 NEW BEST:: SOT 1217781 SOS 335882 HAS SOPS 307562 HAS SOUS 214112 HAS SOUPS 209463 WITH SCORE 209798.882
AT ITER 5939 NEW BEST:: SOT 1217781 SOS 335882 HAS SOPS 307562 HAS SOUS 213957 HAS SOUPS 209308 WITH SCORE 209643.882
AT ITER 5964 NEW BEST:: SOT 1217694 SOS 335849 HAS SOPS 307529 HAS SOUS 213783 HAS SOUPS 209134 WITH SCORE 209469.849
AT ITER 5978 NEW BEST:: SOT 1217694 SOS 335670 HAS SOPS 307350 HAS SOUS 213604 HAS SOUPS 208955 WITH SCORE 209290.67
AT ITER 5991 NEW BEST:: SOT 1217721 SOS 335697 HAS SOPS 307377 HAS SOUS 213487 HAS SOUPS 208838 WITH SCORE 209173.697
AT ITER 6012 NEW BEST:: SOT 1217710 SOS 335686 HAS SOPS 307355 HAS SOUS 213465 HAS SOUPS 208816 WITH SCORE 209151.686
AT ITER 6051 NEW BEST:: SOT 1217593 SOS 335482 HAS SOPS 307151 HAS SOUS 213398 HAS SOUPS 208749 WITH SCORE 209084.482
AT ITER 6070 NEW BEST:: SOT 1217463 SOS 335386 HAS SOPS 307021 HAS SOUS 213159 HAS SOUPS 208510 WITH SCORE 208845.386
AT ITER 6090 NEW BEST:: SOT 1217409 SOS 335356 HAS SOPS 307011 HAS SOUS 213110 HAS SOUPS 208461 WITH SCORE 208796.356
AT ITER 6094 NEW BEST:: SOT 1217367 SOS 335293 HAS SOPS 306948 HAS SOUS 213047 HAS SOUPS 208398 WITH SCORE 208733.293
AT ITER 6131 NEW BEST:: SOT 1217245 SOS 335301 HAS SOPS 306956 HAS SOUS 212921 HAS SOUPS 208272 WITH SCORE 208607.301
AT ITER 6139 NEW BEST:: SOT 1217234 SOS 335290 HAS SOPS 306945 HAS SOUS 212899 HAS SOUPS 208250 WITH SCORE 208585.29
AT ITER 6217 NEW BEST:: SOT 1216861 SOS 335442 HAS SOPS 307097 HAS SOUS 212526 HAS SOUPS 207877 WITH SCORE 208212.442
AT ITER 6221 NEW BEST:: SOT 1216861 SOS 335401 HAS SOPS 307056 HAS SOUS 212386 HAS SOUPS 207737 WITH SCORE 208072.401
AT ITER 6223 NEW BEST:: SOT 1216741 SOS 335449 HAS SOPS 307104 HAS SOUS 212314 HAS SOUPS 207665 WITH SCORE 208000.449
AT ITER 6240 NEW BEST:: SOT 1216746 SOS 335407 HAS SOPS 307062 HAS SOUS 212294 HAS SOUPS 207645 WITH SCORE 207980.407
AT ITER 6277 NEW BEST:: SOT 1216716 SOS 335377 HAS SOPS 307032 HAS SOUS 212247 HAS SOUPS 207598 WITH SCORE 207933.377
AT ITER 6313 NEW BEST:: SOT 1216692 SOS 335210 HAS SOPS 306865 HAS SOUS 212174 HAS SOUPS 207525 WITH SCORE 207860.21
AT ITER 6352 NEW BEST:: SOT 1216692 SOS 335210 HAS SOPS 306865 HAS SOUS 212068 HAS SOUPS 207419 WITH SCORE 207754.21
AT ITER 6371 NEW BEST:: SOT 1216692 SOS 335210 HAS SOPS 306865 HAS SOUS 212042 HAS SOUPS 207393 WITH SCORE 207728.21
AT ITER 6382 NEW BEST:: SOT 1216692 SOS 335126 HAS SOPS 306781 HAS SOUS 211958 HAS SOUPS 207309 WITH SCORE 207644.126
AT ITER 6395 NEW BEST:: SOT 1216641 SOS 335075 HAS SOPS 306730 HAS SOUS 211907 HAS SOUPS 207258 WITH SCORE 207593.075
AT ITER 6401 NEW BEST:: SOT 1216414 SOS 334848 HAS SOPS 306503 HAS SOUS 211453 HAS SOUPS 206804 WITH SCORE 207138.848
AT ITER 6409 NEW BEST:: SOT 1216282 SOS 334698 HAS SOPS 306353 HAS SOUS 211182 HAS SOUPS 206533 WITH SCORE 206867.698
AT ITER 6414 NEW BEST:: SOT 1216282 SOS 334653 HAS SOPS 306308 HAS SOUS 211137 HAS SOUPS 206488 WITH SCORE 206822.653
AT ITER 6434 NEW BEST:: SOT 1216282 SOS 334607 HAS SOPS 306262 HAS SOUS 211137 HAS SOUPS 206488 WITH SCORE 206822.607
AT ITER 6464 NEW BEST:: SOT 1216285 SOS 334493 HAS SOPS 306148 HAS SOUS 210972 HAS SOUPS 206323 WITH SCORE 206657.493
AT ITER 6465 NEW BEST:: SOT 1216216 SOS 334428 HAS SOPS 306083 HAS SOUS 210964 HAS SOUPS 206315 WITH SCORE 206649.428
AT ITER 6471 NEW BEST:: SOT 1216277 SOS 334531 HAS SOPS 306186 HAS SOUS 210962 HAS SOUPS 206313 WITH SCORE 206647.531
AT ITER 6492 NEW BEST:: SOT 1216301 SOS 334222 HAS SOPS 305845 HAS SOUS 210954 HAS SOUPS 206305 WITH SCORE 206639.222
AT ITER 6495 NEW BEST:: SOT 1216261 SOS 334244 HAS SOPS 305867 HAS SOUS 210946 HAS SOUPS 206297 WITH SCORE 206631.244
AT ITER 6501 NEW BEST:: SOT 1216171 SOS 332771 HAS SOPS 305696 HAS SOUS 210445 HAS SOUPS 205903 WITH SCORE 206235.771
AT ITER 6504 NEW BEST:: SOT 1216171 SOS 332691 HAS SOPS 305616 HAS SOUS 210445 HAS SOUPS 205903 WITH SCORE 206235.691
AT ITER 6506 NEW BEST:: SOT 1216040 SOS 331226 HAS SOPS 304153 HAS SOUS 210217 HAS SOUPS 205675 WITH SCORE 206006.226
AT ITER 6570 NEW BEST:: SOT 1216049 SOS 331235 HAS SOPS 304162 HAS SOUS 210116 HAS SOUPS 205574 WITH SCORE 205905.235
AT ITER 6613 NEW BEST:: SOT 1216045 SOS 331211 HAS SOPS 304138 HAS SOUS 210088 HAS SOUPS 205546 WITH SCORE 205877.211
AT ITER 6614 NEW BEST:: SOT 1216017 SOS 331226 HAS SOPS 304153 HAS SOUS 210075 HAS SOUPS 205533 WITH SCORE 205864.226
AT ITER 6619 NEW BEST:: SOT 1216011 SOS 331214 HAS SOPS 304141 HAS SOUS 210063 HAS SOUPS 205521 WITH SCORE 205852.214
AT ITER 6624 NEW BEST:: SOT 1216011 SOS 330979 HAS SOPS 303906 HAS SOUS 210063 HAS SOUPS 205521 WITH SCORE 205851.979
AT ITER 6643 NEW BEST:: SOT 1216144 SOS 331164 HAS SOPS 302686 HAS SOUS 208918 HAS SOUPS 204349 WITH SCORE 204680.164
AT ITER 6650 NEW BEST:: SOT 1216144 SOS 331152 HAS SOPS 302674 HAS SOUS 208918 HAS SOUPS 204349 WITH SCORE 204680.152
AT ITER 6653 NEW BEST:: SOT 1216082 SOS 331090 HAS SOPS 302612 HAS SOUS 208856 HAS SOUPS 204287 WITH SCORE 204618.09
AT ITER 6670 NEW BEST:: SOT 1216079 SOS 331087 HAS SOPS 302609 HAS SOUS 208850 HAS SOUPS 204281 WITH SCORE 204612.087
AT ITER 6697 NEW BEST:: SOT 1216077 SOS 331045 HAS SOPS 302567 HAS SOUS 208846 HAS SOUPS 204277 WITH SCORE 204608.045
AT ITER 6713 NEW BEST:: SOT 1216016 SOS 331044 HAS SOPS 302566 HAS SOUS 208809 HAS SOUPS 204240 WITH SCORE 204571.044
AT ITER 6714 NEW BEST:: SOT 1216017 SOS 330987 HAS SOPS 302509 HAS SOUS 208753 HAS SOUPS 204184 WITH SCORE 204514.987
AT ITER 6767 NEW BEST:: SOT 1216017 SOS 330979 HAS SOPS 302501 HAS SOUS 208753 HAS SOUPS 204184 WITH SCORE 204514.979
AT ITER 6778 NEW BEST:: SOT 1216017 SOS 330956 HAS SOPS 302478 HAS SOUS 208730 HAS SOUPS 204161 WITH SCORE 204491.956
AT ITER 6787 NEW BEST:: SOT 1216011 SOS 330950 HAS SOPS 302472 HAS SOUS 208724 HAS SOUPS 204155 WITH SCORE 204485.95
AT ITER 6810 NEW BEST:: SOT 1216006 SOS 330945 HAS SOPS 302467 HAS SOUS 208714 HAS SOUPS 204145 WITH SCORE 204475.945
AT ITER 6828 NEW BEST:: SOT 1215949 SOS 330869 HAS SOPS 302334 HAS SOUS 208635 HAS SOUPS 204031 WITH SCORE 204361.869
AT ITER 6833 NEW BEST:: SOT 1215912 SOS 330759 HAS SOPS 302260 HAS SOUS 208561 HAS SOUPS 203957 WITH SCORE 204287.759
AT ITER 6890 NEW BEST:: SOT 1215912 SOS 330727 HAS SOPS 302228 HAS SOUS 208561 HAS SOUPS 203957 WITH SCORE 204287.727
AT ITER 6906 NEW BEST:: SOT 1215912 SOS 330727 HAS SOPS 302228 HAS SOUS 208511 HAS SOUPS 203907 WITH SCORE 204237.727
AT ITER 6907 NEW BEST:: SOT 1215912 SOS 330714 HAS SOPS 302215 HAS SOUS 208498 HAS SOUPS 203894 WITH SCORE 204224.714
AT ITER 6963 NEW BEST:: SOT 1215906 SOS 330708 HAS SOPS 302209 HAS SOUS 208486 HAS SOUPS 203882 WITH SCORE 204212.708
AT ITER 7003 NEW BEST:: SOT 1215906 SOS 330708 HAS SOPS 302209 HAS SOUS 208484 HAS SOUPS 203880 WITH SCORE 204210.708
AT ITER 7058 NEW BEST:: SOT 1215904 SOS 330434 HAS SOPS 301935 HAS SOUS 208482 HAS SOUPS 203878 WITH SCORE 204208.434
AT ITER 7078 NEW BEST:: SOT 1215831 SOS 330361 HAS SOPS 301862 HAS SOUS 208336 HAS SOUPS 203732 WITH SCORE 204062.361
AT ITER 7100 NEW BEST:: SOT 1215859 SOS 330361 HAS SOPS 301862 HAS SOUS 208283 HAS SOUPS 203679 WITH SCORE 204009.361
AT ITER 7110 NEW BEST:: SOT 1215859 SOS 331507 HAS SOPS 301854 HAS SOUS 208353 HAS SOUPS 203671 WITH SCORE 204002.507
AT ITER 7196 NEW BEST:: SOT 1215859 SOS 331507 HAS SOPS 301854 HAS SOUS 208219 HAS SOUPS 203537 WITH SCORE 203868.507
AT ITER 7208 NEW BEST:: SOT 1215861 SOS 331509 HAS SOPS 301856 HAS SOUS 208142 HAS SOUPS 203460 WITH SCORE 203791.509
AT ITER 7236 NEW BEST:: SOT 1215853 SOS 331418 HAS SOPS 301765 HAS SOUS 208126 HAS SOUPS 203444 WITH SCORE 203775.418
AT ITER 7257 NEW BEST:: SOT 1215836 SOS 331263 HAS SOPS 301610 HAS SOUS 208061 HAS SOUPS 203379 WITH SCORE 203710.263
AT ITER 7258 NEW BEST:: SOT 1215722 SOS 331194 HAS SOPS 301541 HAS SOUS 207946 HAS SOUPS 203264 WITH SCORE 203595.194
AT ITER 7286 NEW BEST:: SOT 1215713 SOS 331185 HAS SOPS 301532 HAS SOUS 207928 HAS SOUPS 203246 WITH SCORE 203577.185
AT ITER 7291 NEW BEST:: SOT 1215713 SOS 331075 HAS SOPS 301422 HAS SOUS 207928 HAS SOUPS 203246 WITH SCORE 203577.075
AT ITER 7301 NEW BEST:: SOT 1215501 SOS 331316 HAS SOPS 301663 HAS SOUS 207806 HAS SOUPS 203124 WITH SCORE 203455.316
AT ITER 7311 NEW BEST:: SOT 1215483 SOS 331298 HAS SOPS 301645 HAS SOUS 207788 HAS SOUPS 203106 WITH SCORE 203437.298
AT ITER 7313 NEW BEST:: SOT 1215483 SOS 331243 HAS SOPS 301590 HAS SOUS 207788 HAS SOUPS 203106 WITH SCORE 203437.243
AT ITER 7315 NEW BEST:: SOT 1215483 SOS 331205 HAS SOPS 301552 HAS SOUS 207788 HAS SOUPS 203106 WITH SCORE 203437.205
AT ITER 7320 NEW BEST:: SOT 1215445 SOS 331205 HAS SOPS 301552 HAS SOUS 207750 HAS SOUPS 203068 WITH SCORE 203399.205
AT ITER 7361 NEW BEST:: SOT 1215445 SOS 331308 HAS SOPS 301655 HAS SOUS 207731 HAS SOUPS 203049 WITH SCORE 203380.308
AT ITER 7389 NEW BEST:: SOT 1215445 SOS 331461 HAS SOPS 301808 HAS SOUS 207727 HAS SOUPS 203045 WITH SCORE 203376.461
AT ITER 7425 NEW BEST:: SOT 1215373 SOS 331232 HAS SOPS 301579 HAS SOUS 207503 HAS SOUPS 202821 WITH SCORE 203152.232
AT ITER 7432 NEW BEST:: SOT 1215329 SOS 331188 HAS SOPS 301535 HAS SOUS 207459 HAS SOUPS 202777 WITH SCORE 203108.188
AT ITER 7444 NEW BEST:: SOT 1215329 SOS 331141 HAS SOPS 301488 HAS SOUS 207459 HAS SOUPS 202777 WITH SCORE 203108.141
AT ITER 7551 NEW BEST:: SOT 1215396 SOS 331208 HAS SOPS 301555 HAS SOUS 207420 HAS SOUPS 202738 WITH SCORE 203069.208
AT ITER 7584 NEW BEST:: SOT 1215371 SOS 331179 HAS SOPS 301526 HAS SOUS 207373 HAS SOUPS 202691 WITH SCORE 203022.179
AT ITER 7603 NEW BEST:: SOT 1215233 SOS 331250 HAS SOPS 301381 HAS SOUS 207285 HAS SOUPS 202576 WITH SCORE 202907.25
AT ITER 7611 NEW BEST:: SOT 1215226 SOS 331236 HAS SOPS 301367 HAS SOUS 207271 HAS SOUPS 202562 WITH SCORE 202893.236
AT ITER 7617 NEW BEST:: SOT 1215181 SOS 331191 HAS SOPS 301322 HAS SOUS 207181 HAS SOUPS 202472 WITH SCORE 202803.191
AT ITER 7623 NEW BEST:: SOT 1215071 SOS 331063 HAS SOPS 301062 HAS SOUS 206961 HAS SOUPS 202252 WITH SCORE 202583.063
AT ITER 7629 NEW BEST:: SOT 1215056 SOS 331048 HAS SOPS 301047 HAS SOUS 206931 HAS SOUPS 202222 WITH SCORE 202553.048
AT ITER 7637 NEW BEST:: SOT 1215101 SOS 330565 HAS SOPS 300564 HAS SOUS 206919 HAS SOUPS 202210 WITH SCORE 202540.565
AT ITER 7690 NEW BEST:: SOT 1215101 SOS 330519 HAS SOPS 300518 HAS SOUS 206919 HAS SOUPS 202210 WITH SCORE 202540.519
AT ITER 7715 NEW BEST:: SOT 1215081 SOS 330479 HAS SOPS 300478 HAS SOUS 206879 HAS SOUPS 202170 WITH SCORE 202500.479
AT ITER 7722 NEW BEST:: SOT 1215081 SOS 330471 HAS SOPS 300470 HAS SOUS 206871 HAS SOUPS 202162 WITH SCORE 202492.471
AT ITER 7747 NEW BEST:: SOT 1215081 SOS 330449 HAS SOPS 300448 HAS SOUS 206871 HAS SOUPS 202162 WITH SCORE 202492.449
AT ITER 7754 NEW BEST:: SOT 1215056 SOS 330395 HAS SOPS 300394 HAS SOUS 206843 HAS SOUPS 202134 WITH SCORE 202464.395
AT ITER 7755 NEW BEST:: SOT 1215056 SOS 330312 HAS SOPS 300311 HAS SOUS 206843 HAS SOUPS 202134 WITH SCORE 202464.312
AT ITER 7769 NEW BEST:: SOT 1215056 SOS 330297 HAS SOPS 300311 HAS SOUS 206828 HAS SOUPS 202134 WITH SCORE 202464.297
AT ITER 7781 NEW BEST:: SOT 1215056 SOS 330292 HAS SOPS 300306 HAS SOUS 206828 HAS SOUPS 202134 WITH SCORE 202464.292
AT ITER 7787 NEW BEST:: SOT 1215028 SOS 330404 HAS SOPS 300418 HAS SOUS 206800 HAS SOUPS 202106 WITH SCORE 202436.404
AT ITER 7805 NEW BEST:: SOT 1215023 SOS 330399 HAS SOPS 300413 HAS SOUS 206787 HAS SOUPS 202093 WITH SCORE 202423.399
AT ITER 7815 NEW BEST:: SOT 1214918 SOS 330376 HAS SOPS 300390 HAS SOUS 206682 HAS SOUPS 201988 WITH SCORE 202318.376
AT ITER 7902 NEW BEST:: SOT 1214879 SOS 330519 HAS SOPS 300533 HAS SOUS 206678 HAS SOUPS 201984 WITH SCORE 202314.519
AT ITER 7928 NEW BEST:: SOT 1214877 SOS 330517 HAS SOPS 300531 HAS SOUS 206674 HAS SOUPS 201980 WITH SCORE 202310.517
AT ITER 7969 NEW BEST:: SOT 1214870 SOS 330436 HAS SOPS 300450 HAS SOUS 206660 HAS SOUPS 201966 WITH SCORE 202296.436
AT ITER 8005 NEW BEST:: SOT 1214865 SOS 330431 HAS SOPS 300445 HAS SOUS 206650 HAS SOUPS 201956 WITH SCORE 202286.431
AT ITER 8027 NEW BEST:: SOT 1214859 SOS 330432 HAS SOPS 300371 HAS SOUS 206680 HAS SOUPS 201944 WITH SCORE 202274.432
AT ITER 8085 NEW BEST:: SOT 1214800 SOS 329487 HAS SOPS 300312 HAS SOUS 206562 HAS SOUPS 201885 WITH SCORE 202214.487
AT ITER 8115 NEW BEST:: SOT 1214800 SOS 329426 HAS SOPS 300251 HAS SOUS 206562 HAS SOUPS 201885 WITH SCORE 202214.426
AT ITER 8116 NEW BEST:: SOT 1214800 SOS 329426 HAS SOPS 300251 HAS SOUS 206521 HAS SOUPS 201844 WITH SCORE 202173.426
AT ITER 8121 NEW BEST:: SOT 1214800 SOS 329412 HAS SOPS 300237 HAS SOUS 206480 HAS SOUPS 201803 WITH SCORE 202132.412
AT ITER 8156 NEW BEST:: SOT 1214741 SOS 329408 HAS SOPS 300233 HAS SOUS 206441 HAS SOUPS 201764 WITH SCORE 202093.408
AT ITER 8163 NEW BEST:: SOT 1214653 SOS 329374 HAS SOPS 300199 HAS SOUS 206353 HAS SOUPS 201676 WITH SCORE 202005.374
AT ITER 8174 NEW BEST:: SOT 1214629 SOS 329435 HAS SOPS 300260 HAS SOUS 206305 HAS SOUPS 201628 WITH SCORE 201957.435
AT ITER 8199 NEW BEST:: SOT 1214598 SOS 329404 HAS SOPS 300229 HAS SOUS 206248 HAS SOUPS 201571 WITH SCORE 201900.404
AT ITER 8222 NEW BEST:: SOT 1214588 SOS 329414 HAS SOPS 300239 HAS SOUS 206238 HAS SOUPS 201561 WITH SCORE 201890.414
AT ITER 8296 NEW BEST:: SOT 1214588 SOS 329414 HAS SOPS 300239 HAS SOUS 206223 HAS SOUPS 201546 WITH SCORE 201875.414
AT ITER 8297 NEW BEST:: SOT 1214598 SOS 329916 HAS SOPS 300741 HAS SOUS 206209 HAS SOUPS 201532 WITH SCORE 201861.916
AT ITER 8311 NEW BEST:: SOT 1214598 SOS 329916 HAS SOPS 300741 HAS SOUS 206108 HAS SOUPS 201431 WITH SCORE 201760.916
AT ITER 8328 NEW BEST:: SOT 1215790 SOS 331224 HAS SOPS 300425 HAS SOUS 205844 HAS SOUPS 201115 WITH SCORE 201446.224
AT ITER 8411 NEW BEST:: SOT 1215790 SOS 331224 HAS SOPS 300425 HAS SOUS 205749 HAS SOUPS 201020 WITH SCORE 201351.224
AT ITER 8413 NEW BEST:: SOT 1215779 SOS 331348 HAS SOPS 300549 HAS SOUS 205727 HAS SOUPS 200998 WITH SCORE 201329.348
AT ITER 8426 NEW BEST:: SOT 1215850 SOS 331461 HAS SOPS 299983 HAS SOUS 205169 HAS SOUPS 200440 WITH SCORE 200771.461
AT ITER 8439 NEW BEST:: SOT 1215630 SOS 331248 HAS SOPS 299770 HAS SOUS 204762 HAS SOUPS 200033 WITH SCORE 200364.248
AT ITER 8450 NEW BEST:: SOT 1215649 SOS 331267 HAS SOPS 299789 HAS SOUS 204761 HAS SOUPS 200032 WITH SCORE 200363.267
AT ITER 8488 NEW BEST:: SOT 1215457 SOS 331201 HAS SOPS 299756 HAS SOUS 204623 HAS SOUPS 199894 WITH SCORE 200225.201
AT ITER 8490 NEW BEST:: SOT 1215449 SOS 331185 HAS SOPS 299740 HAS SOUS 204607 HAS SOUPS 199878 WITH SCORE 200209.185
AT ITER 8506 NEW BEST:: SOT 1215449 SOS 331177 HAS SOPS 299732 HAS SOUS 204599 HAS SOUPS 199870 WITH SCORE 200201.177
AT ITER 8521 NEW BEST:: SOT 1215424 SOS 331152 HAS SOPS 299707 HAS SOUS 204549 HAS SOUPS 199820 WITH SCORE 200151.152
AT ITER 8536 NEW BEST:: SOT 1215318 SOS 331046 HAS SOPS 299601 HAS SOUS 204337 HAS SOUPS 199608 WITH SCORE 199939.046
AT ITER 8539 NEW BEST:: SOT 1215324 SOS 331030 HAS SOPS 299585 HAS SOUS 204320 HAS SOUPS 199591 WITH SCORE 199922.03
AT ITER 8571 NEW BEST:: SOT 1215294 SOS 331000 HAS SOPS 299555 HAS SOUS 204260 HAS SOUPS 199531 WITH SCORE 199862.0
AT ITER 8633 NEW BEST:: SOT 1215287 SOS 330993 HAS SOPS 299548 HAS SOUS 204246 HAS SOUPS 199517 WITH SCORE 199847.993
AT ITER 8643 NEW BEST:: SOT 1215287 SOS 330993 HAS SOPS 299548 HAS SOUS 204226 HAS SOUPS 199497 WITH SCORE 199827.993
AT ITER 8645 NEW BEST:: SOT 1215287 SOS 330929 HAS SOPS 299484 HAS SOUS 204226 HAS SOUPS 199497 WITH SCORE 199827.929
AT ITER 8702 NEW BEST:: SOT 1215287 SOS 330929 HAS SOPS 299484 HAS SOUS 204198 HAS SOUPS 199469 WITH SCORE 199799.929
AT ITER 8722 NEW BEST:: SOT 1215255 SOS 330417 HAS SOPS 299484 HAS SOUS 204166 HAS SOUPS 199469 WITH SCORE 199799.417
AT ITER 8797 NEW BEST:: SOT 1215255 SOS 330390 HAS SOPS 299457 HAS SOUS 204166 HAS SOUPS 199469 WITH SCORE 199799.39
AT ITER 8804 NEW BEST:: SOT 1215266 SOS 330401 HAS SOPS 299468 HAS SOUS 204152 HAS SOUPS 199455 WITH SCORE 199785.401
AT ITER 8844 NEW BEST:: SOT 1215227 SOS 330302 HAS SOPS 299369 HAS SOUS 204014 HAS SOUPS 199317 WITH SCORE 199647.302
AT ITER 8862 NEW BEST:: SOT 1215141 SOS 330302 HAS SOPS 299369 HAS SOUS 203928 HAS SOUPS 199231 WITH SCORE 199561.302
AT ITER 8881 NEW BEST:: SOT 1215141 SOS 330062 HAS SOPS 299129 HAS SOUS 203928 HAS SOUPS 199231 WITH SCORE 199561.062
AT ITER 8895 NEW BEST:: SOT 1215059 SOS 329891 HAS SOPS 298958 HAS SOUS 203756 HAS SOUPS 199059 WITH SCORE 199388.891
AT ITER 8913 NEW BEST:: SOT 1214641 SOS 330736 HAS SOPS 298588 HAS SOUS 203645 HAS SOUPS 198811 WITH SCORE 199141.736
AT ITER 8920 NEW BEST:: SOT 1214641 SOS 330727 HAS SOPS 298579 HAS SOUS 203604 HAS SOUPS 198770 WITH SCORE 199100.727
AT ITER 8933 NEW BEST:: SOT 1214644 SOS 330726 HAS SOPS 298509 HAS SOUS 203599 HAS SOUPS 198696 WITH SCORE 199026.726
AT ITER 8987 NEW BEST:: SOT 1214641 SOS 330727 HAS SOPS 298510 HAS SOUS 203594 HAS SOUPS 198691 WITH SCORE 199021.727
AT ITER 8989 NEW BEST:: SOT 1214638 SOS 330724 HAS SOPS 298507 HAS SOUS 203463 HAS SOUPS 198560 WITH SCORE 198890.724
AT ITER 9024 NEW BEST:: SOT 1214638 SOS 330969 HAS SOPS 298735 HAS SOUS 203446 HAS SOUPS 198543 WITH SCORE 198873.969
AT ITER 9027 NEW BEST:: SOT 1214635 SOS 330966 HAS SOPS 298732 HAS SOUS 203337 HAS SOUPS 198434 WITH SCORE 198764.966
AT ITER 9103 NEW BEST:: SOT 1214557 SOS 330740 HAS SOPS 298506 HAS SOUS 203111 HAS SOUPS 198208 WITH SCORE 198538.74
AT ITER 9113 NEW BEST:: SOT 1214496 SOS 330740 HAS SOPS 298506 HAS SOUS 203050 HAS SOUPS 198147 WITH SCORE 198477.74
AT ITER 9121 NEW BEST:: SOT 1214468 SOS 330784 HAS SOPS 298522 HAS SOUS 203022 HAS SOUPS 198091 WITH SCORE 198421.784
AT ITER 9163 NEW BEST:: SOT 1214468 SOS 330773 HAS SOPS 298511 HAS SOUS 203022 HAS SOUPS 198091 WITH SCORE 198421.773
AT ITER 9192 NEW BEST:: SOT 1214426 SOS 330695 HAS SOPS 298413 HAS SOUS 202949 HAS SOUPS 198018 WITH SCORE 198348.695
AT ITER 9218 NEW BEST:: SOT 1214385 SOS 330705 HAS SOPS 298423 HAS SOUS 202918 HAS SOUPS 197987 WITH SCORE 198317.705
AT ITER 9246 NEW BEST:: SOT 1214350 SOS 330679 HAS SOPS 298397 HAS SOUS 202848 HAS SOUPS 197917 WITH SCORE 198247.679
AT ITER 9259 NEW BEST:: SOT 1214320 SOS 330708 HAS SOPS 298426 HAS SOUS 202788 HAS SOUPS 197857 WITH SCORE 198187.708
AT ITER 9297 NEW BEST:: SOT 1214320 SOS 330708 HAS SOPS 298426 HAS SOUS 202756 HAS SOUPS 197825 WITH SCORE 198155.708
AT ITER 9316 NEW BEST:: SOT 1214267 SOS 330613 HAS SOPS 298331 HAS SOUS 202650 HAS SOUPS 197719 WITH SCORE 198049.613
AT ITER 9325 NEW BEST:: SOT 1214209 SOS 330555 HAS SOPS 298273 HAS SOUS 202592 HAS SOUPS 197661 WITH SCORE 197991.555
AT ITER 9330 NEW BEST:: SOT 1214209 SOS 330588 HAS SOPS 297781 HAS SOUS 202102 HAS SOUPS 197171 WITH SCORE 197501.588
AT ITER 9331 NEW BEST:: SOT 1214219 SOS 330578 HAS SOPS 297771 HAS SOUS 202102 HAS SOUPS 197171 WITH SCORE 197501.578
AT ITER 9332 NEW BEST:: SOT 1214219 SOS 330572 HAS SOPS 297765 HAS SOUS 202102 HAS SOUPS 197171 WITH SCORE 197501.572
AT ITER 9342 NEW BEST:: SOT 1214219 SOS 330572 HAS SOPS 297765 HAS SOUS 201936 HAS SOUPS 197005 WITH SCORE 197335.572
AT ITER 9360 NEW BEST:: SOT 1214218 SOS 330573 HAS SOPS 297766 HAS SOUS 201934 HAS SOUPS 197003 WITH SCORE 197333.573
AT ITER 9401 NEW BEST:: SOT 1214230 SOS 330585 HAS SOPS 297778 HAS SOUS 201932 HAS SOUPS 197001 WITH SCORE 197331.585
AT ITER 9405 NEW BEST:: SOT 1214230 SOS 330576 HAS SOPS 297769 HAS SOUS 201900 HAS SOUPS 196969 WITH SCORE 197299.576
AT ITER 9411 NEW BEST:: SOT 1214165 SOS 330511 HAS SOPS 297704 HAS SOUS 201807 HAS SOUPS 196876 WITH SCORE 197206.511
AT ITER 9432 NEW BEST:: SOT 1213983 SOS 331525 HAS SOPS 298844 HAS SOUS 201751 HAS SOUPS 196820 WITH SCORE 197151.525
AT ITER 9461 NEW BEST:: SOT 1214021 SOS 331546 HAS SOPS 298745 HAS SOUS 201552 HAS SOUPS 196557 WITH SCORE 196888.546
AT ITER 9485 NEW BEST:: SOT 1213959 SOS 331484 HAS SOPS 298621 HAS SOUS 201447 HAS SOUPS 196433 WITH SCORE 196764.484
AT ITER 9534 NEW BEST:: SOT 1213947 SOS 331388 HAS SOPS 298598 HAS SOUS 201424 HAS SOUPS 196410 WITH SCORE 196741.388
AT ITER 9560 NEW BEST:: SOT 1213935 SOS 331425 HAS SOPS 298623 HAS SOUS 201412 HAS SOUPS 196386 WITH SCORE 196717.425
AT ITER 9572 NEW BEST:: SOT 1213896 SOS 331355 HAS SOPS 298553 HAS SOUS 201365 HAS SOUPS 196339 WITH SCORE 196670.355
AT ITER 9601 NEW BEST:: SOT 1213896 SOS 331355 HAS SOPS 298553 HAS SOUS 201302 HAS SOUPS 196276 WITH SCORE 196607.355
AT ITER 9622 NEW BEST:: SOT 1213888 SOS 331304 HAS SOPS 298502 HAS SOUS 201286 HAS SOUPS 196260 WITH SCORE 196591.304
AT ITER 9628 NEW BEST:: SOT 1213799 SOS 331215 HAS SOPS 298413 HAS SOUS 201108 HAS SOUPS 196082 WITH SCORE 196413.215
AT ITER 9632 NEW BEST:: SOT 1213799 SOS 331215 HAS SOPS 298413 HAS SOUS 201056 HAS SOUPS 196030 WITH SCORE 196361.215
AT ITER 9655 NEW BEST:: SOT 1213774 SOS 329974 HAS SOPS 298388 HAS SOUS 200951 HAS SOUPS 196005 WITH SCORE 196334.974
AT ITER 9656 NEW BEST:: SOT 1213701 SOS 329926 HAS SOPS 298340 HAS SOUS 200878 HAS SOUPS 195932 WITH SCORE 196261.926
AT ITER 9666 NEW BEST:: SOT 1213649 SOS 329760 HAS SOPS 298174 HAS SOUS 200766 HAS SOUPS 195820 WITH SCORE 196149.76
AT ITER 9693 NEW BEST:: SOT 1213649 SOS 329383 HAS SOPS 297731 HAS SOUS 200700 HAS SOUPS 195754 WITH SCORE 196083.383
AT ITER 9705 NEW BEST:: SOT 1213649 SOS 329290 HAS SOPS 297638 HAS SOUS 200607 HAS SOUPS 195661 WITH SCORE 195990.29
AT ITER 9717 NEW BEST:: SOT 1213603 SOS 329244 HAS SOPS 297592 HAS SOUS 200515 HAS SOUPS 195569 WITH SCORE 195898.244
AT ITER 9800 NEW BEST:: SOT 1213603 SOS 329244 HAS SOPS 297530 HAS SOUS 200496 HAS SOUPS 195507 WITH SCORE 195836.244
AT ITER 9860 NEW BEST:: SOT 1213556 SOS 329186 HAS SOPS 297472 HAS SOUS 200445 HAS SOUPS 195456 WITH SCORE 195785.186
AT ITER 9873 NEW BEST:: SOT 1213504 SOS 329226 HAS SOPS 297512 HAS SOUS 200433 HAS SOUPS 195444 WITH SCORE 195773.226
AT ITER 9926 NEW BEST:: SOT 1213478 SOS 329200 HAS SOPS 297486 HAS SOUS 200394 HAS SOUPS 195405 WITH SCORE 195734.2
AT ITER 9963 NEW BEST:: SOT 1213406 SOS 329128 HAS SOPS 297414 HAS SOUS 200250 HAS SOUPS 195261 WITH SCORE 195590.128
AT ITER 9986 NEW BEST:: SOT 1213406 SOS 329127 HAS SOPS 297413 HAS SOUS 200250 HAS SOUPS 195261 WITH SCORE 195590.127
STATE_SPACE STATES 2447720 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 2 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5038187 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678615482444

--------------------
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="LeafsetExtension-PT-S16C2"
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 LeafsetExtension-PT-S16C2, 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 r227-tall-167856410500480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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