Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680000456.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-01, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.0K Mar 26 02:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 26 02:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 47K 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 1589017143562

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 01
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 200 places, 178 transitions, 487 arcs.
AT ITER 0 NEW BEST:: SOT 22783 SOS 8623 HAS SOPS 8623 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8326.623
AT ITER 3 NEW BEST:: SOT 22751 SOS 8616 HAS SOPS 8616 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8309.616
AT ITER 4 NEW BEST:: SOT 22655 SOS 8520 HAS SOPS 8520 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8213.52
AT ITER 6 NEW BEST:: SOT 22655 SOS 8483 HAS SOPS 8483 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8176.483
AT ITER 9 NEW BEST:: SOT 22172 SOS 8124 HAS SOPS 8124 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7744.124
AT ITER 15 NEW BEST:: SOT 22122 SOS 8049 HAS SOPS 8049 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7669.049
AT ITER 27 NEW BEST:: SOT 22126 SOS 8032 HAS SOPS 8032 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7652.032
AT ITER 33 NEW BEST:: SOT 22112 SOS 8018 HAS SOPS 8018 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7638.018
AT ITER 37 NEW BEST:: SOT 22095 SOS 8003 HAS SOPS 8003 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7623.003
AT ITER 43 NEW BEST:: SOT 22082 SOS 8073 HAS SOPS 8073 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7610.073
AT ITER 50 NEW BEST:: SOT 22074 SOS 7812 HAS SOPS 7812 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7400.812
AT ITER 59 NEW BEST:: SOT 22073 SOS 7811 HAS SOPS 7811 HAS SOUS 7392 HAS SOUPS 7392 WITH SCORE 7399.811
AT ITER 60 NEW BEST:: SOT 22056 SOS 7794 HAS SOPS 7794 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7382.794
AT ITER 61 NEW BEST:: SOT 22029 SOS 7740 HAS SOPS 7740 HAS SOUS 7348 HAS SOUPS 7348 WITH SCORE 7355.74
AT ITER 63 NEW BEST:: SOT 22008 SOS 7708 HAS SOPS 7708 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7323.708
AT ITER 67 NEW BEST:: SOT 22008 SOS 7671 HAS SOPS 7671 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7286.671
AT ITER 68 NEW BEST:: SOT 22007 SOS 7670 HAS SOPS 7670 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7285.67
AT ITER 70 NEW BEST:: SOT 22007 SOS 7647 HAS SOPS 7647 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7262.647
AT ITER 74 NEW BEST:: SOT 21939 SOS 7645 HAS SOPS 7645 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7260.645
AT ITER 87 NEW BEST:: SOT 21939 SOS 7613 HAS SOPS 7613 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7228.613
AT ITER 90 NEW BEST:: SOT 21953 SOS 7543 HAS SOPS 7543 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7184.543
AT ITER 102 NEW BEST:: SOT 21867 SOS 7531 HAS SOPS 7531 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7172.531
AT ITER 109 NEW BEST:: SOT 21866 SOS 7520 HAS SOPS 7520 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7161.52
AT ITER 113 NEW BEST:: SOT 21834 SOS 7472 HAS SOPS 7472 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7113.472
AT ITER 114 NEW BEST:: SOT 21814 SOS 7432 HAS SOPS 7432 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7073.432
AT ITER 121 NEW BEST:: SOT 21814 SOS 7425 HAS SOPS 7425 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7073.425
AT ITER 122 NEW BEST:: SOT 21816 SOS 7375 HAS SOPS 7375 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7023.375
AT ITER 140 NEW BEST:: SOT 21776 SOS 7234 HAS SOPS 7234 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6937.234
AT ITER 141 NEW BEST:: SOT 21758 SOS 7216 HAS SOPS 7216 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6919.216
AT ITER 148 NEW BEST:: SOT 21758 SOS 7210 HAS SOPS 7210 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6913.21
AT ITER 149 NEW BEST:: SOT 21761 SOS 7193 HAS SOPS 7193 HAS SOUS 6889 HAS SOUPS 6889 WITH SCORE 6896.193
AT ITER 151 NEW BEST:: SOT 21756 SOS 7171 HAS SOPS 7171 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6874.171
AT ITER 180 NEW BEST:: SOT 21785 SOS 7169 HAS SOPS 7169 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6872.169
AT ITER 204 NEW BEST:: SOT 21725 SOS 7158 HAS SOPS 7158 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6861.158
AT ITER 218 NEW BEST:: SOT 21709 SOS 7142 HAS SOPS 7142 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6845.142
AT ITER 225 NEW BEST:: SOT 21704 SOS 7137 HAS SOPS 7137 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6840.137
AT ITER 226 NEW BEST:: SOT 21702 SOS 7103 HAS SOPS 7103 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6806.103
AT ITER 232 NEW BEST:: SOT 21697 SOS 7098 HAS SOPS 7098 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6801.098
AT ITER 233 NEW BEST:: SOT 21717 SOS 7095 HAS SOPS 7095 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6798.095
AT ITER 237 NEW BEST:: SOT 21717 SOS 7077 HAS SOPS 7077 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6792.077
AT ITER 239 NEW BEST:: SOT 21717 SOS 7074 HAS SOPS 7074 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6789.074
AT ITER 269 NEW BEST:: SOT 21717 SOS 7064 HAS SOPS 7064 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6784.064
AT ITER 284 NEW BEST:: SOT 21715 SOS 7064 HAS SOPS 7064 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6782.064
AT ITER 308 NEW BEST:: SOT 21749 SOS 7046 HAS SOPS 7046 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6764.046
AT ITER 312 NEW BEST:: SOT 21752 SOS 7052 HAS SOPS 7052 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6756.052
AT ITER 328 NEW BEST:: SOT 21806 SOS 7045 HAS SOPS 7045 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.045
AT ITER 341 NEW BEST:: SOT 21661 SOS 6976 HAS SOPS 6976 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6540.976
AT ITER 345 NEW BEST:: SOT 21641 SOS 6956 HAS SOPS 6956 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6520.956
AT ITER 357 NEW BEST:: SOT 21663 SOS 6932 HAS SOPS 6932 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6496.932
AT ITER 358 NEW BEST:: SOT 21660 SOS 6913 HAS SOPS 6913 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6496.913
AT ITER 361 NEW BEST:: SOT 21665 SOS 6904 HAS SOPS 6904 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6487.904
AT ITER 374 NEW BEST:: SOT 21665 SOS 6901 HAS SOPS 6901 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6484.901
AT ITER 381 NEW BEST:: SOT 21661 SOS 6897 HAS SOPS 6897 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6480.897
AT ITER 393 NEW BEST:: SOT 21655 SOS 6891 HAS SOPS 6891 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6474.891
AT ITER 395 NEW BEST:: SOT 21624 SOS 6876 HAS SOPS 6876 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6428.876
AT ITER 401 NEW BEST:: SOT 21606 SOS 6880 HAS SOPS 6880 HAS SOUS 6411 HAS SOUPS 6411 WITH SCORE 6417.88
AT ITER 406 NEW BEST:: SOT 21606 SOS 6868 HAS SOPS 6868 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6405.868
AT ITER 443 NEW BEST:: SOT 21613 SOS 6854 HAS SOPS 6854 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6391.854
AT ITER 460 NEW BEST:: SOT 21576 SOS 6814 HAS SOPS 6814 HAS SOUS 6345 HAS SOUPS 6345 WITH SCORE 6351.814
AT ITER 474 NEW BEST:: SOT 21569 SOS 6800 HAS SOPS 6800 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6337.8
AT ITER 480 NEW BEST:: SOT 21568 SOS 6799 HAS SOPS 6799 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6337.799
AT ITER 484 NEW BEST:: SOT 21561 SOS 6797 HAS SOPS 6797 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6335.797
AT ITER 504 NEW BEST:: SOT 21540 SOS 6776 HAS SOPS 6776 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6314.776
AT ITER 536 NEW BEST:: SOT 21530 SOS 6761 HAS SOPS 6761 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6299.761
AT ITER 545 NEW BEST:: SOT 21521 SOS 6752 HAS SOPS 6752 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6290.752
AT ITER 549 NEW BEST:: SOT 21437 SOS 6663 HAS SOPS 6663 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6201.663
AT ITER 559 NEW BEST:: SOT 21436 SOS 6634 HAS SOPS 6634 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6199.634
AT ITER 565 NEW BEST:: SOT 21352 SOS 6971 HAS SOPS 6971 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6140.971
AT ITER 571 NEW BEST:: SOT 21331 SOS 6967 HAS SOPS 6967 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6139.967
AT ITER 576 NEW BEST:: SOT 21331 SOS 6957 HAS SOPS 6957 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6136.957
AT ITER 577 NEW BEST:: SOT 21318 SOS 6944 HAS SOPS 6944 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6123.944
AT ITER 580 NEW BEST:: SOT 21314 SOS 6940 HAS SOPS 6940 HAS SOUS 6113 HAS SOUPS 6113 WITH SCORE 6119.94
AT ITER 583 NEW BEST:: SOT 21306 SOS 6934 HAS SOPS 6934 HAS SOUS 6107 HAS SOUPS 6107 WITH SCORE 6113.934
AT ITER 584 NEW BEST:: SOT 21291 SOS 6874 HAS SOPS 6874 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6068.874
AT ITER 594 NEW BEST:: SOT 21295 SOS 6870 HAS SOPS 6870 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6064.87
AT ITER 601 NEW BEST:: SOT 21290 SOS 6859 HAS SOPS 6859 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6053.859
AT ITER 617 NEW BEST:: SOT 21270 SOS 6819 HAS SOPS 6819 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6013.819
AT ITER 625 NEW BEST:: SOT 21260 SOS 6786 HAS SOPS 6786 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.786
AT ITER 631 NEW BEST:: SOT 21260 SOS 6776 HAS SOPS 6776 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5970.776
AT ITER 655 NEW BEST:: SOT 21260 SOS 6776 HAS SOPS 6776 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5931.776
AT ITER 668 NEW BEST:: SOT 21241 SOS 6757 HAS SOPS 6757 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5909.757
AT ITER 682 NEW BEST:: SOT 21248 SOS 6771 HAS SOPS 6771 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5894.771
AT ITER 686 NEW BEST:: SOT 21248 SOS 6763 HAS SOPS 6763 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5894.763
AT ITER 698 NEW BEST:: SOT 21242 SOS 6757 HAS SOPS 6757 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5888.757
AT ITER 706 NEW BEST:: SOT 21235 SOS 6738 HAS SOPS 6738 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.738
AT ITER 714 NEW BEST:: SOT 21217 SOS 6720 HAS SOPS 6720 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5866.72
AT ITER 715 NEW BEST:: SOT 21211 SOS 6707 HAS SOPS 6707 HAS SOUS 5847 HAS SOUPS 5847 WITH SCORE 5853.707
AT ITER 720 NEW BEST:: SOT 21209 SOS 6703 HAS SOPS 6703 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.703
AT ITER 724 NEW BEST:: SOT 21209 SOS 6657 HAS SOPS 6657 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5826.657
AT ITER 725 NEW BEST:: SOT 21181 SOS 6639 HAS SOPS 6639 HAS SOUS 5802 HAS SOUPS 5802 WITH SCORE 5808.639
AT ITER 748 NEW BEST:: SOT 21181 SOS 6631 HAS SOPS 6631 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5807.631
AT ITER 750 NEW BEST:: SOT 21174 SOS 6628 HAS SOPS 6628 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.628
AT ITER 764 NEW BEST:: SOT 21165 SOS 6619 HAS SOPS 6619 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5795.619
AT ITER 768 NEW BEST:: SOT 21158 SOS 6605 HAS SOPS 6605 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5781.605
AT ITER 842 NEW BEST:: SOT 21159 SOS 6565 HAS SOPS 6565 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5757.565
AT ITER 851 NEW BEST:: SOT 21151 SOS 6553 HAS SOPS 6553 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5745.553
AT ITER 855 NEW BEST:: SOT 21156 SOS 6522 HAS SOPS 6522 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5714.522
AT ITER 861 NEW BEST:: SOT 21163 SOS 6518 HAS SOPS 6518 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5710.518
AT ITER 876 NEW BEST:: SOT 21161 SOS 6516 HAS SOPS 6516 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5708.516
AT ITER 887 NEW BEST:: SOT 21121 SOS 6435 HAS SOPS 6435 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.435
AT ITER 888 NEW BEST:: SOT 21093 SOS 6407 HAS SOPS 6407 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.407
AT ITER 889 NEW BEST:: SOT 21078 SOS 6392 HAS SOPS 6392 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5638.392
AT ITER 897 NEW BEST:: SOT 21078 SOS 6392 HAS SOPS 6392 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.392
AT ITER 898 NEW BEST:: SOT 21078 SOS 6392 HAS SOPS 6392 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.392
AT ITER 908 NEW BEST:: SOT 21073 SOS 6382 HAS SOPS 6382 HAS SOUS 5609 HAS SOUPS 5609 WITH SCORE 5615.382
AT ITER 910 NEW BEST:: SOT 21073 SOS 6365 HAS SOPS 6365 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5598.365
AT ITER 912 NEW BEST:: SOT 21085 SOS 6380 HAS SOPS 6380 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5595.38
AT ITER 914 NEW BEST:: SOT 21115 SOS 6343 HAS SOPS 6343 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5594.343
AT ITER 929 NEW BEST:: SOT 21006 SOS 6284 HAS SOPS 6284 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.284
AT ITER 938 NEW BEST:: SOT 20977 SOS 6270 HAS SOPS 6270 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.27
AT ITER 960 NEW BEST:: SOT 20977 SOS 6270 HAS SOPS 6270 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.27
AT ITER 971 NEW BEST:: SOT 20996 SOS 6259 HAS SOPS 6259 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.259
AT ITER 1011 NEW BEST:: SOT 20987 SOS 6250 HAS SOPS 6250 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5547.25
AT ITER 1015 NEW BEST:: SOT 20979 SOS 6234 HAS SOPS 6234 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.234
AT ITER 1030 NEW BEST:: SOT 20978 SOS 6218 HAS SOPS 6218 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.218
AT ITER 1037 NEW BEST:: SOT 20930 SOS 6198 HAS SOPS 6198 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.198
AT ITER 1067 NEW BEST:: SOT 20909 SOS 6156 HAS SOPS 6156 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5466.156
AT ITER 1072 NEW BEST:: SOT 20905 SOS 6152 HAS SOPS 6152 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5462.152
AT ITER 1088 NEW BEST:: SOT 20905 SOS 6152 HAS SOPS 6152 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5458.152
AT ITER 1091 NEW BEST:: SOT 20905 SOS 6140 HAS SOPS 6140 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5446.14
AT ITER 1104 NEW BEST:: SOT 20903 SOS 6138 HAS SOPS 6138 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5444.138
AT ITER 1109 NEW BEST:: SOT 20903 SOS 6154 HAS SOPS 6154 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5442.154
AT ITER 1128 NEW BEST:: SOT 20901 SOS 6106 HAS SOPS 6106 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5394.106
AT ITER 1133 NEW BEST:: SOT 20902 SOS 6100 HAS SOPS 6100 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5391.1
AT ITER 1136 NEW BEST:: SOT 20902 SOS 6096 HAS SOPS 6096 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.096
AT ITER 1161 NEW BEST:: SOT 20855 SOS 6056 HAS SOPS 6056 HAS SOUS 5333 HAS SOUPS 5333 WITH SCORE 5339.056
AT ITER 1176 NEW BEST:: SOT 20853 SOS 6062 HAS SOPS 6062 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5336.062
AT ITER 1183 NEW BEST:: SOT 20845 SOS 6046 HAS SOPS 6046 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.046
AT ITER 1192 NEW BEST:: SOT 20835 SOS 6036 HAS SOPS 6036 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5310.036
AT ITER 1202 NEW BEST:: SOT 20780 SOS 6667 HAS SOPS 6667 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5291.667
AT ITER 1214 NEW BEST:: SOT 20778 SOS 6663 HAS SOPS 6663 HAS SOUS 5281 HAS SOUPS 5281 WITH SCORE 5287.663
AT ITER 1227 NEW BEST:: SOT 20773 SOS 6658 HAS SOPS 6658 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.658
AT ITER 1279 NEW BEST:: SOT 20766 SOS 6551 HAS SOPS 6551 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5175.551
AT ITER 1280 NEW BEST:: SOT 20747 SOS 6532 HAS SOPS 6532 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5156.532
AT ITER 1290 NEW BEST:: SOT 20747 SOS 6530 HAS SOPS 6530 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5154.53
AT ITER 1292 NEW BEST:: SOT 20768 SOS 6522 HAS SOPS 6522 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5145.522
AT ITER 1307 NEW BEST:: SOT 20768 SOS 6488 HAS SOPS 6488 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5145.488
AT ITER 1317 NEW BEST:: SOT 20764 SOS 6487 HAS SOPS 6487 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5144.487
AT ITER 1321 NEW BEST:: SOT 20760 SOS 6485 HAS SOPS 6485 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5142.485
AT ITER 1326 NEW BEST:: SOT 20755 SOS 6480 HAS SOPS 6480 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5142.48
AT ITER 1372 NEW BEST:: SOT 20732 SOS 6444 HAS SOPS 6444 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5128.444
AT ITER 1373 NEW BEST:: SOT 20726 SOS 6438 HAS SOPS 6438 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5090.438
AT ITER 1376 NEW BEST:: SOT 20725 SOS 6436 HAS SOPS 6436 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.436
AT ITER 1382 NEW BEST:: SOT 20716 SOS 6418 HAS SOPS 6418 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5070.418
AT ITER 1395 NEW BEST:: SOT 20719 SOS 6424 HAS SOPS 6424 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.424
AT ITER 1404 NEW BEST:: SOT 20718 SOS 6390 HAS SOPS 6390 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5032.39
AT ITER 1405 NEW BEST:: SOT 20707 SOS 6372 HAS SOPS 6372 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5014.372
AT ITER 1431 NEW BEST:: SOT 20706 SOS 6363 HAS SOPS 6363 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5005.363
AT ITER 1457 NEW BEST:: SOT 20700 SOS 6362 HAS SOPS 6362 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5004.362
AT ITER 1460 NEW BEST:: SOT 20700 SOS 6357 HAS SOPS 6357 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4994.357
AT ITER 1483 NEW BEST:: SOT 20688 SOS 6333 HAS SOPS 6333 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4970.333
AT ITER 1498 NEW BEST:: SOT 20682 SOS 6327 HAS SOPS 6327 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4964.327
AT ITER 1521 NEW BEST:: SOT 20682 SOS 6321 HAS SOPS 6321 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4958.321
AT ITER 1560 NEW BEST:: SOT 20684 SOS 6322 HAS SOPS 6322 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4954.322
AT ITER 1598 NEW BEST:: SOT 20665 SOS 6298 HAS SOPS 6298 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4924.298
AT ITER 1625 NEW BEST:: SOT 20665 SOS 6290 HAS SOPS 6290 HAS SOUS 4910 HAS SOUPS 4910 WITH SCORE 4916.29
AT ITER 1637 NEW BEST:: SOT 20657 SOS 6306 HAS SOPS 6306 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4908.306
AT ITER 1659 NEW BEST:: SOT 20636 SOS 6264 HAS SOPS 6264 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4887.264
AT ITER 1664 NEW BEST:: SOT 20631 SOS 6244 HAS SOPS 6244 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4867.244
AT ITER 1668 NEW BEST:: SOT 20616 SOS 6201 HAS SOPS 6201 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4824.201
AT ITER 1672 NEW BEST:: SOT 20617 SOS 6202 HAS SOPS 6202 HAS SOUS 4817 HAS SOUPS 4817 WITH SCORE 4823.202
AT ITER 1684 NEW BEST:: SOT 20601 SOS 6170 HAS SOPS 6170 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4807.17
AT ITER 1714 NEW BEST:: SOT 20601 SOS 6166 HAS SOPS 6166 HAS SOUS 4797 HAS SOUPS 4797 WITH SCORE 4803.166
AT ITER 1719 NEW BEST:: SOT 20563 SOS 6118 HAS SOPS 6118 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4783.118
AT ITER 1734 NEW BEST:: SOT 20561 SOS 6111 HAS SOPS 6111 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.111
AT ITER 1740 NEW BEST:: SOT 20556 SOS 6106 HAS SOPS 6106 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.106
AT ITER 1802 NEW BEST:: SOT 20551 SOS 6101 HAS SOPS 6101 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.101
AT ITER 1803 NEW BEST:: SOT 20520 SOS 6073 HAS SOPS 6073 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4753.073
AT ITER 1842 NEW BEST:: SOT 20517 SOS 6071 HAS SOPS 6071 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4751.071
AT ITER 1863 NEW BEST:: SOT 20513 SOS 6066 HAS SOPS 6066 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4748.066
AT ITER 1918 NEW BEST:: SOT 20505 SOS 6050 HAS SOPS 6050 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4732.05
AT ITER 1946 NEW BEST:: SOT 20513 SOS 6043 HAS SOPS 6043 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4725.043
AT ITER 1956 NEW BEST:: SOT 20512 SOS 6041 HAS SOPS 6041 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4723.041
AT ITER 1991 NEW BEST:: SOT 20506 SOS 6023 HAS SOPS 6023 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4705.023
AT ITER 2013 NEW BEST:: SOT 20500 SOS 6008 HAS SOPS 6008 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4687.008
AT ITER 2019 NEW BEST:: SOT 20519 SOS 5584 HAS SOPS 5584 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4682.584
AT ITER 2076 NEW BEST:: SOT 20524 SOS 5582 HAS SOPS 5582 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4676.582
AT ITER 2080 NEW BEST:: SOT 20521 SOS 5579 HAS SOPS 5579 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.579
AT ITER 2097 NEW BEST:: SOT 20521 SOS 5570 HAS SOPS 5570 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4664.57
AT ITER 2160 NEW BEST:: SOT 20516 SOS 5608 HAS SOPS 5608 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.608
AT ITER 2180 NEW BEST:: SOT 20513 SOS 5602 HAS SOPS 5602 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.602
AT ITER 2182 NEW BEST:: SOT 20518 SOS 5600 HAS SOPS 5600 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4655.6
AT ITER 2219 NEW BEST:: SOT 20513 SOS 5590 HAS SOPS 5590 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.59
AT ITER 2252 NEW BEST:: SOT 20508 SOS 5585 HAS SOPS 5585 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4640.585
AT ITER 2256 NEW BEST:: SOT 20507 SOS 5584 HAS SOPS 5584 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4640.584
AT ITER 2259 NEW BEST:: SOT 20506 SOS 5583 HAS SOPS 5583 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4635.583
AT ITER 2267 NEW BEST:: SOT 20497 SOS 5565 HAS SOPS 5565 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.565
AT ITER 2283 NEW BEST:: SOT 20497 SOS 5560 HAS SOPS 5560 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4612.56
AT ITER 2287 NEW BEST:: SOT 20488 SOS 5552 HAS SOPS 5552 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4607.552
AT ITER 2327 NEW BEST:: SOT 20488 SOS 5548 HAS SOPS 5548 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4599.548
AT ITER 2395 NEW BEST:: SOT 20484 SOS 5540 HAS SOPS 5540 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.54
AT ITER 2425 NEW BEST:: SOT 20480 SOS 5532 HAS SOPS 5532 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.532
AT ITER 2426 NEW BEST:: SOT 20479 SOS 5524 HAS SOPS 5524 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.524
AT ITER 2442 NEW BEST:: SOT 20476 SOS 5535 HAS SOPS 5535 HAS SOUS 4562 HAS SOUPS 4562 WITH SCORE 4567.535
AT ITER 2505 NEW BEST:: SOT 20475 SOS 5532 HAS SOPS 5532 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4562.532
AT ITER 2552 NEW BEST:: SOT 20472 SOS 5521 HAS SOPS 5521 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4556.521
AT ITER 2554 NEW BEST:: SOT 20469 SOS 5515 HAS SOPS 5515 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4550.515
AT ITER 2570 NEW BEST:: SOT 20462 SOS 5510 HAS SOPS 5510 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.51
AT ITER 2646 NEW BEST:: SOT 20457 SOS 5495 HAS SOPS 5495 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4530.495
AT ITER 2688 NEW BEST:: SOT 20439 SOS 5479 HAS SOPS 5479 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4514.479
AT ITER 2750 NEW BEST:: SOT 20429 SOS 5459 HAS SOPS 5459 HAS SOUS 4499 HAS SOUPS 4499 WITH SCORE 4504.459
AT ITER 2849 NEW BEST:: SOT 20426 SOS 5456 HAS SOPS 5456 HAS SOUS 4493 HAS SOUPS 4493 WITH SCORE 4498.456
AT ITER 2962 NEW BEST:: SOT 20426 SOS 5456 HAS SOPS 5456 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.456
AT ITER 2980 NEW BEST:: SOT 20423 SOS 5445 HAS SOPS 5445 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4486.445
AT ITER 3002 NEW BEST:: SOT 20422 SOS 5443 HAS SOPS 5443 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.443
AT ITER 3077 NEW BEST:: SOT 20420 SOS 5431 HAS SOPS 5431 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4474.431
AT ITER 3087 NEW BEST:: SOT 20422 SOS 5423 HAS SOPS 5423 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4466.423
AT ITER 3091 NEW BEST:: SOT 20411 SOS 5412 HAS SOPS 5412 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4455.412
AT ITER 3142 NEW BEST:: SOT 20446 SOS 5376 HAS SOPS 5376 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4455.376
AT ITER 3162 NEW BEST:: SOT 20444 SOS 5366 HAS SOPS 5366 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4445.366
AT ITER 3170 NEW BEST:: SOT 20443 SOS 5364 HAS SOPS 5364 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4443.364
AT ITER 3182 NEW BEST:: SOT 20442 SOS 5363 HAS SOPS 5363 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4442.363
AT ITER 3200 NEW BEST:: SOT 20442 SOS 5361 HAS SOPS 5361 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4442.361
AT ITER 3229 NEW BEST:: SOT 20439 SOS 5351 HAS SOPS 5351 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4439.351
AT ITER 3234 NEW BEST:: SOT 20465 SOS 5350 HAS SOPS 5350 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4438.35
AT ITER 3254 NEW BEST:: SOT 20458 SOS 5346 HAS SOPS 5346 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4434.346
AT ITER 3288 NEW BEST:: SOT 20434 SOS 5322 HAS SOPS 5322 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4410.322
AT ITER 3332 NEW BEST:: SOT 20425 SOS 5317 HAS SOPS 5317 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4405.317
AT ITER 3385 NEW BEST:: SOT 20414 SOS 5295 HAS SOPS 5295 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4383.295
AT ITER 3400 NEW BEST:: SOT 20413 SOS 5293 HAS SOPS 5293 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4381.293
AT ITER 3434 NEW BEST:: SOT 20411 SOS 5289 HAS SOPS 5289 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4377.289
AT ITER 3468 NEW BEST:: SOT 20397 SOS 5381 HAS SOPS 5381 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4369.381
AT ITER 3549 NEW BEST:: SOT 20397 SOS 5380 HAS SOPS 5380 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4368.38
AT ITER 3573 NEW BEST:: SOT 20422 SOS 5405 HAS SOPS 5405 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4367.405
AT ITER 3596 NEW BEST:: SOT 20457 SOS 5401 HAS SOPS 5401 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4363.401
AT ITER 3597 NEW BEST:: SOT 20451 SOS 5395 HAS SOPS 5395 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4357.395
AT ITER 3647 NEW BEST:: SOT 20448 SOS 5392 HAS SOPS 5392 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4354.392
AT ITER 3666 NEW BEST:: SOT 20447 SOS 5390 HAS SOPS 5390 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4352.39
AT ITER 3667 NEW BEST:: SOT 20446 SOS 5388 HAS SOPS 5388 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4349.388
AT ITER 3719 NEW BEST:: SOT 20431 SOS 5378 HAS SOPS 5378 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4339.378
AT ITER 3724 NEW BEST:: SOT 20431 SOS 5375 HAS SOPS 5375 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4339.375
AT ITER 3745 NEW BEST:: SOT 20430 SOS 5373 HAS SOPS 5373 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4331.373
AT ITER 3751 NEW BEST:: SOT 20425 SOS 5363 HAS SOPS 5363 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4325.363
AT ITER 3810 NEW BEST:: SOT 20424 SOS 5362 HAS SOPS 5362 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4324.362
AT ITER 3814 NEW BEST:: SOT 20403 SOS 5337 HAS SOPS 5337 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4316.337
AT ITER 3836 NEW BEST:: SOT 20400 SOS 5331 HAS SOPS 5331 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4310.331
AT ITER 3856 NEW BEST:: SOT 20397 SOS 5324 HAS SOPS 5324 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4303.324
AT ITER 3863 NEW BEST:: SOT 20393 SOS 5320 HAS SOPS 5320 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4299.32
AT ITER 3879 NEW BEST:: SOT 20392 SOS 5316 HAS SOPS 5316 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4298.316
AT ITER 3880 NEW BEST:: SOT 20392 SOS 5315 HAS SOPS 5315 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4297.315
AT ITER 3931 NEW BEST:: SOT 20365 SOS 5261 HAS SOPS 5261 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4286.261
AT ITER 3936 NEW BEST:: SOT 20365 SOS 5257 HAS SOPS 5257 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4282.257
AT ITER 4030 NEW BEST:: SOT 20361 SOS 5253 HAS SOPS 5253 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4278.253
AT ITER 4078 NEW BEST:: SOT 20362 SOS 5255 HAS SOPS 5255 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4272.255
AT ITER 4096 NEW BEST:: SOT 20361 SOS 5256 HAS SOPS 5256 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4270.256
AT ITER 4119 NEW BEST:: SOT 20348 SOS 5244 HAS SOPS 5244 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4262.244
AT ITER 4134 NEW BEST:: SOT 20345 SOS 5241 HAS SOPS 5241 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4259.241
AT ITER 4159 NEW BEST:: SOT 20344 SOS 5239 HAS SOPS 5239 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4257.239
AT ITER 4165 NEW BEST:: SOT 20344 SOS 5235 HAS SOPS 5235 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4255.235
AT ITER 4168 NEW BEST:: SOT 20344 SOS 5234 HAS SOPS 5234 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4254.234
AT ITER 4199 NEW BEST:: SOT 20338 SOS 5222 HAS SOPS 5222 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4254.222
AT ITER 4216 NEW BEST:: SOT 20346 SOS 5187 HAS SOPS 5187 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4225.187
AT ITER 4254 NEW BEST:: SOT 20336 SOS 5169 HAS SOPS 5169 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4223.169
AT ITER 4284 NEW BEST:: SOT 20336 SOS 5166 HAS SOPS 5166 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4220.166
AT ITER 4295 NEW BEST:: SOT 20340 SOS 5165 HAS SOPS 5165 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4218.165
AT ITER 4324 NEW BEST:: SOT 20343 SOS 5171 HAS SOPS 5171 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4215.171
AT ITER 4348 NEW BEST:: SOT 20340 SOS 5165 HAS SOPS 5165 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4213.165
AT ITER 4361 NEW BEST:: SOT 20314 SOS 5152 HAS SOPS 5152 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4200.152
AT ITER 4414 NEW BEST:: SOT 20313 SOS 5151 HAS SOPS 5151 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4199.151
AT ITER 4462 NEW BEST:: SOT 20313 SOS 5149 HAS SOPS 5149 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4197.149
AT ITER 4477 NEW BEST:: SOT 20309 SOS 5141 HAS SOPS 5141 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4189.141
AT ITER 4499 NEW BEST:: SOT 20308 SOS 5140 HAS SOPS 5140 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4188.14
AT ITER 4502 NEW BEST:: SOT 20290 SOS 5133 HAS SOPS 5133 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4181.133
AT ITER 4552 NEW BEST:: SOT 20289 SOS 5132 HAS SOPS 5132 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4179.132
AT ITER 4610 NEW BEST:: SOT 20296 SOS 5142 HAS SOPS 5142 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4174.142
AT ITER 4625 NEW BEST:: SOT 20292 SOS 5135 HAS SOPS 5135 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4167.135
AT ITER 4630 NEW BEST:: SOT 20287 SOS 5131 HAS SOPS 5131 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4167.131
AT ITER 4631 NEW BEST:: SOT 20285 SOS 5128 HAS SOPS 5128 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4165.128
AT ITER 4663 NEW BEST:: SOT 20266 SOS 5108 HAS SOPS 5108 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4158.108
AT ITER 4677 NEW BEST:: SOT 20271 SOS 5112 HAS SOPS 5112 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4156.112
AT ITER 4721 NEW BEST:: SOT 20268 SOS 5109 HAS SOPS 5109 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4153.109
AT ITER 4735 NEW BEST:: SOT 20265 SOS 5106 HAS SOPS 5106 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4150.106
AT ITER 4736 NEW BEST:: SOT 20260 SOS 5096 HAS SOPS 5096 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4140.096
AT ITER 4780 NEW BEST:: SOT 20256 SOS 5092 HAS SOPS 5092 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4140.092
AT ITER 4785 NEW BEST:: SOT 20214 SOS 5086 HAS SOPS 5086 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4134.086
AT ITER 4789 NEW BEST:: SOT 20204 SOS 5078 HAS SOPS 5078 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4126.078
AT ITER 4807 NEW BEST:: SOT 20204 SOS 5076 HAS SOPS 5076 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4124.076
AT ITER 4837 NEW BEST:: SOT 20169 SOS 5041 HAS SOPS 5041 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.041
AT ITER 4846 NEW BEST:: SOT 20178 SOS 5039 HAS SOPS 5039 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4087.039
AT ITER 4869 NEW BEST:: SOT 20178 SOS 5036 HAS SOPS 5036 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4084.036
AT ITER 4964 NEW BEST:: SOT 20203 SOS 5019 HAS SOPS 5019 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4064.019
AT ITER 4978 NEW BEST:: SOT 20202 SOS 5015 HAS SOPS 5015 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4059.015
AT ITER 5078 NEW BEST:: SOT 20199 SOS 5013 HAS SOPS 5013 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4057.013
AT ITER 5173 NEW BEST:: SOT 20204 SOS 5023 HAS SOPS 5023 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4054.023
AT ITER 5271 NEW BEST:: SOT 20212 SOS 5020 HAS SOPS 5020 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4051.02
AT ITER 5287 NEW BEST:: SOT 20216 SOS 5021 HAS SOPS 5021 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4045.021
AT ITER 5319 NEW BEST:: SOT 20214 SOS 5019 HAS SOPS 5019 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4043.019
AT ITER 5333 NEW BEST:: SOT 20208 SOS 5007 HAS SOPS 5007 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4031.007
AT ITER 5357 NEW BEST:: SOT 20222 SOS 5014 HAS SOPS 5014 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4027.014
AT ITER 5374 NEW BEST:: SOT 20218 SOS 5012 HAS SOPS 5012 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4025.012
AT ITER 5427 NEW BEST:: SOT 20218 SOS 5009 HAS SOPS 5009 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4022.009
AT ITER 5451 NEW BEST:: SOT 20226 SOS 5015 HAS SOPS 5015 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4015.015
AT ITER 5533 NEW BEST:: SOT 20220 SOS 4996 HAS SOPS 4996 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4002.996
AT ITER 5599 NEW BEST:: SOT 20218 SOS 4993 HAS SOPS 4993 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 3999.993
AT ITER 5635 NEW BEST:: SOT 20218 SOS 4991 HAS SOPS 4991 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3997.991
AT ITER 5836 NEW BEST:: SOT 20218 SOS 4982 HAS SOPS 4982 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.982
AT ITER 5864 NEW BEST:: SOT 20218 SOS 4977 HAS SOPS 4977 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.977
AT ITER 5926 NEW BEST:: SOT 20211 SOS 4965 HAS SOPS 4965 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.965
AT ITER 6000 NEW BEST:: SOT 20217 SOS 4955 HAS SOPS 4955 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3975.955
AT ITER 6013 NEW BEST:: SOT 20217 SOS 4954 HAS SOPS 4954 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3974.954
AT ITER 6187 NEW BEST:: SOT 20197 SOS 4924 HAS SOPS 4924 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.924
AT ITER 6242 NEW BEST:: SOT 20193 SOS 4916 HAS SOPS 4916 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3948.916
AT ITER 6310 NEW BEST:: SOT 20205 SOS 4930 HAS SOPS 4930 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3943.93
AT ITER 6346 NEW BEST:: SOT 20198 SOS 4916 HAS SOPS 4916 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3929.916
AT ITER 6359 NEW BEST:: SOT 20195 SOS 4910 HAS SOPS 4910 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3923.91
AT ITER 6388 NEW BEST:: SOT 20192 SOS 4898 HAS SOPS 4898 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3911.898
AT ITER 6389 NEW BEST:: SOT 20189 SOS 4895 HAS SOPS 4895 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3905.895
AT ITER 6404 NEW BEST:: SOT 20186 SOS 4893 HAS SOPS 4893 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.893
AT ITER 6431 NEW BEST:: SOT 20185 SOS 4891 HAS SOPS 4891 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.891
AT ITER 6538 NEW BEST:: SOT 20186 SOS 4888 HAS SOPS 4888 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.888
AT ITER 6559 NEW BEST:: SOT 20185 SOS 4887 HAS SOPS 4887 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3896.887
AT ITER 6592 NEW BEST:: SOT 20182 SOS 4881 HAS SOPS 4881 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3885.881
AT ITER 6657 NEW BEST:: SOT 20183 SOS 4880 HAS SOPS 4880 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3884.88
AT ITER 6742 NEW BEST:: SOT 20180 SOS 4895 HAS SOPS 4895 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.895
AT ITER 6833 NEW BEST:: SOT 20182 SOS 4891 HAS SOPS 4891 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.891
AT ITER 6933 NEW BEST:: SOT 20183 SOS 4890 HAS SOPS 4890 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3881.89
AT ITER 7026 NEW BEST:: SOT 20173 SOS 4885 HAS SOPS 4885 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3876.885
AT ITER 7212 NEW BEST:: SOT 20142 SOS 5250 HAS SOPS 5250 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3866.25
AT ITER 7345 NEW BEST:: SOT 20114 SOS 5225 HAS SOPS 5225 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3860.225
AT ITER 7422 NEW BEST:: SOT 20114 SOS 5221 HAS SOPS 5221 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3860.221
AT ITER 7481 NEW BEST:: SOT 20114 SOS 5220 HAS SOPS 5220 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3858.22
AT ITER 7698 NEW BEST:: SOT 20106 SOS 5214 HAS SOPS 5214 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3856.214
AT ITER 7877 NEW BEST:: SOT 20102 SOS 5211 HAS SOPS 5211 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3853.211
AT ITER 7957 NEW BEST:: SOT 20098 SOS 5203 HAS SOPS 5203 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3845.203
AT ITER 8012 NEW BEST:: SOT 20095 SOS 5197 HAS SOPS 5197 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3843.197
AT ITER 8015 NEW BEST:: SOT 20092 SOS 5196 HAS SOPS 5196 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3842.196
AT ITER 8028 NEW BEST:: SOT 20096 SOS 5188 HAS SOPS 5188 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3834.188
AT ITER 8044 NEW BEST:: SOT 20096 SOS 5182 HAS SOPS 5182 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3828.182
AT ITER 8093 NEW BEST:: SOT 20095 SOS 5181 HAS SOPS 5181 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3827.181
AT ITER 8180 NEW BEST:: SOT 20095 SOS 5172 HAS SOPS 5172 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3818.172
AT ITER 8191 NEW BEST:: SOT 20096 SOS 5163 HAS SOPS 5163 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3813.163
AT ITER 8232 NEW BEST:: SOT 20095 SOS 5163 HAS SOPS 5163 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3811.163
AT ITER 8234 NEW BEST:: SOT 20095 SOS 5162 HAS SOPS 5162 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3810.162
AT ITER 8277 NEW BEST:: SOT 20100 SOS 5172 HAS SOPS 5172 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3805.172
AT ITER 8322 NEW BEST:: SOT 20099 SOS 5171 HAS SOPS 5171 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3804.171
AT ITER 8383 NEW BEST:: SOT 20098 SOS 5169 HAS SOPS 5169 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3802.169
AT ITER 8469 NEW BEST:: SOT 20097 SOS 5167 HAS SOPS 5167 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3800.167
AT ITER 8551 NEW BEST:: SOT 20093 SOS 5157 HAS SOPS 5157 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3786.157
AT ITER 8702 NEW BEST:: SOT 20092 SOS 5155 HAS SOPS 5155 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3784.155
AT ITER 8753 NEW BEST:: SOT 20091 SOS 5151 HAS SOPS 5151 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3781.151
AT ITER 8771 NEW BEST:: SOT 20096 SOS 5051 HAS SOPS 5051 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3776.051
AT ITER 8832 NEW BEST:: SOT 20094 SOS 5056 HAS SOPS 5056 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3771.056
AT ITER 8852 NEW BEST:: SOT 20093 SOS 5054 HAS SOPS 5054 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3770.054
AT ITER 8860 NEW BEST:: SOT 20088 SOS 5049 HAS SOPS 5049 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3765.049
AT ITER 8920 NEW BEST:: SOT 20087 SOS 5048 HAS SOPS 5048 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3765.048
AT ITER 8998 NEW BEST:: SOT 20083 SOS 5043 HAS SOPS 5043 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3765.043
AT ITER 9039 NEW BEST:: SOT 20077 SOS 5036 HAS SOPS 5036 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3758.036
AT ITER 9041 NEW BEST:: SOT 20080 SOS 5021 HAS SOPS 5021 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3747.021
AT ITER 9094 NEW BEST:: SOT 20074 SOS 5015 HAS SOPS 5015 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3744.015
AT ITER 9146 NEW BEST:: SOT 20063 SOS 5010 HAS SOPS 5010 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3739.01
AT ITER 9152 NEW BEST:: SOT 20061 SOS 5008 HAS SOPS 5008 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3737.008
AT ITER 9259 NEW BEST:: SOT 20057 SOS 4956 HAS SOPS 4956 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3732.956
AT ITER 9306 NEW BEST:: SOT 20058 SOS 4956 HAS SOPS 4956 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3731.956
AT ITER 9369 NEW BEST:: SOT 20085 SOS 4960 HAS SOPS 4960 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.96
AT ITER 9551 NEW BEST:: SOT 20080 SOS 4958 HAS SOPS 4958 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3728.958
AT ITER 9959 NEW BEST:: SOT 20066 SOS 4965 HAS SOPS 4965 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3721.965
AT ITER 9962 NEW BEST:: SOT 20066 SOS 4964 HAS SOPS 4964 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3720.964
AT ITER 9989 NEW BEST:: SOT 20066 SOS 4957 HAS SOPS 4957 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.957
STATE_SPACE STATES 24160976859 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 276502935439 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589017189188

--------------------
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="BusinessProcesses-PT-01"
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 BusinessProcesses-PT-01, 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 r018-oct2-158897680000456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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