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.r099-tall-167814472500528.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCflexbar-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472500528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 25 16:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 157K Feb 25 18:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 17:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 17:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 996K 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 1678248351403

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=DLCflexbar-PT-3a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3a
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: 581 places, 3891 transitions, 14956 arcs.
AT ITER 0 NEW BEST:: SOT 1438676 SOS 1163956 HAS SOPS 599536 HAS SOUS 123311 HAS SOUPS 58506 WITH SCORE 59669.956
AT ITER 24 NEW BEST:: SOT 1438545 SOS 1163694 HAS SOPS 599844 HAS SOUS 123001 HAS SOUPS 58310 WITH SCORE 59473.694
AT ITER 30 NEW BEST:: SOT 1438037 SOS 1164735 HAS SOPS 599475 HAS SOUS 122693 HAS SOUPS 57908 WITH SCORE 59072.735
AT ITER 36 NEW BEST:: SOT 1438022 SOS 1163913 HAS SOPS 598653 HAS SOUS 122687 HAS SOUPS 57902 WITH SCORE 59065.913
AT ITER 45 NEW BEST:: SOT 1437896 SOS 1163661 HAS SOPS 598716 HAS SOUS 122435 HAS SOUPS 57713 WITH SCORE 58876.661
AT ITER 88 NEW BEST:: SOT 1437312 SOS 1160545 HAS SOPS 599837 HAS SOUS 122089 HAS SOUPS 57367 WITH SCORE 58527.545
AT ITER 94 NEW BEST:: SOT 1437222 SOS 1160314 HAS SOPS 599606 HAS SOUS 121999 HAS SOUPS 57277 WITH SCORE 58437.314
AT ITER 107 NEW BEST:: SOT 1437222 SOS 1160314 HAS SOPS 599606 HAS SOUS 121951 HAS SOUPS 57229 WITH SCORE 58389.314
AT ITER 117 NEW BEST:: SOT 1437222 SOS 1160314 HAS SOPS 599606 HAS SOUS 121891 HAS SOUPS 57169 WITH SCORE 58329.314
AT ITER 125 NEW BEST:: SOT 1436588 SOS 1161848 HAS SOPS 599950 HAS SOUS 121495 HAS SOUPS 56773 WITH SCORE 57934.848
AT ITER 142 NEW BEST:: SOT 1436556 SOS 1161686 HAS SOPS 600278 HAS SOUS 121393 HAS SOUPS 56769 WITH SCORE 57930.686
AT ITER 154 NEW BEST:: SOT 1436408 SOS 1163378 HAS SOPS 601260 HAS SOUS 121354 HAS SOUPS 56730 WITH SCORE 57893.378
AT ITER 183 NEW BEST:: SOT 1436352 SOS 1163418 HAS SOPS 601180 HAS SOUS 121322 HAS SOUPS 56690 WITH SCORE 57853.418
AT ITER 191 NEW BEST:: SOT 1435673 SOS 1164689 HAS SOPS 601221 HAS SOUS 120801 HAS SOUPS 56169 WITH SCORE 57333.689
AT ITER 224 NEW BEST:: SOT 1435659 SOS 1164661 HAS SOPS 601748 HAS SOUS 120649 HAS SOUPS 56128 WITH SCORE 57292.661
AT ITER 225 NEW BEST:: SOT 1435264 SOS 1163364 HAS SOPS 601296 HAS SOUS 120028 HAS SOUPS 55676 WITH SCORE 56839.364
AT ITER 230 NEW BEST:: SOT 1435262 SOS 1163360 HAS SOPS 601292 HAS SOUS 120025 HAS SOUPS 55673 WITH SCORE 56836.36
AT ITER 239 NEW BEST:: SOT 1434433 SOS 1165825 HAS SOPS 601997 HAS SOUS 119472 HAS SOUPS 55120 WITH SCORE 56285.825
AT ITER 243 NEW BEST:: SOT 1434448 SOS 1165765 HAS SOPS 601937 HAS SOUS 119412 HAS SOUPS 55060 WITH SCORE 56225.765
AT ITER 253 NEW BEST:: SOT 1434448 SOS 1165765 HAS SOPS 601937 HAS SOUS 119380 HAS SOUPS 55028 WITH SCORE 56193.765
AT ITER 262 NEW BEST:: SOT 1433616 SOS 1168978 HAS SOPS 603160 HAS SOUS 118791 HAS SOUPS 54439 WITH SCORE 55607.978
AT ITER 263 NEW BEST:: SOT 1433588 SOS 1167970 HAS SOPS 603104 HAS SOUS 118763 HAS SOUPS 54439 WITH SCORE 55606.97
AT ITER 264 NEW BEST:: SOT 1433269 SOS 1167247 HAS SOPS 602806 HAS SOUS 118620 HAS SOUPS 54381 WITH SCORE 55548.247
AT ITER 274 NEW BEST:: SOT 1432793 SOS 1166186 HAS SOPS 602290 HAS SOUS 118221 HAS SOUPS 54091 WITH SCORE 55257.186
AT ITER 276 NEW BEST:: SOT 1432236 SOS 1164925 HAS SOPS 601764 HAS SOUS 117975 HAS SOUPS 53992 WITH SCORE 55156.925
AT ITER 279 NEW BEST:: SOT 1432176 SOS 1164805 HAS SOPS 601794 HAS SOUS 117855 HAS SOUPS 53902 WITH SCORE 55066.805
AT ITER 294 NEW BEST:: SOT 1431895 SOS 1164243 HAS SOPS 601937 HAS SOUS 117293 HAS SOUPS 53481 WITH SCORE 54645.243
AT ITER 298 NEW BEST:: SOT 1431801 SOS 1164271 HAS SOPS 601845 HAS SOUS 117237 HAS SOUPS 53425 WITH SCORE 54589.271
AT ITER 327 NEW BEST:: SOT 1431801 SOS 1164263 HAS SOPS 601837 HAS SOUS 117232 HAS SOUPS 53420 WITH SCORE 54584.263
AT ITER 330 NEW BEST:: SOT 1431801 SOS 1164263 HAS SOPS 601837 HAS SOUS 117172 HAS SOUPS 53360 WITH SCORE 54524.263
AT ITER 336 NEW BEST:: SOT 1431735 SOS 1164131 HAS SOPS 602370 HAS SOUS 116973 HAS SOUPS 53294 WITH SCORE 54458.131
AT ITER 350 NEW BEST:: SOT 1431735 SOS 1164131 HAS SOPS 602370 HAS SOUS 116913 HAS SOUPS 53234 WITH SCORE 54398.131
AT ITER 372 NEW BEST:: SOT 1431710 SOS 1164081 HAS SOPS 602320 HAS SOUS 116888 HAS SOUPS 53209 WITH SCORE 54373.081
AT ITER 387 NEW BEST:: SOT 1431690 SOS 1164041 HAS SOPS 602040 HAS SOUS 116868 HAS SOUPS 53141 WITH SCORE 54305.041
AT ITER 389 NEW BEST:: SOT 1431666 SOS 1163993 HAS SOPS 601992 HAS SOUS 116820 HAS SOUPS 53093 WITH SCORE 54256.993
AT ITER 401 NEW BEST:: SOT 1431268 SOS 1165494 HAS SOPS 602403 HAS SOUS 116642 HAS SOUPS 52915 WITH SCORE 54080.494
AT ITER 405 NEW BEST:: SOT 1431170 SOS 1165458 HAS SOPS 602367 HAS SOUS 116513 HAS SOUPS 52786 WITH SCORE 53951.458
AT ITER 409 NEW BEST:: SOT 1430732 SOS 1166689 HAS SOPS 602338 HAS SOUS 116320 HAS SOUPS 52509 WITH SCORE 53675.689
AT ITER 415 NEW BEST:: SOT 1430156 SOS 1169400 HAS SOPS 603439 HAS SOUS 116031 HAS SOUPS 52220 WITH SCORE 53389.4
AT ITER 426 NEW BEST:: SOT 1430153 SOS 1169316 HAS SOPS 603355 HAS SOUS 115984 HAS SOUPS 52173 WITH SCORE 53342.316
AT ITER 440 NEW BEST:: SOT 1429998 SOS 1170104 HAS SOPS 603228 HAS SOUS 115930 HAS SOUPS 52058 WITH SCORE 53228.104
AT ITER 465 NEW BEST:: SOT 1429759 SOS 1169197 HAS SOPS 603036 HAS SOUS 115523 HAS SOUPS 51794 WITH SCORE 52963.197
AT ITER 467 NEW BEST:: SOT 1429752 SOS 1169206 HAS SOPS 603030 HAS SOUS 115520 HAS SOUPS 51790 WITH SCORE 52959.206
AT ITER 485 NEW BEST:: SOT 1430142 SOS 1169916 HAS SOPS 603740 HAS SOUS 115516 HAS SOUPS 51786 WITH SCORE 52955.916
AT ITER 498 NEW BEST:: SOT 1429959 SOS 1175250 HAS SOPS 605849 HAS SOUS 115593 HAS SOUPS 51648 WITH SCORE 52823.25
AT ITER 503 NEW BEST:: SOT 1429084 SOS 1177774 HAS SOPS 606543 HAS SOUS 114974 HAS SOUPS 51029 WITH SCORE 52206.774
AT ITER 506 NEW BEST:: SOT 1428956 SOS 1177198 HAS SOPS 606287 HAS SOUS 114718 HAS SOUPS 50837 WITH SCORE 52014.198
AT ITER 517 NEW BEST:: SOT 1428758 SOS 1177736 HAS SOPS 606240 HAS SOUS 114642 HAS SOUPS 50722 WITH SCORE 51899.736
AT ITER 526 NEW BEST:: SOT 1428456 SOS 1177396 HAS SOPS 605900 HAS SOUS 114537 HAS SOUPS 50617 WITH SCORE 51794.396
AT ITER 527 NEW BEST:: SOT 1428456 SOS 1177396 HAS SOPS 605900 HAS SOUS 114505 HAS SOUPS 50585 WITH SCORE 51762.396
AT ITER 541 NEW BEST:: SOT 1428434 SOS 1177352 HAS SOPS 605911 HAS SOUS 114461 HAS SOUPS 50552 WITH SCORE 51729.352
AT ITER 546 NEW BEST:: SOT 1428434 SOS 1177352 HAS SOPS 605911 HAS SOUS 114401 HAS SOUPS 50492 WITH SCORE 51669.352
AT ITER 549 NEW BEST:: SOT 1428586 SOS 1177811 HAS SOPS 605595 HAS SOUS 114532 HAS SOUPS 50468 WITH SCORE 51645.811
AT ITER 550 NEW BEST:: SOT 1428073 SOS 1180042 HAS SOPS 606336 HAS SOUS 114186 HAS SOUPS 50122 WITH SCORE 51302.042
AT ITER 564 NEW BEST:: SOT 1428039 SOS 1180054 HAS SOPS 606348 HAS SOUS 114153 HAS SOUPS 50089 WITH SCORE 51269.054000000004
AT ITER 571 NEW BEST:: SOT 1427684 SOS 1179424 HAS SOPS 605718 HAS SOUS 114121 HAS SOUPS 50057 WITH SCORE 51236.424
AT ITER 579 NEW BEST:: SOT 1427446 SOS 1182188 HAS SOPS 607282 HAS SOUS 114116 HAS SOUPS 50052 WITH SCORE 51234.188
AT ITER 585 NEW BEST:: SOT 1427408 SOS 1182024 HAS SOPS 607558 HAS SOUS 113990 HAS SOUPS 50014 WITH SCORE 51196.024
AT ITER 588 NEW BEST:: SOT 1427159 SOS 1173060 HAS SOPS 606686 HAS SOUS 113748 HAS SOUPS 50010 WITH SCORE 51183.06
AT ITER 589 NEW BEST:: SOT 1427159 SOS 1171560 HAS SOPS 606636 HAS SOUS 113722 HAS SOUPS 49984 WITH SCORE 51155.56
AT ITER 595 NEW BEST:: SOT 1426895 SOS 1171236 HAS SOPS 606312 HAS SOUS 113632 HAS SOUPS 49894 WITH SCORE 51065.236
AT ITER 600 NEW BEST:: SOT 1426895 SOS 1171236 HAS SOPS 606312 HAS SOUS 113584 HAS SOUPS 49846 WITH SCORE 51017.236
AT ITER 606 NEW BEST:: SOT 1426895 SOS 1171236 HAS SOPS 606312 HAS SOUS 113526 HAS SOUPS 49788 WITH SCORE 50959.236
AT ITER 610 NEW BEST:: SOT 1426867 SOS 1170760 HAS SOPS 605836 HAS SOUS 113457 HAS SOUPS 49719 WITH SCORE 50889.76
AT ITER 615 NEW BEST:: SOT 1426867 SOS 1170760 HAS SOPS 605836 HAS SOUS 113429 HAS SOUPS 49691 WITH SCORE 50861.76
AT ITER 631 NEW BEST:: SOT 1426835 SOS 1170728 HAS SOPS 605804 HAS SOUS 113341 HAS SOUPS 49603 WITH SCORE 50773.728
AT ITER 645 NEW BEST:: SOT 1426786 SOS 1170596 HAS SOPS 605842 HAS SOUS 113277 HAS SOUPS 49573 WITH SCORE 50743.596
AT ITER 656 NEW BEST:: SOT 1426786 SOS 1170596 HAS SOPS 605842 HAS SOUS 113249 HAS SOUPS 49545 WITH SCORE 50715.596
AT ITER 666 NEW BEST:: SOT 1426451 SOS 1170736 HAS SOPS 605307 HAS SOUS 113019 HAS SOUPS 49270 WITH SCORE 50440.736
AT ITER 668 NEW BEST:: SOT 1426324 SOS 1175117 HAS SOPS 607363 HAS SOUS 113120 HAS SOUPS 49216 WITH SCORE 50391.117
AT ITER 670 NEW BEST:: SOT 1425957 SOS 1181168 HAS SOPS 609889 HAS SOUS 113076 HAS SOUPS 48937 WITH SCORE 50118.168
AT ITER 671 NEW BEST:: SOT 1425957 SOS 1180918 HAS SOPS 610039 HAS SOUS 112996 HAS SOUPS 48937 WITH SCORE 50117.918
AT ITER 701 NEW BEST:: SOT 1425855 SOS 1180697 HAS SOPS 609818 HAS SOUS 112928 HAS SOUPS 48869 WITH SCORE 50049.697
AT ITER 703 NEW BEST:: SOT 1425543 SOS 1179952 HAS SOPS 609678 HAS SOUS 112783 HAS SOUPS 48845 WITH SCORE 50024.952
AT ITER 710 NEW BEST:: SOT 1425543 SOS 1179832 HAS SOPS 609678 HAS SOUS 112759 HAS SOUPS 48845 WITH SCORE 50024.832
AT ITER 715 NEW BEST:: SOT 1425193 SOS 1181015 HAS SOPS 609851 HAS SOUS 112580 HAS SOUPS 48666 WITH SCORE 49847.015
AT ITER 731 NEW BEST:: SOT 1425193 SOS 1181015 HAS SOPS 609851 HAS SOUS 112578 HAS SOUPS 48664 WITH SCORE 49845.015
AT ITER 740 NEW BEST:: SOT 1424967 SOS 1172879 HAS SOPS 609399 HAS SOUS 112323 HAS SOUPS 48635 WITH SCORE 49807.879
AT ITER 761 NEW BEST:: SOT 1424946 SOS 1172837 HAS SOPS 609357 HAS SOUS 112302 HAS SOUPS 48614 WITH SCORE 49786.837
AT ITER 769 NEW BEST:: SOT 1424594 SOS 1174569 HAS SOPS 609859 HAS SOUS 112253 HAS SOUPS 48483 WITH SCORE 49657.569
AT ITER 776 NEW BEST:: SOT 1424594 SOS 1174569 HAS SOPS 609859 HAS SOUS 112241 HAS SOUPS 48471 WITH SCORE 49645.569
AT ITER 782 NEW BEST:: SOT 1424316 SOS 1173923 HAS SOPS 609663 HAS SOUS 112143 HAS SOUPS 48463 WITH SCORE 49636.923
AT ITER 786 NEW BEST:: SOT 1424419 SOS 1175269 HAS SOPS 610109 HAS SOUS 112186 HAS SOUPS 48446 WITH SCORE 49621.269
AT ITER 804 NEW BEST:: SOT 1424375 SOS 1175181 HAS SOPS 610021 HAS SOUS 112141 HAS SOUPS 48401 WITH SCORE 49576.181
AT ITER 841 NEW BEST:: SOT 1424320 SOS 1175071 HAS SOPS 610366 HAS SOUS 111995 HAS SOUPS 48346 WITH SCORE 49521.070999999996
AT ITER 843 NEW BEST:: SOT 1424300 SOS 1175031 HAS SOPS 610376 HAS SOUS 111955 HAS SOUPS 48316 WITH SCORE 49491.031
AT ITER 845 NEW BEST:: SOT 1424230 SOS 1174891 HAS SOPS 610236 HAS SOUS 111897 HAS SOUPS 48258 WITH SCORE 49432.891
AT ITER 879 NEW BEST:: SOT 1424256 SOS 1174137 HAS SOPS 610236 HAS SOUS 111897 HAS SOUPS 48258 WITH SCORE 49432.137
AT ITER 884 NEW BEST:: SOT 1424256 SOS 1174025 HAS SOPS 610164 HAS SOUS 111893 HAS SOUPS 48254 WITH SCORE 49428.025
AT ITER 886 NEW BEST:: SOT 1424014 SOS 1173837 HAS SOPS 609976 HAS SOUS 111866 HAS SOUPS 48227 WITH SCORE 49400.837
AT ITER 902 NEW BEST:: SOT 1424123 SOS 1174104 HAS SOPS 609998 HAS SOUS 111883 HAS SOUPS 48195 WITH SCORE 49369.104
AT ITER 904 NEW BEST:: SOT 1423935 SOS 1176584 HAS SOPS 610948 HAS SOUS 111968 HAS SOUPS 48178 WITH SCORE 49354.584
AT ITER 905 NEW BEST:: SOT 1423662 SOS 1176740 HAS SOPS 610714 HAS SOUS 111851 HAS SOUPS 48061 WITH SCORE 49237.74
AT ITER 945 NEW BEST:: SOT 1423662 SOS 1176673 HAS SOPS 610982 HAS SOUS 111784 HAS SOUPS 48061 WITH SCORE 49237.673
AT ITER 995 NEW BEST:: SOT 1423638 SOS 1176625 HAS SOPS 610934 HAS SOUS 111760 HAS SOUPS 48037 WITH SCORE 49213.625
AT ITER 1000 NEW BEST:: SOT 1423135 SOS 1180988 HAS SOPS 612917 HAS SOUS 111639 HAS SOUPS 47916 WITH SCORE 49096.988
AT ITER 1003 NEW BEST:: SOT 1423135 SOS 1180988 HAS SOPS 612917 HAS SOUS 111579 HAS SOUPS 47856 WITH SCORE 49036.988
AT ITER 1013 NEW BEST:: SOT 1423063 SOS 1181012 HAS SOPS 612941 HAS SOUS 111548 HAS SOUPS 47825 WITH SCORE 49006.012
AT ITER 1045 NEW BEST:: SOT 1422511 SOS 1179152 HAS SOPS 614368 HAS SOUS 111229 HAS SOUPS 47506 WITH SCORE 48685.152
AT ITER 1059 NEW BEST:: SOT 1421971 SOS 1176725 HAS SOPS 609031 HAS SOUS 110833 HAS SOUPS 46916 WITH SCORE 48092.725
AT ITER 1070 NEW BEST:: SOT 1421940 SOS 1176570 HAS SOPS 608876 HAS SOUS 110833 HAS SOUPS 46916 WITH SCORE 48092.57
AT ITER 1100 NEW BEST:: SOT 1421940 SOS 1176570 HAS SOPS 608876 HAS SOUS 110817 HAS SOUPS 46900 WITH SCORE 48076.57
AT ITER 1108 NEW BEST:: SOT 1421738 SOS 1179196 HAS SOPS 608573 HAS SOUS 110615 HAS SOUPS 46698 WITH SCORE 47877.195999999996
AT ITER 1113 NEW BEST:: SOT 1421782 SOS 1172758 HAS SOPS 603063 HAS SOUS 110597 HAS SOUPS 46680 WITH SCORE 47852.758
AT ITER 1142 NEW BEST:: SOT 1421848 SOS 1171971 HAS SOPS 602846 HAS SOUS 110547 HAS SOUPS 46668 WITH SCORE 47839.971
AT ITER 1147 NEW BEST:: SOT 1421796 SOS 1171893 HAS SOPS 602638 HAS SOUS 110469 HAS SOUPS 46564 WITH SCORE 47735.893
AT ITER 1159 NEW BEST:: SOT 1421394 SOS 1172811 HAS SOPS 602596 HAS SOUS 110410 HAS SOUPS 46441 WITH SCORE 47613.811
AT ITER 1186 NEW BEST:: SOT 1421314 SOS 1172635 HAS SOPS 602500 HAS SOUS 110359 HAS SOUPS 46406 WITH SCORE 47578.635
AT ITER 1262 NEW BEST:: SOT 1421227 SOS 1172176 HAS SOPS 602326 HAS SOUS 110182 HAS SOUPS 46286 WITH SCORE 47458.176
AT ITER 1269 NEW BEST:: SOT 1421147 SOS 1172016 HAS SOPS 602166 HAS SOUS 110081 HAS SOUPS 46185 WITH SCORE 47357.016
AT ITER 1271 NEW BEST:: SOT 1421098 SOS 1172044 HAS SOPS 602124 HAS SOUS 110060 HAS SOUPS 46164 WITH SCORE 47336.044
AT ITER 1284 NEW BEST:: SOT 1421098 SOS 1171934 HAS SOPS 602124 HAS SOUS 110016 HAS SOUPS 46142 WITH SCORE 47313.934
AT ITER 1292 NEW BEST:: SOT 1421075 SOS 1171106 HAS SOPS 602078 HAS SOUS 109993 HAS SOUPS 46142 WITH SCORE 47313.106
AT ITER 1317 NEW BEST:: SOT 1421026 SOS 1171008 HAS SOPS 601980 HAS SOUS 109898 HAS SOUPS 46047 WITH SCORE 47218.008
AT ITER 1334 NEW BEST:: SOT 1421025 SOS 1172173 HAS SOPS 602500 HAS SOUS 109854 HAS SOUPS 45960 WITH SCORE 47132.173
AT ITER 1343 NEW BEST:: SOT 1421025 SOS 1172043 HAS SOPS 602500 HAS SOUS 109813 HAS SOUPS 45945 WITH SCORE 47117.043
AT ITER 1357 NEW BEST:: SOT 1421377 SOS 1157503 HAS SOPS 591870 HAS SOUS 109609 HAS SOUPS 45856 WITH SCORE 47013.503
AT ITER 1365 NEW BEST:: SOT 1421126 SOS 1156915 HAS SOPS 591712 HAS SOUS 109439 HAS SOUPS 45772 WITH SCORE 46928.915
AT ITER 1373 NEW BEST:: SOT 1421126 SOS 1154198 HAS SOPS 589437 HAS SOUS 109426 HAS SOUPS 45772 WITH SCORE 46926.198
AT ITER 1377 NEW BEST:: SOT 1420992 SOS 1153930 HAS SOPS 589169 HAS SOUS 109267 HAS SOUPS 45613 WITH SCORE 46766.93
AT ITER 1405 NEW BEST:: SOT 1420992 SOS 1153930 HAS SOPS 589169 HAS SOUS 109255 HAS SOUPS 45601 WITH SCORE 46754.93
AT ITER 1447 NEW BEST:: SOT 1420992 SOS 1153930 HAS SOPS 589169 HAS SOUS 109251 HAS SOUPS 45597 WITH SCORE 46750.93
AT ITER 1458 NEW BEST:: SOT 1420992 SOS 1153930 HAS SOPS 589169 HAS SOUS 109191 HAS SOUPS 45537 WITH SCORE 46690.93
AT ITER 1462 NEW BEST:: SOT 1420949 SOS 1151160 HAS SOPS 588632 HAS SOUS 109137 HAS SOUPS 45483 WITH SCORE 46634.16
AT ITER 1471 NEW BEST:: SOT 1420583 SOS 1150293 HAS SOPS 588440 HAS SOUS 108993 HAS SOUPS 45474 WITH SCORE 46624.293
AT ITER 1472 NEW BEST:: SOT 1420431 SOS 1150141 HAS SOPS 588288 HAS SOUS 108955 HAS SOUPS 45436 WITH SCORE 46586.141
AT ITER 1473 NEW BEST:: SOT 1420401 SOS 1150081 HAS SOPS 588228 HAS SOUS 108925 HAS SOUPS 45406 WITH SCORE 46556.081
AT ITER 1476 NEW BEST:: SOT 1420389 SOS 1150057 HAS SOPS 588204 HAS SOUS 108906 HAS SOUPS 45387 WITH SCORE 46537.057
AT ITER 1477 NEW BEST:: SOT 1420159 SOS 1150862 HAS SOPS 588184 HAS SOUS 108875 HAS SOUPS 45301 WITH SCORE 46451.862
AT ITER 1484 NEW BEST:: SOT 1419853 SOS 1151564 HAS SOPS 588156 HAS SOUS 108865 HAS SOUPS 45291 WITH SCORE 46442.564
AT ITER 1506 NEW BEST:: SOT 1419718 SOS 1151294 HAS SOPS 587461 HAS SOUS 108765 HAS SOUPS 45106 WITH SCORE 46257.294
AT ITER 1559 NEW BEST:: SOT 1419718 SOS 1151294 HAS SOPS 587461 HAS SOUS 108721 HAS SOUPS 45062 WITH SCORE 46213.294
AT ITER 1584 NEW BEST:: SOT 1416928 SOS 1147092 HAS SOPS 585778 HAS SOUS 108428 HAS SOUPS 44998 WITH SCORE 46145.092
AT ITER 1601 NEW BEST:: SOT 1416942 SOS 1147120 HAS SOPS 585806 HAS SOUS 108414 HAS SOUPS 44984 WITH SCORE 46131.12
AT ITER 1617 NEW BEST:: SOT 1416935 SOS 1147106 HAS SOPS 585792 HAS SOUS 108411 HAS SOUPS 44981 WITH SCORE 46128.106
AT ITER 1623 NEW BEST:: SOT 1416908 SOS 1146215 HAS SOPS 585684 HAS SOUS 108357 HAS SOUPS 44927 WITH SCORE 46073.215
AT ITER 1640 NEW BEST:: SOT 1416908 SOS 1145905 HAS SOPS 585684 HAS SOUS 108232 HAS SOUPS 44864 WITH SCORE 46009.905
AT ITER 1676 NEW BEST:: SOT 1416441 SOS 1139225 HAS SOPS 579004 HAS SOUS 107809 HAS SOUPS 44441 WITH SCORE 45580.225
AT ITER 1682 NEW BEST:: SOT 1416419 SOS 1139181 HAS SOPS 578960 HAS SOUS 107803 HAS SOUPS 44435 WITH SCORE 45574.181
AT ITER 1685 NEW BEST:: SOT 1416385 SOS 1138703 HAS SOPS 578892 HAS SOUS 107711 HAS SOUPS 44425 WITH SCORE 45563.703
AT ITER 1704 NEW BEST:: SOT 1418462 SOS 1143338 HAS SOPS 582273 HAS SOUS 107268 HAS SOUPS 43982 WITH SCORE 45125.338
AT ITER 1784 NEW BEST:: SOT 1418462 SOS 1143338 HAS SOPS 582273 HAS SOUS 107228 HAS SOUPS 43942 WITH SCORE 45085.338
AT ITER 1826 NEW BEST:: SOT 1418193 SOS 1142735 HAS SOPS 581670 HAS SOUS 107089 HAS SOUPS 43803 WITH SCORE 44945.735
AT ITER 1933 NEW BEST:: SOT 1418193 SOS 1142735 HAS SOPS 581670 HAS SOUS 107061 HAS SOUPS 43775 WITH SCORE 44917.735
AT ITER 1949 NEW BEST:: SOT 1418163 SOS 1142540 HAS SOPS 581645 HAS SOUS 106997 HAS SOUPS 43745 WITH SCORE 44887.54
AT ITER 1951 NEW BEST:: SOT 1418163 SOS 1142540 HAS SOPS 581645 HAS SOUS 106937 HAS SOUPS 43685 WITH SCORE 44827.54
AT ITER 1998 NEW BEST:: SOT 1418143 SOS 1142500 HAS SOPS 581605 HAS SOUS 106917 HAS SOUPS 43665 WITH SCORE 44807.5
AT ITER 2002 NEW BEST:: SOT 1418143 SOS 1142500 HAS SOPS 581605 HAS SOUS 106899 HAS SOUPS 43647 WITH SCORE 44789.5
AT ITER 2004 NEW BEST:: SOT 1418246 SOS 1142223 HAS SOPS 581643 HAS SOUS 106875 HAS SOUPS 43644 WITH SCORE 44786.223
AT ITER 2102 NEW BEST:: SOT 1418286 SOS 1140847 HAS SOPS 581321 HAS SOUS 106835 HAS SOUPS 43635 WITH SCORE 44775.847
AT ITER 2117 NEW BEST:: SOT 1418174 SOS 1140118 HAS SOPS 581097 HAS SOUS 106555 HAS SOUPS 43456 WITH SCORE 44596.118
AT ITER 2134 NEW BEST:: SOT 1418174 SOS 1140118 HAS SOPS 581097 HAS SOUS 106547 HAS SOUPS 43448 WITH SCORE 44588.118
AT ITER 2147 NEW BEST:: SOT 1418026 SOS 1141341 HAS SOPS 581690 HAS SOUS 106438 HAS SOUPS 43339 WITH SCORE 44480.341
AT ITER 2156 NEW BEST:: SOT 1418023 SOS 1141335 HAS SOPS 581684 HAS SOUS 106432 HAS SOUPS 43333 WITH SCORE 44474.335
AT ITER 2166 NEW BEST:: SOT 1418052 SOS 1138194 HAS SOPS 580283 HAS SOUS 106137 HAS SOUPS 43154 WITH SCORE 44292.194
AT ITER 2194 NEW BEST:: SOT 1418052 SOS 1138194 HAS SOPS 580283 HAS SOUS 106095 HAS SOUPS 43112 WITH SCORE 44250.194
AT ITER 2252 NEW BEST:: SOT 1417770 SOS 1137630 HAS SOPS 579719 HAS SOUS 105991 HAS SOUPS 43008 WITH SCORE 44145.63
AT ITER 2255 NEW BEST:: SOT 1417712 SOS 1137349 HAS SOPS 579678 HAS SOUS 105852 HAS SOUPS 42917 WITH SCORE 44054.349
AT ITER 2261 NEW BEST:: SOT 1417712 SOS 1137364 HAS SOPS 579678 HAS SOUS 105852 HAS SOUPS 42914 WITH SCORE 44051.364
AT ITER 2268 NEW BEST:: SOT 1417697 SOS 1136918 HAS SOPS 579232 HAS SOUS 105850 HAS SOUPS 42912 WITH SCORE 44048.918
AT ITER 2321 NEW BEST:: SOT 1417697 SOS 1136918 HAS SOPS 579232 HAS SOUS 105846 HAS SOUPS 42908 WITH SCORE 44044.918
AT ITER 2335 NEW BEST:: SOT 1417697 SOS 1136853 HAS SOPS 579167 HAS SOUS 105846 HAS SOUPS 42908 WITH SCORE 44044.853
AT ITER 2380 NEW BEST:: SOT 1417694 SOS 1136847 HAS SOPS 579161 HAS SOUS 105846 HAS SOUPS 42908 WITH SCORE 44044.847
AT ITER 2382 NEW BEST:: SOT 1417694 SOS 1136767 HAS SOPS 579161 HAS SOUS 105813 HAS SOUPS 42891 WITH SCORE 44027.767
AT ITER 2389 NEW BEST:: SOT 1417694 SOS 1136487 HAS SOPS 579153 HAS SOUS 105797 HAS SOUPS 42883 WITH SCORE 44019.487
AT ITER 2396 NEW BEST:: SOT 1417694 SOS 1136487 HAS SOPS 579153 HAS SOUS 105739 HAS SOUPS 42825 WITH SCORE 43961.487
AT ITER 2406 NEW BEST:: SOT 1417694 SOS 1136487 HAS SOPS 579153 HAS SOUS 105687 HAS SOUPS 42773 WITH SCORE 43909.487
AT ITER 2427 NEW BEST:: SOT 1417672 SOS 1136313 HAS SOPS 579109 HAS SOUS 105616 HAS SOUPS 42728 WITH SCORE 43864.313
AT ITER 2449 NEW BEST:: SOT 1417708 SOS 1135913 HAS SOPS 578709 HAS SOUS 105555 HAS SOUPS 42667 WITH SCORE 43802.913
AT ITER 2458 NEW BEST:: SOT 1417708 SOS 1135913 HAS SOPS 578709 HAS SOUS 105533 HAS SOUPS 42645 WITH SCORE 43780.913
AT ITER 2467 NEW BEST:: SOT 1417708 SOS 1135913 HAS SOPS 578709 HAS SOUS 105485 HAS SOUPS 42597 WITH SCORE 43732.913
AT ITER 2473 NEW BEST:: SOT 1417642 SOS 1135770 HAS SOPS 578621 HAS SOUS 105430 HAS SOUPS 42553 WITH SCORE 43688.77
AT ITER 2495 NEW BEST:: SOT 1417638 SOS 1135762 HAS SOPS 578613 HAS SOUS 105426 HAS SOUPS 42549 WITH SCORE 43684.762
AT ITER 2506 NEW BEST:: SOT 1417671 SOS 1134143 HAS SOPS 577694 HAS SOUS 105389 HAS SOUPS 42512 WITH SCORE 43646.143
AT ITER 2517 NEW BEST:: SOT 1417832 SOS 1128327 HAS SOPS 577620 HAS SOUS 105151 HAS SOUPS 42274 WITH SCORE 43402.327
AT ITER 2520 NEW BEST:: SOT 1417832 SOS 1128187 HAS SOPS 577530 HAS SOUS 105146 HAS SOUPS 42269 WITH SCORE 43397.187
AT ITER 2536 NEW BEST:: SOT 1417856 SOS 1128685 HAS SOPS 577578 HAS SOUS 105226 HAS SOUPS 42259 WITH SCORE 43387.685
AT ITER 2537 NEW BEST:: SOT 1417856 SOS 1128685 HAS SOPS 577578 HAS SOUS 105182 HAS SOUPS 42215 WITH SCORE 43343.685
AT ITER 2546 NEW BEST:: SOT 1417883 SOS 1129034 HAS SOPS 577632 HAS SOUS 105223 HAS SOUPS 42197 WITH SCORE 43326.034
AT ITER 2571 NEW BEST:: SOT 1417739 SOS 1128830 HAS SOPS 577560 HAS SOUS 105211 HAS SOUPS 42197 WITH SCORE 43325.83
AT ITER 2617 NEW BEST:: SOT 1417563 SOS 1128434 HAS SOPS 577384 HAS SOUS 105123 HAS SOUPS 42153 WITH SCORE 43281.434
AT ITER 2622 NEW BEST:: SOT 1417574 SOS 1127722 HAS SOPS 576672 HAS SOUS 105083 HAS SOUPS 42113 WITH SCORE 43240.722
AT ITER 2623 NEW BEST:: SOT 1417387 SOS 1129211 HAS SOPS 577378 HAS SOUS 105005 HAS SOUPS 42035 WITH SCORE 43164.211
AT ITER 2658 NEW BEST:: SOT 1417326 SOS 1126964 HAS SOPS 576331 HAS SOUS 104916 HAS SOUPS 42026 WITH SCORE 43152.964
AT ITER 2691 NEW BEST:: SOT 1417292 SOS 1127454 HAS SOPS 576911 HAS SOUS 104864 HAS SOUPS 41992 WITH SCORE 43119.454
AT ITER 2707 NEW BEST:: SOT 1417011 SOS 1126809 HAS SOPS 576681 HAS SOUS 104666 HAS SOUPS 41877 WITH SCORE 43003.809
AT ITER 2718 NEW BEST:: SOT 1417209 SOS 1125654 HAS SOPS 576231 HAS SOUS 104595 HAS SOUPS 41853 WITH SCORE 42978.654
AT ITER 2784 NEW BEST:: SOT 1417209 SOS 1125654 HAS SOPS 576231 HAS SOUS 104543 HAS SOUPS 41801 WITH SCORE 42926.654
AT ITER 2832 NEW BEST:: SOT 1417147 SOS 1126195 HAS SOPS 576107 HAS SOUS 104637 HAS SOUPS 41762 WITH SCORE 42888.195
AT ITER 2836 NEW BEST:: SOT 1417138 SOS 1126177 HAS SOPS 576089 HAS SOUS 104619 HAS SOUPS 41744 WITH SCORE 42870.177
AT ITER 2838 NEW BEST:: SOT 1416927 SOS 1126606 HAS SOPS 576148 HAS SOUS 104523 HAS SOUPS 41648 WITH SCORE 42774.606
AT ITER 2843 NEW BEST:: SOT 1416927 SOS 1126606 HAS SOPS 576148 HAS SOUS 104501 HAS SOUPS 41626 WITH SCORE 42752.606
AT ITER 2883 NEW BEST:: SOT 1415883 SOS 1125236 HAS SOPS 575059 HAS SOUS 104510 HAS SOUPS 41574 WITH SCORE 42699.236
AT ITER 2904 NEW BEST:: SOT 1415883 SOS 1125236 HAS SOPS 575059 HAS SOUS 104464 HAS SOUPS 41528 WITH SCORE 42653.236
AT ITER 2979 NEW BEST:: SOT 1415895 SOS 1123832 HAS SOPS 574420 HAS SOUS 104342 HAS SOUPS 41457 WITH SCORE 42580.832
AT ITER 2996 NEW BEST:: SOT 1415776 SOS 1124767 HAS SOPS 574777 HAS SOUS 104308 HAS SOUPS 41406 WITH SCORE 42530.767
AT ITER 3015 NEW BEST:: SOT 1415776 SOS 1124767 HAS SOPS 574777 HAS SOUS 104276 HAS SOUPS 41374 WITH SCORE 42498.767
AT ITER 3019 NEW BEST:: SOT 1415776 SOS 1124767 HAS SOPS 574777 HAS SOUS 104274 HAS SOUPS 41372 WITH SCORE 42496.767
AT ITER 3089 NEW BEST:: SOT 1415662 SOS 1125771 HAS SOPS 574597 HAS SOUS 104282 HAS SOUPS 41343 WITH SCORE 42468.771
AT ITER 3142 NEW BEST:: SOT 1415662 SOS 1125757 HAS SOPS 574583 HAS SOUS 104282 HAS SOUPS 41343 WITH SCORE 42468.757
AT ITER 3143 NEW BEST:: SOT 1415320 SOS 1124974 HAS SOPS 574295 HAS SOUS 104074 HAS SOUPS 41234 WITH SCORE 42358.974
AT ITER 3145 NEW BEST:: SOT 1414970 SOS 1124484 HAS SOPS 574015 HAS SOUS 104039 HAS SOUPS 41199 WITH SCORE 42323.484
AT ITER 3183 NEW BEST:: SOT 1414141 SOS 1121668 HAS SOPS 571588 HAS SOUS 104064 HAS SOUPS 41191 WITH SCORE 42312.668
AT ITER 3188 NEW BEST:: SOT 1414131 SOS 1114538 HAS SOPS 571530 HAS SOUS 103749 HAS SOUPS 41084 WITH SCORE 42198.538
AT ITER 3197 NEW BEST:: SOT 1414131 SOS 1114436 HAS SOPS 571473 HAS SOUS 103740 HAS SOUPS 41078 WITH SCORE 42192.436
AT ITER 3218 NEW BEST:: SOT 1414099 SOS 1114372 HAS SOPS 571209 HAS SOUS 103736 HAS SOUPS 41034 WITH SCORE 42148.372
AT ITER 3237 NEW BEST:: SOT 1414116 SOS 1114474 HAS SOPS 571226 HAS SOUS 103736 HAS SOUPS 41017 WITH SCORE 42131.474
AT ITER 3312 NEW BEST:: SOT 1414041 SOS 1114208 HAS SOPS 571105 HAS SOUS 103673 HAS SOUPS 40983 WITH SCORE 42097.208
AT ITER 3316 NEW BEST:: SOT 1413856 SOS 1113784 HAS SOPS 570951 HAS SOUS 103573 HAS SOUPS 40937 WITH SCORE 42050.784
AT ITER 3356 NEW BEST:: SOT 1413856 SOS 1113784 HAS SOPS 570951 HAS SOUS 103570 HAS SOUPS 40934 WITH SCORE 42047.784
AT ITER 3395 NEW BEST:: SOT 1413857 SOS 1113786 HAS SOPS 570793 HAS SOUS 103601 HAS SOUPS 40933 WITH SCORE 42046.786
AT ITER 3403 NEW BEST:: SOT 1413857 SOS 1113786 HAS SOPS 570793 HAS SOUS 103569 HAS SOUPS 40901 WITH SCORE 42014.786
AT ITER 3449 NEW BEST:: SOT 1413853 SOS 1113698 HAS SOPS 571005 HAS SOUS 103505 HAS SOUPS 40897 WITH SCORE 42010.698
AT ITER 3458 NEW BEST:: SOT 1413789 SOS 1114050 HAS SOPS 571057 HAS SOUS 103489 HAS SOUPS 40861 WITH SCORE 41975.05
AT ITER 3474 NEW BEST:: SOT 1413789 SOS 1114050 HAS SOPS 571057 HAS SOUS 103429 HAS SOUPS 40801 WITH SCORE 41915.05
AT ITER 3504 NEW BEST:: SOT 1413789 SOS 1114059 HAS SOPS 571051 HAS SOUS 103429 HAS SOUPS 40798 WITH SCORE 41912.059
AT ITER 3511 NEW BEST:: SOT 1413789 SOS 1114059 HAS SOPS 571051 HAS SOUS 103427 HAS SOUPS 40796 WITH SCORE 41910.059
AT ITER 3516 NEW BEST:: SOT 1413789 SOS 1114059 HAS SOPS 571051 HAS SOUS 103413 HAS SOUPS 40782 WITH SCORE 41896.059
AT ITER 3525 NEW BEST:: SOT 1413781 SOS 1114051 HAS SOPS 571043 HAS SOUS 103405 HAS SOUPS 40774 WITH SCORE 41888.051
AT ITER 3560 NEW BEST:: SOT 1413821 SOS 1114101 HAS SOPS 571063 HAS SOUS 103400 HAS SOUPS 40769 WITH SCORE 41883.101
AT ITER 3567 NEW BEST:: SOT 1413743 SOS 1113945 HAS SOPS 570907 HAS SOUS 103228 HAS SOUPS 40597 WITH SCORE 41710.945
AT ITER 3596 NEW BEST:: SOT 1413724 SOS 1113767 HAS SOPS 570869 HAS SOUS 103176 HAS SOUPS 40573 WITH SCORE 41686.767
AT ITER 3603 NEW BEST:: SOT 1410893 SOS 1109583 HAS SOPS 569057 HAS SOUS 102918 HAS SOUPS 40493 WITH SCORE 41602.583
AT ITER 3624 NEW BEST:: SOT 1410685 SOS 1108255 HAS SOPS 568369 HAS SOUS 102870 HAS SOUPS 40461 WITH SCORE 41569.255
AT ITER 3647 NEW BEST:: SOT 1410685 SOS 1108255 HAS SOPS 568369 HAS SOUS 102816 HAS SOUPS 40407 WITH SCORE 41515.255
AT ITER 3666 NEW BEST:: SOT 1410658 SOS 1108529 HAS SOPS 568643 HAS SOUS 102789 HAS SOUPS 40380 WITH SCORE 41488.529
AT ITER 3686 NEW BEST:: SOT 1410546 SOS 1109175 HAS SOPS 568839 HAS SOUS 102815 HAS SOUPS 40376 WITH SCORE 41485.175
AT ITER 3720 NEW BEST:: SOT 1410540 SOS 1109163 HAS SOPS 568827 HAS SOUS 102794 HAS SOUPS 40355 WITH SCORE 41464.163
AT ITER 3747 NEW BEST:: SOT 1410394 SOS 1108421 HAS SOPS 568535 HAS SOUS 102575 HAS SOUPS 40226 WITH SCORE 41334.421
AT ITER 3754 NEW BEST:: SOT 1408683 SOS 1106173 HAS SOPS 567049 HAS SOUS 102472 HAS SOUPS 40123 WITH SCORE 41229.173
AT ITER 3775 NEW BEST:: SOT 1408956 SOS 1106836 HAS SOPS 567127 HAS SOUS 102427 HAS SOUPS 39961 WITH SCORE 41067.836
AT ITER 3794 NEW BEST:: SOT 1408339 SOS 1104467 HAS SOPS 566699 HAS SOUS 102344 HAS SOUPS 39920 WITH SCORE 41024.467
AT ITER 3819 NEW BEST:: SOT 1408245 SOS 1104979 HAS SOPS 566341 HAS SOUS 102487 HAS SOUPS 39889 WITH SCORE 40993.979
AT ITER 3837 NEW BEST:: SOT 1408231 SOS 1104861 HAS SOPS 566223 HAS SOUS 102473 HAS SOUPS 39875 WITH SCORE 40979.861
AT ITER 3885 NEW BEST:: SOT 1408233 SOS 1104863 HAS SOPS 566225 HAS SOUS 102469 HAS SOUPS 39871 WITH SCORE 40975.863
AT ITER 3906 NEW BEST:: SOT 1408207 SOS 1104831 HAS SOPS 566128 HAS SOUS 102456 HAS SOUPS 39845 WITH SCORE 40949.831
AT ITER 3921 NEW BEST:: SOT 1408207 SOS 1104831 HAS SOPS 566128 HAS SOUS 102396 HAS SOUPS 39785 WITH SCORE 40889.831
AT ITER 3958 NEW BEST:: SOT 1408235 SOS 1104887 HAS SOPS 566184 HAS SOUS 102381 HAS SOUPS 39770 WITH SCORE 40874.887
AT ITER 4002 NEW BEST:: SOT 1408247 SOS 1104899 HAS SOPS 566190 HAS SOUS 102379 HAS SOUPS 39768 WITH SCORE 40872.899
AT ITER 4032 NEW BEST:: SOT 1408161 SOS 1104749 HAS SOPS 566137 HAS SOUS 102324 HAS SOUPS 39746 WITH SCORE 40850.749
AT ITER 4056 NEW BEST:: SOT 1408161 SOS 1104749 HAS SOPS 566137 HAS SOUS 102302 HAS SOUPS 39724 WITH SCORE 40828.749
AT ITER 4107 NEW BEST:: SOT 1407920 SOS 1103895 HAS SOPS 565748 HAS SOUS 102006 HAS SOUPS 39521 WITH SCORE 40624.895
AT ITER 4111 NEW BEST:: SOT 1407917 SOS 1103959 HAS SOPS 565778 HAS SOUS 102005 HAS SOUPS 39519 WITH SCORE 40622.959
AT ITER 4127 NEW BEST:: SOT 1407916 SOS 1103951 HAS SOPS 565775 HAS SOUS 102001 HAS SOUPS 39516 WITH SCORE 40619.951
AT ITER 4201 NEW BEST:: SOT 1407908 SOS 1103935 HAS SOPS 565759 HAS SOUS 101993 HAS SOUPS 39508 WITH SCORE 40611.935
AT ITER 4208 NEW BEST:: SOT 1407904 SOS 1103815 HAS SOPS 565639 HAS SOUS 101977 HAS SOUPS 39492 WITH SCORE 40595.815
AT ITER 4240 NEW BEST:: SOT 1407892 SOS 1103383 HAS SOPS 565615 HAS SOUS 101955 HAS SOUPS 39482 WITH SCORE 40585.383
AT ITER 4267 NEW BEST:: SOT 1407892 SOS 1103383 HAS SOPS 565615 HAS SOUS 101909 HAS SOUPS 39436 WITH SCORE 40539.383
AT ITER 4308 NEW BEST:: SOT 1407954 SOS 1103383 HAS SOPS 565615 HAS SOUS 101878 HAS SOUPS 39405 WITH SCORE 40508.383
AT ITER 4313 NEW BEST:: SOT 1407950 SOS 1103375 HAS SOPS 565607 HAS SOUS 101878 HAS SOUPS 39405 WITH SCORE 40508.375
AT ITER 4330 NEW BEST:: SOT 1407974 SOS 1103399 HAS SOPS 565613 HAS SOUS 101875 HAS SOUPS 39402 WITH SCORE 40505.399
AT ITER 4364 NEW BEST:: SOT 1407978 SOS 1102385 HAS SOPS 565581 HAS SOUS 101865 HAS SOUPS 39392 WITH SCORE 40494.385
AT ITER 4373 NEW BEST:: SOT 1407862 SOS 1101559 HAS SOPS 567435 HAS SOUS 101832 HAS SOUPS 39359 WITH SCORE 40460.559
AT ITER 4385 NEW BEST:: SOT 1407848 SOS 1101536 HAS SOPS 567412 HAS SOUS 101814 HAS SOUPS 39341 WITH SCORE 40442.536
AT ITER 4443 NEW BEST:: SOT 1407575 SOS 1100899 HAS SOPS 567230 HAS SOUS 101723 HAS SOUPS 39341 WITH SCORE 40441.899
AT ITER 4447 NEW BEST:: SOT 1407533 SOS 1100884 HAS SOPS 567215 HAS SOUS 101685 HAS SOUPS 39303 WITH SCORE 40403.884
AT ITER 4460 NEW BEST:: SOT 1407533 SOS 1100884 HAS SOPS 567215 HAS SOUS 101609 HAS SOUPS 39227 WITH SCORE 40327.884
AT ITER 4466 NEW BEST:: SOT 1407489 SOS 1100796 HAS SOPS 566747 HAS SOUS 101641 HAS SOUPS 39183 WITH SCORE 40283.796
AT ITER 4491 NEW BEST:: SOT 1404138 SOS 1097530 HAS SOPS 565261 HAS SOUS 101695 HAS SOUPS 39164 WITH SCORE 40261.53
AT ITER 4538 NEW BEST:: SOT 1404138 SOS 1097530 HAS SOPS 565261 HAS SOUS 101655 HAS SOUPS 39124 WITH SCORE 40221.53
AT ITER 4576 NEW BEST:: SOT 1404138 SOS 1097380 HAS SOPS 565111 HAS SOUS 101625 HAS SOUPS 39094 WITH SCORE 40191.38
AT ITER 4622 NEW BEST:: SOT 1404119 SOS 1092323 HAS SOPS 560663 HAS SOUS 101605 HAS SOUPS 39074 WITH SCORE 40166.323
AT ITER 4623 NEW BEST:: SOT 1404119 SOS 1092323 HAS SOPS 560663 HAS SOUS 101599 HAS SOUPS 39068 WITH SCORE 40160.323
AT ITER 4629 NEW BEST:: SOT 1404119 SOS 1092323 HAS SOPS 560663 HAS SOUS 101583 HAS SOUPS 39052 WITH SCORE 40144.323
AT ITER 4637 NEW BEST:: SOT 1404081 SOS 1092152 HAS SOPS 560587 HAS SOUS 101507 HAS SOUPS 38995 WITH SCORE 40087.152
AT ITER 4711 NEW BEST:: SOT 1403871 SOS 1093124 HAS SOPS 560689 HAS SOUS 101440 HAS SOUPS 38870 WITH SCORE 39963.124
AT ITER 4722 NEW BEST:: SOT 1403691 SOS 1092869 HAS SOPS 560599 HAS SOUS 101425 HAS SOUPS 38870 WITH SCORE 39962.869
AT ITER 4763 NEW BEST:: SOT 1403427 SOS 1095056 HAS SOPS 561667 HAS SOUS 101365 HAS SOUPS 38810 WITH SCORE 39905.056
AT ITER 4793 NEW BEST:: SOT 1403167 SOS 1094676 HAS SOPS 561507 HAS SOUS 101332 HAS SOUPS 38797 WITH SCORE 39891.676
AT ITER 4799 NEW BEST:: SOT 1403167 SOS 1094676 HAS SOPS 561507 HAS SOUS 101330 HAS SOUPS 38795 WITH SCORE 39889.676
AT ITER 4886 NEW BEST:: SOT 1403138 SOS 1094618 HAS SOPS 561189 HAS SOUS 101376 HAS SOUPS 38789 WITH SCORE 39883.618
AT ITER 4909 NEW BEST:: SOT 1403114 SOS 1094372 HAS SOPS 560943 HAS SOUS 101352 HAS SOUPS 38765 WITH SCORE 39859.372
AT ITER 4925 NEW BEST:: SOT 1402672 SOS 1093724 HAS SOPS 560662 HAS SOUS 101283 HAS SOUPS 38727 WITH SCORE 39820.724
AT ITER 4933 NEW BEST:: SOT 1402651 SOS 1093682 HAS SOPS 560620 HAS SOUS 101193 HAS SOUPS 38637 WITH SCORE 39730.682
AT ITER 4938 NEW BEST:: SOT 1402619 SOS 1093554 HAS SOPS 560572 HAS SOUS 101145 HAS SOUPS 38605 WITH SCORE 39698.554000000004
AT ITER 4981 NEW BEST:: SOT 1402634 SOS 1093584 HAS SOPS 560602 HAS SOUS 101133 HAS SOUPS 38593 WITH SCORE 39686.584
AT ITER 5011 NEW BEST:: SOT 1402633 SOS 1093407 HAS SOPS 560459 HAS SOUS 101131 HAS SOUPS 38592 WITH SCORE 39685.407
AT ITER 5120 NEW BEST:: SOT 1402633 SOS 1093407 HAS SOPS 560459 HAS SOUS 101127 HAS SOUPS 38588 WITH SCORE 39681.407
AT ITER 5140 NEW BEST:: SOT 1402659 SOS 1092104 HAS SOPS 560448 HAS SOUS 101081 HAS SOUPS 38580 WITH SCORE 39672.104
AT ITER 5188 NEW BEST:: SOT 1402500 SOS 1093055 HAS SOPS 560819 HAS SOUS 101070 HAS SOUPS 38569 WITH SCORE 39662.055
AT ITER 5195 NEW BEST:: SOT 1402500 SOS 1093055 HAS SOPS 560819 HAS SOUS 101040 HAS SOUPS 38539 WITH SCORE 39632.055
AT ITER 5217 NEW BEST:: SOT 1402513 SOS 1093536 HAS SOPS 561300 HAS SOUS 101027 HAS SOUPS 38526 WITH SCORE 39619.536
AT ITER 5241 NEW BEST:: SOT 1402509 SOS 1093416 HAS SOPS 561240 HAS SOUS 101007 HAS SOUPS 38510 WITH SCORE 39603.416
AT ITER 5280 NEW BEST:: SOT 1402541 SOS 1093200 HAS SOPS 561304 HAS SOUS 100905 HAS SOUPS 38464 WITH SCORE 39557.2
AT ITER 5312 NEW BEST:: SOT 1402521 SOS 1092376 HAS SOPS 560760 HAS SOUS 100810 HAS SOUPS 38369 WITH SCORE 39461.376
AT ITER 5357 NEW BEST:: SOT 1402495 SOS 1091947 HAS SOPS 560526 HAS SOUS 100797 HAS SOUPS 38369 WITH SCORE 39460.947
AT ITER 5374 NEW BEST:: SOT 1402495 SOS 1091947 HAS SOPS 560526 HAS SOUS 100789 HAS SOUPS 38361 WITH SCORE 39452.947
AT ITER 5399 NEW BEST:: SOT 1402427 SOS 1091906 HAS SOPS 560485 HAS SOUS 100744 HAS SOUPS 38316 WITH SCORE 39407.906
AT ITER 5400 NEW BEST:: SOT 1402427 SOS 1091906 HAS SOPS 560485 HAS SOUS 100716 HAS SOUPS 38288 WITH SCORE 39379.906
AT ITER 5464 NEW BEST:: SOT 1402369 SOS 1092235 HAS SOPS 560369 HAS SOUS 100678 HAS SOUPS 38161 WITH SCORE 39253.235
AT ITER 5469 NEW BEST:: SOT 1402159 SOS 1091995 HAS SOPS 560219 HAS SOUS 100663 HAS SOUPS 38146 WITH SCORE 39237.995
AT ITER 5481 NEW BEST:: SOT 1402319 SOS 1092384 HAS SOPS 560277 HAS SOUS 100634 HAS SOUPS 38089 WITH SCORE 39181.384
AT ITER 5591 NEW BEST:: SOT 1402319 SOS 1092384 HAS SOPS 560277 HAS SOUS 100576 HAS SOUPS 38031 WITH SCORE 39123.384
AT ITER 5646 NEW BEST:: SOT 1402319 SOS 1092384 HAS SOPS 560277 HAS SOUS 100544 HAS SOUPS 37999 WITH SCORE 39091.384
AT ITER 5676 NEW BEST:: SOT 1402315 SOS 1092001 HAS SOPS 560269 HAS SOUS 100461 HAS SOUPS 37991 WITH SCORE 39083.001
AT ITER 5677 NEW BEST:: SOT 1402300 SOS 1092307 HAS SOPS 560455 HAS SOUS 100458 HAS SOUPS 37988 WITH SCORE 39080.307
AT ITER 5679 NEW BEST:: SOT 1402300 SOS 1093491 HAS SOPS 560455 HAS SOUS 100367 HAS SOUPS 37897 WITH SCORE 38990.491
AT ITER 5694 NEW BEST:: SOT 1402288 SOS 1093479 HAS SOPS 560443 HAS SOUS 100364 HAS SOUPS 37894 WITH SCORE 38987.479
AT ITER 5719 NEW BEST:: SOT 1402288 SOS 1093479 HAS SOPS 560443 HAS SOUS 100356 HAS SOUPS 37886 WITH SCORE 38979.479
AT ITER 5798 NEW BEST:: SOT 1402275 SOS 1093453 HAS SOPS 560417 HAS SOUS 100344 HAS SOUPS 37874 WITH SCORE 38967.453
AT ITER 5825 NEW BEST:: SOT 1402311 SOS 1093453 HAS SOPS 560417 HAS SOUS 100339 HAS SOUPS 37869 WITH SCORE 38962.453
AT ITER 5893 NEW BEST:: SOT 1402283 SOS 1093397 HAS SOPS 560361 HAS SOUS 100335 HAS SOUPS 37865 WITH SCORE 38958.397
AT ITER 5908 NEW BEST:: SOT 1402235 SOS 1093126 HAS SOPS 560265 HAS SOUS 100239 HAS SOUPS 37804 WITH SCORE 38897.126
AT ITER 5915 NEW BEST:: SOT 1402216 SOS 1092819 HAS SOPS 559958 HAS SOUS 100031 HAS SOUPS 37596 WITH SCORE 38688.819
AT ITER 5923 NEW BEST:: SOT 1402178 SOS 1093072 HAS SOPS 559565 HAS SOUS 100039 HAS SOUPS 37585 WITH SCORE 38678.072
AT ITER 5934 NEW BEST:: SOT 1402255 SOS 1093149 HAS SOPS 559600 HAS SOUS 100032 HAS SOUPS 37578 WITH SCORE 38671.149
AT ITER 5937 NEW BEST:: SOT 1402247 SOS 1093131 HAS SOPS 559582 HAS SOUS 100028 HAS SOUPS 37574 WITH SCORE 38667.131
AT ITER 5974 NEW BEST:: SOT 1402227 SOS 1093401 HAS SOPS 559512 HAS SOUS 100028 HAS SOUPS 37564 WITH SCORE 38657.401
AT ITER 6016 NEW BEST:: SOT 1402237 SOS 1093061 HAS SOPS 559492 HAS SOUS 100008 HAS SOUPS 37554 WITH SCORE 38647.061
AT ITER 6031 NEW BEST:: SOT 1402274 SOS 1092452 HAS SOPS 559273 HAS SOUS 99978 HAS SOUPS 37550 WITH SCORE 38642.452
AT ITER 6037 NEW BEST:: SOT 1402221 SOS 1092304 HAS SOPS 559125 HAS SOUS 99948 HAS SOUPS 37520 WITH SCORE 38612.304000000004
AT ITER 6073 NEW BEST:: SOT 1402459 SOS 1092635 HAS SOPS 559349 HAS SOUS 99939 HAS SOUPS 37518 WITH SCORE 38610.635
AT ITER 6094 NEW BEST:: SOT 1402303 SOS 1092407 HAS SOPS 559253 HAS SOUS 99927 HAS SOUPS 37518 WITH SCORE 38610.407
AT ITER 6097 NEW BEST:: SOT 1402277 SOS 1092758 HAS SOPS 559162 HAS SOUS 99914 HAS SOUPS 37492 WITH SCORE 38584.758
AT ITER 6165 NEW BEST:: SOT 1402165 SOS 1092056 HAS SOPS 558812 HAS SOUS 99892 HAS SOUPS 37476 WITH SCORE 38568.056
AT ITER 6181 NEW BEST:: SOT 1402165 SOS 1092056 HAS SOPS 558812 HAS SOUS 99878 HAS SOUPS 37462 WITH SCORE 38554.056
AT ITER 6249 NEW BEST:: SOT 1402134 SOS 1087494 HAS SOPS 554930 HAS SOUS 99833 HAS SOUPS 37437 WITH SCORE 38524.494
AT ITER 6282 NEW BEST:: SOT 1402186 SOS 1087526 HAS SOPS 554962 HAS SOUS 99813 HAS SOUPS 37417 WITH SCORE 38504.526
AT ITER 6283 NEW BEST:: SOT 1403176 SOS 1088516 HAS SOPS 555412 HAS SOUS 99723 HAS SOUPS 37327 WITH SCORE 38415.516
AT ITER 6373 NEW BEST:: SOT 1403700 SOS 1089156 HAS SOPS 555776 HAS SOUS 99676 HAS SOUPS 37316 WITH SCORE 38405.156
AT ITER 6387 NEW BEST:: SOT 1403700 SOS 1089156 HAS SOPS 555776 HAS SOUS 99668 HAS SOUPS 37308 WITH SCORE 38397.156
AT ITER 6412 NEW BEST:: SOT 1403692 SOS 1089015 HAS SOPS 555635 HAS SOUS 99649 HAS SOUPS 37289 WITH SCORE 38378.015
AT ITER 6424 NEW BEST:: SOT 1403710 SOS 1088547 HAS SOPS 555437 HAS SOUS 99613 HAS SOUPS 37271 WITH SCORE 38359.547
AT ITER 6432 NEW BEST:: SOT 1402708 SOS 1087549 HAS SOPS 554802 HAS SOUS 99632 HAS SOUPS 37260 WITH SCORE 38347.549
AT ITER 6511 NEW BEST:: SOT 1402708 SOS 1087549 HAS SOPS 554802 HAS SOUS 99628 HAS SOUPS 37256 WITH SCORE 38343.549
AT ITER 6532 NEW BEST:: SOT 1402706 SOS 1087591 HAS SOPS 554614 HAS SOUS 99672 HAS SOUPS 37254 WITH SCORE 38341.591
AT ITER 6533 NEW BEST:: SOT 1402702 SOS 1087573 HAS SOPS 554606 HAS SOUS 99664 HAS SOUPS 37248 WITH SCORE 38335.573
AT ITER 6545 NEW BEST:: SOT 1402702 SOS 1087573 HAS SOPS 554606 HAS SOUS 99646 HAS SOUPS 37230 WITH SCORE 38317.573
AT ITER 6551 NEW BEST:: SOT 1402682 SOS 1087656 HAS SOPS 554445 HAS SOUS 99625 HAS SOUPS 37164 WITH SCORE 38251.656
AT ITER 6581 NEW BEST:: SOT 1402680 SOS 1087656 HAS SOPS 554446 HAS SOUS 99624 HAS SOUPS 37163 WITH SCORE 38250.656
AT ITER 6675 NEW BEST:: SOT 1402680 SOS 1087656 HAS SOPS 554446 HAS SOUS 99602 HAS SOUPS 37141 WITH SCORE 38228.656
AT ITER 6700 NEW BEST:: SOT 1402680 SOS 1087656 HAS SOPS 554446 HAS SOUS 99598 HAS SOUPS 37137 WITH SCORE 38224.656
AT ITER 6703 NEW BEST:: SOT 1402642 SOS 1087580 HAS SOPS 554370 HAS SOUS 99571 HAS SOUPS 37110 WITH SCORE 38197.58
AT ITER 6713 NEW BEST:: SOT 1402642 SOS 1087580 HAS SOPS 554370 HAS SOUS 99541 HAS SOUPS 37080 WITH SCORE 38167.58
AT ITER 6740 NEW BEST:: SOT 1402652 SOS 1087599 HAS SOPS 554375 HAS SOUS 99531 HAS SOUPS 37065 WITH SCORE 38152.599
AT ITER 6805 NEW BEST:: SOT 1402517 SOS 1088589 HAS SOPS 554915 HAS SOUS 99441 HAS SOUPS 36975 WITH SCORE 38063.589
AT ITER 6812 NEW BEST:: SOT 1402517 SOS 1088589 HAS SOPS 554915 HAS SOUS 99409 HAS SOUPS 36943 WITH SCORE 38031.589
AT ITER 6842 NEW BEST:: SOT 1402517 SOS 1088589 HAS SOPS 554915 HAS SOUS 99393 HAS SOUPS 36927 WITH SCORE 38015.589
AT ITER 6888 NEW BEST:: SOT 1402525 SOS 1088181 HAS SOPS 554507 HAS SOUS 99385 HAS SOUPS 36919 WITH SCORE 38007.181
AT ITER 6913 NEW BEST:: SOT 1402511 SOS 1088428 HAS SOPS 553899 HAS SOUS 99371 HAS SOUPS 36905 WITH SCORE 37993.428
AT ITER 6922 NEW BEST:: SOT 1402511 SOS 1088428 HAS SOPS 553899 HAS SOUS 99359 HAS SOUPS 36893 WITH SCORE 37981.428
AT ITER 7004 NEW BEST:: SOT 1402463 SOS 1088360 HAS SOPS 553875 HAS SOUS 99355 HAS SOUPS 36893 WITH SCORE 37981.36
AT ITER 7013 NEW BEST:: SOT 1402391 SOS 1088072 HAS SOPS 553776 HAS SOUS 99346 HAS SOUPS 36893 WITH SCORE 37981.072
AT ITER 7050 NEW BEST:: SOT 1402220 SOS 1087689 HAS SOPS 553598 HAS SOUS 99286 HAS SOUPS 36874 WITH SCORE 37961.689
AT ITER 7064 NEW BEST:: SOT 1402217 SOS 1087683 HAS SOPS 553592 HAS SOUS 99286 HAS SOUPS 36874 WITH SCORE 37961.683
AT ITER 7066 NEW BEST:: SOT 1402217 SOS 1087683 HAS SOPS 553592 HAS SOUS 99274 HAS SOUPS 36862 WITH SCORE 37949.683
AT ITER 7092 NEW BEST:: SOT 1402613 SOS 1088079 HAS SOPS 553790 HAS SOUS 99241 HAS SOUPS 36829 WITH SCORE 37917.079
AT ITER 7094 NEW BEST:: SOT 1402647 SOS 1087083 HAS SOPS 553174 HAS SOUS 99234 HAS SOUPS 36822 WITH SCORE 37909.083
AT ITER 7121 NEW BEST:: SOT 1402647 SOS 1087083 HAS SOPS 553174 HAS SOUS 99220 HAS SOUPS 36808 WITH SCORE 37895.083
AT ITER 7139 NEW BEST:: SOT 1402615 SOS 1086704 HAS SOPS 553110 HAS SOUS 99102 HAS SOUPS 36753 WITH SCORE 37839.704
AT ITER 7163 NEW BEST:: SOT 1402615 SOS 1086704 HAS SOPS 553110 HAS SOUS 99090 HAS SOUPS 36741 WITH SCORE 37827.704
AT ITER 7190 NEW BEST:: SOT 1402623 SOS 1086719 HAS SOPS 553114 HAS SOUS 99033 HAS SOUPS 36680 WITH SCORE 37766.719
AT ITER 7208 NEW BEST:: SOT 1402603 SOS 1086689 HAS SOPS 553084 HAS SOUS 99013 HAS SOUPS 36660 WITH SCORE 37746.689
AT ITER 7221 NEW BEST:: SOT 1402603 SOS 1086684 HAS SOPS 553104 HAS SOUS 99008 HAS SOUPS 36660 WITH SCORE 37746.684
AT ITER 7262 NEW BEST:: SOT 1402908 SOS 1087377 HAS SOPS 553382 HAS SOUS 99060 HAS SOUPS 36629 WITH SCORE 37716.377
AT ITER 7317 NEW BEST:: SOT 1401480 SOS 1085515 HAS SOPS 552192 HAS SOUS 99005 HAS SOUPS 36574 WITH SCORE 37659.515
AT ITER 7378 NEW BEST:: SOT 1401480 SOS 1085515 HAS SOPS 552192 HAS SOUS 98997 HAS SOUPS 36566 WITH SCORE 37651.515
AT ITER 7383 NEW BEST:: SOT 1401461 SOS 1085420 HAS SOPS 552083 HAS SOUS 98964 HAS SOUPS 36533 WITH SCORE 37618.42
AT ITER 7392 NEW BEST:: SOT 1401455 SOS 1085409 HAS SOPS 552080 HAS SOUS 98960 HAS SOUPS 36532 WITH SCORE 37617.409
AT ITER 7413 NEW BEST:: SOT 1401423 SOS 1085313 HAS SOPS 551984 HAS SOUS 98936 HAS SOUPS 36508 WITH SCORE 37593.313
AT ITER 7419 NEW BEST:: SOT 1401423 SOS 1085313 HAS SOPS 551984 HAS SOUS 98874 HAS SOUPS 36446 WITH SCORE 37531.313
AT ITER 7429 NEW BEST:: SOT 1401402 SOS 1085271 HAS SOPS 551942 HAS SOUS 98832 HAS SOUPS 36404 WITH SCORE 37489.271
AT ITER 7457 NEW BEST:: SOT 1401469 SOS 1080755 HAS SOPS 551776 HAS SOUS 98716 HAS SOUPS 36288 WITH SCORE 37368.755
AT ITER 7486 NEW BEST:: SOT 1401460 SOS 1080692 HAS SOPS 551758 HAS SOUS 98698 HAS SOUPS 36279 WITH SCORE 37359.692
AT ITER 7521 NEW BEST:: SOT 1400868 SOS 1080022 HAS SOPS 551358 HAS SOUS 98674 HAS SOUPS 36255 WITH SCORE 37335.022
AT ITER 7533 NEW BEST:: SOT 1400976 SOS 1080175 HAS SOPS 551412 HAS SOUS 98665 HAS SOUPS 36237 WITH SCORE 37317.175
AT ITER 7543 NEW BEST:: SOT 1400961 SOS 1080070 HAS SOPS 551382 HAS SOUS 98620 HAS SOUPS 36207 WITH SCORE 37287.07
AT ITER 7550 NEW BEST:: SOT 1400961 SOS 1079890 HAS SOPS 551372 HAS SOUS 98605 HAS SOUPS 36197 WITH SCORE 37276.89
AT ITER 7599 NEW BEST:: SOT 1400961 SOS 1079890 HAS SOPS 551372 HAS SOUS 98593 HAS SOUPS 36185 WITH SCORE 37264.89
AT ITER 7622 NEW BEST:: SOT 1400943 SOS 1079848 HAS SOPS 551360 HAS SOUS 98581 HAS SOUPS 36179 WITH SCORE 37258.848
AT ITER 7684 NEW BEST:: SOT 1400827 SOS 1079406 HAS SOPS 551128 HAS SOUS 98565 HAS SOUPS 36173 WITH SCORE 37252.406
AT ITER 7843 NEW BEST:: SOT 1400369 SOS 1078740 HAS SOPS 550848 HAS SOUS 98534 HAS SOUPS 36164 WITH SCORE 37242.74
AT ITER 7857 NEW BEST:: SOT 1400025 SOS 1078391 HAS SOPS 550577 HAS SOUS 98539 HAS SOUPS 36148 WITH SCORE 37226.391
AT ITER 7921 NEW BEST:: SOT 1400025 SOS 1078391 HAS SOPS 550577 HAS SOUS 98535 HAS SOUPS 36144 WITH SCORE 37222.391
AT ITER 7925 NEW BEST:: SOT 1399645 SOS 1077935 HAS SOPS 550349 HAS SOUS 98500 HAS SOUPS 36109 WITH SCORE 37186.935
AT ITER 7940 NEW BEST:: SOT 1399681 SOS 1078007 HAS SOPS 550421 HAS SOUS 98431 HAS SOUPS 36040 WITH SCORE 37118.007
AT ITER 7995 NEW BEST:: SOT 1399661 SOS 1077962 HAS SOPS 550376 HAS SOUS 98426 HAS SOUPS 36035 WITH SCORE 37112.962
AT ITER 8025 NEW BEST:: SOT 1399644 SOS 1077778 HAS SOPS 550342 HAS SOUS 98381 HAS SOUPS 36020 WITH SCORE 37097.778
AT ITER 8037 NEW BEST:: SOT 1399613 SOS 1077716 HAS SOPS 550280 HAS SOUS 98350 HAS SOUPS 35989 WITH SCORE 37066.716
AT ITER 8061 NEW BEST:: SOT 1399613 SOS 1077716 HAS SOPS 550280 HAS SOUS 98347 HAS SOUPS 35986 WITH SCORE 37063.716
AT ITER 8093 NEW BEST:: SOT 1399608 SOS 1077711 HAS SOPS 550445 HAS SOUS 98342 HAS SOUPS 35986 WITH SCORE 37063.711
AT ITER 8122 NEW BEST:: SOT 1399608 SOS 1077425 HAS SOPS 550304 HAS SOUS 98339 HAS SOUPS 35983 WITH SCORE 37060.425
AT ITER 8148 NEW BEST:: SOT 1399666 SOS 1068136 HAS SOPS 542610 HAS SOUS 98342 HAS SOUPS 35986 WITH SCORE 37054.136
AT ITER 8222 NEW BEST:: SOT 1399666 SOS 1068136 HAS SOPS 542610 HAS SOUS 98340 HAS SOUPS 35984 WITH SCORE 37052.136
AT ITER 8223 NEW BEST:: SOT 1399666 SOS 1068136 HAS SOPS 542610 HAS SOUS 98322 HAS SOUPS 35966 WITH SCORE 37034.136
AT ITER 8237 NEW BEST:: SOT 1399665 SOS 1068134 HAS SOPS 542608 HAS SOUS 98320 HAS SOUPS 35964 WITH SCORE 37032.134
AT ITER 8283 NEW BEST:: SOT 1399746 SOS 1068248 HAS SOPS 542650 HAS SOUS 98306 HAS SOUPS 35950 WITH SCORE 37018.248
AT ITER 8286 NEW BEST:: SOT 1399625 SOS 1069773 HAS SOPS 542610 HAS SOUS 98301 HAS SOUPS 35945 WITH SCORE 37014.773
AT ITER 8360 NEW BEST:: SOT 1399625 SOS 1069773 HAS SOPS 542610 HAS SOUS 98259 HAS SOUPS 35903 WITH SCORE 36972.773
AT ITER 8409 NEW BEST:: SOT 1399625 SOS 1069773 HAS SOPS 542610 HAS SOUS 98249 HAS SOUPS 35893 WITH SCORE 36962.773
AT ITER 8480 NEW BEST:: SOT 1399685 SOS 1069920 HAS SOPS 542622 HAS SOUS 98275 HAS SOUPS 35892 WITH SCORE 36961.92
AT ITER 8506 NEW BEST:: SOT 1399671 SOS 1071089 HAS SOPS 543553 HAS SOUS 98275 HAS SOUPS 35885 WITH SCORE 36956.089
AT ITER 8539 NEW BEST:: SOT 1399580 SOS 1070907 HAS SOPS 543371 HAS SOUS 98138 HAS SOUPS 35748 WITH SCORE 36818.907
AT ITER 8585 NEW BEST:: SOT 1397575 SOS 1067975 HAS SOPS 542133 HAS SOUS 97965 HAS SOUPS 35729 WITH SCORE 36796.975
AT ITER 8603 NEW BEST:: SOT 1397597 SOS 1067624 HAS SOPS 542177 HAS SOUS 97836 HAS SOUPS 35679 WITH SCORE 36746.624
AT ITER 8651 NEW BEST:: SOT 1397567 SOS 1067492 HAS SOPS 542135 HAS SOUS 97798 HAS SOUPS 35659 WITH SCORE 36726.492
AT ITER 8662 NEW BEST:: SOT 1397563 SOS 1067638 HAS SOPS 542009 HAS SOUS 97801 HAS SOUPS 35654 WITH SCORE 36721.638
AT ITER 8751 NEW BEST:: SOT 1397472 SOS 1067540 HAS SOPS 541953 HAS SOUS 97794 HAS SOUPS 35647 WITH SCORE 36714.54
AT ITER 8776 NEW BEST:: SOT 1397452 SOS 1067500 HAS SOPS 541913 HAS SOUS 97769 HAS SOUPS 35622 WITH SCORE 36689.5
AT ITER 8825 NEW BEST:: SOT 1397441 SOS 1067115 HAS SOPS 541693 HAS SOUS 97725 HAS SOUPS 35589 WITH SCORE 36656.115
AT ITER 8901 NEW BEST:: SOT 1397436 SOS 1067090 HAS SOPS 541593 HAS SOUS 97730 HAS SOUPS 35589 WITH SCORE 36656.09
AT ITER 8906 NEW BEST:: SOT 1397436 SOS 1067090 HAS SOPS 541583 HAS SOUS 97731 HAS SOUPS 35588 WITH SCORE 36655.09
AT ITER 8918 NEW BEST:: SOT 1397428 SOS 1067034 HAS SOPS 541567 HAS SOUS 97707 HAS SOUPS 35572 WITH SCORE 36639.034
AT ITER 8934 NEW BEST:: SOT 1397294 SOS 1066816 HAS SOPS 541475 HAS SOUS 97647 HAS SOUPS 35533 WITH SCORE 36599.816
AT ITER 8935 NEW BEST:: SOT 1397294 SOS 1066816 HAS SOPS 541390 HAS SOUS 97630 HAS SOUPS 35499 WITH SCORE 36565.816
AT ITER 8949 NEW BEST:: SOT 1397216 SOS 1066764 HAS SOPS 541338 HAS SOUS 97626 HAS SOUPS 35495 WITH SCORE 36561.764
AT ITER 8959 NEW BEST:: SOT 1397066 SOS 1066584 HAS SOPS 541248 HAS SOUS 97626 HAS SOUPS 35495 WITH SCORE 36561.584
AT ITER 8962 NEW BEST:: SOT 1397139 SOS 1064686 HAS SOPS 540445 HAS SOUS 97553 HAS SOUPS 35495 WITH SCORE 36559.686
AT ITER 8966 NEW BEST:: SOT 1395935 SOS 1062948 HAS SOPS 539796 HAS SOUS 97446 HAS SOUPS 35487 WITH SCORE 36549.948
AT ITER 8977 NEW BEST:: SOT 1396150 SOS 1061433 HAS SOPS 539081 HAS SOUS 97436 HAS SOUPS 35477 WITH SCORE 36538.433
AT ITER 9067 NEW BEST:: SOT 1396124 SOS 1061405 HAS SOPS 539065 HAS SOUS 97434 HAS SOUPS 35475 WITH SCORE 36536.405
AT ITER 9176 NEW BEST:: SOT 1396124 SOS 1061405 HAS SOPS 539065 HAS SOUS 97428 HAS SOUPS 35469 WITH SCORE 36530.405
AT ITER 9202 NEW BEST:: SOT 1396188 SOS 1061497 HAS SOPS 539103 HAS SOUS 97423 HAS SOUPS 35464 WITH SCORE 36525.497
AT ITER 9229 NEW BEST:: SOT 1396392 SOS 1061786 HAS SOPS 539205 HAS SOUS 97408 HAS SOUPS 35432 WITH SCORE 36493.786
AT ITER 9301 NEW BEST:: SOT 1396424 SOS 1061788 HAS SOPS 539207 HAS SOUS 97404 HAS SOUPS 35428 WITH SCORE 36489.788
AT ITER 9321 NEW BEST:: SOT 1396424 SOS 1061788 HAS SOPS 539207 HAS SOUS 97392 HAS SOUPS 35416 WITH SCORE 36477.788
AT ITER 9324 NEW BEST:: SOT 1396416 SOS 1061772 HAS SOPS 539191 HAS SOUS 97370 HAS SOUPS 35394 WITH SCORE 36455.772
AT ITER 9415 NEW BEST:: SOT 1396382 SOS 1061182 HAS SOPS 538871 HAS SOUS 97308 HAS SOUPS 35350 WITH SCORE 36411.182
AT ITER 9425 NEW BEST:: SOT 1396382 SOS 1061182 HAS SOPS 538871 HAS SOUS 97304 HAS SOUPS 35346 WITH SCORE 36407.182
AT ITER 9445 NEW BEST:: SOT 1396362 SOS 1059938 HAS SOPS 537412 HAS SOUS 97327 HAS SOUPS 35326 WITH SCORE 36385.938
AT ITER 9473 NEW BEST:: SOT 1396350 SOS 1059914 HAS SOPS 537388 HAS SOUS 97314 HAS SOUPS 35313 WITH SCORE 36372.914
AT ITER 9488 NEW BEST:: SOT 1396336 SOS 1059816 HAS SOPS 537360 HAS SOUS 97275 HAS SOUPS 35288 WITH SCORE 36347.816
AT ITER 9559 NEW BEST:: SOT 1394642 SOS 1057805 HAS SOPS 536105 HAS SOUS 97215 HAS SOUPS 35228 WITH SCORE 36285.805
AT ITER 9587 NEW BEST:: SOT 1394636 SOS 1057793 HAS SOPS 536078 HAS SOUS 97212 HAS SOUPS 35222 WITH SCORE 36279.793
AT ITER 9615 NEW BEST:: SOT 1394699 SOS 1057964 HAS SOPS 536024 HAS SOUS 97253 HAS SOUPS 35218 WITH SCORE 36275.964
AT ITER 9640 NEW BEST:: SOT 1394648 SOS 1057862 HAS SOPS 535922 HAS SOUS 97214 HAS SOUPS 35179 WITH SCORE 36236.862
AT ITER 9648 NEW BEST:: SOT 1394647 SOS 1057132 HAS SOPS 535062 HAS SOUS 97239 HAS SOUPS 35178 WITH SCORE 36235.132
AT ITER 9722 NEW BEST:: SOT 1393057 SOS 1055250 HAS SOPS 533924 HAS SOUS 97137 HAS SOUPS 35076 WITH SCORE 36131.25
AT ITER 9725 NEW BEST:: SOT 1392705 SOS 1054835 HAS SOPS 533671 HAS SOUS 97109 HAS SOUPS 35048 WITH SCORE 36102.835
AT ITER 9732 NEW BEST:: SOT 1392699 SOS 1054822 HAS SOPS 533663 HAS SOUS 97104 HAS SOUPS 35044 WITH SCORE 36098.822
AT ITER 9739 NEW BEST:: SOT 1392627 SOS 1052592 HAS SOPS 532543 HAS SOUS 97032 HAS SOUPS 35046 WITH SCORE 36098.592
AT ITER 9753 NEW BEST:: SOT 1392547 SOS 1052375 HAS SOPS 532611 HAS SOUS 96895 HAS SOUPS 34966 WITH SCORE 36018.375
AT ITER 9781 NEW BEST:: SOT 1392619 SOS 1052447 HAS SOPS 532647 HAS SOUS 96883 HAS SOUPS 34954 WITH SCORE 36006.447
AT ITER 9872 NEW BEST:: SOT 1392507 SOS 1052195 HAS SOPS 532535 HAS SOUS 96804 HAS SOUPS 34903 WITH SCORE 35955.195
AT ITER 9888 NEW BEST:: SOT 1392558 SOS 1051274 HAS SOPS 532079 HAS SOUS 96755 HAS SOUPS 34885 WITH SCORE 35936.274
AT ITER 9899 NEW BEST:: SOT 1392404 SOS 1051043 HAS SOPS 531963 HAS SOUS 96737 HAS SOUPS 34873 WITH SCORE 35924.043
AT ITER 9917 NEW BEST:: SOT 1392371 SOS 1050757 HAS SOPS 531947 HAS SOUS 96668 HAS SOUPS 34858 WITH SCORE 35908.757

BK_STOP 1678251280703

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-3a"
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 DLCflexbar-PT-3a, 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 r099-tall-167814472500528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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