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-167813590800416.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-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590800416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.7K Feb 25 18:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 18:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 18:17 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:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 18:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 18:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 70K 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 1678472881089

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-03b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 03b
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: 298 places, 296 transitions, 692 arcs.
AT ITER 0 NEW BEST:: SOT 48099 SOS 11205 HAS SOPS 11205 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10257.205
AT ITER 41 NEW BEST:: SOT 48099 SOS 11203 HAS SOPS 11203 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10255.203
AT ITER 45 NEW BEST:: SOT 48132 SOS 11237 HAS SOPS 11237 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10240.237
AT ITER 55 NEW BEST:: SOT 48128 SOS 11229 HAS SOPS 11229 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10232.229
AT ITER 58 NEW BEST:: SOT 48114 SOS 11194 HAS SOPS 11194 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10211.194
AT ITER 66 NEW BEST:: SOT 48114 SOS 11189 HAS SOPS 11189 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10195.189
AT ITER 68 NEW BEST:: SOT 48083 SOS 11127 HAS SOPS 11127 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10183.127
AT ITER 78 NEW BEST:: SOT 48083 SOS 11110 HAS SOPS 11110 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10166.11
AT ITER 88 NEW BEST:: SOT 48079 SOS 11102 HAS SOPS 11102 HAS SOUS 10147 HAS SOUPS 10147 WITH SCORE 10158.102
AT ITER 103 NEW BEST:: SOT 48066 SOS 11047 HAS SOPS 11047 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10108.047
AT ITER 105 NEW BEST:: SOT 48066 SOS 11047 HAS SOPS 11047 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10107.047
AT ITER 132 NEW BEST:: SOT 48068 SOS 11032 HAS SOPS 11032 HAS SOUS 10081 HAS SOUPS 10081 WITH SCORE 10092.032
AT ITER 152 NEW BEST:: SOT 48068 SOS 11017 HAS SOPS 11017 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10091.017
AT ITER 154 NEW BEST:: SOT 48077 SOS 11009 HAS SOPS 11009 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10083.009
AT ITER 155 NEW BEST:: SOT 48073 SOS 10997 HAS SOPS 10997 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10078.997
AT ITER 165 NEW BEST:: SOT 48073 SOS 10972 HAS SOPS 10972 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10053.972
AT ITER 177 NEW BEST:: SOT 48073 SOS 10959 HAS SOPS 10959 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10040.959
AT ITER 180 NEW BEST:: SOT 48067 SOS 10941 HAS SOPS 10941 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10034.941
AT ITER 184 NEW BEST:: SOT 48037 SOS 10911 HAS SOPS 10911 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10004.911
AT ITER 195 NEW BEST:: SOT 48033 SOS 10892 HAS SOPS 10892 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 9996.892
AT ITER 216 NEW BEST:: SOT 48023 SOS 10886 HAS SOPS 10886 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9990.886
AT ITER 232 NEW BEST:: SOT 48001 SOS 10875 HAS SOPS 10875 HAS SOUS 9969 HAS SOUPS 9969 WITH SCORE 9979.875
AT ITER 253 NEW BEST:: SOT 48001 SOS 10860 HAS SOPS 10860 HAS SOUS 9954 HAS SOUPS 9954 WITH SCORE 9964.86
AT ITER 269 NEW BEST:: SOT 48001 SOS 10860 HAS SOPS 10860 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9953.86
AT ITER 274 NEW BEST:: SOT 48001 SOS 10838 HAS SOPS 10838 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9936.838
AT ITER 304 NEW BEST:: SOT 48000 SOS 10829 HAS SOPS 10829 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9927.829
AT ITER 316 NEW BEST:: SOT 47976 SOS 10850 HAS SOPS 10850 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9880.85
AT ITER 347 NEW BEST:: SOT 47976 SOS 10848 HAS SOPS 10848 HAS SOUS 9868 HAS SOUPS 9868 WITH SCORE 9878.848
AT ITER 381 NEW BEST:: SOT 47967 SOS 10866 HAS SOPS 10866 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9845.866
AT ITER 383 NEW BEST:: SOT 47973 SOS 10878 HAS SOPS 10878 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9842.878
AT ITER 385 NEW BEST:: SOT 47968 SOS 10868 HAS SOPS 10868 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9837.868
AT ITER 386 NEW BEST:: SOT 47968 SOS 10849 HAS SOPS 10849 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9818.849
AT ITER 392 NEW BEST:: SOT 47985 SOS 10848 HAS SOPS 10848 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9813.848
AT ITER 409 NEW BEST:: SOT 47989 SOS 10844 HAS SOPS 10844 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9809.844
AT ITER 416 NEW BEST:: SOT 47983 SOS 10832 HAS SOPS 10832 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9797.832
AT ITER 423 NEW BEST:: SOT 47982 SOS 10818 HAS SOPS 10818 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.818
AT ITER 452 NEW BEST:: SOT 47977 SOS 10808 HAS SOPS 10808 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9778.808
AT ITER 496 NEW BEST:: SOT 47946 SOS 10777 HAS SOPS 10777 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9747.777
AT ITER 519 NEW BEST:: SOT 47906 SOS 10677 HAS SOPS 10677 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9707.677
AT ITER 524 NEW BEST:: SOT 47898 SOS 10643 HAS SOPS 10643 HAS SOUS 9660 HAS SOUPS 9660 WITH SCORE 9670.643
AT ITER 533 NEW BEST:: SOT 47906 SOS 10506 HAS SOPS 10506 HAS SOUS 9617 HAS SOUPS 9617 WITH SCORE 9627.506
AT ITER 546 NEW BEST:: SOT 47897 SOS 10494 HAS SOPS 10494 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9615.494
AT ITER 563 NEW BEST:: SOT 47897 SOS 10452 HAS SOPS 10452 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9615.452
AT ITER 565 NEW BEST:: SOT 47890 SOS 10438 HAS SOPS 10438 HAS SOUS 9586 HAS SOUPS 9586 WITH SCORE 9596.438
AT ITER 606 NEW BEST:: SOT 47890 SOS 10427 HAS SOPS 10427 HAS SOUS 9585 HAS SOUPS 9585 WITH SCORE 9595.427
AT ITER 617 NEW BEST:: SOT 47884 SOS 10399 HAS SOPS 10399 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9571.399
AT ITER 631 NEW BEST:: SOT 47884 SOS 10389 HAS SOPS 10389 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9561.389
AT ITER 634 NEW BEST:: SOT 47867 SOS 10313 HAS SOPS 10313 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9458.313
AT ITER 637 NEW BEST:: SOT 47867 SOS 10308 HAS SOPS 10308 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9453.308
AT ITER 638 NEW BEST:: SOT 47863 SOS 10300 HAS SOPS 10300 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9422.3
AT ITER 640 NEW BEST:: SOT 47863 SOS 10300 HAS SOPS 10300 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9400.3
AT ITER 667 NEW BEST:: SOT 47851 SOS 10292 HAS SOPS 10292 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9382.292
AT ITER 817 NEW BEST:: SOT 47869 SOS 10290 HAS SOPS 10290 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9380.29
AT ITER 826 NEW BEST:: SOT 47866 SOS 10281 HAS SOPS 10281 HAS SOUS 9364 HAS SOUPS 9364 WITH SCORE 9374.281
AT ITER 836 NEW BEST:: SOT 47879 SOS 10270 HAS SOPS 10270 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9363.27
AT ITER 853 NEW BEST:: SOT 47881 SOS 10265 HAS SOPS 10265 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9358.265
AT ITER 863 NEW BEST:: SOT 47878 SOS 10254 HAS SOPS 10254 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9347.254
AT ITER 866 NEW BEST:: SOT 47875 SOS 10153 HAS SOPS 10153 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9308.153
AT ITER 884 NEW BEST:: SOT 47875 SOS 10134 HAS SOPS 10134 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9308.134
AT ITER 886 NEW BEST:: SOT 47872 SOS 10123 HAS SOPS 10123 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9297.123
AT ITER 887 NEW BEST:: SOT 47872 SOS 10110 HAS SOPS 10110 HAS SOUS 9274 HAS SOUPS 9274 WITH SCORE 9284.11
AT ITER 913 NEW BEST:: SOT 47857 SOS 10262 HAS SOPS 10262 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9280.262
AT ITER 916 NEW BEST:: SOT 47841 SOS 10230 HAS SOPS 10230 HAS SOUS 9238 HAS SOUPS 9238 WITH SCORE 9248.23
AT ITER 918 NEW BEST:: SOT 47818 SOS 10206 HAS SOPS 10206 HAS SOUS 9214 HAS SOUPS 9214 WITH SCORE 9224.206
AT ITER 921 NEW BEST:: SOT 47820 SOS 10194 HAS SOPS 10194 HAS SOUS 9214 HAS SOUPS 9214 WITH SCORE 9224.194
AT ITER 925 NEW BEST:: SOT 47796 SOS 10118 HAS SOPS 10118 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9172.118
AT ITER 989 NEW BEST:: SOT 47796 SOS 10118 HAS SOPS 10118 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9164.118
AT ITER 992 NEW BEST:: SOT 47758 SOS 10247 HAS SOPS 10247 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9150.247
AT ITER 1009 NEW BEST:: SOT 47748 SOS 10194 HAS SOPS 10194 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9130.194
AT ITER 1013 NEW BEST:: SOT 47718 SOS 10164 HAS SOPS 10164 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9103.164
AT ITER 1018 NEW BEST:: SOT 47711 SOS 10162 HAS SOPS 10162 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.162
AT ITER 1025 NEW BEST:: SOT 47723 SOS 10186 HAS SOPS 10186 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9086.186
AT ITER 1052 NEW BEST:: SOT 47723 SOS 10182 HAS SOPS 10182 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9082.182
AT ITER 1058 NEW BEST:: SOT 47722 SOS 10180 HAS SOPS 10180 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9080.18
AT ITER 1063 NEW BEST:: SOT 47696 SOS 10141 HAS SOPS 10141 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9054.141
AT ITER 1069 NEW BEST:: SOT 47673 SOS 10113 HAS SOPS 10113 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9000.113
AT ITER 1081 NEW BEST:: SOT 47672 SOS 10111 HAS SOPS 10111 HAS SOUS 8988 HAS SOUPS 8988 WITH SCORE 8998.111
AT ITER 1107 NEW BEST:: SOT 47672 SOS 10083 HAS SOPS 10083 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8991.083
AT ITER 1120 NEW BEST:: SOT 47647 SOS 10033 HAS SOPS 10033 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8941.033
AT ITER 1128 NEW BEST:: SOT 47703 SOS 9857 HAS SOPS 9857 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8876.857
AT ITER 1160 NEW BEST:: SOT 47689 SOS 9829 HAS SOPS 9829 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8848.829
AT ITER 1165 NEW BEST:: SOT 47688 SOS 9827 HAS SOPS 9827 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8821.827
AT ITER 1179 NEW BEST:: SOT 47695 SOS 9823 HAS SOPS 9823 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8796.823
AT ITER 1190 NEW BEST:: SOT 47694 SOS 9821 HAS SOPS 9821 HAS SOUS 8785 HAS SOUPS 8785 WITH SCORE 8794.821
AT ITER 1202 NEW BEST:: SOT 47694 SOS 9814 HAS SOPS 9814 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8787.814
AT ITER 1223 NEW BEST:: SOT 47693 SOS 9795 HAS SOPS 9795 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8768.795
AT ITER 1244 NEW BEST:: SOT 47693 SOS 9789 HAS SOPS 9789 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8756.789
AT ITER 1248 NEW BEST:: SOT 47709 SOS 9873 HAS SOPS 9873 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8736.873
AT ITER 1272 NEW BEST:: SOT 47709 SOS 9870 HAS SOPS 9870 HAS SOUS 8724 HAS SOUPS 8724 WITH SCORE 8733.87
AT ITER 1288 NEW BEST:: SOT 47707 SOS 9866 HAS SOPS 9866 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8729.866
AT ITER 1313 NEW BEST:: SOT 47706 SOS 9864 HAS SOPS 9864 HAS SOUS 8718 HAS SOUPS 8718 WITH SCORE 8727.864
AT ITER 1341 NEW BEST:: SOT 47706 SOS 9859 HAS SOPS 9859 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8722.859
AT ITER 1345 NEW BEST:: SOT 47706 SOS 9858 HAS SOPS 9858 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8721.858
AT ITER 1353 NEW BEST:: SOT 47702 SOS 9854 HAS SOPS 9854 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8717.854
AT ITER 1360 NEW BEST:: SOT 47696 SOS 9854 HAS SOPS 9854 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8713.854
AT ITER 1364 NEW BEST:: SOT 47708 SOS 9878 HAS SOPS 9878 HAS SOUS 8699 HAS SOUPS 8699 WITH SCORE 8708.878
AT ITER 1365 NEW BEST:: SOT 47717 SOS 9873 HAS SOPS 9873 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8676.873
AT ITER 1386 NEW BEST:: SOT 47717 SOS 9871 HAS SOPS 9871 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.871
AT ITER 1400 NEW BEST:: SOT 47707 SOS 9835 HAS SOPS 9835 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8655.835
AT ITER 1437 NEW BEST:: SOT 47696 SOS 9824 HAS SOPS 9824 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8644.824
AT ITER 1444 NEW BEST:: SOT 47691 SOS 9820 HAS SOPS 9820 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8644.82
AT ITER 1460 NEW BEST:: SOT 47687 SOS 9812 HAS SOPS 9812 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8636.812
AT ITER 1471 NEW BEST:: SOT 47686 SOS 9810 HAS SOPS 9810 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.81
AT ITER 1476 NEW BEST:: SOT 47686 SOS 9786 HAS SOPS 9786 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.786
AT ITER 1481 NEW BEST:: SOT 47666 SOS 9781 HAS SOPS 9781 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8628.781
AT ITER 1492 NEW BEST:: SOT 47666 SOS 9780 HAS SOPS 9780 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.78
AT ITER 1525 NEW BEST:: SOT 47674 SOS 9796 HAS SOPS 9796 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8626.796
AT ITER 1532 NEW BEST:: SOT 47673 SOS 9794 HAS SOPS 9794 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8624.794
AT ITER 1539 NEW BEST:: SOT 47681 SOS 9810 HAS SOPS 9810 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8620.81
AT ITER 1544 NEW BEST:: SOT 47681 SOS 9794 HAS SOPS 9794 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8604.794
AT ITER 1551 NEW BEST:: SOT 47681 SOS 9780 HAS SOPS 9780 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8590.78
AT ITER 1570 NEW BEST:: SOT 47681 SOS 9779 HAS SOPS 9779 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8589.779
AT ITER 1614 NEW BEST:: SOT 47681 SOS 9779 HAS SOPS 9779 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8575.779
AT ITER 1619 NEW BEST:: SOT 47680 SOS 9729 HAS SOPS 9729 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8525.729
AT ITER 1628 NEW BEST:: SOT 47681 SOS 9728 HAS SOPS 9728 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8524.728
AT ITER 1636 NEW BEST:: SOT 47639 SOS 9644 HAS SOPS 9644 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8474.644
AT ITER 1666 NEW BEST:: SOT 47615 SOS 9619 HAS SOPS 9619 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8449.619
AT ITER 1675 NEW BEST:: SOT 47615 SOS 9618 HAS SOPS 9618 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8448.618
AT ITER 1683 NEW BEST:: SOT 47610 SOS 9608 HAS SOPS 9608 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8426.608
AT ITER 1758 NEW BEST:: SOT 47610 SOS 9556 HAS SOPS 9556 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8374.556
AT ITER 1772 NEW BEST:: SOT 47593 SOS 9478 HAS SOPS 9478 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8340.478
AT ITER 1784 NEW BEST:: SOT 47593 SOS 9476 HAS SOPS 9476 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8338.476
AT ITER 1806 NEW BEST:: SOT 47577 SOS 9352 HAS SOPS 9352 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8306.352
AT ITER 1841 NEW BEST:: SOT 47576 SOS 9332 HAS SOPS 9332 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8304.332
AT ITER 1848 NEW BEST:: SOT 47576 SOS 9330 HAS SOPS 9330 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8304.33
AT ITER 1886 NEW BEST:: SOT 47565 SOS 9319 HAS SOPS 9319 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8293.319
AT ITER 1937 NEW BEST:: SOT 47565 SOS 9307 HAS SOPS 9307 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8293.307
AT ITER 1943 NEW BEST:: SOT 47565 SOS 9301 HAS SOPS 9301 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8287.301
AT ITER 1949 NEW BEST:: SOT 47562 SOS 9295 HAS SOPS 9295 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8281.295
AT ITER 1994 NEW BEST:: SOT 47559 SOS 9269 HAS SOPS 9269 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8217.269
AT ITER 2063 NEW BEST:: SOT 47553 SOS 9257 HAS SOPS 9257 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8211.257
AT ITER 2065 NEW BEST:: SOT 47549 SOS 9249 HAS SOPS 9249 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8207.249
AT ITER 2072 NEW BEST:: SOT 47549 SOS 9243 HAS SOPS 9243 HAS SOUS 8181 HAS SOUPS 8181 WITH SCORE 8190.243
AT ITER 2076 NEW BEST:: SOT 47549 SOS 9236 HAS SOPS 9236 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8183.236
AT ITER 2081 NEW BEST:: SOT 47537 SOS 9206 HAS SOPS 9206 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8153.206
AT ITER 2113 NEW BEST:: SOT 47535 SOS 9202 HAS SOPS 9202 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8149.202
AT ITER 2230 NEW BEST:: SOT 47535 SOS 9193 HAS SOPS 9193 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8143.193
AT ITER 2237 NEW BEST:: SOT 47534 SOS 9172 HAS SOPS 9172 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8139.172
AT ITER 2264 NEW BEST:: SOT 47517 SOS 9155 HAS SOPS 9155 HAS SOUS 8130 HAS SOUPS 8130 WITH SCORE 8139.155
AT ITER 2271 NEW BEST:: SOT 47512 SOS 9145 HAS SOPS 9145 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8115.145
AT ITER 2305 NEW BEST:: SOT 47547 SOS 9137 HAS SOPS 9137 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8110.137
AT ITER 2315 NEW BEST:: SOT 47532 SOS 9122 HAS SOPS 9122 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8095.122
AT ITER 2319 NEW BEST:: SOT 47529 SOS 9116 HAS SOPS 9116 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8092.116
AT ITER 2322 NEW BEST:: SOT 47533 SOS 9107 HAS SOPS 9107 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8083.107
AT ITER 2366 NEW BEST:: SOT 47523 SOS 9087 HAS SOPS 9087 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8063.087
AT ITER 2371 NEW BEST:: SOT 47521 SOS 9085 HAS SOPS 9085 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8061.085
AT ITER 2380 NEW BEST:: SOT 47521 SOS 9079 HAS SOPS 9079 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8049.079
AT ITER 2384 NEW BEST:: SOT 47497 SOS 9055 HAS SOPS 9055 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8025.055
AT ITER 2399 NEW BEST:: SOT 47525 SOS 9055 HAS SOPS 9055 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8001.055
AT ITER 2420 NEW BEST:: SOT 47525 SOS 9053 HAS SOPS 9053 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8001.053
AT ITER 2422 NEW BEST:: SOT 47524 SOS 9029 HAS SOPS 9029 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 7999.029
AT ITER 2435 NEW BEST:: SOT 47524 SOS 9029 HAS SOPS 9029 HAS SOUS 7984 HAS SOUPS 7984 WITH SCORE 7993.029
AT ITER 2441 NEW BEST:: SOT 47524 SOS 9022 HAS SOPS 9022 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7986.022
AT ITER 2485 NEW BEST:: SOT 47524 SOS 9019 HAS SOPS 9019 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7986.019
AT ITER 2494 NEW BEST:: SOT 47524 SOS 9009 HAS SOPS 9009 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7976.009
AT ITER 2498 NEW BEST:: SOT 47524 SOS 8996 HAS SOPS 8996 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7975.996
AT ITER 2514 NEW BEST:: SOT 47524 SOS 8994 HAS SOPS 8994 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7975.994
AT ITER 2567 NEW BEST:: SOT 47508 SOS 8962 HAS SOPS 8962 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7943.962
AT ITER 2622 NEW BEST:: SOT 47490 SOS 8892 HAS SOPS 8892 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7907.892
AT ITER 2648 NEW BEST:: SOT 47490 SOS 8909 HAS SOPS 8909 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7901.909
AT ITER 2679 NEW BEST:: SOT 47485 SOS 8902 HAS SOPS 8902 HAS SOUS 7887 HAS SOUPS 7887 WITH SCORE 7895.902
AT ITER 2686 NEW BEST:: SOT 47479 SOS 8896 HAS SOPS 8896 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7889.896
AT ITER 2725 NEW BEST:: SOT 47478 SOS 8895 HAS SOPS 8895 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7889.895
AT ITER 2745 NEW BEST:: SOT 47467 SOS 8837 HAS SOPS 8837 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7857.837
AT ITER 2814 NEW BEST:: SOT 47467 SOS 8840 HAS SOPS 8840 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7856.84
AT ITER 2911 NEW BEST:: SOT 47460 SOS 8826 HAS SOPS 8826 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7849.826
AT ITER 2921 NEW BEST:: SOT 47445 SOS 8811 HAS SOPS 8811 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7834.811
AT ITER 2951 NEW BEST:: SOT 47414 SOS 8780 HAS SOPS 8780 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7803.78
AT ITER 2956 NEW BEST:: SOT 47406 SOS 8741 HAS SOPS 8741 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7765.741
AT ITER 2971 NEW BEST:: SOT 47404 SOS 8735 HAS SOPS 8735 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7761.735
AT ITER 2986 NEW BEST:: SOT 47402 SOS 8725 HAS SOPS 8725 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7754.725
AT ITER 2987 NEW BEST:: SOT 47398 SOS 8721 HAS SOPS 8721 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7750.721
AT ITER 3093 NEW BEST:: SOT 47399 SOS 8723 HAS SOPS 8723 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7742.723
AT ITER 3120 NEW BEST:: SOT 47402 SOS 8720 HAS SOPS 8720 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7739.72
AT ITER 3160 NEW BEST:: SOT 47389 SOS 8708 HAS SOPS 8708 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7725.708
AT ITER 3191 NEW BEST:: SOT 47389 SOS 8704 HAS SOPS 8704 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7721.704
AT ITER 3192 NEW BEST:: SOT 47389 SOS 8686 HAS SOPS 8686 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7715.686
AT ITER 3193 NEW BEST:: SOT 47374 SOS 8656 HAS SOPS 8656 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7682.656
AT ITER 3231 NEW BEST:: SOT 47367 SOS 8611 HAS SOPS 8611 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7651.611
AT ITER 3289 NEW BEST:: SOT 47365 SOS 8607 HAS SOPS 8607 HAS SOUS 7639 HAS SOUPS 7639 WITH SCORE 7647.607
AT ITER 3362 NEW BEST:: SOT 47358 SOS 8600 HAS SOPS 8600 HAS SOUS 7639 HAS SOUPS 7639 WITH SCORE 7647.6
AT ITER 3374 NEW BEST:: SOT 47355 SOS 8585 HAS SOPS 8585 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7638.585
AT ITER 3388 NEW BEST:: SOT 47342 SOS 8559 HAS SOPS 8559 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7614.559
AT ITER 3414 NEW BEST:: SOT 47339 SOS 8553 HAS SOPS 8553 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7608.553
AT ITER 3419 NEW BEST:: SOT 47338 SOS 8551 HAS SOPS 8551 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.551
AT ITER 3432 NEW BEST:: SOT 47338 SOS 8529 HAS SOPS 8529 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7606.529
AT ITER 3438 NEW BEST:: SOT 47334 SOS 8520 HAS SOPS 8520 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7597.52
AT ITER 3462 NEW BEST:: SOT 47352 SOS 8517 HAS SOPS 8517 HAS SOUS 7586 HAS SOUPS 7586 WITH SCORE 7594.517
AT ITER 3543 NEW BEST:: SOT 47362 SOS 8537 HAS SOPS 8537 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7590.537
AT ITER 3549 NEW BEST:: SOT 47350 SOS 8519 HAS SOPS 8519 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7584.519
AT ITER 3564 NEW BEST:: SOT 47339 SOS 8508 HAS SOPS 8508 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7573.508
AT ITER 3619 NEW BEST:: SOT 47338 SOS 8506 HAS SOPS 8506 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7571.506
AT ITER 3643 NEW BEST:: SOT 47341 SOS 8507 HAS SOPS 8507 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7565.507
AT ITER 3651 NEW BEST:: SOT 47341 SOS 8500 HAS SOPS 8500 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7558.5
AT ITER 3697 NEW BEST:: SOT 47341 SOS 8500 HAS SOPS 8500 HAS SOUS 7547 HAS SOUPS 7547 WITH SCORE 7555.5
AT ITER 3709 NEW BEST:: SOT 47332 SOS 8459 HAS SOPS 8459 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.459
AT ITER 3729 NEW BEST:: SOT 47329 SOS 8453 HAS SOPS 8453 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7508.453
AT ITER 3732 NEW BEST:: SOT 47316 SOS 8483 HAS SOPS 8483 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7506.483
AT ITER 3748 NEW BEST:: SOT 47316 SOS 8473 HAS SOPS 8473 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7498.473
AT ITER 3779 NEW BEST:: SOT 47316 SOS 8469 HAS SOPS 8469 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7490.469
AT ITER 3833 NEW BEST:: SOT 47315 SOS 8462 HAS SOPS 8462 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7483.462
AT ITER 3849 NEW BEST:: SOT 47295 SOS 8442 HAS SOPS 8442 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7463.442
AT ITER 3930 NEW BEST:: SOT 47302 SOS 8441 HAS SOPS 8441 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7462.441
AT ITER 3962 NEW BEST:: SOT 47298 SOS 8433 HAS SOPS 8433 HAS SOUS 7446 HAS SOUPS 7446 WITH SCORE 7454.433
AT ITER 3988 NEW BEST:: SOT 47298 SOS 8431 HAS SOPS 8431 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7452.431
AT ITER 4006 NEW BEST:: SOT 47289 SOS 8430 HAS SOPS 8430 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.43
AT ITER 4009 NEW BEST:: SOT 47285 SOS 8392 HAS SOPS 8392 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7443.392
AT ITER 4012 NEW BEST:: SOT 47284 SOS 8390 HAS SOPS 8390 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.39
AT ITER 4092 NEW BEST:: SOT 47279 SOS 8375 HAS SOPS 8375 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7431.375
AT ITER 4110 NEW BEST:: SOT 47279 SOS 8373 HAS SOPS 8373 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.373
AT ITER 4268 NEW BEST:: SOT 47279 SOS 8363 HAS SOPS 8363 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7419.363
AT ITER 4280 NEW BEST:: SOT 47272 SOS 8373 HAS SOPS 8373 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7416.373
AT ITER 4286 NEW BEST:: SOT 47270 SOS 8369 HAS SOPS 8369 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7412.369
AT ITER 4297 NEW BEST:: SOT 47263 SOS 8355 HAS SOPS 8355 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7398.355
AT ITER 4376 NEW BEST:: SOT 47260 SOS 8349 HAS SOPS 8349 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7392.349
AT ITER 4389 NEW BEST:: SOT 47258 SOS 8322 HAS SOPS 8322 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7388.322
AT ITER 4427 NEW BEST:: SOT 47287 SOS 8315 HAS SOPS 8315 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7381.315
AT ITER 4443 NEW BEST:: SOT 47285 SOS 8311 HAS SOPS 8311 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7378.311
AT ITER 4469 NEW BEST:: SOT 47283 SOS 8309 HAS SOPS 8309 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.309
AT ITER 4501 NEW BEST:: SOT 47279 SOS 8301 HAS SOPS 8301 HAS SOUS 7364 HAS SOUPS 7364 WITH SCORE 7372.301
AT ITER 4517 NEW BEST:: SOT 47301 SOS 8323 HAS SOPS 8323 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.323
AT ITER 4552 NEW BEST:: SOT 47297 SOS 8320 HAS SOPS 8320 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7367.32
AT ITER 4558 NEW BEST:: SOT 47277 SOS 8300 HAS SOPS 8300 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7346.3
AT ITER 4576 NEW BEST:: SOT 47283 SOS 8298 HAS SOPS 8298 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7344.298
AT ITER 4614 NEW BEST:: SOT 47281 SOS 8244 HAS SOPS 8244 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.244
AT ITER 4692 NEW BEST:: SOT 47283 SOS 8241 HAS SOPS 8241 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7287.241
AT ITER 4712 NEW BEST:: SOT 47279 SOS 8233 HAS SOPS 8233 HAS SOUS 7271 HAS SOUPS 7271 WITH SCORE 7279.233
AT ITER 4717 NEW BEST:: SOT 47271 SOS 8247 HAS SOPS 8247 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7273.247
AT ITER 4731 NEW BEST:: SOT 47271 SOS 8245 HAS SOPS 8245 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.245
AT ITER 4814 NEW BEST:: SOT 47258 SOS 8236 HAS SOPS 8236 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7245.236
AT ITER 4858 NEW BEST:: SOT 47258 SOS 8230 HAS SOPS 8230 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7239.23
AT ITER 4860 NEW BEST:: SOT 47258 SOS 8219 HAS SOPS 8219 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7228.219
AT ITER 4892 NEW BEST:: SOT 47253 SOS 8225 HAS SOPS 8225 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7223.225
AT ITER 4894 NEW BEST:: SOT 47253 SOS 8198 HAS SOPS 8198 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7223.198
AT ITER 4926 NEW BEST:: SOT 47230 SOS 8152 HAS SOPS 8152 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7177.152
AT ITER 5077 NEW BEST:: SOT 47220 SOS 8153 HAS SOPS 8153 HAS SOUS 7141 HAS SOUPS 7141 WITH SCORE 7149.153
AT ITER 5163 NEW BEST:: SOT 47218 SOS 8151 HAS SOPS 8151 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7147.151
AT ITER 5258 NEW BEST:: SOT 47221 SOS 8143 HAS SOPS 8143 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7132.143
AT ITER 5318 NEW BEST:: SOT 47221 SOS 8134 HAS SOPS 8134 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.134
AT ITER 5366 NEW BEST:: SOT 47216 SOS 8134 HAS SOPS 8134 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7113.134
AT ITER 5400 NEW BEST:: SOT 47232 SOS 8102 HAS SOPS 8102 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7113.102
AT ITER 5576 NEW BEST:: SOT 47228 SOS 8094 HAS SOPS 8094 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7105.094
AT ITER 5582 NEW BEST:: SOT 47229 SOS 8083 HAS SOPS 8083 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.083
AT ITER 5622 NEW BEST:: SOT 47220 SOS 8065 HAS SOPS 8065 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7084.065
AT ITER 5654 NEW BEST:: SOT 47213 SOS 8045 HAS SOPS 8045 HAS SOUS 7056 HAS SOUPS 7056 WITH SCORE 7064.045
AT ITER 5660 NEW BEST:: SOT 47212 SOS 8044 HAS SOPS 8044 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.044
AT ITER 5674 NEW BEST:: SOT 47213 SOS 8033 HAS SOPS 8033 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7053.033
AT ITER 5683 NEW BEST:: SOT 47204 SOS 8015 HAS SOPS 8015 HAS SOUS 7027 HAS SOUPS 7027 WITH SCORE 7035.015
AT ITER 5711 NEW BEST:: SOT 47204 SOS 8011 HAS SOPS 8011 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7031.011
AT ITER 5784 NEW BEST:: SOT 47227 SOS 8009 HAS SOPS 8009 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.009
AT ITER 5842 NEW BEST:: SOT 47228 SOS 7996 HAS SOPS 7996 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.996
AT ITER 5848 NEW BEST:: SOT 47228 SOS 7978 HAS SOPS 7978 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.978
AT ITER 6029 NEW BEST:: SOT 47209 SOS 7981 HAS SOPS 7981 HAS SOUS 7008 HAS SOUPS 7008 WITH SCORE 7015.981
AT ITER 6067 NEW BEST:: SOT 47205 SOS 7973 HAS SOPS 7973 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7007.973
AT ITER 6091 NEW BEST:: SOT 47196 SOS 7967 HAS SOPS 7967 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 6999.967
AT ITER 6143 NEW BEST:: SOT 47194 SOS 7963 HAS SOPS 7963 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6995.963
AT ITER 6171 NEW BEST:: SOT 47176 SOS 7961 HAS SOPS 7961 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6993.961
AT ITER 6213 NEW BEST:: SOT 47171 SOS 7956 HAS SOPS 7956 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6989.956
AT ITER 6224 NEW BEST:: SOT 47171 SOS 7956 HAS SOPS 7956 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6985.956
AT ITER 6262 NEW BEST:: SOT 47171 SOS 7951 HAS SOPS 7951 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6976.951
AT ITER 6273 NEW BEST:: SOT 47166 SOS 7961 HAS SOPS 7961 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6966.961
AT ITER 6335 NEW BEST:: SOT 47166 SOS 7961 HAS SOPS 7961 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6964.961
AT ITER 6346 NEW BEST:: SOT 47156 SOS 7951 HAS SOPS 7951 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6950.951
AT ITER 6359 NEW BEST:: SOT 47156 SOS 7946 HAS SOPS 7946 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6945.946
AT ITER 6436 NEW BEST:: SOT 47156 SOS 7938 HAS SOPS 7938 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6945.938
AT ITER 6456 NEW BEST:: SOT 47155 SOS 7937 HAS SOPS 7937 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6944.937
AT ITER 6463 NEW BEST:: SOT 47155 SOS 7935 HAS SOPS 7935 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6942.935
AT ITER 6466 NEW BEST:: SOT 47154 SOS 7933 HAS SOPS 7933 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6940.933
AT ITER 6509 NEW BEST:: SOT 47158 SOS 7874 HAS SOPS 7874 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6935.874
AT ITER 6527 NEW BEST:: SOT 47142 SOS 7864 HAS SOPS 7864 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6925.864
AT ITER 6563 NEW BEST:: SOT 47125 SOS 7848 HAS SOPS 7848 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6909.848
AT ITER 6576 NEW BEST:: SOT 47132 SOS 7882 HAS SOPS 7882 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6908.882
AT ITER 6637 NEW BEST:: SOT 47130 SOS 7878 HAS SOPS 7878 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6904.878
AT ITER 6639 NEW BEST:: SOT 47116 SOS 7875 HAS SOPS 7875 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6901.875
AT ITER 6692 NEW BEST:: SOT 47114 SOS 7871 HAS SOPS 7871 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6897.871
AT ITER 6706 NEW BEST:: SOT 47113 SOS 7870 HAS SOPS 7870 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6896.87
AT ITER 6740 NEW BEST:: SOT 47113 SOS 7847 HAS SOPS 7847 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6873.847
AT ITER 6782 NEW BEST:: SOT 47126 SOS 7841 HAS SOPS 7841 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6867.841
AT ITER 6793 NEW BEST:: SOT 47126 SOS 7831 HAS SOPS 7831 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6867.831
AT ITER 6796 NEW BEST:: SOT 47124 SOS 7827 HAS SOPS 7827 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6863.827
AT ITER 6906 NEW BEST:: SOT 47126 SOS 7821 HAS SOPS 7821 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6857.821
AT ITER 6918 NEW BEST:: SOT 47125 SOS 7819 HAS SOPS 7819 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.819
AT ITER 6934 NEW BEST:: SOT 47125 SOS 7811 HAS SOPS 7811 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6855.811
AT ITER 6946 NEW BEST:: SOT 47123 SOS 7807 HAS SOPS 7807 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6853.807
AT ITER 6981 NEW BEST:: SOT 47122 SOS 7793 HAS SOPS 7793 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6839.793
AT ITER 6989 NEW BEST:: SOT 47123 SOS 7787 HAS SOPS 7787 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6833.787
AT ITER 7010 NEW BEST:: SOT 47098 SOS 7916 HAS SOPS 7916 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6811.916
AT ITER 7109 NEW BEST:: SOT 47098 SOS 7900 HAS SOPS 7900 HAS SOUS 6804 HAS SOUPS 6804 WITH SCORE 6811.9
AT ITER 7122 NEW BEST:: SOT 47093 SOS 7865 HAS SOPS 7865 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6808.865
AT ITER 7168 NEW BEST:: SOT 47090 SOS 7817 HAS SOPS 7817 HAS SOUS 6795 HAS SOUPS 6795 WITH SCORE 6802.817
AT ITER 7186 NEW BEST:: SOT 47069 SOS 7790 HAS SOPS 7790 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6775.79
AT ITER 7248 NEW BEST:: SOT 47092 SOS 7772 HAS SOPS 7772 HAS SOUS 6750 HAS SOUPS 6750 WITH SCORE 6757.772
AT ITER 7254 NEW BEST:: SOT 47101 SOS 7780 HAS SOPS 7780 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6749.78
AT ITER 7264 NEW BEST:: SOT 47102 SOS 7758 HAS SOPS 7758 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6748.758
AT ITER 7267 NEW BEST:: SOT 47099 SOS 7752 HAS SOPS 7752 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6742.752
AT ITER 7268 NEW BEST:: SOT 47098 SOS 7733 HAS SOPS 7733 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6723.733
AT ITER 7324 NEW BEST:: SOT 47101 SOS 7732 HAS SOPS 7732 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6722.732
AT ITER 7376 NEW BEST:: SOT 47101 SOS 7716 HAS SOPS 7716 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6717.716
AT ITER 7392 NEW BEST:: SOT 47100 SOS 7716 HAS SOPS 7716 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.716
AT ITER 7401 NEW BEST:: SOT 47099 SOS 7714 HAS SOPS 7714 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6713.714
AT ITER 7433 NEW BEST:: SOT 47089 SOS 7694 HAS SOPS 7694 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6693.694
AT ITER 7447 NEW BEST:: SOT 47089 SOS 7678 HAS SOPS 7678 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6693.678
AT ITER 7602 NEW BEST:: SOT 47089 SOS 7672 HAS SOPS 7672 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6691.672
AT ITER 7617 NEW BEST:: SOT 47089 SOS 7648 HAS SOPS 7648 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6691.648
AT ITER 7632 NEW BEST:: SOT 47077 SOS 7644 HAS SOPS 7644 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6690.644
AT ITER 7671 NEW BEST:: SOT 47077 SOS 7643 HAS SOPS 7643 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.643
AT ITER 7674 NEW BEST:: SOT 47077 SOS 7643 HAS SOPS 7643 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6688.643
AT ITER 7741 NEW BEST:: SOT 47077 SOS 7642 HAS SOPS 7642 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6687.642
AT ITER 7749 NEW BEST:: SOT 47077 SOS 7627 HAS SOPS 7627 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6687.627
AT ITER 7786 NEW BEST:: SOT 47076 SOS 7625 HAS SOPS 7625 HAS SOUS 6678 HAS SOUPS 6678 WITH SCORE 6685.625
AT ITER 7794 NEW BEST:: SOT 47066 SOS 7615 HAS SOPS 7615 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6675.615
AT ITER 7804 NEW BEST:: SOT 47064 SOS 7615 HAS SOPS 7615 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6671.615
AT ITER 7845 NEW BEST:: SOT 47062 SOS 7609 HAS SOPS 7609 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6665.609
AT ITER 7866 NEW BEST:: SOT 47062 SOS 7603 HAS SOPS 7603 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.603
AT ITER 7906 NEW BEST:: SOT 47064 SOS 7601 HAS SOPS 7601 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.601
AT ITER 7937 NEW BEST:: SOT 47064 SOS 7600 HAS SOPS 7600 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6659.6
AT ITER 7961 NEW BEST:: SOT 47058 SOS 7608 HAS SOPS 7608 HAS SOUS 6650 HAS SOUPS 6650 WITH SCORE 6657.608
AT ITER 8015 NEW BEST:: SOT 47057 SOS 7606 HAS SOPS 7606 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6655.606
AT ITER 8023 NEW BEST:: SOT 47054 SOS 7600 HAS SOPS 7600 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6652.6
AT ITER 8165 NEW BEST:: SOT 47054 SOS 7594 HAS SOPS 7594 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6646.594
AT ITER 8384 NEW BEST:: SOT 47052 SOS 7593 HAS SOPS 7593 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6645.593
AT ITER 8407 NEW BEST:: SOT 47052 SOS 7590 HAS SOPS 7590 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.59
AT ITER 8408 NEW BEST:: SOT 47052 SOS 7590 HAS SOPS 7590 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.59
AT ITER 8649 NEW BEST:: SOT 47052 SOS 7580 HAS SOPS 7580 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.58
AT ITER 8716 NEW BEST:: SOT 47052 SOS 7573 HAS SOPS 7573 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6610.573
AT ITER 8804 NEW BEST:: SOT 47057 SOS 7583 HAS SOPS 7583 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.583
AT ITER 8813 NEW BEST:: SOT 47054 SOS 7577 HAS SOPS 7577 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6602.577
AT ITER 8820 NEW BEST:: SOT 47051 SOS 7571 HAS SOPS 7571 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6598.571
AT ITER 8870 NEW BEST:: SOT 47051 SOS 7559 HAS SOPS 7559 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6598.559
AT ITER 8895 NEW BEST:: SOT 47042 SOS 7565 HAS SOPS 7565 HAS SOUS 6579 HAS SOUPS 6579 WITH SCORE 6586.565
AT ITER 8913 NEW BEST:: SOT 47038 SOS 7557 HAS SOPS 7557 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6578.557
AT ITER 8937 NEW BEST:: SOT 47035 SOS 7554 HAS SOPS 7554 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6572.554
AT ITER 8967 NEW BEST:: SOT 47036 SOS 7556 HAS SOPS 7556 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6568.556
AT ITER 9040 NEW BEST:: SOT 47034 SOS 7552 HAS SOPS 7552 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6567.552
AT ITER 9054 NEW BEST:: SOT 47035 SOS 7541 HAS SOPS 7541 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6567.541
AT ITER 9271 NEW BEST:: SOT 47044 SOS 7541 HAS SOPS 7541 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6565.541
AT ITER 9407 NEW BEST:: SOT 47043 SOS 7536 HAS SOPS 7536 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.536
AT ITER 9445 NEW BEST:: SOT 47043 SOS 7532 HAS SOPS 7532 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.532
AT ITER 9464 NEW BEST:: SOT 47037 SOS 7520 HAS SOPS 7520 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6557.52
AT ITER 9484 NEW BEST:: SOT 47037 SOS 7511 HAS SOPS 7511 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6548.511
AT ITER 9538 NEW BEST:: SOT 47033 SOS 7503 HAS SOPS 7503 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.503
AT ITER 9669 NEW BEST:: SOT 47033 SOS 7501 HAS SOPS 7501 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6542.501
AT ITER 9782 NEW BEST:: SOT 47033 SOS 7497 HAS SOPS 7497 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6538.497
AT ITER 9855 NEW BEST:: SOT 47033 SOS 7493 HAS SOPS 7493 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.493
AT ITER 9872 NEW BEST:: SOT 47042 SOS 7511 HAS SOPS 7511 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6524.511
AT ITER 9877 NEW BEST:: SOT 47036 SOS 7499 HAS SOPS 7499 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.499
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5731296 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154792 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-03b"
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-03b, 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-167813590800416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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