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-159033470301020.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-020A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470301020
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.4K May 14 02:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 02:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 20:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 20:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 15K 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:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 54K 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-020A-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-020A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590454375162

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 020A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 163 places, 163 transitions, 686 arcs.
AT ITER 0 NEW BEST:: SOT 20915 SOS 15526 HAS SOPS 15526 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14461.526
AT ITER 1 NEW BEST:: SOT 20798 SOS 15352 HAS SOPS 15352 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14230.352
AT ITER 2 NEW BEST:: SOT 20726 SOS 15219 HAS SOPS 15219 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14050.219
AT ITER 3 NEW BEST:: SOT 20598 SOS 14963 HAS SOPS 14963 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13866.963
AT ITER 12 NEW BEST:: SOT 20595 SOS 14960 HAS SOPS 14960 HAS SOUS 13816 HAS SOUPS 13816 WITH SCORE 13830.96
AT ITER 13 NEW BEST:: SOT 20565 SOS 14836 HAS SOPS 14836 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13809.836
AT ITER 18 NEW BEST:: SOT 20562 SOS 14833 HAS SOPS 14833 HAS SOUS 13792 HAS SOUPS 13792 WITH SCORE 13806.833
AT ITER 20 NEW BEST:: SOT 20483 SOS 14634 HAS SOPS 14634 HAS SOUS 13636 HAS SOUPS 13636 WITH SCORE 13650.634
AT ITER 21 NEW BEST:: SOT 20414 SOS 14499 HAS SOPS 14499 HAS SOUS 13472 HAS SOUPS 13472 WITH SCORE 13486.499
AT ITER 23 NEW BEST:: SOT 20367 SOS 14403 HAS SOPS 14403 HAS SOUS 13377 HAS SOUPS 13377 WITH SCORE 13391.403
AT ITER 24 NEW BEST:: SOT 20229 SOS 14185 HAS SOPS 14185 HAS SOUS 13111 HAS SOUPS 13111 WITH SCORE 13125.185
AT ITER 34 NEW BEST:: SOT 20151 SOS 13982 HAS SOPS 13982 HAS SOUS 12958 HAS SOUPS 12958 WITH SCORE 12971.982
AT ITER 40 NEW BEST:: SOT 20151 SOS 13979 HAS SOPS 13979 HAS SOUS 12915 HAS SOUPS 12915 WITH SCORE 12928.979
AT ITER 42 NEW BEST:: SOT 20151 SOS 13989 HAS SOPS 13989 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12923.989
AT ITER 43 NEW BEST:: SOT 20134 SOS 13981 HAS SOPS 13981 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12873.981
AT ITER 44 NEW BEST:: SOT 20103 SOS 13949 HAS SOPS 13949 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12840.949
AT ITER 45 NEW BEST:: SOT 20103 SOS 13938 HAS SOPS 13938 HAS SOUS 12793 HAS SOUPS 12793 WITH SCORE 12806.938
AT ITER 48 NEW BEST:: SOT 20031 SOS 13776 HAS SOPS 13776 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12645.776
AT ITER 50 NEW BEST:: SOT 20025 SOS 13770 HAS SOPS 13770 HAS SOUS 12626 HAS SOUPS 12626 WITH SCORE 12639.77
AT ITER 78 NEW BEST:: SOT 20008 SOS 13702 HAS SOPS 13702 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12569.702
AT ITER 81 NEW BEST:: SOT 19979 SOS 13572 HAS SOPS 13572 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12487.572
AT ITER 85 NEW BEST:: SOT 19910 SOS 13397 HAS SOPS 13397 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12234.397
AT ITER 94 NEW BEST:: SOT 19758 SOS 13201 HAS SOPS 13201 HAS SOUS 12025 HAS SOUPS 12025 WITH SCORE 12038.201
AT ITER 96 NEW BEST:: SOT 19691 SOS 13009 HAS SOPS 13009 HAS SOUS 11934 HAS SOUPS 11934 WITH SCORE 11947.009
AT ITER 98 NEW BEST:: SOT 19517 SOS 12758 HAS SOPS 12758 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11654.758
AT ITER 100 NEW BEST:: SOT 19498 SOS 12761 HAS SOPS 12761 HAS SOUS 11613 HAS SOUPS 11613 WITH SCORE 11625.761
AT ITER 104 NEW BEST:: SOT 19464 SOS 12694 HAS SOPS 12694 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11539.694
AT ITER 105 NEW BEST:: SOT 19492 SOS 12731 HAS SOPS 12731 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11462.731
AT ITER 107 NEW BEST:: SOT 19453 SOS 12635 HAS SOPS 12635 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11403.635
AT ITER 110 NEW BEST:: SOT 19453 SOS 12635 HAS SOPS 12635 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11396.635
AT ITER 111 NEW BEST:: SOT 19453 SOS 12644 HAS SOPS 12644 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11381.644
AT ITER 112 NEW BEST:: SOT 19383 SOS 12462 HAS SOPS 12462 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11247.462
AT ITER 115 NEW BEST:: SOT 19291 SOS 12283 HAS SOPS 12283 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11104.283
AT ITER 117 NEW BEST:: SOT 19125 SOS 12047 HAS SOPS 12047 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10872.047
AT ITER 122 NEW BEST:: SOT 19078 SOS 11949 HAS SOPS 11949 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10802.949
AT ITER 125 NEW BEST:: SOT 19060 SOS 11925 HAS SOPS 11925 HAS SOUS 10773 HAS SOUPS 10773 WITH SCORE 10784.925
AT ITER 131 NEW BEST:: SOT 18972 SOS 11601 HAS SOPS 11601 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10481.601
AT ITER 132 NEW BEST:: SOT 18866 SOS 11404 HAS SOPS 11404 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10434.404
AT ITER 134 NEW BEST:: SOT 18738 SOS 11230 HAS SOPS 11230 HAS SOUS 10252 HAS SOUPS 10252 WITH SCORE 10263.23
AT ITER 142 NEW BEST:: SOT 18710 SOS 11172 HAS SOPS 11172 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10212.172
AT ITER 145 NEW BEST:: SOT 18710 SOS 11211 HAS SOPS 11211 HAS SOUS 10189 HAS SOUPS 10189 WITH SCORE 10200.211
AT ITER 150 NEW BEST:: SOT 18704 SOS 11183 HAS SOPS 11183 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10172.183
AT ITER 152 NEW BEST:: SOT 18704 SOS 11183 HAS SOPS 11183 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10169.183
AT ITER 161 NEW BEST:: SOT 18702 SOS 11181 HAS SOPS 11181 HAS SOUS 10150 HAS SOUPS 10150 WITH SCORE 10161.181
AT ITER 164 NEW BEST:: SOT 18713 SOS 11170 HAS SOPS 11170 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10123.17
AT ITER 165 NEW BEST:: SOT 18713 SOS 11170 HAS SOPS 11170 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10077.17
AT ITER 166 NEW BEST:: SOT 18671 SOS 11065 HAS SOPS 11065 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9936.065
AT ITER 167 NEW BEST:: SOT 18652 SOS 11024 HAS SOPS 11024 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9842.024
AT ITER 170 NEW BEST:: SOT 18614 SOS 10974 HAS SOPS 10974 HAS SOUS 9781 HAS SOUPS 9781 WITH SCORE 9791.974
AT ITER 175 NEW BEST:: SOT 18609 SOS 10959 HAS SOPS 10959 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9776.959
AT ITER 180 NEW BEST:: SOT 18609 SOS 10959 HAS SOPS 10959 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9775.959
AT ITER 185 NEW BEST:: SOT 18570 SOS 10824 HAS SOPS 10824 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9666.824
AT ITER 189 NEW BEST:: SOT 18566 SOS 10818 HAS SOPS 10818 HAS SOUS 9648 HAS SOUPS 9648 WITH SCORE 9658.818
AT ITER 197 NEW BEST:: SOT 18530 SOS 10746 HAS SOPS 10746 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9622.746
AT ITER 203 NEW BEST:: SOT 18472 SOS 10636 HAS SOPS 10636 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9561.636
AT ITER 216 NEW BEST:: SOT 18454 SOS 10618 HAS SOPS 10618 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9543.618
AT ITER 222 NEW BEST:: SOT 18454 SOS 10737 HAS SOPS 10737 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9542.737
AT ITER 224 NEW BEST:: SOT 18452 SOS 10746 HAS SOPS 10746 HAS SOUS 9531 HAS SOUPS 9531 WITH SCORE 9541.746
AT ITER 233 NEW BEST:: SOT 18439 SOS 10682 HAS SOPS 10682 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9519.682
AT ITER 238 NEW BEST:: SOT 18439 SOS 10715 HAS SOPS 10715 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9502.715
AT ITER 240 NEW BEST:: SOT 18360 SOS 10558 HAS SOPS 10558 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9355.558
AT ITER 243 NEW BEST:: SOT 18323 SOS 10508 HAS SOPS 10508 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9261.508
AT ITER 246 NEW BEST:: SOT 18295 SOS 10409 HAS SOPS 10409 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9205.409
AT ITER 253 NEW BEST:: SOT 18291 SOS 10430 HAS SOPS 10430 HAS SOUS 9168 HAS SOUPS 9168 WITH SCORE 9178.43
AT ITER 254 NEW BEST:: SOT 18291 SOS 10341 HAS SOPS 10341 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9122.341
AT ITER 260 NEW BEST:: SOT 18258 SOS 10272 HAS SOPS 10272 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9092.272
AT ITER 263 NEW BEST:: SOT 18201 SOS 10198 HAS SOPS 10198 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9086.198
AT ITER 265 NEW BEST:: SOT 18199 SOS 10196 HAS SOPS 10196 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9084.196
AT ITER 266 NEW BEST:: SOT 18196 SOS 10193 HAS SOPS 10193 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9081.193
AT ITER 272 NEW BEST:: SOT 18184 SOS 10177 HAS SOPS 10177 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9065.177
AT ITER 273 NEW BEST:: SOT 18182 SOS 10155 HAS SOPS 10155 HAS SOUS 9027 HAS SOUPS 9027 WITH SCORE 9037.155
AT ITER 282 NEW BEST:: SOT 18173 SOS 10137 HAS SOPS 10137 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9010.137
AT ITER 288 NEW BEST:: SOT 18174 SOS 10129 HAS SOPS 10129 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9010.129
AT ITER 294 NEW BEST:: SOT 18144 SOS 10054 HAS SOPS 10054 HAS SOUS 8938 HAS SOUPS 8938 WITH SCORE 8948.054
AT ITER 296 NEW BEST:: SOT 18096 SOS 9916 HAS SOPS 9916 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8771.916
AT ITER 298 NEW BEST:: SOT 17984 SOS 9792 HAS SOPS 9792 HAS SOUS 8590 HAS SOUPS 8590 WITH SCORE 8599.792
AT ITER 300 NEW BEST:: SOT 17881 SOS 9638 HAS SOPS 9638 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8348.638
AT ITER 304 NEW BEST:: SOT 17856 SOS 9601 HAS SOPS 9601 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8322.601
AT ITER 310 NEW BEST:: SOT 17688 SOS 9428 HAS SOPS 9428 HAS SOUS 8128 HAS SOUPS 8128 WITH SCORE 8137.428
AT ITER 311 NEW BEST:: SOT 17686 SOS 9424 HAS SOPS 9424 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8133.424
AT ITER 313 NEW BEST:: SOT 17677 SOS 9397 HAS SOPS 9397 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8109.397
AT ITER 320 NEW BEST:: SOT 17673 SOS 9391 HAS SOPS 9391 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8097.391
AT ITER 323 NEW BEST:: SOT 17657 SOS 9343 HAS SOPS 9343 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8089.343
AT ITER 325 NEW BEST:: SOT 17550 SOS 9160 HAS SOPS 9160 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7944.16
AT ITER 326 NEW BEST:: SOT 17512 SOS 9103 HAS SOPS 9103 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7903.103
AT ITER 336 NEW BEST:: SOT 17512 SOS 9103 HAS SOPS 9103 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7894.103
AT ITER 340 NEW BEST:: SOT 17464 SOS 9036 HAS SOPS 9036 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7827.036
AT ITER 349 NEW BEST:: SOT 17365 SOS 8806 HAS SOPS 8806 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.806
AT ITER 351 NEW BEST:: SOT 17362 SOS 8740 HAS SOPS 8740 HAS SOUS 7532 HAS SOUPS 7532 WITH SCORE 7540.74
AT ITER 358 NEW BEST:: SOT 17348 SOS 8712 HAS SOPS 8712 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7512.712
AT ITER 361 NEW BEST:: SOT 17348 SOS 8701 HAS SOPS 8701 HAS SOUS 7482 HAS SOUPS 7482 WITH SCORE 7490.701
AT ITER 366 NEW BEST:: SOT 17336 SOS 8659 HAS SOPS 8659 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7469.659
AT ITER 367 NEW BEST:: SOT 17316 SOS 8619 HAS SOPS 8619 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.619
AT ITER 374 NEW BEST:: SOT 17330 SOS 8618 HAS SOPS 8618 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7428.618
AT ITER 376 NEW BEST:: SOT 17309 SOS 8597 HAS SOPS 8597 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7403.597
AT ITER 381 NEW BEST:: SOT 17309 SOS 8597 HAS SOPS 8597 HAS SOUS 7390 HAS SOUPS 7390 WITH SCORE 7398.597
AT ITER 385 NEW BEST:: SOT 17294 SOS 8566 HAS SOPS 8566 HAS SOUS 7343 HAS SOUPS 7343 WITH SCORE 7351.566
AT ITER 392 NEW BEST:: SOT 17294 SOS 8548 HAS SOPS 8548 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7338.548
AT ITER 394 NEW BEST:: SOT 17292 SOS 8546 HAS SOPS 8546 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7336.546
AT ITER 395 NEW BEST:: SOT 17289 SOS 8543 HAS SOPS 8543 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7333.543
AT ITER 396 NEW BEST:: SOT 17266 SOS 8480 HAS SOPS 8480 HAS SOUS 7324 HAS SOUPS 7324 WITH SCORE 7332.48
AT ITER 405 NEW BEST:: SOT 17246 SOS 8431 HAS SOPS 8431 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7293.431
AT ITER 408 NEW BEST:: SOT 17202 SOS 8362 HAS SOPS 8362 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7224.362
AT ITER 414 NEW BEST:: SOT 17197 SOS 8355 HAS SOPS 8355 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7219.355
AT ITER 418 NEW BEST:: SOT 17185 SOS 8343 HAS SOPS 8343 HAS SOUS 7199 HAS SOUPS 7199 WITH SCORE 7207.343
AT ITER 426 NEW BEST:: SOT 17167 SOS 8319 HAS SOPS 8319 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7182.319
AT ITER 434 NEW BEST:: SOT 17167 SOS 8309 HAS SOPS 8309 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7182.309
AT ITER 454 NEW BEST:: SOT 17167 SOS 8246 HAS SOPS 8246 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.246
AT ITER 457 NEW BEST:: SOT 17167 SOS 8273 HAS SOPS 8273 HAS SOUS 7130 HAS SOUPS 7130 WITH SCORE 7138.273
AT ITER 463 NEW BEST:: SOT 17152 SOS 8253 HAS SOPS 8253 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7118.253
AT ITER 486 NEW BEST:: SOT 17135 SOS 8230 HAS SOPS 8230 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7086.23
AT ITER 494 NEW BEST:: SOT 17135 SOS 8230 HAS SOPS 8230 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7078.23
AT ITER 495 NEW BEST:: SOT 17129 SOS 8170 HAS SOPS 8170 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7048.17
AT ITER 499 NEW BEST:: SOT 17078 SOS 8099 HAS SOPS 8099 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6959.099
AT ITER 508 NEW BEST:: SOT 17068 SOS 8074 HAS SOPS 8074 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6947.074
AT ITER 511 NEW BEST:: SOT 17057 SOS 8044 HAS SOPS 8044 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6920.044
AT ITER 512 NEW BEST:: SOT 17057 SOS 8038 HAS SOPS 8038 HAS SOUS 6912 HAS SOUPS 6912 WITH SCORE 6920.038
AT ITER 517 NEW BEST:: SOT 17039 SOS 8017 HAS SOPS 8017 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6902.017
AT ITER 528 NEW BEST:: SOT 17029 SOS 8007 HAS SOPS 8007 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6892.007
AT ITER 536 NEW BEST:: SOT 17000 SOS 7975 HAS SOPS 7975 HAS SOUS 6839 HAS SOUPS 6839 WITH SCORE 6846.975
AT ITER 537 NEW BEST:: SOT 17007 SOS 7974 HAS SOPS 7974 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6845.974
AT ITER 539 NEW BEST:: SOT 16987 SOS 7934 HAS SOPS 7934 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6821.934
AT ITER 554 NEW BEST:: SOT 16984 SOS 7919 HAS SOPS 7919 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6818.919
AT ITER 555 NEW BEST:: SOT 16948 SOS 7867 HAS SOPS 7867 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6766.867
AT ITER 560 NEW BEST:: SOT 16931 SOS 7811 HAS SOPS 7811 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6715.811
AT ITER 563 NEW BEST:: SOT 16859 SOS 7763 HAS SOPS 7763 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6603.763
AT ITER 566 NEW BEST:: SOT 16849 SOS 7660 HAS SOPS 7660 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6555.66
AT ITER 568 NEW BEST:: SOT 16791 SOS 7515 HAS SOPS 7515 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6439.515
AT ITER 573 NEW BEST:: SOT 16722 SOS 7402 HAS SOPS 7402 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6368.402
AT ITER 575 NEW BEST:: SOT 16708 SOS 7348 HAS SOPS 7348 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6326.348
AT ITER 576 NEW BEST:: SOT 16710 SOS 7342 HAS SOPS 7342 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6320.342
AT ITER 593 NEW BEST:: SOT 16702 SOS 7310 HAS SOPS 7310 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6296.31
AT ITER 595 NEW BEST:: SOT 16685 SOS 7272 HAS SOPS 7272 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6275.272
AT ITER 599 NEW BEST:: SOT 16681 SOS 7268 HAS SOPS 7268 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6271.268
AT ITER 605 NEW BEST:: SOT 16670 SOS 7246 HAS SOPS 7246 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6249.246
AT ITER 607 NEW BEST:: SOT 16650 SOS 7208 HAS SOPS 7208 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6214.208
AT ITER 608 NEW BEST:: SOT 16639 SOS 7187 HAS SOPS 7187 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.187
AT ITER 610 NEW BEST:: SOT 16639 SOS 7167 HAS SOPS 7167 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6180.167
AT ITER 613 NEW BEST:: SOT 16624 SOS 7126 HAS SOPS 7126 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6141.126
AT ITER 630 NEW BEST:: SOT 16620 SOS 7122 HAS SOPS 7122 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6137.122
AT ITER 640 NEW BEST:: SOT 16600 SOS 7053 HAS SOPS 7053 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.053
AT ITER 650 NEW BEST:: SOT 16567 SOS 6998 HAS SOPS 6998 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6009.998
AT ITER 654 NEW BEST:: SOT 16547 SOS 6953 HAS SOPS 6953 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5964.953
AT ITER 656 NEW BEST:: SOT 16543 SOS 6937 HAS SOPS 6937 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5948.937
AT ITER 659 NEW BEST:: SOT 16539 SOS 6928 HAS SOPS 6928 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5935.928
AT ITER 725 NEW BEST:: SOT 16539 SOS 6928 HAS SOPS 6928 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5929.928
AT ITER 744 NEW BEST:: SOT 16533 SOS 6914 HAS SOPS 6914 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5917.914
AT ITER 745 NEW BEST:: SOT 16507 SOS 6862 HAS SOPS 6862 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5886.862
AT ITER 773 NEW BEST:: SOT 16469 SOS 6822 HAS SOPS 6822 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5845.822
AT ITER 777 NEW BEST:: SOT 16456 SOS 6829 HAS SOPS 6829 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5844.829
AT ITER 781 NEW BEST:: SOT 16456 SOS 6817 HAS SOPS 6817 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5844.817
AT ITER 793 NEW BEST:: SOT 16446 SOS 6808 HAS SOPS 6808 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5841.808
AT ITER 797 NEW BEST:: SOT 16443 SOS 6799 HAS SOPS 6799 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5832.799
AT ITER 801 NEW BEST:: SOT 16437 SOS 6793 HAS SOPS 6793 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5826.793
AT ITER 805 NEW BEST:: SOT 16430 SOS 6814 HAS SOPS 6814 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.814
AT ITER 809 NEW BEST:: SOT 16430 SOS 6779 HAS SOPS 6779 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5782.779
AT ITER 829 NEW BEST:: SOT 16376 SOS 6701 HAS SOPS 6701 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5704.701
AT ITER 876 NEW BEST:: SOT 16373 SOS 6686 HAS SOPS 6686 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5698.686
AT ITER 885 NEW BEST:: SOT 16355 SOS 6662 HAS SOPS 6662 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5674.662
AT ITER 904 NEW BEST:: SOT 16317 SOS 6624 HAS SOPS 6624 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.624
AT ITER 905 NEW BEST:: SOT 16312 SOS 6616 HAS SOPS 6616 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.616
AT ITER 910 NEW BEST:: SOT 16312 SOS 6616 HAS SOPS 6616 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.616
AT ITER 923 NEW BEST:: SOT 16301 SOS 6605 HAS SOPS 6605 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.605
AT ITER 924 NEW BEST:: SOT 16279 SOS 6570 HAS SOPS 6570 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.57
AT ITER 931 NEW BEST:: SOT 16278 SOS 6569 HAS SOPS 6569 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.569
AT ITER 937 NEW BEST:: SOT 16243 SOS 6499 HAS SOPS 6499 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.499
AT ITER 955 NEW BEST:: SOT 16209 SOS 6466 HAS SOPS 6466 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.466
AT ITER 984 NEW BEST:: SOT 16199 SOS 6453 HAS SOPS 6453 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.453
AT ITER 989 NEW BEST:: SOT 16172 SOS 6415 HAS SOPS 6415 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5450.415
AT ITER 999 NEW BEST:: SOT 16164 SOS 6389 HAS SOPS 6389 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.389
AT ITER 1004 NEW BEST:: SOT 16164 SOS 6368 HAS SOPS 6368 HAS SOUS 5422 HAS SOUPS 5422 WITH SCORE 5428.368
AT ITER 1006 NEW BEST:: SOT 16151 SOS 6360 HAS SOPS 6360 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5390.36
AT ITER 1007 NEW BEST:: SOT 16151 SOS 6361 HAS SOPS 6361 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5389.361
AT ITER 1008 NEW BEST:: SOT 16147 SOS 6346 HAS SOPS 6346 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5381.346
AT ITER 1015 NEW BEST:: SOT 16148 SOS 6342 HAS SOPS 6342 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.342
AT ITER 1052 NEW BEST:: SOT 16148 SOS 6314 HAS SOPS 6314 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.314
AT ITER 1060 NEW BEST:: SOT 16150 SOS 6309 HAS SOPS 6309 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.309
AT ITER 1076 NEW BEST:: SOT 16146 SOS 6297 HAS SOPS 6297 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5331.297
AT ITER 1088 NEW BEST:: SOT 16122 SOS 6241 HAS SOPS 6241 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5307.241
AT ITER 1100 NEW BEST:: SOT 16098 SOS 6217 HAS SOPS 6217 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.217
AT ITER 1116 NEW BEST:: SOT 16098 SOS 6214 HAS SOPS 6214 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.214
AT ITER 1135 NEW BEST:: SOT 16118 SOS 6178 HAS SOPS 6178 HAS SOUS 5238 HAS SOUPS 5238 WITH SCORE 5244.178
AT ITER 1154 NEW BEST:: SOT 16116 SOS 6168 HAS SOPS 6168 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5238.168
AT ITER 1157 NEW BEST:: SOT 16103 SOS 6144 HAS SOPS 6144 HAS SOUS 5208 HAS SOUPS 5208 WITH SCORE 5214.144
AT ITER 1160 NEW BEST:: SOT 16082 SOS 6132 HAS SOPS 6132 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5189.132
AT ITER 1181 NEW BEST:: SOT 16061 SOS 6094 HAS SOPS 6094 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.094
AT ITER 1194 NEW BEST:: SOT 16058 SOS 6082 HAS SOPS 6082 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5142.082
AT ITER 1207 NEW BEST:: SOT 16060 SOS 6079 HAS SOPS 6079 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5141.079
AT ITER 1208 NEW BEST:: SOT 16060 SOS 6065 HAS SOPS 6065 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5135.065
AT ITER 1214 NEW BEST:: SOT 16048 SOS 6049 HAS SOPS 6049 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5118.049
AT ITER 1230 NEW BEST:: SOT 16018 SOS 6002 HAS SOPS 6002 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5073.002
AT ITER 1246 NEW BEST:: SOT 16018 SOS 6000 HAS SOPS 6000 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5073.0
AT ITER 1275 NEW BEST:: SOT 16018 SOS 5970 HAS SOPS 5970 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5062.97
AT ITER 1279 NEW BEST:: SOT 16006 SOS 5950 HAS SOPS 5950 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5046.95
AT ITER 1291 NEW BEST:: SOT 15997 SOS 5941 HAS SOPS 5941 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.941
AT ITER 1299 NEW BEST:: SOT 16000 SOS 5914 HAS SOPS 5914 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5020.914
AT ITER 1312 NEW BEST:: SOT 16000 SOS 5907 HAS SOPS 5907 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5014.907
AT ITER 1326 NEW BEST:: SOT 15998 SOS 5905 HAS SOPS 5905 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5010.905
AT ITER 1340 NEW BEST:: SOT 15989 SOS 5896 HAS SOPS 5896 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4992.896
AT ITER 1344 NEW BEST:: SOT 15986 SOS 5891 HAS SOPS 5891 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.891
AT ITER 1358 NEW BEST:: SOT 15961 SOS 5837 HAS SOPS 5837 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.837
AT ITER 1380 NEW BEST:: SOT 15933 SOS 5793 HAS SOPS 5793 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4931.793
AT ITER 1386 NEW BEST:: SOT 15914 SOS 5775 HAS SOPS 5775 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.775
AT ITER 1411 NEW BEST:: SOT 15914 SOS 5752 HAS SOPS 5752 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4878.752
AT ITER 1423 NEW BEST:: SOT 15916 SOS 5755 HAS SOPS 5755 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4876.755
AT ITER 1446 NEW BEST:: SOT 15904 SOS 5731 HAS SOPS 5731 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4858.731
AT ITER 1453 NEW BEST:: SOT 15904 SOS 5732 HAS SOPS 5732 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4857.732
AT ITER 1458 NEW BEST:: SOT 15899 SOS 5722 HAS SOPS 5722 HAS SOUS 4841 HAS SOUPS 4841 WITH SCORE 4846.722
AT ITER 1534 NEW BEST:: SOT 15890 SOS 5716 HAS SOPS 5716 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.716
AT ITER 1538 NEW BEST:: SOT 15890 SOS 5723 HAS SOPS 5723 HAS SOUS 4830 HAS SOUPS 4830 WITH SCORE 4835.723
AT ITER 1545 NEW BEST:: SOT 15890 SOS 5723 HAS SOPS 5723 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4801.723
AT ITER 1549 NEW BEST:: SOT 15878 SOS 5711 HAS SOPS 5711 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4789.711
AT ITER 1553 NEW BEST:: SOT 15877 SOS 5710 HAS SOPS 5710 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4787.71
AT ITER 1555 NEW BEST:: SOT 15877 SOS 5706 HAS SOPS 5706 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4783.706
AT ITER 1557 NEW BEST:: SOT 15876 SOS 5695 HAS SOPS 5695 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4780.695
AT ITER 1579 NEW BEST:: SOT 15866 SOS 5686 HAS SOPS 5686 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4776.686
AT ITER 1582 NEW BEST:: SOT 15866 SOS 5679 HAS SOPS 5679 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4776.679
AT ITER 1593 NEW BEST:: SOT 15864 SOS 5674 HAS SOPS 5674 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.674
AT ITER 1628 NEW BEST:: SOT 15864 SOS 5669 HAS SOPS 5669 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.669
AT ITER 1629 NEW BEST:: SOT 15858 SOS 5659 HAS SOPS 5659 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4765.659
AT ITER 1653 NEW BEST:: SOT 15855 SOS 5650 HAS SOPS 5650 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4759.65
AT ITER 1661 NEW BEST:: SOT 15847 SOS 5644 HAS SOPS 5644 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.644
AT ITER 1665 NEW BEST:: SOT 15833 SOS 5644 HAS SOPS 5644 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.644
AT ITER 1693 NEW BEST:: SOT 15833 SOS 5639 HAS SOPS 5639 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.639
AT ITER 1694 NEW BEST:: SOT 15829 SOS 5635 HAS SOPS 5635 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4743.635
AT ITER 1717 NEW BEST:: SOT 15828 SOS 5630 HAS SOPS 5630 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4736.63
AT ITER 1728 NEW BEST:: SOT 15817 SOS 5619 HAS SOPS 5619 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4725.619
AT ITER 1730 NEW BEST:: SOT 15815 SOS 5617 HAS SOPS 5617 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.617
AT ITER 1746 NEW BEST:: SOT 15815 SOS 5604 HAS SOPS 5604 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4702.604
AT ITER 1747 NEW BEST:: SOT 15813 SOS 5598 HAS SOPS 5598 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4700.598
AT ITER 1771 NEW BEST:: SOT 15810 SOS 5589 HAS SOPS 5589 HAS SOUS 4686 HAS SOUPS 4686 WITH SCORE 4691.589
AT ITER 1788 NEW BEST:: SOT 15798 SOS 5577 HAS SOPS 5577 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.577
AT ITER 1794 NEW BEST:: SOT 15794 SOS 5555 HAS SOPS 5555 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4658.555
AT ITER 1816 NEW BEST:: SOT 15790 SOS 5531 HAS SOPS 5531 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.531
AT ITER 1846 NEW BEST:: SOT 15788 SOS 5527 HAS SOPS 5527 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4647.527
AT ITER 1882 NEW BEST:: SOT 15788 SOS 5525 HAS SOPS 5525 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.525
AT ITER 1906 NEW BEST:: SOT 15787 SOS 5528 HAS SOPS 5528 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4642.528
AT ITER 1914 NEW BEST:: SOT 15775 SOS 5516 HAS SOPS 5516 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4629.516
AT ITER 1916 NEW BEST:: SOT 15769 SOS 5506 HAS SOPS 5506 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.506
AT ITER 1927 NEW BEST:: SOT 15769 SOS 5497 HAS SOPS 5497 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.497
AT ITER 1945 NEW BEST:: SOT 15764 SOS 5490 HAS SOPS 5490 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.49
AT ITER 1949 NEW BEST:: SOT 15763 SOS 5483 HAS SOPS 5483 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4594.483
AT ITER 1957 NEW BEST:: SOT 15763 SOS 5483 HAS SOPS 5483 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.483
AT ITER 1981 NEW BEST:: SOT 15763 SOS 5462 HAS SOPS 5462 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4583.462
AT ITER 1999 NEW BEST:: SOT 15763 SOS 5457 HAS SOPS 5457 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.457
AT ITER 2056 NEW BEST:: SOT 15760 SOS 5453 HAS SOPS 5453 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4574.453
AT ITER 2058 NEW BEST:: SOT 15749 SOS 5443 HAS SOPS 5443 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4558.443
AT ITER 2070 NEW BEST:: SOT 15749 SOS 5434 HAS SOPS 5434 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.434
AT ITER 2072 NEW BEST:: SOT 15743 SOS 5422 HAS SOPS 5422 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4534.422
AT ITER 2095 NEW BEST:: SOT 15741 SOS 5418 HAS SOPS 5418 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4531.418
AT ITER 2099 NEW BEST:: SOT 15743 SOS 5415 HAS SOPS 5415 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4525.415
AT ITER 2120 NEW BEST:: SOT 15733 SOS 5405 HAS SOPS 5405 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4503.405
AT ITER 2144 NEW BEST:: SOT 15732 SOS 5400 HAS SOPS 5400 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.4
AT ITER 2177 NEW BEST:: SOT 15727 SOS 5395 HAS SOPS 5395 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4487.395
AT ITER 2181 NEW BEST:: SOT 15699 SOS 5362 HAS SOPS 5362 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4444.362
AT ITER 2187 NEW BEST:: SOT 15700 SOS 5344 HAS SOPS 5344 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4437.344
AT ITER 2216 NEW BEST:: SOT 15699 SOS 5341 HAS SOPS 5341 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.341
AT ITER 2228 NEW BEST:: SOT 15691 SOS 5309 HAS SOPS 5309 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4415.309
AT ITER 2233 NEW BEST:: SOT 15676 SOS 5280 HAS SOPS 5280 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4400.28
AT ITER 2242 NEW BEST:: SOT 15667 SOS 5259 HAS SOPS 5259 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4385.259
AT ITER 2272 NEW BEST:: SOT 15618 SOS 5175 HAS SOPS 5175 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4309.175
AT ITER 2288 NEW BEST:: SOT 15658 SOS 5203 HAS SOPS 5203 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4303.203
AT ITER 2299 NEW BEST:: SOT 15658 SOS 5201 HAS SOPS 5201 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4303.201
AT ITER 2306 NEW BEST:: SOT 15654 SOS 5195 HAS SOPS 5195 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4295.195
AT ITER 2375 NEW BEST:: SOT 15654 SOS 5175 HAS SOPS 5175 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4285.175
AT ITER 2377 NEW BEST:: SOT 15652 SOS 5173 HAS SOPS 5173 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4283.173
AT ITER 2405 NEW BEST:: SOT 15652 SOS 5163 HAS SOPS 5163 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4278.163
AT ITER 2414 NEW BEST:: SOT 15649 SOS 5151 HAS SOPS 5151 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4269.151
AT ITER 2415 NEW BEST:: SOT 15646 SOS 5149 HAS SOPS 5149 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4263.149
AT ITER 2432 NEW BEST:: SOT 15628 SOS 5122 HAS SOPS 5122 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4253.122
AT ITER 2446 NEW BEST:: SOT 15628 SOS 5120 HAS SOPS 5120 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4253.12
AT ITER 2498 NEW BEST:: SOT 15620 SOS 5104 HAS SOPS 5104 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4244.104
AT ITER 2509 NEW BEST:: SOT 15619 SOS 5094 HAS SOPS 5094 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4236.094
AT ITER 2512 NEW BEST:: SOT 15609 SOS 5080 HAS SOPS 5080 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4215.08
AT ITER 2589 NEW BEST:: SOT 15588 SOS 5055 HAS SOPS 5055 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4187.055
AT ITER 2593 NEW BEST:: SOT 15585 SOS 5050 HAS SOPS 5050 HAS SOUS 4177 HAS SOUPS 4177 WITH SCORE 4182.05
AT ITER 2602 NEW BEST:: SOT 15564 SOS 4971 HAS SOPS 4971 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.971
AT ITER 2634 NEW BEST:: SOT 15498 SOS 4793 HAS SOPS 4793 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4044.793
AT ITER 2658 NEW BEST:: SOT 15496 SOS 4791 HAS SOPS 4791 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4042.791
AT ITER 2833 NEW BEST:: SOT 15498 SOS 4757 HAS SOPS 4757 HAS SOUS 4029 HAS SOUPS 4029 WITH SCORE 4033.757
AT ITER 2851 NEW BEST:: SOT 15496 SOS 4747 HAS SOPS 4747 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.747
AT ITER 2876 NEW BEST:: SOT 15498 SOS 4728 HAS SOPS 4728 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4014.728
AT ITER 2905 NEW BEST:: SOT 15464 SOS 4680 HAS SOPS 4680 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3959.68
AT ITER 2911 NEW BEST:: SOT 15414 SOS 4630 HAS SOPS 4630 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3934.63
AT ITER 2941 NEW BEST:: SOT 15413 SOS 4628 HAS SOPS 4628 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.628
AT ITER 2965 NEW BEST:: SOT 15413 SOS 4628 HAS SOPS 4628 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3932.628
AT ITER 3011 NEW BEST:: SOT 15407 SOS 4614 HAS SOPS 4614 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.614
AT ITER 3043 NEW BEST:: SOT 15399 SOS 4586 HAS SOPS 4586 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.586
AT ITER 3050 NEW BEST:: SOT 15396 SOS 4583 HAS SOPS 4583 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.583
AT ITER 3056 NEW BEST:: SOT 15388 SOS 4571 HAS SOPS 4571 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3891.571
AT ITER 3091 NEW BEST:: SOT 15382 SOS 4565 HAS SOPS 4565 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3885.565
AT ITER 3105 NEW BEST:: SOT 15374 SOS 4555 HAS SOPS 4555 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.555
AT ITER 3140 NEW BEST:: SOT 15374 SOS 4555 HAS SOPS 4555 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3874.555
AT ITER 3185 NEW BEST:: SOT 15372 SOS 4551 HAS SOPS 4551 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.551
AT ITER 3213 NEW BEST:: SOT 15366 SOS 4547 HAS SOPS 4547 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3866.547
AT ITER 3260 NEW BEST:: SOT 15364 SOS 4537 HAS SOPS 4537 HAS SOUS 3854 HAS SOUPS 3854 WITH SCORE 3858.537
AT ITER 3271 NEW BEST:: SOT 15360 SOS 4536 HAS SOPS 4536 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.536
AT ITER 3329 NEW BEST:: SOT 15362 SOS 4537 HAS SOPS 4537 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3848.537
AT ITER 3334 NEW BEST:: SOT 15358 SOS 4514 HAS SOPS 4514 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3848.514
AT ITER 3369 NEW BEST:: SOT 15355 SOS 4502 HAS SOPS 4502 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3842.502
AT ITER 3397 NEW BEST:: SOT 15353 SOS 4489 HAS SOPS 4489 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.489
AT ITER 3449 NEW BEST:: SOT 15350 SOS 4485 HAS SOPS 4485 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.485
AT ITER 3491 NEW BEST:: SOT 15348 SOS 4482 HAS SOPS 4482 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.482
AT ITER 3576 NEW BEST:: SOT 15343 SOS 4463 HAS SOPS 4463 HAS SOUS 3817 HAS SOUPS 3817 WITH SCORE 3821.463
AT ITER 3578 NEW BEST:: SOT 15339 SOS 4451 HAS SOPS 4451 HAS SOUS 3813 HAS SOUPS 3813 WITH SCORE 3817.451
AT ITER 3579 NEW BEST:: SOT 15330 SOS 4436 HAS SOPS 4436 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3803.436
AT ITER 3584 NEW BEST:: SOT 15318 SOS 4413 HAS SOPS 4413 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3788.413
AT ITER 3655 NEW BEST:: SOT 15307 SOS 4401 HAS SOPS 4401 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3771.401
AT ITER 3698 NEW BEST:: SOT 15304 SOS 4392 HAS SOPS 4392 HAS SOUS 3761 HAS SOUPS 3761 WITH SCORE 3765.392
AT ITER 3711 NEW BEST:: SOT 15301 SOS 4388 HAS SOPS 4388 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.388
AT ITER 3796 NEW BEST:: SOT 15300 SOS 4383 HAS SOPS 4383 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3759.383
AT ITER 3810 NEW BEST:: SOT 15298 SOS 4379 HAS SOPS 4379 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3757.379
AT ITER 3983 NEW BEST:: SOT 15297 SOS 4373 HAS SOPS 4373 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3753.373
AT ITER 3987 NEW BEST:: SOT 15291 SOS 4365 HAS SOPS 4365 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3743.365
AT ITER 4056 NEW BEST:: SOT 15290 SOS 4360 HAS SOPS 4360 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3741.36
AT ITER 4062 NEW BEST:: SOT 15291 SOS 4358 HAS SOPS 4358 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3740.358
AT ITER 4121 NEW BEST:: SOT 15282 SOS 4347 HAS SOPS 4347 HAS SOUS 3725 HAS SOUPS 3725 WITH SCORE 3729.347
AT ITER 4147 NEW BEST:: SOT 15271 SOS 4314 HAS SOPS 4314 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3720.314
AT ITER 4302 NEW BEST:: SOT 15261 SOS 4303 HAS SOPS 4303 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.303
AT ITER 4316 NEW BEST:: SOT 15260 SOS 4302 HAS SOPS 4302 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.302
AT ITER 4372 NEW BEST:: SOT 15260 SOS 4294 HAS SOPS 4294 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3700.294
AT ITER 4404 NEW BEST:: SOT 15259 SOS 4299 HAS SOPS 4299 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3688.299
AT ITER 4494 NEW BEST:: SOT 15254 SOS 4277 HAS SOPS 4277 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.277
AT ITER 4518 NEW BEST:: SOT 15259 SOS 4289 HAS SOPS 4289 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3677.289
AT ITER 4606 NEW BEST:: SOT 15250 SOS 4279 HAS SOPS 4279 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.279
AT ITER 4811 NEW BEST:: SOT 15235 SOS 4254 HAS SOPS 4254 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3651.254
AT ITER 4844 NEW BEST:: SOT 15233 SOS 4252 HAS SOPS 4252 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.252
AT ITER 4870 NEW BEST:: SOT 15233 SOS 4252 HAS SOPS 4252 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.252
AT ITER 4896 NEW BEST:: SOT 15235 SOS 4261 HAS SOPS 4261 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.261
AT ITER 4934 NEW BEST:: SOT 15232 SOS 4245 HAS SOPS 4245 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3632.245
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-020A-CTLFireability-00 ( (EF( ((potential((tk(P28)>=1) & (tk(P37)>=1) & (tk(P43)>=1)))))) | ( ((potential((tk(P84)>=1) & (tk(P93)>=1) & (tk(P99)>=1)))) | ( (EF( ( ((potential((tk(P108)>=1) & (tk(P117)>=1) & (tk(P123)>=1)))) & ((potential((tk(P124)>=1)))) ))) & (AG( (! ((potential((tk(P52)>=1) & (tk(P61)>=1) & (tk(P67)>=1))))))) ) ) )
PROPERTY: ShieldRVt-PT-020A-CTLFireability-01 ( (! ( (! ( (! ((potential((tk(P72)>=1))))) | ( ((potential((tk(P82)>=1)))) | ((potential((tk(P152)>=1)))) ) )) & (AG( ( ((potential((tk(P1)>=1)))) | ((potential((tk(P5)>=1) & (tk(P6)>=1) & (tk(P9)>=1)))) ))) )) & (EF( (EX( ( ((potential((tk(P31)>=1) & (tk(P34)>=1)))) & ((potential((tk(P148)>=1)))) ))))) )
PROPERTY: ShieldRVt-PT-020A-CTLFireability-02 (! (AG( ( ( (! ((potential((tk(P22)>=1))))) | ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P11)>=1)))) ) | (EF( ((potential((tk(P135)>=1) & (tk(P138)>=1)))))) ))))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-03 ( (EF( ( ( (! ((potential((tk(P25)>=1) & (tk(P27)>=1) & (tk(P32)>=1))))) & (! ((potential((tk(P21)>=1) & (tk(P22)>=1) & (tk(P25)>=1))))) ) & ( ((potential((tk(P14)>=1)))) & ( ((potential((tk(P159)>=1) & (tk(P162)>=1)))) & ((potential((tk(P52)>=1)))) ) ) ))) & (! ((potential((tk(P148)>=1) & (tk(P157)>=1) & (tk(P163)>=1))))) )
PROPERTY: ShieldRVt-PT-020A-CTLFireability-04 ( (AF( ((potential((tk(P92)>=1)))))) | (EU( ( ((potential((tk(P129)>=1) & (tk(P131)>=1) & (tk(P136)>=1)))) | (! ((potential((tk(P113)>=1) & (tk(P115)>=1) & (tk(P120)>=1))))) ) , (AF( ((potential((tk(P40)>=1)))))) )) )
PROPERTY: ShieldRVt-PT-020A-CTLFireability-05 (EG( (EF( (EX( ((potential((tk(P109)>=1) & (tk(P110)>=1) & (tk(P113)>=1))))))))))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-06 ( ( (AG( ( (! ((potential((tk(P117)>=1) & (tk(P118)>=1) & (tk(P121)>=1))))) | (! ((potential((tk(P78)>=1))))) ))) & (! ((potential((tk(P108)>=1) & (tk(P117)>=1) & (tk(P123)>=1))))) ) & ( (AG( ( (! ((potential((tk(P100)>=1) & (tk(P109)>=1) & (tk(P115)>=1))))) | ( ((potential((tk(P70)>=1)))) & ((potential((tk(P138)>=1)))) ) ))) | (EX( (AG( ((potential((tk(P140)>=1) & (tk(P149)>=1) & (tk(P155)>=1)))))))) ) )
PROPERTY: ShieldRVt-PT-020A-CTLFireability-07 (EF( ( ((potential((tk(P12)>=1) & (tk(P21)>=1) & (tk(P27)>=1)))) & (AU( ((potential((tk(P80)>=1)))) , ((potential((tk(P154)>=1)))) )) )))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-08 (AG( ( (! (EF( ((potential((tk(P88)>=1))))))) | ( ((potential((tk(P33)>=1) & (tk(P35)>=1) & (tk(P40)>=1)))) & (EX( ((potential((tk(P77)>=1) & (tk(P78)>=1) & (tk(P81)>=1)))))) ) )))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-09 (! (EF( ((potential((tk(P24)>=1)))))))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-10 (AG( (EF( ( ((potential((tk(P135)>=1) & (tk(P138)>=1)))) | ((potential((tk(P113)>=1) & (tk(P115)>=1) & (tk(P120)>=1)))) )))))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-11 (EX( (EF( (AG( ((potential((tk(P8)>=1))))))))))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-12 ( ((potential((tk(P102)>=1)))) | ( (EF( ( ((potential((tk(P63)>=1) & (tk(P66)>=1)))) & ( ((potential((tk(P129)>=1) & (tk(P131)>=1) & (tk(P136)>=1)))) | ((potential((tk(P100)>=1) & (tk(P109)>=1) & (tk(P115)>=1)))) ) ))) | (AU( (! ((potential((tk(P87)>=1) & (tk(P90)>=1))))) , ( ((potential((tk(P72)>=1)))) | ((potential((tk(P138)>=1)))) ) )) ) )
PROPERTY: ShieldRVt-PT-020A-CTLFireability-13 (EF( ((potential((tk(P33)>=1) & (tk(P35)>=1) & (tk(P40)>=1))))))
PROPERTY: ShieldRVt-PT-020A-CTLFireability-14 ( (! ( (EX( (! ((potential((tk(P80)>=1))))))) & (EF( ((potential((tk(P72)>=1)))))) )) & (! ((potential((tk(P77)>=1) & (tk(P78)>=1) & (tk(P81)>=1))))) )
PROPERTY: ShieldRVt-PT-020A-CTLFireability-15 (AG( (EF( ( (! ((potential((tk(P137)>=1) & (tk(P139)>=1) & (tk(P144)>=1))))) | ( ((potential((tk(P62)>=1)))) | ((potential((tk(P10)>=1)))) ) )))))
FORMULA ShieldRVt-PT-020A-CTLFireability-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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-020A"
export BK_EXAMINATION="CTLFireability"
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-020A, examination is CTLFireability"
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-159033470301020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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