fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r006-smll-158897515600151
Last Updated
Jun 28, 2020

About the Execution of ITS-Tools for ASLink-PT-09b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15780.400 1755067.00 4394034.00 43234.30 FFFFFFTTFFFTTFTF normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r006-smll-158897515600151.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 itstools
Input is ASLink-PT-09b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-smll-158897515600151
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 24 05:37 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 ASLink-PT-09b-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-09b-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1589396623501

[2020-05-13 19:03:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-13 19:03:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-13 19:03:46] [INFO ] Load time of PNML (sax parser for PT used): 539 ms
[2020-05-13 19:03:46] [INFO ] Transformed 4014 places.
[2020-05-13 19:03:46] [INFO ] Transformed 4932 transitions.
[2020-05-13 19:03:46] [INFO ] Found NUPN structural information;
[2020-05-13 19:03:46] [INFO ] Parsed PT model containing 4014 places and 4932 transitions in 754 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 196 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-09b-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 12 resets, run finished after 149 ms. (steps per millisecond=67 ) properties seen :[1, 1, 1, 0, 0, 1, 1, 1, 1]
FORMULA ASLink-PT-09b-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09b-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 30 ms. (steps per millisecond=333 ) properties seen :[0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 26 ms. (steps per millisecond=384 ) properties seen :[0, 0]
// Phase 1: matrix 4932 rows 4014 cols
[2020-05-13 19:03:47] [INFO ] Computed 394 place invariants in 672 ms
[2020-05-13 19:03:49] [INFO ] [Real]Absence check using 93 positive place invariants in 450 ms returned sat
[2020-05-13 19:03:50] [INFO ] [Real]Absence check using 93 positive and 301 generalized place invariants in 942 ms returned sat
[2020-05-13 19:03:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:03:53] [INFO ] [Real]Absence check using state equation in 2314 ms returned (error "Solver has unexpectedly terminated")
[2020-05-13 19:03:54] [INFO ] [Real]Absence check using 93 positive place invariants in 471 ms returned sat
[2020-05-13 19:03:55] [INFO ] [Real]Absence check using 93 positive and 301 generalized place invariants in 1157 ms returned sat
[2020-05-13 19:03:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:03:58] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-13 19:03:58] [INFO ] [Real]Absence check using state equation in 2294 ms returned (error "Failed to check-sat")
Support contains 4 out of 4014 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4014/4014 places, 4932/4932 transitions.
Performed 939 Post agglomeration using F-continuation condition.Transition count delta: 939
Iterating post reduction 0 with 939 rules applied. Total rules applied 939 place count 4014 transition count 3993
Reduce places removed 939 places and 0 transitions.
Ensure Unique test removed 31 transitions
Reduce isomorphic transitions removed 31 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Iterating post reduction 1 with 981 rules applied. Total rules applied 1920 place count 3075 transition count 3951
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 1931 place count 3064 transition count 3951
Performed 934 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 934 Pre rules applied. Total rules applied 1931 place count 3064 transition count 3017
Deduced a syphon composed of 934 places in 11 ms
Ensure Unique test removed 93 places
Reduce places removed 1027 places and 0 transitions.
Iterating global reduction 3 with 1961 rules applied. Total rules applied 3892 place count 2037 transition count 3017
Discarding 9 places :
Implicit places reduction removed 9 places
Performed 58 Post agglomeration using F-continuation condition.Transition count delta: 58
Iterating post reduction 3 with 67 rules applied. Total rules applied 3959 place count 2028 transition count 2959
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 4 with 58 rules applied. Total rules applied 4017 place count 1970 transition count 2959
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 36 Pre rules applied. Total rules applied 4017 place count 1970 transition count 2923
Deduced a syphon composed of 36 places in 14 ms
Ensure Unique test removed 36 places
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 5 with 108 rules applied. Total rules applied 4125 place count 1898 transition count 2923
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 36 Pre rules applied. Total rules applied 4125 place count 1898 transition count 2887
Deduced a syphon composed of 36 places in 97 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 5 with 72 rules applied. Total rules applied 4197 place count 1862 transition count 2887
Symmetric choice reduction at 5 with 129 rule applications. Total rules 4326 place count 1862 transition count 2887
Deduced a syphon composed of 129 places in 94 ms
Reduce places removed 129 places and 129 transitions.
Iterating global reduction 5 with 258 rules applied. Total rules applied 4584 place count 1733 transition count 2758
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 4585 place count 1733 transition count 2757
Performed 42 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 42 Pre rules applied. Total rules applied 4585 place count 1733 transition count 2715
Deduced a syphon composed of 42 places in 89 ms
Ensure Unique test removed 1 places
Reduce places removed 43 places and 0 transitions.
Iterating global reduction 6 with 85 rules applied. Total rules applied 4670 place count 1690 transition count 2715
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 4670 place count 1690 transition count 2714
Deduced a syphon composed of 1 places in 69 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 3 rules applied. Total rules applied 4673 place count 1688 transition count 2714
Symmetric choice reduction at 6 with 10 rule applications. Total rules 4683 place count 1688 transition count 2714
Deduced a syphon composed of 10 places in 18 ms
Reduce places removed 10 places and 63 transitions.
Iterating global reduction 6 with 20 rules applied. Total rules applied 4703 place count 1678 transition count 2651
Performed 9 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 9 Pre rules applied. Total rules applied 4703 place count 1678 transition count 2642
Deduced a syphon composed of 9 places in 8 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 6 with 18 rules applied. Total rules applied 4721 place count 1669 transition count 2642
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4722 place count 1669 transition count 2642
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4724 place count 1668 transition count 2634
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4725 place count 1668 transition count 2634
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4727 place count 1667 transition count 2626
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4728 place count 1667 transition count 2626
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4730 place count 1666 transition count 2618
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4731 place count 1666 transition count 2618
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4733 place count 1665 transition count 2610
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4734 place count 1665 transition count 2610
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4736 place count 1664 transition count 2602
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4737 place count 1664 transition count 2602
Deduced a syphon composed of 1 places in 13 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4739 place count 1663 transition count 2594
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4740 place count 1663 transition count 2594
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4742 place count 1662 transition count 2586
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4743 place count 1662 transition count 2586
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4745 place count 1661 transition count 2578
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4746 place count 1661 transition count 2578
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4748 place count 1660 transition count 2570
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4749 place count 1660 transition count 2570
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4751 place count 1659 transition count 2562
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4752 place count 1659 transition count 2562
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4754 place count 1658 transition count 2554
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4755 place count 1658 transition count 2554
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4757 place count 1657 transition count 2546
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4758 place count 1657 transition count 2546
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4760 place count 1656 transition count 2538
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4761 place count 1656 transition count 2538
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4763 place count 1655 transition count 2530
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4764 place count 1655 transition count 2530
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4766 place count 1654 transition count 2522
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4767 place count 1654 transition count 2522
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4769 place count 1653 transition count 2514
Performed 233 Post agglomeration using F-continuation condition.Transition count delta: 233
Deduced a syphon composed of 233 places in 6 ms
Reduce places removed 233 places and 0 transitions.
Iterating global reduction 6 with 466 rules applied. Total rules applied 5235 place count 1420 transition count 2281
Symmetric choice reduction at 6 with 1 rule applications. Total rules 5236 place count 1420 transition count 2281
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 5238 place count 1419 transition count 2280
Ensure Unique test removed 1 places
Iterating post reduction 6 with 1 rules applied. Total rules applied 5239 place count 1418 transition count 2280
Symmetric choice reduction at 7 with 1 rule applications. Total rules 5240 place count 1418 transition count 2280
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 5242 place count 1417 transition count 2279
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 5244 place count 1417 transition count 2277
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 5245 place count 1416 transition count 2277
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 5247 place count 1415 transition count 2286
Free-agglomeration rule applied 11 times.
Iterating global reduction 9 with 11 rules applied. Total rules applied 5258 place count 1415 transition count 2275
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 9 with 11 rules applied. Total rules applied 5269 place count 1404 transition count 2275
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 10 with 8 rules applied. Total rules applied 5277 place count 1404 transition count 2267
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 10 with 8 rules applied. Total rules applied 5285 place count 1396 transition count 2267
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 5286 place count 1395 transition count 2266
Reduce places removed 18 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 11 with 26 rules applied. Total rules applied 5312 place count 1377 transition count 2258
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 12 with 8 rules applied. Total rules applied 5320 place count 1369 transition count 2258
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 27 Pre rules applied. Total rules applied 5320 place count 1369 transition count 2231
Deduced a syphon composed of 27 places in 6 ms
Ensure Unique test removed 1 places
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 13 with 55 rules applied. Total rules applied 5375 place count 1341 transition count 2231
Discarding 10 places :
Implicit places reduction removed 10 places
Iterating post reduction 13 with 10 rules applied. Total rules applied 5385 place count 1331 transition count 2231
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 5385 place count 1331 transition count 2230
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 5387 place count 1330 transition count 2230
Performed 19 Post agglomeration using F-continuation condition.Transition count delta: 19
Deduced a syphon composed of 19 places in 7 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 14 with 38 rules applied. Total rules applied 5425 place count 1311 transition count 2211
Symmetric choice reduction at 14 with 9 rule applications. Total rules 5434 place count 1311 transition count 2211
Deduced a syphon composed of 9 places in 7 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 14 with 18 rules applied. Total rules applied 5452 place count 1302 transition count 2202
Free-agglomeration rule applied 9 times.
Iterating global reduction 14 with 9 rules applied. Total rules applied 5461 place count 1302 transition count 2193
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 14 with 9 rules applied. Total rules applied 5470 place count 1293 transition count 2193
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 15 with 1 rules applied. Total rules applied 5471 place count 1293 transition count 2193
Applied a total of 5471 rules in 4348 ms. Remains 1293 /4014 variables (removed 2721) and now considering 2193/4932 (removed 2739) transitions.
Finished structural reductions, in 1 iterations. Remains : 1293/4014 places, 2193/4932 transitions.
Incomplete random walk after 1000000 steps, including 9848 resets, run finished after 6017 ms. (steps per millisecond=166 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1074 resets, run finished after 2114 ms. (steps per millisecond=473 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1079 resets, run finished after 2441 ms. (steps per millisecond=409 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2069829 steps, run timeout after 30001 ms. (steps per millisecond=68 ) properties seen :[0, 0]
Probabilistic random walk after 2069829 steps, saw 374188 distinct states, run finished after 30001 ms. (steps per millisecond=68 ) properties seen :[0, 0]
// Phase 1: matrix 2193 rows 1293 cols
[2020-05-13 19:04:43] [INFO ] Computed 224 place invariants in 301 ms
[2020-05-13 19:04:43] [INFO ] [Real]Absence check using 61 positive place invariants in 100 ms returned sat
[2020-05-13 19:04:43] [INFO ] [Real]Absence check using 61 positive and 163 generalized place invariants in 192 ms returned sat
[2020-05-13 19:04:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:04:52] [INFO ] [Real]Absence check using state equation in 8588 ms returned sat
[2020-05-13 19:04:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-13 19:04:53] [INFO ] [Nat]Absence check using 61 positive place invariants in 105 ms returned sat
[2020-05-13 19:04:53] [INFO ] [Nat]Absence check using 61 positive and 163 generalized place invariants in 256 ms returned sat
[2020-05-13 19:04:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-13 19:05:02] [INFO ] [Nat]Absence check using state equation in 8764 ms returned sat
[2020-05-13 19:05:02] [INFO ] Computed and/alt/rep : 2148/23090/2148 causal constraints in 287 ms.
[2020-05-13 19:05:23] [INFO ] Added : 335 causal constraints over 67 iterations in 21746 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 94 ms.
[2020-05-13 19:05:24] [INFO ] [Real]Absence check using 61 positive place invariants in 104 ms returned sat
[2020-05-13 19:05:25] [INFO ] [Real]Absence check using 61 positive and 163 generalized place invariants in 193 ms returned sat
[2020-05-13 19:05:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:05:33] [INFO ] [Real]Absence check using state equation in 8568 ms returned sat
[2020-05-13 19:05:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-13 19:05:34] [INFO ] [Nat]Absence check using 61 positive place invariants in 93 ms returned sat
[2020-05-13 19:05:34] [INFO ] [Nat]Absence check using 61 positive and 163 generalized place invariants in 164 ms returned sat
[2020-05-13 19:05:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-13 19:05:42] [INFO ] [Nat]Absence check using state equation in 8484 ms returned sat
[2020-05-13 19:05:43] [INFO ] Computed and/alt/rep : 2148/23090/2148 causal constraints in 389 ms.
[2020-05-13 19:06:03] [INFO ] Added : 310 causal constraints over 62 iterations in 20356 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 87 ms.
Incomplete Parikh walk after 1061000 steps, including 13099 resets, run finished after 7972 ms. (steps per millisecond=133 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 778600 steps, including 9801 resets, run finished after 5728 ms. (steps per millisecond=135 ) properties seen :[0, 0] could not realise parikh vector
Support contains 4 out of 1293 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1293/1293 places, 2193/2193 transitions.
Applied a total of 0 rules in 66 ms. Remains 1293 /1293 variables (removed 0) and now considering 2193/2193 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1293/1293 places, 2193/2193 transitions.
Starting structural reductions, iteration 0 : 1293/1293 places, 2193/2193 transitions.
Applied a total of 0 rules in 74 ms. Remains 1293 /1293 variables (removed 0) and now considering 2193/2193 (removed 0) transitions.
// Phase 1: matrix 2193 rows 1293 cols
[2020-05-13 19:06:17] [INFO ] Computed 224 place invariants in 200 ms
[2020-05-13 19:06:25] [INFO ] Implicit Places using invariants in 8694 ms returned [1, 18, 19, 31, 48, 66, 135, 139, 148, 149, 151, 168, 186, 256, 260, 261, 272, 273, 275, 292, 310, 379, 383, 384, 395, 396, 398, 415, 433, 502, 506, 507, 518, 519, 521, 538, 556, 625, 629, 630, 641, 642, 644, 661, 679, 748, 752, 753, 764, 765, 767, 784, 802, 873, 877, 878, 889, 890, 892, 909, 927, 996, 1000, 1001, 1012, 1013, 1015, 1032, 1050, 1119, 1123, 1124, 1127, 1138, 1139, 1140, 1158, 1160, 1164, 1182, 1183, 1184, 1185, 1197, 1203, 1209, 1215, 1221, 1227, 1233, 1239, 1245, 1251, 1257]
Discarding 94 places :
Implicit Place search using SMT only with invariants took 8703 ms to find 94 implicit places.
[2020-05-13 19:06:26] [INFO ] Redundant transitions in 289 ms returned []
// Phase 1: matrix 2193 rows 1199 cols
[2020-05-13 19:06:26] [INFO ] Computed 130 place invariants in 63 ms
[2020-05-13 19:06:36] [INFO ] Dead Transitions using invariants and state equation in 10723 ms returned []
Starting structural reductions, iteration 1 : 1199/1293 places, 2193/2193 transitions.
Performed 175 Post agglomeration using F-continuation condition.Transition count delta: 175
Iterating post reduction 0 with 175 rules applied. Total rules applied 175 place count 1199 transition count 2018
Reduce places removed 175 places and 0 transitions.
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 1 with 183 rules applied. Total rules applied 358 place count 1024 transition count 2010
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 358 place count 1024 transition count 1967
Deduced a syphon composed of 43 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 87 rules applied. Total rules applied 445 place count 980 transition count 1967
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 457 place count 976 transition count 1959
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 465 place count 968 transition count 1959
Symmetric choice reduction at 4 with 15 rule applications. Total rules 480 place count 968 transition count 1959
Deduced a syphon composed of 15 places in 3 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 510 place count 953 transition count 1944
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 513 place count 953 transition count 1941
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 513 place count 953 transition count 1940
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 515 place count 952 transition count 1940
Symmetric choice reduction at 5 with 3 rule applications. Total rules 518 place count 952 transition count 1940
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 6 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 524 place count 949 transition count 1934
Symmetric choice reduction at 5 with 1 rule applications. Total rules 525 place count 949 transition count 1934
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 527 place count 948 transition count 1933
Symmetric choice reduction at 5 with 1 rule applications. Total rules 528 place count 948 transition count 1933
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 530 place count 947 transition count 1931
Performed 63 Post agglomeration using F-continuation condition.Transition count delta: 63
Deduced a syphon composed of 63 places in 4 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 5 with 126 rules applied. Total rules applied 656 place count 884 transition count 1868
Symmetric choice reduction at 5 with 9 rule applications. Total rules 665 place count 884 transition count 1868
Deduced a syphon composed of 9 places in 4 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 5 with 18 rules applied. Total rules applied 683 place count 875 transition count 1859
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 5 with 8 rules applied. Total rules applied 691 place count 875 transition count 1851
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 695 place count 873 transition count 1852
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 6 with 20 rules applied. Total rules applied 715 place count 873 transition count 1832
Ensure Unique test removed 1 places
Reduce places removed 21 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 22 rules applied. Total rules applied 737 place count 852 transition count 1831
Partial Free-agglomeration rule applied 27 times.
Drop transitions removed 27 transitions
Iterating global reduction 7 with 27 rules applied. Total rules applied 764 place count 852 transition count 1831
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 765 place count 852 transition count 1830
Applied a total of 765 rules in 469 ms. Remains 852 /1199 variables (removed 347) and now considering 1830/2193 (removed 363) transitions.
// Phase 1: matrix 1830 rows 852 cols
[2020-05-13 19:06:37] [INFO ] Computed 124 place invariants in 33 ms
[2020-05-13 19:06:40] [INFO ] Implicit Places using invariants in 3003 ms returned [72, 89, 95, 98, 100, 103, 104, 156, 174, 180, 183, 185, 190, 191, 243, 260, 266, 269, 271, 276, 277, 329, 346, 352, 355, 357, 362, 363, 415, 432, 438, 441, 443, 448, 449, 501, 518, 524, 527, 529, 534, 535, 588, 605, 611, 614, 616, 621, 622, 674, 691, 697, 700, 702, 707, 708, 760, 777, 783, 786, 788]
Discarding 61 places :
Implicit Place search using SMT only with invariants took 3011 ms to find 61 implicit places.
Starting structural reductions, iteration 2 : 791/1293 places, 1830/2193 transitions.
Symmetric choice reduction at 0 with 27 rule applications. Total rules 27 place count 791 transition count 1830
Deduced a syphon composed of 27 places in 6 ms
Reduce places removed 27 places and 27 transitions.
Iterating global reduction 0 with 54 rules applied. Total rules applied 81 place count 764 transition count 1803
Symmetric choice reduction at 0 with 9 rule applications. Total rules 90 place count 764 transition count 1803
Deduced a syphon composed of 9 places in 6 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 108 place count 755 transition count 1794
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 5 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 0 with 36 rules applied. Total rules applied 144 place count 737 transition count 1776
Free-agglomeration rule applied 27 times.
Iterating global reduction 0 with 27 rules applied. Total rules applied 171 place count 737 transition count 1749
Reduce places removed 27 places and 0 transitions.
Iterating post reduction 0 with 27 rules applied. Total rules applied 198 place count 710 transition count 1749
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 1 with 7 rules applied. Total rules applied 205 place count 710 transition count 1742
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 212 place count 703 transition count 1742
Partial Post-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 2 with 9 rules applied. Total rules applied 221 place count 703 transition count 1742
Applied a total of 221 rules in 296 ms. Remains 703 /791 variables (removed 88) and now considering 1742/1830 (removed 88) transitions.
// Phase 1: matrix 1742 rows 703 cols
[2020-05-13 19:06:40] [INFO ] Computed 63 place invariants in 41 ms
[2020-05-13 19:06:43] [INFO ] Implicit Places using invariants in 2777 ms returned []
// Phase 1: matrix 1742 rows 703 cols
[2020-05-13 19:06:43] [INFO ] Computed 63 place invariants in 27 ms
[2020-05-13 19:06:57] [INFO ] Implicit Places using invariants and state equation in 13776 ms returned []
Implicit Place search using SMT with State Equation took 16557 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 703/1293 places, 1742/2193 transitions.
Incomplete random walk after 1000000 steps, including 16414 resets, run finished after 5168 ms. (steps per millisecond=193 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2421 resets, run finished after 1231 ms. (steps per millisecond=812 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000000 steps, including 2457 resets, run finished after 1242 ms. (steps per millisecond=805 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2966479 steps, run timeout after 30001 ms. (steps per millisecond=98 ) properties seen :[0, 1]
Probabilistic random walk after 2966479 steps, saw 624653 distinct states, run finished after 30001 ms. (steps per millisecond=98 ) properties seen :[0, 1]
FORMULA ASLink-PT-09b-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
// Phase 1: matrix 1742 rows 703 cols
[2020-05-13 19:07:35] [INFO ] Computed 63 place invariants in 25 ms
[2020-05-13 19:07:35] [INFO ] [Real]Absence check using 18 positive place invariants in 33 ms returned sat
[2020-05-13 19:07:35] [INFO ] [Real]Absence check using 18 positive and 45 generalized place invariants in 32 ms returned sat
[2020-05-13 19:07:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:07:39] [INFO ] [Real]Absence check using state equation in 3865 ms returned sat
[2020-05-13 19:07:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-13 19:07:39] [INFO ] [Nat]Absence check using 18 positive place invariants in 45 ms returned sat
[2020-05-13 19:07:39] [INFO ] [Nat]Absence check using 18 positive and 45 generalized place invariants in 49 ms returned sat
[2020-05-13 19:07:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-13 19:07:43] [INFO ] [Nat]Absence check using state equation in 4171 ms returned sat
[2020-05-13 19:07:43] [INFO ] Computed and/alt/rep : 1697/21934/1697 causal constraints in 199 ms.
[2020-05-13 19:08:04] [INFO ] Added : 405 causal constraints over 81 iterations in 20455 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 177 ms.
Incomplete Parikh walk after 372000 steps, including 8149 resets, run finished after 2512 ms. (steps per millisecond=148 ) properties seen :[0] could not realise parikh vector
Support contains 2 out of 703 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 703/703 places, 1742/1742 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 703 transition count 1741
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 702 transition count 1741
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 2 place count 702 transition count 1740
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 4 place count 701 transition count 1740
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 5 place count 701 transition count 1739
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 6 place count 700 transition count 1739
Applied a total of 6 rules in 72 ms. Remains 700 /703 variables (removed 3) and now considering 1739/1742 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 700/703 places, 1739/1742 transitions.
Incomplete random walk after 1000000 steps, including 16281 resets, run finished after 5045 ms. (steps per millisecond=198 ) properties seen :[0]
Incomplete Best-First random walk after 1000001 steps, including 2441 resets, run finished after 1214 ms. (steps per millisecond=823 ) properties seen :[0]
Interrupted probabilistic random walk after 3006225 steps, run timeout after 30001 ms. (steps per millisecond=100 ) properties seen :[0]
Probabilistic random walk after 3006225 steps, saw 634782 distinct states, run finished after 30001 ms. (steps per millisecond=100 ) properties seen :[0]
// Phase 1: matrix 1739 rows 700 cols
[2020-05-13 19:08:43] [INFO ] Computed 63 place invariants in 24 ms
[2020-05-13 19:08:43] [INFO ] [Real]Absence check using 16 positive place invariants in 34 ms returned sat
[2020-05-13 19:08:43] [INFO ] [Real]Absence check using 16 positive and 47 generalized place invariants in 45 ms returned sat
[2020-05-13 19:08:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:08:46] [INFO ] [Real]Absence check using state equation in 3273 ms returned sat
[2020-05-13 19:08:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-13 19:08:47] [INFO ] [Nat]Absence check using 16 positive place invariants in 49 ms returned sat
[2020-05-13 19:08:47] [INFO ] [Nat]Absence check using 16 positive and 47 generalized place invariants in 55 ms returned sat
[2020-05-13 19:08:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-13 19:08:51] [INFO ] [Nat]Absence check using state equation in 4316 ms returned sat
[2020-05-13 19:08:51] [INFO ] Computed and/alt/rep : 1694/21980/1694 causal constraints in 192 ms.
[2020-05-13 19:09:11] [INFO ] Added : 380 causal constraints over 76 iterations in 20291 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 123 ms.
Incomplete Parikh walk after 262700 steps, including 5878 resets, run finished after 1695 ms. (steps per millisecond=154 ) properties seen :[0] could not realise parikh vector
Support contains 2 out of 700 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 700/700 places, 1739/1739 transitions.
Applied a total of 0 rules in 27 ms. Remains 700 /700 variables (removed 0) and now considering 1739/1739 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 700/700 places, 1739/1739 transitions.
Starting structural reductions, iteration 0 : 700/700 places, 1739/1739 transitions.
Applied a total of 0 rules in 28 ms. Remains 700 /700 variables (removed 0) and now considering 1739/1739 (removed 0) transitions.
// Phase 1: matrix 1739 rows 700 cols
[2020-05-13 19:09:14] [INFO ] Computed 63 place invariants in 25 ms
[2020-05-13 19:09:16] [INFO ] Implicit Places using invariants in 2258 ms returned []
// Phase 1: matrix 1739 rows 700 cols
[2020-05-13 19:09:16] [INFO ] Computed 63 place invariants in 24 ms
[2020-05-13 19:09:32] [INFO ] Implicit Places using invariants and state equation in 16691 ms returned []
Implicit Place search using SMT with State Equation took 18964 ms to find 0 implicit places.
[2020-05-13 19:09:33] [INFO ] Redundant transitions in 135 ms returned []
// Phase 1: matrix 1739 rows 700 cols
[2020-05-13 19:09:33] [INFO ] Computed 63 place invariants in 26 ms
[2020-05-13 19:09:37] [INFO ] Dead Transitions using invariants and state equation in 4412 ms returned []
Finished structural reductions, in 1 iterations. Remains : 700/700 places, 1739/1739 transitions.
Incomplete random walk after 100000 steps, including 1577 resets, run finished after 443 ms. (steps per millisecond=225 ) properties seen :[0]
// Phase 1: matrix 1739 rows 700 cols
[2020-05-13 19:09:37] [INFO ] Computed 63 place invariants in 24 ms
[2020-05-13 19:09:38] [INFO ] [Real]Absence check using 16 positive place invariants in 62 ms returned sat
[2020-05-13 19:09:38] [INFO ] [Real]Absence check using 16 positive and 47 generalized place invariants in 59 ms returned sat
[2020-05-13 19:09:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:09:41] [INFO ] [Real]Absence check using state equation in 3660 ms returned sat
[2020-05-13 19:09:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-13 19:09:42] [INFO ] [Nat]Absence check using 16 positive place invariants in 30 ms returned sat
[2020-05-13 19:09:42] [INFO ] [Nat]Absence check using 16 positive and 47 generalized place invariants in 34 ms returned sat
[2020-05-13 19:09:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-13 19:09:46] [INFO ] [Nat]Absence check using state equation in 4692 ms returned sat
[2020-05-13 19:09:47] [INFO ] Computed and/alt/rep : 1694/21980/1694 causal constraints in 202 ms.
[2020-05-13 19:10:01] [INFO ] Added : 320 causal constraints over 64 iterations in 15017 ms. Result :unknown
Applied a total of 0 rules in 44 ms. Remains 700 /700 variables (removed 0) and now considering 1739/1739 (removed 0) transitions.
// Phase 1: matrix 1739 rows 700 cols
[2020-05-13 19:10:02] [INFO ] Computed 63 place invariants in 37 ms
[2020-05-13 19:10:02] [INFO ] [Real]Absence check using 16 positive place invariants in 49 ms returned sat
[2020-05-13 19:10:02] [INFO ] [Real]Absence check using 16 positive and 47 generalized place invariants in 59 ms returned sat
[2020-05-13 19:10:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-13 19:10:06] [INFO ] [Real]Absence check using state equation in 3573 ms returned sat
[2020-05-13 19:10:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-13 19:10:06] [INFO ] [Nat]Absence check using 16 positive place invariants in 40 ms returned sat
[2020-05-13 19:10:06] [INFO ] [Nat]Absence check using 16 positive and 47 generalized place invariants in 44 ms returned sat
[2020-05-13 19:10:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-13 19:10:10] [INFO ] [Nat]Absence check using state equation in 4341 ms returned sat
[2020-05-13 19:10:10] [INFO ] Computed and/alt/rep : 1694/21980/1694 causal constraints in 174 ms.
[2020-05-13 19:10:31] [INFO ] Added : 370 causal constraints over 74 iterations in 20328 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 158 ms.
[2020-05-13 19:10:31] [INFO ] Flatten gal took : 288 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-13 19:10:32] [INFO ] Applying decomposition
[2020-05-13 19:10:32] [INFO ] Input system was already deterministic with 1739 transitions.
[2020-05-13 19:10:32] [INFO ] Too many transitions (1739) to apply POR reductions. Disabling POR matrices.
[2020-05-13 19:10:32] [INFO ] Flatten gal took : 422 ms
[2020-05-13 19:10:32] [INFO ] Flatten gal took : 245 ms
[2020-05-13 19:10:32] [INFO ] Input system was already deterministic with 1739 transitions.
[2020-05-13 19:10:32] [INFO ] Built C files in 611ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph14046487224369795456.txt, -o, /tmp/graph14046487224369795456.bin, -w, /tmp/graph14046487224369795456.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph14046487224369795456.bin, -l, -1, -v, -w, /tmp/graph14046487224369795456.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-13 19:10:33] [INFO ] Decomposing Gal with order
[2020-05-13 19:10:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-13 19:10:33] [INFO ] Removed a total of 3463 redundant transitions.
[2020-05-13 19:10:34] [INFO ] Ran tautology test, simplified 0 / 1 in 1472 ms.
[2020-05-13 19:10:34] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-05(UNSAT) depth K=0 took 17 ms
[2020-05-13 19:10:34] [INFO ] Flatten gal took : 616 ms
[2020-05-13 19:10:34] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-05(UNSAT) depth K=1 took 11 ms
[2020-05-13 19:10:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 124 labels/synchronizations in 167 ms.
[2020-05-13 19:10:34] [INFO ] Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.pnml.gal : 77 ms
[2020-05-13 19:10:34] [INFO ] Time to serialize properties into /home/mcc/execution/ReachabilityCardinality.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/ReachabilityCardinality.pnml.gal, -t, CGAL, -reachable-file, ReachabilityCardinality.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityCardinality.pnml.gal -t CGAL -reachable-file ReachabilityCardinality.prop --nowitness
Loading property file ReachabilityCardinality.prop.
Read [invariant] property : ASLink-PT-09b-ReachabilityCardinality-05 with value :((i4.u41.p890==0)||(i5.u27.p507==1))
built 24 ordering constraints for composite.
built 141 ordering constraints for composite.
built 140 ordering constraints for composite.
built 145 ordering constraints for composite.
built 139 ordering constraints for composite.
built 138 ordering constraints for composite.
built 135 ordering constraints for composite.
built 120 ordering constraints for composite.
built 20 ordering constraints for composite.
built 132 ordering constraints for composite.
built 141 ordering constraints for composite.
built 139 ordering constraints for composite.
SDD proceeding with computation, new max is 4
SDD proceeding with computation, new max is 8
SDD proceeding with computation, new max is 16
SDD proceeding with computation, new max is 32
SDD proceeding with computation, new max is 64
SDD proceeding with computation, new max is 128
SDD proceeding with computation, new max is 256
SDD proceeding with computation, new max is 512
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 1739 rows 700 cols
[2020-05-13 19:10:35] [INFO ] Computed 63 place invariants in 37 ms
inv : p532 + p535 + p538 + p541 + p544 + p547 + p550 + p553 + p556 + p562 + p563 + p565 + p566 + p568 + p569 + p571 + p572 + p574 + p575 + p577 + p578 + p580 + p581 + p583 + p623 - p632 + p634 + p639 + p644 + p648 + p653 - p831 + p1217 + p1218 + p1226 = 1
inv : p59 + p70 + p73 + p78 + p436 = 1
inv : p3763 + p3766 + p3769 + p3772 + p3835 + p3849 + p3868 + p3876 + p3884 + p3892 + p3919 + p3938 + p3951 + p3997 = 1
inv : p893 + p897 + p901 + p905 + p909 + p913 + p917 + p921 + p1322 + p1325 + p1328 + p1331 + p1334 + p1337 + p1340 + p1343 + p1346 + p1353 + p1356 + p1359 + p1362 + p1365 + p1368 + p1371 + p1413 - p1422 + p1424 + p1429 + p1434 + p1438 + p1443 - p1621 + p2007 + p2008 + p2016 = 1
inv : p2902 + p2905 + p2908 + p2911 + p2914 + p2917 + p2920 + p2923 + p2926 + p2932 + p2933 + p2935 + p2936 + p2938 + p2939 + p2941 + p2942 + p2944 + p2945 + p2947 + p2948 + p2950 + p2951 + p2953 + p2993 - p3002 + p3004 + p3009 + p3014 + p3018 + p3023 - p3196 - p3201 = 0
inv : p1683 + p1687 + p1691 + p1695 + p1699 + p1703 + p1707 + p1711 - p2142 - p2145 - p2148 - p2151 - p2154 - p2157 - p2160 - p2163 = 0
inv : p2068 + p2075 + p2079 + p2083 + p2087 + p2091 + p2095 + p2099 + p2103 + p2142 + p2143 + p2145 + p2146 + p2148 + p2149 + p2151 + p2152 + p2154 + p2155 + p2157 + p2158 + p2160 + p2161 + p2163 - p2507 - p2510 - p2513 - p2516 - p2519 - p2522 - p2525 - p2528 - p2531 - p2538 - p2541 - p2544 - p2547 - p2550 - p2553 - p2556 - p2598 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 + p2806 - p3192 - p3193 - p3201 = 0
inv : p3253 + p3260 + p3264 + p3268 + p3272 + p3276 + p3280 + p3284 + p3288 - p3297 - p3299 - p3300 - p3302 - p3303 - p3305 - p3306 - p3308 - p3309 - p3311 - p3312 - p3314 - p3315 - p3317 - p3318 - p3320 - p3321 - p3388 - p3399 - p3404 - p3409 - p3413 - p3418 - p3458 - p3495 - p3529 - p3647 - p3650 - p3653 - p3656 - p3659 - p3662 - p3665 - p3668 - p3671 + p3763 + p3766 + p3769 + p3772 + p3951 + p3997 = 0
inv : p137 + p140 + p143 + p146 + p149 + p152 + p155 + p158 + p161 + p167 + p168 + p170 + p171 + p173 + p174 + p176 + p177 + p179 + p180 + p182 + p183 + p185 + p186 + p188 + p228 - p237 + p239 + p244 + p249 + p253 + p258 - p436 + p822 + p823 + p831 = 1
inv : p3591 + p3600 + p3603 + p3606 + p3609 - p3706 - p3709 - p3712 - p3715 - p3718 - p3721 - p3724 - p3727 - p3730 - p3733 - p3736 - p3763 - p3766 - p3769 - p3772 - p3835 - p3951 - p3997 = 0
inv : p3299 + p3302 + p3305 + p3308 + p3311 + p3314 + p3317 + p3320 + p3397 + p3458 + p3495 + p3529 + p3596 - p3600 - p3603 - p3606 - p3609 + p3706 + p3709 + p3712 + p3715 + p3718 + p3721 + p3724 + p3727 + p3730 + p3733 + p3736 + p3763 + p3766 + p3769 + p3772 + p3835 + p3951 + p3997 = 1
inv : p232 + p235 + p237 - p239 - p244 - p249 - p253 - p258 = 0
inv : p2602 + p2605 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 = 0
inv : p883 + p890 + p894 + p898 + p902 + p906 + p910 + p914 + p918 - p927 - p930 - p933 - p936 - p939 - p942 - p945 - p948 - p951 - p1018 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 + p1226 - p1322 - p1325 - p1328 - p1331 - p1334 - p1337 - p1340 - p1343 - p1346 - p1353 - p1356 - p1359 - p1362 - p1365 - p1368 - p1371 - p1413 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 - p1612 - p1613 - p2007 - p2008 - p2016 = -1
inv : p2507 + p2510 + p2513 + p2516 + p2519 + p2522 + p2525 + p2528 + p2531 + p2537 + p2538 + p2540 + p2541 + p2543 + p2544 + p2546 + p2547 + p2549 + p2550 + p2552 + p2553 + p2555 + p2556 + p2558 + p2598 - p2607 + p2609 + p2614 + p2619 + p2623 + p2628 - p2806 + p3192 + p3193 + p3201 = 1
inv : p1812 + p1815 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 = 0
inv : p12 + p16 + p20 + p24 + p28 + p32 + p36 + p40 + p44 + p167 + p170 + p173 + p176 + p179 + p182 + p185 + p188 = 1
inv : p2509 + p2512 + p2515 + p2518 + p2521 + p2524 + p2527 + p2530 + p2607 + p2668 + p2705 + p2739 + p2806 - p3192 - p3193 - p3201 = 0
inv : p929 + p932 + p935 + p938 + p941 + p944 + p947 + p950 + p1027 + p1088 + p1125 + p1159 + p1226 - p1612 - p1613 - p1621 = 0
inv : p1221 + p1612 + p1613 + p1621 = 1
inv : -p3299 - p3302 - p3305 - p3308 - p3311 - p3314 - p3317 - p3320 + p3600 + p3602 + p3603 = 0
inv : p19 + p23 + p27 + p31 + p35 + p39 + p43 + p47 - p167 - p170 - p173 - p176 - p179 - p182 - p185 - p188 = 0
inv : p927 + p930 + p933 + p936 + p939 + p942 + p945 + p948 + p951 + p957 + p958 + p960 + p961 + p963 + p964 + p966 + p967 + p969 + p970 + p972 + p973 + p975 + p976 + p978 + p979 + p1018 - p1027 + p1029 + p1034 + p1039 + p1043 + p1048 - p1226 + p1612 + p1613 + p1621 = 1
inv : p1616 + p2007 + p2008 + p2016 = 1
inv : p431 + p822 + p823 + p831 = 1
inv : p1322 + p1325 + p1328 + p1331 + p1334 + p1337 + p1340 + p1343 + p1346 + p1352 + p1353 + p1355 + p1356 + p1358 + p1359 + p1361 + p1362 + p1364 + p1365 + p1367 + p1368 + p1370 + p1371 + p1373 + p1413 - p1422 + p1424 + p1429 + p1434 + p1438 + p1443 - p1621 + p2007 + p2008 + p2016 = 1
inv : p2997 + p3000 + p3002 - p3004 - p3009 - p3014 - p3018 - p3023 = 0
inv : p3263 + p3267 + p3271 + p3275 + p3279 + p3283 + p3287 + p3291 + p3647 + p3650 + p3653 + p3656 + p3659 + p3662 + p3665 + p3668 + p3671 - p3763 - p3766 - p3769 - p3772 - p3951 - p3997 = 0
inv : p1278 + p1285 + p1289 + p1293 + p1297 + p1301 + p1305 + p1309 + p1313 - p1322 - p1325 - p1328 - p1331 - p1334 - p1337 - p1340 - p1343 - p1346 - p1413 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 + p1621 - p1717 - p1720 - p1723 - p1726 - p1729 - p1732 - p1735 - p1738 - p1741 - p1748 - p1751 - p1754 - p1757 - p1760 - p1763 - p1766 - p1808 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 - p2007 - p2008 - p2402 - p2403 - p2411 = -1
inv : p103 + p107 + p111 + p115 + p119 + p123 + p127 + p131 - p562 - p565 - p568 - p571 - p574 - p577 - p580 - p583 = 0
inv : p3705 + p3706 + p3709 + p3712 + p3714 + p3715 + p3717 + p3718 + p3720 + p3721 + p3723 + p3724 + p3726 + p3727 + p3729 + p3730 + p3732 + p3733 + p3735 + p3736 + p3763 + p3766 + p3769 + p3772 + p3835 + p3951 + p3997 = 1
inv : p1417 + p1420 + p1422 - p1424 - p1429 - p1434 - p1438 - p1443 = 0
inv : p1288 + p1292 + p1296 + p1300 + p1304 + p1308 + p1312 + p1316 + p1717 + p1720 + p1723 + p1726 + p1729 + p1732 + p1735 + p1738 + p1741 + p1748 + p1751 + p1754 + p1757 + p1760 + p1763 + p1766 + p1808 - p1817 + p1819 + p1824 + p1829 + p1833 + p1838 - p2016 + p2402 + p2403 + p2411 = 1
inv : p2858 + p2865 + p2869 + p2873 + p2877 + p2881 + p2885 + p2889 + p2893 + p2932 + p2933 + p2935 + p2936 + p2938 + p2939 + p2941 + p2942 + p2944 + p2945 + p2947 + p2948 + p2950 + p2951 + p2953 - p3297 - p3299 - p3300 - p3302 - p3303 - p3305 - p3306 - p3308 - p3309 - p3311 - p3312 - p3314 - p3315 - p3317 - p3318 - p3320 - p3321 - p3328 - p3331 - p3334 - p3337 - p3340 - p3343 - p3346 - p3388 - p3399 - p3404 - p3409 - p3413 - p3418 - p3458 - p3495 - p3529 = 0
inv : p3647 + p3649 + p3650 + p3652 + p3653 + p3655 + p3656 + p3658 + p3659 + p3661 + p3662 + p3664 + p3665 + p3667 + p3668 + p3670 + p3671 - p3763 - p3766 - p3769 - p3772 - p3951 - p3997 = 0
inv : p3709 + p3763 + p3766 + p3769 + p3772 + p3835 + p3839 + p3850 + p3951 + p3997 = 1
inv : p1717 + p1720 + p1723 + p1726 + p1729 + p1732 + p1735 + p1738 + p1741 + p1747 + p1748 + p1750 + p1751 + p1753 + p1754 + p1756 + p1757 + p1759 + p1760 + p1762 + p1763 + p1765 + p1766 + p1768 + p1808 - p1817 + p1819 + p1824 + p1829 + p1833 + p1838 - p2016 + p2402 + p2403 + p2411 = 1
inv : p2801 + p3192 + p3193 + p3201 = 1
inv : p2463 + p2470 + p2474 + p2478 + p2482 + p2486 + p2490 + p2494 + p2498 - p2507 - p2510 - p2513 - p2516 - p2519 - p2522 - p2525 - p2528 - p2531 - p2598 + p2607 - p2609 - p2614 - p2619 - p2623 - p2628 + p2806 + p2932 + p2935 + p2938 + p2941 + p2944 + p2947 + p2950 + p2953 - p3192 - p3193 - p3201 = 0
inv : p93 + p100 + p104 + p108 + p112 + p116 + p120 + p124 + p128 + p167 + p168 + p170 + p171 + p173 + p174 + p176 + p177 + p179 + p180 + p182 + p183 + p185 + p186 + p188 + p562 + p565 + p568 + p571 + p574 + p577 + p580 + p583 = 1
inv : p2406 + p2797 + p2798 + p2806 = 1
inv : p498 + p502 + p506 + p510 + p514 + p518 + p522 + p526 + p927 + p930 + p933 + p936 + p939 + p942 + p945 + p948 + p951 + p958 + p961 + p964 + p967 + p970 + p973 + p976 + p979 + p1018 - p1027 + p1029 + p1034 + p1039 + p1043 + p1048 - p1226 + p1612 + p1613 + p1621 = 1
inv : p2114 + p2117 + p2120 + p2123 + p2126 + p2129 + p2132 + p2135 + p2212 + p2273 + p2310 + p2344 + p2411 - p2797 - p2798 - p2806 = 0
inv : p1673 + p1680 + p1684 + p1688 + p1692 + p1696 + p1700 + p1704 + p1708 - p1717 - p1720 - p1723 - p1726 - p1729 - p1732 - p1735 - p1738 - p1741 - p1808 + p1817 - p1819 - p1824 - p1829 - p1833 - p1838 + p2016 + p2142 + p2145 + p2148 + p2151 + p2154 + p2157 + p2160 + p2163 - p2402 - p2403 - p2411 = 0
inv : p3196 - p3299 - p3302 - p3305 - p3308 - p3311 - p3314 - p3317 - p3320 - p3397 - p3458 - p3495 - p3529 + p3587 + p3588 + p3600 + p3603 + p3606 + p3609 - p3706 - p3709 - p3712 - p3715 - p3718 - p3721 - p3724 - p3727 - p3730 - p3733 - p3736 - p3763 - p3766 - p3769 - p3772 - p3835 - p3951 - p3997 = 0
inv : p3297 + p3299 + p3300 + p3302 + p3303 + p3305 + p3306 + p3308 + p3309 + p3311 + p3312 + p3314 + p3315 + p3317 + p3318 + p3320 + p3321 + p3327 + p3328 + p3330 + p3331 + p3333 + p3334 + p3336 + p3337 + p3339 + p3340 + p3342 + p3343 + p3345 + p3346 + p3348 + p3388 + p3399 + p3404 + p3409 + p3413 + p3418 + p3458 + p3495 + p3529 = 1
inv : p2904 + p2907 + p2910 + p2913 + p2916 + p2919 + p2922 + p2925 + p3002 + p3063 + p3100 + p3134 + p3196 + p3201 = 1
inv : p2011 + p2402 + p2403 + p2411 = 1
inv : p488 + p495 + p499 + p503 + p507 + p511 + p515 + p519 + p523 + p562 + p563 + p565 + p566 + p568 + p569 + p571 + p572 + p574 + p575 + p577 + p578 + p580 + p581 + p583 - p927 - p930 - p933 - p936 - p939 - p942 - p945 - p948 - p951 - p958 - p961 - p964 - p967 - p970 - p973 - p976 - p979 - p1018 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 + p1226 - p1612 - p1613 - p1621 = 0
inv : p2473 + p2477 + p2481 + p2485 + p2489 + p2493 + p2497 + p2501 - p2932 - p2935 - p2938 - p2941 - p2944 - p2947 - p2950 - p2953 = 0
inv : p534 + p537 + p540 + p543 + p546 + p549 + p552 + p555 + p632 + p693 + p730 + p764 + p831 - p1217 - p1218 - p1226 = 0
inv : p1719 + p1722 + p1725 + p1728 + p1731 + p1734 + p1737 + p1740 + p1817 + p1878 + p1915 + p1949 + p2016 - p2402 - p2403 - p2411 = 0
inv : p627 + p630 + p632 - p634 - p639 - p644 - p648 - p653 = 0
inv : p1022 + p1025 + p1027 - p1029 - p1034 - p1039 - p1043 - p1048 = 0
inv : p3392 + p3395 + p3397 - p3399 - p3404 - p3409 - p3413 - p3418 = 0
inv : p2207 + p2210 + p2212 - p2214 - p2219 - p2224 - p2228 - p2233 = 0
inv : p2078 + p2082 + p2086 + p2090 + p2094 + p2098 + p2102 + p2106 + p2507 + p2510 + p2513 + p2516 + p2519 + p2522 + p2525 + p2528 + p2531 + p2538 + p2541 + p2544 + p2547 + p2550 + p2553 + p2556 + p2598 - p2607 + p2609 + p2614 + p2619 + p2623 + p2628 - p2806 + p3192 + p3193 + p3201 = 1
inv : p826 + p1217 + p1218 + p1226 = 1
inv : p2112 + p2115 + p2118 + p2121 + p2124 + p2127 + p2130 + p2133 + p2136 + p2142 + p2143 + p2145 + p2146 + p2148 + p2149 + p2151 + p2152 + p2154 + p2155 + p2157 + p2158 + p2160 + p2161 + p2163 + p2203 - p2212 + p2214 + p2219 + p2224 + p2228 + p2233 - p2411 + p2797 + p2798 + p2806 = 1
inv : -p3397 - p3458 - p3495 - p3529 + p3606 + p3608 + p3609 = 0
inv : p2868 + p2872 + p2876 + p2880 + p2884 + p2888 + p2892 + p2896 + p3297 + p3299 + p3300 + p3302 + p3303 + p3305 + p3306 + p3308 + p3309 + p3311 + p3312 + p3314 + p3315 + p3317 + p3318 + p3320 + p3321 + p3328 + p3331 + p3334 + p3337 + p3340 + p3343 + p3346 + p3388 + p3399 + p3404 + p3409 + p3413 + p3418 + p3458 + p3495 + p3529 = 1
inv : p1324 + p1327 + p1330 + p1333 + p1336 + p1339 + p1342 + p1345 + p1422 + p1483 + p1520 + p1554 + p1621 - p2007 - p2008 - p2016 = 0
inv : p139 + p142 + p145 + p148 + p151 + p154 + p157 + p160 + p237 + p298 + p335 + p369 + p436 - p822 - p823 - p831 = 0
Total of 63 invariants.
[2020-05-13 19:10:35] [INFO ] Computed 63 place invariants in 48 ms
SDD proceeding with computation, new max is 1024
SDD proceeding with computation, new max is 2048
SDD proceeding with computation, new max is 4096
SDD proceeding with computation, new max is 8192
[2020-05-13 19:10:37] [INFO ] Proved 700 variables to be positive in 2019 ms
[2020-05-13 19:10:37] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesASLink-PT-09b-ReachabilityCardinality-05
[2020-05-13 19:10:37] [INFO ] KInduction solution for property ASLink-PT-09b-ReachabilityCardinality-05(SAT) depth K=0 took 92 ms
SDD proceeding with computation, new max is 16384
SDD proceeding with computation, new max is 32768
[2020-05-13 19:10:53] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-05(UNSAT) depth K=2 took 19177 ms
Compilation finished in 27466 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 114 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ASLinkPT09bReachabilityCardinality05==true], workingDir=/home/mcc/execution]
/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc: error while loading shared libraries: libltdl.so.7: cannot open shared object file: No such file or directory
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ASLinkPT09bReachabilityCardinality05==true], workingDir=/home/mcc/execution]
127
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -i, ASLinkPT09bReachabilityCardinality05==true], workingDir=/home/mcc/execution]
127
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:170)
at fr.lip6.move.gal.application.LTSminRunner.access$10(LTSminRunner.java:124)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:834)
SDD proceeding with computation, new max is 65536
SDD proceeding with computation, new max is 131072
SDD proceeding with computation, new max is 262144
[2020-05-13 19:15:41] [INFO ] BMC solution for property ASLink-PT-09b-ReachabilityCardinality-05(UNSAT) depth K=3 took 288298 ms
Detected timeout of ITS tools.
[2020-05-13 19:32:51] [INFO ] Applying decomposition
[2020-05-13 19:32:52] [INFO ] Flatten gal took : 446 ms
[2020-05-13 19:32:52] [INFO ] Decomposing Gal with order
[2020-05-13 19:32:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-13 19:32:53] [INFO ] Removed a total of 3298 redundant transitions.
[2020-05-13 19:32:54] [INFO ] Flatten gal took : 1020 ms
[2020-05-13 19:32:55] [INFO ] Fuse similar labels procedure discarded/fused a total of 1385 labels/synchronizations in 606 ms.
[2020-05-13 19:32:55] [INFO ] Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.pnml.gal : 114 ms
[2020-05-13 19:32:55] [INFO ] Time to serialize properties into /home/mcc/execution/ReachabilityCardinality.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/ReachabilityCardinality.pnml.gal, -t, CGAL, -reachable-file, ReachabilityCardinality.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityCardinality.pnml.gal -t CGAL -reachable-file ReachabilityCardinality.prop --nowitness
Loading property file ReachabilityCardinality.prop.
Read [invariant] property : ASLink-PT-09b-ReachabilityCardinality-05 with value :((i0.i0.i0.i0.i0.i0.i0.i1.u117.p890==0)||(i0.i0.i0.i0.i0.i0.i0.i0.i1.u70.p507==1))
built 1 ordering constraints for composite.
built 9 ordering constraints for composite.
built 23 ordering constraints for composite.
built 21 ordering constraints for composite.
built 21 ordering constraints for composite.
built 23 ordering constraints for composite.
built 21 ordering constraints for composite.
built 21 ordering constraints for composite.
built 36 ordering constraints for composite.
built 21 ordering constraints for composite.
built 37 ordering constraints for composite.
built 21 ordering constraints for composite.
built 5 ordering constraints for composite.
built 33 ordering constraints for composite.
built 37 ordering constraints for composite.
built 37 ordering constraints for composite.
built 37 ordering constraints for composite.
built 37 ordering constraints for composite.
built 37 ordering constraints for composite.
built 32 ordering constraints for composite.
built 7 ordering constraints for composite.
built 12 ordering constraints for composite.
built 27 ordering constraints for composite.
SDD proceeding with computation, new max is 4
SDD proceeding with computation, new max is 8
SDD proceeding with computation, new max is 16
SDD proceeding with computation, new max is 32
SDD proceeding with computation, new max is 64
SDD proceeding with computation, new max is 128
SDD proceeding with computation, new max is 256
Invariant property ASLink-PT-09b-ReachabilityCardinality-05 does not hold.
FORMULA ASLink-PT-09b-ReachabilityCardinality-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 257 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,7.1268e+11,0.491333,14772,4202,241,17276,784,737,31294,129,1874,0
Total reachable state count : 712680036224

