fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r007-tall-162037989600154
Last Updated
Jun 28, 2021

About the Execution of ITS-Tools for ASLink-PT-10a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
14685.159 3600000.00 3420922.00 102498.30 T?FFFFFFFF?FF?TF normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r007-tall-162037989600154.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-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-10a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989600154
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 170K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 97K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 920K May 5 16:51 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-10a-00
FORMULA_NAME ASLink-PT-10a-01
FORMULA_NAME ASLink-PT-10a-02
FORMULA_NAME ASLink-PT-10a-03
FORMULA_NAME ASLink-PT-10a-04
FORMULA_NAME ASLink-PT-10a-05
FORMULA_NAME ASLink-PT-10a-06
FORMULA_NAME ASLink-PT-10a-07
FORMULA_NAME ASLink-PT-10a-08
FORMULA_NAME ASLink-PT-10a-09
FORMULA_NAME ASLink-PT-10a-10
FORMULA_NAME ASLink-PT-10a-11
FORMULA_NAME ASLink-PT-10a-12
FORMULA_NAME ASLink-PT-10a-13
FORMULA_NAME ASLink-PT-10a-14
FORMULA_NAME ASLink-PT-10a-15

=== Now, execution of the tool begins

BK_START 1620443357032

Running Version 0
[2021-05-08 03:09:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-08 03:09:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 03:09:29] [INFO ] Load time of PNML (sax parser for PT used): 171 ms
[2021-05-08 03:09:29] [INFO ] Transformed 2186 places.
[2021-05-08 03:09:29] [INFO ] Transformed 3192 transitions.
[2021-05-08 03:09:29] [INFO ] Found NUPN structural information;
[2021-05-08 03:09:29] [INFO ] Parsed PT model containing 2186 places and 3192 transitions in 252 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 11 ms.
Working with output stream class java.io.PrintStream
[2021-05-08 03:09:29] [INFO ] Initial state test concluded for 3 properties.
Ensure Unique test removed 34 transitions
Reduce redundant transitions removed 34 transitions.
FORMULA ASLink-PT-10a-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10a-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 42 out of 2186 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2186/2186 places, 3158/3158 transitions.
Ensure Unique test removed 40 places
Discarding 20 places :
Implicit places reduction removed 20 places
Iterating post reduction 0 with 60 rules applied. Total rules applied 60 place count 2126 transition count 3158
Discarding 15 places :
Symmetric choice reduction at 1 with 15 rule applications. Total rules 75 place count 2111 transition count 3085
Ensure Unique test removed 1 places
Iterating global reduction 1 with 16 rules applied. Total rules applied 91 place count 2110 transition count 3085
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 93 place count 2110 transition count 3083
Applied a total of 93 rules in 555 ms. Remains 2110 /2186 variables (removed 76) and now considering 3083/3158 (removed 75) transitions.
// Phase 1: matrix 3083 rows 2110 cols
[2021-05-08 03:09:30] [INFO ] Computed 361 place invariants in 239 ms
[2021-05-08 03:09:32] [INFO ] Implicit Places using invariants in 1712 ms returned [1, 19, 20, 23, 33, 51, 69, 198, 214, 219, 220, 221, 239, 257, 386, 402, 407, 408, 409, 427, 445, 574, 590, 595, 596, 597, 615, 633, 762, 778, 783, 784, 785, 803, 821, 966, 971, 972, 973, 991, 1009, 1138, 1154, 1159, 1161, 1179, 1197, 1326, 1342, 1347, 1348, 1349, 1367, 1385, 1514, 1530, 1535, 1536, 1537, 1555, 1573, 1702, 1718, 1723, 1724, 1725, 1743, 1761, 1890, 1895, 1907, 1912, 1913, 1914, 1948, 1950, 1953, 1971, 1972, 1973, 1974, 1991, 1999, 2007, 2013, 2019, 2025, 2031, 2039, 2045, 2051, 2059]
Discarding 92 places :
Implicit Place search using SMT only with invariants took 1754 ms to find 92 implicit places.
// Phase 1: matrix 3083 rows 2018 cols
[2021-05-08 03:09:32] [INFO ] Computed 269 place invariants in 153 ms
[2021-05-08 03:09:34] [INFO ] Dead Transitions using invariants and state equation in 1770 ms returned []
Starting structural reductions, iteration 1 : 2018/2186 places, 3083/3158 transitions.
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 13 place count 2005 transition count 3070
Iterating global reduction 0 with 13 rules applied. Total rules applied 26 place count 2005 transition count 3070
Discarding 10 places :
Symmetric choice reduction at 0 with 10 rule applications. Total rules 36 place count 1995 transition count 3060
Iterating global reduction 0 with 10 rules applied. Total rules applied 46 place count 1995 transition count 3060
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 51 place count 1990 transition count 3055
Iterating global reduction 0 with 5 rules applied. Total rules applied 56 place count 1990 transition count 3055
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 58 place count 1988 transition count 3053
Iterating global reduction 0 with 2 rules applied. Total rules applied 60 place count 1988 transition count 3053
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 62 place count 1986 transition count 3051
Iterating global reduction 0 with 2 rules applied. Total rules applied 64 place count 1986 transition count 3051
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 65 place count 1985 transition count 3050
Iterating global reduction 0 with 1 rules applied. Total rules applied 66 place count 1985 transition count 3050
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 67 place count 1984 transition count 3049
Iterating global reduction 0 with 1 rules applied. Total rules applied 68 place count 1984 transition count 3049
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 69 place count 1983 transition count 3048
Iterating global reduction 0 with 1 rules applied. Total rules applied 70 place count 1983 transition count 3048
Applied a total of 70 rules in 614 ms. Remains 1983 /2018 variables (removed 35) and now considering 3048/3083 (removed 35) transitions.
// Phase 1: matrix 3048 rows 1983 cols
[2021-05-08 03:09:34] [INFO ] Computed 269 place invariants in 37 ms
[2021-05-08 03:09:35] [INFO ] Implicit Places using invariants in 895 ms returned []
// Phase 1: matrix 3048 rows 1983 cols
[2021-05-08 03:09:35] [INFO ] Computed 269 place invariants in 38 ms
[2021-05-08 03:09:38] [INFO ] Implicit Places using invariants and state equation in 2784 ms returned []
Implicit Place search using SMT with State Equation took 3681 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 1983/2186 places, 3048/3158 transitions.
[2021-05-08 03:09:38] [INFO ] Initial state reduction rules for LTL removed 2 formulas.
[2021-05-08 03:09:38] [INFO ] Flatten gal took : 264 ms
FORMULA ASLink-PT-10a-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10a-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-08 03:09:39] [INFO ] Flatten gal took : 157 ms
[2021-05-08 03:09:39] [INFO ] Input system was already deterministic with 3048 transitions.
Incomplete random walk after 100000 steps, including 417 resets, run finished after 782 ms. (steps per millisecond=127 ) properties (out of 20) seen :6
Running SMT prover for 14 properties.
// Phase 1: matrix 3048 rows 1983 cols
[2021-05-08 03:09:48] [INFO ] Computed 269 place invariants in 36 ms
[2021-05-08 03:09:48] [INFO ] [Real]Absence check using 62 positive place invariants in 33 ms returned sat
[2021-05-08 03:09:48] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 45 ms returned sat
[2021-05-08 03:09:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:09:49] [INFO ] [Real]Absence check using state equation in 948 ms returned sat
[2021-05-08 03:09:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:09:49] [INFO ] [Nat]Absence check using 62 positive place invariants in 32 ms returned sat
[2021-05-08 03:09:50] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 46 ms returned sat
[2021-05-08 03:09:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:09:56] [INFO ] [Nat]Absence check using state equation in 6882 ms returned unknown
[2021-05-08 03:09:57] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:09:57] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 48 ms returned sat
[2021-05-08 03:09:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:09:58] [INFO ] [Real]Absence check using state equation in 1348 ms returned sat
[2021-05-08 03:09:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:10:05] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:10:05] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 45 ms returned sat
[2021-05-08 03:10:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:07] [INFO ] [Real]Absence check using state equation in 1262 ms returned sat
[2021-05-08 03:10:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:10:07] [INFO ] [Nat]Absence check using 62 positive place invariants in 31 ms returned sat
[2021-05-08 03:10:07] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:10:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:12] [INFO ] [Nat]Absence check using state equation in 4653 ms returned unknown
[2021-05-08 03:10:12] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:10:12] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:10:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:13] [INFO ] [Real]Absence check using state equation in 1108 ms returned sat
[2021-05-08 03:10:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:10:13] [INFO ] [Nat]Absence check using 62 positive place invariants in 31 ms returned sat
[2021-05-08 03:10:13] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 43 ms returned sat
[2021-05-08 03:10:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:21] [INFO ] [Nat]Absence check using state equation in 7565 ms returned unknown
[2021-05-08 03:10:21] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:10:21] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:10:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:22] [INFO ] [Real]Absence check using state equation in 1125 ms returned sat
[2021-05-08 03:10:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:10:22] [INFO ] [Nat]Absence check using 62 positive place invariants in 32 ms returned sat
[2021-05-08 03:10:23] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 45 ms returned sat
[2021-05-08 03:10:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:29] [INFO ] [Nat]Absence check using state equation in 6561 ms returned unsat
[2021-05-08 03:10:29] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:10:29] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 46 ms returned sat
[2021-05-08 03:10:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:30] [INFO ] [Real]Absence check using state equation in 1073 ms returned sat
[2021-05-08 03:10:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:10:31] [INFO ] [Nat]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:10:31] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 43 ms returned sat
[2021-05-08 03:10:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:37] [INFO ] [Nat]Absence check using state equation in 6635 ms returned unknown
[2021-05-08 03:10:38] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:10:38] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 42 ms returned sat
[2021-05-08 03:10:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:39] [INFO ] [Real]Absence check using state equation in 1060 ms returned sat
[2021-05-08 03:10:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:10:39] [INFO ] [Nat]Absence check using 62 positive place invariants in 31 ms returned sat
[2021-05-08 03:10:39] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 43 ms returned sat
[2021-05-08 03:10:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:10:40] [INFO ] [Nat]Absence check using state equation in 1104 ms returned sat
[2021-05-08 03:10:40] [INFO ] Computed and/alt/rep : 1315/3076/1315 causal constraints (skipped 1732 transitions) in 168 ms.
[2021-05-08 03:11:00] [INFO ] Deduced a trap composed of 5 places in 1044 ms of which 17 ms to minimize.
[2021-05-08 03:11:00] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 6
[2021-05-08 03:11:00] [INFO ] [Real]Absence check using 62 positive place invariants in 40 ms returned sat
[2021-05-08 03:11:00] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:11:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:01] [INFO ] [Real]Absence check using state equation in 1066 ms returned sat
[2021-05-08 03:11:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:11:02] [INFO ] [Nat]Absence check using 62 positive place invariants in 31 ms returned sat
[2021-05-08 03:11:02] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:11:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:09] [INFO ] [Nat]Absence check using state equation in 7430 ms returned unknown
[2021-05-08 03:11:09] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:11:09] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 46 ms returned sat
[2021-05-08 03:11:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:11] [INFO ] [Real]Absence check using state equation in 1431 ms returned sat
[2021-05-08 03:11:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:11:11] [INFO ] [Nat]Absence check using 62 positive place invariants in 31 ms returned sat
[2021-05-08 03:11:11] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 47 ms returned sat
[2021-05-08 03:11:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:13] [INFO ] [Nat]Absence check using state equation in 1555 ms returned sat
[2021-05-08 03:11:13] [INFO ] Deduced a trap composed of 50 places in 104 ms of which 1 ms to minimize.
[2021-05-08 03:11:13] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 335 ms
[2021-05-08 03:11:13] [INFO ] Computed and/alt/rep : 1315/3076/1315 causal constraints (skipped 1732 transitions) in 196 ms.
[2021-05-08 03:11:31] [INFO ] Added : 360 causal constraints over 72 iterations in 17837 ms. Result :unknown
[2021-05-08 03:11:31] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:11:31] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 46 ms returned sat
[2021-05-08 03:11:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:32] [INFO ] [Real]Absence check using state equation in 876 ms returned sat
[2021-05-08 03:11:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:11:32] [INFO ] [Nat]Absence check using 62 positive place invariants in 32 ms returned sat
[2021-05-08 03:11:32] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 46 ms returned sat
[2021-05-08 03:11:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:35] [INFO ] [Nat]Absence check using state equation in 2636 ms returned unsat
[2021-05-08 03:11:35] [INFO ] [Real]Absence check using 62 positive place invariants in 29 ms returned sat
[2021-05-08 03:11:35] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:11:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:36] [INFO ] [Real]Absence check using state equation in 1184 ms returned sat
[2021-05-08 03:11:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:11:37] [INFO ] [Nat]Absence check using 62 positive place invariants in 34 ms returned sat
[2021-05-08 03:11:37] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 47 ms returned sat
[2021-05-08 03:11:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:38] [INFO ] [Nat]Absence check using state equation in 1458 ms returned sat
[2021-05-08 03:11:39] [INFO ] Computed and/alt/rep : 1315/3076/1315 causal constraints (skipped 1732 transitions) in 212 ms.
[2021-05-08 03:11:58] [INFO ] Deduced a trap composed of 5 places in 1014 ms of which 17 ms to minimize.
[2021-05-08 03:11:58] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 10
[2021-05-08 03:11:58] [INFO ] [Real]Absence check using 62 positive place invariants in 41 ms returned sat
[2021-05-08 03:11:58] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:11:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:11:59] [INFO ] [Real]Absence check using state equation in 1229 ms returned sat
[2021-05-08 03:11:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:11:59] [INFO ] [Nat]Absence check using 62 positive place invariants in 31 ms returned sat
[2021-05-08 03:11:59] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 43 ms returned sat
[2021-05-08 03:11:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:12:02] [INFO ] [Nat]Absence check using state equation in 2241 ms returned unsat
[2021-05-08 03:12:02] [INFO ] [Real]Absence check using 62 positive place invariants in 29 ms returned sat
[2021-05-08 03:12:02] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 46 ms returned sat
[2021-05-08 03:12:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:12:03] [INFO ] [Real]Absence check using state equation in 1355 ms returned sat
[2021-05-08 03:12:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:12:03] [INFO ] [Nat]Absence check using 62 positive place invariants in 32 ms returned sat
[2021-05-08 03:12:04] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 46 ms returned sat
[2021-05-08 03:12:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:12:06] [INFO ] [Nat]Absence check using state equation in 2312 ms returned unsat
[2021-05-08 03:12:06] [INFO ] [Real]Absence check using 62 positive place invariants in 30 ms returned sat
[2021-05-08 03:12:06] [INFO ] [Real]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:12:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 03:12:07] [INFO ] [Real]Absence check using state equation in 1070 ms returned sat
[2021-05-08 03:12:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-08 03:12:07] [INFO ] [Nat]Absence check using 62 positive place invariants in 31 ms returned sat
[2021-05-08 03:12:08] [INFO ] [Nat]Absence check using 62 positive and 207 generalized place invariants in 44 ms returned sat
[2021-05-08 03:12:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 03:12:09] [INFO ] [Nat]Absence check using state equation in 998 ms returned unsat
Successfully simplified 5 atomic propositions for a total of 12 simplifications.
[2021-05-08 03:12:09] [INFO ] Initial state test concluded for 2 properties.
FORMULA ASLink-PT-10a-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10a-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F((p0 U (p1||G(p0))))))], workingDir=/home/mcc/execution]
Support contains 4 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 388 transitions
Trivial Post-agglo rules discarded 388 transitions
Performed 388 trivial Post agglomeration. Transition count delta: 388
Iterating post reduction 0 with 388 rules applied. Total rules applied 388 place count 1982 transition count 2659
Reduce places removed 398 places and 0 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 408 rules applied. Total rules applied 796 place count 1584 transition count 2649
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 806 place count 1574 transition count 2649
Performed 281 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 281 Pre rules applied. Total rules applied 806 place count 1574 transition count 2368
Deduced a syphon composed of 281 places in 2 ms
Ensure Unique test removed 85 places
Reduce places removed 366 places and 0 transitions.
Iterating global reduction 3 with 647 rules applied. Total rules applied 1453 place count 1208 transition count 2368
Discarding 25 places :
Implicit places reduction removed 25 places
Drop transitions removed 33 transitions
Trivial Post-agglo rules discarded 33 transitions
Performed 33 trivial Post agglomeration. Transition count delta: 33
Iterating post reduction 3 with 58 rules applied. Total rules applied 1511 place count 1183 transition count 2335
Reduce places removed 34 places and 0 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 4 with 36 rules applied. Total rules applied 1547 place count 1149 transition count 2333
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1549 place count 1147 transition count 2333
Performed 41 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 41 Pre rules applied. Total rules applied 1549 place count 1147 transition count 2292
Deduced a syphon composed of 41 places in 3 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 6 with 82 rules applied. Total rules applied 1631 place count 1106 transition count 2292
Discarding 16 places :
Symmetric choice reduction at 6 with 16 rule applications. Total rules 1647 place count 1090 transition count 2269
Iterating global reduction 6 with 16 rules applied. Total rules applied 1663 place count 1090 transition count 2269
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 6 with 14 rules applied. Total rules applied 1677 place count 1090 transition count 2255
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 1678 place count 1089 transition count 2255
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 1678 place count 1089 transition count 2254
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 1680 place count 1088 transition count 2254
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1681 place count 1087 transition count 2246
Iterating global reduction 8 with 1 rules applied. Total rules applied 1682 place count 1087 transition count 2246
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1683 place count 1086 transition count 2238
Iterating global reduction 8 with 1 rules applied. Total rules applied 1684 place count 1086 transition count 2238
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1685 place count 1085 transition count 2230
Iterating global reduction 8 with 1 rules applied. Total rules applied 1686 place count 1085 transition count 2230
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1687 place count 1084 transition count 2222
Iterating global reduction 8 with 1 rules applied. Total rules applied 1688 place count 1084 transition count 2222
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1689 place count 1083 transition count 2214
Iterating global reduction 8 with 1 rules applied. Total rules applied 1690 place count 1083 transition count 2214
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1691 place count 1082 transition count 2206
Iterating global reduction 8 with 1 rules applied. Total rules applied 1692 place count 1082 transition count 2206
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1693 place count 1081 transition count 2198
Iterating global reduction 8 with 1 rules applied. Total rules applied 1694 place count 1081 transition count 2198
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1695 place count 1080 transition count 2190
Iterating global reduction 8 with 1 rules applied. Total rules applied 1696 place count 1080 transition count 2190
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1697 place count 1079 transition count 2182
Iterating global reduction 8 with 1 rules applied. Total rules applied 1698 place count 1079 transition count 2182
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1699 place count 1078 transition count 2174
Iterating global reduction 8 with 1 rules applied. Total rules applied 1700 place count 1078 transition count 2174
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1701 place count 1077 transition count 2166
Iterating global reduction 8 with 1 rules applied. Total rules applied 1702 place count 1077 transition count 2166
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1703 place count 1076 transition count 2158
Iterating global reduction 8 with 1 rules applied. Total rules applied 1704 place count 1076 transition count 2158
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1705 place count 1075 transition count 2150
Iterating global reduction 8 with 1 rules applied. Total rules applied 1706 place count 1075 transition count 2150
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1707 place count 1074 transition count 2142
Iterating global reduction 8 with 1 rules applied. Total rules applied 1708 place count 1074 transition count 2142
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1709 place count 1073 transition count 2134
Iterating global reduction 8 with 1 rules applied. Total rules applied 1710 place count 1073 transition count 2134
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 2 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 8 with 188 rules applied. Total rules applied 1898 place count 979 transition count 2040
Applied a total of 1898 rules in 887 ms. Remains 979 /1983 variables (removed 1004) and now considering 2040/3048 (removed 1008) transitions.
// Phase 1: matrix 2040 rows 979 cols
[2021-05-08 03:12:09] [INFO ] Computed 148 place invariants in 23 ms
[2021-05-08 03:12:10] [INFO ] Implicit Places using invariants in 585 ms returned [72, 89, 95, 100, 159, 176, 182, 187, 189, 249, 266, 272, 277, 279, 339, 356, 362, 367, 369, 432, 449, 455, 460, 462, 463, 523, 540, 546, 551, 553, 613, 630, 636, 641, 643, 703, 720, 726, 731, 733, 793, 810, 816, 821, 823, 883, 900, 906, 911, 913, 976]
Discarding 51 places :
Implicit Place search using SMT only with invariants took 587 ms to find 51 implicit places.
[2021-05-08 03:12:10] [INFO ] Redundant transitions in 147 ms returned []
// Phase 1: matrix 2040 rows 928 cols
[2021-05-08 03:12:10] [INFO ] Computed 97 place invariants in 22 ms
[2021-05-08 03:12:11] [INFO ] Dead Transitions using invariants and state equation in 913 ms returned []
Starting structural reductions, iteration 1 : 928/1983 places, 2040/3048 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 928 transition count 2038
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 926 transition count 2038
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 24 place count 906 transition count 2018
Iterating global reduction 2 with 20 rules applied. Total rules applied 44 place count 906 transition count 2018
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 64 place count 886 transition count 1998
Iterating global reduction 2 with 20 rules applied. Total rules applied 84 place count 886 transition count 1998
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 94 place count 876 transition count 1988
Iterating global reduction 2 with 10 rules applied. Total rules applied 104 place count 876 transition count 1988
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 2 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 148 place count 854 transition count 1966
Applied a total of 148 rules in 237 ms. Remains 854 /928 variables (removed 74) and now considering 1966/2040 (removed 74) transitions.
// Phase 1: matrix 1966 rows 854 cols
[2021-05-08 03:12:11] [INFO ] Computed 97 place invariants in 22 ms
[2021-05-08 03:12:12] [INFO ] Implicit Places using invariants in 491 ms returned []
// Phase 1: matrix 1966 rows 854 cols
[2021-05-08 03:12:12] [INFO ] Computed 97 place invariants in 21 ms
[2021-05-08 03:12:14] [INFO ] Implicit Places using invariants and state equation in 1853 ms returned []
Implicit Place search using SMT with State Equation took 2346 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 854/1983 places, 1966/3048 transitions.
Stuttering acceptance computed with spot in 145 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : ASLink-PT-10a-01 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 1}], [{ cond=(AND (NOT p1) (NOT p0)), acceptance={0} source=1 dest: 1}, { cond=(AND (NOT p1) p0), acceptance={} source=1 dest: 1}]], initial=0, aps=[p1:(AND (OR (NEQ s490 1) (NEQ s601 1)) (OR (NEQ s575 1) (NEQ s690 1))), p0:(OR (NEQ s575 1) (NEQ s690 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null][true, true]]
Product exploration explored 100000 steps with 1201 reset in 426 ms.
Product exploration explored 100000 steps with 1223 reset in 442 ms.
Knowledge obtained : [p1, p0]
Stuttering acceptance computed with spot in 45 ms :[(AND (NOT p1) (NOT p0)), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 1204 reset in 289 ms.
Product exploration explored 100000 steps with 1184 reset in 373 ms.
[2021-05-08 03:12:16] [INFO ] Flatten gal took : 79 ms
[2021-05-08 03:12:16] [INFO ] Flatten gal took : 82 ms
[2021-05-08 03:12:16] [INFO ] Time to serialize gal into /tmp/LTL13572316579941151105.gal : 40 ms
[2021-05-08 03:12:16] [INFO ] Time to serialize properties into /tmp/LTL2239311633501474198.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL13572316579941151105.gal, -t, CGAL, -LTL, /tmp/LTL2239311633501474198.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL13572316579941151105.gal -t CGAL -LTL /tmp/LTL2239311633501474198.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((G(F(("((p1411!=1)||(p1646!=1))")U((G("((p1411!=1)||(p1646!=1))"))||("(((p1209!=1)||(p1440!=1))&&((p1411!=1)||(p1646!=1)))"))))))
Formula 0 simplified : !GF("((p1411!=1)||(p1646!=1))" U ("(((p1209!=1)||(p1440!=1))&&((p1411!=1)||(p1646!=1)))" | G"((p1411!=1)||(p1646!=1))"))
Detected timeout of ITS tools.
[2021-05-08 03:12:31] [INFO ] Flatten gal took : 78 ms
[2021-05-08 03:12:31] [INFO ] Applying decomposition
[2021-05-08 03:12:31] [INFO ] Flatten gal took : 70 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9546592456835818939.txt, -o, /tmp/graph9546592456835818939.bin, -w, /tmp/graph9546592456835818939.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9546592456835818939.bin, -l, -1, -v, -w, /tmp/graph9546592456835818939.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 03:12:31] [INFO ] Decomposing Gal with order
[2021-05-08 03:12:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 03:12:32] [INFO ] Removed a total of 3875 redundant transitions.
[2021-05-08 03:12:32] [INFO ] Flatten gal took : 201 ms
[2021-05-08 03:12:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 118 labels/synchronizations in 42 ms.
[2021-05-08 03:12:32] [INFO ] Time to serialize gal into /tmp/LTL14082646759737055887.gal : 15 ms
[2021-05-08 03:12:32] [INFO ] Time to serialize properties into /tmp/LTL1524278907432788319.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL14082646759737055887.gal, -t, CGAL, -LTL, /tmp/LTL1524278907432788319.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL14082646759737055887.gal -t CGAL -LTL /tmp/LTL1524278907432788319.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((G(F(("((i15.u140.p1411!=1)||(i15.u165.p1646!=1))")U((G("((i15.u140.p1411!=1)||(i15.u165.p1646!=1))"))||("(((i13.u120.p1209!=1)||(i13.u144.p1440!=1))&&((i15.u140.p1411!=1)||(i15.u165.p1646!=1)))"))))))
Formula 0 simplified : !GF("((i15.u140.p1411!=1)||(i15.u165.p1646!=1))" U ("(((i13.u120.p1209!=1)||(i13.u144.p1440!=1))&&((i15.u140.p1411!=1)||(i15.u165.p1646!=1)))" | G"((i15.u140.p1411!=1)||(i15.u165.p1646!=1))"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6667096520876397712
[2021-05-08 03:12:47] [INFO ] Built C files in 33ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6667096520876397712
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6667096520876397712]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6667096520876397712] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6667096520876397712] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property ASLink-PT-10a-01 finished in 39204 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(X(X((G(p0)&&F(p1)))))))], workingDir=/home/mcc/execution]
Support contains 4 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 1982 transition count 3040
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 1982 transition count 3040
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 1981 transition count 3032
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 1981 transition count 3032
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 1980 transition count 3024
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 1980 transition count 3024
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 1979 transition count 3016
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 1979 transition count 3016
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 1978 transition count 3008
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 1978 transition count 3008
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 11 place count 1977 transition count 3000
Iterating global reduction 0 with 1 rules applied. Total rules applied 12 place count 1977 transition count 3000
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 13 place count 1976 transition count 2992
Iterating global reduction 0 with 1 rules applied. Total rules applied 14 place count 1976 transition count 2992
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 15 place count 1975 transition count 2984
Iterating global reduction 0 with 1 rules applied. Total rules applied 16 place count 1975 transition count 2984
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 17 place count 1974 transition count 2976
Iterating global reduction 0 with 1 rules applied. Total rules applied 18 place count 1974 transition count 2976
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 19 place count 1973 transition count 2968
Iterating global reduction 0 with 1 rules applied. Total rules applied 20 place count 1973 transition count 2968
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 21 place count 1972 transition count 2960
Iterating global reduction 0 with 1 rules applied. Total rules applied 22 place count 1972 transition count 2960
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 23 place count 1971 transition count 2952
Iterating global reduction 0 with 1 rules applied. Total rules applied 24 place count 1971 transition count 2952
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 25 place count 1970 transition count 2944
Iterating global reduction 0 with 1 rules applied. Total rules applied 26 place count 1970 transition count 2944
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 27 place count 1969 transition count 2936
Iterating global reduction 0 with 1 rules applied. Total rules applied 28 place count 1969 transition count 2936
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 29 place count 1968 transition count 2928
Iterating global reduction 0 with 1 rules applied. Total rules applied 30 place count 1968 transition count 2928
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 31 place count 1967 transition count 2920
Iterating global reduction 0 with 1 rules applied. Total rules applied 32 place count 1967 transition count 2920
Applied a total of 32 rules in 1295 ms. Remains 1967 /1983 variables (removed 16) and now considering 2920/3048 (removed 128) transitions.
// Phase 1: matrix 2920 rows 1967 cols
[2021-05-08 03:12:49] [INFO ] Computed 269 place invariants in 53 ms
[2021-05-08 03:12:50] [INFO ] Implicit Places using invariants in 925 ms returned [1116]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 929 ms to find 1 implicit places.
// Phase 1: matrix 2920 rows 1966 cols
[2021-05-08 03:12:50] [INFO ] Computed 268 place invariants in 36 ms
[2021-05-08 03:12:51] [INFO ] Dead Transitions using invariants and state equation in 1496 ms returned []
Starting structural reductions, iteration 1 : 1966/1983 places, 2920/3048 transitions.
Applied a total of 0 rules in 65 ms. Remains 1966 /1966 variables (removed 0) and now considering 2920/2920 (removed 0) transitions.
// Phase 1: matrix 2920 rows 1966 cols
[2021-05-08 03:12:52] [INFO ] Computed 268 place invariants in 31 ms
[2021-05-08 03:12:53] [INFO ] Dead Transitions using invariants and state equation in 1460 ms returned []
Finished structural reductions, in 2 iterations. Remains : 1966/1983 places, 2920/3048 transitions.
Stuttering acceptance computed with spot in 171 ms :[(NOT p0), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), (OR (NOT p0) (NOT p1)), true, (OR (NOT p1) (NOT p0))]
Running random walk in product with property : ASLink-PT-10a-02 automaton TGBA [mat=[[{ cond=p0, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 5}], [{ cond=true, acceptance={} source=1 dest: 6}], [{ cond=true, acceptance={} source=2 dest: 1}], [{ cond=true, acceptance={} source=3 dest: 2}], [{ cond=true, acceptance={} source=4 dest: 3}], [{ cond=true, acceptance={0} source=5 dest: 5}], [{ cond=(AND p0 p1), acceptance={0} source=6 dest: 0}, { cond=(NOT p0), acceptance={0} source=6 dest: 5}, { cond=(AND p0 (NOT p1)), acceptance={0} source=6 dest: 6}]], initial=4, aps=[p0:(AND (EQ s1494 1) (EQ s1695 1)), p1:(AND (EQ s747 1) (EQ s915 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null, null, null][false, false, false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 4 steps with 0 reset in 1 ms.
FORMULA ASLink-PT-10a-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-10a-02 finished in 5449 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Drop transitions removed 384 transitions
Trivial Post-agglo rules discarded 384 transitions
Performed 384 trivial Post agglomeration. Transition count delta: 384
Iterating post reduction 0 with 384 rules applied. Total rules applied 384 place count 1983 transition count 2664
Reduce places removed 384 places and 0 transitions.
Iterating post reduction 1 with 384 rules applied. Total rules applied 768 place count 1599 transition count 2664
Performed 261 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 261 Pre rules applied. Total rules applied 768 place count 1599 transition count 2403
Deduced a syphon composed of 261 places in 3 ms
Ensure Unique test removed 85 places
Reduce places removed 346 places and 0 transitions.
Iterating global reduction 2 with 607 rules applied. Total rules applied 1375 place count 1253 transition count 2403
Discarding 14 places :
Implicit places reduction removed 14 places
Drop transitions removed 13 transitions
Trivial Post-agglo rules discarded 13 transitions
Performed 13 trivial Post agglomeration. Transition count delta: 13
Iterating post reduction 2 with 27 rules applied. Total rules applied 1402 place count 1239 transition count 2390
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 1415 place count 1226 transition count 2390
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 36 Pre rules applied. Total rules applied 1415 place count 1226 transition count 2354
Deduced a syphon composed of 36 places in 3 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 4 with 72 rules applied. Total rules applied 1487 place count 1190 transition count 2354
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 1493 place count 1184 transition count 2341
Iterating global reduction 4 with 6 rules applied. Total rules applied 1499 place count 1184 transition count 2341
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 4 rules applied. Total rules applied 1503 place count 1184 transition count 2337
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1504 place count 1183 transition count 2337
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 1504 place count 1183 transition count 2336
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1506 place count 1182 transition count 2336
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1507 place count 1181 transition count 2328
Iterating global reduction 6 with 1 rules applied. Total rules applied 1508 place count 1181 transition count 2328
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1509 place count 1180 transition count 2320
Iterating global reduction 6 with 1 rules applied. Total rules applied 1510 place count 1180 transition count 2320
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1511 place count 1179 transition count 2312
Iterating global reduction 6 with 1 rules applied. Total rules applied 1512 place count 1179 transition count 2312
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1513 place count 1178 transition count 2304
Iterating global reduction 6 with 1 rules applied. Total rules applied 1514 place count 1178 transition count 2304
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1515 place count 1177 transition count 2296
Iterating global reduction 6 with 1 rules applied. Total rules applied 1516 place count 1177 transition count 2296
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1517 place count 1176 transition count 2288
Iterating global reduction 6 with 1 rules applied. Total rules applied 1518 place count 1176 transition count 2288
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1519 place count 1175 transition count 2280
Iterating global reduction 6 with 1 rules applied. Total rules applied 1520 place count 1175 transition count 2280
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1521 place count 1174 transition count 2272
Iterating global reduction 6 with 1 rules applied. Total rules applied 1522 place count 1174 transition count 2272
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1523 place count 1173 transition count 2264
Iterating global reduction 6 with 1 rules applied. Total rules applied 1524 place count 1173 transition count 2264
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1525 place count 1172 transition count 2256
Iterating global reduction 6 with 1 rules applied. Total rules applied 1526 place count 1172 transition count 2256
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1527 place count 1171 transition count 2248
Iterating global reduction 6 with 1 rules applied. Total rules applied 1528 place count 1171 transition count 2248
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1529 place count 1170 transition count 2240
Iterating global reduction 6 with 1 rules applied. Total rules applied 1530 place count 1170 transition count 2240
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1531 place count 1169 transition count 2232
Iterating global reduction 6 with 1 rules applied. Total rules applied 1532 place count 1169 transition count 2232
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1533 place count 1168 transition count 2224
Iterating global reduction 6 with 1 rules applied. Total rules applied 1534 place count 1168 transition count 2224
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1535 place count 1167 transition count 2216
Iterating global reduction 6 with 1 rules applied. Total rules applied 1536 place count 1167 transition count 2216
Performed 103 Post agglomeration using F-continuation condition.Transition count delta: 103
Deduced a syphon composed of 103 places in 3 ms
Reduce places removed 103 places and 0 transitions.
Iterating global reduction 6 with 206 rules applied. Total rules applied 1742 place count 1064 transition count 2113
Applied a total of 1742 rules in 708 ms. Remains 1064 /1983 variables (removed 919) and now considering 2113/3048 (removed 935) transitions.
// Phase 1: matrix 2113 rows 1064 cols
[2021-05-08 03:12:54] [INFO ] Computed 170 place invariants in 23 ms
[2021-05-08 03:12:55] [INFO ] Implicit Places using invariants in 700 ms returned [90, 96, 101, 117, 187, 193, 198, 214, 284, 290, 295, 311, 381, 387, 392, 411, 481, 487, 492, 498, 512, 618, 688, 694, 699, 715, 785, 791, 796, 812, 882, 888, 893, 909, 979, 985, 990, 1009, 1061]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 703 ms to find 39 implicit places.
[2021-05-08 03:12:55] [INFO ] Redundant transitions in 162 ms returned []
// Phase 1: matrix 2113 rows 1025 cols
[2021-05-08 03:12:55] [INFO ] Computed 131 place invariants in 24 ms
[2021-05-08 03:12:56] [INFO ] Dead Transitions using invariants and state equation in 971 ms returned []
Starting structural reductions, iteration 1 : 1025/1983 places, 2113/3048 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 1025 transition count 2110
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 6 place count 1022 transition count 2110
Performed 22 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 22 Pre rules applied. Total rules applied 6 place count 1022 transition count 2088
Deduced a syphon composed of 22 places in 3 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 50 place count 1000 transition count 2088
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 68 place count 982 transition count 2070
Iterating global reduction 2 with 18 rules applied. Total rules applied 86 place count 982 transition count 2070
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 104 place count 964 transition count 2052
Iterating global reduction 2 with 18 rules applied. Total rules applied 122 place count 964 transition count 2052
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 131 place count 955 transition count 2043
Iterating global reduction 2 with 9 rules applied. Total rules applied 140 place count 955 transition count 2043
Performed 20 Post agglomeration using F-continuation condition.Transition count delta: 20
Deduced a syphon composed of 20 places in 2 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 180 place count 935 transition count 2023
Applied a total of 180 rules in 144 ms. Remains 935 /1025 variables (removed 90) and now considering 2023/2113 (removed 90) transitions.
// Phase 1: matrix 2023 rows 935 cols
[2021-05-08 03:12:56] [INFO ] Computed 131 place invariants in 22 ms
[2021-05-08 03:12:57] [INFO ] Implicit Places using invariants in 610 ms returned [93, 96, 177, 180, 261, 264, 345, 348, 429, 432, 513, 519, 524, 616, 619, 700, 703, 784, 787, 868, 871]
Discarding 21 places :
Implicit Place search using SMT only with invariants took 613 ms to find 21 implicit places.
Starting structural reductions, iteration 2 : 914/1983 places, 2023/3048 transitions.
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 0 with 9 rules applied. Total rules applied 9 place count 914 transition count 2014
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 18 place count 905 transition count 2014
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 29 place count 894 transition count 2003
Iterating global reduction 2 with 11 rules applied. Total rules applied 40 place count 894 transition count 2003
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 49 place count 894 transition count 1994
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 51 place count 892 transition count 1992
Iterating global reduction 3 with 2 rules applied. Total rules applied 53 place count 892 transition count 1992
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 54 place count 891 transition count 1991
Iterating global reduction 3 with 1 rules applied. Total rules applied 55 place count 891 transition count 1991
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 59 place count 889 transition count 1989
Applied a total of 59 rules in 144 ms. Remains 889 /914 variables (removed 25) and now considering 1989/2023 (removed 34) transitions.
// Phase 1: matrix 1989 rows 889 cols
[2021-05-08 03:12:57] [INFO ] Computed 110 place invariants in 20 ms
[2021-05-08 03:12:57] [INFO ] Implicit Places using invariants in 516 ms returned [72, 151, 231, 311, 391, 565, 645, 725, 805]
Discarding 9 places :
Implicit Place search using SMT only with invariants took 518 ms to find 9 implicit places.
Starting structural reductions, iteration 3 : 880/1983 places, 1989/3048 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 2 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 18 place count 871 transition count 1980
Applied a total of 18 rules in 51 ms. Remains 871 /880 variables (removed 9) and now considering 1980/1989 (removed 9) transitions.
// Phase 1: matrix 1980 rows 871 cols
[2021-05-08 03:12:57] [INFO ] Computed 101 place invariants in 21 ms
[2021-05-08 03:12:58] [INFO ] Implicit Places using invariants in 551 ms returned []
// Phase 1: matrix 1980 rows 871 cols
[2021-05-08 03:12:58] [INFO ] Computed 101 place invariants in 22 ms
[2021-05-08 03:12:58] [INFO ] State equation strengthened by 9 read => feed constraints.
[2021-05-08 03:13:01] [INFO ] Implicit Places using invariants and state equation in 2957 ms returned []
Implicit Place search using SMT with State Equation took 3511 ms to find 0 implicit places.
Finished structural reductions, in 4 iterations. Remains : 871/1983 places, 1980/3048 transitions.
Stuttering acceptance computed with spot in 66 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : ASLink-PT-10a-03 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(AND (EQ s490 1) (EQ s503 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 62363 steps with 2663 reset in 341 ms.
FORMULA ASLink-PT-10a-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-10a-03 finished in 7956 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 2 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 388 transitions
Trivial Post-agglo rules discarded 388 transitions
Performed 388 trivial Post agglomeration. Transition count delta: 388
Iterating post reduction 0 with 388 rules applied. Total rules applied 388 place count 1982 transition count 2659
Reduce places removed 398 places and 0 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 408 rules applied. Total rules applied 796 place count 1584 transition count 2649
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 806 place count 1574 transition count 2649
Performed 281 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 281 Pre rules applied. Total rules applied 806 place count 1574 transition count 2368
Deduced a syphon composed of 281 places in 2 ms
Ensure Unique test removed 85 places
Reduce places removed 366 places and 0 transitions.
Iterating global reduction 3 with 647 rules applied. Total rules applied 1453 place count 1208 transition count 2368
Discarding 25 places :
Implicit places reduction removed 25 places
Drop transitions removed 33 transitions
Trivial Post-agglo rules discarded 33 transitions
Performed 33 trivial Post agglomeration. Transition count delta: 33
Iterating post reduction 3 with 58 rules applied. Total rules applied 1511 place count 1183 transition count 2335
Reduce places removed 34 places and 0 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 4 with 36 rules applied. Total rules applied 1547 place count 1149 transition count 2333
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1549 place count 1147 transition count 2333
Performed 41 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 41 Pre rules applied. Total rules applied 1549 place count 1147 transition count 2292
Deduced a syphon composed of 41 places in 3 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 6 with 82 rules applied. Total rules applied 1631 place count 1106 transition count 2292
Discarding 15 places :
Symmetric choice reduction at 6 with 15 rule applications. Total rules 1646 place count 1091 transition count 2277
Iterating global reduction 6 with 15 rules applied. Total rules applied 1661 place count 1091 transition count 2277
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 6 with 14 rules applied. Total rules applied 1675 place count 1091 transition count 2263
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 1676 place count 1090 transition count 2263
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 1676 place count 1090 transition count 2262
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 1678 place count 1089 transition count 2262
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 3 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 8 with 188 rules applied. Total rules applied 1866 place count 995 transition count 2168
Applied a total of 1866 rules in 194 ms. Remains 995 /1983 variables (removed 988) and now considering 2168/3048 (removed 880) transitions.
// Phase 1: matrix 2168 rows 995 cols
[2021-05-08 03:13:01] [INFO ] Computed 148 place invariants in 24 ms
[2021-05-08 03:13:02] [INFO ] Implicit Places using invariants in 586 ms returned [72, 89, 95, 100, 159, 176, 182, 187, 189, 249, 266, 272, 277, 279, 339, 356, 362, 367, 369, 432, 449, 455, 460, 462, 463, 523, 540, 546, 551, 553, 613, 630, 636, 641, 643, 703, 720, 726, 731, 733, 793, 810, 816, 821, 823, 883, 900, 906, 911, 913, 992]
Discarding 51 places :
Implicit Place search using SMT only with invariants took 588 ms to find 51 implicit places.
[2021-05-08 03:13:02] [INFO ] Redundant transitions in 55 ms returned []
// Phase 1: matrix 2168 rows 944 cols
[2021-05-08 03:13:02] [INFO ] Computed 97 place invariants in 29 ms
[2021-05-08 03:13:03] [INFO ] Dead Transitions using invariants and state equation in 866 ms returned []
Starting structural reductions, iteration 1 : 944/1983 places, 2168/3048 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 944 transition count 2166
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 942 transition count 2166
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 24 place count 922 transition count 2146
Iterating global reduction 2 with 20 rules applied. Total rules applied 44 place count 922 transition count 2146
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 64 place count 902 transition count 2126
Iterating global reduction 2 with 20 rules applied. Total rules applied 84 place count 902 transition count 2126
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 94 place count 892 transition count 2116
Iterating global reduction 2 with 10 rules applied. Total rules applied 104 place count 892 transition count 2116
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 2 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 148 place count 870 transition count 2094
Applied a total of 148 rules in 137 ms. Remains 870 /944 variables (removed 74) and now considering 2094/2168 (removed 74) transitions.
// Phase 1: matrix 2094 rows 870 cols
[2021-05-08 03:13:03] [INFO ] Computed 97 place invariants in 22 ms
[2021-05-08 03:13:04] [INFO ] Implicit Places using invariants in 498 ms returned []
// Phase 1: matrix 2094 rows 870 cols
[2021-05-08 03:13:04] [INFO ] Computed 97 place invariants in 37 ms
[2021-05-08 03:13:06] [INFO ] Implicit Places using invariants and state equation in 2145 ms returned []
Implicit Place search using SMT with State Equation took 2644 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 870/1983 places, 2094/3048 transitions.
Stuttering acceptance computed with spot in 24 ms :[(NOT p0)]
Running random walk in product with property : ASLink-PT-10a-04 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(AND (EQ s726 1) (EQ s819 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 100 steps with 0 reset in 1 ms.
FORMULA ASLink-PT-10a-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-10a-04 finished in 4533 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F((p0&&G((p1 U p2)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 387 transitions
Trivial Post-agglo rules discarded 387 transitions
Performed 387 trivial Post agglomeration. Transition count delta: 387
Iterating post reduction 0 with 387 rules applied. Total rules applied 387 place count 1982 transition count 2660
Reduce places removed 397 places and 0 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 407 rules applied. Total rules applied 794 place count 1585 transition count 2650
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 804 place count 1575 transition count 2650
Performed 279 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 279 Pre rules applied. Total rules applied 804 place count 1575 transition count 2371
Deduced a syphon composed of 279 places in 2 ms
Ensure Unique test removed 84 places
Reduce places removed 363 places and 0 transitions.
Iterating global reduction 3 with 642 rules applied. Total rules applied 1446 place count 1212 transition count 2371
Discarding 25 places :
Implicit places reduction removed 25 places
Drop transitions removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 3 with 54 rules applied. Total rules applied 1500 place count 1187 transition count 2342
Reduce places removed 30 places and 0 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 4 with 32 rules applied. Total rules applied 1532 place count 1157 transition count 2340
Reduce places removed 2 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 5 with 6 rules applied. Total rules applied 1538 place count 1155 transition count 2336
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 6 with 4 rules applied. Total rules applied 1542 place count 1151 transition count 2336
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 40 Pre rules applied. Total rules applied 1542 place count 1151 transition count 2296
Deduced a syphon composed of 40 places in 2 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 7 with 80 rules applied. Total rules applied 1622 place count 1111 transition count 2296
Discarding 16 places :
Symmetric choice reduction at 7 with 16 rule applications. Total rules 1638 place count 1095 transition count 2273
Iterating global reduction 7 with 16 rules applied. Total rules applied 1654 place count 1095 transition count 2273
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 7 with 14 rules applied. Total rules applied 1668 place count 1095 transition count 2259
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 1669 place count 1094 transition count 2259
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 1 Pre rules applied. Total rules applied 1669 place count 1094 transition count 2258
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 1671 place count 1093 transition count 2258
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1672 place count 1092 transition count 2250
Iterating global reduction 9 with 1 rules applied. Total rules applied 1673 place count 1092 transition count 2250
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1674 place count 1091 transition count 2242
Iterating global reduction 9 with 1 rules applied. Total rules applied 1675 place count 1091 transition count 2242
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1676 place count 1090 transition count 2234
Iterating global reduction 9 with 1 rules applied. Total rules applied 1677 place count 1090 transition count 2234
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1678 place count 1089 transition count 2226
Iterating global reduction 9 with 1 rules applied. Total rules applied 1679 place count 1089 transition count 2226
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1680 place count 1088 transition count 2218
Iterating global reduction 9 with 1 rules applied. Total rules applied 1681 place count 1088 transition count 2218
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1682 place count 1087 transition count 2210
Iterating global reduction 9 with 1 rules applied. Total rules applied 1683 place count 1087 transition count 2210
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1684 place count 1086 transition count 2202
Iterating global reduction 9 with 1 rules applied. Total rules applied 1685 place count 1086 transition count 2202
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1686 place count 1085 transition count 2194
Iterating global reduction 9 with 1 rules applied. Total rules applied 1687 place count 1085 transition count 2194
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1688 place count 1084 transition count 2186
Iterating global reduction 9 with 1 rules applied. Total rules applied 1689 place count 1084 transition count 2186
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1690 place count 1083 transition count 2178
Iterating global reduction 9 with 1 rules applied. Total rules applied 1691 place count 1083 transition count 2178
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1692 place count 1082 transition count 2170
Iterating global reduction 9 with 1 rules applied. Total rules applied 1693 place count 1082 transition count 2170
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1694 place count 1081 transition count 2162
Iterating global reduction 9 with 1 rules applied. Total rules applied 1695 place count 1081 transition count 2162
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1696 place count 1080 transition count 2154
Iterating global reduction 9 with 1 rules applied. Total rules applied 1697 place count 1080 transition count 2154
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1698 place count 1079 transition count 2146
Iterating global reduction 9 with 1 rules applied. Total rules applied 1699 place count 1079 transition count 2146
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1700 place count 1078 transition count 2138
Iterating global reduction 9 with 1 rules applied. Total rules applied 1701 place count 1078 transition count 2138
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 2 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 9 with 188 rules applied. Total rules applied 1889 place count 984 transition count 2044
Applied a total of 1889 rules in 642 ms. Remains 984 /1983 variables (removed 999) and now considering 2044/3048 (removed 1004) transitions.
// Phase 1: matrix 2044 rows 984 cols
[2021-05-08 03:13:06] [INFO ] Computed 149 place invariants in 34 ms
[2021-05-08 03:13:07] [INFO ] Implicit Places using invariants in 680 ms returned [72, 89, 95, 100, 159, 176, 182, 187, 189, 249, 266, 272, 277, 279, 339, 351, 359, 365, 370, 372, 435, 452, 458, 463, 465, 466, 526, 543, 549, 554, 556, 616, 633, 639, 644, 646, 706, 723, 729, 734, 736, 796, 813, 819, 824, 826, 886, 903, 909, 914, 916, 980]
Discarding 52 places :
Implicit Place search using SMT only with invariants took 682 ms to find 52 implicit places.
[2021-05-08 03:13:07] [INFO ] Redundant transitions in 43 ms returned []
// Phase 1: matrix 2044 rows 932 cols
[2021-05-08 03:13:07] [INFO ] Computed 97 place invariants in 22 ms
[2021-05-08 03:13:08] [INFO ] Dead Transitions using invariants and state equation in 802 ms returned []
Starting structural reductions, iteration 1 : 932/1983 places, 2044/3048 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 932 transition count 2042
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 930 transition count 2042
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 24 place count 910 transition count 2022
Iterating global reduction 2 with 20 rules applied. Total rules applied 44 place count 910 transition count 2022
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 64 place count 890 transition count 2002
Iterating global reduction 2 with 20 rules applied. Total rules applied 84 place count 890 transition count 2002
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 94 place count 880 transition count 1992
Iterating global reduction 2 with 10 rules applied. Total rules applied 104 place count 880 transition count 1992
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 1 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 148 place count 858 transition count 1970
Applied a total of 148 rules in 120 ms. Remains 858 /932 variables (removed 74) and now considering 1970/2044 (removed 74) transitions.
// Phase 1: matrix 1970 rows 858 cols
[2021-05-08 03:13:08] [INFO ] Computed 97 place invariants in 20 ms
[2021-05-08 03:13:08] [INFO ] Implicit Places using invariants in 485 ms returned []
// Phase 1: matrix 1970 rows 858 cols
[2021-05-08 03:13:09] [INFO ] Computed 97 place invariants in 20 ms
[2021-05-08 03:13:10] [INFO ] Implicit Places using invariants and state equation in 1725 ms returned []
Implicit Place search using SMT with State Equation took 2212 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 858/1983 places, 1970/3048 transitions.
Stuttering acceptance computed with spot in 99 ms :[(OR (NOT p2) (NOT p0)), (NOT p2), (NOT p2)]
Running random walk in product with property : ASLink-PT-10a-05 automaton TGBA [mat=[[{ cond=(OR (NOT p0) (AND (NOT p2) (NOT p1))), acceptance={0} source=0 dest: 0}, { cond=(OR (AND p0 p2) (AND p0 p1)), acceptance={} source=0 dest: 1}, { cond=(AND p0 (NOT p2) p1), acceptance={0} source=0 dest: 2}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={0} source=1 dest: 0}, { cond=(OR p2 p1), acceptance={} source=1 dest: 1}, { cond=(AND (NOT p2) p1), acceptance={0} source=1 dest: 2}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={0} source=2 dest: 0}, { cond=(AND (NOT p2) p1), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p0:(OR (EQ s492 0) (EQ s607 0)), p2:(EQ s844 0), p1:(EQ s313 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Product exploration explored 100000 steps with 1185 reset in 401 ms.
Stack based approach found an accepted trace after 71545 steps with 842 reset with depth 63 and stack size 63 in 274 ms.
FORMULA ASLink-PT-10a-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-10a-05 finished in 5314 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 388 transitions
Trivial Post-agglo rules discarded 388 transitions
Performed 388 trivial Post agglomeration. Transition count delta: 388
Iterating post reduction 0 with 388 rules applied. Total rules applied 388 place count 1982 transition count 2659
Reduce places removed 398 places and 0 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 1 with 408 rules applied. Total rules applied 796 place count 1584 transition count 2649
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 806 place count 1574 transition count 2649
Performed 281 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 281 Pre rules applied. Total rules applied 806 place count 1574 transition count 2368
Deduced a syphon composed of 281 places in 2 ms
Ensure Unique test removed 85 places
Reduce places removed 366 places and 0 transitions.
Iterating global reduction 3 with 647 rules applied. Total rules applied 1453 place count 1208 transition count 2368
Discarding 25 places :
Implicit places reduction removed 25 places
Drop transitions removed 33 transitions
Trivial Post-agglo rules discarded 33 transitions
Performed 33 trivial Post agglomeration. Transition count delta: 33
Iterating post reduction 3 with 58 rules applied. Total rules applied 1511 place count 1183 transition count 2335
Reduce places removed 34 places and 0 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 4 with 36 rules applied. Total rules applied 1547 place count 1149 transition count 2333
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1549 place count 1147 transition count 2333
Performed 41 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 41 Pre rules applied. Total rules applied 1549 place count 1147 transition count 2292
Deduced a syphon composed of 41 places in 2 ms
Reduce places removed 41 places and 0 transitions.
Iterating global reduction 6 with 82 rules applied. Total rules applied 1631 place count 1106 transition count 2292
Discarding 16 places :
Symmetric choice reduction at 6 with 16 rule applications. Total rules 1647 place count 1090 transition count 2269
Iterating global reduction 6 with 16 rules applied. Total rules applied 1663 place count 1090 transition count 2269
Ensure Unique test removed 13 transitions
Reduce isomorphic transitions removed 13 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 6 with 14 rules applied. Total rules applied 1677 place count 1090 transition count 2255
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 1678 place count 1089 transition count 2255
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 1678 place count 1089 transition count 2254
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 1680 place count 1088 transition count 2254
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1681 place count 1087 transition count 2246
Iterating global reduction 8 with 1 rules applied. Total rules applied 1682 place count 1087 transition count 2246
Performed 94 Post agglomeration using F-continuation condition.Transition count delta: 94
Deduced a syphon composed of 94 places in 2 ms
Reduce places removed 94 places and 0 transitions.
Iterating global reduction 8 with 188 rules applied. Total rules applied 1870 place count 993 transition count 2152
Applied a total of 1870 rules in 224 ms. Remains 993 /1983 variables (removed 990) and now considering 2152/3048 (removed 896) transitions.
// Phase 1: matrix 2152 rows 993 cols
[2021-05-08 03:13:11] [INFO ] Computed 148 place invariants in 23 ms
[2021-05-08 03:13:12] [INFO ] Implicit Places using invariants in 593 ms returned [72, 89, 95, 100, 159, 176, 182, 187, 189, 249, 266, 272, 277, 279, 339, 356, 362, 367, 369, 432, 449, 455, 460, 462, 463, 523, 540, 546, 551, 553, 613, 630, 636, 641, 643, 703, 720, 726, 731, 733, 793, 810, 816, 821, 823, 883, 900, 906, 911, 913, 990]
Discarding 51 places :
Implicit Place search using SMT only with invariants took 595 ms to find 51 implicit places.
[2021-05-08 03:13:12] [INFO ] Redundant transitions in 48 ms returned []
// Phase 1: matrix 2152 rows 942 cols
[2021-05-08 03:13:12] [INFO ] Computed 97 place invariants in 23 ms
[2021-05-08 03:13:13] [INFO ] Dead Transitions using invariants and state equation in 839 ms returned []
Starting structural reductions, iteration 1 : 942/1983 places, 2152/3048 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 942 transition count 2150
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 940 transition count 2150
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 24 place count 920 transition count 2130
Iterating global reduction 2 with 20 rules applied. Total rules applied 44 place count 920 transition count 2130
Discarding 20 places :
Symmetric choice reduction at 2 with 20 rule applications. Total rules 64 place count 900 transition count 2110
Iterating global reduction 2 with 20 rules applied. Total rules applied 84 place count 900 transition count 2110
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 94 place count 890 transition count 2100
Iterating global reduction 2 with 10 rules applied. Total rules applied 104 place count 890 transition count 2100
Performed 22 Post agglomeration using F-continuation condition.Transition count delta: 22
Deduced a syphon composed of 22 places in 2 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 2 with 44 rules applied. Total rules applied 148 place count 868 transition count 2078
Applied a total of 148 rules in 122 ms. Remains 868 /942 variables (removed 74) and now considering 2078/2152 (removed 74) transitions.
// Phase 1: matrix 2078 rows 868 cols
[2021-05-08 03:13:13] [INFO ] Computed 97 place invariants in 21 ms
[2021-05-08 03:13:13] [INFO ] Implicit Places using invariants in 496 ms returned []
// Phase 1: matrix 2078 rows 868 cols
[2021-05-08 03:13:13] [INFO ] Computed 97 place invariants in 22 ms
[2021-05-08 03:13:15] [INFO ] Implicit Places using invariants and state equation in 1825 ms returned []
Implicit Place search using SMT with State Equation took 2321 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 868/1983 places, 2078/3048 transitions.
Stuttering acceptance computed with spot in 24 ms :[(NOT p0)]
Running random walk in product with property : ASLink-PT-10a-07 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(AND (EQ s722 1) (EQ s805 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 38 steps with 0 reset in 0 ms.
FORMULA ASLink-PT-10a-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-10a-07 finished in 4194 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(G(p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 1982 transition count 3040
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 1982 transition count 3040
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 1981 transition count 3032
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 1981 transition count 3032
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 1980 transition count 3024
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 1980 transition count 3024
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 1979 transition count 3016
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 1979 transition count 3016
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 1978 transition count 3008
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 1978 transition count 3008
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 11 place count 1977 transition count 3000
Iterating global reduction 0 with 1 rules applied. Total rules applied 12 place count 1977 transition count 3000
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 13 place count 1976 transition count 2992
Iterating global reduction 0 with 1 rules applied. Total rules applied 14 place count 1976 transition count 2992
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 15 place count 1975 transition count 2984
Iterating global reduction 0 with 1 rules applied. Total rules applied 16 place count 1975 transition count 2984
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 17 place count 1974 transition count 2976
Iterating global reduction 0 with 1 rules applied. Total rules applied 18 place count 1974 transition count 2976
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 19 place count 1973 transition count 2968
Iterating global reduction 0 with 1 rules applied. Total rules applied 20 place count 1973 transition count 2968
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 21 place count 1972 transition count 2960
Iterating global reduction 0 with 1 rules applied. Total rules applied 22 place count 1972 transition count 2960
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 23 place count 1971 transition count 2952
Iterating global reduction 0 with 1 rules applied. Total rules applied 24 place count 1971 transition count 2952
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 25 place count 1970 transition count 2944
Iterating global reduction 0 with 1 rules applied. Total rules applied 26 place count 1970 transition count 2944
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 27 place count 1969 transition count 2936
Iterating global reduction 0 with 1 rules applied. Total rules applied 28 place count 1969 transition count 2936
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 29 place count 1968 transition count 2928
Iterating global reduction 0 with 1 rules applied. Total rules applied 30 place count 1968 transition count 2928
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 31 place count 1967 transition count 2920
Iterating global reduction 0 with 1 rules applied. Total rules applied 32 place count 1967 transition count 2920
Applied a total of 32 rules in 1122 ms. Remains 1967 /1983 variables (removed 16) and now considering 2920/3048 (removed 128) transitions.
// Phase 1: matrix 2920 rows 1967 cols
[2021-05-08 03:13:16] [INFO ] Computed 269 place invariants in 32 ms
[2021-05-08 03:13:17] [INFO ] Implicit Places using invariants in 1098 ms returned [915, 1116]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 1100 ms to find 2 implicit places.
// Phase 1: matrix 2920 rows 1965 cols
[2021-05-08 03:13:17] [INFO ] Computed 267 place invariants in 30 ms
[2021-05-08 03:13:19] [INFO ] Dead Transitions using invariants and state equation in 1484 ms returned []
Starting structural reductions, iteration 1 : 1965/1983 places, 2920/3048 transitions.
Applied a total of 0 rules in 64 ms. Remains 1965 /1965 variables (removed 0) and now considering 2920/2920 (removed 0) transitions.
// Phase 1: matrix 2920 rows 1965 cols
[2021-05-08 03:13:19] [INFO ] Computed 267 place invariants in 30 ms
[2021-05-08 03:13:20] [INFO ] Dead Transitions using invariants and state equation in 1452 ms returned []
Finished structural reductions, in 2 iterations. Remains : 1965/1983 places, 2920/3048 transitions.
Stuttering acceptance computed with spot in 55 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : ASLink-PT-10a-08 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={} source=2 dest: 0}, { cond=p0, acceptance={} source=2 dest: 2}]], initial=1, aps=[p0:(OR (AND (EQ s1309 1) (EQ s1522 1)) (AND (EQ s46 1) (EQ s115 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 1 ms.
FORMULA ASLink-PT-10a-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-10a-08 finished in 5299 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((F(G(p0))||G(p1))))], workingDir=/home/mcc/execution]
Support contains 4 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 1982 transition count 3040
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 1982 transition count 3040
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 1981 transition count 3032
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 1981 transition count 3032
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 1980 transition count 3024
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 1980 transition count 3024
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 1979 transition count 3016
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 1979 transition count 3016
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 1978 transition count 3008
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 1978 transition count 3008
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 11 place count 1977 transition count 3000
Iterating global reduction 0 with 1 rules applied. Total rules applied 12 place count 1977 transition count 3000
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 13 place count 1976 transition count 2992
Iterating global reduction 0 with 1 rules applied. Total rules applied 14 place count 1976 transition count 2992
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 15 place count 1975 transition count 2984
Iterating global reduction 0 with 1 rules applied. Total rules applied 16 place count 1975 transition count 2984
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 17 place count 1974 transition count 2976
Iterating global reduction 0 with 1 rules applied. Total rules applied 18 place count 1974 transition count 2976
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 19 place count 1973 transition count 2968
Iterating global reduction 0 with 1 rules applied. Total rules applied 20 place count 1973 transition count 2968
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 21 place count 1972 transition count 2960
Iterating global reduction 0 with 1 rules applied. Total rules applied 22 place count 1972 transition count 2960
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 23 place count 1971 transition count 2952
Iterating global reduction 0 with 1 rules applied. Total rules applied 24 place count 1971 transition count 2952
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 25 place count 1970 transition count 2944
Iterating global reduction 0 with 1 rules applied. Total rules applied 26 place count 1970 transition count 2944
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 27 place count 1969 transition count 2936
Iterating global reduction 0 with 1 rules applied. Total rules applied 28 place count 1969 transition count 2936
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 29 place count 1968 transition count 2928
Iterating global reduction 0 with 1 rules applied. Total rules applied 30 place count 1968 transition count 2928
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 31 place count 1967 transition count 2920
Iterating global reduction 0 with 1 rules applied. Total rules applied 32 place count 1967 transition count 2920
Applied a total of 32 rules in 1112 ms. Remains 1967 /1983 variables (removed 16) and now considering 2920/3048 (removed 128) transitions.
// Phase 1: matrix 2920 rows 1967 cols
[2021-05-08 03:13:22] [INFO ] Computed 269 place invariants in 31 ms
[2021-05-08 03:13:22] [INFO ] Implicit Places using invariants in 886 ms returned [915, 1116]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 888 ms to find 2 implicit places.
// Phase 1: matrix 2920 rows 1965 cols
[2021-05-08 03:13:23] [INFO ] Computed 267 place invariants in 31 ms
[2021-05-08 03:13:24] [INFO ] Dead Transitions using invariants and state equation in 1451 ms returned []
Starting structural reductions, iteration 1 : 1965/1983 places, 2920/3048 transitions.
Applied a total of 0 rules in 65 ms. Remains 1965 /1965 variables (removed 0) and now considering 2920/2920 (removed 0) transitions.
// Phase 1: matrix 2920 rows 1965 cols
[2021-05-08 03:13:24] [INFO ] Computed 267 place invariants in 31 ms
[2021-05-08 03:13:25] [INFO ] Dead Transitions using invariants and state equation in 1434 ms returned []
Finished structural reductions, in 2 iterations. Remains : 1965/1983 places, 2920/3048 transitions.
Stuttering acceptance computed with spot in 71 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0))]
Running random walk in product with property : ASLink-PT-10a-10 automaton TGBA [mat=[[{ cond=p1, acceptance={} source=0 dest: 0}, { cond=(NOT p1), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}, { cond=p0, acceptance={} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 0}]], initial=2, aps=[p1:(AND (EQ s1807 1) (EQ s1811 1)), p0:(OR (NEQ s1807 1) (NEQ s1811 1) (NEQ s768 1) (NEQ s983 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic], stateDesc=[null, null, null][false, false, false]]
Product exploration explored 100000 steps with 419 reset in 388 ms.
Product exploration explored 100000 steps with 428 reset in 439 ms.
Knowledge obtained : [(NOT p1), p0]
Stuttering acceptance computed with spot in 71 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0))]
Product exploration explored 100000 steps with 414 reset in 383 ms.
Product exploration explored 100000 steps with 420 reset in 428 ms.
Applying partial POR strategy [true, true, false]
Stuttering acceptance computed with spot in 72 ms :[(AND (NOT p1) (NOT p0)), (NOT p0), (AND (NOT p1) (NOT p0))]
Support contains 4 out of 1965 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 1965/1965 places, 2920/2920 transitions.
Performed 389 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 389 rules applied. Total rules applied 389 place count 1965 transition count 2920
Performed 144 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 144 Pre rules applied. Total rules applied 389 place count 1965 transition count 3003
Deduced a syphon composed of 533 places in 4 ms
Iterating global reduction 1 with 144 rules applied. Total rules applied 533 place count 1965 transition count 3003
Discarding 49 places :
Symmetric choice reduction at 1 with 49 rule applications. Total rules 582 place count 1916 transition count 2954
Deduced a syphon composed of 486 places in 3 ms
Iterating global reduction 1 with 49 rules applied. Total rules applied 631 place count 1916 transition count 2954
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 631 place count 1916 transition count 2954
Deduced a syphon composed of 487 places in 3 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 632 place count 1916 transition count 2954
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 633 place count 1915 transition count 2953
Deduced a syphon composed of 486 places in 3 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 634 place count 1915 transition count 2953
Performed 250 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 736 places in 4 ms
Iterating global reduction 1 with 250 rules applied. Total rules applied 884 place count 1915 transition count 2986
Discarding 133 places :
Symmetric choice reduction at 1 with 133 rule applications. Total rules 1017 place count 1782 transition count 2853
Deduced a syphon composed of 603 places in 3 ms
Iterating global reduction 1 with 133 rules applied. Total rules applied 1150 place count 1782 transition count 2853
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: -40
Deduced a syphon composed of 613 places in 4 ms
Iterating global reduction 1 with 10 rules applied. Total rules applied 1160 place count 1782 transition count 2893
Performed 1(complex) Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Deduced a syphon composed of 614 places in 3 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 1161 place count 1782 transition count 2897
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 1163 place count 1780 transition count 2891
Deduced a syphon composed of 612 places in 3 ms
Iterating global reduction 1 with 2 rules applied. Total rules applied 1165 place count 1780 transition count 2891
Deduced a syphon composed of 612 places in 4 ms
Applied a total of 1165 rules in 999 ms. Remains 1780 /1965 variables (removed 185) and now considering 2891/2920 (removed 29) transitions.
[2021-05-08 03:13:29] [INFO ] Redundant transitions in 82 ms returned []
// Phase 1: matrix 2891 rows 1780 cols
[2021-05-08 03:13:29] [INFO ] Computed 267 place invariants in 36 ms
[2021-05-08 03:13:30] [INFO ] Dead Transitions using invariants and state equation in 1386 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1780/1965 places, 2891/2920 transitions.
Product exploration explored 100000 steps with 978 reset in 717 ms.
Product exploration explored 100000 steps with 985 reset in 652 ms.
[2021-05-08 03:13:32] [INFO ] Flatten gal took : 102 ms
[2021-05-08 03:13:32] [INFO ] Flatten gal took : 96 ms
[2021-05-08 03:13:32] [INFO ] Time to serialize gal into /tmp/LTL17272576946616296686.gal : 11 ms
[2021-05-08 03:13:32] [INFO ] Time to serialize properties into /tmp/LTL12695315651935011362.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL17272576946616296686.gal, -t, CGAL, -LTL, /tmp/LTL12695315651935011362.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL17272576946616296686.gal -t CGAL -LTL /tmp/LTL12695315651935011362.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X((F(G("((((p1944!=1)||(p1948!=1))||(p831!=1))||(p1062!=1))")))||(G("((p1944==1)&&(p1948==1))")))))
Formula 0 simplified : !X(FG"((((p1944!=1)||(p1948!=1))||(p831!=1))||(p1062!=1))" | G"((p1944==1)&&(p1948==1))")
Detected timeout of ITS tools.
[2021-05-08 03:13:47] [INFO ] Flatten gal took : 89 ms
[2021-05-08 03:13:47] [INFO ] Applying decomposition
[2021-05-08 03:13:47] [INFO ] Flatten gal took : 96 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph6640617965330275106.txt, -o, /tmp/graph6640617965330275106.bin, -w, /tmp/graph6640617965330275106.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph6640617965330275106.bin, -l, -1, -v, -w, /tmp/graph6640617965330275106.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 03:13:47] [INFO ] Decomposing Gal with order
[2021-05-08 03:13:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 03:13:48] [INFO ] Removed a total of 3921 redundant transitions.
[2021-05-08 03:13:48] [INFO ] Flatten gal took : 167 ms
[2021-05-08 03:13:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 8 labels/synchronizations in 28 ms.
[2021-05-08 03:13:48] [INFO ] Time to serialize gal into /tmp/LTL894135138182443308.gal : 15 ms
[2021-05-08 03:13:48] [INFO ] Time to serialize properties into /tmp/LTL5884469634941547936.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL894135138182443308.gal, -t, CGAL, -LTL, /tmp/LTL5884469634941547936.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL894135138182443308.gal -t CGAL -LTL /tmp/LTL5884469634941547936.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X((F(G("((((i19.i0.i1.u552.p1944!=1)||(i19.i0.i0.u554.p1948!=1))||(i11.u237.p831!=1))||(i11.u299.p1062!=1))")))||(G("((i19.i0.i1.u552.p1944==1)&&(i19.i0.i0.u554.p1948==1))")))))
Formula 0 simplified : !X(FG"((((i19.i0.i1.u552.p1944!=1)||(i19.i0.i0.u554.p1948!=1))||(i11.u237.p831!=1))||(i11.u299.p1062!=1))" | G"((i19.i0.i1.u552.p1944==1)&&(i19.i0.i0.u554.p1948==1))")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin15571114217284740563
[2021-05-08 03:14:03] [INFO ] Built C files in 33ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin15571114217284740563
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15571114217284740563]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15571114217284740563] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin15571114217284740563] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property ASLink-PT-10a-10 finished in 43355 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 2 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Drop transitions removed 387 transitions
Trivial Post-agglo rules discarded 387 transitions
Performed 387 trivial Post agglomeration. Transition count delta: 387
Iterating post reduction 0 with 387 rules applied. Total rules applied 387 place count 1983 transition count 2661
Reduce places removed 387 places and 0 transitions.
Iterating post reduction 1 with 387 rules applied. Total rules applied 774 place count 1596 transition count 2661
Performed 261 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 261 Pre rules applied. Total rules applied 774 place count 1596 transition count 2400
Deduced a syphon composed of 261 places in 3 ms
Ensure Unique test removed 85 places
Reduce places removed 346 places and 0 transitions.
Iterating global reduction 2 with 607 rules applied. Total rules applied 1381 place count 1250 transition count 2400
Discarding 14 places :
Implicit places reduction removed 14 places
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 2 with 23 rules applied. Total rules applied 1404 place count 1236 transition count 2391
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 3 with 9 rules applied. Total rules applied 1413 place count 1227 transition count 2391
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 36 Pre rules applied. Total rules applied 1413 place count 1227 transition count 2355
Deduced a syphon composed of 36 places in 3 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 4 with 72 rules applied. Total rules applied 1485 place count 1191 transition count 2355
Discarding 6 places :
Symmetric choice reduction at 4 with 6 rule applications. Total rules 1491 place count 1185 transition count 2342
Iterating global reduction 4 with 6 rules applied. Total rules applied 1497 place count 1185 transition count 2342
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 4 with 4 rules applied. Total rules applied 1501 place count 1185 transition count 2338
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1502 place count 1184 transition count 2338
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 1502 place count 1184 transition count 2337
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1504 place count 1183 transition count 2337
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1505 place count 1182 transition count 2329
Iterating global reduction 6 with 1 rules applied. Total rules applied 1506 place count 1182 transition count 2329
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1507 place count 1181 transition count 2321
Iterating global reduction 6 with 1 rules applied. Total rules applied 1508 place count 1181 transition count 2321
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1509 place count 1180 transition count 2313
Iterating global reduction 6 with 1 rules applied. Total rules applied 1510 place count 1180 transition count 2313
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1511 place count 1179 transition count 2305
Iterating global reduction 6 with 1 rules applied. Total rules applied 1512 place count 1179 transition count 2305
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1513 place count 1178 transition count 2297
Iterating global reduction 6 with 1 rules applied. Total rules applied 1514 place count 1178 transition count 2297
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1515 place count 1177 transition count 2289
Iterating global reduction 6 with 1 rules applied. Total rules applied 1516 place count 1177 transition count 2289
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1517 place count 1176 transition count 2281
Iterating global reduction 6 with 1 rules applied. Total rules applied 1518 place count 1176 transition count 2281
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1519 place count 1175 transition count 2273
Iterating global reduction 6 with 1 rules applied. Total rules applied 1520 place count 1175 transition count 2273
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1521 place count 1174 transition count 2265
Iterating global reduction 6 with 1 rules applied. Total rules applied 1522 place count 1174 transition count 2265
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1523 place count 1173 transition count 2257
Iterating global reduction 6 with 1 rules applied. Total rules applied 1524 place count 1173 transition count 2257
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1525 place count 1172 transition count 2249
Iterating global reduction 6 with 1 rules applied. Total rules applied 1526 place count 1172 transition count 2249
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1527 place count 1171 transition count 2241
Iterating global reduction 6 with 1 rules applied. Total rules applied 1528 place count 1171 transition count 2241
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1529 place count 1170 transition count 2233
Iterating global reduction 6 with 1 rules applied. Total rules applied 1530 place count 1170 transition count 2233
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1531 place count 1169 transition count 2225
Iterating global reduction 6 with 1 rules applied. Total rules applied 1532 place count 1169 transition count 2225
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1533 place count 1168 transition count 2217
Iterating global reduction 6 with 1 rules applied. Total rules applied 1534 place count 1168 transition count 2217
Performed 105 Post agglomeration using F-continuation condition.Transition count delta: 105
Deduced a syphon composed of 105 places in 3 ms
Reduce places removed 105 places and 0 transitions.
Iterating global reduction 6 with 210 rules applied. Total rules applied 1744 place count 1063 transition count 2112
Applied a total of 1744 rules in 763 ms. Remains 1063 /1983 variables (removed 920) and now considering 2112/3048 (removed 936) transitions.
// Phase 1: matrix 2112 rows 1063 cols
[2021-05-08 03:14:05] [INFO ] Computed 170 place invariants in 23 ms
[2021-05-08 03:14:05] [INFO ] Implicit Places using invariants in 645 ms returned [90, 96, 101, 117, 187, 193, 198, 214, 284, 290, 295, 311, 381, 387, 392, 411, 481, 487, 492, 498, 509, 616, 687, 693, 698, 714, 784, 790, 795, 811, 881, 887, 892, 908, 978, 984, 989, 1008, 1060]
Discarding 39 places :
Implicit Place search using SMT only with invariants took 647 ms to find 39 implicit places.
[2021-05-08 03:14:05] [INFO ] Redundant transitions in 46 ms returned []
// Phase 1: matrix 2112 rows 1024 cols
[2021-05-08 03:14:05] [INFO ] Computed 131 place invariants in 23 ms
[2021-05-08 03:14:06] [INFO ] Dead Transitions using invariants and state equation in 1009 ms returned []
Starting structural reductions, iteration 1 : 1024/1983 places, 2112/3048 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1024 transition count 2110
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 4 place count 1022 transition count 2110
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 4 place count 1022 transition count 2090
Deduced a syphon composed of 20 places in 2 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 44 place count 1002 transition count 2090
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 62 place count 984 transition count 2072
Iterating global reduction 2 with 18 rules applied. Total rules applied 80 place count 984 transition count 2072
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 98 place count 966 transition count 2054
Iterating global reduction 2 with 18 rules applied. Total rules applied 116 place count 966 transition count 2054
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 125 place count 957 transition count 2045
Iterating global reduction 2 with 9 rules applied. Total rules applied 134 place count 957 transition count 2045
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Deduced a syphon composed of 21 places in 2 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 2 with 42 rules applied. Total rules applied 176 place count 936 transition count 2024
Applied a total of 176 rules in 163 ms. Remains 936 /1024 variables (removed 88) and now considering 2024/2112 (removed 88) transitions.
// Phase 1: matrix 2024 rows 936 cols
[2021-05-08 03:14:07] [INFO ] Computed 131 place invariants in 22 ms
[2021-05-08 03:14:07] [INFO ] Implicit Places using invariants in 607 ms returned [93, 96, 177, 180, 261, 264, 345, 348, 429, 432, 532, 535, 617, 620, 701, 704, 785, 788, 869, 872]
Discarding 20 places :
Implicit Place search using SMT only with invariants took 609 ms to find 20 implicit places.
Starting structural reductions, iteration 2 : 916/1983 places, 2024/3048 transitions.
Drop transitions removed 10 transitions
Trivial Post-agglo rules discarded 10 transitions
Performed 10 trivial Post agglomeration. Transition count delta: 10
Iterating post reduction 0 with 10 rules applied. Total rules applied 10 place count 916 transition count 2014
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 1 with 10 rules applied. Total rules applied 20 place count 906 transition count 2014
Discarding 10 places :
Symmetric choice reduction at 2 with 10 rule applications. Total rules 30 place count 896 transition count 2004
Iterating global reduction 2 with 10 rules applied. Total rules applied 40 place count 896 transition count 2004
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 50 place count 896 transition count 1994
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 52 place count 895 transition count 1993
Applied a total of 52 rules in 101 ms. Remains 895 /916 variables (removed 21) and now considering 1993/2024 (removed 31) transitions.
// Phase 1: matrix 1993 rows 895 cols
[2021-05-08 03:14:07] [INFO ] Computed 111 place invariants in 21 ms
[2021-05-08 03:14:08] [INFO ] Implicit Places using invariants in 572 ms returned [72, 151, 231, 311, 391, 471, 571, 651, 731, 811]
Discarding 10 places :
Implicit Place search using SMT only with invariants took 574 ms to find 10 implicit places.
Starting structural reductions, iteration 3 : 885/1983 places, 1993/3048 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 2 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 0 with 20 rules applied. Total rules applied 20 place count 875 transition count 1983
Applied a total of 20 rules in 79 ms. Remains 875 /885 variables (removed 10) and now considering 1983/1993 (removed 10) transitions.
// Phase 1: matrix 1983 rows 875 cols
[2021-05-08 03:14:08] [INFO ] Computed 101 place invariants in 21 ms
[2021-05-08 03:14:08] [INFO ] Implicit Places using invariants in 504 ms returned []
// Phase 1: matrix 1983 rows 875 cols
[2021-05-08 03:14:08] [INFO ] Computed 101 place invariants in 21 ms
[2021-05-08 03:14:09] [INFO ] State equation strengthened by 10 read => feed constraints.
[2021-05-08 03:14:13] [INFO ] Implicit Places using invariants and state equation in 4853 ms returned []
Implicit Place search using SMT with State Equation took 5357 ms to find 0 implicit places.
Finished structural reductions, in 4 iterations. Remains : 875/1983 places, 1983/3048 transitions.
Stuttering acceptance computed with spot in 23 ms :[(NOT p0)]
Running random walk in product with property : ASLink-PT-10a-12 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(AND (EQ s493 1) (EQ s507 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 50 steps with 1 reset in 0 ms.
FORMULA ASLink-PT-10a-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-10a-12 finished in 9394 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((X(X(p1))||p0)))], workingDir=/home/mcc/execution]
Support contains 3 out of 1983 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1983/1983 places, 3048/3048 transitions.
Applied a total of 0 rules in 71 ms. Remains 1983 /1983 variables (removed 0) and now considering 3048/3048 (removed 0) transitions.
// Phase 1: matrix 3048 rows 1983 cols
[2021-05-08 03:14:13] [INFO ] Computed 269 place invariants in 33 ms
[2021-05-08 03:14:14] [INFO ] Implicit Places using invariants in 900 ms returned [915, 1116]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 901 ms to find 2 implicit places.
// Phase 1: matrix 3048 rows 1981 cols
[2021-05-08 03:14:14] [INFO ] Computed 267 place invariants in 33 ms
[2021-05-08 03:14:16] [INFO ] Dead Transitions using invariants and state equation in 1508 ms returned []
Starting structural reductions, iteration 1 : 1981/1983 places, 3048/3048 transitions.
Applied a total of 0 rules in 76 ms. Remains 1981 /1981 variables (removed 0) and now considering 3048/3048 (removed 0) transitions.
// Phase 1: matrix 3048 rows 1981 cols
[2021-05-08 03:14:16] [INFO ] Computed 267 place invariants in 32 ms
[2021-05-08 03:14:17] [INFO ] Dead Transitions using invariants and state equation in 1480 ms returned []
Finished structural reductions, in 2 iterations. Remains : 1981/1983 places, 3048/3048 transitions.
Stuttering acceptance computed with spot in 77 ms :[(AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1), true]
Running random walk in product with property : ASLink-PT-10a-13 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p1), acceptance={} source=2 dest: 3}], [{ cond=true, acceptance={0} source=3 dest: 3}]], initial=0, aps=[p0:(OR (NEQ s1663 1) (NEQ s1856 1)), p1:(NEQ s989 0)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Product exploration explored 100000 steps with 429 reset in 408 ms.
Product exploration explored 100000 steps with 435 reset in 435 ms.
Knowledge obtained : [p0, (NOT p1)]
Stuttering acceptance computed with spot in 75 ms :[(AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1), true]
Product exploration explored 100000 steps with 438 reset in 394 ms.
Product exploration explored 100000 steps with 444 reset in 427 ms.
Applying partial POR strategy [false, false, true, true]
Stuttering acceptance computed with spot in 85 ms :[(AND (NOT p0) (NOT p1)), (NOT p1), (NOT p1), true]
Support contains 3 out of 1981 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 1981/1981 places, 3048/3048 transitions.
Performed 391 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 391 rules applied. Total rules applied 391 place count 1981 transition count 3048
Performed 144 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 144 Pre rules applied. Total rules applied 391 place count 1981 transition count 3131
Deduced a syphon composed of 535 places in 3 ms
Iterating global reduction 1 with 144 rules applied. Total rules applied 535 place count 1981 transition count 3131
Discarding 51 places :
Symmetric choice reduction at 1 with 51 rule applications. Total rules 586 place count 1930 transition count 3080
Deduced a syphon composed of 486 places in 4 ms
Iterating global reduction 1 with 51 rules applied. Total rules applied 637 place count 1930 transition count 3080
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 1 with 1 Pre rules applied. Total rules applied 637 place count 1930 transition count 3080
Deduced a syphon composed of 487 places in 3 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 638 place count 1930 transition count 3080
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 639 place count 1929 transition count 3079
Deduced a syphon composed of 486 places in 4 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 640 place count 1929 transition count 3079
Performed 249 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 735 places in 3 ms
Iterating global reduction 1 with 249 rules applied. Total rules applied 889 place count 1929 transition count 3112
Discarding 132 places :
Symmetric choice reduction at 1 with 132 rule applications. Total rules 1021 place count 1797 transition count 2980
Deduced a syphon composed of 603 places in 3 ms
Iterating global reduction 1 with 132 rules applied. Total rules applied 1153 place count 1797 transition count 2980
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: -40
Deduced a syphon composed of 613 places in 3 ms
Iterating global reduction 1 with 10 rules applied. Total rules applied 1163 place count 1797 transition count 3020
Performed 1(complex) Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Deduced a syphon composed of 614 places in 4 ms
Iterating global reduction 1 with 1 rules applied. Total rules applied 1164 place count 1797 transition count 3024
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 1166 place count 1795 transition count 3018
Deduced a syphon composed of 612 places in 4 ms
Iterating global reduction 1 with 2 rules applied. Total rules applied 1168 place count 1795 transition count 3018
Deduced a syphon composed of 612 places in 3 ms
Applied a total of 1168 rules in 534 ms. Remains 1795 /1981 variables (removed 186) and now considering 3018/3048 (removed 30) transitions.
[2021-05-08 03:14:20] [INFO ] Redundant transitions in 90 ms returned []
// Phase 1: matrix 3018 rows 1795 cols
[2021-05-08 03:14:20] [INFO ] Computed 267 place invariants in 40 ms
[2021-05-08 03:14:22] [INFO ] Dead Transitions using invariants and state equation in 1587 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1795/1981 places, 3018/3048 transitions.
Product exploration explored 100000 steps with 436 reset in 615 ms.
Product exploration explored 100000 steps with 439 reset in 557 ms.
[2021-05-08 03:14:23] [INFO ] Flatten gal took : 108 ms
[2021-05-08 03:14:23] [INFO ] Flatten gal took : 111 ms
[2021-05-08 03:14:23] [INFO ] Time to serialize gal into /tmp/LTL15688250339204697467.gal : 17 ms
[2021-05-08 03:14:23] [INFO ] Time to serialize properties into /tmp/LTL1883540895758614684.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL15688250339204697467.gal, -t, CGAL, -LTL, /tmp/LTL1883540895758614684.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL15688250339204697467.gal -t CGAL -LTL /tmp/LTL1883540895758614684.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((G(("((p1796!=1)||(p2003!=1))")||(X(X("(p1070!=0)"))))))
Formula 0 simplified : !G("((p1796!=1)||(p2003!=1))" | XX"(p1070!=0)")
Detected timeout of ITS tools.
[2021-05-08 03:14:38] [INFO ] Flatten gal took : 104 ms
[2021-05-08 03:14:38] [INFO ] Applying decomposition
[2021-05-08 03:14:38] [INFO ] Flatten gal took : 98 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph14798154822243539996.txt, -o, /tmp/graph14798154822243539996.bin, -w, /tmp/graph14798154822243539996.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph14798154822243539996.bin, -l, -1, -v, -w, /tmp/graph14798154822243539996.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 03:14:39] [INFO ] Decomposing Gal with order
[2021-05-08 03:14:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 03:14:39] [INFO ] Removed a total of 4209 redundant transitions.
[2021-05-08 03:14:39] [INFO ] Flatten gal took : 158 ms
[2021-05-08 03:14:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 16 ms.
[2021-05-08 03:14:39] [INFO ] Time to serialize gal into /tmp/LTL3772340127517472702.gal : 15 ms
[2021-05-08 03:14:39] [INFO ] Time to serialize properties into /tmp/LTL9815083258186098205.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL3772340127517472702.gal, -t, CGAL, -LTL, /tmp/LTL9815083258186098205.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL3772340127517472702.gal -t CGAL -LTL /tmp/LTL9815083258186098205.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((G(("((i20.u494.p1796!=1)||(i20.u556.p2003!=1))")||(X(X("(i10.u296.p1070!=0)"))))))
Formula 0 simplified : !G("((i20.u494.p1796!=1)||(i20.u556.p2003!=1))" | XX"(i10.u296.p1070!=0)")
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin12572534683263766823
[2021-05-08 03:14:54] [INFO ] Built C files in 33ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12572534683263766823
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12572534683263766823]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12572534683263766823] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin12572534683263766823] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property ASLink-PT-10a-13 finished in 41704 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin16133389501091739157
[2021-05-08 03:14:55] [INFO ] Too many transitions (3048) to apply POR reductions. Disabling POR matrices.
[2021-05-08 03:14:55] [INFO ] Applying decomposition
[2021-05-08 03:14:55] [INFO ] Built C files in 50ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16133389501091739157
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16133389501091739157]
[2021-05-08 03:14:55] [INFO ] Flatten gal took : 97 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph10426357902972888404.txt, -o, /tmp/graph10426357902972888404.bin, -w, /tmp/graph10426357902972888404.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph10426357902972888404.bin, -l, -1, -v, -w, /tmp/graph10426357902972888404.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 03:14:55] [INFO ] Decomposing Gal with order
[2021-05-08 03:14:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 03:14:56] [INFO ] Removed a total of 4253 redundant transitions.
[2021-05-08 03:14:56] [INFO ] Flatten gal took : 181 ms
[2021-05-08 03:14:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 14 labels/synchronizations in 19 ms.
[2021-05-08 03:14:56] [INFO ] Time to serialize gal into /tmp/LTLFireability14384326986637277049.gal : 35 ms
[2021-05-08 03:14:56] [INFO ] Time to serialize properties into /tmp/LTLFireability15130358145812801846.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability14384326986637277049.gal, -t, CGAL, -LTL, /tmp/LTLFireability15130358145812801846.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability14384326986637277049.gal -t CGAL -LTL /tmp/LTLFireability15130358145812801846.ltl -c -stutter-deadlock
Read 3 LTL properties
Checking formula 0 : !((G(F((!("((i14.u399.p1411==1)&&(i14.u464.p1646==1))"))U(("((!((i15.u340.p1209==1)&&(i15.u404.p1440==1)))&&(!((i14.u399.p1411==1)&&(i14.u464.p1646==1))))")||(G(!("((i14.u399.p1411==1)&&(i14.u464.p1646==1))"))))))))
Formula 0 simplified : !GF(!"((i14.u399.p1411==1)&&(i14.u464.p1646==1))" U ("((!((i15.u340.p1209==1)&&(i15.u404.p1440==1)))&&(!((i14.u399.p1411==1)&&(i14.u464.p1646==1))))" | G!"((i14.u399.p1411==1)&&(i14.u464.p1646==1))"))
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16133389501091739157] killed by timeout after 30 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16133389501091739157] killed by timeout after 30 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2021-05-08 03:36:44] [INFO ] Applying decomposition
[2021-05-08 03:36:44] [INFO ] Flatten gal took : 97 ms
[2021-05-08 03:36:44] [INFO ] Decomposing Gal with order
[2021-05-08 03:36:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 03:36:45] [INFO ] Removed a total of 3498 redundant transitions.
[2021-05-08 03:36:45] [INFO ] Flatten gal took : 190 ms
[2021-05-08 03:36:45] [INFO ] Fuse similar labels procedure discarded/fused a total of 1279 labels/synchronizations in 74 ms.
[2021-05-08 03:36:45] [INFO ] Time to serialize gal into /tmp/LTLFireability13600612405633403709.gal : 11 ms
[2021-05-08 03:36:53] [INFO ] Time to serialize properties into /tmp/LTLFireability11657578389768033129.ltl : 8036 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability13600612405633403709.gal, -t, CGAL, -LTL, /tmp/LTLFireability11657578389768033129.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability13600612405633403709.gal -t CGAL -LTL /tmp/LTLFireability11657578389768033129.ltl -c -stutter-deadlock
Read 3 LTL properties
Checking formula 0 : !((G(F((!("((u249.p1411==1)&&(u286.p1646==1))"))U(("((!((u214.p1209==1)&&(u251.p1440==1)))&&(!((u249.p1411==1)&&(u286.p1646==1))))")||(G(!("((u249.p1411==1)&&(u286.p1646==1))"))))))))
Formula 0 simplified : !GF(!"((u249.p1411==1)&&(u286.p1646==1))" U ("((!((u214.p1209==1)&&(u251.p1440==1)))&&(!((u249.p1411==1)&&(u286.p1646==1))))" | G!"((u249.p1411==1)&&(u286.p1646==1))"))
Detected timeout of ITS tools.
[2021-05-08 03:58:41] [INFO ] Flatten gal took : 94 ms
[2021-05-08 03:58:41] [INFO ] Input system was already deterministic with 3048 transitions.
[2021-05-08 03:58:41] [INFO ] Transformed 1983 places.
[2021-05-08 03:58:41] [INFO ] Transformed 3048 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-08 03:59:12] [INFO ] Time to serialize gal into /tmp/LTLFireability6067429575633745274.gal : 7 ms
[2021-05-08 03:59:12] [INFO ] Time to serialize properties into /tmp/LTLFireability10299643935534500995.ltl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability6067429575633745274.gal, -t, CGAL, -LTL, /tmp/LTLFireability10299643935534500995.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability6067429575633745274.gal -t CGAL -LTL /tmp/LTLFireability10299643935534500995.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 3 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((G(F((!("((p1411==1)&&(p1646==1))"))U(("((!((p1209==1)&&(p1440==1)))&&(!((p1411==1)&&(p1646==1))))")||(G(!("((p1411==1)&&(p1646==1))"))))))))
Formula 0 simplified : !GF(!"((p1411==1)&&(p1646==1))" U ("((!((p1209==1)&&(p1440==1)))&&(!((p1411==1)&&(p1646==1))))" | G!"((p1411==1)&&(p1646==1))"))

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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-10a"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-10a, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r007-tall-162037989600154"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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