fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902541900272
Last Updated
Jun 28, 2020

About the Execution of smart for DES-PT-20b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.690 3600000.00 3600059.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 91K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589106622195

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 20b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 2 NEW BEST:: SOT 67149 SOS 12761 HAS SOPS 12761 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11381.761
AT ITER 17 NEW BEST:: SOT 67148 SOS 12583 HAS SOPS 12583 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11323.583
AT ITER 26 NEW BEST:: SOT 67038 SOS 12516 HAS SOPS 12516 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11227.516
AT ITER 81 NEW BEST:: SOT 67038 SOS 12515 HAS SOPS 12515 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11226.515
AT ITER 120 NEW BEST:: SOT 67028 SOS 12502 HAS SOPS 12502 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11214.502
AT ITER 121 NEW BEST:: SOT 67028 SOS 12500 HAS SOPS 12500 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11214.5
AT ITER 155 NEW BEST:: SOT 66997 SOS 12440 HAS SOPS 12440 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11149.44
AT ITER 172 NEW BEST:: SOT 66976 SOS 12389 HAS SOPS 12389 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11098.389
AT ITER 176 NEW BEST:: SOT 66935 SOS 12365 HAS SOPS 12365 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11088.365
AT ITER 203 NEW BEST:: SOT 66925 SOS 12364 HAS SOPS 12364 HAS SOUS 11075 HAS SOUPS 11075 WITH SCORE 11087.364
AT ITER 204 NEW BEST:: SOT 66902 SOS 12340 HAS SOPS 12340 HAS SOUS 11051 HAS SOUPS 11051 WITH SCORE 11063.34
AT ITER 216 NEW BEST:: SOT 66883 SOS 12321 HAS SOPS 12321 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11044.321
AT ITER 231 NEW BEST:: SOT 66883 SOS 12305 HAS SOPS 12305 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11028.305
AT ITER 232 NEW BEST:: SOT 66855 SOS 12291 HAS SOPS 12291 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11014.291
AT ITER 280 NEW BEST:: SOT 66849 SOS 12279 HAS SOPS 12279 HAS SOUS 10999 HAS SOUPS 10999 WITH SCORE 11011.279
AT ITER 294 NEW BEST:: SOT 66849 SOS 12281 HAS SOPS 12281 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11010.281
AT ITER 315 NEW BEST:: SOT 66803 SOS 12245 HAS SOPS 12245 HAS SOUS 10962 HAS SOUPS 10962 WITH SCORE 10974.245
AT ITER 317 NEW BEST:: SOT 66783 SOS 12182 HAS SOPS 12182 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10911.182
AT ITER 341 NEW BEST:: SOT 66778 SOS 12177 HAS SOPS 12177 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10906.177
AT ITER 354 NEW BEST:: SOT 66778 SOS 12162 HAS SOPS 12162 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10891.162
AT ITER 372 NEW BEST:: SOT 66781 SOS 12158 HAS SOPS 12158 HAS SOUS 10875 HAS SOUPS 10875 WITH SCORE 10887.158
AT ITER 407 NEW BEST:: SOT 66754 SOS 12103 HAS SOPS 12103 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10832.103
AT ITER 411 NEW BEST:: SOT 66752 SOS 12139 HAS SOPS 12139 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10830.139
AT ITER 416 NEW BEST:: SOT 66752 SOS 12137 HAS SOPS 12137 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10828.137
AT ITER 428 NEW BEST:: SOT 66753 SOS 12116 HAS SOPS 12116 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10807.116
AT ITER 452 NEW BEST:: SOT 66750 SOS 12113 HAS SOPS 12113 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10804.113
AT ITER 455 NEW BEST:: SOT 66760 SOS 12111 HAS SOPS 12111 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10802.111
AT ITER 460 NEW BEST:: SOT 66758 SOS 12109 HAS SOPS 12109 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10800.109
AT ITER 473 NEW BEST:: SOT 66772 SOS 12099 HAS SOPS 12099 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10791.099
AT ITER 486 NEW BEST:: SOT 66772 SOS 12085 HAS SOPS 12085 HAS SOUS 10765 HAS SOUPS 10765 WITH SCORE 10777.085
AT ITER 487 NEW BEST:: SOT 66755 SOS 12068 HAS SOPS 12068 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10760.068
AT ITER 495 NEW BEST:: SOT 66710 SOS 12001 HAS SOPS 12001 HAS SOUS 10681 HAS SOUPS 10681 WITH SCORE 10693.001
AT ITER 522 NEW BEST:: SOT 66659 SOS 12246 HAS SOPS 12246 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10667.246
AT ITER 543 NEW BEST:: SOT 66639 SOS 12226 HAS SOPS 12226 HAS SOUS 10635 HAS SOUPS 10635 WITH SCORE 10647.226
AT ITER 548 NEW BEST:: SOT 66639 SOS 12213 HAS SOPS 12213 HAS SOUS 10622 HAS SOUPS 10622 WITH SCORE 10634.213
AT ITER 554 NEW BEST:: SOT 66619 SOS 12197 HAS SOPS 12197 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10618.197
AT ITER 564 NEW BEST:: SOT 66544 SOS 12160 HAS SOPS 12160 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10569.16
AT ITER 566 NEW BEST:: SOT 66492 SOS 12144 HAS SOPS 12144 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10549.144
AT ITER 585 NEW BEST:: SOT 66479 SOS 12144 HAS SOPS 12144 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10548.144
AT ITER 606 NEW BEST:: SOT 65955 SOS 12997 HAS SOPS 12997 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10188.997
AT ITER 618 NEW BEST:: SOT 65946 SOS 12992 HAS SOPS 12992 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10183.992
AT ITER 655 NEW BEST:: SOT 65946 SOS 12982 HAS SOPS 12982 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10173.982
AT ITER 686 NEW BEST:: SOT 65946 SOS 12980 HAS SOPS 12980 HAS SOUS 10159 HAS SOUPS 10159 WITH SCORE 10171.98
AT ITER 707 NEW BEST:: SOT 65945 SOS 12979 HAS SOPS 12979 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10170.979
AT ITER 726 NEW BEST:: SOT 65965 SOS 12984 HAS SOPS 12984 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10135.984
AT ITER 733 NEW BEST:: SOT 65967 SOS 12980 HAS SOPS 12980 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10133.98
AT ITER 777 NEW BEST:: SOT 65939 SOS 12952 HAS SOPS 12952 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10119.952
AT ITER 791 NEW BEST:: SOT 65939 SOS 12925 HAS SOPS 12925 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10092.925
AT ITER 796 NEW BEST:: SOT 65939 SOS 12923 HAS SOPS 12923 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10090.923
AT ITER 799 NEW BEST:: SOT 65924 SOS 12921 HAS SOPS 12921 HAS SOUS 10053 HAS SOUPS 10053 WITH SCORE 10065.921
AT ITER 804 NEW BEST:: SOT 65914 SOS 12901 HAS SOPS 12901 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10045.901
AT ITER 813 NEW BEST:: SOT 65912 SOS 12897 HAS SOPS 12897 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10041.897
AT ITER 825 NEW BEST:: SOT 65898 SOS 12902 HAS SOPS 12902 HAS SOUS 10001 HAS SOUPS 10001 WITH SCORE 10013.902
AT ITER 832 NEW BEST:: SOT 65897 SOS 12901 HAS SOPS 12901 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10012.901
AT ITER 861 NEW BEST:: SOT 65894 SOS 12898 HAS SOPS 12898 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10009.898
AT ITER 893 NEW BEST:: SOT 65893 SOS 12897 HAS SOPS 12897 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10008.897
AT ITER 914 NEW BEST:: SOT 65859 SOS 12995 HAS SOPS 12995 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9989.995
AT ITER 936 NEW BEST:: SOT 65763 SOS 12923 HAS SOPS 12923 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 9917.923
AT ITER 1049 NEW BEST:: SOT 65756 SOS 12827 HAS SOPS 12827 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9832.827
AT ITER 1083 NEW BEST:: SOT 65739 SOS 12794 HAS SOPS 12794 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9799.794
AT ITER 1101 NEW BEST:: SOT 65726 SOS 12762 HAS SOPS 12762 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9766.762
AT ITER 1132 NEW BEST:: SOT 65700 SOS 12761 HAS SOPS 12761 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9765.761
AT ITER 1149 NEW BEST:: SOT 65693 SOS 12757 HAS SOPS 12757 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9747.757
AT ITER 1174 NEW BEST:: SOT 65687 SOS 12750 HAS SOPS 12750 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9740.75
AT ITER 1214 NEW BEST:: SOT 65663 SOS 12760 HAS SOPS 12760 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9710.76
AT ITER 1271 NEW BEST:: SOT 65663 SOS 12758 HAS SOPS 12758 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9708.758
AT ITER 1312 NEW BEST:: SOT 65633 SOS 12731 HAS SOPS 12731 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9681.731
AT ITER 1324 NEW BEST:: SOT 65633 SOS 12731 HAS SOPS 12731 HAS SOUS 9668 HAS SOUPS 9668 WITH SCORE 9680.731
AT ITER 1375 NEW BEST:: SOT 65632 SOS 12014 HAS SOPS 12014 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9643.014
AT ITER 1428 NEW BEST:: SOT 65630 SOS 11865 HAS SOPS 11865 HAS SOUS 9622 HAS SOUPS 9622 WITH SCORE 9633.865
AT ITER 1431 NEW BEST:: SOT 65614 SOS 11859 HAS SOPS 11859 HAS SOUS 9594 HAS SOUPS 9594 WITH SCORE 9605.859
AT ITER 1454 NEW BEST:: SOT 65589 SOS 11858 HAS SOPS 11858 HAS SOUS 9578 HAS SOUPS 9578 WITH SCORE 9589.858
AT ITER 1463 NEW BEST:: SOT 65586 SOS 11870 HAS SOPS 11870 HAS SOUS 9572 HAS SOUPS 9572 WITH SCORE 9583.87
AT ITER 1482 NEW BEST:: SOT 65561 SOS 11837 HAS SOPS 11837 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9550.837
AT ITER 1487 NEW BEST:: SOT 65525 SOS 11852 HAS SOPS 11852 HAS SOUS 9494 HAS SOUPS 9494 WITH SCORE 9505.852
AT ITER 1488 NEW BEST:: SOT 65524 SOS 11851 HAS SOPS 11851 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9503.851
AT ITER 1511 NEW BEST:: SOT 65519 SOS 11851 HAS SOPS 11851 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9498.851
AT ITER 1536 NEW BEST:: SOT 65498 SOS 11828 HAS SOPS 11828 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9475.828
AT ITER 1592 NEW BEST:: SOT 65490 SOS 11819 HAS SOPS 11819 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9466.819
AT ITER 1601 NEW BEST:: SOT 65490 SOS 11808 HAS SOPS 11808 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9456.808
AT ITER 1687 NEW BEST:: SOT 65490 SOS 11797 HAS SOPS 11797 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9445.797
AT ITER 1692 NEW BEST:: SOT 65484 SOS 11790 HAS SOPS 11790 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9438.79
AT ITER 1698 NEW BEST:: SOT 65402 SOS 11708 HAS SOPS 11708 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9353.708
AT ITER 1701 NEW BEST:: SOT 65402 SOS 11708 HAS SOPS 11708 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9349.708
AT ITER 1722 NEW BEST:: SOT 65402 SOS 11708 HAS SOPS 11708 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9348.708
AT ITER 1761 NEW BEST:: SOT 65403 SOS 11718 HAS SOPS 11718 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9341.718
AT ITER 1812 NEW BEST:: SOT 65360 SOS 11709 HAS SOPS 11709 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9332.709
AT ITER 1820 NEW BEST:: SOT 65337 SOS 11669 HAS SOPS 11669 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9292.669
AT ITER 1831 NEW BEST:: SOT 65337 SOS 11658 HAS SOPS 11658 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9281.658
AT ITER 1837 NEW BEST:: SOT 65319 SOS 11649 HAS SOPS 11649 HAS SOUS 9261 HAS SOUPS 9261 WITH SCORE 9272.649
AT ITER 1838 NEW BEST:: SOT 65285 SOS 11632 HAS SOPS 11632 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9255.632
AT ITER 1843 NEW BEST:: SOT 65311 SOS 11589 HAS SOPS 11589 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9228.589
AT ITER 1914 NEW BEST:: SOT 65311 SOS 11589 HAS SOPS 11589 HAS SOUS 9213 HAS SOUPS 9213 WITH SCORE 9224.589
AT ITER 1937 NEW BEST:: SOT 65303 SOS 11581 HAS SOPS 11581 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9216.581
AT ITER 1963 NEW BEST:: SOT 65305 SOS 11579 HAS SOPS 11579 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9216.579
AT ITER 1981 NEW BEST:: SOT 65255 SOS 11480 HAS SOPS 11480 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9139.48
AT ITER 1988 NEW BEST:: SOT 65255 SOS 11476 HAS SOPS 11476 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9139.476
AT ITER 2000 NEW BEST:: SOT 65244 SOS 11421 HAS SOPS 11421 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9106.421
AT ITER 2071 NEW BEST:: SOT 65238 SOS 11419 HAS SOPS 11419 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9104.419
AT ITER 2115 NEW BEST:: SOT 65229 SOS 11401 HAS SOPS 11401 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9086.401
AT ITER 2130 NEW BEST:: SOT 65228 SOS 11399 HAS SOPS 11399 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9085.399
AT ITER 2151 NEW BEST:: SOT 65198 SOS 11339 HAS SOPS 11339 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9024.339
AT ITER 2163 NEW BEST:: SOT 65180 SOS 11312 HAS SOPS 11312 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9024.312
AT ITER 2166 NEW BEST:: SOT 65180 SOS 10952 HAS SOPS 10952 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9023.952
AT ITER 2173 NEW BEST:: SOT 65184 SOS 10911 HAS SOPS 10911 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 8989.911
AT ITER 2198 NEW BEST:: SOT 65168 SOS 10895 HAS SOPS 10895 HAS SOUS 8963 HAS SOUPS 8963 WITH SCORE 8973.895
AT ITER 2204 NEW BEST:: SOT 65153 SOS 10879 HAS SOPS 10879 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8957.879
AT ITER 2212 NEW BEST:: SOT 65153 SOS 10873 HAS SOPS 10873 HAS SOUS 8941 HAS SOUPS 8941 WITH SCORE 8951.873
AT ITER 2267 NEW BEST:: SOT 65092 SOS 10858 HAS SOPS 10858 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8892.858
AT ITER 2279 NEW BEST:: SOT 65087 SOS 10852 HAS SOPS 10852 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8886.852
AT ITER 2308 NEW BEST:: SOT 64977 SOS 10742 HAS SOPS 10742 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8765.742
AT ITER 2328 NEW BEST:: SOT 64972 SOS 10737 HAS SOPS 10737 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8760.737
AT ITER 2338 NEW BEST:: SOT 64954 SOS 10612 HAS SOPS 10612 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8681.612
AT ITER 2348 NEW BEST:: SOT 64922 SOS 10673 HAS SOPS 10673 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8671.673
AT ITER 2351 NEW BEST:: SOT 64913 SOS 10658 HAS SOPS 10658 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8651.658
AT ITER 2376 NEW BEST:: SOT 64905 SOS 10664 HAS SOPS 10664 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8643.664
AT ITER 2411 NEW BEST:: SOT 64893 SOS 10652 HAS SOPS 10652 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8631.652
AT ITER 2418 NEW BEST:: SOT 64893 SOS 10649 HAS SOPS 10649 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8628.649
AT ITER 2442 NEW BEST:: SOT 64890 SOS 10643 HAS SOPS 10643 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8627.643
AT ITER 2488 NEW BEST:: SOT 64834 SOS 10612 HAS SOPS 10612 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8561.612
AT ITER 2496 NEW BEST:: SOT 64829 SOS 10607 HAS SOPS 10607 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8551.607
AT ITER 2535 NEW BEST:: SOT 64830 SOS 10565 HAS SOPS 10565 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8508.565
AT ITER 2545 NEW BEST:: SOT 64830 SOS 10562 HAS SOPS 10562 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8508.562
AT ITER 2556 NEW BEST:: SOT 64822 SOS 10550 HAS SOPS 10550 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8496.55
AT ITER 2578 NEW BEST:: SOT 64822 SOS 10542 HAS SOPS 10542 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8488.542
AT ITER 2597 NEW BEST:: SOT 64820 SOS 10535 HAS SOPS 10535 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8486.535
AT ITER 2599 NEW BEST:: SOT 64806 SOS 10521 HAS SOPS 10521 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8472.521
AT ITER 2612 NEW BEST:: SOT 64805 SOS 10519 HAS SOPS 10519 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8470.519
AT ITER 2621 NEW BEST:: SOT 64783 SOS 10511 HAS SOPS 10511 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8448.511
AT ITER 2675 NEW BEST:: SOT 64783 SOS 10507 HAS SOPS 10507 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8444.507
AT ITER 2690 NEW BEST:: SOT 64778 SOS 10502 HAS SOPS 10502 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8439.502
AT ITER 2699 NEW BEST:: SOT 64787 SOS 10492 HAS SOPS 10492 HAS SOUS 8419 HAS SOUPS 8419 WITH SCORE 8429.492
AT ITER 2728 NEW BEST:: SOT 64784 SOS 10489 HAS SOPS 10489 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8425.489
AT ITER 2739 NEW BEST:: SOT 64787 SOS 10486 HAS SOPS 10486 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8422.486
AT ITER 2749 NEW BEST:: SOT 64784 SOS 10483 HAS SOPS 10483 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8419.483
AT ITER 2773 NEW BEST:: SOT 64777 SOS 10469 HAS SOPS 10469 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8405.469
AT ITER 2786 NEW BEST:: SOT 64765 SOS 10433 HAS SOPS 10433 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8392.433
AT ITER 2797 NEW BEST:: SOT 64765 SOS 10431 HAS SOPS 10431 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8390.431
AT ITER 2849 NEW BEST:: SOT 64765 SOS 10425 HAS SOPS 10425 HAS SOUS 8374 HAS SOUPS 8374 WITH SCORE 8384.425
AT ITER 2922 NEW BEST:: SOT 64709 SOS 10371 HAS SOPS 10371 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8328.371
AT ITER 2923 NEW BEST:: SOT 64709 SOS 10348 HAS SOPS 10348 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8305.348
AT ITER 2934 NEW BEST:: SOT 64708 SOS 10345 HAS SOPS 10345 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8305.345
AT ITER 2969 NEW BEST:: SOT 64719 SOS 10287 HAS SOPS 10287 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8280.287
AT ITER 2986 NEW BEST:: SOT 64707 SOS 10274 HAS SOPS 10274 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8267.274
AT ITER 2997 NEW BEST:: SOT 64705 SOS 10268 HAS SOPS 10268 HAS SOUS 8251 HAS SOUPS 8251 WITH SCORE 8261.268
AT ITER 3068 NEW BEST:: SOT 64698 SOS 10240 HAS SOPS 10240 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8233.24
AT ITER 3079 NEW BEST:: SOT 64685 SOS 10227 HAS SOPS 10227 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8220.227
AT ITER 3090 NEW BEST:: SOT 64666 SOS 10208 HAS SOPS 10208 HAS SOUS 8191 HAS SOUPS 8191 WITH SCORE 8201.208
AT ITER 3098 NEW BEST:: SOT 64650 SOS 10176 HAS SOPS 10176 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8169.176
AT ITER 3100 NEW BEST:: SOT 64650 SOS 10172 HAS SOPS 10172 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8169.172
AT ITER 3171 NEW BEST:: SOT 64650 SOS 10170 HAS SOPS 10170 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8168.17
AT ITER 3178 NEW BEST:: SOT 64650 SOS 10168 HAS SOPS 10168 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8168.168
AT ITER 3272 NEW BEST:: SOT 64646 SOS 10163 HAS SOPS 10163 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8167.163
AT ITER 3406 NEW BEST:: SOT 64641 SOS 10158 HAS SOPS 10158 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8162.158
AT ITER 3454 NEW BEST:: SOT 64623 SOS 10122 HAS SOPS 10122 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8126.122
AT ITER 3633 NEW BEST:: SOT 64621 SOS 10120 HAS SOPS 10120 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8124.12
AT ITER 3729 NEW BEST:: SOT 64621 SOS 10111 HAS SOPS 10111 HAS SOUS 8105 HAS SOUPS 8105 WITH SCORE 8115.111
AT ITER 3730 NEW BEST:: SOT 64618 SOS 10107 HAS SOPS 10107 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8111.107
AT ITER 3756 NEW BEST:: SOT 64619 SOS 10103 HAS SOPS 10103 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8108.103
AT ITER 3808 NEW BEST:: SOT 64617 SOS 10101 HAS SOPS 10101 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8103.101
AT ITER 3853 NEW BEST:: SOT 64591 SOS 10053 HAS SOPS 10053 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8055.053
AT ITER 3895 NEW BEST:: SOT 64572 SOS 10058 HAS SOPS 10058 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8051.058
AT ITER 3922 NEW BEST:: SOT 64570 SOS 10051 HAS SOPS 10051 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8044.051
AT ITER 4002 NEW BEST:: SOT 64570 SOS 10037 HAS SOPS 10037 HAS SOUS 8020 HAS SOUPS 8020 WITH SCORE 8030.037
AT ITER 4062 NEW BEST:: SOT 64532 SOS 10081 HAS SOPS 10081 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7982.081
AT ITER 4071 NEW BEST:: SOT 64525 SOS 10074 HAS SOPS 10074 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7975.074
AT ITER 4128 NEW BEST:: SOT 64523 SOS 10070 HAS SOPS 10070 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7971.07
AT ITER 4132 NEW BEST:: SOT 64520 SOS 10064 HAS SOPS 10064 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7968.064
AT ITER 4178 NEW BEST:: SOT 64504 SOS 10056 HAS SOPS 10056 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7960.056
AT ITER 4262 NEW BEST:: SOT 64489 SOS 10041 HAS SOPS 10041 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7956.041
AT ITER 4279 NEW BEST:: SOT 64490 SOS 9999 HAS SOPS 9999 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7913.999
AT ITER 4289 NEW BEST:: SOT 64482 SOS 9992 HAS SOPS 9992 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7906.992
AT ITER 4321 NEW BEST:: SOT 64485 SOS 9989 HAS SOPS 9989 HAS SOUS 7886 HAS SOUPS 7886 WITH SCORE 7895.989
AT ITER 4346 NEW BEST:: SOT 64485 SOS 9989 HAS SOPS 9989 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7889.989
AT ITER 4452 NEW BEST:: SOT 64480 SOS 9985 HAS SOPS 9985 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7885.985
AT ITER 4468 NEW BEST:: SOT 64486 SOS 9983 HAS SOPS 9983 HAS SOUS 7874 HAS SOUPS 7874 WITH SCORE 7883.983
AT ITER 4477 NEW BEST:: SOT 64457 SOS 9958 HAS SOPS 9958 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7858.958
AT ITER 4528 NEW BEST:: SOT 64457 SOS 9953 HAS SOPS 9953 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7853.953
AT ITER 4530 NEW BEST:: SOT 64457 SOS 9953 HAS SOPS 9953 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7843.953
AT ITER 4642 NEW BEST:: SOT 64454 SOS 9953 HAS SOPS 9953 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7836.953
AT ITER 4658 NEW BEST:: SOT 64447 SOS 9897 HAS SOPS 9897 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7816.897
AT ITER 4810 NEW BEST:: SOT 64446 SOS 9899 HAS SOPS 9899 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7815.899
AT ITER 4813 NEW BEST:: SOT 64443 SOS 9893 HAS SOPS 9893 HAS SOUS 7800 HAS SOUPS 7800 WITH SCORE 7809.893
AT ITER 4822 NEW BEST:: SOT 64443 SOS 9876 HAS SOPS 9876 HAS SOUS 7783 HAS SOUPS 7783 WITH SCORE 7792.876
AT ITER 4864 NEW BEST:: SOT 64439 SOS 9872 HAS SOPS 9872 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7788.872
AT ITER 4910 NEW BEST:: SOT 64444 SOS 9873 HAS SOPS 9873 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7782.873
AT ITER 4964 NEW BEST:: SOT 64442 SOS 9871 HAS SOPS 9871 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7780.871
AT ITER 5017 NEW BEST:: SOT 64433 SOS 9861 HAS SOPS 9861 HAS SOUS 7753 HAS SOUPS 7753 WITH SCORE 7762.861
AT ITER 5083 NEW BEST:: SOT 64424 SOS 9841 HAS SOPS 9841 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7751.841
AT ITER 5154 NEW BEST:: SOT 64400 SOS 9488 HAS SOPS 9488 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7710.488
AT ITER 5213 NEW BEST:: SOT 64375 SOS 9438 HAS SOPS 9438 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7703.438
AT ITER 5244 NEW BEST:: SOT 64375 SOS 9429 HAS SOPS 9429 HAS SOUS 7694 HAS SOUPS 7694 WITH SCORE 7703.429
AT ITER 5250 NEW BEST:: SOT 64371 SOS 9432 HAS SOPS 9432 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7699.432
AT ITER 5325 NEW BEST:: SOT 64366 SOS 9430 HAS SOPS 9430 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7697.43
AT ITER 5432 NEW BEST:: SOT 64358 SOS 9419 HAS SOPS 9419 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7686.419
AT ITER 5503 NEW BEST:: SOT 64358 SOS 9419 HAS SOPS 9419 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7678.419
AT ITER 5902 NEW BEST:: SOT 64385 SOS 9417 HAS SOPS 9417 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7676.417
AT ITER 5927 NEW BEST:: SOT 64360 SOS 9362 HAS SOPS 9362 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7621.362
AT ITER 5973 NEW BEST:: SOT 64360 SOS 9361 HAS SOPS 9361 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7620.361
AT ITER 6157 NEW BEST:: SOT 64363 SOS 9356 HAS SOPS 9356 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7618.356
AT ITER 6171 NEW BEST:: SOT 64362 SOS 9355 HAS SOPS 9355 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7617.355
AT ITER 6249 NEW BEST:: SOT 64361 SOS 9352 HAS SOPS 9352 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7614.352
AT ITER 6256 NEW BEST:: SOT 64360 SOS 9351 HAS SOPS 9351 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7612.351
AT ITER 6263 NEW BEST:: SOT 64354 SOS 9339 HAS SOPS 9339 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7600.339
AT ITER 6320 NEW BEST:: SOT 64354 SOS 9322 HAS SOPS 9322 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7583.322
AT ITER 6462 NEW BEST:: SOT 64360 SOS 9312 HAS SOPS 9312 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7580.312
AT ITER 6471 NEW BEST:: SOT 64342 SOS 9287 HAS SOPS 9287 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7530.287
AT ITER 6530 NEW BEST:: SOT 64347 SOS 9208 HAS SOPS 9208 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7530.208
AT ITER 6578 NEW BEST:: SOT 64334 SOS 9172 HAS SOPS 9172 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7494.172
AT ITER 6717 NEW BEST:: SOT 64261 SOS 9302 HAS SOPS 9302 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7483.302
AT ITER 6732 NEW BEST:: SOT 64261 SOS 9301 HAS SOPS 9301 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7483.301
AT ITER 6737 NEW BEST:: SOT 64269 SOS 9279 HAS SOPS 9279 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7464.279
AT ITER 6792 NEW BEST:: SOT 64269 SOS 9278 HAS SOPS 9278 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7463.278
AT ITER 6838 NEW BEST:: SOT 64264 SOS 9258 HAS SOPS 9258 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7463.258
AT ITER 6935 NEW BEST:: SOT 64264 SOS 9256 HAS SOPS 9256 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7461.256
AT ITER 6978 NEW BEST:: SOT 64266 SOS 9254 HAS SOPS 9254 HAS SOUS 7450 HAS SOUPS 7450 WITH SCORE 7459.254
AT ITER 6982 NEW BEST:: SOT 64264 SOS 9252 HAS SOPS 9252 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7457.252
AT ITER 7021 NEW BEST:: SOT 64227 SOS 9207 HAS SOPS 9207 HAS SOUS 7439 HAS SOUPS 7439 WITH SCORE 7448.207
AT ITER 7143 NEW BEST:: SOT 64227 SOS 9206 HAS SOPS 9206 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7447.206
AT ITER 7282 NEW BEST:: SOT 64217 SOS 9199 HAS SOPS 9199 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7440.199
AT ITER 7297 NEW BEST:: SOT 64205 SOS 9187 HAS SOPS 9187 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7418.187
AT ITER 7329 NEW BEST:: SOT 64204 SOS 9186 HAS SOPS 9186 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7417.186
AT ITER 7347 NEW BEST:: SOT 64189 SOS 9171 HAS SOPS 9171 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7386.171
AT ITER 7359 NEW BEST:: SOT 64195 SOS 9164 HAS SOPS 9164 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7379.164
AT ITER 7391 NEW BEST:: SOT 64188 SOS 9157 HAS SOPS 9157 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7379.157
AT ITER 7434 NEW BEST:: SOT 64178 SOS 9147 HAS SOPS 9147 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7369.147
AT ITER 7442 NEW BEST:: SOT 64177 SOS 9145 HAS SOPS 9145 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7365.145
AT ITER 7469 NEW BEST:: SOT 64172 SOS 9140 HAS SOPS 9140 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7363.14
AT ITER 7492 NEW BEST:: SOT 64172 SOS 9130 HAS SOPS 9130 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7353.13
AT ITER 7497 NEW BEST:: SOT 64171 SOS 9129 HAS SOPS 9129 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7351.129
AT ITER 7588 NEW BEST:: SOT 64171 SOS 9097 HAS SOPS 9097 HAS SOUS 7342 HAS SOUPS 7342 WITH SCORE 7351.097
AT ITER 7631 NEW BEST:: SOT 64167 SOS 9093 HAS SOPS 9093 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7347.093
AT ITER 7643 NEW BEST:: SOT 64167 SOS 9089 HAS SOPS 9089 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7343.089
AT ITER 7663 NEW BEST:: SOT 64167 SOS 9087 HAS SOPS 9087 HAS SOUS 7332 HAS SOUPS 7332 WITH SCORE 7341.087
AT ITER 7701 NEW BEST:: SOT 64158 SOS 9069 HAS SOPS 9069 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7323.069
AT ITER 7718 NEW BEST:: SOT 64158 SOS 9069 HAS SOPS 9069 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7322.069
AT ITER 7806 NEW BEST:: SOT 64152 SOS 9063 HAS SOPS 9063 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7316.063
AT ITER 7810 NEW BEST:: SOT 64149 SOS 9060 HAS SOPS 9060 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7313.06
AT ITER 7827 NEW BEST:: SOT 64148 SOS 9059 HAS SOPS 9059 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7311.059
AT ITER 7978 NEW BEST:: SOT 64139 SOS 9036 HAS SOPS 9036 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7289.036
AT ITER 8041 NEW BEST:: SOT 64139 SOS 9030 HAS SOPS 9030 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7286.03
AT ITER 8065 NEW BEST:: SOT 64144 SOS 9091 HAS SOPS 9091 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7269.091
AT ITER 8093 NEW BEST:: SOT 64140 SOS 9087 HAS SOPS 9087 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7265.087
AT ITER 8136 NEW BEST:: SOT 64137 SOS 9084 HAS SOPS 9084 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7259.084
AT ITER 8141 NEW BEST:: SOT 64133 SOS 9080 HAS SOPS 9080 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7251.08
AT ITER 8216 NEW BEST:: SOT 64126 SOS 9193 HAS SOPS 9193 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7250.193
AT ITER 8342 NEW BEST:: SOT 64122 SOS 9189 HAS SOPS 9189 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7244.189
AT ITER 8386 NEW BEST:: SOT 64121 SOS 9188 HAS SOPS 9188 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7242.188
AT ITER 8408 NEW BEST:: SOT 64121 SOS 9181 HAS SOPS 9181 HAS SOUS 7233 HAS SOUPS 7233 WITH SCORE 7242.181
AT ITER 8457 NEW BEST:: SOT 64121 SOS 9179 HAS SOPS 9179 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7240.179
AT ITER 8460 NEW BEST:: SOT 64107 SOS 9165 HAS SOPS 9165 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7226.165
AT ITER 8619 NEW BEST:: SOT 64102 SOS 9160 HAS SOPS 9160 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7216.16
AT ITER 8639 NEW BEST:: SOT 64102 SOS 9157 HAS SOPS 9157 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7216.157
AT ITER 8653 NEW BEST:: SOT 64102 SOS 9154 HAS SOPS 9154 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7213.154
AT ITER 8666 NEW BEST:: SOT 64101 SOS 9153 HAS SOPS 9153 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7211.153
AT ITER 8735 NEW BEST:: SOT 64101 SOS 9151 HAS SOPS 9151 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7209.151
AT ITER 8742 NEW BEST:: SOT 64101 SOS 9133 HAS SOPS 9133 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7203.133
AT ITER 8846 NEW BEST:: SOT 64098 SOS 9127 HAS SOPS 9127 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7197.127
AT ITER 8850 NEW BEST:: SOT 64098 SOS 9126 HAS SOPS 9126 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7196.126
AT ITER 8873 NEW BEST:: SOT 64093 SOS 9121 HAS SOPS 9121 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7196.121
AT ITER 8936 NEW BEST:: SOT 64099 SOS 9120 HAS SOPS 9120 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7195.12
AT ITER 8938 NEW BEST:: SOT 64090 SOS 9110 HAS SOPS 9110 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7185.11
AT ITER 9113 NEW BEST:: SOT 64090 SOS 9104 HAS SOPS 9104 HAS SOUS 7170 HAS SOUPS 7170 WITH SCORE 7179.104
AT ITER 9148 NEW BEST:: SOT 64089 SOS 9103 HAS SOPS 9103 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7177.103
AT ITER 9191 NEW BEST:: SOT 64087 SOS 9103 HAS SOPS 9103 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7173.103
AT ITER 9205 NEW BEST:: SOT 64097 SOS 9029 HAS SOPS 9029 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7163.029
AT ITER 9286 NEW BEST:: SOT 64094 SOS 9026 HAS SOPS 9026 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7163.026
AT ITER 9297 NEW BEST:: SOT 64103 SOS 9024 HAS SOPS 9024 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7161.024
AT ITER 9299 NEW BEST:: SOT 64105 SOS 9022 HAS SOPS 9022 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7159.022
AT ITER 9405 NEW BEST:: SOT 64090 SOS 8978 HAS SOPS 8978 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7146.978
AT ITER 9462 NEW BEST:: SOT 64090 SOS 8974 HAS SOPS 8974 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7142.974
AT ITER 9543 NEW BEST:: SOT 64089 SOS 8956 HAS SOPS 8956 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7141.956
AT ITER 9622 NEW BEST:: SOT 64098 SOS 8955 HAS SOPS 8955 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7140.955
AT ITER 9664 NEW BEST:: SOT 64086 SOS 8953 HAS SOPS 8953 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.953
AT ITER 9723 NEW BEST:: SOT 64079 SOS 8942 HAS SOPS 8942 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7132.942
AT ITER 9761 NEW BEST:: SOT 64070 SOS 8933 HAS SOPS 8933 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.933
AT ITER 9773 NEW BEST:: SOT 64033 SOS 8909 HAS SOPS 8909 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7099.909
AT ITER 9869 NEW BEST:: SOT 64034 SOS 8909 HAS SOPS 8909 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7098.909
AT ITER 9870 NEW BEST:: SOT 64033 SOS 8915 HAS SOPS 8915 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7097.915
AT ITER 9950 NEW BEST:: SOT 64033 SOS 8913 HAS SOPS 8913 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7097.913
AT ITER 9958 NEW BEST:: SOT 64032 SOS 8930 HAS SOPS 8930 HAS SOUS 7087 HAS SOUPS 7087 WITH SCORE 7095.93

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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