fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469800676
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPt-PT-020B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.840 3600000.00 3600010.00 0.00 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 3.4K May 14 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 19:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 19:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 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:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:52 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 376K 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 ShieldPPPt-PT-020B-CTLFireability-00
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-01
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-02
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-03
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-04
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-05
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-06
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-07
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-08
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-09
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-10
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-11
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-12
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-13
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-14
FORMULA_NAME ShieldPPPt-PT-020B-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590448747067

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 020B
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: 1563 places, 1423 transitions, 3566 arcs.
AT ITER 0 NEW BEST:: SOT 1148508 SOS 104557 HAS SOPS 104557 HAS SOUS 97150 HAS SOUPS 97150 WITH SCORE 97254.557
AT ITER 45 NEW BEST:: SOT 1148388 SOS 104339 HAS SOPS 104339 HAS SOUS 96979 HAS SOUPS 96979 WITH SCORE 97083.339
AT ITER 115 NEW BEST:: SOT 1148344 SOS 104295 HAS SOPS 104295 HAS SOUS 96935 HAS SOUPS 96935 WITH SCORE 97039.295
AT ITER 184 NEW BEST:: SOT 1148343 SOS 104260 HAS SOPS 104260 HAS SOUS 96930 HAS SOUPS 96930 WITH SCORE 97034.26
AT ITER 306 NEW BEST:: SOT 1148318 SOS 104254 HAS SOPS 104254 HAS SOUS 96899 HAS SOUPS 96899 WITH SCORE 97003.254
AT ITER 334 NEW BEST:: SOT 1148318 SOS 104221 HAS SOPS 104221 HAS SOUS 96866 HAS SOUPS 96866 WITH SCORE 96970.221
AT ITER 336 NEW BEST:: SOT 1148307 SOS 104199 HAS SOPS 104199 HAS SOUS 96844 HAS SOUPS 96844 WITH SCORE 96948.199
AT ITER 359 NEW BEST:: SOT 1148307 SOS 104189 HAS SOPS 104189 HAS SOUS 96834 HAS SOUPS 96834 WITH SCORE 96938.189
AT ITER 472 NEW BEST:: SOT 1148307 SOS 104186 HAS SOPS 104186 HAS SOUS 96831 HAS SOUPS 96831 WITH SCORE 96935.186
AT ITER 487 NEW BEST:: SOT 1148306 SOS 104216 HAS SOPS 104216 HAS SOUS 96830 HAS SOUPS 96830 WITH SCORE 96934.216
AT ITER 498 NEW BEST:: SOT 1148306 SOS 104209 HAS SOPS 104209 HAS SOUS 96823 HAS SOUPS 96823 WITH SCORE 96927.209
AT ITER 527 NEW BEST:: SOT 1148265 SOS 104204 HAS SOPS 104204 HAS SOUS 96818 HAS SOUPS 96818 WITH SCORE 96922.204
AT ITER 529 NEW BEST:: SOT 1148264 SOS 104214 HAS SOPS 104214 HAS SOUS 96817 HAS SOUPS 96817 WITH SCORE 96921.214
AT ITER 965 NEW BEST:: SOT 1148276 SOS 104226 HAS SOPS 104226 HAS SOUS 96816 HAS SOUPS 96816 WITH SCORE 96920.226
AT ITER 1045 NEW BEST:: SOT 1148217 SOS 104108 HAS SOPS 104108 HAS SOUS 96688 HAS SOUPS 96688 WITH SCORE 96792.108
AT ITER 1050 NEW BEST:: SOT 1148216 SOS 104094 HAS SOPS 104094 HAS SOUS 96686 HAS SOUPS 96686 WITH SCORE 96790.094
AT ITER 1088 NEW BEST:: SOT 1148232 SOS 104110 HAS SOPS 104110 HAS SOUS 96685 HAS SOUPS 96685 WITH SCORE 96789.11
AT ITER 1100 NEW BEST:: SOT 1148232 SOS 104067 HAS SOPS 104067 HAS SOUS 96642 HAS SOUPS 96642 WITH SCORE 96746.067
AT ITER 1130 NEW BEST:: SOT 1148220 SOS 104046 HAS SOPS 104046 HAS SOUS 96597 HAS SOUPS 96597 WITH SCORE 96701.046
AT ITER 1246 NEW BEST:: SOT 1148220 SOS 104046 HAS SOPS 104046 HAS SOUS 96571 HAS SOUPS 96571 WITH SCORE 96675.046
AT ITER 1298 NEW BEST:: SOT 1148220 SOS 104005 HAS SOPS 104005 HAS SOUS 96530 HAS SOUPS 96530 WITH SCORE 96634.005
AT ITER 1309 NEW BEST:: SOT 1148241 SOS 104046 HAS SOPS 104046 HAS SOUS 96520 HAS SOUPS 96520 WITH SCORE 96624.046
AT ITER 1313 NEW BEST:: SOT 1148218 SOS 103977 HAS SOPS 103977 HAS SOUS 96474 HAS SOUPS 96474 WITH SCORE 96577.977
AT ITER 1315 NEW BEST:: SOT 1148178 SOS 103864 HAS SOPS 103864 HAS SOUS 96331 HAS SOUPS 96331 WITH SCORE 96434.864
AT ITER 1317 NEW BEST:: SOT 1148160 SOS 103855 HAS SOPS 103855 HAS SOUS 96322 HAS SOUPS 96322 WITH SCORE 96425.855
AT ITER 1336 NEW BEST:: SOT 1148069 SOS 103722 HAS SOPS 103722 HAS SOUS 96181 HAS SOUPS 96181 WITH SCORE 96284.722
AT ITER 1447 NEW BEST:: SOT 1148010 SOS 103545 HAS SOPS 103545 HAS SOUS 96004 HAS SOUPS 96004 WITH SCORE 96107.545
AT ITER 1548 NEW BEST:: SOT 1148001 SOS 103533 HAS SOPS 103533 HAS SOUS 95992 HAS SOUPS 95992 WITH SCORE 96095.533
AT ITER 1556 NEW BEST:: SOT 1148000 SOS 103467 HAS SOPS 103467 HAS SOUS 95958 HAS SOUPS 95958 WITH SCORE 96061.467
AT ITER 1563 NEW BEST:: SOT 1147946 SOS 103324 HAS SOPS 103324 HAS SOUS 95789 HAS SOUPS 95789 WITH SCORE 95892.324
AT ITER 1619 NEW BEST:: SOT 1147928 SOS 103308 HAS SOPS 103308 HAS SOUS 95773 HAS SOUPS 95773 WITH SCORE 95876.308
AT ITER 1638 NEW BEST:: SOT 1147891 SOS 103286 HAS SOPS 103286 HAS SOUS 95736 HAS SOUPS 95736 WITH SCORE 95839.286
AT ITER 1645 NEW BEST:: SOT 1147838 SOS 103281 HAS SOPS 103281 HAS SOUS 95648 HAS SOUPS 95648 WITH SCORE 95751.281
AT ITER 1646 NEW BEST:: SOT 1147838 SOS 103281 HAS SOPS 103281 HAS SOUS 95645 HAS SOUPS 95645 WITH SCORE 95748.281
AT ITER 1653 NEW BEST:: SOT 1147835 SOS 103278 HAS SOPS 103278 HAS SOUS 95645 HAS SOUPS 95645 WITH SCORE 95748.278
AT ITER 1682 NEW BEST:: SOT 1147790 SOS 103272 HAS SOPS 103272 HAS SOUS 95639 HAS SOUPS 95639 WITH SCORE 95742.272
AT ITER 1697 NEW BEST:: SOT 1147738 SOS 103288 HAS SOPS 103288 HAS SOUS 95581 HAS SOUPS 95581 WITH SCORE 95684.288
AT ITER 1711 NEW BEST:: SOT 1147733 SOS 103283 HAS SOPS 103283 HAS SOUS 95576 HAS SOUPS 95576 WITH SCORE 95679.283
AT ITER 1779 NEW BEST:: SOT 1147698 SOS 103162 HAS SOPS 103162 HAS SOUS 95496 HAS SOUPS 95496 WITH SCORE 95599.162
AT ITER 1877 NEW BEST:: SOT 1147720 SOS 103197 HAS SOPS 103197 HAS SOUS 95457 HAS SOUPS 95457 WITH SCORE 95560.197
AT ITER 1878 NEW BEST:: SOT 1147720 SOS 103192 HAS SOPS 103192 HAS SOUS 95452 HAS SOUPS 95452 WITH SCORE 95555.192
AT ITER 1888 NEW BEST:: SOT 1147705 SOS 103177 HAS SOPS 103177 HAS SOUS 95437 HAS SOUPS 95437 WITH SCORE 95540.177
AT ITER 1911 NEW BEST:: SOT 1147720 SOS 103188 HAS SOPS 103188 HAS SOUS 95433 HAS SOUPS 95433 WITH SCORE 95536.188
AT ITER 1917 NEW BEST:: SOT 1147718 SOS 103186 HAS SOPS 103186 HAS SOUS 95431 HAS SOUPS 95431 WITH SCORE 95534.186
AT ITER 1947 NEW BEST:: SOT 1147714 SOS 103178 HAS SOPS 103178 HAS SOUS 95425 HAS SOUPS 95425 WITH SCORE 95528.178
AT ITER 1994 NEW BEST:: SOT 1147751 SOS 103107 HAS SOPS 103107 HAS SOUS 95391 HAS SOUPS 95391 WITH SCORE 95494.107
AT ITER 2090 NEW BEST:: SOT 1147771 SOS 103147 HAS SOPS 103147 HAS SOUS 95385 HAS SOUPS 95385 WITH SCORE 95488.147
AT ITER 2132 NEW BEST:: SOT 1147766 SOS 103122 HAS SOPS 103122 HAS SOUS 95358 HAS SOUPS 95358 WITH SCORE 95461.122
AT ITER 2150 NEW BEST:: SOT 1147744 SOS 103073 HAS SOPS 103073 HAS SOUS 95331 HAS SOUPS 95331 WITH SCORE 95434.073
AT ITER 2167 NEW BEST:: SOT 1147744 SOS 103072 HAS SOPS 103072 HAS SOUS 95330 HAS SOUPS 95330 WITH SCORE 95433.072
AT ITER 2203 NEW BEST:: SOT 1147721 SOS 103048 HAS SOPS 103048 HAS SOUS 95329 HAS SOUPS 95329 WITH SCORE 95432.048
AT ITER 2218 NEW BEST:: SOT 1147734 SOS 103016 HAS SOPS 103016 HAS SOUS 95297 HAS SOUPS 95297 WITH SCORE 95400.016
AT ITER 2279 NEW BEST:: SOT 1147716 SOS 102998 HAS SOPS 102998 HAS SOUS 95279 HAS SOUPS 95279 WITH SCORE 95381.998
AT ITER 2305 NEW BEST:: SOT 1147670 SOS 102958 HAS SOPS 102958 HAS SOUS 95239 HAS SOUPS 95239 WITH SCORE 95341.958
AT ITER 2324 NEW BEST:: SOT 1147665 SOS 102948 HAS SOPS 102948 HAS SOUS 95234 HAS SOUPS 95234 WITH SCORE 95336.948
AT ITER 2332 NEW BEST:: SOT 1147656 SOS 102947 HAS SOPS 102947 HAS SOUS 95233 HAS SOUPS 95233 WITH SCORE 95335.947
AT ITER 2408 NEW BEST:: SOT 1147656 SOS 102914 HAS SOPS 102914 HAS SOUS 95200 HAS SOUPS 95200 WITH SCORE 95302.914
AT ITER 2425 NEW BEST:: SOT 1147655 SOS 102931 HAS SOPS 102931 HAS SOUS 95199 HAS SOUPS 95199 WITH SCORE 95301.931
AT ITER 2513 NEW BEST:: SOT 1147655 SOS 102926 HAS SOPS 102926 HAS SOUS 95149 HAS SOUPS 95149 WITH SCORE 95251.926
AT ITER 2552 NEW BEST:: SOT 1147631 SOS 102871 HAS SOPS 102871 HAS SOUS 95084 HAS SOUPS 95084 WITH SCORE 95186.871
AT ITER 2758 NEW BEST:: SOT 1147571 SOS 102811 HAS SOPS 102811 HAS SOUS 95004 HAS SOUPS 95004 WITH SCORE 95106.811
AT ITER 2777 NEW BEST:: SOT 1147571 SOS 102808 HAS SOPS 102808 HAS SOUS 95001 HAS SOUPS 95001 WITH SCORE 95103.808
AT ITER 2807 NEW BEST:: SOT 1147571 SOS 102800 HAS SOPS 102800 HAS SOUS 94993 HAS SOUPS 94993 WITH SCORE 95095.8
AT ITER 2839 NEW BEST:: SOT 1147488 SOS 102814 HAS SOPS 102814 HAS SOUS 94887 HAS SOUPS 94887 WITH SCORE 94989.814
AT ITER 2840 NEW BEST:: SOT 1147474 SOS 102854 HAS SOPS 102854 HAS SOUS 94873 HAS SOUPS 94873 WITH SCORE 94975.854
AT ITER 2860 NEW BEST:: SOT 1147454 SOS 102814 HAS SOPS 102814 HAS SOUS 94833 HAS SOUPS 94833 WITH SCORE 94935.814
AT ITER 2950 NEW BEST:: SOT 1147265 SOS 102907 HAS SOPS 102907 HAS SOUS 94707 HAS SOUPS 94707 WITH SCORE 94809.907
AT ITER 2986 NEW BEST:: SOT 1147265 SOS 102909 HAS SOPS 102909 HAS SOUS 94706 HAS SOUPS 94706 WITH SCORE 94808.909
AT ITER 3015 NEW BEST:: SOT 1147229 SOS 102834 HAS SOPS 102834 HAS SOUS 94631 HAS SOUPS 94631 WITH SCORE 94733.834
AT ITER 3036 NEW BEST:: SOT 1147211 SOS 102795 HAS SOPS 102795 HAS SOUS 94610 HAS SOUPS 94610 WITH SCORE 94712.795
AT ITER 3069 NEW BEST:: SOT 1147211 SOS 102843 HAS SOPS 102843 HAS SOUS 94609 HAS SOUPS 94609 WITH SCORE 94711.843
AT ITER 3099 NEW BEST:: SOT 1147193 SOS 102819 HAS SOPS 102819 HAS SOUS 94585 HAS SOUPS 94585 WITH SCORE 94687.819
AT ITER 3109 NEW BEST:: SOT 1147162 SOS 102757 HAS SOPS 102757 HAS SOUS 94554 HAS SOUPS 94554 WITH SCORE 94656.757
AT ITER 3148 NEW BEST:: SOT 1147152 SOS 102747 HAS SOPS 102747 HAS SOUS 94544 HAS SOUPS 94544 WITH SCORE 94646.747
AT ITER 3152 NEW BEST:: SOT 1147103 SOS 102630 HAS SOPS 102630 HAS SOUS 94459 HAS SOUPS 94459 WITH SCORE 94561.63
AT ITER 3192 NEW BEST:: SOT 1147103 SOS 102629 HAS SOPS 102629 HAS SOUS 94458 HAS SOUPS 94458 WITH SCORE 94560.629
AT ITER 3225 NEW BEST:: SOT 1147103 SOS 102620 HAS SOPS 102620 HAS SOUS 94449 HAS SOUPS 94449 WITH SCORE 94551.62
AT ITER 3297 NEW BEST:: SOT 1147102 SOS 102619 HAS SOPS 102619 HAS SOUS 94448 HAS SOUPS 94448 WITH SCORE 94550.619
AT ITER 3328 NEW BEST:: SOT 1147102 SOS 102611 HAS SOPS 102611 HAS SOUS 94410 HAS SOUPS 94410 WITH SCORE 94512.611
AT ITER 3343 NEW BEST:: SOT 1147123 SOS 102563 HAS SOPS 102563 HAS SOUS 94386 HAS SOUPS 94386 WITH SCORE 94488.563
AT ITER 3402 NEW BEST:: SOT 1147122 SOS 102559 HAS SOPS 102559 HAS SOUS 94382 HAS SOUPS 94382 WITH SCORE 94484.559
AT ITER 3428 NEW BEST:: SOT 1147073 SOS 102526 HAS SOPS 102526 HAS SOUS 94345 HAS SOUPS 94345 WITH SCORE 94447.526
AT ITER 3429 NEW BEST:: SOT 1147032 SOS 102518 HAS SOPS 102518 HAS SOUS 94337 HAS SOUPS 94337 WITH SCORE 94439.518
AT ITER 3442 NEW BEST:: SOT 1146985 SOS 102517 HAS SOPS 102517 HAS SOUS 94336 HAS SOUPS 94336 WITH SCORE 94438.517
AT ITER 3502 NEW BEST:: SOT 1146988 SOS 102502 HAS SOPS 102502 HAS SOUS 94321 HAS SOUPS 94321 WITH SCORE 94423.502
AT ITER 3509 NEW BEST:: SOT 1147011 SOS 102548 HAS SOPS 102548 HAS SOUS 94281 HAS SOUPS 94281 WITH SCORE 94383.548
AT ITER 3519 NEW BEST:: SOT 1147006 SOS 102543 HAS SOPS 102543 HAS SOUS 94271 HAS SOUPS 94271 WITH SCORE 94373.543
AT ITER 3522 NEW BEST:: SOT 1146951 SOS 102512 HAS SOPS 102512 HAS SOUS 94240 HAS SOUPS 94240 WITH SCORE 94342.512
AT ITER 3528 NEW BEST:: SOT 1146951 SOS 102479 HAS SOPS 102479 HAS SOUS 94207 HAS SOUPS 94207 WITH SCORE 94309.479
AT ITER 3565 NEW BEST:: SOT 1146914 SOS 102376 HAS SOPS 102376 HAS SOUS 94136 HAS SOUPS 94136 WITH SCORE 94238.376
AT ITER 3657 NEW BEST:: SOT 1146909 SOS 102382 HAS SOPS 102382 HAS SOUS 94135 HAS SOUPS 94135 WITH SCORE 94237.382
AT ITER 3743 NEW BEST:: SOT 1146856 SOS 102275 HAS SOPS 102275 HAS SOUS 94028 HAS SOUPS 94028 WITH SCORE 94130.275
AT ITER 3772 NEW BEST:: SOT 1146855 SOS 102197 HAS SOPS 102197 HAS SOUS 94018 HAS SOUPS 94018 WITH SCORE 94120.197
AT ITER 3827 NEW BEST:: SOT 1146822 SOS 102175 HAS SOPS 102175 HAS SOUS 93996 HAS SOUPS 93996 WITH SCORE 94098.175
AT ITER 3845 NEW BEST:: SOT 1146822 SOS 102167 HAS SOPS 102167 HAS SOUS 93902 HAS SOUPS 93902 WITH SCORE 94004.167
AT ITER 3853 NEW BEST:: SOT 1146822 SOS 102165 HAS SOPS 102165 HAS SOUS 93900 HAS SOUPS 93900 WITH SCORE 94002.165
AT ITER 3988 NEW BEST:: SOT 1146804 SOS 102142 HAS SOPS 102142 HAS SOUS 93877 HAS SOUPS 93877 WITH SCORE 93979.142
AT ITER 4027 NEW BEST:: SOT 1146803 SOS 102118 HAS SOPS 102118 HAS SOUS 93864 HAS SOUPS 93864 WITH SCORE 93966.118
AT ITER 4089 NEW BEST:: SOT 1146781 SOS 102123 HAS SOPS 102123 HAS SOUS 93850 HAS SOUPS 93850 WITH SCORE 93952.123
AT ITER 4137 NEW BEST:: SOT 1146728 SOS 102121 HAS SOPS 102121 HAS SOUS 93848 HAS SOUPS 93848 WITH SCORE 93950.121
AT ITER 4154 NEW BEST:: SOT 1146706 SOS 102099 HAS SOPS 102099 HAS SOUS 93826 HAS SOUPS 93826 WITH SCORE 93928.099
AT ITER 4233 NEW BEST:: SOT 1146714 SOS 102083 HAS SOPS 102083 HAS SOUS 93810 HAS SOUPS 93810 WITH SCORE 93912.083
AT ITER 4236 NEW BEST:: SOT 1146721 SOS 102097 HAS SOPS 102097 HAS SOUS 93795 HAS SOUPS 93795 WITH SCORE 93897.097
AT ITER 4414 NEW BEST:: SOT 1146611 SOS 101843 HAS SOPS 101843 HAS SOUS 93699 HAS SOUPS 93699 WITH SCORE 93800.843
AT ITER 4485 NEW BEST:: SOT 1146611 SOS 101841 HAS SOPS 101841 HAS SOUS 93697 HAS SOUPS 93697 WITH SCORE 93798.841
AT ITER 4524 NEW BEST:: SOT 1146573 SOS 101758 HAS SOPS 101758 HAS SOUS 93614 HAS SOUPS 93614 WITH SCORE 93715.758
AT ITER 4626 NEW BEST:: SOT 1146554 SOS 101739 HAS SOPS 101739 HAS SOUS 93595 HAS SOUPS 93595 WITH SCORE 93696.739
AT ITER 4667 NEW BEST:: SOT 1146548 SOS 101703 HAS SOPS 101703 HAS SOUS 93559 HAS SOUPS 93559 WITH SCORE 93660.703
AT ITER 4677 NEW BEST:: SOT 1146548 SOS 101689 HAS SOPS 101689 HAS SOUS 93545 HAS SOUPS 93545 WITH SCORE 93646.689
AT ITER 4735 NEW BEST:: SOT 1146540 SOS 101685 HAS SOPS 101685 HAS SOUS 93541 HAS SOUPS 93541 WITH SCORE 93642.685
AT ITER 4768 NEW BEST:: SOT 1146540 SOS 101685 HAS SOPS 101685 HAS SOUS 93521 HAS SOUPS 93521 WITH SCORE 93622.685
AT ITER 4784 NEW BEST:: SOT 1146530 SOS 101672 HAS SOPS 101672 HAS SOUS 93518 HAS SOUPS 93518 WITH SCORE 93619.672
AT ITER 4787 NEW BEST:: SOT 1146500 SOS 101582 HAS SOPS 101582 HAS SOUS 93488 HAS SOUPS 93488 WITH SCORE 93589.582
AT ITER 4816 NEW BEST:: SOT 1146500 SOS 101582 HAS SOPS 101582 HAS SOUS 93485 HAS SOUPS 93485 WITH SCORE 93586.582
AT ITER 4834 NEW BEST:: SOT 1146472 SOS 101551 HAS SOPS 101551 HAS SOUS 93454 HAS SOUPS 93454 WITH SCORE 93555.551
AT ITER 4859 NEW BEST:: SOT 1146472 SOS 101546 HAS SOPS 101546 HAS SOUS 93454 HAS SOUPS 93454 WITH SCORE 93555.546
AT ITER 4870 NEW BEST:: SOT 1146463 SOS 101542 HAS SOPS 101542 HAS SOUS 93425 HAS SOUPS 93425 WITH SCORE 93526.542
AT ITER 4940 NEW BEST:: SOT 1146509 SOS 101625 HAS SOPS 101625 HAS SOUS 93373 HAS SOUPS 93373 WITH SCORE 93474.625
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-00 ( (EX( (AF( ( ((potential((tk(P1048)>=1) & (tk(P1100)>=1)))) & ((potential((tk(P1310)>=1)))) ))))) | ((potential((tk(P475)>=1)))) )
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-01 (EF( ( ( (EF( ((potential((tk(P677)>=1)))))) & ( ((potential((tk(P699)>=1)))) & ((potential((tk(P166)>=1)))) ) ) & ((potential((tk(P525)>=1)))) )))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-02 (AF( (! (EG( (! ((potential((tk(P601)>=1))))))))))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-03 (! (EX( (AF( ((potential((tk(P563)>=1)))))))))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-04 (AF( (EU( ( ((potential((tk(P832)>=1)))) | ((potential((tk(P1228)>=1)))) ) , ( ((potential((tk(P546)>=1)))) & ((potential((tk(P1507)>=1)))) ) ))))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-05 ( (! (AU( ( ((potential((tk(P630)>=1)))) & ((potential((tk(P295)>=1)))) ) , ( ((potential((tk(P1551)>=1)))) & ((potential((tk(P12)>=1)))) ) ))) & (AU( ( ((potential((tk(P1184)>=1)))) | ((potential((tk(P1346)>=1)))) ) , (AF( ((potential((tk(P820)>=1)))))) )) )
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-06 ( ( (EU( ( ((potential((tk(P571)>=1) & (tk(P633)>=1)))) | ((potential((tk(P1535)>=1)))) ) , ( ((potential((tk(P1033)>=1) & (tk(P1095)>=1)))) & ((potential((tk(P630)>=1)))) ) )) | ((potential((tk(P1138)>=1) & (tk(P1197)>=1)))) ) | (AF( ( (EF( ((potential((tk(P370)>=1)))))) | (EG( ((potential((tk(P9)>=1)))))) ))) )
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-07 (AU( ( (AX( ((potential((tk(P777)>=1)))))) | (EF( ((potential((tk(P640)>=1)))))) ) , (EG( ((potential((tk(P730)>=1)))))) ))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-08 (AU( ( (! ( ((potential((tk(P705)>=1)))) & ((potential((tk(P1035)>=1) & (tk(P1076)>=1)))) )) & (EF( ((potential((tk(P982)>=1)))))) ) , (AX( ((potential((tk(P1486)>=1)))))) ))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-09 ( ((potential((tk(P685)>=1)))) | (! (EG( (! ((potential((tk(P980)>=1)))))))) )
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-10 (AF( (EX( (AG( ((potential((tk(P446)>=1))))))))))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-11 (EX( (EF( (EF( ((potential((tk(P140)>=1))))))))))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-12 (! ( (! ( (EF( ((potential((tk(P858)>=1)))))) & (! ( ((potential((tk(P1465)>=1)))) | ((potential((tk(P612)>=1)))) )) )) | (EX( (EF( ((potential((tk(P1158)>=1)))))))) ))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-13 (EF( (EX( ((potential((tk(P1513)>=1))))))))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-14 (AF( ((potential((tk(P175)>=1))))))
PROPERTY: ShieldPPPt-PT-020B-CTLFireability-15 (EU( (EU( ((potential((tk(P393)>=1)))) , ((potential((tk(P936)>=1)))) )) , ( ((potential((tk(P1560)>=1)))) | (EF( ((potential((tk(P618)>=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="ShieldPPPt-PT-020B"
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 ShieldPPPt-PT-020B, 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-159033469800676"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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