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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 3.2K May 14 02:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 20:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 20:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.2K May 13 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 09:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 09:32 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 119K 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-010B-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-010B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590454125143

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 010B
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: 503 places, 503 transitions, 1186 arcs.
AT ITER 0 NEW BEST:: SOT 132401 SOS 21634 HAS SOPS 21634 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19842.634
AT ITER 5 NEW BEST:: SOT 132425 SOS 21764 HAS SOPS 21764 HAS SOUS 19812 HAS SOUPS 19812 WITH SCORE 19833.764
AT ITER 23 NEW BEST:: SOT 132425 SOS 21739 HAS SOPS 21739 HAS SOUS 19812 HAS SOUPS 19812 WITH SCORE 19833.739
AT ITER 29 NEW BEST:: SOT 132484 SOS 21797 HAS SOPS 21797 HAS SOUS 19811 HAS SOUPS 19811 WITH SCORE 19832.797
AT ITER 46 NEW BEST:: SOT 132484 SOS 21782 HAS SOPS 21782 HAS SOUS 19742 HAS SOUPS 19742 WITH SCORE 19763.782
AT ITER 91 NEW BEST:: SOT 132448 SOS 21710 HAS SOPS 21710 HAS SOUS 19706 HAS SOUPS 19706 WITH SCORE 19727.71
AT ITER 101 NEW BEST:: SOT 132448 SOS 21707 HAS SOPS 21707 HAS SOUS 19703 HAS SOUPS 19703 WITH SCORE 19724.707
AT ITER 123 NEW BEST:: SOT 132448 SOS 21706 HAS SOPS 21706 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19723.706
AT ITER 134 NEW BEST:: SOT 132448 SOS 21671 HAS SOPS 21671 HAS SOUS 19667 HAS SOUPS 19667 WITH SCORE 19688.671
AT ITER 171 NEW BEST:: SOT 132450 SOS 21671 HAS SOPS 21671 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19683.671
AT ITER 225 NEW BEST:: SOT 132437 SOS 21645 HAS SOPS 21645 HAS SOUS 19636 HAS SOUPS 19636 WITH SCORE 19657.645
AT ITER 230 NEW BEST:: SOT 132437 SOS 21644 HAS SOPS 21644 HAS SOUS 19635 HAS SOUPS 19635 WITH SCORE 19656.644
AT ITER 254 NEW BEST:: SOT 132411 SOS 21645 HAS SOPS 21645 HAS SOUS 19609 HAS SOUPS 19609 WITH SCORE 19630.645
AT ITER 274 NEW BEST:: SOT 132389 SOS 21601 HAS SOPS 21601 HAS SOUS 19565 HAS SOUPS 19565 WITH SCORE 19586.601
AT ITER 280 NEW BEST:: SOT 132389 SOS 21601 HAS SOPS 21601 HAS SOUS 19562 HAS SOUPS 19562 WITH SCORE 19583.601
AT ITER 289 NEW BEST:: SOT 132363 SOS 21545 HAS SOPS 21545 HAS SOUS 19506 HAS SOUPS 19506 WITH SCORE 19527.545
AT ITER 300 NEW BEST:: SOT 132322 SOS 21550 HAS SOPS 21550 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19514.55
AT ITER 304 NEW BEST:: SOT 132352 SOS 21610 HAS SOPS 21610 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19498.61
AT ITER 322 NEW BEST:: SOT 132298 SOS 21578 HAS SOPS 21578 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19466.578
AT ITER 332 NEW BEST:: SOT 132298 SOS 21541 HAS SOPS 21541 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19429.541
AT ITER 375 NEW BEST:: SOT 132292 SOS 21535 HAS SOPS 21535 HAS SOUS 19402 HAS SOUPS 19402 WITH SCORE 19423.535
AT ITER 378 NEW BEST:: SOT 132292 SOS 21488 HAS SOPS 21488 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19393.488
AT ITER 394 NEW BEST:: SOT 132307 SOS 21424 HAS SOPS 21424 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19361.424
AT ITER 417 NEW BEST:: SOT 132346 SOS 21502 HAS SOPS 21502 HAS SOUS 19323 HAS SOUPS 19323 WITH SCORE 19344.502
AT ITER 446 NEW BEST:: SOT 132331 SOS 21462 HAS SOPS 21462 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19292.462
AT ITER 462 NEW BEST:: SOT 132331 SOS 21455 HAS SOPS 21455 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19282.455
AT ITER 513 NEW BEST:: SOT 132330 SOS 21437 HAS SOPS 21437 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19280.437
AT ITER 514 NEW BEST:: SOT 132317 SOS 21385 HAS SOPS 21385 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19241.385
AT ITER 520 NEW BEST:: SOT 132331 SOS 21398 HAS SOPS 21398 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19240.398
AT ITER 581 NEW BEST:: SOT 132338 SOS 21378 HAS SOPS 21378 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19233.378
AT ITER 593 NEW BEST:: SOT 132338 SOS 21315 HAS SOPS 21315 HAS SOUS 19191 HAS SOUPS 19191 WITH SCORE 19212.315
AT ITER 618 NEW BEST:: SOT 132309 SOS 21257 HAS SOPS 21257 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19154.257
AT ITER 650 NEW BEST:: SOT 132272 SOS 21183 HAS SOPS 21183 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19080.183
AT ITER 660 NEW BEST:: SOT 132272 SOS 21183 HAS SOPS 21183 HAS SOUS 19058 HAS SOUPS 19058 WITH SCORE 19079.183
AT ITER 684 NEW BEST:: SOT 132308 SOS 21205 HAS SOPS 21205 HAS SOUS 19044 HAS SOUPS 19044 WITH SCORE 19065.205
AT ITER 692 NEW BEST:: SOT 132319 SOS 21227 HAS SOPS 21227 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19049.227
AT ITER 693 NEW BEST:: SOT 132306 SOS 21167 HAS SOPS 21167 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19002.167
AT ITER 721 NEW BEST:: SOT 132289 SOS 21080 HAS SOPS 21080 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18915.08
AT ITER 742 NEW BEST:: SOT 132291 SOS 21084 HAS SOPS 21084 HAS SOUS 18889 HAS SOUPS 18889 WITH SCORE 18910.084
AT ITER 757 NEW BEST:: SOT 132312 SOS 21066 HAS SOPS 21066 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18892.066
AT ITER 764 NEW BEST:: SOT 132282 SOS 20963 HAS SOPS 20963 HAS SOUS 18846 HAS SOUPS 18846 WITH SCORE 18866.963
AT ITER 770 NEW BEST:: SOT 132282 SOS 20896 HAS SOPS 20896 HAS SOUS 18816 HAS SOUPS 18816 WITH SCORE 18836.896
AT ITER 796 NEW BEST:: SOT 132258 SOS 20890 HAS SOPS 20890 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18776.89
AT ITER 798 NEW BEST:: SOT 132289 SOS 20884 HAS SOPS 20884 HAS SOUS 18750 HAS SOUPS 18750 WITH SCORE 18770.884
AT ITER 802 NEW BEST:: SOT 132299 SOS 20904 HAS SOPS 20904 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18762.904
AT ITER 833 NEW BEST:: SOT 132299 SOS 20904 HAS SOPS 20904 HAS SOUS 18741 HAS SOUPS 18741 WITH SCORE 18761.904
AT ITER 851 NEW BEST:: SOT 132274 SOS 20933 HAS SOPS 20933 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18733.933
AT ITER 889 NEW BEST:: SOT 132291 SOS 20963 HAS SOPS 20963 HAS SOUS 18702 HAS SOUPS 18702 WITH SCORE 18722.963
AT ITER 899 NEW BEST:: SOT 132291 SOS 20962 HAS SOPS 20962 HAS SOUS 18701 HAS SOUPS 18701 WITH SCORE 18721.962
AT ITER 919 NEW BEST:: SOT 132291 SOS 20954 HAS SOPS 20954 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18718.954
AT ITER 942 NEW BEST:: SOT 132291 SOS 20954 HAS SOPS 20954 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18691.954
AT ITER 956 NEW BEST:: SOT 132291 SOS 20949 HAS SOPS 20949 HAS SOUS 18661 HAS SOUPS 18661 WITH SCORE 18681.949
AT ITER 995 NEW BEST:: SOT 132291 SOS 20947 HAS SOPS 20947 HAS SOUS 18659 HAS SOUPS 18659 WITH SCORE 18679.947
AT ITER 1000 NEW BEST:: SOT 132283 SOS 20931 HAS SOPS 20931 HAS SOUS 18637 HAS SOUPS 18637 WITH SCORE 18657.931
AT ITER 1001 NEW BEST:: SOT 132283 SOS 20930 HAS SOPS 20930 HAS SOUS 18636 HAS SOUPS 18636 WITH SCORE 18656.93
AT ITER 1018 NEW BEST:: SOT 132256 SOS 20840 HAS SOPS 20840 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18546.84
AT ITER 1048 NEW BEST:: SOT 132276 SOS 20895 HAS SOPS 20895 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18518.895
AT ITER 1077 NEW BEST:: SOT 132276 SOS 20941 HAS SOPS 20941 HAS SOUS 18497 HAS SOUPS 18497 WITH SCORE 18517.941
AT ITER 1089 NEW BEST:: SOT 132257 SOS 20868 HAS SOPS 20868 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18466.868
AT ITER 1095 NEW BEST:: SOT 132262 SOS 20878 HAS SOPS 20878 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18431.878
AT ITER 1102 NEW BEST:: SOT 132262 SOS 20859 HAS SOPS 20859 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18431.859
AT ITER 1103 NEW BEST:: SOT 132272 SOS 20879 HAS SOPS 20879 HAS SOUS 18403 HAS SOUPS 18403 WITH SCORE 18423.879
AT ITER 1110 NEW BEST:: SOT 132275 SOS 20850 HAS SOPS 20850 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18394.85
AT ITER 1165 NEW BEST:: SOT 132283 SOS 20845 HAS SOPS 20845 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18389.845
AT ITER 1181 NEW BEST:: SOT 132294 SOS 20863 HAS SOPS 20863 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18375.863
AT ITER 1183 NEW BEST:: SOT 132294 SOS 20841 HAS SOPS 20841 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18375.841
AT ITER 1203 NEW BEST:: SOT 132300 SOS 20799 HAS SOPS 20799 HAS SOUS 18340 HAS SOUPS 18340 WITH SCORE 18360.799
AT ITER 1260 NEW BEST:: SOT 132324 SOS 20755 HAS SOPS 20755 HAS SOUS 18313 HAS SOUPS 18313 WITH SCORE 18333.755
AT ITER 1266 NEW BEST:: SOT 132313 SOS 20711 HAS SOPS 20711 HAS SOUS 18303 HAS SOUPS 18303 WITH SCORE 18323.711
AT ITER 1278 NEW BEST:: SOT 132308 SOS 20706 HAS SOPS 20706 HAS SOUS 18292 HAS SOUPS 18292 WITH SCORE 18312.706
AT ITER 1311 NEW BEST:: SOT 132308 SOS 20693 HAS SOPS 20693 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18299.693
AT ITER 1314 NEW BEST:: SOT 132308 SOS 20656 HAS SOPS 20656 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18299.656
AT ITER 1397 NEW BEST:: SOT 132308 SOS 20656 HAS SOPS 20656 HAS SOUS 18249 HAS SOUPS 18249 WITH SCORE 18269.656
AT ITER 1457 NEW BEST:: SOT 132308 SOS 20651 HAS SOPS 20651 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18264.651
AT ITER 1460 NEW BEST:: SOT 132297 SOS 20591 HAS SOPS 20591 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18215.591
AT ITER 1461 NEW BEST:: SOT 132296 SOS 20529 HAS SOPS 20529 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18183.529
AT ITER 1507 NEW BEST:: SOT 132242 SOS 20419 HAS SOPS 20419 HAS SOUS 18053 HAS SOUPS 18053 WITH SCORE 18073.419
AT ITER 1513 NEW BEST:: SOT 132225 SOS 20385 HAS SOPS 20385 HAS SOUS 18036 HAS SOUPS 18036 WITH SCORE 18056.385
AT ITER 1530 NEW BEST:: SOT 132230 SOS 20300 HAS SOPS 20300 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18013.3
AT ITER 1551 NEW BEST:: SOT 132217 SOS 20274 HAS SOPS 20274 HAS SOUS 17970 HAS SOUPS 17970 WITH SCORE 17990.274
AT ITER 1554 NEW BEST:: SOT 132217 SOS 20251 HAS SOPS 20251 HAS SOUS 17924 HAS SOUPS 17924 WITH SCORE 17944.251
AT ITER 1560 NEW BEST:: SOT 132217 SOS 20183 HAS SOPS 20183 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17910.183
AT ITER 1581 NEW BEST:: SOT 132216 SOS 20181 HAS SOPS 20181 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17910.181
AT ITER 1602 NEW BEST:: SOT 132206 SOS 20141 HAS SOPS 20141 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17880.141
AT ITER 1603 NEW BEST:: SOT 132204 SOS 20133 HAS SOPS 20133 HAS SOUS 17854 HAS SOUPS 17854 WITH SCORE 17874.133
AT ITER 1605 NEW BEST:: SOT 132207 SOS 20105 HAS SOPS 20105 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17870.105
AT ITER 1646 NEW BEST:: SOT 132207 SOS 20098 HAS SOPS 20098 HAS SOUS 17843 HAS SOUPS 17843 WITH SCORE 17863.098
AT ITER 1663 NEW BEST:: SOT 132203 SOS 20094 HAS SOPS 20094 HAS SOUS 17843 HAS SOUPS 17843 WITH SCORE 17863.094
AT ITER 1668 NEW BEST:: SOT 132192 SOS 20072 HAS SOPS 20072 HAS SOUS 17812 HAS SOUPS 17812 WITH SCORE 17832.072
AT ITER 1691 NEW BEST:: SOT 132211 SOS 20075 HAS SOPS 20075 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17817.075
AT ITER 1737 NEW BEST:: SOT 132211 SOS 20065 HAS SOPS 20065 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17817.065
AT ITER 1817 NEW BEST:: SOT 132197 SOS 20048 HAS SOPS 20048 HAS SOUS 17780 HAS SOUPS 17780 WITH SCORE 17800.048
AT ITER 1824 NEW BEST:: SOT 132204 SOS 20026 HAS SOPS 20026 HAS SOUS 17772 HAS SOUPS 17772 WITH SCORE 17792.026
AT ITER 1833 NEW BEST:: SOT 132189 SOS 19981 HAS SOPS 19981 HAS SOUS 17727 HAS SOUPS 17727 WITH SCORE 17746.981
AT ITER 1843 NEW BEST:: SOT 132181 SOS 19933 HAS SOPS 19933 HAS SOUS 17703 HAS SOUPS 17703 WITH SCORE 17722.933
AT ITER 1864 NEW BEST:: SOT 132169 SOS 19908 HAS SOPS 19908 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17697.908
AT ITER 1930 NEW BEST:: SOT 132169 SOS 19868 HAS SOPS 19868 HAS SOUS 17678 HAS SOUPS 17678 WITH SCORE 17697.868
AT ITER 1961 NEW BEST:: SOT 132164 SOS 19837 HAS SOPS 19837 HAS SOUS 17647 HAS SOUPS 17647 WITH SCORE 17666.837
AT ITER 1963 NEW BEST:: SOT 132149 SOS 19792 HAS SOPS 19792 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17642.792
AT ITER 1973 NEW BEST:: SOT 132123 SOS 19727 HAS SOPS 19727 HAS SOUS 17584 HAS SOUPS 17584 WITH SCORE 17603.727
AT ITER 1988 NEW BEST:: SOT 132123 SOS 19755 HAS SOPS 19755 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17600.755
AT ITER 1993 NEW BEST:: SOT 132123 SOS 19719 HAS SOPS 19719 HAS SOUS 17564 HAS SOUPS 17564 WITH SCORE 17583.719
AT ITER 2010 NEW BEST:: SOT 132114 SOS 19675 HAS SOPS 19675 HAS SOUS 17505 HAS SOUPS 17505 WITH SCORE 17524.675
AT ITER 2031 NEW BEST:: SOT 132172 SOS 19757 HAS SOPS 19757 HAS SOUS 17479 HAS SOUPS 17479 WITH SCORE 17498.757
AT ITER 2065 NEW BEST:: SOT 132169 SOS 19751 HAS SOPS 19751 HAS SOUS 17473 HAS SOUPS 17473 WITH SCORE 17492.751
AT ITER 2076 NEW BEST:: SOT 132155 SOS 19737 HAS SOPS 19737 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17478.737
AT ITER 2085 NEW BEST:: SOT 132155 SOS 19735 HAS SOPS 19735 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17476.735
AT ITER 2088 NEW BEST:: SOT 132167 SOS 19787 HAS SOPS 19787 HAS SOUS 17454 HAS SOUPS 17454 WITH SCORE 17473.787
AT ITER 2121 NEW BEST:: SOT 132167 SOS 19766 HAS SOPS 19766 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17449.766
AT ITER 2143 NEW BEST:: SOT 132167 SOS 19734 HAS SOPS 19734 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17423.734
AT ITER 2169 NEW BEST:: SOT 132163 SOS 19726 HAS SOPS 19726 HAS SOUS 17396 HAS SOUPS 17396 WITH SCORE 17415.726
AT ITER 2206 NEW BEST:: SOT 132157 SOS 19553 HAS SOPS 19553 HAS SOUS 17293 HAS SOUPS 17293 WITH SCORE 17312.553
AT ITER 2219 NEW BEST:: SOT 132157 SOS 19553 HAS SOPS 19553 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17311.553
AT ITER 2252 NEW BEST:: SOT 132172 SOS 19538 HAS SOPS 19538 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17311.538
AT ITER 2274 NEW BEST:: SOT 132171 SOS 19536 HAS SOPS 19536 HAS SOUS 17291 HAS SOUPS 17291 WITH SCORE 17310.536
AT ITER 2306 NEW BEST:: SOT 132140 SOS 19504 HAS SOPS 19504 HAS SOUS 17259 HAS SOUPS 17259 WITH SCORE 17278.504
AT ITER 2339 NEW BEST:: SOT 132135 SOS 19497 HAS SOPS 19497 HAS SOUS 17257 HAS SOUPS 17257 WITH SCORE 17276.497
AT ITER 2356 NEW BEST:: SOT 132134 SOS 19495 HAS SOPS 19495 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17274.495
AT ITER 2440 NEW BEST:: SOT 132113 SOS 19459 HAS SOPS 19459 HAS SOUS 17240 HAS SOUPS 17240 WITH SCORE 17259.459
AT ITER 2468 NEW BEST:: SOT 132095 SOS 19450 HAS SOPS 19450 HAS SOUS 17231 HAS SOUPS 17231 WITH SCORE 17250.45
AT ITER 2521 NEW BEST:: SOT 132095 SOS 19395 HAS SOPS 19395 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17195.395
AT ITER 2569 NEW BEST:: SOT 132079 SOS 19382 HAS SOPS 19382 HAS SOUS 17152 HAS SOUPS 17152 WITH SCORE 17171.382
AT ITER 2573 NEW BEST:: SOT 132058 SOS 19348 HAS SOPS 19348 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17137.348
AT ITER 2596 NEW BEST:: SOT 132057 SOS 19346 HAS SOPS 19346 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17135.346
AT ITER 2637 NEW BEST:: SOT 132057 SOS 19346 HAS SOPS 19346 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17134.346
AT ITER 2652 NEW BEST:: SOT 132057 SOS 19331 HAS SOPS 19331 HAS SOUS 17115 HAS SOUPS 17115 WITH SCORE 17134.331
AT ITER 2725 NEW BEST:: SOT 132057 SOS 19331 HAS SOPS 19331 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17125.331
AT ITER 2739 NEW BEST:: SOT 132018 SOS 19273 HAS SOPS 19273 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17067.273
AT ITER 2740 NEW BEST:: SOT 132023 SOS 19278 HAS SOPS 19278 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17053.278
AT ITER 2783 NEW BEST:: SOT 132024 SOS 19256 HAS SOPS 19256 HAS SOUS 17023 HAS SOUPS 17023 WITH SCORE 17042.256
AT ITER 2789 NEW BEST:: SOT 131996 SOS 19144 HAS SOPS 19144 HAS SOUS 16967 HAS SOUPS 16967 WITH SCORE 16986.144
AT ITER 2844 NEW BEST:: SOT 131982 SOS 19088 HAS SOPS 19088 HAS SOUS 16939 HAS SOUPS 16939 WITH SCORE 16958.088
AT ITER 2871 NEW BEST:: SOT 131979 SOS 18932 HAS SOPS 18932 HAS SOUS 16931 HAS SOUPS 16931 WITH SCORE 16949.932
AT ITER 2885 NEW BEST:: SOT 131973 SOS 18920 HAS SOPS 18920 HAS SOUS 16921 HAS SOUPS 16921 WITH SCORE 16939.92
AT ITER 2890 NEW BEST:: SOT 131971 SOS 18828 HAS SOPS 18828 HAS SOUS 16859 HAS SOUPS 16859 WITH SCORE 16877.828
AT ITER 2891 NEW BEST:: SOT 131971 SOS 18814 HAS SOPS 18814 HAS SOUS 16859 HAS SOUPS 16859 WITH SCORE 16877.814
AT ITER 2895 NEW BEST:: SOT 131971 SOS 18787 HAS SOPS 18787 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16850.787
AT ITER 2924 NEW BEST:: SOT 131971 SOS 18774 HAS SOPS 18774 HAS SOUS 16832 HAS SOUPS 16832 WITH SCORE 16850.774
AT ITER 2925 NEW BEST:: SOT 131961 SOS 18764 HAS SOPS 18764 HAS SOUS 16822 HAS SOUPS 16822 WITH SCORE 16840.764
AT ITER 2928 NEW BEST:: SOT 131926 SOS 18743 HAS SOPS 18743 HAS SOUS 16801 HAS SOUPS 16801 WITH SCORE 16819.743
AT ITER 2940 NEW BEST:: SOT 131906 SOS 18683 HAS SOPS 18683 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16779.683
AT ITER 2950 NEW BEST:: SOT 131906 SOS 18661 HAS SOPS 18661 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16779.661
AT ITER 2957 NEW BEST:: SOT 131907 SOS 18646 HAS SOPS 18646 HAS SOUS 16743 HAS SOUPS 16743 WITH SCORE 16761.646
AT ITER 3010 NEW BEST:: SOT 131920 SOS 18733 HAS SOPS 18733 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16734.733
AT ITER 3034 NEW BEST:: SOT 131887 SOS 18689 HAS SOPS 18689 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16690.689
AT ITER 3053 NEW BEST:: SOT 131885 SOS 18685 HAS SOPS 18685 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16690.685
AT ITER 3065 NEW BEST:: SOT 131885 SOS 18629 HAS SOPS 18629 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16658.629
AT ITER 3095 NEW BEST:: SOT 131885 SOS 18620 HAS SOPS 18620 HAS SOUS 16631 HAS SOUPS 16631 WITH SCORE 16649.62
AT ITER 3101 NEW BEST:: SOT 131861 SOS 18572 HAS SOPS 18572 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16601.572
AT ITER 3105 NEW BEST:: SOT 131859 SOS 18564 HAS SOPS 18564 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16597.564
AT ITER 3166 NEW BEST:: SOT 131861 SOS 18546 HAS SOPS 18546 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16579.546
AT ITER 3190 NEW BEST:: SOT 131882 SOS 18561 HAS SOPS 18561 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16576.561
AT ITER 3222 NEW BEST:: SOT 131881 SOS 18556 HAS SOPS 18556 HAS SOUS 16556 HAS SOUPS 16556 WITH SCORE 16574.556
AT ITER 3274 NEW BEST:: SOT 131876 SOS 18556 HAS SOPS 18556 HAS SOUS 16551 HAS SOUPS 16551 WITH SCORE 16569.556
AT ITER 3276 NEW BEST:: SOT 131844 SOS 18460 HAS SOPS 18460 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16505.46
AT ITER 3291 NEW BEST:: SOT 131860 SOS 18462 HAS SOPS 18462 HAS SOUS 16486 HAS SOUPS 16486 WITH SCORE 16504.462
AT ITER 3354 NEW BEST:: SOT 131860 SOS 18448 HAS SOPS 18448 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16497.448
AT ITER 3375 NEW BEST:: SOT 131866 SOS 18442 HAS SOPS 18442 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16491.442
AT ITER 3415 NEW BEST:: SOT 131866 SOS 18421 HAS SOPS 18421 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16491.421
AT ITER 3420 NEW BEST:: SOT 131866 SOS 18412 HAS SOPS 18412 HAS SOUS 16464 HAS SOUPS 16464 WITH SCORE 16482.412
AT ITER 3488 NEW BEST:: SOT 131835 SOS 18292 HAS SOPS 18292 HAS SOUS 16344 HAS SOUPS 16344 WITH SCORE 16362.292
AT ITER 3533 NEW BEST:: SOT 131816 SOS 18251 HAS SOPS 18251 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16321.251
AT ITER 3537 NEW BEST:: SOT 131815 SOS 18230 HAS SOPS 18230 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16319.23
AT ITER 3547 NEW BEST:: SOT 131792 SOS 18135 HAS SOPS 18135 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16247.135
AT ITER 3579 NEW BEST:: SOT 131792 SOS 18124 HAS SOPS 18124 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16239.124
AT ITER 3595 NEW BEST:: SOT 131784 SOS 18107 HAS SOPS 18107 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16222.107
AT ITER 3629 NEW BEST:: SOT 131784 SOS 18069 HAS SOPS 18069 HAS SOUS 16178 HAS SOUPS 16178 WITH SCORE 16196.069
AT ITER 3663 NEW BEST:: SOT 131775 SOS 18050 HAS SOPS 18050 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16177.05
AT ITER 3677 NEW BEST:: SOT 131775 SOS 18047 HAS SOPS 18047 HAS SOUS 16159 HAS SOUPS 16159 WITH SCORE 16177.047
AT ITER 3696 NEW BEST:: SOT 131771 SOS 18031 HAS SOPS 18031 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16165.031
AT ITER 3713 NEW BEST:: SOT 131756 SOS 18001 HAS SOPS 18001 HAS SOUS 16131 HAS SOUPS 16131 WITH SCORE 16149.001
AT ITER 3723 NEW BEST:: SOT 131756 SOS 17992 HAS SOPS 17992 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16139.992
AT ITER 3746 NEW BEST:: SOT 131756 SOS 17974 HAS SOPS 17974 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16130.974
AT ITER 3747 NEW BEST:: SOT 131751 SOS 17959 HAS SOPS 17959 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16115.959
AT ITER 3792 NEW BEST:: SOT 131739 SOS 17935 HAS SOPS 17935 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16091.935
AT ITER 3825 NEW BEST:: SOT 131738 SOS 17895 HAS SOPS 17895 HAS SOUS 16072 HAS SOUPS 16072 WITH SCORE 16089.895
AT ITER 3880 NEW BEST:: SOT 131738 SOS 17892 HAS SOPS 17892 HAS SOUS 16072 HAS SOUPS 16072 WITH SCORE 16089.892
AT ITER 3882 NEW BEST:: SOT 131706 SOS 17881 HAS SOPS 17881 HAS SOUS 16040 HAS SOUPS 16040 WITH SCORE 16057.881
AT ITER 3887 NEW BEST:: SOT 131706 SOS 17859 HAS SOPS 17859 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16046.859
AT ITER 3902 NEW BEST:: SOT 131706 SOS 17853 HAS SOPS 17853 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16040.853
AT ITER 3944 NEW BEST:: SOT 131705 SOS 17852 HAS SOPS 17852 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16039.852
AT ITER 3952 NEW BEST:: SOT 131686 SOS 17814 HAS SOPS 17814 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16020.814
AT ITER 3995 NEW BEST:: SOT 131685 SOS 17812 HAS SOPS 17812 HAS SOUS 16002 HAS SOUPS 16002 WITH SCORE 16019.812
AT ITER 4002 NEW BEST:: SOT 131680 SOS 17816 HAS SOPS 17816 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 15982.816
AT ITER 4013 NEW BEST:: SOT 131685 SOS 17821 HAS SOPS 17821 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15963.821
AT ITER 4069 NEW BEST:: SOT 131625 SOS 17616 HAS SOPS 17616 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15948.616
AT ITER 4077 NEW BEST:: SOT 131625 SOS 17616 HAS SOPS 17616 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15938.616
AT ITER 4083 NEW BEST:: SOT 131614 SOS 17583 HAS SOPS 17583 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15916.583
AT ITER 4122 NEW BEST:: SOT 131614 SOS 17559 HAS SOPS 17559 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15916.559
AT ITER 4160 NEW BEST:: SOT 131603 SOS 17537 HAS SOPS 17537 HAS SOUS 15877 HAS SOUPS 15877 WITH SCORE 15894.537
AT ITER 4161 NEW BEST:: SOT 131599 SOS 17533 HAS SOPS 17533 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15890.533
AT ITER 4200 NEW BEST:: SOT 131599 SOS 17510 HAS SOPS 17510 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15868.51
AT ITER 4226 NEW BEST:: SOT 131568 SOS 17448 HAS SOPS 17448 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15824.448
AT ITER 4246 NEW BEST:: SOT 131552 SOS 17438 HAS SOPS 17438 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15814.438
AT ITER 4277 NEW BEST:: SOT 131562 SOS 17417 HAS SOPS 17417 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15814.417
AT ITER 4279 NEW BEST:: SOT 131553 SOS 17399 HAS SOPS 17399 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15796.399
AT ITER 4327 NEW BEST:: SOT 131507 SOS 17381 HAS SOPS 17381 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15775.381
AT ITER 4349 NEW BEST:: SOT 131502 SOS 17361 HAS SOPS 17361 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15765.361
AT ITER 4358 NEW BEST:: SOT 131479 SOS 17330 HAS SOPS 17330 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15734.33
AT ITER 4402 NEW BEST:: SOT 131496 SOS 17306 HAS SOPS 17306 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15720.306
AT ITER 4403 NEW BEST:: SOT 131493 SOS 17313 HAS SOPS 17313 HAS SOUS 15700 HAS SOUPS 15700 WITH SCORE 15717.313
AT ITER 4454 NEW BEST:: SOT 131493 SOS 17297 HAS SOPS 17297 HAS SOUS 15684 HAS SOUPS 15684 WITH SCORE 15701.297
AT ITER 4483 NEW BEST:: SOT 131486 SOS 17301 HAS SOPS 17301 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15694.301
AT ITER 4536 NEW BEST:: SOT 131482 SOS 17293 HAS SOPS 17293 HAS SOUS 15673 HAS SOUPS 15673 WITH SCORE 15690.293
AT ITER 4546 NEW BEST:: SOT 131496 SOS 17269 HAS SOPS 17269 HAS SOUS 15649 HAS SOUPS 15649 WITH SCORE 15666.269
AT ITER 4553 NEW BEST:: SOT 131484 SOS 17245 HAS SOPS 17245 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15651.245
AT ITER 4570 NEW BEST:: SOT 131484 SOS 17229 HAS SOPS 17229 HAS SOUS 15618 HAS SOUPS 15618 WITH SCORE 15635.229
AT ITER 4588 NEW BEST:: SOT 131484 SOS 17223 HAS SOPS 17223 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15628.223
AT ITER 4651 NEW BEST:: SOT 131478 SOS 17178 HAS SOPS 17178 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15613.178
AT ITER 4657 NEW BEST:: SOT 131470 SOS 17172 HAS SOPS 17172 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15607.172
AT ITER 4687 NEW BEST:: SOT 131492 SOS 17296 HAS SOPS 17296 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15605.296
AT ITER 4720 NEW BEST:: SOT 131522 SOS 17293 HAS SOPS 17293 HAS SOUS 15585 HAS SOUPS 15585 WITH SCORE 15602.293
AT ITER 4726 NEW BEST:: SOT 131515 SOS 17279 HAS SOPS 17279 HAS SOUS 15571 HAS SOUPS 15571 WITH SCORE 15588.279
AT ITER 4746 NEW BEST:: SOT 131512 SOS 17259 HAS SOPS 17259 HAS SOUS 15540 HAS SOUPS 15540 WITH SCORE 15557.259
AT ITER 4754 NEW BEST:: SOT 131510 SOS 17255 HAS SOPS 17255 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15553.255
AT ITER 4762 NEW BEST:: SOT 131515 SOS 17245 HAS SOPS 17245 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15553.245
AT ITER 4789 NEW BEST:: SOT 131487 SOS 17207 HAS SOPS 17207 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15515.207
AT ITER 4801 NEW BEST:: SOT 131487 SOS 17206 HAS SOPS 17206 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15515.206
AT ITER 4871 NEW BEST:: SOT 131487 SOS 17205 HAS SOPS 17205 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15513.205
AT ITER 4928 NEW BEST:: SOT 131490 SOS 17202 HAS SOPS 17202 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15513.202
AT ITER 4954 NEW BEST:: SOT 131486 SOS 17194 HAS SOPS 17194 HAS SOUS 15488 HAS SOUPS 15488 WITH SCORE 15505.194
AT ITER 4978 NEW BEST:: SOT 131486 SOS 17194 HAS SOPS 17194 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15496.194
AT ITER 4979 NEW BEST:: SOT 131461 SOS 17153 HAS SOPS 17153 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15480.153
AT ITER 4993 NEW BEST:: SOT 131502 SOS 17227 HAS SOPS 17227 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15463.227
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-010B-CTLFireability-00 ( (! ( ((potential((tk(P452)>=1)))) & (! ( (! ((potential((tk(P80)>=1))))) | ( ((potential((tk(P156)>=1)))) & ((potential((tk(P403)>=1)))) ) )) )) & (EX( ( ( (! ((potential((tk(P484)>=1))))) & (! ((potential((tk(P123)>=1))))) ) & (EF( ((potential((tk(P43)>=1)))))) ))) )
PROPERTY: ShieldRVt-PT-010B-CTLFireability-01 ( (AF( (! (EF( ((potential((tk(P421)>=1))))))))) | ((potential((tk(P348)>=1)))) )
PROPERTY: ShieldRVt-PT-010B-CTLFireability-02 (EF( (EU( ( ((potential((tk(P205)>=1)))) | ((potential((tk(P171)>=1)))) ) , ( ((potential((tk(P170)>=1)))) & ((potential((tk(P376)>=1) & (tk(P370)>=1) & (tk(P392)>=1)))) ) ))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-03 (AF( ( ( (AG( ((potential((tk(P311)>=1)))))) & (! (! ((potential((tk(P330)>=1)))))) ) | ( (! ((potential((tk(P447)>=1))))) & (AX( ((potential((tk(P160)>=1)))))) ) )))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-04 (AG( (AF( ((potential((tk(P496)>=1))))))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-05 (! (! (AF( ((potential((tk(P420)>=1))))))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-06 (EU( (! (AG( ((potential((tk(P363)>=1))))))) , (EU( ((potential((tk(P64)>=1)))) , ((potential((tk(P14)>=1)))) )) ))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-07 (! (EG( (! ( ( ((potential((tk(P107)>=1)))) | ((potential((tk(P189)>=1)))) ) & ((potential((tk(P402)>=1)))) )))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-08 (AF( ( (! ((potential((tk(P277)>=1))))) & ((potential((tk(P143)>=1)))) )))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-09 (EF( (EX( ( ( ((potential((tk(P215)>=1)))) & ((potential((tk(P381)>=1)))) ) & ( ((potential((tk(P428)>=1)))) & ((potential((tk(P112)>=1)))) ) )))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-10 ( (! (AF( ( ((potential((tk(P362)>=1)))) & (! ((potential((tk(P401)>=1))))) )))) | ((potential((tk(P137)>=1)))) )
PROPERTY: ShieldRVt-PT-010B-CTLFireability-11 (EF( ((potential((tk(P224)>=1))))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-12 (! (EG( ( (AF( ((potential((tk(P267)>=1) & (tk(P355)>=1) & (tk(P321)>=1)))))) | (EF( ((potential((tk(P161)>=1)))))) ))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-13 (AF( ((potential((tk(P83)>=1))))))
PROPERTY: ShieldRVt-PT-010B-CTLFireability-14 ( ( ( (EU( ((potential((tk(P37)>=1) & (tk(P56)>=1)))) , ((potential((tk(P108)>=1)))) )) | (! (! ( ((potential((tk(P42)>=1)))) | ((potential((tk(P281)>=1)))) ))) ) | (AX( ((potential((tk(P254)>=1)))))) ) | (EU( ((potential((tk(P323)>=1)))) , (AF( ((potential((tk(P487)>=1)))))) )) )
PROPERTY: ShieldRVt-PT-010B-CTLFireability-15 (! (EG( (! ( ((potential((tk(P469)>=1)))) & ((potential((tk(P317)>=1)))) )))))

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-010B"
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-010B, 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-159033470301012"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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