Verifying 1 reachability properties.
Invariant property ASLink-PT-09b-ReachabilityCardinality-05 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
ASLink-PT-09b-ReachabilityCardinality-05,184320,0.498505,14772,174,63,17276,784,774,31294,134,1874,1227
[2020-05-13 19:32:55] [WARNING] Interrupting SMT solver.
[2020-05-13 19:32:55] [WARNING] SMT solver unexpectedly returned 'unknown' answer, retrying.
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:305)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:278)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:170)
at java.base/java.lang.Thread.run(Thread.java:834)
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:384)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$0(Gal2SMTFrontEnd.java:356)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:163)
at java.base/java.lang.Thread.run(Thread.java:834)
[2020-05-13 19:32:55] [WARNING] Unexpected error occurred while running SMT. Was verifying ASLink-PT-09b-ReachabilityCardinality-05 K-induction depth 1
Exception in thread "Thread-5" java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:343)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:278)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:170)
at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:305)
... 3 more
[2020-05-13 19:32:55] [WARNING] Unexpected error occurred while running SMT. Was verifying ASLink-PT-09b-ReachabilityCardinality-05 SMT depth 4
java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:410)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$0(Gal2SMTFrontEnd.java:356)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:163)
at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:384)
... 3 more
[2020-05-13 19:32:55] [INFO ] During BMC, SMT solver timed out at depth 4
[2020-05-13 19:32:55] [INFO ] BMC solving timed out (3600000 secs) at depth 4
[2020-05-13 19:32:55] [INFO ] SMT solved 0/ 1 properties. Interrupting SMT analysis.

BK_STOP 1589398378568

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

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="ASLink-PT-09b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
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 itstools"
echo " Input is ASLink-PT-09b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r006-smll-158897515600151"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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