Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910200432.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SafeBus-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910200432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 35K Apr 12 12:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 117K Apr 12 12:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 411K Apr 11 13:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Apr 11 13:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 41K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 150K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 485K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Apr 10 17:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 10 17:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 443K Apr 10 00:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Apr 10 00:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.9K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.2K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 11M Mar 24 05:38 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589744338076

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

Filename model.pnml
Petri model created: 1026 places, 10461 transitions, 77364 arcs.
AT ITER 0 NEW BEST:: SOT 5475118 SOS 4521503 HAS SOPS 4516905 HAS SOUS 904829 HAS SOUPS 903872 WITH SCORE 908393.503
AT ITER 36 NEW BEST:: SOT 5475156 SOS 4521405 HAS SOPS 4516636 HAS SOUS 904045 HAS SOUPS 902917 WITH SCORE 907438.405
AT ITER 56 NEW BEST:: SOT 5475605 SOS 4521734 HAS SOPS 4516778 HAS SOUS 903709 HAS SOUPS 902394 WITH SCORE 906915.734
AT ITER 61 NEW BEST:: SOT 5475453 SOS 4521582 HAS SOPS 4516626 HAS SOUS 903696 HAS SOUPS 902381 WITH SCORE 906902.582
AT ITER 67 NEW BEST:: SOT 5473382 SOS 4519388 HAS SOPS 4514323 HAS SOUS 900577 HAS SOUPS 899153 WITH SCORE 903672.388
AT ITER 82 NEW BEST:: SOT 5474456 SOS 4520337 HAS SOPS 4515007 HAS SOUS 900811 HAS SOUPS 899122 WITH SCORE 903642.337
AT ITER 95 NEW BEST:: SOT 5474547 SOS 4527775 HAS SOPS 4522445 HAS SOUS 900734 HAS SOUPS 899045 WITH SCORE 903572.775
AT ITER 118 NEW BEST:: SOT 5474501 SOS 4527729 HAS SOPS 4522399 HAS SOUS 900688 HAS SOUPS 898999 WITH SCORE 903526.729
AT ITER 171 NEW BEST:: SOT 5474446 SOS 4527674 HAS SOPS 4522344 HAS SOUS 900633 HAS SOUPS 898944 WITH SCORE 903471.674
AT ITER 237 NEW BEST:: SOT 5474434 SOS 4531626 HAS SOPS 4526296 HAS SOUS 900422 HAS SOUPS 898733 WITH SCORE 903264.626
AT ITER 238 NEW BEST:: SOT 5462893 SOS 4520114 HAS SOPS 4514784 HAS SOUS 888902 HAS SOUPS 887213 WITH SCORE 891733.114
AT ITER 240 NEW BEST:: SOT 5462503 SOS 4519724 HAS SOPS 4514394 HAS SOUS 888772 HAS SOUPS 887083 WITH SCORE 891602.724
AT ITER 254 NEW BEST:: SOT 5462539 SOS 4519689 HAS SOPS 4514323 HAS SOUS 888016 HAS SOUPS 886291 WITH SCORE 890810.689
AT ITER 291 NEW BEST:: SOT 5461873 SOS 4519023 HAS SOPS 4513657 HAS SOUS 888016 HAS SOUPS 886291 WITH SCORE 890810.023
AT ITER 315 NEW BEST:: SOT 5460239 SOS 4517280 HAS SOPS 4511828 HAS SOUS 885383 HAS SOUPS 883572 WITH SCORE 888089.28
AT ITER 323 NEW BEST:: SOT 5460067 SOS 4517108 HAS SOPS 4511656 HAS SOUS 885297 HAS SOUPS 883486 WITH SCORE 888003.108
AT ITER 327 NEW BEST:: SOT 5460042 SOS 4517083 HAS SOPS 4511631 HAS SOUS 884817 HAS SOUPS 883006 WITH SCORE 887523.083
AT ITER 354 NEW BEST:: SOT 5460064 SOS 4518691 HAS SOPS 4513239 HAS SOUS 884754 HAS SOUPS 882943 WITH SCORE 887461.691
AT ITER 362 NEW BEST:: SOT 5456596 SOS 4515334 HAS SOPS 4509993 HAS SOUS 881417 HAS SOUPS 879717 WITH SCORE 884232.334
AT ITER 383 NEW BEST:: SOT 5456519 SOS 4515257 HAS SOPS 4509916 HAS SOUS 881340 HAS SOUPS 879640 WITH SCORE 884155.257
AT ITER 398 NEW BEST:: SOT 5456609 SOS 4515347 HAS SOPS 4510006 HAS SOUS 881250 HAS SOUPS 879550 WITH SCORE 884065.347
AT ITER 401 NEW BEST:: SOT 5456480 SOS 4515218 HAS SOPS 4509877 HAS SOUS 881121 HAS SOUPS 879421 WITH SCORE 883936.218
AT ITER 429 NEW BEST:: SOT 5454352 SOS 4513001 HAS SOPS 4507513 HAS SOUS 878626 HAS SOUPS 876779 WITH SCORE 881292.001
AT ITER 437 NEW BEST:: SOT 5454337 SOS 4512986 HAS SOPS 4507498 HAS SOUS 878611 HAS SOUPS 876764 WITH SCORE 881276.986
AT ITER 482 NEW BEST:: SOT 5454387 SOS 4513036 HAS SOPS 4507548 HAS SOUS 878603 HAS SOUPS 876756 WITH SCORE 881269.036
AT ITER 551 NEW BEST:: SOT 5454313 SOS 4512962 HAS SOPS 4507474 HAS SOUS 878566 HAS SOUPS 876719 WITH SCORE 881231.962
AT ITER 566 NEW BEST:: SOT 5454195 SOS 4512844 HAS SOPS 4507356 HAS SOUS 878507 HAS SOUPS 876660 WITH SCORE 881172.844
AT ITER 603 NEW BEST:: SOT 5454065 SOS 4512714 HAS SOPS 4507226 HAS SOUS 878377 HAS SOUPS 876530 WITH SCORE 881042.714
AT ITER 604 NEW BEST:: SOT 5454297 SOS 4512946 HAS SOPS 4507458 HAS SOUS 878328 HAS SOUPS 876481 WITH SCORE 880993.946
AT ITER 650 NEW BEST:: SOT 5454345 SOS 4512994 HAS SOPS 4507506 HAS SOUS 878293 HAS SOUPS 876446 WITH SCORE 880958.994
AT ITER 676 NEW BEST:: SOT 5454335 SOS 4512984 HAS SOPS 4507496 HAS SOUS 878293 HAS SOUPS 876446 WITH SCORE 880958.984
AT ITER 705 NEW BEST:: SOT 5454335 SOS 4512978 HAS SOPS 4507490 HAS SOUS 878287 HAS SOUPS 876440 WITH SCORE 880952.978
AT ITER 715 NEW BEST:: SOT 5453981 SOS 4512624 HAS SOPS 4507136 HAS SOUS 878178 HAS SOUPS 876331 WITH SCORE 880843.624
AT ITER 716 NEW BEST:: SOT 5454013 SOS 4512656 HAS SOPS 4507168 HAS SOUS 878058 HAS SOUPS 876211 WITH SCORE 880723.656
AT ITER 755 NEW BEST:: SOT 5454249 SOS 4512892 HAS SOPS 4507404 HAS SOUS 877853 HAS SOUPS 876006 WITH SCORE 880518.892
AT ITER 808 NEW BEST:: SOT 5454078 SOS 4512721 HAS SOPS 4507233 HAS SOUS 877511 HAS SOUPS 875664 WITH SCORE 880176.721
AT ITER 812 NEW BEST:: SOT 5446427 SOS 4505260 HAS SOPS 4499772 HAS SOUS 869684 HAS SOUPS 867837 WITH SCORE 872342.26
AT ITER 831 NEW BEST:: SOT 5447138 SOS 4505922 HAS SOPS 4500180 HAS SOUS 869644 HAS SOUPS 867543 WITH SCORE 872048.922
AT ITER 857 NEW BEST:: SOT 5447160 SOS 4505861 HAS SOPS 4500058 HAS SOUS 868742 HAS SOUPS 866580 WITH SCORE 871085.861
AT ITER 883 NEW BEST:: SOT 5365968 SOS 4424683 HAS SOPS 4418880 HAS SOUS 787357 HAS SOUPS 785195 WITH SCORE 789619.683
AT ITER 899 NEW BEST:: SOT 5365808 SOS 4424523 HAS SOPS 4418720 HAS SOUS 787197 HAS SOUPS 785035 WITH SCORE 789459.523
AT ITER 905 NEW BEST:: SOT 5364588 SOS 4423303 HAS SOPS 4417500 HAS SOUS 785977 HAS SOUPS 783815 WITH SCORE 788238.303
AT ITER 908 NEW BEST:: SOT 5288694 SOS 4451784 HAS SOPS 4448089 HAS SOUS 710986 HAS SOUPS 710932 WITH SCORE 715383.784
AT ITER 930 NEW BEST:: SOT 5287625 SOS 4450715 HAS SOPS 4447020 HAS SOUS 710294 HAS SOUPS 710240 WITH SCORE 714690.715
AT ITER 957 NEW BEST:: SOT 5287469 SOS 4450559 HAS SOPS 4446864 HAS SOUS 710138 HAS SOUPS 710084 WITH SCORE 714534.559
AT ITER 962 NEW BEST:: SOT 5287429 SOS 4450519 HAS SOPS 4446824 HAS SOUS 710118 HAS SOUPS 710064 WITH SCORE 714514.519
AT ITER 1001 NEW BEST:: SOT 5207091 SOS 4414758 HAS SOPS 4414723 HAS SOUS 630049 HAS SOUPS 630014 WITH SCORE 634428.758
AT ITER 1012 NEW BEST:: SOT 5207269 SOS 4414936 HAS SOPS 4414901 HAS SOUS 629905 HAS SOUPS 629870 WITH SCORE 634284.936
AT ITER 1037 NEW BEST:: SOT 5207335 SOS 4419325 HAS SOPS 4419290 HAS SOUS 629798 HAS SOUPS 629763 WITH SCORE 634182.325
AT ITER 1077 NEW BEST:: SOT 5207335 SOS 4420243 HAS SOPS 4420208 HAS SOUS 629690 HAS SOUPS 629655 WITH SCORE 634075.243
AT ITER 1090 NEW BEST:: SOT 5207440 SOS 4420348 HAS SOPS 4420313 HAS SOUS 627388 HAS SOUPS 627353 WITH SCORE 631773.348
AT ITER 1134 NEW BEST:: SOT 5207497 SOS 4426449 HAS SOPS 4426414 HAS SOUS 627288 HAS SOUPS 627253 WITH SCORE 631679.449
AT ITER 1171 NEW BEST:: SOT 5207641 SOS 4426593 HAS SOPS 4426558 HAS SOUS 627192 HAS SOUPS 627157 WITH SCORE 631583.593
AT ITER 1180 NEW BEST:: SOT 5207641 SOS 4426593 HAS SOPS 4426558 HAS SOUS 627173 HAS SOUPS 627138 WITH SCORE 631564.593
AT ITER 1190 NEW BEST:: SOT 5207690 SOS 4426642 HAS SOPS 4426607 HAS SOUS 627068 HAS SOUPS 627033 WITH SCORE 631459.642
AT ITER 1200 NEW BEST:: SOT 5207690 SOS 4426965 HAS SOPS 4426930 HAS SOUS 627030 HAS SOUPS 626995 WITH SCORE 631421.965
AT ITER 1202 NEW BEST:: SOT 5205919 SOS 4425164 HAS SOPS 4425129 HAS SOUS 624346 HAS SOUPS 624311 WITH SCORE 628736.164
AT ITER 1218 NEW BEST:: SOT 5205815 SOS 4425062 HAS SOPS 4425027 HAS SOUS 624176 HAS SOUPS 624141 WITH SCORE 628566.062
AT ITER 1223 NEW BEST:: SOT 5204991 SOS 4424238 HAS SOPS 4424203 HAS SOUS 623265 HAS SOUPS 623230 WITH SCORE 627654.238
AT ITER 1246 NEW BEST:: SOT 5204983 SOS 4424230 HAS SOPS 4424195 HAS SOUS 623257 HAS SOUPS 623222 WITH SCORE 627646.23
AT ITER 1247 NEW BEST:: SOT 5204932 SOS 4424179 HAS SOPS 4424144 HAS SOUS 623245 HAS SOUPS 623210 WITH SCORE 627634.179
AT ITER 1250 NEW BEST:: SOT 5205216 SOS 4424463 HAS SOPS 4424428 HAS SOUS 623035 HAS SOUPS 623000 WITH SCORE 627424.463
AT ITER 1254 NEW BEST:: SOT 5205222 SOS 4429755 HAS SOPS 4429720 HAS SOUS 623028 HAS SOUPS 622993 WITH SCORE 627422.755
AT ITER 1258 NEW BEST:: SOT 5205222 SOS 4429755 HAS SOPS 4429720 HAS SOUS 622957 HAS SOUPS 622922 WITH SCORE 627351.755
AT ITER 1278 NEW BEST:: SOT 5205236 SOS 4432855 HAS SOPS 4432820 HAS SOUS 622940 HAS SOUPS 622905 WITH SCORE 627337.855
AT ITER 1301 NEW BEST:: SOT 5205234 SOS 4432853 HAS SOPS 4432818 HAS SOUS 622938 HAS SOUPS 622903 WITH SCORE 627335.853
AT ITER 1341 NEW BEST:: SOT 5205016 SOS 4432635 HAS SOPS 4432600 HAS SOUS 622087 HAS SOUPS 622052 WITH SCORE 626484.635
AT ITER 1353 NEW BEST:: SOT 5203288 SOS 4430875 HAS SOPS 4430840 HAS SOUS 619363 HAS SOUPS 619328 WITH SCORE 623758.875
AT ITER 1359 NEW BEST:: SOT 5201549 SOS 4429136 HAS SOPS 4429101 HAS SOUS 617422 HAS SOUPS 617387 WITH SCORE 621816.136
AT ITER 1375 NEW BEST:: SOT 5200485 SOS 4428041 HAS SOPS 4428006 HAS SOUS 615089 HAS SOUPS 615054 WITH SCORE 619482.041
AT ITER 1385 NEW BEST:: SOT 5200744 SOS 4428300 HAS SOPS 4428265 HAS SOUS 614810 HAS SOUPS 614775 WITH SCORE 619203.3
AT ITER 1388 NEW BEST:: SOT 5199127 SOS 4426654 HAS SOPS 4426619 HAS SOUS 612270 HAS SOUPS 612235 WITH SCORE 616661.654
AT ITER 1389 NEW BEST:: SOT 5198953 SOS 4426480 HAS SOPS 4426445 HAS SOUS 612061 HAS SOUPS 612026 WITH SCORE 616452.48
AT ITER 1400 NEW BEST:: SOT 5198950 SOS 4426477 HAS SOPS 4426442 HAS SOUS 612058 HAS SOUPS 612023 WITH SCORE 616449.477
AT ITER 1401 NEW BEST:: SOT 5198891 SOS 4426418 HAS SOPS 4426383 HAS SOUS 612058 HAS SOUPS 612023 WITH SCORE 616449.418
AT ITER 1403 NEW BEST:: SOT 5198789 SOS 4426316 HAS SOPS 4426281 HAS SOUS 612050 HAS SOUPS 612015 WITH SCORE 616441.316
AT ITER 1413 NEW BEST:: SOT 5198785 SOS 4426312 HAS SOPS 4426277 HAS SOUS 612005 HAS SOUPS 611970 WITH SCORE 616396.312
AT ITER 1421 NEW BEST:: SOT 5198926 SOS 4426453 HAS SOPS 4426418 HAS SOUS 611976 HAS SOUPS 611941 WITH SCORE 616367.453
AT ITER 1430 NEW BEST:: SOT 5198587 SOS 4425092 HAS SOPS 4425033 HAS SOUS 611872 HAS SOUPS 611837 WITH SCORE 616262.092
AT ITER 1439 NEW BEST:: SOT 5198586 SOS 4425091 HAS SOPS 4425032 HAS SOUS 611871 HAS SOUPS 611836 WITH SCORE 616261.091
AT ITER 1461 NEW BEST:: SOT 5198551 SOS 4425056 HAS SOPS 4424997 HAS SOUS 610950 HAS SOUPS 610915 WITH SCORE 615340.056
AT ITER 1462 NEW BEST:: SOT 5198777 SOS 4425282 HAS SOPS 4425223 HAS SOUS 610664 HAS SOUPS 610629 WITH SCORE 615054.282
AT ITER 1465 NEW BEST:: SOT 5195683 SOS 4422188 HAS SOPS 4422129 HAS SOUS 607243 HAS SOUPS 607208 WITH SCORE 611630.188
AT ITER 1493 NEW BEST:: SOT 5195683 SOS 4423514 HAS SOPS 4423455 HAS SOUS 607180 HAS SOUPS 607145 WITH SCORE 611568.514
AT ITER 1499 NEW BEST:: SOT 5195733 SOS 4423564 HAS SOPS 4423505 HAS SOUS 607042 HAS SOUPS 607007 WITH SCORE 611430.564
AT ITER 1511 NEW BEST:: SOT 5195692 SOS 4423523 HAS SOPS 4423464 HAS SOUS 607001 HAS SOUPS 606966 WITH SCORE 611389.523
AT ITER 1556 NEW BEST:: SOT 5195572 SOS 4423403 HAS SOPS 4423344 HAS SOUS 606881 HAS SOUPS 606846 WITH SCORE 611269.403
AT ITER 1567 NEW BEST:: SOT 5195497 SOS 4423328 HAS SOPS 4423269 HAS SOUS 606753 HAS SOUPS 606718 WITH SCORE 611141.328
AT ITER 1603 NEW BEST:: SOT 5195497 SOS 4423328 HAS SOPS 4423269 HAS SOUS 606750 HAS SOUPS 606715 WITH SCORE 611138.328
AT ITER 1606 NEW BEST:: SOT 5195380 SOS 4423211 HAS SOPS 4423152 HAS SOUS 605694 HAS SOUPS 605659 WITH SCORE 610082.211
AT ITER 1631 NEW BEST:: SOT 5195380 SOS 4423211 HAS SOPS 4423152 HAS SOUS 605639 HAS SOUPS 605604 WITH SCORE 610027.211
AT ITER 1643 NEW BEST:: SOT 5195139 SOS 4422948 HAS SOPS 4422889 HAS SOUS 605121 HAS SOUPS 605086 WITH SCORE 609508.948
AT ITER 1671 NEW BEST:: SOT 5195126 SOS 4422935 HAS SOPS 4422876 HAS SOUS 604087 HAS SOUPS 604052 WITH SCORE 608474.935
AT ITER 1675 NEW BEST:: SOT 5195239 SOS 4423048 HAS SOPS 4422989 HAS SOUS 603974 HAS SOUPS 603939 WITH SCORE 608362.048
AT ITER 1690 NEW BEST:: SOT 5195207 SOS 4423016 HAS SOPS 4422957 HAS SOUS 603874 HAS SOUPS 603839 WITH SCORE 608262.016
AT ITER 1692 NEW BEST:: SOT 5195073 SOS 4422882 HAS SOPS 4422823 HAS SOUS 603740 HAS SOUPS 603705 WITH SCORE 608127.882
AT ITER 1697 NEW BEST:: SOT 5195101 SOS 4425360 HAS SOPS 4425301 HAS SOUS 603672 HAS SOUPS 603637 WITH SCORE 608062.36
AT ITER 1698 NEW BEST:: SOT 5195101 SOS 4425360 HAS SOPS 4425301 HAS SOUS 602968 HAS SOUPS 602933 WITH SCORE 607358.36
AT ITER 1707 NEW BEST:: SOT 5195126 SOS 4429841 HAS SOPS 4429782 HAS SOUS 602942 HAS SOUPS 602907 WITH SCORE 607336.841
AT ITER 1708 NEW BEST:: SOT 5195085 SOS 4429800 HAS SOPS 4429741 HAS SOUS 602930 HAS SOUPS 602895 WITH SCORE 607324.8
AT ITER 1714 NEW BEST:: SOT 5195108 SOS 4429847 HAS SOPS 4429788 HAS SOUS 602470 HAS SOUPS 602435 WITH SCORE 606864.847
AT ITER 1725 NEW BEST:: SOT 5195249 SOS 4435861 HAS SOPS 4435802 HAS SOUS 602275 HAS SOUPS 602240 WITH SCORE 606675.861
AT ITER 1726 NEW BEST:: SOT 5195190 SOS 4435802 HAS SOPS 4435743 HAS SOUS 602258 HAS SOUPS 602223 WITH SCORE 606658.802
AT ITER 1736 NEW BEST:: SOT 5195339 SOS 4435951 HAS SOPS 4435892 HAS SOUS 602130 HAS SOUPS 602095 WITH SCORE 606530.951
AT ITER 1770 NEW BEST:: SOT 5195361 SOS 4435951 HAS SOPS 4435892 HAS SOUS 602127 HAS SOUPS 602092 WITH SCORE 606527.951
AT ITER 1772 NEW BEST:: SOT 5195327 SOS 4435917 HAS SOPS 4435858 HAS SOUS 602093 HAS SOUPS 602058 WITH SCORE 606493.917
AT ITER 1779 NEW BEST:: SOT 5195286 SOS 4435876 HAS SOPS 4435817 HAS SOUS 602052 HAS SOUPS 602017 WITH SCORE 606452.876
AT ITER 1785 NEW BEST:: SOT 5195286 SOS 4435876 HAS SOPS 4435817 HAS SOUS 602050 HAS SOUPS 602015 WITH SCORE 606450.876
AT ITER 1790 NEW BEST:: SOT 5194970 SOS 4435560 HAS SOPS 4435501 HAS SOUS 597858 HAS SOUPS 597823 WITH SCORE 602258.56
AT ITER 1805 NEW BEST:: SOT 5194837 SOS 4435413 HAS SOPS 4435354 HAS SOUS 597666 HAS SOUPS 597631 WITH SCORE 602066.413
AT ITER 1810 NEW BEST:: SOT 5194837 SOS 4435413 HAS SOPS 4435354 HAS SOUS 597470 HAS SOUPS 597435 WITH SCORE 601870.413
AT ITER 1826 NEW BEST:: SOT 5193739 SOS 4434315 HAS SOPS 4434256 HAS SOUS 596331 HAS SOUPS 596296 WITH SCORE 600730.315
AT ITER 1854 NEW BEST:: SOT 5193756 SOS 4434332 HAS SOPS 4434273 HAS SOUS 596314 HAS SOUPS 596279 WITH SCORE 600713.332
AT ITER 1868 NEW BEST:: SOT 5196132 SOS 4436708 HAS SOPS 4436649 HAS SOUS 596084 HAS SOUPS 596049 WITH SCORE 600485.708
AT ITER 1914 NEW BEST:: SOT 5196098 SOS 4436674 HAS SOPS 4436615 HAS SOUS 596084 HAS SOUPS 596049 WITH SCORE 600485.674
AT ITER 1954 NEW BEST:: SOT 5196117 SOS 4436693 HAS SOPS 4436634 HAS SOUS 596068 HAS SOUPS 596033 WITH SCORE 600469.693
AT ITER 1972 NEW BEST:: SOT 5195965 SOS 4436541 HAS SOPS 4436482 HAS SOUS 595916 HAS SOUPS 595881 WITH SCORE 600317.541
AT ITER 2007 NEW BEST:: SOT 5195823 SOS 4436399 HAS SOPS 4436340 HAS SOUS 595793 HAS SOUPS 595758 WITH SCORE 600194.399
AT ITER 2017 NEW BEST:: SOT 5196044 SOS 4436620 HAS SOPS 4436561 HAS SOUS 595589 HAS SOUPS 595554 WITH SCORE 599990.62
AT ITER 2024 NEW BEST:: SOT 5195976 SOS 4436552 HAS SOPS 4436493 HAS SOUS 595521 HAS SOUPS 595486 WITH SCORE 599922.552
AT ITER 2038 NEW BEST:: SOT 5195912 SOS 4436488 HAS SOPS 4436429 HAS SOUS 595521 HAS SOUPS 595486 WITH SCORE 599922.488
AT ITER 2044 NEW BEST:: SOT 5195890 SOS 4436466 HAS SOPS 4436407 HAS SOUS 595502 HAS SOUPS 595467 WITH SCORE 599903.466
AT ITER 2068 NEW BEST:: SOT 5195587 SOS 4436163 HAS SOPS 4436104 HAS SOUS 595059 HAS SOUPS 595024 WITH SCORE 599460.163
AT ITER 2087 NEW BEST:: SOT 5195509 SOS 4436085 HAS SOPS 4436026 HAS SOUS 595020 HAS SOUPS 594985 WITH SCORE 599421.085
AT ITER 2092 NEW BEST:: SOT 5195509 SOS 4436085 HAS SOPS 4436026 HAS SOUS 595017 HAS SOUPS 594982 WITH SCORE 599418.085
AT ITER 2108 NEW BEST:: SOT 5195477 SOS 4436053 HAS SOPS 4435994 HAS SOUS 594281 HAS SOUPS 594246 WITH SCORE 598682.053
AT ITER 2114 NEW BEST:: SOT 5195667 SOS 4436243 HAS SOPS 4436184 HAS SOUS 594091 HAS SOUPS 594056 WITH SCORE 598492.243
AT ITER 2133 NEW BEST:: SOT 5195634 SOS 4436151 HAS SOPS 4436151 HAS SOUS 592435 HAS SOUPS 592435 WITH SCORE 596871.151
AT ITER 2138 NEW BEST:: SOT 5194459 SOS 4433888 HAS SOPS 4433888 HAS SOUS 591156 HAS SOUPS 591156 WITH SCORE 595589.888
AT ITER 2150 NEW BEST:: SOT 5194341 SOS 4433770 HAS SOPS 4433770 HAS SOUS 591141 HAS SOUPS 591141 WITH SCORE 595574.77
AT ITER 2265 NEW BEST:: SOT 5194311 SOS 4433740 HAS SOPS 4433740 HAS SOUS 591111 HAS SOUPS 591111 WITH SCORE 595544.74
AT ITER 2268 NEW BEST:: SOT 5196359 SOS 4435808 HAS SOPS 4435788 HAS SOUS 590829 HAS SOUPS 590809 WITH SCORE 595244.808
AT ITER 2274 NEW BEST:: SOT 5196341 SOS 4435790 HAS SOPS 4435770 HAS SOUS 590813 HAS SOUPS 590793 WITH SCORE 595228.79
AT ITER 2284 NEW BEST:: SOT 5196279 SOS 4435728 HAS SOPS 4435708 HAS SOUS 590751 HAS SOUPS 590731 WITH SCORE 595166.728
AT ITER 2333 NEW BEST:: SOT 5196225 SOS 4435674 HAS SOPS 4435654 HAS SOUS 590697 HAS SOUPS 590677 WITH SCORE 595112.674
AT ITER 2344 NEW BEST:: SOT 5192265 SOS 4431714 HAS SOPS 4431694 HAS SOUS 586417 HAS SOUPS 586397 WITH SCORE 590828.714
AT ITER 2383 NEW BEST:: SOT 5192217 SOS 4431666 HAS SOPS 4431646 HAS SOUS 586379 HAS SOUPS 586359 WITH SCORE 590790.666
AT ITER 2400 NEW BEST:: SOT 5191257 SOS 4430650 HAS SOPS 4430630 HAS SOUS 584634 HAS SOUPS 584614 WITH SCORE 589044.65
AT ITER 2473 NEW BEST:: SOT 5189516 SOS 4428909 HAS SOPS 4428889 HAS SOUS 582783 HAS SOUPS 582763 WITH SCORE 587191.909
AT ITER 2476 NEW BEST:: SOT 5189516 SOS 4429232 HAS SOPS 4429212 HAS SOUS 582764 HAS SOUPS 582744 WITH SCORE 587173.232
AT ITER 2487 NEW BEST:: SOT 5188904 SOS 4428620 HAS SOPS 4428600 HAS SOUS 581506 HAS SOUPS 581486 WITH SCORE 585914.62
AT ITER 2535 NEW BEST:: SOT 5188904 SOS 4428620 HAS SOPS 4428600 HAS SOUS 581293 HAS SOUPS 581273 WITH SCORE 585701.62
AT ITER 2545 NEW BEST:: SOT 5188954 SOS 4428670 HAS SOPS 4428650 HAS SOUS 581244 HAS SOUPS 581224 WITH SCORE 585652.67
AT ITER 2552 NEW BEST:: SOT 5188954 SOS 4428670 HAS SOPS 4428650 HAS SOUS 581225 HAS SOUPS 581205 WITH SCORE 585633.67
AT ITER 2556 NEW BEST:: SOT 5188886 SOS 4428602 HAS SOPS 4428582 HAS SOUS 581157 HAS SOUPS 581137 WITH SCORE 585565.602
AT ITER 2582 NEW BEST:: SOT 5188269 SOS 4427985 HAS SOPS 4427965 HAS SOUS 580299 HAS SOUPS 580279 WITH SCORE 584706.985
AT ITER 2609 NEW BEST:: SOT 5188390 SOS 4428106 HAS SOPS 4428086 HAS SOUS 580288 HAS SOUPS 580268 WITH SCORE 584696.106
AT ITER 2612 NEW BEST:: SOT 5188432 SOS 4428150 HAS SOPS 4428130 HAS SOUS 580286 HAS SOUPS 580266 WITH SCORE 584694.15
AT ITER 2615 NEW BEST:: SOT 5188267 SOS 4427985 HAS SOPS 4427965 HAS SOUS 580162 HAS SOUPS 580142 WITH SCORE 584569.985
AT ITER 2621 NEW BEST:: SOT 5188377 SOS 4431324 HAS SOPS 4431304 HAS SOUS 580145 HAS SOUPS 580125 WITH SCORE 584556.324
AT ITER 2623 NEW BEST:: SOT 5187315 SOS 4430262 HAS SOPS 4430242 HAS SOUS 579080 HAS SOUPS 579060 WITH SCORE 583490.262
AT ITER 2651 NEW BEST:: SOT 5189171 SOS 4432134 HAS SOPS 4432098 HAS SOUS 578752 HAS SOUPS 578716 WITH SCORE 583148.134
AT ITER 2670 NEW BEST:: SOT 5188531 SOS 4431494 HAS SOPS 4431458 HAS SOUS 577775 HAS SOUPS 577739 WITH SCORE 582170.494
AT ITER 2680 NEW BEST:: SOT 5188531 SOS 4431494 HAS SOPS 4431458 HAS SOUS 577704 HAS SOUPS 577668 WITH SCORE 582099.494
AT ITER 2685 NEW BEST:: SOT 5188531 SOS 4433772 HAS SOPS 4433736 HAS SOUS 577630 HAS SOUPS 577594 WITH SCORE 582027.772
AT ITER 2690 NEW BEST:: SOT 5188523 SOS 4433764 HAS SOPS 4433728 HAS SOUS 577622 HAS SOUPS 577586 WITH SCORE 582019.764
AT ITER 2706 NEW BEST:: SOT 5188523 SOS 4433764 HAS SOPS 4433728 HAS SOUS 577621 HAS SOUPS 577585 WITH SCORE 582018.764
AT ITER 2739 NEW BEST:: SOT 5188551 SOS 4433792 HAS SOPS 4433756 HAS SOUS 577593 HAS SOUPS 577557 WITH SCORE 581990.792
AT ITER 2745 NEW BEST:: SOT 5188171 SOS 4433412 HAS SOPS 4433376 HAS SOUS 577237 HAS SOUPS 577201 WITH SCORE 581634.412
AT ITER 2801 NEW BEST:: SOT 5188146 SOS 4433387 HAS SOPS 4433351 HAS SOUS 577162 HAS SOUPS 577126 WITH SCORE 581559.387
AT ITER 2888 NEW BEST:: SOT 5188044 SOS 4433285 HAS SOPS 4433249 HAS SOUS 577059 HAS SOUPS 577023 WITH SCORE 581456.285
AT ITER 2958 NEW BEST:: SOT 5188269 SOS 4433510 HAS SOPS 4433474 HAS SOUS 576962 HAS SOUPS 576926 WITH SCORE 581359.51
AT ITER 2974 NEW BEST:: SOT 5188444 SOS 4433685 HAS SOPS 4433649 HAS SOUS 575691 HAS SOUPS 575655 WITH SCORE 580088.685
AT ITER 2982 NEW BEST:: SOT 5188350 SOS 4433581 HAS SOPS 4433545 HAS SOUS 575377 HAS SOUPS 575341 WITH SCORE 579774.581
AT ITER 2989 NEW BEST:: SOT 5188151 SOS 4433382 HAS SOPS 4433346 HAS SOUS 575186 HAS SOUPS 575150 WITH SCORE 579583.382
AT ITER 3010 NEW BEST:: SOT 5188090 SOS 4433321 HAS SOPS 4433285 HAS SOUS 575125 HAS SOUPS 575089 WITH SCORE 579522.321
AT ITER 3030 NEW BEST:: SOT 5188046 SOS 4433277 HAS SOPS 4433241 HAS SOUS 575074 HAS SOUPS 575038 WITH SCORE 579471.277
AT ITER 3048 NEW BEST:: SOT 5188046 SOS 4430177 HAS SOPS 4430141 HAS SOUS 575074 HAS SOUPS 575038 WITH SCORE 579468.177
AT ITER 3053 NEW BEST:: SOT 5188131 SOS 4430262 HAS SOPS 4430226 HAS SOUS 574989 HAS SOUPS 574953 WITH SCORE 579383.262
AT ITER 3063 NEW BEST:: SOT 5188027 SOS 4430158 HAS SOPS 4430122 HAS SOUS 574885 HAS SOUPS 574849 WITH SCORE 579279.158
AT ITER 3088 NEW BEST:: SOT 5188190 SOS 4430321 HAS SOPS 4430285 HAS SOUS 574722 HAS SOUPS 574686 WITH SCORE 579116.321
AT ITER 3116 NEW BEST:: SOT 5187810 SOS 4429941 HAS SOPS 4429905 HAS SOUS 574673 HAS SOUPS 574637 WITH SCORE 579066.941
AT ITER 3231 NEW BEST:: SOT 5186930 SOS 4428529 HAS SOPS 4428493 HAS SOUS 574252 HAS SOUPS 574216 WITH SCORE 578644.529
AT ITER 3235 NEW BEST:: SOT 5186930 SOS 4430569 HAS SOPS 4430533 HAS SOUS 574130 HAS SOUPS 574094 WITH SCORE 578524.569
AT ITER 3247 NEW BEST:: SOT 5186930 SOS 4440175 HAS SOPS 4430259 HAS SOUS 574124 HAS SOUPS 574062 WITH SCORE 578502.175
AT ITER 3255 NEW BEST:: SOT 5186930 SOS 4442385 HAS SOPS 4432469 HAS SOUS 574118 HAS SOUPS 574056 WITH SCORE 578498.385
AT ITER 3259 NEW BEST:: SOT 5186906 SOS 4442361 HAS SOPS 4432445 HAS SOUS 574102 HAS SOUPS 574040 WITH SCORE 578482.361
AT ITER 3261 NEW BEST:: SOT 5186876 SOS 4442331 HAS SOPS 4432415 HAS SOUS 574070 HAS SOUPS 574008 WITH SCORE 578450.331
AT ITER 3265 NEW BEST:: SOT 5186563 SOS 4442018 HAS SOPS 4432102 HAS SOUS 573567 HAS SOUPS 573505 WITH SCORE 577947.018
AT ITER 3270 NEW BEST:: SOT 5186546 SOS 4442001 HAS SOPS 4432085 HAS SOUS 573504 HAS SOUPS 573442 WITH SCORE 577884.001
AT ITER 3292 NEW BEST:: SOT 5182949 SOS 4438404 HAS SOPS 4428488 HAS SOUS 569576 HAS SOUPS 569514 WITH SCORE 573952.404
AT ITER 3293 NEW BEST:: SOT 5183050 SOS 4438505 HAS SOPS 4428589 HAS SOUS 569140 HAS SOUPS 569078 WITH SCORE 573516.505
AT ITER 3359 NEW BEST:: SOT 5183140 SOS 4444596 HAS SOPS 4434680 HAS SOUS 568920 HAS SOUPS 568858 WITH SCORE 573302.596
AT ITER 3360 NEW BEST:: SOT 5183124 SOS 4444580 HAS SOPS 4434664 HAS SOUS 568920 HAS SOUPS 568858 WITH SCORE 573302.58
AT ITER 3387 NEW BEST:: SOT 5183168 SOS 4446386 HAS SOPS 4436990 HAS SOUS 568873 HAS SOUPS 568811 WITH SCORE 573257.386
AT ITER 3412 NEW BEST:: SOT 5183168 SOS 4446386 HAS SOPS 4436990 HAS SOUS 568843 HAS SOUPS 568781 WITH SCORE 573227.386
AT ITER 3456 NEW BEST:: SOT 5183108 SOS 4446342 HAS SOPS 4436946 HAS SOUS 568801 HAS SOUPS 568739 WITH SCORE 573185.342
AT ITER 3462 NEW BEST:: SOT 5183030 SOS 4446264 HAS SOPS 4436868 HAS SOUS 568734 HAS SOUPS 568672 WITH SCORE 573118.264
AT ITER 3490 NEW BEST:: SOT 5183028 SOS 4446262 HAS SOPS 4436866 HAS SOUS 568667 HAS SOUPS 568605 WITH SCORE 573051.262
AT ITER 3495 NEW BEST:: SOT 5183028 SOS 4446262 HAS SOPS 4436866 HAS SOUS 568651 HAS SOUPS 568589 WITH SCORE 573035.262
AT ITER 3534 NEW BEST:: SOT 5183249 SOS 4446483 HAS SOPS 4437087 HAS SOUS 568631 HAS SOUPS 568569 WITH SCORE 573015.483
AT ITER 3572 NEW BEST:: SOT 5183184 SOS 4446418 HAS SOPS 4437022 HAS SOUS 568566 HAS SOUPS 568504 WITH SCORE 572950.418
AT ITER 3598 NEW BEST:: SOT 5183170 SOS 4446404 HAS SOPS 4437008 HAS SOUS 568552 HAS SOUPS 568490 WITH SCORE 572936.404
AT ITER 3613 NEW BEST:: SOT 5183137 SOS 4446371 HAS SOPS 4436975 HAS SOUS 568519 HAS SOUPS 568457 WITH SCORE 572903.371
AT ITER 3614 NEW BEST:: SOT 5183103 SOS 4446337 HAS SOPS 4436941 HAS SOUS 568485 HAS SOUPS 568423 WITH SCORE 572869.337
AT ITER 3624 NEW BEST:: SOT 5185292 SOS 4448526 HAS SOPS 4439130 HAS SOUS 568335 HAS SOUPS 568273 WITH SCORE 572721.526
AT ITER 3646 NEW BEST:: SOT 5185220 SOS 4448454 HAS SOPS 4439058 HAS SOUS 568263 HAS SOUPS 568201 WITH SCORE 572649.454
AT ITER 3669 NEW BEST:: SOT 5185184 SOS 4448418 HAS SOPS 4439022 HAS SOUS 568227 HAS SOUPS 568165 WITH SCORE 572613.418
AT ITER 3677 NEW BEST:: SOT 5185184 SOS 4448418 HAS SOPS 4439022 HAS SOUS 568225 HAS SOUPS 568163 WITH SCORE 572611.418
AT ITER 3685 NEW BEST:: SOT 5185063 SOS 4448297 HAS SOPS 4438901 HAS SOUS 567892 HAS SOUPS 567830 WITH SCORE 572278.297
AT ITER 3686 NEW BEST:: SOT 5185063 SOS 4448297 HAS SOPS 4438901 HAS SOUS 567845 HAS SOUPS 567783 WITH SCORE 572231.297
AT ITER 3698 NEW BEST:: SOT 5185063 SOS 4448297 HAS SOPS 4438901 HAS SOUS 567834 HAS SOUPS 567772 WITH SCORE 572220.297
AT ITER 3701 NEW BEST:: SOT 5184584 SOS 4447778 HAS SOPS 4438382 HAS SOUS 567371 HAS SOUPS 567309 WITH SCORE 571756.778
AT ITER 3715 NEW BEST:: SOT 5184462 SOS 4447656 HAS SOPS 4438260 HAS SOUS 567274 HAS SOUPS 567212 WITH SCORE 571659.656
AT ITER 3722 NEW BEST:: SOT 5184410 SOS 4447604 HAS SOPS 4438208 HAS SOUS 567194 HAS SOUPS 567132 WITH SCORE 571579.604
AT ITER 3745 NEW BEST:: SOT 5184790 SOS 4447984 HAS SOPS 4438588 HAS SOUS 566958 HAS SOUPS 566896 WITH SCORE 571343.984
AT ITER 3748 NEW BEST:: SOT 5184796 SOS 4447990 HAS SOPS 4438594 HAS SOUS 566856 HAS SOUPS 566794 WITH SCORE 571241.99
AT ITER 3760 NEW BEST:: SOT 5184796 SOS 4447990 HAS SOPS 4438594 HAS SOUS 566838 HAS SOUPS 566776 WITH SCORE 571223.99
AT ITER 3781 NEW BEST:: SOT 5184758 SOS 4447952 HAS SOPS 4438556 HAS SOUS 566837 HAS SOUPS 566775 WITH SCORE 571222.952
AT ITER 3792 NEW BEST:: SOT 5184737 SOS 4447931 HAS SOPS 4438535 HAS SOUS 566836 HAS SOUPS 566774 WITH SCORE 571221.931
AT ITER 3833 NEW BEST:: SOT 5187021 SOS 4450215 HAS SOPS 4440819 HAS SOUS 566794 HAS SOUPS 566732 WITH SCORE 571182.215
AT ITER 3834 NEW BEST:: SOT 5186988 SOS 4450212 HAS SOPS 4440816 HAS SOUS 566491 HAS SOUPS 566429 WITH SCORE 570879.212
AT ITER 3867 NEW BEST:: SOT 5185888 SOS 4449112 HAS SOPS 4439716 HAS SOUS 565281 HAS SOUPS 565219 WITH SCORE 569668.112
AT ITER 3871 NEW BEST:: SOT 5185876 SOS 4449100 HAS SOPS 4439704 HAS SOUS 565280 HAS SOUPS 565218 WITH SCORE 569667.1
AT ITER 3912 NEW BEST:: SOT 5185902 SOS 4453808 HAS SOPS 4444412 HAS SOUS 565270 HAS SOUPS 565208 WITH SCORE 569661.808
AT ITER 3933 NEW BEST:: SOT 5185830 SOS 4453736 HAS SOPS 4444340 HAS SOUS 565198 HAS SOUPS 565136 WITH SCORE 569589.736
AT ITER 3940 NEW BEST:: SOT 5185788 SOS 4453694 HAS SOPS 4444298 HAS SOUS 565156 HAS SOUPS 565094 WITH SCORE 569547.694
AT ITER 3960 NEW BEST:: SOT 5185738 SOS 4453644 HAS SOPS 4444248 HAS SOUS 565156 HAS SOUPS 565094 WITH SCORE 569547.644
AT ITER 3975 NEW BEST:: SOT 5185522 SOS 4453428 HAS SOPS 4444032 HAS SOUS 564940 HAS SOUPS 564878 WITH SCORE 569331.428
AT ITER 3987 NEW BEST:: SOT 5185496 SOS 4453402 HAS SOPS 4444006 HAS SOUS 564914 HAS SOUPS 564852 WITH SCORE 569305.402
AT ITER 3990 NEW BEST:: SOT 5185496 SOS 4453402 HAS SOPS 4444006 HAS SOUS 564885 HAS SOUPS 564823 WITH SCORE 569276.402
AT ITER 4013 NEW BEST:: SOT 5185496 SOS 4453402 HAS SOPS 4444006 HAS SOUS 564848 HAS SOUPS 564786 WITH SCORE 569239.402
AT ITER 4030 NEW BEST:: SOT 5185323 SOS 4453219 HAS SOPS 4443823 HAS SOUS 564746 HAS SOUPS 564684 WITH SCORE 569137.219
AT ITER 4086 NEW BEST:: SOT 5185323 SOS 4453219 HAS SOPS 4443823 HAS SOUS 564665 HAS SOUPS 564603 WITH SCORE 569056.219
AT ITER 4114 NEW BEST:: SOT 5185100 SOS 4452996 HAS SOPS 4443600 HAS SOUS 564442 HAS SOUPS 564380 WITH SCORE 568832.996
AT ITER 4133 NEW BEST:: SOT 5185094 SOS 4452990 HAS SOPS 4443594 HAS SOUS 564436 HAS SOUPS 564374 WITH SCORE 568826.99
AT ITER 4168 NEW BEST:: SOT 5184860 SOS 4452756 HAS SOPS 4443360 HAS SOUS 564202 HAS SOUPS 564140 WITH SCORE 568592.756
AT ITER 4187 NEW BEST:: SOT 5185150 SOS 4453046 HAS SOPS 4443650 HAS SOUS 564072 HAS SOUPS 564010 WITH SCORE 568463.046
AT ITER 4270 NEW BEST:: SOT 5185150 SOS 4453046 HAS SOPS 4443650 HAS SOUS 564053 HAS SOUPS 563991 WITH SCORE 568444.046
AT ITER 4291 NEW BEST:: SOT 5184869 SOS 4452765 HAS SOPS 4443369 HAS SOUS 563726 HAS SOUPS 563664 WITH SCORE 568116.765
AT ITER 4310 NEW BEST:: SOT 5184869 SOS 4452765 HAS SOPS 4443369 HAS SOUS 563724 HAS SOUPS 563662 WITH SCORE 568114.765
AT ITER 4324 NEW BEST:: SOT 5184904 SOS 4452800 HAS SOPS 4443404 HAS SOUS 563709 HAS SOUPS 563647 WITH SCORE 568099.8
AT ITER 4350 NEW BEST:: SOT 5184288 SOS 4451149 HAS SOPS 4441753 HAS SOUS 562791 HAS SOUPS 562729 WITH SCORE 567180.149
AT ITER 4357 NEW BEST:: SOT 5184259 SOS 4451120 HAS SOPS 4441724 HAS SOUS 562762 HAS SOUPS 562700 WITH SCORE 567151.12
AT ITER 4377 NEW BEST:: SOT 5184901 SOS 4451118 HAS SOPS 4441722 HAS SOUS 562474 HAS SOUPS 562412 WITH SCORE 566863.118
AT ITER 4388 NEW BEST:: SOT 5184892 SOS 4451109 HAS SOPS 4441713 HAS SOUS 562474 HAS SOUPS 562412 WITH SCORE 566863.109
AT ITER 4394 NEW BEST:: SOT 5184892 SOS 4451109 HAS SOPS 4441713 HAS SOUS 562371 HAS SOUPS 562309 WITH SCORE 566760.109
AT ITER 4395 NEW BEST:: SOT 5185163 SOS 4451380 HAS SOPS 4441984 HAS SOUS 562367 HAS SOUPS 562305 WITH SCORE 566756.38
AT ITER 4403 NEW BEST:: SOT 5185255 SOS 4451472 HAS SOPS 4442076 HAS SOUS 562275 HAS SOUPS 562213 WITH SCORE 566664.472
AT ITER 4449 NEW BEST:: SOT 5185190 SOS 4451407 HAS SOPS 4442011 HAS SOUS 562210 HAS SOUPS 562148 WITH SCORE 566599.407
AT ITER 4452 NEW BEST:: SOT 5185594 SOS 4451811 HAS SOPS 4442415 HAS SOUS 561934 HAS SOUPS 561872 WITH SCORE 566323.811
AT ITER 4457 NEW BEST:: SOT 5185594 SOS 4451811 HAS SOPS 4442415 HAS SOUS 561895 HAS SOUPS 561833 WITH SCORE 566284.811
AT ITER 4466 NEW BEST:: SOT 5185380 SOS 4451597 HAS SOPS 4442201 HAS SOUS 561447 HAS SOUPS 561385 WITH SCORE 565836.597
AT ITER 4473 NEW BEST:: SOT 5184436 SOS 4450653 HAS SOPS 4441257 HAS SOUS 559243 HAS SOUPS 559181 WITH SCORE 563631.653
AT ITER 4489 NEW BEST:: SOT 5184445 SOS 4450654 HAS SOPS 4441258 HAS SOUS 559225 HAS SOUPS 559163 WITH SCORE 563613.654
AT ITER 4498 NEW BEST:: SOT 5184423 SOS 4450632 HAS SOPS 4441236 HAS SOUS 559203 HAS SOUPS 559141 WITH SCORE 563591.632
AT ITER 4521 NEW BEST:: SOT 5185133 SOS 4451348 HAS SOPS 4441952 HAS SOUS 559131 HAS SOUPS 559069 WITH SCORE 563520.348
AT ITER 4538 NEW BEST:: SOT 5185405 SOS 4451620 HAS SOPS 4442224 HAS SOUS 559099 HAS SOUPS 559037 WITH SCORE 563488.62
AT ITER 4582 NEW BEST:: SOT 5185529 SOS 4451744 HAS SOPS 4442348 HAS SOUS 558201 HAS SOUPS 558139 WITH SCORE 562590.744
AT ITER 4585 NEW BEST:: SOT 5185452 SOS 4451667 HAS SOPS 4442271 HAS SOUS 558124 HAS SOUPS 558062 WITH SCORE 562513.667
AT ITER 4586 NEW BEST:: SOT 5184848 SOS 4451081 HAS SOPS 4441685 HAS SOUS 557540 HAS SOUPS 557478 WITH SCORE 561929.081
AT ITER 4599 NEW BEST:: SOT 5184776 SOS 4451011 HAS SOPS 4441615 HAS SOUS 557348 HAS SOUPS 557286 WITH SCORE 561737.011
AT ITER 4647 NEW BEST:: SOT 5184651 SOS 4450886 HAS SOPS 4441490 HAS SOUS 557131 HAS SOUPS 557069 WITH SCORE 561519.886
AT ITER 4679 NEW BEST:: SOT 5184651 SOS 4450886 HAS SOPS 4441490 HAS SOUS 556737 HAS SOUPS 556675 WITH SCORE 561125.886
AT ITER 4696 NEW BEST:: SOT 5184585 SOS 4450820 HAS SOPS 4441424 HAS SOUS 556671 HAS SOUPS 556609 WITH SCORE 561059.82
AT ITER 4734 NEW BEST:: SOT 5184389 SOS 4450624 HAS SOPS 4441228 HAS SOUS 556554 HAS SOUPS 556492 WITH SCORE 560942.624
AT ITER 4745 NEW BEST:: SOT 5183814 SOS 4448976 HAS SOPS 4439580 HAS SOUS 555801 HAS SOUPS 555739 WITH SCORE 560187.976
AT ITER 4808 NEW BEST:: SOT 5183814 SOS 4448957 HAS SOPS 4439561 HAS SOUS 555801 HAS SOUPS 555739 WITH SCORE 560187.957
AT ITER 4832 NEW BEST:: SOT 5183774 SOS 4448917 HAS SOPS 4439521 HAS SOUS 555761 HAS SOUPS 555699 WITH SCORE 560147.917
AT ITER 4868 NEW BEST:: SOT 5183529 SOS 4448672 HAS SOPS 4439276 HAS SOUS 555075 HAS SOUPS 555013 WITH SCORE 559461.672
AT ITER 4909 NEW BEST:: SOT 5183529 SOS 4457621 HAS SOPS 4457585 HAS SOUS 555009 HAS SOUPS 554973 WITH SCORE 559430.621
AT ITER 4915 NEW BEST:: SOT 5183588 SOS 4458378 HAS SOPS 4458342 HAS SOUS 554995 HAS SOUPS 554959 WITH SCORE 559417.378
AT ITER 4955 NEW BEST:: SOT 5183413 SOS 4458203 HAS SOPS 4458167 HAS SOUS 554995 HAS SOUPS 554959 WITH SCORE 559417.203
AT ITER 4971 NEW BEST:: SOT 5183413 SOS 4416565 HAS SOPS 4416529 HAS SOUS 554995 HAS SOUPS 554959 WITH SCORE 559375.565
AT ITER 4976 NEW BEST:: SOT 5183413 SOS 4416565 HAS SOPS 4416529 HAS SOUS 554990 HAS SOUPS 554954 WITH SCORE 559370.565
AT ITER 4989 NEW BEST:: SOT 5183235 SOS 4416387 HAS SOPS 4416351 HAS SOUS 554691 HAS SOUPS 554655 WITH SCORE 559071.387
AT ITER 4994 NEW BEST:: SOT 5183235 SOS 4416387 HAS SOPS 4416351 HAS SOUS 554679 HAS SOUPS 554643 WITH SCORE 559059.387
AT ITER 5027 NEW BEST:: SOT 5183203 SOS 4416355 HAS SOPS 4416319 HAS SOUS 554625 HAS SOUPS 554589 WITH SCORE 559005.355
AT ITER 5041 NEW BEST:: SOT 5183373 SOS 4416525 HAS SOPS 4416489 HAS SOUS 553440 HAS SOUPS 553404 WITH SCORE 557820.525
AT ITER 5074 NEW BEST:: SOT 5183373 SOS 4416525 HAS SOPS 4416489 HAS SOUS 553404 HAS SOUPS 553368 WITH SCORE 557784.525
AT ITER 5086 NEW BEST:: SOT 5183373 SOS 4416525 HAS SOPS 4416489 HAS SOUS 553368 HAS SOUPS 553332 WITH SCORE 557748.525
AT ITER 5091 NEW BEST:: SOT 5183373 SOS 4416525 HAS SOPS 4416489 HAS SOUS 553353 HAS SOUPS 553317 WITH SCORE 557733.525
AT ITER 5114 NEW BEST:: SOT 5182995 SOS 4416237 HAS SOPS 4416201 HAS SOUS 553005 HAS SOUPS 552969 WITH SCORE 557385.237
AT ITER 5144 NEW BEST:: SOT 5182995 SOS 4332731 HAS SOPS 4331895 HAS SOUS 553026 HAS SOUPS 552969 WITH SCORE 557301.731
AT ITER 5160 NEW BEST:: SOT 5182995 SOS 4332731 HAS SOPS 4331895 HAS SOUS 552930 HAS SOUPS 552873 WITH SCORE 557205.731
AT ITER 5168 NEW BEST:: SOT 5182997 SOS 4332735 HAS SOPS 4331899 HAS SOUS 552889 HAS SOUPS 552832 WITH SCORE 557164.735
AT ITER 5193 NEW BEST:: SOT 5183307 SOS 4333045 HAS SOPS 4332209 HAS SOUS 552877 HAS SOUPS 552820 WITH SCORE 557153.045
AT ITER 5249 NEW BEST:: SOT 5183095 SOS 4332833 HAS SOPS 4331997 HAS SOUS 552559 HAS SOUPS 552502 WITH SCORE 556834.833
AT ITER 5253 NEW BEST:: SOT 5183071 SOS 4332809 HAS SOPS 4331973 HAS SOUS 552535 HAS SOUPS 552478 WITH SCORE 556810.809
AT ITER 5267 NEW BEST:: SOT 5183646 SOS 4333318 HAS SOPS 4332482 HAS SOUS 552524 HAS SOUPS 552467 WITH SCORE 556800.318
AT ITER 5273 NEW BEST:: SOT 5183646 SOS 4333726 HAS SOPS 4332890 HAS SOUS 552500 HAS SOUPS 552443 WITH SCORE 556776.726
AT ITER 5275 NEW BEST:: SOT 5183029 SOS 4332943 HAS SOPS 4332107 HAS SOUS 551875 HAS SOUPS 551818 WITH SCORE 556150.943
AT ITER 5287 NEW BEST:: SOT 5182918 SOS 4337140 HAS SOPS 4336304 HAS SOUS 551747 HAS SOUPS 551690 WITH SCORE 556027.14
AT ITER 5289 NEW BEST:: SOT 5182918 SOS 4337126 HAS SOPS 4336290 HAS SOUS 551744 HAS SOUPS 551687 WITH SCORE 556024.126
AT ITER 5294 NEW BEST:: SOT 5182918 SOS 4337136 HAS SOPS 4336300 HAS SOUS 551643 HAS SOUPS 551586 WITH SCORE 555923.136
AT ITER 5358 NEW BEST:: SOT 5182918 SOS 4336716 HAS SOPS 4335880 HAS SOUS 551643 HAS SOUPS 551586 WITH SCORE 555922.716
AT ITER 5412 NEW BEST:: SOT 5182918 SOS 4336716 HAS SOPS 4335880 HAS SOUS 551579 HAS SOUPS 551522 WITH SCORE 555858.716
AT ITER 5437 NEW BEST:: SOT 5182918 SOS 4336716 HAS SOPS 4335880 HAS SOUS 551566 HAS SOUPS 551509 WITH SCORE 555845.716
AT ITER 5441 NEW BEST:: SOT 5182918 SOS 4336716 HAS SOPS 4335880 HAS SOUS 551561 HAS SOUPS 551504 WITH SCORE 555840.716
AT ITER 5465 NEW BEST:: SOT 5182936 SOS 4336734 HAS SOPS 4335898 HAS SOUS 551255 HAS SOUPS 551198 WITH SCORE 555534.734
AT ITER 5470 NEW BEST:: SOT 5182910 SOS 4336708 HAS SOPS 4335872 HAS SOUS 551247 HAS SOUPS 551190 WITH SCORE 555526.708
AT ITER 5477 NEW BEST:: SOT 5182870 SOS 4336668 HAS SOPS 4335832 HAS SOUS 551207 HAS SOUPS 551150 WITH SCORE 555486.668
AT ITER 5499 NEW BEST:: SOT 5182730 SOS 4336528 HAS SOPS 4335692 HAS SOUS 551067 HAS SOUPS 551010 WITH SCORE 555346.528
AT ITER 5500 NEW BEST:: SOT 5182570 SOS 4336368 HAS SOPS 4335532 HAS SOUS 550907 HAS SOUPS 550850 WITH SCORE 555186.368
AT ITER 5515 NEW BEST:: SOT 5182570 SOS 4337932 HAS SOPS 4337096 HAS SOUS 550815 HAS SOUPS 550758 WITH SCORE 555095.932
AT ITER 5523 NEW BEST:: SOT 5182539 SOS 4337891 HAS SOPS 4337055 HAS SOUS 550802 HAS SOUPS 550745 WITH SCORE 555082.891
AT ITER 5548 NEW BEST:: SOT 5182381 SOS 4337733 HAS SOPS 4336897 HAS SOUS 550644 HAS SOUPS 550587 WITH SCORE 554924.733
AT ITER 5558 NEW BEST:: SOT 5182381 SOS 4337293 HAS SOPS 4336457 HAS SOUS 550644 HAS SOUPS 550587 WITH SCORE 554924.293
AT ITER 5579 NEW BEST:: SOT 5182500 SOS 4337412 HAS SOPS 4336576 HAS SOUS 549938 HAS SOUPS 549881 WITH SCORE 554218.412
AT ITER 5622 NEW BEST:: SOT 5182484 SOS 4337396 HAS SOPS 4336560 HAS SOUS 549938 HAS SOUPS 549881 WITH SCORE 554218.396
AT ITER 5626 NEW BEST:: SOT 5182550 SOS 4337462 HAS SOPS 4336626 HAS SOUS 549872 HAS SOUPS 549815 WITH SCORE 554152.462
AT ITER 5633 NEW BEST:: SOT 5182550 SOS 4337462 HAS SOPS 4336626 HAS SOUS 549871 HAS SOUPS 549814 WITH SCORE 554151.462
AT ITER 5666 NEW BEST:: SOT 5182541 SOS 4337453 HAS SOPS 4336617 HAS SOUS 549862 HAS SOUPS 549805 WITH SCORE 554142.453
AT ITER 5697 NEW BEST:: SOT 5182541 SOS 4337453 HAS SOPS 4336617 HAS SOUS 549843 HAS SOUPS 549786 WITH SCORE 554123.453
AT ITER 5733 NEW BEST:: SOT 5182605 SOS 4337517 HAS SOPS 4336681 HAS SOUS 549779 HAS SOUPS 549722 WITH SCORE 554059.517
AT ITER 5762 NEW BEST:: SOT 5182599 SOS 4337511 HAS SOPS 4336675 HAS SOUS 549773 HAS SOUPS 549716 WITH SCORE 554053.511
AT ITER 5785 NEW BEST:: SOT 5182587 SOS 4337499 HAS SOPS 4336663 HAS SOUS 549755 HAS SOUPS 549698 WITH SCORE 554035.499
AT ITER 5837 NEW BEST:: SOT 5182409 SOS 4337321 HAS SOPS 4336485 HAS SOUS 549489 HAS SOUPS 549432 WITH SCORE 553769.321
AT ITER 5846 NEW BEST:: SOT 5182409 SOS 4337333 HAS SOPS 4336497 HAS SOUS 549483 HAS SOUPS 549426 WITH SCORE 553763.333
AT ITER 5874 NEW BEST:: SOT 5182357 SOS 4337281 HAS SOPS 4336445 HAS SOUS 549415 HAS SOUPS 549358 WITH SCORE 553695.281
AT ITER 5887 NEW BEST:: SOT 5182357 SOS 4337281 HAS SOPS 4336445 HAS SOUS 549412 HAS SOUPS 549355 WITH SCORE 553692.281
AT ITER 5903 NEW BEST:: SOT 5182352 SOS 4337276 HAS SOPS 4336440 HAS SOUS 548420 HAS SOUPS 548363 WITH SCORE 552700.276
AT ITER 5934 NEW BEST:: SOT 5182333 SOS 4337257 HAS SOPS 4336421 HAS SOUS 548401 HAS SOUPS 548344 WITH SCORE 552681.257
AT ITER 5972 NEW BEST:: SOT 5182333 SOS 4338837 HAS SOPS 4338421 HAS SOUS 548387 HAS SOUPS 548332 WITH SCORE 552670.837
AT ITER 5990 NEW BEST:: SOT 5182333 SOS 4338237 HAS SOPS 4337661 HAS SOUS 548387 HAS SOUPS 548332 WITH SCORE 552670.237
AT ITER 6002 NEW BEST:: SOT 5182333 SOS 4338237 HAS SOPS 4337661 HAS SOUS 548365 HAS SOUPS 548310 WITH SCORE 552648.237
AT ITER 6066 NEW BEST:: SOT 5182333 SOS 4338237 HAS SOPS 4337661 HAS SOUS 548352 HAS SOUPS 548297 WITH SCORE 552635.237
AT ITER 6095 NEW BEST:: SOT 5182349 SOS 4338253 HAS SOPS 4337677 HAS SOUS 548336 HAS SOUPS 548281 WITH SCORE 552619.253
AT ITER 6096 NEW BEST:: SOT 5182252 SOS 4338156 HAS SOPS 4337580 HAS SOUS 548291 HAS SOUPS 548236 WITH SCORE 552574.156
AT ITER 6104 NEW BEST:: SOT 5182012 SOS 4337916 HAS SOPS 4337340 HAS SOUS 547711 HAS SOUPS 547656 WITH SCORE 551993.916
AT ITER 6121 NEW BEST:: SOT 5182730 SOS 4338634 HAS SOPS 4338058 HAS SOUS 547555 HAS SOUPS 547500 WITH SCORE 551838.634
AT ITER 6133 NEW BEST:: SOT 5182730 SOS 4335234 HAS SOPS 4334658 HAS SOUS 547555 HAS SOUPS 547500 WITH SCORE 551835.234
AT ITER 6140 NEW BEST:: SOT 5182600 SOS 4335104 HAS SOPS 4334528 HAS SOUS 547425 HAS SOUPS 547370 WITH SCORE 551705.104
AT ITER 6158 NEW BEST:: SOT 5182538 SOS 4335042 HAS SOPS 4334466 HAS SOUS 547363 HAS SOUPS 547308 WITH SCORE 551643.042
AT ITER 6167 NEW BEST:: SOT 5182527 SOS 4335031 HAS SOPS 4334455 HAS SOUS 547352 HAS SOUPS 547297 WITH SCORE 551632.031
AT ITER 6194 NEW BEST:: SOT 5182347 SOS 4334771 HAS SOPS 4334195 HAS SOUS 547194 HAS SOUPS 547139 WITH SCORE 551473.771
AT ITER 6228 NEW BEST:: SOT 5183346 SOS 4335770 HAS SOPS 4335194 HAS SOUS 547048 HAS SOUPS 546993 WITH SCORE 551328.77
AT ITER 6267 NEW BEST:: SOT 5183287 SOS 4335711 HAS SOPS 4335135 HAS SOUS 546989 HAS SOUPS 546934 WITH SCORE 551269.711
AT ITER 6290 NEW BEST:: SOT 5183282 SOS 4335706 HAS SOPS 4335130 HAS SOUS 546874 HAS SOUPS 546819 WITH SCORE 551154.706
AT ITER 6295 NEW BEST:: SOT 5183275 SOS 4335699 HAS SOPS 4335123 HAS SOUS 546864 HAS SOUPS 546809 WITH SCORE 551144.699
AT ITER 6313 NEW BEST:: SOT 5183151 SOS 4336500 HAS SOPS 4335924 HAS SOUS 546677 HAS SOUPS 546622 WITH SCORE 550958.5
AT ITER 6314 NEW BEST:: SOT 5183151 SOS 4336500 HAS SOPS 4335924 HAS SOUS 546622 HAS SOUPS 546567 WITH SCORE 550903.5
AT ITER 6330 NEW BEST:: SOT 5182752 SOS 4336101 HAS SOPS 4335525 HAS SOUS 546090 HAS SOUPS 546035 WITH SCORE 550371.101
AT ITER 6340 NEW BEST:: SOT 5183032 SOS 4336381 HAS SOPS 4335805 HAS SOUS 545957 HAS SOUPS 545902 WITH SCORE 550238.381
AT ITER 6355 NEW BEST:: SOT 5183116 SOS 4336465 HAS SOPS 4335889 HAS SOUS 545873 HAS SOUPS 545818 WITH SCORE 550154.465
AT ITER 6364 NEW BEST:: SOT 5183007 SOS 4336356 HAS SOPS 4335780 HAS SOUS 545764 HAS SOUPS 545709 WITH SCORE 550045.356
AT ITER 6367 NEW BEST:: SOT 5182955 SOS 4336304 HAS SOPS 4335728 HAS SOUS 544702 HAS SOUPS 544647 WITH SCORE 548983.304
AT ITER 6396 NEW BEST:: SOT 5182929 SOS 4336278 HAS SOPS 4335702 HAS SOUS 544676 HAS SOUPS 544621 WITH SCORE 548957.278
AT ITER 6401 NEW BEST:: SOT 5182667 SOS 4336003 HAS SOPS 4335427 HAS SOUS 544253 HAS SOUPS 544198 WITH SCORE 548534.003
AT ITER 6406 NEW BEST:: SOT 5181593 SOS 4334929 HAS SOPS 4334353 HAS SOUS 543126 HAS SOUPS 543071 WITH SCORE 547405.929
AT ITER 6424 NEW BEST:: SOT 5181449 SOS 4334785 HAS SOPS 4334209 HAS SOUS 542982 HAS SOUPS 542927 WITH SCORE 547261.785
AT ITER 6427 NEW BEST:: SOT 5181582 SOS 4334918 HAS SOPS 4334342 HAS SOUS 541885 HAS SOUPS 541830 WITH SCORE 546164.918
AT ITER 6434 NEW BEST:: SOT 5181492 SOS 4334828 HAS SOPS 4334252 HAS SOUS 541777 HAS SOUPS 541722 WITH SCORE 546056.828
AT ITER 6463 NEW BEST:: SOT 5181413 SOS 4334749 HAS SOPS 4334173 HAS SOUS 541751 HAS SOUPS 541696 WITH SCORE 546030.749
AT ITER 6475 NEW BEST:: SOT 5181413 SOS 4334749 HAS SOPS 4334173 HAS SOUS 541717 HAS SOUPS 541662 WITH SCORE 545996.749
AT ITER 6505 NEW BEST:: SOT 5181416 SOS 4334784 HAS SOPS 4334208 HAS SOUS 541625 HAS SOUPS 541570 WITH SCORE 545904.784
AT ITER 6534 NEW BEST:: SOT 5181416 SOS 4334784 HAS SOPS 4334208 HAS SOUS 541589 HAS SOUPS 541534 WITH SCORE 545868.784
AT ITER 6568 NEW BEST:: SOT 5181170 SOS 4334538 HAS SOPS 4333962 HAS SOUS 541281 HAS SOUPS 541226 WITH SCORE 545560.538
AT ITER 6603 NEW BEST:: SOT 5181170 SOS 4334538 HAS SOPS 4333962 HAS SOUS 541280 HAS SOUPS 541225 WITH SCORE 545559.538
AT ITER 6623 NEW BEST:: SOT 5181170 SOS 4322038 HAS SOPS 4313602 HAS SOUS 541280 HAS SOUPS 541223 WITH SCORE 545545.038
AT ITER 6641 NEW BEST:: SOT 5181170 SOS 4322038 HAS SOPS 4313602 HAS SOUS 541250 HAS SOUPS 541193 WITH SCORE 545515.038
AT ITER 6661 NEW BEST:: SOT 5181151 SOS 4322019 HAS SOPS 4313583 HAS SOUS 541231 HAS SOUPS 541174 WITH SCORE 545496.019
AT ITER 6667 NEW BEST:: SOT 5180851 SOS 4321719 HAS SOPS 4313283 HAS SOUS 540616 HAS SOUPS 540559 WITH SCORE 544880.719
AT ITER 6681 NEW BEST:: SOT 5180851 SOS 4323818 HAS SOPS 4315382 HAS SOUS 540496 HAS SOUPS 540439 WITH SCORE 544762.818
AT ITER 6734 NEW BEST:: SOT 5180818 SOS 4323785 HAS SOPS 4315349 HAS SOUS 540430 HAS SOUPS 540373 WITH SCORE 544696.785
AT ITER 6745 NEW BEST:: SOT 5180670 SOS 4323637 HAS SOPS 4315201 HAS SOUS 540208 HAS SOUPS 540151 WITH SCORE 544474.637
AT ITER 6771 NEW BEST:: SOT 5180670 SOS 4323637 HAS SOPS 4315201 HAS SOUS 540098 HAS SOUPS 540041 WITH SCORE 544364.637
AT ITER 6785 NEW BEST:: SOT 5180609 SOS 4323576 HAS SOPS 4315140 HAS SOUS 540041 HAS SOUPS 539984 WITH SCORE 544307.576
AT ITER 6788 NEW BEST:: SOT 5180681 SOS 4323648 HAS SOPS 4315212 HAS SOUS 539969 HAS SOUPS 539912 WITH SCORE 544235.648
AT ITER 6790 NEW BEST:: SOT 5180491 SOS 4323458 HAS SOPS 4315022 HAS SOUS 539687 HAS SOUPS 539630 WITH SCORE 543953.458
AT ITER 6796 NEW BEST:: SOT 5180491 SOS 4323458 HAS SOPS 4315022 HAS SOUS 539665 HAS SOUPS 539608 WITH SCORE 543931.458
AT ITER 6834 NEW BEST:: SOT 5180483 SOS 4323450 HAS SOPS 4315014 HAS SOUS 539635 HAS SOUPS 539578 WITH SCORE 543901.45
AT ITER 6841 NEW BEST:: SOT 5180451 SOS 4323418 HAS SOPS 4314982 HAS SOUS 539624 HAS SOUPS 539567 WITH SCORE 543890.418
AT ITER 6878 NEW BEST:: SOT 5180451 SOS 4323418 HAS SOPS 4314982 HAS SOUS 539620 HAS SOUPS 539563 WITH SCORE 543886.418
AT ITER 6882 NEW BEST:: SOT 5180377 SOS 4323344 HAS SOPS 4314908 HAS SOUS 539577 HAS SOUPS 539520 WITH SCORE 543843.344
AT ITER 6903 NEW BEST:: SOT 5180352 SOS 4323319 HAS SOPS 4314883 HAS SOUS 539527 HAS SOUPS 539470 WITH SCORE 543793.319
AT ITER 6907 NEW BEST:: SOT 5180270 SOS 4323237 HAS SOPS 4314801 HAS SOUS 539434 HAS SOUPS 539377 WITH SCORE 543700.237
AT ITER 6956 NEW BEST:: SOT 5180248 SOS 4323195 HAS SOPS 4314759 HAS SOUS 539195 HAS SOUPS 539138 WITH SCORE 543461.195
AT ITER 6966 NEW BEST:: SOT 5180248 SOS 4323195 HAS SOPS 4314759 HAS SOUS 539122 HAS SOUPS 539065 WITH SCORE 543388.195
AT ITER 6991 NEW BEST:: SOT 5180248 SOS 4323195 HAS SOPS 4314759 HAS SOUS 539118 HAS SOUPS 539061 WITH SCORE 543384.195
AT ITER 6999 NEW BEST:: SOT 5180102 SOS 4323049 HAS SOPS 4314613 HAS SOUS 538916 HAS SOUPS 538859 WITH SCORE 543182.049
AT ITER 7018 NEW BEST:: SOT 5179880 SOS 4322827 HAS SOPS 4314391 HAS SOUS 538600 HAS SOUPS 538543 WITH SCORE 542865.827
AT ITER 7033 NEW BEST:: SOT 5179706 SOS 4322653 HAS SOPS 4314217 HAS SOUS 538322 HAS SOUPS 538265 WITH SCORE 542587.653
AT ITER 7071 NEW BEST:: SOT 5179687 SOS 4322634 HAS SOPS 4314198 HAS SOUS 538303 HAS SOUPS 538246 WITH SCORE 542568.634
AT ITER 7076 NEW BEST:: SOT 5179613 SOS 4322560 HAS SOPS 4314124 HAS SOUS 538236 HAS SOUPS 538179 WITH SCORE 542501.56
AT ITER 7097 NEW BEST:: SOT 5179613 SOS 4322560 HAS SOPS 4314124 HAS SOUS 538188 HAS SOUPS 538131 WITH SCORE 542453.56
AT ITER 7113 NEW BEST:: SOT 5179905 SOS 4322852 HAS SOPS 4314416 HAS SOUS 537918 HAS SOUPS 537861 WITH SCORE 542183.852
AT ITER 7137 NEW BEST:: SOT 5179905 SOS 4322852 HAS SOPS 4314416 HAS SOUS 537876 HAS SOUPS 537819 WITH SCORE 542141.852
AT ITER 7145 NEW BEST:: SOT 5179833 SOS 4322780 HAS SOPS 4314344 HAS SOUS 537660 HAS SOUPS 537603 WITH SCORE 541925.78
AT ITER 7168 NEW BEST:: SOT 5179675 SOS 4322622 HAS SOPS 4314186 HAS SOUS 537454 HAS SOUPS 537397 WITH SCORE 541719.622
AT ITER 7191 NEW BEST:: SOT 5179494 SOS 4322441 HAS SOPS 4314005 HAS SOUS 536944 HAS SOUPS 536887 WITH SCORE 541209.441
AT ITER 7213 NEW BEST:: SOT 5179494 SOS 4252856 HAS SOPS 4244420 HAS SOUS 536979 HAS SOUPS 536922 WITH SCORE 541174.856
AT ITER 7233 NEW BEST:: SOT 5179494 SOS 4258022 HAS SOPS 4257986 HAS SOUS 536928 HAS SOUPS 536892 WITH SCORE 541150.022
AT ITER 7260 NEW BEST:: SOT 5179476 SOS 4258004 HAS SOPS 4257968 HAS SOUS 536910 HAS SOUPS 536874 WITH SCORE 541132.004
AT ITER 7263 NEW BEST:: SOT 5180226 SOS 4258754 HAS SOPS 4258718 HAS SOUS 535992 HAS SOUPS 535956 WITH SCORE 540214.754
AT ITER 7311 NEW BEST:: SOT 5180226 SOS 4258754 HAS SOPS 4258718 HAS SOUS 535980 HAS SOUPS 535944 WITH SCORE 540202.754
AT ITER 7410 NEW BEST:: SOT 5180226 SOS 4258754 HAS SOPS 4258718 HAS SOUS 535976 HAS SOUPS 535940 WITH SCORE 540198.754
AT ITER 7412 NEW BEST:: SOT 5180226 SOS 4258754 HAS SOPS 4258718 HAS SOUS 535972 HAS SOUPS 535936 WITH SCORE 540194.754
AT ITER 7441 NEW BEST:: SOT 5180255 SOS 4258783 HAS SOPS 4258747 HAS SOUS 535943 HAS SOUPS 535907 WITH SCORE 540165.783
AT ITER 7446 NEW BEST:: SOT 5180255 SOS 4258783 HAS SOPS 4258747 HAS SOUS 535939 HAS SOUPS 535903 WITH SCORE 540161.783
AT ITER 7461 NEW BEST:: SOT 5180255 SOS 4258783 HAS SOPS 4258747 HAS SOUS 535881 HAS SOUPS 535845 WITH SCORE 540103.783
AT ITER 7476 NEW BEST:: SOT 5176765 SOS 4255293 HAS SOPS 4255257 HAS SOUS 531997 HAS SOUPS 531961 WITH SCORE 536216.293
AT ITER 7483 NEW BEST:: SOT 5176653 SOS 4255181 HAS SOPS 4255145 HAS SOUS 531997 HAS SOUPS 531961 WITH SCORE 536216.181
AT ITER 7513 NEW BEST:: SOT 5176561 SOS 4255089 HAS SOPS 4255053 HAS SOUS 531905 HAS SOUPS 531869 WITH SCORE 536124.089
AT ITER 7546 NEW BEST:: SOT 5176561 SOS 4255089 HAS SOPS 4255053 HAS SOUS 531904 HAS SOUPS 531868 WITH SCORE 536123.089
AT ITER 7549 NEW BEST:: SOT 5176652 SOS 4255180 HAS SOPS 4255144 HAS SOUS 531887 HAS SOUPS 531851 WITH SCORE 536106.18
AT ITER 7554 NEW BEST:: SOT 5176652 SOS 4255180 HAS SOPS 4255144 HAS SOUS 531864 HAS SOUPS 531828 WITH SCORE 536083.18
AT ITER 7596 NEW BEST:: SOT 5176544 SOS 4255072 HAS SOPS 4255036 HAS SOUS 531748 HAS SOUPS 531712 WITH SCORE 535967.072
AT ITER 7632 NEW BEST:: SOT 5176274 SOS 4254802 HAS SOPS 4254766 HAS SOUS 531684 HAS SOUPS 531648 WITH SCORE 535902.802
AT ITER 7648 NEW BEST:: SOT 5175967 SOS 4254495 HAS SOPS 4254459 HAS SOUS 531084 HAS SOUPS 531048 WITH SCORE 535302.495
AT ITER 7682 NEW BEST:: SOT 5175997 SOS 4254525 HAS SOPS 4254489 HAS SOUS 530574 HAS SOUPS 530538 WITH SCORE 534792.525
AT ITER 7702 NEW BEST:: SOT 5175822 SOS 4254350 HAS SOPS 4254314 HAS SOUS 530429 HAS SOUPS 530393 WITH SCORE 534647.35
AT ITER 7709 NEW BEST:: SOT 5175822 SOS 4254350 HAS SOPS 4254314 HAS SOUS 530426 HAS SOUPS 530390 WITH SCORE 534644.35
AT ITER 7713 NEW BEST:: SOT 5175822 SOS 4254350 HAS SOPS 4254314 HAS SOUS 530402 HAS SOUPS 530366 WITH SCORE 534620.35
AT ITER 7721 NEW BEST:: SOT 5175821 SOS 4254349 HAS SOPS 4254313 HAS SOUS 530401 HAS SOUPS 530365 WITH SCORE 534619.349
AT ITER 7733 NEW BEST:: SOT 5176004 SOS 4254532 HAS SOPS 4254496 HAS SOUS 530195 HAS SOUPS 530159 WITH SCORE 534413.532
AT ITER 7761 NEW BEST:: SOT 5175820 SOS 4254348 HAS SOPS 4254312 HAS SOUS 529950 HAS SOUPS 529914 WITH SCORE 534168.348
AT ITER 7795 NEW BEST:: SOT 5175820 SOS 4255878 HAS SOPS 4255842 HAS SOUS 529935 HAS SOUPS 529899 WITH SCORE 534154.878
AT ITER 7819 NEW BEST:: SOT 5175695 SOS 4255753 HAS SOPS 4255717 HAS SOUS 529802 HAS SOUPS 529766 WITH SCORE 534021.753
AT ITER 7855 NEW BEST:: SOT 5175676 SOS 4255734 HAS SOPS 4255698 HAS SOUS 529783 HAS SOUPS 529747 WITH SCORE 534002.734
AT ITER 7865 NEW BEST:: SOT 5175614 SOS 4255672 HAS SOPS 4255636 HAS SOUS 529734 HAS SOUPS 529698 WITH SCORE 533953.672
AT ITER 7915 NEW BEST:: SOT 5175614 SOS 4255672 HAS SOPS 4255636 HAS SOUS 529733 HAS SOUPS 529697 WITH SCORE 533952.672
AT ITER 7949 NEW BEST:: SOT 5175614 SOS 4257678 HAS SOPS 4257642 HAS SOUS 529623 HAS SOUPS 529587 WITH SCORE 533844.678
AT ITER 8020 NEW BEST:: SOT 5175404 SOS 4257468 HAS SOPS 4257432 HAS SOUS 529308 HAS SOUPS 529272 WITH SCORE 533529.468
AT ITER 8025 NEW BEST:: SOT 5175404 SOS 4257468 HAS SOPS 4257432 HAS SOUS 529300 HAS SOUPS 529264 WITH SCORE 533521.468
AT ITER 8030 NEW BEST:: SOT 5174963 SOS 4257027 HAS SOPS 4256991 HAS SOUS 528817 HAS SOUPS 528781 WITH SCORE 533038.027
AT ITER 8034 NEW BEST:: SOT 5174940 SOS 4257004 HAS SOPS 4256968 HAS SOUS 528794 HAS SOUPS 528758 WITH SCORE 533015.004
AT ITER 8038 NEW BEST:: SOT 5174895 SOS 4256959 HAS SOPS 4256923 HAS SOUS 528749 HAS SOUPS 528713 WITH SCORE 532969.959
AT ITER 8111 NEW BEST:: SOT 5174895 SOS 4256935 HAS SOPS 4256899 HAS SOUS 528742 HAS SOUPS 528706 WITH SCORE 532962.935
AT ITER 8119 NEW BEST:: SOT 5174857 SOS 4256897 HAS SOPS 4256861 HAS SOUS 528740 HAS SOUPS 528704 WITH SCORE 532960.897
AT ITER 8120 NEW BEST:: SOT 5175994 SOS 4258034 HAS SOPS 4257998 HAS SOUS 528680 HAS SOUPS 528644 WITH SCORE 532902.034
AT ITER 8158 NEW BEST:: SOT 5176002 SOS 4258042 HAS SOPS 4258006 HAS SOUS 528672 HAS SOUPS 528636 WITH SCORE 532894.042
AT ITER 8177 NEW BEST:: SOT 5175943 SOS 4257983 HAS SOPS 4257947 HAS SOUS 528613 HAS SOUPS 528577 WITH SCORE 532834.983
AT ITER 8187 NEW BEST:: SOT 5175943 SOS 4257983 HAS SOPS 4257947 HAS SOUS 528575 HAS SOUPS 528539 WITH SCORE 532796.983
AT ITER 8228 NEW BEST:: SOT 5175924 SOS 4257964 HAS SOPS 4257928 HAS SOUS 528479 HAS SOUPS 528443 WITH SCORE 532700.964
AT ITER 8272 NEW BEST:: SOT 5175924 SOS 4257960 HAS SOPS 4257924 HAS SOUS 528479 HAS SOUPS 528443 WITH SCORE 532700.96
AT ITER 8277 NEW BEST:: SOT 5175943 SOS 4257979 HAS SOPS 4257943 HAS SOUS 528439 HAS SOUPS 528403 WITH SCORE 532660.979
AT ITER 8400 NEW BEST:: SOT 5175943 SOS 4257979 HAS SOPS 4257943 HAS SOUS 527159 HAS SOUPS 527123 WITH SCORE 531380.979
AT ITER 8413 NEW BEST:: SOT 5175943 SOS 4268512 HAS SOPS 4268476 HAS SOUS 527132 HAS SOUPS 527096 WITH SCORE 531364.512
AT ITER 8435 NEW BEST:: SOT 5176145 SOS 4268714 HAS SOPS 4268678 HAS SOUS 527040 HAS SOUPS 527004 WITH SCORE 531272.714
AT ITER 8502 NEW BEST:: SOT 5175969 SOS 4268534 HAS SOPS 4268498 HAS SOUS 526872 HAS SOUPS 526836 WITH SCORE 531104.534
AT ITER 8510 NEW BEST:: SOT 5176117 SOS 4268679 HAS SOPS 4268643 HAS SOUS 526787 HAS SOUPS 526751 WITH SCORE 531019.679
AT ITER 8519 NEW BEST:: SOT 5176001 SOS 4268563 HAS SOPS 4268527 HAS SOUS 526671 HAS SOUPS 526635 WITH SCORE 530903.563
AT ITER 8544 NEW BEST:: SOT 5176001 SOS 4268561 HAS SOPS 4268525 HAS SOUS 526671 HAS SOUPS 526635 WITH SCORE 530903.561
AT ITER 8568 NEW BEST:: SOT 5177336 SOS 4269896 HAS SOPS 4269860 HAS SOUS 526549 HAS SOUPS 526513 WITH SCORE 530782.896
AT ITER 8597 NEW BEST:: SOT 5177503 SOS 4270063 HAS SOPS 4270027 HAS SOUS 526504 HAS SOUPS 526468 WITH SCORE 530738.063
AT ITER 8631 NEW BEST:: SOT 5177503 SOS 4270063 HAS SOPS 4270027 HAS SOUS 526503 HAS SOUPS 526467 WITH SCORE 530737.063
AT ITER 8637 NEW BEST:: SOT 5177015 SOS 4269619 HAS SOPS 4269583 HAS SOUS 526039 HAS SOUPS 526003 WITH SCORE 530272.619
AT ITER 8640 NEW BEST:: SOT 5176975 SOS 4269579 HAS SOPS 4269543 HAS SOUS 525979 HAS SOUPS 525943 WITH SCORE 530212.579
AT ITER 8668 NEW BEST:: SOT 5176991 SOS 4269595 HAS SOPS 4269559 HAS SOUS 525954 HAS SOUPS 525918 WITH SCORE 530187.595
AT ITER 8685 NEW BEST:: SOT 5176845 SOS 4269449 HAS SOPS 4269413 HAS SOUS 525805 HAS SOUPS 525769 WITH SCORE 530038.449
AT ITER 8715 NEW BEST:: SOT 5176845 SOS 4269649 HAS SOPS 4269613 HAS SOUS 525803 HAS SOUPS 525767 WITH SCORE 530036.649
AT ITER 8746 NEW BEST:: SOT 5176845 SOS 4269649 HAS SOPS 4269613 HAS SOUS 525801 HAS SOUPS 525765 WITH SCORE 530034.649
AT ITER 8758 NEW BEST:: SOT 5176845 SOS 4272012 HAS SOPS 4271976 HAS SOUS 525772 HAS SOUPS 525736 WITH SCORE 530008.012
AT ITER 8773 NEW BEST:: SOT 5176677 SOS 4271844 HAS SOPS 4271808 HAS SOUS 525772 HAS SOUPS 525736 WITH SCORE 530007.844
AT ITER 8781 NEW BEST:: SOT 5176627 SOS 4271794 HAS SOPS 4271758 HAS SOUS 525697 HAS SOUPS 525661 WITH SCORE 529932.794
AT ITER 8787 NEW BEST:: SOT 5176582 SOS 4271749 HAS SOPS 4271713 HAS SOUS 524733 HAS SOUPS 524697 WITH SCORE 528968.749
AT ITER 8791 NEW BEST:: SOT 5176490 SOS 4271657 HAS SOPS 4271621 HAS SOUS 524614 HAS SOUPS 524578 WITH SCORE 528849.657
AT ITER 8832 NEW BEST:: SOT 5176482 SOS 4271649 HAS SOPS 4271613 HAS SOUS 524606 HAS SOUPS 524570 WITH SCORE 528841.649
AT ITER 8852 NEW BEST:: SOT 5176310 SOS 4271477 HAS SOPS 4271441 HAS SOUS 523111 HAS SOUPS 523075 WITH SCORE 527346.477
AT ITER 8855 NEW BEST:: SOT 5176275 SOS 4271442 HAS SOPS 4271406 HAS SOUS 523076 HAS SOUPS 523040 WITH SCORE 527311.442
AT ITER 8863 NEW BEST:: SOT 5175875 SOS 4271042 HAS SOPS 4271006 HAS SOUS 520652 HAS SOUPS 520616 WITH SCORE 524887.042
AT ITER 8903 NEW BEST:: SOT 5175817 SOS 4270984 HAS SOPS 4270948 HAS SOUS 520582 HAS SOUPS 520546 WITH SCORE 524816.984
AT ITER 8908 NEW BEST:: SOT 5175931 SOS 4271026 HAS SOPS 4270990 HAS SOUS 520051 HAS SOUPS 520015 WITH SCORE 524286.026
AT ITER 8909 NEW BEST:: SOT 5175931 SOS 4271026 HAS SOPS 4270990 HAS SOUS 520048 HAS SOUPS 520012 WITH SCORE 524283.026
AT ITER 8929 NEW BEST:: SOT 5175432 SOS 4270527 HAS SOPS 4270491 HAS SOUS 519249 HAS SOUPS 519213 WITH SCORE 523483.527
AT ITER 8954 NEW BEST:: SOT 5175525 SOS 4270620 HAS SOPS 4270584 HAS SOUS 519244 HAS SOUPS 519208 WITH SCORE 523478.62
AT ITER 8968 NEW BEST:: SOT 5175388 SOS 4271728 HAS SOPS 4271692 HAS SOUS 519202 HAS SOUPS 519166 WITH SCORE 523437.728
AT ITER 8977 NEW BEST:: SOT 5175238 SOS 4273485 HAS SOPS 4273449 HAS SOUS 518974 HAS SOUPS 518938 WITH SCORE 523211.485
AT ITER 8986 NEW BEST:: SOT 5175212 SOS 4273459 HAS SOPS 4273423 HAS SOUS 518948 HAS SOUPS 518912 WITH SCORE 523185.459
AT ITER 9016 NEW BEST:: SOT 5173484 SOS 4271711 HAS SOPS 4271695 HAS SOUS 517145 HAS SOUPS 517129 WITH SCORE 521400.711
AT ITER 9032 NEW BEST:: SOT 5173484 SOS 4271711 HAS SOPS 4271695 HAS SOUS 517127 HAS SOUPS 517111 WITH SCORE 521382.711
AT ITER 9073 NEW BEST:: SOT 5173484 SOS 4271705 HAS SOPS 4271689 HAS SOUS 517127 HAS SOUPS 517111 WITH SCORE 521382.705
AT ITER 9078 NEW BEST:: SOT 5173482 SOS 4271703 HAS SOPS 4271687 HAS SOUS 517125 HAS SOUPS 517109 WITH SCORE 521380.703
AT ITER 9084 NEW BEST:: SOT 5173482 SOS 4273313 HAS SOPS 4273297 HAS SOUS 517011 HAS SOUPS 516995 WITH SCORE 521268.313
AT ITER 9155 NEW BEST:: SOT 5173482 SOS 4535737 HAS SOPS 4313921 HAS SOUS 516930 HAS SOUPS 516719 WITH SCORE 521254.737
AT ITER 9167 NEW BEST:: SOT 5173482 SOS 4535737 HAS SOPS 4313921 HAS SOUS 516882 HAS SOUPS 516671 WITH SCORE 521206.737
AT ITER 9184 NEW BEST:: SOT 5173512 SOS 4535767 HAS SOPS 4313951 HAS SOUS 516852 HAS SOUPS 516641 WITH SCORE 521176.767
AT ITER 9217 NEW BEST:: SOT 5173659 SOS 4535914 HAS SOPS 4314098 HAS SOUS 516839 HAS SOUPS 516628 WITH SCORE 521163.914
AT ITER 9250 NEW BEST:: SOT 5173921 SOS 4542993 HAS SOPS 4321177 HAS SOUS 516720 HAS SOUPS 516509 WITH SCORE 521051.993
AT ITER 9286 NEW BEST:: SOT 5173948 SOS 4543022 HAS SOPS 4321206 HAS SOUS 516703 HAS SOUPS 516492 WITH SCORE 521035.022
AT ITER 9309 NEW BEST:: SOT 5173737 SOS 4542811 HAS SOPS 4320995 HAS SOUS 516417 HAS SOUPS 516206 WITH SCORE 520748.811
AT ITER 9362 NEW BEST:: SOT 5173533 SOS 4542607 HAS SOPS 4320791 HAS SOUS 516286 HAS SOUPS 516075 WITH SCORE 520617.607
AT ITER 9379 NEW BEST:: SOT 5173533 SOS 4542607 HAS SOPS 4320791 HAS SOUS 516273 HAS SOUPS 516062 WITH SCORE 520604.607
AT ITER 9384 NEW BEST:: SOT 5173533 SOS 4542513 HAS SOPS 4320697 HAS SOUS 516273 HAS SOUPS 516062 WITH SCORE 520604.513
AT ITER 9395 NEW BEST:: SOT 5173533 SOS 4542513 HAS SOPS 4320697 HAS SOUS 516219 HAS SOUPS 516008 WITH SCORE 520550.513
AT ITER 9397 NEW BEST:: SOT 5173424 SOS 4542404 HAS SOPS 4320588 HAS SOUS 516043 HAS SOUPS 515832 WITH SCORE 520374.404
AT ITER 9401 NEW BEST:: SOT 5174205 SOS 4543185 HAS SOPS 4321369 HAS SOUS 515928 HAS SOUPS 515717 WITH SCORE 520260.185
AT ITER 9418 NEW BEST:: SOT 5174205 SOS 4543185 HAS SOPS 4321369 HAS SOUS 515926 HAS SOUPS 515715 WITH SCORE 520258.185
AT ITER 9487 NEW BEST:: SOT 5174203 SOS 4543183 HAS SOPS 4321367 HAS SOUS 515922 HAS SOUPS 515711 WITH SCORE 520254.183
AT ITER 9494 NEW BEST:: SOT 5173929 SOS 4542909 HAS SOPS 4321093 HAS SOUS 515618 HAS SOUPS 515407 WITH SCORE 519949.909
AT ITER 9507 NEW BEST:: SOT 5173926 SOS 4542906 HAS SOPS 4321090 HAS SOUS 515618 HAS SOUPS 515407 WITH SCORE 519949.906
AT ITER 9528 NEW BEST:: SOT 5173863 SOS 4542843 HAS SOPS 4321027 HAS SOUS 515508 HAS SOUPS 515297 WITH SCORE 519839.843
AT ITER 9542 NEW BEST:: SOT 5173863 SOS 4542843 HAS SOPS 4321027 HAS SOUS 515502 HAS SOUPS 515291 WITH SCORE 519833.843
AT ITER 9676 NEW BEST:: SOT 5173784 SOS 4542754 HAS SOPS 4320938 HAS SOUS 515399 HAS SOUPS 515188 WITH SCORE 519730.754
AT ITER 9689 NEW BEST:: SOT 5173750 SOS 4542720 HAS SOPS 4320904 HAS SOUS 515380 HAS SOUPS 515169 WITH SCORE 519711.72
AT ITER 9784 NEW BEST:: SOT 5173216 SOS 4542186 HAS SOPS 4320370 HAS SOUS 514985 HAS SOUPS 514774 WITH SCORE 519316.186
AT ITER 9794 NEW BEST:: SOT 5172475 SOS 4541445 HAS SOPS 4319629 HAS SOUS 514805 HAS SOUPS 514594 WITH SCORE 519135.445
AT ITER 9817 NEW BEST:: SOT 5172578 SOS 4541548 HAS SOPS 4319732 HAS SOUS 514006 HAS SOUPS 513795 WITH SCORE 518336.548
AT ITER 9868 NEW BEST:: SOT 5172536 SOS 4541506 HAS SOPS 4319690 HAS SOUS 513941 HAS SOUPS 513730 WITH SCORE 518271.506
AT ITER 9885 NEW BEST:: SOT 5172536 SOS 4541506 HAS SOPS 4319690 HAS SOUS 513939 HAS SOUPS 513728 WITH SCORE 518269.506
AT ITER 9893 NEW BEST:: SOT 5172506 SOS 4541476 HAS SOPS 4319660 HAS SOUS 513905 HAS SOUPS 513694 WITH SCORE 518235.476
AT ITER 9943 NEW BEST:: SOT 5173337 SOS 4542307 HAS SOPS 4320491 HAS SOUS 513621 HAS SOUPS 513410 WITH SCORE 517952.307
AT ITER 9946 NEW BEST:: SOT 5173337 SOS 4544449 HAS SOPS 4322633 HAS SOUS 513495 HAS SOUPS 513284 WITH SCORE 517828.449
AT ITER 9948 NEW BEST:: SOT 5173337 SOS 4544425 HAS SOPS 4322609 HAS SOUS 513493 HAS SOUPS 513282 WITH SCORE 517826.425
AT ITER 9949 NEW BEST:: SOT 5173268 SOS 4544356 HAS SOPS 4322540 HAS SOUS 513393 HAS SOUPS 513182 WITH SCORE 517726.356
AT ITER 9952 NEW BEST:: SOT 5173184 SOS 4544272 HAS SOPS 4322456 HAS SOUS 513303 HAS SOUPS 513092 WITH SCORE 517636.272
AT ITER 9954 NEW BEST:: SOT 5171387 SOS 4542475 HAS SOPS 4320659 HAS SOUS 511582 HAS SOUPS 511371 WITH SCORE 515913.475

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SafeBus-PT-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SafeBus-PT-20, 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 r153-oct2-158972910200432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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