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

About the Execution of ITS-Tools for Echo-PT-d04r03

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2715.876 1997746.00 1629591.00 172115.70 FTTFTFTFTFTFTFTF 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.r083-tall-162048875700662.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 Echo-PT-d04r03, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r083-tall-162048875700662
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 916K
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 130K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 85K 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 5.9K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 10:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 23 10:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 22 18:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 22 18:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 7 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 530K 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 Echo-PT-d04r03-ReachabilityCardinality-00
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-01
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-02
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-03
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-04
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-05
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-06
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-07
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-08
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-09
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-10
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-11
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-12
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-13
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-14
FORMULA_NAME Echo-PT-d04r03-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1620653189168

Running Version 0
[2021-05-10 13:26:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -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-10 13:26:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-10 13:26:45] [INFO ] Load time of PNML (sax parser for PT used): 173 ms
[2021-05-10 13:26:45] [INFO ] Transformed 1019 places.
[2021-05-10 13:26:45] [INFO ] Transformed 850 transitions.
[2021-05-10 13:26:45] [INFO ] Found NUPN structural information;
[2021-05-10 13:26:45] [INFO ] Parsed PT model containing 1019 places and 850 transitions in 236 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 10 ms.
Working with output stream class java.io.PrintStream
FORMULA Echo-PT-d04r03-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d04r03-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d04r03-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Echo-PT-d04r03-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 61 resets, run finished after 215 ms. (steps per millisecond=46 ) properties (out of 12) seen :7
FORMULA Echo-PT-d04r03-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA Echo-PT-d04r03-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 59 ms. (steps per millisecond=169 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 47 ms. (steps per millisecond=212 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 50 ms. (steps per millisecond=200 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 850 rows 1019 cols
[2021-05-10 13:26:46] [INFO ] Computed 513 place invariants in 90 ms
[2021-05-10 13:26:46] [INFO ] [Real]Absence check using 115 positive place invariants in 38 ms returned sat
[2021-05-10 13:26:46] [INFO ] [Real]Absence check using 115 positive and 398 generalized place invariants in 90 ms returned sat
[2021-05-10 13:26:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:26:51] [INFO ] [Real]Absence check using state equation in 4663 ms returned unknown
[2021-05-10 13:26:51] [INFO ] [Real]Absence check using 115 positive place invariants in 76 ms returned sat
[2021-05-10 13:26:51] [INFO ] [Real]Absence check using 115 positive and 398 generalized place invariants in 76 ms returned sat
[2021-05-10 13:26:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:26:56] [INFO ] [Real]Absence check using state equation in 4636 ms returned unknown
[2021-05-10 13:26:56] [INFO ] [Real]Absence check using 115 positive place invariants in 29 ms returned sat
[2021-05-10 13:26:56] [INFO ] [Real]Absence check using 115 positive and 398 generalized place invariants in 80 ms returned sat
[2021-05-10 13:26:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:27:01] [INFO ] [Real]Absence check using state equation in 4750 ms returned unknown
[2021-05-10 13:27:01] [INFO ] [Real]Absence check using 115 positive place invariants in 29 ms returned sat
[2021-05-10 13:27:01] [INFO ] [Real]Absence check using 115 positive and 398 generalized place invariants in 83 ms returned sat
[2021-05-10 13:27:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:27:06] [INFO ] [Real]Absence check using state equation in 4750 ms returned unknown
[2021-05-10 13:27:06] [INFO ] [Real]Absence check using 115 positive place invariants in 29 ms returned sat
[2021-05-10 13:27:06] [INFO ] [Real]Absence check using 115 positive and 398 generalized place invariants in 79 ms returned sat
[2021-05-10 13:27:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:27:11] [INFO ] [Real]Absence check using state equation in 4745 ms returned unknown
Fused 5 Parikh solutions to 1 different solutions.
Support contains 22 out of 1019 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1019/1019 places, 850/850 transitions.
Graph (complete) has 4450 edges and 1019 vertex of which 926 are kept as prefixes of interest. Removing 93 places using SCC suffix rule.13701 ms
Discarding 93 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 0 with 6 rules applied. Total rules applied 7 place count 926 transition count 843
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 1 with 1 rules applied. Total rules applied 8 place count 925 transition count 842
Applied a total of 8 rules in 13913 ms. Remains 925 /1019 variables (removed 94) and now considering 842/850 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 925/1019 places, 842/850 transitions.
[2021-05-10 13:27:25] [INFO ] Flatten gal took : 163 ms
[2021-05-10 13:27:25] [INFO ] Flatten gal took : 100 ms
[2021-05-10 13:27:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13387280469360769177.gal : 35 ms
[2021-05-10 13:27:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11468669022900209714.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13387280469360769177.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11468669022900209714.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13387280469360769177.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11468669022900209714.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11468669022900209714.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :6 after 22
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :22 after 52
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :52 after 183
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :183 after 1359
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :1359 after 1500
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :1500 after 6291
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :6291 after 9116
Detected timeout of ITS tools.
[2021-05-10 13:27:40] [INFO ] Flatten gal took : 90 ms
[2021-05-10 13:27:40] [INFO ] Applying decomposition
[2021-05-10 13:27:40] [INFO ] Flatten gal took : 79 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/graph14122673893087282423.txt, -o, /tmp/graph14122673893087282423.bin, -w, /tmp/graph14122673893087282423.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/graph14122673893087282423.bin, -l, -1, -v, -w, /tmp/graph14122673893087282423.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 13:27:43] [INFO ] Decomposing Gal with order
[2021-05-10 13:27:43] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:27:43] [INFO ] Removed a total of 1420 redundant transitions.
[2021-05-10 13:27:43] [INFO ] Flatten gal took : 252 ms
[2021-05-10 13:27:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 14 ms.
[2021-05-10 13:27:43] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8244016442005086786.gal : 17 ms
[2021-05-10 13:27:43] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4379653706962863168.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8244016442005086786.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4379653706962863168.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8244016442005086786.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4379653706962863168.prop --nowitness
Loading property file /tmp/ReachabilityCardinality4379653706962863168.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :8 after 40
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :40 after 164
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :164 after 18184
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :18184 after 7.97854e+08
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :7.97854e+08 after 9.47845e+09
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14988806589146016707
[2021-05-10 13:28:03] [INFO ] Built C files in 28ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14988806589146016707
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/ltsmin14988806589146016707]
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/ltsmin14988806589146016707] 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/ltsmin14988806589146016707] 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)
Incomplete random walk after 1000000 steps, including 6355 resets, run finished after 12170 ms. (steps per millisecond=82 ) properties (out of 5) seen :1
FORMULA Echo-PT-d04r03-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 160 resets, run finished after 4551 ms. (steps per millisecond=219 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4297 ms. (steps per millisecond=232 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 158 resets, run finished after 4423 ms. (steps per millisecond=226 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 158 resets, run finished after 4389 ms. (steps per millisecond=227 ) properties (out of 4) seen :0
Running SMT prover for 4 properties.
// Phase 1: matrix 842 rows 925 cols
[2021-05-10 13:28:34] [INFO ] Computed 421 place invariants in 747 ms
[2021-05-10 13:28:35] [INFO ] [Real]Absence check using 15 positive place invariants in 26 ms returned sat
[2021-05-10 13:28:35] [INFO ] [Real]Absence check using 15 positive and 406 generalized place invariants in 610 ms returned sat
[2021-05-10 13:28:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:29:19] [INFO ] [Real]Absence check using state equation in 44162 ms returned unknown
[2021-05-10 13:29:20] [INFO ] [Real]Absence check using 15 positive place invariants in 32 ms returned sat
[2021-05-10 13:29:20] [INFO ] [Real]Absence check using 15 positive and 406 generalized place invariants in 367 ms returned sat
[2021-05-10 13:29:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:30:04] [INFO ] [Real]Absence check using state equation in 44484 ms returned unknown
[2021-05-10 13:30:05] [INFO ] [Real]Absence check using 15 positive place invariants in 23 ms returned sat
[2021-05-10 13:30:05] [INFO ] [Real]Absence check using 15 positive and 406 generalized place invariants in 594 ms returned sat
[2021-05-10 13:30:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:30:49] [INFO ] [Real]Absence check using state equation in 44259 ms returned unknown
[2021-05-10 13:30:50] [INFO ] [Real]Absence check using 15 positive place invariants in 16 ms returned sat
[2021-05-10 13:30:50] [INFO ] [Real]Absence check using 15 positive and 406 generalized place invariants in 393 ms returned sat
[2021-05-10 13:30:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:31:34] [INFO ] [Real]Absence check using state equation in 44480 ms returned unknown
Fused 4 Parikh solutions to 1 different solutions.
Support contains 14 out of 925 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 925/925 places, 842/842 transitions.
Graph (complete) has 3540 edges and 925 vertex of which 924 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.2 ms
Discarding 1 places :
Also discarding 0 output transitions
Applied a total of 1 rules in 40 ms. Remains 924 /925 variables (removed 1) and now considering 842/842 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 924/925 places, 842/842 transitions.
[2021-05-10 13:31:35] [INFO ] Flatten gal took : 61 ms
[2021-05-10 13:31:35] [INFO ] Flatten gal took : 58 ms
[2021-05-10 13:31:35] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2627587780477754642.gal : 8 ms
[2021-05-10 13:31:35] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16284810087833685192.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2627587780477754642.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16284810087833685192.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2627587780477754642.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16284810087833685192.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality16284810087833685192.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :6 after 22
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :22 after 52
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :52 after 183
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :183 after 1359
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :1359 after 1494
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :1494 after 6253
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :6253 after 9035
Detected timeout of ITS tools.
[2021-05-10 13:31:50] [INFO ] Flatten gal took : 61 ms
[2021-05-10 13:31:50] [INFO ] Applying decomposition
[2021-05-10 13:31:50] [INFO ] Flatten gal took : 56 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/graph4273731158828379228.txt, -o, /tmp/graph4273731158828379228.bin, -w, /tmp/graph4273731158828379228.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/graph4273731158828379228.bin, -l, -1, -v, -w, /tmp/graph4273731158828379228.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 13:31:50] [INFO ] Decomposing Gal with order
[2021-05-10 13:31:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:31:50] [INFO ] Removed a total of 1521 redundant transitions.
[2021-05-10 13:31:50] [INFO ] Flatten gal took : 160 ms
[2021-05-10 13:31:50] [INFO ] Fuse similar labels procedure discarded/fused a total of 166 labels/synchronizations in 38 ms.
[2021-05-10 13:31:50] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3407899499824643894.gal : 9 ms
[2021-05-10 13:31:50] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8179042089638596753.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality3407899499824643894.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8179042089638596753.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality3407899499824643894.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8179042089638596753.prop --nowitness
Loading property file /tmp/ReachabilityCardinality8179042089638596753.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 2
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :2 after 8
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :8 after 1290
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :1290 after 22128
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :22128 after 9.05327e+08
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin11615638692865817108
[2021-05-10 13:32:05] [INFO ] Built C files in 14ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin11615638692865817108
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/ltsmin11615638692865817108]
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/ltsmin11615638692865817108] 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/ltsmin11615638692865817108] 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)
Incomplete random walk after 1000000 steps, including 6355 resets, run finished after 14047 ms. (steps per millisecond=71 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4528 ms. (steps per millisecond=220 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4285 ms. (steps per millisecond=233 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 157 resets, run finished after 4449 ms. (steps per millisecond=224 ) properties (out of 4) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4408 ms. (steps per millisecond=226 ) properties (out of 4) seen :0
Interrupted probabilistic random walk after 4015907 steps, run timeout after 30001 ms. (steps per millisecond=133 ) properties seen :{}
Probabilistic random walk after 4015907 steps, saw 571284 distinct states, run finished after 30003 ms. (steps per millisecond=133 ) properties seen :{}
Running SMT prover for 4 properties.
// Phase 1: matrix 842 rows 924 cols
[2021-05-10 13:33:09] [INFO ] Computed 420 place invariants in 762 ms
[2021-05-10 13:33:09] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2021-05-10 13:33:10] [INFO ] [Real]Absence check using 10 positive and 410 generalized place invariants in 798 ms returned sat
[2021-05-10 13:33:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:33:54] [INFO ] [Real]Absence check using state equation in 44053 ms returned unknown
[2021-05-10 13:33:54] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2021-05-10 13:33:54] [INFO ] [Real]Absence check using 10 positive and 410 generalized place invariants in 417 ms returned sat
[2021-05-10 13:33:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:34:01] [INFO ] [Real]Absence check using state equation in 6790 ms returned sat
[2021-05-10 13:34:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 13:34:02] [INFO ] [Real]Absence check using 10 positive place invariants in 18 ms returned sat
[2021-05-10 13:34:02] [INFO ] [Real]Absence check using 10 positive and 410 generalized place invariants in 524 ms returned sat
[2021-05-10 13:34:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:34:10] [INFO ] [Real]Absence check using state equation in 7803 ms returned sat
[2021-05-10 13:34:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-10 13:34:10] [INFO ] [Real]Absence check using 10 positive place invariants in 16 ms returned sat
[2021-05-10 13:34:11] [INFO ] [Real]Absence check using 10 positive and 410 generalized place invariants in 490 ms returned sat
[2021-05-10 13:34:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:34:55] [INFO ] [Real]Absence check using state equation in 44370 ms returned unknown
FORMULA Echo-PT-d04r03-ReachabilityCardinality-06 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA Echo-PT-d04r03-ReachabilityCardinality-04 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 4 Parikh solutions to 1 different solutions.
Support contains 10 out of 924 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 924/924 places, 842/842 transitions.
Graph (complete) has 3528 edges and 924 vertex of which 922 are kept as prefixes of interest. Removing 2 places using SCC suffix rule.1 ms
Discarding 2 places :
Also discarding 0 output transitions
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 922 transition count 841
Applied a total of 2 rules in 35 ms. Remains 922 /924 variables (removed 2) and now considering 841/842 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 922/924 places, 841/842 transitions.
[2021-05-10 13:34:55] [INFO ] Flatten gal took : 52 ms
[2021-05-10 13:34:55] [INFO ] Flatten gal took : 53 ms
[2021-05-10 13:34:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7674455577938292139.gal : 5 ms
[2021-05-10 13:34:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15578398606469037625.prop : 2906 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7674455577938292139.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15578398606469037625.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7674455577938292139.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15578398606469037625.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15578398606469037625.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 22
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :22 after 52
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :52 after 183
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :183 after 1359
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :1359 after 1500
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :1500 after 6292
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :6292 after 10736
Detected timeout of ITS tools.
[2021-05-10 13:35:13] [INFO ] Flatten gal took : 54 ms
[2021-05-10 13:35:13] [INFO ] Applying decomposition
[2021-05-10 13:35:13] [INFO ] Flatten gal took : 49 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/graph7035517053269917159.txt, -o, /tmp/graph7035517053269917159.bin, -w, /tmp/graph7035517053269917159.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/graph7035517053269917159.bin, -l, -1, -v, -w, /tmp/graph7035517053269917159.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 13:35:13] [INFO ] Decomposing Gal with order
[2021-05-10 13:35:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:35:14] [INFO ] Removed a total of 1408 redundant transitions.
[2021-05-10 13:35:14] [INFO ] Flatten gal took : 129 ms
[2021-05-10 13:35:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 8 ms.
[2021-05-10 13:35:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18069906911249639871.gal : 8 ms
[2021-05-10 13:35:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7690635265275266739.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality18069906911249639871.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7690635265275266739.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality18069906911249639871.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7690635265275266739.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7690635265275266739.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 14
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :14 after 84
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :84 after 200
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :200 after 30636
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :30636 after 1.91872e+06
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :1.91872e+06 after 9.42392e+09
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :9.42392e+09 after 2.7072e+10
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4984363592023468862
[2021-05-10 13:35:29] [INFO ] Built C files in 17ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4984363592023468862
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/ltsmin4984363592023468862]
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/ltsmin4984363592023468862] 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/ltsmin4984363592023468862] 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)
Incomplete random walk after 1000000 steps, including 6379 resets, run finished after 11613 ms. (steps per millisecond=86 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4528 ms. (steps per millisecond=220 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 160 resets, run finished after 4380 ms. (steps per millisecond=228 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 4685984 steps, run timeout after 30001 ms. (steps per millisecond=156 ) properties seen :{}
Probabilistic random walk after 4685984 steps, saw 657344 distinct states, run finished after 30001 ms. (steps per millisecond=156 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 841 rows 922 cols
[2021-05-10 13:36:21] [INFO ] Computed 418 place invariants in 818 ms
[2021-05-10 13:36:21] [INFO ] [Real]Absence check using 6 positive place invariants in 20 ms returned sat
[2021-05-10 13:36:22] [INFO ] [Real]Absence check using 6 positive and 412 generalized place invariants in 1186 ms returned sat
[2021-05-10 13:36:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:37:06] [INFO ] [Real]Absence check using state equation in 43672 ms returned unknown
[2021-05-10 13:37:06] [INFO ] [Real]Absence check using 6 positive place invariants in 20 ms returned sat
[2021-05-10 13:37:07] [INFO ] [Real]Absence check using 6 positive and 412 generalized place invariants in 776 ms returned sat
[2021-05-10 13:37:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:37:51] [INFO ] [Real]Absence check using state equation in 44082 ms returned unknown
Fused 2 Parikh solutions to 1 different solutions.
Support contains 10 out of 922 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 922/922 places, 841/841 transitions.
Applied a total of 0 rules in 34 ms. Remains 922 /922 variables (removed 0) and now considering 841/841 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 922/922 places, 841/841 transitions.
Starting structural reductions, iteration 0 : 922/922 places, 841/841 transitions.
Applied a total of 0 rules in 26 ms. Remains 922 /922 variables (removed 0) and now considering 841/841 (removed 0) transitions.
// Phase 1: matrix 841 rows 922 cols
[2021-05-10 13:37:52] [INFO ] Computed 418 place invariants in 809 ms
[2021-05-10 13:40:32] [INFO ] Performed 215/922 implicitness test of which 3 returned IMPLICIT in 159 seconds.
[2021-05-10 13:40:32] [INFO ] Implicit Places using invariants in 160816 ms returned [196, 208, 215]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 160818 ms to find 3 implicit places.
[2021-05-10 13:40:32] [INFO ] Redundant transitions in 47 ms returned []
// Phase 1: matrix 841 rows 919 cols
[2021-05-10 13:40:33] [INFO ] Computed 415 place invariants in 709 ms
[2021-05-10 13:41:13] [INFO ] Performed 646/841 'is it Dead' test of which 0 returned DEAD in 40 seconds.
[2021-05-10 13:41:33] [INFO ] Dead Transitions using invariants and state equation in 60715 ms returned []
Starting structural reductions, iteration 1 : 919/922 places, 841/841 transitions.
Applied a total of 0 rules in 26 ms. Remains 919 /919 variables (removed 0) and now considering 841/841 (removed 0) transitions.
[2021-05-10 13:41:33] [INFO ] Redundant transitions in 109 ms returned []
// Phase 1: matrix 841 rows 919 cols
[2021-05-10 13:41:34] [INFO ] Computed 415 place invariants in 702 ms
[2021-05-10 13:42:15] [INFO ] Performed 646/841 'is it Dead' test of which 0 returned DEAD in 40 seconds.
[2021-05-10 13:42:34] [INFO ] Dead Transitions using invariants and state equation in 60720 ms returned []
Finished structural reductions, in 2 iterations. Remains : 919/922 places, 841/841 transitions.
[2021-05-10 13:42:34] [INFO ] Flatten gal took : 49 ms
[2021-05-10 13:42:34] [INFO ] Flatten gal took : 49 ms
[2021-05-10 13:42:34] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12190097360881125910.gal : 5 ms
[2021-05-10 13:42:34] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6649964901475857087.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12190097360881125910.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6649964901475857087.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12190097360881125910.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6649964901475857087.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6649964901475857087.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :6 after 22
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :22 after 52
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :52 after 344
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :344 after 422
SDD proceeding with computation,2 properties remain. new max is 256
SDD size :422 after 1431
SDD proceeding with computation,2 properties remain. new max is 512
SDD size :1431 after 6119
SDD proceeding with computation,2 properties remain. new max is 1024
SDD size :6119 after 9195
SDD proceeding with computation,2 properties remain. new max is 2048
SDD size :9195 after 33019
Detected timeout of ITS tools.
[2021-05-10 13:42:54] [INFO ] Flatten gal took : 48 ms
[2021-05-10 13:42:54] [INFO ] Applying decomposition
[2021-05-10 13:42:54] [INFO ] Flatten gal took : 49 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/graph6499203076564325401.txt, -o, /tmp/graph6499203076564325401.bin, -w, /tmp/graph6499203076564325401.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/graph6499203076564325401.bin, -l, -1, -v, -w, /tmp/graph6499203076564325401.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 13:42:54] [INFO ] Decomposing Gal with order
[2021-05-10 13:42:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:42:54] [INFO ] Removed a total of 1488 redundant transitions.
[2021-05-10 13:42:54] [INFO ] Flatten gal took : 93 ms
[2021-05-10 13:42:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 167 labels/synchronizations in 24 ms.
[2021-05-10 13:42:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2686106749957942488.gal : 7 ms
[2021-05-10 13:42:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11392774164139841275.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2686106749957942488.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11392774164139841275.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2686106749957942488.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11392774164139841275.prop --nowitness
Loading property file /tmp/ReachabilityCardinality11392774164139841275.prop.
SDD proceeding with computation,2 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,2 properties remain. new max is 8
SDD size :3 after 24
SDD proceeding with computation,2 properties remain. new max is 16
SDD size :24 after 7882
SDD proceeding with computation,2 properties remain. new max is 32
SDD size :7882 after 119180
SDD proceeding with computation,2 properties remain. new max is 64
SDD size :119180 after 1.32736e+09
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16961346757421142951
[2021-05-10 13:43:14] [INFO ] Built C files in 14ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16961346757421142951
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/ltsmin16961346757421142951]
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/ltsmin16961346757421142951] killed by timeout after 2 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/ltsmin16961346757421142951] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 6380 resets, run finished after 11682 ms. (steps per millisecond=85 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4568 ms. (steps per millisecond=218 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4502 ms. (steps per millisecond=222 ) properties (out of 2) seen :0
Interrupted probabilistic random walk after 4646288 steps, run timeout after 30001 ms. (steps per millisecond=154 ) properties seen :{}
Probabilistic random walk after 4646288 steps, saw 651983 distinct states, run finished after 30001 ms. (steps per millisecond=154 ) properties seen :{}
Running SMT prover for 2 properties.
// Phase 1: matrix 841 rows 919 cols
[2021-05-10 13:44:08] [INFO ] Computed 415 place invariants in 702 ms
[2021-05-10 13:44:08] [INFO ] [Real]Absence check using 6 positive place invariants in 13 ms returned sat
[2021-05-10 13:44:13] [INFO ] [Real]Absence check using 6 positive and 409 generalized place invariants in 5006 ms returned sat
[2021-05-10 13:44:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:44:53] [INFO ] [Real]Absence check using state equation in 39858 ms returned unknown
[2021-05-10 13:44:53] [INFO ] [Real]Absence check using 6 positive place invariants in 13 ms returned sat
[2021-05-10 13:44:53] [INFO ] [Real]Absence check using 6 positive and 409 generalized place invariants in 255 ms returned sat
[2021-05-10 13:44:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:45:00] [INFO ] [Real]Absence check using state equation in 6973 ms returned sat
[2021-05-10 13:45:00] [INFO ] Solution in real domain found non-integer solution.
FORMULA Echo-PT-d04r03-ReachabilityCardinality-12 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 2 Parikh solutions to 1 different solutions.
Support contains 6 out of 919 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 919/919 places, 841/841 transitions.
Applied a total of 0 rules in 39 ms. Remains 919 /919 variables (removed 0) and now considering 841/841 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 919/919 places, 841/841 transitions.
[2021-05-10 13:45:00] [INFO ] Flatten gal took : 48 ms
[2021-05-10 13:45:00] [INFO ] Flatten gal took : 47 ms
[2021-05-10 13:45:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15841538260706002183.gal : 4 ms
[2021-05-10 13:45:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4840186300221590715.prop : 1866 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15841538260706002183.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4840186300221590715.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15841538260706002183.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4840186300221590715.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4840186300221590715.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :6 after 22
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :22 after 52
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :52 after 344
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :344 after 422
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :422 after 1431
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1431 after 6119
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :6119 after 9195
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :9195 after 33019
Detected timeout of ITS tools.
[2021-05-10 13:45:27] [INFO ] Flatten gal took : 48 ms
[2021-05-10 13:45:27] [INFO ] Applying decomposition
[2021-05-10 13:45:27] [INFO ] Flatten gal took : 48 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/graph5899956365937062770.txt, -o, /tmp/graph5899956365937062770.bin, -w, /tmp/graph5899956365937062770.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/graph5899956365937062770.bin, -l, -1, -v, -w, /tmp/graph5899956365937062770.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 13:45:27] [INFO ] Decomposing Gal with order
[2021-05-10 13:45:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:45:28] [INFO ] Removed a total of 1420 redundant transitions.
[2021-05-10 13:45:28] [INFO ] Flatten gal took : 90 ms
[2021-05-10 13:45:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 5 ms.
[2021-05-10 13:45:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2066449772298583436.gal : 10651 ms
[2021-05-10 13:45:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7557233515841764786.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2066449772298583436.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7557233515841764786.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2066449772298583436.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7557233515841764786.prop --nowitness
Loading property file /tmp/ReachabilityCardinality7557233515841764786.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 10
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :10 after 32
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :32 after 1352
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :1352 after 38912
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :38912 after 2.27845e+08
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :2.27845e+08 after 1.90526e+12
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :1.90526e+12 after 2.70495e+13
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin750185321892753066
[2021-05-10 13:46:14] [INFO ] Built C files in 12ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin750185321892753066
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/ltsmin750185321892753066]
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/ltsmin750185321892753066] killed by timeout after 2 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/ltsmin750185321892753066] killed by timeout after 2 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 6379 resets, run finished after 11367 ms. (steps per millisecond=87 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 160 resets, run finished after 4477 ms. (steps per millisecond=223 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 4656533 steps, run timeout after 30001 ms. (steps per millisecond=155 ) properties seen :{}
Probabilistic random walk after 4656533 steps, saw 653304 distinct states, run finished after 30001 ms. (steps per millisecond=155 ) properties seen :{}
Running SMT prover for 1 properties.
// Phase 1: matrix 841 rows 919 cols
[2021-05-10 13:47:02] [INFO ] Computed 415 place invariants in 700 ms
[2021-05-10 13:47:02] [INFO ] [Real]Absence check using 6 positive place invariants in 13 ms returned sat
[2021-05-10 13:47:03] [INFO ] [Real]Absence check using 6 positive and 409 generalized place invariants in 405 ms returned sat
[2021-05-10 13:47:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:47:47] [INFO ] [Real]Absence check using state equation in 44490 ms returned unknown
Support contains 6 out of 919 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 919/919 places, 841/841 transitions.
Applied a total of 0 rules in 3943 ms. Remains 919 /919 variables (removed 0) and now considering 841/841 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 919/919 places, 841/841 transitions.
Starting structural reductions, iteration 0 : 919/919 places, 841/841 transitions.
Applied a total of 0 rules in 23 ms. Remains 919 /919 variables (removed 0) and now considering 841/841 (removed 0) transitions.
// Phase 1: matrix 841 rows 919 cols
[2021-05-10 13:47:52] [INFO ] Computed 415 place invariants in 692 ms
[2021-05-10 13:48:10] [INFO ] Implicit Places using invariants in 19158 ms returned [70]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 19159 ms to find 1 implicit places.
[2021-05-10 13:48:10] [INFO ] Redundant transitions in 9 ms returned []
// Phase 1: matrix 841 rows 918 cols
[2021-05-10 13:48:11] [INFO ] Computed 414 place invariants in 618 ms
[2021-05-10 13:49:02] [INFO ] Performed 4/841 'is it Dead' test of which 0 returned DEAD in 50 seconds.
[2021-05-10 13:49:11] [INFO ] Dead Transitions using invariants and state equation in 60636 ms returned []
Starting structural reductions, iteration 1 : 918/919 places, 841/841 transitions.
Applied a total of 0 rules in 25 ms. Remains 918 /918 variables (removed 0) and now considering 841/841 (removed 0) transitions.
[2021-05-10 13:49:11] [INFO ] Redundant transitions in 8 ms returned []
// Phase 1: matrix 841 rows 918 cols
[2021-05-10 13:49:12] [INFO ] Computed 414 place invariants in 623 ms
[2021-05-10 13:50:01] [INFO ] Performed 4/841 'is it Dead' test of which 0 returned DEAD in 48 seconds.
[2021-05-10 13:50:12] [INFO ] Dead Transitions using invariants and state equation in 60647 ms returned []
Finished structural reductions, in 2 iterations. Remains : 918/919 places, 841/841 transitions.
[2021-05-10 13:50:14] [INFO ] Flatten gal took : 47 ms
[2021-05-10 13:50:14] [INFO ] Flatten gal took : 46 ms
[2021-05-10 13:50:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2366529112227210673.gal : 4 ms
[2021-05-10 13:50:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7640919243459274750.prop : 137 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality2366529112227210673.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7640919243459274750.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality2366529112227210673.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7640919243459274750.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7640919243459274750.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :3 after 6
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :6 after 22
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :22 after 52
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :52 after 344
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :344 after 422
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :422 after 1423
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1423 after 6104
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :6104 after 9130
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :9130 after 29468
Detected timeout of ITS tools.
[2021-05-10 13:50:44] [INFO ] Flatten gal took : 49 ms
[2021-05-10 13:50:44] [INFO ] Applying decomposition
[2021-05-10 13:50:44] [INFO ] Flatten gal took : 47 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/graph2998591240458955895.txt, -o, /tmp/graph2998591240458955895.bin, -w, /tmp/graph2998591240458955895.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/graph2998591240458955895.bin, -l, -1, -v, -w, /tmp/graph2998591240458955895.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 13:50:44] [INFO ] Decomposing Gal with order
[2021-05-10 13:50:44] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:50:44] [INFO ] Removed a total of 1542 redundant transitions.
[2021-05-10 13:50:44] [INFO ] Flatten gal took : 104 ms
[2021-05-10 13:50:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 386 labels/synchronizations in 53 ms.
[2021-05-10 13:50:44] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4909245365492115888.gal : 29 ms
[2021-05-10 13:50:44] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8743837906950991091.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4909245365492115888.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8743837906950991091.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality4909245365492115888.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8743837906950991091.prop --nowitness
Loading property file /tmp/ReachabilityCardinality8743837906950991091.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :1 after 3
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :3 after 291
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :291 after 4.91396e+06
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :4.91396e+06 after 2.35899e+07
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2124800079474607338
[2021-05-10 13:51:14] [INFO ] Built C files in 13ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2124800079474607338
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/ltsmin2124800079474607338]
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/ltsmin2124800079474607338] killed by timeout after 3 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/ltsmin2124800079474607338] killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 6380 resets, run finished after 11389 ms. (steps per millisecond=87 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 160 resets, run finished after 4451 ms. (steps per millisecond=224 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 3815460 steps, run timeout after 30001 ms. (steps per millisecond=127 ) properties seen :{}
Probabilistic random walk after 3815460 steps, saw 544706 distinct states, run finished after 30001 ms. (steps per millisecond=127 ) properties seen :{}
Running SMT prover for 1 properties.
// Phase 1: matrix 841 rows 918 cols
[2021-05-10 13:52:04] [INFO ] Computed 414 place invariants in 620 ms
[2021-05-10 13:52:04] [INFO ] [Real]Absence check using 6 positive place invariants in 15 ms returned sat
[2021-05-10 13:52:05] [INFO ] [Real]Absence check using 6 positive and 408 generalized place invariants in 1091 ms returned sat
[2021-05-10 13:52:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:52:49] [INFO ] [Real]Absence check using state equation in 43800 ms returned unknown
Support contains 6 out of 918 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 918/918 places, 841/841 transitions.
Applied a total of 0 rules in 22 ms. Remains 918 /918 variables (removed 0) and now considering 841/841 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 918/918 places, 841/841 transitions.
Starting structural reductions, iteration 0 : 918/918 places, 841/841 transitions.
Applied a total of 0 rules in 22 ms. Remains 918 /918 variables (removed 0) and now considering 841/841 (removed 0) transitions.
// Phase 1: matrix 841 rows 918 cols
[2021-05-10 13:52:49] [INFO ] Computed 414 place invariants in 617 ms
[2021-05-10 13:53:36] [INFO ] Performed 222/918 implicitness test of which 1 returned IMPLICIT in 46 seconds.
[2021-05-10 13:54:12] [INFO ] Performed 762/918 implicitness test of which 3 returned IMPLICIT in 81 seconds.
[2021-05-10 13:55:29] [INFO ] Performed 778/918 implicitness test of which 3 returned IMPLICIT in 159 seconds.
[2021-05-10 13:55:29] [INFO ] Implicit Places using invariants in 160635 ms returned [161, 223, 349]
Discarding 3 places :
Implicit Place search using SMT only with invariants took 160636 ms to find 3 implicit places.
[2021-05-10 13:55:29] [INFO ] Redundant transitions in 9 ms returned []
// Phase 1: matrix 841 rows 915 cols
[2021-05-10 13:55:30] [INFO ] Computed 411 place invariants in 715 ms
[2021-05-10 13:56:30] [INFO ] Performed 173/841 'is it Dead' test of which 0 returned DEAD in 59 seconds.
[2021-05-10 13:56:30] [INFO ] Dead Transitions using invariants and state equation in 60722 ms returned []
Starting structural reductions, iteration 1 : 915/918 places, 841/841 transitions.
Applied a total of 0 rules in 22 ms. Remains 915 /915 variables (removed 0) and now considering 841/841 (removed 0) transitions.
[2021-05-10 13:56:30] [INFO ] Redundant transitions in 8 ms returned []
// Phase 1: matrix 841 rows 915 cols
[2021-05-10 13:56:31] [INFO ] Computed 411 place invariants in 1097 ms
[2021-05-10 13:57:31] [INFO ] Performed 173/841 'is it Dead' test of which 0 returned DEAD in 59 seconds.
[2021-05-10 13:57:31] [INFO ] Dead Transitions using invariants and state equation in 61118 ms returned []
Finished structural reductions, in 2 iterations. Remains : 915/918 places, 841/841 transitions.
[2021-05-10 13:57:31] [INFO ] Flatten gal took : 46 ms
[2021-05-10 13:57:31] [INFO ] Flatten gal took : 45 ms
[2021-05-10 13:57:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15101313950939821296.gal : 3 ms
[2021-05-10 13:57:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7062514642155103568.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15101313950939821296.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7062514642155103568.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15101313950939821296.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7062514642155103568.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7062514642155103568.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :3 after 11
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :11 after 43
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :43 after 116
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :116 after 365
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :365 after 441
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :441 after 1536
SDD proceeding with computation,1 properties remain. new max is 512
SDD size :1536 after 4931
SDD proceeding with computation,1 properties remain. new max is 1024
SDD size :4931 after 19627
SDD proceeding with computation,1 properties remain. new max is 2048
SDD size :19627 after 33107
Detected timeout of ITS tools.
[2021-05-10 13:58:06] [INFO ] Flatten gal took : 47 ms
[2021-05-10 13:58:06] [INFO ] Applying decomposition
[2021-05-10 13:58:07] [INFO ] Flatten gal took : 46 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/graph14494805855246089821.txt, -o, /tmp/graph14494805855246089821.bin, -w, /tmp/graph14494805855246089821.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/graph14494805855246089821.bin, -l, -1, -v, -w, /tmp/graph14494805855246089821.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-10 13:58:08] [INFO ] Decomposing Gal with order
[2021-05-10 13:58:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-10 13:58:08] [INFO ] Removed a total of 1408 redundant transitions.
[2021-05-10 13:58:08] [INFO ] Flatten gal took : 83 ms
[2021-05-10 13:58:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 4 ms.
[2021-05-10 13:58:08] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5240005650598754663.gal : 6 ms
[2021-05-10 13:58:08] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14437796127197310128.prop : 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-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5240005650598754663.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14437796127197310128.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5240005650598754663.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14437796127197310128.prop --nowitness
Loading property file /tmp/ReachabilityCardinality14437796127197310128.prop.
SDD proceeding with computation,1 properties remain. new max is 4
SDD size :1 after 8
SDD proceeding with computation,1 properties remain. new max is 8
SDD size :8 after 43
SDD proceeding with computation,1 properties remain. new max is 16
SDD size :43 after 564
SDD proceeding with computation,1 properties remain. new max is 32
SDD size :564 after 15456
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :15456 after 509096
SDD proceeding with computation,1 properties remain. new max is 128
SDD size :509096 after 1.21969e+11
SDD proceeding with computation,1 properties remain. new max is 256
SDD size :1.21969e+11 after 2.34186e+11
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin10591512907875548271
[2021-05-10 13:58:43] [INFO ] Built C files in 11ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10591512907875548271
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/ltsmin10591512907875548271]
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/ltsmin10591512907875548271] killed by timeout after 3 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/ltsmin10591512907875548271] killed by timeout after 3 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 6378 resets, run finished after 11300 ms. (steps per millisecond=88 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 159 resets, run finished after 4439 ms. (steps per millisecond=225 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 4646682 steps, run timeout after 30001 ms. (steps per millisecond=154 ) properties seen :{}
Probabilistic random walk after 4646682 steps, saw 652021 distinct states, run finished after 30001 ms. (steps per millisecond=154 ) properties seen :{}
Running SMT prover for 1 properties.
// Phase 1: matrix 841 rows 915 cols
[2021-05-10 13:59:37] [INFO ] Computed 411 place invariants in 713 ms
[2021-05-10 13:59:37] [INFO ] [Real]Absence check using 6 positive place invariants in 15 ms returned sat
[2021-05-10 13:59:38] [INFO ] [Real]Absence check using 6 positive and 405 generalized place invariants in 862 ms returned sat
[2021-05-10 13:59:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-10 13:59:45] [INFO ] [Real]Absence check using state equation in 7752 ms returned sat
[2021-05-10 13:59:45] [INFO ] Solution in real domain found non-integer solution.
FORMULA Echo-PT-d04r03-ReachabilityCardinality-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 1 Parikh solutions to 0 different solutions.
All properties solved without resorting to model-checking.

BK_STOP 1620655186914

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -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 ReachabilityCardinality -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="Echo-PT-d04r03"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 Echo-PT-d04r03, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r083-tall-162048875700662"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Echo-PT-d04r03.tgz
mv Echo-PT-d04r03 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;