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.r207-tajo-159033469000107.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 ShieldIIPs-PT-005A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000107
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.3K May 14 00:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 00:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 17:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 17:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 42K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-00
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-01
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-02
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-03
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-04
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-05
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-06
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-07
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-08
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-09
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-10
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-11
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-12
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-13
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-14
FORMULA_NAME ShieldIIPs-PT-005A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590435525287

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 005A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 128 places, 123 transitions, 546 arcs.
AT ITER 0 NEW BEST:: SOT 10759 SOS 8371 HAS SOPS 8371 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7163.371
AT ITER 4 NEW BEST:: SOT 10730 SOS 8362 HAS SOPS 8362 HAS SOUS 7146 HAS SOUPS 7146 WITH SCORE 7154.362
AT ITER 5 NEW BEST:: SOT 10729 SOS 8361 HAS SOPS 8361 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7153.361
AT ITER 9 NEW BEST:: SOT 10713 SOS 8345 HAS SOPS 8345 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.345
AT ITER 13 NEW BEST:: SOT 10683 SOS 8318 HAS SOPS 8318 HAS SOUS 7102 HAS SOUPS 7102 WITH SCORE 7110.318
AT ITER 15 NEW BEST:: SOT 10683 SOS 8284 HAS SOPS 8284 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.284
AT ITER 25 NEW BEST:: SOT 10637 SOS 8237 HAS SOPS 8237 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7057.237
AT ITER 35 NEW BEST:: SOT 10614 SOS 8209 HAS SOPS 8209 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.209
AT ITER 37 NEW BEST:: SOT 10590 SOS 8122 HAS SOPS 8122 HAS SOUS 7007 HAS SOUPS 7007 WITH SCORE 7015.122
AT ITER 40 NEW BEST:: SOT 10541 SOS 8084 HAS SOPS 8084 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6979.084
AT ITER 62 NEW BEST:: SOT 10511 SOS 8045 HAS SOPS 8045 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6940.045
AT ITER 66 NEW BEST:: SOT 10509 SOS 8043 HAS SOPS 8043 HAS SOUS 6909 HAS SOUPS 6909 WITH SCORE 6917.043
AT ITER 69 NEW BEST:: SOT 10474 SOS 8002 HAS SOPS 8002 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6861.002
AT ITER 78 NEW BEST:: SOT 10474 SOS 8002 HAS SOPS 8002 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6859.002
AT ITER 79 NEW BEST:: SOT 10479 SOS 7984 HAS SOPS 7984 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6840.984
AT ITER 89 NEW BEST:: SOT 10444 SOS 7949 HAS SOPS 7949 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6805.949
AT ITER 95 NEW BEST:: SOT 10420 SOS 7924 HAS SOPS 7924 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6780.924
AT ITER 96 NEW BEST:: SOT 10368 SOS 7872 HAS SOPS 7872 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6728.872
AT ITER 97 NEW BEST:: SOT 10326 SOS 7816 HAS SOPS 7816 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6672.816
AT ITER 98 NEW BEST:: SOT 10287 SOS 7786 HAS SOPS 7786 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.786
AT ITER 101 NEW BEST:: SOT 10207 SOS 7751 HAS SOPS 7751 HAS SOUS 6621 HAS SOUPS 6621 WITH SCORE 6628.751
AT ITER 108 NEW BEST:: SOT 10300 SOS 7678 HAS SOPS 7678 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6622.678
AT ITER 111 NEW BEST:: SOT 10295 SOS 7673 HAS SOPS 7673 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.673
AT ITER 112 NEW BEST:: SOT 10284 SOS 7651 HAS SOPS 7651 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.651
AT ITER 114 NEW BEST:: SOT 10345 SOS 7628 HAS SOPS 7628 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6615.628
AT ITER 118 NEW BEST:: SOT 10338 SOS 7621 HAS SOPS 7621 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.621
AT ITER 119 NEW BEST:: SOT 10377 SOS 7563 HAS SOPS 7563 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.563
AT ITER 124 NEW BEST:: SOT 10362 SOS 7535 HAS SOPS 7535 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.535
AT ITER 127 NEW BEST:: SOT 10427 SOS 7400 HAS SOPS 7400 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6427.4
AT ITER 128 NEW BEST:: SOT 10427 SOS 7396 HAS SOPS 7396 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6423.396
AT ITER 131 NEW BEST:: SOT 10427 SOS 7411 HAS SOPS 7411 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6388.411
AT ITER 132 NEW BEST:: SOT 10426 SOS 7410 HAS SOPS 7410 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6387.41
AT ITER 134 NEW BEST:: SOT 10400 SOS 7373 HAS SOPS 7373 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.373
AT ITER 141 NEW BEST:: SOT 10394 SOS 7367 HAS SOPS 7367 HAS SOUS 6349 HAS SOUPS 6349 WITH SCORE 6356.367
AT ITER 142 NEW BEST:: SOT 10334 SOS 7312 HAS SOPS 7312 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6301.312
AT ITER 153 NEW BEST:: SOT 10332 SOS 7308 HAS SOPS 7308 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6297.308
AT ITER 161 NEW BEST:: SOT 10332 SOS 7310 HAS SOPS 7310 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6295.31
AT ITER 162 NEW BEST:: SOT 10298 SOS 7276 HAS SOPS 7276 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6261.276
AT ITER 181 NEW BEST:: SOT 10268 SOS 7247 HAS SOPS 7247 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6235.247
AT ITER 182 NEW BEST:: SOT 10261 SOS 7243 HAS SOPS 7243 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.243
AT ITER 185 NEW BEST:: SOT 10217 SOS 7188 HAS SOPS 7188 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6175.188
AT ITER 193 NEW BEST:: SOT 10218 SOS 7208 HAS SOPS 7208 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6174.208
AT ITER 195 NEW BEST:: SOT 10213 SOS 7203 HAS SOPS 7203 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6169.203
AT ITER 197 NEW BEST:: SOT 10338 SOS 7231 HAS SOPS 7231 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6168.231
AT ITER 198 NEW BEST:: SOT 10338 SOS 7227 HAS SOPS 7227 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6164.227
AT ITER 201 NEW BEST:: SOT 10332 SOS 7178 HAS SOPS 7178 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6149.178
AT ITER 204 NEW BEST:: SOT 10327 SOS 7121 HAS SOPS 7121 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.121
AT ITER 206 NEW BEST:: SOT 10305 SOS 7108 HAS SOPS 7108 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6084.108
AT ITER 212 NEW BEST:: SOT 10323 SOS 7118 HAS SOPS 7118 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6042.118
AT ITER 216 NEW BEST:: SOT 10301 SOS 7056 HAS SOPS 7056 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.056
AT ITER 219 NEW BEST:: SOT 10295 SOS 7050 HAS SOPS 7050 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5980.05
AT ITER 221 NEW BEST:: SOT 10291 SOS 7046 HAS SOPS 7046 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5976.046
AT ITER 226 NEW BEST:: SOT 10284 SOS 7023 HAS SOPS 7023 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5905.023
AT ITER 227 NEW BEST:: SOT 10283 SOS 7017 HAS SOPS 7017 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5899.017
AT ITER 234 NEW BEST:: SOT 10281 SOS 7015 HAS SOPS 7015 HAS SOUS 5890 HAS SOUPS 5890 WITH SCORE 5897.015
AT ITER 239 NEW BEST:: SOT 10280 SOS 6949 HAS SOPS 6949 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5825.949
AT ITER 247 NEW BEST:: SOT 10280 SOS 6942 HAS SOPS 6942 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5820.942
AT ITER 270 NEW BEST:: SOT 10257 SOS 6919 HAS SOPS 6919 HAS SOUS 5767 HAS SOUPS 5767 WITH SCORE 5773.919
AT ITER 282 NEW BEST:: SOT 10242 SOS 6904 HAS SOPS 6904 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5758.904
AT ITER 288 NEW BEST:: SOT 10249 SOS 6903 HAS SOPS 6903 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5758.903
AT ITER 290 NEW BEST:: SOT 10197 SOS 6866 HAS SOPS 6866 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5712.866
AT ITER 301 NEW BEST:: SOT 10150 SOS 6819 HAS SOPS 6819 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5665.819
AT ITER 302 NEW BEST:: SOT 10146 SOS 6809 HAS SOPS 6809 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5641.809
AT ITER 304 NEW BEST:: SOT 10134 SOS 6797 HAS SOPS 6797 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5629.797
AT ITER 324 NEW BEST:: SOT 10126 SOS 6789 HAS SOPS 6789 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5621.789
AT ITER 340 NEW BEST:: SOT 10116 SOS 6789 HAS SOPS 6789 HAS SOUS 5605 HAS SOUPS 5605 WITH SCORE 5611.789
AT ITER 343 NEW BEST:: SOT 10115 SOS 6787 HAS SOPS 6787 HAS SOUS 5603 HAS SOUPS 5603 WITH SCORE 5609.787
AT ITER 345 NEW BEST:: SOT 10111 SOS 6783 HAS SOPS 6783 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.783
AT ITER 347 NEW BEST:: SOT 10131 SOS 6778 HAS SOPS 6778 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5600.778
AT ITER 350 NEW BEST:: SOT 10125 SOS 6772 HAS SOPS 6772 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5594.772
AT ITER 358 NEW BEST:: SOT 10089 SOS 6688 HAS SOPS 6688 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5506.688
AT ITER 364 NEW BEST:: SOT 10123 SOS 6702 HAS SOPS 6702 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5503.702
AT ITER 376 NEW BEST:: SOT 10123 SOS 6727 HAS SOPS 6727 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.727
AT ITER 379 NEW BEST:: SOT 10219 SOS 6827 HAS SOPS 6827 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.827
AT ITER 380 NEW BEST:: SOT 10209 SOS 6818 HAS SOPS 6818 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5361.818
AT ITER 382 NEW BEST:: SOT 10199 SOS 6808 HAS SOPS 6808 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5351.808
AT ITER 388 NEW BEST:: SOT 10173 SOS 6782 HAS SOPS 6782 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5325.782
AT ITER 391 NEW BEST:: SOT 10183 SOS 6780 HAS SOPS 6780 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5311.78
AT ITER 392 NEW BEST:: SOT 10182 SOS 6776 HAS SOPS 6776 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5307.776
AT ITER 393 NEW BEST:: SOT 10199 SOS 6773 HAS SOPS 6773 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5304.773
AT ITER 416 NEW BEST:: SOT 10188 SOS 6762 HAS SOPS 6762 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.762
AT ITER 418 NEW BEST:: SOT 10148 SOS 6679 HAS SOPS 6679 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5219.679
AT ITER 427 NEW BEST:: SOT 10132 SOS 6607 HAS SOPS 6607 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.607
AT ITER 430 NEW BEST:: SOT 10139 SOS 6600 HAS SOPS 6600 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5171.6
AT ITER 451 NEW BEST:: SOT 10128 SOS 6584 HAS SOPS 6584 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5161.584
AT ITER 459 NEW BEST:: SOT 10119 SOS 6578 HAS SOPS 6578 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5155.578
AT ITER 462 NEW BEST:: SOT 10115 SOS 6574 HAS SOPS 6574 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.574
AT ITER 472 NEW BEST:: SOT 10115 SOS 6540 HAS SOPS 6540 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5117.54
AT ITER 474 NEW BEST:: SOT 10149 SOS 6476 HAS SOPS 6476 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5117.476
AT ITER 482 NEW BEST:: SOT 10220 SOS 6525 HAS SOPS 6525 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5100.525
AT ITER 486 NEW BEST:: SOT 10224 SOS 6525 HAS SOPS 6525 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5099.525
AT ITER 493 NEW BEST:: SOT 10190 SOS 6492 HAS SOPS 6492 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5047.492
AT ITER 497 NEW BEST:: SOT 10207 SOS 6490 HAS SOPS 6490 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5032.49
AT ITER 506 NEW BEST:: SOT 10195 SOS 6469 HAS SOPS 6469 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5023.469
AT ITER 508 NEW BEST:: SOT 10154 SOS 6428 HAS SOPS 6428 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4982.428
AT ITER 514 NEW BEST:: SOT 10103 SOS 6365 HAS SOPS 6365 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4958.365
AT ITER 518 NEW BEST:: SOT 10099 SOS 6357 HAS SOPS 6357 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4950.357
AT ITER 562 NEW BEST:: SOT 10105 SOS 6313 HAS SOPS 6313 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4920.313
AT ITER 569 NEW BEST:: SOT 10085 SOS 6257 HAS SOPS 6257 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4900.257
AT ITER 571 NEW BEST:: SOT 9913 SOS 6187 HAS SOPS 6187 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.187
AT ITER 578 NEW BEST:: SOT 9912 SOS 6182 HAS SOPS 6182 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4838.182
AT ITER 583 NEW BEST:: SOT 9912 SOS 6159 HAS SOPS 6159 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4815.159
AT ITER 601 NEW BEST:: SOT 9912 SOS 6143 HAS SOPS 6143 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4799.143
AT ITER 618 NEW BEST:: SOT 9899 SOS 6143 HAS SOPS 6143 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4795.143
AT ITER 619 NEW BEST:: SOT 9898 SOS 6127 HAS SOPS 6127 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4779.127
AT ITER 622 NEW BEST:: SOT 9898 SOS 6127 HAS SOPS 6127 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.127
AT ITER 623 NEW BEST:: SOT 9929 SOS 6126 HAS SOPS 6126 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4708.126
AT ITER 626 NEW BEST:: SOT 9921 SOS 6106 HAS SOPS 6106 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4706.106
AT ITER 631 NEW BEST:: SOT 9934 SOS 6004 HAS SOPS 6004 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4682.004
AT ITER 643 NEW BEST:: SOT 9934 SOS 5992 HAS SOPS 5992 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.992
AT ITER 650 NEW BEST:: SOT 9903 SOS 5975 HAS SOPS 5975 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.975
AT ITER 653 NEW BEST:: SOT 9892 SOS 5944 HAS SOPS 5944 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4636.944
AT ITER 656 NEW BEST:: SOT 9888 SOS 5942 HAS SOPS 5942 HAS SOUS 4629 HAS SOUPS 4629 WITH SCORE 4634.942
AT ITER 675 NEW BEST:: SOT 9880 SOS 5932 HAS SOPS 5932 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4624.932
AT ITER 690 NEW BEST:: SOT 9878 SOS 5921 HAS SOPS 5921 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4618.921
AT ITER 714 NEW BEST:: SOT 9869 SOS 5885 HAS SOPS 5885 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4600.885
AT ITER 718 NEW BEST:: SOT 9842 SOS 5858 HAS SOPS 5858 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.858
AT ITER 758 NEW BEST:: SOT 9844 SOS 5864 HAS SOPS 5864 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4588.864
AT ITER 762 NEW BEST:: SOT 9842 SOS 5757 HAS SOPS 5757 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.757
AT ITER 764 NEW BEST:: SOT 9827 SOS 5741 HAS SOPS 5741 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.741
AT ITER 768 NEW BEST:: SOT 9815 SOS 5746 HAS SOPS 5746 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.746
AT ITER 769 NEW BEST:: SOT 9805 SOS 5710 HAS SOPS 5710 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4494.71
AT ITER 773 NEW BEST:: SOT 9812 SOS 5718 HAS SOPS 5718 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4484.718
AT ITER 777 NEW BEST:: SOT 9804 SOS 5710 HAS SOPS 5710 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4476.71
AT ITER 785 NEW BEST:: SOT 9793 SOS 5700 HAS SOPS 5700 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4465.7
AT ITER 812 NEW BEST:: SOT 9792 SOS 5699 HAS SOPS 5699 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4464.699
AT ITER 814 NEW BEST:: SOT 9792 SOS 5699 HAS SOPS 5699 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4450.699
AT ITER 843 NEW BEST:: SOT 9701 SOS 5607 HAS SOPS 5607 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4378.607
AT ITER 846 NEW BEST:: SOT 9697 SOS 5603 HAS SOPS 5603 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4377.603
AT ITER 855 NEW BEST:: SOT 9688 SOS 5592 HAS SOPS 5592 HAS SOUS 4361 HAS SOUPS 4361 WITH SCORE 4366.592
AT ITER 881 NEW BEST:: SOT 9687 SOS 5591 HAS SOPS 5591 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4365.591
AT ITER 890 NEW BEST:: SOT 9704 SOS 5663 HAS SOPS 5663 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4356.663
AT ITER 899 NEW BEST:: SOT 9729 SOS 5601 HAS SOPS 5601 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4347.601
AT ITER 908 NEW BEST:: SOT 9696 SOS 5581 HAS SOPS 5581 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4327.581
AT ITER 913 NEW BEST:: SOT 9696 SOS 5582 HAS SOPS 5582 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4321.582
AT ITER 915 NEW BEST:: SOT 9693 SOS 5576 HAS SOPS 5576 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4306.576
AT ITER 919 NEW BEST:: SOT 9693 SOS 5571 HAS SOPS 5571 HAS SOUS 4296 HAS SOUPS 4296 WITH SCORE 4301.571
AT ITER 923 NEW BEST:: SOT 9685 SOS 5556 HAS SOPS 5556 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4286.556
AT ITER 927 NEW BEST:: SOT 9678 SOS 5553 HAS SOPS 5553 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4283.553
AT ITER 944 NEW BEST:: SOT 9678 SOS 5541 HAS SOPS 5541 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4267.541
AT ITER 959 NEW BEST:: SOT 9678 SOS 5537 HAS SOPS 5537 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4267.537
AT ITER 974 NEW BEST:: SOT 9678 SOS 5537 HAS SOPS 5537 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4258.537
AT ITER 978 NEW BEST:: SOT 9662 SOS 5521 HAS SOPS 5521 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4242.521
AT ITER 996 NEW BEST:: SOT 9672 SOS 5511 HAS SOPS 5511 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4242.511
AT ITER 999 NEW BEST:: SOT 9670 SOS 5509 HAS SOPS 5509 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4240.509
AT ITER 1002 NEW BEST:: SOT 9670 SOS 5509 HAS SOPS 5509 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4237.509
AT ITER 1008 NEW BEST:: SOT 9662 SOS 5483 HAS SOPS 5483 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4234.483
AT ITER 1012 NEW BEST:: SOT 9662 SOS 5480 HAS SOPS 5480 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4231.48
AT ITER 1034 NEW BEST:: SOT 9646 SOS 5478 HAS SOPS 5478 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4223.478
AT ITER 1035 NEW BEST:: SOT 9636 SOS 5446 HAS SOPS 5446 HAS SOUS 4169 HAS SOUPS 4169 WITH SCORE 4174.446
AT ITER 1039 NEW BEST:: SOT 9610 SOS 5431 HAS SOPS 5431 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4155.431
AT ITER 1045 NEW BEST:: SOT 9608 SOS 5412 HAS SOPS 5412 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4136.412
AT ITER 1057 NEW BEST:: SOT 9603 SOS 5399 HAS SOPS 5399 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4136.399
AT ITER 1078 NEW BEST:: SOT 9616 SOS 5396 HAS SOPS 5396 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4133.396
AT ITER 1099 NEW BEST:: SOT 9603 SOS 5308 HAS SOPS 5308 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4123.308
AT ITER 1102 NEW BEST:: SOT 9620 SOS 5325 HAS SOPS 5325 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4106.325
AT ITER 1118 NEW BEST:: SOT 9619 SOS 5300 HAS SOPS 5300 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4103.3
AT ITER 1128 NEW BEST:: SOT 9619 SOS 5297 HAS SOPS 5297 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4097.297
AT ITER 1152 NEW BEST:: SOT 9618 SOS 5306 HAS SOPS 5306 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4094.306
AT ITER 1159 NEW BEST:: SOT 9618 SOS 5306 HAS SOPS 5306 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4092.306
AT ITER 1180 NEW BEST:: SOT 9618 SOS 5296 HAS SOPS 5296 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4082.296
AT ITER 1209 NEW BEST:: SOT 9616 SOS 5306 HAS SOPS 5306 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4081.306
AT ITER 1210 NEW BEST:: SOT 9600 SOS 5286 HAS SOPS 5286 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4061.286
AT ITER 1213 NEW BEST:: SOT 9554 SOS 5217 HAS SOPS 5217 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3992.217
AT ITER 1232 NEW BEST:: SOT 9545 SOS 5204 HAS SOPS 5204 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3979.204
AT ITER 1265 NEW BEST:: SOT 9535 SOS 5194 HAS SOPS 5194 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3969.194
AT ITER 1266 NEW BEST:: SOT 9528 SOS 5233 HAS SOPS 5233 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3956.233
AT ITER 1276 NEW BEST:: SOT 9524 SOS 5229 HAS SOPS 5229 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3944.229
AT ITER 1286 NEW BEST:: SOT 9525 SOS 5214 HAS SOPS 5214 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3939.214
AT ITER 1287 NEW BEST:: SOT 9531 SOS 5196 HAS SOPS 5196 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3927.196
AT ITER 1290 NEW BEST:: SOT 9537 SOS 5197 HAS SOPS 5197 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3925.197
AT ITER 1293 NEW BEST:: SOT 9535 SOS 5197 HAS SOPS 5197 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3924.197
AT ITER 1298 NEW BEST:: SOT 9529 SOS 5190 HAS SOPS 5190 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3917.19
AT ITER 1309 NEW BEST:: SOT 9503 SOS 5164 HAS SOPS 5164 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3885.164
AT ITER 1339 NEW BEST:: SOT 9498 SOS 5153 HAS SOPS 5153 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3883.153
AT ITER 1354 NEW BEST:: SOT 9497 SOS 5155 HAS SOPS 5155 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3882.155
AT ITER 1361 NEW BEST:: SOT 9497 SOS 5157 HAS SOPS 5157 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3881.157
AT ITER 1381 NEW BEST:: SOT 9488 SOS 5152 HAS SOPS 5152 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3876.152
AT ITER 1406 NEW BEST:: SOT 9473 SOS 5134 HAS SOPS 5134 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3858.134
AT ITER 1410 NEW BEST:: SOT 9465 SOS 5126 HAS SOPS 5126 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3850.126
AT ITER 1412 NEW BEST:: SOT 9453 SOS 5124 HAS SOPS 5124 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3848.124
AT ITER 1437 NEW BEST:: SOT 9447 SOS 5112 HAS SOPS 5112 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3836.112
AT ITER 1454 NEW BEST:: SOT 9444 SOS 5109 HAS SOPS 5109 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3833.109
AT ITER 1494 NEW BEST:: SOT 9438 SOS 5100 HAS SOPS 5100 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3824.1
AT ITER 1551 NEW BEST:: SOT 9414 SOS 5076 HAS SOPS 5076 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3824.076
AT ITER 1576 NEW BEST:: SOT 9394 SOS 5056 HAS SOPS 5056 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3804.056
AT ITER 1584 NEW BEST:: SOT 9406 SOS 5030 HAS SOPS 5030 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3781.03
AT ITER 1594 NEW BEST:: SOT 9406 SOS 5030 HAS SOPS 5030 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3780.03
AT ITER 1622 NEW BEST:: SOT 9405 SOS 5019 HAS SOPS 5019 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3769.019
AT ITER 1625 NEW BEST:: SOT 9405 SOS 5006 HAS SOPS 5006 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3764.006
AT ITER 1654 NEW BEST:: SOT 9398 SOS 5004 HAS SOPS 5004 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3762.004
AT ITER 1656 NEW BEST:: SOT 9397 SOS 5004 HAS SOPS 5004 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3759.004
AT ITER 1694 NEW BEST:: SOT 9393 SOS 5003 HAS SOPS 5003 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3753.003
AT ITER 1708 NEW BEST:: SOT 9393 SOS 5002 HAS SOPS 5002 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3752.002
AT ITER 1718 NEW BEST:: SOT 9385 SOS 4952 HAS SOPS 4952 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3737.952
AT ITER 1723 NEW BEST:: SOT 9452 SOS 5013 HAS SOPS 5013 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3734.013
AT ITER 1724 NEW BEST:: SOT 9444 SOS 5003 HAS SOPS 5003 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3724.003
AT ITER 1727 NEW BEST:: SOT 9444 SOS 4979 HAS SOPS 4979 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.979
AT ITER 1735 NEW BEST:: SOT 9426 SOS 4966 HAS SOPS 4966 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3699.966
AT ITER 1737 NEW BEST:: SOT 9384 SOS 4926 HAS SOPS 4926 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3689.926
AT ITER 1746 NEW BEST:: SOT 9366 SOS 4908 HAS SOPS 4908 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.908
AT ITER 1757 NEW BEST:: SOT 9366 SOS 4898 HAS SOPS 4898 HAS SOUS 3657 HAS SOUPS 3657 WITH SCORE 3661.898
AT ITER 1806 NEW BEST:: SOT 9356 SOS 4888 HAS SOPS 4888 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3651.888
AT ITER 1814 NEW BEST:: SOT 9346 SOS 4884 HAS SOPS 4884 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.884
AT ITER 1833 NEW BEST:: SOT 9331 SOS 4867 HAS SOPS 4867 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3633.867
AT ITER 1938 NEW BEST:: SOT 9324 SOS 4860 HAS SOPS 4860 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3626.86
AT ITER 1949 NEW BEST:: SOT 9308 SOS 4852 HAS SOPS 4852 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3605.852
AT ITER 1955 NEW BEST:: SOT 9292 SOS 4839 HAS SOPS 4839 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3600.839
AT ITER 1961 NEW BEST:: SOT 9272 SOS 4752 HAS SOPS 4752 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.752
AT ITER 1963 NEW BEST:: SOT 9270 SOS 4750 HAS SOPS 4750 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3579.75
AT ITER 1980 NEW BEST:: SOT 9230 SOS 4688 HAS SOPS 4688 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3509.688
AT ITER 1981 NEW BEST:: SOT 9222 SOS 4671 HAS SOPS 4671 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3499.671
AT ITER 2029 NEW BEST:: SOT 9228 SOS 4659 HAS SOPS 4659 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.659
AT ITER 2030 NEW BEST:: SOT 9227 SOS 4653 HAS SOPS 4653 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3488.653
AT ITER 2034 NEW BEST:: SOT 9215 SOS 4641 HAS SOPS 4641 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.641
AT ITER 2049 NEW BEST:: SOT 9195 SOS 4567 HAS SOPS 4567 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3470.567
AT ITER 2058 NEW BEST:: SOT 9193 SOS 4565 HAS SOPS 4565 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3468.565
AT ITER 2073 NEW BEST:: SOT 9192 SOS 4560 HAS SOPS 4560 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.56
AT ITER 2091 NEW BEST:: SOT 9189 SOS 4557 HAS SOPS 4557 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3460.557
AT ITER 2093 NEW BEST:: SOT 9186 SOS 4561 HAS SOPS 4561 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3453.561
AT ITER 2115 NEW BEST:: SOT 9178 SOS 4553 HAS SOPS 4553 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3445.553
AT ITER 2118 NEW BEST:: SOT 9166 SOS 4554 HAS SOPS 4554 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3439.554
AT ITER 2126 NEW BEST:: SOT 9165 SOS 4553 HAS SOPS 4553 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3438.553
AT ITER 2173 NEW BEST:: SOT 9163 SOS 4551 HAS SOPS 4551 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3436.551
AT ITER 2175 NEW BEST:: SOT 9161 SOS 4549 HAS SOPS 4549 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3434.549
AT ITER 2176 NEW BEST:: SOT 9159 SOS 4547 HAS SOPS 4547 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3432.547
AT ITER 2181 NEW BEST:: SOT 9153 SOS 4539 HAS SOPS 4539 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3424.539
AT ITER 2198 NEW BEST:: SOT 9153 SOS 4541 HAS SOPS 4541 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3422.541
AT ITER 2214 NEW BEST:: SOT 9153 SOS 4535 HAS SOPS 4535 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3404.535
AT ITER 2224 NEW BEST:: SOT 9161 SOS 4514 HAS SOPS 4514 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.514
AT ITER 2225 NEW BEST:: SOT 9159 SOS 4510 HAS SOPS 4510 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3397.51
AT ITER 2242 NEW BEST:: SOT 9159 SOS 4510 HAS SOPS 4510 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3396.51
AT ITER 2265 NEW BEST:: SOT 9163 SOS 4500 HAS SOPS 4500 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3380.5
AT ITER 2286 NEW BEST:: SOT 9160 SOS 4497 HAS SOPS 4497 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3368.497
AT ITER 2289 NEW BEST:: SOT 9157 SOS 4492 HAS SOPS 4492 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3342.492
AT ITER 2345 NEW BEST:: SOT 9153 SOS 4488 HAS SOPS 4488 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3338.488
AT ITER 2386 NEW BEST:: SOT 9151 SOS 4496 HAS SOPS 4496 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3322.496
AT ITER 2387 NEW BEST:: SOT 9162 SOS 4495 HAS SOPS 4495 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3321.495
AT ITER 2405 NEW BEST:: SOT 9164 SOS 4490 HAS SOPS 4490 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3316.49
AT ITER 2427 NEW BEST:: SOT 9156 SOS 4482 HAS SOPS 4482 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3308.482
AT ITER 2450 NEW BEST:: SOT 9156 SOS 4482 HAS SOPS 4482 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.482
AT ITER 2460 NEW BEST:: SOT 9133 SOS 4458 HAS SOPS 4458 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3283.458
AT ITER 2471 NEW BEST:: SOT 9136 SOS 4445 HAS SOPS 4445 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3283.445
AT ITER 2497 NEW BEST:: SOT 9131 SOS 4440 HAS SOPS 4440 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3278.44
AT ITER 2515 NEW BEST:: SOT 9128 SOS 4437 HAS SOPS 4437 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3275.437
AT ITER 2522 NEW BEST:: SOT 9111 SOS 4376 HAS SOPS 4376 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3275.376
AT ITER 2535 NEW BEST:: SOT 9097 SOS 4357 HAS SOPS 4357 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3255.357
AT ITER 2562 NEW BEST:: SOT 9094 SOS 4360 HAS SOPS 4360 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3252.36
AT ITER 2568 NEW BEST:: SOT 9082 SOS 4348 HAS SOPS 4348 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3240.348
AT ITER 2586 NEW BEST:: SOT 9084 SOS 4330 HAS SOPS 4330 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3238.33
AT ITER 2648 NEW BEST:: SOT 9080 SOS 4326 HAS SOPS 4326 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3234.326
AT ITER 2670 NEW BEST:: SOT 9080 SOS 4324 HAS SOPS 4324 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3228.324
AT ITER 2671 NEW BEST:: SOT 9083 SOS 4322 HAS SOPS 4322 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3226.322
AT ITER 2691 NEW BEST:: SOT 9080 SOS 4316 HAS SOPS 4316 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3220.316
AT ITER 2696 NEW BEST:: SOT 9075 SOS 4311 HAS SOPS 4311 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3218.311
AT ITER 2791 NEW BEST:: SOT 9074 SOS 4310 HAS SOPS 4310 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3217.31
AT ITER 2802 NEW BEST:: SOT 9074 SOS 4310 HAS SOPS 4310 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3210.31
AT ITER 2833 NEW BEST:: SOT 9065 SOS 4301 HAS SOPS 4301 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3201.301
AT ITER 2848 NEW BEST:: SOT 9063 SOS 4297 HAS SOPS 4297 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3197.297
AT ITER 2872 NEW BEST:: SOT 9031 SOS 4258 HAS SOPS 4258 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3158.258
AT ITER 2898 NEW BEST:: SOT 9030 SOS 4256 HAS SOPS 4256 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3156.256
AT ITER 2923 NEW BEST:: SOT 9027 SOS 4253 HAS SOPS 4253 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3153.253
AT ITER 2995 NEW BEST:: SOT 9027 SOS 4252 HAS SOPS 4252 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3152.252
AT ITER 3026 NEW BEST:: SOT 9031 SOS 4287 HAS SOPS 4287 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3146.287
AT ITER 3029 NEW BEST:: SOT 9022 SOS 4275 HAS SOPS 4275 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3137.275
AT ITER 3052 NEW BEST:: SOT 9018 SOS 4271 HAS SOPS 4271 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3133.271
AT ITER 3089 NEW BEST:: SOT 9009 SOS 4262 HAS SOPS 4262 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3124.262
AT ITER 3104 NEW BEST:: SOT 9008 SOS 4260 HAS SOPS 4260 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3123.26
AT ITER 3108 NEW BEST:: SOT 9007 SOS 4258 HAS SOPS 4258 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3121.258
AT ITER 3112 NEW BEST:: SOT 9003 SOS 4254 HAS SOPS 4254 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3117.254
AT ITER 3153 NEW BEST:: SOT 9003 SOS 4258 HAS SOPS 4258 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3115.258
AT ITER 3155 NEW BEST:: SOT 9004 SOS 4254 HAS SOPS 4254 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3114.254
AT ITER 3159 NEW BEST:: SOT 9004 SOS 4260 HAS SOPS 4260 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3113.26
AT ITER 3172 NEW BEST:: SOT 9004 SOS 4257 HAS SOPS 4257 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3110.257
AT ITER 3174 NEW BEST:: SOT 9003 SOS 4257 HAS SOPS 4257 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3109.257
AT ITER 3179 NEW BEST:: SOT 9001 SOS 4255 HAS SOPS 4255 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3107.255
AT ITER 3180 NEW BEST:: SOT 8981 SOS 4246 HAS SOPS 4246 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3096.246
AT ITER 3197 NEW BEST:: SOT 8980 SOS 4245 HAS SOPS 4245 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3094.245
AT ITER 3275 NEW BEST:: SOT 8982 SOS 4230 HAS SOPS 4230 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3090.23
AT ITER 3301 NEW BEST:: SOT 8982 SOS 4228 HAS SOPS 4228 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3090.228
AT ITER 3302 NEW BEST:: SOT 8982 SOS 4226 HAS SOPS 4226 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3088.226
AT ITER 3346 NEW BEST:: SOT 8991 SOS 4207 HAS SOPS 4207 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3075.207
AT ITER 3364 NEW BEST:: SOT 8988 SOS 4171 HAS SOPS 4171 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3070.171
AT ITER 3378 NEW BEST:: SOT 8986 SOS 4168 HAS SOPS 4168 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3067.168
AT ITER 3438 NEW BEST:: SOT 8986 SOS 4165 HAS SOPS 4165 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3067.165
AT ITER 3462 NEW BEST:: SOT 8991 SOS 4164 HAS SOPS 4164 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3066.164
AT ITER 3501 NEW BEST:: SOT 8989 SOS 4159 HAS SOPS 4159 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3063.159
AT ITER 3507 NEW BEST:: SOT 9007 SOS 4197 HAS SOPS 4197 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3044.197
AT ITER 3517 NEW BEST:: SOT 9008 SOS 4194 HAS SOPS 4194 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3044.194
AT ITER 3587 NEW BEST:: SOT 9007 SOS 4193 HAS SOPS 4193 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3043.193
AT ITER 3605 NEW BEST:: SOT 9010 SOS 4208 HAS SOPS 4208 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3042.208
AT ITER 3654 NEW BEST:: SOT 9010 SOS 4208 HAS SOPS 4208 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3041.208
AT ITER 3673 NEW BEST:: SOT 9009 SOS 4207 HAS SOPS 4207 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3040.207
AT ITER 3674 NEW BEST:: SOT 9006 SOS 4205 HAS SOPS 4205 HAS SOUS 3034 HAS SOUPS 3034 WITH SCORE 3038.205
AT ITER 3675 NEW BEST:: SOT 8995 SOS 4193 HAS SOPS 4193 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3026.193
AT ITER 3762 NEW BEST:: SOT 8993 SOS 4189 HAS SOPS 4189 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3024.189
AT ITER 3906 NEW BEST:: SOT 8988 SOS 4164 HAS SOPS 4164 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3016.164
AT ITER 3929 NEW BEST:: SOT 8985 SOS 4156 HAS SOPS 4156 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3011.156
AT ITER 3931 NEW BEST:: SOT 8985 SOS 4126 HAS SOPS 4126 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3002.126
AT ITER 3968 NEW BEST:: SOT 8979 SOS 4124 HAS SOPS 4124 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2988.124
AT ITER 4031 NEW BEST:: SOT 8977 SOS 4118 HAS SOPS 4118 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2982.118
AT ITER 4037 NEW BEST:: SOT 8977 SOS 4114 HAS SOPS 4114 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2981.114
AT ITER 4052 NEW BEST:: SOT 8956 SOS 4097 HAS SOPS 4097 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2979.097
AT ITER 4077 NEW BEST:: SOT 8946 SOS 4087 HAS SOPS 4087 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2969.087
AT ITER 4103 NEW BEST:: SOT 8945 SOS 4086 HAS SOPS 4086 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2968.086
AT ITER 4109 NEW BEST:: SOT 8945 SOS 4084 HAS SOPS 4084 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2964.084
AT ITER 4133 NEW BEST:: SOT 8945 SOS 4064 HAS SOPS 4064 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2964.064
AT ITER 4177 NEW BEST:: SOT 8943 SOS 4063 HAS SOPS 4063 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2963.063
AT ITER 4180 NEW BEST:: SOT 8933 SOS 3980 HAS SOPS 3980 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2960.98
AT ITER 4206 NEW BEST:: SOT 8929 SOS 3974 HAS SOPS 3974 HAS SOUS 2951 HAS SOUPS 2951 WITH SCORE 2954.974
AT ITER 4230 NEW BEST:: SOT 8928 SOS 3973 HAS SOPS 3973 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2953.973
AT ITER 4232 NEW BEST:: SOT 8924 SOS 3968 HAS SOPS 3968 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2948.968
AT ITER 4241 NEW BEST:: SOT 8921 SOS 3963 HAS SOPS 3963 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2943.963
AT ITER 4244 NEW BEST:: SOT 8926 SOS 3945 HAS SOPS 3945 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2943.945
AT ITER 4248 NEW BEST:: SOT 8924 SOS 3943 HAS SOPS 3943 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.943
AT ITER 4317 NEW BEST:: SOT 8925 SOS 3956 HAS SOPS 3956 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2934.956
AT ITER 4332 NEW BEST:: SOT 8922 SOS 3946 HAS SOPS 3946 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.946
AT ITER 4372 NEW BEST:: SOT 8922 SOS 3944 HAS SOPS 3944 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.944
AT ITER 4446 NEW BEST:: SOT 8936 SOS 3932 HAS SOPS 3932 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.932
AT ITER 4458 NEW BEST:: SOT 8936 SOS 3931 HAS SOPS 3931 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.931
AT ITER 4489 NEW BEST:: SOT 8933 SOS 3929 HAS SOPS 3929 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.929
AT ITER 4510 NEW BEST:: SOT 8923 SOS 3869 HAS SOPS 3869 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.869
AT ITER 4540 NEW BEST:: SOT 8915 SOS 3821 HAS SOPS 3821 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.821
AT ITER 4603 NEW BEST:: SOT 8903 SOS 3809 HAS SOPS 3809 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2873.809
AT ITER 4612 NEW BEST:: SOT 8865 SOS 3752 HAS SOPS 3752 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.752
AT ITER 4702 NEW BEST:: SOT 8866 SOS 3748 HAS SOPS 3748 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.748
AT ITER 4714 NEW BEST:: SOT 8880 SOS 3760 HAS SOPS 3760 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.76
AT ITER 4763 NEW BEST:: SOT 8880 SOS 3761 HAS SOPS 3761 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2813.761
AT ITER 4776 NEW BEST:: SOT 8877 SOS 3741 HAS SOPS 3741 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.741
AT ITER 4865 NEW BEST:: SOT 8864 SOS 3728 HAS SOPS 3728 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.728
AT ITER 4882 NEW BEST:: SOT 8861 SOS 3725 HAS SOPS 3725 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.725
AT ITER 4903 NEW BEST:: SOT 8865 SOS 3720 HAS SOPS 3720 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.72
AT ITER 4905 NEW BEST:: SOT 8857 SOS 3712 HAS SOPS 3712 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.712
AT ITER 4983 NEW BEST:: SOT 8855 SOS 3709 HAS SOPS 3709 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.709
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-00 (EU( ( ( potential( ( 2 ) <= (tk(P55)) ) | potential( (tk(P11)) <= (tk(P112)) ) ) & ( potential( ( 1 ) <= (tk(P1)) ) | potential( (tk(P54)) <= (tk(P26)) ) ) ),(EF(potential( ( 3 ) <= (tk(P66)) ))) ))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-01 (AG( ( (EF(potential( ( 2 ) <= (tk(P82)) ))) & (EF(potential( ( 3 ) <= (tk(P59)) ))) )))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-02 (EX( (AU( potential( (tk(P85)) <= (tk(P28)) ),potential( ( 3 ) <= (tk(P31)) ) ))))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-03 (EU( (! ( potential( ( 2 ) <= (tk(P107)) ) & potential( ( 2 ) <= (tk(P67)) ) )),(EG( potential( (tk(P90)) <= (tk(P128)) ))) ))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-04 (AU( (AX( potential( (tk(P33)) <= (tk(P6)) ))),potential( ( 2 ) <= (tk(P45)) ) ))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-05 (AF(( ( ( potential( ( 2 ) <= (tk(P70)) ) & potential( ( 2 ) <= (tk(P90)) ) ) | ( potential( (tk(P108)) <= (tk(P73)) ) & potential( ( 1 ) <= (tk(P112)) ) ) ) & (EX( potential( ( 3 ) <= (tk(P85)) ))) )))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-06 ( ( ( (EX( potential( (tk(P84)) <= (tk(P77)) ))) | (! ( potential( (tk(P95)) <= (tk(P100)) ) | potential( (tk(P72)) <= (tk(P112)) ) )) ) | potential( ( 1 ) <= (tk(P22)) ) ) & ( (AG( (! potential( ( 2 ) <= (tk(P108)) )))) & (EU( potential( ( 2 ) <= (tk(P86)) ),potential( (tk(P78)) <= (tk(P127)) ) )) ) )
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-07 (EF((EG( (! potential( ( 3 ) <= (tk(P114)) ))))))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-08 (EF((! (AF(potential( ( 2 ) <= (tk(P25)) ))))))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-09 (! ( (AG( (! potential( ( 1 ) <= (tk(P16)) )))) | ( ( (! potential( ( 1 ) <= (tk(P99)) )) & potential( ( 1 ) <= (tk(P114)) ) ) & ( ( potential( ( 3 ) <= (tk(P12)) ) & potential( (tk(P80)) <= (tk(P18)) ) ) & potential( (tk(P87)) <= (tk(P110)) ) ) ) ))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-10 (AU( (AG( potential( ( 2 ) <= (tk(P26)) ))),(EG( potential( (tk(P64)) <= (tk(P65)) ))) ))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-11 (EF((AX( ( potential( ( 2 ) <= (tk(P89)) ) | potential( ( 3 ) <= (tk(P26)) ) )))))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-12 (! ( (EX( potential( ( 1 ) <= (tk(P30)) ))) | ( (EG( potential( (tk(P122)) <= (tk(P71)) ))) & ( ( potential( (tk(P73)) <= (tk(P105)) ) | potential( ( 3 ) <= (tk(P55)) ) ) | potential( ( 1 ) <= (tk(P80)) ) ) ) ))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-13 (EG( (AU( potential( (tk(P43)) <= (tk(P80)) ),potential( ( 1 ) <= (tk(P13)) ) ))))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-14 (AF(( ( potential( (tk(P113)) <= (tk(P83)) ) | potential( ( 3 ) <= (tk(P127)) ) ) & (EF(potential( ( 3 ) <= (tk(P96)) ))) )))
PROPERTY: ShieldIIPs-PT-005A-CTLCardinality-15 (EX( (EG( (! potential( ( 2 ) <= (tk(P81)) ))))))

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="ShieldIIPs-PT-005A"
export BK_EXAMINATION="CTLCardinality"
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 ShieldIIPs-PT-005A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469000107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPs-PT-005A.tgz
mv ShieldIIPs-PT-005A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;