Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600505.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is AutoFlight-PT-48b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600505
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.7K Mar 25 23:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 23:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 25 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 11:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 11:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 956K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589187198065

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

Filename model.pnml
Petri model created: 3950 places, 3936 transitions, 9104 arcs.
AT ITER 0 NEW BEST:: SOT 8331809 SOS 1138169 HAS SOPS 1138169 HAS SOUS 1058789 HAS SOUPS 1058789 WITH SCORE 1059927.169
AT ITER 41 NEW BEST:: SOT 8331752 SOS 1138055 HAS SOPS 1138055 HAS SOUS 1058675 HAS SOUPS 1058675 WITH SCORE 1059813.055
AT ITER 43 NEW BEST:: SOT 8331769 SOS 1138089 HAS SOPS 1138089 HAS SOUS 1058187 HAS SOUPS 1058187 WITH SCORE 1059325.089
AT ITER 58 NEW BEST:: SOT 8331769 SOS 1138070 HAS SOPS 1138070 HAS SOUS 1058187 HAS SOUPS 1058187 WITH SCORE 1059325.07
AT ITER 60 NEW BEST:: SOT 8331616 SOS 1137764 HAS SOPS 1137764 HAS SOUS 1058034 HAS SOUPS 1058034 WITH SCORE 1059171.764
AT ITER 66 NEW BEST:: SOT 8331474 SOS 1137622 HAS SOPS 1137622 HAS SOUS 1057892 HAS SOUPS 1057892 WITH SCORE 1059029.622
AT ITER 70 NEW BEST:: SOT 8331238 SOS 1137198 HAS SOPS 1137198 HAS SOUS 1057538 HAS SOUPS 1057538 WITH SCORE 1058675.198
AT ITER 83 NEW BEST:: SOT 8330980 SOS 1136682 HAS SOPS 1136682 HAS SOUS 1057280 HAS SOUPS 1057280 WITH SCORE 1058416.682
AT ITER 84 NEW BEST:: SOT 8330980 SOS 1136666 HAS SOPS 1136666 HAS SOUS 1057264 HAS SOUPS 1057264 WITH SCORE 1058400.666
AT ITER 143 NEW BEST:: SOT 8321102 SOS 1133919 HAS SOPS 1133919 HAS SOUS 1047967 HAS SOUPS 1047967 WITH SCORE 1049100.919
AT ITER 147 NEW BEST:: SOT 8320913 SOS 1133730 HAS SOPS 1133730 HAS SOUS 1047778 HAS SOUPS 1047778 WITH SCORE 1048911.73
AT ITER 173 NEW BEST:: SOT 8320913 SOS 1133519 HAS SOPS 1133519 HAS SOUS 1047775 HAS SOUPS 1047775 WITH SCORE 1048908.519
AT ITER 186 NEW BEST:: SOT 8320913 SOS 1133519 HAS SOPS 1133519 HAS SOUS 1047636 HAS SOUPS 1047636 WITH SCORE 1048769.519
AT ITER 204 NEW BEST:: SOT 8320808 SOS 1133051 HAS SOPS 1133051 HAS SOUS 1047547 HAS SOUPS 1047547 WITH SCORE 1048680.051
AT ITER 277 NEW BEST:: SOT 8320757 SOS 1132862 HAS SOPS 1132862 HAS SOUS 1047445 HAS SOUPS 1047445 WITH SCORE 1048577.862
AT ITER 280 NEW BEST:: SOT 8320968 SOS 1132786 HAS SOPS 1132786 HAS SOUS 1047369 HAS SOUPS 1047369 WITH SCORE 1048501.786
AT ITER 288 NEW BEST:: SOT 8320819 SOS 1133066 HAS SOPS 1133066 HAS SOUS 1047220 HAS SOUPS 1047220 WITH SCORE 1048353.066
AT ITER 337 NEW BEST:: SOT 8320505 SOS 1133716 HAS SOPS 1133716 HAS SOUS 1047211 HAS SOUPS 1047211 WITH SCORE 1048344.716
AT ITER 341 NEW BEST:: SOT 8320505 SOS 1133566 HAS SOPS 1133566 HAS SOUS 1047061 HAS SOUPS 1047061 WITH SCORE 1048194.566
AT ITER 393 NEW BEST:: SOT 8320505 SOS 1133566 HAS SOPS 1133566 HAS SOUS 1047059 HAS SOUPS 1047059 WITH SCORE 1048192.566
AT ITER 397 NEW BEST:: SOT 8320351 SOS 1133376 HAS SOPS 1133376 HAS SOUS 1046869 HAS SOUPS 1046869 WITH SCORE 1048002.376
AT ITER 421 NEW BEST:: SOT 8320351 SOS 1133348 HAS SOPS 1133348 HAS SOUS 1046752 HAS SOUPS 1046752 WITH SCORE 1047885.348
AT ITER 439 NEW BEST:: SOT 8320248 SOS 1133514 HAS SOPS 1133514 HAS SOUS 1046649 HAS SOUPS 1046649 WITH SCORE 1047782.514
AT ITER 440 NEW BEST:: SOT 8319808 SOS 1133074 HAS SOPS 1133074 HAS SOUS 1046209 HAS SOUPS 1046209 WITH SCORE 1047342.074
AT ITER 472 NEW BEST:: SOT 8319641 SOS 1133488 HAS SOPS 1133488 HAS SOUS 1046042 HAS SOUPS 1046042 WITH SCORE 1047175.488
AT ITER 544 NEW BEST:: SOT 8319725 SOS 1133301 HAS SOPS 1133301 HAS SOUS 1045855 HAS SOUPS 1045855 WITH SCORE 1046988.301
AT ITER 598 NEW BEST:: SOT 8319804 SOS 1133103 HAS SOPS 1133103 HAS SOUS 1045657 HAS SOUPS 1045657 WITH SCORE 1046790.103
AT ITER 610 NEW BEST:: SOT 8319754 SOS 1133067 HAS SOPS 1133067 HAS SOUS 1045657 HAS SOUPS 1045657 WITH SCORE 1046790.067
AT ITER 622 NEW BEST:: SOT 8319822 SOS 1133046 HAS SOPS 1133046 HAS SOUS 1045636 HAS SOUPS 1045636 WITH SCORE 1046769.046
AT ITER 641 NEW BEST:: SOT 8319621 SOS 1132884 HAS SOPS 1132884 HAS SOUS 1045363 HAS SOUPS 1045363 WITH SCORE 1046495.884
AT ITER 651 NEW BEST:: SOT 8319369 SOS 1132674 HAS SOPS 1132674 HAS SOUS 1045111 HAS SOUPS 1045111 WITH SCORE 1046243.674
AT ITER 672 NEW BEST:: SOT 8319369 SOS 1132519 HAS SOPS 1132519 HAS SOUS 1044956 HAS SOUPS 1044956 WITH SCORE 1046088.519
AT ITER 682 NEW BEST:: SOT 8319369 SOS 1132274 HAS SOPS 1132274 HAS SOUS 1044711 HAS SOUPS 1044711 WITH SCORE 1045843.274
AT ITER 718 NEW BEST:: SOT 8319369 SOS 1132145 HAS SOPS 1132145 HAS SOUS 1044582 HAS SOUPS 1044582 WITH SCORE 1045714.145
AT ITER 723 NEW BEST:: SOT 8319369 SOS 1132130 HAS SOPS 1132130 HAS SOUS 1044567 HAS SOUPS 1044567 WITH SCORE 1045699.13
AT ITER 738 NEW BEST:: SOT 8319438 SOS 1133638 HAS SOPS 1133638 HAS SOUS 1044409 HAS SOUPS 1044409 WITH SCORE 1045542.638
AT ITER 764 NEW BEST:: SOT 8319438 SOS 1133507 HAS SOPS 1133507 HAS SOUS 1044278 HAS SOUPS 1044278 WITH SCORE 1045411.507
AT ITER 768 NEW BEST:: SOT 8319490 SOS 1133490 HAS SOPS 1133490 HAS SOUS 1044261 HAS SOUPS 1044261 WITH SCORE 1045394.49
AT ITER 776 NEW BEST:: SOT 8319577 SOS 1133298 HAS SOPS 1133298 HAS SOUS 1044069 HAS SOUPS 1044069 WITH SCORE 1045202.298
AT ITER 786 NEW BEST:: SOT 8318916 SOS 1132130 HAS SOPS 1132130 HAS SOUS 1043523 HAS SOUPS 1043523 WITH SCORE 1044655.13
AT ITER 800 NEW BEST:: SOT 8318916 SOS 1132130 HAS SOPS 1132130 HAS SOUS 1043522 HAS SOUPS 1043522 WITH SCORE 1044654.13
AT ITER 805 NEW BEST:: SOT 8318915 SOS 1132128 HAS SOPS 1132128 HAS SOUS 1043520 HAS SOUPS 1043520 WITH SCORE 1044652.128
AT ITER 813 NEW BEST:: SOT 8318915 SOS 1132127 HAS SOPS 1132127 HAS SOUS 1043519 HAS SOUPS 1043519 WITH SCORE 1044651.127
AT ITER 832 NEW BEST:: SOT 8318664 SOS 1131849 HAS SOPS 1131849 HAS SOUS 1043241 HAS SOUPS 1043241 WITH SCORE 1044372.849
AT ITER 903 NEW BEST:: SOT 8318664 SOS 1131807 HAS SOPS 1131807 HAS SOUS 1043199 HAS SOUPS 1043199 WITH SCORE 1044330.807
AT ITER 909 NEW BEST:: SOT 8318174 SOS 1131182 HAS SOPS 1131182 HAS SOUS 1042714 HAS SOUPS 1042714 WITH SCORE 1043845.182
AT ITER 918 NEW BEST:: SOT 8318019 SOS 1131328 HAS SOPS 1131328 HAS SOUS 1042559 HAS SOUPS 1042559 WITH SCORE 1043690.328
AT ITER 985 NEW BEST:: SOT 8317882 SOS 1131199 HAS SOPS 1131199 HAS SOUS 1042443 HAS SOUPS 1042443 WITH SCORE 1043574.199
AT ITER 1041 NEW BEST:: SOT 8317711 SOS 1130986 HAS SOPS 1130986 HAS SOUS 1042230 HAS SOUPS 1042230 WITH SCORE 1043360.986
AT ITER 1045 NEW BEST:: SOT 8317554 SOS 1130829 HAS SOPS 1130829 HAS SOUS 1042073 HAS SOUPS 1042073 WITH SCORE 1043203.829
AT ITER 1088 NEW BEST:: SOT 8317554 SOS 1130829 HAS SOPS 1130829 HAS SOUS 1041966 HAS SOUPS 1041966 WITH SCORE 1043096.829
AT ITER 1097 NEW BEST:: SOT 8317554 SOS 1130675 HAS SOPS 1130675 HAS SOUS 1041812 HAS SOUPS 1041812 WITH SCORE 1042942.675
AT ITER 1098 NEW BEST:: SOT 8317620 SOS 1130807 HAS SOPS 1130807 HAS SOUS 1041716 HAS SOUPS 1041716 WITH SCORE 1042846.807
AT ITER 1112 NEW BEST:: SOT 8317620 SOS 1130807 HAS SOPS 1130807 HAS SOUS 1041619 HAS SOUPS 1041619 WITH SCORE 1042749.807
AT ITER 1117 NEW BEST:: SOT 8317076 SOS 1131011 HAS SOPS 1131011 HAS SOUS 1040748 HAS SOUPS 1040748 WITH SCORE 1041879.011
AT ITER 1140 NEW BEST:: SOT 8317076 SOS 1130877 HAS SOPS 1130877 HAS SOUS 1040614 HAS SOUPS 1040614 WITH SCORE 1041744.877
AT ITER 1163 NEW BEST:: SOT 8317076 SOS 1130737 HAS SOPS 1130737 HAS SOUS 1040474 HAS SOUPS 1040474 WITH SCORE 1041604.737
AT ITER 1183 NEW BEST:: SOT 8317075 SOS 1130736 HAS SOPS 1130736 HAS SOUS 1040473 HAS SOUPS 1040473 WITH SCORE 1041603.736
AT ITER 1226 NEW BEST:: SOT 8317075 SOS 1130735 HAS SOPS 1130735 HAS SOUS 1040472 HAS SOUPS 1040472 WITH SCORE 1041602.735
AT ITER 1261 NEW BEST:: SOT 8316803 SOS 1130640 HAS SOPS 1130640 HAS SOUS 1039809 HAS SOUPS 1039809 WITH SCORE 1040939.64
AT ITER 1277 NEW BEST:: SOT 8316780 SOS 1130629 HAS SOPS 1130629 HAS SOUS 1039613 HAS SOUPS 1039613 WITH SCORE 1040743.629
AT ITER 1308 NEW BEST:: SOT 8316799 SOS 1130667 HAS SOPS 1130667 HAS SOUS 1039331 HAS SOUPS 1039331 WITH SCORE 1040461.667
AT ITER 1327 NEW BEST:: SOT 8316799 SOS 1130558 HAS SOPS 1130558 HAS SOUS 1039222 HAS SOUPS 1039222 WITH SCORE 1040352.558
AT ITER 1335 NEW BEST:: SOT 8316690 SOS 1130060 HAS SOPS 1130060 HAS SOUS 1039139 HAS SOUPS 1039139 WITH SCORE 1040269.06
AT ITER 1383 NEW BEST:: SOT 8316655 SOS 1130025 HAS SOPS 1130025 HAS SOUS 1039104 HAS SOUPS 1039104 WITH SCORE 1040234.025
AT ITER 1394 NEW BEST:: SOT 8316654 SOS 1130023 HAS SOPS 1130023 HAS SOUS 1039102 HAS SOUPS 1039102 WITH SCORE 1040232.023
AT ITER 1425 NEW BEST:: SOT 8316654 SOS 1129880 HAS SOPS 1129880 HAS SOUS 1038959 HAS SOUPS 1038959 WITH SCORE 1040088.88
AT ITER 1446 NEW BEST:: SOT 8316653 SOS 1129878 HAS SOPS 1129878 HAS SOUS 1038957 HAS SOUPS 1038957 WITH SCORE 1040086.878
AT ITER 1449 NEW BEST:: SOT 8316652 SOS 1129877 HAS SOPS 1129877 HAS SOUS 1038956 HAS SOUPS 1038956 WITH SCORE 1040085.877
AT ITER 1471 NEW BEST:: SOT 8316603 SOS 1129861 HAS SOPS 1129861 HAS SOUS 1038907 HAS SOUPS 1038907 WITH SCORE 1040036.861
AT ITER 1477 NEW BEST:: SOT 8316320 SOS 1129520 HAS SOPS 1129520 HAS SOUS 1038520 HAS SOUPS 1038520 WITH SCORE 1039649.52
AT ITER 1479 NEW BEST:: SOT 8316268 SOS 1129364 HAS SOPS 1129364 HAS SOUS 1038442 HAS SOUPS 1038442 WITH SCORE 1039571.364
AT ITER 1493 NEW BEST:: SOT 8316268 SOS 1129298 HAS SOPS 1129298 HAS SOUS 1038442 HAS SOUPS 1038442 WITH SCORE 1039571.298
AT ITER 1518 NEW BEST:: SOT 8316061 SOS 1129091 HAS SOPS 1129091 HAS SOUS 1038235 HAS SOUPS 1038235 WITH SCORE 1039364.091
AT ITER 1568 NEW BEST:: SOT 8315723 SOS 1128753 HAS SOPS 1128753 HAS SOUS 1037897 HAS SOUPS 1037897 WITH SCORE 1039025.753
AT ITER 1588 NEW BEST:: SOT 8315305 SOS 1128335 HAS SOPS 1128335 HAS SOUS 1037479 HAS SOUPS 1037479 WITH SCORE 1038607.335
AT ITER 1590 NEW BEST:: SOT 8315305 SOS 1127948 HAS SOPS 1127948 HAS SOUS 1037092 HAS SOUPS 1037092 WITH SCORE 1038219.948
AT ITER 1602 NEW BEST:: SOT 8315231 SOS 1127946 HAS SOPS 1127946 HAS SOUS 1037092 HAS SOUPS 1037092 WITH SCORE 1038219.946
AT ITER 1617 NEW BEST:: SOT 8315222 SOS 1127928 HAS SOPS 1127928 HAS SOUS 1037082 HAS SOUPS 1037082 WITH SCORE 1038209.928
AT ITER 1655 NEW BEST:: SOT 8315040 SOS 1127859 HAS SOPS 1127859 HAS SOUS 1036957 HAS SOUPS 1036957 WITH SCORE 1038084.859
AT ITER 1659 NEW BEST:: SOT 8315040 SOS 1127501 HAS SOPS 1127501 HAS SOUS 1036599 HAS SOUPS 1036599 WITH SCORE 1037726.501
AT ITER 1665 NEW BEST:: SOT 8314786 SOS 1127416 HAS SOPS 1127416 HAS SOUS 1036345 HAS SOUPS 1036345 WITH SCORE 1037472.416
AT ITER 1667 NEW BEST:: SOT 8314786 SOS 1127279 HAS SOPS 1127279 HAS SOUS 1036208 HAS SOUPS 1036208 WITH SCORE 1037335.279
AT ITER 1709 NEW BEST:: SOT 8314625 SOS 1126957 HAS SOPS 1126957 HAS SOUS 1036044 HAS SOUPS 1036044 WITH SCORE 1037170.957
AT ITER 1747 NEW BEST:: SOT 8314507 SOS 1126385 HAS SOPS 1126385 HAS SOUS 1035975 HAS SOUPS 1035975 WITH SCORE 1037101.385
AT ITER 1753 NEW BEST:: SOT 8314507 SOS 1126010 HAS SOPS 1126010 HAS SOUS 1035600 HAS SOUPS 1035600 WITH SCORE 1036726.01
AT ITER 1765 NEW BEST:: SOT 8314417 SOS 1126342 HAS SOPS 1126342 HAS SOUS 1035555 HAS SOUPS 1035555 WITH SCORE 1036681.342
AT ITER 1781 NEW BEST:: SOT 8314417 SOS 1126312 HAS SOPS 1126312 HAS SOUS 1035555 HAS SOUPS 1035555 WITH SCORE 1036681.312
AT ITER 1808 NEW BEST:: SOT 8314046 SOS 1125872 HAS SOPS 1125872 HAS SOUS 1035115 HAS SOUPS 1035115 WITH SCORE 1036240.872
AT ITER 1811 NEW BEST:: SOT 8314046 SOS 1125742 HAS SOPS 1125742 HAS SOUS 1034985 HAS SOUPS 1034985 WITH SCORE 1036110.742
AT ITER 1819 NEW BEST:: SOT 8313960 SOS 1125341 HAS SOPS 1125341 HAS SOUS 1034955 HAS SOUPS 1034955 WITH SCORE 1036080.341
AT ITER 1899 NEW BEST:: SOT 8313921 SOS 1125239 HAS SOPS 1125239 HAS SOUS 1034916 HAS SOUPS 1034916 WITH SCORE 1036041.239
AT ITER 1900 NEW BEST:: SOT 8313921 SOS 1125086 HAS SOPS 1125086 HAS SOUS 1034763 HAS SOUPS 1034763 WITH SCORE 1035888.086
AT ITER 1920 NEW BEST:: SOT 8313921 SOS 1125018 HAS SOPS 1125018 HAS SOUS 1034763 HAS SOUPS 1034763 WITH SCORE 1035888.018
AT ITER 1924 NEW BEST:: SOT 8313467 SOS 1124337 HAS SOPS 1124337 HAS SOUS 1034082 HAS SOUPS 1034082 WITH SCORE 1035206.337
AT ITER 1932 NEW BEST:: SOT 8313466 SOS 1124335 HAS SOPS 1124335 HAS SOUS 1034080 HAS SOUPS 1034080 WITH SCORE 1035204.335
AT ITER 1937 NEW BEST:: SOT 8313370 SOS 1124095 HAS SOPS 1124095 HAS SOUS 1033936 HAS SOUPS 1033936 WITH SCORE 1035060.095
AT ITER 1980 NEW BEST:: SOT 8313252 SOS 1123731 HAS SOPS 1123731 HAS SOUS 1033818 HAS SOUPS 1033818 WITH SCORE 1034941.731
AT ITER 1981 NEW BEST:: SOT 8313252 SOS 1123726 HAS SOPS 1123726 HAS SOUS 1033813 HAS SOUPS 1033813 WITH SCORE 1034936.726
AT ITER 2008 NEW BEST:: SOT 8313256 SOS 1123306 HAS SOPS 1123306 HAS SOUS 1033393 HAS SOUPS 1033393 WITH SCORE 1034516.306
AT ITER 2071 NEW BEST:: SOT 8313229 SOS 1123305 HAS SOPS 1123305 HAS SOUS 1033392 HAS SOUPS 1033392 WITH SCORE 1034515.305
AT ITER 2089 NEW BEST:: SOT 8313533 SOS 1123463 HAS SOPS 1123463 HAS SOUS 1033351 HAS SOUPS 1033351 WITH SCORE 1034474.463
AT ITER 2117 NEW BEST:: SOT 8313443 SOS 1123283 HAS SOPS 1123283 HAS SOUS 1033171 HAS SOUPS 1033171 WITH SCORE 1034294.283
AT ITER 2132 NEW BEST:: SOT 8313007 SOS 1122847 HAS SOPS 1122847 HAS SOUS 1032735 HAS SOUPS 1032735 WITH SCORE 1033857.847
AT ITER 2240 NEW BEST:: SOT 8313103 SOS 1122798 HAS SOPS 1122798 HAS SOUS 1032686 HAS SOUPS 1032686 WITH SCORE 1033808.798
AT ITER 2246 NEW BEST:: SOT 8312940 SOS 1122686 HAS SOPS 1122686 HAS SOUS 1032549 HAS SOUPS 1032549 WITH SCORE 1033671.686
AT ITER 2254 NEW BEST:: SOT 8312939 SOS 1122685 HAS SOPS 1122685 HAS SOUS 1032547 HAS SOUPS 1032547 WITH SCORE 1033669.685
AT ITER 2270 NEW BEST:: SOT 8312939 SOS 1122431 HAS SOPS 1122431 HAS SOUS 1032547 HAS SOUPS 1032547 WITH SCORE 1033669.431
AT ITER 2300 NEW BEST:: SOT 8312890 SOS 1122382 HAS SOPS 1122382 HAS SOUS 1032498 HAS SOUPS 1032498 WITH SCORE 1033620.382
AT ITER 2307 NEW BEST:: SOT 8312890 SOS 1122382 HAS SOPS 1122382 HAS SOUS 1032475 HAS SOUPS 1032475 WITH SCORE 1033597.382
AT ITER 2316 NEW BEST:: SOT 8312890 SOS 1122381 HAS SOPS 1122381 HAS SOUS 1032474 HAS SOUPS 1032474 WITH SCORE 1033596.381
AT ITER 2319 NEW BEST:: SOT 8312890 SOS 1122224 HAS SOPS 1122224 HAS SOUS 1032317 HAS SOUPS 1032317 WITH SCORE 1033439.224
AT ITER 2330 NEW BEST:: SOT 8312656 SOS 1121756 HAS SOPS 1121756 HAS SOUS 1032317 HAS SOUPS 1032317 WITH SCORE 1033438.756
AT ITER 2426 NEW BEST:: SOT 8312656 SOS 1121688 HAS SOPS 1121688 HAS SOUS 1032249 HAS SOUPS 1032249 WITH SCORE 1033370.688
AT ITER 2455 NEW BEST:: SOT 8312544 SOS 1121655 HAS SOPS 1121655 HAS SOUS 1032249 HAS SOUPS 1032249 WITH SCORE 1033370.655
AT ITER 2456 NEW BEST:: SOT 8312444 SOS 1121439 HAS SOPS 1121439 HAS SOUS 1032133 HAS SOUPS 1032133 WITH SCORE 1033254.439
AT ITER 2495 NEW BEST:: SOT 8312415 SOS 1121414 HAS SOPS 1121414 HAS SOUS 1032108 HAS SOUPS 1032108 WITH SCORE 1033229.414
AT ITER 2506 NEW BEST:: SOT 8312415 SOS 1121278 HAS SOPS 1121278 HAS SOUS 1031972 HAS SOUPS 1031972 WITH SCORE 1033093.278
AT ITER 2622 NEW BEST:: SOT 8312415 SOS 1121278 HAS SOPS 1121278 HAS SOUS 1031971 HAS SOUPS 1031971 WITH SCORE 1033092.278
AT ITER 2626 NEW BEST:: SOT 8312185 SOS 1121048 HAS SOPS 1121048 HAS SOUS 1031760 HAS SOUPS 1031760 WITH SCORE 1032881.048
AT ITER 2640 NEW BEST:: SOT 8312023 SOS 1120434 HAS SOPS 1120434 HAS SOUS 1031217 HAS SOUPS 1031217 WITH SCORE 1032337.434
AT ITER 2668 NEW BEST:: SOT 8311905 SOS 1120492 HAS SOPS 1120492 HAS SOUS 1031214 HAS SOUPS 1031214 WITH SCORE 1032334.492
AT ITER 2673 NEW BEST:: SOT 8311382 SOS 1120022 HAS SOPS 1120022 HAS SOUS 1030691 HAS SOUPS 1030691 WITH SCORE 1031811.022
AT ITER 2686 NEW BEST:: SOT 8311382 SOS 1120022 HAS SOPS 1120022 HAS SOUS 1030690 HAS SOUPS 1030690 WITH SCORE 1031810.022
AT ITER 2688 NEW BEST:: SOT 8311296 SOS 1120022 HAS SOPS 1120022 HAS SOUS 1030604 HAS SOUPS 1030604 WITH SCORE 1031724.022
AT ITER 2731 NEW BEST:: SOT 8310990 SOS 1119719 HAS SOPS 1119719 HAS SOUS 1030260 HAS SOUPS 1030260 WITH SCORE 1031379.719
AT ITER 2737 NEW BEST:: SOT 8311019 SOS 1119612 HAS SOPS 1119612 HAS SOUS 1030153 HAS SOUPS 1030153 WITH SCORE 1031272.612
AT ITER 2740 NEW BEST:: SOT 8310818 SOS 1119356 HAS SOPS 1119356 HAS SOUS 1029897 HAS SOUPS 1029897 WITH SCORE 1031016.356
AT ITER 2753 NEW BEST:: SOT 8310611 SOS 1118282 HAS SOPS 1118282 HAS SOUS 1029813 HAS SOUPS 1029813 WITH SCORE 1030931.282
AT ITER 2761 NEW BEST:: SOT 8310572 SOS 1118267 HAS SOPS 1118267 HAS SOUS 1029798 HAS SOUPS 1029798 WITH SCORE 1030916.267
AT ITER 2786 NEW BEST:: SOT 8310492 SOS 1117870 HAS SOPS 1117870 HAS SOUS 1029777 HAS SOUPS 1029777 WITH SCORE 1030894.87
AT ITER 2790 NEW BEST:: SOT 8310329 SOS 1117381 HAS SOPS 1117381 HAS SOUS 1029451 HAS SOUPS 1029451 WITH SCORE 1030568.381
AT ITER 2871 NEW BEST:: SOT 8310131 SOS 1117422 HAS SOPS 1117422 HAS SOUS 1028908 HAS SOUPS 1028908 WITH SCORE 1030025.422
AT ITER 2887 NEW BEST:: SOT 8310131 SOS 1117249 HAS SOPS 1117249 HAS SOUS 1028908 HAS SOUPS 1028908 WITH SCORE 1030025.249
AT ITER 2893 NEW BEST:: SOT 8309945 SOS 1116877 HAS SOPS 1116877 HAS SOUS 1028536 HAS SOUPS 1028536 WITH SCORE 1029652.877
AT ITER 2915 NEW BEST:: SOT 8309661 SOS 1116048 HAS SOPS 1116048 HAS SOUS 1028340 HAS SOUPS 1028340 WITH SCORE 1029456.048
AT ITER 2939 NEW BEST:: SOT 8309661 SOS 1116047 HAS SOPS 1116047 HAS SOUS 1028339 HAS SOUPS 1028339 WITH SCORE 1029455.047
AT ITER 2955 NEW BEST:: SOT 8309635 SOS 1115995 HAS SOPS 1115995 HAS SOUS 1028287 HAS SOUPS 1028287 WITH SCORE 1029402.995
AT ITER 2958 NEW BEST:: SOT 8309673 SOS 1116735 HAS SOPS 1116735 HAS SOUS 1028195 HAS SOUPS 1028195 WITH SCORE 1029311.735
AT ITER 2979 NEW BEST:: SOT 8309691 SOS 1116771 HAS SOPS 1116771 HAS SOUS 1028137 HAS SOUPS 1028137 WITH SCORE 1029253.771
AT ITER 2980 NEW BEST:: SOT 8309425 SOS 1116113 HAS SOPS 1116113 HAS SOUS 1027871 HAS SOUPS 1027871 WITH SCORE 1028987.113
AT ITER 2994 NEW BEST:: SOT 8309425 SOS 1115956 HAS SOPS 1115956 HAS SOUS 1027714 HAS SOUPS 1027714 WITH SCORE 1028829.956
AT ITER 3018 NEW BEST:: SOT 8309383 SOS 1115955 HAS SOPS 1115955 HAS SOUS 1027713 HAS SOUPS 1027713 WITH SCORE 1028828.955
AT ITER 3114 NEW BEST:: SOT 8309331 SOS 1115954 HAS SOPS 1115954 HAS SOUS 1027712 HAS SOUPS 1027712 WITH SCORE 1028827.954
AT ITER 3116 NEW BEST:: SOT 8308983 SOS 1116612 HAS SOPS 1116612 HAS SOUS 1027075 HAS SOUPS 1027075 WITH SCORE 1028191.612
AT ITER 3118 NEW BEST:: SOT 8308786 SOS 1116218 HAS SOPS 1116218 HAS SOUS 1027050 HAS SOUPS 1027050 WITH SCORE 1028166.218
AT ITER 3163 NEW BEST:: SOT 8308823 SOS 1116292 HAS SOPS 1116292 HAS SOUS 1026858 HAS SOUPS 1026858 WITH SCORE 1027974.292
AT ITER 3165 NEW BEST:: SOT 8308823 SOS 1116166 HAS SOPS 1116166 HAS SOUS 1026732 HAS SOUPS 1026732 WITH SCORE 1027848.166
AT ITER 3167 NEW BEST:: SOT 8308740 SOS 1116165 HAS SOPS 1116165 HAS SOUS 1026731 HAS SOUPS 1026731 WITH SCORE 1027847.165
AT ITER 3226 NEW BEST:: SOT 8308740 SOS 1116165 HAS SOPS 1116165 HAS SOUS 1026492 HAS SOUPS 1026492 WITH SCORE 1027608.165
AT ITER 3274 NEW BEST:: SOT 8308740 SOS 1115934 HAS SOPS 1115934 HAS SOUS 1026261 HAS SOUPS 1026261 WITH SCORE 1027376.934
AT ITER 3277 NEW BEST:: SOT 8308329 SOS 1115112 HAS SOPS 1115112 HAS SOUS 1025994 HAS SOUPS 1025994 WITH SCORE 1027109.112
AT ITER 3340 NEW BEST:: SOT 8308400 SOS 1115254 HAS SOPS 1115254 HAS SOUS 1025809 HAS SOUPS 1025809 WITH SCORE 1026924.254
AT ITER 3419 NEW BEST:: SOT 8308227 SOS 1115254 HAS SOPS 1115254 HAS SOUS 1025636 HAS SOUPS 1025636 WITH SCORE 1026751.254
AT ITER 3433 NEW BEST:: SOT 8308072 SOS 1115625 HAS SOPS 1115625 HAS SOUS 1025286 HAS SOUPS 1025286 WITH SCORE 1026401.625
AT ITER 3484 NEW BEST:: SOT 8308040 SOS 1115593 HAS SOPS 1115593 HAS SOUS 1025254 HAS SOUPS 1025254 WITH SCORE 1026369.593
AT ITER 3494 NEW BEST:: SOT 8308040 SOS 1115592 HAS SOPS 1115592 HAS SOUS 1025253 HAS SOUPS 1025253 WITH SCORE 1026368.592
AT ITER 3505 NEW BEST:: SOT 8307899 SOS 1115310 HAS SOPS 1115310 HAS SOUS 1024971 HAS SOUPS 1024971 WITH SCORE 1026086.31
AT ITER 3516 NEW BEST:: SOT 8307899 SOS 1115310 HAS SOPS 1115310 HAS SOUS 1024910 HAS SOUPS 1024910 WITH SCORE 1026025.31
AT ITER 3526 NEW BEST:: SOT 8307899 SOS 1115076 HAS SOPS 1115076 HAS SOUS 1024910 HAS SOUPS 1024910 WITH SCORE 1026025.076
AT ITER 3536 NEW BEST:: SOT 8307835 SOS 1114948 HAS SOPS 1114948 HAS SOUS 1024782 HAS SOUPS 1024782 WITH SCORE 1025896.948
AT ITER 3573 NEW BEST:: SOT 8307882 SOS 1114885 HAS SOPS 1114885 HAS SOUS 1024719 HAS SOUPS 1024719 WITH SCORE 1025833.885
AT ITER 3597 NEW BEST:: SOT 8307753 SOS 1114756 HAS SOPS 1114756 HAS SOUS 1024589 HAS SOUPS 1024589 WITH SCORE 1025703.756
AT ITER 3609 NEW BEST:: SOT 8307472 SOS 1113982 HAS SOPS 1113982 HAS SOUS 1024239 HAS SOUPS 1024239 WITH SCORE 1025352.982
AT ITER 3678 NEW BEST:: SOT 8307472 SOS 1113891 HAS SOPS 1113891 HAS SOUS 1024148 HAS SOUPS 1024148 WITH SCORE 1025261.891
AT ITER 3680 NEW BEST:: SOT 8307595 SOS 1113807 HAS SOPS 1113807 HAS SOUS 1024064 HAS SOUPS 1024064 WITH SCORE 1025177.807
AT ITER 3689 NEW BEST:: SOT 8307397 SOS 1113411 HAS SOPS 1113411 HAS SOUS 1023866 HAS SOUPS 1023866 WITH SCORE 1024979.411
AT ITER 3704 NEW BEST:: SOT 8307397 SOS 1113401 HAS SOPS 1113401 HAS SOUS 1023856 HAS SOUPS 1023856 WITH SCORE 1024969.401
AT ITER 3705 NEW BEST:: SOT 8307189 SOS 1113193 HAS SOPS 1113193 HAS SOUS 1023648 HAS SOUPS 1023648 WITH SCORE 1024761.193
AT ITER 3757 NEW BEST:: SOT 8307189 SOS 1112993 HAS SOPS 1112993 HAS SOUS 1023448 HAS SOUPS 1023448 WITH SCORE 1024560.993
AT ITER 3779 NEW BEST:: SOT 8307188 SOS 1112992 HAS SOPS 1112992 HAS SOUS 1023447 HAS SOUPS 1023447 WITH SCORE 1024559.992
AT ITER 3825 NEW BEST:: SOT 8307188 SOS 1112895 HAS SOPS 1112895 HAS SOUS 1023350 HAS SOUPS 1023350 WITH SCORE 1024462.895
AT ITER 3888 NEW BEST:: SOT 8307188 SOS 1112738 HAS SOPS 1112738 HAS SOUS 1023193 HAS SOUPS 1023193 WITH SCORE 1024305.738
AT ITER 3901 NEW BEST:: SOT 8307144 SOS 1112650 HAS SOPS 1112650 HAS SOUS 1023105 HAS SOUPS 1023105 WITH SCORE 1024217.65
AT ITER 3909 NEW BEST:: SOT 8307134 SOS 1112630 HAS SOPS 1112630 HAS SOUS 1023095 HAS SOUPS 1023095 WITH SCORE 1024207.63
AT ITER 3962 NEW BEST:: SOT 8307134 SOS 1112558 HAS SOPS 1112558 HAS SOUS 1023023 HAS SOUPS 1023023 WITH SCORE 1024135.558
AT ITER 3966 NEW BEST:: SOT 8307147 SOS 1112584 HAS SOPS 1112584 HAS SOUS 1023021 HAS SOUPS 1023021 WITH SCORE 1024133.584
AT ITER 4040 NEW BEST:: SOT 8306986 SOS 1112262 HAS SOPS 1112262 HAS SOUS 1022515 HAS SOUPS 1022515 WITH SCORE 1023627.262
AT ITER 4084 NEW BEST:: SOT 8306986 SOS 1112090 HAS SOPS 1112090 HAS SOUS 1022343 HAS SOUPS 1022343 WITH SCORE 1023455.09
AT ITER 4096 NEW BEST:: SOT 8306797 SOS 1112039 HAS SOPS 1112039 HAS SOUS 1022224 HAS SOUPS 1022224 WITH SCORE 1023336.039
AT ITER 4121 NEW BEST:: SOT 8306797 SOS 1112030 HAS SOPS 1112030 HAS SOUS 1022215 HAS SOUPS 1022215 WITH SCORE 1023327.03
AT ITER 4125 NEW BEST:: SOT 8306797 SOS 1111934 HAS SOPS 1111934 HAS SOUS 1022119 HAS SOUPS 1022119 WITH SCORE 1023230.934
AT ITER 4166 NEW BEST:: SOT 8306680 SOS 1111356 HAS SOPS 1111356 HAS SOUS 1021885 HAS SOUPS 1021885 WITH SCORE 1022996.356
AT ITER 4192 NEW BEST:: SOT 8306642 SOS 1111318 HAS SOPS 1111318 HAS SOUS 1021847 HAS SOUPS 1021847 WITH SCORE 1022958.318
AT ITER 4200 NEW BEST:: SOT 8306472 SOS 1111462 HAS SOPS 1111462 HAS SOUS 1021794 HAS SOUPS 1021794 WITH SCORE 1022905.462
AT ITER 4213 NEW BEST:: SOT 8306313 SOS 1111382 HAS SOPS 1111382 HAS SOUS 1021714 HAS SOUPS 1021714 WITH SCORE 1022825.382
AT ITER 4258 NEW BEST:: SOT 8306313 SOS 1111382 HAS SOPS 1111382 HAS SOUS 1021668 HAS SOUPS 1021668 WITH SCORE 1022779.382
AT ITER 4354 NEW BEST:: SOT 8306313 SOS 1111382 HAS SOPS 1111382 HAS SOUS 1021487 HAS SOUPS 1021487 WITH SCORE 1022598.382
AT ITER 4368 NEW BEST:: SOT 8306232 SOS 1110738 HAS SOPS 1110738 HAS SOUS 1021267 HAS SOUPS 1021267 WITH SCORE 1022377.738
AT ITER 4409 NEW BEST:: SOT 8305052 SOS 1137596 HAS SOPS 1137596 HAS SOUS 1020943 HAS SOUPS 1020943 WITH SCORE 1022080.596
AT ITER 4422 NEW BEST:: SOT 8305052 SOS 1137573 HAS SOPS 1137573 HAS SOUS 1020920 HAS SOUPS 1020920 WITH SCORE 1022057.573
AT ITER 4453 NEW BEST:: SOT 8305100 SOS 1137340 HAS SOPS 1137340 HAS SOUS 1020687 HAS SOUPS 1020687 WITH SCORE 1021824.34
AT ITER 4467 NEW BEST:: SOT 8304507 SOS 1136902 HAS SOPS 1136902 HAS SOUS 1019800 HAS SOUPS 1019800 WITH SCORE 1020936.902
AT ITER 4507 NEW BEST:: SOT 8304322 SOS 1136532 HAS SOPS 1136532 HAS SOUS 1019800 HAS SOUPS 1019800 WITH SCORE 1020936.532
AT ITER 4531 NEW BEST:: SOT 8304229 SOS 1136545 HAS SOPS 1136545 HAS SOUS 1019706 HAS SOUPS 1019706 WITH SCORE 1020842.545
AT ITER 4584 NEW BEST:: SOT 8304173 SOS 1136537 HAS SOPS 1136537 HAS SOUS 1019649 HAS SOUPS 1019649 WITH SCORE 1020785.537
AT ITER 4631 NEW BEST:: SOT 8304049 SOS 1136681 HAS SOPS 1136681 HAS SOUS 1019464 HAS SOUPS 1019464 WITH SCORE 1020600.681
AT ITER 4681 NEW BEST:: SOT 8304049 SOS 1136635 HAS SOPS 1136635 HAS SOUS 1019464 HAS SOUPS 1019464 WITH SCORE 1020600.635
AT ITER 4704 NEW BEST:: SOT 8304049 SOS 1136289 HAS SOPS 1136289 HAS SOUS 1019464 HAS SOUPS 1019464 WITH SCORE 1020600.289
AT ITER 4711 NEW BEST:: SOT 8304049 SOS 1136169 HAS SOPS 1136169 HAS SOUS 1019344 HAS SOUPS 1019344 WITH SCORE 1020480.169
AT ITER 4722 NEW BEST:: SOT 8303993 SOS 1136056 HAS SOPS 1136056 HAS SOUS 1019231 HAS SOUPS 1019231 WITH SCORE 1020367.056
AT ITER 4779 NEW BEST:: SOT 8303944 SOS 1135958 HAS SOPS 1135958 HAS SOUS 1019133 HAS SOUPS 1019133 WITH SCORE 1020268.958
AT ITER 4795 NEW BEST:: SOT 8303944 SOS 1135833 HAS SOPS 1135833 HAS SOUS 1019008 HAS SOUPS 1019008 WITH SCORE 1020143.833
AT ITER 4800 NEW BEST:: SOT 8303885 SOS 1135774 HAS SOPS 1135774 HAS SOUS 1018949 HAS SOUPS 1018949 WITH SCORE 1020084.774
AT ITER 4816 NEW BEST:: SOT 8303885 SOS 1135774 HAS SOPS 1135774 HAS SOUS 1018898 HAS SOUPS 1018898 WITH SCORE 1020033.774
AT ITER 4840 NEW BEST:: SOT 8303802 SOS 1135748 HAS SOPS 1135748 HAS SOUS 1018872 HAS SOUPS 1018872 WITH SCORE 1020007.748
AT ITER 4848 NEW BEST:: SOT 8303829 SOS 1135644 HAS SOPS 1135644 HAS SOUS 1018768 HAS SOUPS 1018768 WITH SCORE 1019903.644
AT ITER 4862 NEW BEST:: SOT 8303759 SOS 1135614 HAS SOPS 1135614 HAS SOUS 1018720 HAS SOUPS 1018720 WITH SCORE 1019855.614
AT ITER 4883 NEW BEST:: SOT 8304323 SOS 1136106 HAS SOPS 1136106 HAS SOUS 1018667 HAS SOUPS 1018667 WITH SCORE 1019803.106
AT ITER 4910 NEW BEST:: SOT 8304222 SOS 1135904 HAS SOPS 1135904 HAS SOUS 1018667 HAS SOUPS 1018667 WITH SCORE 1019802.904
AT ITER 4915 NEW BEST:: SOT 8304222 SOS 1135742 HAS SOPS 1135742 HAS SOUS 1018505 HAS SOUPS 1018505 WITH SCORE 1019640.742
AT ITER 4928 NEW BEST:: SOT 8304401 SOS 1135649 HAS SOPS 1135649 HAS SOUS 1018412 HAS SOUPS 1018412 WITH SCORE 1019547.649
AT ITER 4985 NEW BEST:: SOT 8303798 SOS 1134822 HAS SOPS 1134822 HAS SOUS 1017654 HAS SOUPS 1017654 WITH SCORE 1018788.822
AT ITER 4997 NEW BEST:: SOT 8303798 SOS 1134821 HAS SOPS 1134821 HAS SOUS 1017653 HAS SOUPS 1017653 WITH SCORE 1018787.821
AT ITER 5025 NEW BEST:: SOT 8303798 SOS 1134811 HAS SOPS 1134811 HAS SOUS 1017653 HAS SOUPS 1017653 WITH SCORE 1018787.811
AT ITER 5059 NEW BEST:: SOT 8303751 SOS 1134717 HAS SOPS 1134717 HAS SOUS 1017559 HAS SOUPS 1017559 WITH SCORE 1018693.717
AT ITER 5081 NEW BEST:: SOT 8303699 SOS 1134665 HAS SOPS 1134665 HAS SOUS 1017559 HAS SOUPS 1017559 WITH SCORE 1018693.665
AT ITER 5095 NEW BEST:: SOT 8303204 SOS 1134187 HAS SOPS 1134187 HAS SOUS 1017064 HAS SOUPS 1017064 WITH SCORE 1018198.187
AT ITER 5111 NEW BEST:: SOT 8302970 SOS 1133611 HAS SOPS 1133611 HAS SOUS 1016664 HAS SOUPS 1016664 WITH SCORE 1017797.611
AT ITER 5117 NEW BEST:: SOT 8303218 SOS 1134833 HAS SOPS 1134833 HAS SOUS 1016523 HAS SOUPS 1016523 WITH SCORE 1017657.833
AT ITER 5131 NEW BEST:: SOT 8302746 SOS 1134361 HAS SOPS 1134361 HAS SOUS 1016454 HAS SOUPS 1016454 WITH SCORE 1017588.361
AT ITER 5138 NEW BEST:: SOT 8302562 SOS 1133993 HAS SOPS 1133993 HAS SOUS 1016270 HAS SOUPS 1016270 WITH SCORE 1017403.993
AT ITER 5145 NEW BEST:: SOT 8302652 SOS 1133570 HAS SOPS 1133570 HAS SOUS 1016053 HAS SOUPS 1016053 WITH SCORE 1017186.57
AT ITER 5170 NEW BEST:: SOT 8302652 SOS 1133570 HAS SOPS 1133570 HAS SOUS 1015945 HAS SOUPS 1015945 WITH SCORE 1017078.57
AT ITER 5179 NEW BEST:: SOT 8302389 SOS 1133131 HAS SOPS 1133131 HAS SOUS 1015771 HAS SOUPS 1015771 WITH SCORE 1016904.131
AT ITER 5215 NEW BEST:: SOT 8302419 SOS 1133161 HAS SOPS 1133161 HAS SOUS 1015770 HAS SOUPS 1015770 WITH SCORE 1016903.161
AT ITER 5223 NEW BEST:: SOT 8302391 SOS 1133105 HAS SOPS 1133105 HAS SOUS 1015714 HAS SOUPS 1015714 WITH SCORE 1016847.105
AT ITER 5249 NEW BEST:: SOT 8302235 SOS 1133106 HAS SOPS 1133106 HAS SOUS 1015637 HAS SOUPS 1015637 WITH SCORE 1016770.106
AT ITER 5254 NEW BEST:: SOT 8302344 SOS 1134746 HAS SOPS 1134746 HAS SOUS 1015597 HAS SOUPS 1015597 WITH SCORE 1016731.746
AT ITER 5285 NEW BEST:: SOT 8302259 SOS 1134745 HAS SOPS 1134745 HAS SOUS 1015596 HAS SOUPS 1015596 WITH SCORE 1016730.745
AT ITER 5331 NEW BEST:: SOT 8302259 SOS 1134607 HAS SOPS 1134607 HAS SOUS 1015458 HAS SOUPS 1015458 WITH SCORE 1016592.607
AT ITER 5340 NEW BEST:: SOT 8302037 SOS 1134163 HAS SOPS 1134163 HAS SOUS 1014717 HAS SOUPS 1014717 WITH SCORE 1015851.163
AT ITER 5359 NEW BEST:: SOT 8302037 SOS 1134144 HAS SOPS 1134144 HAS SOUS 1014698 HAS SOUPS 1014698 WITH SCORE 1015832.144
AT ITER 5365 NEW BEST:: SOT 8302037 SOS 1134144 HAS SOPS 1134144 HAS SOUS 1014697 HAS SOUPS 1014697 WITH SCORE 1015831.144
AT ITER 5376 NEW BEST:: SOT 8301851 SOS 1134164 HAS SOPS 1134164 HAS SOUS 1014594 HAS SOUPS 1014594 WITH SCORE 1015728.164
AT ITER 5395 NEW BEST:: SOT 8301781 SOS 1134024 HAS SOPS 1134024 HAS SOUS 1014454 HAS SOUPS 1014454 WITH SCORE 1015588.024
AT ITER 5453 NEW BEST:: SOT 8301752 SOS 1133966 HAS SOPS 1133966 HAS SOUS 1014425 HAS SOUPS 1014425 WITH SCORE 1015558.966
AT ITER 5458 NEW BEST:: SOT 8301695 SOS 1133852 HAS SOPS 1133852 HAS SOUS 1014368 HAS SOUPS 1014368 WITH SCORE 1015501.852
AT ITER 5470 NEW BEST:: SOT 8301666 SOS 1133759 HAS SOPS 1133759 HAS SOUS 1014310 HAS SOUPS 1014310 WITH SCORE 1015443.759
AT ITER 5493 NEW BEST:: SOT 8301666 SOS 1133758 HAS SOPS 1133758 HAS SOUS 1014251 HAS SOUPS 1014251 WITH SCORE 1015384.758
AT ITER 5547 NEW BEST:: SOT 8301609 SOS 1133644 HAS SOPS 1133644 HAS SOUS 1014193 HAS SOUPS 1014193 WITH SCORE 1015326.644
AT ITER 5558 NEW BEST:: SOT 8301757 SOS 1133600 HAS SOPS 1133600 HAS SOUS 1014149 HAS SOUPS 1014149 WITH SCORE 1015282.6
AT ITER 5564 NEW BEST:: SOT 8301636 SOS 1133489 HAS SOPS 1133489 HAS SOUS 1014011 HAS SOUPS 1014011 WITH SCORE 1015144.489
AT ITER 5582 NEW BEST:: SOT 8301148 SOS 1132513 HAS SOPS 1132513 HAS SOUS 1013288 HAS SOUPS 1013288 WITH SCORE 1014420.513
AT ITER 5616 NEW BEST:: SOT 8301120 SOS 1132327 HAS SOPS 1132327 HAS SOUS 1013102 HAS SOUPS 1013102 WITH SCORE 1014234.327
AT ITER 5617 NEW BEST:: SOT 8301071 SOS 1132284 HAS SOPS 1132284 HAS SOUS 1013003 HAS SOUPS 1013003 WITH SCORE 1014135.284
AT ITER 5626 NEW BEST:: SOT 8301071 SOS 1132284 HAS SOPS 1132284 HAS SOUS 1012978 HAS SOUPS 1012978 WITH SCORE 1014110.284
AT ITER 5639 NEW BEST:: SOT 8301076 SOS 1132262 HAS SOPS 1132262 HAS SOUS 1012956 HAS SOUPS 1012956 WITH SCORE 1014088.262
AT ITER 5683 NEW BEST:: SOT 8300450 SOS 1131846 HAS SOPS 1131846 HAS SOUS 1012540 HAS SOUPS 1012540 WITH SCORE 1013671.846
AT ITER 5687 NEW BEST:: SOT 8300053 SOS 1131847 HAS SOPS 1131847 HAS SOUS 1012340 HAS SOUPS 1012340 WITH SCORE 1013471.847
AT ITER 5699 NEW BEST:: SOT 8300053 SOS 1131770 HAS SOPS 1131770 HAS SOUS 1012263 HAS SOUPS 1012263 WITH SCORE 1013394.77
AT ITER 5761 NEW BEST:: SOT 8300025 SOS 1131322 HAS SOPS 1131322 HAS SOUS 1011692 HAS SOUPS 1011692 WITH SCORE 1012823.322
AT ITER 5795 NEW BEST:: SOT 8299978 SOS 1131275 HAS SOPS 1131275 HAS SOUS 1011692 HAS SOUPS 1011692 WITH SCORE 1012823.275
AT ITER 5818 NEW BEST:: SOT 8299875 SOS 1131171 HAS SOPS 1131171 HAS SOUS 1011588 HAS SOUPS 1011588 WITH SCORE 1012719.171
AT ITER 5828 NEW BEST:: SOT 8299919 SOS 1130702 HAS SOPS 1130702 HAS SOUS 1011119 HAS SOUPS 1011119 WITH SCORE 1012249.702
AT ITER 5836 NEW BEST:: SOT 8299808 SOS 1130590 HAS SOPS 1130590 HAS SOUS 1011007 HAS SOUPS 1011007 WITH SCORE 1012137.59
AT ITER 5871 NEW BEST:: SOT 8299796 SOS 1130566 HAS SOPS 1130566 HAS SOUS 1010995 HAS SOUPS 1010995 WITH SCORE 1012125.566
AT ITER 5889 NEW BEST:: SOT 8299796 SOS 1130249 HAS SOPS 1130249 HAS SOUS 1010995 HAS SOUPS 1010995 WITH SCORE 1012125.249
AT ITER 5921 NEW BEST:: SOT 8299874 SOS 1130405 HAS SOPS 1130405 HAS SOUS 1010874 HAS SOUPS 1010874 WITH SCORE 1012004.405
AT ITER 5934 NEW BEST:: SOT 8299874 SOS 1130405 HAS SOPS 1130405 HAS SOUS 1010511 HAS SOUPS 1010511 WITH SCORE 1011641.405
AT ITER 5949 NEW BEST:: SOT 8299968 SOS 1130593 HAS SOPS 1130593 HAS SOUS 1010312 HAS SOUPS 1010312 WITH SCORE 1011442.593
AT ITER 6010 NEW BEST:: SOT 8300053 SOS 1130763 HAS SOPS 1130763 HAS SOUS 1010277 HAS SOUPS 1010277 WITH SCORE 1011407.763
AT ITER 6055 NEW BEST:: SOT 8300053 SOS 1130707 HAS SOPS 1130707 HAS SOUS 1010277 HAS SOUPS 1010277 WITH SCORE 1011407.707
AT ITER 6098 NEW BEST:: SOT 8299899 SOS 1130399 HAS SOPS 1130399 HAS SOUS 1009879 HAS SOUPS 1009879 WITH SCORE 1011009.399
AT ITER 6121 NEW BEST:: SOT 8299800 SOS 1130398 HAS SOPS 1130398 HAS SOUS 1009878 HAS SOUPS 1009878 WITH SCORE 1011008.398
AT ITER 6133 NEW BEST:: SOT 8299644 SOS 1130242 HAS SOPS 1130242 HAS SOUS 1009566 HAS SOUPS 1009566 WITH SCORE 1010696.242
AT ITER 6177 NEW BEST:: SOT 8298974 SOS 1129653 HAS SOPS 1129653 HAS SOUS 1009057 HAS SOUPS 1009057 WITH SCORE 1010186.653
AT ITER 6221 NEW BEST:: SOT 8298974 SOS 1129650 HAS SOPS 1129650 HAS SOUS 1009054 HAS SOUPS 1009054 WITH SCORE 1010183.65
AT ITER 6232 NEW BEST:: SOT 8298527 SOS 1129424 HAS SOPS 1129424 HAS SOUS 1008649 HAS SOUPS 1008649 WITH SCORE 1009778.424
AT ITER 6237 NEW BEST:: SOT 8298527 SOS 1129361 HAS SOPS 1129361 HAS SOUS 1008586 HAS SOUPS 1008586 WITH SCORE 1009715.361
AT ITER 6265 NEW BEST:: SOT 8298527 SOS 1129356 HAS SOPS 1129356 HAS SOUS 1008586 HAS SOUPS 1008586 WITH SCORE 1009715.356
AT ITER 6368 NEW BEST:: SOT 8298527 SOS 1129155 HAS SOPS 1129155 HAS SOUS 1008586 HAS SOUPS 1008586 WITH SCORE 1009715.155
AT ITER 6380 NEW BEST:: SOT 8298527 SOS 1128945 HAS SOPS 1128945 HAS SOUS 1008586 HAS SOUPS 1008586 WITH SCORE 1009714.945
AT ITER 6426 NEW BEST:: SOT 8298450 SOS 1128868 HAS SOPS 1128868 HAS SOUS 1008521 HAS SOUPS 1008521 WITH SCORE 1009649.868
AT ITER 6442 NEW BEST:: SOT 8298450 SOS 1128396 HAS SOPS 1128396 HAS SOUS 1008521 HAS SOUPS 1008521 WITH SCORE 1009649.396
AT ITER 6446 NEW BEST:: SOT 8298450 SOS 1128085 HAS SOPS 1128085 HAS SOUS 1008396 HAS SOUPS 1008396 WITH SCORE 1009524.085
AT ITER 6457 NEW BEST:: SOT 8298755 SOS 1128124 HAS SOPS 1128124 HAS SOUS 1008393 HAS SOUPS 1008393 WITH SCORE 1009521.124
AT ITER 6480 NEW BEST:: SOT 8298747 SOS 1128108 HAS SOPS 1128108 HAS SOUS 1008377 HAS SOUPS 1008377 WITH SCORE 1009505.108
AT ITER 6481 NEW BEST:: SOT 8298564 SOS 1127925 HAS SOPS 1127925 HAS SOUS 1008194 HAS SOUPS 1008194 WITH SCORE 1009321.925
AT ITER 6488 NEW BEST:: SOT 8298390 SOS 1127709 HAS SOPS 1127709 HAS SOUS 1007978 HAS SOUPS 1007978 WITH SCORE 1009105.709
AT ITER 6504 NEW BEST:: SOT 8298372 SOS 1127673 HAS SOPS 1127673 HAS SOUS 1007978 HAS SOUPS 1007978 WITH SCORE 1009105.673
AT ITER 6513 NEW BEST:: SOT 8298295 SOS 1127519 HAS SOPS 1127519 HAS SOUS 1007824 HAS SOUPS 1007824 WITH SCORE 1008951.519
AT ITER 6556 NEW BEST:: SOT 8298258 SOS 1127482 HAS SOPS 1127482 HAS SOUS 1007787 HAS SOUPS 1007787 WITH SCORE 1008914.482
AT ITER 6563 NEW BEST:: SOT 8298433 SOS 1127427 HAS SOPS 1127427 HAS SOUS 1007748 HAS SOUPS 1007748 WITH SCORE 1008875.427
AT ITER 6564 NEW BEST:: SOT 8298377 SOS 1127315 HAS SOPS 1127315 HAS SOUS 1007636 HAS SOUPS 1007636 WITH SCORE 1008763.315
AT ITER 6603 NEW BEST:: SOT 8298420 SOS 1127401 HAS SOPS 1127401 HAS SOUS 1007605 HAS SOUPS 1007605 WITH SCORE 1008732.401
AT ITER 6606 NEW BEST:: SOT 8298359 SOS 1127279 HAS SOPS 1127279 HAS SOUS 1007242 HAS SOUPS 1007242 WITH SCORE 1008369.279
AT ITER 6649 NEW BEST:: SOT 8298402 SOS 1127141 HAS SOPS 1127141 HAS SOUS 1007104 HAS SOUPS 1007104 WITH SCORE 1008231.141
AT ITER 6660 NEW BEST:: SOT 8298217 SOS 1127108 HAS SOPS 1127108 HAS SOUS 1006996 HAS SOUPS 1006996 WITH SCORE 1008123.108
AT ITER 6661 NEW BEST:: SOT 8298217 SOS 1126927 HAS SOPS 1126927 HAS SOUS 1006634 HAS SOUPS 1006634 WITH SCORE 1007760.927
AT ITER 6666 NEW BEST:: SOT 8298216 SOS 1126925 HAS SOPS 1126925 HAS SOUS 1006632 HAS SOUPS 1006632 WITH SCORE 1007758.925
AT ITER 6673 NEW BEST:: SOT 8298128 SOS 1126924 HAS SOPS 1126924 HAS SOUS 1006631 HAS SOUPS 1006631 WITH SCORE 1007757.924
AT ITER 6711 NEW BEST:: SOT 8297883 SOS 1127094 HAS SOPS 1127094 HAS SOUS 1006458 HAS SOUPS 1006458 WITH SCORE 1007585.094
AT ITER 6726 NEW BEST:: SOT 8297883 SOS 1127029 HAS SOPS 1127029 HAS SOUS 1006458 HAS SOUPS 1006458 WITH SCORE 1007585.029
AT ITER 6743 NEW BEST:: SOT 8297883 SOS 1126957 HAS SOPS 1126957 HAS SOUS 1006386 HAS SOUPS 1006386 WITH SCORE 1007512.957
AT ITER 6823 NEW BEST:: SOT 8297829 SOS 1127463 HAS SOPS 1127463 HAS SOUS 1006332 HAS SOUPS 1006332 WITH SCORE 1007459.463
AT ITER 6847 NEW BEST:: SOT 8297829 SOS 1127431 HAS SOPS 1127431 HAS SOUS 1006300 HAS SOUPS 1006300 WITH SCORE 1007427.431
AT ITER 6886 NEW BEST:: SOT 8297744 SOS 1127421 HAS SOPS 1127421 HAS SOUS 1006253 HAS SOUPS 1006253 WITH SCORE 1007380.421
AT ITER 6891 NEW BEST:: SOT 8297744 SOS 1127377 HAS SOPS 1127377 HAS SOUS 1006209 HAS SOUPS 1006209 WITH SCORE 1007336.377
AT ITER 6937 NEW BEST:: SOT 8297626 SOS 1127141 HAS SOPS 1127141 HAS SOUS 1006161 HAS SOUPS 1006161 WITH SCORE 1007288.141
AT ITER 7015 NEW BEST:: SOT 8297626 SOS 1126883 HAS SOPS 1126883 HAS SOUS 1006161 HAS SOUPS 1006161 WITH SCORE 1007287.883
AT ITER 7026 NEW BEST:: SOT 8297596 SOS 1126823 HAS SOPS 1126823 HAS SOUS 1006160 HAS SOUPS 1006160 WITH SCORE 1007286.823
AT ITER 7033 NEW BEST:: SOT 8297646 SOS 1126809 HAS SOPS 1126809 HAS SOUS 1006146 HAS SOUPS 1006146 WITH SCORE 1007272.809
AT ITER 7055 NEW BEST:: SOT 8297646 SOS 1126795 HAS SOPS 1126795 HAS SOUS 1006132 HAS SOUPS 1006132 WITH SCORE 1007258.795
AT ITER 7112 NEW BEST:: SOT 8297611 SOS 1126661 HAS SOPS 1126661 HAS SOUS 1005998 HAS SOUPS 1005998 WITH SCORE 1007124.661
AT ITER 7140 NEW BEST:: SOT 8297676 SOS 1126659 HAS SOPS 1126659 HAS SOUS 1005996 HAS SOUPS 1005996 WITH SCORE 1007122.659
AT ITER 7206 NEW BEST:: SOT 8297667 SOS 1126641 HAS SOPS 1126641 HAS SOUS 1005978 HAS SOUPS 1005978 WITH SCORE 1007104.641
AT ITER 7235 NEW BEST:: SOT 8297770 SOS 1126429 HAS SOPS 1126429 HAS SOUS 1005975 HAS SOUPS 1005975 WITH SCORE 1007101.429
AT ITER 7249 NEW BEST:: SOT 8297770 SOS 1126269 HAS SOPS 1126269 HAS SOUS 1005815 HAS SOUPS 1005815 WITH SCORE 1006941.269
AT ITER 7259 NEW BEST:: SOT 8297420 SOS 1125909 HAS SOPS 1125909 HAS SOUS 1005395 HAS SOUPS 1005395 WITH SCORE 1006520.909
AT ITER 7283 NEW BEST:: SOT 8297610 SOS 1125861 HAS SOPS 1125861 HAS SOUS 1005347 HAS SOUPS 1005347 WITH SCORE 1006472.861
AT ITER 7284 NEW BEST:: SOT 8297610 SOS 1125680 HAS SOPS 1125680 HAS SOUS 1005166 HAS SOUPS 1005166 WITH SCORE 1006291.68
AT ITER 7286 NEW BEST:: SOT 8297359 SOS 1125516 HAS SOPS 1125516 HAS SOUS 1004915 HAS SOUPS 1004915 WITH SCORE 1006040.516
AT ITER 7316 NEW BEST:: SOT 8297502 SOS 1126371 HAS SOPS 1126371 HAS SOUS 1004755 HAS SOUPS 1004755 WITH SCORE 1005881.371
AT ITER 7321 NEW BEST:: SOT 8297451 SOS 1126132 HAS SOPS 1126132 HAS SOUS 1004653 HAS SOUPS 1004653 WITH SCORE 1005779.132
AT ITER 7329 NEW BEST:: SOT 8297451 SOS 1126106 HAS SOPS 1126106 HAS SOUS 1004627 HAS SOUPS 1004627 WITH SCORE 1005753.106
AT ITER 7345 NEW BEST:: SOT 8297145 SOS 1124714 HAS SOPS 1124714 HAS SOUS 1004279 HAS SOUPS 1004279 WITH SCORE 1005403.714
AT ITER 7358 NEW BEST:: SOT 8297036 SOS 1124496 HAS SOPS 1124496 HAS SOUS 1004061 HAS SOUPS 1004061 WITH SCORE 1005185.496
AT ITER 7436 NEW BEST:: SOT 8297036 SOS 1124496 HAS SOPS 1124496 HAS SOUS 1004057 HAS SOUPS 1004057 WITH SCORE 1005181.496
AT ITER 7470 NEW BEST:: SOT 8296983 SOS 1124337 HAS SOPS 1124337 HAS SOUS 1003951 HAS SOUPS 1003951 WITH SCORE 1005075.337
AT ITER 7545 NEW BEST:: SOT 8296648 SOS 1124248 HAS SOPS 1124248 HAS SOUS 1003862 HAS SOUPS 1003862 WITH SCORE 1004986.248
AT ITER 7638 NEW BEST:: SOT 8296612 SOS 1124212 HAS SOPS 1124212 HAS SOUS 1003832 HAS SOUPS 1003832 WITH SCORE 1004956.212
AT ITER 7648 NEW BEST:: SOT 8296485 SOS 1123891 HAS SOPS 1123891 HAS SOUS 1003705 HAS SOUPS 1003705 WITH SCORE 1004828.891
AT ITER 7675 NEW BEST:: SOT 8296442 SOS 1123805 HAS SOPS 1123805 HAS SOUS 1003661 HAS SOUPS 1003661 WITH SCORE 1004784.805
AT ITER 7692 NEW BEST:: SOT 8296442 SOS 1123708 HAS SOPS 1123708 HAS SOUS 1003564 HAS SOUPS 1003564 WITH SCORE 1004687.708
AT ITER 7697 NEW BEST:: SOT 8296442 SOS 1123679 HAS SOPS 1123679 HAS SOUS 1003535 HAS SOUPS 1003535 WITH SCORE 1004658.679
AT ITER 7707 NEW BEST:: SOT 8296442 SOS 1123609 HAS SOPS 1123609 HAS SOUS 1003465 HAS SOUPS 1003465 WITH SCORE 1004588.609
AT ITER 7716 NEW BEST:: SOT 8295977 SOS 1122372 HAS SOPS 1122372 HAS SOUS 1003174 HAS SOUPS 1003174 WITH SCORE 1004296.372
AT ITER 7731 NEW BEST:: SOT 8296017 SOS 1122452 HAS SOPS 1122452 HAS SOUS 1003145 HAS SOUPS 1003145 WITH SCORE 1004267.452
AT ITER 7733 NEW BEST:: SOT 8295963 SOS 1122344 HAS SOPS 1122344 HAS SOUS 1003037 HAS SOUPS 1003037 WITH SCORE 1004159.344
AT ITER 7787 NEW BEST:: SOT 8295963 SOS 1122187 HAS SOPS 1122187 HAS SOUS 1002880 HAS SOUPS 1002880 WITH SCORE 1004002.187
AT ITER 7812 NEW BEST:: SOT 8295740 SOS 1121964 HAS SOPS 1121964 HAS SOUS 1002657 HAS SOUPS 1002657 WITH SCORE 1003778.964
AT ITER 7877 NEW BEST:: SOT 8295740 SOS 1121637 HAS SOPS 1121637 HAS SOUS 1002657 HAS SOUPS 1002657 WITH SCORE 1003778.637
AT ITER 7885 NEW BEST:: SOT 8295740 SOS 1121602 HAS SOPS 1121602 HAS SOUS 1002622 HAS SOUPS 1002622 WITH SCORE 1003743.602
AT ITER 7886 NEW BEST:: SOT 8295782 SOS 1121535 HAS SOPS 1121535 HAS SOUS 1002457 HAS SOUPS 1002457 WITH SCORE 1003578.535
AT ITER 7906 NEW BEST:: SOT 8295782 SOS 1121535 HAS SOPS 1121535 HAS SOUS 1002358 HAS SOUPS 1002358 WITH SCORE 1003479.535
AT ITER 7937 NEW BEST:: SOT 8295736 SOS 1121396 HAS SOPS 1121396 HAS SOUS 1002265 HAS SOUPS 1002265 WITH SCORE 1003386.396
AT ITER 8031 NEW BEST:: SOT 8295723 SOS 1121370 HAS SOPS 1121370 HAS SOUS 1002251 HAS SOUPS 1002251 WITH SCORE 1003372.37
AT ITER 8072 NEW BEST:: SOT 8295570 SOS 1121125 HAS SOPS 1121125 HAS SOUS 1002006 HAS SOUPS 1002006 WITH SCORE 1003127.125
AT ITER 8076 NEW BEST:: SOT 8295602 SOS 1121189 HAS SOPS 1121189 HAS SOUS 1001886 HAS SOUPS 1001886 WITH SCORE 1003007.189
AT ITER 8104 NEW BEST:: SOT 8295664 SOS 1121313 HAS SOPS 1121313 HAS SOUS 1001647 HAS SOUPS 1001647 WITH SCORE 1002768.313
AT ITER 8163 NEW BEST:: SOT 8295544 SOS 1121261 HAS SOPS 1121261 HAS SOUS 1001595 HAS SOUPS 1001595 WITH SCORE 1002716.261
AT ITER 8169 NEW BEST:: SOT 8295497 SOS 1121167 HAS SOPS 1121167 HAS SOUS 1001501 HAS SOUPS 1001501 WITH SCORE 1002622.167
AT ITER 8178 NEW BEST:: SOT 8295356 SOS 1120984 HAS SOPS 1120984 HAS SOUS 1001318 HAS SOUPS 1001318 WITH SCORE 1002438.984
AT ITER 8200 NEW BEST:: SOT 8294417 SOS 1120270 HAS SOPS 1120270 HAS SOUS 999889 HAS SOUPS 999889 WITH SCORE 1001009.27
AT ITER 8208 NEW BEST:: SOT 8294354 SOS 1120274 HAS SOPS 1120274 HAS SOUS 999824 HAS SOUPS 999824 WITH SCORE 1000944.274
AT ITER 8224 NEW BEST:: SOT 8294321 SOS 1120208 HAS SOPS 1120208 HAS SOUS 999813 HAS SOUPS 999813 WITH SCORE 1000933.208
AT ITER 8240 NEW BEST:: SOT 8294309 SOS 1120184 HAS SOPS 1120184 HAS SOUS 999789 HAS SOUPS 999789 WITH SCORE 1000909.184
AT ITER 8283 NEW BEST:: SOT 8294247 SOS 1120122 HAS SOPS 1120122 HAS SOUS 999727 HAS SOUPS 999727 WITH SCORE 1000847.122
AT ITER 8300 NEW BEST:: SOT 8294263 SOS 1120060 HAS SOPS 1120060 HAS SOUS 999665 HAS SOUPS 999665 WITH SCORE 1000785.06
AT ITER 8351 NEW BEST:: SOT 8294263 SOS 1120058 HAS SOPS 1120058 HAS SOUS 999664 HAS SOUPS 999664 WITH SCORE 1000784.058
AT ITER 8369 NEW BEST:: SOT 8294156 SOS 1119954 HAS SOPS 1119954 HAS SOUS 999505 HAS SOUPS 999505 WITH SCORE 1000624.954
AT ITER 8373 NEW BEST:: SOT 8294080 SOS 1120257 HAS SOPS 1120257 HAS SOUS 999232 HAS SOUPS 999232 WITH SCORE 1000352.257
AT ITER 8377 NEW BEST:: SOT 8294034 SOS 1120211 HAS SOPS 1120211 HAS SOUS 999186 HAS SOUPS 999186 WITH SCORE 1000306.211
AT ITER 8379 NEW BEST:: SOT 8293711 SOS 1119565 HAS SOPS 1119565 HAS SOUS 998865 HAS SOUPS 998865 WITH SCORE 999984.565
AT ITER 8397 NEW BEST:: SOT 8293598 SOS 1119339 HAS SOPS 1119339 HAS SOUS 998752 HAS SOUPS 998752 WITH SCORE 999871.339
AT ITER 8414 NEW BEST:: SOT 8293598 SOS 1119337 HAS SOPS 1119337 HAS SOUS 998750 HAS SOUPS 998750 WITH SCORE 999869.337
AT ITER 8420 NEW BEST:: SOT 8293598 SOS 1119317 HAS SOPS 1119317 HAS SOUS 998740 HAS SOUPS 998740 WITH SCORE 999859.317
AT ITER 8440 NEW BEST:: SOT 8293598 SOS 1119317 HAS SOPS 1119317 HAS SOUS 998370 HAS SOUPS 998370 WITH SCORE 999489.317
AT ITER 8479 NEW BEST:: SOT 8293402 SOS 1119201 HAS SOPS 1119201 HAS SOUS 998254 HAS SOUPS 998254 WITH SCORE 999373.201
AT ITER 8498 NEW BEST:: SOT 8293307 SOS 1118916 HAS SOPS 1118916 HAS SOUS 998159 HAS SOUPS 998159 WITH SCORE 999277.916
AT ITER 8516 NEW BEST:: SOT 8293208 SOS 1118785 HAS SOPS 1118785 HAS SOUS 998028 HAS SOUPS 998028 WITH SCORE 999146.785
AT ITER 8549 NEW BEST:: SOT 8293075 SOS 1118359 HAS SOPS 1118359 HAS SOUS 997895 HAS SOUPS 997895 WITH SCORE 999013.359
AT ITER 8568 NEW BEST:: SOT 8293075 SOS 1118151 HAS SOPS 1118151 HAS SOUS 997895 HAS SOUPS 997895 WITH SCORE 999013.151
AT ITER 8585 NEW BEST:: SOT 8292790 SOS 1117964 HAS SOPS 1117964 HAS SOUS 997610 HAS SOUPS 997610 WITH SCORE 998727.964
AT ITER 8616 NEW BEST:: SOT 8292790 SOS 1117908 HAS SOPS 1117908 HAS SOUS 997554 HAS SOUPS 997554 WITH SCORE 998671.908
AT ITER 8694 NEW BEST:: SOT 8292586 SOS 1117878 HAS SOPS 1117878 HAS SOUS 997524 HAS SOUPS 997524 WITH SCORE 998641.878
AT ITER 8739 NEW BEST:: SOT 8292517 SOS 1117659 HAS SOPS 1117659 HAS SOUS 997386 HAS SOUPS 997386 WITH SCORE 998503.659
AT ITER 8752 NEW BEST:: SOT 8292517 SOS 1117659 HAS SOPS 1117659 HAS SOUS 997278 HAS SOUPS 997278 WITH SCORE 998395.659
AT ITER 8798 NEW BEST:: SOT 8292634 SOS 1117649 HAS SOPS 1117649 HAS SOUS 997273 HAS SOUPS 997273 WITH SCORE 998390.649
AT ITER 8857 NEW BEST:: SOT 8292304 SOS 1117608 HAS SOPS 1117608 HAS SOUS 997232 HAS SOUPS 997232 WITH SCORE 998349.608
AT ITER 8866 NEW BEST:: SOT 8292205 SOS 1117331 HAS SOPS 1117331 HAS SOUS 997133 HAS SOUPS 997133 WITH SCORE 998250.331
AT ITER 8886 NEW BEST:: SOT 8291976 SOS 1117315 HAS SOPS 1117315 HAS SOUS 996536 HAS SOUPS 996536 WITH SCORE 997653.315
AT ITER 8941 NEW BEST:: SOT 8292006 SOS 1117561 HAS SOPS 1117561 HAS SOUS 996410 HAS SOUPS 996410 WITH SCORE 997527.561
AT ITER 8983 NEW BEST:: SOT 8291720 SOS 1116574 HAS SOPS 1116574 HAS SOUS 996135 HAS SOUPS 996135 WITH SCORE 997251.574
AT ITER 9004 NEW BEST:: SOT 8291720 SOS 1116522 HAS SOPS 1116522 HAS SOUS 996083 HAS SOUPS 996083 WITH SCORE 997199.522
AT ITER 9020 NEW BEST:: SOT 8291478 SOS 1116474 HAS SOPS 1116474 HAS SOUS 995841 HAS SOUPS 995841 WITH SCORE 996957.474
AT ITER 9046 NEW BEST:: SOT 8291478 SOS 1116380 HAS SOPS 1116380 HAS SOUS 995747 HAS SOUPS 995747 WITH SCORE 996863.38
AT ITER 9091 NEW BEST:: SOT 8291355 SOS 1116257 HAS SOPS 1116257 HAS SOUS 995624 HAS SOUPS 995624 WITH SCORE 996740.257
AT ITER 9131 NEW BEST:: SOT 8291348 SOS 1116243 HAS SOPS 1116243 HAS SOUS 995617 HAS SOUPS 995617 WITH SCORE 996733.243
AT ITER 9160 NEW BEST:: SOT 8291338 SOS 1116152 HAS SOPS 1116152 HAS SOUS 995526 HAS SOUPS 995526 WITH SCORE 996642.152
AT ITER 9194 NEW BEST:: SOT 8291184 SOS 1116146 HAS SOPS 1116146 HAS SOUS 995504 HAS SOUPS 995504 WITH SCORE 996620.146
AT ITER 9239 NEW BEST:: SOT 8291183 SOS 1116145 HAS SOPS 1116145 HAS SOUS 995503 HAS SOUPS 995503 WITH SCORE 996619.145
AT ITER 9255 NEW BEST:: SOT 8290880 SOS 1115841 HAS SOPS 1115841 HAS SOUS 994980 HAS SOUPS 994980 WITH SCORE 996095.841
AT ITER 9273 NEW BEST:: SOT 8290718 SOS 1115726 HAS SOPS 1115726 HAS SOUS 994865 HAS SOUPS 994865 WITH SCORE 995980.726
AT ITER 9283 NEW BEST:: SOT 8290698 SOS 1115721 HAS SOPS 1115721 HAS SOUS 994860 HAS SOUPS 994860 WITH SCORE 995975.721
AT ITER 9306 NEW BEST:: SOT 8290698 SOS 1115380 HAS SOPS 1115380 HAS SOUS 994860 HAS SOUPS 994860 WITH SCORE 995975.38
AT ITER 9338 NEW BEST:: SOT 8290698 SOS 1115128 HAS SOPS 1115128 HAS SOUS 994608 HAS SOUPS 994608 WITH SCORE 995723.128
AT ITER 9341 NEW BEST:: SOT 8290698 SOS 1115078 HAS SOPS 1115078 HAS SOUS 994558 HAS SOUPS 994558 WITH SCORE 995673.078
AT ITER 9351 NEW BEST:: SOT 8290707 SOS 1115096 HAS SOPS 1115096 HAS SOUS 994281 HAS SOUPS 994281 WITH SCORE 995396.096
AT ITER 9433 NEW BEST:: SOT 8290707 SOS 1114971 HAS SOPS 1114971 HAS SOUS 994156 HAS SOUPS 994156 WITH SCORE 995270.971
AT ITER 9435 NEW BEST:: SOT 8290519 SOS 1114783 HAS SOPS 1114783 HAS SOUS 993968 HAS SOUPS 993968 WITH SCORE 995082.783
AT ITER 9444 NEW BEST:: SOT 8290599 SOS 1114543 HAS SOPS 1114543 HAS SOUS 993928 HAS SOUPS 993928 WITH SCORE 995042.543
AT ITER 9500 NEW BEST:: SOT 8290599 SOS 1114543 HAS SOPS 1114543 HAS SOUS 993916 HAS SOUPS 993916 WITH SCORE 995030.543
AT ITER 9513 NEW BEST:: SOT 8290599 SOS 1114543 HAS SOPS 1114543 HAS SOUS 993853 HAS SOUPS 993853 WITH SCORE 994967.543
AT ITER 9523 NEW BEST:: SOT 8290438 SOS 1114221 HAS SOPS 1114221 HAS SOUS 993262 HAS SOUPS 993262 WITH SCORE 994376.221
AT ITER 9524 NEW BEST:: SOT 8290438 SOS 1114217 HAS SOPS 1114217 HAS SOUS 993258 HAS SOUPS 993258 WITH SCORE 994372.217
AT ITER 9525 NEW BEST:: SOT 8290196 SOS 1113733 HAS SOPS 1113733 HAS SOUS 993257 HAS SOUPS 993257 WITH SCORE 994370.733
AT ITER 9560 NEW BEST:: SOT 8290107 SOS 1113644 HAS SOPS 1113644 HAS SOUS 993168 HAS SOUPS 993168 WITH SCORE 994281.644
AT ITER 9568 NEW BEST:: SOT 8290059 SOS 1113644 HAS SOPS 1113644 HAS SOUS 993144 HAS SOUPS 993144 WITH SCORE 994257.644
AT ITER 9580 NEW BEST:: SOT 8290059 SOS 1113644 HAS SOPS 1113644 HAS SOUS 993083 HAS SOUPS 993083 WITH SCORE 994196.644
AT ITER 9663 NEW BEST:: SOT 8290059 SOS 1113314 HAS SOPS 1113314 HAS SOUS 992753 HAS SOUPS 992753 WITH SCORE 993866.314
AT ITER 9673 NEW BEST:: SOT 8289995 SOS 1113250 HAS SOPS 1113250 HAS SOUS 992689 HAS SOUPS 992689 WITH SCORE 993802.25
AT ITER 9681 NEW BEST:: SOT 8289674 SOS 1113106 HAS SOPS 1113106 HAS SOUS 992368 HAS SOUPS 992368 WITH SCORE 993481.106
AT ITER 9697 NEW BEST:: SOT 8289674 SOS 1113106 HAS SOPS 1113106 HAS SOUS 992366 HAS SOUPS 992366 WITH SCORE 993479.106
AT ITER 9716 NEW BEST:: SOT 8289330 SOS 1112762 HAS SOPS 1112762 HAS SOUS 992022 HAS SOUPS 992022 WITH SCORE 993134.762
AT ITER 9720 NEW BEST:: SOT 8289154 SOS 1112614 HAS SOPS 1112614 HAS SOUS 991874 HAS SOUPS 991874 WITH SCORE 992986.614
AT ITER 9734 NEW BEST:: SOT 8288916 SOS 1112138 HAS SOPS 1112138 HAS SOUS 991380 HAS SOUPS 991380 WITH SCORE 992492.138
AT ITER 9767 NEW BEST:: SOT 8288916 SOS 1112136 HAS SOPS 1112136 HAS SOUS 991378 HAS SOUPS 991378 WITH SCORE 992490.136
AT ITER 9799 NEW BEST:: SOT 8288916 SOS 1111925 HAS SOPS 1111925 HAS SOUS 991167 HAS SOUPS 991167 WITH SCORE 992278.925
AT ITER 9804 NEW BEST:: SOT 8288958 SOS 1111839 HAS SOPS 1111839 HAS SOUS 991166 HAS SOUPS 991166 WITH SCORE 992277.839
AT ITER 9814 NEW BEST:: SOT 8288958 SOS 1111612 HAS SOPS 1111612 HAS SOUS 990712 HAS SOUPS 990712 WITH SCORE 991823.612
AT ITER 9829 NEW BEST:: SOT 8288776 SOS 1111430 HAS SOPS 1111430 HAS SOUS 990530 HAS SOUPS 990530 WITH SCORE 991641.43
AT ITER 9869 NEW BEST:: SOT 8288686 SOS 1111313 HAS SOPS 1111313 HAS SOUS 990377 HAS SOUPS 990377 WITH SCORE 991488.313
AT ITER 9872 NEW BEST:: SOT 8288597 SOS 1111135 HAS SOPS 1111135 HAS SOUS 990288 HAS SOUPS 990288 WITH SCORE 991399.135
AT ITER 9899 NEW BEST:: SOT 8288129 SOS 1111372 HAS SOPS 1111372 HAS SOUS 990018 HAS SOUPS 990018 WITH SCORE 991129.372
AT ITER 9907 NEW BEST:: SOT 8288128 SOS 1111371 HAS SOPS 1111371 HAS SOUS 990017 HAS SOUPS 990017 WITH SCORE 991128.371
AT ITER 9960 NEW BEST:: SOT 8288090 SOS 1111295 HAS SOPS 1111295 HAS SOUS 989988 HAS SOUPS 989988 WITH SCORE 991099.295
AT ITER 9978 NEW BEST:: SOT 8288072 SOS 1111277 HAS SOPS 1111277 HAS SOUS 989970 HAS SOUPS 989970 WITH SCORE 991081.277

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="AutoFlight-PT-48b"
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 AutoFlight-PT-48b, 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 r003-smll-158897508600505"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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