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-159033470300979.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 ShieldRVt-PT-004B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470300979
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.2K May 14 02:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 20:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 20:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:29 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 48K 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 ShieldRVt-PT-004B-CTLCardinality-00
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-01
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-02
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-03
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-04
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-05
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-06
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-07
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-08
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-09
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-10
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-11
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-12
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-13
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-14
FORMULA_NAME ShieldRVt-PT-004B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590454029121

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 004B
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: 203 places, 203 transitions, 478 arcs.
AT ITER 0 NEW BEST:: SOT 22740 SOS 7246 HAS SOPS 7246 HAS SOUS 6492 HAS SOUPS 6492 WITH SCORE 6499.246
AT ITER 5 NEW BEST:: SOT 22722 SOS 7174 HAS SOPS 7174 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.174
AT ITER 8 NEW BEST:: SOT 22721 SOS 7172 HAS SOPS 7172 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.172
AT ITER 9 NEW BEST:: SOT 22721 SOS 7156 HAS SOPS 7156 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.156
AT ITER 13 NEW BEST:: SOT 22763 SOS 7200 HAS SOPS 7200 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6411.2
AT ITER 18 NEW BEST:: SOT 22773 SOS 7220 HAS SOPS 7220 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6379.22
AT ITER 37 NEW BEST:: SOT 22773 SOS 7181 HAS SOPS 7181 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6339.181
AT ITER 61 NEW BEST:: SOT 22745 SOS 7023 HAS SOPS 7023 HAS SOUS 6249 HAS SOUPS 6249 WITH SCORE 6256.023
AT ITER 65 NEW BEST:: SOT 22702 SOS 7009 HAS SOPS 7009 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6240.009
AT ITER 86 NEW BEST:: SOT 22702 SOS 7004 HAS SOPS 7004 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6235.004
AT ITER 104 NEW BEST:: SOT 22702 SOS 7004 HAS SOPS 7004 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.004
AT ITER 114 NEW BEST:: SOT 22702 SOS 6968 HAS SOPS 6968 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6195.968
AT ITER 117 NEW BEST:: SOT 22702 SOS 6936 HAS SOPS 6936 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6195.936
AT ITER 128 NEW BEST:: SOT 22702 SOS 6936 HAS SOPS 6936 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6194.936
AT ITER 129 NEW BEST:: SOT 22702 SOS 6936 HAS SOPS 6936 HAS SOUS 6178 HAS SOUPS 6178 WITH SCORE 6184.936
AT ITER 134 NEW BEST:: SOT 22702 SOS 6934 HAS SOPS 6934 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6180.934
AT ITER 142 NEW BEST:: SOT 22702 SOS 6911 HAS SOPS 6911 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6157.911
AT ITER 144 NEW BEST:: SOT 22702 SOS 6904 HAS SOPS 6904 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6157.904
AT ITER 153 NEW BEST:: SOT 22701 SOS 6888 HAS SOPS 6888 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6152.888
AT ITER 168 NEW BEST:: SOT 22701 SOS 6886 HAS SOPS 6886 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6150.886
AT ITER 177 NEW BEST:: SOT 22701 SOS 6886 HAS SOPS 6886 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6147.886
AT ITER 188 NEW BEST:: SOT 22701 SOS 6885 HAS SOPS 6885 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6146.885
AT ITER 189 NEW BEST:: SOT 22701 SOS 6884 HAS SOPS 6884 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6146.884
AT ITER 197 NEW BEST:: SOT 22700 SOS 6864 HAS SOPS 6864 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6135.864
AT ITER 235 NEW BEST:: SOT 22700 SOS 6858 HAS SOPS 6858 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6123.858
AT ITER 238 NEW BEST:: SOT 22698 SOS 6846 HAS SOPS 6846 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6111.846
AT ITER 250 NEW BEST:: SOT 22698 SOS 6843 HAS SOPS 6843 HAS SOUS 6105 HAS SOUPS 6105 WITH SCORE 6111.843
AT ITER 255 NEW BEST:: SOT 22696 SOS 6749 HAS SOPS 6749 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6087.749
AT ITER 259 NEW BEST:: SOT 22696 SOS 6738 HAS SOPS 6738 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6076.738
AT ITER 266 NEW BEST:: SOT 22695 SOS 6736 HAS SOPS 6736 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6069.736
AT ITER 279 NEW BEST:: SOT 22695 SOS 6716 HAS SOPS 6716 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6049.716
AT ITER 287 NEW BEST:: SOT 22686 SOS 6698 HAS SOPS 6698 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6031.698
AT ITER 292 NEW BEST:: SOT 22665 SOS 6635 HAS SOPS 6635 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.635
AT ITER 304 NEW BEST:: SOT 22634 SOS 6543 HAS SOPS 6543 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5947.543
AT ITER 306 NEW BEST:: SOT 22634 SOS 6541 HAS SOPS 6541 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5945.541
AT ITER 310 NEW BEST:: SOT 22558 SOS 6503 HAS SOPS 6503 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5869.503
AT ITER 314 NEW BEST:: SOT 22558 SOS 6503 HAS SOPS 6503 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5862.503
AT ITER 317 NEW BEST:: SOT 22558 SOS 6500 HAS SOPS 6500 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5859.5
AT ITER 341 NEW BEST:: SOT 22537 SOS 6500 HAS SOPS 6500 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5838.5
AT ITER 345 NEW BEST:: SOT 22530 SOS 6519 HAS SOPS 6519 HAS SOUS 5825 HAS SOUPS 5825 WITH SCORE 5831.519
AT ITER 353 NEW BEST:: SOT 22529 SOS 6518 HAS SOPS 6518 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5830.518
AT ITER 358 NEW BEST:: SOT 22529 SOS 6488 HAS SOPS 6488 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5815.488
AT ITER 366 NEW BEST:: SOT 22530 SOS 6480 HAS SOPS 6480 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.48
AT ITER 394 NEW BEST:: SOT 22523 SOS 6429 HAS SOPS 6429 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5788.429
AT ITER 399 NEW BEST:: SOT 22523 SOS 6417 HAS SOPS 6417 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.417
AT ITER 413 NEW BEST:: SOT 22516 SOS 6403 HAS SOPS 6403 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.403
AT ITER 414 NEW BEST:: SOT 22546 SOS 6427 HAS SOPS 6427 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5756.427
AT ITER 421 NEW BEST:: SOT 22546 SOS 6427 HAS SOPS 6427 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.427
AT ITER 443 NEW BEST:: SOT 22546 SOS 6423 HAS SOPS 6423 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5752.423
AT ITER 445 NEW BEST:: SOT 22546 SOS 6419 HAS SOPS 6419 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.419
AT ITER 465 NEW BEST:: SOT 22542 SOS 6411 HAS SOPS 6411 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5735.411
AT ITER 475 NEW BEST:: SOT 22542 SOS 6408 HAS SOPS 6408 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5732.408
AT ITER 478 NEW BEST:: SOT 22527 SOS 6384 HAS SOPS 6384 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5710.384
AT ITER 488 NEW BEST:: SOT 22506 SOS 6420 HAS SOPS 6420 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5689.42
AT ITER 494 NEW BEST:: SOT 22506 SOS 6419 HAS SOPS 6419 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5688.419
AT ITER 502 NEW BEST:: SOT 22506 SOS 6401 HAS SOPS 6401 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.401
AT ITER 509 NEW BEST:: SOT 22506 SOS 6386 HAS SOPS 6386 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5670.386
AT ITER 518 NEW BEST:: SOT 22464 SOS 6342 HAS SOPS 6342 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.342
AT ITER 527 NEW BEST:: SOT 22471 SOS 6349 HAS SOPS 6349 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.349
AT ITER 542 NEW BEST:: SOT 22460 SOS 6308 HAS SOPS 6308 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.308
AT ITER 564 NEW BEST:: SOT 22401 SOS 6274 HAS SOPS 6274 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.274
AT ITER 572 NEW BEST:: SOT 22401 SOS 6261 HAS SOPS 6261 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.261
AT ITER 596 NEW BEST:: SOT 22401 SOS 6240 HAS SOPS 6240 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.24
AT ITER 611 NEW BEST:: SOT 22418 SOS 6254 HAS SOPS 6254 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5481.254
AT ITER 623 NEW BEST:: SOT 22416 SOS 6246 HAS SOPS 6246 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.246
AT ITER 628 NEW BEST:: SOT 22404 SOS 6219 HAS SOPS 6219 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5443.219
AT ITER 630 NEW BEST:: SOT 22404 SOS 6165 HAS SOPS 6165 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5443.165
AT ITER 633 NEW BEST:: SOT 22407 SOS 6183 HAS SOPS 6183 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5437.183
AT ITER 636 NEW BEST:: SOT 22411 SOS 6180 HAS SOPS 6180 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5434.18
AT ITER 646 NEW BEST:: SOT 22406 SOS 6175 HAS SOPS 6175 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5431.175
AT ITER 681 NEW BEST:: SOT 22398 SOS 6175 HAS SOPS 6175 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5423.175
AT ITER 711 NEW BEST:: SOT 22391 SOS 6172 HAS SOPS 6172 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.172
AT ITER 716 NEW BEST:: SOT 22395 SOS 6127 HAS SOPS 6127 HAS SOUS 5400 HAS SOUPS 5400 WITH SCORE 5406.127
AT ITER 723 NEW BEST:: SOT 22395 SOS 6117 HAS SOPS 6117 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5395.117
AT ITER 729 NEW BEST:: SOT 22420 SOS 6139 HAS SOPS 6139 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5392.139
AT ITER 740 NEW BEST:: SOT 22393 SOS 6085 HAS SOPS 6085 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5365.085
AT ITER 742 NEW BEST:: SOT 22383 SOS 6065 HAS SOPS 6065 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5355.065
AT ITER 747 NEW BEST:: SOT 22383 SOS 6064 HAS SOPS 6064 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.064
AT ITER 780 NEW BEST:: SOT 22388 SOS 6074 HAS SOPS 6074 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.074
AT ITER 788 NEW BEST:: SOT 22388 SOS 6068 HAS SOPS 6068 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.068
AT ITER 824 NEW BEST:: SOT 22388 SOS 6063 HAS SOPS 6063 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.063
AT ITER 830 NEW BEST:: SOT 22400 SOS 6087 HAS SOPS 6087 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5319.087
AT ITER 854 NEW BEST:: SOT 22374 SOS 6005 HAS SOPS 6005 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5265.005
AT ITER 866 NEW BEST:: SOT 22363 SOS 5983 HAS SOPS 5983 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5253.983
AT ITER 875 NEW BEST:: SOT 22341 SOS 5973 HAS SOPS 5973 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5243.973
AT ITER 887 NEW BEST:: SOT 22323 SOS 5937 HAS SOPS 5937 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5207.937
AT ITER 895 NEW BEST:: SOT 22323 SOS 5947 HAS SOPS 5947 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5198.947
AT ITER 920 NEW BEST:: SOT 22323 SOS 5946 HAS SOPS 5946 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5197.946
AT ITER 924 NEW BEST:: SOT 22323 SOS 5946 HAS SOPS 5946 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5188.946
AT ITER 939 NEW BEST:: SOT 22291 SOS 5912 HAS SOPS 5912 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5154.912
AT ITER 977 NEW BEST:: SOT 22289 SOS 5908 HAS SOPS 5908 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5153.908
AT ITER 987 NEW BEST:: SOT 22289 SOS 5894 HAS SOPS 5894 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5139.894
AT ITER 999 NEW BEST:: SOT 22289 SOS 5887 HAS SOPS 5887 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5132.887
AT ITER 1019 NEW BEST:: SOT 22289 SOS 5887 HAS SOPS 5887 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5126.887
AT ITER 1032 NEW BEST:: SOT 22288 SOS 5823 HAS SOPS 5823 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5120.823
AT ITER 1040 NEW BEST:: SOT 22274 SOS 5749 HAS SOPS 5749 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.749
AT ITER 1051 NEW BEST:: SOT 22274 SOS 5748 HAS SOPS 5748 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.748
AT ITER 1053 NEW BEST:: SOT 22274 SOS 5743 HAS SOPS 5743 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.743
AT ITER 1069 NEW BEST:: SOT 22273 SOS 5740 HAS SOPS 5740 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5071.74
AT ITER 1078 NEW BEST:: SOT 22273 SOS 5730 HAS SOPS 5730 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5066.73
AT ITER 1090 NEW BEST:: SOT 22259 SOS 5702 HAS SOPS 5702 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5038.702
AT ITER 1093 NEW BEST:: SOT 22253 SOS 5696 HAS SOPS 5696 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.696
AT ITER 1114 NEW BEST:: SOT 22243 SOS 5676 HAS SOPS 5676 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5023.676
AT ITER 1121 NEW BEST:: SOT 22243 SOS 5655 HAS SOPS 5655 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5020.655
AT ITER 1134 NEW BEST:: SOT 22240 SOS 5640 HAS SOPS 5640 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5008.64
AT ITER 1141 NEW BEST:: SOT 22230 SOS 5566 HAS SOPS 5566 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4966.566
AT ITER 1147 NEW BEST:: SOT 22230 SOS 5563 HAS SOPS 5563 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4963.563
AT ITER 1162 NEW BEST:: SOT 22237 SOS 5491 HAS SOPS 5491 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4934.491
AT ITER 1185 NEW BEST:: SOT 22237 SOS 5485 HAS SOPS 5485 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4931.485
AT ITER 1215 NEW BEST:: SOT 22234 SOS 5458 HAS SOPS 5458 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.458
AT ITER 1230 NEW BEST:: SOT 22234 SOS 5452 HAS SOPS 5452 HAS SOUS 4897 HAS SOUPS 4897 WITH SCORE 4902.452
AT ITER 1236 NEW BEST:: SOT 22221 SOS 5433 HAS SOPS 5433 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4891.433
AT ITER 1298 NEW BEST:: SOT 22215 SOS 5421 HAS SOPS 5421 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4879.421
AT ITER 1336 NEW BEST:: SOT 22210 SOS 5403 HAS SOPS 5403 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4861.403
AT ITER 1352 NEW BEST:: SOT 22194 SOS 5347 HAS SOPS 5347 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.347
AT ITER 1383 NEW BEST:: SOT 22193 SOS 5305 HAS SOPS 5305 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.305
AT ITER 1398 NEW BEST:: SOT 22185 SOS 5278 HAS SOPS 5278 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4776.278
AT ITER 1399 NEW BEST:: SOT 22185 SOS 5278 HAS SOPS 5278 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4769.278
AT ITER 1412 NEW BEST:: SOT 22173 SOS 5254 HAS SOPS 5254 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4752.254
AT ITER 1427 NEW BEST:: SOT 22169 SOS 5250 HAS SOPS 5250 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4752.25
AT ITER 1443 NEW BEST:: SOT 22167 SOS 5246 HAS SOPS 5246 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4743.246
AT ITER 1446 NEW BEST:: SOT 22167 SOS 5238 HAS SOPS 5238 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.238
AT ITER 1461 NEW BEST:: SOT 22145 SOS 5239 HAS SOPS 5239 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.239
AT ITER 1463 NEW BEST:: SOT 22148 SOS 5240 HAS SOPS 5240 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4725.24
AT ITER 1486 NEW BEST:: SOT 22141 SOS 5241 HAS SOPS 5241 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4718.241
AT ITER 1512 NEW BEST:: SOT 22137 SOS 5233 HAS SOPS 5233 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4718.233
AT ITER 1543 NEW BEST:: SOT 22126 SOS 5211 HAS SOPS 5211 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4707.211
AT ITER 1584 NEW BEST:: SOT 22126 SOS 5207 HAS SOPS 5207 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.207
AT ITER 1597 NEW BEST:: SOT 22130 SOS 5139 HAS SOPS 5139 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.139
AT ITER 1643 NEW BEST:: SOT 22127 SOS 5133 HAS SOPS 5133 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.133
AT ITER 1666 NEW BEST:: SOT 22119 SOS 5131 HAS SOPS 5131 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4665.131
AT ITER 1667 NEW BEST:: SOT 22118 SOS 5130 HAS SOPS 5130 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4664.13
AT ITER 1688 NEW BEST:: SOT 22109 SOS 5112 HAS SOPS 5112 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4646.112
AT ITER 1718 NEW BEST:: SOT 22109 SOS 5112 HAS SOPS 5112 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4644.112
AT ITER 1736 NEW BEST:: SOT 22107 SOS 5112 HAS SOPS 5112 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4642.112
AT ITER 1738 NEW BEST:: SOT 22106 SOS 5110 HAS SOPS 5110 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.11
AT ITER 1750 NEW BEST:: SOT 22106 SOS 5102 HAS SOPS 5102 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.102
AT ITER 1752 NEW BEST:: SOT 22106 SOS 5095 HAS SOPS 5095 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4640.095
AT ITER 1860 NEW BEST:: SOT 22124 SOS 5090 HAS SOPS 5090 HAS SOUS 4635 HAS SOUPS 4635 WITH SCORE 4640.09
AT ITER 1880 NEW BEST:: SOT 22122 SOS 5083 HAS SOPS 5083 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4639.083
AT ITER 1885 NEW BEST:: SOT 22116 SOS 5071 HAS SOPS 5071 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4627.071
AT ITER 1886 NEW BEST:: SOT 22142 SOS 5027 HAS SOPS 5027 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4626.027
AT ITER 1916 NEW BEST:: SOT 22119 SOS 4981 HAS SOPS 4981 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4600.981
AT ITER 1929 NEW BEST:: SOT 22119 SOS 4981 HAS SOPS 4981 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4593.981
AT ITER 1935 NEW BEST:: SOT 22119 SOS 4980 HAS SOPS 4980 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4592.98
AT ITER 1945 NEW BEST:: SOT 22125 SOS 4961 HAS SOPS 4961 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4592.961
AT ITER 1977 NEW BEST:: SOT 22104 SOS 4957 HAS SOPS 4957 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4586.957
AT ITER 1984 NEW BEST:: SOT 22103 SOS 4954 HAS SOPS 4954 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4583.954
AT ITER 1991 NEW BEST:: SOT 22102 SOS 4953 HAS SOPS 4953 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4582.953
AT ITER 1994 NEW BEST:: SOT 22102 SOS 4951 HAS SOPS 4951 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4580.951
AT ITER 2003 NEW BEST:: SOT 22092 SOS 4944 HAS SOPS 4944 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4570.944
AT ITER 2021 NEW BEST:: SOT 22090 SOS 4942 HAS SOPS 4942 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4568.942
AT ITER 2027 NEW BEST:: SOT 22088 SOS 4935 HAS SOPS 4935 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4563.935
AT ITER 2048 NEW BEST:: SOT 22088 SOS 4927 HAS SOPS 4927 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4560.927
AT ITER 2053 NEW BEST:: SOT 22088 SOS 4925 HAS SOPS 4925 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4558.925
AT ITER 2077 NEW BEST:: SOT 22085 SOS 4940 HAS SOPS 4940 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4555.94
AT ITER 2089 NEW BEST:: SOT 22085 SOS 4924 HAS SOPS 4924 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4539.924
AT ITER 2181 NEW BEST:: SOT 22084 SOS 4920 HAS SOPS 4920 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4537.92
AT ITER 2190 NEW BEST:: SOT 22080 SOS 4925 HAS SOPS 4925 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4533.925
AT ITER 2199 NEW BEST:: SOT 22080 SOS 4925 HAS SOPS 4925 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4524.925
AT ITER 2235 NEW BEST:: SOT 22068 SOS 4912 HAS SOPS 4912 HAS SOUS 4495 HAS SOUPS 4495 WITH SCORE 4499.912
AT ITER 2271 NEW BEST:: SOT 22070 SOS 4910 HAS SOPS 4910 HAS SOUS 4494 HAS SOUPS 4494 WITH SCORE 4498.91
AT ITER 2298 NEW BEST:: SOT 22070 SOS 4896 HAS SOPS 4896 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4484.896
AT ITER 2304 NEW BEST:: SOT 22070 SOS 4880 HAS SOPS 4880 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4484.88
AT ITER 2348 NEW BEST:: SOT 22081 SOS 4939 HAS SOPS 4939 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4483.939
AT ITER 2369 NEW BEST:: SOT 22081 SOS 4939 HAS SOPS 4939 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4448.939
AT ITER 2379 NEW BEST:: SOT 22080 SOS 4937 HAS SOPS 4937 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4446.937
AT ITER 2391 NEW BEST:: SOT 22080 SOS 4937 HAS SOPS 4937 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.937
AT ITER 2392 NEW BEST:: SOT 22076 SOS 4929 HAS SOPS 4929 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4430.929
AT ITER 2420 NEW BEST:: SOT 22050 SOS 4903 HAS SOPS 4903 HAS SOUS 4400 HAS SOUPS 4400 WITH SCORE 4404.903
AT ITER 2425 NEW BEST:: SOT 22029 SOS 4903 HAS SOPS 4903 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4383.903
AT ITER 2426 NEW BEST:: SOT 22029 SOS 4902 HAS SOPS 4902 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4383.902
AT ITER 2438 NEW BEST:: SOT 22023 SOS 4877 HAS SOPS 4877 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4364.877
AT ITER 2458 NEW BEST:: SOT 22023 SOS 4853 HAS SOPS 4853 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4360.853
AT ITER 2479 NEW BEST:: SOT 22022 SOS 4851 HAS SOPS 4851 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4358.851
AT ITER 2514 NEW BEST:: SOT 22022 SOS 4813 HAS SOPS 4813 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4339.813
AT ITER 2523 NEW BEST:: SOT 22014 SOS 4797 HAS SOPS 4797 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4338.797
AT ITER 2530 NEW BEST:: SOT 22014 SOS 4775 HAS SOPS 4775 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4338.775
AT ITER 2532 NEW BEST:: SOT 22011 SOS 4766 HAS SOPS 4766 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4329.766
AT ITER 2537 NEW BEST:: SOT 21999 SOS 4742 HAS SOPS 4742 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4325.742
AT ITER 2543 NEW BEST:: SOT 21991 SOS 4734 HAS SOPS 4734 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4317.734
AT ITER 2619 NEW BEST:: SOT 21985 SOS 4730 HAS SOPS 4730 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4313.73
AT ITER 2641 NEW BEST:: SOT 21984 SOS 4728 HAS SOPS 4728 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4312.728
AT ITER 2642 NEW BEST:: SOT 21983 SOS 4726 HAS SOPS 4726 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4309.726
AT ITER 2660 NEW BEST:: SOT 21983 SOS 4711 HAS SOPS 4711 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4308.711
AT ITER 2667 NEW BEST:: SOT 21983 SOS 4710 HAS SOPS 4710 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4308.71
AT ITER 2682 NEW BEST:: SOT 21983 SOS 4710 HAS SOPS 4710 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4305.71
AT ITER 2687 NEW BEST:: SOT 21966 SOS 4710 HAS SOPS 4710 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4288.71
AT ITER 2695 NEW BEST:: SOT 21959 SOS 4702 HAS SOPS 4702 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4280.702
AT ITER 2747 NEW BEST:: SOT 21962 SOS 4672 HAS SOPS 4672 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4265.672
AT ITER 2757 NEW BEST:: SOT 21962 SOS 4671 HAS SOPS 4671 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4264.671
AT ITER 2768 NEW BEST:: SOT 21967 SOS 4670 HAS SOPS 4670 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4263.67
AT ITER 2771 NEW BEST:: SOT 21972 SOS 4662 HAS SOPS 4662 HAS SOUS 4246 HAS SOUPS 4246 WITH SCORE 4250.662
AT ITER 2779 NEW BEST:: SOT 21974 SOS 4646 HAS SOPS 4646 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4248.646
AT ITER 2811 NEW BEST:: SOT 21969 SOS 4640 HAS SOPS 4640 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4242.64
AT ITER 2818 NEW BEST:: SOT 21988 SOS 4649 HAS SOPS 4649 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4226.649
AT ITER 2865 NEW BEST:: SOT 21947 SOS 4560 HAS SOPS 4560 HAS SOUS 4142 HAS SOUPS 4142 WITH SCORE 4146.56
AT ITER 2885 NEW BEST:: SOT 21947 SOS 4556 HAS SOPS 4556 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4142.556
AT ITER 2892 NEW BEST:: SOT 21946 SOS 4552 HAS SOPS 4552 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4140.552
AT ITER 2899 NEW BEST:: SOT 21934 SOS 4546 HAS SOPS 4546 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.546
AT ITER 2915 NEW BEST:: SOT 21931 SOS 4528 HAS SOPS 4528 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4115.528
AT ITER 2948 NEW BEST:: SOT 21924 SOS 4521 HAS SOPS 4521 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4108.521
AT ITER 2953 NEW BEST:: SOT 21923 SOS 4518 HAS SOPS 4518 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4107.518
AT ITER 2963 NEW BEST:: SOT 21922 SOS 4517 HAS SOPS 4517 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4106.517
AT ITER 2967 NEW BEST:: SOT 21922 SOS 4502 HAS SOPS 4502 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4106.502
AT ITER 3072 NEW BEST:: SOT 21917 SOS 4490 HAS SOPS 4490 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4093.49
AT ITER 3090 NEW BEST:: SOT 21913 SOS 4489 HAS SOPS 4489 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.489
AT ITER 3112 NEW BEST:: SOT 21913 SOS 4489 HAS SOPS 4489 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4091.489
AT ITER 3163 NEW BEST:: SOT 21913 SOS 4486 HAS SOPS 4486 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4091.486
AT ITER 3174 NEW BEST:: SOT 21891 SOS 4442 HAS SOPS 4442 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.442
AT ITER 3177 NEW BEST:: SOT 21885 SOS 4430 HAS SOPS 4430 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4053.43
AT ITER 3180 NEW BEST:: SOT 21881 SOS 4422 HAS SOPS 4422 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.422
AT ITER 3189 NEW BEST:: SOT 21942 SOS 4531 HAS SOPS 4531 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.531
AT ITER 3216 NEW BEST:: SOT 21942 SOS 4517 HAS SOPS 4517 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.517
AT ITER 3244 NEW BEST:: SOT 21942 SOS 4498 HAS SOPS 4498 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4012.498
AT ITER 3254 NEW BEST:: SOT 21941 SOS 4496 HAS SOPS 4496 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4010.496
AT ITER 3260 NEW BEST:: SOT 21946 SOS 4489 HAS SOPS 4489 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.489
AT ITER 3283 NEW BEST:: SOT 21946 SOS 4486 HAS SOPS 4486 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.486
AT ITER 3394 NEW BEST:: SOT 21946 SOS 4483 HAS SOPS 4483 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.483
AT ITER 3451 NEW BEST:: SOT 21943 SOS 4477 HAS SOPS 4477 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.477
AT ITER 3452 NEW BEST:: SOT 21943 SOS 4473 HAS SOPS 4473 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4000.473
AT ITER 3472 NEW BEST:: SOT 21940 SOS 4467 HAS SOPS 4467 HAS SOUS 3993 HAS SOUPS 3993 WITH SCORE 3997.467
AT ITER 3496 NEW BEST:: SOT 21942 SOS 4469 HAS SOPS 4469 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3993.469
AT ITER 3499 NEW BEST:: SOT 21942 SOS 4469 HAS SOPS 4469 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.469
AT ITER 3523 NEW BEST:: SOT 21949 SOS 4483 HAS SOPS 4483 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.483
AT ITER 3553 NEW BEST:: SOT 21947 SOS 4480 HAS SOPS 4480 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3984.48
AT ITER 3584 NEW BEST:: SOT 21947 SOS 4478 HAS SOPS 4478 HAS SOUS 3978 HAS SOUPS 3978 WITH SCORE 3982.478
AT ITER 3600 NEW BEST:: SOT 21945 SOS 4450 HAS SOPS 4450 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.45
AT ITER 3635 NEW BEST:: SOT 21923 SOS 4447 HAS SOPS 4447 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.447
AT ITER 3636 NEW BEST:: SOT 21892 SOS 4408 HAS SOPS 4408 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3943.408
AT ITER 3639 NEW BEST:: SOT 21852 SOS 4365 HAS SOPS 4365 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3918.365
AT ITER 3687 NEW BEST:: SOT 21876 SOS 4344 HAS SOPS 4344 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3915.344
AT ITER 3713 NEW BEST:: SOT 21883 SOS 4328 HAS SOPS 4328 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.328
AT ITER 3724 NEW BEST:: SOT 21866 SOS 4320 HAS SOPS 4320 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.32
AT ITER 3794 NEW BEST:: SOT 21866 SOS 4320 HAS SOPS 4320 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3872.32
AT ITER 3804 NEW BEST:: SOT 21864 SOS 4312 HAS SOPS 4312 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.312
AT ITER 3856 NEW BEST:: SOT 21865 SOS 4306 HAS SOPS 4306 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.306
AT ITER 3894 NEW BEST:: SOT 21871 SOS 4318 HAS SOPS 4318 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.318
AT ITER 3936 NEW BEST:: SOT 21871 SOS 4317 HAS SOPS 4317 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.317
AT ITER 4004 NEW BEST:: SOT 21868 SOS 4316 HAS SOPS 4316 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3849.316
AT ITER 4027 NEW BEST:: SOT 21866 SOS 4312 HAS SOPS 4312 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3845.312
AT ITER 4051 NEW BEST:: SOT 21862 SOS 4292 HAS SOPS 4292 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.292
AT ITER 4098 NEW BEST:: SOT 21862 SOS 4282 HAS SOPS 4282 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3828.282
AT ITER 4120 NEW BEST:: SOT 21849 SOS 4276 HAS SOPS 4276 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3822.276
AT ITER 4146 NEW BEST:: SOT 21836 SOS 4224 HAS SOPS 4224 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3811.224
AT ITER 4150 NEW BEST:: SOT 21835 SOS 4222 HAS SOPS 4222 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3809.222
AT ITER 4234 NEW BEST:: SOT 21834 SOS 4220 HAS SOPS 4220 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3807.22
AT ITER 4262 NEW BEST:: SOT 21830 SOS 4217 HAS SOPS 4217 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.217
AT ITER 4269 NEW BEST:: SOT 21830 SOS 4193 HAS SOPS 4193 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3793.193
AT ITER 4316 NEW BEST:: SOT 21830 SOS 4188 HAS SOPS 4188 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.188
AT ITER 4566 NEW BEST:: SOT 21826 SOS 4197 HAS SOPS 4197 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3783.197
AT ITER 4589 NEW BEST:: SOT 21826 SOS 4195 HAS SOPS 4195 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3783.195
AT ITER 4733 NEW BEST:: SOT 21819 SOS 4181 HAS SOPS 4181 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.181
AT ITER 4750 NEW BEST:: SOT 21815 SOS 4173 HAS SOPS 4173 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.173
AT ITER 4776 NEW BEST:: SOT 21815 SOS 4168 HAS SOPS 4168 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.168
AT ITER 4784 NEW BEST:: SOT 21809 SOS 4156 HAS SOPS 4156 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3758.156
AT ITER 4842 NEW BEST:: SOT 21808 SOS 4154 HAS SOPS 4154 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.154
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-00 (! ( ( (AG( potential( (tk(P166)) <= (tk(P160)) ))) | (EX( potential( ( 2 ) <= (tk(P168)) ))) ) | ( ( ( potential( ( 1 ) <= (tk(P172)) ) & potential( ( 2 ) <= (tk(P188)) ) ) & ( potential( ( 3 ) <= (tk(P154)) ) | potential( ( 1 ) <= (tk(P187)) ) ) ) | potential( ( 2 ) <= (tk(P94)) ) ) ))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-01 (AU( (AX( potential( (tk(P51)) <= (tk(P120)) ))),( (! potential( ( 3 ) <= (tk(P39)) )) & potential( ( 3 ) <= (tk(P123)) ) ) ))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-02 (EU( (! (! potential( ( 1 ) <= (tk(P2)) ))),(AG( potential( (tk(P164)) <= (tk(P95)) ))) ))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-03 (! (AF((EF(potential( ( 3 ) <= (tk(P194)) ))))))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-04 (EX( (EF(( potential( ( 2 ) <= (tk(P106)) ) & potential( (tk(P118)) <= (tk(P41)) ) )))))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-05 ( ( potential( (tk(P29)) <= (tk(P186)) ) | ( (! ( potential( (tk(P78)) <= (tk(P114)) ) & potential( ( 2 ) <= (tk(P51)) ) )) | (AG( potential( (tk(P183)) <= (tk(P188)) ))) ) ) & (AX( (AF(potential( ( 2 ) <= (tk(P197)) ))))) )
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-06 (EG( (! (AG( potential( ( 1 ) <= (tk(P149)) ))))))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-07 (! (EU( potential( (tk(P66)) <= (tk(P174)) ),potential( ( 1 ) <= (tk(P136)) ) )))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-08 (AG( (! (AG( potential( (tk(P127)) <= (tk(P68)) ))))))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-09 ( (! ( (! (! potential( ( 1 ) <= (tk(P190)) ))) | (AF(potential( ( 2 ) <= (tk(P162)) ))) )) & (AF(( potential( ( 2 ) <= (tk(P177)) ) & ( potential( (tk(P150)) <= (tk(P142)) ) & potential( ( 3 ) <= (tk(P98)) ) ) ))) )
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-10 (AU( ( (! potential( (tk(P69)) <= (tk(P47)) )) | ( potential( (tk(P59)) <= (tk(P200)) ) | potential( (tk(P6)) <= (tk(P88)) ) ) ),(EX( potential( ( 2 ) <= (tk(P192)) ))) ))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-11 (EG( potential( (tk(P122)) <= (tk(P76)) )))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-12 ( (! ( (AX( potential( ( 2 ) <= (tk(P16)) ))) | (! ( potential( (tk(P203)) <= (tk(P50)) ) | potential( (tk(P137)) <= (tk(P182)) ) )) )) & (! (AG( potential( (tk(P68)) <= (tk(P170)) )))) )
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-13 (EG( ( (! potential( (tk(P151)) <= (tk(P73)) )) | (! ( potential( (tk(P128)) <= (tk(P95)) ) & potential( ( 2 ) <= (tk(P177)) ) )) )))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-14 (AF((AG( (! potential( ( 1 ) <= (tk(P164)) ))))))
PROPERTY: ShieldRVt-PT-004B-CTLCardinality-15 (! (EF((AG( potential( ( 2 ) <= (tk(P142)) ))))))

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="ShieldRVt-PT-004B"
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 ShieldRVt-PT-004B, 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-159033470300979"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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