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-167814472400440.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 DES-PT-20b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 7.6K Feb 26 15:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 15:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 15:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 91K 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 1678241497434

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=DES-PT-20b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 20b
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: 360 places, 311 transitions, 987 arcs.
AT ITER 0 NEW BEST:: SOT 67426 SOS 13016 HAS SOPS 13016 HAS SOUS 11625 HAS SOUPS 11625 WITH SCORE 11638.016
AT ITER 20 NEW BEST:: SOT 67357 SOS 12999 HAS SOPS 12999 HAS SOUS 11595 HAS SOUPS 11595 WITH SCORE 11607.999
AT ITER 21 NEW BEST:: SOT 67333 SOS 12999 HAS SOPS 12999 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11583.999
AT ITER 23 NEW BEST:: SOT 67359 SOS 12999 HAS SOPS 12999 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11557.999
AT ITER 63 NEW BEST:: SOT 67359 SOS 12992 HAS SOPS 12992 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11550.992
AT ITER 87 NEW BEST:: SOT 67322 SOS 12956 HAS SOPS 12956 HAS SOUS 11502 HAS SOUPS 11502 WITH SCORE 11514.956
AT ITER 90 NEW BEST:: SOT 67313 SOS 12944 HAS SOPS 12944 HAS SOUS 11484 HAS SOUPS 11484 WITH SCORE 11496.944
AT ITER 103 NEW BEST:: SOT 67250 SOS 12879 HAS SOPS 12879 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11431.879
AT ITER 116 NEW BEST:: SOT 67243 SOS 12879 HAS SOPS 12879 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11430.879
AT ITER 141 NEW BEST:: SOT 67240 SOS 12639 HAS SOPS 12639 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11422.639
AT ITER 170 NEW BEST:: SOT 67240 SOS 12638 HAS SOPS 12638 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11421.638
AT ITER 206 NEW BEST:: SOT 67218 SOS 12634 HAS SOPS 12634 HAS SOUS 11401 HAS SOUPS 11401 WITH SCORE 11413.634
AT ITER 223 NEW BEST:: SOT 67218 SOS 12617 HAS SOPS 12617 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11396.617
AT ITER 232 NEW BEST:: SOT 67217 SOS 12615 HAS SOPS 12615 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11394.615
AT ITER 237 NEW BEST:: SOT 67201 SOS 12599 HAS SOPS 12599 HAS SOUS 11366 HAS SOUPS 11366 WITH SCORE 11378.599
AT ITER 279 NEW BEST:: SOT 67201 SOS 12592 HAS SOPS 12592 HAS SOUS 11359 HAS SOUPS 11359 WITH SCORE 11371.592
AT ITER 286 NEW BEST:: SOT 67201 SOS 12037 HAS SOPS 12037 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11293.037
AT ITER 350 NEW BEST:: SOT 67190 SOS 11999 HAS SOPS 11999 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11254.999
AT ITER 360 NEW BEST:: SOT 67188 SOS 12010 HAS SOPS 12010 HAS SOUS 11241 HAS SOUPS 11241 WITH SCORE 11253.01
AT ITER 396 NEW BEST:: SOT 67187 SOS 12007 HAS SOPS 12007 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11251.007
AT ITER 411 NEW BEST:: SOT 67118 SOS 11960 HAS SOPS 11960 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11171.96
AT ITER 418 NEW BEST:: SOT 67109 SOS 11949 HAS SOPS 11949 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11160.949
AT ITER 438 NEW BEST:: SOT 67091 SOS 11908 HAS SOPS 11908 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11119.908
AT ITER 450 NEW BEST:: SOT 67069 SOS 11879 HAS SOPS 11879 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11090.879
AT ITER 504 NEW BEST:: SOT 67069 SOS 11876 HAS SOPS 11876 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11087.876
AT ITER 538 NEW BEST:: SOT 67043 SOS 11870 HAS SOPS 11870 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11081.87
AT ITER 541 NEW BEST:: SOT 66927 SOS 11739 HAS SOPS 11739 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10950.739
AT ITER 548 NEW BEST:: SOT 66927 SOS 11727 HAS SOPS 11727 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10949.727
AT ITER 550 NEW BEST:: SOT 66927 SOS 11720 HAS SOPS 11720 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10942.72
AT ITER 582 NEW BEST:: SOT 66927 SOS 11714 HAS SOPS 11714 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10942.714
AT ITER 591 NEW BEST:: SOT 66932 SOS 11712 HAS SOPS 11712 HAS SOUS 10929 HAS SOUPS 10929 WITH SCORE 10940.712
AT ITER 678 NEW BEST:: SOT 66931 SOS 11710 HAS SOPS 11710 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10938.71
AT ITER 691 NEW BEST:: SOT 66933 SOS 11698 HAS SOPS 11698 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10932.698
AT ITER 707 NEW BEST:: SOT 66907 SOS 11659 HAS SOPS 11659 HAS SOUS 10882 HAS SOUPS 10882 WITH SCORE 10893.659
AT ITER 714 NEW BEST:: SOT 66907 SOS 11653 HAS SOPS 11653 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10887.653
AT ITER 752 NEW BEST:: SOT 66836 SOS 11620 HAS SOPS 11620 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10816.62
AT ITER 820 NEW BEST:: SOT 66836 SOS 11619 HAS SOPS 11619 HAS SOUS 10804 HAS SOUPS 10804 WITH SCORE 10815.619
AT ITER 825 NEW BEST:: SOT 66827 SOS 11526 HAS SOPS 11526 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10790.526
AT ITER 826 NEW BEST:: SOT 66806 SOS 11505 HAS SOPS 11505 HAS SOUS 10754 HAS SOUPS 10754 WITH SCORE 10765.505
AT ITER 831 NEW BEST:: SOT 66787 SOS 11504 HAS SOPS 11504 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10764.504
AT ITER 840 NEW BEST:: SOT 66782 SOS 11498 HAS SOPS 11498 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10758.498
AT ITER 845 NEW BEST:: SOT 66775 SOS 11495 HAS SOPS 11495 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10755.495
AT ITER 935 NEW BEST:: SOT 66768 SOS 11491 HAS SOPS 11491 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10751.491
AT ITER 987 NEW BEST:: SOT 66759 SOS 11473 HAS SOPS 11473 HAS SOUS 10722 HAS SOUPS 10722 WITH SCORE 10733.473
AT ITER 1051 NEW BEST:: SOT 66773 SOS 11420 HAS SOPS 11420 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10715.42
AT ITER 1053 NEW BEST:: SOT 66771 SOS 11417 HAS SOPS 11417 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10712.417
AT ITER 1072 NEW BEST:: SOT 66765 SOS 11411 HAS SOPS 11411 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10706.411
AT ITER 1077 NEW BEST:: SOT 66734 SOS 11349 HAS SOPS 11349 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10644.349
AT ITER 1086 NEW BEST:: SOT 66726 SOS 11333 HAS SOPS 11333 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10628.333
AT ITER 1164 NEW BEST:: SOT 66729 SOS 11330 HAS SOPS 11330 HAS SOUS 10617 HAS SOUPS 10617 WITH SCORE 10628.33
AT ITER 1169 NEW BEST:: SOT 66717 SOS 11327 HAS SOPS 11327 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10625.327
AT ITER 1199 NEW BEST:: SOT 66595 SOS 11382 HAS SOPS 11382 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10570.382
AT ITER 1209 NEW BEST:: SOT 66579 SOS 11365 HAS SOPS 11365 HAS SOUS 10544 HAS SOUPS 10544 WITH SCORE 10555.365
AT ITER 1232 NEW BEST:: SOT 66566 SOS 11378 HAS SOPS 11378 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10549.378
AT ITER 1252 NEW BEST:: SOT 66562 SOS 11370 HAS SOPS 11370 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10541.37
AT ITER 1258 NEW BEST:: SOT 66542 SOS 11352 HAS SOPS 11352 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10518.352
AT ITER 1276 NEW BEST:: SOT 66542 SOS 11349 HAS SOPS 11349 HAS SOUS 10504 HAS SOUPS 10504 WITH SCORE 10515.349
AT ITER 1278 NEW BEST:: SOT 66521 SOS 11348 HAS SOPS 11348 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10514.348
AT ITER 1294 NEW BEST:: SOT 66217 SOS 11143 HAS SOPS 11143 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10257.143
AT ITER 1316 NEW BEST:: SOT 66217 SOS 11130 HAS SOPS 11130 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10244.13
AT ITER 1323 NEW BEST:: SOT 66217 SOS 11120 HAS SOPS 11120 HAS SOUS 10223 HAS SOUPS 10223 WITH SCORE 10234.12
AT ITER 1332 NEW BEST:: SOT 66195 SOS 11098 HAS SOPS 11098 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10212.098
AT ITER 1334 NEW BEST:: SOT 66185 SOS 11024 HAS SOPS 11024 HAS SOUS 10198 HAS SOUPS 10198 WITH SCORE 10209.024
AT ITER 1374 NEW BEST:: SOT 66107 SOS 10986 HAS SOPS 10986 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10130.986
AT ITER 1379 NEW BEST:: SOT 66101 SOS 10984 HAS SOPS 10984 HAS SOUS 10118 HAS SOUPS 10118 WITH SCORE 10128.984
AT ITER 1407 NEW BEST:: SOT 66098 SOS 10981 HAS SOPS 10981 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10125.981
AT ITER 1434 NEW BEST:: SOT 66098 SOS 10980 HAS SOPS 10980 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10124.98
AT ITER 1446 NEW BEST:: SOT 66082 SOS 10960 HAS SOPS 10960 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10104.96
AT ITER 1458 NEW BEST:: SOT 66057 SOS 10934 HAS SOPS 10934 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10077.934
AT ITER 1485 NEW BEST:: SOT 66057 SOS 10936 HAS SOPS 10936 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10074.936
AT ITER 1491 NEW BEST:: SOT 66056 SOS 10939 HAS SOPS 10939 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10068.939
AT ITER 1535 NEW BEST:: SOT 66043 SOS 10892 HAS SOPS 10892 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10021.892
AT ITER 1582 NEW BEST:: SOT 66034 SOS 10883 HAS SOPS 10883 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10012.883
AT ITER 1587 NEW BEST:: SOT 66034 SOS 10879 HAS SOPS 10879 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10008.879
AT ITER 1617 NEW BEST:: SOT 66034 SOS 10878 HAS SOPS 10878 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10007.878
AT ITER 1645 NEW BEST:: SOT 66024 SOS 10868 HAS SOPS 10868 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10002.868
AT ITER 1764 NEW BEST:: SOT 66024 SOS 10853 HAS SOPS 10853 HAS SOUS 9989 HAS SOUPS 9989 WITH SCORE 9999.853
AT ITER 1770 NEW BEST:: SOT 66014 SOS 10843 HAS SOPS 10843 HAS SOUS 9979 HAS SOUPS 9979 WITH SCORE 9989.843
AT ITER 1817 NEW BEST:: SOT 66008 SOS 10836 HAS SOPS 10836 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9982.836
AT ITER 1832 NEW BEST:: SOT 66008 SOS 10835 HAS SOPS 10835 HAS SOUS 9971 HAS SOUPS 9971 WITH SCORE 9981.835
AT ITER 1860 NEW BEST:: SOT 66002 SOS 10834 HAS SOPS 10834 HAS SOUS 9970 HAS SOUPS 9970 WITH SCORE 9980.834
AT ITER 1864 NEW BEST:: SOT 66002 SOS 10829 HAS SOPS 10829 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9975.829
AT ITER 1875 NEW BEST:: SOT 66000 SOS 10825 HAS SOPS 10825 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 9971.825
AT ITER 1877 NEW BEST:: SOT 65991 SOS 10824 HAS SOPS 10824 HAS SOUS 9960 HAS SOUPS 9960 WITH SCORE 9970.824
AT ITER 1880 NEW BEST:: SOT 65991 SOS 10812 HAS SOPS 10812 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9958.812
AT ITER 1887 NEW BEST:: SOT 65986 SOS 10802 HAS SOPS 10802 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9948.802
AT ITER 1907 NEW BEST:: SOT 65969 SOS 10816 HAS SOPS 10816 HAS SOUS 9909 HAS SOUPS 9909 WITH SCORE 9919.816
AT ITER 1909 NEW BEST:: SOT 65976 SOS 10795 HAS SOPS 10795 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9908.795
AT ITER 1937 NEW BEST:: SOT 65976 SOS 10794 HAS SOPS 10794 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9907.794
AT ITER 1942 NEW BEST:: SOT 65976 SOS 10800 HAS SOPS 10800 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9906.8
AT ITER 1951 NEW BEST:: SOT 65972 SOS 10799 HAS SOPS 10799 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9905.799
AT ITER 1960 NEW BEST:: SOT 65921 SOS 10770 HAS SOPS 10770 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9864.77
AT ITER 1994 NEW BEST:: SOT 65919 SOS 10765 HAS SOPS 10765 HAS SOUS 9849 HAS SOUPS 9849 WITH SCORE 9859.765
AT ITER 2018 NEW BEST:: SOT 65912 SOS 10764 HAS SOPS 10764 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9858.764
AT ITER 2021 NEW BEST:: SOT 65909 SOS 10764 HAS SOPS 10764 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9852.764
AT ITER 2041 NEW BEST:: SOT 65884 SOS 10757 HAS SOPS 10757 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9836.757
AT ITER 2050 NEW BEST:: SOT 65633 SOS 11038 HAS SOPS 11038 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9644.038
AT ITER 2072 NEW BEST:: SOT 65609 SOS 11049 HAS SOPS 11049 HAS SOUS 9620 HAS SOUPS 9620 WITH SCORE 9631.049
AT ITER 2132 NEW BEST:: SOT 65609 SOS 11048 HAS SOPS 11048 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9630.048
AT ITER 2157 NEW BEST:: SOT 65602 SOS 11033 HAS SOPS 11033 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9615.033
AT ITER 2159 NEW BEST:: SOT 65600 SOS 11029 HAS SOPS 11029 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9611.029
AT ITER 2163 NEW BEST:: SOT 65600 SOS 10990 HAS SOPS 10990 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9571.99
AT ITER 2165 NEW BEST:: SOT 65600 SOS 10984 HAS SOPS 10984 HAS SOUS 9555 HAS SOUPS 9555 WITH SCORE 9565.984
AT ITER 2171 NEW BEST:: SOT 65587 SOS 10970 HAS SOPS 10970 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9551.97
AT ITER 2184 NEW BEST:: SOT 65586 SOS 10970 HAS SOPS 10970 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9550.97
AT ITER 2186 NEW BEST:: SOT 65565 SOS 10948 HAS SOPS 10948 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9528.948
AT ITER 2268 NEW BEST:: SOT 65559 SOS 10942 HAS SOPS 10942 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9522.942
AT ITER 2276 NEW BEST:: SOT 65528 SOS 10972 HAS SOPS 10972 HAS SOUS 9499 HAS SOUPS 9499 WITH SCORE 9509.972
AT ITER 2293 NEW BEST:: SOT 65513 SOS 10957 HAS SOPS 10957 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9494.957
AT ITER 2309 NEW BEST:: SOT 65511 SOS 10945 HAS SOPS 10945 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9482.945
AT ITER 2317 NEW BEST:: SOT 65505 SOS 10939 HAS SOPS 10939 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9476.939
AT ITER 2321 NEW BEST:: SOT 65505 SOS 10939 HAS SOPS 10939 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9474.939
AT ITER 2323 NEW BEST:: SOT 65503 SOS 10915 HAS SOPS 10915 HAS SOUS 9463 HAS SOUPS 9463 WITH SCORE 9473.915
AT ITER 2332 NEW BEST:: SOT 65469 SOS 10878 HAS SOPS 10878 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9427.878
AT ITER 2370 NEW BEST:: SOT 65460 SOS 10868 HAS SOPS 10868 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9417.868
AT ITER 2389 NEW BEST:: SOT 65456 SOS 10863 HAS SOPS 10863 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9412.863
AT ITER 2417 NEW BEST:: SOT 65456 SOS 10870 HAS SOPS 10870 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9411.87
AT ITER 2423 NEW BEST:: SOT 65458 SOS 10866 HAS SOPS 10866 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9411.866
AT ITER 2485 NEW BEST:: SOT 65456 SOS 10862 HAS SOPS 10862 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9407.862
AT ITER 2517 NEW BEST:: SOT 65444 SOS 10861 HAS SOPS 10861 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9406.861
AT ITER 2616 NEW BEST:: SOT 65444 SOS 10853 HAS SOPS 10853 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9398.853
AT ITER 2618 NEW BEST:: SOT 65442 SOS 10875 HAS SOPS 10875 HAS SOUS 9386 HAS SOUPS 9386 WITH SCORE 9396.875
AT ITER 2629 NEW BEST:: SOT 65442 SOS 10865 HAS SOPS 10865 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9386.865
AT ITER 2682 NEW BEST:: SOT 65433 SOS 10837 HAS SOPS 10837 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9353.837
AT ITER 2686 NEW BEST:: SOT 65418 SOS 10804 HAS SOPS 10804 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9320.804
AT ITER 2690 NEW BEST:: SOT 65384 SOS 10795 HAS SOPS 10795 HAS SOUS 9285 HAS SOUPS 9285 WITH SCORE 9295.795
AT ITER 2715 NEW BEST:: SOT 65365 SOS 10801 HAS SOPS 10801 HAS SOUS 9264 HAS SOUPS 9264 WITH SCORE 9274.801
AT ITER 2720 NEW BEST:: SOT 65350 SOS 10786 HAS SOPS 10786 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9259.786
AT ITER 2729 NEW BEST:: SOT 65336 SOS 10747 HAS SOPS 10747 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9241.747
AT ITER 2758 NEW BEST:: SOT 65333 SOS 10731 HAS SOPS 10731 HAS SOUS 9215 HAS SOUPS 9215 WITH SCORE 9225.731
AT ITER 2765 NEW BEST:: SOT 65324 SOS 10714 HAS SOPS 10714 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9219.714
AT ITER 2785 NEW BEST:: SOT 65321 SOS 10714 HAS SOPS 10714 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9216.714
AT ITER 2787 NEW BEST:: SOT 65309 SOS 10706 HAS SOPS 10706 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9208.706
AT ITER 2795 NEW BEST:: SOT 65308 SOS 10701 HAS SOPS 10701 HAS SOUS 9193 HAS SOUPS 9193 WITH SCORE 9203.701
AT ITER 2803 NEW BEST:: SOT 65233 SOS 10733 HAS SOPS 10733 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9165.733
AT ITER 2829 NEW BEST:: SOT 65226 SOS 10719 HAS SOPS 10719 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9151.719
AT ITER 2858 NEW BEST:: SOT 65235 SOS 10718 HAS SOPS 10718 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9150.718
AT ITER 2861 NEW BEST:: SOT 65215 SOS 10698 HAS SOPS 10698 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9110.698
AT ITER 2925 NEW BEST:: SOT 65205 SOS 10688 HAS SOPS 10688 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9100.688
AT ITER 2967 NEW BEST:: SOT 65203 SOS 10684 HAS SOPS 10684 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9097.684
AT ITER 2981 NEW BEST:: SOT 65203 SOS 10684 HAS SOPS 10684 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9093.684
AT ITER 2995 NEW BEST:: SOT 65190 SOS 10680 HAS SOPS 10680 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9085.68
AT ITER 3040 NEW BEST:: SOT 65160 SOS 10679 HAS SOPS 10679 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9084.679
AT ITER 3046 NEW BEST:: SOT 65160 SOS 10678 HAS SOPS 10678 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9083.678
AT ITER 3097 NEW BEST:: SOT 65159 SOS 10677 HAS SOPS 10677 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9082.677
AT ITER 3112 NEW BEST:: SOT 65130 SOS 10786 HAS SOPS 10786 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9064.786
AT ITER 3206 NEW BEST:: SOT 65160 SOS 10773 HAS SOPS 10773 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9055.773
AT ITER 3232 NEW BEST:: SOT 65159 SOS 10770 HAS SOPS 10770 HAS SOUS 9039 HAS SOUPS 9039 WITH SCORE 9049.77
AT ITER 3243 NEW BEST:: SOT 65148 SOS 10759 HAS SOPS 10759 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9036.759
AT ITER 3254 NEW BEST:: SOT 65147 SOS 10737 HAS SOPS 10737 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9019.737
AT ITER 3292 NEW BEST:: SOT 65128 SOS 10699 HAS SOPS 10699 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8992.699
AT ITER 3370 NEW BEST:: SOT 65124 SOS 10691 HAS SOPS 10691 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8982.691
AT ITER 3398 NEW BEST:: SOT 65120 SOS 10690 HAS SOPS 10690 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8981.69
AT ITER 3424 NEW BEST:: SOT 65120 SOS 10669 HAS SOPS 10669 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8981.669
AT ITER 3497 NEW BEST:: SOT 65072 SOS 10804 HAS SOPS 10804 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8971.804
AT ITER 3519 NEW BEST:: SOT 65070 SOS 10790 HAS SOPS 10790 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8970.79
AT ITER 3554 NEW BEST:: SOT 65050 SOS 11074 HAS SOPS 11074 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8953.074
AT ITER 3667 NEW BEST:: SOT 65041 SOS 10996 HAS SOPS 10996 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8935.996
AT ITER 3690 NEW BEST:: SOT 65047 SOS 11002 HAS SOPS 11002 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8926.002
AT ITER 3775 NEW BEST:: SOT 65073 SOS 11021 HAS SOPS 11021 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8876.021
AT ITER 3818 NEW BEST:: SOT 65073 SOS 11009 HAS SOPS 11009 HAS SOUS 8853 HAS SOUPS 8853 WITH SCORE 8864.009
AT ITER 3828 NEW BEST:: SOT 65066 SOS 10989 HAS SOPS 10989 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8845.989
AT ITER 3831 NEW BEST:: SOT 65049 SOS 10980 HAS SOPS 10980 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8845.98
AT ITER 3847 NEW BEST:: SOT 65041 SOS 10972 HAS SOPS 10972 HAS SOUS 8831 HAS SOUPS 8831 WITH SCORE 8841.972
AT ITER 3935 NEW BEST:: SOT 65041 SOS 10971 HAS SOPS 10971 HAS SOUS 8830 HAS SOUPS 8830 WITH SCORE 8840.971
AT ITER 4042 NEW BEST:: SOT 65008 SOS 10968 HAS SOPS 10968 HAS SOUS 8827 HAS SOUPS 8827 WITH SCORE 8837.968
AT ITER 4058 NEW BEST:: SOT 65027 SOS 10884 HAS SOPS 10884 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8820.884
AT ITER 4085 NEW BEST:: SOT 65004 SOS 10816 HAS SOPS 10816 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8811.816
AT ITER 4128 NEW BEST:: SOT 64983 SOS 10824 HAS SOPS 10824 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8790.824
AT ITER 4157 NEW BEST:: SOT 64972 SOS 10861 HAS SOPS 10861 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8769.861
AT ITER 4231 NEW BEST:: SOT 64963 SOS 10908 HAS SOPS 10908 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8757.908
AT ITER 4236 NEW BEST:: SOT 64963 SOS 10908 HAS SOPS 10908 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8742.908
AT ITER 4253 NEW BEST:: SOT 64954 SOS 10899 HAS SOPS 10899 HAS SOUS 8723 HAS SOUPS 8723 WITH SCORE 8733.899
AT ITER 4260 NEW BEST:: SOT 64948 SOS 10887 HAS SOPS 10887 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8721.887
AT ITER 4278 NEW BEST:: SOT 64920 SOS 10896 HAS SOPS 10896 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8700.896
AT ITER 4317 NEW BEST:: SOT 64914 SOS 10894 HAS SOPS 10894 HAS SOUS 8688 HAS SOUPS 8688 WITH SCORE 8698.894
AT ITER 4326 NEW BEST:: SOT 64911 SOS 10888 HAS SOPS 10888 HAS SOUS 8685 HAS SOUPS 8685 WITH SCORE 8695.888
AT ITER 4404 NEW BEST:: SOT 64910 SOS 10887 HAS SOPS 10887 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8693.887
AT ITER 4406 NEW BEST:: SOT 64910 SOS 10858 HAS SOPS 10858 HAS SOUS 8674 HAS SOUPS 8674 WITH SCORE 8684.858
AT ITER 4413 NEW BEST:: SOT 64909 SOS 10857 HAS SOPS 10857 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8681.857
AT ITER 4436 NEW BEST:: SOT 64904 SOS 10848 HAS SOPS 10848 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8675.848
AT ITER 4442 NEW BEST:: SOT 64893 SOS 10871 HAS SOPS 10871 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8664.871
AT ITER 4483 NEW BEST:: SOT 64879 SOS 10875 HAS SOPS 10875 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8630.875
AT ITER 4503 NEW BEST:: SOT 64870 SOS 10866 HAS SOPS 10866 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8621.866
AT ITER 4570 NEW BEST:: SOT 64849 SOS 10845 HAS SOPS 10845 HAS SOUS 8590 HAS SOUPS 8590 WITH SCORE 8600.845
AT ITER 4576 NEW BEST:: SOT 64821 SOS 10825 HAS SOPS 10825 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8580.825
AT ITER 4645 NEW BEST:: SOT 64796 SOS 10812 HAS SOPS 10812 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8567.812
AT ITER 4672 NEW BEST:: SOT 64790 SOS 10794 HAS SOPS 10794 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.794
AT ITER 4676 NEW BEST:: SOT 64777 SOS 10779 HAS SOPS 10779 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8546.779
AT ITER 4718 NEW BEST:: SOT 64770 SOS 10765 HAS SOPS 10765 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8546.765
AT ITER 4743 NEW BEST:: SOT 64764 SOS 10754 HAS SOPS 10754 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8535.754
AT ITER 4838 NEW BEST:: SOT 64753 SOS 10735 HAS SOPS 10735 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8520.735
AT ITER 5015 NEW BEST:: SOT 64728 SOS 10710 HAS SOPS 10710 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8520.71
AT ITER 5140 NEW BEST:: SOT 64735 SOS 10729 HAS SOPS 10729 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8519.729
AT ITER 5147 NEW BEST:: SOT 64735 SOS 10728 HAS SOPS 10728 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8518.728
AT ITER 5175 NEW BEST:: SOT 64733 SOS 10726 HAS SOPS 10726 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8514.726
AT ITER 5181 NEW BEST:: SOT 64716 SOS 10697 HAS SOPS 10697 HAS SOUS 8475 HAS SOUPS 8475 WITH SCORE 8485.697
AT ITER 5182 NEW BEST:: SOT 64713 SOS 10687 HAS SOPS 10687 HAS SOUS 8465 HAS SOUPS 8465 WITH SCORE 8475.687
AT ITER 5219 NEW BEST:: SOT 64712 SOS 10686 HAS SOPS 10686 HAS SOUS 8464 HAS SOUPS 8464 WITH SCORE 8474.686
AT ITER 5220 NEW BEST:: SOT 64708 SOS 10683 HAS SOPS 10683 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8471.683
AT ITER 5285 NEW BEST:: SOT 64708 SOS 10683 HAS SOPS 10683 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8464.683
AT ITER 5369 NEW BEST:: SOT 64702 SOS 10677 HAS SOPS 10677 HAS SOUS 8448 HAS SOUPS 8448 WITH SCORE 8458.677
AT ITER 5386 NEW BEST:: SOT 64702 SOS 10678 HAS SOPS 10678 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8449.678
AT ITER 5399 NEW BEST:: SOT 64695 SOS 10616 HAS SOPS 10616 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8432.616
AT ITER 5403 NEW BEST:: SOT 64692 SOS 10601 HAS SOPS 10601 HAS SOUS 8407 HAS SOUPS 8407 WITH SCORE 8417.601
AT ITER 5423 NEW BEST:: SOT 64692 SOS 10597 HAS SOPS 10597 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8413.597
AT ITER 5480 NEW BEST:: SOT 64692 SOS 10595 HAS SOPS 10595 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8404.595
AT ITER 5528 NEW BEST:: SOT 64691 SOS 10588 HAS SOPS 10588 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8397.588
AT ITER 5548 NEW BEST:: SOT 64672 SOS 10549 HAS SOPS 10549 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8358.549
AT ITER 5603 NEW BEST:: SOT 64670 SOS 10547 HAS SOPS 10547 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8342.547
AT ITER 5664 NEW BEST:: SOT 64649 SOS 10524 HAS SOPS 10524 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8321.524
AT ITER 5666 NEW BEST:: SOT 64636 SOS 10497 HAS SOPS 10497 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8308.497
AT ITER 5741 NEW BEST:: SOT 64636 SOS 10484 HAS SOPS 10484 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8295.484
AT ITER 5751 NEW BEST:: SOT 64635 SOS 10487 HAS SOPS 10487 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8294.487
AT ITER 5822 NEW BEST:: SOT 64635 SOS 10487 HAS SOPS 10487 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8291.487
AT ITER 5844 NEW BEST:: SOT 64611 SOS 10463 HAS SOPS 10463 HAS SOUS 8273 HAS SOUPS 8273 WITH SCORE 8283.463
AT ITER 5855 NEW BEST:: SOT 64609 SOS 10457 HAS SOPS 10457 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8277.457
AT ITER 5884 NEW BEST:: SOT 64609 SOS 10456 HAS SOPS 10456 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8276.456
AT ITER 5954 NEW BEST:: SOT 64609 SOS 10391 HAS SOPS 10391 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8263.391
AT ITER 5978 NEW BEST:: SOT 64606 SOS 10388 HAS SOPS 10388 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8257.388
AT ITER 6000 NEW BEST:: SOT 64590 SOS 10388 HAS SOPS 10388 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8249.388
AT ITER 6065 NEW BEST:: SOT 64589 SOS 10384 HAS SOPS 10384 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8245.384
AT ITER 6104 NEW BEST:: SOT 64589 SOS 10384 HAS SOPS 10384 HAS SOUS 8229 HAS SOUPS 8229 WITH SCORE 8239.384
AT ITER 6236 NEW BEST:: SOT 64575 SOS 10359 HAS SOPS 10359 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8214.359
AT ITER 6246 NEW BEST:: SOT 64607 SOS 10357 HAS SOPS 10357 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8212.357
AT ITER 6253 NEW BEST:: SOT 64596 SOS 10350 HAS SOPS 10350 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8212.35
AT ITER 6311 NEW BEST:: SOT 64584 SOS 10344 HAS SOPS 10344 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8204.344
AT ITER 6355 NEW BEST:: SOT 64580 SOS 10324 HAS SOPS 10324 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8193.324
AT ITER 6384 NEW BEST:: SOT 64592 SOS 10319 HAS SOPS 10319 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8188.319
AT ITER 6417 NEW BEST:: SOT 64571 SOS 10285 HAS SOPS 10285 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8154.285
AT ITER 6466 NEW BEST:: SOT 64570 SOS 10275 HAS SOPS 10275 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8152.275
AT ITER 6479 NEW BEST:: SOT 64570 SOS 10273 HAS SOPS 10273 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8150.273
AT ITER 6510 NEW BEST:: SOT 64568 SOS 10269 HAS SOPS 10269 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8146.269
AT ITER 6546 NEW BEST:: SOT 64568 SOS 10265 HAS SOPS 10265 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8146.265
AT ITER 6595 NEW BEST:: SOT 64566 SOS 10263 HAS SOPS 10263 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8144.263
AT ITER 6621 NEW BEST:: SOT 64555 SOS 10231 HAS SOPS 10231 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8123.231
AT ITER 6684 NEW BEST:: SOT 64555 SOS 10230 HAS SOPS 10230 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8122.23
AT ITER 6696 NEW BEST:: SOT 64550 SOS 10225 HAS SOPS 10225 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8112.225
AT ITER 6733 NEW BEST:: SOT 64539 SOS 10288 HAS SOPS 10288 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8090.288
AT ITER 6739 NEW BEST:: SOT 64531 SOS 10280 HAS SOPS 10280 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8085.28
AT ITER 6780 NEW BEST:: SOT 64547 SOS 10271 HAS SOPS 10271 HAS SOUS 8053 HAS SOUPS 8053 WITH SCORE 8063.271
AT ITER 6802 NEW BEST:: SOT 64538 SOS 10281 HAS SOPS 10281 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8055.281
AT ITER 6854 NEW BEST:: SOT 64538 SOS 10280 HAS SOPS 10280 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8054.28
AT ITER 6865 NEW BEST:: SOT 64546 SOS 10224 HAS SOPS 10224 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7998.224
AT ITER 6894 NEW BEST:: SOT 64536 SOS 10180 HAS SOPS 10180 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7964.18
AT ITER 7088 NEW BEST:: SOT 64496 SOS 10100 HAS SOPS 10100 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7925.1
AT ITER 7133 NEW BEST:: SOT 64492 SOS 10102 HAS SOPS 10102 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7921.102
AT ITER 7152 NEW BEST:: SOT 64478 SOS 10131 HAS SOPS 10131 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7911.131
AT ITER 7212 NEW BEST:: SOT 64498 SOS 10151 HAS SOPS 10151 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7910.151
AT ITER 7331 NEW BEST:: SOT 64490 SOS 10123 HAS SOPS 10123 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7904.123
AT ITER 7333 NEW BEST:: SOT 64481 SOS 10091 HAS SOPS 10091 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7881.091
AT ITER 7373 NEW BEST:: SOT 64480 SOS 10089 HAS SOPS 10089 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7880.089
AT ITER 7409 NEW BEST:: SOT 64499 SOS 10080 HAS SOPS 10080 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7871.08
AT ITER 7430 NEW BEST:: SOT 64477 SOS 10058 HAS SOPS 10058 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7871.058
AT ITER 7434 NEW BEST:: SOT 64476 SOS 10056 HAS SOPS 10056 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7869.056
AT ITER 7438 NEW BEST:: SOT 64476 SOS 10046 HAS SOPS 10046 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7859.046
AT ITER 7468 NEW BEST:: SOT 64460 SOS 10030 HAS SOPS 10030 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7843.03
AT ITER 7602 NEW BEST:: SOT 64459 SOS 10028 HAS SOPS 10028 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7841.028
AT ITER 7622 NEW BEST:: SOT 64466 SOS 10010 HAS SOPS 10010 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7823.01
AT ITER 7688 NEW BEST:: SOT 64440 SOS 9974 HAS SOPS 9974 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7792.974
AT ITER 7744 NEW BEST:: SOT 64441 SOS 9973 HAS SOPS 9973 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7791.973
AT ITER 7759 NEW BEST:: SOT 64429 SOS 9952 HAS SOPS 9952 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7778.952
AT ITER 7794 NEW BEST:: SOT 64434 SOS 9945 HAS SOPS 9945 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7771.945
AT ITER 7810 NEW BEST:: SOT 64385 SOS 9933 HAS SOPS 9933 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7759.933
AT ITER 7821 NEW BEST:: SOT 64384 SOS 9932 HAS SOPS 9932 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7757.932
AT ITER 7835 NEW BEST:: SOT 64383 SOS 9935 HAS SOPS 9935 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7753.935
AT ITER 7852 NEW BEST:: SOT 64378 SOS 9930 HAS SOPS 9930 HAS SOUS 7739 HAS SOUPS 7739 WITH SCORE 7748.93
AT ITER 7874 NEW BEST:: SOT 64374 SOS 9922 HAS SOPS 9922 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7740.922
AT ITER 7923 NEW BEST:: SOT 64372 SOS 9911 HAS SOPS 9911 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7729.911
AT ITER 7924 NEW BEST:: SOT 64375 SOS 9895 HAS SOPS 9895 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7721.895
AT ITER 7946 NEW BEST:: SOT 64377 SOS 9869 HAS SOPS 9869 HAS SOUS 7686 HAS SOUPS 7686 WITH SCORE 7695.869
AT ITER 8002 NEW BEST:: SOT 64371 SOS 9857 HAS SOPS 9857 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7689.857
AT ITER 8081 NEW BEST:: SOT 64371 SOS 9856 HAS SOPS 9856 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7688.856
AT ITER 8126 NEW BEST:: SOT 64376 SOS 9849 HAS SOPS 9849 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.849
AT ITER 8205 NEW BEST:: SOT 64361 SOS 9833 HAS SOPS 9833 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7665.833
AT ITER 8261 NEW BEST:: SOT 64361 SOS 9812 HAS SOPS 9812 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7665.812
AT ITER 8274 NEW BEST:: SOT 64323 SOS 9802 HAS SOPS 9802 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7655.802
AT ITER 8288 NEW BEST:: SOT 64322 SOS 9801 HAS SOPS 9801 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7651.801
AT ITER 8289 NEW BEST:: SOT 64322 SOS 9799 HAS SOPS 9799 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7649.799
AT ITER 8298 NEW BEST:: SOT 64295 SOS 9726 HAS SOPS 9726 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7575.726
AT ITER 8311 NEW BEST:: SOT 64286 SOS 9708 HAS SOPS 9708 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7566.708
AT ITER 8326 NEW BEST:: SOT 64283 SOS 9663 HAS SOPS 9663 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7548.663
AT ITER 8391 NEW BEST:: SOT 64278 SOS 9643 HAS SOPS 9643 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7538.643
AT ITER 8458 NEW BEST:: SOT 64276 SOS 9632 HAS SOPS 9632 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7534.632
AT ITER 8462 NEW BEST:: SOT 64275 SOS 9618 HAS SOPS 9618 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7520.618
AT ITER 8551 NEW BEST:: SOT 64271 SOS 9614 HAS SOPS 9614 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7508.614
AT ITER 8560 NEW BEST:: SOT 64271 SOS 9596 HAS SOPS 9596 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7497.596
AT ITER 8660 NEW BEST:: SOT 64272 SOS 9612 HAS SOPS 9612 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7494.612
AT ITER 8727 NEW BEST:: SOT 64266 SOS 9613 HAS SOPS 9613 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7484.613
AT ITER 8734 NEW BEST:: SOT 64265 SOS 9601 HAS SOPS 9601 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7471.601
AT ITER 8757 NEW BEST:: SOT 64255 SOS 9591 HAS SOPS 9591 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7451.591
AT ITER 8777 NEW BEST:: SOT 64252 SOS 9588 HAS SOPS 9588 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7448.588
AT ITER 8811 NEW BEST:: SOT 64252 SOS 9588 HAS SOPS 9588 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7447.588
AT ITER 8825 NEW BEST:: SOT 64235 SOS 9572 HAS SOPS 9572 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7431.572
AT ITER 8831 NEW BEST:: SOT 64228 SOS 9557 HAS SOPS 9557 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7416.557
AT ITER 8869 NEW BEST:: SOT 64231 SOS 9548 HAS SOPS 9548 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7407.548
AT ITER 8880 NEW BEST:: SOT 64232 SOS 9546 HAS SOPS 9546 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7402.546
AT ITER 8896 NEW BEST:: SOT 64222 SOS 9532 HAS SOPS 9532 HAS SOUS 7373 HAS SOUPS 7373 WITH SCORE 7382.532
AT ITER 8979 NEW BEST:: SOT 64212 SOS 9521 HAS SOPS 9521 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7370.521
AT ITER 9019 NEW BEST:: SOT 64208 SOS 9509 HAS SOPS 9509 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7370.509
AT ITER 9074 NEW BEST:: SOT 64194 SOS 9506 HAS SOPS 9506 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7367.506
AT ITER 9121 NEW BEST:: SOT 64193 SOS 9505 HAS SOPS 9505 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7366.505
AT ITER 9126 NEW BEST:: SOT 64193 SOS 9500 HAS SOPS 9500 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7362.5
AT ITER 9140 NEW BEST:: SOT 64193 SOS 9495 HAS SOPS 9495 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7357.495
AT ITER 9222 NEW BEST:: SOT 64193 SOS 9489 HAS SOPS 9489 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7351.489
AT ITER 9255 NEW BEST:: SOT 64183 SOS 9474 HAS SOPS 9474 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7333.474
AT ITER 9256 NEW BEST:: SOT 64183 SOS 9471 HAS SOPS 9471 HAS SOUS 7321 HAS SOUPS 7321 WITH SCORE 7330.471
AT ITER 9261 NEW BEST:: SOT 64183 SOS 9470 HAS SOPS 9470 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7329.47
AT ITER 9263 NEW BEST:: SOT 64175 SOS 9452 HAS SOPS 9452 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7311.452
AT ITER 9302 NEW BEST:: SOT 64162 SOS 9437 HAS SOPS 9437 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7295.437
AT ITER 9353 NEW BEST:: SOT 64155 SOS 9424 HAS SOPS 9424 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7282.424
AT ITER 9404 NEW BEST:: SOT 64155 SOS 9419 HAS SOPS 9419 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7277.419
AT ITER 9406 NEW BEST:: SOT 64132 SOS 9394 HAS SOPS 9394 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7272.394
AT ITER 9503 NEW BEST:: SOT 64130 SOS 9392 HAS SOPS 9392 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7266.392
AT ITER 9510 NEW BEST:: SOT 64125 SOS 9382 HAS SOPS 9382 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7256.382
AT ITER 9513 NEW BEST:: SOT 64102 SOS 9371 HAS SOPS 9371 HAS SOUS 7236 HAS SOUPS 7236 WITH SCORE 7245.371
AT ITER 9762 NEW BEST:: SOT 64104 SOS 9369 HAS SOPS 9369 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7243.369
AT ITER 9814 NEW BEST:: SOT 64095 SOS 9384 HAS SOPS 9384 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7221.384
AT ITER 9860 NEW BEST:: SOT 64095 SOS 9384 HAS SOPS 9384 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7216.384
AT ITER 9864 NEW BEST:: SOT 64069 SOS 9358 HAS SOPS 9358 HAS SOUS 7180 HAS SOUPS 7180 WITH SCORE 7189.358
AT ITER 9872 NEW BEST:: SOT 64087 SOS 9369 HAS SOPS 9369 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7188.369
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4876396 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154232 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="DES-PT-20b"
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 DES-PT-20b, 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-167814472400440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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