Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813591000512.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is 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-oct2-167813591000512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 18:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 18:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 18:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 18:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 18:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 18:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 18:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 956K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678473163335

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

Filename model.pnml
Petri model created: 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 11 NEW BEST:: SOT 8331603 SOS 1137843 HAS SOPS 1137843 HAS SOUS 1058463 HAS SOUPS 1058463 WITH SCORE 1059600.843
AT ITER 37 NEW BEST:: SOT 8331603 SOS 1137762 HAS SOPS 1137762 HAS SOUS 1058459 HAS SOUPS 1058459 WITH SCORE 1059596.762
AT ITER 82 NEW BEST:: SOT 8331603 SOS 1137762 HAS SOPS 1137762 HAS SOUS 1058458 HAS SOUPS 1058458 WITH SCORE 1059595.762
AT ITER 104 NEW BEST:: SOT 8331429 SOS 1137545 HAS SOPS 1137545 HAS SOUS 1058241 HAS SOUPS 1058241 WITH SCORE 1059378.545
AT ITER 113 NEW BEST:: SOT 8331738 SOS 1137854 HAS SOPS 1137854 HAS SOUS 1058091 HAS SOUPS 1058091 WITH SCORE 1059228.854
AT ITER 134 NEW BEST:: SOT 8331425 SOS 1137228 HAS SOPS 1137228 HAS SOUS 1057285 HAS SOUPS 1057285 WITH SCORE 1058422.228
AT ITER 139 NEW BEST:: SOT 8331425 SOS 1137070 HAS SOPS 1137070 HAS SOUS 1057127 HAS SOUPS 1057127 WITH SCORE 1058264.07
AT ITER 150 NEW BEST:: SOT 8331140 SOS 1136655 HAS SOPS 1136655 HAS SOUS 1056712 HAS SOUPS 1056712 WITH SCORE 1057848.655
AT ITER 198 NEW BEST:: SOT 8331076 SOS 1136527 HAS SOPS 1136527 HAS SOUS 1056232 HAS SOUPS 1056232 WITH SCORE 1057368.527
AT ITER 263 NEW BEST:: SOT 8331013 SOS 1136485 HAS SOPS 1136485 HAS SOUS 1056190 HAS SOUPS 1056190 WITH SCORE 1057326.485
AT ITER 280 NEW BEST:: SOT 8330957 SOS 1136485 HAS SOPS 1136485 HAS SOUS 1056174 HAS SOUPS 1056174 WITH SCORE 1057310.485
AT ITER 307 NEW BEST:: SOT 8331221 SOS 1136550 HAS SOPS 1136550 HAS SOUS 1055920 HAS SOUPS 1055920 WITH SCORE 1057056.55
AT ITER 312 NEW BEST:: SOT 8331221 SOS 1136436 HAS SOPS 1136436 HAS SOUS 1055806 HAS SOUPS 1055806 WITH SCORE 1056942.436
AT ITER 318 NEW BEST:: SOT 8331134 SOS 1136436 HAS SOPS 1136436 HAS SOUS 1055719 HAS SOUPS 1055719 WITH SCORE 1056855.436
AT ITER 329 NEW BEST:: SOT 8330739 SOS 1136435 HAS SOPS 1136435 HAS SOUS 1055718 HAS SOUPS 1055718 WITH SCORE 1056854.435
AT ITER 345 NEW BEST:: SOT 8330651 SOS 1136631 HAS SOPS 1136631 HAS SOUS 1055630 HAS SOUPS 1055630 WITH SCORE 1056766.631
AT ITER 346 NEW BEST:: SOT 8330425 SOS 1136233 HAS SOPS 1136233 HAS SOUS 1055232 HAS SOUPS 1055232 WITH SCORE 1056368.233
AT ITER 363 NEW BEST:: SOT 8330165 SOS 1135713 HAS SOPS 1135713 HAS SOUS 1054500 HAS SOUPS 1054500 WITH SCORE 1055635.713
AT ITER 391 NEW BEST:: SOT 8330165 SOS 1135422 HAS SOPS 1135422 HAS SOUS 1054209 HAS SOUPS 1054209 WITH SCORE 1055344.422
AT ITER 392 NEW BEST:: SOT 8330154 SOS 1135411 HAS SOPS 1135411 HAS SOUS 1054198 HAS SOUPS 1054198 WITH SCORE 1055333.411
AT ITER 405 NEW BEST:: SOT 8330054 SOS 1135861 HAS SOPS 1135861 HAS SOUS 1054097 HAS SOUPS 1054097 WITH SCORE 1055232.861
AT ITER 419 NEW BEST:: SOT 8330083 SOS 1135581 HAS SOPS 1135581 HAS SOUS 1053817 HAS SOUPS 1053817 WITH SCORE 1054952.581
AT ITER 433 NEW BEST:: SOT 8330083 SOS 1135581 HAS SOPS 1135581 HAS SOUS 1053675 HAS SOUPS 1053675 WITH SCORE 1054810.581
AT ITER 463 NEW BEST:: SOT 8329962 SOS 1134925 HAS SOPS 1134925 HAS SOUS 1053433 HAS SOUPS 1053433 WITH SCORE 1054567.925
AT ITER 468 NEW BEST:: SOT 8329654 SOS 1134952 HAS SOPS 1134952 HAS SOUS 1053125 HAS SOUPS 1053125 WITH SCORE 1054259.952
AT ITER 514 NEW BEST:: SOT 8329653 SOS 1134950 HAS SOPS 1134950 HAS SOUS 1053123 HAS SOUPS 1053123 WITH SCORE 1054257.95
AT ITER 520 NEW BEST:: SOT 8329653 SOS 1134871 HAS SOPS 1134871 HAS SOUS 1053123 HAS SOUPS 1053123 WITH SCORE 1054257.871
AT ITER 548 NEW BEST:: SOT 8329421 SOS 1134755 HAS SOPS 1134755 HAS SOUS 1052891 HAS SOUPS 1052891 WITH SCORE 1054025.755
AT ITER 562 NEW BEST:: SOT 8329489 SOS 1134180 HAS SOPS 1134180 HAS SOUS 1052316 HAS SOUPS 1052316 WITH SCORE 1053450.18
AT ITER 581 NEW BEST:: SOT 8329473 SOS 1134132 HAS SOPS 1134132 HAS SOUS 1052290 HAS SOUPS 1052290 WITH SCORE 1053424.132
AT ITER 589 NEW BEST:: SOT 8328971 SOS 1133381 HAS SOPS 1133381 HAS SOUS 1051535 HAS SOUPS 1051535 WITH SCORE 1052668.381
AT ITER 602 NEW BEST:: SOT 8328841 SOS 1133311 HAS SOPS 1133311 HAS SOUS 1051405 HAS SOUPS 1051405 WITH SCORE 1052538.311
AT ITER 605 NEW BEST:: SOT 8328729 SOS 1133199 HAS SOPS 1133199 HAS SOUS 1051293 HAS SOUPS 1051293 WITH SCORE 1052426.199
AT ITER 608 NEW BEST:: SOT 8328690 SOS 1133121 HAS SOPS 1133121 HAS SOUS 1051254 HAS SOUPS 1051254 WITH SCORE 1052387.121
AT ITER 612 NEW BEST:: SOT 8328690 SOS 1132988 HAS SOPS 1132988 HAS SOUS 1051121 HAS SOUPS 1051121 WITH SCORE 1052253.988
AT ITER 627 NEW BEST:: SOT 8328744 SOS 1132016 HAS SOPS 1132016 HAS SOUS 1051076 HAS SOUPS 1051076 WITH SCORE 1052208.016
AT ITER 635 NEW BEST:: SOT 8328617 SOS 1131512 HAS SOPS 1131512 HAS SOUS 1050949 HAS SOUPS 1050949 WITH SCORE 1052080.512
AT ITER 641 NEW BEST:: SOT 8328804 SOS 1131538 HAS SOPS 1131538 HAS SOUS 1050779 HAS SOUPS 1050779 WITH SCORE 1051910.538
AT ITER 754 NEW BEST:: SOT 8328564 SOS 1131366 HAS SOPS 1131366 HAS SOUS 1050539 HAS SOUPS 1050539 WITH SCORE 1051670.366
AT ITER 759 NEW BEST:: SOT 8328564 SOS 1131365 HAS SOPS 1131365 HAS SOUS 1050538 HAS SOUPS 1050538 WITH SCORE 1051669.365
AT ITER 768 NEW BEST:: SOT 8328564 SOS 1131484 HAS SOPS 1131484 HAS SOUS 1050537 HAS SOUPS 1050537 WITH SCORE 1051668.484
AT ITER 800 NEW BEST:: SOT 8328564 SOS 1131424 HAS SOPS 1131424 HAS SOUS 1050477 HAS SOUPS 1050477 WITH SCORE 1051608.424
AT ITER 814 NEW BEST:: SOT 8328366 SOS 1131157 HAS SOPS 1131157 HAS SOUS 1050210 HAS SOUPS 1050210 WITH SCORE 1051341.157
AT ITER 825 NEW BEST:: SOT 8328304 SOS 1131095 HAS SOPS 1131095 HAS SOUS 1050210 HAS SOUPS 1050210 WITH SCORE 1051341.095
AT ITER 860 NEW BEST:: SOT 8327900 SOS 1130691 HAS SOPS 1130691 HAS SOUS 1049806 HAS SOUPS 1049806 WITH SCORE 1050936.691
AT ITER 868 NEW BEST:: SOT 8327934 SOS 1130759 HAS SOPS 1130759 HAS SOUS 1049597 HAS SOUPS 1049597 WITH SCORE 1050727.759
AT ITER 911 NEW BEST:: SOT 8327609 SOS 1130482 HAS SOPS 1130482 HAS SOUS 1049284 HAS SOUPS 1049284 WITH SCORE 1050414.482
AT ITER 938 NEW BEST:: SOT 8327288 SOS 1130484 HAS SOPS 1130484 HAS SOUS 1048962 HAS SOUPS 1048962 WITH SCORE 1050092.484
AT ITER 944 NEW BEST:: SOT 8327288 SOS 1130548 HAS SOPS 1130548 HAS SOUS 1048959 HAS SOUPS 1048959 WITH SCORE 1050089.548
AT ITER 973 NEW BEST:: SOT 8327074 SOS 1130214 HAS SOPS 1130214 HAS SOUS 1048625 HAS SOUPS 1048625 WITH SCORE 1049755.214
AT ITER 989 NEW BEST:: SOT 8327073 SOS 1130213 HAS SOPS 1130213 HAS SOUS 1048624 HAS SOUPS 1048624 WITH SCORE 1049754.213
AT ITER 1003 NEW BEST:: SOT 8326928 SOS 1130057 HAS SOPS 1130057 HAS SOUS 1048468 HAS SOUPS 1048468 WITH SCORE 1049598.057
AT ITER 1031 NEW BEST:: SOT 8326928 SOS 1130057 HAS SOPS 1130057 HAS SOUS 1048372 HAS SOUPS 1048372 WITH SCORE 1049502.057
AT ITER 1061 NEW BEST:: SOT 8326704 SOS 1129784 HAS SOPS 1129784 HAS SOUS 1048099 HAS SOUPS 1048099 WITH SCORE 1049228.784
AT ITER 1063 NEW BEST:: SOT 8326598 SOS 1129519 HAS SOPS 1129519 HAS SOUS 1047940 HAS SOUPS 1047940 WITH SCORE 1049069.519
AT ITER 1067 NEW BEST:: SOT 8326226 SOS 1128775 HAS SOPS 1128775 HAS SOUS 1047196 HAS SOUPS 1047196 WITH SCORE 1048324.775
AT ITER 1095 NEW BEST:: SOT 8326226 SOS 1128739 HAS SOPS 1128739 HAS SOUS 1047160 HAS SOUPS 1047160 WITH SCORE 1048288.739
AT ITER 1111 NEW BEST:: SOT 8325942 SOS 1128455 HAS SOPS 1128455 HAS SOUS 1046876 HAS SOUPS 1046876 WITH SCORE 1048004.455
AT ITER 1124 NEW BEST:: SOT 8325578 SOS 1127977 HAS SOPS 1127977 HAS SOUS 1046246 HAS SOUPS 1046246 WITH SCORE 1047373.977
AT ITER 1127 NEW BEST:: SOT 8325042 SOS 1127173 HAS SOPS 1127173 HAS SOUS 1045442 HAS SOUPS 1045442 WITH SCORE 1046569.173
AT ITER 1170 NEW BEST:: SOT 8324623 SOS 1126794 HAS SOPS 1126794 HAS SOUS 1044732 HAS SOUPS 1044732 WITH SCORE 1045858.794
AT ITER 1202 NEW BEST:: SOT 8324623 SOS 1126663 HAS SOPS 1126663 HAS SOUS 1044732 HAS SOUPS 1044732 WITH SCORE 1045858.663
AT ITER 1239 NEW BEST:: SOT 8324602 SOS 1126621 HAS SOPS 1126621 HAS SOUS 1044696 HAS SOUPS 1044696 WITH SCORE 1045822.621
AT ITER 1254 NEW BEST:: SOT 8324500 SOS 1126782 HAS SOPS 1126782 HAS SOUS 1044388 HAS SOUPS 1044388 WITH SCORE 1045514.782
AT ITER 1272 NEW BEST:: SOT 8324499 SOS 1126781 HAS SOPS 1126781 HAS SOUS 1044387 HAS SOUPS 1044387 WITH SCORE 1045513.781
AT ITER 1296 NEW BEST:: SOT 8324312 SOS 1126600 HAS SOPS 1126600 HAS SOUS 1044204 HAS SOUPS 1044204 WITH SCORE 1045330.6
AT ITER 1299 NEW BEST:: SOT 8324252 SOS 1126599 HAS SOPS 1126599 HAS SOUS 1044203 HAS SOUPS 1044203 WITH SCORE 1045329.599
AT ITER 1312 NEW BEST:: SOT 8324252 SOS 1126188 HAS SOPS 1126188 HAS SOUS 1043792 HAS SOUPS 1043792 WITH SCORE 1044918.188
AT ITER 1321 NEW BEST:: SOT 8324252 SOS 1126008 HAS SOPS 1126008 HAS SOUS 1043612 HAS SOUPS 1043612 WITH SCORE 1044738.008
AT ITER 1327 NEW BEST:: SOT 8323757 SOS 1125598 HAS SOPS 1125598 HAS SOUS 1043117 HAS SOUPS 1043117 WITH SCORE 1044242.598
AT ITER 1383 NEW BEST:: SOT 8323128 SOS 1124668 HAS SOPS 1124668 HAS SOUS 1042160 HAS SOUPS 1042160 WITH SCORE 1043284.668
AT ITER 1394 NEW BEST:: SOT 8323119 SOS 1124650 HAS SOPS 1124650 HAS SOUS 1042151 HAS SOUPS 1042151 WITH SCORE 1043275.65
AT ITER 1411 NEW BEST:: SOT 8323120 SOS 1124649 HAS SOPS 1124649 HAS SOUS 1042150 HAS SOUPS 1042150 WITH SCORE 1043274.649
AT ITER 1450 NEW BEST:: SOT 8322747 SOS 1124276 HAS SOPS 1124276 HAS SOUS 1041777 HAS SOUPS 1041777 WITH SCORE 1042901.276
AT ITER 1457 NEW BEST:: SOT 8322669 SOS 1124227 HAS SOPS 1124227 HAS SOUS 1041728 HAS SOUPS 1041728 WITH SCORE 1042852.227
AT ITER 1474 NEW BEST:: SOT 8322579 SOS 1124047 HAS SOPS 1124047 HAS SOUS 1041356 HAS SOUPS 1041356 WITH SCORE 1042480.047
AT ITER 1519 NEW BEST:: SOT 8322579 SOS 1123920 HAS SOPS 1123920 HAS SOUS 1041229 HAS SOUPS 1041229 WITH SCORE 1042352.92
AT ITER 1520 NEW BEST:: SOT 8322570 SOS 1123772 HAS SOPS 1123772 HAS SOUS 1041211 HAS SOUPS 1041211 WITH SCORE 1042334.772
AT ITER 1552 NEW BEST:: SOT 8322382 SOS 1123699 HAS SOPS 1123699 HAS SOUS 1041023 HAS SOUPS 1041023 WITH SCORE 1042146.699
AT ITER 1570 NEW BEST:: SOT 8322048 SOS 1122777 HAS SOPS 1122777 HAS SOUS 1040779 HAS SOUPS 1040779 WITH SCORE 1041901.777
AT ITER 1596 NEW BEST:: SOT 8321984 SOS 1122777 HAS SOPS 1122777 HAS SOUS 1040715 HAS SOUPS 1040715 WITH SCORE 1041837.777
AT ITER 1609 NEW BEST:: SOT 8321912 SOS 1122633 HAS SOPS 1122633 HAS SOUS 1040571 HAS SOUPS 1040571 WITH SCORE 1041693.633
AT ITER 1610 NEW BEST:: SOT 8321912 SOS 1122545 HAS SOPS 1122545 HAS SOUS 1040483 HAS SOUPS 1040483 WITH SCORE 1041605.545
AT ITER 1617 NEW BEST:: SOT 8321841 SOS 1122953 HAS SOPS 1122953 HAS SOUS 1040412 HAS SOUPS 1040412 WITH SCORE 1041534.953
AT ITER 1685 NEW BEST:: SOT 8321650 SOS 1122571 HAS SOPS 1122571 HAS SOUS 1040030 HAS SOUPS 1040030 WITH SCORE 1041152.571
AT ITER 1705 NEW BEST:: SOT 8321525 SOS 1122197 HAS SOPS 1122197 HAS SOUS 1039910 HAS SOUPS 1039910 WITH SCORE 1041032.197
AT ITER 1742 NEW BEST:: SOT 8321185 SOS 1121818 HAS SOPS 1121818 HAS SOUS 1039570 HAS SOUPS 1039570 WITH SCORE 1040691.818
AT ITER 1750 NEW BEST:: SOT 8320980 SOS 1121408 HAS SOPS 1121408 HAS SOUS 1039365 HAS SOUPS 1039365 WITH SCORE 1040486.408
AT ITER 1751 NEW BEST:: SOT 8320993 SOS 1121260 HAS SOPS 1121260 HAS SOUS 1039217 HAS SOUPS 1039217 WITH SCORE 1040338.26
AT ITER 1757 NEW BEST:: SOT 8320992 SOS 1121258 HAS SOPS 1121258 HAS SOUS 1039215 HAS SOUPS 1039215 WITH SCORE 1040336.258
AT ITER 1762 NEW BEST:: SOT 8320991 SOS 1121256 HAS SOPS 1121256 HAS SOUS 1039213 HAS SOUPS 1039213 WITH SCORE 1040334.256
AT ITER 1763 NEW BEST:: SOT 8320991 SOS 1121256 HAS SOPS 1121256 HAS SOUS 1039212 HAS SOUPS 1039212 WITH SCORE 1040333.256
AT ITER 1778 NEW BEST:: SOT 8320991 SOS 1121073 HAS SOPS 1121073 HAS SOUS 1039029 HAS SOUPS 1039029 WITH SCORE 1040150.073
AT ITER 1807 NEW BEST:: SOT 8320564 SOS 1120382 HAS SOPS 1120382 HAS SOUS 1038338 HAS SOUPS 1038338 WITH SCORE 1039458.382
AT ITER 1814 NEW BEST:: SOT 8320137 SOS 1119528 HAS SOPS 1119528 HAS SOUS 1037484 HAS SOUPS 1037484 WITH SCORE 1038603.528
AT ITER 1852 NEW BEST:: SOT 8320086 SOS 1119358 HAS SOPS 1119358 HAS SOUS 1037374 HAS SOUPS 1037374 WITH SCORE 1038493.358
AT ITER 1856 NEW BEST:: SOT 8320086 SOS 1119244 HAS SOPS 1119244 HAS SOUS 1037260 HAS SOUPS 1037260 WITH SCORE 1038379.244
AT ITER 1874 NEW BEST:: SOT 8320086 SOS 1119244 HAS SOPS 1119244 HAS SOUS 1037259 HAS SOUPS 1037259 WITH SCORE 1038378.244
AT ITER 1898 NEW BEST:: SOT 8320086 SOS 1119244 HAS SOPS 1119244 HAS SOUS 1037195 HAS SOUPS 1037195 WITH SCORE 1038314.244
AT ITER 1912 NEW BEST:: SOT 8319864 SOS 1119022 HAS SOPS 1119022 HAS SOUS 1036973 HAS SOUPS 1036973 WITH SCORE 1038092.022
AT ITER 1958 NEW BEST:: SOT 8319636 SOS 1118566 HAS SOPS 1118566 HAS SOUS 1036744 HAS SOUPS 1036744 WITH SCORE 1037862.566
AT ITER 1983 NEW BEST:: SOT 8319636 SOS 1118492 HAS SOPS 1118492 HAS SOUS 1036670 HAS SOUPS 1036670 WITH SCORE 1037788.492
AT ITER 1996 NEW BEST:: SOT 8319663 SOS 1118546 HAS SOPS 1118546 HAS SOUS 1036451 HAS SOUPS 1036451 WITH SCORE 1037569.546
AT ITER 2001 NEW BEST:: SOT 8319343 SOS 1118242 HAS SOPS 1118242 HAS SOUS 1036092 HAS SOUPS 1036092 WITH SCORE 1037210.242
AT ITER 2014 NEW BEST:: SOT 8319296 SOS 1118193 HAS SOPS 1118193 HAS SOUS 1036088 HAS SOUPS 1036088 WITH SCORE 1037206.193
AT ITER 2037 NEW BEST:: SOT 8319362 SOS 1118186 HAS SOPS 1118186 HAS SOUS 1036081 HAS SOUPS 1036081 WITH SCORE 1037199.186
AT ITER 2050 NEW BEST:: SOT 8319245 SOS 1117952 HAS SOPS 1117952 HAS SOUS 1036081 HAS SOUPS 1036081 WITH SCORE 1037198.952
AT ITER 2051 NEW BEST:: SOT 8319108 SOS 1117834 HAS SOPS 1117834 HAS SOUS 1035963 HAS SOUPS 1035963 WITH SCORE 1037080.834
AT ITER 2053 NEW BEST:: SOT 8318834 SOS 1117583 HAS SOPS 1117583 HAS SOUS 1035392 HAS SOUPS 1035392 WITH SCORE 1036509.583
AT ITER 2055 NEW BEST:: SOT 8318821 SOS 1117570 HAS SOPS 1117570 HAS SOUS 1035379 HAS SOUPS 1035379 WITH SCORE 1036496.57
AT ITER 2080 NEW BEST:: SOT 8318848 SOS 1117468 HAS SOPS 1117468 HAS SOUS 1035277 HAS SOUPS 1035277 WITH SCORE 1036394.468
AT ITER 2166 NEW BEST:: SOT 8318848 SOS 1117449 HAS SOPS 1117449 HAS SOUS 1035277 HAS SOUPS 1035277 WITH SCORE 1036394.449
AT ITER 2167 NEW BEST:: SOT 8318625 SOS 1117210 HAS SOPS 1117210 HAS SOUS 1035010 HAS SOUPS 1035010 WITH SCORE 1036127.21
AT ITER 2188 NEW BEST:: SOT 8318625 SOS 1117210 HAS SOPS 1117210 HAS SOUS 1034872 HAS SOUPS 1034872 WITH SCORE 1035989.21
AT ITER 2189 NEW BEST:: SOT 8318625 SOS 1117044 HAS SOPS 1117044 HAS SOUS 1034706 HAS SOUPS 1034706 WITH SCORE 1035823.044
AT ITER 2227 NEW BEST:: SOT 8318193 SOS 1116612 HAS SOPS 1116612 HAS SOUS 1034274 HAS SOUPS 1034274 WITH SCORE 1035390.612
AT ITER 2234 NEW BEST:: SOT 8318372 SOS 1116970 HAS SOPS 1116970 HAS SOUS 1034261 HAS SOUPS 1034261 WITH SCORE 1035377.97
AT ITER 2235 NEW BEST:: SOT 8318371 SOS 1116969 HAS SOPS 1116969 HAS SOUS 1034260 HAS SOUPS 1034260 WITH SCORE 1035376.969
AT ITER 2247 NEW BEST:: SOT 8318345 SOS 1116917 HAS SOPS 1116917 HAS SOUS 1034208 HAS SOUPS 1034208 WITH SCORE 1035324.917
AT ITER 2252 NEW BEST:: SOT 8318115 SOS 1116796 HAS SOPS 1116796 HAS SOUS 1033978 HAS SOUPS 1033978 WITH SCORE 1035094.796
AT ITER 2307 NEW BEST:: SOT 8317849 SOS 1116647 HAS SOPS 1116647 HAS SOUS 1033712 HAS SOUPS 1033712 WITH SCORE 1034828.647
AT ITER 2309 NEW BEST:: SOT 8317804 SOS 1116664 HAS SOPS 1116664 HAS SOUS 1033705 HAS SOUPS 1033705 WITH SCORE 1034821.664
AT ITER 2341 NEW BEST:: SOT 8317718 SOS 1116651 HAS SOPS 1116651 HAS SOUS 1033619 HAS SOUPS 1033619 WITH SCORE 1034735.651
AT ITER 2349 NEW BEST:: SOT 8317615 SOS 1116342 HAS SOPS 1116342 HAS SOUS 1033413 HAS SOUPS 1033413 WITH SCORE 1034529.342
AT ITER 2388 NEW BEST:: SOT 8317357 SOS 1116146 HAS SOPS 1116146 HAS SOUS 1033155 HAS SOUPS 1033155 WITH SCORE 1034271.146
AT ITER 2394 NEW BEST:: SOT 8317357 SOS 1116005 HAS SOPS 1116005 HAS SOUS 1033014 HAS SOUPS 1033014 WITH SCORE 1034130.005
AT ITER 2407 NEW BEST:: SOT 8317256 SOS 1115803 HAS SOPS 1115803 HAS SOUS 1032812 HAS SOUPS 1032812 WITH SCORE 1033927.803
AT ITER 2437 NEW BEST:: SOT 8317230 SOS 1115751 HAS SOPS 1115751 HAS SOUS 1032383 HAS SOUPS 1032383 WITH SCORE 1033498.751
AT ITER 2477 NEW BEST:: SOT 8317194 SOS 1115750 HAS SOPS 1115750 HAS SOUS 1032382 HAS SOUPS 1032382 WITH SCORE 1033497.75
AT ITER 2488 NEW BEST:: SOT 8317517 SOS 1115634 HAS SOPS 1115634 HAS SOUS 1032266 HAS SOUPS 1032266 WITH SCORE 1033381.634
AT ITER 2492 NEW BEST:: SOT 8317308 SOS 1115509 HAS SOPS 1115509 HAS SOUS 1032065 HAS SOUPS 1032065 WITH SCORE 1033180.509
AT ITER 2507 NEW BEST:: SOT 8317094 SOS 1115253 HAS SOPS 1115253 HAS SOUS 1031809 HAS SOUPS 1031809 WITH SCORE 1032924.253
AT ITER 2509 NEW BEST:: SOT 8316940 SOS 1115143 HAS SOPS 1115143 HAS SOUS 1031655 HAS SOUPS 1031655 WITH SCORE 1032770.143
AT ITER 2518 NEW BEST:: SOT 8316940 SOS 1114763 HAS SOPS 1114763 HAS SOUS 1031465 HAS SOUPS 1031465 WITH SCORE 1032579.763
AT ITER 2523 NEW BEST:: SOT 8316930 SOS 1114743 HAS SOPS 1114743 HAS SOUS 1031455 HAS SOUPS 1031455 WITH SCORE 1032569.743
AT ITER 2530 NEW BEST:: SOT 8316930 SOS 1114694 HAS SOPS 1114694 HAS SOUS 1031406 HAS SOUPS 1031406 WITH SCORE 1032520.694
AT ITER 2551 NEW BEST:: SOT 8316930 SOS 1114694 HAS SOPS 1114694 HAS SOUS 1031243 HAS SOUPS 1031243 WITH SCORE 1032357.694
AT ITER 2575 NEW BEST:: SOT 8316785 SOS 1114706 HAS SOPS 1114706 HAS SOUS 1031098 HAS SOUPS 1031098 WITH SCORE 1032212.706
AT ITER 2582 NEW BEST:: SOT 8316706 SOS 1114202 HAS SOPS 1114202 HAS SOUS 1031085 HAS SOUPS 1031085 WITH SCORE 1032199.202
AT ITER 2602 NEW BEST:: SOT 8316245 SOS 1114010 HAS SOPS 1114010 HAS SOUS 1030893 HAS SOUPS 1030893 WITH SCORE 1032007.01
AT ITER 2631 NEW BEST:: SOT 8316245 SOS 1113877 HAS SOPS 1113877 HAS SOUS 1030760 HAS SOUPS 1030760 WITH SCORE 1031873.877
AT ITER 2815 NEW BEST:: SOT 8315963 SOS 1113058 HAS SOPS 1113058 HAS SOUS 1030669 HAS SOUPS 1030669 WITH SCORE 1031782.058
AT ITER 2820 NEW BEST:: SOT 8315682 SOS 1112779 HAS SOPS 1112779 HAS SOUS 1030388 HAS SOUPS 1030388 WITH SCORE 1031500.779
AT ITER 2865 NEW BEST:: SOT 8315703 SOS 1112821 HAS SOPS 1112821 HAS SOUS 1030241 HAS SOUPS 1030241 WITH SCORE 1031353.821
AT ITER 2868 NEW BEST:: SOT 8315703 SOS 1112478 HAS SOPS 1112478 HAS SOUS 1029898 HAS SOUPS 1029898 WITH SCORE 1031010.478
AT ITER 2893 NEW BEST:: SOT 8315679 SOS 1112430 HAS SOPS 1112430 HAS SOUS 1029874 HAS SOUPS 1029874 WITH SCORE 1030986.43
AT ITER 2901 NEW BEST:: SOT 8315660 SOS 1112392 HAS SOPS 1112392 HAS SOUS 1029855 HAS SOUPS 1029855 WITH SCORE 1030967.392
AT ITER 2905 NEW BEST:: SOT 8315660 SOS 1112204 HAS SOPS 1112204 HAS SOUS 1029667 HAS SOUPS 1029667 WITH SCORE 1030779.204
AT ITER 2927 NEW BEST:: SOT 8315783 SOS 1112202 HAS SOPS 1112202 HAS SOUS 1029665 HAS SOUPS 1029665 WITH SCORE 1030777.202
AT ITER 3002 NEW BEST:: SOT 8315783 SOS 1112083 HAS SOPS 1112083 HAS SOUS 1029546 HAS SOUPS 1029546 WITH SCORE 1030658.083
AT ITER 3054 NEW BEST:: SOT 8315703 SOS 1111963 HAS SOPS 1111963 HAS SOUS 1029426 HAS SOUPS 1029426 WITH SCORE 1030537.963
AT ITER 3092 NEW BEST:: SOT 8315703 SOS 1111906 HAS SOPS 1111906 HAS SOUS 1029369 HAS SOUPS 1029369 WITH SCORE 1030480.906
AT ITER 3114 NEW BEST:: SOT 8314755 SOS 1110637 HAS SOPS 1110637 HAS SOUS 1028421 HAS SOUPS 1028421 WITH SCORE 1029531.637
AT ITER 3137 NEW BEST:: SOT 8314755 SOS 1110637 HAS SOPS 1110637 HAS SOUS 1028420 HAS SOUPS 1028420 WITH SCORE 1029530.637
AT ITER 3160 NEW BEST:: SOT 8314755 SOS 1110543 HAS SOPS 1110543 HAS SOUS 1028420 HAS SOUPS 1028420 WITH SCORE 1029530.543
AT ITER 3253 NEW BEST:: SOT 8314680 SOS 1109709 HAS SOPS 1109709 HAS SOUS 1028142 HAS SOUPS 1028142 WITH SCORE 1029251.709
AT ITER 3270 NEW BEST:: SOT 8314594 SOS 1109580 HAS SOPS 1109580 HAS SOUS 1028056 HAS SOUPS 1028056 WITH SCORE 1029165.58
AT ITER 3284 NEW BEST:: SOT 8314531 SOS 1109580 HAS SOPS 1109580 HAS SOUS 1027993 HAS SOUPS 1027993 WITH SCORE 1029102.58
AT ITER 3296 NEW BEST:: SOT 8314621 SOS 1109580 HAS SOPS 1109580 HAS SOUS 1027967 HAS SOUPS 1027967 WITH SCORE 1029076.58
AT ITER 3319 NEW BEST:: SOT 8314584 SOS 1109604 HAS SOPS 1109604 HAS SOUS 1027930 HAS SOUPS 1027930 WITH SCORE 1029039.604
AT ITER 3326 NEW BEST:: SOT 8314284 SOS 1109154 HAS SOPS 1109154 HAS SOUS 1027480 HAS SOUPS 1027480 WITH SCORE 1028589.154
AT ITER 3327 NEW BEST:: SOT 8314045 SOS 1109056 HAS SOPS 1109056 HAS SOUS 1027348 HAS SOUPS 1027348 WITH SCORE 1028457.056
AT ITER 3368 NEW BEST:: SOT 8314045 SOS 1109012 HAS SOPS 1109012 HAS SOUS 1027304 HAS SOUPS 1027304 WITH SCORE 1028413.012
AT ITER 3405 NEW BEST:: SOT 8314045 SOS 1108998 HAS SOPS 1108998 HAS SOUS 1027290 HAS SOUPS 1027290 WITH SCORE 1028398.998
AT ITER 3427 NEW BEST:: SOT 8313997 SOS 1108998 HAS SOPS 1108998 HAS SOUS 1027194 HAS SOUPS 1027194 WITH SCORE 1028302.998
AT ITER 3439 NEW BEST:: SOT 8313933 SOS 1108975 HAS SOPS 1108975 HAS SOUS 1027194 HAS SOUPS 1027194 WITH SCORE 1028302.975
AT ITER 3454 NEW BEST:: SOT 8304653 SOS 1099909 HAS SOPS 1099909 HAS SOUS 1018128 HAS SOUPS 1018128 WITH SCORE 1019227.909
AT ITER 3455 NEW BEST:: SOT 8304653 SOS 1099751 HAS SOPS 1099751 HAS SOUS 1017970 HAS SOUPS 1017970 WITH SCORE 1019069.751
AT ITER 3501 NEW BEST:: SOT 8304743 SOS 1099489 HAS SOPS 1099489 HAS SOUS 1017850 HAS SOUPS 1017850 WITH SCORE 1018949.489
AT ITER 3542 NEW BEST:: SOT 8304743 SOS 1099244 HAS SOPS 1099244 HAS SOUS 1017605 HAS SOUPS 1017605 WITH SCORE 1018704.244
AT ITER 3579 NEW BEST:: SOT 8304734 SOS 1099244 HAS SOPS 1099244 HAS SOUS 1017596 HAS SOUPS 1017596 WITH SCORE 1018695.244
AT ITER 3605 NEW BEST:: SOT 8304639 SOS 1099222 HAS SOPS 1099222 HAS SOUS 1017501 HAS SOUPS 1017501 WITH SCORE 1018600.222
AT ITER 3607 NEW BEST:: SOT 8304629 SOS 1099211 HAS SOPS 1099211 HAS SOUS 1017490 HAS SOUPS 1017490 WITH SCORE 1018589.211
AT ITER 3616 NEW BEST:: SOT 8304329 SOS 1098911 HAS SOPS 1098911 HAS SOUS 1017190 HAS SOUPS 1017190 WITH SCORE 1018288.911
AT ITER 3629 NEW BEST:: SOT 8304329 SOS 1098911 HAS SOPS 1098911 HAS SOUS 1017189 HAS SOUPS 1017189 WITH SCORE 1018287.911
AT ITER 3655 NEW BEST:: SOT 8304329 SOS 1098747 HAS SOPS 1098747 HAS SOUS 1017025 HAS SOUPS 1017025 WITH SCORE 1018123.747
AT ITER 3708 NEW BEST:: SOT 8304329 SOS 1098747 HAS SOPS 1098747 HAS SOUS 1016686 HAS SOUPS 1016686 WITH SCORE 1017784.747
AT ITER 3722 NEW BEST:: SOT 8304279 SOS 1098647 HAS SOPS 1098647 HAS SOUS 1016285 HAS SOUPS 1016285 WITH SCORE 1017383.647
AT ITER 3754 NEW BEST:: SOT 8304204 SOS 1098663 HAS SOPS 1098663 HAS SOUS 1016232 HAS SOUPS 1016232 WITH SCORE 1017330.663
AT ITER 3762 NEW BEST:: SOT 8304035 SOS 1098845 HAS SOPS 1098845 HAS SOUS 1016138 HAS SOUPS 1016138 WITH SCORE 1017236.845
AT ITER 3840 NEW BEST:: SOT 8303785 SOS 1098595 HAS SOPS 1098595 HAS SOUS 1015888 HAS SOUPS 1015888 WITH SCORE 1016986.595
AT ITER 3858 NEW BEST:: SOT 8303747 SOS 1098450 HAS SOPS 1098450 HAS SOUS 1015743 HAS SOUPS 1015743 WITH SCORE 1016841.45
AT ITER 3875 NEW BEST:: SOT 8303747 SOS 1098309 HAS SOPS 1098309 HAS SOUS 1015602 HAS SOUPS 1015602 WITH SCORE 1016700.309
AT ITER 3879 NEW BEST:: SOT 8303706 SOS 1098300 HAS SOPS 1098300 HAS SOUS 1015602 HAS SOUPS 1015602 WITH SCORE 1016700.3
AT ITER 3930 NEW BEST:: SOT 8303837 SOS 1098299 HAS SOPS 1098299 HAS SOUS 1015601 HAS SOUPS 1015601 WITH SCORE 1016699.299
AT ITER 3937 NEW BEST:: SOT 8303802 SOS 1098229 HAS SOPS 1098229 HAS SOUS 1015531 HAS SOUPS 1015531 WITH SCORE 1016629.229
AT ITER 3949 NEW BEST:: SOT 8303782 SOS 1098619 HAS SOPS 1098619 HAS SOUS 1015511 HAS SOUPS 1015511 WITH SCORE 1016609.619
AT ITER 4015 NEW BEST:: SOT 8303781 SOS 1098618 HAS SOPS 1098618 HAS SOUS 1015510 HAS SOUPS 1015510 WITH SCORE 1016608.618
AT ITER 4036 NEW BEST:: SOT 8303680 SOS 1098517 HAS SOPS 1098517 HAS SOUS 1015409 HAS SOUPS 1015409 WITH SCORE 1016507.517
AT ITER 4069 NEW BEST:: SOT 8303680 SOS 1098467 HAS SOPS 1098467 HAS SOUS 1015359 HAS SOUPS 1015359 WITH SCORE 1016457.467
AT ITER 4130 NEW BEST:: SOT 8303680 SOS 1098375 HAS SOPS 1098375 HAS SOUS 1015267 HAS SOUPS 1015267 WITH SCORE 1016365.375
AT ITER 4167 NEW BEST:: SOT 8303680 SOS 1098368 HAS SOPS 1098368 HAS SOUS 1015260 HAS SOUPS 1015260 WITH SCORE 1016358.368
AT ITER 4195 NEW BEST:: SOT 8303483 SOS 1098136 HAS SOPS 1098136 HAS SOUS 1015063 HAS SOUPS 1015063 WITH SCORE 1016161.136
AT ITER 4224 NEW BEST:: SOT 8303483 SOS 1098049 HAS SOPS 1098049 HAS SOUS 1015063 HAS SOUPS 1015063 WITH SCORE 1016161.049
AT ITER 4243 NEW BEST:: SOT 8303378 SOS 1097839 HAS SOPS 1097839 HAS SOUS 1014616 HAS SOUPS 1014616 WITH SCORE 1015713.839
AT ITER 4244 NEW BEST:: SOT 8303378 SOS 1097839 HAS SOPS 1097839 HAS SOUS 1014422 HAS SOUPS 1014422 WITH SCORE 1015519.839
AT ITER 4253 NEW BEST:: SOT 8303147 SOS 1097717 HAS SOPS 1097717 HAS SOUS 1014300 HAS SOUPS 1014300 WITH SCORE 1015397.717
AT ITER 4277 NEW BEST:: SOT 8303066 SOS 1098445 HAS SOPS 1098445 HAS SOUS 1014001 HAS SOUPS 1014001 WITH SCORE 1015099.445
AT ITER 4291 NEW BEST:: SOT 8303102 SOS 1098231 HAS SOPS 1098231 HAS SOUS 1013782 HAS SOUPS 1013782 WITH SCORE 1014880.231
AT ITER 4295 NEW BEST:: SOT 8303102 SOS 1098106 HAS SOPS 1098106 HAS SOUS 1013657 HAS SOUPS 1013657 WITH SCORE 1014755.106
AT ITER 4305 NEW BEST:: SOT 8302855 SOS 1097612 HAS SOPS 1097612 HAS SOUS 1013163 HAS SOUPS 1013163 WITH SCORE 1014260.612
AT ITER 4307 NEW BEST:: SOT 8302704 SOS 1097568 HAS SOPS 1097568 HAS SOUS 1013119 HAS SOUPS 1013119 WITH SCORE 1014216.568
AT ITER 4319 NEW BEST:: SOT 8302663 SOS 1097486 HAS SOPS 1097486 HAS SOUS 1013037 HAS SOUPS 1013037 WITH SCORE 1014134.486
AT ITER 4335 NEW BEST:: SOT 8302399 SOS 1096958 HAS SOPS 1096958 HAS SOUS 1012772 HAS SOUPS 1012772 WITH SCORE 1013868.958
AT ITER 4375 NEW BEST:: SOT 8302690 SOS 1097225 HAS SOPS 1097225 HAS SOUS 1012723 HAS SOUPS 1012723 WITH SCORE 1013820.225
AT ITER 4391 NEW BEST:: SOT 8302610 SOS 1097145 HAS SOPS 1097145 HAS SOUS 1012643 HAS SOUPS 1012643 WITH SCORE 1013740.145
AT ITER 4396 NEW BEST:: SOT 8302610 SOS 1097145 HAS SOPS 1097145 HAS SOUS 1012593 HAS SOUPS 1012593 WITH SCORE 1013690.145
AT ITER 4440 NEW BEST:: SOT 8302646 SOS 1096923 HAS SOPS 1096923 HAS SOUS 1012399 HAS SOUPS 1012399 WITH SCORE 1013495.923
AT ITER 4446 NEW BEST:: SOT 8302383 SOS 1096397 HAS SOPS 1096397 HAS SOUS 1012094 HAS SOUPS 1012094 WITH SCORE 1013190.397
AT ITER 4458 NEW BEST:: SOT 8302370 SOS 1096787 HAS SOPS 1096787 HAS SOUS 1012081 HAS SOUPS 1012081 WITH SCORE 1013177.787
AT ITER 4464 NEW BEST:: SOT 8302841 SOS 1096786 HAS SOPS 1096786 HAS SOUS 1012080 HAS SOUPS 1012080 WITH SCORE 1013176.786
AT ITER 4472 NEW BEST:: SOT 8302827 SOS 1096758 HAS SOPS 1096758 HAS SOUS 1012052 HAS SOUPS 1012052 WITH SCORE 1013148.758
AT ITER 4495 NEW BEST:: SOT 8302827 SOS 1096601 HAS SOPS 1096601 HAS SOUS 1011895 HAS SOUPS 1011895 WITH SCORE 1012991.601
AT ITER 4547 NEW BEST:: SOT 8302827 SOS 1096542 HAS SOPS 1096542 HAS SOUS 1011895 HAS SOUPS 1011895 WITH SCORE 1012991.542
AT ITER 4580 NEW BEST:: SOT 8302827 SOS 1096676 HAS SOPS 1096676 HAS SOUS 1011761 HAS SOUPS 1011761 WITH SCORE 1012857.676
AT ITER 4589 NEW BEST:: SOT 8302279 SOS 1096083 HAS SOPS 1096083 HAS SOUS 1011168 HAS SOUPS 1011168 WITH SCORE 1012264.083
AT ITER 4603 NEW BEST:: SOT 8302279 SOS 1096083 HAS SOPS 1096083 HAS SOUS 1011130 HAS SOUPS 1011130 WITH SCORE 1012226.083
AT ITER 4626 NEW BEST:: SOT 8301738 SOS 1095609 HAS SOPS 1095609 HAS SOUS 1010589 HAS SOUPS 1010589 WITH SCORE 1011684.609
AT ITER 4634 NEW BEST:: SOT 8301468 SOS 1095339 HAS SOPS 1095339 HAS SOUS 1010319 HAS SOUPS 1010319 WITH SCORE 1011414.339
AT ITER 4638 NEW BEST:: SOT 8301257 SOS 1095203 HAS SOPS 1095203 HAS SOUS 1010187 HAS SOUPS 1010187 WITH SCORE 1011282.203
AT ITER 4693 NEW BEST:: SOT 8301322 SOS 1095333 HAS SOPS 1095333 HAS SOUS 1009816 HAS SOUPS 1009816 WITH SCORE 1010911.333
AT ITER 4780 NEW BEST:: SOT 8301030 SOS 1095092 HAS SOPS 1095092 HAS SOUS 1009524 HAS SOUPS 1009524 WITH SCORE 1010619.092
AT ITER 4790 NEW BEST:: SOT 8300867 SOS 1095248 HAS SOPS 1095248 HAS SOUS 1009361 HAS SOUPS 1009361 WITH SCORE 1010456.248
AT ITER 4804 NEW BEST:: SOT 8300867 SOS 1095106 HAS SOPS 1095106 HAS SOUS 1009219 HAS SOUPS 1009219 WITH SCORE 1010314.106
AT ITER 4818 NEW BEST:: SOT 8300642 SOS 1094812 HAS SOPS 1094812 HAS SOUS 1008994 HAS SOUPS 1008994 WITH SCORE 1010088.812
AT ITER 4857 NEW BEST:: SOT 8300485 SOS 1094811 HAS SOPS 1094811 HAS SOUS 1008993 HAS SOUPS 1008993 WITH SCORE 1010087.811
AT ITER 4874 NEW BEST:: SOT 8300485 SOS 1094752 HAS SOPS 1094752 HAS SOUS 1008934 HAS SOUPS 1008934 WITH SCORE 1010028.752
AT ITER 4911 NEW BEST:: SOT 8300490 SOS 1094762 HAS SOPS 1094762 HAS SOUS 1008821 HAS SOUPS 1008821 WITH SCORE 1009915.762
AT ITER 4964 NEW BEST:: SOT 8300462 SOS 1094521 HAS SOPS 1094521 HAS SOUS 1008697 HAS SOUPS 1008697 WITH SCORE 1009791.521
AT ITER 5002 NEW BEST:: SOT 8300295 SOS 1094187 HAS SOPS 1094187 HAS SOUS 1008348 HAS SOUPS 1008348 WITH SCORE 1009442.187
AT ITER 5079 NEW BEST:: SOT 8299775 SOS 1094620 HAS SOPS 1094620 HAS SOUS 1008339 HAS SOUPS 1008339 WITH SCORE 1009433.62
AT ITER 5184 NEW BEST:: SOT 8299775 SOS 1094176 HAS SOPS 1094176 HAS SOUS 1007895 HAS SOUPS 1007895 WITH SCORE 1008989.176
AT ITER 5218 NEW BEST:: SOT 8299680 SOS 1093982 HAS SOPS 1093982 HAS SOUS 1007800 HAS SOUPS 1007800 WITH SCORE 1008893.982
AT ITER 5233 NEW BEST:: SOT 8299542 SOS 1093844 HAS SOPS 1093844 HAS SOUS 1007662 HAS SOUPS 1007662 WITH SCORE 1008755.844
AT ITER 5260 NEW BEST:: SOT 8299433 SOS 1093626 HAS SOPS 1093626 HAS SOUS 1007444 HAS SOUPS 1007444 WITH SCORE 1008537.626
AT ITER 5271 NEW BEST:: SOT 8299191 SOS 1093384 HAS SOPS 1093384 HAS SOUS 1007202 HAS SOUPS 1007202 WITH SCORE 1008295.384
AT ITER 5277 NEW BEST:: SOT 8299191 SOS 1093384 HAS SOPS 1093384 HAS SOUS 1006984 HAS SOUPS 1006984 WITH SCORE 1008077.384
AT ITER 5293 NEW BEST:: SOT 8299132 SOS 1093243 HAS SOPS 1093243 HAS SOUS 1006843 HAS SOUPS 1006843 WITH SCORE 1007936.243
AT ITER 5309 NEW BEST:: SOT 8298693 SOS 1092804 HAS SOPS 1092804 HAS SOUS 1005965 HAS SOUPS 1005965 WITH SCORE 1007057.804
AT ITER 5314 NEW BEST:: SOT 8298656 SOS 1092695 HAS SOPS 1092695 HAS SOUS 1005928 HAS SOUPS 1005928 WITH SCORE 1007020.695
AT ITER 5329 NEW BEST:: SOT 8298549 SOS 1092481 HAS SOPS 1092481 HAS SOUS 1005714 HAS SOUPS 1005714 WITH SCORE 1006806.481
AT ITER 5375 NEW BEST:: SOT 8298511 SOS 1092405 HAS SOPS 1092405 HAS SOUS 1005638 HAS SOUPS 1005638 WITH SCORE 1006730.405
AT ITER 5377 NEW BEST:: SOT 8298293 SOS 1091969 HAS SOPS 1091969 HAS SOUS 1005420 HAS SOUPS 1005420 WITH SCORE 1006511.969
AT ITER 5431 NEW BEST:: SOT 8298293 SOS 1091951 HAS SOPS 1091951 HAS SOUS 1005402 HAS SOUPS 1005402 WITH SCORE 1006493.951
AT ITER 5453 NEW BEST:: SOT 8298293 SOS 1091951 HAS SOPS 1091951 HAS SOUS 1005399 HAS SOUPS 1005399 WITH SCORE 1006490.951
AT ITER 5456 NEW BEST:: SOT 8298259 SOS 1091849 HAS SOPS 1091849 HAS SOUS 1005365 HAS SOUPS 1005365 WITH SCORE 1006456.849
AT ITER 5518 NEW BEST:: SOT 8298224 SOS 1091814 HAS SOPS 1091814 HAS SOUS 1005330 HAS SOUPS 1005330 WITH SCORE 1006421.814
AT ITER 5564 NEW BEST:: SOT 8298224 SOS 1091712 HAS SOPS 1091712 HAS SOUS 1005228 HAS SOUPS 1005228 WITH SCORE 1006319.712
AT ITER 5601 NEW BEST:: SOT 8298043 SOS 1091572 HAS SOPS 1091572 HAS SOUS 1005099 HAS SOUPS 1005099 WITH SCORE 1006190.572
AT ITER 5603 NEW BEST:: SOT 8298043 SOS 1091506 HAS SOPS 1091506 HAS SOUS 1005033 HAS SOUPS 1005033 WITH SCORE 1006124.506
AT ITER 5757 NEW BEST:: SOT 8298043 SOS 1091506 HAS SOPS 1091506 HAS SOUS 1004812 HAS SOUPS 1004812 WITH SCORE 1005903.506
AT ITER 5796 NEW BEST:: SOT 8297992 SOS 1091438 HAS SOPS 1091438 HAS SOUS 1004744 HAS SOUPS 1004744 WITH SCORE 1005835.438
AT ITER 5801 NEW BEST:: SOT 8297975 SOS 1091370 HAS SOPS 1091370 HAS SOUS 1004710 HAS SOUPS 1004710 WITH SCORE 1005801.37
AT ITER 5837 NEW BEST:: SOT 8297975 SOS 1091254 HAS SOPS 1091254 HAS SOUS 1004594 HAS SOUPS 1004594 WITH SCORE 1005685.254
AT ITER 5843 NEW BEST:: SOT 8297975 SOS 1091254 HAS SOPS 1091254 HAS SOUS 1004480 HAS SOUPS 1004480 WITH SCORE 1005571.254
AT ITER 5857 NEW BEST:: SOT 8297661 SOS 1090902 HAS SOPS 1090902 HAS SOUS 1003890 HAS SOUPS 1003890 WITH SCORE 1004980.902
AT ITER 5912 NEW BEST:: SOT 8297661 SOS 1090900 HAS SOPS 1090900 HAS SOUS 1003888 HAS SOUPS 1003888 WITH SCORE 1004978.9
AT ITER 5940 NEW BEST:: SOT 8297296 SOS 1090170 HAS SOPS 1090170 HAS SOUS 1003158 HAS SOUPS 1003158 WITH SCORE 1004248.17
AT ITER 5958 NEW BEST:: SOT 8297296 SOS 1090110 HAS SOPS 1090110 HAS SOUS 1003158 HAS SOUPS 1003158 WITH SCORE 1004248.11
AT ITER 5988 NEW BEST:: SOT 8297018 SOS 1089386 HAS SOPS 1089386 HAS SOUS 1003120 HAS SOUPS 1003120 WITH SCORE 1004209.386
AT ITER 6012 NEW BEST:: SOT 8297018 SOS 1089372 HAS SOPS 1089372 HAS SOUS 1003106 HAS SOUPS 1003106 WITH SCORE 1004195.372
AT ITER 6030 NEW BEST:: SOT 8297155 SOS 1089271 HAS SOPS 1089271 HAS SOUS 1003005 HAS SOUPS 1003005 WITH SCORE 1004094.271
AT ITER 6094 NEW BEST:: SOT 8297154 SOS 1089145 HAS SOPS 1089145 HAS SOUS 1002879 HAS SOUPS 1002879 WITH SCORE 1003968.145
AT ITER 6095 NEW BEST:: SOT 8297154 SOS 1089145 HAS SOPS 1089145 HAS SOUS 1002729 HAS SOUPS 1002729 WITH SCORE 1003818.145
AT ITER 6117 NEW BEST:: SOT 8297146 SOS 1088957 HAS SOPS 1088957 HAS SOUS 1002639 HAS SOUPS 1002639 WITH SCORE 1003727.957
AT ITER 6165 NEW BEST:: SOT 8296736 SOS 1088137 HAS SOPS 1088137 HAS SOUS 1001819 HAS SOUPS 1001819 WITH SCORE 1002907.137
AT ITER 6226 NEW BEST:: SOT 8296606 SOS 1087812 HAS SOPS 1087812 HAS SOUS 1001624 HAS SOUPS 1001624 WITH SCORE 1002711.812
AT ITER 6227 NEW BEST:: SOT 8296605 SOS 1087811 HAS SOPS 1087811 HAS SOUS 1001623 HAS SOUPS 1001623 WITH SCORE 1002710.811
AT ITER 6238 NEW BEST:: SOT 8296605 SOS 1087810 HAS SOPS 1087810 HAS SOUS 1001622 HAS SOUPS 1001622 WITH SCORE 1002709.81
AT ITER 6244 NEW BEST:: SOT 8296605 SOS 1087766 HAS SOPS 1087766 HAS SOUS 1001578 HAS SOUPS 1001578 WITH SCORE 1002665.766
AT ITER 6311 NEW BEST:: SOT 8296437 SOS 1087682 HAS SOPS 1087682 HAS SOUS 1001494 HAS SOUPS 1001494 WITH SCORE 1002581.682
AT ITER 6313 NEW BEST:: SOT 8296266 SOS 1087526 HAS SOPS 1087526 HAS SOUS 1001323 HAS SOUPS 1001323 WITH SCORE 1002410.526
AT ITER 6314 NEW BEST:: SOT 8296133 SOS 1087378 HAS SOPS 1087378 HAS SOUS 1001190 HAS SOUPS 1001190 WITH SCORE 1002277.378
AT ITER 6349 NEW BEST:: SOT 8296133 SOS 1087028 HAS SOPS 1087028 HAS SOUS 1000840 HAS SOUPS 1000840 WITH SCORE 1001927.028
AT ITER 6396 NEW BEST:: SOT 8296133 SOS 1086870 HAS SOPS 1086870 HAS SOUS 1000682 HAS SOUPS 1000682 WITH SCORE 1001768.87
AT ITER 6398 NEW BEST:: SOT 8295936 SOS 1086664 HAS SOPS 1086664 HAS SOUS 1000485 HAS SOUPS 1000485 WITH SCORE 1001571.664
AT ITER 6433 NEW BEST:: SOT 8295936 SOS 1086493 HAS SOPS 1086493 HAS SOUS 1000485 HAS SOUPS 1000485 WITH SCORE 1001571.493
AT ITER 6467 NEW BEST:: SOT 8295506 SOS 1085980 HAS SOPS 1085980 HAS SOUS 1000141 HAS SOUPS 1000141 WITH SCORE 1001226.98
AT ITER 6477 NEW BEST:: SOT 8295461 SOS 1085845 HAS SOPS 1085845 HAS SOUS 1000096 HAS SOUPS 1000096 WITH SCORE 1001181.845
AT ITER 6490 NEW BEST:: SOT 8295381 SOS 1085765 HAS SOPS 1085765 HAS SOUS 999936 HAS SOUPS 999936 WITH SCORE 1001021.765
AT ITER 6569 NEW BEST:: SOT 8295352 SOS 1085758 HAS SOPS 1085758 HAS SOUS 999929 HAS SOUPS 999929 WITH SCORE 1001014.758
AT ITER 6581 NEW BEST:: SOT 8295352 SOS 1085614 HAS SOPS 1085614 HAS SOUS 999785 HAS SOUPS 999785 WITH SCORE 1000870.614
AT ITER 6602 NEW BEST:: SOT 8295596 SOS 1086102 HAS SOPS 1086102 HAS SOUS 999495 HAS SOUPS 999495 WITH SCORE 1000581.102
AT ITER 6658 NEW BEST:: SOT 8295596 SOS 1086029 HAS SOPS 1086029 HAS SOUS 999422 HAS SOUPS 999422 WITH SCORE 1000508.029
AT ITER 6665 NEW BEST:: SOT 8295596 SOS 1085973 HAS SOPS 1085973 HAS SOUS 999422 HAS SOUPS 999422 WITH SCORE 1000507.973
AT ITER 6672 NEW BEST:: SOT 8295500 SOS 1086153 HAS SOPS 1086153 HAS SOUS 999398 HAS SOUPS 999398 WITH SCORE 1000484.153
AT ITER 6712 NEW BEST:: SOT 8295500 SOS 1086114 HAS SOPS 1086114 HAS SOUS 999359 HAS SOUPS 999359 WITH SCORE 1000445.114
AT ITER 6745 NEW BEST:: SOT 8295476 SOS 1086217 HAS SOPS 1086217 HAS SOUS 999311 HAS SOUPS 999311 WITH SCORE 1000397.217
AT ITER 6758 NEW BEST:: SOT 8295476 SOS 1086595 HAS SOPS 1086595 HAS SOUS 999122 HAS SOUPS 999122 WITH SCORE 1000208.595
AT ITER 6760 NEW BEST:: SOT 8295475 SOS 1086587 HAS SOPS 1086587 HAS SOUS 999114 HAS SOUPS 999114 WITH SCORE 1000200.587
AT ITER 6769 NEW BEST:: SOT 8295395 SOS 1086507 HAS SOPS 1086507 HAS SOUS 999033 HAS SOUPS 999033 WITH SCORE 1000119.507
AT ITER 6830 NEW BEST:: SOT 8295395 SOS 1086525 HAS SOPS 1086525 HAS SOUS 999024 HAS SOUPS 999024 WITH SCORE 1000110.525
AT ITER 6896 NEW BEST:: SOT 8295395 SOS 1086352 HAS SOPS 1086352 HAS SOUS 998851 HAS SOUPS 998851 WITH SCORE 999937.352
AT ITER 6930 NEW BEST:: SOT 8295314 SOS 1086271 HAS SOPS 1086271 HAS SOUS 998770 HAS SOUPS 998770 WITH SCORE 999856.271
AT ITER 7060 NEW BEST:: SOT 8295314 SOS 1086015 HAS SOPS 1086015 HAS SOUS 998732 HAS SOUPS 998732 WITH SCORE 999818.015
AT ITER 7094 NEW BEST:: SOT 8295271 SOS 1085929 HAS SOPS 1085929 HAS SOUS 998646 HAS SOUPS 998646 WITH SCORE 999731.929
AT ITER 7180 NEW BEST:: SOT 8295141 SOS 1085512 HAS SOPS 1085512 HAS SOUS 998229 HAS SOUPS 998229 WITH SCORE 999314.512
AT ITER 7190 NEW BEST:: SOT 8295141 SOS 1085401 HAS SOPS 1085401 HAS SOUS 998118 HAS SOUPS 998118 WITH SCORE 999203.401
AT ITER 7211 NEW BEST:: SOT 8295086 SOS 1085236 HAS SOPS 1085236 HAS SOUS 998008 HAS SOUPS 998008 WITH SCORE 999093.236
AT ITER 7252 NEW BEST:: SOT 8295086 SOS 1084366 HAS SOPS 1084366 HAS SOUS 998007 HAS SOUPS 998007 WITH SCORE 999091.366
AT ITER 7285 NEW BEST:: SOT 8295084 SOS 1084364 HAS SOPS 1084364 HAS SOUS 998007 HAS SOUPS 998007 WITH SCORE 999091.364
AT ITER 7340 NEW BEST:: SOT 8293487 SOS 1095282 HAS SOPS 1095282 HAS SOUS 996858 HAS SOUPS 996858 WITH SCORE 997953.282
AT ITER 7352 NEW BEST:: SOT 8293437 SOS 1095101 HAS SOPS 1095101 HAS SOUS 996677 HAS SOUPS 996677 WITH SCORE 997772.101
AT ITER 7353 NEW BEST:: SOT 8293235 SOS 1094895 HAS SOPS 1094895 HAS SOUS 996587 HAS SOUPS 996587 WITH SCORE 997681.895
AT ITER 7355 NEW BEST:: SOT 8293217 SOS 1094859 HAS SOPS 1094859 HAS SOUS 996569 HAS SOUPS 996569 WITH SCORE 997663.859
AT ITER 7381 NEW BEST:: SOT 8292669 SOS 1094311 HAS SOPS 1094311 HAS SOUS 996021 HAS SOUPS 996021 WITH SCORE 997115.311
AT ITER 7514 NEW BEST:: SOT 8292583 SOS 1094183 HAS SOPS 1094183 HAS SOUS 995807 HAS SOUPS 995807 WITH SCORE 996901.183
AT ITER 7530 NEW BEST:: SOT 8292583 SOS 1094179 HAS SOPS 1094179 HAS SOUS 995803 HAS SOUPS 995803 WITH SCORE 996897.179
AT ITER 7541 NEW BEST:: SOT 8292543 SOS 1095321 HAS SOPS 1095321 HAS SOUS 995443 HAS SOUPS 995443 WITH SCORE 996538.321
AT ITER 7544 NEW BEST:: SOT 8291108 SOS 1092278 HAS SOPS 1092278 HAS SOUS 994763 HAS SOUPS 994763 WITH SCORE 995855.278
AT ITER 7558 NEW BEST:: SOT 8290950 SOS 1091962 HAS SOPS 1091962 HAS SOUS 994164 HAS SOUPS 994164 WITH SCORE 995255.962
AT ITER 7574 NEW BEST:: SOT 8290950 SOS 1091839 HAS SOPS 1091839 HAS SOUS 994041 HAS SOUPS 994041 WITH SCORE 995132.839
AT ITER 7599 NEW BEST:: SOT 8290893 SOS 1091725 HAS SOPS 1091725 HAS SOUS 993927 HAS SOUPS 993927 WITH SCORE 995018.725
AT ITER 7602 NEW BEST:: SOT 8290883 SOS 1091180 HAS SOPS 1091180 HAS SOUS 993516 HAS SOUPS 993516 WITH SCORE 994607.18
AT ITER 7635 NEW BEST:: SOT 8290937 SOS 1090372 HAS SOPS 1090372 HAS SOUS 993264 HAS SOUPS 993264 WITH SCORE 994354.372
AT ITER 7645 NEW BEST:: SOT 8290858 SOS 1090214 HAS SOPS 1090214 HAS SOUS 993102 HAS SOUPS 993102 WITH SCORE 994192.214
AT ITER 7717 NEW BEST:: SOT 8290858 SOS 1090214 HAS SOPS 1090214 HAS SOUS 993101 HAS SOUPS 993101 WITH SCORE 994191.214
AT ITER 7734 NEW BEST:: SOT 8290631 SOS 1089829 HAS SOPS 1089829 HAS SOUS 992943 HAS SOUPS 992943 WITH SCORE 994032.829
AT ITER 7744 NEW BEST:: SOT 8290329 SOS 1089225 HAS SOPS 1089225 HAS SOUS 992641 HAS SOUPS 992641 WITH SCORE 993730.225
AT ITER 7750 NEW BEST:: SOT 8290329 SOS 1088935 HAS SOPS 1088935 HAS SOUS 992641 HAS SOUPS 992641 WITH SCORE 993729.935
AT ITER 7753 NEW BEST:: SOT 8290329 SOS 1088853 HAS SOPS 1088853 HAS SOUS 992559 HAS SOUPS 992559 WITH SCORE 993647.853
AT ITER 7760 NEW BEST:: SOT 8290180 SOS 1088555 HAS SOPS 1088555 HAS SOUS 992261 HAS SOUPS 992261 WITH SCORE 993349.555
AT ITER 7793 NEW BEST:: SOT 8290078 SOS 1088351 HAS SOPS 1088351 HAS SOUS 991950 HAS SOUPS 991950 WITH SCORE 993038.351
AT ITER 7849 NEW BEST:: SOT 8290078 SOS 1088310 HAS SOPS 1088310 HAS SOUS 991909 HAS SOUPS 991909 WITH SCORE 992997.31
AT ITER 7851 NEW BEST:: SOT 8290078 SOS 1088195 HAS SOPS 1088195 HAS SOUS 991794 HAS SOUPS 991794 WITH SCORE 992882.195
AT ITER 7859 NEW BEST:: SOT 8289980 SOS 1088350 HAS SOPS 1088350 HAS SOUS 991696 HAS SOUPS 991696 WITH SCORE 992784.35
AT ITER 7874 NEW BEST:: SOT 8289935 SOS 1088305 HAS SOPS 1088305 HAS SOUS 991651 HAS SOUPS 991651 WITH SCORE 992739.305
AT ITER 7893 NEW BEST:: SOT 8289704 SOS 1087941 HAS SOPS 1087941 HAS SOUS 991365 HAS SOUPS 991365 WITH SCORE 992452.941
AT ITER 7899 NEW BEST:: SOT 8289693 SOS 1088271 HAS SOPS 1088271 HAS SOUS 991266 HAS SOUPS 991266 WITH SCORE 992354.271
AT ITER 7932 NEW BEST:: SOT 8289535 SOS 1088119 HAS SOPS 1088119 HAS SOUS 991108 HAS SOUPS 991108 WITH SCORE 992196.119
AT ITER 7952 NEW BEST:: SOT 8289508 SOS 1088118 HAS SOPS 1088118 HAS SOUS 991107 HAS SOUPS 991107 WITH SCORE 992195.118
AT ITER 7960 NEW BEST:: SOT 8289418 SOS 1087938 HAS SOPS 1087938 HAS SOUS 990927 HAS SOUPS 990927 WITH SCORE 992014.938
AT ITER 7971 NEW BEST:: SOT 8289375 SOS 1087895 HAS SOPS 1087895 HAS SOUS 990884 HAS SOUPS 990884 WITH SCORE 991971.895
AT ITER 7984 NEW BEST:: SOT 8289375 SOS 1087601 HAS SOPS 1087601 HAS SOUS 990884 HAS SOUPS 990884 WITH SCORE 991971.601
AT ITER 7993 NEW BEST:: SOT 8289433 SOS 1087395 HAS SOPS 1087395 HAS SOUS 990839 HAS SOUPS 990839 WITH SCORE 991926.395
AT ITER 7994 NEW BEST:: SOT 8289433 SOS 1087395 HAS SOPS 1087395 HAS SOUS 990805 HAS SOUPS 990805 WITH SCORE 991892.395
AT ITER 8029 NEW BEST:: SOT 8289277 SOS 1087341 HAS SOPS 1087341 HAS SOUS 990682 HAS SOUPS 990682 WITH SCORE 991769.341
AT ITER 8055 NEW BEST:: SOT 8289276 SOS 1087339 HAS SOPS 1087339 HAS SOUS 990680 HAS SOUPS 990680 WITH SCORE 991767.339
AT ITER 8095 NEW BEST:: SOT 8289203 SOS 1087193 HAS SOPS 1087193 HAS SOUS 990604 HAS SOUPS 990604 WITH SCORE 991691.193
AT ITER 8121 NEW BEST:: SOT 8289203 SOS 1087036 HAS SOPS 1087036 HAS SOUS 990447 HAS SOUPS 990447 WITH SCORE 991534.036
AT ITER 8125 NEW BEST:: SOT 8289069 SOS 1086902 HAS SOPS 1086902 HAS SOUS 990313 HAS SOUPS 990313 WITH SCORE 991399.902
AT ITER 8164 NEW BEST:: SOT 8288856 SOS 1086476 HAS SOPS 1086476 HAS SOUS 990100 HAS SOUPS 990100 WITH SCORE 991186.476
AT ITER 8174 NEW BEST:: SOT 8288843 SOS 1086450 HAS SOPS 1086450 HAS SOUS 989982 HAS SOUPS 989982 WITH SCORE 991068.45
AT ITER 8184 NEW BEST:: SOT 8288639 SOS 1086321 HAS SOPS 1086321 HAS SOUS 989778 HAS SOUPS 989778 WITH SCORE 990864.321
AT ITER 8243 NEW BEST:: SOT 8288590 SOS 1086223 HAS SOPS 1086223 HAS SOUS 989729 HAS SOUPS 989729 WITH SCORE 990815.223
AT ITER 8295 NEW BEST:: SOT 8288483 SOS 1086009 HAS SOPS 1086009 HAS SOUS 989299 HAS SOUPS 989299 WITH SCORE 990385.009
AT ITER 8303 NEW BEST:: SOT 8288439 SOS 1085920 HAS SOPS 1085920 HAS SOUS 989190 HAS SOUPS 989190 WITH SCORE 990275.92
AT ITER 8317 NEW BEST:: SOT 8288383 SOS 1085919 HAS SOPS 1085919 HAS SOUS 989189 HAS SOUPS 989189 WITH SCORE 990274.919
AT ITER 8333 NEW BEST:: SOT 8287992 SOS 1085437 HAS SOPS 1085437 HAS SOUS 988707 HAS SOUPS 988707 WITH SCORE 989792.437
AT ITER 8338 NEW BEST:: SOT 8288022 SOS 1086155 HAS SOPS 1086155 HAS SOUS 988513 HAS SOUPS 988513 WITH SCORE 989599.155
AT ITER 8349 NEW BEST:: SOT 8288022 SOS 1086114 HAS SOPS 1086114 HAS SOUS 988472 HAS SOUPS 988472 WITH SCORE 989558.114
AT ITER 8377 NEW BEST:: SOT 8288005 SOS 1086047 HAS SOPS 1086047 HAS SOUS 988438 HAS SOUPS 988438 WITH SCORE 989524.047
AT ITER 8384 NEW BEST:: SOT 8288005 SOS 1086008 HAS SOPS 1086008 HAS SOUS 988399 HAS SOUPS 988399 WITH SCORE 989485.008
AT ITER 8393 NEW BEST:: SOT 8288005 SOS 1085947 HAS SOPS 1085947 HAS SOUS 988338 HAS SOUPS 988338 WITH SCORE 989423.947
AT ITER 8401 NEW BEST:: SOT 8287972 SOS 1085881 HAS SOPS 1085881 HAS SOUS 988305 HAS SOUPS 988305 WITH SCORE 989390.881
AT ITER 8415 NEW BEST:: SOT 8287760 SOS 1085775 HAS SOPS 1085775 HAS SOUS 988093 HAS SOUPS 988093 WITH SCORE 989178.775
AT ITER 8495 NEW BEST:: SOT 8287852 SOS 1085959 HAS SOPS 1085959 HAS SOUS 987950 HAS SOUPS 987950 WITH SCORE 989035.959
AT ITER 8527 NEW BEST:: SOT 8287783 SOS 1085821 HAS SOPS 1085821 HAS SOUS 987881 HAS SOUPS 987881 WITH SCORE 988966.821
AT ITER 8540 NEW BEST:: SOT 8287496 SOS 1085509 HAS SOPS 1085509 HAS SOUS 987569 HAS SOUPS 987569 WITH SCORE 988654.509
AT ITER 8576 NEW BEST:: SOT 8287377 SOS 1085389 HAS SOPS 1085389 HAS SOUS 987449 HAS SOUPS 987449 WITH SCORE 988534.389
AT ITER 8630 NEW BEST:: SOT 8287199 SOS 1085033 HAS SOPS 1085033 HAS SOUS 987093 HAS SOUPS 987093 WITH SCORE 988178.033
AT ITER 8668 NEW BEST:: SOT 8287041 SOS 1084875 HAS SOPS 1084875 HAS SOUS 986935 HAS SOUPS 986935 WITH SCORE 988019.875
AT ITER 8692 NEW BEST:: SOT 8287069 SOS 1084497 HAS SOPS 1084497 HAS SOUS 986557 HAS SOUPS 986557 WITH SCORE 987641.497
AT ITER 8722 NEW BEST:: SOT 8287069 SOS 1084481 HAS SOPS 1084481 HAS SOUS 986541 HAS SOUPS 986541 WITH SCORE 987625.481
AT ITER 8725 NEW BEST:: SOT 8287069 SOS 1084354 HAS SOPS 1084354 HAS SOUS 986541 HAS SOUPS 986541 WITH SCORE 987625.354
AT ITER 8727 NEW BEST:: SOT 8287069 SOS 1084353 HAS SOPS 1084353 HAS SOUS 986540 HAS SOUPS 986540 WITH SCORE 987624.353
AT ITER 8758 NEW BEST:: SOT 8286970 SOS 1084254 HAS SOPS 1084254 HAS SOUS 986540 HAS SOUPS 986540 WITH SCORE 987624.254
AT ITER 8790 NEW BEST:: SOT 8287085 SOS 1084264 HAS SOPS 1084264 HAS SOUS 986382 HAS SOUPS 986382 WITH SCORE 987466.264
AT ITER 8844 NEW BEST:: SOT 8287085 SOS 1084264 HAS SOPS 1084264 HAS SOUS 986271 HAS SOUPS 986271 WITH SCORE 987355.264
AT ITER 8877 NEW BEST:: SOT 8287085 SOS 1084264 HAS SOPS 1084264 HAS SOUS 986117 HAS SOUPS 986117 WITH SCORE 987201.264
AT ITER 8937 NEW BEST:: SOT 8286944 SOS 1083982 HAS SOPS 1083982 HAS SOUS 985976 HAS SOUPS 985976 WITH SCORE 987059.982
AT ITER 8943 NEW BEST:: SOT 8286772 SOS 1083332 HAS SOPS 1083332 HAS SOUS 985474 HAS SOUPS 985474 WITH SCORE 986557.332
AT ITER 8962 NEW BEST:: SOT 8286931 SOS 1083307 HAS SOPS 1083307 HAS SOUS 985449 HAS SOUPS 985449 WITH SCORE 986532.307
AT ITER 8979 NEW BEST:: SOT 8286932 SOS 1083309 HAS SOPS 1083309 HAS SOUS 985309 HAS SOUPS 985309 WITH SCORE 986392.309
AT ITER 8992 NEW BEST:: SOT 8286815 SOS 1083075 HAS SOPS 1083075 HAS SOUS 984701 HAS SOUPS 984701 WITH SCORE 985784.075
AT ITER 9007 NEW BEST:: SOT 8286785 SOS 1083015 HAS SOPS 1083015 HAS SOUS 984671 HAS SOUPS 984671 WITH SCORE 985754.015
AT ITER 9027 NEW BEST:: SOT 8286757 SOS 1082959 HAS SOPS 1082959 HAS SOUS 984615 HAS SOUPS 984615 WITH SCORE 985697.959
AT ITER 9073 NEW BEST:: SOT 8286607 SOS 1083031 HAS SOPS 1083031 HAS SOUS 984577 HAS SOUPS 984577 WITH SCORE 985660.031
AT ITER 9079 NEW BEST:: SOT 8286607 SOS 1082979 HAS SOPS 1082979 HAS SOUS 984577 HAS SOUPS 984577 WITH SCORE 985659.979
AT ITER 9091 NEW BEST:: SOT 8286607 SOS 1082979 HAS SOPS 1082979 HAS SOUS 984361 HAS SOUPS 984361 WITH SCORE 985443.979
AT ITER 9103 NEW BEST:: SOT 8286607 SOS 1082879 HAS SOPS 1082879 HAS SOUS 984261 HAS SOUPS 984261 WITH SCORE 985343.879
AT ITER 9155 NEW BEST:: SOT 8286462 SOS 1082734 HAS SOPS 1082734 HAS SOUS 984116 HAS SOUPS 984116 WITH SCORE 985198.734
AT ITER 9164 NEW BEST:: SOT 8286264 SOS 1082536 HAS SOPS 1082536 HAS SOUS 983918 HAS SOUPS 983918 WITH SCORE 985000.536
AT ITER 9177 NEW BEST:: SOT 8286247 SOS 1082518 HAS SOPS 1082518 HAS SOUS 983900 HAS SOUPS 983900 WITH SCORE 984982.518
AT ITER 9291 NEW BEST:: SOT 8286192 SOS 1082517 HAS SOPS 1082517 HAS SOUS 983899 HAS SOUPS 983899 WITH SCORE 984981.517
AT ITER 9317 NEW BEST:: SOT 8286192 SOS 1082397 HAS SOPS 1082397 HAS SOUS 983779 HAS SOUPS 983779 WITH SCORE 984861.397
AT ITER 9343 NEW BEST:: SOT 8286192 SOS 1082381 HAS SOPS 1082381 HAS SOUS 983763 HAS SOUPS 983763 WITH SCORE 984845.381
AT ITER 9347 NEW BEST:: SOT 8286168 SOS 1082053 HAS SOPS 1082053 HAS SOUS 983522 HAS SOUPS 983522 WITH SCORE 984604.053
AT ITER 9372 NEW BEST:: SOT 8286090 SOS 1081975 HAS SOPS 1081975 HAS SOUS 983444 HAS SOUPS 983444 WITH SCORE 984525.975
AT ITER 9379 NEW BEST:: SOT 8285877 SOS 1081550 HAS SOPS 1081550 HAS SOUS 983019 HAS SOUPS 983019 WITH SCORE 984100.55
AT ITER 9381 NEW BEST:: SOT 8285737 SOS 1081270 HAS SOPS 1081270 HAS SOUS 982779 HAS SOUPS 982779 WITH SCORE 983860.27
AT ITER 9396 NEW BEST:: SOT 8285526 SOS 1080848 HAS SOPS 1080848 HAS SOUS 982630 HAS SOUPS 982630 WITH SCORE 983710.848
AT ITER 9404 NEW BEST:: SOT 8285528 SOS 1080912 HAS SOPS 1080912 HAS SOUS 982574 HAS SOUPS 982574 WITH SCORE 983654.912
AT ITER 9433 NEW BEST:: SOT 8285367 SOS 1080590 HAS SOPS 1080590 HAS SOUS 982126 HAS SOUPS 982126 WITH SCORE 983206.59
AT ITER 9494 NEW BEST:: SOT 8285432 SOS 1080525 HAS SOPS 1080525 HAS SOUS 982120 HAS SOUPS 982120 WITH SCORE 983200.525
AT ITER 9504 NEW BEST:: SOT 8285432 SOS 1080397 HAS SOPS 1080397 HAS SOUS 981992 HAS SOUPS 981992 WITH SCORE 983072.397
AT ITER 9577 NEW BEST:: SOT 8285422 SOS 1080377 HAS SOPS 1080377 HAS SOUS 981972 HAS SOUPS 981972 WITH SCORE 983052.377
AT ITER 9612 NEW BEST:: SOT 8285422 SOS 1080298 HAS SOPS 1080298 HAS SOUS 981893 HAS SOUPS 981893 WITH SCORE 982973.298
AT ITER 9652 NEW BEST:: SOT 8285421 SOS 1080297 HAS SOPS 1080297 HAS SOUS 981892 HAS SOUPS 981892 WITH SCORE 982972.297
AT ITER 9661 NEW BEST:: SOT 8284729 SOS 1079605 HAS SOPS 1079605 HAS SOUS 981200 HAS SOUPS 981200 WITH SCORE 982279.605
AT ITER 9699 NEW BEST:: SOT 8284698 SOS 1079574 HAS SOPS 1079574 HAS SOUS 981169 HAS SOUPS 981169 WITH SCORE 982248.574
AT ITER 9731 NEW BEST:: SOT 8284698 SOS 1079565 HAS SOPS 1079565 HAS SOUS 981166 HAS SOUPS 981166 WITH SCORE 982245.565
AT ITER 9782 NEW BEST:: SOT 8284792 SOS 1079425 HAS SOPS 1079425 HAS SOUS 981026 HAS SOUPS 981026 WITH SCORE 982105.425
AT ITER 9829 NEW BEST:: SOT 8284694 SOS 1079229 HAS SOPS 1079229 HAS SOUS 980691 HAS SOUPS 980691 WITH SCORE 981770.229
AT ITER 9893 NEW BEST:: SOT 8284520 SOS 1079184 HAS SOPS 1079184 HAS SOUS 980646 HAS SOUPS 980646 WITH SCORE 981725.184
AT ITER 9913 NEW BEST:: SOT 8284311 SOS 1078744 HAS SOPS 1078744 HAS SOUS 980216 HAS SOUPS 980216 WITH SCORE 981294.744
AT ITER 9916 NEW BEST:: SOT 8284267 SOS 1078892 HAS SOPS 1078892 HAS SOUS 980172 HAS SOUPS 980172 WITH SCORE 981250.892
AT ITER 9921 NEW BEST:: SOT 8284267 SOS 1078892 HAS SOPS 1078892 HAS SOUS 980170 HAS SOUPS 980170 WITH SCORE 981248.892
AT ITER 9974 NEW BEST:: SOT 8283701 SOS 1078440 HAS SOPS 1078440 HAS SOUS 979362 HAS SOUPS 979362 WITH SCORE 980440.44
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 13265652 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16153472 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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-oct2-167813591000512"
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 ;